Espace de fonctionelles linéaires. (Q2587216)

\(E\) sei ein lokalkonvexer linearer topologischer Raum. \(E^*\) sei der Raum der linearen (also additiven und im Sinne der Topologie von \(E\) stetigen) Funktionale in \(E\). In \(E^*\) wird eine Topologie eingeführt, indem man die Mengen \(V\) aller \(f (x)\) mit sup \(| f (x) | < 1\), für \(x \in G\), \(G\) eine beschränkte Menge in \(E\), betrachtet. Auf diese Weise wird auch in \(E^{**}\) eine Topologie eingeführt, die in \(E\) eine Topologie ergibt, die stärker ist als die ursprüngliche Topologie in \(E\), sofern nicht beide Topologien zusammenfallen, was eintritt, wenn \(E\) von 2. Kategorie ist. Die beschränkten Mengen bezüglich beider Topologien fallen jedoch stets zusammen. Weitere Sätze über Räume von 2. Kategorie und Zusammenhänge mit der schwachen Topologie in \(E\). Verlangt man von den linearen Funktionalen, daß sie stetig sind auch im Sinn der Limesdefinition in \(E\), so entsteht ein engerer Funktionalraum \(E^0\) . Entsprechend wird \(E^{00}\) gebildet, und die analogen Probleme werden erörtert. Beispiele. Keine Beweise.