КАНТОРОВО МНОГООБРАЗИЕ

Значение КАНТОРОВО МНОГООБРАЗИЕ в математической энциклопедии:

- га-мерный бикомпакт X,dim X=n, в к-ром любая перегородка В между непустыми множествами имеет размерность Эквивалентное определение: re-мерное К. м. есть n-мерный бикомпакт X, обладающий тем свойством, что при всяком представлении его в виде суммы двух непустых и отличных от всего пространства Xзамкнутых множеств X₁ и Х ₂ пересечение имеет размерность dim (X₁ Х ₂)n-1. Одномерные метризуемые К. м. суть одномерные континуумы, или канторовы кривые.

Понятие К. м. было введено П. С. Урысоном (см. [1]). и-мерный замкнутый шар и, значит, га-мерное замкнутое многообразие являются К. м.; га-мерное евклидово пространство нельзя разбить множеством размерности (при n = 3 - теорема Урысон а, при n>3-теорема Александрова), (n-1)-мерным К. м. является совместная граница двух областей га-мерного евклидова пространства, одна из к-рых ограничена (теорема Александрова). Основной факт теории К. м.: всякий га-мерный бикомпакт содержит re-мерное канторово подмногообразие (теорема Александрова).

Всякое лежащее в га-мерном бикомпакте Xмаксимальное n-мерное К. м. наз. размерностной компонентой бикомпакта X. Всякое n-мерное канторово подмногообразие бикомпакта Xлежит в единственной размерностной компоненте X. Пересечение двух различных размерностных компонент п-мерного бикомпакта Xимеет размерность В частности, размерностные компоненты одномерного бикомпакта суть его компоненты. Множество размерностных компонент конечномерного компакта конечно, счетно или имеет мощность континуума. Справедливо неравенство: где А- произвольная размерностная компонента совершенно нормального бикомпакта X, а В- объединение всех остальных размерностных компонент (теорема Александрова). В наследственно нормальном бикомпакте с 1-й аксиомой счетности размерностная компонента может содержаться в сумме остальных размерностных компонент.

Объединение K_X всех размерностных компонент n-мерного бикомпакта Xназ. его внутренним размерностным ядром. Ввиду монотонности размерности в совершенно нормальном бикомпакте Xвсегда dim K_X=dim X и

Множество не содержит никакого га-мерного бикомпакта. Но даже для компактов неизвестно (1978), может ли Что касается наследственно нормальных бикомпактов, то в них внутреннее размерностное ядро и его дополнение могут иметь все допустимые размерности, а именно, в предположении континуум-гипотезы, для всякой тройки целых чисел га, п ₁ и n₂ с и существует такой наследственно нормальный га-мерный бикомпакт X, что dim K_X=n₁ и

Если dim Z = ind X, то где N_X (определенное по Урысону) - индуктивное размерностное ядро, т. е. множество всех точек в к-рых ind_XX=n. Индуктивное размерностное ядро N_X компакта Xвсегда имеет тип F_s. Неизвестно, так ли обстоит дело с внутренним размерностным ядром компакта. Что касается бикомпактов,-" то в них ни индуктивное, ни внутреннее размерностные ядра не обязаны иметь тип F_s. Для всякой точки

где X- компакт (теорема Менгера). Поэтому для произвольного компакта Xего внутреннее размерностное ядро К _X всюду плотно в индуктивном размерностном ядре N_X. На бикомпакты это утверждение уже не переносится. Нерешенным остается вопрос (1978), всякая ли точка содержится в индуктивном размерностном ядре вместе с нек-рым невырожденным континуумом.

Конечномерный континуум X, внутреннее размерностное ядро К _X к-рого всюду плотно в X, наз. обобщенным канторов ым многообразием. Совместная граница двух открытых подмножеств n-мерного евклидова пространства является (n-1)-мерным обобщенным К. м. В метризуемом га-мерном обобщенном К. м. Xможет быть всюду плотно множество тех точек х, в к-рых ind_xX<n. Ни произведения, ни непрерывные отображения не сохраняют свойство быть обобщенными К. м., равно как и свойство быть К. м.

Бикомпакт Xназ. бесконечномерным канторовым многообразием, если его нельзя разбить никаким способом слабо бесконечномерным замкнутым подмножеством. Во всяком бесконечномерном бикомпакте содержится бесконечномерное К. м.

Лит.:[1] Урысон П. С, Тр. по топологии и другим областям математики, т. 1, М.- Л., 1951; [2] Александров П. С, "Ann. Math.", 1929, v. 30, p. 101-87; [3] его же, "Рrос. Roy. Soc. London. Ser. A", 1947, v. 189, p. 11-39; [4] Александров П. С, Пасынков Б. А., Введение в теорию размерности ..., М., 1973; [5] Федорчук В. В., "Докл. АН СССР", 1974, т. 215, № 2, с. 289-92; [6] Меngеr К., Dlmensionstheorie, bpz.-В., 1928; [7] Скляренко Е. Г., "Изв. АН СССР. Сер. матем.", 1959, т. 23, № 2, с. 197 - 212.

В. В. Федорчук.