Abstract:We examine a unique construction of the real numbers which proceeds directly from the integers using approximately linear-endomorphisms with finite error, called near-endomorphisms. In this paper, we show that the set of near-endomorphisms forms a complete ordered field isomorphic to the reals. Moreover, we show that there are uncountably many near-endomorphisms without reference to the reals. We then investigate a natural extension of near-endomorphisms, which we call quasi-homomorphisms, to other abelian groups. Extending prior results about the construction of the $p$-adic numbers and the rational adele ring, we find the ring of near-endomorphisms of certain localizations of the integers, and suggest further directions for exploration.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to define the set of real numbers by a new construction method. This method starts directly from integers and utilizes so - called "near - endomorphisms", without resorting to the concept of the completeness of rational numbers or real numbers. Specifically, the main objectives of the paper include:
1. **Prove that the set \(E\) of near - endomorphisms is a completely ordered field isomorphic to the set of real numbers \(\mathbb{R}\)**:
- The author defines a special function - near - endomorphism, and proves that the set \(E\) of equivalence classes of these functions is a completely ordered field.
- Through a series of lemmas and theorems, the author proves that \(E\) is isomorphic to the set of real numbers \(\mathbb{R}\).
2. **Demonstrate the uncountability of near - endomorphisms**:
- The author, by an argument similar to Cantor's diagonal method, proves that the equivalence classes of near - endomorphisms are uncountable, thus indirectly proving the uncountability of real numbers.
3. **Generalize the concept of near - endomorphisms to other Abelian groups**:
- The author generalizes the concept of near - endomorphisms to more general Abelian groups, defines "quasi - homomorphisms", and studies the properties of these quasi - homomorphisms on different Abelian groups.
- In particular, the author studies the ring of quasi - homomorphisms on the localized integer ring \(S^{-1}\mathbb{Z}/\mathbb{Z}\), and relates it to the \(p\)-adic number ring \(\mathbb{Q}_p\) and the finite adele ring \(A_{\text{fin}}^{\mathbb{Q}}\) of rational numbers.
### Formula Summary
- **Definition of near - endomorphism**:
\[
f: \mathbb{Z}\to\mathbb{Z}\text{ is a near - endomorphism if there exists a constant }C\text{ such that }|f(a + b)-f(a)-f(b)|<C\text{ for all }a, b\in\mathbb{Z}
\]
- **Equivalence relation**:
\[
f\sim g\iff f - g\text{ is bounded}
\]
- **Lemma II.1**:
\[
\text{If }f\text{ is a near - endomorphism, then }|f(na)-nf(a)|<|n|C\text{ for all }n, a\in\mathbb{Z}
\]
- **Corollary II.2**:
\[
\text{For all }m, n\in\mathbb{Z}, |mf(n)-nf(m)|<(|m|+|n|)C
\]
- **Theorem II.3**:
\[
\text{The near - endomorphism ring }E\text{ is isomorphic to the set of real numbers }\mathbb{R}
\]
- **Lemma IV.1**:
\[
\text{For any near - endomorphism }f,\text{ there exists a unique integer }a\text{ such that }f = ax+g,\text{ where }g\text{ is a near - endomorphism and }0\leq g < x
\]
Through these definitions and proofs, the author successfully provides a brand - new way of constructing real numbers that does not depend on traditional methods and shows its profound connection with existing mathematical structures.