title: Espace métrique faible
text: # Espace métrique faible
  
  En mathématiques, un espace métrique faible (ou espace hémi-métrique) généralise la notion d'espace métrique et même d'espace pseudo-métrique.
  
  ## Définition
  
  Une distance faible sur un ensemble $E$ est une fonction
  
      $\mathrm {d} :E\times E\to \mathbb {R} _{+}$
  
  telle que pour tout $x,y,z\in E$,
  
  * $\mathrm {d} (x,x)=0$ ;
  * $\mathrm {d} (x,z)\leq \mathrm {d} (x,y)+\mathrm {d} (y,z)$ (inégalité triangulaire).
  
  Un espace métrique faible est alors un couple $(E,\mathrm {d} )$ formé d'un ensemble $E$ et d'une distance faible $\mathrm {d}$ sur $E$.
  
  ### Exemples
  
  C'est le cas des distances dans un réseau comportant des segments à sens unique, et généralement dans tout graphe orienté.
  
  ## Cas particuliers
  
  * Une distance faible symétrique est un écart.
  * Une distance faible qui vérifie la propriété de séparation est une quasi-distance.
  * Une distance faible qui vérifie à la fois ces deux propriétés est une distance.
  
  ## Propriétés topologiques
  
  Une distance faible induit une topologie sur $E$. Une base d'ouverts de cette topologie est donnée par l'ensemble :
  
      $\{B_{r}\left(x\right):x\in E,r>0\},$
  
  où $B_{r}\left(x\right)=\{y\in E:\mathrm {d} (x,y)<r\}$ est la boule ouverte de rayon $r$ centrée en $x$. En particulier, tout point de $E$ admet une base dénombrable de voisinages.
  
  