View source for सेमिनॉर्म





गणित में, विशेष रूप से [[कार्यात्मक विश्लेषण]] में, एक सेमिनोर्म एक मानक (गणित) है जिसे सकारात्मक निश्चित होने की आवश्यकता नहीं है। सेमिमानक [[उत्तल सेट|उत्तल  समुच्चय]]  के साथ घनिष्ठ रूप से जुड़े हुए हैं: प्रत्येक सेमिमानक कुछ अवशोषित  समुच्चय  का मिंकोव्स्की कार्यात्मक है [[बिल्कुल उत्तल सेट|बिल्कुल उत्तल  समुच्चय]]  और, इसके विपरीत, ऐसे किसी भी समुच्चय का मिंकोव्स्की कार्यात्मक एक सेमिमानक है।

एक [[Index.php?title=Index.php?title=संस्थानिक सदिश समष्टि|संस्थानिक सदिश समष्टि]] स्थानीय रूप से उत्तल होता है यदि इसकी सांस्थिति सेमिनोर्म्स के एक परिवार द्वारा प्रेरित होती है।

== परिभाषा ==

होने देना <math>X</math> या तो [[वास्तविक संख्या]] पर एक सदिश समष्टि हो <math>\R</math> या [[जटिल संख्या]] संख्या <math>\Complex.</math> एक वास्तविक मूल्यवान कार्य <math>p : X \to \R</math> ए कहा जाता है  {{em|सेमिनोर्म्स}}  यदि यह निम्नलिखित दो शर्तों को पूरा करता है:

# [[उप-योगात्मक कार्य]] / त्रिभुज असमानता: <math>p(x + y) \leq p(x) + p(y)</math> सभी के लिए <math>x, y \in X.</math>
# [[सजातीय कार्य]]: <math>p(s x) =|s|p(x)</math> सभी के लिए <math>x \in X</math> और सभी अदिश <math>s.</math>
ये दो शर्तें इसका तात्पर्य हैं कि <math>p(0) = 0</math><ref group="proof">If <math>z \in X</math> denotes the zero vector in <math>X</math> while <math>0</math> denote the zero scalar, then absolute homogeneity implies that <math>p(z) = p(0 z) = |0|p(z) = 0 p(z) = 0.</math> <math>\blacksquare</math></ref> और वह प्रत्येक सेमिमानक <math>p</math> निम्नलिखित संपत्ति भी है:<ref group="proof">Suppose <math>p : X \to \R</math> is a seminorm and let <math>x \in X.</math> Then absolute homogeneity implies <math>p(-x) = p((-1) x) =|-1|p(x) = p(x).</math> The triangle inequality now implies <math>p(0) = p(x + (- x)) \leq p(x) + p(-x) = p(x) + p(x) = 2 p(x).</math> Because <math>x</math> was an arbitrary vector in <math>X,</math> it follows that <math>p(0) \leq 2 p(0),</math> which implies that <math>0 \leq p(0)</math> (by subtracting <math>p(0)</math> from both sides). Thus <math>0 \leq p(0) \leq 2 p(x)</math> which implies <math>0 \leq p(x)</math> (by multiplying thru by <math>1/2</math>).</ref>

नकारात्मक: <math>p(x) \geq 0</math> सभी के लिए <math>x \in X.</math> कुछ लेखकों में सेमिनोर्म (और कभी-कभी मानदंड) की परिभाषा के भाग के रूप में गैर-नकारात्मकता सम्मिलित है, यद्यपि यह आवश्यक नहीं है क्योंकि यह अन्य दो गुणों से अनुसरण करता है।

परिभाषा के अनुसार, एक मानक (गणित) पर <math>X</math> एक सेमिनोर्म है जो बिंदुओं को भी भिन्न करता है, जिसका तात्पर्य है कि इसमें निम्नलिखित अतिरिक्त गुण हैं:

सकारात्मक निश्चित / {{visible anchor|बिंदु भिन्न करना  }}: सभी के लिए <math>x \in X,</math> यदि <math>p(x) = 0</math> फिर <math>x = 0.</math>  {{em|{{visible anchor|सेमिनोर्म्ड स्पेस }}}} जोड़ी है <math>(X, p)</math> एक सदिश स्थान से मिलकर <math>X</math> और एक सेमिमानक <math>p</math> पर <math>X.</math> यदि सेमिमानक <math>p</math> यह भी एक मानक है तो सेमिमानक स्पेस <math>(X, p)</math> {{em|[[नोर्म्ड स्पेस ]]}} ए कहा जाता है , चूँकि निरपेक्ष एकरूपता का तात्पर्य सकारात्मक एकरूपता से है, प्रत्येक सेमिनोर्म एक प्रकार का कार्य है जिसे एक [[Index.php?title=उपरैखिक फलन|उपरैखिक फलन]] कहा जाता है। एक मानचित्र  <math>p : X \to \R</math>  कहा जाता है {{em|[[उपरैखिक फलन ]]}} यदि यह उप-योगात्मक और [[सकारात्मक सजातीय]] है। एक सेमिमानक के विपरीत, एक उपरैखिक फलन अनिवार्य रूप से गैर-नकारात्मक नहीं है। हाहन-बनाक प्रमेय के संदर्भ में उपरैखिक कार्यों का प्रायः सामना किया जाता है। एक वास्तविक मूल्यवान कार्य <math>p : X \to \R</math> एक सेमिनोर्म है यदि और केवल यदि यह एक उपरैखिक फलन और संतुलित फलन है।
<li>
== उदाहरण ==

