Enkel homotopi

I algebraisk topologi är en enkel homotopi ^{pg 23} en analog till en homotopi mellan topologiska utrymmen för enkla uppsättningar . Om

$f,g:X\to Y$

är kartor mellan förenklade mängder, en enkel homotopi från f till g är en karta

$h:X\ gånger \triangel ^{1}\till Y$

så att diagrammet (se [1] ) bildat av f , g och h pendlar; nyckeln är att använda diagrammet som resulterar i $f(x)=h(x,0)$ och $g(x)=h(x,1)$ för alla x i X .

Se även

• Kan komplex
• Dold-Kan korrespondens (under vilken en kedjehomotopi motsvarar en enkel homotopi)
• Enkel homologi

externa länkar

• http://ncatlab.org/nlab/show/simplicial+homotopy