Subspace & Basis: Proving and Understanding

  • Thread starter Thread starter pyroknife
  • Start date Start date
  • Tags Tags
    Basis Subspace
Click For Summary

Homework Help Overview

The discussion revolves around proving that a given set is a subspace in the context of linear algebra, specifically focusing on conditions that define a subspace. Participants are addressing parts of a problem related to subspaces and bases, with particular emphasis on parts a and c of the assignment.

Discussion Character

  • Exploratory, Assumption checking, Conceptual clarification

Approaches and Questions Raised

  • The original poster attempts to verify the conditions for a subspace by checking if the zero vector is included, if the sum of two vectors in the set remains in the set, and if scalar multiplication of a vector in the set also remains in the set. Some participants suggest clarifying the wording and structure of the proofs. There are questions about the correctness of the expressions used for these proofs.

Discussion Status

Participants are actively engaging with each other's reasoning, providing hints and suggestions for refining arguments. Some guidance has been offered regarding the structure of the proofs, particularly in how to express the results in a form that aligns with the definitions of a subspace. There is an ongoing exploration of different interpretations and approaches to the problem.

Contextual Notes

Participants express uncertainty about the clarity of their arguments and the appropriate forms to use in their proofs. There is mention of previous assignments that may influence the current understanding of the problem. The discussion highlights the importance of maintaining the correct form in mathematical expressions to satisfy the conditions of the problem.

pyroknife
Messages
611
Reaction score
4
The problem is attached.
I'm having problems with parts a and c, well maybe not part a (probably just need to check if I did this part right. I'm just not sure if I'm wording part a right.

Anyways for part a I must prove it's a subspace so I must satisfy 3 conditions:
1) 0 is in S
2) if U and V are in S, then U+V must be in S
3) if V is in S, then fV is in S for some scalar f.for 1)
By inspection if a=b=c=0 then 0 is in S

for 2)
if U is of the form:
a1-b1 a1
b1+c1 a1-c1
and V is of the form:
a2-b2 a2
b2+c2 a2-c2
then U+V=
a1+a2-b1-b2 a1+a2
b1+b2+c1+c2 a1+a2-c1-c2

Thus U+V is in S. <<< Can I say this?

for 3)
fV=
f(a2-b2) f(a2)
f(b2+c2) f(a2-c2)

Thus fV is in S. <<< Can I say this?

For part c, I don't even know where to begin. Can someone give me a hint?
 

Attachments

  • Untitled.png
    Untitled.png
    6.1 KB · Views: 489
Last edited:
Physics news on Phys.org
pyroknife said:
The problem is attached.
I'm having problems with parts a and b, well maybe not part a (probably just need to check if I did this part right. I'm just not sure if I'm wording part a right.

Anyways for part a I must prove it's a subspace so I must satisfy 3 conditions:
1) 0 is in S
2) if U and V are in S, then U+V must be in S
3) if V is in S, then fV is in S for some scalar f.for 1)
By inspection if a=b=c=0 then 0 is in S

for 2)
if U is of the form:
a1-b1 a1
b1+c1 a1-c1
and V is of the form:
a2-b2 a2
b2+c2 a2-c2
then U+V=
a1+a2-b1-b2 a1+a2
b1+b2+c1+c2 a1+a2-c1-c2

Thus U+V is in S. <<< Can I say this?

for 3)
fV=
f(a2-b2) f(a2)
f(b2+c2) f(a2-c2)

Thus fV is in S. <<< Can I say this?

For both of those I would suggest a little more. For example, for 3 I would multiply the f into the expressions and then add: Let a = fa2, b =fb2, c =fc2 and show you get the form given in the problem.
For part b, I don't even know where to begin. Can someone give me a hint?

Set the expressions in the given matrix with a,b,c 's equal to the given matrix and see if the equations are consistent. You have four equations in 3 unknowns so it may or may not work.
 
LCKurtz said:
For both of those I would suggest a little more. For example, for 3 I would multiply the f into the expressions and then add: Let a = fa2, b =fb2, c =fc2 and show you get the form given in the problem.

I skipped a step in there (factored) because I was being lazy about typing it out on here.
for 3)
fV=
fa2-fb2 fa2
fb2+fc2 fa2-fc2
=
f(a2-b2) f(a2)
f(b2+c2) f(a2-c2)
which is of the same form as S.

On one of my previous assignments, this is what I said (applied to the context of this problem):

For 2) Since a1 and b1 are both in R, then a1, b1, c1, a2, b2, c2 are in R, then a1+a2-b1-b2, a1+a2, b1+b2+c1+c2, a1+a2-c1-c2 is still in R.

For 3)

since a2, b2, c2 are in R, then fa2-fb2, fa2, fb2+fc2, fa2-fc2 is still in R.

