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!