next up previous contents index
Next: 全微分(total differential) Up: 偏微分法(PARTIAL DIFFERENTIATION) Previous: 偏導関数(partial derivatives)   目次   索引

関数の極限(limit of function)

関数 $ z = f({\bf x})$ において， $ {\bf x} \rightarrow {\bf x}_{0}$ のとき， $ f({\bf x}) \rightarrow l$ ならば， $ l$ を $ {\bf x}$ が $ {\bf x}_{0}$ に近づくときの $ f({\bf x})$ の極限値といい，

$\displaystyle \lim_{{\bf x} \rightarrow {\bf x}_{0}}f({\bf x}) = l $

で表わします．

1変数のときと違い $ {\bf x} \rightarrow {\bf x}_{0}$ を満たす近づき方は無限にあります．上の定義は $ {\bf x} \rightarrow {\bf x}_{0}$ を満たすすべての近づき方に対して， $ f({\bf x}) \rightarrow l$ であるといっているのです．

定義 6..2  

任意の正の数 $ \varepsilon$ に対して， $ 0 < \vert{\bf x} - {\bf x}_{0}\vert < \delta$ のとき， $ \vert f({\bf x}) - l\vert < \varepsilon$ が成り立つように正の数 $ \delta$ が選べるなら

$\displaystyle \lim_{{\bf x} \rightarrow {\bf x}_{0}}f({\bf x}) = l $

である．


この定義にでてきた $ 0 < \vert{\bf x} - {\bf x}_{0}\vert < \delta$ は 2変数のときは $ 0 < \sqrt{(x - x_{0})^2 + (y - y_{0})^2} < \delta$ と表わされ，半径 $ \delta$ の円の中心 $ (x_{0},y_{0})$ を除いた部分であることがわかります．このような集合を点 $ {\bf x}_{0}$ の $ \delta$ 近傍といい， $ N_{\delta}({\bf x}_{0})$ で表わします．

ここで，平面上の点についての理解を深めておきます． $ {\mathcal R}^2$ のある部分集合を $ D$ とします．このとき平面上の点 $ {\bf a}$ は次の3種類に分類されます．

(1) $ {\bf a} \in D$ に対し，

$\displaystyle {\bf a} \in N_{\delta}({\bf a}) \subset D $

となる $ {\bf a}$ の $ \delta$ 近傍が存在するとき， $ {\bf a}$ は $ D$ の 内点(interior point) といいます．

(2) $ {\bf a} \in D$ に対し，

$\displaystyle {\bf a} \in N_{\delta}({\bf a}) \ \mbox{かつ} \ N_{\delta}({\bf a}) \cap D = \phi $

となる $ {\bf a}$ の $ \delta$ 近傍が存在するとき， $ {\bf a}$ は $ D$ の 外点(exterior point) といいます．

(3) $ {\bf a}$ が $ D$ の内点でも外点でもないとき，点 $ {\bf a}$ を $ D$ の 境界点(boundary point) といいます．

図 6.3: 平面上の点
\begin{figure}\begin{center} \includegraphics[width=5cm]{CALCFIG/Fig6-2-1.eps} \end{center}\end{figure}

$ D$ の境界点すべての集合を $ D$ の 境界(boundary) といい， $ \partial D$ で表わします．また，すべての点が $ D$ の内点のとき $ D$ を 開集合(open set) といいます．

例題 6..6  

$ \displaystyle{D = \{(x,y) \in R^2 : x^2 + y^2 < 1\}}$ は開集合であることを示してみましょう．

解 $ (x_{0},y_{0}) \in D$ を $ D$ の任意の点とします．このとき原点と点 $ (x_{0},y_{0})$ までの距離を求めると $ \sqrt{x_{0}^{2} + y_{0}^{2}}$ となります．よって， $ \delta$ を $ \displaystyle{\frac{1 - \sqrt{x_{0}^{2} + y_{0}^{2}}}{2}}$ より小さくとれば，

$\displaystyle (x_{0},y_{0}) \in N_{\delta}(x_{0},y_{0}) \subset D $

が成り立ちます．よって，集合 $ D$ は開集合となります． $ \blacksquare$

また，集合 $ D$ の補集合 $ \sim D$ が開集合のとき $ D$ を 閉集合(closed set) といいます．$ D$ にその境界 $ \partial D$ を付加してできる集合を 閉包(closure) といい， $ \overline{D}$ で表わします．

