Limitní bod

Limitní bod množiny S v topologickém prostoru X je bod x, který lze „aproximovat“ body množiny S v tom smyslu, že každé okolí bodu x vzhledem k topologii na X obsahuje také nějaký jiný bod množiny S než samotný x. Samotný limitní bod množiny S prvkem množiny S být nemusí.

Limitní body množiny se nesmí zaměňovat s body uzávěru množiny S, pro které každé okolí bodu x obsahuje nějaký bod množiny S. Na rozdíl od limitních bodů, tímto bodem množiny S může být i samotný bod x. +more Limitní bod lze charakterizovat jako bod uzávěru, který není izolovaným bodem.

Limitní body množiny se také nesmí zaměňovat s hraničními body množiny S. Například 0 je hraničním bodem množiny \{ 0 \} v \mathbb{R} se standardní topologií, ale není jejím limitním bodem. +more Naopak 0. 5 je limitním bodem intervalu \langle 0, 1\rangle v \mathbb{R} se standardní topologií, ale není hraničním bodem tohoto intervalu. Méně triviální příklad limitních bodů je ukázán na prvním obrázku.

Tento koncept výhodně zobecňuje pojem limity a tvoří základ konceptů, jako je uzavřená množina nebo uzávěr množiny. Množina reálných čísel je uzavřená právě tehdy, když obsahuje všechny své limitní body; a na operaci topologického uzávěru lze pohlížet jako na operaci, která doplňuje množinu jejími hromadnými body.

eukleidovské topologii nemá posloupnost racionálních čísel x_n=(-1)^n \frac{n}{n+1} žádnou Limita posloupnosti#Topologické prostory|limitu (tj. +more nekonverguje). Má však dva hromadné body: -1 a +1. Pokud tedy mluvíme o množinách, tyto body jsou limitními body množiny \{x_n\}. Existuje také blízce příbuzný koncept pro posloupnosti. Hromadný bod posloupnosti (x_n)_{n \in \mathbb{N}} v topologickém prostoru X je bod x takový, že, pro každé okolí V bodu x, existuje nekonečně mnoho přirozených čísel n takových, že x_n \in V. Tuto definici hromadného bodu lze zobecnit pro sítě a filtry.

Pro posloupnosti, sítě a filtry limitní bod není totéž co hromadný bod množiny. Podle definice limitní bod filtru, limitní bod posloupnosti nebo limitní bod sítě je bod, ke kterému konverguje konvergentní filtr (konvergentní posloupnost, příp. +more konvergentní síť).

Definice

Hromadné body množiny

Nechť S je podmnožina topologického prostoru X. Prvek x \in X je limitním bodem (nebo hromadným bodem) množiny S, pokud každé jeho okolí obsahuje alespoň jeden bod množiny S různý od x.

Není žádný rozdíl, zda omezujeme podmínku pouze na otevřené okolí. Často je pohodlné používat definici s „otevřeným okolím“, pro demonstraci, že určitý bod je limitním bodem, a používat definici s „obecným okolím“ pro odvozování faktů ze známého limitního bodu.

Pokud X je T_1 prostor (což platí pro každý metrický prostor), pak x \in X je limitní bod množiny S právě tehdy, když každé okolí bodu x obsahuje nekonečně mnoho bodů množiny S. T_1 prostory jsou charakterizovány právě touto vlastností.

Pokud X je Fréchetův-Urysohnův prostor (což platí pro každý metrický prostor nebo first-countable prostor), pak x \in X je limitním bodem množiny S právě tehdy, když existuje posloupnost bodů v S \setminus \{ x \}, jejíž limitou je x. Fréchetovy-Urysohnovy prostory jsou charakterizovány právě touto vlastností.

Množina limitních bodů množiny S se nazývá derivace množiny S.

Typy hromadných bodů

Pokud každé okolí bodu x obsahuje nekonečně mnoho bodů množiny S, pak x je zvláštním typem limitního bodu, který nazýváme ω-hromadný bod množiny S.

Pokud každé okolí bodu x obsahuje nespočetně mnoho bodů množiny S, pak x je zvláštním typem limitního bodu, který nazýváme kondenzační bod množiny S.

Pokud každé okolí U bodu x vyhovuje \left| U \cap S\right| = \left| S \right|, pak x je zvláštním typem limitního bodu, který nazýváme úplně hromadným bodem množiny S.

