Аналитическое Множество

Подмножество полного сепарабельного метрич. пространства, являющееся непрерывным образом пространства иррациональных чисел. Понятие А. м. введено Н. Н. Лузиным [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. Е. М. Чирка.