जॉर्डन माप: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(19 intermediate revisions by 3 users not shown)
Line 1: Line 1:
गणित में, '''जॉर्डन माप''' आकार (लंबाई, [[क्षेत्र (गणित)|क्षेत्रफल]], आयतन) की धारणा का एक विस्तार होता है, उदाहरण के लिए, एक [[त्रिकोण|त्रिभुज]], [[डिस्क (गणित)|डिस्क]] या समानांतर चतुर्भुज की तुलना में अधिक जटिल आकार होता है।
गणित में, '''पीआनो जॉर्डन उपाय''' (जॉर्डन सामग्री के रूप में भी जाना जाता है) आकार (लंबाई, [[क्षेत्र (गणित)|क्षेत्रफल]], आयतन) की धारणा का एक विस्तार होता है, उदाहरण के लिए, एक [[त्रिकोण|त्रिभुज, चक्र]] या समानांतर चतुर्भुज की तुलना में अधिक जटिल आकार होता है।


यह पता चलता है कि एक सेट के लिए जॉर्डन को मापना एक निश्चित प्रतिबंधात्मक अर्थ में [[अच्छी तरह से व्यवहार]] किया जाना होता है। इस कारण से, [[लेबेस्ग उपाय]] के साथ काम करना अब अधिक सामान्य है, जो सेट के एक बड़े वर्ग के लिए जॉर्डन माप का विस्तार होता है। ऐतिहासिक रूप से बोलते हुए, जॉर्डन माप उन्नीसवीं शताब्दी के अंत में आया था। ऐतिहासिक कारणों से, इस [[सेट समारोह|सेट योजना]] के लिए 'जॉर्डन माप' शब्द अब अच्छी तरह से स्थापित होता है, इस तथ्य के अतिरिक्त यह अपनी आधुनिक परिभाषा में एक सही माप (गणित) नही होती है, क्योंकि जॉर्डन-मापने योग्य सेट एक σ नहीं बनाते है। उदाहरण के लिए, सिंगलटन सेट <math>\{x\}_{x \in \Reals}</math>में <math>\Reals</math> प्रत्येक के पास जॉर्डन का माप 0 होता है, जबकि <math>\Q \cap [0,1]</math>, उनका एक गणनीय संघ, जॉर्डन-मापने योग्य नही होता है।<ref>While a set whose measure is defined is termed ''measurable'', there is no commonly accepted term to describe a set whose Jordan content is defined.  Munkres (1991) suggests the term "rectifiable" as a generalization of the use of this term to describe curves.  Other authors have used terms including "admissible" (Lang, Zorich); "pavable" (Hubbard); "have content" (Burkill); "contented" (Loomis and Sternberg).</ref> इस कारण कुछ लेखक<ref>{{Cite book|title=मैनिफोल्ड्स पर विश्लेषण|last=Munkres|first=J. R.|publisher=Westview Press|year=1991|isbn=0-201-31596-3|location=Boulder, CO|pages=113}}</ref> {{em|जॉर्डन [[सामग्री (माप सिद्धांत)|सामग्री]]}} शब्द का प्रयोग करना अधिक पसंद करते है।
यह पता चलता है कि एक सेट के लिए जॉर्डन को मापना एक निश्चित प्रतिबंधात्मक होता है। इस कारण से, [[लेबेस्ग उपाय]] के साथ काम करना अधिक सामान्य होता है, जो सेट के एक बड़े वर्ग के लिए जॉर्डन उपाय का विस्तार होता है। ऐतिहासिक रूप से बोलते हुए, जॉर्डन उपाय उन्नीसवीं शताब्दी के अंत में आया था। ऐतिहासिक कारणों से, इस [[सेट समारोह|सेट योजना]] के लिए 'जॉर्डन उपाय ' शब्द अब अच्छी तरह से स्थापित होता है, इस तथ्य के अतिरिक्त यह अपनी आधुनिक परिभाषा में एक सही उपाय (गणित) नही होता है, क्योंकि जॉर्डन-मापने योग्य सेट एक σ नही बनाते है। उदाहरण के लिए, सिंगलटन सेट <math>\{x\}_{x \in \Reals}</math>में <math>\Reals</math> प्रत्येक के पास जॉर्डन का माप 0 होता है, जबकि <math>\Q \cap [0,1]</math>, उनका एक गणनीय संघ, जॉर्डन-मापने योग्य नही होता है।<ref>While a set whose measure is defined is termed ''measurable'', there is no commonly accepted term to describe a set whose Jordan content is defined.  Munkres (1991) suggests the term "rectifiable" as a generalization of the use of this term to describe curves.  Other authors have used terms including "admissible" (Lang, Zorich); "pavable" (Hubbard); "have content" (Burkill); "contented" (Loomis and Sternberg).</ref> इस कारण कुछ लेखक<ref>{{Cite book|title=मैनिफोल्ड्स पर विश्लेषण|last=Munkres|first=J. R.|publisher=Westview Press|year=1991|isbn=0-201-31596-3|location=Boulder, CO|pages=113}}</ref> {{em|जॉर्डन [[सामग्री (माप सिद्धांत)|सामग्री]]}} शब्द का प्रयोग करना अधिक पसंद करते है।  


