Finite-dimensional subspace is closed
ID: 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.
New to topics? Read the docs here!