Is P:V→V a Linear Function with Projection Property?

  • Thread starter Thread starter PirateFan308
  • Start date Start date
  • Tags Tags
    Linear
Click For Summary

Homework Help Overview

The discussion revolves around the properties of a linear function defined as P:V→V, where V is a direct sum of two subspaces U and U'. The original poster is tasked with demonstrating that P is linear and possesses certain projection properties.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • The original poster attempts to prove the linearity of P by verifying the conditions for linearity but expresses confusion regarding the assumptions about the sums of vectors in V.
  • Some participants question the notation used by the original poster and suggest clarifying the definitions of the components in the direct sum.
  • Hints are provided regarding the behavior of P on elements from U and U', and how these properties might simplify the proof.
  • There is a discussion about the implications of U and U' intersecting only at zero and how this affects the uniqueness of vector representations in V.

Discussion Status

Participants are actively engaging with the problem, providing hints and clarifications. The original poster is beginning to understand the implications of the direct sum and how to apply it to the proof of linearity. There is a recognition of the need to clarify notation and assumptions, but no consensus has been reached on the complete solution.

Contextual Notes

The original poster expresses difficulty in showing work due to confusion about the problem's requirements. There is an acknowledgment of the need to adhere to the definitions of linearity and the properties of projections in the context of the direct sum.

PirateFan308
Messages
91
Reaction score
0

Homework Statement


Suppose that V is the direct sum U[itex]\oplus[/itex]U' where U, U' are subspaces of V, which is a subspace of Fn. Define P:V→V as follows: if v[itex]\in[/itex]V then we know we can write v uniquely as v=u+u' for some u[itex]\in[/itex]U, u'[itex]\in[/itex]U'. Define P(v)=u. Show that:
a) P is linear
b) P2=P (a linear function with this property is called a projection).
Let P'=I-P where I is the identity function
c) PP'=0=P'P
d) U=KerP', U'=KerP


The Attempt at a Solution


Since V is a direct sum of U and U', then U[itex]\bigcap[/itex]U'={0}
To prove that P is linear, I need to prove that P(v+v')=P(v)+P(v') and P(cv)=cP(v)
[itex]P(v+v') = u[/itex]
[itex]P(v)+P(v') = u+u'[/itex]
Which obviously doesn't work. I'm using the assumption that v+v' is still in V, which is clearly an incorrect assumption. I also tried this:
[itex]P(v+v') = P((u_1+u_1')+(u_2+u_2')) = P(u_1'+u_2'+u_1+u_2)[/itex]
[itex]P(v)+P(v') = P(u_1+u_1')+P(u_2+u_2')[/itex]
For closed under multiplication, I didn't even know where to start.

Sorry for not showing very much work, but I'm so stuck that there is no work to show...:confused: Thanks!
 
Physics news on Phys.org
Your notation is awkward because you're using the ' to indicate two different ideas. Let's reserve ' to denote the part of the vector that lies in U'.

Suppose [itex]v_1[/itex] and [itex]v_2[/itex] are in [itex]V[/itex]. The goal is to show that

[tex]P(v_1 + v_2) = P(v_1) + P(v_2)[/tex].

As V is the direct sum of U and U', there exist unique

[tex]u_1, u_2 \in U[/tex]
and
[tex]u_1', u_2' \in U'[/tex]

such that

[tex]v_1 = u_1 + u_1'[/tex]
and
[tex]v_2 = u_2 + u_2'[/tex]

Now start from [itex]P(v_1 + v_2)[/itex] and start plugging things in and simplifying based on the definition of P.
 
hint: for x in U, p(x)=x, and for y in U', p(y)=0. now what happens to P(z+w) when z+w is in V? also you may need to know that U and U' only intersect at zero.
 
jbunniii said:
Your notation is awkward because you're using the ' to indicate two different ideas. Let's reserve ' to denote the part of the vector that lies in U'.

Suppose [itex]v_1[/itex] and [itex]v_2[/itex] are in [itex]V[/itex]. The goal is to show that

[itex]P(v_1 + v_2) = P(v_1) + P(v_2)[/itex].

As V is the direct sum of U and U', there exist unique

[itex]u_1, u_2 \in U[/itex] and [itex]u_1', u_2' \in U'[/itex]

such that

[itex]v_1 = u_1 + u_1'[/itex] and [itex]v_2 = u_2 + u_2'[/itex]

Now start from [itex]P(v_1 + v_2)[/itex] and start plugging things in and simplifying based on the definition of P.

Ok, so [itex]P(v_1+v_2) = P(u_1+u_1'+u_2+u_2') = P(u_1+u_2+u_1'+u_2')[/itex]

Let [itex]u_3=u_1+u_2[/itex] which will still be in U. Let [itex]u_3'=u_1'+u_2'[/itex] which will be in U' because both U and U' are subspaces of V which are closed under addition.

[itex]P(u_1+u_2+u_1'+u_2') = P(u_3+u_3') = P(v_3) = u = P(v)[/itex] where u is in U (because P(v) is defined to equal u)

[itex]P(v_1)+P(v_2) = P(u_1+u_1')+P(u_2+u_2') =[/itex]

Once again, I'm stuck. I know that I should use the fact that V is a direct sum of U and U', which means the intersection of U and U' is only at zero, v[itex]\in[/itex]V is uniquely the sum of u+u', if u+u'=0 then u=u'=0 but I don't see where to use this fact.
 
xaos said:
hint: for x in U, p(x)=x, and for y in U', p(y)=0. now what happens to P(z+w) when z+w is in V? also you may need to know that U and U' only intersect at zero.

How did you figure out that p(x)=x and p(y)=0 (if x is in U and y is in U')?

Because U and U' only intersect at zero, the only time x=y is when x=y=0. So that taking x=y=0, we have P(x)=x=0 and P(y)=0 (which happens to equal y in this case). So if z+w is in V then P(z+w)=x=0=P(y). Or am I taking too far of a leap when I say x=y=0?
 
I think I figured it out. Taking [itex]P(v_1+v_2) = P(u_1+u_1'+u_2+u_2') = P(u_1+u_2+u_1'+u_2')[/itex] and letting [itex]u_3=u_1+u_2[/itex] and [itex]u_3'=u_1'+u_2'[/itex], we get

[itex]P(v_1+v_2) = P(u_1+u_2+u_1'+u_2') = P(u_3+u_3') = u_3[/itex]

[itex]P(v_1)+P(v_2) = P(u_1+u_1')+P(u_2+u_2') = u_1+u_2=u_3[/itex]

I didn't realize that [itex]P(v)=u[/itex] was referring to a specific v and u - I had thought it was an arbitrary v, u, and u' that they were referring to. Whoops!
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
Replies
34
Views
4K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K