Simplicial cone chain contraction
ID: simplicial-cone-chain-contraction
In an augmented chain complex of a simplex with vertices , put and when is absent, and zero when it is present. Direct expansion of the boundary operator gives . This proves that every positive-degree chain cycle is a chain boundary, without invoking cellular homology.
New to topics? Read the docs here!