Ребятам, как известно, нравится всё самое-самое. Чтобы дойти до самой границы изведанного, они смешивают все краски, что есть в доступе, жмут все клавиши разом на музыкальных инструментах.
В нашем кружке математики, мы можем позволить себе поразмыслить над любым вопросом, и только от нас зависит будут эти размышления иметь смысл или нет.
Что означают слова "сложить" и "все"? Простейшей математической структурой, в которой эти вопросы имеют смысл можно считать магму: множество с некоторой операцией, позволяющей из любых двух элементов получить третий элемент этого же множества. Но это настолько свободная структура, что какого-то внятного ответа получить не выйдет. Что-то содержательное и при этом универсальное можно получить, рассматривая группы: множества с обратимой бинарной операцией, для которой выполняется сочетательный закон. Группы образуют перестановки, геометрические преобразования (повороты, отражения, сдвиги и пр.), числа с операциями сложения и умножения в кольцах и полях и многие другие полезные объекты. Так что, если мы узнаем ответ на вопрос: "А что будет если сложить всё в одну кучу?" для групп, то это даст нам ключ практически ко всем его осмысленным вариантам.
Обратимость групповой операции приводит к тому, что в группах для каждого элемента отыщется обратный (противоположный) элемент, такой, что они взаимно уничтожают друг друга, как 2 и −2 при сложении или 2 и 1/2 при умножении. Под "уничтожением" здесь понимается, что результатом получается нейтральный элемент — не изменяющий результата в групповой операции.
А теперь обсудим, что значит слово "все".
Бесконечные группы
Как ни странно, если группа бесконечная, на наш вопрос ответить проще всего, потому что точный ответ звучит так: "А фиг его знает! "
Если начать честно комбинировать все без исключения элементы бесконечной группы, то этот процесс не закончится никогда и никакого внятного ответа мы не дождёмся. Вернее, мы можем получить всё, что угодно.
Например, работая в группе целых чисел, можно, поступить хитро и складывать числа парами взаимно противоположных элементов:
и так далее, на каждом шаге получая ноль. Таким образом, и в "сумме" тоже получится ноль. Но "ответ" сильно зависит от конкретного выбранного нами способа группировки. Например, такая "сумма"
тоже содержит все элементы, причём, в том же порядке, что и предыдущая, но никакого определённого значения не принимает. Это нарушает основное своство групповой операции: сочетательный закон, а значит предпринимаемое нами действие некорректно.
В конце концов, в качестве "суммы всех целых" чисел можно получить и любое конечное значение. Хотите, единицу:
За исключением первого, все выражения в квадратных скобках равны нулю, а поскольку ряд никогда не закончится, то и нули никогда не переведутся. Ничто не мешает получить и двойку:
В общем, мы имеем дело с настоящей неопределённостью. По этой причине я пишу слова "сумма" и "ответ" в кавычках: для бесконечного ряда целых чисел они не определены.
Ещё раз повторю, для сложения чисел должен выполняться сочетательный закон, то есть, корректно определённая сумма не должна зависеть от группировки слагаемых. При попытке сложить все целые числа, группировка влияет на результат, а значит, строго говоря, мы имеем дело не с суммой, то есть выходим за пределы группы.
Пара слов о бесконечности
А почему нельзя сказать, что бесконечная сумма единиц равна бесконечности (∞)? Дело в том, что значение ∞ нельзя сделать полноценным элементом группы. Для любого элемента в группе должен существовать противоположный элемент, а не нарушив всё того же сочетательного закона ввести элемент −∞ не получится:
Так что вслед за Курантом стоит повторить:
Бесконечность — это не объект, а свойство какого-то процесса никогда не закачиваться.
Если же математики и вводят формальную бесконечную (идеальную) точку или прямую (например, в проективной геометрии или в теории функций комплексной переменной), то работают с ней очень аккуратно, используя не как число, а как способ изменить топологию пространства, построенного на базе числового поля и, так или иначе, "закольцевать" его, и давая возможность уйдя "в бесконечость", вернуться с другой "стороны" сохраняя непрерывность пространства.
Конечные группы
Итак, бесконечное множество чисел складывать смысла немного, а какой результат можно ожидать, если сложить (скомбинировать) все элементы в конечной алгебраической структуре? Про конечные арифметики и их особенности на этом канале есть целая подборка. Этому вопросу посвящён ряд серьёзных работ, ответ тут нетривиален и существенно зависит от её внутреннего "устройства".
Конечные группы в контексте нашей задачи делятся на два класса: абелевы и неабелевы.
Абелевы группы
Если в группе наряду с сочетательным законом выполняется переместительный, то такая группа называется коммутативной или абелевой.
Для конечных абелевых групп сумма всех элементов выражается достаточно просто: она равна
- ненулевому элементу x, такому что x = −x, если такой элемент в группе единственный, либо
- 0 в противном случае.
Элементы группы, которые противоположны сами себе, называются элементами второго порядка.
Для доказательства рассмотрим три случая.
1) Элементов второго порядка нет. В этом случае все элементы, кроме нуля, разбиваются на пары противоположных друг другу элементов и взаимно уничтожаются. С помощью переместительного закона мы всегда сможем в общей сумме поставить противоположные элементы рядом друг с другом.
Пример. Сумма всех чисел в кольце вычетов ℤ/7ℤ равна 21 = 0 mod 7.
Попытки смухлевать, также как мы это делали с бесконечными группами, сдесь не пройдут, поскольку они были основаны на смещении произвольных частичных сумм "в бесконечность". Для конечных сумм эти "задолженности", рано или поздно, придётся компенсировать.
2) Элемент второго порядка существует и он единственный, тогда в общую сумму такой элемеет войдëт лишь один раз, тогда как все остальные сложатся со своими противоположными парами и превратятся в ноль.
Примеры. Сумма всех чисел в кольце вычетов ℤ/8ℤ. В этом кольце 4 + 4 = 0, а значит, 4 — это элемент второго порядка (по сложению). Такой элемент в этом кольце единственный и в сумме все элементы в ℤ/8ℤ дают 28 = 4 mod 8.
Ещё одним примером такой группы может быть мультипликативная группа в кольце ℤ/7ℤ, в которой 2×4 = 5×3 = 1 mod 7 и есть элемент второго порядка: 6×6 = 1 mod 7. Произведение всех элементов этой группы равно 720 = 6 mod 7.
Любопытное замечание: если в абелевой группе с единственным элементом второго порядка сложить все элементы друг с другом дважды, то получится ноль.
3) Элементов второго порядка больше одного. В любой абелевой группе количество элементов, обратных самим себе, всегда на единицу меньше некоторой степени двойки: 0, 1, 3, 7, 15, ... Это связано с тем, что любая комбинация таких элементов тоже является элементом обратным самому себе.
Предположим, что в группе есть два различных элемента второго порядка a и b. Поскольку (a + b) + (a + b) = (a + a) + (b + b) = 0. Элемент (a + b) не может быть равен ни a ни b и он, как видим, тоже имеет второй порядок, таким образом, где есть два таких элемента, должен быть и третий. Вместе с нулем они образуют собственную группу {0, a, b, a + b}. Все её элементы можно представить, как пары {(0,0), (1,0), (0,1), (1,1)}, элементы этих пар принадлежат простейшей нетривиальной группе ℤ₂, содержащей всего два элемента: {0, 1}. При сложении пар компоненты складываются, как векторы, причём 1 + 1 = 0. Такую конструкцию из пар называют прямым произведением групп. В нашем случае, это ℤ₂×ℤ₂ = ℤ₂².
В общем случае, элементы второго порядка всегда образуют группу ℤ₂ⁿ, которая имеет структуру, сходную с векторным пространством размерности n с компонентами из ℤ₂.
Зачем мы так всё усложнили? А чтобы увидеть, что сумма всех таких векторов равна нулю, потому что каждый компонент равен единице ровно в половине из них, и если количество векторов больше двух, то число единиц при суммировании будет чётным.
Пример. Мультипликативная группа в кольце ℤ/8ℤ, состоящая из элементов {1, 3, 5, 7}. В ней три элемента второго порядка: 3×3 = 5×5 = 7×7 = 1 mod 8, и произведение всех элементов ожидаемо равно 1×3×5×7 = 105 = 1 mod 8.
Теорема Уилсона
В числовых кольцах и полях сложение должно образовывать абелеву группу, а во многих из них (кольца вычетов, кольца многочленов, комплексные и гауссовы числа) умножение тоже коммутативно, так что полученное нами знание об абелевых группах позволяет сказать, что если сложить все числа вместе, то получится, либо ноль, либо единственный элемент второго порядка, если такой существует. Это же относится и к умножению, но в этом случае нужно заменить ноль на единицу.
В этой связи обычно вспоминают теорему Уилсона, которая утверждает, что для простого числа факториал числа p – 1 сравним с –1 по модулю p:
Кольца вычетов по простому модулю p представляют собой поля, в которых умножение образует группу с элементами {1, 2, ..., p – 1} . В этой группе есть единственный элемент второго порядка: p – 1 = –1 mod p. Так что эта теорема следует непосредственно из доказанного нами обобщённого результата для абелевых групп.
Если последовательно строить кольцо целых чисел, рассматривая его как предел кольца вычетов по модулю, стремящемуся к бесконечности, то относительно сложения мы получим абелеву группу для которой, как мы знаем, есть два варианта: ноль или элемент второго порядка. Но поскольку бесконечный элемент корректно ввести в группу нельзя, то с формальной алгебраической точки зрения, сумма всех целых чисел должна быть равна нулю, как, собственно, и произведение.
Продолжение темы:
Неабелевы группы
Для групп, в которых переместительный закон действует не всегда, дела обстоят несколько сложнее.
Имея группу G, можно выделить некую особую нормальную подгруппу G', такую, что G = G'×H, где H — абелева. Минимальная подгруппа такого рода называется коммутантом группы G, и, в известном смысле, отражает степень её неабелевости. Любой элемент коммутанта можно выразить в виде произведения aba⁻¹b⁻¹, где a и b какие-то элементы группы (неабелеву групповую операцию принято называть умножением). В 1982 году была сформулирована и доказана теорема Денеса-Германна, о том, что комбинируя все элементы произвольной группы G, можно получить либо какой-то из элементов коммутанта G', либо элемент коммутанта, умноженный на элемент второго порядка.
Примеры. Рассмотрим группу перестановок из трёх элементов S₃, самую маленькую неабалеву группу. В этой группе есть три элемента второго порядка: транспозиции (1 3 2), (2 1 3), (3 2 1), и две циклических перестановки (2 3 1) и (3 1 2), ну, и конечно, нейтральный элемент (1 2 3). Коммутантом группы S₃ является подгруппа циклических перестановок {(1 2 3), (2 3 1), (2 3 1)}. И в каком бы порядке мы не перемножали все шесть перестановок третьего порядка (а таких вариантов 6! = 720), будет получаться одна из трёх транспозиций: (1 3 2), (2 1 3) или (3 2 1), которые можно получить, умножив циклическую перестановку на какой-либо из элементов второго порядка.