Bottiglia di Klein

In matematica, la bottiglia di Klein (detta anche otre di Klein) è una superficie non-orientabile, cioè una superficie per la quale non c'è distinzione fra "interno" ed "esterno". La bottiglia di Klein è stata descritta per la prima volta nel 1882 dal matematico tedesco Felix Klein. È strettamente correlata al nastro di Möbius e alle immersioni del piano proiettivo reale come la superficie di Boy.

Si immagini una bottiglia con un buco sul fondo. Ora si estenda il collo della bottiglia, curvandolo su se stesso, fino ad inserirlo lateralmente all'interno di questa. Questa operazione richiede nello spazio tridimensionale che il collo perfori la parete della bottiglia: effettuata però nello spazio euclideo quadridimensionale ${\displaystyle \mathbb {R} ^{4}}$, l'operazione può essere fatta senza toccare la parete. Infine, si colleghi il collo con il buco in fondo.

Diversamente da un bicchiere, questo oggetto non ha "bordi" dove la superficie termina bruscamente.

Il nome Bottiglia di Klein pare essere nato da una traduzione errata del termine tedesco Fläche che significa superficie. Questo è stato confuso con la parola Flasche che significa bottiglia. Ciò nonostante, il nome è considerato corretto anche in tedesco.

La costruzione appena abbozzata può essere resa più rigorosa dal punto di vista geometrico, con le tecniche della topologia. La bottiglia di Klein è lo spazio topologico ottenuto identificando i bordi opposti del quadrato mostrato in figura, secondo l'orientamento data dalle frecce.

Incollando i lati secondo le due frecce rosse, si ottiene la superficie verticale di un cilindro. I lati rimanenti sono a questo punto diventati due circonferenze, che vanno identificate lungo le frecce blu. Il risultato è una bottiglia di Klein.

Dal punto di vista topologico, non è necessario effettuare manualmente tutte le identificazioni per definire o studiare la bottiglia di Klein: questa è effettivamente ben definita dalla descrizione iniziale, quella di un quadrato con una certa legge di identificazione. In topologia si dice che la bottiglia di Klein è lo spazio quoziente del quadrato, rispetto ad una certa relazione d'equivalenza.

Come molti altri spazi topologici, la bottiglia di Klein ${\displaystyle K}$ non è visualizzabile completamente come un sottoinsieme dello spazio tridimensionale: la descrizione data fornisce una immersione nello spazio, cioè una funzione continua

${\displaystyle f\colon K\to \mathbb {R} ^{3}}$

a valori nello spazio euclideo ${\displaystyle \mathbb {R} ^{3}}$, che è localmente iniettiva, ma non globalmente: due circonferenze distinte presenti in ${\displaystyle K}$ andranno infatti a sovrapporsi nell'immagine.

Come il nastro di Möbius, la bottiglia di Klein è una varietà differenziabile bidimensionale non orientabile. Diversamente dal nastro di Möbius, la bottiglia di Klein è una varietà chiusa, vale a dire che è una varietà compatta senza bordo. Mentre il nastro di Möbius può essere rappresentato all'interno dello spazio euclideo tridimensionale ${\displaystyle \mathbb {R} ^{3}}$, la bottiglia di Klein non può (e infatti nelle rappresentazioni grafiche tridimensionali la superficie è costretta ad autointersecarsi da qualche parte) ma può essere rappresentata nello spazio euclideo quadridimensionale ${\displaystyle \mathbb {R} ^{4}}$.

La bottiglia di Klein può essere costruita (in senso matematico) "incollando" i margini di due nastri di Möbius. Se una bottiglia di Klein è divisa in due lungo il suo piano di simmetria, il risultato è un nastro di Möbius, raffigurato a destra. Si tenga presente che l'intersezione raffigurata non esiste veramente. Infatti è possibile tagliare la bottiglia di Klein in un singolo nastro di Möbius.

La bottiglia di Klein ha caratteristica di Eulero uguale a 0.

La bottiglia di Klein è l'unica eccezione alla congettura di Heawood, una generalizzazione del teorema dei quattro colori. In particolare, sono sufficienti sei colori (e non sette) per colorare una qualunque bottiglia di Klein, facendo in modo che a superfici adiacenti non venga assegnato lo stesso colore.

L'immersione a "figura 8" della bottiglia di Klein ha una parametrizzazione abbastanza semplice:

${\displaystyle {\begin{cases}x=\left(r+\cos {\frac {u}{2}}\sin v-\sin {\frac {u}{2}}\sin 2v\right)\cos u\\y=\left(r+\cos {\frac {u}{2}}\sin v-\sin {\frac {u}{2}}\sin 2v\right)\sin u\\z=\sin {\frac {u}{2}}\sin v+\cos {\frac {u}{2}}\sin 2v,\end{cases}}\quad \quad (u,v)\in [0,2\pi )\times [0,2\pi ),\quad r>1,25.}$

