ИНВАРИА́НТ
-
Рубрика: Математика
-
-
Скопировать библиографическую ссылку:
Книжная версия:
Электронная версия:
ИНВАРИА́НТ (от лат. invarians, род. п. invariantis – неизменяющийся), отображение φ совокупности объектов M, на которой задано отношение эквивалентности ρ, в другую совокупность N, постоянное на каждом из классов эквивалентности M по ρ (точнее, φ – И. отношения эквивалентности ρ на M). Если X – объект из M, то говорят, что φ(X) – И. объекта X. Понятие И. является одним из важнейших в математике, поскольку оно связано с задачами классификации объектов того или иного типа. По существу, цель всякой математич. классификации – построение некоторой полной системы И. (по возможности наиболее простой), т. е. такой системы, которая разделяет любые два неэквивалентных объекта из рассматриваемой совокупности. Термин «И.» ввёл Дж. Сильвестр (1851).
Простейшими примерами И. являются т. н. И. нераспадающихся кривых 2-го порядка на евклидовой плоскости. Пусть M – множество всех таких кривых, а ρ – отношение эквивалентности на M, определённое правилом: Γ∈M эквивалентна Γ′∈M тогда и только тогда, когда Γ′ получается из Γ движением (т. е. изометрией) плоскости. Если Ax2+2Bxy+Cy2+2Dx+2Ey+F=0
– уравнение кривой Γ∈M в к.-л. декартовой системе координат, то числа σ(Γ)Δ(Γ)–1/3иσ(Γ)Δ(Γ)–2/3,где σ(Γ)=A+C,δ(Γ)=|ABBC|, Δ(Γ)=|ABDBCEDEF|,
не зависят от выбора системы координат (хотя само уравнение линии Γ – зависит) и кривые Γ,Γ′∈M эквивалентны тогда и только тогда, когда σ(Γ)Δ(Γ)–1/3=σ(Γ′)Δ(Γ′)–1/3 δ(Γ)Δ(Γ)–2/3=δ(Γ′)Δ(Γ′)–2/3.
Иначе говоря, отображения σΔ–1/3 и δΔ–2/3 множества M в множество N всех действит. чисел являются И. отношения эквивалентности ρ (и, более того, образуют полную систему И.); эти отображения и называют И. нераспадающихся плоских кривых 2-го порядка. Значения этих И. на конкретной линии позволяют определить тип этой кривой (эллипс, гипербола, парабола).
Другой классич. пример – двойное отношение упорядоченного набора четырёх разл. точек, лежащих на одной прямой в действительном проективном пространстве. Двойное отношение не изменится, если подвергнуть эти точки проективному преобразованию всего пространства. В этом примере M – множество упорядоченных четвёрок точек проективного пространства, лежащих на одной прямой; отношение эквивалентности ρ на M определяется по правилу: наборы F,F′∈M эквивалентны тогда и только тогда, когда F переводится в F′ проективным преобразованием пространства. Взятие двойного отношения определяет изображение M в множество действительных чисел N. Это отображение является И. отношения ρ (и, более того, образует полную систему И.); именно в этом смысле говорят, что двойное отношение – И. четырёх точек (относительно проективной группы). См. также Инвариантов теория.