A metric space
(
X
,
d
)
(X,d)
, which is a countable union of finite-dimensional compacta, is a manifold modelled on the space
l
2
f
=
{
(
x
i
)
∈
l
2
l_2^f = \{ ({x_i}) \in {l_2}
all but finitely many
x
i
=
0
}
{x_i} = 0\}
iff
X
X
is an ANR and the following condition holds: given
ε
>
0
\varepsilon > 0
, a pair of finite-dimensional compacta
(
A
,
B
)
(A,B)
and a map
f
:
A
→
X
f:A \to X
such that
f
|
B
f|B
is an embedding, there is an embedding
g
:
A
→
X
g:A \to X
such that
g
|
B
=
f
|
B
g\left | {B = f} \right |B
and
d
(
f
(
x
)
,
g
(
x
)
)
>
ε
d(f(x),g(x)) > \varepsilon
for all
x
∈
A
x \in A
. An analogous condition characterizes manifolds modelled on the space
Σ
=
{
(
x
i
)
∈
l
2
:
∑
i
=
1
∞
(
i
x
i
)
2
>
∞
}
\Sigma = \{ ({x_i}) \in {l_2}:\sum _{i = 1}^\infty {(i{x_i})^2} > \infty \}
.