Целочисленные функции

Докажем, что

Случай 1: если , то .

Случай 2: если , то (в силу того, что функция монотонно возрастающая), а так как функция «потолок» — не убывающая, то . Предположим, что , тогда существует такое число , что и (в силу непрерывности функции ). Из условия следует, что — целое число. Это противоречит тому, что между и нет целых чисел. Значит, .

Рассмотрев , получаем полезное свойство:

и (8)

Например, при и получаем , т.е. троекратное деление на 10 с последовательным отбрасыванием цифр остатка — это то же самое, что и непосредственное деление на 1000 с последующим отбрасыванием всего остатка.

III. Количество целых чисел в интервалах: [a, b], [a, b), (a,b), (a, b].

Будем рассматривать указанные интервалы при условии .

Если a и b — целые числа, тогда интервал [a, b) содержит ровно целых чисел: a, a+1, …, , аналогично интервал (a, b] содержит целых чисел, но a и b — произвольные вещественные числа. Из (4) следует

, когда — целое число

Поэтому интервал [a, b) содержит ровно целых чисел, а интервал (a, b] содержит ровно целых чисел.

Рассмотрим промежуток [a, b]. Имеем (на основании свойств (4)). Отсюда следует, что рассматриваемый промежуток содержит ровно целых чисел: , , …, , .

Рассмотрим (a, b), причём . Имеем . Отсюда следует, что рассматриваемый интервал содержит ровно целых чисел: , , …, , . Если не вводить дополнительное ограничение то получим, что пустой интервал (a, a) содержит ровно целых чисел.

Подытожим установленные факты:

(9)

IV. Спектры.

Спектр некоторого вещественного числа a определяется как бесконечное мультимножество целых чисел:

Spec (a) = {, , ,…} (10)

Если , то Spec (a)¹Spec (b), т.е. нет двух одинаковых спектров.

Действительно, если предположить, что , то найдётся некоторое положительное целое число , такое, что . Следовательно, и . Таким образом, Spec(b) содержит менее чем m элементов не больших , тогда как Spec(α) содержит по меньшей мере m.

Пусть . Число элементов в Spec(), которые не превосходят , равно

 Скачать реферат