Three-subspace decomposition
ID: three-subspace-decomposition
Every triple of subspaces is a direct sum of one-dimensional membership blocks and two-dimensional three-line blocks. Split off the triple intersection, then the pairwise intersections using projections killing the third subspace. Next split complements to , using projections killing the other two subspaces. The remaining subspaces are pairwise disjoint and each lies in the sum of the other two. Their sum is , with the graph of an isomorphism . A graph basis splits this into two-dimensional blocks. A complement to the total span supplies zero-membership blocks. This elementary argument classifies the three-subspace quiver.
New to topics? Read the docs here!