Alphabeta Math
TheoremStatement: AI-adaptedProof: AI-generatedprecheck passaudited 2026-08-31
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

For a plane domain, the complement, homology, primitive, logarithm, conjugate, conformal, homotopy, and contractibility conditions are equivalent

Statement

Assume the Axiom of Choice. Let ΩC be a complex domain. The following conditions are equivalent.

  1. C^Ω is connected.
  2. Ω is homologically simply connected.
  3. The fundamental group of Ω is trivial.
  4. Every holomorphic function on Ω has a primitive.
  5. For every holomorphic f on Ω and every closed rectifiable contour γ in Ω, γf(z)dz=0.
  6. Every nowhere-zero holomorphic function on Ω has a holomorphic logarithm.
  7. Every nowhere-zero holomorphic function on Ω has a holomorphic square root.
  8. Every harmonic function on Ω has a harmonic conjugate.
  9. Either Ω=C, or Ω is conformally equivalent to D.
  10. Either Ω is homeomorphic to C, or Ω is homeomorphic to D.
  11. Ω is contractible.

Facts & Assumptions

Given: The Axiom of Choice and a complex domain Ω.

[L2]

The global Cauchy page already makes homological simple connectivity equivalent to the primitive clause, the holomorphic-logarithm clause, and the omitted-point primitive clause (Equivalent characterisations of a homologically simply connected domain, The global Cauchy equivalences give primitives, zero periods, and holomorphic logarithms, which in turn give holomorphic roots).

[L3]

On a homologically simply connected domain every nowhere-zero holomorphic function has holomorphic roots of every positive order (A nonvanishing holomorphic function on such a domain has holomorphic roots of every positive order).

[L4]

Homological simple connectivity is equivalent to the global harmonic-conjugate condition (A plane domain is homologically simply connected exactly when every harmonic function has a global conjugate).

[L5]

Under the Axiom of Choice, homological simple connectivity implies the plane-or-disc alternative (A homologically simply connected plane domain is either the plane or conformally equivalent to the disc).

[L6]

A domain homeomorphic to the plane or the disc is contractible (A plane domain homeomorphic to the plane or to the disc is contractible).

[L7]

A contractible space has trivial fundamental group (A contractible space has trivial fundamental group).

[L8]

Trivial fundamental group implies homological simple connectivity for plane domains (A plane domain with trivial fundamental group is homologically simply connected).

[L9]

For a continuous function on a complex domain, having a primitive is equivalent to vanishing on every closed rectifiable contour (For a continuous function on a complex domain, endpoint independence, zero closed-contour integrals, and existence of a primitive are equivalent).

[L10]

Every complex contour missing a point admits a continuous logarithm along that contour (Every contour missing a point admits a continuous logarithm, unique up to a constant in 2πiZ).

[L11]

For a closed contour γ and pγ, one has n(γ,p)=12πiγdzzp, and also n(γ,p)=θ(b)θ(a)2π for every continuous argument θ of γp along γ (The winding number of a closed contour about a point off its trace, The winding number is the increment of a continuous argument divided by 2π).

Proof

technique · direct
1.1

By [L1], conditions 1 and 2 are equivalent. By [L2], conditions 2, 4, and 6 are equivalent. By [L4], conditions 2 and 8 are equivalent. By [L9], conditions 4 and 5 are equivalent.

L1L2L4L9
1.2

Condition 2 implies condition 7 by [L3]. Conversely, assume condition 7. Fix pCΩ and a closed rectifiable contour γ:[a,b]Ω. Applying condition 7 repeatedly to the nowhere-zero holomorphic function zzp produces, for every m1, a nowhere-zero holomorphic function gm on Ω with gm2m=zp. By [L10], the closed contour gmγ admits a continuous logarithm λm; write θm=Imλm. Then 2mλm is a continuous logarithm of γp along γ, so [L11] gives n(γ,p)=2mθm(b)θm(a)2π. Applying [L11] again to gmγ shows that (θm(b)θm(a))/(2π) is an integer. Therefore n(γ,p)2mZ(m1). The only integer divisible by every power of 2 is 0, so n(γ,p)=0. By [L11], this is equivalent to γdzzp=0. Since p and γ were arbitrary and z1/(zp) is continuous on Ω, [L9] makes 1/(zp) admit a primitive on Ω. Thus condition 2 holds by [L2], and conditions 2 and 7 are equivalent.

L3L9L10L11algebra
1.3

Assume condition 2. By [L5], condition 9 follows. Any conformal equivalence is in particular a homeomorphism, so condition 9 implies condition 10. Then [L6] gives condition 11, [L7] gives condition 3, and [L8] returns to condition 2. Thus [L5, L6, L7, L8] 29101132.

2.1

Steps 1.1, 1.2, and 1.3 connect every listed clause to condition 2, so all eleven conditions are equivalent.

step 1.1step 1.2step 1.3

Depends on

Used by

Dependency tree · two levels

77 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources