Úvod do funkcionální analýzy

Podobné dokumenty
Projekty - Úvod do funkcionální analýzy

2. přednáška 8. října 2007

METRICKÉ A NORMOVANÉ PROSTORY

Kapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R...

Definice 1.1. Nechť je M množina. Funkci ρ : M M R nazveme metrikou, jestliže má následující vlastnosti:

PŘEDNÁŠKA 2 POSLOUPNOSTI

Důkaz Heineho Borelovy věty. Bez újmy na obecnosti vezmeme celý prostor A = M (proč? úloha 1). Implikace. Nechť je (M, d) kompaktní a nechť.

10 Funkce více proměnných

Texty k přednáškám z MMAN3: 3. Metrické prostory

3. přednáška 15. října 2007

19 Hilbertovy prostory

K oddílu I.1 základní pojmy, normy, normované prostory

Texty k přednáškám z MMAN3: 4. Funkce a zobrazení v euklidovských prostorech

Přednáška 6, 6. listopadu 2013

Úvod základy teorie zobrazení

FREDHOLMOVA ALTERNATIVA

Dnešní látka Variačně formulované okrajové úlohy zúplnění prostoru funkcí. Lineární zobrazení.

TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 4. PREDNÁŠKA - SOUČIN PROSTORŮ A TICHONOVOVA VĚTA.

Riemannův určitý integrál

Home. Obsah. Strana 1 MATEMATIKA. Fullscreen PRO LETECKÉ. Tisk OBORY II. Konec

Limita a spojitost funkce a zobrazení jedné reálné proměnné

1 Množiny, výroky a číselné obory

Matematická analýza 1

1 Báze a dimenze vektorového prostoru 1

Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice

i=1 λ ix i,λ i T,x i M}.Množinuvektorů

p 2 q , tj. 2q 2 = p 2. Tedy p 2 je sudé číslo, což ale znamená, že

ÚVOD DO FUNKCIONÁLNÍ ANALÝZY. Jiří Bouchala

1 Lineární prostory a podprostory

Obsah. 1 Lineární prostory 2

1. přednáška 1. října Kapitola 1. Metrické prostory.

TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 3. PREDNÁŠKA - KOMPAKTNÍ PROSTORY.

Matematika 2 Úvod ZS09. KMA, PřF UP Olomouc. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 1 / 25

Drsná matematika III 1. přednáška Funkce více proměnných: křivky, směrové derivace, diferenciál

MATICE. a 11 a 12 a 1n a 21 a 22 a 2n A = = [a ij]

K oddílu VI.1 obecné slabé topologie Příklad 1. Necht X = C([0, 1]) s topologií bodové konvergence na [0, 1]. Popište všechny

TEORIE MÍRY V některých předchozích kapitolách jste se setkali s měřením velikostí množin a víte, jaké byly těžkosti s měřením množin i na reálné ose.

Vektory a matice. Obsah. Aplikovaná matematika I. Carl Friedrich Gauss. Základní pojmy a operace

Aplikovaná matematika I, NMAF071

Limita a spojitost funkce. 3.1 Úvod. Definice: [MA1-18:P3.1]

Definice : Definice :

V předchozí kapitole jsme podstatným způsobem rozšířili naši představu o tom, co je to číslo. Nadále jsou pro nás důležité především vlastnosti

PŘEDNÁŠKA 5 Konjuktivně disjunktivní termy, konečné distributivní svazy

1 Topologie roviny a prostoru

Základy teorie množin

Matematika V. Dynamická optimalizace

Metrické prostory a kompaktnost

Přednáška 6, 7. listopadu 2014

4. Topologické vlastnosti množiny reálných

Lineární algebra : Metrická geometrie

Matematika III. Miroslava Dubcová, Daniel Turzík, Drahoslava Janovská. Ústav matematiky

6 Skalární součin. u v = (u 1 v 1 ) 2 +(u 2 v 2 ) 2 +(u 3 v 3 ) 2

Základy matematické analýzy

1. Posloupnosti čísel

Necht L je lineární prostor nad R. Operaci : L L R nazýváme

Limita posloupnosti a funkce

Učební texty k státní bakalářské zkoušce Matematika Skalární součin. študenti MFF 15. augusta 2008

Matematická analýza 4

KOMPLEXNÍ ČÍSLA A FUNKCE MNOŽINA KOMPLEXNÍCH ČÍSEL C. Alternativní popis komplexních čísel

Matematická analýza pro informatiky I. Limita posloupnosti (I)

Báze a dimenze vektorových prostorů

Nechť je číselná posloupnost. Pro všechna položme. Posloupnost nazýváme posloupnost částečných součtů řady.

Limita a spojitost funkce

Věta o sedlovém bodu a Fredholmova alternativa

Doporučené příklady k Teorii množin, LS 2018/2019

Matematická analýza pro informatiky I.

Speciální prostory Příklady na konstrukce prostorů 2. KONSTRUKCE. Miroslav Hušek, Pavel Pyrih KMA MFF UK. 2. Příklady

9. Vícerozměrná integrace

LIMITA A SPOJITOST FUNKCE

Hypergrafové removal lemma a Szemérediho

Matematika B101MA1, B101MA2

Lineární algebra : Lineární prostor

Posloupnosti a jejich konvergence POSLOUPNOSTI

Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace

6 Lineární geometrie. 6.1 Lineární variety

ŘADY KOMPLEXNÍCH FUNKCÍ

METRICKÉ PROSTORY. Konvergence čehosi k čemusi. Začíná se to zašnodrchávat

1 Kardinální čísla. množin. Tvrzení: Necht X Cn. Pak: 1. X Cn a je to nejmenší prvek třídy X v uspořádání (Cn, ),

Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin.

To je samozřejmě základní pojem konvergence, ale v mnoha případech je příliš obecný a nestačí na dokazování některých užitečných tvrzení.

Lineární algebra : Báze a dimenze

Matematika pro informatiky

Definice 13.1 Kvadratická forma v n proměnných s koeficienty z tělesa T je výraz tvaru. Kvadratická forma v n proměnných je tak polynom n proměnných s

Lineární algebra : Skalární součin a ortogonalita

Matematika I 12a Euklidovská geometrie

15 Maticový a vektorový počet II

9. Vícerozměrná integrace

17. Posloupnosti a řady funkcí

IV. Základní pojmy matematické analýzy IV.1. Rozšíření množiny reálných čísel

Přednáška 9, 28. listopadu 2014 Část 4: limita funkce v bodě a spojitost funkce

Množiny, relace, zobrazení

Posloupnosti a jejich konvergence

LEKCE10-RAD Otázky

OBECNOSTI KONVERGENCE V R N

Matematika 5 FSV UK, ZS Miroslav Zelený

Kapitola Základní množinové pojmy Princip rovnosti. Dvě množiny S a T jsou si rovny (píšeme S = T ) prvek T je také prvkem S.

Matematická analýza III.

Zobecněný Riemannův integrál

Úvod do teorie her

Úvod do lineární algebry

Transkript:

Úvod do funkcionální analýzy Ladislav Lukšan Ústav informatiky AV ČR, Pod vodárenskou věží 2, 182 07 Praha 8 Technická universita v Liberci, Hálkova 6, 461 17 Liberec Tento text byl použit jako podklad pro stejnojmennou přednášku v předmětu Matematika 6 B na Technické Universitě v Liberci (TUL). Tím byl podmíněn výběr látky a způsob výkladu. Protože se na TUL neprobírá teorie Lebesgueova integrálu ani hlubší partie teorie množin a topologie, uvádím některá tvrzení bez důkazů. Hloubavý čtenář nalezne tyto důkazy spolu s dalšími partiemi funkcionální analýzy v doporučené literatuře: A.E.Taylor: Úvod do funkcionální analýzy, Academia, Praha 1973. A. Kufner: Geometrie Hilbertova prostoru. SNTL, Praha 1973. J. Nagy: Vybrané partie z moderní matematiky, SNTL, Praha 1976. W. Rudin: Analýza v reálném a komplexním oboru. Academia, Praha 1977. J. Lukeš: Zápisky z funkcionální analýzy. Karolinum, Praha 1998. Funkcionální analýza vznikla na základě snahy zobecnit pojmy klasické analýzy (zejména pojmy konvergence a spojitosti) na obecnější prostory a objekty. V tomto textu se budeme zabývat vlastnostmi topologických, metrických, Banachových a Hilbertových prostorů (jsou seřazeny od obecnějších ke speciálnějším) a lineárními objekty v těchto prostorech. V textu jsou často použity kvantifikátory (pro každý) a (existuje). 1 Metrické prostory 1.1 Základní pojmy Definice 1 Nechť X je množina a ρ : X X R je reálná funkce taková, že (a) ρ(x, y) 0 ρ(x, y) = 0 x = y (b) ρ(x, y) = ρ(y, x) (c) ρ(x, z) ρ(x, y) + ρ(y, z) Pak řekneme, že (X, ρ) je metrickým prostorem. Funkce ρ se nazývá metrika. 1

