Partielle Isometrie

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 Teilraum wie eine Isometrie verhalten und sonst 0 sind, das erklärt ihren Namen. Mittels partieller Isometrien werden Äquivalenzen von Projektionen definiert.

Inhaltsverzeichnis

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 im(U * U) der Anfangsraum, 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 U ist auch U * eine partielle Isometrie, wobei Anfangs- und Zielraum ausgetauscht sind.

Äquivalenz von Projektionen

Es sei {\mathcal A} eine von-Neumann-Algebra, d.h. es gibt einen Hilbertraum H, so dass {\mathcal A}\subset L(H) eine C*-Algebra ist, die mit ihrem Bikommutanten übereinstimmt (siehe Bikommutantensatz). Zwei Orthogonalprojektionen P und Q aus {\mathcal A} heißen äquivalent (bezüglich {\mathcal A}) und man schreibt P\, \sim Q, wenn es eine partielle Isometrie U mit Anfangsraum im(P) und Zielraum im(Q) gibt, das heißt in Formeln P = U * U und Q = UU * . Weiter schreibt man P \precsim Q, wenn P äquivalent zu einer Unterprojektion von Q ist, das heißt wenn es eine Projektion P' gibt mit P \,\sim P',\,\,P' =P'Q=QP'.

Man kann zeigen, dass eine Äquivalenzrelation auf der Menge aller Projektionen von {\mathcal A} ist, und dass \precsim eine partielle Ordnung auf der Menge der Äquivalenzklassen definiert. Ferner ist P \,\sim Q äquivalent zu P \precsim Q und 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


Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

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

  • Isometrie partielle — Isométrie partielle En analyse fonctionnelle, une isométrie partielle est une application linéaire entre deux espaces de Hilbert dont la restriction au complément orthogonal de son noyau est une isométrie. Ce complément orthogonal du noyau est… …   Wikipédia en Français

  • Isométrie Partielle — En analyse fonctionnelle, une isométrie partielle est une application linéaire entre deux espaces de Hilbert dont la restriction au complément orthogonal de son noyau est une isométrie. Ce complément orthogonal du noyau est appelé le sous… …   Wikipédia en Français

  • Isométrie partielle — En analyse fonctionnelle, une isométrie partielle est une application linéaire entre deux espaces de Hilbert dont la restriction au complément orthogonal de son noyau est une isométrie. Ce complément orthogonal du noyau est appelé le sous… …   Wikipédia en Français

  • Dimensionsfunktion — Die hier vorgestellte Typklassifikation teilt die in der Mathematik untersuchten von Neumann Algebren in Klassen ein, die man Typ nennt. Diese auf Francis J. Murray und John von Neumann zurückgehende Klassifizierung beruht auf einer Analyse der… …   Deutsch Wikipedia

  • Diskrete von-Neumann-Algebra — Die hier vorgestellte Typklassifikation teilt die in der Mathematik untersuchten von Neumann Algebren in Klassen ein, die man Typ nennt. Diese auf Francis J. Murray und John von Neumann zurückgehende Klassifizierung beruht auf einer Analyse der… …   Deutsch Wikipedia

  • Echt unendliche von-Neumann-Algebra — Die hier vorgestellte Typklassifikation teilt die in der Mathematik untersuchten von Neumann Algebren in Klassen ein, die man Typ nennt. Diese auf Francis J. Murray und John von Neumann zurückgehende Klassifizierung beruht auf einer Analyse der… …   Deutsch Wikipedia

  • Endliche von-Neumann-Algebra — Die hier vorgestellte Typklassifikation teilt die in der Mathematik untersuchten von Neumann Algebren in Klassen ein, die man Typ nennt. Diese auf Francis J. Murray und John von Neumann zurückgehende Klassifizierung beruht auf einer Analyse der… …   Deutsch Wikipedia

  • Rein unendliche von-Neumann-Algebra — Die hier vorgestellte Typklassifikation teilt die in der Mathematik untersuchten von Neumann Algebren in Klassen ein, die man Typ nennt. Diese auf Francis J. Murray und John von Neumann zurückgehende Klassifizierung beruht auf einer Analyse der… …   Deutsch Wikipedia

  • Semiendliche von-Neumann-Algebra — Die hier vorgestellte Typklassifikation teilt die in der Mathematik untersuchten von Neumann Algebren in Klassen ein, die man Typ nennt. Diese auf Francis J. Murray und John von Neumann zurückgehende Klassifizierung beruht auf einer Analyse der… …   Deutsch Wikipedia

  • Stetige von-Neumann-Algebra — Die hier vorgestellte Typklassifikation teilt die in der Mathematik untersuchten von Neumann Algebren in Klassen ein, die man Typ nennt. Diese auf Francis J. Murray und John von Neumann zurückgehende Klassifizierung beruht auf einer Analyse der… …   Deutsch Wikipedia

Share the article and excerpts

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