title: Dimensione topologica
text: # Dimensione topologica
  
  In matematica, la dimensione topologica o di Lebesgue è una nozione di dimensione che si applica a qualsiasi spazio topologico.
  
  Come la dimensione di Hausdorff, la dimensione topologica dello spazio euclideo $\mathbb {R} ^{n}$ è $n$. Le due nozioni di dimensione però differiscono per spazi più complicati, come i frattali.
  
  ## Definizione
  
  Sia $X$ uno spazio topologico. Un ricoprimento aperto $\{U_{i}\}$ di $X$ è una collezione di aperti $U_{i}$ di $X$ la cui unione è tutto $X$. Un suo raffinamento è un altro ricoprimento aperto $\lbrace V_{j}\rbrace$ tale che ogni $V_{j}$ è contenuto in almeno un $U_{i}$.
  
  La dimensione topologica di $X$ è il più piccolo intero $n$ per cui ogni ricoprimento aperto di $X$ ha un raffinamento in cui ogni punto è contenuto in al più $n+1$ insiemi.
  
  ## Esempi
  
  ### Retta reale
  
  Sia $\{U_{i}\}$ un ricoprimento arbitrario della retta reale $\mathbb {R}$. Ciascun $U_{i}$ è un aperto ed è quindi unione di intervalli aperti. Si può sempre trovare un raffinamento $V_{j}$ fatto solo di intervalli aperti. Si può inoltre raffinare ulteriormente questo ricoprimento e fare in modo che questi intervalli si sovrappongano meno possibile, e cioè che tre intervalli non si intersechino mai. Da questa costruzione segue che la retta ha dimensione minore o uguale a $1.$ D'altra parte, la retta è connessa e quindi non può essere descritta come unione disgiunta di piccoli intervalli: non ha cioè dimensione zero. La retta ha quindi dimensione topologica $1.$
  
  ### Spazi euclidei
  
  Più in generale, lo spazio $\mathbb {R} ^{n}$ ha dimensione topologica $n$. La nozioni di dimensione di Hamel, topologica e di Hausdorff quindi coincidono per gli spazi vettoriali reali.
  
  ### Grafi
  
  Un grafo avente un numero finito di vertici e spigoli ha dimensione topologica $1.$
  
  ### Frattali
  
  L'insieme di Cantor ha dimensione topologica zero. Ha però dimensione di Hausdorff positiva, pari a $\ln 2/\ln 3$.
  
  La spugna di Menger ha dimensione topologica uno. La spugna è una curva universale: ogni spazio metrico compatto di dimensione topologica 1 è contenuto in essa.
  
  