![]() Главная страница Случайная страница КАТЕГОРИИ: АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Канторово множество. Размерность по ХаусдорфуСтр 1 из 4Следующая ⇒
Билет №2 Канторово Множество - подмножество отрезка [0, 1] числовой оси, состоящее из всех чисел вида где ei равно 0 или 2. Построено Г. Кантором (G. Cantor, 1883). Геометрич. его описание (см. рис.): из отрезка [0, 1] выбрасывается его средняя треть - интервал, затем из оставшихся отрезков и выбрасываются интервалы и из оставшихся четырех отрезков также выбрасываются их средние трети, и т. д.; то, что останется после выбрасывания всех этих интервалов (смежных интервалов), суммарная длина к-рых равна 1, и есть канторово совершенное множество (Кантора множество; канторов дисконтинуум); оно нигде не плотно на числовой прямой, имеет мощность континуума. С топологич. точки зрения К. м.- нульмерный совершенный (т. е. без изолированных точек), компакт, причем с точностью до гомеоморфизма существует единственный такой компакт. Все ограниченные совершенные нигде не плотные множества на числовой прямой суть подобные множества. К. м. гомеоморфно счетной степени простого двоеточия Dи является пространством топологич. группы К. м. универсально в двух смыслах: во-первых, всякое нульмерное пространство со счетной базой гомеоморфно подмножеству К. м.; 2) во-вторых, всякий компакт является непрерывным образом К. м. (теорема Александрова). Эта теорема кладет начало теории диадических бикомпактов и показывает, что многие компакты похожи друг на друга с функциональной точки зрения. Так, в частности, все совершенные компакты имеют одинаковые булевы алгебры всех канонич. открытых множеств. Существование специальных отображений К. м. на компакты позволяет доказать, что банаховы алгебры всех непрерывных функций на двух произвольных совершенных компактах (напр., на отрезке и квадрате) линейно гомеоморфны. Далее, К. м. и возможность отобразить его на произвольный компакт лежат в основе построения многих примеров, интересных с точки зрения топологии и теории функций. Одним из них является так наз. канторова лестница- график непрерывного монотонного отображения отрезка [0, 1] на себя, производная к-рого определена и равна нулю на множестве меры 1. Хотя стандартное К. м. имеет меру нуль, существуют нигде не плотные на отрезке совершенные компакты меры, сколь угодно близкой к единице. Лит.: [1] Александров П. С, Введение в теорию множеств и общую топологию, М., 1977. В. В. Федорчук Ка́ нторово мно́ жество есть один из простейших фракталов, подмножество единичного отрезка вещественной прямой, которое является классическим примером «плохого множества» в математическом анализе. Описано в 1883 году Г. Кантором. Классическое построение Из единичного отрезка С помощью троичной записи Канторово множество может быть также определено как множество чисел от нуля до единицы, которые можно представить в троичной записи с помощью только нулей и двоек. При этом следует отметить, что число принадлежит Канторовому множеству, если у него есть одно такое представление, например Как аттрактор Рассмотрим все последовательности точек
Тогда множество пределов всех таких последовательностей является Канторовым множеством. Свойства § Канторово множество является нигде не плотным совершенным множеством. § В частности, оно замкнуто. § Канторово множество континуально. В частности, § Канторово множество не счётно § Канторово множество имеет топологическую размерность 0. § Канторово множество имеет промежуточную (т.е. не целую) Хаусдорфову размерность равную § Канторово множество имеет нулевую меру Лебега. Размерность Хаусдорфа — естественный способ определить размерность подмножества в метрическом пространстве. Размерность Хаусдорфа согласуется с нашими обычными представлениями о размерности в тех случаях, когда эти обычные представления есть. Например, в трёхмерном евклидовом пространстве хаусдорфова размерность конечного множества равна нулю, размерность гладкой кривой — единице, размерность гладкой поверхности — двум и размерность множества ненулевого объёма — трём. Для более сложных (фрактальных) множеств размерность Хаусдорфа может не быть целым числом. Определение размерности Хаусдорфа состоит из нескольких шагов. Пусть -покрытия Пусть § § для любого ] Пусть Обозначим через Очевидно, что функция
Величина [Свойства § § с точностью до умножения на коэффициент: 1-мера Хаусдорфа для гладких кривых совпадает с их длиной; 2-мера Хаусдорфа для гладких поверхностей совпадает с их площадью; § § § Значение Определение размерности Хаусдорфа Размерностью Хаусдорфа множества ]Примеры Для самоподобных множеств размерность Хаусдорфа может быть вычислена явно. Неформально говоря, если множество разбивается на § размерность множества Кантора равна § размерность треугольника Серпинского — § размерность кривой дракона — [править]Свойства размерности Хаусдорфа § Размерность Хаусдорфа любого множества не превосходит нижней и верхней размерностей Минковского. § Размерность Хаусдорфа не более чем счётного объединения множеств равна макcимуму из их размерностей. В частности, добавление счётного множества к любому множеству не меняет его размерности.
|