02/27/2021, 11:14 AM (This post was last modified: 02/28/2021, 08:31 PM by MphLee.)

PROGRESS UPDATE (Feb 27, 2021):

What you suggest seems reasonable. I'm drafting a comprehensive paper/post about the theory of those spaces from a general and historical point of view. What I'm posting in the thread

was part of that but at the end I convinced myself to cut out the questions and my doubts and post them separately. I'll use your feedback to tune the paper. Right now it is a 7-page paper with a detailed and commented bibliography. I hope it will be a valuable reference for the forum in general.

ps: I'm sorry to be that slow but I got lot of work to do.

03/19/2021, 11:10 PM (This post was last modified: 03/19/2021, 11:17 PM by MphLee.)

PROGRESS UPDATE (Mar 19, 2021):
Completed the draft of the introductory section on superfucntion complete spaces, gatheret some bibliography. The grammar needs alot of work and a deep revision is missing. This is just a preliminary draft. I'm currently working on discussing possible fixes for JmsNxn's idea about diffeomorphisms, bridging the gaps to superfunctions by limit tricks (principal solutions) and Nixon's trick. I've also worked out an interesting algebraic rephrasing of piecewise extension and a novel idea (with proofs) of a canonical extension of iteration from the naturals (the cyclic subgroup) to the centralizer of the imput map. I'll add a sketch of possible abstract treatment of hyperoperations.

When finished, I'll post something more tidy and expand more on JmsNxn comments. Draft.pdf (Size: 676.85 KB / Downloads: 222)
[WARNING: grammar and formulas were NOT doublechecked, read at you own risk]

I really enjoyed that, MphLee (by the way, what is your actual name? I feel odd you knowing mine and me not knowing yours, lol. I keep thinking it's Murphy Lee (but that's probably wrong)). I really liked the way you framed the problem--it was a very good broad stroked impression of what's going on! I'm excited to see what else you can add. Especially when you start adding category theory.

I'm in the process of writing a quick analysis on making conjugacy equations, as I think I know enough now to give examples of these things working. It's only a brief write up, I'm sure I'll have it done in a couple of days. It's mostly reusing proofs I already have, so it should be a quick write up.

03/20/2021, 09:55 PM (This post was last modified: 03/21/2021, 02:24 AM by JmsNxn.)

Hey, I was inspired by your little notice, so I thought I'd give an example of your black-box convergence at work. It's not perfect, wrote it in about three hours, but I think it's a good example of what you're driving at. It nearly constructs a set,

That satisfies the conjugacy property,

I couldn't achieve this, unfortunately. But I got very very close. If is the closure of as a monoid, then,

Which is so close to finding a set of functions satisfying the conjugacy property. The problem being when,

Which kind of throws a wrench in the construction; but only a small one--we just need to let be in the closure of our monoid. I'm very confident we can use the closure of as our desired set, but I'm a little wonky on how to construct superfunctions for every element in the closure in a nice clean manner as I did for all of as a whole. In this space we'll find that the successor operation but not in . This is great progress though, I think everything is coming together on trying to solve conjugacy equations in a differentiable manner. I'm going to take a closer look at solutions now.

Regards, James

PS

I also think it's important to add, if we call the set of functional inverses of then I believe that,

Will be our desired group with a conjugacy property . But, I'm wary on how to show this precisely. I think I'm 90% there though.

EDIT: I did notice a couple of typos in the PDF, please ignore them. I wrote this pretty quick. Especially when constructing the super function and when I use the Lipschitz condition. Recall that,

Which is a small expression I forgot to add, upon which,

and not what I wrote, I wrote it a tad too fast. But this function does look like , minus some error in growth, but it doesn't really matter because will still do the job it's supposed to do. Also, this is still going to need a good amount of finesse, I'm trying to think of alternative convergence factor functions than (of which using is necessary for in the general case, which I didn't add as of yet), as I think this might produce problems with simple functions like for unless we choose an appropriately small enough dependent on ().

EDIT: Argh, this is becoming more and more frustrating, I'm having trouble making the construction work for as ; which in turn means that may NOT belong in the closure of . God damn this is hard. The exponential convergents seem to only work when .

EDIT: Woohoo! I fixed the problem I was facing. The PDF I sent is slightly incorrect, but I believe I have the right result now. I made a bit too fast of a jump when considering as ; we have to handle this case in a more special way, without using exponential convergents. So take the construction of the superfunction in this paper as only for the case and everything is still pretty much the same. I'll post an update in a bit.

Thank you! I find your effort very precious. I'll stop working on the superfunction spaces paper and I'll investigate you construction in detail ASAP, step by step, merging it with the information you gave me in the other post (the one about diffeomorphisms). Having this concrete model seems important enough to me to pause the development the algebraic side.
This time the analysis you're using seems not to far above my head, but I need some stretching.