यहाँ पर <math>X,</math> जो निरंतर को संदर्भित करता है <math>0</math> मानचित्र पर <math>X,</math> [[Index.php?title=असतत सांस्थिति|असतत सांस्थिति]] को प्रेरित करता है <math>X.</math> यदि  <math>f</math> सदिश समष्टि पर कोई [[रैखिक रूप]] है तो उसका निरपेक्ष मान <math>|f|,</math> द्वारा परिभाषित <math>x \mapsto |f(x)|,</math> एक सेमिमानक है। एक  उपरैखिक फलन <math>f : X \to \R</math> एक वास्तविक सदिश स्थान पर <math>X</math> एक सेमिनोर्म है यदि और केवल यदि यह एक है {{em|सममित फलन }}, जिसका अर्थ है कि <math>f(-x) = f(x)</math> सभी के लिए <math>x \in X.</math> प्रत्येक वास्तविक-मूल्यवान उपरैखिक फलन <math>f : X \to \R</math> एक वास्तविक सदिश स्थान पर <math>X</math> सेमिनोर्म उत्पन्न करता है <math>p : X \to \R</math> द्वारा परिभाषित <math>p(x) := \max \{f(x), f(-x)\}.</math>{{sfn|Narici|Beckenstein|2011|pp=120–121}} सेमिमानक का कोई भी परिमित योग सेमिमानक होता है। एक सदिश उप-क्षेत्र के लिए एक सेमिमानक (क्रमशः,मानदंड) का प्रतिबंध एक बार फिर से एक सेमिमानक (क्रमशः, मानदंड) है। यदि  <math>p : X \to \R</math> तथा <math>q : Y \to \R</math> सेमिमानक (क्रमशः, मानदंड) हैं <math>X</math> तथा <math>Y</math> फिर मानचित्र  <math>r : X \times Y \to \R</math> द्वारा परिभाषित <math>r(x, y) = p(x) + q(y)</math> एक सेमिमानक (क्रमशः, एक आदर्श) है <math>X \times Y.</math> विशेष रूप से, मानचित्र पर <math>X \times Y</math> द्वारा परिभाषित <math>(x, y) \mapsto p(x)</math> तथा <math>(x, y) \mapsto q(y)</math> दोनों सेमिनोर्म पर हैं <math>X \times Y.</math>यदि  <math>p</math> तथा <math>q</math> सेमिनोर्म चल रहे हैं <math>X</math> तो हैं{{sfn|Narici|Beckenstein|2011|pp=116–128}} <math display="block">(p \vee q)(x) = \max \{p(x), q(x)\} \quad \text{ and } \quad (p \wedge q)(x) := \inf \{p(y) + q(z) : x = y + z \text{ with } y, z \in X\}</math>


जहाँ पे <math>p \wedge q \leq p</math> तथा <math>p \wedge q \leq q.</math>{{sfn|Wilansky|2013|pp=15-21}} सेमिमानक का स्थान <math>X</math> उपरोक्त कार्यों के संबंध में सामान्यतः एक [[वितरण जाली]] नहीं है। उदाहरण के लिए, खत्म <math>\R^2</math>, <math>p(x, y) := \max(|x|, |y|), q(x, y) := 2|x|, r(x, y) := 2|y| </math> ऐसे हैं<math display="block">((p \vee q) \wedge (p \vee r)) (x, y) = \inf \{\max(2|x_1|, |y_1|) + \max(|x_2|, 2|y_2|) : x = x_1 + x_2 \text{ and } y = y_1 + y_2\} \quad \text{ while } \quad (p \vee q \wedge r) (x, y) := \max(|x|, |y|)</math>यदि  <math>L : X \to Y</math> एक रेखीय मानचित्र है और <math>q : Y \to \R</math> पर एक सेमिनोर्म है <math>Y,</math> फिर <math>q \circ L : X \to \R</math> पर एक सेमिनोर्म है <math>X.</math> सेमिमानक <math>q \circ L</math> पर एक मानदंड होगा <math>X</math>  यदि और केवल यदि  <math>L</math> अन्तःक्षेपण और प्रतिबंध है <math>q\big\vert_{L(X)}</math> पर एक मानक है </ul><math>L(X).</math>्श
<li>'''मिन्कोव्स्की कार्यात्मकता और अर्धमान्य'''{{Main|मिन्कोव्स्की कार्यात्मक}}

एक सदिश स्थान पर सेमीनॉर्म्स <math>X</math> मिंकोवस्की प्रकार्यात्मक के माध्यम से, के उपसमुच्चयों से घनिष्ठ रूप से बंधे हुए हैं <math>X</math> जो उत्तल समुच्चय , [[संतुलित सेट|संतुलित  समुच्चय]] और अवशोषक समुच्चय  हैं। ऐसा उपसमुच्चय दिया है <math>D</math> का <math>X,</math> मिन्कोवस्की की कार्यात्मकता <math>D</math> एक सेमिनोर्म है। और इसके विपरीत, एक सेमीनॉर्म दिया <math>p</math> पर <math>X,</math>  समुच्चय <math>\{x \in X : p(x) < 1\}</math> तथा <math>\{x \in X : p(x) \leq 1\}</math> उत्तल, संतुलित और अवशोषित हैं और इसके अतिरिक्त, इन दो समुच्चय (साथ ही उनके बीच में पड़े किसी भी समुच्चय ) का मिंकोव्स्की कार्यात्मक है <math>p.</math>{{sfn|Schaefer|Wolff|1999|p=40}}
== बीजगणितीय गुण ==

