Operatore limitato

Da Wikipedia, l'enciclopedia libera.

In analisi funzionale un operatore limitato è un operatore lineare continuo tra spazi vettoriali normati tale per cui il rapporto tra la norma dell'immagine di un vettore e la norma del vettore stesso sia limitato dallo stesso numero per ogni vettore non nullo del dominio. In particolare, un operatore lineare è limitato se e solo se è continuo.

Definizione[modifica | modifica sorgente]

Siano X e Y spazi normati e L : X \rightarrow Y un operatore lineare. L'operatore L si dice limitato se:[1]

 \sup_{x \ne 0}\left[\frac{\|L x \|_Y}{\| x \|_X}\right] < \infty \qquad \forall x \in X

L'insieme dei rapporti tra le immagini dei vettori non nulli di X ed i vettori stessi è quindi limitato dallo stesso numero, ovvero esiste un M>0 tale che per ogni x \in X si ha:

\|L x \|_Y \le M \| x \|_X \

Il più piccolo M che soddisfa la disuguaglianza è chiamato norma operatoriale dell'operatore \|L\|_{op} di L.[2]

Si dimostra che un operatore lineare è limitato se e soltanto se è operatore continuo.

Un operatore si dice invece non limitato se si può trovare una successione di elementi dello spazio normato in questione \{ x_n \} con \| x_n \| = 1 tale che:

 A x_n \rightarrow \infty

Un operatore lineare limitato non è necessariamente una funzione limitata, in quanto quest'ultima richiede che la norma dell'immagine sia limitata per ogni punto del dominio, mentre ogni operatore limitato è una funzione localmente limitata.

Continuità e grafico[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi Operatore lineare continuo e Grafico di una funzione.

Un operatore lineare è limitato se e soltanto se è continuo, ed in particolare un operatore lineare è limitato se e soltanto se è continuo in un punto di X.[3]

Il teorema della funzione aperta afferma che un operatore lineare limitato tra spazi di Banach mappa insiemi aperti in insiemi aperti, ovvero è una funzione aperta.[4] Come conseguenza del teorema, ogni applicazione lineare biettiva e continua tra spazi di Banach possiede un'inversa continua.

Il teorema della funzione aperta permette inoltre di dimostrare il teorema del grafico chiuso. Si supponga che X e Y siano spazi di Banach, e che T:X \to Y sia un operatore lineare. Il teorema afferma che T è limitato se e solo se il suo grafico è chiuso nello spazio X \times Y dotato della topologia prodotto.[5]

Come corollario, il teorema di Hellinger-Toeplitz mostra che un operatore simmetrico A definito su di uno spazio di Hilbert H è limitato.[6] Questo risultato è di notevole importanza in fisica, dove si richiede una qualche forma di simmetria ad alcuni importanti operatori non limitati, come l'energia in meccanica quantistica, che non possono per questo essere definiti ovunque.

Limitatezza relativa[modifica | modifica sorgente]

Un operatore A si dice limitato relativamente all'operatore B, o B-limitato, se:

D(B) \subset D(A) \qquad \|A u \| \le a_1 \| u \| + a_2 \| Bu \| \quad u \in D(B)

In modo equivalente:

D(B) \subset D(A) \qquad \|A u \|^2 \le b_1^2 \| u \|^2 + b_2^2 \| Bu \|^2 \quad u \in D(B)

Il più grande limite inferiore dell'insieme dei possibili valori che può assumere a_2 è detto B-limite di A.

Il concetto di limitatezza relativa è utilizzato nello studio degli operatori autoaggiunti. Si dimostra che se B è autoaggiunto e A è simmetrico e B-limitato con B-limite minore di 1, allora l'operatore A + B è autoaggiunto.

Inoltre, se B è essenzialmente autoaggiunto allora A + B è essenzialmente autoaggiunto e si ha:

\overline{A + B} = \bar A + \bar B

dove \bar A indica la chiusura di A.

Topologia operatoriale[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi Topologia operatoriale.

Quando si trattano operatori lineari limitati su spazi di Banach o di Hilbert è possibile definire diverse topologie a partire dalla convergenza di successioni di operatori. Sia T_n una successione di operatori lineari continui su uno spazio di Hilbert H (in modo equivalente si può considerare uno spazio di Banach).

  • Si dice che T_n converge a T in H nella topologia operatoriale forte se:
T_n x \to Tx \qquad \forall x \in H
  • Si dice che T_n converge a T in H nella topologia operatoriale debole se:
F(T_n x) \to F(T x) \qquad \forall F \in H^*
  • Si dice che T_n converge a T in H nella topologia operatoriale uniforme se:
\|T_n - T\| \to 0 \qquad \forall x \in H

Note[modifica | modifica sorgente]

  1. ^ W. Rudin, op. cit., Pag. 96
  2. ^ Reed, Simon, op. cit., Pag. 182
  3. ^ W. Rudin, op. cit., Pag. 97
  4. ^ Reed, Simon, op. cit., Pag. 82
  5. ^ Reed, Simon, op. cit., Pag. 83
  6. ^ Reed, Simon, op. cit., Pag. 84

Bibliografia[modifica | modifica sorgente]

  • (EN) Walter Rudin, Real and Complex Analysis, Mladinska Knjiga, McGraw-Hill, 1970, ISBN 0070542341.
  • (EN) Michael Reed, Barry Simon, Methods of Modern Mathematical Physics, Vol. 1: Functional Analysis, 2ª ed., San Diego, California, Academic press inc., 1980, ISBN 0125850506.
  • (EN) Kreyszig, Erwin: Introductory Functional Analysis with Applications, Wiley, 1989

Voci correlate[modifica | modifica sorgente]

Collegamenti esterni[modifica | modifica sorgente]

matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica