第2可算公理

X,Yが第2可算性を持つ位相空間のとき、X×Yも第2可算性を持つことを示せ。
という問題です。

第2可算性を持つ⇔位相空間が可算集合からなる基を持つ
で定義されています。

更に、
位相空間において、β⊂Oは、任意の開集合がβの要素の和集合で書けるとき、位相Oの基と言います。

証明の方針がいまいち分からないので、どなたかアドバイスもしくは証明をお願いします。

No.3 ベストアンサー 回答者： arrysthmia 回答日時： 2008/11/20 22:18

Xの開基とYの開基の直積から、直積位相の開基を構成するときに、

任意濃度の合併を作るといっても、もとになる開基の直積が可算だから、
合併する開集合の選び出し方が可算通りしかなく、直積位相の開基も可算にしかならない
ということです。

この回答へのお礼

可算集合であることは直感的に分かりますね。
ありがとうございました。

お礼日時：2008/11/23 22:19

No.2 回答者： rinkun 回答日時： 2008/11/20 10:16

Xの基とYの基の積によってX×Yの基を構成して、それが確かにX×Yの基になっていることを示せば良いのでは?

この回答へのお礼

ちょっとした回答でしたが、この問題を紐解くキッカケになりました。
ありがとうございました。

お礼日時：2008/11/23 22:13

No.1 回答者： koko_u_ 回答日時： 2008/11/20 00:00

>証明の方針がいまいち分からないので、どなたかアドバイスもしくは証明をお願いします。

特に何も考えるようなことはありません。そのままストレートに証明できます。

この回答へのお礼

大学数学に触れて日が浅いものですから「そのままストレートに証明できる」と言われてもピンときませんでした。
長い時間考えた今でも完璧に把握できたわけではありません。

お礼日時：2008/11/23 22:10