हॉसडॉर्फ आयाम

गणित में, हॉसडॉर्फ आयाम 'खुरदरापन', या अधिक विशेष रूप से, फ्रैक्टल आयाम का एक माप है, जिसे पहली बार 1918 में गणितज्ञ   फ़ेलिक्स हॉसडॉर्फ़  द्वारा पेश किया गया था। उदाहरण के लिए, एक  बिंदु (ज्यामिति)  का हॉसडॉर्फ आयाम शून्य है, एक  रेखा खंड  का 1 है, एक  वर्ग का 2 है, और एक घन का 3 है। यानी, उन बिंदुओं के सेट के लिए जो एक समतल आकृति या एक आकार को परिभाषित करते हैं जिसमें कोनों की संख्या छोटी होती है - पारंपरिक ज्यामिति और विज्ञान के आकार- हॉसडॉर्फ आयाम आयाम की सामान्य भावना से सहमत एक  पूर्णांक  है, जिसे  आगमनात्मक आयाम  भी कहा जाता है। हालांकि, सूत्र भी विकसित किए गए हैं जो अन्य कम सरल वस्तुओं के आयाम की गणना की अनुमति देते हैं, जहां पूरी तरह से प्रवर्धन  और आत्म-समानता के उनके गुणों के आधार पर यह निष्कर्ष निकाला जाता है कि विशेष वस्तुएं- भग्न  सहित - गैर-पूर्णांक हॉसडॉर्फ आयाम हैं।  अब्राम समोइलोविच बेसिकोविच  द्वारा महत्वपूर्ण तकनीकी प्रगति के कारण अत्यधिक अनियमित या मोटे सेट के लिए आयामों की गणना की अनुमति देना, इस आयाम को सामान्यतः पर हॉसडॉर्फ-बेसिकोविच आयाम के रूप में भी जाना जाता है।

अधिक विशेष रूप से, हॉसडॉर्फ आयाम एक मात्रिक स्थान से एक आयामी संख्या है, अर्थात् एक सेट जहां सभी सदस्यों के बीच की दूरी परिभाषित की जाती है। आयाम  विस्तारित वास्तविक संख्या रेखा  से खींचा गया है, $$\overline{\mathbb{R}}$$, आयाम की अधिक सहज धारणा के विपरीत, जो सामान्य मात्रिक रिक्त स्थान से संबद्ध नहीं है, और केवल गैर-ऋणात्मक मूल्यों में मान लेता है।

गणितीय शब्दों में, हॉसडॉर्फ आयाम एक वास्तविक सदिश स्थान के आयाम की धारणा को सामान्य करता है। अर्थात्, n-आयामी आंतरिक उत्पाद स्थान  का हॉसडॉर्फ आयाम n के बराबर होता है। यह पहले के कथन को रेखांकित करता है कि एक बिंदु का हॉसडॉर्फ आयाम शून्य है, एक रेखा का एक है, आदि, और उस फ्रैक्टल में गैर-पूर्णांक हॉसडॉर्फ आयाम हो सकते हैं। उदाहरण के लिए, दाईं ओर दिखाया गया कॉख हिमकण एक समबाहु त्रिभुज से निर्मित है; प्रत्येक पुनरावृत्ति में, इसके घटक रेखा खंडों को एकांक लंबाई के 3 खंडों में विभाजित किया जाता है, नव निर्मित मध्य खंड का उपयोग एक नए समबाहु त्रिभुज के आधार के रूप में किया जाता है जो बाहर की ओर इंगित करता है, और 4 की इकाई लंबाई का पुनरावृति इस आधार खंड को फिर से एक अंतिम वस्तु छोड़ने के लिए हटा दिया जाता है। अर्थात्, पहले पुनरावृत्ति के बाद, प्रत्येक मूल रेखा खंड को N=4 से बदल दिया गया है, जहां प्रत्येक स्व-समान प्रतिलिपि मूल के रूप में 1/S = 1/3 है। दूसरे तरीके से वर्णन किया गया है, हमने यूक्लिडियन आयाम, D के साथ एक वस्तु ली है, और प्रत्येक दिशा में इसके रैखिक पैमाने को 1/3 कम कर दिया है, ताकि इसकी लंबाई बढ़कर N=SD हो जाए।

