एपिग्राफ (गणित): Difference between revisions
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> समुच्चय | [[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>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}} इसी तरह वास्तविक विश्लेषण में ग्राफ़ का उपयोग कैसे किया जाता है, एपिग्राफ का उपयोग अधिकांशतः एक उत्तल फ़ंक्शन के गुणों की ज्यामितीय व्याख्या करने के लिए किया जा सकता है, परिकल्पना तैयार करने या सिद्ध करने में सहायता करने के लिए, या [[प्रति उदाहरण]] के निर्माण में सहायता के लिए है। | ||
== परिभाषा == | == परिभाषा == | ||
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{ ( | &= \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 \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|सख्त एपिग्राफ|सख्त एपिग्राफ}}'''}} }} हटाए गए ग्राफ़ के साथ एपिग्राफ है: | ||
:<math> | :<math> | ||
Line 34: | Line 34: | ||
== अन्य | == अन्य समूह के साथ संबंध == | ||
इस तथ्य के | इस तथ्य के अतिरिक्त कि <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="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> | <li>विषय 1: <math>E \cap \left( \{ x \} \times \R \right) = \varnothing</math> अगर और केवल अगर <math>f(x) = \infty,</math> | ||
<li> | <li>विषय 2: <math>E \cap \left( \{ x \} \times \R \right) = \{ x \} \times \R</math> अगर और केवल अगर <math>f(x) = -\infty,</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>\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> एक फ़ंक्शन अर्ध-निरंतरता है और केवल इसका एपिग्राफ [[बंद सेट]] है। | ||
== यह भी देखें == | == यह भी देखें == | ||
Line 82: | Line 82: | ||
==संदर्भ== | ==संदर्भ== | ||
Revision as of 23:37, 2 December 2022
गणित में, किसी फंक्शन का विस्तारित वास्तविक संख्या रेखा [1] में मूल्यवान समुच्चय है, जिसे निरूपित किया जाता है I कार्टेशियन उत्पाद में सभी बिंदु का किसी फ़ंक्शन के ग्राफ़ पर या उसके ऊपर स्थित है।[2] सख्त एपिग्राफ में बिंदुओं का समूह है ठीक इसके ग्राफ़ के ऊपर है।
महत्वपूर्ण रूप से, चूँकि ग्राफ और एपिग्राफ दोनों में बिंदु सम्मलित हैं एपिग्राफ में उपसमुच्चय में पूरी तरह से बिंदु होते हैं, जो यदि फ़ंक्शन को एक मान के रूप में लेता है तो पूरी तरह से मूल्य के रूप में नहीं इसके एपिग्राफ का एक उपसमुच्चय हो उदाहरण के लिए, यदि फिर बिंदु का होगा लेकिन नहीं ये दो समूह फिर भी निकटता से संबंधित हैं क्योंकि ग्राफ को सदैव एपिग्राफ से पुनर्निर्मित किया जा सकता है, और इसके विपरीत।
वास्तविक विश्लेषण में निरंतर कार्य वास्तविक-मूल्यवान कार्यों का अध्ययन परंपरागत रूप से एक फ़ंक्शन के उनके ग्राफ़ के अध्ययन से जुड़ा हुआ है, जो समूह हैं जो इन कार्यों के बारे में ज्यामितीय जानकारी प्रदान करते हैं।[2] एपिग्राफ उत्तल विश्लेषण और परिवर्तनशील विश्लेषण के क्षेत्रों में इसी उद्देश्य की पूर्ति करते हैं, जिसमें प्राथमिक फोकस उत्तल कार्यों पर होता है , सदिश स्थान (जैसे या ) में मान वाले निरंतर कार्यों के अतिरिक्त है.[2] ऐसा इसलिए है क्योंकि सामान्य तौर पर, ऐसे कार्यों के लिए, ज्यामितीय अंतर्ज्ञान किसी फ़ंक्शन के एपिग्राफ से उसके ग्राफ की तुलना में अधिक आसानी से प्राप्त होता है।[2] इसी तरह वास्तविक विश्लेषण में ग्राफ़ का उपयोग कैसे किया जाता है, एपिग्राफ का उपयोग अधिकांशतः एक उत्तल फ़ंक्शन के गुणों की ज्यामितीय व्याख्या करने के लिए किया जा सकता है, परिकल्पना तैयार करने या सिद्ध करने में सहायता करने के लिए, या प्रति उदाहरण के निर्माण में सहायता के लिए है।
परिभाषा
एपिग्राफ की परिभाषा एक फ़ंक्शन के ग्राफ़ से प्रेरित थी, जहां ग्राफ़ के समूह के रूप में परिभाषित किया गया है
सूक्ति }} या सुपरग्राफ एक फ़ंक्शन का विस्तारित वास्तविक संख्या रेखा में मूल्यवान समूह है[2]
संघ में खत्म जो अंतिम पंक्ति, समूह के दाहिने हाथ की ओर ऊपर दिखाई देता है से मिलकर एक खड़ी किरण होने के रूप में व्याख्या की जा सकती है और सभी बिंदुओं में इसके ठीक ऊपर। इसी प्रकार, किसी फ़ंक्शन के ग्राफ़ पर या उसके नीचे बिंदुओं का समूह उसका हाइपोग्राफ़ है हाइपोग्राफ. सख्त एपिग्राफ }} हटाए गए ग्राफ़ के साथ एपिग्राफ है:
अन्य समूह के साथ संबंध
इस तथ्य के अतिरिक्त कि में से एक (या दोनों) ले सकते हैं एक मूल्य के रूप में (जिस स्थिति में इसका ग्राफ होगा नहीं का उपसमुच्चय हो ), का एपिग्राफ फिर भी का एक उप समूह के रूप में परिभाषित किया गया है के अतिरिक्त यह जानबूझकर है क्योंकि कब एक सदिश स्थान है तो ऐसा है लेकिन है कभी नहीँ एक वेक्टर स्थान[2] (विस्तारित वास्तविक संख्या रेखा के बाद से सदिश स्थान नहीं है)। अधिक सामान्यतः, यदि तब कुछ सदिश समष्टि का केवल एक अरिक्त उपसमुच्चय होता है कभी भी नहीं है उप समूह का कोई सदिश स्थल। एपिग्राफ सदिश स्थान का एक उपसमुच्चय होने के कारण वास्तविक विश्लेषण और कार्यात्मक विश्लेषणसे संबंधित उपकरणों को अधिक आसानी से लागू करने की अनुमति देता है।
फ़ंक्शन का डोमेन (कोडोमेन के अतिरिक्त) इस परिभाषा के लिए विशेष रूप से महत्वपूर्ण नहीं है; यह कोई रैखिक स्थान हो सकता है[1]या एक मनमाना समूह के अतिरिक्त .[3]
सख्त एपिग्राफ और ग्राफ सदैव भिन्न होते हैं।
एक फ़ंक्शन का एपिग्राफ इसके ग्राफ और सख्त एपिग्राफ से संबंधित है
जहां सेट समानता रखती है अगर और केवल अगर वास्तविक मूल्यवान है। चूँकि,
- हमेशा रखता है।
== एपिग्राफ == से कार्यों का पुनर्निर्माण
एपिग्राफ खाली सेट है अगर केवल फ़ंक्शन समान रूप से अनंत के बराबर है।
जिस तरह किसी भी फ़ंक्शन को उसके ग्राफ़ से फिर से बनाया जा सकता है, उसी तरह किसी भी विस्तारित वास्तविक-मूल्यवान फ़ंक्शन को भी बनाया जा सकता है पर इसके एपिग्राफ से पुनर्निर्माण किया जा सकता है (यहां तक कि जब लेता है मान के रूप में)। दिया गया मूल्य से बनाया जा सकता है का खड़ी रेखा के साथ के माध्यम से गुजरते हुए निम्नलिखित नुसार:
उपरोक्त प्रेक्षणों को मिलाकर एक सूत्र दिया जा सकता है के अनुसार विशेष रूप से, किसी के लिए : जहां परिभाषा के अनुसार, इसी सूत्रों का उपयोग पुनर्निर्माण के लिए भी किया जा सकता है इसके सख्त एपिग्राफ से
कार्यों के गुणों और उनके अभिलेखों के बीच संबंध
एक फलन उत्तल फलन होता है यदि इसका पुरालेख उत्तल समुच्चय है। एक वास्तविक संबंध फ़ंक्शन का एपिग्राफ में एक आधा स्थान है एक फ़ंक्शन अर्ध-निरंतरता है और केवल इसका एपिग्राफ बंद सेट है।
यह भी देखें
उद्धरण
- ↑ 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.0 2.1 2.2 2.3 2.4 2.5 Rockafellar & Wets 2009, pp. 1–37.
- ↑ 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.
संदर्भ
- Rockafellar, R. Tyrrell; Wets, Roger J.-B. (26 June 2009). Variational Analysis. Grundlehren der mathematischen Wissenschaften. Vol. 317. Berlin New York: Springer Science & Business Media. ISBN 9783642024313. OCLC 883392544.
- Rockafellar, Ralph Tyrell (1996), Convex Analysis, Princeton University Press, Princeton, NJ. ISBN 0-691-01586-4.