पीआनो-जॉर्डन उपाय का नाम इसके प्रवर्तकों, फ्रांसीसी गणितज्ञ [[केमिली जॉर्डन]] और इतालवी गणितज्ञ ग्यूसेप पीनो के नाम पर रखा गया था।<ref>G. Peano, "Applicazioni geometriche del calcolo infinitesimale", Fratelli Bocca, Torino, 1887.</ref>
पीआनो जॉर्डन उपाय का नाम इसके प्रवर्तकों, फ्रांसीसी गणितज्ञ [[केमिली जॉर्डन]] और इतालवी गणितज्ञ ग्यूसेप पीनो के नाम पर रखा गया था।<ref>G. Peano, "Applicazioni geometriche del calcolo infinitesimale", Fratelli Bocca, Torino, 1887.</ref>
== सरल सेटों का जॉर्डन माप ==
== सरल सेटों का जॉर्डन उपाय ==
[[Image:Simple set1.png|right|thumb|एक साधारण सेट, परिभाषा के अनुसार, (संभवतः अतिव्यापी) आयतों का एक संघ है।]]
[[Image:Simple set1.png|right|thumb|एक साधारण सेट, परिभाषा के अनुसार, (संभवतः अतिव्यापी) आयतों का एक संघ है।]]
[[Image:Simple set2.png|right|thumb|ऊपर से सरल सेट गैर-अतिव्यापी आयतों के संघ के रूप में विघटित हो गया।]][[यूक्लिडियन अंतरिक्ष|यूक्लिडियन स्थान]] पर विचार करते है <math>\Reals^n.</math> जॉर्डन माप को पहले बंधे सेट आधे खुले [[अंतराल (गणित)]] के उत्पादों पर परिभाषित किया गया है
[[Image:Simple set2.png|right|thumb|ऊपर से सरल सेट गैर-अतिव्यापी आयतों के संघ के रूप में विघटित हो गया।]][[यूक्लिडियन अंतरिक्ष|यूक्लिडियन स्थान]] पर विचार करते है <math>\Reals^n.</math> जॉर्डन उपाय को पहले बंधे सेट आधे खुले [[अंतराल (गणित)]] के उत्पादों पर परिभाषित किया गया है
<math display=block>C = [a_1, b_1) \times [a_2, b_2) \times \cdots \times [a_n, b_n)</math>
<math display=block>C = [a_1, b_1) \times [a_2, b_2) \times \cdots \times [a_n, b_n)</math>
जो बायीं ओर बंद होते है और सभी समापन बिंदुओं के साथ दायीं ओर खुले होते है <math>a_i</math> और <math>b_i</math> परिमित वास्तविक संख्याएँ (आधा-खुला अंतराल एक तकनीकी विकल्प होता है, जैसा कि हम नीचे देखते है, यदि पसंद हो तो बंद या खुले अंतराल का उपयोग कर सकते है)। ऐसे समुच्चय को a कहा जाता है {{em|<math>n</math>-आयामी आयत}}, या बस एक {{em|आयत}}
जो बायीं ओर समाप्त से होते है और सभी समापन बिंदुओं के साथ दायीं ओर से प्रारंभ होते है <math>a_i</math> और <math>b_i</math> परिमित वास्तविक संख्याएँ (आधा-खुला अंतराल एक तकनीकी विकल्प होता है, जैसा कि हम नीचे देखते है, यदि पसंद हो तो समाप्त या प्रारंभ अंतराल का उपयोग कर सकते है)। ऐसे समुच्चय को a कहा जाता है {{em|<math>n</math>-आयामी आयत}},  


