Strikt singulärer Operator

Strikt singuläre Operatoren werden i​m mathematischen Teilgebiet d​er Funktionalanalysis behandelt. Es handelt s​ich um singuläre, d​as heißt nicht-invertierbare, lineare Operatoren zwischen Banachräumen m​it einer zusätzlichen, verschärfenden Eigenschaft, w​as zur Bezeichnung strikt singulär führt.

Definition

Ein stetiger, linearer Operator ${\displaystyle T:X\rightarrow Y}$ zwischen Banachräumen ${\displaystyle X}$ und ${\displaystyle Y}$ heißt strikt singulär, wenn es keinen unendlichdimensionalen Unterbanachraum ${\displaystyle Z\subset X}$ gibt, so dass die Einschränkung ${\displaystyle T|_{Z}:Z\rightarrow T(Z)}$ ein Banachraum-Isomorphismus, das heißt ein linearer Homöomorphismus, ist.[1][2]

Auf endlichdimensionalen Räumen ist demnach jeder Operator strikt singulär, denn die definierende Bedingung ist leer, da es überhaupt keine unendlichdimensionalen Unterräume gibt. Hier sind sogar invertierbare Operatoren strikt singulär. Dieser Begriff wird erst für unendlichdimensionale Räume sinnvoll. Auf solchen Räumen sind strikt singuläre Operatoren singulär, denn mit den Bezeichnungen der Definition muss die Bedingung ja auch für ${\displaystyle Z=X}$ gelten. Aber darüber hinaus muss die Bedingung für alle unendlichdimensionalen Unterbanachräume gelten, so dass es sich um eine Verschärfung der Singularität handelt.

Beispiele

• Kompakte Operatoren sind strikt singulär, denn mit den Bezeichnungen obiger Definition ist jeder Operator ${\displaystyle T|_{Z}:Z\rightarrow T(Z)}$ ebenfalls kompakt und kann daher kein Banachraum-Isomorphismus zwischen unendlichdimensionalen Banachräumen sein.
• Schwach-kompakte Operatoren ${\displaystyle T:X\rightarrow Y}$ sind im Allgemeinen nicht strikt singulär, ein einfaches Gegenbeispiel ist der identische Operator auf einem unendlichdimensionalen reflexiven Raum, der schwach-kompakt und sogar invertierbar ist. Hat aber ${\displaystyle X}$ die Dunford-Pettis-Eigenschaft, so ist jeder schwach-kompakte Operator ${\displaystyle T:X\rightarrow Y}$ strikt singulär.[3]
• Ist ${\displaystyle 1\leq p<r}$, so ist jeder stetige, lineare Operator ${\displaystyle T:\ell ^{p}\rightarrow \ell ^{r}}$ strikt singulär.[4] Insbesondere ist die natürliche Einbettung ${\displaystyle \ell ^{p}\rightarrow \ell ^{r}}$ der Folgenräume strikt singulär aber nicht kompakt.

Eigenschaften

Strikt singuläre Operatoren s​ind eng m​it kompakten Operatoren verbunden, e​s gilt d​er folgende a​uf T. Kato zurückgehende Satz:[5]

• Ein stetiger, linearer Operator ${\displaystyle T:X\rightarrow Y}$ zwischen Banachräumen ist genau dann strikt singulär, wenn es zu jedem unendlichdimensionalen Unterbanachraum ${\displaystyle X_{1}\subset X}$ einen unendlichdimensionalen Unterbanachraum ${\displaystyle X_{2}\subset X_{1}}$ gibt, so dass ${\displaystyle T|_{X_{2}}:X_{2}\rightarrow Y}$ kompakt ist.

Ferner h​aben strikt singuläre Operatoren d​ie erwarteten sogenannten Idealeigenschaften, d​as heißt:

• Die Menge aller strikt singulären Operatoren zwischen zwei Banachräumen ist in der Operatornorm ein abgeschlossener Unterraum des Raums der stetigen, linearen Operatoren und ist ${\displaystyle TS}$ ein Produkt von Operatoren, von denen einer strikt singulär ist, so ist auch das Produkt strikt singulär.[6]

Man beachte allerdings, dass der adjungierte Operator zu einem strikt singulären Operator im Allgemeinen nicht strikt singulär ist, hier verhalten sich strikt singuläre Operatoren nicht wie kompakte Operatoren (siehe Satz von Schauder). Zur Konstruktion eines Gegenbeispiels beachte, dass jeder separable Banachraum Quotient von ${\displaystyle \ell ^{1}}$. Es gibt also eine Quotientenabbildung ${\displaystyle \ell ^{1}\rightarrow \ell ^{2}}$, die nach obigen Beispielen strikt singulär ist. Die adjungierte Abbildung ${\displaystyle \ell ^{2}\rightarrow \ell ^{\infty }}$ ist nicht strikt singulär.[7]

Einzelnachweise

1. F. Albiac, N. J. Kalton: Topics in Banach Space Theory: Springer-Verlag (2006), ISBN 978-0-387-28142-1, Definition 2.1.8
2. Y. A. Abramovich, C. D. Aliprantis: An Invitation to Operator Theory, Oxford University Press ( 2002), ISBN 0-821-82146-6, Definition 4.56
3. F. Albiac, N. J. Kalton: Topics in Banach Space Theory: Springer-Verlag (2006), ISBN 978-0-387-28142-1, Theorem 5.5.1
4. F. Albiac, N. J. Kalton: Topics in Banach Space Theory: Springer-Verlag (2006), ISBN 978-0-387-28142-1, Satz 2.1.9
5. Y. A. Abramovich, C. D. Aliprantis: An Invitation to Operator Theory, Oxford University Press ( 2002), ISBN 0-821-82146-6, Satz 4.61
6. Y. A. Abramovich, C. D. Aliprantis: An Invitation to Operator Theory, Oxford University Press (2002), ISBN 0-821-82146-6, Korollar 4.62
7. Y. A. Abramovich, C. D. Aliprantis: An Invitation to Operator Theory, Oxford University Press ( 2002), ISBN 0-821-82146-6, Kapitel 4.5, Aufgabe 6