संशोधनीय समुच्चय (रेक्टिफिएबल सेट): Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
Line 1: Line 1:
{{otheruses4|माप सिद्धांत में सुधार योग्य सेट|सुधार योग्य वक्र|वक्राकार लंबाई}}
{{otheruses4|माप सिद्धांत में सुधार योग्य समुच्चय|सुधार योग्य वक्र|वक्राकार लंबाई}}




गणित में, एक '''संशोधनीय समुच्चय''' एक ऐसा सेट होता है जो एक निश्चित माप-सैद्धांतिक अर्थ में सुचारू होता है। यह सुधार योग्य वक्र के विचार का उच्च आयामों तक विस्तार है; समान्य रूप से कहें तो, एक संशोधनीय समुच्चय एक टुकड़ा-वार चिकनी सेट का एक कठोर सूत्रीकरण है। इस प्रकार, इसमें स्मूथ मैनिफ़ोल्ड के कई वांछनीय गुण हैं, जिनमें स्पर्शरेखा स्थान भी सम्मिलित हैं जो लगभग हर जगह परिभाषित हैं। ज्यामितीय माप सिद्धांत में संशोधनीय समुच्चय अध्ययन का अंतर्निहित उद्देश्य हैं।
गणित में, एक '''संशोधनीय समुच्चय''' एक ऐसा समुच्चय होता है जो एक निश्चित माप-सैद्धांतिक अर्थ में सुचारू होता है। यह सुधार योग्य वक्र के विचार का उच्च आयामों तक विस्तार है; समान्य रूप से कहें तो, एक संशोधनीय समुच्चय एक खंड-वार स्मूथ समुच्चय का एक कठोर सूत्रीकरण है। इस प्रकार, इसमें स्मूथ मैनिफ़ोल्ड के कई वांछनीय गुण हैं, जिनमें स्पर्शरेखा समष्टि भी सम्मिलित हैं जो लगभग हर जगह परिभाषित हैं। ज्यामितीय माप सिद्धांत में संशोधनीय समुच्चय अध्ययन का अंतर्निहित उद्देश्य हैं।


==परिभाषा                                            ==
==परिभाषा                                            ==
यूक्लिडियन स्पेस <math>\mathbb{R}^n</math> के एक बोरेल उपसमुच्चय <math>E</math> को <math>m</math>-संशोधनीय समुच्चय कहा जाता है यदि <math>E</math> हॉसडॉर्फ आयाम <math>m</math> का है, और लगातार अलग-अलग मानचित्रों का एक गणनीय संग्रह <math>\{f_i\}</math> उपस्थित है।
यूक्लिडियन समष्टि <math>\mathbb{R}^n</math> के एक बोरेल उपसमुच्चय <math>E</math> को <math>m</math>-संशोधनीय समुच्चय कहा जाता है यदि <math>E</math> हॉसडॉर्फ आयाम <math>m</math> का है, और लगातार अलग-अलग मानचित्रों का एक गणनीय संग्रह <math>\{f_i\}</math> उपस्थित है।


:<math>f_i:\mathbb{R}^m \to \mathbb{R}^n</math>
:<math>f_i:\mathbb{R}^m \to \mathbb{R}^n</math>
Line 11: Line 11:


