www.wikidata.de-de.nina.az
Die Differentialgeometrie stellt als Teilgebiet der Mathematik die Synthese von Analysis und Geometrie dar Inhaltsverzeichnis 1 Historische Entwicklung und aktuelle Anwendungsgebiete 2 Teilgebiete 2 1 Elementare Differentialgeometrie 2 2 Differentialtopologie 2 3 Riemannsche Geometrie 2 4 Semi riemannsche Differentialgeometrie 2 5 Finslersche Geometrie 2 6 Symplektische Geometrie 2 7 Kontaktgeometrie 2 8 Komplexe Geometrie und Kahlergeometrie 2 9 Theorie der Lie Gruppen 2 10 Globale Analysis 3 Methoden 3 1 Koordinatentransformationen 3 2 Kovariante Ableitung 3 3 Krummungstensor 4 Literatur 4 1 Elementare Differentialgeometrie 4 2 Abstrakte Mannigfaltigkeiten Riemannsche Geometrie 4 3 Differentialgeometrie der Defekte 5 Weblinks 6 EinzelnachweiseHistorische Entwicklung und aktuelle Anwendungsgebiete BearbeitenEtliche grundlegende Arbeiten zur Differentialgeometrie stammen von Carl Friedrich Gauss In dieser Zeit war die Mathematik noch stark mit verschiedenen Anwendungsgebieten verknupft Wichtige Ergebnisse lieferte diese Theorie dabei auf den Gebieten der Kartografie Navigation und Geodasie Es entwickelte sich unter anderem die Kartenprojektionslehre aus der die Begriffe geodatische Linie und gausssche Krummung stammen Zudem stellte sich C F Gauss bereits die Frage ob die durch Peilung gemessene Winkelsumme eines sehr grossen Dreiecks tatsachlich exakt 180 Grad betragt und erweist sich damit als Wegbereiter der modernen Differentialgeometrie Die moderne Differentialgeometrie findet vor allem in der allgemeinen Relativitatstheorie und in der Satellitennavigation ihre Anwendung Sie ermoglicht die Beschreibung von Phanomenen wie astronomische Lichtablenkung oder Periheldrehung des Merkur die durch Experimente bzw Beobachtung bestatigt werden konnen Koordinatentransformationen entsprechen in der Relativitatstheorie dem Wechsel von Bezugssystemen aus denen heraus ein Phanomen beobachtet wird Dies entspricht damit unterschiedlichen Bewegungszustanden der Messapparatur bzw des Beobachters Ein anderes wichtiges Anwendungsgebiet liegt in den Materialwissenschaften in der Theorie der Defekte und der Plastizitat Die Synthese der Differentialgeometrie und der stochastischen Analysis ist ein modernes Gebiet und wird stochastische Differentialgeometrie genannt Teilgebiete BearbeitenElementare Differentialgeometrie Bearbeiten Die ersten Arbeiten zur Differentialgeometrie beschaftigen sich sowohl mit Kurven als auch mit zweidimensionalen gekrummten Flachen im dreidimensionalen reellen Anschauungsraum Geschichtlich gesehen wurde es mit Gauss Arbeiten erstmals moglich die Krummung beispielsweise der zweidimensionalen Oberflache einer Kugel auch quantitativ zu erfassen Eine weitere Motivation zur Entwicklung der elementaren Differentialgeometrie kam auch von dem mathematischen Problem der Minimalflachen her Die in der Natur vorkommenden Seifenhaute lassen sich als Minimalflachen beschreiben Die Form bzw mathematische Darstellung dieser Flachen lasst sich dabei mit den Methoden aus der Variationsrechnung entwickeln Die geometrischen Eigenschaften dieser Flachen wie Krummung oder Abstande zwischen beliebigen Punkten auf einer Minimalflache werden dagegen eher mit den Methoden der Differentialgeometrie berechnet Differentialtopologie Bearbeiten Hauptartikel Differentialtopologie Die Differentialtopologie ist Grundlage fur die meisten modernen Teilgebiete der Differentialgeometrie Im Gegensatz zur elementaren Differentialgeometrie werden in der Differentialtopologie die geometrischen Objekte intrinsisch beschrieben das heisst die Definition der Objekte erfolgt ohne Ruckgriff auf einen umgebenden Raum Der zentrale Begriff ist der der differenzierbaren Mannigfaltigkeit Eine n displaystyle n nbsp dimensionale Mannigfaltigkeit ist ein geometrisches Objekt genauer ein topologischer Raum der lokal so aussieht wie der n displaystyle n nbsp dimensionale reelle Raum Das klassische Beispiel das auch die Terminologie motiviert ist die Erdoberflache In kleinen Ausschnitten lasst sie sich durch Karten beschreiben das heisst kleine Teile sehen aus wie die Ebene Jedoch lasst sich die gesamte Erdoberflache nicht mit der Ebene identifizieren Ausserdem tragen differenzierbare Mannigfaltigkeiten eine Struktur die es erlaubt von differenzierbaren Funktionen zu sprechen Diese differenzierbare Struktur ermoglicht es in den Karten lokal analytische Methoden anzuwenden Ausserdem kann man die Mannigfaltigkeit global als topologischen Raum untersuchen So versucht die Differentialtopologie Verbindungen zwischen den lokalen analytischen und den globalen topologischen Eigenschaften herzustellen Ein Beispiel fur einen solchen Zusammenhang ist der Satz von de Rham Riemannsche Geometrie Bearbeiten Hauptartikel Riemannsche Geometrie Auf einer differenzierbaren Mannigfaltigkeit gibt es keine vordefinierte Langenmessung Ist sie als zusatzliche Struktur gegeben spricht man von riemannschen Mannigfaltigkeiten Diese Mannigfaltigkeiten sind Gegenstand der riemannschen Geometrie die auch die zugehorigen Begriffe der Krummung der kovarianten Ableitung und des Paralleltransports auf diesen Mengen untersucht Diese Begriffe konnen aber auch bei nichtriemannschen oder nicht pseudoriemannschen Raumen definiert werden und setzen nur den allgemeinen differentialgeometrischen Begriff des Zusammenhanges voraus praziser allgemeine affine Differentialgeometrie im Gegensatz zu metrischer Differentialgeometrie siehe unten Semi riemannsche Differentialgeometrie Bearbeiten Wenn anstelle der positiv definiten Metrik einer riemannschen Mannigfaltigkeit eine nichtdefinite Metrik vorausgesetzt wird gegeben durch eine nichtdefinite hermitesche bzw symmetrisch nichtdefinite nicht entartete Bilinearform erhalt man eine semi oder pseudo riemannsche Mannigfaltigkeit Ein Spezialfall sind die lorentzschen Mannigfaltigkeiten der allgemeinen Relativitatstheorie Finslersche Geometrie Bearbeiten Gegenstand der finslerschen Geometrie sind die finslerschen Mannigfaltigkeiten das heisst Mannigfaltigkeiten deren Tangentialraum mit einer Banachnorm ausgestattet ist also einer Abbildung F T M 0 displaystyle F colon TM to 0 infty nbsp mit folgenden Eigenschaften F r X r F X displaystyle F rX r F X nbsp fur X T M displaystyle X in TM nbsp und r R displaystyle r in mathbb R nbsp F X Y F X F Y displaystyle F X Y leq F X F Y nbsp F displaystyle F nbsp ist glatt auf T M 0 displaystyle TM setminus 0 nbsp die vertikale Hesse Matrix ist positiv definit Finslersche Mannigfaltigkeiten spielen auch in der theoretischen Physik als allgemeinere Kandidaten fur die strukturelle Beschreibung der Raumzeit eine Rolle Symplektische Geometrie Bearbeiten Hauptartikel Symplektische Geometrie Statt einer symmetrischen nichtentarteten Bilinearform wird eine antisymmetrische nichtentartete Bilinearform w gegeben Wenn diese zusatzlich noch geschlossen ist also dw 0 spricht man von einer symplektischen Mannigfaltigkeit Weil ein symplektischer Vektorraum notwendigerweise gerade Dimension hat haben auch symplektische Mannigfaltigkeiten gerade Dimension Die erste wichtige Erkenntnis ist der Satz von Darboux nach dem symplektische Mannigfaltigkeiten lokal isomorph zu T Rn sind Damit gibt es im Gegensatz zu semi riemannschen Mannigfaltigkeiten keine nichttrivialen lokalen symplektischen Invarianten ausser der Dimension sondern nur globale symplektische Invarianten Als Verallgemeinerung zahlen auch die Poisson Mannigfaltigkeiten die keine Bilinearform sondern nur einen antisymmetrischen Bivektor haben Dieser induziert eine Lie Klammer zwischen den Funktionen Symplektische Geometrie findet Anwendung in der hamiltonschen Mechanik einem Teilgebiet der theoretischen Mechanik Kontaktgeometrie Bearbeiten Hauptartikel Kontaktgeometrie Das Analogon zur symplektischen Geometrie fur ungeraddimensionale Mannigfaltigkeiten ist Kontaktgeometrie Eine Kontaktstruktur auf einer 2 n 1 displaystyle 2n 1 nbsp dimensionalen Mannigfaltigkeit M displaystyle M nbsp ist eine Familie H displaystyle H nbsp von Hyperebenen des Tangentialbundels die maximal nicht integrabel sind Lokal konnen diese Hyperebenen als Kern einer 1 Form a displaystyle alpha nbsp dargestellt werden d h H p ker a p T p M displaystyle H p ker alpha p subset T p M nbsp Umgekehrt ist eine Kontaktform lokal eindeutig bestimmt durch die Familie H displaystyle H nbsp bis auf einen nichtverschwindenden Faktor Die Nichtintegrabilitat bedeutet dass da beschrankt auf die Hyperebene nicht entartet ist Wenn die Familie H displaystyle H nbsp global durch eine 1 Form a displaystyle alpha nbsp beschrieben werden kann dann ist a displaystyle alpha nbsp Kontaktform genau dann wenn a d a n displaystyle alpha wedge d alpha n nbsp eine Volumenform auf M displaystyle M nbsp ist Es gilt ein Theorem analog zum Darboux Theorem fur symplektische Mannigfaltigkeiten namlich dass alle Kontaktmannigfaltigkeiten der Dimension 2 n 1 displaystyle 2n 1 nbsp lokal isomorph sind Damit gibt es auch in der Kontaktgeometrie nur globale Invarianten Komplexe Geometrie und Kahlergeometrie Bearbeiten Hauptartikel Komplexe Geometrie Komplexe Geometrie ist das Studium komplexer Mannigfaltigkeiten das heisst Mannigfaltigkeiten die lokal wie C n displaystyle mathbb C n nbsp aussehen und deren Ubergangsfunktionen komplex differenzierbar holomorph sind Wegen der analytischen Eigenschaften komplex differenzierbarer Funktionen hat man hier haufig Eindeutigkeitseigenschaften der Fortsetzung lokaler Funktionen Vektorfelder Deshalb ist man bei globalen Untersuchungen meist auf die Theorie der Garben angewiesen Eine fast komplexe Struktur auf einer glatten Mannigfaltigkeit ist eine Abbildung J T M T M displaystyle J colon TM to TM nbsp sodass J 2 1 displaystyle J 2 1 nbsp Damit sind alle fast komplexen Mannigfaltigkeiten von gerader Dimension Der Unterschied zwischen einer fast komplexen und einer komplexen Mannigfaltigkeit ist die Integrabilitat der fast komplexen Struktur Diese wird vom Nijenhuis Tensor N J displaystyle N J nbsp gemessen Eine hermitesche Mannigfaltigkeit ist eine komplexe Mannigfaltigkeit mit einer hermiteschen Metrik g displaystyle g nbsp auf dem komplexifizierten reellen Tangentialbundel Insbesondere muss g displaystyle g nbsp mit der komplexen Struktur J displaystyle J nbsp kompatibel sein namentlich g X Y g J X J Y displaystyle g X Y g JX JY nbsp fur alle X Y T x M displaystyle X Y in T x M nbsp Als besonders strukturreich haben sich Hermitesche Mannigfaltigkeiten erwiesen deren hermitesche Metrik zusatzlich kompatibel mit einer symplektischen Form sind d h g J X Y w X Y displaystyle g JX Y omega X Y nbsp mit d w 0 displaystyle d omega 0 nbsp In diesem Fall spricht man von einer Kahlermannigfaltigkeit Schliesslich befasst sich die Cauchy Riemann Geometrie mit berandeten komplexen Mannigfaltigkeiten Theorie der Lie Gruppen Bearbeiten So wie Gruppen auf Mengen basieren sind Mannigfaltigkeiten die Grundlage der Lie Gruppen Die nach Sophus Lie benannten Lie Gruppen treten an vielen Stellen der Mathematik und Physik als kontinuierliche Symmetriegruppen beispielsweise als Gruppen von Drehungen des Raumes auf Das Studium des Transformationsverhaltens von Funktionen unter Symmetrien fuhrt zur Darstellungstheorie der Lie Gruppen Globale Analysis Bearbeiten Die globale Analysis ist ebenfalls ein Teilgebiet der Differentialgeometrie das mit der Topologie eng verbunden ist Manchmal nennt man das Teilgebiet auch Analysis auf Mannigfaltigkeiten In diesem mathematischen Forschungsgebiet werden gewohnliche und partielle Differentialgleichungen auf differenzierbaren Mannigfaltigkeiten untersucht So finden in dieser Theorie lokale Methoden aus der Funktionalanalysis der mikrolokalen Analysis und der Theorie der partiellen Differentialgleichung und globale Methoden aus der Geometrie und Topologie Anwendung Da dieses mathematische Teilgebiet im Vergleich zu den anderen Teilgebieten der Differentialgeometrie sehr viele Methoden der Analysis verwendet wird es teilweise auch als Teilgebiet der Analysis verstanden Schon die ersten Arbeiten uber Differentialgleichungen enthielten Aspekte der globalen Analysis So sind die Studien von George David Birkhoff im Bereich der dynamischen Systeme und die Theorie der Geodaten von Harold Calvin Marston Morse fruhe Beispiele fur Methoden der globalen Analysis Zentrale Resultate dieses mathematischen Teilgebiets sind die Arbeiten von Michael Francis Atiyah Isadore M Singer und Raoul Bott 1 2 Besonders zu erwahnen sind hier der Atiyah Singer Indexsatz und der Atiyah Bott Fixpunktsatz welcher eine Verallgemeinerung des Lefschetz schen Fixpunktsatzes aus der Topologie ist 3 4 Methoden BearbeitenKoordinatentransformationen Bearbeiten Koordinatentransformationen sind ein wichtiges Werkzeug der Differentialgeometrie um die Anpassung einer Problemstellung an geometrische Objekte zu ermoglichen Sollen beispielsweise Abstande auf einer Kugeloberflache untersucht werden so werden meist Kugelkoordinaten verwendet Betrachtet man euklidische Abstande im Raum so verwendet man dagegen eher kartesische Koordinaten Mathematisch gesehen ist zu beachten dass Koordinatentransformationen stets bijektive beliebig oft stetig differenzierbare Abbildungen sind Es existiert also immer auch die Inverse zu der betrachteten Koordinatentransformation Ein einfaches Beispiel ist der Ubergang von kartesischen Koordinaten in der Ebene zu Polarkoordinaten Jeder Ortsvektor des zweidimensionalen euklidischen Raumes lasst sich bei dieser Darstellung durch die Koordinaten r 0 displaystyle r in 0 infty nbsp und ϕ 0 2 p displaystyle phi in 0 2 pi nbsp in der folgenden Weise ausdrucken r x y f r ϕ r cos ϕ r sin ϕ displaystyle vec mathbf r begin pmatrix x y end pmatrix vec f r phi begin pmatrix r cos phi r sin phi end pmatrix nbsp x displaystyle x nbsp und y displaystyle y nbsp werden dabei auch als Komponentenfunktionen von f displaystyle f nbsp bezeichnet Sie berechnen sich in Abhangigkeit von den zwei Koordinaten r ϕ displaystyle r phi nbsp gemass x r ϕ r cos ϕ y r ϕ r sin ϕ displaystyle x r phi r cos phi y r phi r sin phi nbsp Werden nun ganz allgemein alle Koordinaten des neuen Koordinatensystems bis auf eine Koordinate konstant gehalten und die einzelne Koordinate innerhalb des Definitionsbereiches verandert entstehen im euklidischen Raum Linien die auch als Koordinatenlinien bezeichnet werden Im Falle der angegebenen Polarkoordinaten entstehen so bei konstanter r displaystyle r nbsp Koordinate konzentrische Kreise mit Radius r displaystyle r nbsp um den Koordinatenursprung x y 0 0 displaystyle x y 0 0 nbsp des euklidischen Koordinatensystems Bei konstanter ϕ displaystyle phi nbsp Koordinate entstehen Halbgeraden die im Koordinatenursprung des euklidischen Koordinatensystems starten und nach r displaystyle r rightarrow infty nbsp laufen Mit Hilfe dieser Koordinatenlinien lasst sich in naheliegender Weise fur jeden Punkt P R 2 displaystyle P in mathbb R 2 nbsp des euklidischen Raumes ein neues raumlich gedrehtes und wieder rechtwinkliges Koordinatensystem definieren Man spricht daher bei Polarkoordinaten auch von rechtwinkligen Koordinaten Die Achsen des gedrehten Koordinatensystems sind dabei gerade die Tangenten an die Koordinatenlinien die durch den Punkt P displaystyle P nbsp laufen Die Basisvektoren dieser ortsabhangigen und rechtwinkligen Koordinatensysteme lassen sich dabei direkt uber die partiellen Ableitungen des Ortsvektors gemass der oben angegebenen Darstellung nach den variablen Koordinaten r ϕ displaystyle r phi nbsp berechnen Uber die partiellen Ableitungen lassen sich auch die totalen Differentiale des Ortsvektors angeben d x x r d r x ϕ d ϕ cos ϕ d r r sin ϕ d ϕ displaystyle mathrm d x frac partial x partial r mathrm d r frac partial x partial phi mathrm d phi cos phi mathrm d r r cdot sin phi mathrm d phi nbsp d y y r d r y ϕ d ϕ sin ϕ d r r cos ϕ d ϕ displaystyle mathrm d y frac partial y partial r mathrm d r frac partial y partial phi mathrm d phi sin phi mathrm d r r cdot cos phi mathrm d phi nbsp Die Differentiale d x d y d r d ϕ displaystyle mathrm d x mathrm d y mathrm d r mathrm d phi nbsp werden auch als Koordinatendifferentiale bezeichnet Bei diesem Beispiel haben die mit dem Differentialoperator d displaystyle mathrm d nbsp verknupften infinitesimalen Grossen nicht immer die Bedeutung eines Abstandes Man zeigt vielmehr relativ leicht dass fur die Abstande in radialer bzw azimutaler Richtung gilt dass zwar d l r d r displaystyle mathrm d l r mathrm d r nbsp ist aber d l ϕ r d ϕ displaystyle mathrm d l phi r cdot mathrm d phi nbsp d h erst mit dem Vorfaktor r displaystyle r nbsp ergibt sich durch Integration uber d F displaystyle mathrm d Phi nbsp von 0 bis 2 p displaystyle 2 pi nbsp eine bekannte Grosse der Dimension Lange namlich der Kreisumfang r 2 p displaystyle r cdot 2 pi nbsp Die Polarkoordinaten oder ihre dreidimensionale Verallgemeinerung die Kugelkoordinaten werden auch als krummlinig bezeichnet da sie die Abstandberechnung auf einer gekrummten Flache z B der Kugeloberflache ermoglichen Es handelt sich wie auch bei anderen Standardbeispielen etwa den Zylinderkoordinaten den elliptischen Koordinaten usw um orthogonale krummlinige Koordinaten siehe auch Krummlinige Koordinaten Ein wesentliches Hilfsmittel der klassischen Differentialgeometrie sind Koordinatentransformationen zwischen beliebigen Koordinaten um geometrische Strukturen beschreiben zu konnen Die aus der Analysis bekannten mit der Grosse displaystyle nabla nbsp gebildeten Differentialoperatoren konnen relativ leicht auf orthogonale krummlinige Differentialoperatoren erweitert werden Z B gelten in allgemeinen orthogonalen krummlinigen Koordinaten bei Benutzung dreier Parameter u i i 1 3 displaystyle u i i 1 dots 3 nbsp und der zugehorigen Einheitsvektoren e i displaystyle mathbf e i nbsp in Richtung von r u i displaystyle tfrac partial mathbf r partial u i nbsp folgende Beziehungen mit Grossen a i displaystyle a i nbsp die nicht notwendig konstant sind sondern von u 1 displaystyle u 1 nbsp u 2 displaystyle u 2 nbsp und u 3 displaystyle u 3 nbsp abhangen konnen d r i 1 3 d l i e i i 1 3 a i d u i e i d V a 1 d u 1 a 2 d u 2 a 3 d u 3 2 f 1 a 1 a 2 a 3 u 1 a 2 a 3 a 1 f u 1 displaystyle begin aligned mathrm d mathbf r amp sum limits i 1 3 rm d l i mathbf e i sum limits i 1 3 a i mathrm d u i mathbf e i rm d V amp a 1 mathrm d u 1 cdot a 2 mathrm d u 2 cdot a 3 mathrm d u 3 nabla 2 f amp frac 1 a 1 a 2 a 3 frac partial partial u 1 left frac a 2 a 3 a 1 frac partial f partial u 1 right cdots cdots end aligned nbsp Dabei entstehen die durch Punkte angedeuteten zwei weiteren Terme aus dem ersten Term durch zyklische Vertauschung der Indizes 2 displaystyle nabla 2 nbsp bezeichnet den Laplace Operator Er kann aus dem skalarwertigen div Operator und dem vektorwertigen grad Operator zusammengesetzt werden gemass 2 f div grad f displaystyle nabla 2 f operatorname div operatorname grad f nbsp wobei div v 1 a 1 a 2 a 3 a 2 a 3 v 1 u 1 grad f i 1 3 1 a i f u i e i displaystyle begin aligned operatorname div mathbf v amp frac 1 a 1 a 2 a 3 frac partial a 2 a 3 v 1 partial u 1 cdots cdots operatorname grad f amp sum limits i 1 3 frac 1 a i frac partial f partial u i mathbf e i end aligned nbsp Die Formel fur die Divergenz beruht auf der koordinatenunabhangigen Darstellung div v lim D V 0 1 D V D V v n d 2 A displaystyle operatorname div mathbf v lim Delta V to 0 Big frac 1 Delta V iint limits partial Delta V mathbf v cdot mathbf n rm d 2 A Big nbsp wobei uber die geschlossene D V displaystyle Delta V nbsp berandende Flache integriert wird n displaystyle mathbf n nbsp bezeichnet den zugehorigen aussere Normalenvektor d 2 A displaystyle rm d 2 A nbsp das zugehorige infinitesimale Flachenelement D V d V displaystyle Delta V to rm d V nbsp Im allgemeinsten Fall also fur nicht orthogonale krummlinige Koordinaten kann man diese Formel ebenfalls verwenden Kovariante Ableitung Bearbeiten Hauptartikel Zusammenhang Differentialgeometrie Allgemeine auf nicht notwendig orthogonalen krummlinigen Koordinaten beruhende Ableitungsoperatoren sind z B die kovarianten Ableitungen die u a in riemannschen Raumen verwendet werden wo sie in spezifischer Weise vom inneren Produkt d h von der sog metrischen Fundamentalform des Raumes abhangen In anderen Fallen sind sie aber unabhangig von der Existenz einer lokalen Metrik oder konnen sogar extern vorgegeben sein z B in Mannigfaltigkeiten mit Konnexion Sie ermoglichen u a die Definition von Verbindungslinien in gekrummten Raumen z B die Definition von Geodaten im riemannschen Raum Geodatische Linien sind die lokal kurzesten Verbindungen zwischen zwei Punkten in diesen Raumen Die Langenkreise auf einer Kugel sind Beispiele fur geodatische Linien nicht aber die Breitenkreise Ausnahme Aquator Mit Hilfe allgemeiner Koordinatentransformationen werden im riemannschen Raum und allgemeiner in Differentialgeometrien mit gegebenem Zusammenhang die Christoffelsymbole G a b m displaystyle Gamma alpha beta mu nbsp definiert Diese gehen entsprechend der unten gegebenen Basisdefinition explizit in die Berechnung der kovarianten Ableitung eines Vektorfeldes ein Die kovariante Ableitung ist eine Verallgemeinerung der partiellen Ableitung des flachen euklidischen Raumes fur gekrummte Raume Im Gegensatz zur partiellen Ableitung erhalt sie die Tensoreigenschaft im euklidischen Raum reduziert sie sich zur partiellen Ableitung Im gekrummten Raum sind die kovarianten Ableitungen eines Vektorfeldes im Allgemeinen nicht miteinander vertauschbar ihre Nichtvertauschbarkeit wird zur Definition des Riemann schen Krummungstensors verwendet Ein weiterer wichtiger Begriff im Zusammenhang mit gekrummten Raumen ist die Parallelverschiebung Die kovariante Ableitung der Komponenten eines Vektors ist bei Parallelverschiebung null Trotzdem kann die Parallelverschiebung eines Vektors entlang einer geschlossenen Kurve im gekrummten Raum dazu fuhren dass sich der verschobene Vektor nicht mit seinem Ausgangsvektor deckt Der zugehorige Formalismus beruht auf der Vorschrift dass man Vektoren v displaystyle mathbf v nbsp als Summe v a e a displaystyle v alpha mathbf e alpha nbsp schreibt wobei sich u U namlich gerade bei obigem Paralleltransport nicht die Komponenten v a displaystyle v alpha nbsp sondern nur die Basiselemente e a displaystyle mathbf e alpha nbsp andern und zwar nach der naheliegenden Regel d e a G a b m d x b e m displaystyle d mathbf e alpha Gamma alpha beta mu dx beta mathbf e mu nbsp Kovariante und partielle Ableitung meist mit Semikolon bzw Komma geschrieben sind also verschieden und zwar gilt v b m d x b v b m d x b G a b m v a d x b displaystyle v beta mu dx beta v beta mu dx beta Gamma alpha beta mu v alpha dx beta nbsp also v b m v b m G a b m v a displaystyle v beta mu v beta mu Gamma alpha beta mu v alpha nbsp oder auch b v m b v m G a b m v a displaystyle nabla beta v mu partial beta v mu Gamma alpha beta mu v alpha nbsp In Mannigfaltigkeiten mit Zusatzstruktur z B in riemannschen Mannigfaltigkeiten oder bei den sog Eichtheorien muss naturlich diese Struktur mit der Ubertragung vertraglich sein Das ergibt Zusatzbeziehungen fur die Christoffelsymbole Z B durfen sich bei riemannschen Raumen die Abstands und Winkelverhaltnisse zweier Vektoren bei Parallelverschiebung nicht andern und die Christoffelsymbole berechnen sich demzufolge in bestimmter Weise allein aus der metrischen Struktur Krummungstensor Bearbeiten Die oben erwahnte Raumkrummung ergibt sich analog Wenn man den Basisvektor e a displaystyle mathbf e alpha nbsp im mathematisch positivem Sinn entgegengesetzt zum Uhrzeigersinn erst eine infinitesimale Strecke d x b displaystyle rm d x beta nbsp in b displaystyle beta nbsp Richtung und anschliessend eine infinitesimale Strecke d x g displaystyle rm d x gamma nbsp in g displaystyle gamma nbsp Richtung verschiebt erhalt man ein Ergebnis das wir in der Form 1 2 D 2 K a displaystyle tfrac 1 2 Delta 2 K alpha nbsp schreiben konnen Bei Vertauschung der Reihenfolge also bei entgegengesetztem Drehsinn erhalt man das entgegengesetzte Ergebnis Die Differenz D 2 K a displaystyle Delta 2 K alpha nbsp lasst sich also mit einer Grosse R a b g l displaystyle R alpha beta gamma lambda nbsp die sich aus den Christoffelsymbolen ergibt in folgender Form schreiben D 2 K a R a b g l d x b d x g e l G a b m G m g l G a g m G m b l g G a b l b G g a l d x b d x g e l displaystyle begin aligned Delta 2 K alpha amp R alpha beta gamma lambda rm d x beta rm d x gamma mathbf e lambda amp equiv Gamma alpha beta mu Gamma mu gamma lambda Gamma alpha gamma mu Gamma mu beta lambda partial gamma Gamma alpha beta lambda partial beta Gamma gamma alpha lambda rm d x beta rm d x gamma mathbf e lambda end aligned nbsp Bei Parallelverschiebung des Vektors v displaystyle mathbf v nbsp ergibt sich entsprechend v l v l 1 2 R a b g l v a d x b d x g displaystyle v lambda to v lambda pm tfrac 1 2 R alpha beta gamma lambda v alpha rm d x beta rm d x gamma nbsp Die Komponenten R a b g l displaystyle R alpha beta gamma lambda nbsp bilden den Krummungstensor eine vektorwertige Differentialform In den sog Yang Mills Theorien wird dieser Begriff verallgemeinert indem z B vektorwertig durch Lie Algebra wertig ersetzt wird siehe auch Chernklassen Die Existenz des Krummungtensors setzt also insbesondere nicht voraus dass man es wie in der Physik mit metrischen oder pseudometrischen Raumen zu tun hat siehe oben sondern es wird fur die Struktur der Ubertragung nur die Affinitat vorausgesetzt Literatur BearbeitenElementare Differentialgeometrie Bearbeiten W Blaschke K Leichtweiss Elementare Differentialgeometrie Vorlesungen uber Differentialgeometrie 1 Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen 1 5 vollstandig neubearbeitete Auflage Springer Verlag Berlin u a 1973 ISBN 3 540 05889 3 Manfredo P do Carmo Differentialgeometrie von Kurven und Flachen Vieweg Studium Aufbaukurs Mathematik 55 Vieweg amp Sohn Braunschweig u a 1983 ISBN 3 528 07255 5 Christian Bar Elementare Differentialgeometrie de Gruyter Berlin u a 2001 ISBN 3 11 015519 2 Wolfgang Kuhnel Differentialgeometrie Kurven Flachen Mannigfaltigkeiten 4 uberarbeitete Auflage Friedr Vieweg amp Sohn Wiesbaden 2008 ISBN 978 3 8348 0411 2 Abstrakte Mannigfaltigkeiten Riemannsche Geometrie Bearbeiten Rolf Walter Differentialgeometrie 2 uberarbeitete und erweiterte Auflage BI Wissenschafts Verlag Mannheim u a 1989 ISBN 3 411 03216 2 Sigurdur Helgason Differential Geometry Lie Groups and Symmetric Spaces Graduate Studies in Mathematics 34 American Mathematical Society Providence RI 2001 ISBN 0 8218 2848 7 S Kobayashi Katsumi Nomizu Foundations of Differential Geometry Band 1 Interscience Tracts in Pure and Applied Mathematics 15 1 Interscience Publishers New York NY u a 1963 Pham Mau Quan Introduction a la geometrie des varietes differentiables Monographies universitaires de mathematiques 29 Dunod Paris 1969 Inhalt PDF 184 kB Differentialgeometrie der Defekte Bearbeiten Hagen Kleinert Gauge Fields in Condensed Matter Band 2 Stresses and Defects Differential Geometry Crystal Melting World Scientific Singapore u a 1989 ISBN 9971 5 0210 0 S 743 1456 Online Version Weblinks Bearbeiten nbsp Wikiversity Eine Einfuhrung in die Differentialgeometrie Kursmaterialien nbsp Wikibooks Differentialgeometrie Lern und Lehrmaterialien Literatur uber Differentialgeometrie im Katalog der Deutschen Nationalbibliothek Roberto Torretti Nineteenth Century Geometry In Edward N Zalta Hrsg Stanford Encyclopedia of Philosophy Einzelnachweise Bearbeiten Michael F Atiyah Raoul Bott A Lefschetz fixed point formula for elliptic differential operators In Bulletin of the American Mathematical Society Band 72 Nr 2 1966 S 245 250 doi 10 1090 S0002 9904 1966 11483 0 Richard S Palais Seminar on the Atiyah Singer index theorem Annals of Mathematics Studies 57 ISSN 0066 2313 Princeton University Press Princeton NJ 1965 Stephen Smale What is Global Analysis In The American Mathematical Monthly Band 76 Nr 1 1969 S 4 9 JSTOR 2316777 58 Global analysis analysis on manifolds In The mathematic atlas Archiviert vom Original am 4 Mai 2011 abgerufen am 4 September 2018 englisch Normdaten Sachbegriff GND 4012248 7 lobid OGND AKS Abgerufen von https de wikipedia org w index php title Differentialgeometrie amp oldid 235136804