A Gauss Theorema egregium (magyarul „figyelemre méltó tétel”) a differenciálgeometria egyik alapvető eredménye, amelyet Carl Friedrich Gauss bizonyított. A tétel a felületek görbületével foglalkozik, és azt állítja, hogy a felület Gauss‑görbülete kizárólag a felületen mért, belső (intrinsic) adatokból — azaz a felület belső távolság‑ és szögméréseiből — meghatározható. Ennek fontos következménye, hogy a Gauss‑görbület nem változik, ha a felületet meghajlítjuk anélkül, hogy megnyújtanánk vagy összenyomnánk (azaz izometriás átalakításoknál megmarad).

Mi a Gauss‑görbület?

A Gauss‑görbület (jele gyakran K) egy pontban a felület két fő görbületének szorzata: K = k1 · k2. Itt k1 és k2 a felület két egymásra merőleges irányban vett részleges görbületei (a főgörbületek). A Gauss‑görbület előjele és nagysága jellemzi a helyi alakot:

  • Ha K > 0, a pont domború (pl. gömbfelület),
  • ha K = 0, a pont fejthető (developable) irányú, például henger mentén,
  • ha K < 0, a pont nyeregszerű (pl. hiperbolikus paraboloid).

A tétel állítása és jelentése

A Theorema egregium lényegében így foglalható össze: a Gauss‑görbület egy felületen kiszámítható kizárólag a felület első fundamentális formájából (a metrikából) és ennek első- és másodrendű részderiváltjaiból; nem szükséges ismerni a felület beágyazását a környező euklideszi térbe. Másképp: ha két felület között van izometria (azaz a távolságok minden pontpár esetén megegyeznek), akkor minden pontban azonos a Gauss‑görbületük.

Gauss maga így fogalmazott (magyar fordításban):

"Ezért az előző cikk képlete önmagában is elvezet a figyelemre méltó tételhez. Ha egy görbült felületet bármilyen más felületre fejlesztünk, a görbület mértéke minden egyes pontban változatlan marad."

A bizonyítás rövid ötlete

A tétel bizonyítása számításos: Gauss megmutatta, hogy a Gauss‑görbület kifejezhető az első fundamentális forma (a metrika) koordinátabeli komponensei és ezek deriváltjai segítségével. A bizonyításban fontos szerepet kapnak a Christoffel‑szimbólumok és a metrika görbületi kifejezései; ebből következik, hogy K kizárólag belső mennyiségektől függ, nem a külső görbültségtől (a második fundamentális formától). A modern szemléletben ez azzal mondható, hogy a Gauss‑görbület egy intrinsikus görbületi invariáns.

Következmények és példák

  • Izometriaság megőrzi a Gauss‑görbületet: ha két felület izometrikus, akkor pontonként azonos K. Példa: a síkot és a henger felületét izometrikus transzformációk kötik össze (a síkot feltekerve hengert kapunk), ezért a henger K = 0, mint a sík.
  • Nem fejthető fel teljesen minden felület: a gömbet nem lehet izometriásan (nyújtás nélkül) síkba fejteni, mert a gömb K > 0, míg a sík K = 0. Ez fontos a térképezésnél: nincs olyan sík ábrázolás, amely a Föld gömbfelületének minden pontján távolságokat pontosan megőrizné.
  • Fejthető felületek: a fejthető (developable) felületek pontosan azok, melyek lokálisan izometrikusak a síkhoz, így K = 0 minden pontban (például henger, kúp, sík).
  • Példák szemléltetésre: a gömbön K pozitív, a szaddalapon (nyereg) K negatív, a hengeren K nulla — ezek a belső geometria szempontjából különböznek még akkor is, ha mindhárom felület háromdimenzióban hajlított.

Alkalmazások és kapcsolódó eredmények

A tételnek mély hatása van a geometria és a matematikai fizika területén. Kapcsolódik például a Gauss–Bonnet‑tételhez, amely összekapcsolja a felület teljes Gauss‑görbületét a felület topológiájával (Euler‑charakterisztikával). Továbbá a tétel fontos a differenciálgeometriai elméletekben, a Riemann‑geometriában és gyakorlati alkalmazásokban, mint a gépészeti lemezmegmunkálás, számítógépes grafika és a térképészet.

Összefoglalás

A Gauss Theorema egregium kiemelkedő eredmény, mert megmutatja: bár a felületek külseje (külső görbülete) látszólag fontos, a Gauss‑görbület valójában belső, a felületen mérhető mennyiség — így invariáns az izometriás hajlításokkal szemben. Ez a felismerés alapozza meg az intrinzik differenciálgeometria további fejleményeit.