背景 「微分形式の幾何学」（著: 森田茂之）という本で勉強をしている。 解析学も位相空間論もちゃんとできてないのにこんなのできるのという不安はあるが、 まあ、数学は自由なのでやってみている。 ところで、この本では位相多様体を定義に第二可算公理を…