How to define an irrational to the power an irrational?

Question

aletantas1x · Accepted Answer

First, show there&#039;s an   nth root by considering the l.u.b. of numbers whose   nth powers are no more the target number.Then, show that the Then, show that the nth root is unique, by noticing that nth power is one-to-one function.th root is unique, by noticing that Then, show that the nth root is unique, by noticing that nth power is one-to-one function.th power is one-to-one function.Define, temporarily,      x                  k        l              =  (      x          1      l            )    k  Then, notice that for any   x, and integer exponents,       x          a      b        =  (      x    a        )    b    =  (      x    b        )    a  , because this kind of exponentiation is defined by multiplication.Therefore if   r is rational, with two different representations   r  =      p    q    =      m    n  , then                    (                  x          r                          )                      q            n                                              =                    (                  x                      p            q                                    )                      q            n                          =        (                  x                      1            q                                    )                      q            p            n                          =                              [                          (                  x                      1            q                                    )                      q                                                              ]                                            p            n                          =                  x                      p            n                              But also                    (                  x          r                          )                      q            n                                              =                    (                  x                      m            n                                    )                      n            q                          =        (                  x                      1            n                                    )                      n            m            q                          =                              [                          (                  x                      1            n                                    )                      n                                                              ]                                            m            q                          =                  x                      m            q                              Now,   n  p  =  m  q, since the fractions are equal, so both ways of expressing   r as a fraction give the same value for of       x    r   (again because raising to integer exponents is one-to-one). Since there&#039;s a well-defined rational exponent, all you have to do is define:      a    x    =  sup  {      a    r    :  r  ∈      Q    ,  r  ≤  x  }

How to define an irrational to the power an irrational?

Answered question

Answer & Explanation

New Questions in Algebra I