![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
顔合わせ及び今後の打ち合わせ。集合について軽いおさらい。 ゼミは p32 二項関係 からに決定。
p32 から p41 まで。二項関係、順序関係、整列集合について。超限順序数の話も。
p41 から p48 まで。選択公理、Zornの補題、整列可能定理の同値性について。Zornの補題の用例として極大idealの存在を証明。
p50 から p59 まで。Euclid空間と一般の距離空間について。離散的な集合で境界が定義できない気がして困ったが単に空集合だった。
p59 から p63 まで。距離空間の諸々について。位相からの定義との差異に注意。
p63 から p69 まで。距離空間上の連続写像についてと位相空間の導入。団長が様子見に来られた。 次回は8/1(土)で、人がいなくなるので8月はそれだけになりそう。
p69 から p75 まで。開核･閉包作用子や近傍系と位相との対応について。位相にも色々な定め方があった。
p75 から p82 まで。位相空間上の連続写像や開基･準開基について。任意の部分集合族を準開基として位相が生成される。∩{}=XなるのはXが∩の単位元だからだという解釈。
p82 から p86 まで。可算公理や点列連続性について。稠密の特徴付け∀U∈O A∩U≠{}を得られた。点列連続は連続より弱かった。
p86 から p95 まで。有向点列の収束と連続性との同値性や積位相について。可算個の列で駄目なら非可算個の列を考えれば連続性と同値にできる。
p95 から p96 まで。箱型積位相や、積空間の開核･閉包について。箱型積位相でないと開核と直積は可換にならないよ。
p96 から p103 まで。商空間と分離公理について。主張を図形的にイメージできれば難しい事ではない。
p103 から p105 まで。ウリゾーンの補題について。正規空間で互いに交わらない空ならぬ2閉集合を関数で分離できました。
p105 から p まで。ウリゾーンの距離化定理について。
内田伏一「集合と位相」
