हॉसडॉर्फ माप: Difference between revisions

Latest revision as of 17:07, 12 July 2023

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

शून्य-आयामी हॉसडॉर्फ माप समुच्चय में अंकों की संख्या है (यदि समुच्चय परिमित है) या ∞ यदि समुच्चय अनंत है। इसी तरह, एक साधारण वक्र का एक-आयामी हॉसडॉर्फ माप $\mathbb {R} ^{n}$ वक्र की लंबाई के बराबर है, और $\mathbb {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_{\delta }^{d}(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_{\delta }^{d}(S)$ , $\delta$ में एकलय न बढ़ने वाला है क्योंकि $\delta$ जितना बड़ा होगा, समुच्चयों के उतने ही अधिक संग्रह की अनुमति होगी, जिससे न्यूनतम बड़ा नहीं होगा। इस प्रकार, $limit Underscript delta right arrow 0 Endscripts upper H Subscript delta Superscript d Baseline left parenthesis upper S right parenthesis$

@@ Line 12: / Line 12: @@
 को परिभाषित करें जहां न्यूनतम <math>S</math> के सभी गणनीय आवरण पर समुच्चय <math>U_i\subset X</math> संतोषजनक <math> \operatorname{diam} U_i<\delta</math> से अधिक है।.
-ध्यान दें कि <math>H^d_\delta(S)</math>, <math>\delta</math> में मोनोटोन नॉनक्रीजिंग है क्योंकि <math>\delta</math> जितना बड़ा होगा, समुच्चयों के उतने ही अधिक संग्रह की अनुमति होगी, जिससे न्यूनतम बड़ा नहीं होगा। इस प्रकार, <math>\lim_{\delta\to 0}H^d_\delta(S)</math> का अस्तित्व है लेकिन अनंत हो सकता है। मान लीजिए
+ध्यान दें कि <math>H^d_\delta(S)</math>, <math>\delta</math> में एकलय न बढ़ने वाला है क्योंकि <math>\delta</math> जितना बड़ा होगा, समुच्चयों के उतने ही अधिक संग्रह की अनुमति होगी, जिससे न्यूनतम बड़ा नहीं होगा। इस प्रकार, <math>\lim_{\delta\to 0}H^d_\delta(S)</math> का अस्तित्व है लेकिन अनंत हो सकता है। मान लीजिए
 :<math> H^d(S):=\sup_{\delta>0} H^d_\delta(S)=\lim_{\delta\to 0}H^d_\delta(S).</math>
@@ Line 21: / Line 21: @@
 ==हॉसडॉर्फ माप के गुण==
-ध्यान दें कि यदि d एक धनात्मक पूर्णांक है, तो d-आयामी हॉसडॉर्फ माप <math>\R^d</math> सामान्य डी-आयामी लेबेस्ग्यू माप का पुनर्स्केलिंग है <math>\lambda_d</math>, जिसे सामान्यीकृत किया गया है ताकि इकाई घन का लेबेस्ग माप [0,1]<sup>d</sup>1 है। वास्तव में, किसी भी बोरेल समुच्चय E के लिए,
+ध्यान दें कि यदि d एक धनात्मक पूर्णांक है, तो <math>\R^d</math> का d-आयामी हॉसडॉर्फ माप सामान्य डी-आयामी लेबेस्ग माप <math>\lambda_d</math> का पुनः पैमाना है, जिसे सामान्यीकृत किया जाता है ताकि इकाई घन का लेबेस्ग माप [0,1]<sup>d</sup> हो। 1. वास्तव में, किसी भी बोरेल समुच्चय E के लिए,
 :<math> \lambda_d(E) = 2^{-d} \alpha_d H^d(E),</math>
-जहां α<sub>''d''</sub> इकाई N-sphere|d-ball का आयतन है; इसे गामा फ़ंक्शन|यूलर के गामा फ़ंक्शन का उपयोग करके व्यक्त किया जा सकता है
+जहां α<sub>''d''</sub> इकाई डी-बॉल का आयतन है;इसे यूलर के गामा फलन <math>\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)}</math> का उपयोग करके व्यक्त किया जा सकता है।
-:<math>\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)}.</math>
+:
-यह है
+यह <math> \lambda_d(E) = \beta_d H^d(E)</math> है जहां <math>\beta_d</math> इकाई व्यास डी-बॉल का आयतन है।
-:<math> \lambda_d(E) = \beta_d H^d(E)</math>,
-कहाँ <math>\beta_d</math> इकाई व्यास डी-बॉल का आयतन है।
-'टिप्पणी'। कुछ लेखक हॉसडॉर्फ माप की परिभाषा को यहां चुनी गई परिभाषा से थोड़ा अलग अपनाते हैं, अंतर यह है कि मूल्य <math>H^d(E)</math> ऊपर परिभाषित कारक से गुणा किया जाता है <math>\beta_d = 2^{-d} \alpha_d</math>, ताकि हॉसडॉर्फ डी-आयामी माप यूक्लिडियन अंतरिक्ष के मामले में लेबेस्ग माप के साथ बिल्कुल मेल खाता हो।
+'टिप्पणी'। कुछ लेखक हॉसडॉर्फ माप की परिभाषा को यहां चुनी गई परिभाषा से थोड़ा अलग अपनाते हैं, अंतर यह है कि ऊपर परिभाषित मान <math>H^d(E)</math> को कारक <math>\beta_d = 2^{-d} \alpha_d</math> से गुणा किया जाता है, ताकि हॉसडॉर्फ डी-आयामी माप यूक्लिडियन अंतरिक्ष के मामले में लेबेस्ग माप के साथ बिल्कुल मेल खाता हो।
 ==हौसडॉर्फ़ आयाम के साथ संबंध==
