連続関数

定義 2.47 (連続関数)   関数 $f(x)$ が定義内の任意の点において連続であるとき， $f(x)$ は連続関数（continuous function）であるという．

例 2.48 (連続関数の具体例)   次の関数は連続関数である．

$$f(x) =x^n\quad(n=1,2,3,\cdots)\quad(-\infty<x<\infty)$$ (234)

$$f(x) =\log x\quad(x>0)$$ (235)

$$f(x) =\sin(x)\quad (-\infty<x<\infty)\,$$ (236)

$$f(x) =\cos(x)\quad (-\infty<x<\infty)\,$$ (237)

$$f(x) =\tan(x)\quad\left(\frac{2n-1}{2}\pi<x<\frac{2n+1}{2}\pi \quad n=0,\pm1,\pm2,\cdots\right)$$ (238)

定義 2.49 (閉区間における連続関数)   関数 $f(x)$ の定義域が閉区間 $a\leq x \leq b$ のとき， その端点では条件

$$\lim_{x\to a+0}f(x)=f(a)\,, \qquad \lim_{x\to b-0}f(x)=f(b)\,$$ (239)

を満たすとき連続であるとする．

例 2.50 (閉区間における連続関数の具体例)   $f(x)=\sqrt{4-x^2}\ (-2\leq x\leq 2)$ は連続関数である． なぜなら

$$f(-2) =\lim_{x\to2+0}f(x)=0\,, \qquad f(2)=\lim_{x\to2-0}f(x)=0\,$$ (240)

が成立するからである．

定理 2.51 (連続関数に関する性質)   関数 $f(x)$ と $g(x)$ が連続関数のであるとき，関数

$$f(x)+g(x)\,, \qquad \alpha f(x)+\beta g(x)\,, \qquad f(x)g(x)\,, \qquad \frac{f(x)}{g(x)}\,, \qquad f(g(x))$$ (241)

もすべて連続関数である． ただし $f(x)/g(x)$ の定義域は $g(x)=0$ とならないものをとることにする．

例 2.52 (連続関数に関する性質の具体例)   巾関数 $x^n$ は連続関数である． よって巾関数の線形結合である多項式 $a_{0}x^{n}+a_{1}x^{n-1}+\cdots+a_{n-1}x+a_{n}$ も 連続関数である．

例 2.53 (連続関数に関する性質の具体例)   多項式 $a_{0}x^{n}+a_{1}x^{n-1}+\cdots+a_{n-1}x+a_{n}$ と $b_{0}x^{m}+ b_{1}x^{m-1}+\cdots+b_{m-1}x+b_{m}$ は連続関数である． よってそれらの商である有理関数

$$\frac{a_{0}x^{n}+a_{1}x^{n-1}+\cdots+a_{n-1}x+a_{n}} {b_{0}x^{m}+ b_{1}x^{m-1}+\cdots+b_{m-1}x+b_{m}}$$ (242)

も連続関数である．

例 2.54 (連続関数に関する性質の具体例)   $x^2$ と $\sin x$ は連続関数である． よってそれらの合成関数である $\sin(x^2)$ も連続関数である．

Kondo Koichi
Created at 2002/09/12