Эта статья находится в разработке!
- [math](X, \rho)[/math] — МП. [math]\forall Y \subset X : (Y, \rho)[/math] — МП.
- [math]x \in A[/math]. A — окрестность точки x, если [math]\exists V: x \in V \subset A [/math]
O(x) - окрестность точки x. [math] V_r(x) = O(x)[/math](в частности).
Числовая прямая - окрестность любого числа.
[math]A, b \in X[/math]. b является предельной точкой для A, если в любой O(b) находится бесконечное число точек, принадлежащих A.
Пример:
- [math] \mathbb R, A = (0; 1); 0 \notin A[/math], 0 — предельная точка(как и 1, например).
Пусть [math] A \subset X, a [/math] — предельная точка [math]A, (X, \rho), (Y, \bar \rho)[/math].
[math] f: A \rightarrow Y, b = \lim\limits_{x \rightarrow a} f(x), b \in Y[/math] , т.е. [math]\forall \varepsilon \gt 0 \, \exists \delta \gt 0: 0 \lt \rho(x, a) \lt \delta \Rightarrow \bar \rho(f(x), b) \lt \varepsilon [/math]
Так как a — предельная точка A, то у нас есть гарантии, что [math]0 \lt \rho(x, a) \lt \delta[/math] выполнимо для бесконечного числа [math] x \in A[/math]. Отметим: если [math]a \in A[/math], то f(a) нас не интересует.
