In der Funktionalanalysis und verwandten Gebieten der Mathematik ist ein Ultrabarrelraum ein topologischer Vektorraum (TVS), bei dem jedes Ultrabarrel eine Umgebung des Ursprungs ist.

Definition

Eine Teilmenge eines TVS heißt Ultrafass, wenn sie eine abgeschlossene und balancierte Teilmenge von ist und wenn es eine Folge abgeschlossener, balancierter und absorbierender Teilmengen von gibt, sodass für alle gilt . In diesem Fall heißt die Folge definierende Folge für . Ein TVS heißt ultrafassig, wenn jedes Ultrafass in eine Umgebung des Ursprungs ist. [ 1 ]

Eigenschaften

Ein lokal konvexer ultrabarrellierter Raum ist ein Barrel-Raum . [ 1 ] Jeder ultrabarrellierte Raum ist ein quasi-ultrabarrellierter Raum . [ 1 ]

Beispiele und hinreichende Bedingungen

Vollständige und metrisierbare TVSs sind ultrabarreliert. [ 1 ] Ist ein vollständiger, lokal beschränkter , nicht lokal konvexer TVS und ist eine abgeschlossene , balancierte und beschränkte Umgebung des Ursprungs, so ist ein Ultrabarrel, der nicht konvex ist und dessen definierende Folge aus nicht konvexen Mengen besteht. [ 1 ]

Gegenbeispiele

Es gibt tonnenförmige Räume , die nicht ultratonnenförmig sind. [ 1 ] Es gibt TVSs, die vollständig und metrisierbar (und somit ultratonnenförmig) sind, aber nicht tonnenförmig. [ 1 ]

Siehe auch

Zitate

Bibliographie