Determine whether Subsets are Subspaces

  • Thread starter Thread starter Saladsamurai
  • Start date Start date
  • Tags Tags
    Subsets Subspaces
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
6 replies · 10K views
Saladsamurai
Messages
3,009
Reaction score
7
Here we go...wheeeee

Homework Statement


For each of the following subsets of F3, determine whether it is a subspace of F3

(a)[tex]{(x_1, x_2, x_3) \in \mathbf{F}^3: x_1+2x_2+3x_3=0}[/tex]

(b)[tex]{(x_1, x_2, x_3) \in \mathbf{F}^3: x_1+2x_2+3x_3=4}[/tex]

(c)[tex]{(x_1, x_2, x_3) \in \mathbf{F}^3: x_1x_2x_3=0}[/tex]

(d)[tex]{(x_1, x_2, x_3) \in \mathbf{F}^3: x_1=5x_3}[/tex]

My attempt

(a)
additive ID:
the additive ID exists in the subset since if (x1,x2,x3)=0 then the criteria that x_1+2x_2+3x_3=0 holds true.

closure under addition:
given
[tex]{(x_1, x_2, x_3) \in \mathbf{F}^3: x_1+2x_2+3x_3=0}\text{ and }[/tex]
[tex]{(y_1, y_2, y_3) \in \mathbf{F}^3: y_1+2y_2+3y_3=0}[/tex]

then,

[tex]x_1=-(2x_2+3x_3)\text{ and }y_1=-(2y_2+3y_3)[/tex]

then [tex](x_1, x_2, x_3)+(y_1, y_2, y_3)=(x_1+y_1,x_2+y_2,x_3+y_3)[/tex]

[tex]=(-(2x_2+3x_3)-(2y_2+3y_3),x_2+y_2,x_3+y_3)[/tex]

Applying the condition that [tex]x_1+2x_2+3x_3=0[/tex]

We have:[tex]-(2x_2+3x_3)-(2y_2+3y_3)+2(x_2+y_2)+3(x_3+y_3)=0[/tex]

Closure under Scalar multiplication: given
[tex]{a\in\mathbf{F}\text{ and }(x_1, x_2, x_3) \in \mathbf{F}^3: x_1+2x_2+3x_3=0}[/tex]

[tex]a(x_1,x_2,x_3)=(ax_1,ax_2,ax_3)[/tex]

Applying the condition we have:

[tex]ax_1+2ax_2+3ax_3=0=a(x_1+2x_2+3x_3)[/tex]

Thus the subset is a subspace. Look okay?

(b)
immediately we can see that if (x1,x2,x3)=0 than the condition that [itex]x_1+2x_2+3x_3=4[/itex] does not hold. Not a subspace.(c)
I am having a little trouble seeing this one. if (x1,x2,x3)=0 than the condition that [itex]x_12x_23x_3=0[/itex] is true confirming that the additive ID is included.

Under addition we have

[tex](x_1+y_1,x_2+y_2,x_3+y_3)[/tex] applying the condition that the product=0 we have

[itex](x_1+y_1)(x_2+y_2)(x_3+y_3)=0[/itex]

I am not sure what to say about this??
(d) ... working on it
 
Physics news on Phys.org
Hi Saladsamurai! :smile:
Saladsamurai said:
Here we go...wheeeee

(no leaning over the side! :biggrin:)

Yup, your (a) and (b) are fine. :smile:

Hint for (c): what if x1 = y2 = 0?

and try rewriting (d) as x1 - 5x3 = 0 :wink:
 
Dick said:
For (c) it may be clearer to look at a specific example. a=(1,1,0) and b=(0,1,1) are in your subset, right? What about a+b?

Then a+b=(1+0, 1+1, 0+1) and the product of these elements [itex]\ne 0[/itex] therefore all a+b [itex]\not\in[/itex] U (where U is the subset in question)

So c is not a subspace.
 
Last edited:
For d : If U is the subset in question: The additive identity is on U since if x1=x2=x3=0 then x1=5*x3=0

Closure under addition:
Let a=(x1,x2,x3) where x1=5*x3 and b=(y1,y2,y3) where y1=5*y3
=> a+b = ((5*x3+5*y3), x2+y2, x3+y3)

=(5(x3+y3), x2+y2, x3+y3) => closed.

Closure under scalar multiplication: if r is a scalar and U= {(x1,x2,x3): x1=5*x3} then,

r(x1,x2,x3)=(5r*x3,r*x2,r*x3) => closed under mult.

So d is a subspace
 
This isn't so bad

:notices he has 10 more chapters to go: :rolleyes: