एपिग्राफ (गणित): Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{distinguish|text = [[एपिग्राफ (साहित्य)]]}}
[[File:Epigraph.svg|alt=|right|thumb|upright=1.5|फलन का एपिग्राफ]]
[[File:Epigraph.svg|alt=|right|thumb|upright=1.5|फलन का एपिग्राफ]]
[[File:Epigraph convex.svg|alt=|right|thumb|upright=1.5|फलन (काले रंग में) उत्तल होता है यदि और केवल यदि उसके ग्राफ़ के ऊपर का क्षेत्र (हरे रंग में) एक [[उत्तल सेट|उत्तल समूह]] है। यह क्षेत्र फलन का एपिग्राफ है।]]गणित में, किसी फलन <math>f : X \to [-\infty, \infty]</math>का [[विस्तारित वास्तविक संख्या रेखा]] <ref name="NeittaanmäkiRepin2004" />  में मूल्यवान <math>[-\infty, \infty] = \R \cup \{ \pm \infty \}</math> समुच्चय है, जिसे <math>\operatorname{epi} f,</math>निरूपित किया जाता है I कार्टेशियन उत्पाद में सभी बिंदु का <math>X \times \R</math> किसी फलन के ग्राफ़ पर या उसके ऊपर स्थित है।{{sfn|Rockafellar|Wets|2009|pp=1-37}} कठोर एपिग्राफ  <math>\operatorname{epi}_S f</math> में बिंदुओं का समूह है <math>X \times \R</math> ठीक इसके ग्राफ़ के ऊपर है।
[[File:Epigraph convex.svg|alt=|right|thumb|upright=1.5|फलन (काले रंग में) उत्तल होता है यदि और केवल यदि उसके ग्राफ़ के ऊपर का क्षेत्र (हरे रंग में) एक [[उत्तल सेट|उत्तल समूह]] है। यह क्षेत्र फलन का एपिग्राफ है।]]गणित में, किसी फलन <math>f : X \to [-\infty, \infty]</math>का [[विस्तारित वास्तविक संख्या रेखा]] <ref name="NeittaanmäkiRepin2004" />  में मूल्यवान <math>[-\infty, \infty] = \R \cup \{ \pm \infty \}</math> समुच्चय है, जिसे <math>\operatorname{epi} f,</math>निरूपित किया जाता है I कार्टेशियन उत्पाद में सभी बिंदु का <math>X \times \R</math> किसी फलन के ग्राफ़ पर या उसके ऊपर स्थित है।{{sfn|Rockafellar|Wets|2009|pp=1-37}}कठोर '''एपिग्राफ''' <math>\operatorname{epi}_S f</math> में बिंदुओं का समूह है <math>X \times \R</math> ठीक इसके ग्राफ़ के ऊपर है।


