ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F11099 on D5706: Real entropy function
F11099
Formulation 0
The real entropy function in base $a \in (0, \infty)$ is the D4364: Real function \begin{equation} (0, \infty) \to \mathbb{R}, \quad x \mapsto x \log_a x \end{equation}