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.
A connected spherical complement forces every cycle in the domain to be null-homologous
Statement
Let be a complex domain. If is connected, then every cycle with trace in is null-homologous in .
Facts & Assumptions
Given: A complex domain with connected spherical complement, and a cycle whose trace lies in .
The index of a cycle is locally constant off its trace and vanishes on all sufficiently large points of the plane (The index of a cycle is locally constant off its trace and vanishes far from it).
A cycle with trace in an open set is null-homologous there exactly when its index vanishes at every point of the complement of that open set (Null-homologous cycles and homologous cycles in an open set).
Proof
Since , the index is defined for every . By [L1], the function is locally constant on , and there is with whenever . Thus the subset [given, L1, construct] contains together with a punctured neighborhood of in the sphere.
The set is open in by the local constancy from [L1], and its complement in is open for the same reason. Since is connected and is nonempty by step 1.1, it follows that [step 1.1, L1, algebra] Therefore for every .
By [L2], the vanishing from step 2.1 is exactly the statement that is null-homologous in .
Depends on
Used by
Dependency tree · two levels
30 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
- L. V. Ahlfors, Complex Analysis, 3rd ed., Ch. 4, §§4.2-4.3 (standard reference, not scraped)
- J. Lebl, Guide to Cultivating Complex Analysis, Ch. 4, §4.3 (standard reference, not scraped)