Spazio l2

Template:Titolo errato Template:Nota disambigua In matematica, lo spazio ${\ell }^2$ è lo spazio delle successioni quadrato sommabili a valori reali o complessi. Si tratta dello spazio l^p nel caso in cui $p=2$.

Definizione

Lo spazio ${\ell }^2$ è lo spazio delle successioni reali quadrato sommabili, ovvero:

${\ell }^2=\{\{x_n{\}}_{n\in \mathbb{N}},x_n\in ℝ|\sum _{n=1}^{\mathrm{\infty }}|x_n{|}^2<\mathrm{\infty }\}$

A seconda del contesto, si può considerare ${\ell }^2$ come lo spazio delle successioni complesse quadrato sommabili. In tal caso, posto $x_n\in ℂ$, la definizione è analoga. Lo spazio ${\ell }^2$ è uno spazio vettoriale reale, ed è anche uno spazio vettoriale complesso, se lo si pensa come uno spazio di successioni complesse. In entrambi i casi, è uno spazio metrico se si definisce la distanza come

$d(x,y)={(\sum _{n=1}^{\mathrm{\infty }}|x_n-y_n{|}^2)}^{\frac{1}{2}}$

Di più, ${\ell }^2$ è uno spazio di Banach, la cui norma associata è

$\Vert x\Vert ={(\sum _{n=1}^{\mathrm{\infty }}|x_n{|}^2)}^{1/2}$

La dimostrazione si effettua utilizzando la disuguaglianza di Minkowski. Avendo definito tale norma, possiamo ridefinire ${\ell }^2$ come

${\ell }^2=\{x\in {ℝ}^{\mathbb{N}}:\Vert x\Vert <\mathrm{\infty }\}$

La norma poc'anzi introdotta è quella associata al prodotto scalare

$(x,y)=\sum _{n=1}^{\mathrm{\infty }}{x}_n{y}_n$

Tale prodotto scalare si estende, nel caso complesso, al prodotto interno

$(x,y)=\sum _{n=1}^{\mathrm{\infty }}{\bar{x}}_n{y}_n$

Pertanto, ${\ell }^2$ è uno spazio di Hilbert. Inoltre, ${\ell }^2$ è uno spazio separabile, ovvero ammette un sottoinsieme numerabile denso.

Completezza

Lo spazio ${\ell }^2$, sia nel caso reale che in quello complesso, è uno spazio metrico completo, cioè ogni successione di Cauchy è convergente.

Dimostrazione

Nella notazione utilizzata nel seguito, l'apice indica un elemento della successione di vettori infinito-dimensionali, mentre il pedice indica una componente di un singolo vettore.

Sia $\{x^n{\}}_{n\ge 1}$ una successione di Cauchy in ${\ell }^2$. Per mostrare che questa successione è convergente, è sufficiente mostrare l'esistenza di un'estratta convergente. Infatti se $x^{n_k}$ è una sottosuccessione convergente a $x\in {\ell }^2$, allora per ogni $\epsilon >0$ esiste un $k\ge 1$ tale che per ogni $n\ge n_k$

$\Vert x^n-x\Vert \le \Vert x^n-x^{n_k}\Vert +\Vert x^{n_k}-x\Vert \le 2\epsilon$

Procediamo quindi usando la definizione di successione di Cauchy per costruire una sottosuccessione $x^{n_k}$, con $k\ge 1$, tale che

$\Vert x^{n_{k+1}}-x^{n_k}\Vert \le 2^{-k}$

Osserviamo che

$x^{n_k}=x^{n_1}+\sum _{0<j<k}[x^{n_{j+1}}-x^{n_j}]$

e che se $k\to \mathrm{\infty }$ allora al limite si ottiene una serie assolutamente convergente, in quanto grazie al calcolo di una serie geometrica vale la stima

$\sum _{j>0}\Vert x^{n_{j+1}}-x^{n_j}\Vert \le \sum _{j>0}{2}^{-j}=1$