Příklad 1 Nechť C je množina komplexních čísel a ρ(x, y) = x y x, y C. Pak platí (a)-(c) a (C, ρ) je metrickým prostorem. Příklad 2 Nechť R n je množina n-rozměrných reálných vektorů (budeme používat označení x = (ξ 1,..., ξ n ), y = (η 1,..., η n ), z = (ζ 1,..., ζ n )), p 1 a ρ(x, y) = ( n i=1 ξ k η k p ) 1 p x, y R n Pak platí (a)-(c) a (R n, ρ) je metrickým prostorem. Podmínky (a), (b) jsou zřejmé. Pro p = 1 plyne (c) z vlastností absolutní hodnoty (jako v příkladu 1). Abychom dokázali (c) pro p > 1, dokážeme nejprve Hölderovu nerovnost ( n n a k b k a p k ) 1 ( p n kde 1/p + 1/q = 1, která platí pro a k 0, b k 0, 1 k n. Položme A = ( n a p k ) 1 ( p n, B = Pokud A = 0 nebo B = 0, platí Hölderova nerovnost triviálně. Budeme tedy předpokládat, že A 0 a B 0. Z vlastností exponenciální funkce plyne, že existují čísla u k, v k taková, že ( ) a k A = exp uk, p b q k b q k ) 1 q ) 1 q ( ) b k B = exp vk q Z konvexity exponenciální funkce plyne nerovnost ( uk exp p + v ) k 1 q p exp(u k) + 1 q exp(v k) neboli a sečtením dostaneme 1 AB ( ak A n a k b k 1 1 p ) ( ) b k 1 B p A p ( ak ) p 1 + A q n a p k + 1 1 q B q ( ) q bk B n b q k = 1 p + 1 q = 1 Vynásobením této rovnosti číslem AB a dosazením za A a B dostaneme Hölderovu nerovnost. Nyní dokážeme Minkovského nerovnost 2

( n ) 1 ( p n (a k + b k ) p a p k ) 1 ( p n + kde p > 1 a a k 0, b k 0, 1 k n. Použitím Hölderovy nerovnosti dostaneme b p k ) 1 p a ( n n a k (a k + b k ) p 1 a p k ) 1 ( p n ) 1 q (a k + b k ) (p 1)q ( n n b k (a k + b k ) p 1 což po sečtení dává ( n n (a k + b k ) p a p k b p k ) 1 ( p n + ) 1 ( p n ) 1 q (a k + b k ) (p 1)q b p k ) 1 ( p n ) 1 q (a k + b k ) p neboť z 1/p + 1/q = 1 plyne p + q = pq a tedy (p 1)q = pq q = p. Dělíme-li tuto nerovnost posledním výrazem na její pravé straně a přihlédneme-li k tomu že 1 1/q = 1/p dostaneme Minkovského nerovnost. Nyní použijeme Minkovského nerovnost k důkazu trojúhelníkové nerovnosti. Platí ρ(x, z) = ( n ( n ξ k ζ k p ) 1 p ξ k η k p ) 1 p + ( n ) 1 p ( ξ k η k + η k ζ k ) p ( n η k ζ k p ) 1 p = ρ(x, y) + ρ(y, z) V R n se zpravidla používá eukleidovská metrika, kdy p = q = 2. Příklad 3 Nechť l p, p 1, je množina posloupností reálných čísel (budeme používat označení x = {ξ 1, ξ 2,...}, y = {η 1, η 2,...}, z = {ζ 1, ζ 2,...}) takových, že Položme ξ k p < x l p ρ(x, y) = ( ξ k η k p ) 1 p x, y l p 3

Pak platí (a)-(c) a (l p, ρ) je metrickým prostorem. Podmínky (a), (b) jsou zřejmé a (c) se dokazuje podobně jako v příkladu 2. Používá se přitom Minkovského nerovnost ( ) 1 ( p (a k + b k ) p a p k ) 1 ( p + která platí pro nezáporné posloupnosti {a k } l p, {b k } l p a kterou dostaneme z Minkovského nerovnosti z příkladu 2 limitním přechodem n (součty na obou stranách této nerovnosti jsou podle definice prostoru (l p, ρ) konečné). Nejčastěji se používá prostor l 2, který má velmi výhodné vlastnosti (jak uvidíme později, je l 2 Hilbertovým prostorem). Příklad 4 Nechť l je množina všech posloupností reálných čísel (budeme používat označení x = {ξ 1, ξ 2,...}, y = {η 1, η 2,...}, z = {ζ 1, ζ 2,...}) takových, že b p k ) 1 p Položme sup ξ k < x l k N ρ(x, y) = sup ξ k η k x, y l k N Pak platí (a)-(c) a (l, ρ) je metrickým prostorem. Podmínky (a), (b) jsou zřejmé a ρ(x, z) = sup k N ξ k ζ k sup ( ξ k η k + η k ζ k ) k N η k ζ k sup ξ k η k + sup k N k N = ρ(x, y) + ρ(y, z) Příklad 5 Nechť C[a, b] je množina všech funkcí spojitých na intervalu [a, b] ( < a < b < ) a ρ(x, y) = max ( x(t) y(t) ) x, y C[a, b] t [a,b] Pak platí (a)-(c) a (C[a, b], ρ) je metrickým prostorem. Podmínky (a), (b) jsou zřejmé a ρ(x, z) = max ( x(t) z(t) ) t [a,b] max ( x(t) y(t) + y(t) z(t) ) t [a,b] max ( x(t) y(t) ) + max ( y(t) z(t) ) t [a,b] t [a,b] = ρ(x, y) + ρ(y, z) 4

Příklad 6 Nechť L p [a, b], p 1, je množina všech funkcí, jejichž p-tá mocnina je integrovatelná (v Lebesgueově smyslu) na intervalu [a, b] ( < a < b < ) a platí b a x(t) p dt < x L p [a, b] Nechť L p [a, b] je množina tříd funkcí z L p [a, b] (třídy označujeme vlnovkou), přičemž x 1 x, x 2 x, pokud x 1 = x 2 skoro všude v [a, b], a ( b ρ( x, ỹ) = a ) 1 x(t) y(t) p p dt x x, y ỹ Pak platí (a)-(c) a (L p [a, b], ρ) je metrickým prostorem. Podmínky (a), (b) jsou zřejmé, (c) se dokazuje podobně jako v příkladu 2. Používá se přitom Minkovského nerovnost ( b (a(t) + b(t)) p dt a ) 1 p ( b a ) 1 ( a p p b ) 1 (t)dt + b p p (t)dt a která platí pro nezáporné funkce a(t) L p [a, b], b(t) L p [a, b]. Nejčastěji se používá prostor L 2 [a, b], který má velmi výhodné vlastnosti (jak uvidíme později, je L 2 [a, b] Hilbertovým prostorem). Příklad 7 Nechť L [a, b] je množina všech funkcí omezených skoro všude v [a, b] ( < a < b < ), takže ess sup x(t) < x L [a, b] t [a,b] (výraz na levé straně je nejmenší číslo c 0 takové, že množina těch t [a, b], pro něž x(t) > c, má Lebesgueovu míru nula). Nechť L [a, b] je množina tříd funkcí z L [a, b] (třídy označujeme vlnovkou), přičemž x 1 x, x 2 x pokud x 1 = x 2 skoro všude v [a, b] a ρ( x, ỹ) = ess sup x(t) y(t) t [a,b] x x, y ỹ Pak platí (a)-(c) a (L [a, b], ρ) je metrickým prostorem. Podmínky (a), (b) jsou zřejmé, (c) se dokazuje podobně jako v příkladu 5. Definice 2 Nechť (X, ρ) je metrický prostor, x X a ε > 0. Množinu B(x, ε) = {y X : ρ(x, y) < ε} nazveme otevřenou koulí se středem v bodě x X a poloměrem ε > 0. 5

Definice 3 Nechť (X, ρ) je metrický prostor a G X. Jestliže x G existuje ε > 0 tak, že B(x, ε) G, řekneme, že množina G X je otevřená. Nechť F X. Jestliže množina X\F X je otevřená, řekneme, že množina F je uzavřená (symbolem X\F označujeme doplněk množiny F v X). Věta 1 Platí toto: (a) Množiny X a (celý prostor a prázdná množina) jsou otevřené. (b) Jsou-li G i X, 1 i n, otevřené, je G = n G i otevřená. (c) Sjednocení libovolného počtu otevřených množin je otevřená množina. Důkaz: (a) Podle definice 2 leží každá otevřená koule v X. Prázdna množina neobsahuje žádný bod, takže definice 3 je pro ní v pořádku. (b) Nechť G = n i=1 G i a x G. Pak x G i 1 i n. Jelikož G i, 1 i n, jsou otevřené, existují čísla ε i > 0, 1 i n, taková že B(x, ε i ) G i 1 i n. Položíme-li ε = min(ε 1,..., ε n ), platí B(x, ε) G i 1 i n a tedy B(x, ε) G. (c) Nechť x leží v sjednocení G otevřených množin. Pak x leží alespoň v jedné z nich spolu s nějakou otevřenou koulí B(x, ε). Pak ale B(x, ε) leží také v G. Příklad 8 Konečnost počtu množin v (b) je podstatná. Uvažujme metrický prostor (R n, ρ) z příkladu 2. Nechť ( G i = B 0, 1 + 1 ) i N i Pak i=1 G i = {x R n : ρ(x, 0) 1} i=1 a tato množina (uzavřená jednotková koule) není otevřená. Důsledek 1 Platí toto: (a) Množiny X a jsou uzavřené. (b) Jsou-li F i X, 1 i n, uzavřené, je F = n F i uzavřená. (c) Průnik libovolného počtu uzavřených množin je uzavřená množina. (plyne to z věty 1 a De Morganových pravidel). i=1 6

