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

From Vigyanwiki
 
 
(18 intermediate revisions by 6 users not shown)
Line 1: Line 1:
{{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|एक फ़ंक्शन (काले रंग में) उत्तल होता है यदि और केवल यदि उसके ग्राफ़ के ऊपर का क्षेत्र (हरे रंग में) एक [[उत्तल सेट]] है। यह क्षेत्र समारोह का एपिग्राफ है।]]गणित में, एपिग्राफ या सुपरग्राफ<ref name="NeittaanmäkiRepin2004" />एक समारोह की (गणित) <math>f : X \to [-\infty, \infty]</math> [[विस्तारित वास्तविक संख्या रेखा]] में मूल्यवान <math>[-\infty, \infty] = \R \cup \{ \pm \infty \}</math> समुच्चय (गणित) है, जिसे निरूपित किया जाता है <math>\operatorname{epi} f,</math> कार्टेशियन उत्पाद में सभी बिंदुओं की <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> एपिग्राफ शामिल है {{em|entirely}} उपसमुच्चय में अंकों की <math>X \times \R,</math> जो जरूरी नहीं कि ग्राफ के लिए सही हो <math>f.</math> अगर समारोह लेता है <math>\pm \infty</math> तब मूल्य के रूप में <math>\operatorname{graph} f</math> मर्जी {{em|not}} इसके एपिग्राफ का एक उपसमुच्चय हो <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}} इसी प्रकार वास्तविक विश्लेषण में ग्राफ़ का उपयोग कैसे किया जाता है, एपिग्राफ का उपयोग अधिकांशतः एक उत्तल फलन के गुणों की ज्यामितीय व्याख्या करने के लिए किया जा सकता है, परिकल्पना तैयार करने या सिद्ध करने में सहायता करने के लिए, या प्रति उदाहरण के निर्माण में सहायता के लिए है।


== परिभाषा ==
== परिभाषा ==


एपिग्राफ की परिभाषा एक फ़ंक्शन के ग्राफ़ से प्रेरित थी, जहां {{em|'''{{visible anchor|graph|Graph}}'''}} का <math>f : X \to Y</math> सेट के रूप में परिभाषित किया गया है
एपिग्राफ की परिभाषा एक फलन के ग्राफ़ से प्रेरित थी, जहां {{em|'''{{visible anchor|ग्राफ़|ग्राफ़}}'''}} के  <math>f : X \to Y</math> समूह के रूप में परिभाषित किया गया है


:<math>\operatorname{graph} f := \left\{ (x, y) \in X \times Y ~:~ y = f(x) \right\}.</math>
:<math>\operatorname{graph} f := \left\{ (x, y) \in X \times Y ~:~ y = f(x) \right\}.</math>
 
{{em|'''{{visible anchor|सूक्ति|सूक्ति}}'''}}<nowiki> }} या </nowiki>{{em|'''{{visible anchor|सुपरग्राफ |सुपरग्राफ }}'''}} एक फलन का  <math>f : X \to [-\infty, \infty]</math> विस्तारित संख्या रेखा में मूल्यवान <math>[-\infty, \infty] = \R \cup \{ \pm \infty \}</math> समूह है{{sfn|Rockafellar|Wets|2009|pp=1-37}}
{{em|'''{{visible anchor|epigraph|Epigraph}}'''}} }} या {{em|'''{{visible anchor|supergraph|Supergraph}}'''}} एक समारोह का  <math>f : X \to [-\infty, \infty]</math> विस्तारित वास्तविक संख्या रेखा में मूल्यवान <math>[-\infty, \infty] = \R \cup \{ \pm \infty \}</math> सेट है{{sfn|Rockafellar|Wets|2009|pp=1-37}}
:<math>
:<math>
\begin{alignat}{4}
\begin{alignat}{4}
Line 21: Line 19:
\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|hypograph|Hypograph}}. {{em|'''{{visible anchor|strict epigraph|Strict epigraph}}'''}} }} हटाए गए ग्राफ़ के साथ एपिग्राफ है:


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




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


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