Ne consegue che, per ogni $i\ge 1$, puntualmente esiste finito il limite

$x_i=\underset{k\to \mathrm{\infty }}{\lim }{x}_i^{n_k}=x_i^{n_1}+\sum _{j>0}[x_i^{n_{j+1}}-x_i^{n_j}]$

con $x_i\in ℝ$ nel caso reale e $x_i\in ℂ$ nel caso complesso. Questo perché sia $ℝ$ che $ℂ$ sono spazi completi, e quindi ogni serie assolutamente convergente è convergente.

Per concludere, basta quindi dimostrare che $x^{n_k}$ converge in norma a

$x=(x_i{)}_{i\ge 1}$

Da questo ne seguirà anche che $x\in {\ell }^2$, poiché se $x^{n_k}\to x$ allora

$\Vert x\Vert =\Vert x-x^{n_k}+x^{n_k}\Vert \le \Vert x-x^{n_k}\Vert +\Vert x^{n_k}\Vert <\mathrm{\infty }$

Calcoliamo quindi, tramite il prodotto di Cauchy

$|x_i-x_i^{n_k}{|}^2\le {(\sum _{j\ge k}|x_i^{n_{j+1}}-x_i^{n_j}|)}^2=\sum _{j\ge k}\sum _{l=0}^{j-k}|x_i^{n_{k+l+1}}-x_i^{n_{k+l}}||x_i^{n_{j-l+1}}-x_i^{n_{j-l}}|$

Andando a sommare termine a termine, scambiando le sommatorie e applicando la disuguaglianza di Schwarz otteniamo che

$\sum _{i\ge 1}|x_i^{n_k}-x_i{|}^2=\sum _{j\ge k}\sum _{l=0}^{j-k}\sum _{i\ge 1}|x_i^{n_{k+l+1}}-x_i^{n_{k+l}}||x_i^{n_{j-l+1}}-x_i^{n_{j-l}}|\le \sum _{j\ge k}\sum _{l=0}^{j-k}\Vert x^{n_{k+l+1}}-x^{n_{k+l}}\Vert \Vert x^{n_{j-l+1}}-x^{n_{j-l}}\Vert$

Pertanto, ricaviamo che

$\sum _{i\ge 1}|x_i^{n_k}-x_i{|}^2\le \sum _{j\ge k}\sum _{l=0}^{j-k}\frac{2^{l-j}}{2^{l+k}}=\sum _{j\ge k}\frac{j-k+1}{2^{j+k}}=\sum _{j\ge 0}\frac{1+j}{2^{j+2k}}=\frac{1}{4^k}\sum _{j\ge 0}(1+j)2^{-j}$

da cui la tesi, in quanto il termine di destra tende a $0$ se $k\to \mathrm{\infty }$.

Base hilbertiana

Consideriamo ora la successione $\{e^i{\}}_{i\ge 1}$, con

$e^1=(1,0,0,\dots )$

$e^2=(0,1,0,0,\dots )$

$e^n=(0,\dots ,0,1,0,\dots )$

Equivalentemente, attraverso la delta di Kronecker, possiamo definire tale successione in maniera più compatta con la scrittura

$e_j^i={\delta }_{ij}$

Notiamo che la successione appena introdotta è un insieme ortonormale, in quanto

$(e^i,e^j)={\delta }_{ij}$

La successione appena definita costituisce una base hilbertiana, detto anche un sistema ortonormale completo, per ${\ell }^2$, in quanto ogni elemento $x\in {\ell }^2$ si scrive nella forma

$x=\sum _{i=1}^{\mathrm{\infty }}{x}_i{e}^i$

Tale serie è da considerarsi come il limite in norma della successione delle somme parziali. Inoltre, per l'identità di Parseval,

$\Vert x{\Vert }^2=\sum _{i=1}^{\mathrm{\infty }}|x_i{|}^2$

I coefficienti $x_i$, reali o complessi a seconda dei casi, sono univocamente determinati in quanto

