В математике , в области классической теории потенциала , полярные множества являются «пренебрежимо малыми множествами», аналогично тому, как множества меры нуль являются пренебрежимо малыми множествами в теории меры .
Множество в (где ) является полярным множеством, если существует непостоянная субгармоническая функция
такой что
Обратите внимание, что существуют и другие (эквивалентные) способы определения полярных множеств, например, путем замены «субгармонического» на «супергармонического» и на в определении выше.
Наиболее важными свойствами полярных множеств являются:
Свойство выполняется почти всюду в множестве S , если оно выполняется на S − E , где E — борелевское полярное множество. Если P выполняется почти всюду, то оно выполняется почти всюду . [1]