View source for नियम (गणित)

{{short description|Length in a vector space}}
{{about|norms of [[normed vector space]]s|field theory|Field norm|ideals|Ideal norm|group theory|Norm (group)|norms in descriptive set theory|prewellordering}}
गणित में, नियम एक वास्तविक या जटिल सदिश स्थान से गैर-ऋणात्मक वास्तविक संख्याओं का एक फलन है जो मूल से दूरी जैसे निश्चित तरीकों से व्यवहार करता है: यह स्केलिंग के साथ चलता है, त्रिकोण असमानता के एक रूप का पालन करता है, और केवल मूल बिंदु पर शून्य है।विशेष रूप से, मूल से एक वेक्टर की यूक्लिडियन दूरी एक नियम है, जिसे यूक्लिडियन नियम या 2-नियम कहा जाता है, जिसे स्वयं के साथ एक वेक्टर के आंतरिक उत्पाद के वर्गमूल के रूप में भी परिभाषित किया जा सकता है।

एक सेमिनॉर्म मानक के पहले दो गुणों को संतुष्ट करता है, लेकिन मूल के अलावा अन्य वैक्टरों के लिए शून्य हो सकता है।<ref name="Knapp">{{cite book|title=बुनियादी वास्तविक विश्लेषण|publisher=Birkhäuser|author=Knapp, A.W.|year=2005|page=[https://books.google.fr/books?id=4ZZCAAAAQBAJ&pg=279#v=onepage&q&f=false] |isbn=978-0-817-63250-2}}</ref> एक विशिष्ट मानदंड के साथ एक सदिश स्थान को एक आदर्श सदिश स्थान कहा जाता है। इसी तरह से, सेमिनॉर्म वाली सदिश समष्टि को सेमिनोर्म सदिश समष्टि कहते हैं।

'स्यूडोनॉर्म' शब्द का प्रयोग कई संबंधित अर्थों के लिए किया गया है। यह सेमिनॉर्म का पर्यायवाची हो सकता है।<ref name="Knapp">{{cite book|title=बुनियादी वास्तविक विश्लेषण|publisher=Birkhäuser|author=Knapp, A.W.|year=2005|page=[https://books.google.fr/books?id=4ZZCAAAAQBAJ&pg=279#v=onepage&q&f=false] |isbn=978-0-817-63250-2}}</ref> एक असमानता द्वारा प्रतिस्थापित समानता के साथ, एक छद्म मानदंड समान स्वयंसिद्धों को एक मानक के रूप में संतुष्ट कर सकता है<math>\,\leq\,</math>एकरूपता स्वयंसिद्ध में।<ref>{{Cite web |title=छद्म मानदंड - गणित का विश्वकोश|url=https://encyclopediaofmath.org/wiki/Pseudo-norm |access-date=2022-05-12 |website=encyclopediaofmath.org}}</ref>
यह एक मानदंड का भी उल्लेख कर सकता है जो अनंत मान ले सकता है,<ref>{{Cite web |title=स्यूडोनॉर्म|url=https://www.spektrum.de/lexikon/mathematik/pseudonorm/8161 |access-date=2022-05-12 |website=www.spektrum.de |language=de}}</ref> या निर्देशित सेट द्वारा पैरामीट्रिज्ड कुछ कार्यों के लिए।<ref>{{Cite journal |last=Hyers |first=D. H. |date=1939-09-01 |title=छद्म-मानकित रैखिक रिक्त स्थान और एबेलियन समूह|url=http://dx.doi.org/10.1215/s0012-7094-39-00551-x |journal=Duke Mathematical Journal |volume=5 |issue=3 |doi=10.1215/s0012-7094-39-00551-x |issn=0012-7094}}</ref>

{{TOCLimit}}


== परिभाषा ==

एक सदिश स्थान दिया गया है <math>X</math> फील्ड एक्सटेंशन पर <math>F</math> जटिल संख्याओं का <math>\Complex,</math> एक मानदंड चालू <math>X</math> एक वास्तविक मूल्यवान कार्य है <math>p : X \to \R</math> निम्नलिखित गुणों के साथ, कहाँ <math>|s|</math> एक अदिश के सामान्य निरपेक्ष मान को दर्शाता है <math>s</math>:<ref>{{cite book|title=वास्तविक गणितीय विश्लेषण|publisher=Springer |author=Pugh, C.C.|year=2015|page=[https://books.google.com.tr/books?id=2NVJCgAAQBAJ&pg=PA28 page 28]|isbn=978-3-319-17770-0}} {{cite book|title=Quantum Mechanics in Hilbert Space|author=Prugovečki, E.|year=1981|page=[https://books.google.com/books?id=GxmQxn2PF3IC&pg=PA20 page 20]}}</ref>
# उप-योगात्मक कार्य / त्रिभुज असमानता: <math>p(x + y) \leq p(x) + p(y)</math> सभी के लिए <math>x, y \in X.</math>
# सजातीय कार्य: <math>p(s x) = \left|s\right| p(x)</math> सभी के लिए <math>x \in X</math> और सभी स्केलर्स <math>s.</math>
#सकारात्मक निश्चितता/{{Visible anchor|Point-separating}}: सभी के लिए <math>x \in X,</math> यदि <math>p(x) = 0</math> फिर <math>x = 0.</math>
#* क्योंकि गुण (2.) का तात्पर्य है <math>p(0) = 0,</math> कुछ लेखक गुण (3.) को समतुल्य स्थिति से प्रतिस्थापित करते हैं: प्रत्येक के लिए <math>x \in X,</math> <math>p(x) = 0</math> अगर और केवल अगर <math>x = 0.</math>
एक सेमिनार चालू <math>X</math> एक कार्य है <math>p : X \to \R</math> जिसमें गुण हैं (1.) और (2.)<ref>{{cite book|title=कार्यात्मक विश्लेषण|author=Rudin, W.|year=1991|page=25}}</ref> ताकि विशेष रूप से, प्रत्येक मानदंड भी एक सेमिनोर्म (और इस प्रकार एक सबलाइनियर कार्यात्मक) भी हो। हालाँकि, ऐसे सेमिनोर्म मौजूद हैं जो मानदंड नहीं हैं। गुण (1.) और (2.) का अर्थ है कि यदि <math>p</math> एक मानक (या अधिक आम तौर पर, एक सेमिनोर्म) है <math>p(0) = 0</math> और कि <math>p</math> निम्नलिखित संपत्ति भी है:

#<li मान = 4 >नकारात्मक|गैर-नकारात्मकता: <math>p(x) \geq 0</math> सभी के लिए <math>x \in X.</math></ली>

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

=== समतुल्य मानदंड ===

मान लो कि <math>p</math> तथा <math>q</math> सदिश स्थान पर दो मानदंड (या सेमिनोर्म) हैं <math>X.</math> फिर <math>p</math> तथा <math>q</math> समतुल्य कहलाते हैं, यदि दो सकारात्मक वास्तविक स्थिरांक मौजूद हों <math>c</math> तथा <math>C</math> साथ <math>c > 0</math> ऐसा है कि हर वेक्टर के लिए <math>x \in X,</math>
<math display="block">c q(x) \leq p(x) \leq C q(x).</math>
सम्बन्ध<math>p</math> के बराबर है <math>q</math>स्वतुल्य संबंध है, सममित संबंध (<math>c q \leq p \leq C q</math> तात्पर्य <math>\tfrac{1}{C} p \leq q \leq \tfrac{1}{c} p</math>), और सकर्मक संबंध और इस प्रकार सभी मानदंडों के सेट पर एक समानता संबंध को परिभाषित करता है <math>X.</math> मानदंड <math>p</math> तथा <math>q</math> समतुल्य हैं यदि और केवल यदि वे समान टोपोलॉजी को प्रेरित करते हैं <math>X.</math><ref name="Conrad Equiv norms">{{cite web |url=https://kconrad.math.uconn.edu/blurbs/gradnumthy/equivnorms.pdf |title=मानदंडों की समानता|last=Conrad |first=Keith |website=kconrad.math.uconn.edu |access-date=September 7, 2020 }}</ref> परिमित-आयामी स्थान पर कोई भी दो मानदंड समतुल्य हैं लेकिन यह अनंत-आयामी स्थानों तक विस्तृत नहीं है।<ref name="Conrad Equiv norms"/>


=== अंकन ===

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

== उदाहरण ==

प्रत्येक (वास्तविक या जटिल) सदिश स्थान एक नियम को स्वीकार करता है: यदि <math>x_{\bull} = \left(x_i\right)_{i \in I}</math> सदिश समष्टि के लिए हामेल आधार है <math>X</math> फिर वास्तविक-मूल्यवान मानचित्र जो भेजता है <math>x = \sum_{i \in I} s_i x_i \in X</math> (जहां सभी लेकिन निश्चित रूप से कई स्केलर हैं <math>s_i</math> हैं <math>0</math>) प्रति <math>\sum_{i \in I} \left|s_i\right|</math> पर एक आदर्श है <math>X.</math>{{sfn|Wilansky|2013|pp=20-21}} बड़ी संख्या में मानदंड भी हैं जो अतिरिक्त गुण प्रदर्शित करते हैं जो उन्हें विशिष्ट समस्याओं के लिए उपयोगी बनाते हैं।

=== निरपेक्ष-मूल्य मानदंड ===

निरपेक्ष मूल्य
<math display="block">\|x\| = |x|</math>
आयाम (वेक्टर स्पेस) पर एक मानदंड है | वास्तविक संख्या या जटिल संख्याओं द्वारा गठित एक-आयामी वेक्टर रिक्त स्थान।

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

=== यूक्लिडियन मानदंड ===
<!-- [[L2 norm]] and [[L2 distance]] redirect here -->
{{Further|Euclidean norm|Euclidean distance}}
पर <math>n</math>-आयामी यूक्लिडियन अंतरिक्ष <math>\R^n,</math> वेक्टर की लंबाई की सहज धारणा <math>\boldsymbol{x} = \left(x_1, x_2, \ldots, x_n\right)</math> सूत्र द्वारा ग्रहण किया गया है<ref name=":1">{{Cite web|last=Weisstein|first=Eric W.|title=वेक्टर नॉर्म|url=https://mathworld.wolfram.com/VectorNorm.html|access-date=2020-08-24|website=mathworld.wolfram.com|language=en}}</ref>
<math display=block>\|\boldsymbol{x}\|_2 := \sqrt{x_1^2 + \cdots + x_n^2}.</math>
यह यूक्लिडियन मानदंड है, जो पाइथागोरस प्रमेय का एक परिणाम - मूल से बिंदु '' X '' तक सामान्य दूरी देता है।
इस ऑपरेशन को SRSS के रूप में भी संदर्भित किया जा सकता है, जो वर्गों के योग के वर्गमूल के लिए एक संक्षिप्त नाम है।<ref>{{Cite book|title=संरचनाओं की गतिशीलता, चौथा संस्करण।|last=Chopra|first=Anil|publisher=Prentice-Hall|year=2012|isbn=978-0-13-285803-8}}</ref>
यूक्लिडियन मानदंड अब तक का सबसे अधिक इस्तेमाल किया जाने वाला मानदंड है <math>\R^n,</math><ref name=":1" />लेकिन इस सदिश स्थान पर अन्य मानदंड हैं जैसा कि नीचे दिखाया जाएगा।
हालाँकि, ये सभी मानदंड इस मायने में समान हैं कि ये सभी एक ही टोपोलॉजी को परिभाषित करते हैं।

यूक्लिडियन सदिश स्थान के दो सदिशों का आंतरिक उत्पाद एक ऑर्थोनॉर्मल आधार पर उनके समन्वय सदिशों का डॉट उत्पाद है।
इसलिए, यूक्लिडियन मानदंड को एक समन्वय-मुक्त तरीके से लिखा जा सकता है
<math display="block">\|\boldsymbol{x}\| := \sqrt{\boldsymbol{x} \cdot \boldsymbol{x}}.</math>
यूक्लिडियन मानदंड को भी कहा जाता है<math>L^2</math> मानदंड,<ref>{{Cite web|last=Weisstein|first=Eric W.|title=आदर्श|url=https://mathworld.wolfram.com/आदर्श.html|access-date=2020-08-24|website=mathworld.wolfram.com|language=en}}</ref> <math>\ell^2</math> मानदंड, 2-मानक, या वर्ग मानदंड; एलपी स्पेस देखें |<math>L^p</math> अंतरिक्ष।
यह यूक्लिडियन लंबाई नामक एक दूरी समारोह को परिभाषित करता है,<math>L^2</math> दूरी, या<math>\ell^2</math> दूरी।

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

==== जटिल संख्याओं का यूक्लिडियन मानदंड ====
{{See also|Dot product#Complex vectors}}
किसी सम्मिश्र संख्या का यूक्लिडियन मानदण्ड उसका निरपेक्ष मान#जटिल संख्याएँ (जिसे मापांक भी कहा जाता है) होता है, यदि जटिल तल की पहचान यूक्लिडियन तल से की जाती है <math>\R^2.</math> जटिल संख्या की यह पहचान <math>x + i y</math> यूक्लिडियन विमान में एक सदिश के रूप में, मात्रा बनाता है <math display=inline>\sqrt{x^2 + y^2}</math> (जैसा कि पहले यूलर द्वारा सुझाया गया था) सम्मिश्र संख्या से जुड़ा यूक्लिडियन मानदंड।

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

विहित मानदंड पर <math>\mathbb{H}</math> चतुष्कोणों द्वारा परिभाषित किया गया है
<math display=block>\lVert q \rVert = \sqrt{\,qq^*~} = \sqrt{\,q^*q~} = \sqrt{\, a^2 + b^2 + c^2 + d^2 ~}</math>
हर चतुष्कोण के लिए <math>q = a + b\,\mathbf i + c\,\mathbf j + d\,\mathbf k</math> में <math>\mathbb{H}.</math> यह यूक्लिडियन मानदंड के समान है <math>\mathbb{H}</math> वेक्टर स्पेस के रूप में माना जाता है <math>\R^4.</math> इसी तरह, ऑक्टोनियंस पर विहित मानदंड सिर्फ यूक्लिडियन मानदंड है <math>\R^8.</math>


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

एक पर <math>n</math>-डायमेंशनल कॉम्प्लेक्स अंतरिक्ष का समन्वय करता है <math>\Complex^n,</math> सबसे सामान्य मानदंड है
<math display=block>\|\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}.</math>
इस मामले में, मानदंड को वेक्टर और स्वयं के आंतरिक उत्पाद के वर्गमूल के रूप में व्यक्त किया जा सकता है:
<math display=block>\|\boldsymbol{x}\| := \sqrt{\boldsymbol{x}^H ~ \boldsymbol{x}},</math>
कहाँ पे <math>\boldsymbol{x}</math> कॉलम वेक्टर के रूप में दर्शाया गया है <math>\begin{bmatrix} x_1 \; x_2 \; \dots \; x_n \end{bmatrix}^{\rm T}</math> तथा <math>\boldsymbol{x}^H</math> इसके संयुग्म संक्रमण को दर्शाता है।

यह सूत्र किसी भी आंतरिक उत्पाद स्थान के लिए मान्य है, जिसमें यूक्लिडियन और जटिल स्थान शामिल हैं। जटिल रिक्त स्थान के लिए, आंतरिक उत्पाद जटिल डॉट उत्पाद के बराबर होता है। इसलिए इस मामले में सूत्र को निम्नलिखित अंकन का उपयोग करके भी लिखा जा सकता है:
<math display=block>\|\boldsymbol{x}\| := \sqrt{\boldsymbol{x} \cdot \boldsymbol{x}}.</math>


=== टैक्सीकैब मानदंड या मैनहट्टन मानदंड ===
{{Main|Taxicab geometry}}

<math display="block">\|\boldsymbol{x}\|_1 := \sum_{i=1}^n \left|x_i\right|.</math>
यह नाम उस दूरी से संबंधित है जो मूल से बिंदु तक जाने के लिए एक टैक्सी को एक आयताकार स्ट्रीट ग्रिड (मैनहट्टन के न्यूयॉर्क सिटी बोरो की तरह) में चलानी पड़ती है। <math>x.</math>
सदिशों का सेट जिसका 1-मानदंड दिया गया स्थिरांक है, मानदंड शून्य से 1 के बराबर आयाम के एक क्रॉस पॉलीटॉप की सतह बनाता है।
टैक्सीकैब मानदंड को भी कहा जाता है<math>\ell^1</math> मानदंड। इस मानदंड से प्राप्त दूरी को मैनहट्टन दूरी या कहा जाता है<math>\ell_1</math> दूरी।

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

इसके विपरीत,
<math display="block">\sum_{i=1}^n x_i</math>
यह मानक नहीं है क्योंकि इसके नकारात्मक परिणाम हो सकते हैं।

=== पी-मानक ===
{{Main|Lp space|l1=L<sup>p</sup> space}}
होने देना <math>p \geq 1</math> वास्तविक संख्या हो। <math>p</math>वें>-नॉर्म (जिसे भी कहा जाता है <math>\ell_p</math>-norm) वेक्टर का <math>\mathbf{x} = (x_1, \ldots, x_n)</math> है<ref name=":1" />
<math display="block">\|\mathbf{x}\|_p := \left(\sum_{i=1}^n \left|x_i\right|^p\right)^{1/p}.</math>
के लिये <math>p = 1,</math> हम #Taxicab मानदंड या मैनहट्टन मानदंड प्राप्त करते हैं <math>p = 2</math> हमें #यूक्लिडियन मानदंड मिलता है, और जैसा <math>p</math> दृष्टिकोण <math>\infty</math>  <math>p</math>-मानक समान मानदंड या #अधिकतम_मानदंड_.28विशेष_मामले का:_अनंत_मानक.2C_समान_मानक.2C_या_सुप्रीमम_मानक.29:
<math display="block">\|\mathbf{x}\|_\infty := \max_i \left|x_i\right|.</math>
 <math>p</math>>-मानदंड सामान्यीकृत माध्य या शक्ति माध्य से संबंधित है।
के लिये <math>p = 2,</math>  <math>\|\,\cdot\,\|_2</math>-मानदंड भी एक विहित आंतरिक उत्पाद से प्रेरित है <math>\langle \,\cdot,\,\cdot\rangle,</math> जिसका अर्थ है कि <math>\|\mathbf{x}\|_2 = \sqrt{\langle \mathbf{x}, \mathbf{x} \rangle}</math> सभी वैक्टर के लिए <math>\mathbf{x}.</math> यह आंतरिक उत्पाद ध्रुवीकरण पहचान का उपयोग करके मानदंड के रूप में व्यक्त किया जा सकता है।
पर <math>\ell^2,</math> यह आंतरिक उत्पाद है{{visible anchor|Euclidean inner product}}द्वारा परिभाषित
<math display=block>\langle \left(x_n\right)_{n}, \left(y_n\right)_{n} \rangle_{\ell^2} ~=~ \sum_n \overline{x_n} y_n</math>
जबकि अंतरिक्ष के लिए <math>L^2(X, \mu)</math> एक माप (गणित) के साथ संबद्ध <math>(X, \Sigma, \mu),</math> जिसमें सभी वर्ग-अभिन्न कार्य होते हैं, यह आंतरिक उत्पाद है
 <math display=block>\langle f, g \rangle_{L^2} = \int_X \overline{f(x)} g(x)\, \mathrm dx.</math>
यह परिभाषा अभी भी कुछ दिलचस्पी की है <math>0 < p < 1,</math> लेकिन परिणामी कार्य एक आदर्श को परिभाषित नहीं करता है,<ref>Except in <math>\R^1,</math> where it coincides with the Euclidean norm, and <math>\R^0,</math> where it is trivial.</ref> क्योंकि यह त्रिभुज असमानता का उल्लंघन करता है।
इस मामले में क्या सच है <math>0 < p < 1,</math> मापने योग्य एनालॉग में भी, वह संगत है <math>L^p</math> क्लास एक वेक्टर स्पेस है, और यह भी सच है कि function
<math display="block">\int_X |f(x) - g(x)|^p ~ \mathrm d \mu</math>
(बिना <math>p</math>जड़) एक दूरी को परिभाषित करता है जो बनाता है <math>L^p(X)</math> एक पूर्ण मीट्रिक टोपोलॉजिकल वेक्टर स्पेस में। कार्यात्मक विश्लेषण, संभाव्यता सिद्धांत और हार्मोनिक विश्लेषण में ये रिक्त स्थान बहुत रुचि रखते हैं।
हालांकि, तुच्छ मामलों के अलावा, यह टोपोलॉजिकल वेक्टर स्पेस स्थानीय रूप से उत्तल नहीं है, और इसका कोई निरंतर गैर-शून्य रैखिक रूप नहीं है। इस प्रकार टोपोलॉजिकल डुअल स्पेस में केवल शून्य कार्यात्मक होता है।

का आंशिक व्युत्पन्न <math>p</math>-नॉर्म द्वारा दिया गया है
<math display="block">\frac{\partial}{\partial x_k} \|\mathbf{x}\|_p = \frac{x_k \left|x_k\right|^{p-2}} { \|\mathbf{x}\|_p^{p-1}}.</math>
के संबंध में व्युत्पन्न <math>x,</math> इसलिए, है
<math display="block">\frac{\partial \|\mathbf{x}\|_p}{\partial \mathbf{x}} =\frac{\mathbf{x} \circ |\mathbf{x}|^{p-2}} {\|\mathbf{x}\|^{p-1}_p}.</math>
कहाँ पे <math>\circ</math> हैडमार्ड उत्पाद (मैट्रिसेस) को दर्शाता है और <math>|\cdot|</math> वेक्टर के प्रत्येक घटक के निरपेक्ष मान के लिए उपयोग किया जाता है।

के विशेष मामले के लिए <math>p = 2,</math> यह बन जाता है
<math display="block">\frac{\partial}{\partial x_k} \|\mathbf{x}\|_2 = \frac{x_k}{\|\mathbf{x}\|_2},</math>
या
<math display="block">\frac{\partial}{\partial \mathbf{x}} \|\mathbf{x}\|_2 = \frac{\mathbf{x}}{ \|\mathbf{x}\|_2}.</math>


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

[[File:Vector norm sup.svg|frame|right|<math>\|x\|_\infty = 1</math>]]
{{Main|Maximum norm}}
यदि <math>\mathbf{x}</math> कुछ वेक्टर ऐसा है <math>\mathbf{x} = (x_1, x_2, \ldots ,x_n),</math> फिर:
<math display="block">\|\mathbf{x}\|_\infty := \max \left(\left|x_1\right| , \ldots , \left|x_n\right|\right).</math>
सदिशों का समुच्चय जिसका अनंत मानदंड एक नियतांक है, <math>c,</math> किनारे की लंबाई के साथ हाइपरक्यूब की सतह बनाता है <math>2 c.</math>


=== शून्य मानदंड ===

संभाव्यता और कार्यात्मक विश्लेषण में, शून्य मानदंड मापने योग्य कार्यों के स्थान के लिए और एफ-मानदंड के साथ अनुक्रमों के एफ-स्थान के लिए एक पूर्ण मीट्रिक टोपोलॉजी को प्रेरित करता है। <math display="inline">(x_n) \mapsto \sum_n{2^{-n} x_n/(1+x_n)}.</math><ref name="RolewiczControl">{{Citation |title=Functional analysis and control theory: Linear systems |last=Rolewicz |first=Stefan |year=1987 |isbn=90-277-2186-6 |publisher=D. Reidel Publishing Co.; PWN—Polish Scientific Publishers |oclc=13064804 |edition=Translated from the Polish by Ewa Bednarczuk |series=Mathematics and its Applications (East European Series) |location=Dordrecht; Warsaw |volume=29 |pages=xvi,524 |mr=920371 |doi=10.1007/978-94-015-7758-8}}</ref> यहां हमारा मतलब एफ-नॉर्म से कुछ वास्तविक-मूल्यवान फ़ंक्शन है <math>\lVert \cdot \rVert</math> दूरी के साथ एफ-स्पेस पर <math>d,</math> ऐसा है कि <math>\lVert x \rVert = d(x,0).</math> ऊपर वर्णित एफ-मानदंड सामान्य अर्थों में एक आदर्श नहीं है क्योंकि इसमें आवश्यक एकरूपता गुण का अभाव है।

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

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

=== अनंत आयाम ===

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

<!-- The first set of \bigg is there because the sum subscript triggers a set of parenthesis that is too big, the second set is there for symmetry-->
<math display="block">\|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}</math>
जटिल-मूल्यवान अनुक्रमों और कार्यों के लिए <math>X \sube \R^n</math> क्रमशः, जिसे और अधिक सामान्यीकृत किया जा सकता है (हार उपाय देखें)।

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

=== समग्र मानदंड ===

अन्य मानदंड चालू <math>\R^n</math> उपरोक्त को मिलाकर बनाया जा सकता है; उदाहरण के लिए
<math display="block">\|x\| := 2 \left|x_1\right| + \sqrt{3 \left|x_2\right|^2 + \max (\left|x_3\right| , 2 \left|x_4\right|)^2}</math>
पर एक आदर्श है <math>\R^4.</math>
किसी भी मानदंड और किसी भी इंजेक्शन समारोह रैखिक परिवर्तन के लिए <math>A</math> का एक नया मानदंड परिभाषित कर सकते हैं <math>x,</math> के बराबर
<math display="block">\|A x\|.</math>
2डी में, के साथ <math>A</math> 45 डिग्री का रोटेशन और एक उपयुक्त स्केलिंग, यह टैक्सीकेब मानदंड को अधिकतम मानदंड में बदल देता है। प्रत्येक <math>A</math> टैक्सिकैब मानदंड पर लागू, कुल्हाड़ियों के व्युत्क्रम और इंटरचेंजिंग तक, एक अलग यूनिट बॉल देता है: एक विशेष आकार, आकार और अभिविन्यास का एक समानांतर चतुर्भुज।

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

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

उपरोक्त सभी सूत्र भी मानदंड उत्पन्न करते हैं <math>\Complex^n</math> बिना संशोधन के।

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

=== अमूर्त बीजगणित में ===
{{Main|Field norm}}
होने देना <math>E</math> एक क्षेत्र का परिमित विस्तार हो <math>k</math> अविभाज्य डिग्री का <math>p^{\mu},</math> और जाने <math>k</math> बीजगणितीय बंद है <math>K.</math> यदि विशिष्ट क्षेत्र समरूपता <math>E</math> हैं <math>\left\{\sigma_j\right\}_j,</math> फिर एक तत्व का गैलोज़-सैद्धांतिक मानदंड <math>\alpha \in E</math> मूल्य है <math display=inline>\left(\prod_j {\sigma_k(\alpha)}\right)^{p^{\mu}}.</math> जैसा कि कार्य एक क्षेत्र विस्तार की डिग्री डिग्री का सजातीय है<math>[E : k]</math>, गाल्वा-सैद्धांतिक मानदंड इस लेख के अर्थ में एक आदर्श नहीं है। हालांकि <math>[E : k]</math>मानक की -थ रूट (यह मानते हुए कि अवधारणा समझ में आता है) एक मानक है।<ref>{{Cite book|last=Lang|first=Serge|title=बीजगणित|publisher=Springer Verlag|year=2002|isbn=0-387-95385-X|edition=Revised 3rd|location=New York|pages=284|orig-year=1993}}</ref>


==== रचना बीजगणित ====

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

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

== गुण ==

किसी भी मानक के लिए <math>p : X \to \R</math> एक वेक्टर स्थान पर <math>X,</math> रिवर्स त्रिकोण असमानता रखती है:
 <math display="block">p(x \pm y) \geq |p(x) - p(y)| \text{ for all } x, y \in X.</math>
यदि <math>u : X \to Y</math> मानदंड रिक्त स्थान के बीच एक निरंतर रेखीय मानचित्र है, फिर का मानदंड <math>u</math> और के स्थानांतरण का मानदंड <math>u</math> बराबर हैं।{{sfn|Trèves|2006|pp=242–243}}
एलपी स्पेस के लिए |<math>L^p</math> मानदंड, हमारे पास होल्डर की असमानता है<ref name="GOLUB">{{cite book|last1=Golub|first1=Gene|title=मैट्रिक्स संगणना|last2=Van Loan|first2=Charles F.|publisher=The Johns Hopkins University Press|year=1996|isbn=0-8018-5413-X|edition=Third|location=Baltimore|page=53|author-link1=Gene_H._Golub}}</ref>
<math display="block">|\langle x, y \rangle| \leq \|x\|_p \|y\|_q \qquad \frac{1}{p} + \frac{1}{q} = 1.</math>
इसका एक विशेष मामला कॉची-श्वार्ज़ असमानता है:<ref name="GOLUB" />
<math display="block">\left|\langle x, y \rangle\right| \leq \|x\|_2 \|y\|_2.</math>
[[File:Vector norms.svg|frame|right|विभिन्न मानदंडों में इकाई हलकों के उदाहरण।]]प्रत्येक मानदंड एक सेमिनॉर्म है और इस प्रकार सभी सेमिनॉर्म#बीजगणितीय_गुणों को संतुष्ट करता है। बदले में, प्रत्येक सेमिनॉर्म एक उपरेखीय कार्य है और इस प्रकार सभी Sublinear_function#Properties को संतुष्ट करता है। विशेष रूप से, प्रत्येक मानदंड एक उत्तल कार्य है।

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

सदिश स्थान के संदर्भ में, सेमिनॉर्म अंतरिक्ष पर एक टोपोलॉजी को परिभाषित करता है, और यह हॉसडॉर्फ स्पेस टोपोलॉजी है, जब सेमिनॉर्म अलग-अलग वैक्टरों के बीच अंतर कर सकता है, जो फिर से सेमिनोर्म के एक मानक के बराबर है। इस प्रकार परिभाषित टोपोलॉजी (या तो एक मानक या एक सेमिनोर्म द्वारा) अनुक्रम या खुले सेट के संदर्भ में समझा जा सकता है। वैक्टर का एक क्रम <math>\{v_n\}</math> सामान्य रूप से अभिसरण के तरीकों को कहा जाता है <math>v,</math> यदि <math>\left\|v_n - v\right\| \to 0</math> जैसा <math>n \to \infty.</math> समान रूप से, टोपोलॉजी में सभी सेट होते हैं जिन्हें ओपन बॉल (गणित) के संघ के रूप में दर्शाया जा सकता है। यदि <math>(X, \|\cdot\|)</math> तब एक आदर्श स्थान है{{sfn|Narici|Beckenstein|2011|pp=107-113}} 
<math>\|x - y\| = \|x - z\| + \|z - y\| \text{ for all } x, y \in X \text{ and } z \in [x, y].</math>
दो मानदंड <math>\|\cdot\|_\alpha</math> तथा <math>\|\cdot\|_\beta</math> एक वेक्टर स्थान पर <math>X</math> कहा जाता है{{visible anchor|equivalent|Equivalent norms}}यदि वे एक ही टोपोलॉजी को प्रेरित करते हैं,<ref name="Conrad Equiv norms">{{cite web |url=https://kconrad.math.uconn.edu/blurbs/gradnumthy/equivnorms.pdf |title=मानदंडों की समानता|last=Conrad |first=Keith |website=kconrad.math.uconn.edu |access-date=September 7, 2020 }}</ref> जो तब होता है जब सकारात्मक वास्तविक संख्याएं मौजूद होती हैं <math>C</math> तथा <math>D</math> ऐसा कि सभी के लिए <math>x \in X</math>
<math display="block">C \|x\|_\alpha \leq \|x\|_\beta \leq D \|x\|_\alpha.</math>
उदाहरण के लिए, अगर <math>p > r \geq 1</math> पर <math>\Complex^n,</math> फिर<ref name="पी-मानदंडों के बीच संबंध">{{cite web |url=https://math.stackexchange.com/questions/218046/relations-between-p-norms|title=पी-मानदंडों के बीच संबंध|website=Mathematics Stack Exchange}}</ref>
<math display="block">\|x\|_p \leq \|x\|_r \leq n^{(1/r-1/p)} \|x\|_p.</math>
विशेष रूप से,
<math display="block">\|x\|_2 \leq \|x\|_1 \leq \sqrt{n} \|x\|_2</math>
<math display="block">\|x\|_\infty \leq \|x\|_2 \leq \sqrt{n} \|x\|_\infty</math>
<math display="block">\|x\|_\infty \leq \|x\|_1 \leq n \|x\|_\infty ,</math>
वह है,
 <math display="block">\|x\|_\infty \leq \|x\|_2 \leq \|x\|_1 \leq \sqrt{n} \|x\|_2 \leq n \|x\|_\infty.</math>
यदि सदिश स्थान एक परिमित-आयामी वास्तविक या जटिल है, तो सभी मानदंड समान हैं। दूसरी ओर, अनंत-आयामी वेक्टर रिक्त स्थान के मामले में, सभी मानक समान नहीं होते हैं।

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

== सेमीनॉर्म्स का वर्गीकरण: बिल्कुल उत्तल अवशोषक सेट ==
{{Main|Seminorm}}
सदिश स्थान पर सभी सेमीनॉर्म्स <math>X</math> बिल्कुल उत्तल अवशोषक सेट के रूप में वर्गीकृत किया जा सकता है <math>A</math> का <math>X.</math> ऐसे प्रत्येक उपसमुच्चय के लिए एक सेमिनॉर्म मेल खाता है <math>p_A</math> का मिन्कोवस्की कार्यात्मक कहा जाता है <math>A,</math> के रूप में परिभाषित किया गया है
<math display="block>p_A(x) := \inf \{r \in \R : r > 0, x \in r A\}</math>
कहाँ पे <math>\inf_{}</math> अनंत है, संपत्ति के साथ कि
<math display="block>\left\{x \in X : p_A(x) < 1\right\} ~\subseteq~ A ~\subseteq~ \left\{x \in X : p_A(x) \leq 1\right\}.</math>
इसके विपरीत:

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

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

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

:विपरीत एंड्री कोलमोगोरोव के कारण है: कोई भी स्थानीय रूप से उत्तल और स्थानीय रूप से घिरा टोपोलॉजिकल वेक्टर स्थान सामान्य है। सटीक रूप से:
:यदि <math>X</math> 0, गेज का बिल्कुल उत्तल परिबद्ध पड़ोस है <math>g_X</math> (ताकि <math>X = \{g_X < 1\}</math> एक आदर्श है।

== यह भी देखें ==

* {{annotated link|Asymmetric norm}}
* {{annotated link|F-seminorm}}
* {{annotated link|Gowers norm}}
* {{annotated link|Kadec norm}}
* {{annotated link|Least-squares spectral analysis}}
* {{annotated link|Mahalanobis distance}}
* {{annotated link|Magnitude (mathematics)}}
* {{annotated link|Matrix norm}}
* {{annotated link|Minkowski distance}}
* {{annotated link|Minkowski functional}}
* {{annotated link|Operator norm}}
* {{annotated link|Paranorm}}
* {{annotated link|Relation of norms and metrics}}
* {{annotated link|Seminorm}}
* {{annotated link|Sublinear function}}


==संदर्भ==

{{reflist}}



==इस पेज में लापता आंतरिक लिंक की सूची==

==ग्रन्थसूची==

* {{Bourbaki Topological Vector Spaces Part 1 Chapters 1–5}} <!--{{sfn|Bourbaki|1987|p=}}-->
* {{Khaleelulla Counterexamples in Topological Vector Spaces}} <!--{{sfn|Khaleelulla|1982|p=}}--> 
* {{Narici Beckenstein Topological Vector Spaces|edition=2}} <!--{{sfn|Narici|Beckenstein|2011|p=}}-->
* {{Schaefer Wolff Topological Vector Spaces|edition=2}} <!--{{sfn|Schaefer|1999|p=}}--> 
* {{Trèves François Topological vector spaces, distributions and kernels}} <!--{{sfn|Trèves|2006|p=}}--> 
* {{Wilansky Modern Methods in Topological Vector Spaces|edition=1}}

{{Banach spaces}}
{{Functional analysis}}
{{Topological vector spaces}}

{{DEFAULTSORT:Norm (Mathematics)}}
[[Category: कार्यात्मक विश्लेषण]]
[[Category:रैखिक बीजगणित]]
[[Category:मानदंड (गणित)| ]]


[[Category: Machine Translated Page]]
[[Category:Created On 25/11/2022]]