title: Teorema della categoria di Baire
text: # Teorema della categoria di Baire
  
  In matematica, il teorema della categoria di Baire è un importante strumento della topologia generale e dell'analisi funzionale. Il teorema è disponibile in due versioni, ciascuna delle quali fornisce una condizione sufficiente affinché uno spazio topologico sia uno spazio di Baire.
  
  Si deve al matematico francese René-Louis Baire, che lo dimostrò nella sua tesi di laurea nel 1899, Sur les fonctions de variable réelles.
  
  ## Enunciato del teorema
  
  Vi sono due versioni del teorema. La prima riguarda gli spazi metrici:
  
  TCB1 Ogni spazio metrico completo non vuoto è uno spazio di Baire. Più in generale, ogni sottoinsieme aperto di uno spazio pseudometrico completo è uno spazio di Baire.
  
  La seconda riguarda gli spazi di Hausdorff:
  
  TCB2 Ogni spazio di Hausdorff non vuoto e localmente compatto è uno spazio di Baire.
  
  Nessuna delle due proposizioni implica l'altra poiché non necessariamente uno spazio metrico completo è localmente compatto (un esempio è un qualunque spazio di Hilbert di dimensione infinita) così come uno spazio di Hausdorff localmente compatto non è necessariamente metrizzabile (vedi lo spazio di Fort, non numerabile).
  
  Un sottoinsieme di uno spazio metrico è mai denso se la sua chiusura ha parte interna vuota. Il teorema di Baire per gli spazi metrici può essere formulato nel modo seguente:
  
  TCB3 Uno spazio metrico completo non può essere unione numerabile di insiemi mai densi.
  
  La seguente versione è molto utilizzata come teorema di esistenza.
  
  TCB4 In uno spazio metrico completo l'intersezione numerabile di aperti densi è densa.
  
  ## Dimostrazione
  
  Si fornisce la dimostrazione del teorema nella forma TCB3. Sia $(X,d)$ uno spazio metrico completo e si supponga, per assurdo, che:
  
      $X=\bigcup _{n=1}^{\infty }A_{n}$
  
  dove la chiusura ${\overline {A_{n}}}$ ha parte interna vuota per ogni $n$.
  
  Si scelgano $x_{1}$ in $X$ ed $0<r<1$ tali che:
  
      $B(x_{1},r_{1})\cap A_{1}=\emptyset$
  
  Ciò è possibile perché la chiusura di $A_{1}$ ha parte interna vuota. Indicando con $B(x,r)$ la palla aperta in $X$ di centro $x$ e raggio $r$, è possibile scegliere $x_{2}$ in $B(x_{1},r_{1})$ e $0<r_{2}<1/2$ tali che:
  
      ${\overline {B(x_{2},r_{2})}}\subseteq B(x_{1},r_{1})\qquad B(x_{2},r_{2})\cap A_{2}=\emptyset$
  
  ciò che è possibile perché la chiusura di $A_{2}$ ha parte interna vuota. Iterando il procedimento si costruiscono, quindi, due successioni, $(x_{n})$ in $X$ e $(r_{n})$ in $\mathbb {R}$ tali che:
  
      $0<r_{n}<{\frac {1}{2^{n-1}}}\qquad {\overline {B(x_{n},r_{n})}}\subseteq B(x_{n-1},r_{n-1})\qquad B(x_{n},r_{n})\cap A_{n}=\emptyset \ \forall n\in \mathbb {N}$
  
  ne segue che, per ogni $n,m$ naturali con $n,m>N$, risulta:
  
      $d(x_{n},x_{m})\leq {\frac {1}{2^{N-1}}}$
  
  e, pertanto, la successione $(x_{n})$ è di Cauchy e quindi convergente ad un certo $x$ in $X$. D'altronde, $x$ non è in $A_{n}$ per ogni $n$ e, pertanto,
  
      $x\notin \cup _{n=1}^{\infty }A_{n}=X$
  
  il che è assurdo, il che dimostra la tesi.
  
  ## Relazione con l'assioma della scelta
  
  Le dimostrazioni di entrambe le versioni richiedono una forma debole dell'assioma della scelta; infatti, la proposizione che ogni spazio pseudometrico completo è uno spazio di Baire è un'affermazione equivalente all'assioma della scelta dipendente (DC).
  
  ## Applicazioni del teorema
  
  TCB1 è utilizzato nelle dimostrazioni del teorema della funzione aperta, del teorema del grafico chiuso e del principio dell'uniforme limitatezza.
  
  TCB1 mostra inoltre che ogni spazio metrico completo privo di punti isolati è non numerabile (se $X$ è uno spazio metrico completo numerabile privo di punti isolati, allora ogni insieme $\{x\}$ formato da un punto in $X$ è mai denso e pertanto $X$ stesso è di prima categoria). In particolare, ciò mostra che l'insieme di tutti i numeri reali è non numerabile.
  
  TCB1 mostra che ciascuno dei seguenti insiemi è uno spazio di Baire:
  
  * L'insieme $\mathbb {R}$ dei numeri reali
  * L'insieme di Cantor
  * Ogni varietà (in quanto insiemi localmente compatti)
  * Ogni spazio topologico omeomorfo ad uno spazio di Baire (per esempio, l'insieme dei numeri irrazionali che non è completo rispetto alla metrica ereditata da $\mathbb {R}$)
  
  Vi sono anche altre applicazioni importanti di TCB1.
  
  