Subsection 26.4

Volume (26.49-26.54)

[6/67%]
Show
LaTeX
Problem 26.49

Prove that the determinant of the Gram matrix of a system of vectors does not change under orthogonalization of this system (without normalizing the vectors).

?
Problem 26.50

Find the volume of the parallelepiped built on the given vectors. The coordinate columns of the vectors in an orthonormal basis form the matrix:

?
(1)

A617\mathbf{A}_{617} for n=4n = 4. A617=[111…11011…11………………000…11000…01]\mathbf{A}_{617} = \left[\begin{smallmatrix} 1 & 1 & 1 & \ldots & 1 & 1 \\ 0 & 1 & 1 & \ldots & 1 & 1 \\ \ldots & \ldots & \ldots & \ldots & \ldots & \ldots \\ 0 & 0 & 0 & \ldots & 1 & 1 \\ 0 & 0 & 0 & \ldots & 0 & 1 \end{smallmatrix}\right].

(2)

[111111−1110−11]\left[\begin{smallmatrix} 1 & 1 & 1 \\ 1 & 1 & 1 \\ - 1 & 1 & 1 \\ 0 & - 1 & 1\end{smallmatrix}\right]

(3)

A395\mathbf{A}_{395}. A395=[143032010021]\mathbf{A}_{395} = \left[\begin{smallmatrix} 1 & 4 & 3 \\ 0 & 3 & 2 \\ 0 & 1 & 0 \\ 0 & 2 & 1 \end{smallmatrix}\right].

(4)

A397\mathbf{A}_{397}. A397=[013235357340]\mathbf{A}_{397} = \left[\begin{smallmatrix} 0 & 1 & 3 \\ 2 & 3 & 5 \\ 3 & 5 & 7 \\ 3 & 4 & 0 \end{smallmatrix}\right].

(5)

A398\mathbf{A}_{398}. A398=[−1−1−1100010001]\mathbf{A}_{398} = \left[\begin{smallmatrix} -1 & -1 & -1 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{smallmatrix}\right].

(6)

A412\mathbf{A}_{412}. A412=[00111−5100010003]\mathbf{A}_{412} = \left[\begin{smallmatrix} 0 & 0 & 1 \\ 1 & 1 & -5 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 3 \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].

Problem 26.51

Find the volume of the parallelepiped built on the given vectors. The coordinate columns of the vectors in a basis e form the matrix AA. The Gram matrix of the basis ee equals Γ\Gamma:

?
(1)

A=A402,Γ=[2100121001210012]A = \mathbf{A}_{402}, \quad \Gamma =\left[\begin{smallmatrix} 2 & 1 & 0 & 0 \\ 1 & 2 & 1 & 0 \\ 0 & 1 & 2 & 1 \\ 0 & 0 & 1 & 2\end{smallmatrix}\right]. A402=[100100010001]\mathbf{A}_{402} = \left[\begin{smallmatrix} 1 & 0 & 0 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{smallmatrix}\right].

(2)

