ANR is locally contractible Recall that a space $X$ is contractible if there exists a homotopy $h:X\times [0,1]\to X$ such that $h$ is equal to the identity map on $X\times\{0\}$ and $h$ is constant on $X\times\{1\}$.
Please help me out since I'm stuck with this question, namely, why each ANR is locally contractible. It seems that I can prove that each AR is contractible this way: Consider $A = X\times \{0\} \cup X\times \{1\} \cup \{x_0\}\times [0,1] \subset X\times [0,1]$, where $x_0$ is any point from $X$. This set is closed in $X\times [0,1]$. Define $h: A\to X$ by $h|_{X\times \{0\}} = id_X$, $h|_{X\times \{1\}} = x_0$, $h|_{\{x_0\}\times [0,1]} = x_0$. This function is continuous, we can extend it (since being an AR is equivalent to being an AE) to the whole space $X\times [0,1]$. And this will be the required homotopy that squeezes $X$ into a point ($x_0$).
But similar approach seems not to work in case of an ANR. Because here I get a neighborhood $V$ of $A$ in $X\times [0,1]$ and an extension of $h$ onto this neighborhood. I can of course find an open $U\subset X$ such that $x_0\times [0,1] \subset U\times [0,1]\subset V$ (where $x_0$ is the point for which I want to find a contractible neighborhood) and consider the restriction of my extension onto $U\times [0,1]$, but the problem is that this map is not necessarily a map from $U\times [0,1]$ to $U$ (the range of my restricted extension can be larger than $U$).
Can anybody please give a hint on what's going on? (a hint would be even better than a full answer).
 A: It is surprising that your question has been unanswered for six years.
It seems that there are two rivalling definitions of "locally contractible":

*

*$Y$ is locally contractible if each $y_0 \in Y$ has arbitrarily small (open) contractible neigborhoods.


*For each $y_0 \in Y$ and each open neigborhood $U$ of $y_0$ in $Y$ there exists an open neighborhood $V$ of $y_0$ in $Y$ which is contained in $U$ such that the inclusion $V \hookrightarrow U$ is null-homotopic.
In my opinion 2. is the standard definition. Clearly 1. implies 2., but I doubt that the converse is true. You have proved that ANRs are locally contractible in the sense of 2.
Many concrete examples of locally contractible spaces satisfy 1., e.g. manifolds and CW-complexes.
The concept of local contractibility was introduced by K. Borsuk in the nineteen-thirties. See

Borsuk, K. "Über eine Klasse von lokal zusammenhängenden Räumen." Fund. Math 19 (1932): 220-242.

Also see

Borsuk, Karol. Theory of retracts. Vol. 44. Państwowe Wydawn. Naukowe, 1967.

A: Just to clarify the terminological confusion, continuing with Paul Frost's notation:
Definition 2 should be regarded as the standard one, it is the one introduced by Borsuk and used to prove that each ANR is locally contractible.
Definition 1 is not equivalent to Definition 2, see two examples here: These are ANRs (even ARs) which fail Definition 1.
I am not sure who is responsible for renaming, but Hatcher in his "Algebraic Topology" refers to Definition 2 as "locally contractible in weak sense." But at least he spells out both definitions. In contrast, nlab here pretends that the standard definition (Definition 2) does not even exist. Ditto wikipedia here.
