LINEAR-ALGEBRA Β· Unit 11 Β· Video 1 Β· Interactive Practice

Beyond Column Vectors: The Dimension Formula Hiding Inside Matrix Spaces

IKey Formulas

Formula Name Description
dim⁑(MnΓ—n)=n2\dim(M_{n \times n}) = n^2 Full matrix space All nΓ—nn \times n real matrices
dim⁑(Symn)=n(n+1)2\dim(\mathrm{Sym}_n) = \frac{n(n+1)}{2} Symmetric matrices AT=AA^T = A; free entries on & above diagonal
dim⁑(UTn)=n(n+1)2\dim(\mathrm{UT}_n) = \frac{n(n+1)}{2} Upper triangular Zeros forced below diagonal
dim⁑(V)+dim⁑(W)=dim⁑(V∩W)+dim⁑(V+W)\dim(V) + \dim(W) = \dim(V \cap W) + \dim(V + W) Dimension formula For any two subspaces V,WV, W

IIVisualization 1 β€” Counting Free Entries

Each constraint on a matrix's entries removes a free choice; count the free entries and you have the dimension.

πŸ’‘ Challenge: Symmetric and Upper Triangular share the same dimension β€” which subspace is their intersection S∩US \cap U?

IIIVisualization 2 β€” Decomposing A=S+UA = S + U

Every square matrix splits uniquely into a symmetric part SS plus a strictly upper-triangular part UU.

πŸ’‘ Challenge: Edit AA's entries until UU becomes the zero matrix β€” what kind of matrix must AA be?

IVVisualization 3 β€” The Dimension Formula

Like inclusion–exclusion for sets, adding two subspaces' dimensions double-counts their overlap β€” the formula rebalances it.

VQuiz Questions

Question 1

What is the dimension of the vector space of all 4Γ—44 \times 4 symmetric matrices?

Hint: Count the entries you can freely choose β€” those on and above the main diagonal.

βœ… Correct! There are 4 diagonal + 6 above-diagonal = 10 free entries.

❌ Not quite. Only count entries on and above the diagonal β€” below-diagonal entries are forced copies due to symmetry.

Show solution

Solution:

For a 4Γ—44 \times 4 symmetric matrix, the free entries are on and above the diagonal:

  • Diagonal: 4 entries (a11,a22,a33,a44)(a_{11}, a_{22}, a_{33}, a_{44})
  • Above diagonal: (42)=6\binom{4}{2} = 6 entries (a12,a13,a14,a23,a24,a34)(a_{12}, a_{13}, a_{14}, a_{23}, a_{24}, a_{34})
  • Below diagonal: forced by symmetry (aji=aij)(a_{ji} = a_{ij})

dim⁑(Sym4)=4Γ—52=202=10\dim(\mathrm{Sym}_4) = \frac{4 \times 5}{2} = \frac{20}{2} = 10

Question 2

True or False: The union SβˆͺUS \cup U of two subspaces is always a subspace.

βœ… Correct! The union fails closure under addition. The sum of subspaces S+US + U is the right construction.

❌ Not quite. Consider adding a symmetric matrix to an upper triangular one β€” must the result lie in the union?

Show solution

Answer: False

The union of two subspaces is almost never a subspace (unless one contains the other).

Counterexample from the video: Take s∈Ss \in S (symmetric) and u∈Uu \in U (upper triangular):

s=(010100000),u=(000001000)s = \begin{pmatrix} 0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix}, \quad u = \begin{pmatrix} 0 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{pmatrix}

Both are in SβˆͺUS \cup U. But their sum:

s+u=(010101000)s + u = \begin{pmatrix} 0 & 1 & 0 \\ 1 & 0 & 1 \\ 0 & 0 & 0 \end{pmatrix}

is neither symmetric (entry (2,3)=1β‰ 0=(2,3) = 1 \neq 0 = entry (3,2)(3,2)) nor upper triangular (entry (2,1)=1β‰ 0(2,1) = 1 \neq 0).

So s+uβˆ‰SβˆͺUs + u \notin S \cup U β€” the union is not closed under addition!

The correct construction is the sum of subspaces: S+U={s+u:s∈S,β€…β€Šu∈U}S + U = \{s + u : s \in S,\; u \in U\}, which is always a subspace.

Question 3

Suppose VV and WW are subspaces of a vector space with dim⁑(V)=8\dim(V) = 8, dim⁑(W)=5\dim(W) = 5, and dim⁑(V∩W)=2\dim(V \cap W) = 2.

What is dim⁑(V+W)\dim(V + W)?

βœ… Correct! dim⁑(V+W)=8+5βˆ’2=11\dim(V + W) = 8 + 5 - 2 = 11. The overlap gets subtracted, not double-counted.

❌ Not quite.

Show solution

Solution:

Apply the dimension formula:

dim⁑(V)+dim⁑(W)=dim⁑(V∩W)+dim⁑(V+W)\dim(V) + \dim(W) = \dim(V \cap W) + \dim(V + W)

8+5=2+dim⁑(V+W)8 + 5 = 2 + \dim(V + W)

dim⁑(V+W)=13βˆ’2=11\dim(V + W) = 13 - 2 = 11

The 2-dimensional intersection was counted once in dim⁑(V)\dim(V) and once in dim⁑(W)\dim(W), so we subtract it β€” exactly like inclusion-exclusion.

Question 4

Which of the following is a subspace of the vector space of all 3Γ—33 \times 3 matrices?

Remember: a subspace must contain the zero matrix and be closed under addition and scalar multiplication.

βœ… Correct! Diagonal matrices form a 3-dimensional subspace β€” closed under addition and scalar multiplication, containing the zero matrix.

❌ Not quite.

Show solution

Answer: All 3Γ—3 diagonal matrices

Check each option against the subspace axioms:

  1. det = 0: NOT a subspace. Take A=diag(1,0,0)A = \mathrm{diag}(1,0,0) and B=diag(0,1,1)B = \mathrm{diag}(0,1,1): both have det =0= 0, but A+B=IA + B = I has det =1β‰ 0= 1 \neq 0. Not closed under addition.

  2. βœ… Diagonal matrices: IS a subspace.

    • Sum of two diagonal matrices is diagonal βœ“
    • Scalar times a diagonal matrix is diagonal βœ“
    • The zero matrix is diagonal βœ“
    • dim⁑=3\dim = 3
  3. All entries positive: NOT a subspace. The zero matrix has no positive entries (excluded). Also, (βˆ’1)β‹…A(-1) \cdot A has all negative entries.

  4. Invertible matrices: NOT a subspace. The zero matrix is not invertible (excluded). Also, A+(βˆ’A)=0A + (-A) = 0 is not invertible.

Solved: 0 / 4