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

From Vigyanwiki
(Created page with "{{otheruses4|rectifiable sets in measure theory|rectifiable curves|Arc length}} गणित में, एक सुधार योग्य सेट एक ऐसा स...")
 
No edit summary
Line 1: Line 1:
{{otheruses4|rectifiable sets in measure theory|rectifiable curves|Arc length}}
{{otheruses4|माप सिद्धांत में सुधार योग्य सेट|सुधार योग्य वक्र|वक्राकार लंबाई}}
गणित में, एक सुधार योग्य सेट एक ऐसा सेट होता है जो एक निश्चित [[माप सिद्धांत]] | माप-सैद्धांतिक अर्थ में सुचारू होता है। यह [[सुधार योग्य वक्र]] के विचार का उच्च आयामों तक विस्तार है; मोटे तौर पर कहें तो, एक सुधार योग्य सेट एक टुकड़ा-वार चिकनी सेट का एक कठोर सूत्रीकरण है। इस प्रकार, इसमें चिकनी [[कई गुना]] के कई वांछनीय गुण हैं, जिनमें स्पर्शरेखा स्थान भी शामिल हैं जो [[लगभग हर जगह]] परिभाषित हैं। [[ज्यामितीय माप सिद्धांत]] में सुधार योग्य सेट अध्ययन का अंतर्निहित उद्देश्य हैं।
 
 
गणित में, एक सुधार योग्य सेट एक ऐसा सेट होता है जो एक निश्चित माप-सैद्धांतिक अर्थ में सुचारू होता है। यह सुधार योग्य वक्र के विचार का उच्च आयामों तक विस्तार है; समान्य रूप से  कहें तो, एक सुधार योग्य सेट एक टुकड़ा-वार चिकनी सेट का एक कठोर सूत्रीकरण है। इस प्रकार, इसमें स्मूथ मैनिफ़ोल्ड के कई वांछनीय गुण हैं, जिनमें स्पर्शरेखा स्थान भी सम्मिलित हैं जो लगभग हर जगह परिभाषित हैं। ज्यामितीय माप सिद्धांत में सुधार योग्य सेट अध्ययन का अंतर्निहित उद्देश्य हैं।


==परिभाषा==
==परिभाषा==
एक [[बोरेल सेट]] <math>E</math> यूक्लिडियन अंतरिक्ष का <math>\mathbb{R}^n</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>
ऐसे कि <math>m</math>-हौसडॉर्फ माप <math>\mathcal{H}^m</math> का
ऐसा कि m-हॉसडॉर्फ़ का माप <math>\mathcal{H}^m</math> है


:<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>
शून्य है. यहां बैकस्लैश सेट अंतर को दर्शाता है। समान रूप से, <math>f_i</math> परिभाषा में बदलाव किए बिना [[लिप्सचिट्ज़ निरंतर]] माना जा सकता है।<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>m</math>-आयामी, लेकिन इसके बजाय इसकी आवश्यकता है <math>E</math> सेटों का एक गणनीय संघ है जो कि कुछ बंधे हुए उपसमुच्चय से लिप्सचिट्ज़ मानचित्र की छवि है <math>\mathbb{R}^n</math>.<ref>{{harvtxt|Federer|1969|pp=3.2.14}}</ref>
:<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>
Line 18: Line 20:


{{harvtxt|Federer|1969|pp=251–252}} सामान्य मीट्रिक स्थान X में m-सुधार योग्य सेट E के लिए निम्नलिखित शब्दावली देता है।
{{harvtxt|Federer|1969|pp=251–252}} सामान्य मीट्रिक स्थान X में m-सुधार योग्य सेट E के लिए निम्नलिखित शब्दावली देता है।
# ई है '<math>m</math> लिप्सचिट्ज़ मानचित्र मौजूद होने पर इसे सुधारा जा सकता है <math>f:K \to E</math> कुछ परिबद्ध उपसमुच्चय के लिए <math>K</math> का <math>\mathbb{R}^m</math> पर <math>E</math>.
# ई 'गिनती योग्य' है <math>m</math> सुधार योग्य जब ''ई'' एक गणनीय परिवार के मिलन के बराबर हो <math>m</math> सुधार योग्य सेट.
# ई 'गिनती योग्य' है <math>(\phi,m)</math> जब सुधार योग्य हो <math>\phi</math> X पर एक माप है और एक गणनीय है <math>m</math> सुधार योग्य समुच्चय F इस प्रकार है <math>\phi(E\setminus F)=0</math>.
# ई है '<math>(\phi,m)</math> सुधार योग्य जब ''ई'' गणनीय हो <math>(\phi,m)</math> सुधार योग्य और <math>\phi(E)<\infty</math>
# ई 'विशुद्ध रूप से' है <math>(\phi,m)</math> जब ठीक नहीं किया जा सकता <math>\phi</math> X पर एक माप है और E में संख्या शामिल है <math>m</math> सुधार योग्य सेट एफ के साथ <math>\phi(F)>0</math>.


परिभाषा 3 के साथ <math>\phi=\mathcal{H}^m</math> और <math>X=\mathbb{R}^n</math> यूक्लिडियन रिक्त स्थान के उपसमुच्चय के लिए उपरोक्त परिभाषा के सबसे करीब आता है।
# E तब सुधार योग्य होता है जब <math>\mathbb{R}^m</math> के कुछ परिबद्ध उपसमुच्चय <math>K</math> के लिए <math>E</math> पर लिप्सचिट्ज़ मानचित्र <math>f:K \to E</math> उपस्थित होता है।
#E गणनीय रूप से <math>m</math> सुधार योग्य है जब E, m सुधार योग्य सेटों के गणनीय परिवार के मिलन के बराबर होता है।
#E गणनीय रूप से <math>(\phi,m)</math> सुधार योग्य है जब <math>\phi</math> X पर एक माप है और एक गणनीय <math>m</math> सुधार योग्य सेट F है जैसे कि <math>\phi(E\setminus F)=0</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 सम्मिलित नहीं है।
 
'''परिभाषा 3 के साथ <math>\phi=\mathcal{H}^m</math> और'''
 
<math>\phi=\mathcal{H}^m</math> और <math>X=\mathbb{R}^n</math> के साथ परिभाषा 3 यूक्लिडियन रिक्त स्थान के उपसमुच्चय के लिए उपरोक्त परिभाषा के सबसे समीप आती है।
#'''जूद होने पर इसे सुधारा जा सकता है <math>f:K \to E</math> कुछ परिबद्ध उपसमुच्चय के लिए <math>K</math> का <math>\mathbb{R}^m</math> पर <math>E</math>.'''
# '''E 'गिनती योग्य' है <math>m</math> सुधार योग्य जब ''ई'' एक गणनीय परिवार'''
 
'''<math>X=\mathbb{R}^n</math> यूक्लिडियन रिक्त स्थान के उपसमुच्चय के लिए उपरोक्त परिभाषा के सबसे करीब आता है।'''


==टिप्पणियाँ==
==टिप्पणियाँ==

Revision as of 17:18, 9 July 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 के साथ और

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

  1. जूद होने पर इसे सुधारा जा सकता है कुछ परिबद्ध उपसमुच्चय के लिए का पर .
  2. E 'गिनती योग्य' है सुधार योग्य जब एक गणनीय परिवार

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

टिप्पणियाँ

  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.


संदर्भ


बाहरी संबंध