High School Vector Space over Field of Real Numbers

Click For Summary
The discussion centers on the classification of vector spaces over different fields, specifically the distinction between vector spaces over the field of real numbers (R) and complex numbers (C). Participants express confusion about why a vector space defined with complex entries is considered over R rather than C, questioning the implications of scalar fields and their relationships. It is clarified that while the entries of vectors are complex, the operations are defined over R, leading to different vector space properties. The conversation highlights that the choice of scalar field significantly affects the linear independence and relationships between vectors in these spaces. Ultimately, the discussion underscores the complexity of defining vector spaces in relation to various fields.
Buffu
Messages
849
Reaction score
146
The field of ## C## of complex numbers may be regarded as a vector space over the field of ##R##. More generally let ##F## be a field of real numbers and let ##V## be set of n-tuples ##\alpha = (x_1 , \cdots, x_n)## where ##x_1, \cdots x_n## are in ##\Bbb C##. We define addition of ##\alpha,\beta \in V## as ##\alpha + \beta = (\alpha_1 + \beta_1, ..., \alpha_n + \beta_n)## and scalar multiplication as ##c\alpha = (c\alpha_1, ... , c\alpha_n)##. This way we got a vector space over field ##R## which is quite different form the space ##C^n## and the space ##R^n##.

I am confused why is space over field ##R## not over field ##C## ? The entries in each vector is an element of ##\Bbb C## not ##\Bbb R##.
 
Physics news on Phys.org
I'm confused, too. Can you sort this out? Where's the quotation from? Is ##F## meant to be a subfield of ##\mathbb{R}##? And is the scalar field of ##V## now ##F## or ##\mathbb{R}\,##? Or ##\mathbb{C}## as that's where the vector operations are defined for?

I can only guess, that the statement is: Complex and real vector spaces are different and both differ from vector spaces with a scalar field like e.g. ##F=\mathbb{Q}(\pi,\sqrt{2},e,\log 2)## or whatever. To me this statement is a total mess.
 
fresh_42 said:
I'm confused, too. Can you sort this out? Where's the quotation from? Is ##F## meant to be a subfield of ##\mathbb{R}##? And is the scalar field of ##V## now ##F## or ##\mathbb{R}\,##? Or ##\mathbb{C}## as that's where the vector operations are defined for?
I can only guess, that the statement is: Complex and real vector spaces are different and both differ from vector spaces with a scalar field like e.g. ##F=\mathbb{Q}(\pi,\sqrt{2},e,\log 2)## or whatever. To me this statement is a total mess.

It is written ##F## is a field of ##R##. I don't think it matters if the scalar field is ##R## or ##F## since both are same. It is certainly not ##C##.
 
Original statement :
upload_2017-6-13_2-46-31.png


This bit might also help :
upload_2017-6-13_2-47-31.png
 
So we have ##F \subseteq \mathbb{R} \subset \mathbb{C}##. Next we have a vector space ##V_\mathbb{K}## of finite dimension ##n## and a field of scalars ##\mathbb{K} \in \{F,\mathbb{R},\mathbb{C}\}##. All versions of ##V_\mathbb{K}## lead to different vector spaces, despite the fact that they all are ##n-##dimensional.

I do not understand the remark ##\alpha = (x_1,\ldots ,x_n) \in \mathbb{C}^n##.
Essential to the vector space ##V_\mathbb{K}## is where ##c## is from, and that is ##c \in \mathbb{K}##.

E.g. let's consider ##V := \mathbb{C}^2_\mathbb{R}## and ##W:= \mathbb{C}^2_\mathbb{C}##. Then ##(i,2i)## and ##(1,2)## are two different vectors in both, but in ##V## they point in two different directions (i.e. they are linearly independent), whereas in ##W## there is an equation ##-i \cdot (i,2i) = (1,2)## which means one is a multiple of the other and thus point in the same direction (and they are linearly dependent). All because we have ##c= -i ## available for ##W## which is not available for ##V##.
 
Last edited:
fresh_42 said:
So we have ##F \subseteq \mathbb{R} \subset \mathbb{C}##. Next we have a vector space ##V_\mathbb{K}## of finite dimension ##n## and a field of scalars ##\mathbb{K} \in \{F,\mathbb{R},\mathbb{C}\}##. All versions of ##V_\mathbb{K}## lead to different vector spaces, despite the fact that they all are ##n-##dimensional.

Why ##K \in \{F, \Bbb R, \Bbb C\}## ? Should not it be just ##K = F## ?

I do not understand the remark ##\alpha = (x_1,\ldots ,x_n) \in \mathbb{C}^n##.
Essential to the vector space ##V_\mathbb{K}## is where ##c## is from, and that is ##c \in \mathbb{K}##.

Neither do I.
 
Buffu said:
Why ##K \in \{F, \Bbb R, \Bbb C\}## ? Should not it be just ##K = F## ?
I've chosen the most general case, because the author(s) introduced a field ##F## of real numbers, e.g. ##\mathbb{Q}(\pi)##, then also spoke about the entire real number field ##\mathbb{R}## as well as of complex numbers ##\mathbb{C}##. I thought a neutral ##\mathbb{K}## would split this Gordian knot of fields.
Neither do I.
I guess it is because of the example I added in my previous post.
 
fresh_42 said:
I've chosen the most general case, because the author(s) introduced a field ##F## of real numbers, e.g. ##\mathbb{Q}(\pi)##, then also spoke about the entire real number field ##\mathbb{R}## as well as of complex numbers ##\mathbb{C}##. I thought a neutral ##\mathbb{K}## would split this Gordian knot of fields.

I guess it is because of the example I added in my previous post.

Nevertheless I think I got it.
I think that ##\alpha \in \Bbb C^n## is to show that there can be different spaces for the same vector set ##V## like ##\Bbb C^n## and vector space of this example.
 

Similar threads

  • · Replies 25 ·
Replies
25
Views
3K
  • · Replies 23 ·
Replies
23
Views
2K
  • · Replies 18 ·
Replies
18
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 21 ·
Replies
21
Views
1K
  • · Replies 40 ·
2
Replies
40
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K