In mathematics, especially algebraic topology, an Euclidean neighborhood retract or a ENR for short is a topological space that is (or homeomorphic to) a subset of a Euclidean space , some n, that is a retract of some neighborhood of the subset.
By definition, a topological space X is called a Euclidean neighborhood retract or an ENR if there is an embedding for some n such that is a retract of some neighborhood of it; i.e., there is a map such that is the identity (such is called a retraction). It follows that an ENR is necessarily locally compact and locally contractible in geometric topology sense.
The fundamental result here is the following
The theorem implies in particular that the above retract map r in the definition is actually not part of the data of the definition of an ENR. The theorem also implies many familiar spaces are ENRs; e.g., a topological manifold, a finite CW-complex, a real semi-algebraic set are all ENRs. A subset of that is not locally compact, like , is a non-example of an ENR.