# Vector spaces

1. Jul 25, 2008

### JG89

Would the space C(a,b) (where any element of the space is a continuous complex function) also be a space over the field R of real numbers since the field C has a subfield that is isomorphic to R?

EDIT: I am thinking yes because all of the axioms that have to be satisfied in order for a set to be a vector space is satisfied if you have C(a,b) being a space over R.

Last edited: Jul 25, 2008
2. Jul 25, 2008

### HallsofIvy

Yes, you certainly can multiply complex valued functions by real numbers and so you can define C(a,b) as a vector space over the real numbers.

3. Jul 25, 2008

### mathwonk

good observation. now can you see how the dimension over R relates to the dimension over C?

4. Jul 26, 2008

### n_bourbaki

They're the same, roy: twice any infinite cardinal is still the same infinite cardinal. If I did smilies I'd put one in to show I was pulling your leg a little. But I don't do them.

5. Jul 26, 2008

### JG89

Looks like the question has already been answered. I was going to say that since a real space is infinite-dimensional, and that a complex space contains a real space, then the dimension of a complex space must also be infinite.

EDIT: More specifically, since you can find an infinite amount of linearly independent vectors in a real space, then any amount of linearly independent vectors found in a complex space will be added to the amount of linearly independent vectors in the real space, which is infinite. So infinite plus anything is also infinite.

6. Jul 27, 2008

### n_bourbaki

There are distinct notions of infinite cardinals, so you shouldn't be so blase.

7. Jul 27, 2008

### JG89

I've been learning Linear Algebra for about a week now...I just answered the question with what I knew

8. Jul 27, 2008

### mathwonk

good points all. now let me try to continue to make what is an interesting point for a learner. if V is a complex vector space with basis{xj}, what is a real basis for V?

9. Jul 29, 2008

### JG89

I am assuming by you asking "what is a real basis for v", you are asking what is a basis for V regarded as a real space. So, the dimension of a vector space is equal to the amount of basis vectors in that space. So, in a complex vector space with basis {xj} where I am assuming J is the amount of basis vectors, then J is also the dimension of the complex vector space, V. Now, the dimension of a real space is twice that of a complex space. So the dimension of the complex space regarded as a real space is 2j, so the basis vector would be {x2j}.

10. Jul 29, 2008

### mathwonk

that does not answer the question. you have not said what ARE the extra vectors xJ+1,....,x2J.

you are only saying how MANY vectors are in the new basis. to prove you are right you need to produce those vectors from the old ones explicitly.

11. Jul 29, 2008

### JG89

Just thinking out loud here...

A complex space should be a subspace of a real space, so since the vectors for the complex basis is x1, x2,...,xj, then there are certain vectors, belonging only to the real space, that when combined with the complex basis form a new basis: x1,x2,...,xj, xj+1,...,x2j

So now I have to explain what the new vectors, xj+1,...,x2j are. Doesn't that depend on what an element of that certain space is? For example, in a space Kn, an element of that space is any ordered n-tuple, whereas an element of the space R(a,b) is any continuous real function.

If the element of the spaces you are asking about is any ordered n-tuple, then any element x of the real space can be represented by:

x = c1(1,0,....,0) + c2(0,1,...0) +...+ cj (0,0,...,1) + cj+1(i,0,...,0) + ... + c2j(0,0,...i)

where the numbers c1,c2,...,c2j are components of the vector x with respect to the basis.

The basis for the complex space was x1,x2,...,xj. So, the basis for the real space would be x1,x2,...,xj, i(x1), i(x2),...,i(xj), where i(x1) = xj+1, i(x2) = xj+2 and so on

12. Jul 29, 2008

### n_bourbaki

That just isn't the way to say it: a subspace of a vector space V is by definition taken to be over the same field as V.

13. Jul 29, 2008

### JG89

Thanks for the correction. How would I say what I was trying to say?

Last edited: Jul 29, 2008
14. Jul 30, 2008

### mathwonk

well i agree with your answer: namely if x1,x2,.. is the complex basis then x1,ix1,x2,ix2,... is a real basis.

and thats how you prove the real dimension is twice the complex dimension.

15. Jul 31, 2008

### JG89

Thanks for taking the time to help me learn.

16. Jul 31, 2008

### mathwonk

thanks for the appreciation. my pleasure.