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 closed one-form on the punctured plane with nonzero period
Statement refuted
Every closed one-form on every connected open domain in is globally exact.
Facts & Assumptions
Given: Here closed means by the coordinate formula, and exact means for a globally defined scalar function on the stated open domain.
A nonsingular Pfaff one-form and its horizontal paths: the coordinate formula for and the coordinate action of a one-form.
Scalar line integrals with respect to arc length and vector-field line integrals: for and a piecewise- curve , .
The gradient theorem: the line integral of a gradient is the endpoint increment: if on an open set, its line integral along is .
A continuous function on is Riemann integrable, by Heine-Cantor and Riemann's criterion and Newton–Leibniz needs only continuity on , differentiability on , and a Riemann-integrable extension of the interior derivative: continuous integrands are Riemann integrable, and .
Counterexample
Let and with and . The domain is open since each nonzero point has a ball avoiding the origin. The coefficient vector is nonzero at every point of . The domain is path-connected: if the segment joining avoids , use that segment; if it contains , then are collinear. Writing , take ; it is nonzero and perpendicular to , so and are linearly independent pairs and the segments and avoid .
Write . For sufficiently small , direct difference quotients give , , and : for example, and , while the other two quotients are and . These limits are continuous on , so ; the cross partials agree and the coordinate definition [F1] gives .
The unit circle , , lies in the domain and uses the form defined in step 1.1. Along it , hence [F2] gives by [F4].
The closedness is proved in step 2.1. If globally on , then for the corresponding vector field, and [F3] would give , contradicting step 2.2. Thus is closed but not globally exact. This does not assert that every possible global integrating factor is absent.
Depends on
A nonsingular Pfaff one-form and its horizontal paths
Scalar line integrals with respect to arc length and vector-field line integrals
The gradient theorem: the line integral of a gradient is the endpoint increment
A continuous function on is Riemann integrable, by Heine-Cantor and Riemann's criterion
Newton–Leibniz needs only continuity on , differentiability on , and a Riemann-integrable extension of the interior derivative