В общем, есть такая задачка (из Богачева Смолянова)
Пусть

компакт. Показать, что крайние точки в единичном шаре

это функции со значениями в

, а крайние точки в единичном шаре

это меры

и

.
С первой частью я разобрался (нужно было лишь вспомнить лемму Урысона). Да, кстати, наверное все-таки в задаче хочется иметь дело с хаусдорфовыми компактами, иначе так особо не пошалить.
Начинается свистопляска со второй частью. Во-первых, как можно пощупать

? Почитал
англовики (пункт 3) и понял, что оказывается, это меры Радона на

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

(возможно, знакопеременной) отличной от

с единичной нормой всегда можно подыскать такую маленькую меру

, что

будет также не более чем единичной нормы (ну, в случае, если норма меры

1 -

, то все просто, ибо мы возьмем малую меру, нормы

и будет нам счастье).
Хочется доказать это утверждение как-то красиво. А у меня получается какой-то дурацкий разбор случаев. Если у нас есть хотя бы две точки, в которых меры не нулевые (так сказать атомы), то тут опять все просто (из одной точки вычтем, к другой прибавим и наоборот). Если же у нас есть не более одного атома, то нужно подыскать область из

, по которой интеграл не нулевой (и не включает этот атом, если он есть). Ну и далее как-нибудь аккуратно это продолжить.
В общем, мои рассуждения навевают на меня большое уныние и я сомневаюсь, что доведу их верно до конца. Как можно сделать лучше?