В математике, пустой продукт или nullary произведение или пустое произведение, является результатом умножения без факторов. По соглашению оно равно мультипликативному тождеству (при условии, что для рассматриваемой операции умножения существует тождество), так же как пустая сумма - результат сложения без чисел - по соглашению ноль или аддитивная идентичность.
Термин «пустой продукт» чаще всего используется в указанном выше смысле при обсуждении арифметических операций. Однако этот термин иногда используется при обсуждении теоретико-множественных пересечений, категориальных продуктов и продуктов в компьютерном программировании; они обсуждаются ниже.
Пусть 1, a 2, a 3,... быть последовательностью чисел, и пусть
быть произведением первых m элементов последовательности. Тогда
для всех m = 1, 2,... при условии, что мы используем следующие условные обозначения: и (этот выбор уникален). Другими словами, «продукт» только с одним фактором оценивается как этот фактор, а «продукт» без факторов оценивается как 1. Разрешение «продукта» только с одним или нулевым коэффициентом сокращает количество случаев, которые необходимо учитывать во многих математических формулах. Такие «продукты» являются естественной отправной точкой в доказательствах индукции, а также в алгоритмах. По этим причинам соглашение «пустой продукт - один» является обычной практикой в математике и компьютерном программировании.
Понятие пустого продукта полезно по той же причине, что и число ноль и пустое множество. полезно: хотя они, кажется, представляют собой довольно неинтересные понятия, их существование позволяет гораздо более короткое математическое представление многих предметов.
Например, пустые произведения 0 ! = 1 и x = 1 сокращают нотацию ряда Тейлора (см. ноль в степени нуля для обсуждения при x = 0). Аналогично, если M - матрица размера n × n, то M - это единичная матрица размера n × n , отражающая тот факт, что применение линейной карты нуль раз имеет тот же эффект, что и применение карта идентичности.
В качестве другого примера, основная арифметическая теорема гласит, что каждое положительное целое число может быть записано однозначно как произведение простых чисел. Однако, если мы не разрешаем продукты с коэффициентом только 0 или 1, то теорема (и ее доказательство) станут длиннее.
Больше примеров использования пустого произведения в математике можно найти в биномиальная теорема (которая предполагает и подразумевает, что x = 1 для всех x), число Стирлинга, теорема Кенига, биномиальный тип, биномиальный ряд, оператор разности и символ Поххаммера.
Поскольку логарифмы превращают произведения в суммы:
они должны сопоставить пустой продукт с пустой суммой. Итак, если мы определим пустой продукт как 1, тогда пустая сумма должна быть . И наоборот, экспоненциальная функция превращает суммы в произведения, поэтому, если мы определим пустую сумму равной 0, тогда пустое произведение должно быть .
Рассмотрим общее определение декартова произведения :
Если I пуст, единственная такая g - это пустая функция , которое является уникальным подмножеством , которое является функцией , а именно пустое подмножество (единственное подмножество, которое имеет):
Таким образом, мощность декартово произведение без множеств равно 1.
В, возможно, более знакомой интерпретации n- кортеж,
то есть одноэлементный набор, содержащий пустой кортеж. Обратите внимание, что в обоих представлениях пустой продукт имеет мощность 1 - количество всех способов произвести 0 выходов из 0 входов равно 1.
В любом категория, продукт пустого семейства является конечным объектом этой категории. Это можно продемонстрировать с помощью определения продукта limit. N-кратный категориальный продукт может быть определен как предел по отношению к диаграмме , заданной дискретной категорией с n объектами. Пустой продукт затем задается пределом по отношению к пустой категории, которая является конечным объектом категории, если она существует. Это определение специализируется на получении результатов, как указано выше. Например, в категории наборов категориальным продуктом является обычное декартово произведение, а конечным объектом является одноэлементный набор. В категории групп категориальный продукт - это декартово произведение групп, а конечный объект - тривиальная группа с одним элементом. Чтобы получить обычное арифметическое определение пустого продукта, мы должны взять декатегоризацию пустого продукта в категории конечных множеств.
По сути,, копродукт пустого семейства является начальным объектом. Нулевые категориальные продукты или сопутствующие продукты могут не существовать в данной категории; например в категории полей ничего не существует.
Классическая логика определяет операцию конъюнкции, которая обобщается на универсальное количественное определение в исчислении предикатов, и широко известно как логическое умножение, потому что мы интуитивно отождествляем истину с 1 и ложь с 0, а наша конъюнкция ведет себя как обычный множитель. Множители могут иметь произвольное количество входов. В случае 0 входов у нас есть пустая конъюнкция, которая тождественно равна истине.
Это связано с другим логическим понятием, пустой истиной, которое говорит нам, что пустой набор объектов может иметь любое свойство. Это можно объяснить тем, как конъюнкция (как часть логики в целом) имеет дело со значениями, меньшими или равными 1. Это означает, что чем длиннее конъюнкция, тем выше вероятность того, что в итоге получится 0. Конъюнкция просто проверяет предложения и возвращает 0 (или ложь), как только одно из предложений оценивается как ложное. Уменьшение количества объединенных предложений увеличивает шанс пройти проверку и остаться с 1. В частности, если есть 0 тестов или элементов для проверки, ни один не может потерпеть неудачу, поэтому по умолчанию мы всегда должны преуспевать, независимо от того, какие предложения или свойства членов должны были быть проверенным.
Многие языки программирования, такие как Python, допускают прямое выражение списков чисел и даже функций, допускающих произвольное количество параметров. Если в таком языке есть функция, которая возвращает произведение всех чисел в списке, она обычно работает следующим образом:
math.prod ([2, 3, 5]) # = 30 math.prod ( [2, 3]) # = 6 math.prod ([2]) # = 2 math.prod () # = 1
(Обратите внимание: prod
недоступен в math
модуль до версии 3.8.)
Это соглашение помогает избежать необходимости кодировать особые случаи, такие как «если длина списка равна 1» или «если длина списка равна нулю», как особые случаи.
Умножение - это инфиксный оператор и, следовательно, бинарный оператор, усложняющий запись пустого произведения. Некоторые языки программирования справляются с этим путем реализации вариативных функций. Например, полностью заключенная в скобки префиксная нотация в языках Лисп дает естественную нотацию для нулевых функций:
(* 2 2 2); оценивается как 8 (* 2 2); оценивается в 4 (* 2); оценивается в 2 (*); принимает значение 1
Харди и Райт: «Каждое положительное целое число, кроме 1, является произведением простых чисел», Гарольд М. Старк: «Если n - целое число больше 1, то либо n - простое число, либо n - конечное произведение простых чисел. '. Оба этих примера, которыми я обязан А. Дж. М. ван Гастерену, отклоняют пустой продукт, последний также отклоняет продукт с одним фактором.
Но также 0 конечно конечно и, определяя произведение 0 факторов - как еще? - чтобы быть равным 1, мы можем отказаться от исключения: «Если n - положительное целое число, то n - конечное произведение простых чисел».