多様体論の最初の方ってイメージ的には簡単な概念がいかに定式化されているかだけが難しいんじゃない？