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
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.