„Operátornorma” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Mozo (vitalap | szerkesztései) |
Mozo (vitalap | szerkesztései) |
||
15. sor: | 15. sor: | ||
== Példák == |
== Példák == |
||
===Mátrixalgebrák=== |
|||
===Norma mátrixalgebrában=== |
|||
Minden valós ''m x n'' [[mátrix]] definiál egy lineáris leképezést '''R'''<sup>''n''</sup>-ről '''R'''<sup>''m''</sup>-re. |
Minden valós ''m x n'' [[mátrix]] definiál egy lineáris leképezést '''R'''<sup>''n''</sup>-ről '''R'''<sup>''m''</sup>-re. A mátrixalgebrákon számos normát lehet értelmezni és inden ilyen norma indukál egy-egy normát az '''R'''<sup>''n''</sup> <math>\to</math> '''R'''<sup>''m''</sup> operátorok terében. Ezek persze nem feltétlenül azonosak az operátornormával (bár operátprokon 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<sup>*</sup>A'' mátrix legnagyobb sajátértékének a négyzetgyökét, ahol ''A<sup>*</sup>'' 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 <math>l^2</math> sorozattér: |
Végtelen dimenziós esetre példa az <math>l^2</math> sorozattér: |
A lap 2009. október 28., 20:19-kori változata
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:
(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ó:
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:
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 Rn-ről Rm-re. A mátrixalgebrákon számos normát lehet értelmezni és inden ilyen norma indukál egy-egy normát az Rn Rm operátorok terében. Ezek persze nem feltétlenül azonosak az operátornormával (bár operátprokon 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 sorozattér:
Ez tekinthető az Cn euklideszi tér végtelen dimenziós megfelelőjének is. Minden korlátos s = (sn ) sorozat eleme az térnek az alábbi normával:
Legyen Ts egyszerű szorzás:
ekkor a T s korlátos a következő operátornormával:
Ez a példa tovább általánosítható az l 2 tér helyett általános Lp 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:
Tulajdonságok
Az operátornorma tényleg norma a V és W között értelmezett korlátos operátorok terén:
- ahol
- (háromszögegyenlőtlenség)
Az alábbi egyenlőtlenség a definíció közvetlen következménye:
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
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.