Todo número real x puede escribirse en la forma n+r donde n es la parte entera de x, y r es un número real no negativo menor que 1, denominado la parte fraccionaria o parte fraccional de x.
Si x es un número positivo escrito en notación decimal, entonces la parte fraccionaria corresponde a los dígitos que aparecen después del dígito decimal, pero esta equivalencia no es válida para los números negativos.
De forma más precisa, se define la parte fraccionaria de un número real x como:[1]
donde representa la función piso. En ocasiones también se usa la notación o para representar a la parte fraccionaria.[1]
Al estar definida en términos de la función piso, la parte fraccionaria comparte muchas propiedades semejantes.
La función piso es periódica y posee una expansión en serie de Fourier alrededor de valores no enteros:
No existe un consenso absoluto sobre la forma en que se debe definir la parte fraccionaria para números negativos, aunque la definición dada en este artículo es la de mayor uso en la comunidad matemática.[2]
Una forma alternativa de definir la parte fraccionaria es usar una regla distinta dependiendo si el argumento es positivo o negativo:
donde representa la función techo.
Con esta definición, la parte fraccionaria de -8.21 sería (obsérvese que tampoco es igual al número obtenido al tomar únicamente las cifras después del punto decimal, en este caso, 0.21).
Una de las ventajas de la definición alternativa es que la fórmula es válida, aunque otras propiedades útiles como dejan de ser válidas.