Verallgemeinertes Viereck

Ein kleines nicht-triviales verallgemeinertes Viereck: das „Doily“, bis auf Isomorphie das einzige $GQ(2,2)$

Verallgemeinertes Viereck ist eine Bezeichnung für bestimmte Inzidenzstrukturen, die insbesondere in der endlichen Geometrie untersucht werden.

Definition

Eine Inzidenzstruktur $ℐ=(𝔭,𝔅,I)$ mit einer Inzidenzrelation $I\subseteq 𝔭\times 𝔅$ heißt verallgemeinertes Viereck, wenn die folgenden Axiome gelten:

1. Es existiert eine natürliche Zahl $s\ge 1$, sodass jeder Block $b\in 𝔅$ genau $s$ Punkte enthält – hier werden Blöcke meist als Geraden bezeichnet.
2. Es existiert eine natürliche Zahl $t\ge 1$, sodass durch jeden Punkt $p\in 𝔭$ genau $t$ Geraden gehen.
3. Durch zwei verschiedene Punkte existiert höchstens eine Gerade.
4. Für jeden Punkt $p$, der nicht auf einer Geraden $g$ liegt, existiert genau eine Gerade $h$ durch $p$, die $g$ schneidet.

Allgemeiner wird auch zugelassen, dass eine der Anzahlen $s,t$ in den ersten beiden Axiomen eine feste unendliche Zahl ist.

Ordnung

Die Anzahl $s=v_1$ der Punkte auf einer beliebigen Geraden wird zusammen mit der Anzahl $t=b_1$ der Geraden durch einen beliebigen Punkt zusammengefasst und das Zahlenpaar $(s-1,t-1)$ als Ordnung des verallgemeinerten Vierecks bezeichnet. Man schreibt dann auch, das Viereck sei ein $GQ(s-1,t-1)$.

Eigenschaften

• Falls es mehr als einen Punkt und mehr als eine Gerade gibt, ist die Struktur einfach. Das heißt, zwei Geraden sind genau dann gleich, wenn sie die gleichen Punkte enthalten.
• Die duale Inzidenzstruktur eines $GQ(s-1,t-1)$, die durch Vertauschung der Punkt- mit der Geradenmenge und Umkehrung der Inzidenzrelation entsteht, ist ein $GQ(t-1,s-1)$. Es gilt allgemeiner (da die Aussage auch für unendliche verallgemeinerte Vierecke gilt): Die Klasse aller verallgemeinerten Vierecke ist zu sich selbst dual.
• Auch im Fall $s=t$ muss das verallgemeinerte Viereck nicht zu seinem dualen Viereck isomorph sein.
• Jedes endliche verallgemeinerte Viereck erfüllt die Regularitätsbedingungen $(P_1)$ und $(B_1)$ und ist also eine taktische Konfiguration.
• Ist die Anzahl der Punkte $v_0\ge 2$ und die Anzahl der Geraden $b_0\ge 2$, dann existieren Paare von Punkten ohne Verbindungsgeraden, daher ist dann das verallgemeinerte Viereck keine Inzidenzgeometrie und auch kein 2-Blockplan.

Anzahlen der Punkte und Geraden

Für $s,t\ge 1$ gilt:

• Ein $GQ(s-1,t-1)$ enthält genau $(s+1)\cdot (st+1)$ Punkte.
• Ein $GQ(s-1,t-1)$ enthält genau $(t+1)\cdot (st+1)$ Geraden.

Beispiele

• Triviale Beispiele sind:
  • Strukturen mit einer Geraden, die alle $s$ Punkte enthält $(GQ(s-1,0))$
  • Dual zu vorigem: Strukturen mit einem Punkt, durch den alle $t$ Geraden gehen $(GQ(0,t-1))$
• Das gewöhnliche Viereck (Eckpunkte als Punkte und Seiten als Blöcke) ist das bis auf Isomorphie einzige $GQ(1,1)$, einziges $GQ$ mit genau 4 Punkten und isomorph zu seiner dualen Struktur.
• Allgemeiner ist ein quadratisches Gitter ein $GQ(n,1)$.
• Das „Doily“ ist ein $GQ(2,2)$. Es wurde von Payne so benannt, und das in der Einleitung dargestellte Diagramm des Doily wurde als Titelbild der Proceedings gewählt.

Auf einem Hyperboloid

Die Abbildung zeigt ein (affines) einschaliges Hyperboloid mit einigen in dieser Quadrik enthaltenen Geraden, die sich in zwei disjunkte Scharen aufteilen lassen

Auf einem Hyperboloid in einem dreidimensionalen affinen oder projektiven Raum lässt sich folgendermaßen ein verallgemeinertes Viereck erklären: Die Punkte sind die Punkte auf der Hyperboloidfläche, die Geraden sind die ganz im Hyperboloid enthaltenen Geraden. Diese Geraden bilden zwei Scharen, die Geraden einer solchen Schar sind paarweise windschief zueinander. Durch jeden Punkt gehen genau zwei Geraden $(t=2)$.

In einem endlichen projektiven Raum ${\mathbb{P}}^3({𝔽}_{𝕢})$ über dem endlichen Körper ${𝔽}_{𝕢}$ enthält jede Gerade $s=q+1$ Punkte. Also ist dieses verallgemeinerte Viereck ein $GQ(q,1)$. Es ist isomorph zu einem quadratischen Gitter.

Literatur

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur

Weblinks

• Vorlage:MathWorld