$x_i=(e^i,x)$

Tali coefficienti sono detti i coefficienti di Fourier. I coefficienti di Fourier si possono caratterizzare tramite il seguente problema. Se $E^i$ è lo spazio generato dal vettore $e^i$, allora i sottospazi $\{E^i{\}}_{i\ge 1}$ sono chiusi in quanto finito-dimensionali. I coefficienti di Fourier sono quei coefficienti $x_i$ tali che il vettore $x_i{e}^i\in E^i$ verifichi l'equazione

$d(x,x_i{e}^i)=d(x,E^i)=\underset{y\in E^i}{\inf }d(x,y)$

Infatti, considerando ${\ell }^2$ nel caso reale, posto $\lambda \in ℝ$ allora

$\Vert x-\lambda e^i{\Vert }^2=(x-\lambda e^i,x-\lambda e^i)=\Vert x{\Vert }^2-2\lambda (e^i,x)+{\lambda }^2$

Andando a derivare rispetto alla variabile $\lambda$ si verifica che si raggiunge il valore minimo per $\lambda =(e^i,x)$. I coefficienti di Fourier costituiscono la soluzione del problema appena esposto anche nel caso complesso. Questo problema è un esempio di un genere di problemi tipici dell'analisi funzionale, ovvero i problemi di minimo. Infatti, in un contesto più generale, l'esistenza della soluzione del problema mostrato è il soggetto del teorema della proiezione.

Tornando a parlare di basi, vogliamo precisare che la "base" di cui abbiamo prima discusso non genera ${\ell }^2$ in senso algebrico, ovvero tramite combinazioni lineari finite, bensì in senso analitico, ovvero tramite una convergenza in norma. Formalmente, diremo quindi che non si tratta di una base di Hamel, che è il tipo di base considerata usualmente negli spazi vettoriali di dimensione finita, bensì di una base di Schauder.

Le basi hilbertiane sono utili non solo perché consentono di scrivere più agevolmente gli elementi di uno spazio di Hilbert, ma anche perché permettono di definire facilmente delle isometrie tra spazi di Hilbert. In particolare, si verifica che due spazi di Hilbert sono unitariamente equivalenti se e solo se hanno due basi hilbertiane con stessa cardinalità.

Separabilità

Poiché ${\ell }^2$ ammette una base hilbertiana numerabile $\{e^i{\}}_{i\ge 1}$, allora si verifica facilmente che

${\ell }_f(\mathbb{Q})=\{x\in {\ell }^2:x=\sum _{i=1}^n{q}_i{e}^i,q_i\in \mathbb{Q},n\in \mathbb{N}\}$

è un insieme numerabile denso in ${\ell }^2$. Nota la numerabilità di $\mathbb{Q}$, allora ${\ell }_f(\mathbb{Q})$ è numerabile perché in biezione con un prodotto numerabile di insiemi numerabili. Sia quindi $x=(x_i{)}_{i\ge 1}$ un elemento di ${\ell }^2$. Dalla densità di $\mathbb{Q}$ in $ℝ$ segue che

$\mathrm{\forall }n\ge 1,\mathrm{\exists }{q}_i^n\in \mathbb{Q}:|x_i-q_i^n|\le \frac{2^{-\frac{i}{2}}}{n}$

Pertanto, definito $q^n=(q_i^n{)}_{i\ge 1}$, allora per l'identità di Parseval e per la nota serie geometrica

$\Vert x-q^n{\Vert }^2=\sum _{i=1}^{\mathrm{\infty }}|x_i-q_i^n{|}^2\le \frac{1}{n^2}\sum _{i=1}^{\mathrm{\infty }}{2}^{-i}=\frac{1}{n^2}$

e quindi

$\underset{n\to \mathrm{\infty }}{\lim }\Vert x-q^n\Vert =0$

La dimostrazione nel caso complesso, a meno di considerare $q_i$ e $q_i^n$ in $\mathbb{Q}+i\mathbb{Q}$, è uguale.

