it.wikipedia.org

Bottiglia di Klein - Wikipedia

Da Wikipedia, l'enciclopedia libera.

Immersione della bottiglia di Klein in {\displaystyle \mathbb {R} ^{3}}
Modello 3D (in formato .stl) di una 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 sé stesso, fino a 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 a 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 un'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.

Dividendo la bottiglia di Klein si ottiene un nastro di Möbius
L'immersione a "figura 8" della bottiglia di Klein

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.

Bottiglia di Klein in vetro

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}}.}

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
SottoinsiemiIntervallo · Aperto · Intorno · Chiuso · Insieme localmente chiuso · Insieme chiuso-aperto · Parte interna · Chiusura · Frontiera · Insieme derivato · Insieme limite · Insieme perfetto · Insieme denso · Insieme mai denso
PuntiPunto isolato · Punto di accumulazione · Punto di aderenza
FunzioniFunzione continua · Omeomorfismo · Funzione aperta · Funzione chiusa · Funzione propria · Contrazione · Retrazione · Germe di funzione · Funzione a supporto compatto
SuccessioniLimite · Limite di una successione · Successione · Rete · Convergenza · Successione di Cauchy
TeoremiTeorema 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 praticheTopologia dello spazio-tempo · Teoria quantistica dei campi topologica · K-teoria ritorta · Topologia di rete · Controllo della topologia · Topologia molecolare
Toro
Spazi topologici
Topologie classicheTopologia 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 topologicheTopologia prodotto · Topologia di sottospazio · Topologia quoziente · Compattificazione (di Alexandrov · di Stone-Čech) · Cono · Bouquet · Rosa · Sospensione
Topologie in Analisi funzionaleSpazio funzionale · Topologia iniziale o debole · Topologia operatoriale · Topologia finale o forte · Topologia di Mackey · Topologia polare · Topologie operatoriali debole e forte
Altri oggetti topologiciSfera · 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
FrattaliInsieme di Cantor · Spazio di Cantor · Polvere di Cantor · Spugna di Menger · Sfera di Alexander · Curva di Peano · Laghi di Wada
Strutture misteSpazio 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
SeparazioneAssioma di separazione · Spazio T0 · Spazio T1 · Spazio di Hausdorff · Spazio regolare · Spazio di Tichonov · Spazio normale
CompattezzaSpazio compatto · Spazio paracompatto · Spazio localmente compatto · Spazio di Lindelöf · Sottospazio relativamente compatto · Immersione compatta
ConnessioneSpazio 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 differenzialeVarietà (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
FondamentiSpazio semplicemente connesso · Gruppo fondamentale
OmotopiaArco · Nerbo · Omotopia · Gruppi di omotopia
Omologia e coomologiaOmologia · Omologia singolare · Omologia ciclica · Algebra omologica · Coomologia di De Rham · Categoria abeliana
SollevamentoSollevamento · Teorema del sollevamento dell'omotopia · Teorema di unicità del sollevamento · Teorema di Van Kampen
Topologia algebrica avanzataGrado 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
SuperficiCaratteristica 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 rilievoHenri 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