Physlib.StatisticalMechanics.BoltzmannConstant

The Boltzmann constant $k_B$ is defined as the positive real number $1.380649 \times 10^{-23}$ with units of $\text{m}^2 \, \text{kg} \, \text{s}^{-2} \, \text{K}^{-1}$ (equivalent to $\text{J} \cdot \text{K}^{-1}$). It is represented as an element of the subtype of positive real numbers $\{p \in \mathbb{R} \mid p > 0\}$. While the value is specified in SI units, this constant serves as the Boltzmann constant in any arbitrary set of units as long as the underlying numerical value is not explicitly invoked.

The Boltzmann constant $k_B$ is a real number representing the physical constant that relates the average relative kinetic energy of particles in a gas with the thermodynamic temperature. It has the physical dimension of $\text{Energy}/\text{Temperature}$ and is numerically equal to $1.380649 \times 10^{-23}$ in SI units ($\text{m}^2 \, \text{kg} \, \text{s}^{-2} \, \text{K}^{-1}$).

The Boltzmann constant $k_B$ is strictly positive, satisfying the inequality $0 < k_B$.

The Boltzmann constant $k_B$ is non-negative, satisfying the inequality $0 \le k_B$.

The Boltzmann constant $k_B$ is not equal to zero ($k_B \neq 0$).