НОВОСТИ    БИБЛИОТЕКА    ЭНЦИКЛОПЕДИЯ    БИОГРАФИИ    КАРТА САЙТА    ССЫЛКИ    О ПРОЕКТЕ  

АНАЛИТИЧЕСКОЕ ОТОБРАЖЕНИЕ

Расстановка ударений: АНАЛИТИ`ЧЕСКОЕ ОТОБРАЖЕ`НИЕ

АНАЛИТИЧЕСКОЕ ОТОБРАЖЕНИЕ, аналитический морфизм, - морфизм аналитических пространств, рассматриваемых как окольцованные пространства. А. о. пространства (X, X) в пространство (Y, Y) есть пара (f0, f1), где

f0 : X → Y

- непрерывное отображение, а

- гомоморфизм пучков колец на А. В случае комплексных пространств А. о. наз. также голоморфным отображением.

В случае, когда (X, X) и (Y, Y) - приведенные аналитич. пространства, гомоморфизм f1 полностью определяется отображением f0 и является обратным отображением ростков функций, отвечающим f0 . Таким образом, в этом случае А. о. - это такое отображение f: X → Y, что для любого х ∈ А и любого φ ∈ f(x) имеет место φ ○ f ∈ x .

Слоем А. о.

в точке y ∈ Y наз. аналитич. подпространство

пространства (X, X), где myX пучок ростков функций, обращающихся в 0 в точке у. Если положить

то имеет место неравенство

(*)

Если X и Y - приведенные комплексные пространства, то для всякого l ≥ 0 множество

является аналитическим в А.

А. о. f = (f0, f1) наз. плоским в точке х ∈ X, если X, x является плоским модулем над кольцом Y, f0 (x) . В этом случае неравенство (*) превращается в равенство. А. о. наз. плоским, если оно - плоское в каждой точке х ∈ X. Плоское А. о. комплексных пространств является открытым. Обратно, если f0 открыто, Y гладко, а X и все слои приведены, то f - плоское А. о. Множество точек комплексного или жесткого аналитич. пространства А, у к-рых А. о. f не является плоским, будет аналитическим в А. Если X и У - приведенные комплексные пространства, причем X имеет счетную базу, то в Y существует открытое всюду плотное множество, над к-рым F - плоское А. о. Если А. о.

комплексных пространств плоско, то множества тех х ∈ Х, в к-рых слой f- 1 (x) не приведен или ненормален, являются аналитическими в (X, X) -

Пусть F : X → Y - А. о. приведенных комплексных пространств. Если dim X < ∞, то существует стратификация

где X(r) - аналитич. множества и X(rг) = А для больших r, со следующим свойством: всякая точка х ∈ Х(r)\X(r - 1) обладает такой окрестностью U в X, что f(U ∪ X(r)) - локальное аналитич. множество в Y, все неприводимые компоненты ростка к-рого в точке f(x) имеют размерность r. В частности, если f собственное, то f(X) - аналитич. множество в X. Этот факт является частным случаем теорем конечности для А. о.

Пусть X, Y - комплексные пространства, причем X компактно. Тогда множество Моr (X, Y) всех А. о. f : X → Y можно снабдить такой структурой комплексного пространства, что отображение

переводящее пару (f, х) в f0 (x), аналитично. В частности, группа автоморфизмов компактного комплексного пространства X является комплексной группой Ли, аналитически действующей на X.

Лит. : [1] Remmert R., «Math. Ann. », 1956, Bd 130, S. 410-41; [2] eго же, там же, 1957, Bd 133, S. 328-70; [3] Stein К., Analytischer Abbildungen allgemeiner analytischer Räume. Colloque de topologie, Strasbourg, Avril, 1954; [4] Frisch J., «Inventiones math. », 1967, Bd 4, S. 118-38.

Д. А. Пономарев.


Источники:

  1. Математическая Энциклопедия. Т. 1 (А - Г). Ред. коллегия: И. М. Виноградов (глав ред) [и др.] - М., «Советская Энциклопедия», 1977, 1152 стб. с илл.








© Злыгостев Алексей Сергеевич, статьи, подборка материалов, оформление, разработка ПО 2001-2019
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'Математическая библиотека'
Рейтинг@Mail.ru