수학에서 함수는 집합 사이의 관계를 나타내는 중요한 개념입니다. 특히, 함수의 종류를 분류할 때 '주입 함수(injection)', '단사 함수(surjection)', '전단사 함수(bijection)'는 함수의 '일대일 대응' 여부에 따라 구분되는 핵심적인 개념들입니다. 이 세 가지 함수의 정의와 차이점을 명확히 이해하는 것은 추상적인 수학적 사고를 발전시키는 데 필수적입니다. 본 글에서는 각 함수의 정의를 살펴보고, 쉬운 예시를 통해 그 의미를 명확히 전달하고자 합니다.
주입 함수 (Injection)
주입 함수는 '일대일 함수(one-to-one function)'라고도 불립니다. 정의역의 서로 다른 원소들은 항상 공역의 서로 다른 원소로 대응되는 함수를 의미합니다. 즉, 정의역의 두 원소 $x_1$과 $x_2$가 같지 않다면 ($x_1 \neq x_2$), 그에 대응하는 공역의 원소 $f(x_1)$과 $f(x_2)$ 또한 같지 않아야 합니다 ($f(x_1) \neq f(x_2)$). 이를 대우 명제로 생각하면, 만약 $f(x_1) = f(x_2)$라면, 반드시 $x_1 = x_2$여야 합니다. 주입 함수는 공역의 어떤 원소도 두 개 이상의 정의역 원소에서 대응되지 않는다는 특징을 가집니다. 즉, 공역의 각 원소는 최대 하나만의 정의역 원소와 연결됩니다.
예시: 함수 $f: \mathbb{R} \to \mathbb{R}$를 $f(x) = 2x$로 정의해 봅시다. 이 함수는 주입 함수입니다. 왜냐하면 임의의 두 실수 $x_1, x_2$에 대해 $x_1 \neq x_2$라면, $2x_1 \neq 2x_2$이므로 $f(x_1) \neq f(x_2)$가 성립합니다. 만약 $f(x_1) = f(x_2)$라면, $2x_1 = 2x_2$이고, 양변을 2로 나누면 $x_1 = x_2$가 됩니다. 따라서 이 함수는 주입 함수의 정의를 만족합니다.
단사 함수 (Surjection)
단사 함수는 '위로의 함수(onto function)'라고도 불립니다. 공역의 모든 원소가 정의역의 적어도 하나의 원소에 대응되는 함수를 의미합니다. 즉, 공역의 어떤 원소를 선택하더라도, 그 원소로 대응되는 정의역의 원소가 반드시 존재해야 합니다. 수학적으로 표현하면, 공역 $Y$의 모든 원소 $y$에 대해, $f(x) = y$를 만족하는 정의역 $X$의 원소 $x$가 적어도 하나 존재해야 합니다. 단사 함수는 공역의 모든 원소가 '덮인다'는 특징을 가집니다.
예시: 함수 $g: \mathbb{R} \to \mathbb{R}$를 $g(x) = x^2$으로 정의해 봅시다. 이 함수는 단사 함수가 아닙니다. 예를 들어, 공역의 원소 4에 대해, $g(2) = 4$이고 $g(-2) = 4$입니다. 두 개의 다른 정의역 원소가 같은 공역 원소로 대응되는 것은 주입 함수의 정의에 어긋나지만, 단사 함수의 정의에는 영향을 주지 않습니다. 중요한 것은 공역의 모든 원소가 대응되는가 하는 점입니다. 만약 $h: \mathbb{R} \to [0, \infty)$를 $h(x) = x^2$으로 정의한다면, 이 함수는 단사 함수가 됩니다. 왜냐하면 어떤 음이 아닌 실수 $y$를 선택하더라도, $\sqrt{y}$ 또는 $-\sqrt{y}$를 정의역의 원소로 선택하면 $h(x) = y$를 만족하기 때문입니다. (단, $y=0$일 때는 $x=0$ 하나만 존재합니다.)
전단사 함수 (Bijection)
전단사 함수는 '일대일 대응'이라고 하며, 주입 함수와 단사 함수의 조건을 모두 만족하는 함수를 말합니다. 즉, 정의역의 서로 다른 원소가 공역의 서로 다른 원소로 대응되고 (주입 함수의 조건), 공역의 모든 원소가 정의역의 원소에 대응되어야 합니다 (단사 함수의 조건). 전단사 함수는 정의역의 모든 원소가 공역의 모든 원소와 정확히 하나씩 짝지어지는 가장 이상적인 형태의 함수 관계를 나타냅니다. 이러한 함수는 역함수를 가지며, 두 집합 사이의 크기가 같다는 것을 의미하기도 합니다.
예시: 함수 $k: \mathbb{R} \to \mathbb{R}$를 $k(x) = x + 1$로 정의해 봅시다. 이 함수는 전단사 함수입니다. 먼저, 주입 함수인지 확인해 봅시다. $x_1 \neq x_2$일 때, $x_1 + 1 \neq x_2 + 1$이므로 $k(x_1) \neq k(x_2)$입니다. 따라서 주입 함수입니다. 다음으로, 단사 함수인지 확인해 봅시다. 임의의 실수 $y$에 대해, $x = y - 1$이라고 하면 $k(x) = k(y - 1) = (y - 1) + 1 = y$가 됩니다. 즉, 공역의 모든 원소 $y$에 대해 $k(x) = y$를 만족하는 정의역 원소 $x$가 존재합니다. 따라서 단사 함수입니다. 주입 함수이면서 단사 함수이므로, $k(x) = x + 1$은 전단사 함수입니다.
세 함수의 관계 및 요약
세 가지 함수 개념은 서로 밀접하게 관련되어 있습니다. 주입 함수는 '서로 다른 입력이 같은 출력을 내지 않음'을 보장하고, 단사 함수는 '모든 가능한 출력이 실제로 도달 가능함'을 보장합니다. 전단사 함수는 이 두 가지 조건을 모두 만족하여, 정의역과 공역 사이에 완벽한 일대일 대응 관계를 형성합니다.
- 주입 함수 (Injection): $x_1 \neq x_2 \implies f(x_1) \neq f(x_2)$ (일대일 함수)
- 단사 함수 (Surjection): $\forall y \in Y, \exists x \in X \text{ s.t. } f(x) = y$ (위로의 함수)
- 전단사 함수 (Bijection): 주입 함수이면서 단사 함수 (일대일 대응)
이 개념들은 집합론, 추상대수학, 위상수학 등 다양한 수학 분야에서 기본적으로 활용되므로, 각 정의와 차이점을 정확히 숙지하는 것이 중요합니다.