इस तरह के एक आयत को अंतराल की लंबाई के उत्पाद के रूप में परिभाषित किया गया है:
इस तरह के एक आयत को अंतराल की लंबाई के उत्पाद के रूप में परिभाषित किया गया है:
Line 16: Line 16:
किसी के लिए <math>k \geq 1.</math>
किसी के लिए <math>k \geq 1.</math>


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


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


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


== अधिक जटिल सेटों का विस्तार ==
== अधिक जटिल सेटों का विस्तार ==
[[Image:Jordan illustration.png|right|thumb|एक सेट (नीले वक्र के अंदर क्षेत्र द्वारा चित्र में दर्शाया गया है) जॉर्डन औसत दर्जे का है यदि और केवल यदि इसे सरल सेटों द्वारा अंदर और बाहर दोनों से अच्छी तरह से अनुमानित किया जा सकता है (उनकी सीमाएं क्रमशः गहरे हरे और गहरे गुलाबी रंग में दिखाई जाती है) .]]ध्यान दें कि एक समुच्चय जो संवृत्त अंतरालों का गुणनफल होता है,
[[Image:Jordan illustration.png|right|thumb|एक सेट (नीले वक्र के अंदर क्षेत्र द्वारा चित्र में दर्शाया गया है) जॉर्डन औसत दर्जे का है यदि और केवल यदि इसे सरल सेटों द्वारा अंदर और बाहर दोनों से अच्छी तरह से अनुमानित किया जा सकता है (उनकी सीमाएं क्रमशः गहरे हरे और गहरे गुलाबी रंग में दिखाई जाती है) .]]ध्यान दें कि एक समुच्चय जो संवृत्त अंतरालों का गुणनफल होता है,
<math display=block>[a_1, b_1] \times [a_2, b_2] \times \cdots \times [a_n, b_n]</math>
<math display=block>[a_1, b_1] \times [a_2, b_2] \times \cdots \times [a_n, b_n]</math>
एक साधारण समुच्चय नही होता है। इस प्रकार, अब तक जॉर्डन औसत दर्जे का सेट अभी भी बहुत सीमित है। तब एक बंधे हुए सेट को परिभाषित करना होता है {{em|जॉर्डन मापने योग्य}} यदि यह सरल सेटों द्वारा अच्छी तरह से अनुमानित होता है, ठीक उसी तरह जैसे एक फ़ंक्शन [[रीमैन इंटीग्रल]] होता है यदि यह स्थिर कार्यों द्वारा अच्छी तरह से अनुमानित होते है।
एक साधारण समुच्चय नही होता है। इस प्रकार, अब तक जॉर्डन औसत दर्जे का सेट बहुत सीमित है। तब एक बंधे हुए सेट को परिभाषित करता है {{em|जॉर्डन मापने योग्य}} यदि यह सरल सेटों द्वारा अच्छी तरह से अनुमानित होता है, ठीक उसी तरह जैसे एक घटक [[रीमैन इंटीग्रल|रीमैन समाकलनीय]] होता है यदि यह स्थिर कार्यों द्वारा अच्छी तरह से अनुमानित होता है।


