Skip to content

Mathematics · Ch 15 — Functions

Fractional Part Function

15.2.3.4

Fractional Part Function

4. Fractional part function. Definition: for every real xx, f(x)={x}f(x)=\{x\}, defined as {x}=x−[x]\{x\}=x-[x] — whatever is left over after removing the integer (floor) part.

Illustrations: f(4.8)={4.8}=4.8−[4.8]=4.8−4=0.8f(4.8)=\{4.8\}=4.8-[4.8]=4.8-4=0.8. f(−7.1)={−7.1}=−7.1−[−7.1]=−7.1−(−8)=−7.1+8=0.9f(-7.1)=\{-7.1\}=-7.1-[-7.1]=-7.1-(-8)=-7.1+8=0.9. f(8)={8}=8−[8]=8−8=0f(8)=\{8\}=8-[8]=8-8=0.

Graph (Fig. 6.46): Domain =R=R; Range =[0,1)=[0,1).

Properties: (1) If x∈[0,1]x\in[0,1], f(x)={x}∈[0,1)f(x)=\{x\}\in[0,1), shown as a slanted line segment y=xy=x. At x=0x=0, f(0)=0f(0)=0 and 0∈[0,1)0\in[0,1), shown with a filled/black disc, whereas at x=1x=1, f(1)=1f(1)=1 and 1∉[0,1)1\notin[0,1), shown with a hollow/white disc. (2) The graph of y={x}y=\{x\} lies in the region bounded by y=0y=0 and y=1y=1, so 0≤{x}<10\le\{x\}<1. (3) {x}+{−x}={0,x∈I1,x∉I\{x\}+\{-x\}=\begin{cases}0, & x\in I\\ 1, & x\notin I\end{cases}. Example (Ex. 13): {5.2}+{−5.2}=0.2+0.8=1\{5.2\}+\{-5.2\}=0.2+0.8=1, where 5.2∉I5.2\notin I; and {7}+{−7}=0+0=0\{7\}+\{-7\}=0+0=0, where 7∈I7\in I. (4) {x±n}={x}\{x\pm n\}=\{x\}, where n∈In\in I. Example (Ex. 14): {2.8+5}={7.8}=0.8\{2.8+5\}=\{7.8\}=0.8 and {2.8}=0.8\{2.8\}=0.8; also {2.8−5}={−2.2}=−2.2−(−3)=0.8\{2.8-5\}=\{-2.2\}=-2.2-(-3)=0.8 (using {x}=x−[x]\{x\}=x-[x] with [−2.2]=−3[-2.2]=-3).

Ex. 15: If {x}\{x\} and [x][x] are the fractional part function and greatest integer function of xx respectively, solve for xx if {x+1}+2x=4[x+1]−6\{x+1\}+2x=4[x+1]-6. …

Figure 1Fig. 6.46 — graph of the fractional part function (sawtooth)

What this figure shows. A repeating sawtooth-shaped graph made of a sequence of identical rising diagonal segments, each running from height 0 (filled/closed dot, at each integer x, included) up to just under height 1 (open/hollow dot, excluded, right before the next integer, where it resets sharply back down to 0), repeating this same rising-then-dropping pattern at every integer across the whole x-axis. Illustrates domain R and range [0,1), and that the function's value resets to 0 at every integer and climbs steadily back to just u …