Отношение эквивалентности

Первое систематическое применение эквивалентности появилось задолго до термина. В «Арифметических исследованиях» (1801) Карл Фридрих Гаусс ввёл сравнения по модулю со знаком ${\displaystyle \equiv }$: числа ${\displaystyle a}$ и ${\displaystyle b}$ сравнимы, если их разность делится на ${\displaystyle n}$^[10]. Гаусс показал, что сравнения можно складывать, вычитать и умножать как обычные равенства, то есть работал с вычетами как с числами новой природы^[11]. Практическая сторона знакома каждому: по модулю 7 живут дни недели. Утверждение «через семьдесят два дня будет тот же день недели» говорит о вычетах, а не о конкретных датах^[12]. Гаусс имел дело не с отдельными числами, а с целыми классами: знак ${\displaystyle \equiv }$ фиксировал, что различие представителей несущественно. Тем самым классы равных вычетов впервые стали полноценным вычислительным объектом, хотя слово «эквивалентность» ещё не появилось^[9]. Параллельно Кантор превратил равномощность из наблюдения в инструмент: счётность числовых семейств и несчётность континуума были получены сравнением классов, а не пересчётом элементов^[13]. Обозначение ${\displaystyle \equiv }$ прижилось сразу: тройная черта подчёркивала родство с равенством и их различие. На языке Гаусса задачи о календарях, периодических дробях и шкалах становятся задачами о классах, что и упрочило позиции нового языка в теории чисел XIX века^[9].

Во второй половине XIX века идея «одинакового с точностью до» стала центральной в основаниях математики. Рихард Дедекинд в работе 1872 года определил вещественные числа сечениями — разбиениями рациональных чисел на два класса, положив в основу анализа точную конструкцию вместо интуитивной непрерывности^[14]. Готлоб Фреге в «Основаниях арифметики» (1884) определил кардинальное число как класс всех равномощных множеств: число — это то общее, что несут разные совокупности одинакового размера^[15].

Школа Джузеппе Пеано ввела символическую запись отношений, а Бертран Рассел в «Основаниях математики» (1903), опираясь на работы Фреге, сделал отношения центральным инструментом логики, а определение числа через классы эквивалентности — образцом «определения по абстракции»^[16][17]. К середине XX века три аксиомы эквивалентности вошли в стандартный аппарат университетских курсов, а примеры — в арсенал каждой отрасли математики; труды по алгебре и универсальной алгебре закрепили фактор-конструкции как обычный рабочий инструмент^[9][18].

Простейший пример — само равенство ${\displaystyle x=y}$: все три аксиомы обращаются в известные свойства тождества^[4]. Другой полюс — «универсальное» отношение, связывающее любые два элемента: множество распадается при нём на единственный класс^[5]. Между полюсами — содержательные эквивалентности. Сравнение по модулю ${\displaystyle n}$ связывает числа, разность которых делится на ${\displaystyle n}$^[19]. Параллельность прямых и плоскостей сравнивает направления. Подобие и конгруэнтность объявляют фигуры «одинаковыми» с точностью до масштаба или движения^[8]. равномощность множеств утверждает, что между элементами существует взаимно однозначное соответствие — биекция^[20]. Принадлежность одному школьному классу или одной студенческой группе — бытовая модель, на которой понятие демонстрируют студентам^[21]. В каждом примере классы видны сразу: направления у параллельности, формы у подобия, остатки у сравнений. Полезно проверять и аксиомы: рефлексивность каждой прямой к самой себе, симметричность параллельности, транзитивность цепочек остатков — упражнения на три свойства проходят через все разделы элементарной математики^[12]. Отношение «жить на одной улице» на множестве жителей города даёт разбиение по адресам; отношение «состоять в одной семье» — по семьям. Бытовые примеры полезны при первом знакомстве: классы в них осязаемы, а границы разбиения очевидны^[21]. На пространстве функций эквивалентностью служит совпадение почти всюду или совпадение в точках заданного подмножества; на многочленах — совпадение остатка при делении на фиксированный многочлен^[22].

