Edit Comment on 20080802-1

n[0] = "てなさく";
m[0] = "環論に、シューアの補題とかツァッセンハウスの補題とかありますね。個人的には有限分岐木に関するケーニヒの補題に時々お世話になりますし、いま測度論の勉強をしているのでファトゥーの補題も無視できません。・・・ほい、あと二つですよ。";
d[0] = "2008-08-02 18:23:55";
n[1] = "かがみ";
m[1] = "ありがとうございます。ツァッセンハウスの補題以外は勉強したことあるはずです。あと二つですか。あ、すごい大物発見。「ゲーデルの圧縮レンマ！！」あと一つです。";
d[1] = "2008-08-02 20:08:32";
n[2] = "てなさく";
m[2] = "ツォルンの補題の解析での用例といえば、ほれ、ハーン・バナッハ定理があります。";
d[2] = "2008-08-03 11:53:56";
n[3] = "てなさく";
m[3] = "あ、そうそう。「ボレル=カンテリ」は「定理」ですか「補題」ですか？ ";
d[3] = "2008-08-03 12:03:19";
n[4] = "かがみ";
m[4] = "ハーン・バナッハの定理ってなんでしたっけ？ という情けない状態なので調べると、なんかそんなこと勉強した記憶が。ご利益は完全に忘れています。代数はまあまあで、解析の初歩もルベーグ積分やバナッハ空間論を含め、それなり基本的な部分は勉強したはずなのですが、ちっとも身についていません。良くないことだとは思いますが、さすがにこちらの方を勉強し直すのはつらいです。もっとも測度論に関してはもう一度という願望みたいなのはあります。 「ボレル=カンテリ」は名前も知りませんでした。情けない。なので「補題」なのか「定理」なのかも分かりません。あと1/2個 (笑) ";
d[4] = "2008-08-03 16:28:47";
n[5] = "てなさく";
m[5] = "Wikipedia でも PlanetMath でも Wolfram Mathworld でも Borel-Cantelli Lemma と言っているから、やはり「ボレル＝カンテリの補題」でよいと思われます。「独立な可算個の事象のうち無限個が起こる確率は、個々の事象の確立が有限か無限かに応じて、ゼロまたは１である」という命題だったように思います。";
d[5] = "2008-08-03 21:19:18";
n[6] = "てなさく";
m[6] = "「個々の事象の確立が有限か無限か」ってなんだ…「それらの事象の確率の和が有限か無限か」の間違いです。";
d[6] = "2008-08-03 21:20:33";
n[7] = "かがみ";
m[7] = "これで10問正解ということですね。ありがとうございます。「ボレル＝カンテリの補題」は忘れたのではなく恐らく勉強しことないと思います。どうも確率が測度でなんたらの辺りまでは、そんなもんかな、という感じだったのですが、確率変数とか確率過程で完全に挫折した経験があります。そのときは分かった気になるのですが、全然身につかなかったです。好き嫌いが激しすぎて随分と損をしている気がします。";
d[7] = "2008-08-05 21:51:07";
n[8] = "かがみ";
m[8] = "フォドアの補題";
d[8] = "2008-08-12 11:41:48";

(password)