A general existence theorem and some applications. (Q2595514)

Der Betrachtung liegt zugrunde eine teilweise geordnete Menge \(A\) mit der Ordnungsrelation ``\(h\)'' (``nicht niedriger als''), die Menge \(N\) der natürlichen Zahlen, und eine Teilmenge \(R\) des Produktraumes \(A\times N\) mit der Eigenschaft, daß aus \(aha'\) und \((a, n)\in R\) stets \((a', n)\in R\) folgt. Es bedeute \(s_i(a)\) die Anzahl aller natürlichen Zahlen \(j\) mit \((a, j)\in R\) und \(j\leqq i\). \(R\) heißt ein Separator der Teilmenge \(A'\) von \(A\), wenn es zu jedem Elementenpaar \(a'\neq a''\) von \(A'\) mit \(a'ha''\) eine natürliche Zahl \(k\) gibt mit \(s_k(a') < s_k(a'')\). Ein Element \(a\)* von \(A'\) heißt extrem, wenn aus \(a^{\ast}ha'\) und \(a'\in A'\) folgt \(a'=a\)*. Mit diesen Voraussetzungen und Definitionen wird bewiesen: Ist \(R\) Seperator von \(A'\subset A\) und \(a_0\in A'\), so gibt es eine geordnete, nichtfallende Folge \(a_0ha_1h\dots ha_nh\dots \) von Elementen aus \(A'\), deren jede obere Schranke \(a\)* in \(A'\) (soferne solche überhaupt vorhanden sind) in \(A'\) extrem ist. Dieser Satz enthält scheinbar weit auseinander liegende Sätze als Spezialfälle, z. B. den Brouwerschen Reduktionssatz für abgeschlossene Mengen, den Tonellischen Satz über das Minimum unterhalb stetiger Funktionen. In Zusammenhang mit obigem Satz behandelt Verf. dann einige Eigenschaften monotoner Mengensysteme. (IV 3 A, V 2.)