MAI064 wiki-skripta

Z ωικι.matfyz.cz
Přejít na: navigace, hledání

Toto je výtažek ze skript prof. Pultra, který jsem vytvořil při učení se na zkoušku. Jsou zde především definice a věty. Pro důkazy doporučuji oficiální zdroj.

Množiny, relace, zobrazení

Buď $ f: X \to Y $, $ A \subseteq X, B \subseteq Y $. Výrazem $ f[A] $ rozumíme obrazy prvků z A. Výrazem $ f^{-1}[B] $ rozumíme prvky z X, které se zobrazí do B (žádný inverz, ačkoli to tak vypadá).

Částečná uspořádání

Předuspořádání (preorder) je relace reflexivní a tranzitivní. Předuspořádání je uspořádání (někdy také částečné uspořádání), pokud je navíc antisymetrické - $ (x R y) \& (y R x) \rightarrow x=y $. Uspořádání je lineární, pokud jsou navíc každé dva prvky porovnatelné - $ (\forall x,y) xRy \vee yRx $.

U uspořádání je dobré si představovat tzv. Hasseho diagram (bráno na Algebře I). Ten kreslíme s hranami orientovanými nahoru, z toho pochází názvy "horní" a "dolní". U lineárních uspořádání je tímto diagramem "řetízek" (lze dokázat).

Definujme $ \downarrow x = \{y | y \leq x\} $, neboli prvky "menší rovné x" (v Hasseho diagramu "předchůdci x"), obdobně $ \uparrow x = \{y | x \leq y\} $.

Zobrazení f mezi uspořádanými množinami nazveme isotonní (někdy také monotonní), pokud $ x \leq y \rightarrow f(x) \leq f(y) $.

Suprema a infima

Prvek $ x \in X $ nazveme horní mez množiny $ M \subseteq X $, pokud $ (\forall m \in M) m \leq x $, zkráceně $ M \subseteq \downarrow x $. Obdobně dolní mez.

Nejmenší horní mez $ M \subseteq X $ nazveme supremum M - $ \sup M $. Tj. je to horní mez a je menšíRovna všem ostatním horním mezím. Nemusí vždy existovat. Obdobně infimum.

Věta: $ \sup\{\sup M_i\} = \sup \bigcup M_i $, pro konečný počet $ M_i $, pokud suprema existují. Obdobně pro infima.

Zornovo lemma

Mějme uspořádání $ (X,\leq) $. Nechť ke každé $ A \subseteq X $, která je uspořádána lineárně ("řetízky z X a jejich podmnožiny") existuje horní mez. Pak pro každé $ x \in X $ existuje maximální $ y \in X $ takové, že $ x \leq y $ (tj. z x nelze "jet nahoru" do nekonečna).

Množinu C podmnožin X nazveme řetěz, pokud $ (\forall A, B \in C) A \subseteq B \vee B \subseteq A $. Neboli C je inkluzí uspořádaná lineárně.

Princip maximality

Buď $ A \subseteq P(M) $ a pro každý řetěz $ C \subseteq A $ existuje $ S \in A $ takové, že $ \bigcup C \subseteq S $. Pak pro každou $ X \in A $ existuje největší Y z A obsahující X.

Princip maximality a Zornovo lemma jsou nezávislá tvrzení v teorii množin (nelze je dokázat ani vyvrátit). Jsou ekvivalentní axiomu výběru.

Svazy

Uspořádanou množinu nazveme dolní polosvaz, pokud pro každé dva prvky existuje infimum. To platí, právě když každá konečná neprázdná podmnožina má infimum (z věty výše). Obdobně definujme horní polosvaz.

Pokud je v dolním polosvazu největší prvek (označme ho 1, tedy $ \exists 1 \in X: \forall x \in X : x \leq 1 $), nazveme ho dolní polosvaz s jednotkou. Zde má i prázdná množina infimum (a to 1), tedy každá konečná množina má infimum. Obdobně definujme horní polosvaz s nulou (má nejmenší prvek).

Svaz (anglicky Lattice) je dolní polosvaz, který je horní polosvaz (tj. každé dva prvky mají supremum i infimum). Analogicky definujme svaz s nulou a jednotkou (také omezený svaz) - svaz, kde existuje největší a nejmenší prvek.

Příklad svazu: přirozená čísla s relací dělitelnosti, supremum je nejmenší společný násobek, infimum je největší společný dělitel.

