Fast offene lineare Karte - Almost open linear map

In der Funktionsanalyse und verwandten Bereichen der Mathematik ist eine fast offene lineare Karte zwischen topologischen Vektorabständen (TVS) ein linearer Operator , der eine Bedingung erfüllt, die der Bedingung einer offenen Karte ähnlich, aber schwächer als diese ist .

Definition

Eine lineare Karte zwischen zwei topologischen Vektorräumen (TVS) wird als fast offen bezeichnet, wenn für eine Nachbarschaft von in der Schließung von in eine Nachbarschaft des Ursprungs ist.

Wichtig ist , dass einige Autoren Anruf ist fast offen , wenn für jede Nachbarschaft von in der Schließung des in (eher als in ) eine Umgebung des Ursprungs ist; In diesem Artikel wird diese Definition nicht verwendet.

Wenn ein bijektiver linearer Operator ist, dann ist fast offen , wenn und nur wenn ist fast kontinuierlich .

Eigenschaften

Beachten Sie, dass, wenn ein linearer Operator fast offen ist, ein Vektorunterraum , der eine Nachbarschaft von 0 in enthält, notwendigerweise surjektiv ist . Aus diesem Grund benötigen viele Autoren Surjektivität als Teil der Definition von "fast offen".

Offene Mapping-Theoreme

Satz : Wenn es sich um ein vollständig pseudometrisierbares TVS , ein Hausdorff-TVS und eine geschlossene und fast offene lineare Surjektion handelt, handelt es sich um eine offene Karte.
Theorem : Wenn ein surjektiver linearer Operator von einem lokalkonvexe Raum auf einen barrelled Raum dann fast geöffnet ist.
Theorem : Wenn ein surjektiver linearer Operator von einem TVS auf einen Baire Raum dann ist fast offen.
Satz : Angenommen, es handelt sich um einen kontinuierlichen linearen Operator von einem vollständigen pseudometrisierbaren TVS zu einem Hausdorff-TVS . Wenn das Bild von nicht ist mager in dann ist eine surjektive offene Karte und ist ein kompletter metrisierbar Raum.

Siehe auch

Verweise

Literaturverzeichnis