本記事の内容
本記事は1変数ベクトル値関数の無限大における極限について解説する記事です。
本記事を読むにあたり、ベクトル値関数の極限について知っている必要があるため、その際は以下の記事を参照してください。
また、実数値関数の場合を理解しているとより、イメージがつきやすいと思われますので、その際は以下の記事を参照してください。
実数値関数の場合のチャラい復習
1変数の場合をチャラく復習します。
- x→∞のときのAへの収束 I=(α,∞)のとき、関数fがAに収束するとは、次が成り立つことをいう。 (∀ϵ>0)(∃U′∈R) s.t. (∀x∈I:x>U′⇒|f(x)−A|<ϵ) このとき、 limx→∞f(x)=A と書く。
- x→−∞のときのAへの収束 I=(∞,β)のとき、関数fがAに収束するとは、次が成り立つことをいう。 (∀ϵ>0)(∃L′∈R) s.t. (∀x∈I:x<L′⇒|f(x)−A|<ϵ) このとき、 limx→−∞f(x)=A と書く。
要は、平たく言えば、
あるL′∈R以前の実数xについては、f(x)とA∈Rの距離が十分近いときに、limx→−∞f(x)=Aと書く。
ということでした。
詳しくは【解析学の基礎シリーズ】関数の極限編 その18を御覧ください。
ベクトル値関数の場合
正直なところ、実数値関数のときとほとんど同じです。
実数値関数の場合は、あるU′∈R以降の実数xについては、f(x)とA∈Rの距離、すなわち、「実数と実数の距離」が十分近いときに、limx→∞f(x)=Aと書く、ということです。
一方ベクトル値関数の場合は、あるU′∈R以降の実数xについては、f(x)とA∈Rmの距離、すなわち、「ベクトルとベクトルの距離」が十分近いときに、limx→∞f(x)=Aと書く、という単にそれだけです。
これを数学的に書くと、次です。
- x→∞のときのAへの収束 I=(α,∞)のとき、ベクトル値関数fがAに収束するとは、次が成り立つことをいう。 (∀ϵ>0)(∃U′∈R) s.t. (∀x∈I:x>U′⇒|f(x)−A|<ϵ) 言い換えれば、 f(x)=(f1(x)f2(x)⋮fm(x)),A=(A1A2⋮Am) と書いたとき、 (∀ϵ>0)(∃U′∈R) s.t. (∀x∈I:x>U′⇒√m∑i=1(fi(x)−A1)2<ϵ) が成り立つことを言う。 このとき、 limx→∞f(x)=A と書く。
- x→−∞のときのAへの収束 I=(−∞,β)のとき、関数fがAに収束するとは、次が成り立つことをいう。 と書いたとき、 (∀ϵ>0)(∃U′∈R) s.t. (∀x∈I:x>U′⇒√m∑i=1(fi(x)−Ai)2<ϵ) が成り立つことを言う。 このとき、 limx→∞f(x)=A と書く。
- x→−∞のときのAへの収束 I=(−∞,β)のとき、関数fがAに収束するとは、次が成り立つことをいう。 (∀ϵ>0)(∃L′∈R) s.t. (∀x∈I:x<L′⇒|f(x)−A|<ϵ) 言い換えれば、 f(x)=(f1(x)f2(x)⋮fm(x)),A=(A1A2⋮Am) と書いたとき、 (∀ϵ>0)(∃L′∈R) s.t. (∀x∈I:x<L′⇒√m∑i=1(fi(x)−Ai)2<ϵ) が成り立つことを言う。 このとき、 limx→−∞f(x)=A と書く。
ね？そのまんまでしょ？
本当に成り立つのかネ？
もちろん成り立ちます。
簡単ではありますが、例を挙げましょう。
例1. f:R∖{0}→R2が
f(x)=(e1xe12x)
で定められているとします。
x→∞のとき、f(x)→(0,0)です。
証明
示したいことは、
(∀ϵ>0)(∃U′∈R) s.t. (∀x∈I:x>U′⇒√(e1x)2+(e12x)2<ϵ)
です。
要は、上記のようなU′∈Rを見つけたいわけです。
もし仮に、任意のϵ>0に対して、上記のようなU′∈Rがあったとしたら、x>U′を満たすx∈Rにおいて、
√(e1x)2+(e12x)2<√(e1U′)2+(e12U′)2
ですので、
√(e1U′)2+(e12U′)2<ϵ
となってほしいわけです。
従って、
√(e1U′)2+(e12U′)2=ϵ
の解がU′の候補です。
これを解けば、U′=2log−1+√4ϵ+12です。
故に、U′=2log−1+√4ϵ+12とすることで、
(∀ϵ>0)(∃U′∈R) s.t. (∀x∈I:x>U′⇒√(e1x)2+(e12x)2<ϵ)
です。
証明終わり
例1. f:R∖{0}→R2が
f(x)=(e1xe12x)
で定められているとします(さっきと同じです)。
x→−∞のとき、f(x)→(0,0)です。
証明
示したいことは、
(∀ϵ>0)(∃U′∈R) s.t. (∀x∈I:x<L′⇒√(e1x)2+(e12x)2<ϵ)
です。
先程とほとんど同じです。
要は、上記のようなL′∈Rを見つけたいわけです。
もし仮に、任意のϵ>0に対して、上記のようなL′∈Rがあったとしたら、x<L′を満たすx∈Rにおいて、L′<0であれば、
√(e1x)2+(e12x)2<√(e1L′)2+(e12L′)2
ですので、
√(e1L′)2+(e12L′)2<ϵ
となってほしいわけです。
従って、先程のU′を使って、L′=−U′であれば良い事がわかります。
つまり、L′=−2log−1+√4ϵ+12です。
故に、−L′=2log−1+√4ϵ+12とすることで、
(∀ϵ>0)(∃L′∈R) s.t. (∀x∈I:x<L′⇒√(e1x)2+(e12x)2<ϵ)
です。
証明終わり
結
今回はlimx→±∞f(x)=aについて解説しました。
結局の所実数値関数の場合と何ら変わりません。
ただ「距離が近い」というところが実数値関数の場合と違ってベクトル同士の距離が近い、という意味になるだけです。
次回は、いよいよ微分法に入っていきます！
まずは高校数学の復習ということで、１変数実数値関数の微分法について解説します。
※もちろん、高校数学で微積分を習っていない、または「んなもん忘れたわ」という方にも読んで頂けるよう必要なことをエクストリームで解説します。
乞うご期待！質問、コメントなどお待ちしております！
コメントをする