In questa immersione, la circonferenza di auto-intersezione (ottenuta per ${\displaystyle \sin v=0}$) è una circonferenza di raggio ${\displaystyle r}$ nel piano ${\displaystyle xy}$. Il parametro ${\displaystyle u}$ esprime l'angolo nel piano ${\displaystyle xy}$, e ${\displaystyle v}$ specifica la posizione sulla sezione a forma di 8.

Si consideri la "figura 8" avente parametrizzazione ${\displaystyle (\sin v,0,\sin 2v)}$ con ${\displaystyle v\in [0,2\pi )}$.

Ruotiamo tale curva in senso orario attorno all'asse delle ${\displaystyle y}$:

${\displaystyle {\begin{pmatrix}\cos {\frac {u}{2}}&0&-\sin {\frac {u}{2}}\\0&1&0\\\sin {\frac {u}{2}}&0&\cos {\frac {u}{2}}\end{pmatrix}}{\begin{pmatrix}\sin v\\0\\\sin 2v\end{pmatrix}}={\begin{pmatrix}\sin v\cos {\frac {u}{2}}-\sin {\frac {u}{2}}\sin 2v\\0\\\sin {\frac {u}{2}}\sin v+\cos {\frac {u}{2}}\sin 2v\end{pmatrix}},\quad u\in [0,2\pi ).}$

Trasliamo lungo l'asse ${\displaystyle x}$:

${\displaystyle {\begin{pmatrix}\sin v\cos {\frac {u}{2}}-\sin {\frac {u}{2}}\sin 2v\\0\\\sin {\frac {u}{2}}\sin v+\cos {\frac {u}{2}}\sin 2v\end{pmatrix}}+{\begin{pmatrix}r\\0\\0\end{pmatrix}}={\begin{pmatrix}r+\sin v\cos {\frac {u}{2}}-\sin {\frac {u}{2}}\sin 2v\\0\\\sin {\frac {u}{2}}\sin v+\cos {\frac {u}{2}}\sin 2v\end{pmatrix}},\quad r>1,25.}$

Eseguiamo una rotazione antioraria attorno all'asse ${\displaystyle z}$ con velocità angolare doppia rispetto alla precedente:

${\displaystyle {\begin{pmatrix}\cos u&-\sin u&0\\\sin u&\cos u&0\\0&0&1\end{pmatrix}}{\begin{pmatrix}r+\sin v\cos {\frac {u}{2}}-\sin {\frac {u}{2}}\sin 2v\\0\\\sin {\frac {u}{2}}\sin v+\cos {\frac {u}{2}}\sin 2v\end{pmatrix}}={\begin{pmatrix}(r+\sin v\cos {\frac {u}{2}}-\sin {\frac {u}{2}}\sin 2v)\cos u\\(r+\sin v\cos {\frac {u}{2}}-\sin {\frac {u}{2}}\sin 2v)\sin u\\\sin {\frac {u}{2}}\sin v+\cos {\frac {u}{2}}\sin 2v\end{pmatrix}}.}$

• Topologia
• Topologia algebrica
• Superficie (matematica)
• Bottiglia di Klein solida

• Wikimedia Commons contiene immagini o altri file su bottiglia di Klein

