सेमिनॉर्म

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

एक संस्थानिक सदिश समष्टि स्थानीय रूप से उत्तल होता है यदि और केवल यदि इसकी सांस्थिति सेमिनोर्म्स के एक परिवार द्वारा प्रेरित होती है।

परिभाषा

होने देना $X$ या तो वास्तविक संख्या पर एक सदिश समष्टि हो $\mathbb {R}$ या जटिल संख्या संख्या $\mathbb {C} .$ एक वास्तविक मूल्यवान कार्य $p:X\to \mathbb {R}$ ए कहा जाता है सेमिनोर्म्स यदि यह निम्नलिखित दो शर्तों को पूरा करता है:

1. उप-योगात्मक कार्य / त्रिभुज असमानता: $p(x+y)\leq p(x)+p(y)$ सभी के लिए $x,y\in X.$
2. सजातीय कार्य: $p(sx)=|s|p(x)$ सभी के लिए $x\in X$ और सभी अदिश $s.$

ये दो शर्तें इसका तात्पर्य हैं कि $p(0)=0$ और वह प्रत्येक सेमिमानक $p$ निम्नलिखित संपत्ति भी है: <ओल प्रारंभ = 3>

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

सकारात्मक निश्चित / बिंदु भिन्न करना : सभी के लिए $x\in X,$ यदि $p(x)=0$ फिर $x=0.$</ली> </ओल> ए सेमिनोर्म्ड स्पेस जोड़ी है $(X,p)$ एक सदिश स्थान से मिलकर $X$ और एक सेमिमानक $p$ पर $X.$ यदि सेमिमानक $p$ यह भी एक मानक है तो सेमिमानक स्पेस $(X,p)$ ए कहा जाता है नोर्म्ड स्पेस . चूँकि निरपेक्ष एकरूपता का तात्पर्य सकारात्मक एकरूपता से है, प्रत्येक सेमिनोर्म एक प्रकार का कार्य है जिसे एक उपरैखिक फलन कहा जाता है। एक मानचित्र $p:X\to \mathbb {R}$ कहा जाता है उपरैखिक फलन यदि यह उप-योगात्मक और सकारात्मक सजातीय है। एक सेमिमानक के विपरीत, एक उपरैखिक फलन अनिवार्य रूप से गैर-नकारात्मक नहीं है। हाहन-बनाक प्रमेय के संदर्भ में उपरैखिक कार्यों का प्रायः सामना किया जाता है। एक वास्तविक मूल्यवान कार्य $p:X\to \mathbb {R}$ एक सेमिनोर्म है यदि और केवल यदि यह एक उपरैखिक फलन और संतुलित फलन है।

उदाहरण

<उल> <ली> तुच्छ सेमिनोर्म }} पर $X,$ जो निरंतर को संदर्भित करता है $0$ मानचित्र पर $X,$ असतत सांस्थिति को प्रेरित करता है $X.$</ली>

यदि $f$ सदिश समष्टि पर कोई रैखिक रूप है तो उसका निरपेक्ष मान $|f|,$ द्वारा परिभाषित $x\mapsto |f(x)|,$ एक सेमिमानक है।

एक उपरैखिक फलन $f:X\to \mathbb {R}$ एक वास्तविक सदिश स्थान पर $X$ एक सेमिनोर्म है यदि और केवल यदि यह एक है सममित फलन , जिसका अर्थ है कि $f(-x)=f(x)$ सभी के लिए $x\in X.$</ली>

प्रत्येक वास्तविक-मूल्यवान उपरैखिक फलन $f:X\to \mathbb {R}$ एक वास्तविक सदिश स्थान पर $X$ सेमिनोर्म उत्पन्न करता है $p:X\to \mathbb {R}$ द्वारा परिभाषित $p(x):=\max\{f(x),f(-x)\}.$</ली>

सेमिमानक का कोई भी परिमित योग सेमिमानक होता है। एक सदिश उप-क्षेत्र के लिए एक सेमिमानक (क्रमशः,मानदंड) का प्रतिबंध एक बार फिर से एक सेमिमानक (क्रमशः, मानदंड) है।

