Инвариант (математика)

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Инвариа́нт — свойство некоторого класса (множества) математических объектов, остающееся неизменным при определённого типа преобразованиях.

Определение

[править | править код]

Пусть  — множество и  — множество отображений из в . Отображение из множества в множество называется инвариантом для , если для любых и выполняется тождество .

Концепция инварианта является одной из важнейших в математике, поскольку изучение инварианта непосредственно связано с задачами классификации объектов того или иного типа. По существу, целью всякой математической классификации является построение некоторой полной системы инвариантов (по возможности, наиболее простой), то есть такой системы, которая разделяет любые два неэквивалентных объекта из рассматриваемой совокупности[1].

Инварианты используются в различных областях математики, таких как геометрия, топология и алгебра. Открытие инвариантов является важным шагом в процессе классификации математических объектов.

Примечания

[править | править код]
  1. В. Л. Попов. Инвариант // Математическая энциклопедия. — М.: Советская энциклопедия, 1979. — Т. 2. — С. 526.

Литература

[править | править код]
  • Дьёдонне Ж., Керрол Дж., Мамфорд Д. Геометрическая теория инвариантов. — М.: Мир, 1974. — 278 с.