La dualité dans les espaces vectoriels topologiques. (French) JFM 68.0238.02

Dieudonné, J.

Ann. sci. École norm. sup. (3) 59, 107-139 (1942).

Teil I. \(E\) und \(E^\prime\) seien lineare Vektorräume bezüglich des Körpers der komplexen Zahlen. Für alle \(x \in E\), \(x^\prime \in E^\prime\) sei eine Bilinearform \(B(x, x^\prime)\) erklärt, so daß aus \(B(x, x^\prime) = 0\) für alle \(x \in E\) stets \(x^\prime = 0\) und aus \(B(x, x^\prime) = 0\) für alle \(x^\prime \in E^\prime\) stets \(x = 0\) folgt. \(B(x, x^\prime)\) ist für festes \(x^\prime\) eine Linearform \(B_{x^\prime}\) in \(E\). Die Umgebungen \(\sup\limits_{1 \leqq i \leqq n} | B(x, x_i^\prime) | \leqq 1\), \(x_i^\prime\) feste Punkte aus \(E^\prime\), von 0 erklären auf \(E\) eine Topologie, die schwache Topologie \(\sigma (E, E^\prime)\), durch die \(E\) zu einem lokalkonvexen Raum wird. \(E^\prime\) ist der duale Raum zu \(E\), d. h. der Raum aller im Sinn der schwachen Topologie auf \(E\) stetigen Linearfunktionen. Entsprechendes gilt für \(E\). \(x\) und \(x^\prime\) heißen orthogonal, wenn \(B(x, x ) = 0\) ist. Ist \(M\) eine Teilmenge von \(E\), so sei \(M^*\) die Menge der zu allen \(x \in M\) orthogonalen \(x^\prime \in E^\prime\). Aus dem Hahn-Banachschen Erweiterungssatz für Linearfunktionen folgt, daß \(M^{**}\) die abgeschlossene Hülle von \(M\) ist, \(M^* = M^{***}\).
\(A\) sei ein Teilraum von \(E\). \(\sigma(E, E^\prime)\) induziert eine Topologie in \(A\). In bezug auf diese Topologie sei \(A^\prime\) der duale Raum zu \(A\). \(A\) und \(A^\prime\) bilden ein Paar von Räumen im Sinne der obigen Definition, wenn \(B(x, x^\prime) = x^\prime (x)\) gesetzt wird, \(x^\prime\) eine Linearfunktion auf \(A\); also ist in \(A\) die Topologie \(\sigma (A, A^\prime)\) erklärt; sie stimmt mit der durch \(\sigma (E, E^\prime)\) induzierten überein. \(A^\prime\) ist der duale Raum zur abgeschlossenen Hülle \(\bar A\) von \(A\). Wird \(A^\prime\) mit der Topologie \(\sigma (A^\prime, \bar A)\) versehen, so ist \(A^\prime\) isomorph zum Quotientenraum \(E^\prime/A^*\), der mit der durch \(\sigma (E^\prime, E)\) bestimmten Topologie des Quotientenraumes versehen ist. Analog gilt: Ist \(A\) linear abgeschlossen in \(E\), so ist der schwach duale Raum \(F^\prime\) zu \(F = E/A\) isomorph zu \(A^*\) und \(\sigma(F, F^\prime)\) ist identisch mit der Quotiententopologie \(\sigma (E, E^\prime)\) nach \(A\).
\(u\) sei eine lineare Abbildung von \(E\) in \(F\); zu \(E\) und \(F\) mögen \(E^\prime\) und \(F^\prime\) gehören mit den Bilinearrelationen \(B(x, x^\prime)\), \(C(y, y^\prime)\). \(u\) ist dann und nur dann schwach stetig, d. h. stetig im Sinne der Topologien \(\sigma (E, E^\prime)\) bzw. \(\sigma(F, F^\prime)\), wenn für jedes \(y^\prime\) in \(F^\prime\) durch \(x \to C (u (x), y^\prime)\) eine stetige Linearform in \(E\) gegeben wird. Zu jedem \(y^\prime \in F^\prime\) gehört genau ein \(x^\prime\) in \(E^\prime\), so daß \(C (u (x), y^\prime) = B(x, x^\prime)\) ist. Die so definierte Abbildung \(u^\prime\) von \(F^\prime\) in \(E^\prime\) heißt zu \(u\) transponiert. Sie ist ebenfalls stetig \(u\) ist dann und nur dann eineindeutig, wenn \(u^\prime (F^\prime)\) überall dicht in \(E^\prime\) ist. Dann wird ein Lösbarkeitskriterium für Gleichungen \(u(x) = y_0\) abgeleitet. Daraus folgt: Ist \(u(E)\) abgeschlossen in \(F\), so ist \(u(x) = y_0\) dann und nur dann lösbar, wenn \(y_0\) orthogonal zur Urbildmenge \(u^\prime(0)\) der 0 bei \(u^\prime\) ist. \(u(E)\) ist dann und nur dann abgeschlossen, wenn \(u^\prime\) ein Homomorphismus von \(F^\prime\) auf \(u^\prime (F^\prime)\) ist. Diese Theorie ist im wesentlichen eine Verallgemeinerung der Theorie der vollkommenen Räume von G. Köthe und O. Toeplitz auf beliebige lokalkonvexe Räume. Die Idee der dualen Räume ist noch weitergeführt worden.
Die Anwendbarkeit dieser Theorie wird in Teil II bewiesen, in dem die Hauptsätze der Theorie der normierten Räume (Banachräume) unter Verwendung der Theorie der Dualität neu hergeleitet werden. Neben den klassischen Resultaten, wie sie etwa in der Arbeit von F. Hausdorff ( J. reine angew. Math. 167 (1932), 294-311; F. d. M. \(58_{\text{II}}\), 1113) enthalten sind, werden auch zum ersten Mal mit Beweisen die Resultate von N. Bourbaki (C. R. Acad. Sci., Paris, 206 (1938), 1701-1704; F. d. M. \(64_{\text{II}}\), 1098) dargestellt, darunter der Satz: Ein normierter Raum \(E\) ist dann und nur dann reflexiv, wenn die Einheitskugel aller \(x\) in \(E\) mit \(\| x \| \leqq 1\) schwach kompakt ist. Im Anhang wird auf ein damit zusammenhängendes Kriterium von H. H. Goldstine (Duke math. J. 4 (1938), 125-131; F. d. M. \(64_{\text{I}}\), 369) näher eingegangen. Ein Teil der Resultate wurde in zwei Noten angekündigt (C. R. Acad. Sci., Paris, 211 (1940), 94-97, 129-131; F. d. M. 66, 531 (JFM 66.0531.*), 532).

Reviewer: Köthe, G., Prof. (Gießen)

JFM Section:

D. Analysis. 16. Funktionalanalysis. a) Lineare und Funktionenräume.

Citations:

JFM 66.0531.*