-{{main| Hausdorff dimension}}
+यह पता चला है कि <math>H^d(S)</math> का अधिकतम एक <math>d</math> के लिए एक सीमित, गैर-शून्य मान हो सकता है।  अर्थात्, हॉसडॉर्फ माप एक निश्चित आयाम के ऊपर किसी भी मान के लिए शून्य है और एक निश्चित आयाम के नीचे अनंत है, इस विचार के अनुरूप है कि एक रेखा का क्षेत्र शून्य है और 2डी आकार की लंबाई कुछ अर्थों में अनंत है। यह हॉसडॉर्फ़ आयाम की कई संभावित समकक्ष परिभाषाओं में से एक की ओर ले जाता है:
-यह पता चला है कि <math>H^d(S)</math> अधिकतम एक के लिए एक सीमित, गैर-शून्य मान हो सकता है <math>d</math>. अर्थात्, हॉसडॉर्फ माप एक निश्चित आयाम के ऊपर किसी भी मान के लिए शून्य है और एक निश्चित आयाम के नीचे अनंत है, इस विचार के अनुरूप है कि एक रेखा का क्षेत्र शून्य है और 2डी आकार की लंबाई कुछ अर्थों में अनंत है। यह हॉसडॉर्फ़ आयाम की कई संभावित समकक्ष परिभाषाओं में से एक की ओर ले जाता है:
 :<math>\dim_{\mathrm{Haus}}(S)=\inf\{d\ge 0:H^d(S)=0\}=\sup\{d\ge 0:H^d(S)=\infty\},</math>
-हम कहाँ लेते हैं
+जहां हम <math>\inf\emptyset=+\infty</math> और <math>\sup\emptyset=0</math> लेते हैं।
-<math>\inf\emptyset=+\infty</math>
-और
-<math>\sup\emptyset=0</math>.
-ध्यान दें कि इसकी गारंटी नहीं है कि हॉसडॉर्फ़ माप कुछ d के लिए परिमित और गैर-शून्य होना चाहिए, और वास्तव में हॉसडॉर्फ़ आयाम पर माप अभी भी शून्य हो सकता है; इस मामले में, हॉसडॉर्फ आयाम अभी भी शून्य और अनंत के मापों के बीच एक परिवर्तन बिंदु के रूप में कार्य करता है।
+ध्यान दें कि यह आश्वस्त नहीं है कि हॉसडॉर्फ़ माप किसी d के लिए परिमित और गैर-शून्य होना चाहिए, और वास्तव में हॉसडॉर्फ़ आयाम पर माप अभी भी शून्य हो सकता है; इस स्थिति में, हॉसडॉर्फ आयाम अभी भी शून्य और अनंत के मापों के बीच एक परिवर्तन बिंदु के रूप में कार्य करता है।
 ==सामान्यीकरण==
