×

Quasi-ordered Desarguesian affine spaces. (English) Zbl 0733.51010

Eine Zwischen-Funktion in einem affinen Raum ist eine Abbildung (a,b,c)\(\mapsto (a| b,c)\in \{1,-1\}\) für kollineare Punkte a,b,c mit \(b\neq a\neq c\), für welche \((a| b,c)(a| c,d)=(a| b,d)\) gilt. Die Verfasserin nennt einen desarguesschen affinen Raum mit einer Zwischen-Funktion \(\beta\) quasi-geordnet, wenn es zu je 2 kopunktalen Geraden mindestens eine mit \(\beta\) verträgliche Parallelprojektion gibt, und wenn folgendes gilt: Sind a,b,c und \(a',b'c'\) je 3 kollineare Punkte mit \(ab\| a'b'\) aber \(ab\neq a'b'\), dann folgt \((a| b,c)=(a'| b',c')\) aus \(ac'\| a'c\) und \(bc'\| b'c.\)
Sowohl halbgeordnete als auch semi-geordnete affine Räume sind Spezialfälle von quasi-geordneten affinen Räumen. Es wird gezeigt, daß die desarguesschen quasi-geordneten affinen Räume genau die sind, welche durch quasi-geordnete Schiefkörper koordinatisiert werden. Ein Schiefkörper F wird von der Verfasserin quasi-geordnet genannt, wenn es eine Abbildung \(\sigma: F^*\to \{1,-1\}\) gibt mit der Eigenschaft \(\sigma (a)\sigma (-a)=\sigma (1)\sigma (-1)\) für alle \(a\in F^*\). Jede Teilmenge Q von \(F^*\) liefert eine Quasi-Ordnung von F durch \(\sigma (a):=1\) oder -1, wenn \(a\in bzw\). \(\not\in Q\cup (-Q)\). Jede Auswahlfunktion \(\chi\) auf \(\{\{a,-a\}| a\in F^*\}\) liefert eine Quasi-Ordnung von F durch \(\sigma (a):=1\) oder -1, wenn \(\chi (\{a,- a\})=a\) bzw. \(=-a\). Und jede Quasi-Ordnung von F ist von einer dieser beiden Arten. \({\bar \sigma}\) mit \({\bar \sigma}\)(a):\(=-\sigma (a)\) heißt Komplement von \(\sigma\). \(\sigma\) und \({\bar \sigma}\) liefern dieselbe Quasi-Ordnung in der affinen Ebene. Man kann sich daher auf normierte Quasi-Ordnungen eines Schiefkörpers beschränken, d.h. solche mit \(\sigma (1)=1\). In einem normierten quasi-geordneten Schiefkörper sei \(C_{\sigma}:=\{c\in F^*|\sigma (xc)=\sigma (x)\sigma (c)\) für alle \(x\in F^*\}\). \(| C_{\sigma}|\) ist die Anzahl der mit \(\beta\) verträglichen Parallelprojektionen zwischen 2 kopunktalen Geraden. \(C_{\sigma}\) ist eine Untergruppe von \(F^*\), und \(C_{\sigma}=F^*\) gilt genau dann, wenn \(\sigma\) eine Halbordnung von F ist.

MSC:

51G05 Ordered geometries (ordered incidence structures, etc.)
51A30 Desarguesian and Pappian geometries
06F20 Ordered abelian groups, Riesz groups, ordered linear spaces
Full Text: DOI

References:

[1] KARZEL, H.: Zur Begründung euklidischer Räume. Mitt. Math. Ges. Hamburg11 (1985), 355-368 · Zbl 0593.51016
[2] KARZEL, H., SÖRENSEN, K., WINDELBERG, D.: Einführung in die Geometrie. Göttingen 1973 · Zbl 0248.50001
[3] KARZEL, H., STANIK, R.: Metrische affine Ebenen. Abh. Math. Sem. Univ. Hamburg49 (1979), 237-243 · Zbl 0425.51008 · doi:10.1007/BF02950661
[4] KROLL, H.-J., SÖRENSEN, K.: Pseudo-euklidische Ebenen und euklidische Räume. J. Geometry8 (1976), 95-115 · Zbl 0338.50002 · doi:10.1007/BF01917429
[5] SPERNER, E.: Die Ordnungsfunktionen einer Geometrie. Math. Ann.121 (1949), 107-130 · Zbl 0032.17801 · doi:10.1007/BF01329620
[6] STANIK, R.: Ein Beitrag zur Axiomatik metrisch-affiner Ebenen von Charakteristik ? 2. Abh. Math. Sem. Univ. Hamburg50 (1980), 18-19 · Zbl 0434.51012 · doi:10.1007/BF02941410
[7] TECKLENBURG, H.: Semigeordnete affine Räume. To appear in Mitt. Math. Ges. Hamburg
[8] TECKLENBURG, H.: Quasi-ordered affine planes and ternary rings. To appear · Zbl 0742.51012
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.