कुल भिन्नता: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(7 intermediate revisions by 3 users not shown)
Line 13: Line 13:


:<math> V_a^b(f)=\sup_{\mathcal{P}} \sum_{i=0}^{n_P-1} | f(x_{i+1})-f(x_i) |, </math>
:<math> V_a^b(f)=\sup_{\mathcal{P}} \sum_{i=0}^{n_P-1} | f(x_{i+1})-f(x_i) |, </math>
जहां एक अंतराल के सभी विभाजनों के [[सेट (गणित)]] पर [[अंतिम]] चलता है <math> \mathcal{P} = \left\{P=\{ x_0, \dots , x_{n_P}\} \mid P\text{ is a partition of } [a,b] \right\} </math> दिए गए अंतराल (गणित) का।
जहां एक अंतराल के सभी विभाजनों के [[सेट (गणित)]] पर [[अंतिम]] चलता है <math> \mathcal{P} = \left\{P=\{ x_0, \dots , x_{n_P}\} \mid P\text{ is a partition of } [a,b] \right\} </math> दिए गए अंतराल (गणित) का है


जहां सर्वोच्च सभी विभाजनों के सेट पर चलता है <math> \mathcal{P} = \left\{P=\{ x_0, \dots , x_{n_P}\} \mid P\text{ is a partition of } [a,b] \right\} </math> का विभाजन है।
जहां सर्वोच्च सभी विभाजनों के सेट पर चलता है <math> \mathcal{P} = \left\{P=\{ x_0, \dots , x_{n_P}\} \mid P\text{ is a partition of } [a,b] \right\} </math> का विभाजन है।


==== n > 1 वास्तविक चर के कार्यों के लिए कुल भिन्नता ====
==== n > 1 वास्तविक चर के कार्यों के लिए कुल भिन्नता ====
{{EquationRef|2|Definition 1.2.}} मान लीजिए Ω, R का एक [[खुला उपसमुच्चय]] है<sup>एन</sup>. L से संबंधित एक कार्य f दिया गया है<sup>1</sup>(Ω), Ω में ''f'' की कुल विविधता को इस रूप में परिभाषित किया गया है
{{EquationRef|2|Definition 1.2.}} मान लीजिए Ω, '''R'''<sup>''n''</sup> का एक [[खुला उपसमुच्चय|विवर्त उपसमुच्चय]] है ''L''<sup>1</sup>('''Ω''') से संबंधित एक कार्य f दिया गया है Ω में ''f'' की कुल विविधता को इस रूप में परिभाषित किया गया है


:<math> V(f,\Omega):=\sup\left\{\int_\Omega f(x) \operatorname{div} \phi(x) \, \mathrm{d}x \colon \phi\in  C_c^1(\Omega,\mathbb{R}^n),\ \Vert \phi\Vert_{L^\infty(\Omega)}\le 1\right\}, </math>
:<math> V(f,\Omega):=\sup\left\{\int_\Omega f(x) \operatorname{div} \phi(x) \, \mathrm{d}x \colon \phi\in  C_c^1(\Omega,\mathbb{R}^n),\ \Vert \phi\Vert_{L^\infty(\Omega)}\le 1\right\}, </math>
कहाँ
जहाँ
* <math> C_c^1(\Omega,\mathbb{R}^n)</math> [[ चिकना कार्य |चिकना कार्य]]  [[ वेक्टर-मूल्यवान फ़ंक्शन | वेक्टर-मूल्यवान फ़ंक्शन]] ऑफ सपोर्ट (गणित) का सेट (गणित) है#कॉम्पैक्ट सपोर्ट इसमें निहित है <math>\Omega</math>,
*<math> C_c^1(\Omega,\mathbb{R}^n)</math> <math>\Omega</math> में निहित कॉम्पैक्ट समर्थन के निरंतर भिन्न वेक्टर कार्यों का सेट है।
* <math> \Vert\;\Vert_{L^\infty(\Omega)}</math> आवश्यक सुप्रीम नॉर्म (गणित) है, और
* <math> \Vert\;\Vert_{L^\infty(\Omega)}</math> आवश्यक सुप्रीम नॉर्म (गणित) है, और
* <math>\operatorname{div}</math> [[विचलन]] ऑपरेटर है।
* <math>\operatorname{div}</math> [[विचलन]] ऑपरेटर है।
इस परिभाषा के लिए किसी कार्य के डोमेन की आवश्यकता नहीं है <math>\Omega \subseteq \mathbb{R}^n</math> दिए गए कार्य का एक परिबद्ध सेट हो।
इस परिभाषा के लिए यह आवश्यक नहीं है कि दिए गए कार्य का डोमेन <math>\Omega \subseteq \mathbb{R}^n</math> एक परिबद्ध सेट हो।


=== माप सिद्धांत में कुल भिन्नता ===
=== माप सिद्धांत में कुल भिन्नता ===


==== शास्त्रीय कुल भिन्नता परिभाषा ====
==== मौलिक कुल भिन्नता परिभाषा ====
अगले {{Harvtxt|Saks|1937|p=10}}, एक [[हस्ताक्षरित उपाय]] पर विचार करें <math>\mu</math> एक [[सिग्मा-बीजगणित]] पर <math>(X,\Sigma)</math>: तब दो सेट कार्यों को परिभाषित करना संभव है <math>\overline{\mathrm{W}}(\mu,\cdot)</math> और <math>\underline{\mathrm{W}}(\mu,\cdot)</math>, क्रमशः ऊपरी भिन्नता और निम्न भिन्नता कहा जाता है
अगले {{Harvtxt|Saks|1937|p=10}}, एक [[हस्ताक्षरित उपाय]] पर विचार करें <math>\mu</math> एक [[सिग्मा-बीजगणित]] पर <math>(X,\Sigma)</math>: तब दो सेट कार्यों को परिभाषित करना संभव है <math>\overline{\mathrm{W}}(\mu,\cdot)</math> और <math>\underline{\mathrm{W}}(\mu,\cdot)</math>, क्रमशः ऊपरी भिन्नता और निम्न भिन्नता कहा जाता है


Line 38: Line 38:
:<math>\overline{\mathrm{W}}(\mu,E)\geq 0 \geq \underline{\mathrm{W}}(\mu,E)\qquad\forall E\in\Sigma</math>
:<math>\overline{\mathrm{W}}(\mu,E)\geq 0 \geq \underline{\mathrm{W}}(\mu,E)\qquad\forall E\in\Sigma</math>


{{EquationRef|3|Definition 1.3.}} हस्ताक्षरित माप की भिन्नता (जिसे निरपेक्ष भिन्नता भी कहा जाता है)। <math>\mu</math> सेट फंक्शन है
{{EquationRef|3|Definition 1.3.}} हस्ताक्षरित माप की भिन्नता (जिसे निरपेक्ष भिन्नता भी कहा जाता है)। <math>\mu</math> सेट कार्य है


