How does extending a basis of the intersection prove that dimensions of subspaces add like counts of sets in inclusion–exclusion?
Loading…
The formula
State the formula for subspaces of a finite-dimensional space and write it beside the counting formula for finite sets.
Proof by extending a basis of
Extend a basis of to bases of and of , prove the combined list spans and is linearly independent, and finish the count .
Analogy table between finite sets and vector spaces
Reproduce the table pairing with , unions with sums and disjoint unions with direct sums, including the row .