महत्वपूर्ण रूप से, चूँकि <math>f</math> ग्राफ और एपिग्राफ  दोनों में  <math>X \times [-\infty, \infty],</math>  बिंदु सम्मलित हैं एपिग्राफ  में उप-समुच्चय <math>X \times \R,</math> में पूरी तरह से बिंदु होते हैं, जो  <math>f.</math> यदि फलन <math>\pm \infty</math> को एक मान के रूप में लेता है तो {{em|पूरी तरह से}} मूल्य के रूप में <math>\operatorname{graph} f</math> {{em|नहीं}}  इसके एपिग्राफ  का एक उप-समुच्चय <math>\operatorname{epi} f</math> हो  उदाहरण के लिए, यदि <math>f\left(x_0\right) = \infty</math> फिर बिंदु <math>\left(x_0, f\left(x_0\right)\right) = \left(x_0, \infty\right)</math> का <math>\operatorname{graph} f</math> होगा  लेकिन <math>\operatorname{epi} f</math> ये दो समूह फिर भी निकटता से संबंधित हैं क्योंकि ग्राफ को सदैव एपिग्राफ से पुनर्निर्मित किया जा सकता है, और इसके विपरीत भी किया जा सकता है।
महत्वपूर्ण रूप से, चूँकि <math>f</math> ग्राफ और एपिग्राफ  दोनों में  <math>X \times [-\infty, \infty],</math>  बिंदु सम्मलित हैं एपिग्राफ  में उप-समुच्चय <math>X \times \R,</math> में पूरी तरह से बिंदु होते हैं, जो  <math>f.</math> यदि फलन <math>\pm \infty</math> को एक मान के रूप में लेता है तो {{em|पूरी तरह से}} मूल्य के रूप में <math>\operatorname{graph} f</math> {{em|नहीं}}  इसके एपिग्राफ  का एक उप-समुच्चय <math>\operatorname{epi} f</math> हो  उदाहरण के लिए, यदि <math>f\left(x_0\right) = \infty</math> फिर बिंदु <math>\left(x_0, f\left(x_0\right)\right) = \left(x_0, \infty\right)</math> का <math>\operatorname{graph} f</math> होगा  लेकिन <math>\operatorname{epi} f</math> ये दो समूह फिर भी निकटता से संबंधित हैं क्योंकि ग्राफ को सदैव एपिग्राफ से पुनर्निर्मित किया जा सकता है, और इसके विपरीत भी किया जा सकता है।


[[वास्तविक विश्लेषण]] में [[निरंतर कार्य]] वास्तविक-मूल्यवान कार्यों का अध्ययन परंपरागत रूप से फलन के उनके ग्राफ़ के अध्ययन से जुड़ा हुआ है, जो समूह हैं जो इन कार्यों के बारे में ज्यामितीय जानकारी प्रदान करते हैं।{{sfn|Rockafellar|Wets|2009|pp=1-37}} [[उत्तल विश्लेषण|एपिग्राफ उत्तल विश्लेषण]] और [[परिवर्तनशील विश्लेषण]] के क्षेत्रों में इसी उद्देश्य की पूर्ति करते हैं, जिसमें प्राथमिक ध्यान केंद्रित <math>[-\infty, \infty]</math> उत्तल कार्यों पर होता है, सदिश स्थान (जैसे <math>\R</math> या <math>\R^2</math>) में मान वाले निरंतर कार्यों के अतिरिक्त है,{{sfn|Rockafellar|Wets|2009|pp=1-37}} ऐसा इसलिए है क्योंकि सामान्यतः, ऐसे कार्यों के लिए, ज्यामितीय अंतर्ज्ञान किसी फलन के एपिग्राफ  से उसके ग्राफ की तुलना में अधिक सरलता से प्राप्त होता है।{{sfn|Rockafellar|Wets|2009|pp=1-37}} इसी प्रकार वास्तविक विश्लेषण में ग्राफ़ का उपयोग कैसे किया जाता है, एपिग्राफ का उपयोग अधिकांशतः एक उत्तल फलन के गुणों की ज्यामितीय व्याख्या करने के लिए किया जा सकता है, परिकल्पना तैयार करने या सिद्ध करने में सहायता करने के लिए, या [[प्रति उदाहरण]] के निर्माण में सहायता के लिए है।
वास्तविक विश्लेषण में निरंतर फलन वास्तविक-मूल्यवान फलनों का अध्ययन परंपरागत रूप से फलन के उनके ग्राफ़ के अध्ययन से जुड़ा हुआ है, जो समूह हैं जो इन फलनों के बारे में ज्यामितीय जानकारी प्रदान करते हैं।{{sfn|Rockafellar|Wets|2009|pp=1-37}}[[उत्तल विश्लेषण|एपिग्राफ उत्तल विश्लेषण]] और परिवर्तनशील विश्लेषण के क्षेत्रों में इसी उद्देश्य की पूर्ति करते हैं, जिसमें प्राथमिक ध्यान केंद्रित <math>[-\infty, \infty]</math> उत्तल फलनों पर होता है, सदिश समष्टि (जैसे <math>\R</math> या <math>\R^2</math>) में मान वाले निरंतर फलनों के अतिरिक्त है,{{sfn|Rockafellar|Wets|2009|pp=1-37}} ऐसा इसलिए है क्योंकि सामान्यतः, ऐसे फलनों के लिए, ज्यामितीय अंतर्ज्ञान किसी फलन के एपिग्राफ  से उसके ग्राफ की तुलना में अधिक सरलता से प्राप्त होता है।{{sfn|Rockafellar|Wets|2009|pp=1-37}} इसी प्रकार वास्तविक विश्लेषण में ग्राफ़ का उपयोग कैसे किया जाता है, एपिग्राफ का उपयोग अधिकांशतः एक उत्तल फलन के गुणों की ज्यामितीय व्याख्या करने के लिए किया जा सकता है, परिकल्पना तैयार करने या सिद्ध करने में सहायता करने के लिए, या प्रति उदाहरण के निर्माण में सहायता के लिए है।


