WikiSort.ru - Не сортированное

Предел направленности

Направленность ${\displaystyle \left\{x_{\alpha }\right\}_{\alpha \in \mathrm {A} }}$ называется сходящейся к точке ${\displaystyle x}$ , если для любой окрестности ${\displaystyle V}$ точки ${\displaystyle x}$ существует индекс ${\displaystyle \alpha _{V}\in \mathrm {A} }$ такой, что ${\displaystyle x_{\alpha }\in V}$ для всякого ${\displaystyle \alpha \geqslant \alpha _{V}}$ . Точка ${\displaystyle x}$ называется пределом направленности ${\displaystyle \left\{x_{\alpha }\right\}}$ и обозначается ${\displaystyle x_{\alpha }{\xrightarrow[{\mathrm {A} }]{}}x}$ .

Множество всех пределов направленности ${\displaystyle \left\{x_{\alpha }\right\}}$ обозначается как ${\displaystyle \lim _{\alpha \in \mathrm {A} }x_{\alpha }}$ . Если направленность имеет ровно один предел ${\displaystyle x}$ , то пишут ${\displaystyle x=\lim _{\alpha \in \mathrm {A} }x_{\alpha }}$

Если топологическое пространство хаусдорфово, то каждая сходящаяся направленность имеет ровно один предел. Верно и обратное: если каждая сходящаяся направленность имеет ровно один предел, то пространство хаусдорфово.

Понятие предела направленности тесно связано с понятием точки прикосновения: точка является точкой прикосновения множества тогда и только тогда, когда существует сходящаяся к этой точке направленность элементов этого множества.

Поднаправленность

Понятие подпоследовательности можно обобщить на направленности. Направленность ${\displaystyle \left\{y_{\beta }\right\}_{\beta \in \mathrm {B} }}$ называется поднаправленностью (более тонкой направленностью) направленности ${\displaystyle \left\{x_{\alpha }\right\}_{\alpha \in \mathrm {A} }}$ , если для любого ${\displaystyle \alpha \in \mathrm {A} }$ найдётся такой индекс ${\displaystyle \beta (\alpha )\in \mathrm {B} }$ , что для всякого ${\displaystyle \beta '\geqslant \beta (\alpha )}$ найдется ${\displaystyle \alpha '\geqslant \alpha }$ , удовлетворяющий равенству ${\displaystyle x_{\alpha '}=y_{\beta '}}$ .

Каждая последовательность обладает поднаправленностью, которая сама последовательностью не является.