For any p ≥ 1, the metric space (Pp(M), Wp) is separable, and is complete if (M, d) is separable and complete.
Для любого p ≥ 1, метрическое пространство (Pp(М), Wр) является сепарабельным и полным, если (М, d) сепарабельно и полнo.