Définition 1.
On appelle espace topologique un couple (X,T ) où X est un ensemble et T une famille de parties de X vérifiant : (T1) ∅∈T , X ∈ T , (T.
2) Une intersection finie d'éléments de T appartient à T , (T.
3) Une reunion quelconque d'éléments de T appartient à T .
On appelle T la topologie sur X.
La topologie de la droite réelle (ou topologie usuelle de R) est une structure mathématique qui donne, pour l'ensemble des nombres réels, des définitions précises aux notions de limite et de continuité.
Richard Dedekind (1831 - 1916) a défini rigoureusement les nombres réels et posé les bases de leur étude topologique.
On appelle voisinage de (resp. ) toute partie de qui contient un intervalle de la forme avec A ∈ R , (resp. avec B ∈ R ).
On dit qu'une propriété est réalisée au voisinage d'un point s'il existe un voisinage du point dans lequel cette propriété est vérifiée .