Formal Definition
A function
with domain is called plurisubharmonic if it is upper semi-continuous, and for every complex line
- with
the function is a subharmonic function on the set
In full generality, the notion can be defined on an arbitrary complex manifold or even a Complex analytic space as follows. An upper semi-continuous function
is said to be plurisubharmonic if and only if for any holomorphic map the function
is subharmonic, where denotes the unit disk.
Read more about this topic: Plurisubharmonic Function
Famous quotes containing the words formal and/or definition:
“The bed is now as public as the dinner table and governed by the same rules of formal confrontation.”
—Angela Carter (1940–1992)
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)