Some theorems on abstract spaces. (Q2607858)

Sind \(A\), \(B\) zwei abstrakte Vektorräume, so bedeutet \(\dim_l(A)\geqq\dim_l(B)\), daß \(B\) isomorph einem Vektor-Teilraum von \(A\) ist; \(\dim_l(A)=\dim_l(B)\) bedeutet das gleichzeitige Bestehen von \(\dim_l(A)\geqq\dim_l(B)\) und \(\dim_l(B)\geqq\dim_l(A)\); schließlich bedeutet \(\dim_l(A)>\dim_l(B)\), daß \(\dim_l(A)\geqq\dim_l(B)\), aber nicht \(\dim_l(A)=\dim_l(B)\) ist. \(l^{(k)}\) sei der Raum aller Folgen, für welche die Summe der \(k\)-ten Potenzen konvergiert, und \(L^{(k)}\) der Raum aller meßbaren Funktionen \(f(x)\), für welche das von 0 bis 1 erstreckte Integral über \(|f(x)|^k\) existiert. In der vorliegenden Arbeit, die nach hinterlassenen \textit{Paley}schen Aufzeichnungen von \textit{F.~J.~Murray} zusammengestellt ist, wird nun in Ergänzung \textit{Banach}scher Resultate (Théorie des opérations linéaires (Warschau, 1932; F.~d.~M. 58), Kap.~12) bewiesen, daß die Relation \[ \dim_l(l^{(q)})\leqq\dim_l(L^{(p)}) \tag{*} \] in den folgenden drei Fällen nicht bestehen kann: \[ (1)\quad p>2>q, \qquad (2)\quad q>2>p, \qquad (3)\quad 2<q<p. \] \textit{F.~J.~Murray} erwähnt, daß es ihm nicht gelungen sei, den im \textit{Paley}schen Manuskript in Bruchstücken vorliegenden Beweis im Falle \(p<q<2\) zu rekonstruieren. Zum Verständnis des genannten Resultats sei erwähnt, daß \textit{Banach} l.~c. die Unmöglichkeit von (*) in den Fällen \(q>p>2\) und \(q<p<2\) bewiesen hat, während er anderseits gezeigt hat, daß \(\dim_l(l^{(q)})\geqq\dim_l(L^{(p)})\) (mit \(p>1\), \(q>1\)) nur im Falle \(q=p=2\) zutrifft und daß (*) im Falle \(p=q\) für alle \(p>1\) gilt. Zum Schluß wird noch gezeigt, daß auf Grund der erhaltenen Resultate in den Fällen (l)-(3) sofort die Unmöglichkeit von \(\dim_l(L^{(q)})\leqq\dim_l(L^{(p)})\) erschlossen werden kann, die in den Fällen (1) und (2) bereits von \textit{Banach} bewiesen worden ist.