Teorema di Josefson-Nissenzweig

Template:F Template:C In analisi matematica, il teorema di Josefson-Nissenzweig è un importante teorema basato sulle funzioni convesse e continue che sono illimitate sulla bolla unitaria.

Dimostrazione

Sia $X$ uno tra gli spazi $1\le p<+\mathrm{\infty }$ definiamo:

$f(x)=\sum _{n=1}^{\mathrm{\infty }}n|x(n){|}^n.$

Possiamo affermare che:

$f(x)=\mathrm{s}\mathrm{u}\mathrm{p}N3N\sum _{n=1}^{\mathbb{N}}$ $n|x(n){|}^n,$

ma questo mostra che $f$ è convessa inferiormente semicontinua, siccome $X$ è uno spazio di Banach allora $f$ è continua. Ma $f$ non è limitata sulla bolla unitaria, infatti $f(En)$ = $n$.

Teorema 2

Il seguente teorema, la cui dimostrazione è molto complicata, permette di costruire esempi simili in ogni spazio normato di dimensione infinita.

Sia $X$ normato di dimensione infinita. Esiste $U_n\subseteq S_x$ tale che:

$U_n⟶{}_w=0.$

Osservazione

Questo teorema afferma che, per spazi di dimensione infinita, la topologia debole non coincide mai, dal punto di vista sequenziale, con quella forte. Sappiamo invece che ciò può succedere per la topologia debole, in tal caso gli spazi si dicono godere della proprietà di Schur.

Corollario

Sia $X$ uno spazio normato. Sono tra loro equivalenti:

• $X$ è ha dimensione finita;
• ogni funzione convessa e continua su $X$ è limitata sulla bolla chiusa;
• ogni funzione convessa e continua su $X$ è limitata superiormente sulla bolla unitaria.

Dimostrazione

Osserviamo che $1\Rightarrow 2$ segue dalla compattezza delle bolle e $2\Rightarrow 3$. Dimostriamo $\mathrm{\neg }1\Rightarrow \mathrm{\neg }2$. Passiamo al completato $\overline{X}$, e utilizzando il teorema di Josefson-Nissenzweig otteniamo una successione $U_n\subseteq Sx$ tale che:

$U_n⟶\sigma (X,\hat{X})=0.$

Definiamo:

$f(\overline{x})\sum _{n=1}^{\mathrm{\infty }}n|U_n(\overline{x}){|}^n\mathrm{\forall }\overline{x}\in \overline{X}.$

Essa, per ragionamenti analoghi a quelli fatti ad inizio sezione, risulta essere convessa e continua su $\overline{X}$. Dimostriamone l'illimitatezza; sappiamo che per ogni $n$ esiste $x_n\in {\beta }_x$ tale che $u(x_n)>1-\frac{1}{n}$. Calcoliamo ora:

$f(x_n)\ge n|u(x_n){\mid }^{n}n⟶\mathrm{\infty }.$

Dunque la funzione $f_{|}x$ è quella cercata.

Voci correlate

• Teorema degli amici e degli sconosciuti
• Teorema della traccia
• Teorema di Monsky