Finite-dimensional real vector space