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

From Vigyanwiki
 
(2 intermediate revisions by the same user not shown)
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}} इसी प्रकार वास्तविक विश्लेषण में ग्राफ़ का उपयोग कैसे किया जाता है, एपिग्राफ का उपयोग अधिकांशतः एक उत्तल फलन के गुणों की ज्यामितीय व्याख्या करने के लिए किया जा सकता है, परिकल्पना तैयार करने या सिद्ध करने में सहायता करने के लिए, या प्रति उदाहरण के निर्माण में सहायता के लिए है।


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


एपिग्राफ की परिभाषा एक फ़ंक्शन के ग्राफ़ से प्रेरित थी, जहां {{em|'''{{visible anchor|ग्राफ़|ग्राफ़}}'''}}  के  <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|सूक्ति|सूक्ति}}'''}} }} या {{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}}
:<math>
:<math>
\begin{alignat}{4}
\begin{alignat}{4}
\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{ (संयुक्त किए जा रहे सभी सेट जोड़ीदार असंयुक्त हैं). }
&= \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}
\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 36: Line 33:
== अन्य समूह के साथ संबंध ==
== अन्य समूह के साथ संबंध ==


इस तथ्य के अतिरिक्त कि <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> सदैव भिन्न होते हैं।


एक फ़ंक्शन का एपिग्राफ <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>


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


== यह भी देखें ==
== यह भी देखें ==
Line 71: Line 67:
* {{annotated link|प्रभावी डोमेन}}
* {{annotated link|प्रभावी डोमेन}}
* {{annotated link|हाइपोग्राफ (गणित)}}
* {{annotated link|हाइपोग्राफ (गणित)}}
* {{annotated link|उचित उत्तल कार्य}}
* {{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>
<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>
<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=}}-->
* {{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}}.



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.

    संदर्भ