集合 $ D$ に属するどの2点も， $ D$ の中だけを通る連続曲線で結ぶことができるとき， $ D$ を 連結(connected)な集合といいます．また，連結な開集合を 領域(region) といいます．領域 $ D$ の閉包 $ \overline{D}$ を 閉領域(closed region) といいます．

集合 $ D$ が半径 $ r$ の開円板 $ \{x : \vert x\vert < r\}$ に含まれるとき，集合 $ D$ は 有界(bounded) であるといいます．

例題 6..7  

$\displaystyle D = \{(x,y) \in R^2 : x^2 + y^2 < 1\} $

の境界と閉領域を求め，有界な領域か調べてみましょう．

解 境界は

$\displaystyle \partial D = \{(x,y) \in R^2 : x^2 + y^2 = 1\} $

で閉領域 $ \overline{D}$ は

$\displaystyle \overline{D} = \{(x,y) \in R^2 : x^2 + y^2 \leq 1\} $

となります．また， $ r = 2$ とおくと， $ D \subset \{x : \vert x\vert < 2\}$ となるので， $ D$ は有界です．最後に $ D$ に属するどの2点も半径1の円の中にあるので，直線(連続曲線)で結ぶことができます．よって領域となります． $ \blacksquare$

例題 6..8  

$\displaystyle D = \{(x,y) \in R^2 : y \neq 0\}$

は有界でもなく，また領域でもないことを示してみましょう．

解 $ D$ は平面から $ x$ 軸を除いた点の集合です．よって，どんな半径の開円板をとっても $ D$ を含むことができません．また，上半平面と下半平面から，1点ずつとると，この2点はどんな連続曲線でも結ぶことができません．よって領域ではありません． $ \blacksquare$

集合上での点についてはこのくらいにして，話を関数の極限にもどします．まず例として次の極限値の問題を考えてみましょう．

例題 6..9  

$\displaystyle \lim_{(x,y) \rightarrow (0,0)}\frac{x^{2}y}{x^2 + y^2}$

を求めてみましょう．

解 $ (x,y) \rightarrow (0,0)$ のとき， $ x^2 + y^2 \rightarrow 0, x^{2}y \rightarrow 0$ となります．では，どちらが速く0に近づくのでしょうか．それを調べるために，分母のそれぞれの項の中で最小な次数と分子のそれぞれの項の中で最小な次数とを比較します(なぜなら，次数が大きいほど速く0に近づきます)．この場合は，分子の項の最小次数は3で，分母の項の最小次数は2です．このように分子の項の最小次数 $ >$ 分母の項の最小次数のときは，平面上の任意の点 $ (x,y)$ を

$\displaystyle x = r\cos{\theta}, y = r\sin{\theta} $

とおくと，

$\displaystyle 0 \leq \vert\frac{x^{2}y}{x^2 + y^2}\vert = \vert\frac{r^3 \cos^2{\theta}\sin{\theta}}{r^2}\vert \leq \vert r\vert $

となり，任意の点 $ (x,y)$ がどのように $ (0,0)$ に近づいても，原点と点 $ (0,0)$ の距離 $ \vert r\vert = \sqrt{x^2 + y^2}$ は 0 に近づくので， $ (x,y) \rightarrow (0,0)$ と $ \vert r\vert \rightarrow 0$ は同値です．よって，はさみうちの定理より，

$\displaystyle \lim_{(x,y) \rightarrow (0,0)}\vert\frac{x^{2}y}{x^2 + y^2}\vert = 0 $

したがって，

$\displaystyle \lim_{(x,y) \rightarrow (0,0)}\frac{x^{2}y}{x^2 + y^2} = 0$

となります． $ \blacksquare$

もう1つ極限値の問題を解いてみましょう．

例題 6..10  

$\displaystyle \lim_{(x,y) \rightarrow (0,0)}\frac{xy}{x^2 + y^2} $

を求めてみましょう．

解 この例では分子の項の最小次数 = 分母の項の最小次数となります．ここで， $ y = mx$ とおくと，

$\displaystyle \frac{xy}{x^2 + y^2} = \frac{mx^2}{x^2(1 + m^2)} = \frac{m}{1 + m^2} (x \neq 0)$

したがって，

$\displaystyle \lim_{(x,y) \rightarrow (0,0)}\frac{xy}{x^2 + y^2} = \frac{m}{1 + m^2} $

この値は $ m$ の値によって，つまり， $ (x,y)$ が $ (0,0)$ に近づく経路によって異なります．よって上の定義より $ (x,y) \rightarrow (0,0)$ のとき極限値は存在しません． $ \blacksquare$

