−1
| |||||
---|---|---|---|---|---|
Кардинал | −1, минус один , отрицательный один | ||||
Порядковый номер | −1-й (сначала отрицательный) | ||||
Делители | 1 | ||||
арабский | − ١ | ||||
Китайская цифра | Отрицательный, отрицательный, отрицательный. | ||||
Бенгальский | − ১ | ||||
Двоичный ( байтовый ) |
| ||||
Шестнадцатеричный ( байт ) |
|
В математике большее -1 ( отрицательная единица или минус один ) — это аддитивное число, обратное 1 , то есть число, которое при добавлении к 1 дает аддитивный единичный элемент, 0. Это отрицательное целое число, отрицательных двух (-2). и меньше 0 .
Алгебраические свойства
[ редактировать ]Умножение
[ редактировать ]Умножение числа на −1 эквивалентно изменению знака числа, то есть для любого x имеем (−1) ⋅ x = − x . Это можно доказать, используя распределительный закон и аксиому о том, что 1 является мультипликативным тождеством :
- Икс + (-1) ⋅ Икс знак равно 1 ⋅ Икс + (-1) ⋅ Икс знак равно (1 + (-1)) ⋅ Икс знак равно 0 ⋅ Икс знак равно 0 .
Здесь мы воспользовались тем фактом, что любое число x, умноженное на 0, равно 0, что следует из сокращения из уравнения
- 0 ⋅ Икс знак равно (0 + 0) ⋅ Икс знак равно 0 ⋅ Икс + 0 ⋅ Икс .
Другими словами,
- Икс + (−1) ⋅ Икс знак равно 0 ,
поэтому (−1) ⋅ x является аддитивной инверсией x , т.е. (−1) ⋅ x = − x , как и должно было быть показано.
Квадрат −1
[ редактировать ]Квадрат . −1, то есть −1, умноженный на −1, равен 1. Как следствие, произведение двух отрицательных чисел является положительным
Алгебраическое доказательство этого результата начнём с уравнения
- 0 = −1 ⋅ 0 = −1 ⋅ [1 + (−1)] .
Первое равенство следует из приведенного выше результата, а второе следует из определения −1 как аддитивной обратной единицы: это именно то число, которое при добавлении к 1 дает 0. Теперь, используя закон распределения, можно увидеть, что
- 0 = −1 ⋅ [1 + (−1)] = −1 ⋅ 1 + (−1) ⋅ (−1) = −1 + (−1) ⋅ (−1) .
Третье равенство следует из того, что 1 — мультипликативное тождество. Но теперь добавление 1 к обеим частям этого последнего уравнения означает, что
- (−1) ⋅ (−1) = 1 .
Приведенные выше аргументы справедливы для любого кольца — концепции абстрактной алгебры, обобщающей целые и действительные числа . [1] : стр. 48
Квадратные корни из −1
[ редактировать ]нет Хотя действительных квадратных корней из −1 , комплексное число i удовлетворяет i 2 = −1 , и поэтому его можно рассматривать как квадратный корень из −1. [2] Единственное другое комплексное число, квадрат которого равен -1, это - i, потому что из любого ненулевого комплексного числа имеется ровно два квадратных корня, что следует из фундаментальной теоремы алгебры . В алгебре кватернионов , где фундаментальная теорема не применяется, которая содержит комплексные числа, уравнение x 2 = −1 имеет бесконечно много решений . [3] [4]
Обратные и обратимые элементы
[ редактировать ]Возведение в степень ненулевого действительного числа можно распространить на отрицательные целые числа , где возведение числа в степень -1 имеет тот же эффект, что и возведение его мультипликативного обратного значения :
- х −1 = 1 / x .
Затем это определение применяется к отрицательным целым числам, сохраняя экспоненциальный закон x а х б = х ( а + б ) для действительных чисел a и b .
−1 Верхний индекс в f −1 ( x ) принимает обратную функцию f ( ( x ) , где ( f ) x ) −1 конкретно обозначает поточечную обратную величину. [а] Если f является биективным, определяющим выходную кодовую область каждого y ∈ Y из каждой входной области x ∈ X , будет
- ж −1 ( f ( x )) = x , и f −1 ( ж ( у )) знак равно у .
Когда подмножество кодомена указано внутри функции f , его инверсия даст обратный образ или прообраз этого подмножества в функции.
Кольца
[ редактировать ]Возведение в степень до отрицательных целых чисел можно расширить до обратимых элементов кольца, определив x −1 как мультипликативный обратный x ; в этом контексте эти элементы считаются единицами . [1] : стр. 49
В полиномиальной области F [ x ] над любым полем F многочлен x не имеет обратного. Если бы у него действительно было обратное q ( x ) , тогда было бы [5]
- Икс q ( Икс ) знак равно 1 ⇒ град ( Икс ) град q + ( Икс ) ) = град ( ( 1)
- ⇒ 1 + град ( q ( x )) = 0
- ⇒ град ( q ( x )) = -1
что невозможно, и, следовательно, F [ x ] не является полем. Точнее, поскольку полином не является непрерывным он не является единицей в F. ,
Использование
[ редактировать ]Последовательности
[ редактировать ]Целочисленные последовательности обычно используют -1 для представления несчетного множества вместо « ∞ » как значения, полученного из данного индекса . [6]
Например, количество правильных выпуклых многогранников в n -мерном пространстве равно:
-1 также может использоваться как нулевое значение из индекса, который дает пустой набор ∅ или нецелое число , если общее выражение, описывающее последовательность , не удовлетворяется или не встречается. [6]
Например, наименьшее k > 1 такое, что в интервале 1... k находится столько же целых чисел, которые имеют ровно вдвое n делителей , сколько простых чисел :
- {2, 27, −1, 665, −1, 57675, −1, 57230, −1} для n = {1, 2, ..., 9} (последовательность A356136 в OEIS ).
Нецелочисленный или пустой элемент часто обозначается 0 также .
Вычисление
[ редактировать ]В разработке программного обеспечения -1 является общим начальным значением для целых чисел и также используется, чтобы показать, что переменная не содержит полезной информации . [ нужна ссылка ]
См. также
[ редактировать ]Ссылки
[ редактировать ]Примечания
[ редактировать ]- ^ Например, грех −1 ( x ) — обозначение функции арксинуса .
Источники
[ редактировать ]- ^ Перейти обратно: а б Натансон, Мелвин Б. (2000). «Глава 2: Сравнения» . Элементарные методы теории чисел . Тексты для аспирантов по математике . Том. 195. Нью-Йорк: Спрингер . стр. xviii, 1–514. дои : 10.1007/978-0-387-22738-2_2 . ISBN 978-0-387-98912-9 . МР 1732941 . ОСЛК 42061097 .
- ^ Бауэр, Кэмерон (2007). «Глава 13: Комплексные числа» . Алгебра для спортсменов (2-е изд.). Hauppauge: Издательство Nova Science . п. 273. ИСБН 978-1-60021-925-2 . OCLC 957126114 .
- ^ Перлис, Сэм (1971). «Капсула 77: Кватернионы» . Исторические темы в алгебре . Исторические темы для математического класса. Том. 31. Рестон, В.А.: Национальный совет учителей математики . п. 39. ИСБН 9780873530583 . OCLC 195566 .
- ^ Портеус, Ян Р. (1995). «Глава 8: Кватернионы». Алгебры Клиффорда и классические группы (PDF) . Кембриджские исследования по высшей математике. Том. 50. Кембридж: Издательство Кембриджского университета . п. 60. дои : 10.1017/CBO9780511470912.009 . ISBN 9780521551779 . МР 1369094 . OCLC 32348823 .
- ^ Чапор, Стивен Р.; Геддес, Кейт О.; Лабан, Джордж (1992). «Глава 2: Алгебра полиномов, рациональных функций и степенных рядов». Алгоритмы компьютерной алгебры (1-е изд.). Бостон: Академическое издательство Kluwer. стр. 41, 42. doi : 10.1007/b102438 . ISBN 978-0-7923-9259-0 . ОСЛК 26212117 . S2CID 964280 . Zbl 0805.68072 – через Springer .
- ^ Перейти обратно: а б См. поиск с помощью «-1, если такого числа не существует» или «-1, если число бесконечно» в OEIS, чтобы найти ассортимент соответствующих последовательностей.