Skip to main content
Post Made Community Wiki
Source Link

Another reason you might not see the word ANR these days is that compact finite-dimensional spaces are ANRs if and only if they are locally contractible. Thus, "finite-dimensional and local contractible" can replace ANR in the statement of a theorem (and might help the result appeal to a wider audience).

In comparison geometry, for instance, the existence of a contractibility function takes the place of the ANR condition.

Borsuk conjectured that compact ANRs should have the homotopy types of finite simplicial complexes. Chapman and West proved that they even have preferred simple-homotopy types. This is part of the "topological invariance of torsion" package and is quite a striking result. Every compact, finite-dimensional, locally contractible space has a preferred finite combinatorial structure that is well-defined up to (even local!) simple-homotopy moves.