АНАЛИТИЧЕСКОЕ МНОЖЕСТВО это:

АНАЛИТИЧЕСКОЕ МНОЖЕСТВО

подмножество полного сепарабельного метрич. пространства, являющееся непрерывным образом пространства иррациональных чисел. Понятие А. м. введено Н. Н. Лузиным [1]. Это классич. определение А. м. обобщается на случай общих метрич. и топологич. пространств.

1) А. м. в произвольном топологич. пространстве X - подмножество этого пространства, являющееся образом замкнутого подмножества пространства иррациональных чисел при полунепрерывном сверху многозначном отображении с бикомпактными образами точек и замкнутым графиком [2]. Если X - хаусдорфово, то последнее условие выполняется автоматически. Если Xметризуемо, то это определение эквивалентно классическому.

2) В полном сепарабельном метрич. пространстве классич. А. м. тождественны с А-множествами. Этот факт кладется в основу второго определения А. м. (как А-множеств) в общих метрич. и топологич. пространствах (см. [3], [4], [5]). В классе вполне регулярных пространств А. м. в смысле 1) суть абсолютные А. м. в смысле 2). В классе несепарабельных метризуемых пространств используется определение 2), так как 1) дает сепарабельные А. м.

3) А. м. в хаусдорфовом пространстве (см. 16], [7]) - непрерывный образ подмножества бикомпакта типа Fsd.

4) А. м.- непрерывный образ множества, принадлежащего семейству , где K - семейство всех замкнутых бикомпактных подмножеств нек-рого топологич. пространства (см. [8]). Множество, аналитическое в смысле 3), является аналитическим в смысле 4), а это последнее является аналитическим в смысле 1).

5) В другом направлении дано обобщение в [4]: fc-аналитич. множества получаются из замкнутых множеств топологич. пространства с помощью обобщенной А-операции(Бэра пространство счетного веса заменяется на пространство Бэра веса k).и являются обобщением А. м. в смысле определения 2).

Лит.:[1] Лузин Н. Н., "С. г. Acad. sci.", 1917, т. 164, р. 91-94; [2] Frolik Z., "Mathematika", 1969, v. 16, № 2, S. 153-57; [SlSierpinski W., General topology, Toronto, 1952; [4] Stone A., "Gen. Topol. and Appl.", 1972, т. 2, № 3, p. 249-70; [5] Куратовский К., Мостовский А., Теория множеств, пер. с англ., М., 1970; [6] Шнейдер В. Е., "Уч. зап. МГУ", 1948, в. 135, Математика, т. 2, с. 37-85; [7] Сhоquеt G., "Ann. Inst. Fourier", 1953, t. 5, p. 131 - 295; [8] Sion M., "Trans. Amer. Math. Sok.", 1960, v. 96, p. 341-54. А. Г. Елькин.

6) А. м. в теории аналитических функций - множество, определяемое локально как множество общих нулей конечного числа голоморфных функции. Если S - А. м. в открытом подмножестве Uпространства пкомплексных переменных , то это означает, что для каждой точки найдется окрестность и конечный набор голоморфных в Vфункций таких, что Если функции можно выбрать (в к.-л. окрестности V).так, что ранг якобиевой матрицы в точке аравен г, то аназ. регулярной точкой А. м. 5; число п - r наз. (комплексной) размерностью Sв точке а и обозначается Множество всех регулярных точек А. м. Sявляется открытым всюду плотным подмножеством S(в индуцированной топологии Sкак подмножества U). Его дополненпе - множество особых точек S - есть А. м. в U, нигде не плотное на S.

По определению,


раз мерностью А. м. Sназ. число


А. м. Sназ. однородным А- мерным, если для всех . Для каждого множество является однородным k- мерным А. м. в Таким образом, всякое А. м. в Uпредставляется в виде конечного объединения однородных А. м. В особых точках и поэтому размерность А. м. особых точек однородного А--мерного А. м. в Uстрого меньше k. Связные компоненты являются комплексными многообразиями. Так как это справедливо и для А. м. , то получается разложение


А. м. на комплексные многообразия. Более удобно разложение


(размерности слагаемых строго убывают, ), к-рое наз. стратификацией А. м. S;связные компоненты k-го слагаемого этой суммы наз. k-мерными стратами А. м. S.

