जॉर्डन माप: Difference between revisions
No edit summary |
No edit summary |
||
| Line 8: | Line 8: | ||
[[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>-आयामी आयत}}, | जो बायीं ओर बंद होते है और सभी समापन बिंदुओं के साथ दायीं ओर खुले होते है <math>a_i</math> और <math>b_i</math> परिमित वास्तविक संख्याएँ (आधा-खुला अंतराल एक तकनीकी विकल्प होता है, जैसा कि हम नीचे देखते है, यदि पसंद हो तो बंद या खुले अंतराल का उपयोग कर सकते है)। ऐसे समुच्चय को a कहा जाता है {{em|<math>n</math>-आयामी आयत}}, | ||
इस तरह के एक आयत को अंतराल की लंबाई के उत्पाद के रूप में परिभाषित किया गया है: | इस तरह के एक आयत को अंतराल की लंबाई के उत्पाद के रूप में परिभाषित किया गया है: | ||
| Line 18: | Line 18: | ||
कोई जॉर्डन माप को परिभाषित नही कर सकता है <math>S</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> पुनर्लेखन चरण में यह होता है कि आयतों के आधे-खुले अंतराल से बने होने की धारणा का उपयोग किया जाता है। | ||
| Line 25: | Line 25: | ||
[[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> इसे परिभाषित करते है | ||
| 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|जॉर्डन माप}} वह सेट फ़ंक्शन है जो जॉर्डन मापने योग्य सेट को उनके जॉर्डन माप में भेजता है। | ||
यह पता चला है कि सभी आयतें (खुली या बंद), [[संकेतन]] आदि, जॉर्डन औसत दर्जे की है। इसके अतिरिक्त, यदि कोई दो [[निरंतर कार्य|निरंतर कार्यों]] पर विचार करता है, तो उन कार्यों के आलेखों के बीच बिंदुओं का सेट जॉर्डन मापने योग्य होता है जब तक कि सेट बाध्य होता है और दो कार्यों का सामान्य डोमेन जॉर्डन मापने योग्य होता है। जॉर्डन मापने योग्य सेटों का कोई भी परिमित संघ और प्रतिच्छेदन जॉर्डन मापने योग्य होता है। एक [[कॉम्पैक्ट सेट]] आवश्यक रूप से जॉर्डन औसत दर्जे का | यह पता चला है कि सभी आयतें (खुली या बंद), [[संकेतन]] आदि, जॉर्डन औसत दर्जे की होती है। इसके अतिरिक्त, यदि कोई दो [[निरंतर कार्य|निरंतर कार्यों]] पर विचार करता है, तो उन कार्यों के आलेखों के बीच बिंदुओं का सेट जॉर्डन मापने योग्य होता है जब तक कि सेट बाध्य होता है और दो कार्यों का सामान्य डोमेन जॉर्डन मापने योग्य होता है। जॉर्डन मापने योग्य सेटों का कोई भी परिमित संघ और प्रतिच्छेदन जॉर्डन मापने योग्य होता है। एक [[कॉम्पैक्ट सेट]] आवश्यक रूप से जॉर्डन औसत दर्जे का नही होता है। इसका आंतरिक जॉर्डन माप गायब हो जाता है, क्योंकि इसका [[पूरक (सेट सिद्धांत)]] सघन सेट होता है। इसके अतिरिक्त, एक घिरा हुआ [[खुला सेट]] जॉर्डन औसत दर्जे का हो यह जरूरी नही होता है। एक घिरा हुआ सेट जॉर्डन मापने योग्य होता है यदि और केवल इसका संकेतक फ़ंक्शन रीमैन इंटीग्रल होता है।[https://planetmath.org/RiemannMultipleIntegral] | ||
समान रूप से, एक बंधे हुए सेट के लिए <math>B</math> आंतरिक जॉर्डन | समान रूप से, एक बंधे हुए सेट के लिए <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> इससे यह पता चलता है कि एक घिरा हुआ सेट जॉर्डन मापने योग्य होता है यदि और केवल इसकी [[सीमा (टोपोलॉजी)|सीमा]] में लेबेस्गु माप शून्य होता है। | ||
== लेबेस्ग उपाय == | == लेबेस्ग उपाय == | ||
Revision as of 13:01, 1 June 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
