Lihat sumber Dimensi Hausdorff

Dalam [[matematika]], '''dimensi Hausdorff''' adalah pengukuran dimensi suatu bangunan atau objek matematika yang bukan bernilaikan [[bilangan bulat]], atau penjelasan lebih khususnya, [[dimensi fraktal]]. Dimensi ini pertama kali diperkenalkan oleh seorang matematikawan yang bernama [[Felix Hausdorff]] pada tahun 1918.<ref>Tilmann Gneiting. ''Estimators of Fractal Dimension: Assessing the Roughness of Time Series and Spatial Data''. ''Statistical Science''. 2012. Vol. 27 (2). hlm. 247–277. doi:10.1214/11-STS370.</ref>

Lebih khusus lagi, dimensi Hausdorff adalah bilangan dimensi yang diasosiasikan dengan [[ruang metrik]], yakni himpunan yang jarak antara semua anggotanya ditentukan. Dimensi diambil dari [[Garis bilangan real yang diperluas|bilangan real yang diperluas]], <math>\overline{\mathbb{R}}</math>, berbeda dengan gagasan dimensi yang lebih intuitif, yang tidak dikaitkan dengan ruang metrik umum, dan hanya mengambil nilai dalam bilangan bulat non-negatif.

Dalam istilah matematika, dimensi Hausdorff menggeneralisasikan pengertian dimensi [[ruang vektor]] nyata. Artinya, dimensi Hausdorff dari [[Ruang produk dalam|ruang hasil kali dalam]] berdimensi ''n'' sama dengan ''n''. Hal ini mendasari pernyataan sebelumnya bahwa dimensi Hausdorff suatu titik adalah nol, suatu garis adalah satu, dan seterusnya, dan bahwa [[Fraktal|himpunan tak beraturan]] dapat mempunyai dimensi Hausdorff yang bukan bilangan bulat. Misalnya, [[kepingan salju Koch]] yang ditunjukkan di sebelah kanan dibuat dari segitiga sama sisi; pada setiap iterasi, [[ruas garis]] komponennya dibagi menjadi 3 ruas satuan panjang, ruas tengah yang baru dibuat digunakan sebagai alas segitiga [[Segitiga sama sisi|sama sisi]] baru yang mengarah ke luar, dan ruas alas ini kemudian dihapus sehingga menyisakan objek akhir dari segitiga sama sisi. iterasi satuan panjang 4.<ref>Larry Riddle, 2014, "Classic Iterated Function Systems: Koch Snowflake", Agnes Scott College e-Academy (online), see, accessed 5 March 2015.</ref> Artinya, setelah iterasi pertama, setiap ruas garis asli telah diganti dengan N=4, dengan setiap salinan serupa memiliki panjang 1/S = 1/3 dari aslinya.<ref>MacGregor Campbell, 2013, "5.6 Scaling and the Hausdorff Dimension," at ''Annenberg Learner:MATHematics illuminated'', see, accessed 5 March 2015.</ref> Dengan kata lain, kita telah mengambil sebuah benda berdimensi Euclidean, D, dan memperkecil skala liniernya sebesar 1/3 pada setiap arah, sehingga panjangnya bertambah menjadi N=S<sup>D</sup>.<ref>Keith Clayton, 1996, "Fractals and the Fractal Dimension," ''Basic Concepts in Nonlinear Dynamics and Chaos'' (workshop), Society for Chaos Theory in Psychology and the Life Sciences annual meeting, June 28, 1996, Berkeley, California, see, accessed 5 March 2015.</ref> Persamaan ini mudah diselesaikan untuk D, menghasilkan rasio logaritma (atau [[Logaritma alami|logaritma natural]] ) yang muncul pada gambar, dan memberikan—dalam kasus Koch dan kasus fraktal lainnya—dimensi non-integer untuk objek-objek ini.

Dimensi Hausdorff adalah penerus dari dimensi penghitungan kotak atau [[dimensi Minkowski–Bouligan]]d yang lebih sederhana, tetapi biasanya setara.

