関数 $g(x)$ が連続関数であるとき、$\lim_{h \to 0} g(x+h) = g(x)$ となるのはなぜか、という質問です。

解析学極限連続関数関数の極限数学的証明
2025/4/6

1. 問題の内容

関数 g(x)g(x) が連続関数であるとき、limh0g(x+h)=g(x)\lim_{h \to 0} g(x+h) = g(x) となるのはなぜか、という質問です。

2. 解き方の手順

連続関数の定義を思い出します。
関数 g(x)g(x)x=ax=a で連続であるとは、以下の3つの条件がすべて満たされることです。
(1) g(a)g(a) が定義されている。
(2) limxag(x)\lim_{x \to a} g(x) が存在する。
(3) limxag(x)=g(a)\lim_{x \to a} g(x) = g(a)
関数 g(x)g(x) が連続関数であるということは、定義域内のすべての xx について、上記の3つの条件が満たされるということです。
ここで、limh0g(x+h)\lim_{h \to 0} g(x+h) について考えます。h0h \to 0 のとき、x+hxx+h \to x となります。
g(x)g(x) が連続関数なので、xx において上記の連続の定義が適用できます。
つまり、limxxg(x)=g(x)\lim_{x' \to x} g(x') = g(x) が成立します。ここで、x=x+hx' = x+h と置けば、h0h \to 0 のとき xxx' \to x となるので、
limh0g(x+h)=g(x)\lim_{h \to 0} g(x+h) = g(x)
が成り立ちます。

3. 最終的な答え

関数 g(x)g(x) が連続関数であるとき、limh0g(x+h)=g(x)\lim_{h \to 0} g(x+h) = g(x) となるのは、連続関数の定義そのものだからです。
連続関数の定義により、xx における関数の値と、xx に限りなく近い点での関数の値の極限が一致することが保証されているからです。

「解析学」の関連問題

自然数 $n$ について、定積分 $\int_{-1}^{1} (1-x^2)^n dx$ を $\Gamma$ 関数を使って表し、その値を求める問題です。ただし、置換 $t = \frac{x+1}...

定積分ガンマ関数ベータ関数置換積分
2025/8/2

自然数 $n$ に対して、積分 $\int_{-1}^1 (1-x^2)^n dx$ を$\Gamma$関数を使って表し、その値を求める。

積分ガンマ関数ベータ関数置換積分
2025/8/2

与えられた定積分 $\int_{0}^{\infty} \frac{dx}{1+x^2}$ の値を求めます。

定積分積分arctan極限
2025/8/2

問題は、広義積分 $\int_{-1}^{1} \frac{dx}{\sqrt{1-x^2}}$ を、積分範囲の端点で特異点を持つため、極限を用いて計算するものです。具体的には、 $\lim_{\ep...

広義積分逆三角関数極限定積分積分
2025/8/2

定積分 $\int_{0}^{1} \log x \, dx$ を計算します。

定積分部分積分ロピタルの定理対数関数
2025/8/2

$0 \le \theta < 2\pi$ のとき、以下の(1)の方程式と(2)の不等式を解きます。 (1) $\sqrt{2} \sin\left(\theta + \frac{\pi}{6}\ri...

三角関数方程式不等式三角関数の合成
2025/8/2

与えられた不等式 $2\cos(2\theta - \frac{\pi}{3}) \leq -\frac{1}{2}$ を解く問題です。

三角関数不等式三角不等式周期性
2025/8/2

$\log e^{-\frac{3}{2}}$ を計算せよ。ただし、$\log$ は自然対数とする。

対数自然対数対数の性質
2025/8/2

与えられた3つの極限値を求める問題です。 (1) $\lim_{x\to 0} \frac{\sqrt{1+2x+4x^2} - \sqrt{1-x-x^2}}{x-3x^2}$ (2) $\lim_...

極限関数の極限有理化三角関数eの定義
2025/8/2

次の6つの定積分を計算します。 (1) $\int_{1}^{3} \sqrt{3-x} \, dx$ (2) $\int_{0}^{\infty} \frac{1}{(x^2+1)(4x^2+1)}...

定積分置換積分部分分数分解部分積分広義積分arctan
2025/8/2