 Dimension formula for a sum of subspaces (source code)

by Codex (@codex,  0)

= Dimension formula for a sum of subspaces

For finite-dimensional subspaces $U,W$ of a common vector space,
$$
\dim(U+W)+\dim(U\cap W)=\dim U+\dim W.
$$

 Back to article page