संशोधनीय समुच्चय (रेक्टिफिएबल सेट): Difference between revisions
m (Abhishek moved page सुधार योग्य सेट to संशोधनीय समुच्चय (रेक्टिफिएबल सेट) without leaving a redirect) |
No edit summary |
||
(4 intermediate revisions by 4 users not shown) | |||
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>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> | :<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}} सामान्य मीट्रिक | {{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> उपस्थित होता है। | ||
#E गणनीय रूप से <math>m</math> सुधार योग्य है जब E, m | #E गणनीय रूप से <math>m</math> सुधार योग्य है जब E, m संशोधनीय समुच्चयों के गणनीय परिवार के मिलन के बराबर होता है। | ||
#E गणनीय रूप से <math>(\phi,m)</math> सुधार योग्य है जब <math>\phi</math> X पर एक माप है और एक गणनीय <math>m</math> | #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> सुधार योग्य है जब 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> | #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}} | ||
Line 51: | 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:Articles with hatnote templates targeting a nonexistent page]] | |||
[[Category: | |||
[[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 के लिए निम्नलिखित शब्दावली देता है।
- E तब सुधार योग्य होता है जब के कुछ परिबद्ध उपसमुच्चय के लिए पर लिप्सचिट्ज़ मानचित्र उपस्थित होता है।
- E गणनीय रूप से सुधार योग्य है जब E, m संशोधनीय समुच्चयों के गणनीय परिवार के मिलन के बराबर होता है।
- E गणनीय रूप से सुधार योग्य है जब X पर एक माप है और एक गणनीय संशोधनीय समुच्चय F है जैसे कि ।
- E तब सुधार योग्य है जब E गणनीय रूप से सुधार योग्य है और है।
- E पूरी तरह से अप्राप्य है जब X पर एक माप है और E में के साथ कोई संशोधनीय समुच्चय F सम्मिलित नहीं है।
और के साथ परिभाषा 3 यूक्लिडियन रिक्त समष्टि के उपसमुच्चय के लिए उपरोक्त परिभाषा के सबसे समीप आती है।
टिप्पणियाँ
- ↑ Simon 1984, p. 58, calls this definition "countably m-rectifiable".
- ↑ "Rectifiable set", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- ↑ Weisstein, Eric W. "Rectifiable Set". MathWorld. Retrieved 2020-04-17.
संदर्भ
- Federer, Herbert (1969), Geometric measure theory, Die Grundlehren der mathematischen Wissenschaften, vol. 153, New York: Springer-Verlag, pp. xiv+676, ISBN 978-3-540-60656-7, MR 0257325
- T.C.O'Neil (2001) [1994], "Geometric measure theory", Encyclopedia of Mathematics, EMS Press
- Simon, Leon (1984), Lectures on Geometric Measure Theory, Proceedings of the Centre for Mathematical Analysis, vol. 3, Canberra: Centre for Mathematics and its Applications (CMA), Australian National University, pp. VII+272 (loose errata), ISBN 0-86784-429-9, Zbl 0546.49019