S, T and U are all subspaces of R4. Subspace & Subset Homework in R4

  • Thread starter negation
  • Start date
  • Tags
    Subspace
In summary: R4. As BvU said, you can't say "A is the element of member vectors" because that doesn't make sense. A is a set, and a *member* of a set is a specific object in the set. Also, you can't say set A is a subset of R4 because A is not a set of vectors; A is a set of 4-tuples. However, the set of 4-tuples is a subset of the set of vectors, so you could say that if A is the set of 4-tuples, then A is a subset of R4. The member vector in the set A is also a subset of A.You can't say "the member vector in
  • #1
negation
818
0

Homework Statement



S = { (x1, x2, x3, x4) | 4 x1 + x3 = 3 + 6 x2 + x4 }
T = { (x1, x2, x3, x4) | x1 + x3 is an integer }
U = { (x1, x2, x3, x4) | x1 x3 ≥ -5 }

The Attempt at a Solution



a) Which of these subsets contain the zero vector 0 = (0, 0, 0, 0) ?


S = (x1,x2,x3,x4) = (0,0,0,0)
4x1 =x3 = 3+6x2 + x4
4(0) + 0 = 3+ 6(0) + 0
0=3
S is false

T = (x1,x2,x3,x4) = (0,0,0,0)
x1+x3 = integer and I assume that by 'integer' it implies relative integer such that 0 is an integer.
If we assume so, then,
x1 + x3 = 0 + 0 = 0

T is true

U = (x1,x2,x3,x4) = (0,0,0,0)
x1.x3 =>-5
0.0 = 0 but 0~= -5 but 0>-5

U is true.

b) Which of these subsets are subspaces of R4 ?
 
Physics news on Phys.org
  • #2
negation said:

Homework Statement



S = { (x1, x2, x3, x4) | 4 x1 + x3 = 3 + 6 x2 + x4 }
T = { (x1, x2, x3, x4) | x1 + x3 is an integer }
U = { (x1, x2, x3, x4) | x1 x3 ≥ -5 }

The Attempt at a Solution



a) Which of these subsets contain the zero vector 0 = (0, 0, 0, 0) ?


S = (x1,x2,x3,x4) = (0,0,0,0)
4x1 =x3 = 3+6x2 + x4
4(0) + 0 = 3+ 6(0) + 0
0=3
S is false

T = (x1,x2,x3,x4) = (0,0,0,0)
x1+x3 = integer and I assume that by 'integer' it implies relative integer such that 0 is an integer.
If we assume so, then,
x1 + x3 = 0 + 0 = 0

T is true

U = (x1,x2,x3,x4) = (0,0,0,0)
x1.x3 =>-5
0.0 = 0 but 0~= -5 but 0>-5

U is true.

b) Which of these subsets are subspaces of R4 ?
Your work for part a looks OK to me, but you conclude things like "T is true". S, T, and U are subsets of R4, so true/false isn't applicable. Instead, your answers should say whether the set contains the zero vector.

For the b part, if you know that the containing space is a vector space (for your problems the space that contains each subset is R4, which is a vector space), what three things do you need to check to conclude that the subset is actually a subspace of the containing vector space? One of the things to check is whether the zero vector is an element of the subset. What are the other two?
 
  • #3
Mark44 said:
Your work for part a looks OK to me, but you conclude things like "T is true". S, T, and U are subsets of R4, so true/false isn't applicable. Instead, your answers should say whether the set contains the zero vector.

For the b part, if you know that the containing space is a vector space (for your problems the space that contains each subset is R4, which is a vector space), what three things do you need to check to conclude that the subset is actually a subspace of the containing vector space? One of the things to check is whether the zero vector is an element of the subset. What are the other two?

There is a persistent confusion regarding the definition of subset, subspace and vector space. In this case, is R4 the vector space or is, say, set A the vector space?
It's all pretty relative isn't it? If R4 is the vector space and set A is the element of member vectors, then, set A is the subset of R4. The member vector in the set A is also a subset of A.
Would be great if you could shed some light above.

As to your question:

1) zero vector must be a member vector of the set.
2) the set must be closed under addition operation
3) the set must be closed under scalar multiplication

Another question, how does the concept of linear combination comes into the picture? I see the big picture but I'm having a hard time weaving the intermediate links.
 
  • #4
There is a persistent confusion regarding the definition of subset, subspace and vector space.
No, there is not. You can look at a few Khan videos to lift the fog! Subset, Subspace.

In this case, is R4 the vector space or is, say, set A the vector space?
R4 is generally a vector space. I don't know what A is. That is not the same as being confused about what A is.

It's all pretty relative isn't it?
No, it is not.

If R4 is the vector space and set A is the element of member vectors, then, set A is the subset of R4. The member vector in the set A is also a subset of A.
You can't say: "set A is the element of member vectors" without confusing yourself.
You can say "A member vector in the set A is also a subset of A" because that is true. Something that is in A is in A.
 
  • #5
