6

二変数関数の極限 〜極限の順序〜

1433
1

本記事の内容は、とってもゆるい議論で成り立っています。自分が極限の順序交換と一様収束の関係を理解するのに使っているイメージを伝えるのが趣旨なので、厳密さは追求していません。また、ここで使っているϵ領域という言葉は、記事を書きやすくするために作った私の造語であり、well-definedですらありません。

はじめに

今回は、二変数関数f(x,t)の極限において、
limxalimtbf(x,t)=limtblimxaf(x,t)
が成り立つのはどういうときなのか、ということについてのイメージの仕方をお話ししていきます。

極限を捉え直す

limxaf(x)=c
とは、任意のϵ>0に対して
xU(a,δ)|f(x)c|<ϵ
を満たすδをとることができる、ということでした。これは、xが然るべき条件C:xUを満たせば、ϵの差を除いてf(x)cは等しい、と捉えることができます。これを、
f(x)=ϵc
と書くことにします。(Uは十分条件としてその部分集合で代用できるので、Uの取り方は一意的ではありません。)
上の極限を取るという操作を、「xaに限りなく近づけることで、f(x)cに限りなく近づける」と考えるのではなく、「xUに入れることで、f(x)cϵより近づける」と考えるのです。議論の途中でϵに条件を課すことがなければ、すなわち任意のϵ>0で成り立つことしか行わなければ、これは結局、
limxaf(x)=c
と読み直せるので、とりあえずは「ϵの差を除いて等しい」状態で考えよう、というわけです。

関数族の極限

今の話を、関数族(ft(x))tTに適用してみます。これは、二変数関数f(x,t)を考えることに同じです。以下、xの定義域をX=[0,a)tの定義域をT=[0,b)とします。
limtbf(x,t)=f(x)
に、上の話をとりあえず当てはめてみると、tが然るべき条件を満たすとき、
f(x,t)=ϵf(x)となります。しかし、tの条件はxによる可能性があるので、次のようにするのがよいでしょう。

(x,t)が然るべき条件を満たすとき、f(x,t)=ϵf(x)となる。

いちいち「然るべき条件」というのは面倒なので、この条件はxt平面上の領域とみなせますから、それをϵ領域と呼ぶことにしましょう。ϵ領域内で、f(x,t)=ϵf(x)と考えるということです。

epsilon領域 epsilon領域

一様収束

一様収束

bTに対し、
limtb||fft||X=0
が成り立つとき、関数族(ft(x))tTfX上一様収束するという。

f(x,t)f(x)tbで一様収束するというのは、ϵ領域が次の図のように、長方形に取れるというのと等しいことがわかると思います。

一様収束 一様収束

反対に、f(x,t)f(x)tbで一様収束せず各点収束するというのは、ϵ領域が次の図のように、定義域内で無限に細くなってしまうということです。

各点収束 各点収束

完全に潰れてしまう点(a,b)は定義域の外にあることに注意してください。でないと、各点収束すらしないことになってしまいます。

極限の順序交換

わざわざこのような言い換えをしてきたのは、極限の順序交換の話をするためです。
limxalimtbf(x,t)=limtblimxaf(x,t) ...(A)
は一般に成り立つでしょうか。ただし、limxaf(x,t)=g(t)limtbf(x,t)=f(x)は、少なくとも各点収束の意味で存在するとします。また、limxaf(x)=cも存在するとします。
limxaf(x,t)=g(t)limtbf(x,t)=f(x)が一様収束か否かで場合分けして考えてみましょう。

ともに一様収束の場合

ともに一様収束ならば、2つのϵ領域、およびcϵ領域は次のようになっているはずです。

ともに一様収束 ともに一様収束

つまり、g(t)ϵ領域のなかで、tbに近づけていけば、cϵ領域に入ることができます。これは、
limtbg(t)=c
を意味し、(A)が成り立つことがわかりました。ついでに、(a,b)の近傍で、cϵ領域にすっぽり入るものが取れますから、
lim(x,t)(a,b)f(x,t)=c ...(B)
も成り立ちます。

一方のみ一様収束の場合

一方のみ一様収束のとき、2つのϵ領域、およびcϵ領域は次のようになっているでしょう。

一様収束と各点収束 一様収束と各点収束

このときもやはり、g(t)ϵ領域のなかで、tbに近づけていけば、cϵ領域に入ることができます。つまり(A)は成り立ちますし、同様にして(B)も成り立ちます。

ともに一様収束でない場合

ともに一様収束でない場合、一番"ヤバイ"のは、ϵ領域が次のようになっているときです。

ともに各点収束 ともに各点収束

このとき、g(t)ϵ領域はcのそれと共通部分を持たないので、limtbg(t)=cとは限りません。よって(A)が成り立つとは言えません。

おわりに

このように、"ϵ領域"というものをイメージすると、極限の順序交換がなぜ一様収束性と関係するのか、少しはわかりやすくなるのではないかと思います。

読んでいただきありがとうございました。

投稿日:20201122
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 極限を捉え直す
  3. 関数族の極限
  4. 一様収束
  5. 極限の順序交換
  6. ともに一様収束の場合
  7. 一方のみ一様収束の場合
  8. ともに一様収束でない場合
  9. おわりに