開基についてメモ
背景
「微分形式の幾何学」(著: 森田茂之)という本で勉強をしている。 解析学も位相空間論もちゃんとできてないのにこんなのできるのという不安はあるが、 まあ、数学は自由なのでやってみている。 ところで、この本では位相多様体を定義に第二可算公理を含めていて、その関連で開基について以下のように述べられている。
...... の可算個の開集合 があって、任意の開集合 とその上の点 に対し、ある が存在して となるようにできる ......
が可算個と言っているのは第二可算公理の言明なので開基であることとは関係がない。 この表現は私の知っている開基の定義とは違ったので、二つの定義が同値であることを証明してみる。
開基の二つの定義
前提として、 を位相空間、 を の開集合全体の集合、 を の部分集合(つまり の開集合の族)とする。 このとき、次の二つの主張が同値であることを示す。
背景での引用では だったものを と表現していることに注意。
証明
1. 2.
の開集合 とその上の点 を任意にとる。 仮定より となるような が得られる。 より、 で となるものが存在する。 だから でもあり、2.が成り立つ。
2. 1.
の開集合 を任意にとる。 選択公理と仮定により、 上の点 に対して、 を満たす を返す関数 が存在する。 として の による像 を考え、 を示す。 まず、 とすると、 なので である。 一方、 各 は の部分集合であることから が従う。 よって、 であり、1.が成り立つ。
疑問
2.1.の証明で選択公理を使ったけど、本当に必要なのかわからん。