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ť.

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

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

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

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

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

PŘEDNÁŠKA 2 POSLOUPNOSTI

1 Lineární prostory a podprostory

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

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

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

Texty k přednáškám z MMAN3: 3. Metrické 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...

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

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

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

Metrické prostory a kompaktnost

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

Základy teorie množin

Limita a spojitost funkce

Limita posloupnosti a funkce

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

1 Topologie roviny a prostoru

Přednáška 11, 12. prosince Část 5: derivace funkce

H {{u, v} : u,v U u v }

METRICKÉ A NORMOVANÉ PROSTORY

4. přednáška 22. října Úplné metrické prostory. Metrický prostor (M, d) je úplný, když každá cauchyovská posloupnost bodů v M konverguje.

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

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

Matematická analýza III.

Úlohy k procvičování textu o svazech

OBECNOSTI KONVERGENCE V R N

1 Báze a dimenze vektorového prostoru 1

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

Stromové rozklady. Definice 1. Stromový rozklad grafu G je dvojice (T, β) taková, že T je strom,

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

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

10 Funkce více proměnných

Úvod základy teorie zobrazení

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

13. přednáška 13. ledna k B(z k) = lim. A(z) = M(z) m 1. z m.

Základy matematické analýzy

10 Přednáška ze

Věta o sedlovém bodu a Fredholmova alternativa

Matematická analýza 1

9. přednáška 26. listopadu f(a)h < 0 a pro h (0, δ) máme f(a 1 + h, a 2,..., a m ) f(a) > 1 2 x 1

Uzavřené a otevřené množiny

2. LIMITA A SPOJITOST FUNKCE

Těleso racionálních funkcí

ŘADY KOMPLEXNÍCH FUNKCÍ

Riemannův určitý integrál

1. Matematická analýza definice (MP leden 2010)

LIMITA A SPOJITOST FUNKCE

Euklidovský prostor. Funkce dvou proměnných: základní pojmy, limita a spojitost.

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, ),

11. Číselné a mocninné řady

Báze a dimenze vektorových prostorů

5. Limita a spojitost

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

I. Úvod. I.1. Množiny. I.2. Výrokový a predikátový počet

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.

FIT ČVUT MI-LOM Lineární optimalizace a metody. Dualita. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti

Lineární algebra : Metrická geometrie

Lineární algebra : Lineární (ne)závislost

(ne)závislost. α 1 x 1 + α 2 x α n x n. x + ( 1) x Vektoru y = ( 1) y říkáme opačný vektor k vektoru y. x x = 1. x = x = 0.

Vztah limity k aritmetickým operacím a uspořádání

Topologie. 18. května Motivace Topologický prostor Spojitá zobrazení Podprostory, součiny Axiomy oddělitelnosti 6

Limita posloupnosti, limita funkce, spojitost. May 26, 2018

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

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

6. přednáška 5. listopadu 2007

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

NMAF 051, ZS Zkoušková písemná práce 16. ledna 2009

Greenova funkce pro dvoubodové okrajové úlohy pro obyčejné diferenciální rovnice

5. Lokální, vázané a globální extrémy

Matematická analýza pro informatiky I.

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

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

FREDHOLMOVA ALTERNATIVA

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

Lineární algebra : Lineární prostor

Text může být postupně upravován a doplňován. Datum poslední úpravy najdete u odkazu na stažení souboru. Veronika Sobotíková

Kompaktnost Kompaktifikace Prostory funkcí 4. KOMPAKTNOST. Miroslav Hušek, Pavel Pyrih KMA MFF UK. 4. Kompaktnost

Lineární algebra : Lineární zobrazení

Derivace funkce. Přednáška MATEMATIKA č Jiří Neubauer

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

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

P 1 = P 1 1 = P 1, P 1 2 =

Matematika 2 LS 2012/13. Prezentace vznikla na základě učebního textu, jehož autorem je doc. RNDr. Mirko Rokyta, CSc. J. Stebel Matematika 2

Matematická analýza pro informatiky I. Limita funkce

Je založen na pojmu derivace funkce a její užití. Z předchozího studia je třeba si zopakovat a orientovat se v pojmech: funkce, D(f), g 2 : y =

Aplikovaná matematika I, NMAF071