Osserviamo che se al posto di ${\ell }^2$ consideriamo un generico spazio di Hilbert con una base hilbertiana numerabile, allora la dimostrazione è la stessa. Abbiamo quindi visto che uno spazio di Hilbert con una base hilbertiana numerabile è separabile. Attraverso il procedimento di ortogonalizzazione di Gram-Schmidt, si dimostra anche che uno spazio di Hilbert separabile ammette una base hilbertiana numerabile. Pertanto, a meno di isomorfismi unitari, ${\ell }^2$ è l'unico spazio di Hilbert separabile di dimensione infinita. Questo fatto giustifica l'espressione "lo spazio di Hilbert", in quanto gli spazi di Hilbert separabili sono quelli principalmente considerati in matematica e maggiormente usati nelle applicazioni, come ad esempio in meccanica quantistica. L'importanza di ${\ell }^2$ consiste quindi nel fornire un modello particolarmente semplice dello spazio di Hilbert.

Il teorema di Riesz-Fischer

Template:Vedi anche Il teorema di Riesz-Fischer asserisce, nella sua forma più generale, che in uno spazio di Hilbert $H$ ogni successione in ${\ell }^2$ definisce un elemento $H$. Formalmente, diciamo che se $\{{\phi }_n{\}}_{n=1}^{\mathrm{\infty }}$ è un sistema ortonormale (non necessariamente completo) di $H$ e $\{a_n{\}}_{n=1}^{\mathrm{\infty }}$ è una successione in ${\ell }^2$, allora

$f=\sum _{n=1}^{\mathrm{\infty }}{a}_n{\phi }_n$

è un elemento $H$. Il teorema è una forma più forte della disuguaglianza di Bessel. Tale disuguaglianza afferma che se $H$ è uno spazio di Hilbert, $\{e^n{\}}_{n\ge 1}$ è un sistema ortonormale e $x\in H$ ha coefficienti di Fourier $a_n=(e^n,x)$, allora

$\sum _{n=1}^{\mathrm{\infty }}|a_n{|}^2\le \Vert x{\Vert }^2$

Il teorema di Riesz-Fischer, così come la disuguaglianza di Bessel e l'identità di Parseval, spesso viene formulato in contesti meno astratti, ma fornendo comunque un enunciato equivalente a quello generale. Tali enunciati sono motivati sia da eventuali interessi applicativi, sia da ragioni filologiche. Infatti, parafrasando con un linguaggio matematico moderno, nelle sue Note del 1907 Riesz scrive:

Siano $\{{\phi }_n\}$ un sistema ortonormale $L^2([a,b])$ e $\{a_n\}$ una successione di reali. La convergenza della serie $\sum a_n^2$ è una condizione necessaria e sufficiente per l'esistenza di una funzione $f$ tale che

$\underset{a}{\overset{b}{\int }}f(x){\phi }_n(x)dx=a_n$

per ogni $n$.

Le Note di Riesz apparirono a Marzo. A Maggio, Fischer dimostrò che ogni successione di Cauchy in $L^2([a,b])$ è convergente in $L^2([a,b])$. Nel teorema da lui enunciato, che qui riportiamo, le successioni di Cauchy vengono chiamate "successioni convergenti in media", la convergenza rispetto alla norma di $L^2([a,b])$ viene detta "convergenza in media verso una funzione" e $L^2([a,b])$ viene indicato con $\mathrm{\Omega }$.

Teorema. Se una successione di funzioni appartenenti a $\mathrm{\Omega }$ converge in media, esiste in $\mathrm{\Omega }$ una funzione $f$ verso la quale la successione converge in media.

Fischer prova quindi il risultato di Riesz usando la completezza di $L^2([a,b])$. La dimostrazione di Riesz, invece, non utilizza direttamente la completezza.

Spazi l^p

Si può definire lo spazio l^p (o ${\ell }^p$), con $1\le p<\mathrm{\infty }$, come lo spazio infinito-dimensionale delle successioni reali (o complesse) a p-esima potenza sommabili, cioè

