'''Розмірність ХаусдорфаГаусдорфа''' — природний спосіб визначати розмірність [[множина|множини ]] у(в [[метричний простір|метричному просторі]] .) Длядорівнює багатьох<math>\liminf\limits_{n\rightarrow\infty}\frac{\ln(\rho(n))}{\ln(n)}</math>, випадківде розмірність<math>\rho(n)</math> — Хаусдорфамінімальне співпадаєчисло змножин топологічною[[діаметр]]а розмірністю<math>1/n</math>, (розмірністюякими Лебега)можна покрити множину. Наприклад, у тривимірному [[евклідів простір|евклідовому просторі]] ХаусдорфоваГаусдорфова розмірність скінченної множини дорівнюєрівна нулевінулю, розмірність гладкої кривої — одиниці, розмірність гладкої поверхні — двійці і розмірність множини додатньогододатного об'єму — трьом. Для [[фрактал]]ьних множин розмірність ХаусдорфаГаусдорфа може набувати дробових значень. ▼{{Автопереклад}}
'''Розмірність Хаусдорфа''' — розмірність множини (в [[метричний простір|метричному просторі]]) дорівнює <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> може дорівнювати [[нескінченність|нескінченності]].
== Розмірність Хаусдорфа ==
[[Image:Sierpinski_deep.svg|thumb|300px|[[Трикутник Серпінського]]. Простір з фрактальною розмірністю log<sub>2</sub> 3 або ln3/ln2, що прибл. дорівнює 1.585]] ▼
▲'''Розмірність Хаусдорфа''' — природний спосіб визначати розмірність [[множина|множини]] у [[метричний простір|метричному просторі]]. Для багатьох випадків розмірність Хаусдорфа співпадає з топологічною розмірністю (розмірністю Лебега). Наприклад, у тривимірному [[евклідів простір|евклідовому просторі]] Хаусдорфова розмірність скінченної множини дорівнює нулеві, розмірність гладкої кривої — одиниці, розмірність гладкої поверхні — двійці і розмірність множини додатнього об'єму — трьом. Для [[фрактал]]ьних множин розмірність Хаусдорфа може набувати дробових значень.
▲[[ ImageФайл: Sierpinski_deepSierpinski 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>\Omega\subset \bigcup_{i\in I}\omega_i</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>M</math> називається число <math>\rho_0</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. Falconer. 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:豪斯多夫维]]
| 