Целая часть

График функции «пол» (целая часть числа)

График функции «потолок»

В математике, целая часть вещественного числа $x$ — округление $x$ до ближайшего целого в меньшую сторону. Целая часть числа также называется антье (Шаблон:Lang-fr), или пол (Шаблон:Lang-en). Наряду с полом существует парная функция — потолок (Шаблон:Lang-en) — округление $x$ до ближайшего целого в большую сторону.

Обозначения и примеры

Впервые квадратные скобки ($[x]$) для обозначения целой части числа $x$ использовал Гаусс в 1808 году в своём доказательстве закона квадратичной взаимности. Это обозначение считалось стандартным, пока Кеннет Айверсон в своей книге «A Programming Language», опубликованной в 1962 году, не предложил округление числа $x$ до ближайшего целого в меньшую и большую стороны называть «пол» и «потолок» $x$ и обозначать $\lfloor x\rfloor$ и $\lceil x\rceil$ соответственно.

В современной математике используются оба обозначения, $[x]$ и $\lfloor x\rfloor$, однако всё более и более преимущественно применяют терминологию и обозначения Айверсона: одна из причин состоит в том, что для отрицательных чисел понятие «целая часть числа» уже является неоднозначным. Например, целая часть числа 2,7 равна 2, но на то, как определить целую часть числа −2,7, уже возможны две точки зрения: по определению, данному в этой статье, $[x]\equiv \lfloor x\rfloor =-3$, однако в некоторых калькуляторах функция целой части INT для отрицательных чисел определяется как INT(–x) = –INT(x), так что INT(–2,7) = −2. Терминология Айверсона лишена этих недостатков:

$\begin{array}{cc}\lfloor 2,7\rfloor =2,& \lfloor -2,7\rfloor =-3,\\ \lceil 2,7\rceil =3,& \lceil -2,7\rceil =-2.\end{array}$

Определения

Функция «пол» $\lfloor \cdot \rfloor :x\mapsto \lfloor x\rfloor$ определяется как наибольшее целое, меньшее или равное $x$:

$\lfloor x\rfloor =\max \{n\in \mathbb{Z}\mid n⩽x\}.$

Функция «потолок» $\lceil \cdot \rceil :x\mapsto \lceil x\rceil$ — это наименьшее целое, большее или равное $x$:

$\lceil x\rceil =\min \{n\in \mathbb{Z}\mid n⩾x\}.$

Эти определения эквивалентны следующим неравенствам (где n — целое число):

$\begin{array}{ccccc}\lfloor x\rfloor =n& ⟺& n⩽x<n+1& ⟺& x-1<n⩽x,\\ \lceil x\rceil =n& ⟺& n-1<x⩽n& ⟺& x⩽n<x+1.\end{array}$

Свойства

В формулах, записанных ниже, буквами $x$ и $y$ обозначены вещественные числа, а буквами $n$ и $m$ — целые.

Пол и потолок как функции вещественной переменной

Функции пол и потолок отображают множество вещественных чисел в множество целых чисел:

$\lfloor \cdot \rfloor :ℝ\to \mathbb{Z},\lceil \cdot \rceil :ℝ\to \mathbb{Z},$

Пол и потолок — кусочно-постоянные функции.

Функции пол и потолок разрывны: во всех целочисленных точках терпят разрывы первого рода со скачком, равным единице.

При этом функция пол является:

• полунепрерывной сверху и
• непрерывной справа.

Функция потолок является:

• полунепрерывной снизу и
• непрерывной слева.

Связь функций пол и потолок

Для произвольного числа $x$ верно неравенство

$\lfloor x\rfloor ⩽x⩽\lceil x\rceil$

Для целого $x$ пол и потолок совпадают:

$\lfloor x\rfloor =x⟺x\in \mathbb{Z}⟺\lceil x\rceil =x$

Если $x$ — не целое, то значение функции потолок на единицу больше значения функции пол:

