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

From Vigyanwiki
(Created page with "गणित में, पीआनो-जॉर्डन माप (जॉर्डन सामग्री के रूप में भी जाना जाता ह...")
 
No edit summary
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|Jordan [[Content (measure theory)|content]]}}.
 
पीआनो-जॉर्डन उपाय का नाम इसके प्रवर्तकों, फ्रांसीसी गणितज्ञ [[केमिली जॉर्डन]] और इतालवी गणितज्ञ ग्यूसेप पीनो के नाम पर रखा गया है।<ref>G. Peano, "Applicazioni geometriche del calcolo infinitesimale", Fratelli Bocca, Torino, 1887.</ref>


यह पता चलता है कि एक सेट के लिए जॉर्डन को मापना एक निश्चित प्रतिबंधात्मक अर्थ में [[अच्छी तरह से व्यवहार]] किया जाना होता है। इस कारण से, [[लेबेस्ग उपाय]] के साथ काम करना अब अधिक सामान्य है, जो सेट के एक बड़े वर्ग के लिए जॉर्डन माप का विस्तार होता है। ऐतिहासिक रूप से बोलते हुए, जॉर्डन माप उन्नीसवीं शताब्दी के अंत में आया था। ऐतिहासिक कारणों से, इस [[सेट समारोह|सेट योजना]] के लिए 'जॉर्डन माप' शब्द अब अच्छी तरह से स्थापित होता है, इस तथ्य के अतिरिक्त यह अपनी आधुनिक परिभाषा में एक सही माप (गणित) नही होती है, क्योंकि जॉर्डन-मापने योग्य सेट एक σ नहीं बनाते है। उदाहरण के लिए, सिंगलटन सेट <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>
== सरल सेटों का जॉर्डन माप ==
== सरल सेटों का जॉर्डन माप ==
[[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>-dimensional rectangle}}, या बस एक {{em|rectangle}}. वह {{em|Jordan measure}इस तरह के एक आयत के } को अंतराल की लंबाई के उत्पाद के रूप में परिभाषित किया गया है:
जो बायीं ओर बंद होते है और सभी समापन बिंदुओं के साथ दायीं ओर खुले होते है <math>a_i</math> और <math>b_i</math> परिमित वास्तविक संख्याएँ (आधा-खुला अंतराल एक तकनीकी विकल्प होता है, जैसा कि हम नीचे देखते है, यदि पसंद हो तो बंद या खुले अंतराल का उपयोग कर सकते है)। ऐसे समुच्चय को a कहा जाता है {{em|<math>n</math>-आयामी आयत}}, या बस एक {{em|आयत}}  
<math display=block>m(C) = (b_1 - a_1) (b_2 - a_2) \cdots (b_n - a_n).</math>
 
अगला, कोई विचार करता है {{em|simple sets}}, कई बार बुलाना {{em|polyrectangles}}, जो आयतों के परिमित [[संघ (सेट सिद्धांत)]] हैं,
इस तरह के एक आयत को अंतराल की लंबाई के उत्पाद के रूप में परिभाषित किया गया है:
<math display=block>S = C_1 \cup C_2 \cup \cdots \cup C_k</math>
<math display="block">m(C) = (b_1 - a_1) (b_2 - a_2) \cdots (b_n - a_n).</math>
अगला, कोई {{em|सरल सेट}} पर विचार करता है, कई बार {{em|बहुआयताकार}}, जो आयतों के परिमित [[संघ (सेट सिद्धांत)]] है,
<math display="block">S = C_1 \cup C_2 \cup \cdots \cup C_k</math>
किसी के लिए <math>k \geq 1.</math>
किसी के लिए <math>k \geq 1.</math>
कोई जॉर्डन माप को परिभाषित नहीं कर सकता है <math>S</math> व्यक्तिगत आयतों के उपायों के योग के रूप में, क्योंकि ऐसा प्रतिनिधित्व <math>S</math> अद्वितीय से बहुत दूर है, और आयतों के बीच महत्वपूर्ण ओवरलैप्स हो सकते हैं।


