Тождество (математика)

≡

То́ждество (в математике) — равенство двух выражений, выполняющееся на всём множестве допустимых значений входящих в эти выражения переменных. Тождественное равенство, когда его хотят подчеркнуть особо, обозначается вместо знака равенства символом «≡», который ввёл немецкий математик Бернхард Риман в 1857 году.

Примеры:

$a^2-<!--\; -\; -->b^2\equiv <!--\; \equiv \; -->(a+b)(a-<!--\; -\; -->b)$$a^{2}-b^{2}\equiv (a+b)(a-b)$

$(a+b{)}^2\equiv <!--\; \equiv \; -->a^2+2ab+b^2$$(a+b)^{2}\equiv a^{2}+2ab+b^{2}$

Иногда называют тождеством также равенство, не содержащее никаких переменных; например: ${25}^2\equiv <!--\; \equiv \; -->625.$$25^{2}\equiv 625.$

Не любое равенство является тождеством. Например, равенство $x+2=5$$x+2=5$ имеет место не при всяком значении $x$$x$, а только при $x=3$$x=3$. Поэтому оно не является тождеством. Кроме того, равенство может выполняться, например, при положительных значениях переменных и не выполняться (или не иметь смысла) при отрицательных, см. об этом следующий раздел.

Тождественность на заданном множествеПравить

В тех случаях, когда тождество выполняется не для всех возможных значений переменных, говорят, что выражения тождественны на некотором множестве.

Примеры:

• выражение $\frac{a^2}{a}\equiv <!--\; \equiv \; -->a$${\frac {a^{2}}{a}}\equiv a$  тождественно при любом $a,$$a,$  кроме $a=0$$a=0$ .
• выражение $\sqrt{ab}\equiv <!--\; \equiv \; -->\sqrt{a}\sqrt{b}$${\sqrt {ab}}\equiv {\sqrt {a}}{\sqrt {b}}$  тождественно только для неотрицательных вещественных чисел.
• выражение $a^2-<!--\; -\; -->b^2\equiv <!--\; \equiv \; -->(a+b)(a-<!--\; -\; -->b)$$a^{2}-b^{2}\equiv (a+b)(a-b)$  тождественно в полях вещественных и комплексных чисел, однако не тождественно в кольцах кватернионов, квадратных матриц и других математических объектов, для которых не выполняется переместительный закон: $ab\ne <!--\; \ne \; -->ba$$ab\neq ba$ .

См. такжеПравить

• Логарифмические тождества
• Отношение эквивалентности
• Список математических тождеств
• Уравнение

ЛитератураПравить

• Тождество // Энциклопедический словарь юного математика / Сост. Савин А. П.. — 2-е изд. — М.: Педагогика, 1989. — С. 291. — 352 с. — ISBN 5715502187.