Linear algebra question Subspaces

Click For Summary

Homework Help Overview

The discussion revolves around proving that a specific set S, defined by pairs (a,b) with b > 0 and a unique addition and scalar multiplication, is a vector space over R. Participants are exploring the implications of the definitions provided and the necessary properties that must be demonstrated for S to qualify as a vector space.

Discussion Character

  • Exploratory, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Participants discuss the need to prove closure under addition and scalar multiplication, questioning how to verify if a pair (u, v) belongs to set S. There is also a focus on whether all vector space axioms need to be proven or if a simplified approach can be taken.

Discussion Status

Some participants have provided guidance on starting with closure properties, while others emphasize the importance of addressing all vector space axioms due to the unique definitions of operations. The conversation reflects a mix of attempts to clarify the requirements and the steps needed to approach the proof.

Contextual Notes

There is a noted confusion regarding the terminology used in the thread title and the specific requirements for proving S as a vector space versus a subspace. This has led to discussions about the implications of the definitions of addition and scalar multiplication on the proof process.

Technique101
Messages
6
Reaction score
0
Hey guys, new to the forum here, and its midterm time and I am working through a few questions and I can't seem to figure this one out.

Homework Statement



Let S = { (a,b) | b > 0 } and define addition by (a,b) + (c,d) = (a*d + a*c, b*d) and define scalar multiplication by k(a,b) = ( k*a*b^(k-1) , b^k ).
Prove that S is a vector space of R.

Homework Equations



None

The Attempt at a Solution



I'm just confused! I want to prove that it's closed under addition, scalar multiplication, but I don't know how to start for this one.

Thanks
 
Physics news on Phys.org
Let (a1, b) and (a2, b2) be two elements of set S.

Show that (a1, b) + (a2, b2) is also in set S.
Show that k(a2, b2) is in set S.

How can you tell if a pair (u, v) is in S?
 
You'll need to prove a lot more than just closure, but you can certainly start with that. If b>0 and d>0 does (a*d + a*c, b*d) satisfy the condition that b*d>0? That's additive closure isn't it? Is it closed? Just take the properties one at a time.
 
Okay, so i state that since b1 > 0 and b2 > 0, therefore b1*b2 > 0, and therefore is closed under addition and therefore is in the set.

I do the same for scalar multiplication.

For a question like this, do I really need to prove all 10 axioms, or is there a more simplified way to prove that it is a vector space?
 
Ok, you've got closure. But no, you aren't done. The other axioms are important. Like I said, take them one at a time.
 
Are you supposed to prove that V is a vector space, or that V is a subspace of R^2?
 
Says to prove that V is a vector space over R
 
The reason Mark44 was confused was that you titled this "linear algebra question... subspaces" and originally said "Prove V is a vector space of R".

If you were given a vector space V and asked to show that U is a subspace of V, then you would only have to prove that U is closed under addition and scalar multiplication because all the other properties, associativity and commutativity of addition, etc. follow from the fact that V is a vector space.

But here you are given new definitions of addition and scalar multiplication so you have to prove that addition is associative and commutative, that there is a "zero" vector, that every vector has an additive inverse, etc.
 
Okay, thanks guys! I just sort of needed a kick-start to get going. I figured it out, so thanks again!
 

Similar threads

  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 5 ·
Replies
5
Views
7K
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 6 ·
Replies
6
Views
11K
  • · Replies 8 ·
Replies
8
Views
2K