View source for संवृत ग्राफ प्रमेय

{{Short description|Theorem relating continuity to graphs}}
{{About|बंद ग्राफ प्रमेय में  [[general topology]]|बंद ग्राफ प्रमेय में [[functional analysis]]|बंद ग्राफ प्रमेय (functional analysis)}}
{{multiple image
| footer = अंतराल <math>[-4, 4]</math> पर [[cubic function]] <math>f(x) = x^3 - 9x</math> का ग्राफ़ बंद है क्योंकि फ़ंक्शन [[Continuous function|continuous]] है। <math>[-2, 2]</math> [[Heaviside function]]  का ग्राफ़ बंद नहीं है, क्योंकि फ़ंक्शन निरंतर नहीं है।
| width     = 200
| image1    = cubicpoly.png
| alt1      = A cubic function
| image2    = Dirac distribution CDF.svg
| alt2      = The Heaviside function
}}
गणित में, बंद ग्राफ़ प्रमेय कई आधारस्वरूप परिणामों में से एक को संदर्भित कर सकता है जो उनके ग्राफ़ के संदर्भ में निरंतर कार्यों को दर्शाता है। प्रत्येक स्थिति देता में [[बंद ग्राफ]] वाले कार्य आवश्यक रूप से निरंतर होते हैं।

== बंद रेखांकन वाले रेखांकन और आरेख ==
{{Main|बंद ग्राफ}}

यदि <math>f : X \to Y</math> [[टोपोलॉजिकल स्पेस|टोपोलॉजिकल]] स्थान के बीच एक आरेख है, फिर <math>f</math>  ग्राफ  सेट है <math>\operatorname{Gr} f := \{ (x, f(x)) : x \in X \}</math> या समकक्ष,
<math display=block>\operatorname{Gr} f := \{ (x, y) \in X \times Y : y = f(x) \}</math>
कहा जाता है कि ग्राफ <math>f</math> बंद है यदि <math>\operatorname{Gr} f</math>  <math>X \times Y</math> का एक [[बंद सेट]] है  ([[उत्पाद टोपोलॉजी]] के साथ)।

किसी भी निरंतर कार्य का एक बंद ग्राफ हॉसडॉर्फ अंतरिक्ष स्थान होता है।

कोई रैखिक आरेख, <math>L : X \to Y,</math> दो टोपोलॉजिकल वेक्टर स्थान के बीच जिनकी टोपोलॉजी (कॉची) ट्रांसलेशन इनवेरिएंट मेट्रिक्स के संबंध में पूर्ण हैं, और यदि अतिरिक्त (1a) <math>L</math> उत्पाद टोपोलॉजीके अर्थ में क्रमिक रूप से निरंतर है, फिर आरेख L निरंतर है और इसका ग्राफ, Gr L अनिवार्य रूप से बंद है।। इसके विपरीत यदि <math>L</math> (1a) के स्थान पर एक ऐसा रेखीय आरेख है, जिसका ग्राफ <math>L</math> (1b) है <math>X \times Y</math> कार्टेशियन उत्पाद स्थान में बंद होने के लिए जाना जाता है , तब <math>L</math> निरंतर और आवश्यक रूप से क्रमिक निरंतर है।{{sfn|Rudin|1991|p=51-52}}

=== निरंतर आरेख के उदाहरण जिनमें बंद ग्राफ नहीं है ===

यदि <math>X</math> कोई स्थान है तो पहचान आरेख <math>\operatorname{Id} : X \to X</math> निरंतर है लेकिन इसका ग्राफ <math>\operatorname{Gr} \operatorname{Id} := \{ (x, x) : x \in X \},</math>जो विकर्ण है, <math>X \times X</math> में बंद है यदि और केवल यदि <math>X</math> हॉसडॉर्फ है।{{sfn|Rudin|1991|p=50}} विशेष रूप से, यदि <math>X</math> हौसडॉर्फ नहीं है तब <math>\operatorname{Id} : X \to X</math> निरंतर है लेकिन इसका बंद ग्राफ़ नहीं है।

