선형생성

선형생성(線型生成, linear span) 또는 선형포(線型包, linear hull)는 선형대수학 또는 함수해석학에서 어떤 벡터공간이 모든 부분공간의 교집합일 때 그 벡터공간의 벡터의 집합이다. 고로 벡터들의 집합의 선형생성은 선형공간이다.

어떤 체 $K$에 대한 어떤 벡터공간 $V$가 주어졌을 때, 어떤 벡터들의 집합 $S$(유한집합일 필요는 없음)의 생성은 $V$의 $S$를 포함하는 모든 부분공간의 교집합 $W$로 정의된다. 이때 $W$를 $S$ 또는 $S$의 벡터들에 의해 생성된 부분공간이라 한다. 역으로 $S$는 $W$의 생성집합이라 불리며, 우리는 $S$가 $W$를 생성한다고 서술한다.

달리 서술하면 $S$의 생성은 $S$의 원소들의 모든 유한선형결합의 집합으로 정의될 수 있다.

$\operatorname {span} (S)=\left\{{\sum _{i=1}^{k}\lambda _{i}v_{i}{\Big |}k\in \mathbb {N} ,v_{i}\in S,\lambda _{i}\in \mathbf {K} }\right\}.$

만약 $S$가 $V$의 유한부분집합이면, $S$의 생성은 $S$의 원소들의 모든 선형결합의 집합이다. $S$가 무한집합일 경우, 무한선형결합들은 정의에 의해 배제된다.