선형 대수 예제
S([abc])=[a-b-ca-b-ca-b+c]S⎛⎜⎝⎡⎢⎣abc⎤⎥⎦⎞⎟⎠=⎡⎢⎣a−b−ca−b−ca−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-(x2+y2)-(x3+y3)x1+y1-(x2+y2)-(x3+y3)x1+y1-(x2+y2)+x3+y3]
단계 6
단계 6.1
x1+y1-(x2+y2)-(x3+y3)을(를) 다시 정렬합니다.
S(x+y)=[x1-x2-x3+y1-y2-y3x1+y1-(x2+y2)-(x3+y3)x1+y1-(x2+y2)+x3+y3]
단계 6.2
x1+y1-(x2+y2)-(x3+y3)을(를) 다시 정렬합니다.
S(x+y)=[x1-x2-x3+y1-y2-y3x1-x2-x3+y1-y2-y3x1+y1-(x2+y2)+x3+y3]
단계 6.3
x1+y1-(x2+y2)+x3+y3을(를) 다시 정렬합니다.
S(x+y)=[x1-x2-x3+y1-y2-y3x1-x2-x3+y1-y2-y3x1-x2+x3+y1-y2+y3]
S(x+y)=[x1-x2-x3+y1-y2-y3x1-x2-x3+y1-y2-y3x1-x2+x3+y1-y2+y3]
단계 7
변수를 그룹지어 결과를 두 개의 행렬로 나눕니다.
S(x+y)=[x1-x2-x3x1-x2-x3x1-x2+x3]+[y1-y2-y3y1-y2-y3y1-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)-(pb)-(pc)(pa)-(pb)-(pc)(pa)-(pb)+pc]
단계 10.3
행렬의 각 원소를 간단히 합니다.
단계 10.3.1
(pa)-(pb)-(pc)을(를) 다시 정렬합니다.
S(px)=[ap-1bp-1cp(pa)-(pb)-(pc)(pa)-(pb)+pc]
단계 10.3.2
(pa)-(pb)-(pc)을(를) 다시 정렬합니다.
S(px)=[ap-1bp-1cpap-1bp-1cp(pa)-(pb)+pc]
단계 10.3.3
(pa)-(pb)+pc을(를) 다시 정렬합니다.
S(px)=[ap-1bp-1cpap-1bp-1cpap-1bp+cp]
S(px)=[ap-1bp-1cpap-1bp-1cpap-1bp+cp]
단계 10.4
행렬의 각 원소를 인수분해합니다.
단계 10.4.1
ap-1bp-1cp 을 곱하여 원소 0,0 를 인수분해합니다.
S(px)=[p(a-b-c)ap-1bp-1cpap-1bp+cp]
단계 10.4.2
ap-1bp-1cp 을 곱하여 원소 1,0 를 인수분해합니다.
S(px)=[p(a-b-c)p(a-b-c)ap-1bp+cp]
단계 10.4.3
ap-1bp+cp 을 곱하여 원소 2,0 를 인수분해합니다.
S(px)=[p(a-b-c)p(a-b-c)p(a-b+c)]
S(px)=[p(a-b-c)p(a-b-c)p(a-b+c)]
S(px)=[p(a-b-c)p(a-b-c)p(a-b+c)]
단계 11
이 변환에서는 선형 변환의 두 번째 성질이 성립됩니다.
S(p[abc])=pS(x)
단계 12
선형 변환이 되려면 영 벡터가 보존되어야 합니다.
S(0)=0
단계 13
벡터를 변환합니다.
S(0)=[(0)-(0)-(0)(0)-(0)-(0)(0)-(0)+0]
단계 14
단계 14.1
(0)-(0)-(0)을(를) 다시 정렬합니다.
S(0)=[0(0)-(0)-(0)(0)-(0)+0]
단계 14.2
(0)-(0)-(0)을(를) 다시 정렬합니다.
S(0)=[00(0)-(0)+0]
단계 14.3
(0)-(0)+0을(를) 다시 정렬합니다.
S(0)=[000]
S(0)=[000]
단계 15
영벡터는 변환 후 그대로 유지됩니다.
S(0)=0
단계 16
선형 변환의 세 가지 성질을 모두 만족하지 않으므로, 이는 선형 변환이 아닙니다.
선형 변환