logo

벡터공간의 순환 부분공간 📂선형대수

벡터공간의 순환 부분공간

정의1

T:VVT : V \to V벡터공간 VV 위의 선형변환이라고 하자. v0V\mathbf{v} \ne \mathbf{0} \in V라고 하자. 다음의 부분공간

W=span({v,Tv,T2v,}) W = \span\left( \left\{ \mathbf{v}, T\mathbf{v}, T^{2}\mathbf{v}, \dots \right\} \right)

v\mathbf{v}로 생성되는 VVTT-순환 부분공간TT-cyclic subspace of VV generated by v\mathbf{v}이라 한다.

설명

TT-순환 부분공간은 자명하게 TT-불변 부분공간이다. 또한 v\mathbf{v}를 포함하는 가장 작은 TT-불변 부분공간이다.

정리1

T:VVT : V \to V유한차원 벡터공간 VV 위의 선형변환이라고 하자. WWv0V\mathbf{v} \ne \mathbf{0} \in V로 생성되는 TT-순환 부분공간이라고 하자. k=dim(W)k = \dim(W)라고 하자. 그러면

  1. {v,Tv,,Tk1v}\left\{ \mathbf{v}, T\mathbf{v}, \dots, T^{k-1}\mathbf{v} \right\}WW기저이다.

  2. 만약 a0v+a1Tv++ak1Tk1v+Tkv=0a_{0}\mathbf{v} + a_{1}T \mathbf{v} + \cdots + a_{k-1}T^{k-1} \mathbf{v} + T^{k}\mathbf{v} = \mathbf{0}이면, 축소사상 TWT|_{W}특성다항식f(t)=(1)k(a0+a1t++ak1tk1+tk) f(t) = (-1)^{k}\left( a_{0} + a_{1}t + \cdots +a_{k-1}t^{k-1} + t^{k} \right)

증명

같이보기


  1. Stephen H. Friedberg, Linear Algebra (4th Edition, 2002), p313 ↩︎ ↩︎