„Norma (matematika)” változatai közötti eltérés

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
a linkek
40. sor:
:<math>\|A\|_M = \sup_{x\not = 0}\frac{\|Ax\|_V}{\|x\|_V} = \sup_{\|x\|_V = 1}\|Ax\|_V</math>
 
Itt a sup helyett maximum is írható. A linearitás folytán elég az 1 normájú vektorokat[[vektor]]okat tekinteni, és mivel ez kompakt halmaz, a folytonos <math>\|Ax\|_V</math> függvény felveszi a maximumát.
 
Az indukált mátrixnormákra[[mátrix]]normákra teljesül:
 
:<math>\| A \cdot B\| \leq \|A\| \|B\|</math>
64. sor:
 
===<math>\ell^p</math>-terek===
Az <math>\ell^p</math>-terek azokból a sorozatokból[[sorozat]]okból állnak, amelyekben a tagok abszolútértékes[[abszolútérték]]es p-edik hatványának összege konvergens.
 
:<math> \ell^p := \left\{\left(a_n\right)\in\Bbb K^\mathbb{N} \colon\left(\sum_{n=0}^\infty |a_n|^p\right) < \infty\right\}, \qquad p \in [1,\infty) </math>
77. sor:
 
===L<sup>p</sup>-normák===
Az L<sup>p</sup>-terek azokat a [[függvény (matematika)|függvényeket]] tartalmazzák, amiknek a p-edik hatványa[[hatvány]]a integrálható. Ha ezekre a függvényekre vesszük az analóg leképezést:
 
<math> \|f\|_p := \left(\int_\Omega \|f(x)\|^p\,d\mu(x)\right)^{1/p}</math>,
 
akkor egy úgynevezett ''félnormát'' kapunk, mert ez az [[integrál]] nemcsak az azonosan nulla függvényre nulla, hanem azokra is, amik [[majdnem mindenütt]] nullát vesznek fel. Tekintsük [[ekvivalencia|ekvivalensnek]] azokat a függvényeket, amik majdnem mindenütt egyenlők. Ezeken az ekvivalenciaosztályokon ez az integrál norma.
 
Többnyire itt is az 1-es, a 2-es és a határértékként kapható végtelen normát használják, bár előfordulnak fizikai példák más p-kre, mint a hősugárzási egyenlet megoldása az L<sup>5</sup>-térben.
95. sor:
:<math> \|f \circ g\| \leq \|f\|\|g\| </math>.
 
Véges dimenzióban[[dimenzió]]ban automatikusan véges lesz a norma. Ez a függvényterekben már nem igaz, a norma végtelen is lehet, például a [[derivált|differenciáloperátorok]] esetében. Szigorúan véve nem lesz norma a fenti értelemben.
 
Be lehet bizonyítani, hogy egy operátor normája véges akkor és csak akkor, ha folytonos.
 
==Források==
* Stoyan Gisbert - Takó Galina: Numerikus módszerek 1.
* Riesz-Szőkefalvi: Funkcionálanalízis
 
[[Kategória:Lineáris algebra]]