В математике четность — это свойство целого числа , четное оно или нечетное . Целое число четное, если оно делится на 2 , и нечетное, если нет. [1] Например, −4, 0 и 82 — четные числа, а −3, 5, 7 и 21 — нечетные числа.
Приведенное выше определение четности применимо только к целым числам, поэтому его нельзя применять к таким числам, как 1/2 или 4,201. См. раздел «Высшая математика» ниже для некоторых расширений понятия четности на более широкий класс «чисел» или в других более общих условиях.
Чётные и нечётные числа имеют противоположную чётность, например, 22 (чётное число) и 13 (нечётное число) имеют противоположную чётность. В частности, чётность нуля чётная. [2] Любые два последовательных целых числа имеют противоположную чётность. Число (т. е. целое число), выраженное в десятичной системе счисления, является чётным или нечётным в зависимости от того, является ли его последняя цифра чётной или нечётной. То есть, если последняя цифра равна 1, 3, 5, 7 или 9, то оно нечётное; в противном случае оно чётное — поскольку последняя цифра любого чётного числа равна 0, 2, 4, 6 или 8. Та же идея будет работать с использованием любого чётного основания. В частности, число, выраженное в двоичной системе счисления, является нечётным, если его последняя цифра равна 1; и оно чётное, если его последняя цифра равна 0. В нечётной основе число является чётным в соответствии с суммой его цифр — оно чётное тогда и только тогда, когда сумма его цифр чётная. [3]
Четное число — это целое число вида , где k — целое число; [4] нечетное число — это целое число вида
Эквивалентное определение состоит в том, что четное число делится на 2, а нечетное — нет:
Множества четных и нечетных чисел можно определить следующим образом: [5]
Множество четных чисел является простым идеалом , а фактор-кольцо — полем с двумя элементами . Тогда четность можно определить как единственный гомоморфизм колец из в , где нечетные числа равны 1, а четные числа равны 0. Последствия этого гомоморфизма рассматриваются ниже.
Следующие законы можно проверить, используя свойства делимости . Они являются особым случаем правил в модульной арифметике и обычно используются для проверки вероятности равенства путем проверки четности каждой стороны. Как и в обычной арифметике, умножение и сложение являются коммутативными и ассоциативными в арифметике по модулю 2, а умножение является дистрибутивным относительно сложения. Однако вычитание по модулю 2 идентично сложению, поэтому вычитание также обладает этими свойствами, что неверно для обычной целочисленной арифметики.
По построению в предыдущем разделе структура ({четный, нечетный}, +, ×) на самом деле является полем с двумя элементами .
Деление двух целых чисел не обязательно приводит к целому числу. Например, 1, деленное на 4, равно 1/4, что не является ни четным, ни нечетным, поскольку понятия четности и нечетности применимы только к целым числам. Но когда частное является целым числом, оно будет четным тогда и только тогда, когда делимое имеет больше множителей два, чем делитель. [6]
Древние греки считали, что 1, монада , не является ни полностью нечетным, ни полностью четным. [7] Часть этого мнения сохранилась и в 19 веке: в работе Фридриха Вильгельма Августа Фребеля «Воспитание человека» 1826 года учитель должен наставлять учеников, утверждая, что 1 не является ни четным, ни нечетным, к чему Фребель добавляет философскую последующую мысль:
Здесь хорошо бы сразу обратить внимание ученика на великий далеко идущий закон природы и мысли. Он заключается в том, что между двумя относительно различными вещами или идеями всегда стоит третья, в своего рода равновесии, как будто объединяющая их. Таким образом, здесь между нечетными и четными числами есть одно число (единица), которое не является ни одним из них. Аналогично, по форме, прямой угол находится между острыми и тупыми углами; а в языке полугласные или стремящиеся между немыми и гласными. Вдумчивый учитель и ученик, наученный думать самостоятельно, вряд ли не заметят этот и другие важные законы. [8]
Целочисленные координаты точек в евклидовых пространствах двух или более измерений также имеют четность, обычно определяемую как четность суммы координат. Например, гранецентрированная кубическая решетка и ее многомерные обобщения ( решетки D n ) состоят из всех целочисленных точек, координаты которых имеют четную сумму. [9] Эта особенность также проявляется в шахматах , где четность квадрата указывается его цветом: слоны ограничены перемещением между квадратами одинаковой четности, тогда как кони чередуют четность между ходами. [10] Эта форма четности была широко использована для решения проблемы изуродованной шахматной доски : если с шахматной доски убрать два противоположных угловых квадрата, то оставшуюся доску нельзя будет покрыть домино, потому что каждое домино покрывает один квадрат каждой четности, и квадратов одной четности на два больше, чем другой. [11]
Четность порядкового числа может быть определена как четная, если число является предельным порядковым числом или предельным порядковым числом плюс конечное четное число, и нечетная в противном случае. [12]
Пусть R — коммутативное кольцо , а I — идеал R , индекс которого равен 2. Элементы смежного класса можно назвать четными , а элементы смежного класса — нечетными . Например, пусть R = Z (2) — локализация Z в простом идеале (2). Тогда элемент R является четным или нечетным тогда и только тогда, когда его числитель является таковым в Z .
Чётные числа образуют идеал в кольце целых чисел, [13] но нечётные числа не образуют — это ясно из того факта, что элемент тождества для сложения, ноль, является элементом только чётных чисел. Целое число является чётным, если оно сравнимо с 0 по модулю этого идеала, другими словами, если оно сравнимо с 0 по модулю 2, и нечётным, если оно сравнимо с 1 по модулю 2.
Все простые числа нечетные, за одним исключением: простое число 2. [14] Все известные совершенные числа четные; неизвестно, существуют ли нечетные совершенные числа. [15]
Гипотеза Гольдбаха утверждает, что каждое четное целое число, большее 2, может быть представлено в виде суммы двух простых чисел. Современные компьютерные вычисления показали, что эта гипотеза верна для целых чисел по крайней мере до 4 × 10 18 , но до сих пор не найдено общего доказательства . [16]
Четность перестановки (как определено в абстрактной алгебре ) — это четность числа транспозиций , на которые может быть разложена перестановка. [17] Например, (ABC) в (BCA) четно, потому что это можно сделать, поменяв местами A и B, а затем C и A (две транспозиции). Можно показать, что никакая перестановка не может быть разложена как на четное, так и на нечетное число транспозиций. Следовательно, вышеприведенное определение является подходящим. В кубике Рубика , Мегаминксе и других головоломках на скручивание ходы головоломки допускают только четные перестановки частей головоломки, поэтому четность важна для понимания пространства конфигураций этих головоломок. [18]
Теорема Фейта–Томпсона утверждает, что конечная группа всегда разрешима, если ее порядок — нечетное число. Это пример нечетных чисел, играющих роль в продвинутой математической теореме, где метод применения простой гипотезы «нечетного порядка» далеко не очевиден. [19]
Четность функции описывает, как изменяются ее значения, когда ее аргументы меняются местами с их отрицаниями. Четная функция, например, четная степень переменной, дает тот же результат для любого аргумента, что и для ее отрицания. Нечетная функция, например, нечетная степень переменной, дает для любого аргумента отрицание ее результата, когда задано отрицание этого аргумента. Функция может быть ни нечетной, ни четной, а в случае f ( x ) = 0 — и нечетной, и четной. [20] Ряд Тейлора четной функции содержит только члены, показатель степени которых является четным числом, а ряд Тейлора нечетной функции содержит только члены, показатель степени которых является нечетным числом. [21]
В комбинаторной теории игр злое число — это число, которое имеет четное число единиц в своем двоичном представлении , а одиозное число — это число, которое имеет нечетное число единиц в своем двоичном представлении; эти числа играют важную роль в стратегии игры Kayles . [22] Функция четности отображает число в число единиц в его двоичном представлении по модулю 2 , поэтому ее значение равно нулю для злых чисел и единице для одиозных чисел. Последовательность Туэ-Морса , бесконечная последовательность нулей и единиц, имеет 0 в позиции i, когда i является злым, и 1 в этой позиции, когда i является одиозным. [23]
В теории информации бит четности , добавленный к двоичному числу, обеспечивает простейшую форму кода обнаружения ошибок . Если один бит в результирующем значении изменяется, то он больше не будет иметь правильную четность: изменение бита в исходном числе дает ему четность, отличную от записанной, а изменение бита четности без изменения числа, из которого он был получен, снова дает неправильный результат. Таким образом, все ошибки передачи одного бита могут быть надежно обнаружены. [24] Некоторые более сложные коды обнаружения ошибок также основаны на использовании нескольких бит четности для подмножеств битов исходного закодированного значения. [25]
В духовых инструментах с цилиндрическим каналом, фактически закрытых с одного конца, таких как кларнет у мундштука, производимые гармоники являются нечетными кратными основной частоты . (В случае цилиндрических труб, открытых с обоих концов, используемых, например, в некоторых органных регистрах, таких как открытый диапазон , гармоники являются четными кратными той же частоты для данной длины канала, но это имеет эффект удвоения основной частоты и производятся все кратные этой основной частоты.) См. гармонический ряд (музыка) . [26]
В некоторых странах нумерация домов выбирается таким образом, что дома на одной стороне улицы имеют четные номера, а дома на другой стороне — нечетные номера. [27] Аналогично, среди пронумерованных автомагистралей в Соединенных Штатах четные номера в основном обозначают шоссе с востока на запад, а нечетные номера в основном обозначают шоссе с севера на юг. [28] Среди номеров рейсов авиакомпаний четные номера обычно обозначают рейсы в восточном или северном направлении, а нечетные номера обычно обозначают рейсы в западном или южном направлении. [29]