Die metrisch-euklidische Geometrie als Ausgangspunkt für die geordnet- euklidische Geometrie (Q1059278): Difference between revisions

Die Struktur \(C_ 2(K)=(K\times K\), \(B_ K\), \(D_ K)\) wird cartesische Ebene über K genannt, wobei \(B_ K=\{(a,b,c)\in (K\times K)^ 4| \| a-b\| =\| c-d\| \},\) \(\| (x_ 1,x_ 2)\| =x^ 2_ 1+x^ 2_ 2\) und \(K\in Pyth\) (die Klasse der pythagoräischen angeordneten Körper). Weitere Definitionen: \({\mathcal E}_ 2=\cap_{K\in Pyth}Th_{L_{BD}}C_ 2(K)\) (wobei \(L_{BD}\) die Sprache erster Stufe mit zwei Prädikaten, B und D, drei- bzw-vierstellig ist), \({\mathcal D}{\mathcal E}_ 2={\mathcal E}_ 2\cap L_ D.\) Diese Arbeit ist ein Research Announcement, welches ein Axiomensystem (AS), das elf Axiome enthält, für \({\mathcal E}_ 2\) vorschlägt. Die ersten sieben Axiome bilden ein AS für \({\mathcal D}{\mathcal E}_ 2\). Außerdem wird mittels (hauptsächlich endlicher) Unabhängigkeitsmodelle bewiesen, daß jedes der elf Axiome von allen übrigen unabhänging ist. Die ersten sechs Axiome wurden \textit{R. Schnabel} [Habil. Schrift, Kiel 1981], das siebte \textit{F. Bachmann} [Aufbau der Geometrie aus dem Spiegelungsbegriff, (1973; Zbl 0254.50001)], die weiteren vier \textit{W. Szmielew} [Fundam. Math. 107, 47- 56 (1980; Zbl 0436.51014)] entnommen. Die Zusammenstellung und die Unabhängigkeitsmodelle stammen von \textit{V. Pambuccian} (Diss., Bukarest 1982). Das erste AS für \({\mathcal E}_ 2\) d.h. die erste \(L_{BD}\)- Grundlegung der euklidischen Geometrie, stammt von \textit{A. Tarski} [Stud. Logic Found. Math., 16-29 (1959; Zbl 0092.385)]. Die Resultate konnten nicht auf höhere Dimensionen verallgemeinert werden, da noch kein AS für \({\mathcal D}{\mathcal E}_ n\) (mit \(n\geq 3)\) bekannt ist.