24/02/28 10:27:53.48 ijdyqSaZ.net
>>706
2^{3/2} が代数的数であることは確定しているから 2^{3/2} にその論法は通用しない
原理的には、実数論では有理数の加減乗除をもとに無理数を定義して有理数体Qを完備化するのと同様に、
実数の代数的数の加減乗除をもとに実数の超越数を定義して実数の代数的数の全体を完備化出来る
その後、実関数について微分積分を展開していくという理論展開も原理的には出来る
その考え方を応用しただけ
24/02/28 10:27:53.48 ijdyqSaZ.net
>>706
2^{3/2} が代数的数であることは確定しているから 2^{3/2} にその論法は通用しない
原理的には、実数論では有理数の加減乗除をもとに無理数を定義して有理数体Qを完備化するのと同様に、
実数の代数的数の加減乗除をもとに実数の超越数を定義して実数の代数的数の全体を完備化出来る
その後、実関数について微分積分を展開していくという理論展開も原理的には出来る
その考え方を応用しただけ