05/19/2021, 02:54 PM
(This post was last modified: 05/19/2021, 11:17 PM by MphLee.
Edit Reason: typos
)
(05/19/2021, 12:20 PM)tommy1729 Wrote: Yeah I misunderstand the point or I miss the point assuming there is one.
You talk about space and inversion.
What space ??
What inversion ??
[...]
Btw I thought we were here to find (complex-)analytic tetration , so why go into non-analytic subjects and then call them crucial ??
Sorry to ask.
regards
tommy1729
There is indeed a point but this is not "the point" (excuse me for this joke xD). The crucial thing: is this "point" relevant for your approach to the subject?
I admit that probably I didn't underline too much the link with classical complex/analytic iteration theory. Sometimes mathematicans should ad a grain of marketing in their expositions to get clearly the point. I suggest you to read my thread on the generalized superfuntion tricks.
Start from the assumption that my effort is foundational in its goal, algebraic in its essence and philosophical in its inspiration. You can regard it as an effort to unify and find a shared lingua franca for describing many constructions that we can observe are common in Kneser's, Walker's, limit solutions to functional equations, Abel/Schroeder equations, iteration theory, Matrix methods and James' theory of compositional calculus. I'm not going to explain it to you right now since I'd like first to make you sure that there is or there is not "a point" at all.
Is it crucial? Maybe? Maybe not. Is it useful? Idk, can the design of a simplified conceptual framework that unifies a bunch of apparently different constructions and definitions be valuable or useful? Yes!? It is indeed what a mathematician does..
Do I have a new method to compute complex iterations of exp? Nope.
Am I here to find complex-analytic tetration? Nope. I'm here to gain insight from the users' approaches to iteration and hyperoperations. I'm here because I want to understand deeply the nature of iteration and composition with the ultimate goal of expressing a true theory of non-integer ranks (hyperoperations with non-integer ranks).
Am I off-topic here at the tetration forum? Idk, I hope not.
When James talks of "spaces" he just means "sets of functions" with some nice structure on it (like composition and/or function inversion).
For example the real numbers constitute a space in some sense: points are real numbers and upon them there are metric, topological and field structures also a vector space structure and R-algebra and so on. Functional analysis is full of function spaces. We also have monoids of functions under composition, groups of invertible functions, rings of polynomials, ecc.
What I'm trying to do is to make those term "space" and "structure" formal and precise. I'm also trying to discover if other fields of math play with our same structures but under different names.
I hope to be helpful.
Regards
Mother Law \(\sigma^+\circ 0=\sigma \circ \sigma^+ \)
\({\rm Grp}_{\rm pt} ({\rm RK}J,G)\cong \mathbb N{\rm Set}_{\rm pt} (J, \Sigma^G)\)
