TheoremStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck passaudited 2026-09-30

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.

Topological well-definedness of the surface Euler characteristic

Statement

Let $M$ be a compact smooth surface, possibly with smooth boundary, and let $T = (V, E, F, ϕ)$ be a finite face-to-face piecewise $C^{2}$ curvilinear triangulation of $M$ in the sense of Curvilinear face-to-face triangulation. Then there is a number $χ (M)$ , the Euler characteristic of the smooth surface $M$ , independent of the triangulation and of any Riemannian metric used to compute it, with $V - E + F = χ (M) .$ More precisely: any two finite face-to-face piecewise $C^{2}$ curvilinear triangulations of $M$ have the same $V - E + F$ , and in particular triangulations that are geodesic with respect to possibly different smooth Riemannian metrics on $M$ have the same $V - E + F$ . The same intrinsic number is defined for surfaces with boundary, including nonorientable ones, by the finite CW homology of $M$ .

Facts & Assumptions

Given: A compact smooth surface $M$ and a finite face-to-face curvilinear triangulation $T$ as in the Statement.

[F1]

Such a triangulation gives a finite regular CW structure on $M$ with $V$ , $E$ , and $F$ cells in dimensions $0$ , $1$ , and $2$ (A curvilinear triangulation gives a finite regular CW complex).

[F2]

For any finite CW complex $X$ , the alternating cell count equals $\sum_{n} (- 1)^{n} rank H_{n} (X; Z)$ (Euler–Poincare formula for finite CW complexes).

[F3]

The count attached to a supplied triangulation is $χ (M; T) = V - E + F$ (Euler characteristic of a finitely triangulated compact surface).

Proof

technique · compare the count of each triangulation with the singular-homology Euler characteristic of the same space

1.1F1F2given

By [F1], the supplied $T$ gives a finite regular CW structure on $M$ with exactly $V$ zero-cells, $E$ one-cells, and $F$ two-cells. Applying [F2] to this CW structure gives $V - E + F = \sum_{n} (- 1)^{n} rank H_{n} (M; Z)$ . The right side depends only on the underlying topological space $M$ .

2.1F1F2F3step 1.1∎

Apply step 1.1 to any second finite curvilinear triangulation $T^{'}$ . Its alternating count equals the same homology sum, so $χ (M; T) = χ (M; T^{'})$ by [F3]. This argument uses no orientation or metric; it covers nonorientable surfaces with boundary as well as closed and orientable surfaces. A geodesic triangulation, whenever supplied, is a curvilinear one, so it has this same count. Define $χ (M)$ to be the common value.

Source locator

Hatcher, Algebraic Topology, Theorem 2.44, identifies the finite CW alternating cell count with the alternating rank of homology. The curvilinear-to-CW construction is supplied by A curvilinear triangulation gives a finite regular CW complex. This proves metric and triangulation independence directly, including the nonorientable boundary case.

Depends on

Used by

Flat closed oriented surfaces have Euler characteristic zero Corollary
Gauss-Bonnet with smooth boundary Corollary
Metric independence of total Gaussian curvature Corollary
Positive curvature forces positive Euler characteristic Corollary
Wrong boundary orientation reverses the disk term Counterexample
Euclidean annulus boundary signs Example
Euclidean disk boundary curvature Example
Flat torus and zero Euler characteristic Example
Gauss-Bonnet for a spherical cap Example
Total curvature of a round sphere Example
A boundary term is necessary False statement
Gauss-Bonnet alone does not classify surfaces False statement
The raw cell-count triple is a surface invariant False statement
Euler characteristic under finite subcomplex gluing Proposition
Gauss-Bonnet for closed nonorientable surfaces Theorem
Gauss-Bonnet for compact oriented surface regions with boundary and corners Theorem
Global Gauss-Bonnet for closed oriented surfaces Theorem

Dependency tree · two levels

16 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 M. Lee, Riemannian Manifolds: An Introduction to Curvature (1997) (standard reference, not scraped)
Ved Datar, Lectures on Riemannian Geometry (standard reference, not scraped)