Neka je preslikavanje. Tada možemo identificirati s zatvorenim potprostorom , te identificarati s preslikavanjem , . Prostor naziva se cilindar preslikavanja (engl. mapping cylinder) . Cilindar preslikavanja homeomorfan je s , kojeg nazivamo i cilindar prostora . Nekad su konvencije takve da je , u tom slučaju se cilindar u kojem je identifikacija kao prije za zove okrenuti ili inverzni cilindar.
Univerzalno svojstvo istiska za cilindar kaže da za svaki prostor i preslikavavanja , takve da za sve , postoji jedinstveno preslikavanje , takvo da je kompozicija jednaka a kompozicija jednaka .
Propozicija. Prirodno ulaganje je homotopska ekvivalencija.
To prirodno ulaganje kompozicija je ulaganja i kvocijentnog preslikavanja .
Dokaz. je homotopska ekvivalencija jer možemo direktno konstruirati homotopski inverz. Homotopski inverz je dan s , gdje je klasa elementa . Očito je svaki element u takvog oblika te . S druge strane . Homotopija dana je s
Lako se vidi da je , .
Theorem. Neprekidno preslikavanje jje kofibracija akko postoji retrakcija za kanonsko preslikavanje .
Theorem. Neprekidno preslikavanje je homotopska ekvivalencija akko je deformacijska retrakcija cilindra preslikavanja .
Theorem. Ako je neprekidno preslikavanje, kompozicija
je kofibracija. Nadalje, preslikavanje određeno s (za sve and ) i (for ) je dobro definirana homotopska ekvivalencija
Kompozicija , dakle to daje razlaganje preslikavanja u kofibraciju i homotopsku ekvivalenciju.
Vidi također englesku verziju mapping cylinder (tamo je međutim konvencija da je ).
Last revised on December 8, 2009 at 15:49:30. See the history of this page for a list of all contributions to it.