In analisi funzionale, con teorema di rappresentazione di Riesz si identificano diversi teoremi, che prendono il nome dal matematico ungherese Frigyes Riesz.
Nel caso si consideri uno spazio di Hilbert, il teorema stabilisce un collegamento importante tra lo spazio e il suo spazio duale. Se il campo associato allo spazio è il campo dei numeri reali, i due spazi sono isometricamente isomorfi, mentre se il campo è quello dei numeri complessi i due spazi sono isometricamente anti-isomorfi.
Teorema di rappresentazione per funzionali lineari su
Sia
uno spazio di Hausdorff localmente compatto e
un funzionale lineare positivo in
, lo spazio delle funzioni continue a supporto compatto e a valori complessi. Allora esiste una sigma-algebra
su
contenente tutti i suoi insiemi di Borel, ed esiste un'unica misura
su
tale che:[1]
![{\displaystyle \lambda (f)=\int _{X}fd\mu \ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4078287b1641bb0c17f9624cfccd4ba4b43d88a)
per ogni funzione
di
, e tale che valgano le seguenti proprietà:[2]
per ogni insieme compatto
di
.
- Per ogni insieme di Borel
in
si ha:
![{\displaystyle \mu (E_{i})=\inf\{\mu (U):E_{i}\subseteq U,U{\text{ aperto}}\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d8300b6b75ca45296934217d7607a8e7185f617)
- Per ogni insieme
in
di misura finita si ha:
![{\displaystyle \mu (E_{i})=\sup\{\mu (K):K\subseteq E_{i},K{\text{ compatto}}\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20d9629d5ee421f98ffc9e894fafda2e863f22fb)
Si dice che la misura
"rappresenta" il funzionale
.
Generalizzazione
Poiché lo spazio
è un sottoinsieme denso dello spazio di Banach
delle funzioni continue che si annullano all'infinito, ogni funzionale lineare a supporto compatto può essere esteso a un funzionale lineare limitato su
.[3] Il teorema può essere quindi generalizzato affermando che per ogni funzionale limitato
su
esiste un'unica misura di Borel regolare
su
tale che:[4]
![{\displaystyle \psi (f)=\int _{X}fd\mu }](https://wikimedia.org/api/rest_v1/media/math/render/svg/54dc219bb1cce3e481ad8a96709853a961df4a1e)
e tale che:
![{\displaystyle \|\psi \|=|\mu |(X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b6c1917c04cf857181bb01251e611722fe9a287)
dove
![{\displaystyle |\mu |=\sup \sum _{i=1}^{+\infty }|\mu (E_{i})|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7eecd4650017d16984bb8afd6872dde2ea931bf)
è la variazione totale della misura
.
Teorema di rappresentazione per gli spazi di Hilbert
Sia
uno spazio di Hilbert e sia
il suo spazio duale, costituito di tutti i funzionali lineari continui da
in
o in
. Se
è un elemento di
, la funzione
definita da:
![{\displaystyle \phi _{x}(y)=\left\langle y,x\right\rangle ,\quad \forall y\in H,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31fdbf04b8a217615141b74da07ce6d0977c085d)
dove
indica il prodotto scalare dello spazio di Hilbert, è un elemento di
.[5] Allora ogni elemento di
può essere scritto unicamente in tale forma.
Come corollario, segue che data una funzione
che associa ad ogni coppia di elementi
e
lo scalare
tale che:
![{\displaystyle \phi (\mathbf {x} ,a\mathbf {y} +b\mathbf {z} )=a\phi (\mathbf {x} ,\mathbf {y} )+b\phi (\mathbf {x} ,\mathbf {z} );}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2fbed942fdccb431333303caaa988daa043082f)
![{\displaystyle \phi (a\mathbf {x} +b\mathbf {y} ,\mathbf {z} )={\bar {a}}\phi (\mathbf {x} ,\mathbf {z} )+{\bar {b}}\phi (\mathbf {y} ,\mathbf {z} );}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1acec22e41d272ff97e0e810a023a273760b3dc8)
![{\displaystyle |\phi (\mathbf {x} ,\mathbf {y} )|\leq C\|\mathbf {x} \|\|\mathbf {y} \|,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9cefb677502bcef8faca19e9027283f6d9d49360)
per ogni
e
. Allora esiste un'unica applicazione lineare limitata
tale che:
![{\displaystyle \phi (\mathbf {x} ,\mathbf {y} )=\langle A\mathbf {x} ,\mathbf {y} \rangle ,\qquad \forall \mathbf {x} ,\mathbf {y} \in H.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9662ae2cb3cc846f4702d60024f1f31ff6142cfe)
La norma di
è inoltre la più piccola costante
tale che
.[6]
Dimostrazione
Si vuole mostrare che se
è uno spazio di Hilbert allora il suo duale
è dato da:
![{\displaystyle H^{*}=B(H,\mathbb {F} )=\{\{({\underline {y}},\langle {\underline {y}},{\underline {x}}\rangle ):{\underline {y}}\in H\}:{\underline {x}}\in H\},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/626ef149a3f17788a6c4b203b3f92bbb515d52aa)
dove
denota l'insieme degli operatori lineari limitati che mappano da
in un campo di scalari
(reale o complesso), mentre
denota il prodotto interno.
Per mostrare l'implicazione diretta è sufficiente notare che la linearità discende dalla linearità del prodotto interno, e la limitatezza segue dalla disuguaglianza di Cauchy-Schwarz.
Per l'implicazione inversa, sia
. Se
allora:
![{\displaystyle {\underline {\phi }}=\{({\underline {y}},\langle {\underline {y}},{\underline {0}}_{H}\rangle ):{\underline {y}}\in H\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ef777f181bf5b47e729ef99f6efae87e73ab508)
Si supponga
e siano:
![{\displaystyle {\underline {x}}\in H,\qquad {\overline {\ker({\underline {\phi }})}}=\ker({\underline {\phi }}),\qquad \dim(\ker({\underline {\phi }}))\leqslant \dim(H).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d48db29b0f236eb5243a706b4d3ff17466ed085e)
Allora per il teorema della proiezione negli spazi di Hilbert:
![{\displaystyle H=\ker({\underline {\phi }})\oplus (\ker({\underline {\phi }}))^{\perp }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c53906458c523eb434b8a36d2a0cfce7a8aa21fc)
Dato che
allora
. Sia dunque:
![{\displaystyle {\underline {z}}\in \{{\underline {z}}\in (\ker({\underline {\phi }}))^{\perp }:\|{\underline {z}}\|_{H}=1\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df657e02ac35c3aa5b34bfb47021f3a36f0f927c)
Per la linearità di
si ha:
![{\displaystyle {\underline {z}}{\underline {\phi }}({\underline {x}})-{\underline {x}}{\underline {\phi }}({\underline {z}})\in \ker({\underline {\phi }})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78151335dab1ba0db4661b215f49ad799448e249)
e quindi:
![{\displaystyle \langle {\underline {z}}{\underline {\phi }}({\underline {x}})-{\underline {x}}{\underline {\phi }}({\underline {z}}),{\underline {z}}\rangle =0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d36118651ddcf11b94ceaf1b69d956bba942fdf)
Dunque:
![{\displaystyle {\underline {\phi }}({\underline {x}})\|{\underline {z}}\|_{H}=\langle {\underline {x}}{\underline {\phi }}({\underline {z}}),{\underline {z}}\rangle .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7d50bb327b869ba7eecfd0cf6a2dbcc91775291)
Si ha così
con
, da cui:
![{\displaystyle {\underline {\phi }}=\{({\underline {y}},\langle {\underline {y}},{\underline {z}}{\overline {{\underline {\phi }}({\underline {z}})}}\rangle ):{\underline {y}}\in H\}\in \{\{({\underline {y}},\langle {\underline {y}},{\underline {x}}\rangle ):{\underline {y}}\in H\}:{\underline {x}}\in H\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0de4439c51ed67aba0c5806385effd1d5de5c899)
Note
Bibliografia
- (EN) Walter Rudin, Real and Complex Analysis, Mladinska Knjiga, McGraw-Hill, 1970, ISBN 0-07-054234-1.
- (EN) Michael Reed, Barry Simon, Methods of Modern Mathematical Physics, Vol. 1: Functional Analysis, 2ª ed., San Diego, California, Academic press inc., 1980, ISBN 0-12-585050-6.
- (FR) M. Fréchet (1907). Sur les ensembles de fonctions et les opérations linéaires. Les Comptes rendus de l'Académie des sciences 144, 1414–1416.
- (FR) F. Riesz (1907). Sur une espèce de géométrie analytique des systèmes de fonctions sommables. C. R. Acad. Sci. Paris 144, 1409–1411.
- (FR) F. Riesz (1909). Sur les opérations fonctionnelles linéaires. C. R. Acad. Sci. Paris 149, 974–977.
- (EN) J. D. Gray, The shaping of the Riesz representation theorem: A chapter in the history of analysis, Archive for History in the Exact Sciences, Vol 31(2) 1984–85, 127–187.
- (EN) P. Halmos Measure Theory, D. van Nostrand and Co., 1950.
- (EN) P. Halmos, A Hilbert Space Problem Book, Springer, New York 1982 (problem 3 contains version for vector spaces with coordinate systems).
- (EN) D. G. Hartig, The Riesz representation theorem revisited, American Mathematical Monthly, 90(4), 277–280 (A category theoretic presentation as natural transformation).
Voci correlate
Collegamenti esterni
Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica