नियम (गणित)

This article is about norms of normed vector spaces. For field theory, see Field norm. For ideals, see Ideal norm. For group theory, see Norm (group). For norms in descriptive set theory, see prewellordering.

गणित में, नियम एक वास्तविक या जटिल सदिश स्थान से गैर-ऋणात्मक वास्तविक संख्याओं का एक फलन है जो मूल से दूरी जैसे निश्चित तरीकों से व्यवहार करता है: यह स्केलिंग के साथ चलता है, त्रिकोण असमानता के एक रूप का पालन करता है, और केवल मूल बिंदु पर शून्य है।विशेष रूप से, मूल से एक सदिश की यूक्लिडियन दूरी एक नियम है, जिसे यूक्लिडियन नियम या 2-नियम कहा जाता है, जिसे स्वयं के साथ एक सदिश के आंतरिक उत्पाद के वर्गमूल के रूप में भी परिभाषित किया जा सकता है।

एक अर्धनियम नियम के पहले दो गुणों को संतुष्ट करता है, लेकिन मूल के अतिरिक्त अन्य सदिशों के लिए शून्य हो सकता है। एक विशिष्ट नियम के साथ एक सदिश स्थान को एक आदर्श सदिश स्थान कहा जाता है। इसी तरह से, अर्धनियम वाली सदिश समष्टि को अर्धनियम सदिश समष्टि कहते हैं।

'आभासी नियम' शब्द का प्रयोग कई संबंधित अर्थों के लिए किया गया है। यह अर्धनियम का पर्यायवाची हो सकता है। एक आभासी नियम समान स्वयंसिद्धों को एक नियम के रूप में संतुष्ट कर सकता है,असमानता द्वारा प्रतिस्थापित समानता के साथ$\,\leq \,$एक रूपता सिद्धांत में।यह एक नियम का भी उल्लेख कर सकता है जो अनंत मान ले सकता है, या निर्देशित समुच्चय द्वारा पैरामिट्रीकृत कुछ कार्यों के लिए।

परिभाषा

एक सदिश स्थान दिया गया है $X$ फील्ड एक्सटेंशन पर $F$ जटिल संख्याओं का $\mathbb {C} ,$ एक नियम पर $X$ एक वास्तविक मान फलन है $p:X\to \mathbb {R}$ निम्नलिखित गुणों के साथ, जहाँ $|s|$ एक अदिश के सामान्य निरपेक्ष मान को दर्शाता है $s$:

1. उप-योगात्मक कार्य / त्रिभुज असमानता: $p(x+y)\leq p(x)+p(y)$ सभी के लिए $x,y\in X.$
2. सजातीय कार्य: $p(sx)=\left|s\right|p(x)$ सभी के लिए $x\in X$ और सभी स्केलर्स $s.$
3. सकारात्मक निश्चितता/बिंदु-पृथक्करण: सभी के लिए $x\in X,$ यदि $p(x)=0$ फिर $x=0.$
   • क्योंकि गुण (2.) का तात्पर्य है $p(0)=0,$ कुछ लेखक गुण (3.) को समतुल्य स्थिति से प्रतिस्थापित करते हैं: प्रत्येक के लिए $x\in X,$ $p(x)=0$ यदि और केवल यदि $x=0.$

एक अर्धनियम पर $X$ एक कार्य है $p:X\to \mathbb {R}$ जिसमें गुण हैं (1.) और (2.) ताकि विशेष रूप से, प्रत्येक नियम भी एक अर्धनियम (और इस प्रकार एक उपरैखिक कार्यात्मक) भी हो। यद्यपि, ऐसे अर्धनियम उपस्थित हैं जो नियम नहीं हैं। गुण (1.) और (2.) का अर्थ है कि यदि $p$ एक नियम (या अधिक प्रायः, एक अर्धनियम) है $p(0)=0$ और कि $p$ निम्नलिखित गुण भी है:

2. नकारात्मक|गैर-नकारात्मकता: $p(x)\geq 0$ सभी के लिए $x\in X.$

कुछ लेखकों ने नियम की परिभाषा के भाग के रूप में गैर-नकारात्मकता को शामिल किया है, यद्यपि यह आवश्यक नहीं है।

समतुल्यनियम

मान लो कि $p$ तथा $q$ सदिश स्थान पर दो नियम (या अर्धनियम) हैं $X.$ फिर $p$ तथा $q$ समतुल्य कहलाते हैं, यदि दो सकारात्मक वास्तविक स्थिरांक उपस्थित हों $c$ तथा $C$ साथ $c>0$ ऐसा है कि हर सदिश के लिए $x\in X,$

$$cq(x)\leq p(x)\leq Cq(x).$$

सम्बन्ध $p$ के बराबर है $q$ स्वतुल्य संबंध है, सममित संबंध ($cq\leq p\leq Cq$ तात्पर्य ${\tfrac {1}{C}}p\leq q\leq {\tfrac {1}{c}}p$), और सकर्मक और इस प्रकार सभी नियमों के समूह पर एक समानता संबंध को परिभाषित करता है $X.$नियम $p$ तथा $q$ समतुल्य हैं यदि और केवल यदि वे समान संस्थिति को प्रेरित करते हैं $X.$ परिमित-आयामी स्थान पर कोई भी दो नियम समतुल्य हैं लेकिन यह अनंत-आयामी स्थानों तक विस्तृत नहीं है।

