Math 2.0

Several complex variables and analytic spaces Definition

Holomorphically convex hull

Builds on Holomorphic function of several variablesCompact setOpen set

Definition

Let D⊆ℂnD \subseteq \C^n be an open set and let K⊆DK \subseteq D be a compact set. The holomorphically convex hull of KK in DD is K^D={z∈D:∣f(z)∣≤sup⁡w∈K∣f(w)∣ for every holomorphic function f on D},\hat K_D = \set{z \in D : \abs{f(z)} \le \sup_{w \in K} \abs{f(w)} \text{ for every holomorphic function } f \text{ on } D}, where holomorphic means holomorphic in the sense of several variables.

Remarks

Always K⊆K^DK \subseteq \hat K_D, and K^D\hat K_D is closed in DD. Using f(z)=zjf(z) = z_j shows that K^D\hat K_D is bounded, and using f=eℓf = e^{\ell} for complex linear ℓ\ell, with ∣eℓ∣=eRe⁡ℓ\abs{e^{\ell}} = e^{\operatorname{Re} \ell}, shows that K^D\hat K_D lies in the convex hull of KK.

Example: D=ℂD = \C and K={∣z∣=1}K = \set{\abs{z} = 1}. By the maximum principle every entire ff satisfies ∣f(z)∣≤max⁡K∣f∣\abs{f(z)} \le \max_K \abs{f} for ∣z∣≤1\abs{z} \le 1, and f(z)=zf(z) = z excludes the points with ∣z∣>1\abs{z} > 1; so K^D\hat K_D is the closed unit disc.

With the same KK and D=ℂ∖{0}D = \C \setminus \set{0}, the function f(z)=1/zf(z) = 1/z is holomorphic on DD and has ∣f(z)∣>1=max⁡K∣f∣\abs{f(z)} > 1 = \max_K \abs{f} for 0<∣z∣<10 < \abs{z} < 1; so here K^D=K\hat K_D = K.

When D=ℂnD = \C^n, the hull coincides with the polynomially convex hull, since entire functions are uniform limits of polynomials on compact sets.

Reading path

To understand this page from the ground up, read these 4 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. Holomorphic function of several variables concept
  3. Open set concept
  4. Holomorphically convex hull definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Function_of_several_complex_variables
About this page
TagQXF1VVQ5M6
URIm2://QXF1VVQ5M6
Kinddefinition
WritingW0 stub
MSC32E05
DefinesHolomorphically convex hull
UsesHolomorphic function of several variables, Compact set, Open set

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.