전사 함수: 두 판 사이의 차이
보이기
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 편집 요약 없음 |
Osteologia (토론 | 기여) 편집 요약 없음 |
||
1번째 줄: | 1번째 줄: | ||
[[파일:Surjection.svg|thumb|200px|전사함수의 예 |
[[파일:Surjection.svg|thumb|200px|전사함수의 예]] |
||
'''전사 함수'''(全射函數, surjection, |
[[수학]]에서, '''전사 함수'''(全射函數, {{llang|en|surjection}}, {{lang|en|surjective function}})는 [[공역 (수학)|공역]]과 [[치역]]이 같은 [[함수]]이다. |
||
== 정의 == |
== 정의 == |
||
함수 <math>f\colon X\to Y</math>에 대하여, 다음 조건들이 서로 [[동치]]이며, 이를 만족시키는 함수를 '''전사 함수'''라고 한다. |
함수 <math>f\colon X\to Y</math>에 대하여, 다음 조건들이 서로 [[동치]]이며, 이를 만족시키는 함수를 '''전사 함수'''라고 한다. |
||
* 임의의 <math>y\in Y</math>에 대하여, <math>f(x)=y</math>인 <math>x\in X</math>가 존재한다. |
* 임의의 <math>y\in Y</math>에 대하여, <math>f(x)=y</math>인 <math>x\in X</math>가 존재한다. |
||
* [[공역]]과 [[치역]]이 같다. 즉, <math>Y=f(X)</math>이다. |
* [[공역 (수학)|공역]]과 [[치역]]이 같다. 즉, <math>Y=f(X)</math>이다. |
||
* <math>f</math>는 집합의 범주에서의 [[전사 사상]]이다. 즉, 임의의 [[집합]] <math>Z</math> 및 [[함수]] <math>g_1,g_2\colon Y\to Z</math>에 대하여, 만약 <math>g_1\circ f=g_2\circ f</math>라면 <math>g_1=g_2</math>이다. |
* <math>f</math>는 집합의 범주에서의 [[전사 사상]]이다. 즉, 임의의 [[집합]] <math>Z</math> 및 [[함수]] <math>g_1,g_2\colon Y\to Z</math>에 대하여, 만약 <math>g_1\circ f=g_2\circ f</math>라면 <math>g_1=g_2</math>이다. |
||
* <math>f</math>는 집합의 범주에서의 [[분할 전사 사상]]이다. 즉, <math>f\circ g</math>가 <math>Y</math> 위의 [[항등 함수]]를 이루는 함수 |
* <math>f</math>는 집합의 범주에서의 [[분할 전사 사상]]이다. 즉, <math>f\circ g</math>가 <math>Y</math> 위의 [[항등 함수]]를 이루는 함수 |
||
28번째 줄: | 28번째 줄: | ||
== 같이 보기 == |
== 같이 보기 == |
||
* [[단사 함수]] |
* [[단사 함수]] |
||
* [[ |
* [[전단사 함수]] |
||
{{집합론}} |
{{집합론}} |
2015년 3월 3일 (화) 10:31 판
수학에서, 전사 함수(全射函數, 영어: surjection, surjective function)는 공역과 치역이 같은 함수이다.
정의
함수 에 대하여, 다음 조건들이 서로 동치이며, 이를 만족시키는 함수를 전사 함수라고 한다.
- 임의의 에 대하여, 인 가 존재한다.
- 공역과 치역이 같다. 즉, 이다.
- 는 집합의 범주에서의 전사 사상이다. 즉, 임의의 집합 및 함수 에 대하여, 만약 라면 이다.
- 는 집합의 범주에서의 분할 전사 사상이다. 즉, 가 위의 항등 함수를 이루는 함수
가 존재한다. (이는 선택 공리를 가정하지 않으면 성립하지 않는다.)
성질
전사 함수와 전사 함수의 합성은 전사 함수이다. 반대로, 가 전사 함수이면, 도 전사 함수이다. 하지만 가 전사 함수일 필요는 없다.
예
정의역과 공역이 둘 다 실수 집합 인 함수
는 전사 함수가 아닌데, x2 = −1을 만족하는 실수 x가 없기 때문이다. 그러나 만약 공역이 R 대신, 음이 아닌 실수 라면, 함수
는 전사 함수이다.
바깥 고리
- Weisstein, Eric Wolfgang. “Surjection”. 《Wolfram MathWorld》 (영어). Wolfram Research.
- “Surjection”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.