Math 2.0

Several complex variables and analytic spaces Definition

Polynomially convex set

Builds on Compact setPolynomials in several variables

Definition

Let K⊆ℂnK \subseteq \C^n be a compact set. Its polynomially convex hull is K^={z∈ℂn:∣p(z)∣≤max⁡w∈K∣p(w)∣ for every polynomial p∈ℂ[z1,…,zn]},\hat K = \set{z \in \C^n : \abs{p(z)} \le \max_{w \in K} \abs{p(w)} \text{ for every polynomial } p \in \C[z_1, \dots, z_n]}, where the polynomials are the polynomials in several variables with complex coefficients. The set KK is polynomially convex if K^=K\hat K = K.

Remarks

Always K⊆K^K \subseteq \hat K, and K^\hat K is compact. It coincides with the holomorphically convex hull of KK in D=ℂnD = \C^n, because entire functions are uniform limits of their Taylor polynomials on compact sets.

Example: a compact convex set KK is polynomially convex. If z∉Kz \notin K, there is a complex linear function ℓ\ell with Re⁡ℓ(z)>max⁡KRe⁡ℓ\operatorname{Re} \ell(z) > \max_K \operatorname{Re} \ell. Then f=eℓf = e^{\ell} satisfies ∣f(z)∣>max⁡K∣f∣\abs{f(z)} > \max_K \abs{f}, and the Taylor polynomials of ff converge to ff uniformly on K∪{z}K \cup \set{z}, so some polynomial pp has ∣p(z)∣>max⁡K∣p∣\abs{p(z)} > \max_K \abs{p}.

Non-example: the unit circle K={∣z∣=1}K = \set{\abs{z} = 1} in ℂ\C. By the maximum principle, ∣p(0)∣≤max⁡K∣p∣\abs{p(0)} \le \max_K \abs{p} for every polynomial pp, so 0∈K^0 \in \hat K but 0∉K0 \notin K.

For n=1n = 1, a compact set K⊆ℂK \subseteq \C is polynomially convex exactly when ℂ∖K\C \setminus K is connected.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Compact set concept
  2. Polynomials in several variables concept
  3. Polynomially convex set definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Function_of_several_complex_variables
About this page
TagG3CKBSCM6A
URIm2://G3CKBSCM6A
Kinddefinition
WritingW0 stub
MSC32E20
DefinesPolynomially convex set
UsesCompact set, Polynomials in several variables

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.