Section 24

Invariant subspaces, eigenvectors, and eigenvalues of linear transformations

[148/71%]
Show
LaTeX
Problem 24.1

Prove that the set of all eigenvectors of a linear transformation corresponding to one eigenvalue, augmented with the zero vector, coincides with the eigenspace.

?
Problem 24.2

Prove that:

?
(1)

the kernel of a linear transformation coincides with the eigenspace corresponding to the zero eigenvalue

(2)

The eigenspace of the transformation φ\varphi corresponding to the eigenvalue λ\lambda is the set of vectors satisfying the condition φ(x)=λx\varphi (x) = \lambda x.

Problem 24.3

Let AA be the matrix, and λ\lambda an eigenvalue, of a linear transformation of an nn-dimensional vector space. What is the dimension of the eigenspace corresponding to the eigenvalue λ\lambda, if the rank of the matrix A−λEA - \lambda E equals rr?

?
Problem 24.4

What form does the matrix of a linear transformation have, if the first kk basis vectors are its eigenvectors?

?
Problem 24.5

Prove that the dimension of the eigenspace corresponding to a given root of the characteristic polynomial does not exceed the multiplicity of this root.

?
Problem 24.6

Let x,yx, y be eigenvectors of a linear transformation corresponding to different eigenvalues, and let the numbers α,β\alpha , \beta be different from zero. Prove that the vector αx+βy\alpha x + \beta y is not an eigenvector.

?
Problem 24.7

Prove that a nonzero linear transformation for which all nonzero vectors are eigenvectors is a homothety.

?
Problem 24.8

Prove that a system of eigenvectors corresponding to pairwise distinct eigenvalues of a linear transformation is linearly independent.

?
Problem 24.9

Prove that the matrix of a linear transformation in some basis is diagonal if and only if all the vectors of the basis are eigenvectors.

?
Problem 24.10

Prove that a linear transformation of an nn-dimensional vector space having nn distinct eigenvalues is diagonalizable.

?
Problem 24.11

Let φ\varphi be a linear transformation of a finite-dimensional vector space L\mathcal{L}. Prove that the following statements are equivalent:

?
(1)

φ\varphi is diagonalizable

(2)

there exists in L\mathcal{L} a basis of eigenvectors of the transformation φ\varphi

(3)

the union of the bases of the eigenspaces is a basis in L\mathcal{L}

(4)

the multiplicity of each root λ\lambda of the characteristic equation equals the dimension of the eigenspace Lλ\mathcal{L}_{\lambda }

(5)

L\mathcal{L} is the direct sum of the eigenspaces.

Problem 24.12

Prove that:

?
(1)

in a complex vector space every characteristic number of the matrix of a linear transformation is an eigenvalue, so that an arbitrary linear transformation has at least one eigenvector

(2)

in a real space every real characteristic number is an eigenvalue.

Problem 24.13

Prove that a linear transformation of an odd-dimensional (for example, three-dimensional) real vector space has at least one eigenvector.

?
Problem 24.14
?
(1)

Prove that the characteristic polynomial, the determinant, and the trace of the matrix of a linear transformation do not depend on the choice of basis.

(2)

Find an expression for the coefficients of the characteristic polynomial, in particular the trace and the determinant of a matrix of order nn, in terms of the characteristic numbers.

Problem 24.15

Find the eigenvectors and eigenvalues of each of the following transformations:

?
(1)

the zero one

(2)

the identity one

(3)

a homothety.

Problem 24.16

Find the eigenvalues and eigenvectors of a linear transformation given, in some basis of an nn-dimensional vector space, by the matrix A612=Jn(λ)\mathbf{A}_{612} = J_{n}(\lambda ). A612=[λ10…00λ1…0……………000…1000…λ]\mathbf{A}_{612} = \left[\begin{smallmatrix} \lambda & 1 & 0 & \ldots & 0 \\ 0 & \lambda & 1 & \ldots & 0 \\ \ldots & \ldots & \ldots & \ldots & \ldots \\ 0 & 0 & 0 & \ldots & 1 \\ 0 & 0 & 0 & \ldots & \lambda \end{smallmatrix}\right].

?
Problem 24.17

Let the matrix of a linear transformation in some basis be upper or lower triangular with diagonal entries λ1,…,λn\lambda_{1}, \ldots , \lambda_{n}. Find all eigenvalues of this transformation.

?
Problem 24.18

Let L=L′⊕L′′\mathcal{L} = \mathcal{L}^{\prime } \oplus \mathcal{L}^{\prime \prime }, where L′,L′′\mathcal{L}^{\prime }, \mathcal{L}^{\prime \prime } are nonzero subspaces. Find the eigenvalues and eigenspaces of the linear transformation φ\varphi; prove that φ\varphi has a basis of eigenvectors, and indicate the diagonal form of its matrix, if φ\varphi is:

?
(1)

projection onto the subspace L′\mathcal{L}^{\prime } parallel to L′′\mathcal{L}^{\prime \prime }

(2)

reflection in the subspace L′\mathcal{L}^{\prime } parallel to L′′\mathcal{L}^{\prime \prime }.

Problem 24.19

Find the eigenvalues and eigenspaces, reduce to diagonal form the matrices of the linear transformations defined in problem 23.65.

?
(1)

reflection of the plane in the line x+2y=0x + 2y = 0 parallel to the line x+3y=0x + 3y = 0

(2)

projection of the plane onto the line x+y=0x + y = 0 parallel to the line 4x+5y=04x + 5y = 0

(3)

contraction with coefficient λ=2\lambda = 2 toward the line 3x−2y=03x - 2y = 0 parallel to the line x−y=0x - y = 0.

Problem 24.20

Find the eigenvalues, eigenspaces, reduce to diagonal form the matrix of the linear transformation defined in problem:

?
(1)

23.9(1): orthogonal projection of the space E3\mathcal{E}_{3} onto the subspace L\mathcal{L}, if L\mathcal{L} is the line x=z=0x = z = 0;

(2)

23.9(2): orthogonal projection of the space E3\mathcal{E}_{3} onto the subspace L\mathcal{L}, if L\mathcal{L} is the line x=y=zx = y = z;

(3)

23.9(3): orthogonal projection of the space E3\mathcal{E}_{3} onto the subspace L\mathcal{L}, if L\mathcal{L} is the plane x+y+z=0x + y + z = 0;

(4)

23.9(4): orthogonal projection of the space E3\mathcal{E}_{3} onto the subspace L\mathcal{L}, if L\mathcal{L} is the plane spanned by the vectors a(−1,1,−1)\mathbf{a}(- 1, 1, - 1) and b(1,−3,2)\mathbf{b}(1, - 3, 2);

(5)

23.10(1): projection of the space E3\mathcal{E}_{3} onto the subspace L\mathcal{L} parallel to the subspace M\mathcal{M}, if: L\mathcal{L} is defined by the equation x=0x = 0, M\mathcal{M} by the equations 2x=2y=−z2x = 2y = - z;

(6)

23.10(2): projection of the space E3\mathcal{E}_{3} onto the subspace L\mathcal{L} parallel to the subspace M\mathcal{M}, if: L\mathcal{L} has the equation x=yx = y, M\mathcal{M} is defined by the system of equations x+y+z=0,2x+y+4z=0x + y + z = 0, 2x + y + 4z = 0;

(7)

23.10(3): projection of the space E3\mathcal{E}_{3} onto the subspace L\mathcal{L} parallel to the subspace M\mathcal{M}, if: L\mathcal{L} is defined by the equations −20x=15y=12z- 20x = 15y = 12z, M\mathcal{M} by the equation 2x+3y−z=02x + 3y - z = 0;

(8)

23.10(4): projection of the space E3\mathcal{E}_{3} onto the subspace L\mathcal{L} parallel to the subspace M\mathcal{M}, if: L\mathcal{L} is defined by the system of equations x−y+z=0,2x−3y+4z=0x - y + z = 0, 2x - 3y + 4z = 0, M\mathcal{M} by the equation 2x+3y−4z=02x + 3y - 4z = 0;

(9)

23.12(1): the linear transformation φ\varphi, if φ\varphi is the orthogonal reflection of the space E3\mathcal{E}_{3} with respect to the plane x=0x = 0;

(10)

23.12(2): the linear transformation φ\varphi, if φ\varphi is the orthogonal reflection of the space E3\mathcal{E}_{3} with respect to the line x=2y=zx = 2y = z;

(11)

23.12(3): the linear transformation φ\varphi, if φ\varphi is the orthogonal reflection of the space E3\mathcal{E}_{3} with respect to the linear span of the vectors a(1,0,−1)\mathbf{a}(1, 0, - 1) and b(1,1,−2)\mathbf{b}(1, 1, - 2);

(12)

23.13(1): reflection of the space E3\mathcal{E}_{3} in the plane x=0x = 0 parallel to the line 2x=y=−z2x = y = - z;

(13)

23.13(2): reflection of the space E3\mathcal{E}_{3} in the line x=z,x−y+z=0x = z, \quad x - y + z = 0 parallel to the plane x+y=0x + y = 0.

The vector subspaces of the three-dimensional geometric vector space E3\mathcal{E}_{3} are given by their equations in some orthonormal basis.

Problem 24.21

Find the eigenvalues and eigenvectors of the linear transformation defined in problem:

?
(1)

23.14,1)23. 14, 1)

(2)

23.14,2)23. 14, 2)

(3)

23.14,3)23. 14, 3)

(4)

23.66,1)23. 66, 1)

(5)

23.66,2)23. 66, 2)

(6)

23.66,3)23. 66, 3)

(7)

23.66,4)23. 66, 4)

(8)

23.66,5)23. 66, 5).

Is it possible to form a basis from the eigenvectors of the transformation?

Problem 24.22
?
(1)

Find the eigenvalues and eigenvectors of the linear transformation φ\varphi given by the matrix

A=(a1,…,an)T(b1,…,bn)≠0. A = \left(a_{1}, \ldots , a_{n}\right)^{T}\left(b_{1}, \ldots , b_{n}\right) \neq 0.
(2)

Find a necessary and sufficient condition for the diagonalizability of the transformation φ\varphi.

(3)

Determine whether the transformations given by the matrices are diagonalizable:

(1) A213\mathbf{A}_{213};

(2) A222\mathbf{A}_{222}. A213=[111222333],A222=[111222−3−3−3]\mathbf{A}_{213} = \left[\begin{smallmatrix} 1 & 1 & 1 \\ 2 & 2 & 2 \\ 3 & 3 & 3 \end{smallmatrix}\right], \mathbf{A}_{222} = \left[\begin{smallmatrix} 1 & 1 & 1 \\ 2 & 2 & 2 \\ -3 & -3 & -3 \end{smallmatrix}\right].

Problem 24.23

Let k,m,nk, m, n be natural numbers, 1⩽k⩽m⩽n1 \leqslant k \leqslant m \leqslant n. Give an example of a linear transformation of an nn-dimensional vector space for which a given number λ\lambda is a root of the characteristic polynomial of multiplicity mm, and the eigenspace corresponding to it has dimension kk.

?
Problem 24.24

Let a linear transformation φ\varphi of a three-dimensional complex vector space have, in some basis, a real matrix, and let at least one characteristic number of this matrix not be real. Prove that φ\varphi is diagonalizable.

?
Problem 24.25

Let xx be an eigenvector of a linear transformation φ\varphi corresponding to the eigenvalue λ\lambda, and let p(t)p(t) be a polynomial. Prove that the vector xx is an eigenvector for the transformation p(φ)p(\varphi ) and belongs to the eigenvalue p(λ)p(\lambda ).

?
Problem 24.26

Let λ1,…,λn\lambda_{1}, \ldots , \lambda_{n} be the characteristic numbers of a linear transformation φ\varphi in an nn-dimensional vector space. What are the characteristic numbers (with multiplicities) of the transformation:

?
(1)

(р) φ2\varphi^{2};

(2)

(р) φm(m\varphi^{m}(m is a natural number)

(3)

φ−1\varphi^{ - 1} (assuming that φ\varphi is invertible)

(4)

p(φ)p(\varphi ), where p(t)p(t) is an arbitrary polynomial (assuming that λ1,…,λn\lambda_{1}, \ldots , \lambda_{n} are distinct)?

Problem 24.27

Let the characteristic polynomials of the square matrices AA and BB have simple roots λ1,…,λm\lambda_{1}, \ldots , \lambda_{m} and μ1,…,μn\mu_{1}, \ldots , \mu_{n} respectively. Find the characteristic numbers of the Kronecker product A⊗BA\otimes B of the matrices A,BA, B. (See the introduction to 15.)

?
Problem 24.28

Let a linear transformation φ\varphi of a vector space L\mathcal{L} be diagonalizable. Prove the statements:

?
(1)

Im⁡φ\operatorname {Im} \varphi is the linear span of the set of all eigenvectors corresponding to nonzero eigenvalues

(2)

L=Im⁡φ⊕Ker⁡φ\mathcal{L} = \operatorname {Im} \varphi \oplus \operatorname {Ker} \varphi.

Problem 24.29

Give an example of a linear transformation φ\varphi of the space Rn\mathcal{R}_{n} for which Rn≠Im⁡φ+Ker⁡φ\mathcal{R}_{n} \neq \operatorname {Im} \varphi + \operatorname {Ker} \varphi.

?
Problem 24.30

A linear transformation of a real nn-dimensional vector space is given by its matrix. Compute the eigenvalues and find a maximal linearly independent system of eigenvectors of the transformation. If the system of vectors found forms a basis, write the matrix of the transformation in it and determine the geometric meaning of the transformation (in items 1-10 n=2n = 2, in items 11-30 n=3n = 3, in items 31-40 n=4n = 4):

?
(1)

A46\mathbf{A}_{46}. A46=[−4014]\mathbf{A}_{46} = \left[\begin{smallmatrix} -4 & 0 \\ 1 & 4 \end{smallmatrix}\right].

(2)

A14\mathbf{A}_{14}. A14=[1010]\mathbf{A}_{14} = \left[\begin{smallmatrix} 1 & 0 \\ 1 & 0 \end{smallmatrix}\right].

(3)

A36\mathbf{A}_{36}. A36=[02−1−3]\mathbf{A}_{36} = \left[\begin{smallmatrix} 0 & 2 \\ -1 & -3 \end{smallmatrix}\right].

(4)

A47\mathbf{A}_{47}. A47=[5−2−28]\mathbf{A}_{47} = \left[\begin{smallmatrix} 5 & -2 \\ -2 & 8 \end{smallmatrix}\right].

(5)

A48\mathbf{A}_{48}. A48=[4/3−1−13/4]\mathbf{A}_{48} = \left[\begin{smallmatrix} 4/3 & -1 \\ -1 & 3/4 \end{smallmatrix}\right].

(6)

A13\mathbf{A}_{13}. A13=[1101]\mathbf{A}_{13} = \left[\begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix}\right].

(7)

A12\mathbf{A}_{12}. A12=[1111]\mathbf{A}_{12} = \left[\begin{smallmatrix} 1 & 1 \\ 1 & 1 \end{smallmatrix}\right].

(8)

A5\mathbf{A}_{5}. A5=[1−11−1]\mathbf{A}_{5} = \left[\begin{smallmatrix} 1 & -1 \\ 1 & -1 \end{smallmatrix}\right].

(9)

A30\mathbf{A}_{30}. A30=[256060144]\mathbf{A}_{30} = \left[\begin{smallmatrix} 25 & 60 \\ 60 & 144 \end{smallmatrix}\right].

(10)

A49\mathbf{A}_{49}. A49=[4−312−8]\mathbf{A}_{49} = \left[\begin{smallmatrix} 4 & -3 \\ 12 & -8 \end{smallmatrix}\right].

(11)

A261\mathbf{A}_{261}. A261=[103212301]\mathbf{A}_{261} = \left[\begin{smallmatrix} 1 & 0 & 3 \\ 2 & 1 & 2 \\ 3 & 0 & 1 \end{smallmatrix}\right].

(12)

A243\mathbf{A}_{243}. A243=[100001010]\mathbf{A}_{243} = \left[\begin{smallmatrix} 1 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 1 & 0 \end{smallmatrix}\right].

(13)

A290\mathbf{A}_{290}. A290=[21−33−2−311−2]\mathbf{A}_{290} = \left[\begin{smallmatrix} 2 & 1 & -3 \\ 3 & -2 & -3 \\ 1 & 1 & -2 \end{smallmatrix}\right].

(14)

