Varietà (geometria)

In geometria, una varietà è uno spazio topologico che localmente è simile a uno spazio euclideo $n$ -dimensionale, ma che globalmente può avere proprietà geometriche differenti (ad esempio può essere "curvo" contrariamente allo spazio euclideo).

Le varietà localmente simili alla retta si chiamano curve, mentre quelle localmente simili al piano si chiamano superfici. Le varietà vengono usate in molteplici branche della matematica quali la topologia, l'analisi reale, l'analisi complessa, l'algebra e la geometria algebrica. Le varietà trovano applicazioni in computer grafica e si incontrano spesso in fisica, come ad esempio in meccanica lagrangiana, in meccanica quantistica, in relatività generale e nella teoria delle stringhe.

Strutture su varietà

Nel caso più generale una varietà viene definita soltanto con una struttura di spazio topologico, e in tal caso si specifica usando il termine varietà topologica. Tuttavia, quello di varietà è un concetto sufficientemente semplice da potersi adattare a diversi contesti, in quanto è possibile definire ulteriori strutture su una stessa varietà. Ad esempio, nell'ambito della geometria differenziale si può definire su una varietà topologica una struttura differenziabile, per ottenere quella che viene chiamata una varietà differenziabile. Analogamente, in altri campi si definiscono le varietà riemanniane, le varietà complesse, le varietà simplettiche e le varietà kähleriane. Un caso un po' a parte è quello delle varietà algebriche: una varietà algebrica non è una varietà topologica nel senso che andremo a definire, in quanto le varietà algebriche non sono spazi di Hausdorff.

Varietà topologica

Il concetto di varietà topologica considera uno spazio soltanto dal punto di vista topologico. Pertanto, nella definizione di una particolare varietà topologica si considerano solo le proprietà "di base" della forma di tale spazio quali la connessione, la compattezza, l'orientabilità o il "numero di buchi".

Definizione

Una varietà topologica $X$ è uno spazio topologico di Hausdorff e secondo numerabile in cui ogni punto ha un intorno aperto omeomorfo allo spazio euclideo $n$ -dimensionale $\mathbb {R} ^{n}$ . Il numero $n$ è la dimensione della varietà.^[1]

Una varietà di dimensione $n$ è spesso chiamata brevemente $n$ -varietà. Si definiscono curve le $1$ -varietà e superfici le $2$ -varietà.

Nella definizione si può richiedere, equivalentemente, che $X$ sia localmente omeomorfo ad un aperto di $\mathbb {R} ^{n}$ . Se $\varphi :U\rightarrow V$ è un omeomorfismo fra un aperto di $X$ e un aperto di $\mathbb {R} ^{n}$ , allora la coppia $(U,\varphi )$ è chiamata carta. Quindi se $X$ è una varietà topologica allora esiste una famiglia di carte ${\mathcal {U}}=\{(U_{\alpha },\varphi _{\alpha })\}_{\alpha \in A}$ che ricoprono $X$ , ovvero tali che

X=\bigcup _{\alpha \in A}U_{\alpha }

Una tale famiglia di carte si definisce un atlante. I nomi "carta" e "atlante" sono scelti in analogia con la cartografia. Infatti la superficie della Terra non è descrivibile interamente su un foglio (nel senso che non è omeomorfa ad un aperto di $\mathbb {R} ^{2}$ ), però è possibile descriverla "a pezzi" tramite un certo numero di carte geografiche: ad esempio, con due carte che descrivono gli emisferi Nord e Sud.

Se $(U_{\alpha },\varphi _{\alpha })$ e $(U_{\beta },\varphi _{\beta })$ sono due carte tali che $U_{\alpha }\cap U_{\beta }\neq \emptyset$ , allora la mappa

{\begin{matrix}\varphi _{\alpha }^{\beta }:&\varphi _{\beta }{\big (}U_{\alpha }\cap U_{\beta }{\big )}&\longrightarrow &\varphi _{\alpha }{\big (}U_{\alpha }\cap U_{\beta }{\big )}\\&x&\longmapsto &\varphi _{\alpha }\circ \varphi _{\beta }^{-1}(x)\end{matrix}}

si chiama funzione di transizione. Le funzioni di transizione sono omeomorfismi.

La scelta di un atlante, e quindi delle funzioni di transizione, ha un ruolo determinante nella definizione di una varietà. Sono infatti le funzioni di transizione a permettere di definire delle ulteriori strutture, come ad esempio quella differenziabile, su una varietà topologica.

Esempi

Lo spazio euclideo $\mathbb {R} ^{n}$ è, chiaramente, una $n$ -varietà.

