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

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

परिभाषा
यूक्लिडियन स्पेस $$\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