:<math>|\mu|(E)=\overline{\mathrm{W}}(\mu,E)+\left|\underline{\mathrm{W}}(\mu,E)\right|\qquad\forall E\in\Sigma</math>
:<math>|\mu|(E)=\overline{\mathrm{W}}(\mu,E)+\left|\underline{\mathrm{W}}(\mu,E)\right|\qquad\forall E\in\Sigma</math>
और इसकी कुल भिन्नता को परिभाषा के पूरे स्थान पर इस माप के मूल्य के रूप में परिभाषित किया गया है, अर्थात।
और इसकी कुल भिन्नता को परिभाषा के पूरे स्थान पर इस माप के मान के रूप में परिभाषित किया गया है।


:<math>\|\mu\|=|\mu|(X)</math>
:<math>\|\mu\|=|\mu|(X)</math>
Line 58: Line 58:


==== जटिल उपायों की कुल भिन्नता मानदंड ====
==== जटिल उपायों की कुल भिन्नता मानदंड ====
यदि माप <math>\mu</math> जटिल संख्या है | जटिल-मूल्यवान यानी एक [[जटिल उपाय]] है, इसकी ऊपरी और निचली विविधता को परिभाषित नहीं किया जा सकता है और हैन-जॉर्डन अपघटन प्रमेय को केवल इसके वास्तविक और काल्पनिक भागों पर लागू किया जा सकता है। हालाँकि, इसका पालन करना संभव है {{Harvtxt|Rudin|1966|pp=137&ndash;139}} और जटिल-मूल्यवान माप की कुल भिन्नता को परिभाषित करें <math>\mu</math> निम्नलिखित नुसार
यदि माप <math>\mu</math> जटिल-मूल्यवान है अर्थात एक जटिल माप है, तो इसकी ऊपरी और निचली भिन्नता को परिभाषित नहीं किया जा सकता है और हन-जॉर्डन अपघटन प्रमेय को केवल इसके वास्तविक और काल्पनिक भागों पर प्रयुक्त किया जा सकता है। चूँकि , {{Harvtxt|रुडिन|1966|pp=137&ndash;139}} का पालन करना संभव है और जटिल-मूल्यवान माप <math>\mu</math> की कुल भिन्नता को निम्नानुसार परिभाषित करता है


{{EquationRef|4|Definition 1.4.}} जटिल-मूल्यवान माप की भिन्नता <math>\mu</math> सेट फंक्शन है
{{EquationRef|4|Definition 1.4.}} जटिल-मूल्यवान माप की भिन्नता <math>\mu</math> सेट कार्य है


:<math>|\mu|(E)=\sup_\pi \sum_{A\isin\pi} |\mu(A)|\qquad\forall E\in\Sigma</math>
:<math>|\mu|(E)=\sup_\pi \sum_{A\isin\pi} |\mu(A)|\qquad\forall E\in\Sigma</math>
जहां सभी विभाजनों पर सुप्रीमम लिया जाता है <math>\pi</math> एक [[मापने योग्य सेट]] का <math>E</math> असंयुक्त मापने योग्य उपसमुच्चयों की एक गणनीय संख्या में।
जहाँ मापन योग्य सेट <math>E</math> के सभी विभाजन <math>\pi</math> पर श्रेष्ठता को अलग-अलग मापने योग्य उपसमुच्चयों की एक गणनीय संख्या में ले लिया जाता है। यह परिभाषा उपरोक्त परिभाषा के साथ मेल खाती है <math>|\mu|=\mu^++\mu^-</math> वास्तविक मूल्यवान हस्ताक्षरित उपायों के स्थिति में है।
 
यह परिभाषा उपरोक्त परिभाषा से मेल खाती है <math>|\mu|=\mu^++\mu^-</math> वास्तविक मूल्यवान हस्ताक्षरित उपायों के मामले में।


==== वेक्टर-मूल्यवान उपायों का कुल भिन्नता मानदंड ====
==== वेक्टर-मूल्यवान उपायों का कुल भिन्नता मानदंड ====


परिभाषित भिन्नता एक [[सकारात्मक उपाय]] है (देखें {{Harvtxt|Rudin|1966|p=139}}) और इसके द्वारा परिभाषित एक के साथ मेल खाता है {{EquationNote|3|1.3}} कब <math>\mu</math> एक हस्ताक्षरित उपाय है: इसकी कुल भिन्नता को ऊपर के रूप में परिभाषित किया गया है। यह परिभाषा भी काम करती है अगर <math>\mu</math> एक सदिश माप है: भिन्नता को तब निम्न सूत्र द्वारा परिभाषित किया जाता है
परिभाषित भिन्नता एक [[सकारात्मक उपाय]] है (देखें {{Harvtxt|रुडिन|1966|p=139}}) और इसके द्वारा परिभाषित एक के साथ मेल खाता है {{EquationNote|3|1.3}} जब <math>\mu</math> एक हस्ताक्षरित उपाय है: इसकी कुल भिन्नता को ऊपर के रूप में परिभाषित किया गया है। यह परिभाषा भी काम करती है यदि <math>\mu</math> एक सदिश माप है: भिन्नता को तब निम्न सूत्र द्वारा परिभाषित किया जाता है


:<math>|\mu|(E) = \sup_\pi \sum_{A\isin\pi} \|\mu(A)\|\qquad\forall E\in\Sigma</math>
:<math>|\mu|(E) = \sup_\pi \sum_{A\isin\pi} \|\mu(A)\|\qquad\forall E\in\Sigma</math>
जहां सुप्रीम ऊपर जैसा है। यह परिभाषा इसके द्वारा दी गई परिभाषा से थोड़ी अधिक सामान्य है {{Harvtxt|Rudin|1966|p=138}} क्योंकि इसके लिए केवल स्थान के परिमित विभाजनों पर विचार करना आवश्यक है <math>X</math>: इसका तात्पर्य है कि इसका उपयोग [[सिग्मा योगात्मकता]] पर कुल भिन्नता को परिभाषित करने के लिए भी किया जा सकता है। परिमित-योगात्मक उपाय।
जहां सुप्रीम ऊपर जैसा है। यह परिभाषा {{Harvtxt|रुडिन|1966|p=138}} द्वारा दी गई परिभाषा से थोड़ी अधिक सामान्य है क्योंकि इसके लिए केवल स्थान <math>X</math> के परिमित विभाजनों पर विचार करने की आवश्यकता है: इसका तात्पर्य है कि इसका उपयोग परिमित-योगात्मक उपायों पर कुल भिन्नता को परिभाषित करने के लिए भी किया जा सकता है।  


