X-th iteration where x is a real number
#1
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. 
.pdf   fee (10).pdf (Size: 155.26 KB / Downloads: 428)

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?
Reply


Messages In This Thread
X-th iteration where x is a real number - by Natsugou - 10/25/2024, 08:57 AM

Possibly Related Threads…
Thread Author Replies Views Last Post
  extending normal tetration to real numbers using product tetration Alex Zuma 2025 0 923 12/12/2025, 07:49 PM
Last Post: Alex Zuma 2025
  my proposed extension of the fast growing hierarchy to real numbers Alex Zuma 2025 0 1,318 09/28/2025, 07:15 PM
Last Post: Alex Zuma 2025
  Behaviour of tetration into the real negatives Shanghai46 1 6,351 03/24/2025, 12:34 AM
Last Post: MphLee
  What is this number (\(\dots 98869612812995910644531\))? marcokrt 1 2,795 05/30/2023, 07:09 PM
Last Post: marcokrt
  Real and complex tetration Daniel 13 16,909 04/04/2023, 10:25 AM
Last Post: JmsNxn
  [UFO] "commutative number theory " f(g) = g(f) tommy1729 0 2,306 03/24/2023, 11:36 PM
Last Post: tommy1729
  Range of complex tetration as real Daniel 2 4,918 10/22/2022, 08:08 PM
Last Post: Shanghai46
  From complex to real tetration Daniel 3 6,219 10/21/2022, 07:55 PM
Last Post: Daniel
  Cost of real tetration Daniel 1 3,971 09/30/2022, 04:41 PM
Last Post: bo198214
  Real Multivalued/Parametrized Iteration Groups bo198214 11 14,583 09/10/2022, 11:56 AM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)