प्रत्येक सेमिमानक एक उपरैखिक फलन है, और इस प्रकार सभी उपरैखिक फलन के गुण को संतुष्ट करता है, जिसमें निम्न सम्मिलित हैं:
* उत्तल कार्य
* [[Index.php?title=उत्क्रम त्रिकोण असमानता|उत्क्रम त्रिकोण असमानता]] <math>|p(x) - p(y)| \leq p(x - y)</math>{{sfn|Narici|Beckenstein|2011|pp=120-121}}{{sfn|Narici|Beckenstein|2011|pp=177-220}}
* किसी के लिए <math>r > 0</math>, <math>x + \{y \in X : p(y) < r\} = \{y \in X : p(x - y) < r\}</math>{{sfn|Narici|Beckenstein|2011|pp=116−128}}
* किसी के लिए <math>r > 0</math>, <math>\{x \in X : p(x) < r\}</math> एक अवशोषित समुच्चय पूर्णतः उत्तल समुच्चय है <math>X</math>{{sfn|Narici|Beckenstein|2011|pp=116–128}}
* <math>p(0) = 0</math>
* <math>0 \leq \max \{p(x), p(-x)\}</math> तथा <math>p(x) - p(y) \leq p(x - y)</math>{{sfn|Narici|Beckenstein|2011|pp=120-121}}{{sfn|Narici|Beckenstein|2011|pp=177-220}}
* यदि <math>p</math> वास्तविक सदिश समष्टि पर एक उपरैखिक फलन है <math>X</math> तो वहाँ एक रैखिक कार्यात्मक उपलब्ध है <math>f</math> पर <math>X</math> ऐसा है कि <math>f \leq p</math>{{sfn|Narici|Beckenstein|2011|pp=177-220}}
* यदि <math>X</math> एक वास्तविक सदिश स्थान है, <math>f</math> पर एक रैखिक कार्यात्मक है <math>X,</math> तथा <math>p</math> पर एक उपरैखिक फलन है <math>X,</math> फिर <math>f \leq p</math> पर <math>X</math>  यदि और केवल  यदि  <math>f^{-1}(1) \cap \{x \in X : p(x) < 1 = \varnothing\}</math>{{sfn|Narici|Beckenstein|2011|pp=177-220}}
'''सेमिनोर्म्स के अन्य गुण'''

प्रत्येक सेमिनार एक संतुलित कार्य है।

यदि <math>p : X \to [0, \infty)</math> पर एक सेमीनॉर्म है <math>X</math> फिर:

<math>p</math> पर एक आदर्श है <math>X</math> यदि और केवल यदि <math>\{x \in X : p(x) < 1\}</math> एक गैर-तुच्छ सदिश उप-स्थान सम्मिलित नहीं है।
<math>p^{-1}(0)</math> की सदिश उपसमष्टि है <math>X.</math> किसी के लिए <math>r > 0,</math>{{sfn|Narici|Beckenstein|2011|pp=116–128}} <math display="block">r \{x \in X : p(x) < 1\} = \{x \in X : p(x) < r\} = \left\{x \in X : \frac{1}{r} p(x) < 1 \right\}.</math>यदि  <math>D</math> एक समुच्चय संतोषजनक है <math>\{x \in X : p(x) < 1\} \subseteq D \subseteq \{x \in X : p(x) \leq 1\}</math> फिर <math>D</math> अवशोषित कर रहा है <math>X</math> तथा <math>p = p_D</math> कहाँ पे  <math>p_D</math> से जुड़े मिन्कोव्स्की कार्यात्मक को दर्शाता है <math>D</math> (अर्थात, का गेज <math>D</math>).{{sfn|Schaefer|Wolff|1999|p=40}} विशेष रूप से, यदि <math>D</math> ऊपर के रूप में है और <math>q</math> क्या कोई सेमिनार सक्रिय है <math>X,</math> फिर <math>q = p</math>  यदि और केवल यदि <math>\{x \in X : q(x) < 1\} \subseteq D \subseteq \{x \in X : q(x) \leq\}.</math>{{sfn|Schaefer|Wolff|1999|p=40}} यदि <math>(X, \|\,\cdot\,\|)</math> एक आदर्श स्थान है और <math>x, y \in X</math> फिर <math>\|x - y\| = \|x - z\| + \|z - y\|</math> सभी के लिए <math>z \in [x, y].</math>{{sfn|Narici|Beckenstein|2011|pp=107-113}} प्रत्येक मानदंड एक उत्तल कार्य है और इसके परिणामस्वरूप, मानक-आधारित उद्देश्य फलन का वैश्विक अधिकतम ढूँढ़ना कभी-कभी सुविधाजनक होता है।

==== अन्य मानक जैसी अवधारणाओं से संबंध ====
</ul>

होने देना <math>p : X \to \R</math> एक गैर-नकारात्मक कार्य हो। निम्नलिखित समतुल्य हैं: <math>p</math> एक सेमिमानक है। <math>p</math> उत्तल फलन F-सेमिमानक है<math>F</math>-सेमिनोर्म। <math>p</math> एक उत्तल संतुलित मेट्रिज़ेबल संस्थानिक सदिश समष्टि है | जी-सेमिमानक।{{sfn|Schechter|1996|p=691}}

यदि उपरोक्त शर्तों में से कोई भी संबद्ध होता है, तो निम्नलिखित समतुल्य हैं:  <math>p</math> एक आदर्श है;
<math>\{x \in X : p(x) < 1\}</math> एक गैर-तुच्छ सदिश उप-स्थान सम्मिलित नहीं है।{{sfn|Narici|Beckenstein|2011|p=149}}

<li>पर एक [[Index.php?title=Index.php?title=मानक सदिश समष्टि|मानक सदिश समष्टि]] उपलब्ध है <math>X,</math> जिसके संबंध में, <math>\{x \in X : p(x) < 1\}</math> घिरा हुआ है।</li>
यदि <math>p</math> वास्तविक सदिश समष्टि पर एक उपरैखिक फलन है <math>X</math> उसके बाद निम्न बराबर हैं:{{sfn|Narici|Beckenstein|2011|pp=177-220}}  <math>p</math> एक [[रैखिक कार्यात्मक]] है;
<math>p(x) + p(-x) \leq 0 \text{ for every } x \in X</math>;<math>p(x) + p(-x) = 0 \text{ for every } x \in X</math>;

=== सेमीमानक्स से जुड़ी असमानताएँ ===

