Здравствуйте!

- хаусдорфово. Если для любого открытого покрытия

существует подчинённое ему разбиение единицы

, то

- паракомпактно. У Виро Нецветаева (18.Yx) написано, что доказательство очевидно, но я так сразу не понял: для паракомпактности требуется, чтобы во всякое открытое покрытие можно было вписать открытое локально конечное покрытие. Но носители

функций из разбиения единицы дают только замкнутое вписанное локально конечное покрытие. Посмотрел у Энгелькинга (лемма 5.1.8), там доказательство совсем не очевидно. Но у Энгелькинга не предполагается хаусдорфовость

. Вопрос: сильно ли облегчает жизнь хаусдорфовость, т.е. можно ли, например, взять в качестве искомого покрытия внутренности носителей?