10. Vektorové podprostory

Občas se používá značení f x (x 0, y 0 ), resp. f y (x 0, y 0 ). Parciální derivace f. rovnoběžného s osou y a z:

PŘEDNÁŠKA 7 Kongruence svazů

Matematika I 12a Euklidovská geometrie

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

2. kapitola: Euklidovské prostory

Hypergrafové removal lemma a Szemérediho

Matematika pro informatiky

Posloupnosti a jejich konvergence

Transkript:

Přednáška 3, 19. října 2015 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ť X i = M i I je jeho pokrytí otevřenými množinami. Nejprve ukážeme, že pro každé δ > 0 existuje taková konečná množina S M, že pro každý bod a M existuje bod b S s d(a, b) < δ. Kdyby to nebyla pravda, snadno sestrojíme nekonečnou posloupnost (a n ) M, že d(a m, a n ) δ pro každé dva indexy m < n (jak? úloha 2). Tato posloupnost však nemá, ve sporu s předpokladem o M, konvergentní podposloupnost. Pro každé δ > 0 proto taková konečná množina S M existuje, nazveme ji δ-sítí. Vlastnost δ-sítě S tedy je, že B(b, δ) = M. b S Předpokládejme nyní pro spor, že pokrytí M otevřenými množinami X i nemá konečné podpokrytí. Z toho plyne, označíme-li si jako S n, n = 1, 2,..., (1/n)- síť, že pro každé n N existuje zvláštní bod b n S n, že koule B(b n, 1/n) není obsažená v žádné z množin X i. (Kdyby pro nějaké n zvláštní bod v S n neexistoval, dokázali bychom z množin X i vybrat konečné podpokrytí: pro každý bod b S n bychom vzali jednu množinu X i splňující X i B(b, 1/n), a tyto X i by, díky vlastnosti (1/n)-sítě, pokrývaly M.) Uvažme posloupnost (b n ) M zvláštních bodů. Podle předpokladu o M má konvergentní podposloupnost (b kn ) s limitou b M. Protože X i pokrývají M, existuje mezi nimi množina X j, že b X j. Vzhledem k otevřenosti X j existuje poloměr r > 0, že B(b, r) X j. Vezmeme tak velké N N, že d(b kn, b) < r/2 (lim b kn = b) a současně 1/k N < r/2. Z trojúhelníkové nerovnosti vyplývá, že pak B(b kn, 1/k N ) B(b, r) X j. To je ale spor s tím, že b kn je zvláštní bod v S kn. Odvodili jsme spor, takže z množin X i lze vybrat konečné podpokrytí a je dokázaná. 1