== परिभाषा ==
== परिभाषा ==
Line 21: Line 20:
\end{alignat}
\end{alignat}
</math>
</math>
संघ में खत्म <math>x \in f^{-1}(\R)</math> जो अंतिम पंक्ति, समूह के दाहिने हाथ की ओर ऊपर दिखाई देता है <math>\{ x \} \times [f(x), \infty)</math> से मिलकर खड़ी किरण होने के रूप में व्याख्या की जा सकती है <math>(x, f(x))</math> और सभी बिंदुओं में <math>X \times \R</math> इसके ठीक ऊपर है। इसी प्रकार, किसी फ़ंक्शन के ग्राफ़ पर या उसके नीचे बिंदुओं का समूह उसका हाइपोग्राफ़ है {{visible anchor|हाइपोग्राफ|हाइपोग्राफ}}. {{em|'''{{visible anchor|स्ट्रिक्ट एपिग्राफ|स्ट्रिक्ट एपिग्राफ}}'''}} , हटाए गए ग्राफ़ के साथ एपिग्राफ है:
संघ में खत्म <math>x \in f^{-1}(\R)</math> जो अंतिम पंक्ति, समूह के दाहिने हाथ की ओर ऊपर दिखाई देता है <math>\{ x \} \times [f(x), \infty)</math> से मिलकर खड़ी किरण होने के रूप में व्याख्या की जा सकती है <math>(x, f(x))</math> और सभी बिंदुओं में <math>X \times \R</math> इसके ठीक ऊपर है। इसी प्रकार, किसी फलन के ग्राफ़ पर या उसके नीचे बिंदुओं का समूह उसका हाइपोग्राफ़ है {{visible anchor|हाइपोग्राफ|हाइपोग्राफ}}. {{em|'''{{visible anchor|स्ट्रिक्ट एपिग्राफ|स्ट्रिक्ट एपिग्राफ}}'''}} , हटाए गए ग्राफ़ के साथ एपिग्राफ है:


:<math>
:<math>
Line 35: Line 34:
== अन्य समूह के साथ संबंध ==
== अन्य समूह के साथ संबंध ==