Úplný svaz je svaz, kde každá (i nekonečná) podmnožina má supremum a infimum. V Hasseho diagramu si představujme "zdroj" (nejnižší vrchol) a "stok" (nejvyšší vrchol) svazu.

Vidíme, že konečný svaz s 0 a 1 je úplný svaz (každá podmnožina je konečná). Nekonečný svaz s 0 a 1 nemusí být úplný - mohou chybět suprema či infima nekonečných množin.

Věta: Nechť v $ (X,\leq) $ má každá podmnožina supremum. Pak $ (X,\leq) $ je úplný svaz (nevyžadujeme infimum).

Podmnožinu D uspořádané množiny nazveme (nahoru) usměrněná, když každé dva prvky z D mají horní mez v D.

Adjunkce

Isotonní zobrazení $ f:X \rightarrow Y, g: Y \rightarrow X $ nazveme navzájem (galoisovsky) adjugovaná, f nalevo, g napravo, pokud $ (\forall x \in X) (\forall y \in Y) f(x) \leq y \Leftrightarrow x \leq g(y) $.

Adjunkcí se myslí "uspořádaná dvojice" těchto zobrazení. Tedy když (f,g) jsou adjugovaná, nemusí (g,f) být adjugovaná. Pro f nalevo nemusí existovat pravý adjunkt.

Věta: Existuje-li pro f nalevo pravý adjunkt (resp. pro f napravo levý adjunkt), je určen jednoznačně. Důkaz snadný (nechť existují dva ... pak jsou si rovny).

Pro izomorfizmus $ f $ je adjunktem $ f^{-1} $, a to zprava i zleva.

Věta: Isotonní zobrazení $ f, g $ jsou adjugovaná (f nalevo, g napravo), právě když $ f(g(y)) \leq y $ a $ x \leq g(f(x)) $.

Věta: Jsou-li $ f, g $ adjugovaná, pak $ f g f = f $ a $ g f g = g $.

Věta: Levé Galoisovy adjunkty zachovávají suprema a pravé zachovávají infima.

Věta: Jsou-li X, Y úplné svazy, pak $ f:X \to Y $ je levý adjunkt (tj. existuje k němu pravý adjunkt g), právě když f zachovává suprema.

Dvě věty o pevných bodech

Věta (Bourbakiho věta o pevném bodě): Nechť v $ (X,\leq) $ je nejmenší prvek a nechť zde každý řetězec supremum. Nechť $ f: X \to X $ zachovává suprema těchto řetězců. Pak f má pevný bod y (tj. f(y)=y) a když má více pevných bodů, existuje mezi nimi nejmenší.

Věta (Tarského-Knasterová): Každé isotonní zobrazení úplného svazu do sebe sama má pevný bod.

Věta (Cantor-Bernsteinova): Nechť jsou $ f:X\to Y, g:Y\to X $ prostá. Pak existuje izomorfismus $ h:X \to Y $. Existuje dokonce takový, že v každém bodě odpovídá f, nebo inverzi g.

Pro X,Y konečné je takovým h už přímo f nebo inverze g.

Relace "hluboko pod"

Řekneme, že x je hluboko pod y (značíme $ x \ll y $) v uspořádané $ (X,\leq) $, když pro každou usměrněnou $ D \subseteq X $ platí: $ y \leq \sup D \Rightarrow \exists d \in D : x \leq d $.

Pozorování:

  • Když $ x \ll y $, pak $ x \leq y $.
  • Když $ x \leq a \ll b \leq y $, pak $ x \ll y $.

Svazy jako algebry

Lehké opakování Algebry I.

Definujme binární operaci $ \wedge $ (průsek) axiomy:

  • $ a \wedge (b \wedge c) = (a \wedge b) \wedge c $ (asociativita)
  • $ a \wedge b = b \wedge a $ (komutativita)
  • $ a \wedge a = a $ (idempotence)

Definujme binární operaci $ \vee $ (spojení) axiomy:

  • $ a \vee (b \vee c) = (a \vee b) \vee c $ (asociativita)
  • $ a \vee b = b \vee a $ (komutativita)
  • $ a \vee a = a $ (idempotence)

Navíc ať platí axiomy absorpce:

  • $ a \wedge (a \vee b) = a $
  • $ a \vee (a \wedge b) = a $

