On finite-rowed systems of linear inequalities in infinitely many variables. I. (Q566146)

I: \(S_{\infty }\) sei der Raum der Punkte mit abzählbar vielen Koordinaten: \(X=(x_1, x_2, \dots )\). Der Raum der Punkte \(X_p=(x_1,\dots,x_p)\) heißt der \(p\)-te Partialraum \(S_p\) von \(S_{\infty }\), \(X_p\) der \(p\)-te Partialpunkt von \(X\). \(E\) heißt konvex, wenn mit \[ X=(x_1,x_2,\dots ), \quad X'=(x'_1,x'_2,\dots ) \] auch \[ X''=\alpha X+\alpha ' X'=(\alpha x_1 +\alpha ' x'_1, \dots ) \] mit \(\alpha >0, \alpha ' >0, \alpha +\alpha ' =1\) zu \(E\) gehört. Eine abgeschlossene konvexe Menge heißt ein konvexer Körper. Wenn das zeilenfinite System von unendlich vielen linearen Ungleichungen \[ a_{i0} +a_{i1} x_1 + \dots +a_{in_i} x_{n_i} \geq 0 \quad (i=1,2,\dots ) \] im homogenen Fall wenigstens eine von \((0,0,\dots )\) verschiedene Lösung hat, dann bildet die Gesamtheit aller Lösungen einen konvexen Körper in \(S_{\infty }\). Es folgt ein neuer Beweis des Satzes von \textit{F. Riesz} (1911, F. d. M. 42, 374 (JFM 42.0374.*)): \(\varphi _1 (t), \varphi _2 (t), \dots \) seien gegebene reelle, stetige Funktionen in \(0\leq t\leq 1\). Bei beliebigem monotonem \(\chi (t)\) mit \(\int _0^1 d\xi (t)=1\) ist der Variabilitätsbereich der Folge \[ x_n = \int _0^1 \varphi _n (t) d\xi (t) \] der konvexe Körper \(K\) der Punkte \(X\), für die (bei jedem \(p\)) \(X_p\) zu \(K_p\) gehört, wo \(K_p\) die konvexe Hülle des stetigen Bogens \[ C_p \colon x_n =\varphi _n (t) \quad (0\leq t \leq 1; n=1,2,\dots,p) \] ist. Verf. fügt das Ergebnis hinzu: Es gibt ein System von linearen Ungleichungen, deren Lösungsmenge mit jenem Variabilitätsbereich identisch ist. Ein Beispiel hierfür ist der Satz von \textit{Hausdorff} (1923; F. d. M. 49, 193 (JFM 49.0193.*)), der besagt, daß im Falle \(\varphi _n (t)\equiv t^n\) diese Ungleichungen lauten: \[ \varDelta ^k x_{\ell } \equiv x_{\ell } - \binom {k}{1} x_{\ell +1} + - \dots +(-1)^k x_{\ell +k} \geq 0 \; (k,\ell =0,1,\dots ). \] II: Eine gewisse Klasse veon zeilenfiniten Ungleichungssystemen wird durch \textit{Stieltjes}-Integrale gelöst. In der unendlichen Matrix \(\| a_{ik} \|\) mögen die Minoren die Ungleichung erfüllen: \[ \begin{vmatrix} a_{i_1 1} & a_{i_1 2} & \dots & a_{i_1 m} \\ a_{i_2 1} & \innerhdotsfor 2 \after \quad & a_{i_2 m}\\ \hdotsfor 4 \\ a_{i_m 1} & \innerhdotsfor 2 \after \quad & a_{i_m m} \end{vmatrix} >0. \] Dann kann jede Lösung des Ungleichungssystems \[ D^k x_{\ell } \equiv \begin{vmatrix} x_{\ell } & a_{\ell 1} & a_{\ell 2} & \dots & a_{\ell k} \\ x_{\ell +1} & a_{\ell +1 1} & \innerhdotsfor 2 \after \quad & a_{\ell +1k} \\ \hdotsfor 5 \\ x_{\ell +k} & x_{\ell +k 1} & \innerhdotsfor 2 \after \quad & a_{\ell +k k} \end{vmatrix} \geq 0 \] \((k,\ell =0,1,2,\dots )\) mit \(a_{01} =a_{11}=\dots =1\) in der Gestalt \[ x_n=\int _0^1 \varphi _n (t) d\chi (t) \] ausgedrückt werden, wo die \(\varphi _n\) gewisse feste Funktionen sind und \(\chi \) nicht abnehmend ist, und umgekehrt ist jede derartig darstellbare Folge \(x_n\) eine Lösung des obigen Gleichungssystems. III: Anwendungen: Es wird gezeigt, daß die Ergebnisse von \textit{Hausdorff} (M. Z. 9 (1921), 280-299) über Momentfolgen als spezielle Fälle in dem Satz von Teil II enthalten sind. Ferner ergibt sich, daß der Satz von \textit{S. Bernstein} (1929; JFM 55.0142.*), wonach die Gesamtheit der vollmonotonen Funktionen mit dem in der Gestalt \(\int _0^{\infty } e^{-st} d\alpha (t)\), \(\alpha (t)\) nicht abnehmend, darstellbaren Funktionen übereinstimmt, im Wesentlichen äquivalent ist mit \textit{Hausdorff}s (siehe die soeben zitierte Arbeit, \S 4) früheren Ergebnissen über Momentfunktionen.