1

Every function $f$ with domain in $\mathbb{R}$ can be written

$$f=E+O$$

where $E$ is an even function and $O$ is an odd function.

Proof

Assume $f(x) = E(x) + O(x)$.

Then

$$f(-x)=E(-x) + O(-x)=E(x)-O(x)$$

Therefore, given a function $f$,

$$f(x) = E(x) + O(x)$$ $$f(-x)=E(x)-O(x)$$

represent a system of two equations in two unknowns.

We can solve for

$$E(x) = \frac{f(x) + f(-x)}{2}$$

$$O(x) = \frac{f(x) - f(-x)}{2}$$

This concludes the proof.

Now consider a function

$$f(x) = \begin{cases} 0\text{ if } x < 0 \\ x\text{ if } x \geq 0 \end{cases}$$

What do $E(x)$ and $O(x)$ look like?

$$E(x) = \begin{cases} \frac{0+x}{2}=\frac{x}{2}\text{ if } x<0 \\ \frac{x+0}{2}=\frac{x}{2}\text{ if } x \geq 0 \end{cases}$$

Isn't the function $E(x)=\frac{x}{2}$ odd?

Similarly, we reach

$$O(x) = \begin{cases} \frac{0-x}{2}=-\frac{x}{2}\text{ if } x<0 \\ \frac{x-0}{2}=\frac{x}{2}\text{ if } x \geq 0 \end{cases}$$

Isn't $O(x)$ even?

I must be missing something very silly here.

RobPratt
  • 45,619
xoux
  • 4,913
  • 3
    if $x < 0$ : $$\dfrac{f(x) + f(-x)}{2} = \dfrac{0 + (-x)}{2} = -\dfrac{x}{2}$$ Same for others. – Essaidi Feb 13 '22 at 21:42
  • 2
    By the way, it's very peculiar to begin a proof that every real function is the sum of an even and odd function with the sentence, "Assume $f(x) = E(x) + O(x)$." It looks like you're assuming what was to be proved, which is a circular argument. What I think you have done is to find candidates for what the even and odd functions might be; an actual proof would start with these formulas, prove that $E$ is even and that $O$ is odd, and show that their sum is $f.$ – David K Feb 14 '22 at 01:38
  • True, I felt a bit weird about it too. I should have made the proof something like as follows. Let $f$ be any function. Let $E(x)=\frac{f(x)+f(-x)}{2}$ and let $O(x)=\frac{f(x)-f(-x)}{2}$. Then, I easily show that $E$ is even, $O$ is odd, and $f=E+O$. Thus we can say $f=E+O$ with $E$ even and $O$ odd, for any function $f$. The logical structure of this proof is conventionally correct, as I used a general conditional proof (ie universal introduction with conditional proof). – xoux Feb 14 '22 at 16:06

1 Answers1

1

True, I felt a bit weird about it too. I should have made the proof something like as follows. Let $f$ be any function. Let $E(x)=\frac{f(x)+f(-x)}{2}$ and let $O(x)=\frac{f(x)-f(-x)}{2}$. Then, I easily show that $E$ is even, $O$ is odd, and $f=E+O$. Thus we can say $f=E+O$ with $E$ even and $O$ odd, for any function $f$.

Yes, exactly. You'd originally (in the Question) proved the required theorem's converse instead. The theorem and its converse together show that every function has a unique decomposition into a pair of even and odd functions.

$$E(x) = \begin{cases} \frac{0+x}{2}=\frac{x}{2}\text{ if } x<0 \\ \frac{x+0}{2}=\frac{x}{2}\text{ if } x \geq 0 \end{cases}$$ Isn't the function $E(x)=\frac{x}{2}$ odd?

Correction: $$E(x) = \begin{cases} \frac{0+(-x)}{2}=-\frac{x}{2}\text{ if } x<0 \\ \frac{x+0}{2}=\frac{x}{2}\text{ if } x \geq 0 \end{cases}.$$

$$O(x) = \begin{cases} \frac{0-x}{2}=-\frac{x}{2}\text{ if } x<0 \\ \frac{x-0}{2}=\frac{x}{2}\text{ if } x \geq 0 \end{cases}$$

Correction: $$O(x) = \begin{cases} \frac{0-(-x)}{2}=\frac{x}{2}\text{ if } x<0 \\ \frac{x-0}{2}=\frac{x}{2}\text{ if } x \geq 0 \end{cases}.$$

ryang
  • 38,879
  • 14
  • 81
  • 179