LCKurtz said:
Set the expressions in the given matrix with a,b,c 's equal to the given matrix and see if the equations are consistent. You have four equations in 3 unknowns so it may or may not work.
Sorry, I meant I didn't know how to do part "c" not part "b."
 
pyroknife said:
I skipped a step in there (factored) because I was being lazy about typing it out on here.
for 3)
fV=
fa2-fb2 fa2
fb2+fc2 fa2-fc2
=
f(a2-b2) f(a2)
f(b2+c2) f(a2-c2)
which is of the same form as S.

Technically, no, it isn't. The first one is if you let a = fa2, b= fb2 and c =fc2

On one of my previous assignments, this is what I said (applied to the context of this problem):

For 2) Since a1 and b1 are both in R, then a1, b1, c1, a2, b2, c2 are in R, then a1+a2-b1-b2, a1+a2, b1+b2+c1+c2, a1+a2-c1-c2 is still in R.

For 3)

since a2, b2, c2 are in R, then fa2-fb2, fa2, fb2+fc2, fa2-fc2 is still in R.Sorry, I meant I didn't know how to do part "c" not part "b."

Write out your matrix$$
\begin{bmatrix} a-b & a\\b+c & a-c \end{bmatrix}$$as the sum of matrices, where the first one contains only the a terms, the second only b terms and the third only the c terms. Then factor the letters out of each and see whether the matrices you have are linearly independent.
 
oops
 
LCKurtz said:
The first one is if you let a = fa2, b= fb2 and

Sorry, what do you mean by that?


Thanks.
 
pyroknife said:
I skipped a step in there (factored) because I was being lazy about typing it out on here.
for 3)
fV=
fa2-fb2 fa2
fb2+fc2 fa2-fc2
=
f(a2-b2) f(a2)
f(b2+c2) f(a2-c2)
which is of the same form as S.

LCKurtz said:
Technically, no, it isn't. The first one is if you let a = fa2, b= fb2 and c =fc2

pyroknife said:
Sorry, what do you mean by that?


Thanks.

I mean if you let a = fa2, b= fb2 and c =fc2 in your matrix above in blue, it will be in the form
$$
\begin{bmatrix} a-b & a\\b+c & a-c \end{bmatrix}$$
but the one in red wouldn't be. Additionally, when writing up your argument you should have it written that fV = the red one = the blue one, in that order and then note the blue one is in the right form.
 
LCKurtz said:
I mean if you let a = fa2, b= fb2 and c =fc2 in your matrix above in blue, it will be in the form
$$
\begin{bmatrix} a-b & a\\b+c & a-c \end{bmatrix}$$
but the one in red wouldn't be. Additionally, when writing up your argument you should have it written that fV = the red one = the blue one, in that order and then note the blue one is in the right form.

Yeah I i screwed that order up, but I am still not sure why the blue, rather than the red, resembles the original form more. Like if I were to look at the given S it seems that red would be more intuitive.

On second thought, I can see the blue resembling it pretty closely as well.

But how do you decide which one is better? It seems other one would work. Would it have been wrong if i had it in the red form where the f is factored from the terms?
 
pyroknife said:
I skipped a step in there (factored) because I was being lazy about typing it out on here.
for 3)
fV=
fa2-fb2 fa2
fb2+fc2 fa2-fc2
=
f(a2-b2) f(a2)
f(b2+c2) f(a2-c2)
which is of the same form as S.

LCKurtz said:
I mean if you let a = fa2, b= fb2 and c =fc2 in your matrix above in blue, it will be in the form
$$
\begin{bmatrix} a-b & a\\b+c & a-c \end{bmatrix}$$
but the one in red wouldn't be. Additionally, when writing up your argument you should have it written that fV = the red one = the blue one, in that order and then note the blue one is in the right form.

pyroknife said:
Yeah I i screwed that order up, but I am still not sure why the blue, rather than the red, resembles the original form more. Like if I were to look at the given S it seems that red would be more intuitive.

On second thought, I can see the blue resembling it pretty closely as well.

But how do you decide which one is better? It seems other one would work. Would it have been wrong if i had it in the red form where the f is factored from the terms?

I would certainly take points off for that. Look at the upper left element. In the blue example it is a difference of two things. In the red one it is a product of two things. While they represent the same number, they are not the same form of expression. In fact, it is the crux of the argument that when multiplying the matrix by f, which multiplies into each element and gives the red matrix, it can be rearranged by the distributive law to get the blue matrix, which gives the correct form to be an element of the subspace. That step should not be glossed over or misunderstood.

You should also note that although I have used (3) in our discussion, many of the same criticisms apply to your proof for (2) and also need attention.
 
Last edited:

Similar threads

  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 17 ·
Replies
17
Views
11K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 11 ·
Replies
11
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K