View source for परमाणु (माप सिद्धांत)

गणित में, अधिक सटीक रूप से [[माप सिद्धांत]] में, एक परमाणु एक मापने योग्य सेट होता है जिसका सकारात्मक माप होता है और इसमें छोटे सकारात्मक माप का कोई सेट नहीं होता है। एक उपाय जिसमें कोई परमाणु नहीं होता है, उसे गैर-परमाणु या परमाणु रहित कहा जाता है।

== परिभाषा ==
एक [[मापने योग्य स्थान]] दिया गया <math>(X, \Sigma)</math> और एक [[उपाय (गणित)]] <math>\mu</math> उस स्थान पर, एक सेट <math>A\subset X</math> में <math>\Sigma</math> परमाणु कहा जाता है यदि
<math display="block">\mu(A) > 0</math>
और किसी भी मापने योग्य सबसेट के लिए <math>B \subset A</math> साथ
<math display="block">\mu(B) < \mu(A)</math>
सेट <math>B</math> माप शून्य है।

अगर <math>A</math> एक परमाणु है, सभी उपसमुच्चय <math>\mu</math>- तुल्यता वर्ग <math>[A]</math> का <math>A</math> परमाणु हैं, और <math>[A]</math> परमाणु वर्ग कहा जाता है। अगर <math>\mu</math> एक है <math>\sigma</math>- परिमित माप, असंख्य परमाणु वर्ग हैं।

== उदाहरण ==
* समुच्चय X = {1, 2, ..., 9, 10} पर विचार करें और मान लें कि [[सिग्मा-बीजगणित]] <math>\Sigma</math> X का [[ सत्ता स्थापित ]] हो। माप को परिभाषित करें <math>\mu</math> एक सेट की [[प्रमुखता]], यानी सेट में तत्वों की संख्या। फिर, प्रत्येक [[सिंगलटन (गणित)]] {i}, i = 1, 2, ..., 9, 10 के लिए एक परमाणु है।
* [[वास्तविक रेखा]] पर [[लेबेस्ग उपाय]] पर विचार करें। इस उपाय में कोई परमाणु नहीं है।

