हॉसडॉर्फ़ आयाम: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{short description|Invariant}} | {{short description|Invariant}} | ||
[[File:KochFlake.svg|thumb|upright=1.25|गैर-पूर्णांक आयामों का उदाहरण. [[ कोच बर्फ के टुकड़े ]] के | [[File:KochFlake.svg|thumb|upright=1.25|गैर-पूर्णांक आयामों का उदाहरण. [[ कोच बर्फ के टुकड़े ]] के पसमाधाने चार पुनरावृत्तियाँ, जहाँ प्रत्येक पुनरावृत्ति के पश्चात, सभी मूल रेखा खंडों को चार से बदल दिया जाता है, प्रत्येक स्व-समान प्रतिलिपि है जो मूल की लंबाई का 1/3 है। हॉसडॉर्फ आयाम की औपचारिकता आयाम, डी की गणना करने के लिए स्केल फैक्टर (एस = 3) और स्व-समान वस्तुओं की संख्या (एन = 4) का उपयोग करती है, पसमाधाने पुनरावृत्ति के पश्चात डी = (लॉग एन)/(लॉग एस) = (लॉग 4)/(लॉग 3) ≈ 1.26।<ref name="CampbellAnnenberg15">MacGregor Campbell, 2013, "5.6 Scaling and the Hausdorff Dimension," at ''Annenberg Learner:MATHematics illuminated'', see [http://www.learner.org/courses/mathilluminated/units/5/textbook/06.php], accessed 5 March 2015.</ref>]]गणित में, '''हॉसडॉर्फ़ आयाम''' रफ़नेस, या अधिक विशेष रूप से, फ्रैक्टल आयाम का माप है, जिसे 1918 में [[गणितज्ञ]] [[फ़ेलिक्स हॉसडॉर्फ़]] द्वारा प्रस्तुत किया गया था।<ref>{{Cite journal |arxiv = 1101.1444|doi = 10.1214/11-STS370|title = Estimators of Fractal Dimension: Assessing the Roughness of Time Series and Spatial Data|journal = Statistical Science|volume = 27|issue = 2|pages = 247–277|year = 2012|last1 = Gneiting|first1 = Tilmann|last2 = Ševčíková|first2 = Hana|last3 = Percival|first3 = Donald B.|s2cid = 88512325}}</ref> उदाहरण के लिए, [[बिंदु (ज्यामिति)]] का हॉसडॉर्फ आयाम शून्य है, [[रेखा खंड]] का 1 है, [[वर्ग]] का 2 है, और घन का 3 है। अर्थात, बिंदुओं के समुच्चय के लिए स्मूथ आकृति को परिभाषित करते हैं जिसमें कोनों की छोटी संख्या होती है- पारंपरिक ज्यामिति और विज्ञान के आकार- हॉसडॉर्फ आयाम [[पूर्णांक]] है जो आयाम की सामान्य भावना से सहमत होता है, जिसे [[आगमनात्मक आयाम]] के रूप में भी जाना जाता है। चूँकि, ऐसे सूत्र भी विकसित किए गए हैं जो अन्य कम सरल वस्तुओं के आयाम की गणना की अनुमति देते हैं, जहां, केवल [[स्केलिंग (ज्यामिति)]] और आत्म-समानता के उनके गुणों के आधार पर, किसी को इस निष्कर्ष पर पहुंचाया जाता है कि विशेष वस्तुएं- जिनमें[[ भग्न | फ्रैक्टल]] भी सम्मिलित हैं- पूर्णांक हॉसडॉर्फ आयाम में कोई अंतर नहीं है। अत्यधिक अनियमित या "रफ" समुच्चयों के लिए आयामों की गणना की अनुमति देने वाले [[अब्राम समोइलोविच बेसिकोविच]] द्वारा की गई महत्वपूर्ण तकनीकी प्रगति के कारण, इस आयाम को सामान्यतः हॉसडॉर्फ-बेसिकोविच आयाम के रूप में भी जाना जाता है। | ||
अधिक विशेष रूप से, हॉसडॉर्फ़ आयाम | अधिक विशेष रूप से, हॉसडॉर्फ़ आयाम [[मीट्रिक स्थान]] से जुड़ी आयामी संख्या है, अर्थात समुच्चय जहां सभी सदस्यों के मध्य की दूरी परिभाषित की जाती है। आयाम [[विस्तारित वास्तविक संख्या रेखा]] से लिया गया है, <math>\overline{\mathbb{R}}</math>, आयाम की अधिक सहज धारणा के विपरीत, जो सामान्य मीट्रिक रिक्त स्थान से संबद्ध नहीं है, और केवल गैर-नकारात्मक पूर्णांक में मान लेता है। | ||
गणितीय शब्दों में, हॉसडॉर्फ़ आयाम | गणितीय शब्दों में, हॉसडॉर्फ़ आयाम वास्तविक [[सदिश स्थल|सदिश स्थान]] के आयाम की धारणा को सामान्यीकृत करता है। अर्थात्, n-आयामी [[आंतरिक उत्पाद स्थान]] का हॉसडॉर्फ आयाम n के समान है। यह पसमाधाने के कथन को रेखांकित करता है कि बिंदु का हॉसडॉर्फ़ आयाम शून्य है, रेखा का एक है, आदि, और अनियमित समुच्चय में गैर-पूर्णांक हॉसडॉर्फ़ आयाम हो सकते हैं। उदाहरण के लिए, दाईं ओर दिखाया गया कोच स्नोफ्लेक समबाहु त्रिभुज से निर्मित है; प्रत्येक पुनरावृत्ति में, इसके घटक रेखा खंडों को इकाई लंबाई के 3 खंडों में विभाजित किया जाता है, नव निर्मित मध्य खंड का उपयोग नए समबाहु त्रिभुज के आधार के रूप में किया जाता है जो बाहर की ओर प्रदर्शित करता है, और इस आधार खंड को अंतिम वस्तु को छोड़ने के लिए विस्थापित कर दिया जाता है। 4 की इकाई लंबाई की पुनरावृत्ति<ref>Larry Riddle, 2014, "Classic Iterated Function Systems: Koch Snowflake", Agnes Scott College e-Academy (online), see [http://ecademy.agnesscott.edu/~lriddle/ifs/ksnow/ksnow.htm], accessed 5 March 2015.</ref> अर्थात्, पसमाधाने पुनरावृत्ति के पश्चात, प्रत्येक मूल रेखा खंड को N=4 से परिवर्तित कर दिया गया है, जहां प्रत्येक स्व-समान प्रतिलिपि मूल जितनी लंबी 1/S = 1/3 है।<ref name=CampbellAnnenberg15/>दूसरी विधि से कहें तो, हमने यूक्लिडियन आयाम, D के साथ वस्तु ली है, और प्रत्येक दिशा में इसके रैखिक पैमाने को 1/3 कम कर दिया है, जिससे इसकी लंबाई N=S<sup>D</sup> तक बढ़ जाए।<ref name="ClaytonSCTPLS96">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 [http://www.vanderbilt.edu/AnS/psychology/cogsci/chaos/workshop/Workshop.html], accessed 5 March 2015.</ref> इस समीकरण को D के लिए सरलता से समाधान किया जा सकता है, जिससे आंकड़ों में दिखने वाले लघुगणक (या [[प्राकृतिक]] लघुगणक) का अनुपात प्राप्त होता है, कोच और अन्य फ्रैक्टल स्तिथि में- इन वस्तुओं के लिए गैर-पूर्णांक आयाम मिलते हैं। | ||
हॉसडॉर्फ़ आयाम सरल, | हॉसडॉर्फ़ आयाम सरल, किंतु सामान्यतः समतुल्य, बॉक्स-गिनती या मिन्कोव्स्की-बौलीगैंड आयाम का उत्तराधिकारी है। | ||
==अंतर्ज्ञान== | ==अंतर्ज्ञान== | ||
ज्यामितीय वस्तु के आयाम की सहज अवधारणा | ज्यामितीय वस्तु के आयाम की सहज अवधारणा चूँकि, दो पैरामीटर्स द्वारा निर्दिष्ट किसी भी बिंदु को इसके द्वारा निर्दिष्ट किया जा सकता है, क्योंकि [[वास्तविक विमान|वास्तविक तल]] की [[प्रमुखता]] वास्तविक रेखा की कार्डिनैलिटी के समान होती है (इसे एकल प्राप्त करने के लिए दो संख्याओं के अंकों को आपस में जोड़ने वाले तर्क द्वारा देखा जा सकता है) समान जानकारी को एन्कोड करने वाला एकल नंबर)[[ स्थान-भरण वक्र ]]के उदाहरण से ज्ञात होता है कि कोई वास्तविक रेखा को वास्तविक तल पर विशेष रूप से मानचित्रित कर सकता है (वास्तविक संख्या को वास्तविक संख्याओं की एक जोड़ी में इस प्रकार से लेना कि संख्याओं के सभी जोड़े कवर हो जाएं) और निरन्तर, जिससे आयामी वस्तु उच्च-आयामी वस्तु को पूर्ण रूप से भर देती है। | ||
प्रत्येक स्थान-भरने वाला वक्र कुछ बिंदुओं पर कई बार टकराता है और इसमें निरंतर व्युत्क्रम नहीं होता है। दो आयामों को | प्रत्येक स्थान-भरने वाला वक्र कुछ बिंदुओं पर कई बार टकराता है और इसमें निरंतर व्युत्क्रम नहीं होता है। दो आयामों को पर इस प्रकार से मानचित्रित करना असंभव है जो निरंतर विपरीत हो। टोपोलॉजिकल आयाम, जिसे [[लेबेस्ग्यू कवरिंग आयाम]] भी कहा जाता है, बताता है कि क्यों यह आयाम सबसे बड़ा पूर्णांक n है, जैसे कि छोटी संवृत गेंदों द्वारा X के प्रत्येक आवरण में कम से कम बिंदु होता है जहां n + 1 गेंदें ओवरलैप होती हैं। उदाहरण के लिए, जब कोई छोटे संवृत अंतराल के साथ रेखा को कवर करता है, तो कुछ बिंदुओं को दो बार कवर किया जाना चाहिए, जिससे आयाम n = 1 मिलता है। | ||
किंतु टोपोलॉजिकल आयाम किसी स्थान के स्थानीय आकार (बिंदु के निकट का आकार) का अधिक ही अपरिष्कृत माप है। वक्र जो लगभग स्थान भरता है, उसमें अभी भी टोपोलॉजिकल आयाम हो सकता है, भले ही वह किसी क्षेत्र के अधिकांश क्षेत्र को भरता हो। फ्रैक्टल में पूर्णांक टोपोलॉजिकल आयाम होता है, किंतु इसके द्वारा घेरने वाली स्थान की मात्रा के संदर्भ में, यह उच्च-आयामी स्थान के जैसे व्यवहार करता है। | |||
हॉसडॉर्फ़ आयाम बिंदुओं, मीट्रिक स्थान के | हॉसडॉर्फ़ आयाम बिंदुओं, मीट्रिक स्थान के मध्य की दूरी को ध्यान में रखते हुए किसी स्थान के स्थानीय आकार को मापता है। X को पूर्ण रूप से कवर करने के लिए आवश्यक अधिकतम आर त्रिज्या की [[गेंद (गणित)|गेंदों (गणित)]] की संख्या ''N''(''r'') पर विचार करें। जब r अधिक छोटा होता है, तो N(r) 1/r के साथ बहुपद रूप से बढ़ता है। पर्याप्त रूप से उत्तम व्यवहार वाले X के लिए, हॉसडॉर्फ़ आयाम अद्वितीय संख्या d है जैसे कि N(r) 1/r<sup>d</sup> के रूप में बढ़ता है अधिक त्रुटिहीन रूप से, यह बॉक्स-गिनती आयाम को परिभाषित करता है, जो हॉसडॉर्फ आयाम के समान होता है जब मान d विकास दर के मध्य महत्वपूर्ण सीमा है जो स्थान को कवर करने के लिए अपर्याप्त है, और विकास दर जो अत्यधिक प्रचुर मात्रा में हैं। | ||
उन आकृतियों के लिए जो | उन आकृतियों के लिए जो स्मूथ हैं, या कम संख्या में कोने वाली आकृतियाँ हैं, पारंपरिक ज्यामिति और विज्ञान की आकृतियाँ, हॉसडॉर्फ आयाम टोपोलॉजिकल आयाम से सहमत पूर्णांक है। किंतु [[बेनोइट मैंडेलब्रोट]] ने देखा कि फ्रैक्टल, गैर-पूर्णांक हॉसडॉर्फ आयाम वाले समुच्चय, प्रकृति में सभी स्थान में पाए जाते हैं। उन्होंने देखा कि आपके निकट दिखाई देने वाली अधिकांश रफ़नेस आकृतियों का उचित आदर्शीकरण स्मूथ आदर्शीकृत आकृतियों के संदर्भ में नहीं है, अन्यथा फ्रैक्टल आदर्शीकृत आकृतियों के संदर्भ में है: | ||
बादल गोल नहीं हैं, पहाड़ शंकु नहीं हैं, समुद्र तट वृत्त नहीं हैं, और छाल स्मूथ नहीं है, न ही विद्युत् सीधी रेखा में प्रवाहित होती है।<ref name="mandelbrot">{{cite book | last = Mandelbrot | first = Benoît | author-link = Benoit Mandelbrot | title = नेचर की फ़्रैक्टर जियोमीट्री| publisher = W. H. Freeman | series = Lecture notes in mathematics 1358 | year = 1982 | isbn = 0-7167-1186-9 | url-access = registration | url = https://archive.org/details/fractalgeometryo00beno }}</ref> | |||
प्रकृति में होने वाले फ्रैक्टल्स के लिए, हॉसडॉर्फ और | प्रकृति में होने वाले फ्रैक्टल्स के लिए, हॉसडॉर्फ और बॉक्स-गिनती आयाम युग्मित होते हैं। [[पैकिंग आयाम]] समान धारणा है जो कई आकृतियों के लिए समान मान देती है, किंतु उत्तम प्रकार से प्रलेखित अपवाद हैं जहां ये सभी आयाम भिन्न होते हैं। | ||
==औपचारिक परिभाषा== | ==औपचारिक परिभाषा== | ||
{{main| | {{main|हॉसडॉर्फ माप}} | ||
हॉसडॉर्फ़ आयाम की औपचारिक परिभाषा | |||
हॉसडॉर्फ़ आयाम की औपचारिक परिभाषा पसमाधाने हॉसडॉर्फ़ माप को परिभाषित करके प्राप्त की जाती है, जो लेब्सग्यू माप का आंशिक-आयाम एनालॉग है। सबसे पसमाधाने, [[बाहरी माप]] का निर्माण किया जाता है: मान लीजिये <math>X</math> स्थान हो, यदि <math>S\subset X</math> और <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> | :<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> | ||
जहां सभी गणनीय कवरों पर अनंत लिया जाता है <math>U</math> का <math>S</math> | जहां सभी गणनीय कवरों पर अनंत लिया जाता है <math>U</math> का <math>S</math> हॉसडॉर्फ़ बाहरी माप को तब परिभाषित किया गया है, जब <math>\mathcal{H}^d(S)=\lim_{\delta\to 0}H^d_\delta(S)</math>, [[गैर-मापने योग्य सेट|मापने योग्य]] पर मैपिंग का प्रतिबंध [[गैर-मापने योग्य सेट|समुच्चय]]इसे माप के रूप में उचित माना जाता है, जिसे <math>d</math>-आयामी हॉसडॉर्फ माप कहा जाता है ।<ref>{{cite web| last1=Briggs| first1=Jimmy| last2=Tyree|first2=Tim| title=हॉसडॉर्फ़ उपाय| url=https://sites.math.washington.edu/~farbod/teaching/cornell/math6210pdf/math6210Hausdorff.pdf| date=3 December 2016| access-date=3 February 2022| publisher=University of Washington}}</ref> | ||
'''हौसडॉर्फ़ आयाम''' | '''हौसडॉर्फ़ आयाम''' | ||
हॉसडॉर्फ़ आयाम <math>\dim_{\operatorname{H}}{(X)}</math> का <math>X</math> द्वारा परिभाषित किया गया है | हॉसडॉर्फ़ आयाम <math>\dim_{\operatorname{H}}{(X)}</math> का <math>X</math> द्वारा परिभाषित किया गया है: | ||
:<math>\dim_{\operatorname{H}}{(X)}:=\inf\{d\ge 0: \mathcal{H}^d(X)=0\}.</math> | :<math>\dim_{\operatorname{H}}{(X)}:=\inf\{d\ge 0: \mathcal{H}^d(X)=0\}.</math> | ||
यह समुच्चय | यह समुच्चय <math>d\in [0,\infty)</math> के सर्वोच्च के समान है ऐसे कि <math>d</math>-आयामी हॉसडॉर्फ माप <math>X</math> अनंत है (अतिरिक्त इसके कि जब संख्याओं का यह पश्चात वाला समुच्चय हो तो <math>d</math> रिक्त है हॉसडॉर्फ आयाम शून्य है)। | ||
'''\हॉसडॉर्फ़ सामग्री''' | |||
<math>d</math> आयामी असीमित हॉसडॉर्फ सामग्री <math>S</math> द्वारा परिभाषित किया गया है: | |||
:<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> | :<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> | ||
दूसरे शब्दों में, <math>C_H^d(S)</math> हॉसडॉर्फ माप का निर्माण किया गया है जहां कवरिंग | दूसरे शब्दों में, <math>C_H^d(S)</math> में हॉसडॉर्फ माप का निर्माण किया गया है जहां कवरिंग समुच्चय को रूप से बड़े आकार की अनुमति है (यहां, हम मानक <math>\inf\varnothing=\infty</math> सम्मेलन का उपयोग करते हैं)<ref>{{Cite arXiv| last1=Farkas| first1=Abel| last2=Fraser| first2=Jonathan| title=हॉसडॉर्फ़ माप और हॉसडॉर्फ़ सामग्री की समानता पर| date=30 July 2015| class=math.MG| eprint=1411.0867}}</ref> हॉसडॉर्फ़ माप और हॉसडॉर्फ़ सामग्री दोनों का उपयोग किसी समुच्चय के आयाम को निर्धारित करने के लिए किया जा सकता है, किंतु यदि समुच्चय का माप अशून्य है, तो उनके वास्तविक मान भिन्न हो सकते हैं। | ||
==उदाहरण== | ==उदाहरण== | ||
[[Image:Sierpinski deep.svg|thumb|upright=1.2|और भग्न उदाहरण का आयाम. सिएरपिंस्की त्रिकोण, लॉग(3)/लॉग(2)≈1.58 के हॉसडॉर्फ आयाम वाली वस्तु।<ref name=ClaytonSCTPLS96/>]]* [[गणनीय समुच्चय]] | [[Image:Sierpinski deep.svg|thumb|upright=1.2|और भग्न उदाहरण का आयाम. सिएरपिंस्की त्रिकोण, लॉग(3)/लॉग(2)≈1.58 के हॉसडॉर्फ आयाम वाली वस्तु।<ref name=ClaytonSCTPLS96/>]]* [[गणनीय समुच्चय|गणनीय समुच्चयों]] का हॉसडॉर्फ आयाम 0 है।<ref name="schleicher">{{cite journal |last1=Schleicher |first1=Dierk |title=हॉसडॉर्फ आयाम, इसके गुण और इसके आश्चर्य|journal=The American Mathematical Monthly |date=June 2007 |volume=114 |issue=6 |pages=509–528 |doi=10.1080/00029890.2007.11920440 |language=en |issn=0002-9890|arxiv=math/0505099 |s2cid=9811750 }}</ref> | ||
* [[यूक्लिडियन स्थान]] <math>\R^n</math> हॉसडॉर्फ आयाम है <math>n</math>, और वृत्त <math>S^1</math> हॉसडॉर्फ़ आयाम 1 है।<ref name="schleicher" />* फ्रैक्टल | * [[यूक्लिडियन स्थान]] <math>\R^n</math> हॉसडॉर्फ आयाम है <math>n</math>, और वृत्त <math>S^1</math> हॉसडॉर्फ़ आयाम 1 है।<ref name="schleicher" /> | ||
*फ्रैक्टल प्रायः ऐसे स्थान होते हैं जिनका हॉसडॉर्फ आयाम जटिलता से [[टोपोलॉजिकल आयाम]] से अधिक होता है।<ref name="mandelbrot" />उदाहरण के लिए, [[कैंटर सेट|कैंटर समुच्चय]], शून्य-आयामी टोपोलॉजिकल स्थान, स्वयं की दो प्रतियों का संघ है, प्रत्येक प्रतिलिपि कारक 1/3 द्वारा संकुचित हुई है; इसलिए, यह दिखाया जा सकता है कि इसका हॉसडॉर्फ आयाम ln(2)/ln(3) ≈ 0.63 है।<ref>{{cite book | last=Falconer | first = Kenneth |title=Fractal Geometry: Mathematical Foundations and Applications | publisher=[[John Wiley and Sons]] | edition=2nd | year=2003}}</ref> सिएरपिंस्की त्रिकोण स्वयं की तीन प्रतियों का संघ है, प्रत्येक प्रति 1/2 के कारक से संकुचित है; इससे ln(3)/ln(2) ≈ 1.58 का हॉसडॉर्फ आयाम प्राप्त होता है।<ref name="CampbellAnnenberg15" />ये हॉसडॉर्फ आयाम एल्गोरिदम के विश्लेषण में [[पुनरावृत्ति संबंध]] को समाधान करने के लिए मास्टर प्रमेय ([[एल्गोरिदम का विश्लेषण]]) के महत्वपूर्ण प्रतिपादक से संबंधित हैं। | |||
* [[पीनो वक्र]] जैसे अंतरिक्ष-भरने वाले वक्रों का हौसडॉर्फ़ आयाम उनके द्वारा भरे जाने वाले स्थान के समान ही होता है। | * [[पीनो वक्र]] जैसे अंतरिक्ष-भरने वाले वक्रों का हौसडॉर्फ़ आयाम उनके द्वारा भरे जाने वाले स्थान के समान ही होता है। | ||
* आयाम 2 और उससे ऊपर में | * आयाम 2 और उससे ऊपर में [[एक प्रकार कि गति|ब्राउनियन गति]] का प्रक्षेपवक्र हॉसडॉर्फ आयाम 2 होने का अनुमान लगाया गया है।<ref>{{cite book | last=Morters | first=Peres | title= एक प्रकार कि गति| publisher=[[Cambridge University Press]] | year=2010 }}</ref> | ||
*[[लुईस फ्राई रिचर्डसन]] ने विभिन्न समुद्र तटों के लिए अनुमानित हॉसडॉर्फ आयाम को मापने के लिए विस्तृत प्रयोग किए हैं। उनके परिणाम [[दक्षिण अफ्रीका]] के समुद्र तट के लिए 1.02 से लेकर [[ग्रेट ब्रिटेन]] के पश्चिमी तट के लिए 1.25 तक भिन्न हैं।<ref name="mandelbrot" /> | |||
* [[लुईस फ्राई रिचर्डसन]] ने विभिन्न समुद्र तटों के लिए अनुमानित हॉसडॉर्फ आयाम को मापने के लिए विस्तृत प्रयोग किए हैं। उनके परिणाम [[दक्षिण अफ्रीका]] के समुद्र तट के लिए 1.02 से लेकर [[ग्रेट ब्रिटेन]] के पश्चिमी तट के लिए 1.25 तक भिन्न हैं।<ref name="mandelbrot" /> | |||
== हौसडॉर्फ़ आयाम के गुण == | == हौसडॉर्फ़ आयाम के गुण == | ||
| Line 58: | Line 59: | ||
इसके अतिरिक्त, | इसके अतिरिक्त, | ||
:<math> \inf_Y \dim_{\operatorname{Haus}}(Y) =\dim_{\operatorname{ind}}(X), </math> | :<math> \inf_Y \dim_{\operatorname{Haus}}(Y) =\dim_{\operatorname{ind}}(X), </math> | ||
जहां Y मीट्रिक रिक्त स्थान से लेकर X तक [[होम्योमॉर्फिक]] है। दूसरे शब्दों में, X और Y में बिंदुओं का अंतर्निहित | जहां Y मीट्रिक रिक्त स्थान से लेकर X तक [[होम्योमॉर्फिक]] है। दूसरे शब्दों में, X और Y में बिंदुओं का अंतर्निहित समुच्चय और मीट्रिक d समान है।<sub>''Y''</sub> Y का स्थलाकृतिक रूप से d के समतुल्य है<sub>''X''</sub>. | ||
ये परिणाम मूल रूप से [[एडवर्ड स्ज़पिलराजन]] (1907-1976) द्वारा स्थापित किए गए थे, उदाहरण के लिए, ह्यूरेविक्ज़ और वॉलमैन, अध्याय VII देखें।{{full citation needed|date=March 2015}} | ये परिणाम मूल रूप से [[एडवर्ड स्ज़पिलराजन]] (1907-1976) द्वारा स्थापित किए गए थे, उदाहरण के लिए, ह्यूरेविक्ज़ और वॉलमैन, अध्याय VII देखें।{{full citation needed|date=March 2015}} | ||
=== हॉसडॉर्फ आयाम और मिन्कोव्स्की आयाम === | === हॉसडॉर्फ आयाम और मिन्कोव्स्की आयाम === | ||
मिन्कोव्स्की आयाम हॉसडॉर्फ आयाम के समान है, और कम से कम उतना ही बड़ा है, और वे कई स्थितियों में समान हैं। | मिन्कोव्स्की आयाम हॉसडॉर्फ आयाम के समान है, और कम से कम उतना ही बड़ा है, और वे कई स्थितियों में समान हैं। चूँकि, [0, 1] में परिमेय संख्या बिंदुओं के समुच्चय में हॉसडॉर्फ आयाम शून्य और मिन्कोव्स्की आयाम है। ऐसे कॉम्पैक्ट समुच्चय भी हैं जिनके लिए मिन्कोव्स्की आयाम हॉसडॉर्फ आयाम से सख्ती से बड़ा है। | ||
=== हॉसडॉर्फ आयाम और फ्रॉस्टमैन माप === | === हॉसडॉर्फ आयाम और फ्रॉस्टमैन माप === | ||
| Line 70: | Line 71: | ||
'''यूनियनों और उत्पादों के अंतर्गत व्यवहार''' | '''यूनियनों और उत्पादों के अंतर्गत व्यवहार''' | ||
यदि <math>X=\bigcup_{i\in I}X_i</math> तो, यह परिमित या गणनीय संघ है | |||
:<math> \dim_{\operatorname{Haus}}(X) =\sup_{i\in I} \dim_{\operatorname{Haus}}(X_i).</math> | :<math> \dim_{\operatorname{Haus}}(X) =\sup_{i\in I} \dim_{\operatorname{Haus}}(X_i).</math> | ||
| Line 77: | Line 78: | ||
यदि X और Y गैर-रिक्त मीट्रिक स्थान हैं, तो उनके उत्पाद का हॉसडॉर्फ आयाम संतुष्ट करता है<ref>{{cite journal |author=Marstrand, J. M. |title=कार्टेशियन उत्पाद सेट का आयाम|journal=Proc. Cambridge Philos. Soc. |volume=50 |issue=3 |pages=198–202 |year=1954 |doi=10.1017/S0305004100029236 |bibcode = 1954PCPS...50..198M |s2cid=122475292 }}</ref> | यदि X और Y गैर-रिक्त मीट्रिक स्थान हैं, तो उनके उत्पाद का हॉसडॉर्फ आयाम संतुष्ट करता है<ref>{{cite journal |author=Marstrand, J. M. |title=कार्टेशियन उत्पाद सेट का आयाम|journal=Proc. Cambridge Philos. Soc. |volume=50 |issue=3 |pages=198–202 |year=1954 |doi=10.1017/S0305004100029236 |bibcode = 1954PCPS...50..198M |s2cid=122475292 }}</ref> | ||
:<math> \dim_{\operatorname{Haus}}(X\times Y)\ge \dim_{\operatorname{Haus}}(X)+ \dim_{\operatorname{Haus}}(Y).</math> | :<math> \dim_{\operatorname{Haus}}(X\times Y)\ge \dim_{\operatorname{Haus}}(X)+ \dim_{\operatorname{Haus}}(Y).</math> | ||
यह असमानता सख्त हो सकती है. आयाम 0 के दो | यह असमानता सख्त हो सकती है. आयाम 0 के दो समुच्चय ढूंढना संभव है जिनके उत्पाद का आयाम 1 है।<ref>{{cite book | last = Falconer | first = Kenneth J. | title = भग्न ज्यामिति. गणितीय नींव और अनुप्रयोग| publisher = John Wiley & Sons, Inc., Hoboken, New Jersey | year = 2003 }}</ref> विपरीत दिशा में, यह ज्ञात होता है कि जब X और Y 'R' के बोरेल उपसमुच्चय हैं<sup>n</sup>, X × Y का हॉसडॉर्फ़ आयाम ऊपर से X के हॉसडॉर्फ़ आयाम और Y के पैकिंग आयाम से घिरा है। इन तथ्यों पर मटिला (1995) में चर्चा की गई है। | ||
==स्वयं-समान | ==स्वयं-समान समुच्चय== | ||
स्व-समानता स्थिति द्वारा परिभाषित कई | स्व-समानता स्थिति द्वारा परिभाषित कई समुच्चयों में आयाम होते हैं जिन्हें स्पष्ट रूप से निर्धारित किया जा सकता है। मोटे तौर पर, समुच्चय ई स्व-समान है यदि यह समुच्चय-मान परिवर्तन ψ का निश्चित बिंदु है, अर्थात ψ (ई) = ई, हालांकि त्रुटिहीन परिभाषा नीचे दी गई है। | ||
<ब्लॉककोट>'प्रमेय'। कल्पना करना | <ब्लॉककोट>'प्रमेय'। कल्पना करना | ||
:<math> \psi_i: \mathbf{R}^n \rightarrow \mathbf{R}^n, \quad i=1, \ldots , m </math> | :<math> \psi_i: \mathbf{R}^n \rightarrow \mathbf{R}^n, \quad i=1, \ldots , m </math> | ||
आर पर [[ संकुचन मानचित्रण ]] मैपिंग हैं<sup>n</sup>संकुचन स्थिरांक r के साथ<sub>j</sub>< 1. फिर अद्वितीय गैर-रिक्त कॉम्पैक्ट | आर पर [[ संकुचन मानचित्रण ]] मैपिंग हैं<sup>n</sup>संकुचन स्थिरांक r के साथ<sub>j</sub>< 1. फिर अद्वितीय गैर-रिक्त कॉम्पैक्ट समुच्चय ए है जैसे कि | ||
:<math> A = \bigcup_{i=1}^m \psi_i (A). </math> | :<math> A = \bigcup_{i=1}^m \psi_i (A). </math> | ||
| Line 92: | Line 93: | ||
यह प्रमेय [[स्टीफ़न बानाच]] के [[संविदात्मक मानचित्रण प्रमेय]] से अनुसरण करता है जो आर के गैर-रिक्त कॉम्पैक्ट उपसमुच्चय के पूर्ण मीट्रिक स्थान पर लागू होता है।<sup>n</sup>हौसडॉर्फ़ दूरी के साथ।<ref>{{cite book |author=Falconer, K. J. |title=फ्रैक्टल सेट की ज्यामिति|publisher=Cambridge University Press |location=Cambridge, UK |year=1985 |isbn=0-521-25694-1 |chapter=Theorem 8.3}}</ref> | यह प्रमेय [[स्टीफ़न बानाच]] के [[संविदात्मक मानचित्रण प्रमेय]] से अनुसरण करता है जो आर के गैर-रिक्त कॉम्पैक्ट उपसमुच्चय के पूर्ण मीट्रिक स्थान पर लागू होता है।<sup>n</sup>हौसडॉर्फ़ दूरी के साथ।<ref>{{cite book |author=Falconer, K. J. |title=फ्रैक्टल सेट की ज्यामिति|publisher=Cambridge University Press |location=Cambridge, UK |year=1985 |isbn=0-521-25694-1 |chapter=Theorem 8.3}}</ref> | ||
'''खुले | '''खुले समुच्चय की स्थिति''' | ||
{{main|Open set condition}} | {{main|Open set condition}} | ||
स्व-समान | स्व-समान समुच्चय ए (कुछ स्तिथि में) के आयाम को निर्धारित करने के लिए, हमें संकुचन के अनुक्रम पर ओपन समुच्चय कंडीशन (ओएससी) नामक तकनीकी स्थिति की आवश्यकता होती है।<sub>''i''</sub>. | ||
अपेक्षाकृत कॉम्पैक्ट ओपन | अपेक्षाकृत कॉम्पैक्ट ओपन समुच्चय V ऐसा है | ||
:<math> \bigcup_{i=1}^m\psi_i (V) \subseteq V, </math> | :<math> \bigcup_{i=1}^m\psi_i (V) \subseteq V, </math> | ||
जहां बायीं ओर संयुक्त समुच्चय जोड़ीवार असंयुक्त समुच्चय हैं। | जहां बायीं ओर संयुक्त समुच्चय जोड़ीवार असंयुक्त समुच्चय हैं। | ||
ओपन | ओपन समुच्चय स्थिति पृथक्करण स्थिति है जो छवियों को सुनिश्चित करती है<sub>''i''</sub>(V) अधिक अधिक ओवरलैप न करें। | ||
'प्रमेय'. मान लीजिए कि ओपन | 'प्रमेय'. मान लीजिए कि ओपन समुच्चय की स्थिति कायम है और प्रत्येक ψ<sub>''i''</sub> समानता है, जो किसी बिंदु के चारों ओर [[आइसोमेट्री]] और [[फैलाव (मीट्रिक स्थान)]] की संरचना है। फिर ψ का अद्वितीय निश्चित बिंदु समुच्चय है जिसका हॉसडॉर्फ आयाम s है जहां s का अद्वितीय समाधान है<ref>{{cite journal | last=Hutchinson | first=John E. | title=भग्न और स्व समानता| journal=Indiana Univ. Math. J. | volume=30 | year=1981 | pages=713–747 | doi=10.1512/iumj.1981.30.30055 | issue=5 | doi-access=free }}</ref> | ||
:<math> \sum_{i=1}^m r_i^s = 1. </math> | :<math> \sum_{i=1}^m r_i^s = 1. </math> | ||
समरूपता का संकुचन गुणांक फैलाव का परिमाण है। | समरूपता का संकुचन गुणांक फैलाव का परिमाण है। | ||
सामान्य तौर पर, | सामान्य तौर पर, समुच्चय ई जो मैपिंग का निश्चित बिंदु है | ||
: <math> A \mapsto \psi(A) = \bigcup_{i=1}^m \psi_i(A) </math> | : <math> A \mapsto \psi(A) = \bigcup_{i=1}^m \psi_i(A) </math> | ||
| Line 113: | Line 114: | ||
:<math> H^s\left(\psi_i(E) \cap \psi_j(E)\right) =0, </math> | :<math> H^s\left(\psi_i(E) \cap \psi_j(E)\right) =0, </math> | ||
जहां s, E और H का हॉसडॉर्फ आयाम है<sup>s</sup>हॉसडॉर्फ माप को दर्शाता है। यह [[सीरपिंस्की गैसकेट]] के मामले में स्पष्ट है (चौराहे सिर्फ बिंदु हैं), | जहां s, E और H का हॉसडॉर्फ आयाम है<sup>s</sup>हॉसडॉर्फ माप को दर्शाता है। यह [[सीरपिंस्की गैसकेट]] के मामले में स्पष्ट है (चौराहे सिर्फ बिंदु हैं), किंतु यह आम तौर पर भी सच है: | ||
'प्रमेय'. पिछले प्रमेय की समान शर्तों के तहत, ψ का अद्वितीय निश्चित बिंदु स्व-समान है। | 'प्रमेय'. पिछले प्रमेय की समान शर्तों के तहत, ψ का अद्वितीय निश्चित बिंदु स्व-समान है। | ||
Revision as of 18:33, 10 July 2023
गणित में, हॉसडॉर्फ़ आयाम रफ़नेस, या अधिक विशेष रूप से, फ्रैक्टल आयाम का माप है, जिसे 1918 में गणितज्ञ फ़ेलिक्स हॉसडॉर्फ़ द्वारा प्रस्तुत किया गया था।[2] उदाहरण के लिए, बिंदु (ज्यामिति) का हॉसडॉर्फ आयाम शून्य है, रेखा खंड का 1 है, वर्ग का 2 है, और घन का 3 है। अर्थात, बिंदुओं के समुच्चय के लिए स्मूथ आकृति को परिभाषित करते हैं जिसमें कोनों की छोटी संख्या होती है- पारंपरिक ज्यामिति और विज्ञान के आकार- हॉसडॉर्फ आयाम पूर्णांक है जो आयाम की सामान्य भावना से सहमत होता है, जिसे आगमनात्मक आयाम के रूप में भी जाना जाता है। चूँकि, ऐसे सूत्र भी विकसित किए गए हैं जो अन्य कम सरल वस्तुओं के आयाम की गणना की अनुमति देते हैं, जहां, केवल स्केलिंग (ज्यामिति) और आत्म-समानता के उनके गुणों के आधार पर, किसी को इस निष्कर्ष पर पहुंचाया जाता है कि विशेष वस्तुएं- जिनमें फ्रैक्टल भी सम्मिलित हैं- पूर्णांक हॉसडॉर्फ आयाम में कोई अंतर नहीं है। अत्यधिक अनियमित या "रफ" समुच्चयों के लिए आयामों की गणना की अनुमति देने वाले अब्राम समोइलोविच बेसिकोविच द्वारा की गई महत्वपूर्ण तकनीकी प्रगति के कारण, इस आयाम को सामान्यतः हॉसडॉर्फ-बेसिकोविच आयाम के रूप में भी जाना जाता है।
अधिक विशेष रूप से, हॉसडॉर्फ़ आयाम मीट्रिक स्थान से जुड़ी आयामी संख्या है, अर्थात समुच्चय जहां सभी सदस्यों के मध्य की दूरी परिभाषित की जाती है। आयाम विस्तारित वास्तविक संख्या रेखा से लिया गया है, , आयाम की अधिक सहज धारणा के विपरीत, जो सामान्य मीट्रिक रिक्त स्थान से संबद्ध नहीं है, और केवल गैर-नकारात्मक पूर्णांक में मान लेता है।
गणितीय शब्दों में, हॉसडॉर्फ़ आयाम वास्तविक सदिश स्थान के आयाम की धारणा को सामान्यीकृत करता है। अर्थात्, n-आयामी आंतरिक उत्पाद स्थान का हॉसडॉर्फ आयाम n के समान है। यह पसमाधाने के कथन को रेखांकित करता है कि बिंदु का हॉसडॉर्फ़ आयाम शून्य है, रेखा का एक है, आदि, और अनियमित समुच्चय में गैर-पूर्णांक हॉसडॉर्फ़ आयाम हो सकते हैं। उदाहरण के लिए, दाईं ओर दिखाया गया कोच स्नोफ्लेक समबाहु त्रिभुज से निर्मित है; प्रत्येक पुनरावृत्ति में, इसके घटक रेखा खंडों को इकाई लंबाई के 3 खंडों में विभाजित किया जाता है, नव निर्मित मध्य खंड का उपयोग नए समबाहु त्रिभुज के आधार के रूप में किया जाता है जो बाहर की ओर प्रदर्शित करता है, और इस आधार खंड को अंतिम वस्तु को छोड़ने के लिए विस्थापित कर दिया जाता है। 4 की इकाई लंबाई की पुनरावृत्ति[3] अर्थात्, पसमाधाने पुनरावृत्ति के पश्चात, प्रत्येक मूल रेखा खंड को N=4 से परिवर्तित कर दिया गया है, जहां प्रत्येक स्व-समान प्रतिलिपि मूल जितनी लंबी 1/S = 1/3 है।[1]दूसरी विधि से कहें तो, हमने यूक्लिडियन आयाम, D के साथ वस्तु ली है, और प्रत्येक दिशा में इसके रैखिक पैमाने को 1/3 कम कर दिया है, जिससे इसकी लंबाई N=SD तक बढ़ जाए।[4] इस समीकरण को D के लिए सरलता से समाधान किया जा सकता है, जिससे आंकड़ों में दिखने वाले लघुगणक (या प्राकृतिक लघुगणक) का अनुपात प्राप्त होता है, कोच और अन्य फ्रैक्टल स्तिथि में- इन वस्तुओं के लिए गैर-पूर्णांक आयाम मिलते हैं।
हॉसडॉर्फ़ आयाम सरल, किंतु सामान्यतः समतुल्य, बॉक्स-गिनती या मिन्कोव्स्की-बौलीगैंड आयाम का उत्तराधिकारी है।
अंतर्ज्ञान
ज्यामितीय वस्तु के आयाम की सहज अवधारणा चूँकि, दो पैरामीटर्स द्वारा निर्दिष्ट किसी भी बिंदु को इसके द्वारा निर्दिष्ट किया जा सकता है, क्योंकि वास्तविक तल की प्रमुखता वास्तविक रेखा की कार्डिनैलिटी के समान होती है (इसे एकल प्राप्त करने के लिए दो संख्याओं के अंकों को आपस में जोड़ने वाले तर्क द्वारा देखा जा सकता है) समान जानकारी को एन्कोड करने वाला एकल नंबर)स्थान-भरण वक्र के उदाहरण से ज्ञात होता है कि कोई वास्तविक रेखा को वास्तविक तल पर विशेष रूप से मानचित्रित कर सकता है (वास्तविक संख्या को वास्तविक संख्याओं की एक जोड़ी में इस प्रकार से लेना कि संख्याओं के सभी जोड़े कवर हो जाएं) और निरन्तर, जिससे आयामी वस्तु उच्च-आयामी वस्तु को पूर्ण रूप से भर देती है।
प्रत्येक स्थान-भरने वाला वक्र कुछ बिंदुओं पर कई बार टकराता है और इसमें निरंतर व्युत्क्रम नहीं होता है। दो आयामों को पर इस प्रकार से मानचित्रित करना असंभव है जो निरंतर विपरीत हो। टोपोलॉजिकल आयाम, जिसे लेबेस्ग्यू कवरिंग आयाम भी कहा जाता है, बताता है कि क्यों यह आयाम सबसे बड़ा पूर्णांक n है, जैसे कि छोटी संवृत गेंदों द्वारा X के प्रत्येक आवरण में कम से कम बिंदु होता है जहां n + 1 गेंदें ओवरलैप होती हैं। उदाहरण के लिए, जब कोई छोटे संवृत अंतराल के साथ रेखा को कवर करता है, तो कुछ बिंदुओं को दो बार कवर किया जाना चाहिए, जिससे आयाम n = 1 मिलता है।
किंतु टोपोलॉजिकल आयाम किसी स्थान के स्थानीय आकार (बिंदु के निकट का आकार) का अधिक ही अपरिष्कृत माप है। वक्र जो लगभग स्थान भरता है, उसमें अभी भी टोपोलॉजिकल आयाम हो सकता है, भले ही वह किसी क्षेत्र के अधिकांश क्षेत्र को भरता हो। फ्रैक्टल में पूर्णांक टोपोलॉजिकल आयाम होता है, किंतु इसके द्वारा घेरने वाली स्थान की मात्रा के संदर्भ में, यह उच्च-आयामी स्थान के जैसे व्यवहार करता है।
हॉसडॉर्फ़ आयाम बिंदुओं, मीट्रिक स्थान के मध्य की दूरी को ध्यान में रखते हुए किसी स्थान के स्थानीय आकार को मापता है। X को पूर्ण रूप से कवर करने के लिए आवश्यक अधिकतम आर त्रिज्या की गेंदों (गणित) की संख्या N(r) पर विचार करें। जब r अधिक छोटा होता है, तो N(r) 1/r के साथ बहुपद रूप से बढ़ता है। पर्याप्त रूप से उत्तम व्यवहार वाले X के लिए, हॉसडॉर्फ़ आयाम अद्वितीय संख्या d है जैसे कि N(r) 1/rd के रूप में बढ़ता है अधिक त्रुटिहीन रूप से, यह बॉक्स-गिनती आयाम को परिभाषित करता है, जो हॉसडॉर्फ आयाम के समान होता है जब मान d विकास दर के मध्य महत्वपूर्ण सीमा है जो स्थान को कवर करने के लिए अपर्याप्त है, और विकास दर जो अत्यधिक प्रचुर मात्रा में हैं।
उन आकृतियों के लिए जो स्मूथ हैं, या कम संख्या में कोने वाली आकृतियाँ हैं, पारंपरिक ज्यामिति और विज्ञान की आकृतियाँ, हॉसडॉर्फ आयाम टोपोलॉजिकल आयाम से सहमत पूर्णांक है। किंतु बेनोइट मैंडेलब्रोट ने देखा कि फ्रैक्टल, गैर-पूर्णांक हॉसडॉर्फ आयाम वाले समुच्चय, प्रकृति में सभी स्थान में पाए जाते हैं। उन्होंने देखा कि आपके निकट दिखाई देने वाली अधिकांश रफ़नेस आकृतियों का उचित आदर्शीकरण स्मूथ आदर्शीकृत आकृतियों के संदर्भ में नहीं है, अन्यथा फ्रैक्टल आदर्शीकृत आकृतियों के संदर्भ में है:
बादल गोल नहीं हैं, पहाड़ शंकु नहीं हैं, समुद्र तट वृत्त नहीं हैं, और छाल स्मूथ नहीं है, न ही विद्युत् सीधी रेखा में प्रवाहित होती है।[5]
प्रकृति में होने वाले फ्रैक्टल्स के लिए, हॉसडॉर्फ और बॉक्स-गिनती आयाम युग्मित होते हैं। पैकिंग आयाम समान धारणा है जो कई आकृतियों के लिए समान मान देती है, किंतु उत्तम प्रकार से प्रलेखित अपवाद हैं जहां ये सभी आयाम भिन्न होते हैं।
औपचारिक परिभाषा
हॉसडॉर्फ़ आयाम की औपचारिक परिभाषा पसमाधाने हॉसडॉर्फ़ माप को परिभाषित करके प्राप्त की जाती है, जो लेब्सग्यू माप का आंशिक-आयाम एनालॉग है। सबसे पसमाधाने, बाहरी माप का निर्माण किया जाता है: मान लीजिये स्थान हो, यदि और है,
जहां सभी गणनीय कवरों पर अनंत लिया जाता है का हॉसडॉर्फ़ बाहरी माप को तब परिभाषित किया गया है, जब , मापने योग्य पर मैपिंग का प्रतिबंध समुच्चयइसे माप के रूप में उचित माना जाता है, जिसे -आयामी हॉसडॉर्फ माप कहा जाता है ।[6]
हौसडॉर्फ़ आयाम
हॉसडॉर्फ़ आयाम का द्वारा परिभाषित किया गया है:
यह समुच्चय के सर्वोच्च के समान है ऐसे कि -आयामी हॉसडॉर्फ माप अनंत है (अतिरिक्त इसके कि जब संख्याओं का यह पश्चात वाला समुच्चय हो तो रिक्त है हॉसडॉर्फ आयाम शून्य है)।
\हॉसडॉर्फ़ सामग्री
आयामी असीमित हॉसडॉर्फ सामग्री द्वारा परिभाषित किया गया है:
दूसरे शब्दों में, में हॉसडॉर्फ माप का निर्माण किया गया है जहां कवरिंग समुच्चय को रूप से बड़े आकार की अनुमति है (यहां, हम मानक सम्मेलन का उपयोग करते हैं)[7] हॉसडॉर्फ़ माप और हॉसडॉर्फ़ सामग्री दोनों का उपयोग किसी समुच्चय के आयाम को निर्धारित करने के लिए किया जा सकता है, किंतु यदि समुच्चय का माप अशून्य है, तो उनके वास्तविक मान भिन्न हो सकते हैं।
उदाहरण
* गणनीय समुच्चयों का हॉसडॉर्फ आयाम 0 है।[8]
- यूक्लिडियन स्थान हॉसडॉर्फ आयाम है , और वृत्त हॉसडॉर्फ़ आयाम 1 है।[8]
- फ्रैक्टल प्रायः ऐसे स्थान होते हैं जिनका हॉसडॉर्फ आयाम जटिलता से टोपोलॉजिकल आयाम से अधिक होता है।[5]उदाहरण के लिए, कैंटर समुच्चय, शून्य-आयामी टोपोलॉजिकल स्थान, स्वयं की दो प्रतियों का संघ है, प्रत्येक प्रतिलिपि कारक 1/3 द्वारा संकुचित हुई है; इसलिए, यह दिखाया जा सकता है कि इसका हॉसडॉर्फ आयाम ln(2)/ln(3) ≈ 0.63 है।[9] सिएरपिंस्की त्रिकोण स्वयं की तीन प्रतियों का संघ है, प्रत्येक प्रति 1/2 के कारक से संकुचित है; इससे ln(3)/ln(2) ≈ 1.58 का हॉसडॉर्फ आयाम प्राप्त होता है।[1]ये हॉसडॉर्फ आयाम एल्गोरिदम के विश्लेषण में पुनरावृत्ति संबंध को समाधान करने के लिए मास्टर प्रमेय (एल्गोरिदम का विश्लेषण) के महत्वपूर्ण प्रतिपादक से संबंधित हैं।
- पीनो वक्र जैसे अंतरिक्ष-भरने वाले वक्रों का हौसडॉर्फ़ आयाम उनके द्वारा भरे जाने वाले स्थान के समान ही होता है।
- आयाम 2 और उससे ऊपर में ब्राउनियन गति का प्रक्षेपवक्र हॉसडॉर्फ आयाम 2 होने का अनुमान लगाया गया है।[10]
- लुईस फ्राई रिचर्डसन ने विभिन्न समुद्र तटों के लिए अनुमानित हॉसडॉर्फ आयाम को मापने के लिए विस्तृत प्रयोग किए हैं। उनके परिणाम दक्षिण अफ्रीका के समुद्र तट के लिए 1.02 से लेकर ग्रेट ब्रिटेन के पश्चिमी तट के लिए 1.25 तक भिन्न हैं।[5]
हौसडॉर्फ़ आयाम के गुण
हॉसडॉर्फ आयाम और आगमनात्मक आयाम
मान लीजिए कि X मनमाना वियोज्य स्थान मीट्रिक स्थान है। ्स के लिए आगमनात्मक आयाम की टोपोलॉजी धारणा है जिसे पुनरावर्ती रूप से परिभाषित किया गया है। यह हमेशा पूर्णांक (या +∞) होता है और इसे मंद दर्शाया जाता हैind(्स)।
'प्रमेय'. मान लीजिए कि X गैर-रिक्त है। तब
इसके अतिरिक्त,
जहां Y मीट्रिक रिक्त स्थान से लेकर X तक होम्योमॉर्फिक है। दूसरे शब्दों में, X और Y में बिंदुओं का अंतर्निहित समुच्चय और मीट्रिक d समान है।Y Y का स्थलाकृतिक रूप से d के समतुल्य हैX.
ये परिणाम मूल रूप से एडवर्ड स्ज़पिलराजन (1907-1976) द्वारा स्थापित किए गए थे, उदाहरण के लिए, ह्यूरेविक्ज़ और वॉलमैन, अध्याय VII देखें।[full citation needed]
हॉसडॉर्फ आयाम और मिन्कोव्स्की आयाम
मिन्कोव्स्की आयाम हॉसडॉर्फ आयाम के समान है, और कम से कम उतना ही बड़ा है, और वे कई स्थितियों में समान हैं। चूँकि, [0, 1] में परिमेय संख्या बिंदुओं के समुच्चय में हॉसडॉर्फ आयाम शून्य और मिन्कोव्स्की आयाम है। ऐसे कॉम्पैक्ट समुच्चय भी हैं जिनके लिए मिन्कोव्स्की आयाम हॉसडॉर्फ आयाम से सख्ती से बड़ा है।
हॉसडॉर्फ आयाम और फ्रॉस्टमैन माप
यदि कोई माप (गणित) है तो μ को बोरेल माप परिभाषित किया गया है, जो मीट्रिक स्पेसs कुछ स्थिरांक s > 0 और प्रत्येक गेंद B(x, r) के लिए X में रखता है, फिर मंदHaus(्स) ≥ एस. फ्रॉस्टमैन के लेम्मा द्वारा आंशिक बातचीत प्रदान की जाती है।[citation needed][11]
यूनियनों और उत्पादों के अंतर्गत व्यवहार
यदि तो, यह परिमित या गणनीय संघ है
इसे सीधे परिभाषा से सत्यापित किया जा सकता है।
यदि X और Y गैर-रिक्त मीट्रिक स्थान हैं, तो उनके उत्पाद का हॉसडॉर्फ आयाम संतुष्ट करता है[12]
यह असमानता सख्त हो सकती है. आयाम 0 के दो समुच्चय ढूंढना संभव है जिनके उत्पाद का आयाम 1 है।[13] विपरीत दिशा में, यह ज्ञात होता है कि जब X और Y 'R' के बोरेल उपसमुच्चय हैंn, X × Y का हॉसडॉर्फ़ आयाम ऊपर से X के हॉसडॉर्फ़ आयाम और Y के पैकिंग आयाम से घिरा है। इन तथ्यों पर मटिला (1995) में चर्चा की गई है।
स्वयं-समान समुच्चय
स्व-समानता स्थिति द्वारा परिभाषित कई समुच्चयों में आयाम होते हैं जिन्हें स्पष्ट रूप से निर्धारित किया जा सकता है। मोटे तौर पर, समुच्चय ई स्व-समान है यदि यह समुच्चय-मान परिवर्तन ψ का निश्चित बिंदु है, अर्थात ψ (ई) = ई, हालांकि त्रुटिहीन परिभाषा नीचे दी गई है।
<ब्लॉककोट>'प्रमेय'। कल्पना करना
आर पर संकुचन मानचित्रण मैपिंग हैंnसंकुचन स्थिरांक r के साथj< 1. फिर अद्वितीय गैर-रिक्त कॉम्पैक्ट समुच्चय ए है जैसे कि
</ब्लॉककोट>
यह प्रमेय स्टीफ़न बानाच के संविदात्मक मानचित्रण प्रमेय से अनुसरण करता है जो आर के गैर-रिक्त कॉम्पैक्ट उपसमुच्चय के पूर्ण मीट्रिक स्थान पर लागू होता है।nहौसडॉर्फ़ दूरी के साथ।[14]
खुले समुच्चय की स्थिति
स्व-समान समुच्चय ए (कुछ स्तिथि में) के आयाम को निर्धारित करने के लिए, हमें संकुचन के अनुक्रम पर ओपन समुच्चय कंडीशन (ओएससी) नामक तकनीकी स्थिति की आवश्यकता होती है।i.
अपेक्षाकृत कॉम्पैक्ट ओपन समुच्चय V ऐसा है
जहां बायीं ओर संयुक्त समुच्चय जोड़ीवार असंयुक्त समुच्चय हैं।
ओपन समुच्चय स्थिति पृथक्करण स्थिति है जो छवियों को सुनिश्चित करती हैi(V) अधिक अधिक ओवरलैप न करें।
'प्रमेय'. मान लीजिए कि ओपन समुच्चय की स्थिति कायम है और प्रत्येक ψi समानता है, जो किसी बिंदु के चारों ओर आइसोमेट्री और फैलाव (मीट्रिक स्थान) की संरचना है। फिर ψ का अद्वितीय निश्चित बिंदु समुच्चय है जिसका हॉसडॉर्फ आयाम s है जहां s का अद्वितीय समाधान है[15]
समरूपता का संकुचन गुणांक फैलाव का परिमाण है।
सामान्य तौर पर, समुच्चय ई जो मैपिंग का निश्चित बिंदु है
स्व-समान है यदि और केवल यदि प्रतिच्छेदन
जहां s, E और H का हॉसडॉर्फ आयाम हैsहॉसडॉर्फ माप को दर्शाता है। यह सीरपिंस्की गैसकेट के मामले में स्पष्ट है (चौराहे सिर्फ बिंदु हैं), किंतु यह आम तौर पर भी सच है:
'प्रमेय'. पिछले प्रमेय की समान शर्तों के तहत, ψ का अद्वितीय निश्चित बिंदु स्व-समान है।
यह भी देखें
- हॉसडॉर्फ आयाम द्वारा फ्रैक्टल्स की सूची नियतात्मक फ्रैक्टल्स, यादृच्छिक और प्राकृतिक फ्रैक्टल्स के उदाहरण।
- असौद आयाम, फ्रैक्टल आयाम का और रूपांतर, जो हॉसडॉर्फ आयाम की तरह, गेंदों द्वारा कवरिंग का उपयोग करके परिभाषित किया गया है
- आंतरिक आयाम
- पैकिंग आयाम
- भग्न आयाम
संदर्भ
- ↑ 1.0 1.1 1.2 MacGregor Campbell, 2013, "5.6 Scaling and the Hausdorff Dimension," at Annenberg Learner:MATHematics illuminated, see [1], accessed 5 March 2015.
- ↑ Gneiting, Tilmann; Ševčíková, Hana; Percival, Donald B. (2012). "Estimators of Fractal Dimension: Assessing the Roughness of Time Series and Spatial Data". Statistical Science. 27 (2): 247–277. arXiv:1101.1444. doi:10.1214/11-STS370. S2CID 88512325.
- ↑ Larry Riddle, 2014, "Classic Iterated Function Systems: Koch Snowflake", Agnes Scott College e-Academy (online), see [2], accessed 5 March 2015.
- ↑ 4.0 4.1 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 [3], accessed 5 March 2015.
- ↑ 5.0 5.1 5.2 Mandelbrot, Benoît (1982). नेचर की फ़्रैक्टर जियोमीट्री. Lecture notes in mathematics 1358. W. H. Freeman. ISBN 0-7167-1186-9.
- ↑ Briggs, Jimmy; Tyree, Tim (3 December 2016). "हॉसडॉर्फ़ उपाय" (PDF). University of Washington. Retrieved 3 February 2022.
- ↑ Farkas, Abel; Fraser, Jonathan (30 July 2015). "हॉसडॉर्फ़ माप और हॉसडॉर्फ़ सामग्री की समानता पर". arXiv:1411.0867 [math.MG].
- ↑ 8.0 8.1 Schleicher, Dierk (June 2007). "हॉसडॉर्फ आयाम, इसके गुण और इसके आश्चर्य". The American Mathematical Monthly (in English). 114 (6): 509–528. arXiv:math/0505099. doi:10.1080/00029890.2007.11920440. ISSN 0002-9890. S2CID 9811750.
- ↑ Falconer, Kenneth (2003). Fractal Geometry: Mathematical Foundations and Applications (2nd ed.). John Wiley and Sons.
- ↑ Morters, Peres (2010). एक प्रकार कि गति. Cambridge University Press.
- ↑ This Wikipedia article also discusses further useful characterizations of the Hausdorff dimension.[clarification needed]
- ↑ Marstrand, J. M. (1954). "कार्टेशियन उत्पाद सेट का आयाम". Proc. Cambridge Philos. Soc. 50 (3): 198–202. Bibcode:1954PCPS...50..198M. doi:10.1017/S0305004100029236. S2CID 122475292.
- ↑ Falconer, Kenneth J. (2003). भग्न ज्यामिति. गणितीय नींव और अनुप्रयोग. John Wiley & Sons, Inc., Hoboken, New Jersey.
- ↑ Falconer, K. J. (1985). "Theorem 8.3". फ्रैक्टल सेट की ज्यामिति. Cambridge, UK: Cambridge University Press. ISBN 0-521-25694-1.
- ↑ Hutchinson, John E. (1981). "भग्न और स्व समानता". Indiana Univ. Math. J. 30 (5): 713–747. doi:10.1512/iumj.1981.30.30055.
अग्रिम पठन
- Dodson, M. Maurice; Kristensen, Simon (June 12, 2003). "Hausdorff Dimension and Diophantine Approximation". Fractal Geometry and Applications: A Jubilee of Benoît Mandelbrot. Proceedings of Symposia in Pure Mathematics. Vol. 72. pp. 305–347. arXiv:math/0305399. Bibcode:2003math......5399D. doi:10.1090/pspum/072.1/2112110. ISBN 9780821836378. S2CID 119613948.
- Hurewicz, Witold; Wallman, Henry (1948). Dimension Theory. Princeton University Press.
- E. Szpilrajn (1937). "La dimension et la mesure". Fundamenta Mathematicae. 28: 81–9. doi:10.4064/fm-28-1-81-89.
- Marstrand, J. M. (1954). "The dimension of cartesian product sets". Proc. Cambridge Philos. Soc. 50 (3): 198–202. Bibcode:1954PCPS...50..198M. doi:10.1017/S0305004100029236. S2CID 122475292.
- Mattila, Pertti (1995). Geometry of sets and measures in Euclidean spaces. Cambridge University Press. ISBN 978-0-521-65595-8.
- A. S. Besicovitch (1929). "On Linear Sets of Points of Fractional Dimensions". Mathematische Annalen. 101 (1): 161–193. doi:10.1007/BF01454831. S2CID 125368661.
- A. S. Besicovitch; H. D. Ursell (1937). "Sets of Fractional Dimensions". Journal of the London Mathematical Society. 12 (1): 18–25. doi:10.1112/jlms/s1-12.45.18.
Several selections from this volume are reprinted in Edgar, Gerald A. (1993). Classics on fractals. Boston: Addison-Wesley. ISBN 0-201-58701-7. See chapters 9,10,11 - F. Hausdorff (March 1919). "Dimension und äußeres Maß" (PDF). Mathematische Annalen. 79 (1–2): 157–179. doi:10.1007/BF01457179. hdl:10338.dmlcz/100363. S2CID 122001234.
- Hutchinson, John E. (1981). "Fractals and self similarity". Indiana Univ. Math. J. 30 (5): 713–747. doi:10.1512/iumj.1981.30.30055.
- Falconer, Kenneth (2003). Fractal Geometry: Mathematical Foundations and Applications (2nd ed.). John Wiley and Sons.
बाहरी संबंध
- Hausdorff dimension at Encyclopedia of Mathematics
- Hausdorff measure at Encyclopedia of Mathematics