단사 사상: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 편집 요약 없음 |
Osteologia (토론 | 기여) |
||
30번째 줄:
다음과 같은 포함 관계가 성립한다.
:[[동형 사상]] ⊆ 유효 단사 사상 ⊆ 정칙 단사 사상 ⊆ 단사 사상
:[[동형 사상]] ⊆ 분할 단사 사상 ⊆ 정칙 단사 사상 ⊆ 단사 사상
분할 단사 사상이 정칙 단사 사상인 이유는 분할 단사 사상 <math>f\colon X\to Y</math> 및 그 수축 <math>r\colon Y\to X</math>이 주어졌을 때 <math>f=\operatorname{eq}\{f\circ r,\operatorname{id}_Y\}</math>이기 때문이다.
[[전사 사상]]인 정칙 단사 사상은 항상 [[동형 사상]]이다. (이는 일반적 단사 사상에 대하여 성립하지 않는다.)
| |||