2015-01-01から1年間の記事一覧

ask.fmに来た、凸n角形を作れる点集合についての問題を解いた

久しぶりにask.fmの字数制限にひっかかったので。ろくにチェックしてないけどもう投げる。問題は 「平面上にn>3個の点があるとする。それを結んで凸n角形を作ることができるための必要十分条件は、"そのn個の点からどのように3つの点を選んでもその3つの点を…

【club guessing sequenceの存在定理の、κが可算の場合の数学ガール風解説が読みたいです】を書いた

放課後、いつも通り図書室に来てみるとテトラちゃんがなにやら難しい顔をして本とにらめっこしていた。 僕「今度は何を読んでいるの?」 テトラ「あ、先輩。…この前、ミルカ先輩がclub guessing sequence(CG列)の存在証明を教えて下さいましたよね」 僕「あ…

基数のべきについて答えてみた

[集合論] GCHが成り立たないときのべきの値 にゃー、みんなボクが『数学』に書いたサーベイ読んでにゃー。 正則基数のべき(Eastonの定理) 今更入手困難でしょうし書きますよ。まず、αを無限順序数とするとき、それの非有界部分集合の最小濃度をαの共終数(cof…