1.2 Quelques notions de topologie
Soit (pk)k>0une suite de points (ou de vecteurs) de IRn. On dit que cette
suite converge vers une limite p∈IRnsi et seulement si pour tout ε > 0, il
existe k0tel que
k≥k0⇒ kpk−pk ≤ ε.
On note alors limk→+∞pk=pou encore parfois pk→p. Dans le cas
contraire on dit que la suite diverge. Dans le cas n= 1, on a kpk−pk=
|pk−p|et on retrouve la d´efinition usuelle de la convergence des suites r´eelles.
On v´erifie ais´ement que la limite d’une suite si elle existe est unique.
Grˆace `a l’´equivalence des normes, il est possible de remplacer la norme
euclidienne par n’importe quelle autre norme Nsans alterer la d´efinition de
la convergence. Il en est de mˆeme pour toutes les notions que nous allons
introduire dans cette section.
En particulier en utilisant la norme sup, on voit que si pk= (xk,1,···, xk,n)
et p= (x1,···, xn), la convergence de la suite (pk)k≥0vers pest ´equivalente
`a la convergence pour tout i= 1,···, n de la suite des i-`eme coordonn´ees
(xk,i)k≥0vers la coordonn´ee xi.
Une suite (pk)k>0est dite “de Cauchy” si et seulement si pour tout ε > 0,
il existe k0tel que
k, l ≥k0⇒ kpk−plk ≤ ε.
On v´erifie ais´ement que toute suite convergente est de Cauchy. La r´eciproque
est aussi vraie : l’espace IRnest complet ce qui signifie que toute suite de
Cauchy est convergente. Cette propri´et´e se d´eduit ais´ement de la propri´et´e
analogue connue pour IR en utilisant la norme sup. L’int´erˆet pratique de
cette propri´et´e est qu’il n’est ainsi pas n´ecessaire de connaitre la limite d’une
suite pour pouvoir prouver sa convergence.
D´efinition 1.3 Un ensemble U⊂IRnest dit “ouvert” si et seulement si
pour tout x∈Uil existe r > 0tel que B(x, r)⊂U.
Par convention l’ensemble vide ∅est ouvert.
Pour un ensemble Equelconque on dit que xest un point int´erieur `a E
si il existe r > 0 tel que B(x, r)⊂E. L’ensemble des points int´erieur `a E
est appel´e l’int´erieur de Eet est not´e ◦
E. On v´erifie que ◦
Eest le plus grand
ouvert contenu dans Eet que Eest ouvert si et seulement si il est ´egal `a
son int´erieur.
4