10/25/2024, 08:57 AM

A sequence \(a\) defined by a recurrence \(a_{n+1} = f(a_n)\) (i.e. a sequence satisfies \(a_i = a_j \implies a_{i+1} = a_{j+1}\)) is eventually periodic

\[

0, 1, 2, 3, 4, 5, 3, 4, 5, \dots

\]

or injective.

I verified a function of real variable \(a\) such that satisfies \(a(x) = a(y) \implies a(x+u) = a(y+u)\) for all \(u > 0\) is characterized by a subgroup and a cut of \((\mathbb{R}, +)\) in this PDF. [attachment=2099]

I defined periods of \(a\) \(P(a) := \{g^{-1}h \in G \mid a(g) = a(h), g<h\}\), heights of \(a\) \(H(a) := \{h \in G \mid \exists p \in G_+, a(h) = a(hp)\}\).

For any such \(a\), \(\pm P_0(a) = -P(a) \sqcup \{0\} \sqcup P(a)\) and \((\mathbb{R}\backslash H(a), H(a))\) are a subgroup and a cut of \((\mathbb{R}, +)\).

Moreover, \(a(x) = a(y) \iff b(x) = b(y)\) where \(b\) is defined as

\[

b(x) :=

\begin{cases}

(x, 1) & \text{if \(x \notin H(a)\)} \\

(x+\pm P_0(a), 2) & \text{if \(x \in H(a)\)}.

\end{cases}

\]

However, this gives us very little information because I did not define any structure on the codomain of \(a\).

Which should I consider the case the codomain of \(a\) is a topological space, or the domain of \(a\) is not an archimedean group?

\[

0, 1, 2, 3, 4, 5, 3, 4, 5, \dots

\]

or injective.

I verified a function of real variable \(a\) such that satisfies \(a(x) = a(y) \implies a(x+u) = a(y+u)\) for all \(u > 0\) is characterized by a subgroup and a cut of \((\mathbb{R}, +)\) in this PDF. [attachment=2099]

I defined periods of \(a\) \(P(a) := \{g^{-1}h \in G \mid a(g) = a(h), g<h\}\), heights of \(a\) \(H(a) := \{h \in G \mid \exists p \in G_+, a(h) = a(hp)\}\).

For any such \(a\), \(\pm P_0(a) = -P(a) \sqcup \{0\} \sqcup P(a)\) and \((\mathbb{R}\backslash H(a), H(a))\) are a subgroup and a cut of \((\mathbb{R}, +)\).

Moreover, \(a(x) = a(y) \iff b(x) = b(y)\) where \(b\) is defined as

\[

b(x) :=

\begin{cases}

(x, 1) & \text{if \(x \notin H(a)\)} \\

(x+\pm P_0(a), 2) & \text{if \(x \in H(a)\)}.

\end{cases}

\]

However, this gives us very little information because I did not define any structure on the codomain of \(a\).

Which should I consider the case the codomain of \(a\) is a topological space, or the domain of \(a\) is not an archimedean group?