Vollstetiger Operator

Art von Operator

Vollstetige Operatoren werden im mathematischen Teilgebiet der Funktionalanalysis untersucht. Es handelt sich um gewisse lineare Operatoren zwischen Banachräumen, die eng mit den kompakten Operatoren zusammenhängen, sie werden auch Dunford-Pettis-Operatoren genannt.

Definition

Bearbeiten

Ein linearer Operator zwischen zwei Banachräumen heißt vollstetig, wenn das Bild jeder in der schwachen Topologie kompakten Menge in der Normtopologie des Bildraums kompakt ist.

In Formeln: Der lineare Operator   zwischen Banachräumen heißt vollstetig, wenn für alle schwach-kompakten   das Bild   normkompakt ist.

Diese Definition geht auf Hilbert zurück.[1] Genauer hat Hilbert folgende äquivalente Charakterisierung verwendet:

Ein linearer Operator zwischen Banachräumen ist genau dann vollstetig, wenn jede schwach-konvergente Folge auf eine normkonvergente Folge abgebildet wird.[2]

Bemerkungen

Bearbeiten
  • Nicht alle Autoren unterscheiden zwischen Vollstetigkeit und Kompaktheit. So verwendet Heuser diese Begriffe synonym und meint damit kompakte Operatoren.[3] Das ist insbesondere dann nicht unüblich, wenn sich Autoren ohnehin nur für Operatoren auf Hilberträumen interessieren. So nennt man C*-Algebren, deren sämtliche irreduzible Hilbertraumdarstellungen ihre Bilder in den kompakten Operatoren haben, CCR-Algebren, wobei CCR für completely continuous representation steht.[4] Es ist daher zu empfehlen, die vom jeweiligen Autor verwendete Definition der Vollstetigkeit zu prüfen.
  • Der Raum der vollstetigen Operatoren zwischen zwei Banachräumen ist ein abgeschlossener Unterraum des Raumes aller beschränkten Operatoren zwischen diesen Banachräumen.[5] Ferner erfüllen die vollstetigen Operatoren die Idealeigenschaft, das heißt ein Produkt zweier Operatoren zwischen Banachräumen ist vollstetig, sobald einer der Faktoren es ist.
  • Der Begriff des vollstetigen Operators wird in der Definition der Dunford-Pettis-Eigenschaft verwendet. Daher nennt man vollstetige Operatoren auch Dunford-Pettis-Operatoren.[6]
  • Jeder stetige lineare Operator   in einen Banachraum   ist vollstetig, denn nach einem Satz von Issai Schur ist jede schwach-konvergente Folge in   bereits normkonvergent.[7][8]

Vergleich mit kompakten Operatoren

Bearbeiten

Kompakte Operatoren werden ganz ähnlich definiert, dort verlangt man, dass das Bild jeder beschränkten Menge relativ kompakt ist, das heißt einen kompakten Abschluss hat.

Für einen Operator   zwischen Banachräumen gilt

 

Die Umkehrungen gelten nicht. So ist die Identität auf dem Folgenraum   vollstetig aber nicht kompakt. Die Identität auf   ist stetig aber nicht vollstetig.

In obiger Definition der Vollstetigkeit wird von   Normkompaktheit gefordert und nicht nur relative Kompaktheit wie in der Definition des kompakten Operators. Das macht hier keinen Unterschied, denn ist   ein vollstetiger Operator, so ist er stetig bzgl. der Normtopologien (auch wenn man in der Definition nur relative Kompaktheit verlangt) und daher auch stetig bzgl. der schwachen Topologien. Also ist das Bild   einer schwach-kompakten Menge stets schwach-kompakt und daher schwach-abgeschlossen, erst recht also normabgeschlossen, so dass relative Kompaktheit hier bereits Normkompaktheit bedeutet.

Für Operatoren auf reflexiven Banachräumen mit Werten in beliebigen Banachräumen fallen die Begriffe Vollstetigkeit und Kompaktheit zusammen, denn beschränkte Mengen und relativ schwach-kompakte Mengen sind in reflexiven Räumen identisch.[9]

Vergleich mit schwach-kompakten Operatoren

Bearbeiten

Die Klassen der vollstetigen und der schwach-kompakten Operatoren umfassen beide die Klasse der kompakten Operatoren und liegen beide in der Klasse der stetigen Operatoren. Eine allgemeine Beziehung zwischen vollstetigen und schwach-kompakten Operatoren besteht allerdings nicht.[10]

Die Identität auf   ist nach obigem vollstetig, sie ist aber nicht schwach-kompakt, denn sonst wäre die beschränkte Einheitskugel in   schwach-kompakt und   wäre reflexiv, was aber nicht der Fall ist.

Die Identität auf   ist schwach-kompakt, denn   ist reflexiv, aber sie ist nicht vollstetig, denn sonst wäre die schwach-kompakte Einheitskugel norm-kompakt und   wäre endlichdimensional, was aber nicht der Fall ist.

Es gibt eine wichtige Klasse von Räumen, auf denen alle schwach-kompakten Operatoren vollstetig sind, das sind die Räume mit der Dunford-Pettis-Eigenschaft.

Einzelnachweise

Bearbeiten
  1. David Hilbert: Grundzüge einer allgemeinen Theorie der linearen Integralgleichungen IV. In: Nachrichten der Königlichen Gesellschaft der Wissenschaften Göttingen, Mathematik-Physik. 1906, S. 157–227.
  2. Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Satz 3.4.36.
  3. Harro Heuser: Funktionalanalysis. Teubner-Verlag 1975, ISBN 3-519-02206-0, S. 76.
  4. W. Arveson: Invitation to C*-algebras. Springer, 1998, ISBN 0-387-90176-0, Definition 1.5.1.
  5. Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Aufgabe 3.49.
  6. Terry J. Morrison: Functional Analysis: An Introduction to Banach Space Theory. Wiley 2001, ISBN 0-471-37214-5, Definition 6.6.
  7. J. Schur: Über lineare Transformationen in der Theorie der unendlichen Reihen. J. Reine Angewandte Mathematik 151 (1920), S. 79–111.
  8. Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, S. 219 unten.
  9. Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Satz 3.4.37.
  10. Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, vor Definition 3.5.15.