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

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

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

PŘEDNÁŠKA 7 Kongruence svazů

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

Množinu všech slov nad abecedou Σ značíme Σ * Množinu všech neprázdných slov Σ + Jazyk nad abecedou Σ je libovolná množina slov nad Σ

Základy teorie množin

PŘEDNÁŠKA 2 POSLOUPNOSTI

Množiny, relace, zobrazení

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

Výroková a predikátová logika - IV

LIMITA A SPOJITOST FUNKCE

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

Riemannův určitý integrál

Booleovy algebry. Irina Perfilieva. logo

Hypergrafové removal lemma a Szemérediho

Topologie definované pomocí ideálů

množinu definujeme axiomaticky: nesnažíme se ji zkonstruovat (dokonce se ani nezabýváme otázkou,

O TOPOLOGII NA OBJEKTU TYPU TŘÍDA

1. Množiny, zobrazení, relace

NAIVNÍ TEORIE MNOŽIN, okruh č. 5

Lineární algebra : Lineární prostor

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 VI.1 obecné slabé topologie Příklad 1. Necht X = C([0, 1]) s topologií bodové konvergence na [0, 1]. Popište všechny

Predik atov a logika - pˇredn aˇska () Predik atov a logika - pˇredn aˇska / 16

Úlohy k procvičování textu o univerzální algebře

Základy teorie množin

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

Teorie množin. pro fajnšmekry - TeMno. Lenka Macálková BR Solutions Orličky. Lenka (Brkos 2010) TeMno

10 Přednáška ze

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

Lineární algebra : Báze a dimenze

Ukážeme si lineární algoritmus, který pro pevné k rozhodne, zda vstupní. stromový rozklad. Poznamenejme, že je-li k součástí vstupu, pak rozhodnout

Pumping lemma - podstata problému. Automaty a gramatiky(bi-aag) Pumping lemma - problem resolution. Pumping lemma - podstata problému

A VLASTNOST BODU SPOJITOSTI

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

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

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

Modely Herbrandovské interpretace

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

METRICKÉ A NORMOVANÉ PROSTORY

Základní pojmy teorie množin Vektorové prostory

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

OBECNÁ TOPOLOGIE - PŘEDNÁŠKA ZIMA 2014/15. Literatura: Je možno užívat knihy od Engelkinga, Kelleyho, Nagaty, Dugundjiho,...

Každé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α

Zobecněný Riemannův integrál

Logické programy Deklarativní interpretace

α β ) právě tehdy, když pro jednotlivé hodnoty platí β1 αn βn. Danou relaci nazýváme relace

Věta o dělení polynomů se zbytkem

Regulární výrazy. Definice Množina regulárních výrazů nad abecedou Σ, označovaná RE(Σ), je definována induktivně takto:

Úvod do informatiky. Miroslav Kolařík

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

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.

Masarykova univerzita. Základy konvexní analýzy a optimalizace v R n.

Vlastnosti regulárních jazyků

Co je to univerzální algebra?

Naproti tomu gramatika je vlastně soupis pravidel, jak

Vysoké učení technické v Brně Fakulta informačních technologií. Regulární pologrupy. Semestrální práce do předmětu Algebra, Kombinatorika, Grafy

Vrcholová barevnost grafu

Úvod do denotační sémantiky a teorie kategorií

Matematická analýza 1

0. ÚVOD - matematické symboly, značení,

Bipartitní grafy. Karel Klouda c KTI, FIT, ČVUT v Praze 28. března, letní semestr 2010/2011

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

Základy matematické analýzy

1 Lineární prostory a podprostory

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

Konstrukce relace. Postupně konstruujeme na množině všech stavů Q relace i,

Kapitola 6. LL gramatiky. 6.1 Definice LL(k) gramatik. Definice 6.3. Necht G = (N, Σ, P, S) je CFG, k 1 je celé číslo.

Úvod do funkcionální analýzy

Úvod základy teorie zobrazení

Diskrétní matematika. DiM /01, zimní semestr 2018/2019

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

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

Pravděpodobnost a statistika

ŠIFROVACÍ METODA ZALOŽENÁ NA FRAKTÁLNÍ KOMPRESI. 1. Úvod. V posledních letech se ukázalo, že teorii fraktálů lze využít v mnoha teoretických

Lebesgueovsky neměřitelné množiny

Teoretická informatika Tomáš Foltýnek Teorie čísel Nekonečno

Pravděpodobnost a její vlastnosti

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

Úvod do teorie her

Lineární algebra Kapitola 1 - Základní matematické pojmy

2. LIMITA A SPOJITOST FUNKCE

= je prostý orientovaný graf., formálně c ( u, v) 0. dva speciální uzly: zdrojový uzel s a cílový uzel t. Dále budeme bez

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

Matematická analýza pro informatiky I.

Lineární algebra : Metrická geometrie

Základy elementární teorie čísel

Definice 5.1 Graf G = (V, E) je tvořen množinou vrcholů V a množinou hran, kde

Základy logiky a teorie množin

