단사 함수, 전사 함수, 전단사 함수의 예시 문제 및 해설
함수의 정의와 수학에서의 활용은 종종 흥미로운 논의 주제가 됩니다. 이러한 맥락에서 우리는 단사 함수, 전사 함수, 전단사 함수와 같은 용어를 자주 접하게 됩니다. 이 세 가지 유형의 함수를 이해하는 것은 수학적 분석과 컴퓨터 과학, 경제학, 물리학 등 다양한 분야에서의 실용적인 응용에 매우 중요합니다.
단사 함수, 전사 함수, 전단사 함수의 이해
예제 문제와 그에 대한 해설을 살펴보기 전에, 먼저 세 가지 함수의 정의를 다시 한번 살펴보겠습니다.
1. 단사 함수 (일대일 함수): 함수 f : A → B는 정의역 A의 모든 원소 a1과 a2에 대해 f(a1) = f(a2)가 성립하면 단사 함수라고 합니다. 다시 말해, 단사 함수는 정의역 A의 서로 다른 원소들이 공역 B의 서로 다른 원소들로만 대응되도록 합니다.
2. 전사 함수 (전사 함수): 함수 f : A → B는 공역 B의 모든 원소에 대해 정의역 A에서 적어도 하나의 대응 원소가 존재할 때 전사 함수라고 합니다. 이 경우, 공역 B에는 "빈" 원소가 없으며, 정의역 A에는 대응하는 원소가 없습니다.
3. 전단사 함수 (일대일 대응): 함수 f : A → B는 단사 함수이면서 전사 함수일 때 전단사 함수라고 합니다. 이는 정의역 A의 모든 원소가 공역 B에 유일한 대응 원소를 갖고, 공역 B의 모든 원소 또한 정의역 A에 유일한 대응 원소를 갖는다는 것을 의미합니다.
예시 질문 및 토론
문제 1: 단사 함수
질문:
함수 f : ℝ → ℝ가 f(x) = 2x + 3으로 정의될 때, 이 함수가 단사 함수임을 증명하시오.
논의:
이 함수가 단사 함수임을 증명하려면 f(a) = f(b)이면 a = b임을 보여야 합니다.
f(a) = f(b)라고 가정하면 다음과 같이 말합니다.
\[ 2a + 3 = 2b + 3 \]
양변에서 3을 빼세요.
\[ 2a = 2b \]
양변을 2로 나눕니다.
\[ a = b \]
f(a) = f(b)가 a = b를 유발한다는 것을 보였으므로 함수 f(x) = 2x + 3은 단사 함수입니다.
질문 2: 전사 함수
질문:
함수 g : ℝ → ℝ가 g(x) = x^3으로 정의될 때, 이 함수가 전사 함수임을 증명하시오.
논의:
이 함수가 전사 함수임을 증명하려면 공역 ℝ의 모든 원소 y에 대해 정의역 ℝ에 g(x) = y를 만족하는 원소 x가 적어도 하나 존재함을 보여야 합니다.
y ∈ ℝ이라고 하자. 우리는 다음 조건을 만족하는 x를 찾고자 한다:
\[ x^3 = y \]
\( x = \sqrt[3]{y} \)를 취합니다.
\[ g(\sqrt[3]{y}) = (\sqrt[3]{y})^3 = y \]
공역 ℝ의 모든 y에 대해 \( x = \sqrt[3]{y} \)를 만족하는 x를 찾을 수 있으므로 함수 g(x) = x^3은 전사 함수입니다.
문제 3: 전단사 함수
질문:
함수 h : ℝ → ℝ가 h(x) = x – 1로 정의될 때, 이 함수가 전단사 함수임을 증명하시오.
논의:
단사형:
h(x)가 단사 함수임을 증명하려면 h(a) = h(b)이면 a = b임을 보여야 합니다.
h(a) = h(b)로 놓겠습니다.
\[ a – 1 = b – 1 \]
양변에 1씩 더하세요:
\[ a = b \]
h(a) = h(b)로 인해 a = b가 되므로 함수 h(x) = x – 1은 단사 함수입니다.
형용사:
h(x)가 전사 함수임을 증명하려면 공역 ℝ의 모든 원소 y에 대해 정의역 ℝ에 h(x) = y를 만족하는 원소 x가 적어도 하나 존재함을 보여야 합니다.
y ∈ ℝ이라고 하자. 우리는 다음 조건을 만족하는 x를 찾고자 한다:
\[ x – 1 = y \]
양변에 1씩 더하세요:
\[ x = y + 1 \]
공역 ℝ의 모든 y에 대해 x = y + 1을 만족하는 x를 찾을 수 있으므로 함수 h(x) = x – 1은 전사 함수이다.
h(x)는 단사 함수이면서 전사 함수이므로, h(x)는 전단사 함수입니다.
문제 4: 함수의 유형 결정하기
질문:
함수 f : ℕ → ℕ가 f(x) = 2x로 정의되었을 때, f가 단사 함수, 전사 함수 또는 전단사 함수인지 판별하십시오.
논의:
단사형:
이 함수가 단사 함수임을 증명하려면 f(a) = f(b)이면 a = b임을 보여야 합니다.
f(a) = f(b)라고 가정해 봅시다.
\[ 2a = 2b \]
양변을 2로 나눕니다.
\[ a = b \]
따라서 f(x) = 2x는 단사 함수입니다.
형용사:
이 함수가 전사 함수임을 증명하려면 공역 ℕ의 모든 원소 y에 대해 정의역 ℕ에 f(x) = y를 만족하는 원소 x가 적어도 하나 존재함을 보여야 합니다.
하지만 공역은 ℕ(자연수 집합)이고, f(x) = 2x는 짝수만 나타낸다는 점에 유의하십시오. 만약 y가 홀수라면, 2x = y를 만족하는 ℕ에 속하는 x는 없습니다.
따라서 f(x) = 2x는 전사 함수가 아닙니다.
f(x)는 전사 함수가 아니므로 f(x)는 전단사 함수도 아닙니다.
위의 다양한 예시들을 통해, 여러 함수 정의로부터 함수의 종류(단사, 전사, 전단사)를 증명하고 판별하는 방법을 알 수 있습니다. 이러한 함수들을 이해하는 것은 수학의 여러 분야와 실생활 응용에 있어 매우 중요합니다.
