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. Operatornorm – Wikipedia
Operatornorm – Wikipedia
aus Wikipedia, der freien Enzyklopädie

Eine Operatornorm ist ein Objekt aus dem mathematischen Teilgebiet der Funktionalanalysis. Die Operatornorm verallgemeinert die Idee, einem Objekt eine Länge zuzuordnen, auf die Menge der linearen Operatoren. Sind die zu betrachtenden Operatoren stetig, so ist die Operatornorm eine echte Norm, andernfalls kann die Operatornorm den Wert unendlich annehmen. Die Operatornorm einer linearen Abbildung zwischen endlichdimensionalen Vektorräumen ist nach Wahl einer Basis eine natürliche Matrixnorm.

Definition

[Bearbeiten | Quelltext bearbeiten]

Seien V {\displaystyle V} {\displaystyle V} und W {\displaystyle W} {\displaystyle W} normierte Vektorräume und sei f : V → W {\displaystyle f\colon V\rightarrow W} {\displaystyle f\colon V\rightarrow W} ein linearer Operator. Dann ist die Operatornorm

‖ ⋅ ‖ : { f : V → W ∣ f   linear } → R 0 + ∪ { ∞ } {\displaystyle \|{\cdot }\|\;\colon \;\{f\colon V\to W\mid f\ {\text{linear}}\}\to \mathbb {R} _{0}^{+}\cup \{\infty \}} {\displaystyle \|{\cdot }\|\;\colon \;\{f\colon V\to W\mid f\ {\text{linear}}\}\to \mathbb {R} _{0}^{+}\cup \{\infty \}}

bezüglich der Vektornormen ‖ ⋅ ‖ V {\displaystyle \|\cdot \|_{V}} {\displaystyle \|\cdot \|_{V}} und ‖ ⋅ ‖ W {\displaystyle \|\cdot \|_{W}} {\displaystyle \|\cdot \|_{W}} durch

‖ f ‖ := inf { c ≥ 0 ∣ ∀ x ∈ V : ‖ f ( x ) ‖ W ≤ c ‖ x ‖ V } {\displaystyle \|f\|:=\inf \left\{c\geq 0\mid \forall x\in V\colon \|f(x)\|_{W}\leq c\,\|x\|_{V}\right\}} {\displaystyle \|f\|:=\inf \left\{c\geq 0\mid \forall x\in V\colon \|f(x)\|_{W}\leq c\,\|x\|_{V}\right\}}

definiert. Dies ist äquivalent zu

‖ f ‖ = sup x ∈ V ∖ { 0 } ‖ f ( x ) ‖ W ‖ x ‖ V = sup ‖ x ‖ V = 1 ‖ f ( x ) ‖ W = sup ‖ x ‖ V ≤ 1 ‖ f ( x ) ‖ W . {\displaystyle \|f\|=\sup _{x\in V\setminus \{0\}}{\frac {\|f(x)\|_{W}}{\|x\|_{V}}}=\sup _{\|x\|_{V}=1}\|f(x)\|_{W}=\sup _{\|x\|_{V}\leq 1}\|f(x)\|_{W}.} {\displaystyle \|f\|=\sup _{x\in V\setminus \{0\}}{\frac {\|f(x)\|_{W}}{\|x\|_{V}}}=\sup _{\|x\|_{V}=1}\|f(x)\|_{W}=\sup _{\|x\|_{V}\leq 1}\|f(x)\|_{W}.}

Man beachte, dass die Operatornorm von verschiedenen Autoren unterschiedlich notiert wird. Üblich sind unter anderem auch ‖ f ‖ o p {\displaystyle \|f\|_{op}} {\displaystyle \|f\|_{op}} oder auch die explizite Nennung des Raums, in dem der Operator lebt, z. B. ‖ f ‖ L ( V , W ) {\displaystyle \|f\|_{L(V,W)}} {\displaystyle \|f\|_{L(V,W)}} für lineare Operatoren von V {\displaystyle V} {\displaystyle V} nach W {\displaystyle W} {\displaystyle W} oder noch konkreter ‖ f ‖ L ( C ( K ) , R ) {\displaystyle \|f\|_{L(C(K),\mathbb {R} )}} {\displaystyle \|f\|_{L(C(K),\mathbb {R} )}} für lineare Funktionale (also lineare Operatoren auf R {\displaystyle \mathbb {R} } {\displaystyle \mathbb {R} }) vom Vektorraum stetiger Funktionen auf kompaktem Intervall in die reellen Zahlen.

