विटाली समुच्चय: Difference between revisions

From Vigyanwiki
(Created page with "{{short description|Set of real numbers that is not Lebesgue measurable}} गणित में, एक विटाली सेट वास्तविक संख्...")
 
No edit summary
 
(7 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{short description|Set of real numbers that is not Lebesgue measurable}}
{{short description|Set of real numbers that is not Lebesgue measurable}}
गणित में, एक विटाली सेट [[वास्तविक संख्या]]ओं के एक सेट का एक प्राथमिक उदाहरण है, जो [[लेबेस्ग उपाय]] नहीं है, जिसे 1905 में ग्यूसेप विटाली द्वारा खोजा गया था।<ref>{{cite journal|last=Vitali|first=Giuseppe|authorlink=Giuseppe Vitali|year=1905|title= एक सीधी रेखा के बिंदुओं के समूह को मापने की समस्या पर|journal=Bologna, Tip. Gamberini e Parmeggiani}}</ref> विटाली प्रमेय [[अस्तित्व प्रमेय]] है कि ऐसे सेट हैं। [[अनगिनत]] विटाली सेट हैं, और उनका अस्तित्व पसंद के स्वयंसिद्ध पर निर्भर करता है। 1970 में, रॉबर्ट एम. सोलोवे ने पसंद के स्वयंसिद्ध के बिना ज़र्मेलो-फ्रेंकेल सेट सिद्धांत के एक मॉडल का निर्माण किया, जहां वास्तविक संख्याओं के सभी सेट लेबेस्गु मापन योग्य हैं, एक [[दुर्गम कार्डिनल]] के अस्तित्व को मानते हुए ([[ कोकिला मॉडल ]] देखें)।<ref>{{Citation |last1=Solovay |first1=Robert M. |author1-link=Robert M. Solovay |title=A model of set-theory in which every set of reals is Lebesgue measurable |jstor=1970696 |mr=0265151 |year=1970 |journal=[[Annals of Mathematics]] |series=Second Series |issn=0003-486X |volume=92 |issue=1 |pages=1–56 |doi=10.2307/1970696}}</ref>
गणित में, एक विटाली समुच्चय [[वास्तविक संख्या]]ओं के एक समुच्चय का एक प्राथमिक उदाहरण है, जो [[लेबेस्ग उपाय]] नहीं है, जिसे 1905 में ग्यूसेप विटाली द्वारा अनुसन्धानित किया गया था।<ref>{{cite journal|last=Vitali|first=Giuseppe|authorlink=Giuseppe Vitali|year=1905|title= एक सीधी रेखा के बिंदुओं के समूह को मापने की समस्या पर|journal=Bologna, Tip. Gamberini e Parmeggiani}}</ref> विटाली प्रमेय [[अस्तित्व प्रमेय]] है कि ऐसे समुच्चय हैं। [[अनगिनत]] विटाली समुच्चय हैं, और उनका अस्तित्व पसंद के स्वयंसिद्ध पर निर्भर करता है। 1970 में, रॉबर्ट एम. सोलोवे ने पसंद के स्वयंसिद्ध के बिना ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत के एक मॉडल का निर्माण किया, जहां वास्तविक संख्याओं के सभी समुच्चय लेबेस्गु मापन योग्य हैं, एक [[दुर्गम कार्डिनल]] के अस्तित्व को मानते हुए ([[ कोकिला मॉडल ]] देखें)।<ref>{{Citation |last1=Solovay |first1=Robert M. |author1-link=Robert M. Solovay |title=A model of set-theory in which every set of reals is Lebesgue measurable |jstor=1970696 |mr=0265151 |year=1970 |journal=[[Annals of Mathematics]] |series=Second Series |issn=0003-486X |volume=92 |issue=1 |pages=1–56 |doi=10.2307/1970696}}</ref>
== मापने योग्य समुच्चय ==
कुछ समुच्चयों की एक निश्चित 'लंबाई' या 'द्रव्यमान' होता है। उदाहरण के लिए [[अंतराल (गणित)]] [0, 1] को लंबाई 1 माना जाता है; प्रायः, अंतराल [ए, बी], ए ≤ बी, को लंबाई बी − ए माना जाता है। यदि हम ऐसे अंतरालों को समान घनत्व वाली धातु की छड़ों के रूप में सोचते हैं, तो उनके पास भी अच्छी तरह से परिभाषित द्रव्यमान होते हैं। समुच्चय [0, 1] ∪ [2, 3] लंबाई एक के दो अंतराल से बना है, इसलिए हम इसकी कुल लंबाई 2 लेते हैं। द्रव्यमान के संदर्भ में, हमारे पास द्रव्यमान 1 की दो छड़ें हैं, इसलिए कुल द्रव्यमान है 2.