सौभाग्य से, ऐसा कोई भी सरल सेट <math>S</math> आयतों के एक और परिमित परिवार के संघ के रूप में फिर से लिखा जा सकता है, आयतें जो इस समय पारस्परिक रूप से अलग हैं, और फिर एक जॉर्डन माप को परिभाषित करता है <math>m(S)</math> असम्बद्ध आयतों के मापों के योग के रूप में।
कोई जॉर्डन माप को परिभाषित नहीं कर सकता है <math>S</math> व्यक्तिगत आयतों के उपायों के योग के रूप में, क्योंकि ऐसा प्रतिनिधित्व <math>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|Jordan measurable}} यदि यह सरल सेटों द्वारा अच्छी तरह से अनुमानित है, ठीक उसी तरह जैसे एक फ़ंक्शन [[रीमैन इंटीग्रल]] है यदि यह टुकड़े-टुकड़े-स्थिर कार्यों द्वारा अच्छी तरह से अनुमानित है।
एक साधारण समुच्चय नही होता है। इस प्रकार, अब तक जॉर्डन औसत दर्जे का सेट अभी भी बहुत सीमित है। तब एक बंधे हुए सेट को परिभाषित करना होता है {{em|जॉर्डन मापने योग्य}} यदि यह सरल सेटों द्वारा अच्छी तरह से अनुमानित होता है, ठीक उसी तरह जैसे एक फ़ंक्शन [[रीमैन इंटीग्रल]] होता है यदि यह स्थिर कार्यों द्वारा अच्छी तरह से अनुमानित होते है।


औपचारिक रूप से, एक बंधे हुए सेट के लिए <math>B,</math> इसे परिभाषित करें {{em|{{visible anchor|inner Jordan measure}}}} जैसा
औपचारिक रूप से, एक बंधे हुए सेट के लिए है <math>B,</math> इसे परिभाषित करते है
<math display=block>m_*(B) = \sup_{S\subseteq B} m(S)</math>
<math display=block>m_*(B) = \sup_{S\subseteq B} m(S)</math>
और इसके {{em|{{visible anchor|outer Jordan measure}}}} जैसा
और इसके जैसा
<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> कहा जाता है {{em|{{visible anchor|Jordan measurable set}}}} यदि आंतरिक माप <math>B</math> बाहरी माप के बराबर है। दो उपायों के सामान्य मूल्य को तब बस कहा जाता है {{em|Jordan measure of <math>B</math>}}. वह {{em|{{visible anchor|Jordan measure}}}} सेट फ़ंक्शन है जो जॉर्डन मापने योग्य सेट को उनके जॉर्डन माप में भेजता है।
जहां[[ सबसे कम ]]और [[ अंतिम |अंतिम]] को सरल सेट पर ले जाया जाता है <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 47: Line 48:
| doi = 10.2307/1968175
| doi = 10.2307/1968175
| jstor = 1968175
| jstor = 1968175
}}</ref> इससे यह पता चलता है कि एक घिरा हुआ सेट जॉर्डन मापने योग्य है अगर और केवल अगर इसकी [[सीमा (टोपोलॉजी)]] में लेबेस्गु माप शून्य है। (या समकक्ष रूप से, यदि सीमा में जॉर्डन का माप शून्य है, तो सीमा की सघनता के कारण समानता बनी रहती है।)
}}</ref> इससे यह पता चलता है कि एक घिरा हुआ सेट जॉर्डन मापने योग्य होता है यदि और केवल इसकी [[सीमा (टोपोलॉजी)]] में लेबेस्गु माप शून्य होता है। (या समकक्ष रूप से, यदि सीमा में जॉर्डन का माप शून्य होता है, तो सीमा की सघनता के कारण समानता बनी रहती है।)


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


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


==संदर्भ==
==संदर्भ==

Revision as of 17:21, 30 May 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.


बाहरी संबंध