1
$\begingroup$

A quick check: Is it safe to claim that pointwise addition of functions (in general) is associative? where pointwise addition of functions is defined by $(f+g)(x)=f(x)+g(x)$. If not, I guess it is at least true for continuous functions on a closed interval? How general can I go? What are the conditions for this to be true?

  • 0
    @K$a$nnappanSampath: Thank you :)2012-02-16

2 Answers 2

2

This is the most general setting: if $A$ is a set with an associative operation $\star$, and $S$ is any set, the collection of functions $f:S\to A$ (often denoted $A^S$) has a natural associative operation $\bullet$ defined by $(f\bullet g)(s)=f(s)\star g(s).$ This operation $\bullet$ is associative, because $(f\bullet (g\bullet h))(s)=f(s)\star(g\bullet h)(s)=f(s)\star(g(s)\star h(s))=$

$(f(s)\star g(s))\star h(s)=(f\bullet g)(s)\star h(s)=((f\bullet g)\bullet h)(s).$ In the case you're asking about, $A$ would be the real numbers, and $\star$ would be addition. So yes, you are safe, in that the statement is true; but depending on the course, your teacher may expect you to prove that it is true, in which case you'd use the argument above.

  • 0
    Beat me to it. +12012-02-16
0

Hint: a product of semigroups is a semigroup. Apply this to the power $\:G^I = \{f:I\to G\}$.

Generally equational identities like the associative law are always preserved in product algebras.