Solution des deux problèmes de la théorie des espaces semi-ordonnés.
Als \textit{halbgeordneter} Raum \((K_4)\) werde bezeichnet jede Teilmenge \(\mathfrak T\) eines linearen Raumes, für deren Punkte \(y\) eine Anordnung erklärt ist gemäß den folgenden Forderungen: 1) durch \(y>0\) ist \(y = 0\) ausgeschlossen; 2) aus \(y_1>0\), \(y_2 > 0\) folgt \(y_1+y_2>0\); 3) zu jedem \(y\) gibt es ein \(y' = \sup(y,0)\) (so daß also \(y' - y \geqq 0\) und \(y'\geqq 0\)) ; 4) wenn \(y > 0\) und wenn \(\lambda > 0\) eine reelle, im übrigen beliebige Zahl ist, dann ist \(\lambda y>0\). Der \(n\)-dimensionale, halbgeordnete Raum \(Y\) heiße \textit{singulär}, wenn es eine Folge positiver Elemente von \(Y\) gibt, die gegen ein negatives Element konvergiert. Zwei halbgeordnete Räume \(Y_1\), \(Y_2\) heißen \textit{isomorph}, wenn sie unter Erhaltung der Ordnung und der linearen Relationen topologisch aufeinander abgebildet werden können. Unter dem \textit{halbgeordneten euklidischen} \(R_n\) verstehe man den Raum der Punkte \(y=(x_1,\ldots,x_n)\), wobei \(y>0\) gleichbedeutend sein soll damit, daß \(x_\nu\geqq 0\), \(\nu=1,\ldots, n\), und \(x_\nu> 0\) für mindestens ein \(\nu\). Verf. beweist die beiden folgenden, von \textit{Kantorovitch} (C. R. Acad. Sci. URSS 1936\(_{\text{III}}\), 101-106; JFM 62.1233.*) als Probleme gestellten Sätze: I. Jeder nicht-singuläre, \(n\)-dimensionale, halbgeordnete Raum ist isomorph zum halbgeordneten \(R_n\). II. Es sei \(Y\) halbgeordnet und nichtsingulär. Ferner seien \(F_\alpha=F_\alpha(x_1,\ldots,x_k)\), \(\alpha = 1,\ldots,t\), Ausdrücke, welche mit Hilfe der Zeichen \(+\), \(-\), \(\inf\)., \(\sup\). in endlicher Anzahl aus den Elementen \(x_1\), \dots, \(x_k\) gebildet sind. Ziehen dann die Relationen \(F_1=0\), \dots, \(F_{t-1}=0\) nach sich, daß \(F_t = 0\), falls die \(x_1\), \dots, \(x_k\) reelle Zahlen sind, so gilt das Gleiche, wenn die \(x_1\), \dots, \(x_n\) Elemente aus \(Y\) sind.
This page was built for publication: Solution des deux problèmes de la théorie des espaces semi-ordonnés.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2591592)