इस समीकरण को D के लिए आसानी से हल किया जाता है, आंकड़ों में दिखाई देने वाले लघुगणक (या प्राकृतिक लघुगणक ) के अनुपात की उपज, और कॉख और अन्य आंशिक मामलों में-इन वस्तुओं के लिए गैर-पूर्णांक आयाम देना।

हॉसडॉर्फ आयाम सरल, लेकिन सामान्यतः पर समकक्ष, पेटी-गणना या मिंकोव्स्की-बौलिगैंड आयाम का उत्तराधिकारी है।

अन्तर्ज्ञान
एक ज्यामितीय वस्तु X के आयाम की सहजज्ञ अवधारणा स्वतंत्र मापदंडों की संख्या है जिसे किसी को अंदर एक अद्वितीय बिंदु चुनने की आवश्यकता होती है। तथापि, दो मापदंडों द्वारा विनिर्दिष्ट किसी भी बिंदु को इसके बजाय एक द्वारा विनिर्दिष्ट किया जा सकता है, क्योंकि वास्तविक समतल के गणनांक वास्तविक रेखा के गणनांक के बराबर है (इसे कैंटर के विकर्ण तर्क द्वारा देखा जा सकता है जिसमें दो नंबरों के अंकों को अंतर्गुफन करना शामिल है। जो की एक ही जानकारी को कूटबद्ध करता है)। एक स्थल-भरण वक्र के उदाहरण से पता चलता है कि कोई भी वास्तविक रेखा को वास्तविक तल पर प्रक्षेपित फलन के लिए प्रतिचित्र कर सकता है (एक वास्तविक संख्या को वास्तविक संख्याओं की एक जोड़ी में इस तरह से लेना कि सभी संख्याओं के जोड़ों को कवर किया जाए) और लगातार, इसलिए कि एक आयामी वस्तु एक उच्च-आयामी वस्तु को पूर्ण तरह से भर दे।

प्रत्येक स्थान-भरने वाला वक्र कुछ बिंदुओं पर कई बार प्रहार करता है और इसमें निरंतर प्रतीलोम नहीं होता है। दो आयामों को एक पर इस तरह से प्रतिचित्र करना असंभव है जो निरंतर और लगातार उल्टा हो। सांस्थितिक परिमाप जिसे लेबेस्ग्यू कवरिंग आयाम भी कहा जाता है, बताता है कि क्यों। यह आयाम सबसे बड़ा पूर्णांक n है जैसे कि छोटी खुली गेंदों द्वारा X के प्रत्येक आवरण में कम से कम एक बिंदु होता है जहाँ n + 1 गेंदें अधिव्यापन होती हैं। उदाहरण के लिए, जब कोई छोटे खुले अंतराल के साथ एक रेखा को समाविष्ट करता है, तो कुछ बिंदुओं को आयाम n = 1 देते हुए दो बार समाविष्ट किया जाना चाहिए।

लेकिन सांस्थितिक आयाम एक स्थान के स्थानीय आकार (एक बिंदु के पास आकार) का एक बहुत ही अशोधित माप है। एक वक्र जो लगभग स्थान-भरने वाला है, अभी भी सांस्थितिक आयाम एक हो सकता है, भले ही वह किसी क्षेत्र के अधिकांश क्षेत्र को भरता हो। एक आंशिक में एक पूर्णांक सांस्थितिक आयाम होता है, लेकिन समष्टि की मात्रा के संदर्भ में, यह एक उच्च-आयामी स्थान की तरह व्यवहार करता है।

