Математическая энциклопедия - аналитическое множество

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