Is the set 'V' a vector space?

Click For Summary

Homework Help Overview

The discussion revolves around whether the set V, defined as the set of all ordered pairs of real numbers with specific operations for addition and scalar multiplication, qualifies as a vector space. Participants are examining the axioms that govern vector spaces, particularly in relation to the defined scalar multiplication.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants are analyzing the axioms of vector spaces, particularly focusing on scalar multiplication and its implications. There is an exploration of whether the defined operations satisfy the necessary conditions for V to be a vector space.

Discussion Status

Some participants have provided insights into the axioms of vector spaces and are questioning the validity of the scalar multiplication defined for V. There is an ongoing examination of specific axioms, with some indicating that certain conditions do not hold under the defined operations.

Contextual Notes

There is a suggestion that the original poster's intuition may not align with the formal requirements of vector spaces, highlighting the importance of careful verification of the axioms involved.

ElijahRockers
Gold Member
Messages
260
Reaction score
10

Homework Statement



Let V be the set of all ordered pairs of real numbers, with addition being defined as:

[itex](x_1 , x_2 ) + (y_1 , y_2 ) = (x_1 + y_1 , x_2 + y_2 )[/itex]

and scalar multiplication defined as:

[itex]\alpha \circ (x_1 , x_2 ) = (\alpha x_1 , x_2)[/itex]

Is V a vector space with these operations? Justify your answer.

The Attempt at a Solution



I am thinking yes, because the scalar multiplication rule does not seem to violate any of the 8 axioms for vector spaces, but it seems wrong intuitively.
 
Physics news on Phys.org
What are the axioms defining a vector space with respect to scalar multiplication? Can you confirm each of them? You've probably only ever seen a single example of a vector space (Rn), so your intuition isn't exactly well developed about these things. That's normal, it's important when dealing with algebraic structures to carefully confirm that all necessary conditions are satisfied.
 
Distributivity of scalar multiplication with respect to vector addition   a(u + v) = au + av
Distributivity of scalar multiplication with respect to field addition (a + b)v = av + bv
Compatibility of scalar multiplication with field multiplication a(bv) = (ab)v

These and the multiplicative identity are the only axioms that would involve the altered scalar multiplicative operator. if u = (u1,u2) and v = (v1,v2)

"[a(u+v) = au+av]"
a[(u1,u2) + (v1,v2)] = a(u1+v1, u2+v2) = (au1+av1, u2+v2) = a(u1,u2) + a(v1,v2)
seems to check out

"(a + b)(v1,v2) = a(v1,v2) + b(v1,v2)"
(a+b)(v1,v2) = ((a+b)v1,v2) = (av1+bv1,v2) ≠ (av1, v2) + (bv1,v2) = (av1+bv1, v2+v2)

I suppose this axiom doesn't really check out, because (av1+bv1, v2+v2)≠(av1+bv1,v2) right?
 
indeed the last one doesn't check out, because you would get a(v1,v2)+b(v1,v2). for the v1's it's ok, but you get the undesired 2 times v2.
 
Number Nine said:
What are the axioms defining a vector space with respect to scalar multiplication? Can you confirm each of them? You've probably only ever seen a single example of a vector space (Rn), so your intuition isn't exactly well developed about these things. That's normal, it's important when dealing with algebraic structures to carefully confirm that all necessary conditions are satisfied.

Turns out my intuition was correct. ;p
 

Similar threads

Replies
9
Views
2K
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 9 ·
Replies
9
Views
5K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K