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

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

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

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

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

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

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

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

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

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

Бикомпакт 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.

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


  1. канторово многообразие—канторлы кпбейне...Орысша-қазақша «Математика» терминологиялық сөздік