View source for उप-विषमता

गणित में, '''उप-योगात्मकता''' एक फलन के गुण है जो सामान्य रूप से बताती है कि प्रक्षेत्र के दो तत्वों के योग के लिए फलन का मूल्यांकन सदैव प्रत्येक अवयव पर फलन के मानों के योग से कुछ कम या समतुल्य देता है। गणित के विभिन्न क्षेत्रों, विशेष रूप से मानदंडों और वर्गमूलों में अवयोज्य फलनों के कई उदाहरण हैं। योगात्मक मानचित्र अवयोज्य फलनों के विशेष स्थिति हैं।

== परिभाषाएँ ==
अवयोज्य फलन एक फलन (गणित) <math>f \colon A \to B</math> है, फलन A का एक प्रक्षेत्र और एक आंशिक क्रमित सह-प्रक्षेत्र B जो कि निम्नलिखित गुण के साथ, दोनों योग संवृत (गणित) हैं:
<math display="block">\forall x, y \in A, f(x+y)\leq f(x)+f(y).</math>
उदाहरण [[वर्गमूल]] फलन है, जिसमें प्रक्षेत्र और सह-प्रक्षेत्र के रूप में गैर-ऋणात्मक [[वास्तविक संख्या]]एं हैं, क्योंकि <math>\forall x, y \geq 0</math> हमारे पास :
<math display="block">\sqrt{x+y}\leq \sqrt{x}+\sqrt{y}.</math>
अनुक्रम <math>\left \{ a_n \right \}, n \geq 1</math>, को उप-योगात्मक कहा जाता है यदि यह [[असमानता (गणित)]] को संतुष्ट करता है
<math display="block"> a_{n+m}\leq a_n+a_m</math>
सभी m और n के लिए यह उप-योगात्मक फलन की एक विशेष स्थिति है, यदि अनुक्रम को प्राकृतिक संख्याओं के समुच्चय पर फलन के रूप में व्याख्या किया जाता है।

ध्यान दें कि जबकि एक अवतल अनुक्रम अवयोज्य है, व्युत्क्रम असत्य है। उदाहरण के लिए, अव्यवस्थित रूप से <math>a_1, a_2, ...</math> को <math>0.5, 1</math>, में मानों के साथ निर्दिष्ट करें, तब अनुक्रम उप-योगात्मक है लेकिन अवतल नहीं है।

== गुण ==

=== अनुक्रम ===
उप-योगात्मक अनुक्रमों से संबंधित एक उपयोगी परिणाम माइकल फेकेट के कारण निम्नलिखित लेम्मा (गणित) है।<ref>{{cite journal |last=Fekete |first=M. |title=Über die Verteilung der Wurzeln bei gewissen algebraischen Gleichungen mit ganzzahligen Koeffizienten |journal=Mathematische Zeitschrift |volume=17 |issue=1 |year=1923 |pages=228–249 |doi=10.1007/BF01504345 |s2cid=186223729 }}</ref>

