선형대수 · 선형생성공간

선형생성공간

벡터들의 선형생성공간은 그 벡터들의 모든 일차결합으로 이루어진 집합입니다. 공간에서 한 직선 위에 있지 않은 두 벡터는 원점을 지나는 평면을 생성합니다. 세 번째 벡터가 조금이라도 그 평면 밖에 있어야 차원이 하나 늘어납니다. 평면 안에 있으면 범위는 늘지 않고 셋은 일차종속입니다.

선형생성공간과 이 화면

벡터들의 선형생성공간은 계수로 임의의 실수를 사용한 모든 일차결합의 집합입니다. 항상 원점 O를 포함하며, 3차원 공간에서는 O만이거나 O를 지나는 직선 또는 평면, 아니면 공간 전체입니다.

세 벡터의 선형생성공간
span⁡(v⃗,w⃗,u⃗)={ c1v⃗+c2w⃗+c3u⃗  :  c1,c2,c3∈R }\operatorname{span}(\vec v, \vec w, \vec u) = \{\, c_1\vec v + c_2\vec w + c_3\vec u \;:\; c_1, c_2, c_3 \in \mathbb R \,\}

처음 화면에서 O를 지나는 유리 원판은 v⃗\vec v와 w⃗\vec w의 생성공간인 WW입니다. 새겨진 격자의 교차점은 정수 계수를 갖는 조합 c1v⃗+c2w⃗c_1\vec v + c_2\vec w입니다. 평면이 무한히 이어지므로 가장자리는 점점 흐려집니다. 더 흐린 원판은 정수 kk에 대한 층 W+ku⃗W + k\vec u이며, 파란 원판은 목표점 T를 지나는 평면 W+su⃗W + s\vec u입니다. 가느다란 파란 화살표가 c1v⃗c_1\vec v, c2w⃗c_2\vec w, su⃗s\vec u 순서로 이어져 O에서 T로 갑니다. u⃗\vec u의 끝에서 WW까지 내려오는 빨간 선분의 길이는 ∣h∣|h|입니다. 여기서 hh는 평면을 기준으로 한 u⃗\vec u의 부호 있는 높이입니다.

세 번째 벡터가 어떻게 차원을 하나 늘릴까요? v⃗\vec v, w⃗\vec w, u⃗\vec u의 모든 조합은 WW 위의 점을 u⃗\vec u의 ss배만큼 옮긴 것입니다. 따라서 생성공간은 ss가 모든 실숫값을 취할 때 평면 W+su⃗W + s\vec u의 합집합입니다. u⃗\vec u가 WW 밖에 있으면 ss과 s+1s + 1에 해당하는 두 평면의 간격은 ∣h∣|h|입니다. ss가 모든 실수를 지나면 평면들이 공간 전체를 훑습니다.

이제 u⃗\vec u를 내려 평면에서 아주 조금만 떨어지게 하세요. 기본값 v⃗=(2,1,0)\vec v = (2, 1, 0), w⃗=(0,1,2)\vec w = (0, 1, 2)에서 u⃗=(1,1,1.01)\vec u = (1, 1, 1.01)과 WW 사이의 거리는 약 0.004이지만 생성공간은 여전히 공간 전체입니다. (0,0,1)(0, 0, 1)에 도달하려면 s=100s = 100이 필요합니다: (0,0,1)=−50v⃗−50w⃗+100u⃗(0, 0, 1) = -50\vec v - 50\vec w + 100\vec u. WW 밖의 목표를 고정하면 ∣h∣|h|가 작을수록 ∣s∣|s|이 커져야 하지만 해는 항상 있습니다. hh가 정확히 0일 때만 모든 평면 W+su⃗W + s\vec u가 WW와 겹치고, v⃗\vec v, w⃗\vec w, u⃗\vec u의 생성공간이 WW로 줄어듭니다.

계수가 모두 0인 것은 아닌 일차결합으로 영벡터를 만들 수 있으면 벡터들은 일차종속입니다. 벡터들이 영벡터가 아닐 때 화면은 이를 닫힌 경로로 그립니다. 벡터의 배수들을 끝과 시작이 이어지게 놓으면 O로 돌아옵니다. 이는 한 벡터가 나머지 벡터의 조합이라는 말과 같습니다. v⃗\vec v, w⃗\vec w, u⃗=(1,1,1)\vec u = (1, 1, 1) 중 어느 두 벡터도 평행하지 않지만, u⃗\vec u가 WW 안에 있으므로 셋은 일차종속입니다.

W 안의 세 번째 벡터가 닫힌 경로를 만든다
12v⃗+12w⃗−u⃗=0⃗,u⃗=12v⃗+12w⃗\tfrac12\vec v + \tfrac12\vec w - \vec u = \vec 0, \qquad \vec u = \tfrac12\vec v + \tfrac12\vec w

닫힌 경로가 있으면 한 점에 도달하는 조합 방법도 여러 가지입니다. T의 조합에 닫힌 경로의 0이 아닌 배수를 더하면 계수는 바뀌지만 점은 바뀌지 않습니다.

생성공간의 차원은 주어진 벡터들 중에서 고를 수 있는 일차독립인 벡터 개수의 최댓값입니다.

눈여겨볼 점

  • 원근법 때문에 화살표 끝이 실제로는 평면 밖에 있어도 닿은 것처럼 보일 수 있습니다. 빨간 선분과 높이 표시로 구별할 수 있으며, 옆면에서는 WW가 직선 하나로 보입니다.

조작

  • 세 번째 벡터 u 아래의 빨간 슬라이더는 u⃗\vec u를 평면에 수직으로 밀어내거나 되돌리며 0에서 걸립니다. 휠 p와 q는 u⃗\vec u를 해당 층 안에서 움직입니다.

관련 개념