${\ell }^p=\{\{x_n{\}}_{n\in \mathbb{N}},x_n\in ℝ|\sum _{n=1}^{\mathrm{\infty }}|x_n{|}^p<\mathrm{\infty }\}$

Lo spazio ${\ell }^p$ è uno spazio di Banach per ogni $p$, con norma

$\Vert x{\Vert }_p={(\sum _{n=1}^{\mathrm{\infty }}|x_n{|}^p)}^{1/p}$

Se $p\ne 2$, però, tale spazio non è uno spazio di Hilbert, cioè non esiste prodotto scalare che induca tale norma.

Per $p=\mathrm{\infty }$ si definisce la norma uniforme

$\Vert x{\Vert }_{\mathrm{\infty }}=\underset{n\in \mathbb{N}}{\sup }|x_n|$

a cui corrisponde lo spazio

${\ell }^{\mathrm{\infty }}=\{x\in {ℝ}^{\mathbb{N}}:\Vert x{\Vert }_{\mathrm{\infty }}<\mathrm{\infty }\}$

Si può dimostrare che se $x\in {\ell }^p$ per qualche $1\le p<\mathrm{\infty }$, allora

$\Vert x{\Vert }_{\mathrm{\infty }}=\underset{p\to \mathrm{\infty }}{\lim }\Vert x{\Vert }_p$

Si può dunque parlare di spazi ${\ell }^p$ per $1\le p\le \mathrm{\infty }$.

Inclusioni tra spazi $l^p$

Si può provare che al crescere di $p$ cresce anche lo spazio ${\ell }^p$. Formalmente, diciamo che se $x\in {\ell }^p$ per qualche $1\le p\le \mathrm{\infty }$, allora $x\in {\ell }^q$ per ogni $p\le q\le \mathrm{\infty }$. Questo implica che, data una successione $x=(x_n{)}_{n\in \mathbb{N}}$, allora

$I(x)=\{p\in [1,\mathrm{\infty }]:x\in {\ell }^p\}$

è un intervallo, che se non vuoto allora è illimitato a destra e contenente $\mathrm{\infty }$. La dimostrazione è semplice e istruttiva. Sia $x=(x_n{)}_{n\in \mathbb{N}}$ un elemento di ${\ell }^p$, con $1\le p<\mathrm{\infty }$ in quanto altrimenti la tesi è banale. Per ogni $n\ge 1$

$|x_n|=(|x_n{|}^p{)}^{1/p}\le (\sum _{k=1}^{\mathrm{\infty }}|x_k{|}^p{)}^{1/p}$

e quindi calcolando l'estremo superiore si ottiene che

$\Vert x{\Vert }_{\mathrm{\infty }}\le \Vert x{\Vert }_p$

ovvero che ${\ell }^p\subseteq {\ell }^{\mathrm{\infty }}$. Sia ora $p<q<\mathrm{\infty }$. Prima di procedere, ricordiamo al lettore che se $r\in ℝ$ allora $r^p\ge r^q$ per ogni $0\le r\le 1$ mentre $r^p\le r^q$ per ogni $r\ge 1$. Proveremo che

$\Vert x{\Vert }_q\le \Vert x{\Vert }_p$

per dedurre la tesi come prima. Tale disuguaglianza è sicuramente vera se $x=0$. Proviamo quindi la tesi per tutti gli $x\in {\ell }^p$ tali che $\Vert x{\Vert }_{\mathrm{\infty }}=1$. Questa ipotesi non è restrittiva in quanto se $x\in {\ell }^p$ è non nullo allora per quanto visto prima $x\in {\ell }^{\mathrm{\infty }}$, e in quanto se è vero che

${\Vert \frac{x}{\Vert x{\Vert }_{\mathrm{\infty }}}\Vert }_q\le {\Vert \frac{x}{\Vert x{\Vert }_{\mathrm{\infty }}}\Vert }_p$