Vlastnosti otevřených množin jsou základním prostředkem pro vyšetřování konvergence posloupností a spojitosti zobrazení. Při zavádění otevřených množin se často obejdeme bez metriky. Proto má velký význam pojem topologického prostoru. Definice 4 Nechť X je množina a T je systém podmnožin X takových, že (a) X T a T. (b) Jestliže G i T, 1 i n, pak G = n i=1 G i T. (c) Sjednocení libovolného počtu množin z T je prvkem T. Pak řekneme, že (X, T ) je topologickým prostorem. Množiny G T nazýváme otevřenými množinami. Jestliže G T a F = X\G, řekneme, že množina F je uzavřená. Definice 5 Nechť (X, T ) je topologický prostor a x G T. Pak řekneme, že G je okolím bodu x. Systém všech okolí bodu x označíme O(x). Platí tedy O(x) = {G T : x G}. Definice 6 Nechť (X, T ) je topologický prostor a B T. Jestliže x X a G O(x) existuje B B O(x) tak, že B G, řekneme, že B je báze topologie T. Poznámka 1 Nechť (X, T ) je topologický prostor a B T je báze topologie T. Pak G T právě tehdy, jestliže pro libovolný prvek x G existuje B B O(x) tak, že B G. Poznámka 2 Systém otevřených koulí B(x, ε), x X, ε > 0, je bází topologie v metrickém prostoru (X, ρ) (dokonce když ε > 0 jsou racionální). Definice 7 Nechť (X, T ) je topologický prostor a A X. Vnitřkem A 0 množiny A nazveme největší otevřenou množinu obsaženou v A, neboli A 0 = G A G, G otevřené Uzávěrem A množiny A nazveme nejmenší uzavřenou množinu obsahující A, neboli A = A F F, F uzavřené Hranicí množiny A nazveme množinu A = A\A 0. Jestliže A = X, řekneme, že množina A je hustá v X. Je-li množina X\A hustá v X, řekneme, že množina A je řídká v X. 7

Poznámka 3 Platí (X\A) 0 = X\A, (X\A) = X\A 0 a (X\A) = A. Stačí použít De Morganova pravidla X\ α X\ α A α = (X\A α ) α A α = (X\A α ) α Poznámka 4 Nechť A B X. Z definice 7 plyne, že je-li A hustá je i B hustá a je-li B řídká je i A řídká. Je-li A řídká, je i A řídká. Věta 2 Množina A X je hustá v X právě tehdy, když pro každou otevřenou množinu G X platí A G. Množina A X je řídká v X právě tehdy, když (A) 0 = (její uzávěr má prázdný vnitřek). Důkaz: (a) Nechť A = X. Pak z A G = plyne G (X\A) 0 = X\A a tedy A X, což je spor (používáme toho, že G je otevřená, takže z G X\A plyne G (X\A) 0 ). Nechť A X. Pak X\A je otevřená množina taková, že A (X\A) = 0. (b) Množina A je řídká v X právě tehdy, když X\A = X. Ale X\A = X\(A) 0 a X\(A) 0 = X právě tehdy, když (A) 0 =. Definice 8 Nechť (X, T ) je topologický prostor, {x n } X (posloupnost bodů z X) a x X. Jestliže ke každému okolí G O(x) existuje index n G N takový, že x n G n n G, řekneme, že {x n } konverguje k bodu x a píšeme x n x. Poznámka 5 Stačí uvažovat pouze G B O(x) (konvergenci lze definovat pomocí báze topologie). Poznámka 6 Metrický prostor (X, ρ) je topologickým prostorem ve smyslu definice 3. Tento prostor má speciální vlastnost. Je-li x 1 X, x 2 X a x 1 x 2, existují okolí V 1 O(x 1 ), V 2 O(x 2 ) taková, že V 1 V 2 =. Takovéto topologické prostory se nazývají Hausdorfovými prostory. Věta 3 Nechť (X, ρ) je metrický prostor, {x n } X a x X. Pak x n x právě tehdy, jestliže ρ(x n, x) 0 (takto se většinou definuje konvergence v metrických prostorech). Důkaz: (a) Nechť x n x podle definice 8. Pak pro každou otevřenou kouli B(x, ε) O(x) existuje index n ε N takový že x n B(x, ε) n n ε, neboli ρ(x n, x) < ε n n ε. Platí tedy ρ(x n, x) 0. (b) Nechť ρ(x n, x) 0 a G O(x). Jelikož množina G je otevřená, existuje otevřená koule B(x, ε) G a jelikož ρ(x n, x) 0, existuje index n ε N takový, že x n B(x, ε) G n n ε. 8

Definice 9 Nechť (X, ρ) je metrický prostor, A X a x X. Jestliže existuje posloupnost {x n } A tak, že x n x, řekneme, že x je limitním bodem množiny A. Věta 4 Nechť (X, ρ) je metrický prostor a A X. Pak A (uzávěr) je množinou všech limitních bodů množiny A. Důkaz: (a) Nechť x X\A. Jelikož množina A je uzavřená, je X\A otevřená. Existuje tedy otevřená koule B(x, ε) X\A. Pak ale ρ(x, y) ε y A A, takže x není hromadným bodem množiny A. (b) Nechť x A není hromadným bodem množiny A. Pak existuje číslo ε > 0 takové, že ρ(x, y) ε y A, neboli A X\B(x, ε). Uzavřená množina A X\B(x, ε) tedy obsahuje A ale neobsahuje A, což je ve sporu s definicí 7. 1.2 Úplné prostory Definice 10 Nechť (X, ρ) je metrický prostor a {x n } X. Jestliže ke každému číslu ε > 0 existuje index n ε N takový, že m n ε, n n ε ρ(x m, x n ) < ε, řekneme, že posloupnost {x n } je cauchyovská. Definice 11 Nechť (X, ρ) je metrický prostor. Jestliže ke každé cauchyovské posloupnosti {x n } X existuje bod x X takový, že x n x, řekneme, že prostor (X, ρ) je úplný. Příklad 9 Prostor (R n, ρ) z příkladu 2 je úplný (neboť množina reálných čísel je úplná). Příklad 10 Prostor (Q n, ρ) n-rozměrných racionálních vektorů s metrikou z příkladu 2 není úplný (neboť množina racionálních čísel není úplná). Platí však Q n = R n, takže Q n je hustý v R n. Příklad 11 Prostor (l p, ρ) z příkladu 3 je úplný: (a) Je-li posloupnost {x n } l p cauchyovská pak i posloupnost složek je cauchyovská neboť, označíme-li x n = {ξ n 1, ξ n 2,...}, platí ξ m l ξ n l ( ξ m k ξ n k p ) 1 p = ρ(x m, x n ) l N. Existují tedy limity ξ n l ξ l l N. Označme x = {ξ 1, ξ 2,...}. (b) Ukážeme, že x n x. Nechť ε > 0. Jelikož {x n } je cauchyovská, existuje index n ε N takový, že ρ(x n, x m ) < ε/2 n, m n ε. Pak pro n, m n ε a l N můžeme psát. 9

Jelikož ξ m k ( l ) 1 p ξk n ξk m p ρ(x n, x m ) < ε/2 ξ k 1 k l a l je konečné (děláme l limitních přechodů), platí ( l ξ n k ξ k p ) 1 p ε/2 Limitním přechodem pro l dostaneme ρ(x n, x) ε/2 < ε n n ε a podle věty 2 platí x n x. (c) Ukážeme, že x l p. Jelikož {x n } je cauchyovská, existuje index m N takový, že ρ(x n, x m ) < 1 n m. Označme M = ρ(x m, 0) + 1. Nechť n m a l N. Z trojúhelníkové nerovnosti plyne ( l ξ n k p ) 1 p ρ(x n, 0) ρ(x n, x m ) + ρ(x m, 0) < 1 + ρ(x m, 0) = M Jelikož ξ n k ξ k 1 k l a l je konečné (děláme l limitních přechodů), platí l ξ k p M p Limitním přechodem pro l dostaneme ξ k p M p < Příklad 12 Prostor (l, ρ) z příkladu 4 je úplný: (a) Je-li posloupnost {x n } l cauchyovská pak i posloupnost složek je cauchyovská neboť, označíme-li x n = {ξ n 1, ξ n 2,...}, platí ξl m ξl n sup ξk m ξk n = ρ(x m, x n ) k N l N. Existují tedy limity ξ n l ξ l l N. Označme x = {ξ 1, ξ 2,...}. (b) Ukážeme, že x n x. Nechť ε > 0. Jelikož {x n } je cauchyovská, existuje index n ε N takový, že ρ(x n, x m ) < ε/2 n, m n ε. Pak pro n, m n ε můžeme psát ξ n l ξ m l ρ(x n, x m ) < ε/2 l N, což v limitě pro m dává ξ n l ξ l ε/2 l N. Tedy ρ(x n, x) = sup k N ξ n k ξ k ε/2 < ε n n ε a podle věty 3 platí x n x. 10

