단사 함수
위키백과 ― 우리 모두의 백과사전.
단사 함수(單射函數, injection), 일대일 함수는 임의의 치역의 원소에 대응하는 정의역의 원소가 하나뿐인 함수이다.
이것은 두 함수의 결과값이 같으면 함수의 인자값도 서로 같다는 것을 뜻한다. 즉, x,y를 도메인에 있는 인자값이라 할 때 f(x) = f(y)일 때 x = y가 된다. 또는 대우를 취하면, 이면
가 된다.
[편집] 성질
- 단사 함수는 역함수가 존재한다. 이 역함수의 정의역과 공역은 원래 함수의 치역과 정의역이 된다.
- 단사 함수와 단사 함수의 합성함수는 단사 함수이다.
가 단사 함수이면, f도 단사 함수이다. 하지만 g는 단사일 필요는 없다.