हॉसडॉर्फ आयाम, अंकों के बीच की दूरी, मापीय स्थान को ध्यान में रखते हुए स्थान के समष्टि आकार को मापता है। त्रिज्या की गेंद (गणित)  की संख्या N(r) पर विचार करें, जो X को पूरी तरह से कवर करने के लिए आवश्यक है। जब r बहुत छोटा होता है, N(r) 1/r के साथ बहुपदीय रूप से बढ़ता है। पर्याप्त रूप से अच्छी तरह से व्यवहार किए गए X लिए, हॉसडॉर्फ आयाम अद्वितीय संख्या d है जैसे कि N(r) 1/rd के रूप में बढ़ता है जैसे ही r शून्य के करीब पहुंचता है। यथावत्, यह पेटी-गणन आयाम को परिभाषित करता है, जो हॉसडॉर्फ आयाम के बराबर होता है, जब मूल्य d विकास दर के बीच एक महत्वपूर्ण सीमा होती है जो समष्टि समाविष्ट करने के लिए अपर्याप्त होती है, और विकास दर जो अत्यधिक होती है।

उन आकृतियों के लिए जो निर्बाध हैं, या कम संख्या में कोनों वाली आकृतियों के लिए, पारंपरिक ज्यामिति और विज्ञान के आकार, हॉसडॉर्फ आयाम सांस्थितिक आयाम से सहमत एक पूर्णांक है। लेकिन बेनोइट मंडेलब्रोट ने देखा कि आंशिक, गैर-पूर्णांक हॉसडॉर्फ आयामों के साथ श्रेणी, प्रकृति में हर जगह पाए जाते हैं। उन्होंने देखा कि आपके द्वारा अपने आस-पास दिखाई देने वाली अधिकांश खुरदरी आकृतियों का उचित आदर्शीकरण निर्बाध आदर्शीकृत आकृतियों के संदर्भ में नहीं है, बल्कि भग्न आदर्शित आकृतियों के संदर्भ में है:

बादल गोल नहीं हैं, पहाड़ शंकु नहीं हैं, समुद्र तट वृत्त नहीं हैं, और छाल निर्बाध नहीं है, और न ही बिजली एक सीधी रेखा में यात्रा करती है।

प्रकृति में होने वाले भग्न के लिए, हॉसडॉर्फ और मिंकोव्स्की-बौलिगैंड आयाम | बॉक्स-गिनती आयाम मेल खाते हैं। पैकिंग आयाम अभी तक एक और समान धारणा है जो कई आकारों के लिए समान मूल्य देता है, लेकिन अच्छी तरह से प्रलेखित अपवाद हैं जहां ये सभी आयाम भिन्न होते हैं।

औपचारिक परिभाषा
हॉसडॉर्फ आयाम की औपचारिक परिभाषा पहले हॉसडॉर्फ माप को परिभाषित करके प्राप्त की जाती है, जो लेबेस्ग माप का एक भिन्न-आयाम समधर्मी है। सबसे पहले, एक बाहरी माप का निर्माण किया जाता है: मान लीजिए कि X एक मीट्रिक स्थल है। अगर S ⊂ X and d ∈ [0, ∞),


 * $$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 \},$$

जहां सभी न्यूनतम कवरों पर सबसे अधिक लिया जाता है Ui S। हॉसडॉर्फ बाहरी माप को तब इस तरह परिभाषित किया जाता है $$\mathcal{H}^d(S)=\lim_{\delta\to 0}H^d_\delta(S)$$, और गैर मानपीय सेटों के लिए मानचित्रण का प्रतिबंध इसे एक माप के रूप में सही ठहराता है, जिसे D-आयामी हॉसडॉर्फ माप कहा जाता है।

हॉसडॉर्फ आयाम
हॉसडॉर्फ आयाम $$\dim_{\operatorname{H}}{(X)}$$ एक्स के द्वारा परिभाषित किया गया है।

यह d ∈ [0, ∞) के समुच्चय के सर्वोच्च के समान है, जैसे कि X का d-आयामी हौसडॉर्फ माप अनंत है (सिवाय इसके कि जब संख्याओं का यह बाद वाला सेट खाली है तो हौसडॉर्फ आयाम शून्य है)।