Věta: Nechť jsou na X binární operace $ \wedge, \vee $, splňující axiomy výše. Pak na X existuje právě jedno uspořádání $ \leq $ takové, že $ a \wedge b = \inf\{a, b\}, a \vee b = \sup\{a, b\} $, a tedy $ (X,\leq) $ tvoří svaz.

Mnohým pomůže, pokud se na průsek koukají jako na "minimum", spojení jako "maximum". Právě tak operace vypadají v lineárním uspořádání (LO) (btw. LO je svaz).

Vidíme, že daná algebra nám jednoznačně určuje svaz, svaz zase určuje algebru. Na svazy tedy lze nahlížet oběma způsoby, jako na algebry a jako na uspořádání.

Modularita, distributivita

Svaz nazveme modulární, pokud $ a \leq c \rightarrow a \vee (b \wedge c) = (a \vee b) \wedge c $.

V řeči LO: $ a \leq c \rightarrow max(a, min(b , c)) = min(max(a, b), c) $. Pro b<=a máme a=a; pro a<=b<=c máme b=b; pro c<=b máme c=c; LO je modulární. Jak to poznat rychleji?

Věta: Svaz je modulární, právě když neobsahuje podsvaz izomorfní s $ C_5 $ (obrázek).

Svaz nazveme distributivní, pokud $ a \wedge (b \vee c) = (a \wedge b) \vee (a \wedge c) $.

Věta: Svaz je distributivní, právě když $ a \vee (b \wedge c) = (a \vee b) \wedge (a \vee c) $.

Tj. distributivitu můžeme vyžadovat pro jednu operaci, ve svazu to implikuje distributivitu i druhé operace.

Pokud by v distributivním svazu platilo $ a \leq c \rightarrow a \vee (b \wedge c) = (a \vee b) \wedge c $, pak by v něm z distributivity platilo i $ a \leq c \rightarrow a \vee (b \wedge c) = (a \wedge c) \vee (b \wedge c) $. Jelikož $ a \wedge c = a $ (infimum), pak by platilo i $ a \leq c \rightarrow a \vee (b \wedge c) = a \vee (b \wedge c) $, což platí, tedy distributivní svaz je modulární.

Věta: Svaz je distributivní, právě když neobsahuje podsvaz izomorfní s $ C_5 $ a $ D_3 $ (obrázek).

Ideály a filtry v distributivních svazech

V distributivním svazu L s nulou a jednotkou nazveme podmnožinu $ J \subseteq L $ ideál, pokud:

  • $ 0 \in J $
  • $ a, b \in J \rightarrow a \vee b \in J $
  • $ (a \leq b) \& (b \in J) \rightarrow a \in J $

Příklady: L je ideál, $ \{0\} $ je ideál. Ideál jsou to jakési "cesty od nuly nahoru", uzavřené na supremum dvou prvků.

V distributivním svazu L s nulou a jednotkou nazveme podmnožinu $ F \subseteq L $ filtr, pokud:

  • $ 1 \in F $
  • $ a, b \in F \rightarrow a \wedge b \in F $
  • $ (a \leq b) \& (a \in F) \rightarrow b \in F $

Příklady: L je filtr, $ \{1\} $ je filtr. Filtr jsou to jakési "cesty od jednotky dolů", uzavřené na infimum dvou prvků.

Filtr či ideál nazveme vlastní, pokud to není celý svaz L.

Vlastní ideál J nazveme prvoideál, pokud $ a \wedge b \in J \rightarrow a \in J $nebo $ b \in J $.

Vlastní filtr F nazveme prvofiltr, pokud $ a \vee b \in F \rightarrow a \in F $nebo $ b \in F $.

Birkhoffova věta: Nechť ve svazu máme ideál J a filtr F disjunktní. Pak existují prvoideál $ \overline{J}, J \subseteq \overline{J} $ a prvofiltr $ \overline{F}, F \subseteq \overline{F} $, které jsou také disjunktní.

Pseudokomplementy a komplementy

Mějme L svaz s nulou, $ a \in L $. Pokud existuje největší prvek x takový, že $ x \wedge a = 0 $, nazveme ho pseudokomplement prvku a, značíme $ a^{*} $.

Pseudokomplementární svaz je svaz s nulou, kde každý prvek má pseudokomplement.

