patch랑 atlas같은거 써서 위상수학 개념까지 끌어와서 정의하던데 굳이 이렇게 번거롭게 정의할 필요 있음?