Positiver Operator

Positiver Operator ist ein Begriff aus der Funktionalanalysis, der auf zwei unterschiedliche Arten verwendet wird. Einerseits kann ein Hilbertraum-Operator bzw. ein Element einer C^*-Algebra positiv im Sinne der Spektraltheorie sein. Andererseits nennt man Operatoren zwischen geordneten Vektorräumen positiv, wenn sie die Ordnungsstruktur erhalten. Beide Begriffe haben eine große Bedeutung in der Mathematik, wie in Beispielen ausgeführt wird.

Positive Hilbertraum-Operatoren

Sei H ein $\C$-Hilbertraum mit Skalarprodukt $\langle\cdot , \cdot \rangle$. Für einen linearen stetigen Operator $P:H\rightarrow H$ sind folgende Aussagen äquivalent:

• P ist selbstadjungiert und $\langle Px,x\rangle \ge 0$ für alle $x\in H$.
• P ist selbstadjungiert und das Spektrum von P liegt in ${\mathbb R}^+_0$.
• Es gibt einen stetigen linearen Operator $A \colon H\rightarrow H$ mit P = A ^* A.
• Es gibt einen selbstadjungierten Operator $A \colon H\rightarrow H$ mit P = A².

Ein Operator, der eine und damit alle diese Eigenschaften hat, heißt positiv. Ist der Hilbertraum endlichdimensional, so sind die Operatoren als Matrizen darstellbar. Die hier gegebene Definition der Positivität deckt sich mit der aus der linearen Algebra bekannten Positivität, das heißt eine Matrix ist positiv, wenn sie diagonalisierbar ist und alle Eigenwerte $\ge 0$ sind. Positive Matrizen spielen eine wichtige Rolle bei der Bestimmung von Extremwerten im mehrdimensionalen Fall.

In obiger Liste äquivalenter Charakterisierungen nimmt nur die erste Aussage direkten Bezug auf Hilbertraum-Elemente. Die drei anderen Aussage lassen sich direkt auf C^*-Algebren übertragen. Die Beziehung zur ersten Charakterisierung bleibt erhalten, da jede C^*-Algebra nach dem Satz von Gelfand-Neumark als Unteralgebra der C^*-Algebra der Operatoren auf einem Hilbertraum aufgefasst werden kann.

In der kommutativen C^*-Algebra C₀(X) der stetigen Funktionen auf einem lokalkompakten Raum, die im Unendlichen verschwinden, sind die positiven Elemente genau diejenigen Funktionen, deren Bild in ${\mathbb R}^+_0$ liegt.

Die positiven Elemente einer C^*-Algebra bilden einen Kegel und stellen daher ein wesentliches Strukturelement dar. Sie spielen eine wichtige Rolle in der Polarzerlegung. Die C*-Algebra erhält eine Ordnungsstruktur durch die Definition: $A\le B:\Leftrightarrow B-A$ ist positiv. Das leitet zum nächsten Begriff positiver Operatoren über.

Positive Operatoren zwischen Ordnungsstrukturen

Vektorräume E mit einer partiellen Ordnung nennt man einen geordneten Vektorraum. Meistens verlangt man noch, dass diese Ordnungsstruktur mit der linearen Vektorraum-Struktur verträglich ist, d.h. dass für $x,y \in E$ mit $x,y \ge 0$ und $\lambda\in {\mathbb R}^+_0$ stets $x+y\ge 0$ und λx > = 0 gilt.

Beispiele solcher geordneter Vektorräume sind:

• $\mathbb R$ mit der üblichen Ordnungsstruktur.
• ${\mathbb R}^n$, wobei $(x_1,\ldots,x_n)\le (y_1,\ldots, y_n)$ genau dann, wenn $x_i \le y_i$ für alle i.
• L^p([0,1]), wobei $f\le g$, falls $f(x) \le g(x)$ fast überall.
• Eine C^*-Algebra mit der oben definierten Ordnungsstruktur.

Ein Operator $P:E\rightarrow F$ zwischen geordneten Vektorräumen heißt positiv oder monoton, wenn aus $x\ge 0$ stets $Px \ge 0$ folgt, d.h. wenn P die Ordnungsstrukturen erhält.

Ein bekanntes Beispiel ist der Bernstein-Operator P_n auf C[0,1], der jeder stetigen Funktion ihr n-tes Bernsteinpolynom zuordnet. Ist $f\ge 0$ (punktweise), so ist auch $P_n(f) \ge 0$ (punktweise), wie man leicht an der Formel $\textstyle P_n(f)(t) = \sum_{i=0}^n \tbinom{n}{i}\cdot f\left(\tfrac{i}{n}\right)\cdot t^i\, (1-t)^{n-i}$ abliest. Solche positiven Operatoren spielen in der Approximationstheorie eine wichtige Rolle, zum Beispiel im Satz von Korowkin.

Im folgenden Beispiel kommen beide Positivitätsbegriffe vor. Eine C^*-Algebra $\mathcal A$ ist nach obigem ein geordneter Raum. Die Menge $\mathbb C$ der komplexen Zahlen ist ebenfalls eine C^*-Algebra, der Kegel der positiven Elemente ist ${\mathbb R}^+_0$. Ein stetiges lineares Funktional $f:{\mathcal A} \rightarrow {\mathbb C}$ heißt positiv, wenn es ein positiver Operator zwischen den geordneten Räumen ist. Demnach ist f positiv, falls $f(A^*A) \ge 0$ für alle $A\in {\mathcal A}$. Diese positiven Funktionale spielen eine zentrale Rolle im Satz von Gelfand-Neumark.

Siehe auch

• Monotoner Operator

Quellen

• R. V. Kadison, J. R. Ringrose: Fundamentals of the Theory of Operator Algebras (1983)
• G. J. O. Jameson: Ordered Linear Spaces, Springer Lecture Notes no. 141 (1970)