Эквивалентность: понятие, виды и примеры¶

Эквивалентность (от лат. aequus — равный и valere — иметь силу, стоить) — отношение равенства, взаимозаменяемости или одинаковой значимости между объектами, величинами, высказываниями или процессами в определённой системе координат. В широком смысле два объекта называются эквивалентными, если они выполняют одни и те же функции, дают одинаковый результат или могут быть заменены друг другом без ущерба для сути рассматриваемого явления. Термин применяется в математике, логике, лингвистике, юриспруденции, экономике, информатике и других областях знания.

¶Математика и логика

В математике эквивалентность — одно из фундаментальных понятий, выражающее тождественность свойств или утверждений.

¶Равенство и тождество

Простейший пример эквивалентности — равенство двух чисел или выражений. Уравнение 2x + 4 = 10 эквивалентно уравнению x = 3: множество решений первого полностью совпадает с множеством решений второго. При этом важна оговорка: равенство множеств решений не означает буквального совпадения записи — уравнения различаются по форме, но эквивалентны по содержанию.

¶Логическая эквивалентность

Два логических высказывания называются эквивалентными, если они истинны одновременно при всех допустимых наборах значений входящих в них переменных. Обозначается A ↔ B. Например, высказывание «если идёт дождь, то мокро» логически эквивалентно контрапозиции «если не мокро, то не идёт дождь». Закон контрапозиции — один из базовых инструментов математических доказательств.

¶Эквивалентность множеств

Два множества эквивалентны, если между ними можно установить взаимно однозначное соответствие. Этот подход, введённый Георгом Кантором в конце XIX века, позволил строго определить понятие «размерности» бесконечных множеств: так, множество натуральных чисел эквивалентно множеству рациональных, хотя последнее «плотнее» на числовой прямой.

¶Эквивалентные преобразования

В школьной математике под эквивалентными преобразованиями понимают операции над уравнением или неравенством, сохраняющие множество решений: перенос слагаемого, умножение обеих частей на ненулевое число, возведение в чётную степень (с проверкой корней). Ошибка в этих преобразованиях — распространённый источник потери или появления лишних решений.

¶Естественные науки

¶Эквивалентность в химии

Понятие эквивалента лежит в основе понятия «молярная масса» и «эквивалентной массы». Химический эквивалент — количество вещества, участвующего в реакции в определённом соотношении. Закон эквивалентов, сформулированный в начале XIX века, утверждает: вещества реагируют в массовых отношениях, кратных их эквивалентным массам. Понятие «нормальный раствор» (1 эквивалент на литр) до сих пор используется в аналитической химии.

¶Эквивалентность в физике

В общей теории относительности принцип эквивалентности гравитации и ускорения (принцип эквивалентности Эйнштейна) утверждает, что локальные гравитационные эффекты неотличимы от эффектов ускорения системы отсчёта. Этот принцип стал одним из трёх «столпов» теории и определяет связь геометрии пространства-времени с распределением вещества.

¶Языкознание и перевод

В лингвистике эквивалентность — соответствие между единицами разных языков, передающее одинаковое значение. Полный эквивалент — редкость: обычно говорят о частичной эквивалентности, когда совпадение значения достигается лишь в определённом контексте. Слово «tree» в английском языке не эквивалентно русскому «дерево»: оно не покрывает значения «древесина» и «древо родословное». Переводческая теория Веры Комиссаровой выделяет несколько уровней эквивалентности — от дословного до контекстуального, что отражает практическую сложность задачи перевода.

¶Экономика и право

В экономике эквивалентный обмен — обмен товаров, в котором стоимость отдаваемого и получаемого товара признаётся равной. Марксова теория прибавочной стоимости строится на тезисе о том, что в процессе обращения товары обмениваются эквивалентно, а прибавочная стоимость возникает на этапе производства.

В праве эквивалентность означает соразмерность: встречное обязательство должно соответствовать основному по объёму и характеру. Институт встречного обеспечения (задаток, залог) строится на принципе эквивалентности.

¶Информатика

В теории алгоритмов и программировании эквивалентность программ — ситуация, когда два алгоритма на любых допустимых входных данных выдают одинаковый результат. Проверка эквивалентности программ — неразрешимая задача в общем случае (теорема Райса), но для ограниченных классов программ существуют рабочие методы, применяемые при верификации и оптимизации кода.

¶См. также

• Тождество
• Логический вывод
• Закон эквивалентных преобразований
• Принцип эквивалентности (физика)
• Переводческая эквивалентность

¶Источники

• Куратовский К., Мостовский А. Теория множеств. — М.: Мир, 1970.
• Карпенко Л. А. Логические словари и энциклопедии. — М.: ИФ РАН, 2008.
• Комиссарова В. Н. Современные проблемы переводоведения. — М.: Высшая школа, 1997.
• Ландау Л. Д., Лифшиц Е. М. Теоретическая физика. Т. 2: Теория поля. — М.: Наука, 1982.
• Хомский Н. Синтаксические структуры. — М.: Прогресс, 1962.