Целое число

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Целые числа на числовой прямой

Целые числа — расширение множества натуральных чисел , получаемое добавлением к нуля и отрицательных чисел[1] вида . Множество целых чисел обозначается (от нем. Zahlen, числа). Необходимость рассмотрения целых чисел продиктована невозможностью, в общем случае, вычесть из одного натурального числа другое — можно вычитать только меньшее число из большего. Введение нуля и отрицательных чисел делает вычитание такой же полноценной операцией, как сложение[2].

Вещественное число является целым, если его запись не содержит дробной части (но может содержать знак). Примеры:

Числа являются целыми.
Числа 5+12; не являются целыми.

Положительные и отрицательные числа[править | править вики-текст]

Согласно своему построению, множество целых чисел состоит из трёх частей — натуральных (или, что то же самое, положительных) чисел, нуля и отрицательных чисел. Для каждого целого числа существует и единственно противоположное ему число, обозначаемое Если положительно, то противоположное ему отрицательно, и наоборот. Ноль противоположен самому себе.

Абсолютной величиной целого числа называется это число с отброшенным знаком[3]. Обозначение:

Примеры:

Алгебраические свойства[править | править вики-текст]

Сложение и вычитание[править | править вики-текст]

Следующая таблица иллюстрирует основные свойства сложения[4] для любых целых .

Свойство Алгебраическая запись
Коммутативность (переместительность)
Ассоциативность (сочетательность)
Свойство нуля
Свойство противоположного элемента

При сложении и вычитании целых чисел выполняются следующие «правила знаков»[4][5], которые следует учитывать при раскрытии скобок:

Правила сложения целых чисел[6].

  1. При сложении целых чисел с одинаковыми знаками надо сложить их абсолютные величины и приписать ей знак слагаемых. Пример;
  2. При сложении целых чисел с разными знаками надо сравнить их абсолютные величины, из большей вычесть меньшую и приписать результату знак того слагаемого, у которого абсолютная величина больше. Примеры:
  3. Вычитание для целых чисел всегда выполнимо, и результат можно найти как Пример:

Умножение[править | править вики-текст]

Умножение чисел далее обозначается или просто Следующая таблица иллюстрирует основные свойства умножения[4] для любых целых .

Свойство Алгебраическая запись
Коммутативность (переместительность)
Ассоциативность (сочетательность)
Свойство единицы
Свойство нуля
Дистрибутивность (распределительность) умножения относительно сложения

При умножении целых чисел выполняются «правила знаков»[4][5], которые следует учитывать при раскрытии скобок:

Следствие: произведение чисел с одинаковыми знаками положительно, с разными — отрицательно.

Упорядоченность[править | править вики-текст]

линейно упорядоченное множество. Порядок в нём задаётся соотношениями:

Целое число положительно, если оно больше нуля, отрицательно, если меньше нуля. Положительными целыми числами являются натуральные числа и только они. Отрицательные числа — это числа, противоположные положительным. Нуль не является ни положительным, ни отрицательным.

Для целых чисел справедливы следующие соотношения[7].

  1. Если то для любого будет
  2. Если и то
  3. Если и то

Следствия:

  • Если и то
  • Любое отрицательное число меньше любого положительного
  • Для сравнения двух отрицательных чисел существует правило: больше то число, у которого абсолютная величина меньше. Например,

Деление нацело и с остатком[править | править вики-текст]

Обычное деление, вообще говоря, не определено на множестве целых чисел, но можно определить так называемое деление с остатком[8]:

Для любых целых существует единственный набор целых чисел такой, что , где

Здесь a — делимое, b — делитель, q — (неполное) частное, r — остаток от деления (всегда неотрицателен). Если остаток равен нулю, говорят, что деление выполняется нацело[8].

Примеры
  • При делении с остатком положительного числа на получаем неполное частное и остаток .
Проверка:
  • При делении с остатком отрицательного числа на получаем неполное частное и остаток .
Проверка:
  • При делении с остатком числа на получаем неполное частное и остаток , то есть деление выполняется нацело. Для быстрого выяснения, делится ли заданное число на (небольшое) число существуют признаки делимости.

Понятия делителей числа, простых чисел, разложения целого числа на простые множители и основная теорема арифметики для целых чисел практически совпадают (с возможным учётом знака) с аналогами этих понятий для натуральных чисел. На операции деления с остатком основаны теория сравнений и алгоритм Евклида для нахождения наибольшего общего делителя двух целых чисел.

