Subspaces and perpendiculuar subspaces

  • Thread starter jumbogala
  • Start date
  • #1
423
3

Homework Statement


How do you show that M double perp is a subset of M?

Homework Equations





The Attempt at a Solution


My prof told me to try proving that M is a subset of M perp perp, then to use the facts that if M is a subspace of Rn then T(X) = projU(X) for all X in Rn.

I'm not sure how to go about that. I know logically that it's a subset, but I don't know how to prove it.

I'm thinking that once I prove it, maybe I can show that the dimension of U and U perp perp are equal, so the spaces are equal too?

Can anyone help get me started? Thanks :)
 
Last edited:

Answers and Replies

  • #2
Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
2021 Award
5,009
996
It follows pretty much from the definition of perpendicularity. Try it out and see what happens
 
Last edited:
  • #3
423
3
Okay well I tried this:
Say X is a vector in M.

Then Y is a vector in M perp if Y ● X = 0.

Z is a vector in M perp perp if Z ● Y = 0.

But I can show that every vector X in M is also in M perp perp:
X ● Y = 0 because Y ● X = 0.

Therefore M is a subset of M perp perp. Is that part right?
 
  • #4
Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
2021 Award
5,009
996
Yeah, that's all there is to it for that part
 
  • #5
423
3
Okay now for the next part.
T(X) = projM(X) = Y
dim(M) + dim (M perp) = n

S(Y) = projM perp(Y) = Z
dim(M perp) + dim(M perp perp) = n

Then n - dim(M) = n - dim(M perp perp)
dim (M) = dim(M perp perp)

Since M is a subset of M perp perp then they are equal?
 
  • #6
Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
2021 Award
5,009
996
I'm not sure precisely what your projection notation is supposed to say but the argument basically goes like how you posted:

For all subspaces U, dim(U)+dim(U perp)=n

So dim(M)+dim(M perp)=n

M perp is a subspace also, so dim(M perp)+dim(M perp perp)= n

And then subtract like you did to finish it off
 
  • #7
423
3
Hmm okay, so the projection thing isn't actually necessary?

Thanks for your help, by the way!
 

Related Threads on Subspaces and perpendiculuar subspaces

Replies
0
Views
1K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
12
Views
2K
  • Last Post
Replies
3
Views
1K
Replies
1
Views
1K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
5
Views
2K
Top