Eine Bedingung für die topologische Isomorphie von einem Banachschen Raum mit dem Hilbertschen. (Q2594516)

\(B_n\) sei ein \(n\)-dimensionaler Banachraum, \(f_1,\ldots, f_n\) ein System linear unabhängiger Elemente aus \(B_n\). Für beliebige komplexe \(x_i\) hat der Ausdruck \[ \dfrac{|x_1f_1+\cdots +x_nf_n|}{\sqrt{|x_1|^2+\cdots +|x_n|^2}} \] eine obere bzw. untere Grenze \(M\) bzw. \(m\). Die untere Grenze des Quotienten \(M/m\), wenn \(f_1,\ldots, f_n\) alle linear unabhängigen Systeme von \(B_n\) durchläuft, heißt die Schwankung \(S\) von \(B_n\). Es gibt stets ein Minimalsystem von Elementen \(f_1,\ldots, f_n,\) für die \(S\) auch wirklich angenommen wird, z. B. ist im Raum aller \((x_1,\ldots, x_n)\) mit \(\{|x_1|^k+\cdots +|x_n|^k\}^{\tfrac1k} (k\geqq 1)\) die Schwankung gleich Max \(\biggl(n^{\tfrac12-\tfrac1k}, n^{\tfrac1k-\tfrac12}\biggr)\) und ein Minimalsystem bilden \((1, 0,\ldots, 0),\ldots, (0, 0,\ldots, 1)\). Der Hauptsatz der Arbeit gibt nun eine Bedingung dafür an, wann ein Banachraum \(B\) topologisch isomorph mit dem Hilbertschen Raum \(H\) ist, d. h. wann es eine eineindeutige lineare Zuordnung \(f\leftrightarrow f'\) zwischen den Elementen \(f\) von \(B\) und denen \(f'\) von \(H\) gibt, so daß aus \(|f|\to 0\) stets \(|f'|\to 0\) und umgekehrt folgt. Es gilt: Notwendig und hinreichend dafür, daß \(B\) topologisch isomorph \(H\) ist, ist, daß \(B\) unendlichdimensional und separabel ist, und daß die Schwankungen aller endlich-dimensionalen Teilräume von \(B\) unter einer festen Schranke liegen.