Vector spaces

  • Thread starter kman12
  • Start date
  • #1
10
0
Hello, I'm studying linear algebra and wanted to know what is the difference between a "vector space" and a "vector space over field F".
I know that a vector space over field F satisfies the 8 axioms, but does a vector space satisfy this also?
 

Answers and Replies

  • #2
1,497
3
A field could be a set of real, or complex numbers, or a set of rational numbers whose addition and multiplication is well defined.
 
  • #3
10
0
A field could be a set of real, or complex numbers, or a set of rational numbers whose addition and multiplication is well defined.

This doesn't answer my question, I want to know the difference between a vector space and a vector space over field F.
 
  • #4
Fredrik
Staff Emeritus
Science Advisor
Gold Member
10,872
417
There's no difference. Every vector space is a vector space over a field. The field is usually the real numbers or the complex numbers, but it could be any field. A vector space over [itex]\mathbb R[/itex] is often called a "real vector space", and a vector space over [itex]\mathbb C[/itex] is often called a "complex vector space".
 
  • #5
10
0
There's no difference. Every vector space is a vector space over a field. The field is usually the real numbers or the complex numbers, but it could be any field. A vector space over [itex]\mathbb R[/itex] is often called a "real vector space", and a vector space over [itex]\mathbb C[/itex] is often called a "complex vector space".

Right this would make sense. So that means the 8 axioms for a "Vector Space over a field F" also hold for a "Vector space".

Because i know that the basic defin of a vector space is that:
1) It contains a non empty set V whose elements are vectors
2) A field F whose elements are scalars
3) A binary operation + on V Under which V is closed
4) A multiplication . of a vector by a scalar.
So on top of this the 8 axioms (That hold for a vector space over a field F) also hold for a vector space (i cant be asked to write all axioms)?
 
  • #6
Fredrik
Staff Emeritus
Science Advisor
Gold Member
10,872
417
Yes, you got it right. I prefer to state the definition a bit differently though. In my definition, V is a set, [itex]\mathbb F[/itex] is a field, and [itex]A:V\times V\rightarrow V[/itex] and [itex]S:\mathbb F\times V\rightarrow V[/itex] are functions (called "addition" and "scalar multiplication" respectively). We use the notation [itex]A(x,y)=x+y[/itex] and [itex]S(k,x)=kx[/itex].

Definition: A 4-tuple [itex](V,\mathbb F,A,S)[/itex] is said to be a vector space over the field [itex]\mathbb F[/itex] if

(i) [itex](x+y)+z=x+(y+z)[/itex] for all [itex]x,y,z\in V[/itex]

...and so on. (You seem to know the rest).

Note that V is just a set. It's convenient to call V a vector space, but you should be aware that this is actually a bit sloppy. It's certainly OK to do it when it's clear from the context what field [itex]\mathbb F[/itex] and what addition and scalar multiplication functions we have in mind. For example, it's common to refer to "the vector space [itex]\mathbb R^2[/itex] " because everyone is familiar with the standard vector space structure on that set.
 
  • #7
726
0
I find it useful to think of vector spaces as special cases of modules over rings.
A module is just an abelian group together with a distributive multiplication by elements of a ring. If the ring is a field then the module is a vector space.

The distinguishing feature of a field is that is has multiplicative inverses.

Much of the theory of vector spaces actually comes from considering modules where the ring is a principal ideal domain. This is because the ring of polynomials over a field is a principal ideal domain.
 
Last edited:
  • #8
10
0
right thanks fredrik
 

Related Threads on Vector spaces

  • Last Post
Replies
4
Views
4K
  • Last Post
Replies
15
Views
3K
  • Last Post
Replies
3
Views
3K
  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
1
Views
971
  • Last Post
Replies
10
Views
2K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
16
Views
4K
  • Last Post
Replies
15
Views
3K
Top