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.
The winding number is the circulation of the planar vortex field divided by
Remark
The hypothesis of this remark is piecewise , not merely rectifiable. The real line integrals it quotes are those of Scalar line integrals with respect to arc length and vector-field line integrals, which are defined through a derivative of the path; a general complex contour is only rectifiable and has no derivative, so the identification below is asserted only for a piecewise- closed contour . Read the plane as through as the Euclidean plane and as a normed real algebra: what the identification preserves and write for the corresponding planar path.
The split. With , and the modulus as in Real and imaginary parts, complex conjugation, and modulus, the identity turns the integrand into
and For piecewise-C1 contours the Riemann–Stieltjes integral agrees with the parametric complex integral and the published real line integrals identifies the two real parts of with the vector line integrals of
along .
The first field contributes nothing. is the gradient of on the punctured plane, so The gradient theorem: the line integral of a gradient is the endpoint increment evaluates its line integral as , which is for a closed path; the same conclusion is what Conservative fields are path-independent and have zero integral around every closed path records for a conservative field.
The second field is the vortex field. is the field on whose partial derivatives satisfy the closedness condition of Exact and closed C1 vector fields while admitting no global potential there. Since by The winding number of a closed contour about a point off its trace, the circulation of around is .
What the two statements share. A nonzero winding number and the failure of to be exact on the punctured plane are the same fact recorded in two vocabularies: if had a potential on the punctured plane, then The gradient theorem: the line integral of a gradient is the endpoint increment would force its circulation, and hence , to vanish around every closed piecewise- path there; A circle traversed times has winding number inside and outside exhibits circles with index about the origin for every integer . That exactness needs more than closedness on a domain of this shape is the point recorded in Closedness is local, exactness is global, and a domain hypothesis cannot be omitted, and Every exact C1 vector field is closed is the implication that does hold on every open set.
Depends on
- The winding number of a closed contour about a point off its trace
- A circle traversed $k$ times has winding number $k$ inside and $0$ outside
- Exact and closed C1 vector fields
- Every exact C1 vector field is closed
- Closedness is local, exactness is global, and a domain hypothesis cannot be omitted
- Scalar line integrals with respect to arc length and vector-field line integrals
- For piecewise-C1 contours the Riemann–Stieltjes integral agrees with the parametric complex integral and the published real line integrals
- Conservative fields are path-independent and have zero integral around every closed path
- The gradient theorem: the line integral of a gradient is the endpoint increment
- $\mathbb C=\mathbb R[x]/(x^2+1)$ as the Euclidean plane and as a normed real algebra: what the identification preserves
- Real and imaginary parts, complex conjugation, and modulus
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
64 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 §2.1 (standard reference, not scraped)