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.
An interval has nonzero Euler characteristic despite being odd-dimensional
Statement refuted
Assume the Axiom of Choice (The Axiom of Choice) for the applications of Poincare-Hopf below.
The closedness hypothesis in Closed odd-dimensional manifolds have zero Euler characteristic cannot be dropped: the closed interval (Intervals of : the nine order-convex forms, nondegeneracy, and length) is a compact smooth -manifold with boundary, of odd dimension, and because is contractible, so and all higher rational homology vanishes (Contractible nonempty spaces have the homology of a point, Euler characteristic of a compact manifold). The boundary form Poincare-Hopf with outward-pointing boundary is consistent with this: the outward field has its only zero at , nondegenerate with linearization and index (The index of a nondegenerate vector-field zero), so its index sum equals , exactly as the outward-boundary formula requires.
Facts & Assumptions
Given: The closed interval as a compact smooth -manifold with boundary (Intervals of : the nine order-convex forms, nondegeneracy, and length), and the field .
A contractible nonempty space has the rational homology of a point, so , all higher groups vanish, and (Contractible nonempty spaces have the homology of a point, Euler characteristic of a compact manifold).
The field is strictly outward on at the endpoint (where , pointing out of ) and strictly outward at the endpoint (where , pointing out of ); its only zero is , nondegenerate with index (The index of a nondegenerate vector-field zero, Inward, outward, and boundary-tangent vectors).
The outward-boundary form of Poincare-Hopf applies to this smooth field and gives , i.e. (Poincare-Hopf with outward-pointing boundary).
Counterexample
The interval has dimension one, which is odd, but by [F1] its Euler characteristic is ; thus the conclusion of the odd-dimensional vanishing fails as soon as the closedness hypothesis is dropped.
The standard outward field has the single nondegenerate zero of index by [F2], so its index sum is and the outward-boundary formula remains true here; the interval therefore refutes only the closedness hypothesis of the odd-dimensional corollary, not the boundary form itself.
Depends on
- Closed odd-dimensional manifolds have zero Euler characteristic
- Euler characteristic of a compact manifold
- Contractible nonempty spaces have the homology of a point
- Poincare-Hopf with outward-pointing boundary
- Inward, outward, and boundary-tangent vectors
- The index of a nondegenerate vector-field zero
- Intervals of $\mathbb{R}$: the nine order-convex forms, nondegeneracy, and length
- The Axiom of Choice
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
49 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
- John W. Milnor, Topology from the Differentiable Viewpoint (complete 76-page PDF, including the appendix Classifying 1-manifolds) (standard reference, not scraped)
- Victor Guillemin and Alan Pollack, Differential Topology (Prentice-Hall 1974; complete PDF) (standard reference, not scraped)