For $U\subseteq V$ with $V$ finite-dimensional, $\dim U\le\dim V$. A basis of $U$ is independent in $V$ and can be extended to a basis of $V$. Equality forces $U=V$. The equality conclusion is special to finite dimension.
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.