Finite-dimensional vector-space topology (source code)

= Finite-dimensional vector-space topology

Every finite-dimensional real vector space has a unique Hausdorff topology making it a topological vector space. Choosing a basis identifies it with ordinary Euclidean space; every linear map between such spaces is continuous.