선형생성(線型生成, linear span) 또는 선형포(線型包, linear hull)는 선형대수학 또는 함수해석학에서 어떤 벡터공간이 모든 부분공간의 교집합일 때 그 벡터공간의 벡터의 집합이다. 고로 벡터들의 집합의 선형생성은 선형공간이다.
어떤 체
에 대한 어떤 벡터공간
가 주어졌을 때, 어떤 벡터들의 집합
(유한집합일 필요는 없음)의 생성은
의
를 포함하는 모든 부분공간의 교집합
로 정의된다. 이때
를
또는
의 벡터들에 의해 생성된 부분공간이라 한다. 역으로
는
의 생성집합이라 불리며, 우리는
가
를 생성한다고 서술한다.
달리 서술하면
의 생성은
의 원소들의 모든 유한선형결합의 집합으로 정의될 수 있다.
![{\displaystyle \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\}.}](http://178.128.105.246/host-https-wikimedia.org/api/rest_v1/media/math/render/svg/a266b4e320113123a6f853de504ce51823c22720)
만약
가
의 유한부분집합이면,
의 생성은
의 원소들의 모든 선형결합의 집합이다.
가 무한집합일 경우, 무한선형결합들은 정의에 의해 배제된다.
같이 보기[편집]