हॉसडॉर्फ माप

गणित में, हॉसडॉर्फ़ माप क्षेत्र और आयतन की पारंपरिक धारणाओं का गैर-पूर्णांक आयामों, विशेष रूप से भग्न और उनके हॉसडॉर्फ़ आयामों का सामान्यीकरण है। यह एक प्रकार का बाहरी माप है, जिसका नाम फ़ेलिक्स हॉसडॉर्फ़ के नाम पर रखा गया है, जो कि $$\R^n$$ में या, अधिक सामान्यतः, किसी भी मीट्रिक स्थान में प्रत्येक समुच्चय के लिए [0,∞] में एक संख्या निर्दिष्ट करता है।

शून्य-आयामी हॉसडॉर्फ माप समुच्चय में अंकों की संख्या है (यदि समुच्चय परिमित है) या ∞ यदि समुच्चय अनंत है। इसी तरह, एक साधारण वक्र का एक आयामी हॉसडॉर्फ माप $$\R^n$$ वक्र की लंबाई के बराबर है, और लेब्सग्यू माप के द्वि-आयामी हॉसडॉर्फ माप#लेब्सग्यू माप का निर्माण|लेब्सग्यू-मापने योग्य उपसमुच्चय $$\R^2$$ समुच्चय के क्षेत्रफल के समानुपाती होता है. इस प्रकार, हॉसडॉर्फ माप की अवधारणा लेब्सेग माप और इसकी गिनती, लंबाई और क्षेत्र की धारणाओं को सामान्यीकृत करती है। यह वॉल्यूम को भी सामान्यीकृत करता है। वास्तव में, किसी भी d ≥ 0 के लिए d-आयामी हॉसडॉर्फ माप हैं, जो आवश्यक रूप से एक पूर्णांक नहीं है। ये माप ज्यामितीय माप सिद्धांत में मौलिक हैं। वे हार्मोनिक विश्लेषण या संभावित सिद्धांत में स्वाभाविक रूप से प्रकट होते हैं।

परिभाषा
होने देना $$(X,\rho)$$ एक मीट्रिक स्थान बनें. किसी भी उपसमुच्चय के लिए $$U\subset X$$, होने देना $$\operatorname{diam}U$$ इसके व्यास को निरूपित करें, अर्थात


 * $$\operatorname{diam} U :=\sup\{\rho(x,y):x,y\in U\}, \quad \operatorname{diam} \emptyset:=0.$$

होने देना $$S$$ का कोई उपसमुच्चय हो $$X,$$ और $$\delta>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 \},$$

जहां अनंत सभी गणनीय आवरणों के ऊपर है $$S$$ समुच्चय द्वारा $$U_i\subset X$$ संतुष्टि देने वाला $$ \operatorname{diam} U_i<\delta$$.

ध्यान दें कि $$H^d_\delta(S)$$ में एकरसता नहीं बढ़ रही है $$\delta$$ बड़े के बाद से $$ \delta $$ है, समुच्चयों के जितने अधिक संग्रह की अनुमति है, न्यूनतम उतना बड़ा नहीं है। इस प्रकार, $$\lim_{\delta\to 0}H^d_\delta(S)$$ मौजूद है लेकिन अनंत हो सकता है। होने देना


 * $$ H^d(S):=\sup_{\delta>0} H^d_\delta(S)=\lim_{\delta\to 0}H^d_\delta(S).$$

यह देखा जा सकता है $$H^d(S)$$ एक बाहरी माप है (अधिक सटीक रूप से, यह एक मीट्रिक बाहरी माप है)। कैराथोडोरी के विस्तार प्रमेय के अनुसार, बाहरी माप#औपचारिक परिभाषाओं|कैराथोडोरी-मापने योग्य समुच्चय के σ-क्षेत्र पर इसका प्रतिबंध एक माप है। इसे कहा जाता है $$d$$-आयामी हॉसडॉर्फ माप $$S$$. मीट्रिक बाहरी माप गुण के कारण, सभी बोरेल उपसमुच्चय $$X$$ हैं $$H^d$$ मापने योग्य.

उपरोक्त परिभाषा में आवरण में समुच्चय मनमाने हैं। हालाँकि, हमें कवरिंग समुच्चय को खुला या बंद करने की आवश्यकता हो सकती है, या सामान्य स्थानों में भी उत्तल होना चाहिए, जिससे वही परिणाम मिलेगा $$H^d_\delta(S)$$ संख्याएँ, इसलिए वही माप। में $$\R^n$$ कवरिंग समुच्चय को गेंद तक सीमित रखने से माप बदल सकते हैं लेकिन मापे गए समुच्चय का आयाम नहीं बदलता है।

हॉसडॉर्फ माप के गुण
ध्यान दें कि यदि d एक धनात्मक पूर्णांक है, तो d-आयामी हॉसडॉर्फ माप $$\R^d$$ सामान्य डी-आयामी लेबेस्ग्यू माप का पुनर्स्केलिंग है $$\lambda_d$$, जिसे सामान्यीकृत किया गया है ताकि इकाई घन का लेबेस्ग माप [0,1]d1 है। वास्तव में, किसी भी बोरेल समुच्चय E के लिए,


 * $$ \lambda_d(E) = 2^{-d} \alpha_d H^d(E),$$