Věty: v pseudokomplementárním svazu platí:

  • $ a \leq a^{**} $
  • $ a^{*} = a^{***} $
  • $ a\wedge b = 0 \leftrightarrow a^{**} \wedge b = 0 $
  • $ (a \vee a^{*})^{*} = 0 $
  • $ (a \wedge b)^{**} = a^{**} \wedge b^{**} $

Prvek a nazveme komplement b, pokud $ a\wedge b=0, a \vee b = 1 $. Relace "být komplement" je symetrická díky komutativitě spojení a průseku.

Heytingovy algebry

Binární operaci $ \to $ na svazu nazveme Heytingová, pokud $ (a\wedge b)\leq c \Leftrightarrow a\leq (b \to c) $.

Svaz s 0 a 1 a Heytingovou operací nazveme Heytingová algebra.

Heytingova algebra je vždy distributivní a pseudokomplementární svaz.

Booleovy algebry

Booleova algebra (BA) je distributivní svaz, kde každý prvek má komplement. Komplement $ a $ značme $ a^c $.

Věta: Každá BA je Heytingova. Operaci $ \to $ definujme jako $ b\to c \Leftrightarrow b^c \vee c $.

Věta: Buď F vlastní filtr v BA L (tj. F není celé L, v BA se jim někdy říká ultrafiltry). Pak jsou tato tvrzení ekvivalentní:

  • F je maximální filtr
  • F je prvofiltr
  • Pro každé $ a \in L $: $ a \in F $ nebo $ a^c \in F $

Pro Heytingovu algebru L definujme $ \mathfrak{B}L = \{a \in L | a = a^{**}\} $.

Věta: $ \mathfrak{B}L $ je Booleova algebra.

Základní pojmy univerzální algebry

Opakování základů, které se berou na VPL, Algebře I, TeMnu a dalších předmětech.

Algebra je množina opatřená systémem operací. Typem $ \Delta $ se myslí "sekvence arit" operací. Např. aritmetika (plus, krát, 0, 1) má typ (2,2,0,0). Typ nazveme konečný, když máme konečně mnoho operací konečné arity. Typ nazveme finitární, když máme operace konečné arity (může jich být i nekonečně).

Systém všech algeber typu $ \Delta $ a všech jejich homomorfismů se značí $ Alg (\Delta) $.

Zobrazení $ f: X \to Y $ nazveme homomorfismem k funkcím $ \alpha:X^n \to X $ a $ \beta: Y^n\to Y $, když $ f(\alpha(x_1,...,x_n)) = \beta(f(x_1),..., f(x_n)) $.

Pán Pultr to zapisuje trochu fikaně. n-tice prvků z X jsou vlastně zobrazení z $ \{0, ..., n-1\} = n $ do X (prvnímu prvku přiřadíme něco z X, druhému ... vyrobíme všechny n-tice). Množinu těchto zobrazení (n-tic) označme $ \xi : n \to X $. Podmínkou homomorfismu je tedy $ f(\alpha(\xi)) = \beta(f \cdot \xi) $ (skládání funkcí různé arity podle mě není úplně průhledné). Tato druhá definice je kratší a nepředpokládá konečnost n.

Věta: Nechť $ \alpha, \beta, \gamma $ jsou n-ární operace na $ X,Y,Z $, $ f:X\to Y $ prosté, $ g:Z\to Y $ libovolné a $ h:Z\to X $ takové, že $ f \cdot h = g $. Pokud jsou f, g homomorfismy, pak i h je homomorfismus.

Věta: Nechť $ \alpha, \beta, \gamma $ jsou n-ární operace na $ X,Y,Z $, $ f:X\to Y $ na, $ g:X\to Z $ libovolné a $ h:Y\to Z $ takové, že $ f \cdot h = g $. Pokud jsou f, g homomorfismy, pak i h je homomorfismus.

Věta: Buďte $ A=(X,\alpha), B=(Y,\beta), C=(Z,\gamma) $ algebry stejného typu.

  1. Buď $ f: A\to B $ prostý a $ g: C\to B $ libovolný homomorfismus. Pak existuje homomorfismus $ h: C\to A $ takový, že $ f \cdot h = g $, právě když $ g[Z] \subseteq f[X] $.
  1. Buď $ f: A\to B $ homomorfismus "na" a $ g: A\to C $ libovolný hom. Pak existuje hom. $ h: B\to C $ takový, že $ f \cdot h = g $, právě když $ f(x) = f(y) \Rightarrow g(x)=g(y) $.

