단사 함수

위키백과 ― 우리 모두의 백과사전.

단사 함수의 예
단사 함수의 예

단사 함수(單射函數, injection, 또는 injective function), 일대일 함수는 임의의 치역의 원소에 대응하는 정의역의 원소가 하나뿐인 함수이다. 이는 두 함수의 결과값이 같으면 함수의 인자값도 서로 같다는 것을 뜻한다.

[편집] 정의

f : X \rightarrow Y 를 함수라 하자. x, y \in X라 할 때, f가 단사 함수라는 것은 f(x) = f(y)일 때 x = y를 만족한다는 것이다. 이와 동치인 명제로서 대우명제를 생각하여 보면, f가 단사 함수라는 것은 x \neq y이면 f(x) \neq f(y)이란 뜻이다.

[편집] 성질

  • 단사 함수는 역함수가 존재한다. 이 역함수의 정의역과 공역은 원래 함수의 치역과 정의역이 된다.
  • 단사 함수와 단사 함수의 합성함수는 단사 함수이다.
  • g \circ f가 단사 함수이면, f도 단사 함수이다. 하지만 g는 단사일 필요는 없다.

[편집] 같이 보기