Dichtheitssatz von Kaplansky

Dichtheitssatz von Kaplansky

Der Dichtheitssatz von Kaplansky (nach Irving Kaplansky) zählt zu den grundlegenden Sätzen der Theorie der von Neumann-Algebren. Dabei handelt es sich um eine Reihe von Aussagen über Approximierbarkeit bzgl. der starken Operatortopologie.

Inhaltsverzeichnis

Formulierung des Satzes

Sei A\subset L(H) eine bzgl. der Involution abgeschlossene Unteralgebra der stetigen linearen Operatoren auf dem Hilbertraum H. Wir betrachten auf L(H) die starke Operatortopologie, d.h. die Topologie der punktweisen Normkonvergenz: Ein Netz (Ti)i konvergiert genau dann gegen 0, wenn \|T_ix\|\rightarrow 0 für alle x\in H. Der Abschluss in dieser Topologie, der sogenannte starke Abschluss, werde mit einem Querstrich bezeichnet. In dieser Situation gilt der Dichtheitssatz von Kaplansky:

  • Ist T\in L(H) mit \|T\|\le 1 durch Operatoren aus A approximierbar (bzgl. der starken Operatortopologie), so kann man T auch durch Operatoren aus A mit Norm kleiner gleich 1 approximieren:

\{T\in \overline{A};\, \|T\|\le 1\} = \overline{\{T\in A;\, \|T\|\le 1\}}.

  • Ist T\in L(H) selbstadjungiert mit \|T\|\le 1 durch Operatoren aus A approximierbar, so kann man T auch durch selbstadjungierte Operatoren aus A mit Norm kleiner gleich 1 approximieren:

\{T\in \overline{A};\, \|T\|\le 1, T^*=T\} = \overline{\{T\in A;\, \|T\|\le 1, T^*=T\}}.

  • Ist T\in L(H) positiv mit \|T\|\le 1 durch Operatoren aus A approximierbar, so kann man T auch durch positive Operatoren aus A mit Norm kleiner gleich 1 approximieren:

\{T\in \overline{A};\, \|T\|\le 1, T\ge 0\} = \overline{\{T\in A;\, \|T\|\le 1, T\ge 0\}}.

  • Ist A eine C*-Algebra und der unitäre Operator T\in L(H) durch Operatoren aus A approximierbar, so kann man T auch durch unitäre Operatoren aus A approximieren:

\{T\in \overline{A};\, \|T\|\le 1, T^*=T^{-1}\} = \overline{\{T\in A;\, \|T\|\le 1, T^*=T^{-1}\}}.

Man beachte, dass obige Aussage über selbstadjungierte Operatoren nicht trivial aus der ersten Aussage folgt, denn die Involution ist bzgl. der starken Operatortopologie unstetig: Ist S \in L(\ell^2) der Shiftoperator, so ist (S^n)^*\to 0 in der starken Operatortopologie, aber ((S^n)^*)^*\,=\,S^n konvergiert nicht gegen 0.

Es ist klar, dass man in den ersten drei Punkten obigen Satzes die Bedingungen \|\cdot \| \le 1 zu \|\cdot \| \le r für jedes r > 0 verallgemeinern kann, denn die Multiplikation mit dem Skalar r ist ein Homöomorphismus.

Bedeutung

Der Dichtheitssatz von Kaplansky stellt für viele Sätze aus der Theorie der C*-Algebren und von-Neumann-Algebren ein wichtiges technisches Hilfsmittel dar, er ist ein grundlegender Satz in der Theorie der von-Neumann-Algebren. Gert K. Pedersen schreibt in seinem Buch C*-Algebras and Their Automorphism Groups:

The density theorem is Kaplansky's great gift to mankind. It can be used every day, and twice on Sundays.

(Der Dichtheitssatz ist Kaplanskys großes Geschenk an die Menschheit. Man kann ihn täglich benutzen, und sonntags zweimal.)

Typische Anwendung

  • Sei H ein separabler Hilbertraum und A\subset L(H) eine bzgl. der Involution abgeschlossene Unteralgebra. Dann kann man jedes T\in\overline{A} durch eine Folge aus A approximieren.

