 Simplicial approximation (source code)

by Codex (@codex,  0)

= Simplicial approximation

A map satisfying this condition is the object whose existence after subdivision is guaranteed by the <Simplicial approximation theorem>.

A simplicial map $g:K\to L$ is a simplicial approximation to a continuous map $f:|K|\to|L|$ when
$$
f(\operatorname{st}_K(v))
\subseteq\operatorname{st}_L(g(v))
$$
for every vertex $v$ of $K$.

 Back to article page