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: 10)

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
#2
Hi, this is a very interesting contribute in the foundation of general semigorup-time dynamics/iteration. As such I move it from this section to the main one.

MSE MphLee
Mother Law \((\sigma+1)0=\sigma (\sigma+1)\)
S Law \(\bigcirc_f^{\lambda}\square_f^{\lambda^+}(g)=\square_g^{\lambda}\bigcirc_g^{\lambda^+}(f)\)
Reply


Possibly Related Threads…
Thread Author Replies Views Last Post
  Behaviour of tetration into the real negatives Shanghai46 1 926 10/12/2023, 11:01 PM
Last Post: leon
  Real tetration as a limit of complex tetration Daniel 6 2,634 10/10/2023, 03:23 PM
Last Post: leon
  What is this number (\(\dots 98869612812995910644531\))? marcokrt 1 835 05/30/2023, 07:09 PM
Last Post: marcokrt
  Real and complex tetration Daniel 13 6,410 04/04/2023, 10:25 AM
Last Post: JmsNxn
  [UFO] "commutative number theory " f(g) = g(f) tommy1729 0 588 03/24/2023, 11:36 PM
Last Post: tommy1729
  Range of complex tetration as real Daniel 2 1,836 10/22/2022, 08:08 PM
Last Post: Shanghai46
  From complex to real tetration Daniel 3 2,327 10/21/2022, 07:55 PM
Last Post: Daniel
  Cost of real tetration Daniel 1 1,557 09/30/2022, 04:41 PM
Last Post: bo198214
  Real Multivalued/Parametrized Iteration Groups bo198214 11 6,319 09/10/2022, 11:56 AM
Last Post: tommy1729
  Constructive real tetration Daniel 1 1,420 09/01/2022, 05:41 AM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)