नियम (गणित)

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

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

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

परिभाषा
एक सदिश स्थान दिया गया है $$X$$ फील्ड एक्सटेंशन पर $$F$$ सम्मिश्र संख्याओं का $$\Complex,$$ एक नियम पर $$X$$ एक वास्तविक मान फलन है $$p : X \to \R$$ निम्नलिखित गुणों के साथ, जहाँ $$|s|$$ एक अदिश के सामान्य निरपेक्ष मान को दर्शाता है $$s$$: एक अर्धनियम पर $$X$$ एक कार्य है $$p : X \to \R$$ जिसमें गुण हैं (1.) और (2.) ताकि विशेष रूप से, प्रत्येक नियम भी एक अर्धनियम (और इस प्रकार एक उपरैखिक कार्यात्मक) भी हो। यद्यपि, ऐसे अर्धनियम उपस्थित हैं जो नियम नहीं हैं। गुण (1.) और (2.) का अर्थ है कि यदि $$p$$ एक नियम (या अधिक प्रायः, एक अर्धनियम) है $$p(0) = 0$$ और कि $$p$$ निम्नलिखित गुण भी है:
 * 1) उप-योगात्मक कार्य / त्रिभुज असमानता: $$p(x + y) \leq p(x) + p(y)$$ सभी के लिए $$x, y \in X.$$
 * 2) सजातीय कार्य: $$p(s x) = \left|s\right| p(x)$$ सभी के लिए $$x \in X$$ और सभी अदिश्स $$s.$$
 * 3) सकारात्मक निश्चितता/: सभी के लिए $$x \in X,$$ यदि $$p(x) = 0$$ फिर $$x = 0.$$
 * 4) * क्योंकि गुण (2.) का तात्पर्य है $$p(0) = 0,$$ कुछ लेखक गुण (3.) को समतुल्य स्थिति से प्रतिस्थापित करते हैं: प्रत्येक के लिए $$x \in X,$$ $$p(x) = 0$$ यदि और मात्र यदि  $$x = 0.$$


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

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

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

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

उदाहरण
प्रत्येक (वास्तविक या सम्मिश्र) सदिश स्थान एक नियम को स्वीकार करता है: यदि $$x_{\bull} = \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}$$ भी है $$\R$$ या $$\Complex,$$ और नियम-संरक्षण का अर्थ है $$|x| = p(f(x)).$$ यह समरूपता भेजकर दी जाती है $$1 \isin \mathbb{F}$$ नियम के एक सदिश के लिए $$1,$$ जो अस्तित्व में है क्योंकि इस तरह के एक सदिश को किसी गैर-शून्य सदिश को उसके नियम के व्युत्क्रम से गुणा करके प्राप्त किया जाता है।

यूक्लिडियननियम
$$n$$-आयामी यूक्लिडियन स्थान $$\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" के रूप में भी संदर्भित किया जा सकता है, जो वर्गों के योग के वर्गमूल के लिए एक संक्षिप्त नाम है।

यूक्लिडियन नियम अब तक $$\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$$ दूरी।

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

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

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

विहित नियम पर $$\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}$$ के समान सदिश स्थान के रूप में माना जाता है $$\R^4.$$ इसी तरह, अष्टकैक पर विहित नियम सिर्फ यूक्लिडियन नियम है $$\R^8.$$

परिमित-आयामी सम्मिश्र नियम स्थान
एक पर $$n$$-आयामी सम्मिश्र स्थान का समन्वय करता है $$\Complex^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}}.$$

टैक्सीकैब नियम या मैनहट्टन नियम
$$\|\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$$ यह नियम नहीं है क्योंकि इसके नकारात्मक परिणाम हो सकते हैं।