(c) Ukážeme, že x l. Jelikož {x n } je cauchyovská, existuje index m N takový, že ρ(x n, x m ) < 1 n m. Označme M = ρ(x m, 0) + 1. Nechť n m. Z trojúhelníkové nerovnosti plyne ξl n sup ξk n = ρ(x n, 0) ρ(x n, x m ) + ρ(x m, 0) < 1 + ρ(x m, 0) = M k N l N. Jelikož ξ n l ξ l, platí ξ l M l N a tedy sup ξ k M <. k N Příklad 13 Prostor (C[a, b], ρ) z příkladu 5 je úplný: (a) Je-li posloupnost {x n } C[a, b] cauchyovská je i bodově cauchyovská, neboť pro libovolnou hodnotu t [a, b] platí x m (t) x n (t) max t [a,b] x m(t) x n (t) = ρ(x m, x n ) Existují tedy limity x n (t) x(t) t [a, b]. Získali jsme tak funkci x : [a, b] R. (b) Ukážeme, že x n x. Nechť ε > 0. Jelikož {x n } je cauchyovská, existuje index n ε N takový, že ρ(x n, x m ) < ε/2 n, m n ε. Pak pro n, m n ε dostaneme x n (t) x m (t) ρ(x n, x m ) < ε/2 t [a, b], což v limitě pro m dává x n (t) x(t) ε/2 t [a, b]. Můžeme tedy psát a podle věty 3 platí x n x. ρ(x n, x) = max x n (t) x(t) ε/2 < ε n n ε t [a,b] (c) Ukážeme, že x C[a, b]. Stačí dokázat, že x je spojitá. Jelikož x n x, existuje k danému číslu ε > 0 index n N takový, že ρ(x n, x) < ε/3. Jelikož funkce {x n } je spojitá na [a, b], je tam stejnoměrně spojitá (věta 21). Ke každému ε > 0 tedy existuje δ > 0 tak, že x n (t) x n (s) < ε/3, kdykoliv t s < δ. Platí tedy x(t) x(s) x(t) x n (t) + x n (t) x n (s) + x(s) x n (s) < 2ρ(x n, x)+ε/3 < ε kdykoliv t s < δ. Funkce x je tedy stejnoměrně spojitá a tedy spojitá na [a, b]. Příklad 14 Prostor (C[a, b], ρ) s metrikou ρ(x, y) = b a x(t) y(t) dt není úplný, neboť konvergence v této metrice není stejnoměrnou konvergencí a může se stát, že x n x a funkce x není spojitá. Uvažujme posloupnost {x n } C[a, b] takovou, že 11

( ) 1 2 x n (t) = π arctan(t) n Pak platí x n x, kde funkce x : [a, b] R je definovaná vztahy x(t) = 1, a t < 0 x(t) = 0, t = 0 x(t) = 1, 0 < t b Funkce x(t) je sice integrovatelná ale není spojitá v bodě t = 0 takže x C[a, b]. Příklad 15 Prostor (L p [a, b], ρ) z příkladu 6 je úplný (úplnost tohoto prostoru byla jedním z důvodů pro zavedení Lebesgueova integrálu). Příklad 16 Prostor (L [a, b], ρ) z příkladu 7 je úplný (limita posloupností funkcí omezených skoro všude je funkce omezená skoro všude). Princip důkazu je prakticky stejný jako u příkladu 12. Věta 5 Nechť (X, ρ) je metrický prostor, který není úplný. Pak existuje úplný metrický prostor ( X, ρ) takový, že X = X (X je hustý v X) a ρ( x, ỹ) = ρ(x, y) pokud x = x X a ỹ = y X. Důkaz: (a) (Konstrukce prostoru X) Cauchyovské posloupnosti {x k } X, {y k } X nazveme ekvivalentní, jestliže ρ(x k, y k ) 0. Že jde o ekvivalenci, plyne bezprostředně z podmínek (a) (c) v definici 1. Například tranzitivita plyne z (c), neboť ρ(x k, y k ) 0 a ρ(y k, z k ) 0 implikují ρ(x k, z k ) ρ(x k, y k ) + ρ(y k, z k ) 0 Prostor X je množina všech tříd ekvivalence Cauchyovských posloupností. Pokud {x, x, x,... } x ztotožníme x s x (píšeme x = x). (b) (Metrika na X) Metriku na X definujeme vztahem ρ( x, ỹ) = lim k ρ(x k, y k ) pokud {x k } x a {y k } ỹ. Korektnost této definice plyne ze zavedené ekvivalence posloupností a z trojúhelníkové nerovnosti. Je také zřejmé, že pokud x = x a ỹ = y (t.j. {x, x, x,... } x a {y, y, y,... } ỹ), platí ρ( x, ỹ) = ρ(x, y). Platnost podmínek (a), (b) z definice 1 je zřejmá. Trojúhelníkovou nerovnost dokážeme takto ρ( x, z) = lim ρ(x k, z k ) lim (ρ(x k, y k ) + ρ(y k, z k )) k k lim ρ(x k, y k ) + lim ρ(y k, z k ) k k = ρ( x, ỹ) + ρ(ỹ, z) 12

(c) (Hustota X v X) Nechť {x k } x X a ε > 0. Jelikož posloupnost {x k } je cauchyovská, existuje index n N takový, že ρ(x n, x k ) < ε/2 k n. Nechť {x n, x n, x n,... } x n, takže x n = x n X. Pak platí ρ( x, x n ) = lim k ρ(x k, x n ) ε/2 < ε (d) (Úplnost prostoru X) Nechť posloupnost { x n } X je cauchyovská. Jelikož X je hustý v X, existuje ke každému prvku x n X prvek y n X takový že ρ( x n, ỹ n ) < 1/n, kde {y n, y n, y n,... } ỹ n. Uvažujme posloupnost {y 1, y 2, y 3,... } X. Zvolme ε > 0. Jelikož posloupnost { x n } X je cauchyovská, existuje index n ε 4/ε takový, že ρ( x m, x n ) < ε 4 m, n n ε Pak platǐ ρ(y m, y n ) = ρ(ỹ m, ỹ n ) ρ(ỹ m, x m ) + ρ( x m, x n ) + ρ( x n, ỹ n ) < 1 m + ε 4 + 1 n 3 4 ε < ε m, n n ε, takže posloupnost {y 1, y 2, y 3,... } X je cauchyovská. Existuje tedy prvek x X takový, že {y 1, y 2, y 3,... } x. Ukážeme, že ρ( x n, x) 0. Jelikož jsme dokázali, že pro libovolné číslo ε > 0 existuje index n ε N takový, že ρ(y m, y n ) < 3/4ε, m, n n ε, platí ρ( x, ỹ n ) = lim m ρ(y m, y n ) 3 4 ε < ε n n ε a tedy ρ( x, ỹ n ) 0 Jelikož zároveň ρ( x n, ỹ n ) 0 (neboť ρ( x n, ỹ n ) < 1/n), platí ρ( x, x n ) ρ( x, ỹ n ) + ρ(ỹ n, x n ) 0 Definice 12 Nechť (X, ρ) je metrický prostor, x X a A X. Číslo dist(x, A) = inf ρ(x, y) y A nazveme vzdáleností bodu x od množiny A. Číslo diam(a) = sup ρ(x, y) x,y A nazveme diametrem množiny A. Jestliže diam(a) <, řekneme, že množina A je omezená. 13

Věta 6 (Cantorova věta o průniku) Nechť (X, ρ) je úplný metrický prostor. Nechť F 1 F 2 F 3... je posloupnost neprázdných uzavřených podmnožin X taková, že diam(f n ) 0. Pak existuje právě jeden bod x X takový, že x Důkaz: (a) (Existence) Jelikož množiny F n, n N, jsou neprázdné, existují body x n F n, n N. Nechť ε > 0. Jelikož diam(f n ) 0, existuje index n ε N takový, že F n F nε a diam(f n ) < ε n n ε. Jelikož pro m n n ε platí ρ(x m, x n ) diam(f n ) < ε, je posloupnost {x n } cauchyovská. Jelikož prostor (X, ρ) je úplný a množina F nε X je uzavřená, existuje bod x F nε takový, že x n x F nε. Jelikož ε > 0 je libovolné, platí x F n (b) (Jednoznačnost). Jestliže x 1 F n, x 2 F n a x 1 x 2, pak x 1 F n a x 2 F n n N a tudíž diam(f n ) ρ(x 1, x 2 ) > 0 n N, což je ve sporu s tím že diam(f n ) 0. Věta 7 (Baireova věta) Nechť (X, ρ) je úplný metrický prostor. Nechť A 1, A 2, A 3... je posloupnost otevřených množin hustých v X. Pak množina A = (spočetný průnik hustých otevřených množin) je hustá v X. Důkaz: Nechť G X je libovolná otevřená množina. Ukážeme, že A G. Protože A 1 je hustá v X, platí A 1 G, takže existuje bod x 1 A 1 G a jelikož A 1 G je otevřená, existuje číslo 0 < ε 1 1 takové, že B(x 1, ε 1 ) A 1 G. Předpokládejme, že pro n > 1 je vybrán bod x n 1 a číslo ε n 1. Protože A n je hustá v X, platí A n B(x n 1, ε n 1 ), takže existuje bod x n A n B(x n 1, ε n 1 ) a jelikož A n B(x n 1, ε n 1 ) je otevřená, existuje číslo 0 < ε n 1/n takové, že B(x n, ε n ) A n B(x n 1, ε n 1 ). Indukcí se tak sestrojí posloupnost neprázdných uzavřených množin B(x 1, ε 1 ) B(x 2, ε 2 ) B(x 3, ε 3 )... takových, že diam(b(x n, ε n )) 1/n 0. Podle věty 6 tedy existuje bod x X takový, že x F n A n B(x n, ε n ) A n G (podle konstrukce je tento bod limitou posloupnosti {x n } X). Důsledek 2 Nechť (X, ρ) je úplný metrický prostor. Nechť A 1, A 2, A 3 posloupnost množin řídkých v X. Nechť... je 14

