Инвариант

Материал из Seo Wiki - Поисковая Оптимизация и Программирование

Перейти к: навигация, поиск

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

Содержание

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

Пусть <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>.

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

Примеры

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

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

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

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

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

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

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

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

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

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

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

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


См. также

Примечания

  1. В.Л.Попов Инвариант // Математическая энциклопедия. — М.: Советская энциклопедия, 1979. — Т. 2. — С. 526.
  2. Визгин В. П. Развитие взаимосвязи принципов инвариантности с законами сохранения в классической физике. — М.: Наука, 1972. — 240 с.
  3. Построение цикла с помощью инварианта
cs:Invariant

de:Invarianz en:Invariant it:Invarianza ja:不変条件 nl:Invariant pl:Niezmiennik sk:Invariant uk:Інваріант

Личные инструменты

Served in 0.269 secs.