Definition:Distance to Nearest Integer Function

Definition
The nearest integer function $\left\Vert{\cdot}\right\Vert : \R \to \left[{0 \,.\,.\, \dfrac 1 2}\right]$ defined by one of the following equivalent properties:


 * $\left\Vert{\alpha}\right\Vert = \min \left\{{ \left\vert{n - \alpha}\right\vert : n \in \Z}\right\}$
 * $\left\Vert{\alpha}\right\Vert = \min \left\{{ \left\{{\alpha}\right\}, 1 - \left\{{\alpha}\right\} }\right\}$ where $\left\{{\alpha}\right\}$ is the fractional part of $\alpha$.

The notation $\left\Vert{\cdot}\right\Vert_{\R / \Z}$ is also in use.