令[tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex]是数域[tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex]上向量空间[tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex]的一些线性变换所成的集合。[tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex]的一个子空间[tex=1.0x1.0]97Y4VMFIqE7cl6MEqnCpuw==[/tex]如果在[tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex]中每一线性变换之下不变，那么就说 [tex=1.0x1.0]97Y4VMFIqE7cl6MEqnCpuw==[/tex]是[tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex]的一个不变子空间。说[tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex]是不可约的，如果[tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex]在[tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex]中没有非平凡的不变子空间。设[tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex]不可约，而[tex=0.714x1.0]OqF+/h/mAb1/2XhJuj27xg==[/tex]是[tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex]的一个线性变换，它与[tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex]中每一线性变换可交换。证明，[tex=0.714x1.0]OqF+/h/mAb1/2XhJuj27xg==[/tex]或者是零变换，或者是可逆变换。 [ 提示 : 令 [tex=5.0x1.357]o2+7Gdi3IvIUF7x5ByZZytJ/TK5JsUQ7dq1ESJYAz0s=[/tex]，证明[tex=1.0x1.0]97Y4VMFIqE7cl6MEqnCpuw==[/tex]是 [tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex]的一个不变子空间。