与えられた関数$f(x)$について、定義されない$x$の値、または不連続となる$x$の値を求め、それらの点で関数値を再定義して、全ての$x$で連続になるようにする問題です。関数は以下の3つです。 (1) $f(x) = \frac{x^2 - 2x - 3}{x - 3}$ (2) $f(x) = \frac{x^3}{|x|}$ (3) $f(x) = [\cos x]$ (ガウス記号)

解析学関数の連続性極限ガウス記号不連続点再定義
2025/6/2

1. 問題の内容

与えられた関数f(x)f(x)について、定義されないxxの値、または不連続となるxxの値を求め、それらの点で関数値を再定義して、全てのxxで連続になるようにする問題です。関数は以下の3つです。
(1) f(x)=x22x3x3f(x) = \frac{x^2 - 2x - 3}{x - 3}
(2) f(x)=x3xf(x) = \frac{x^3}{|x|}
(3) f(x)=[cosx]f(x) = [\cos x] (ガウス記号)

2. 解き方の手順

(1) f(x)=x22x3x3f(x) = \frac{x^2 - 2x - 3}{x - 3}
まず、分母が0になるxxを求めます。x3=0x - 3 = 0より、x=3x = 3で定義されません。
次に、極限値を求めます。
f(x)=(x3)(x+1)x3f(x) = \frac{(x - 3)(x + 1)}{x - 3}
x3x \neq 3のとき、f(x)=x+1f(x) = x + 1です。
x=3x = 3での極限値は、
limx3f(x)=limx3(x+1)=3+1=4\lim_{x \to 3} f(x) = \lim_{x \to 3} (x + 1) = 3 + 1 = 4
したがって、x=3x = 3f(x)=4f(x) = 4と定義すれば、連続になります。
(2) f(x)=x3xf(x) = \frac{x^3}{|x|}
x=0x = 0で分母が0になるため、定義されません。
x>0x > 0のとき、x=x|x| = xなので、f(x)=x3x=x2f(x) = \frac{x^3}{x} = x^2
x<0x < 0のとき、x=x|x| = -xなので、f(x)=x3x=x2f(x) = \frac{x^3}{-x} = -x^2
x=0x = 0での右極限は、limx0+x2=0\lim_{x \to 0^+} x^2 = 0
x=0x = 0での左極限は、limx0(x2)=0\lim_{x \to 0^-} (-x^2) = 0
したがって、limx0f(x)=0\lim_{x \to 0} f(x) = 0
x=0x = 0f(x)=0f(x) = 0と定義すれば、連続になります。
(3) f(x)=[cosx]f(x) = [\cos x] (ガウス記号)
ガウス記号は、その数を超えない最大の整数を表します。cosx\cos x は連続関数ですが、ガウス記号をつけることで、cosx=1\cos x = 1となるとき、x=2nπx=2n\pi (nnは整数)で、cosx\cos xが1に近づくとき、右側極限と左側極限が異なります。
cosx=1\cos x = 1となるのは、x=2nπx = 2n\pi (nnは整数) のときです。
この点で不連続となります。

3. 最終的な答え

(1) x=3x = 3で定義されない。f(3)=4f(3) = 4と定義すると連続になる。
(2) x=0x = 0で定義されない。f(0)=0f(0) = 0と定義すると連続になる。
(3) x=2nπx = 2n\pi (nnは整数) で不連続。