The vector space status of all nonconstant functions

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
8 replies · 3K views
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.
 
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.