15/11/22 11:46:32.27 G4dpeoO2.net
>>513
これ、間違い。
どういう基準でルベーグ測度を取ったのかまでは分からない。
>>508
実数体Rの有理数体Q上の超越基底Sが零集合とする。定義から、RはQ(S)上代数拡大体である。
従って、任意の実数はQ(S)上代数的である。従って、Q(S)上超越的な実数は存在しない。
しかし、これは、Q(S)上超越的な実数が存在することに反し矛盾。
(もし存在しなかったら、 Q(S)上超越的な複素数は存在しなくなる。
しかし、RがQ(S)上代数拡大体だから、 複素数体CもQ(S)上代数拡大体である。
複素数がQ(S)上代数的独立か代数的従属か についても同様になる。
従って、定義上は、Sは複素数体Cの有理数体Q上の超越基底Sになる。
だから、実数体Rの有理数体Q上の超越基底Sは複素数体Cの有理数体Q上の超越基底S
でもある。これは、そもそも、Sを考えたときの体の拡大R/Qの扱いに反し矛盾する。
R＝C として実数体Rの有理数体Q上の超越基底Sを考えていたことになる。
2つの体の拡大R/Q、C/Qを同一視して有理数体Q上の超越基底Sを考えていたことになる。
これは R≠C に反し、矛盾する。)
に訂正。