Definition:Distance to Nearest Integer Function

Definition
The distance to nearest integer function $\norm \cdot: \R \to \closedint 0 {\dfrac 1 2}$ is defined in the following ways:

Also denoted as
The notation $\norm \cdot_{\R / \Z}$ is also in use.

Also see

 * Equivalence of Definitions of Distance to Nearest Integer Function


 * Definition:Floor Function
 * Definition:Ceiling Function
 * Definition:Fractional Part
 * Definition:Nearest Integer Function