Канторово Многообразие

- га-мерный бикомпакт X,dim X=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всегда dim KX=dim X и Множество не содержит никакого га-мерного бикомпакта. Но даже для компактов неизвестно (1978), может ли Что касается наследственно нормальных бикомпактов, то в них внутреннее размерностное ядро и его дополнение могут иметь все допустимые размерности, а именно, в предположении континуум-гипотезы, для всякой тройки целых чисел га, п 1 и n2 с и существует такой наследственно нормальный га-мерный бикомпакт X, что dim KX=n1 и Если dim Z = ind X, то где NX (определенное по Урысону) - индуктивное размерностное ядро, т.

Е. Множество всех точек в к-рых indXX=n. Индуктивное размерностное ядро NX компакта Xвсегда имеет тип Fs. Неизвестно, так ли обстоит дело с внутренним размерностным ядром компакта. Что касается бикомпактов,-" то в них ни индуктивное, ни внутреннее размерностные ядра не обязаны иметь тип Fs. Для всякой точки где X- компакт (теорема Менгера). Поэтому для произвольного компакта Xего внутреннее размерностное ядро К X всюду плотно в индуктивном размерностном ядре NX. На бикомпакты это утверждение уже не переносится. Нерешенным остается вопрос (1978), всякая ли точка содержится в индуктивном размерностном ядре вместе с нек-рым невырожденным континуумом. Конечномерный континуум X, внутреннее размерностное ядро К X к-рого всюду плотно в X, наз.

Обобщенным канторов ым многообразием. Совместная граница двух открытых подмножеств n-мерного евклидова пространства является (n-1)-мерным обобщенным К. М. В метризуемом га-мерном обобщенном К. М. Xможет быть всюду плотно множество тех точек х, в к-рых indxX<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. В. В. Федорчук..