From Wikipedia, the free encyclopedia
U topologiji, dve neprekidne funkcije koje slikaju jedan topološki prostor u drugi se nazivaju homotopnim (grčki homos = isti i topos = mesto) ako jedna od njih može biti neprekidno deformisana u drugu- Takva deformacija se naziva homotopija. Pojam homotopije je osnova za definisanje grupa homotopije i grupa kohomotopije, invarijanti u algebarskoj topologiji.[1]
Formalno, dve neprekidne funkcije f i g koje slikaju topološki prostor X u topološki prostor Y su homotopne ukoliko postoji neprekidna funkcija H : X × [0,1] → Y tako da je za sve tačke x iz X, važi H(x,0)=f(x) i H(x,1)=g(x).[2]
Ako posmatramo drugi parametar H kao vreme, onda H opisuje neprekidnu transformaciju funkcije f u g: u trenutku 0 imamo funkciju f, a u trenutku 1 imamo funkciju g.
Homotopija je relacija ekvivalencije na skupu svih neprekidnih funkcija iz X u Y. Ova relacija je u skladu sa kompozicijom funkcija : ako su f1, g1 : X → Y homotopne, i f2, g2 : Y → Z, onda su i f2 o f1 i g2 o g1 : X → Z takođe homotopne.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.