Subdivision invariance of Euler characteristic
ID: subdivision-invariance-of-euler-characteristic
In the illustrated simplicial subdivision, inserting the three edge midpoints turns one filled triangle into four. The counts change from to , but . Splitting a single edge adds one vertex and one edge, so its net contribution is . Adding a diagonal inside a polygonal face adds one edge and one face, giving .
These local accounts explain common refinements. For arbitrary finite simplicial subdivisions, including barycentric subdivision in any dimension, the underlying geometric realization is unchanged. The topological invariance of Euler characteristic therefore guarantees the same alternating count, even when the individual counts change substantially.
New to topics? Read the docs here!