Subsection 27.2

Scalar product in coordinates (27.10-27.25)

[16/56%]
Show
LaTeX
Problem 27.10

In a complex arithmetic space with the standard scalar product, find the scalar products of the vectors

?
(1)

[1i],[i1]\left[\begin{smallmatrix} 1 \\ i \end{smallmatrix}\right], \left[\begin{smallmatrix} i \\ 1 \end{smallmatrix}\right];

(2)

[1i],[1i]\left[\begin{smallmatrix} 1 \\ i \end{smallmatrix}\right], \left[\begin{smallmatrix} 1 \\ i \end{smallmatrix}\right]

(3)

[1+2i−1+2i],[2−i2+i]\left[\begin{smallmatrix} 1+2i \\ -1+2i \end{smallmatrix}\right], \left[\begin{smallmatrix} 2-i \\ 2+i \end{smallmatrix}\right]

(4)

[1i1],[i1i]\left[\begin{smallmatrix} 1 \\ i \\ 1 \end{smallmatrix}\right], \left[\begin{smallmatrix} i \\ 1 \\ i \end{smallmatrix}\right]

(5)

[1+i1+i1+i],[1−i1−i1−i]\left[\begin{smallmatrix} 1+i \\ 1+i \\ 1+i \end{smallmatrix}\right], \left[\begin{smallmatrix} 1-i \\ 1-i \\ 1-i \end{smallmatrix}\right]

(6)

c222,c223\mathbf{c}_{222}, \mathbf{c}_{223}. c222=[0205−2i],c223=[02+i06+i]\mathbf{c}_{222} = \left[\begin{smallmatrix} 0 \\ 2 \\ 0 \\ 5-2 i \end{smallmatrix}\right], \mathbf{c}_{223} = \left[\begin{smallmatrix} 0 \\ 2+i \\ 0 \\ 6+i \end{smallmatrix}\right].

(7)

c221;c215\mathbf{c}_{221}; \mathbf{c}_{215}. c221=[0103−i],c215=[1111−i]\mathbf{c}_{221} = \left[\begin{smallmatrix} 0 \\ 1 \\ 0 \\ 3-i \end{smallmatrix}\right], \mathbf{c}_{215} = \left[\begin{smallmatrix} 1 \\ 1 \\ 1 \\ 1 - i \end{smallmatrix}\right].

Problem 27.11

In problem 27. 10, for each pair of vectors find the length of the first vector:

?
(1)

[1i],[i1]\left[\begin{smallmatrix} 1 \\ i \end{smallmatrix}\right], \left[\begin{smallmatrix} i \\ 1 \end{smallmatrix}\right];

(2)

[1i],[1i]\left[\begin{smallmatrix} 1 \\ i \end{smallmatrix}\right], \left[\begin{smallmatrix} 1 \\ i \end{smallmatrix}\right]

(3)

[1+2i−1+2i],[2−i2+i]\left[\begin{smallmatrix} 1+2i \\ -1+2i \end{smallmatrix}\right], \left[\begin{smallmatrix} 2-i \\ 2+i \end{smallmatrix}\right]

(4)

[1i1],[i1i]\left[\begin{smallmatrix} 1 \\ i \\ 1 \end{smallmatrix}\right], \left[\begin{smallmatrix} i \\ 1 \\ i \end{smallmatrix}\right]

(5)

[1+i1+i1+i],[1−i1−i1−i]\left[\begin{smallmatrix} 1+i \\ 1+i \\ 1+i \end{smallmatrix}\right], \left[\begin{smallmatrix} 1-i \\ 1-i \\ 1-i \end{smallmatrix}\right]

(6)

c222,c223\mathbf{c}_{222}, \mathbf{c}_{223}. c222=[0205−2i],c223=[02+i06+i]\mathbf{c}_{222} = \left[\begin{smallmatrix} 0 \\ 2 \\ 0 \\ 5-2 i \end{smallmatrix}\right], \mathbf{c}_{223} = \left[\begin{smallmatrix} 0 \\ 2+i \\ 0 \\ 6+i \end{smallmatrix}\right].