ps: I apologize if this looks odd. I don't value my contribute here up to now here enough to reveal my real name, secondly I prefer to do not reveal publicly my identity on the web (but pms can be another story ).

Give me at most a couple of days, and I'll make this conjugate property absolute on . I over stepped my bounds in the above PDF. But I know why, and I know exactly how to solve it. It just takes a more strict proof in the construction of the super function.

Wait to rewrite or re-evaluate everything until I get it out how I meant it. And all I think this as is an example of your black box.

03/21/2021, 12:22 PM (This post was last modified: 03/22/2021, 11:32 AM by MphLee.)

Ok, but I'm sure more insight into a concrete model always improves the abstract one. Until now I only played with finite models (small finite sets of permutation/functions) or with monoid of functions over N.

I'm not on it seriously yet, I'm busy with some work. But I have few quick questions.
1- With closure you mean: let be a monoid and be a subset (a simple subset not a submonoid). With you mean the smaller submonoid of that contains right? In other words it is the submonoid generated by the set . In this case .

2- Is your second condition ? Intuitively can I see this like the graph of f being "convex" in a neighborhood

of +infinity? Except for the +infinite case this seems a kind o "linearity at infinity".

3- the third condition seems to impose that the dynamics of our maps is very simple: it means that "all orbits come from the same source" and the source is external to our domain. Why do we need this? Is this to avoid fixed points and to avoid that superfunction gets a lower bound, thus non surjectivity?

Excuse me, always trivial things. I know.

Addendum 1: I guess the right contruction should be . Given then, by definition, for a finite n and . We have by anticommutativity of inversion . This expression has meaning because by definition each is invertible and . We conclude that QED

Addendum 2: if is a subset of then is a subset of iff elements of are diffeomorphisms. I think the proof is trivial (but I should write it down). In that case is a subgroup of the group .

ps: Your pdf seems very excititng. I need to read it carefully.

03/22/2021, 08:45 PM (This post was last modified: 03/22/2021, 10:29 PM by JmsNxn.)

1. By closure in the monoid, I mean specifically closure under Cauchy sequences using uniform convergence on all compact subsets. By this I mean,

This should still be a monoid; and will look close enough to for our purposes.

2. I'm not too sure how convexity enters the discussion. I've never used convexity really. The intuitive manner I view this is as an attracting fixed point at infinity. Where is geometrically attracting, and as a super-attracting fixed point.

3. Yes, it is to avoid fixed points, keep the orbits simple, and keep things well adjusted. Which will in turn ensure that our superfunction is surjective. Which makes talking about the conjugate property much simpler.

A1. Yes, that's my thinking exactly.

A2. Yes, I did this construction in hopes this would be a diffeomorphic group (whatever the hell you call it), a subgroup of . I avoided this language largely because I'm not familiar enough with the language.

I have attached a revamped version of this PDF. I realized that the exponential convergents will only work when for some and everywhere else become sort of overkill and don't help us. So instead I decided to use convergents where as . This requires us taking our auxiliary function to satisfy . This means that will now grow slower than our superfunction rather than faster. When I was initially designing this I was thinking too much about which grows faster than tetration; and so I assumed we need our function to grow faster than our superfunction. This proves to fail, especially when we take simple functions like for ; where the exponential convergents don't work, and any convergent which makes grow faster than the super function also won't work.

Anyway, here it is revamped a good amount. I'm still fiddling with this, I want it to work more rigorously. I think this has potential for a very interesting paper, so this will probably be the last update until I'm fully satisfied. I'm mostly just posting this here to correct my assumption about exponential convergents being the give all end all. We unfortunately have to use more complicated convergents in the general case.

Regards, James

EDIT: I think I'm going to alter the manner of convergence from what I've posted here, as I think I can choose a more universal form of the convergents; which works for pretty much every function; rather than brute forcing it based on each . I'll see though. Give me a week or so and I'll try to have a comprehensive first draft.

03/22/2021, 11:01 PM (This post was last modified: 03/23/2021, 04:01 PM by MphLee.)

(03/22/2021, 08:45 PM)JmsNxn Wrote: 1. By closure in the monoid, I mean specifically closure under Cauchy sequences using uniform convergence on all compact subsets. By this I mean,

Ok, I was suspecting it but I was misguided by you emphasis on " closure of B AS a monoid". With closure as a monoid I think algebraically. I take a subset of the ambient monoid and perform the closure. Instead you are considering the closure as a subset of a topological space or a kind of completion in respect to the ambient topology, i.e. that of C^1( R).

Quote:This should still be a monoid; and will look close enough to for our purposes.