1変数のときと同様，

$\displaystyle \lim_{{\bf x} \rightarrow {\bf x}_{0}}f({\bf x}) = f({\bf x}_{0}) $

が成り立つとき， $ f({\bf x})$ は $ {\bf x} = {\bf x}_{0}$ で連続であるといいます．また，ある集合 $ D$ の各点で連続のとき， $ f({\bf x})$ は $ D$ で連続であるといいます．

例題 6..11  

$\displaystyle f(x,y) = \left\{\begin{array}{cl} \frac{x y}{\sqrt{x^2 + y^2}}, & (x,y) \neq (0,0)\\ 0, & (x,y) = (0,0) \end{array}\right.$

の $ (0,0)$ における連続性を調べてみましょう．

解 $ \lim_{(x,y) \rightarrow (0,0)}f(x,y) = f(0,0)$ が成り立つか調べればよいでしょう．分子の項の最小次数 $ >$ 分母の項の最小次数より， $ x = r\cos{\theta}, y = r\sin{\theta}$ とおくと，

$\displaystyle \vert\frac{xy}{\sqrt{x^2+y^2}}\vert = \vert\frac{r^2\cos{\theta}\sin{\theta}}{r}\vert \leq \vert r\vert \longrightarrow 0 (r \rightarrow 0)$

したがって， $ \lim_{(x,y) \rightarrow (0,0)}f(x,y) = 0$. また， $ f(0,0) = 0$ より， $ f(x,y)$ は $ (0,0)$ で連続であることがわかります． $ \blacksquare$

確認問題


1.
次の極限値を求めよう．

(a) $ \displaystyle{\lim_{(x,y) \to (1,1)}\frac{x - y + 1}{x + y - 1}}$ (b) $ \displaystyle{\lim_{(x,y) \to (0,0)}\frac{2x - 3y}{x + y}}$ (c) $ \displaystyle{\lim_{(x,y) \to (0,0)}\frac{x^{2} - y^{2}}{x + y}}$

2.
次の関数の $ (0,0)$ における連続性を調べよう．

(a) $ \displaystyle{f(x,y) = \frac{xy}{x^{2} + y^{2} + 1}}$ (b) $ \displaystyle{ f(x,y) = \left\{\begin{array}{cl} \frac{x^2}{x^2+y^2}, & (x,y) \neq (0,0)\\ 0, & (x,y) = (0,0) \end{array}\right.}$

(c) $ \displaystyle{ f(x,y) = \left\{\begin{array}{cl} \frac{x^2y}{x^4+y^2}, & (x,y) \neq (0,0)\\ 0, & (x,y) = (0,0) \end{array}\right.}$

演習問題


1.
次の集合は開集合，閉集合，有界な集合，連結な集合，または，領域か調べ，境界と閉包を求めよう．

(a) $ \displaystyle{D = \{(x,y) : 0 < x^2 + y^2 < 1 \}}$ (b) $ \displaystyle{D = \{(x,y) : x y \leq 0 \}}$

2.
$ (x,y) \rightarrow (0,0)$ のとき，次の関数の極限値を求めよう．

(a) $ \displaystyle{\frac{\sqrt{xy}}{x^2 + y^2}}$ (b) $ \displaystyle{\frac{xy}{x^2 + y^2 + y^4} }$ (c) $ \displaystyle{\frac{xy}{x^2 + y^2 + y}}$

3.
次の関数の $ (0,0)$ における連続性を調べよう．

(a) $ \displaystyle{f(x,y) = \left\{\begin{array}{cl} \frac{x^2y}{x^2+y^2}, & (x,y) \neq (0,0)\\ 0, & (x,y) = (0,0) \end{array}\right.}$

(b) $ \displaystyle{ f(x,y) = \left\{\begin{array}{cl} \frac{x^2-y^2}{x^2+y^2}, & (x,y) \neq (0,0)\\ 0, & (x,y) = (0,0) \end{array}\right.}$

(c) $ \displaystyle{ f(x,y) = \left\{\begin{array}{cl} xy \log(x^2 + y^2), & (x,y) \neq (0,0)\\ -1, & (x,y) = (0,0) \end{array}\right.}$

next up previous contents index
Next: 全微分(total differential) Up: 偏微分法(PARTIAL DIFFERENTIATION) Previous: 偏導関数(partial derivatives)   目次   索引