== Intuisi ==
Konsep intuitif dalam dimensi objek geometris ''X'' adalah jumlah parameter independen yang diperlukan untuk memilih titik unik di dalamnya. Akan tetapi, setiap titik yang ditentukan oleh dua parameter dapat ditentukan oleh satu parameter, karena [[kardinalitas]] [[Pesawat sungguhan|bidang nyata]] sama dengan kardinalitas [[Garis bilangan|garis nyata]] (hal ini dapat dilihat dari [[Argumen diagonal Cantor|argumen]] yang melibatkan penjalinan digit dari dua bilangan untuk menghasilkan satu nomor yang mengkodekan informasi yang sama). Contoh [[kurva pengisian ruang]] menunjukkan bahwa seseorang bahkan dapat memetakan garis nyata ke bidang nyata [[Fungsi surjektif|secara surjektif]] (mengambil satu [[Bilangan riil|bilangan real]] ke dalam pasangan bilangan real sedemikian rupa sehingga semua pasangan bilangan tertutup) dan ''terus menerus'', sehingga benda satu dimensi memenuhi seluruh benda berdimensi lebih tinggi.

Setiap kurva pengisian ruang mengenai beberapa titik berkali-kali dan tidak mempunyai invers kontinu. Tidak mungkin memetakan dua dimensi menjadi satu dengan cara yang kontinu dan dapat dibalik. Dimensi topologi, juga disebut [[dimensi penutup Lebesgue]], menjelaskan alasannya. Dimensi ini adalah bilangan bulat terbesar ''n'' sedemikian rupa sehingga dalam setiap penutupan ''X'' oleh bola terbuka kecil terdapat paling sedikit satu titik di mana ''n''&nbsp;+&nbsp;1 bola tumpang tindih. Misalnya, ketika seseorang menutupi suatu garis dengan interval terbuka pendek, beberapa titik harus ditutupi dua kali, sehingga memberikan dimensi&nbsp;''n''&nbsp;=&nbsp;1.

Namun dimensi topologi adalah suatu ukuran yang sangat kasar dari ukuran lokal suatu ruang (ukuran di dekat suatu titik). Sebuah kurva yang hampir memenuhi ruang tetap dapat mempunyai dimensi topologi satu, meskipun kurva tersebut memenuhi sebagian besar wilayah suatu wilayah. [[Fraktal]] memiliki dimensi topologi bilangan bulat, tetapi dalam hal jumlah ruang yang ditempatinya, fraktal berperilaku seperti ruang berdimensi lebih tinggi.

Dimensi Hausdorff mengukur ukuran lokal suatu ruang dengan mempertimbangkan jarak antar titik, [[Ruang metrik|metrik]]. Misalkan jumlah ''N'' (''r'') [[Bola pejal (matematika)|bola]] berjari-jari paling banyak ''r'' yang diperlukan untuk menutupi ''X'' seluruhnya. Ketika ''r'' sangat kecil, ''N''(''r'') tumbuh secara polinomial dengan 1/''r''. Untuk ''X'' yang berkelakuan cukup baik, dimensi Hausdorff adalah bilangan unik ''d'' sehingga N(''r'') bertambah ketika 1/''<sup>rd</sup>'' ketika ''r'' mendekati nol. Lebih tepatnya, ini mendefinisikan [[Dimensi Minkowski–Bouligan|dimensi penghitungan kotak]], yang sama dengan dimensi Hausdorff ketika nilai ''d'' adalah batas kritis antara tingkat pertumbuhan yang tidak cukup untuk menutupi ruang, dan tingkat pertumbuhan yang berlebihan.