Re linear combination: If you can show a subset contains a zero element, is closed under addition and scalar multiplication, then that means that a linear combination of elements can not bring you out of the subset!

If ##\vec x## and ##\vec y## are in the subset, then ##a\ \vec x + b\ \vec y## is also in the subset: ##a\ \vec x ## and ## b\ \vec y## by rule (3) and the sum by rule (2)
 
  • #6
negation said:
There is a persistent confusion regarding the definition of subset, subspace and vector space.
The confusion is on your part, right? All three terms are well defined.
negation said:
In this case, is R4 the vector space or is, say, set A the vector space?
All of the vectors in your first post are 4-tuples, and the question in part b asks which of the three sets in part a are subspaces of R4. So clearly, R4 is the vector space being considered.
negation said:
It's all pretty relative isn't it?
As already said by BvU, no, it's not relative.
negation said:
If R4 is the vector space and set A is the element of member vectors, then, set A is the subset of R4.
A is not mentioned in your first post, so I don't know what you're asking.
The rest of what you're saying doesn't make any sense.
"set A is the element of member vectors" -- ??
"set A is the subset of R4." -- It's given that S, T, and U are subsets of R4. Each vector in each of these sets has four coordinates. If these coordinates are real numbers, then these sets are subsets of R4, the vector space of 4-tuples of real numbers.

What the problem is asking you is to identify which of these sets (S, T, and U) is also a subspace of R4.

negation said:
Would be great if you could shed some light above.

As to your question:

1) zero vector must be a member vector of the set.
2) the set must be closed under addition operation
3) the set must be closed under scalar multiplication

Another question, how does the concept of linear combination comes into the picture? I see the big picture but I'm having a hard time weaving the intermediate links.
 
  • #7
Mark44 said:
The confusion is on your part, right? All three terms are well defined.
All of the vectors in your first post are 4-tuples, and the question in part b asks which of the three sets in part a are subspaces of R4. So clearly, R4 is the vector space being considered.
As already said by BvU, no, it's not relative.
A is not mentioned in your first post, so I don't know what you're asking.
The rest of what you're saying doesn't make any sense.
"set A is the element of member vectors" -- ??
"set A is the subset of R4." -- It's given that S, T, and U are subsets of R4. Each vector in each of these sets has four coordinates. If these coordinates are real numbers, then these sets are subsets of R4, the vector space of 4-tuples of real numbers.

What the problem is asking you is to identify which of these sets (S, T, and U) is also a subspace of R4.

By part (a), T and U fulfills the condition of the zero vector.
Hence, we test for the 2 other condition.

Let u = (u1,u2,u3,u4)
Let v = (v1,v2,v3,v4)

u+v = (u1+v1, u2+v2,u3+v3,u4+v4)

Since u1+v1 and u3+v3 is an integer, then, (u1+v1) + (u3+v3) is an integer.


Let u = (u1,u2,u3,u4)

Scalar k, is a real number.

k.u = (ku1,ku2,ku3,ku4)
ku1 + ku3 = k(u1+u3)
k(u1+u3) =/= integer

so, T is not a subspace of R4.

U = { (x1, x2, x3, x4) | x1 x3 ≥ -5 }
Let w = (w1,w2,w3,w4)
Let v = (v1,v2,v3,v4)

w+v = (w1+v1,w2+v2,w3+v3,w4+v4)
(w1+v1)(w3+v3) = 0
0>-5

Let w = (w1,w2,w3,w4)

scalar k, is a real number.
kw = (kw1,kw2,kw3,kw4)
kw1.kw3= 0
0>5

U is a subspace of R4
 
  • #8
Hello, hope you had a good rest and are fresh and fruity again. Ready for some tough opposition again :smile:
I agree that T is closed under addition. Not under scalar multiplication, so : no subset.

Now over to U.
Let w = (w1,w2,w3,w4) ##\in## U and v = (v1,v2,v3,v4) ##\in## U, can we prove that w+v ## \in## U ? ## (\in## U means "is in", ∈## )## ?

From the U definition we know that w1 w3 ≥ -5 and that v1 v3 ≥ -5. That is all we know. Just for the fun of it, I drew a picture. Very helpful. Have some problems with 4 dimension drawings, so I restrict myself to the u1, u3 plane. Do you understand that u2 and u4 can be anything in ##R^4## and also in subset U ##\subset R^4## ?

Blue hyperbolic lines are the limits of U. Anything on or in between ##\in ## U. Agree ?

If we want to prove that U is closed under addition, we have to prove that
$$ (w_1\ w_3 ≥ -5) \enspace \wedge \enspace (v_1\ v_3 ≥ -5) \enspace \Rightarrow \enspace (w_1+v_1)(w_3+v_3) ≥ -5 $$which is going to be very difficult:$$ (w_1+v_1)(w_3+v_3) = w_1 w_3+v_1 v_3 + w_1 v_3 + w_3 v_1 \geq -10 + w_1 v_3 + w_3 v_1 $$and then we know nothing.