इस तथ्य के अतिरिक्त कि <math>f</math> में से एक (या दोनों) ले सकते हैं <math>\pm \infty</math> एक मूल्य के रूप में (जिस स्थिति में इसका ग्राफ होगा {{em|नहीं}} का उप-समुच्चय हो <math>X \times \R</math>), का एपिग्राफ  <math>f</math> फिर भी एक उप समूह  के रूप में परिभाषित किया गया है <math>X \times \R</math> के अतिरिक्त <math>X \times [-\infty, \infty].</math> यह निश्चयपूर्वक है क्योंकि जब <math>X</math> एक सदिश स्थान है तो ऐसा है <math>X \times \R</math> लेकिन <math>X \times [-\infty, \infty]</math> है {{em|कभी नहीँ}}  वेक्टर स्थान{{sfn|Rockafellar|Wets|2009|pp=1-37}} (विस्तारित वास्तविक संख्या रेखा के बाद से <math>[-\infty, \infty]</math> सदिश स्थान नहीं है)। अधिक सामान्यतः, यदि <math>X</math> तब कुछ सदिश समष्टि का केवल अरिक्त उप-समुच्चय होता है <math>X \times [-\infty, \infty]</math>  {{em|उप समूह}} का {{em|कोई}} सदिश स्थल कभी भी नहीं है। एपिग्राफ सदिश स्थान का उप-समुच्चय होने के कारण वास्तविक विश्लेषण और [[कार्यात्मक विश्लेषण]]से संबंधित उपकरणों को अधिक सरलता से प्रस्तावित करने की अनुमति देता है।
इस तथ्य के अतिरिक्त कि <math>f</math> में से एक (या दोनों) ले सकते हैं <math>\pm \infty</math> एक मूल्य के रूप में (जिस स्थिति में इसका ग्राफ होगा {{em|नहीं}} का उप-समुच्चय हो <math>X \times \R</math>), का एपिग्राफ  <math>f</math> फिर भी एक उप समूह  के रूप में परिभाषित किया गया है <math>X \times \R</math> के अतिरिक्त <math>X \times [-\infty, \infty].</math> यह निश्चयपूर्वक है क्योंकि जब <math>X</math> एक सदिश समष्टि है तो ऐसा है <math>X \times \R</math> लेकिन <math>X \times [-\infty, \infty]</math> है {{em|कभी नहीँ}}  वेक्टर समष्टि{{sfn|Rockafellar|Wets|2009|pp=1-37}} (विस्तारित वास्तविक संख्या रेखा के बाद से <math>[-\infty, \infty]</math> सदिश समष्टि नहीं है)। अधिक सामान्यतः, यदि <math>X</math> तब कुछ सदिश समष्टि का केवल अरिक्त उप-समुच्चय होता है <math>X \times [-\infty, \infty]</math>  {{em|उप समूह}} का {{em|कोई}} सदिश स्थल कभी भी नहीं है। एपिग्राफ सदिश समष्टि का उप-समुच्चय होने के कारण वास्तविक विश्लेषण और [[कार्यात्मक विश्लेषण|फलनात्मक विश्लेषण]] से संबंधित उपकरणों को अधिक सरलता से प्रस्तावित करने की अनुमति देता है।


फलन का कार्यक्षेत्र ([[कोडोमेन|सह-कार्यक्षेत्र]] के अतिरिक्त) इस परिभाषा के लिए विशेष रूप से महत्वपूर्ण नहीं है; यह कोई [[रैखिक स्थान]] हो सकता है<ref name="NeittaanmäkiRepin2004" />या समूह के अतिरिक्त <math>\R^n</math>.<ref name="AliprantisBorder2007" />
फलन का फलनक्षेत्र ([[कोडोमेन|सह-फलनक्षेत्र]] के अतिरिक्त) इस परिभाषा के लिए विशेष रूप से महत्वपूर्ण नहीं है; यह कोई [[रैखिक स्थान|रैखिक समष्टि]] हो सकता है<ref name="NeittaanmäkiRepin2004" />या समूह के अतिरिक्त <math>\R^n</math>.<ref name="AliprantisBorder2007" />


कठोर एपिग्राफ  <math>\operatorname{epi}_S f</math> और ग्राफ <math>\operatorname{graph} f</math> सदैव भिन्न होते हैं।
कठोर एपिग्राफ  <math>\operatorname{epi}_S f</math> और ग्राफ <math>\operatorname{graph} f</math> सदैव भिन्न होते हैं।
Line 48: Line 47:
:<math>\operatorname{epi} f = \left[ \operatorname{epi}_S f \,\cup\, \operatorname{graph} f\right] \,\cap\, \left[ X \times \R \right]</math> सदैव रखता है।
:<math>\operatorname{epi} f = \left[ \operatorname{epi}_S f \,\cup\, \operatorname{graph} f\right] \,\cap\, \left[ X \times \R \right]</math> सदैव रखता है।