На множестве слов словаря эквивалентностью выступает анаграмма: совпадение набора букв при перестановках. На множестве натуральных чисел любопытна эквивалентность «иметь одинаковую сумму цифр»: классы конечны, хотя их носитель бесконечен^[12]. На действительной прямой показательна эквивалентность ${\displaystyle x\sim y\iff x-y\in \mathbb {Z} }$: её классы вырезают на прямой одинаковые «периоды», и на них опирается теория периодических функций^[12]. Каждый пример поучителен тем, что «одинаковость» выделена не абсолютно, а относительно задачи: фигуры не равны, но конгруэнтны; числа не равны, но сравнимы^[9].

Совокупность всех классов эквивалентности называется фактормножеством и обозначается ${\displaystyle X/\sim }$^[23]. Отображение ${\displaystyle p\colon X\to X/\sim }$, отправляющее элемент в его класс, называется канонической проекцией; оно сюръективно по построению^[23]. Фактормножество может быть устроено проще исходного: при сравнении по модулю 5 — это конечный набор вычетов, при равномощности — сами кардинальные числа^[7]. Число классов называют индексом эквивалентности; он бывает и конечным, и бесконечным. Работа с фактормножеством упрощает рассмотрение: бесконечная числовая прямая при сравнении по модулю 12 сжимается в циферблат, и время описывается конечным набором положений^[12]. Обозначение ${\displaystyle \mathbb {Z} _{n}}$ подчёркивает двойную природу объекта: перед нами и набор из ${\displaystyle n}$ вычетов, и новая числовая система со своими операциями^[22].

Через фактормножество уточняется смысл «обобщённого равенства»: работая с ${\displaystyle X/\sim }$, мы рассматриваем эквивалентные элементы как один объект и тем самым «факторизуем» несущественное различие^[5]. Практический приём — построение классов из методики преподавания дискретной математики: перебирая элементы и объединяя эквивалентные, получают разбиение, которое затем выступает фактормножеством^[21]. Для сравнения по модулю 5 класс двойки собирает числа ${\displaystyle \dots ,-3,2,7,12,\dots }$ — бесконечный список, свёрнутый в один объект^[22]. Выбор образца упорядочивает работу: остаток от деления — канонический представитель своего класса, несократимая запись дроби — рационального числа. Опираясь на образцы, фактормножество можно изображать частью исходного носителя и вести счёт классов через них^[7].

Пусть ${\displaystyle f\colon X\to Y}$ — произвольное отображение. Правило ${\displaystyle x\sim y\iff f(x)=f(y)}$ задаёт на ${\displaystyle X}$ эквивалентность; её классы — полные прообразы значений^[18]. Обратно, если эквивалентность задана заранее, а ${\displaystyle f}$ постоянна на каждом классе, то ${\displaystyle f}$ однозначно спускается на фактормножество: ${\displaystyle {\bar {f}}([x])=f(x)}$. Разложение ${\displaystyle f={\bar {f}}\circ p}$ показывает, что всякое такое соответствие — композиция проекции и отображения фактормножества^[18]. Модуль числа даёт эскиз: у отношения «отличаться знаком» классы — пары вида ${\displaystyle {x,-x}}$ и одноэлементный нуль, а спущенное правило сопоставляет каждой паре её неотрицательный элемент^[7]. Свойство спускаться называют универсальным: соответствие, уважающее разбиение, и только оно продолжается до фактормножества, причём единственным образом^[18].

Примеры элементарны: модуль числа спускается с отношения «отличаться знаком», связывающего ${\displaystyle x}$ и ${\displaystyle -x}$; каноническая проекция целых чисел на вычеты отправляет ${\displaystyle 17}$ и ${\displaystyle 42}$ в один класс при модуле 5. Универсальный приём лежит в основе конструкций алгебры. гомоморфизм групп спускается на факторгруппу; вычеты образуют кольцо остатков; дифференциальные формы спускаются на факторпространства^[24]. Разложение через фактор объясняет и типичную потерю информации: проекция стирает выбор представителя, спущенное правило сохраняет лишь то, что от разбиения не зависит. Проверка постоянства на классах — обязательный шаг каждой фактор-конструкции: попытка спустить обычное деление на вычеты при составном модуле проваливается именно из-за нарушения постоянства^[22].

