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

This article is about मूल अवधारणा का सामान्यीकरण. For मूल अवधारणा, see निरपेक्ष मूल्य. For other uses, see निरपेक्ष मूल्य (बहुविकल्पी).

बीजगणित में, एक निरपेक्ष मान (जिसे मूल्यांकन, परिमाण या मानदंड भी कहा जाता है, चूँकि मानदंड (गणित) सामान्यतः एक छेत्र (गणित) पर एक विशिष्ट प्रकार के निरपेक्ष मान को संदर्भित करता है) एक फलन (गणित) होता है जो किसी छेत्र या अभिन्न डोमेन में तत्वों के आकार को मापता है। अधिक त्रुटिहीन रूप से, यदि D एक अभिन्न डोमेन है, तो 'पूर्ण मान' मैपिंग है |x| R संतोषजनक:

	•	$\left|x\right|\geq 0$		(गैर-नकारात्मकता)
	•	$\left|x\right|=0$ यदि if $x=0$		(सकारात्मक निश्चितता)
	•	$\left|xy\right|=\left|x\right|\left|y\right|$		(गुणात्मकता)
	•	$\left|x+y\right|\leq \left|x\right|+\left|y\right|$		(असमानित त्रिकोण)

इन सूक्तियों से यह निष्कर्ष निकलता है कि |1| = 1 और |-1| = 1. इसके अतिरिक्त, प्रत्येक सकारात्मक पूर्णांक n के लिए,

|n| = |1 + 1 +...+1 (n)| = |−1 − 1 − ... − 1 (n)| ≤n.

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

एक निरपेक्ष मान एक माप को प्रेरित करता है $d(f,g)=|f-g|.$

उदाहरण

• पूर्णांकों पर मानक निरपेक्ष मान.
• संमिश्र संख्याओं पर मानक निरपेक्ष मान.
• पी-एडिक निरपेक्ष मान तर्कसंगत संख्याओं पर।
• यदि R, छेत्र F और तर्कसंगत कार्यों का क्षेत्र है $p(x)$ R का एक निश्चित अपरिवर्तनीय तत्व है, तो निम्नलिखित R पर एक निरपेक्ष मान को परिभाषित करता है: इसके लिए $f(x)$ R परिभाषा में $|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|₁ और |x|₂ एक ही अभिन्न डोमेन D पर दो निरपेक्ष मान है, तो दो निरपेक्ष मान समतुल्य है यदि |x|₁ <1 यदि |x|₂ <1 सभी एक्स के लिए है। यदि दो गैर-तुच्छ निरपेक्ष मान समतुल्य है, तो कुछ घातांक e के लिए हमारे पास |x| है₁^तथा = |x|₂ सभी एक्स के लिए किसी निरपेक्ष मान को 1 से कम घात तक बढ़ाने पर एक और निरपेक्ष मान प्राप्त होता है, लेकिन 1 से अधिक घात तक बढ़ाने पर यह आवश्यक नहीं होता है कि निरपेक्ष मान प्राप्त हो जाए। (उदाहरण के लिए, वास्तविक संख्याओं पर सामान्य निरपेक्ष मान का वर्गीकरण करने पर एक फलन प्राप्त होता है जो पूर्ण मान नहीं होता है |x+y| ≤ |x|+|y|.) तुल्यता तक पूर्ण मान, या दूसरे शब्दों में, निरपेक्ष मानों के समतुल्य वर्ग को 'बीजगणितीय संख्या सिद्धांत कहा जाता है।

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

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

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

मूल्यांकन

Main article: मूल्यांकन (बीजगणित)

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

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

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

पूर्णता

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

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

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

छेत्र और अभिन्न डोमेन

यदि D, निरपेक्ष मान है

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

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

संदर्भ

• Bourbaki, Nicolas (1972). Commutative Algebra. Addison-Wesley.
• Cassels, J.W.S. (1986). Local Fields. London Mathematical Society Student Texts. Vol. 3. Cambridge University Press. ISBN 0-521-31525-5. Zbl 0595.12006.
• Jacobson, Nathan (1989). Basic algebra II (2nd ed.). W H Freeman. ISBN 0-7167-1933-9. Chapter 9, paragraph 1 "Absolute values".
• Janusz, Gerald J. (1996–1997). Algebraic Number Fields (2nd ed.). American Mathematical Society. ISBN 0-8218-0429-4.