एपिग्राफ से कार्यों का पुनर्निर्माण
एपिग्राफ से फलनों का पुनर्निर्माण


एपिग्राफ [[खाली सेट|खाली समुच्चय]] है यदि केवल फलन समान रूप से अनंत के बराबर है।
एपिग्राफ [[खाली सेट|खाली समुच्चय]] है यदि केवल फलन समान रूप से अनंत के बराबर है।
Line 61: Line 60:




== कार्यों के गुणों और उनके अभिलेखों के बीच संबंध ==
== फलनों के गुणों और उनके अभिलेखों के बीच संबंध ==


फलन उत्तल फलन होता है  यदि इसका पुरालेख उत्तल समुच्चय है। वास्तविक [[affine समारोह|संबंध फलन]] का एपिग्राफ  <math>g : \R^n \to \R</math> में [[आधा स्थान (ज्यामिति)|आधा स्थान]] <math>\R^{n+1}</math>है, फलन अर्ध-निरंतरता है और केवल इसका एपिग्राफ [[बंद सेट|बंद समुच्चय]] है।
फलन उत्तल फलन होता है  यदि इसका पुरालेख उत्तल समुच्चय है। वास्तविक संबंध फलन का एपिग्राफ  <math>g : \R^n \to \R</math> में आधा समष्टि <math>\R^{n+1}</math>है, फलन अर्ध-निरंतरता है और केवल इसका एपिग्राफ बंद समुच्चय है।


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

Revision as of 15:30, 12 October 2023

फलन का एपिग्राफ
फलन (काले रंग में) उत्तल होता है यदि और केवल यदि उसके ग्राफ़ के ऊपर का क्षेत्र (हरे रंग में) एक उत्तल समूह है। यह क्षेत्र फलन का एपिग्राफ है।

गणित में, किसी फलन का विस्तारित वास्तविक संख्या रेखा [1] में मूल्यवान समुच्चय है, जिसे निरूपित किया जाता है I कार्टेशियन उत्पाद में सभी बिंदु का किसी फलन के ग्राफ़ पर या उसके ऊपर स्थित है।[2]कठोर एपिग्राफ में बिंदुओं का समूह है ठीक इसके ग्राफ़ के ऊपर है।

महत्वपूर्ण रूप से, चूँकि ग्राफ और एपिग्राफ दोनों में बिंदु सम्मलित हैं एपिग्राफ में उप-समुच्चय में पूरी तरह से बिंदु होते हैं, जो यदि फलन को एक मान के रूप में लेता है तो पूरी तरह से मूल्य के रूप में नहीं इसके एपिग्राफ का एक उप-समुच्चय हो उदाहरण के लिए, यदि फिर बिंदु का होगा लेकिन ये दो समूह फिर भी निकटता से संबंधित हैं क्योंकि ग्राफ को सदैव एपिग्राफ से पुनर्निर्मित किया जा सकता है, और इसके विपरीत भी किया जा सकता है।

वास्तविक विश्लेषण में निरंतर फलन वास्तविक-मूल्यवान फलनों का अध्ययन परंपरागत रूप से फलन के उनके ग्राफ़ के अध्ययन से जुड़ा हुआ है, जो समूह हैं जो इन फलनों के बारे में ज्यामितीय जानकारी प्रदान करते हैं।[2]एपिग्राफ उत्तल विश्लेषण और परिवर्तनशील विश्लेषण के क्षेत्रों में इसी उद्देश्य की पूर्ति करते हैं, जिसमें प्राथमिक ध्यान केंद्रित उत्तल फलनों पर होता है, सदिश समष्टि (जैसे या ) में मान वाले निरंतर फलनों के अतिरिक्त है,[2] ऐसा इसलिए है क्योंकि सामान्यतः, ऐसे फलनों के लिए, ज्यामितीय अंतर्ज्ञान किसी फलन के एपिग्राफ से उसके ग्राफ की तुलना में अधिक सरलता से प्राप्त होता है।[2] इसी प्रकार वास्तविक विश्लेषण में ग्राफ़ का उपयोग कैसे किया जाता है, एपिग्राफ का उपयोग अधिकांशतः एक उत्तल फलन के गुणों की ज्यामितीय व्याख्या करने के लिए किया जा सकता है, परिकल्पना तैयार करने या सिद्ध करने में सहायता करने के लिए, या प्रति उदाहरण के निर्माण में सहायता के लिए है।

