有名問題・定理から学ぶ数学

Well-Known Problems and Theorems in Mathematics

数式を枠からはみ出さずに表示するためには, 画面を横に傾けてください.

関数の連続性

連続関数

定義《連続関数》

 $D$ を定義域とする実数値関数 $f(x)$ について, $a \in D$ とする. 極限値 $\lim\limits_{x \to a}f(x)$ が存在して $\lim\limits_{x \to a}f(x) = f(a)$ が成り立つとき, $f(x)$ は点 $x = a$ で連続 (continuous) であるという. $f(x)$ が $D$ に属するすべての点で連続であるとき, $f(x)$ は連続であるという.

定理《関数の連続性の特徴付け》

 実数値関数 $f(x)$ とその定義域に含まれる実数 $a$ について, 次は同値である.
(i)
$f(x)$ は $x = a$ で連続である.
(ii)
各項が $f(x)$ の定義域に属し, $\lim\limits_{n \to \infty}a_n = a$ を満たすすべての実数列 $\{ a_n\}$ に対して, $\lim\limits_{n \to \infty}f(a_n) = f(a)$ が成り立つ.

例《連続関数》

(1)
多項式関数, 三角関数, 指数関数, 対数関数, 分数関数, 無理関数は連続関数である.
(2)
各実数 $x$ に対して, $x$ 以下の最大の整数を $[x]$ で表すとき, $f(x) = [x]$ は半開区間 $[0,1)$ で連続であるが, 閉区間 $[0,1]$ で連続でない.

定理《関数の和・差・積・商の連続性》

 実数値関数 $f(x),$ $g(x)$ が $x = a$ で連続であるならば, $(f\pm g)(x) = f(x)\pm g(x),$ $(fg)(x) = f(x)g(x),$ $\left(\dfrac{f}{g}\right)(x) = \dfrac{f(x)}{g(x)}$ (ただし $g(x) \neq 0$) は $x = a$ で連続である.

証明

 $f(x),$ $g(x)$ が $x = a$ で連続であるならば, 各項が $f(x),$ $g(x)$ の定義域に属し, $\lim\limits_{n \to \infty}a_n = a$ を満たす実数列 $\{ a_n\}$ をとると, \[\begin{aligned} (f\pm g)(\lim\limits_{n \to \infty}a_n) &= f(\lim\limits_{n \to \infty}a_n)\pm g(\lim\limits_{n \to \infty}a_n) \\ &= \lim\limits_{n \to \infty}f(a_n)\pm\lim\limits_{n \to \infty}g(a_n) \\ &= \lim\limits_{n \to \infty}\{ f(a_n)\pm g(a_n)\} \\ &= \lim\limits_{n \to \infty}(f\pm g)(a_n) \end{aligned}\] となる. これは $(f\pm g)(x)$ が $x = a$ で連続であることを示している. 残りも同様にして示される.

定理《合成関数の連続性》

 $f(x)$ が $x = a$ で連続で, $g(x)$ が $x = f(a)$ で連続であるならば, $(g\circ f)(x)$ は $x = a$ で連続である.

証明

 $f(x)$ が $x = a$ で連続で, $g(x)$ が $x = f(a)$ で連続であるとき, 各項が $f(x)$ の定義域に属し, $a$ に収束する実数列 $\{ a_n\}$ をとると, \[\begin{aligned} (g\circ f)\left(\lim\limits_{n \to \infty}a_n\right) &= g\left(f\left(\lim\limits_{n \to \infty}a_n\right)\right) = g\left(\lim\limits_{n \to \infty}f(a_n)\right) \\ &= \lim\limits_{n \to \infty}g(f(a_n)) = \lim\limits_{n \to \infty}(g\circ f)(a_n) \end{aligned}\] となる. これは $(g\circ f)(x)$ が $x = a$ で連続であることを示している.

定理《逆関数の連続性》

 $f(x)$ が逆関数 $f^{-1}(x)$ をもち, $x = a$ で連続であるならば, $f^{-1}(x)$ は $x = f(a)$ で連続である.

