Teorema de representación de Riesz

Teorema de representación de Riesz

Hay varios teoremas bien conocidos en el análisis funcional mencionados como el teorema de representación de Riesz.

El teorema de representación de espacios de Hilbert

Este teorema establece una conexión importante entre un espacio de Hilbert y su espacio dual: si el cuerpo de base son los números reales, los dos son isométricamente isomorfos; si el cuerpo de base son los números complejos, los dos son isométricamente anti-isomorfos. El teorema es la justificación para la notación bra-ket popular en el tratamiento matemático de la mecánica cuántica.

Sea H un espacio de Hilbert, y H' su espacio dual, consistente en todas las funciones lineales continuas de H en el cuerpo base R o C. Si x es un elemento de H, entonces φx esta definido por

 \phi_x(y) = \langle y , x\rangle \quad \forall y \in H

es un elemento de H'. Donde \langle\cdot,\cdot\rangle es un producto interno de H. El teorema de representación de Riesz establece que cada elemento de H' puede ser escrito unívocamente de esta forma:

Teorema. La función

 \Phi:H \rightarrow H', \quad \Phi(x) =  \phi_x

es un (anti-) isomorfismo isométrico, significando que:

  • Φ es biyectivo.
  • Las normas de x y de Φ(x) coinciden: ||x|| = ||Φ(x)||.
  • Φ es aditivo: Φ(x1 + x2) = Φ(x1) + Φ(x2).
  • Si el cuerpo base es R, entonces Φ(λ x) = λ Φ(x) para todo número real λ.
  • Si el cuerpo base es C, entonces Φ(λ x) = λ* Φ(x) para todo número λ complejo, donde λ* denota la conjugación compleja de λ. La función inversa de Φ puede ser descrita como sigue.

Dado un elemento φ de H', el complemento ortogonal del núcleo de φ es un subespacio unidimensional de H. Tómese un elemento diferente de cero z en el subespacio, y el conjunto x =z/||z||. Entonces Φ(x) = φ. El teorema fue probado simultáneamente por Riesz y Fréchet en 1907.

El teorema de representación para funcionales lineales en Cc(X)

El teorema siguiente, representa funcionales lineales positivos en Cc(X) el espacio de funciones a valores complejos continuas de soporte compacto. Los conjuntos borelianos en la declaración siguiente refieren a la σ-álgebra generada por los conjuntos abiertos. Una medida de Borel contable aditiva no negativa μ en un espacio de Hausdorff localmente compacto X es regular ssi

  • µ(K) < ∞ para cada K compacto;
  • Para cada conjunto de Borel E,
 \mu(E) = \inf \{\mu(U): E \subseteq U, U \mbox{ abierto}\}
  • la relación
 \mu(E) = \sup \{\mu(K): K \subseteq E\}

vale siempre que E sea abierto o cuando E es Borel y µ(E) < ∞.

Teorema. Sea X un espacio de Hausdorff localmente compacto. Para cualquier funcional lineal positivo ψ en Cc(X), hay (G1) un &mu contable aditivo regular único de la medida de Borel; en X tales que

 \psi(f) = \int_X f(x) d \mu(x) \quad

para toda f en Cc(X). Un enfoque de la teoría de la medida es comenzar con la medida de Radon, definida como funcional lineal positiva en C(X). Ésta es la manera adoptada por Bourbaki; por supuesto asume que X comienza como espacio topológico, más bien que simplemente como conjunto. Para los espacios localmente compactos la teoría de la integración entonces se recupera.

El teorema de representación para el dual de C0(X)

El teorema siguiente, también conocido como el teorema de Riesz-Markov da una realización concreta del espacio dual de C0(X), el conjunto de las funciones continuas en X que se desvanecen en el infinito. Los conjuntos borelianos determinados en la declaración del teorema se refieren a la σ-álgebra generada por los conjuntos abiertos. Este resultado es similar al resultado de la sección precedente, pero no incluye el resultado anterior. Vea la observación técnica abajo. Si µ es una medida contable aditiva complejo-valorada de Borel, µ es regular ssi la medida contable aditiva no negativa |µ| es regular según lo definido arriba.

Teorema. sea un espacio de Hausdorff localmente compacto X. Para cualquier funcional lineal continua ψ en C0(X), hay una medida contable de Borel regular única complejo-aditiva µ  ; en X tal que:

 \psi(f) = \int_X f(x) d \mu(x) \quad

para toda f en C0(X). La norma de ψ como funcional lineal es la variación total de µ, esto es

 \|\psi\| = |\mu|(X).

finalmente, ψ es positivo ssi la medida μ es no negativa.

Observación. Un funcional lineal positivo en Cc(X) puede no extenderse a un funcional lineal acotado de C0(X). Por esta razón los resultados anteriores se aplican a situaciones sutilmente modificadas.


Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

  • Teorema de representación de Riesz — Hay varios teoremas bien conocidos en el análisis funcional mencionados como el teorema de representación de Riesz …   Enciclopedia Universal

  • Teorema de representación — En matemática, un teorema de representación es un teorema que establece que cada estructura abstracta con ciertas propiedades es isomorfa a una estructura concreta. Ejemplos Existen diversos ejemplos de teoremas de representación en distintos… …   Wikipedia Español

  • Espacio de Hilbert — Saltar a navegación, búsqueda En matemáticas, el concepto de espacio de Hilbert es una generalización del concepto de espacio euclídeo. Esta generalización permite que nociones y técnicas algebraicas y geométricas aplicables a espacios de… …   Wikipedia Español

  • Notación Bra-Ket — La notación bra ket,[1] [2] también conocida como notación de Dirac por su inventor Paul Dirac, es la notación estándar para describir los estados cuánticos en la teoría de la mecánica cuántica. Puede también ser utilizada para denotar vectores… …   Wikipedia Español

  • Espacio de Hilbert equipado — Saltar a navegación, búsqueda En matemáticas, un espacio de Hilbert equipado (EHE) es una generalización de los espacios de Hilbert que permite ligar la teoría de distribuciones y los aspectos cuadrado integrables del análisis funcional. Tales… …   Wikipedia Español

  • Espacio dual — En matemáticas, la existencia de un espacio vectorial dual refleja de una manera abstracta la relación entre los vectores fila (1×n) y los vectores columna (n×1). La construcción puede darse también para los espacios infinito dimensionales y da… …   Wikipedia Español

  • Funcional lineal positiva — En análisis funcional, una funcional lineal f en una C* álgebra es positiva si siempre que A sea un elemento positivo de . Véase también: teorema de representación de Riesz elemento positivo Categorías: Análisis funcio …   Wikipedia Español

  • Funcional lineal positiva — En análisis funcional, una funcional lineal f en una C* álgebra es positiva si siempre que A sea un elemento positivo de . Vea también ● teorema de representación de Riesz ● elemento positivo …   Enciclopedia Universal

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”