Satz vom abgeschlossenen Bild

Satz vom abgeschlossenen Bild

Der Satz vom abgeschlossenen Bild ist ein mathematischer Satz aus dem Teilgebiet der Funktionalanalysis. Er macht eine Aussage darüber, wann das Bild eines stetigen linearen Operators abgeschlossen ist.

Inhaltsverzeichnis

Motivation

Ist A:E\rightarrow F ein stetiger linearer Operator zwischen normierten Räumen, so erklärt man den dualen Operator A\,':F\,'\rightarrow E\,' durch A\,'(\psi):=\psi\circ A.

Für einen Unterraum U\subset E sei U^\circ := \{\phi\in E\,';\,\phi(x)=0\,\forall x\in U\}, das ist der Unterraum im Dualraum, der aus allen stetigen linearen Funktionalen besteht, die auf U verschwinden. Für einen Unterraum V\subset E\,' definiert man analog einen Unterraum in E durch die Formel ^\circ V := \{x\in E;\,\phi(x) = 0\,\forall \phi\in V\}. (In der Literatur findet man dafür auch die Bezeichnung V^\circ und nimmt damit eine Mehrdeutigkeit der Bezeichnung in Kauf.)

Mit Hilfe des Trennungssatzes (bzw. des Satzes von Hahn-Banach) zeigt man {\rm ker}(A\,') = {\rm im(A)}^\circ und {\rm ker}(A) = \,^\circ {\rm im}(A\,'), wobei ker und im für Kern und Bild eines Operators stehen. Eine derartige Beziehung ist aus der linearen Algebra vertraut. Entsprechend würde man eine analoge Formel wie {\rm im}(A) = \,^\circ {\rm ker}(A\,') erwarten, die aber im Allgemeinen nicht gelten kann, denn ^\circ {\rm ker}(A\,') ist stets abgeschlossen, das Bild eines stetigen linearen Operators hingegen im Allgemeinen nicht. Ist z.B. c0 der Banachraum aller Nullfolgen, so ist A:c_0\rightarrow c_0,\,(a_n)_n\mapsto (\tfrac{1}{n}\cdot a_n)_n ein stetiger linearer Operator mit dichtem (also nicht-abgeschlossenem) Bild. Ein derartiges Phänomen kann in der linearen Algebra, d.h. bei endlichdimensionalen Räumen, nicht auftreten. Um zu der aus der linearen Algebra erwarteten Formel zu gelangen, muss man also die Abgeschlossenheit des Bildraums voraussetzen. Dies erweist sich als ausreichend und äquivalent zur entsprechenden Aussage über den dualen Operator:

Satz vom abgeschlossenen Bild

Seien E und F Banachräume und A:E\rightarrow F ein stetiger linearer Operator. Dann sind folgende Aussagen äquivalent:

  • {\rm im}(A)^{ }\, ist abgeschlossen.
  • {\rm im}(A) =\, ^\circ {\rm ker}(A\,').
  • {\rm im}(A\,') ist abgeschlossen.
  • {\rm im}(A\,') = {\rm ker}(A)^\circ.

Für allgemeine normierte Räume gilt dieser Satz nicht. So hat z.B. A=id_{\ell^1}:\ell^1\rightarrow (\ell^1,\|\cdot\|_\infty) ein abgeschlossenes Bild (weil A surjektiv ist!), aber der duale Operator, der mit den üblichen Identifikationen bei Folgenräumen gleich der Inklusionsabbildung \ell^1\rightarrow \ell^\infty ist, hat kein abgeschlossenes Bild.

Anwendung

Sind A:E\rightarrow F und B:F\rightarrow G stetige lineare Operatoren zwischen Banachräumen, so kann man daraus die Sequenz

0\rightarrow E \stackrel{A}{\rightarrow} F \stackrel{B}{\rightarrow} G\rightarrow 0

bilden, wobei 0 für den Nullraum stehe, und die Frage nach der Exaktheit stellen. Die angegebene Sequenz ist genau dann exakt, wenn die duale Sequenz

0\rightarrow G\,' \stackrel{B\,'}{\rightarrow} F\,' \stackrel{A\,'}{\rightarrow} E\,'\rightarrow 0

exakt ist. Ist nämlich die Ausgangssequenz exakt, so sind die Bilder von A und B abgeschlossen mit im(A) = ker(B). Daher sind nach obigem Satz auch die Bilder von A\,' und B\,' abgeschlossen, und es folgt

{\rm ker}(B\,')={\rm im}(B)^\circ = G^\circ = 0
{\rm im}(B\,')={\rm ker}(B)^\circ = {\rm im}(A)^\circ = {\rm ker}(A\,')
{\rm im}(A\,')={\rm ker}(A)^\circ = 0^\circ = E\,' .

Das bedeutet Exaktheit der dualen Sequenz. Genauso folgt die Exaktheit der Ausgangssequenz aus der Exaktheit der dualen Sequenz.

Literatur

  • R. Meise, D. Vogt: Einführung in die Funktionalanalysis. Vieweg, 1992, ISBN 3-528-07262-8.

Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Satz vom Minimum und Maximum — Die Stetigkeit ist ein Konzept der Mathematik, das vor allem in den Teilgebieten der Analysis und der Topologie von zentraler Bedeutung ist. Eine Funktion heißt stetig, wenn verschwindend kleine Änderungen des Argumentes (der Argumente) nur zu… …   Deutsch Wikipedia

  • Satz vom Affen — Durch zufälliges Tippen von unendlicher Dauer auf einer Schreibmaschine werden mit Sicherheit alle Texte Shakespeares oder diverser Nationalbibliotheken entstehen. Das Infinite Monkey Theorem (v. engl. infinite „unendlich“; monkey „Affe“; theorem …   Deutsch Wikipedia

  • Satz (Grammatik) — Ein Satz ist eine aus einem Wort oder mehreren Wörtern bestehende in sich geschlossene sprachliche Einheit,[1] mit der eine Sprechhandlung vollzogen wird. Inhaltsverzeichnis 1 Begriff 1.1 Definitionsbefund 1.1.1 Schulduden …   Deutsch Wikipedia

  • Satz — Stoß; Menge; Haufen; Stapel; Rate; Tarif; Sprung; Zusammenstellung; Gruppe; Serie; Reihe; Set; Garnitur * * * Satz [zats̮] …   Universal-Lexikon

  • Liste mathematischer Sätze — Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A Satz von Abel Ruffini: eine allgemeine Polynomgleichung vom …   Deutsch Wikipedia

  • Adjungierte Abbildung — In der Funktionalanalysis kann zu jedem dicht definierten linearen Operator T ein adjungierter Operator (manchmal auch dualer Operator) T definiert werden. Lineare Operatoren können zwischen zwei Vektorräumen mit gemeinsamem Grundkörper K ( oder… …   Deutsch Wikipedia

  • Dualer Operator — In der Funktionalanalysis kann zu jedem dicht definierten linearen Operator T ein adjungierter Operator (manchmal auch dualer Operator) T definiert werden. Lineare Operatoren können zwischen zwei Vektorräumen mit gemeinsamem Grundkörper K ( oder… …   Deutsch Wikipedia

  • Selbstadjungiert — In der Funktionalanalysis kann zu jedem dicht definierten linearen Operator T ein adjungierter Operator (manchmal auch dualer Operator) T definiert werden. Lineare Operatoren können zwischen zwei Vektorräumen mit gemeinsamem Grundkörper K ( oder… …   Deutsch Wikipedia

  • Symmetrischer Operator — In der Funktionalanalysis kann zu jedem dicht definierten linearen Operator T ein adjungierter Operator (manchmal auch dualer Operator) T definiert werden. Lineare Operatoren können zwischen zwei Vektorräumen mit gemeinsamem Grundkörper K ( oder… …   Deutsch Wikipedia

  • Adjungierter Operator — In der Funktionalanalysis kann zu jedem dicht definierten linearen Operator T ein adjungierter Operator (manchmal auch dualer Operator) T * definiert werden. Lineare Operatoren können zwischen zwei Vektorräumen mit gemeinsamem Grundkörper K (… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”