The vector space status of all nonconstant functions

MoreDrinks
Messages
45
Reaction score
0

Homework Statement


Let V be the set of all nonconstant functions with operations of pointwise addition and scalar multiplication, having the real numbers as their domain. Is V a vectorspace?


Homework Equations


None.


The Attempt at a Solution


My guess is, no. For example
F(x) = x2
Among the axioms for vector space, for an arbitrary element of a vector space u there must be a -u. We can put any number in x and it will end up positive. We can multiply it by any negative scalar, but then squaring it will make it positive.

Am I right? Am I wrong? Am I right for the wrong reasons?

If I am right, there's another disturbing question that comes up: the explanatory portions of the chapter I'm working on state that "The set of all functions having the real numbers as their domain, with operations of pointwise addition and scalar multiplication, is a vector space." Well, isn't the set of all nonconstant functions a subset of that set?
 
Physics news on Phys.org
MoreDrinks said:

Homework Statement


Let V be the set of all nonconstant functions with operations of pointwise addition and scalar multiplication, having the real numbers as their domain. Is V a vectorspace?


Homework Equations


None.


The Attempt at a Solution


My guess is, no. For example
F(x) = x2
Among the axioms for vector space, for an arbitrary element of a vector space u there must be a -u. We can put any number in x and it will end up positive. We can multiply it by any negative scalar, but then squaring it will make it positive.

Am I right? Am I wrong? Am I right for the wrong reasons?

If I am right, there's another disturbing question that comes up: the explanatory portions of the chapter I'm working on state that "The set of all functions having the real numbers as their domain, with operations of pointwise addition and scalar multiplication, is a vector space." Well, isn't the set of all nonconstant functions a subset of that set?


Right for the wrong reason. Nonconstant functions are a subset (not a subspace) of all functions. But it's not closed. Find two nonconstant functions that you can add to get a function that is non-nonconstant, i.e. constant.
 
Dick said:
Right for the wrong reason. Nonconstant functions are a subset (not a subspace) of all functions. But it's not closed. Find two nonconstant functions that you can add to get a function that is non-nonconstant, i.e. constant.

Oh, okay. So, for example

F(x)= x+1
G(x)= -x +1

Add them together and get a constant, 1. Is that correct?

If you have a moment, what was wrong with my original reasoning with F(x)=x^2
 
Last edited:
MoreDrinks said:
Oh, okay. So, for example

F(x)= x+1
G(x)= -x +1

Add them together and get a constant, 1. Is that correct?

If you have a moment, what was wrong with my original reasoning with F(x)=x^2

Yes, that's correct. Except if add them you get 2. As for your first reasoning I simply don't understand it. kx^2 isn't the same thing as (kx)^2.
 
I agree with Dick that you are "right for the wrong reason". The lack of closure is a killer.

Another killer: What's your zero vector, the additive identity? It can only be f(x)=0, but that's a constant function, so it's not in your set.
 
D H said:
I agree with Dick that you are "right for the wrong reason". The lack of closure is a killer.

Another killer: What's your zero vector, the additive identity? It can only be f(x)=0, but that's a constant function, so it's not in your set.

You are correct sir! Thanks.
 
Dick said:
Yes, that's correct. Except if add them you get 2. As for your first reasoning I simply don't understand it. kx^2 isn't the same thing as (kx)^2.

Whoops, yeah, two. Thank you for your help.

Oh, am I just wrong on the order of operations - the exponential would come first in kx^2, then multiplication by the scalar, which could leave us with negatives?
 
Last edited:
MoreDrinks said:
Whoops, yeah, two. Thank you for your help.

Oh, am I just wrong on the order of operations - the exponential would come first in kx^2, then multiplication by the scalar, which could leave us with negatives?

Yes. Exactly.
 
Dick said:
Yes. Exactly.

Thanks for all the help. I usually end up coming here when I'm exhausted and frustrated, and then we see sloppy mistakes on my part. You're a tremendous help.
 
Back
Top