Coord ftn π_α이랑 open U_α⊆X_α에 대해 U=π_α^(-1)(U_α)라고 하면
f(f_α^(-1)(U_α))=f(f(-1)(U))=U∩Z는 맞지않음..?
근데 여기서 f_α^(-1)(U_α) ∩ f_β^(-1)(U_β) 같은거의 image를 구한다 치면 이게 뭐 (U∩U')∩Z랑 같은게 아니라 뒤에가 더 클 수 있는거 아닌가
Subbasis의 image가 다 open이니까 어쩌구 뭐시기 끝 할려고 했는데 뇌절이 와서
(U'=π_β^(-1)(U_β)임)
문제가 틀린 거 아닌가 하는 불경한 생각이 들었다
댓글 0