It is shown that in normed
linear spaces compact sets can be approximated by compact absolute neighborhood
retracts in the following sense: If X is a compact subset of a normed linear space,
then for every 𝜀 > 0 there exists a compact absolute neighborhood retract that
contains X and has the property that each point of the retract is within 𝜀 of X. If
the choice of 𝜀 is sufficiently large, the retract can be chosen to be an absolute
retract.