सेमिनॉर्म

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

एक टोपोलॉजिकल वेक्टर स्पेस स्थानीय रूप से उत्तल होता है अगर और केवल अगर इसकी टोपोलॉजी सेमिनोर्म्स के एक परिवार द्वारा प्रेरित होती है।

परिभाषा

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

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>

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

उदाहरण

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

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

एक सबलीनियर फंक्शन $f:X\to \mathbb {R}$ एक वास्तविक सदिश स्थान पर $X$ एक सेमिनोर्म है अगर और केवल अगर यह एक है symmetric function, जिसका अर्थ है कि $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$ Minkowski प्रकार्यात्मक के माध्यम से, के सबसेट से घनिष्ठ रूप से बंधे हुए हैं $X$ जो उत्तल सेट, संतुलित सेट और अवशोषक सेट हैं। ऐसा उपसमुच्चय दिया है $D$ का $X,$ मिन्कोवस्की की कार्यात्मकता $D$ एक सेमिनोर्म है। इसके विपरीत, एक सेमिनार दिया $p$ पर $X,$ सेट$\{x\in X:p(x)<1\}$ तथा $\{x\in X:p(x)\leq 1\}$ उत्तल, संतुलित और अवशोषित हैं और इसके अलावा, इन दो सेटों (साथ ही उनके बीच में पड़े किसी भी सेट) का मिंकोव्स्की कार्यात्मक है $p.$

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

प्रत्येक सेमिनॉर्म एक सबलाइनियर फ़ंक्शन है, और इस प्रकार सभी Sublinear_function#Properties को संतुष्ट करता है, जिसमें निम्न शामिल हैं:

• उत्तल कार्य
• रिवर्स त्रिकोण असमानता: $|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.$

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

Theorem (Extending seminorms) — If $M$ is a vector subspace of $X,$ $p$ is a seminorm on $M,$ and $q$ is a seminorm on $X$ such that $p\leq q{\big \vert }_{M},$ then there exists a seminorm $P$ on $X$ such that $P{\big \vert }_{M}=p$ and $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$ एक टोपोलॉजी को प्रेरित करता है, जिसे कहा जाता है seminorm-induced topology, कैनोनिकल अनुवाद अपरिवर्तनीय स्यूडोमेट्रिक स्पेस के माध्यम से $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)$ जब तक अन्यथा संकेत न दिया जाए, तब तक इस टोपोलॉजी से संपन्न माना जाना चाहिए। एक टोपोलॉजिकल वेक्टर स्पेस जिसकी टोपोलॉजी किसी सेमिनॉर्म से प्रेरित होती है, कहलाती है seminormable.

समान रूप से, प्रत्येक सदिश स्थान $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$ है stronger बजाय $p$ और कि $p$ है weaker बजाय $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$ कहा जाता है equivalent यदि वे दोनों एक दूसरे से कमजोर (या दोनों मजबूत) हैं। ऐसा तब होता है जब वे निम्नलिखित में से किसी भी स्थिति को पूरा करते हैं: <ओल>

टोपोलॉजी चालू है $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: Normed space and Local boundedness § locally bounded topological vector space

एक टोपोलॉजिकल वेक्टर स्पेस (टीवीएस) कहा जाता है a seminormable space (क्रमशः, ए normable space) यदि इसकी टोपोलॉजी एकल सेमिनॉर्म (प्रतिक्रिया एकल मानदंड) से प्रेरित है। एक TVS नॉर्मल है अगर और केवल अगर यह सेमिनोर्मेबल है और हॉसडॉर्फ या समकक्ष है, अगर और केवल अगर यह सेमिनोर्मेबल है और T1 स्पेस|टी₁(क्योंकि एक टीवीएस हॉसडॉर्फ है अगर और केवल अगर यह एक टी 1 स्पेस है। टी₁ अंतरिक्ष)। एlocally bounded topological vector spaceएक टोपोलॉजिकल वेक्टर स्पेस है जो मूल के एक सीमित पड़ोस के पास है।

टोपोलॉजिकल वेक्टर रिक्त स्थान की सामान्यता कोल्मोगोरोव की मानकता कसौटी द्वारा विशेषता है। एक टीवीएस सेमिनोर्मेबल है अगर और केवल अगर इसकी उत्पत्ति के उत्तल बाध्य पड़ोस है। इस प्रकार एक स्थानीय रूप से उत्तल टीवीएस सेमिनोर्मेबल है अगर और केवल अगर इसमें एक गैर-खाली बाउंडेड ओपन सेट है। एक टीवीएस सामान्य है अगर और केवल अगर यह एक टी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$ एक आदर्श है।

सामान्यीकरण

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

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

एक ultraseminorm या ए non-Archimedean seminorm एक सेमिनोर्म है $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}$ ए कहा जाता है quasi-seminorm अगर यह (बिल्कुल) सजातीय है और कुछ मौजूद है $b\leq 1$ ऐसा है कि $p(x+y)\leq bp(p(x)+p(y)){\text{ for all }}x,y\in X.$ का सबसे छोटा मान $b$ जिसके लिए यह धारण कहा जाता है multiplier of $p.$ बिंदुओं को अलग करने वाले अर्ध-सम्मेलन को कहा जाता है quasi-norm पर $X.$ कमजोर पड़ रही एकरूपता- $k$-सेमिनोर्म्स

नक्षा $p:X\to \mathbb {R}$ ए कहा जाता है $k$-seminorm अगर यह सबएडिटिव है और मौजूद है $k$ ऐसा है कि $0<k\leq 1$ और सभी के लिए $x\in X$ और अदिश $s,$

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

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

Suppose that $q$ is a quasi-seminorm on a vector space $X$ with multiplier $b.$ If $0<{\sqrt {k}}<\log _{2}b$ then there exists $k$-seminorm $p$ on $X$ equivalent to $q.$

यह भी देखें

• Asymmetric norm
• Banach space
• Contraction mapping
• Finest locally convex topology
• Hahn-Banach theorem
• Gowers norm
• Locally convex topological vector space
• Mahalanobis distance
• Matrix norm – Norm on a vector space of matrices
• Minkowski functional
• Norm (mathematics) – Length in a vector space
• Normed vector space
• Relation of norms and metrics
• Sublinear function

टिप्पणियाँ

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