Tento článek se zabývá normou prostoru funkcí. O vzdálenosti konečných rozměrů vektorového prostoru viz Čebiševova vzdálenost. Pro uniformní normu v aditivní kombinatorice viz Gowersova norma.

Tento článek potřebuje k ověření další citace. Pomozte prosím vylepšit tento článek přidáním citací na spolehlivé zdroje. Materiál bez zdrojů může být zpochybněn a odstraněn.
Najít zdroje: „(Naučte se, jak a kdy odstranit tuto zprávu ze šablony)

V matematické analýze jednotná norma (nebo také sup norma) přiřazuje reálně nebo komplexně vyjádřeným omezeným funkcím f definovaným na množině S nezáporné číslo

Obvod čtverce je množina bodů v R2, kde se sup norma rovná pevné kladné konstantě.

‖ f ‖ ∞ = ‖ f ‖ ∞ , S = sup { | f ( x ) | : x ∈ S } . {\displaystyle \|f\|_{\infty }=\|f\|_{\infty ,S}=\sup \left\{\,\left|f(x)\right|:x\in S\,\right\}.}. \|f\|_{\infty }=\|f\|_{\infty ,S}=\sup \left\{\,\left|f(x)\right|:x\in S\,\right\}.

Tato norma se také nazývá norma supremum, Chebyshevova norma, norma nekonečna nebo, pokud je supremum ve skutečnosti maximum, norma max. Název „jednotná norma“ je odvozen od skutečnosti, že posloupnost funkcí { f n } {\displaystyle \{f_{n}\}} \{f_{n}\} konverguje k f {\displaystyle f} f podle metriky odvozené z jednotné normy tehdy a jen tehdy, když f n {\displaystyle f_{n}} f_{n} konverguje k f {\displaystyle f} f rovnoměrně.

Metrika generovaná touto normou se nazývá Chebyševova metrika podle Pafnuty Chebyševa, který ji jako první systematicky studoval.

Připustíme-li neohraničené funkce, nedává tento vzorec normu ani metriku ve striktním smyslu, i když získaná tzv. rozšířená metrika stále umožňuje definovat topologii na daném prostoru funkcí.

Je-li f spojitá funkce na uzavřeném intervalu nebo obecněji na kompaktní množině, pak je omezená a supremum ve výše uvedené definici je dosaženo Weierstrassovou větou o extrémních hodnotách, takže supremum můžeme nahradit maximem. V tomto případě se norma nazývá také maximální norma.Konkrétně pro případ vektoru x = ( x 1 , … , x n ) {\displaystyle x=(x_{1},\dots ,x_{n})} x=(x_{1},\dots ,x_{n}) v konečném rozměrném souřadnicovém prostoru má tvar

‖ x ‖ ∞ = max { | x 1 | , … , | x n | } . {\displaystyle \|x\|_{\infty }=\max\{|x_{1}|,\dots ,|x_{n}|\}.} \|x\|_{\infty }=\max\{|x_{1}|,\body ,|x_{n}|\}.

Důvodem pro index „∞“ je, že kdykoli je f spojité

lim p → ∞ ‖ f ‖ p = ‖ f ‖ ∞ , {\displaystyle \lim _{p\rightarrow \infty }\|f\|_{p}=\|f\|_{\infty },} \lim _{p\rightarrow \infty }\|f\|_{p}=\|f\|_{\infty },

kde

‖ f ‖ p = ( ∫ D | f | p d μ ) 1 / p {\displaystyle \|f\|_{p}=\left(\int _{D}\left|f\right|^{p}\,d\mu \right)^{1/p}} \|f\|_{p}=\left(\int _{D}\left|f\right|^{p}\,d\mu \right)^{1/p}

kde D je obor f (a integrál se rovná součtu, je-li D diskrétní množina).

Binární funkce

d ( f , g ) = ‖ f – g ‖ ∞ {\displaystyle d(f,g)=\|f-g\|_{\infty }}}. d(f,g)=\|f-g\|_{\infty }

je pak metrika na prostoru všech omezených funkcí (a samozřejmě i na libovolné jeho podmnožině) na daném oboru. Posloupnost { fn : n = 1, 2, 3, … } rovnoměrně konverguje k funkci f tehdy a jen tehdy, když

lim n → ∞ ‖ f n – f ‖ ∞ = 0. {\displaystyle \lim _{n\rightarrow \infty }\|f_{n}-f\|_{\infty }=0.\,} \lim _{n\rightarrow \infty }\|f_{n}-f\|_{\infty }=0.\,

Můžeme definovat uzavřené množiny a uzávěry množin s ohledem na tuto metrickou topologii; uzavřené množiny v jednotné normě se někdy nazývají jednotně uzavřené a uzávěry jednotně uzavřené. Rovnoměrný uzávěr množiny funkcí A je prostor všech funkcí, které lze aproximovat posloupností rovnoměrně konvergujících funkcí na A. Například jedno přeformulování Stoneovy-Weierstrassovy věty zní, že množina všech spojitých funkcí na {\displaystyle } je rovnoměrný uzávěr množiny polynomů na {\displaystyle }. .

Pro komplexní spojité funkce nad kompaktním prostorem to z něj dělá algebru C*.

Napsat komentář

Vaše e-mailová adresa nebude zveřejněna.