Floor and ceiling functions ($\lfloor x\rfloor ,\lceil x\rceil$)

The floor function and ceiling function turn a real number into directed integer bounds. They answer two different questions: which integer is the largest one that does not exceed $x$, and which is the smallest one that is not less than $x$?Both outputs are integers. These are exact mathematical operations; they need not choose the closest integer, and they do not refer to roundoff error in floating-point arithmetic.

For example,The fractional part is $\{x\}=x-\lfloor x\rfloor$. The negative example matters: discarding the digits after the decimal point would give $-2$, which is truncation toward zero, rather than the floor function's value $-3$. At an integer, the floor function and ceiling function agree and the fractional part vanishes.

The usefulness is a bridge from continuous quantities to discrete decisions. An integer count in a closed interval uses both bounds. A ceiling count for fixed-size batches counts how many containers or pages are needed; a floor function counts how many complete groups fit. In Euclidean division, the same bounds specify the quotient, while the fractional part records the scaled remainder. A small amount of notation removes many cases that would otherwise have to be stated separately.

The reflection identityfollows by reflecting the ordered integers across zero: the largest one below $-x$ becomes the smallest one above $x$. For every integer $m$, translation gives $\lfloor x+m\rfloor =\lfloor x\rfloor +m$ and $\lceil x+m\rceil =\lceil x\rceil +m$. These formulas turn upper bounds into lower bounds and move examples between neighboring intervals.

For a historical example of the notation in use, Kenneth E. Iverson's 1962 conference paper A Programming Language lists the floor function, ceiling function and residue operation alongside the ordinary arithmetic operations. It states the two defining inequalities above, then extends operations component by component to vectors and matrices. This shows their role as tools for describing algorithms, rather than merely conventions for writing decimal numbers. ^[ref]

For real numbers $a\le b$, the integers in the closed interval $[a,b]$ begin at $\lceil a\rceil$ and end at $\lfloor b\rfloor$, if there are any. Their number is thereforeThe extra one includes both ends of the resulting integer interval. The maximum with zero handles an empty intersection: $[0.2,0.8]$ contains no integer, even though it has positive length.

For $[-2.7,1.1]$, the ceiling function selects $-2$ and the floor function selects $1$, giving $1-(-2)+1=4$. The four points are $-2,-1,0,1$. For $[-2,2]$, the count is five, not four: the real length $2-(-2)$ and the number of integer points are different quantities.

The endpoint convention matters. For the half-open interval $[a,b)$ with $a\le b$, the last allowed integer is $\lceil b\rceil -1$, so the count becomes $\max (0,\lceil b\rceil -\lceil a\rceil )$. This handles an integer endpoint $b$ without including it accidentally. For example, $[-2,2)$ has four integer points.

The floor $\lfloor x\rfloor$ is the greatest integer not exceeding the real number $x$. Equivalently, $\lfloor x\rfloor =m$ exactly when $m\le x<m+1$, for an integer $m$. The floor function is constant on each such half-open interval and has a discontinuity of a function at each integer.

For nonnegative integers $N$ and positive integers $k$, $\lfloor N/k\rfloor$ is the number of complete groups of size $k$ that fit into $N$ items. With $N=102$ and $k=20$, five complete groups use 100 items. Euclidean division writes $102=20\cdot 5+2$, retaining the two-item remainder rather than treating the quotient $102/20=5.1$ as a number of complete groups.

The fractional part of a real number isIt is the amount left after removing the lower enclosing integer, even for negative inputs. Thus $\{-2.7\}=-2.7-(-3)=0.3$. It is not the signed string of digits obtained by truncation toward zero.

Translation by an integer leaves the fractional part unchanged: $\{x+m\}=\{x\}$. It is therefore a periodic function with period one, increasing from zero toward one on each unit interval, then returning to zero at the next integer. In Euclidean division $N=kq+r$ with $0\le r<k$, $\{N/k\}=r/k$; for $102/20$, this is $2/20=0.1$.

The notation is useful for following repeated motion modulo an integer. In normality and equidistribution under integer multiplication, the values $\{K^{n}x\}$ shift the digits of a positional notation; the fractional part discards the leading integer portion without losing the remaining digits. Its braces must be distinguished by context from the braces denoting a set.