यदि <math>p, q : X \to [0, \infty)</math> सेमीनार चल रहे हैं <math>X</math> फिर  <math>p \leq q</math>  यदि और केवल यदि  <math>q(x) \leq 1</math> तात्पर्य <math>p(x) \leq 1.</math>{{sfn|Narici|Beckenstein|2011|pp=149–153}} यदि  <math>a > 0</math> तथा <math>b > 0</math> ऐसे हैं <math>p(x) < a</math> तात्पर्य <math>q(x) \leq b,</math> फिर <math>a q(x) \leq b p(x)</math> सभी के लिए <math>x \in X.</math> {{sfn|Wilansky|2013|pp=18-21}} मान लीजिए कि  <math>a</math> तथा <math>b</math> सकारात्मक वास्तविक संख्याएं हैं और <math>q, p_1, \ldots, p_n</math> सेमिनोर्म चल रहे हैं <math>X</math> ऐसा कि प्रत्येक के लिए <math>x \in X,</math> यदि <math>\max \{p_1(x), \ldots, p_n(x)\} < a</math> फिर <math>q(x) < b.</math> फिर <math>a q \leq b \left(p_1 + \cdots + p_n\right).</math>{{sfn|Narici|Beckenstein|2011|p=149}} यदि <math>X</math> वास्तविक से अधिक एक सदिश स्थान है और <math>f</math> एक गैर-शून्य रैखिक कार्यात्मक है <math>X,</math> फिर <math>f \leq p</math>  यदि और केवल यदि  <math>\varnothing = f^{-1}(1) \cap \{x \in X : p(x) < 1\}.</math>{{sfn|Narici|Beckenstein|2011|pp=149–153}} यदि <math>p</math> पर एक सेमिनार है <math>X</math> तथा <math>f</math> पर एक रैखिक कार्यात्मक है <math>X</math> फिर: <math>|f| \leq p</math> पर <math>X</math>  यदि और केवल यदि  <math>\operatorname{Re} f \leq p</math> पर <math>X</math> (प्रमाण के लिए पाद टिप्पणी देखें)।<ref>Obvious if <math>X</math> is a real vector space. For the non-trivial direction, assume that <math>\operatorname{Re} f \leq p</math> on <math>X</math> and let <math>x \in X.</math> Let <math>r \geq 0</math> and <math>t</math> be real numbers such that <math>f(x) = r e^{i t}.</math> Then <math>|f(x)|= r = f\left(e^{-it} x\right) = \operatorname{Re}\left(f\left(e^{-it} x\right)\right) \leq p\left(e^{-it} x\right) = p(x).</math></ref>{{sfn|Wilansky|2013|p=20}} <math>f \leq p</math> पर <math>X</math>  यदि और केवल  यदि  <math>f^{-1}(1) \cap \{x \in X : p(x) < 1 = \varnothing\}.</math>{{sfn|Narici|Beckenstein|2011|pp=177-220}}{{sfn|Narici|Beckenstein|2011|pp=149–153}} यदि  <math>a > 0</math> तथा <math>b > 0</math> ऐसे हैं <math>p(x) < a</math> तात्पर्य <math>f(x) \neq b,</math> फिर <math>a |f(x)| \leq b p(x)</math> सभी के लिए <math>x \in X.</math>{{sfn|Wilansky|2013|pp=18-21}}

==== हैन-बनच प्रमेय सेमिनोर्म्स के लिए ====
सेमिनोर्म्स हन-बनाक प्रमेय का एक विशेष रूप से स्वच्छ सूत्रीकरण प्रदान करते हैं: यदि <math>M</math> एक सेमिनोर्म्ड समष्टि का एक सदिश उपसमष्टि है <math>(X, p)</math> और यदि <math>f</math> पर एक सतत रैखिक कार्यात्मक है <math>M,</math> फिर <math>f</math> एक सतत रैखिक कार्यात्मक तक बढ़ाया जा सकता है <math>F</math> पर <math>X</math> जिसका वही मानदंड है <math>f.</math>{{sfn|Wilansky|2013|pp=21-26}} 
<li>सेमीनॉर्म्स के लिए एक समान विस्तार संपत्ति भी है:
</ul>{{Math theorem|name=प्रमेय{{sfn|Narici|Beckenstein|2011|pp=150}}{{sfn|Wilansky|2013|pp=18-21}}|note=विस्तार सेमिनार|math_statement=
यदि <math>M</math> की सदिश उपसमष्टि है <math>X,</math> <math>p</math> पर एक सेमिनार है <math>M,</math> और <math>q</math> पर एक सेमिनार है <math>X</math> ऐसा है कि <math>p \leq q\big\vert_M,</math>तो <math>X</math> पर एक सेमिनॉर्म विद्यमान होता है <math>P</math> जैसे कि <math>P\big\vert_M = p</math> और<math>P \leq q.</math> 
}}
: प्रमाण : चलो <math>S</math> का [[उत्तल पतवार]] हो <math>\{m \in M : p(m) \leq 1\} \cup \{x \in X : q(x) \leq 1\}.</math> फिर <math>S</math> एक अवशोषित समुच्चय पूर्णतः उत्तल समुच्चय है <math>X</math>और इसलिए मिन्कोव्स्की कार्यात्मक <math>P</math> का <math>S</math> पर एक सेमीनॉर्म है <math>X.</math> यह सेमिनार संतुष्ट करता है <math>p = P</math> पर <math>M</math> तथा <math>P \leq q</math> पर <math>X.</math>
== सेमीमानकड स्पेस की टोपोलॉजी ==

=== स्यूडोमेट्रिक्स और प्रेरित टोपोलॉजी ===