परिभाषा

एपिग्राफ की परिभाषा एक फलन के ग्राफ़ से प्रेरित थी, जहां ग्राफ़ के समूह के रूप में परिभाषित किया गया है

सूक्ति }} या सुपरग्राफ  एक फलन का   विस्तारित संख्या रेखा में मूल्यवान  समूह है[2]

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


अन्य समूह के साथ संबंध

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

फलन का फलनक्षेत्र (सह-फलनक्षेत्र के अतिरिक्त) इस परिभाषा के लिए विशेष रूप से महत्वपूर्ण नहीं है; यह कोई रैखिक समष्टि हो सकता है[1]या समूह के अतिरिक्त .[3]

कठोर एपिग्राफ और ग्राफ सदैव भिन्न होते हैं।

फलन की एपिग्राफ इसके ग्राफ और कठोर एपिग्राफ से संबंधित है,

जहां समुच्चय समानता रखती है यदि केवल वास्तविक मूल्यवान है। चूँकि,

सदैव रखता है।

एपिग्राफ से फलनों का पुनर्निर्माण

एपिग्राफ खाली समुच्चय है यदि केवल फलन समान रूप से अनंत के बराबर है।

जिस प्रकार किसी भी फलन को उसके ग्राफ़ से फिर से बनाया जा सकता है, उसी प्रकार किसी भी विस्तारित वास्तविक-मूल्यवान फलन को भी बनाया जा सकता है पर इसके एपिग्राफ से पुनर्निर्माण किया जा सकता है (यहां तक ​​कि जब लेता है मान के रूप में)। दिया गया मूल्य से बनाया जा सकता है का खड़ी रेखा के साथ के माध्यम से गुजरते हुए निम्नलिखित:

  • विषय 1: यदि केवल अगर
  • विषय 2: यदि केवल अगर
  • विषय 3: अन्यथा, रूप का अनिवार्य रूप से है जिससे का मूल्य अंतराल का न्यूनतम लेकर प्राप्त किया जा सकता है।
  • उपरोक्त प्रेक्षणों को मिलाकर सूत्र दिया जा सकता है के अनुसार विशेष रूप से, किसी के लिए : जहां परिभाषा के अनुसार, इसी सूत्रों का उपयोग के पुनर्निर्माण के लिए इसके कठोर एपिग्राफ से से भी किया जा सकता है।

    फलनों के गुणों और उनके अभिलेखों के बीच संबंध

    फलन उत्तल फलन होता है यदि इसका पुरालेख उत्तल समुच्चय है। वास्तविक संबंध फलन का एपिग्राफ में आधा समष्टि है, फलन अर्ध-निरंतरता है और केवल इसका एपिग्राफ बंद समुच्चय है।

    यह भी देखें


    उद्धरण

    1. 1.0 1.1 Pekka Neittaanmäki; Sergey R. Repin (2004). Reliable Methods for Computer Simulation: Error Control and Posteriori Estimates. Elsevier. p. 81. ISBN 978-0-08-054050-4.
    2. 2.0 2.1 2.2 2.3 2.4 2.5 Rockafellar & Wets 2009, pp. 1–37.
    3. Charalambos D. Aliprantis; Kim C. Border (2007). Infinite Dimensional Analysis: A Hitchhiker's Guide (3rd ed.). Springer Science & Business Media. p. 8. ISBN 978-3-540-32696-0.


    संदर्भ