A=A404,Γ=A630A = \mathbf{A}_{404}, \quad \Gamma = \mathbf{A}_{630} for n=4n = 4. A404=[100010001−2−33],A630=[111…11121…11113…11………………111…1n]\mathbf{A}_{404} = \left[\begin{smallmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \\ -2 & -3 & 3 \end{smallmatrix}\right], \mathbf{A}_{630} = \left[\begin{smallmatrix} 1 & 1 & 1 & \ldots & 1 & 1 \\ 1 & 2 & 1 & \ldots & 1 & 1 \\ 1 & 1 & 3 & \ldots & 1 & 1 \\ \ldots & \ldots & \ldots & \ldots & \ldots & \ldots \\ 1 & 1 & 1 & \ldots & 1 & n \end{smallmatrix}\right].

(3)

A=A397,Γ=A424A = \mathbf{A}_{397}, \quad \Gamma = \mathbf{A}_{424}. A397=[013235357340],A424=[200−102−100−120−1002]\mathbf{A}_{397} = \left[\begin{smallmatrix} 0 & 1 & 3 \\ 2 & 3 & 5 \\ 3 & 5 & 7 \\ 3 & 4 & 0 \end{smallmatrix}\right], \mathbf{A}_{424} = \left[\begin{smallmatrix} 2 & 0 & 0 & -1 \\ 0 & 2 & -1 & 0 \\ 0 & -1 & 2 & 0 \\ -1 & 0 & 0 & 2 \end{smallmatrix}\right].

Problem 26.52

Prove that the volume of the parallelepiped built on the vectors f1,…,fnf_{1}, \ldots , f_{n}, does not exceed the product of the lengths of its edges:

V{f1,…,fn}=det⁡Γ(f1,…,fn)⩽∣f1∣2…∣fn∣2, V\left\{ f_{1}, \ldots , f_{n}\right\} = \operatorname {det} \Gamma \left(f_{1}, \ldots , f_{n}\right) \leqslant \left|f_{1}\right|^{2} \ldots \left|f_{n}\right|^{2},

and equality holds if and only if the edges are pairwise orthogonal.

?
Problem 26.53

For a square matrix AA of order nn:

?
(1)

prove Hadamard's inequality

∣det⁡A∣2⩽∏k=1n(∑i=1n∣aik∣2) |\operatorname {det} A|^{2} \leqslant \prod _{k = 1}^{n}\left(\sum _{i = 1}^{n}\left|a_{ik}\right|^{2}\right)
(2)

determine the conditions under which Hadamard's inequality holds as an equality

(3)

write out Hadamard's inequality for the matrix A18\mathbf{A}_{18}. What explains such a large difference between the right and left sides? A18=[1234]\mathbf{A}_{18} = \left[\begin{smallmatrix} 1 & 2 \\ 3 & 4 \end{smallmatrix}\right].

Problem 26.54
?
(1)

Let e1,…,ene_{1}, \ldots , e_{n} be a basis in a Euclidean space, and let ek+1′′,…,en′′e_{k + 1}^{\prime \prime }, \ldots , e_{n}^{\prime \prime } be the orthogonal projections of the vectors ek+1,……,ene_{k + 1}, \ldots \ldots , e_{n} onto the orthogonal complement of the linear span of e1,…,eke_{1}, \ldots , e_{k}. Prove that V{e1,…,en}=V{e1,…,ek}V{ek+1′′,…,en′′}V\left\{ e_{1}, \ldots , e_{n}\right\} = V\left\{ e_{1}, \ldots , e_{k}\right\} V\left\{ e_{k + 1}^{\prime \prime }, \ldots , e_{n}^{\prime \prime }\right\}.

(2)

In an nn-dimensional Euclidean space a subspace L\mathcal{L} and linearly independent vectors a1,…,apa_{1}, \ldots , a_{p} are given. Denote by a1′,…,ap′a_{1}^{\prime }, \ldots , a_{p}^{\prime } the orthogonal projections of these vectors onto L\mathcal{L}. Prove that det⁡Γ(a1,…,ap)⩾det⁡Γ(a1′,…,ap′)\operatorname {det} \Gamma \left(a_{1}, \ldots , a_{p}\right) \geqslant \operatorname {det} \Gamma \left(a_{1}^{\prime }, \ldots , a_{p}^{\prime }\right).

(3)

Prove that the volume of the parallelepiped V{f1,…,fn}V\left\{ f_{1}, \ldots , f_{n}\right\}, built on the vectors f1,…,fnf_{1}, \ldots , f_{n}, does not exceed the product of the volumes V{f1,…,fk}V\left\{ f_{1}, \ldots , f_{k}\right\} and V{fk+1,…,fn}V\left\{ f_{k + 1}, \ldots , f_{n}\right\}.