お前らに質問(関数列の収束 1月13日) [お前らに質問]
お前らに質問(関数列の収束 1月13日)
数列や関数列の収束に関する記事では、といった記号が数式中の至るところで登場するので、So-netブログの1記事10万字以内という制限にすぐに抵触し、このため、どうしても、問題数が制限されてしまう。
というわけで、
お前らには、次の問題を解いてもらおうじゃないか。
念のため、一様収束の定義!!
定義 (一様収束)
関数列と関数f(x)はIで定義されているとする。
任意の正数ε>0に対して、ある自然数N(ε)が存在して、任意のx∈Iと任意のn≧N(ε)に対して、
を満たすとき、関数列は一様収束するという。
定理 (一様収束の必要十分条件)
関数列がI上で関数f(x)に一様収束する必要十分条件は
この定理を一様収束の定義にするものもある。
ここに出るなる記号は、x∈Iにおけるの上限を表すのだけれど、「上限なんてわからない」というヒトは、x∈Iにおけるの最大値だと思って欲しいにゃ。
(2)には、ちょっと読みづらいかもしれないので
だケロよ。
この問題を解くには、
x≧0で定義された関数列の極限関数f(x)をまず求め――極限関数f(x)=0です!!――、
それから、
の最大値
という極限を計算し、それが0ならば一様収束、0でなければ各点収束ということになる。
と書いても、お前らはやらない可能性が高いので、f(x)=0で、ともに非負だから、
となるので、x≧0における最大値はx≧0におけるの最大値に等しい。
ここまで丁寧に書いたのだから、問題1はちゃんとやれよな。
上限がわかるヒトは、さらに、次の問題を解くにゃ。
問題2 次の関数列は一様収束か。
のグラフまで書いているから、もう、答を教えているようなものだけれど…。
第53回 一様収束 [微分積分]
第53回 一様収束
前回の関数列の(各点)収束の復習を兼ねて、関数列の各点収束の定義を再掲する。
定義 (各点収束)
任意の正数ε>0と任意のx∈Iに対して、ある自然数N(x,ε)が存在して、n≧N(x,ε)を満たす任意の自然数nに関して、
が成り立つとき、関数f(x)を関数列の極限関数といい、関数列はIで関数f(x)に各点収束するという。
各点収束の代表例として
である。
0<x<1の場合、任意のε>0に対して、
とすれば、
x=0の場合、任意のε>0に対し、に定めれば、
x=1の場合、 任意のε>0に対し、に定めれば、
で与えられる関数列も
に各点収束するが、任意のε>0に対して、点xの値に無関係に、
と定めると、任意のx≧0の点で
が成立する。
定義 (一様収束)
任意の正数ε>0に対して、ある自然数N(ε)が存在して、任意のx∈Iと任意のn≧N(ε)に対して、
これを論理記号で書くと、
であるから、がf(x)に一様に収束しないとは、これを否定するばよい。
すなわち、
したがって、
あるε>0が存在し、どのような自然数Nを与えても、
を満たす点x∈Iが存在すれば、はf(x)に一様に収束しないことになる。
【解】
任意のx>0に関して
ε=1とし、任意の自然数Nに対しx=1/N∈(0,∞)にとると、
の極限関数。
任意のε>0に対して、
よって、
にとれば、
(解答終)
もちろん、
任意のε>0に対して、
になるためには、でなければならない。
よって、任意の正数ε>0に対して、
とすれば、
としてもよい。
定理 (一様収束の必要十分条件)
【証明】
I上ではf(x)に一様に収束するので、任意のε>0に対して、ある自然数N(ε)が存在し、任意のx∈Iかつ任意のn≧N(ε)に関して、
が成立する。
任意のx∈Iに対して、
が成り立つので、
(証明終)
問2 次の関数列は各点収束するが、一様に収束しないことを示せ。
【解】
(1)
したがって、は、で極小かつ最小、で極大かつ最大。
よって、
ゆえに、
(2)
(解答終)
【別解】
(1) ε=1/2>0とすると、任意の自然数Nに対して、x=1/Nとすると
したがって、一様収束でない。
(2) ε=1>0とすると、任意の自然数Nに対して、x=Nとすると、
よって、一様収束でない。
(別解終)
問3 次の関数列が一様収束することを示せ。
【解】
よって、極限関数f(x)=0。
また、
よって、はf(x)=0に一様収束する。
(2)
よって、はx=1/nのとき極大かつ最大。
また、だから、
ゆえに、ハサミ打ちの定理より
また、
(解答終)
さて、I=[0,1)とし、はIで定義されているとすると、
となるので、はIで一様収束でない。しかし、問3の(1)より、0<a<1とするとき、任意の閉区間J=[0,a}で一様収束する。このように、Iでは一様収束でないが、Iに包まれる任意の閉区間J(J≠I)で一様収束する場合がある。
定義 (広義一様収束)
区間Iで定義された関数列がI内の任意の閉区間Jでf(x)に一様に収束するとき、はf(x)に広義に一様収束するという。
定義から、関数列がIで一様収束すれば、Iで一様収束する。しかし、この逆は成立しないので注意。