जहां αd इकाई N-sphere|d-ball का आयतन है; इसे गामा फ़ंक्शन|यूलर के गामा फ़ंक्शन का उपयोग करके व्यक्त किया जा सकता है


 * $$\alpha_d =\frac{\Gamma\left(\frac12\right)^d}{\Gamma\left(\frac{d}{2}+1\right)} =\frac{\pi^{d/2}}{\Gamma\left(\frac{d}{2}+1\right)}.$$

यह है
 * $$ \lambda_d(E) = \beta_d H^d(E)$$,

कहाँ $$\beta_d$$ इकाई व्यास डी-बॉल का आयतन है।

'टिप्पणी'। कुछ लेखक हॉसडॉर्फ माप की परिभाषा को यहां चुनी गई परिभाषा से थोड़ा अलग अपनाते हैं, अंतर यह है कि मूल्य $$H^d(E)$$ ऊपर परिभाषित कारक से गुणा किया जाता है $$\beta_d = 2^{-d} \alpha_d$$, ताकि हॉसडॉर्फ डी-आयामी माप यूक्लिडियन अंतरिक्ष के मामले में लेबेस्ग माप के साथ बिल्कुल मेल खाता हो।

हौसडॉर्फ़ आयाम के साथ संबंध
यह पता चला है कि $$H^d(S)$$ अधिकतम एक के लिए एक सीमित, गैर-शून्य मान हो सकता है $$d$$. अर्थात्, हॉसडॉर्फ माप एक निश्चित आयाम के ऊपर किसी भी मान के लिए शून्य है और एक निश्चित आयाम के नीचे अनंत है, इस विचार के अनुरूप है कि एक रेखा का क्षेत्र शून्य है और 2डी आकार की लंबाई कुछ अर्थों में अनंत है। यह हॉसडॉर्फ़ आयाम की कई संभावित समकक्ष परिभाषाओं में से एक की ओर ले जाता है:
 * $$\dim_{\mathrm{Haus}}(S)=\inf\{d\ge 0:H^d(S)=0\}=\sup\{d\ge 0:H^d(S)=\infty\},$$

हम कहाँ लेते हैं $$\inf\emptyset=+\infty$$ और $$\sup\emptyset=0$$.

ध्यान दें कि इसकी गारंटी नहीं है कि हॉसडॉर्फ़ माप कुछ d के लिए परिमित और गैर-शून्य होना चाहिए, और वास्तव में हॉसडॉर्फ़ आयाम पर माप अभी भी शून्य हो सकता है; इस मामले में, हॉसडॉर्फ आयाम अभी भी शून्य और अनंत के मापों के बीच एक परिवर्तन बिंदु के रूप में कार्य करता है।

सामान्यीकरण
ज्यामितीय माप सिद्धांत और संबंधित क्षेत्रों में, मिन्कोव्स्की सामग्री का उपयोग अक्सर मीट्रिक माप स्थान के सबसमुच्चय के आकार को मापने के लिए किया जाता है। यूक्लिडियन अंतरिक्ष में उपयुक्त डोमेन के लिए, आकार की दो धारणाएं मेल खाती हैं, सम्मेलनों के आधार पर समग्र सामान्यीकरण तक। अधिक सटीक रूप से, का एक उपसमुच्चय $$\R^n$$ सुधार योग्य समुच्चय कहा जाता है|$$m$$-अगर यह एक परिबद्ध समुच्चय की छवि है तो इसे सुधारा जा सकता है $$\R^m$$ लिप्सचिट्ज़ फ़ंक्शन के अंतर्गत। अगर $$m<n$$, फिर $$m$$एक बंद की -आयामी मिन्कोव्स्की सामग्री $$m$$- का सुधार योग्य उपसमुच्चय $$\R^n$$ के बराबर है $$2^{-m}\alpha_m$$ कई बार $$m$$-आयामी हॉसडॉर्फ माप.

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


 * माप की परिभाषा में $$(\operatorname{diam}U_i)^d$$ से प्रतिस्थापित कर दिया गया है $$\phi(U_i),$$ कहाँ $$\phi$$ क्या कोई मोनोटोन बढ़ता समुच्चय फ़ंक्शन संतोषजनक है $$\phi(\emptyset )=0.$$

यह हॉसडॉर्फ माप है $$S$$ आयाम फ़ंक्शन के साथ $$\phi,$$ या $$\phi$$-हौसडॉर्फ माप. ए $$d$$-आयामी समुच्चय $$S$$ संतुष्ट कर सकता है $$H^d(S)=0,$$ लेकिन $$ H^\phi(S)\in (0,\infty)$$ एक उपयुक्त के साथ $$\phi.$$ गेज फ़ंक्शंस के उदाहरणों में शामिल हैं


 * $$\phi(t)=t^2 \log\log\frac{1}{t} \quad \text{or} \quad \phi(t) = t^2\log\frac{1}{t}\log\log\log\frac{1}{t}.$$

पूर्व लगभग निश्चित रूप से सकारात्मक और देता है $$\sigma$$ब्राउनियन पथ के लिए -परिमित माप $$\R^n$$ कब $$n>2$$, और बाद वाला कब $$n=2$$.

यह भी देखें

 * हॉसडॉर्फ़ आयाम
 * ज्यामितीय माप सिद्धांत
 * माप सिद्धांत
 * बाहरी माप

बाहरी संबंध

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