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

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{distinguish|text = [[epigraph (literature)]]}}
{{distinguish|text = [[epigraph (literature)]]}}
[[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 18: Line 18:
\operatorname{epi} f  
\operatorname{epi} f  
&= \left\{ (x, r) \in X \times \R ~:~ r \geq f(x) \right\} \\
&= \left\{ (x, r) \in X \times \R ~:~ r \geq f(x) \right\} \\
&= \left[ f^{-1}(- \infty) \times \R \right] \cup \bigcup_{x \in f^{-1}(\R)} \{ x \} \times [f(x), \infty) ~~~ \text{ (all sets being unioned are pairwise disjoint). }
&= \left[ f^{-1}(- \infty) \times \R \right] \cup \bigcup_{x \in f^{-1}(\R)} \{ x \} \times [f(x), \infty) ~~~ \text{ (संयुक्त किए जा रहे सभी सेट जोड़ीदार असंयुक्त हैं). }
\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> इसके ठीक ऊपर।
संघ में खत्म <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|सख्त एपिग्राफ|सख्त एपिग्राफ}}'''}} }} हटाए गए ग्राफ़ के साथ एपिग्राफ है:
इसी प्रकार, किसी फ़ंक्शन के ग्राफ़ पर या उसके नीचे बिंदुओं का समूह उसका हाइपोग्राफ़ है {{visible anchor|हाइपोग्राफ|हाइपोग्राफ}}. {{em|'''{{visible anchor|सख्त एपिग्राफ|सख्त एपिग्राफ}}'''}} }} हटाए गए ग्राफ़ के साथ एपिग्राफ है:


:<math>
:<math>
Line 34: Line 34:




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


इस तथ्य के बावजूद कि <math>f</math> में से एक (या दोनों) ले सकते हैं <math>\pm \infty</math> एक मूल्य के रूप में (जिस स्थिति में इसका ग्राफ होगा {{em|not}} का उपसमुच्चय हो <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" />या एक मनमाना सेट भी<ref name="AliprantisBorder2007" />के बजाय <math>\R^n</math>.
फ़ंक्शन का डोमेन ([[कोडोमेन]] के अतिरिक्त) इस परिभाषा के लिए विशेष रूप से महत्वपूर्ण नहीं है; यह कोई [[रैखिक स्थान]] हो सकता है<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> सदैव भिन्न होते हैं।


एक फ़ंक्शन का एपिग्राफ <math>f : X \to [-\infty, \infty]</math> इसके ग्राफ और सख्त एपिग्राफ से संबंधित है
एक फ़ंक्शन का एपिग्राफ <math>f : X \to [-\infty, \infty]</math> इसके ग्राफ और सख्त एपिग्राफ से संबंधित है
Line 51: Line 51:
== एपिग्राफ == से कार्यों का पुनर्निर्माण
== एपिग्राफ == से कार्यों का पुनर्निर्माण


एपिग्राफ [[खाली सेट]] है अगर और केवल अगर फ़ंक्शन समान रूप से अनंत के बराबर है।
एपिग्राफ [[खाली सेट]] है अगर केवल फ़ंक्शन समान रूप से अनंत के बराबर है।


जिस तरह किसी भी फ़ंक्शन को उसके ग्राफ़ से फिर से बनाया जा सकता है, उसी तरह किसी भी विस्तारित वास्तविक-मूल्यवान फ़ंक्शन को भी बनाया जा सकता है <math>f</math> पर <math>X</math> इसके एपिग्राफ से पुनर्निर्माण किया जा सकता है <math>E := \operatorname{epi} f</math> (यहां तक ​​कि जब <math>f</math> लेता है <math>\pm \infty</math> मान के रूप में)। दिया गया <math>x \in X,</math> मूल्य <math>f(x)</math> से बनाया जा सकता है <math>E \cap \left( \{ x \} \times \R \right)</math> का <math>E</math> खड़ी रेखा के साथ <math>\{ x \} \times \R</math> के माध्यम से गुजरते हुए <math>x</math> निम्नलिखित नुसार:
जिस तरह किसी भी फ़ंक्शन को उसके ग्राफ़ से फिर से बनाया जा सकता है, उसी तरह किसी भी विस्तारित वास्तविक-मूल्यवान फ़ंक्शन को भी बनाया जा सकता है <math>f</math> पर <math>X</math> इसके एपिग्राफ से पुनर्निर्माण किया जा सकता है <math>E := \operatorname{epi} f</math> (यहां तक ​​कि जब <math>f</math> लेता है <math>\pm \infty</math> मान के रूप में)। दिया गया <math>x \in X,</math> मूल्य <math>f(x)</math> से बनाया जा सकता है <math>E \cap \left( \{ x \} \times \R \right)</math> का <math>E</math> खड़ी रेखा के साथ <math>\{ x \} \times \R</math> के माध्यम से गुजरते हुए <math>x</math> निम्नलिखित नुसार:


<li>केस 1: <math>E \cap \left( \{ x \} \times \R \right) = \varnothing</math> अगर और केवल अगर <math>f(x) = \infty,</math>
<li>विषय  1: <math>E \cap \left( \{ x \} \times \R \right) = \varnothing</math> अगर और केवल अगर <math>f(x) = \infty,</math>
<li>केस 2: <math>E \cap \left( \{ x \} \times \R \right) = \{ x \} \times \R</math> अगर और केवल अगर <math>f(x) = -\infty,</math>
<li>विषय  2: <math>E \cap \left( \{ x \} \times \R \right) = \{ x \} \times \R</math> अगर और केवल अगर <math>f(x) = -\infty,</math>
<li>केस 3: अन्यथा, <math>E \cap \left( \{ x \} \times \R \right)</math> रूप का अनिवार्य रूप से है <math>\{ x \} \times [f(x), \infty),</math> जिससे का मूल्य <math>f(x)</math> अंतराल का न्यूनतम लेकर प्राप्त किया जा सकता है।</li>
<li>विषय  3: अन्यथा, <math>E \cap \left( \{ x \} \times \R \right)</math> रूप का अनिवार्य रूप से है <math>\{ x \} \times [f(x), \infty),</math> जिससे का मूल्य <math>f(x)</math> अंतराल का न्यूनतम लेकर प्राप्त किया जा सकता है।</li>


उपरोक्त प्रेक्षणों को मिलाकर एक सूत्र दिया जा सकता है <math>f(x)</math> के अनुसार <math>E := \operatorname{epi} f.</math> विशेष रूप से, किसी के लिए <math>x \in X,</math> :<math>f(x) = \inf_{} \{ r \in \R ~:~ (x, r) \in E \}</math>
उपरोक्त प्रेक्षणों को मिलाकर एक सूत्र दिया जा सकता है <math>f(x)</math> के अनुसार <math>E := \operatorname{epi} f.</math> विशेष रूप से, किसी के लिए <math>x \in X,</math> :<math>f(x) = \inf_{} \{ r \in \R ~:~ (x, r) \in E \}</math>
जहां परिभाषा के अनुसार, <math>\inf_{} \varnothing := \infty.</math> इसी फॉर्मूले का इस्तेमाल पुनर्निर्माण के लिए भी किया जा सकता है <math>f</math> इसके सख्त एपिग्राफ से <math>E := \operatorname{epi}_S f.</math>
जहां परिभाषा के अनुसार, <math>\inf_{} \varnothing := \infty.</math> इसी सूत्रों का उपयोग पुनर्निर्माण के लिए भी किया जा सकता है <math>f</math> इसके सख्त एपिग्राफ से <math>E := \operatorname{epi}_S f.</math>




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


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


== यह भी देखें ==
== यह भी देखें ==
Line 82: Line 82:




==इस पेज में लापता आंतरिक लिंक की सूची==
*अंक शास्त्र
*समारोह (गणित)
*सेट (गणित)
*कार्तीय गुणन
*किसी फ़ंक्शन का ग्राफ़
*वास्तविक मूल्यवान समारोह
*उत्तल समारोह
*सदिश स्थल
*किसी फ़ंक्शन का डोमेन
*सबसे कम
*अर्द्ध निरंतरता
==संदर्भ==
==संदर्भ==



Revision as of 23:37, 2 December 2022

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

गणित में, किसी फंक्शन का विस्तारित वास्तविक संख्या रेखा [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.


    संदर्भ