1: $ is a metrization of the topology  of weak convergence on the space $