Operátornorma

A matematikában operátornormának adott normált vektorterek között ható lineáris leképezések terén megadott normát értik. Az operátorok tere algebra a leképezések kompozíciójával mint szorzással ellátva, és két operátor szorzatának normája felülbecsülhető a normáik szorzatával ezért az lineáris leképzzések tere az operátornormával ellátva normált algebrát alkot.

Az operátornorma csak olyan normált terek között ható lineáris leképezésekre értelmes, amelyek folytonosak, ezért olyan terekben, ahol vannak nem folytonos (un. nem korlátos) operátorok nem vezethető be a norma az egész térre vonatkozólag.

Bevezetés és definíció

Adott két normált vektortér V és W (ugyanazon test felett, amely vagy a valós számok R vagy a komplex számok C halmaza). Egy A : V → W lineáris operátor akkor és csak akkor folytonos, ha létezik egy c valós szám, amelyre:

$\|Av\|\leq c\|v\|\quad \forall v\in V$

(a baloldali norma a W, a jobboldali norma a V vektortérben értendő).

Szemléletesen szólva a folytonos operátor egy vektort sem nyújt meg a c konstansnál nagyobb mértékben. Ezért korlátos halmaz folytonos képe szintén korlátos. Ezért is nevezik a folytonos lineáris operátorokat korlátos operátoroknak is. Ekkor az A operátor méréséhez adódik, hogy legyen a legkisebb olyan c, amelyre fennáll a fenti egyenlőtlenség minden V beli v vektorra. Más szóval az operátort úgy mérhetjük, hogy megadjuk, legfeljebb hányszorosára nyújt meg tetszőleges vektort. Folytonos oprátorokra tehát értelmes a következő definíció:

$\|A\|_{\mathrm {op} }=\inf\{c\in [0,+\infty )\mid (\forall v\in V)(\;\|Av\|\leq c\|v\|\;)\}$

mely valóban teljesíti a normák tulajdonságait és amit operátornormának nevezünk. Az infimum (alsó határ) helyett minimum is írható, mert az összes ilyen c halmaza zárt, nem üres és alulról korlátos. A definíció átfogalmazható úgy, hogy elegendő legyen csak a leképezés egységsugarú gömbökön felvett képeinek normáira hivatkoznunk:

$\|A\|_{\mathrm {op} }=\sup\{\|Av\|:\|v\|=1,\;v\in V\}$

Azokban a végtelen dimenziós terekben, melyekben az egységgömb nem csak korlátos és zárt, de kompakt is, a fenti szuprémum (felső határ) lecserélhető maximumra.

Példák

Mátrixalgebrák

Minden valós m x n mátrix definiál egy lineáris leképezést Rⁿ-ről R^m-re. A mátrixalgebrákon számos normát lehet értelmezni és inden ilyen norma indukál egy-egy normát az Rⁿ $\to$ R^m operátorok terében. Ezek persze nem feltétlenül azonosak az operátornormával (bár ezek is operátorokon definiált normák lesznek), de ekvivalensek vele, hisz véges dimenziós térben minden norma ekvivalens egymással. Az operátornorma kitüntetett abban az értelemben, hogy bázisfüggetlen módon lehet megadni.

Bázisfüggetlen mátrixnormából is több van azonban. Minden A mátrixhoz rendeljük ugyanis az A^*A mátrix legnagyobb sajátértékének a négyzetgyökét, ahol A^* az A mátrix adjungáltját, azaz a transzponált komplex konjugáltját jelöli. Mivel a sajátértékek bázisfüggetlenek, ezért maga a norma és a lineáris leképezések között generált norma is független lesz a mátrixreprezentációtól.

Sorozatterek

Végtelen dimenziós esetre példa az $l^{2}$ sorozattér:

$l^{2}=\{(a_{n})_{n\geq 1}:\;a_{n}\in \mathbb {C} ,\;\sum _{n}|a_{n}|^{2}<\infty \}.$

Ez tekinthető az Cⁿ euklideszi tér végtelen dimenziós megfelelőjének is. Minden korlátos s = (s_n ) sorozat eleme az $l^{\infty }$ térnek az alábbi normával:

$\|s\|_{\infty }=\sup _{n}|s_{n}|.$

Legyen T_s egyszerű szorzás:

$(a_{n}){\stackrel {T_{s}}{\longrightarrow }}(s_{n}\cdot a_{n}).$

ekkor a T _s korlátos a következő operátornormával:

$\|T_{s}\|_{op}=\|s\|_{\infty }.$

Ez a példa tovább általánosítható az l ² tér helyett általános L^p teret használva p > 1 esetben illetve l^∞ helyett az L^∞ normált térben.

Ekvivalens definíciók

Megmutatható, hogy az alábbi definíciók ekvivalensek:

$\|A\|_{op}=\inf\{c:\|Av\|\leq c\|v\|\forall v\in V\}$

$=\sup\{\|Av\|:v\in V,\|v\|\leq 1\}$

$=\sup\{\|Av\|:v\in V,\|v\|=1\}$

$=\sup \left\{{\frac {\|Av\|}{\|v\|}}:v\in V,v\neq 0\right\}.$

Tulajdonságok

Az operátornorma tényleg norma a V és W között értelmezett korlátos operátorok terén:

1. $\|A\|_{op}\geq 0$
2. $\|A\|_{op}=0\Leftrightarrow A=0$
3. $\|aA\|_{op}=|a|\|A\|_{op}\quad \forall a\in \mathbb {K} ,$ ahol $\mathbb {K} \in \{\mathbb {R} ,\mathbb {C} \}$
4. $\|A+B\|_{op}\leq \|A\|_{op}+\|B\|_{op}$ (háromszögegyenlőtlenség)

Az alábbi egyenlőtlenség a definíció közvetlen következménye:

$\|Av\|\leq \|A\|_{op}\|v\|\quad \forall v\in V.$

Az operátornorma kompatibilis a kompozíció és a szorzás műveletekre: ha V, W és X három azonos test feletti normált vektortér és A : V → W, B: W → X két korlátos operátor, akkor

$\|BA\|_{op}\leq \|B\|_{op}\|A\|_{op}.$

A definícióból következik, hogy ha operátorok sorozata konvergens az operátornormában, akkor egyenletesen is konvergál korlátos halmazokon.