Math 2.0

Several complex variables and analytic spaces Definition

Domain of holomorphy

Builds on Holomorphic function of several variablesOpen setConnected set

Definition

Let D⊆ℂnD \subseteq \C^n be an open set. Then DD is a domain of holomorphy if there are no nonempty open sets U1,U2⊆ℂnU_1, U_2 \subseteq \C^n such that:

  1. U2U_2 is connected and U2⊈DU_2 \not\subseteq D;
  2. U1⊆D∩U2U_1 \subseteq D \cap U_2;
  3. for every holomorphic function ff on DD there is a holomorphic function gg on U2U_2 with f=gf = g on U1U_1.

Remarks

Example: every convex open set D⊊ℂnD \subsetneq \C^n is a domain of holomorphy. For a boundary point pp there is a complex linear function ℓ\ell with Re⁡ℓ(z)<Re⁡ℓ(p)\operatorname{Re} \ell(z) < \operatorname{Re} \ell(p) for all z∈Dz \in D, and fp(z)=1/(ℓ(z)−ℓ(p))f_p(z) = 1/(\ell(z) - \ell(p)) is holomorphic on DD and unbounded near pp. Suppose U1,U2U_1, U_2 satisfied the three clauses, and let WW be a component of D∩U2D \cap U_2 that meets U1U_1. Since U2U_2 is connected and not contained in DD, it contains a boundary point pp of WW, and pp lies on the boundary of DD. The extension gg of fpf_p equals fpf_p on WW by the identity theorem, and gg is continuous at pp. So fpf_p is bounded near pp on WW, which is a contradiction.

Non-example: D={z∈ℂ2:0<∣z∣<1}D = \set{z \in \C^2 : 0 < \abs{z} < 1}. Take U2={∣z∣<1}U_2 = \set{\abs{z} < 1} and U1=DU_1 = D. Clauses 1 and 2 hold, and clause 3 holds by Hartogs's extension theorem with K={0}K = \set{0}.

Every open subset of ℂ\C is a domain of holomorphy.

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. Connected set concept
  2. Holomorphic function of several variables concept
  3. Open set concept
  4. Domain of holomorphy definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Domain_of_holomorphy, Definition
About this page
Tag6G0079XRKK
URIm2://6G0079XRKK
Kinddefinition
WritingW1 stated
MSC32D05, 32T05
DefinesDomain of holomorphy
UsesHolomorphic function of several variables, Open set, Connected set

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge instance_of in: one example (0 of 1)
  • edge not_instance_of in: one non-example that fails one clause (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.