Beschränkter Operator

Der Begriff Linearer Operator wurde in der Funktionalanalysis (einem Teilgebiet der Mathematik) eingeführt und ist synonym zum Begriff der linearen Abbildung. Eine lineare Abbildung ist eine strukturerhaltende Abbildung zwischen Vektorräumen über einem gemeinsamen Körper. Werden Vektorräume über dem Körper der reellen oder komplexen Zahlen betrachtet und sind diese mit einer Topologie versehen (lokalkonvexe Räume, normierte Räume, Banachräume), so spricht man vorzugsweise von linearen Operatoren.

Man unterscheidet zwischen beschränkten und unbeschränkten linearen Operatoren.

Inhaltsverzeichnis

Definition

Es seien X und Y reelle oder komplexe Vektorräume. Ein Operator T von X in Y heißt linearer Operator, wenn für alle x \in X und \lambda \in \R (bzw. \lambda \in \mathbb C) die folgenden Bedingungen gelten:

  1. T ist homogen: Tx) = λT(x)
  2. T ist additiv: T(x + y) = T(x) + T(y).

Antilinearer Operator

Seien X und Y komplexe Vektorräume. Ein Operator T von X in Y heißt antilinearer Operator, wenn für alle x \in X und \lambda \in \mathbb C die folgenden Bedingungen gelten:

  1. T ist antihomogen: T (\lambda x) = \overline{\lambda}T(x)
  2. T ist additiv: T(x + y) = T(x) + T(y).

Beispiele linearer Operatoren

  • Es sei A eine reelle n \times m-Matrix. Dann ist die lineare Abbildung A:x \mapsto Ax ein linearer Operator von \R^m in \R^n.
  • Jedes lineare Funktional auf einem Vektorraum ist ein linearer Operator.
  • Die Menge der linearen Operatoren zwischen zwei fixierten Vektorräumen wird durch die Definition der Addition (S + T)(x): = S(x) + T(x) und skalaren Multiplikation S)(x): = λS(x) selbst zu einem Vektorraum.
  • Der Ableitungsoperator, der einer Funktion ihre Ableitung zuordnet f(x) \mapsto \frac{\mathrm{d}}{\mathrm{d}x} f(x) ist ein linearer Operator.

Beispiel einer antilinearen Abbildung

Ist H ein komplexer Hilbertraum und H\,' sein Dualraum, so gibt es nach dem rieszschen Darstellungssatz zu jedem f\in H\,' genau ein y_f\in H, so dass f(x)=\langle x,y_f\rangle für alle x\in H gilt. Die Abbildung H\,'\rightarrow H, f\mapsto y_f ist antilinear.

Bedeutung und Anwendungen

Die Bedeutung linearer Operatoren besteht darin, dass sie die lineare Struktur des unterliegenden Raumes respektieren, d.h. sie sind Homomorphismen zwischen Vektorräumen.

Anwendungen linearer Operatoren sind:

  • In der Vierpoltheorie (Elektrotechnik) werden die Beziehungen zwischen den Eingangsgrößen (Stromstärke und Spannung) und den Ausgangsgrößen (Stromstärke und Spannung) als wechselseitig voneinander linear abhängig betrachtet werden. Die Abhängigkeiten können durch 2x2 Matrizen beschrieben werden.

Beschränkte lineare Operatoren

Betrachten wir zwei normierte Räume V und W und eine lineare Abbildung A:V\to W. Die Operatornorm von A ist definiert durch:

 \|A\| := \sup_{\|x\| \leq 1} \|Ax\| .

Ist die Operatornorm endlich, so heißt der Operator beschränkt, andernfalls unbeschränkt.

Die Menge aller beschränkten linearen Operatoren vom normierten Raum V in den normierten Raum W nennt man \mathfrak{L}(V,W). Falls V mit W identisch ist, wird auch abkürzend \mathfrak{L}(V) geschrieben. Die beschränkten linearen Operatoren lassen sich wie folgt charakterisieren:

Ist T ein linearer Operator aus \mathfrak{L}(V,W), dann sind die folgenden Aussagen äquivalent:

  1. T ist beschränkt.
  2. T ist stetig in jedem Punkt von V.
  3. T ist stetig im Nullpunkt von V.

