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!