Finite-dimensional subspace is closed
= Finite-dimensional subspace is closed
Every <finite-dimensional vector space> subspace of a <normed vector space> is closed. Coordinates in a finite basis identify it homeomorphically with a finite-dimensional scalar space; it is therefore complete, and every complete subspace of a metric space is closed.