ГОМЕОМОРФИЗМОВ ГРУППА это:

ГОМЕОМОРФИЗМОВ ГРУППА

группа гомеоморфных отображений топология, пространства X на себя. Если X - компактное многообразие, то алгебраич. свойства группы , а именно, структура ее нормальных делителей, определяют X с точностью до гомеоморфизма (см. [1]). В частности, при известно, что группа есть простая группа. Это верно также для канторова множества, кривой Мен-гера, кривой Серпинского, множеств рациональных и иррациональных точек на прямой [2]. Для многообразия Мминимальным нормальным делителем в служит подгруппа, порожденная гомеоморфизмами, тождественными вне областей М.

Группа может быть топологизирована различным образом (сы. Пространства отображений). Основное значение имеют бикомпактно открытая топология и (если Xметризуемо) тонкая -топология, в к-рой окрестности тождества задаются строго положительными функциями причем входит в , если для всех х, где - метрика в . Однако группа не обязана быть топологической группой в этих топологиях, так как отображение не всегда непрерывно, и даже если это так, то может не быть топологич. группой преобразований, т. е. отображение может быть разрывным (см. [3]). Но если X- многообразие, то является топологич. группой преобразований в обеих указанных топологиях. Изучение топологич. свойств группы представляет интерес, в первую очередь, для однородного пространства X, т. е. такого, что действие группы на Xтранзитивно. Однако такое изучение проведено далеко не полностью даже для простых многообразий. Неизвестно, напр, (к 1977), будет ли бесконечномерным многообразием, хотя оно будет (для метризуемого многообразия) локально стягиваемым в тонкой -топологии (см. [4]). В частности, два достаточно близких гомеоморфизма соединимы изотопией. Для открытых многообразий, к-рые являются внутренностью компактных многообразий, это верно также и в бикомпактно открытой топологии.

Факторгруппа группы по компоненте тождества наз. группой гомеотопий пространства X. Вообще говоря, не совпадает с Г. г., гомотопных тождеству, но это так для двумерных и нек-рых трехмерных многообразий (напр., для и др.). Гомотопич. свойства изучены для двумерных многообразий, что оказалось полезным для установления гомологич. свойств групп кос (см. Кос теория).

Особое значение в топологии многообразий имеет изучение нек-рых подгрупп группы , напр, подгруппы диффеоморфизмов. Это изучение затруднено тем, что подгруппы оказываются незамкнутыми, и топология факторпространств неудовлетворительна. Ввиду этого рассматривают полусимплнциадьные группы (ss-группы) Тор n, в к-рых k-мерными симплексами служат послойные гомеоморфизмы , неподвижные на нулевом сечении (где - стандартный k- симплекс).

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


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

Изучение различных подгрупп для многообразий Мсоставляет предмет ряда дисциплин. В частности, изучение Г. г., сохраняющих определенные структуры, относится к соответствующим разделам математики. Большой интерес представляют алгебраич. задачи, связанные с группами автоморфизмов деревьев и других графов.

Лит.:[1] Whittaker J. V., "Ann. Math.", 1963, т. 78, №1,p. 74-91; [2] Anderson R. D., "Amer. J. Math.", 1958, v. 80, № 4, p. 955-63; [3] Arens R. F., "Amer. J. Math.", 1946, v. 68, № 4, p. 593-610; [4] Чернавский А. В., "Матем. сб.", 1969, т. 79, № 3, с. 307-56.

А. В. Чернавский.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ГОМЕОМОРФИЗМОВ ГРУППА" в других словарях:

  • Группа Томпсона — …   Википедия

  • ДИСКРЕТНАЯ ГРУППА — преобразований группа Г гомеоморфизмов хаусдорфова топологич. пространства X, удовлетворяющая следующему условию: для любых точек х, найдутся такие их окрестно сти U, V соответственно, что множество конечно. Стабилизатор точки относительно Д. г.… …   Математическая энциклопедия

  • ФУКСОВА ГРУППА — дискретная группа голоморфных преобразований (открытого) круга Кна сфере Римана, т. е. круга или полуплоскости на комплексной плоскости. Чаще всего в качестве Кберут верхнюю полуплоскость или единичный круг В первом случае элементы Ф. г. являются …   Математическая энциклопедия

  • СКОЛЬЖЕНИЙ ГРУППА — регулярного накрытия группа Г(р).таких гомеоморфизмов g пространства Xна себя, что g р = р(Xи Y связные локально линейно связные хаусдорфовы топо логич. пространства). Так, С. г. накрытия окружности действительной прямой , определяемого формулой …   Математическая энциклопедия

  • ГОМЕОМОРФИЗМ — взаимно однозначное соответствие между двумя топологич. пространствами, при к ром оба взаимно обратных отображения, определяемые этим соответствием, непрерывны. Эти отображения наз. гомеоморфными, или топологическими, отображениями, а также… …   Математическая энциклопедия

  • АЛГЕБРАИЧЕСКАЯ ТОПОЛОГИЯ — область математики, возникшая для изучения таких свойств гео метрич. фигур (в широком смысле любых объектов, где можно говорить о непрерывности) и их отображений друг в друга, к рые не меняются при непрерывных деформациях (гомотопиях). В принципе …   Математическая энциклопедия

  • КОБОРДИЗМ — кобордизмов теория, обобщенная теория когомологий, определенная спектрами пространств Тома и связанная с различными структурами в стабильном касательном или нормальном расслоении к многообразию. Теория К. двойственна (в смысле S двойственности… …   Математическая энциклопедия

  • БИКОМПАКТНО ОТКРЫТАЯ ТОПОЛОГИЯ — одна из топологий на множестве отображений одного топо логич. пространства в другое. Если F некоторое множество отображений топология, пространства Xв то пологич. пространство Y, то каждый конечный набор пар бикомпактное подмножество пространства …   Математическая энциклопедия

  • УНИФОРМИЗАЦИЯ — множества (или тройка (f, D, G), где f=(f1, . . ., fN) система мероморфных в области (соответственно функций, определяющая голоморфное накрытие причем f(D0) плотно в A,a G собственно разрывная группа биголоморфных автоморфизмов D, ограничение к… …   Математическая энциклопедия

  • РАССЛОЕНИЕ — (расслоённое пространство) одна из фундам. структур, изучаемых в топологии. В совр. физике, гл. обр. в теории элементарных частиц, концепция Р. и ассоциированных с ним матем. структур (связность и т. п.) является наиб. адекватным языком для… …   Физическая энциклопедия


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

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