हॉसडॉर्फ सामग्री
S की d-आयामी 'असीमित हॉसडॉर्फ सामग्री' द्वारा परिभाषित की गई है
 * $$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 \}$$

दूसरे शब्दों में, $$C_H^d(S)$$ हौसडॉर्फ माप का निर्माण किया है जहां कवरिंग सेटों को स्वेच्छा से बड़े आकार की अनुमति है (यहां, हम मानक सम्मेलन का उपयोग करते हैं कि inf Ø = ∞)। हौसडॉर्फ माप और हौसडॉर्फ सामग्री दोनों का उपयोग एक सेट के आयाम को निर्धारित करने के लिए किया जा सकता है, लेकिन यदि सेट का माप गैर-शून्य है, तो उनके वास्तविक मान असहमत हो सकते हैं।

उदाहरण
* गणनीय सेट  में हॉसडॉर्फ आयाम 0 है। ब्रिटेन का तट कितना लंबा है, के हॉसडॉर्फ आयाम का अनुमान लगाना? सांख्यिकीय स्व-समानता और भिन्नात्मक आयाम
 * यूक्लिडियन स्पेस में हॉसडॉर्फ ℝn आयाम n है, और वृत्त S1 है में हॉसडॉर्फ आयाम 1 है। *
 * भग्न अक्सर ऐसे स्थान होते हैं जिनका हॉसडॉर्फ आयाम सख्ती से सांस्थितिक आयाम  से अधिक होता है। उदाहरण के लिए,  कैंटर सेट, एक  शून्य-आयामी स्थान |शून्य-आयामी ट स्पेस, स्वयं की दो प्रतियों का एक संघ है, प्रत्येक प्रतिलिपि एक कारक 1/3 से सिकुड़ जाती है; इसलिए, यह दिखाया जा सकता है कि इसका हॉसडॉर्फ आयाम ln(2)/ln(3) ≈ 0.63 है। सिएरपिंस्की त्रिभुज स्वयं की तीन प्रतियों का एक संघ है, प्रत्येक प्रतिलिपि 1/2 के कारक से सिकुड़ती है; इससे ln(3)/ln(2) ≈ 1.58 का हॉसडॉर्फ आयाम प्राप्त होता है। ये हॉसडॉर्फ आयाम एल्गोरिदम के विश्लेषण में  पुनरावृत्ति संबंध  को हल करने के लिए कुशल प्रमेय (एल्गोरिदम का विश्लेषण ) के महत्वपूर्ण घातांक से संबंधित हैं।
 * पीनो कर्व्स की तरह समष्टि-भरण घटता में हॉसडॉर्फ आयाम समान होता है, जैसा कि वे स्पेस को भरते हैं।
 * आयाम 2 और उससे अधिक में ब्राउनियन गति  के प्रक्षेपवक्र को हॉसडॉर्फ आयाम 2 माना जाता है।
 * लुईस फ्राई रिचर्डसन ने विभिन्न समुद्र तटों के लिए अनुमानित हॉसडॉर्फ आयाम को मापने के लिए विस्तृत प्रयोग किए हैं। उनके परिणाम  दक्षिण अफ्रीका  के समुद्र तट के लिए 1.02 से लेकर  ग्रेट ब्रिटेन  के पश्चिमी तट के लिए 1.25 तक भिन्न हैं।

हॉसडॉर्फ आयाम और आगमनात्मक आयाम
एक्स को एक स्वेच्छाचारी वियोज्य स्पेस मात्रिक समष्टि होने दें। एक्स के लिए आगमनात्मक आयाम की एक सांस्थितिक धारणा है जिसे पुनरावर्ती रूप से परिभाषित किया गया है। यह हमेशा एक पूर्णांक (या +∞) होता है और इसे dim. के रूप में दर्शाया जाता हैind(एक्स)।

