Alphabeta Math
CounterexampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generated
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 [0,1] (Intervals of R: the nine order-convex forms, nondegeneracy, and length) is a compact smooth 1-manifold with boundary, of odd dimension, and χ([0,1])=1≠0, because [0,1] is contractible, so H0([0,1];Q)≅Q 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 X(t)=t−12 has its only zero at t=12, nondegenerate with linearization 1 and index +1 (The index of a nondegenerate vector-field zero), so its index sum 1 equals χ([0,1]), exactly as the outward-boundary formula requires.

Facts & Assumptions

Given: The closed interval [0,1] as a compact smooth 1-manifold with boundary (Intervals of R: the nine order-convex forms, nondegeneracy, and length), and the field X(t)=t−12.

[F1]

A contractible nonempty space has the rational homology of a point, so H0([0,1];Q)≅Q, all higher groups vanish, and χ([0,1])=1 (Contractible nonempty spaces have the homology of a point, Euler characteristic of a compact manifold).

[F2]

The field X(t)=t−12 is strictly outward on ∂[0,1] at the endpoint 1 (where X(1)=12>0, pointing out of [0,1]) and strictly outward at the endpoint 0 (where X(0)=−12<0, pointing out of [0,1]); its only zero is t=12, nondegenerate with index sign⁡det⁡(1)=+1 (The index of a nondegenerate vector-field zero, Inward, outward, and boundary-tangent vectors).

[F3]

The outward-boundary form of Poincare-Hopf applies to this smooth field and gives ∑pind⁡pX=χ([0,1]), i.e. 1=1 (Poincare-Hopf with outward-pointing boundary).

Counterexample

1.1F1algebra

The interval [0,1] has dimension one, which is odd, but by [F1] its Euler characteristic is χ([0,1])=1≠0; thus the conclusion of the odd-dimensional vanishing fails as soon as the closedness hypothesis is dropped.

2.1F2F3step 1.1algebra∎

The standard outward field X(t)=t−12 has the single nondegenerate zero t=12 of index +1 by [F2], so its index sum is 1=χ([0,1]) 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

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