Podalgebra je podmnožina algebry, uzavřená na všechny operace. Nové operace vzniknou "restrikcí". Je zde zobrazení vložení (podalgebry do algebry), které je homomorfismus.

Průnik podalgeber je podalgebra. Pro každou M podmnožinu algebry A existuje nejmenší B podalgebra A, obsahující M. Značíme $ B = Gen(M) $.

Volné algebry

Třídu algeber nazveme triviální, když jsou všechny algebry nad jednoprvkovými množinami.

Buď A podtřída $ Alg (\Delta) $, M množina. Volná algebra nad M vzhledem k třídě A je $ F(M) \in A $ spolu se zobrazením $ \phi_M : M \to F(M) $ takovým, že pro každou $ X \in A $ a každé $ f: M \to X $ existuje právě jeden homomorfismus $ h:F(M) \to X $ tak že $ h \cdot \phi_M = f $.

Věta:

  1. Je-li A netriviální třída algeber, je zobrazení $ \phi_M $ vždy prosté.
  2. Množina $ \phi_M(M) $ generuje algebru F(M).
  3. Pokud volná algebra nad M existuje, je až na izomorfizmus jednoznačně určená.

Věta: Buď $ \Delta $ finitární typ a $ A \subseteq Alg(\Delta) $ netriviální třída algeber uzavřená na součiny, podalgebry a izomorfismy. Pak pro každou M existuje volná algebra nad M vzhledem k A.

Třídy algeber uzavřené na základní operace. Variety

Třídami algeber zde budeme myslet třídy, uzavřené na izomorfismy. Je li v dané třídě A, jsou zde i B izomorfní s A.

Pro třídu algeber $ A \subseteq Alg(\Delta) $ definujme:

  • $ SA = \{B | \text{existuje prosty homomorfismus z B do X, } X \in A \} $
  • $ PA = \{\Pi A_i | A_i \text{jsou algebry z }A \} $
  • $ HA = \{B | \text{existuje prosty homomorfismus z X do B, } X \in A \} $

Volně lze říci, že SA jsou podalgebry (Subalgebra), PA jsou produkty (Product) a HA jsou faktorové algebry (Homomorphic). Všechny jsou nadmnožiny A.

Tvrzení: $ HSPA $ je nejmenší třída algeber obsahující A uzavřená na podalgebry, produkty a faktorové algebry.

Topologie

Metrické prostory již známe z Analýzy, stejně tak i spojitost. Množina M je okolí bodu x, pokud obsahuje "kružnici" se středem v x a poloměrem > 0. Samotné {x} tedy není svým okolím.

Spojitost lze ekvivalentně definovat tak, že pro všechna x: ke každému V okolí f(x) existuje U okolí x takové, že obraz U se vejde do V. "Nepřítel" nám dává co nejmenší okolí f(x).

Základní pojmy

Řekneme, že na X je dána topologie pomocí okolí, když pro každé $ x \in X $ je dána neprázdná $ \mathcal{U}(x) \subseteq \mathcal{P}(X) $ (to by měla být okolí x), kde platí:

  • $ U \in \mathcal{U}(x) \Rightarrow x \in U $ (okolí bodu obsahuje ten bod)
  • $ U, V \in \mathcal{U}(x) \Rightarrow U\cap V \in \mathcal{U}(x) $ (průnik okolí je okolí)
  • $ U \in \mathcal{U}(x)\& U \subseteq V \Rightarrow V \in \mathcal{U}(x) $ (nadmnožina okolí je okolí)
  • pro každou $ U \in \mathcal{U}(x) $ existuje $ W \in \mathcal{U}(x) $, $ W \subseteq U $ takové, že $ \forall y \in W : U \in \mathcal{U}(y) $ (pro U okolí x existuje W menší podokolí x takové, že U je okolí všech bodů z W )

Řekneme, že na X je topologie $ \tau \subseteq \mathcal{P}(X) $ (pomoci otevřených množin), když:

  • $ \emptyset, X \in \tau $
  • $ U, V \in \tau \Rightarrow U \cap V \in \tau $ (konečné průniky)
  • $ U_i \in \tau \Rightarrow \bigcup U_i \in \tau $ (libovolná sjednocení)

