नियम (गणित)

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: यूक्लिडियन नियम and यूक्लिडियन दूरी

$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}$ का सबसे अधिक इस्तेमाल किया जाने वाला नियम है,लेकिन इस सदिश स्थान पर अन्य नियम हैं जैसा कि नीचे दिखाया जाएगा।यद्यपि, ये सभी नियम इस मायने में समान हैं कि ये सभी एक ही सांस्थिति को परिभाषित करते हैं।

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

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

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

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

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

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

सम्मिश्र संख्याओं का यूक्लिडियन नियम

See also: बिंदु उत्पाद § सम्मिश्र सदिश

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

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

See also: चतुष्क and अष्टकैक

वास्तविक संख्याओं के ऊपर ठीक चार हर्विट्ज़ प्रमेय (बीजगणित रचना) हैं। ये हैं वास्तविक संख्या $\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.