The ceiling function gives the least integer large enough to meet a real lower bound. For a real number $x$,Thus $\lceil 2.7\rceil =3$, $\lceil -2.7\rceil =-2$, and $\lceil 2\rceil =2$. The operation rounds upward in the total order on the real numbers, which can move a negative input towards zero. Its difference from the input obeys $0\le \lceil x\rceil -x<1$. Python's math.ceil implements this least-integer definition. ^[ref].

The ceiling count for fixed-size batches is a direct application. Suppose each box holds at most $k$ items, with positive integer $k$, and there are $N\ge 0$ items. The smallest number of boxes with enough capacity is $\lceil N/k\rceil$: a candidate count $b$ must satisfy $bk\ge N$. For $N=101$, $k=20$, six boxes are needed, leaving $120-101=19$ unused places. Exactly 100 items need only five boxes, and zero items need zero boxes. Adding one to the floor function result unconditionally would therefore overcount at exact multiples of $k$.

For nonnegative integer $N$ and positive integer $k$, Euclidean division gives the exact identityWrite $N=qk+r$, $0\le r<k$. The count is $q$ when the remainder is zero and $q+1$ otherwise, and the right-hand side encodes these two cases. This argument specifies the domain of the identity; arbitrary negative denominators require their own sign conventions.

The ceiling function is a nondecreasing function, constant on each of the half-open intervals $(m-1,m]$, and has a discontinuity of a function at every integer. It is tied to the floor function by $\lceil x\rceil =-\lfloor -x\rfloor$. Adding an integer $j$ shifts its output by the same amount: $\lceil x+j\rceil =\lceil x\rceil +j$. At an integer the floor and ceiling agree; at every other input they differ by one. These statements refer to exact real numbers; an input already perturbed by floating-point arithmetic can land on the other side of a threshold.

Suppose $N$ is a nonnegative integer count of items and each batch holds at most $k$ items, where $k$ is a positive integer. The smallest sufficient number of batches isIndeed, $bk\ge N$ exactly when the integer $b$ is at least $N/k$. If $N=0$, no batches are needed. If $N$ is a multiple of $k$, no partly filled batch is needed.

For $102$ items with capacity $20$ per batch, $b=\lceil 5.1\rceil =6$. Five batches can be full and the sixth holds two items, leaving $6\cdot 20-102=18$ unused places. This is a different question from the five complete groups counted by $\lfloor 102/20\rfloor$.

Writing the Euclidean division $N=kq+r$, $0\le r<k$, gives the equivalent rule $b=q$ when $r=0$, and $b=q+1$ when $r>0$. This explains the ceiling function's jump: one extra item beyond a complete multiple demands a whole additional batch. For exact integer arithmetic, the identity $b=\lfloor (N+k-1)/k\rfloor$ avoids a fractional intermediate value; an implementation still needs an integer representation large enough to hold $N+k-1$.

Truncation toward zero removes the fractional magnitude of a real number, giving the integer obtained by applying the floor function to its absolute value and restoring the original sign; a magnitude below one gives zero. More precisely,The result is zero for $-1<x<1$. For example, $\mathrm{trunc}(2.7)=2$ and $\mathrm{trunc}(-2.7)=-2$, whereas $\lfloor -2.7\rfloor =-3$. Python's math.trunc uses this towards-zero convention, so replacing it by math.floor changes calculations with negative noninteger inputs. ^[ref].

For every real number $x$,The discarded difference $x-\mathrm{trunc}(x)$ has the sign of $x$ when $x$ is noninteger. In contrast, the fractional part $x-\lfloor x\rfloor$ is always in $[0,1)$. At $x=-2.7$, these two differences are $-0.7$ and $0.3$. Thus specifying a signed fractional remainder requires specifying which integer-valued operation is used.

Unlike the floor function and ceiling function, truncation toward zero need not commute with adding an integer. At $x=-0.7$ and $j=1$, $\mathrm{trunc}(x+j)=\mathrm{trunc}(0.3)=0$, whereas $\mathrm{trunc}(x)+j=1$. This matters if negative coordinates are assigned to equal-width bins by converting a quotient to an integer: $x=-0.7$ belongs to the bin $[-1,0)$ under the floor function, but truncation gives zero. The appropriate operation follows from the declared bin intervals.

Truncation toward zero is a nondecreasing function with a discontinuity of a function at each nonzero integer. It has no discontinuity of a function at zero, because it is identically zero on $(-1,1)$. Its agreement with the floor function on the positive side and the ceiling function on the negative side explains the different closed endpoints in the diagram.