Help with a subspace problem

  • Thread starter vdgreat
  • Start date
11
0

Main Question or Discussion Point

Let V be the vector space of all functions from R to R, equipped with the usual
operations of function addition and scalar multiplication. Let E be the subset of even
functions, so E = {f [tex]\epsilon[/tex] V |f(x) = f(−x), [tex]\forall[/tex]x [tex]\epsilon[/tex] R} , and let O be the subset of odd
functions, so that O = {f [tex]\epsilon[/tex] V |f(x) = −f(−x), [tex]\forall[/tex]x [tex]\epsilon[/tex] R} . Prove that:
(a) E and O are subspaces of V .
(b) E [tex]\cap[/tex] O = {0}.
(c) E + O = V .
 

Answers and Replies

38
0
This is a good problem.

I don't think this should be too difficult for you. I think all you need is a few tips to help you get it. How about you show us what you have done so far?

Basically, all you need to do is apply your definitions. and use one of your proof techniques. For example, in "b" try using proof by contradiction. So assume that th intersection of E and O is not empty, and see where this leads you.

Give the problem a try or tell us your ideas at least and then someone will give you some good comments and feedback. :)
 
11
0
i did a)
trying b and see where it leads

thanks
 
11
0
for b)

i said
E[tex]\cap[/tex]O= {f[tex]\epsilon[/tex]v | f(x)= f(-x) and f(x)=-f(-x), [tex]\forall[/tex]x[tex]\epsilon[/tex]R}
E[tex]\cap[/tex]O= {f[tex]\epsilon[/tex]v | f(x)= -f(x), [tex]\forall[/tex]x[tex]\epsilon[/tex]R}
E[tex]\cap[/tex]O= {f[tex]\epsilon[/tex]v | f(x)= 0, [tex]\forall[/tex]x[tex]\epsilon[/tex]R}
E[tex]\cap[/tex]O= {0} (f(x) =0 is the zero function)

what do you think?
 
11
0
do we need contradiction?
and how about c) any idea??
 
HallsofIvy
Science Advisor
Homework Helper
41,732
893
Be careful with c) E+ O is the space spanned by the vectors in E and in O. In other words, functions in it can be written as a linear combination of even and odd functions.

You might want to think about this: Given any function f, we can define
a) [itex]f_E(x)= (f(x)+ f(-x))/2[/itex], the even "part" of f
b) [itex]f_O(x)= (f(x)- f(-x))/2[/itex], the odd "part" of f

Can you see that [itex]f_E[/itex] is an even function and that [itex]f_O[/itex] is an odd function? And that [itex]f(x)= f_E(x)+ f_O(x)[/itex]? What does that tell you about part c?
 
38
0
for b)

i said
E[tex]\cap[/tex]O= {f[tex]\epsilon[/tex]v | f(x)= f(-x) and f(x)=-f(-x), [tex]\forall[/tex]x[tex]\epsilon[/tex]R}
E[tex]\cap[/tex]O= {f[tex]\epsilon[/tex]v | f(x)= -f(x), [tex]\forall[/tex]x[tex]\epsilon[/tex]R}
E[tex]\cap[/tex]O= {f[tex]\epsilon[/tex]v | f(x)= 0, [tex]\forall[/tex]x[tex]\epsilon[/tex]R}
E[tex]\cap[/tex]O= {0} (f(x) =0 is the zero function)

what do you think?
Not bad. But it depends on how anal your prof is.
I think you might want to use contradiction just to be safe here. (Someone else please tell me if they disagree).

We have that the zero function is in O and E by (a). Now assume that there is another function in the intersection which is NOT equal to the zero function. Then show that is is incorrect by your argument above.

that seems the safest way.
 

Related Threads for: Help with a subspace problem

  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
9
Views
2K
  • Last Post
Replies
1
Views
1K
Replies
6
Views
3K
Replies
4
Views
3K
Replies
3
Views
470
  • Last Post
Replies
7
Views
2K
Top