線型包
函数解析学において、ベクトルの集合の張る閉部分空間(閉線型包)もしくは位相的に生成する部分空間(位相的線型包)とは、その集合を含む最小の閉部分空間を言う。X がノルム線型空間で E を X の空でない部分空間のとき、E が位相的に張る部分空間 Sp(E)(あるいは span(E))は、X の閉部分空間で E を含むもの全ての交わりに等しい。一つの定式化としては
span ̄ ( E ) = { u ∈ X ∣ ∀ ε > 0 , ∃ x ∈ span ( E ) , ‖ x − u ‖ < ε } {\displaystyle {\overline {\text{span}}}(E)=\{\,u\in X\mid \forall \epsilon >0,\,\exists x\in {\text{span}}(E),\;\|x-u\|<\epsilon \,\}}
がある。