15/03/01 10:51:23.06 NplpTsbd.net
>>238 つづき
１．だから、学会レベルの証明とか、新理論とか、新別証明なんか、２ちゃんねるという場所はふさわしくない
２．なので、カントールとかゲーデルとか、それ（下記）全部引用で済ますべき事項なんだわ
・[第1段]：有理直線Qが可算無限集合であることを示す。 >>227
・[第2段]：実数直線Rが非可算無限集合であることを示す。 >>228
・[第3段]：無理数の全体R＼Qが非可算無限集合であることを示す。 >>229
・[第4段]：任意のθ∈R＼Qに対してT(θ)がC^{×}の正規部分群であることを示す。 >>230
３．第1段から第4段まで、引用も不要のレベル（既知で終わり）だろう。少なくとも、２ちゃんねるで素人の新証明読む時間があったら、専門書読めと
４．”[第5段]：任意の異なるs、t∈R＼Qに対してT(s)≠T(t)であることを示す。 ”って、証明に穴があるし
５．それに、部分群の理解が甘いから、証明がぐしゃぐしゃと思うよ
６．で、蛇足だが、部分群の集合をＵとして、「実数Ｒ or 複素数Ｚ（除くゼロ）→Ｕの単射の存在」を一言入れること。ほぼ自明だが
院試なら減点されるかもしらんよ。濃度の議論だからね
７．で、>>194出題の「連続濃度の”べきの濃度”を持つ」については、一歩も踏み込んでいないぞ
８．単に、非可算無限集合なら、>>236にあるように { a^n｜n∈Z } (aは1より大きな実数) （つまり、1より大きな実数a一つから生成される乗法群）に問題を落としてしまえば
９．この部分集合Ｕ'として、 { a｜a>1, a∈R } →Ｕ'の単射を示すのは簡単（前スレ>>508参照（複素数の絶対値で考えているがＲでも同じ） ）だから
１０．Ｕ'⊂Ｕとすれば、証明は終わり。（{ a｜a>1, a∈R }の非可算は既知とする。）