Hello, Determine if the subset of C(-infi,infin) is a subspace of C(-inif,infin) The set of all even functions: f(-x)=f(x)
i said yes,
but i am unclear as to why exactly
since we know that C(-infi,infin) is a vector space, we have to prove two theorems in order for this to be a subspace
1)is the subspace closed under addition? 2)is the subspace closed under scalar multiplication
i dont think its closed under multiplication because if we mucltiply by 0 we get 0, not C
i think it rests on 3 thrms; closure closure and zero
the existence of the 0 element is a requirement for all vector spaces, we take it for granted here because we know it exists in C
okay,
im not to sure I understand the notation C(...)
so that just leaves us with two and it should be clear that if f(-x)=f(x), then cf(-x)=cf(x) so that's proven (I think, maybe not rigorously enough)
i believe it is continous functions
@amistre64 yes it is the set of all continuous functions
I'm not sure how to demonstrate what I think is a well-known theorem, which is that the sum of two even functions is also even, but that is what is required to prove the first part
so then for subspaces, we also need to prove the 10 axioms
x^2 + x^4 + x^6 + ... + x^(2n) is an even function
given that the subspace we are talking about is the subspace of a known vector space, we only need to prove the two theorems I stated the other 8 come free with the fact that C(...) is a vector space
f(-x)+g(-x)=f(x)+g(x) ....maybe that proves that this is closed under addition, not sure
i guess i am not understanding the difference between a subset and a subspace, i know that a vector spaces had to fulfill those ten axioms
here are the ten you refer to http://tutorial.math.lamar.edu/Classes/LinAlg/VectorSpaces.aspx if we want to know that some space W is a subspace of a vector space V, all we need to do is prove that addition and scalar multiplication are /closed/ in W since eight of the axioms that are fulfilled by V carry over to W, we only need to check the closure properties, as I said (i.e. do we stay 'in bounds' if we perform vector operations in that space) they describe how the other 8 axioms come for free in this page http://tutorial.math.lamar.edu/Classes/LinAlg/Subspaces.aspx
so for closure under addition, in thos case we can say that f(-x)+f(-x)=f(x)
well you need two different vectors, so call one f and the other g
f(-x)+g(-x)=w(x)
eh, that doesn't seem to prove anything, since we have no indication that w should be even...
but we know what f(-x)=f(x), so both function since they are even would yeid even function, for any -x
yes, but I think we have to try to prove that the sum of two even functions is also even
but it is always even isnt
I do not understand what you just said...
here's what I'm thinking f(-x)+g(-x)=w(-x)=f(x)+g(x)=w(x) hence f+g=w where w is even this is the proof I would give
okay,i think i have the idea, i just need to be able to formalize it into a proof, like you so kindly did
yeah, I have trouble with this kind of things at times too I've learned a lot by practicing on this site though
but I'm pretty sure that one works
so for closure under mulitplication: f(-x)=f(x) c(f(-x))=c(x)---->c(f(x))=cf(x)
I think so, but you wrote it a little strangely f(-x)=f(x) c[f(-x)]=c[f(x)]=cf(x) I think this is sufficient
For this proof that you gave, for closure under addition, i think the w(-x) should be w(x) f(-x)+g(-x)=w(-x)=f(x)+g(x)=w(x)
f(-x)+g(-x)=w(-x)=f(x)+g(x)=w(x) ^ you mean here?
yes
no, because I cannot assume that f(-x)+g(-x)=w(x) I have to basis for that assumption
Wow, what a really cool and intense discussion, with everyone working together! Made my day!
This guy turingtest is really helping me out, i would not have been able to do my homework if it wasnt for him
@Preetha thanks, you're always so sweet :)
let me do it more slowly 1) let us define a function f(x)+g(x)=w(x)
Thank you Turing, see how you have helped Ryoback! I can do sweet, but not Math at your level!
TurningTest for president
haha, much love to all :D 2) by assumption (1) we have that f(-x)+g(-x)=w(-x)
however since f and g are even we have that 3) f(-x)+g(-x)=f(x)+g(x)=w(x)
hence, putting it all together we have that 4) f(-x)+g(-x)=f(x)+g(x) -> w(-x)=w(x) therefor w(x) is even, and so the set of even functions is closed under addition QED :D
yay, nice jobTuringTest. For closure under multiplcation, i can say: c[f(-x)]=cf(-x)=cf(x)
yeah, I believe so not too much to much explanation required for that one I don't think
can you help me with this other one f(x)=c
the set of all constant functions
if it's a subspace? try to prove closure under addition: what is the sum of two constants?
yes prove its a subspace of (-inif,inif), sum of two constants is a constnat
right, so does that mean it's closed under addition?
yes
great now try to write that out mathematically as a proof (it shouldn't be very complicated)
f(x)+g(x)=w(x)=c
because we know the functions are constants I think it is more clear to just write f(x)=a g(x)=b let a+b=c=h(x) (where a, b, and c are elements of R) f(x)+g(x)=h(x) -> a+b=c since c is an element of R, the closure has been shown
and for multiplication i got a[f(x))=af(x)=c*a
were a and c are constants
oh my first proof was better anyway, your other one is fine \(c[f(x)]=c(a)=ca=constant\) some teachers may want you to add more steps, but this is pretty clear in my opinion
youve been a great help, i might need you for this last problem, but let me try and work it out first okay
sure
actually I messed up the addition proof a bit above it should be because we know the functions are constants I think it is more clear to just write f(x)=a g(x)=b let a+b=c=h(x) (where a, b, and c are constants) f(x)+g(x)=h(x) -> a+b=c since c is a constant, the closure has been shown ( I mentioned R earlier, but that doesn't help because we need to prove that we are closed not just in R, but specifically the subspace of R that is the set of all constants. basic idea works though... )
are you still here
So, the question asks: Let A be a fixed 2by3 matrix. Prove that the set: w={x is in R^3:Ax=[1] [2] is not a subspace of R^3
we want to prove that\[A\vec x=\left(\begin{matrix}1 \\ 2\end{matrix}\right)\]is not a subspace of \(\mathbb R^3\) ?
but how do i expant that Ax matrix if it is a 2x3
expand oh...
basically they are saying that the solutions oof the matrix have to satify teh 2 conidtions for addition and mulitplication right
right I have to think about the multiplication part, but the scalar part is easy
\[c(A\vec x)=c\left(\begin{matrix}1 \\ 2\end{matrix}\right)=\left(\begin{matrix}c \\ 2c\end{matrix}\right)\]which is not in W
Cant we say that its not a subspace becauase the zero vector is not cotainied
no, look... we are working in a supposed subspace of \(\mathbb R^3\) which we know has the zero vector, so we do not need to check that axiom that fact that\[0 \left(\begin{matrix}1 \\ 2\end{matrix}\right)=\vec 0\]just illustrates the same thing I did above with c=0 you just chose a specific c trying this trick with any c except c=1 will show that the result is not contained in W
okay, so what we have is this: we have two equations with three variable. So we need to find x values (x1,x2,x3), we are trying to prove that the vector(x1,x2,x3) is not a subspace of R3.
this one is a little weird for me, I have to think about it... I think I have shown that this is not a vector space simply by multiplying by a constant \(c\neq1\) So really, no more needs to be done here, but if you \(must\) show that this is nbot closed under addition as well, I'll have to think about that part I will call for some backup on this one: @phi linear algebra subspace help?
can you explain why or how you determiend it no to be closed under multiplication
because\[c(A\vec x)=c\left(\begin{matrix}1 \\ 2\end{matrix}\right)=\left(\begin{matrix}c \\ 2c\end{matrix}\right)\]and if \(c\neq1\) then the resultant vector on the RHS is not\[\left(\begin{matrix}1 \\ 2\end{matrix}\right)\]as is required by our vector space hence we do not have closure
what if we had to test if f(x)=1 is a vector space? let c=3 3f(x)=3(1)=3 which is not in W similar argument above
How about this for an argument: u+v closed under addition? say u in V, and v in V is (u+v) in V? A(u+v) =? [1 2] Au + Av = [1 2]+[1 2] = [2 4] ≠ [1 2] so (u+v) is not in V
nice and simple, just how I like it :)
Join our real-time social learning platform and learn together with your friends!