Under the Axiom of Choice, there are **infinitely many** additive functions (including pathological ones), but if we restrict to **real-valued additive functions** (without further constraints), the number of such functions is uncountably infinite.
["Under the Axiom of Choice: Why Real-Valued Additive Functions Are Uncountably Infinite", "The Axiom of Choice (AC), a foundational principle in set theory, profoundly impacts the nature of mathematical functions—especially additive functions defined on the real numbers. When we consider functions ( f: \mathbb{R} \ o \mathbb{R} ) satisfying ( f(x + y) = f(x) + f(y) ) for all real ( x, y ), a long-standing result reveals a fascinating dichotomy: under AC, there are infinitely many such functions—including pathological, non-linear solutions—and in fact, the set of all real-valued additive functions is uncountably infinite.", "### What Is an Additive Function?", "An additive function ( f: \mathbb{R} \ o \mathbb{R} ) satisfies the Cauchy functional equation:\n[\nf(x + y) = f(x) + f(y) \quad \forall x, y \in \mathbb{R}.\n]\nIf ( f ) is continuous (or bounded on any interval, or measurable), then ( f(x) = cx ) for some real constant ( c )—the linear, "well-behaved" solutions. But without such regularity conditions, the story changes dramatically.", "### Without Additional Constraints: Pathological Additive Functions Exist", "Without constraints like continuity, measurability, or boundedness, the Axiom of Choice allows the construction of additive functions that are nowhere continuous and wildly discontinuous. These pathological solutions arise from a non-trivial use of infinite-dimensional vector spaces over ( \mathbb{Q} ).", "By identifying ( \mathbb{R} ) as a vector space over ( \mathbb{Q} ), and postulating AC, one can form Hamel bases—countably infinite sets ( H ) such that every real number is a finite linear combination of basis elements with rational coefficients. Using AC, one can independently define ( f(h) ) on each basis element ( h \in H ), and extend ( f ) linearly. The resulting function satisfies additivity but may be discontinuous everywhere.", "Each such assignment of ( f(h) \in \mathbb{R} ) to basis elements yields a distinct additive function. Since there are uncountably many such assignments (as the space of functions from ( H \ o \mathbb{R} ) has cardinality ( 2^{\mathfrak{c}} ), where ( \mathfrak{c} = |\mathbb{R}| )), the number of additive functions is uncountably infinite.", "### Why Is the Set Uncountable?", "The key idea lies in cardinality:", "- The set of all additive functions corresponds to the space ( \mathbb{R}^H ), where ( H ) is a Hamel basis (a Hamel basis has cardinality ( \mathfrak{c} )).\n- The cardinality of this space is ( |\mathbb{R}|^{|\mathbb{R}|} = 2^{\mathfrak{c}} ), which is uncountably infinite.\n- This vastly exceeds the countably infinite additive functions we might expect from simple constructions—such as linear functions or those defined on countable subsets.", "Thus, infinite existence (via AC) leads not just to multiple additive functions, but to uncountably many, highlighting how minimal assumptions reshape mathematical reality.", "### Practical Implications and Mathematical Insight", "While these pathological functions are of theoretical importance—revealing the non-constructive power of AC—they also underscore deep truths about linear algebra and functional analysis:", "- Additivity alone constrains but does not fix behavior without regularity assumptions.\n- Continuity or measurability significantly restricts solutions to linear functions, but without them, flexibility explodes.\n- The cardinality results emphasize that in modern analysis, continuity often acts as a "realistic" constraint that excludes pathological behavior.", "### Summary", "- Without constraints, additive functions onto ( \mathbb{R} ) exist in uncountably many forms.\n- The Axiom of Choice enables their construction via Hamel bases and arbitrary real assignments.\n- The set of real-valued additive functions is uncountable—demonstrating how minimal axioms unlock immense mathematical diversity.", "Understanding this distinction is crucial for advanced study in analysis, topology, and functional equations, where desirable properties like continuity separate distinctive behavior from mathematical curiosities.", "---", "Further Reading:\n- Cauchy’s Functional Equation and Discontinuous Solutions\n- Axiom of Choice: Its Role in Functional Analysis\n- Algebraic Structure of Vector Spaces over ( \mathbb{Q} )", "---", "Uncovering the infinite: Mathematics reveals not just that such functions exist, but that their number far exceeds countability—thanks to the Axiom of Choice."]
