🔢 mathematics

On the Cauchy-Hamel Continuity of Real Functions

This paper evaluates various pathological continuity notions that render all additive functions continuous to identify a bilateral Q-continuity as the most robust candidate, thereby offering insights into the axiomatic foundations of mechanics and the potential existence of "exotic" physical models that retain a weak form of continuity.

Original authors: Gabriel Istrate

Published 2026-08-19

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Gabriel Istrate

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the familiar world of physics, forces are often visualized as arrows that can be added together. If you push a box north and someone else pushes it east, the result is a single push toward the northeast. This method of combining forces, known as the parallelogram rule, has been a cornerstone of mechanics for centuries. However, the mathematical rules that govern how we add numbers and vectors rely on a hidden assumption: that the functions describing these changes behave smoothly. In standard calculus, a "continuous" function is one where a tiny change in input leads to a tiny change in output, with no sudden jumps or breaks. This smoothness is what allows us to predict the future state of a system with confidence. But mathematicians have long known that if you strip away this requirement for smoothness, strange and "exotic" mathematical objects appear. These are functions that follow the basic rules of addition but behave erratically, jumping wildly everywhere you look. For a long time, these erratic functions were treated as mathematical curiosities that had no place in the real world, dismissed as artifacts of abstract logic that could never describe physical reality.

A new paper by Gabriel Istrate challenges this dismissal by asking a provocative question: what if these erratic functions are not just mathematical noise, but the key to a different kind of physics? The author investigates whether there is a way to define a "weak" or "residual" kind of smoothness that these strange functions actually possess. If such a definition exists, it could allow physicists to build models of the universe where the standard rules of force composition are replaced by these exotic alternatives, yet the models still retain enough order to be useful. The paper does not claim to have found a new law of physics, but rather it acts as a rigorous filter, testing several different mathematical definitions of this weak smoothness to see which one is the most robust and promising candidate for a new foundation of mechanics.

The research begins by acknowledging that standard smoothness is too strict for these exotic functions. In the standard view, a function that jumps around is simply broken. The author, however, explores a landscape of alternative definitions, each trying to capture a different flavor of order. Some of these definitions rely on the idea that a function might look smooth if you only check it at specific, scattered points, while others look at how the function behaves when you approach a point from different directions. The paper treats these definitions like a series of stress tests. The goal is to find the one definition that is strong enough to make these wild functions behave, but not so strong that it forces them back into the boring, standard category of smooth functions.

To conduct this investigation, the author compares eight different concepts of continuity. Three of these were already known from previous research, while others were newly proposed or adapted for this study. The testing process was rigorous. The author checked whether these definitions could handle basic mathematical operations, whether they preserved the property that a continuous function must take on every value between two points (a property known as the Darboux property), and whether they could be described using the standard tools of topology, which is the branch of mathematics dealing with shapes and spaces. The results were decisive. Several of the proposed definitions failed immediately because they allowed for functions that were too chaotic to be useful, or they failed to distinguish between truly smooth functions and the erratic ones. Three of the older definitions were ruled out entirely because they did not align with the behavior of a specific class of functions that mathematicians use as a benchmark for regularity.

After eliminating the weaker candidates, the paper narrows its focus to the remaining contenders. The author finds that two specific definitions stand out as the most viable. One of these is a "bilateral" version of a concept called Q-continuity. In plain terms, this definition requires that if you look at a function along any straight line made of rational numbers, the function behaves in a way that can be smoothly extended to the whole line. It is a demanding standard, but it is one that the exotic additive functions can actually meet. The paper demonstrates that this bilateral version is the most "well-behaved" of all the options. It is restrictive enough to prevent the functions from being completely wild, yet flexible enough to include the exotic models that standard calculus excludes. The author shows that this definition can even capture interesting classes of functions that have been studied before, such as certain types of polynomials, suggesting it has the potential to describe real, complex behaviors.

The paper also explores the deeper implications of these findings for the axiomatic foundations of mechanics. It revisits the historical debate about whether the continuity of force composition is a necessary law of nature or just a convenient assumption. By showing that these exotic models possess a form of residual continuity, the author suggests that the universe could theoretically operate under different rules without descending into total chaos. The study concludes that while we cannot yet say for certain which of these exotic models describes our reality, the bilateral Q-continuity definition provides the best mathematical framework for exploring them. It offers a path forward for developing a theory of differentiation and mechanics that does not rely on the standard, smooth functions, but instead embraces a wider, more complex world of mathematical possibilities. The work does not solve the problem of which model is correct, but it successfully identifies the right tools to ask the question.

Technical Summary: On the Cauchy-Hamel Continuity of Real Functions

1. Problem Statement and Motivation
The paper addresses the foundational problem of characterizing continuity for "exotic" theories of differentiability and mechanics based on additive functions (solutions to the Cauchy equation $f(x+y)=f(x)+f(y)$ ) rather than standard linear functions. Under the assumption of the existence of a Hamel basis for $\mathbb{R}$ over $\mathbb{Q}$ , all additive functions other than linear ones are discontinuous everywhere in the standard topology.

The central question is whether a "residual" or "weak" notion of continuity exists that:

Renders all additive functions continuous.
Retains sufficient regularity to support a meaningful theory of differentiation (Cauchy-Hamel differentiability) and physical models (specifically, the axiomatization of the parallelogram rule for force composition).
Preserves key regularity properties of standard continuity, such as the Darboux property (intermediate value property) and behavior on Baire 1 functions.

