Understanding Vector Spaces in Real Analysis

[gilabert1985]

Hi, I have this problem that is solved, but I don't understand the theory behind it.

It says: Which of the following sets, with the natural definitions of addition and scalar multiplication, form real vector spaces?

A) The set of all differentiable functions $f:(0,1)\rightarrow\Re$ such that $f+f'=0$.
B) The set of all differentiable functions $f:(-1,1)\rightarrow\Re$ such that $f+f'=0$ and $f(0)=1$.

The answer says the first one is a vector space, but that the second one is not because zero does not belong to the set... However, I don't see the reasoning behind it. Maybe they are supposed to be the opposite (A is not a vector space and B is) and the answer is wrong? No one has complained about it and there is nothing on the course forum, so I think the answers should be correct :/

Thanks a lot!

 

[Number Nine]

but that the second one is not because zero does not belong to the set... However, I don't see the reasoning behind it.

Does the second set contain the zero function? Can a set of functions be a vector space over the reals if they lack an additive identity (the zero function)? What does the definition of "vector space" say?

 

[gerben]

Let's call the sets defined in A) and B), $A$ and $B$. Then try to think of a zero element in set $A$ and in set $B$.

A zero element in set $A$ would be an element $g \in A$ such that for all $f \in A: f + g = f$.

Can you find such an element in $A$?

 

[Bacle2]

Another general result that answers your questions is:

Given a vector space V, then a subset S of V is a subspace if V is closed under

scaling and under linear combinations (you can clearly describe the first condition

as part of the second.). It is a nice exercise to show that if S satisfies these,

then S is a subspace of V .

 

[SteveL27]

The answer says the first one is a vector space, but that the second one is not because zero does not belong to the set

Remember, when they say "zero" in this context they do not mean the number zero. They mean the zero function. This is an ambiguous usage that you have to keep in mind when dealing with sets of functions.

What is the zero function? It's the function that takes the value zero for every value of its domain. It's the function we'd denote as f(x) = 0. Its graph is the x-axis.

It's differentiable on the entire real line. Its derivative is also the zero function.

Now, what is the value of the zero function at the point x = 0? Well, (x) = 0 for all values of x, so f(0) = 0. But in part (b) we are asked to consider functions such that f(x) = 1. The zero function doesn't have that property, so it's not in that set.

 

[jbunniii]

It's easy to see that B is not closed under addition. If f(0) = 1 and g(0) = 1, then what is (f+g)(0)?