Il teorema di Gauss-Bonnet è un importante enunciato della geometria differenziale, che esprime la relazione tra la curvatura di una superficie e la sua topologia espressa dalla caratteristica di Eulero. Prende il nome dai due matematici poiché il primo lo aveva dedotto senza pubblicarlo, il secondo invece ne pubblicò un caso particolare nel 1848.
Enunciato del teorema
[modifica | modifica wikitesto]Sia una varietà riemanniana bidimensionale compatta di bordo . Vale la seguente relazione:
- ,
dove:
- è la curvatura gaussiana di ogni punto di ;
- è la curvatura geodetica di ;
- è l'elemento di area;
- è l'elemento di linea lungo ;
- è la caratteristica di Eulero di .
Superficie con bordo liscio a tratti
[modifica | modifica wikitesto]La formula si può estendere al caso in cui è continuo e derivabile a tratti: in questo caso si calcolano gli integrali per ciascuna porzione liscia, si sommano i risultati ottenuti e si aggiungono gli angoli di rotazione di ogni porzione liscia rispetto alla precedente.
Superfici senza bordo
[modifica | modifica wikitesto]Per superfici compatte senza bordo, il secondo addendo a sinistra è nullo e il teorema diventa:
- ,
ovvero la curvatura gaussiana totale è uguale a volte la caratteristica di Eulero.
Poiché la caratteristica di Eulero è invariante per omeomorfismi, una deformazione continua della superficie comporta una variazione locale della curvatura gaussiana, ma tali variazioni nel loro complesso si annullano, mantenendo invariata la curvatura totale.
Ad esempio, il toro ha caratteristica di Eulero nulla, per cui tale è anche la sua curvatura totale: segue che il toro non può avere curvatura ovunque positiva o ovunque negativa.
Somma degli angoli di un triangolo
[modifica | modifica wikitesto]Su una varietà riemanniana, un triangolo è rappresentato dalla parte di superficie racchiusa da tre geodetiche e possiede pertanto un bordo liscio a tratti. La caratteristica di Eulero del triangolo vale 1, mentre la curvatura delle geodetiche è nulla per definizione. Il teorema diventa allora:
- ,
dove rappresentano gli angoli di rotazione delle tre geodetiche e i corrispondenti angoli interni del triangolo.
Si ha allora:
- ,
ovvero la somma degli angoli interni di un triangolo è uguale a più la curvatura totale racchiusa dal triangolo. Nel caso del piano, la curvatura gaussiana vale zero e la somma è pari all'angolo piatto.
Per una sfera di raggio la curvatura gaussiana vale in ogni punto e la curvatura totale è , dove è l'area del triangolo. Detto , l'angolo solido racchiuso dal triangolo, abbiamo
,
Cioè la somma degli angoli del triangolo è pari ad un angolo piatto più l'angolo solido racchiuso dal triangolo stesso.
Voci correlate
[modifica | modifica wikitesto]Collegamenti esterni
[modifica | modifica wikitesto]- (EN) Eric W. Weisstein, Teorema di Gauss-Bonnet, su MathWorld, Wolfram Research.