-ज्यामितीय माप सिद्धांत और संबंधित क्षेत्रों में, मिन्कोव्स्की सामग्री का उपयोग अक्सर मीट्रिक माप स्थान के सबसमुच्चय के आकार को मापने के लिए किया जाता है। यूक्लिडियन अंतरिक्ष में उपयुक्त डोमेन के लिए, आकार की दो धारणाएं मेल खाती हैं, सम्मेलनों के आधार पर समग्र सामान्यीकरण तक। अधिक सटीक रूप से, का एक उपसमुच्चय <math>\R^n</math> सुधार योग्य समुच्चय कहा जाता है|<math>m</math>-अगर यह एक [[परिबद्ध सेट|परिबद्ध समुच्चय]] की छवि है तो इसे सुधारा जा सकता है <math>\R^m</math> [[लिप्सचिट्ज़ फ़ंक्शन]] के अंतर्गत। अगर <math>m<n</math>, फिर <math>m</math>एक बंद की -आयामी मिन्कोव्स्की सामग्री <math>m</math>- का सुधार योग्य उपसमुच्चय <math>\R^n</math> के बराबर है <math>2^{-m}\alpha_m</math> कई बार <math>m</math>-आयामी हॉसडॉर्फ माप {{harv|Federer|1969|loc=Theorem 3.2.29}}.
+ज्यामितीय माप सिद्धांत और संबंधित क्षेत्रों में, मिन्कोव्स्की सामग्री का उपयोग प्रायः मीट्रिक माप स्थान के उपसमुच्चय के आकार को मापने के लिए किया जाता है। यूक्लिडियन अंतरिक्ष में उपयुक्त डोमेन के लिए,  सम्मेलनों के आधार पर समग्र सामान्यीकरण तक, आकार की दो धारणाएं मेल खाती हैं। अधिक सटीक रूप से, <math>\R^n</math> का एक उपसमुच्चय <math>m</math>-सुधार योग्य समुच्चय कहा जाता है यदि यह [[लिप्सचिट्ज़ फ़ंक्शन|लिप्सचिट्ज़ फलन]] के अंतर्गत <math>\R^m</math> में [[परिबद्ध सेट|परिबद्ध समुच्चय]] की छवि है। यदि <math>m<n</math>, तो <math>\R^n</math> के एक बंद <math>m</math>-सुधार योग्य उपसमुच्चय की <math>m</math>-आयामी मिन्कोव्स्की सामग्री,  <math>m</math>-आयामी हॉसडॉर्फ माप के <math>2^{-m}\alpha_m</math> गुना के बराबर है {{harv|Federer|1969|loc=Theorem 3.2.29}}।
-फ्रैक्टल ज्यामिति में, हॉसडॉर्फ आयाम वाले कुछ फ्रैक्टल <math>d</math> शून्य या अनंत हो <math>d</math>-आयामी हॉसडॉर्फ माप। उदाहरण के लिए, [[लगभग निश्चित रूप से]] समतल [[एक प्रकार कि गति]] की छवि में हॉसडॉर्फ़ आयाम 2 है और इसका द्वि-आयामी हॉसडॉर्फ़ माप शून्य है। ऐसे समुच्चयों के आकार को मापने के लिए, हॉसडॉर्फ माप की धारणा पर निम्नलिखित भिन्नता पर विचार किया जा सकता है:
+फ्रैक्टल ज्यामिति में, हॉसडॉर्फ़ आयाम <math>d</math> वाले कुछ फ्रैक्टल्स में शून्य या अनंत <math>d</math>-आयामी हॉसडॉर्फ़ माप होता है। उदाहरण के लिए, [[लगभग निश्चित रूप से]] समतल [[एक प्रकार कि गति|ब्राउनियन]] गति की छवि में हॉसडॉर्फ़ आयाम 2 है और इसका द्वि-आयामी हॉसडॉर्फ़ माप शून्य है। ऐसे समुच्चयों के "आकार" को "मापने" के लिए, हॉसडॉर्फ माप की धारणा पर निम्नलिखित भिन्नता पर विचार किया जा सकता है:
-:माप की परिभाषा में <math>(\operatorname{diam}U_i)^d</math> से प्रतिस्थापित कर दिया गया है <math>\phi(U_i),</math> कहाँ <math>\phi</math> क्या कोई मोनोटोन बढ़ता समुच्चय फ़ंक्शन संतोषजनक है <math>\phi(\emptyset )=0.</math>
+:माप की परिभाषा में <math>(\operatorname{diam}U_i)^d</math> को <math>\phi(U_i)</math> से प्रतिस्थापित कर दिया गया है, जहां <math>\phi</math> कोई भी मोनोटोन बढ़ता समुच्चय फलन है जो <math>\phi(\emptyset )=0</math> को संतुष्ट करता है।
-यह हॉसडॉर्फ माप है <math>S</math> आयाम फ़ंक्शन के साथ <math>\phi,</math> या <math>\phi</math>-हौसडॉर्फ माप. ए <math>d</math>-आयामी समुच्चय <math>S</math> संतुष्ट कर सकता है <math>H^d(S)=0,</math> लेकिन <math> H^\phi(S)\in (0,\infty)</math> एक उपयुक्त के साथ <math>\phi.</math> गेज फ़ंक्शंस के उदाहरणों में शामिल हैं
+यह गेज फलन <math>\phi,</math>, या <math>\phi</math>-हॉसडॉर्फ़ माप के साथ <math>S</math> का हॉसडॉर्फ़ माप है। एक <math>d</math>-आयामी समुच्चय <math>S</math> उपयुक्त <math>\phi</math> के साथ  <math>H^d(S)=0,</math> लेकिन <math> H^\phi(S)\in (0,\infty)</math> को संतुष्ट कर सकता है। एक गेज फलन के उदाहरणों में
-:<math>\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}.</math>
+<math>\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}</math>
-पूर्व लगभग निश्चित रूप से सकारात्मक और देता है <math>\sigma</math>ब्राउनियन पथ के लिए -परिमित माप <math>\R^n</math> कब <math>n>2</math>, और बाद वाला कब <math>n=2</math>.
+सम्मिलित  हैं।
+पूर्व, <math>\R^n</math> में ब्राउनियन पथ को लगभग निश्चित रूप से सकारात्मक और <math>\sigma</math>-परिमित माप देता है जब <math>n>2</math>, और बाद वाला जब <math>n=2</math> होता है।
 == यह भी देखें ==
