---
tag: 091AV9YHZY
kind: concept
name: Real exponentiation
msc: [26A09, 33B10]
sources:
  - url: https://en.wikipedia.org/wiki/Exponentiation
    locator: Real exponents
---

## Summary

Real exponentiation defines the power $a^x$ for a positive base $a$ and a real exponent $x$. It is $e^{x \ln a}$, and it extends the powers with integer and rational exponents. The node [[real exponentiation|0TV07AQT62]] gives the precise definition.