Равенство (математика)

Равенство (математика)
  0 1 2 3 4 5 6 7 8 9
0 × × × × × × × × ×
1 × × × × × × × × ×
2 × × × × × × × × ×
3 × × × × × × × × ×
4 × × × × × × × × ×
5 × × × × × × × × ×
6 × × × × × × × × ×
7 × × × × × × × × ×
8 × × × × × × × × ×
9 × × × × × × × × ×
Равенство десятичных цифр как бинарное отношение: истина, ×ложь

Ра́венство (отношение равенства) в математикебинарное отношение, наиболее логически сильная разновидность отношений эквивалентности.

Определения равенства

Равенство является интуитивно очевидным отношением: значение двух выражений одно и то же. При его формальном определении возникает разнобой.

Теория множеств, по определению, считает два объекта (то есть, два множества) равными, если они состоят из одних и тех же элементов:

A = B\ \ \Leftrightarrow\ \ \forall x\colon\ (x\in A)\ \Leftrightarrow\ (x\in B)

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

x = y\ \ \Leftrightarrow\ \ \forall P\colon\ P(x)\ \Leftrightarrow\ P(y)

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

Некоторые формальные теории уклоняются от определения равенства, считая его изначально заданным отношением эквивалентности.


Связанные определения

Формальное определение и интуитивное понимание равенства иногда конфликтуют. Равно ли (целое) число 1 (действительному) числу e^0? С точки зрения интуиции — да, а с точки зрения теории типов вопрос неверно поставлен (ср. с проблемой приведения типов в программировании). В математике в подобных случаях подразумевается каноническое вложение одного множества (пространства, типа) в другое, большее. Вопрос о равенстве целого числа действительному можно понимать как равенство собственно действительного и другого действительного числа, соответствующего нашему целому. То есть, работа с интуитивно «очевидными» фактами типа всякое целое число является рациональным, а рациональное — действительным, требует в рамках некоторых формальных подходов специальных оговорок.

Уравнение — построенное при помощи равенства логическое высказывание, в которое входит переменная. Оно задаёт подмножество предметной области переменной — множество корней уравнения.

Определение величины или переменной записывается с помощью равенства: Пусть переменная равна выражению.

Тождество — высказывание, верное при любых значениях переменных. Оно часто (хотя вовсе не обязательно) строится на основе отношения равенства.

См. также



Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Полезное


Смотреть что такое "Равенство (математика)" в других словарях:

  • Равенство — может означать: Равенство в Викисловаре …   Википедия

  • МАТЕМАТИКА — Математику обычно определяют, перечисляя названия некоторых из ее традиционных разделов. Прежде всего, это арифметика, которая занимается изучением чисел, отношений между ними и правил действий над числами. Факты арифметики допускают различные… …   Энциклопедия Кольера

  • Равенство классов P и NP — Задачи тысячелетия Равенство классов P и NP Гипотеза Ходжа Гипотеза Пуанкаре Гипотеза Римана Квантовая теория Янга  Миллса Существование и гладкость  решений уравнений Навье Стокса Гипотеза Бёрча Свиннертон Дайера В теории алгоритмов… …   Википедия

  • Функция (математика) — У этого термина существуют и другие значения, см. функция. Запрос «Отображение» перенаправляется сюда; см. также другие значения …   Википедия

  • Пропорция (математика) — Пропорция (лат. proportio соразмерность, выровненность частей), равенство двух отношений, т. е. равенство вида a : b = c : d, или, в других обозначениях, равенство (часто читается как: «a относится к b так же, как c относится к d») …   Википедия

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

  • Портал:Математика — Начинающим · Сообщество · Порталы · Награды · Проекты · Запросы · Оценивание География · История · Общество · Персоналии · Религия · Спорт · Техника · Наука · Искусство · Философия …   Википедия

  • Конструктивная математика —         абстрактная наука о конструктивных процессах, человеческой способности осуществлять их и о их результатах конструктивных объектах. Абстрактность К. м. проявляется прежде всего в том, что в ней систематически применяются две абстракции:… …   Большая советская энциклопедия

  • Ротор (математика) — У этого термина существуют и другие значения, см. Ротор. Ротор, или вихрь  векторный дифференциальный оператор над векторным полем. Обозначается (в русскоязычной[1] литературе) или (в англоязычной литературе), а также как векторное умножение …   Википедия

  • Группа (математика) — Теория групп …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»