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.
Riemann sums of the Cauchy integral give rational approximation
Statement
Let , where is compact and is open, and let be holomorphic. Then for every there is a rational function whose poles lie on a finite set contained in and such that
Facts & Assumptions
Given: A compact set , an open neighbourhood of , a holomorphic function , and a tolerance .
There is a polygonal cycle with and for every (A square-grid cycle enclosing a compact set).
A cycle null-homologous in an open set satisfies the global Cauchy formula there (Cauchy's integral formula for a null-homologous cycle, Null-homologous cycles and homologous cycles in an open set).
A continuous map on a compact metric space is uniformly continuous, and the continuous image of a compact space is compact (Heine-Cantor: a continuous map from a compact metric space to any metric space is uniformly continuous, The image of a compact metric space under a continuous map is compact, and so is the image of any compact subset).
Proof
Choose as in [L1]. Because on and , the cycle is null-homologous in and [L2] gives
Decompose into finitely many oriented line segments . For each , the function is continuous on the compact set , because . By [L3], each is uniformly continuous there, so a fine enough Riemann sum approximates uniformly in .
Summing those edgewise Riemann sums gives a rational function of the form with sample points . Choosing the mesh so that the total edgewise error is below and using step 1.1 yields .
Depends on
- A square-grid cycle enclosing a compact set
- Cauchy's integral formula for a null-homologous cycle
- Null-homologous cycles and homologous cycles in an open set
- Heine-Cantor: a continuous map from a compact metric space to any metric space is uniformly continuous
- The image of a compact metric space under a continuous map is compact, and so is the image of any compact subset
Used by
Dependency tree · two levels
35 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
- J. Lebl, Guide to Cultivating Complex Analysis, Lemma 9.2.1 (standard reference, not scraped)
- M. Weber, Complex Analysis, Proposition 4.4.1 (standard reference, not scraped)