Целое число - Википедия - Integer

An целое число (от латинский целое число означает "целое")[а] в просторечии определяется как номер что можно написать без дробная составляющая. Например, 21, 4, 0 и -2048 - целые числа, а 9,75, 5+1/2, и2 не.

В набор целых чисел состоит из нуля (0 ) положительный натуральные числа (1, 2, 3, ...), также называемый целые числа или же подсчет чисел,[2][3] и их аддитивное обратноеотрицательные целые числа, т.е. −1, −2, −3, ...). Набор целых чисел часто обозначается жирный шрифт буква 'Z' ("Z") или же классная доска жирным шрифтом (Unicode U + 2124 ℤ) означает Немецкий слово Зален ([ˈTsaːlən], «числа»).[4][5][6][7]

это подмножество из набора всех рациональный числа , который, в свою очередь, является подмножеством настоящий числа . Как натуральные числа, является счетно бесконечный.

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

Символ

Символ могут быть аннотированы для обозначения различных наборов, которые используются разными авторами по-разному: +,[4] + или же > для положительных целых чисел, 0+ или же для неотрицательных целых чисел и для ненулевых целых чисел. Некоторые авторы используют * для ненулевых целых чисел, в то время как другие используют его для неотрицательных целых чисел или для {–1, 1}. Кроме того, п используется для обозначения набора целые числа по модулю п[4] (т. е. набор классы конгруэнтности целых чисел), или набор п-адические целые числа.[8][9][10]

Алгебраические свойства

Целые числа можно рассматривать как дискретные, равноотстоящие точки на бесконечно длинной числовая строка. В приведенном выше описании не-отрицательный целые числа показаны синим, а отрицательные числа - красным.

Словно натуральные числа, является закрыто под операции сложения и умножение, то есть сумма и произведение любых двух целых чисел является целым числом. Однако с включением отрицательных натуральных чисел (и, что немаловажно,0 ), , в отличие от натуральных чисел, также закрывается по вычитание.[11]

Целые числа образуют кольцо единства которое является самым основным в следующем смысле: для любого кольца с единицей существует единственное кольцевой гомоморфизм из целых чисел в это кольцо. Этот универсальная собственность, а именно быть исходный объект в категория колец, характеризует кольцо.

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

В следующей таблице перечислены некоторые основные свойства сложения и умножения любых целых чисел. а, б и c:

Свойства сложения и умножения целых чисел
ДобавлениеУмножение
Закрытие:а + б это целое числоа × б это целое число
Ассоциативность:а + (б + c) = (а + б) + cа × (б × c) = (а × б) × c
Коммутативность:а + б = б + аа × б = б × а
Существование элемент идентичности:а + 0 = аа × 1 = а
Существование обратные элементы:а + (−а) = 0Единственные обратимые целые числа (называемые единицы ) находятся −1 и1.
Распределительность:а × (б + c) = (а × б) + (а × c) и (а + б) × c = (а × c) + (б × c)
Нет делители нуля:Если а × б = 0, тогда а = 0 или же б = 0 (или оба)

На языке абстрактная алгебра, первые пять свойств, перечисленных выше для добавления, говорят, что , кроме того, абелева группа. Это также циклическая группа, так как любое ненулевое целое число можно записать в виде конечной суммы 1 + 1 + … + 1 или же (−1) + (−1) + … + (−1). Фактически, под добавлением Только бесконечная циклическая группа - в том смысле, что любая бесконечная циклическая группа изоморфный к .

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

Все правила из приведенной выше таблицы свойств (кроме последнего), взятые вместе, говорят, что вместе со сложением и умножением является коммутативное кольцо с единство. Это прототип всех объектов такого алгебраическая структура. Только те равенства из выражения верны в для всех значения переменных, истинные в любом коммутативном кольце с единицей. Некоторые ненулевые целые числа отображаются в нуль в определенных кольцах.

Отсутствие делители нуля в целых числах (последнее свойство в таблице) означает, что коммутативное кольцо является область целостности.

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

Хотя обычное деление не определено , по ним определяется деление «с остатком». Это называется Евклидово деление, и обладает следующим важным свойством: для двух целых чисел а и б с б ≠ 0, существуют уникальные целые числа q и р такой, что а = q × б + р и 0 ≤ р < | б |, куда | б | обозначает абсолютная величина из б.[12] Целое число q называется частное и р называется остаток подразделения а к б. В Евклидов алгоритм для вычислений наибольшие общие делители работает по последовательности евклидовых делений.

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

Теоретико-порядковые свойства

это полностью заказанный набор без верхняя или нижняя граница. Порядок дан кем-то::... −3 < −2 < −1 < 0 < 1 < 2 < 3 < ...Целое число положительный если он больше чем нуль, и отрицательный если он меньше нуля. Ноль не определяется ни отрицательным, ни положительным.