यदि $p:X\to \mathbb {R}$ तथा $q:Y\to \mathbb {R}$ सेमिमानक (क्रमशः, मानदंड) हैं $X$ तथा $Y$ फिर मानचित्र $r:X\times Y\to \mathbb {R}$ द्वारा परिभाषित $r(x,y)=p(x)+q(y)$ एक सेमिमानक (क्रमशः, एक आदर्श) है $X\times Y.$ विशेष रूप से, मानचित्र पर $X\times Y$ द्वारा परिभाषित $(x,y)\mapsto p(x)$ तथा $(x,y)\mapsto q(y)$ दोनों सेमिनोर्म पर हैं $X\times Y.$</ली>

यदि $p$ तथा $q$ सेमिनोर्म चल रहे हैं $X$ तो हैं

$$(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\}$$

कहाँ पे $p\wedge q\leq p$ तथा $p\wedge q\leq q.$ </ली>

सेमिमानक का स्थान $X$ उपरोक्त कार्यों के संबंध में सामान्यतः एक वितरण जाली नहीं है। उदाहरण के लिए, खत्म $\mathbb {R} ^{2}$, $p(x,y):=\max(|x|,|y|),q(x,y):=2|x|,r(x,y):=2|y|$ ऐसे हैं

$$((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|)$$

</ली>

यदि $L:X\to Y$ एक रेखीय मानचित्र है और $q:Y\to \mathbb {R}$ पर एक सेमिनोर्म है $Y,$ फिर $q\circ L:X\to \mathbb {R}$ पर एक सेमिनोर्म है $X.$ सेमिमानक $q\circ L$ पर एक मानदंड होगा $X$ यदि और केवल यदि $L$ अन्तःक्षेपण और प्रतिबंध है $q{\big \vert }_{L(X)}$ पर एक आदर्श है $L(X).$</ल ी>

मिन्कोव्स्की कार्यात्मक और सेमिमानक्स

Main article: Minkowski functional

एक सदिश स्थान पर सेमीनॉर्म्स $X$ मिंकोवस्की प्रकार्यात्मक के माध्यम से, के उपसमुच्चयों से घनिष्ठ रूप से बंधे हुए हैं $X$ जो उत्तल समुच्चय , संतुलित समुच्चय और अवशोषक समुच्चय हैं। ऐसा उपसमुच्चय दिया है $D$ का $X,$ मिन्कोवस्की की कार्यात्मकता $D$ एक सेमिनोर्म है। और इसके विपरीत, एक सेमीनॉर्म दिया $p$ पर $X,$ समुच्चय $\{x\in X:p(x)<1\}$ तथा $\{x\in X:p(x)\leq 1\}$ उत्तल, संतुलित और अवशोषित हैं और इसके अतिरिक्त, इन दो समुच्चय (साथ ही उनके बीच में पड़े किसी भी समुच्चय ) का मिंकोव्स्की कार्यात्मक है $p.$

बीजगणितीय गुण

प्रत्येक सेमिमानक एक उपरैखिक फलन है, और इस प्रकार सभी उपरैखिक फलन के गुण को संतुष्ट करता है, जिसमें निम्न सम्मिलित हैं:

• उत्तल कार्य
• उत्क्रम त्रिकोण असमानता $|p(x)-p(y)|\leq p(x-y)$
• किसी के लिए $r>0$, $x+\{y\in X:p(y)<r\}=\{y\in X:p(x-y)<r\}$
• किसी के लिए $r>0$, $\{x\in X:p(x)<r\}$ एक अवशोषित समुच्चय पूर्णतः उत्तल समुच्चय है $X$
• $p(0)=0$
• $0\leq \max\{p(x),p(-x)\}$ तथा $p(x)-p(y)\leq p(x-y)$
• यदि $p$ वास्तविक सदिश समष्टि पर एक उपरैखिक फलन है $X$ तो वहाँ एक रैखिक कार्यात्मक उपलब्ध है $f$ पर $X$ ऐसा है कि $f\leq p$
• यदि $X$ एक वास्तविक सदिश स्थान है, $f$ पर एक रैखिक कार्यात्मक है $X,$ तथा $p$ पर एक उपरैखिक फलन है $X,$ फिर $f\leq p$ पर $X$ यदि और केवल यदि $f^{-1}(1)\cap \{x\in X:p(x)<1=\varnothing \}$

सेमिनोर्म्स के अन्य गुण

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

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

<ली>$p$ पर एक आदर्श है $X$ यदि और केवल यदि $\{x\in X:p(x)<1\}$ एक गैर-तुच्छ सदिश उप-स्थान सम्मिलित नहीं है।

<ली>$p^{-1}(0)$ की सदिश उपसमष्टि है $X.$</ली>

किसी के लिए $r>0,$

$$r\{x\in X:p(x)<1\}=\{x\in X:p(x)<r\}=\left\{x\in X:{\frac {1}{r}}p(x)<1\right\}.$$

</ली>

यदि $D$ एक समुच्चय संतोषजनक है $\{x\in X:p(x)<1\}\subseteq D\subseteq \{x\in X:p(x)\leq 1\}$ फिर $D$ अवशोषित कर रहा है $X$ तथा $p=p_{D}$ कहाँ पे $p_{D}$ से जुड़े मिन्कोव्स्की कार्यात्मक को दर्शाता है $D$ (अर्थात, का गेज $D$).

• विशेष रूप से, यदि $D$ ऊपर के रूप में है और $q$ क्या कोई सेमिनार सक्रिय है $X,$ फिर $q=p$ यदि और केवल यदि $\{x\in X:q(x)<1\}\subseteq D\subseteq \{x\in X:q(x)\leq \}.$</ली>

<उल>

यदि $(X,\|\,\cdot \,\|)$ एक आदर्श स्थान है और $x,y\in X$ फिर $\|x-y\|=\|x-z\|+\|z-y\|$ सभी के लिए $z\in [x,y].$</ली>

प्रत्येक मानदंड एक उत्तल कार्य है और इसके परिणामस्वरूप, मानक-आधारित उद्देश्य फलन का वैश्विक अधिकतम ढूँढ़ना कभी-कभी सुविधाजनक होता है।

अन्य मानक जैसी अवधारणाओं से संबंध

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

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

पर एक मानक सदिश समष्टि उपलब्ध है $X,$ जिसके संबंध में, $\{x\in X:p(x)<1\}$ घिरा हुआ है।

</ओल> यदि $p$ वास्तविक सदिश समष्टि पर एक उपरैखिक फलन है $X$ उसके बाद निम्न बराबर हैं: <द> <ली>$p$ एक रैखिक कार्यात्मक है; <ली>$p(x)+p(-x)\leq 0{\text{ for every }}x\in X$;</ली> <ली>$p(x)+p(-x)=0{\text{ for every }}x\in X$;</ली> </ अल>

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

यदि $p,q:X\to [0,\infty )$ सेमीनार चल रहे हैं $X$ फिर: <उल> <ली>$p\leq q$ यदि और केवल यदि $q(x)\leq 1$ तात्पर्य $p(x)\leq 1.$</ली>

यदि $a>0$ तथा $b>0$ ऐसे हैं $p(x)<a$ तात्पर्य $q(x)\leq b,$ फिर $aq(x)\leq bp(x)$ सभी के लिए $x\in X.$ </ली>

मान लीजिए कि $a$ तथा $b$ सकारात्मक वास्तविक संख्याएं हैं और $q,p_{1},\ldots ,p_{n}$ सेमिनोर्म चल रहे हैं $X$ ऐसा कि प्रत्येक के लिए $x\in X,$ यदि $\max\{p_{1}(x),\ldots ,p_{n}(x)\}<a$ फिर $q(x)<b.$ फिर $aq\leq b\left(p_{1}+\cdots +p_{n}\right).$</ली>

यदि $X$ वास्तविक से अधिक एक सदिश स्थान है और $f$ एक गैर-शून्य रैखिक कार्यात्मक है $X,$ फिर $f\leq p$ यदि और केवल यदि $\varnothing =f^{-1}(1)\cap \{x\in X:p(x)<1\}.$</ली>

यदि $p$ पर एक सेमिनार है $X$ तथा $f$ पर एक रैखिक कार्यात्मक है $X$ फिर: <उल> <ली>$|f|\leq p$ पर $X$ यदि और केवल यदि $\operatorname {Re} f\leq p$ पर $X$ (प्रमाण के लिए पाद टिप्पणी देखें)।</ली> <ली>$f\leq p$ पर $X$ यदि और केवल यदि $f^{-1}(1)\cap \{x\in X:p(x)<1=\varnothing \}.$</ली>

यदि $a>0$ तथा $b>0$ ऐसे हैं $p(x)<a$ तात्पर्य $f(x)\neq b,$ फिर $a|f(x)|\leq bp(x)$ सभी के लिए $x\in X.$</ली>

हैन-बनच प्रमेय सेमिनोर्म्स के लिए

सेमिनोर्म्स हन-बनाक प्रमेय का एक विशेष रूप से स्वच्छ सूत्रीकरण प्रदान करते हैं:

यदि $M$ एक सेमिनोर्म्ड समष्टि का एक सदिश उपसमष्टि है $(X,p)$ और यदि $f$ पर एक सतत रैखिक कार्यात्मक है $M,$ फिर $f$ एक सतत रैखिक कार्यात्मक तक बढ़ाया जा सकता है $F$ पर $X$ जिसका वही मानदंड है $f.$

एक समान विस्तार संपत्ति भी सेमिनोर्म्स के लिए रखती है:

प्रमेय (विस्तार सेमिनार) — यदि $M$ की सदिश उपसमष्टि है $X,$ $p$ पर एक सेमिनार है $M,$ और $q$ पर एक सेमिनार है $X$ ऐसा है कि $p\leq q{\big \vert }_{M},$तो $X$ पर एक सेमिनॉर्म विद्यमान होता है $P$ ऐसा कि $P{\big \vert }_{M}=p$ और$P\leq q.$

प्रमाण : चलो $S$ का उत्तल पतवार हो $\{m\in M:p(m)\leq 1\}\cup \{x\in X:q(x)\leq 1\}.$ फिर $S$ एक अवशोषित समुच्चय पूर्णतः उत्तल समुच्चय है $X$और इसलिए मिन्कोव्स्की कार्यात्मक $P$ का $S$ पर एक सेमीनॉर्म है $X.$ यह सेमिनार संतुष्ट करता है $p=P$ पर $M$ तथा $P\leq q$ पर $X.$ $\blacksquare$

सेमीमानकड स्पेस की टोपोलॉजी

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

एक सेमिमानक $p$ पर $X$ एक सांस्थिति को प्रेरित करता है, जिसे कहा जाता है सेमिनॉर्म-प्रेरित सांस्थिति, कैनोनिकल अनुवाद अपरिवर्तनीय स्यूडोमेट्रिक समष्टि के माध्यम से $d_{p}:X\times X\to \mathbb {R}$; $d_{p}(x,y):=p(x-y)=p(y-x).$ यह सांस्थिति हॉसडॉर्फ स्पेस है यदि और केवल यदि $d_{p}$ एक मीट्रिक है, जो तब और केवल तभी होता है $p$ एक आदर्श (गणित) है। यह सांस्थिति बनाती है $X$ एक स्थानीय रूप से उत्तल संस्थानिक सदिश समष्टि मेट्रिजेबल संस्थानिक सदिश समष्टि संस्थानिक सदिश समष्टि जिसमें मूल के आस-पास एक परिबद्ध समुच्चय (संस्थानिक सदिश समष्टि ) और मूल पर एक पड़ोस का आधार होता है, जिसमें निम्नलिखित खुली गेंदें (या बंद गेंदें) होती हैं। मूल:

$$\{x\in X:p(x)<r\}\quad {\text{ or }}\quad \{x\in X:p(x)\leq r\}$$

जैसा $r>0$ सकारात्मक वास्तविकताओं की सीमा होती है। प्रत्येक अर्धवृत्ताकार स्थान $(X,p)$ जब तक अन्यथा संकेत न दिया जाए, तब तक इस सांस्थिति से संपन्न माना जाना चाहिए। एक संस्थानिक सदिश

समष्टि जिसकी सांस्थिति किसी सेमिमानक से प्रेरित होती है, कहलाती है सेमिनोर्मेबल. समान रूप से, प्रत्येक सदिश स्थान $X$ सेमिनोर्म के साथ $p$ भागफल स्थान प्रेरित करता है (रैखिक बीजगणित) $X/W,$ कहाँ पे $W$ का उपक्षेत्र है $X$ सभी सदिश से मिलकर $x\in X$ साथ $p(x)=0.$ फिर $X/W$ द्वारा परिभाषित मानदंड वहन करता है $p(x+W)=p(v).$ परिणामी सांस्थिति, पीछे खीचना टू $X,$ ठीक से प्रेरित सांस्थिति है $p.$ कोई भी सेमिमानक-प्रेरित सांस्थिति बनाता है $X$ स्थानीय रूप से उत्तल सांस्थितिक सदिश स्थान, निम्नानुसार है। यदि $p$ पर एक सेमिनार है $X$ तथा $r\in \mathbb {R} ,$ समुच्चय को बुलाओ $\{x\in X:p(x)<r\}$ open ball of radius $r$ about the origin; इसी तरह त्रिज्या की बंद गेंद $r$ है $\{x\in X:p(x)\leq r\}.$ सभी खुले का समुच्चय (प्रतिक्रिया बंद) $p$-बॉल्स मूल रूप से उत्तल समुच्चय संतुलित समुच्चय का एक पड़ोस आधार बनाता है जो खुले (उत्तर बंद) में होते हैं $p$-सांस्थिति सक्रिय $X.$

मजबूत, कमजोर, और समतुल्य सेमीमानक्स

मजबूत और कमजोर सेमीमानक्स की धारणाएं मजबूत और कमजोर मानक (गणित) की धारणाओं के समान हैं। यदि $p$ तथा $q$ सेमीनार चल रहे हैं $X,$ तब हम कहते हैं $q$ है मजबूत अतिरिक्त $p$ और कि $p$ है कमज़ोर अतिरिक्त $q$ यदि निम्न में से कोई भी समतुल्य स्थिति रखती है:

1. सांस्थिति सक्रिय $X$ प्रेरक $q$ द्वारा प्रेरित सांस्थिति से अधिक अच्छा है $p.$
2. यदि $x_{\bullet }=\left(x_{i}\right)_{i=1}^{\infty }$ में क्रम है $X,$ फिर $q\left(x_{\bullet }\right):=\left(q\left(x_{i}\right)\right)_{i=1}^{\infty }\to 0$ में $\mathbb {R}$ तात्पर्य $p\left(x_{\bullet }\right)\to 0$ में $\mathbb {R} .$
3. यदि $x_{\bullet }=\left(x_{i}\right)_{i\in I}$ में एक नेट (गणित) है $X,$ फिर $q\left(x_{\bullet }\right):=\left(q\left(x_{i}\right)\right)_{i\in I}\to 0$ में $\mathbb {R}$ तात्पर्य $p\left(x_{\bullet }\right)\to 0$ में $\mathbb {R} .$
4. $p$ पर आबद्ध है $\{x\in X:q(x)<1\}.$
5. यदि $\inf {}\{q(x):p(x)=1,x\in X\}=0$ फिर $p(x)=0$ सभी के लिए $x\in X.$
6. एक वास्तविक उपस्थित है $K>0$ ऐसा है कि $p\leq Kq$ पर $X.$

सेमिनोर्म्स $p$ तथा $q$ कहा जाता है बराबर यदि वे दोनों एक दूसरे से कमजोर (या दोनों मजबूत) हैं। ऐसा तब होता है जब वे निम्नलिखित में से किसी भी स्थिति को पूरा करते हैं: <ओल>

सांस्थिति सक्रिय है $X$ प्रेरक $q$ द्वारा प्रेरित सांस्थिति के समान है $p.$</ली> <ली>$q$ से अधिक मजबूत है $p$ तथा $p$ से अधिक मजबूत है $q.$</ली>

यदि $x_{\bullet }=\left(x_{i}\right)_{i=1}^{\infty }$ में क्रम है $X$ फिर $q\left(x_{\bullet }\right):=\left(q\left(x_{i}\right)\right)_{i=1}^{\infty }\to 0$ यदि और केवल यदि $p\left(x_{\bullet }\right)\to 0.$</ली>

सकारात्मक वास्तविक संख्याएं उपस्थित हैं $r>0$ तथा $R>0$ ऐसा है कि $rq\leq p\leq Rq.$</ली> </ अल>

सामान्यता और अर्ध-सामान्यता

See also: नॉर्म्ड स्पेस and लोकल बाउंडेडनेस § लोकली बाउंड टोपोलॉजिकल सदिश स्पेस

एक संस्थानिक सदिश समष्टि (टीवीएस) कहा जाता है एक सेमिनोर्मेबल समष्टि (क्रमशः, एक सामान्य स्थान ) यदि इसकी सांस्थिति एकल सेमिमानक (प्रतिक्रिया एकल मानदंड) से प्रेरित है। एक टीवीएस सामान्य है यदि और केवल यदि यह सेमिनोर्मेबल है और हॉसडॉर्फ या समकक्ष है, यदि और केवल यदि यह सेमिनोर्मेबल है और टी1 है (क्योंकि एक टीवीएस हॉसडॉर्फ है यदि और केवल यदि यह एक टी 1 स्पेस है। टी₁ अंतरिक्ष)। एक स्थानीय रूप से बाउंड संस्थानिक सदिश समष्टि एक संस्थानिक सदिश समष्टि है जो मूल के एक सीमित पड़ोस के पास है।

संस्थानिक सदिश रिक्त स्थान की सामान्यता कोल्मोगोरोव की मानकता कसौटी द्वारा विशेषता है। एक टीवीएस सेमिनोर्मेबल है यदि और केवल यदि इसकी उत्पत्ति के उत्तल बाध्य पड़ोस है। इस प्रकार एक स्थानीय रूप से उत्तल टीवीएस सेमिनोर्मेबल है यदि और केवल यदि इसमें एक गैर-खाली परिबद्ध खुला समुच्चय है। एक टीवीएस सामान्य है यदि और केवल यदि यह एक टी1 स्पेस | टी है₁ अंतरिक्ष और मूल के एक घिरे उत्तल पड़ोस को स्वीकार करता है।

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

<ली>$X$ सामान्य है।

<ली>$X$ सेमिनोर्मेबल है। <ली>$X$ मूल का एक सीमाबद्ध पड़ोस है।

मजबूत दोहरा $X_{b}^{\prime }$ का $X$ सामान्य है।</ली>

मजबूत दोहरा $X_{b}^{\prime }$ का $X$ मेट्रिजेबल संस्थानिक सदिश समष्टि है।</ली> </ओल> आगे, $X$ परिमित आयामी है यदि और केवल यदि $X_{\sigma }^{\prime }$ सामान्य है (यहाँ $X_{\sigma }^{\prime }$ अर्थ है $X^{\prime }$ कमजोर- * सांस्थिति से संपन्न)। असीम रूप से कई सेमिनोर्मेबल समष्टि का उत्पाद फिर से सेमिनोर्मेबल है यदि और केवल यदि इन सभी जगहों में से कई छोटे हैं (यानी, 0-आकार )।

सांस्थितिक गुण

<उल>

यदि $X$ एक टीवीएस और है $p$ पर एक सतत सेमिनार है $X,$ फिर बंद $\{x\in X:p(x)<r\}$ में $X$ के बराबर है $\{x\in X:p(x)\leq r\}.$</ली>

का समापन $\{0\}$ स्थानीय रूप से उत्तल स्थान में $X$ जिसका सांस्थिति निरंतर सेमिनोर्म्स के एक परिवार द्वारा परिभाषित किया गया है ${\mathcal {P}}$ के बराबर है $\bigcap _{p\in {\mathcal {P}}}p^{-1}(0).$</ली>

एक उपसमुच्चय $S$ एक अर्धवृत्ताकार स्थान में $(X,p)$ परिबद्ध समुच्चय (संस्थानिक सदिश समष्टि ) है यदि और केवल यदि $p(S)$ घिरा है।</ली>

यदि $(X,p)$ एक सेमिनोर्ड स्पेस है तो स्थानीय रूप से उत्तल सांस्थिति $p$ प्रवृत्त करता है $X$ बनाता है $X$ द्वारा दिए गए कैनोनिकल स्यूडोमेट्रिक के साथ मेट्रिजेबल संस्थानिक सदिश समष्टि में $d(x,y):=p(x-y)$ सभी के लिए $x,y\in X.$</ली>

अनंत रूप से अनेक सेमिनोर्मेबल स्थानों का गुणनफल फिर से सेमिनोर्मेबल होता है यदि और केवल यदि इनमें से बहुत से रिक्त स्थान तुच्छ हैं (अर्थात, 0-आयामी)।</ली>

सेमिनोर्म्स की निरंतरता

यदि $p$ संस्थानिक सदिश समष्टि पर एक सेमिनोर्म है $X,$ उसके बाद निम्न बराबर हैं: <द>

<ली>$p$ निरंतर है।

<ली>$p$ 0 पर निरंतर है;</ली> <ली>$\{x\in X:p(x)<1\}$ में खुला है $X$;</ली> <ली>$\{x\in X:p(x)\leq 1\}$ में 0 का बंद पड़ोस है $X$;</ली> <ली>$p$ समान रूप से निरंतर है $X$;</ली>

एक सतत सेमिमानक उपस्थित है $q$ पर $X$ ऐसा है कि $p\leq q.$</ली> </ओल> विशेष रूप से, यदि $(X,p)$ एक सेमीमानक स्पेस है तो एक सेमिमानक $q$ पर $X$ निरंतर है यदि और केवल यदि $q$ के धनात्मक अदिश गुणक का प्रभुत्व है $p.$ यदि $X$ एक असली टीवीएस है, $f$ पर एक रैखिक कार्यात्मक है $X,$ तथा $p$ एक सतत सेमिमानक (या अधिक सामान्यतः, एक उपरैखिक फलन) है $X,$ फिर $f\leq p$ पर $X$ इसका आशय है कि $f$ निरंतर है।

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

यदि $F:(X,p)\to (Y,q)$ सेमिनोर्म्ड रिक्त स्थान के बीच एक नक्शा है तो चलो

$$\|F\|_{p,q}:=\sup\{q(F(x)):p(x)\leq 1,x\in X\}.$$

यदि $F:(X,p)\to (Y,q)$ सेमिनोर्म्ड रिक्त स्थान के बीच एक रेखीय नक्शा है तो निम्नलिखित समतुल्य हैं: <ओल>

<ली>$F$ निरंतर है;

<ली>$\|F\|_{p,q}<\infty$;</ली>

वहाँ एक वास्तविक उपस्थित है $K\geq 0$ ऐसा है कि $p\leq Kq$;

• इस विषय में, $\|F\|_{p,q}\leq K.$</ली>

</ओल> यदि $F$ तब निरंतर है $q(F(x))\leq \|F\|_{p,q}p(x)$ सभी के लिए $x\in X.$ सभी निरंतर रैखिक मानचित्रों का स्थान $F:(X,p)\to (Y,q)$ सेमिनोर्म्ड रिक्त स्थान के बीच स्वयं सेमिनोर्म के तहत एक सेमिनोर्मड स्थान है $\|F\|_{p,q}.$ यह सेमिमानक एक आदर्श है यदि $q$ एक आदर्श है।

सामान्यीकरण

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

एक रचना बीजगणित $(A,*,N)$ एक क्षेत्र पर एक बीजगणित के होते हैं $A,$ एक समावेशन (गणित) $\,*,$ और एक द्विघात रूप $N,$ जिसे मर्यादा कहते हैं। कई विषयों में $N$ एक समदैशिक द्विघात रूप है ताकि $A$ कम से कम एक अशक्त सदिश है, जो इस लेख में चर्चा किए गए सामान्य मानदंड के लिए आवश्यक बिंदुओं के पृथक्करण के विपरीत है।

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

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

मानचित्र $p:X\to \mathbb {R}$ ए कहा जाता है $k$-सेमिनॉर्म यदि यह सहायक है और उपस्थित है $k$ ऐसा है कि $0<k\leq 1$ और सभी के लिए $x\in X$ और अदिश $s,$

$$p(sx)=|s|^{k}p(x)$$

A $k$-बिंदुओं को भिन्न करने वाले सेमीमानक को कहते हैं $k$-नॉर्म पर $X.$ हमारे पास अर्ध-सेमिनार और के बीच निम्नलिखित संबंध हैं $k$-सेमिनोर्म्स:

लगता है कि$q$ एक सदिश स्थान पर अर्ध-सेमिनोर्म है $X$ गुणक के साथ $b.$ यदि $0<{\sqrt {k}}<\log _{2}b$ तो वहाँ विद्यमान है $k$-सेमिनोर्म $p$ पर$X$ के बराबर $q.$

यह भी देखें

• असममित मानदंड
• बनच स्थान
• संकुचन मानचित्रण – Function reducing distance between all points
• बेहतरीन स्थानीय उत्तल टोपोलॉजी
• हन-बनाक प्रमेय
• गोवर्स मानदंड
• स्थानीय रूप से उत्तल टोपोलॉजिकल सदिश समष्टि
• महालनोबिस दूरी
• मैट्रिक्स मानदंड
• मिन्कोव्स्की कार्यात्मक
• सामान्य (गणित) – Length in a vector space
• नॉर्मड सदिश समष्टि
• मानदंडों और मेट्रिक्स का संबंध
• सबलाइनियर फ़ंक्शन

टिप्पणियाँ

Proofs

संदर्भ

• Adasch, Norbert; Ernst, Bruno; Keim, Dieter (1978). Topological Vector Spaces: The Theory Without Convexity Conditions. Lecture Notes in Mathematics. Vol. 639. Berlin New York: Springer-Verlag. ISBN 978-3-540-08662-8. OCLC 297140003.
• Berberian, Sterling K. (1974). Lectures in Functional Analysis and Operator Theory. Graduate Texts in Mathematics. Vol. 15. New York: Springer. ISBN 978-0-387-90081-0. OCLC 878109401.
• Bourbaki, Nicolas (1987) [1981]. Topological Vector Spaces: Chapters 1–5. Éléments de mathématique. Translated by Eggleston, H.G.; Madan, S. Berlin New York: Springer-Verlag. ISBN 3-540-13627-4. OCLC 17499190.
• Conway, John (1990). A course in functional analysis. Graduate Texts in Mathematics. Vol. 96 (2nd ed.). New York: Springer-Verlag. ISBN 978-0-387-97245-9. OCLC 21195908.
• Edwards, Robert E. (1995). Functional Analysis: Theory and Applications. New York: Dover Publications. ISBN 978-0-486-68143-6. OCLC 30593138.
• Grothendieck, Alexander (1973). Topological Vector Spaces. Translated by Chaljub, Orlando. New York: Gordon and Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098.
• Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner. ISBN 978-3-519-02224-4. OCLC 8210342.
• Khaleelulla, S. M. (1982). Counterexamples in Topological Vector Spaces. Lecture Notes in Mathematics. Vol. 936. Berlin, Heidelberg, New York: Springer-Verlag. ISBN 978-3-540-11565-6. OCLC 8588370.
• Köthe, Gottfried (1983) [1969]. Topological Vector Spaces I. Grundlehren der mathematischen Wissenschaften. Vol. 159. Translated by Garling, D.J.H. New York: Springer Science & Business Media. ISBN 978-3-642-64988-2. MR 0248498. OCLC 840293704.
• Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
• Prugovečki, Eduard (1981). Quantum mechanics in Hilbert space (2nd ed.). Academic Press. p. 20. ISBN 0-12-566060-X.
• Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
• Schechter, Eric (1996). Handbook of Analysis and Its Foundations. San Diego, CA: Academic Press. ISBN 978-0-12-622760-4. OCLC 175294365.
• Swartz, Charles (1992). An introduction to Functional Analysis. New York: M. Dekker. ISBN 978-0-8247-8643-4. OCLC 24909067.
• Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.
• Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.

बाहरी संबंध

• Sublinear functions
• The sandwich theorem for sublinear and super linear functionals