लिफ्ट (गणित): Difference between revisions
(Created page with "{{more citations needed|date=January 2021}} Image:Lifting diagram.png|right|thumb|100px|रूपवाद h, f की एक लिफ्ट है ([[क्रमविन...") |
No edit summary |
||
| Line 1: | Line 1: | ||
[[Image:Lifting diagram.png|right|thumb|100px|रूपवाद h, f की लिफ्ट है ([[क्रमविनिमेय आरेख]])]][[श्रेणी सिद्धांत]] में, गणित की शाखा, रूपवाद f: {{nowrap|1=''f'' = ''g''∘''h''}}. हम कहते हैं कि f गणितीय शब्दजाल#कारक की सूची h के माध्यम से। | |||
[[Image:Lifting diagram.png|right|thumb|100px|रूपवाद h, f की | |||
[[टोपोलॉजी]] में | [[टोपोलॉजी]] में बुनियादी उदाहरण [[टोपोलॉजिकल स्पेस]] में [[पथ (टोपोलॉजी)]] को [[ जगह को कवर करना ]] में पथ तक उठाना है।<ref>Jean-Pierre Marquis (2006) "A path to Epistemology of Mathematics: Homotopy theory", pages 239 to 260 in ''The Architecture of Modern Mathematics'', J. Ferreiros & [[Jeremy Gray|J.J. Gray]], editors, [[Oxford University Press]] {{ISBN|978-0-19-856793-6}}</ref> उदाहरण के लिए, गोले पर विपरीत बिंदुओं को ही बिंदु पर मैप करने पर विचार करें, [[प्रक्षेप्य तल]] को कवर करने वाले गोले से सतत फ़ंक्शन (टोपोलॉजी)। प्रक्षेप्य तल में पथ [[इकाई अंतराल]] [0,1] से सतत मानचित्र है। हम गोले के दो बिंदुओं में से किसी को चुनकर पथ के पहले बिंदु पर मैप करके ऐसे पथ को गोले तक उठा सकते हैं, फिर निरंतरता बनाए रख सकते हैं। इस मामले में, दो प्रारंभिक बिंदुओं में से प्रत्येक गोले पर अद्वितीय पथ को बल देता है, प्रक्षेप्य तल में पथ की लिफ्ट। इस प्रकार रूपात्मकता के रूप में निरंतर मानचित्रों के साथ [[टोपोलॉजिकल रिक्त स्थान की श्रेणी]] में, हमारे पास है | ||
:<math>\begin{align} | :<math>\begin{align} | ||
f\colon\, &[0,1] \to \mathbb{RP}^2 &&\ \text{ (projective plane path)} \\ | f\colon\, &[0,1] \to \mathbb{RP}^2 &&\ \text{ (projective plane path)} \\ | ||
| Line 10: | Line 9: | ||
लिफ्टें सर्वव्यापी हैं; उदाहरण के लिए, [[कंपन]] की परिभाषा ([[ होमोटोपी उठाने वाली संपत्ति ]] देखें) और अलग-अलग रूपवाद के मूल्यांकन मानदंड और [[योजना (गणित)]] के [[उचित मानचित्र]] अस्तित्व के संदर्भ में तैयार किए जाते हैं और (अंतिम मामले में) कुछ लिफ्टों की [[विशिष्टता प्रमेय]]। | लिफ्टें सर्वव्यापी हैं; उदाहरण के लिए, [[कंपन]] की परिभाषा ([[ होमोटोपी उठाने वाली संपत्ति ]] देखें) और अलग-अलग रूपवाद के मूल्यांकन मानदंड और [[योजना (गणित)]] के [[उचित मानचित्र]] अस्तित्व के संदर्भ में तैयार किए जाते हैं और (अंतिम मामले में) कुछ लिफ्टों की [[विशिष्टता प्रमेय]]। | ||
[[बीजगणितीय टोपोलॉजी]] और होमोलॉजिकल बीजगणित में, [[टेंसर उत्पाद]] और [[मैं एक आदमी के रूप में काम करता हूं]] [[टेंसर-होम एडजंक्शन]] हैं; हालाँकि, हो सकता है कि वे हमेशा | [[बीजगणितीय टोपोलॉजी]] और होमोलॉजिकल बीजगणित में, [[टेंसर उत्पाद]] और [[मैं एक आदमी के रूप में काम करता हूं|मैं आदमी के रूप में काम करता हूं]] [[टेंसर-होम एडजंक्शन]] हैं; हालाँकि, हो सकता है कि वे हमेशा सटीक अनुक्रम तक न पहुँचें। इससे [[ एक्सट ऑपरेटर ]] और [[ टोर काम करता है ]] की परिभाषा सामने आती है। | ||
==बीजगणितीय तर्क== | ==बीजगणितीय तर्क== | ||
{{Main|Calculus of relations}} | {{Main|Calculus of relations}} | ||
जब [[परिमाणक (तर्क)]]तर्क) को स्थापित डोमेन और बाइनरी संबंधों की श्रेणियों में स्थानांतरित कर दिया जाता है, तो [[प्रथम-क्रम विधेय तर्क]] के नोटेशन को सुव्यवस्थित किया जाता है। [[गुंथर श्मिट]] और माइकल विंटर ने अपनी पुस्तक रिलेशनल टोपोलॉजी में टोपोलॉजी की पारंपरिक तार्किक अभिव्यक्तियों को संबंधों की गणना तक उठाने की विधि का वर्णन किया है।<ref>[[Gunther Schmidt]] and Michael Winter (2018): ''Relational Topology'', page 2 to 5, [[Lecture Notes in Mathematics]] vol. 2208, [[Springer books]], {{ISBN|978-3-319-74451-3}}</ref> | जब [[परिमाणक (तर्क)]]तर्क) को स्थापित डोमेन और बाइनरी संबंधों की श्रेणियों में स्थानांतरित कर दिया जाता है, तो [[प्रथम-क्रम विधेय तर्क]] के नोटेशन को सुव्यवस्थित किया जाता है। [[गुंथर श्मिट]] और माइकल विंटर ने अपनी पुस्तक रिलेशनल टोपोलॉजी में टोपोलॉजी की पारंपरिक तार्किक अभिव्यक्तियों को संबंधों की गणना तक उठाने की विधि का वर्णन किया है।<ref>[[Gunther Schmidt]] and Michael Winter (2018): ''Relational Topology'', page 2 to 5, [[Lecture Notes in Mathematics]] vol. 2208, [[Springer books]], {{ISBN|978-3-319-74451-3}}</ref> | ||
उनका लक्ष्य अवधारणाओं को | उनका लक्ष्य अवधारणाओं को संबंधपरक स्तर तक उठाना है, जिससे वे बिंदु मुक्त और साथ ही मात्रात्मक मुक्त हो सकें | ||
उन्हें प्रथम क्रम विधेय तर्क की शैली से मुक्त करना और बीजगणितीय तर्क की स्पष्टता तक पहुंचना। | उन्हें प्रथम क्रम विधेय तर्क की शैली से मुक्त करना और बीजगणितीय तर्क की स्पष्टता तक पहुंचना। | ||
उदाहरण के लिए, | उदाहरण के लिए, आंशिक फ़ंक्शन एम समावेशन से मेल खाता है <math>M^T ; M \subseteq I</math> कहाँ <math>I</math> एम की सीमा पर पहचान संबंध को दर्शाता है। परिमाणीकरण के लिए संकेतन छिपा हुआ है और संबंधपरक संचालन (यहां ट्रांसपोज़िशन और संरचना) और उनके नियमों की टाइपिंग में गहराई से शामिल रहता है। | ||
== वृत्त मानचित्र == | == वृत्त मानचित्र == | ||
किसी वृत्त के मानचित्रों के लिए, वास्तविक रेखा तक लिफ्ट की परिभाषा थोड़ी भिन्न होती है (एक सामान्य अनुप्रयोग रोटेशन संख्या की गणना है)। | किसी वृत्त के मानचित्रों के लिए, वास्तविक रेखा तक लिफ्ट की परिभाषा थोड़ी भिन्न होती है (एक सामान्य अनुप्रयोग रोटेशन संख्या की गणना है)। वृत्त पर नक्शा दिया गया है, <math>T:\text{S}\rightarrow\text{S}</math>, की लिफ्ट <math>T</math>, <math>F_T</math>, क्या कोई मानचित्र वास्तविक रेखा पर है, <math>F_T:\mathbb{R}\rightarrow\mathbb{R}</math>, जिसके लिए प्रक्षेपण मौजूद है (या, कवरिंग स्पेस), <math>\pi: \mathbb{R} \rightarrow \text{S}</math>, ऐसा है कि <math>\pi \circ F_T = T \circ \pi</math>.<ref>Robert L. Devaney (1989): ''An Introduction to Chaotic Dynamical Systems'', pp. 102-103, Addison-Wesley</ref> | ||
| Line 28: | Line 27: | ||
* स्थान को कवर करना | * स्थान को कवर करना | ||
* [[प्रोजेक्टिव मॉड्यूल]] | * [[प्रोजेक्टिव मॉड्यूल]] | ||
* [[औपचारिक रूप से चिकना नक्शा]] | * [[औपचारिक रूप से चिकना नक्शा]] असीम उठाने वाली संपत्ति को संतुष्ट करता है। | ||
* श्रेणियों में [[संपत्ति उठाना]] | * श्रेणियों में [[संपत्ति उठाना]] | ||
* मोन्स्की-वॉश्निट्ज़र कोहोलॉजी पी-एडिक किस्मों को विशेषता शून्य तक ले जाती है। | * मोन्स्की-वॉश्निट्ज़र कोहोलॉजी पी-एडिक किस्मों को विशेषता शून्य तक ले जाती है। | ||
| Line 43: | Line 42: | ||
==संदर्भ== | ==संदर्भ== | ||
{{Reflist}} | {{Reflist}} | ||
[[Category: श्रेणी सिद्धांत]] | [[Category: श्रेणी सिद्धांत]] | ||
Revision as of 13:05, 12 July 2023
श्रेणी सिद्धांत में, गणित की शाखा, रूपवाद f: f = g∘h. हम कहते हैं कि f गणितीय शब्दजाल#कारक की सूची h के माध्यम से।
टोपोलॉजी में बुनियादी उदाहरण टोपोलॉजिकल स्पेस में पथ (टोपोलॉजी) को जगह को कवर करना में पथ तक उठाना है।[1] उदाहरण के लिए, गोले पर विपरीत बिंदुओं को ही बिंदु पर मैप करने पर विचार करें, प्रक्षेप्य तल को कवर करने वाले गोले से सतत फ़ंक्शन (टोपोलॉजी)। प्रक्षेप्य तल में पथ इकाई अंतराल [0,1] से सतत मानचित्र है। हम गोले के दो बिंदुओं में से किसी को चुनकर पथ के पहले बिंदु पर मैप करके ऐसे पथ को गोले तक उठा सकते हैं, फिर निरंतरता बनाए रख सकते हैं। इस मामले में, दो प्रारंभिक बिंदुओं में से प्रत्येक गोले पर अद्वितीय पथ को बल देता है, प्रक्षेप्य तल में पथ की लिफ्ट। इस प्रकार रूपात्मकता के रूप में निरंतर मानचित्रों के साथ टोपोलॉजिकल रिक्त स्थान की श्रेणी में, हमारे पास है
लिफ्टें सर्वव्यापी हैं; उदाहरण के लिए, कंपन की परिभाषा (होमोटोपी उठाने वाली संपत्ति देखें) और अलग-अलग रूपवाद के मूल्यांकन मानदंड और योजना (गणित) के उचित मानचित्र अस्तित्व के संदर्भ में तैयार किए जाते हैं और (अंतिम मामले में) कुछ लिफ्टों की विशिष्टता प्रमेय।
बीजगणितीय टोपोलॉजी और होमोलॉजिकल बीजगणित में, टेंसर उत्पाद और मैं आदमी के रूप में काम करता हूं टेंसर-होम एडजंक्शन हैं; हालाँकि, हो सकता है कि वे हमेशा सटीक अनुक्रम तक न पहुँचें। इससे एक्सट ऑपरेटर और टोर काम करता है की परिभाषा सामने आती है।
बीजगणितीय तर्क
जब परिमाणक (तर्क)तर्क) को स्थापित डोमेन और बाइनरी संबंधों की श्रेणियों में स्थानांतरित कर दिया जाता है, तो प्रथम-क्रम विधेय तर्क के नोटेशन को सुव्यवस्थित किया जाता है। गुंथर श्मिट और माइकल विंटर ने अपनी पुस्तक रिलेशनल टोपोलॉजी में टोपोलॉजी की पारंपरिक तार्किक अभिव्यक्तियों को संबंधों की गणना तक उठाने की विधि का वर्णन किया है।[2] उनका लक्ष्य अवधारणाओं को संबंधपरक स्तर तक उठाना है, जिससे वे बिंदु मुक्त और साथ ही मात्रात्मक मुक्त हो सकें उन्हें प्रथम क्रम विधेय तर्क की शैली से मुक्त करना और बीजगणितीय तर्क की स्पष्टता तक पहुंचना।
उदाहरण के लिए, आंशिक फ़ंक्शन एम समावेशन से मेल खाता है कहाँ एम की सीमा पर पहचान संबंध को दर्शाता है। परिमाणीकरण के लिए संकेतन छिपा हुआ है और संबंधपरक संचालन (यहां ट्रांसपोज़िशन और संरचना) और उनके नियमों की टाइपिंग में गहराई से शामिल रहता है।
वृत्त मानचित्र
किसी वृत्त के मानचित्रों के लिए, वास्तविक रेखा तक लिफ्ट की परिभाषा थोड़ी भिन्न होती है (एक सामान्य अनुप्रयोग रोटेशन संख्या की गणना है)। वृत्त पर नक्शा दिया गया है, , की लिफ्ट , , क्या कोई मानचित्र वास्तविक रेखा पर है, , जिसके लिए प्रक्षेपण मौजूद है (या, कवरिंग स्पेस), , ऐसा है कि .[3]
यह भी देखें
- स्थान को कवर करना
- प्रोजेक्टिव मॉड्यूल
- औपचारिक रूप से चिकना नक्शा असीम उठाने वाली संपत्ति को संतुष्ट करता है।
- श्रेणियों में संपत्ति उठाना
- मोन्स्की-वॉश्निट्ज़र कोहोलॉजी पी-एडिक किस्मों को विशेषता शून्य तक ले जाती है।
- एसबीआई रिंग बेरोजगारों को जैकबसन रेडिकल से ऊपर उठाने की अनुमति देती है।
- इकेदा लिफ्ट
- सीगल मॉड्यूलर रूपों की मियावाकी लिफ्ट
- मॉड्यूलर रूपों की सैटो-कुरोकावा लिफ्ट
- घूर्णन संख्या वृत्त की समरूपता को वास्तविक रेखा तक उठाने का उपयोग करती है।
- अंकगणित ज्यामिति: एंड्रयू विल्स (1995) मॉड्यूलरिटी लिफ्टिंग
- हेंसल की लेम्मा
- मोनाड (फ़ंक्शनल प्रोग्रामिंग) सरल ऑपरेटरों को मोनाडिक रूप में लाने के लिए मैप फ़ंक्शनल का उपयोग करता है।
- स्पर्शरेखा बंडल#लिफ्ट्स
संदर्भ
- ↑ Jean-Pierre Marquis (2006) "A path to Epistemology of Mathematics: Homotopy theory", pages 239 to 260 in The Architecture of Modern Mathematics, J. Ferreiros & J.J. Gray, editors, Oxford University Press ISBN 978-0-19-856793-6
- ↑ Gunther Schmidt and Michael Winter (2018): Relational Topology, page 2 to 5, Lecture Notes in Mathematics vol. 2208, Springer books, ISBN 978-3-319-74451-3
- ↑ Robert L. Devaney (1989): An Introduction to Chaotic Dynamical Systems, pp. 102-103, Addison-Wesley