अंकन

यदि एक नियम $p:X\to \mathbb {R}$ एक सदिश स्थान पर दिया गया है $X,$ फिर एक सदिश का नियम $z\in X$ प्रायः इसे दोहरी खड़ी रेखाएँ के भीतर संलग्न करके दर्शाया जाता है: $\|z\|=p(z).$ इस तरह के अंकन का उपयोग कभी-कभी किया जाता है $p$ केवल एक अर्धनियम है। यूक्लिडियन अंतरिक्ष में एक सदिश की लंबाई के लिए (जो एक आदर्श का एक उदाहरण है, #यूक्लिडियननियम के रूप में), अंकन $|x|$ एकल लंबवत रेखाओं के साथ भी व्यापक है।

उदाहरण

प्रत्येक (वास्तविक या जटिल) सदिश स्थान एक नियम को स्वीकार करता है: यदि $x_{\bullet }=\left(x_{i}\right)_{i\in I}$ सदिश समष्टि के लिए हामेल आधार है $X$ फिर वास्तविक-मूल्यवान मानचित्र जो भेजता है $x=\sum _{i\in I}s_{i}x_{i}\in X$ (जहां सभी लेकिन निश्चित रूप से कई स्केलर हैं $s_{i}$ हैं $0$) प्रति $\sum _{i\in I}\left|s_{i}\right|$ पर एक आदर्श है $X.$ बड़ी संख्या मेंनियम भी हैं जो अतिरिक्त गुण प्रदर्शित करते हैं जो उन्हें विशिष्ट समस्याओं के लिए उपयोगी बनाते हैं।

निरपेक्ष-मूल्यनियम

निरपेक्ष मूल्य

$$\|x\|=|x|$$

आयाम (सदिश स्पेस) पर एकनियम है | वास्तविक संख्या या जटिल संख्याओं द्वारा गठित एक-आयामी सदिश रिक्त स्थान।

कोईनियम $p$ एक आयामी सदिश अंतरिक्ष पर $X$ निरपेक्ष माननियम के समतुल्य (स्केलिंग तक) है, जिसका अर्थ है कि सदिश रिक्त स्थान का एक नियम-संरक्षण समरूपता है $f:\mathbb {F} \to X,$ कहाँ पे $\mathbb {F}$ भी है $\mathbb {R}$ या $\mathbb {C} ,$ औरनियम-संरक्षण का अर्थ है $|x|=p(f(x)).$ यह समरूपता भेजकर दी जाती है $1\in \mathbb {F}$ नियम के एक सदिश के लिए $1,$ जो अस्तित्व में है क्योंकि इस तरह के एक सदिश को किसी गैर-शून्य सदिश को उसकेनियम के व्युत्क्रम से गुणा करके प्राप्त किया जाता है।

यूक्लिडियननियम

Further information: Euclidean norm and Euclidean distance

पर $n$-आयामी यूक्लिडियन अंतरिक्ष $\mathbb {R} ^{n},$ सदिश की लंबाई की सहज धारणा ${\boldsymbol {x}}=\left(x_{1},x_{2},\ldots ,x_{n}\right)$ सूत्र द्वारा ग्रहण किया गया है

$$\|{\boldsymbol {x}}\|_{2}:={\sqrt {x_{1}^{2}+\cdots +x_{n}^{2}}}.$$

यह यूक्लिडियननियम है, जो पाइथागोरस प्रमेय का एक परिणाम - मूल से बिंदु X तक सामान्य दूरी देता है। इस ऑपरेशन को SRSS के रूप में भी संदर्भित किया जा सकता है, जो वर्गों के योग के वर्गमूल के लिए एक संक्षिप्त नाम है। यूक्लिडियननियम अब तक का सबसे अधिक इस्तेमाल किया जाने वालानियम है $\mathbb {R} ^{n},$लेकिन इस सदिश स्थान पर अन्यनियम हैं जैसा कि नीचे दिखाया जाएगा। यद्यपि, ये सभीनियम इस मायने में समान हैं कि ये सभी एक ही टोपोलॉजी को परिभाषित करते हैं।

यूक्लिडियन सदिश स्थान के दो सदिशों का आंतरिक उत्पाद एक ऑर्थोनॉर्मल आधार पर उनके समन्वय सदिशों का डॉट उत्पाद है। इसलिए, यूक्लिडियननियम को एक समन्वय-मुक्त तरीके से लिखा जा सकता है

$$\|{\boldsymbol {x}}\|:={\sqrt {{\boldsymbol {x}}\cdot {\boldsymbol {x}}}}.$$

यूक्लिडियननियम को भी कहा जाता है$L^{2}$नियम, $\ell ^{2}$नियम, 2-नियम, या वर्गनियम; एलपी स्पेस देखें |$L^{p}$ अंतरिक्ष। यह यूक्लिडियन लंबाई नामक एक दूरी समारोह को परिभाषित करता है,$L^{2}$ दूरी, या$\ell ^{2}$ दूरी।

में वैक्टर का समूह$\mathbb {R} ^{n+1}$ जिसका यूक्लिडियननियम एक दिया हुआ धनात्मक स्थिरांक है जो एक n-sphere| बनाता है$n$-वृत्त।

जटिल संख्याओं का यूक्लिडियननियम

See also: Dot product § Complex vectors

किसी सम्मिश्र संख्या का यूक्लिडियन मानदण्ड उसका निरपेक्ष मान#जटिल संख्याएँ (जिसे मापांक भी कहा जाता है) होता है, यदि जटिल तल की पहचान यूक्लिडियन तल से की जाती है $\mathbb {R} ^{2}.$ जटिल संख्या की यह पहचान $x+iy$ यूक्लिडियन विमान में एक सदिश के रूप में, मात्रा बनाता है ${\textstyle {\sqrt {x^{2}+y^{2}}}}$ (जैसा कि पहले यूलर द्वारा सुझाया गया था) सम्मिश्र संख्या से जुड़ा यूक्लिडियननियम।

चतुष्कोण और अष्टक

See also: Quaternion and Octonion

वास्तविक संख्याओं के ऊपर ठीक चार हर्विट्ज़ प्रमेय (रचना बीजगणित) हैं। ये हैं असली नंबर $\mathbb {R} ,$ जटिल संख्याएँ $\mathbb {C} ,$ चतुष्कोण $\mathbb {H} ,$ और अंत में ऑक्टोनियंस $\mathbb {O} ,$ जहां वास्तविक संख्याओं पर इन रिक्त स्थानों के आयाम हैं $1,2,4,{\text{ and }}8,$ क्रमश। विहितनियम $\mathbb {R}$ तथा $\mathbb {C}$ उनके पूर्ण मूल्य कार्य हैं, जैसा कि पहले चर्चा की गई थी।

विहितनियम पर $\mathbb {H}$ चतुष्कोणों द्वारा परिभाषित किया गया है

$$\lVert q\rVert ={\sqrt {\,qq^{*}~}}={\sqrt {\,q^{*}q~}}={\sqrt {\,a^{2}+b^{2}+c^{2}+d^{2}~}}$$

हर चतुष्कोण के लिए $q=a+b\,\mathbf {i} +c\,\mathbf {j} +d\,\mathbf {k}$ में $\mathbb {H} .$ यह यूक्लिडियननियम के समान है $\mathbb {H}$ सदिश स्पेस के रूप में माना जाता है $\mathbb {R} ^{4}.$ इसी तरह, ऑक्टोनियंस पर विहितनियम सिर्फ यूक्लिडियननियम है $\mathbb {R} ^{8}.$

परिमित-आयामी जटिल नियम स्थान

एक पर $n$-डायमेंशनल कॉम्प्लेक्स अंतरिक्ष का समन्वय करता है $\mathbb {C} ^{n},$ सबसे सामान्यनियम है

$$\|{\boldsymbol {z}}\|:={\sqrt {\left|z_{1}\right|^{2}+\cdots +\left|z_{n}\right|^{2}}}={\sqrt {z_{1}{\bar {z}}_{1}+\cdots +z_{n}{\bar {z}}_{n}}}.$$

इस मामले में,नियम को सदिश और स्वयं के आंतरिक उत्पाद के वर्गमूल के रूप में व्यक्त किया जा सकता है:

$$\|{\boldsymbol {x}}\|:={\sqrt {{\boldsymbol {x}}^{H}~{\boldsymbol {x}}}},$$

कहाँ पे ${\boldsymbol {x}}$ कॉलम सदिश के रूप में दर्शाया गया है ${\begin{bmatrix}x_{1}\;x_{2}\;\dots \;x_{n}\end{bmatrix}}^{\rm {T}}$ तथा ${\boldsymbol {x}}^{H}$ इसके संयुग्म संक्रमण को दर्शाता है।

यह सूत्र किसी भी आंतरिक उत्पाद स्थान के लिए मान्य है, जिसमें यूक्लिडियन और जटिल स्थान शामिल हैं। जटिल रिक्त स्थान के लिए, आंतरिक उत्पाद जटिल डॉट उत्पाद के बराबर होता है। इसलिए इस मामले में सूत्र को निम्नलिखित अंकन का उपयोग करके भी लिखा जा सकता है:

$$\|{\boldsymbol {x}}\|:={\sqrt {{\boldsymbol {x}}\cdot {\boldsymbol {x}}}}.$$

टैक्सीकैबनियम या मैनहट्टननियम

Main article: Taxicab geometry

$$\|{\boldsymbol {x}}\|_{1}:=\sum _{i=1}^{n}\left|x_{i}\right|.$$

यह नाम उस दूरी से संबंधित है जो मूल से बिंदु तक जाने के लिए एक टैक्सी को एक आयताकार स्ट्रीट ग्रिड (मैनहट्टन के न्यूयॉर्क सिटी बोरो की तरह) में चलानी पड़ती है। $x.$ सदिशों का समूहजिसका 1-मानदंड दिया गया स्थिरांक है,नियम शून्य से 1 के बराबर आयाम के एक क्रॉस पॉलीटॉप की सतह बनाता है। टैक्सीकैबनियम को भी कहा जाता है$\ell ^{1}$नियम। इसनियम से प्राप्त दूरी को मैनहट्टन दूरी या कहा जाता है$\ell _{1}$ दूरी।

1-नियम केवल स्तंभों के निरपेक्ष मानों का योग है।

इसके विपरीत,

$$\sum _{i=1}^{n}x_{i}$$

यह नियम नहीं है क्योंकि इसके नकारात्मक परिणाम हो सकते हैं।

पी-नियम

Main article: L^p space

होने देना $p\geq 1$ वास्तविक संख्या हो। $p$वें>-नॉर्म (जिसे भी कहा जाता है $\ell _{p}$-norm) सदिश का $\mathbf {x} =(x_{1},\ldots ,x_{n})$ है

$$\|\mathbf {x} \|_{p}:=\left(\sum _{i=1}^{n}\left|x_{i}\right|^{p}\right)^{1/p}.$$

के लिये $p=1,$ हम #Taxicabनियम या मैनहट्टननियम प्राप्त करते हैं $p=2$ हमें #यूक्लिडियननियम मिलता है, और जैसा $p$ दृष्टिकोण $\infty$ $p$-नियम समाननियम या #अधिकतम_मानदंड_.28विशेष_मामले का:_अनंत_नियम.2C_समान_नियम.2C_या_सुप्रीमम_नियम.29:

$$\|\mathbf {x} \|_{\infty }:=\max _{i}\left|x_{i}\right|.$$

$p$>-मानदंड सामान्यीकृत माध्य या शक्ति माध्य से संबंधित है।

के लिये $p=2,$ $\|\,\cdot \,\|_{2}$-मानदंड भी एक विहित आंतरिक उत्पाद से प्रेरित है $\langle \,\cdot ,\,\cdot \rangle ,$ जिसका अर्थ है कि $\|\mathbf {x} \|_{2}={\sqrt {\langle \mathbf {x} ,\mathbf {x} \rangle }}$ सभी वैक्टर के लिए $\mathbf {x} .$ यह आंतरिक उत्पाद ध्रुवीकरण पहचान का उपयोग करकेनियम के रूप में व्यक्त किया जा सकता है। पर $\ell ^{2},$ यह आंतरिक उत्पाद हैEuclidean inner productद्वारा परिभाषित

$$\langle \left(x_{n}\right)_{n},\left(y_{n}\right)_{n}\rangle _{\ell ^{2}}~=~\sum _{n}{\overline {x_{n}}}y_{n}$$

जबकि अंतरिक्ष के लिए $L^{2}(X,\mu )$ एक माप (गणित) के साथ संबद्ध $(X,\Sigma ,\mu ),$ जिसमें सभी वर्ग-अभिन्न कार्य होते हैं, यह आंतरिक उत्पाद है

$$\langle f,g\rangle _{L^{2}}=\int _{X}{\overline {f(x)}}g(x)\,\mathrm {d} x.$$

यह परिभाषा अभी भी कुछ दिलचस्पी की है $0<p<1,$ लेकिन परिणामी कार्य एक आदर्श को परिभाषित नहीं करता है, क्योंकि यह त्रिभुज असमानता का उल्लंघन करता है। इस मामले में क्या सच है $0<p<1,$ मापने योग्य एनालॉग में भी, वह संगत है $L^{p}$ क्लास एक सदिश स्पेस है, और यह भी सच है कि function

$$\int _{X}|f(x)-g(x)|^{p}~\mathrm {d} \mu$$

(बिना $p$जड़) एक दूरी को परिभाषित करता है जो बनाता है $L^{p}(X)$ एक पूर्ण मीट्रिक टोपोलॉजिकल सदिश स्पेस में। कार्यात्मक विश्लेषण, संभाव्यता सिद्धांत और हार्मोनिक विश्लेषण में ये रिक्त स्थान बहुत रुचि रखते हैं। यद्यपि, तुच्छ मामलों के अलावा, यह टोपोलॉजिकल सदिश स्पेस स्थानीय रूप से उत्तल नहीं है, और इसका कोई निरंतर गैर-शून्य रैखिक रूप नहीं है। इस प्रकार टोपोलॉजिकल डुअल स्पेस में केवल शून्य कार्यात्मक होता है।

का आंशिक व्युत्पन्न $p$-नॉर्म द्वारा दिया गया है

$${\frac {\partial }{\partial x_{k}}}\|\mathbf {x} \|_{p}={\frac {x_{k}\left|x_{k}\right|^{p-2}}{\|\mathbf {x} \|_{p}^{p-1}}}.$$

के संबंध में व्युत्पन्न $x,$ इसलिए, है

$${\frac {\partial \|\mathbf {x} \|_{p}}{\partial \mathbf {x} }}={\frac {\mathbf {x} \circ |\mathbf {x} |^{p-2}}{\|\mathbf {x} \|_{p}^{p-1}}}.$$

कहाँ पे $\circ$ हैडमार्ड उत्पाद (मैट्रिसेस) को दर्शाता है और $|\cdot |$ सदिश के प्रत्येक घटक के निरपेक्ष मान के लिए उपयोग किया जाता है।

के विशेष मामले के लिए $p=2,$ यह बन जाता है

$${\frac {\partial }{\partial x_{k}}}\|\mathbf {x} \|_{2}={\frac {x_{k}}{\|\mathbf {x} \|_{2}}},$$

या

$${\frac {\partial }{\partial \mathbf {x} }}\|\mathbf {x} \|_{2}={\frac {\mathbf {x} }{\|\mathbf {x} \|_{2}}}.$$

अधिकतमनियम (विशेष मामला: अनंतनियम, समाननियम, या सर्वोच्चनियम)

$\|x\|_{\infty }=1$

Main article: Maximum norm

यदि $\mathbf {x}$ कुछ सदिश ऐसा है $\mathbf {x} =(x_{1},x_{2},\ldots ,x_{n}),$ फिर:

$$\|\mathbf {x} \|_{\infty }:=\max \left(\left|x_{1}\right|,\ldots ,\left|x_{n}\right|\right).$$

सदिशों का समुच्चय जिसका अनंतनियम एक नियतांक है, $c,$ किनारे की लंबाई के साथ हाइपरक्यूब की सतह बनाता है $2c.$

शून्यनियम

संभाव्यता और कार्यात्मक विश्लेषण में, शून्यनियम मापने योग्य कार्यों के स्थान के लिए और एफ-मानदंड के साथ अनुक्रमों के एफ-स्थान के लिए एक पूर्ण मीट्रिक टोपोलॉजी को प्रेरित करता है। ${\textstyle (x_{n})\mapsto \sum _{n}{2^{-n}x_{n}/(1+x_{n})}.}$ यहां हमारा मतलब एफ-नॉर्म से कुछ वास्तविक-मूल्यवान फ़ंक्शन है $\lVert \cdot \rVert$ दूरी के साथ एफ-स्पेस पर $d,$ ऐसा है कि $\lVert x\rVert =d(x,0).$ ऊपर वर्णित एफ-मानदंड सामान्य अर्थों में एक आदर्श नहीं है क्योंकि इसमें आवश्यक एकरूपता गुण का अभाव है।

शून्य से सदिश की हैमिंग दूरी

See also: Hamming distance and discrete metric

मीट्रिक ज्यामिति में, असतत मीट्रिक अलग-अलग बिंदुओं के लिए एक मान लेता है और अन्यथा शून्य। जब सदिश स्थान के तत्वों के लिए समन्वय-वार लागू किया जाता है, तो असतत दूरी हैमिंग दूरी को परिभाषित करती है, जो कोडिंग सिद्धांत और सूचना सिद्धांत में महत्वपूर्ण है। वास्तविक या जटिल संख्याओं के क्षेत्र में, असतत मीट्रिक की शून्य से दूरी गैर-शून्य बिंदु में सजातीय नहीं है; वास्तव में, शून्य से दूरी एक बनी रहती है क्योंकि इसका गैर-शून्य तर्क शून्य तक पहुंचता है। यद्यपि, शून्य से किसी संख्या की असतत दूरीनियम के अन्य गुणों, अर्थात् त्रिकोण असमानता और सकारात्मक निश्चितता को संतुष्ट करती है। जब सदिशों पर घटक-वार लागू किया जाता है, तो शून्य से असतत दूरी एक गैर-सजातीयनियम की तरह व्यवहार करती है, जो इसके सदिश तर्क में गैर-शून्य घटकों की संख्या की गणना करता है; फिर से, यह गैर-सजातीयनियम विच्छिन्न है।

सिग्नल प्रोसेसिंग और सांख्यिकी में, डेविड डोनोहो ने उद्धरण चिह्नों के साथ शून्य 'मानदंड' का उल्लेख किया। डोनोहो के अंकन के बाद, का शून्यनियम $x$ के गैर-शून्य निर्देशांकों की संख्या है $x,$ या शून्य से सदिश की हैमिंग दूरी। जब यहनियम एक सीमित समूहके लिए स्थानीयकृत होता है, तो इसकी सीमा होती है $p$-मानदंड के रूप में $p$ 0 तक पहुँचता है। बेशक, शून्यनियम वास्तव में एक नियम नहीं है, क्योंकि यह सजातीय कार्य नहीं है # सकारात्मक समरूपता। दरअसल, यह ऊपर वर्णित अर्थ में एक एफ-मानदंड भी नहीं है, क्योंकि यह स्केलर-सदिश गुणन में स्केलर तर्क के संबंध में और इसके सदिश तर्क के संबंध में अलग-अलग, संयुक्त रूप से और अलग-अलग है। शब्दावली का दुरुपयोग, कुछ इंजीनियर डोनोहो के उद्धरण चिह्नों को छोड़ दें और अनुपयुक्त रूप से संख्या-गैर-शून्य फ़ंक्शन को कॉल करें $L^{0}$ आदर्श, मापने योग्य कार्यों के एलपी स्थान के लिए संकेतन को प्रतिध्वनित करना।

अनंत आयाम

घटकों की अनंत संख्या के लिए उपरोक्तनियमों का सामान्यीकरण एलपी स्पेस की ओर जाता है$\ell ^{p}$ तथा $L^{p}$ रिक्त स्थान,नियमों के साथ

$$\|x\|_{p}={\bigg (}\sum _{i\in \mathbb {N} }\left|x_{i}\right|^{p}{\bigg )}^{1/p}{\text{ and }}\ \|f\|_{p,X}={\bigg (}\int _{X}|f(x)|^{p}~\mathrm {d} x{\bigg )}^{1/p}$$

जटिल-मूल्यवान अनुक्रमों और कार्यों के लिए $X\subseteq \mathbb {R} ^{n}$ क्रमशः, जिसे और अधिक सामान्यीकृत किया जा सकता है (हार उपाय देखें)।

कोई भी आंतरिक उत्पाद स्वाभाविक रूप से आदर्श को प्रेरित करता है ${\textstyle \|x\|:={\sqrt {\langle x,x\rangle }}.}$ अनंत-आयामी नियम सदिश स्थानों के अन्य उदाहरण बनच अंतरिक्ष लेख में पाए जा सकते हैं।

समग्रनियम

अन्यनियम चालू $\mathbb {R} ^{n}$ उपरोक्त को मिलाकर बनाया जा सकता है; उदाहरण के लिए

$$\|x\|:=2\left|x_{1}\right|+{\sqrt {3\left|x_{2}\right|^{2}+\max(\left|x_{3}\right|,2\left|x_{4}\right|)^{2}}}$$

पर एक आदर्श है $\mathbb {R} ^{4}.$ किसी भीनियम और किसी भी इंजेक्शन समारोह रैखिक परिवर्तन के लिए $A$ का एक नयानियम परिभाषित कर सकते हैं $x,$ के बराबर

$$\|Ax\|.$$

2डी में, के साथ $A$ 45 डिग्री का रोटेशन और एक उपयुक्त स्केलिंग, यह टैक्सीकेबनियम को अधिकतमनियम में बदल देता है। प्रत्येक $A$ टैक्सिकैबनियम पर लागू, कुल्हाड़ियों के व्युत्क्रम और इंटरचेंजिंग तक, एक अलग यूनिट बॉल देता है: एक विशेष आकार, आकार और अभिविन्यास का एक समानांतर चतुर्भुज।

3डी में, यह समान है लेकिन 1-नॉर्म (ऑक्टाहेड्रॉन) और अधिकतम नॉर्म (प्रिज्म (ज्यामिति) समांतर चतुर्भुज आधार के साथ) के लिए अलग है।

ऐसेनियमों के उदाहरण हैं जिन्हें प्रवेशवार सूत्रों द्वारा परिभाषित नहीं किया गया है। उदाहरण के लिए, एक केंद्रीय-सममित उत्तल पिंड का मिन्कोव्स्की कार्यात्मक $\mathbb {R} ^{n}$ (शून्य पर केंद्रित) एकनियम को परिभाषित करता है $\mathbb {R} ^{n}$ (देखना § Classification of seminorms: absolutely convex absorbing sets नीचे)।

उपरोक्त सभी सूत्र भीनियम उत्पन्न करते हैं $\mathbb {C} ^{n}$ बिना संशोधन के।

मैट्रिसेस (वास्तविक या जटिल प्रविष्टियों के साथ) के रिक्त स्थान पर भीनियम हैं, तथाकथित मैट्रिक्सनियम।

अमूर्त बीजगणित में

Main article: Field norm

होने देना $E$ एक क्षेत्र का परिमित विस्तार हो $k$ अविभाज्य डिग्री का $p^{\mu },$ और जाने $k$ बीजगणितीय बंद है $K.$ यदि विशिष्ट क्षेत्र समरूपता $E$ हैं $\left\{\sigma _{j}\right\}_{j},$ फिर एक तत्व का गैलोज़-सैद्धांतिकनियम $\alpha \in E$ मूल्य है ${\textstyle \left(\prod _{j}{\sigma _{k}(\alpha )}\right)^{p^{\mu }}.}$ जैसा कि कार्य एक क्षेत्र विस्तार की डिग्री डिग्री का सजातीय है$[E:k]$, गाल्वा-सैद्धांतिकनियम इस लेख के अर्थ में एक आदर्श नहीं है। यद्यपि $[E:k]$नियम की -थ रूट (यह मानते हुए कि अवधारणा समझ में आता है) एक नियम है।

रचना बीजगणित

मानदंड की अवधारणा $N(z)$ रचना में बीजगणित करता है not नियम के सामान्य गुणों को साझा करें क्योंकि यह नकारात्मक या शून्य हो सकता है $z\neq 0.$ एक रचना बीजगणित $(A,{}^{*},N)$ एक क्षेत्र पर एक बीजगणित के होते हैं $A,$ एक समावेशन (गणित) ${}^{*},$ और एक द्विघात रूप एक क्षेत्र विस्तार की डिग्री |$N(z)=zz^{*}$आदर्श कहा जाता है।

रचना बीजगणित की विशेषता विशेषता समरूपता की गुण है $N$: उत्पाद के लिए $wz$ दो तत्वों का $w$ तथा $z$ रचना बीजगणित की, इसकानियम संतुष्ट करता है $N(wz)=N(w)N(z).$ के लिये $\mathbb {R} ,$ $\mathbb {C} ,$ $\mathbb {H} ,$ और O रचना बीजगणितनियम ऊपर चर्चा किए गएनियम का वर्ग है। उन मामलों में आदर्श एक निश्चित द्विघात रूप है। अन्य रचना बीजगणित में आदर्श एक आइसोट्रोपिक द्विघात रूप है।

गुण

किसी भी नियम के लिए $p:X\to \mathbb {R}$ एक सदिश स्थान पर $X,$ रिवर्स त्रिकोण असमानता रखती है:

$$p(x\pm y)\geq |p(x)-p(y)|{\text{ for all }}x,y\in X.$$

यदि $u:X\to Y$नियम रिक्त स्थान के बीच एक निरंतर रेखीय मानचित्र है, फिर कानियम $u$ और के स्थानांतरण कानियम $u$ बराबर हैं। एलपी स्पेस के लिए |$L^{p}$नियम, हमारे पास होल्डर की असमानता है

$$|\langle x,y\rangle |\leq \|x\|_{p}\|y\|_{q}\qquad {\frac {1}{p}}+{\frac {1}{q}}=1.$$

इसका एक विशेष मामला कॉची-श्वार्ज़ असमानता है:

$$\left|\langle x,y\rangle \right|\leq \|x\|_{2}\|y\|_{2}.$$

विभिन्ननियमों में इकाई हलकों के उदाहरण।

प्रत्येकनियम एक सेमिनॉर्म है और इस प्रकार सभी सेमिनॉर्म#बीजगणितीय_गुणों को संतुष्ट करता है। बदले में, प्रत्येक सेमिनॉर्म एक उपरेखीय कार्य है और इस प्रकार सभी Sublinear_function#Properties को संतुष्ट करता है। विशेष रूप से, प्रत्येकनियम एक उत्तल कार्य है।

समानता

यूनिट सर्कल की अवधारणा (नियम 1 के सभी वैक्टरों का सेट) अलग-अलगनियमों में भिन्न है: 1-नियम के लिए, इकाई चक्र एक वर्ग (ज्यामिति) है, 2-नियम (यूक्लिडियननियम) के लिए, यह है प्रसिद्ध यूनिट सर्कल, जबकि इन्फिनिटीनियम के लिए, यह एक अलग वर्ग है। किसी के लिए $p$-नॉर्म, यह सर्वांगसम अक्षों के साथ एक सुपरलिप्स है (साथ में चित्रण देखें)।नियम की परिभाषा के कारण, यूनिट सर्कल को उत्तल समूहऔर केंद्रीय रूप से सममित होना चाहिए (इसलिए, उदाहरण के लिए, यूनिट बॉल एक आयत हो सकती है लेकिन एक त्रिकोण नहीं हो सकती है, और $p\geq 1$ एक के लिए $p$-आदर्श)।

सदिश स्थान के संदर्भ में, सेमिनॉर्म अंतरिक्ष पर एक टोपोलॉजी को परिभाषित करता है, और यह हॉसडॉर्फ स्पेस टोपोलॉजी है, जब सेमिनॉर्म अलग-अलग वैक्टरों के बीच अंतर कर सकता है, जो फिर से अर्धनियम के एक नियम के बराबर है। इस प्रकार परिभाषित टोपोलॉजी (या तो एक नियम या एक अर्धनियम द्वारा) अनुक्रम या खुले समूहके संदर्भ में समझा जा सकता है। वैक्टर का एक क्रम $\{v_{n}\}$ सामान्य रूप से अभिसरण के तरीकों को कहा जाता है $v,$ यदि $\left\|v_{n}-v\right\|\to 0$ जैसा $n\to \infty .$ समान रूप से, टोपोलॉजी में सभी समूहहोते हैं जिन्हें ओपन बॉल (गणित) के संघ के रूप में दर्शाया जा सकता है। यदि $(X,\|\cdot \|)$ तब एक आदर्श स्थान है $\|x-y\|=\|x-z\|+\|z-y\|{\text{ for all }}x,y\in X{\text{ and }}z\in [x,y].$ दोनियम $\|\cdot \|_{\alpha }$ तथा $\|\cdot \|_{\beta }$ एक सदिश स्थान पर $X$ कहा जाता हैequivalentयदि वे एक ही टोपोलॉजी को प्रेरित करते हैं, जो तब होता है जब सकारात्मक वास्तविक संख्याएं उपस्थित होती हैं $C$ तथा $D$ ऐसा कि सभी के लिए $x\in X$

$$C\|x\|_{\alpha }\leq \|x\|_{\beta }\leq D\|x\|_{\alpha }.$$

उदाहरण के लिए, अगर $p>r\geq 1$ पर $\mathbb {C} ^{n},$ फिर

$$\|x\|_{p}\leq \|x\|_{r}\leq n^{(1/r-1/p)}\|x\|_{p}.$$

विशेष रूप से,

$$\|x\|_{2}\leq \|x\|_{1}\leq {\sqrt {n}}\|x\|_{2}$$

$$\|x\|_{\infty }\leq \|x\|_{2}\leq {\sqrt {n}}\|x\|_{\infty }$$

$$\|x\|_{\infty }\leq \|x\|_{1}\leq n\|x\|_{\infty },$$

वह है,

$$\|x\|_{\infty }\leq \|x\|_{2}\leq \|x\|_{1}\leq {\sqrt {n}}\|x\|_{2}\leq n\|x\|_{\infty }.$$

यदि सदिश स्थान एक परिमित-आयामी वास्तविक या जटिल है, तो सभीनियम समान हैं। दूसरी ओर, अनंत-आयामी सदिश रिक्त स्थान के मामले में, सभी नियम समान नहीं होते हैं।

समतुल्यनियम निरंतरता और अभिसरण की समान धारणाओं को परिभाषित करते हैं और कई उद्देश्यों के लिए इन्हें अलग करने की आवश्यकता नहीं है। अधिक सटीक होने के लिए सदिश स्थान पर समतुल्यनियमों द्वारा परिभाषित समान संरचना समान रूप से आइसोमॉर्फिक है।

सेमीनॉर्म्स का वर्गीकरण: बिल्कुल उत्तल अवशोषक सेट

Main article: Seminorm

सदिश स्थान पर सभी सेमीनॉर्म्स $X$ बिल्कुल उत्तल अवशोषक समूहके रूप में वर्गीकृत किया जा सकता है $A$ का $X.$ ऐसे प्रत्येक उपसमुच्चय के लिए एक सेमिनॉर्म मेल खाता है $p_{A}$ का मिन्कोवस्की कार्यात्मक कहा जाता है $A,$ के रूप में परिभाषित किया गया है

$$p_{A}(x):=\inf\{r\in \mathbb {R} :r>0,x\in rA\}$$

कहाँ पे $\inf _{}$ अनंत है, गुण के साथ कि

$$\left\{x\in X:p_{A}(x)<1\right\}~\subseteq ~A~\subseteq ~\left\{x\in X:p_{A}(x)\leq 1\right\}.$$

इसके विपरीत:

किसी भी स्थानीय रूप से उत्तल टोपोलॉजिकल सदिश स्पेस में एक स्थानीय आधार होता है जिसमें बिल्कुल उत्तल समूहहोते हैं। इस तरह के आधार का निर्माण करने का एक सामान्य तरीका एक परिवार का उपयोग करना है $(p)$ अर्धनियम्स का $p$ वह अलगाव स्वयंसिद्ध: समूहके सभी परिमित चौराहों का संग्रह $\{p<1/n\}$ अंतरिक्ष को स्थानीय रूप से उत्तल टोपोलॉजिकल सदिश स्पेस में बदल देता है ताकि प्रत्येक पी निरंतर कार्य हो।

इस तरह की विधि का उपयोग कमजोर टोपोलॉजी | कमजोर और कमजोर * टोपोलॉजी को डिजाइन करने के लिए किया जाता है।

सामान्य मामला:

मान लीजिए कि अब $(p)$ एक शामिल है $p:$ जबसे $(p)$ जुदाई स्वयंसिद्ध है, $p$ एक आदर्श है, और $A=\{p<1\}$ इसकी ओपन यूनिट बॉल है। फिर $A$ 0 का बिल्कुल उत्तल घिरा समूहपड़ोस है, और $p=p_{A}$ निरंतर है।

विपरीत एंड्री कोलमोगोरोव के कारण है: कोई भी स्थानीय रूप से उत्तल और स्थानीय रूप से घिरा टोपोलॉजिकल सदिश स्थान सामान्य है। सटीक रूप से:

यदि $X$ 0, गेज का बिल्कुल उत्तल परिबद्ध पड़ोस है $g_{X}$ (ताकि $X=\{g_{X}<1\}$ एक आदर्श है।

यह भी देखें

• Asymmetric norm
• F-seminorm
• Gowers norm
• Kadec norm
• Least-squares spectral analysis
• Mahalanobis distance
• Magnitude (mathematics)
• Matrix norm – Norm on a vector space of matrices
• Minkowski distance
• Minkowski functional
• Operator norm
• Paranorm
• Relation of norms and metrics
• Seminorm
• Sublinear function

ग्रन्थसूची

• 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.
• 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.
• Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
• 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.
• 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.