Nested finite-dimensional subspaces of equal dimension are equal

Created almost 9 years ago, updated about 8 hours ago

If $U\subseteq W$ are finite-dimensional and $\dim U=\dim W$, then $U=W$. A basis of $U$ is an independent list in $W$ of full dimension, hence already a basis of $W$. Equal dimension without containment does not imply equality of subspaces.

Parents

Like how this is organised?

Build your own knowledge tree on knowen.md: notes, decisions and tasks in one connected markdown graph, shared with your team and your AI agents.