Инвариант

Инвариа́нт — термин, используемый в математике и физике, а также в программировании, обозначает нечто неизменяемое. Кроме того, инварианты используются в олимпиадных задачах по математике для школьников. Абстрактная структурная единица языка - фонема, морфема, лексема и т.п. - в отвлечении от её конкретных реализаций (в лингвистике).

Инварианты в математике

Пусть <math>A</math> — множество и <math>G</math> — множество отображений из A в A. Отображение f из A во множество B называется инвариантом для G, если для любых <math>a\in A</math> и <math>g\in G</math> выполняется тождество <math>f(a)=f(g(a))</math>.

«

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

»

Примеры

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

Инварианты в физике

В физических процессах всегда существуют величины, которые не изменяются с течением времени, они и называются инвариантами. Примеры: энергия, компоненты импульса и момента импульса в замкнутых системах.

Также инвариантами называются величины, независимые от условий наблюдения, в особенности - от системы отсчета - например интервал в теории относительности инвариантен в этом смысле. Промежуток времени между двумя событиями, а также расстояние между ними (местами событий) для наблюдателей, движущихся в различных направлениях с разными скоростями, будут разными, однако интервал между этими событиями для всех наблюдателей будет один. К этой же категории относится, например скорость света в вакууме. Такие величины, в зависимости от класса систем отсчета, при переходе между которыми сохраняется инвариантность данной величины, называют лоренц-инвариантными (инвариантами группы Лоренца) или инвариантами группы общекоординатных преобразований (рассматриваемыми в общей теории относительности); для ньютоновской физики может иметь смысл также рассматривать инвариантность относительно преобразований Галилея (инвариантными относительно таких преобразований являются компоненты ускорения и силы).

Понятие инвариантности (инвариантов) в физике лежит в русле принятого в математике понятия "инвариант преобразований (группы преобразований)" (той или иной конкретной группы преобразований - сдвигов времени, преобразований Лоренца итп).

Инварианты в программировании

Инвариантом называется логическое выражение, истинное после каждого прохода тела цикла (после выполнения фиксированного оператора) и перед началом выполнения цикла, зависящее от переменных, изменяющихся в теле цикла.

Инварианты используются в теории верификации программ для доказательства правильности выполнения цикла. Порядок доказательства работоспособности цикла с помощью инварианта сводится к следующему:

1. Доказывается, что выражение инварианта истинно перед началом цикла.
2. Доказывается, что выражение инварианта сохраняет свою истинность после выполнения тела цикла; таким образом, по индукции, доказывается, что по завершении цикла инвариант будет выполняться.
3. Доказывается, что при истинности инварианта после завершения цикла переменные примут именно те значения, которые требуется получить (это элементарно определяется из выражения инварианта и известных конечных значениях переменных, на которых основывается условие завершения цикла).
4. Доказывается (возможно — без применения инварианта), что цикл завершится, то есть условие завершения рано или поздно будет выполнено.
5. Истинность утверждений, доказанных на предыдущих этапах, однозначно свидетельствует о том, что цикл выполнится за конечное время и даст желаемый результат.

Также инварианты используют при проектировании и оптимизации циклических алгоритмов. Например, чтобы убедиться, что оптимизированный цикл остался корректным, достаточно доказать, что инвариант цикла не нарушен и условие завершения цикла достижимо.

Понятие инварианта также используется в объектно-ориентированном программировании для обозначения непротиворечивого состояния объекта. Подразумевается, что вызов любого метода оставляет объект в состоянии инварианта.

Инвариант в фольклористике

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

См. также

• Топологический индекс
• Неизменность
• Закономерность
• Константа
• Закон
• Правило
• Повторяемость
• Общность