Collapse (topology)

Definition

Let ${\displaystyle K}$ be an abstract simplicial complex.

Suppose that ${\displaystyle \tau ,\sigma }$ are two simplices of ${\displaystyle K}$ such that the following two conditions are satisfied:

1. ${\displaystyle \tau \subseteq \sigma ,}$ in particular ${\displaystyle \dim \tau <\dim \sigma ;}$
2. ${\displaystyle \sigma }$ is a maximal face of ${\displaystyle K}$ and no other maximal face of ${\displaystyle K}$ contains ${\displaystyle \tau ,}$

then ${\displaystyle \tau }$ is called a free face.

A simplicial collapse of ${\displaystyle K}$ is the removal of all simplices ${\displaystyle \gamma }$ such that ${\displaystyle \tau \subseteq \gamma \subseteq \sigma ,}$ where ${\displaystyle \tau }$ is a free face. If additionally we have ${\displaystyle \dim \tau =\dim \sigma -1,}$ then this is called an elementary collapse.

A simplicial complex that has a sequence of collapses leading to a point is called collapsible. Every collapsible complex is contractible, but the converse is not true.

This definition can be extended to CW-complexes and is the basis for the concept of simple-homotopy equivalence.