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:
“That anger can be expressed through words and non-destructive activities; that promises are intended to be kept; that cleanliness and good eating habits are aspects of self-esteem; that compassion is an attribute to be prized—all these lessons are ones children can learn far more readily through the living example of their parents than they ever can through formal instruction.”
—Fred Rogers (20th century)
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.”
—François, Duc De La Rochefoucauld (1613–1680)