Section 9C

Determinants

[21/0%]
Show
LaTeX
Problem 9C.1

Prove or give a counterexample: S,T∈L(V)⟹det⁡(S+T)=det⁡(S)+det⁡(T)S, T \in \mathcal{L}(V) \Longrightarrow \operatorname {det}\left(S+T\right) = \operatorname {det}\left(S\right)+\operatorname {det}\left(T\right).

?
Problem 9C.2

Suppose the first column of a square matrix AA consists of all zeros except possibly the first entry A1,1A_{1,1}. Let BB be the matrix obtained from AA by deleting the first row and the first column of AA. Show that det⁡(A)=A1,1det⁡(B)\operatorname {det}\left(A\right) = A_{1,1} \operatorname {det}\left(B\right).

?
Problem 9C.3

Suppose T∈L(V)T \in \mathcal{L}(V) is nilpotent. Prove that det⁡(I+T)=1\operatorname {det}\left(I+T\right) = 1.

?
Problem 9C.4

Suppose S∈L(V)S \in \mathcal{L}(V). Prove that SS is unitary if and only if ∣det⁡(S)∣=∥S∥=1\left|\operatorname {det}\left(S\right)\right| = \left\| S\right\| = 1.

?
Problem 9C.5

Suppose AA is a block upper-triangular matrix

A=[A1∗⋱0Am] A =\left[\begin{smallmatrix} A_{1} & & * \\ & \ddots & \\ 0 & & A_{m} \end{smallmatrix}\right]

where each AkA_{k} along the diagonal is a square matrix. Prove that

det⁡(A)=(det⁡(A1))⋯(det⁡(Am)). \operatorname {det}\left(A\right) = \left(\operatorname {det}\left(A_{1}\right)\right) \cdots \left(\operatorname {det}\left(A_{m}\right)\right).
?
Problem 9C.6

Suppose A=(v1⋯vn)A = \left(\begin{array}{lll}v_{1} & \cdots & v_{n}\end{array}\right) is an nn-by- nn matrix, with vkv_{k} denoting the kth k^{\text{th }} column of AA. Show that if (m1,…,mn)∈\left(m_{1}, \ldots , m_{n}\right) \in perm nn, then

det⁡[vm1⋯vmn]=(sign⁡(m1,…,mn))det⁡(A). \det \left[\begin{smallmatrix} v_{m_{1}} & \cdots & v_{m_{n}} \end{smallmatrix}\right] = \left(\operatorname {sign}\left(m_{1}, \ldots , m_{n}\right)\right) \operatorname {det}\left(A\right).
?
Problem 9C.7

Suppose T∈L(V)T \in \mathcal{L}(V) is invertible. Let pp denote the characteristic polynomial of TT and let qq denote the characteristic polynomial of T−1T^{-1}. Prove that

q(z)=1p(0)zdim⁡Vp(1z) q(z) = \frac{1}{p(0)} z^{\operatorname {dim} V} p\left(\frac{1}{z}\right)

for all nonzero z∈Fz \in \mathbf{F}.

?
Problem 9C.8

Suppose T∈L(V)T \in \mathcal{L}(V) is an operator with no eigenvalues (which implies that F=R\mathbf{F} = \mathbb {R}). Prove that det⁡(T)>0\operatorname {det}\left(T\right) > 0.

?
Problem 9C.9

Suppose that VV is a real vector space of even dimension, T∈L(V)T \in \mathcal{L}(V), and det⁡(T)<0\operatorname {det}\left(T\right) < 0. Prove that TT has at least two distinct eigenvalues.

?
Problem 9C.10

Suppose VV is a real vector space of odd dimension and T∈L(V)T \in \mathcal{L}(V). Without using the minimal polynomial, prove that TT has an eigenvalue.

?
Remark.
?

This result was previously proved without using determinants or the characteristic polynomial-see 5.34. Theorem 5.34: every operator on an odd-dimensional vector space has an eigenvalue.

Problem 9C.11

Prove or give a counterexample: If F=R,T∈L(V)\mathbf{F} = \mathbb {R}, T \in \mathcal{L}(V), and det⁡(T)>0\operatorname {det}\left(T\right) > 0, then TT has a square root.

?
Remark.
?

If F=C,T∈L(V)\mathbf{F} = \mathbb {C}, T \in \mathcal{L}(V), and det⁡(T)≠0\operatorname {det}\left(T\right) \neq 0, then TT has a square root (see 8.41). Theorem 8.41: suppose VV is a complex vector space and T∈L(V)T \in \mathcal{L}(V) is invertible. Then TT has a square root.

Problem 9C.12

Suppose S,T∈L(V)S, T \in \mathcal{L}(V) and SS is invertible. Define p:F→Fp: \mathbf{F} \rightarrow \mathbf{F} by

p(z)=det⁡(zS−T). p(z) = \operatorname {det}\left(z S-T\right).

Prove that pp is a polynomial of degree dim⁡V\operatorname {dim} V and that the coefficient of zdim⁡Vz^{\operatorname {dim} V} in this polynomial is det⁡(S)\operatorname {det}\left(S\right).

?
Problem 9C.13

Suppose F=C,T∈L(V)\mathbf{F} = \mathbb {C}, T \in \mathcal{L}(V), and n=dim⁡V>2n = \operatorname {dim} V > 2. Let λ1,…,λn\lambda_{1}, \ldots , \lambda_{n} denote the eigenvalues of TT, with each eigenvalue included as many times as its multiplicity.

