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

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

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


 * $$f_i:\mathbb{R}^m \to \mathbb{R}^n$$

ऐसा कि m-हॉसडॉर्फ़ का माप $$\mathcal{H}^m$$ है

जैसे कि $$f_i$$ के m-हॉसडॉर्फ़ माप को बिना परिभाषा में बदलाव किए लिप्सचिट्ज़ निरंतर माना जा सकता है।।  अन्य लेखकों की अलग-अलग परिभाषाएँ हैं, उदाहरण के लिए, $$E$$ को एम-आयामी होने की आवश्यकता नहीं है, किंतु इसकी आवश्यकता है कि $$E$$ समुच्चयों का एक गणनीय संघ है जो $$\mathbb{R}^n$$ के कुछ बंधे उपसमुच्चय से लिप्सचिट्ज़ मानचित्र की छवि है
 * $$E\setminus \bigcup_{i=0}^\infty f_i\left(\mathbb{R}^m\right)$$

एक समुच्चय $$E$$ को पूर्णतः $$m$$-असुधार्य कहा जाता है यदि प्रत्येक (निरंतर अवकलनीय) $$f:\mathbb{R}^m \to \mathbb{R}^n$$ के लिए, एक के पास है


 * $$\mathcal{H}^m \left(E \cap f\left(\mathbb{R}^m\right)\right)=0.$$

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

मीट्रिक समष्टि में संशोधनीय समुच्चय
सामान्य मीट्रिक समष्टि X में m-संशोधनीय समुच्चय E के लिए निम्नलिखित शब्दावली देता है।

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

बाहरी संबंध

 * Rectifiable set at Encyclopedia of Mathematics