항등 함수: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글편집 요약 없음 |
|||
10번째 줄:
임의의 함수 <math>f\colon X\to Y</math>에 대하여, 다음과 같은 항등식이 성립한다.
:<math>f\circ\operatorname{id}_X=\operatorname{id}_Y\circ f=f</math>
즉, 항등 함수는 집합의
{{증명}}
임의의 <math>x\in X</math>에 대하여,
32번째 줄:
** <math>f^{-1}\circ f=\operatorname{id}_X</math>
** <math>f\circ f^{-1}=\operatorname{id}_Y</math>
즉, 전단사 함수는 집합의 범주에서 [[동형 사상]]
== 예 ==
|