औपचारिक रूप से, एक बंधे हुए सेट के लिए है <math>B,</math> इसे परिभाषित करते है
औपचारिक रूप से, एक बंधे हुए सेट के लिए है <math>B,</math> इसे परिभाषित करते है
Line 31: Line 31:
और इसके जैसा
और इसके जैसा
<math display=block>m^*(B) = \inf_{S\supseteq B} m(S)</math>
<math display=block>m^*(B) = \inf_{S\supseteq B} m(S)</math>
जहां[[ सबसे कम ]]और [[ अंतिम |अंतिम]] को सरल सेट पर ले जाया जाता है <math>S.</math> सेट <math>B</math> कहा जाता है यदि आंतरिक माप <math>B</math> बाहरी माप के बराबर होता है। दो उपायों के सामान्य मूल्य को कहा जाता है {{em|जॉर्डन माप}}  वह सेट फ़ंक्शन है जो जॉर्डन मापने योग्य सेट को उनके जॉर्डन माप में भेजता है।
जहां[[ सबसे कम ]]और [[ अंतिम |अंतिम]] सरल सेट पर ले जाया जाता है <math>S.</math> सेट <math>B</math> कहा जाता है यदि आंतरिक माप <math>B</math> बाहरी माप के बराबर होता है। दो उपायों के सामान्य मूल्य को कहा जाता है {{em|जॉर्डन उपाय}}  वह सेट घटक है जो जॉर्डन मापने योग्य सेट को उनके जॉर्डन माप में भेजता है।


