Непрерывная группа это:

Непрерывная группа
        математическое понятие, как и понятие обыкновенной группы (См. Группа), возникающее при рассмотрении преобразований. Пусть М — множество элементов х какого-либо рода, например чисел, точек пространства, функций и т.п. Говорят, что имеется преобразование f множества М, если каждому элементу x из М поставлен в соответствие определённый элемент
         y = f (x), (1)
        также принадлежащий М; при этом предполагается, что для каждого у найдётся такой элемент х, и притом единственный, который удовлетворяет уравнению (1). Т. о., уравнение (1) разрешимо относительно х:
         x = f--1(y),
        и f--1 также есть преобразование множества М. Преобразование f-1 называется обратным к преобразованию f. Преобразование е, переводящее каждый элемент х в себя, е (х) = х, называется тождественным. Если имеется два преобразования f и g, то последовательное их применение даёт новое преобразование k:
         k (x) = f [g (x)].
         Преобразование k называется произведением преобразований f и g:
         k = fg.
         Умножение некоторого преобразования f на тождественное е не меняет его:
         fe = ef = f. (2)
         Произведение преобразования f на его обратное f--1 даёт тождественное:
         ff—1 = f-1f = e. (3)
         Для любых трёх преобразований имеет место ассоциативный закон:
         (fg) h = f (gh). (4)
         Совокупность всех преобразований множества М является группой. Можно, однако, рассматривать совокупность не всех преобразований, а любую такую совокупность преобразований, что наряду с каждым преобразованием в неё входит обратное к нему, а наряду с каждыми двумя — их произведение. Тогда мы также имеем группу преобразований (подгруппу группы всех преобразований множества М). Если множество М является непрерывной средой (топологическим пространством (См. Топологическое пространство)), точнее говоря, если известно, что значит
        
        где x1, x2,..., xn,...некоторая последовательность элементов из М, а x также принадлежит М (как это имеет место, например, в множестве чисел или точек), то можно выделить непрерывные преобразования. Преобразование f называется непрерывным, если из (5) следует
        
         Множество всех непрерывных преобразований составляет группу непрерывных преобразований. Во многих случаях (но не всегда) группа непрерывных преобразований сама естественным образом оказывается непрерывной средой, т. е. в ней определяется понятие предельного перехода: можно говорить о том, что некоторая последовательность преобразований сходится к преобразованию. При этом оказывается, что из
         следует
        следует
        
         Такая группа называется Н. г. преобразований. Пусть М есть множество точек плоскости. Преобразование f называется движением плоскости, если для каждой пары точек х и у из М расстояние между х и у равно расстоянию между f (x) и f (y). Преобразование плоскости называется проективным, если точки, лежащие на одной прямой, переходят в точки, также лежащие на одной прямой. Частным случаем проективного преобразования является аффинное, при котором параллельные прямые переходят в параллельные. Здесь мы имеем три простейших геометрических примера Н. г. преобразований: группу движений, группу проективных преобразований и группу аффинных преобразований. Если рассматривать те свойства геометрических фигур на плоскости, которые не меняются при движениях плоскости, то мы получим обычную элементарную геометрию. Аналогично возникают геометрии проективная и аффинная, Ф. Клейном была выдвинута общая точка зрения (см. Эрлангенская программа), согласно которой геометрия есть наука, изучающая те свойства фигур, которые не меняются при заданной группе непрерывных преобразований. Отсюда — роль теории Н. г. в геометрии. Примем за множество М всевозможные упорядоченные системы по n чисел x1, x2,..., xn, которые будем трактовать как компоненты вектора х. Рассмотрим т. н. линейное преобразование f, переводящее вектор х в вектор у с компонентами y1, y2,..., yn, причём преобразование задаётся формулой
        
         Множество всех линейных преобразований составляет Н. г. преобразований. Можно рассматривать не все линейные преобразования, а, например, такие, которые не меняют длины векторов, т. е. для которых выполнено условие
         x12 + x22 +... + xn2 = y12 + y22 +... + yn2.
        Такие преобразования составляют группу линейных ортогональных преобразований. Группы линейных преобразований играют весьма важную роль, в частности находят своё приложение в квантовой механике.
         Современное развитие теории групп показало, что при изучении группы целесообразно бывает отвлечься от того факта, что элементы её являются преобразованиями, а следует трактовать группу просто как множество элементов, в котором установлена операция умножения, т. е. каждой паре элементов группы поставлен в соответствие элемент, называемый произведением исходных: k = fg, причём в качестве аксиом выдвигаются условия (2), (3), (4). Элемент e, раньше бывший тождественным преобразованием, теперь называется единицей группы. Вместо обратного преобразования появляется обратный элемент. Существование единицы и обратного элемента теперь являются аксиомами. Если для любых двух элементов f и g верно fg = gf, то группа называется коммутативной. Для того чтобы получить Н. г., следует предположить, что элементы её составляют топологическое пространство и что операция умножения непрерывна, т. е. выполнено условие (6), которое теперь выдвигается как аксиома. Так возникло в математике новое, абстрактное понятие непрерывной, или, что то же самое, топологической группы. Логически оно слагается из операции перемножения и операции предельного перехода. Так как обе эти операции весьма часто встречаются в математике, то понятие Н. г. принадлежит к числу важных и находит многочисленные приложения. Важнейшим типом Н. г. являются группы Ли (С. Ли основоположник теории Н. г.). Если в окрестности единицы группы можно ввести координаты, т. е. каждый элемент f задать числами f1, f2,..., fr его координатами, то закон умножения k = fg можно записать для элементов, близких к единице, в координатной форме:
         ki = φi (f1, f2,..., fr, g1, g2,..., gr), (7)
         i = 1, 2,..., r,
        где φi непрерывная функция всех переменных. Если ещё предположить, что функции φ, трижды непрерывно дифференцируемы, то мы придём к понятию группы Ли. Если считать, что координаты единицы все равны нулю, т. е. если принять единицу за начало координат, то, разлагая в ряд Тейлора правую часть соотношения (7), получим
        
         Числа
         называются структурными константами группы Ли, и к изучению их полностью сводится изучение группы Ли.
        называются структурными константами группы Ли, и к изучению их полностью сводится изучение группы Ли.
         Лит.: Понтрягин Л. С., Непрерывные группы, 3 изд., М., 1973 (имеется библ.).
         Л. С. Понтрягин.

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Смотреть что такое "Непрерывная группа" в других словарях:

  • НЕПРЕРЫВНАЯ ГРУППА — в работах основоположников теории групп Ли (С. Ли, S. Lie; А. Пуанкаре, Н. Poincare; Э. Картан, Е. Cartan; Г. Вейль, Н. Weyl, и др.) группа гладких или аналитических локальных преобразований пространства Rn или С n, гладко или аналитически… …   Математическая энциклопедия

  • Группа Гейзенберга — группа, состоящая из квадратных матриц вида где элементы a, b, c принадлежат какому либо коммутативному кольцу с единицей. В качестве такого кольца R чаще всего берется: кольцо вещественных чисел так называемая непрерывная группа Гейзенберга,… …   Википедия

  • ГРУППА — множество, на к ром определена операция, наз. умножением и удовлетворяющая спец. условиям (групповым аксиомам): в Г. существует единичный элемент; для каждого элемента Г. существует обратный; операция умножения ассоциативна. Понятие Г. возникло… …   Физическая энциклопедия

  • НЕПРЕРЫВНАЯ СЕРИЯ ПРЕДСТАВЛЕНИЙ — основная серия представлений, семейство неприводимых унитарных представлений локально компактной группы G, входящих в разложение регулярного представления группы G, но не принадлежащих дискретной серии представлений этой группы. Если G… …   Математическая энциклопедия

  • Топологическая группа — Группа (математика) Теория групп …   Википедия

  • ДВИЖЕНИЙ ГРУППА — непрерывная группа преобразований пространства, элементами к рой являются движения этого пространства, а групповой операцией последовательное выполнение в указанном порядке двух движений. В широком смысле, любая группа непрерывных преобразований… …   Математическая энциклопедия

  • СИЛЬНО НЕПРЕРЫВНАЯ ПОЛУГРУППА — семейство линейных ограниченных операторов T(t), t>0, в банаховом пространстве X, обладающее свойствами: 1) 2) функции Т(t)xнепрерывны на при любом При выполнении 1) из измеримости всех функций , и, в частности, из односторонней (справа или… …   Математическая энциклопедия

  • КОМПАКТНАЯ ГРУППА — топологическая группа, компактная как топологич. пространство. Напр., всякая конечная группа (в дискретной топологии) является К. г. Алгебраическая группа, хотя она и является компактным топологич. пространством (относительно топологии Зариского) …   Математическая энциклопедия

  • МОНТМОРИЛЛОНИТА ГРУППА — [по м нию Монтморилльон, Франция] м лы с общей формулой (1/2Са, Nа)0,7 (Al, Mg, Fe)4(Si, Аl)8О20(ОН)4·nН2О. Собственно монтмориллонит (М.) Na0,7Al3,3Mg0,7Si8O20(OH)4·nH2O. В М. гр. входят монтмориллонит, бейделлит, нонтронит, сапонит, гекторит,… …   Геологическая энциклопедия

  • Математика —          I. Определение предмета математики, связь с другими науками и техникой.          Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира.          «Чистая …   Большая советская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»