Return to Revisions

Vector spaces have a basis that is unique up to a non-unique isomorphism.
Hilbert spaces have an orthonormal basis that is unique up to a non-unique unitary.
(At least, if you accept Zorn's lemma, i.e. the axiom of choice)