증감수와 단조증가함수는 수학에서 함수의 증가/감소 경향을 나타내는 중요한 개념이지만, 엄밀히 말하면 차이가 있습니다. 많은 사람들이 두 용어를 혼용하여 사용하기도 하지만, 수학적 정의에 따르면 '단조증가함수'는 '증감수'의 부분집합이라고 볼 수 있습니다. 이번 글에서는 두 용어의 정확한 정의와 차이점을 명확하게 설명하고, 예시를 통해 이해를 돕겠습니다.
증감수란 무엇인가?
증감수(increasing function)는 함수의 정의역 내에서 어떤 두 원소를 비교했을 때, 더 큰 원소에 대응하는 함숫값이 더 크거나 같은 경우를 의미합니다. 즉, x1 < x2 이면 f(x1) ≤ f(x2)를 만족하는 함수를 증감수라고 합니다. 여기서 중요한 것은 '같을 수도 있다'는 점입니다. 즉, 함수값이 일정하게 유지되는 구간이 존재하더라도 증감수라고 할 수 있습니다.
예를 들어, 상수 함수 f(x) = 5는 증감수입니다. 어떤 x1, x2에 대해서도 f(x1) = 5, f(x2) = 5이므로 f(x1) ≤ f(x2)를 만족합니다. 또한, 계단 모양의 함수처럼 특정 구간에서 함숫값이 변하지 않고 유지되다가 다음 구간에서 증가하는 함수도 증감수에 포함됩니다.
단조증가함수란 무엇인가?
단조증가함수(monotonically increasing function)는 증감수와 거의 동일한 정의를 가집니다. 즉, x1 < x2 이면 f(x1) ≤ f(x2)를 만족하는 함수를 단조증가함수라고 합니다. 사실상 '증감수'와 '단조증가함수'는 수학적으로 같은 의미로 사용되는 경우가 많으며, '단조(monotone)'라는 용어가 붙는 것은 함수의 증가 또는 감소 경향이 '일관되게' 유지됨을 강조하기 위해서입니다.
증감수와 단조증가함수의 미묘한 차이점
앞서 설명했듯이, '증감수'와 '단조증가함수'는 수학적으로 같은 정의를 공유합니다. 하지만 문맥에 따라서는 약간의 뉘앙스 차이가 있을 수 있습니다. 일부 교재나 강의에서는 '증감수'를 '단조증가함수'와 '단조감소함수'를 포괄하는 더 넓은 의미로 사용하기도 합니다. 하지만 일반적인 수학적 정의에서는 두 용어를 동일하게 취급합니다.
가장 큰 차이점은 '엄격한 증가'와의 비교입니다. '엄격한 증가함수(strictly increasing function)'는 x1 < x2 일 때 f(x1) < f(x2)를 만족하는 함수를 말합니다. 즉, 함수값이 절대 같아질 수 없는 경우입니다. 증감수나 단조증가함수는 이러한 엄격한 증가 조건은 만족하지 않아도 됩니다. 즉, 상수 구간이 존재해도 괜찮습니다.
예시로 이해하기
-
단조증가함수 (이자 엄격한 증가함수): f(x) = 2x + 1. x1 < x2 이면 2x1 < 2x2 이고, 2x1 + 1 < 2x2 + 1 이므로 f(x1) < f(x2)를 만족합니다. 이 함수는 증감수이자 단조증가함수이며, 엄격한 증가함수이기도 합니다.
-
단조증가함수 (하지만 엄격한 증가함수는 아님): f(x) = x^3. x1 < x2 이면 x1^3 ≤ x2^3 을 만족합니다. 이 함수는 증감수이자 단조증가함수이지만, x1 = -1, x2 = 1일 때 f(x1) = -1, f(x2) = 1로 증가하지만, x1 = -2, x2 = -1일 때 f(x1) = -8, f(x2) = -1로 증가합니다. x1 < x2 일 때 f(x1) < f(x2)를 만족하므로 엄격한 증가함수입니다. (이전 설명에 오류가 있었습니다. x^3는 엄격한 증가함수에 해당합니다.)
수정된 예시: f(x) = ceil(x) (올림 함수). x1 = 1.1, x2 = 1.9 이면 f(x1) = 2, f(x2) = 2 입니다. x1 < x2 이지만 f(x1) = f(x2)이므로 엄격한 증가함수가 아닙니다. 하지만 f(x1) ≤ f(x2)를 만족하므로 증감수이자 단조증가함수입니다.
-
증감수 (하지만 '늘' 증가하는 것은 아님): f(x) = 5. 모든 x1, x2에 대해 f(x1) = 5, f(x2) = 5이므로 f(x1) ≤ f(x2)를 만족합니다. 따라서 증감수이자 단조증가함수입니다. 하지만 함수값이 일정하게 유지되므로 '엄격하게' 증가한다고는 할 수 없습니다.
결론
결론적으로, 대부분의 수학적 맥락에서 '증감수'와 '단조증가함수'는 동일한 의미로 사용됩니다. 두 용어 모두 x1 < x2 일 때 f(x1) ≤ f(x2)를 만족하는 함수를 지칭합니다. 여기서 '≤' 기호가 중요하며, 함수값이 일정하게 유지되는 구간이 존재해도 해당 함수의 증감수/단조증가함수 정의에는 문제가 없습니다. 만약 함수값이 절대 같아질 수 없고 항상 커져야 한다면 '엄격한 증가함수'라는 용어를 사용합니다. 이 점을 명확히 이해하시면 함수의 증가/감소 경향을 더욱 정확하게 파악하실 수 있을 것입니다.