next up previous
Next: About this document ...

    

微分積分学概論AI試験解答と解説

問題 15.1   $ f(x)=x^{100}$ とおく。 正の数 $ \epsilon$ と実数 $ a$ が与えられたとするとき、

$\displaystyle \vert x-a\vert<\delta \ \implies\ \ \vert f(x)-f(a)\vert<\epsilon
$

をみたす $ \delta>0$ を一つ挙げ、実際にその $ \delta$ が 上記の性質を満たすことを示しなさい。 (二項定理を証明なしに用いても良い。)

(解答)

$\displaystyle \delta=\min(1,\frac{\epsilon}{ (\vert a\vert+1)^{100} })
$

と置けば良い。 実際、このとき、 $ x-a=h$ とおいて、

$\displaystyle \vert h\vert=\vert x-a\vert<\delta
$

とすると

  $\displaystyle \vert h\vert<1,$ (あ)
  $\displaystyle (\vert a\vert+1)^{100}\vert h\vert<\epsilon.$ (い)

がなりたつ。さらに (あ)から

% latex2html id marker 898
$\displaystyle \vert h\vert \geq \vert h\vert^j \quad(j=1,2,3,\dots)$ (う)

がなりたつ。 これらに注意して $ \vert f(x)-f(a)\vert$ を下のように評価すれば良い。

  $\displaystyle \vert f(x)-f(a)\vert$    
$\displaystyle \underset{\text{二項定理}}{=}$ $\displaystyle \vert\sum_{j=1}^{100}\binom{100}{j}a^j h^{100-j}\vert$    
% latex2html id marker 904
$\displaystyle \leq$ $\displaystyle \sum_{j=1}^{100}\binom{100}{j}\vert a^j h^{100-j}\vert$    
% latex2html id marker 906
$\displaystyle \underset{\text{(う)}}{\leq}$ $\displaystyle \vert h\vert\sum_{j=1}^{100}\binom{100}{j} \vert a\vert^j$    
% latex2html id marker 908
$\displaystyle \leq$ $\displaystyle \vert h\vert\sum_{j=0}^{100}\binom{100}{j} \vert a\vert^j$    
$\displaystyle =$ $\displaystyle \vert h\vert (\vert a\vert+1)^{100}$    
$\displaystyle \underset{\text{(い)}}{<}$ $\displaystyle \epsilon$    

% latex2html id marker 1030
$ \qedsymbol$

(解説)

◯ 数学では二項定理のさい $ {}_{n}C_{r}$ のような組合せの記号より $ \binom{n}{r}$ を用いることが多い。その理由は

$\displaystyle (1+x)^a=\sum_{j=0}^\infty \binom{a}{j} x^j
$

のような式を扱う際に明らかになる。

◯ 上の解答で、

$\displaystyle \delta=\min(1,
\frac{\epsilon}
{\sum_{j=1}^{100} \binom{100}{j} \vert a\vert^j })
$

でももちろん構わない。ちょっと泥くさい感じにはなるが。

◯ 単に $ x\mapsto x^{100}$ が連続であるという事実だけならば

  1. $ x \mapsto x$ は連続である。
  2. $ x \mapsto f(x)$ が連続で $ x \mapsto g(x)$ も連続ならば $ x\mapsto f(x)g(x)$ も連続である。
という事実から説明するほうが易しい。 じっさい、(2) を $ f(x)=x,g(x)=x$ の場合に適用して $ x\mapsto x^2$ は連続。 同様に $ x\mapsto x^3$ も連続$ ,\dots$ という具合に論を進めれば良い。

問題 15.2   0 でない実数 $ a$ が与えられているとする。 このとき、
  1. % latex2html id marker 949
$\displaystyle \vert x-a\vert< \delta_0 \implies x\neq 0
$

    を満足するような正の実数 $ \delta_0$ の例を ($ a$ を用いて)挙げよ。
  2. $ f(x)=\frac{1}{x}$ とおく。 $ \epsilon>0$ が与えられたとするとき、

    $\displaystyle \vert x-a\vert<\delta \ \implies\ \ \vert f(x)-f(a)\vert<\epsilon
