Satz vom abgeschlossenen Graphen
Ein Operator
mit
heißt
abgeschlossen , wenn aus
in
und
in
stets
und
folgen.
Notwendig und hinreichend dafür ist die Abgeschlossenheit des Graphen des Operators
im Raum
,
d.h. der Menge
 |
(12.143) |
wobei
hier die Bezeichnung für ein Element der Menge
ist.
Es gilt: Ist
ein abgeschlossener Operator mit abgeschlossenem Definitionsbereich
,
dann ist
stetig.