A = (tato množina se nazývá množinou první kategorie). Pak X\A je hustá v X. A n Důkaz: Podle De Morganových pravidel platí X\A = X\ A n X\ A n = (X\A n ) Jelikož množiny A n jsou řídké v X, jsou otevřené množiny X\A n husté v X, takže podle věty 7 a poznámky 4 je množina X\A hustá v X. Věta 8 (Banachova věta o kontrakci) Nechť (X, ρ) je úplný metrický prostor a T : X X je kontrahující zobrazení, t.j. pro x, y X platí ρ(t (x), T (y)) αρ(x, y) kde 0 α < 1. Pak existuje alespoň jeden bod x X, takový, že T (x ) = x. Důkaz: Zvolíme bod x 0 X libovolně a konstruujeme posloupnost x 1 = T (x 0 ), x 2 = T (x 1 ),.... Pak platí a ρ(x k+1, x k ) = ρ(t (x k ), T (x k 1 )) αρ(x k, x k 1 )... α k ρ(x 1, x 0 ) ρ(x k+p, x k ) p ρ(x k+i, x k+i 1 ) i=1 α k ρ(x 1, x 0 ) α i 1 = i=1 p α k+i 1 ρ(x 1, x 0 ) = α k ρ(x 1, x 0 ) i=1 αk 1 α ρ(x 1, x 0 ) p i=1 α i 1 p N. Zvolme ε > 0 libovolně. Nechť n N je číslo takové, že α n 1 α ρ(x 1, x 0 ) < ε Pak pro libovolné dva body x k, x k+p, kde k n a p N, platí ρ(x k+p, x k ) αk 1 α ρ(x 1, x 0 ) αn 1 α ρ(x 1, x 0 ) < ε takže posloupnost {x k } je cauchyovská. Protože prostor (X, ρ) je úplný, existuje bod x X takový, že x k x. Jelikož platí 15

ρ(x, T (x )) ρ(x, x k+1 ) + ρ(x k+1, T (x )) = ρ(x, x k+1 ) + ρ(t (x k ), T (x )) ρ(x k+1, x ) + αρ(x k, x ) a jelikož ρ(x k, x ) 0 (neboť x k x ), dostaneme ρ(x, T (x )) = 0. Platí tedy T (x ) = x. 1.3 Separabilní prostory Definice 13 Řekneme, že množina A je spočetná, jestliže je buď konečná nebo existuje prosté zobrazení množiny přirozených čísel N na A. Příklad 17 Množina všech sudých čísel je spočetná, neboť existuje prosté zobrazení n 2n. Věta 9 Každá podmnožina spočetné množiny je spočetná. Důkaz: Nechť množina A je spočetná a B A. Je-li B konečná, není co dokazovat. Budeme tedy předpokládat, že B je nekonečná. Jelikož množina A je spočetná, lze její prvky uspořádat v posloupnost {a n } (neboť existuje prosté zobrazení množiny přirozených čísel N na A). V tomto případě můžeme B chápat jako podposloupnost B = {b i : b i = a ni, i N} vybranou z posloupnosti {a n }. Pak ale i b i = a ni je prosté zobrazení N na B. Věta 10 Kartézský součin spočetných množin (množina všech dvojic) je spočetná množina. Důkaz: Nechť A = {a i : i N}, B = {b j : j N} jsou spočetné množiny a X = A B = {x ij : x ij = (a i, b j ), i N, j N} Zapišme prvky X do dvojrozměrné tabulky x 11 x 12 x 13... x 21 x 22 x 23... x 31 x 32 x 33............... Tyto prvky můžeme uspořádat podle vedlejších diagonál X = {x 1, x 2, x 3, x 4, x 5, x 6,...} = {x 11, x 12, x 21, x 13, x 22, x 31,...} takže existuje prosté zobrazení N na A B. n (i + j 2)(i + j 1) 2 + i 16

Důsledek 3 Množina racionálních čísel je spočetná. Věta 11 Sjednocení spočetného systému spočetných množin je spočetná množina. Důkaz: Nechť A i, i N, je spočetný systém množin a každá množina A i = {a i1, a i2,...} je spočetná. Pak máme stejnou situaci jako v důkazu věty 10 a 11 a 12 a 13... a 21 a 22 a 23... a 31 a 32 a 33............... Poznámka 7 Věty 10 a 11 můžeme použít ke konstrukci různých spočetných množin. Z věty 10 plyne indukcí, že počet n-tic spočetných množin je spočetný, takže systém všech n-rozměrných vektorů, jejichž prvky mohou nabývat racionálních hodnot spočetný. Podle věty 11 je pak spočetný systém všech konečných posloupností jejichž prvky mohou nabývat racionálních hodnot. Podle toho je například spočetná každá množina po částech konstantních nebo po částech lineárních funkcí nabývajících racionálních hodnot na každém konečném dělení konečného intervalu. Věta 12 Množina reálných čísel z jakéhokoliv intervalu (s různými koncovými body) je nespočetná. Důkaz: Stačí se omezit na interval [0, 1] (existuje prosté zobrazení intervalu [0, 1] na jakýkoliv interval s různými koncovými body). Předpokládejme, že čísla z [0, 1] lze uspořádat v posloupnost x 1, x 2,..., kde v dekadickém tvaru x 1 = 0, ξ1ξ 1 2ξ 1 3 1... x 2 = 0, ξ2ξ 1 2ξ 2 3 2...... a ξj i {0, 1,..., 9}. Zkonstruujme číslo x = 0, ξ 1 ξ 2 ξ 3... [0, 1] tak, aby ξ 1 ξ 1 1 a ξ 1 0, ξ 1 9, ξ 2 ξ 2 2 a ξ 2 0, ξ 2 9,... Pak zřejmě x x 1, x x 2,..., takže x není prvkem posloupnosti x 1, x 2,... Definice 14 Nechť (X, ρ) je metrický prostor. Jestliže existuje spočetná množina A hustá v X (t.j. A = X), řekneme, že prostor (X, ρ) je separabilní. 17

Příklad 18 Prostor (R n, ρ) z příkladu 2 je separabilní, neboť množina n-rozměrných racionálních vektorů Q n je spočetná a hustá v R n (každé reálné číslo je limitou posloupnosti racionálních čísel). Příklad 19 Prostor (l p, ρ) z příkladu 3 je separabilní. Označme l p l p množinu posloupností majících konečný počet nenulových prvků, které jsou navíc racionální. Tato množina je podle poznámky 7 spočetná. Dokážeme, že je hustá v l p. Nechť x = {x 1, x 2,...} l p a ε > 0. Jelikož existuje číslo n N takové, že x k p < k=n+1 x k p 1 2 εp Najdeme y = {y 1, y 2,...} l p tak, aby y k = 0 pro k n+1 a x k y k < ε/(2n) 1/p pro k n. Pak platí ρ p (x, y) = n x k y k p + k=n+1 x k p < n εp 2n + 1 2 εp = ε p takže ρ(x, y) < ε. Jelikož ε > 0 je libovolné je l p hustá v l p. Příklad 20 Prostor (l, ρ) z příkladu 4 není separabilní. Nechť {x n } l je libovolná spočetná množina v l. Její prvky označíme x n = {ξ1 n, ξ2 n,...}. Položme x = {ξ 1, ξ 2,...}, kde ξ k = ξk k +1, pokud ξk k 1 a ξ k = 0, pokud ξk k > 1. Pak pro libovolný index k N platí ξ k ξk k 1. Nechť x n je libovolný prvek spočetné posloupnosti {x n } l. Pak platí takže {x n } není hustá v l. ρ(x, x n ) = sup ξ k ξk n ξ n ξn n 1 k N Příklad 21 Prostor (C[a, b], ρ) z příkladu 5 je separabilní (stačí uvažovat prostor C[0, 1], neboť interval [0, 1] lze převést na obecný interval jednoduchou lineární transformací). Spojité po částech lineární funkce, které nabývají v uzlových bodech t k = k/n, 0 k n, racionálních hodnot a jsou lineární na každém subintervalu [t k 1, t k ], 1 k n, tvoří podle poznámky 7 spočetnou množinu M n C[0, 1]. Ukážeme, že spočetná množina M = M n je hustá v C[0, 1]. Stačí ukázat, že ke každé funkci x C[0, 1] a ke každému číslu ε lze nalézt po částech lineární funkci l M takovou, že ρ(x, l) < ε. Jelikož funkce x je stejnoměrně spojitá (věta 21), existuje číslo δ takové, že x(t) x(s) < ε/2, pokud 18

t s δ. Zvolme n N tak, aby platilo 1/n < δ a vyberme l M n tak, aby l(t k ) x(t k ) < ε/2 0 k n (to lze, neboť množina racionálních čísel je hustá v R). Pak pro libovolné t [t k 1, t k ] platí neboli l(t) = t t k 1 t k t k 1 l(t k ) + x(t) = t t k 1 t k t k 1 x(t) + t k t l(t k 1 ) t k t k 1 t k t x(t) t k t k 1 l(t) x(t) t t k 1 l(t k ) x(t) + t k t l(t k 1 ) x(t) t k t k 1 t k t k 1 t t k 1 ( l(t k ) x(t k ) + x(t k ) x(t) ) t k t k 1 t k t + ( l(t k 1 ) x(t k 1 ) + x(t k 1 ) x(t) ) t k t ( k 1 t tk 1 < + t ) k t ε = ε t k t k 1 t k t k 1 Jelikož toto platí pro každý subinterval [t k, t k 1 ], 1 k n, dostáváme požadovanou nerovnost. Příklad 22 Prostor (L p [a, b], ρ) z příkladu 6 je separabilní, neboť množina jednoduchých (po částech konstantních) funkcí nabývajících racionálních hodnot a definovaných pomocí intervalů s racionálními konečnými body je spočetná a hustá v (L p [a, b], ρ). Příklad 23 Prostor (L [a, b], ρ) z příkladu 7 není separabilní. Věta 13 Metrický prostor (X, ρ) je separabilní právě tehdy, existuje-li v něm spočetná báze topologie. Důkaz: (a) Nechť A X je spočetná množina hustá v X. Nechť B = {B(a, 1/n) : a A, n N}. Podle věty 10 je systém B spočetný. Nechť x X a G O(x). Jelikož množina G je otevřená, existuje otevřená koule B(x, ε) G. Nechť n > 2/ε. Jelikož A je hustá v X, existuje podle věty 2 bod a B(x, 1/n) A. Pak ale x B(a, 1/n) a z B(a, 1/n) platí ρ(z, x) ρ(z, a) + ρ(a, x) < 2/n < ε takže B(a, 1/n) B(x, ε) G. Jelikož x X a G O(x) byly zvoleny libovolně a jelikož jsme dokázali existenci množiny B(a, 1/n) B takové, že x B(a, 1/n) G, je B bází topologie metrického prostoru (X, ρ). 19

