निरपेक्ष मान (बीजगणित)

बीजगणित में, एक निरपेक्ष मान (जिसे मूल्यांकन, परिमाण या मानदंड भी कहा जाता है, हालाँकि मानदंड (गणित) आमतौर पर एक फ़ील्ड (गणित) पर एक विशिष्ट प्रकार के निरपेक्ष मान को संदर्भित करता है) एक फ़ंक्शन (गणित) है जो किसी फ़ील्ड या अभिन्न डोमेन में तत्वों के आकार को मापता है। अधिक सटीक रूप से, यदि डी एक अभिन्न डोमेन है, तो 'पूर्ण मान' कोई भी मैपिंग है |x 'आर' संतोषजनक: इन सूक्तियों से यह निष्कर्ष निकलता है कि |1| = 1 और |-1| = 1. इसके अलावा, प्रत्येक सकारात्मक पूर्णांक n के लिए,


 * एन| = |1 + 1 +...+1 (एन बार)| = |−1 − 1 − ... − 1 (एन बार)| ≤एन.

शास्त्रीय निरपेक्ष मान वह है जिसमें, उदाहरण के लिए, |2|=2, लेकिन कई अन्य फ़ंक्शन ऊपर बताई गई आवश्यकताओं को पूरा करते हैं, उदाहरण के लिए शास्त्रीय निरपेक्ष मान का वर्गमूल (लेकिन उसका वर्ग नहीं)।

