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

From Vigyanwiki
(Created page with "{{otheruses4|rectifiable sets in measure theory|rectifiable curves|Arc length}} गणित में, एक सुधार योग्य सेट एक ऐसा स...")
 
No edit summary
 
(7 intermediate revisions by 5 users not shown)
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>
दो आयामों में विशुद्ध रूप से 1-असुधार्य सेट का एक मानक उदाहरण स्मिथ-वोल्टेरा-कैंटर सेट समय का क्रॉस-उत्पाद है।
दो आयामों में विशुद्ध रूप से 1-असुधार्य समुच्चय का एक मानक उदाहरण स्मिथ-वोल्टेरा-कैंटर समुच्चय समय का क्रॉस-उत्पाद है।


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


{{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 सम्मिलित नहीं है।
<math>\phi=\mathcal{H}^m</math> और <math>X=\mathbb{R}^n</math> के साथ परिभाषा 3 यूक्लिडियन रिक्त समष्टि के उपसमुच्चय के लिए उपरोक्त परिभाषा के सबसे समीप आती है।
==टिप्पणियाँ==
==टिप्पणियाँ==
{{reflist}}
{{reflist}}
Line 50: Line 51:
==बाहरी संबंध==
==बाहरी संबंध==
* [https://www.encyclopediaofmath.org/index.php/Rectifiable_set Rectifiable set] at [http://www.encyclopediaofmath.org/ Encyclopedia of Mathematics]
* [https://www.encyclopediaofmath.org/index.php/Rectifiable_set Rectifiable set] at [http://www.encyclopediaofmath.org/ Encyclopedia of Mathematics]
[[Category: माप सिद्धांत]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 05/07/2023]]
[[Category:Created On 05/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:माप सिद्धांत]]

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.


संदर्भ


बाहरी संबंध