단사 사상
1. 개요
1. 개요
단사 사상은 집합론, 선형대수학, 범주론 등 여러 수학 분야에서 중요한 역할을 하는 함수의 성질이다. 이는 정의역의 서로 다른 원소가 공역에서도 서로 다른 원소로 대응되는 함수를 의미한다. 다시 말해, 함수 f: X → Y가 단사라는 것은 X의 임의의 두 원소 x₁, x₂에 대해 x₁ ≠ x₂이면 항상 f(x₁) ≠ f(x₂)가 성립함을 뜻한다.
이 성질은 '일대일 함수'라고도 불리며, 영어로는 인젝션이라고 한다. 단사 사상의 동치 조건으로는, f(x₁) = f(x₂)이면 반드시 x₁ = x₂가 성립한다는 명제를 사용하기도 한다. 이 조건은 함수가 정의역의 정보를 중복 없이 공역으로 옮긴다는 것을 보여준다.
단사 사상의 반대 개념은 전사 사상이다. 전사 사상은 공역의 모든 원소가 정의역의 어떤 원소에 의해 대응되는 함수를 말한다. 단사이면서 동시에 전사인 함수는 전단사 사상이라고 하며, 이는 두 집합 사이의 완벽한 짝짓기를 가능하게 한다.
단사 사상은 함수의 역함수를 논할 수 있는 중요한 조건이 된다. 또한 선형대수학에서는 선형 변환이 단사일 조건이 그 핵이 자명하다는 것과 동치임이 알려져 있다.
2. 정의
2. 정의
단사 사상은 함수가 정의역의 서로 다른 원소를 공역의 서로 다른 원소에 대응시키는 성질을 가리킨다. 즉, 함수 $f: X \to Y$에 대해, 정의역 $X$의 임의의 두 원소 $x_1$, $x_2$에 대하여 $x_1 \ne x_2$이면 반드시 $f(x_1) \ne f(x_2)$가 성립할 때, 이 함수 $f$를 단사 사상 또는 단사 함수라고 한다.
이 정의는 논리적으로 동치인 조건으로 다시 표현할 수 있다. 함수 $f$가 단사일 필요충분조건은 $f(x_1) = f(x_2)$이면 $x_1 = x_2$가 성립하는 것이다. 이는 서로 다른 원소가 같은 값을 가질 수 없다는 원래의 정의를 반대로 기술한 것으로, 증명에 자주 활용된다.
단사 사상은 일대일 함수라고도 불리며, 영어로는 인젝션(Injection)이라고 한다. 이 개념은 집합론, 선형대수학, 범주론 등 수학의 여러 분야에서 기본적으로 사용된다. 단사 사상의 반대 개념은 모든 공역의 원소가 정의역의 원소에 의해 대응되는 전사 사상이다.
3. 성질
3. 성질
단사 사상은 여러 가지 중요한 성질을 가진다. 가장 기본적인 동치 조건은, 함수 f에 대해 f(x₁) = f(x₂)일 때마다 반드시 x₁ = x₂가 성립하는 것이다. 이는 정의에서 제시된 '서로 다른 원소는 서로 다른 함숫값을 가진다'는 명제의 대우에 해당한다.
단사 사상의 합성 또한 단사 사상의 성질을 보존한다. 즉, 두 함수 f: X → Y와 g: Y → Z가 모두 단사 사상이라면, 이들의 합성 함수 g∘f: X → Z 역시 단사 사상이다. 이 성질은 범주론에서 중요한 의미를 지닌다. 또한, 단사 사상 f: X → Y가 존재한다는 것은 공역 Y의 크기가 정의역 X의 크기보다 크거나 같음을 의미하며, 이는 집합론에서 집합의 크기를 비교하는 데 활용된다.
선형대수학에서 선형 변환이 단사 사상인 경우, 그 핵이 자명하다는 성질이 있다. 즉, 선형 변환 T: V → W에 대해 T(v)=0을 만족하는 벡터 v가 오직 영벡터 뿐일 때, T는 단사 사상이다. 이는 선형 변환이 단사인지를 판별하는 실용적인 기준이 된다.
4. 예시
4. 예시
단사 사상의 대표적인 예로는 실수 집합에서 정의된 일차 함수 f(x) = ax + b (a ≠ 0)가 있다. 이 함수는 기울기가 0이 아니므로 서로 다른 x 값에 대해 항상 다른 y 값을 가지며, 따라서 단사 사상이다. 반면, 이차 함수 g(x) = x²는 단사 사상이 아니다. 예를 들어, g(1) = g(-1) = 1이 되어 서로 다른 두 정의역 원소(1과 -1)가 같은 함숫값을 가지기 때문이다.
선형 변환의 맥락에서도 단사 사상을 쉽게 찾을 수 있다. 행렬 A에 의한 선형 변환 T(x) = Ax가 단사 사상이기 위한 필요충분조건은 A의 열벡터들이 선형 독립이거나, 동치 조건으로 변환의 핵이 영벡터만으로 구성된 자명한 공간인 것이다. 예를 들어, 항등 행렬에 의한 변환은 명백히 단사 사상이다.
집합론에서의 단순한 예시로는, 어떤 집합 A에서 그 멱집합으로 가는 함수 f(a) = {a}를 생각할 수 있다. 이 함수는 각 원소 a를 그 원소만을 포함하는 단원소 집합에 대응시키는데, 서로 다른 원소는 서로 다른 단원소 집합을 생성하므로 이 함수는 단사 사상이다.
5. 관련 개념
5. 관련 개념
5.1. 전사 사상
5.1. 전사 사상
전사 사상은 공역의 모든 원소가 정의역의 어떤 원소에 의해 대응되는 함수를 말한다. 즉, 함수 f: X → Y가 전사라는 것은 공역 Y의 임의의 원소 y에 대하여 f(x) = y를 만족하는 정의역 X의 원소 x가 적어도 하나 존재함을 의미한다. 이러한 성질을 만족하는 함수를 전사 함수 또는 서젝션(Surjection)이라고도 부른다.
단사 사상과 전사 사상은 함수의 중요한 두 가지 성질로, 이 둘을 동시에 만족하는 함수는 전단사 사상이라고 한다. 선형대수학에서 선형 변환이 전사인 것은 상(Image)이 전체 공간과 일치함을 의미하며, 이는 계수(Rank)와 차원의 개념과 밀접하게 연관된다. 범주론에서는 이러한 성질들을 사상의 특성으로 일반화하여 다룬다.
함수가 전사인지 확인하는 방법은 공역의 모든 원소가 함수값으로 실제로 나타나는지를 살펴보는 것이다. 예를 들어, 실수에서 실수로 가는 함수 f(x) = x²는 공역을 모든 실수로 잡으면 전사가 아니다. 음수는 어떤 실수의 제곱으로도 표현될 수 없기 때문이다. 그러나 공역을 0 이상의 실수로 제한하면 이 함수는 전사가 된다.
5.2. 전단사 사상
5.2. 전단사 사상
단사 사상과 함께 함수의 중요한 성질 중 하나로, 전단사 사상을 이루는 두 조건 중 하나이다. 단사 사상은 함수 f: X → Y가 정의역 X의 서로 다른 두 원소에 대해 항상 다른 함숫값을 가지는 성질을 말한다. 즉, x₁ ≠ x₂이면 f(x₁) ≠ f(x₂)를 만족한다. 이는 f(x₁) = f(x₂)이면 반드시 x₁ = x₂가 성립한다는 조건과 동치이다. 이러한 성질 때문에 '일대일 함수'라고도 불리며, 영어로는 인젝션(Injection)이라 한다.
단사 사상의 개념은 집합론에서 기본적으로 정의되며, 선형대수학에서는 선형 변환의 단사성을 핵(Kernel)의 개념을 통해 판별한다. 또한 범주론에서는 보다 추상적인 사상의 성질로 일반화되어 다루어진다. 단사 사상의 반대 개념은 전사 사상(Surjection)으로, 공역의 모든 원소가 정의역의 원소에 의해 대응되는 성질을 의미한다. 이 두 가지 성질을 모두 만족하는 함수를 전단사 사상(Bijection) 또는 일대일 대응이라 한다.
단사성이 중요한 이유는 함수가 역함수를 가질 수 있는 가능성을 보여주기 때문이다. 정확히는, 함수가 전단사일 때에만 완전한 역함수가 존재하지만, 단사인 함수는 그 정의역과 공역을 적절히 제한함으로써 역함수를 구성할 수 있는 기반이 된다. 예를 들어, 실수에서 실수로 가는 함수 f(x) = x²는 단사가 아니지만, 정의역을 x ≥ 0으로 제한하면 단사 함수가 되어 역함수인 제곱근 함수를 정의할 수 있다.
5.3. 역사상
5.3. 역사상
역사상은 단사 사상의 반대 개념으로, 공역의 모든 원소가 정의역의 어떤 원소에 대응되는 함수를 의미한다. 즉, 함수 f: X → Y에 대해 Y의 임의의 원소 y에 대하여 f(x) = y를 만족하는 x ∈ X가 존재할 때, 이 함수 f를 역사상이라고 한다. 이는 모든 y가 적어도 하나의 x에 의해 '쓰여진다'는 의미에서 '전사(全寫)'라고도 불리며, 영어로는 서젝션(Surjection)이라고 한다.
역사상의 정의는 수학의 여러 분야에서 중요한 역할을 한다. 예를 들어, 선형대수학에서 선형 변환이 역사상인 경우, 그 변환은 상공간이 전체 공간과 같다는 것을 의미한다. 범주론에서는 역사상이 에피사상의 한 예가 되기도 한다. 역사상과 단사 사상이 동시에 성립하는 함수는 전단사 사상이 되며, 이는 역함수가 존재하기 위한 필요충분 조건이 된다.
역사상의 개념은 집합론을 넘어 대수학, 위상수학 등 다양한 수학 분야에서 기본적인 도구로 활용된다. 두 집합 사이에 역사상이 존재한다는 것은 공역 집합의 크기가 정의역 집합의 크기보다 크지 않음을 의미하기도 하여, 집합의 크기를 비교하는 데에도 유용하게 쓰인다.
5.4. 핵
5.4. 핵
단사 사상의 핵은 그 함수가 영벡터로 보내는 정의역의 모든 원소들의 집합을 의미한다. 보통 선형대수학에서 선형 변환의 핵으로 자주 논의되며, 집합론에서 일반 함수의 경우에는 영원상이라는 용어로도 불린다. 함수 f: X → Y가 주어졌을 때, 그 핵은 f(x) = 0 (또는 Y의 항등원)이 되는 모든 x ∈ X의 집합으로 정의된다.
단사 사상과 핵은 밀접한 관계를 가진다. 특히 선형 변환 f에 대하여, f가 단사 사상일 필요충분조건은 그 핵이 자명한, 즉 오직 영벡터만을 포함하는 부분집합이라는 정리가 성립한다. 이는 f(x₁) = f(x₂)이면 x₁ = x₂라는 단사성 정의로부터 f(x₁ - x₂) = 0이면 x₁ - x₂ = 0이어야 함을 유도하여 설명할 수 있다.
핵의 개념은 대수학과 범주론에서 더 일반화되어, 군이나 환과 같은 대수 구조 사이의 준동형사상에 대해서도 동일한 방식으로 정의된다. 이러한 맥락에서 핵은 해당 준동형사상의 단사성을 판별하는 중요한 도구가 되며, 몫군이나 몫환의 구성과도 연결된다.
6. 여담
6. 여담
단사 사상은 수학의 여러 분야에서 중요한 역할을 한다. 집합론에서는 두 집합의 크기를 비교하는 데 기본 도구로 활용되며, 선형대수학에서는 선형 변환이 단사일 때 그 핵이 자명하다는 성질이 핵심 정리로 등장한다. 범주론에서는 단사 사상이 모노모피즘이라는 더 일반적인 개념의 전형적인 예시가 된다.
일상 언어에서 '일대일 대응'이라는 표현은 엄밀히는 전단사 사상을 가리키는 경우가 많아, 수학적 용어인 '일대일 함수'나 '단사 함수'와 혼동될 수 있다. 단사 사상은 공역의 원소가 정의역의 원소보다 많을 수 있지만, 전단사 사상은 두 집합의 크기가 정확히 같아야 한다는 점이 결정적 차이이다.
컴퓨터 과학에서도 이 개념은 유용하게 적용된다. 예를 들어, 해시 함수가 이상적으로 동작하기 위해서는 서로 다른 입력에 대해 서로 다른 출력을 내는, 즉 단사에 가까운 성질을 가지는 것이 바람직하다. 또한, 데이터베이스에서 기본 키의 값은 각 레코드를 유일하게 식별해야 하므로, 이는 기본 키에서 레코드로 가는 사상이 단사임을 요구하는 것과 같다.
