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$. 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 $ℝ$ se standardní topologií, ale není jejím limitním bodem. Naopak $0.5$ je limitním bodem intervalu $⟨0,1⟩$ v $ℝ$ 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.

Vzhledem k obvyklé eukleidovské topologii nemá posloupnost racionálních čísel $x_n=(-1{)}^n\frac{n}{n+1}$ žádnou limitu (tj. 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Šablona:Sfn, limitní bod posloupnostiŠablona:Sfn nebo limitní bod sítě je bod, ke kterému konverguje konvergentní filtr (konvergentní posloupnost, příp. 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.$Šablona:Sfn $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Šablona:Kotva 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 $|U\cap S|=\left|S\right|,$ pak $x$ je zvláštním typem limitního bodu, který nazýváme úplně hromadným bodemŠablona:Kotva množiny $S.$

Hromadné body posloupností a sítí

Posloupnost vyčíslující všechna kladná racionální čísla. 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_{\bullet }={\left(x_n\right)}_{n=1}^{\mathrm{\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\ge 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_{\bullet }$ právě tehdy, když $x$ je limita nějaké podposloupnosti bodu $x_{\bullet }.$ 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). 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,\le )\to X,$ kde $(P,\le )$ je dolů usměrněná množina a $X$ je topologický prostor. 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\ge 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_{\bullet }={\left(x_n\right)}_{n=1}^{\mathrm{\infty }}$ v $X$ je z definice pouhým zobrazením $x_{\bullet }:\mathbb{N}\to X$, takže jeho obraz $\mathrm{Im}{x}_{\bullet }:=\{x_n:n\in \mathbb{N}\}$ 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 $\mathrm{Im}{x}_{\bullet }.$ Pokud například posloupnost je konstantní posloupností s hodnotami $x,$ máme $\mathrm{Im}{x}_{\bullet }=\{x\}$ a $x$ je izolovaným bodem $\mathrm{Im}{x}_{\bullet }$, a ne hromadným bodem $\mathrm{Im}{x}_{\bullet }.$

• 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 $\mathrm{Im}{x}_{\bullet }.$

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_{\bullet }$, pro které bude platit $A=\mathrm{Im}{x}_{\bullet }.$

• 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 $\mathrm{cl}(S)$ množiny $S$ je disjunktní sjednocení svých limitních bodů $L(S)$ a izolovaných bodů $I(S)$:

$\mathrm{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\}.$Šablona:Poznámka

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.Šablona:Poznámka

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.Šablona:Poznámka

Žádný izolovaný bod není limitním bodem jakékoli množiny.Šablona:Poznámka

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

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.$Šablona:Poznámka

Odkazy

Literatura

• Šablona:Citace monografie
• Šablona:Citace monografie
• Šablona:Citace monografie
• Šablona:Citace monografie

Související články

• Bod uzávěru
• Kondenzační bod
• Derivace množiny
• Uzávěr množiny
• Izolovaný bod
• Limita funkce
• Limita posloupnosti

Externí odkazy

• Šablona:MathWorld
• Šablona:SpringerEOMŠablona:Autoritní data