'प्रमेय'। मान लीजिए X खाली नहीं है। फिर
 * $$ \dim_{\mathrm{Haus}}(X) \geq \dim_{\operatorname{ind}}(X). $$

इसके अतिरिक्त,
 * $$ \inf_Y \dim_{\operatorname{Haus}}(Y) =\dim_{\operatorname{ind}}(X), $$

जहां Y मीट्रिक रिक्त स्थान पर समरूपता से X तक होता है। दूसरे शब्दों में, X और Y में बिंदुओं का एक ही अंतर्निहित सेट होता है और मीट्रिक dY Y का टोपोलॉजिकल रूप से dX के बराबर है ।

ये परिणाम मूल रूप से एडवर्ड स्ज़पिलराजन  (1907-1976) द्वारा स्थापित किए गए थे, उदाहरण के लिए, ह्यूरविक्ज़ और वॉलमैन, अध्याय VII देखें।

हॉसडॉर्फ आयाम और मिंकोव्स्की आयाम
मिंकोव्स्की आयाम हॉसडॉर्फ आयाम के समान है, और कम से कम उसके जितना बड़ा है, और वे कई स्थितियों में समान हैं। हालांकि, [0, 1] में परिमेय संख्या  बिंदुओं के सेट में हॉसडॉर्फ आयाम शून्य और मिंकोव्स्की आयाम एक है। ऐसे कॉम्पैक्ट सेट भी हैं जिनके लिए मिंकोव्स्की आयाम हॉसडॉर्फ आयाम से सख्ती से बड़ा है।

हॉसडॉर्फ आयाम और फ्रॉस्टमैन उपाय
यदि एक मीट्रिक स्पेस X के बोरेल माप उपसमुच्चय पर परिभाषित एक माप (गणित)  μ है, जैसे कि μ(X) > 0 और μ(B(x, r)) rs कुछ स्थिर s > 0 के लिए और X में प्रत्येक गेंद B(x, r) के लिए होल्ड करता है, फिर मंदHaus(एक्स) एस। फ्रॉस्टमैन लेम्मा द्वारा आंशिक बातचीत प्रदान की जाती है।

यूनियनों और उत्पादों के तहत व्यवहार
यदि $$X=\bigcup_{i\in I}X_i$$ एक संकुचित या गणनीय संघ है, तो


 * $$ \dim_{\operatorname{Haus}}(X) =\sup_{i\in I} \dim_{\operatorname{Haus}}(X_i).$$

इसे सीधे परिभाषा से सत्यापित किया जा सकता है।

यदि X और Y गैर-रिक्त मीट्रिक रिक्त स्थान हैं, तो उनके उत्पाद का हॉसडॉर्फ आयाम संतुष्ट करता है
 * $$ \dim_{\operatorname{Haus}}(X\times Y)\ge \dim_{\operatorname{Haus}}(X)+ \dim_{\operatorname{Haus}}(Y).$$

यह असमानता सख्त हो सकती है। आयाम 0 के दो सेट खोजना संभव है जिनके उत्पाद का आयाम 1 है। विपरीत दिशा में, यह भी ज्ञात है कि X और Y 'R'n के बोरेल उपवर्ग हैं।  X × Y का हॉसडॉर्फ आयाम ऊपर से X के हॉसडॉर्फ आयाम और Y के संकुल आयाम से घिरा है। इन तथ्यों की चर्चा मैटिला (1995) में की गई है।

स्व-समान सेट
स्व-समानता की स्थिति द्वारा परिभाषित कई सेटों में आयाम होते हैं जिन्हें स्पष्ट रूप से निर्धारित किया जा सकता है। स्थूलतः, एक सेट E स्व-समान है यदि यह एक सेट-मूल्यवान परिवर्तन ψ का निश्चित बिंदु है, जो कि (E) = E है, यद्यपि सटीक परिभाषा नीचे दी गई है।

'प्रमेय'। मान लीजिए


 * $$ \psi_i: \mathbf{R}^n \rightarrow \mathbf{R}^n, \quad i=1, \ldots, m $$