एक सेमिमानक <math>p</math> पर <math>X</math> एक सांस्थिति को प्रेरित करता है, जिसे कहा जाता है {{em|सेमिनॉर्म-प्रेरित सांस्थिति}}, कैनोनिकल [[अनुवाद अपरिवर्तनीय]] [[Index.php?title=स्यूडोमेट्रिक समष्टि|स्यूडोमेट्रिक समष्टि]]  के माध्यम से <math>d_p : X \times X \to \R</math>; <math>d_p(x, y) := p(x - y) = p(y - x).</math> यह सांस्थिति [[हॉसडॉर्फ स्पेस]] है  यदि और केवल यदि  <math>d_p</math> एक मीट्रिक है, जो तब और केवल तभी होता है <math>p</math> एक आदर्श (गणित) है।{{sfn|Wilansky|2013 |pp=15-21}} यह सांस्थिति बनाती है <math>X</math> एक [[Index.php?title=Index.php?title=स्थानीय रूप से उत्तल संस्थानिक सदिश समष्टि|स्थानीय रूप से उत्तल संस्थानिक सदिश समष्टि]] [[Index.php?title=Index.php?title=मेट्रिजेबल संस्थानिक वेक्टर समष्टि|मेट्रिजेबल संस्थानिक सदिश]] [[Index.php?title=Index.php?title=स्थानीय रूप से उत्तल संस्थानिक सदिश समष्टि|समष्टि]] संस्थानिक सदिश समष्टि जिसमें मूल के आस-पास एक [[Index.php?title=Index.php?title=परिबद्ध समुच्चय (संस्थानिक सदिश समष्टि )|परिबद्ध  समुच्चय (संस्थानिक सदिश समष्टि )]] और मूल पर एक [[पड़ोस का आधार]] होता है, जिसमें निम्नलिखित खुली गेंदें (या बंद गेंदें) होती हैं। मूल:
<math display="block">\{x \in X : p(x) < r\} \quad \text{ or } \quad \{x \in X : p(x) \leq r\}</math>
जैसा <math>r > 0</math> सकारात्मक वास्तविकताओं की सीमा होती है।
प्रत्येक अर्धवृत्ताकार स्थान <math>(X, p)</math> जब तक अन्यथा संकेत न दिया जाए, तब तक इस सांस्थिति से संपन्न माना जाना चाहिए। एक संस्थानिक सदिश समष्टि जिसकी सांस्थिति किसी सेमिमानक से प्रेरित होती है, कहलाती है {{em|सेमिनोर्मेबल}} समान रूप से, प्रत्येक सदिश स्थान <math>X</math> सेमिनोर्म के साथ <math>p</math> भागफल स्थान प्रेरित करता है (रैखिक बीजगणित) <math>X / W,</math> कहाँ पे <math>W</math> का उपक्षेत्र है <math>X</math> सभी सदिश से मिलकर <math>x \in X</math> साथ <math>p(x) = 0.</math> फिर <math>X / W</math> द्वारा परिभाषित मानदंड वहन करता है <math>p(x + W) = p(v).</math> परिणामी सांस्थिति, [[पीछे खीचना]] टू <math>X,</math> ठीक से प्रेरित सांस्थिति है <math>p.</math>
कोई भी सेमिमानक-प्रेरित सांस्थिति बनाता है <math>X</math> स्थानीय रूप से उत्तल सांस्थितिक सदिश स्थान, निम्नानुसार है। यदि <math>p</math> पर एक सेमिनार है <math>X</math> तथा <math>r \in \R,</math>  समुच्चय को बुलाओ <math>\{x \in X : p(x) < r\}</math>  {{em|open ball of radius <math>r</math> about the origin}}; इसी तरह त्रिज्या की बंद गेंद <math>r</math> है <math>\{x \in X : p(x) \leq r\}.</math> सभी खुले का समुच्चय  (प्रतिक्रिया बंद) <math>p</math>-बॉल्स मूल रूप से उत्तल समुच्चय संतुलित समुच्चय का एक पड़ोस आधार बनाता है जो खुले (उत्तर बंद) में होते हैं <math>p</math>-सांस्थिति सक्रिय <math>X.</math>
====मजबूत, कमजोर, और समतुल्य सेमीमानक्स ====

मजबूत और कमजोर सेमीमानक्स की धारणाएं मजबूत और कमजोर मानक (गणित) की धारणाओं के समान हैं। यदि <math>p</math> तथा <math>q</math> सेमीनार चल रहे हैं <math>X,</math> तब हम कहते हैं <math>q</math> है {{em|मजबूत}}  अतिरिक्त <math>p</math> और कि <math>p</math> है {{em|कमज़ोर}} अतिरिक्त <math>q</math> यदि निम्न में से कोई भी समतुल्य स्थिति रखती है:
# सांस्थिति सक्रिय <math>X</math> प्रेरक <math>q</math> द्वारा प्रेरित सांस्थिति से अधिक अच्छा है <math>p.</math>
# यदि <math>x_{\bull} = \left(x_i\right)_{i=1}^{\infty}</math> में क्रम है <math>X,</math> फिर <math>q\left(x_{\bull}\right) := \left(q\left(x_i\right)\right)_{i=1}^{\infty} \to 0</math> में <math>\R</math> तात्पर्य <math>p\left(x_{\bull}\right) \to 0</math> में <math>\R.</math>{{sfn|Wilansky|2013 |pp=15-21}}
# यदि <math>x_{\bull} = \left(x_i\right)_{i \in I}</math> में एक [[नेट (गणित)]] है <math>X,</math> फिर <math>q\left(x_{\bull}\right) := \left(q\left(x_i\right)\right)_{i \in I} \to 0</math> में <math>\R</math> तात्पर्य <math>p\left(x_{\bull}\right) \to 0</math> में <math>\R.</math>
# <math>p</math> पर आबद्ध है <math>\{x \in X : q(x) < 1\}.</math>{{sfn|Wilansky|2013 |pp=15-21}}
# यदि <math>\inf{} \{q(x) : p(x) = 1, x \in X\} = 0</math> फिर <math>p(x) = 0</math> सभी के लिए <math>x \in X.</math>{{sfn|Wilansky|2013 |pp=15-21}}
# एक वास्तविक उपस्थित है <math>K > 0</math> ऐसा है कि <math>p \leq K q</math> पर <math>X.</math>{{sfn|Wilansky|2013 |pp=15-21}}
सेमिनोर्म्स <math>p</math> तथा <math>q</math> कहा जाता है {{em|बराबर}}  यदि वे दोनों एक दूसरे से कमजोर (या दोनों मजबूत) हैं। ऐसा तब होता है जब वे निम्नलिखित में से किसी भी स्थिति को पूरा करते हैं: 

