Kreinraum

Kreinraum

In der Funktionalanalysis ist ein Kreinraum (nach Mark Krein) ein Hilbertraum mit einer abgeschwächten Struktur: einem i.A. indefiniten inneren Produkt anstelle des üblichen Skalarprodukts. Eine genaue Definition findet sich weiter unten. In vielen Anwendungen ist die Theorie der Kreinräume ein sehr nützliches Werkzeug, beispielsweise bei Operatormatrizen oder bei bestimmten Differentialoperatoren.

Inhaltsverzeichnis

Inneres Produkt

Es sei K ein komplexer Vektorraum mit einem indefiniten inneren Produkt  [\cdot,\cdot] :K \times K \rightarrow \mathbb{C}. Wir definieren damit die Teilmengen

P_{++} := \{ x \in  K : [x,x] > 0 \},
P_{0} := \{ x \in K : [x,x] = 0 \},
P_{--} := \{ x \in K : [x,x] < 0 \},
P_{+} :=  P_{++} \cup  P_{0} ,
P_{-} :=  P_{--} \cup  P_{0}.

Die in diesen Mengen liegenden Vektoren heißen positiv, neutral, negativ, nichtnegativ beziehungsweise nichtpositiv. Einen Unterraum L \subset K mit L \subset P_{++} \cup \{0\}, L \subset P_{0}, L \subset P_{--} \cup \{0\}, L \subset P_{+} bzw. L \subset P_{-} nennt man positiv, neutral, negativ, nichtnegativ bzw. nichtpositiv. In allen diesen Fällen sagt man, L sei semidefinit. Einen Unterraum, der nicht semidefinit ist, nennt man indefinit.

Definition des Kreinraumes

Es seien K ein komplexer Vektorraum und [\cdot,\cdot] ein inneres Produkt auf K. Dann heißt (K,[\cdot,\cdot]) ein Kreinraum, falls eine Zerlegung

K = K_{+} [\dotplus]  K_{-}

existiert, so dass (K_{+},[\cdot,\cdot]) und (K_{-},-[\cdot,\cdot]) Hilberträume sind. [\dotplus] bezeichnet hier die orthogonale direkte Summe (d.h., die Summe ist direkt, und K + und K stehen bzgl. des inneren Produktes [\cdot,\cdot] senkrecht aufeinander). Eine Zerlegung des Raumes K der obigen Gestalt wird Fundamentalzerlegung genannt.

Fundamentalsymmetrie

Im folgenden sei (K,[\cdot,\cdot]\,) ein Kreinraum. Mit Hilfe der obigen Fundamentalzerlegung lässt sich auf K ein positiv definites Skalarprodukt definieren

(x,y): = [x + ,y + ] − [x ,y ], mit 
  x = x_{+} + x_{-}  , \; y= y_{+} + y_{-}  ,\;
  x_{\pm},y_{\pm} \in K_{\pm}.

Damit ist ( K,(\cdot,\cdot)) ein Hilbertraum (siehe z.B. im Buch von T.Ya. Azizov und I.S. Iokhvidov). (K,(\cdot,\cdot)) ist die orthogonale Summe der Hilberträume (K_{+},[\cdot,\cdot]\,) und (K_{-},-[\cdot,\cdot]\,). Nun führen wir folgende Projektoren P_{\pm} ein:

P_{\pm}x := x_{\pm}, \mbox{ falls } x \in K \, , \,
  x = x_{+} + x_{-} \, , \, x_{\pm} \in K_{\pm}.

Der Operator J: = P +P heißt Fundamentalsymmetrie von K. Nun gilt J2 = I und J = J * = J − 1, wobei mit * der adjungierte Operator bezüglich des Hilbertraumskalarproduktes (\cdot,\cdot) bezeichnet wird. Ferner ist

[x,y] = (Jx,y) \; , \; (x,y) = [Jx,y] für  x,y \in K.

Das Hilbertraumskalarprodukt (\cdot,\cdot) hängt von der gewählten Fundamentalzerlegung ab, die, mit Ausnahme des Falles, dass der ganze Raum positiv oder negativ ist, nicht eindeutig bestimmt ist. Aber es lässt sich zeigen (siehe z.B. Proposition 1.1 und 1.2 in der Arbeit von H. Langer in der unten stehenden Literaturliste), dass für zwei Fundamentalzerlegungen


  K = K_{+} [\dotplus] \, K_{-} und 
  K = K_{+}^{\prime} [\dotplus] \, K_{-}^{\prime}

von K die Dimensionen der entsprechenden Unterräume übereinstimmen,


  {\rm dim}\; K_{\pm} = {\rm dim}\; K_{\pm}^{\prime},