Rn पर संकुचन मानचित्रण मानचित्रण हैं संकुचन स्थिरांक rj <1के साथ. फिर एक अद्वितीय गैर-रिक्त कॉम्पैक्ट सेट ए ऐसा है कि


 * $$ A = \bigcup_{i=1}^m \psi_i (A). $$

प्रमेय स्टीफन बानाच  के  संविदात्मक मानचित्रण प्रमेय  से अनुसरण करता है जो आर के गैर-रिक्त कॉम्पैक्ट उपसमुच्चय के पूर्ण मीट्रिक स्थान पर लागू होता हैn  हॉसडॉर्फ दूरी  के साथ।

खुले सेट की स्थिति
स्व-समान सेट A (कुछ मामलों में) के आयाम को निर्धारित करने के लिए, हमें संकुचन के अनुक्रम पर एक तकनीकी स्थिति की आवश्यकता होती है जिसे ओपन सेट कंडीशन (OSC) कहा जाता हैi.

एक अपेक्षाकृत कॉम्पैक्ट ओपन सेट V है जैसे कि


 * $$ \bigcup_{i=1}^m\psi_i (V) \subseteq V, $$

जहां बाईं ओर संघ में सेट जोड़ीदार असंबद्ध से हैं।

खुले सेट की स्थिति एक पृथक्करण स्थिति है जो छवियों को सुनिश्चित करती हैi(V) की बहुत अधिक ओवरलैप न करें।

'प्रमेय'। मान लीजिए कि खुले सेट की स्थिति है और प्रत्येकi एक समानता है, जो किसी बिंदु के चारों ओर एक समदूरीकता और एक  विस्फारण की संरचना है। तब का अद्वितीय निश्चित बिंदु एक ऐसा समुच्चय है जिसका हॉसडॉर्फ आयाम s है जहाँ s का अद्वितीय हल है
 * $$ \sum_{i=1}^m r_i^s = 1. $$

एक समानता का संकुचन गुणांक फैलाव का परिमाण है।

सामान्य तौर पर, एक सेट E जो मानचित्रण का एक निश्चित बिंदु है


 * $$ A \mapsto \psi(A) = \bigcup_{i=1}^m \psi_i(A) $$

स्व-समान है यदि और केवल यदि प्रतिच्छेदन


 * $$ H^s\left(\psi_i(E) \cap \psi_j(E)\right) =0, $$

जहाँ s ,E का हॉसडॉर्फ आयाम है और Hs हॉसडॉर्फ माप को दर्शाता है। यह सीरपिंस्की गैसकेट  के मामले में स्पष्ट है (प्रतिच्छेदन

'प्रमेय'। पिछले प्रमेय क  समान शर्तों के तहत, काअद्वितीय निश्चित बिंदु स्व-समान है।

यह भी देखें

 * हॉसडॉर्फ आयाम द्वारा भग्नों की सूची नियतात्मक भग्न, यादृच्छिक और प्राकृतिक भग्न के उदाहरण।
 * असौड आयाम, फ्रैक्टल आयाम का एक और रूपांतर, जो हॉसडॉर्फ आयाम की तरह, गेंदों द्वारा कवरिंग का उपयोग करके परिभाषित किया गया है
 * आंतरिक आयाम
 * पैकिंग आयाम
 * भग्न आयाम

अग्रिम पठन

 * Several selections from this volume are reprinted in See chapters 9,10,11
 * Several selections from this volume are reprinted in See chapters 9,10,11
 * Several selections from this volume are reprinted in See chapters 9,10,11
 * Several selections from this volume are reprinted in See chapters 9,10,11
 * Several selections from this volume are reprinted in See chapters 9,10,11
 * Several selections from this volume are reprinted in See chapters 9,10,11
 * Several selections from this volume are reprinted in See chapters 9,10,11

बाहरी संबंध

 * Hausdorff dimension at Encyclopedia of Mathematics
 * Hausdorff measure at Encyclopedia of Mathematics