logo

포함 함수 📂함수

포함 함수

정의

XYX \subset Y라고 하자. 다음을 만족하는 함수 ii포함 함수inclusion (function)이라 한다.

i:XY,andi(x)=x,xX i : X \to Y, \quad \text{and} \quad i(x) = x,\quad \forall x\in X

설명

쉽게 말해서 공역이 정의역보다 클 수도 있는 항등 함수이다.

i:XYi : X \hookrightarrow Y1i:XYi : X \subset Y2와 같은 표기도 쓰인다.


  1. 박대희·안승호, 위상수학 (4th Edition, 2018), p201 ↩︎

  2. Manfredo P. Do Carmo, Riemannian Geometry (Eng Edition, 1992), p11 ↩︎