Se $g:\mathbb {R} ^{n}\longrightarrow \mathbb {R} ^{m}$ , con $n\leq m$ , è un omeomorfismo locale (ad esempio se differenziabile e con determinante jacobiano mai nullo), allora il suo grafico $G$ è una $n$ -varietà. Infatti le carte locali di $G$ sono le inverse locali di $g$ , mentre le condizioni di essere di Hausdorff e secondo numerabile sono soddisfatte in quanto $G$ è un sottospazio di $\mathbb {R} ^{m}$ . Una varietà di tale genere si dice una varietà di tipo grafico.

La sfera $n$ -dimensionale

S^{n}={\big \{}(x_{1},\ldots ,x_{n+1})\in \mathbb {R} ^{n+1}:x_{1}^{2}+\ldots +x_{n+1}^{2}=1{\big \}}

è una varietà di dimensione $n$ . Per provarlo, basta osservare che le proiezioni

\varphi _{i}(x_{1},\ldots ,x_{n+1})=(x_{1},\ldots ,x_{i-1},x_{i+1},\ldots ,x_{n+1})

inducono degli omeomorfismi tra gli emisferi di $S^{n}$ (cioè l'intersezione di $S^{n}$ con un semispazio del tipo $\{x_{i}>0\}$ oppure $\{x_{i}<0\}$ ), e la palla aperta di $\mathbb {R} ^{n}$ con centro l'origine e raggio $1$ . Quindi la sfera è una $n$ -varietà, in quanto localmente è una varietà di tipo grafico di dimensione $n$ .

Si può definire un altro atlante di $S^{n}$ se invece delle proiezioni canoniche si usano le proiezioni stereografiche.

Classificazione in dimensione bassa

La topologia della dimensione bassa è la branca della topologia che studia le varietà di dimensione fino a 4.

Nello studio delle varietà, assume un ruolo di cardinale importanza la classificazione delle varietà topologiche. La classificazione delle varietà topologiche viene effettuata a meno di omeomorfismi. Infatti, così come in geometria euclidea due oggetti vengono considerati equivalenti se uguali a meno di un'isometria (anche intuitivamente, due sfere con centri diversi ma stesso raggio vengono considerate equivalenti, in quanto uguali a meno di una traslazione), così le varietà topologiche vengono considerate a meno di omeomorfismi.

Osserviamo quindi che ogni $n$ -varietà è unione disgiunta delle proprie componenti connesse, che sono $n$ -varietà a loro volta.

Dopo questa premessa, affermiamo esistere sostanzialmente solo due varietà topologiche di dimensione $1$ : la circonferenza $S^{1}$ e la retta $\mathbb {R}$ . Ogni altra curva connessa è infatti omeomorfa a una di queste due.

Le varietà di dimensione $2$ sono più variegate: tra queste troviamo la sfera $S^{2}$ , il toro, il nastro di Möbius e la bottiglia di Klein.

Di più, le superfici sono infinite: i $g$ -tori, ovvero i tori con $g$ buchi, sono superfici topologicamente distinte al variare di $g\in \mathbb {N}$ .

Le 3-varietà non sono facilmente visualizzabili, ed il loro studio è una branca importante della topologia. La congettura di Poincaré, dimostrata nel 2003 da Grigori Perelman, è stato un importante problema irrisolto per più di un secolo, riguardante proprio questo ambito.

Una varietà di dimensione $4$ è un oggetto ancora più difficile da visualizzare. Lo studio delle varietà con quattro dimensioni è un punto centrale della matematica moderna, con numerosi collegamenti alla fisica teorica: la relatività generale descrive infatti lo spaziotempo come una $4$ -varietà.

La bottiglia di Klein: ogni "quadratino" è contenuto in $\mathbb {R} ^{3}$ , ma la bottiglia di Klein non è un sottospazio di $\mathbb {R} ^{3}$ in quanto si autointerseca.

Varietà immerse

Sia $X$ una varietà topologica di dimensione $n$ . Si dice che $X$ è immersa in $\mathbb {R} ^{m}$ , con $n\leq m$ , se $X$ è un sottospazio di $\mathbb {R} ^{m}$ . Un'immersione (in inglese, embedding) di $X$ in $\mathbb {R} ^{m}$ è un'inclusione topologica $f:X\longrightarrow \mathbb {R} ^{m}$ , ovvero una mappa continua e iniettiva che induce un omeomorfismo con l'immagine $f(X)$ . Un esempio di varietà immersa è quello della sfera $S^{2}$ in $\mathbb {R} ^{3}$ . Non è vero che tutte le superfici si possono immergere in $\mathbb {R} ^{3}$ . La bottiglia di Klein ${\mathbb {K} ^{1}}$ è un esempio: benché si possa localmente immergere in $\mathbb {R} ^{3}$ , non è realizzabile "globalmente" come sottospazio di $\mathbb {R} ^{3}$ evitando "autointersezioni", ovvero conservando l'iniettività dell'immersione.

${\mathbb {K} ^{1}}$ è invece "realizzabile" dentro lo spazio quadri-dimensionale $\mathbb {R} ^{4}$ , ovvero esiste un'immersione $f\colon {\mathbb {K} ^{1}}\to \mathbb {R} ^{4}$ .

Nel caso in cui ${\mathbb {K} ^{1}}$ venga considerata come una varietà differenziabile, allora si usa considerare una definizione diversa di "immersione", ovvero quella di immersione differenziabile. Un'immersione differenziabile iniettiva è anche un'inclusione topologica nel senso sopra descritto. La rappresentazione in figura della bottiglia di Klein mostra un'immersione differenziabile di $\mathbb {K} ^{1}$ in $\mathbb {R} ^{3}$ . Più in generale, grazie al teorema di Whitney sappiamo che ogni $n$ -varietà differenziabile ammette un'immersione differenziabile in $\mathbb {R} ^{2n-1}$ e un'immersione differenziabile iniettiva in $\mathbb {R} ^{2n}$ .

Varietà differenziabile

Una varietà topologica $X$ è una varietà differenziabile se le sue funzioni di transizione sono differenziabili. Tali funzioni di transizione vengono usualmente intese di classe $C^{\infty }$ , e per questo si dice anche che $X$ è una varietà liscia. In particolare, segue dalla definizione che le funzioni di transizione sono diffeomorfismi lisci.

La richiesta della differenziabilità delle funzioni di transizione permette di definire i concetti di spazio tangente, funzione differenziabile, campo vettoriale e forma differenziale, nonché di usare altri strumenti propri del calcolo infinitesimale.

Nel caso in cui le funzioni di transizione siano di classe $C^{k}$ , con $k\geq 1$ , allora si dice che $X$ è una varietà differenziabile di classe $C^{k}$ . Se invece le funzioni di transizione sono analitiche, allora si dice che $X$ è una varietà analitica.

Varietà complessa

Una varietà complessa di dimensione $n$ è una varietà topologica di dimensione $2n$ le cui funzioni di transizione, viste come mappe fra aperti di $\mathbb {C} ^{n}$ tramite l'identificazione naturale di $\mathbb {R} ^{2n}$ con $\mathbb {C} ^{n}$ , sono olomorfe.

Una varietà complessa è una varietà topologica su cui è possibile usare gli strumenti dell'analisi complessa: le varietà complesse sono cioè l'analogo complesso delle varietà differenziabili.

Poiché le funzioni olomorfe sono differenziabili, una varietà complessa ha anche una struttura di varietà differenziabile, o più in particolare una struttura di varietà analitica.

Le varietà complesse di dimensione (complessa) $1$ si chiamano superfici di Riemann.

Varietà algebrica

Una varietà algebrica è definita con tecniche diverse da quelle usate per le varietà topologica, differenziabile o complessa.^[2]

Una varietà algebrica è un oggetto che è localmente definito come l'insieme degli zeri di uno o più polinomi con $n$ variabili in $K^{n}$ , dove $K$ è un campo fissato, come ad esempio il campo dei numeri reali o complessi. Gli esempi più semplici di varietà algebriche sono le varietà affini e le varietà proiettive.

Varietà affine

Una varietà affine è un sottoinsieme $V$ di $K^{n}$ che è il luogo di zeri di un insieme $S$ di polinomi in $n$ variabili. In altre parole, $V$ è l'insieme dei punti su cui si annullano contemporaneamente tutti i polinomi in $S$ , cioè $V$ è l'insieme delle soluzioni di un sistema di equazioni polinomiali. Generalmente si indica $V=V(S)$ per rimarcare la dipendenza di $V$ dall'insieme $S$ .

I polinomi in $S$ non devono necessariamente essere in numero finito. Se $I(S)$ è l'ideale generato da $S$ , risulta che $V(S)=V(I(S))$ : quindi ogni varietà è in verità il luogo di zeri di un ideale di polinomi. L'importanza degli ideali nella teoria degli anelli discende proprio da questo fatto.

Varietà proiettiva

Una varietà proiettiva è un sottoinsieme $V$ dello spazio proiettivo $P^{n}(K)$ , definito analogamente alla varietà affine come luogo di zeri di un insieme $S$ di polinomi. L'unica differenza con il caso affine sta nel fatto che tali polinomi hanno $n+1$ variabili, e poiché le coordinate omogenee di un punto nello spazio proiettivo sono definite a meno di una costante moltiplicativa, questi devono essere omogenei affinché le equazioni abbiano senso.

Varietà riemanniana

Una varietà riemanniana $M$ è una varietà differenziabile in cui lo spazio tangente ad $M$ in un punto $p$ è dotato di un prodotto scalare $g$ che varia in modo liscio al variare di $p\in M$ . Tale prodotto scalare si chiama metrica riemanniana. Analogamente a quanto accade per gli spazi euclidei, la presenza di questa metrica permette di parlare di distanza fra punti, lunghezze di curve, angoli e volumi (o aree in dimensione $2$ ).

Una varietà riemanniana è un particolare esempio di spazio metrico, la cui metrica è fortemente caratterizzata dalle geodetiche. Una geodetica è una curva che realizza localmente la distanza fra due punti. Su una varietà riemanniana sono quindi presenti tutti gli enti geometrici classici della geometria euclidea, benché le loro caratteristiche possano differenziarsi enormemente da quelle degli usuali enti dello spazio euclideo. Ad esempio, può non valere il V postulato di Euclide, né gli altri assiomi di Hilbert. Localmente, questa diversa geometria incide sulla curvatura della varietà riemanniana.

Esempi di varietà riemanniane sono le sottovarietà differenziabili dello spazio euclideo $\mathbb {R} ^{n}$ . La sfera $n$ -dimensionale in $\mathbb {R} ^{n+1}$ è un esempio fondamentale di varietà riemanniana con curvatura positiva. Lo spazio euclideo ha invece curvatura nulla. Un esempio importante di varietà riemanniana con curvatura negativa è il disco di Poincaré: si tratta dell'usuale palla in $\mathbb {R} ^{n}$ di raggio unitario, su cui è però definita una metrica diversa da quella euclidea.

Origine del termine

La parola varietà è la traduzione italiana del termine tedesco Mannigfaltigkeit, che compare per la prima volta nella tesi di dottorato del 1851 di Bernhard Riemann, Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Grösse. Nella sua tesi Riemann si pone il problema di introdurre delle "grandezze molteplicemente estese", aventi cioè "più dimensioni", e le definisce usando quel termine.

Analizzando la parola scomponendola come Mannig-faltig-keit, si riconosce in essa un parallelo con il termine latino multi-plic-itas, sicché lo si potrebbe tradurre letteralmente come 'molteplicità'.

Note

^ Kosniowski, C., p. 75.
^ In inglese il termine varietà algebrica si traduce con algebraic variety. L'uso di variety al posto di manifold sottolinea la sua diversità dalle varietà topologiche, differenziabili o complesse.

Bibliografia

M. Abate, F. Tovena, Geometria Differenziale, Springer, 2011, ISBN 978-88-470-1919-5.
Czes Kosniowski, Introduzione alla Topologia Algebrica, Zanichelli, 1988, ISBN 88-08-06440-9.
G. Gentili, F. Podestà, E. Vesentini, Lezioni di Geometria Differenziale, Torino, Bollati Boringhieri, 1995, ISBN 978-88-339-5556-8.
Edoardo Sernesi, Geometria 2, Torino, Bollati Boringhieri, 1994, ISBN 978-88-339-5548-3.
(EN) R.W. Sharpe, Differential Geometry: Cartan's Generalization of Klein's Erlangen Program, Springer-Verlag, New York, 1997, ISBN 0-387-94732-9.
(EN) F.W. Warner, Foundations of Differentiable Manifolds and Lie Groups, Springer-Verlag, New York, 1983, ISBN 0-387-90894-3.

Voci correlate

Altri progetti

Wikimedia Commons contiene immagini o altri file sulla varietà

Collegamenti esterni

(EN) manifold, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
(EN) Eric W. Weisstein, Varietà, su MathWorld, Wolfram Research.
(EN) Varietà, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.

Controllo di autorità	LCCN (EN) sh85080549 · GND (DE) 4037379-4 · BNF (FR) cb119446082 (data) · J9U (EN, HE) 987007548324805171 · NDL (EN, JA) 00572740

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

[1] Kosniowski, C., p. 75.

[2] In inglese il termine varietà algebrica si traduce con algebraic variety. L'uso di variety al posto di manifold sottolinea la sua diversità dalle varietà topologiche, differenziabili o complesse.

[1]

[2]