Operatornorm

Den här artikeln behöver källhänvisningar för att kunna verifieras. (2020-04)
Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan.

Inom matematiken är en operatornorm ett sätt att tilldela en "storlek" till vissa linjära operatorer. Operatornormen kan ses som den maximala förlängningen av en vektor som en linjär avbildning kan göra.

Bakgrund och definition

En linjär operator T : V W {\displaystyle T:V\to W} (där V {\displaystyle V} och W {\displaystyle W} är normerade rum) sägs vara begränsad om det finns ett positivt reellt tal c {\displaystyle c} så att

T x c x {\displaystyle \|Tx\|\leq c\|x\|}

för alla x V {\displaystyle x\in V} . För att visa att en linjär operator är begränsad kan man hitta ett c {\displaystyle c} så att

T x x c {\displaystyle {\frac {\|Tx\|}{\|x\|}}\leq c} .

För alla x V {\displaystyle x\in V} , med andra ord ett supremum. Detta supremum är operatornormen för T {\displaystyle T} , betecknad T {\displaystyle \|T\|} , alltså

T = sup x V , x 0 T x x {\displaystyle \|T\|=\sup _{x\in V,x\neq 0}{\frac {\|Tx\|}{\|x\|}}} .

Operatornormen kan även uttryckas som

T = sup x V : x = 1 T x {\displaystyle \|T\|=\sup _{x\in V:\|x\|=1}\|Tx\|}

vilket kommer av att T {\displaystyle T} är en linjär avbildning.

Egenskaper

Operatornormen uppfyller de vanliga kraven för normer:

  • T 0 {\displaystyle \|T\|\geq 0} och T = 0 {\displaystyle \|T\|=0\,} omm T {\displaystyle T\,} är en nollavbildning.
  • α T = | α | T {\displaystyle \|\alpha T\|=|\alpha |\|T\|}
  • x + y x + y {\displaystyle \|x+y\|\leq \|x\|+\|y\|}

Man kan även se att:

T x T x {\displaystyle \|Tx\|\leq \|T\|\|x\|}

Exempel

Enhetsavbildning

En enhetsavbildning I : V V {\displaystyle I:V\to V} där V 0 {\displaystyle V\neq {0}\,} är begränsad och har norm I = 1 {\displaystyle \|I\|=1} .

Matriser

En reell matris A {\displaystyle A} med format m × n {\displaystyle m\times n} kan ses som en linjär avbildning A : R m R n {\displaystyle A:\mathbb {R} ^{m}\to \mathbb {R} ^{n}} . A {\displaystyle A} är begränsad och flera normer kan införas, se matrisnorm.