お前らに質問(関数列の収束 1月13日)の解答例
定義 (一様収束)
任意の正数ε>0に対して、ある自然数N(ε)が存在して、任意のx∈Iと任意のn≧N(ε)に対して、
定理 (一様収束の必要十分条件)
この定理を一様収束の定義にするものもある。
ここに出る
【解答例】
x=0のとき、
x>0のとき、
よって、x=1/nのときに、
ゆえに、
x=0のとき、
x>0のとき、
したがって、極限関数f(x)は
よって、
したがって、
(解答終)
(1)は、
ε=1/eとすると、どんな自然数Nを与えても、x=1/Nにとると、
としてもいい。
【解答例】
x=0のとき、
x>0のとき
したがって、極限関数f(x)は
また、
なので、
(解答終)
【別解1】
ε=1/eとすると、どんな自然数Nを与えても、x=1/Nにとると、
(別解1終)
別解1では、x=1/Nとしているけれど、x=2/Nにとってよい。
このとき、
になるので、自然数Nをどんなに大きくしても、ある一定の正の実数(この場合は1/e²)を決して下回らない点が少なくとも1つx≧0に存在することを示せれば、それだけで問題2の関数列
【別解2】
(別解2終)
定理
連続関数列
この定理から、
そして、問題1の(1)は極限関数が連続なのでこの定理は使えないけれど、一様収束か否かを問う多くの問題は、この定理で片がつくのであった(^^)。
この他に、一様収束の定義にしたがって、
x>0のとき、
任意のε>0に対して
したがって、
任意のε>0に対して
とすると、
とすることもできる。