In mathematics, in the area of potential theory, a pluripolar set is the analog of a polar set for plurisubharmonic functions.
Definition Let G ⊂ C n {\displaystyle G\subset {\mathbb {C} }^{n}} and let f : G → R ∪ { − ∞ } {\displaystyle f\colon G\to {\mathbb {R} }\cup \{-\infty \}} be a plurisubharmonic function which is not identically − ∞ {\displaystyle -\infty } . The set
P := { z ∈ G ∣ f ( z ) = − ∞ } {\displaystyle {\mathcal {P}}:=\{z\in G\mid f(z)=-\infty \}}
is called a complete pluripolar set. A pluripolar set is any subset of a complete pluripolar set. Pluripolar sets are of Hausdorff dimension at most 2 n − 2 {\displaystyle 2n-2} and have zero Lebesgue measure. If f {\displaystyle f} is a holomorphic function then log | f | {\displaystyle \log |f|} is a plurisubharmonic function. The zero set of f {\displaystyle f} is then a pluripolar set if f {\displaystyle f} is not the zero function.
See also Skoda-El Mir theorem
References
Steven G. Krantz. Function Theory of Several Complex Variables, AMS Chelsea Publishing, Providence, Rhode Island, 1992. This article incorporates material from pluripolar set on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.