Beispiele beschränkter linearer Operatoren

  • I_V \in \mathfrak{L}(V) mit \|I_V\| = 1, wobei IV der Identische Operator auf V ist.
  • (n_k) \in \mathfrak{L}(l_p) mit \|(n_k)\| = \max_k |n_k|, wobei die Folge (nk) beschränkt ist und als Diagonaloperator auf dem Folgenraum lp mit 1 \leq p \leq \infty interpretiert wird.
  • Der Shiftoperator S \in \mathfrak{L}(l_p) ist beschränkt mit \|S\| = 1, wobei S ((x_1, x_2, x_3, \dots )) := (0, x_1, x_2, x_3, \dots ) auf dem Folgenraum lp mit 1 \leq p \leq \infty definiert ist.
  • Es sei K eine kompakte Menge und \mathfrak{C}(K) der Banachraum der stetigen Funktionen auf K mit der Supremumsnorm. Weiter sei f \in \mathfrak{C}(K) und der lineare Operator T_f : \mathfrak{C}(K) \rightarrow \mathfrak{C}(K) ist definiert durch Tf(g)(k): = (fg)(k) für k \in K. Dann ist T_f \in \mathfrak{L} ( \mathfrak{C}(K) ) und \|T_f\| = \|f\|_{\infty}.

Anwendungen

  • Funktionalkalkül, d.h. für eine beschränkte, reelle bzw. komplexwertige messbare Funktion f und einem beschränkten linearen Operator T kann f(T) definiert werden.

Unbeschränkte lineare Operatoren

Der Definitionsbereich eines unbeschränkten linearen Operators ist im allgemeinen ein linearer Unterraum eines topologischen Vektorraums und der Operator wird in diesem Fall als eine partielle lineare Abbildung aufgefasst. Der Definitionsbereich eines Operators wird als Domäne bezeichnet.

Ein Operator heißt dicht definiert, wenn seine Domäne eine dichte Teilmenge des Ausgangsraumes ist. Das Interesse an unbeschränkten Operatoren ist durch die Untersuchung von Differentialoperatoren und deren Eigenwertspektrum und Observablenalgebren begründet.

Eine große Klasse unbeschränkter linearer Operatoren bilden die abgeschlossenen Operatoren. Das sind Operatoren A: V \rightarrow W deren Graph \Gamma (A) := \{ (\phi , A \phi) : \phi \in D  \} in der Produkttopologie von V \times W abgeschlossen ist. Für abgeschlossene Operatoren kann z. B. das Spektrum definiert werden.

Beispiel

Betrachte den Differentialoperator A f := f'\, auf dem Banachraum C[a,b] der stetigen Funktion auf dem Interval [a,b]. Wählt man als Definitionsbereich \mathcal{D}(A) die einmal stetig differenzierbaren Funktionen \mathcal{D}(A):=C^{1}[a, b], dann ist A ein abgeschlossener Operator, der nicht beschränkt ist.

Anwendungen

  • Differential- und Multiplikationsoperatoren sind i. a. unbeschränkt.
  • Die Darstellung von Observablen der Quantenmechanik erfordert unbeschränkt lineare Operatoren, da die den Observablen zugeordneten Operatoren i. a. unbeschränkt sind.

Konvergenzbegriffe / Topologien auf Operatorräumen

Ist der zugrundeliegende Vektorraum endlichdimensional mit Dimension n, so ist L(V) ein Vektorraum der Dimension n2. In diesem Fall sind alle Normen äquivalent. d.h. sie liefern den gleichen Konvergenzbegriff und die gleiche Topologie.

Im Unendlichdimensionalen gibt es dagegen verschiedene nicht-äquivalente Topologien. Seien nun E und F Banachräume und (T_i)_{i \in I} eine Folge (oder auch ein Netz) in L(E,F).

Normtopologie

Ti konvergiert in der Normtopologie gegen T genau dann wenn:

\lim_i \|T-T_i\| = 0

Die Normtopologie ist die Topologie, die durch die offenen Kugeln erzeugt wird.

Starke Operatortopologie

Ti konvergiert in der starken Operatortoplogie (kurz stop) gegen T genau dann wenn:

\lim_i T_i x = Tx \quad \forall x \in E

oder anders ausgedrückt:

0=\lim_i \| T_i x - Tx \| = \lim_i \|(T_i-T)x\| \quad \forall x \in E

Die zugehörige Topologie ist die Initialtopologie, die durch die Menge von linearen Abbildungen

\left\lbrace\left. \begin{matrix} L(E,F) & \to & F \\ T & \mapsto & Tx \end{matrix} \,\right|\, x \in E \right\rbrace