Сравнение по модулю — исторически первая и самая наглядная эквивалентность. На множестве целых чисел класс ${\displaystyle {\bar {r}}}$ собирает числа с вычетом ${\displaystyle r}$; для основания ${\displaystyle n}$ классов ровно ${\displaystyle n}$, и они образуют множество ${\displaystyle \mathbb {Z} _{n}}$^[19]. Сложение и умножение остатков определены корректно: результат не зависит от выбора представителей, что проверяется транзитивностью^[22]. Вычисление сводится к отбрасыванию полных модулей: ${\displaystyle 17+25=42}$, а ${\displaystyle 42}$ при модуле 5 даёт вычет 2, поэтому ${\displaystyle 17+25\equiv 2{\pmod {5}}}$. Так возникает арифметика остатков: часы с двенадцатью отметками, контрольные цифры номеров, коды с исправлением ошибок, календарные расчёты^[12]. Контрольная цифра штрихкода вычисляется взвешенной суммой по этому правилу, и ошибка в одной цифре переводит номер в другой класс, что делает опечатку заметной^[12]. Отрицательные числа вписываются в ту же схему: ${\displaystyle -7}$ при основании 5 имеет вычет 3 и принадлежит классу тройки. Операции ${\displaystyle \mathbb {Z} _{n}}$ образуют кольцо при любом основании, а при простом — поле; на этом наблюдении держится значительная часть прикладной теории кодирования^[22].

Эквивалентность — стандартный способ строить новые числовые системы из старых. Рациональные числа определяются как классы пар целых чисел ${\displaystyle (a,b)}$ с ${\displaystyle b\neq 0}$, где ${\displaystyle (a,b)\sim (c,d)}$ при ${\displaystyle ad=bc}$: дробь «две четвёртых» и «одна вторая» различны как пары и одинаковы как классы^[22]. Вещественные числа строятся как классы фундаментальных последовательностей рациональных чисел или через дедекиндовы сечения^[7]. Каскад продолжается: целые числа строятся из натуральных как классы пар ${\displaystyle (a,b)}$ с условием ${\displaystyle (a,b)\sim (c,d)}$ при ${\displaystyle a+d=b+c}$, где пара изображает разность ${\displaystyle a-b}$. В обоих случаях эквивалентность отсеивает несущественное: конкретную запись дроби, конкретный способ приближения, конкретный знак у разности^[5]. Привычные числовые системы сами оказываются фактормножествами, построенными по трёхаксиомной схеме^[7]. Десятичная дробь служит не определением, а удобным представителем класса: записи 0,4999… и 0,5 различны, их классы совпадают, и вычисления не зависят от выбора записи^[7]. Перенос порядка и операций на семейства требует проверки корректности: результат сравнения не должен зависеть от представителей. Для рациональных чисел порядок задаётся перекрёстным умножением, для остатков — сравнением самих остатков; каждая проверка коротка, но без неё фактор-конструкция осталась бы набором ярлыков^[22].

В алгебре фактор-конструкции управляют строением структур. По нормальной подгруппе группы строится факторгруппа, по идеалу кольца — факторкольцо; теорема о гомоморфизме выражает любой гомоморфизм через фактор и вложение^[24]. Канонический пример — проекция ${\displaystyle \mathbb {Z} \to \mathbb {Z} _{n}}$: её ядро собрано из кратностей ${\displaystyle n}$, и всякое сравнение по модулю равносильно принадлежности этому ядру^[22]. Факторизация не разрушает структуру, а переносит её на новые объекты: операции фактор-объекта наследуются от операций исходного^[18]. Тот же приём работает с многочленами: вычеты при делении на фиксированный многочлен образуют классы, и на них строится арифметика конечных полей, применяемая в кодировании^[22]. В геометрии та же логика работает с движениями: фигуры объявляются эквивалентными, если движение переводит одну в другую, и изучаются «формы» вместо индивидуальных фигур. Этим объясняется и школьная практика: доказательства проводятся для семейства в целом, поэтому достаточно одного удачного чертежа^[8]. Современная алгебра пользуется этими построениями постоянно, и сами названия говорят о происхождении; за каждым из них стоит разбиение по эквивалентности и перенос структуры на новые объекты^[24]. Школьная теорема утверждает, что два треугольника подобны при пропорциональности сторон и равенстве углов: признаки перечислены так, чтобы семейство подобия распознавалось по нескольким элементам^[8]. В теории множеств равномощность классифицирует множества по мощности: счётные семейства, континуум, иерархия кардиналов; программу этой классификации задал Георг Кантор, построив теорию мощности как изучение равномощности^[7][13].