Topologické prostory. S dodatky: J. Novák, Konstrukce některých význačných topologických prostorů; M. Katětov, Plně normální prostory

Báze a dimenze vektorových prostorů

Teorie míry. je důraz kladen na vlastnosti a prominentní postavení Lebesgueovy míry mezi Radonovými

1.1. Úvodní opakování. Definice racionální mocniny Mocnina a logaritmus

1 Báze a dimenze vektorového prostoru 1

Základy elementární teorie čísel

ÚVOD DO ARITMETIKY. Michal Botur

Pavel Horák, Josef Janyška LINEÁRNÍ ALGEBRA UČEBNÍ TEXT

Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška:

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.

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

Transkript:

TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 3. PREDNÁŠKA - KOMPAKTNÍ PROSTORY. PAVEL RŮŽIČKA 3.1. Kompaktní prostory. Buď (X, τ) topologický prostor a Y X. Řekneme, že A τ je otevřené pokrytí množiny Y, je-li Y A. Definice. Topologický prostor X je kompaktní, je-li Hausdorffův a pro každé otevřené pokrytí A prostoru X existuje konečná B A taková, že X = B, tj., z každého otevřeného pokrytí prostoru X lze vybrat konečné podpokrytí. V definici je dáno, že kompaktní prostor je Hausdorffův. Prostory které nejsou Hausdorffovy a z každého jejich otevřeného pokrytí lze vybrat konečné podpokrytí, se nazývají kvazi-kompaktní. Buď G systém podmnožin množiny X. Řekneme, že G má konečnou průnikovou vlastnost pokud je F pro každou konečnou neprázdnou F G. Tvrzení 3.1. Topologický prostor X je kvazikompaktní právě když má každá neprázdná množina G uzavřených podmnožin X s konečnou průnikovou vlastností neprázdný průnik. Důkaz. ( ) Předpokládejme, že X je kvazikompaktní topologický prostor a nechť G je neprázdná množina uzavřených podmnožin X s konečnou průnikovou vlastností. Pro spor předpokládejme, že G =. Položme A := {X \ G G G}. Z předpokladu G = plyne, že je A otevřeným pokrytím prostoru X. Protože je tento prostor kvazikompaktní, existuje konečná podmnožina B A taková, že X = B. Potom je {X \ B B B} konečná podmnožina G a z X = B plyne, že \ B) = X \ B B(X B =, B B Date: 20. března 2018. 1

2 PAVEL RŮŽIČKA což je ve sporu s konečnou průnikovou vlastností množiny G. ( ) Předpokládejme nyní, že každá má každá neprázdná množina uzavřených podmnožin prostoru X s konečnou průnikovou vlastností neprázdný průnik. Buď A otevřené pokrytí množiny X. Potom je množina G := {X \ A A A} neprázdnou množinou uzavřených podmnožin X. Z rovnosti X = A plyne, že G =. Z předpokladu plyne, že množina G nemá konečnou průnikovou vlastnost a proto existuje neprázdná konečná F G jejíž průnik je konečný. Potom je B := {X \ G G F} konečná podmnožina A a z F = plyne, že B = X. Důsledek 3.2. Hausdorffův topologický prostor X je kompaktní právě když má každá neprázdná množina G uzavřených podmnožin X s konečnou průnikovou vlastností neprázdný průnik. (Kvazi)kompaktnost prostoru lze charakterizovat také pomocí konvergence. Lemma 3.3. Buď X topologický prostor a S = x σ σ Σ síť v X. Pro každé σ Σ položme (3.1) G σ := {x σ σ < σ Σ} a definujme G := {G σ σ Σ}. Potom je G množinou všech hromadných bodů sítě S. Důkaz. Buď x libovolný hromadný bod sítě S. Buď dále σ Σ a U libovolné okolí bodu x. Podle definice existuje σ > σ tak, že x σ U a tedy (3.2) U {x σ σ < σ Σ} =. Odtud plyne, že x {x σ σ < σ Σ} = G σ. Proto x G. Nechť x G. Buď dále σ Σ a U libovolné okolí bodu x. Potom platí, že x G σ a proto platí (3.2), což znamená, že existuje σ > σ tak, že x σ U. Odtud je vidět, že x je hromadným bodem sítě S. Tvrzení 3.4. Topologický prostor je kvazikompaktní právě když má každá síť v X hromadný bod. Důkaz. ( ) Předpokládejme, že je topologický prostor X kvazikompaktní. Buď S = x σ σ Σ libovolná síť v X. Pro každé σ Σ definujme množinu G σ předpisem (3.1) a položme G := {G σ σ Σ} jako v Lemmatu 3.3. Z toho, že je uspořádaná množina Σ usměrněná, snadno nahlédneme, že G má konečnou průnikovou vlastnost. Podle předpokladu je prostor X kvazikompaktní, a proto je G =. Vzhledem k Lemmatu 3.3 má síť S alespoň jeden hromadný bod.

( ) Předpokládejme, že má každá síť v prostoru X hromadný bod. Buď G množina uzavřených podmnožin prostoru X s konečnou průnikovou vlastností. Buď Σ množina všech neprázdných konečných podmnožin G uspořádaná inkluzí. Je zřejmé, že je množina Σ usměrněná. Pro každé F Σ zvolme x F F. To lze neboť z toho, že G má konečnou průnikovou vlasnost plyne, že je průnik F neprázdný. Podle předpokladu má síť S = x F F Σ hromadný bod. Označme x jeden takový. Buď G G a U libovolné okolí bodu x. Potom existuje konečná {G} F G taková, že x F U. Odtud je vidět, že G F a tedy platí také, že x F G. Proto je U G. To platí pro každé okolí bodu x, odkud dostaneme, že x G = G (neboť G je uzavřená). Ukázali jsme, že x G. Důsledek 3.5. Hausdorffův topologický prostor je kompaktní právě když má každá síť v X hromadný bod. 3.2. Uzavřené podmnožiny a normalita kompaktních prostorů. O všech topologických prostorech, které se vyskytnou v této části budeme předpokládat, že jsou Hausdorffovy. Řekneme, že podmnožina K topologického prostoru (X, τ) je kompaktní, je-li z každého otevřeného pokrytí A této množiny možné vybrat konečnou podmnožinu B A tak, že K B. Lemma 3.6. Uzavřená podmnožina kompaktního prostoru X je kompaktní. Důkaz. Buď G uzavřená podmnožina X a A otevřené pokrytí G. Potom je A := A {X \ G} otevřené pokrytí X a protože je prostor X kompaktní, existuje konečná B A taková, že X = B. Odtud ihned nahlédneme, že B = B \{X \G} A je konečná a G B. Lemma 3.7. Buď X regulární (tj., T 3 ) topologický prostor, G jeho uzavřená a K jeho kompaktní podmnožina. Jsou-li množiny G a K disjunktní, existují disjunktní otevřené množiny A, B takové, že G A a K B. Důkaz. Protože je prostor X regulární, existují pro každý bod x K disjunktní otevřené množiny A x a B x takové, že G A x a x B x. Množiny B x, x K, tvoří otevřené pokrytí K. Protože je K kompaktní podmnožina X, existuje konečná I K taková, že K x I B x. Položme A := x I A x a B := x I B x. Protože je množina I konečná, jsou obě množiny A, B otevřené. Množinu I jsme volili tak, že K A. Protože G B x pro všechna x I, je G B. Z distributivity průniku 3

4 PAVEL RŮŽIČKA a sjednození dostaneme, že ( ) ( ) A B = A x B x = (( ) ) A x B x x I x I x I x I x I (A x B x ) =. Proto jsou množiny A a B disjunktní. Lemma 3.8. Pro každou dvojici K, L disjunktních kompaktních podmnožin topologického prostoru X existují disjunktní otevřené množiny A, B takové, že K A a L B. Důkaz. Prostor X je dle předpokladu v úvodu podkapitoly Hausdorffův a proto pro každou dvojici bodů x K a y L existují disjunktní otvřené množiny A x,y a B x,y takové, že x A x,y a y B x,y. Fixujme x K. Množiny B x,y, y L, tvoří otevřené pokrytí množiny L a protože je tato množina kompaktní, existuje konečná J x L tak, že L y J x B x,y. Položme A x := y J x A x,y a B x := y J x B x,y. Protože je množina J x konečná, jsou obě množiny A x a B x otevřené a z toho, že x A x,y pro všechna y L plyne, že x A x. Z definice je patrné, že L B x. Podobně jako v předchozím důkazu dostaneme z distributivity průniku a sjednocení dostaneme, že ( ) ( ) A x B x = = (( ) ) B x,z y J x A x,y z J x B x,z z I x (A x,z B x,z ) =. z J x y J x A x,y Množiny A x, x K, tvoří otevřené pokrytí K a protože je množina K kompaktní, existuje konečná I K tak, že K x I A x. Položíme A := x I A x a B := x I B x. Z konečnosti množiny I plyne, že jsou obě množiny A a B otevřené. Protože L B x pro všechna x K, je L B. Z distributivity průniku s jednocení ukážeme obdobně jako výše, že jsou množiny A, B disjunktní. Podle Lemmatu 3.6 je každá uzavřená podmnožina kompaktního prostoru kompaktní. Z právě dokázaného Lemmatu 3.8 tak dostaneme, že Věta 3.9. Každý kompaktní topologický prostor je normální. Dalším důsledkem Lemmatu 3.8 je, že Lemma 3.10. Každá kompaktní podmnožina topologického prostoru X je v něm uzavřená.

Důkaz. Je-li K kompaktní podmnožina prostoru X a x bod v X \ K, potom podle Lemmatu 3.8 existují otevřené disjunktní A, B takové, že K A a x B. Jednoprvková množina {x} je totiž zřejmě kompaktní. Proto pro každý bod x, který neleží v K existuje jeho okolí disjunktní s K. Odtud plyne, že je množina K uzavřená. 5