Alexandrov-Raum
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 <math>X</math> heißt Längenraum, falls der Abstand je zweier Punkte in <math>X</math> gegeben ist durch das Infimum der Längen aller (stetigen) Kurven, die diese Punkte miteinander verbinden. Eine kürzeste Geodätische <math>\overline{xy}</math> zwischen zwei Punkten <math>x,y\in X </math> ist eine nach Bogenlänge parametrisierte Kurve von <math>x</math> nach <math>y</math>, deren Länge mit dem Abstand <math>|xy|</math> dieser Punkte übereinstimmt.
Ein Dreieck <math>x,y,z</math> in einem Längenraum <math>X</math> wird bestimmt durch drei Punkte <math>x,y,z\in X</math> und drei kürzeste Geodätische <math>\overline{xy},\overline{xz},\overline{yz}</math>. Bezeichnet für eine gegebene reelle Zahl <math>\kappa</math> das Symbol <math>S_\kappa</math> die zweidimensionale Fläche konstanter Krümmung <math>\kappa</math>, so versteht man unter einem <math>(\kappa -)</math> Vergleichsdreieck für ein Dreieck <math>xyz\in X</math> ein Dreieck <math>\tilde{x}\tilde{y}\tilde{z}</math> in <math>S_\kappa</math>, dessen Seitenlängen mit den jeweiligen Seitenlängen des Dreiecks <math>xyz</math> übereinstimmen. Vergleichsdreiecke existieren und sind für <math>\kappa\le 0</math> oder für <math>\kappa>0</math> und
<math> |xy|+|yz|+|xz|<\frac{2\pi}{\sqrt{\kappa}} </math>
bis auf Kongruenz eindeutig bestimmt.
Ein Längenraum <math>X</math> heißt Raum mit unterer Krümmungsschranke <math>\kappa</math>, oder kurz Raum mit <math>K\geq \kappa</math>, falls jeder Punkt <math>x\in X</math> eine Umgebung <math>U_x</math> besitzt, so dass für je vier Punkte <math>a,b,c,d\in U_x</math> die Vergleichswinkel von <math> a </math> in den entsprechenden Vergleichsdreiecken in <math>S_\kappa</math> die folgende Ungleichung erfüllen:
<math> \tilde{\measuredangle}bac+\tilde{\measuredangle}cad+\tilde{\measuredangle}dab\le 2\pi </math>
Ist der Längenraum <math>X</math> eine eindimensionale Mannigfaltigkeit und <math>\kappa>0</math>, so verlangt man aus Konsistenzgründen zusätzlich, dass in diesem Fall der Durchmesser den Wert <math>\frac{\pi}{\sqrt{\kappa}}</math> nicht überschreitet. Es gilt dann in Verallgemeinerung der Sätze von Toponogov und Bonnet-Myers:
Der Durchmesser eines vollständigen Raumes mit <math>K\geq \kappa>0</math> beträgt höchstens <math>\frac{\pi}{\sqrt{\kappa}}</math>.
Kehrt man in der obigen Ungleichung das Ungleichheitszeichen um, erhält man die Definition eines Raumes mit oberer Krümmungsschranke <math>K\le \kappa</math>. Ist <math> X</math> ein Raum mit <math>K\leq\kappa</math> und vollständig, so gilt die obige Ungleichung global, also für beliebige (verschiedene) Punkte <math>a,b,c,d\in X</math>.
Für lokalkompakte Räume stimmt die oben gegebene Definition von <math>K\leq\kappa</math> mit der üblichen Abstandsvergleichsdefinition überein, nach der ein lokalkompakter Längenraum <math> X</math> ein Raum mit unterer Krümmungsschranke <math>\kappa</math> ist, falls jeder Punkt <math>x\in X</math> eine Umgebung <math>U_x</math> besitzt, so dass für jedes Dreieck <math> xyz</math> in <math>U_x</math> und je zwei Punkte <math>y_0\in\overline{xy},z_0\in\overline{xz}</math> die Abstandsgleichung
<math> |y_0z_0|\leq |\tilde{y_0}\tilde{z_0}| </math>
erfüllt ist, wobei <math>\tilde{y_0}</math> und <math>\tilde{z_0}</math> den Punkten <math>y_0</math> und <math>z_0</math> entsprechende Punkte im zum Dreieck <math>xyz</math> korrespondierenden <math>\kappa</math>-Vergleichsdreieck bezeichnen.
Erste Beispiele von Räumen mit <math>K\leq\kappa</math> sind gegeben durch Riemannsche Mannigfaltigkeiten mit Schnittkrümmung <math> Sec\leq \kappa</math> sowie Quotienten von Räumen mit <math>K\leq\kappa</math> im allgemeinen metrische und/oder topologische Singularitäten auf (?).
Oftmals bezeichnet man Räume mit einer unteren Krümmungsschranke <math>K\leq \kappa</math> synonym auch als Alexandrov-Räume.
(Definition zitiert aus<ref>Wilderich Tuschmann: Endlichkeitssätze und positive Krümmung Habilitationsschrift Max-Planck-Institut für Mathematik, Leipzig 2000, S. 18–19.</ref>, 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 <math>l</math> bestehen aus den Punkten, deren Tangentialkegel homöomorph ist zum Produkt eines Kegels mit einem euklidischen Raum <math>\mathbb{R}^k</math> einer Dimension <math>k\le l</math>.
Literatur
- Jonathan Alze: <templatestyles src="Webarchiv/styles.css" />{{#if:20070610184735
| {{#ifeq: 20070610184735 | *
| {{#if: Hyperbolische Dehnchirurgie | {{#invoke:WLink|getEscapedTitle|Hyperbolische Dehnchirurgie}} | {{#invoke:Webarchiv|getdomain|http://www.mathematik.uni-muenchen.de/~jonathan/diplom/hdc_hyperref.pdf}} }} (Archivversionen)
| {{#iferror: {{#time: j. F Y|20070610184735}}
| {{#if: || }}Der Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
| {{#if: Hyperbolische Dehnchirurgie | {{#invoke:WLink|getEscapedTitle|Hyperbolische Dehnchirurgie}} | {{#invoke:Webarchiv|getdomain|http://www.mathematik.uni-muenchen.de/~jonathan/diplom/hdc_hyperref.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y|20070610184735}} im Internet Archive{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
}}
| {{#if:
| {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
| {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
| 16= {{#if: Hyperbolische Dehnchirurgie | {{#invoke:WLink|getEscapedTitle|Hyperbolische Dehnchirurgie}} | {{#invoke:Webarchiv|getdomain|http://www.mathematik.uni-muenchen.de/~jonathan/diplom/hdc_hyperref.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| 9 = {{#if: Hyperbolische Dehnchirurgie | {{#invoke:WLink|getEscapedTitle|Hyperbolische Dehnchirurgie}} | {{#invoke:Webarchiv|getdomain|http://www.mathematik.uni-muenchen.de/~jonathan/diplom/hdc_hyperref.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!{{#if: || }}
}}
| c|{{{webciteID}}}}} {{#if: Hyperbolische Dehnchirurgie | {{#invoke:WLink|getEscapedTitle|Hyperbolische Dehnchirurgie}} | {{#invoke:Webarchiv|getdomain|http://www.mathematik.uni-muenchen.de/~jonathan/diplom/hdc_hyperref.pdf}} }} ({{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
| {{#if:
| Vorlage:Webarchiv/Today
| {{#if:
| Vorlage:Webarchiv/Generisch
| {{#if: Hyperbolische Dehnchirurgie | {{#invoke:WLink|getEscapedTitle|Hyperbolische Dehnchirurgie}} | {{#invoke:Webarchiv|getdomain|http://www.mathematik.uni-muenchen.de/~jonathan/diplom/hdc_hyperref.pdf}} }}
}}}}}}}}{{#if:
| Vorlage:Webarchiv/archiv-bot
}}{{#invoke:TemplatePar|check
|all = url=
|opt = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
|cat = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
|errNS = 0
|template = Vorlage:Webarchiv
|format = *
|preview = 1
}}{{#ifexpr: {{#if:20070610184735|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
}}{{#if:
| {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
| web.archive.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}}
| webcitation.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}}
| archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
}}{{#if:
| {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
| }}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
}}
| {{#if:
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
}}
}}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.mathematik.uni-muenchen.de/~jonathan/diplom/hdc_hyperref.pdf}}
|| {{#if: || }}
}}{{#if: Hyperbolische Dehnchirurgie
| {{#if: {{#invoke:WLink|isBracketedLink|Hyperbolische Dehnchirurgie}}
| {{#if: || }}
}}
| {{#if: || }}
}}{{#switch:
|addlarchives|addlpages= {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
}}{{#ifeq: {{#invoke:Str|find|http://www.mathematik.uni-muenchen.de/~jonathan/diplom/hdc_hyperref.pdf%7Carchiv}} |-1
|| {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.mathematik.uni-muenchen.de/~jonathan/diplom/hdc_hyperref.pdf%7C4}}%7Chttp}} |-1
|| {{#switch: {{#invoke:Webarchiv|getdomain|http://www.mathematik.uni-muenchen.de/~jonathan/diplom/hdc_hyperref.pdf }}
| abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org =
| #default = {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
}}
}}
}}, Diplomarbeit 2002, mathematik.uni-muenchen.de
- Martin Weilandt: Isospectral Alexandrov Spaces. (online)
Weblinks
Einzelnachweise
<references />