(i) Choose a Lebesgue number for the open cover
. According to theorem (34.3), the images of the simplicies occurring in
the chain
are the same as the images under
of the affine simplicies occurring in
, where
is the identity map of
. However, theorem (34.4) states that the simplicies
occurring in
have diameters less than
. Thus, if we choose
sufficiently large the image of each of the simplicies in
would lie in one of the open sets of
.
To prove (ii) we use the naturality of
and proceed as in the proof of theorem (34.4).
Let
have its image in
. Then
. But we see immediately from the definition of
in theorem (34.3) that
is a
linear combination:
where each
is a (degenerate) affine (p+1) simplex contained in
and hence
is a singular
simplex with image contained in
.
nisha
2012-03-20