The author notes that Darboux observed that a continuity assumption is necessary to uniquely characterize the parallelogram rule; without it, "exotic" physical models based on alternative composition rules may exist. This paper investigates whether such exotic models possess a weak notion of continuity.

2. Methodology
The paper employs a comparative analysis of eight candidate notions of continuity. The methodology involves:

Definition and Classification: Formalizing definitions from existing literature (graph continuity, symmetry, local almost continuity, local almost quasicontinuity) and introducing variations of the author's previously proposed "Q-continuity" and new topological notions ( $\tau_Q$ and $\tau_H$ ).
Regularity Testing: Evaluating these candidates against a specific set of "Regularity Tests" designed to emulate the behavior of ordinary continuity. These tests include:
- Extending ordinary continuity.
- Making all additive functions continuous.
- Coinciding with ordinary continuity on the class of Baire 1 functions.
- Ensuring continuous functions possess a weak Darboux property (specifically, being uniform limits of Darboux functions).
- Topological properties (refining the standard topology, satisfying Baire's theorem, avoiding "small" open sets).
Set-Theoretic Analysis: The results are analyzed under standard Zermelo-Fraenkel (ZF) axioms, often assuming the Axiom of Choice (AC), the existence of a Hamel basis, and occasionally the Continuum Hypothesis (CH).
Separation and Characterization: Using transfinite recursion and properties of rational lines (affine subspaces over $\mathbb{Q}$ ) to construct counterexamples that strictly separate the surviving candidate classes.

3. Key Contributions and Definitions
The paper defines and analyzes the following classes of functions:

Standard Candidates (from [23]): Graph continuity, Symmetry, Local almost continuity, Local almost quasicontinuity.
Q-continuity Variations:
- Q-continuity: A function is Q-continuous at $x$ if, locally, it agrees with a continuous function on rational interpolation sets $S(y,z)$ within intervals.
- Bilateral Q-continuity: A stronger version requiring the agreement property for intervals $[y,z]$ straddling $x$ .
Topological Candidates:
- $\tau_H$ -continuity: Continuity with respect to the initial topology generated by all additive functions.
- $\tau_Q$ -continuity: Continuity with respect to a translation-invariant topology $\tau_Q$ inspired by Q-continuity.

4. Key Results

Elimination of Candidates:
- Three of the four notions from [23] (Graph continuity, Symmetry, Local almost quasicontinuity) fail Test #3: they admit Baire 1 functions that are discontinuous in the ordinary sense. These are discarded.
- Test #4 (Darboux Property): Only the two Q-continuity notions (Q-continuous and Bilaterally Q-continuous) satisfy the condition that every continuous function is a uniform limit of Darboux functions. The topological notions ( $\tau_H, \tau_Q$ ) and Local almost continuity fail this test; counterexamples exist that are continuous in these senses but lack the Darboux property.
Topological Pathologies:
- The topologies $\tau_H$ and $\tau_Q$ pass Test #6 (no meager or measure-zero sets are open).
- However, they fail Test #7 (Baire's Theorem): Assuming a Hamel basis exists, $\mathbb{R}$ is of the first Baire category in both topologies. Furthermore, assuming CH and AC, these topologies are "Q-spaces" (every subset is $F_\sigma$ ), which is considered pathological for a descriptive set theory.
Separation of Surviving Classes:
The paper establishes the following strict inclusions (assuming AC):
$\text{Bilateral Q-continuous} \subsetneq \text{Q-continuous} \subsetneq \tau_Q\text{-continuous} \subsetneq \text{Local almost continuous}$
Additionally, $\tau_H$ -continuity implies $\tau_Q$ -continuity but is incomparable with Q-continuity.
- Non-Topological Nature: The paper proves that Q-continuity and Bilateral Q-continuity are intrinsically non-topological; no topology $\tau$ exists such that the class of $\tau$ -continuous functions coincides exactly with these classes.
Characterization via Rational Lines:
- $\tau_Q$ -continuity is characterized by the continuity of restrictions to rational lines $L(x,y)$ .
- Bilateral Q-continuity is characterized by the existence of a global continuous extension for the restriction of the function to any rational line.
Examples:
- The paper constructs functions that are $\tau_Q$ -continuous but nowhere Q-continuous.
- It shows that polynomials (in the sense of Fréchet's equation) are Bilaterally Q-continuous, demonstrating that this class captures non-trivial, previously studied "exotic" functions.

5. Significance and Conclusion
The paper concludes that Bilateral Q-continuity is the most promising candidate for a notion of "Cauchy-Hamel continuity." The author argues this based on:

Restrictiveness: It is the most demanding of the surviving notions, aligning closer to "physical reality."
Elegance: It admits a clean characterization via continuous extensions on rational chords (Theorem 8.2).
Capturing Interest: It successfully includes classes of functions like polynomials (Theorem 10.2), suggesting it is not merely a pathological construct but a viable framework for analysis.

The work is framed as a foundational step toward developing nonstandard models of classical mechanics (specifically vector addition/force composition) and a theory of differentiation based on arbitrary additive functions. The author posits that if one replaces the standard continuity axiom in the axiomatization of vector addition with a Bilateral Q-continuity axiom, one might isolate a specific class of "exotic" physical models that are neither the standard Euclidean models nor completely pathological. The paper explicitly defers the development of these applications and the theory of differentiation to future work.

More like this