2011年02月06日のツイート
@kururu_goedel: おやすみなさい
@kururu_goedel: 「あなたは菊池桃子ですか?」「いいえ、私はラムーのボーカルです」
@kururu_goedel: おやすみなさい。明日までに小人さんたちが論文の校正を済ませていることを祈って。
@kururu_goedel: というよりも、もう解けていたらいやだなぁと思うけど、でももうちょっと自分で詰めてから聞く。
@kururu_goedel: 困ったことは、多分これは問題をJustinに教えたら最後の「難しい」ところまで30分くらいで解いちゃうのではないかということ。
@kururu_goedel: これで良かったとしたら、問題は位相群にならないような線形順序で、あれを満たすようなのがあるのかということ。これは多分本格的に難しいというか、ここまでの見立てが間違っていなければ独立になるんじゃないかなと。
@kururu_goedel: いや、もらった問題の定義をちゃんとチェックしてないんだけど。 #myidea
@kururu_goedel: 最初のアイデアだけで行くと、水平方向にだけ動く写像になっちゃうんだけど、縦横の役割変えてやり直せばそれでうまくいくよね #myidea
@kururu_goedel: さっきから全てハッシュタグをつけ忘れている
@kururu_goedel: あとは演算に関してのclosureをとったときに、あんまり集合が大きくなりすぎないことをチェックしないとってことなんだけれども、これも普通の構成でみてやれば問題ないはず。#myidea
@kururu_goedel: 演算で閉じるようにすると、単位元つなげていってcofinal pathができちゃうってところではうーんしていたんだけれども、その一点だけなら順序がAronszajnかには影響がないはず #myidea
@kururu_goedel: また忘れた
@kururu_goedel: あとは位相群になるようなAronszajn lineがあるかってことだけれども、これは普通に演算で閉じるようにAronszajn treeの構成をいじればいいはず。#myidea
@kururu_goedel: ハッシュタグ忘れたやりなおし
@kururu_goedel: 要するにcomplete linear orderがそこから来る位相で位相群になっていればいいんだよ。いや、位相群なんていじったこと無いけど多分それでいいはず。#myidea
@kururu_goedel: このハッシュタグでとりあえずの思いつき書いとく #myidea