David A. Ross
Abstract:Results about the structure of the set of Egyptian fractions on the line are extended to subsets of topological groups.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to extend the classical results on Egyptian fractions from the set of real numbers to subsets of topological groups. Specifically, the author David A. Ross hopes to generalize the results of Sierpiński et al. on the structure of Egyptian fractions in the set of real numbers to a broader mathematical structure - namely, topological groups.
### Main problems and goals
1. **Generalization of classical Egyptian fractions**:
- Classical Egyptian fractions refer to sums of the form \(\frac{1}{m_1}+\cdots+\frac{1}{m_n}\), where \(n, m_i\in\mathbb{N}\).
- The author hopes to generalize these results to subsets \(T_1, T_2,\ldots, T_n\) of a topological group \(G\), and define the generalized Egyptian fraction as \(E_n = T_1+\cdots+ T_n\).
2. **Locally Co - finite at 0 (LCF0) sets in topological groups**:
- The paper introduces the concept of "Locally Co - finite at 0 (LCF0)", that is, a set \(T\) satisfies: \(0\notin T\), and for each open neighborhood \(U\) containing \(0\), \(T\cap U\) is finite.
- The author studies the properties of these sets in topological groups and explores the properties of the generalized Egyptian fractions generated by them.
3. **Compactness and density**:
- An important goal of the paper is to prove that under certain conditions, the set of generalized Egyptian fractions is compact or nowhere dense. For example, for the set of real numbers \(R\), the classical \(n\)-term Egyptian fraction is nowhere dense (Corollary 2.1), and the author hopes to prove similar conclusions in more general topological groups.
4. **Representation problems in ordered topological groups**:
- In ordered topological groups, the author studies the representation problem of generalized Egyptian fractions, that is, how many different generalized Egyptian fractions can an element be represented as the sum of. For example, Theorem 2.3 shows that if an element has infinitely many representations, then it must belong to a specific set.
### Key theorems and corollaries
- **Theorem 2.1**: For \(n > 0\), the set \(E'_n=T'_1+\cdots+T'_n\) is compact, where \(A' = A\cup\{0\}\).
- **Corollary 2.1**: The \(n\)-term Egyptian fraction in the set of real numbers \(R\) is nowhere dense.
- **Theorem 2.2**: If \(T_1,\ldots, T_n\) are locally co - final and nowhere dense sets, then \(E_n = T_1+\cdots+T_n\) is also nowhere dense in \(G\).
- **Theorem 2.5**: In an ordered topological group, any infinite subset \(S\subseteq E_n\) contains a strictly decreasing sequence.
Through these theorems and corollaries, the author successfully generalizes the classical results on Egyptian fractions to a more abstract topological group framework, thereby revealing the properties of these structures in a broader mathematical context.