Implikace. Předpokládáme, že M je topologicky kompaktní a v dané posloupnosti bodů (a n ) nalezneme konvergentní podposloupnost. Předpokládejme, že pro každý bod b M existuje takový poloměr r(b) > 0, že množina indexů S b = {n N a n B(b, r(b))} je konečná. To vede ke sporu: otevřené pokrytí M = b M B(b, r(b)) má konečné podpokrytí dané konečnou množinou N M, M = b N B(b, r(b)), a protože množina indexů S = b N S b je konečná (je to konečné sjednocení konečných množin), existuje (dokonce nekonečně mnoho) m N, že m S a tedy a m B(b, r(b)) pro každé b N spor, neboť tyto koule pokrývají M a v některé z nich a m musí ležet. Tedy existuje bod b M, že množina indexů {n N a n B(b, r)} je nekonečná pro každý poloměr r > 0. Teď už lehce sestrojíme podposloupnost s limitou b: vezmeme libovolně n 1 N, že a n1 B(b, 1), pak vybereme n 2 N, že a n2 B(b, 1/2) a současně n 2 > n 1 (což díky vlastnosti bodu b lze), pak vybereme n 3 N, že a n3 B(b, 1/3) a současně n 3 > n 2 a tak dále. Podposloupnost (a nk ) zřejmě splňuje lim k a nk = b. Vztah bodu ke množině. Nechť a M je bod v metr. prostoru (M, d) a X M je podmnožina. Okolím bodu a rozumíme jakoukoli otevřenou množinu obsahující bod a. V následujících definicích U označuje okolí bodu a. Řekneme, že a je vnitřním bodem X, když existuje U tak, že U X; a je vnějším bodem X, když existuje U tak, že U M\X; a je hraničním bodem X, když každé U protíná X i M\X; a je limitním bodem X, když je pro každé U průnik U X nekonečný; a je izolovaným bodem X, když existuje U tak, že U X = {a}. Vnitřní a izolované body X nutně leží v X a vnější body leží mimo X. Hraniční a limitní body X mohou ležet v X i mimo X. Podmínka limitního bodu říká, že libovolně blízko a se nachází bod z X různý od a. Jako příklad vezmeme v euklidovské rovině R 2 množinu X = {x R 2 0 < x < 1} {(0, 2)} jednotkový kruh se středem v počátku, z něhož jsme počátek odstranili a k němuž jsme přidali bod (0, 2). Pak vnitřní body X tvoří množinu {x 2

R 2 0 < x < 1}, vnější body množinu {x R 2 x > 1, x (0, 2)}, hraniční body množinu {x R 2 x = 1} {(0, 0), (0, 2)}, limitní body množinu {x R 2 x 1} a izolované body množinu {(0, 2)}. Homeomorfismus. Bijekce f : M 1 M 2 mezi dvěma metrickými prostory je homeomorfismus, když f i f 1 je spojité zobrazení. Existuje-li taková bijekce mezi M 1 a M 2, jsou oba metrické prostory homeomorfní. Homeomorfismus je typ izomorfismu metrických prostorů, který je slabší než izometrie. Každá izometrie je homeomorfismem, ale obecně ne naopak. Homeomorfismus je izomorfismus struktur otevřených množin obou prostorů. Homeomorfní metrické prostory se nedají odlišit jen pomocí otevřených množin. Jako příklad uvažme zobrazení x tan x mezi euklidovskými prostory ( π/2, π/2) a R. Toto zobrazení je homeomorfismus (je bijektivní a tan x i inverz arctan x je spojité zobrazení). Tyto prostory zjevně nejsou izometrické, protože první je omezený, ale druhý ne. Na druhou stranu zobrazení f(ϕ) = (cos ϕ, sin ϕ) mezi euklidovskými prostory [0, 2π) a S = {x R 2 x = 1}, což je interval v R a jednotková kružnice v R 2, homeomorfismem není. Je sice bijektivní a spojité, ale inverzní zobrazení spojité není (není spojité v bodu (1, 0)). Jak později dokážeme, metrické prostory [0, 2π) a S ani homeomorfní nejsou. Tvrzení (kompakty a homeomorfismus). Když je f : M N prosté a spojité zobrazení mezi metrickými prostory a M je kompaktní, je i inverzní zobrazení f 1 : f(m) M spojité a f je tedy homeomorfismus prostorů M a f(m). Důkaz. Stačí ukázat, že pro každou uzavřenou podmnožinu A M je podmnožina f(a) N uzavřená. Protože (f 1 ) 1 (A) = f(a), podle topologické definice spojitosti je f 1 spojité zobrazení. Ale uzavřená podmnožina kompaktního prostoru je kompaktní, spojitý obraz kompaktní množiny je kompaktní množina, a ta je uzavřená. Takže f(a) je uzavřená. Souvislost prostorů. Řekneme, že metrický prostor (M, d) je souvislý, pokud jeho jediné podmnožiny, které jsou současně otevřené i uzavřené takové množiny se nazývají obojetné jsou a M. Krátce řečeno, prostor 3