A291\mathbf{A}_{291}. A291=[2−1112−11−12]\mathbf{A}_{291} = \left[\begin{smallmatrix} 2 & -1 & 1 \\ 1 & 2 & -1 \\ 1 & -1 & 2 \end{smallmatrix}\right].

(15)

A292\mathbf{A}_{292}. A292=[1−2−1−11110−1]\mathbf{A}_{292} = \left[\begin{smallmatrix} 1 & -2 & -1 \\ -1 & 1 & 1 \\ 1 & 0 & -1 \end{smallmatrix}\right].

(16)

A293\mathbf{A}_{293}. A293=[11032123101]\mathbf{A}_{293} = \left[\begin{smallmatrix} 1 & 10 & 3 \\ 2 & 1 & 2 \\ 3 & 10 & 1 \end{smallmatrix}\right].

(17)

A294\mathbf{A}_{294}. A294=[2−20−292022]\mathbf{A}_{294} = \left[\begin{smallmatrix} 2 & -2 & 0 \\ -2 & 9 & 2 \\ 0 & 2 & 2 \end{smallmatrix}\right].

(18)

A295\mathbf{A}_{295}. A295=[42−621−3−6−39]\mathbf{A}_{295} = \left[\begin{smallmatrix} 4 & 2 & -6 \\ 2 & 1 & -3 \\ -6 & -3 & 9 \end{smallmatrix}\right].

(19)

A221\mathbf{A}_{221}. A221=[41−125−244−1]\mathbf{A}_{221} = \left[\begin{smallmatrix} 4 & 1 & -1 \\ 2 & 5 & -2 \\ 4 & 4 & -1 \end{smallmatrix}\right].

(20)

A267\mathbf{A}_{267}. A267=[−13−1−35−1−331]\mathbf{A}_{267} = \left[\begin{smallmatrix} -1 & 3 & -1 \\ -3 & 5 & -1 \\ -3 & 3 & 1 \end{smallmatrix}\right].

(21)

A296\mathbf{A}_{296}. A296=[3−26−26363−2]\mathbf{A}_{296} = \left[\begin{smallmatrix} 3 & -2 & 6 \\ -2 & 6 & 3 \\ 6 & 3 & -2 \end{smallmatrix}\right].

(22)

A297\mathbf{A}_{297}. A297=[0000−1100−1]\mathbf{A}_{297} = \left[\begin{smallmatrix} 0 & 0 & 0 \\ 0 & -1 & 1 \\ 0 & 0 & -1 \end{smallmatrix}\right].

(23)

A298\mathbf{A}_{298}. A298=[011101221]\mathbf{A}_{298} = \left[\begin{smallmatrix} 0 & 1 & 1 \\ 1 & 0 & 1 \\ 2 & 2 & 1 \end{smallmatrix}\right].

(24)

A273\mathbf{A}_{273}. A273=[−144−10−18−2091315]\mathbf{A}_{273} = \left[\begin{smallmatrix} -1 & 4 & 4 \\ -10 & -18 & -20 \\ 9 & 13 & 15 \end{smallmatrix}\right].

(25)

A235\mathbf{A}_{235}. A235=[121124−1−2−3]\mathbf{A}_{235} = \left[\begin{smallmatrix} 1 & 2 & 1 \\ 1 & 2 & 4 \\ -1 & -2 & -3 \end{smallmatrix}\right].

(26)

A230\mathbf{A}_{230}. A230=[−143−2532−4−2]\mathbf{A}_{230} = \left[\begin{smallmatrix} -1 & 4 & 3 \\ -2 & 5 & 3 \\ 2 & -4 & -2 \end{smallmatrix}\right].

(27)

A237\mathbf{A}_{237}. A237=[−11−23−362−24]\mathbf{A}_{237} = \left[\begin{smallmatrix} -1 & 1 & -2 \\ 3 & -3 & 6 \\ 2 & -2 & 4 \end{smallmatrix}\right].

(28)

A299\mathbf{A}_{299}. A299=[−2−2−3236−1−2−4]\mathbf{A}_{299} = \left[\begin{smallmatrix} -2 & -2 & -3 \\ 2 & 3 & 6 \\ -1 & -2 & -4 \end{smallmatrix}\right].

(29)

A287\mathbf{A}_{287}. A287=[7−12610−191012−2413]\mathbf{A}_{287} = \left[\begin{smallmatrix} 7 & -12 & 6 \\ 10 & -19 & 10 \\ 12 & -24 & 13 \end{smallmatrix}\right].

(30)

A283\mathbf{A}_{283}. A283=[251−1−30−2−3−2]\mathbf{A}_{283} = \left[\begin{smallmatrix} 2 & 5 & 1 \\ -1 & -3 & 0 \\ -2 & -3 & -2 \end{smallmatrix}\right].

(31)

A477\mathbf{A}_{477}. A477=[0001001001001000]\mathbf{A}_{477} = \left[\begin{smallmatrix} 0 & 0 & 0 & 1 \\ 0 & 0 & 1 & 0 \\ 0 & 1 & 0 & 0 \\ 1 & 0 & 0 & 0 \end{smallmatrix}\right].

(32)

A479\mathbf{A}_{479}. A479=[0100100000010010]\mathbf{A}_{479} = \left[\begin{smallmatrix} 0 & 1 & 0 & 0 \\ 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 1 & 0 \end{smallmatrix}\right].

(33)

A480\mathbf{A}_{480}. A480=[5−24−4−282−200450054]\mathbf{A}_{480} = \left[\begin{smallmatrix} 5 & -2 & 4 & -4 \\ -2 & 8 & 2 & -2 \\ 0 & 0 & 4 & 5 \\ 0 & 0 & 5 & 4 \end{smallmatrix}\right].

(34)

A481\mathbf{A}_{481}. A481=[1−11−1−11−111−11−1−11−11]\mathbf{A}_{481} = \left[\begin{smallmatrix} 1 & -1 & 1 & -1 \\ -1 & 1 & -1 & 1 \\ 1 & -1 & 1 & -1 \\ -1 & 1 & -1 & 1 \end{smallmatrix}\right].

(35)

A482\mathbf{A}_{482}. A482=[100−101−10−10010−110]\mathbf{A}_{482} = \left[\begin{smallmatrix} 1 & 0 & 0 & -1 \\ 0 & 1 & -1 & 0 \\ -1 & 0 & 0 & 1 \\ 0 & -1 & 1 & 0 \end{smallmatrix}\right].

(36)

A449\mathbf{A}_{449}. A449=[−12−4−2−2−2−9−74−90−5−2758]\mathbf{A}_{449} = \left[\begin{smallmatrix} -1 & 2 & -4 & -2 \\ -2 & -2 & -9 & -7 \\ 4 & -9 & 0 & -5 \\ -2 & 7 & 5 & 8 \end{smallmatrix}\right].

(37)

A483\mathbf{A}_{483}. A483=[2114−2−1−2−2−2−2−1−2111−1]\mathbf{A}_{483} = \left[\begin{smallmatrix} 2 & 1 & 1 & 4 \\ -2 & -1 & -2 & -2 \\ -2 & -2 & -1 & -2 \\ 1 & 1 & 1 & -1 \end{smallmatrix}\right].

(38)

A484\mathbf{A}_{484}. A484=[111111−1−11−11−11−1−11]\mathbf{A}_{484} = \left[\begin{smallmatrix} 1 & 1 & 1 & 1 \\ 1 & 1 & -1 & -1 \\ 1 & -1 & 1 & -1 \\ 1 & -1 & -1 & 1 \end{smallmatrix}\right].

(39)

A485\mathbf{A}_{485}. A485=[3−1−1−1111−311−31−13−1−1]\mathbf{A}_{485} = \left[\begin{smallmatrix} 3 & -1 & -1 & -1 \\ 1 & 1 & 1 & -3 \\ 1 & 1 & -3 & 1 \\ -1 & 3 & -1 & -1 \end{smallmatrix}\right].

(40)

A469\mathbf{A}_{469}. A469=[−2−13−7−303−731−2731−38]\mathbf{A}_{469} = \left[\begin{smallmatrix} -2 & -1 & 3 & -7 \\ -3 & 0 & 3 & -7 \\ 3 & 1 & -2 & 7 \\ 3 & 1 & -3 & 8 \end{smallmatrix}\right].

Problem 24.31

A linear transformation of a complex nn-dimensional vector space is given by its matrix. Find a basis of eigenvectors and write the matrix of the transformation in this basis:

?
(1)

A20\mathbf{A}_{20}. A20=[0−110]\mathbf{A}_{20} = \left[\begin{smallmatrix} 0 & -1 \\ 1 & 0 \end{smallmatrix}\right].

(2)

A50\mathbf{A}_{50}. A50=[0−11−1]\mathbf{A}_{50} = \left[\begin{smallmatrix} 0 & -1 \\ 1 & -1 \end{smallmatrix}\right].

(3)

A82\mathbf{A}_{82}. A82=[i1−1i]\mathbf{A}_{82} = \left[\begin{smallmatrix} i & 1 \\ -1 & i \end{smallmatrix}\right].

(4)

A79(ε=e2πi/3)\mathbf{A}_{79} \quad \left(\varepsilon = e^{2\pi i / 3}\right). A79=[0εε−10]\mathbf{A}_{79} = \left[\begin{smallmatrix} 0 & \varepsilon \\ \varepsilon^{-1} & 0 \end{smallmatrix}\right].

(5)

A94\mathbf{A}_{94}. A94=[1−i−i1]\mathbf{A}_{94} = \left[\begin{smallmatrix} 1 & -i \\ -i & 1 \end{smallmatrix}\right].

(6)

A77\mathbf{A}_{77}. A77=[cos⁡α−sin⁡αsin⁡αcos⁡α]\mathbf{A}_{77} = \left[\begin{smallmatrix} \cos \alpha & -\sin \alpha \\ \sin \alpha & \cos \alpha \end{smallmatrix}\right].

(7)

A78(ε=e2πi/3)\mathbf{A}_{78} \quad \left(\varepsilon = e^{2\pi i / 3}\right). A78=[ε1−1ε]\mathbf{A}_{78} = \left[\begin{smallmatrix} \varepsilon & 1 \\ -1 & \varepsilon \end{smallmatrix}\right].

(8)

A87\mathbf{A}_{87}. A87=[11+i1−i3]\mathbf{A}_{87} = \left[\begin{smallmatrix} 1 & 1+i \\ 1-i & 3 \end{smallmatrix}\right].

(9)

A239\mathbf{A}_{239}. A239=[012−10−2−220]\mathbf{A}_{239} = \left[\begin{smallmatrix} 0 & 1 & 2 \\ -1 & 0 & -2 \\ -2 & 2 & 0 \end{smallmatrix}\right].

(10)

A262\mathbf{A}_{262}. A262=[−1−22−2−12−3−23]\mathbf{A}_{262} = \left[\begin{smallmatrix} -1 & -2 & 2 \\ -2 & -1 & 2 \\ -3 & -2 & 3 \end{smallmatrix}\right].

(11)

A263\mathbf{A}_{263}. A263=[3−313−22−120]\mathbf{A}_{263} = \left[\begin{smallmatrix} 3 & -3 & 1 \\ 3 & -2 & 2 \\ -1 & 2 & 0 \end{smallmatrix}\right].

(12)

A300\mathbf{A}_{300}. A300=[24−405−3−131]\mathbf{A}_{300} = \left[\begin{smallmatrix} 2 & 4 & -4 \\ 0 & 5 & -3 \\ -1 & 3 & 1 \end{smallmatrix}\right].

(13)

A301\mathbf{A}_{301}. A301=[0−6−2−2−4−22114]\mathbf{A}_{301} = \left[\begin{smallmatrix} 0 & -6 & -2 \\ -2 & -4 & -2 \\ 2 & 11 & 4 \end{smallmatrix}\right].

(14)