@@ Line 79: / Line 75: @@
 {{Measure theory}}
-{{DEFAULTSORT:Hausdorff Measure}}[[Category: भग्न]] [[Category: उपाय (माप सिद्धांत)]] [[Category: मीट्रिक ज्यामिति]] [[Category: आयाम सिद्धांत]]
+{{DEFAULTSORT:Hausdorff Measure}}
-[[Category: Machine Translated Page]]
+[[Category:Collapse templates|Hausdorff Measure]]
-[[Category:Created On 03/07/2023]]
+[[Category:Created On 03/07/2023|Hausdorff Measure]]
+[[Category:Machine Translated Page|Hausdorff Measure]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists|Hausdorff Measure]]
+[[Category:Pages with script errors|Hausdorff Measure]]
+[[Category:Sidebars with styles needing conversion|Hausdorff Measure]]
+[[Category:Template documentation pages|Documentation/doc]]
+[[Category:Templates Vigyan Ready|Hausdorff Measure]]
+[[Category:Templates generating microformats|Hausdorff Measure]]
+[[Category:Templates that are not mobile friendly|Hausdorff Measure]]
+[[Category:Templates using TemplateData|Hausdorff Measure]]
+[[Category:Wikipedia metatemplates|Hausdorff Measure]]
+[[Category:आयाम सिद्धांत|Hausdorff Measure]]
+[[Category:उपाय (माप सिद्धांत)|Hausdorff Measure]]
+[[Category:भग्न|Hausdorff Measure]]
+[[Category:मीट्रिक ज्यामिति|Hausdorff Measure]]

Anonymous

Search

हॉसडॉर्फ माप: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 17:07, 12 July 2023

Contents

परिभाषा