(7)

c221;c215\mathbf{c}_{221}; \mathbf{c}_{215}. c221=[0103−i],c215=[1111−i]\mathbf{c}_{221} = \left[\begin{smallmatrix} 0 \\ 1 \\ 0 \\ 3-i \end{smallmatrix}\right], \mathbf{c}_{215} = \left[\begin{smallmatrix} 1 \\ 1 \\ 1 \\ 1 - i \end{smallmatrix}\right].

Problem 27.12

Find the scalar product of vectors of a unitary space from their coordinates in a basis ee and the Gram matrix Γ\Gamma of this basis:

?
(1)

[1i],[2i1],Γ=[2i−i2]\left[\begin{smallmatrix} 1 \\ i \end{smallmatrix}\right], \quad \left[\begin{smallmatrix} 2i \\ 1 \end{smallmatrix}\right], \quad \Gamma =\left[\begin{smallmatrix} 2 & i \\ - i & 2\end{smallmatrix}\right]

(2)

[1+ii],[11−i],Γ=[31+i1−i1]\left[\begin{smallmatrix} 1+i \\ i \end{smallmatrix}\right], \quad \left[\begin{smallmatrix} 1 \\ 1-i \end{smallmatrix}\right], \quad \Gamma =\left[\begin{smallmatrix} 3 & 1 + i \\ 1 - i & 1\end{smallmatrix}\right]

(3)

c40,c41,Γ=A87\mathbf{c}_{40}, \mathbf{c}_{41}, \quad \Gamma = \mathbf{A}_{87}. c40=[1+i3],c41=[1+2i6+2i],A87=[11+i1−i3]\mathbf{c}_{40} = \left[\begin{smallmatrix} 1+i \\ 3 \end{smallmatrix}\right], \mathbf{c}_{41} = \left[\begin{smallmatrix} 1+2 i \\ 6+2 i \end{smallmatrix}\right], \mathbf{A}_{87} = \left[\begin{smallmatrix} 1 & 1+i \\ 1-i & 3 \end{smallmatrix}\right].

(4)

c44,c40,Γ=A86\mathbf{c}_{44}, \quad \mathbf{c}_{40}, \quad \Gamma = \mathbf{A}_{86}. c44=[i2],c40=[1+i3],A86=[5i−i1]\mathbf{c}_{44} = \left[\begin{smallmatrix} i \\ 2 \end{smallmatrix}\right], \mathbf{c}_{40} = \left[\begin{smallmatrix} 1+i \\ 3 \end{smallmatrix}\right], \mathbf{A}_{86} = \left[\begin{smallmatrix} 5 & i \\ -i & 1 \end{smallmatrix}\right].

(5)

[2+i01+2i],[2−i12+i],Γ=[1i0−i2−i0i2]\left[\begin{smallmatrix} 2+i \\ 0 \\ 1+2i \end{smallmatrix}\right], \quad \left[\begin{smallmatrix} 2-i \\ 1 \\ 2+i \end{smallmatrix}\right], \quad \Gamma =\left[\begin{smallmatrix} 1 & i & 0 \\ - i & 2 & - i \\ 0 & i & 2\end{smallmatrix}\right]

(6)

[111],[101],Γ=[2i0−i2−i0i2]\left[\begin{smallmatrix} 1 \\ 1 \\ 1\end{smallmatrix}\right], \quad \left[\begin{smallmatrix} 1 \\ 0 \\ 1 \end{smallmatrix}\right], \quad \Gamma =\left[\begin{smallmatrix} 2 & i & 0 \\ - i & 2 & - i \\ 0 & i & 2\end{smallmatrix}\right]

(7)

