예제 1.
다음과 같은 선형 연산자 L이 2×2 행렬의 벡터 공간에 있다.
L(xyzw)=(1234)(xyzw)
기저 E1,E2,E3,E4에 대한 L의 행렬을 찾아라.
E1=(1000),E2=(0100),E3=(0010),E4=(0001)
풀이.
ML을 우리가 찾으려는 행렬이라고 하자.
정의에 따라서 ML은 L(E1),L(E2),L(E3),L(E4)의 기저 E1,E2,E3,E4에 대한 좌표 벡터를 열로 가지는 4×4 행렬이다.
ML=[[L(E1)]E,[L(E2)]E,[L(E3)]E,[L(E4)]E]
L(E1)=(1234)(1000)=(1030)⇒[1,0,3,0]T
L(E2)=(1234)(0100)=(0103)⇒[0,1,0,3]T
L(E3)=(1234)(0010)=(2040)⇒[2,0,4,0]T
L(E4)=(1234)(0001)=(0204)⇒[0,2,0,4]T
∴ ML=⎝⎜⎜⎜⎛1020010230400304⎠⎟⎟⎟⎞
이 결과는 다음과 같은 동치관계를 의미한다.
(x1y1z1w1)=(1234)(xyzw)⟺⎝⎜⎜⎜⎛x1y1z1w1⎠⎟⎟⎟⎞=⎝⎜⎜⎜⎛1020010230400304⎠⎟⎟⎟⎞⎝⎜⎜⎜⎛xyzw⎠⎟⎟⎟⎞
예제 2.
다음과 같은 선형 연산자 L:R2→R2가 있다.
L(xy)=(1101)(xy)
기저 v1=(3,1),v2=(2,1)에 대한 L의 행렬을 찾아라.
풀이 1. 행렬 변환을 사용한 풀이
N을 우리가 찾을 행렬이라고 하자.
행렬 N의 열들은 기저 v1,v2에 대한 L(v1)과 L(v2)의 좌표 벡터이다.
L(v1)=(1101)(31)=(41)
L(v2)=(1101)(21)=(31)
L(v1)=αv1+βv2⟺{3α+2β=4α+β=1⟺{α=2β=−1
L(v2)=v1=1v1+0v2
∴N=(21−10)
풀이 2. 기저 변환을 사용한 풀이
표준 기저에 대한 L의 행렬을 S라고 하자.
S=(1101)
U는 기저 v1,v2에서 표준 기저 e1,e2로의 변환 행렬이다.
U=(3211)
기저 v1,v2에 대한 L의 행렬을 N이라고 하자.
그러면 N=U−1SU가 성립한다.
N=U−1SU=(1−2−13)(1101)(3211)=(21−10)
예제 3.
D는 P3에 대한 미분 연산자이다.
표준 기저 {1,x,x2}에 대한 D의 행렬 B와 기저 {1,2x,4x2−2}에 대한 D의 행렬 A를 구하여라.
풀이.
D(1)=0⋅1+0⋅x+0⋅x2⇒[0,0,0]T
D(x)=1⋅1+0⋅x+0⋅x2⇒[1,0,0]T
D(x2)=0⋅1+2⋅x+0⋅x2⇒[0,2,0]T
∴B=⎝⎜⎛010002000⎠⎟⎞
D(1)=0⋅1+0⋅2x+0⋅(4x2−2)⇒[0,0,0]T
D(2x)=2⋅1+0⋅2x+0⋅(4x2−2)⇒[2,0,0]T
D(4x2−2)=0⋅1+4⋅2x+0⋅(4x2−2)⇒[0,4,0]T
∴A=⎝⎜⎛020004000⎠⎟⎞
{1,2x,4x2−2}에서 {1,x,x2}로의 기저 변환 행렬을 S라고 할 때
S=⎝⎜⎛10−2020004⎠⎟⎞
S−1=⎝⎜⎛101/201/20001/4⎠⎟⎞이고,
A=S−1BS이므로 A와 B는 유사(similar) 행렬이다.
예제 4.
L(x)=Ax로 정의된 L은 R3에서 R3으로의 사상인 선형 연산자이다.
여기서 A는 다음과 같다.
A=⎝⎜⎛220112112⎠⎟⎞
행렬 A는 기저 {e1,e2,e3}에 대한 L의 행렬 표현이다.
기저 {y1,y2,y3}에 대한 L을 표현하는 행렬을 구하여라.
y1=⎝⎜⎛1−10⎠⎟⎞,y2=⎝⎜⎛−211⎠⎟⎞,y3=⎝⎜⎛111⎠⎟⎞
풀이.
구하려는 행렬을 D라고 하자.
L(y1)=Ay1=0=0y1+0y2+0y3⇒[0,0,0]T
L(y2)=Ay2=⎝⎜⎛−211⎠⎟⎞=y2=0y1+1y2+0y3⇒[0,1,0]T
L(y3)=Ay3=⎝⎜⎛444⎠⎟⎞=4y3=0y1+0y2+4y3⇒[0,0,4]T
∴D=⎝⎜⎛000010004⎠⎟⎞
<참고자료>
Steve J. Leon, Linear Algebra with Application, 10th edition, 2021.