Vector Space over Field of Real Numbers

Click For Summary

Discussion Overview

The discussion revolves around the concept of vector spaces over different fields, specifically focusing on the relationship between complex numbers and real numbers. Participants explore the definitions and implications of defining a vector space over the field of real numbers versus the field of complex numbers, and the distinctions between these spaces.

Discussion Character

  • Debate/contested
  • Conceptual clarification
  • Mathematical reasoning

Main Points Raised

  • Some participants note that the field of complex numbers can be viewed as a vector space over the field of real numbers, but express confusion about why the vector space is not considered over the field of complex numbers instead.
  • There are questions regarding the definition of the field ##F## and whether it is a subfield of ##\mathbb{R}##, as well as the implications of using different scalar fields for the vector space ##V##.
  • One participant suggests that the distinction between complex and real vector spaces is significant, and that both differ from vector spaces defined over other scalar fields.
  • Another participant emphasizes the importance of the scalar field in determining the properties of the vector space, providing examples of how vectors behave differently in spaces defined over different fields.
  • There is a discussion about the notation used for the scalar field ##\mathbb{K}##, with some participants questioning why it includes multiple fields rather than just ##F##.
  • Some participants express uncertainty about the implications of the remark regarding vectors in ##\mathbb{C}^n## and how it relates to the discussion of vector spaces defined over different fields.

Areas of Agreement / Disagreement

Participants generally express confusion and seek clarification on the definitions and relationships between the fields and vector spaces. Multiple competing views remain regarding the nature of the vector spaces and the appropriate scalar fields to consider.

Contextual Notes

Participants highlight the complexity of the relationships between the fields involved and the implications for vector space properties, indicating that assumptions about the fields and their relationships may not be fully resolved.

Buffu
Messages
851
Reaction score
147
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
4K
  • · Replies 23 ·
Replies
23
Views
2K
  • · Replies 18 ·
Replies
18
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 40 ·
2
Replies
40
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K