선형생성

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

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

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

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

선형대수학