The absence of -simplices implies absence of every higher-dimensional simplex, since any such simplex would have an -face. Therefore has a CW structure of dimension at most . Give its CW structure with one zero-cell and one -cell. The cellular approximation theorem states that any map of CW complexes is homotopic to a cellular map, which sends each source skeleton into the corresponding target skeleton. For , all target skeletons below dimension are the single zero-cell. The approximating map therefore sends all of there. Hence every given map is null-homotopic. This argument works for an infinite simplicial complex too; it does not require a finite subdivision or a finite collection of image simplices.

Articles by others on the same topic (0)

There are currently no matching articles.