Prove that set of all functions from R to R has multiplication distributive:Question?

Suppose represents the set of all the functions from to ;that is, the set of all real-valued functions of a set of a real variable. Prove that multiplication is distributive over addition for .

What this means is:

Let , and are three functions.

We have to prove that(part 1) and (part 2)

**Proof:**

Now from calculus we know that for two functions and :

...........(1)

......(2)

Proof of part 1:

Proof of part 2:

So has multiplication distributive over addition.[Q.E.D]

The steps I've taken to prove this are they correct? Am I right to prove it like this? Can anyone kindly confirm?

Re: Prove that set of all functions from R to R has multiplication distributive:Quest

I don't think its quite that simple.

This set you describe forms a vector space, where the vectors are functions f,g,etc...

it doesn't make sense to multiply vectors. meaning [f[g+h]](x) means add the vectors g + h, multiply by vector f and evaulate it at a point x from the field .

instead for part 1. h(x)[(f+g)(x)] = h(x)[f(x)+g(x)] = h(x)f(x) + h(x)g(x)

Since by the vector space axioms (f+g)(x) = f(x) + g(x). so the above holds.

The same problem with #2,

It might seem as though its a small problem but the brackets and paranthesis can make the statement mean something completely different.

Re: Prove that set of all functions from R to R has multiplication distributive:Quest

Quote:

Originally Posted by

**x3bnm** Now from calculus we know that for two functions

and

:

...........(1)

......(2)

You are saying this as if these are theorems, but, in fact, these are definitions of addition and multiplications on functions.

Quote:

Originally Posted by

**x3bnm** Proof of part 1:

You have justified the second equality, but not the first one.

Quote:

Originally Posted by

**jakncoke** This set you describe forms a vector space, where the vectors are functions f,g,etc...

it doesn't make sense to multiply vectors.

Then it is not just a vector space (but something like an algebra over a field). However, I am not sure talking about vector spaces is needed here; the problem is easy as is.

Quote:

Originally Posted by

**jakncoke** meaning [f[g+h]](x) means add the vectors g + h, multiply by vector f and evaulate it at a point x from the field

.

But you said that it doesn't make sense to multiply vectors (i.e., functions).

Quote:

Originally Posted by

**jakncoke** instead for part 1. h(x)[(f+g)(x)] = h(x)[f(x)+g(x)] = h(x)f(x) + h(x)g(x)

Since by the vector space axioms (f+g)(x) = f(x) + g(x). so the above holds.

By what vector space axiom? This is not multiplication by a scalar; this is application of a function to an argument!

Here is a proof. We need to show that h(f + g) = hf + hg. By definition of (pointwise) equality of functions, this means [h(f + g)](x) = [hf + hg](x) for every x. So fix an arbitrary x.

Re: Prove that set of all functions from R to R has multiplication distributive:Quest

Quote:

Originally Posted by

**emakarov** You are saying this as if these are theorems, but, in fact, these are definitions of addition and multiplications on functions.

You have justified the second equality, but not the first one.

Then it is not just a vector space (but something like an algebra over a field). However, I am not sure talking about vector spaces is needed here; the problem is easy as is.

But you said that it doesn't make sense to multiply vectors (i.e., functions).

By what vector space axiom? This is not multiplication by a scalar; this is application of a function to an argument!

Here is a proof. We need to show that h(f + g) = hf + hg. By definition of (pointwise) equality of functions, this means [h(f + g)](x) = [hf + hg](x) for every x. So fix an arbitrary x.

you are right, i was thinking of something else and incorrectly at that .

Re: Prove that set of all functions from R to R has multiplication distributive:Quest

Thanks emakarov and jakncoke. I understand now.