सांस्थिति सक्रिय है <math>X</math> प्रेरक <math>q</math> द्वारा प्रेरित सांस्थिति के समान है <math>p.</math>  <math>q</math> से अधिक मजबूत है <math>p</math> तथा <math>p</math> से अधिक मजबूत है <math>q.</math>{{sfn|Wilansky|2013|pp=15-21}} यदि  <math>x_{\bull} = \left(x_i\right)_{i=1}^{\infty}</math> में क्रम है <math>X</math> फिर <math>q\left(x_{\bull}\right) := \left(q\left(x_i\right)\right)_{i=1}^{\infty} \to 0</math>  यदि और केवल यदि  <math>p\left(x_{\bull}\right) \to 0.</math> सकारात्मक वास्तविक संख्याएं उपस्थित हैं <math>r > 0</math> तथा <math>R > 0</math> ऐसा है कि <math>r q \leq p \leq R q.</math>
=== सामान्यता और अर्ध-सामान्यता ===
{{See also|नॉर्म्ड स्पेस|लोकल बाउंडेडनेस #लोकली बाउंड टोपोलॉजिकल सदिश  स्पेस}}
एक संस्थानिक सदिश समष्टि (टीवीएस) कहा जाता है एक {{em|{{visible anchor|सेमिनोर्मेबल समष्टि }}}}  (क्रमशः, एक {{em|{{visible anchor|सामान्य स्थान}}}} ) यदि इसकी सांस्थिति एकल सेमिमानक (प्रतिक्रिया एकल मानदंड) से प्रेरित है।
एक टीवीएस सामान्य है  यदि और केवल यदि यह सेमिनोर्मेबल है और हॉसडॉर्फ या समकक्ष है, यदि और केवल यदि यह सेमिनोर्मेबल है और टी1 है (क्योंकि एक टीवीएस हॉसडॉर्फ है यदि और केवल यदि यह एक टी 1 स्पेस है। टी<sub>1</sub> अंतरिक्ष)।
एक {{visible anchor|स्थानीय रूप से बाउंड संस्थानिक सदिश समष्टि }} एक संस्थानिक सदिश समष्टि है जो मूल के एक सीमित पड़ोस के पास है।

संस्थानिक सदिश रिक्त स्थान की सामान्यता कोल्मोगोरोव की मानकता कसौटी द्वारा विशेषता है।
एक टीवीएस सेमिनोर्मेबल है यदि और केवल यदि इसकी उत्पत्ति के उत्तल बाध्य पड़ोस है।{{sfn|Wilansky|2013|pp=50-51}} इस प्रकार एक [[स्थानीय रूप से उत्तल]] टीवीएस सेमिनोर्मेबल है यदि और केवल यदि इसमें एक गैर-खाली परिबद्ध खुला समुच्चय है।{{sfn|Narici|Beckenstein|2011|pp=156-175}} एक टीवीएस सामान्य है यदि और केवल यदि यह एक टी1 स्पेस | टी है<sub>1</sub> अंतरिक्ष और मूल के एक घिरे उत्तल पड़ोस को स्वीकार करता है।

यदि <math>X</math> एक हॉउसडॉर्फ स्थानीय रूप से उत्तल टीवीएस है तो निम्नलिखित समतुल्य हैं:

<math>X</math> सामान्य है।
<math>X</math> सेमिनोर्मेबल है। <math>X</math> मूल का एक सीमाबद्ध पड़ोस है। मजबूत दोहरा <math>X^{\prime}_b</math> का <math>X</math> सामान्य है।{{sfn|Trèves|2006|pp=136–149, 195–201, 240–252, 335–390, 420–433}} मजबूत दोहरा <math>X^{\prime}_b</math> का <math>X</math> मेट्रिजेबल संस्थानिक सदिश समष्टि है।{{sfn|Trèves|2006|pp=136–149, 195–201, 240–252, 335–390, 420–433}} आगे, <math>X</math> परिमित आयामी है यदि और केवल यदि  <math>X^{\prime}_{\sigma}</math> सामान्य है (यहाँ <math>X^{\prime}_{\sigma}</math> अर्थ है <math>X^{\prime}</math> [[Index.php?title=कमजोर- * सांस्थिति|कमजोर- * सांस्थिति]]  से संपन्न)।

असीम रूप से कई सेमिनोर्मेबल समष्टि का उत्पाद फिर से सेमिनोर्मेबल है यदि और केवल यदि इन सभी जगहों में से कई छोटे हैं (यानी, 0-आकार )।{{sfn|Narici|Beckenstein|2011|pp=156–175}}

<li>
=== सांस्थितिक गुण ===


यदि  <math>X</math> एक टीवीएस और है <math>p</math> पर एक सतत सेमिनार है <math>X,</math> फिर बंद <math>\{x \in X : p(x) < r\}</math> में <math>X</math> के बराबर है <math>\{x \in X : p(x) \leq r\}.</math>{{sfn|Narici|Beckenstein|2011|pp=116–128}}  का समापन <math>\{0\}</math> स्थानीय रूप से उत्तल स्थान में <math>X</math> जिसका सांस्थिति निरंतर सेमिनोर्म्स के एक परिवार द्वारा परिभाषित किया गया है <math>\mathcal{P}</math> के बराबर है <math>\bigcap_{p \in \mathcal{P}} p^{-1}(0).</math>{{sfn|Narici|Beckenstein|2011|pp=149-153}} एक उपसमुच्चय <math>S</math> एक अर्धवृत्ताकार स्थान में <math>(X, p)</math> परिबद्ध समुच्चय (संस्थानिक सदिश समष्टि ) है यदि और केवल यदि  <math>p(S)</math> घिरा है।{{sfn|Wilansky|2013|pp=49-50}} यदि  <math>(X, p)</math> एक सेमिनोर्ड स्पेस है तो स्थानीय रूप से उत्तल सांस्थिति <math>p</math> प्रवृत्त करता है <math>X</math> बनाता है <math>X</math> द्वारा दिए गए कैनोनिकल स्यूडोमेट्रिक के साथ मेट्रिजेबल संस्थानिक सदिश समष्टि में <math>d(x, y) := p(x - y)</math> सभी के लिए <math>x, y \in X.</math>{{sfn|Narici|Beckenstein|2011|pp=115-154}} अनंत रूप से अनेक सेमिनोर्मेबल स्थानों का गुणनफल फिर से सेमिनोर्मेबल होता है यदि और केवल यदि इनमें से बहुत से रिक्त स्थान तुच्छ हैं (अर्थात, 0-आयामी)।{{sfn|Narici|Beckenstein|2011|pp=156–175}}
===सेमिनोर्म्स की निरंतरता===

यदि <math>p</math> संस्थानिक सदिश समष्टि पर एक सेमिनोर्म है <math>X,</math> उसके बाद निम्न बराबर हैं:{{sfn|Schaefer|Wolff|1999|p=40}} <math>p</math> निरंतर है।
</ul>
<math>p</math> 0 पर निरंतर है;{{sfn|Narici|Beckenstein|2011|pp=116–128}}
<math>\{x \in X : p(x) < 1\}</math> में खुला है <math>X</math>;{{sfn|Narici|Beckenstein|2011|pp=116–128}}
<math>\{x \in X : p(x) \leq 1\}</math> में 0 का बंद पड़ोस है <math>X</math>;{{sfn|Narici|Beckenstein|2011|pp=116–128}}
<math>p</math> समान रूप से निरंतर है <math>X</math>;{{sfn|Narici|Beckenstein|2011|pp=116–128}}

<li>एक सतत सेमिमानक उपस्थित है <math>q</math> पर <math>X</math> ऐसा है कि <math>p \leq q.</math>{{sfn|Narici|Beckenstein|2011|pp=116–128}}

विशेष रूप से,  यदि  <math>(X, p)</math> एक सेमीमानक स्पेस है तो एक सेमिमानक <math>q</math> पर <math>X</math> निरंतर है यदि और केवल  यदि  <math>q</math> के धनात्मक अदिश गुणक का प्रभुत्व है <math>p.</math>{{sfn|Narici|Beckenstein|2011|pp=116–128}}
यदि <math>X</math> एक असली टीवीएस है, <math>f</math> पर एक रैखिक कार्यात्मक है <math>X,</math> तथा <math>p</math> एक सतत सेमिमानक (या अधिक सामान्यतः, एक उपरैखिक फलन) है <math>X,</math> फिर <math>f \leq p</math> पर <math>X</math> इसका आशय है कि <math>f</math> निरंतर है।{{sfn|Narici|Beckenstein|2011|pp=177-220}}

=== रैखिक मानचित्रों की निरंतरता ===

यदि <math>F : (X, p) \to (Y, q)</math> सेमिनोर्म्ड रिक्त स्थान के बीच एक नक्शा है तो चलो{{sfn|Wilansky|2013|pp=21-26}}
<math display="block">\|F\|_{p,q} := \sup \{q(F(x)) : p(x) \leq 1, x \in X\}.</math>
यदि <math>F : (X, p) \to (Y, q)</math> सेमिनोर्म्ड रिक्त स्थान के बीच एक रेखीय नक्शा है तो निम्नलिखित समतुल्य हैं: 

<math>F</math> निरंतर है;</li>
<math>\|F\|_{p,q} < \infty</math>;{{sfn|Wilansky|2013|pp=21-26}}
<li>वहाँ एक वास्तविक उपस्थित है <math>K \geq 0</math> ऐसा है कि <math>p \leq K q</math>;{{sfn|Wilansky|2013|pp=21-26}}
* इस विषय में, <math>\|F\|_{p,q} \leq K.</math>
यदि <math>F</math> तब निरंतर है <math>q(F(x)) \leq \|F\|_{p,q} p(x)</math> सभी के लिए <math>x \in X.</math>{{sfn|Wilansky|2013|pp=21-26}}
सभी निरंतर रैखिक मानचित्रों का स्थान <math>F : (X, p) \to (Y, q)</math> सेमिनोर्म्ड रिक्त स्थान के बीच स्वयं सेमिनोर्म के तहत एक सेमिनोर्मड स्थान है <math>\|F\|_{p,q}.</math> यह सेमिमानक एक आदर्श है यदि <math>q</math> एक आदर्श है।{{sfn|Wilansky|2013|pp=21-26}}


== सामान्यीकरण ==

इसकी अवधारणा {{em|नॉर्म }}  रचना में बीजगणित करता है {{em|नहीं}}  एक मानक के सामान्य गुणों को साझा करें।

एक रचना बीजगणित <math>(A, *, N)</math> एक क्षेत्र पर एक बीजगणित के होते हैं <math>A,</math> एक समावेशन (गणित) <math>\,*,</math> और एक [[द्विघात रूप]] <math>N,</math> जिसे आदर्श कहते हैं। कई विषयों में <math>N</math> एक [[Index.php?title=समदैशिक द्विघात रूप|समदैशिक द्विघात रूप]] है ताकि <math>A</math> कम से कम एक [[अशक्त वेक्टर|अशक्त सदिश]]   है, जो इस लेख में चर्चा किए गए सामान्य मानदंड के लिए आवश्यक बिंदुओं के पृथक्करण के विपरीत है।

एक {{em|अल्ट्रासेमिनॉर्म }}  या ए {{em|गैर-आर्किमिडीयन सेमिनॉर्म}}  एक सेमिनोर्म है <math>p : X \to \R</math> वह भी संतुष्ट करता है <math>p(x + y) \leq \max \{p(x), p(y)\} \text{ for all } x, y \in X.</math>
कमजोर करने वाली उप-विषमता: अर्ध-सेमिनोर्म्स

मानचित्र <math>p : X \to \R</math> ए कहा जाता है {{em|[[Quasinorm|अर्ध-सेमिनोर्म]]}}  यदि  यह (बिल्कुल) सजातीय है और कुछ उपस्थित है <math>b \leq 1</math> ऐसा है कि <math>p(x + y) \leq b p(p(x) + p(y)) \text{ for all } x, y \in X.</math>
का सबसे छोटा मान <math>b</math> जिसके लिए यह धारण कहा जाता है {{em|का गुणक <math>p.</math>}}
बिंदुओं को भिन्न करने वाले अर्ध-सम्मेलन को कहा जाता है {{em|अर्ध-आदर्श}} पर <math>X.</math>
कमजोर पड़ रही एकरूपता- <math>k</math>-सेमिनोर्म्स

मानचित्र <math>p : X \to \R</math> ए कहा जाता है {{em|<math>k</math>-सेमिनॉर्म  }}  यदि यह सहायक है और उपस्थित है <math>k</math> ऐसा है कि <math>0 < k \leq 1</math> और सभी के लिए <math>x \in X</math> और अदिश <math>s,</math><math display="block">p(s x) = |s|^k p(x)</math> A <math>k</math>-बिंदुओं को भिन्न करने वाले सेमीमानक को कहते हैं {{em|<math>k</math>-नॉर्म }}  पर <math>X.</math>
हमारे पास अर्ध-सेमिनार और के बीच निम्नलिखित संबंध हैं <math>k</math>-सेमिनोर्म्स:
{{block indent | em = 1.5 | text = लगता है कि<math>q</math> एक सदिश स्थान पर अर्ध-सेमिनोर्म है <math>X</math> गुणक के साथ <math>b.</math> यदि <math>0 < \sqrt{k} < \log_2 b</math> तो वहाँ विद्यमान है <math>k</math>-सेमिनोर्म <math>p</math> पर<math>X</math> के बराबर <math>q.</math>}}


== यह भी देखें ==
* {{annotated link|असममित मानदंड}}
* {{annotated link|बनच स्थान}}
* {{annotated link|संकुचन मानचित्रण}}
* {{annotated link|बेहतरीन स्थानीय उत्तल टोपोलॉजी}}
* {{annotated link|हन-बनाक प्रमेय}}
* {{annotated link|गोवर्स मानदंड}}
* {{annotated link|स्थानीय रूप से उत्तल टोपोलॉजिकल सदिश समष्टि }}
* {{annotated link|महालनोबिस दूरी}}
* {{annotated link|मैट्रिक्स मानदंड}}
* {{annotated link|मिन्कोव्स्की कार्यात्मक}}
* {{annotated link|सामान्य (गणित)}}
* {{annotated link|नॉर्मड सदिश समष्टि }}
* {{annotated link|मानदंडों और मेट्रिक्स का संबंध}}
* {{annotated link|सबलाइनियर फ़ंक्शन}}


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

{{reflist|group=note}}

'''Proofs'''

{{reflist|group=proof}}


==संदर्भ==

{{reflist}}
* {{Adasch Topological Vector Spaces}}<!-- {{sfn|Adasch|1978|p=}} -->
* {{Berberian Lectures in Functional Analysis and Operator Theory}}<!-- {{sfn|Berberian|2014|p=}} -->
* {{Bourbaki Topological Vector Spaces}}<!-- {{sfn|Bourbaki|1987|p=}} -->
* {{Conway A Course in Functional Analysis}}<!-- {{sfn|Conway|1990|p=}} -->
* {{Edwards Functional Analysis Theory and Applications}}<!-- {{sfn|Edwards|1995|p=}} -->
* {{Grothendieck Topological Vector Spaces}}<!-- {{sfn|Grothendieck|1973|p=}} -->
* {{Jarchow Locally Convex Spaces}}<!-- {{sfn|Jarchow|1981|p=}} -->
* {{Khaleelulla Counterexamples in Topological Vector Spaces}}<!-- {{sfn|Khaleelulla|{{{year| 1982 }}}|p=}} -->
* {{Köthe Topological Vector Spaces I}}<!-- {{sfn|Köthe|1983|p=}} -->
* {{Narici Beckenstein Topological Vector Spaces|edition=2}} 
* {{cite book|last=Prugovečki|first=Eduard|title=Quantum mechanics in Hilbert space|year=1981|edition=2nd|publisher=Academic Press|page=20|isbn=0-12-566060-X}}
* {{Schaefer Wolff Topological Vector Spaces|edition=2}}<!-- {{sfn|Schaefer|Wolff|1999|p=}} -->
* {{Schechter Handbook of Analysis and Its Foundations}}<!-- {{sfn|Schechter|1996|p=}} -->
* {{Swartz An Introduction to Functional Analysis}}<!-- {{sfn|Swartz|1992|p=}} -->
* {{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=}} -->


==बाहरी संबंध==
* [https://shodhganga.inflibnet.ac.in/bitstream/10603/13152/9/09_chapter%203.pdf Sublinear functions]
* [https://arxiv.org/pdf/1611.02670.pdf The sandwich theorem for sublinear and super linear functionals]

{{Functional Analysis}}
{{TopologicalVectorSpaces}}

{{DEFAULTSORT:Norm (Mathematics)}}

[[Category:रैखिक बीजगणित]]

[[Category: Machine Translated Page]]
[[Category:Created On 25/11/2022]]
[[Category:Vigyan Ready]]