:<math>E\setminus \bigcup_{i=0}^\infty f_i\left(\mathbb{R}^m\right)</math>
:<math>E\setminus \bigcup_{i=0}^\infty f_i\left(\mathbb{R}^m\right)</math>
:<br />जैसे कि <math>f_i</math> के m-हॉसडॉर्फ़ माप को बिना परिभाषा में बदलाव किए लिप्सचिट्ज़ निरंतर माना जा सकता है।।<ref>{{harvnb|Simon|1984|p=58}}, calls this definition "countably ''m''-rectifiable".</ref><ref>{{SpringerEOM|title=Rectifiable set|id=Rectifiable_set&oldid=29261}}</ref><ref>{{MathWorld|title=Rectifiable Set|id=RectifiableSet|access-date=2020-04-17}}</ref> अन्य लेखकों की अलग-अलग परिभाषाएँ हैं, उदाहरण के लिए, <math>E</math> को एम-आयामी होने की आवश्यकता नहीं है, किंतु इसकी आवश्यकता है कि <math>E</math> सेटों का एक गणनीय संघ है जो <math>\mathbb{R}^n</math> के कुछ बंधे उपसमुच्चय से लिप्सचिट्ज़ मानचित्र की छवि है
:<br />जैसे कि <math>f_i</math> के m-हॉसडॉर्फ़ माप को बिना परिभाषा में बदलाव किए लिप्सचिट्ज़ निरंतर माना जा सकता है।।<ref>{{harvnb|Simon|1984|p=58}}, calls this definition "countably ''m''-rectifiable".</ref><ref>{{SpringerEOM|title=Rectifiable set|id=Rectifiable_set&oldid=29261}}</ref><ref>{{MathWorld|title=Rectifiable Set|id=RectifiableSet|access-date=2020-04-17}}</ref> अन्य लेखकों की अलग-अलग परिभाषाएँ हैं, उदाहरण के लिए, <math>E</math> को एम-आयामी होने की आवश्यकता नहीं है, किंतु इसकी आवश्यकता है कि <math>E</math> समुच्चयों का एक गणनीय संघ है जो <math>\mathbb{R}^n</math> के कुछ बंधे उपसमुच्चय से लिप्सचिट्ज़ मानचित्र की छवि है
एक समुच्चय <math>E</math> को पूर्णतः <math>m</math>-असुधार्य कहा जाता है यदि प्रत्येक (निरंतर अवकलनीय) <math>f:\mathbb{R}^m \to \mathbb{R}^n</math> के लिए, एक के पास है  
एक समुच्चय <math>E</math> को पूर्णतः <math>m</math>-असुधार्य कहा जाता है यदि प्रत्येक (निरंतर अवकलनीय) <math>f:\mathbb{R}^m \to \mathbb{R}^n</math> के लिए, एक के पास है  


:<math>\mathcal{H}^m \left(E \cap f\left(\mathbb{R}^m\right)\right)=0.</math>
:<math>\mathcal{H}^m \left(E \cap f\left(\mathbb{R}^m\right)\right)=0.</math>
दो आयामों में विशुद्ध रूप से 1-असुधार्य सेट का एक मानक उदाहरण स्मिथ-वोल्टेरा-कैंटर सेट समय का क्रॉस-उत्पाद है।
दो आयामों में विशुद्ध रूप से 1-असुधार्य समुच्चय का एक मानक उदाहरण स्मिथ-वोल्टेरा-कैंटर समुच्चय समय का क्रॉस-उत्पाद है।


=== मीट्रिक स्थानों में संशोधनीय समुच्चय ===
=== मीट्रिक समष्टि में संशोधनीय समुच्चय ===


{{harvtxt|Federer|1969|pp=251–252}} सामान्य मीट्रिक स्थान X में m-संशोधनीय समुच्चय E के लिए निम्नलिखित शब्दावली देता है।
{{harvtxt|Federer|1969|pp=251–252}} सामान्य मीट्रिक समष्टि X में m-संशोधनीय समुच्चय E के लिए निम्नलिखित शब्दावली देता है।


