En pratique, on n'utilisera que la norme euclidienne et sa distance associée.
Définition :
est une norme
La norme d'un vecteur
est souvent notée ![]()
Remarque : Même si on parle souvent de la norme d'un vecteur, on verra qu'il y a une infinité de normes différentes...
Exemple :
a une structure euclidienne canonique, et si
,

cette norme est appelée norme euclidienne. Sauf mention contraire, c'est elle qu'on utilise.
Définition :
est unedistance ![\begin{displaymath}\Leftrightarrow\left\{ \begin{array}[c]{l} d\left( u,v\righ... ...ftrightarrow u=v\text{ (s\'{e}paration)} \end{array} \right. \end{displaymath}](img20.png)
Théorème :
est une distance.
Preuve.
prouve la symétrie.
prouve l'inégalité triangulaire.
La séparation de la norme prouve enfin la séparation de la distance associée. ![]()
Toute norme induit donc une distance, par contre, toute distance ne provient pas d'une norme.
On peut citer par exemple la distance ultramétrique :
pour
et
.
Encore une fois, sauf mention contraire, on utilise la distance induite par la norme euclidienne.
Signalons que dans tout le reste du chapitre, on a souvent préféré la notion de norme, plus habituelle.
Cependant, on peut remplacer dans les expressions en
les normes par les distances correspondantes.
Définition : Une boule ouverte de centre
et de rayon
est :
![]()
Définition : Une boule fermée de centre
et de rayon
est :
![]()
Définition : Une partie bornée de
est une partie de
incluse dans une certaine boule (ouverte ou fermée).
Définition : Une partie ouverte ou un ouvert de
est une partie
telle que
![]()
C'est à dire que tout point de
est le centre d'une boule ouverte, de rayon non nul, complètement incluse dans
.
Définition : Une partie fermée ou un fermé de
est une partie telle que son complémentaire
soit un ouvert.
Remarque : Une boule ouverte est un ouvet, une boule fermée est un fermé.
et
sont ouverts et fermés.