1.
x est limite de (xn) si pour tout ouvert U contenant x, il existe N tel que pour tout n≥N, xn∈U.
2.
Avec τ=P(E) (topologie discrète), {x} est ouvert. Donc xn∈{x} pour n≥N, i.e. xn=x à partir d'un certain rang. Seules les suites stationnaires convergent.
Seules les suites stationnaires convergent
3.
Non. Dans (E,{∅,E}) (topologie grossière), pour deux points distincts x=y, le seul ouvert contenant x est E qui contient aussi y. Pas de séparation.
Non seˊpareˊ
4.
Tout point x∈E est limite de toute suite, car le seul ouvert contenant x est E, et tous les termes de la suite sont dans E. Donc toute suite admet TOUS les points de E comme limites.
Toute suite converge vers tout point de E
5.
Soient x=y deux limites. Par séparation (Hausdorff), il existe U,V ouverts disjoints avec x∈U,y∈V. Pour n assez grand, xn∈U et xn∈V, donc xn∈U∩V=∅. Contradiction.
La limite est unique dans un espace seˊpareˊ