==== संभाव्यता उपायों की कुल भिन्नता ====
==== संभाव्यता उपायों की कुल भिन्नता ====
{{main|Total variation distance of probability measures}}
{{main|संभाव्यता उपायों की कुल भिन्नता दूरी}}
किसी भी [[संभाव्यता माप]] की कुल भिन्नता बिल्कुल एक है, इसलिए यह ऐसे उपायों के गुणों की जांच के साधन के रूप में दिलचस्प नहीं है। हालाँकि, जब μ और ν संभाव्यता उपाय हैं, तो [[संभाव्यता उपायों की कुल भिन्नता दूरी]] को इस रूप में परिभाषित किया जा सकता है <math>\| \mu - \nu \|</math> जहां मानदंड हस्ताक्षरित उपायों का कुल भिन्नता मानदंड है। संपत्ति का उपयोग करना <math>(\mu-\nu)(X)=0</math>, हम अंततः समतुल्य परिभाषा पर पहुँचते हैं
किसी भी [[संभाव्यता माप]] की कुल भिन्नता बिल्कुल एक है, इसलिए यह ऐसे उपायों के गुणों की जांच के साधन के रूप में रोचक नहीं है। चूँकि, जब μ और ν संभाव्यता उपाय हैं, तो [[संभाव्यता उपायों की कुल भिन्नता दूरी]] को इस रूप में परिभाषित किया जा सकता है <math>\| \mu - \nu \|</math> जहां मानदंड हस्ताक्षरित उपायों का कुल भिन्नता मानदंड है। संपत्ति का उपयोग करना <math>(\mu-\nu)(X)=0</math>, हम अंततः समतुल्य परिभाषा पर पहुँचते हैं


:<math>\|\mu-\nu\| = |\mu-\nu|(X)=2 \sup\left\{\,\left|\mu(A)-\nu(A)\right| : A\in \Sigma\,\right\}</math>
:<math>\|\mu-\nu\| = |\mu-\nu|(X)=2 \sup\left\{\,\left|\mu(A)-\nu(A)\right| : A\in \Sigma\,\right\}</math>
और इसके मूल्य गैर-तुच्छ हैं। कारण <math>2</math> ऊपर आमतौर पर गिरा दिया जाता है (जैसा कि लेख में परिपाटी है संभाव्यता उपायों की कुल भिन्नता दूरी)। अनौपचारिक रूप से, यह संभावनाओं के बीच सबसे बड़ा संभावित अंतर है कि दो संभावना वितरण एक ही घटना को निर्दिष्ट कर सकते हैं। एक [[श्रेणीबद्ध वितरण]] के लिए कुल भिन्नता दूरी को निम्नानुसार लिखना संभव है
और इसके मान गैर-तुच्छ हैं। कारण <math>2</math> ऊपर सामान्यतः गिरा दिया जाता है (जैसा कि लेख में परिपाटी है संभाव्यता उपायों की कुल भिन्नता दूरी)। अनौपचारिक रूप से, यह संभावनाओं के बीच सबसे बड़ा संभावित अंतर है कि दो संभावना वितरण एक ही घटना को निर्दिष्ट कर सकते हैं। एक [[श्रेणीबद्ध वितरण]] के लिए कुल भिन्नता दूरी को निम्नानुसार लिखना संभव है


:<math>\delta(\mu,\nu) = \sum_x \left| \mu(x) - \nu(x) \right|\;.</math>
:<math>\delta(\mu,\nu) = \sum_x \left| \mu(x) - \nu(x) \right|\;.</math>
इसे मानों में सामान्यीकृत भी किया जा सकता है <math>[0, 1]</math> पिछली परिभाषा को निम्नानुसार आधा करके
पिछली परिभाषा को निम्नानुसार आधा करके इसे <math>[0, 1]</math> में मानों के लिए सामान्यीकृत किया जा सकता है


