homotopy 공부하면 X×I에서 Y로 가는 continuous를 생각하는데 product에서 나가는 맵이 continuous인지 체크하는 방법이 따로 있을까요? 예를들면 product로 갈때는 각각 projection햇을때 conti면 되는데 저거는 잘 모르겟어서요 - dc official App
간단한 경우 interpolation을 직접 써서 확인할 수 있고 책같은데 있는 explicit한 예시들은 그런걸 pasting lemma로 붙혀서 만들지 않나 근데 보통 그림으로 때움 - dc App
https://klyro.sarl/bym
product로 갈때는 각각 projection햇을때 conti면 되는데 -> 이런식으로 간단히 되는 경우는 없어요.
감사합니다 - dc App
하나마나 한 소리긴 한데, 구체적인 예시를 다룰 때는 differentiable homotopy가 많이 나오니까 미분가능하다 하고 넘어가는 방법이 있음...