Group Homomorphism/Examples/Pointwise Addition on Continuous Real Functions on Closed Unit Interval/Example 4/Kernel

Example of Group Homomorphism
Let $J \subseteq \R$ denote the closed unit interval $\closedint 0 1$.

Let $\map {\mathscr C} J$ denote the set of all continuous real functions from $J$ to $\R$.

Let $G = \struct {\map {\mathscr C} J, +}$ denote the group formed on $\map {\mathscr C} J$ by pointwise addition.

Let $\struct {\R, +}$ denote the additive group of real numbers.

Let $I_J$ denote the identity mapping on $J$:
 * $\forall x \in J: \map {I_J} x = x$

Let $\phi: \struct {\map {\mathscr C} J, +} \to \struct {\R, +}$ be the homomorphism defined as:
 * $\forall f \in \map {\mathscr C} J: \map \phi f = \ds \dfrac \pi 3 \int_0^1 \map f x \cos \dfrac {\pi x} 6 \rd x$

For all $c \in \R$, let $f_c: \R \to \R$ be the constant mapping:
 * $\forall x \in \R: \map {f_c} x = c$

Then:
 * $\forall c \in \R: \map \phi {f_c} = c$

and there exists a unique $m \in \R$ such that:
 * $\map \phi {I_J - f_m} = 0$

where in this case:
 * $m = \dfrac {6 \paren {\sqrt 3 - 2} } \pi$

Proof
From Group Homomorphism: Example 4, we have that $\phi$ is indeed a homomorphism.

Let $c \in \R$ be arbitrary.

We have:

Then we have: