関数の極限値の性質の証明（和の極限）

${\displaystyle \underset{x\to a}{lim}f\left(x\right)}$ ，${\displaystyle \underset{x\to a}{lim}g\left(x\right)}$ が存在するとき，次式が成り立つ．

${\displaystyle \underset{x\to a}{lim}\left\{f\left(x\right)+g\left(x\right)\right\}}$${\displaystyle =\underset{x\to a}{lim}f\left(x\right)+\underset{x\to a}{lim}g\left(x\right)}$

■証明

${\displaystyle \underset{x\to a}{lim}f\left(x\right)}$，${\displaystyle \underset{x\to a}{lim}g\left(x\right)}$ が存在することより

${\displaystyle \underset{x\to a}{\lim }f\left(x\right)=\alpha }$，${\displaystyle \underset{x\to a}{\lim }g\left(x\right)=\beta }$

とする．言い換えると以下のようになる．

任意の正数$\epsilon$ に対して，適当な正の数$\delta$ があって

$0<\left|x-a\right|<\delta$のすべての$x$ について${\displaystyle \left|f\left(x\right)-\alpha \right|<\epsilon }$，${\displaystyle \left|g\left(x\right)-\beta \right|<\epsilon }$となる

上記前提の下で

${\displaystyle \left|\left\{f\left(x\right)+g\left(x\right)\right\}-\left(\alpha +\beta \right)\right|}$

${\displaystyle =\left|\left\{f\left(x\right)-\alpha \right\}+\left\{g\left(x\right)-\beta \right\}\right|}$

三角不等式の関係より

${\displaystyle \leqq \left|f\left(x\right)-\alpha \right|+\left|g\left(x\right)-\beta \right|}$

${\displaystyle <2\epsilon }$　･･････(1)

となる．

${\displaystyle 2\epsilon ={\epsilon }^{\prime }}$とおくと，(1)は

${\displaystyle \left|\left\{f\left(x\right)+g\left(x\right)\right\}-\left(\alpha +\beta \right)\right|<{\epsilon }^{\prime }}$

となる．$\epsilon$は任意の正数より，${\epsilon }^{\prime }$も任意の正数とみなすことができる．

整理すると

任意の正数${\displaystyle {\epsilon }^{\prime }}$ に対して，適当な正の数$\delta$ があって

$0<\left|x-a\right|<\delta$のすべての$x$ について${\displaystyle \left|\left\{f\left(x\right)+g\left(x\right)\right\}-\left(\alpha +\beta \right)\right|<{\epsilon }^{\prime }}$ となる

すなわち

${\displaystyle \underset{x\to a}{\lim }\left\{f\left(x\right)+g\left(x\right)\right\}}$${\displaystyle =\alpha +\beta }$${\displaystyle =\underset{x\to a}{\lim }f\left(x\right)+\underset{x\to a}{\lim }g\left(x\right)}$

が成り立つ．

 

ホーム>>カテゴリー別分類>>その他>>関数の極限値の性質>>関数の極限値の性質の証明（和の極限）

最終更新日 2024年1月29日