जॉर्डन माप

गणित में, जॉर्डन माप आकार (लंबाई, क्षेत्रफल, आयतन) की धारणा का एक विस्तार होता है, उदाहरण के लिए, एक त्रिभुज, डिस्क या समानांतर चतुर्भुज की तुलना में अधिक जटिल आकार होता है।

यह पता चलता है कि एक सेट के लिए जॉर्डन को मापना एक निश्चित प्रतिबंधात्मक अर्थ में अच्छी तरह से व्यवहार किया जाना होता है। इस कारण से, लेबेस्ग उपाय के साथ काम करना अब अधिक सामान्य है, जो सेट के एक बड़े वर्ग के लिए जॉर्डन माप का विस्तार होता है। ऐतिहासिक रूप से बोलते हुए, जॉर्डन माप उन्नीसवीं शताब्दी के अंत में आया था। ऐतिहासिक कारणों से, इस सेट योजना के लिए 'जॉर्डन माप' शब्द अब अच्छी तरह से स्थापित होता है, इस तथ्य के अतिरिक्त यह अपनी आधुनिक परिभाषा में एक सही माप (गणित) नही होती है, क्योंकि जॉर्डन-मापने योग्य सेट एक σ नही बनाते है। उदाहरण के लिए, सिंगलटन सेट $$\{x\}_{x \in \Reals}$$में $$\Reals$$ प्रत्येक के पास जॉर्डन का माप 0 होता है, जबकि $$\Q \cap [0,1]$$, उनका एक गणनीय संघ, जॉर्डन-मापने योग्य नही होता है। इस कारण कुछ लेखक शब्द का प्रयोग करना अधिक पसंद करते है।

पीआनो-जॉर्डन उपाय का नाम इसके प्रवर्तकों, फ्रांसीसी गणितज्ञ केमिली जॉर्डन और इतालवी गणितज्ञ ग्यूसेप पीनो के नाम पर रखा गया था।

सरल सेटों का जॉर्डन माप
यूक्लिडियन स्थान पर विचार करते है $$\Reals^n.$$ जॉर्डन माप को पहले बंधे सेट आधे खुले अंतराल (गणित) के उत्पादों पर परिभाषित किया गया है $$C = [a_1, b_1) \times [a_2, b_2) \times \cdots \times [a_n, b_n)$$ जो बायीं ओर समाप्त से होते है और सभी समापन बिंदुओं के साथ दायीं ओर से प्रारंभ होते है $$a_i$$ और $$b_i$$ परिमित वास्तविक संख्याएँ (आधा-खुला अंतराल एक तकनीकी विकल्प होता है, जैसा कि हम नीचे देखते है, यदि पसंद हो तो समाप्त या प्रारंभ अंतराल का उपयोग कर सकते है)। ऐसे समुच्चय को a कहा जाता है ,

इस तरह के एक आयत को अंतराल की लंबाई के उत्पाद के रूप में परिभाषित किया गया है: $$m(C) = (b_1 - a_1) (b_2 - a_2) \cdots (b_n - a_n).$$ अगला, कोई पर विचार करता है, कई बार, जो आयतों के परिमित संघ (सेट सिद्धांत) है, $$S = C_1 \cup C_2 \cup \cdots \cup C_k$$ किसी के लिए $$k \geq 1.$$

कोई जॉर्डन माप को परिभाषित नही कर सकता है $$S$$ व्यक्तिगत आयतों के उपायों के योग के रूप में, क्योंकि ऐसा प्रतिनिधित्व $$S$$ अद्वितीय से बहुत दूर होते है, और आयतों के बीच महत्वपूर्ण अधिव्यापन हो सकते है।

ऐसा कोई भी सरल सेट $$S$$ आयतों के एक और परिमित संघ के रूप में फिर से लिखा जा सकता है, जो इस समय पारस्परिक रूप से अलग होते है, और फिर एक जॉर्डन माप को $$m(S)$$ असम्बद्ध आयतों के मापों के योग के रूप में परिभाषित करते है।

कोई दिखा सकता है कि जॉर्डन की यह परिभाषा मापती है $$S$$ के प्रतिनिधित्व से स्वतंत्र है $$S$$ पुनर्लेखन चरण में यह होता है कि आयतों के आधे-प्रारंभ अंतराल से बने होने की धारणा का उपयोग किया जाता है।

