´
Echauffement : topologie de Rn
D´
efinition : distance
Soit Eun ensemble non vide. On dit qu’une application
d:E×E→R+,d: (x,y)7→ d(x,y)est une distance sur Esi
elle v´
erifie les trois axiomes suivants :
D1 (s´
eparation) ∀(x,y)∈E×E,{x=y} ⇔ {d(x,y) = 0};
D2 (sym´
etrie) ∀(x,y)∈E×E,d(x,y) = d(y,x);
D3 (in´
egalit´
e triangulaire)
∀(x,y,z)∈E×E×E,d(x,y)≤d(x,z) + d(z,y).
D´
efinition
On appelle espace m´
etrique tout couple (E,d)o`
uE6=/0 est un
espace vectoriel et dest une distance.