Polar set (potential theory)

{{Nofootnotes|date=February 2009}}

{{Refimprove|date=February 2009}}

In mathematics, in the area of classical potential theory, polar sets are the "negligible sets", similar to the way in which sets of measure zero are the negligible sets in measure theory.

Definition

A set Z in \R^n (where n\ge 2) is a polar set if there is a non-constant subharmonic function

:u on \R^n

such that

:Z \subseteq \{x \in \R^n: u(x) = -\infty\}.

Note that there are other (equivalent) ways in which polar sets may be defined, such as by replacing "subharmonic" by "superharmonic", and -\infty by \infty in the definition above.

Properties

The most important properties of polar sets are:

  • A singleton set in \R^n is polar.
  • A countable set in \R^n is polar.
  • The union of a countable collection of polar sets is polar.
  • A polar set has Lebesgue measure zero in \R^n.

Nearly everywhere

A property holds nearly everywhere in a set S if it holds on SE where E is a Borel polar set. If P holds nearly everywhere then it holds almost everywhere.Ransford (1995) p.56

See also

References

{{reflist}}

  • {{cite book | first=Joseph L. | last=Doob | authorlink=Joseph L. Doob | title=Classical Potential Theory and Its Probabilistic Counterpart | publisher=Springer-Verlag | location=Berlin Heidelberg New York | isbn=3-540-41206-9 | zbl=0549.31001 | series=Grundlehren der Mathematischen Wissenschaften | volume=262 | year=1984 }}
  • {{cite book | first=L. L. | last=Helms | year=1975 | title=Introduction to potential theory | publisher=R. E. Krieger | isbn=0-88275-224-3 }}
  • {{cite book | last=Ransford | first=Thomas | title=Potential theory in the complex plane | series=London Mathematical Society Student Texts | volume=28 | location=Cambridge | publisher=Cambridge University Press | year=1995 | isbn=0-521-46654-7 | zbl=0828.31001 | url-access=registration | url=https://archive.org/details/potentialtheoryi0000rans }}