А. м. 5 наз. приводимым (в U), если оно является объединением к.-л. двух отличных от него А. м. в U;в противном случае Sнеприводпмо(в U). Всякое неприводимое А. м. в Uсвязно п однородно. А. м. S в U неприводимо тогда л только тогда, когда множество его регулярных точек связно. Замыкание каждой связной компоненты множества - неприводимое А. м. в U;такие А. м. наз. неприводимыми компонентами A.M. S.

А. м. в Uявляется локально конечным объединением своих неприводимых компонент. Если А. м. не имеют общих неприводимых компонент, то размерность их пересечения строго меньше размерности каждого из них. Если пересечение двух неприводимых А. м. в Uсодержит множество, открытое на каждом из них, то эти А. м. совпадают (теорема единственности).

А. м. Sв Uназ. неприводимым в точке , если существует фундаментальная система окрестностей точки а в U такая, что все А. м. в неприводимы; при этом аназ. точкой неприводимости A.м. S. В окрестности каждой точки неприводимости А. м. устроено как аналитическое накрытие, т. е. для каждой такой точки найдутся связная окрестность линейное отображение : н А. м. такие, что сужение на есть собственное отображение на , а сужение на есть конечнократное локально биголоморфное накрытие над . Для неприводимых одномерных A.M. отсюда вытекает (после подходящей линейной замены координат) локальное параметрич. представление вида


где - целое положительное число и, функции голоморфны в круге . Таким образом, в окрестности каждой точки неприводимости одномерное А. м. является топологич. многообразием. Для А. м. большей размерности это в общем неверно.

Объединение конечного числа и пересечение любого семейства А. м. в Uсуть снова А. м. в U. Всякое аналитическое в Uмножество замкнуто в U. Всякое компактное А. .м. в состоит из конечного числа точек. Если Uсвязно и А. м. , то открыто, всюду плотно в Uи тоже связно. Множество всех изолированных точек А. ы. S в U не имеет в Uпредельных точек. Более того, всякое А. м. локально связно. Связное А. м. линейно связно.

Всякое А. м. в Uразмерности dлокально в Uимеет конечную 2d-мерную меру Хаусдорфа Если , то существуют положительные константы си (зависящие от а и S).такие, что


для всех достаточно малых .

Семейство А. м. инвариантно относительно биголоморфных отображений. Более того, если S - А. м. в - собственное голоморфное отображение, то - А. м. в U'.

Определение А. м. на комплексных многообразиях аналогично определению для С n; при этом сохраняются все перечисленные свойства, за исключением одного: в общем случае существуют компактные, но не дискретные А. м. В конкретном многообразии А. м. могут обладать нек-рымн дополнительными свойствами. Напр., в комплексном n-мерном проективном пространстве всякое А. м. является алгебраическим, т. е. совпадает с множеством общих нулей нек-poro конечного набора однородных многочленов.

Действительные А. м. в открытых подмножествах R" определяются так же, только вместо голоморфных надо брать действительные аналитич. функции. Каждое действительное А. м. является пересечением не-к-рого А. м. (в нек-ром открытом подмножестве ) с действительным подпространством

Лит.: [1] Ганнинг Р., Росс и X., Аналитические функции многих комплексных переменных, пер. с англ., М., 1969; [2] Эрве М., Функции многих комплексных переменных. Локальная теория, пер. с англ., М., 1965. Е. М. Чирка.


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

Смотреть что такое "АНАЛИТИЧЕСКОЕ МНОЖЕСТВО" в других словарях:

  • аналитическое множество — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN analytical set …   Справочник технического переводчика

  • ИСКЛЮЧИТЕЛЬНОЕ АНАЛИТИЧЕСКОЕ МНОЖЕСТВО — аналитич. множество Ав комплексном пространстве X, допускающем такое аналитич. отображение f : что f(A ) = y точка комплексного пространства Y, а f : аналитич. изоморфизм. Модификация f наз. стягиванием множества Ав точку у. Задача о… …   Математическая энциклопедия

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

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

  • Множество раздела — или катлокус точки в римановом многообразии   подмножество точек , через которые не проходит ни одна кратчайшая из . Содержание 1 Примеры …   Википедия

  • Аналитическое продолжение — В комплексном анализе аналитическим продолжением функции , определённой на множестве , называется аналитическая функция, которая: определена на более широком множестве , содержащем ; в области совпадает с исходной функцией . Автором данного… …   Википедия

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

  • АНАЛИТИЧЕСКОЕ ДОПОЛНЕНИЕ — устаревший термин; обозначает множество, дополнительное к А множеству (на числовой прямой). П. С. Александров …   Математическая энциклопедия

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

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

Книги



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

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