Technopedia Center
PMB University Brochure
Faculty of Engineering and Computer Science
S1 Informatics S1 Information Systems S1 Information Technology S1 Computer Engineering S1 Electrical Engineering S1 Civil Engineering

faculty of Economics and Business
S1 Management S1 Accountancy

Faculty of Letters and Educational Sciences
S1 English literature S1 English language education S1 Mathematics education S1 Sports Education
teknopedia

teknopedia

teknopedia

teknopedia

teknopedia
  • Registerasi
  • Brosur UTI
  • Kip Scholarship Information
  • Performance
  1. Weltenzyklopädie
  2. Positiver Operator – Wikipedia
Positiver Operator – Wikipedia
aus Wikipedia, der freien Enzyklopädie

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

[Bearbeiten | Quelltext bearbeiten]

Sei H {\displaystyle H} {\displaystyle H} ein C {\displaystyle \mathbb {C} } {\displaystyle \mathbb {C} }-Hilbertraum mit Skalarprodukt ⟨ ⋅ , ⋅ ⟩ {\displaystyle \langle \cdot ,\cdot \rangle } {\displaystyle \langle \cdot ,\cdot \rangle }. Für einen linearen stetigen Operator P : H → H {\displaystyle P:H\rightarrow H} {\displaystyle P:H\rightarrow H} sind folgende Aussagen äquivalent:

  • Für alle x ∈ H {\displaystyle x\in H} {\displaystyle x\in H} gilt ⟨ P x , x ⟩ ≥ 0 {\displaystyle \langle Px,x\rangle \geq 0} {\displaystyle \langle Px,x\rangle \geq 0}.
  • P {\displaystyle P} {\displaystyle P} ist selbstadjungiert und ⟨ P x , x ⟩ ≥ 0 {\displaystyle \langle Px,x\rangle \geq 0} {\displaystyle \langle Px,x\rangle \geq 0} für alle x ∈ H {\displaystyle x\in H} {\displaystyle x\in H}.
  • P {\displaystyle P} {\displaystyle P} ist selbstadjungiert und das Spektrum von P {\displaystyle P} {\displaystyle P} liegt in R 0 + {\displaystyle {\mathbb {R} }_{0}^{+}} {\displaystyle {\mathbb {R} }_{0}^{+}}.
  • Es gibt einen stetigen linearen Operator A : H → H {\displaystyle A\colon H\rightarrow H} {\displaystyle A\colon H\rightarrow H} mit P = A ∗ A {\displaystyle P=A^{*}A} {\displaystyle P=A^{*}A}.
  • Es gibt einen selbstadjungierten Operator A : H → H {\displaystyle A\colon H\rightarrow H} {\displaystyle A\colon H\rightarrow H} mit P = A 2 {\displaystyle P=A^{2}} {\displaystyle P=A^{2}}.

