In mathematics, especially in several complex variables, polynomial convexity is a notion of convexity for compact subsets of complex Euclidean space defined using complex polynomials. It is analogous to ordinary convexity, but instead of separating points by real affine functions or hyperplanes, it uses inequalities involving holomorphic polynomials.
Definition Let K {\displaystyle K} be a compact subset of C n {\displaystyle \mathbb {C} ^{n}} . The polynomially convex hull of K {\displaystyle K} is the set
K ^ = { z ∈ C n : | p ( z ) | ≤ sup w ∈ K | p ( w ) | for every complex polynomial p } . {\displaystyle {\widehat {K}}=\{z\in \mathbb {C} ^{n}:|p(z)|\leq \sup _{w\in K}|p(w)|{\text{ for every complex polynomial }}p\}.}
The set K {\displaystyle K} is called polynomially convex if
K ^ = K . {\displaystyle {\widehat {K}}=K.}
Equivalently, K {\displaystyle K} is polynomially convex if every point outside K {\displaystyle K} can be separated from K {\displaystyle K} by a polynomial: for every z ∉ K {\displaystyle z\notin K} , there is a polynomial p {\displaystyle p} such that
| p ( z ) | > sup w ∈ K | p ( w ) | . {\displaystyle |p(z)|>\sup _{w\in K}|p(w)|.}
Examples Every compact polynomially convex set is equal to the intersection of all polynomial inequalities that contain it. Basic examples include closed polydiscs and many compact convex subsets of C n {\displaystyle \mathbb {C} ^{n}} . If K {\displaystyle K} is the distinguished boundary of the unit polydisc,
K = { ( z 1 , … , z n ) : | z 1 | = ⋯ = | z n | = 1 } , {\displaystyle K=\{(z_{1},\ldots ,z_{n}):|z_{1}|=\cdots =|z_{n}|=1\},}
then its polynomially convex hull is the closed unit polydisc
K ^ = { ( z 1 , … , z n ) : | z j | ≤ 1 , j = 1 , … , n } . {\displaystyle {\widehat {K}}=\{(z_{1},\ldots ,z_{n}):|z_{j}|\leq 1,\ j=1,\ldots ,n\}.}
In one complex variable, polynomial convexity has a particularly simple topological description. If K ⊂ C {\displaystyle K\subset \mathbb {C} } is compact, then K ^ {\displaystyle {\widehat {K}}} is obtained from K {\displaystyle K} by filling in the bounded connected components of C ∖ K {\displaystyle \mathbb {C} \setminus K} . Thus a compact subset of the complex plane is polynomially convex if and only if its complement has no bounded components.
… excerpt ends here. Continue reading the full article.
