埋め込み (数学)
微分トポロジーにおいて: M と N を滑らかな多様体とし、f: M → N を滑らかな写像とする。このとき f がはめ込みとは、微分がいたるところ単射であることをいう。埋め込み (embedding)、あるいは滑らかな埋め込み (smooth embedding) は、上に述べた位相的な意味で埋め込みであるような(すなわち像の上への同相写像であるような)単射はめ込みと定義される。
言い換えると、埋め込みは像への微分同相であり、とくに埋め込みの像は部分多様体でなければならない。はめ込みは局所的な埋め込みである(すなわち任意の点 x ∈ M に対し、近傍 x ∈ U ⊂ M が存在して、f: U → N は埋め込みである)。