यहां एक स्वाभाविक प्रश्न है: यदि E वास्तविक रेखा का एक मनमाना उपसमुच्चय है, तो क्या इसका 'द्रव्यमान' या 'कुल लंबाई' है? एक उदाहरण के रूप में, हम पूछ सकते हैं कि परिमेय संख्याओं के समुच्चय का द्रव्यमान क्या है, यह देखते हुए कि अंतराल [0, 1] का द्रव्यमान 1 है। 1 उचित प्रतीत हो सकता है।


== मापने योग्य सेट ==
हालांकि द्रव्यमान का निकटतम सामान्यीकरण [[ सिग्मा योगात्मकता ]] है, जो लेबेस्गु माप को जन्म देता है। यह अंतराल [ए, बी] के लिए बी-ए का माप निर्दिष्ट करता है, लेकिन [[तर्कसंगत संख्या]]ओं के समुच्चय को 0 का माप प्रदान करेगा, क्योंकि यह [[गणनीय]] है। कोई भी समुच्चय जिसमें एक अच्छी तरह से परिभाषित लेबेस्ग माप है, को मापने योग्य कहा जाता है, लेकिन लेबेस्ग माप का निर्माण (उदाहरण के लिए कैराथियोडोरी के विस्तार प्रमेय का उपयोग करके) यह स्पष्ट नहीं करता है कि गैर-मापने योग्य समुच्चय उपस्थित हैं या नहीं। उस प्रश्न के उत्तर में पसंद का स्वयंसिद्ध सम्मिलित है।
कुछ समुच्चयों की एक निश्चित 'लंबाई' या 'द्रव्यमान' होता है। उदाहरण के लिए, [[अंतराल (गणित)]] [0, 1] को लंबाई 1 माना जाता है; आम तौर पर, अंतराल [ए, बी], ए ≤ बी, को लंबाई बी − ए माना जाता है। यदि हम ऐसे अंतरालों को समान घनत्व वाली धातु की छड़ों के रूप में सोचते हैं, तो उनके पास भी अच्छी तरह से परिभाषित द्रव्यमान होते हैं। सेट [0, 1] ∪ [2, 3] लंबाई एक के दो अंतराल से बना है, इसलिए हम इसकी कुल लंबाई 2 लेते हैं। द्रव्यमान के संदर्भ में, हमारे पास द्रव्यमान 1 की दो छड़ें हैं, इसलिए कुल द्रव्यमान है 2.
 
यहां एक स्वाभाविक प्रश्न है: यदि ई वास्तविक रेखा का एक मनमाना उपसमुच्चय है, तो क्या इसका 'द्रव्यमान' या 'कुल लंबाई' है? एक उदाहरण के रूप में, हम पूछ सकते हैं कि परिमेय संख्याओं के समुच्चय का द्रव्यमान क्या है, यह देखते हुए कि अंतराल [0, 1] का द्रव्यमान 1 है। 1 उचित प्रतीत हो सकता है।
 
हालांकि द्रव्यमान का निकटतम सामान्यीकरण [[ सिग्मा योगात्मकता ]] है, जो लेबेस्गु माप को जन्म देता है। यह अंतराल [ए, बी] के लिए बी-ए का माप निर्दिष्ट करता है, लेकिन [[तर्कसंगत संख्या]]ओं के सेट को 0 का माप प्रदान करेगा क्योंकि यह [[गणनीय]] है। कोई भी सेट जिसमें एक अच्छी तरह से परिभाषित Lebesgue माप है, को मापने योग्य कहा जाता है, लेकिन Lebesgue माप का निर्माण (उदाहरण के लिए Carathéodory के विस्तार प्रमेय का उपयोग करके) यह स्पष्ट नहीं करता है कि गैर-मापने योग्य सेट मौजूद हैं या नहीं। उस प्रश्न के उत्तर में पसंद का स्वयंसिद्ध शामिल है।


