大分久しぶりな集合位相勉強会です。僕があれだったからなわけですが＞＜今日の内容は3章の中心的な内容(と思う)Zornの補題でした。まず、二つの補題(P108の補題2とP110の補題3)を示しました。補題3のほうを仮定しておいて、それだと矛盾するねということか…

94ページから102ページまで。自然数に対して成立している数学的帰納法を、整列集合に拡張してできた超限帰納法というのがすごい。 順序同型 順序を保つ写像 順序単射 順序同型写像 などが登場。順序同型写像は順序単射かつ全射。全単射だから逆写像も存在し…

第何回か忘れたw。実数とかの大小関係があれば、最大元とかそういうのが定義できるのは分かるんだけど、順序関係を満たすようなものであれば、最大(小)元、極大(小)元、上限、下限などが考えられる的な流れのところだった。念のために定義を書いておこう。集…

3週間くらい空いてしまって久し振りな感じです。続けますよー。継続重要。あとでログを上げる。 加算集合 加算集合の性質 連続の濃度、非可算集合 羃集合の濃度

P58からP71までと結構進んだ。前回は商集合の僕の理解があれすぎたので、あんまり進めなかったんだけど、別途復習の時間を取って再挑戦しました。復習のはここ。 商集合について勉強しておくライフハック(笑) - yasuhisa's blog 商集合はとりあえずよしとい…

前回は選出公理というちょっと色々ありそうな公理のところまでやったんだけど、その続きから。なんとか第一章は終わったんだけど、商集合がよく分かっていないので、来週ちょっと復習しようと思う。 写像に関する一定理 ここで定理7というのがよく分からなか…

id:witchmakersと。元の無限列、集合族とその和集合、共通部分、直積、選出公理についてやりました。P42からP48くらい。ログに出てきた例はあとで上げる。 元の無限列、有限列 Nから一つの集合Aへの写像aのことを元の列という。この辺はよいとして、元の列は…

id:witchmakersと。全単射とか、合成写像、写像の集合などなど。結構ややこしい感じがしたので(主に僕にとって)、例を多めでやっていきました。 全射、単射、全単射 全射の前に終集合というのをしっかり考えておかないといけない。例えばへの写像というもの…

id:witchmakersと。今回はP20くらいからP32まで進んだ。"対応"と"写像"がキーポイント。 対応の概念 P23の定義より。 A、Bを2つの集合とし、ある規則によって、Aの各元aに対してそれぞれ1つずつBの部分集合が定められているとする。そのとき、その規則のこと…

id:witchmakersと読むなどした。第一章の最初から、P20の(2.17)付近まで。来週は(2.17)の解読くらいからやるなどしたい。 空集合は任意の集合の部分集合 であるということ。 なんだか不思議な感じがするよねー 集合だけじゃなくて、集合系(P18)についても成…