Talk:Power Function to Rational Power permits Unique Continuous Extension

From ProofWiki
Jump to navigation Jump to search

On the Corollary

On the corollary: is the result too obvious? I had reservations as to whether I should create it, but I wanted a single theorem for referencing when defining the exponential as the extension of the rational power of base e. I welcome any criticisms to this. --Keith.U 21:05, 13 June 2016 (UTC)

Obvious though it is, I would not leave it as a corollary -- instead I would raise it as a page in its own right specific to the Exponential function. It's too fundamentally important a step towards the full rigorous definition of the exp function to leave hidden away as a corollary.
Besides, it then allows us to draft other proofs of this, should we be inspired, which are not based upon this, but take a different tack. --prime mover (talk) 21:32, 13 June 2016 (UTC)