माना की <math>X</math> वास्तविक संख्याओं <math>\R</math> सामान्य [[यूक्लिडियन टोपोलॉजी]] के साथ को निरूपित करता है और  <math>Y</math> अविवेकपूर्ण टोपोलॉजी के साथ <math>\R</math> को निरूपित करता है   (जहां ध्यान दें कि <math>Y</math> हॉसडॉर्फनहीं है और यह कि Y में मान का प्रत्येक फलन सतत है)। माना की <math>f : X \to Y</math> द्वारा  <math>f(0) = 1</math> और <math>f(x) = 0</math> सभी के लिए <math>x \neq 0</math>. परिभाषित किया जाना चाहिए फिर <math>f : X \to Y</math> निरंतर है लेकिन इसका ग्राफ<math>X \times X</math> में बंद नहीं है  .{{sfn|Narici|Beckenstein|2011|pp=459-483}}

== पॉइंट-सेट टोपोलॉजी में बंद ग्राफ प्रमेय ==

[[बिंदु-सेट टोपोलॉजी]] में, बंद ग्राफ प्रमेय निम्नलिखित बताता है:

{{Math theorem
| name = बंद ग्राफ प्रमेय{{sfn|Munkres|2000|pp=163–172}}
| math_statement = यदि <math>f : X \to Y</math> एक [[topological space]] <math>X</math> से एक  [[Hausdorff space]] <math>Y,</math>  में एक मैप है,तो <math>f</math> ग्राफ बंद हो जाता है यदि   <math>f : X \to Y</math> is [[Continuous function (topology)|continuous]].  इसका विलोम तब सत्य होता है जब <math>Y</math> is [[Compact space|compact]]. (ध्यान दें कि सघनता और हौसडॉर्फनेस एक-दूसरे से संबंधित नहीं हैं।)
}}

{{Math proof|title=Proof|drop=hidden|proof=

पहला भाग अनिवार्य रूप से परिभाषा के अनुसार है।

दूसरा  भाग

किसी भी खुले <math>V\subset Y</math> के लिए, हम परीक्षण करते हैं कि <math>f^{-1}(V)</math> खुला है तो कोई <math>x\in f^{-1}(V)</math> लें, हम <math>x</math> के कुछ खुले निकटता <math>U</math> का निर्माण करते हैं, जैसे कि <math >f(U)\subset V</math> ।

चूँकि <math>f</math> का ग्राफ़ बंद है, प्रत्येक बिंदु <math>(x, y')</math> के लिए "x पर लंबवत रेखा" पर, <math>y'\neq f( x)</math> , <math>f</math> के ग्राफ़ से एक खुला आयत <math>U_{y'}\times V_{y'}</math> अलग करें। ये खुले आयत, जब y-अक्ष पर प्रक्षेपित होते हैं, <math>f(x)</math> को छोड़कर y-अक्ष को कवर करते हैं, इसलिए एक और सेट <math>V</math> जोड़ें।

सरलता से <math>U:= \bigcap_{y'\neq f(x)} U_{y'}</math> लेने का प्रयास <math>x</math> युक्त एक सेट का निर्माण करेगा, लेकिन इसकी आश्वासन नहीं है खुले रहने के लिए, इसलिए हम यहाँ कॉम्पैक्टनेस का उपयोग करते हैं।

चूँकि <math>Y</math> कॉम्पैक्ट है, हम <math>Y</math> का एक परिमित खुला आवरण ले सकते हैं जैसे <math>\{V, V_{y'_1}, ..., V_{y '_n}\}</math>.

अब <math>U:= \bigcap_{i=1}^n U_{y'_i}</math> लें। यह <math>x</math> का एक खुला निकटता है, क्योंकि यह केवल एक परिमित चौराहा है। हम दावा करते हैं कि यह <math>U</math> का खुला निकटता है जो हम चाहते हैं।

मान की नहीं, तो कुछ अनियंत्रित <math>x'\in U</math> ऐसा है कि <math>f(x') \not\in V</math> , तो इसका अर्थ होगा <math>f(x) ')\in V_{y'_i}</math> कुछ <math>i</math> के लिए ओपन कवरिंग द्वारा, लेकिन फिर <math>(x', f(x'))\in U\times V_{ y'_i} \subset U_{y'_i}\times V_{y'_i}</math> , एक विरोधाभास क्योंकि इसे <math>f</math> के ग्राफ़ से अलग होना माना जाता है।
}}अ-हॉउसडॉर्फ स्थान बहुत कम देखे जाते हैं, लेकिन अ-सघन स्थान सामान्य हैं। अ-कॉम्पैक्ट का एक उदाहरण <math>Y</math> वास्तविक रेखा है, जो बंद ग्राफ के साथ असंतुलित कार्य की अनुमति देती है <math>f(x) = \begin{cases}
\frac 1 x \text{ if }x\neq 0,\\
0\text{ else}
\end{cases}</math>.

