Proving V is a Real Vector Space Given V is a Complex Vector Space

[bendaddy]

Homework Statement

Hello, I'm having a little difficulty with this proof.
Prove: If V is a complex vector space, then V is also a real vector space.

Homework Equations

Definition 1: A vector space V is called a real vector space if the scalars are real numbers.
Definition 2: A vector space V is called a complex vector space if the scalars are complex numbers.

The Attempt at a Solution

I've tried a proof by contradiction saying that "V is a complex vector space and V is not a real vector space." Can't seem to find any sort of contradiction throughout my argument though.

 

[Dick]

It's good that you didn't find any contradictions, because there aren't any. The set of vectors in a complex vector space with complex scalars are also a vector space over the reals. Just try to prove it directly. What things do you need to prove?

 

[bendaddy]

I just need to develop a proof using the vector space axioms and the two definitions listed above that if V is a complex vector space, then V is also a real vector space. Not sure how to go about proving it directly though...

 

[Dick]

I just need to develop a proof using the vector space axioms and the two definitions listed above that if V is a complex vector space, then V is also a real vector space. Not sure how to go about proving it directly though...

State the axioms you have to prove. Take them one by one.

 

[Fredrik]

Before you can check any of the vector space axioms, you must define a new scalar multiplication operation. The one you have is a map from ℂ×V into V. You need to use it to define a map from ℝ×V into V.