Zum Beweis sei (xn)n eine dichte Folge in H. Ist r=\|T\|, so kann man nach obigem Dichtheitssatz von Kaplansky zu jedem n\in \N ein T_n\in A mit \|T_n\|\le r und \| T_n x_k - T x_k \| < 1/n,\, k=1,\ldots, n finden. Ist nun x\in H, so gibt zu \epsilon > 0 ein N\in \N mit \|x_N-x\|<\frac{\epsilon}{3r} . Dann gilt für alle n\ge \max\{\frac{3}{\epsilon},N\}

 \|T_n x-T x\| \le \|T_n\|\|x- x_N\|+\|T_n x_N-T x_N\|+\|T\|\|x_N-x\| \le r\frac{\epsilon}{3r} + \frac{1}{n} + r\frac{\epsilon}{3r} \le \epsilon

und daher T_n\rightarrow T in der starken Operatortopologie.

Man sieht an diesem Beweis sehr schön, wie das Argument davon abhängt, dass man die approximierenden Operatoren in der Operatornorm beschränkt wählen kann, und dazu dient der Dichtheitssatz von Kaplansky.

Literatur


Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

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

  • Von-Neumann-Algebra — Eine von Neumann Algebra oder W* Algebra ist eine mathematische Struktur in der Funktionalanalysis. Inhaltsverzeichnis 1 Definition 2 Faktoren 3 Kommutative von Neumann Algebren 4 Eigensch …   Deutsch Wikipedia

  • Faktor (von-Neumann-Algebra) — Eine von Neumann Algebra oder W* Algebra ist eine mathematische Struktur in der Funktionalanalysis. Inhaltsverzeichnis 1 Definition 2 Faktoren 3 Kommutative von Neumann Algebren 4 Eigenschaften 5 Literatur …   Deutsch Wikipedia

  • Irving Kaplansky — Irving Kaplansky, 1989 Irving Kaplansky (* 22. März 1917 in Toronto, Ontario; † 25. Juni 2006 in Los Angeles) war ein US amerikanischer Mathematiker, der sich mit Algebra beschäftigte. Leben und Wirken Kaplansky …   Deutsch Wikipedia

  • Einhüllende von-Neumann-Algebra — Hilbertraum Darstellungen sind eine wichtige mathematische Methode zur Untersuchung von Banach * Algebren, insbesondere C* Algebren und Faltungsalgebren lokalkompakter Gruppen. Es handelt sich dabei um Darstellungen als Algebren von Operatoren… …   Deutsch Wikipedia

  • Transitivitätssatz von Kadison — Hilbertraum Darstellungen sind eine wichtige mathematische Methode zur Untersuchung von Banach * Algebren, insbesondere C* Algebren und Faltungsalgebren lokalkompakter Gruppen. Es handelt sich dabei um Darstellungen als Algebren von Operatoren… …   Deutsch Wikipedia

  • Bikommutantensatz — Eine von Neumann Algebra oder W* Algebra ist eine mathematische Struktur in der Funktionalanalysis. Inhaltsverzeichnis 1 Definition 2 Faktoren 3 Kommutative von Neumann Algebren 4 Eigenschaften 5 Literatur …   Deutsch Wikipedia

  • Kommutante — Eine von Neumann Algebra oder W* Algebra ist eine mathematische Struktur in der Funktionalanalysis. Inhaltsverzeichnis 1 Definition 2 Faktoren 3 Kommutative von Neumann Algebren 4 Eigenschaften 5 Literatur …   Deutsch Wikipedia

  • W*-Algebra — Eine von Neumann Algebra oder W* Algebra ist eine mathematische Struktur in der Funktionalanalysis. Inhaltsverzeichnis 1 Definition 2 Faktoren 3 Kommutative von Neumann Algebren 4 Eigenschaften 5 Literatur …   Deutsch Wikipedia

  • Atomare Darstellung — Hilbertraum Darstellungen sind eine wichtige mathematische Methode zur Untersuchung von Banach * Algebren, insbesondere C* Algebren und Faltungsalgebren lokalkompakter Gruppen. Es handelt sich dabei um Darstellungen als Algebren von Operatoren… …   Deutsch Wikipedia

  • Einhüllende C*-Algebra — Hilbertraum Darstellungen sind eine wichtige mathematische Methode zur Untersuchung von Banach * Algebren, insbesondere C* Algebren und Faltungsalgebren lokalkompakter Gruppen. Es handelt sich dabei um Darstellungen als Algebren von Operatoren… …   Deutsch Wikipedia

Share the article and excerpts

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