Floor and ceiling functions
In mathematics, the floor function (or greatest integer function) is the function that takes as input a real number x, and gives as output the greatest integer less than or equal to x, denoted ⌊x⌋ or floor(x). Similarly, the ceiling function maps x to the smallest integer greater than or equal to x, denoted ⌈x⌉ or ceil(x).[1]
For example, for floor: ⌊2.4⌋ = 2, ⌊−2.4⌋ = −3, and for ceiling: ⌈2.4⌉ = 3, and ⌈−2.4⌉ = −2.
Historically, the floor of x has been–and still is–called the integral part, integer part, or entier of x, often denoted [x] (as well as a variety of other notations).[2] However, the same term, integer part, is also used for truncation towards zero, which differs from the floor function for negative numbers.
For n an integer, ⌊n⌋ = ⌈n⌉ = [n] = n.
Although floor(x+1) and ceil(x) produce graphs that appear exactly alike, they are not the same when the value of x is an exact integer. For example, when x=2.0001; ⌊2.0001+1⌋ = ⌈2.0001⌉ = 3. However, if x=2, then ⌊2+1⌋ = 3, while ⌈2⌉ = 2.
The integral part or integer part of a number (partie entière in the original) was first defined in 1798 by Adrien-Marie Legendre in his proof of the Legendre's formula.
Carl Friedrich Gauss introduced the square bracket notation [x] in his third proof of quadratic reciprocity (1808).[3] This remained the standard[4] in mathematics until Kenneth E. Iverson introduced, in his 1962 book A Programming Language, the names "floor" and "ceiling" and the corresponding notations ⌊x⌋ and ⌈x⌉.[5][6] (Iverson used square brackets for a different purpose, the Iverson bracket notation.) Both notations are now used in mathematics, although Iverson's notation will be followed in this article.
In some sources, boldface or double brackets ⟦x⟧ are used for floor, and reversed brackets ⟧x⟦ or ]x[ for ceiling.[7][8]
The fractional part is the sawtooth function, denoted by {x} for real x and defined by the formula
For all x,
These characters are provided in Unicode:
In the LaTeX typesetting system, these symbols can be specified with the \lceil, \rceil, \lfloor, and \rfloor commands in math mode, and extended in size using \left\lceil, \right\rceil, \left\lfloor, and \right\rfloor as needed.
Some authors define [x] as the round-toward-zero function, so [2.4] = 2 and [−2.4] = −2, and call it the "integer part".
Applications[edit]
Mod operator[edit]
For an integer x and a positive integer y, the modulo operation, denoted by x mod y, gives the value of the remainder when x is divided by y. This definition can be extended to real x and y, y ≠ 0, by the formula