Proving the Subspace Condition for R1: Is S Either {0} or R1?

Click For Summary

Homework Help Overview

The discussion revolves around proving that if S is a subspace of R1, then S must either be the zero vector set {0} or the entire space R1. Participants are exploring the properties of subspaces in the context of vector spaces, particularly focusing on scalar multiplication and closure properties.

Discussion Character

  • Conceptual clarification, Assumption checking, Exploratory

Approaches and Questions Raised

  • Participants are dissecting the definitions and properties of subspaces, questioning the necessity of demonstrating closure under scalar multiplication and addition. Some are considering the implications of the field of scalars used in the proof.

Discussion Status

There are various lines of reasoning being explored, with some participants suggesting that a step-by-step proof is necessary, while others emphasize that the properties of subspaces should lead to the conclusion that if S contains a nonzero element, it must encompass all of R1. No explicit consensus has been reached on the approach to take.

Contextual Notes

Participants note the importance of specifying the field of scalars, as the truth of the statement may depend on whether the scalars are from R or another field. There is also a discussion about the implications of assuming S is a subspace while exploring its properties.

Mdhiggenz
Messages
324
Reaction score
1

Homework Statement



Prove that if S is a subspace of R1, then either S={0} or S=R1.

Trying to come up with a proof I dissected each statement, I know that in order for S to be

a subspace the zero vector must lie within the subset. So I know S={0} is true. I then

checked an arbitary vector x1 which lies on R1 to make sure it

was closed under scalar multiplication, and addition, and that checked out as well.

Not sure if I am on the right track.

Thanks


Homework Equations





The Attempt at a Solution

 
Physics news on Phys.org
You need to specify what field of scalars you are using. The statement is true if the field is ##\mathbb{R}##, false if it is, for example, ##\mathbb{Q}##.

Assuming you are using ##\mathbb{R}## for the field of scalars, use the fact that a subspace must be closed under scalar multiplication.
 
Your ideas are right, but it's not really a proof unless you do everything step-by-step.
For example, for the first possible set: ##S = \{0\}##, show that all three properties of a subspace are satisfied.
 
Karnage1993 said:
Your ideas are right, but it's not really a proof unless you do everything step-by-step.
For example, for the first possible set: ##S = \{0\}##, show that all three properties of a subspace are satisfied.
Why is that necessary? The problem statement tells you that ##S## is a subspace. All you need to do is show that if it's not ##\{0\}## then it must be all of ##\mathbb{R}^1##.

So: if ##S## is not ##\{0\}##, then ##S## contains a nonzero element, say ##s \neq 0##. Since ##S## is a subspace, it is closed under scalar multiplication. Thus it must contain ##\alpha s## for every ##\alpha \in F## where ##F## is the scalar field (presumably ##\mathbb{R}##). Therefore...?
 
jbunniii said:
why is that necessary? The problem statement tells you that ##s## is a subspace. All you need to do is show that if it's not ##\{0\}## then it must be all of ##\mathbb{r}^1##.

So: If ##s## is not ##\{0\}##, then ##s## contains a nonzero element, say ##s \neq 0##. Since ##s## is a subspace, it is closed under scalar multiplication. Thus it must contain ##\alpha s## for every ##\alpha \in f## where ##f## is the scalar field (presumably ##\mathbb{r}##). Therefore...?

s=r1?
 

Similar threads

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