Инвариант в математике и физике¶

Инвариант — это величина, свойство или выражение, которое сохраняется неизменным при определённых преобразованиях рассматриваемого объекта или системы. Понятие возникло в математике и получило широкое распространение в физике, информатике и других науках, где оно служит инструментом для выявления устойчивых закономерностей и описания симметрий.

¶Общее понятие

Слово происходит от латинского invarians — «неизменяющийся». Инвариант определяется относительно заданной группы преобразований: одна и та же величина может быть инвариантом для одних преобразований и меняться при других. Например, длина отрезка сохраняется при поворотах и параллельных переносах, но изменяется при масштабировании.

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

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

В геометрии классическим примером служат инварианты движений: расстояния между точками, углы, площади фигур. В проективной геометрии инвариантом является двойное отношение четырёх точек на прямой. В евклидовой геометрии при подобиях сохраняется отношение длин.

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

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

В теории чисел и комбинаторике инварианты применяются для доказательства невозможности тех или иных построений. Классический пример — раскраска клеток шахматной доски, показывающая, что обойти все поля ходом коня с возвратом в исходную точку при определённых условиях нельзя.

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

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

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

В квантовой механике инвариантность относительно преобразований симметрии приводит к квантовым числам, сохраняющимся в процессах: заряду, чётности, изоспину. Нарушение некоторых из этих инвариантов стало предметом важных физических исследований.

¶Инварианты в информатике и программировании

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

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

¶Применение и значение

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

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

¶Примеры

Источники: учебники по алгебре и геометрии, курсы теоретической физики, материалы по теории алгоритмов и методологии программирования.