2011年06月07日のツイート
@kururu_goedel: とりあえず、一次元の関数の補題は完成したから寝る。というか、すでに怒られそうな時間。
2011-06-07 12:55:48 via web
@kururu_goedel: 後者の方は今考えている証明の筋で出てくるのだけれども、今のところどう考えるべきかわからない。ここのところ使い倒しているテクニックで行けそうな気もするのだけれども、どう適用するかがはっきりしない。
2011-06-07 12:21:41 via web
@kururu_goedel: それと、全単射と言ったらどうか?とんでもなくあり得なさそうだし、簡単な証明がありそうなのだけれども、今のところはわからない。
2011-06-07 12:19:35 via web
@kururu_goedel: Aronszajn連続体から、それと等しいとは限らない二つのAronszajn連続体の直積への全射は存在するだろうか?要するにペアノ曲線みたいなものは作れるだろうか。
2011-06-07 12:17:43 via web