$

    をみたす $ \delta>0$ を一つ挙げ、実際にその $ \delta$ が 上記の性質を満たすことを示しなさい。

(解答)

(1)

$\displaystyle \delta_0=\frac{\vert a\vert}{2}
$

とおけば良い。じっさい、このとき $ \vert x-a\vert<\delta_0$ なる任意の実数 $ x$ に 対して、

% latex2html id marker 971
$\displaystyle \vert x\vert=\vert a+(x-a)\vert\geq \vert a\vert-\vert x-a\vert>\vert a\vert-\delta_0=\frac{\vert a\vert}{2}\\
$

がなりたち、ゆえに % latex2html id marker 973
$ x\neq 0$ であるから。

(2)

$\displaystyle \delta=\min(\frac{\vert a\vert}{2},\frac{\vert a\vert^2\epsilon}{2})
$

とおけばよい。 実際、このとき、 $ x-a=h$ とおいて、

$\displaystyle \vert h\vert=\vert x-a\vert<\delta
$

とすると

  $\displaystyle \vert h\vert<\frac{\vert a\vert^2}{2} \epsilon,$ (い)
  $\displaystyle \vert h\vert<\frac{\vert a\vert}{2}$ (ろ)

がなりたつ。これらに注意して $ \vert f(a+h)-f(a)\vert$ を下のように評価すれば良い。

  $\displaystyle \vert f(a+h)-f(a)\vert$    
$\displaystyle =$ $\displaystyle \left\vert\frac{1}{(a+h)}-\frac{1}{a}\right\vert$    
$\displaystyle =$ $\displaystyle \left\vert\frac{a-(a+h)}{a(a+h)}\right\vert = \frac{\vert h\vert}{\vert a\vert\vert a+h\vert}$    
% latex2html id marker 989
$\displaystyle \leq$ % latex2html id marker 990
$\displaystyle \frac{\vert h\vert}{\vert a\vert(\vert a\vert-\vert h\vert)} \qquad($三角不等式$\displaystyle )$    
% latex2html id marker 992
$\displaystyle \underset{\text{(ろ)}}{\leq}$ $\displaystyle \frac{2\vert h\vert}{\vert a\vert^2} \underset{\text{(い)}}{<}\epsilon$    

% latex2html id marker 1031
$ \qedsymbol$

問題 15.3   関数 $ f$ $ \mbox{${\mathbb{R}}$}$% latex2html id marker 1003
$ \in x \to f(x)=\max(3 x, 0)\in$   $ \mbox{${\mathbb{R}}$}$ で定める。 このとき $ f$ $ \mbox{${\mathbb{R}}$}$ で一様連続であることを証明しなさい。

(解答) まず

$\displaystyle f(x)=\frac{1}{2}(3 x + \vert 3 x\vert )
$

であることに注意する。

任意の正の実数 $ \epsilon$ に対して、 正の実数 $ \delta$ $ \delta=\epsilon/3$ で定める。 このとき、 $ \vert x-y\vert<\delta$ なる任意の $ x,y\in$   $ \mbox{${\mathbb{R}}$}$ に対して

$\displaystyle \vert f(x)-f(y)\vert =$ $\displaystyle \frac{1}{2}\vert(3 x + 3 \vert x\vert) - (3 y +3 \vert y\vert)\vert =\frac{1}{2}\vert 3 (x-y) + 3 (\vert x\vert - \vert y\vert)\vert$    
% latex2html id marker 1024
$\displaystyle \leq$ $\displaystyle 3/2 \vert x-y\vert + 3/2 \vert\vert x\vert - \vert y\vert\vert$    
% latex2html id marker 1026
$\displaystyle \leq$ $\displaystyle 3/2\vert x-y\vert +3/2 \vert x-y\vert= 3 \vert x-y\vert$    
$\displaystyle <$ $\displaystyle \epsilon.$    

% latex2html id marker 1032
$ \qedsymbol$

ARRAY(0x8e73c50)ARRAY(0x8e73c50)ARRAY(0x8e73c50)


next up previous
Next: About this document ...
2008-07-28