Familia de resultados que identifican funcionales lineales continuos en espacios de funciones concretos con representadores concretos: en un espacio de Hilbert todo funcional lineal continuo es producto interior con un elemento único; para ciertos espacios de funciones continuas los duales corresponden a medidas.

Principio

La continuidad junto con la estructura topológica/vectorial adecuada implica representabilidad: en contextos con producto interior (Hilbert) el mapa de Riesz da un isomorfismo isométrico entre el espacio y su dual continuo; en espacios localmente compactos de Hausdorff el dual de C_0 es el espacio de medidas de Borel regulares.

Demostración

En L^2(Ω) cualquier funcional lineal acotado L puede escribirse L(f)=∫ g* f = ⟨g,f⟩ para un único g∈L^2(Ω); para C_c(X) o C_0(X) en un espacio localmente compacto X el dual puede identificarse con medidas de Borel finitas regulares, de modo que los funcionales lineales son integrales frente a medidas.

Aplicación incorrecta

Asumir la forma de representación de Riesz en un espacio de Banach arbitrario (por ejemplo L^p con p≠2) es incorrecto; tratar distribuciones o funcionales no continuos como representables por un único elemento del espacio primal omite las hipótesis necesarias de completitud, producto interior o topología.

Consecuencia

Proporciona descripciones explícitas de espacios duales, permite pruebas y cálculos constructivos (por ejemplo, representar funcionales lineales por núcleos o medidas) y aporta isomorfismos que simplifican la teoría de operadores y el análisis variacional.

Inversión

En ausencia de producto interior o de la estructura topológica requerida, los duales pueden ser mucho mayores (distribuciones, medidas signadas con estructura adicional) y no pueden representarse por elementos únicos del espacio primal.

Límite

Válido para espacios de Hilbert y para entornos específicos de espacios de funciones (espacios localmente compactos de Hausdorff, C_0, L^2, etc.); no se cumple en general para todos los espacios de Banach o para funcionales lineales no continuos, y la afirmación exacta depende de la topología subyacente y las hipótesis de completitud.

Tensión semántica

Contrasta con resultados generales de dualidad como Hahn–Banach que garantizan extensiones pero no representaciones concretas; también existe tensión con la reflexividad y con descripciones duales especializadas para L^p (p≠2) cuyos duales son otros espacios.

Síntesis

Los resultados de representación de Riesz convierten funcionales lineales continuos abstractos en representadores concretos (vectores de producto interior o medidas) bajo las hipótesis estructurales apropiadas, proporcionando identificaciones duales explícitas cruciales para el análisis y las aplicaciones.