View source for एपिग्राफ (गणित)

{{distinguish|text = [[epigraph (literature)]]}}
[[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> ठीक इसके ग्राफ़ के ऊपर है।

महत्वपूर्ण रूप से, चूँकि <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}} इसी तरह वास्तविक विश्लेषण में ग्राफ़ का उपयोग कैसे किया जाता है, एपिग्राफ का उपयोग अधिकांशतः एक उत्तल फ़ंक्शन के गुणों की ज्यामितीय व्याख्या करने के लिए किया जा सकता है, परिकल्पना तैयार करने या सिद्ध करने में सहायता  करने के लिए, या [[प्रति उदाहरण]] के निर्माण में सहायता के लिए है।

== परिभाषा ==

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

:<math>\operatorname{graph} f := \left\{ (x, y) \in X \times Y ~:~ y = f(x) \right\}.</math>

 {{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>
\begin{alignat}{4}
\operatorname{epi} f 
&= \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). }
\end{alignat}
</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|hypograph|Hypograph}}. {{em|'''{{visible anchor|strict epigraph|Strict epigraph}}'''}} }} हटाए गए ग्राफ़ के साथ एपिग्राफ है:

:<math>
\begin{alignat}{4}
\operatorname{epi}_S f 
&= \left\{ (x, r) \in X \times \R ~:~ r > f(x) \right\} \\
&= \operatorname{epi} f \setminus \operatorname{graph} f \\
&= \bigcup_{x \in X} \{ x \} \times (f(x), \infty) ~~~ \text{ (all sets being unioned are pairwise disjoint, some may be empty). }
\end{alignat}
</math>


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

इस तथ्य के बावजूद कि <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}} सदिश स्थल। एपिग्राफ सदिश स्थान का एक उपसमुच्चय होने के कारण वास्तविक विश्लेषण और [[कार्यात्मक विश्लेषण]] (और अन्य क्षेत्रों) से संबंधित उपकरणों को अधिक आसानी से लागू करने की अनुमति देता है।

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

सख्त एपिग्राफ <math>\operatorname{epi}_S f</math> और ग्राफ <math>\operatorname{graph} f</math> हमेशा जुदा होते हैं।

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

:<math>\,\operatorname{epi} f \,\subseteq\, \operatorname{epi}_S f \,\cup\, \operatorname{graph} 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>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>केस 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>

उपरोक्त प्रेक्षणों को मिलाकर एक सूत्र दिया जा सकता है <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>


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

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

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

* {{annotated link|Effective domain}}
* {{annotated link|Hypograph (mathematics)}}
* {{annotated link|Proper convex function}}


==उद्धरण==
{{commonscat|Epigraph and hypograph (mathematics)|epigraphs und hypographs}}
{{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="AliprantisBorder2007">{{cite book|author1=Charalambos D. Aliprantis|author2=Kim C. Border|title=Infinite Dimensional Analysis: A Hitchhiker's Guide|url=https://books.google.com/books?id=4hIq6ExH7NoC&pg=PA8|year=2007|publisher=Springer Science & Business Media|isbn=978-3-540-32696-0|page=8|edition=3rd}}</ref>
}}



==इस पेज में लापता आंतरिक लिंक की सूची==

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

* {{Rockafellar Wets Variational Analysis 2009 Springer}} <!--{{sfn|Rockafellar|Wets|2009|p=}}-->
* [[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:उत्तल विश्लेषण]]
[[Category:गणितीय विश्लेषण]]
[[Category:भिन्नतापरक विश्लेषण]]


[[Category: Machine Translated Page]]
[[Category:Created On 24/11/2022]]