=== सेट-वैल्यू फ़ंक्शंस के लिए ===

{{Math theorem
| name = सेट-वैल्यूड फ़ंक्शंस के लिए  बंद ग्राफ प्रमेय{{sfn|Munkres|2000|pp=163–172}}
| math_statement = कॉम्पैक्ट रेंज स्पेस Y के लिए , एक सेट-वैल्यू फ़ंक्शन <math>f : X \to 2^Y</math> का एक बंद ग्राफ़ है यदि और केवल यदि यह ऊपरी हेमीकंटिन्यूअस है 𝑓(x) सभी <math>x\in X</math>  के लिए एक बंद सेट है
}}

== कार्यात्मक विश्लेषण में ==
यदि  <math>T : X \to Y</math> [[टोपोलॉजिकल वेक्टर स्पेस|टोपोलॉजिकल वेक्टर स्थान]] (टीवीएस) के बीच एक रैखिक ऑपरेटर है तो हम कहते हैं कि <math>T</math> एक [[बंद रैखिक ऑपरेटर]] है यदि ग्राफ <math>T</math> ,<math>X \times Y</math> में बंद है जब <math>X \times Y</math> उत्पाद टोपोलॉजी से संपन्न है।

बंद ग्राफ़ प्रमेय कार्यात्मक विश्लेषण में एक महत्वपूर्ण परिणाम है जो गारंटी देता है कि कुछ प्रतिबंध के तहत एक बंद रैखिक ऑपरेटर निरंतर है।

मूल परिणाम को कई बार सामान्यीकृत किया गया है। बंद ग्राफ प्रमेयों का एक प्रसिद्ध संस्करण निम्नलिखित है।

{{Math theorem|name=Theorem{{sfn|Schaefer|Wolff|1999|p=78}}<ref>{{harvtxt|Trèves|2006}}, p. 173</ref>|math_statement=
A linear map between two [[F-space]]s (e.g. [[Banach space]]s) is continuous if and only if its graph is closed.
}}

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

* {{annotated link|Almost open linear map}}
* {{annotated link|Barrelled space}}
* {{annotated link|Closed graph}}
* {{annotated link|Closed linear operator}}
* {{annotated link|Discontinuous linear map}}
* {{annotated link|Kakutani fixed-point theorem}}
* {{annotated link|Open mapping theorem (functional analysis)}}
* {{annotated link|Ursescu theorem}}
* {{annotated link|Webbed space}}
* {{annotated link|Zariski's main theorem}}

== टिप्पणियाँ ==

{{reflist|group=note}}
{{reflist|group=proof}}


== संदर्भ ==

{{reflist}}


== ग्रन्थसूची ==

* {{Bourbaki Topological Vector Spaces}} <!-- {{sfn|Bourbaki|1987|p=}} -->
* {{citation|last=Folland|first = Gerald B.|author-link=Gerald Folland|title=Real Analysis: Modern Techniques and Their Applications|edition=1st|publisher=[[John Wiley & Sons]]|year=1984|isbn=978-0-471-80958-6}}
* {{Jarchow Locally Convex Spaces}} <!-- {{sfn|Jarchow|1981|p=}} -->
* {{Köthe Topological Vector Spaces I}} <!-- {{sfn|Köthe|1983|p=}} -->
* {{Munkres Topology|edition=2}} <!-- {{sfn|Munkres|2000|p=}} -->
* {{Narici Beckenstein Topological Vector Spaces|edition=2}} <!-- {{sfn|Narici|Beckenstein|2011|pp=}} -->
* {{Rudin Walter Functional Analysis|edition=2}} <!-- {{sfn|Rudin|1991|p=}} -->
* {{Schaefer Wolff Topological Vector Spaces}}
* {{Trèves François Topological vector spaces, distributions and kernels}} <!-- {{sfn|Trèves|2006|p=}} -->
* {{Wilansky Modern Methods in Topological Vector Spaces}} <!-- {{sfn|Wilansky|2013|p=}} -->
* {{Zălinescu Convex Analysis in General Vector Spaces 2002}} <!-- {{sfn|Zălinescu|2002|pp=}} -->
* {{planetmath reference|urlname=ProofOfClosedGraphTheorem|title=Proof of closed graph theorem }}

{{Functional Analysis}}
{{TopologicalVectorSpaces}}
[[Category: कार्यात्मक विश्लेषण में प्रमेय]] 



[[Category: Machine Translated Page]]
[[Category:Created On 25/05/2023]]