Der Satz von Kato ist eine direkte Folgerung aus einem allgemeineren Satz, der lautet wie folgt:
Gibt es unter den obigen Voraussetzungen einen abgeschlossenen Unterraum derart, dass einerseits und andererseits die direkte Summe ein abgeschlossener Unterraum von ist, so muss bereits selbst ein abgeschlossener Unterraum von sein.
Andere Fassung
Der Satz von Kato ist in der Fachliteratur auch in einer anderen Fassung zu finden, welche zwischen der oben dargebotenen Version und der obigen Verallgemeinerung angesiedelt ist. Diese Fassung lautet wie folgt:
Es sei ein stetiger linearer Endomorphismus auf dem Banachraum und weiter ein abgeschlossener Unterraum von derart, dass einerseits und andererseits die direkte Summe ein abgeschlossener Unterraum von ist.
Dann ist der Bildraum bereits selbst ein abgeschlossener Unterraum von .
Verwandtes Resultat: Der Satz von Riesz über kompakte Operatoren
Die Bedeutung der im Satz von Kato aufgeworfenen Frage nach dem Zusammenhang zwischen Abgeschlossenheit und Kodimensionalität der Bildräume stetiger linearer Abbildungen zeigt sich auch bei der Untersuchung der kompakten Operatoren auf Banachräumen. Hierzu gilt ein klassischer Satz des ungarischen Mathematikers F. Riesz:
Es sei ein kompakter Operator auf dem Banachraum .
Dann hat der zugehörige Operator die folgenden Eigenschaften:
Harro Heuser nennt die Verallgemeinerung des Satzes von Kato ein wichtiges hinreichendes Kriterium.
In der obigen anderen Fassung spielt der Satz von Kato etwa in der Spektraltheorie eine bedeutende Rolle.
Im englischsprachigen Raum wird der Satz von Kato manchmal auch als closed range theorem of T. Kato bezeichnet.
Literatur
Harro Heuser:Funktionalanalysis. Theorie und Anwendung (=Mathematische Leitfäden). 4., durchgesehene Auflage. B. G. Teubner Verlag, Wiesbaden 2006, ISBN 978-3-8351-0026-8 (zbMATH Open).