解決済み

limとfの交換について質問です。

高校生です。


limとlogが交換可能であることの証明


x→aのとき、y→Aならば、

lim[x→a] log(y) =lim[y→A] log(y)

対数関数は連続であるので

lim[y→A] log(y) = log(A) ①

lim[y→A] y = A

より

log(lim[y→A] y ) = log(A)

①より

log(lim[y→A] y ) = lim[y→A] log(y)

対数関数はxとyが1対1に対応するので、

y→Aのとき、x→a

よって

log(lim[x→a] y ) = lim[x→a] log(y)


これは正しいですか?

また、連続関数であれば交換可能ということは1対1に対応することを使わなくても証明できると思うので、連続関数fについてlimと fが交換可能であることを証明して欲しいで

す。

ベストアンサー

ベストアンサー

 基本的に正しい証明ではないかと思います。一般の連続関数 ff の場合の証明は次のようにできます。


(証明) 仮定より、xx を限りなく aa へ近づければ yy は限りなく AA へ近づく。yyAA へ限りなく近づくので、f(y)f(y)f(A)f(A) へ限りなく近づく。すなわち、

limxaf(y)=f(A)\lim_{x \to a} f(y) = f(A)

ここで A=limxayA = \lim_{x \to a} y と書き換えれば

limxaf(y)=f(limxay)\lim_{x \to a} f(y) = f \left(\lim_{x \to a} y\right)

を得る。(証明おわり)


 問題は、xax \to a のとき、y,Ay, A の距離、f(y),f(A)f(y), f(A) の距離が限りなく縮まるか否かです。もしこれらの距離がある正の定数より縮まらないなら、勿論この命題は成り立ちません。しかし、そういう定数は存在しない(限りなく距離が縮まるので、どんな微小な定数をとっても、いずれはその定数を距離が下まわる)ことを保証するのが、yA, f(y)f(A)y \to A,\ f(y) \to f(A) という条件です。

返信(2件)

ありがとうございます。すぐに回答してもらえて助かりました。こんなに簡潔に証明できるんですね。


もう一つだけ質問なんですが

lim[x→a]f(y)=f(lim[x→a]y)

はy=Aで連続であれば他のところで不連続でも用いられますか?

 y=Ay = A で連続なら使えます。

 たとえば、y=3y = 3 で連続ではあるけれどもその直近に不連続な点があるような関数を例にとって見ます。

f(y)={y2+1(y31/101000)y2(y3>1/101000)f(y) = \begin{cases}y^2 + 1 & (|y - 3| \leq 1 / 10^{1000}) \\y^2 & (|y - 3| > 1/10^{1000})\end{cases}

この関数は、区間 [31/101000,3+1/101000][3 - 1/10^{1000}, 3 + 1/10^{1000}] で連続になっています。これは非常に短い区間ではありますが、yy を限りなく 33 へ近づけてゆくなら、いずれは yy がこの区間に入るので、f(y)f(y) は限りなく f(3)f(3) へ近づきます。ですので、こういう場合でも上の証明は問題なく通用します。区間の長さがどれほど短くなっても話は同じです。

 しかし、区間をどんどん短くしていって、ついに一点 [3,3][3,3] にまで縮まってしまったときだけは話が別になります。それは y=3y = 3 で不連続ということに他ならないからです。


質問者からのお礼コメント

質問者からのお礼コメント

丁寧にありがとうございました。これでモヤモヤせずにlimとlogを交換することができます。ありがとうございました。

そのほかの回答(0件)

関連する質問

もっとみる