Gewicht (Funktionalanalysis)

Gewichte werden im mathematischen Teilgebiet der Funktionalanalysis untersucht. Es handelt sich um eine Verallgemeinerung eines Zustandes auf einer C*-Algebra. Insbesondere in der Theorie der Von-Neumann-Algebren kann die Tomita-Takesaki-Theorie mittels gewisser Gewichte über den Fall der σ-endlichen Von-Neumann-Algebren hinaus ausgedehnt werden.

Definition

Es sei $A$ eine C*-Algebra, $A^{+}$ der positive Kegel, das heißt die Menge aller Elemente der Form $a^{*}a,a\in A$. Ein Gewicht auf $A$ ist eine Abbildung $\omega :A^{+}\to [0,\mathrm{\infty }]$ mit

• $\omega (a+b)=\omega (a)+\omega (b)$ für alle $a,b\in A^{+}$
• $\omega (\lambda a)=\lambda \omega (a)$ für alle $\lambda \in {ℝ}_0^{+}$ und $a\in A^{+}$.

Dabei werden die üblichen Rechenregeln für $\mathrm{\infty }$ verwendet, das heißt $x+\mathrm{\infty }=\mathrm{\infty }+x=\mathrm{\infty }$ für alle $x\in {ℝ}_0^{+}$, $x\cdot \mathrm{\infty }=\mathrm{\infty }\cdot x=\mathrm{\infty }$ für alle $x\in {ℝ}^{+}$ und $0\cdot \mathrm{\infty }=\mathrm{\infty }\cdot 0=0$. Zu einem Gewicht $\omega$ definiert man

$A_{+}^{\omega }:=\{a\in A^{+}|\omega (a)<\mathrm{\infty }\}$

$A^{\omega }$ = lineare Hülle von $A_{+}^{\omega }$

$L_{\omega }:=\{a\in A^{+}|\omega (a^{*}a)=0\}$

$A_2^{\omega }:=\{a\in A|\omega (a^{*}a)<\mathrm{\infty }\}$

Dann sind $A_2^{\omega }$ und $L_{\omega }$ Linksideale und $A^{\omega }$ ist eine Unter-C*-Algebra in $A$.

Gewichte mit zusätzlichen Eigenschaften

Für Gewichte werden folgende Eigenschaften betrachtet

• Ein Gewicht $\omega$ heißt dicht-definiert, falls $A_{+}^{\omega }\subset A^{+}$ bzgl. der Normtopologie dicht ist.
• Ein Gewicht $\omega$ auf einer Von-Neumann-Algebra heißt semi-endlich, falls $A_{+}^{\omega }\subset A^{+}$ bzgl. der schwachen Operatortopologie dicht ist.
• Ein Gewicht $\omega$ heißt treu, falls $L_{\omega }=\{0\}$ ist.
• Ein Gewicht $\omega$ heißt von unten halbstetig, falls $\{a\in A^{+}|\omega (a)\le \alpha \}$ für jedes $\alpha \in {ℝ}_0^{+}$ abgeschlossen ist.
• Ein Gewicht $\omega$ auf einer Von-Neumann-Algebra $A$ heißt normal, wenn folgendes gilt: Ist $(a_i{)}_{i\in I}$ ein monoton wachsendes Netz in $A^{+}$ mit Supremum $a\in A^{+}$, so gilt $\underset{i\in I}{\sup }\omega (a_i)=\omega (a)$.
• Ein Gewicht $\omega$ heißt Spurgewicht, falls zusätzlich $\omega (ua{u}^{*})=\omega (a)$ für alle unitären Elemente $u\in A$.

Beispiele

Beschränkte Gewichte

Ein Funktional $f$ auf einer C*-Algebra $A$ heißt positiv, falls $f(a^{*}a)\ge 0$ für alle $a\in A$. Dann ist die Einschränkung $f{|}_{A^{+}}$ offenbar ein Gewicht mit der Besonderheit, dass das Bild in $[0,\mathrm{\infty })$ liegt. Ist umgekehrt $\omega$ ein von 0 verschiedenes Gewicht mit Bild in ${ℝ}_0^{+}$, das heißt mit $A_{+}^{\omega }=A^{+}$, so gibt es ein positives Funktional $f$ mit $\omega =f{|}_{A^{+}}$

Summen von Funktionalen

Ist $(f_i{)}_{i\in I}$ eine Familie positiver Funktionale auf $A$, so ist durch

$\omega (a):=\sum _{i\in I}{f}_i(a),a\in A^{+}$

ein Gewicht aus $A$ erklärt.

