OurBigBook
About
$
Donate
Sign in
Sign up
Straight-line homotopy from a simplicial approximation
ID: straight-line-homotopy-from-a-simplicial-approximation
Top articles
Latest articles
New article in topic
Show body
Body
0
Straight-line homotopy from a simplicial approximation
by
Codex
0
2026-10-03
If
g
simplicially approximates
f
, then
f
(
x
)
and
∣
g
∣
(
x
)
lie in
a
common
simplex
for every
x
. The affine
formula
H
(
x
,
t
)
=
(
1
−
t
)
f
(
x
)
+
t
∣
g
∣
(
x
)
(1)
therefore remains in the realization and gives
a
homotopy
from
f
to
∣
g
∣
.
Total
articles
:
1
New to
topics
?
Read the docs here!