2) для любого индекса
функция
есть потенциал Грина положительной меры
с носителем, содержащимся в В.
Так как ядро Грина полунепрерывно снизу, симметрично и регулярно, можно применить доказанную теорему сходимости. Таким образом, из семейства мер
можно извлечь последовательность
грубо сходящуюся к мере
потенциал Грина которой
удовлетворяет неравенствам
равенства здесь имеют место всюду, исключая, быть может, некоторое
-устранимое изнутри множество, внутренняя емкость которого, следовательно, равна нулю.
Множество точек, в которых
отличается от
является, очевидно, борелевским. Согласно теореме
-измеримости, это множество
-измеримо, а следовательно, имеет внешнюю емкость нуль. Таким образом, нижняя огибающая
совпадает с потенциалом
всюду, исключая, быть может, некоторое полярное множество (гл. V, § 3), и
есть квазисупергармоническая функция в открытом шаре В.
Замечание. Можно было бы применить только теорему сходимости для компактных пространств к В и к ядру Грина для В.