Unter Umständen wird die Operatornorm auch nur für stetige Operatoren definiert. Sie ist dann (als lineare Abbildung zwischen normierten Räumen) automatisch beschränkt (s. u.) und auch nur dann tatsächlich eine Norm.

Eigenschaften

[Bearbeiten | Quelltext bearbeiten]

Die Operatornorm besitzt neben den für Normen charakteristischen drei Eigenschaften Definitheit, absolute Homogenität und Dreiecksungleichung noch weitere. Dies sind nicht zuletzt:

Gültigkeit der fundamentalen Ungleichung

[Bearbeiten | Quelltext bearbeiten]

Ist f : V → W {\displaystyle f\colon V\to W} {\displaystyle f\colon V\to W} ein linearer Operator, so gilt für x ∈ V {\displaystyle x\in V} {\displaystyle x\in V} stets

‖ f ( x ) ‖ W ≤ ‖ f ‖ ⋅ ‖ x ‖ V . {\displaystyle \|f(x)\|_{W}\leq \|f\|\cdot {\|x\|_{V}}.} {\displaystyle \|f(x)\|_{W}\leq \|f\|\cdot {\|x\|_{V}}.}

Submultiplikativität

[Bearbeiten | Quelltext bearbeiten]

Sind f : V → W {\displaystyle f\colon V\to W} {\displaystyle f\colon V\to W} und g : X → V {\displaystyle g\colon X\rightarrow V} {\displaystyle g\colon X\rightarrow V} lineare Operatoren, so sind die jeweiligen Operatornormen zusätzlich zu den üblichen Normeigenschaften submultiplikativ. Es gilt also

‖ f ∘ g ‖ ≤ ‖ f ‖ ⋅ ‖ g ‖ . {\displaystyle \|f\circ g\|\leq \|f\|\cdot \|g\|.} {\displaystyle \|f\circ g\|\leq \|f\|\cdot \|g\|.}

Beschränktheit

[Bearbeiten | Quelltext bearbeiten]

Die Operatornorm linearer Abbildungen zwischen endlichdimensionalen Vektorräumen ist stets endlich, da die Einheitskugel eine kompakte Menge ist, die abgeschlossen und insbesondere beschränkt ist (siehe äquivalente Formulierung der Operatornorm oben). Somit ist im endlichdimensionalen Fall die Operatornorm immer eine echte Norm. Für unendlichdimensionale Vektorräume gilt dies nicht immer. Operatoren, deren Norm unendlich als Wert annimmt, werden unbeschränkt genannt. Auf Räumen mit solch unbeschränkten Operatoren ist die Operatornorm streng genommen keine echte Norm. Man kann zeigen, dass ein linearer Operator zwischen normierten Räumen genau dann eine endliche Operatornorm hat, wenn er beschränkt und damit stetig ist. Insbesondere wird dadurch der Raum der stetigen linearen Operatoren zu einem normierten Vektorraum.

Vollständigkeit

[Bearbeiten | Quelltext bearbeiten]

Falls W {\displaystyle W} {\displaystyle W} vollständig ist, ist der Operatorraum L ( V , W ) {\displaystyle L(V,W)} {\displaystyle L(V,W)} mit der Operatornorm ebenfalls vollständig, selbst wenn V {\displaystyle V} {\displaystyle V} nicht vollständig ist.

Beispiele

[Bearbeiten | Quelltext bearbeiten]

Natürliche Matrixnormen

[Bearbeiten | Quelltext bearbeiten]
→ Hauptartikel: Natürliche Matrixnorm

Da man jeden linearen Operator zwischen endlichdimensionalen Vektorräumen mithilfe einer Basis als Matrix A ∈ K m × n {\displaystyle A\in {\mathbb {K} }^{m\times n}} {\displaystyle A\in {\mathbb {K} }^{m\times n}} darstellen kann, sind spezielle Matrixnormen, die natürlichen oder induzierten Matrixnormen, naheliegende Beispiele für Operatornormen. Die wichtigsten dieser natürlichen Matrixnormen sind die drei folgenden.

  • Die Spaltensummennorm ist die durch die Summennorm induzierte Norm:
‖ A ‖ 1 = max ‖ x ‖ 1 = 1 ‖ A x ‖ 1 = max j = 1 , … , n ∑ i = 1 m | a i j | . {\displaystyle \|A\|_{1}=\max _{\|x\|_{1}=1}\|Ax\|_{1}=\max _{j=1,\ldots ,n}\sum _{i=1}^{m}|a_{ij}|.} {\displaystyle \|A\|_{1}=\max _{\|x\|_{1}=1}\|Ax\|_{1}=\max _{j=1,\ldots ,n}\sum _{i=1}^{m}|a_{ij}|.}
Sie entspricht der maximalen Betragssumme aller Spalten der Matrix.
  • Die Spektralnorm ist die durch die euklidische Norm induzierte Norm:
‖ A ‖ 2 = max ‖ x ‖ 2 = 1 ‖ A x ‖ 2 = λ max ( A H A ) . {\displaystyle \|A\|_{2}=\max _{\|x\|_{2}=1}\|Ax\|_{2}={\sqrt {\lambda _{\max }(A^{H}A)}}.} {\displaystyle \|A\|_{2}=\max _{\|x\|_{2}=1}\|Ax\|_{2}={\sqrt {\lambda _{\max }(A^{H}A)}}.}
Sie entspricht der Quadratwurzel des betragsmäßig größten Eigenwerts von A H A {\displaystyle A^{H}A} {\displaystyle A^{H}A}, wobei A H {\displaystyle A^{H}} {\displaystyle A^{H}} die adjungierte Matrix (im reellen Fall transponierte Matrix) zu A {\displaystyle A} {\displaystyle A} ist.
  • Die Zeilensummennorm ist die durch die Maximumsnorm induzierte Norm:
‖ A ‖ ∞ = max ‖ x ‖ ∞ = 1 ‖ A x ‖ ∞ = max i = 1 , … , m ∑ j = 1 n | a i j | . {\displaystyle \|A\|_{\infty }=\max _{\|x\|_{\infty }=1}\|Ax\|_{\infty }=\max _{i=1,\ldots ,m}{\sum _{j=1}^{n}|a_{ij}|}.} {\displaystyle \|A\|_{\infty }=\max _{\|x\|_{\infty }=1}\|Ax\|_{\infty }=\max _{i=1,\ldots ,m}{\sum _{j=1}^{n}|a_{ij}|}.}
Sie entspricht der maximalen Betragssumme aller Zeilen der Matrix.

Jedoch ist nicht jede Matrixnorm eine Operatornorm. Die Gesamtnorm und die Frobeniusnorm sind beispielsweise keine Operatornormen.

Der Folgenraum l2

[Bearbeiten | Quelltext bearbeiten]

Sei s = ( s i ) i ∈ N {\displaystyle s=(s_{i})_{i\in \mathbb {N} }} {\displaystyle s=(s_{i})_{i\in \mathbb {N} }} eine beschränkte Folge und damit ein Element des Folgenraums ℓ ∞ {\displaystyle \ell ^{\infty }} {\displaystyle \ell ^{\infty }}, der mit der Norm ‖ s ‖ ∞ = sup n | s n | {\displaystyle \textstyle \|s\|_{\infty }=\sup _{n}|s_{n}|} {\displaystyle \textstyle \|s\|_{\infty }=\sup _{n}|s_{n}|} versehen ist. Definiere nun einen Multiplikationsoperator T s : ℓ 2 → ℓ 2 {\displaystyle T_{s}\colon \ell ^{2}\to \ell ^{2}} {\displaystyle T_{s}\colon \ell ^{2}\to \ell ^{2}} durch a ↦ ( s i ⋅ a i ) i ∈ N {\displaystyle \textstyle a\mapsto (s_{i}\cdot a_{i})_{i\in \mathbb {N} }} {\displaystyle \textstyle a\mapsto (s_{i}\cdot a_{i})_{i\in \mathbb {N} }}. Dann gilt für die entsprechende Operatornorm

