15/11/21 16:29:58.59 7xkHllqS.net
>>481
ちょっと、「実数体Rの有理数体Q上の超越基底Sが零集合」でないことは、
すぐには証明出来ないですな。単なるR上への埋め込みがダメとなると、
代数的手法と測度論か何かを使うことになるんだろうが、方針が分からない。
しかし、メンター君は、よく正しい証明かどうかすぐ分かりますな。
15/11/21 16:29:58.59 7xkHllqS.net
>>481
ちょっと、「実数体Rの有理数体Q上の超越基底Sが零集合」でないことは、
すぐには証明出来ないですな。単なるR上への埋め込みがダメとなると、
代数的手法と測度論か何かを使うことになるんだろうが、方針が分からない。
しかし、メンター君は、よく正しい証明かどうかすぐ分かりますな。