Soit et deux sous-ensembles compacts de , et soit . On définit .
1
Montrer que est une métrique sur .
2
Montrer que est un espace métrique complet.
Soit et deux sous-ensembles compacts de , et soit . On définit .
Montrer que est une métrique sur .
Montrer que est un espace métrique complet.