'''Розмірність ХаусдорфаГаусдорфа''' — розмірність множини (в [[метричний простір|метричному просторі]]) дорівнює <math>\liminf\limits_{n\rightarrow\infty}\frac{\ln(\rho(n))}{\ln(n)}</math>, де <math>\rho(n)</math> — мінімальне число множин [[діаметр|діаметру]]а <math>1/n</math>, якими можна покрити множину. РозмірністьНаприклад, у тривимірному [[Гаусдорфевклідів Фелікспростір|Хаусдорфаевклідовому просторі]] неГаусдорфова визначенарозмірність дляскінченної необмеженихмножини множин.рівна Навітьнулю, длярозмірність обмеженихгладкої кривої — одиниці, розмірність гладкої поверхні — двійці і розмірність множини додатного об'єму — трьом. Для [[фрактал]]ьних множин деякерозмірність <math>\rho(n)</math>Гаусдорфа може дорівнюватинабувати дробових нескінченностізначень.
[[Файл:Sierpinski deep.svg|thumb|300px|[[Трикутник Серпінського]]. Простір з фрактальною розмірністю log<sub>2</sub> 3 або ln3/ln2, що прибл. дорівнює 1.585]]
== Розмірність Гаусдорфа ==
'''Розмірність Гаусдорфа''' — природний спосіб визначати розмірність [[множина|множини]] у [[метричний простір|метричному просторі]]. Для багатьох випадків розмірність Гаусдорфа співпадає з топологічною розмірністю (розмірністю Лебега). Наприклад, у тривимірному [[евклідів простір|евклідовому просторі]] Гаусдорфова розмірність скінченної множини дорівнює нулеві, розмірність гладкої кривої — одиниці, розмірність гладкої поверхні — двійці і розмірність множини додатнього об’єму — трьом. Для [[фрактал|фрактальних]] множин розмірність Гаусдорфа може набувати дробових значень.
=== Означення ===
ВизначенняОзначення розмірності Гаусдорфа складається з декількох кроків. Нехай <math>M</math> — [[обмежена множина]] у метричному просторі <math>X</math>. Наприклад, нехай <math>X = R^n</math>.
=== <math>\delta</math>-покриття ===
Нехай <math>\delta>0, \delta\in R</math>.
Не більш ніж зліченну сім’юсім'ю <math>\{ U_i \}_{i \in I}</math> підмножин простору <math>X</math> будемо називати <math>\delta</math>-покриттям множини <math>M</math>, якщо виконуються наступнітакі дві властивості:
* <math>\OmegaM \subset \bigcup_{i\in I}\omega_i U_i </math>
* для всіх <math>i\in I</math> [[діаметр]] <math>\text{diam } U_i < \delta</math> (для всіх <math>i\in I</math> [[діаметр]] множин <math>U_i</math> менший за <math>\delta</math>. ▼
*<math>M \subset \bigcup_{i\in I} U_i </math>
▲*для всіх <math>i\in I</math> [[діаметр]] <math>\text{diam } U_i < \delta</math> (для всіх <math>i\in I</math> [[діаметр]] множин <math>U_i</math> менший за <math>\delta</math>.
=== ρ-міра Гаусдорфа ===
Нехай <math>\rho>0</math>. Нехай <math>\Theta=\{U_i\}_{i\in I}</math> — покриття множини <math>M</math>. Визначимо наступну функцію, яка в деякому плані визначає розмір цього покриття: <math>F_\rho(\Theta):=\sum\limits_{i\in I} (\operatorname{diam}\,U_i)^\rho</math>. Позначимо через <math>M^{\delta}_{\rho}(M)</math> «мінімальний розмір» <math>{\delta}</math>-покриття множини <math>M</math>: <math>M^{\delta}_{\rho}(M) := \inf(F_\rho(\Theta))</math>, де инфимум[[інфімум]] береться по всімвсіх <math>\delta</math>-покриттях множини <math>M</math>. Очевидно, що функція <math>M^{\delta}_{\rho}(M) </math> убуваєспадає по <math>\delta</math>. Отже, у неї є кінцеваскінченна або нескінченна межаграниця при <math>\delta\rightarrow 0</math>: <math>M_{\rho}(M)=\lim\limits_{\delta\rightarrow 0+}M^{\delta}_{\rho}(M) </math>. Величина <math>M_{\rho}(M)</math> називається <math>\rho</math>-мірою Гаусдорфа множини <math>M</math>.
=== Властивості ρ-міри Гаусдорфа ===
* <math>\rho</math>-міра Гаусдорфа є борелевскойборелівською [[міра множини|мероймірою]] на <math>X</math>.
* з точністю до множення на коефіцієнт: 1-міра Гаусдорфа для гладких кривих збігається з їх довжиною; 2-міра Гаусдорфа для гладких поверхонь збігається з їх площею; <math>d</math>- міра Гаусдорфа безлічеймножин у <math>\mathbb{R}^d</math> збігається з їхнійїхнім <math>d</math>-мірним обсягомоб'ємом.
* <math>M_{\rho}(M)</math> убуваєспадає по <math>\rho</math>. Більш того для будь-якої множини <math>M</math> існує критичне значення <math>\rho_0</math>, таке, що:
** <math>M_{\rho}(M)=0 </math> для всіх <math>\rho>\rho_0</math>
** <math>M_{\rho}(M)=+\infty </math> для всіх <math>\rho<\rho_0</math> Значення <math>M_{\rho_0}(M)</math> може бути нульовим, кінцевскінченним або нескінченним.
=== Визначення розмірності Гаусдорфа ===
== Властивості розмірності Гаусдорфа ==
* Розмірність Гаусдорфа будь-якої множини не перевершуєбільша нижняза інижню верхньоїта верхню [[розмірність МинковскогоМінковського|размерностейрозмірності МинковскогоМінковського]].
* Розмірність Гаусдорфа не більш ніж рахунковогозліченного [[об'єднання безлічеймножин]] дорівнює максимумовімаксимальній зрозмірності їхоб'єднаних размерностеймножин. Зокрема, додавання [[рахунковезліченна множина|счетногозліченної множини]] до будь-якої множини не змінює йогоїї розмірності.
* Для самоподібних безлічеймножин розмірність Гаусдорфа може бути обчислена явно. Неформально говорячи, якщо безлічмножина розбивається на <math>n</math> частин, подібних до вихідної множини з коефіцієнтами <math>r_1,r_2,\dots,r_n</math>, тето йогоїї розмірність <math>s</math> є рішеннямрозв'язком рівняння <math>r_1^s+r_2^s+\dots+r_n^s = 1</math>. Наприклад, розмірність [[безлічмножина Кантора|множини Кантора]] дорівнює <math>\ln2/\ln3</math> (розбивається на двохдві частинчастини, коефіцієнт подобиподібності 1/3), а розмірність [[трикутник СерпинскогоСерпінського|треугольникатрикутника СерпинскогоСерпінського]] — <math>\ln3/\ln2</math> (розбивається на 3 частини, коефіцієнт подобиподібності 1/2).
== ДивітьсяДив. також ==
{{Портал|Математика}}
* [[Розмірність Лебега]]
* [[Розмірність Мінковського]]
== Література ==
* {{cite book |title = Фракталы |author = Федер Е. |isbn = 5-03-001712-7 |pages = 254 |year = 1991 |місце = М. |видавництво = МИР }}
== Джерела інформації ==
* Бенуа Мандельброт. Фрактальна геометрія природи.
* А. Морозов. Введение в теорию фракталов.
А.* МорозовПайтген Х. О. Рихтер Введение в теориюП. Х. Красота фракталов.
* Кроновер Р. М. Фракталы и хаос в динамических системах ▼
* Божокин С. В. Паршин Д. А. Фракталы и мультифракталы. ▼
Пайтген Х.О. Рихтер П.Х. Красота фракталов.
* K.I. FalconezFalconer. Fractal Geometry: Mathematical Foundations and Applications. ▼
* Федер Е. Фракталы. — М.: МИР, 1991. — С. 254. — ISBN 5-03-001712-7 ▼
▲Кроновер Р.М. Фракталы и хаос в динамических системах
{{Фрактали}}
{{Багатовимірність}}
▲Божокин С.В. Паршин Д.А. Фракталы и мультифракталы.
▲K.I. Falconez. Fractal Geometry: Mathematical Foundations and Applications.
▲Федер Е. Фракталы. — М.: МИР, 1991. — С. 254. — ISBN 5-03-001712-7
{{Помилки}}
{{Math-stub}}
[[Категорія:Функціональний аналіз]]
[[Категорія:Теорія множин]] ▼
[[Категорія:Метрична геометрія]]
[[Категорія:Теорія розмірності]]
▲[[Категорія: Теорія множинФрактали]]
[[bg:Хаусдорфова размерност]]
[[cs:Hausdorffova míra]]
[[de:Hausdorff-Dimension]]
[[en:Hausdorff dimension]]
[[fi:Hausdorffin mitta]]
[[fr:Dimension de Hausdorff]]
[[he:ממד האוסדורף]]
[[it:Dimensione di Hausdorff]]
[[pl:Wymiar Hausdorffa]]
[[pt:Dimensão de Hausdorff]]
[[ro:Dimensiune Hausdorff]]
[[ru:Размерность Хаусдорфа]]
[[sl:Hausdorff-Bezikovičeva razsežnost]]
[[sv:Hausdorffdimension]]
[[ur:ہاسڈارف بُعد]]
[[zh:豪斯多夫维]]
[[bg:Гаусдорфова размерност]] [[cs:Hausdorffova míra]] [[de:Hausdorff-Dimension]] [[en:Hausdorff dimension]] [[fr:Dimension de Hausdorff]] [[it:Dimensione di Hausdorff]] [[he:ממד האוסדורף]] [[pl:Wymiar Hausdorffa]] [[pt:Dimensão de Hausdorff]] [[sl:Hausdorff-Bezikovičeva razsežnost]] [[fi:Hausdorffin mitta]] [[sv:Hausdorffdimension]] [[ur:ہاسڈارف بُعد]] [[zh:豪斯多夫维]]
|