수학 에서 시프트 매트릭스 는 초대각선 또는 하위대각선 에만 매트릭스가 있고 다른 곳에는 0이 있는 이진 매트릭스다. 초대각선에 있는 것이 있는 시프트 매트릭스 U는 상부 시프트 매트릭스다. 대안적인 하위 대각 행렬 L은 당연히 하위 교대 행렬 로 알려져 있다. U 와 L 의 (i ,j ):제2의 구성요소는
U i j = δ i + 1 , j , L i j = δ i , j + 1 , {\displaystyle U_{ij}=\delta _{ij}}\i+1,j}\quad L_{ij}=\delta _{i,j+1}}} 여기서 Δ i j {\ displaystyle \delta_{ij} 는 Kronecker 델타 기호다.
예 를 들어 5×5 변속 매트릭스는
U 5 = ( 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 ) L 5 = ( 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 ) . {\displaystyle U_{5}={\begin{pmatrix}0&, 1&, 0&, 0&, 0\\0&, 0&, 1&, 0&, 0\\0&, 0&, 0&, 1&, 0\\0&, 0&, 0&, 0&, 1\\0&, 0&, 0&, 0&, 0\end{pmatrix}}\quad L_{5}={\begin{pmatrix}0&, 0&, 0&, 0&, 0\\1&, 0&, 0&, 0&, 0\\0&, 1&, 0&, 0&, 0\\0&, 0&, 1&, 0&, 0\\0&, 0&, 0&, 1&, 0\end{pmatrix}}. } 분명히, 저단 변속 매트릭스의 전치 는 상부 변속 매트릭스이고 그 반대도 마찬가지다.
선형 변환으로, 저변위 행렬은 열 벡터의 성분을 한 위치 아래로 이동시키고, 첫 번째 위치에는 0이 나타난다. 상부 이동 행렬은 열 벡터의 구성 요소를 한 위치 위로 이동시키고, 마지막 위치에는 0이 나타난다.[1]
매트릭스 A 를 저단 변속 매트릭스로 미리 설정하면 A 의 요소가 한 위치만큼 아래로 이동되고 상단 행에 0이 나타난다. 낮은 교대조 행렬에 의한 증배 후는 왼쪽으로 이동한다. 상부 시프트 매트릭스와 관련된 유사한 작동은 반대 시프트를 초래한다.
분명히 모든 유한차원 이동 행렬은 영점 이다; n by n shift matrix S 는 치수 n 의 힘으로 상승할 때 null 행렬 이 된다.
시프트 매트릭스는 시프트 공간 에 작용한다. 무한 차원 이동 매트릭스는 특히 인체모형 시스템 연구에 중요하다. 무한차원 이동의 중요한 예로는 칸토르 공간 의 이동으로 작용하는 베르누이 시프트(Bernouli shift )와 지속적인 분수 의 공간(즉, 바이어 공간 에서의 시프트)의 이동으로 작용하는 가우스 지도 가 있다.
특성. L 과 U 를 각각 n by lower 및 upper shift 매트릭스로 한다. 다음 속성은 U 와 L 을 모두 지탱한다. 따라서 U:에 대한 속성만 나열하십시오.
다음 속성은 U 와 L 의 관계를 보여준다.
LT T = U , U = LU 와 L 의 null 공간은 N ( U ) = 스판하다 { ( 1 , 0 , … , 0 ) T } , {\displaystyle N(U)=\operatorname {span} \left\{(1,0,\ldots,0)^{\mathsf {T}\right\}}} N ( L ) = 스판하다 { ( 0 , … , 0 , 1 ) T } . {\displaystyle N(L)=\operatorname {span} \left\{(0,\ldots,0,1)^{\mathsf {T}\right\}. } U 와 L 의 스펙트럼 은 { 0 } {\displaystyle \{0\}} 이다. 0 의 대수적 승수 는 n 이고, 기하학적 승수 는 1 이다. From the expressions for the null spaces, it follows that (up to a scaling) the only eigenvector for U is ( 1 , 0 , … , 0 ) T {\displaystyle (1,0,\ldots ,0)^{\mathsf {T}}} , and the only eigenvector for L is ( 0 , … , 0 , 1 ) T {\displaystyle (0,\ldots ,0,1)^{\mathsf {T}}} . LU 와 UL 을 위해 우리는 U L = I − 검열하다 ( 0 , … , 0 , 1 ) , {\displaystyle UL=I-\operatorname {diag}(0,\ldots,0,1) L U = I − 검열하다 ( 1 , 0 , … , 0 ) . {\displaystyle LU=I-\operatorname {diag}(1,0,\ldots,0). } 이들 행렬은 모두 idempotent, 대칭이며, U , L 과 같은 순위를 가지고 있다. LU n−a n−a + LU a a = UL n−a n−a + ULa a = I(ID 매트릭스 ), 0과 n 사이 의 정수 a 에 대해 N 이 nilpotent 행렬 인 경우, N 은 형식의 블록 대각 행렬 과 유사하다.
( S 1 0 … 0 0 S 2 … 0 ⋮ ⋮ ⋱ ⋮ 0 0 … S r ) {\displaystyle {\begin{pmatrix}S_{1}�&\ldots &0\0> S_{2}&\ldots &0\\\vdots &\\vdots &\\vdots \\\0&\ldots &S_{r}\end{pmatrix}}}}}} 여기서 각 블록 1 S, S 2 , ...는r 시프트 매트릭스(아마도 크기가 서로 다를 것이다)이다.[2] [3]
예 S = ( 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 ) ; A = ( 1 1 1 1 1 1 2 2 2 1 1 2 3 2 1 1 2 2 2 1 1 1 1 1 1 ) . {\displaystyle S={\begin{pmatrix}0&, 0&, 0&, 0&, 0\\1&, 0&, 0&, 0&, 0\\0&, 1&, 0&, 0&, 0\\0&, 0&, 1&, 0&, 0\\0&, 0&, 0&, 1&, 0\end{pmatrix}};\quad A={\begin{pmatrix}1&, 1&, 1&, 1&, 1\\1&, 2&, 2&, 2&, 1\\1&, 2&, 3&, 2&, 1\\1&, 2&, 2&, 2&, 1\\1&, 1&, 1&, 1&, 1\end{pmatrix}}. } 그러면
S A = ( 0 0 0 0 0 1 1 1 1 1 1 2 2 2 1 1 2 3 2 1 1 2 2 2 1 ) ; A S = ( 1 1 1 1 0 2 2 2 1 0 2 3 2 1 0 2 2 2 1 0 1 1 1 1 0 ) . {\displaystyle SA={\begin{pmatrix}0&, 0&, 0&, 0&, 0\\1&, 1&, 1&, 1&, 1\\1&, 2&, 2&, 2&, 1\\1&, 2&, 3&, 2&, 1\\1&, 2&, 2&, 2&, 1\end{pmatrix}};\quad AS={\begin{pmatrix}1&, 1&, 1&, 1&, 0\\2&, 2&, 2&, 1&, 0\\2&, 3&, 2&, 1&, 0\\2&, 2&, 2&, 1&, 0\\1&, 1&, 1&, 1&, 0\end{pmatrix}}. } 분명히 많은 가능한 순열들 이 있다. 예: S T A S {\displaystyle S^{\mathsf{T}}} AS} 은 (는) 주 대각선을 따라 위와 왼쪽으로 이동된 행렬 A와 동일하다.
S T A S = ( 2 2 2 1 0 2 3 2 1 0 2 2 2 1 0 1 1 1 1 0 0 0 0 0 0 ) . {\displaystyle S^{\mathsf{T}} AS={\begin{pmatrix}2&&2&1&0\\2&3&1&0\\2&1&0\1&1&0&0&0\end{pmatrix}. }
참고 항목 메모들
참조 Beauregard, Raymond A.; Fraleigh, John B. (1973), A First Course In Linear Algebra: with Optional Introduction to Groups, Rings, and Fields , Boston: Houghton Mifflin Co. , ISBN 0-395-14017-X Herstein, I. N. (1964), Topics In Algebra , Waltham: Blaisdell Publishing Company , ISBN 978-1114541016 외부 링크