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.
Equal Euler characteristic without homeomorphism
Statement
The torus and the Klein bottle are nonempty compact connected boundaryless surfaces with equal Euler characteristic but are not homeomorphic: the torus is orientable and the Klein bottle is nonorientable. Thus Euler characteristic alone does not determine the homeomorphism class of a compact connected surface. No choice axiom is used.
Facts & Assumptions
Given: The two one-polygon schemas of [L1] and [L2], their realizations, and an integral orientation of the torus.
The square schema with boundary word realizes the torus , is a connected surface schema, is orientable, and has ; a connected surface schema has nonempty compact connected boundaryless realization (Torus commutator polygon, Polygonal schemas and paired boundary edges).
The square schema with boundary word realizes the Klein bottle of The Klein bottle as a square quotient, is a connected surface schema, is nonorientable, and has (Klein bottle as two crosscaps).
An integral orientation of a boundaryless -manifold is a continuous section of the orientation local system whose value generates the fiber at every point; each fiber is infinite cyclic, the sections over the interior of a closed coordinate ball are basic open sheets, and every point has a neighborhood on which an orientation is induced by a single generator in one such ball group (Orientation local system and orientation cover, R-orientation of a topological manifold).
A continuous map of pairs induces a map of relative homology groups in every degree, identities induce identities and composites induce composites; hence a homeomorphism of pairs induces an isomorphism in every degree, with inverse the isomorphism induced by the inverse homeomorphism (Functoriality of relative homology).
Proof
Given: The torus schema, the Klein bottle schema and an integral orientation of .
The torus: by [L1] the quotient of the square by the pairings of the word is homeomorphic to and is a connected surface schema, so is a nonempty compact connected boundaryless surface, it is orientable, and its Euler characteristic is .
The Klein bottle: by [L2] the quotient of the square by the pairings of the word is the Klein bottle and is a connected surface schema, so is a nonempty compact connected boundaryless surface, it is nonorientable, and .
Orientability is a homeomorphism invariant. Let be a homeomorphism of boundaryless -manifolds and let be an integral orientation of . For the map is a homeomorphism of pairs , so by [L4] it induces an isomorphism , and generates the infinite cyclic fiber at because generates its fiber and an isomorphism carries generators to generators. For continuity let : by [L3] there are a closed coordinate ball around in and a generator of with on ; applying [L4] to the homeomorphism of pairs and then to for gives , so on the ball interior the section equals , which is a basic generator section and hence continuous. Thus is an integral orientation of , and a homeomorphism transports orientability from its target to its source.
Conclusion. If there were a homeomorphism , then applying step 1.3 to and an integral orientation of , which exists by [L1], would produce an integral orientation of , contradicting that is nonorientable by [L2]. Hence and are not homeomorphic, while both are nonempty compact connected boundaryless surfaces with by [L1] and [L2]. Therefore equal Euler characteristic does not determine the homeomorphism class of a compact connected surface. Only the two explicit schema computations, the given orientation data and the functoriality of relative homology are used, so no choice principle is used.
Remarks
The two surfaces are the standard witness that Euler characteristic alone is insufficient: the orientability class distinguishes them, and the later classification theorem proves that orientability together with the Euler characteristic does determine a compact connected surface. The counterexample deliberately avoids the classification theorem, in the same way that Projective plane crosscap polygon avoids it for the projective plane.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
30 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
- Gallier and Xu, A Guide to the Classification Theorem for Compact Surfaces (standard reference, not scraped)
- Richard Koch, Classification of Surfaces (University of Oregon course notes, 2005) (standard reference, not scraped)