Complex vector space/Finite-dimensional/Real basis/Exercise
Let be a finite-dimensional vector space over the complex numbers, and let be a basis of . Prove that the family of vectors
forms a basis for , considered as a real vector space.
Let be a finite-dimensional vector space over the complex numbers, and let be a basis of . Prove that the family of vectors
forms a basis for , considered as a real vector space.