(b) Nechť B je spočetná báze topologie metrického prostoru (X, ρ). V každé neprázdné množině B B vybereme jeden bod a B. Nechť A X je množina těchto vybraných bodů. Pak A je spočetná. Nechť G X je libovolná otevřená množina a x G. Jelikož B je báze topologie, existuje B B tak, že x B G. Nechť a A je bod, který byl vybrán z množiny B. Pak platí a A B A G, takže A G a A je hustá v X (věta 2). Definice 15 Systém otevřených množin G T nazveme otevřeným pokrytím X, jestliže platí G = X G G Věta 14 Metrický prostor (X, ρ) je separabilní právě tehdy, lze-li z každého otevřeného pokrytí X vybrat spočetný podsystém, který je též pokrytím X. Důkaz: Využijeme toho, že metrický prostor je separabilní právě tehdy, existujeli v něm spočetná báze topologie (věta 13). (a) Nechť metrický prostor (X, ρ) je separabilní. Nechť B je spočetná báze topologie a G je otevřené pokrytí X. Pak ke každému bodu x X existuje otevřená množina G x G taková, že x G x a množina B x B taková, že x B x G x. Zřejmě x X B x = X. Jelikož systém B je spočetný, existuje spočetná množina A X taková, že x A B x = X, a jelikož B x G x, platí také x A G x = X. Existuje tedy spočetný podsystém {G x G : x A} G, který pokrývá X. (b) Předpokládejme, že z každého otevřeného pokrytí X lze vybrat spočetné podpokrytí. Označme G n = {B(x, 1/n) : x X}, takže G Gn G = X. Pak existuje spočetný podsystém B n G n takový, že B Bn B = X. Označme B = B n. Systém B je podle věty 11 spočetný. Ukážeme, že B je bází topologie. Nechť x X a G O(x). Pak existuje otevřená koule B(x, ε) G. Zvolme n N tak, aby platilo n > 2/ε. Jelikož B Bn B = X, existuje bod y X takový, že x B(y, 1/n) B n B. Pak z B(y, 1/n) platí ρ(z, x) ρ(z, y) + ρ(y, x) < 2/n < ε takže B(y, 1/n) B(x, ε) G. Jelikož x X a G O(x) byly zvoleny libovolně a jelikož jsme dokázali existenci množiny B(y, 1/n) B takové, že x B(y, 1/n) G, je B bází topologie metrického prostoru (X, ρ). Věta 15 Nechť G T je systém (neprázdných) disjunktních otevřených množin v separabilním metrickém prostoru (X, ρ). Pak G je spočetný. Důkaz: Nechť A je spočetná množina hustá v X a G G. Jelikož G je otevřená, existuje otevřená koule B(x, ε) G. Jelikož A je hustá, leží v této otevřené kouli alespoň jeden bod y A, tedy y G A. Nechť G 1, G 2 jsou různé množiny z G a y 1 G 1 A, y 2 G 2 A. Protože G 1 G 2 =, platí y 1 y 2. To tedy znamená, že počet bodů v A nemůže být menší než počet množin v G. Jelikož množina A je spočetná, musí bý i systém G spočetný. 20

1.4 Kompaktní prostory Definice 16 Nechť (X, ρ) je metrický prostor. Jestliže každá posloupnost {x n } X obsahuje podposloupnost, která má limitu v X, řekneme, že prostor X je kompaktní. Definice 17 Nechť (X, ρ) je metrický prostor. Jestliže ke každému číslu ε > 0 existuje konečná množina M ε X taková, že řekneme, že (X, ρ) je totálně omezený. dist(x, M ε ) < ε x X, Věta 16 Každý totálně omezený metrický prostor je omezený. Důkaz: Zvolme nějaké ε > 0 (například ε = 1). Necht M ε X je konečná množina taková, že dist(x, M ε ) < ε x X. Pak pro libovolné dva body x, y X platí ρ(x, y) dist(x, M ε ) + diam(m ε ) + dist(y, M ε ) < 2ε + diam(m ε ) <, neboť diametr konečné množiny M ε je konečný. Můžeme tedy psát diam(x) = sup ρ(x, y) 2ε + diam(m ε ) < x,y X Věta 17 Prostor (X, ρ) je kompaktní právě tehdy, je-li úplný a totálně omezený. Důkaz: (a) Nechť (X, ρ) je kompaktní a posloupnost {x n } X je cauchyovská. Pak existuje vybraná posloupnost {x m } {x n } taková, že x m x X (indexy m M N nemusí nabývat všech hodnot z N). Ke každému číslu ε > 0 tedy existuje index m ε M N takový, že ρ(x m, x) < ε/2 pokud m m ε. Jelikož původní posloupnost je cauchyovská, existuje index n ε N takový, že ρ(x m, x n ) < ε/2 pokud m, n n ε. Nechť m, n max(m ε, n ε ). Pak platí ρ(x n, x) ρ(x n, x m ) + ρ(x m, x) < ε a jelikož číslo ε > 0 je libovolné, platí x n x. Prostor (X, ρ) je tedy úplný. Předpokládejme, že (X, ρ) není totálně omezený. Pak pro nějaké číslo ε > 0 je nekonečná každá množina taková, že dist(x, M ε ) < ε x X, Můžeme tedy zkonstruovat nekonečnou posloupnost {x n } X takovou, že ρ(x i, x j ) ε i j N, neboť v opačném případě by pro nějaký index n N muselo platit dist(x, {x 1,..., x n }) < ε x X. Z posloupnosti {x n } X takové, 21

že ρ(x i, x j ) ε i j N, nelze vybrat žádnou konvergentní podposloupnost, takže prostor (X, ρ) není kompaktní. (b) Nechť (X, ρ) je úplný a totálně omezený a nechť {x n } X. Z této posloupnosti vybereme induktivně podposloupnosti {x n } = {x (0) n } {x (1) n } {x (2) n }... Nechť {x (k 1) n } je již vybrána. Jelikož (X, ρ) je totálně omezený, existuje konečná množina M 1/k X taková, že dist(x, M 1/k ) < 1/k x X. Jelikož M 1/k je konečná, existuje bod y k M 1/k takový, že ρ(y k, x (k 1) n ) < 1/k pro nekonečně mnoho indexů n N. Nechť {x (k) n } {x (k 1) n } je posloupnost bodů s těmito indexy. Pak platí ρ(y k, x (k) n ) < 1/k n N. Tím jsme ukončili indukční krok. Uvažujme nyní posloupnost {x (1) 1, x (2) 2, x (3) 3,...} {x n } a zvolme ε > 0. Pak pro n ε > 2/ε a pro m, n n ε platí ρ(x (n) n, x (m) m ) ρ(x n (n), y nε ) + ρ(x (m) m, y nε ) < 2/n ε < ε. Posloupnost {x (n) n } {x n } je tedy cauchyovská a jelikož (X, ρ) je úplný, je konvergentní. Věta 18 Metrický prostor (X, ρ) je kompaktní právě tehdy, lze-li z každého otevřeného pokrytí X vybrat konečný podsystém, který je též pokrytím X. Důkaz: Využijeme toho, že metrický prostor je kompaktní právě tehdy, je-li úplný a totálně omezený (věta 17). (a) Nechť (X, ρ) je úplný a totálně omezený. Předpokládejme, že existuje otevřené pokrytí X α A G α, z něhož nelze vybrat konečné podpokrytí. Zkonstruujeme induktivně posloupnost uzavřených množin X = F (0) F (1) F (2)... takových že diam(f (n) ) 1/n a F (n) nelze pokrýt konečným počtem množin z pokrytí G α, α A. Nechť F (n 1) je již vybrána. Jelikož F (n 1) X, je tato množina totálně omezená. Existuje tedy konečná množina M 1/n = {y (n) 1,... y (n) l n } taková, že dist(x, M 1/n ) < 1/n x F (n 1). Zřejmě kde diam(f (n 1) i F (n 1) = l n i=1 B(y i, 1/n) F (n 1) = l n i=1 F (n 1) i, ) 1/n. Jelikož F (n 1) nelze pokrýt konečným počtem množin z pokrytí G α, α A, musí existovat index 1 k n l n takový, že F (n 1) k n nelze pokrýt konečným počtem množin z pokrytí G α,α A. Označme F (n) = F (n 1) k n, čímž jsme provedli indukční krok. Nyní máme posloupnost uzavřených množin X = F (0) F (1) F (2)... takových že diam(f (n) ) 1/n 0 a jelikož prostor (X, ρ) je úplný, existuje podle věty 6 bod x F (n) X. 22