[−12+i1],[1−i1+i],Γ=[11−i01+i3i0−i2]\left[\begin{smallmatrix} -1 \\ 2+i \\ 1 \end{smallmatrix}\right], \quad \left[\begin{smallmatrix} 1 \\ -i \\ 1+i \end{smallmatrix}\right], \quad \Gamma =\left[\begin{smallmatrix} 1 & 1 - i & 0 \\ 1 + i & 3 & i \\ 0 & - i & 2\end{smallmatrix}\right]

(8)

[−21+i1],[−2+i1+i1],Γ=[21−i01+i3i0−i2]\left[\begin{smallmatrix} -2 \\ 1+i \\ 1 \end{smallmatrix}\right], \quad \left[\begin{smallmatrix} -2+i \\ 1+i \\ 1 \end{smallmatrix}\right], \quad \Gamma =\left[\begin{smallmatrix} 2 & 1 - i & 0 \\ 1 + i & 3 & i \\ 0 & - i & 2\end{smallmatrix}\right].

Problem 27.13

In problem 27. 12, for each pair of vectors find the length of the first vector:

?
(1)

[1i],[2i1],Γ=[2i−i2]\left[\begin{smallmatrix} 1 \\ i \end{smallmatrix}\right], \quad \left[\begin{smallmatrix} 2i \\ 1 \end{smallmatrix}\right], \quad \Gamma =\left[\begin{smallmatrix} 2 & i \\ - i & 2\end{smallmatrix}\right]

(2)

[1+ii],[11−i],Γ=[31+i1−i1]\left[\begin{smallmatrix} 1+i \\ i \end{smallmatrix}\right], \quad \left[\begin{smallmatrix} 1 \\ 1-i \end{smallmatrix}\right], \quad \Gamma =\left[\begin{smallmatrix} 3 & 1 + i \\ 1 - i & 1\end{smallmatrix}\right]

(3)

c40,c41,Γ=A87\mathbf{c}_{40}, \mathbf{c}_{41}, \quad \Gamma = \mathbf{A}_{87}. c40=[1+i3],c41=[1+2i6+2i],A87=[11+i1−i3]\mathbf{c}_{40} = \left[\begin{smallmatrix} 1+i \\ 3 \end{smallmatrix}\right], \mathbf{c}_{41} = \left[\begin{smallmatrix} 1+2 i \\ 6+2 i \end{smallmatrix}\right], \mathbf{A}_{87} = \left[\begin{smallmatrix} 1 & 1+i \\ 1-i & 3 \end{smallmatrix}\right].

(4)

c44,c40,Γ=A86\mathbf{c}_{44}, \quad \mathbf{c}_{40}, \quad \Gamma = \mathbf{A}_{86}. c44=[i2],c40=[1+i3],A86=[5i−i1]\mathbf{c}_{44} = \left[\begin{smallmatrix} i \\ 2 \end{smallmatrix}\right], \mathbf{c}_{40} = \left[\begin{smallmatrix} 1+i \\ 3 \end{smallmatrix}\right], \mathbf{A}_{86} = \left[\begin{smallmatrix} 5 & i \\ -i & 1 \end{smallmatrix}\right].

(5)

[2+i01+2i],[2−i12+i],Γ=[1i0−i2−i0i2]\left[\begin{smallmatrix} 2+i \\ 0 \\ 1+2i \end{smallmatrix}\right], \quad \left[\begin{smallmatrix} 2-i \\ 1 \\ 2+i \end{smallmatrix}\right], \quad \Gamma =\left[\begin{smallmatrix} 1 & i & 0 \\ - i & 2 & - i \\ 0 & i & 2\end{smallmatrix}\right]

(6)

[111],[101],Γ=[2i0−i2−i0i2]\left[\begin{smallmatrix} 1 \\ 1 \\ 1\end{smallmatrix}\right], \quad \left[\begin{smallmatrix} 1 \\ 0 \\ 1 \end{smallmatrix}\right], \quad \Gamma =\left[\begin{smallmatrix} 2 & i & 0 \\ - i & 2 & - i \\ 0 & i & 2\end{smallmatrix}\right]

(7)

