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

गणित में, किसी फंक्शन  $$f : X \to [-\infty, \infty]$$का विस्तारित वास्तविक संख्या रेखा  में मूल्यवान $$[-\infty, \infty] = \R \cup \{ \pm \infty \}$$ समुच्चय है, जिसे $$\operatorname{epi} f,$$निरूपित किया जाता है I कार्टेशियन उत्पाद में सभी बिंदु का $$X \times \R$$ किसी फ़ंक्शन के ग्राफ़ पर या उसके ऊपर स्थित है। सख्त एपिग्राफ $$\operatorname{epi}_S f$$ में बिंदुओं का समूह है $$X \times \R$$ ठीक इसके ग्राफ़ के ऊपर है।

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

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

परिभाषा
एपिग्राफ की परिभाषा एक फ़ंक्शन के ग्राफ़ से प्रेरित थी, जहां  के  $$f : X \to Y$$ समूह के रूप में परिभाषित किया गया है


 * $$\operatorname{graph} f := \left\{ (x, y) \in X \times Y ~:~ y = f(x) \right\}.$$

}} या एक फ़ंक्शन का  $$f : X \to [-\infty, \infty]$$ विस्तारित वास्तविक संख्या रेखा में मूल्यवान $$[-\infty, \infty] = \R \cup \{ \pm \infty \}$$ समूह है

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



\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} $$

अन्य समूह के साथ संबंध
इस तथ्य के अतिरिक्त कि $$f$$ में से एक (या दोनों) ले सकते हैं $$\pm \infty$$ एक मूल्य के रूप में (जिस स्थिति में इसका ग्राफ होगा का उपसमुच्चय हो $$X \times \R$$), का एपिग्राफ $$f$$ फिर भी का एक उप समूह  के रूप में परिभाषित किया गया है $$X \times \R$$ के अतिरिक्त $$X \times [-\infty, \infty].$$ यह जानबूझकर है क्योंकि कब $$X$$ एक सदिश स्थान है तो ऐसा है $$X \times \R$$ लेकिन $$X \times [-\infty, \infty]$$ है  एक वेक्टर स्थान (विस्तारित वास्तविक संख्या रेखा के बाद से $$[-\infty, \infty]$$ सदिश स्थान नहीं है)। अधिक सामान्यतः, यदि $$X$$ तब कुछ सदिश समष्टि का केवल एक अरिक्त उपसमुच्चय होता है $$X \times [-\infty, \infty]$$ कभी भी नहीं है  का  सदिश स्थल। एपिग्राफ सदिश स्थान का एक उपसमुच्चय होने के कारण वास्तविक विश्लेषण और कार्यात्मक विश्लेषणसे संबंधित उपकरणों को अधिक आसानी से लागू करने की अनुमति देता है।

फ़ंक्शन का डोमेन (कोडोमेन के अतिरिक्त) इस परिभाषा के लिए विशेष रूप से महत्वपूर्ण नहीं है; यह कोई रैखिक स्थान हो सकता है या एक मनमाना समूह के अतिरिक्त $$\R^n$$.

सख्त एपिग्राफ $$\operatorname{epi}_S f$$ और ग्राफ $$\operatorname{graph} f$$ सदैव भिन्न होते हैं।

एक फ़ंक्शन का एपिग्राफ $$f : X \to [-\infty, \infty]$$ इसके ग्राफ और सख्त एपिग्राफ से संबंधित है


 * $$\,\operatorname{epi} f \,\subseteq\, \operatorname{epi}_S f \,\cup\, \operatorname{graph} f$$

जहां सेट समानता रखती है अगर और केवल अगर $$f$$ वास्तविक मूल्यवान है। चूँकि,


 * $$\operatorname{epi} f = \left[ \operatorname{epi}_S f \,\cup\, \operatorname{graph} f\right] \,\cap\, \left[ X \times \R \right]$$ हमेशा रखता है।

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

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

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

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

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

कार्यों के गुणों और उनके अभिलेखों के बीच संबंध
एक फलन उत्तल फलन होता है यदि इसका पुरालेख उत्तल समुच्चय है। एक वास्तविक संबंध फ़ंक्शन  का एपिग्राफ $$g : \R^n \to \R$$ में एक आधा स्थान है $$\R^{n+1}.$$ एक फ़ंक्शन अर्ध-निरंतरता है और केवल  इसका एपिग्राफ बंद सेट है।

संदर्भ

 * Rockafellar, Ralph Tyrell (1996), Convex Analysis, Princeton University Press, Princeton, NJ. ISBN 0-691-01586-4.
 * Rockafellar, Ralph Tyrell (1996), Convex Analysis, Princeton University Press, Princeton, NJ. ISBN 0-691-01586-4.