Simplicial Structures in Topology
Simplicial Structures in Topology
Simplicial Structures in Topology
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
54 II <strong>Simplicial</strong> Complexes<br />
In a similar fashion, we can f<strong>in</strong>d two other real numbers μ,ν ∈ (0,1] such that<br />
f (p) ∈ f (νD(p)) ⊂ μD( f (p)) ⊂ f (λD(p)) ⊂ D( f (p)).<br />
Because f (νD(p)) ⊂ μD( f (p)), we can def<strong>in</strong>e the radial projection with center<br />
f (p)<br />
ψ : f (νS(p)) → μS( f (p)) , f (q) ↦→ π f (p)( f (q))<br />
for every q ∈ νS(p). We also def<strong>in</strong>e the map<br />
φ : μS( f (p)) → f (νS(p)) , q ↦→ f (ν(πp( f −1 (q)))<br />
where πp is the radial function with center p <strong>in</strong> λD(p) (notice that f −1 (q) �= p, for<br />
every q ∈ μS( f (p)) and moreover, f −1 (μD( f (p)) ⊂ λD(p)).<br />
S<strong>in</strong>ce the spaces f (νS(p)) and μS( f (p)) are conta<strong>in</strong>ed <strong>in</strong> D( f (p)) and this last<br />
space is f (p)-convex, we can def<strong>in</strong>e the homotopy<br />
H1 : μS( f (p)) × I −→ D( f (p))<br />
�<br />
1 (1 − 2t)ψφ(q)+2tf(p) , 0 ≤ t ≤<br />
H1(q,t)=<br />
2<br />
(2 − 2t) f (p)+(2t− 1)φ(q) , 1<br />
2 ≤ t ≤ 1<br />
for every q ∈ μS( f (p)). Strictly speak<strong>in</strong>g, H1 is a homotopy between φ composed<br />
with the <strong>in</strong>clusion map f (νS(p) ⊂ D( f (p)) and ψφ composed with μS( f (p)) ⊂<br />
D( f (p)). We now take the maps<br />
f −1 φ : μS( f (p)) → νD(p) and f −1 : μS( f (p)) → λD(p).<br />
Because D(p) is p-convex, we can construct the homotopy<br />
�<br />
(1 − 2t) f −1 1<br />
φ(q)+2tp, 0 ≤ t ≤<br />
H2(q,t)=<br />
2<br />
(2 − 2t)p +(2t− 1) f −1 (q) , 1 2 ≤ t ≤ 1.<br />
which, when composed with the homeomorphism f , gives rise to a homotopy<br />
f<strong>in</strong>ally, we consider the homotopy<br />
fH2 : μS( f (p)) × I → D( f (p));<br />
F : μS( f (p) × I → D( f (p))<br />
def<strong>in</strong>ed by the formula<br />
�<br />
H1(q,2t) , 0 ≤ t ≤<br />
F(q,t)=<br />
1<br />
2<br />
fH2(q,2t − 1) , 1 2 ≤ t ≤ 1.