{{math theorem|name=Fekete's Subadditive Lemma|math_statement= For every subadditive sequence <math>{\left \{ a_n \right \}}_{n=1}^\infty</math>, the [[Limit of a sequence|limit]] <math>\displaystyle \lim_{n \to \infty} \frac{a_n}{n}</math> exists and is equal to the [[Infimum and supremum|infimum]] <math>\inf \frac{a_n}{n}</math>.  (The limit may be <math>-\infty</math>.)}}

{{Math proof|proof= 
Let <math>s^* := \inf_n \frac{a_n}n</math>.

By definition, <math>\liminf_n \frac{a_n}n \geq s^*</math>. So it suffices to show <math>\limsup_n \frac{a_n}n \leq s^*</math>.

If not, then there exists sequence <math>(a_{n_k})_k</math> and <math>\epsilon >0</math> such that <math>\frac{a_{n_k}}{n_k} > s^* + \epsilon</math> for all <math>k</math>. Take <math>a_m</math> such that <math>\frac{a_m}m < s^* + \epsilon/2</math>.

By [[pigeonhole principle#infinite sets|infinitary pigeonhole principle]], we get a subsequence <math>(a_{n_k})_k</math>, whose indices all belong to the same [[modular arithmetic|residue class]] modulo <math>m</math>, and so they advance by multiples of <math>m</math>. This sequence, continued for long enough, would be forced by subadditivity to dip below the <math>s^* + \epsilon</math> slope line, a contradiction.  }}

फेकेट के लेम्मा का एनालॉग उप-योगात्मक अनुक्रमों के लिए भी है, जो <math>a_{n+m}\geq a_n + a_m</math> है। सीमा तब धनात्मक अनन्तता हो सकती है: अनुक्रम <math>a_n = \log n!</math> पर विचार करें।

फेकेटे लेम्मा के ऐसे विस्तार हैं जिन्हें असमानता <math>a_{n+m}\le a_n + a_m</math> सभी m और n के लिए रखने की आवश्यकता नहीं है, लेकिन, केवल m और n के लिए जैसे कि <math display="inline">\frac 1 2 \le \frac m n \le 2</math> प्राप्त है। 

{{Math proof|proof= 

प्रमाण को पहले की तरह जारी रखें, जब तक कि हमने केवल अनंत कोष्ठ सिद्धांत का उपयोग नहीं किया है।
अनुक्रम <math>a_m, a_{2m}, a_{3m}, ...</math> पर विचार करें। चूंकि <math>2m/m = 2</math>, हमारे पास <math>a_{2m} \leq 2a_m</math> है। इसी प्रकार, हमारे पास <math>a_{3m} \leq a_{2m}+a_m \leq 3a_m</math> आदि हैं।

धारणा के अनुसार, किसी भी <math>s, t \in \N</math>, के लिए, हम उन पर उप-योगात्मकता का उपयोग कर सकते हैं यदि

<math display="block">\ln(s+t) \in [\ln(1.5 s), \ln (3s)] = \ln s + [\ln 1.5, \ln 3]</math>

यदि हम निरंतर चर के साथ काम कर रहे थे, तो हम <math>a_{n_k}</math> से <math>a_{n_k} + [\ln 1.5, \ln 3]</math>तक जाने के लिए उप-योगात्मकता का उपयोग कर सकते हैं, उसके बाद <math>a_{n_k} + \ln 1.5 + [\ln 1.5, \ln 3]</math> और इसी तरह जो पूरे अंतराल <math>a_{n_k} + [\ln 1.5, +\infty)</math> को आच्छादित करता है 

हालांकि हमारे पास निरंतर चर नहीं हैं, फिर भी हम प्रमाण को पूरा करने के लिए पर्याप्त पूर्णांकों को आच्छादित कर सकते हैं। मान लीजिए कि<math>n_k</math> अधिकतम बड़ा है, जैसे कि

<math display="block">\ln (2) > \ln(1.5) + \ln \left(\frac{1.5 n_k + m}{1.5 n_k}\right) </math>
तब मान लीजिए  <math>n'</math> प्रतिच्छेदन में सबसे छोटी संख्या <math>(n_k + m\Z) \cap (\ln n_k + [\ln(1.5), \ln (3)])</math> है। पर धारणा से, यह देखना आसान है (चित्र बनाएं) कि अंतराल <math>n_k</math>,और <math>\ln n_k + [\ln(1.5), \ln (3)]</math> and <math>\ln n' + [\ln(1.5), \ln (3)]</math> बीच में स्पर्श करें। इस प्रकार, इस प्रक्रिया को दोहराकर, हम <math>(n_k + m\Z) \cap (\ln n_k + [\ln(1.5), \infty])</math> की संपूर्णता को आच्छादित कर लेते हैं।

इसके साथ, सभी <math>a_{n_k}, a_{n_{k+1}}, ...</math> पूर्व प्रमाण की तरह अनिवार्य हैं। }}

इसके अतिरिक्त, स्थिति <math>a_{n+m}\le a_n + a_m</math> को निम्न प्रकार <math>a_{n+m}\le a_n + a_m + \phi(n+m)</math> से दुर्बल किया जा सकता है, उसे <math>\phi</math> प्रदान करता है कि एक बढ़ता हुआ फलन है जैसे कि समाकल<math display="inline">\int \phi(t) t^{-2} \, dt</math> (अनंत के पास) अभिसरण करता है।<ref>{{cite journal |last1=de Bruijn |first1=N.G. |last2=Erdös |first2=P. |title=कुछ रेखीय और कुछ द्विघात पुनरावर्तन सूत्र। द्वितीय|journal=Nederl. Akad. Wetensch. Proc. Ser. A |volume=55 |year=1952 |pages=152–163|doi=10.1016/S1385-7258(52)50021-0 }} (The same as ''Indagationes Math.'' '''14'''.) See also Steele 1997, Theorem 1.9.2.</ref>

ऐसे परिणाम भी हैं जो किसी को अभिसरण की दर को उस सीमा तक कम करने की स्वीकृति देते हैं जिसका अस्तित्व फेकेट के लेम्मा में बताया गया है यदि किसी प्रकार की अतियोज्यता और उप-योगात्मकता दोनों सम्मिलित हैं।<ref>Michael J. Steele. "Probability theory and combinatorial optimization". SIAM, Philadelphia (1997). {{isbn|0-89871-380-3}}.</ref><ref>{{cite video|author=Michael J. Steele|title=संभाव्यता सिद्धांत और मिश्रित अनुकूलन पर सीबीएमएस व्याख्यान|publisher=University of Cambridge|year=2011|url=http://sms.cam.ac.uk/collection/1189351}}</ref>

इसके अतिरिक्त, फेकेटे के लेम्मा के अनुरूप अवयोज्य वाले वास्तविक मानचित्रों (अतिरिक्त धारणाओं के साथ) के लिए एक सहायक समूह के <ref>{{Cite journal| doi = 10.1007/BF02810577 | doi-access=free | issn = 0021-2172| volume = 115| issue = 1| pages = 1–24| last1 = Lindenstrauss| first1 = Elon| authorlink1=Elon Lindenstrauss | last2 = Weiss| first2 = Benjamin| authorlink2=Benjamin Weiss| title = मीन टोपोलॉजिकल डायमेंशन| journal = [[Israel Journal of Mathematics]]| year = 2000| citeseerx = 10.1.1.30.3552}} Theorem 6.1</ref><ref>{{Cite journal| doi = 10.1007/BF02790325| doi-access=free | issn = 0021-7670| volume = 48| issue = 1| pages = 1–141| last1 = Ornstein| first1 = Donald S.|authorlink1=Donald Samuel Ornstein| last2 = Weiss| first2 = Benjamin| authorlink2=Benjamin Weiss| title = उत्तरदायी समूहों के कार्यों के लिए एंट्रॉपी और आइसोमोर्फिज्म प्रमेय| journal = [[Journal d'Analyse Mathématique]]| year = 1987}}</ref><ref>{{Cite journal| doi = 10.1023/A:1009841100168| issn = 1385-0172| volume = 2| issue = 4| pages = 323–415| last = Gromov| first = Misha| title = Topological Invariants of Dynamical Systems and Spaces of Holomorphic Maps: I| journal = Mathematical Physics, Analysis and Geometry| year = 1999| s2cid = 117100302}}</ref>

और आगे, एक अस्वीकृत करने योग्य वाम-सहायक अर्धसमूह का परिमित उपसमुच्चय से प्रमाणित हुए हैं।।<ref>{{Cite journal | arxiv = 1209.6179| last1 = Ceccherini-Silberstein| first1 = Tullio| title = कैंसलेटिव एमेनेबल सेमीग्रुप्स पर उप-योगात्मक कार्यों के लिए फेकेट के लेम्मा का एक एनालॉग| journal = [[Journal d'Analyse Mathématique]]| volume = 124| pages = 59–81| last2 = Krieger| first2 = Fabrice| last3 = Coornaert| first3 = Michel| year = 2014| doi = 10.1007/s11854-014-0027-4 | doi-access=free}} Theorem 1.1</ref>



=== फलन ===
{{math theorem|name='''प्रमेय:'''<ref>Hille 1948, Theorem 6.6.1. (Measurability is stipulated in Sect. 6.2 "Preliminaries".)</ref>|math_statement= प्रत्येक मापने योग्य उप-योगात्मक फलन के लिए <math>f : (0,\infty) \to \R,</math> लिमिट <math>\lim_{t\to\infty} \frac{f(t)}{t}</math> सम्मिलित है और <math>\inf_{t>0} \frac{f(t)}{t}.</math> (लिमिट <math>-\infty </math> हो सकती है) के बराबर है}}

यदि f एक उप-योगात्मक फलन है, और यदि 0 इसके प्रांत में है, तो f(0) ≥ 0. इसे देखने के लिए, असमिका को शीर्ष पर ले जाएँ।

<math>f(x) \ge f(x+y) - f(y)</math> इस तरह <math>f(0) \ge f(0+y) - f(y) = 0</math> प्राप्त होता है।

अवतल फलन <math>f: [0,\infty) \to \mathbb{R}</math> साथ <math>f(0) \ge 0</math> उपयोगात्मक भी है। इसे देखने के लिए, सबसे पहले यह देखा जाता है कि <math>f(x) \ge \textstyle{\frac{y}{x+y}} f(0) + \textstyle{\frac{x}{x+y}} f(x+y)</math> है। फिर <math>f(x)</math> और <math>f(y)</math>, के लिए इस सीमा के योग को देखते हुए, अंत में यह सत्यापित करेगा कि f अवयोज्य है।<ref>{{cite book | last = Schechter | first=Eric | author-link=Eric Schechter| title=हैंडबुक ऑफ एनालिसिस एंड इट्स फाउंडेशन्स| publisher=Academic Press | location = San Diego | year=1997 | isbn=978-0-12-622760-4}}, p.314,12.25</ref>

अवयोज्य फलन का ऋणात्मक अति-संयोजन है।

== विभिन्न प्रक्षेत्र में उदाहरण ==

=== एंट्रॉपी ===

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

=== अर्थव्यवस्था ===

उप-विघटन कुछ विशेष [[लागत वक्र|कीमत वक्र]] का एक आवश्यक गुण है। प्राकृतिक एकाधिकार के सत्यापन के लिए यह सामान्य रूप से एक आवश्यक और पर्याप्त शर्त है। इसका तात्पर्य है कि समान संख्या में दृढ़ता द्वारा मूल मात्रा के एक अंश के उत्पादन की तुलना में केवल एक फर्म से उत्पादन सामाजिक रूप से कम कीमती ([[औसत लागत|औसत कीमत]] के संदर्भ में) है।

पैमाने की अर्थव्यवस्थाओं को उपयोगात्मक औसत कीमत फलनों द्वारा दर्शाया जाता है।

पूरक वस्तुओं की स्थिति को छोड़कर, वस्तुओं की कीमत (मात्रा के कार्य के रूप में) उप-योगात्मक होनी चाहिए। अन्यथा यदि दो वस्तुओं की कीमत का योग उनमें से दो के बंडल की कीमत से सस्ता है, तो कोई भी कभी भी बंडल को प्रभावी रूप से  स्वीकार नहीं करेगा, जिससे बंडल की कीमत दो अलग-अलग वस्तुओ की कीमतों का योग बन जाएगी। इस प्रकार यह प्रमाणित करना कि प्राकृतिक पूर्ण नियंत्रन के लिए यह पर्याप्त स्थिति नहीं है; चूंकि विनिमय की इकाई किसी वस्तु की वास्तविक कीमत नहीं हो सकती है। यह स्थिति राजनीतिक क्षेत्र में हर किसी के लिए परिचित है जहां कुछ अल्पसंख्यक दावा करते हैं कि सरकार के किसी विशेष स्तर पर कुछ विशेष स्वतंत्रता के हानि का तात्पर्य है कि कई सरकारें अपेक्षाकृत अच्छी हैं; जबकि अधिकांश का दावा है कि कीमत की कोई अन्य सही इकाई है।{{citation needed|date=October 2015}}

=== वित्त ===
जोखिम प्रबंधन में सुसंगत जोखिम उपायों के वांछनीय गुणों में से एक अवयोज्य है।<ref name="Rau-Bredow">{{Cite journal | doi = 10.3390/risks7030091| title = Bigger Is Not Always Safer: A Critical Analysis of the Subadditivity Assumption for Coherent Risk Measures| year = 2019| last1 = Rau-Bredow | first1 = H. | journal = Risks| volume = 7| issue = 3|pages = 91| doi-access = free}}</ref> जोखिम माप उप-विघटन के पीछे आर्थिक अंतर्ज्ञान यह है कि एक पोर्टफोलियो जोखिम अनावरण, कम से कम, पोर्टफोलियो को बनाने वाले व्यक्तिगत पदों के जोखिम अनावरण के योग के समतुल्य होना चाहिए। किसी भी अन्य स्थिति में विविधीकरण के प्रभाव के परिणामस्वरूप एक पोर्टफोलियो जोखिम होगा जो कि व्यक्तिगत जोखिम अनावरण के योग से कम है। उप-योज्यता की कमी VaR मॉडल की मुख्य आलोचनाओं में से एक है जो जोखिम कारकों की सामान्यता की धारणा पर निर्भर नहीं करती है। गॉसियन VaR उप-योज्यता सुनिश्चित करता है: उदाहरण के लिए, <math> V </math> विश्वास्यता स्तर पर <math> 1-p </math> पर दो एकात्मक लंबे पदों का पोर्टफोलियो V का गॉसियन VaR यह मान रहा है कि माध्य पोर्टफोलियो मान भिन्नता शून्य है और VaR को एक ऋणात्मक हानि के रूप में परिभाषित किया गया है।
<math display="block"> \text{VaR}_p \equiv z_{p}\sigma_{\Delta V} =  z_{p}\sqrt{\sigma_x^2+\sigma_y^2+2\rho_{xy}\sigma_x \sigma_y} </math>
जहाँ <math> z_p </math> प्रायिकता स्तर पर सामान्य संचयी बंटन फलन का व्युत्क्रम <math> p </math>, <math> \sigma_x^2,\sigma_y^2 </math> है, अलग अलग स्थिति प्रतिवर्त विचरण हैं और <math> \rho_{xy} </math> दो व्यक्तिगत पदों के प्रतिवर्त के बीच [[पियर्सन सहसंबंध गुणांक]] है। चूंकि विचरण सदैव धनात्मक होता है,
<math display="block"> \sqrt{\sigma_x^2+\sigma_y^2+2\rho_{xy}\sigma_x \sigma_y} \leq \sigma_x + \sigma_y  </math>
इस प्रकार गाऊसी VaR के किसी भी मान के लिए <math> \rho_{xy} \in [-1,1] </math> अवयोज्य है और, विशेष रूप से, यह व्यक्तिगत जोखिम अनावरण के योग के समतुल्य होता है जब <math> \rho_{xy}=1 </math> जो पोर्टफोलियो जोखिम पर कोई विविधीकरण प्रभाव नहीं होने की स्थिति है।

=== ऊष्मप्रवैगिकी ===
गैर-आदर्श विलयनो और मिश्रणों के ऊष्मप्रवैगिकी गुणों में उप-योज्यता होती है जैसे कि अतिरिक्त मोल की मात्रा और मिश्रण की ऊष्मा या अतिरिक्त तापीय धारिता होती है।

=== पदों पर संयोजन ===
क्रमगुणित [[औपचारिक भाषा]] <math>L</math> है जहां एक [[स्ट्रिंग (कंप्यूटर विज्ञान)]] <math>L</math> में है, तो उस शब्द के सभी कारक <math>L</math> है। पदों पर संयोजन में, एक सामान्य समस्या लंबाई-<math>n</math> शब्दों की संख्या <math>A(n)</math> निर्धारित करने के लिए है। स्पष्ट रूप से <math>A(m+n) \leq A(m)A(n)</math>, इसलिए <math>\log A(n)</math> अवयोज्य है, और इसलिए <math>A(n)</math> के विकास का अनुमान लगाने के लिए फेकेटे के लेम्मा का उपयोग किया जा सकता है<ref name=shur>{{cite journal|last=Shur|first=Arseny|title=शक्ति-मुक्त भाषाओं के विकास गुण|journal=Computer Science Review|date=2012|volume=6|issue=5–6|pages=187–208|doi=10.1016/j.cosrev.2012.09.001}}</ref>

प्रत्येक <math>k \geq 1</math> के लिए, वर्णक्रम <math>1, 2, ..., k</math> पर यादृच्छिक रूप से लंबाई n की दो स्ट्रिंग्स का प्रतिदर्श लें। सबसे लंबी सामान्य अनुक्रम की अपेक्षित लंबाई n का एक अतियोज्यता फलन है, और इस प्रकार एक संख्या <math>\gamma_k \geq 0</math>, सम्मिलित है, जैसे कि अपेक्षित लंबाई <math>\sim \gamma_k n</math> है। स्थिति को <math>n=1</math> से जांचने पर, हमें आसानी से <math>\frac 1k < \gamma_k \leq 1</math> प्राप्त होता है। सम <math>\gamma_2</math>का परिशुद्ध मान, हालांकि, केवल 0.788 और 0.827 के बीच ही जाना जाता है।<ref>{{Cite journal |last=Lueker |first=George S. |date=May 2009 |title=सबसे लंबे सामान्य अनुवर्ती अनुक्रमों की औसत लंबाई पर बेहतर सीमाएं|url=https://dl.acm.org/doi/10.1145/1516512.1516519 |journal=Journal of the ACM |language=en |volume=56 |issue=3 |pages=1–38 |doi=10.1145/1516512.1516519 |s2cid=7232681 |issn=0004-5411}}</ref>



== यह भी देखें ==

* प्रत्यक्ष मोलीय गुण - एक मिश्रण बनाम एक आदर्श विलयन में पदार्थ के एक मोल के गुणों में अंतर
*चोकेट समाकल
*सुपरएडिटिविटी (अति-योगात्मकता)
*त्रिभुज असमानता - ज्यामिति के गुण, दूरीक समष्टि में "दूरी" की धारणा को सामान्यीकृत करने के लिए भी प्रयोग की जाती है

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


==संदर्भ==
*[[György Pólya]] and [[Gábor Szegő]]. "Problems and theorems in analysis, volume 1". Springer-Verlag, New York (1976). {{isbn|0-387-05672-6}}.
*[[Einar Hille]]. "[https://archive.org/details/functionalanalys017173mbp Functional analysis and semi-groups]". American Mathematical Society, New York (1948).
*N.H. Bingham, A.J. Ostaszewski. "Generic subadditive functions." Proceedings of American Mathematical Society, vol. 136, no. 12 (2008), pp.&nbsp;4257–4266.


==बाहरी संबंध==
{{PlanetMath attribution|id=4615|title=subadditivity}}

[[Category:All articles with unsourced statements]]
[[Category:Articles with unsourced statements from October 2015]]
[[Category:CS1 English-language sources (en)]]
[[Category:Created On 24/04/2023]]
[[Category:Machine Translated Page]]
[[Category:Templates Vigyan Ready]]
[[Category:Wikipedia articles incorporating text from PlanetMath|उप-विषमता]]
[[Category:अनुक्रम और श्रृंखला]]
[[Category:कार्यों के प्रकार]]
[[Category:गणितीय विश्लेषण]]