Beschränkter Operator

In der Mathematik werden lineare Abbildungen zwischen normierten Vektorräumen als beschränkter (linearer) Operator bezeichnet, wenn ihre Operatornorm endlich ist. Lineare Operatoren sind genau dann beschränkt, wenn sie stetig sind, weshalb beschränkte lineare Operatoren oft als stetiger (linearer) Operator bezeichnet werden.

Definitionen

Seien und normierte Vektorräume. Ein linearer Operator ist eine lineare Abbildung $T\colon X\to Y$ .

Ein beschränkter Operator $T\colon X\to Y$ ist ein linearer Operator, für den es ein mit $\Vert Tx\Vert \leq M\Vert x\Vert$ für alle $x\in X$ gibt.

Die kleinste Konstante mit $\Vert Tx\Vert \leq M\Vert x\Vert$ für alle $x\in X$ wird als Norm $\Vert T\Vert$ von bezeichnet. Für sie gilt

$\Vert T\Vert =\sup _{\Vert x\Vert =1}\Vert Tx\Vert$

und für alle $x\in X$ die Ungleichung

$\Vert Tx\Vert \leq \Vert T\Vert \Vert x\Vert$ .

Stetigkeit

Ein linearer Operator ist genau dann beschränkt, wenn er stetig ist, also eine der folgenden äquivalenten Bedingungen erfüllt:

falls $x_{n}\to x$ , so gilt $Tx_{n}\to Tx$ in der von der jeweiligen Norm induzierten Metrik,
für alle $x_{0}\in X$ und alle $\epsilon >0$ gibt es ein $\delta >0$ mit

$\Vert x-x_{0}\Vert <\delta \Rightarrow \Vert Tx-Tx_{0}\Vert <\epsilon$ ,

Urbilder offener Mengen sind offen.

Beschränkte lineare Operatoren werden deshalb oft als stetige lineare Operatoren bezeichnet. Wenn die Linearität vorausgesetzt wird, spricht man häufig auch nur von stetigen Operatoren oder beschränkten Operatoren. Ist der Bildraum der Skalarenkörper, sagt man Funktional statt Operator.

Weiterhin sind die folgenden Aussagen äquivalent:

ist stetig.
ist stetig in 0.
ist gleichmäßig stetig.
ist beschränkt.

Beispiele

Wenn endlich-dimensional ist, dann ist jeder lineare Operator $T\colon X\to Y$ stetig.
Wenn man zwei Normen auf demselben Vektorraum hat, dann sind die Normen genau dann äquivalent, wenn die Identitätsabbildungen in beiden Richtungen stetig sind.
Das durch $T(f):=f(0)$ definierte Funktional $T\colon C(\left[0,1\right],\mathbb {R} )\to \mathbb {R}$ ist stetig mit $\Vert T\Vert =1$ , wobei $C(\left[0,1\right],\mathbb {R} )$ wie üblich mit der Supremumsnorm versehen ist.
Das durch $T(f):=f(0)+f^{\prime }(0)$ definierte Funktional $T\colon C^{1}(\left[0,1\right],\mathbb {R} )\to \mathbb {R}$ ist stetig mit $\Vert T\Vert =1$ .
Das durch $\textstyle T(f):=\int _{0}^{1}f(x)dx$ definierte Funktional $T\colon C(\left[0,1\right],\mathbb {R} )\to \mathbb {R}$ ist stetig mit $\Vert T\Vert =1$ .
Aus der Hölder-Ungleichung folgt, dass für $g\in L^{q}(\mathbb {R} )$ das durch $\textstyle T(f):=\int _{\mathbb {R} }fg$ definierte Funktional $T\colon L^{p}(\mathbb {R} )\to \mathbb {R}$ stetig ist mit $\Vert T\Vert =\Vert g\Vert _{L^{q}}$ .
Der durch eine stetige Funktion $k\colon \left[0,1\right]^{2}\to \mathbb {R}$ und $\textstyle Tf(x):=\int _{0}^{1}k(x,y)f(y)da$ definierte Integraloperator $T\colon C(\left[0,1\right])\to C(\left[0,1\right])$ ist stetig und es gilt die Ungleichung $\Vert T\Vert \leq \Vert k\Vert _{\infty }$ .
Der Differentialoperator ${\tfrac {d}{dx}}$ auf $C^{1}\left[0,1\right]$ ist für die Supremumsnorm kein stetiger Operator. Zum Beispiel ist $\Vert x^{n}\Vert _{\infty }=1$ , aber $\Vert {\tfrac {d}{dx}}x^{n}\Vert _{\infty }=n$ . Der Operator ist aber stetig als Operator ${\tfrac {d}{dx}}\colon C^{1}(\left[0,1\right])\to C(\left[0,1\right])$ .

Der Raum der stetigen Operatoren

Seien X,Y normierte Vektorräume. Dann ist

$L(X,Y)=\left\{T\colon X\to Y\mid T{\mbox{ ist linear und stetig}}\right\}$

mit der Operatornorm $\Vert .\Vert$ ein normierter Vektorraum.

Wenn vollständig ist, dann ist auch L(X,Y) vollständig.

Wenn $D\subset X$ ein dichter Unterraum und vollständig ist, dann hat jeder stetige Operator $T\in L(D,Y)$ eine eindeutige stetige Fortsetzung ${\widehat {T}}\in L(X,Y)$ mit $\Vert {\widehat {T}}\Vert =\Vert T\Vert$ .

Basierend auf einem Artikel in:

Wikipedia.de