अधिक जटिल सेटों का विस्तार
ध्यान दें कि एक समुच्चय जो संवृत्त अंतरालों का गुणनफल होता है, $$[a_1, b_1] \times [a_2, b_2] \times \cdots \times [a_n, b_n]$$ एक साधारण समुच्चय नही होता है। इस प्रकार, अब तक जॉर्डन औसत दर्जे का सेट बहुत सीमित है। तब एक बंधे हुए सेट को परिभाषित करता है यदि यह सरल सेटों द्वारा अच्छी तरह से अनुमानित होता है, ठीक उसी तरह जैसे एक फ़ंक्शन रीमैन समाकलनीय होता है यदि यह स्थिर कार्यों द्वारा अच्छी तरह से अनुमानित होता है।

औपचारिक रूप से, एक बंधे हुए सेट के लिए है $$B,$$ इसे परिभाषित करते है $$m_*(B) = \sup_{S\subseteq B} m(S)$$ और इसके जैसा $$m^*(B) = \inf_{S\supseteq B} m(S)$$ जहां सबसे कम और अंतिम सरल सेट पर ले जाया जाता है $$S.$$ सेट $$B$$ कहा जाता है यदि आंतरिक माप $$B$$ बाहरी माप के बराबर होता है। दो उपायों के सामान्य मूल्य को कहा जाता है  वह सेट फ़ंक्शन है जो जॉर्डन मापने योग्य सेट को उनके जॉर्डन माप में भेजता है।

यह पता चला है कि सभी आयतें (प्रारंभ या समाप्त), संकेतन आदि, जॉर्डन औसत दर्जे की होती है। इसके अतिरिक्त, यदि कोई दो निरंतर कार्यों पर विचार करता है, तो उन कार्यों के आलेखों के बीच बिंदुओं का सेट जॉर्डन मापने योग्य होता है जब तक कि सेट बाध्य होता है और दो कार्यों का सामान्य डोमेन जॉर्डन मापने योग्य होता है। जॉर्डन मापने योग्य सेटों का कोई भी परिमित संघ और प्रतिच्छेदन जॉर्डन मापने योग्य होता है। एक कॉम्पैक्ट सेट आवश्यक रूप से जॉर्डन औसत दर्जे का नही होता है। इसका आंतरिक जॉर्डन माप गायब हो जाता है, क्योंकि इसका पूरक (सेट सिद्धांत) सघन सेट होता है। इसके अतिरिक्त, एक घिरा हुआ प्रारंभ सेट जॉर्डन औसत दर्जे का हो यह जरूरी नही होता है। एक घिरा हुआ सेट जॉर्डन मापने योग्य होता है यदि और केवल इसका संकेतक फ़ंक्शन रीमैन समाकलनीय होता है।

समान रूप से, एक बंधे हुए सेट के लिए $$B$$ आंतरिक जॉर्डन के माप $$B$$ के आंतरिक का लेबेस्ग माप होता है $$B$$ और बाहरी जॉर्डन माप समाप्त होने का लेबेस्गु माप होता है। इससे यह पता चलता है कि एक घिरा हुआ सेट जॉर्डन मापने योग्य होता है यदि और केवल इसकी सीमा में लेबेस्गु माप शून्य होती है।

लेबेस्ग उपाय
यह अंतिम सेटों के प्रकार को बहुत सीमित करती है जो जॉर्डन औसत दर्जे के होते है। उदाहरण के लिए, अंतराल [0,1] में निहित परिमेय संख्याओं का समुच्चय जॉर्डन मापने योग्य नही होता है, क्योंकि इसकी सीमा [0,1] होती है जो जॉर्डन माप शून्य की नही होती है। चूँकि सहज रूप से, परिमेय संख्याओं का समुच्चय एक छोटा समुच्चय होता है, क्योंकि यह गणनीय होता है, और इसका आकार शून्य होता है। एक सेट का लेबेस्ग माप इसके जॉर्डन माप के समान होता है। चूंकि, लेबेस्ग माप सेट को एक बहुत व्यापक वर्ग के लिए परिभाषित किया जाता है। इसके अतिरिक्त, लेबेसेग उपाय, जॉर्डन माप के विपरीत, एक वास्तविक माप होता है, अर्थात, लेबेसेग मापने योग्य सेटों का कोई भी गणनीय संघ लेबेसेग मापने योग्य होता है, जबकि जॉर्डन मापने योग्य सेटों के गणनीय संघों को जॉर्डन मापने योग्य नही होता है।