Порядок целых чисел совместим с алгебраическими операциями следующим образом:

  1. если а < б и c < d, тогда а + c < б + d
  2. если а < б и 0 < c, тогда ac < до н.э.

Отсюда следует, что вместе с указанным выше порядком заказанное кольцо.

Целые числа - единственные нетривиальные полностью заказанный абелева группа чьи положительные элементы хорошо организованный.[14] Это эквивалентно утверждению, что любой Нётерян оценочное кольцо является либо поле —Или кольцо дискретной оценки.

Строительство

Представление классов эквивалентности чисел от −5 до 5
Красные точки представляют собой упорядоченные пары натуральные числа. Связанные красные точки - это классы эквивалентности, представляющие синие целые числа в конце строки.

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

Интуиция такова, что (а,б) обозначает результат вычитания б из а.[18] Чтобы подтвердить наши ожидания, что 1 − 2 и 4 − 5 обозначим то же число, определим отношение эквивалентности ~ на этих парах по следующему правилу:

именно когда

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

Отрицание (или аддитивное обратное) целого числа получается изменением порядка пары:

Следовательно, вычитание можно определить как добавление обратного аддитивного:

Стандартный порядок целых чисел определяется следующим образом:

если и только если

Легко проверить, что эти определения не зависят от выбора представителей классов эквивалентности.