== परमाणु के उपाय ==
ए <math>\sigma</math>- परिमित माप <math> \mu </math> मापने योग्य स्थान पर <math>(X, \Sigma)</math> परमाणु या विशुद्ध रूप से परमाणु कहा जाता है यदि सकारात्मक माप के प्रत्येक मापने योग्य सेट में एक परमाणु होता है। यह कहने के बराबर है कि एक [[ गणनीय सेट ]] का विभाजन है <math>X</math> एक अशक्त सेट तक परमाणुओं द्वारा गठित।<ref>{{Cite web|url=https://math.stackexchange.com/a/2026823/815585|title = Analysis - Countable partition in atoms}}</ref> की धारणा <math>\sigma</math>-सीमा जरूरी है। अन्यथा स्थान पर विचार करें <math>(\mathbb{R},\mathcal{P}(\Reals),\nu)</math> कहाँ <math>\nu</math> गिनती के उपाय को दर्शाता है। यह स्थान परमाणु है, जिसमें सभी परमाणु सिंगलटन (गणित) हैं, फिर भी अंतरिक्ष को कई अलग-अलग परमाणुओं के अलग-अलग संघों में विभाजित करने में सक्षम नहीं है, <math display="inline">\bigcup_{n=1}^\infty A_n</math> और एक शून्य सेट <math>N</math> चूँकि सिंगलटन का गणनीय संघ एक गणनीय सेट है, और वास्तविक संख्याओं की बेशुमारता से पता चलता है कि पूरक <math display="inline">N = \mathbb{R} \setminus \bigcup_{n=1}^\infty A_n</math> बेशुमार होना होगा, इसलिए इसकी <math>\nu</math>-माप अनंत होगा, यह एक अशक्त सेट होने के विपरीत है। के लिए परिणाम की वैधता <math>\sigma</math>-परिमित स्थान परिमित माप रिक्त स्थान के प्रमाण से अनुसरण करते हैं, यह देखते हुए कि गणनीय संघों का गणनीय संघ फिर से एक गणनीय संघ है, और यह कि अशक्त सेटों के गणनीय संघ शून्य हैं।

== असतत उपाय ==
ए <math>\sigma</math>- परिमित परमाणु माप <math> \mu </math> असतत कहा जाता है यदि किसी परमाणु वर्ग के परमाणुओं का प्रतिच्छेदन खाली नहीं है।
यह समतुल्य है<ref>{{Cite web|url=https://math.stackexchange.com/a/4391020/815585|title = Why must a discrete atomic measure admit a decomposition into Dirac measures? Moreover, what is "an atomic class"?}}</ref> यह कहने के लिए <math> \mu </math> गिने-चुने कई डायराक उपायों का भारित योग है, यानी एक क्रम है <math> x_1,x_2,... </math> अंकों में <math> X </math>, और एक क्रम <math> c_1,c_2,... </math> धनात्मक वास्तविक संख्याओं (वजन) का ऐसा है कि <math display="inline"> \mu=\sum_{k=1}^\infty c_k\delta_{x_k} </math>, जिसका अर्थ है कि <math display="inline"> \mu(A) = \sum_{k=1}^\infty c_k\delta_{x_k}(A) </math> हरएक के लिए <math> A\in\Sigma </math>. हम प्रत्येक बिंदु को चुन सकते हैं <math> x_k </math> परमाणुओं का एक सामान्य बिंदु होना
में <math> k </math>-वाँ परमाणु वर्ग।

एक असतत उपाय परमाणु है लेकिन उलटा निहितार्थ विफल रहता है: लो <math>X=[0,1]</math>, <math>\Sigma</math>  <math>\sigma</math>गणनीय और सह-गणनीय उपसमूहों का बीजगणित,   <math> \mu=0 </math> गणनीय उपसमुच्चय में और <math> \mu=1 </math> सह-गणनीय उपसमुच्चय में। फिर एक एकल परमाणु वर्ग होता है, जो सह-गणनीय उपसमुच्चय द्वारा गठित होता है। पैमाना <math> \mu</math> परमाणु है लेकिन अद्वितीय परमाणु वर्ग में परमाणुओं का प्रतिच्छेदन खाली है और <math> \mu </math> Dirac उपायों के योग के रूप में नहीं रखा जा सकता है।

यदि प्रत्येक परमाणु एक सिंगलटन के बराबर है, <math> \mu </math> असतत है अगर यह परमाणु है। इस मामले में <math> x_k </math> ऊपर परमाणु सिंगलटन हैं, इसलिए वे अद्वितीय हैं। बोरेल सेट के साथ प्रदान किए गए वियोज्य मीट्रिक स्थान में कोई परिमित माप इस शर्त को पूरा करता है।<ref>{{Cite book | last=Kadets | first=Vladimir | title=कार्यात्मक विश्लेषण और माप सिद्धांत में एक कोर्स| year=2018 |publisher=Springer |location=Switzerland |isbn=978-3-319-92003-0 |page=45}}</ref>


== गैर-परमाणु उपाय ==
वह माप जिसमें कोई परमाणु न हो कहलाता है{{visible anchor|non-atomic measure}} या ए{{visible anchor|diffuse measure}}. दूसरे शब्दों में, एक उपाय <math> \mu </math> किसी मापने योग्य सेट के लिए गैर-परमाणु है <math>A</math> साथ <math>\mu(A) > 0</math> एक औसत दर्जे का सबसेट मौजूद है <math>B</math> का <math>A</math> ऐसा है कि
<math display=block>\mu(A) > \mu (B) > 0.</math>
कम से कम एक सकारात्मक मूल्य के साथ एक गैर-परमाणु माप में एक सेट के साथ शुरू होने वाले अलग-अलग मूल्यों की अनंत संख्या होती है <math>A</math> साथ <math>\mu(A) > 0</math> मापने योग्य सेटों के घटते क्रम का निर्माण किया जा सकता है
<math display=block>A = A_1\supset A_2 \supset A_3 \supset \cdots</math>
ऐसा है कि
<math display=block>\mu(A) = \mu(A_1) > \mu(A_2) > \mu(A_3) > \cdots > 0.</math>
यह उन मापों के लिए सही नहीं हो सकता जिनमें परमाणु हों; ऊपर पहला उदाहरण देखें।

यह पता चला है कि गैर-परमाणु उपायों में वास्तव में मूल्यों का एक [[सातत्य (सिद्धांत)]] होता है। यह सिद्ध किया जा सकता है कि यदि <math>\mu</math> एक गैर-परमाणु उपाय है और <math>A</math> के साथ एक मापने योग्य सेट है <math>\mu(A) > 0,</math> फिर किसी वास्तविक संख्या के लिए <math>b</math> संतुष्टि देने वाला
<math display=block>\mu(A) \geq b \geq 0</math>
एक औसत दर्जे का सबसेट मौजूद है <math>B</math> का <math>A</math> ऐसा है कि
<math display=block>\mu(B) = b.</math>
यह सिद्धांत वैक्लाव सीरपिन्स्की के कारण है।<ref>{{cite journal |first=W. |last=Sierpinski |url=http://matwbn.icm.edu.pl/ksiazki/fm/fm3/fm3125.pdf |title=योज्य और निरंतर सेट कार्यों पर|journal=Fundamenta Mathematicae |volume=3 |pages=240–246 |year=1922|doi=10.4064/fm-3-1-240-246 |language=fr }}</ref><ref>{{Cite book |last=Fryszkowski|first=Andrzej|title=डीकंपोज़ेबल सेट के लिए फिक्स्ड पॉइंट थ्योरी (टोपोलॉजिकल फिक्स्ड पॉइंट थ्योरी और इसके अनुप्रयोग)|year=2005|publisher=Springer|location=New York|isbn=1-4020-2498-3|page=39}}</ref>
यह निरंतर कार्यों के लिए [[मध्यवर्ती मूल्य प्रमेय]] की याद दिलाता है।

गैर-परमाणु उपायों पर सिएरपिन्स्की के प्रमेय के प्रमाण का रेखाचित्र। थोड़ा मजबूत बयान, जो हालांकि सबूत को आसान बनाता है, वह है अगर <math>(X, \Sigma, \mu)</math> एक गैर-परमाणु माप स्थान है और <math>\mu(X) = c,</math> एक समारोह मौजूद है <math>S : [0, c] \to \Sigma</math> यह समावेशन के संबंध में मोनोटोन है, और इसका दायां-विपरीत है <math>\mu : \Sigma \to [0, c].</math> यही है, मापने योग्य सेटों का एक-पैरामीटर परिवार मौजूद है <math>S(t)</math> ऐसा कि सभी के लिए <math>0 \leq t \leq t' \leq c</math>
<math display=block>S(t) \subseteq S(t'),</math> 
<math display=block>\mu\left (S(t)\right)=t.</math>
सबूत आसानी से ज़ोर्न के लेम्मा से अनुसरण करता है जो सभी मोनोटोन आंशिक वर्गों के सेट पर लागू होता है <math>\mu</math> :
<math display=block>\Gamma: = \{S : D \to \Sigma\; :\; D \subseteq [0, c],\, S\; \mathrm{ monotone }, \text{ for all } t \in D\; (\mu(S(t)) = t)\},</math>
रेखांकन को शामिल करने का आदेश दिया, <math>\mathrm{graph}(S) \subseteq \mathrm{graph}(S').</math> यह दिखाने के लिए मानक है कि प्रत्येक श्रृंखला में <math>\Gamma</math> में एक ऊपरी सीमा है <math>\Gamma,</math> और इसका कोई भी अधिकतम तत्व <math>\Gamma</math> डोमेन है <math>[0, c],</math> दावा साबित करना।

== यह भी देखें ==
* [[परमाणु (आदेश सिद्धांत)]] — आदेश सिद्धांत में एक समान अवधारणा
* [[डिराक डेल्टा समारोह]]
* प्राथमिक घटना, जिसे परमाणु घटना के रूप में भी जाना जाता है

== टिप्पणियाँ==
<references />


==संदर्भ==
* {{Cite book | author1=Bruckner, Andrew M. | author2=Bruckner, Judith B. | author3=Thomson, Brian S. | title=Real analysis | year=1997 | publisher=Prentice-Hall | location=Upper Saddle River, N.J. | isbn=0-13-458886-X | page=[https://archive.org/details/realanalysis00bruc/page/108 108] | url-access=registration | url=https://archive.org/details/realanalysis00bruc/page/108 }}
* {{Cite book |author1=Butnariu, Dan |author2=Klement, E. P. | title=Triangular norm-based measures and games with fuzzy coalitions | year=1993 | publisher=Kluwer Academic | location=Dordrecht  | isbn=0-7923-2369-6 | page=87}}


==बाहरी संबंध==
* [https://www.encyclopediaofmath.org/index.php/Atom Atom] at The Encyclopedia of Mathematics

{{Measure theory}}
[[Category: माप सिद्धांत]] 



[[Category: Machine Translated Page]]
[[Category:Created On 25/05/2023]]