История[править | править вики-текст]

Первым шагом на пути расширения натуральных чисел было появление нуля; первыми этот символ стали применять, по-видимому, индийские математики. Вначале ноль применялся не как число, а как цифра при позиционной записи чисел, затем постепенно стал признаваться и как полноценное число, обозначающее отсутствие чего-либо (например, полное разорение торговца)[9].

Отрицательные числа впервые стали использовать в древнем Китае и в Индии, где рассматривали как математический образ «долга». Древний Египет, Вавилон и Древняя Греция не использовали отрицательных чисел, а если получались отрицательные корни уравнений (при вычитании), они отвергались как невозможные. Исключение составлял Диофант, который в III веке уже знал «правило знаков» и умел умножать отрицательные числа. Однако он рассматривал их лишь как промежуточный этап, полезный для вычисления окончательного, положительного результата. Полезность и законность отрицательных чисел утверждались постепенно. Индийский математик Брахмагупта (VII век) уже рассматривал их наравне с положительными[10].

В Европе признание наступило на тысячу лет позже, да и то долгое время отрицательные числа называли «ложными», «мнимыми» или «абсурдными». Первое описание их в европейской литературе появилось в «Книге абака» Леонарда Пизанского (1202 год), который также трактовал отрицательные числа как долг. Бомбелли и Жирар в своих трудах считали отрицательные числа вполне допустимыми и полезными, в частности, для обозначения нехватки чего-либо. Свободно использовали отрицательные числа Николя Шюке (1484 год) и Михаэль Штифель (1544)[10].

В XVII веке, с появлением аналитической геометрии, отрицательные числа получили наглядное геометрическое представление на числовой оси. С этого момента наступает их полное равноправие. Легализация отрицательных чисел привела к многочисленным удобствам — например, перенос слагаемых уравнения в другую его часть стал возможен незаивсимо от знака этого слагаемого (ранее, скажем, уравнения и считались принципиально различными)[11].

Тем не менее теория отрицательных чисел долго находилась в стадии становления. Паскаль, например, считал, что , так как «ничто не может быть меньше, чем ничто»[12]. Оживлённо обсуждалась, например, странная пропорция — в ней первый член слева больше второго, а справа — наоборот, и получается, что большее равно меньшему («парадокс Арно»). Валлис считал, что отрицательные числа меньше нуля, но в то же время больше, чем бесконечность[13]. Непонятно было также, какой смысл имеет умножение отрицательных чисел, и почему произведение отрицательных положительно; на эту тему проходили жаркие дискуссии. Отголоском тех времён является то обстоятельство, что в современной арифметике операция вычитания и знак отрицательных чисел обозначаются одним и тем же символом (минус), хотя алгебраически это совершенно разные понятия. Гаусс в 1831 году считал нужным разъяснить, что отрицательные числа принципиально имеют те же права, что и положительные, а то, что они применимы не ко всем вещам, ничего не означает, потому что дроби тоже применимы не ко всем вещам (например, неприменимы при счёте людей)[14].

Полная и вполне строгая теория отрицательных чисел была создана только в XIX веке (Уильям Гамильтон и Герман Грассман)[15].

Применение[править | править вики-текст]

В прикладных науках[править | править вики-текст]

Целые числа широко применяются при исследовании объектов, которые по своей природе или по особенностям постановки задачи неделимы (например, люди, суда, строения, иногда дни и т. п.). Отрицательные числа также могут найти применение в таких моделях — скажем, при планировании торговых сделок можно продажи обозначать положительными числами, а покупки — отрицательными. Пример из физики — квантовые числа, играющие фундаментальную роль в микромире; все они — целые (или полуцелые) числа со знаком[16].

Для решения возникающих при этом задач разработаны специальные математические методы, учитывающие специфику проблем. В частности, решение в целых числах алгебраических уравнений (разных степеней) рассматривает теория «диофантовых уравнений»[17]. Вопросы целочисленной оптимизации исследует целочисленное программирование[18].

В информатике[править | править вики-текст]

Тип целое число — зачастую один из основных типов данных в языках программирования. Целые типы данных обычно реализуются как фиксированный набор битов, один из которых кодирует знак числа, а прочие — двоичные цифры. Современные компьютеры имеют богатый набор команд для арифметических операций с целыми числами.

Место в общей алгебре[править | править вики-текст]

С точки зрения общей алгебры, является бесконечным коммутативным кольцом с единицей относительно сложения и умножения. Если расширить это кольцо, добавив к нему всевозможные дроби (со знаком), получится поле рациональных чисел (); в нём уже выполнимо любое деление, кроме деления на ноль[19].

