Re: loop in simplicial complex

"Ed Hook" , in (sci.math:798572), wrote:

> Yves De Cornulier wrote:
>> Lemma: if a combinatorial loop is homotopically trivial in pi_1(X_top),
>> then it is combinatorially homotopic to the trivial loop.
>> It seems that this lemma is well-known and widely used, but I did not find
>> a precise reference. Does someone have one?
>
> Although that exact result isn't stated, it looks as though
> everything that's required can be found in Spanier ("Algebraic
> Topology") in the discussion of the edge-path groupoid of a
> finite simplicial complex (Chapter3, Section 6 in my ancient
> copy -- 1966 edition).

Great, thank you very much.

--
Yves
.

Quantcast