下記テーマに関する記事の一部 |
解析学 |
---|
![](//upload.wikimedia.org/wikipedia/commons/thumb/a/a5/Fundamental_Theorem_of_Calculus.svg/200px-Fundamental_Theorem_of_Calculus.svg.png) |
|
|
|
|
|
|
|
|
|
関数の極限(かんすうのきょくげん)とは、ある関数に対して、その変数をある値に限りなく近づける操作、および極限操作によって定まる関数の値である。
極限操作は、記号 lim を用いて表される。例えば関数 f に対して変数 x を c へ近づける極限は以下のように表される:
変数の収束に伴う関数の挙動
f(c) ≠ L となる例 f(x) を実関数とし、c を実数とする。式
![{\displaystyle \lim _{x\to c}f(x)=L}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3f174c16cc9e61932ecc7eb71b27a4f10a44fc9)
または
![{\displaystyle f(x)\rightarrow L\quad (x\rightarrow c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b252ff0c8db3eb7ca10dd5b5b0d46a57593f5f5)
は x の値を c に“十分に近づければ”f(x) の値を L に望む限りいくらでも近づけることができることを意味する。このとき「x を c に近づけたときの f(x) の極限は L である」という。これはイプシロン-デルタ論法により
![{\displaystyle {}^{\forall }\varepsilon >0,\;{}^{\exists }\delta >0\;;\;{}^{\forall }x\;{\bigg [}0<|x-c|<\delta \Longrightarrow |f(x)-L|<\varepsilon {\bigg ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6681a813ac23c4844003e3aafb598c99821626df)
という形で厳密に定義される[注釈 1]。このとき極限 L は存在するならば、その値は関数 f(x) と点 c から一意に定まる。一方この極限と関数 f(x) の x = c における値は無関係であり、f(c) ≠ L であることもある(右図)。
このことを理解するために次の例を挙げる。
x が 2 に近づくときの
の値を考える。この場合、f(x) は x が 2 のときに定義されており、値は 0.4 である。
![{\displaystyle f(1.9)=0.4121}](https://wikimedia.org/api/rest_v1/media/math/render/svg/180b2c11a53e823bf3142c106edbd57ad848e2ba)
![{\displaystyle f(1.99)=0.4012}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b36ffe154f99a23d5b7b0199821880f812218818)
![{\displaystyle f(1.999)=0.4001}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2211ffb63edb7232ca7b25ea7526d9b457d0272)
x が 2 に近づくにつれて f(x) が 0.4 に近づいていく。したがって、
である。このように
であるとき、f(x) は x = c で連続であるという。しかし、このようなことが常に成り立つとは限らない。
例として、
![{\displaystyle g(x)={\begin{cases}{\frac {x}{x^{2}+1}},&{\mbox{if }}x\neq 2\\0,&{\mbox{if }}x=2\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3a978d84322f005e6074ca9759327a2f451ac99)
を考える。x が 2 に近づくときの g(x) の極限は 0.4 であるが、
である。故に g(x) は x = 2 で連続でない。
また、x→ c のとき、f(x) の値が限りなく大きくなることを、「x が c に限りなく近づくとき関数 f(x) は正の無限大に発散する」といい、
![{\displaystyle \lim _{x\to c}f(x)=\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/12ee108cd85ef5131a6393d1ddc5a3619fa0538b)
または
![{\displaystyle f(x)\to \infty \quad (x\to c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e8f820e08d47d36aef7655a52402ae73096a212)
と表す。このことは次のように厳密に定義される。
![{\displaystyle {}^{\forall }K>0,\;{}^{\exists }\delta >0\;;\;{}^{\forall }x\;{\bigg [}0<|x-c|<\delta \Longrightarrow f(x)>K{\bigg ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66baf638c5661c8aa7594e7a8ab60ea051c172bc)
逆に、x→ c のとき、f(x) の値が限りなく小さくなることを、「x が c に限りなく近づくとき関数 f(x) は負の無限大に発散する」といい、
![{\displaystyle \lim _{x\to c}f(x)=-\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/25fd692baae092bd122c653a145a393bc609ddcc)
または
![{\displaystyle f(x)\to -\infty \quad (x\to c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbd40b75748cd0603735b8cfbb87611d4641ec11)
と表す。これは次のように厳密に定義される。
![{\displaystyle {}^{\forall }K<0,\;{}^{\exists }\delta >0\;;\;{}^{\forall }x\;{\bigg [}0<|x-c|<\delta \Longrightarrow f(x)<K{\bigg ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c12bd0f3cb841e428469ae34690a1126629789b)
連続な実関数 f(x) が x → c とする極限において発散するならば、f(x) は x = c において定義できない。なぜなら、定義されていたとすると x = c は不連続点となるからである。
無限遠点における挙動
x がある有限の値に近づくときだけでなく、x が正か負の無限に近づくときの関数の極限を定義することもできる。
ある無限区間 (a, ∞) で定義される関数 f(x) において、x が限りなく大きくなると関数 f(x) の値がある値 L に近づくとき、「x が限りなく大きくなるとき f(x) は L に収束する」といい、
![{\displaystyle \lim _{x\to \infty }f(x)=L}](https://wikimedia.org/api/rest_v1/media/math/render/svg/683c0a63b1ce848d887cd4e3db72dcf747227388)
または
![{\displaystyle f(x)\rightarrow L\quad (x\rightarrow \infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75bc8d237d71f042c5d6abb5dc75f8816d2195fd)
と表す。
これは次のように定義される。
![{\displaystyle {}^{\forall }\varepsilon >0,\;{}^{\exists }X>0\;;\;{}^{\forall }x\;{\bigg [}x>X\Longrightarrow |f(x)-L|<\varepsilon {\bigg ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be1711507fe16daf8cedc90c5ea2922496471732)
例えば、
を考える。
![{\displaystyle f(100)=1.9802}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be05d344718a5885d80ca1a3ba10d6b053e14927)
![{\displaystyle f(1000)=1.9980}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f7d4e9ca36810c5216d09bcff2f8d7a8dd180d6)
![{\displaystyle f(10000)=1.9998}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe0df7c84667099ea6f93b529db1ad1d612a2746)
x が十分大きくなるにつれて、f(x) は 2 に近づく。このとき、
と表す。
また、ある無限区間 (−∞, a) で定義される関数 f(x) において、x が限りなく小さくなると関数 f(x) の値がある値 L に近づくとき、「x が限りなく小さくなるとき f(x) は L に収束する」といい、
![{\displaystyle \lim _{x\to -\infty }f(x)=L}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c87977d0087d6828de10570e566c35dbe8fdba08)
または
![{\displaystyle f(x)\rightarrow L\quad (x\rightarrow -\infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd8fc0619249f46820a6906c0b6fa262f58a8bfb)
と表す。
これは次のように定義される。
![{\displaystyle {}^{\forall }\varepsilon >0,\;{}^{\exists }X<0\;;\;{}^{\forall }x\;{\bigg [}x<X\Longrightarrow |f(x)-L|<\varepsilon {\bigg ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7138b49b83c35a8d638d62aac1f56e05fb25c50e)
関数の無限における極限においても、関数の発散を考えることができる。
ある無限区間 (a, ∞) で定義される関数 f(x) において、x が限りなく大きくなると関数 f(x) の値も限りなく大きくなるとき、「x が限りなく大きくなるとき f(x) は正の無限大に発散する」といい、
![{\displaystyle \lim _{x\to \infty }f(x)=\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f827d9923f7073e1b81f0cb9391f8bbe821c9356)
または
![{\displaystyle f(x)\rightarrow \infty \quad (x\rightarrow \infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dab723a15354637b75fb0e89a4bdc4e18b08642c)
と表す。
これは次のように定義される。
![{\displaystyle {}^{\forall }K>0,\;{}^{\exists }X>0\;;\;{}^{\forall }x\;{\bigg [}x>X\Longrightarrow f(x)>K{\bigg ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/498fe2e219bd4ae84bfdb9e8b7245d85c6b4b09c)
また、ある無限区間 (−∞, a) で定義される関数 f(x) において、x が限りなく小さくなると関数 f(x) の値が限りなく大きくなるとき、「x が限りなく小さくなるとき f(x) は正の無限大に発散する」といい、
![{\displaystyle \lim _{x\to -\infty }f(x)=\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b97f7e20152a64eab365d1c73bec9d37082a58e)
または
![{\displaystyle f(x)\rightarrow \infty \quad (x\rightarrow -\infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c848b66a97847b69ee5b591467a54fc9c07b92d5)
と表す。
これは次のように定義される。
![{\displaystyle {}^{\forall }K>0,\;{}^{\exists }X<0\;;\;{}^{\forall }x\;{\bigg [}x<X\Longrightarrow f(x)>K{\bigg ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/345835bd36227fce5e031c9cda19e94031b68d21)
同様に、x → ∞ や x → −∞ における負の無限大への発散を定義することができる。
x → ∞ や x → −∞ において、関数 f(x) が収束もせず、また正の無限大にも負の無限大にも発散しない場合、その関数は数列と同様に振動するという。
脚注
[脚注の使い方]
注釈
- ^ より一般に関数 f の定義域が実数の部分集合 E の場合、点 c は E の集積点にとる。このとき関数 f は点 c において定義されている必要はないことに注意。
出典
参考文献
- Krantz, Steven G. (2017). Real Analysis and Foundations (Fourth ed.). CRC Press. ISBN 978-1-4987-7768-1. Zbl 1348.26004
関連項目