एक निरपेक्ष मान एक मीट्रिक (गणित) (और इस प्रकार एक टोपोलॉजिकल स्पेस#परिभाषाएँ) को प्रेरित करता है $$d(f,g) = |f - g|.$$

उदाहरण

 * पूर्णांकों पर मानक निरपेक्ष मान.
 * संमिश्र संख्याओं पर मानक निरपेक्ष मान.
 * पी-एडिक मूल्यांकन#पी-एडिक निरपेक्ष मूल्य|पी-एडिक निरपेक्ष मान तर्कसंगत संख्याओं पर।
 * यदि R, फ़ील्ड F और पर तर्कसंगत कार्यों का क्षेत्र है $$p(x)$$ आर का एक निश्चित अपरिवर्तनीय तत्व है, तो निम्नलिखित आर पर एक निरपेक्ष मान को परिभाषित करता है: के लिए $$f(x)$$ आर परिभाषित में $$|f|$$ होना $$2^{-n}$$, कहाँ $$f(x) = p(x)^n \frac{g(x)}{h(x)}$$ और $$\gcd(g(x), p(x)) = 1 = \gcd(h(x), p(x)).$$

निरपेक्ष मान के प्रकार
तुच्छ निरपेक्ष मान |x|=0 के साथ निरपेक्ष मान है जब x=0 और |x|=1 अन्यथा। प्रत्येक अभिन्न डोमेन कम से कम तुच्छ निरपेक्ष मान ले सकता है। किसी परिमित क्षेत्र पर तुच्छ मान ही एकमात्र संभावित निरपेक्ष मान है क्योंकि किसी भी गैर-शून्य तत्व को 1 प्राप्त करने के लिए कुछ शक्ति तक बढ़ाया जा सकता है।

यदि कोई निरपेक्ष मान मजबूत गुण को संतुष्ट करता है |x + y| ≤ सभी x और y के लिए अधिकतम(|x|, |y|), फिर |x या 'गैर-आर्किमिडीयन निरपेक्ष मान', और अन्यथा एक 'आर्किमिडीयन निरपेक्ष मान'।

स्थान
यदि |x|1 और |x|2 एक ही अभिन्न डोमेन D पर दो निरपेक्ष मान हैं, तो दो निरपेक्ष मान समतुल्य हैं यदि |x|1 <1 यदि और केवल यदि |x|2 <1 सभी एक्स के लिए। यदि दो गैर-तुच्छ निरपेक्ष मान समतुल्य हैं, तो कुछ घातांक e के लिए हमारे पास |x| है1तथा = |x|2 सभी एक्स के लिए किसी निरपेक्ष मान को 1 से कम घात तक बढ़ाने पर एक और निरपेक्ष मान प्राप्त होता है, लेकिन 1 से अधिक घात तक बढ़ाने पर आवश्यक नहीं कि निरपेक्ष मान प्राप्त हो। (उदाहरण के लिए, वास्तविक संख्याओं पर सामान्य निरपेक्ष मान का वर्ग करने पर एक फ़ंक्शन प्राप्त होता है जो पूर्ण मान नहीं है क्योंकि यह नियम का उल्लंघन करता है |x+y| ≤ |x|+|y|.) तुल्यता तक पूर्ण मान, या में दूसरे शब्दों में, निरपेक्ष मानों के समतुल्य वर्ग को 'बीजगणितीय संख्या सिद्धांत#स्थान' कहा जाता है।

ओस्ट्रोव्स्की के प्रमेय में कहा गया है कि परिमेय संख्या 'क्यू' के गैर-तुच्छ स्थान सामान्य निरपेक्ष मान और प्रत्येक अभाज्य पी के लिए पी-एडिक संख्या|पी-एडिक निरपेक्ष मान हैं। किसी दिए गए अभाज्य p के लिए, किसी भी परिमेय संख्या q को p के रूप में लिखा जा सकता हैn(a/b), जहां a और b पूर्णांक हैं जो p से विभाज्य नहीं हैं और n एक पूर्णांक है। q का p-एडिक निरपेक्ष मान है


 * $$\left|p^n \frac{a}{b}\right|_p = p^{-n}.$$

चूँकि उपरोक्त परिभाषा के अनुसार सामान्य निरपेक्ष मान और पी-एडिक निरपेक्ष मान निरपेक्ष मान हैं, ये स्थानों को परिभाषित करते हैं।

मूल्यांकन
यदि कुछ अल्ट्रामेट्रिक निरपेक्ष मान और किसी आधार b > 1 के लिए, हम ν(x)=−log परिभाषित करते हैंb|x| x ≠ 0 और ν(0) = ∞ के लिए, जहां ∞ को सभी वास्तविक संख्याओं से बड़ा होने का आदेश दिया गया है, तो हम निम्नलिखित गुणों के साथ D से 'R' ∪ {∞} तक एक फ़ंक्शन प्राप्त करते हैं:


 * ν(x) = ∞ ⇒ x = 0,
 * ν(xy) = ν(x)+ν(y),
 * ν(x + y) ≥ min(ν(x), ν(y)).

इस तरह के फ़ंक्शन को निकोलस बॉर्बकी की शब्दावली में मूल्यांकन (बीजगणित) के रूप में जाना जाता है, लेकिन अन्य लेखक निरपेक्ष मूल्य के लिए मूल्यांकन शब्द का उपयोग करते हैं और फिर मूल्यांकन के बजाय घातीय मूल्यांकन कहते हैं।

पूर्णता
निरपेक्ष मान के साथ एक अभिन्न डोमेन डी को देखते हुए, हम निरपेक्ष मान के संबंध में डी के तत्वों के कॉची अनुक्रम को परिभाषित कर सकते हैं, जिसके लिए यह आवश्यक है कि प्रत्येक ε > 0 के लिए एक सकारात्मक पूर्णांक एन हो, जैसे कि सभी पूर्णांक एम, एन > एन के लिए एक के पास |x हैm − एक्सn| < ε. कॉची अनुक्रम बिंदुवार जोड़ और गुणा के तहत एक रिंग (गणित) बनाते हैं। कोई शून्य अनुक्रमों को अनुक्रमों के रूप में भी परिभाषित कर सकता है (an) D के तत्वों का ऐसा कि |an| शून्य में परिवर्तित हो जाता है। कॉची अनुक्रमों के वलय में शून्य अनुक्रम एक प्रमुख आदर्श हैं, और इसलिए भागफल वलय एक अभिन्न डोमेन है। डोमेन डी इस भागफल रिंग में एम्बेडेड है, जिसे निरपेक्ष मान |x| के संबंध में डी का पूर्ण मीट्रिक स्थान कहा जाता है।

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

अलेक्जेंडर ओस्ट्रोव्स्की का एक अन्य प्रमेय यह है कि आर्किमिडीज़ के निरपेक्ष मूल्य के संबंध में पूरा किया गया कोई भी क्षेत्र वास्तविक या जटिल संख्याओं के लिए समरूपी  है, और मूल्यांकन सामान्य के बराबर है। गेलफैंड-टॉर्नहेम प्रमेय में कहा गया है कि आर्किमिडीयन मूल्यांकन वाला कोई भी क्षेत्र सी के क्षेत्र विस्तार के लिए आइसोमोर्फिक है, मूल्यांकन सी पर सामान्य निरपेक्ष मूल्य के बराबर है।

फ़ील्ड्स और इंटीग्रल डोमेन
यदि D, निरपेक्ष मान |


 * $$|x/y| = |x|/|y|.\,$$

दूसरी ओर, यदि F अल्ट्रामेट्रिक निरपेक्ष मान |x| वाला एक क्षेत्र है, तो F के तत्वों का समुच्चय इस प्रकार है कि |x| ≤ 1 एक मूल्यांकन अंगूठी  को परिभाषित करता है, जो एफ का एक सबरिंग डी है, जैसे कि एफ के प्रत्येक गैर-शून्य तत्व x के लिए, x या x में से कम से कम एक−1D से संबंधित है। चूँकि F एक क्षेत्र है, D का कोई शून्य विभाजक नहीं है और यह एक अभिन्न डोमेन है। इसका एक अद्वितीय अधिकतम आदर्श है जिसमें सभी x इस प्रकार शामिल हैं कि |x| <1, और इसलिए यह एक स्थानीय वलय है।

संदर्भ

 * Chapter 9, paragraph 1 "Absolute values".
 * Chapter 9, paragraph 1 "Absolute values".
 * Chapter 9, paragraph 1 "Absolute values".