«инвариант»

1. инвариа́нт;
2. инвариа́нты;
3. инвариа́нта;
4. инвариа́нтов;
5. инвариа́нту;
6. инвариа́нтам;
7. инвариа́нт;
8. инвариа́нты;
9. инвариа́нтом;
10. инвариа́нтами;
11. инвариа́нте;
12. инвариа́нтах.

ИНВАРИА́НТ, -а, муж.

1. Величина, остающаяся неизменяемой при тех или иных преобразованиях (спец.).

2. В языкознании: единица, заключающая в себе все основные признаки своих конкретных реализаций. Семантический и.

| прил. инвариантный, -ая, -ое.

I

Неизменяющаяся, неизменная величина, единица.

II

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

III

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

ИНВАРИАНТ - абстрактная единица языка, обладающая совокупностью основных признаков всех ее конкретных реализаций и тем объединяющая их, напр., морфеда по отношению к алломорфам.

ИНВАРИАНТ (от лат. invarians - неизменяющийся) - в математике - величина, остающаяся неизменяемой при тех или иных преобразованиях. Напр., площадь какой-либо фигуры, угол между двумя прямыми - инвариант движения.

ИНВАРИАНТ (от латинского invarians - неизменяющийся), величина, остающаяся неизменяемой при тех или иных преобразованиях. Например, инвариант движения (то есть преобразования, при котором сохраняются расстояния между точками) - площадь какой-либо фигуры, угол между двумя прямыми.

муж. invariantinvariant

invariant

m.invariant

м.

invariant m

ИНВАРИА́НТ -а; м.

1. [франц. invariant] Спец. Величина, остающаяся неизменяемой при различных преобразованиях.

2. Лингв. Языковая единица (фонема, морфема, лексема и т.п.), заключающая в себе все основные признаки своих конкретных реализаций. Семантический и.

◁ Инвариа́нтность, -и; ж. Инвариа́нтный, -ая, -ое; -тен, -тна, -тно. И-ая система.

* * *

I

(от лат. invarians — неизменяющийся) (матем.), величина, остающаяся неизменной при тех или иных преобразованиях. Например, площадь какой-либо фигуры, угол между двумя прямыми — инвариант движения.

II

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

(от лат.invarians, фр.invariant букв. — неизменяющийся)

1) (в математике) величина, остающаяся неизменной при тех или иных преобразованиях;

2) (в лингвистике) структурная единица языка (фонема, морфема, лексема и т. д.) в отвлечении от ее конкретной реализации.

- отображение j рассматриваемой совокупности М математич. объектов, снабженной фиксированным отношением эквивалентности р, в другую совокупность Nматематич. объектов, постоянное на классах эквивалентности Мпо r(точнее: И. отношения эквивалентности р на М). Если X- объект из М, то весьма часто говорят, что j(М).- И. объекта X. Концепция И. является одной из важнейших в математике, поскольку изучение И. непосредственно связано с задачами классификации объектов того или иного типа. По существу, целью всякой математич. классификации является построение нек-рой полной системы И. (по' возможности, наиболее простой), то есть такой системы, к-рая разделяет любые два неэквивалентных объекта из рассматриваемой совокупности.

Простейшим примером И. могут служить так наз. И. действительных плоских линий второго порядка. А именно, пусть М- множество всех таких линий, r - отношение эквивалентности на М, определенное правилом: эквивалентна тогда и только тогда, когда Г' получается из Г движением (т. е. изометрией) плоскости. Если Ax²+2Bxy+Cy²+2Dx+2Ey+F=0- уравнение линии в какой-либо декартовой системе координат, то числа s(Г)=А+С,

и

не зависят от выбора системы координат (хотя само уравнение линии Г - зависит). Если две линии эквивалентны, то s(Г),=s(Г'), d(Г)=d(Г') и D(Г)=D(Г'). Иначе говоря, отображения s, d и D множества Мв множество Nвсех действительных чисел являются И. отношения эквивалентности r - эти отображения и называют И. действительных плоских линий второго порядка. Значения этих И. на конкретной линии позволяют определить тип этой линии (эллипс, гипербола, парабола, пара прямых, мнимая кривая).

Другой классич. пример - двойное отношение упорядоченного набора четырех точек, лежащих на одной прямой в действительном проективном пространстве. Двойное отношение не изменится, если подвергнуть эти точки проективному преобразованию всего пространства. В этом примере: М- это множество упорядоченных четверок точек проективного пространства, лежащих на одной прямой; отношение эквивалентности р на М - определяется по правилу: наборы Fи эквивалентны тогда и только тогда, когда Fпереводится в F' проективным преобразованием пространства; N- множество действительных чисел. Взятие двойного отношения определяет отображение Мв N, являющееся И. отношения р; именно в этом смысле говорят, что двойное отношение - И. четырех точек (относительно проективной группы).

Сопоставление квадратичной форме от ппеременных ее ранга также доставляет пример И.: ранг не меняется при замене формы на эквивалентную (коротко: ранг есть И. квадратичной формы). Более того, если формы рассматриваются над полем комплексных чисел, то ранг составляет полную систему И. форм от ппеременных - две формы эквивалентны тогда и только тогда, когда их ранги равны. Если же рассматривать формы над полем действительных чисел, то появляется еще один И.- сигнатура формы; ранг и сигнатура соcтавляют полную систему И, В этих примерах М- множество квадратичных форм от ппеременных, r - отношение эквивалентности, определенное невырожденными линейными преобразованиями переменных, N- множество целых чисел.

Общая черта, объединяющая эти (и многие другие) примеры, состоит в том, что отношение эквивалентности р определяется с помощью нек-рой группы Gпреобразований множества М(т. е. X и р-эквивалентны тогда и только тогда, когда Y-g(X)для нек-рого ); И., возникающие в таких случаях, наз. И. группы G. В первом примере - это преобразования М, индуцированные группой изометрий плоскости, во втором - проективной группой, в третьем - полной линейной группой невырожденных преобразований переменных. Эти примеры иллюстрируют общую концепцию, выдвинутую Ф. Клейном (F. Klein) (так наз. эрлангенская программа), согласно к-рой всякая группа преобразований может служить группой "преобразований систем координат" (автоморфизмов) в некоторой геометрии; величины, определяемые объектами этой геометрии и не меняющиеся при "смене координат" (инварианты), описывают внутренние свойства рассматриваемой геометрии и дают "структурную" классификацию ее теорем. Так, напр., задача проективной геометрии - нахождение И. (и соотношений между ними) для проективной группы, евклидовой геометрии - для группы движений (изометрий) евклидова пространства и т. д. На этом пути возникла классическая инвариантов теория, в к-рой рассматриваются лишь И. специального вида (полиномиальные или рациональные И. для групп линейных преобразований или, шире, числовые функции, постоянные на орбитах нек-рой группы).

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

В. Л. Попов.

Arf-ИНВАРИАНТ, инвариант Арфа,- инвариант квадратичной формы по модулю 2, заданной на целочисленной решетке, снабженной билинейной кососимметрич. формой. Пусть П - целочисленная решетка размерности k=2т и y( х, у)- форма, для к-рой y( х, y)=-y(y, х). Имеются базисы вида {е ₁, f₁,..., е _т, f_m}, наз. симплектическими, в к-рых матрица формы y(х, у)приводится к блочнодиагональному виду: по диагонали стоят блоки , т. е.