Defining a Vector Space over Q: Can It Be Done?

Click For Summary
SUMMARY

Defining a vector space over the field of rational numbers (Q) is valid and can be exemplified by the vector space V=Q² over Q. In this context, all operations and axioms of a vector space are preserved, as the scalars are drawn from the field Q, ensuring that no irrational numbers are introduced. This aligns with the foundational properties of vector spaces, confirming that the definition is sound and applicable.

PREREQUISITES
  • Understanding of vector space properties
  • Familiarity with fields, specifically the field of rational numbers (Q)
  • Basic knowledge of linear algebra concepts
  • Experience with mathematical proofs
NEXT STEPS
  • Study the axioms of vector spaces in detail
  • Explore examples of vector spaces over different fields, such as V=R² over R
  • Learn about the implications of scalar fields on vector space properties
  • Investigate the role of proofs in linear algebra and vector space theory
USEFUL FOR

Students of linear algebra, mathematicians interested in vector space theory, and anyone seeking to understand the properties of vector spaces over various fields.

Linday12
Messages
53
Reaction score
0

Homework Statement


I'm trying to define a vector space over Q. Does this make any sense?


Homework Equations


The properties of a vector space


The Attempt at a Solution



Let V=Q^2 over Q. It seems to me that everything would be defined and I shouldn't be able to do anything to a vector in this space to make it become an irrational or anything else that could let it step outside the field, so all the axioms of a vector space should hold.

This is the first class I've taken that actually deals with proofs, and I'm not following along too well. I was just wondering if you could do this. It seems quite similar to something like, Let V=R^2 over R.

So if I have something wrong here or make completely no sense, help would be appreciated. Thank you!
 
Physics news on Phys.org
Since scalars are taken from a field, and Q is certainly a field, your definition makes sense.
 

Similar threads

Replies
1
Views
1K
Replies
9
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 58 ·
2
Replies
58
Views
5K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 26 ·
Replies
26
Views
2K
  • · Replies 17 ·
Replies
17
Views
4K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K