Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
A new set of numbers is necessary to extend tetration to real exponents.
(03/11/2015, 07:56 PM)marraco Wrote: For a simple case, let’s take c = Ttr(a,-1), then it should be
[Image: PxQ27X0.png?1]

By taking logarithm: c . ln(a) = 0, so, if c is a complex number, it can only be zero, for any real a≠1.

[Image: d3rfm0J.png?1]

Still n=0 is one solution, so it requires a new set of numbers to solve for c, but for n≠0:
[Image: fb4gGAx.png?1]

and with the same reasoning

[Image: rlXHnBK.png?1]

this is just logarithm of 1 in base a iterated b times
[Image: cN00Sx0.png?1]

Why the iterated logarithm of 1? because 1 was the implicit base.

More generally:
[Image: TaaoXay.png?1]

Is easy to verify that for any pair of integers n,m
[Image: zSLv3yp.png?1]

For example:
[Image: 3gy5iKj.png?1]

[Image: uWzJ0MS.png?1]

[Image: Uet39Oi.png?1]
(when taking power with m≠0, m represent m roots or more, and not all the roots are valid solutions to a^^-1, for example y=-1^(2n/(1+2m)), m produces 1+2m roots, and not all those roots give y=1)

This shows that all the rational numbers are solution for 1^^(-1), but we know that all the real numbers r have the property 1^r=1, so:
-Either there are more solutions than given by the logarithm function, or
-Any real number can be expressed as a rational number. Yet, we know that transcendental numbers are not equal to any rational number, but maybe this is saying that since numbers like PI can be approximated as much as desired, then pi is also equal to a rational number, as 1,999999... is equal to 2.

By the way, it is interesting that ln(x)=Ttr(e,-1,x) ,and e(x)=Ttr(e,1,x)

Messages In This Thread
RE: A new set of numbers is necessary to extend tetration to real exponents. - by marraco - 03/12/2015, 06:04 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Constructing real tetration solutions Daniel 4 1,157 12/24/2019, 12:10 AM
Last Post: sheldonison
  Minimum axioms to extend tetration Daniel 0 604 07/21/2019, 11:38 AM
Last Post: Daniel
  b^b^x with base 0<b<e^-e have three real fixpoints Gottfried 1 2,726 11/07/2017, 11:06 AM
Last Post: sheldonison
  Spiral Numbers tommy1729 9 9,161 03/01/2016, 10:15 PM
Last Post: tommy1729
  Fractionally dimensioned numbers marraco 3 4,171 03/01/2016, 09:45 PM
Last Post: tommy1729
  2 real fixpoints again ....... tommy1729 10 10,496 02/23/2016, 10:17 PM
Last Post: tommy1729
  Tommy's conjecture : every positive integer is the sum of at most 8 pentatope numbers tommy1729 0 2,346 08/17/2014, 09:01 PM
Last Post: tommy1729
  Real-analytic tetration uniqueness criterion? mike3 25 24,018 06/15/2014, 10:17 PM
Last Post: tommy1729
  About real limits tommy1729 1 2,695 09/23/2013, 09:24 PM
Last Post: tommy1729
  Number theoretic formula for hyper operators (-oo, 2] at prime numbers JmsNxn 2 4,456 07/17/2012, 02:12 AM
Last Post: JmsNxn

Users browsing this thread: 1 Guest(s)