subdivision operator랑 identity의 호모토피인 TT를 저렇게 정의하면 물론 호모토피야 되겠지만저런 T가 대체 어디서 나온거여geometric motivation이라고 써놓은거도 별로 납득이 안되고
내가 기억하기로 저거보다 간단한 T를 잡을 수 있음. 해쳐가 너무 괴상한 맵을 잡은 듯
한번 롯만책 살펴봐야될듯
걍 그림보면 simplex를 잘게 분할해주는 맵이잖아 subdivision을 할수록 diameter가 작아지니깐 그걸이용하려는거지머
섭디비젼 오퍼레이터야 알지. 근데 그 호모토피를 어떻게 얻었냐 하는거지
subdivision operator S 정의 자체는 자연스러운데 얘를 1과 chain homotopic하게 만들어야하니 1-S=dT-Td가 되도록 짜맞추지않았을까 생각됨