:<math>\delta(\mu,\nu) = \frac{1}{2}\sum_x \left| \mu(x) - \nu(x) \right|</math><ref>{{cite web|last1=Gibbs|first1=Alison|author2=Francis Edward Su|title=संभाव्यता मेट्रिक्स को चुनने और सीमित करने पर|url=https://www.math.hmc.edu/~su/papers.dir/metrics.pdf|access-date=8 April 2017|pages=7|date=2002}}</ref>
:<math>\delta(\mu,\nu) = \frac{1}{2}\sum_x \left| \mu(x) - \nu(x) \right|</math><ref>{{cite web|last1=Gibbs|first1=Alison|author2=Francis Edward Su|title=संभाव्यता मेट्रिक्स को चुनने और सीमित करने पर|url=https://www.math.hmc.edu/~su/papers.dir/metrics.pdf|access-date=8 April 2017|pages=7|date=2002}}</ref>
Line 90: Line 88:


=== अलग-अलग कार्यों की कुल भिन्नता ===
=== अलग-अलग कार्यों की कुल भिन्नता ===
ए की कुल भिन्नता <math>C^1(\overline{\Omega})</math> समारोह <math>f</math> परिभाषाओं के [[कार्यात्मक (गणित)]] के सर्वोच्च के बजाय दिए गए कार्य को शामिल करने वाले [[अभिन्न]] अंग के रूप में व्यक्त किया जा सकता है {{EquationNote|1|1.1}} और {{EquationNote|2|1.2}}.
एक <math>C^1(\overline{\Omega})</math> कार्य <math>f</math> की कुल भिन्नता को परिभाषाओं {{EquationNote|1|1.1}} और {{EquationNote|2|1.2}} के कार्यों के सर्वोच्च के अतिरिक्त दिए गए कार्य को सम्मिलित करने वाले अभिन्न के रूप में व्यक्त किया जा सकता है।


==== एक चर के अवकलनीय फलन की कुल भिन्नता का रूप ====
==== एक चर के अवकलनीय फलन की कुल भिन्नता का रूप ====
{{EquationRef|5|Theorem 1.}} अवकलनीय फलन का कुल परिवर्तन <math>f</math>, एक अंतराल पर परिभाषित (गणित) <math> [a , b] \subset \mathbb{R}</math>, निम्नलिखित अभिव्यक्ति है अगर <math>f'</math> रीमैन इंटीग्रेबल है
{{EquationRef|5|Theorem 1.}} अवकलनीय फलन का कुल परिवर्तन <math>f</math>, एक अंतराल पर परिभाषित (गणित) <math> [a , b] \subset \mathbb{R}</math>, निम्नलिखित अभिव्यक्ति है यदि <math>f'</math> रीमैन इंटीग्रेबल है


:<math> V_a^b(f) = \int _a^b |f'(x)|\mathrm{d}x</math>
:<math> V_a^b(f) = \int _a^b |f'(x)|\mathrm{d}x</math>
अगर <math> f</math> अवकलनीय और [[मोनोटोनिक फ़ंक्शन|मोनोटोनिक]] कार्य है, तो उपरोक्त को सरल करता है
यदि <math> f</math> अवकलनीय और [[मोनोटोनिक फ़ंक्शन|मोनोटोनिक]] कार्य है, तो उपरोक्त को सरल करता है
:<math> V_a^b(f) = |f(a) - f(b)|</math>
:<math> V_a^b(f) = |f(a) - f(b)|</math>
किसी भी भिन्न कार्य के लिए <math>f</math>, हम डोमेन अंतराल को विघटित कर सकते हैं <math>[a,b]</math>, उपअंतराल में <math>[a,a_1], [a_1,a_2], \dots, [a_N,b]</math> (साथ <math>a<a_1<a_2<\cdots<a_N<b </math>) जिसमें <math>f</math> स्थानीय रूप से मोनोटोनिक है, तो की कुल भिन्नता <math> f</math> ऊपर <math>[a,b]</math> उन उपअंतरालों पर स्थानीय विविधताओं के योग के रूप में लिखा जा सकता है:
किसी भी भिन्न कार्य के लिए <math>f</math>, हम डोमेन अंतराल को विघटित कर सकते हैं <math>[a,b]</math>, उपअंतराल में <math>[a,a_1], [a_1,a_2], \dots, [a_N,b]</math> (साथ <math>a<a_1<a_2<\cdots<a_N<b </math>) जिसमें <math>f</math> स्थानीय रूप से मोनोटोनिक है, तो की कुल भिन्नता <math> f</math> ऊपर <math>[a,b]</math> उन उपअंतरालों पर स्थानीय विविधताओं के योग के रूप में लिखा जा सकता है:
Line 107: Line 105:


====कई चरों के एक अवकलनीय फलन की कुल भिन्नता का रूप====
====कई चरों के एक अवकलनीय फलन की कुल भिन्नता का रूप====
{{EquationRef|6|Theorem 2.}} दिए गए ए <math>C^1(\overline{\Omega})</math> समारोह <math>f</math> एक बाउंडेड सेट [[ खुला सेट |खुला सेट]] पर परिभाषित <math>\Omega \subseteq \mathbb{R}^n</math>, साथ <math>\partial \Omega </math> कक्षा का <math>C^1</math>, की कुल भिन्नता <math>f</math>निम्नलिखित अभिव्यक्ति है
{{EquationRef|6|Theorem 2.}} एक दिय गये <math>C^1(\overline{\Omega})</math> कार्य <math>f</math> एक बाउंडेड सेट [[ खुला सेट |विवर्त सेट]] पर परिभाषित <math>\Omega \subseteq \mathbb{R}^n</math>, साथ <math>\partial \Omega </math> कक्षा का <math>C^1</math>, की कुल भिन्नता <math>f</math> निम्नलिखित अभिव्यक्ति है


:<math>V(f,\Omega) = \int_\Omega \left|\nabla f(x) \right| \mathrm{d}x</math> .
:<math>V(f,\Omega) = \int_\Omega \left|\nabla f(x) \right| \mathrm{d}x</math> .


===== प्रमाण=====
===== प्रमाण=====
सबूत में पहला कदम पहले एक समानता सिद्ध करना है जो गॉस-ओस्ट्रोग्रैडस्की प्रमेय से अनुसरण करता है।
प्रमाण में पहला कदम पहले एक समानता सिद्ध करना है जो गॉस-ओस्ट्रोग्रैडस्की प्रमेय से अनुसरण करता है।


== लेम्मा ==
== लेम्मा ==
प्रमेय की शर्तों के तहत, निम्नलिखित समानता रखती है:
प्रमेय की नियमो के तहत, निम्नलिखित समानता रखती है:
: <math> \int_\Omega f\operatorname{div}\varphi = -\int_\Omega\nabla f\cdot\varphi </math>
: <math> \int_\Omega f\operatorname{div}\varphi = -\int_\Omega\nabla f\cdot\varphi </math>




====== लेम्मा का प्रमाण ===
===लेम्मा का प्रमाण ===
गॉस-ओस्ट्रोग्रैडस्की प्रमेय से:
गॉस-ओस्ट्रोग्रैडस्की प्रमेय से:
: <math> \int_\Omega \operatorname{div}\mathbf R = \int_{\partial\Omega}\mathbf R\cdot \mathbf n </math>
: <math> \int_\Omega \operatorname{div}\mathbf R = \int_{\partial\Omega}\mathbf R\cdot \mathbf n </math>
Line 126: Line 124:
:<math> \int_\Omega\operatorname{div}\left(f\mathbf\varphi\right) =
:<math> \int_\Omega\operatorname{div}\left(f\mathbf\varphi\right) =
\int_{\partial\Omega}\left(f\mathbf\varphi\right)\cdot\mathbf n </math>
\int_{\partial\Omega}\left(f\mathbf\varphi\right)\cdot\mathbf n </math>
कहाँ <math>\mathbf\varphi </math> की सीमा पर शून्य है <math>\Omega</math> परिभाषा से:
जहाँ <math>\mathbf\varphi </math> परिभाषा के अनुसार <math>\Omega</math> की सीमा पर शून्य है:
:<math> \int_\Omega\operatorname{div}\left(f\mathbf\varphi\right)=0</math>
:<math> \int_\Omega\operatorname{div}\left(f\mathbf\varphi\right)=0</math>
:<math> \int_\Omega \partial_{x_i} \left(f\mathbf\varphi_i\right)=0</math>
:<math> \int_\Omega \partial_{x_i} \left(f\mathbf\varphi_i\right)=0</math>
Line 135: Line 133:


=== समानता का प्रमाण ===
=== समानता का प्रमाण ===
प्रमेय की शर्तों के तहत, लेम्मा से हमारे पास:
प्रमेय की नियमो के तहत, लेम्मा से हमारे पास:
:<math> \int_\Omega f\operatorname{div} \mathbf\varphi
:<math> \int_\Omega f\operatorname{div} \mathbf\varphi
= - \int_\Omega \mathbf\varphi\cdot\nabla f
= - \int_\Omega \mathbf\varphi\cdot\nabla f
Line 143: Line 141:
पिछले भाग में <math>\mathbf\varphi</math> छोड़ा जा सकता है, क्योंकि परिभाषा के अनुसार इसकी आवश्यक श्रेष्ठता अधिक से अधिक एक है।
पिछले भाग में <math>\mathbf\varphi</math> छोड़ा जा सकता है, क्योंकि परिभाषा के अनुसार इसकी आवश्यक श्रेष्ठता अधिक से अधिक एक है।


दूसरी ओर, हम मानते हैं <math>\theta_N:=-\mathbb I_{\left[-N,N\right]}\mathbb I_{\{\nabla f\ne 0\}}\frac{\nabla f}{\left|\nabla f\right|}</math> और <math>\theta^*_N</math> जो कि ऊपर है <math>\varepsilon</math> का अनुमान <math>\theta_N</math> में <math> C^1_c</math> समान अभिन्न के साथ। हम इसे तब से कर सकते हैं <math> C^1_c</math> में घना है <math> L^1 </math>. अब फिर से लेम्मा में प्रतिस्थापन:
दूसरी ओर, हम <math>\theta_N:=-\mathbb I_{\left[-N,N\right]}\mathbb I_{\{\nabla f\ne 0\}}\frac{\nabla f}{\left|\nabla f\right|}</math>और <math>\theta^*_N</math> जो <math>\varepsilon</math> के सन्निकटन तक है <math>\theta_N</math> में <math> C^1_c</math> उसी इंटीग्रल के साथ। हम ऐसा कर सकते हैं क्योंकि <math> C^1_c</math> <math> L^1 </math> में सघन है। अब फिर से लेम्मा में प्रतिस्थापन:


:<math>\begin{align}
:<math>\begin{align}
Line 151: Line 149:
&= \int_\Omega\left|\nabla f\right|
&= \int_\Omega\left|\nabla f\right|
\end{align}</math>
\end{align}</math>
इसका मतलब है कि हमारे पास एक अभिसारी क्रम है <math display="inline">\int_\Omega f \operatorname{div} \mathbf\varphi</math> कि करने के लिए जाता है <math display="inline">\int_\Omega\left|\nabla f\right|</math> साथ ही हम यह जानते हैं <math display="inline">\int_\Omega f\operatorname{div}\mathbf\varphi \leq \int_\Omega\left|\nabla f\right| </math>. Q.E.D.
 
 
 
इसका अर्थ है कि हमारे पास <math display="inline">\int_\Omega f \operatorname{div} \mathbf\varphi</math> का अभिसारी अनुक्रम है जो <math display="inline">\int_\Omega\left|\nabla f\right|</math> की ओर जाता है और साथ ही हम जानते हैं कि <math display="inline">\int_\Omega f\operatorname{div}\mathbf\varphi \leq \int_\Omega\left|\nabla f\right| </math>. Q.E.D.


यह प्रमाण से देखा जा सकता है कि श्रेष्ठता कब प्राप्त होती है
यह प्रमाण से देखा जा सकता है कि श्रेष्ठता कब प्राप्त होती है
: <math>\varphi\to \frac{-\nabla f}{\left|\nabla f\right|}.</math>
: <math>\varphi\to \frac{-\nabla f}{\left|\nabla f\right|}.</math>
समारोह (गणित) <math>f</math> निश्चित रूप से परिमित भिन्नता वाला कहा जाता है यदि इसकी कुल विविधता परिमित है।
कार्य (गणित) <math>f</math> निश्चित रूप से परिमित भिन्नता वाला कहा जाता है यदि इसकी कुल विविधता परिमित है।


=== माप की कुल भिन्नता ===
=== माप की कुल भिन्नता ===
कुल भिन्नता एक आदर्श (गणित) है जो परिबद्ध भिन्नता के उपायों के स्थान पर परिभाषित है। सेट के σ-बीजगणित पर उपायों का स्थान एक [[बनच स्थान]] है, जिसे इस मानक के सापेक्ष सीए स्थान कहा जाता है। यह बड़े बनच अंतरिक्ष में समाहित है, जिसे [[बा अंतरिक्ष]] कहा जाता है, जिसमें एक ही मानदंड के साथ-साथ परिमित योगात्मक उपाय (गणना करने योग्य योज्य के विपरीत) उपाय भी शामिल हैं। मानदंड से जुड़ा [[दूरी समारोह]] दो उपायों μ और ν के बीच कुल भिन्नता दूरी को जन्म देता है।
कुल भिन्नता एक आदर्श (गणित) है जो परिबद्ध भिन्नता के उपायों के स्थान पर परिभाषित है। सेट के σ-बीजगणित पर उपायों का स्थान एक [[बनच स्थान]] है, जिसे इस मानक के सापेक्ष सीए स्थान कहा जाता है। यह बड़े बनच अंतरिक्ष में समाहित है, जिसे [[बा अंतरिक्ष|बा स्थान]] कहा जाता है, जिसमें एक ही मानदंड के साथ-साथ परिमित योगात्मक उपाय (गणना करने योग्य योज्य के विपरीत) उपाय भी सम्मिलित हैं। मानदंड से जुड़ा [[दूरी समारोह|दूरी]] कार्य दो उपायों μ और ν के बीच कुल भिन्नता दूरी को जन्म देता है।


'आर' पर परिमित उपायों के लिए, माप μ की कुल भिन्नता और कार्य की कुल भिन्नता के बीच की कड़ी, जैसा कि ऊपर वर्णित है, इस प्रकार है। दिए गए μ, एक कार्य को परिभाषित करें <math>\varphi\colon \mathbb{R}\to \mathbb{R}</math> द्वारा
''''R'''<nowiki/>' पर परिमित उपायों के लिए, माप μ की कुल भिन्नता और कार्य की कुल भिन्नता के बीच की कड़ी, जैसा कि ऊपर वर्णित है, इस प्रकार है। दिए गए μ, एक कार्य को परिभाषित करें <math>\varphi\colon \mathbb{R}\to \mathbb{R}</math> द्वारा
:<math>\varphi(t) = \mu((-\infty,t])~.</math>
:<math>\varphi(t) = \mu((-\infty,t])~.</math>
फिर, हस्ताक्षरित माप μ की कुल भिन्नता कार्य के उपरोक्त अर्थ में, कुल भिन्नता के बराबर है <math>\varphi</math>. सामान्य तौर पर, एक हस्ताक्षरित माप की कुल भिन्नता को हैन अपघटन प्रमेय का उपयोग करके परिभाषित किया जा सकता है। जॉर्डन के अपघटन प्रमेय द्वारा
फिर, हस्ताक्षरित माप μ की कुल भिन्नता कार्य <math>\varphi</math> के उपरोक्त अर्थ में, कुल भिन्नता के समान है। सामान्यतः, जॉर्डन के अपघटन प्रमेय का उपयोग करके एक हस्ताक्षरित माप की कुल विविधता को परिभाषित किया जा सकता है
:<math>\|\mu\|_{TV} = \mu_+(X) + \mu_-(X)~,</math>
:<math>\|\mu\|_{TV} = \mu_+(X) + \mu_-(X)~,</math>
मापने योग्य स्थान पर किसी हस्ताक्षरित माप μ के लिए <math>(X,\Sigma)</math>.
मापने योग्य स्थान <math>(X,\Sigma)</math> पर किसी हस्ताक्षरित उपाय μ के लिए है ।


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


* अवकल समीकरणों का संख्यात्मक विश्लेषण: यह अवकल समीकरणों के सन्निकट हल खोजने का विज्ञान है। इन समस्याओं के लिए कुल भिन्नता के अनुप्रयोगों का विस्तृत विवरण 'कुल भिन्नता ह्रासमान' लेख में दिया गया है।
* अवकल समीकरणों का संख्यात्मक विश्लेषण: यह अवकल समीकरणों के सन्निकट हल खोजने का विज्ञान है। इन समस्याओं के लिए कुल भिन्नता के अनुप्रयोगों का विस्तृत विवरण 'कुल भिन्नता ह्रासमान' लेख में दिया गया है।
* [[छवि]] denoising: छवि प्रसंस्करण में, denoising एक छवि में [[इलेक्ट्रॉनिक शोर]] को कम करने के लिए उपयोग की जाने वाली विधियों का एक संग्रह है, जिसे इलेक्ट्रॉनिक माध्यमों से प्राप्त डेटा से पुनर्निर्मित किया जाता है, उदाहरण के लिए [[डेटा ट्रांसमिशन]] या [[सेंसर]]छवि शोर में कमी के लिए कुल भिन्नता के आवेदन के लिए ''[[कुल भिन्नता denoising]]'' नाम है; अधिक विवरण के कागजात में पाया जा सकता है {{Harv|Rudin|Osher|Fatemi|1992}} और {{Harv|Caselles|Chambolle|Novaga|2007}}. छवियों को रंगीन करने के लिए इस मॉडल का एक समझदार विस्तार, जिसे कलर टीवी कहा जाता है, में पाया जा सकता है {{Harv|Blomgren|Chan|1998}}.
* [[छवि]] डेनोईसिंग : छवि प्रसंस्करण में, डेनोईसिंग एक छवि में [[इलेक्ट्रॉनिक शोर|इलेक्ट्रॉनिक ध्वनि]] को कम करने के लिए उपयोग की जाने वाली विधियों का एक संग्रह है, जिसे इलेक्ट्रॉनिक माध्यमों से प्राप्त डेटा से पुनर्निर्मित किया जाता है, उदाहरण के लिए [[डेटा ट्रांसमिशन]] या [[सेंसर]] छवि ध्वनि में कमी के लिए कुल भिन्नता के आवेदन के लिए ''[[कुल भिन्नता denoising|कुल भिन्नता डेनोईसिंग]]'' नाम है; अधिक विवरण के कागजात में पाया जा सकता है {{Harv|Rudin|Osher|Fatemi|1992}} और {{Harv|Caselles|Chambolle|Novaga|2007}}. छवियों को रंगीन करने के लिए इस मॉडल का एक समझदार विस्तार, जिसे कलर टीवी कहा जाता है, में पाया जा सकता है {{Harv|Blomgren|Chan|1998}}.


== यह भी देखें ==
== यह भी देखें                                                               ==
* परिबद्ध भिन्नता
* परिबद्ध भिन्नता
* [[पी-भिन्नता]]
* [[पी-भिन्नता]]
* कुल भिन्नता ह्रासमान
* कुल भिन्नता ह्रासमान
* कुल भिन्नता denoising
* कुल भिन्नता डेनोईसिंग
* [[द्विघात भिन्नता]]
* [[द्विघात भिन्नता]]
* संभाव्यता उपायों की कुल भिन्नता दूरी
* संभाव्यता उपायों की कुल भिन्नता दूरी
Line 404: Line 405:
  |archive-url  = https://web.archive.org/web/20110927172158/http://cvgmt.sns.it/papers/caschanov07/
  |archive-url  = https://web.archive.org/web/20110927172158/http://cvgmt.sns.it/papers/caschanov07/
|archive-date = 2011-09-27
|archive-date = 2011-09-27
  }} (छवि प्रसंस्करण के लिए denoising समस्याओं में कुल भिन्नता आवेदन से संबंधित कार्य)।
  }} (छवि प्रसंस्करण के लिए डेनोईसिंग समस्याओं में कुल भिन्नता आवेदन से संबंधित कार्य)।