‖ T s ‖ = sup ‖ a ‖ ℓ 2 ≠ 0 ‖ T s a ‖ ℓ 2 ‖ a ‖ ℓ 2 = sup ‖ a ‖ ℓ 2 = 1 ∑ i = 1 ∞ | s i ⋅ a i | 2 = sup i | s i | = ‖ s ‖ ℓ ∞ . {\displaystyle \|T_{s}\|=\sup _{\|a\|_{\ell ^{2}}\neq 0}{\frac {\|T_{s}a\|_{\ell ^{2}}}{\|a\|_{\ell ^{2}}}}=\sup _{\|a\|_{\ell ^{2}}=1}{\sqrt {\sum _{i=1}^{\infty }|s_{i}\cdot a_{i}|^{2}}}=\sup _{i}|s_{i}|=\|s\|_{\ell ^{\infty }}.} {\displaystyle \|T_{s}\|=\sup _{\|a\|_{\ell ^{2}}\neq 0}{\frac {\|T_{s}a\|_{\ell ^{2}}}{\|a\|_{\ell ^{2}}}}=\sup _{\|a\|_{\ell ^{2}}=1}{\sqrt {\sum _{i=1}^{\infty }|s_{i}\cdot a_{i}|^{2}}}=\sup _{i}|s_{i}|=\|s\|_{\ell ^{\infty }}.}

Norm eines (Pseudo-)Differentialoperators

[Bearbeiten | Quelltext bearbeiten]

Seien s , α > 0 {\displaystyle s,\alpha >0} {\displaystyle s,\alpha >0} und sei P : H s ( Ω ) → H s + α ( Ω ) {\displaystyle P\colon H^{s}(\Omega )\to H^{s+\alpha }(\Omega )} {\displaystyle P\colon H^{s}(\Omega )\to H^{s+\alpha }(\Omega )} ein beschränkter linearer Operator zwischen Sobolev-Räumen. Solche Operatoren können als Pseudodifferentialoperatoren dargestellt werden. Unter bestimmten Umständen, insbesondere wenn die Ordnung der Sobolev-Räume ganzzahlig ist, sind die Pseudodifferentialoperatoren (schwache) Differentialoperatoren. Der Raum der (Pseudo-)Differentialoperatoren kann mit einer Operatornorm versehen werden. Da die Norm im Sobolev-Raum durch ‖ f ‖ H s = ‖ ( 1 + | ⋅ | 2 ) s 2 ⋅ F ( f ) ‖ L 2 {\displaystyle \|f\|_{H^{s}}=\|(1+|\cdot |^{2})^{\frac {s}{2}}\cdot {\mathcal {F}}(f)\|_{L^{2}}} {\displaystyle \|f\|_{H^{s}}=\|(1+|\cdot |^{2})^{\frac {s}{2}}\cdot {\mathcal {F}}(f)\|_{L^{2}}} gegeben ist, ist die Operatornorm für die (Pseudo)differentialoperatoren durch

‖ P ‖ = sup ‖ f ‖ H s ≠ 0 ‖ P f ‖ H s + α ‖ f ‖ H s = sup ‖ f ‖ H s ≠ 0 ‖ ( 1 + | ⋅ | 2 ) s + α 2 ⋅ F ( P f ) ‖ L 2 ‖ ( 1 + | ⋅ | 2 ) s 2 ⋅ F ( f ) ‖ L 2 {\displaystyle \|P\|=\sup _{\|f\|_{H^{s}}\neq 0}{\frac {\|Pf\|_{H^{s+\alpha }}}{\|f\|_{H^{s}}}}=\sup _{\|f\|_{H^{s}}\neq 0}{\frac {\|(1+|\cdot |^{2})^{\frac {s+\alpha }{2}}\cdot {\mathcal {F}}(Pf)\|_{L^{2}}}{\|(1+|\cdot |^{2})^{\frac {s}{2}}\cdot {\mathcal {F}}(f)\|_{L^{2}}}}} {\displaystyle \|P\|=\sup _{\|f\|_{H^{s}}\neq 0}{\frac {\|Pf\|_{H^{s+\alpha }}}{\|f\|_{H^{s}}}}=\sup _{\|f\|_{H^{s}}\neq 0}{\frac {\|(1+|\cdot |^{2})^{\frac {s+\alpha }{2}}\cdot {\mathcal {F}}(Pf)\|_{L^{2}}}{\|(1+|\cdot |^{2})^{\frac {s}{2}}\cdot {\mathcal {F}}(f)\|_{L^{2}}}}}

gegeben.

Literatur

[Bearbeiten | Quelltext bearbeiten]
  • Dirk Werner: Funktionalanalysis, Springer-Verlag, Berlin, 2007, ISBN 978-3-540-72533-6
Abgerufen von „https://de.teknopedia.teknokrat.ac.id/w/index.php?title=Operatornorm&oldid=233659223“
Kategorien:
  • Funktionalanalysis
  • Norm (Mathematik)

  • 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