[−12+i1],[1−i1+i],Γ=[11−i01+i3i0−i2]\left[\begin{smallmatrix} -1 \\ 2+i \\ 1 \end{smallmatrix}\right], \quad \left[\begin{smallmatrix} 1 \\ -i \\ 1+i \end{smallmatrix}\right], \quad \Gamma =\left[\begin{smallmatrix} 1 & 1 - i & 0 \\ 1 + i & 3 & i \\ 0 & - i & 2\end{smallmatrix}\right]

(8)

[−21+i1],[−2+i1+i1],Γ=[21−i01+i3i0−i2]\left[\begin{smallmatrix} -2 \\ 1+i \\ 1 \end{smallmatrix}\right], \quad \left[\begin{smallmatrix} -2+i \\ 1+i \\ 1 \end{smallmatrix}\right], \quad \Gamma =\left[\begin{smallmatrix} 2 & 1 - i & 0 \\ 1 + i & 3 & i \\ 0 & - i & 2\end{smallmatrix}\right].

Problem 27.14

Prove that a Hermitian matrix Γ\Gamma can serve as the Gram matrix in a unitary space if and only if ξTΓξˉ>0\xi^{T}\Gamma \bar{\xi } > 0 for every nonzero column ξ\xi.

?
Problem 27.15

Prove that a square matrix Γ\Gamma of order nn can serve as the Gram matrix in an nn-dimensional unitary space if and only if there exists a nondegenerate matrix SS such that Γ=STSˉ\Gamma = S^{T} \bar{S}.

?
Problem 27.16

From the bank, select the Hermitian matrices (excluding the real symmetric ones) and, among them, those that can serve as Gram matrices in a unitary space.

?
Problem 27.17

In the Gram matrix of some basis in a unitary space, all nonzero elements are equal to 1 in modulus. Prove that the basis is orthonormal.

?
Problem 27.18

In the Gram matrix of some basis:

?
(1)

a real number α\alpha was added to all elements of the main diagonal

(2)

a positive number α\alpha was added to some elements of the main diagonal

(3)

two rows were permuted

(4)

two rows were permuted, and also two columns with the same numbers as the rows.

Did the matrix remain Hermitian, and can it be the Gram matrix of some basis?

Problem 27.19

Prove that the determinant of the matrix formed from the pairwise scalar products of some system of vectors is a real nonnegative number, equal to zero if and only if this system of vectors is linearly dependent.

?
Problem 27.20

Prove that for any complex matrix Rg⁡ATAˉ=Rg⁡A\operatorname {Rg} A^{T} \bar{A} = \operatorname {Rg} A.

?
Problem 27.21

From the bank, select the unitary matrices that are not real orthogonal matrices.

?
Problem 27.22

Write down some unitary matrix of order three.

?
Problem 27.23

Describe all triangular unitary matrices.

?
Problem 27.24

Can a unitary matrix of order four contain the row:

?
(1)

[i−ii−i]\left[\begin{smallmatrix} i & -i & i & -i \end{smallmatrix}\right]

(2)

[1+i2001−i2]\left[\begin{smallmatrix} \frac{1 + i}{2} & 0 & 0 & \frac{1 - i}{2} \end{smallmatrix}\right]

(3)

[1+i81−i8−1+i8−1−i8]\left[\begin{smallmatrix} \frac{1 + i}{\sqrt{8}} & \frac{1 - i}{\sqrt{8}} & \frac{ - 1 + i}{\sqrt{8}} & \frac{ - 1 - i}{\sqrt{8}} \end{smallmatrix}\right].

Problem 27.25

Let AA and BB be real square matrices of order nn. From them one can form a complex matrix C=A+iBC = A + iB and a real matrix of order 2n2n

D=[[c∣c]A−BBA]□ D =\left[\begin{smallmatrix} [c|c] A & -B \\ \hline B & A \end{smallmatrix}\right]^{\square }

Prove that:

?
(1)

CC is Hermitian if and only if DD is symmetric

(2)

CC is unitary if and only if DD is orthogonal.