A260\mathbf{A}_{260}. A260=[010001100]\mathbf{A}_{260} = \left[\begin{smallmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 1 & 0 & 0 \end{smallmatrix}\right].

(15)

A363(ω=e2πi/3)\mathbf{A}_{363}\left(\omega = e^{2\pi i / 3}\right). A363=[1111ωω21ω2ω]\mathbf{A}_{363} = \left[\begin{smallmatrix} 1 & 1 & 1 \\ 1 & \omega & \omega^{2} \\ 1 & \omega^{2} & \omega \end{smallmatrix}\right].

(16)

A376\mathbf{A}_{376}. A376=[1+i−1−i2+2i0i20−13+i]\mathbf{A}_{376} = \left[\begin{smallmatrix} 1+i & -1-i & 2+2 i \\ 0 & i & 2 \\ 0 & -1 & 3+i \end{smallmatrix}\right].

(17)

A377\mathbf{A}_{377}. A377=[11−i01+i3i0−i1]\mathbf{A}_{377} = \left[\begin{smallmatrix} 1 & 1-i & 0 \\ 1+i & 3 & i \\ 0 & -i & 1 \end{smallmatrix}\right].

(18)

A432\mathbf{A}_{432}. A432=[0−1001000000−10010]\mathbf{A}_{432} = \left[\begin{smallmatrix} 0 & -1 & 0 & 0 \\ 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & -1 \\ 0 & 0 & 1 & 0 \end{smallmatrix}\right].

(19)

A447\mathbf{A}_{447}. A447=[−12011−12001−12201−1]\mathbf{A}_{447} = \left[\begin{smallmatrix} -1 & 2 & 0 & 1 \\ 1 & -1 & 2 & 0 \\ 0 & 1 & -1 & 2 \\ 2 & 0 & 1 & -1 \end{smallmatrix}\right].

(20)

A486\mathbf{A}_{486}. A486=[i1001i0000i1001i]\mathbf{A}_{486} = \left[\begin{smallmatrix} i & 1 & 0 & 0 \\ 1 & i & 0 & 0 \\ 0 & 0 & i & 1 \\ 0 & 0 & 1 & i \end{smallmatrix}\right].

(21)

A472\mathbf{A}_{472}. A472=[11111i−1−i1−11−11−i−1i]\mathbf{A}_{472} = \left[\begin{smallmatrix} 1 & 1 & 1 & 1 \\ 1 & i & -1 & -i \\ 1 & -1 & 1 & -1 \\ 1 & -i & -1 & i \end{smallmatrix}\right].

Problem 24.32

Find the eigenvalues and a maximal linearly independent system of eigenvectors of the linear transformation given by its matrix. Explain why the transformation is not diagonalizable:

?
(1)

A51\mathbf{A}_{51}. A51=[−7−281]\mathbf{A}_{51} = \left[\begin{smallmatrix} -7 & -2 \\ 8 & 1 \end{smallmatrix}\right].

(2)

A52\mathbf{A}_{52}. A52=[11−218−1]\mathbf{A}_{52} = \left[\begin{smallmatrix} 11 & -2 \\ 18 & -1 \end{smallmatrix}\right].

(3)

A286\mathbf{A}_{286}. A286=[544264−3−5−3]\mathbf{A}_{286} = \left[\begin{smallmatrix} 5 & 4 & 4 \\ 2 & 6 & 4 \\ -3 & -5 & -3 \end{smallmatrix}\right].

(4)

A303\mathbf{A}_{303}. A303=[033−1862−14−10]\mathbf{A}_{303} = \left[\begin{smallmatrix} 0 & 3 & 3 \\ -1 & 8 & 6 \\ 2 & -14 & -10 \end{smallmatrix}\right].

(5)

A289\mathbf{A}_{289}. A289=[−212−102−203]\mathbf{A}_{289} = \left[\begin{smallmatrix} -2 & 1 & 2 \\ -1 & 0 & 2 \\ -2 & 0 & 3 \end{smallmatrix}\right].

(6)

A236\mathbf{A}_{236}. A236=[−253−2532−5−3]\mathbf{A}_{236} = \left[\begin{smallmatrix} -2 & 5 & 3 \\ -2 & 5 & 3 \\ 2 & -5 & -3 \end{smallmatrix}\right].

(7)

A457\mathbf{A}_{457}. A457=[100−1100−101−1001−10]\mathbf{A}_{457} = \left[\begin{smallmatrix} 1 & 0 & 0 & -1 \\ 1 & 0 & 0 & -1 \\ 0 & 1 & -1 & 0 \\ 0 & 1 & -1 & 0 \end{smallmatrix}\right].

(8)

A487\mathbf{A}_{487}. A487=[001000013400−1−100]\mathbf{A}_{487} = \left[\begin{smallmatrix} 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 3 & 4 & 0 & 0 \\ -1 & -1 & 0 & 0 \end{smallmatrix}\right].

(9)

A548\mathbf{A}_{548}. A548=[1001−101−23−300−12−21−11011−11−12]\mathbf{A}_{548} = \left[\begin{smallmatrix} 1 & 0 & 0 & 1 & -1 \\ 0 & 1 & -2 & 3 & -3 \\ 0 & 0 & -1 & 2 & -2 \\ 1 & -1 & 1 & 0 & 1 \\ 1 & -1 & 1 & -1 & 2 \end{smallmatrix}\right].

Problem 24.33

Find the characteristic numbers of the linear transformation given by its matrix. Determine whether the transformation is diagonalizable:

(1) in the real space,

(2) in the complex space. If yes, find a basis of eigenvectors and write the matrix of the transformation in it; otherwise indicate which of the necessary conditions for diagonalizability is not satisfied:

?
(1)

A45\mathbf{A}_{45}. A45=[1−13−2]\mathbf{A}_{45} = \left[\begin{smallmatrix} 1 & -1 \\ 3 & -2 \end{smallmatrix}\right].

(2)

A77\mathbf{A}_{77}. A77=[cos⁡α−sin⁡αsin⁡αcos⁡α]\mathbf{A}_{77} = \left[\begin{smallmatrix} \cos \alpha & -\sin \alpha \\ \sin \alpha & \cos \alpha \end{smallmatrix}\right].

(3)

A259\mathbf{A}_{259}. A259=[001100010]\mathbf{A}_{259} = \left[\begin{smallmatrix} 0 & 0 & 1 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \end{smallmatrix}\right].

(4)

A44\mathbf{A}_{44}. A44=[5−141]\mathbf{A}_{44} = \left[\begin{smallmatrix} 5 & -1 \\ 4 & 1 \end{smallmatrix}\right].

(5)

A253\mathbf{A}_{253}. A253=[011−10−1−110]\mathbf{A}_{253} = \left[\begin{smallmatrix} 0 & 1 & 1 \\ -1 & 0 & -1 \\ -1 & 1 & 0 \end{smallmatrix}\right].

(6)

A98\mathbf{A}_{98}. A98=[0112i]\mathbf{A}_{98} = \left[\begin{smallmatrix} 0 & 1 \\ 1 & 2 i \end{smallmatrix}\right].

(7)

A436\mathbf{A}_{436}. A436=[1111101100100011]\mathbf{A}_{436} = \left[\begin{smallmatrix} 1 & 1 & 1 & 1 \\ 1 & 0 & 1 & 1 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 1 & 1 \end{smallmatrix}\right].

(8)

A430\mathbf{A}_{430}. A430=[000−100−1001001000]\mathbf{A}_{430} = \left[\begin{smallmatrix} 0 & 0 & 0 & -1 \\ 0 & 0 & -1 & 0 \\ 0 & 1 & 0 & 0 \\ 1 & 0 & 0 & 0 \end{smallmatrix}\right].

(9)

A478\mathbf{A}_{478}. A478=[100−101−1001101001]\mathbf{A}_{478} = \left[\begin{smallmatrix} 1 & 0 & 0 & -1 \\ 0 & 1 & -1 & 0 \\ 0 & 1 & 1 & 0 \\ 1 & 0 & 0 & 1 \end{smallmatrix}\right].

(10)

A474\mathbf{A}_{474}. A474=[−5−2−3−1422163312−340]\mathbf{A}_{474} = \left[\begin{smallmatrix} -5 & -2 & -3 & -1 \\ 4 & 2 & 2 & 1 \\ 6 & 3 & 3 & 1 \\ 2 & -3 & 4 & 0 \end{smallmatrix}\right].

Problem 24.34

Solve the eigenvalue-eigenvector problem and indicate the diagonal form of the matrix of the linear transformation given in the standard basis (real nn-dimensional arithmetic space in items 1-10, complex nn-dimensional arithmetic space in items 11-13):

?
(1)

A604\mathbf{A}_{604}. A604=[00⋯00100⋯01000⋯100⋮⋮\iddots⋮⋮⋮01⋯00010⋯000]\mathbf{A}_{604} = \left[\begin{smallmatrix} 0 & 0 & \cdots & 0 & 0 & 1 \\ 0 & 0 & \cdots & 0 & 1 & 0 \\ 0 & 0 & \cdots & 1 & 0 & 0 \\ \vdots & \vdots & \iddots & \vdots & \vdots & \vdots \\ 0 & 1 & \cdots & 0 & 0 & 0 \\ 1 & 0 & \cdots & 0 & 0 & 0 \end{smallmatrix}\right].

(2)

A621(n=2m)\mathbf{A}_{621} \quad (n = 2m). A621=[100…002010…020…………………020…010200…001]\mathbf{A}_{621} = \left[\begin{smallmatrix} 1 & 0 & 0 & \ldots & 0 & 0 & 2 \\ 0 & 1 & 0 & \ldots & 0 & 2 & 0 \\ \ldots & \ldots & \ldots & \ldots & \ldots & \ldots & \ldots \\ 0 & 2 & 0 & \ldots & 0 & 1 & 0 \\ 2 & 0 & 0 & \ldots & 0 & 0 & 1 \end{smallmatrix}\right].

(3)

A625\mathbf{A}_{625}. A625=[122…22212…22………………222…12222…21]\mathbf{A}_{625} = \left[\begin{smallmatrix} 1 & 2 & 2 & \ldots & 2 & 2 \\ 2 & 1 & 2 & \ldots & 2 & 2 \\ \ldots & \ldots & \ldots & \ldots & \ldots & \ldots \\ 2 & 2 & 2 & \ldots & 1 & 2 \\ 2 & 2 & 2 & \ldots & 2 & 1 \end{smallmatrix}\right].

(4)

A627\mathbf{A}_{627}. A627=[xyy…yyxy…y………….yyy…x]\mathbf{A}_{627} = \left[\begin{smallmatrix} x & y & y & \ldots & y \\ y & x & y & \ldots & y \\ \ldots & \ldots & \ldots & \ldots & . \\ y & y & y & \ldots & x \end{smallmatrix}\right].

(5)

A640\mathbf{A}_{640}. A640=[n−1100…000−n+1n−320…0000−n+2n−53…000…………………………………0000…−2−n+3n−10000…0−1−n+1]\mathbf{A}_{640} = \left[\begin{smallmatrix} n-1 & 1 & 0 & 0 & \ldots & 0 & 0 & 0 \\ -n+1 & n-3 & 2 & 0 & \ldots & 0 & 0 & 0 \\ 0 & -n+2 & n-5 & 3 & \ldots & 0 & 0 & 0 \\ \ldots \ldots \ldots & \ldots & \ldots & \ldots & \ldots & \ldots & \ldots \ldots \ldots \ldots \ldots \\ 0 & 0 & 0 & 0 & \ldots & -2 & -n+3 & n-1 \\ 0 & 0 & 0 & 0 & \ldots & 0 & -1 & -n+1 \end{smallmatrix}\right].

(6)

A639\mathbf{A}_{639}. A639=[0100…00n−1020…000n−203…00……………………0000…0n−10000…10]\mathbf{A}_{639} = \left[\begin{smallmatrix} 0 & 1 & 0 & 0 & \ldots & 0 & 0 \\ n-1 & 0 & 2 & 0 & \ldots & 0 & 0 \\ 0 & n-2 & 0 & 3 & \ldots & 0 & 0 \\ \ldots \ldots & \ldots & \ldots & \ldots & \ldots & \ldots \ldots \\ 0 & 0 & 0 & 0 & \ldots & 0 & n-1 \\ 0 & 0 & 0 & 0 & \ldots & 1 & 0 \end{smallmatrix}\right].

(7)

A634\mathbf{A}_{634}. A634=[0100…001010…000101…00………………0000…010000…10]\mathbf{A}_{634} = \left[\begin{smallmatrix} 0 & 1 & 0 & 0 & \ldots & 0 & 0 \\ 1 & 0 & 1 & 0 & \ldots & 0 & 0 \\ 0 & 1 & 0 & 1 & \ldots & 0 & 0 \\ \ldots & \ldots & \ldots & \ldots & \ldots & \ldots \\ 0 & 0 & 0 & 0 & \ldots & 0 & 1 \\ 0 & 0 & 0 & 0 & \ldots & 1 & 0 \end{smallmatrix}\right].

(8)

A620\mathbf{A}_{620}. A620=[1−1…(−1)n−1−11…(−1)n−2…………………………(−1)n−1(−1)n−2…1]\mathbf{A}_{620} = \left[\begin{smallmatrix} 1 & -1 & \ldots & (-1)^{n-1} \\ -1 & 1 & \ldots & (-1)^{n-2} \\ \ldots \ldots \ldots \ldots \ldots \ldots \ldots & \ldots & \ldots \ldots \\ (-1)^{n-1} & (-1)^{n-2} & \ldots & 1 \end{smallmatrix}\right].

(9)

A606(λ1=…=λm=1,λm+1=…=λn=2;m=[(n+1)/2])\mathbf{A}_{606}(\lambda_{1} = \ldots = \lambda_{m} = 1, \lambda_{m + 1} = \ldots = \lambda_{n} = 2; \quad m = \left[(n + 1) / 2\right]). A606=[00⋯00λ1200⋯0λ22000⋯λ3200⋮⋮\iddots⋮⋮⋮0λn−12⋯000λn20⋯000]\mathbf{A}_{606} = \left[\begin{smallmatrix} 0 & 0 & \cdots & 0 & 0 & \lambda^2_1 \\ 0 & 0 & \cdots & 0 & \lambda^2_2 & 0 \\ 0 & 0 & \cdots & \lambda^2_3 & 0 & 0 \\ \vdots & \vdots & \iddots & \vdots & \vdots & \vdots \\ 0 & \lambda^2_{n-1} & \cdots & 0 & 0 & 0 \\ \lambda^2_n & 0 & \cdots & 0 & 0 & 0 \end{smallmatrix}\right].

(10)

A606(λ1=…=λm=1,λm+1=…=λn=0;m=[(n+1)/2])\mathbf{A}_{606}(\lambda_{1} = \ldots = \lambda_{m} = 1, \lambda_{m + 1} = \ldots = \lambda_{n} = 0; \quad m = \left[(n + 1) / 2\right]). A606=[00⋯00λ1200⋯0λ22000⋯λ3200⋮⋮\iddots⋮⋮⋮0λn−12⋯000λn20⋯000]\mathbf{A}_{606} = \left[\begin{smallmatrix} 0 & 0 & \cdots & 0 & 0 & \lambda^2_1 \\ 0 & 0 & \cdots & 0 & \lambda^2_2 & 0 \\ 0 & 0 & \cdots & \lambda^2_3 & 0 & 0 \\ \vdots & \vdots & \iddots & \vdots & \vdots & \vdots \\ 0 & \lambda^2_{n-1} & \cdots & 0 & 0 & 0 \\ \lambda^2_n & 0 & \cdots & 0 & 0 & 0 \end{smallmatrix}\right].

(11)

A605(λ1=…=λm=1,λm+1=…=λn=−1;m=[(n+1)/2])\mathbf{A}_{605}(\lambda_{1} = \ldots = \lambda_{m} = 1, \lambda_{m + 1} = \ldots = \lambda_{n} = - 1; m = \left[(n + 1) / 2\right]). A605=[00⋯00λ100⋯0λ2000⋯λ300⋮⋮\iddots⋮⋮⋮0λn−1⋯000λn0⋯000]\mathbf{A}_{605} = \left[\begin{smallmatrix} 0 & 0 & \cdots & 0 & 0 & \lambda_1 \\ 0 & 0 & \cdots & 0 & \lambda_2 & 0 \\ 0 & 0 & \cdots & \lambda_3 & 0 & 0 \\ \vdots & \vdots & \iddots & \vdots & \vdots & \vdots \\ 0 & \lambda_{n-1} & \cdots & 0 & 0 & 0 \\ \lambda_n & 0 & \cdots & 0 & 0 & 0 \end{smallmatrix}\right].

(12)

A614\mathbf{A}_{614}. A614=[010…0001…0………….000…1100…0]\mathbf{A}_{614} = \left[\begin{smallmatrix} 0 & 1 & 0 & \ldots & 0 \\ 0 & 0 & 1 & \ldots & 0 \\ \ldots & \ldots & \ldots & \ldots & . \\ 0 & 0 & 0 & \ldots & 1 \\ 1 & 0 & 0 & \ldots & 0 \end{smallmatrix}\right].

(13)

A635\mathbf{A}_{635}. A635=[0100…00−1010…000−101…00………………0000…010000…−10]\mathbf{A}_{635} = \left[\begin{smallmatrix} 0 & 1 & 0 & 0 & \ldots & 0 & 0 \\ -1 & 0 & 1 & 0 & \ldots & 0 & 0 \\ 0 & -1 & 0 & 1 & \ldots & 0 & 0 \\ \ldots & \ldots & \ldots & \ldots & \ldots & \ldots \\ 0 & 0 & 0 & 0 & \ldots & 0 & 1 \\ 0 & 0 & 0 & 0 & \ldots & -1 & 0 \end{smallmatrix}\right].

Problem 24.35

Find the characteristic numbers of the matrix:

?
(1)

A490\mathbf{A}_{490}. A490=[0100−10100−10100−10]\mathbf{A}_{490} = \left[\begin{smallmatrix} 0 & 1 & 0 & 0 \\ -1 & 0 & 1 & 0 \\ 0 & -1 & 0 & 1 \\ 0 & 0 & -1 & 0 \end{smallmatrix}\right].

(2)

A491\mathbf{A}_{491}. A491=[3102i13−2i002i11−2i011]\mathbf{A}_{491} = \left[\begin{smallmatrix} 3 & 1 & 0 & 2 i \\ 1 & 3 & -2 i & 0 \\ 0 & 2 i & 1 & 1 \\ -2 i & 0 & 1 & 1 \end{smallmatrix}\right].

(3)

A492\mathbf{A}_{492}. A492=[731+2i−1+2i371−2i−1−2i1−2i1+2i7−3−1−2i−1+2i−37]\mathbf{A}_{492} = \left[\begin{smallmatrix} 7 & 3 & 1+2 i & -1+2 i \\ 3 & 7 & 1-2 i & -1-2 i \\ 1-2 i & 1+2 i & 7 & -3 \\ -1-2 i & -1+2 i & -3 & 7 \end{smallmatrix}\right].

(4)

A549\mathbf{A}_{549}. A549=[02−20−4−204−532−401105−1024−3−1−20]\mathbf{A}_{549} = \left[\begin{smallmatrix} 0 & 2 & -2 & 0 & -4 \\ -2 & 0 & 4 & -5 & 3 \\ 2 & -4 & 0 & 1 & 1 \\ 0 & 5 & -1 & 0 & 2 \\ 4 & -3 & -1 & -2 & 0 \end{smallmatrix}\right].

(5)

A550\mathbf{A}_{550}. A550=[00−11010−11010−10101−10101−100]\mathbf{A}_{550} = \left[\begin{smallmatrix} 0 & 0 & -1 & 1 & 0 \\ 1 & 0 & -1 & 1 & 0 \\ 1 & 0 & -1 & 0 & 1 \\ 0 & 1 & -1 & 0 & 1 \\ 0 & 1 & -1 & 0 & 0 \end{smallmatrix}\right].

(6)

A638\mathbf{A}_{638}. A638=[ab0…000bab…0000ba…000…………⋯……000…bab000…0ba]\mathbf{A}_{638} = \left[\begin{smallmatrix} a & b & 0 & \ldots & 0 & 0 & 0 \\ b & a & b & \ldots & 0 & 0 & 0 \\ 0 & b & a & \ldots & 0 & 0 & 0 \\ \ldots & \ldots & \ldots & \ldots & \cdots & \ldots & \ldots \\ 0 & 0 & 0 & \ldots & b & a & b \\ 0 & 0 & 0 & \ldots & 0 & b & a \end{smallmatrix}\right].

(7)

A643\mathbf{A}_{643}. A643=[a1a2…anana1…an−1……………Ra2a3…a1]\mathbf{A}_{643} = \left[\begin{smallmatrix} a_1 & a_2 & \ldots & a_n \\ a_n & a_1 & \ldots & a_{n-1} \\ \ldots \ldots & \ldots & \ldots & \ldots \\ R a_2 & a_3 & \ldots & a_1 \end{smallmatrix}\right].

(8)

A642\mathbf{A}_{642}. A642=[a1a2…an−1ana2a3…ana1…………………ana1…an−2an−1]\mathbf{A}_{642} = \left[\begin{smallmatrix} a_{1} & a_{2} & \ldots & a_{n-1} & a_{n} \\ a_{2} & a_{3} & \ldots & a_{n} & a_{1} \\ \ldots & \ldots & \ldots & \ldots \ldots & \ldots \ldots \\ a_{n} & a_{1} & \ldots & a_{n-2} & a_{n-1} \end{smallmatrix}\right].

(9)

A645(n\mathbf{A}_{645}(n is odd). A645=[111…11εε2…εn−11ε2ε4…ε2(n−1)…………………………1εn−1ε2(n−1)…ε(n−1)2]\mathbf{A}_{645} = \left[\begin{smallmatrix} 1 & 1 & 1 & \ldots & 1 \\ 1 & \varepsilon & \varepsilon^2 & \ldots & \varepsilon^{n-1} \\ 1 & \varepsilon^2 & \varepsilon^4 & \ldots & \varepsilon^{2(n-1)} \\ \ldots \ldots \ldots \ldots & \ldots \ldots & \ldots \ldots & \ldots \ldots \\ 1 & \varepsilon^{n-1} & \varepsilon^{2(n-1)} & \ldots & \varepsilon^{(n-1)^2} \end{smallmatrix}\right].

Problem 24.36

Compute:

?
(1)

2n+1∏k=1ncos⁡πkn+12^{n + 1} \prod_{k = 1}^{n} \cos \frac{\pi k}{n + 1}

(2)

∑k=1ncos⁡πkn+1\sum_{k = 1}^{n} \cos \frac{\pi k}{n + 1}

(3)

∑k=0n−1εk2\sum_{k = 0}^{n - 1} \varepsilon^{k^{2}}, where ε=e2πi/n,n=2m+1\varepsilon = e^{2\pi i / n}, \quad n = 2m + 1

(4)

∏0⩽j<k⩽n−1(εk−εj)\prod_{0 \leqslant j < k \leqslant n - 1}\left(\varepsilon^{k} - \varepsilon^{j}\right), where ε=e2πi/n,n=2m+1\varepsilon = e^{2\pi i / n}, \quad n = 2m + 1.

Problem 24.37
?
(1)

One of the matrices A287,A289\mathbf{A}_{287}, \mathbf{A}_{289} is similar to the matrix D=diag⁡(1,1,−1)D = \operatorname {diag}(1, 1, - 1). Which one? Justify the answer without finding the eigenvectors and characteristic numbers. A287=[7−12610−191012−2413],A289=[−212−102−203]\mathbf{A}_{287} = \left[\begin{smallmatrix} 7 & -12 & 6 \\ 10 & -19 & 10 \\ 12 & -24 & 13 \end{smallmatrix}\right], \mathbf{A}_{289} = \left[\begin{smallmatrix} -2 & 1 & 2 \\ -1 & 0 & 2 \\ -2 & 0 & 3 \end{smallmatrix}\right].

(2)

The matrix D=diag⁡(1,1,0)D = \operatorname {diag}(1, 1, 0) is similar to one of the matrices A230,A264\mathbf{A}_{230}, \mathbf{A}_{264}. Determine which one, without finding the eigenvalues and eigenvectors. A230=[−143−2532−4−2],A264=[011110−101]\mathbf{A}_{230} = \left[\begin{smallmatrix} -1 & 4 & 3 \\ -2 & 5 & 3 \\ 2 & -4 & -2 \end{smallmatrix}\right], \mathbf{A}_{264} = \left[\begin{smallmatrix} 0 & 1 & 1 \\ 1 & 1 & 0 \\ -1 & 0 & 1 \end{smallmatrix}\right].

(3)

Of the two matrices A304,A305\mathbf{A}_{304}, \mathbf{A}_{305}, one is similar to the matrix D1=diag⁡(1,−1,0)D_{1} = \operatorname {diag}(1, - 1, 0), and the other to the matrix D2=diag⁡(1,1,0)D_{2} = \operatorname {diag}(1, 1, 0). Determine which is which, without computing the eigenvalues and eigenvectors. A304=[21−1−101110],A305=[2−1−110−13−1−2]\mathbf{A}_{304} = \left[\begin{smallmatrix} 2 & 1 & -1 \\ -1 & 0 & 1 \\ 1 & 1 & 0 \end{smallmatrix}\right], \mathbf{A}_{305} = \left[\begin{smallmatrix} 2 & -1 & -1 \\ 1 & 0 & -1 \\ 3 & -1 & -2 \end{smallmatrix}\right].

Problem 24.38
?
(1)

The matrix A283\mathbf{A}_{283} is similar to one of the matrices: −E- E, J3(−1),diag⁡(−1,J2(−1))J_{3}(- 1), \operatorname {diag}\left(- 1, J_{2}(- 1)\right). Which one? A283=[251−1−30−2−3−2]\mathbf{A}_{283} = \left[\begin{smallmatrix} 2 & 5 & 1 \\ -1 & -3 & 0 \\ -2 & -3 & -2 \end{smallmatrix}\right].

(2)

One of the matrices A457,A458,A485\mathbf{A}_{457}, \mathbf{A}_{458}, \mathbf{A}_{485} is similar to the matrix J4(0)J_{4}(0). Which one? A457=[100−1100−101−1001−10],A458=[100−101−1001−10100−1],A485=[3−1−1−1111−311−31−13−1−1]\mathbf{A}_{457} = \left[\begin{smallmatrix} 1 & 0 & 0 & -1 \\ 1 & 0 & 0 & -1 \\ 0 & 1 & -1 & 0 \\ 0 & 1 & -1 & 0 \end{smallmatrix}\right], \mathbf{A}_{458} = \left[\begin{smallmatrix} 1 & 0 & 0 & -1 \\ 0 & 1 & -1 & 0 \\ 0 & 1 & -1 & 0 \\ 1 & 0 & 0 & -1 \end{smallmatrix}\right], \mathbf{A}_{485} = \left[\begin{smallmatrix} 3 & -1 & -1 & -1 \\ 1 & 1 & 1 & -3 \\ 1 & 1 & -3 & 1 \\ -1 & 3 & -1 & -1 \end{smallmatrix}\right].

Problem 24.39

The triangles ABCABC and A′B′C′A^{\prime } B^{\prime } C^{\prime } are similar (with similarity coefficient λ\lambda). If the side lengths of the triangle ABCABC equal a,b,ca, b, c, then the corresponding sides of the triangle A′B′C′A^{\prime } B^{\prime } C^{\prime } have lengths 3a+b+c,a+3b+c,a+b+3c3a + b + c, a + 3b + c, a + b + 3c. Prove that the triangles are equilateral, and find λ\lambda.

?
Problem 24.40

The sum of distinct natural numbers n1,n2,n3,n4n_{1}, n_{2}, n_{3}, n_{4} equals 18. After they were increased by the same factor λ\lambda, the numbers n1+n2+n3+n4,n1+n2−n3−n4n_{1} + n_{2} + n_{3} + n_{4}, n_{1} + n_{2} - n_{3} - n_{4}, n1−n2+n3−n4,n1−2n2−n3+3n4n_{1} - n_{2} + n_{3} - n_{4}, \quad n_{1} - 2n_{2} - n_{3} + 3n_{4} were obtained. Find n1,n2,n3,n4,λn_{1}, n_{2}, n_{3}, n_{4}, \lambda.

?
Problem 24.41

The sequence {xn}\left\{ x_{n}\right\} is given by the recurrence formula: xn+1=23xn+13xn−1(n=1,2,…);x0=a,x1=bx_{n + 1} = \frac{2}{3} x_{n} + \frac{1}{3} x_{n - 1} \quad (n = 1, 2, \ldots ); x_{0} = a, \quad x_{1} = b. Prove that the sequence converges, and find its limit.

?
Problem 24.42

Find the eigenvalues and eigenvectors (eigenfunctions) of differentiation DD as a linear transformation of each of the following vector spaces of real functions (nn a fixed natural number):

?
(1)

the space of all polynomials of degree at most nn

(2)

the space of all trigonometric polynomials of the form f(t)=a0+a1cos⁡t+b1sin⁡t+…+ancos⁡nt+bnsin⁡ntf(t) = a_{0} + a_{1} \cos t + b_{1} \sin t + \ldots + a_{n} \cos nt + b_{n} \sin nt

(3)

the linear span of the system of functions eλ1t,…,eλnte^{\lambda_{1} t}, \ldots , e^{\lambda_{n} t}, where λ1,…,λn\lambda_{1}, \ldots , \lambda_{n} are pairwise distinct numbers.

(4)

the space of all functions of the form eλ0tp(t)e^{\lambda_{0} t} p(t), where p(t)p(t) is any polynomial of degree at most nn, λ0\lambda_{0} a fixed number (λ0≠0)\left(\lambda_{0} \neq 0\right).

Problem 24.43

Find the eigenvalues and eigenvectors of the transformation D2D^{2} in the spaces of functions from problem 24.42:

?
(1)

the space of all polynomials of degree at most nn

(2)

the space of all trigonometric polynomials of the form f(t)=a0+a1cos⁡t+b1sin⁡t+…+ancos⁡nt+bnsin⁡ntf(t) = a_{0} + a_{1} \cos t + b_{1} \sin t + \ldots + a_{n} \cos nt + b_{n} \sin nt

(3)

the linear span of the system of functions eλ1t,…,eλnte^{\lambda_{1} t}, \ldots , e^{\lambda_{n} t}, where λ1,…,λn\lambda_{1}, \ldots , \lambda_{n} are pairwise distinct numbers.

(4)

the space of all functions of the form eλ0tp(t)e^{\lambda_{0} t} p(t), where p(t)p(t) is any polynomial of degree at most nn, λ0\lambda_{0} a fixed number (λ0≠0)\left(\lambda_{0} \neq 0\right).

Problem 24.44

Verify that functions of the form y=etp(t)y = e^{t} p(t), where p(t)p(t) is a polynomial of degree at most two, form a vector space L\mathcal{L}. Verify that φ\varphi is a linear transformation of the space L\mathcal{L}, and solve the eigenvalue-eigenvector problem for φ\varphi:

?
(1)

φ(y)=y′′−2y′+y\varphi (y) = y^{\prime \prime } - 2y^{\prime } + y, i.e. φ=D2−2D+ι\varphi = D^{2} - 2D + \iota

(2)

φ=D3−2D2\varphi = D^{3} - 2D^{2}

(3)

φ=D3−3D2+3D+ι\varphi = D^{3} - 3D^{2} + 3D + \iota.

Problem 24.45

Verify that functions of the form y=e−t(acos⁡t+bsin⁡t)y = e^{ - t}(a\cos t + b\sin t) form a vector space M\mathcal{M}, and that the transformation φ=p(D)\varphi = p(D), where p(t)p(t) is a given polynomial and DD is differentiation, is a linear transformation of the space M\mathcal{M}. Solve the eigenvalue-eigenvector problem for φ\varphi, if:

?
(1)

p(t)=(t+1)2p(t) = (t + 1)^{2}

(2)

p(t)=t2−1p(t) = t^{2} - 1

Problem 24.46

In the linear span of the functions cos⁡2t,sin⁡2t,tcos⁡2t\cos 2t, \sin 2t, t\cos 2t, tsin⁡2tt\sin 2t, a linear transformation φ=p(D)\varphi = p(D) is given, where p(t)p(t) is a polynomial and DD is differentiation. Solve the eigenvalue-eigenvector problem for φ\varphi, if:

?
(1)

p(t)=t2+4p(t) = t^{2} + 4

(2)

p(t)=t4+8t2p(t) = t^{4} + 8t^{2}.

Problem 24.47

Find the eigenvalues and eigenvectors of the linear transformation φ\varphi of the space of real polynomials p(t)p(t) of degree at most two, if:

?
(1)

φ(p)=tp′\varphi (p) = tp^{\prime }; 1

(2)

φ(p)=(tp)′\varphi (p) = (tp)^{\prime }

(3)

φ(p)=t2p′′−tp′+2p\varphi (p) = t^{2} p^{\prime \prime } - tp^{\prime } + 2p.

Problem 24.48

Find the eigenvalues and eigenvectors of the differentiation transformation in the space of functions infinitely differentiable on the whole real line.

?
Problem 24.49

Let L\mathcal{L} be the set of functions y(t)y(t) infinitely differentiable on the segment [0,π]\left[0, \pi \right] and such that y(0)=y(π)=0y(0) = y(\pi ) = 0.

?
(1)

Verify that L\mathcal{L} is a vector space.

(2)

Find the eigenvectors and eigenvalues of the linear transformation φ\varphi of the space L\mathcal{L} given by the formula φ(y)=y′′\varphi (y) = y^{\prime \prime }.

Problem 24.50

Let A,BA, B be square matrices, and let the matrix [ACOB]□\left[\begin{smallmatrix} A & C \\ O & B\end{smallmatrix}\right]^{\square } be diagonalizable. Prove that the matrices A,BA, B are diagonalizable. Show by an example that the converse statement is not true.

?
Problem 24.51

Fix a real polynomial p0(t)p_{0}(t) of degree mm (m⩾1)(m \geqslant 1). Any polynomial p(t)p(t) can be divided by p0(t)p_{0}(t) with remainder, i.e. uniquely represented in the form

p(t)=q(t)p0(t)+r(t) p(t) = q(t) p_{0}(t) + r(t)

(the degree of the remainder r(t)r(t) is less than the degree of p0(t)p_{0}(t)). Define the transformation φ\varphi of the space P\mathcal{P} of all real polynomials by the formula φ(p(t))=r(t)\varphi (p(t)) = r(t).

?
(1)

Show that the transformation φ\varphi is linear and φ2=φ\varphi^{2} = \varphi.

(2)

Find the eigenvalues and eigenvectors of the transformation φ\varphi.

(3)

Prove that formula (4) gives a decomposition of the space P\mathcal{P} into a direct sum of eigenspaces.

Problem 24.52

Let φ\varphi be the operation of taking the remainder of division by the polynomial p0(t)p_{0}(t) (see problem 24.51) in the space of polynomials of degree at most 3. Find a basis of eigenvectors and write the matrix of the transformation φ\varphi in this basis, if:

?
(1)

p0(t)=tp_{0}(t) = t

(2)

p0(t)=t2+1p_{0}(t) = t^{2} + 1

(3)

p0(t)=(t−1)3p_{0}(t) = (t - 1)^{3}.

Problem 24.53

In the space Rn×n\mathcal{R}_{n \times n} of square matrices of order nn, consider the operation of transposition τ:A→AT\tau : A \rightarrow A^{T}. Verify that τ\tau is a linear transformation and τ2=ι\tau^{2} = \iota. Find the eigenvalues and eigenvectors of the transformation τ\tau. Decompose the space Rn×n\mathcal{R}_{n \times n} into a direct sum of eigenspaces of the transformation τ\tau.

?
Problem 24.54

The set of complex matrices of order nn is considered as a real vector space M\mathcal{M} of dimension 2n22n^{2}.

?
(1)

Verify that the operation η:A→AH=AˉT\eta : A \rightarrow A^{H} = \bar{A}^{T} of Hermitian conjugation of a matrix is a linear transformation of the space M\mathcal{M}, and moreover η2=ι\eta^{2} = \iota.

(2)

Find the eigenvalues and eigenvectors of the transformation η\eta.

(3)

Show that the transformation η\eta is not a linear transformation of the complex space Cn×n\mathcal{C}_{n \times n}.

Problem 24.55

Let AA be a matrix of second order. The formula φ(X)=AX\varphi (X) = AX defines a linear transformation of the space of matrices of second order (problem 23.47). Find the eigenvalues and a maximal linearly independent system of eigenvectors of the transformation φ\varphi. In the case when this system is a basis, write the matrix of the transformation φ\varphi in it:

?
(1)

A=A46A = \mathbf{A}_{46}. A46=[−4014]\mathbf{A}_{46} = \left[\begin{smallmatrix} -4 & 0 \\ 1 & 4 \end{smallmatrix}\right].

(2)

A=A52A = \mathbf{A}_{52}. A52=[11−218−1]\mathbf{A}_{52} = \left[\begin{smallmatrix} 11 & -2 \\ 18 & -1 \end{smallmatrix}\right].

(3)

A=A50A = \mathbf{A}_{50} (in the space of complex matrices). A50=[0−11−1]\mathbf{A}_{50} = \left[\begin{smallmatrix} 0 & -1 \\ 1 & -1 \end{smallmatrix}\right].

Problem 24.56

Solve the eigenvalue-eigenvector problem for the transformation φ(X)=XB\varphi (X) = XB of the space of matrices of second order, if:

?
(1)

B=A36B = \mathbf{A}_{36}. A36=[02−1−3]\mathbf{A}_{36} = \left[\begin{smallmatrix} 0 & 2 \\ -1 & -3 \end{smallmatrix}\right].

(2)

B=A51B = \mathbf{A}_{51} (the space is real). A51=[−7−281]\mathbf{A}_{51} = \left[\begin{smallmatrix} -7 & -2 \\ 8 & 1 \end{smallmatrix}\right].

(3)

B=A45B = \mathbf{A}_{45} (the space is complex). A45=[1−13−2]\mathbf{A}_{45} = \left[\begin{smallmatrix} 1 & -1 \\ 3 & -2 \end{smallmatrix}\right].

Problem 24.57

A transformation of the space of matrices of second order is defined by the formula φ(X)=AX−XA\varphi (X) = AX - XA, where AA is a fixed matrix.

?
(1)

Show that the transformation φ\varphi is linear, and find its matrix in the standard basis.

(2)

Solve the eigenvalue-eigenvector problem for the transformation φ\varphi, if:

(1) A=A106A = \mathbf{A}_{106}

(2) A=A22A = \mathbf{A}_{22} (the space is real);

(3) A=A20A = \mathbf{A}_{20} (the space is complex). A106=[0100],A22=[0110],A20=[0−110]\mathbf{A}_{106} = \left[\begin{smallmatrix} 0 & 1 \\ 0 & 0 \end{smallmatrix}\right], \mathbf{A}_{22} = \left[\begin{smallmatrix} 0 & 1 \\ 1 & 0 \end{smallmatrix}\right], \mathbf{A}_{20} = \left[\begin{smallmatrix} 0 & -1 \\ 1 & 0 \end{smallmatrix}\right].

Problem 24.58

Let AA be a nonsingular matrix of second order. Show that the formula φ(X)=A−1XA\varphi (X) = A^{ - 1} XA defines a linear transformation of the space of matrices of second order. Solve the eigenvalue-eigenvector problem for the transformation φ\varphi, if:

?
(1)

A=A22A = \mathbf{A}_{22}. A22=[0110]\mathbf{A}_{22} = \left[\begin{smallmatrix} 0 & 1 \\ 1 & 0 \end{smallmatrix}\right].

(2)

A=A13A = \mathbf{A}_{13}. A13=[1101]\mathbf{A}_{13} = \left[\begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix}\right].

Problem 24.59

Find the eigenvectors and eigenvalues of the shift transformation in the space of polynomials in two variables, defined in problem 23.50, if:

?
(1)

a=1,b=0a = 1, \quad b = 0

(2)

a=1,b=−2a = 1, \quad b = - 2.

Problem 24.60

Solve the problem on eigenvalues and eigenvectors for the linear transformations of the space of homogeneous polynomials of degree nn in two variables, defined in problem 23.51:

?
(1)

φ(p)=x∂p∂y\varphi (p) = x\frac{\partial p}{\partial y};

(2)

φ(p)=y∂p∂x\varphi (p) = y\frac{\partial p}{\partial x};

(3)

φ(p)=x∂p∂x−y∂p∂y\varphi (p) = x\frac{\partial p}{\partial x} - y\frac{\partial p}{\partial y}.

Problem 24.61

Let AA be a matrix of second order, (x∗,y∗)=(x,y)A\left(x^{ * }, y^{ * }\right) = (x, y) A. Define the transformation φ\varphi of the space of polynomials p(x,y)p(x, y) of degree at most nn by the formula φ(p(x,y))=p(x∗,y∗)\varphi (p(x, y)) = p\left(x^{ * }, y^{ * }\right). Show that φ\varphi is a linear transformation. Find its eigenvectors and eigenvalues, if n=2n = 2 and

?
(1)

A=[0100]A =\left[\begin{smallmatrix} 0 & 1 \\ 0 & 0\end{smallmatrix}\right]

(2)

A=[0110]A =\left[\begin{smallmatrix} 0 & 1 \\ 1 & 0\end{smallmatrix}\right]

(3)

A=[100−1]A =\left[\begin{smallmatrix} 1 & 0 \\ 0 & - 1\end{smallmatrix}\right]

Problem 24.62

Let K(x,y)=g0(y)+xg1(y)+x2g2(y)\mathcal{K}(x, y) = g_{0}(y) + xg_{1}(y) + x^{2} g_{2}(y), where g0(y)g_{0}(y), g1(y),g2(y)g_{1}(y), g_{2}(y) are continuous functions on the segment [−1,1]\left[ - 1, 1\right]. Show that the transformation φ\varphi, defined by the formula

φ(p(x))=∫−11K(x,y)p(y)dy \varphi (p(x)) = \int _{ - 1}^{1} \mathcal{K}(x, y) p(y) dy

is a linear transformation of the space of polynomials p(x)p(x) of degree at most 2. Find the eigenvalues and eigenvectors of the transformation φ\varphi, if:

?
(1)

K(x,y)=3x2y+5xy2\mathcal{K}(x, y) = 3x^{2} y + 5xy^{2}

(2)

K(x,y)=y2+2x(y−1)+(1−3y2)x2\mathcal{K}(x, y) = y^{2} + 2x(y - 1) + \left(1 - 3y^{2}\right) x^{2}.

Problem 24.63

Show that the formula

φ(f(x))=∫0πK(x,y)f(y)dy \varphi (f(x)) = \int _{0}^{\pi } \mathcal{K}(x, y) f(y) dy

defines a linear transformation φ\varphi of the space of trigonometric polynomials of the form:

?
(1)

acos⁡x+bsin⁡xa\cos x + b\sin x, if K(x,y)=sin⁡(x+y)\mathcal{K}(x, y) = \sin (x + y)

(2)

a+bcos⁡2x+csin⁡2xa + b\cos 2x + c\sin 2x, if K(x,y)=cos⁡2(x−y)\mathcal{K}(x, y) = \cos^{2}(x - y). Find the eigenvalues and eigenvectors of the transformation φ\varphi.

Problem 24.64

Find the eigenvalues and eigenvectors of the Laplace operator △=∂2∂x2+∂2∂y2\triangle = \frac{\partial^{2}}{\partial x^{2}} + \frac{\partial^{2}}{\partial y^{2}} in the space of polynomials p(x,y)p(x, y) with real coefficients.

?
Problem 24.65

Let φ,ψ\varphi , \psi be similar transformations of the vector space L\mathcal{L} (see formula (5) of the introduction to 23). Prove that:

?
(1)

the characteristic polynomials of the transformations φ\varphi and ψ\psi coincide

(2)

if xx is an eigenvector of the transformation φ\varphi, then ω−1(x)\omega^{ - 1}(x) is an eigenvector of the transformation ψ\psi corresponding to the same eigenvalue

(3)

if there exists in L\mathcal{L} a basis in which the matrix of the transformation φ\varphi is diagonal (triangular), then an analogous basis exists also for ψ\psi.

(4)

Show by an example that the coincidence of the characteristic polynomials of two linear transformations does not imply the similarity of these transformations.

Problem 24.66

Prove that

?
(1)

the kernel and

(2)

the range of a linear transformation are invariant subspaces.

Problem 24.67

Prove that an eigenspace of a linear transformation is invariant.

?
Problem 24.68

Let φ\varphi be a linear transformation of a vector space L\mathcal{L}, M\mathcal{M} a subspace in L\mathcal{L} invariant with respect to φ\varphi, and p(t)p(t) a polynomial. Prove that the given subspace in L\mathcal{L} is invariant with respect to φ\varphi:

?
(1)

φ(M)\varphi (\mathcal{M}); \quad

(2)

φ−1(M)\varphi^{ - 1}(\mathcal{M}) (if φ\varphi is invertible)

(3)

φm(M)(m⩾1)\varphi^{m}(\mathcal{M})(m \geqslant 1)

(4)

Ker⁡p(φ)\operatorname {Ker} p(\varphi )

(5)

p(φ)(M)p(\varphi )(\mathcal{M}).

Problem 24.69

Prove that

?
(1)

the sum of two (and in general of any finite collection) and

(2)

the intersection of two (and in general of any collection) of invariant subspaces of a linear transformation are invariant subspaces.

Problem 24.70

Let φ\varphi be a linear transformation of a vector space. Prove that any subspace containing Im⁡φ\operatorname {Im} \varphi is invariant.

?
Problem 24.71

Prove that if a linear transformation φ\varphi is nonsingular, then φ\varphi and φ−1\varphi^{ - 1} have the same invariant subspaces.

?
Problem 24.72

What form does the matrix of a linear transformation of an nn-dimensional vector space have, if the basis of an invariant subspace is formed by:

?
(1)

the first kk basis vectors

(2)

the last n−kn - k basis vectors?

Problem 24.73
?
(1)

Let a vector space be the direct sum of two invariant subspaces of a linear transformation. Prove that then, in some basis, the matrix of the transformation has the form [AOOB]\left[\begin{smallmatrix} A & O \\ O & B\end{smallmatrix}\right], where A,BA, B are square matrices.

(2)

Formulate and prove the converse statement.

Problem 24.74

Prove that:

?
(1)

the characteristic polynomial of a linear transformation is divisible by the characteristic polynomial of its restriction to an invariant subspace

(2)

if all roots of the characteristic polynomial of a linear transformation φ\varphi of a vector space L\mathcal{L} belong to the field over which L\mathcal{L} is defined, then every subspace in L\mathcal{L} invariant with respect to φ\varphi contains an eigenvector of this transformation

(3)

if a vector space is the direct sum of invariant subspaces of a linear transformation φ\varphi, then the characteristic polynomial of φ\varphi equals the product of the characteristic polynomials of the restrictions of φ\varphi to these invariant subspaces.

Problem 24.75

Find all subspaces invariant with respect to a homothety of a vector space.

?
Problem 24.76

Find the subspaces invariant with respect to a rotation of the plane about the origin by angle α\alpha.

?
Problem 24.77

Find the subspaces of a three-dimensional geometric vector space invariant with respect to a rotation by angle α(α≠0,2π)\alpha (\alpha \neq 0, 2\pi ) about the line x=ta\mathbf{x} = t\mathbf{a} (a≠0)(\mathbf{a} \neq 0).

?
Problem 24.78

Let a linear transformation of an nn-dimensional vector space have nn pairwise distinct eigenvalues. Find all invariant subspaces and count their number.

?
Problem 24.79

Let φ\varphi be a diagonalizable linear transformation of an nn-dimensional vector space L\mathcal{L}. Find all subspaces in L\mathcal{L} invariant with respect to the transformation φ\varphi.

?
Problem 24.80

Find all subspaces in L\mathcal{L} invariant with respect to φ\varphi, if in the basis e1,…,ene_{1}, \ldots , e_{n} of the vector space L\mathcal{L} the linear transformation φ\varphi has the matrix:

?
(1)

J2(λ)(n=2)J_{2}(\lambda ) \quad (n = 2)

(2)

J3(λ)(n=3)J_{3}(\lambda ) \quad (n = 3)

(3)

Jn(λ)J_{n}(\lambda )

Problem 24.81

Let L=L1⊕L2\mathcal{L} = \mathcal{L}_{1} \oplus \mathcal{L}_{2}. Find the invariant subspaces of the given linear transformation of the space L\mathcal{L}:

?
(1)

projection onto L1\mathcal{L}_{1} parallel to L2\mathcal{L}_{2}

(2)

reflection in L1\mathcal{L}_{1} parallel to L2\mathcal{L}_{2}.

Problem 24.82
?
(1)

Show that a projection transformation φ\varphi of a vector space has the property: φ2=φ\varphi^{2} = \varphi.

(2)

Prove that a nonzero linear transformation φ≠ι\varphi \neq \iota, for which φ2=φ\varphi^{2} = \varphi, is the projection onto Im⁡φ\operatorname {Im} \varphi parallel to Ker⁡φ\operatorname {Ker} \varphi.

Problem 24.83
?
(1)

Show that a reflection transformation φ\varphi of a vector space in a subspace has the property φ2=ι\varphi^{2} = \iota.

(2)

Prove that a linear transformation φ\varphi, different from ±ι\pm \iota, for which φ2=ι\varphi^{2} = \iota, is the reflection of the space in the subspace of fixed vectors parallel to some complementary subspace.

Problem 24.84

Let φ\varphi be a linear transformation of the space L\mathcal{L}. Prove that for any α\alpha, every subspace containing Im⁡(φ+αι)\operatorname {Im}(\varphi + \alpha \iota ) is invariant with respect to φ\varphi.

?
Problem 24.85

Prove the statements:

?
(1)

If a linear transformation of an nn-dimensional vector space has an eigenvector, then there also exists for it an (n−1)(n - 1)-dimensional invariant subspace.

(2)

Let AA be the matrix of a linear transformation φ\varphi in some basis e\mathbf{e}, λ\lambda an eigenvalue, and let the row a be defined by the equation a(A−λE)=o\mathbf{a}(A - \lambda E) = \mathbf{o}. Then the equation aξ=0\mathbf{a} \xi = 0 in the basis e\mathbf{e} defines an (n−1)(n - 1)-dimensional subspace invariant with respect to the transformation φ\varphi. Is the converse statement true?

(3)

Every kk-dimensional invariant subspace of a linear transformation of a complex space contains a (k−1)(k - 1)-dimensional invariant subspace.

Problem 24.86

A linear transformation φ\varphi of the arithmetic space Rn\mathcal{R}_{n} is given, in the standard basis e1,…,ene_{1}, \ldots , e_{n}, by the matrix AA. Find the subspaces invariant with respect to φ\varphi, if:

?
(1)

A=A36A = \mathbf{A}_{36}. A36=[02−1−3]\mathbf{A}_{36} = \left[\begin{smallmatrix} 0 & 2 \\ -1 & -3 \end{smallmatrix}\right].

(2)

A=A51A = \mathbf{A}_{51}. A51=[−7−281]\mathbf{A}_{51} = \left[\begin{smallmatrix} -7 & -2 \\ 8 & 1 \end{smallmatrix}\right].

(3)

A=A306A = \mathbf{A}_{306}. A306=[1−2214−215−3]\mathbf{A}_{306} = \left[\begin{smallmatrix} 1 & -2 & 2 \\ 1 & 4 & -2 \\ 1 & 5 & -3 \end{smallmatrix}\right].

(4)

A=A287A = \mathbf{A}_{287}. A287=[7−12610−191012−2413]\mathbf{A}_{287} = \left[\begin{smallmatrix} 7 & -12 & 6 \\ 10 & -19 & 10 \\ 12 & -24 & 13 \end{smallmatrix}\right].

(5)

A=A604A = \mathbf{A}_{604}. A604=[00⋯00100⋯01000⋯100⋮⋮\iddots⋮⋮⋮01⋯00010⋯000]\mathbf{A}_{604} = \left[\begin{smallmatrix} 0 & 0 & \cdots & 0 & 0 & 1 \\ 0 & 0 & \cdots & 0 & 1 & 0 \\ 0 & 0 & \cdots & 1 & 0 & 0 \\ \vdots & \vdots & \iddots & \vdots & \vdots & \vdots \\ 0 & 1 & \cdots & 0 & 0 & 0 \\ 1 & 0 & \cdots & 0 & 0 & 0 \end{smallmatrix}\right].

(6)

A=A621A = \mathbf{A}_{621}, (n=2m)(n = 2m). A621=[100…002010…020…………………020…010200…001]\mathbf{A}_{621} = \left[\begin{smallmatrix} 1 & 0 & 0 & \ldots & 0 & 0 & 2 \\ 0 & 1 & 0 & \ldots & 0 & 2 & 0 \\ \ldots & \ldots & \ldots & \ldots & \ldots & \ldots & \ldots \\ 0 & 2 & 0 & \ldots & 0 & 1 & 0 \\ 2 & 0 & 0 & \ldots & 0 & 0 & 1 \end{smallmatrix}\right].

(7)

A=A625A = \mathbf{A}_{625}. A625=[122…22212…22………………222…12222…21]\mathbf{A}_{625} = \left[\begin{smallmatrix} 1 & 2 & 2 & \ldots & 2 & 2 \\ 2 & 1 & 2 & \ldots & 2 & 2 \\ \ldots & \ldots & \ldots & \ldots & \ldots & \ldots \\ 2 & 2 & 2 & \ldots & 1 & 2 \\ 2 & 2 & 2 & \ldots & 2 & 1 \end{smallmatrix}\right].

Problem 24.87

Find the (n−1)(n - 1)-dimensional subspaces in Rn\mathcal{R}_{n} invariant with respect to the linear transformation given by its matrix AA, if:

?
(1)

A=A241A = \mathbf{A}_{241}. A241=[6−115−554−99]\mathbf{A}_{241} = \left[\begin{smallmatrix} 6 & -1 & 1 \\ 5 & -5 & 5 \\ 4 & -9 & 9 \end{smallmatrix}\right].

(2)

A=A222A = \mathbf{A}_{222}. A222=[111222−3−3−3]\mathbf{A}_{222} = \left[\begin{smallmatrix} 1 & 1 & 1 \\ 2 & 2 & 2 \\ -3 & -3 & -3 \end{smallmatrix}\right].

(3)

A=A238A = \mathbf{A}_{238}. A238=[−310−10−74−4−2−33]\mathbf{A}_{238} = \left[\begin{smallmatrix} -3 & 10 & -10 \\ -7 & 4 & -4 \\ -2 & -3 & 3 \end{smallmatrix}\right].

(4)

A=A262A = \mathbf{A}_{262}. A262=[−1−22−2−12−3−23]\mathbf{A}_{262} = \left[\begin{smallmatrix} -1 & -2 & 2 \\ -2 & -1 & 2 \\ -3 & -2 & 3 \end{smallmatrix}\right].

(5)

A=A487A = \mathbf{A}_{487}. A487=[001000013400−1−100]\mathbf{A}_{487} = \left[\begin{smallmatrix} 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 3 & 4 & 0 & 0 \\ -1 & -1 & 0 & 0 \end{smallmatrix}\right].

(6)

A=A447A = \mathbf{A}_{447}. A447=[−12011−12001−12201−1]\mathbf{A}_{447} = \left[\begin{smallmatrix} -1 & 2 & 0 & 1 \\ 1 & -1 & 2 & 0 \\ 0 & 1 & -1 & 2 \\ 2 & 0 & 1 & -1 \end{smallmatrix}\right].

(7)

A=A549A = \mathbf{A}_{549}. A549=[02−20−4−204−532−401105−1024−3−1−20]\mathbf{A}_{549} = \left[\begin{smallmatrix} 0 & 2 & -2 & 0 & -4 \\ -2 & 0 & 4 & -5 & 3 \\ 2 & -4 & 0 & 1 & 1 \\ 0 & 5 & -1 & 0 & 2 \\ 4 & -3 & -1 & -2 & 0 \end{smallmatrix}\right].

(8)

A=A640A = \mathbf{A}_{640}. A640=[n−1100…000−n+1n−320…0000−n+2n−53…000…………………………………0000…−2−n+3n−10000…0−1−n+1]\mathbf{A}_{640} = \left[\begin{smallmatrix} n-1 & 1 & 0 & 0 & \ldots & 0 & 0 & 0 \\ -n+1 & n-3 & 2 & 0 & \ldots & 0 & 0 & 0 \\ 0 & -n+2 & n-5 & 3 & \ldots & 0 & 0 & 0 \\ \ldots \ldots \ldots & \ldots & \ldots & \ldots & \ldots & \ldots & \ldots \ldots \ldots \ldots \ldots \\ 0 & 0 & 0 & 0 & \ldots & -2 & -n+3 & n-1 \\ 0 & 0 & 0 & 0 & \ldots & 0 & -1 & -n+1 \end{smallmatrix}\right].

Problem 24.88
?
(1)

Let λ=α+iβ\lambda = \alpha + i\beta (β≠0)(\beta \neq 0) be a characteristic number of a real matrix AA of order nn, and let l=x+iy\mathbf{l} = \mathbf{x} + i\mathbf{y} be an eigenvector of the linear transformation of the space Cn\mathcal{C}_{n} with matrix AA (x, y real vectors). Prove that x\mathbf{x} and y\mathbf{y} form a basis of a two-dimensional invariant subspace of the linear transformation of the space Rn\mathcal{R}_{n} given by the matrix AA.

(2)

Find the two-dimensional invariant subspaces L\mathcal{L} for the linear transformation of the space R4\mathcal{R}_{4} given, in the standard basis, by the matrix A474\mathbf{A}_{474}. A474=[−5−2−3−1422163312−340]\mathbf{A}_{474} = \left[\begin{smallmatrix} -5 & -2 & -3 & -1 \\ 4 & 2 & 2 & 1 \\ 6 & 3 & 3 & 1 \\ 2 & -3 & 4 & 0 \end{smallmatrix}\right].

Problem 24.89

Let φ\varphi be a linear transformation of a real vector space, λ,λˉ\lambda , \bar{\lambda } a pair of its complex-conjugate characteristic numbers, p=−(λ+λˉ)p = - (\lambda + \bar{\lambda }) and q=λλˉq = \lambda \bar{\lambda }. Prove that the quasi-eigenspace Ker⁡(φ2+pφ+qι)\operatorname {Ker}\left(\varphi^{2} + p\varphi + q\iota \right) is nonzero and invariant with respect to φ\varphi.

?
Problem 24.90

Find the quasi-eigenspaces of the transformation φ\varphi given by the matrix AA:

?
(1)

A=[012−10−2−220]A =\left[\begin{smallmatrix} 0 & 1 & 2 \\ - 1 & 0 & - 2 \\ - 2 & 2 & 0\end{smallmatrix}\right]

(2)

A=[10−1201−2−1−1210−2101]A =\left[\begin{smallmatrix} 1 & 0 & - 1 & 2 \\ 0 & 1 & - 2 & - 1 \\ - 1 & 2 & 1 & 0 \\ - 2 & 1 & 0 & 1\end{smallmatrix}\right]

(3)

A=[012−2−1022−2−20−12−210]A =\left[\begin{smallmatrix} 0 & 1 & 2 & - 2 \\ - 1 & 0 & 2 & 2 \\ - 2 & - 2 & 0 & - 1 \\ 2 & - 2 & 1 & 0\end{smallmatrix}\right]

(4)

A423\mathbf{A}_{423}. A423=[1/21/21/21/2−1/21/2−1/21/2−1/2−1/21/21/21/2−1/2−1/21/2]\mathbf{A}_{423} = \left[\begin{smallmatrix} 1/2 & 1/2 & 1/2 & 1/2 \\ -1/2 & 1/2 & -1/2 & 1/2 \\ -1/2 & -1/2 & 1/2 & 1/2 \\ 1/2 & -1/2 & -1/2 & 1/2 \end{smallmatrix}\right].

(5)

A474\mathbf{A}_{474}. A474=[−5−2−3−1422163312−340]\mathbf{A}_{474} = \left[\begin{smallmatrix} -5 & -2 & -3 & -1 \\ 4 & 2 & 2 & 1 \\ 6 & 3 & 3 & 1 \\ 2 & -3 & 4 & 0 \end{smallmatrix}\right].

Problem 24.91

Prove that a quasi-eigenspace contains no eigenvectors, and through each of its vectors there passes a two-dimensional invariant subspace.

?
Problem 24.92

Prove that the dimension of a quasi-eigenspace is an even number.

?
Problem 24.93

Prove that a quasi-eigenspace can be decomposed into a direct sum of two-dimensional invariant subspaces.

?
Problem 24.94

Prove that the dimension of a quasi-eigenspace does not exceed twice the multiplicity of the corresponding characteristic number.

?
Problem 24.95

Prove that in a two-dimensional invariant subspace of a transformation φ\varphi, containing no eigenvectors, one can choose a basis so that the matrix of the restriction of φ\varphi has the form [αβ−βα]\left[\begin{smallmatrix} \alpha & \beta \\ - \beta & \alpha \end{smallmatrix}\right].

?
Problem 24.96

Prove that any two-dimensional invariant subspace containing no eigenvectors lies in some quasi-eigenspace.

?
Problem 24.97

Prove that any two quasi-eigenspaces have zero intersection.

?
Problem 24.98

Prove that the eigenspaces and quasi-eigenspaces of a linear transformation are situated so that their sum is a direct sum.

?
Problem 24.99

For each of the transformations of problem 24.90:

?
(1)

A=[012−10−2−220]A =\left[\begin{smallmatrix} 0 & 1 & 2 \\ - 1 & 0 & - 2 \\ - 2 & 2 & 0\end{smallmatrix}\right]

(2)

A=[10−1201−2−1−1210−2101]A =\left[\begin{smallmatrix} 1 & 0 & - 1 & 2 \\ 0 & 1 & - 2 & - 1 \\ - 1 & 2 & 1 & 0 \\ - 2 & 1 & 0 & 1\end{smallmatrix}\right]

(3)

A=[012−2−1022−2−20−12−210]A =\left[\begin{smallmatrix} 0 & 1 & 2 & - 2 \\ - 1 & 0 & 2 & 2 \\ - 2 & - 2 & 0 & - 1 \\ 2 & - 2 & 1 & 0\end{smallmatrix}\right]

(4)

A423\mathbf{A}_{423}. A423=[1/21/21/21/2−1/21/2−1/21/2−1/2−1/21/21/21/2−1/2−1/21/2]\mathbf{A}_{423} = \left[\begin{smallmatrix} 1/2 & 1/2 & 1/2 & 1/2 \\ -1/2 & 1/2 & -1/2 & 1/2 \\ -1/2 & -1/2 & 1/2 & 1/2 \\ 1/2 & -1/2 & -1/2 & 1/2 \end{smallmatrix}\right].

(5)

A474\mathbf{A}_{474}. A474=[−5−2−3−1422163312−340]\mathbf{A}_{474} = \left[\begin{smallmatrix} -5 & -2 & -3 & -1 \\ 4 & 2 & 2 & 1 \\ 6 & 3 & 3 & 1 \\ 2 & -3 & 4 & 0 \end{smallmatrix}\right].

find the transition matrix to a basis in which its matrix is block-diagonal, and find the matrix of the transformation in this basis. (In each case find at least one solution.)

Problem 24.100
?
(1)

Let a linear transformation φ\varphi of an nn-dimensional vector space L\mathcal{L} possess a chain of pairwise distinct invariant subspaces nested in one another: L1⊂L2⊂…⊂Ln=L\mathcal{L}_{1} \subset \mathcal{L}_{2} \subset \ldots \subset \mathcal{L}_{n} = \mathcal{L}. Prove that there exists in L\mathcal{L} a basis in which the matrix of the transformation φ\varphi is upper triangular.

(2)

Let, in the basis e1,…,ene_{1}, \ldots , e_{n}, the matrix of a linear transformation φ\varphi of the space L\mathcal{L} be upper triangular. Prove that the subspaces Lk=L{e1,…,ek}(k=1,…,n)\mathcal{L}_{k} = \mathcal{L}\left\{ e_{1}, \ldots , e_{k}\right\} \quad (k = 1, \ldots , n) are invariant with respect to φ\varphi and Lk⊂Lk+1(k=1,…,n−1)\mathcal{L}_{k} \subset \mathcal{L}_{k + 1} \quad (k = 1, \ldots , n - 1).

Problem 24.101

A linear transformation of the space R3\mathcal{R}_{3} is given by the matrix AA in the standard basis. Reduce the matrix of the transformation to triangular form, if:

?
(1)

A=A241A = \mathbf{A}_{241}. A241=[6−115−554−99]\mathbf{A}_{241} = \left[\begin{smallmatrix} 6 & -1 & 1 \\ 5 & -5 & 5 \\ 4 & -9 & 9 \end{smallmatrix}\right].

(2)

A=A222A = \mathbf{A}_{222}. A222=[111222−3−3−3]\mathbf{A}_{222} = \left[\begin{smallmatrix} 1 & 1 & 1 \\ 2 & 2 & 2 \\ -3 & -3 & -3 \end{smallmatrix}\right].

(3)

A=A283A = \mathbf{A}_{283}. A283=[251−1−30−2−3−2]\mathbf{A}_{283} = \left[\begin{smallmatrix} 2 & 5 & 1 \\ -1 & -3 & 0 \\ -2 & -3 & -2 \end{smallmatrix}\right].

(4)

A=A263A = \mathbf{A}_{263}. A263=[3−313−22−120]\mathbf{A}_{263} = \left[\begin{smallmatrix} 3 & -3 & 1 \\ 3 & -2 & 2 \\ -1 & 2 & 0 \end{smallmatrix}\right].

Problem 24.102
?
(1)

Let L1⊂L2⊂…⊂Lr=L\mathcal{L}_{1} \subset \mathcal{L}_{2} \subset \ldots \subset \mathcal{L}_{r} = \mathcal{L} be a chain of subspaces of a vector space L\mathcal{L}, invariant with respect to a linear transformation φ,dim⁡Li=ni(n1<n2<……<nr=n)\varphi , \operatorname {dim} \mathcal{L}_{i} = n_{i}\left(n_{1} < n_{2} < \ldots \ldots < n_{r} = n\right). Suppose the basis e1,…,ene_{1}, \ldots , e_{n} is chosen so that the vectors e1,…,enie_{1}, \ldots , e_{n_{i}} belong to Li(i=1,…,r)\mathcal{L}_{i}(i = 1, \ldots , r). Show that the matrix AφA_{\varphi } is upper block-triangular with diagonal blocks of size ki×kik_{i} \times k_{i}, where ki=ni−ni−1(i=2,…,r)k_{i} = n_{i} - n_{i - 1}(i = 2, \ldots , r), k1=n1k_{1} = n_{1}.

(2)

Let, in some basis, the matrix of a linear transformation be upper block-triangular. Prove that the transformation possesses a chain of invariant subspaces. Express their dimensions in terms of the orders of the diagonal blocks.

Problem 24.103

Let L\mathcal{L} be the vector space of infinitely differentiable functions f(t)(t∈R)f(t) \quad (t\in \mathbb {R}), nn a nonnegative integer, λ\lambda a fixed real number. Prove that the given set of functions forms a subspace in L\mathcal{L}, invariant with respect to differentiation DD:

?
(1)

the set of all polynomials

(2)

the set of all polynomials of degree at most nn

(3)

the set of all trigonometric polynomials of order at most nn

(4)

the set of all linear combinations of the functions eλ1t,……,eλnte^{\lambda_{1} t}, \ldots \ldots , e^{\lambda_{n} t}

(5)

the set of all functions f(t)=eλtp(t)f(t) = e^{\lambda t} p(t), where p(t)p(t) is an arbitrary polynomial

(6)

the set of all functions f(t)=eλtT(t)f(t) = e^{\lambda t} T(t), where T(t)T(t) is an arbitrary trigonometric polynomial

(7)

the set of all functions p(t)cos⁡t,p(t)sin⁡tp(t) \cos t, p(t) \sin t, where p(t)p(t) is an arbitrary polynomial.

Problem 24.104

Let L\mathcal{L} be the vector space of functions of problem 24.103, φ=D2\varphi = D^{2}. Prove that the given set of functions is a subspace in L\mathcal{L}, invariant with respect to the transformation φ\varphi. Find the eigenvalues and eigenvectors of the restriction of the transformation to this subspace:

?
(1)

the set of all even polynomials of degree at most 2n2n

(2)

the set of all odd polynomials of degree at most 2n+12n + 1

(3)

the set of all even trigonometric polynomials a0+a1cos⁡t+…+ancos⁡nta_{0} + a_{1} \cos t + \ldots + a_{n} \cos nt

(4)

the set of all odd trigonometric polynomials b1sin⁡t+…+bnsin⁡ntb_{1} \sin t + \ldots + b_{n} \sin nt.

Problem 24.105

Find all subspaces of the vector space of all polynomials invariant with respect to differentiation.

?
Problem 24.106

Show that the linear transformation of the space of all polynomials consisting of multiplying polynomials by tt has neither eigenvectors nor invariant subspaces (except for the zero subspace and the whole space).

?
Problem 24.107

Find the subspaces invariant with respect to the operation of taking the remainder (see problem 24.51) in the space of all polynomials.

?
Problem 24.108

Let φ\varphi be the linear transformation of the space of polynomials p(x,y)p(x, y) defined in problem 24.61. Prove that the subspaces of homogeneous polynomials of degree n(n=0,1,…)n\quad (n = 0, 1, \ldots ) are invariant with respect to the transformation φ\varphi.

?
Problem 24.109

Find the subspaces of the vector space of matrices of order nn invariant with respect to transposition.

?
Problem 24.110

In the space Rn×n\mathcal{R}_{n \times n}, consider the transformation φ(X)=AX\varphi (X) = AX, where AA is a fixed matrix. Prove that Rn×n\mathcal{R}_{n \times n} is the direct sum of nn subspaces invariant with respect to φ\varphi.

?
Problem 24.111

In the space Rn×n\mathcal{R}_{n \times n}, consider the transformation φ(X)=AX−XA\varphi (X) = AX - XA, where AA is a fixed matrix. Prove that the given set forms a subspace invariant with respect to φ\varphi:

?
(1)

the set of all matrices with zero trace

(2)

the set of all upper triangular matrices (if the matrix AA is upper triangular)

(3)

the set of all skew-symmetric matrices (if the matrix AA is skew-symmetric)

(4)

the set of all diagonal matrices (if the matrix AA is diagonal).

Problem 24.112

A linear transformation φ\varphi of the space Rn×n\mathcal{R}_{n \times n} of real matrices of order nn is defined by the formula φ(X)=ATX+XA\varphi (X) = A^{T} X + XA, where AA is a fixed matrix.

?
(1)

Prove that the skew-symmetric matrices form a subspace in Rn×n\mathcal{R}_{n \times n}, invariant with respect to the transformation φ\varphi

(2)

express the characteristic numbers of the restriction of φ\varphi to this subspace in terms of the characteristic numbers of the matrix AA.

Problem 24.113

A linear transformation of the space of matrices of order nn is defined by the formula φ(X)=A−1XA\varphi (X) = A^{ - 1} XA, where AA is a nonsingular matrix. Prove that the given set of matrices is a subspace invariant with respect to the transformation φ\varphi:

?
(1)

the set of all matrices with zero trace

(2)

the set of all scalar matrices

(3)

the set of all upper triangular matrices (if the matrix AA is upper triangular)

(4)

(1) the set of all symmetric matrices;

(2) the set of all skew-symmetric matrices (if the matrix AA is orthogonal).

(5)

(1) the set of all Hermitian matrices;

(2) the set of all skew-Hermitian matrices (if AA is a unitary matrix, and if these sets are subspaces of the 2n22n^{2}-dimensional real space of complex matrices of order nn).

Problem 24.114

A linear transformation φ\varphi of the complex space of matrices of second order is given by the formula φ(X)=A−1XA\varphi (X) = A^{ - 1} XA, where A=A77,αA = \mathbf{A}_{77}, \alpha a real number. Find the eigenvalues and eigenvectors of the restriction of the transformation φ\varphi to the subspace:. A77=[cos⁡α−sin⁡αsin⁡αcos⁡α]\mathbf{A}_{77} = \left[\begin{smallmatrix} \cos \alpha & -\sin \alpha \\ \sin \alpha & \cos \alpha \end{smallmatrix}\right].

?
(1)

of symmetric matrices

(2)

of matrices with zero trace.

Problem 24.115

Give an example of a matrix of order n>1n > 1 having a characteristic number λ\lambda of multiplicity k,1⩽k⩽nk, 1 \leqslant k \leqslant n, and eigenspace of dimension mm. How many Jordan blocks correspond to this λ\lambda, and what is the sum of the orders of these blocks?

?
Problem 24.116

Verify by direct computation the Hamilton-Cayley theorem for the given matrix and determine its minimal polynomial:

?
(1)

A37\mathbf{A}_{37}. A37=[−455−4]\mathbf{A}_{37} = \left[\begin{smallmatrix} -4 & 5 \\ 5 & -4 \end{smallmatrix}\right].

(2)

A38\mathbf{A}_{38}. A38=[53−3−1]\mathbf{A}_{38} = \left[\begin{smallmatrix} 5 & 3 \\ -3 & -1 \end{smallmatrix}\right].

(3)

A29\mathbf{A}_{29}. A29=[2363]\mathbf{A}_{29} = \left[\begin{smallmatrix} \sqrt{2} & \sqrt{3} \\ \sqrt{6} & 3 \end{smallmatrix}\right].

(4)

A82\mathbf{A}_{82}. A82=[i1−1i]\mathbf{A}_{82} = \left[\begin{smallmatrix} i & 1 \\ -1 & i \end{smallmatrix}\right].

(5)

A98\mathbf{A}_{98}. A98=[0112i]\mathbf{A}_{98} = \left[\begin{smallmatrix} 0 & 1 \\ 1 & 2 i \end{smallmatrix}\right].

(6)

A233\mathbf{A}_{233}. A233=[1−123−362−24]\mathbf{A}_{233} = \left[\begin{smallmatrix} 1 & -1 & 2 \\ 3 & -3 & 6 \\ 2 & -2 & 4 \end{smallmatrix}\right].

(7)

A222\mathbf{A}_{222}. A222=[111222−3−3−3]\mathbf{A}_{222} = \left[\begin{smallmatrix} 1 & 1 & 1 \\ 2 & 2 & 2 \\ -3 & -3 & -3 \end{smallmatrix}\right].

(8)

A236\mathbf{A}_{236}. A236=[−253−2532−5−3]\mathbf{A}_{236} = \left[\begin{smallmatrix} -2 & 5 & 3 \\ -2 & 5 & 3 \\ 2 & -5 & -3 \end{smallmatrix}\right].

Problem 24.117

Can the minimal polynomial of a matrix of order nn

?
(1)

be a polynomial of the first degree

(2)

have the form (t−λ)n(t - \lambda )^{n}. Give examples.

Problem 24.118
?
(1)

Show that an eigenvector is a root vector. What is the height of an eigenvector?

(2)

Prove that the matrix of a linear transformation is diagonalizable if and only if the height of every root vector equals 1.

Problem 24.119

Prove that root vectors corresponding to pairwise distinct eigenvalues are linearly independent.

?
Problem 24.120

Let K1\mathcal{K}_{1} and K2\mathcal{K}_{2} be root subspaces corresponding to the eigenvalues λ1≠λ2\lambda_{1} \neq \lambda_{2}. Prove that K2\mathcal{K}_{2} is invariant with respect to ψ1=φ−λ1ι\psi_{1} = \varphi - \lambda_{1} \iota, and the restriction of ψ1\psi_{1} to K2\mathcal{K}_{2} is nonsingular.

?
Problem 24.121

Prove that the dimension of a root subspace equals the multiplicity of the corresponding eigenvalue as a root of the characteristic polynomial.

?
Problem 24.122

Prove the linear independence of the vectors of a Jordan chain.

?
Problem 24.123

Prove that the initial vectors of the Jordan chains composing a basis of a root subspace form a basis of the corresponding eigenspace.

?
Problem 24.124

Let the dimension of the eigenspace corresponding to a characteristic number λ\lambda be less than the multiplicity of λ\lambda. Does every eigenvector have an associated vector?

?
Problem 24.125

Find bases of the root subspaces of the linear transformation given by the matrix AA:

?
(1)

A27\mathbf{A}_{27}. A27=[1−3−26]\mathbf{A}_{27} = \left[\begin{smallmatrix} 1 & -3 \\ -2 & 6 \end{smallmatrix}\right].

(2)

A11\mathbf{A}_{11}. A11=[0−213]\mathbf{A}_{11} = \left[\begin{smallmatrix} 0 & -2 \\ 1 & 3 \end{smallmatrix}\right].

(3)

A5\mathbf{A}_{5}. A5=[1−11−1]\mathbf{A}_{5} = \left[\begin{smallmatrix} 1 & -1 \\ 1 & -1 \end{smallmatrix}\right].

(4)

A51\mathbf{A}_{51}. A51=[−7−281]\mathbf{A}_{51} = \left[\begin{smallmatrix} -7 & -2 \\ 8 & 1 \end{smallmatrix}\right].

(5)

A198\mathbf{A}_{198}. A198=[−286−41064−8−4]\mathbf{A}_{198} = \left[\begin{smallmatrix} -2 & 8 & 6 \\ -4 & 10 & 6 \\ 4 & -8 & -4 \end{smallmatrix}\right].

(6)

A222\mathbf{A}_{222}. A222=[111222−3−3−3]\mathbf{A}_{222} = \left[\begin{smallmatrix} 1 & 1 & 1 \\ 2 & 2 & 2 \\ -3 & -3 & -3 \end{smallmatrix}\right].

(7)

A303\mathbf{A}_{303}. A303=[033−1862−14−10]\mathbf{A}_{303} = \left[\begin{smallmatrix} 0 & 3 & 3 \\ -1 & 8 & 6 \\ 2 & -14 & -10 \end{smallmatrix}\right].

(8)

A289\mathbf{A}_{289}. A289=[−212−102−203]\mathbf{A}_{289} = \left[\begin{smallmatrix} -2 & 1 & 2 \\ -1 & 0 & 2 \\ -2 & 0 & 3 \end{smallmatrix}\right].

Problem 24.126

Verify that the linear transformation given by the matrix AA is nilpotent and find for it a Jordan basis and the Jordan form of the matrix:

?
(1)

A5\mathbf{A}_{5}. A5=[1−11−1]\mathbf{A}_{5} = \left[\begin{smallmatrix} 1 & -1 \\ 1 & -1 \end{smallmatrix}\right].

(2)

A38−2E\mathbf{A}_{38} - 2E. A38=[53−3−1]\mathbf{A}_{38} = \left[\begin{smallmatrix} 5 & 3 \\ -3 & -1 \end{smallmatrix}\right].

(3)

A52−5E\mathbf{A}_{52} - 5E. A52=[11−218−1]\mathbf{A}_{52} = \left[\begin{smallmatrix} 11 & -2 \\ 18 & -1 \end{smallmatrix}\right].

(4)

A236\mathbf{A}_{236}. A236=[−253−2532−5−3]\mathbf{A}_{236} = \left[\begin{smallmatrix} -2 & 5 & 3 \\ -2 & 5 & 3 \\ 2 & -5 & -3 \end{smallmatrix}\right].

(5)

A235\mathbf{A}_{235}. A235=[121124−1−2−3]\mathbf{A}_{235} = \left[\begin{smallmatrix} 1 & 2 & 1 \\ 1 & 2 & 4 \\ -1 & -2 & -3 \end{smallmatrix}\right].

(6)

A283+E\mathbf{A}_{283} + E. A283=[251−1−30−2−3−2]\mathbf{A}_{283} = \left[\begin{smallmatrix} 2 & 5 & 1 \\ -1 & -3 & 0 \\ -2 & -3 & -2 \end{smallmatrix}\right].

(7)

A458\mathbf{A}_{458}. A458=[100−101−1001−10100−1]\mathbf{A}_{458} = \left[\begin{smallmatrix} 1 & 0 & 0 & -1 \\ 0 & 1 & -1 & 0 \\ 0 & 1 & -1 & 0 \\ 1 & 0 & 0 & -1 \end{smallmatrix}\right].

(8)

A457\mathbf{A}_{457}. A457=[100−1100−101−1001−10]\mathbf{A}_{457} = \left[\begin{smallmatrix} 1 & 0 & 0 & -1 \\ 1 & 0 & 0 & -1 \\ 0 & 1 & -1 & 0 \\ 0 & 1 & -1 & 0 \end{smallmatrix}\right].

(9)

A485\mathbf{A}_{485}. A485=[3−1−1−1111−311−31−13−1−1]\mathbf{A}_{485} = \left[\begin{smallmatrix} 3 & -1 & -1 & -1 \\ 1 & 1 & 1 & -3 \\ 1 & 1 & -3 & 1 \\ -1 & 3 & -1 & -1 \end{smallmatrix}\right].

Problem 24.127

Reduce the matrix to Jordan form:

?
(1)

A51\mathbf{A}_{51}. A51=[−7−281]\mathbf{A}_{51} = \left[\begin{smallmatrix} -7 & -2 \\ 8 & 1 \end{smallmatrix}\right].

(2)

A30\mathbf{A}_{30}. A30=[256060144]\mathbf{A}_{30} = \left[\begin{smallmatrix} 25 & 60 \\ 60 & 144 \end{smallmatrix}\right].

(3)

A49\mathbf{A}_{49}. A49=[4−312−8]\mathbf{A}_{49} = \left[\begin{smallmatrix} 4 & -3 \\ 12 & -8 \end{smallmatrix}\right].

(4)

A52\mathbf{A}_{52}. A52=[11−218−1]\mathbf{A}_{52} = \left[\begin{smallmatrix} 11 & -2 \\ 18 & -1 \end{smallmatrix}\right].

(5)

A198\mathbf{A}_{198}. A198=[−286−41064−8−4]\mathbf{A}_{198} = \left[\begin{smallmatrix} -2 & 8 & 6 \\ -4 & 10 & 6 \\ 4 & -8 & -4 \end{smallmatrix}\right].

(6)

A299\mathbf{A}_{299}. A299=[−2−2−3236−1−2−4]\mathbf{A}_{299} = \left[\begin{smallmatrix} -2 & -2 & -3 \\ 2 & 3 & 6 \\ -1 & -2 & -4 \end{smallmatrix}\right].

(7)

A247\mathbf{A}_{247}. A247=[2−5−4−316124−20−15]\mathbf{A}_{247} = \left[\begin{smallmatrix} 2 & -5 & -4 \\ -3 & 16 & 12 \\ 4 & -20 & -15 \end{smallmatrix}\right].

(8)

A248\mathbf{A}_{248}. A248=[16032−40−8−80−16]\mathbf{A}_{248} = \left[\begin{smallmatrix} 16 & 0 & 32 \\ -4 & 0 & -8 \\ -8 & 0 & -16 \end{smallmatrix}\right].

(9)

A264\mathbf{A}_{264}. A264=[011110−101]\mathbf{A}_{264} = \left[\begin{smallmatrix} 0 & 1 & 1 \\ 1 & 1 & 0 \\ -1 & 0 & 1 \end{smallmatrix}\right].

(10)

A273\mathbf{A}_{273}. A273=[−144−10−18−2091315]\mathbf{A}_{273} = \left[\begin{smallmatrix} -1 & 4 & 4 \\ -10 & -18 & -20 \\ 9 & 13 & 15 \end{smallmatrix}\right].

(11)

A238\mathbf{A}_{238}. A238=[−310−10−74−4−2−33]\mathbf{A}_{238} = \left[\begin{smallmatrix} -3 & 10 & -10 \\ -7 & 4 & -4 \\ -2 & -3 & 3 \end{smallmatrix}\right].

(12)

(р) A283\mathbf{A}_{283}. A283=[251−1−30−2−3−2]\mathbf{A}_{283} = \left[\begin{smallmatrix} 2 & 5 & 1 \\ -1 & -3 & 0 \\ -2 & -3 & -2 \end{smallmatrix}\right].

(13)

A289\mathbf{A}_{289}. A289=[−212−102−203]\mathbf{A}_{289} = \left[\begin{smallmatrix} -2 & 1 & 2 \\ -1 & 0 & 2 \\ -2 & 0 & 3 \end{smallmatrix}\right].

(14)

A484\mathbf{A}_{484}. A484=[111111−1−11−11−11−1−11]\mathbf{A}_{484} = \left[\begin{smallmatrix} 1 & 1 & 1 & 1 \\ 1 & 1 & -1 & -1 \\ 1 & -1 & 1 & -1 \\ 1 & -1 & -1 & 1 \end{smallmatrix}\right].

(15)

(р) A465\mathbf{A}_{465}. A465=[11−111−11−1−3−11−1−31−11]\mathbf{A}_{465} = \left[\begin{smallmatrix} 1 & 1 & -1 & 1 \\ 1 & -1 & 1 & -1 \\ -3 & -1 & 1 & -1 \\ -3 & 1 & -1 & 1 \end{smallmatrix}\right].

(16)

A460\mathbf{A}_{460}. A460=[0−1−2−31234000−10012]\mathbf{A}_{460} = \left[\begin{smallmatrix} 0 & -1 & -2 & -3 \\ 1 & 2 & 3 & 4 \\ 0 & 0 & 0 & -1 \\ 0 & 0 & 1 & 2 \end{smallmatrix}\right].

(17)

A469\mathbf{A}_{469}. A469=[−2−13−7−303−731−2731−38]\mathbf{A}_{469} = \left[\begin{smallmatrix} -2 & -1 & 3 & -7 \\ -3 & 0 & 3 & -7 \\ 3 & 1 & -2 & 7 \\ 3 & 1 & -3 & 8 \end{smallmatrix}\right].

(18)

A487\mathbf{A}_{487}. A487=[001000013400−1−100]\mathbf{A}_{487} = \left[\begin{smallmatrix} 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 3 & 4 & 0 & 0 \\ -1 & -1 & 0 & 0 \end{smallmatrix}\right].

Problem 24.128

Can the following matrices of linear transformations of a real space be reduced to Jordan form? Find their Jordan form as matrices of linear transformations of a complex space:

?
(1)

A45\mathbf{A}_{45}. A45=[1−13−2]\mathbf{A}_{45} = \left[\begin{smallmatrix} 1 & -1 \\ 3 & -2 \end{smallmatrix}\right].

(2)

A62\mathbf{A}_{62}. A62=[4/53/5−3/54/5]\mathbf{A}_{62} = \left[\begin{smallmatrix} 4/5 & 3/5 \\ -3/5 & 4/5 \end{smallmatrix}\right].

(3)

A44\mathbf{A}_{44}. A44=[5−141]\mathbf{A}_{44} = \left[\begin{smallmatrix} 5 & -1 \\ 4 & 1 \end{smallmatrix}\right].

(4)

A262\mathbf{A}_{262}. A262=[−1−22−2−12−3−23]\mathbf{A}_{262} = \left[\begin{smallmatrix} -1 & -2 & 2 \\ -2 & -1 & 2 \\ -3 & -2 & 3 \end{smallmatrix}\right].

(5)

A301\mathbf{A}_{301}. A301=[0−6−2−2−4−22114]\mathbf{A}_{301} = \left[\begin{smallmatrix} 0 & -6 & -2 \\ -2 & -4 & -2 \\ 2 & 11 & 4 \end{smallmatrix}\right].

(6)

A447\mathbf{A}_{447}. A447=[−12011−12001−12201−1]\mathbf{A}_{447} = \left[\begin{smallmatrix} -1 & 2 & 0 & 1 \\ 1 & -1 & 2 & 0 \\ 0 & 1 & -1 & 2 \\ 2 & 0 & 1 & -1 \end{smallmatrix}\right].

(7)

A474\mathbf{A}_{474}. A474=[−5−2−3−1422163312−340]\mathbf{A}_{474} = \left[\begin{smallmatrix} -5 & -2 & -3 & -1 \\ 4 & 2 & 2 & 1 \\ 6 & 3 & 3 & 1 \\ 2 & -3 & 4 & 0 \end{smallmatrix}\right].

Problem 24.129

Reduce to Jordan form the matrix of a linear transformation of a complex arithmetic space:

?
(1)

A82\mathbf{A}_{82}. A82=[i1−1i]\mathbf{A}_{82} = \left[\begin{smallmatrix} i & 1 \\ -1 & i \end{smallmatrix}\right].

(2)

A78\mathbf{A}_{78}. A78=[ε1−1ε]\mathbf{A}_{78} = \left[\begin{smallmatrix} \varepsilon & 1 \\ -1 & \varepsilon \end{smallmatrix}\right].

(3)

A80\mathbf{A}_{80}. A80=[1−ε−ε1]\mathbf{A}_{80} = \left[\begin{smallmatrix} 1 & -\varepsilon \\ -\varepsilon & 1 \end{smallmatrix}\right].

(4)

A98\mathbf{A}_{98}. A98=[0112i]\mathbf{A}_{98} = \left[\begin{smallmatrix} 0 & 1 \\ 1 & 2 i \end{smallmatrix}\right].

Problem 24.130

Compute the value of the following polynomials of the matrix Jn(λ)J_{n}(\lambda ):

?
(1)

(t−λ)m(t - \lambda )^{m}

(2)

tmt^{m}

(3)

an arbitrary polynomial f(t)f(t).

Problem 24.131

Find the Jordan form of the matrix:

?
(1)

Jn2(λ)J_{n}^{2}(\lambda )

(2)

Jnm(λ)(mJ_{n}^{m}(\lambda )(m a natural number ))

(3)

Jn−1(λ)J_{n}^{ - 1}(\lambda ) (λ≠0)(\lambda \neq 0).

Problem 24.132

What can be said about a matrix AA of order nn, if its minimal polynomial satisfies the following condition:

?
(1)

has all roots of multiplicity 1

(2)

coincides, up to sign, with the characteristic polynomial.

Problem 24.133

Let φm=ι\varphi^{m} = \iota for some natural number m. Prove that the Jordan form of the matrix of φ\varphi is diagonal. What numbers stand on the diagonal of this matrix?

?
Problem 24.134

Find the Jordan form of the linear transformation of the complex arithmetic space with the matrix:

?
(1)

A594\mathbf{A}_{594}. A594=[010…0002…0……………000…n000…0]\mathbf{A}_{594} = \left[\begin{smallmatrix} 0 & 1 & 0 & \ldots & 0 \\ 0 & 0 & 2 & \ldots & 0 \\ \ldots & \ldots & \ldots & \ldots & \ldots \\ 0 & 0 & 0 & \ldots & n \\ 0 & 0 & 0 & \ldots & 0 \end{smallmatrix}\right].

(2)

A599\mathbf{A}_{599}. A599=[011…1002…1……………000…n000…0]\mathbf{A}_{599} = \left[\begin{smallmatrix} 0 & 1 & 1 & \ldots & 1 \\ 0 & 0 & 2 & \ldots & 1 \\ \ldots & \ldots & \ldots & \ldots & \ldots \\ 0 & 0 & 0 & \ldots & n \\ 0 & 0 & 0 & \ldots & 0 \end{smallmatrix}\right].

(3)

A609\mathbf{A}_{609}. A609=[1−10…0001−1…00………………000…1−1000…01]\mathbf{A}_{609} = \left[\begin{smallmatrix} 1 & -1 & 0 & \ldots & 0 & 0 \\ 0 & 1 & -1 & \ldots & 0 & 0 \\ \ldots & \ldots & \ldots & \ldots & \ldots & \ldots \\ 0 & 0 & 0 & \ldots & 1 & -1 \\ 0 & 0 & 0 & \ldots & 0 & 1 \end{smallmatrix}\right].

(4)

A615\mathbf{A}_{615}. A615=[010…0001…0………….000…1123…n]\mathbf{A}_{615} = \left[\begin{smallmatrix} 0 & 1 & 0 & \ldots & 0 \\ 0 & 0 & 1 & \ldots & 0 \\ \ldots & \ldots & \ldots & \ldots & . \\ 0 & 0 & 0 & \ldots & 1 \\ 1 & 2 & 3 & \ldots & n \end{smallmatrix}\right].

(5)

A619\mathbf{A}_{619}. A619=[1−11…(−1)n−101−1…(−1)n−2………………000…1]\mathbf{A}_{619} = \left[\begin{smallmatrix} 1 & -1 & 1 & \ldots & (-1)^{n-1} \\ 0 & 1 & -1 & \ldots & (-1)^{n-2} \\ \ldots & \ldots & \ldots & \ldots & \ldots \ldots \\ 0 & 0 & 0 & \ldots & 1 \end{smallmatrix}\right].

(6)

A620\mathbf{A}_{620}. A620=[1−1…(−1)n−1−11…(−1)n−2…………………………(−1)n−1(−1)n−2…1]\mathbf{A}_{620} = \left[\begin{smallmatrix} 1 & -1 & \ldots & (-1)^{n-1} \\ -1 & 1 & \ldots & (-1)^{n-2} \\ \ldots \ldots \ldots \ldots \ldots \ldots \ldots & \ldots & \ldots \ldots \\ (-1)^{n-1} & (-1)^{n-2} & \ldots & 1 \end{smallmatrix}\right].

(7)

A632\mathbf{A}_{632}. A632=[011…111−101…111−1−10…111…………………−1−1−1…−1−10]\mathbf{A}_{632} = \left[\begin{smallmatrix} 0 & 1 & 1 & \ldots & 1 & 1 & 1 \\ -1 & 0 & 1 & \ldots & 1 & 1 & 1 \\ -1 & -1 & 0 & \ldots & 1 & 1 & 1 \\ \ldots & \ldots & \ldots & \ldots & \ldots & \ldots & \ldots \\ -1 & -1 & -1 & \ldots & -1 & -1 & 0 \end{smallmatrix}\right].

(8)

A635\mathbf{A}_{635}. A635=[0100…00−1010…000−101…00………………0000…010000…−10]\mathbf{A}_{635} = \left[\begin{smallmatrix} 0 & 1 & 0 & 0 & \ldots & 0 & 0 \\ -1 & 0 & 1 & 0 & \ldots & 0 & 0 \\ 0 & -1 & 0 & 1 & \ldots & 0 & 0 \\ \ldots & \ldots & \ldots & \ldots & \ldots & \ldots \\ 0 & 0 & 0 & 0 & \ldots & 0 & 1 \\ 0 & 0 & 0 & 0 & \ldots & -1 & 0 \end{smallmatrix}\right].

(9)

A640\mathbf{A}_{640}. A640=[n−1100…000−n+1n−320…0000−n+2n−53…000…………………………………0000…−2−n+3n−10000…0−1−n+1]\mathbf{A}_{640} = \left[\begin{smallmatrix} n-1 & 1 & 0 & 0 & \ldots & 0 & 0 & 0 \\ -n+1 & n-3 & 2 & 0 & \ldots & 0 & 0 & 0 \\ 0 & -n+2 & n-5 & 3 & \ldots & 0 & 0 & 0 \\ \ldots \ldots \ldots & \ldots & \ldots & \ldots & \ldots & \ldots & \ldots \ldots \ldots \ldots \ldots \\ 0 & 0 & 0 & 0 & \ldots & -2 & -n+3 & n-1 \\ 0 & 0 & 0 & 0 & \ldots & 0 & -1 & -n+1 \end{smallmatrix}\right].

(10)

A641\mathbf{A}_{641}. A641=[123…n−1n234…n1345…12……………………n12…n−2n−1]\mathbf{A}_{641} = \left[\begin{smallmatrix} 1 & 2 & 3 & \ldots & n-1 & n \\ 2 & 3 & 4 & \ldots & n & 1 \\ 3 & 4 & 5 & \ldots & 1 & 2 \\ \ldots & \ldots & \ldots & \ldots & \ldots \ldots \ldots & \ldots \\ n & 1 & 2 & \ldots & n-2 & n-1 \end{smallmatrix}\right].

Problem 24.135

Without finding Jordan bases, determine the Jordan forms of the matrices, knowing that their characteristic polynomials equal (t−1)4(t - 1)^{4}:

?
(1)

A458+E\mathbf{A}_{458} + E. A458=[100−101−1001−10100−1]\mathbf{A}_{458} = \left[\begin{smallmatrix} 1 & 0 & 0 & -1 \\ 0 & 1 & -1 & 0 \\ 0 & 1 & -1 & 0 \\ 1 & 0 & 0 & -1 \end{smallmatrix}\right].

(2)

A460\mathbf{A}_{460}. A460=[0−1−2−31234000−10012]\mathbf{A}_{460} = \left[\begin{smallmatrix} 0 & -1 & -2 & -3 \\ 1 & 2 & 3 & 4 \\ 0 & 0 & 0 & -1 \\ 0 & 0 & 1 & 2 \end{smallmatrix}\right].

(3)

A469\mathbf{A}_{469}. A469=[−2−13−7−303−731−2731−38]\mathbf{A}_{469} = \left[\begin{smallmatrix} -2 & -1 & 3 & -7 \\ -3 & 0 & 3 & -7 \\ 3 & 1 & -2 & 7 \\ 3 & 1 & -3 & 8 \end{smallmatrix}\right].

Problem 24.136

Verify that the matrices A221\mathbf{A}_{221} and −A273- \mathbf{A}_{273} have the same characteristic polynomials. Find their minimal polynomials and Jordan forms. A221=[41−125−244−1],A273=[−144−10−18−2091315]\mathbf{A}_{221} = \left[\begin{smallmatrix} 4 & 1 & -1 \\ 2 & 5 & -2 \\ 4 & 4 & -1 \end{smallmatrix}\right], \mathbf{A}_{273} = \left[\begin{smallmatrix} -1 & 4 & 4 \\ -10 & -18 & -20 \\ 9 & 13 & 15 \end{smallmatrix}\right].

?
Problem 24.137

Determine the Jordan form of the matrix AA from the given characteristic polynomial p(t)=−(t+1)3(t−−2)2p(t) = - (t + 1)^{3}(t - - 2)^{2}, knowing that Rg⁡(A−2E)=3,arg⁡(A+E)=4\operatorname {Rg}(A - 2E) = 3, \arg (A + E) = 4.

?
Problem 24.138

Find the exponential of the matrix:

?
(1)

Jn(0)J_{n}(0)

(2)

A5\mathbf{A}_{5}. A5=[1−11−1]\mathbf{A}_{5} = \left[\begin{smallmatrix} 1 & -1 \\ 1 & -1 \end{smallmatrix}\right].

(3)

[0−αα0],α∈R\left[\begin{smallmatrix} 0 & - \alpha \\ \alpha & 0\end{smallmatrix}\right], \quad \alpha \in \mathbb {R}.

Problem 24.139

Let the linear transformations φ,ψ\varphi , \psi commute. Prove that:

?
(1)

the kernel and the range of one of them are invariant with respect to the other

(2)

the eigenspaces of the transformation φ\varphi are invariant with respect to ψ\psi.

Problem 24.140

Let λ0\lambda_{0} be an eigenvalue of a linear transformation φ\varphi.

?
(1)

Prove that the subspaces Lk=Ker⁡(φ−λ0ι)k(k=1,2,…)\mathcal{L}_{k} = \operatorname {Ker}\left(\varphi - \lambda_{0} \iota \right)^{k}(k = 1, 2, \ldots ) are invariant with respect to φ\varphi.

(2)

Show that Lk⊆Lk+1\mathcal{L}_{k} \subseteq \mathcal{L}_{k + 1}. Can the inclusion be strict?

Problem 24.141

Prove that:

?
(1)

any two commuting linear transformations of a complex space have a common eigenvector

(2)

the same statement is true for a real space, if all characteristic numbers of the transformations are real.

Problem 24.142

Let φ\varphi be a singular linear transformation of a finite-dimensional vector space. Prove that there exists ε0>0\varepsilon_{0} > 0 such that for all ∣ε∣⩽ε0\left|\varepsilon \right| \leqslant \varepsilon_{0}, the transformation φ+ει\varphi + \varepsilon \iota is nonsingular.

?
Problem 24.143

Prove that for any two linear transformations φ,ψ\varphi , \psi of the same vector space, the characteristic polynomials of the transformations φψ\varphi \psi and ψφ\psi \varphi coincide.

?
Problem 24.144

Let φ,ψ\varphi , \psi be commuting linear transformations of an nn-dimensional space, and let φ\varphi have nn distinct eigenvalues. Prove that all eigenvectors of the transformation φ\varphi are also eigenvectors for ψ\psi, so that the matrices of φ\varphi and ψ\psi are diagonal in a common basis for them.

?
Problem 24.145

Let a linear transformation φ\varphi be diagonalizable and let each of its eigenspaces be invariant with respect to a linear transformation ψ\psi. Prove that φψ=ψφ\varphi \psi = \psi \varphi.

?
Problem 24.146

Let L=L′⊕L′′\mathcal{L} = \mathcal{L}^{\prime } \oplus \mathcal{L}^{\prime \prime }, where L′,L′′\mathcal{L}^{\prime }, \mathcal{L}^{\prime \prime } are nonzero linear subspaces in L\mathcal{L}.

?
(1)

Let φ\varphi be the projection of the space L\mathcal{L} onto L′\mathcal{L}^{\prime } parallel to L′′\mathcal{L}^{\prime \prime }, and let ψ\psi be some linear transformation in L\mathcal{L}. Prove that φψ=ψφ\varphi \psi = \psi \varphi if and only if the subspaces L′\mathcal{L}^{\prime } and L′′\mathcal{L}^{\prime \prime } are invariant with respect to ψ\psi.

(2)

Formulate and prove the analogous statement for the reflection of the space L\mathcal{L} in L′\mathcal{L}^{\prime } parallel to L′′\mathcal{L}^{\prime \prime }.

Problem 24.147

Let φ,ψ\varphi , \psi be linear transformations of an nn-dimensional vector space. It is given that φn=θ,dim⁡Ker⁡φ=1\varphi^{n} = \theta , \operatorname {dim} \operatorname {Ker} \varphi = 1 and [ψ,φ]=ψφ−φψ=φ\left[\psi , \varphi \right] = \psi \varphi - \varphi \psi = \varphi. Prove that ψ\psi has nn eigenvalues of the form λ,λ−1,…,λ−(n−1)\lambda , \lambda - 1, \ldots , \lambda - (n - 1), where λ\lambda is some number.

?
Problem 24.148

Let φ\varphi and ψ\psi be linear transformations of the space L\mathcal{L}, and let φ\varphi be one-to-one. Find ε>0\varepsilon > 0 such that for any δ∈(−ε,ε)\delta \in (- \varepsilon , \varepsilon ) the linear transformation φ+δψ\varphi + \delta \psi is one-to-one.

?