Pro topologii pomocí okolí $ \mathcal{U} $ definujme $ \tau $ předpisem: $ U \in \tau \Leftrightarrow (\forall x \in U) ( U \in \mathcal{U}(x)) $. Věta: $ \tau $ je topologie.

Pro topologii $ \tau $ definujme $ \mathcal{U} $ předpisem: $ U \in \mathcal{U}(x) \Leftrightarrow (\exists V \in \tau)( x \in V \subseteq U) $. Věta: $ \mathcal{U} $ je topologie pomocí okolí.

Vidíme, že obě definice se snaží popsat stejnou věc. Budeme používat spíše druhou definici, je jednodušší. Prvkům $ \tau $ se také říká otevřené množiny.

Mějme topologii $ \tau $ na X. Množinu $ A \subseteq X $ nazveme uzavřená, když $ X-A \in \tau $.

Vidíme, že $ \emptyset, X $ jsou uzavřené. Sjednocení dvou uzavřených je uzavřená a průnik libovolného počtu uzavřených je uzavřená. Mohli jsme tedy začít s "opačnou definicí" topologie (pomocí uzavřených množin) a pak dodefinovat otevřené. Zkrátka díváme se na jednu topologii, ať už ji dostaneme jako otevřené či uzavřené množiny, "opačnou reprezentaci" si vždy dokážeme vyrobit (pomocí doplňků).

Pro každou $ M \subseteq (X, \tau) $ definujme uzávěr M: $ \overline{M} = \bigcap \{A | A \text{ uzavrena } \& M \subseteq A\} $.

Příklady

Příklady topologií nad X: $ \mathcal{P}(X) $ (diskrétní prostor, největší topologie), $ \{\emptyset, X\} $ (indiskrétní prostor, nejmenší topologie).

Řekneme, že $ B \subseteq \tau $ je báze topologie $ \tau $, když $ \forall U \in \tau: U = \bigcup \{A \in B | A \subseteq U\} $ (podmínka, že A je podmnožina U, je asi zbytečná).

Vidíme, že když k bázi přidáme libovolný další prvek z $ \tau $, zůstane bází. Jsou to jakési menší dílky, sjednocováním kterých postavíme libovolný prvek topologie.

Řekneme, že $ S \subseteq \tau $ je subbáze topologie $ \tau $, když množina všech konečných průniků prvků z S je bází $ \tau $.

Domněnka: Sjednocení všech prvků subbáze musí dát celé X, abychom z ní uměli vyrobit X (což je prvek každé topologie). Vysvětlení: nemusí. Konečnými průniky pán Pultr mysli i prázdný průnik, který nám vrátí X.

Věta: každá $ A \subseteq \mathcal{P}(X) $ je subbází nějaké topologie nad X. Říkáme, že A generuje danou topologii. Většinou nás zajímá nejmenší topologie, generovaná A.

Spojitá zobrazení

Zobrazení $ f:X\to Y $ nazveme spojité v topologiích $ (X,\tau), (Y,\theta) $, když pro každé V okolí f(x) existuje U okolí x, které se zobrazí do V. Tj. $ (\forall V \in \theta, f(x)\in V) (\exists U \in \tau, x \in U) f[U] \subseteq V $.

Složení spojitých zobrazení je spojité zobrazení (z tranzitivity inkluze). Pokud je nalevo diskrétní topologie, nebo napravo indiskrétní, každé zobrazení je spojité.

Spojitost zobrazení f lze vyjádřit více způsoby. Tvrzení níže jsou ekvivalentní:

  • f je spojité
  • pro každou U otevřenou v Y je $ f^{-1}[U] $ otevřená v X
  • pro každou U uzavřenou v Y je $ f^{-1}[U] $ uzavřená v X
  • pro každou $ M \subseteq X $ je $ f[\overline{M}] \subseteq \overline{f[M]} $
  • pro každou $ M \subseteq Y $ je $ \overline{f^{-1}[M]} \subseteq f^{-1}[\overline{M}] $

Základní konstrukce

Mějme topologický prostor $ (X,\tau) $. Vezměme $ Y\subseteq X $ a $ \tau | Y = \{U\cap Y | U \in \tau\} $ (všechny otevřené množiny "ořežme" podle Y). Pak $ (Y,\tau|Y) $ také tvoří topologický prostor, říkáme mu podprostor indukovaný na podmnožině Y.

