Дробная часть или десятичная часть [1] неотрицательного действительного числа — это превышение целой части этого числа . Последнее определяется как наибольшее целое число, не превышающее x , называемое полом x или . Тогда дробную часть можно сформулировать как разность :
Следовательно, для положительного числа , записанного в обычной позиционной системе счисления (например, двоичной или десятичной ), его дробная часть соответствует цифрам, появляющимся после точки счисления . Результатом является действительное число в полуоткрытом интервале [0, 1).
Однако в случае отрицательных чисел существуют различные противоречивые способы распространить на них функцию дробной части: она либо определяется так же, как и для положительных чисел, то есть (Грэм, Кнут и Паташник 1992), [2] или как часть числа справа от точки счисления (Daintith 2004), [3] или как нечетная функция : [4]
наименьшее целое число не меньше x , также называемое потолком x . В результате мы можем получить, например, три разных значения дробной части всего лишь одного x : пусть это будет -1,3, его дробная часть будет равна 0,7 по первому определению, 0,3 по второму определению и -0,3. согласно третьему определению, результат которого также можно получить непосредственным путем,
Определения и «нечетная функция» допускают уникальное разложение любого действительного числа x на сумму его целой и дробной частей, где «целая часть» относится к или соответственно. Эти два определения функции дробной части также обеспечивают идемпотентность .
Дробная часть, определяемая отличием от ⌊ ⌋ , обычно обозначается фигурными скобками :
Каждое действительное число может быть по существу однозначно представлено в виде непрерывной дроби , а именно как сумма его целой части и обратной его дробной части, которая записывается как сумма его целой части и обратной его дробной части, и так далее.