Каждый класс эквивалентности имеет уникальный член, имеющий форму (п,0) или же (0,п) (или оба сразу). Натуральное число п отождествляется с классом [(п,0)] (т.е. натуральные числа равны встроенный в целые числа, отправив карту п к [(п,0)]), а класс [(0,п)] обозначается п (это покрывает все остальные классы и дает классу [(0,0)] второй раз с −0 = 0.

Таким образом, [(а,б)] обозначается

Если натуральные числа отождествляются с соответствующими целыми числами (с использованием упомянутого выше вложения), это соглашение не создает двусмысленности.

Это обозначение восстанавливает знакомые представление целых чисел как {…, −2, −1, 0, 1, 2, …}.

Вот несколько примеров:

В теоретической информатике используются другие подходы к построению целых чисел. автоматические средства доказательства теорем и механизмы перезаписи терминов. Целые числа представлены как алгебраические термины построенный с использованием нескольких основных операций (например, нуль, succ, пред) и, возможно, используя натуральные числа, которые предполагается уже построенными (например, с использованием подхода Пеано).

Таких конструкций целых чисел со знаком существует не менее десяти.[19] Эти конструкции различаются несколькими способами: числом основных операций, используемых для построения, числом (обычно от 0 до 2) и типами аргументов, принимаемых этими операциями; наличие или отсутствие натуральных чисел в качестве аргументов некоторых из этих операций, а также тот факт, что эти операции являются свободными конструкторами или нет, т.е. что одно и то же целое число может быть представлено с использованием только одного или нескольких алгебраических терминов.

Техника построения целых чисел, представленная выше в этом разделе, соответствует частному случаю, когда существует единственная базовая операция пара который принимает в качестве аргументов два натуральных числа и , и возвращает целое число (равное ). Эта операция не бесплатна, так как целое число 0 можно записать пара(0,0), или пара(1,1), или пара(2,2) и т. Д. Такой прием построения используется помощник доказательства Изабель; однако многие другие инструменты используют альтернативные методы построения, в первую очередь те, которые основаны на бесплатных конструкторах, которые проще и могут быть более эффективно реализованы на компьютерах.

Информатика

Целое число часто является примитивным тип данных в компьютерные языки. Однако целочисленные типы данных могут представлять только подмножество всех целых чисел, поскольку практические компьютеры имеют конечную мощность. Также в общем два дополнения представление, внутреннее определение знак различает «отрицательный» и «неотрицательный», а не «отрицательный, положительный и 0». (Однако компьютер, безусловно, может определить, действительно ли целочисленное значение является положительным.) Типы данных (или подмножества) целочисленного приближения фиксированной длины обозначаются int или Integer на нескольких языках программирования (например, Алгол68, C, Ява, Delphi, так далее.).

Представления переменной длины целых чисел, например бигнумы, может хранить любое целое число, которое умещается в памяти компьютера. Другие целочисленные типы данных реализуются с фиксированным размером, обычно количеством битов, равным степени 2 (4, 8, 16 и т. Д.) Или запоминающимся количеством десятичных цифр (например, 9 или 10).

Мощность

В мощность множества целых чисел равно 0 (алеф-нуль ). Это легко демонстрируется построением биекция, то есть функция, которая инъективный и сюръективный из к .Если ℕ₀ ≡ {0, 1, 2, ...} затем рассмотрим функцию:

{… (−4,8) (−3,6) (−2,4) (−1,2) (0,0) (1,1) (2,3) (3,5) ...}

Если ℕ ≡ {1, 2, 3, ...} затем рассмотрим функцию:

{... (−4,8) (−3,6) (−2,4) (−1,2) (0,1) (1,3) (2,5) (3,7) ...}

Если домен ограничен затем каждый член имеет одного-единственного члена-корреспондента и по определению кардинального равенства оба множества имеют одинаковую мощность.

Смотрите также

Сноски

  1. ^ Целое число первое буквальное значение на латыни - «нетронутый», от в ("не") плюс тангере ("трогать"). "Весь "происходит от того же происхождения через Французский слово Entier, что означает как весь и целое число.[1]

Рекомендации

  1. ^ Эванс, Ник (1995). «А-квантификаторы и объем». В Бахе, Эммон В. (ред.). Количественная оценка на естественных языках. Дордрехт, Нидерланды; Бостон, Массачусетс: Kluwer Academic Publishers. п. 262. ISBN  978-0-7923-3352-4.
  2. ^ Вайсштейн, Эрик В. «Подсчет числа». MathWorld.
  3. ^ Вайсштейн, Эрик В. "Целое число". MathWorld.
  4. ^ а б c «Сборник математических символов». Математическое хранилище. 1 марта 2020 г.. Получено 11 августа 2020.
  5. ^ Вайсштейн, Эрик В. "Целое число". mathworld.wolfram.com. Получено 11 августа 2020.
  6. ^ Миллер, Джефф (29 августа 2010 г.). «Раннее использование символов теории чисел». Архивировано из оригинал 31 января 2010 г.. Получено 20 сентября 2010.
  7. ^ Питер Джефсон Кэмерон (1998). Введение в алгебру. Издательство Оксфордского университета. п. 4. ISBN  978-0-19-850195-4. В архиве из оригинала 8 декабря 2016 г.. Получено 15 февраля 2016.
  8. ^ Кейт Пледжер и Дэйв Уилкинс, "Edexcel AS и модульная математика уровня A: основная математика 1" Пирсон, 2008 г.
  9. ^ Л.К. Тернер, Ф.Дж. Бадден, Д. Найтон, «Высшая математика», книга 2, Longman 1975.
  10. ^ Вайсштейн, Эрик В. "Z ^ *". MathWorld.
  11. ^ «Целое | математика». Энциклопедия Британника. Получено 11 августа 2020.
  12. ^ "Полное руководство по высшей математике по делению в столбик и его вариантам - для целых чисел". Математическое хранилище. 24 февраля 2019 г.. Получено 11 августа 2020.
  13. ^ Серж, Ланг (1993). Алгебра (3-е изд.). Эддисон-Уэсли. С. 86–87. ISBN  978-0-201-55540-0.
  14. ^ Уорнер, Сет (2012). Современная алгебра. Дуврские книги по математике. Курьерская корпорация. Теорема 20.14, с. 185. ISBN  978-0-486-13709-4. В архиве из оригинала 6 сентября 2015 г.. Получено 29 апреля 2015..
  15. ^ Мендельсон, Эллиотт (2008). Системы счисления и основы анализа. Дуврские книги по математике. Courier Dover Publications. п. 86. ISBN  978-0-486-45792-5. В архиве из оригинала 8 декабря 2016 г.. Получено 15 февраля 2016..
  16. ^ Иворра Кастильо: Алгебра
  17. ^ Фробишер, Лен (1999). Учимся учить числа: пособие для учащихся и учителей начальной школы. Серия «Преподавание начальной математики» Стэнли Торнса. Нельсон Торнс. п. 126. ISBN  978-0-7487-3515-0. В архиве из оригинала 8 декабря 2016 г.. Получено 15 февраля 2016..
  18. ^ а б c Кэмпбелл, Ховард Э. (1970). Структура арифметики. Appleton-Century-Crofts. п.83. ISBN  978-0-390-16895-5.
  19. ^ Гаравел, Хуберт (2017). О наиболее подходящей аксиоматизации целых чисел со знаком. Итоги 23-го Международного семинара по методам алгебраического развития (WADT'2016). Конспект лекций по информатике. 10644. Springer. С. 120–134. Дои:10.1007/978-3-319-72044-9_9. В архиве из оригинала 26 января 2018 г.. Получено 25 января 2018.

Источники

внешняя ссылка

Эта статья включает материал из Integer по PlanetMath, который находится под лицензией Лицензия Creative Commons Attribution / Share-Alike.