Theorema Egregium — Gauss och den intrinsiska krökningen hos ytor

Egenskaper och definition

Gaussisk krökning betecknas ofta K och kan intuitivt ses som produkten av huvudkrökningarna i en punkt på ytan. Viktigare än formeln är teorets påstående: K bestäms av den första fundamentala formen (ytans inre metrik) och dess partiella derivator. Därmed är K invariant under isometrier — bändningar som bevarar avstånd på ytan. Med andra ord: om man böjer en yta utan att töja eller trycka ihop den, ändras inte K.

Historisk kontext

Gauss presenterade resultatet i sitt verk om kurvade ytor, där han analyserade relationen mellan geometriska mått som uppmäts på ytan och hur ytan beter sig i rummet. Satsen uppfattades som överraskande eftersom den ursprungliga definitionen av gaussisk krökning involverade normalvektorer och inbäddning i tre-dimensionellt euklidiskt rum. Teoremet visade att ett mått som till synes var extrinsiskt i själva verket är intrinsikt.

Konsekvenser och tydliga exempel

Flera klassiska insikter följer av teoremet och illustreras av konkreta exempel:

• En plan yta och en cylinder är lokalt isometriska, båda har K = 0, eftersom man kan rulla ett papper till en cylinder utan att töja det.
• En sfär har positiv gaussisk krökning och kan därför inte isometriskt förvandlas till ett plant plan — det går inte att utplatta en apelsin till en platt karta utan distortion.
• Teoremet påverkar kartografi: alla kartprojektioner av jordytan måste kompromissa med avstånd, area eller vinklar eftersom sfärens K är icke-noll.

Tillämpningar och vidare betydelse

Beyond pure mathematics, förståelsen av intrinsisk krökning har inverkan inom områden som materialteknik (skallformers deformation utan töjning), arkitektur (skalstrukturer) och teoretisk fysik där rumtidens geometri studeras. Teoremet banade väg för senare resultat som knyter samman geometri och topologi, exempelvis Gauss–Bonnet-satsen som relaterar integralen av K över en yta till dess topologiska egenskaper.

Särskiljanden och notabla fakta

Det är viktigt att skilja mellan gaussisk krökning (intrinsisk) och medelkrökning eller normalkrökning (extrinsisk), vilka kan ändras genom att ändra inbäddningen. På samma sätt använder man uttryck som isometri för avbildningar som bevarar den första fundamentala formen. För vidare läsning och formella utvecklingar finns översikter och originaltexter som kommenterar Gauss argumentation och senare förfiningar av begreppen: se till exempel material som sammanfattar Gauss arbete och moderna introduktioner till differentialgeometri via metrik och krökning (ytors krökning, inbäddning och isometrier).