== निर्माण और प्रमाण ==
== निर्माण और प्रमाण ==
एक विटाली सेट एक उपसमुच्चय है <math>V</math> अंतराल का (गणित) <math>[0,1]</math> वास्तविक संख्याओं का ऐसा कि, प्रत्येक वास्तविक संख्या के लिए <math>r</math>, ठीक एक संख्या है <math>v \in V</math> ऐसा है कि <math>v-r</math> एक परिमेय संख्या है। विटाली सेट मौजूद हैं क्योंकि परिमेय संख्याएँ <math>\mathbb{Q}</math> वास्तविक संख्याओं का एक [[सामान्य उपसमूह]] बनाएं <math>\mathbb{R}</math> इसके अलावा, और यह योज्य [[भागफल समूह]] के निर्माण की अनुमति देता है <math>\mathbb{R}/\mathbb{Q}</math> इन दो समूहों में से जो [[ सह समुच्चय ]] द्वारा गठित समूह है <math>r+\mathbb{Q}</math> जोड़ के तहत वास्तविक संख्याओं के उपसमूह के रूप में परिमेय संख्याओं का। इस समूह <math>\mathbb{R}/\mathbb{Q}</math> असंयुक्त सेट की स्थानांतरित प्रतियां शामिल हैं <math>\mathbb{Q}</math> इस अर्थ में कि इस भागफल समूह का प्रत्येक तत्व रूप का एक समूह है <math>r+\mathbb{Q}</math> कुछ के लिए <math>r</math> में <math>\mathbb{R}</math>. के [[बेशुमार सेट]] तत्व <math>\mathbb{R}/\mathbb{Q}</math> [[एक सेट का विभाजन]] <math>\mathbb{R}</math> अलग सेट में, और प्रत्येक तत्व घने सेट में है <math>\mathbb{R}</math>. का प्रत्येक तत्व <math>\mathbb{R}/\mathbb{Q}</math> काटती है <math>[0,1]</math>, और पसंद का स्वयंसिद्ध एक सबसेट के अस्तित्व की गारंटी देता है <math>[0,1]</math> के प्रत्येक तत्व में से ठीक एक [[प्रतिनिधि (गणित)]] युक्त <math>\mathbb{R}/\mathbb{Q}</math>. इस तरह से बने सेट को विटाली सेट कहा जाता है।
एक विटाली समुच्चय एक उपसमुच्चय <math>V</math> का अंतराल (गणित) <math>[0,1]</math> है वास्तविक संख्याओं का ऐसा कि, प्रत्येक वास्तविक संख्या के लिए <math>r</math>, ठीक एक संख्या है <math>v \in V</math> ऐसा है कि <math>v-r</math> एक परिमेय संख्या है। विटाली समुच्चय उपस्थित  हैं क्योंकि परिमेय संख्याएँ <math>\mathbb{Q}</math> वास्तविक संख्याओं का एक [[सामान्य उपसमूह]] बनाएं <math>\mathbb{R}</math> इसके अलावा, और यह योज्य [[भागफल समूह]] के निर्माण की अनुमति देता है <math>\mathbb{R}/\mathbb{Q}</math> इन दो समूहों में से जो [[ सह समुच्चय ]] द्वारा गठित समूह है <math>r+\mathbb{Q}</math> जोड़ के तहत वास्तविक संख्याओं के उपसमूह के रूप में परिमेय संख्याओं का। इस समूह <math>\mathbb{R}/\mathbb{Q}</math> असंयुक्त समुच्चय की स्थानांतरित प्रतियां सम्मिलित  हैं <math>\mathbb{Q}</math> इस अर्थ में कि इस भागफल समूह का प्रत्येक तत्व रूप का एक समूह है <math>r+\mathbb{Q}</math> कुछ के लिए <math>r</math> में <math>\mathbb{R}</math>. के [[बेशुमार सेट|अगणित समुच्चय]] तत्व <math>\mathbb{R}/\mathbb{Q}</math> [[एक सेट का विभाजन|एक समुच्चय का विभाजन]] <math>\mathbb{R}</math> अलग समुच्चय में, और प्रत्येक तत्व घने समुच्चय में है <math>\mathbb{R}</math>. का प्रत्येक तत्व <math>\mathbb{R}/\mathbb{Q}</math> काटती है <math>[0,1]</math>, और पसंद का स्वयंसिद्ध एक सबसमुच्चय के अस्तित्व की गारंटी देता है <math>[0,1]</math> के प्रत्येक तत्व में से ठीक एक [[प्रतिनिधि (गणित)]] युक्त <math>\mathbb{R}/\mathbb{Q}</math>. इस तरह से बने समुच्चय को विटाली समुच्चय कहा जाता है।