पी-नियम
$$p \geq 1$$ वास्तविक संख्या हो। $$p$$-नियम (जिसे $$\ell_p$$-नियम भी कहा जाता है) का सदिश  $$\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$$ के लिये ,हमें टैक्सीकैब नियम  मिलता है,$$p = 2$$ हमें यूक्लिडियन नियम मिलता है, और जैसे $$p$$ दृष्टिकोण $$\infty$$ $$p$$-नियम अनंत नियम या अधिकतम नियम की ओर बढ़ता है:: $$\|\mathbf{x}\|_\infty := \max_i \left|x_i\right|.$$ $$p$$>-नियम सामान्यीकृत माध्य या शक्ति माध्य से संबंधित है। $$p = 2$$ के लिये, $$\|\,\cdot\,\|_2$$-नियम भी एक विहित आंतरिक उत्पाद $${\displaystyle \langle \,\cdot ,\,\cdot \rangle }$$ से प्रेरित है जिसका अर्थ है $$\|\mathbf{x}\|_2 = \sqrt{\langle \mathbf{x}, \mathbf{x} \rangle}$$ सभी सदिशों  के लिए $$\mathbf{x}.$$ यह आंतरिक उत्पाद ध्रुवीकरण पहचान का उपयोग करके नियम के रूप में व्यक्त किया जा सकता है।पर $$\ell^2,$$ यह आंतरिक उत्पाद  द्वारा परिभाषित है $$\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 dx.$$ यह परिभाषा अभी भी $$0 < p < 1$$ रुचि की है परन्तु परिणामी कार्य एक नियम को परिभाषित नहीं करता है, क्योंकि यह त्रिभुज असमानता का उल्लंघन करता है।  $$0 < p < 1$$ इस स्थिति  में क्या सत्य है, मापने योग्य अनुरूप में भी। वह  $$L^p$$ वर्ग  एक सदिश स्थान संगत है, और यह भी सत्य है कि कार्य $$\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-1}_p}.$$ जहाँ पर $$\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}.$$

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


यदि $$\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,$$ किनारे की लंबाई के साथ हाइपरक्यूब की सतह बनाता है $$2 c.$$

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

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

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

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

$$\|x\|_p = \bigg(\sum_{i \in \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 \sube \R^n$$ क्रमशः, जिसे और अधिक सामान्यीकृत किया जा सकता है (हार उपाय देखें)।

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

समग्रनियम
अन्यनियम चालू $$\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}$$ पर एक नियम है $$\R^4.$$ किसी भीनियम और किसी भी इंजेक्शन कार्य रैखिक परिवर्तन के लिए $$A$$ का एक नयानियम परिभाषित कर सकते हैं $$x,$$ के बराबर $$\|A x\|.$$ 2डी में, के साथ $$A$$ 45 डिग्री का रोटेशन और एक उपयुक्त स्केलिंग, यह टैक्सीकेबनियम को अधिकतमनियम में बदल देता है। प्रत्येक $$A$$ टैक्सिकैबनियम पर लागू, कुल्हाड़ियों के व्युत्क्रम और इंटरचेंजिंग तक, एक अलग यूनिट बॉल देता है: एक विशेष आकार, आकार और अभिविन्यास का एक समानांतर चतुर्भुज।

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

ऐसेनियमों के उदाहरण हैं जिन्हें प्रवेशवार सूत्रों द्वारा परिभाषित नहीं किया गया है। उदाहरण के लिए, एक केंद्रीय-सममित उत्तल पिंड का मिन्कोव्स्की कार्यात्मक $$\R^n$$ (शून्य पर केंद्रित) एकनियम को परिभाषित करता है $$\R^n$$ (देखना नीचे)।

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

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

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

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

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

गुण
किसी भी नियम के लिए $$p : X \to \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_कार्य#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$$ कहा जाता हैयदि वे एक ही सांस्थिति को प्रेरित करते हैं, जो तब होता है जब सकारात्मक वास्तविक संख्याएं उपस्थित होती हैं $$C$$ तथा $$D$$ ऐसा कि सभी के लिए $$x \in X$$ $$C \|x\|_\alpha \leq \|x\|_\beta \leq D \|x\|_\alpha.$$ उदाहरण के लिए, अगर $$p > r \geq 1$$ पर $$\Complex^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.$$ यदि सदिश स्थान एक परिमित-आयामी वास्तविक या सम्मिश्र है, तो सभीनियम समान हैं। दूसरी ओर, अनंत-आयामी सदिश रिक्त स्थान के स्थिति में, सभी नियम समान नहीं होते हैं।

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

सेमीनियम्स का वर्गीकरण: बिल्कुल उत्तल अवशोषक सेट
सदिश स्थान पर सभी सेमीनियम्स $$X$$ बिल्कुल उत्तल अवशोषक समूहके रूप में वर्गीकृत किया जा सकता है $$A$$ का $$X.$$ ऐसे प्रत्येक उपसमुच्चय के लिए एक सेमिनियम मेल खाता है $$p_A$$ का मिन्कोवस्की कार्यात्मक कहा जाता है $$A,$$ के रूप में परिभाषित किया गया है $$p_A(x) := \inf \{r \in \R : r > 0, x \in r A\}$$ जहाँ पर $$\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\}$$ एक नियम है।