06/14/2013, 09:57 PM

A relaxed -extensions of the Recursive Hyperoperations

I want to show you an easy extension for hyperoperations.

I don't want it to be the most natural, but I want to ask if someone already used this extension and if it can be usefull for something.

Since is a bit different I want to use the plus-notation () for the hyperoperators.

I start with these basic definitions over the naturals :

Then the recursive definitions of the operators

Observation before the extension's definitons

we can see that from rank zero to rank one we can define infinite functions with

Generalizing, now we can define as a continous functions from the interval to , to the interval to :

And we can define the operations with fractional rank starting from the interval

Other operations are these ( and ):

Example of functions and the generated -hyperoperations:

and

for and

I want to show you an easy extension for hyperoperations.

I don't want it to be the most natural, but I want to ask if someone already used this extension and if it can be usefull for something.

Since is a bit different I want to use the plus-notation () for the hyperoperators.

I start with these basic definitions over the naturals :

Then the recursive definitions of the operators

Observation before the extension's definitons

we can see that from rank zero to rank one we can define infinite functions with

Generalizing, now we can define as a continous functions from the interval to , to the interval to :

And we can define the operations with fractional rank starting from the interval

Other operations are these ( and ):

Example of functions and the generated -hyperoperations:

and

for and