Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Cyclic subspace
open-in-new
<h2 id="definition">Definition</h2> <p>Let T : V → V {\displaystyle T:V\rightarrow V} be a linear transformation of a vector space V {\displaystyle V} and let v {\displaystyle v} be a vector in V {\displaystyle V} . The T {\displaystyle T} -cyclic subspace of V {\displaystyle V} generated by v {\displaystyle v} , denoted Z ( v ; T ) {\displaystyle Z(v;T)} , is the subspace of V {\displaystyle V} generated by the set of vectors { v , T ( v ) , T 2 ( v ) , … , T r ( v ) , … } {\displaystyle \{v,T(v),T^{2}(v),\ldots ,T^{r}(v),\ldots \}} . In the case when V {\displaystyle V} is a <a href="/facts/Topological_vector_space/XRex1ChN">topological vector space</a>, v {\displaystyle v} is called a cyclic vector for T {\displaystyle T} if Z ( v ; T ) {\displaystyle Z(v;T)} is dense in V {\displaystyle V} . For the particular case of <a href="/facts/Dimension_(vector_space)/z8m02A3W">finite-dimensional</a> spaces, this is equivalent to saying that Z ( v ; T ) {\displaystyle Z(v;T)} is the whole space V {\displaystyle V} . <a class="footnote-ref" id="fnref:1" href="#fn:1"><sup>1</sup></a> </p><p>There is another equivalent definition of cyclic spaces. Let T : V → V {\displaystyle T:V\rightarrow V} be a linear transformation of a topological vector space over a <a href="/facts/Field_(mathematics)/xAjAS4ko">field</a> F {\displaystyle F} and v {\displaystyle v} be a vector in V {\displaystyle V} . The set of all vectors of the form g ( T ) v {\displaystyle g(T)v} , where g ( x ) {\displaystyle g(x)} is a <a href="/facts/Polynomial/Lzak8VVx">polynomial</a> in the <a href="/facts/Ring_(mathematics)/JnCUXz63">ring</a> F [ x ] {\displaystyle F[x]} of all polynomials in x {\displaystyle x} over F {\displaystyle F} , is the T {\displaystyle T} -cyclic subspace generated by v {\displaystyle v} .<a class="footnote-ref" id="fnref:2" href="#fn:2"><sup>2</sup></a> </p><p>The subspace Z ( v ; T ) {\displaystyle Z(v;T)} is an <a href="/facts/Invariant_subspace/51Vm1W2X">invariant subspace</a> for T {\displaystyle T} , in the sense that T Z ( v ; T ) ⊂ Z ( v ; T ) {\displaystyle TZ(v;T)\subset Z(v;T)} . </p> <h3>Examples</h3> <ol><li>For any vector space V {\displaystyle V} and any linear operator T {\displaystyle T} on V {\displaystyle V} , the T {\displaystyle T} -cyclic subspace generated by the zero vector is the zero-subspace of V {\displaystyle V} .</li> <li>If I {\displaystyle I} is the <a href="/facts/Identity_operator/9AtsP0LC">identity operator</a> then every I {\displaystyle I} -cyclic subspace is one-dimensional.</li> <li> Z ( v ; T ) {\displaystyle Z(v;T)} is one-dimensional if and only if v {\displaystyle v} is a <a href="/facts/Eigenvalues_and_eigenvectors/8TjEoT8u">characteristic vector</a> (eigenvector) of T {\displaystyle T} .</li> <li>Let V {\displaystyle V} be the two-dimensional vector space and let T {\displaystyle T} be the linear operator on V {\displaystyle V} represented by the matrix [ 0 1 0 0 ] {\displaystyle {\begin{bmatrix}0&1\\0&0\end{bmatrix}}} relative to the standard ordered basis of V {\displaystyle V} . Let v = [ 0 1 ] {\displaystyle v={\begin{bmatrix}0\\1\end{bmatrix}}} . Then T v = [ 1 0 ] , T 2 v = 0 , … , T r v = 0 , … {\displaystyle Tv={\begin{bmatrix}1\\0\end{bmatrix}},\quad T^{2}v=0,\ldots ,T^{r}v=0,\ldots } . Therefore { v , T ( v ) , T 2 ( v ) , … , T r ( v ) , … } = { [ 0 1 ] , [ 1 0 ] } {\displaystyle \{v,T(v),T^{2}(v),\ldots ,T^{r}(v),\ldots \}=\left\{{\begin{bmatrix}0\\1\end{bmatrix}},{\begin{bmatrix}1\\0\end{bmatrix}}\right\}} and so Z ( v ; T ) = V {\displaystyle Z(v;T)=V} . Thus v {\displaystyle v} is a cyclic vector for T {\displaystyle T} .</li></ol> <h2 id="companion-matrix">Companion matrix</h2> <p>Let T : V → V {\displaystyle T:V\rightarrow V} be a linear transformation of a n {\displaystyle n} -dimensional vector space V {\displaystyle V} over a field F {\displaystyle F} and v {\displaystyle v} be a cyclic vector for T {\displaystyle T} . Then the vectors </p> B = { v 1 = v , v 2 = T v , v 3 = T 2 v , … v n = T n − 1 v } {\displaystyle B=\{v_{1}=v,v_{2}=Tv,v_{3}=T^{2}v,\ldots v_{n}=T^{n-1}v\}} <p>form an ordered basis for V {\displaystyle V} . Let the characteristic polynomial for T {\displaystyle T} be </p> p ( x ) = c 0 + c 1 x + c 2 x 2 + ⋯ + c n − 1 x n − 1 + x n {\displaystyle p(x)=c_{0}+c_{1}x+c_{2}x^{2}+\cdots +c_{n-1}x^{n-1}+x^{n}} . <p>Then </p> T v 1 = v 2 T v 2 = v 3 T v 3 = v 4 ⋮ T v n − 1 = v n T v n = − c 0 v 1 − c 1 v 2 − ⋯ c n − 1 v n {\displaystyle {\begin{aligned}Tv_{1}&=v_{2}\\Tv_{2}&=v_{3}\\Tv_{3}&=v_{4}\\\vdots &\\Tv_{n-1}&=v_{n}\\Tv_{n}&=-c_{0}v_{1}-c_{1}v_{2}-\cdots c_{n-1}v_{n}\end{aligned}}} <p>Therefore, relative to the ordered basis B {\displaystyle B} , the operator T {\displaystyle T} is represented by the matrix </p> [ 0 0 0 ⋯ 0 − c 0 1 0 0 … 0 − c 1 0 1 0 … 0 − c 2 ⋮ 0 0 0 … 1 − c n − 1 ] {\displaystyle {\begin{bmatrix}0&0&0&\cdots &0&-c_{0}\\1&0&0&\ldots &0&-c_{1}\\0&1&0&\ldots &0&-c_{2}\\\vdots &&&&&\\0&0&0&\ldots &1&-c_{n-1}\end{bmatrix}}} <p>This matrix is called the <i>companion matrix</i> of the polynomial p ( x ) {\displaystyle p(x)} .<a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a> </p> <h2 id="see-also">See also</h2> <ul><li><a href="/facts/Companion_matrix/IHCGAdPr">Companion matrix</a></li> <li><a href="/facts/Krylov_subspace/wtr5EXn6">Krylov subspace</a></li></ul> <h2 id="external-links">External links</h2> <ul><li>PlanetMath: <a href="https://planetmath.org/cyclicsubspace">cyclic subspace</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Hoffman, Kenneth; Kunze, Ray (1971). Linear algebra (2nd ed.). Englewood Cliffs, N.J.: Prentice-Hall, Inc. p. 227. ISBN 9780135367971. MR 0276251. <a href="9780135367971" target="_blank">9780135367971</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Hoffman, Kenneth; Kunze, Ray (1971). Linear algebra (2nd ed.). Englewood Cliffs, N.J.: Prentice-Hall, Inc. p. 227. ISBN 9780135367971. MR 0276251. <a href="9780135367971" target="_blank">9780135367971</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Hoffman, Kenneth; Kunze, Ray (1971). Linear algebra (2nd ed.). Englewood Cliffs, N.J.: Prentice-Hall, Inc. p. 227. ISBN 9780135367971. MR 0276251. <a href="9780135367971" target="_blank">9780135367971</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> </ol>