Exercice 1, § 1

Topologie générale, IX

Pour qu’une fonction numérique positive $f$ , définie dans $X \times X$ , soit un écart sur $X$ , il faut et il suffit que $f(x, x) = 0$ pour tout $x \in X$ , et

f(x, y) \leq f(x, z) + f(y, z)

quels que soient

x, y, z

dans

X

Solution

Aucune solution n’a encore été écrite.