Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
extension of the Ackermann function to operators less than addition
#2
furthermore, if we define the identity function as:



since S(1) = 0, and S(2) = 1. If we want S(x) to be analytic and continuous (which we do), by the mean value theorem there is an operator who's identity is 0.5. Let's call this q.





doing some simple manipulations and we get



this is by the first axiom.

Given that. We can let a = 2, and get the contradictory result:



if we want:



we arrive at a contradiction or a result that is definitely not desired.

Either



or



this would imply our function at q has the following behaviour (if we simply reapply the first axiom recusively):





this result can be extended to any value of sigma:





giving:



therefore we have three options

1. the identity function is not analytic

2.

3. or in general is not a smooth monotonic increasing function unless sigma is an integer.


If we let 3 then we also get the result that operators extended less than addition are impossible. In this we imply



but we already know




The first option, that the identity function be not analytic isn't desirable at all. Furthermore, it's more than it just not be analytic, but it implies the only results possible are 0 and 1. And that it only takes 0 at addition and everywhere else we have 1.


In conclusion, if we want to have the Ackermann function extended to the complex domain everywhere and be monotonically increasing everywhere we're going to have to lose the aesthetic property:

Reply


Messages In This Thread
RE: extension of the Ackermann function to operators less than addition - by JmsNxn - 11/06/2011, 04:56 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  New mathematical object - hyperanalytic function arybnikov 4 1,056 01/02/2020, 01:38 AM
Last Post: arybnikov
  Is there a function space for tetration? Chenjesu 0 667 06/23/2019, 08:24 PM
Last Post: Chenjesu
  A fundamental flaw of an operator who's super operator is addition JmsNxn 4 7,526 06/23/2019, 08:19 PM
Last Post: Chenjesu
  Degamma function Xorter 0 1,123 10/22/2018, 11:29 AM
Last Post: Xorter
  Hyper operators in computability theory JmsNxn 5 4,751 02/15/2017, 10:07 PM
Last Post: MphLee
  Recursive formula generating bounded hyper-operators JmsNxn 0 1,721 01/17/2017, 05:10 AM
Last Post: JmsNxn
  Possible continuous extension of tetration to the reals Dasedes 0 1,499 10/10/2016, 04:57 AM
Last Post: Dasedes
  Rational operators (a {t} b); a,b > e solved JmsNxn 30 43,074 09/02/2016, 02:11 AM
Last Post: tommy1729
  Andrew Robbins' Tetration Extension bo198214 32 46,486 08/22/2016, 04:19 PM
Last Post: Gottfried
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 17,905 08/22/2016, 12:19 AM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)