Linear Algebra-Subspace Functions

[FinalStand]

Homework Statement

Consider w= {f \in F(\Re|f(-x)=f(x) for all x \inR
Use the subspace test to verify W is a subspace of F(R)

Homework Equations

The Attempt at a Solution

0 is in W obviously

for closure under addition:
(f+g)(x) = (f+g)(-x) = f(x) +g(x) = f(-x)+g(-x)

I am confused how to verify closure under scalar multiplication

af(x) = af(-x) = (af)(x)=(af)(-x)?

I am not sure how to do this please help thanks

 

[Fredrik]

Homework Statement

Consider w= {f \in F(\Re|f(-x)=f(x) for all x \inR
Use the subspace test to verify W is a subspace of F(R)

Homework Equations

The Attempt at a Solution

0 is in W obviously

for closure under addition:
(f+g)(x) = (f+g)(-x) = f(x) +g(x) = f(-x)+g(-x)

I am confused how to verify closure under scalar multiplication

af(x) = af(-x) = (af)(x)=(af)(-x)?

I am not sure how to do this please help thanks

You should use the definitions of the addition and scalar multiplication operations. They are of course (f+g)(x)=f(x)+g(x) and (af)(x)=a(f(x)). So when you check closure under addition, it should look like this: (f+g)(x)=f(x)+g(x)=f(-x)+g(-x)=(f+g)(-x). Can you do the same for scalar multiplication?

 

[FinalStand]

I see that is more easy to understand. So it is (af)(x) = a(f(x))=a(f(-x))=(af)(-x)

 

[Fredrik]

Yes, that's exactly right.

 

[HallsofIvy]

You say "0 is in W obviously". Why is that obvious? If I were your instructor, I would want to be sure you understood exactly what "0" is in this case.

 

[FinalStand]

f(-0)=f(0)

 

[Fredrik]

f(-0)=f(0)

This is very wrong. Looks like Halls was right to ask, and I was wrong not to.

 

[FinalStand]

then how do you do it? f(x)=0 f(-x)=0?

 

[FinalStand]

This is very wrong. Looks like Halls was right to ask, and I was wrong not to.

So f(x)=f(-x)=0?

 

[Fredrik]

You need to start by explaining which member of F(ℝ) is the zero vector. Once you have done that, you can start thinking about whether it's a member of the subset W or not.

 

[FinalStand]

So I have to show examples?

 

[Fredrik]

No, you just have to correctly identify which one of the members of F(ℝ) is the zero vector. Once you have done that, it's easy to verify that it's a member of W.

 

[FinalStand]

I actually have no idea how to find which one is the member...I am lost now. And confused on what you mean by "members"

 

[Fredrik]

Are you perhaps more familiar with the term "element"? As in "2 is an element of the set {1,2,3}". "Member" is an alternative term for "element". So 2 is a member of the set {1,2,3}. The members (i.e. elements) of a vector space are also called "vectors".

Do you understand what a zero vector is? Suppose that X is a vector space, and suppose that z is a member of X. What is the property that z must have in order to be considered the zero vector of X.

 

[FinalStand]

X + z = x?

 

[Fredrik]

X + z = x?

That's the right idea, but you need to include the words "for all". The correct statement is "For all x in X, we have x+z=x". So you do know what a zero vector is. Now, is there any member of F(ℝ) that has that property?

Did you type an uppercase X by accident, or did you mean something different from x+z=x?

 

[FinalStand]

I was typing on a phone so it autocorrects it to capitalized letter for the start of the sentence. f(x+0)=f(-x+0)?

 

[Fredrik]

f(x+0)=f(-x+0)?

No. You seem to be ignoring the definition of F(ℝ). How is F(ℝ) defined again?

Also, when you make a statement that's supposed to be part of a proof, you need to make sure that every variable is assigned a value, or is part of a "for all" or "there exists" statement. For example:

Bad: x+z=x

Good: Let X be a vector space. Let z be the zero vector of X. For all x in X, we have x+z=x.

 

[micromass]

Maybe you should start by actually giving some examples of elements in the "vector space"?? Right now, the definition is pretty abstract. So can you give two or three examples of elements?

 

[FinalStand]

I actually have eno clue what the definition is, I kind of skipped the entire lecture on the vector space part, all I know it is similar with subspaces and etc. So I guess I have to just let this question go with marks taken off because it is due in 5 hours and its 4 am over here. Linear Algebra is more abstract than I like.

I need sleep. THanks for the help. I will come back tomorrow to try to understand the problem. I will just put random guesses for the question for now :P.

 

[Fredrik]

Hopefully this experience will at least make you realize that it's futile to try to prove a statement without using the definition of the terms and notations in the statement. You were supposed to prove a statement about a specific vector space denoted by F(ℝ). (You wrote $F(\Re)$ in post #1, but ℝ is the standard notation for the set of real numbers). So you absolutely have to use the definition of F(ℝ). If you don't, then there's no reason to think that whatever you have managed to prove has anything to do with F(ℝ).

By the way, I have answered two very similar questions in the last week, and both of those guys made the exact same mistakes you did: 1. They ignored the definition of the vector space they were working with. 2. They made statements about variables without assigning them values or saying "for all" or "there exists". 3. When they were supposed to verify that the zero vector was in the subset, they started considering stuff like f(0).

1 and 2 are probably the two most common mistakes made by people who are just starting out with proofs. 1 is a huge mistake, pretty much the biggest one you can make next to assuming that the statement you want to prove is true. 3 is a mistake that you wouldn't make if you hadn't already made mistake 1.

 

[micromass]

Being able to solve problems like this is pretty important. So you will probably not get good marks on this question, but I still encourage you to solve this question. You should absolutely be able to get this. Maybe go to your office hours and tell the professor that this kind of question is troubling you?

 

[FinalStand]

Well at the point where the function touches the y axes so x=0, then no matter what the sign is both f(x)=f(-x)= the same thing. So does it mean that the vertex point at the origin satisfies this?

 

[Mark44]

Well at the point where the function touches the y axes so x=0, then no matter what the sign is both f(x)=f(-x)= the same thing. So does it mean that the vertex point at the origin satisfies this?

Forget the f(x) = f(-x) for a moment. What function f is such that, if g is a function, g(x) + f(x) = g(x)?

You're making this a lot more complicated than it really is.

 

[Fredrik]

What function f is such that, if g is a function, g(x) + f(x) = g(x)?

This equality should be g+f=g. f and g are functions. f(x) and g(x) are real numbers.

 

[Fredrik]

Well at the point where the function touches the y axes so x=0, then no matter what the sign is both f(x)=f(-x)= the same thing. So does it mean that the vertex point at the origin satisfies this?

The 0 you're talking about is just a member of the domain of f. (And what is f anyway?) This has nothing to do with the zero vector of F(ℝ). You really need to look at the definition of F(ℝ).

I also second micromass' recommendation that you should try to think of a few examples of members of F(ℝ), just to make sure that you know what sort of things are considered "vectors" in this problem.

 

[micromass]

This equality should be g+f=g. f and g are functions. f(x) and g(x) are real numbers.

Or he should have said $g(x) + f(x) = g(x)$ for all x.

 

[micromass]

FinalStand, I think it's easier if you first think about this:

Maybe you should start by actually giving some examples of elements in the "vector space"?? Right now, the definition is pretty abstract. So can you give two or three examples of elements?

So instead of trying to find the "0" element or trying to prove anything, I would first focus on finding a few examples of elements in your space.

 

[Mark44]

What function f is such that, if g is a function, g(x) + f(x) = g(x)?

This equality should be g+f=g.

It makes sense either way. For you to insist that the equality should be as you wrote, is a bit pedantic, IMO.

f and g are functions. f(x) and g(x) are real numbers.

As micromass points out, the equation should hold for all real x. That's what I meant, but my thought that was that the OP would understand what I meant.

 

[FinalStand]

Where is a good site I can read the definition? Because I skipped all classes on vector spaces and my prof doesn't post notes online. And the prof only took off 0.5 points off for this question.

And I really have no clue how this works. Now I don't even know what the point of (af)(x)=a(f(x)) is