Tento bod musí být pokryt alespoň jednou množinou z pokrytí G α, α A. Označme tuto množinu G. Jelikož G je otevřená a x G, musí existovat číslo ε > 0 takové, že B(x, ε) G. Zvolme n ε > 1/ε. Pak jelikož diam(f (nε) ) 1/n ε < ε a x F (nε), musí platit F (nε) B(x, ε) G, což je spor, neboť jsme předpokládali, že množinu F (nε) nelze pokrýt konečným počtem množin z pokrytí G α, α A. (b) Předpokládejme, že z každého pokrytí X lze vybrat konečné podpokrytí. Nechť ε > 0. Uvažujme speciální pokrytí X x X B(x, ε). K tomuto pokrytí existuje konečné podpokrytí X m B(x n, ε) a označíme-li M ε = {x 1,..., x m } platí dist(x, M ε ) < ε x X. Zbývá dokázat úplnost. Nechť {x n } X je cauchyovská posloupnost. Označme P n = {x n, x n+1, x n+2,...} a F n = P n. Pak F 1 F 2 F 2... je posloupnost neprázdných uzavřených podmnožin X. Ukážeme, že F = F n. Předpokládejme naopak, že F =. Pak platí X = X\F = X\ F n = Z tohoto pokrytí lze vybrat konečné podpokrytí X = (X\F n ). m m (X\F nk ) = X\ F nk = X\F nk, takže F nk =, což je spor, neboť podle konstrukce je F nk. Nechť x F n (takže x X). Ukážeme, že x n x. Nechť ε > 0. Jelikož posloupnost {x n } je cauchyovská, existuje index n ε N takový, že ρ(x m, x n ) < ε m, n n ε. Platí tedy diam(f nε ) ε a jelikož x F nε, dostaneme ρ(x n, x) ε n n ε. Jelikož ε > 0 je libovolné, platí x n x X. Poznámka 8 Tímto ekvivalentním způsobem se definuje kompaktnost v topologických prostorech. Topologický prostor (X, T ) je kompaktní, lze-li z každého otevřeného pokrytí X vybrat konečný podsystém, který je též pokrytím X. Důsledek 4 Kompaktní prostor je separabilní. 23

Důsledek 5 Nechť (X, ρ) je kompaktní metrický prostor. Nechť F 1 F 2 F 3... je posloupnost neprázdných uzavřených podmnožin X. Pak platí F n Toto tvrzení je dokázáno v části (b) důkazu věty 18. Věta 19 Metrický prostor (X, ρ) je kompaktní právě tehdy, lze-li z každého systému uzavřených množin, který má prázdný průnik vybrat konečný podsystém, který má prázdný průnik. Důkaz: Tvrzení bezprostředně plyne z věty 18 a z De Morganových pravidel. Definice 18 Nechť (X, ρ) je úplný metrický prostor a nechť K X. Jestliže každá posloupnost {x n } K obsahuje podposloupnost, která má limitu v K, řekneme, že množina K je kompaktní. Poznámka 9 Každá kompaktní množina v úplném metrickém prostoru je totálně omezená a uzavřená. Plyne to z věty 17 a z toho, že v úplném metrickém prostoru je množina K úplná právě tehdy je-li uzavřená. Příklad 24 V prostoru (R n, ρ) z příkladu 2 je množina K R n právě tehdy, je-li omezená a uzavřená. kompaktní Příklad 25 V prostoru (C[a, b], ρ) z příkladu 5 je množina K C[a, b] kompaktní právě tehdy obsahuje-li funkce stejnoměrně omezené a stejnoměrně spojité (Arzelova-Ascoliho věta). Příklad 26 V neomezených nekonečněrozměrných prostorech není uzavřená jednotková koule kompaktní, i když je omezená a uzavřená (Rieszovo lemma). Zvolíme-li například v l p (nebo v l ) posloupnost {x n } takovou, že x 1 = {1, 0, 0,...} x 2 = {0, 1, 0,...} x 3 = {0, 0, 1,...}... platí ρ(x n, 0) = 1 x n (takže {x n } leží v uzavřené jednotkové kouli) a ρ(x m, x n ) 1 pro m n (takže z {x n } nelze vybrat cauchyovskou a tudíž ani konvergentní podposloupnost). 24

