"전사 함수"의 두 판 사이의 차이

1 바이트 제거됨 ,  6년 전
잔글
잔글 (→‎정의)
* [[공역 (수학)|공역]]과 [[치역]]이 같다. 즉, <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>f\circ g</math>가 <math>Y</math> 위의 [[항등 함수]]를 이루는 함수<math>g\colon Y\to X</math>가 존재한다. (이는 [[선택 공리]]를 가정하지 않으면 성립하지 않는다.)
<math>g\colon Y\to X</math>가 존재한다. (이는 [[선택 공리]]를 가정하지 않으면 성립하지 않는다.)
 
== 성질 ==