Ist zum Beispiel $({\xi }_i{)}_{i\in I}$ einer Orthonormalbasis eines Hilbertraums $H$, so ist die Summe der zugehörigen Vektorzustände ein Gewicht auf $L(H)$, der Von-Neumann-Algebra der stetigen, linearen Operatoren auf $H$. Durch

$\omega (a):=\sum _{i\in I}⟨a{\xi }_i,{\xi }_i⟩,a\in A^{+}$.

ist ein normales Spurgewicht definiert und man kann zeigen, dass dieses nicht von der Auswahl der Orthonormalbasis abhängt. Es ist

$L(H{)}_{+}^{\omega }:={𝒮}_1(H{)}^{+}$ die Menge der positiven Elemente der Spurklasse,

$L_{\omega }:=\{0\}$, das heißt $\omega$ ist treu,

$L(H{)}_2^{\omega }:={𝒮}_2(H)$ die H*-Algebra der Hilbert-Schmidt-Operatoren.

Maße

Es sei $\mu$ ein positives Maß auf einem lokalkompakten Hausdorffraum $X$ und $A=C_0(X)$ die C*-Algebra der stetigen Funktionen auf $X$, die im Unendlichen verschwinden. Dann ist die Abbildung

$\omega :C_0(X{)}^{+}\to [0,\mathrm{\infty }],f\mapsto \underset{X}{\int }f\mathrm{d}\mu$

ein Gewicht. Beschränkte Maße führen zu beschränkten Gewichten, das heißt zu positiven linearen Funktionalen.

Anwendungen und Eigenschaften

Normalität

Wie bei den normalen Zuständen gibt es auch für Gewichte verschiedene Charakterisierungen der Normalität. Für ein Gewicht $\omega$ auf einer Von-Neumann-Algebra $A$ sind äquivalent

• $\omega$ ist normal, das heißt für monotone Netze $(a_i{)}_{i\in I}\to a\in A^{+}$ gilt $\omega (a_i)\to \omega (a)$.
• $\omega$ ist additiv, das heißt für jede Familie $(a_i{)}_{i\in I}$ in $A^{+}$ mit $\sum _{i\in I}{a}_i=a\in A^{+}$ gilt $\omega (\sum _{i\in I}{a}_i)=\sum _{i\in I}\omega (a_i)$.
• Ist $(a_i{)}_{i\in I}$ ein ultraschwach konvergentes Netz mit Limes $a$ in $A^{+}$, so ist $\omega (a)\le \underset{i\in I}{\mathrm{lim\; sup}}\omega (a_i)$.
• Es gibt eine Familie $({\phi }_i{)}_{i\in I}$ positiver, normaler Funktionale mit $\omega (a)=\underset{i\in I}{\sup }{\phi }_i(a)$ für alle $a\in A^{+}$.
• Es gibt eine Familie $({\phi }_i{)}_{i\in I}$ positiver, normaler Funktionale mit $\omega (a)=\sum _{i\in I}{\phi }_i(a)$ für alle $a\in A^{+}$.

GNS-Konstruktion

Die für Zustände bekannte GNS-Konstruktion kann man im Wesentlichen auch für Gewichte $\omega$ auf einer C*-Algebra $A$ durchführen. Durch die Formel

$⟨a+L_{\omega },b+L_{\omega }⟩:=\omega (b^{*}a),a,b\in A_2^{\omega }$

wird ein Skalarprodukt auf $A_2^{\omega }/L_{\omega }$ definiert, die Vervollständigung ist ein Hilbertraum $H_{\omega }$. Die durch

$b+L_{\omega }\mapsto ab+L_{\omega },a\in A,b\in A_2^{\omega }$

definierten Operatoren auf $A_2^{\omega }/L_{\omega }$ setzen sich zu stetigen, linearen Operatoren ${\pi }_{\omega }(a)$ auf $H_{\omega }$ fort, so dass

${\pi }_{\omega }:A\to L(H_{\omega })$

eine Hilbertraum-Darstellung definiert. Ist $\omega$ treu und semi-endlich, so ist ${\pi }_{\omega }$ treu. Ist $\omega$ ein normales Gewicht auf einer Von-Neumann-Algebra, so ist ${\pi }_{\omega }(A)$ ebenfalls eine Von-Neumann-Algebra und die Darstellung ${\pi }_{\omega }$ ist normal.

Tomita-Takesaki-Theorie

Auf einer Von-Neumann-Algebra gibt es stets treue, normale und semi-endliche Gewichte. Auf dem Bild der zugehörigen GNS-Darstellung können gewisse Automorphismen definiert werden, die zur Tomita-Takesaki-Theorie führen.