Partially ordered sets.
type: Item
instance of: scholarly article
title: Partially ordered sets.
zbMATH Open document ID: 67.0157.01
DOI: 10.2307/2371374
author: B. Dushnik
author: E. W. Miller
published in: American Journal of Mathematics
publication date: 1941-01-01T00:00:00Z
review text: Der erste Teil dieser Arbeit enthält Sätze über die Dimension von Paarmengen \(P\), welche die Elemente einer Menge \(S\) teilweise ordnen. Dabei verstehen Verf. unter Dimension von \(P\) die kleinste Kardinalzahl \(\mathfrak m\) derart, daß \(P\) als Durchschnitt von \(\mathfrak m\) linear ordnenden Paarmengen \(P_\alpha\) darstellbar ist. Es gilt: Definiert \(P\) eine partielle Anordnung von \(S\), so ist die Dimension von \(P\) endlich, wenn \(S\) endlich ist, und ist \(\overline{\overline S} = \mathfrak m\), \(\mathfrak m\) transfinit, so ist die Dimension von \(P\) stets \(\leqq \mathfrak m\). Gehört jedes Paar genau zu einer der Paarmengen \(P\), \(Q\) so heißen diese konjugiert. Eine Anordnung heißt reversibel, wenn sie eine konjugierte hat. Eine Erweiterung \(L\) von \(P\), die eine volle lineare Anordnung definiert, heißt separierend, wenn drei Elemente \(a\), \(b\), \(c\) existieren derart, daß \(a < c\) in \(P\), \(b\) weder mit \(a\) noch \(c\) in \(P\) vergleichbar ist, in \(L\) dagegen \(a < b < c\) gilt. Dann beweisen Verf. die Gleichwertigkeit der vier Eigenschaften: \ 1) \(P\) ist reversibel, \ 2) es gibt eine nicht-separierende lineare Erweiterung \(L\) von \(P\), \ 3) die Dimension von \(P\) ist \(\leqq 2\), \ 4) es gibt eine Darstellung von \(P\) als Schar von Intervallen einer linear geordneten Menge. Weiter wird die Existenz von Mengen gegebener Dimension bewiesen. -- Danach werden auch Graphen betrachtet; z. B. wird bewiesen, daß jeder Graph \(G\) von der Mächtigkeit \(\mathfrak m\), \(\mathfrak m\) transfinit, in dem jede Untermenge der Mächtigkeit \(\mathfrak m\) zwei mit einem Weg verbindbare Elemente enthält, einen vollständigen Graphen der Mächtigkeit \(\aleph_0\) enthält. Enthält jede abzählbare Untermenge zwei verbundene Elemente, so enthält \(G\) einen vollständigen Graphen der Mächtigkeit \(\mathfrak m\). Hieraus folgen leicht zwei Korollare für teilweise Ordnungen. Zum Schlusse wird unter Anwendung der Kontinuumhypothese die Existenz…
zbMATH DE Number: 2502471
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2325654786
Wikidata QID: Q59509276
description: scientific article; zbMATH DE number 2502471