連続的埋め込み
X および Y を二つのノルム線型空間とし、それらのノルムはそれぞれ ‖ • ‖X および ‖ • ‖Y とする。また X ⊆ Y が成立するものとする。包含写像 i: X ↪ Y; x ↦ x が連続、すなわち定数 C ≥ 0 が存在して
‖ x ‖ Y ≤ C ‖ x ‖ X ( ∀ x ∈ X ) {\displaystyle \|x\|_{Y}\leq C\|x\|_{X}\quad (\forall x\in X)}
が成立するとき、X は Y に連続的に埋め込まれていると言う。人によってはこの連続的埋め込みを表すために矢印 “↪” を使用する。すなわち、“X ↪ Y” は「X と Y はいずれもノルム空間で、X は Y に連続的に埋め込まれている」ということを意味する。これは、射が連続線型写像であるような位相線型空間の圏の観点に基づく記法である。