Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Matematika II – 9. týden Fourierovy řady, metrické prostory Jan Slovák Masarykova univerzita 15. 4. – 19.4. 2013 Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Obsah přednášky 1 Vzdálenost funkcí 2 Ortogonální systémy 3 Fourierovy řady 4 Wavelety 5 Metrické prostory Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Kde je dobré číst? Matimatematika drsně a svižně, učebnice v přípravě Zuzana Došlá, Jaromír Kuben, Diferenciální počet funkcí jedné proměnné, MU Brno, 2003, 215 s., ISBN 80-210-3121-2. Riley, K.F., Hobson, M.P., Bence, S.J. Mathematical Methods for Physics and Engineering, second edition, Cambridge University Press, Cambridge 2004, ISBN 0 521 89067 5, xxiii + 1232 pp. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Doporučené čtení z učebnice Teorie: Základní čtení: odst. 7.1 – 7.16 Rozšiřující čtení: – Úlohy: Výběr z úloh 6.81 – 7.26. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Pro pevný interval I = [a, b], konečný nebo nekonečný, definujeme kvadrát vzdálenosti funkcí na I takto: f − g 2 = b a |f (x) − g(x)|2 dx. Samozřejmě je třeba předpokládat, že tento Riemannův integrál existuje. Velikost f funkce f je pak její vzdálenost od funkce nulové, tj. f 2 = b a |f (x)|2 dx. Funguje dobře pro množinu S = S[a, b] omezených a po částech spojitých reálných funkcí na I. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Viděli jsme, že S je vektorový prostor a snadno se ověří, že námi právě uvažovaná velikost je odvozena z dobře definovaného skalárního součinu, tj. symetrického bilineárního zobrazení f , g = b a f (x)g(x) dx, s příslušnými vlastnostmi. V případě komplexních hodnot funkcí, půjde o skalární součet z unitárních prostorů, tj. g(x) bude ve výrazu vystupovat s pruhem (komplexně konjugovaná hodnota). V konečněrozměrném případě jsme takto definovali velikost vektorů. Nyní je to naprosto stejné a pokud zúžíme naši definici na vektorový prostor generovaný nad reálnými čísly jen konečně mnoha funkcemi f1, . . . , fk, dostaneme opět dobře definovaný skalární součin na tomto konečněrozměrném vektorovém podprostoru. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Máme-li generátory gi s vlastností gi , gj = 0 pro i = j 1 pro i = j hovoříme o tzv. ortonormální bázi (pracujeme také s ortogonálními). Grammova–Schmidtova ortogonalizace vytvoří z libovolného spočetného systému generátorů fi nové ortogonální generátory gi téhož prostoru, tj. gi , gj = 0 pro všechny i = j. Spočteme je postupně: g1 = f1 a formulemi g +1 = f +1 + a1g1 + · · · + a g , ai = − f +1, gi gi 2 pro > 1. Příkladem jsou např. ortogonální polynomy. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Připomeňme si výhody, které ortonormální báze podprostorů měly pro konečněrozměrné vektorové prostory. Můžeme pokračovat v příkladu Legendreových polynomů h1, h2 a h3, které generují R2[x] a uvažovat třeba V = R∞[x] jakožto funkce na intervalu [0, 1]. Pro libovolný polynom h ∈ V bude funkce H = h, h1 h1 + h, h2 h2 + h, h3 h3 jednoznačně určenou funkcí, která minimalizuje vzdálenost h − H mezi všemi funkcemi v R2[x]. Koeficienty pro nejlepší aproximaci zadané funkce pomocí funkce z vybraného podprostoru je možné tedy získat prostě integrací. Stejně tak ale tato formule zadá nejlepší aproximaci polynomem nejvýše druhého stupně pro libovolnou funkci h ∈ S[a, b] ve smyslu naší vzdálenosti funkcí na tomto prostoru. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Poslední příklad podbízí zobecnění – co se stane, když zvolíme úplně libovolný spočetný systém lineárně nezávislých funkcí v S takový, že každé dvě různé z nich mají nulový skalární součin? Takovému systému funkcí na intervalu I říkáme ortogonální systém funkcí. Jestliže jsou všechny funkce fn v posloupnosti po dvou ortogonální a zároveň je pro všechna n velikost fn = 1 normovaná, hovoříme o ortonormálním systému funkcí. Nechť tedy tvoří posloupnost funcí fn ortogonální systém po částech spojitých funkcí na intervalu I = [a, b] a předpokládejme, že pro konstanty cn konverguje řada F(x) = ∞ n=1 cnfn stejnoměrně na I. Pak snadno vyjádříme skalární součin F, fn po jednotlivých sčítancích: F, fn = ∞ m=1 cm b a fm(x)fn(x) dx = cn fn 2 . Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Máme tedy tušení, v jakou přibližně odpověď je možné doufat, a docela přehledně nám ji skutečně dává následující věta: Theorem Nechť fn, n = 1, 2, . . . , je ortogonální posloupnost funkcí Riemannovsky integrovatelných na I = [a, b] a nechť g je libovolná funkce Riemannovsky integrovatelná v kvadrátu na I. Označme cn = fn −2 b a fn(x)g(x) dx. (1) Pro libovolné pevné n ∈ N má ze všech lineárních kombinací funkcí f1, . . . , fn nejmenší vzdálenost od g výraz hn = n i=1 ci fi (x). Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Theorem (pokračování) (2) Řada čísel ∞ n=1 c2 n fn 2 vždy konverguje a platí ∞ n=1 c2 n fn 2 ≤ g 2 . (3) Vzdálenost g od částečných součtů sk = k n=1 cnfn jde v limitě k nule, tj. lim k→∞ g − sk 2 = 0, tehdy a jen tehdy, když ∞ n=1 c2 n fn 2 = g 2 . Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Ještě než se pustíme do důkazu, zkusíme lépe porozumět významu jednotlivých tvrzení této věty. Náš ortogonální systém funcí je libovolný, nemůžeme očekávat, že lze dobře aproximovat jakoukoliv funkci pomocí lineárních kombinací funkcí fi . Např. když se omezíme u ortogonálních polynomů pouze na sudé stupně, určitě budeme dobře aproximovat pouze sudé funkce. Nicméně hned první tvrzení nám říká, že vždycky budeme dosahovat nejlepší možné aproximace částečnými součty. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Druhé a třetí tvrzení pak můžeme vnímat jako analogii ke kolmým průmětům do podprostorů vyjádřených pomocí souřadnic. Skutečně vidíme, že pokud pro naši funkci g bodově konverguje řada F(x) = ∞ n=1 cnfn(x), pak je funkce F(x) kolmým průmětem g do vektorového podprostoru všech takovýchto řad. Zároveň ale naše věta neříká, že by částečné součty uvažované řady musely bodově konvergovat k nějaké funkci. Tj. řada F(x) nemusí být obecně konvergentní ani v případě, kdy nastane rovnost v (3). Pokud ale např. existuje konečná hodnota ∞ n=1 |ci | a všechny funkce fn jsou stejnoměrně omezené na I, pak zřejmě řada F(x) konverguje v každém x. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Důkaz věty (v případě reálných hodnot funkcí): Zvolme libovolnou lineární kombinaci f = k n=1 anfn a spočtěme její vzdálenost od g. Dostáváme g − k n=1 anfn 2 = g 2 + k n=1 fn 2 ((cn − an)2 − c2 n ). Evidentně lze poslední výraz minimalizovat právě volbou an = cn a tím je první tvrzení dokázáno. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Dosazením minimalizující volby dostáváme tzv. Besselovu identitu g − k n=1 cnfn 2 = g 2 − k n=1 c2 n fn 2 , ze které okamžitě díky nezápornosti levé strany vyplývá tzv. Besselova nerovnost k n=1 c2 n fn 2 ≤ g 2 . Tím je dokázáno druhé tvrzení, protože každá neklesající a shora omezená posloupnost reálných čísel má limitu (a je jí supremum celé množiny hodnot prvků posloupnosti). Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Jestliže v Besselově nerovnosti nastane rovnost, hovoříme o tzv. Parsevalově rovnosti. Přímo z definic vyplývá nyní tvrzení (3): (3) Vzdálenost g od částečných součtů sk = k n=1 cnfn jde v limitě k nule, tj. lim k→∞ g − sk 2 = 0, tehdy a jen tehdy, když ∞ n=1 c2 n fn 2 = g 2 . Ortonogonální systém funkcí nazveme úplný ortogonální systém na intervalu I = [a, b], jetliže platí Parsevalova rovnost pro každou funkci g s konečnou velikostí g na tomto intervalu. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Předchozí věta naznačuje, že umíme se spočetnými ortogonálními systémy fn funkcí pracovat velice podobně jako s konečnými ortogonálními bazemi vektorových prostorů, jsou tu ale zásadní rozdíly: Není snadné říci, jak vypadá celý prostor konvergentních nebo stejnoměrně konvergentních řad F(x) = ∞ n=1 cnfn. Pro danou integrovatelnou funkci umíme najít jen nejlepší možné přiblížení takovou řadou F(x). V případě, že místo ortonogonálního systému fn máme systém ortonormální, jsou formulky ve větě o něco jednodušší, žádné další zlepšení ale nenastane. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Jako pěkný příklad na integrování lze elementárními metodami ověřit, že systém funkcí 1, sin x, cos x, sin 2x, cos 2x, . . . , sin nx, cos nx, . . . je ortogonální systém na intervalu [−π, π] (a také na kterémkoliv jiném intervalu o délce 2π). Řady z předchozí věty odpovídající tomuto systému nazýváme Fourierovy řady. I v obecném případě diskutovaném výše se někdy hovoří o obecných Fourierových řadách vzhledem k ortogonálnímu systému funkcí fn. Koeficienty cn se pak nazývají Fourierovy koeficienty funkce f . Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Na intervalu [−π, π] jsou velikosti všech funkcí kromě první vždy √ π, první má velikost √ 2π. Lze dokázat, že náš systém funkcí je úplným ortogonálním systémem, nebudeme to zde ale dokazovat. Ve smyslu vzdálenosti funkcí definované pomocí našeho skalárního součinu proto budou částečné součty Fourierovy řady F(x) pro libovolnou funkci g(x) s konečným integrálem b a g(x)2 dx, tj. F(x) = a0 2 + ∞ n=1 (an cos(nx) + bn sin(nx)) s koeficienty an = 1 π π −π g(x) cos(nx) dx, bn = 1 π π −π g(x) sin(nx) dx, vždy konvergovat k funkci g(x). Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Z obecnějších úvah lze dovodit, že z konvergence v tomto smyslu vždy vyplývá bodová konvergence částečných součtů ve skoro všech bodech x ∈ I. Nebudeme zde ale ani vysvětlovat, co znamená „skoro všechny“, ani nebudeme takový výsledek dokazovat. Jako příklad uveďme Fourierovu řadu pro periodickou funkci vzniklou zúžením Heavisideovy funkce na jednu periodu. Tj. naše funkce g bude na intervalu [−π, 0] rovna −1 a na intervalu [0, π] bude rovna 1. Protože jde o funkci lichou, jistě budou všechny koeficienty u funkcí cos(nx) nulové, a pro coeficienty u funkcí sin(nx) spočteme bn = 1 π π −π g(x) sin(nx) dx = 2 π π 0 sin(nx) dx = 2 nπ (1 − (−1)n ). Výsledná Fourierova řada je tedy tvaru g(x) = 4 π sin(x) + 1 3 sin(3x) + 1 5 sin(5x) + . . . a součet jejích prvních pěti a prvních padesáti členů je na následujících dvou obrázcích. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Všimněme si, že se zvyšujícím se počtem členů řady se výrazně spřesňuje aproximace s výjimkou stále se zmenšujícího okolí bodu nespojitosti, na němž je ale maximum odchylky stále zhruba stejné. Je to obecná vlastnost Fourierových řad, které se říká Gibbsův jev. -1 0 2 x 0 -2 -0,5 0,5 -4 1 4 t=2. -1 0 2 x 4-2 -0,5 0 -4 1 0,5 t=24. Povšimněme si také, že v samotném bodě nespojitosti je hodnota aproximující funkce právě v polovině mezi limitami zprava a zleva pro Heavisideovu funkci. Nelze očekávat, že by konvergence pro funkce s body nespojitosti mohla být stejnoměrná (to by totiž g musela být coby stejnoměrná limita spojitých funkcí sama spojitá!). Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Bez podrobného důkazu si uvedeme následující větu podávající ucelený obrázek o bodové konvergenci Fourierových řad. Nejde o nutné podmínky konvergence a v literatuře lze najít řadu jiných formulací. Tato je ale jednoduchá a postihuje velké množství užitečných případů. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Theorem Nechť g je po částech spojitá a monotonní na intervalu [−π, π]. Pak její Fourierova řada F(x) konverguje na [−π, π] a součet je roven hodnotě g(x0) v každém bodě x0 ∈ [−π, π], ve kterém je funkce g(x) spojitá, v každém bodě nespojitosti x0 funkce g(x) roven 1 2 lim x→x+ 0 g(x) + lim x→x− 0 g(x) , v krajních bodech intervalu [−π, π] je roven 1 2 lim x→−π+ g(x) + lim x→π− g(x) . Pokud navíc je g(x) spojitá, periodická s periodou 2π a všude existuje její po částech spojitá derivace, pak konverguje její Fourierova řada F(x) stejnoměrně. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Fourierovy řady a další z nich vycházející nástroje jsou využívány ke zpracování různých signálů, obrázků apod. Povaha použitých periodických goniometrických funkcí a jejich prosté škálování pomocí zvětšující se frekvence zároveň omezují jejich použitelnost. V mnoha oborech proto vyvstala přirozená potřeba nalézt šikovnější úplné ortogonální systémy funkcí, které budou vycházet z předpokládané povahy dat a které bude možné efektivněji zpracovávat. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Takový systém se lze například vytvořit volbou vhodné spojité funkce ψ s kompaktním nosičem, ze které sestrojíme spočetně mnoho funkcí ψij , j, k ∈ Z, pomocí dyadických translací a dilatací: ψjk(x) = 2j/2 ψ(2j x − k). Pokud tvar mateřské funkce ψ dobře vystihuje možné chování dat, a zároveň její potomci ψjk tvoří úplný ortogonální systém, pak se zpravidla dobře daří konkrétní zpracovávaný signál aproximovat pomocí jen několika málo funkcí. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Nebudeme zde zacházet do podrobností, jde o mimořádně živý směr výzkumu i základ komerčních aplikací. Zájemce snadno najde spoustu literatury. Na obrázku je ilustrována tzv. Daubechies mateřská wavelet D4(x) a její dcera D4(2−3x − 1). 1,2 2 0,8 0,4 1 0 0-1 t 3 4 t 252015 0 1,2 0 5 30 0,8 10 0,4 Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Wavelety navíc nejsou vůbec definovány jako funkce analyticky. Místo toho jsou pouze tabelovány jejich hodnoty v dostatečném rozlišení. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Definition (Metriky a normy) Množina X spolu se zobrazením d : X × X → R splňující d(x, y) ≥ 0 a d(x, y) = 0, právě když x = y, (1) d(x, y) = d(y, x), (2) d(x, z) ≤ d(x, y) + d(y, z), (3) se nazývá metrický prostor. Zobrazení d je metrika na X. Je-li X vektorový prostor nad R a : X → R je funkce splňující x ≥ 0, přičemž x = 0, právě když x = 0, (4) λx = |λ| x , pro všechny skaláry λ, (5) x + y ≤ x + y , (6) pak funkci nazýváme norma na X a prostor X je normovaný vektorový prostor. Norma vždy zadává metriku d(x, y) = x − y . Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Definition (Cauchyovské posloupnosti) Uvažme libovolnou posloupnost prvků x0, x1, . . . v metrickém prostoru X takovou, že pro libolné pevně zvolené kladné reálné číslo platí pro všechny dvojice prvků xi , xj posloupnosti, až na konečně mnoho výjimek (které závisí na volbě ), d(xi , xj ) < . Jinak řečeno, pro každé pevné > 0 existuje index N takový, že předcházející nerovnost platí pro všechna i, j > N. Takové posloupnosti prvků se říká cauchyovská posloupnost. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Stejně jako u reálných či komplexních čísel bychom rádi, aby každá cauchyovská posloupnost prvků xi ∈ X konvergovala k nějaké hodnotě x v následujícím smyslu: Definition Jestliže pro posloupnost prvků x0, x1, . . . ∈ X, pevně zvolený prvek x ∈ X a pro libovolné kladné reálné číslo platí pro všechna i, až na konečně mnoho výjimek (závisejících na volbě ), d(xi , x) < , říkáme, že posloupnost xi , i = 0, 1, . . . , konverguje k prvku x, kterému říkáme limita posloupnosti xi , i = 0, 1, . . . v metrickém prostoru X. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Díky trojúhelníkové nerovnosti dostáváme pro každou dvojici prvků xi , xj z konvergentní posloupnosti, s dostatečně velikými indexy (značení jako v definici výše), d(xi , xj ) ≤ d(xi , x) + d(x, xj ) < 2 , a proto je každá konvergentní posloupnost také cauchyovská. Definition (Úplné metrické prostory) Metrické prostory, kde platí i obrácené tvrzení, tj. že každá cauchyovská posloupnost je konvergentní nazýváme úplné metrické prostory. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Stejně jako v případě reálných čísel můžeme zformulovat konvergenci pomocí „otevřených okolí“. Definition (Otevřené a uzavřené množiny) Otevřené –okolí prvku x v metrickém prostoru X (stručně –okolí) je množina O (x) = {y ∈ X; d(x, y) < }. Podmnožina U ⊂ X je otevřená, jestliže obsahuje s každým svým bodem i nějaké jeho –okolí. Pomnožina W ⊂ X je uzavřená, jestliže je její doplněk X \ W otevřenou množinou. Namísto –okolí hovoříme také o (otevřené) –kouli se středem v x. V případě normovaného prostoru si vystačíme s –koulemi se středem v nule, jejichž přičtením k danému prvku x dostaneme právě jeho –okolí. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Hromadné body podmnožiny A ⊂ X jsou takové x ∈ X, ke kterým konverguje posloupnost bodů z A neobsahující bod x. Theorem Množina je uzavřená, právě když obsahuje všechny své hromadné body Důkaz. Skutečně, A je uzavřená, právě když pro každý bod x /∈ A existuje nějaké > 0 takové, že celé –okolí O (x) má s A prázdný průnik. Pokud by tedy A byla uzavřená a x byl hromadný bod množiny A, který do A nepatří, pak v libovolném takovém –okolí takového x leží nekonečně mnoho bodů množiny A, což je spor. Naopak předpokládejme, že A obsahuje všechny své hromadné body a uvažme x ∈ X \ A. Pokud by v každém –okolí bodu x existoval bod x ∈ A, pak postupně volbami = 1/n dostaneme posloupnost bodů xn ∈ A konvergující k x. Pak by ovšem x musel být hromadným bodem, a tedy v A, takže opět máme spor. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Pro každou podmnožinu A v metrickém prostoru X definujeme její vnitřek jako množinu těch bodů v A, které do A patří i s celým svým nějakým okolím. Dále definujeme uzávěr ¯A množiny A jako sjednocení původní množiny A s množinou všech jejích hromadných bodů. Libovolný průnik a libovolné konečné sjednocení uzavřených množin v metrickém prostoru je opět uzavřená množina. Libovolné sjednocení oteřených množin je opět otevřená množina, ale jen konečný průnik otevřených množin je obecně opět otevřená množina. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Vnitřek množiny A je právě sjednocením všech otevřených množin v A obsažených, zatímco uzávěr A je průnikem všech uzavřených množin obsahujících A. Uzavřené a otevřené množiny představují základní pojmy tzv. topologie. Pojem konvergence můžeme nyní zformulovat tak, že posloupnost prvků xi v metrickém prostoru X, i = 0, 1, . . . , konverguje k x ∈ X, právě když pro každou otevřenou množinu U obsahující x jsou všechny body naší posloupnosti, až na konečně mnoho výjimek, obsaženy v U. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Definition Zobrazení f : W → Z mezi metrickými prostory je spojité jestliže vzor f −1(V ) každé otevřené množiny V ⊂ Z je otevřená množina ve W . Samořejmě to neznamená nic jiného než tvrzení, že pro každý prvek z = f (x) ∈ Z a kladné číslo existuje kladné číslo δ tak, že pro všechny prvky y ∈ W se vzdáleností dW (x, y) < δ je také dZ (z, f (y)) < . Zcela stejně jako u reálných funkcí je zobrazení f mezi metrickými prostory spojité právě tehdy, když respektuje konvergence posloupností. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Lp–normy Začneme na reálných nebo komplexních konečněrozměrných vektorových prostorech Rn a Cn a definujeme pro pevné reálné číslo p ≥ 1 a libovolný vektor z = (z1, . . . , zn) z p = n i=1 |zi |p 1/p . Dokážeme, že takto je definována norma. První dvě vlastnosti z definice jsou zřejmé. Zbývá dokázat trojúhelníkovou nerovnost. Vyjdeme přitom z tzv. Hölderovy nerovnosti. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Lemma (Hölderova nerovnost) Pro pevné reálné číslo p > 1 a každé dvě n–tice nezáporných reálných čísel xi a yi platí n i=1 xi yi ≤ n i=1 xp i 1/p · n i=1 yq i 1/q , kde 1/q = 1 − 1/p. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Teď už budeme umět dokázat, že p je skutečně norma: Lemma (Minkowského nerovnost) Pro každé p > 1 a všechny n–tice nezáporných reálných čísel (x1, . . . , xn) a (y1, . . . , yn) platí n i=1 (xi + yi )p 1/p ≤ n i=1 xp i 1/p + n i=1 yp i 1/p . Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory K ověření této praktické nerovnosti vede následující trik využívající Hölderovu nerovnost. Jistě platí (všimněme si, že p > 1) n i=1 xi (xi + yi )p−1 ≤ n i=1 xp i 1/p · n i=1 (xi + yi )(p−1)q 1/q a stejně tak n i=1 yi (xi + yi )p−1 ≤ n i=1 yp i 1/p · n i=1 (xi + yi )(p−1)q 1/q . Nyní sečtením posledních dvou nerovností, s využitím skutečnosti, že p + q = pq a tedy (p − 1)q = pq − q = p, dostaneme n i=1(xi + yi )p n i=1(xi + yi )p 1/q ≤ n i=1 xp i 1/p + n i=1 yp i 1/p , ale 1 − 1/q = 1/p, takže jde právě o dokazovanou Minkowského nerovnost. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Ověřili jsme si tedy, že na každém konečněrozměrném reálném nebo komplexním vektorovém prostoru máme třídu norem p pro všechna p ≥ 1. Kromě toho ještě klademe z ∞ = max{|zi |, i = 1, . . . , n}, což je zjevně také norma. Všimněme si, že Hölderovu nerovnost můžeme v kontextu těchto norem zapsat pro všechna x = (x1, . . . , xn), y = (y1, . . . , yn) jako n i=1 |xi | · |yi | ≤ x p · y q pro všechna p ≥ 1 a q splňující 1/p + 1/q = 1, přičemž pro p = 1 klademe q = ∞. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Lp–normy pro posloupnosti a funkce Nyní docela snadno zavedeme normy i na vhodných nekonečněrozměrných vektorových prostorech. Vektorový prostor p, p ≥ 1, je množina všech posloupností reálných nebo komplexních posloupností x0, x1, . . . takových, že ∞ i=0 |xi |p < ∞. Všechny posloupnosti s omezenými absolutními hodnotami členů tvoří prostor ∞. Limitním přechodem pro n → ∞ okamžitě z Minkowského nerovnosti vidíme, že výraz x p = ∞ i=0 |xi |p 1/p je norma na p. Obdobně klademe na ∞ x ∞ = sup{|xi |, i = 0, 1, . . . } a opět dostáváme normu. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Konečně, vraťme se k prostorům funkcí S0[a, b] na konečném intervalu [a, b] nebo S0 c [a, b] na neohraničeném intervalu. S normou 1 jsme se již setkali. Zjevně ale pro každé p > 1 a pro všechny funkce v takovém prostoru funkcí existují Riemannovy integrály b a |f (x)|p dx a můžeme tedy definovat f p = b a |f (x)|p dx 1/p . Riemannův integrál jsme definovali pomocí limitního přechodu vycházejícího z tzv. Riemannových součtů, které odpovídají dělením Ξ s reprezentanty ξi . V našem případě tedy jde o konečné součty SΞ,ξ = n i=1 |f (ξi )|p (xi − xi−1). Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Hölderova nerovnost použitá na Riemannovy součty součinu dvou funkcí f (x) a g(x) dá n i=1 |f (ξi )||g(ξi )|(xi − xi−1) = = n i=1 |f (ξi )|(xi − xi−1)1/p |g(ξi )|(xi − xi−1)1/q ≤ n i=1 |f (ξi )|p (xi − xi−1) 1/p · n i=1 |g(ξi )|q (xi − xi−1) 1/q , přičemž napravo máme zjevně právě součin Riemannových součtů pro integrály f p a g q. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Limitním přechodem tak ověřujeme tzv. Hölderovu nerovnost pro integrály: b a f (x)g(x) dx ≤ b a f (x)p dx 1/p b a g(x)q dx 1/q platnou pro všechny nezáporné reálné funkce f a g v našem prostoru po částech spojitých funkcí s kompaktním nosičem Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Přesně stejným postupem jako v předchozím odstavci odvodíme z Hölderovy nerovnosti nerovnost Minkowského v její integrální formě: f + g p ≤ f p + g p. Je tedy p je skutečně norma na vektorovém prostoru všech spojitých funkcí s kompaktními nosiči pro všechna p > 1 (a pro p = 1 jsme tuto skutečnost ověřili už dávno). Pro celý prostor S0[a, b] po částech spojitých funkcí budeme sice také slovo norma v tomto kontextu používat, měli bychom ale přitom vědět, že musíme ztotožňovat funkce, které se od sebe liší jen hodnotami v bodech nespojitosti. Vzdálenost funkcí Ortogonální systémy Fourierovy řady Wavelety Metrické prostory Mezi těmito normami je výjimečný případ p = 2, který jsme již dříve realizovali pomocí skalárního součinu. V tomto případě jsme mohli odvodit trojúhelníkovou nerovnost daleko jednodušeji pomocí Schwarzovy nerovnosti. Pro funkce z S0[a, b] můžeme definovat i obdobu L∞–normy na n–rozměrných vektorech. Protože jsou naše funkce po částech spojité, budou pro ně na konečném uzavřeném intervalu vždy existovat suprema absolutních hodnot a klademe tedy pro takovou funkci f f ∞ = sup{f (x), x ∈ [a, b]}. Všimněme si, že kdybychom za hodnoty f (x) v bodech nespojitosti považovali jak jednostranné limity (které podle naší definice vždy existují), tak samotnou hodnotu funkce, pak můžeme pracovat s maximy místo suprem. Opět je zřejmé, že jde o normu (až na problémy s hodnotami v bodech nespojitosti).