証明

 $f(x)$ が $x = a$ で連続であるとき, 各項が $f^{-1}(x)$ の定義域に属し, $f(a)$ に収束する実数列 $\{ b_n\}$ をとると, $\{ f^{-1}(b_n)\}$ は $a$ に収束するから, \[\begin{aligned} &f^{-1}\left(\lim\limits_{n \to \infty}b_n\right) = f^{-1}\left(\lim\limits_{n \to \infty}f(f^{-1}(b_n))\right) \\ &= f^{-1}\left( f\left(\lim\limits_{n \to \infty}f^{-1}(b_n)\right)\right) = \lim\limits_{n \to \infty}f^{-1}(b_n) \end{aligned}\] となる. これは $f^{-1}(x)$ が $x = f(a)$ で連続であることを示している.

中間値の定理

定理《中間値の定理》

 実数値関数 $f(x)$ が閉区間 $[a,b]$ で連続であるとき, 次が成り立つ.
(1)
$f(a) \neq f(b)$ であるならば, $f(a)$ と $f(b)$ の間にあるすべての値 $k$ に対して \[ f(x) = k\] の解が $a < x < b$ の範囲に少なくとも $1$ つ存在する.
(2)
$f(a),$ $f(b)$ が異符号であるならば, \[ f(x) = 0\] の解が $a < x < b$ の範囲に少なくとも $1$ つ存在する.

問題《奇数次方程式の実数解の存在》

 実数係数の奇数次の方程式 $f(x) = 0$ は少なくとも $1$ つの実数解をもつことを示せ.
基本定理$2018/07/09$$2022/06/13$

解答例

 $n$ を奇数として, 実数係数 $n$ 次多項式 $f(x) = \sum\limits_{k = 0}^na_kx^k$ $(a_n \neq 0)$ を考える.
(i)
$a_n > 0$ のとき. $x \to \pm\infty$ のとき, $n$ が奇数であることから \[ a_nx^n \to \pm\infty, \quad \sum_{k = 0}^n\frac{a_k}{a_n}x^{k-n} \to 1\] であり, \[ f(x) = a_nx^n\sum_{k = 0}^n\frac{a_k}{a_n}x^{k-n} \to \pm\infty\] であるから (複号同順), ある実数 $a,$ $b$ $(a < b)$ について \[ f(a) < 0, \quad f(b) > 0\] が成り立つ. よって, 中間値の定理により, $a < x < b$ の範囲に $f(x) = 0$ の実数解が存在する.
(ii)
$a_n < 0$ のとき. (i) の結果から $-f(x) = 0$ の実数解が存在するので, $f(x) = 0$ の実数解が存在する.
(i), (ii) から, $f(x) = 0$ は少なくとも $1$ つの実数解をもつ.

参考

  • $x^2+1 = 0$ のように, 実数係数の偶数次の方程式は実数解をもつとは限らない.
  • 複素数係数の $n$ 次方程式は重複度込みで $n$ 個の複素数解をもつことが「代数学の基本定理」(fundamental theorem of algebra) として知られている.

問題《カラビの三角形定数にまつわる方程式》

 $3$ 次方程式 $2x^3-2x^2-3x+2 = 0$ について, $3$ つの実数解の整数部分を求めよ.
基本素朴$2022/01/29$$2022/01/29$

解答例

\[ f(x) = 2x^3-2x^2-3x+2\] とおくと \[\begin{aligned} f(-2) &= -16 < 0, \\ f(-1) &= 1 > 0, \\ f(0) &= 2 > 0, \\ f(1) &= -1 < 0, \\ f(2) &= 4 > 0 \end{aligned}\] となるから, 中間値の定理により $2x^3-2x^2-3x+2 = 0$ は $3$ つの実数解をもち, その整数部分は $-2,$ $0,$ $1$ である.

参考

 $2x^3-2x^2-3x+2 = 0$ の最大の実数解 \[\begin{aligned} x &= \frac{1}{3}\left( 1+\sqrt[3]{-\frac{23}{4}+\frac{3}{4}\sqrt{237}i}+\sqrt[3]{-\frac{23}{4}-\frac{3}{4}\sqrt{237}i}\right) \\ &= 1.55138\cdots \end{aligned}\] は「カラビの三角形定数」(Calabi's triangle constant) として知られている (こちらを参照).
問題一覧 (関数と極限)分数関数 無理関数 関数
数列の極限 無限級数
関数の極限 関数の連続性