# E तब सुधार योग्य होता है जब <math>\mathbb{R}^m</math> के कुछ परिबद्ध उपसमुच्चय <math>K</math> के लिए <math>E</math> पर लिप्सचिट्ज़ मानचित्र <math>f:K \to E</math> उपस्थित होता है।
# E तब सुधार योग्य होता है जब <math>\mathbb{R}^m</math> के कुछ परिबद्ध उपसमुच्चय <math>K</math> के लिए <math>E</math> पर लिप्सचिट्ज़ मानचित्र <math>f:K \to E</math> उपस्थित होता है।
Line 26: Line 26:
#E तब <math>(\phi,m)</math> सुधार योग्य है जब E गणनीय रूप से <math>(\phi,m)</math> सुधार योग्य है और <math>\phi(E)<\infty</math> है।
#E तब <math>(\phi,m)</math> सुधार योग्य है जब E गणनीय रूप से <math>(\phi,m)</math> सुधार योग्य है और <math>\phi(E)<\infty</math> है।
#E पूरी तरह से <math>(\phi,m)</math> अप्राप्य है जब <math>\phi</math> X पर एक माप है और E में <math>\phi(F)>0</math> के साथ कोई <math>m</math> संशोधनीय समुच्चय F सम्मिलित नहीं है।
#E पूरी तरह से <math>(\phi,m)</math> अप्राप्य है जब <math>\phi</math> X पर एक माप है और E में <math>\phi(F)>0</math> के साथ कोई <math>m</math> संशोधनीय समुच्चय F सम्मिलित नहीं है।
<math>\phi=\mathcal{H}^m</math> और <math>X=\mathbb{R}^n</math> के साथ परिभाषा 3 यूक्लिडियन रिक्त स्थान के उपसमुच्चय के लिए उपरोक्त परिभाषा के सबसे समीप आती है।
<math>\phi=\mathcal{H}^m</math> और <math>X=\mathbb{R}^n</math> के साथ परिभाषा 3 यूक्लिडियन रिक्त समष्टि के उपसमुच्चय के लिए उपरोक्त परिभाषा के सबसे समीप आती है।
==टिप्पणियाँ==
==टिप्पणियाँ==
{{reflist}}
{{reflist}}

Latest revision as of 10:18, 6 September 2023


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

परिभाषा

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

ऐसा कि m-हॉसडॉर्फ़ का माप है


जैसे कि के m-हॉसडॉर्फ़ माप को बिना परिभाषा में बदलाव किए लिप्सचिट्ज़ निरंतर माना जा सकता है।।[1][2][3] अन्य लेखकों की अलग-अलग परिभाषाएँ हैं, उदाहरण के लिए, को एम-आयामी होने की आवश्यकता नहीं है, किंतु इसकी आवश्यकता है कि समुच्चयों का एक गणनीय संघ है जो के कुछ बंधे उपसमुच्चय से लिप्सचिट्ज़ मानचित्र की छवि है

एक समुच्चय को पूर्णतः -असुधार्य कहा जाता है यदि प्रत्येक (निरंतर अवकलनीय) के लिए, एक के पास है

दो आयामों में विशुद्ध रूप से 1-असुधार्य समुच्चय का एक मानक उदाहरण स्मिथ-वोल्टेरा-कैंटर समुच्चय समय का क्रॉस-उत्पाद है।

मीट्रिक समष्टि में संशोधनीय समुच्चय

Federer (1969, pp. 251–252) सामान्य मीट्रिक समष्टि X में m-संशोधनीय समुच्चय E के लिए निम्नलिखित शब्दावली देता है।

  1. E तब सुधार योग्य होता है जब के कुछ परिबद्ध उपसमुच्चय के लिए पर लिप्सचिट्ज़ मानचित्र उपस्थित होता है।
  2. E गणनीय रूप से सुधार योग्य है जब E, m संशोधनीय समुच्चयों के गणनीय परिवार के मिलन के बराबर होता है।
  3. E गणनीय रूप से सुधार योग्य है जब X पर एक माप है और एक गणनीय संशोधनीय समुच्चय F है जैसे कि
  4. E तब सुधार योग्य है जब E गणनीय रूप से सुधार योग्य है और है।
  5. E पूरी तरह से अप्राप्य है जब X पर एक माप है और E में के साथ कोई संशोधनीय समुच्चय F सम्मिलित नहीं है।

और के साथ परिभाषा 3 यूक्लिडियन रिक्त समष्टि के उपसमुच्चय के लिए उपरोक्त परिभाषा के सबसे समीप आती है।

टिप्पणियाँ

  1. Simon 1984, p. 58, calls this definition "countably m-rectifiable".
  2. "Rectifiable set", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
  3. Weisstein, Eric W. "Rectifiable Set". MathWorld. Retrieved 2020-04-17.


संदर्भ


बाहरी संबंध