微積1.4.5

$f(x)$は点$a$で連続であるから、$|x-a|<\delta$ならば$|f(x)-f(a)|<\dfrac{\varepsilon}{c}$となるような正の実数$\delta$が存在する。

これより$|x-a|<\delta$ならば$|cf(x)-cf(a)|<\varepsilon$となるような正の実数$\delta$が存在するといえる。故に$cf(x)$は点$a$で連続である。

次に積の連続性を示す。仮定より、$|x-a|<\delta$ならば$|f(x)-f(a)|<\varepsilon_1$、$|g(x)-g(a)|<\varepsilon_2$となるような正の実数$\delta$が存在する。積について、

$\begin{align}&\ \ \ \ \ |f(x)g(x)-f(a)g(a)| \\
&=|f(x)g(x)-f(a)g(x)+f(a)g(x)-f(a)g(a)| \\
&=|(f(x)-f(a))g(x)+f(a)(g(x)-g(a))| \\
&\leqq |f(x)-f(a)||g(x)|+|g(x)-g(a)||f(a)| \\
&\leqq \varepsilon_1 |g(x)|+\varepsilon_2 |f(a)| \ \cdots (\ast) \end{align}$

である。ここで$|x-a|<\delta$のとき$|f(x)|<M_1$、$|g(x)|<M_2$となるようなある実数$M_1、M_2$を考えると、$(\ast)\leqq \varepsilon_1 M_2+\varepsilon_2 M_1$となるが、$\varepsilon_1 M_2+\varepsilon_2 M_1< \varepsilon$となるような$\varepsilon_1 、\varepsilon_2$をとることが可能だから$(\ast)<\varepsilon$となる。

これより、$|x-a|<\delta$ならば$|f(x)g(x)-f(a)g(a)|<\varepsilon$となるような正の実数$\delta$が存在するといえる。故に積$f(x)g(x)$は点$a$で連続である。

《コメント》

関数の連続性に関する問題です。$\varepsilon-\delta$論法を出発点として関数の連続性を定義することができます。

因みに$\varepsilon$論法の「$\varepsilon$」はＥのことで、”error”（誤差）の頭文字に由来します。