선형대수 · 선형변환

선형변환

선형변환은 각 벡터의 조합 방식을 유지하며 새로운 위치로 보냅니다. v = x î + y ĵ는 x·Aî + y·Aĵ로 갑니다. 따라서 행렬의 두 열, 즉 î와 ĵ가 도착하는 위치가 모든 점의 목적지를 결정합니다.

01

이 시각화에서 살펴보는 선형변환

평면의 선형변환(또는 선형사상) TT는 모든 벡터 u⃗,w⃗\vec u, \vec w와 모든 실수 cc에 대해 T(u⃗+w⃗)=T(u⃗)+T(w⃗)T(\vec u + \vec w) = T(\vec u) + T(\vec w), T(cu⃗)=c T(u⃗)T(c\vec u) = c\,T(\vec u)을 만족합니다. 이러한 변환은 모두 2 × 2 행렬 AA를 곱하는 것으로 나타낼 수 있습니다. AA의 열은 기저벡터의 상인 Aı^A\hat\imath, Aȷ^A\hat\jmath입니다. 이 페이지는 평면에서 같은 평면으로 가는 변환을 보여 줍니다.

조합 방식은 그대로
v⃗=x ı^+y ȷ^⟹Av⃗=x Aı^+y Aȷ^\vec v = x\,\hat\imath + y\,\hat\jmath \quad\Longrightarrow\quad A\vec v = x\,A\hat\imath + y\,A\hat\jmath

그림에서 잉크색 두 화살표는 열벡터입니다. 끝점을 드래그하면 격자 전체가 따라갑니다. 모든 점에 이르는 조합 방식이 이전과 같기 때문입니다. 파란 벡터 v는 두 번 따라가 봅니다. 원래 격자(점선)에서는 î 방향으로 x걸음, ĵ 방향으로 y걸음 가고, 새 격자(실선)에서는 Aî 방향으로 x걸음, Aĵ 방향으로 y걸음 가서 Av에 도착합니다. 같은 곱을 행으로 읽어도 결과는 같습니다. Av⃗A\vec v의 각 성분은 AA의 한 행과 v⃗\vec v의 내적입니다. 원점은 움직이지 않습니다. 직선은 직선이나 한 점으로 갑니다. 가역변환에서는 평행 관계와 직선 위 등간격이 유지되지만, 길이와 각도는 바뀔 수 있습니다.

det⁡A=0\det A = 0이지만 A≠0A \ne 0이면 평면은 직선으로 압축됩니다. 원점을 지나는 한 직선이 원점으로 가며, 이것이 핵입니다. A=0A = 0이면 모든 점이 원점으로 가므로 핵은 평면 전체입니다. 원상에서 출력 w를 드래그해 어디에서 왔는지 찾아보세요. 가역행렬에서는 한 점 A−1w⃗A^{-1}\vec w가 원상입니다. 계수가 일인 행렬에서는 w가 상에 속하면 한 직선이 원상이고, 그렇지 않으면 원상이 없습니다. 영행렬에서 원점의 원상은 평면 전체이며 다른 점은 원상이 없습니다. Ax⃗=b⃗A\vec x = \vec b을 푸는 것이 바로 이 탐색입니다.

02

살펴볼 점

  • A가 특이행렬인지는 설정한 수 그대로 정확하게 판정합니다. 입력한 1/3은 정확한 삼분의 일이고 0.1은 십분의 일입니다. 따라서 [11/331]\left[\begin{smallmatrix}1 & 1/3\\ 3 & 1\end{smallmatrix}\right]은 평면을 납작하게 만들지만, [1100.0001]\left[\begin{smallmatrix}1 & 1\\ 0 & 0.0001\end{smallmatrix}\right]처럼 특이행렬에 아주 가까운 행렬은 실제의 매우 큰 역행렬을 보여 줍니다. 정확한 유한소수로 나타낼 수 없는 성분(√2, 30° 회전)은 반올림한 값으로 판정하며 읽음값에 이를 표시합니다. 그래서 √2·√2 = 2라는 관계 때문에만 특이행렬인 경우에는 아주 작은 행렬식과 함께 가역행렬로 표시됩니다.
  • 두 행렬 사이의 애니메이션은 가능한 여러 경로 중 하나인 전환 효과입니다. 대칭변환은 중간에 납작한 평면을 지나지만, 180° 회전은 각도를 보간하므로 줄어들지 않습니다. 전환 중에는 판정값을 읽지 않습니다.
xyOT(O)

Why a translation is not linear

Shift the whole grid 1 to the right and 0.5 up. Lines stay straight and parallel lines stay parallel, but the origin moves to (1, 0.5). A linear transformation must leave the zero vector at the origin: T(0)=0T(0)=0. This translation does not, so it is not linear. Fixing the origin alone is not enough: the addition and scaling rules above must also hold.

03

조작 방법

  • 행렬은 괄호 안에 직접 입력하거나(−10에서 10 사이, 소수·분수·√·π 사용 가능), 열 버튼과 두 휠로 설정할 수 있습니다. 끝점을 드래그하면 정수 좌표와 다른 열벡터에 정확히 나란한 점에 맞춰 붙습니다(맞춤으로 끌 수 있습니다).
  • 발표 모드는 프로젝터용 전체 화면을 엽니다. ← →로 대표 행렬을 순서대로 보고, H로 벡터가 도착하는 위치를 숨깁니다.
04

관련 개념

  • F01일차결합준비 중
  • F09행렬의 곱셈준비 중
  • F11행렬식준비 중
  • F13고유벡터준비 중
  • F07기저준비 중
  • F03연립일차방정식준비 중

더 읽어 보기: Wikipedia: Linear map (영어); Wikipedia: Transformation matrix (영어).