Hromadné body posloupností a sítí

racionální čísla. +more Každé kladné reálné číslo je hromadným bodem. Bod x \in X topologického prostoru X se nazývá limitní bod posloupnosti x_{\bull} = \left(x_n\right)_{n=1}^{\infty}, pokud, pro každé okolí V bodu x, existuje nekonečně mnoho n \in \mathbb{N} takových, že x_n \in V. To je ekvivalentní s tvrzením, že pro každé okolí V bodu x a každé n_0 \in \mathbb{N}, existuje nějaké n \geq n_0 takové, že x_n \in V. Pokud X je Metrický prostor nebo first-countable prostor (nebo, obecněji, Fréchetův-Urysohnův prostor), pak x je hromadným bodem bodu x_{\bull} právě tehdy, když x je limita nějaké podposloupnosti bodu x_{\bull}. Množina všech limitních bodů posloupnosti se někdy nazývá limitní množina.

Pamatujte, že existuje už pojem limity posloupnosti, který označuje bod x, ke kterém posloupnost konverguje (tj. každé okolí bodu x obsahuje až na konečně mnoho prvků všechny prvky posloupnosti). +more To je důvodem, proč nepoužíváme termín limitní bod posloupnosti jako synonymum pro hromadný bod posloupnosti.

Koncept sítí zobecňuje myšlenku posloupností. Síť je funkce f : (P,\leq) \to X, kde (P,\leq) je dolů usměrněná množina a X je topologický prostor. +more Bod x \in X se nazývá hromadný bod sítě f, pokud, pro každé okolí V bodu x a každé p_0 \in P, existuje nějaké p \geq p_0 takové, že f(p) \in V, to jest pokud f má podsíť, která konverguje k x. Hromadné body v sítích slučují myšlenku kondenzačních bodů a ω-hromadných bodů. Hromadné a limitní body jsou také definovaný pro filtry.

Vztah mezi hromadným bodem posloupnosti a hromadným bodem množiny

Každá posloupnost x_{\bull} = \left(x_n\right)_{n=1}^{\infty} v X je z definice pouhým zobrazením x_{\bull} : \mathbb{N} \to X, takže jeho obraz \operatorname{Im} x_{\bull} := \left\{ x_n : n \in \mathbb{N} \right\} lze definovat obvyklým způsobem.

* Pokud existuje prvek x \in X, který se v posloupnosti objevuje nekonečně mnohokrát, pak tento x je hromadným bodem posloupnosti. Ale x nemusí být hromadným bodem odpovídající množiny \operatorname{Im} x_{\bull}. +more Pokud například posloupnost je konstantní posloupností s hodnotami x, máme \operatorname{Im} x_{\bull} = \{ x \} a x je izolovaným bodem \operatorname{Im} x_{\bull}, a ne hromadným bodem \operatorname{Im} x_{\bull}.

* Pokud se žádný prvek neobjevuje nekonečně mnohokrát v posloupnosti, například pokud všechny prvky jsou navzájem různé, jakýkoli hromadný bod posloupnosti je \omega-hromadným bodem příslušné množiny \operatorname{Im} x_{\bull}.

Pokud je naopak dána spočetná nekonečná podmnožina A \subseteq X, můžeme všechny její prvky vyčíslit mnoha způsoby, dokonce s opakováním, a tak s ní ztotožnit s mnoho posloupností x_{\bull}, pro které bude platit A = \operatorname{Im} x_{\bull}.

* Jakýkoli \omega-hromadný bod množiny A je hromadným bodem libovolné odpovídající posloupnosti (protože libovolné okolí bodu bude obsahovat nekonečně mnoho prvků množiny A a tedy také nekonečně mnoho členů jakékoli odpovídající posloupnosti).

* Bod x \in X, který není \omega-hromadným bodem množiny A nemůže být hromadným bodem žádné z odpovídajících posloupností bez nekonečných opakování (protože x má nějaké okolí, které obsahuje pouze konečně mnoho bodů (případně dokonce žádný) množiny A a protože okolí může obsahovat pouze konečně mnoho členů takových posloupností).

Vlastnosti

Každá limita nekonstantní posloupnosti je hromadným bodem posloupnosti. A podle definice, každý hromadný bod je bodem uzávěru.

