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 389 01/02/2020, 01:38 AM
Last Post: arybnikov
  Is there a function space for tetration? Chenjesu 0 501 06/23/2019, 08:24 PM
Last Post: Chenjesu
  A fundamental flaw of an operator who's super operator is addition JmsNxn 4 7,055 06/23/2019, 08:19 PM
Last Post: Chenjesu
  Degamma function Xorter 0 956 10/22/2018, 11:29 AM
Last Post: Xorter
  Hyper operators in computability theory JmsNxn 5 4,260 02/15/2017, 10:07 PM
Last Post: MphLee
  Recursive formula generating bounded hyper-operators JmsNxn 0 1,574 01/17/2017, 05:10 AM
Last Post: JmsNxn
  Possible continuous extension of tetration to the reals Dasedes 0 1,387 10/10/2016, 04:57 AM
Last Post: Dasedes
  Rational operators (a {t} b); a,b > e solved JmsNxn 30 40,266 09/02/2016, 02:11 AM
Last Post: tommy1729
  Andrew Robbins' Tetration Extension bo198214 32 44,093 08/22/2016, 04:19 PM
Last Post: Gottfried
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 16,983 08/22/2016, 12:19 AM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)