je souvislý, pokud neobsahuje netriviální obojetnou podmnožinu. Ekvivalentně, prostor je souvislý, pokud ho nelze napsat jako disjunktní sjednocení dvou neprázdných otevřených (či uzavřených) množin. V opačném případě je prostor nesouvislý. Podobně nazveme podmnožinu X M v metrickém prostoru souvislou resp. nesouvislou, je-li podprostor s indukovanou metrikou (X, d) souvislý resp. nesouvislý. Souvislost prostoru intuitivně znamená, že se nerozpadá na dva oddělené (neprázdné) kusy. Tvrzení (intervaly a souvislost). Podmnožina I R (euklidovského prostoru R 1 ) je souvislá, právě když je intervalem (má vlastnost a, b I, c R, a < c < b c I). Důkaz. Nechť I R je interval, který je vyjádřený jako I = A B, kde A a B jsou neprázdné a uzavřené množiny, které jsou disjunktní. Vezmeme a A a b B, například a < b, a definujeme α = sup({x [a, b] x A}). Protože I je interval, je α [a, b] I. Podle aproximační vlastnosti suprema je α limitou (zleva) prvků z A, takže podle uzavřenosti A je α A. Patrně α < b a podle definice suprema je (α, b] A =, takže (α, b] B a α je limitou (zprava) prvků z B. Tedy i α B a A a B nejsou disjunktní, což je spor. Proto A a B neexistují a I je souvislý. Nechť I R není interval: máme a, b I, c R, a < c < b, že c I. Potom je I = (I (, c) (I (c, + )) rozklad na dvě neprázdné a otevřené množiny, které jsou disjunktní. Tedy I není souvislá. Tvrzení (spojitost zachovává souvislost). Je-li f : M N spojité zobrazení mezi metrickými prostory a M je souvislý, pak je obraz f(m) souvislá podmnožina v N. Důkaz. Úloha 4. Zobrazení f : M N mezi metrickými prostory je lokálně prosté, když má každý bod a M okolí, na němž je f prosté, to jest pro každé a M existuje r > 0, že platí implikace b, c B(a, r), b c f(b) f(c). Tvrzení (jedna vlastnost S). Nechť S R 2 označuje jednotkovou kružnici v rovině s euklidovskou metrikou. Když je zobrazení f : S S 4

spojité a lokálně prosté, pak f(s) = S každá rovnice f(x) = a, a S, má řešení x S. Důkaz uděláme příště. Viz též úlohu 9. Teď si dokážeme důsledek, který celé tvrzení motivuje: Důsledek (odmocniny v C). Pro každé k N a každé a C existuje b C, že b k = a. Každé komplexní číslo má tedy k-tou odmocninu pro každé k = 1, 2, 3,.... Důkaz. Necht k N. Pro a = 0 nebo reálné a > 0 vždy k-tá odmocnina existuje (podle věty o supremu). Pro nenulové a C je ( a 1/k ) k a/ a = a, takže stačí nalézt k-tou odmocninu z a/ a, což je číslo ležící na jednotkové kružnici S = {z C z = 1}. Vezmeme zobrazení f : C C, f(z) = z k. Je to i zobrazení z S do S, protože z k = z k. Podle tvrzení stačí ukázat, že f je na S spojité a lokálně prosté. Snadno se dokáže více: f je spojité na C a lokálné prosté na C\{0}. Plyne to z rozkladu u k v k = (u v)(u k 1 + u k 2 v + + v k 1 ) =: (u v)g(u, v). Pro u, v C s u, v R je g(u, v) kr k 1, což dává spojitost f na C. Pro dané nenulové z C je lim u,v z g(u, v) = kz k 1 0, takže pro u v a dostatečně blízko k z 0 je g(u, v) 0 a tedy u k v k, což dává lokální prostotu všude kromě nuly (viz úlohy 10 a 11). Důsledek dokončuje důkaz Základní věty algebry z předchozí přednášky. Úlohy 1. Proč se v důkazu Heineho Borelovy věty můžeme omezit na případ celého prostoru? 2. Jak z neexistence δ-sítě sestrojíme popsanou posloupnost? 3. Nechť každý bod prostoru M je (vzhledem ke svému doplňku) izolovaný. Jaké jsou otevřené množiny v M? 4. Dokažte, že obraz souvislé množiny spojitým zobrazením je souvislá množina. Návod: použijte topologickou definici spojitosti. 5

5. Dokažte, že euklidovské prostory R a R 2 nejsou homeomorfní. 6. Je interval (0, 1) disjunktní sjednocení dvou neprázdných souvislých množin? 7. Je sjednocení dvou souvislých množin souvislá množina? A co průnik? 8. A co sjednocení dvou souvislých protínajících se množin? 9. Platí poslední tvrzení, když v něm S nahradíme úsečkou v rovině? 10. Jak blízko musíme vzít různá čísla u, v C k z Z, z 0, aby platilo u k v k? 11. Ukažte, že pro k 2 zobrazení z z k není lokálně prosté v (žádném) okolí nuly. 6