All finite bases of a vector space have the same size. The exchange or dimension theorem shows an independent list cannot be longer than a spanning list. Applying this in both directions to two bases forces equal sizes. This makes finite dimension well-defined. The analogous infinite statement uses cardinality and standard choice assumptions.
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.