Uzávěr \operatorname{cl}(S) množiny S je disjunktní sjednocení svých limitních bodů L(S) a izolovaných bodů I(S): :\operatorname{cl} (S) = L(S) \cup I(S), L(S) \cap I(S) = \varnothing.

Bod x \in X je limitní bod množiny S \subseteq X právě tehdy, když leží v uzávěru množiny S \setminus \{ x \}.

Používáme fakt, že bod je v uzávěru množiny právě tehdy, když každé okolí bodu splňuje množinu. Nechť je nyní x limitní bod množiny S, právě tehdy, když každé okolí bodu x obsahuje nějaký bod množiny S různý od x, právě tehdy, když každé okolí bodu x obsahuje bod množiny S \setminus \{x\}, právě tehdy, když x je v uzávěru množiny S \setminus \{x\}.

Pokud používáme L(S) pro označení množiny limitních bodů množiny S, pak máme následující charakterizaci uzávěru množiny S: Uzávěr množiny S se rovná sjednocení množiny S a L(S). Tento fakt se někdy používá jako definice uzávěru množiny.

(“Levá inkluze“) Předpokládejme, že x je v uzávěru množiny S. Pokud x je v S, jsme hotovi. +more Pokud x není v S, pak každé okolí bodu x obsahuje bod množiny S, a tento bod nemůže být x. Jinými slovy x je limitní bod množiny S a x je v L(S). (“Pravá inkluze“) Pokud x je v S, pak každé okolí bodu x jasně splňuje S, takže x je v uzávěru množiny S. Pokud x je v L(S), pak každé okolí bodu x obsahuje nějaký bod množiny S (jiný než x), takže x je opět v uzávěru množiny S. Což uzavírá důkaz.

Důsledek tohoto výsledku nám dává charakterizaci uzavřených množin: Množina S je uzavřený právě tehdy, když obsahuje všechny své limitní body.

Důkaz 1: S je uzavřená právě tehdy, když S se rovná svému uzávěru, právě tehdy, když S=S\cup L(S) právě tehdy, když L(S) je obsaženo v S.

Důkaz 2: Nechť S je uzavřená množina a x je její limitní bod. Pokud x není v S, pak doplněk do S zahrnuje nějaké otevřené okolí bodu x. +more Protože x je limitní bod množiny S, jakékoli otevřené okolí bodu x musí mít netriviální průnik s S. Množina však nemůže mít netriviální průnik se svým doplňkem. Pro opačmým směr důkazu předpokládáme, že S obsahuje všechny své limitní body. Ukážeme, že doplněk množiny S je otevřená množina. Nechť x je bod v doplňku množiny S. Podle předpokladu x není limitní bod a tedy existuje otevřené okolí U bodu x, které neprotíná S, a tak celé U leží v doplňku množiny S. Protože tento argument platí pro libovolné x v doplňku množiny S, doplněk množiny S lze vyjádřit jako sjednocení otevřených okolí bodů v doplňku množiny S. Proto je doplněk množiny S otevřený.

Žádný izolovaný bod není limitním bodem jakékoli množiny.

Pokud x je izolovaný bod, pak \{x\} je okolí bodu x, které neobsahuje žádné jiné body než x.

Prostor X je diskrétním prostorem právě tehdy, když žádná jeho podmnožina X nemá limitní bod.

Pokud X je diskrétní, pak každý její bod je izolovaný a nemůže být limitním bodem žádné množiny. Naopak, pokud X není diskrétní, pak existuje jednoprvková množina \{ x \}, která není otevřená. +more Proto každé otevřené okolí množiny \{ x \} obsahuje bod y \neq x, takže x je limitním bodem množiny X.

Pokud prostor X má triviální topologii a S je jeho podmnožina s více než jedním prvkem, pak všechny prvky množiny X jsou limitní body množiny S. Pokud S je jednoprvková množina, pak každý bod množiny X \setminus S je limitním bodem množiny S.

Pokud S \setminus \{ x \} je neprázdná, její uzávěr je X. Uzávěr je prázdný pouze tehdy, když S je prázdná nebo když x je jediným prvkem množiny S.

Odkazy

Poznámky

Reference

Související články

Bod uzávěru * Kondenzační bod * Konvergentní filtr * Derivace množiny * Uzávěr množiny * Filtry v topologii * Izolovaný bod * Limita funkce * Limita posloupnosti

Kategorie:Topologie Kategorie:Obecná topologie