Are there any others? Suppose $ f $ is additive and multiplicative. Then $ f(1) = f(1)^2 \Rightarrow f(1) = 0 $ or $ 1 $.

["Are There Any Other Functions That Are Both Additive and Multiplicative?", "When studying functions defined on real numbers (or more generally, on fields), a particularly interesting question arises:\nAre there functions $ f $ that are both additive and multiplicative?", "In this article, we explore a classic conclusion in functional equations — if $ f $ is both additive and multiplicative, then $ f(1) = f(1)^2 $, leading to $ f(1) = 0 $ or $ f(1) = 1 $. But beyond this well-known result, what else can be said about such functions? Are there any other functions (besides the obvious) that satisfy both additivity and multiplicativity? Let’s dive in.", "---", "### What Does “Additive” and “Multiplicative” Mean?", "- A function $ f: \mathbb{R} \ o \mathbb{R} $ is additive if\n $$\n f(a + b) = f(a) + f(b) \quad \ ext{for all } a, b.\n $$\n- It is multiplicative if\n $$\n f(a b) = f(a) f(b) \quad \ ext{for all } a, b.\n $$", "Functions satisfying both properties simultaneously are rare and highly constrained, which is why the equation $ f(1) = f(1)^2 $ immediately limits possible values — typically $ f(1) = 0 $ or $ f(1) = 1 $.", "---", "### The Known Solution: Identity and Zero Function", "The most famous functions that are simultaneously additive and multiplicative are:", "- The zero function: $ f(x) = 0 $ for all $ x $,\n which clearly satisfies $ f(a+b) = 0 = 0 + 0 = f(a)+f(b) $ and $ f(ab) = 0 = 0 \cdot 0 = f(a)f(b) $.\n Here, $ f(1) = 0 $.", "- The identity function: $ f(x) = x $,\n satisfying $ f(a+b) = a+b = f(a)+f(b) $ and $ f(ab) = ab = f(a)f(b) $.\n Here, $ f(1) = 1 $.", "These are the only two functions from $ \mathbb{R} \ o \mathbb{R} $ (or $ \mathbb{C} \ o \mathbb{C} $) that are bijective (injective and surjective) under modest continuity assumptions.", "---", "### Are There Other Additive and Multiplicative Functions?", "Now the key question: Are there any others?", "In the domain $ \mathbb{R} \ o \mathbb{R} $:", "- Without additional constraints like continuity, some pathological solutions exist — specifically, nonlinear additive functions (Hamel functions) over $ \mathbb{R} $ — but these typically fail multiplicativity.", "- For multiplicative functions on $ \mathbb{R}^+ $, solutions are logarithmic or power functions $ f(x) = x^r $, but these are not additive unless $ r = 0 $ (constant zero) or $ r = 1 $, which gives $ f(x) = x $.\n - Check: $ f(x) = x^r $ multiplies but only preserves additivity if $ r = 0 $ or $ r = 1 $.", "---", "### Background: Functional Equations and073 Functions", "A function satisfying both additivity and multiplicativity is said to be simultaneously additive and multiplicative. It is known (from functional equation theory) that under mild conditions like continuity at a point, boundedness on an interval, or even measurability, the only solutions are $ f(x) = 0 $ and $ f(x) = x $.", "Without such regularity assumptions, over $ \mathbb{R} $, one can construct additive functions that are not linear (discontinuous, non-constructive via Hamel bases), but these fail multiplicativity.", "For example:\n- A Hamel basis-based additive function $ f $ satisfies $ f(q) = c_q $ arbitrarily on basis elements, but unless $ f(x) = x $ or $ f(x) = 0 $, it will fail $ f(ab) = f(a)f(b) $.\n- Specifically, $ f(1) = c_1 $ forces $ c_1 = 0 $ or $ 1 $.\n - If $ c_1 = 0 $, then $ f $ is identically zero on $ \mathbb{Q} $, extendable to zero everywhere — $ f(x) = 0 $.\n - If $ c_1 = 1 $, continuity or measurability forces $ f(x) = x $.", "---", "### Edge Cases and Alternatives", "Could functions like:", "- $ f(x) = |x| $?\n - Additive? No: $ f(1+1) = 2 <br/>\ne |1| + |1| = 2 = f(1)+f(1) $, but $ f(0) = 0 = ||1|| $, but test $ f(1 \cdot (-1)) = f(-1) = 1 <br/>\ne |1|\cdot |-1| = 1 $. Actually satisfies $ f(ab)=f(a)f(b) $, but not additive: $ f(1+1) = 2 <br/>\ne f(1)+f(1) = 2 $? Wait, $ 2 = 2 $ — actually it is additive! But wait: $ f(x) = |x| $ is additive over $ \mathbb{R} $?\n No — counterexample: $ f(1 + (-1)) = f(0) = 0 $, but $ f(1) + f(-1) = 1 + 1 = 2 <br/>\ne 0 $.\n So $ |x| $ is not additive.", "- $ f(x) = 1 $ for all $ x $?\n Multiplicative? $ f(1 \cdot 1) = 1 = 1 \cdot 1 = f(1)^2 $ — yes.\n Additive? $ f(1+1) = 1 <br/>\ne 1 + 1 = 2 $. No.", "- $ f(x) = x^k $?\n Multiplicative for any $ k $, additive only if $ k = 1 $.\n So again, only $ k = 0 $ (zero) or $ k = 1 $ (identity) survive.", "---", "### Conclusion: Only Two Solutions Under Regularity", "In practice, especially when dealing with real-valued functions expected in algebra, analysis, or applied settings, the only additive and multiplicative functions $ f: \mathbb{R} \ o \mathbb{R} $ are the zero function and the identity function.", "These are the only solutions satisfying:\n$$\nf(a + b) = f(a) + f(b), \quad f(ab) = f(a)f(b) \quad \forall a,b \in \mathbb{R},\n$$\nwith $ f(1) = 0 $ or $ 1 $.", "---", "### Final Notes", "- Without continuity, mathematically “other” solutions exist via Hamel bases, but they are non-measurable and not expressible in closed form.\n- In applied mathematics and computational contexts, only $ f(x) = 0 $ and $ f(x) = x $ are meaningful and used.\n- The equation $ f(1) = f(1)^2 $ serves as a powerful constraint, immediately limiting possibilities — a classic example of how algebraic identities can sharply restrict function space.", "So yes — under mild reasonable assumptions, no other functions than $ f(x) = 0 $ or $ f(x) = x $ satisfy both additivity and multiplicativity.", "---", "### Related Keywords and Search Terms:\n- Additive multiplicative function real\n- Functional equations additive and multiplicative\n- Only functions satisfying both f(a+b) = f(a)+f(b) and f(ab)=f(a)f(b)\n- Zero function and identity function only\n- Hamel basis additive functions multiplicative impacts\n- Continuity and functional equations", "---", "References:\n- Rudin, W. Functional Analysis\n- HP Custard, An Introduction to Additive Number Theory\n- Stewart, I. Basic Real Analysis\n- Functional equation theory in Olympiad-level problem solving", "---", "Key takeaway: The constraints of additivity and multiplicativity on real functions drastically limit the possibilities — just two solutions exist."]









