Unit 6 Intersection and sum of subspaces
Key unit competence: Relate the sum and the intersection of subspaces of a vector space by the dimension formula.
Key ideas
- A subspace of a vector space is a non-empty subset closed under addition and scalar multiplication: for all , . Every subspace contains .
- Typical subspaces of : , lines through (dimension 1), planes through (dimension 2), itself. A line or plane not through is not a subspace.
- The intersection of two subspaces is always a subspace. The union is a subspace only when one contains the other.
- The sum is the smallest subspace containing . If and then .
- The sum is direct, written , when ; then every vector of is written in exactly one way as .
- Grassmann's formula: . For a direct sum, .
- To find when both are given by equations, solve all the equations together; when given by spanning vectors, write and solve.
Formulas to know
Common misconceptions
- "The union of two subspaces is a subspace." Usually not: the -axis -axis does not contain .
- " is a subspace." No: it does not contain .
- "Two planes of can form a direct sum." No: by Grassmann .
Worked examples
Example 1. : and : in . Find and .
Solution
Adding the equations: , so and : , dimension 1. Then , so .
Example 2. Show that is a subspace and find a basis.
Solution
If then . Since : . Basis , dimension 2.
Practice questions
Easier and harder questions are mixed, just like in a real exam.
Show that is a subspace of and find a basis.
Show answer
; if then satisfies the equation (it is linear). : . Basis , .
Common mistake: Giving three vectors as a basis of a plane.
: and . Find and .
Show answer
: , so . (dim 1) and (dim 2).
Common mistake: Assuming the sum is always .
and . Is the sum direct? Find .
Show answer
(its third coordinate is not 0), so : direct sum. , so .
Common mistake: Thinking the sum is not direct because the vectors share a component.
, . Compare and .
Show answer
and , so ; both have dimension 2, so . Then (dimension 2).
Common mistake: Assuming different spanning sets give different subspaces.
Verify Grassmann's formula for = the -plane and = the -plane.
Show answer
= the -axis (dimension 1); . . ✓
Common mistake: Saying the intersection is .
Let be the plane . Find a subspace with .
Show answer
Any line through not in , e.g. : and .
Common mistake: Choosing a line inside .
In : , . Find , and check the formula.
Show answer
(dim 1); (dim 3). . ✓
Common mistake: Counting twice in the basis of .
Show that the union of the -axis and the -axis is not a subspace of .
Show answer
and are in the union, but is on neither axis: not closed under addition.
Common mistake: Only checking that is in the union.
Matching and drag-and-drop
Matching
Match each item in column A with the correct answer in column B. Write the letter next to each number.
Column A Column B 1. and . Describe . a. the plane 2. and . Find . b. 3. Find . c. 4. In , is the set of symmetric matrices and the set of skew-symmetric matrices. Find and . d. and Show answer
1 → a (the plane ) · 2 → c () · 3 → b () · 4 → d ( and )
- Step 1. .
Step 2. That is the -plane, , of dimension 2. - Step 1. is the plane and is the plane .
Step 2. Both conditions: , which is the -axis . - Step 1. .
Step 2. The first two are not multiples of each other, so the dimension is 2. - Step 1. Symmetric: , 3 free entries.
Step 2. Skew-symmetric: , 1 free entry. , and .
- Step 1. .
Drag and drop
Choose the correct word or phrase from the box for each gap. One word in the box is not needed.
1 and 4 · , and · · 1 and 3- In , = even polynomials and = odd polynomials. Then .
- Two different planes through the origin in meet in a subspace of dimension .
- , . and are .
Show answer
1: , and · 2: · 3: 1 and 3
- Step 1. Even: , basis . Odd: , basis .
Step 2. Only 0 is both even and odd, and . - Step 1. (two different planes span the space).
Step 2. : a line. - Step 1. : , the -axis, dimension 1.
Step 2. .
Matching
Match each item in column A with the correct answer in column B. Write the letter next to each number.
Column A Column B 1. In , and . Find the smallest possible . a. , 2. : and : . Find a basis of . b. 3. Find so that . c. 4. with and . Split . d. Show answer
1 → d () · 2 → c () · 3 → b () · 4 → a (, )
- Step 1. .
Step 2. , so . - Step 1. gives .
Step 2. In : . With : . - Step 1. ; so , .
Step 2. . - Step 1. : , .
Step 2. , : , .
- Step 1. .
Drag and drop
Choose the correct word or phrase from the box for each gap. One word in the box is not needed.
3 · 2 · and · 4- (direct sum) means .
- In , and . The smallest possible is .
- In , and . →
Show answer
1: and · 2: 2 · 3: 4
- Step 1. Every vector of must be a sum ().
Step 2. That sum must be unique, which happens exactly when . - Step 1. .
Step 2. , so . - Step 1. .
Step 2. (a direct sum).