片側極限

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

数学微分積分学における片側極限(かたがわきょくげん、: one-sided limit)とは、変数関数 f(x) の x が、ある点に上側あるいは下側から近付くときに得られる二つの極限のいずれかのことを言う。xa に減少する形で近付く(xa に「右から」あるいは「上から」近付く)時の極限は

\lim_{x\to a^+}f(x)\ or  \lim_{x\downarrow a}\,f(x) or  \lim_{x \searrow a}\,f(x)

と記述する。同様に、xa に増加する形で近付く(xa に「左から」あるいは「下から」近付く)時の極限は

\lim_{x\to a^-}f(x)\ or  \lim_{x\uparrow a}\, f(x) or  \lim_{x \nearrow a}\,f(x)

と記述する。

f(x) の xa に近付く時の通常の意味での極限が存在するなら、二つの片側極限は存在し、それらは一致する。極限

\lim_{x\to a} f(x)\,

が存在しなくても、二つの片側極限が存在する場合もある。結果として、xa に近付く時の極限はしばしば両側極限とも呼ばれる。片側極限の一方は存在するがもう一方は存在しない場合や、いずれの片側極限も存在しない場合もあり得る。

左側極限は、次のように厳密に定義することが出来る:

\forall\varepsilon > 0\;\exists \delta >0 \;\forall x \in I \;(0 < a - x < \delta \Rightarrow |f(x) - L|<\varepsilon)

同様に、右側極限は次のように厳密に定義することが出来る:

\forall\varepsilon > 0\;\exists \delta >0 \;\forall x \in I \;(0 < x - a < \delta \Rightarrow |f(x) - L|<\varepsilon)

ここで  I f の定義域に含まれるある区間を表す。

[編集]

片側極限がそれぞれ異なるような関数の例として、次が挙げられる:

\lim_{x \rarr 0^+}{1 \over 1 + 2^{-1/x}} = 1

であるが、

\lim_{x \rarr 0^-}{1 \over 1 + 2^{-1/x}} = 0

となり、二つの片側極限は一致しない。

位相幾何的な極限の定義との関係[編集]

ある点 p への片側極限は、関数の定義域がその位相空間の部分集合であることを許すか、あるいは p を含む片側部分空間を考えることによって、その定義域が片側に制限されるような、極限の一般的な定義に対応する。

アーベルの定理[編集]

ある冪級数の、収束区間の境界における片側極限を扱った注目すべき定理に、アーベルの定理英語版がある。

関連項目[編集]

外部リンク[編集]