allora la disuguaglianza cercata si ottiene per la positiva omogeneità delle norme $\Vert \cdot {\Vert }_p$ e $\Vert \cdot {\Vert }_q$. Con questa ipotesi di uniforme limitatezza si ha che $|x_n|\le 1$ per ogni $n\ge 1$, e quindi

$|x_n{|}^q\le |x_n{|}^p$

per ogni $n\ge 1$, da cui la disuguaglianza

$\Vert x{\Vert }_q=(\sum _{n=1}^{\mathrm{\infty }}|x_n{|}^q{)}^{1/q}\le (\sum _{n=1}^{\mathrm{\infty }}|x_n{|}^p{)}^{1/q}=\Vert x{\Vert }_p^{p/q}$

A questo punto il gioco è fatto, in quanto poiché $p/q<1$ e $\Vert x{\Vert }_p\ge \Vert x{\Vert }_{\mathrm{\infty }}=1$ allora

$\Vert x{\Vert }_p^{p/q}\le \Vert x{\Vert }_p$

Unendo le ultime due disuguaglianze si ha la tesi, e la dimostrazione è conclusa.

Mostriamo un esempio che conferma la veridicità del teorema. La successione

$(1,\frac{1}{2},\dots ,\frac{1}{n},\frac{1}{n+1},\dots )$

non appartiene ad ${\ell }^1$, ma appartiene a ${\ell }^p$ per $1<p\le \mathrm{\infty }$. Infatti tale successione è limitata, e la serie

$1+\frac{1}{2^p}+\dots +\frac{1}{n^p}+\frac{1}{(n+1{)}^p}+\dots$

diverge per $p=1$ (è la serie armonica) e converge per $p>1$.

Le inclusioni tra gli spazi ${\ell }^p$ sono strette, ovvero ${\ell }^p\subset {\ell }^q$ per ogni $p<q\le \mathrm{\infty }$. Per $q=\mathrm{\infty }$ la prova è banale, in quanto basta considerare la successione costantemente uguale a $1$. Altrimenti, basta osservare che la successione

$x_n=\frac{1}{n^{\frac{1}{p}}}$

sta in ${\ell }^q$ e non in ${\ell }^p$.

Relazione con gli spazi L^p

Gli spazi ${\ell }^p$ sono un caso molto speciale di spazi L^p, dove lo spazio di misura associato è $(\mathbb{N},𝒫(\mathbb{N}),\nu )$, con $\mathbb{N}$ l'insieme dei numeri naturali, $𝒫(\mathbb{N})=2^{\mathbb{N}}$ l'insieme delle parti di $\mathbb{N}$ e $\nu$ la "misura del conteggio", ovvero la misura $\nu (A)=\mathrm{\#}A$ che conta il numero di elementi di un insieme (assegnando infinito a insiemi infiniti). Facciamo osservare che, poiché i punti hanno misura unitaria, allora ogni successione è l'unica rappresentante della propria classe modulo la relazione d'equivalenza quasi ovunque.

In maniera analoga a quella descritta, a partire da un qualunque insieme numerabile $S$ (ad esempio gli interi), si può definire ${\ell }^p(S)$ come lo spazio delle successioni $s:S\to ℝ$ a potenza p sommabile. Pertanto, secondo la notazione finora usata, ${\ell }^p={\ell }^p(\mathbb{N})$. Notare che ${\ell }^p(\{1,\dots ,n\})$, o più stringatamente ${\ell }^p(n)$, non è altro che lo spazio euclideo ${ℝ}^n$ con la norma p.

Bibliografia

• Template:Cita libro
• H. Brezis, Analisi funzionale - Teoria e applicazioni, Liguori, Napoli, 1990, ISBN 8820715015.

Voci correlate

• Spazio Lp
• Spazio delle successioni
• Spazio normato
• Spazio di Banach
• Spazio di Hilbert

Collegamenti esterni

• Template:Cita web