On the axioms of vector space

  • #1
123
0

Main Question or Discussion Point

Hello, I'd like to make a, probably stupid, question regarding the axioms that define a vetor space. Among them, there are the axioms:

λ[itex]\cdot[/itex](μ[itex]\cdot[/itex]X) = (λμ)[itex]\cdot[/itex]Χ (1) and 1[itex]\cdot[/itex]Χ=Χ (2)

for all λ,μ in the field and for all X in the vector space, where 1 is the identity of the multiplication on the field and "[itex]\cdot[/itex]" indicates the multiplication of a scalar with a vector. So, my question is: can axiom (2) derived as a special case of (1) and, therefore, is not really an axiom?

I ask this because, setting λ = μ = 1 in (1), we get:

1[itex]\cdot[/itex](1[itex]\cdot[/itex]X) = 1[itex]\cdot[/itex]Χ

Since X is an abitrary vector, 1[itex]\cdot[/itex]Χ will also be an arbitrary vector, say Y. Then the above equation reads:

1[itex]\cdot[/itex]Y = Y

for all Y in the vector space. But this is "axiom" (2)! I understand that, since both axioms are used in the standard definition of vector space, they should indeed be indepentend, despite the above objection. So what is the flaw in my thought about this?
 

Answers and Replies

  • #2
Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
3,750
99
As far as showing it for all vectors in the vector space, is it obvious that if I give you an arbitrary vector Y that you can find some vector X such that 1⋅X = Y?


In fact here's a simple counterexample: Let my "vector space" be R2 with regular addition and with scalar multiplication defined by

[tex] \lambda(a,b) = (\lambda a, 0)[/tex]

Let's check the other axioms. Since addition is untouched all the addition only axioms are still true. For scalar multiplication:
Distributivity:
[tex] (\lambda+\mu)(a,b) = \left( (\lambda+\mu)a,0 \right) = (\lambda a,0) + (\mu a, 0) = \lambda(a,b) + \mu(a,b) [/tex]
Other distributivity:
[tex] \lambda\left( (a,b) + (c,d) \right) = \lambda(a+c,b+d) = (\lambda a+\lambda c, 0) = (\lambda a,0) + (\lambda c,0) = \lambda(a,b) + \lambda(c,d) [/tex]
Associativity of multiplication:
[tex]\mu \left( \lambda(a,b) \right) = \mu (\lambda a, 0) = (\mu \lambda a, 0) = \left( \mu \lambda \right) (a,b) [/tex]

So great! We have ourselves a good ol' fashion vector space
 
Last edited:
  • #3
D H
Staff Emeritus
Science Advisor
Insights Author
15,393
683
Since X is an abitrary vector, 1[itex]\cdot[/itex]Χ will also be an arbitrary vector, say Y. Then the above equation reads:

1[itex]\cdot[/itex]Y = Y

for all Y in the vector space. But this is "axiom" (2)! I understand that, since both axioms are used in the standard definition of vector space, they should indeed be indepentend, despite the above objection. So what is the flaw in my thought about this?
The flaw is that Y is not an arbitrary vector in the space. It is a member of the subset of the vector space that can be expressed as [itex]1 \cdot X[/itex], where X is some member of the vector space. What axiom (2) adds is that it says all members of of the vector space can be expressed in this form, and in particular, [itex]1 \cdot X = X[/itex].
 
  • #4
123
0
So, that would be true if the function:

1[itex]\cdot[/itex] : V→V , 1[itex]\cdot[/itex]:X→1[itex]\cdot[/itex]X

is surjective? But this is an extra axiom, more complicated than it's substitute (that is (2)). Better keep (2) as it is... :smile:

Thank's for your replies!
 

Related Threads on On the axioms of vector space

  • Last Post
Replies
16
Views
4K
  • Last Post
Replies
1
Views
1K
Replies
5
Views
2K
Replies
1
Views
2K
  • Last Post
Replies
7
Views
6K
  • Last Post
Replies
15
Views
3K
  • Last Post
3
Replies
53
Views
12K
  • Last Post
Replies
11
Views
3K
  • Last Post
Replies
2
Views
3K
  • Last Post
Replies
3
Views
1K
Top