Talk:Finite-dimensional real vector space