$\lceil x\rceil -\lfloor x\rfloor =\{\begin{array}{cc}1,& x\notin \mathbb{Z}\\ 0,& x\in \mathbb{Z}\end{array}$

Функции пол и потолок являются отражениями друг друга от обеих осей:

$\lfloor -x\rfloor =-\lceil x\rceil ,\lceil -x\rceil =-\lfloor x\rfloor$

Пол/потолок: неравенства

Любое неравенство между вещественным и целым числами равносильно неравенству с полом и потолком между целыми числами :

$\begin{array}{cccccc}n⩽x& ⟺& n⩽\lfloor x\rfloor & x⩽n& ⟺& \lceil x\rceil ⩽n\\ n<x& ⟺& n<\lceil x\rceil & x<n& ⟺& \lfloor x\rfloor <n\end{array}$

Два верхних неравенства являются непосредственными следствиями определений пола и потолка, а два нижние — обращение верхних от противного.

Функции пол/потолок являются монотонно возрастающими функциями:

$x⩽y\Rightarrow \lfloor x\rfloor ⩽\lfloor y\rfloor ,x⩽y\Rightarrow \lceil x\rceil ⩽\lceil y\rceil$

Пол/потолок: сложение

Целочисленное слагаемое можно вносить/выносить за скобки пола/потолка :

$\lfloor x+n\rfloor =\lfloor x\rfloor +n,\lceil x+n\rceil =\lceil x\rceil +n$

Предыдущие равенства, вообще говоря, не выполняются, если оба слагаемых — вещественные числа. Однако и в этом случае справедливы неравенства:

$\lfloor x\rfloor +\lfloor y\rfloor ⩽\lfloor x+y\rfloor ⩽\lfloor x\rfloor +\lfloor y\rfloor +1,\lceil x\rceil +\lceil y\rceil -1⩽\lceil x+y\rceil ⩽\lceil x\rceil +\lceil y\rceil$

Пол/потолок под знаком функции

Имеет место следующее предложение:

Пусть $f(x)$ — непрерывная монотонно возрастающая функция, определенная на некотором промежутке, обладающая свойством:

$f(x)\in \mathbb{Z}\Rightarrow x\in \mathbb{Z}$

Тогда

$\lfloor f(x)\rfloor =\lfloor f(\lfloor x\rfloor )\rfloor ,\lceil f(x)\rceil =\lceil f(\lceil x\rceil )\rceil$

всякий раз, когда определены $f(x),f(\lfloor x\rfloor ),f(\lceil x\rceil )$.

В частности,

$\lfloor \frac{x+m}{n}\rfloor =\lfloor \frac{\lfloor x\rfloor +m}{n}\rfloor ,\lceil \frac{x+m}{n}\rceil =\lceil \frac{\lceil x\rceil +m}{n}\rceil$

если $m$ и $n$ — целые числа, и $n>0$.

Пол/потолок: суммы

Если $m,n$ — целые числа, $m>0$, то

$n=\lfloor \frac{n}{m}\rfloor +\lfloor \frac{n+1}{m}\rfloor +\dots +\lfloor \frac{n+m-1}{m}\rfloor$

Вообще, если $x$ — произвольное вещественное число, а $m$ — целое положительное, то

$\lfloor mx\rfloor =\lfloor x\rfloor +\lfloor x+\frac{1}{m}\rfloor +\dots +\lfloor x+\frac{m-1}{m}\rfloor$

Имеет место более общее соотношение :

$\sum _{0⩽k<m}\lfloor \frac{nk+x}{m}\rfloor =d\lfloor \frac{x}{d}\rfloor +\frac{(m-1)(n-1)}{2}+\frac{d-1}{2},d=(m,n)$

Так как правая часть этого равенства симметрична относительно $m$ и $n$, то справедлив следующий закон взаимности:

$\sum _{0⩽k<m}\lfloor \frac{nk+x}{m}\rfloor =\sum _{0⩽k<n}\lfloor \frac{mk+x}{n}\rfloor ,m,n>0$

Разложимость в ряд

Тривиальным образом функция антье раскладывается в ряд с помощью функции Хевисайда:

$[x]=\sum _{n=-\mathrm{\infty }}^{+\mathrm{\infty }}n(\theta (x-n)-\theta (x-n-1)),$

где каждое слагаемое ряда создаёт характерные «ступеньки» функции. Этот ряд сходится абсолютно, однако ошибочное преобразование его слагаемых может привести к «упрощённому» ряду

$\sum _{n=-\mathrm{\infty }}^{+\mathrm{\infty }}\theta (x-n),$

который расходится.

Применение

Целочисленные функции пол/потолок находят широкое применение в дискретной математике и теории чисел. Ниже приведены некоторые примеры использования этих функций.

Количество цифр в записи числа

Количество цифр в записи целого положительного числа в позиционной системе счисления с основанием b равно

$\lfloor {\log }_{b}n\rfloor +1$

Округление

Шаблон:Main Ближайшее к $x$ целое число может быть определено по формуле

$(x)=\lfloor x+0,5\rfloor$

Бинарная операция mod

Шаблон:Main Операция «остаток по модулю», обозначаемая $xmody$, может быть определена с помощью функции пола следующим образом. Если $x,y$ — произвольные вещественные числа, и $y\ne 0$, то неполное частное от деления $x$ на $y$ равно

$\lfloor x/y\rfloor$,

а остаток

$xmody=x-y\lfloor x/y\rfloor$

Дробная часть

Шаблон:Main Дробная часть вещественного числа $x$ по определению равна

$\{x\}=xmod1=x-\lfloor x\rfloor$

Количество целых точек промежутка

Требуется найти количество целых точек в замкнутом промежутке с концами $\alpha$ и $\beta$, то есть количество целых чисел $n$, удовлетворяющий неравенству

$\alpha ⩽n⩽\beta$

В силу свойств пол/потолка, это неравенство равносильно

$\lceil \alpha \rceil ⩽n⩽\lfloor \beta \rfloor$.

Это есть число точек в замкнутом промежутке с концами $\lceil \alpha \rceil$ и $\lfloor \beta \rfloor$, равное $\lfloor \beta \rfloor -\lceil \alpha \rceil +1$.

Аналогично можно подсчитать количество целых точек в других типах промежутков. Сводка результатов приведена ниже .

$\mathrm{\#}\{n\in \mathbb{Z}:\alpha ⩽n⩽\beta \}=\lfloor \beta \rfloor -\lceil \alpha \rceil +1$

$\mathrm{\#}\{n\in \mathbb{Z}:\alpha ⩽n<\beta \}=\lceil \beta \rceil -\lceil \alpha \rceil$

$\mathrm{\#}\{n\in \mathbb{Z}:\alpha <n⩽\beta \}=\lfloor \beta \rfloor -\lfloor \alpha \rfloor$

$\mathrm{\#}\{n\in \mathbb{Z}:\alpha <n<\beta \}=\lceil \beta \rceil -\lfloor \alpha \rfloor -1$

(Через $\mathrm{\#}M$ обозначена мощность множества $M$).

Первые три результата справедливы при всех $\alpha ⩽\beta$, а четвёртый — только при $\alpha <\beta$.

Теорема Рэлея о спектре

Пусть $\alpha$ и $\beta$ — положительные иррациональные числа, связанные соотношением

$\frac{1}{\alpha }+\frac{1}{\beta }=1.$

Тогда в ряду чисел

$\lfloor \alpha \rfloor ,\lfloor \beta \rfloor ,\lfloor 2\alpha \rfloor ,\lfloor 2\beta \rfloor ,\dots ,\lfloor m\alpha \rfloor ,\lfloor m\beta \rfloor ,\dots$

каждое натуральное $n\in \mathbb{N}$ встречается в точности один раз. Иными словами, последовательности

$\{m\alpha \mid m\in \mathbb{N}\}$ и $\{m\beta \mid m\in \mathbb{N}\}$,

называемые последовательностями Битти, образуют разбиение натурального ряда.

В информатике

В Юникоде

В Юникоде есть символы ⌊ (LEFT FLOOR, U+230A) и ⌋ (RIGHT FLOOR, U+230B).

В языках программирования

Во многих языках программирования существуют встроенные функции пола/потолка floor(), ceil().

В системах вёрстки

В TeX (и LaTeX) для символов пола/потолка $\lfloor$, $\rfloor$, $\lceil$, $\rceil$ существуют специальные команды: \lfloor, \rfloor, \lceil, \rceil. Поскольку wiki использует LaTeX для набора математических формул, то и в данной статье использованы именно эти команды.

См. также

• Дробная часть
• Округление
• Десятичный разделитель

Литература

• Шаблон:Книга
• Шаблон:Книга