Speciální požadavky

Definujme si pro topologické prostory nějaké další požadavky.

  • $ T_0 $: pro každé $ x \neq y $ existuje $ U \in \tau $ tak, že $ x \in U, y \notin U $ nebo $ x \notin U, y \in U $.

Věta: Prostor splňuje $ T_0 $, právě když $ \overline{ \{x\} } = \overline{ \{y\} } \Rightarrow x=y $.

  • $ T_1 $: pro každé $ x \neq y $ existuje $ U \in \tau $ tak, že $ x \in U, y \notin U $.

Věta: Prostor splňuje $ T_1 $, právě když všechny konečné množiny jsou uzavřené.

  • $ T_2 $ (Hausdorffův prostor): pro každé $ x \neq y $ existují $ U,V \in \tau $ tak, že $ x \in U, y \in V $ a U,V jsou disjunktní.
  • $ T_3 $ (regulární prostor): pro každé x a uzavřenou A, $ x \notin A $, existují $ U,V \in \tau $ tak, že $ x \in U, A \subseteq V $ a U,V jsou disjunktní.
  • $ T_{3.5} $ (úplně regulární prostor): pro každé x a uzavřenou A, $ x \notin A $ existují $ \phi : X \to \mathbb{I} $ tak, že $ \phi (x)=0, \phi [A] \subseteq \{1\} $ ($ \mathbb{I} = \langle 0,1\rangle \subseteq \mathbb{R} $ s topologií "klasických" otevřených množin).
  • $ T_{4} $ (normální prostor): pro každé disjunktní uzavřené $ A,B \subseteq X $ existují disjunktní otevřené $ U, V \in \tau $ tak, že $ A \subseteq U, B \subseteq V $.

Kompaktnost

Množinu $ U \subseteq \tau $ nazveme pokrytí $ (X, \tau) $, když $ \bigcup U = X $. Pokud $ V\subseteq U $ je také pokrytí, nazveme ho podpokrytí vybrané z U.

Prostor $ (X,\tau) $ nazveme kompaktní, když z každého pokrytí lze vybrat konečné podpokrytí. $ Y \subseteq X $ nazveme kompaktní, když $ (Y, \tau |Y) $ je kompaktní.

Věta:

  • Každá uzavřená podmnožina kompaktního prostoru je kompaktní.
  • Při spojitém zobrazení, obraz kompaktní podmnožiny je kompaktní podmnožina.

Věta (Alexanderovo lemma): Nechť pro nějakou subbází $ S $ prostoru $ (X,\tau) $ platí, že z každého $ U \subseteq S $ pokrytí X lze vybrat konečné podpokrytí. Pak je X kompaktní.

Prostor $ (X,\tau) $ nazveme Lindelöfův, když z každého pokrytí lze vybrat spočetné podpokrytí.

Věta: V Hausdorffově prostoru X je každá kompaktní podmnožina uzavřená.

Věta: Každý Hausdorffův kompaktní prostor je normální.

Souvislost

Podmnožinu $ A \subseteq (X,\tau) $ nazveme obojetná, je-li zároveň otevřená i uzavřená. Triviální obojetné $ \emptyset, X $ jsou v každém prostoru.

Neprázdný prostor $ (X,\tau) $ je souvislý, pokud jeho jediné obojetné množiny jsou $ \emptyset, X $. Podmnožina $ Y\subseteq X $ je souvislá, je-li prostor $ (Y, \tau |Y) $ souvislý.

Lze to říci i jinak: prostor je nesouvislý, když v něm jsou neprázdné disjunktní otevřené A, B, $ A\cup B = X $ (pak jsou obě netriviální obojetné, X nemůže být souvislý). Stejně to funguje s uzavřenými A, B.

Věta: Interval $ \mathbb{I} $ je souvislý.

Věta: Spojitý obraz souvislé množiny je souvislá množina.

Věta: Uzávěr souvislé množiny je souvislá množina.

Cestou (nebo křivkou) mezi $ x,y \in X $ nazveme spojité zobrazení $ \phi : \mathbb{I}\to X $, kde $ \phi(0)=x, \phi(1)=y $.

Prostor nazveme křivkově souvislý, když mezi každými dvěma body existuje křivka.

Věta: křivkově souvislý prostor je souvislý (obráceně to neplatí).

Metrické a uniformní prostory