?
(a)

Find a formula for the coefficient of zn−2z^{n-2} in the characteristic polynomial of TT in terms of λ1,…,λn\lambda_{1}, \ldots , \lambda_{n}.

(b)

Find a formula for the coefficient of zz in the characteristic polynomial of TT in terms of λ1,…,λn\lambda_{1}, \ldots , \lambda_{n}.

Problem 9C.14

Suppose VV is an inner product space and TT is a positive operator on VV. Prove that

det⁡(T)=det⁡(T). \operatorname {det}\left(\sqrt{T}\right) = \sqrt{\operatorname {det}\left(T\right)}.
?
Problem 9C.15

Suppose VV is an inner product space and T∈L(V)T \in \mathcal{L}(V). Use the polar decomposition to give a proof that

∣det⁡(T)∣=det⁡(T∗T) \left|\operatorname {det}\left(T\right)\right| = \sqrt{\operatorname {det}\left(T^{*} T\right)}

that is different from the proof given earlier (see 9.60).

?
Problem 9C.16

Suppose T∈L(V)T \in \mathcal{L}(V). Define g:F→Fg: \mathbf{F} \rightarrow \mathbf{F} by g(x)=det⁡(I+xT)g(x) = \operatorname {det}\left(I+x T\right). Show that g′(0)=tr⁡Tg^{\prime }(0) = \operatorname {tr} T.

?
Remark.
?

Look for a clean solution to this exercise, without using the explicit but complicated formula for the determinant of a matrix.

Problem 9C.17

Suppose a,b,ca, b, c are positive numbers. Find the volume of the ellipsoid

{(x,y,z)∈R3:x2a2+y2b2+z2c2<1} \left\{ (x, y, z) \in \mathbb {R}^{3}: \frac{x^{2}}{a^{2}}+\frac{y^{2}}{b^{2}}+\frac{z^{2}}{c^{2}} < 1\right\}

by finding a set Ω⊆R3\Omega \subseteq \mathbb {R}^{3} whose volume you know and an operator TT on R3\mathbb {R}^{3} such that T(Ω)T(\Omega ) equals the ellipsoid above.

?
Problem 9C.18

Suppose that AA is an invertible square matrix. Prove that Hadamard's inequality (9.66) is an equality if and only if each column of AA is orthogonal to the other columns.

Theorem 9.66 (Hadamard's inequality): suppose AA is an nn-by-nn matrix. Let v1,…,vnv_{1}, \ldots , v_{n} denote the columns of AA. Then ∣det⁡(A)∣≤∏k=1n∥vk∥\left|\operatorname {det}\left(A\right)\right| \leq \prod_{k = 1}^{n}\left\| v_{k}\right\|.

?
Problem 9C.19

Suppose VV is an inner product space, e1,…,ene_{1}, \ldots , e_{n} is an orthonormal basis of VV, and T∈L(V)T \in \mathcal{L}(V) is a positive operator.

?
(a)

Prove that det⁡(T)≤∏k=1n⟨Tek,ek⟩\operatorname {det}\left(T\right) \leq \prod_{k = 1}^{n} \left\langle T e_{k}, e_{k} \right\rangle.

(b)

Prove that if TT is invertible, then the inequality in (a) is an equality if and only if eke_{k} is an eigenvector of TT for each k=1,…,nk = 1, \ldots , n.

Problem 9C.20

Suppose AA is an nn-by- nn matrix, and suppose cc is such that ∣Aj,k∣≤c\left|A_{j, k}\right| \leq c for all j,k∈{1,…,n}j, k \in \left\{ 1, \ldots , n\right\}. Prove that

∣det⁡(A)∣≤cnnn/2. \left|\operatorname {det}\left(A\right)\right| \leq c^{n} n^{n / 2}.

The formula for the determinant of a matrix (9.46) shows that ∣det⁡(A)∣≤cnn\left|\operatorname {det}\left(A\right)\right| \leq c^{n} n !. However, the estimate given by this exercise is much better. For example, if c=1c = 1 and n=100n = 100, then cnn!≈10158c^{n} n!\approx 10^{158}, but the estimate given by this exercise is the much smaller number 1010010^{100}. If nn is an integer power of 2, then the inequality above is sharp and cannot be improved.

?
Problem 9C.21

Suppose nn is a positive integer and δ:Cn,n→C\delta : \mathbb {C}^{n, n} \rightarrow \mathbb {C} is a function such that

δ(AB)=δ(A)⋅δ(B) \delta (A B) = \delta (A) \cdot \delta (B)

for all A,B∈Cn,nA, B \in \mathbb {C}^{n, n} and δ(A)\delta (A) equals the product of the diagonal entries of AA for each diagonal matrix A∈Cn,nA \in \mathbb {C}^{n, n}. Prove that

δ(A)=det⁡(A) \delta (A) = \operatorname {det}\left(A\right)

for all A∈Cn,nA \in \mathbb {C}^{n, n}. Recall that Cn,n\mathbb {C}^{n, n} denotes set of nn-by-n matrices with entries in C\mathbb {C}. This exercise shows that the determinant is the unique function defined on square matrices that is multiplicative and has the desired behavior on diagonal matrices. This result is analogous to Exercise 10 in Section 8D, which shows that the trace is uniquely determined by its algebraic properties.

?