und die zugehörigen Hilbertraumskalarprodukte (\cdot,\cdot) und (\cdot,\cdot)^{\prime} äquivalente Normen erzeugen. Alle Begriffe in einem Kreinraum, die Bezug auf eine Topologie nehmen, wie Stetigkeit, Abgeschlossenheit, Spektrum eines Operators in K usw. beziehen sich auf diese Hilbertraumtopologie.

Pontrjaginraum

Falls \kappa := \min \{\dim K_{+}, \dim K_{-} \} < \infty ist, so wird der Kreinraum (K, [\cdot,\cdot]) ein Pontrjaginraum oder auch Πκ-Raum genannt (benannt nach Lew Pontrjagin). In diesem Fall wird dim K + (bzw. dim K ) die Zahl der positiven (negativen) Quadrate des inneren Produktes [\cdot,\cdot] genannt.

Weblink

Literatur

  • T. Ya. Azizov, I. S. Iokhvidov: Linear operators in spaces with an indefinite metric, John Wiley & Sons, Chichester, 1989, ISBN 0-471-92129-7.
  • J. Bognár: Indefinite inner product spaces, Springer-Verlag, Berlin-Heidelberg-New York, 1974, ISBN 3-540-06202-5.
  • H. Langer: Spectral functions of definitizable operators in Krein spaces, Functional Analysis. Proceedings of a conference held at Dubrovnik, Yugoslavia, November 2-14, 1981, Lecture Notes in Mathematics, 948, Springer-Verlag Berlin-Heidelberg-New York, 1982, 1-46, ISSN 0075-8434.

Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

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

  • Kreinräume — In der Funktionalanalysis ist ein Kreinraum (nach Mark Krein) ein Hilbertraum mit einer abgeschwächten Struktur: einem i.A. indefiniten inneren Produkt anstelle des üblichen Skalarprodukts. Eine genaue Definition findet sich weiter unten. In… …   Deutsch Wikipedia

  • Anschauungsraum — Als Raum wird in der Mathematik eine mit einer Struktur versehene Menge bezeichnet. Eine in allen Gebieten der Mathematik zutreffende Definition hat das Wort „Raum“ selbst nicht erfahren. In vielen mathematischen Teilgebieten hat das Wort aber… …   Deutsch Wikipedia

  • Isotrop — Isotropie (von griechisch ἴσος isos gleich; und griechisch τρόπος tropos Drehung, Richtung) bezeichnet die Unabhängigkeit einer Eigenschaft von der Richtung. Isotropie ist das Gegenteil von Anisotropie. Bei der betrachteten Eigenschaft kann es… …   Deutsch Wikipedia

  • Isotropisch — Isotropie (von griechisch ἴσος isos gleich; und griechisch τρόπος tropos Drehung, Richtung) bezeichnet die Unabhängigkeit einer Eigenschaft von der Richtung. Isotropie ist das Gegenteil von Anisotropie. Bei der betrachteten Eigenschaft kann es… …   Deutsch Wikipedia

  • Mathematischer Raum — Als Raum wird in der Mathematik eine mit einer Struktur versehene Menge bezeichnet. Eine in allen Gebieten der Mathematik zutreffende Definition hat das Wort „Raum“ selbst nicht erfahren. In vielen mathematischen Teilgebieten hat das Wort aber… …   Deutsch Wikipedia

  • Quasiisotropie — Isotropie (von griechisch ἴσος isos gleich; und griechisch τρόπος tropos Drehung, Richtung) bezeichnet die Unabhängigkeit einer Eigenschaft von der Richtung. Isotropie ist das Gegenteil von Anisotropie. Bei der betrachteten Eigenschaft kann es… …   Deutsch Wikipedia

  • Sesquilinear — Als Sesquilinearform (lat. sesqui = anderthalb) bezeichnet man in der linearen Algebra eine Funktion, die zwei Vektoren einen Skalarwert zuordnet, und die linear in einem, semilinear im anderen ihrer beiden Argumente ist. Die beiden Argumente… …   Deutsch Wikipedia

  • Isotropie — (von griechisch ἴσος isos gleich; und griechisch τρόπος tropos Drehung, Richtung) bezeichnet die Unabhängigkeit einer Eigenschaft von der Richtung. Bei der betrachteten Eigenschaft kann es sich um irgendeine Eigenschaft handeln (Glossar …   Deutsch Wikipedia

  • Lev Pontryagin — Lev Pontrjagin (links) 1970 Lew Semjonowitsch Pontrjagin (russisch Лев Семёнович Понтрягин; * 21. Augustjul./ 3. September 1908greg. in Moskau; † 3. Mai 1988) war ein russischer …   Deutsch Wikipedia

  • Lev Semenovich Pontryagin — Lev Pontrjagin (links) 1970 Lew Semjonowitsch Pontrjagin (russisch Лев Семёнович Понтрягин; * 21. Augustjul./ 3. September 1908greg. in Moskau; † 3. Mai 1988) war ein russischer …   Deutsch Wikipedia

Share the article and excerpts

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