यह पता चला है कि सभी आयतें (खुली या बंद), [[संकेतन]] आदि, जॉर्डन औसत दर्जे की है। इसके अतिरिक्त, यदि कोई दो [[निरंतर कार्य|निरंतर कार्यों]] पर विचार करता है, तो उन कार्यों के आलेखों के बीच बिंदुओं का सेट जॉर्डन मापने योग्य होता है जब तक कि सेट बाध्य होता है और दो कार्यों का सामान्य डोमेन जॉर्डन मापने योग्य होता है। जॉर्डन मापने योग्य सेटों का कोई भी परिमित संघ और प्रतिच्छेदन जॉर्डन मापने योग्य होता है। एक [[कॉम्पैक्ट सेट]] आवश्यक रूप से जॉर्डन औसत दर्जे का नही होता है। उदाहरण के लिए, स्मिथ-वोल्तेरा-कैंटर सेट नही होता है। इसका आंतरिक जॉर्डन माप गायब हो जाता है, क्योंकि इसका [[पूरक (सेट सिद्धांत)]] सघन सेट होता है, चूँकि इसका बाहरी जॉर्डन माप गायब नहीं होता है, क्योंकि यह अपने लेबेसेग माप से कम (वास्तव में, बराबर) नही हो सकता है। इसके अतिरिक्त, एक घिरा हुआ [[खुला सेट]] जॉर्डन औसत दर्जे का हो यह जरूरी नही होता है। उदाहरण के लिए, वसा कैंटर सेट (अंतराल के भीतर) का पूरक नही होता है। एक घिरा हुआ सेट जॉर्डन मापने योग्य होता है यदि और केवल इसका संकेतक फ़ंक्शन रीमैन इंटीग्रल होता है। रीमैन-इंटीग्रेबल, और इंटीग्रल का मान इसका जॉर्डन उपाय होता है।[https://planetmath.org/RiemannMultipleIntegral]
यह पता चला है कि सभी आयतें (प्रारंभ या समाप्त), [[संकेतन]] आदि, जॉर्डन औसत दर्जे की होती है। इसके अतिरिक्त, यदि कोई दो [[निरंतर कार्य|निरंतर कार्यों]] पर विचार करता है, तो उन कार्यों के आलेखों के बीच बिंदुओं का सेट जॉर्डन मापने योग्य होता है जब तक कि सेट बाध्य होता है और दो कार्यों का सामान्य डोमेन जॉर्डन मापने योग्य होता है। जॉर्डन मापने योग्य सेटों का कोई भी परिमित संघ और प्रतिच्छेदन जॉर्डन मापने योग्य होता है। एक [[कॉम्पैक्ट सेट]] आवश्यक रूप से जॉर्डन औसत दर्जे का नही होता है। इसका आंतरिक जॉर्डन उपाय गायब हो जाता है, क्योंकि इसका [[पूरक (सेट सिद्धांत)]] सघन सेट होता है। इसके अतिरिक्त, एक घिरा हुआ [[खुला सेट|प्रारंभ सेट]] जॉर्डन औसत दर्जे का हो यह जरूरी नही होता है। एक घिरा हुआ सेट जॉर्डन मापने योग्य होता है यदि और केवल इसका संकेतक घटक रीमैन समाकलनीय होता है।[https://planetmath.org/RiemannMultipleIntegral]


समान रूप से, एक बंधे हुए सेट के लिए <math>B</math> आंतरिक जॉर्डन का माप <math>B</math> के आंतरिक (टोपोलॉजी) का लेबेस्ग माप होता है <math>B</math> और बाहरी जॉर्डन माप बंद होने (टोपोलॉजी) का लेबेस्गु माप होता है।<ref>{{Cite journal
समान रूप से, एक बंधे हुए सेट के लिए <math>B</math> आंतरिक जॉर्डन के उपाय <math>B</math> के आंतरिक का लेबेस्ग उपाय होता है <math>B</math> और बाहरी जॉर्डन उपाय समाप्त होने का लेबेस्गु उपाय होता है।<ref>{{Cite journal
| issn = 0003-486X
| issn = 0003-486X
| volume = 34
| volume = 34
Line 48: Line 48:
| doi = 10.2307/1968175
| doi = 10.2307/1968175
| jstor = 1968175
| jstor = 1968175
}}</ref> इससे यह पता चलता है कि एक घिरा हुआ सेट जॉर्डन मापने योग्य होता है यदि और केवल इसकी [[सीमा (टोपोलॉजी)]] में लेबेस्गु माप शून्य होता है। (या समकक्ष रूप से, यदि सीमा में जॉर्डन का माप शून्य होता है, तो सीमा की सघनता के कारण समानता बनी रहती है।)
}}</ref> इससे यह पता चलता है कि एक घिरा हुआ सेट जॉर्डन मापने योग्य होता है यदि और केवल इसकी [[सीमा (टोपोलॉजी)|सीमा]] में लेबेस्गु उपाय शून्य होता है।


== लेबेस्ग उपाय ==
== लेबेस्ग उपाय ==


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


==संदर्भ==
==संदर्भ==
Line 65: Line 65:
* {{MathWorld|urlname=JordanMeasure|title=Jordan Measure|author=Derwent, John}}
* {{MathWorld|urlname=JordanMeasure|title=Jordan Measure|author=Derwent, John}}
* {{springer|last=Terekhin|first=A.P.|author-link=|title=Jordan measure|id=J/j054350}}
* {{springer|last=Terekhin|first=A.P.|author-link=|title=Jordan measure|id=J/j054350}}
[[Category: उपाय (माप सिद्धांत)]]


[[Category: Machine Translated Page]]
[[Category:Created On 25/05/2023]]
[[Category:Created On 25/05/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:उपाय (माप सिद्धांत)]]

Latest revision as of 08:50, 13 June 2023

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

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

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

सरल सेटों का जॉर्डन उपाय

एक साधारण सेट, परिभाषा के अनुसार, (संभवतः अतिव्यापी) आयतों का एक संघ है।
ऊपर से सरल सेट गैर-अतिव्यापी आयतों के संघ के रूप में विघटित हो गया।

यूक्लिडियन स्थान पर विचार करते है जॉर्डन उपाय को पहले बंधे सेट आधे खुले अंतराल (गणित) के उत्पादों पर परिभाषित किया गया है

जो बायीं ओर समाप्त से होते है और सभी समापन बिंदुओं के साथ दायीं ओर से प्रारंभ होते है और परिमित वास्तविक संख्याएँ (आधा-खुला अंतराल एक तकनीकी विकल्प होता है, जैसा कि हम नीचे देखते है, यदि पसंद हो तो समाप्त या प्रारंभ अंतराल का उपयोग कर सकते है)। ऐसे समुच्चय को a कहा जाता है -आयामी आयत,

इस तरह के एक आयत को अंतराल की लंबाई के उत्पाद के रूप में परिभाषित किया गया है:

अगला, कोई सरल सेट पर विचार करता है, कई बार बहुआयताकार, जो आयतों के परिमित संघ (सेट सिद्धांत) है,
किसी के लिए

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

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

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

अधिक जटिल सेटों का विस्तार

एक सेट (नीले वक्र के अंदर क्षेत्र द्वारा चित्र में दर्शाया गया है) जॉर्डन औसत दर्जे का है यदि और केवल यदि इसे सरल सेटों द्वारा अंदर और बाहर दोनों से अच्छी तरह से अनुमानित किया जा सकता है (उनकी सीमाएं क्रमशः गहरे हरे और गहरे गुलाबी रंग में दिखाई जाती है) .

ध्यान दें कि एक समुच्चय जो संवृत्त अंतरालों का गुणनफल होता है,

एक साधारण समुच्चय नही होता है। इस प्रकार, अब तक जॉर्डन औसत दर्जे का सेट बहुत सीमित है। तब एक बंधे हुए सेट को परिभाषित करता है जॉर्डन मापने योग्य यदि यह सरल सेटों द्वारा अच्छी तरह से अनुमानित होता है, ठीक उसी तरह जैसे एक घटक रीमैन समाकलनीय होता है यदि यह स्थिर कार्यों द्वारा अच्छी तरह से अनुमानित होता है।

औपचारिक रूप से, एक बंधे हुए सेट के लिए है इसे परिभाषित करते है

और इसके जैसा
जहांसबसे कम और अंतिम सरल सेट पर ले जाया जाता है सेट कहा जाता है यदि आंतरिक माप बाहरी माप के बराबर होता है। दो उपायों के सामान्य मूल्य को कहा जाता है जॉर्डन उपाय वह सेट घटक है जो जॉर्डन मापने योग्य सेट को उनके जॉर्डन माप में भेजता है।

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

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

लेबेस्ग उपाय

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

संदर्भ

  • Emmanuele DiBenedetto (2002). Real analysis. Basel, Switzerland: Birkhäuser. ISBN 0-8176-4231-5.
  • Richard Courant; Fritz John (1999). Introduction to Calculus and Analysis Volume II/1: Chapters 1–4 (Classics in Mathematics). Berlin: Springer. ISBN 3-540-66569-2.
  1. While a set whose measure is defined is termed measurable, there is no commonly accepted term to describe a set whose Jordan content is defined. Munkres (1991) suggests the term "rectifiable" as a generalization of the use of this term to describe curves. Other authors have used terms including "admissible" (Lang, Zorich); "pavable" (Hubbard); "have content" (Burkill); "contented" (Loomis and Sternberg).
  2. Munkres, J. R. (1991). मैनिफोल्ड्स पर विश्लेषण. Boulder, CO: Westview Press. p. 113. ISBN 0-201-31596-3.
  3. G. Peano, "Applicazioni geometriche del calcolo infinitesimale", Fratelli Bocca, Torino, 1887.
  4. Frink, Orrin Jr. (July 1933). "Jordan Measure and Riemann Integration". The Annals of Mathematics. 2. 34 (3): 518–526. doi:10.2307/1968175. ISSN 0003-486X. JSTOR 1968175.


बाहरी संबंध