erzeugt wird. Dies ist die kleinste Topologie, in der all diese Abbildungen stetig sind. L(E,F) mit der starken Operatortoplogie ist also ein lokal konvexer Raum.

Schwache Operatortopologie

Ti konvergiert in der schwachen Operatortoplogie gegen T genau dann wenn:

\lim_i \varphi(T_i x) = \varphi(Tx) \quad \forall x \in E, \varphi \in F^*

oder anders ausgedrückt:

\lim_i | \varphi(T_i x - Tx) | = 0 \quad \forall x \in E, \varphi \in F^*

(Hierbei bezeichnet F * den stetigen Dualraum von F)

Die zugehörige Topologie ist die Initialtopologie, die durch die Menge von linearen Funktionalen

\left\lbrace \begin{matrix} L(E,F) & \to & \mathbb{C} \\ T & \mapsto & \varphi(Tx) \end{matrix} \mid x \in E, \varphi \in F^* \right\rbrace

erzeugt wird. Dies ist die kleinste Topologie, in der all diese Funktionale stetig sind. L(E,F) mit der schwachen Operatortoplogie ist also ebenfalls ein lokal konvexer Raum.

Literatur

  • Hans Wilhelm Alt: Lineare Funktionalanalysis : eine anwendungsorientierte Einführung. 5. Auflage. Springer-Verlag, 2006, ISBN 3-540-34186-2

Wikimedia Foundation.

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

  • Beschränkter Borel-Funktionalkalkül — Der beschränkte Borel Funktionalkalkül ist ein Hilfsmittel zur Untersuchung von von Neumann Algebren. Dieser Funktionalkalkül ist eine Erweiterung des aus der Theorie der C* Algebren bekannten stetigen Funktionalkalküls auf beschränkte Borel… …   Deutsch Wikipedia

  • Schwach-kompakter Operator — Schwach kompakte Operatoren werden in der Funktionalanalysis untersucht. Es handelt sich dabei um eine Klasse linearer beschränkter Operatoren zwischen Banachräumen mit einer zusätzlichen Kompaktheitseigenschaft, die den kompakten Operatoren… …   Deutsch Wikipedia

  • Fredholm-Operator — In der Funktionalanalysis, einem Teilgebiet der Mathematik, ist die Klasse der Fredholm Operatoren (nach E. I. Fredholm) ein bestimmte Klasse linearer Operatoren, die man „fast“ invertieren kann. Jedem Fredholm Operator ordnet man eine ganze Zahl …   Deutsch Wikipedia

  • Hilbert-Schmidt-Operator — In der Mathematik ist ein Hilbert Schmidt Operator (nach David Hilbert und Erhard Schmidt) ein stetiger linearer Operator auf einem Hilbertraum, für den eine gewisse Zahl, die sogenannte Hilbert Schmidt Norm, endlich ist. Die Hilbert Schmidt… …   Deutsch Wikipedia

  • Linearer Operator — Der Begriff Linearer Operator wurde in der Funktionalanalysis (einem Teilgebiet der Mathematik) eingeführt und ist synonym zum Begriff der linearen Abbildung. Eine lineare Abbildung ist eine strukturerhaltende Abbildung zwischen Vektorräumen über …   Deutsch Wikipedia

  • Unbeschränkter Operator — Der Begriff Linearer Operator wurde in der Funktionalanalysis (einem Teilgebiet der Mathematik) eingeführt und ist synonym zum Begriff der linearen Abbildung. Eine lineare Abbildung ist eine strukturerhaltende Abbildung zwischen Vektorräumen über …   Deutsch Wikipedia

  • Punktspektrum — Das Spektrum eines (linearen) Operators ist ein Begriff aus der Funktionalanalysis, einem Teilgebiet der Mathematik. In der endlichdimensionalen linearen Algebra betrachtet man bei Matrizen und Endomorphismen ihre Eigenwerte. Die… …   Deutsch Wikipedia

  • Spektraltheorie — Das Spektrum eines (linearen) Operators ist ein Begriff aus der Funktionalanalysis, einem Teilgebiet der Mathematik. In der endlichdimensionalen linearen Algebra betrachtet man bei Matrizen und Endomorphismen ihre Eigenwerte. Die… …   Deutsch Wikipedia

  • Auflösbar — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Euklidisch — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

Share the article and excerpts

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