区間Iを定義域とする関数列を
とし、すべてのnに対して関数
は区間Iで連続であるとする。
そのとき、関数級数xの関数
が一様収束すると仮定する。このことは、部分和(xの関数)
が一様収束することと同等である。さらにこの部分和は連続なので、数学学習の記録 93.2 連続性が極限関数にも遺伝するための十分条件について。より、関数級数
も区間Iで連続である。
以上をまとめると、
区間Iを定義域とする関数列を
とし、すべてのnに対して関数
は区間Iで連続であるとするとするとき、関数級数
が連続であるためには、
が一様収束する、すなわち、部分和
が関数級数
に一様収束することが十分である。
0 コメント:
コメントを投稿