Untuk bentuk yang halus, atau bentuk dengan jumlah sudut yang condong sedikit, merupakan bentuk geometri dan sains tradisional, dimensi Hausdorff adalah bilangan bulat yang sesuai dengan dimensi topologi. Namun [[Benoît Mandelbrot|Benoit Mandelbrot]] mengamati bahwa [[fraktal]], himpunan dengan dimensi Hausdorff noninteger, ditemukan di mana pun di alam. Dia mengamati bahwa idealisasi yang tepat dari sebagian besar bentuk kasar yang Anda lihat di sekitar Anda bukanlah dalam bentuk ideal yang halus, tetapi dalam bentuk ideal fraktal:<blockquote>Awan tidak berbentuk bola, gunung tidak berbentuk kerucut, garis pantai tidak berbentuk lingkaran, kulit tidak mulus, dan kilat tidak merambat lurus.<ref>Benoît Mandelbrot. [https://archive.org/details/fractalgeometryo00beno The Fractal Geometry of Nature]. W. H. Freeman. 1982. ISBN 0-7167-1186-9.</ref></blockquote>Untuk fraktal yang terdapat di alam, [[Dimensi Minkowski–Bouligan|dimensi Hausdorff dan penghitungan kotak]] bertepatan. [[Dimensi pengepakan]] adalah gagasan serupa lainnya yang memberikan nilai yang sama untuk banyak bentuk, tetapi ada pengecualian yang terdokumentasi dengan baik di mana semua dimensi ini berbeda.<sup class="noprint Inline-Template" style="white-space:nowrap;">&#x5B; ''[[wikipedia:Menulis artikel yang lebih baik|contoh diperlukan]]''&#x5D;</sup>

== Definisi formal ==
Definisi formal dimensi Hausdorff dicapai dengan pertama-tama mendefinisikan [[ukuran Hausdorff]] dimensi-d, analog dimensi pecahan dari [[ukuran Lebesgue]]. Pertama, [[ukuran luar]] dibuat: Let <math>X</math> menjadi [[ruang metrik]]. Jika <math>S\subset X</math> Dan <math>d\in [0,\infty)</math>,

<math>H^d_\delta(S)=\inf\left \{\sum_{i=1}^\infty (\operatorname{diam} U_i)^d: \bigcup_{i=1}^\infty U_i\supseteq S, \operatorname{diam} U_i<\delta\right \},</math>

dimana [[Infimum dan supremum|infimum]] diambil alih seluruh sampul yang dapat dihitung <math>U</math> dari <math>S</math>. Ukuran luar dimensi-d Hausdorff kemudian didefinisikan sebagai <math>\mathcal{H}^d(S)=\lim_{\delta\to 0}H^d_\delta(S)</math>, dan pembatasan pemetaan pada [[Himpunan yang tidak dapat diukur|himpunan terukur]] membenarkannya sebagai suatu ukuran, yang disebut <math>d</math> -ukuran Hausdorff dimensi.<ref>Jimmy Briggs. [https://sites.math.washington.edu/~farbod/teaching/cornell/math6210pdf/math6210Hausdorff.pdf Hausdorff Measure]. University of Washington. 3 December 2016.</ref>

=== Dimensi Hausdorff ===
'''Dimensi Hausdorff''' <math>\dim_{\operatorname{H}}{(X)}</math> dari <math>X</math> didefinisikan oleh

<math>\dim_{\operatorname{H}}{(X)}:=\inf\{d\ge 0: \mathcal{H}^d(X)=0\}.</math>

Ini sama dengan himpunan [[Infimum dan supremum|tertinggi]] dengan <math>d\in [0,\infty)</math> sedemikian rupa sehingga <math>d</math> -ukuran Hausdorff dimensi <math>X</math> tidak terbatas (kecuali ketika kumpulan angka terakhir ini <math>d</math> kosong, dimensi Hausdorff adalah nol).

=== Konten Hausdorff ===
Itu <math>d</math>-dimensi '''konten Hausdorff tak terbatas''' <math>S</math> didefinisikan oleh

<math>C_H^d(S):= H_\infty^d(S) = \inf\left \{ \sum_{k=1}^\infty (\operatorname{diam} U_k)^d: \bigcup_{k=1}^\infty U_k\supseteq S \right \}</math>

Dengan kata lain, <math>C_H^d(S)</math> memiliki konstruksi ukuran Hausdorff di mana set penutup diperbolehkan memiliki ukuran besar yang sewenang-wenang (Di sini, kami menggunakan konvensi standar bahwa [[Infimum dan supremum|<math>\inf\varnothing=\infty</math>]] ).<ref>Abel Farkas. ''On the equality of Hausdorff measure and Hausdorff content''. 30 July 2015.</ref> Ukuran Hausdorff dan konten Hausdorff keduanya dapat digunakan untuk menentukan dimensi suatu himpunan, tetapi jika ukuran himpunan tersebut bukan nol, nilai sebenarnya mungkin berbeda.

== Contoh ==
* [[Himpunan yang dapat dihitung|Himpunan terhitung]] memiliki dimensi Hausdorff 0.<ref>Dierk Schleicher. ''Hausdorff Dimension, Its Properties, and Its Surprises''. ''The American Mathematical Monthly''. June 2007. Vol. 114 (6). hlm. 509–528. doi:10.1080/00029890.2007.11920440.</ref>
* [[Ruang Euklides|Ruang Euclidean]] <math>\R^n</math> memiliki dimensi Hausdorff <math>n</math>, dan lingkaran <math>S^1</math> memiliki dimensi Hausdorff 1.<ref>Dierk Schleicher. ''Hausdorff Dimension, Its Properties, and Its Surprises''. ''The American Mathematical Monthly''. June 2007. Vol. 114 (6). hlm. 509–528. doi:10.1080/00029890.2007.11920440.</ref>
* [[Fraktal]] sering kali merupakan ruang yang dimensi Hausdorffnya melebihi [[dimensi topologi]].<ref>Benoît Mandelbrot. [https://archive.org/details/fractalgeometryo00beno The Fractal Geometry of Nature]. W. H. Freeman. 1982. ISBN 0-7167-1186-9.</ref> Misalnya, [[Set penyanyi|himpunan Cantor]], [[ruang nol dimensi|ruang topologi berdimensi nol]], adalah gabungan dari dua salinan dirinya sendiri, masing-masing salinan dikecilkan dengan faktor 1/3; maka dapat ditunjukkan bahwa dimensi Hausdorffnya adalah ln(2)/ln(3)&nbsp;≈&nbsp;0,63.<ref>Kenneth Falconer. [https://archive.org/details/fractalgeometrym0000falc_b7u9 Fractal Geometry: Mathematical Foundations and Applications]. John Wiley and Sons. 2003.</ref> [[Segitiga Sierpiński|Segitiga Sierpinski]] adalah gabungan dari tiga salinannya sendiri, yang masing-masing salinannya diperkecil sebesar faktor&nbsp;1/2; ini menghasilkan dimensi Hausdorff ln(3)/ln(2)&nbsp;≈&nbsp;1.58.<ref>MacGregor Campbell, 2013, "5.6 Scaling and the Hausdorff Dimension," at ''Annenberg Learner:MATHematics illuminated'', see, accessed 5 March 2015.</ref> Dimensi Hausdorff ini terkait dengan "eksponen kritis" [[Teorema master (analisis algoritma)|teorema Master]] untuk menyelesaikan [[Relasi perulangan|hubungan perulangan]] dalam [[analisis algoritma]].
* [[Kurva pengisian ruang]] seperti [[kurva Peano]] mempunyai dimensi Hausdorff yang sama dengan ruang yang diisinya.
* Lintasan [[gerak Brown]] pada dimensi 2 ke atas diduga merupakan Hausdorff dimensi 2.<ref>Peres Morters. ''Brownian Motion''. Cambridge University Press. 2010.</ref>

[[Lewis Goreng Richardson|Lewis Fry Richardson]] melakukan eksperimen terperinci untuk mengukur perkiraan dimensi Hausdorff untuk berbagai garis pantai. Hasilnya bervariasi dari 1,02 untuk garis pantai [[Afrika Selatan]] hingga 1,25 untuk pantai barat [[Pulau Britania Raya|Inggris Raya]].<ref>Benoît Mandelbrot. [https://archive.org/details/fractalgeometryo00beno The Fractal Geometry of Nature]. W. H. Freeman. 1982. ISBN 0-7167-1186-9.</ref>

== Sifat dimensi Hausdorff ==
Misalkan ''X'' adalah ruang metrik [[Ruang yang dapat dipisahkan|yang dapat dipisahkan]] secara sembarang. Ada pengertian [[topologi]] [[dimensi induktif]] untuk ''X'' yang didefinisikan secara rekursif. Itu selalu berupa bilangan bulat (atau +∞) dan dilambangkan dengan dim<sub>ind</sub> (''X'').

'''Teorema'''. Misalkan ''X'' tidak kosong. Kemudian

<math> \dim_{\mathrm{Haus}}(X) \geq \dim_{\operatorname{ind}}(X). </math>

Lebih-lebih lagi,

<math> \inf_Y \dim_{\operatorname{Haus}}(Y) =\dim_{\operatorname{ind}}(X), </math>

di mana ''Y'' berkisar pada ruang metrik [[Homeomorfisme|homeomorfik]] hingga ''X''. Dengan kata lain, ''X'' dan ''Y'' memiliki kumpulan titik dasar yang sama dan metrik ''d<sub>Y</sub>'' dari ''Y'' secara topologi setara dengan ''d<sub>X</sub>''.

Hasil ini awalnya dikemukakan oleh [[Edward Szpilrajn]] (1907–1976), misalnya, lihat Hurewicz dan Wallman, Bab VII.<sup class="noprint Inline-Template" style="white-space:nowrap;">&#x5B;''[[wikipedia:Kutip sumber tulisan|kutipan lengkap diperlukan]]''&#x5D;</sup>

=== Dimensi Hausdorff dan dimensi Minkowski ===
[[Dimensi Minkowski–Bouligan|Dimensi Minkowski]] mirip dengan dimensi Hausdorff, dan setidaknya sama besarnya dengan, dimensi Hausdorff, dan keduanya setara dalam banyak situasi. Namun himpunan titik [[Bilangan rasional|rasional]] pada [0, 1] memiliki dimensi Hausdorff nol dan dimensi Minkowski satu. Ada juga himpunan kompak yang dimensi Minkowskinya lebih besar daripada dimensi Hausdorff.

=== Dimensi Hausdorff dan ukuran Frostman ===
Jika ada [[Ukuran (matematika)|ukuran]] μ yang didefinisikan pada himpunan bagian [[ukuran borel|Borel]] dari ruang metrik ''X'' sehingga ''μ'' (''X'') > 0 dan ''μ'' (''B''(''x'', ''r'' )) ≤ ''r<sup>s</sup>'' berlaku untuk beberapa konstanta ''s'' > 0 dan untuk setiap bola ''B'' (''x'', ''r'') di ''X'', lalu dim<sub>Haus</sub>(''X'') ≥ ''s''. Kebalikan sebagian diberikan oleh [[lemma Frostman]].<ref>This Wikipedia article also discusses further useful characterizations of the Hausdorff dimension.</ref>

=== Perilaku di bawah serikat pekerja dan produk ===
Jika <math>X=\bigcup_{i\in I}X_i</math> adalah kesatuan yang terbatas atau dapat dihitung

<math> \dim_{\operatorname{Haus}}(X) =\sup_{i\in I} \dim_{\operatorname{Haus}}(X_i).</math>

Hal ini dapat dibuktikan langsung dari definisinya.

Jika ''X'' dan ''Y'' adalah ruang metrik tak kosong, maka dimensi Hausdorff hasil perkaliannya memenuhi<ref>Marstrand, J. M. ''The dimension of Cartesian product sets''. ''Proc. Cambridge Philos. Soc''. 1954. Vol. 50 (3). hlm. 198–202. doi:10.1017/S0305004100029236.</ref>

<math> \dim_{\operatorname{Haus}}(X\times Y)\ge \dim_{\operatorname{Haus}}(X)+ \dim_{\operatorname{Haus}}(Y).</math>

Ketimpangan ini bisa sangat parah. Dimungkinkan untuk menemukan dua himpunan berdimensi 0 yang produknya berdimensi 1.<ref>Kenneth J. Falconer. [https://archive.org/details/fractalgeometrym0000falc_b7u9 Fractal geometry. Mathematical foundations and applications]. John Wiley & Sons, Inc., Hoboken, New Jersey. 2003.</ref> Dalam arah sebaliknya, diketahui bahwa ketika ''X'' dan ''Y'' merupakan [[himpunan bagian]] Borel dari '''R''' <sup>''n''</sup>, dimensi Hausdorff dari ''X'' × ''Y'' dibatasi dari atas oleh dimensi Hausdorff dari ''X'' ditambah [[Dimensi pengepakan|dimensi pengepakan atas]] dari ''Y''. Fakta-fakta ini dibahas dalam Mattila (1995).

== Lihat juga ==
* [[Dimensi fraktal]]
* [[Kurva naga]]
* [[Spons Menger]]
* [[Kubus satuan]]
* [[Karpet Sierpiński|Karpet Sierpinski]]

== Referensi ==
<references />

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Dimensi+Hausdorff&oldid=29211899 Wikipedia bahasa Indonesia], revisi 29211899 (2026-05-10T18:09:03Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

<!-- WIKI_UNISSULA_PRESENTATION_V4 -->