포함 함수

틀:위키데이터 속성 추적 수학에서 포함 함수(包含函數, 틀:Llang) 또는 포함 사상(包含寫像, 틀:Llang)은 정의역이 공역의 부분 집합이며, 정의역의 모든 원소를 자신으로 대응시키는 함수이다.

정의

집합 $X$와 그 부분 집합 $Y\subseteq X$에 대하여, $Y$에서 $X$로 가는 포함 함수 ${\iota }_{Y,X}$는 다음과 같은 함수이다.

• ${\iota }_{Y,X}:Y\hookrightarrow X$
• 임의의 $y\in Y$에 대하여, ${\iota }_{Y,X}(y)=y$

즉, 이는 $Y$의 항등 함수의 공역을 $X$로 확대하여 얻는다.

성질

모든 포함 함수는 단사 함수이다. 모든 단사 함수는 전단사 함수와 포함 함수의 합성이다.

관련 개념

포함 함자

범주 $𝒞$와 그 부분 범주 $𝒟$에 대하여, $𝒟$에서 $𝒞$로 가는 포함 함자(包含函子, 틀:Llang) ${\iota }_{𝒟,𝒞}$는 다음과 같은 함자이다.

• ${\iota }_{𝒟,𝒞}:𝒟\hookrightarrow 𝒞$
• 임의의 대상 $X\in \mathrm{Ob}(𝒟)$에 대하여, ${\iota }_{𝒟,𝒞}(X)=X$
• 임의의 대상 $X,Y\in \mathrm{Ob}(𝒟)$ 및 사상 $f:X\to Y$에 대하여, ${\iota }_{𝒟,𝒞}(f)=f$

이는 항상 충실한 함자이며, 충만한 함자일 필요충분조건은 충만한 부분 범주이다.

외부 링크

• 틀:매스월드
• 틀:Nlab