Ein Operator, der eine und damit alle diese Eigenschaften hat, heißt positiv. Die Äquivalenz von Punkt 1 und 2 folgt aus der Polarisationsformel für Sesquilinearformen und funktioniert nur für komplexe Hilberträume und nicht für reelle. 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 nicht negativ 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 0 ( X ) {\displaystyle C_{0}(X)} {\displaystyle C_{0}(X)} der stetigen Funktionen auf einem lokalkompakten Raum, die im Unendlichen verschwinden, sind die positiven Elemente genau diejenigen Funktionen, deren Bild in R 0 + {\displaystyle {\mathbb {R} }_{0}^{+}} {\displaystyle {\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 ≤ B :⇔ B − A {\displaystyle A\leq B:\Leftrightarrow B-A} {\displaystyle A\leq B:\Leftrightarrow B-A} ist positiv. Das leitet zum nächsten Begriff positiver Operatoren über.

Positive Operatoren zwischen Ordnungsstrukturen

[Bearbeiten | Quelltext bearbeiten]

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 ∈ E {\displaystyle x,y\in E} {\displaystyle x,y\in E} mit x , y ≥ 0 {\displaystyle x,y\geq 0} {\displaystyle x,y\geq 0} und λ ∈ R 0 + {\displaystyle \lambda \in {\mathbb {R} }_{0}^{+}} {\displaystyle \lambda \in {\mathbb {R} }_{0}^{+}} stets x + y ≥ 0 {\displaystyle x+y\geq 0} {\displaystyle x+y\geq 0} und λ x ≥ 0 {\displaystyle \lambda x\geq 0} {\displaystyle \lambda x\geq 0} gilt.

Beispiele solcher geordneter Vektorräume sind:

  • R {\displaystyle \mathbb {R} } {\displaystyle \mathbb {R} } mit der üblichen Ordnungsstruktur.
  • R n {\displaystyle {\mathbb {R} }^{n}} {\displaystyle {\mathbb {R} }^{n}}, wobei ( x 1 , … , x n ) ≤ ( y 1 , … , y n ) {\displaystyle (x_{1},\ldots ,x_{n})\leq (y_{1},\ldots ,y_{n})} {\displaystyle (x_{1},\ldots ,x_{n})\leq (y_{1},\ldots ,y_{n})} genau dann, wenn x i ≤ y i {\displaystyle x_{i}\leq y_{i}} {\displaystyle x_{i}\leq y_{i}} für alle 1 ≤ i ≤ n {\displaystyle 1\leq i\leq n} {\displaystyle 1\leq i\leq n}.
  • Lp([0,1]), wobei f ≤ g {\displaystyle f\leq g} {\displaystyle f\leq g}, falls f ( x ) ≤ g ( x ) {\displaystyle f(x)\leq g(x)} {\displaystyle f(x)\leq g(x)} für fast alle x ∈ [ 0 , 1 ] {\displaystyle x\in [0,1]} {\displaystyle x\in [0,1]}.
  • Eine C*-Algebra mit der oben definierten Ordnungsstruktur.

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

Ein bekanntes Beispiel ist der Bernstein-Operator P n {\displaystyle P_{n}} {\displaystyle P_{n}} auf C [ 0 , 1 ] {\displaystyle C[0,1]} {\displaystyle C[0,1]}, der jeder stetigen Funktion ihr n {\displaystyle n} {\displaystyle n}-tes Bernsteinpolynom zuordnet. Ist f ≥ 0 {\displaystyle f\geq 0} {\displaystyle f\geq 0} (punktweise), so ist auch P n ( f ) ≥ 0 {\displaystyle P_{n}(f)\geq 0} {\displaystyle P_{n}(f)\geq 0} (punktweise), wie man leicht an der Formel P n ( f ) ( t ) = ∑ i = 0 n ( n i ) ⋅ f ( i n ) ⋅ t i ( 1 − t ) n − i {\displaystyle \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}} {\displaystyle \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}} für t ∈ [ 0 , 1 ] {\displaystyle t\in [0,1]} {\displaystyle t\in [0,1]} 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 A {\displaystyle {\mathcal {A}}} {\displaystyle {\mathcal {A}}} ist nach obigem ein geordneter Raum. Die Menge C {\displaystyle \mathbb {C} } {\displaystyle \mathbb {C} } der komplexen Zahlen ist ebenfalls eine C*-Algebra, der Kegel der positiven Elemente ist R 0 + {\displaystyle {\mathbb {R} }_{0}^{+}} {\displaystyle {\mathbb {R} }_{0}^{+}}. Ein stetiges lineares Funktional f : A → C {\displaystyle f:{\mathcal {A}}\rightarrow {\mathbb {C} }} {\displaystyle f:{\mathcal {A}}\rightarrow {\mathbb {C} }} heißt positiv, wenn es ein positiver Operator zwischen den geordneten Räumen ist. Demnach ist f {\displaystyle f} {\displaystyle f} positiv, falls f ( A ∗ A ) ≥ 0 {\displaystyle f(A^{*}A)\geq 0} {\displaystyle f(A^{*}A)\geq 0} für alle A ∈ A {\displaystyle A\in {\mathcal {A}}} {\displaystyle A\in {\mathcal {A}}}. Diese positiven Funktionale spielen eine zentrale Rolle im Satz von Gelfand-Neumark.

Siehe auch

[Bearbeiten | Quelltext bearbeiten]
  • Monotoner Operator
  • Vollständig positiver Operator

Quellen

[Bearbeiten | Quelltext bearbeiten]
  • 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)
Abgerufen von „https://de.teknopedia.teknokrat.ac.id/w/index.php?title=Positiver_Operator&oldid=195760850“
Kategorien:
  • Funktionalanalysis
  • Ordnungstheorie
  • Lineare Abbildung

  • indonesia
  • Polski
  • العربية
  • Deutsch
  • English
  • Español
  • Français
  • Italiano
  • مصرى
  • Nederlands
  • 日本語
  • Português
  • Sinugboanong Binisaya
  • Svenska
  • Українська
  • Tiếng Việt
  • Winaray
  • 中文
  • Русский
Sunting pranala
Pusat Layanan

UNIVERSITAS TEKNOKRAT INDONESIA | ASEAN's Best Private University
Jl. ZA. Pagar Alam No.9 -11, Labuhan Ratu, Kec. Kedaton, Kota Bandar Lampung, Lampung 35132
Phone: (0721) 702022
Email: pmb@teknokrat.ac.id