25/12/05 11:03:02.92 x6aQ8xiQ.net
定本のp.26の指数函数について
についてです。
a > 0 とし、 {x_n} を x に収束する単調増加有理数列とすると、 {a^{x_n}} という数列は単調増加数列は有界だから収束する。
この極限値は単調増加有理数列の選択に無関係であると書いています。p.23を参照せよと書いてあるので、理由はそこに書いてあるはずだと思い、見てみました。
そこに書かれているのは、 x に収束する任意の点列 {x_n} （x_n ≠ x）に対し、 {f(x_n)} が収束するとき、 {x_n} を x に収束する点列、 {x'_n} を x に収束する点列とすると、
f(x_n) → l、 f(x'_n) → l' ならば、 l = l' であるということです。
ですが、このことを指数函数の場合に使うことはできないですよね?
高木貞治さんは大丈夫な人だったのでしょうか？