# Odd function composition

Let $f: \Bbb R \to \Bbb R$ be an odd function.

Is the compositon of $\underbrace{f \circ f \circ f \circ \cdots \circ f}_{\text{$n$times}}$ odd or even?

Do I need to prove it with separate cases for $n$ even and $n$ odd?

• You don't need to consider separate cases for $n$ even and odd. Use induction to prove the result. – Math Lover Nov 26 '17 at 18:02
• Hint: If $f$ is odd then $f(f(-x)) = f(-f(x))=-f(f(x))$. – Rafael Gonzalez Lopez Nov 26 '17 at 18:04

## 1 Answer

For simplicity of notation, let $f^n$ denote the $n$-fold composition of $f$ with itself, i.e. $$f^n := \underbrace{f\circ f \circ \dotsb \circ f}_{\text{n times}}.$$ We claim that if $f:\mathbb{R} \to \mathbb{R}$ is odd, then $f^n$ is odd for all $n$. The proof is by induction. As a basis for induction, note that $f^1 = f$, which is odd.

Now suppose that $f^k$ is odd. Then for any $x\in \mathbb{R}$, we have \begin{align} f^{k+1}(-x) &= f(f^k(-x)) \\ &= f(-f^k(x)) &&\text{(induction hypothesis)} \\ &= -f (f^k(x)) &&\text{($f$ is odd)} \\ &= -f^{k+1}(x). \end{align} That is, $f^{k+1}(-x) = -f^{k+1}(x)$ for all $x\in\mathbb{R}$. Therefore $f^{k+1}$ is odd, which completes the induction proof.
{"ft_lang_label":"__label__en","ft_lang_prob":0.73150474,"math_prob":1.0000042,"size":1346,"snap":"2019-35-2019-39","text_gpt3_token_len":469,"char_repetition_ratio":0.12220566,"word_repetition_ratio":0.34210527,"special_character_ratio":0.35215452,"punctuation_ratio":0.09933775,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000094,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-08-24T02:36:54Z\",\"WARC-Record-ID\":\"<urn:uuid:6ddc240d-efb8-457a-97bb-ee2564d60dec>\",\"Content-Length\":\"134116\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:4a682212-c6b2-45b0-ba38-80f86eefe754>\",\"WARC-Concurrent-To\":\"<urn:uuid:0da74471-4a02-4365-ac87-c2eda171058c>\",\"WARC-IP-Address\":\"151.101.1.69\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/2538331/odd-function-composition\",\"WARC-Payload-Digest\":\"sha1:CCUWHKNMDLHBLGCC6YIJ2ACLBCRQFR2D\",\"WARC-Block-Digest\":\"sha1:FX5QROE65XGWSVYSXGBIVTAO3E3MQQMJ\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-35/CC-MAIN-2019-35_segments_1566027319470.94_warc_CC-MAIN-20190824020840-20190824042840-00130.warc.gz\"}"}