• Alcune immagini e animazioni interattive sulla bottiglia di Klein, su matematita.it.
• (EN) Bottiglia di Klein su MathWorld, su mathworld.wolfram.com.
• (EN) Costruzione con foglio di carta, su cut-the-knot.org.
• (EN) Puzzle sulla bottiglia di Klein, su cut-the-knot.org.
• (EN) Costruzione della bottiglia di Klein (filmato avi)
• (EN) Immagini della bottiglia di Klein, di John Sullivan, su math.uiuc.edu.
• (EN) La bottiglia di Klein, su geom.uiuc.edu. URL consultato il 18 settembre 2005 (archiviato dall'url originale il 27 agosto 2005).
• (EN) Origami che rappresentano la bottiglia di Klein, su hektor.umcs.lublin.pl. URL consultato il 18 settembre 2005 (archiviato dall'url originale il 12 ottobre 2006).
• (EN) Bottiglia di Klein lavorata a maglia, su toroidalsnark.net.
• Torus Games: giochi (scaricabili gratuitamente) che illustrano la topologia del toro e della bottiglia di Klein, su geometrygames.org.

V · D · M Topologia
Concetti di Topologia generale	Spazio topologico · Base · Prebase · Ricoprimento · Assiomi di chiusura di Kuratowski · Invariante topologico · Relazione di finezza · Partizione dell'unità · Proprietà dell'intersezione finita Sottoinsiemi Intervallo · Aperto · Intorno · Chiuso · Insieme localmente chiuso · Insieme chiuso-aperto · Parte interna · Chiusura · Frontiera · Insieme derivato · Insieme limite · Insieme perfetto · Insieme denso · Insieme mai denso Punti Punto isolato · Punto di accumulazione · Punto di aderenza Funzioni Funzione continua · Omeomorfismo · Funzione aperta · Funzione chiusa · Funzione propria · Contrazione · Retrazione · Germe di funzione · Funzione a supporto compatto Successioni Limite · Limite di una successione · Successione · Rete · Convergenza · Successione di Cauchy Teoremi Teorema di Weierstrass · Heine-Borel · Tichonov · Lemma del tubo · Urysohn · Tietze · Baire · Brouwer · punto fisso · Teorema di Borsuk · Teorema di Borsuk-Ulam · Teorema della curva di Jordan · Teorema della mappa di Riemann Applicazioni pratiche Topologia dello spazio-tempo · Teoria quantistica dei campi topologica · K-teoria ritorta · Topologia di rete · Controllo della topologia · Topologia molecolare
Spazi topologici	Topologie classiche Topologia banale · Spazio di Sierpiński · Cofinita · Topologia della semicontinuità inferiore · di Zariski · Euclidea · del limite inferiore o di Sorgenfrey · Discreta · Topologia degli interi equispaziati · Insieme reale esteso · Topologia di ordine · Piano di Moore · Topologia p-adica Costruzioni topologiche Topologia prodotto · Topologia di sottospazio · Topologia quoziente · Compattificazione (di Alexandrov · di Stone-Čech) · Cono · Bouquet · Rosa · Sospensione Topologie in Analisi funzionale Spazio funzionale · Topologia iniziale o debole · Topologia operatoriale · Topologia finale o forte · Topologia di Mackey · Topologia polare · Topologie operatoriali debole e forte Altri oggetti topologici Sfera · Palla · Toro · Corpo con manici · Bottiglia di Klein · Bottiglia di Klein solida · Anello · Nastro di Möbius · Retta proiettiva · Piano proiettivo · Superficie di Riemann · Nodo · Nodo torico · Link Frattali Insieme di Cantor · Spazio di Cantor · Polvere di Cantor · Spugna di Menger · Sfera di Alexander · Curva di Peano · Laghi di Wada Strutture miste Spazio vettoriale topologico · Gruppo topologico · Gruppo di Lie · Spazio uniforme · Algebra di Borel
Proprietà degli spazi topologici	Numerabilità Assioma di numerabilità · Spazio primo-numerabile · Spazio separabile · Spazio sequenziale Separazione Assioma di separazione · Spazio T0 · Spazio T1 · Spazio di Hausdorff · Spazio regolare · Spazio di Tichonov · Spazio normale Compattezza Spazio compatto · Spazio paracompatto · Spazio localmente compatto · Spazio di Lindelöf · Sottospazio relativamente compatto · Immersione compatta Connessione Spazio connesso · Spazio semplicemente connesso Metrizzabilità Spazio metrico · Spazio metrico completo · Spazio metrizzabile · Spazio ultrametrico · Spazio pseudometrico · Spazio polacco · Spazio normato · Spazio totalmente limitato Altre proprietà Spazio di Baire · Spazio topologico noetheriano · Spazio omogeneo · Orientazione
Topologia differenziale	Varietà (differenziabile · parallelizzabile · 3-varietà · 3-varietà irriducibile) · Atlante · Diffeomorfismo (locale · di Anosov) · Immersione · Curva · Superficie · Campo vettoriale · Fibrato (principale · vettoriale · Varietà fibrata) · Fibrato tangente · Spazio tangente · Fibrazione di Hopf · Varietà con bordo · Teorema dell'intorno tubolare · Somma connessa · Teorema di Kneser-Milnor · Congettura di geometrizzazione di Thurston · Cobordismo · Dimensione topologica · Topologia in dimensione bassa · Chirurgia di Dehn · Trasversalità · Eversione della sfera · Teoria delle foliazioni · Decomposizione JSJ
Topologia algebrica	Fondamenti Spazio semplicemente connesso · Gruppo fondamentale Omotopia Arco · Nerbo · Omotopia · Gruppi di omotopia Omologia e coomologia Omologia · Omologia singolare · Omologia ciclica · Algebra omologica · Coomologia di De Rham · Categoria abeliana Sollevamento Sollevamento · Teorema del sollevamento dell'omotopia · Teorema di unicità del sollevamento · Teorema di Van Kampen Topologia algebrica avanzata Grado topologico · Indice di avvolgimento · Indice di un campo vettoriale · Rivestimento · Numero di Betti · Successione di Mayer-Vietoris · Successione esatta · Successione spettrale · Complesso simpliciale · Complesso di celle · Complesso di catene · Schema simpliciale Superfici Caratteristica di Eulero · Formula di Eulero per i poliedri · Genere · Taglio · Superficie incompressibile · Classificazione delle superfici · Mapping class group · Teorema della palla pelosa · Teorema di Poincaré-Hopf · Congettura di Poincaré · Congettura di Hodge
Topologi di rilievo	Henri Poincaré · Felix Hausdorff · Georg Cantor · Eduard Čech · John Milnor · Pierre Samuel · Norman Steenrod · René Thom · Samuel Eilenberg · Andrej Nikolaevič Kolmogorov · Stephen Smale · Michael Atiyah · William Thurston · Marston Morse · Luitzen Brouwer

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