Перечисленные выше свойства сложения целых чисел говорят о том, что относительно операции сложения является абелевой группой, и, следовательно, также циклической группой, так как каждый ненулевой элемент может быть записан в виде конечной суммы 1 + 1 + … 1 или (−1) + (−1) + … + (−1). Фактически, является единственной бесконечной циклической группой по сложению в силу того, что любая бесконечная циклическая группа изоморфна группе . Относительно умножения не образует группу, поскольку во множестве целых чисел деление, вообще говоря, невозможно[19].

Любое упорядоченное кольцо с единицей и без делителей нуля содержит одно и только одно подкольцо, изоморфное [20].

Логические основания[править | править вики-текст]

Расширение натуральных чисел до целых, как и любое другое расширение алгебраической структуры, ставит множество вопросов, основные из которых — как определить операции над новым типом чисел (например, как определить умножение отрицательных чисел), какие свойства они тогда будут иметь и (главный вопрос) допустимо ли такое расширение, не приведёт ли оно к неустранимым противоречиям. Для анализа подобных вопросов надо сформировать набор аксиом для целых чисел.

Аксиоматика целых чисел[править | править вики-текст]

Проще всего определить аксиоматику множества целых чисел , если опираться на уже построенное множество натуральных чисел (которое предполагается непротиворечивым, а свойства его — известными). Именно, определим как минимальное кольцо, содержащее множество натуральных чисел. Более строго, аксиомы целых чисел следующие[21] [22].

Z1: Для всяких целых чисел определена их сумма
Z2: Сложение коммутативно: Для краткости оговорку «для всяких » далее, как правило, опускаем.
Z3: Сложение ассоциативно:
Z4: Существует элемент 0 (ноль) такой, что
Z5: Для всякого целого числа существует «противоположный ему» элемент такой, что
Z6: Для всяких целых чисел определено их произведение
Z7: Умножение ассоциативно:
Z8: Умножение связано со сложением распределительными (дистрибутивными) законами:
Z9: Множество целых чисел содержит подмножество, изоморфное множеству натуральных чисел
Z10 (аксиома минимальности): Пусть — подмножество включающее и такое, что операция вычитания не выводит за пределы Тогда совпадает со всем

Из этих аксиом вытекают как следствия все прочие свойства целых чисел, в том числе коммутативность умножения, упорядоченность, правила деления нацело и деления с остатком[23]. Покажем, например, как вводится порядок целых чисел. Будем говорить, что если есть натуральное число. Аксиомы порядка легко проверяются. Из определения сразу следует, что все натуральные числа больше нуля (положительны), а все противоположные им меньше нуля (отрицательны). Для натуральных чисел новый порядок совпадает со старым[24].

Непротиворечивость[править | править вики-текст]

Стандартный способ доказать непротиворечивость новой структуры — смоделировать (интерпретировать) её аксиомы с помощью объектов другой структуры, чья непротиворечивость сомнений не вызывает. В нашем случае мы должны реализовать эти аксиомы на базе пар натуральных чисел[25].

Рассмотрим всевозможные упорядоченные пары натуральных чисел Чтобы смысл дальнейших определений стал понятен, сразу поясним, что мы намерены в дальнейшем каждую такую пару рассматривать как целое число например, пары или будут изображать единицу, а пары или будут изображать

Далее определим[26]:

  1. Пары и считаются равными, если Это связано с тем, что, как показано в примерах, любое целое число можно представить бесконечным числом пар.
  2. Сложение: сумма пар и определяется как пара
  3. Умножение: произведение пар и определяется как пара

Нетрудно проверить, что результаты сложения и умножения не меняются, если любую пару мы заменим на равную ей, то есть новая пара-результат будет равна прежней (в указанном определением 1 смысле равенства). Несложно также убедиться, что описанная структура пар удовлетворяет всему приведенному перечню аксиом целых чисел. Положительные числа моделируются парами в которых ноль изображают пары вида а пары с соответствуют отрицательным числам[26].

Эта модель позволяет прояснить, как из аксиом целых чисел однозначно следуют их свойства; покажем это для «правила знаков». Например, умножив два «отрицательных числа» и у которых мы по определению получим пару Разность равна это число положительно, поэтому пара-произведение изображает положительное целое число, следовательно, произведение отрицательных чисел положительно. Любое другое правило (скажем, «произведение отрицательных чисел отрицательно») сделало бы теорию целых чисел противоречивой.

