этот конус. Множество функций, равных
в точке
есть гиперплоскость, и ясно, что пересечение В конуса с этой гиперплоскостью является компактным и метризуемым базисом.
Следовательно, всякая гармоническая функция
на
равная 1 в
т. е. всякая точка из В, является центром тяжести
единственной единичной положительной меры
на В, существенным носителем которой является множество экстремальных элементов, т. е. минимальных функций, равных 1 в
Так как для всех
отображение
линейно и непрерывно, имеем
Поскольку
также является мерой на замыкании в В множества
экстремальных элементов, т. е. на некотором компактном множестве, гомеоморфном части А, ее можно отождествить с мерой на А, существенным носителем которой является множество минимальных точек. Отсюда получается результат Мартина: