Caratteristica di Eulero

Da Wikipedia, l'enciclopedia libera.

In matematica, e più precisamente in geometria e topologia, la caratteristica di Eulero è un numero intero che descrive alcuni aspetti della forma di uno spazio topologico. Si denota comunemente con $χ$ .

La caratteristica di Eulero fu formulata originariamente per i poliedri, ed usata per dimostrare vari teoremi, inclusa la classificazione dei solidi platonici: Eulero partecipò attivamente a queste ricerche.

Nella matematica moderna, la caratteristica di Eulero, chiamata anche caratteristica di Eulero-Poincaré, è definita in un ambito più generale a partire da una omologia, introdotta dal matematico Henri Poincaré.

Indice

1 Poliedri
2 Definizione formale
- 2.1 Complessi di celle o simpliciali
- 2.2 Spazi topologici
3 Proprietà
4 Esempi
- 4.1 Spazi contrattili
- 4.2 Superfici
5 Vedi anche

[modifica] Poliedri

[modifica] Definizione

La caratteristica di Eulero $χ$ fu definita inizialmente per i poliedri, con la formula

χ = V - S + F,

dove V,S e F sono rispettivamente il numero di vertici, spigoli e facce del poliedro.

[modifica] Relazione di Eulero

Per approfondire, vedi la voce Relazione di Eulero.

La relazione di Eulero asserisce che

χ = V - S + F = 2

per tutti i poliedri "senza buchi", ovvero semplicemente connessi. I poliedri convessi rientrano in questa categoria.

[modifica] Esempi di poliedri convessi

La formula di Eulero può essere usata per dimostrare che ci sono solo 5 solidi platonici:

Nome	V (vertici)	S (spigoli)	F (facce)	Caratteristica di Eulero: V − S + F
Tetraedro	4	6	4	2
Cubo	8	12	6	2
Ottaedro	6	12	8	2
Dodecaedro	20	30	12	2
Icosaedro	12	30	20	2

[modifica] Definizione formale

[modifica] Complessi di celle o simpliciali

Un poliedro è un esempio di complesso di celle, o di complesso simpliciale: questi sono particolari spazi topologici costruiti a partire da vertici, spigoli, facce 2-dimensionali, facce 3-dimensionali, ... etc. Per questi spazi la caratteristica di Eulero è definita semplicemente come

$\chi = k_0 - k_1 + k_2 - k_3 + \cdots,$

dove $k n$ è il numero di facce n-dimensionali (vertici e spigoli sono intesi come facce di dimensione 0 e 1).

Lo stesso spazio può essere descritto da molte decomposizioni in celle o simpliciali differenti, con valori $k i$ variabili: il fatto notevole, che rende la caratteristica di Eulero importante in geometria, è che la quantità $χ$ è però indipendente dalla decomposizione scelta.

[modifica] Spazi topologici

Ancora più in generale, si può definire la caratteristica di Eulero-Poincaré di un qualsiasi spazio topologico con l'omologia: senza entrare nel dettaglio, si definisce $b i$ come la dimensione dell' i-esimo gruppo di omologia, e quindi

$\chi = b_0 - b_1 + b_2 - b_3 + \cdots.$

Se lo spazio topologico non è troppo complicato, ciascun $b i$ è effettivamente un numero (non è infinito), e $b n$ è zero per ogni n sufficientemente grande.

[modifica] Proprietà

La caratteristica di Eulero è un invariante topologico: due spazi topologici omeomorfi hanno la stessa caratteristica. Questo è un risultato molto forte, che implica in modo banale la formula di Eulero: i poliedri convessi sono infatti tutti omeomorfi alla sfera bidimensionale.

La caratteristica è anche invariante per equivalenza omotopica: due spazi omotopicamente equivalenti hanno la stessa caratteristica.

Se M e N sono spazi topologici disgiunti, abbiamo

$\chi(M \sqcup N) = \chi(M) + \chi(N).$

Più in generale, se M e N sono sottospazi di uno spazio più grande, abbiamo

$\chi(M \cup N) = \chi(M) + \chi(N) - \chi(M \cap N).$

La caratteristica di Eulero di un prodotto di spazi M × N è

$\chi(M \times N) = \chi(M) \cdot \chi(N).$

Infine, grazie a dei teoremi profondi riguardanti l'omologia, la caratteristica di una varietà differenziabile di dimensione dispari è zero.

[modifica] Esempi

[modifica] Spazi contrattili

Ogni spazio contrattile, cioè omotopicamente equivalente ad un punto, ha la stessa caratteristica di Eulero del punto, che è 1 perché il punto ha 1 vertice e 0 facce di ogni dimensione maggiore. Quindi la retta, il piano, e ogni spazio euclideo ha caratteristica di Eulero 1

[modifica] Superfici

La caratteristica di Eulero di una superficie può essere calcolata agevolmente tramite una suddivisione in poligoni (cioè una descrizione come complesso di celle) ed un conteggio del numero di vertici, spigoli e poligoni.