Описанная модель доказывает, что приведенная аксиоматика целых чисел непротиворечива. Потому что если бы в ней было противоречие, то это означало бы противоречие и в базовой для данной модели арифметике натуральных чисел, которую мы заранее предположили непротиворечивой[25].

Другие логические аспекты[править | править вики-текст]

Приведенная аксиоматика целых чисел категорична, то есть любые её модели изоморфны как кольца[27].

Вариации и обобщения[править | править вики-текст]

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

См. также[править | править вики-текст]

Примечания[править | править вики-текст]

  1. Справочник по элементарной математике, 1978, с. 111—113.
  2. Элементарная математика с точки зрения высшей, 1987, с. 37.
  3. Справочник по элементарной математике, 1978, с. 114.
  4. 1 2 3 4 Элементарная математика, 1976, с. 24—28.
  5. 1 2 Элементарная математика с точки зрения высшей, 1987, с. 39.
  6. Справочник по элементарной математике, 1978, с. =114—115.
  7. Справочник по элементарной математике, 1978, с. 172—173.
  8. 1 2 Деление // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1979. — Т. 2.
  9. Ламберто Гарсия дель Сид. Особые числа других культур // Замечательные числа. Ноль, 666 и другие бестии. — DeAgostini, 2014. — Т. 21. — С. 115. — 159 с. — (Мир математики). — ISBN 978-5-9774-0716-8.
  10. 1 2 Глейзер Г. И. История математики в школе. — М.: Просвещение, 1964. — С. 132—135. — 376 с.
  11. Справочник по элементарной математике, 1978, с. 113—114.
  12. Сухотин А. К. Превратности научных идей. М.: Мол. гвардия. 1991, стр. 34.
  13. Панов В. Ф. Отрицательные числа // Математика древняя и юная. — Изд. 2-е, исправленное. — М.: МГТУ им. Баумана, 2006. — С. 399. — 648 с. — ISBN 5-7038-2890-2.
  14. Александрова Н. В. Математические термины.(справочник). М.: Высшая школа, 1978, стр. 164.
  15. Математика XVIII столетия // История математики / Под редакцией А. П. Юшкевича, в трёх томах. — М.: Наука, 1972. — Т. III. — С. 48—49.
  16. Сивухин Д. В. § 38. Четыре квантовых числа электрона и тонкая структура спектральных термов // Общий курс физики. — М., 2005. — Т. V. Атомная и ядерная физика. — С. 226.
  17. Гельфонд А. О. Решение уравнений в целых числах. — М.: Наука, 1978. — (Популярные лекции по математике).
  18. Карманов В. Г. Математическое программирование. — М.: Наука, 1986. — 288 с.
  19. 1 2 Винберг Э. Б. Курс алгебры. 2-е изд. — М.: Изд-во МЦНМО, 2013. — С. 15—16. — 590 с. — ISBN 978-5-4439-0209-8.
  20. Числовые системы, 1975, с. 100.
  21. Числовые системы, 1975, с. 95—96.
  22. Энциклопедия элементарной математики, 1951, с. 160—162.
  23. Числовые системы, 1975, с. 96—98.
  24. Энциклопедия элементарной математики, 1951, с. 170—171.
  25. 1 2 Числовые системы, 1975, с. 100—102.
  26. 1 2 Энциклопедия элементарной математики, 1951, с. 162—168.
  27. Числовые системы, 1975, с. 98.
  28. Окунев Л. Я. Целые комплексные числа. — М.: Гос. уч.-пед. изд-во Наркомпроса РСФСР, 1941. — 56 с.
  29. Eisenstein Integer. Проверено 19 августа 2017.

Литература[править | править вики-текст]

  • Выгодский М. Я. Справочник по элементарной математике. — М.: Наука, 1978.
  • Зайцев В. В., Рыжков В. В., Сканави М. И. Элементарная математика. Повторительный курс. — Издание третье, стереотипное. — М.: Наука, 1976. — 591 с.
  • Клейн Ф. Элементарная математика с точки зрения высшей. — М.: Наука, 1987. — Т. I. Арифметика. Алгебра. Анализ. — 432 с.
  • Нечаев В. И. Числовые системы. — М.: Просвещение, 1975. — 199 с.
  • Энциклопедия элементарной математики (в 5 томах). — М.: Физматгиз, 1951. — Т. 1. — С. 160—168. — 448 с.