Знак равенства в математике и логике¶
Знак равенства — математический и логический символ «=», обозначающий отношение равенства между двумя выражениями, величинами или объектами. Утверждение «a = b» означает, что значения, стоящие слева и справа от знака, тождественны по рассматриваемому признаку. Символ относится к базовым элементам математической нотации и используется практически во всех разделах математики, а также в программировании, химии и повседневной записи.
¶История
До XVI века равенство записывали словами или сокращениями. В средневековых рукописях встречались обозначения вроде «aeq» (от латинского aequalis — «равный»), а Роберт Рекорд, английский врач и математик, в 1557 году ввёл привычные две параллельные горизонтальные черты. В трактате «The Whetstone of Witte» он пояснил выбор: нет ничего более равного, чем две параллельные прямые. Символ прижился не сразу: в континентальной Европе долго использовали другие знаки, пока в XVII веке благодаря работам Рене Декарта и Готфрида Лейбница запись «=» не стала общепринятой.
¶Смысл и свойства
В арифметике и алгебре знак выражает числовое равенство: 2 + 3 = 5. В логике и теории множеств он обозначает совпадение объектов или их объёмов. Отношение равенства обладает тремя ключевыми свойствами:
- рефлексивность: a = a;
- симметричность: если a = b, то b = a;
- транзитивность: если a = b и b = c, то a = c.
Эти свойства делают равенство отношением эквивалентности. Запись с двумя и тремя чертами (≡) применяют для тождественного равенства, а перечёркнутый знак (≠) — для неравенства.
¶Разновидности и родственные знаки
| Символ | Значение |
|---|---|
| = | равенство |
| ≠ | не равно |
| ≈ | приблизительно равно |
| ≡ | тождественно равно |
| := | присваивание (в программировании) |
| == | сравнение на равенство (в языках программирования) |
В языках программирования различают оператор присваивания и оператор сравнения. Например, в языке C и его потомках одиночный знак «=» присваивает значение, а двойной «==» проверяет равенство. Смешение этих операторов — распространённая ошибка начинающих программистов.
¶Применение
В математике знак используется при записи уравнений, тождеств и формул. В химии уравнение реакции связывает левую и правую части знаком равенства или стрелкой. В повседневной речи и документах символ применяют для указания соответствия: «цена = 100 рублей». В логике и информатике равенство лежит в основе сравнения данных и работы алгоритмов поиска.
¶Интересные факты
Символ «=» долгое время конкурировал с обозначением «∝» и парой вертикальных черт. В наборных шрифтах его высота и толщина линий стандартизированы, чтобы знак не сливался с дефисом. В Юникоде равенству соответствует код U+003D.
Источники: математические энциклопедии, работы по истории математической нотации, справочники по языкам программирования.