Mathématiques, informatique, politique et poésie
Soit \((E, T)\) un espace topologique. Il est dit métrisable si il existe une distance \(d\) sur \(E\) telle que \(T\) soit la topologie induite par \(d\) sur \(E\).
