Fractional Part

The fractional part or decimal part of a non‐negative real number $x$ is the excess beyond that number's integer part. If the latter is defined as the largest integer not greater than , called floor of or $\lfloor x\rfloor$, its fractional part can be written as:

:$\operatorname (x)=x - \lfloor x \rfloor,\; x > 0$.

For a positive number written in a conventional positional numeral system (such as binary or decimal), its fractional part hence corresponds to the digits appearing after the radix point. The result is a real number in the half-open interval x, -\lfloor , x, \rfloor , or by the Weisstein,_Eric_W._"Fractional_Part."_From_MathWorld--A_Wolfram_Web_Resource
/ref>

:$\operatorname_(x)=\begin x_-_\lfloor_x_\rfloor_&_x_\ge_0_\\ x_-_\lceil_x_\rceil_&_x_<_0 \end$

with_$_\lceil_x_\rceil$_as_the_smallest_integer_not_less_than_,_also_called_the_ Weisstein,_Eric_W._"Fractional_Part."_From_MathWorld--A_Wolfram_Web_Resource
/ref>

:$\operatorname_(x)=\begin x_-_\lfloor_x_\rfloor_&_x_\ge_0_\\ x_-_\lceil_x_\rceil_&_x_<_0 \end$

with_$_\lceil_x_\rceil$_as_the_smallest_integer_not_less_than_,_also_called_the_ceiling_function">ceiling_of_._By_consequence,_we_may_get,_for_example,_three_different_values_for_the_fractional_part_of_just_one_:_let_it_be_−1.3,_its_fractional_part_will_be_0.7_according_to_the_first_definition,_0.3_according_to_the_second_definition,_and_−0.3_according_to_the_third_definition,_whose_result_can_also_be_obtained_in_a_straightforward_way_by
:\operatorname_(x)=_x_-_\lfloor_.html" ;"title="ceiling_function.html" ;"title="odd function:Weisstein, Eric W. "Fractional Part." From MathWorld--A Wolfram Web Resource
/ref>

:$\operatorname (x)=\begin x - \lfloor x \rfloor & x \ge 0 \\ x - \lceil x \rceil & x < 0 \end$

with $\lceil x \rceil$ as the smallest integer not less than , also called the ceiling function">ceiling of . By consequence, we may get, for example, three different values for the fractional part of just one : let it be −1.3, its fractional part will be 0.7 according to the first definition, 0.3 according to the second definition, and −0.3 according to the third definition, whose result can also be obtained in a straightforward way by
:$\operatorname (x)= x - \lfloor ">x, \rfloor \cdot \sgn(x)$.

The $x - \lfloor x \rfloor$ and the "odd function" definitions permit for unique decomposition of any real number to the addition, sum of its integer and fractional parts, where "integer part" refers to $\lfloor x \rfloor$ or $\lfloor , x, \rfloor \cdot \sgn(x)$ respectively. These two definitions of fractional-part function also provide idempotence.

The fractional part defined via difference from floor function, ⌊ ⌋ is usually denoted by curly braces:
:$\ := x-\lfloor x \rfloor.$

Relation to continued fractions

Every real number can be essentially uniquely represented as a continued fraction, namely as the sum of its integer part and the reciprocal of its fractional part which is written as the sum of ''its'' integer part and the reciprocal of ''its'' fractional part, and so on.

See also

* Circle group
* Equidistributed sequence
* One-parameter group
* Pisot–Vijayaraghavan number
* Significand

References

{{Reflist

Arithmetic
Unary operations