हर विटाली सेट <math>V</math> बेशुमार है, और <math>v-u</math> किसी के लिए तर्कहीन है <math>u,v \in V, u \neq v</math>.
हर विटाली समुच्चय <math>V</math> अगणित है, और <math>v-u</math> किसी के लिए तर्कहीन है <math>u,v \in V, u \neq v</math>.


=== गैर-मापनीयता ===
=== गैर-मापनीयता ===
[[File:diagonal argument.svg|thumb|धनात्मक परिमेय संख्याओं की संभावित गणना]]एक विटाली सेट गैर-मापने योग्य नहीं है। इसे दर्शाने के लिए हम यह मान लेते हैं <math>V</math> औसत दर्जे का है और हम एक विरोधाभास प्राप्त करते हैं। होने देना <math>q_1,q_2,\dots</math> में परिमेय संख्याओं की गणना हो <math>[-1,1]</math> (याद रखें कि परिमेय संख्याएँ गणनीय होती हैं)। के निर्माण से <math>V</math>, ध्यान दें कि अनुवादित सेट <math>V_k=V+q_k=\{v+q_k : v \in V\}</math>, <math>k=1,2,\dots</math> जोड़ो में असंयुक्त हैं, और आगे ध्यान दें कि
[[File:diagonal argument.svg|thumb|धनात्मक परिमेय संख्याओं की संभावित गणना]]एक विटाली समुच्चय गैर-मापने योग्य नहीं है। इसे दर्शाने के लिए हम यह मान लेते हैं <math>V</math>, औसत दर्जे का है और हम एक विरोधाभास प्राप्त करते हैं। होने देना <math>q_1,q_2,\dots</math> में परिमेय संख्याओं की गणना हो <math>[-1,1]</math> (याद रखें कि परिमेय संख्याएँ गणनीय होती हैं)। के निर्माण से <math>V</math>, ध्यान दें कि अनुवादित समुच्चय <math>V_k=V+q_k=\{v+q_k : v \in V\}</math>, <math>k=1,2,\dots</math> जोड़ो में असंयुक्त हैं, और आगे ध्यान दें कि
:<math>[0,1]\subseteq\bigcup_k V_k\subseteq[-1,2].</math>
:<math>[0,1]\subseteq\bigcup_k V_k\subseteq[-1,2].</math>
पहला समावेशन देखने के लिए, किसी भी वास्तविक संख्या पर विचार करें <math>r</math> में <math>[0,1]</math> और जाने <math>v</math> में प्रतिनिधि हो <math>V</math> समतुल्य वर्ग के लिए <math>[r]</math>; तब
पहला समावेशन देखने के लिए, किसी भी वास्तविक संख्या पर विचार करें <math>r</math> में <math>[0,1]</math> और जाने <math>v</math> में प्रतिनिधि हो <math>V</math> समतुल्य वर्ग के लिए <math>[r]</math>; तब
Line 23: Line 21:
सिग्मा एडिटिविटी का उपयोग करके इन समावेशन के लिए लेबेस्ग उपाय लागू करें:
सिग्मा एडिटिविटी का उपयोग करके इन समावेशन के लिए लेबेस्ग उपाय लागू करें:
:<math>1 \leq \sum_{k=1}^\infty \lambda(V_k) \leq 3.</math>
:<math>1 \leq \sum_{k=1}^\infty \lambda(V_k) \leq 3.</math>
क्योंकि Lebesgue उपाय अनुवाद अपरिवर्तनीय है, <math>\lambda(V_k) = \lambda(V)</math> और इसलिए
क्योंकि लेबेस्ग उपाय अनुवाद अपरिवर्तनीय है, <math>\lambda(V_k) = \lambda(V)</math> और इसलिए
:<math>1 \leq \sum_{k=1}^\infty \lambda(V) \leq 3.</math>
:<math>1 \leq \sum_{k=1}^\infty \lambda(V) \leq 3.</math>
लेकिन यह असंभव है। निरंतर की असीमित रूप से कई प्रतियाँ <math>\lambda(V)</math> स्थिरांक शून्य है या धनात्मक, इसके अनुसार या तो शून्य या अनंत प्राप्त होता है। किसी भी स्थिति में योग नहीं है <math>[1,3]</math>. इसलिए <math>V</math> सब के बाद मापने योग्य नहीं हो सकता है, यानी लेबेस्ग उपाय <math>\lambda</math> के लिए कोई मान परिभाषित नहीं करना चाहिए <math>\lambda(V)</math>.
लेकिन यह असंभव है। निरंतर की असीमित रूप से कई प्रतियाँ <math>\lambda(V)</math> स्थिरांक शून्य है या धनात्मक, इसके अनुसार या तो शून्य या अनंत प्राप्त होता है। किसी भी स्थिति में योग नहीं है <math>[1,3]</math>. इसलिए <math>V</math> सब के बाद मापने योग्य नहीं हो सकता है, यानी लेबेस्ग उपाय <math>\lambda</math> के लिए कोई मान परिभाषित नहीं करना चाहिए <math>\lambda(V)</math>.
Line 29: Line 27:
== यह भी देखें ==
== यह भी देखें ==


