जॉर्डन माप: Difference between revisions
(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|जॉर्डन [[सामग्री (माप सिद्धांत)|सामग्री]]}} | |||
पीआनो-जॉर्डन उपाय का नाम इसके प्रवर्तकों, फ्रांसीसी गणितज्ञ [[केमिली जॉर्डन]] और इतालवी गणितज्ञ ग्यूसेप पीनो के नाम पर रखा गया था।<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|ऊपर से सरल सेट गैर-अतिव्यापी आयतों के संघ के रूप में विघटित हो गया।]][[यूक्लिडियन अंतरिक्ष]] पर विचार | [[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>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> | |||
अगला, कोई | इस तरह के एक आयत को अंतराल की लंबाई के उत्पाद के रूप में परिभाषित किया गया है: | ||
<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>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|जॉर्डन मापने योग्य}} यदि यह सरल सेटों द्वारा अच्छी तरह से अनुमानित होता है, ठीक उसी तरह जैसे एक फ़ंक्शन [[रीमैन इंटीग्रल]] होता है यदि यह स्थिर कार्यों द्वारा अच्छी तरह से अनुमानित होते है। | ||
औपचारिक रूप से, एक बंधे हुए सेट के लिए <math>B,</math> इसे परिभाषित | औपचारिक रूप से, एक बंधे हुए सेट के लिए है <math>B,</math> इसे परिभाषित करते है | ||
<math display=block>m_*(B) = \sup_{S\subseteq B} m(S)</math> | |||
और इसके | और इसके जैसा | ||
<math display=block>m^*(B) = \inf_{S\supseteq B} m(S)</math> | |||
जहां [[ सबसे कम ]] और [[ अंतिम ]] को सरल सेट पर ले जाया जाता है <math>S.</math> सेट <math>B</math> | जहां[[ सबसे कम ]]और [[ अंतिम |अंतिम]] को सरल सेट पर ले जाया जाता है <math>S.</math> सेट <math>B</math> कहा जाता है यदि आंतरिक माप <math>B</math> बाहरी माप के बराबर होता है। दो उपायों के सामान्य मूल्य को कहा जाता है {{em|जॉर्डन माप}} वह सेट फ़ंक्शन है जो जॉर्डन मापने योग्य सेट को उनके जॉर्डन माप में भेजता है। | ||
यह पता चला है कि सभी आयतें (खुली या बंद) | यह पता चला है कि सभी आयतें (खुली या बंद), [[संकेतन]] आदि, जॉर्डन औसत दर्जे की है। इसके अतिरिक्त, यदि कोई दो [[निरंतर कार्य|निरंतर कार्यों]] पर विचार करता है, तो उन कार्यों के आलेखों के बीच बिंदुओं का सेट जॉर्डन मापने योग्य होता है जब तक कि सेट बाध्य होता है और दो कार्यों का सामान्य डोमेन जॉर्डन मापने योग्य होता है। जॉर्डन मापने योग्य सेटों का कोई भी परिमित संघ और प्रतिच्छेदन जॉर्डन मापने योग्य होता है। एक [[कॉम्पैक्ट सेट]] आवश्यक रूप से जॉर्डन औसत दर्जे का नही होता है। उदाहरण के लिए, स्मिथ-वोल्तेरा-कैंटर सेट नही होता है। इसका आंतरिक जॉर्डन माप गायब हो जाता है, क्योंकि इसका [[पूरक (सेट सिद्धांत)]] सघन सेट होता है, चूँकि इसका बाहरी जॉर्डन माप गायब नहीं होता है, क्योंकि यह अपने लेबेसेग माप से कम (वास्तव में, बराबर) नही हो सकता है। इसके अतिरिक्त, एक घिरा हुआ [[खुला सेट]] जॉर्डन औसत दर्जे का हो यह जरूरी नही होता है। उदाहरण के लिए, वसा कैंटर सेट (अंतराल के भीतर) का पूरक नही होता है। एक घिरा हुआ सेट जॉर्डन मापने योग्य होता है यदि और केवल इसका संकेतक फ़ंक्शन रीमैन इंटीग्रल होता है। रीमैन-इंटीग्रेबल, और इंटीग्रल का मान इसका जॉर्डन उपाय होता है।[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] होती है जो जॉर्डन माप शून्य की नही होती है। चूँकि सहज रूप से, परिमेय संख्याओं का समुच्चय एक छोटा समुच्चय होता है, क्योंकि यह [[गणनीय]] होता है, और इसका आकार शून्य होता है। यह वास्तव में सच होता है, जब कोई जॉर्डन माप को लेबेस्गु माप से बदल देता है। एक सेट का लेबेस्ग माप इसके जॉर्डन माप के समान होता है। चूंकि, लेबेस्ग माप सेट को एक बहुत व्यापक वर्ग के लिए परिभाषित किया गया है, जैसे कि पहले उल्लिखित अंतराल में परिमेय संख्याओं का सेट, और उन सेटों के लिए भी असीमित या[[ भग्न सेट | भग्न सेट]] हो सकते है। इसके अतिरिक्त, लेबेसेग उपाय, जॉर्डन माप के विपरीत, एक वास्तविक माप (गणित) होता है, अर्थात, लेबेसेग मापने योग्य सेटों का कोई भी गणनीय संघ लेबेसेग मापने योग्य होता है, जबकि जॉर्डन मापने योग्य सेटों के गणनीय संघों को जॉर्डन मापने योग्य नही होता है। | ||
==संदर्भ== | ==संदर्भ== |
Revision as of 17:21, 30 May 2023
गणित में, जॉर्डन माप आकार (लंबाई, क्षेत्रफल, आयतन) की धारणा का एक विस्तार होता है, उदाहरण के लिए, एक त्रिभुज, डिस्क या समानांतर चतुर्भुज की तुलना में अधिक जटिल आकार होता है।
यह पता चलता है कि एक सेट के लिए जॉर्डन को मापना एक निश्चित प्रतिबंधात्मक अर्थ में अच्छी तरह से व्यवहार किया जाना होता है। इस कारण से, लेबेस्ग उपाय के साथ काम करना अब अधिक सामान्य है, जो सेट के एक बड़े वर्ग के लिए जॉर्डन माप का विस्तार होता है। ऐतिहासिक रूप से बोलते हुए, जॉर्डन माप उन्नीसवीं शताब्दी के अंत में आया था। ऐतिहासिक कारणों से, इस सेट योजना के लिए 'जॉर्डन माप' शब्द अब अच्छी तरह से स्थापित होता है, इस तथ्य के अतिरिक्त यह अपनी आधुनिक परिभाषा में एक सही माप (गणित) नही होती है, क्योंकि जॉर्डन-मापने योग्य सेट एक σ नहीं बनाते है। उदाहरण के लिए, सिंगलटन सेट में प्रत्येक के पास जॉर्डन का माप 0 होता है, जबकि , उनका एक गणनीय संघ, जॉर्डन-मापने योग्य नही होता है।[1] इस कारण कुछ लेखक[2] शब्द का प्रयोग करना अधिक पसंद करते है जॉर्डन सामग्री
पीआनो-जॉर्डन उपाय का नाम इसके प्रवर्तकों, फ्रांसीसी गणितज्ञ केमिली जॉर्डन और इतालवी गणितज्ञ ग्यूसेप पीनो के नाम पर रखा गया था।[3]
सरल सेटों का जॉर्डन माप
यूक्लिडियन स्थान पर विचार करते है जॉर्डन माप को पहले बंधे सेट आधे खुले अंतराल (गणित) के कार्टेशियन उत्पादों पर परिभाषित किया गया है
इस तरह के एक आयत को अंतराल की लंबाई के उत्पाद के रूप में परिभाषित किया गया है:
कोई जॉर्डन माप को परिभाषित नहीं कर सकता है व्यक्तिगत आयतों के उपायों के योग के रूप में, क्योंकि ऐसा प्रतिनिधित्व अद्वितीय से बहुत दूर होते है, और आयतों के बीच महत्वपूर्ण अधिव्यापन हो सकते है।
सौभाग्य से, ऐसा कोई भी सरल सेट आयतों के एक और परिमित निकटतम के संघ के रूप में फिर से लिखा जा सकता है, जो इस समय पारस्परिक रूप से अलग होते है, और फिर एक जॉर्डन माप को असम्बद्ध आयतों के मापों के योग के रूप में परिभाषित करता है।
कोई दिखा सकता है कि जॉर्डन की यह परिभाषा मापती है के प्रतिनिधित्व से स्वतंत्र है पुनर्लेखन चरण में यह होता है कि आयतों के आधे-खुले अंतराल से बने होने की धारणा का उपयोग किया जाता है।
अधिक जटिल सेटों का विस्तार
ध्यान दें कि एक समुच्चय जो संवृत्त अंतरालों का गुणनफल होता है,
औपचारिक रूप से, एक बंधे हुए सेट के लिए है इसे परिभाषित करते है
यह पता चला है कि सभी आयतें (खुली या बंद), संकेतन आदि, जॉर्डन औसत दर्जे की है। इसके अतिरिक्त, यदि कोई दो निरंतर कार्यों पर विचार करता है, तो उन कार्यों के आलेखों के बीच बिंदुओं का सेट जॉर्डन मापने योग्य होता है जब तक कि सेट बाध्य होता है और दो कार्यों का सामान्य डोमेन जॉर्डन मापने योग्य होता है। जॉर्डन मापने योग्य सेटों का कोई भी परिमित संघ और प्रतिच्छेदन जॉर्डन मापने योग्य होता है। एक कॉम्पैक्ट सेट आवश्यक रूप से जॉर्डन औसत दर्जे का नही होता है। उदाहरण के लिए, स्मिथ-वोल्तेरा-कैंटर सेट नही होता है। इसका आंतरिक जॉर्डन माप गायब हो जाता है, क्योंकि इसका पूरक (सेट सिद्धांत) सघन सेट होता है, चूँकि इसका बाहरी जॉर्डन माप गायब नहीं होता है, क्योंकि यह अपने लेबेसेग माप से कम (वास्तव में, बराबर) नही हो सकता है। इसके अतिरिक्त, एक घिरा हुआ खुला सेट जॉर्डन औसत दर्जे का हो यह जरूरी नही होता है। उदाहरण के लिए, वसा कैंटर सेट (अंतराल के भीतर) का पूरक नही होता है। एक घिरा हुआ सेट जॉर्डन मापने योग्य होता है यदि और केवल इसका संकेतक फ़ंक्शन रीमैन इंटीग्रल होता है। रीमैन-इंटीग्रेबल, और इंटीग्रल का मान इसका जॉर्डन उपाय होता है।[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.
- ↑ 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).
- ↑ Munkres, J. R. (1991). मैनिफोल्ड्स पर विश्लेषण. Boulder, CO: Westview Press. p. 113. ISBN 0-201-31596-3.
- ↑ G. Peano, "Applicazioni geometriche del calcolo infinitesimale", Fratelli Bocca, Torino, 1887.
- ↑ 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.
बाहरी संबंध
- Derwent, John. "Jordan Measure". MathWorld.
- Terekhin, A.P. (2001) [1994], "Jordan measure", Encyclopedia of Mathematics, EMS Press