An целое число (от латинского целое число, означающее «целое») в разговорной речи определяется как число, которое может быть записано без дробной части. компонент. Например, 21, 4, 0 и -2048 являются целыми числами, а 9,75, 5 + 1/2 и √2 - нет.
Набор целых чисел состоит из нуля (0 ), положительных натуральных чисел (1, 2, 3,...), также называемых целыми числами или подсчет чисел, и их аддитивно инвертирует (целые отрицательные числа, то есть -1, -2, -3,...). Набор целых чисел часто обозначается жирным шрифтом буквой 'Z' ("Z ") или полужирным шрифтом (Unicode U + 2124 ℤ), что означает немецкое слово Zahlen (, «числа»).
ℤ является подмножеством набора всех рациональных чисел ℚ, которое, в свою очередь, является подмножеством действительных чисел ℝ. Как и натуральные числа, ℤ является счетно бесконечным.
Целые числа образуют наименьшую группу и наименьшее кольцо, содержащее натуральные числа. В теории алгебраических чисел целые числа иногда квалифицируются как рациональные целые числа, чтобы отличать их от более общих целых алгебраических чисел. Фактически (рациональные) целые числа - это алгебраические целые числа, которые также являются рациональными числами.
Символ ℤ может быть аннотирован для обозначения различных множеств, с разным использованием у разных авторов: ℤ, ℤ + или ℤ для положительных целых чисел, ℤ или ℤ для неотрицательных целых чисел и ℤ для ненулевых целых чисел. Некоторые авторы используют ℤ для ненулевых целых чисел, в то время как другие используют его для неотрицательных целых чисел или для {–1, 1}. Кроме того, ℤ p используется для обозначения либо набора целых чисел по модулю p (т. Е. Набора классов сравнения целых чисел), либо набора p-адические целые числа.
Как и натуральные числа, ℤ является закрытым под операций сложения и умножения, то есть сумма и произведение любых двух целых чисел является целым числом. Однако с включением отрицательных натуральных чисел (и, что важно, 0 ), ℤ, в отличие от натуральных чисел, также закрывается при вычитании.
Целые числа образуют кольцо с единицей, который является самым основным в следующем смысле: для любого кольца с единицей существует единственный кольцевой гомоморфизм целых чисел в это кольцо. Это универсальное свойство, а именно быть исходным объектом в категории колец, характеризует кольцо ℤ.
ℤ не закрывается при делении, поскольку частное двух целых чисел (например, 1, деленное на 2) не обязательно должно быть целым числом. Хотя натуральные числа закрываются под возведением в степень, целые числа - нет (так как результат может быть дробью, когда показатель степени отрицательный).
В следующей таблице перечислены некоторые основные свойства сложения и умножения для любых целых чисел a, b и c:
Сложение | Умножение | |
---|---|---|
Замыкание : | a + b - целое число | a × b - целое число |
Ассоциативность : | a + (b + c) = (a + b) + c | a × (b × c) = (a × b) × c |
Коммутативность : | a + b = b + a | a × b = b × a |
Существование элемент идентичности : | a + 0 = a | a × 1 = a |
Наличие обратных элементов : | a + (−a) = 0 | Единственными обратимыми целыми числами (называемыми единицами ) являются −1 и 1. |
Дистрибутивность : | a × (b + c) = (a × b) + (a × c) и (a + b) × c = (a × c) + (b × c) | |
Нет делителей нуля : | Если a × b = 0, то a = 0 или b = 0 (или оба) |
На языке абстрактной алгебры первые пять свойств, перечисленных выше для сложения, говорят, что ℤ при добавлении является абелевой группой. Это также циклическая группа, поскольку любое ненулевое целое число может быть записано как конечная сумма 1 + 1 +… + 1 или (−1) + (−1) +… + (−1). Фактически, сложение является единственной бесконечной циклической группой в том смысле, что любая бесконечная циклическая группа изоморфна группе to.
Первые четыре свойства, перечисленные выше для умножения, говорят, что ℤ при умножении является коммутативным моноидом. Однако не каждое целое число имеет обратное мультипликативное число (как в случае числа 2), что означает, что ℤ при умножении не является группой.
Все правила из приведенной выше таблицы свойств (кроме последней), взятые вместе, говорят, что ℤ вместе со сложением и умножением представляет собой коммутативное кольцо с единицей. Это прототип всех объектов такой алгебраической структуры. Только те равенства из выражений верны в ℤ для всех значений переменных, которые верны в любом коммутативном кольце с единицей. Некоторые ненулевые целые числа отображаются в ноль в определенных кольцах.
Отсутствие делителей нуля в целых числах (последнее свойство в таблице) означает, что коммутативное кольцо ℤ является областью целостности.
Отсутствие мультипликативных обратных чисел, которые эквивалентно тому, что ℤ не замкнуто относительно деления, означает, что ℤ не является полем. Наименьшее поле, содержащее целые числа в виде подкольца , является полем рациональных чисел. Процесс построения рациональных чисел из целых чисел можно имитировать, чтобы сформировать поле дробей любой области целостности. И обратно, начиная с поля алгебраических чисел (расширение рациональных чисел), можно извлечь его кольцо целых чисел, которое включает ℤ в качестве подкольца .
Хотя обыкновенное деление не определяется на, на них определяется деление «с остатком». Он называется евклидовым делением и обладает следующим важным свойством: для двух целых чисел a и b с b ≠ 0 существуют уникальные целые числа q и r такие, что a = q × b + r и 0 ≤ r < | b |, where | b | denotes the абсолютное значение b. Целое число q называется частным, а r называется остатком от деления a на b. алгоритм Евклида для вычисления наибольших общих делителей работает с помощью последовательности евклидовых делений.
Опять же, на языке абстрактной алгебры вышесказанное говорит, что ℤ является евклидовой областью. Это означает, что ℤ является областью главного идеала, и любое положительное целое число может быть записано как произведение простых чисел по существу уникальным способом. Это фундаментальная теорема арифметики..
ℤ - это полностью упорядоченное множество без верхней или нижней границы. Порядок ℤ задается следующим образом::... −3 < −2 < −1 < 0 < 1 < 2 < 3 <... An integer is positive if it is greater than ноль, и отрицательный, если он меньше нуля. Ноль не определяется ни отрицательным, ни положительным.
Порядок целых чисел совместим с алгебраическими операциями следующим образом:
Таким образом, следует, что the вместе с указанным выше порядком является упорядоченным кольцо.
Целые числа - единственная нетривиальная полностью упорядоченная абелева группа, положительные элементы которой хорошо упорядочены. Это эквивалентно утверждению, что любое нётерианское кольцо оценки является либо полем - либо дискретным кольцом оценки.
В начальной школе целые числа часто интуитивно определяются как (положительные) натуральные числа, ноль и отрицание натуральные числа. Однако этот стиль определения приводит к множеству различных случаев (каждая арифметическая операция должна быть определена для каждой комбинации типов целых чисел) и делает утомительным доказательство того, что целые числа подчиняются различным законам арифметики. Поэтому в современной теоретико-множественной математике вместо этого часто используется более абстрактная конструкция, позволяющая определять арифметические операции без различия регистров. Таким образом, целые числа можно формально сконструировать как классы эквивалентности упорядоченных пар натуральных чисел (a, b).
Интуиция что (a, b) означает результат вычитания b из a. Чтобы подтвердить наше ожидание, что 1-2 и 4-5 обозначают одно и то же число, мы определяем отношение эквивалентности ~ для этих пар со следующим правилом:
именно тогда, когда
Сложение и умножение целых чисел можно определить в терминах эквивалентных операций с натуральными числами; используя [(a, b)] для обозначения класса эквивалентности, имеющего (a, b) в качестве члена, мы получаем:
Отрицание (или аддитивное обратное) целого числа получается с помощью изменение порядка пары:
Следовательно, вычитание можно определить как сложение аддитивного обратного:
Стандартный порядок целых чисел задается следующим образом:
Легко проверить, что эти определения не зависят от выбора представителей классов эквивалентности.
Каждый класс эквивалентности имеет уникальный член, имеющий форму (n, 0) или (0, n) (или оба сразу). Натуральное число n отождествляется с классом [(n, 0)] (т. Е. Натуральные числа вложены в целые числа путем сопоставления, отправляющего n в [(n, 0)]), а класс [(0, n)] обозначается −n (это покрывает все оставшиеся классы и дает класс [(0,0)] второй раз, поскольку −0 = 0.
Таким образом, [(a, b)] обозначается
Если натуральные числа отождествляются с соответствующими целыми числами (с использованием упомянутого выше вложения), это соглашение не создает двусмысленности.
Эта нотация восстанавливает знакомое представление целых чисел как {…, −2, −1, 0, 1, 2,…}.
Вот некоторые примеры:
В теоретической информатике другие подходы к построению целых чисел используются автоматическими средствами доказательства теорем и механизмами перезаписи терминов. Целые числа представлены как алгебраические термины, построенные с использованием нескольких основных операций (например, zero, succ, pred ) и, возможно, с использованием натуральные числа, которые предполагается уже построенными (например, с использованием подхода Пеано).
Существует как минимум десять таких конструкций целых чисел со знаком. Эти конструкции различаются несколькими способами: числом основных операций, используемых для построения, числом (обычно от 0 до 2) и типами аргументов, принимаемых этими операциями; наличие или отсутствие натуральных чисел в качестве аргументов некоторых из этих операций, а также тот факт, что эти операции являются свободными конструкторами или нет, т.е. что одно и то же целое число может быть представлено с использованием только одного или нескольких алгебраических терминов.
Техника построения целых чисел, представленная выше в этом разделе, соответствует частному случаю, когда существует единственная базовая операция pair, который принимает в качестве аргументов два натуральных числа и , и возвращает целое число (равно ). Эта операция не бесплатна, поскольку целое число 0 может быть записано как пара (0,0), или пара (1,1), или пара (2, 2) и т. Д. Эту технику построения использует помощник по доказательству Изабель ; однако многие другие инструменты используют альтернативные методы построения, в первую очередь те, которые основаны на бесплатных конструкторах, которые проще и могут быть более эффективно реализованы на компьютерах.
Целое число часто является примитивным типом данных в компьютерных языках. Однако целочисленные типы данных могут представлять только подмножество всех целых чисел, поскольку практические компьютеры имеют конечную емкость. Кроме того, в представлении общего дополнения до двух внутреннее определение знака различает «отрицательный» и «неотрицательный», а не «отрицательный, положительный и 0». (Однако компьютер, безусловно, может определить, действительно ли целочисленное значение является положительным.) Типы данных (или подмножества) целочисленного приближения фиксированной длины обозначаются как int или Integer на нескольких языках программирования (например, Algol68, C, Java, Delphi и т. Д.).
Представления переменной длины целых чисел, такие как bignums, могут хранить любое целое число, которое умещается в памяти компьютера. Другие целочисленные типы данных реализуются с фиксированным размером, обычно количеством битов, равным степени 2 (4, 8, 16 и т. Д.) Или запоминающимся количеством десятичных цифр (например, 9 или 10).
Мощность набора целых чисел равна ℵ 0(aleph-null ). Это легко демонстрируется построением биекции, то есть функции, которая инъективна и сюръективна от ℤ до ℕ. Если ℕ₀ ≡ {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)...}
Если область ограничена ℤ, то каждый и каждый член имеет один и только один соответствующий член ℕ, и по определению кардинального равенства два множества имеют равное количество элементов.
Найдите целое в Wiktionary, бесплатном словаре. |
В этой статье используется материал из Integer на PlanetMath, который находится под лицензией Creative Commons Attribution / Share-Alike License.