線型包
数学の特に線型代数学あるいはより一般の函数解析学において、ベクトル空間内の与えられたベクトルからなる集合の(線型に)張る部分空間 (linear span) あるいは線型包(せんけいほう、英: linear hull; 線型苞)もしくは生成する (generated, spanned) 部分空間は、その集合を含む線型部分空間すべての交わりである。したがって、その集合を含む最小の部分空間である。また、それはその集合に属するベクトルのすべての線型結合からなる集合として実現される。
ベクトル空間 V を張る任意の生成系 S は、少なくとも V の任意の線型独立系と同じ数のベクトルを含まなければならない。
V が有限次元ベクトル空間ならば、V を張る任意の生成系は、必要ならば(すなわち、線型従属なベクトルが存在するならば)適当な元を取り除くことによって V の基底にすることができる。選択公理を認めるならば、有限次元という仮定は除いてよい。
以上から、基底は V の最小生成系と言ってもよいことがわかる。