Ordnungsdimension

In der Ordnungstheorie, einem der Teilgebiete der Mathematik, versteht man unter der Ordnungsdimension eine bestimmte Kardinalzahl, die jeder teilweise geordneten Menge zugeordnet ist. Grundlage dieser Zuordnung ist ein auf die beiden Mathematiker Ben Dushnik und Edwin W. Miller zurückgehender Lehrsatz, der als Satz von Dushnik-Miller bekannt ist und besagt, dass jede teilweise Ordnung die Schnittmenge von linearen Ordnungen ist. Die Ordnungsdimension einer teilweise geordneten Menge $(X,\leq )$ ist dann definiert als die kleinste Mächtigkeit von allen Systemen linearer Ordnungsrelationen auf $X$, durch die $\leq$ als Durchschnitt gemäß dem Satz von Dushnik–Miller dargestellt werden kann. Sie wird kurz mit $\operatorname {odim} (X,\leq )$ oder $\dim(X,\leq )$ bezeichnet.

Der Satz von Dushnik-Miller

Er besagt folgendes:

Jede teilweise Ordnung ist der Durchschnitt von linearen Ordnungen.

Das heißt:

Ist $(X,\leq )$ eine teilweise geordnete Menge, so existiert auf der Trägermenge $X$ ein System ${\mathfrak {L}}$ von linearen Ordnungsrelationen mit

$\leq \;=\,\bigcap _{L\in {\mathfrak {L}}}\,L$.

Anmerkungen, Beispiele, Resultate

• Statt von der Ordnungsdimension sprechen manche Autoren auch von der Dushnik–Miller-Dimension.
• Der Satz von Dushnik-Miller ist eng mit dem Lemma von Szpilrajn verwandt.
• Die Potenzmenge ${\mathcal {P}}(X)$ einer nichtleeren Menge $X$, versehen mit der Teilmengenrelation, hat die Ordnungsdimension $\operatorname {odim} ({\mathcal {P}}(X),\subseteq )=|X|$.
• Ist $N$ eine natürliche Zahl, in deren Primfaktorzerlegung genau $\omega (N)$ Primfaktoren vorkommen, und ist $(X,\leq )=(T_{N},\mid )$ deren Teilermenge, versehen mit der Teilerrelation, so gilt $\operatorname {odim} (T_{N},\mid )=\omega (N)$. Für $N=360=2^{3}\cdot 3^{2}\cdot 5$ etwa ist $\operatorname {odim} (T_{360},\mid )=\omega (360)=3$ und für $N=26411=7^{4}\cdot 11$ ist $\operatorname {odim} (T_{26411},\mid )=\omega (26411)=2$.
• Es liegen – neben vielen anderen – die folgenden Resultate vor:
  • Über die Beziehung zwischen Ordnungsdimension und Spernerzahl: Die Ordnungsdimension einer teilweise geordneten Menge $(X,\leq )$ ist höchstens so groß wie deren Spernerzahl $\operatorname {w} (X,\leq )$, sofern die Spernerzahl endlich ist.
  • Die (nach dem japanischen Mathematiker Toshio Hiraguchi benannte) Ungleichung von Hiraguchi: Für eine natürliche Zahl $n\geq 4$ und eine endliche teilweise geordnete Menge $(X,\leq )$ mit $|X|=n$ Elementen beträgt die Ordnungsdimension $\operatorname {odim} (X,\leq )$ höchstens ${\frac {n}{2}}$.
  • Der (nach dem norwegischen Mathematiker Øystein Ore und Toshio Hiraguchi benannte) Satz von Hiraguchi-Ore, welcher einen alternativen Zugang zum Begriff der Ordnungsdimension bietet: Die Ordnungsdimension einer teilweise geordneten Menge $(X,\leq )$ ist gleich der kleinsten Anzahl von linear geordneten Mengen, in deren direktes Produkt $(X,\leq )$ eingebettet werden kann.
  • Der (nach dem deutschen Mathematiker Egbert Harzheim benannte) Satz von Harzheim: Ist $N$ eine natürliche Zahl und ist für jede endliche Teilmenge $E$ einer gegebenen teilweise geordneten Menge $(X,\leq )$ die Ordnungsdimension $\operatorname {odim} (E,{{E\times E}\;\cap \leq })$ der auf $E$ eingeschränkten Ordnungsrelation höchstens $N$, so ist auch $\operatorname {odim} (X,\leq )$ höchstens $N$.

Literatur

• Wacław Sierpiński: Cardinal and Ordinal Numbers. Panstwowe Wydawnictwo Naukowe, Warschau 1958, S. 188 (MR0095787).