Границя числової послідовності: відмінності між версіями

[перевірена версія][перевірена версія]
Вилучено вміст Додано вміст
мНемає опису редагування
мНемає опису редагування
Рядок 119:
=== Визначення ===
 
Точка ''x'' топологічного простору (''X'', &tau;) є '''границею''' [[Послідовність|послідовності]] (''x<sub>n</sub>'') якщо, для кожного [[Окіл|околу]] ''U'' довкола ''x'', існує таке ''N'' при якому, для кожного <math>n \geqslant N</math>, <math>x_n \in U</math>. Це співпадаєзбігається із визначенням, що було дане для метричних просторів, якщо (''X'',''d'') є метричним простором а <math>\tau</math> є топологією утвореною за допомогою ''d''.
 
Границя послідовності точок <math>\left(x_n:n\in \mathbb{N}\right)\;</math> у топологічному просторі ''T'' є особливим випадком [[Границя функції в точці#Functions on topological spaces|границі функції]]: областю визначення якої є <math>\mathbb{N}</math> у просторі <math>\mathbb{N} \cup \lbrace +\infty \rbrace</math> із [[Індукована топологія|індукованою топологією]] системи дійсних чисел [[Невласне число|розширеною до нескінченностей]], ранг дорівнює ''T'', а аргумент функції ''n'' прямує до +∞, яка в даному просторі є [[Гранична точка|граничною точкою]] для <math>\mathbb{N}</math>.
Рядок 125:
=== Властивості ===
 
Якщо ''X'' це [[Гаусдорфів простір]] тоді границі послідовностей є унікальними, якщо вони існують. Варто відмітитизазначити, що це не обов'язково так в загальному випадку; зокрема, якщо дві точки ''x'' і ''y'' є {{нп|Топологічна нерозрізненість|топологічно нерозрізнені|en|topologically indistinguishable}}, будь-яка послідовність яка збігається до ''x'' має збігатися до ''y'' і навпаки.
 
== Послідовності Коші ==