Ordnungsdimension
aus Wikipedia, der freien encyclopedia
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 ist dann definiert als die kleinste Mächtigkeit von allen Systemen linearer Ordnungsrelationen auf , durch die als Durchschnitt gemäß dem Satz von Dushnik–Miller dargestellt werden kann. Sie wird kurz mit oder bezeichnet.