(1) 2つの関数 $f: \mathbb{R} \to \mathbb{R}$ と $g: \mathbb{R} \to \mathbb{R}$ について、それらの和の関数 $f+g$ が $x=0$ で連続ならば、$f$ も $g$ も $x=0$ で連続であるか。 (2) $A = \{x \in \mathbb{R} | x \neq 0\}$ 上の連続関数 $f: A \to \mathbb{R}$ について、関数 $g: \mathbb{R} \to \mathbb{R}$ を $ g(x) = \begin{cases} xf(x) & (x \neq 0) \\ 0 & (x=0) \end{cases} $ と定義すると、$g$ は $x=0$ で連続であるか。

解析学関数の連続性極限反例
2025/6/13

1. 問題の内容

(1) 2つの関数 f:RRf: \mathbb{R} \to \mathbb{R}g:RRg: \mathbb{R} \to \mathbb{R} について、それらの和の関数 f+gf+gx=0x=0 で連続ならば、ffggx=0x=0 で連続であるか。
(2) A={xRx0}A = \{x \in \mathbb{R} | x \neq 0\} 上の連続関数 f:ARf: A \to \mathbb{R} について、関数 g:RRg: \mathbb{R} \to \mathbb{R}
g(x)={xf(x)(x0)0(x=0) g(x) = \begin{cases} xf(x) & (x \neq 0) \\ 0 & (x=0) \end{cases}
と定義すると、ggx=0x=0 で連続であるか。

2. 解き方の手順

(1) この命題は正しくありません。反例を挙げます。
f(x)={1(x0)0(x=0)f(x) = \begin{cases} 1 & (x \neq 0) \\ 0 & (x=0) \end{cases}
g(x)=f(x)={1(x0)0(x=0)g(x) = -f(x) = \begin{cases} -1 & (x \neq 0) \\ 0 & (x=0) \end{cases}
とすると、f(x)f(x)g(x)g(x)x=0x=0 で不連続です。なぜなら、limx0f(x)=1f(0)=0\lim_{x \to 0} f(x) = 1 \neq f(0) = 0 であり、limx0g(x)=1g(0)=0\lim_{x \to 0} g(x) = -1 \neq g(0) = 0 だからです。
しかし、f(x)+g(x)=0f(x) + g(x) = 0 なので、f(x)+g(x)f(x) + g(x) は定数関数であり、x=0x=0 で連続です。
(2) ggx=0x=0 で連続であることを示すには、limx0g(x)=g(0)\lim_{x \to 0} g(x) = g(0) であることを示せば良いです。
g(0)=0g(0) = 0 です。
x0x \neq 0 のとき、g(x)=xf(x)g(x) = xf(x) です。
limx0g(x)=limx0xf(x)\lim_{x \to 0} g(x) = \lim_{x \to 0} xf(x) を考えます。
ffA={xRx0}A = \{x \in \mathbb{R} | x \neq 0\} 上の連続関数であることから、xx が 0 に近づくとき、f(x)f(x) は有限の値に収束するか、発散する可能性があります。
しかし、g(x)=xf(x)g(x) = xf(x) であるため、limx0g(x)=limx0xf(x)=0\lim_{x \to 0} g(x) = \lim_{x \to 0} xf(x) = 0 となります。
なぜなら、xx が 0 に近づくとき、f(x)f(x) がどんな値を取ろうとも、xx が 0 に近づくことによって、積 xf(x)xf(x) は 0 に近づきます。
したがって、limx0g(x)=0=g(0)\lim_{x \to 0} g(x) = 0 = g(0) となり、ggx=0x=0 で連続です。

3. 最終的な答え

(1) 正しくない。反例は f(x)={1(x0)0(x=0)f(x) = \begin{cases} 1 & (x \neq 0) \\ 0 & (x=0) \end{cases}g(x)=f(x)g(x) = -f(x)
(2) 正しい。

「解析学」の関連問題

以下の2つの極限値を求めます。 (1) $\lim_{x \to 1} x^{\frac{1}{1-x}}$ (2) $\lim_{x \to 0} \frac{e^x + e^{-x} - 2}{x...

極限ロピタルの定理指数関数マクローリン展開
2025/6/14

与えられた2つの極限値を計算する問題です。 (1) $\lim_{x \to 1} \frac{1 - x}{x}$ (2) $\lim_{x \to 1} \frac{e^x + e^{-x} - ...

極限関数の極限
2025/6/14

与えられた6つの関数の極限値を求めます。 (1) $\lim_{x \to 0} \frac{\sqrt{2+x^2}-\sqrt{2-x^2}}{x^2}$ (2) $\lim_{x \to \in...

極限関数の極限ロピタルの定理はさみうちの原理
2025/6/14

与えられた関数について、ライプニッツの公式を用いて第 $n$ 次導関数を求めます。 (1) $x^3 e^{3x}$ (2) $x^2 \cos 2x$

ライプニッツの公式導関数微分指数関数三角関数
2025/6/14

関数 $f(x) = (1+x)\log(1+x)$ の第$n$次導関数を求める。

導関数対数関数数学的帰納法
2025/6/14

$y' = \frac{(x^2 + 1) - x(2x)}{(x^2 + 1)^2} = \frac{1 - x^2}{(x^2 + 1)^2}$

極値微分関数の増減対数関数三角関数指数関数
2025/6/14

与えられた関数 $y = \sin x$ の微分を求める問題です。

微分三角関数sincos
2025/6/14

次の3つの関数の増減を調べる問題です。 (1) $y = x + \sin x$ $(0 \le x \le 2\pi)$ (2) $y = e^x - x$ (3) $y = x - \log x...

微分増減導関数三角関数指数関数対数関数
2025/6/14

問題は2つあります。 (1) $\lim_{x \to +\infty} x \log(\frac{x-1}{x+1})$ の極限を求める。 (2) $n$が奇数のとき、$\sin x = \sum_...

極限マクローリン展開テイラーの定理sin関数
2025/6/14

$a < b$ のとき、$e^a < \frac{e^b - e^a}{b-a} < e^b$ を平均値の定理を用いて証明する。

平均値の定理指数関数不等式単調増加
2025/6/14