निरपेक्ष मान (बीजगणित): Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{About|मूल अवधारणा का सामान्यीकरण|मूल अवधारणा|निरपेक्ष मूल्य||निरपेक्ष मूल्य (बहुविकल्पी)}} | {{About|मूल अवधारणा का सामान्यीकरण|मूल अवधारणा|निरपेक्ष मूल्य||निरपेक्ष मूल्य (बहुविकल्पी)}} | ||
[[बीजगणित]] में, एक '''निरपेक्ष मान''' (जिसे मूल्यांकन, परिमाण या मानदंड भी कहा जाता है,<ref>{{cite book |last=Koblitz |first=Neal |authorlink=Neal Koblitz |title=पी-एडिक संख्याएं, पी-एडिक विश्लेषण और जीटा-फ़ंक्शन|edition=2nd |year=1984 |publisher=Springer-Verlag |location=New York |isbn=978-0-387-96017-3 |url=https://www.springer.com/mathematics/numbers/book/978-0-387-96017-3 |accessdate=24 August 2012 |page=1 |quote=The metrics we'll be dealing with will come from ''norms'' on the field ''F''...}}</ref> चूँकि मानदंड (गणित) सामान्यतः | [[बीजगणित]] में, एक '''निरपेक्ष मान''' (जिसे मूल्यांकन, परिमाण या मानदंड भी कहा जाता है,<ref>{{cite book |last=Koblitz |first=Neal |authorlink=Neal Koblitz |title=पी-एडिक संख्याएं, पी-एडिक विश्लेषण और जीटा-फ़ंक्शन|edition=2nd |year=1984 |publisher=Springer-Verlag |location=New York |isbn=978-0-387-96017-3 |url=https://www.springer.com/mathematics/numbers/book/978-0-387-96017-3 |accessdate=24 August 2012 |page=1 |quote=The metrics we'll be dealing with will come from ''norms'' on the field ''F''...}}</ref> चूँकि मानदंड (गणित) सामान्यतः एक विशिष्ट प्रकार के निरपेक्ष मान को संदर्भित करता है) एक [[फ़ंक्शन (गणित)|फलन (गणित)]] होता है जो किसी [[अभिन्न डोमेन]] में तत्वों के आकार को मापता है। अधिक त्रुटिहीन रूप से, यदि D एक अभिन्न डोमेन होता है, तो 'संपूर्ण मान' होता है |x| R संतोषजनक: | ||
{| | {| | ||
|- | |- | ||
| style="width:1.1em" | || style="width:.8em" | •|| <math>\left|x\right|\geq0</math> || style="width:3em" | || (गैर- | | style="width:1.1em" | || style="width:.8em" | •|| <math>\left|x\right|\geq0</math> || style="width:3em" | || (गैर-ऋणात्मक) | ||
|- | |- | ||
| ||•|| <math>\left|x\right|=0</math> यदि if <math>x=0</math> || || ( | | ||•|| <math>\left|x\right|=0</math> यदि if <math>x=0</math> || || (धनात्मक निश्चितता) | ||
|- | |- | ||
| ||•|| <math>\left|xy\right|=\left|x\right|\left|y\right|</math> || || (गुणात्मकता) | | ||•|| <math>\left|xy\right|=\left|x\right|\left|y\right|</math> || || (गुणात्मकता) | ||
Line 12: | Line 12: | ||
| ||•|| <math>\left|x+y\right|\leq\left|x\right|+\left|y\right|</math> || || (असमानित त्रिकोण) | | ||•|| <math>\left|x+y\right|\leq\left|x\right|+\left|y\right|</math> || || (असमानित त्रिकोण) | ||
|} | |} | ||
इन सूक्तियों से यह निष्कर्ष निकलता है कि |1| = 1 और |-1| = 1. इसके अतिरिक्त, प्रत्येक | इन सूक्तियों से यह निष्कर्ष निकलता है कि |1| = 1 और |-1| = 1. इसके अतिरिक्त, प्रत्येक धनात्मक [[पूर्णांक]] n के लिए है, | ||
:|n| = |1 + 1 +...+1 (n)| = |−1 − 1 − ... − 1 (n)| ≤n. | :|n| = |1 + 1 +...+1 (n)| = |−1 − 1 − ... − 1 (n)| ≤n. | ||
निरपेक्ष मान वह होता है जिसमें, उदाहरण के लिए, |2|=2 है, लेकिन कई अन्य फलन ऊपर बताई गई आवश्यकताओं को पूरा करते है, उदाहरण के लिए निरपेक्ष मान का [[वर्गमूल]]।ka | |||
एक निरपेक्ष मान एक माप को प्रेरित करता है <math>d(f,g) = |f - g|.</math> | एक निरपेक्ष मान एक माप को प्रेरित करता है <math>d(f,g) = |f - g|.</math> | ||
Line 23: | Line 23: | ||
*संमिश्र संख्याओं पर मानक निरपेक्ष मान. | *संमिश्र संख्याओं पर मानक निरपेक्ष मान. | ||
*पी-एडिक निरपेक्ष मान तर्कसंगत संख्याओं पर। | *पी-एडिक निरपेक्ष मान तर्कसंगत संख्याओं पर। | ||
*यदि R, | *यदि R, F और [[तर्कसंगत कार्य|तर्कसंगत कार्यों]] का क्षेत्र है <math>p(x)</math> R का एक निश्चित अपरिवर्तनीय तत्व है, तो निम्नलिखित R पर एक निरपेक्ष मान को परिभाषित करता है: इसके लिए <math>f(x)</math> R परिभाषा में <math>|f|</math> होता है <math>2^{-n}</math>, जहाँ <math>f(x) = p(x)^n \frac{g(x)}{h(x)}</math> और <math>\gcd(g(x), p(x)) = 1 = \gcd(h(x), p(x)).</math> | ||
== निरपेक्ष मान के प्रकार == | == निरपेक्ष मान के प्रकार == | ||
तुच्छ निरपेक्ष मान |''x''|=0 के साथ निरपेक्ष मान है ''x''=0 और |''x''|=1।<ref>{{cite book |last=Koblitz |first=Neal |authorlink=Neal Koblitz |title=पी-एडिक संख्याएं, पी-एडिक विश्लेषण और जीटा-फ़ंक्शन|edition=2nd |year=1984 |publisher=Springer-Verlag |location=New York |isbn=978-0-387-96017-3 |url=https://www.springer.com/mathematics/numbers/book/978-0-387-96017-3 |accessdate=24 August 2012 |page=3 |quote=By the 'trivial' norm we mean the norm ‖ ‖ such that ‖0‖ = 0 and ‖''x''‖ = 1 for ''x'' ≠ 0.}}</ref> प्रत्येक अभिन्न डोमेन कम से कम तुच्छ निरपेक्ष मान ले सकता है। किसी [[परिमित क्षेत्र]] पर तुच्छ मान ही एकमात्र संभावित निरपेक्ष मान होता है क्योंकि किसी भी गैर-शून्य तत्व को 1 प्राप्त करने के लिए कुछ ऊर्जा तक बढ़ाया जा सकता है। | तुच्छ निरपेक्ष मान |''x''|=0 के साथ निरपेक्ष मान है ''x''=0 और |''x''|=1।<ref>{{cite book |last=Koblitz |first=Neal |authorlink=Neal Koblitz |title=पी-एडिक संख्याएं, पी-एडिक विश्लेषण और जीटा-फ़ंक्शन|edition=2nd |year=1984 |publisher=Springer-Verlag |location=New York |isbn=978-0-387-96017-3 |url=https://www.springer.com/mathematics/numbers/book/978-0-387-96017-3 |accessdate=24 August 2012 |page=3 |quote=By the 'trivial' norm we mean the norm ‖ ‖ such that ‖0‖ = 0 and ‖''x''‖ = 1 for ''x'' ≠ 0.}}</ref> प्रत्येक अभिन्न डोमेन कम से कम तुच्छ निरपेक्ष मान ले सकता है। किसी [[परिमित क्षेत्र]] पर तुच्छ मान ही एकमात्र संभावित निरपेक्ष मान होता है क्योंकि किसी भी गैर-शून्य तत्व को 1 प्राप्त करने के लिए कुछ ऊर्जा तक बढ़ाया जा सकता है। | ||
Line 30: | Line 30: | ||
== स्थान == | == स्थान == | ||
यदि |x|<sub>1</sub> और |x|<sub>2</sub> एक ही अभिन्न डोमेन D पर दो निरपेक्ष मान है, तो दो निरपेक्ष मान समतुल्य है यदि |x|<sub>1</sub> < | यदि |x|<sub>1</sub> और |x|<sub>2</sub> एक ही अभिन्न डोमेन D पर दो निरपेक्ष मान होते है, तो यह दो निरपेक्ष मान समतुल्य होते है यदि |x|<sub>1</sub> <1और |x|<sub>2</sub> <1 सभी एक्स के लिए है। यदि दो गैर-तुच्छ निरपेक्ष मान समतुल्य होते है, तो कुछ घातांक e के लिए हमारे पास है |x|<sub>1</sub> = |x|<sub>2</sub> सभी एक्स के लिए निरपेक्ष मान 1 से कम निरपेक्ष मान प्राप्त होता है, लेकिन 1 से अधिक बढ़ाने पर यह आवश्यक नहीं होता है कि निरपेक्ष मान प्राप्त हो जाए। (उदाहरण के लिए, वास्तविक संख्याओं पर सामान्य निरपेक्ष मान का वर्गीकरण करने पर एक फलन प्राप्त होता है जो पूर्ण मान नहीं होता है |x+y| ≤ |x|+|y|.) संपूर्ण मान, या दूसरे शब्दों में, निरपेक्ष मानों के समतुल्य वर्ग को 'बीजगणितीय संख्या सिद्धांत कहा जाता है। | ||
ओस्ट्रोव्स्की के प्रमेय में कहा गया है कि परिमेय संख्या 'क्यू' के गैर-तुच्छ स्थान सामान्य निरपेक्ष मान और प्रत्येक अभाज्य पी के लिए पी-एडिक निरपेक्ष मान होता है।<ref>Cassels (1986) p.16</ref> किसी दिए गए अभाज्य | ओस्ट्रोव्स्की के प्रमेय में कहा गया है कि परिमेय संख्या 'क्यू' के गैर-तुच्छ स्थान सामान्य निरपेक्ष मान और प्रत्येक अभाज्य पी के लिए पी-एडिक निरपेक्ष मान होता है।<ref>Cassels (1986) p.16</ref> किसी दिए गए अभाज्य पी के लिए, किसी भी परिमेय संख्या q को p<sup>n</sup>(a/b) के रूप में लिखा जा सकता है, जहां a और b पूर्णांक है जो p से विभाज्य नहीं होता है और n एक पूर्णांक होता है। q का p-एडिक निरपेक्ष मान है | ||
:<math>\left|p^n \frac{a}{b}\right|_p = p^{-n}.</math> | :<math>\left|p^n \frac{a}{b}\right|_p = p^{-n}.</math> | ||
चूँकि उपरोक्त परिभाषा के अनुसार सामान्य निरपेक्ष मान और पी-एडिक निरपेक्ष मान | चूँकि उपरोक्त परिभाषा के अनुसार सामान्य निरपेक्ष मान और पी-एडिक निरपेक्ष मान संख्याओं को परिभाषित करते है। | ||
== मूल्यांकन == | == मूल्यांकन == | ||
{{main|मूल्यांकन (बीजगणित)}} | {{main|मूल्यांकन (बीजगणित)}} | ||
यदि | यदि निरपेक्ष मान b > 1 के लिए, हम ν(x)<sub>''b''</sub>=−log परिभाषित करते है |x| x ≠ 0 और ν(0) = ∞ के लिए, जहां ∞ सभी वास्तविक संख्याओं से बड़ा होता है, तो हम निम्नलिखित गुणों के साथ D से 'R' ∪ {∞} तक एक फलन प्राप्त करते है: | ||
* ν(x) = ∞ ⇒ x = 0, | * ν(x) = ∞ ⇒ x = 0, | ||
* ν(xy) = ν(x)+ν(y), | * ν(xy) = ν(x)+ν(y), | ||
* ν(x + y) ≥ min(ν(x), ν(y)) | * ν(x + y) ≥ min(ν(x), ν(y)) | ||
इस तरह के फलन को [[निकोलस बॉर्बकी]] की | इस तरह के फलन को [[निकोलस बॉर्बकी]] की वाक्यांश में [[मूल्यांकन (बीजगणित)]] के रूप में जाना जाता है, लेकिन अन्य लेखक निरपेक्ष मूल्य के लिए मूल्यांकन शब्द का उपयोग करते है। | ||
== पूर्णता == | == पूर्णता == | ||
निरपेक्ष मान के साथ एक अभिन्न डोमेन D को देखते हुए, हम निरपेक्ष मान के संबंध में D के तत्वों | निरपेक्ष मान के साथ एक अभिन्न डोमेन D को देखते हुए, हम निरपेक्ष मान के संबंध में D के तत्वों को [[कॉची अनुक्रम]] द्वारा परिभाषित कर सकते है, जिसके लिए यह आवश्यक होता है कि प्रत्येक ε > 0 के लिए एक धनात्मक पूर्णांक n होता है, जैसे कि सभी पूर्णांक एम, एन > एन के पास होता है |x<sub>''m''</sub> − x<sub>''n''</sub>| < ε, शून्य अनुक्रमों को (a<sub>''n''</sub>) D के तत्वों को |a<sub>''n''</sub>| शून्य अनुक्रमों में परिवर्तित करता है। कॉची अनुक्रमों के वलय में शून्य अनुक्रम एक [[प्रमुख आदर्श]] होता है, और इसलिए भागफल वलय एक अभिन्न डोमेन होता है। डोमेन D इस भागफल में अंतर्निहित होता है, जिसे निरपेक्ष मान |x| के संबंध में D का [[पूर्ण मीट्रिक स्थान]] कहा जाता है। | ||
चूँकि | चूँकि क्षेत्र अभिन्न डोमेन होता है, यह निरपेक्ष मान के संबंध में किसी क्षेत्र को पूरा करने के लिए एक निर्माण भी होता है। उत्तरार्द्ध का भागफल सभी गैर-शून्य तत्वों के अनुक्रम के अंतिम शून्य बिंदु से प्रारंभ होने वाले अनुक्रम से आसानी से किया जा सकता है। भागफल वलय गैर-शून्य तत्व के अनुक्रम के शून्य अनुक्रम से भिन्न होता है, और एक प्रतिनिधि व्युत्क्रम तत्व प्राप्त हो सकता है। | ||
[[अलेक्जेंडर ओस्ट्रोव्स्की]] का एक अन्य प्रमेय यह है कि [[आर्किमिडीज]] के निरपेक्ष मूल्य के संबंध में पूरा किया गया कोई भी क्षेत्र वास्तविक या जटिल संख्याओं के लिए [[ समरूपी |समरूपी]] होता है, और मूल्यांकन सामान्य के बराबर होता है।<ref>Cassels (1986) p.33</ref> गेलफैंड-टॉर्नहेम प्रमेय में कहा गया है कि मूल्यांकन वाला कोई भी क्षेत्र C के क्षेत्र विस्तार के लिए समरूपी होता है, मूल्यांकन C पर सामान्य निरपेक्ष मूल्य के बराबर होता है।<ref>{{cite web|url=https://www.williamstein.org/papers/ant/html/node60.html |author=William Stein |title=मूल्यांकन के उदाहरण|date=2004-05-06 |accessdate=2023-01-28 }}</ref> | [[अलेक्जेंडर ओस्ट्रोव्स्की]] का एक अन्य प्रमेय यह होता है कि [[आर्किमिडीज]] के निरपेक्ष मूल्य के संबंध में पूरा किया गया कोई भी क्षेत्र वास्तविक या जटिल संख्याओं के लिए [[ समरूपी |समरूपी]] होता है, और मूल्यांकन सामान्य क्षेत्र के बराबर होता है।<ref>Cassels (1986) p.33</ref> गेलफैंड-टॉर्नहेम प्रमेय में कहा गया है कि मूल्यांकन वाला कोई भी क्षेत्र C के क्षेत्र विस्तार के लिए समरूपी होता है, मूल्यांकन C पर सामान्य निरपेक्ष मूल्य के बराबर होता है।<ref>{{cite web|url=https://www.williamstein.org/papers/ant/html/node60.html |author=William Stein |title=मूल्यांकन के उदाहरण|date=2004-05-06 |accessdate=2023-01-28 }}</ref> | ||
== | == क्षेत्र और अभिन्न डोमेन == | ||
यदि D, निरपेक्ष मान है | यदि D, निरपेक्ष मान है | ||
:<math>|x/y| = |x|/|y|.\,</math> | :<math>|x/y| = |x|/|y|.\,</math> | ||
दूसरी ओर, यदि F अल्ट्रामेट्रिक निरपेक्ष मान |x| | दूसरी ओर, यदि F अल्ट्रामेट्रिक निरपेक्ष मान |x| एक क्षेत्र है, तो F के तत्वों का समुच्चय इस प्रकार होता है |x| ≤ 1 यह एक [[ मूल्यांकन अंगूठी |मूल्यांकन]] को परिभाषित करता है, जैसे कि F के प्रत्येक गैर-शून्य तत्व x के लिए, x या x<sup>−1</sup> में D से संबंधित होता है। चूँकि F एक क्षेत्र है, D का कोई शून्य विभाजक नहीं होता है और यह एक अभिन्न डोमेन होता है। इसका एक अद्वितीय अधिकतम अनुक्रम होता है जिसमें x इस प्रकार सम्मलित होते है |x| <1, और इसलिए यह एक स्थानीय वलय होता है। | ||
== टिप्पणियाँ == | == टिप्पणियाँ == |
Revision as of 00:26, 7 July 2023
बीजगणित में, एक निरपेक्ष मान (जिसे मूल्यांकन, परिमाण या मानदंड भी कहा जाता है,[1] चूँकि मानदंड (गणित) सामान्यतः एक विशिष्ट प्रकार के निरपेक्ष मान को संदर्भित करता है) एक फलन (गणित) होता है जो किसी अभिन्न डोमेन में तत्वों के आकार को मापता है। अधिक त्रुटिहीन रूप से, यदि D एक अभिन्न डोमेन होता है, तो 'संपूर्ण मान' होता है |x| R संतोषजनक:
• | (गैर-ऋणात्मक) | |||
• | यदि if | (धनात्मक निश्चितता) | ||
• | (गुणात्मकता) | |||
• | (असमानित त्रिकोण) |
इन सूक्तियों से यह निष्कर्ष निकलता है कि |1| = 1 और |-1| = 1. इसके अतिरिक्त, प्रत्येक धनात्मक पूर्णांक n के लिए है,
- |n| = |1 + 1 +...+1 (n)| = |−1 − 1 − ... − 1 (n)| ≤n.
निरपेक्ष मान वह होता है जिसमें, उदाहरण के लिए, |2|=2 है, लेकिन कई अन्य फलन ऊपर बताई गई आवश्यकताओं को पूरा करते है, उदाहरण के लिए निरपेक्ष मान का वर्गमूल।ka
एक निरपेक्ष मान एक माप को प्रेरित करता है
उदाहरण
- पूर्णांकों पर मानक निरपेक्ष मान.
- संमिश्र संख्याओं पर मानक निरपेक्ष मान.
- पी-एडिक निरपेक्ष मान तर्कसंगत संख्याओं पर।
- यदि R, F और तर्कसंगत कार्यों का क्षेत्र है R का एक निश्चित अपरिवर्तनीय तत्व है, तो निम्नलिखित R पर एक निरपेक्ष मान को परिभाषित करता है: इसके लिए R परिभाषा में होता है , जहाँ और
निरपेक्ष मान के प्रकार
तुच्छ निरपेक्ष मान |x|=0 के साथ निरपेक्ष मान है x=0 और |x|=1।[2] प्रत्येक अभिन्न डोमेन कम से कम तुच्छ निरपेक्ष मान ले सकता है। किसी परिमित क्षेत्र पर तुच्छ मान ही एकमात्र संभावित निरपेक्ष मान होता है क्योंकि किसी भी गैर-शून्य तत्व को 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|.) संपूर्ण मान, या दूसरे शब्दों में, निरपेक्ष मानों के समतुल्य वर्ग को 'बीजगणितीय संख्या सिद्धांत कहा जाता है।
ओस्ट्रोव्स्की के प्रमेय में कहा गया है कि परिमेय संख्या 'क्यू' के गैर-तुच्छ स्थान सामान्य निरपेक्ष मान और प्रत्येक अभाज्य पी के लिए पी-एडिक निरपेक्ष मान होता है।[3] किसी दिए गए अभाज्य पी के लिए, किसी भी परिमेय संख्या q को pn(a/b) के रूप में लिखा जा सकता है, जहां a और b पूर्णांक है जो p से विभाज्य नहीं होता है और n एक पूर्णांक होता है। q का p-एडिक निरपेक्ष मान है
चूँकि उपरोक्त परिभाषा के अनुसार सामान्य निरपेक्ष मान और पी-एडिक निरपेक्ष मान संख्याओं को परिभाषित करते है।
मूल्यांकन
यदि निरपेक्ष मान b > 1 के लिए, हम ν(x)b=−log परिभाषित करते है |x| x ≠ 0 और ν(0) = ∞ के लिए, जहां ∞ सभी वास्तविक संख्याओं से बड़ा होता है, तो हम निम्नलिखित गुणों के साथ D से 'R' ∪ {∞} तक एक फलन प्राप्त करते है:
- ν(x) = ∞ ⇒ x = 0,
- ν(xy) = ν(x)+ν(y),
- ν(x + y) ≥ min(ν(x), ν(y))
इस तरह के फलन को निकोलस बॉर्बकी की वाक्यांश में मूल्यांकन (बीजगणित) के रूप में जाना जाता है, लेकिन अन्य लेखक निरपेक्ष मूल्य के लिए मूल्यांकन शब्द का उपयोग करते है।
पूर्णता
निरपेक्ष मान के साथ एक अभिन्न डोमेन D को देखते हुए, हम निरपेक्ष मान के संबंध में D के तत्वों को कॉची अनुक्रम द्वारा परिभाषित कर सकते है, जिसके लिए यह आवश्यक होता है कि प्रत्येक ε > 0 के लिए एक धनात्मक पूर्णांक n होता है, जैसे कि सभी पूर्णांक एम, एन > एन के पास होता है |xm − xn| < ε, शून्य अनुक्रमों को (an) D के तत्वों को |an| शून्य अनुक्रमों में परिवर्तित करता है। कॉची अनुक्रमों के वलय में शून्य अनुक्रम एक प्रमुख आदर्श होता है, और इसलिए भागफल वलय एक अभिन्न डोमेन होता है। डोमेन D इस भागफल में अंतर्निहित होता है, जिसे निरपेक्ष मान |x| के संबंध में D का पूर्ण मीट्रिक स्थान कहा जाता है।
चूँकि क्षेत्र अभिन्न डोमेन होता है, यह निरपेक्ष मान के संबंध में किसी क्षेत्र को पूरा करने के लिए एक निर्माण भी होता है। उत्तरार्द्ध का भागफल सभी गैर-शून्य तत्वों के अनुक्रम के अंतिम शून्य बिंदु से प्रारंभ होने वाले अनुक्रम से आसानी से किया जा सकता है। भागफल वलय गैर-शून्य तत्व के अनुक्रम के शून्य अनुक्रम से भिन्न होता है, और एक प्रतिनिधि व्युत्क्रम तत्व प्राप्त हो सकता है।
अलेक्जेंडर ओस्ट्रोव्स्की का एक अन्य प्रमेय यह होता है कि आर्किमिडीज के निरपेक्ष मूल्य के संबंध में पूरा किया गया कोई भी क्षेत्र वास्तविक या जटिल संख्याओं के लिए समरूपी होता है, और मूल्यांकन सामान्य क्षेत्र के बराबर होता है।[4] गेलफैंड-टॉर्नहेम प्रमेय में कहा गया है कि मूल्यांकन वाला कोई भी क्षेत्र C के क्षेत्र विस्तार के लिए समरूपी होता है, मूल्यांकन C पर सामान्य निरपेक्ष मूल्य के बराबर होता है।[5]
क्षेत्र और अभिन्न डोमेन
यदि D, निरपेक्ष मान है
दूसरी ओर, यदि F अल्ट्रामेट्रिक निरपेक्ष मान |x| एक क्षेत्र है, तो F के तत्वों का समुच्चय इस प्रकार होता है |x| ≤ 1 यह एक मूल्यांकन को परिभाषित करता है, जैसे कि F के प्रत्येक गैर-शून्य तत्व x के लिए, x या x−1 में D से संबंधित होता है। चूँकि F एक क्षेत्र है, D का कोई शून्य विभाजक नहीं होता है और यह एक अभिन्न डोमेन होता है। इसका एक अद्वितीय अधिकतम अनुक्रम होता है जिसमें x इस प्रकार सम्मलित होते है |x| <1, और इसलिए यह एक स्थानीय वलय होता है।
टिप्पणियाँ
- ↑ Koblitz, Neal (1984). पी-एडिक संख्याएं, पी-एडिक विश्लेषण और जीटा-फ़ंक्शन (2nd ed.). New York: Springer-Verlag. p. 1. ISBN 978-0-387-96017-3. Retrieved 24 August 2012.
The metrics we'll be dealing with will come from norms on the field F...
- ↑ Koblitz, Neal (1984). पी-एडिक संख्याएं, पी-एडिक विश्लेषण और जीटा-फ़ंक्शन (2nd ed.). New York: Springer-Verlag. p. 3. ISBN 978-0-387-96017-3. Retrieved 24 August 2012.
By the 'trivial' norm we mean the norm ‖ ‖ such that ‖0‖ = 0 and ‖x‖ = 1 for x ≠ 0.
- ↑ Cassels (1986) p.16
- ↑ Cassels (1986) p.33
- ↑ William Stein (2004-05-06). "मूल्यांकन के उदाहरण". Retrieved 2023-01-28.
संदर्भ
- 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.