선형 대수 예제
S([abc])=[a-3b-3c3a-b-3ca-b+c]S⎛⎜⎝⎡⎢⎣abc⎤⎥⎦⎞⎟⎠=⎡⎢⎣a−3b−3c3a−b−3ca−b+c⎤⎥⎦
단계 1
변환은 ℝ3에서 ℝ3으로의 사상을 정의합니다. 선형 변환임을 증명하기 위해서는 해당 변환에서 스칼라 곱, 덧셈 및 영벡터가 보존되어야 합니다.
S: ℝ3→ℝ3
단계 2
먼저 변환이 이 성질을 유지하는 것을 증명합니다.
S(x+y)=S(x)+S(y)
단계 3
덧셈 성질이 S 에 대해 성립하는지 확인하기 위하여 두 개의 행렬을 세웁니다.
S([x1x2x3]+[y1y2y3])
단계 4
두 행렬을 더합니다.
S[x1+y1x2+y2x3+y3]
단계 5
벡터를 변환합니다.
S(x+y)=[x1+y1-3(x2+y2)-3(x3+y3)3(x1+y1)-(x2+y2)-3(x3+y3)x1+y1-(x2+y2)+x3+y3]
단계 6
단계 6.1
x1+y1-3(x2+y2)-3(x3+y3)을(를) 다시 정렬합니다.
S(x+y)=[x1-3x2-3x3+y1-3y2-3y33(x1+y1)-(x2+y2)-3(x3+y3)x1+y1-(x2+y2)+x3+y3]
단계 6.2
3(x1+y1)-(x2+y2)-3(x3+y3)을(를) 다시 정렬합니다.
S(x+y)=[x1-3x2-3x3+y1-3y2-3y33x1-x2-3x3+3y1-y2-3y3x1+y1-(x2+y2)+x3+y3]
단계 6.3
x1+y1-(x2+y2)+x3+y3을(를) 다시 정렬합니다.
S(x+y)=[x1-3x2-3x3+y1-3y2-3y33x1-x2-3x3+3y1-y2-3y3x1-x2+x3+y1-y2+y3]
S(x+y)=[x1-3x2-3x3+y1-3y2-3y33x1-x2-3x3+3y1-y2-3y3x1-x2+x3+y1-y2+y3]
단계 7
변수를 그룹지어 결과를 두 개의 행렬로 나눕니다.
S(x+y)=[x1-3x2-3x33x1-x2-3x3x1-x2+x3]+[y1-3y2-3y33y1-y2-3y3y1-y2+y3]
단계 8
변환의 덧셈 성질이 성립합니다.
S(x+y)=S(x)+S(y)
단계 9
변환이 선형이기 위해서는 스칼라 곱을 유지해야 합니다.
S(px)=T(p[abc])
단계 10
단계 10.1
행렬의 각 원소에 p을 곱합니다.
S(px)=S([papbpc])
단계 10.2
벡터를 변환합니다.
S(px)=[(pa)-3(pb)-3(pc)3((pa)-(pb)-3(pc))(pa)-(pb)+pc]
단계 10.3
행렬의 각 원소를 간단히 합니다.
단계 10.3.1
(pa)-3(pb)-3(pc)을(를) 다시 정렬합니다.
S(px)=[ap-3bp-3cp3((pa)-(pb)-3(pc))(pa)-(pb)+pc]
단계 10.3.2
3((pa)-(pb)-3(pc))을(를) 다시 정렬합니다.
S(px)=[ap-3bp-3cp3ap-3bp-9cp(pa)-(pb)+pc]
단계 10.3.3
(pa)-(pb)+pc을(를) 다시 정렬합니다.
S(px)=[ap-3bp-3cp3ap-3bp-9cpap-1bp+cp]
S(px)=[ap-3bp-3cp3ap-3bp-9cpap-1bp+cp]
단계 10.4
행렬의 각 원소를 인수분해합니다.
단계 10.4.1
ap-3bp-3cp 을 곱하여 원소 0,0 를 인수분해합니다.
S(px)=[p(a-3b-3c)3ap-3bp-9cpap-1bp+cp]
단계 10.4.2
3ap-3bp-9cp 을 곱하여 원소 1,0 를 인수분해합니다.
S(px)=[p(a-3b-3c)p(3a-3b-9c)ap-1bp+cp]
단계 10.4.3
ap-1bp+cp 을 곱하여 원소 2,0 를 인수분해합니다.
S(px)=[p(a-3b-3c)p(3a-3b-9c)p(a-b+c)]
S(px)=[p(a-3b-3c)p(3a-3b-9c)p(a-b+c)]
S(px)=[p(a-3b-3c)p(3a-3b-9c)p(a-b+c)]
단계 11
이 변환에서는 선형 변환의 두 번째 성질이 성립됩니다.
S(p[abc])=pS(x)
단계 12
선형 변환이 되려면 영 벡터가 보존되어야 합니다.
S(0)=0
단계 13
벡터를 변환합니다.
S(0)=[(0)-3⋅0-3⋅03(0)-(0)-3⋅0(0)-(0)+0]
단계 14
단계 14.1
(0)-3⋅0-3⋅0을(를) 다시 정렬합니다.
S(0)=[03(0)-(0)-3⋅0(0)-(0)+0]
단계 14.2
3(0)-(0)-3⋅0을(를) 다시 정렬합니다.
S(0)=[00(0)-(0)+0]
단계 14.3
(0)-(0)+0을(를) 다시 정렬합니다.
S(0)=[000]
S(0)=[000]
단계 15
영벡터는 변환 후 그대로 유지됩니다.
S(0)=0
단계 16
선형 변환의 세 가지 성질을 모두 만족하지 않으므로, 이는 선형 변환이 아닙니다.
선형 변환