Věta 20 Nechť K X je kompaktní množina v metrickém prostoru (X, ρ) a f : X R je funkce spojitá na K. Pak existují body u, v K takové, že f(u) = inf y K f(v) = sup f(y) y K Důkaz: Podle definice infima existuje posloupnost {y n } K tak, že f(y n ) inf y K f(y). Jelikož K je kompaktní, lze z této posloupnosti vybrat konvergentní podposloupnost {z n } K. Označme u K limitu této podposloupnosti (tedy z n u). Jelikož funkce f je spojitá, platí Důkaz pro supremum je analogický. f(u) = lim n f(z n ) = lim n f(y n ) = inf y K f(y) Důsledek 6 Nechť K X je kompaktní množina v metrickém prostoru (X, ρ) a x X. Pak existují body u, v K takové, že ρ(x, u) = inf ρ(x, y) y K ρ(x, v) = sup ρ(x, y) y K Funkce ρ(x, ) : K R je totiž spojitá na K neboť z trojúhelníkové nerovnosti plyne ρ(x, y) ρ(x, z) ρ(y, z) Věta 21 Nechť K X je kompaktní množina v metrickém prostoru (X, ρ) a f : X R je funkce spojitá na K. Pak f je stejnoměrně spojitá na K (ke každému ε > 0 existuje δ > 0 tak, že pro x, y K platí implikace ρ(x, y) < δ f(x) f(y) < ε Důkaz: Předpokládejme, že funkce f je spojitá ale není stejnoměrně spojitá na K. Pak musí existovat číslo ε > 0 a posloupnosti {x n } K a {y n } K tak, že ρ(x n, y n ) < 1/n a f(x n ) f(y n ) ε n N. Jelikož K je kompaktní, lze z těchto posloupností vybrat podposloupnosti {x ni } {x n } a {y ni } {y n } (indexy n i jsou společné oběma podposloupnostem) takové, že x ni x K a y ni y K. Pak ale ρ(x, y) ρ(x, x ni ) + ρ(x ni, y ni ) + ρ(y ni, y) 0 25

takže x = y, Ze spojitosti funkce f pak plyne f(x ni ) f(y ni ) f(x ni ) f(x) + f(y ni ) f(y) 0 což je ve sporu s předpokladem že f(x ni ) f(y ni ) ε. Poznámka 10 Kompaktní množiny mají podobné vlastnosti jako omezené uzavřené intervaly [a, b] R. Proto lze definovat prostory C(K), L p (K), L (K), které mají podobné vlastnosti jako C[a, b], L p [a, b], L [a, b]. 2 Banachovy prostory 2.1 Základní pojmy Budeme předpokládat, že čtenář má základní znalosti o lineárních prostorech, alespoň v rozsahu jaký se používá v R n. Nebudeme tedy vysvětlovat pojmy jako lineární podprostor, lineární kombinace, lineární obal, lineární nezávislost. Připomeňme, že v abstraktním lineárním prostoru nemusí existovat konečná báze. Takový prostor se nazývá nekonečněrozměrný. I v nekonečněrozměrném prostoru však existuje báze (spočetná nebo nespočetná). Definice 19 Nechť X je lineární prostor a T je topologie na X (ve smyslu definice 4). Jestliže součet a skalární násobek jsou spojitými funkcemi v topologii T, řekneme, že (X, T ) je lineárním topologickým prostorem. Poznámka 11 Je-li topologie určená metrikou mluvíme o lineárních metrických prostorech. K tomu, aby (X, ρ) byl lineárním metrickým prostorem stačí, aby platilo ρ(x + z, y + z) = ρ(x, y) ρ(λx, λy) = λ ρ(x, y) x, y, z X a λ R. Skutečně, pokud x n x, y n y a λ n λ, platí ρ(x n + y n, x + y) = ρ(x n x, y y n ) ρ(x n x, 0) + ρ(0, y y n ) = ρ(x n, x) + ρ(y n, y) 0 ρ(λ n x n, λx) ρ(λ n x n, λ n x) + ρ(λ n x, λx) = λ n ρ(x n, x) + λ n λ ρ(x, 0) 0 26

Poznámka 12 Splňuje-li metrika podmínky uvedené v poznámce 11, platí ρ(y, z) = ρ(y z, 0) V tomto případě stačí zavést funkci jedné proměnné x = ρ(x, 0). Snadno se lze přesvědčit, že tato funkce vyhovuje následujícím podmínkám definujícím normu. Definice 20 Nechť X je lineární prostor a : X R je funkce taková, že (a) x 0 x = 0 x = 0 (b) λx = λ x (c) x + y x + y Pak řekneme, že (X, ) je normovaným lineárním prostorem. Funkce se nazývá normou (symbol v označení normovaného lineárního prostoru budeme v dalším textu vynechávat). Poznámka 13 Je-li zadána norma splňující podmínky (a) (c), můžeme definovat metriku ρ(x, y) = x y, která splňuje podmínky (a) (c) z definice 1. V tomto případě říkáme, že metrika ρ je indukovaná normou. Snadno se ukáže, že metrika indukovaná normou splňuje podmínky uvedené v poznámce 11. Skutečně ρ(x + z, y + z) = x + z (y + z) = x y = ρ(x, y) ρ(λx, λy) = λx λy = λ x y = λ ρ(x, y) Definice 21 Banachovým prostorem nazveme normovaný lineární prostor, který je úplný v metrice indukované normou. Příklad 27 Prostory z příkladů 1 7 jsou normovanými lineárními prostory, zavedemeli normy x = x, x C ( n ) 1 p x = x k p, x R n x = ( x = sup k N x k p ) 1 p, x l p x k, x l 27

x = max x(t), t [a,b] x C[a, b] ( b ) 1 p x = x(t) p dt, x L p [a, b] a x = ess sup x(t), x L [a, b] t [a,b] Všechny tyto prostory jsou Banachovými prostory. Definice 22 Nechť X, Y jsou normované lineární prostory. Pak prostor X Y všech dvojic (x, y), x X, y Y, kde součet a skalární násobek jsou definovány vztahy (x 1, y 1 ) + (x 2, y 2 ) = (x 1 + x 2, y 1 + y 2 ) λ(x, y) = (λx, λy) nazveme kartézským součinem prostorů X a Y. Normu v X Y lze definovat různým způsobem (jako v R 2 ), zde se omezíme se na kartézské součiny s normou (x, y) = x + y. Poznámka 14 Podmínka (a) pro normu je zřejmá. Dále platí λ(x, y) = (λx, λy) = λx + λy = λ x + λ y = λ ( x + y ) = λ (x, y) (x 1, y 1 ) + (x 2, y 2 ) = (x 1 + x 2, y 1 + y 2 ) = x 1 + x 2 + y 1 + y 2 x 1 + y 1 + x 2 + y 2 = (x 1, y 1 ) + (x 2, y 2 ) Věta 22 Nechť X, Y jsou Banachovy prostory. Pak kartézský součin X Y je Banachovým prostorem. Důkaz: Máme dokázat, že prostor X Y je úplný. Nechť {(x n, y n )} X Y je cauchyovská posloupnost. Pak ke každému číslu ε > 0 existuje index n ε N takový že (x m, y m ) (x n, y n ) = x m x n + y m y n < ε n, m n ε. Pak ale nutně x m x n < ε a y m y n < ε n, m n ε. Jelikož prostory X a Y jsou úplné, existují body x X a y Y takové, že x n x a y n y. Pak platí (x n, y n ) (x, y) x n x + y n y 0, takže (x n, y n ) (x, y). Definice 23 Nechť X, je normovaný lineární prostor a Y je jeho vlastní uzavřený podprostor (takže Y = Y X). Pak prostor X/Y všech tříd ekvivalence x takových, že x 1 x a x 2 x právě tehdy, když x 1 x 2 Y, kde součet a skalární násobek jsou definovány vztahy 28

x 1 + x 2 = {x 1 + x 2 : x 1 x 1, x 2 x 2 } λ x = {λx : x x} nazveme faktorovým prostorem prostoru X vzhleden k podprostoru Y. Normu v X/Y definujeme vztahem x = dist(0, x). Poznámka 15 Podmínka (a) pro normu plyne z toho, že 0 = Y a Y je uzavřený podprostor prostoru X. Dále platí λ x = inf z = inf λx = λ inf x = λ x z λ x x x x x x 1 + x 2 = inf z x 1 + x 2 z = inf x 1 + x 2 x 1 x 1,x 2 x 2 = inf x 1 x 1 x 1 + inf x 2 x 2 x 2 = x 1 + x 2 inf ( x 1 + x 2 ) x 1 x 1,x 2 x 2 Věta 23 Nechť X, je Banachův prostor a Y jeho vlastní uzavřený podprostor. Pak faktorový prostor X/Y je Banachovým prostorem. Důkaz: Máme dokázat, že prostor X/Y je úplný. Nechť { x n } X/Y je cauchyovská posloupnost. Jelikož ke každému číslu ε k = 2 k existuje index n k N takový, že x m x nk 2 k, pokud m n k, můžeme sestrojit vybranou posloupnost { x nk } X/Y takovou, že x nk+1 x nk < 2 k. Zvolme x n1 x n1 libovolně a předpokládejme, že jsme již zkonstruovali bod x nk x nk. Z definice normy v X/Y (infimum) plyne, že existuje bod x nk+1 x nk+1 takový, že x nk+1 x nk < 2 k. Posloupnost {x nk } X je zřejmě cauchyovská (neboť geometrická řada s kvocientem 1/2 je konvergentní) a jelikož X je úplný, existuje bod x X takový, že lim k x nk = x. Nechť x je třída ekvivalence obsahující bod x. Pak platí x nk x x nk x 0, takže x nk x. Jelikož vybraná posloupnost má stejnou limitu jako původní cauchyovská posloupnost, platí x n x. 2.2 Spojitá lineární zobrazení Nechť X, Y jsou normované lineární prostory a T : X Y je zobrazení. Pak se zavádějí tři důležité množiny, definiční obor zobrazení D(T ) X, nulový prostor zobrazení N (T ) X a obor hodnot zobrazení R(T ) Y. Platí D(T ) = {x X : T x Y } N (T ) = {x X : T x = 0} R(T ) = {y Y : y = T x, x D(T )} Pokud píšeme T : X Y, předpokládáme obvykle, že D(T ) = X. Pokud D(T ) = X a R(T ) = Y, říkáme, že T je zobrazení X na Y. Je-li zobrazení T lineární 29

(definice 25) jsou množiny D(T ) a N (T ) lineárními podprostory X a množina R(T ) je lineárním podprostorem Y. Definice 24 Nechť X, Y jsou normované lineární prostory a T : X Y je zobrazení. Nechť x X. Jestliže ε > 0 existuje δ > 0 tak, že y x < δ T (y) T (x) < ε, řekneme, že zobrazení T je spojité v bodě x. Je-li zobrazení T spojité v každém bodě x X, řekneme, že je spojité (na X). Poznámka 16 Z definice 24 plyne, že zobrazení T je spojité v bodě x X, právě tehdy, jestliže ke každé otevřené kouli B(T (x), ε) Y existuje otevřená koule B(x, δ) X taková, že T (B(x, δ)) B(T (x), ε) nebo, obecněji, jestliže ke každému okolí V O(T (x)) existuje okolí U O(x) takové že T (U) V. Věta 24 Nechť X, Y jsou normované lineární prostory a T : X Y je zobrazení X na Y. Pak T je spojité právě tehdy, jestliže pro každou otevřenou množinu G Y je T 1 (G) otevřená množina (používáme označení T 1 (G) = {x X : T (x) G}). Důkaz: (a) Nechť zobrazení T je spojité a G Y je otevřená množina. Pak pro každý bod x T 1 (G) existuje otevřená koule B(T (x), ε) G a otevřená koule B(x, δ) X tak, že T (B(x, δ)) B(T (x), ε) G. Tedy B(x, δ) T 1 (G) a T 1 (G) je otevřená množina. (b) Nechť x X a nechť pro otevřenou množinu B(T (x), ε) je T 1 (B(T (x), ε)) otevřená množina. Tato množina obsahuje bod x a nějakou otevřenou kouli B(x, δ). Pak ale platǐ T (B(x, δ)) B(T (x), ε) a zobrazenǐ T je spojité v bodě x. Definice 25 Nechť X, Y jsou normované lineární prostory a T : X Y je zobrazení. Jestliže platí T (x + y) = T (x) + T (y), T (λx) = λt (x) x, y X a λ R řekneme, že zobrazení T je lineární. Jestliže navíc T (x) = x x X, řekneme, že zobrazení T je izometrické. Existuje-li prosté spojité izometrické lineární zobrazení X na Y (izometrický izomorfizmus), řekneme, že prostory X a Y jsou izometricky izomorfní a píšeme X = Y (izometricky izomorfní prostory mohou obsahovat různé prvky ale mají vždy stejnou strukturu). Lineární zobrazení často nazýváme lineárním operátorem a píšeme T x = T (x). Definice 26 Řekneme, že lineární zobrazení T : X Y je omezené, existuje-li konstanta M > 0 taková, že T x M x x X. 30

Věta 25 Nechť X, Y jsou normované lineární prostory a T : X Y je lineární zobrazení. Pak buď T je spojité v každém bodě x X nebo není spojité v žádném bodě x X. Lineární zobrazení T : X Y je spojité právě tehdy, je-li omezené. Důkaz:(a) Nechť x 1, x 2 X a T je spojité v x 1. Pak ke každému ε > 0 existuje δ > 0 tak, že y 1 x 1 < δ T y 1 T x 1 < ε. Nechť y 2 x 2 < δ. Položme d = x 1 x 2 a y 1 = y 2 + d. Pak y 1 x 1 = (y 2 + d) (x 2 + d) < δ, takže T y 1 T x 1 < ε. Z linearity pak plyne T y 2 T x 2 = T (y 1 d) T (x 1 d) < ε. (b) Je-li zobrazení T omezené, je spojité v nule, neboť T x M x, takže x 0 T x 0 (využíváme toho, že T (0) = 0). Je-li naopak T spojité v nule, existuje δ > 0 tak, že T x < 1, pokud x < δ. Nechť y X. Položme x = (δ/2)(y/ y ), takže x = δ/2 < δ. Pak platí y = (2/δ) y x a T y = (2/δ) y T x < (2/δ) y Položíme-li M = (2/δ), platí T y M y y X. Definice 27 Nechť X, Y jsou normované lineární prostory. Označme [X, Y ] prostor všech spojitých lineárních zobrazení x X do Y. Prostor [X, Y ] je lineárním prostorem, definujeme-li součet a skalární násobek vztahy (T 1 + T 2 )x = T 1 x + T 2 x (λt )x = λt x Jelikož každé spojité lineární zobrazení je omezené můžeme definovat normu v [X, Y ] vztahem T = sup T x x =1 Poznámka 17 Je to skutečně norma. Podmínka (a) je zřejmá. Dále platí λt = sup (λt )x = sup T (λx) = λ sup T x = λ T x =1 x =1 x =1 T 1 + T 2 = sup (T 1 + T 2 )x sup ( T 1 x + T 2 x ) x =1 x =1 = sup T 1 x + sup T 2 x = T 1 + T 2 x =1 x =1 Věta 26 Nechť X, Y jsou normované lineární prostory. Prostor [X, Y ] všech spojitých lineárních zobrazení T : X Y s normou z definice 27 je normovaným lineárním prostorem. Je-li Y úplný je i [X, Y ] úplný. 31