전사 함수: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글 틀 추가 |
|||
3번째 줄: | 3번째 줄: | ||
== 정의 == |
== 정의 == |
||
함수 {{Nowrap|''f'': ''X'' → ''Y''}}가 다음을 만족할 때, f를 전사함수라 한다. |
함수 {{Nowrap|''f'': ''X'' → ''Y''}}가 다음을 만족할 때, f를 전사함수라 한다. |
||
16번째 줄: | 15번째 줄: | ||
== 같이 보기 == |
== 같이 보기 == |
||
* [[단사함수]] |
* [[단사함수]] |
||
* [[전단사함수]] |
* [[전단사함수]] |
||
⚫ | |||
⚫ | |||
{{집합론}} |
|||
[[분류:집합론]] |
[[분류:집합론]] |
2015년 2월 8일 (일) 17:18 판
전사함수(全射函數, surjection, 또는 surjective function)는 임의의 공역의 원소에 대응하는 정의역이 원소가 한 개 이상 존재하는, 즉 공역과 치역이 같은 함수를 말한다.
정의
함수 f: X → Y가 다음을 만족할 때, f를 전사함수라 한다.
- 공역 Y에 속하는 임의의 원소 y에 대하여 정의역 X에 최소한 하나의 원소 x가 f(x) = y을 만족한다.
예
정의역과 공역이 R → R인 함수 g(x) = x2 는 전사함수가 아닌데, x2 = −1을 만족하는 실수 x가 없기 때문이다. 그러나 만약 공역이 R이 아닌 양의 실수 R+이라면, 함수 g(x) = x2는 전사함수이다. 이 경우 언제나 x2 = y를 만족하는 실수 x가 존재하기 때문이다.
성질
- 전사 함수와 전사 함수의 합성함수는 전사함수이다.
- 가 전사함수이면, 도 전사함수이다. 하지만 가 전사일 필요는 없다.
같이 보기
이 글은 수학에 관한 토막글입니다. 여러분의 지식으로 알차게 문서를 완성해 갑시다. |