If your , as you defined it, is a monoid, and I can se an informal proof at page 2, I don't see why the Cauchy-completion of the set of elements of this monoid should be a monoid too. Even if it is, the union of two monoids need not to be a monoid: we must do set-union on their sets and then generate the monoid from that union, i.e. perform the, this time monoid-theoretic, closure of the set under composition. From now on I'll denote with your Cauchy-completion and with the monoid-completion of the set (the monoid freely generated by that elements).

My proof, I'm enough sure of it is the following corollary 2: Definition 1: Let be a monoid, let be a generic subset. Define the submonoid generated by

Definition 2: Let be a monoid, let be a subset of invertible elements of . Define the set

Observation: Let be a monoid, let be subsets or submonoids. The union is not generally a monoid. Corollary 1: Let be a monoid, let be a subset. If is already a (sub)monoid then . Corollary 2: Let be a monoid, let be a subset of invertible elements of . The submonoid is a group. (proof in the previous post).

Questions: let a submonoid.

When is monoid?

If is made of invertible functions, does ?

Answers to those questions can inform us on the properties of objects like , or .

Quote:A2. Yes, I did this construction in hopes this would be a diffeomorphic group (whatever the hell you call it), a subgroup of . I avoided this language largely because I'm not familiar enough with the language.

Rememeber that I would not call a group diffeomorphic like it is a property of the group. I call it a group of diffeomorphism, like a group of apples or a group of permutations. "The diffeomorphisms group of R" just means "the group made of diffeomorphism of R to itself". I'm not aware if a grop can be diffeomorphic in any sense (and idc right now).

03/22/2021, 11:30 PM (This post was last modified: 03/22/2021, 11:36 PM by JmsNxn.)

(03/22/2021, 11:01 PM)MphLee Wrote:

(03/22/2021, 08:45 PM)JmsNxn Wrote: 1. By closure in the monoid, I mean specifically closure under Cauchy sequences using uniform convergence on all compact subsets. By this I mean,

Ok, I was suspecting it but I was misguided by you emphasis on " closure of B AS a monoid". With closure as a monoid I think algebraically. I take a subset of the ambient monoid and perform the closure. Instead you are considering the closure as a subset of a topological space or a kind of completion in respect to the ambient topology, i.e. that of C^1( R).

Quote:This should still be a monoid; and will look close enough to for our purposes.

If your , as you defined it, is a monoid, and I can se an informal proof at page 2, I don't see why the Cauchy-completion of the set of elements of this monoid should be a monoid too. Even if it is, the union of two monoids need not to be a monoid: we must do set-union on their sets and then generate the monoid from that union, i.e. perform the, this time monoid-theoretic, closure of the set under composition. From now on I'll denote with your Cauchy-completion and with the monoid-completion of the set (the monoid freely generated by that elements).

My proof, I'm enough sure of it is the following corollary 2: Definition 1: Let be a monoid, let be a generic subset. Define the submonoid generated by

Definition 2: Let be a monoid, let be a subset of invertible elements of . Define the set

Observation: Let be a monoid, let be subsets or submonoids. The union is not generally a monoid. Corollary 1: Let be a monoid, let be a subset. If is already a (sub)monoid then . Corollary 2: Let be a monoid, let be a subset of invertible elements of . The submonoid is a group. (proof in the previous post).

Questions: let a submonoid.

When is monoid?

If is made of invertible functions, does ?

Answers to those questions can inform us on the properties of objects like , or .

Quote:A2. Yes, I did this construction in hopes this would be a diffeomorphic group (whatever the hell you call it), a subgroup of . I avoided this language largely because I'm not familiar enough with the language.

Rememeber that I would not call a group diffeomorphic like it is a property of the group. I call it a group of diffeomorphism, like a group of apples or a group of permutations. "The diffeomorphisms groups of R" just means "the group made of diffeomorphism of R to itself". I'm not aware if a grop can be diffeomorphic in any sense (and idc right now).

Lol, yes diffeomorphic group is nonsense, I meant group of diffeomorphisms . I'm horrible with jargon.

The reason I call the closure of a monoid is because it should look something like,

Which is certainly still a monoid; but pulling out inverses will become difficult to complete it as a group, because is a possibility. And we may lose the last property (I'm not certain, I hope not), but at worst only a weakening of it. And we should also ensure convergence of the derivatives in the Cauchy sequence. For that reason we'll want to be Cauchy on compact subsets too.

You're right about the union too; in the general case. But again, the union should look like,

So at least near infinity these things should have inverses and form a group. It'll be hard to ensure it works on all of though, we'll need which will require more complicated tricks than just completing with Cauchy; so you're right there. I think the closure of this monoid will have to be done more carefully--you're right. I'm going to focus my attention on simply strengthening everything I put above; and covering all my bases.