P_(\tau)(X) is the space of probability \tau-smooth measures. Attached file is T.Banakh's paper "The topology of spaces of probability measures I". In the paper theorem 1.15 states that d(P_(\tau)(X))=d(X). Inequality d(P_(\tau)(X))or=d(X). Or it is evident fact that I didn't realise?