연속함수와 불연속함수를 곱했을 때 결과가 연속함수가 되는지, 불연속함수가 되는지는 함수의 구체적인 형태에 따라 달라집니다. 단순히 곱셈 연산만으로는 단정적으로 말하기 어렵습니다. 하지만 몇 가지 경우를 통해 그 원리를 이해하고 예측하는 것이 가능합니다. 이 글에서는 연속함수와 불연속함수의 곱셈에 대한 다양한 경우를 살펴보고, 어떤 조건에서 연속 또는 불연속이 되는지 명확하게 설명해 드리겠습니다.
1. 곱셈 결과가 연속함수가 되는 경우: '0'의 마법
가장 대표적으로 연속함수와 불연속함수를 곱했을 때 연속함수가 되는 경우는, 불연속 함수의 불연속점에서의 함숫값이 '0'인 경우입니다. 예를 들어, 함수 $f(x) = x$ (연속함수)와 $g(x) = \begin{cases} 1 & (x \neq 0) \ 0 & (x = 0) \end{cases}$ (불연속함수)를 생각해 봅시다. 이 두 함수를 곱하면 $h(x) = f(x)g(x)$가 됩니다. $x=0$일 때 $h(0) = f(0)g(0) = 0 \times 0 = 0$입니다. 또한, $x \neq 0$일 때는 $h(x) = x \times 1 = x$가 됩니다. 함수 $h(x)$는 $x=0$에서도 연속이므로, 결과적으로 연속함수가 됩니다. 이와 같이, 불연속점에서의 함숫값이 0이 되도록 연속함수가 '0'을 곱해주는 역할을 하면, 불연속 함수의 불연속성이 상쇄되어 전체 함수가 연속이 될 수 있습니다.
2. 곱셈 결과가 불연속함수가 되는 경우
불연속 함수의 불연속점에서 함숫값이 0이 아닌 경우, 혹은 곱셈 연산으로 인해 새로운 불연속점이 발생하는 경우에는 결과가 불연속함수가 됩니다. 예를 들어, 함수 $f(x) = x^2$ (연속함수)와 $g(x) = \begin{cases} 1 & (x \neq 0) \ 1 & (x = 0) \end{cases}$ (실제로는 연속함수지만, 예시를 위해 불연속처럼 보이게 가정) 대신, $g(x) = \begin{cases} 1 & (x > 0) \ 0 & (x \leq 0) \end{cases}$와 같은 함수를 생각해 봅시다. 이 함수는 $x=0$에서 불연속입니다. $f(x) = 1$ (상수함수, 연속함수)과 곱하면 $h(x) = f(x)g(x)$가 됩니다. $x=0$에서 $h(0) = f(0)g(0) = 1 \times 0 = 0$입니다. 하지만 $x \to 0^+$일 때 $h(x) = 1 \times 1 = 1$이 되고, $x \to 0^-$일 때 $h(x) = 1 \times 0 = 0$이 됩니다. 좌극한과 우극한이 다르므로 $x=0$에서 극한값이 존재하지 않으며, 따라서 $h(x)$는 불연속함수가 됩니다. 이처럼 불연속 함수의 불연속성이 그대로 유지되거나, 곱셈 과정에서 새로운 불연속성이 발생하면 결과는 불연속함수가 됩니다.
3. 불연속점의 종류와 곱셈의 영향
불연속점은 크게 세 가지 종류로 나눌 수 있습니다. 1종 불연속(점프 불연속), 2종 불연속(진동 불연속, 필수 불연속), 그리고 제거 가능한 불연속입니다. 제거 가능한 불연속은 극한값은 존재하지만 함숫값과 다르거나 함숫값이 정의되지 않은 경우로, 앞서 '0'의 마법에서 보았듯이 연속함수와의 곱셈으로 연속으로 만들 수 있는 경우가 많습니다. 하지만 점프 불연속이나 필수 불연속의 경우, 불연속 함수의 불연속성이 강하기 때문에 연속함수와의 곱셈만으로는 연속으로 만들기 어려운 경우가 대부분입니다. 특히, 불연속 함수의 불연속점에서 함숫값이 0이 아닌 경우, 곱셈 결과는 그대로 불연속이 될 확률이 높습니다.
결론적으로, 연속함수와 불연속함수의 곱이 연속이 될지 불연속이 될지는 불연속 함수의 불연속점에서의 함숫값과 연속함수의 해당 점에서의 함숫값의 상호작용에 달려 있습니다. 불연속점에서의 함숫값이 0이 되는 '0'의 역할이 매우 중요하며, 이를 통해 불연속성을 제거할 수도, 혹은 불연속성이 유지되거나 새롭게 발생할 수도 있습니다. 따라서 일반화하기보다는 구체적인 함수 형태를 보고 판단하는 것이 가장 정확합니다.