Nullumgebung
Einleitung
[Bearbeiten]Der Lerneinheit betrachtet den Zusammenhang zwischen Nullumgebungen und der Stetigkeit der Addition und der Multiplikation mit Skalaren in einem topologischen Vektorraum ist fundamental für die Definition und die Eigenschaften eines topologischen Vektorraums. Ein topologischer Vektorraum ist ein Vektorraum, der mit einer Topologie ausgestattet ist, sodass die Vektorraumoperationen (Addition und Skalarmultiplikation) stetig sind.
Topologischer Vektorraum und Stetigkeit
[Bearbeiten]Ein topologischer Vektorraum ist ein Vektorraum über dem Körper , der mit einer Topologie als System von offenen Mengen ausgestattet ist, sodass die Addition und die Multiplikation mit Sklaren stetig sind. Diese Abbildungen sind wie folgt definiert:
Topologische Algebra und Stetigkeit
[Bearbeiten]Eine topologische Algebra ist ein topologischer Vektorraum über dem Körper , der mit einer Topologie als System von offenen Mengen ausgestattet ist, sodass zusätzlich die gegebene Multiplikation als innere Verknüpfung ebenfalls stetig ist. Diese Abbildung sind wie folgt definiert:
Produkttopologie
[Bearbeiten]Die Vektoräume und werden dabei jeweils mit der Produkttopologie versehen und die Stetigkeit bzgl. dieser Produkttopologie betrachtet.
Topologisierungslemma
[Bearbeiten]Nach dem Topologisierungslemma für topologische Vektoräume lässt sich die Topologie auch durch ein System erzeugen. Mit diesem Gaugefunktionalsystem kann man ein Gaugefunktionalsystem auf erzeugen lässt. Dabei können Gaugefunktional auf wie folgt definiert werden:
Analog kann man auf dem Raum die Produkttopologie mit folgendem Gaugefunktionalsystem erzeugen.
Schritt 1 - Nullumgebung
[Bearbeiten]Eine Nullumgebung in einem topologischen Vektorraum ist eine offene Menge, die den Nullvektor enthält. Die Topologie ist bereits vollständig durch die Menge der Nullumgebungen aus der Topologie von vollständig definiert. Die Addition ist eine lineare Abbildung, daher muss man nach dem Stetigkeitssatz für lineare Abbildungen nur, die Stetigkeit im Nullvektor des kartesischen Produktes nachweisen. Die Multiplikation mit Skalaren und die Multiplikation als innere Verknüpfung sind bilineare Abbildungen und auch in diesem Fall reicht der Nachweis in bzw. .
Schritt 2 - Stetigkeit der Addition
[Bearbeiten]In einem topologischen Vektorraum sind durch die Stetigkeit der Addition mit einer Nullumgebung auch verschobene Nullumgebungen Umgebungen von . Die Stetigkeit der Addition bedeutet, dass für jede Nullumgebung in und für jedes eine Nullumgebung existiert, sodass .
Schritt 3 - Definition der Addition
[Bearbeiten]Die Addition ist eine Abbildung , . Um die Stetigkeit der Addition nachzuweisen, muss man nur die Stetigkeit in in der Produkttopologie nachweisen. Da . Muss man zu jeder Nullumgebung um eine Umgebung um finden, sodass gilt.
Schritt 4 - Stetigkeit der Addition
[Bearbeiten]Da der Schnitt von zwei offenen Nullumgebungen wieder offen ist, reicht es, eine Nullumgebung zu finden, die die folgende Eigenschaften erfüllt. Die Addition ist stetig, wenn für jede Nullumgebung in und für jedes eine Nullumgebung existiert, sodass:
Schritt 5 - Verwendung von Nullumgebungen
[Bearbeiten]Sei eine Nullumgebung in . Da die Addition stetig ist, existiert eine Nullumgebung , sodass:
Dies bedeutet, dass die Addition von Elementen, die nahe bei und liegen, ebenfalls nahe bei liegt.
Schritt 6 - Definition der Skalarmultiplikation
[Bearbeiten]Die Skalarmultiplikation ist eine Abbildung , .
Schritt 7 - Stetigkeit der Skalarmultiplikation
[Bearbeiten]Die Stetigkeit der Skalarmultiplikation bedeutet, dass für jede Nullumgebung in und für jedes und eine Nullumgebung in und eine Nullumgebung in existieren, sodass .
Zusammenfassung
[Bearbeiten]Der Zusammenhang zwischen Nullumgebungen und der Stetigkeit der Addition und der Multiplikation mit Skalaren in einem topologischen Vektorraum liegt darin, dass die Stetigkeit dieser Operationen durch die Existenz geeigneter Nullumgebungen sichergestellt wird. Die Nullumgebungen spielen eine zentrale Rolle bei der Definition der Topologie und der Stetigkeit der Vektorraumoperationen. Die Stetigkeit der Addition und der Skalarmultiplikation wird allein durch den Nachweis der Stetigkeit für die Addition und die Stetigkeit in für die Multiplikation mit Skalaren garantiert.