* {{annotated link|Banach–Tarski paradox}}
* {{annotated link|बनच-तर्स्की विरोधाभास}}
* {{annotated link|Carathéodory's criterion}}
* {{annotated link|कैराथोडोरी की कसौटी}}
* {{annotated link|Non-measurable set}}
* {{annotated link|गैर-मापने योग्य सेट}}
* {{annotated link|Outer measure}}
* {{annotated link|बाहरी माप}}


==संदर्भ==
==संदर्भ==
Line 39: Line 37:


==ग्रन्थसूची==
==ग्रन्थसूची==
* {{cite book|last=Herrlich|first=Horst|authorlink = Horst Herrlich|title=Axiom of Choice|url=https://archive.org/details/axiomchoicelectu00herr_278|url-access=limited|page=[https://archive.org/details/axiomchoicelectu00herr_278/page/n132 120]|publisher=Springer|year=2006|isbn=9783540309895}}
* {{cite book|last=हेरलिच|first=होर्स्ट|authorlink = होर्स्ट हेरलिच|title=पसंद का स्वयंसिद्ध|url=https://archive.org/details/axiomchoicelectu00herr_278|url-access=सीमित|page=[https://archive.org/details/axiomchoicelectu00herr_278/page/n132 120]|publisher=कोंपल|year=2006|isbn=9783540309895}}
* {{cite journal|last=Vitali|first=Giuseppe|authorlink=Giuseppe Vitali|year=1905|title= Sul problema della misura dei gruppi di punti di una retta|journal=Bologna, Tip. Gamberini e Parmeggiani}}
* {{cite journal|last=Vitali|first=Giuseppe|authorlink=Giuseppe Vitali|year=1905|title= Sul problema della misura dei gruppi di punti di una retta|journal=Bologna, Tip. Gamberini e Parmeggiani}}


{{Measure theory}}
{{Measure theory}}
{{Real numbers}}
{{Real numbers}}
[[Category: वास्तविक संख्याओं का समूह]] [[Category: माप सिद्धांत]] [[Category: प्रमाण युक्त लेख]] [[Category: पसंद का स्वयंसिद्ध]]


[[Category: Machine Translated Page]]
[[Category:CS1 errors]]
[[Category:Collapse templates]]
[[Category:Created On 25/05/2023]]
[[Category:Created On 25/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:पसंद का स्वयंसिद्ध]]
[[Category:प्रमाण युक्त लेख]]
[[Category:माप सिद्धांत]]
[[Category:वास्तविक संख्याओं का समूह]]

Latest revision as of 10:03, 7 June 2023

गणित में, एक विटाली समुच्चय वास्तविक संख्याओं के एक समुच्चय का एक प्राथमिक उदाहरण है, जो लेबेस्ग उपाय नहीं है, जिसे 1905 में ग्यूसेप विटाली द्वारा अनुसन्धानित किया गया था।[1] विटाली प्रमेय अस्तित्व प्रमेय है कि ऐसे समुच्चय हैं। अनगिनत विटाली समुच्चय हैं, और उनका अस्तित्व पसंद के स्वयंसिद्ध पर निर्भर करता है। 1970 में, रॉबर्ट एम. सोलोवे ने पसंद के स्वयंसिद्ध के बिना ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत के एक मॉडल का निर्माण किया, जहां वास्तविक संख्याओं के सभी समुच्चय लेबेस्गु मापन योग्य हैं, एक दुर्गम कार्डिनल के अस्तित्व को मानते हुए (कोकिला मॉडल देखें)।[2]

मापने योग्य समुच्चय

कुछ समुच्चयों की एक निश्चित 'लंबाई' या 'द्रव्यमान' होता है। उदाहरण के लिए अंतराल (गणित) [0, 1] को लंबाई 1 माना जाता है; प्रायः, अंतराल [ए, बी], ए ≤ बी, को लंबाई बी − ए माना जाता है। यदि हम ऐसे अंतरालों को समान घनत्व वाली धातु की छड़ों के रूप में सोचते हैं, तो उनके पास भी अच्छी तरह से परिभाषित द्रव्यमान होते हैं। समुच्चय [0, 1] ∪ [2, 3] लंबाई एक के दो अंतराल से बना है, इसलिए हम इसकी कुल लंबाई 2 लेते हैं। द्रव्यमान के संदर्भ में, हमारे पास द्रव्यमान 1 की दो छड़ें हैं, इसलिए कुल द्रव्यमान है 2.

यहां एक स्वाभाविक प्रश्न है: यदि E वास्तविक रेखा का एक मनमाना उपसमुच्चय है, तो क्या इसका 'द्रव्यमान' या 'कुल लंबाई' है? एक उदाहरण के रूप में, हम पूछ सकते हैं कि परिमेय संख्याओं के समुच्चय का द्रव्यमान क्या है, यह देखते हुए कि अंतराल [0, 1] का द्रव्यमान 1 है। 1 उचित प्रतीत हो सकता है।

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

निर्माण और प्रमाण

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

हर विटाली समुच्चय अगणित है, और किसी के लिए तर्कहीन है .

गैर-मापनीयता

धनात्मक परिमेय संख्याओं की संभावित गणना

एक विटाली समुच्चय गैर-मापने योग्य नहीं है। इसे दर्शाने के लिए हम यह मान लेते हैं , औसत दर्जे का है और हम एक विरोधाभास प्राप्त करते हैं। होने देना में परिमेय संख्याओं की गणना हो (याद रखें कि परिमेय संख्याएँ गणनीय होती हैं)। के निर्माण से , ध्यान दें कि अनुवादित समुच्चय , जोड़ो में असंयुक्त हैं, और आगे ध्यान दें कि

पहला समावेशन देखने के लिए, किसी भी वास्तविक संख्या पर विचार करें में और जाने में प्रतिनिधि हो समतुल्य वर्ग के लिए ; तब

 कुछ तर्कसंगत संख्या के लिए  में  जिसका तात्पर्य है  में है .

सिग्मा एडिटिविटी का उपयोग करके इन समावेशन के लिए लेबेस्ग उपाय लागू करें:

क्योंकि लेबेस्ग उपाय अनुवाद अपरिवर्तनीय है, और इसलिए

लेकिन यह असंभव है। निरंतर की असीमित रूप से कई प्रतियाँ स्थिरांक शून्य है या धनात्मक, इसके अनुसार या तो शून्य या अनंत प्राप्त होता है। किसी भी स्थिति में योग नहीं है . इसलिए सब के बाद मापने योग्य नहीं हो सकता है, यानी लेबेस्ग उपाय के लिए कोई मान परिभाषित नहीं करना चाहिए .

यह भी देखें

संदर्भ

  1. Vitali, Giuseppe (1905). "एक सीधी रेखा के बिंदुओं के समूह को मापने की समस्या पर". Bologna, Tip. Gamberini e Parmeggiani.
  2. Solovay, Robert M. (1970), "A model of set-theory in which every set of reals is Lebesgue measurable", Annals of Mathematics, Second Series, 92 (1): 1–56, doi:10.2307/1970696, ISSN 0003-486X, JSTOR 1970696, MR 0265151


ग्रन्थसूची