*{{Citation
*{{Citation
Line 424: Line 425:
श्रेणी:गणितीय विश्लेषण
श्रेणी:गणितीय विश्लेषण


 
[[Category:Articles with hatnote templates targeting a nonexistent page|Total Variation]]
[[Category: Machine Translated Page]]
[[Category:CS1|Total Variation]]
[[Category:Created On 13/05/2023]]
[[Category:CS1 Deutsch-language sources (de)|Total Variation]]
[[Category:CS1 errors|Total Variation]]
[[Category:CS1 français-language sources (fr)|Total Variation]]
[[Category:CS1 italiano-language sources (it)|Total Variation]]
[[Category:Created On 13/05/2023|Total Variation]]
[[Category:Lua-based templates|Total Variation]]
[[Category:Machine Translated Page|Total Variation]]
[[Category:Pages with script errors|Total Variation]]
[[Category:Templates Vigyan Ready|Total Variation]]
[[Category:Templates that add a tracking category|Total Variation]]
[[Category:Templates that generate short descriptions|Total Variation]]
[[Category:Templates using TemplateData|Total Variation]]

Latest revision as of 09:49, 12 June 2023

गणित में, कुल भिन्नता कई अलग-अलग अवधारणाओं की पहचान करती है, जो किसी कार्य (गणित) या एक माप (गणित) के कोडोमेन की (स्थानीय संपत्ति या वैश्विक) संरचना से संबंधित होती है। एक वास्तविक संख्या के लिए वास्तविक-मूल्यवान निरंतर कार्य f, एक अंतराल (गणित) [a, b] ⊂ R पर परिभाषित, परिभाषा के अंतराल पर इसकी कुल भिन्नता एक उपाय है पैरामीट्रिक समीकरण xf(x), x ∈ [a, b] के साथ वक्र के एक-आयामी चाप की लम्बाई ऐसे कार्य जिनकी कुल भिन्नता परिमित है, परिमित भिन्नता कहलाती है।

ऐतिहासिक नोट

एक वास्तविक चर के कार्यों के लिए कुल भिन्नता की अवधारणा को पहली बार केमिली जॉर्डन द्वारा पेपर में प्रस्तुत किया गया था (Jordan 1881).[1] उन्होंने असंतुलित कार्य आवधिक कार्यों की फूरियर श्रृंखला के लिए एक अभिसरण प्रमेय को सिद्ध करने के लिए नई अवधारणा का उपयोग किया, जिसकी भिन्नता परिबद्ध भिन्नता है। एक से अधिक चर के कार्यों के लिए अवधारणा का विस्तार चूँकि विभिन्न कारणों से सरल नहीं है।

परिभाषाएँ

एक वास्तविक चर के कार्यों के लिए कुल भिन्नता

Definition 1.1. वास्तविक संख्या-मूल्यवान (या अधिक सामान्यतः जटिल संख्या-मूल्यवान) कार्य (गणित) की कुल भिन्नता , एक अंतराल पर परिभाषित (गणित) मात्रा है

जहां एक अंतराल के सभी विभाजनों के सेट (गणित) पर अंतिम चलता है दिए गए अंतराल (गणित) का है

जहां सर्वोच्च सभी विभाजनों के सेट पर चलता है का विभाजन है।

n > 1 वास्तविक चर के कार्यों के लिए कुल भिन्नता

Definition 1.2. मान लीजिए Ω, Rn का एक विवर्त उपसमुच्चय है L1(Ω) से संबंधित एक कार्य f दिया गया है Ω में f की कुल विविधता को इस रूप में परिभाषित किया गया है

जहाँ

  • में निहित कॉम्पैक्ट समर्थन के निरंतर भिन्न वेक्टर कार्यों का सेट है।
  • आवश्यक सुप्रीम नॉर्म (गणित) है, और
  • विचलन ऑपरेटर है।

इस परिभाषा के लिए यह आवश्यक नहीं है कि दिए गए कार्य का डोमेन एक परिबद्ध सेट हो।

माप सिद्धांत में कुल भिन्नता

मौलिक कुल भिन्नता परिभाषा

अगले Saks (1937, p. 10), एक हस्ताक्षरित उपाय पर विचार करें एक सिग्मा-बीजगणित पर : तब दो सेट कार्यों को परिभाषित करना संभव है और , क्रमशः ऊपरी भिन्नता और निम्न भिन्नता कहा जाता है

स्पष्ट रूप से

Definition 1.3. हस्ताक्षरित माप की भिन्नता (जिसे निरपेक्ष भिन्नता भी कहा जाता है)। सेट कार्य है

और इसकी कुल भिन्नता को परिभाषा के पूरे स्थान पर इस माप के मान के रूप में परिभाषित किया गया है।


कुल भिन्नता मानदंड की आधुनिक परिभाषा

Saks (1937, p. 11) हैन अपघटन प्रमेय को सिद्ध करने के लिए ऊपरी और निचले विविधताओं का उपयोग करता है। हैन-जॉर्डन अपघटन: इस प्रमेय के अपने संस्करण के अनुसार, ऊपरी और निचले भिन्नता क्रमशः गैर-नकारात्मक और गैर-सकारात्मक उपाय (गणित) हैं। अधिक आधुनिक संकेतन का उपयोग करते हुए, परिभाषित करें

तब और दो गैर-ऋणात्मक माप (गणित) ऐसे हैं कि

अंतिम उपाय को कभी-कभी अंकन के दुरुपयोग से, कुल भिन्नता माप कहा जाता है।

जटिल उपायों की कुल भिन्नता मानदंड

यदि माप जटिल-मूल्यवान है अर्थात एक जटिल माप है, तो इसकी ऊपरी और निचली भिन्नता को परिभाषित नहीं किया जा सकता है और हन-जॉर्डन अपघटन प्रमेय को केवल इसके वास्तविक और काल्पनिक भागों पर प्रयुक्त किया जा सकता है। चूँकि , रुडिन (1966, pp. 137–139) का पालन करना संभव है और जटिल-मूल्यवान माप की कुल भिन्नता को निम्नानुसार परिभाषित करता है

Definition 1.4. जटिल-मूल्यवान माप की भिन्नता सेट कार्य है

जहाँ मापन योग्य सेट के सभी विभाजन पर श्रेष्ठता को अलग-अलग मापने योग्य उपसमुच्चयों की एक गणनीय संख्या में ले लिया जाता है। यह परिभाषा उपरोक्त परिभाषा के साथ मेल खाती है वास्तविक मूल्यवान हस्ताक्षरित उपायों के स्थिति में है।

वेक्टर-मूल्यवान उपायों का कुल भिन्नता मानदंड

परिभाषित भिन्नता एक सकारात्मक उपाय है (देखें रुडिन (1966, p. 139)) और इसके द्वारा परिभाषित एक के साथ मेल खाता है 1.3 जब एक हस्ताक्षरित उपाय है: इसकी कुल भिन्नता को ऊपर के रूप में परिभाषित किया गया है। यह परिभाषा भी काम करती है यदि एक सदिश माप है: भिन्नता को तब निम्न सूत्र द्वारा परिभाषित किया जाता है

जहां सुप्रीम ऊपर जैसा है। यह परिभाषा रुडिन (1966, p. 138) द्वारा दी गई परिभाषा से थोड़ी अधिक सामान्य है क्योंकि इसके लिए केवल स्थान के परिमित विभाजनों पर विचार करने की आवश्यकता है: इसका तात्पर्य है कि इसका उपयोग परिमित-योगात्मक उपायों पर कुल भिन्नता को परिभाषित करने के लिए भी किया जा सकता है।

संभाव्यता उपायों की कुल भिन्नता

किसी भी संभाव्यता माप की कुल भिन्नता बिल्कुल एक है, इसलिए यह ऐसे उपायों के गुणों की जांच के साधन के रूप में रोचक नहीं है। चूँकि, जब μ और ν संभाव्यता उपाय हैं, तो संभाव्यता उपायों की कुल भिन्नता दूरी को इस रूप में परिभाषित किया जा सकता है जहां मानदंड हस्ताक्षरित उपायों का कुल भिन्नता मानदंड है। संपत्ति का उपयोग करना , हम अंततः समतुल्य परिभाषा पर पहुँचते हैं

और इसके मान गैर-तुच्छ हैं। कारण ऊपर सामान्यतः गिरा दिया जाता है (जैसा कि लेख में परिपाटी है संभाव्यता उपायों की कुल भिन्नता दूरी)। अनौपचारिक रूप से, यह संभावनाओं के बीच सबसे बड़ा संभावित अंतर है कि दो संभावना वितरण एक ही घटना को निर्दिष्ट कर सकते हैं। एक श्रेणीबद्ध वितरण के लिए कुल भिन्नता दूरी को निम्नानुसार लिखना संभव है

पिछली परिभाषा को निम्नानुसार आधा करके इसे में मानों के लिए सामान्यीकृत किया जा सकता है

[2]


मूल गुण

अलग-अलग कार्यों की कुल भिन्नता

एक कार्य की कुल भिन्नता को परिभाषाओं 1.1 और 1.2 के कार्यों के सर्वोच्च के अतिरिक्त दिए गए कार्य को सम्मिलित करने वाले अभिन्न के रूप में व्यक्त किया जा सकता है।

एक चर के अवकलनीय फलन की कुल भिन्नता का रूप

Theorem 1. अवकलनीय फलन का कुल परिवर्तन , एक अंतराल पर परिभाषित (गणित) , निम्नलिखित अभिव्यक्ति है यदि रीमैन इंटीग्रेबल है

यदि अवकलनीय और मोनोटोनिक कार्य है, तो उपरोक्त को सरल करता है

किसी भी भिन्न कार्य के लिए , हम डोमेन अंतराल को विघटित कर सकते हैं , उपअंतराल में (साथ ) जिसमें स्थानीय रूप से मोनोटोनिक है, तो की कुल भिन्नता ऊपर उन उपअंतरालों पर स्थानीय विविधताओं के योग के रूप में लिखा जा सकता है:


कई चरों के एक अवकलनीय फलन की कुल भिन्नता का रूप

Theorem 2. एक दिय गये कार्य एक बाउंडेड सेट विवर्त सेट पर परिभाषित , साथ कक्षा का , की कुल भिन्नता निम्नलिखित अभिव्यक्ति है

.
प्रमाण

प्रमाण में पहला कदम पहले एक समानता सिद्ध करना है जो गॉस-ओस्ट्रोग्रैडस्की प्रमेय से अनुसरण करता है।

लेम्मा

प्रमेय की नियमो के तहत, निम्नलिखित समानता रखती है:


लेम्मा का प्रमाण

गॉस-ओस्ट्रोग्रैडस्की प्रमेय से:

प्रतिस्थापित करके , अपने पास:

जहाँ परिभाषा के अनुसार की सीमा पर शून्य है:


समानता का प्रमाण

प्रमेय की नियमो के तहत, लेम्मा से हमारे पास:

पिछले भाग में छोड़ा जा सकता है, क्योंकि परिभाषा के अनुसार इसकी आवश्यक श्रेष्ठता अधिक से अधिक एक है।

दूसरी ओर, हम और जो के सन्निकटन तक है में उसी इंटीग्रल के साथ। हम ऐसा कर सकते हैं क्योंकि में सघन है। अब फिर से लेम्मा में प्रतिस्थापन:


इसका अर्थ है कि हमारे पास का अभिसारी अनुक्रम है जो की ओर जाता है और साथ ही हम जानते हैं कि . Q.E.D.

यह प्रमाण से देखा जा सकता है कि श्रेष्ठता कब प्राप्त होती है

कार्य (गणित) निश्चित रूप से परिमित भिन्नता वाला कहा जाता है यदि इसकी कुल विविधता परिमित है।

माप की कुल भिन्नता

कुल भिन्नता एक आदर्श (गणित) है जो परिबद्ध भिन्नता के उपायों के स्थान पर परिभाषित है। सेट के σ-बीजगणित पर उपायों का स्थान एक बनच स्थान है, जिसे इस मानक के सापेक्ष सीए स्थान कहा जाता है। यह बड़े बनच अंतरिक्ष में समाहित है, जिसे बा स्थान कहा जाता है, जिसमें एक ही मानदंड के साथ-साथ परिमित योगात्मक उपाय (गणना करने योग्य योज्य के विपरीत) उपाय भी सम्मिलित हैं। मानदंड से जुड़ा दूरी कार्य दो उपायों μ और ν के बीच कुल भिन्नता दूरी को जन्म देता है।

'R' पर परिमित उपायों के लिए, माप μ की कुल भिन्नता और कार्य की कुल भिन्नता के बीच की कड़ी, जैसा कि ऊपर वर्णित है, इस प्रकार है। दिए गए μ, एक कार्य को परिभाषित करें द्वारा

फिर, हस्ताक्षरित माप μ की कुल भिन्नता कार्य के उपरोक्त अर्थ में, कुल भिन्नता के समान है। सामान्यतः, जॉर्डन के अपघटन प्रमेय का उपयोग करके एक हस्ताक्षरित माप की कुल विविधता को परिभाषित किया जा सकता है

मापने योग्य स्थान पर किसी हस्ताक्षरित उपाय μ के लिए है ।

अनुप्रयोग

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

  • अवकल समीकरणों का संख्यात्मक विश्लेषण: यह अवकल समीकरणों के सन्निकट हल खोजने का विज्ञान है। इन समस्याओं के लिए कुल भिन्नता के अनुप्रयोगों का विस्तृत विवरण 'कुल भिन्नता ह्रासमान' लेख में दिया गया है।
  • छवि डेनोईसिंग : छवि प्रसंस्करण में, डेनोईसिंग एक छवि में इलेक्ट्रॉनिक ध्वनि को कम करने के लिए उपयोग की जाने वाली विधियों का एक संग्रह है, जिसे इलेक्ट्रॉनिक माध्यमों से प्राप्त डेटा से पुनर्निर्मित किया जाता है, उदाहरण के लिए डेटा ट्रांसमिशन या सेंसर छवि ध्वनि में कमी के लिए कुल भिन्नता के आवेदन के लिए कुल भिन्नता डेनोईसिंग नाम है; अधिक विवरण के कागजात में पाया जा सकता है (Rudin, Osher & Fatemi 1992) और (Caselles, Chambolle & Novaga 2007). छवियों को रंगीन करने के लिए इस मॉडल का एक समझदार विस्तार, जिसे कलर टीवी कहा जाता है, में पाया जा सकता है (Blomgren & Chan 1998).

यह भी देखें

टिप्पणियाँ

  1. According to Golubov & Vitushkin (2001).
  2. Gibbs, Alison; Francis Edward Su (2002). "संभाव्यता मेट्रिक्स को चुनने और सीमित करने पर" (PDF). p. 7. Retrieved 8 April 2017.


ऐतिहासिक संदर्भ

संदर्भ


बाहरी संबंध

One variable

One and more variables

Measure theory



अनुप्रयोग

  • Blomgren, Peter; Chan, Tony F. (1998), "Color TV: total variation methods for restoration of vector-valued images", IEEE Transactions on Image Processing, Image Processing, IEEE Transactions on, vol. 7, no. 3: 304-309, 7 (3): 304, Bibcode:1998ITIP....7..304B, doi:10.1109/83.661180, PMID 18276250.


श्रेणी:गणितीय विश्लेषण