19/12/21 15:17:42.65 tz17Etk6.net
おっちゃんです。
任意の (m、n)∈Z^2＼(0、0) に対して π^me^nが無理数であることと、
πとeが有理数体Q上線型独立であることも示せた。
πとeの各ベキ級数表示に着目して、場合分けして帰納法を使えばすぐ分かる。
もしかしたら、πとeが体Q上代数的独立であることも示せるかも知れない。
それにしても、πというベキ級数表示出来る超越数は特殊ですな。
πとeが体Q上代数的独立であることを示しても、非可算な実数直線Rの構造の分析が出来たとはまだいえない。
ベキ級数表示に用いられる「Σ」という記号は或る意味で線形作用素の働きをするんですな。