ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F11098 on D5705: Natural real entropy function
F11098
Formulation 0
The natural real entropy function is the D4364: Real function \begin{equation} (0, \infty) \to \mathbb{R}, \quad x \mapsto x \log x \end{equation}