title: Teorema di Josefson-Nissenzweig
text: # Teorema di Josefson-Nissenzweig
  
  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\leq p<+\infty$ definiamo:
  
      $f(x)=\sum _{n=1}^{\infty }n|x(n)|^{n}.$
  
  Possiamo affermare che:
  
      $f(x)=\mathrm {sup} N{\mathcal {3}}N\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}}\longrightarrow {_{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 $\neg 1\Rightarrow \neg 2$. Passiamo al completato ${\bar {X}}$, e utilizzando il teorema di Josefson-Nissenzweig otteniamo una successione ${U_{n}}\subseteq Sx$ tale che:
  
      ${U_{n}}\longrightarrow \sigma (X,{\hat {X}})=0.$
  
  Definiamo:
  
      $f({\bar {x}})\sum _{n=1}^{\infty }n|{U_{n}}({\bar {x}})|^{n}\quad \forall {\bar {x}}\in {\bar {X}}.$
  
  Essa, per ragionamenti analoghi a quelli fatti ad inizio sezione, risulta essere convessa e continua su ${\bar {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})\geq n|u(x_{n})\mid ^{n}n\longrightarrow \infty .$
  
  Dunque la funzione $f_{|}x$ è quella cercata.
  
  