Skip to main content
Logo image

Discovery guide 7.1 Discovery guide

Recall that the main diagonal of a square matrix refers to the entries on the diagonal from top left to bottom right. Here are some special types of square matrices for consideration.
scalar matrix
a scalar multiple of the identity matrix
diagonal matrix
all entries not on the main diagonal are zero
upper triangular matrix
all entries below the main diagonal are zero
lower triangular matrix
all entries above the main diagonal are zero
symmetric matrix
a matrix that is equal to its own transpose

Discovery 7.1.

Carry out the following tasks for each of the special types of matrices defined above. Think in general, and consider every possible size of matrix, not just \(2\times 2\) and \(3\times 3\text{!}\) You don’t need to prove each answer, but you should be able to articulate an informal justification for each answer that doesn’t rely on examples (unless it’s a counterexample).

Tip.

When considering the questions in this activity for symmetric matrices, rather than trying to figure things out with examples, it is much easier to work algebraically with a letter \(A\) representing an arbitrary symmetric matrix, and use the definition of symmetric: \(\utrans{A} = A\text{.}\)

(a)

Write down both a \(2\times 2\) and a \(3\times 3\) example of the type. Is it clear why this type of matrix has been given its particular name?

(b)

Does the (square) zero matrix have this type? Does an identity matrix? Does every \(1\times 1\text{?}\)

(c)

If \(A\) is a matrix of this type, is every scalar multiple of \(A\) also of this type? Is \(\utrans{A}\) of this type?

(d)

If \(A\) and \(B\) are matrices of this type and of the same size, is their sum of this type? Their product? A power (with a positive exponent)?

(e)

[Omit this task for symmetric matrices.]
Recall that a matrix is invertible if and only if its RREF is the identity matrix. Based on this, can you come up with a simple condition by which you can determine whether a matrix of this type is invertible or not?

(f)

If \(A\) is an invertible matrix of this type, is its inverse also of this type?
Hint. for symmetric matrices
For the case of symmetric matrices, it will be too complicated to work by examples. Instead, consider the formula \(\utrans{(\inv{A})} = \inv{(\utrans{A})}\) from Proposition 5.5.8 and the definition of symmetric matrix above.

(g)

Come up with a condition or set of conditions on the entries \(a_{ij}\) of a square matrix \(A\) by which you can determine whether or not \(A\) is of this type.
Hint.
Here is an example of the type of condition we’re looking for, using the identity matrix: a square matrix \(A\) is equal to the identity matrix if \(a_{ii} = 1\) for all indices \(i\text{,}\) and \(a_{ij} = 0\) for all pairs of indices \(i,j\) with \(i\neq j\text{.}\)

Discovery 7.2.

Consider matrices
\begin{align*} D \amp = \begin{bmatrix}2 \amp 0 \amp 0\\0 \amp 3 \amp 0\\0 \amp 0 \amp 5\end{bmatrix}, \amp A \amp = \left[\begin{array}{rrr} 1 \amp 1 \amp 1 \\ -1 \amp -1 \amp -1 \\ 1 \amp 1 \amp 1 \end{array}\right]. \end{align*}

(a)

Compute \(D A\text{.}\) Describe the pattern: multiplying a matrix on the left by a diagonal matrix is the same as .

(b)

Compute \(A D\text{.}\) Describe the pattern: multiplying a matrix on the right by a diagonal matrix is the same as .

Discovery 7.3.

Consider the upper triangular matrix
\begin{equation*} U = \begin{bmatrix} 2 \amp 1 \amp 1 \\ 0 \amp 3 \amp 1 \\ 0 \amp 0 \amp 5 \end{bmatrix}. \end{equation*}

(a)

Can you decompose \(U\) into a sum \(U=D+P\) of a diagonal matrix \(D\) and a “purely” upper triangular matrix \(P\text{?}\)

(b)

Can you decompose \(U\) into a product \(U=DR\) of a diagonal matrix \(D\) and an upper triangular matrix \(R\) in REF?

Discovery 7.4.

Consider the upper triangular matrix
\begin{equation*} N = \begin{bmatrix} 0 \amp 1 \amp 0 \amp 0 \\ 0 \amp 0 \amp 1 \amp 0 \\ 0 \amp 0 \amp 0 \amp 1 \\ 0 \amp 0 \amp 0 \amp 0 \end{bmatrix}. \end{equation*}

(a)

Compute \(N^2\text{,}\) \(N^3\text{,}\) and \(N^4\text{.}\) Do you notice a pattern?

(b)

Without computing, what is \(N^5\text{?}\) \(N^{99}\text{?}\)

(c)

Make a conjecture (i.e. a guess based on previous examples) about what will happen if you compute powers of a \(5\times 5\) matrix of a similar form, with all entries equal to \(0\) except for a line of \(1\)s down the first “superdiagonal.”

Discovery 7.5.

This activity will guide you through proving that the sum of two diagonal matrices is again diagonal.
Suppose that \(A\) and \(B\) are diagonal matrices of the same size. (But do not assume that they have a particular size like \(2\times 2\) or \(3\times 3\) or etc.)

(a)

Describe what our assumption that \(A\) is diagonal means about the entries of \(A\) in terms of your answer to Discovery 7.1.g. Then do the same for \(B\text{.}\)

(b)

Decide exactly what you need to check in order to be sure that the sum \(A+B\) is diagonal, in terms of your answer to Discovery 7.1.g. Then carry out that check, using your answer to Task a.

Discovery 7.6.

This activity will guide you through proving that the sum of two symmetric matrices is again symmetric. Unlike the proof in Discovery 7.5, we will not need to consider individual entries, since the definition of symmetric matrix does not refer to individual entries like the definition of diagonal matrix does.
Suppose that \(A\) and \(B\) are symmetric matrices of the same size. (But do not assume that they have a particular size like \(2\times 2\) or \(3\times 3\) or etc.)

(a)

Express what it means for \(A\) to be symmetric in mathematical notation, using the symbols \(A\text{,}\) \(\utrans{}\text{,}\) and \(=\text{.}\) Then do the same for \(B\text{.}\)

(b)

Express what it would mean for the sum \(A + B\) to be symmetric in mathematical notation, similarly to Task a.

(c)

Your expressions from Task a are things we are assuming to be true. Your expression from Task b is the condition that needs to be verified. Carry out this verification, making sure to use proper LHS vs RHS procedure. In this verification, you will need to use your assumed knowledge from Task a as well as an algebra rule from Proposition 4.5.1.