Redaktion og opdatering af indholdet på denstoredanske.dk er indstillet pr. 24. august 2017. Artikler og andet indhold er tilgængeligt i den form, der var gældende ved redaktionens afslutning.

  • Artiklens indhold er godkendt af redaktionen

differentialgeometri

Oprindelig forfatter SSM Seneste forfatter Redaktionen

differentialgeometri, matematisk område omhandlende undersøgelser af kurver, flader og andre geometriske former. Differentialgeometri udvikledes med basis i den analytiske geometri i nær tilknytning til matematisk analyse — især via L. Eulers omfattende matematiske arbejder fra 1700-t. Den første monografi om kurver og flader skyldtes G. Monge (1795). I 1827 publicerede C.F. Gauss det egentlige grundlag for den klassiske differentialgeometri, Disquisitiones generales circa superficies curvas. Det arbejde var inspireret af hans geodætiske opmåling af Hannover-området (1818-25), en opmåling, som fortsatte den allerede eksisterende geodætiske triangulation af Danmark.

I begyndelsen af 1800-t. opdagede N.I. Lobatjevskij og J. Bolyai den ikke-euklidiske, hyperbolske geometri. Denne opdagelse og Gauss' geometriske arbejder var udgangspunktet for B. Riemanns berømte forelæsning i 1854, Über die Hypothesen, welche der Geometrie zu Grunde liegen, hvori han grundlagde studiet af "indre" geometriske forhold i de rum af flere dimensioner, der nu kaldes Riemannske mangfoldigheder. Differentialgeometriske metoder har gennem deres generaliseringer fået stor betydning for en række andre matematiske, tekniske og fysiske discipliner. Teorien for de Riemannske mangfoldigheder er fx fundamentet for den almene relativitetsteori.

Kurver i rummet

To vigtige begreber i den differentialgeometriske analyse af rumkurver er krumning og torsion. Begge forklares ud fra begrebet oskulerende cirkel, som er betegnelsen for den cirkel i rummet, der bedst tilnærmer en given kurve i et givet punkt.

Annonce

Den oskulerende cirkel i et punkt p konstrueres på følgende måde: Tre forskellige punkter på en kurve bestemmer en plan i rummet, og i den plan er der netop én cirkel, som går igennem de tre punkter. Lader man nu de tre punkter hver for sig vandre på kurven hen imod p, så vil planen nærme sig en ganske bestemt plan igennem p, oskulationsplanen, og cirklen vil tilsvarende nærme sig en ganske bestemt cirkel, oskulationscirklen, i oskulationsplanen. Krumningen af kurven i punktet p defineres nu som κ(p) = 1/ρ(p), hvor ρ(p) er oskulationscirklens radius.

Oskulationsplanen til en kurve indeholder altid tangenten til kurven i det respektive punkt p. Når vi lader p vandre (med fart 1) langs kurven, vil oskulationsplanen derfor rotere om tangenten. Den øjeblikkelige vinkelhastighed af denne rotation kaldes torsionen af kurven.

Krumning og torsion indeholder al information om kurven. Hvis man har givet krumningen og torsionen som funktioner af en parameter s, så er der netop én rumkurve (på nær flytninger), som i buelængdeafstand s fra et givet punkt på kurven har den foreskrevne krumning og den foreskrevne torsion.

W. Fenchel viste, at totalkrumningen af en lukket kurve i rummet (dvs. integralet af krumningen rundt langs hele kurven) altid er større end eller lig med 2π, og at værdien 2π opnås, hvis og kun hvis kurven er en plan konveks kurve.

Flader i rummet

Regulære flader i rummet er karakteriseret ved, at de lokalt kan tilnærmes med en paraboloide (ligesom kurver lokalt tilnærmes med cirkler). For ethvert punkt p på fladen findes et koordinatsystem i rummet, således at fladen tæt på p, dvs. for tilstrækkelig små x- og y-værdier, tilnærmes bedst muligt med en entydigt bestemt oskulerende paraboloide, dvs. grafen for en funktion af typen:
1/2κ1(p)x2+1/2κ2(p)y2,
hvor κ1(p) og κ2(p) er to reelle tal, som kaldes hovedkrumningerne for fladen i p. De to tilhørende (x,y)-akseretninger udspænder tangentplanen til fladen i p og kaldes tilsvarende hovedretningerne i p. Et punkt på en flade kaldes et navlepunkt, hvis hovedkrumningerne er ens i punktet. Hvis alle punkter på en regulær sammenhængende flade er navlepunkter, da er fladen en del af enten en plan eller en kugleflade. Ud fra hovedkrumningerne defineres Gauss-krumningen i punktet p som:
Κ(p) = κ1(p)∙κ2(p)
og middelkrumningen i p som:
H(p) = 1/2(κ1(p)+κ2(p)).
Hvis middelkrumningen af en flade overalt er 0, siges fladen at være en minimalflade.

Geodætiske kurver

Et vigtigt begreb til analyse af lokale og globale egenskaber ved flader er de geodætiske kurver. En kurve på en flade er geodætisk, hvis ethvert tilstrækkelig lille segment af kurven er den korteste kurve på fladen, som forbinder segmentets endepunkter. Betragt eksempelvis tre punkter på en flade, som ikke er for langt fra hinanden; de tre forbindende geodætiske kurver udspænder en geodætisk trekant på fladen. Hvis man integrerer Gauss-krumningen hen over en geodætisk trekant, fås trekantens vinkeleksces, dvs. summen af de tre vinkler i trekanten minus to rette vinkler. Dette resultat viser, at krumningen er en "indre"-geometrisk størrelse; man kan således bestemme Gauss-krumningen ved udelukkende at foretage målinger i selve fladen uden at skulle benytte det omgivende rum.

I analogi med Fenchels sætning for kurver gælder følgende bemærkelsesværdige resultat for lukkede flader (Gauss-Bonnets sætning): Totalkrumningen, dvs. integralet af Gauss-krumningen hen over fladen, er altid 2πχ, hvor χ er fladens såkaldte Euler-karakteristik, dvs. et helt tal, som karakteriserer fladen topologisk blandt alle lukkede flader. Dette resultat er et eksempel på den frugtbare vekselvirkning mellem differentialgeometri og topologi.

Referér til denne tekst ved at skrive:
Steen Schyum Markvorsen: differentialgeometri i Den Store Danske, Gyldendal. Hentet 22. juli 2019 fra http://denstoredanske.dk/index.php?sideId=64447