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

Revision as of 15:29, 12 October 2023

फलन का एपिग्राफ

फलन (काले रंग में) उत्तल होता है यदि और केवल यदि उसके ग्राफ़ के ऊपर का क्षेत्र (हरे रंग में) एक उत्तल समूह है। यह क्षेत्र फलन का एपिग्राफ है।

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

महत्वपूर्ण रूप से, चूँकि $f$ ग्राफ और एपिग्राफ दोनों में $X\times [-\infty ,\infty ],$ बिंदु सम्मलित हैं एपिग्राफ में उप-समुच्चय $X\times \mathbb {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$ ये दो समूह फिर भी निकटता से संबंधित हैं क्योंकि ग्राफ को सदैव एपिग्राफ से पुनर्निर्मित किया जा सकता है, और इसके विपरीत भी किया जा सकता है।

वास्तविक विश्लेषण में निरंतर कार्य वास्तविक-मूल्यवान कार्यों का अध्ययन परंपरागत रूप से फलन के उनके ग्राफ़ के अध्ययन से जुड़ा हुआ है, जो समूह हैं जो इन कार्यों के बारे में ज्यामितीय जानकारी प्रदान करते हैं।^[2] एपिग्राफ उत्तल विश्लेषण और परिवर्तनशील विश्लेषण के क्षेत्रों में इसी उद्देश्य की पूर्ति करते हैं, जिसमें प्राथमिक ध्यान केंद्रित $[-\infty ,\infty ]$ उत्तल कार्यों पर होता है, सदिश स्थान (जैसे $\mathbb {R}$ या $\mathbb {R} ^{2}$ ) में मान वाले निरंतर कार्यों के अतिरिक्त है,^[2] ऐसा इसलिए है क्योंकि सामान्यतः, ऐसे कार्यों के लिए, ज्यामितीय अंतर्ज्ञान किसी फलन के एपिग्राफ से उसके ग्राफ की तुलना में अधिक सरलता से प्राप्त होता है।^[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 ]=\mathbb {R} \cup \{\pm \infty \}$  समूह है^[2]

{\begin{alignedat}{4}\operatorname {epi} f&=\left\{(x,r)\in X\times \mathbb {R} ~:~r\geq f(x)\right\}\\&=\left[f^{-1}(-\infty )\times \mathbb {R} \right]\cup \bigcup _{x\in f^{-1}(\mathbb {R} )}\{x\}\times [f(x),\infty )~~~{\text{ (all sets being unioned are pairwise disjoint). }}\end{alignedat}}

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

{\begin{alignedat}{4}\operatorname {epi} _{S}f&=\left\{(x,r)\in X\times \mathbb {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{alignedat}}

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

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

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

कठोर एपिग्राफ $\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 \mathbb {R} \right]

सदैव रखता है।

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

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

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

विषय 1:

E\cap \left(\{x\}\times \mathbb {R} \right)=\varnothing

यदि केवल अगर

f(x)=\infty ,

विषय 2:

E\cap \left(\{x\}\times \mathbb {R} \right)=\{x\}\times \mathbb {R}

यदि केवल अगर

f(x)=-\infty ,

विषय 3: अन्यथा,

E\cap \left(\{x\}\times \mathbb {R} \right)

रूप का अनिवार्य रूप से है

\{x\}\times [f(x),\infty ),

जिससे का मूल्य

f(x)

अंतराल का न्यूनतम लेकर प्राप्त किया जा सकता है।

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

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

फलन उत्तल फलन होता है यदि इसका पुरालेख उत्तल समुच्चय है। वास्तविक संबंध फलन का एपिग्राफ $g:\mathbb {R} ^{n}\to \mathbb {R}$ में आधा स्थान $\mathbb {R} ^{n+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.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.

[NeittaanmäkiRepin2004-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.

[FOOTNOTERockafellarWets20091–37-2] 2.0 ^2.1 ^2.2 ^2.3 ^2.4 ^2.5 Rockafellar & Wets 2009, pp. 1–37.

[AliprantisBorder2007-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.

[1]

[2]

[3]

@@ 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>
-  {{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}}
+  {{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>
 \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{ (संयुक्त किए जा रहे सभी सेट जोड़ीदार असंयुक्त हैं). }
+&= \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> इसके ठीक ऊपर।
+संघ में खत्म <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>
@@ Line 36: / Line 35: @@
 == अन्य समूह के साथ संबंध ==
-इस तथ्य के अतिरिक्त कि <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>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>
-उपरोक्त प्रेक्षणों को मिलाकर एक सूत्र दिया जा सकता है <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> एक फ़ंक्शन अर्ध-निरंतरता है और केवल  इसका एपिग्राफ [[बंद सेट]] है।
+फलन उत्तल फलन होता है  यदि इसका पुरालेख उत्तल समुच्चय है। वास्तविक [[affine समारोह|संबंध फलन]] का एपिग्राफ  <math>g : \R^n \to \R</math> में [[आधा स्थान (ज्यामिति)|आधा स्थान]] <math>\R^{n+1}</math>है, फलन अर्ध-निरंतरता है और केवल इसका एपिग्राफ [[बंद सेट|बंद समुच्चय]] है।
 == यह भी देखें ==
@@ Line 84: / Line 82: @@
 ==संदर्भ==
-* {{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}}.
+{{Convex analysis and variational analysis}}
 [[Category:Collapse templates]]

v t e Convex analysis and variational analysis
Basic concepts	Convex combination Convex function Convex set
Topics (list)	Choquet theory Convex geometry Convex metric space Convex optimization Duality Lagrange multiplier Legendre transformation Locally convex topological vector space Simplex
Maps	Convex conjugate Concave (Closed K- Logarithmically Proper Pseudo- Quasi-) Convex function Invex function Legendre transformation Semi-continuity Subderivative
Main results (list)	Carathéodory's theorem Ekeland's variational principle Fenchel–Moreau theorem Fenchel-Young inequality Jensen's inequality Hermite–Hadamard inequality Krein–Milman theorem Mazur's lemma Shapley–Folkman lemma Robinson-Ursescu Simons Ursescu
Sets	Convex hull (Pseudo-) Convex set Effective domain Epigraph Hypograph John ellipsoid Lens Radial set/Algebraic interior Zonotope
Series	Convex series related ((cs, lcs)-closed, (cs, bcs)-complete, (lower) ideally convex, (Hx), and (Hwx))
Duality	Dual system Duality gap Strong duality Weak duality

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 15:29, 12 October 2023

Contents

परिभाषा

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

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

यह भी देखें

उद्धरण

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Revision as of 15:29, 12 October 2023

परिभाषा

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

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

यह भी देखें

उद्धरण

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories