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