:<math>\,\operatorname{epi} f \,\subseteq\, \operatorname{epi}_S f \,\cup\, \operatorname{graph} f</math>
:<math>\,\operatorname{epi} f \,\subseteq\, \operatorname{epi}_S f \,\cup\, \operatorname{graph} f</math>
जहां सेट समानता रखती है अगर और केवल अगर <math>f</math> वास्तविक मूल्यवान है। हालांकि,
जहां समुच्चय समानता रखती है यदि केवल <math>f</math> वास्तविक मूल्यवान है। चूँकि,


:<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> सदैव रखता है।


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


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


जिस तरह किसी भी फ़ंक्शन को उसके ग्राफ़ से फिर से बनाया जा सकता है, उसी तरह किसी भी विस्तारित वास्तविक-मूल्यवान फ़ंक्शन को भी बनाया जा सकता है <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>
</ul>


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


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


* {{annotated link|Effective domain}}
* {{annotated link|प्रभावी डोमेन}}
* {{annotated link|Hypograph (mathematics)}}
* {{annotated link|हाइपोग्राफ (गणित)}}
* {{annotated link|Proper convex function}}
* {{annotated link|उचित उत्तल फलन}}
 


==उद्धरण==
==उद्धरण==
{{commonscat|Epigraph and hypograph (mathematics)|epigraphs und hypographs}}
{{reflist|refs=
{{reflist|refs=
<ref name="NeittaanmäkiRepin2004">{{cite book|author1=Pekka Neittaanmäki|author2=Sergey R. Repin|title=Reliable Methods for Computer Simulation: Error Control and Posteriori Estimates|url=https://books.google.com/books?id=s5DA9DerIs4C&pg=PA81|year=2004|publisher=Elsevier|isbn=978-0-08-054050-4|page=81}}</ref>
<ref name="NeittaanmäkiRepin2004">{{cite book|author1=Pekka Neittaanmäki|author2=Sergey R. Repin|title=Reliable Methods for Computer Simulation: Error Control and Posteriori Estimates|url=https://books.google.com/books?id=s5DA9DerIs4C&pg=PA81|year=2004|publisher=Elsevier|isbn=978-0-08-054050-4|page=81}}</ref>
Line 83: Line 75:
}}
}}


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


* {{Rockafellar Wets Variational Analysis 2009 Springer}} <!--{{sfn|Rockafellar|Wets|2009|p=}}-->
* {{Rockafellar Wets Variational Analysis 2009 Springer}}
* [[Ralph Tyrell Rockafellar|Rockafellar, Ralph Tyrell]] (1996), ''Convex Analysis'', Princeton University Press, Princeton, NJ. {{ISBN|0-691-01586-4}}.
* [[Ralph Tyrell Rockafellar|Rockafellar, Ralph Tyrell]] (1996), ''Convex Analysis'', Princeton University Press, Princeton, NJ. {{ISBN|0-691-01586-4}}.


{{Convex analysis and variational analysis}}
[[Category:Collapse templates]]
[[Category:Commons category link is locally defined]]
[[Category:Created On 24/11/2022]]
[[Category:Exclude in print]]
[[Category:Interwiki category linking templates]]
[[Category:Interwiki link templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates using TemplateData]]
[[Category:Wikimedia Commons templates]]
[[Category:Wikipedia metatemplates]]
[[Category:उत्तल विश्लेषण]]
[[Category:उत्तल विश्लेषण]]
[[Category:गणितीय विश्लेषण]]
[[Category:गणितीय विश्लेषण]]
[[Category:भिन्नतापरक विश्लेषण]]
[[Category:भिन्नतापरक विश्लेषण]]
[[Category: Machine Translated Page]]
[[Category:Created On 24/11/2022]]

Latest revision as of 12:09, 27 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.

    संदर्भ