Beltrami-Klein-Modell

In der Geometrie versteht man unter dem Beltrami-Klein-Modell ein Modell der hyperbolischen Ebene.<ref>Die endliche Geometrie kennt ebenfalls hyperbolische Ebenen – vgl. etwa {{#invoke:Vorlage:Literatur|f}} – welche jedoch in dem vorliegenden Artikel nicht gemeint sind.</ref> Es ist eines der Standardbeispiele einer nicht-euklidischen Geometrie und geht auf den italienischen Mathematiker Eugenio Beltrami (1835–1900) und den deutschen Mathematiker Felix Klein (1849–1925) zurück.<ref>{{#invoke:Vorlage:Literatur|f}}</ref><ref>{{#invoke:Vorlage:Literatur|f}}</ref><ref>Knörrer: S. 148–153, 364.</ref> Im deutschen Sprachraum wird das Modell oft einfach als Kleinsches Modell bezeichnet;<ref>{{#invoke:Vorlage:Literatur|f}}</ref><ref name="S194">Filler: S. 194.</ref> manchmal auch als Modell von Cayley und Klein,<ref name="S194" /> wobei die letztere Bezeichnung der Tatsache Rechnung trägt, dass die Entwicklung des Modells durch Felix Klein neben den Untersuchungen von Eugenio Beltrami in besonderem Maße auch Ergebnisse von Arthur Cayley (1821–1895) berücksichtigt.<ref>Siehe Einleitung der Originalarbeit von Felix Klein ({{#invoke:Vorlage:Literatur|f}}) sowie Baldus: S. 146.</ref> Populär wird das Beltrami-Klein-Modell von einzelnen Autoren auch Bierdeckelgeometrie genannt.<ref>{{#invoke:Vorlage:Literatur|f}}</ref><ref>{{#invoke:Vorlage:Literatur|f}}</ref> In Beltramis Definition handelt es sich um eine Realisierung der hyperbolischen Ebene als Riemannsche Mannigfaltigkeit, während Cayley und Klein das Modell als Teilmenge der projektiven Ebene betrachteten. Ende des 19. Jahrhunderts stellte David Hilbert ein Axiomensystem der Geometrie auf, für welches die Cayley-Klein-Ebene ebenfalls ein Modell ist.

Axiomatischer Zugang nach Hilbert

Hilberts Axiomensystem der euklidischen Geometrie<ref>David Hilbert: Grundlagen der Geometrie. Leipzig 1899, mit zahlreichen Neuauflagen, zuletzt 14. Auflage bei Teubner, Stuttgart 1999, ISBN 3-519-00237-X; {{#if:grunddergeovon00hilbrich

    |[https://archive.org/{{#switch:
    |DL=download
    |DS=stream
    |#default=details}}/{{#if:trim|grunddergeovon00hilbrich}}{{#if:  | /{{{Fragment}}} | {{#if:  | /page/{{{Blatt}}}/mode/{{#if:{{#if:|{{#invoke:TemplUtl|faculty|{{{doppelseitig}}}}}}}|2|1}}up{{#if:|/search/%7B%7B%7BHervorhebung%7D%7D%7D}} | {{#ifeq: {{#if:  | {{{Ausgabe}}} | ST}}@{{#if:  | {{{Typ}}} | T}} | ST@T | /mode/1up }} }} }} {{#if:|{{#if:trim|{{{2}}}}}|{{#if:| {{#if:|{{{Fundstelle}}}|Textarchiv – Internet Archive}} | archive.org}}}}]{{#if:| ({{#if: 
           | {{#switch: {{{FORMAT}}}
               |PDF=PDF
               |DJVU=DjVu
               |MP3=MP3
               |MP4=MP4
               |OGG=Ogg
               |#default={{{Format}}}}};  }}{{{KBytes}}} kB)}}{{#if: | im {{#switch:-
    |A=Audioarchiv – Internet Archive
    |B
    |I=Bildarchiv – Internet Archive
    |F
    |M=Videoarchiv – Internet Archive
    |S=Softwarearchiv – Internet Archive
    |T=Textarchiv – Internet Archive
    |-=
    |#default=Unbekannter Parameterwert Typ={{{Typ}}}  }} |{{#if:| – Internet Archive| }} }} }}{{#invoke:TemplatePar|match
    |1=1=/[^#%s]+/
    |2=2=*
    |3=Typ=/[TABIFMS%-]?/
    |4=Fragment=/[^#%s]*/
    |5=Blatt=/[^#%s]*/
    |6=Hervorhebung=*
    |7=Ausgabe=/[DSds]?[TSLto]?%l*/
    |8=Fundstelle=/%d*/
    |9=doppelseitig=/%a*/
    |10=Format=/%u*/
    |11=KBytes=/%d*/
    |format=@@@
    |template=Vorlage:archive.org
    |cat=Wikipedia:Vorlagenfehler/Vorlage:archive.org
    |errNS=0
  }} (Ausgabe von 1903).</ref> führt die Konzepte „Punkt“, „Gerade“, „inzident“, „zwischen“ und „kongruent“ als undefinierte Begriffe ein und formulierte für diese 20 Axiome, darunter das Parallelenaxiom. (Hilberts Axiomensystem baute auf den ursprünglichen Postulaten Euklids sowie Vorarbeiten von Hermann Graßmann, Moritz Pasch, Giuseppe Peano und anderen auf.)

In Hilberts Axiomensystem der hyperbolischen Geometrie wird das Parallelenaxiom ersetzt durch das Axiom, dass es durch einen Punkt außerhalb einer Geraden beliebig viele Parallelen gibt. Ein Modell dieses Axiomensystems liefert die folgende aus dem Beltrami-Klein-Modell abgeleitete Konstruktion:<ref>Hilbert / Cohn-Vossen: S. 214.</ref><ref>Karzel et al.: S. 184–187.</ref><ref>Knörrer: S. 149.</ref><ref>Nöbeling: S. 19.</ref>

Die zugrunde liegende Punktmenge ist die Menge der inneren Punkte einer Kreisscheibe der euklidischen Ebene.
Die zugrunde liegende Geradenmenge besteht aus allen innerhalb der offenen Kreisscheibe gelegenen Sehnen.<ref>Es wird also von jeder Sekante durch die Kreisscheibe jeweils das innerhalb gelegene Segment unter Ausschluss der auf der Kreislinie gelegenen beiden Sekantenpunkte betrachtet.</ref>
Die Inzidenzrelation zwischen Punkten und Geraden und die geometrische Anordnung (Zwischen-Relation) werden von der euklidischen Ebene übernommen.
Die Kongruenzrelation wird mit Hilfe des hyperbolischen Abstandes

definiert, wobei die Betragsstriche für euklidische Abstände stehen und <math>a,b</math> die Schnittpunkte der Geraden durch <math>p,q</math> mit dem Rand der Kreisscheibe sind. (Diese Metrik ist ein spezielles Beispiel einer Hilbert-Metrik.)

Beltramis Modell als Riemannsche Mannigfaltigkeit

In seiner 1868 veröffentlichten Arbeit<ref>Eugenio Beltrami: Saggio di interpretazione della geometria non-euclidea. Giornale Matemat. 6 (1868), 284–312</ref> betrachtete Beltrami zunächst das (heute kaum noch gebräuchliche) hemisphärische Modell der hyperbolischen Ebene – das ist die Menge

<math>\left\{(x,y,z)\in\mathbb R^3: x^2+y^2+z^2=1, z>0\right\}</math>

mit der durch

definierten Riemannschen Metrik – und stellte dann fest, dass man durch orthogonale Projektion auf die Kreisscheibe

<math>\left\{(x,y)\in\mathbb R^2: x^2+y^2<1\right\}</math>

ein weiteres Modell der hyperbolischen Ebene erhält, in welchem die Geraden gerade Geradenstücke der euklidischen Ebene sind.<ref>Milnor, John: Hyperbolic geometry: the first 150 years. Bull. Amer. Math. Soc. (N.S.) 6 (1982), no. 1, 9–24.</ref> Die offene Kreisscheibe – mit der Riemannschen Metrik, welche die Projektion von der Hemisphäre zu einer Isometrie macht – ist die heute als Beltrami-Klein-Modell bezeichnete Riemannsche Mannigfaltigkeit.

Das Beltrami-Klein Modell im Erlanger Programm

Das Beltrami-Klein-Modell kam bereits 1859 in einer Arbeit Cayleys zur projektiven Geometrie vor, allerdings ohne Herstellung des Zusammenhangs zur hyperbolischen Geometrie. Beltrami wie auch Klein erkannten, dass mit diesem Modell die hyperbolische Geometrie als Teil der projektiven Geometrie aufgefasst werden kann:<ref>John Stillwell: Sources of hyperbolic geometry. In: History of Mathematics. 10. American Mathematical Society, Providence RI; London Mathematical Society, London 1996, ISBN 0-8218-0529-0, x+153 S.</ref> wenn man das Beltrami-Klein-Modell als Teilmenge des <math>\mathbb R^2\subset \mathbb RP^2=\mathbb R^2\cup\mathbb RP^1</math> betrachtet, dann sind die Isometrien des Beltrami-Klein-Modells Einschränkungen projektiver Abbildungen, welche die Kreisscheibe auf sich abbilden.

Zur Bedeutung des Beltrami-Klein-Modells

Im Beltrami-Klein-Modell ist das euklidische Parallelenaxiom nicht erfüllt, jedoch alle anderen Axiome der euklidischen Ebene. Da nun das Beltrami-Klein-Modell mittels Strukturelementen der euklidischen Ebene widerspruchsfrei entwickelt wurde, ist mit den Worten des Mathematikers Richard Baldus (Geometer und 1933–34 Präsident der DMV) folgende zusammenfassende Feststellung zu treffen:

{{#ifeq: {{{vor}}}@@-@@{{{nach}}} | -@@-@@- | {{#if:trim|Man kann aus der Euklidischen Geometrie beweisen, daß es nicht möglich ist, die Aussage des Euklidischen Parallelenaxioms aus den übrigen Axiomen der Euklidischen Geometrie als Satz abzuleiten.
Damit ist … die Lösung des uralten Rätsels des Euklidischen Parallelenaxioms gegeben. Sie rechtfertigt Euklid, der in genialer Weise die Notwendigkeit seines V. Postulats gefühlt hat.}} | {{#ifeq: {{#if:|{{{vor}}}|@#@}}{{#if:|{{{nach}}}|@#@}} | @#@@#@ | {{#ifeq: de | de | „{{#if:trim|Man kann aus der Euklidischen Geometrie beweisen, daß es nicht möglich ist, die Aussage des Euklidischen Parallelenaxioms aus den übrigen Axiomen der Euklidischen Geometrie als Satz abzuleiten.
Damit ist … die Lösung des uralten Rätsels des Euklidischen Parallelenaxioms gegeben. Sie rechtfertigt Euklid, der in genialer Weise die Notwendigkeit seines V. Postulats gefühlt hat.}}“ | {{#invoke:Text|quoteUnquoted| Man kann aus der Euklidischen Geometrie beweisen, daß es nicht möglich ist, die Aussage des Euklidischen Parallelenaxioms aus den übrigen Axiomen der Euklidischen Geometrie als Satz abzuleiten.
Damit ist … die Lösung des uralten Rätsels des Euklidischen Parallelenaxioms gegeben. Sie rechtfertigt Euklid, der in genialer Weise die Notwendigkeit seines V. Postulats gefühlt hat. | {{{lang}}} }} }} | {{#ifeq: {{#if:|{{{vor}}}|-}} | - | „ | {{{vor}}} }}{{#if:trim|Man kann aus der Euklidischen Geometrie beweisen, daß es nicht möglich ist, die Aussage des Euklidischen Parallelenaxioms aus den übrigen Axiomen der Euklidischen Geometrie als Satz abzuleiten.
Damit ist … die Lösung des uralten Rätsels des Euklidischen Parallelenaxioms gegeben. Sie rechtfertigt Euklid, der in genialer Weise die Notwendigkeit seines V. Postulats gefühlt hat.}}{{ #ifeq: {{#if:|{{{nach}}}|-}} | - | “ | {{{nach}}} }} }} }}{{ #if: || <ref>Richard Baldus: Nichteuklidische Geometrie. Hyperbolische Geometrie der Ebene. Walter de Gruyter, Berlin 1964, S. 66.</ref> }}

{{#if:

|

„{{{Latn}}}“{{#if: || <ref>Richard Baldus: Nichteuklidische Geometrie. Hyperbolische Geometrie der Ebene. Walter de Gruyter, Berlin 1964, S. 66.</ref> }}

}}{{#if:

|

„{{{de}}}“{{#if: || <ref>Richard Baldus: Nichteuklidische Geometrie. Hyperbolische Geometrie der Ebene. Walter de Gruyter, Berlin 1964, S. 66.</ref> }}

}}

{{#if: |

– <templatestyles src="Person/styles.css" />{{#if:|{{{4}}} |}}{{#if:|{{{2}}} |}}{{#if:| {{{3}}} |}}{{#if:| „{{{6}}}“ |}}{{#if:trim|{{{Autor}}}}}{{#if:| {{{5}}}|}}{{#if: | : {{#if:trim|}} }}<ref>Richard Baldus: Nichteuklidische Geometrie. Hyperbolische Geometrie der Ebene. Walter de Gruyter, Berlin 1964, S. 66.</ref>

|{{#if:

|

– {{#if:trim|}}<ref>Richard Baldus: Nichteuklidische Geometrie. Hyperbolische Geometrie der Ebene. Walter de Gruyter, Berlin 1964, S. 66.</ref>

}}

}}

{{#if: <ref>Richard Baldus: Nichteuklidische Geometrie. Hyperbolische Geometrie der Ebene. Walter de Gruyter, Berlin 1964, S. 66.</ref> |

{{#if: {{#invoke:Text|unstrip|<ref>Richard Baldus: Nichteuklidische Geometrie. Hyperbolische Geometrie der Ebene. Walter de Gruyter, Berlin 1964, S. 66.</ref>}}

        | Vorlage:Zitat: Ungültiger Wert: ref=}} }}{{#if: Man kann aus der Euklidischen Geometrie beweisen, daß es nicht möglich ist, die Aussage des Euklidischen Parallelenaxioms aus den übrigen Axiomen der Euklidischen Geometrie als Satz abzuleiten.
Damit ist … die Lösung des uralten Rätsels des Euklidischen Parallelenaxioms gegeben. Sie rechtfertigt Euklid, der in genialer Weise die Notwendigkeit seines V. Postulats gefühlt hat. | {{
   #if:  | {{#if: Man kann aus der Euklidischen Geometrie beweisen, daß es nicht möglich ist, die Aussage des Euklidischen Parallelenaxioms aus den übrigen Axiomen der Euklidischen Geometrie als Satz abzuleiten.
Damit ist … die Lösung des uralten Rätsels des Euklidischen Parallelenaxioms gegeben. Sie rechtfertigt Euklid, der in genialer Weise die Notwendigkeit seines V. Postulats gefühlt hat. |
   Vorlage:Zitat: Doppelangabe 1=Text=}}

}}| Vorlage:Zitat: Kein Text }}{{#if: | {{#if: |

   Vorlage:Zitat: Doppelangabe 2=Autor=}}

}}{{#if: | {{#if: |

   Vorlage:Zitat: Doppelangabe 3=Quelle=}}

}}{{#if: | {{#if: |

   Vorlage:Zitat: Doppelangabe Umschrift=Latn=}}

}}{{#if: | {{#if: |

   Vorlage:Zitat: Doppelangabe Sprache=lang=}}

}}{{#if: | {{#if: |

   Vorlage:Zitat: Doppelangabe Übersetzung=de=}}

}}

Der Logiker und Wissenschaftstheoretiker Godehard Link kommentiert dazu folgendes:

{{#ifeq: {{{vor}}}@@-@@{{{nach}}} | -@@-@@- | {{#if:trim|Nicht-euklidische Geometrien sind genau von dieser Art: sie sind Modelle der Kernaxiome, die zugleich das Parallelenaxiom falsch machen. Zu Beginn des 19. Jahrhunderts wurden solche Geometrien gefunden.<ref>Tatsächlich wurden erst 1868 von Beltrami hyperbolische Geometrien gefunden. Ab Ende der 1820er Jahre hatten Lobatschewski und andere weitreichende Folgerungen der Axiome der hyperbolischen Geometrie ausgearbeitet, aber kein Modell gefunden und damit auch die Widerspruchsfreiheit der hyperbolischen Geometrie nicht bewiesen.</ref> Sie beruhen auf einer radikalen Uminterpretation der anschaulichen Bedeutung geometrischer Begriffe. Dennoch kann man sich auch diese Geometrien veranschaulichen, indem man ihre Axiome mit Hilfe der derart umgedeuteten Begriffe in der klassischen ebenen Geometrie darstellt. Wiederum modern gesprochen, interpretiert man die nicht-euklidische Geometrie in der euklidischen Geometrie. … Im Fall der Geometrie kann man das Verfahren der Interpretation etwa durch das sogenannte Kleinsche Modell der hyperbolischen Geometrie innerhalb einer euklidischen Ebene illustrieren.}} | {{#ifeq: {{#if:|{{{vor}}}|@#@}}{{#if:|{{{nach}}}|@#@}} | @#@@#@ | {{#ifeq: de | de | „{{#if:trim|Nicht-euklidische Geometrien sind genau von dieser Art: sie sind Modelle der Kernaxiome, die zugleich das Parallelenaxiom falsch machen. Zu Beginn des 19. Jahrhunderts wurden solche Geometrien gefunden.<ref>Tatsächlich wurden erst 1868 von Beltrami hyperbolische Geometrien gefunden. Ab Ende der 1820er Jahre hatten Lobatschewski und andere weitreichende Folgerungen der Axiome der hyperbolischen Geometrie ausgearbeitet, aber kein Modell gefunden und damit auch die Widerspruchsfreiheit der hyperbolischen Geometrie nicht bewiesen.</ref> Sie beruhen auf einer radikalen Uminterpretation der anschaulichen Bedeutung geometrischer Begriffe. Dennoch kann man sich auch diese Geometrien veranschaulichen, indem man ihre Axiome mit Hilfe der derart umgedeuteten Begriffe in der klassischen ebenen Geometrie darstellt. Wiederum modern gesprochen, interpretiert man die nicht-euklidische Geometrie in der euklidischen Geometrie. … Im Fall der Geometrie kann man das Verfahren der Interpretation etwa durch das sogenannte Kleinsche Modell der hyperbolischen Geometrie innerhalb einer euklidischen Ebene illustrieren.}}“ | {{#invoke:Text|quoteUnquoted| Nicht-euklidische Geometrien sind genau von dieser Art: sie sind Modelle der Kernaxiome, die zugleich das Parallelenaxiom falsch machen. Zu Beginn des 19. Jahrhunderts wurden solche Geometrien gefunden.<ref>Tatsächlich wurden erst 1868 von Beltrami hyperbolische Geometrien gefunden. Ab Ende der 1820er Jahre hatten Lobatschewski und andere weitreichende Folgerungen der Axiome der hyperbolischen Geometrie ausgearbeitet, aber kein Modell gefunden und damit auch die Widerspruchsfreiheit der hyperbolischen Geometrie nicht bewiesen.</ref> Sie beruhen auf einer radikalen Uminterpretation der anschaulichen Bedeutung geometrischer Begriffe. Dennoch kann man sich auch diese Geometrien veranschaulichen, indem man ihre Axiome mit Hilfe der derart umgedeuteten Begriffe in der klassischen ebenen Geometrie darstellt. Wiederum modern gesprochen, interpretiert man die nicht-euklidische Geometrie in der euklidischen Geometrie. … Im Fall der Geometrie kann man das Verfahren der Interpretation etwa durch das sogenannte Kleinsche Modell der hyperbolischen Geometrie innerhalb einer euklidischen Ebene illustrieren. | {{{lang}}} }} }} | {{#ifeq: {{#if:|{{{vor}}}|-}} | - | „ | {{{vor}}} }}{{#if:trim|Nicht-euklidische Geometrien sind genau von dieser Art: sie sind Modelle der Kernaxiome, die zugleich das Parallelenaxiom falsch machen. Zu Beginn des 19. Jahrhunderts wurden solche Geometrien gefunden.<ref>Tatsächlich wurden erst 1868 von Beltrami hyperbolische Geometrien gefunden. Ab Ende der 1820er Jahre hatten Lobatschewski und andere weitreichende Folgerungen der Axiome der hyperbolischen Geometrie ausgearbeitet, aber kein Modell gefunden und damit auch die Widerspruchsfreiheit der hyperbolischen Geometrie nicht bewiesen.</ref> Sie beruhen auf einer radikalen Uminterpretation der anschaulichen Bedeutung geometrischer Begriffe. Dennoch kann man sich auch diese Geometrien veranschaulichen, indem man ihre Axiome mit Hilfe der derart umgedeuteten Begriffe in der klassischen ebenen Geometrie darstellt. Wiederum modern gesprochen, interpretiert man die nicht-euklidische Geometrie in der euklidischen Geometrie. … Im Fall der Geometrie kann man das Verfahren der Interpretation etwa durch das sogenannte Kleinsche Modell der hyperbolischen Geometrie innerhalb einer euklidischen Ebene illustrieren.}}{{ #ifeq: {{#if:|{{{nach}}}|-}} | - | “ | {{{nach}}} }} }} }}{{ #if: || <ref>Godehard Link: Collegium Logicum. Mentis, Paderborn 2009.</ref> }}

{{#if:

|

„{{{Latn}}}“{{#if: || <ref>Godehard Link: Collegium Logicum. Mentis, Paderborn 2009.</ref> }}

}}{{#if:

|

„{{{de}}}“{{#if: || <ref>Godehard Link: Collegium Logicum. Mentis, Paderborn 2009.</ref> }}

}}

{{#if: |

– <templatestyles src="Person/styles.css" />{{#if:|{{{4}}} |}}{{#if:|{{{2}}} |}}{{#if:| {{{3}}} |}}{{#if:| „{{{6}}}“ |}}{{#if:trim|{{{Autor}}}}}{{#if:| {{{5}}}|}}{{#if: | : {{#if:trim|}} }}<ref>Godehard Link: Collegium Logicum. Mentis, Paderborn 2009.</ref>

|{{#if:

|

– {{#if:trim|}}<ref>Godehard Link: Collegium Logicum. Mentis, Paderborn 2009.</ref>

}}

}}

{{#if: <ref>Godehard Link: Collegium Logicum. Mentis, Paderborn 2009.</ref> |

{{#if: {{#invoke:Text|unstrip|<ref>Godehard Link: Collegium Logicum. Mentis, Paderborn 2009.</ref>}}

        | Vorlage:Zitat: Ungültiger Wert: ref=}} }}{{#if: Nicht-euklidische Geometrien sind genau von dieser Art: sie sind Modelle der Kernaxiome, die zugleich das Parallelenaxiom falsch machen. Zu Beginn des 19. Jahrhunderts wurden solche Geometrien gefunden.<ref>Tatsächlich wurden erst 1868 von Beltrami hyperbolische Geometrien gefunden. Ab Ende der 1820er Jahre hatten Lobatschewski und andere weitreichende Folgerungen der Axiome der hyperbolischen Geometrie ausgearbeitet, aber kein Modell gefunden und damit auch die Widerspruchsfreiheit der hyperbolischen Geometrie nicht bewiesen.</ref> Sie beruhen auf einer radikalen Uminterpretation der anschaulichen Bedeutung geometrischer Begriffe. Dennoch kann man sich auch diese Geometrien veranschaulichen, indem man ihre Axiome mit Hilfe der derart umgedeuteten Begriffe in der klassischen ebenen Geometrie darstellt. Wiederum modern gesprochen, interpretiert man die nicht-euklidische Geometrie in der euklidischen Geometrie. …

Im Fall der Geometrie kann man das Verfahren der Interpretation etwa durch das sogenannte Kleinsche Modell der hyperbolischen Geometrie innerhalb einer euklidischen Ebene illustrieren. | {{

   #if:  | {{#if: Nicht-euklidische Geometrien sind genau von dieser Art: sie sind Modelle der Kernaxiome, die zugleich das Parallelenaxiom falsch machen. Zu Beginn des 19. Jahrhunderts wurden solche Geometrien gefunden.<ref>Tatsächlich wurden erst 1868 von Beltrami hyperbolische Geometrien gefunden. Ab Ende der 1820er Jahre hatten Lobatschewski und andere weitreichende Folgerungen der Axiome der hyperbolischen Geometrie ausgearbeitet, aber kein Modell gefunden und damit auch die Widerspruchsfreiheit der hyperbolischen Geometrie nicht bewiesen.</ref> Sie beruhen auf einer radikalen Uminterpretation der anschaulichen Bedeutung geometrischer Begriffe. Dennoch kann man sich auch diese Geometrien veranschaulichen, indem man ihre Axiome mit Hilfe der derart umgedeuteten Begriffe in der klassischen ebenen Geometrie darstellt. Wiederum modern gesprochen, interpretiert man die nicht-euklidische Geometrie in der euklidischen Geometrie. …

Im Fall der Geometrie kann man das Verfahren der Interpretation etwa durch das sogenannte Kleinsche Modell der hyperbolischen Geometrie innerhalb einer euklidischen Ebene illustrieren. |

   Vorlage:Zitat: Doppelangabe 1=Text=}}

}}| Vorlage:Zitat: Kein Text }}{{#if: | {{#if: |

   Vorlage:Zitat: Doppelangabe 2=Autor=}}

}}{{#if: | {{#if: |

   Vorlage:Zitat: Doppelangabe 3=Quelle=}}

}}{{#if: | {{#if: |

   Vorlage:Zitat: Doppelangabe Umschrift=Latn=}}

}}{{#if: | {{#if: |

   Vorlage:Zitat: Doppelangabe Sprache=lang=}}

}}{{#if: | {{#if: |

   Vorlage:Zitat: Doppelangabe Übersetzung=de=}}

}}

Hinsichtlich der von Godehard Link getroffenen Feststellung, man könne „die nicht-euklidische Geometrie in der euklidischen Geometrie uminterpretieren“ ist hervorzuheben, dass der Begriff der Kongruenz im Beltrami-Klein-Modell nicht mit dem Kongruenzbegriff der euklidischen Ebene übereinstimmt. Im Beltrami-Klein-Modell kongruente Geradenstücke sind (wegen des anders definierten Abstandsbegriffes) im Allgemeinen nicht kongruent in der euklidischen Geometrie. Dagegen stimmen die Inzidenzrelation und die Zwischen-Relation des Beltrami-Klein-Modells mit denen der euklidischen Ebene überein. Richtig ist weiter, dass der hyperbolische Abstand aus euklidischen Abständen berechnet werden kann, nämlich mit der Formel

<math>d(p,q)=\frac{1}{2} \log \frac{|qa||bp|}{|pa||bq|}</math> ,

und insofern die Widerspruchsfreiheit der hyperbolischen Geometrie aus der Widerspruchsfreiheit der euklidischen Geometrie folgt.

Literatur

Norbert A’Campo, Athanase Papadopoulos: On Klein’s so-called non-euclidean geometry. In: Sophus Lie, Felix Klein: The Erlangen program and its impact in mathematics and physics Hrsg.: L. Ji, A. Papadopoulos, European Mathematical Society Publishing House, 2014, Vorlage:ArXiv.
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}

Weblinks

[{{canonicalurl:Commons:Category:{{#if:Beltrami–Klein models|Beltrami–Klein models|Beltrami-Klein-Modell}}|uselang=de}} Commons: {{#if:Beltrami-Klein-Modell|Beltrami-Klein-Modell|{{#if:Beltrami–Klein models|Beltrami–Klein models|{{#invoke:WLink|getArticleBase}}}}}}]{{#switch:1

|X|x= |0|-= |S|s= – Sammlung von Bildern |1|= – Sammlung von Bildern{{#if: 00

    | {{#switch: {{#invoke:TemplUtl|faculty|0}}/{{#invoke:TemplUtl|faculty|0}}
        |1/=  und Videos
        |1/1=, Videos und Audiodateien
        |/1=  und Audiodateien}}
    | , Videos und Audiodateien
  }}

|#default= – }}{{#if: Beltrami–Klein models

   | {{#ifeq: {{#invoke:Str|left|beltrami–klein models|9}} 
       | category:

| FEHLER: Ohne Category: angeben!}}}}

Vorlage:Wikidata-Registrierung

Einzelnachweise und Anmerkungen