If we want to disprove that U is closed under addition, all we have to do is find one example that has ## (w_1+v_1)(w_3+v_3) < -5 ##. Much easier. Can you give an example ?
 

Attachments

  • SubsetU.jpg
    SubsetU.jpg
    27.3 KB · Views: 404
  • #9
BvU said:
Hello, hope you had a good rest and are fresh and fruity again. Ready for some tough opposition again :smile:
I agree that T is closed under addition. Not under scalar multiplication, so : no subset.
Wrong word. Subset, yes. Not a subspace.
 
  • #10
BvU said:
Hello, hope you had a good rest and are fresh and fruity again. Ready for some tough opposition again :smile:
I agree that T is closed under addition. Not under scalar multiplication, so : no subset.

Now over to U.
Let w = (w1,w2,w3,w4) ##\in## U and v = (v1,v2,v3,v4) ##\in## U, can we prove that w+v ## \in## U ? ## (\in## U means "is in", ∈## )## ?

From the U definition we know that w1 w3 ≥ -5 and that v1 v3 ≥ -5. That is all we know. Just for the fun of it, I drew a picture. Very helpful. Have some problems with 4 dimension drawings, so I restrict myself to the u1, u3 plane. Do you understand that u2 and u4 can be anything in ##R^4## and also in subset U ##\subset R^4## ?

Blue hyperbolic lines are the limits of U. Anything on or in between ##\in ## U. Agree ?

If we want to prove that U is closed under addition, we have to prove that
$$ (w_1\ w_3 ≥ -5) \enspace \wedge \enspace (v_1\ v_3 ≥ -5) \enspace \Rightarrow \enspace (w_1+v_1)(w_3+v_3) ≥ -5 $$which is going to be very difficult:$$ (w_1+v_1)(w_3+v_3) = w_1 w_3+v_1 v_3 + w_1 v_3 + w_3 v_1 \geq -10 + w_1 v_3 + w_3 v_1 $$and then we know nothing.

If we want to disprove that U is closed under addition, all we have to do is find one example that has ## (w_1+v_1)(w_3+v_3) < -5 ##. Much easier. Can you give an example ?

(u3 = 2, u1 = -6)?
u1. u3 = -12
-12 < -5.

It's basically any u1 and u3 points that falls within the area enclosed by the hyperbolic, isn't it?
 
Last edited:
  • #11
Ivyleague is absolutely right.

Now your candidate. You give me one vector that is outside U. What I was fishing for was two vectors inside U but with a sum outside U !

It's basically any u1 and u3 points that falls within the area enclosed by the hyperbolic, isn't it?
Not true. For the whole first quadrant you can add as much as you like without leaving the quadrant ! Idem third quadrant! So you will have to search some more to come up with something that disproves U is closed under addition.

Oh boy, I've managed to create confusion again, sorry. The hyperbola does not enclose anything. My sloppy language, sorry. But you did catch my meaning, so the damage is limited, I hope.​

I seem to remember that for all vectors inside U one has x1 x3 ≥ -5. That definitely includes the whole first and third quadrants in the figure. The limits/boundaries of U, if you can call them that, are the blue lines with x1 x3 = -5.

So the upper left and the lower right of the figure are outside U.

Now I want you to find two vectors inside U but with a sum outside U.
Big hint: they don't have to be two different vectors...
 

FAQ: S, T and U are all subspaces of R4. Subspace & Subset Homework in R4

1. What is a subspace?

A subspace is a subset of a vector space that satisfies the three properties of closure under addition, closure under scalar multiplication, and containing the zero vector. In simpler terms, it is a set of vectors that can be added and multiplied by scalars to produce another vector within the same set.

2. How do you determine if a set is a subspace?

To determine if a set is a subspace, you must check if it satisfies the three properties of closure under addition, closure under scalar multiplication, and containing the zero vector. If all three properties are met, then the set is a subspace.

3. What is the difference between a subspace and a subset?

A subset is a set that contains elements from a larger set, while a subspace is a subset that also satisfies the three properties of closure under addition, closure under scalar multiplication, and containing the zero vector.

4. Can a subspace be a subset of another subspace?

Yes, a subspace can be a subset of another subspace. This is because a subspace is also a subset, but with the additional properties of closure under addition, closure under scalar multiplication, and containing the zero vector.

5. How are subspaces and linear independence related?

A set of vectors in a vector space is linearly independent if none of the vectors can be written as a linear combination of the others. In a subspace, all sets of linearly independent vectors must also be a basis for the subspace. This means that subspaces only contain linearly independent sets of vectors.

Similar threads

Replies
9
Views
2K
Replies
15
Views
2K
Replies
2
Views
4K
Replies
2
Views
3K
Replies
3
Views
1K
Replies
2
Views
2K
Back
Top