関数 $f(x) = \frac{4}{x}$ が $x=2$ において連続であることを、任意の $\epsilon > 0$ に対して、もし $0 < |x-2| < \delta$ ならば $|\frac{4}{x} - 2| < \epsilon$ となるような $\delta$ を見つけることで証明せよ。

解析学連続性ε-δ論法極限関数の解析
2025/6/9

1. 問題の内容

関数 f(x)=4xf(x) = \frac{4}{x}x=2x=2 において連続であることを、任意の ϵ>0\epsilon > 0 に対して、もし 0<x2<δ0 < |x-2| < \delta ならば 4x2<ϵ|\frac{4}{x} - 2| < \epsilon となるような δ\delta を見つけることで証明せよ。

2. 解き方の手順

連続性の定義に従って、ϵδ\epsilon-\delta 論法を用いて証明します。
まず、4x2|\frac{4}{x} - 2| を簡略化します。
4x2=42xx=2(2x)x=22xx=2x2x|\frac{4}{x} - 2| = |\frac{4 - 2x}{x}| = |\frac{2(2 - x)}{x}| = 2|\frac{2 - x}{x}| = 2|\frac{x - 2}{x}|
次に、x2<δ|x-2| < \delta を仮定します。xx が 0 に近いと 1x\frac{1}{x} が大きくなるため、xx を 0 から離す必要があります。
ここでは、δ1\delta \le 1 と仮定します。このとき、x2<1|x-2| < 1 より、1<x2<1-1 < x-2 < 1 となり、1<x<31 < x < 3 が得られます。
したがって、1x<1\frac{1}{|x|} < 1 となります。
2x2x=2x21x<2δ1x<2δ2|\frac{x - 2}{x}| = 2|x - 2||\frac{1}{x}| < 2\delta|\frac{1}{x}| < 2\delta
よって、2δ<ϵ2\delta < \epsilon となるように δ\delta を選びます。δ<ϵ2\delta < \frac{\epsilon}{2} とすればよいことがわかります。
ただし、δ1\delta \le 1 と仮定したので、δ=min(1,ϵ2)\delta = \min(1, \frac{\epsilon}{2}) とすればよいです。

3. 最終的な答え

δ=min(1,ϵ2)\delta = \min(1, \frac{\epsilon}{2})

「解析学」の関連問題

関数 $f(x, y) = \frac{y^2 - x^2}{(x^2 + y^2)^2}$ と領域 $A = [0, 1] \times [0, 1] - \{(0, 0)\}$ が与えられています...

重積分広義積分極座標変換多変数関数
2025/6/9

関数 $f(x, y) = \frac{y^2 - x^2}{(x^2 + y^2)^2}$ が与えられ、領域 $A = [0, 1] \times [0, 1] - \{(0, 0)\}$ での広義...

重積分広義積分極座標変換
2025/6/9

関数 $f(x,y) = \frac{y^2 - x^2}{(x^2 + y^2)^2}$ が与えられ、領域 $A = [0, 1] \times [0, 1] - \{(0,0)\}$ 上での広義積...

広義積分重積分変数変換
2025/6/9

(1) $\lim_{n \to \infty} \frac{3^{n+1}+(-2)^{n+4}}{3^n-2^n}$ の値を求める問題です。 (2) $\sum_{n=1}^{\infty} \f...

極限数列級数部分分数分解telescoping sum
2025/6/9

(1) $\lim_{n\to\infty} \frac{3^{n+1}+(-2)^{n+4}}{3^n - 2^n}$ を計算する。 (2) $\sum_{n=1}^{\infty} \frac{1...

極限数列級数部分分数分解
2025/6/9

関数 $f(x) = -x^2 + 6x - 4$ が、区間 $a \le x \le a+1$ で定義されている。この区間における $f(x)$ の最大値を $a$ の関数 $M(a)$ で表す。$...

最大値二次関数場合分け関数の最大最小
2025/6/9

与えられた2つの積分を計算します。 (4) $\int \tan^2 x dx$ (5) $\int \frac{1}{\sqrt{x}} dx$

積分不定積分三角関数べき関数
2025/6/9

関数 $f(x, y) = \frac{y^2 - x^2}{(x^2 + y^2)^2}$ と領域 $A = [0, 1] \times [0, 1] - \{(0, 0)\}$ が与えられている。...

重積分広義積分二重積分積分領域
2025/6/9

関数 $f(x,y) = \frac{y^2 - x^2}{(x^2+y^2)^2}$ と領域 $A = [0,1] \times [0,1] - \{(0,0)\}$ が与えられている。 (1) 領...

重積分広義積分二重積分積分
2025/6/9

区間$[0, 2\pi]$で定義された二つの関数 $f(t) = \sin t$ と $g(t) = \cos t$ の自己相関関数 $R_{ff}(\tau)$ および $R_{gg}(\tau)$...

自己相関関数三角関数積分規格化
2025/6/9