next up previous
Next: About this document ...

    

微分積分学概論AI要約 No.10

\fbox{関数の連続性の定義}

定義 10.1 (``§4 (I)")   $ f$ は実数 $ a$ の近くで定義された関数であるとする。 このとき、$ f$$ a$ で連続であるとは、

$\displaystyle \lim_{x\to a} f(x)=f(a)
$

がなりたつときにいう。

極限の定義により、上の定義は次のように言い換えられる。

$\displaystyle \forall \epsilon>0, \exists \delta>0 ;\
(0< \vert x-a\vert<\delta  \implies  \vert f(x)-f(a)\vert<\epsilon)
$

$ x=a$ の場合を考慮に加えると、次のような定理がなりたつことがわかる。

定理 10.2   $ f$ は実数 $ a$ の近くで定義された関数であるとする。 このとき、 $ f$$ a$ で連続であることは、次の条件と同値である。

$ \forall \epsilon>0, \exists \delta>0;
( \vert x-a\vert<\delta  \implies  \vert f(x)-f(a)\vert<\epsilon)
$

上の定理は「定理」ではあるが、 連続性の定義における ``$ x=a$ '' の「例外的な扱い」を取り除いてむしろ 自然な形をしている。そこでこの講義ではもっぱら連続性を確かめるには 上の定理のほうを用いて判定することにする。実際には、関数 $ f$$ a$ の近くで定義されているという前提条件は強すぎる。そこで 定義域についての条件をハッキリ記述して次のように定義しよう。

定義 10.3   $ \mbox{${\mathbb{R}}$}$ の部分集合 $ X$ で定義された関数 $ f: X\to$   $ \mbox{${\mathbb{R}}$}$ が 点 $ a\in X$ において連続であるとは、

(☆) $ \forall \epsilon>0, \exists \delta>0;
\forall x \in X( \vert x-a\vert<\delta  \implies  \vert f(x)-f(a)\vert<\epsilon)
$

を満たすときに言う。

$ X$ を明示することにより、$ x$ の動く範囲に関する制限が明確になる。 とくに $ X$ $ [a,a+\epsilon)$ のときを考えれば「右連続性」(``§4(I)'') が自然に解釈できる。

上の定義で、 $ \vert x-a\vert$$ x$$ a$ の距離、 $ \vert f(x)-f(a)\vert$$ f(x)$$ f(a)$ の距離であることに注意する。上の連続性の定義は 多変数関数や、距離空間のあいだの写像の連続性の定義に そのまま一般化することができる。

(☆)の否定、すなわち、 「$ f$$ a$ で連続でない」ことは、 次のように書き表すことができる。

(★) $ \exists \epsilon>0; \forall \delta>0 \exists x \in X \
( \vert x-a\vert<\delta  $    かつ % latex2html id marker 986
$  \vert f(x)-f(a)\vert\geq \epsilon)
$

この講義では三角関数については完全な取り扱いができない予定なので、 例題やレポート問題においてはいくつかのことは高校までの知識を援用して、 証明なしに用いることにする。 ただし、それぞれの段階でどのようなことを使ったかは明確にしておきたい。

例題 10.4   関数 $ f:$$ \mbox{${\mathbb{R}}$}$$ \to$   $ \mbox{${\mathbb{R}}$}$

\begin{displaymath}
% latex2html id marker 998f(x)=
\begin{cases}
\sin(1/x) & ...
...q 0 \text{ のとき })\\
0 & (x =0 \text{ のとき })
\end{cases}\end{displaymath}

で定義するとき、 $ f$$ x=0$ で連続ではないことを証明しなさい。 ただし、$ \sin$ $ 0,\pi, \frac{\pi}{2}$ での値や、 $ \sin$ が周期 $ 2\pi$ の周期関数であることを自由に使って良いものとする。

定理 10.5   $ \mbox{${\mathbb{R}}$}$ の部分集合 $ X$ で定義された関数 $ f: X\to$   $ \mbox{${\mathbb{R}}$}$ が与えられているする。 このとき, $ a\in X$ に対して、 次の条件は同値である。
  1. $ f$$ a$ で連続である。
  2. $ X$ の元ばかリからなる数列 $ \{a_n\}_{n=1}^\infty$ $ \displaystyle \lim_{n\to \infty}a_n =a$ を満たすものに対して、常に $ \displaystyle \lim_{n\to \infty} f(a_n)=f(a)$ が成り立つ。

問題 10.1  

関数 $ f:$$ \mbox{${\mathbb{R}}$}$$ \to$   $ \mbox{${\mathbb{R}}$}$

\begin{displaymath}
% latex2html id marker 1048f(x)=
\begin{cases}
x^2 \sin(1/...
...q 0 \text{ のとき })\\
0 & (x =0 \text{ のとき })
\end{cases}\end{displaymath}

で定義するとき、 $ f$$ x=0$ で連続であることを証明しなさい。 ただし、 % latex2html id marker 1054
$ -1\leq \sin(x)\leq 1$ で あることを自由に使って良いものとする。


補遺: 部分列について

数列の収束について、次のことを補足しておく。

補題 10.6   数列 $ \{a_n\}$ について、次のことが成り立つ。
  1. $ \{a_n\}$ がある値 $ c$ に収束すれば、そのどの部分列も $ c$ に収束する。
  2. 逆に、$ \{a_n\}$ のどの部分列も収束するならば、 $ \{a_n\}$ 自身も収束する。

余力のある人は、(2)において、「部分列の収束先がどれでも一緒である」 と仮定しなくても良いところにも注目すると良い。


next up previous
Next: About this document ...
2011-06-17