बीजगणितीय स्वतंत्रता: Difference between revisions
No edit summary |
No edit summary |
||
Line 13: | Line 13: | ||
== ज्ञात स्थिरांकों की बीजगणितीय स्वतंत्रता == | == ज्ञात स्थिरांकों की बीजगणितीय स्वतंत्रता == | ||
हालांकि | हालांकि <math>\pi</math> और E दोनों को अनुवांशिक माना जाता है, यह ज्ञात नहीं है कि दोनों का सेट <math>\mathbb{Q}</math> पर बीजगणितीय रूप से स्वतंत्र है या नहीं है।<ref>{{cite book | ||
यह ज्ञात नहीं है कि दोनों का | |||
| url = https://books.google.com/books?id=jQ7c8Xqpqk0C | | url = https://books.google.com/books?id=jQ7c8Xqpqk0C | ||
| title = Field and Galois Theory | | title = Field and Galois Theory | ||
Line 23: | Line 22: | ||
| access-date = 2008-04-11 | | access-date = 2008-04-11 | ||
| isbn = 978-0-387-94753-2 | | isbn = 978-0-387-94753-2 | ||
}}</ref> वास्तव में, यह ज्ञात | }}</ref> वास्तव में, यह भी ज्ञात नहीं है कि <math>\pi+e</math> अपरिमेय है या नहीं है।<ref>{{Citation |last=Green |first=Ben |author-link=Ben J. Green|chapter=III.41 Irrational and Transcendental Numbers |editor-last=Gowers |editor-first=Timothy |year=2008 |title=[[The Princeton Companion to Mathematics]] |page=222 |publisher=Princeton University Press}}</ref> [[यूरी वैलेंटाइनोविच नेस्टरेंको|नेस्टरेंको]] ने 1996 में साबित किया कि: | ||
[[यूरी वैलेंटाइनोविच नेस्टरेंको]] ने 1996 में साबित किया कि: | * संख्या <math>\pi</math>,<math>e^\pi</math>, और Γ(1/4) <math>\mathbb{Q}</math> पर बीजगणितीय रूप से स्वतंत्र हैं।<ref name="MP61">{{cite book | first1=Yu. I. | last1=Manin | author-link1=Yuri I. Manin | first2=A. A. | last2=Panchishkin | title=Introduction to Modern Number Theory | series=Encyclopaedia of Mathematical Sciences | volume=49 | edition=Second | year=2007 | isbn=978-3-540-20364-3 | issn=0938-0396 | zbl=1079.11002 | page=61 }}</ref> | ||
* संख्या <math>\pi</math>, <math>e^\pi</math>, और | * संख्या <math>e^{\pi\sqrt{3}}</math> और Γ(1/3) <math>\mathbb{Q}</math> पर बीजगणितीय रूप से स्वतंत्र हैं। | ||
* संख्या <math>e^{\pi\sqrt{3}}</math> और Γ(1/3) | * सभी सकारात्मक पूर्णांकों <math>n</math> के लिए, संख्या <math>e^{\pi\sqrt{n}}</math> बीजगणितीय रूप से <math>\mathbb{Q}</math> पर स्वतंत्र है।<ref>{{cite journal|author=Nesterenko, Yuri V|author-link=Yuri Valentinovich Nesterenko|title=Modular Functions and Transcendence Problems|journal=[[Comptes rendus de l'Académie des sciences|Comptes Rendus de l'Académie des Sciences, Série I]]|volume=322|pages=909–914|year=1996|issue=10}}</ref> | ||
* सभी सकारात्मक पूर्णांकों | |||
== लिंडमैन-वीयरस्ट्रास प्रमेय == | == लिंडमैन-वीयरस्ट्रास प्रमेय == | ||
लिंडमैन-वीयरस्ट्रास प्रमेय का उपयोग अक्सर यह साबित करने के लिए किया जा सकता है कि कुछ सेट <math>\mathbb{Q}</math> पर बीजगणितीय रूप से स्वतंत्र होते है। यह बताता है कि जब भी <math>\alpha_1,\ldots,\alpha_n</math> [[बीजगणितीय संख्या|बीजगणितीय]] संख्याएँ होती हैं जो <math>\mathbb{Q}</math> पर [[रैखिक रूप से स्वतंत्र]] होती हैं, तो <math>e^{\alpha_1},\ldots,e^{\alpha_n}</math> भी <math>\mathbb{Q}</math> पर बीजगणितीय रूप से स्वतंत्र होती है। | लिंडमैन-वीयरस्ट्रास प्रमेय का उपयोग अक्सर यह साबित करने के लिए किया जा सकता है कि कुछ सेट <math>\mathbb{Q}</math> पर बीजगणितीय रूप से स्वतंत्र होते है। यह बताता है कि जब भी <math>\alpha_1,\ldots,\alpha_n</math> [[बीजगणितीय संख्या|बीजगणितीय]] संख्याएँ होती हैं जो <math>\mathbb{Q}</math> पर [[रैखिक रूप से स्वतंत्र]] होती हैं, तो <math>e^{\alpha_1},\ldots,e^{\alpha_n}</math> भी <math>\mathbb{Q}</math> पर बीजगणितीय रूप से स्वतंत्र होती है। |
Revision as of 19:19, 7 February 2023
Algebraic structure → Ring theory Ring theory |
---|
अमूर्त बीजगणित में, एक क्षेत्र का एक उपसमुच्चय एक उपक्षेत्र पर बीजगणितीय रूप से स्वतंत्र होता है यदि के तत्व में गुणांक वाले किसी गैर-तुच्छ (गणित) बहुपद समीकरण को संतुष्ट नहीं करते हैं।
विशेष रूप से, एक तत्व सेट , पर बीजगणितीय रूप से स्वतंत्र है यदि और केवल यदि , पर पारलौकिक है। सामान्य तौर पर, बीजगणितीय रूप से स्वतंत्र सेट के सभी तत्व पर आवश्यकता से पूरे क्षेत्र में अधिक होते हैं। के शेष तत्वों द्वारा उत्पन्न पर विस्तार होता है।
उदाहरण
दो वास्तविक संख्याएँ और प्रत्येक पारलौकिक संख्याएँ हैं: वे किसी भी गैर-तुच्छ बहुपद की जड़ें नहीं हैं जिनके गुणांक परिमेय संख्याएँ हैं। इस प्रकार, दो सिंगलटन सेट और परिमेय संख्याओं के क्षेत्र पर बीजगणितीय रूप से स्वतंत्र हैं।
हालाँकि, सेट परिमेय संख्याओं पर बीजगणितीय रूप से स्वतंत्र नहीं है, क्योंकि गैर-तुच्छ बहुपद है
शून्य है जब और .
ज्ञात स्थिरांकों की बीजगणितीय स्वतंत्रता
हालांकि और E दोनों को अनुवांशिक माना जाता है, यह ज्ञात नहीं है कि दोनों का सेट पर बीजगणितीय रूप से स्वतंत्र है या नहीं है।[1] वास्तव में, यह भी ज्ञात नहीं है कि अपरिमेय है या नहीं है।[2] नेस्टरेंको ने 1996 में साबित किया कि:
- संख्या ,, और Γ(1/4) पर बीजगणितीय रूप से स्वतंत्र हैं।[3]
- संख्या और Γ(1/3) पर बीजगणितीय रूप से स्वतंत्र हैं।
- सभी सकारात्मक पूर्णांकों के लिए, संख्या बीजगणितीय रूप से पर स्वतंत्र है।[4]
लिंडमैन-वीयरस्ट्रास प्रमेय
लिंडमैन-वीयरस्ट्रास प्रमेय का उपयोग अक्सर यह साबित करने के लिए किया जा सकता है कि कुछ सेट पर बीजगणितीय रूप से स्वतंत्र होते है। यह बताता है कि जब भी बीजगणितीय संख्याएँ होती हैं जो पर रैखिक रूप से स्वतंत्र होती हैं, तो भी पर बीजगणितीय रूप से स्वतंत्र होती है।
बीजगणितीय matroids
एक क्षेत्र विस्तार दिया जो बीजगणितीय नहीं है, ज़ोर्न की लेम्मा का उपयोग यह दिखाने के लिए किया जा सकता है कि हमेशा अधिकतम बीजगणितीय रूप से स्वतंत्र उपसमुच्चय मौजूद होता है ऊपर . इसके अलावा, सभी अधिकतम बीजगणितीय रूप से स्वतंत्र उपसमुच्चय में समान प्रमुखता होती है, जिसे विस्तार की श्रेष्ठता की डिग्री के रूप में जाना जाता है।
हर सेट के लिए के तत्वों का , बीजगणितीय रूप से स्वतंत्र उपसमुच्चय मैट्रोइड के स्वतंत्र सेट को परिभाषित करने वाले सिद्धांतों को पूरा करें। इस matroid में, तत्वों के एक सेट की रैंक इसकी श्रेष्ठता की डिग्री है, और एक सेट द्वारा उत्पन्न फ्लैट है तत्वों का प्रतिच्छेदन है मैदान के साथ . एक मैट्रॉइड जिसे इस तरह से उत्पन्न किया जा सकता है उसे बीजगणितीय मैट्रोइड कहा जाता है। बीजगणितीय matroids का कोई अच्छा लक्षण वर्णन ज्ञात नहीं है, लेकिन कुछ matroids गैर-बीजीय होने के लिए जाने जाते हैं; सबसे छोटा Vámos matroid है।[5] एक क्षेत्र पर एक मैट्रिक्स (गणित) द्वारा कई परिमित matroids Matroid प्रतिनिधित्व हो सकते हैं , जिसमें मैट्रॉइड तत्व मैट्रिक्स कॉलम के अनुरूप होते हैं, और तत्वों का एक सेट स्वतंत्र होता है यदि स्तंभों का संबंधित सेट रैखिक स्वतंत्रता है। मैट्रिक्स की प्रत्येक पंक्ति के लिए एक अनिश्चित (चर) का चयन करके, और प्रत्येक कॉलम के भीतर मैट्रिक्स गुणांक का उपयोग करके प्रत्येक मैट्रोइड तत्व को एक रैखिक संयोजन निर्दिष्ट करने के लिए, इस प्रकार के एक रैखिक प्रतिनिधित्व के साथ प्रत्येक मैट्रॉइड को बीजगणितीय मैट्रॉइड के रूप में भी प्रदर्शित किया जा सकता है। ये पारलौकिक। इसका विलोम असत्य है: प्रत्येक बीजगणितीय मैट्रॉइड का एक रेखीय निरूपण नहीं होता है।[6]
संदर्भ
- ↑ Patrick Morandi (1996). Field and Galois Theory. Springer. p. 174. ISBN 978-0-387-94753-2. Retrieved 2008-04-11.
- ↑ Green, Ben (2008), "III.41 Irrational and Transcendental Numbers", in Gowers, Timothy (ed.), The Princeton Companion to Mathematics, Princeton University Press, p. 222
- ↑ Manin, Yu. I.; Panchishkin, A. A. (2007). Introduction to Modern Number Theory. Encyclopaedia of Mathematical Sciences. Vol. 49 (Second ed.). p. 61. ISBN 978-3-540-20364-3. ISSN 0938-0396. Zbl 1079.11002.
- ↑ Nesterenko, Yuri V (1996). "Modular Functions and Transcendence Problems". Comptes Rendus de l'Académie des Sciences, Série I. 322 (10): 909–914.
- ↑ Ingleton, A. W.; Main, R. A. (1975), "Non-algebraic matroids exist", Bulletin of the London Mathematical Society, 7 (2): 144–146, doi:10.1112/blms/7.2.144, MR 0369110.
- ↑ Joshi, K. D. (1997), Applied Discrete Structures, New Age International, p. 909, ISBN 9788122408263.
बाहरी कड़ियाँ
- Chen, Johnny. "Algebraically Independent". MathWorld.