Alexandrov-Raum

Aus testwiki
Zur Navigation springen Zur Suche springen

Alexandrov-Räume sind metrische Räume, die in der Differentialgeometrie und in der Topologie von wesentlicher Bedeutung sind. Ein Alexandrov-Raum ist ein vollständiger Längenraum mit unterer Krümmungschranke und endlicher Hausdorff-Dimension. Sie sind nach Alexander Danilowitsch Alexandrow benannt.

Definition

Ein metrischer Raum X heißt Längenraum, falls der Abstand je zweier Punkte in X gegeben ist durch das Infimum der Längen aller (stetigen) Kurven, die diese Punkte miteinander verbinden. Eine kürzeste Geodätische xy zwischen zwei Punkten x,yX ist eine nach Bogenlänge parametrisierte Kurve von x nach y, deren Länge mit dem Abstand |xy| dieser Punkte übereinstimmt.

Ein Dreieck x,y,z in einem Längenraum X wird bestimmt durch drei Punkte x,y,zX und drei kürzeste Geodätische xy,xz,yz. Bezeichnet für eine gegebene reelle Zahl κ das Symbol Sκ die zweidimensionale Fläche konstanter Krümmung κ, so versteht man unter einem (κ) Vergleichsdreieck für ein Dreieck xyzX ein Dreieck x~y~z~ in Sκ, dessen Seitenlängen mit den jeweiligen Seitenlängen des Dreiecks xyz übereinstimmen. Vergleichsdreiecke existieren und sind für κ0 oder für κ>0 und

|xy|+|yz|+|xz|<2πκ

bis auf Kongruenz eindeutig bestimmt.

Ein Längenraum X heißt Raum mit unterer Krümmungsschranke κ, oder kurz Raum mit Kκ, falls jeder Punkt xX eine Umgebung Ux besitzt, so dass für je vier Punkte a,b,c,dUx die Vergleichswinkel von a in den entsprechenden Vergleichsdreiecken in Sκ die folgende Ungleichung erfüllen:

~bac+~cad+~dab2π

Ist der Längenraum X eine eindimensionale Mannigfaltigkeit und κ>0, so verlangt man aus Konsistenzgründen zusätzlich, dass in diesem Fall der Durchmesser den Wert πκ nicht überschreitet. Es gilt dann in Verallgemeinerung der Sätze von Toponogov und Bonnet-Myers:

Der Durchmesser eines vollständigen Raumes mit Kκ>0 beträgt höchstens πκ.

Kehrt man in der obigen Ungleichung das Ungleichheitszeichen um, erhält man die Definition eines Raumes mit oberer Krümmungsschranke Kκ. Ist X ein Raum mit Kκ und vollständig, so gilt die obige Ungleichung global, also für beliebige (verschiedene) Punkte a,b,c,dX.

Für lokalkompakte Räume stimmt die oben gegebene Definition von Kκ mit der üblichen Abstandsvergleichsdefinition überein, nach der ein lokalkompakter Längenraum X ein Raum mit unterer Krümmungsschranke κ ist, falls jeder Punkt xX eine Umgebung Ux besitzt, so dass für jedes Dreieck xyz in Ux und je zwei Punkte y0xy,z0xz die Abstandsgleichung

|y0z0||y0~z0~|

erfüllt ist, wobei y0~ und z0~ den Punkten y0 und z0 entsprechende Punkte im zum Dreieck xyz korrespondierenden κ-Vergleichsdreieck bezeichnen.

Erste Beispiele von Räumen mit Kκ sind gegeben durch Riemannsche Mannigfaltigkeiten mit Schnittkrümmung Secκ sowie Quotienten von Räumen mit Kκ im allgemeinen metrische und/oder topologische Singularitäten auf (?).

Oftmals bezeichnet man Räume mit einer unteren Krümmungsschranke Kκ synonym auch als Alexandrov-Räume.

(Definition zitiert aus [1], s. auch Weblink)

Besonderes

Jeder Punkt eines Alexandrov-Raumes besitzt eine offene Umgebung, welche zum Tangentialkegel dieses Punktes homöomorph ist. Ferner gilt: Ein Alexandrov-Raum besitzt eine Stratifikation in topologische Mannigfaltigkeiten. Die Strata der Dimension l bestehen aus den Punkten, deren Tangentialkegel homöomorph ist zum Produkt eines Kegels mit einem euklidischen Raum k einer Dimension kl.

Literatur

  • Jonathan Alze: Vorlage:Webarchiv, Diplomarbeit 2002, mathematik.uni-muenchen.de
  • Martin Weilandt: Isospectral Alexandrov Spaces. (online)

Einzelnachweise

  1. Wilderich Tuschmann: Endlichkeitssätze und positive Krümmung Habilitationsschrift Max-Planck-Institut für Mathematik, Leipzig 2000, S. 18–19.