Partielle Isometrie

Eine partielle Isometrie ist ein spezieller Typ von im mathematischen Teilgebiet der Funktionalanalysis untersuchten Operatoren. Dabei handelt es sich um Operatoren, die sich auf einem Untervektorraum wie eine Isometrie verhalten und sonst 0 sind, das erklärt ihren Namen. Mittels partieller Isometrien werden Äquivalenzen von Projektionen definiert.

Definition

Seien $H$ ein Hilbertraum und $U:H\rightarrow H$ ein stetiger linearer Operator. $U$ heißt eine partielle Isometrie, wenn die Einschränkung von $U$ auf das orthogonale Komplement von $\ker(U)$ eine Isometrie ist, d. h. $\forall x\in \ker(U)^{\perp }:\,\,\|Ux\|=\|x\|$.

Das orthogonale Komplement des Kerns einer partiellen Isometrie nennt man ihren Anfangsraum (engl. initial space), das Bild einer partiellen Isometrie heißt ihr Zielraum (engl. final space). Demnach ist eine partielle Isometrie eine Isometrie zwischen ihrem Anfangsraum und ihrem Zielraum.

Beispiele

• Isometrien (speziell also auch unitäre Operatoren) sind partielle Isometrien mit der Besonderheit, dass $\ker(U)=\{0\}$.
• Orthogonalprojektionen sind partielle Isometrien mit der Besonderheit, dass der isometrische Anteil, d. h. die Einschränkung der Orthogonalprojektion auf das orthogonale Komplement ihres Kerns, die Identität ist.
• $U={\begin{pmatrix}0&0&0&0\\1&0&0&0\\0&1&0&0\\0&0&0&0\end{pmatrix}}:{\mathbb {C} }^{4}\rightarrow {\mathbb {C} }^{4}$ ist eine partielle Isometrie mit Anfangsraum $\{(z_{1},z_{2},0,0);z_{i}\in {\mathbb {C} }\}$ und Zielraum $\{(0,z_{1},z_{2},0);z_{i}\in {\mathbb {C} }\}$. In diesem Beispiel liegt der Zielraum schräg zur Zerlegung Kern + Anfangsraum.

Eigenschaften

Ist $U$ eine partielle Isometrie, so ist $\mathrm {im} (U^{*}U)$ der Anfangsraum, $\mathrm {im} (UU^{*})$ ist der Zielraum.

Für einen stetigen, linearen Operator $U$ auf einem Hilbertraum sind folgende Aussagen äquivalent:

• $U$ ist eine partielle Isometrie.
• $U^{*}U$ ist eine Projektion.
• $U=UU^{*}U$

Mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U} ist auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U^*} eine partielle Isometrie, wobei Anfangs- und Zielraum ausgetauscht sind.

Äquivalenz von Projektionen

Es sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {\mathcal A}} eine Von-Neumann-Algebra, d. h. es gibt einen Hilbertraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H} , so dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {\mathcal A}\subset L(H)} eine C*-Algebra ist, die mit ihrem Bikommutanten übereinstimmt (siehe Bikommutantensatz). Zwei Orthogonalprojektionen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Q} aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {\mathcal A}} heißen äquivalent (bezüglich Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {\mathcal A}} ) und man schreibt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P \sim Q} , wenn es eine partielle Isometrie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U\in {\mathcal A}} mit Anfangsraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{im}(P)} und Zielraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{im}(Q)} gibt, das heißt in Formeln Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P=U^*U} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Q=UU^*} . Weiter schreibt man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P \precsim Q} , wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} äquivalent zu einer Unterprojektion von Q ist, das heißt, wenn es eine Projektion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P'} gibt mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P \sim P'} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P'=P'Q=QP'} .

Man kann zeigen, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sim} eine Äquivalenzrelation auf der Menge aller Projektionen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {\mathcal A}} ist, und dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \precsim} eine partielle Ordnung auf der Menge der Äquivalenzklassen definiert. Ferner ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P \,\sim Q} äquivalent zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P \precsim Q} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Q \precsim P} . Diese Ordnungsrelation spielt eine wichtige Rolle bei der Typklassifikation von Von-Neumann-Algebren.

Siehe auch

Partielle Isometrien spielen eine wichtige Rolle in der Polarzerlegung von Operatoren.

Quellen

• Paul Halmos: A Hilbert Space Problem Book, Springer-Verlag, ISBN 0387906851
• V. S. Sunder: An Invitation to Von Neumann Algebras (1987), ISBN 0387963561