ऑपेराड: Difference between revisions

Revision as of 01:35, 9 March 2023

गणित में, ऑपेराड एक संरचना है जिसमें एब्स्ट्रैक्ट (संक्षेप) ऑपरेशन (गणित) होते हैं, प्रत्येक में निश्चित परिमित संख्या में इनपुट और आउटपुट होता है, साथ ही इन ऑपरेशनों को बनाने के प्रकार का विनिर्देश होता है। ओपेरा O दिया गया है $O$ इस समूह पर ठोस ऑपरेशंस के साथ सेट होने के लिए बीजगणित को परिभाषित करता है जो कि संक्षेप ऑपरेशन की तरह ही व्यवहार करता है उदाहरण के लिए, ऑपेराड L जैसे L के ऊपर बीजगणित लाई बीजगणित है; अर्थ में L संक्षेप प्रकार से उन ऑपरेशनों को स्कैनकोड करता है जो सभी लाई बीजगणित के लिए सामान्य है। ऑपेराड अपने बीजगणित के लिए समूह (गणित) के रूप में अपने समूह के प्रतिनिधित्व के लिए है।

इतिहास

ऑपरेशंस बीजगणितीय टोपोलॉजी में उत्पन्न होते हैं ऑपेराड; 1969 में जे माइकल बोर्डमैन और रेनर एम. वोग्ट^[1]^[2] और 1970 मई जे. पीटर मे द्वारा प्रस्तुत किया गया था।^[3] ऑपेराड शब्द मई द्वारा संचालन और मोनड (श्रेणी सिद्धांत) के पोर्टमंतेऊ के रूप में बनाया गया था (और इसलिए भी कि उनकी मां एक ऑपेरा गायक थीं)।^[4] 90 के दशक की प्रारम्भ में ऑपेराड में रुचि अधिकांशतः नवीनीकृत हो गई थी, जब मैक्सिम कोंटेसेविच, विक्टर गिन्ज़बर्ग और मिखाइल कापरानोव की प्रारंभिक अंतर्दृष्टि के आधार पर पता चला कि तर्कसंगत होमोटोपी सिद्धांत में कुछ द्वंद (गणित) घटनाओं को ऑपेराड के कोज़ुल द्वंद का उपयोग करके समझाया जा सकता है।^[5]^[6] इसके बाद से ऑपरेड्स ने कई अनुप्रयोगों को पाया है, जैसे जहर कई गुना के विरूपण परिमाणीकरण में, डेलिग्ने अनुमान,^[7] या मैक्सिम कोंटसेविच और थॉमस विलवाकर के कार्य में ग्राफ (असतत गणित) होमोलॉजी (गणित) में किया गया है।

अभ्यास

माना X एक समूह है और

n\in \mathbb {N}

को परिभाषित करता है

और

P(n):=\{f:X^{n}\to X\}

,

कार्टेशियन प्रोडक्ट से सभी फलन का समूह $n$ की प्रतिरूप $X$ को $X$ है।

हम इन फलन की रचना कर सकते हैं: दिया गया $f\in P(n)$ , $f_{1}\in P(k_{1}),\ldots ,f_{n}\in P(k_{n})$ , फलन

f\circ (f_{1},\ldots ,f_{n})\in P(k_{1}+\cdots +k_{n})

निम्नानुसार परिभाषित किया गया है: दिया गया $k_{1}+\cdots +k_{n}$ से तर्क $X$ , हम उन्हें विभाजित करते हैं $n$ ब्लॉक, पहले वाला $k_{1}$ तर्क, दूसरा $k_{2}$ तर्क, इत्यादि, और फिर क्रियान्वित करें $f_{1}$ पहले ब्लॉक के लिए, $f_{2}$ दूसरे ब्लॉक इत्यादि के लिए है। फिर हम मान X से प्राप्त एन मानों की सूचि में एफ को इस प्रकार क्रियान्वित करते हैं |

हम तर्कों को भी अनुमति दे सकते हैं, अर्थात हमारे पास समूह क्रिया है $*$ सममित समूह का $S_{n}$ पर $P(n)$ , द्वारा परिभाषित

(f*s)(x_{1},\ldots ,x_{n})=f(x_{s^{-1}(1)},\ldots ,x_{s^{-1}(n)})

के लिए $f\in P(n)$ , $s \in$

[1]

[2]

[3]

[4]

[5]

[6]

[7]

@@ Line 5: / Line 5: @@
 ऑपरेशंस [[बीजगणितीय टोपोलॉजी]] में उत्पन्न होते हैं ऑपेराड; 1969 में जे माइकल बोर्डमैन और रेनर एम. वोग्ट<ref>{{Cite journal|last1=Boardman|first1=J. M.|author-link=Michael Boardman|last2=Vogt|first2=R. M.|date=1 November 1968|title=होमोटॉपी-सब कुछ $H$-स्पेस|url=https://www.ams.org/journals/bull/1968-74-06/S0002-9904-1968-12070-1/home.html|journal=Bulletin of the American Mathematical Society|language=en-US|volume=74|issue=6|pages=1117–1123|doi=10.1090/S0002-9904-1968-12070-1|issn=0002-9904|doi-access=free}}</ref><ref>{{Cite book|last1=Boardman|first1=J. M.|author-link=Michael Boardman|last2=Vogt|first2=R. M.|date=1973|title=टोपोलॉजिकल स्पेस पर होमोटॉपी इनवेरिएंट बीजगणितीय संरचनाएं|series=Lecture Notes in Mathematics|language=en-gb|volume=347|doi=10.1007/bfb0068547|issn=0075-8434|isbn=978-3-540-06479-4}}</ref> और 1970 मई जे. पीटर मे द्वारा प्रस्तुत किया  गया था।<ref>{{Cite book|last=May|first=J. P.|author-link=J. Peter May|date=1972|title=पुनरावृत्त लूप रिक्त स्थान की ज्यामिति|series=Lecture Notes in Mathematics|language=en-gb|volume=271|doi=10.1007/bfb0067491|issn=0075-8434|isbn=978-3-540-05904-2|citeseerx=10.1.1.146.3172}}</ref> ऑपेराड शब्द मई द्वारा संचालन और मोनड (श्रेणी सिद्धांत) के पोर्टमंतेऊ के रूप में बनाया गया था (और इसलिए भी कि उनकी मां एक ऑपेरा गायक थीं)।<ref>{{Cite web|url=https://www.math.uchicago.edu/~may/PAPERS/mayi.pdf|title=संचालन, बीजगणित और मॉड्यूल|last=May|first=J. Peter|author-link=J. Peter May|website=math.uchicago.edu|page=2|access-date=28 September 2018}}</ref> 90 के दशक की प्रारम्भ में ऑपेराड में रुचि अधिकांशतः नवीनीकृत हो गई थी, जब [[मैक्सिम कोंटेसेविच]], [[विक्टर गिन्ज़बर्ग]] और [[मिखाइल कापरानोव]] की  प्रारंभिक अंतर्दृष्टि के आधार पर पता चला कि तर्कसंगत होमोटोपी सिद्धांत में कुछ द्वंद [[द्वैत (गणित)|(गणित)]] घटनाओं को ऑपेराड के कोज़ुल द्वंद का उपयोग करके समझाया जा सकता है।<ref>{{Cite journal|last1=Ginzburg|first1=Victor|author-link=Victor Ginzburg|last2=Kapranov|first2=Mikhail|date=1994|title=ओपेरा के लिए द्वंद्व शर्ट|url=https://projecteuclid.org/euclid.dmj/1077286744|journal=Duke Mathematical Journal|language=en|volume=76|issue=1|pages=203–272|doi=10.1215/S0012-7094-94-07608-4|issn=0012-7094|mr=1301191|zbl=0855.18006|s2cid=115166937|via=[[Project Euclid]]}}</ref><ref>{{Cite web|url=http://www.numdam.org/item/SB_1994-1995__37__47_0|title=La renaissance des opérades|last=Loday|first=Jean-Louis|author-link=Jean-Louis Loday|year=1996|website=www.numdam.org|series=[[Séminaire Nicolas Bourbaki]]|language=en|mr=1423619|zbl=0866.18007|access-date=27 September 2018}}</ref> इसके बाद से ऑपरेड्स ने कई अनुप्रयोगों को पाया है, जैसे [[जहर कई गुना]] के [[विरूपण परिमाणीकरण]] में, डेलिग्ने अनुमान,<ref name="Deligne">{{cite arXiv|last1=Kontsevich|first1=Maxim|last2=Soibelman|first2=Yan|date=26 January 2000|title=ऑपरेड्स और डेलिग्ने के अनुमान पर बीजगणित की विकृति|eprint=math/0001151}}</ref> या मैक्सिम कोंटसेविच और [[ थॉमस विलवाकर |थॉमस विलवाकर]] के कार्य में [[ग्राफ (असतत गणित)]] होमोलॉजी (गणित) में किया गया है।
-== अंतर्ज्ञान ==
+== अभ्यास ==
 :माना X एक समूह है और <math>n\in\N</math> को परिभाषित करता है
 :और <math>P(n):=\{f:X^n\to X\}</math>,
@@ Line 24: / Line 24: @@
 == परिभाषा ==
+असममित ऑपेराड
-=== गैर-सममित संक्रिया ===
 असममित ऑपेराड (कभी-कभी क्रमचय के बिना ऑपेराड कहा जाता है, या गैर-<math>\Sigma</math>या प्लेन ऑपेराड) में निम्नलिखित सम्मिलित हैं:
 * अनुक्रम <math>(P(n))_{n\in\mathbb{N}}</math> समूह के, जिनके तत्व कहलाते हैं एन-एरी ऑपरेशन ,
 * अवयव <math>1</math> में <math>P(1)</math> पहचान कहते हैं,
 * सभी धन पूर्णांक के लिए <math>n</math>, <math display="inline">k_1,\ldots,k_n</math>, संघटन फलन
 :<math>
@@ Line 89: / Line 88: @@
 उपरोक्त अर्थ में ऑपेराड को कभी-कभी सामान्यीकृत रिंग के रूप में माना जाता है। उदाहरण के लिए, निकोलाई ड्यूरोव अपने सामान्यीकृत रिंगों को एंडोफंक्टर्स की मोनोइडल श्रेणी में मोनोइड ऑब्जेक्ट्स के रूप में परिभाषित करता है। समूह जो फ़िल्टर्ड कोलिमिट्स के साथ चलता है।<ref>N. Durov, New approach to Arakelov geometry, University of Bonn, PhD thesis, 2007; [http://www.arxiv.org/abs/0704.2030 arXiv:0704.2030].</ref> यह वलय का सामान्यीकरण है क्योंकि प्रत्येक साधारण वलय R मोनाड को परिभाषित करता है <math>\Sigma_R: \textbf{Set} \to \textbf{Set}</math> जो फ्री मॉड्यूल है | फ्री आर-मॉड्यूल के अंतर्निहित समूह को समूह एक्स भेजता है  जो <math>R^{(X)}</math>X द्वारा उत्पन्न होता है।
-== स्वयंसिद्धों को समझना ==
+== अभिगृहित को समझना ==
-=== साहचर्य स्वयंसिद्ध ===
+=== साहचर्य अभिगृहित ===
-साहचर्य का अर्थ है कि ऑपेराड का संयोजन साहचर्य है (कार्यक्रम <math>\circ</math> साहचर्य है), श्रेणी सिद्धांत में स्वयंसिद्ध के अनुरूप है <math>f \circ (g \circ h) = (f \circ g) \circ h</math>; इसका अर्थ यह नहीं है कि ऑपेराड स्वयं ऑपेराड के रूप में साहचर्य हैं। नीचे साहचर्य ऑपेराड के साथ तुलना करें।
+साहचर्य का अर्थ है कि ऑपेराड का संयोजन साहचर्य है (कार्यक्रम <math>\circ</math> साहचर्य है), श्रेणी सिद्धांत में अभिगृहित के अनुरूप है <math>f \circ (g \circ h) = (f \circ g) \circ h</math>; इसका अर्थ यह नहीं है कि ऑपेराड स्वयं ऑपेराड के रूप में साहचर्य हैं। नीचे साहचर्य ऑपेराड के साथ तुलना करें।
 ऑपेराड सिद्धांत में सहयोगीता का अर्थ है कि व्यंजक [[अभिव्यक्ति (गणित)|(गणित)]] को छोड़े गए रचनाओं से अस्पष्टता के बिना संचालन सम्मिलित किया जा सकता है, जैसे संचालन के लिए सहयोगीता प्रोडक्ट्स को छोड़े गए कोष्ठकों से अस्पष्टता के बिना लिखे जाने की अनुमति देती है।
@@ Line 119: / Line 118: @@
 [[File:OperadTreeCompose5.svg|रचना के बाद वृक्ष]]साहचर्य का यह है कि ये एक ही परिणाम देते हैं, और इस प्रकार यह व्यंजक <math>(((ab)c)d)</math> असंदिग्ध है।
-=== पहचान स्वयंसिद्ध ===
+=== पहचान अभिगृहित ===
-पहचान स्वयंसिद्ध (बाइनरी ऑपरेशन के लिए) एक पेड़ में कल्पना की जा सकती है:
+पहचान अभिगृहित (बाइनरी ऑपरेशन के लिए) एक पेड़ में कल्पना की जा सकती है:
-[[Image:OperadIdentityAxiom.svg|एक ओपेरा में पहचान का स्वयंसिद्ध]]जिसका अर्थ है कि प्राप्त तीन ऑपरेशन समान हैं: पहचान के साथ पूर्व या बाद की रचना से अंतर नहीं पड़ता है। श्रेणियों के लिए, <math>1 \circ 1 = 1</math> पहचान स्वयंसिद्ध का परिणाम है।
+[[Image:OperadIdentityAxiom.svg|एक ओपेरा में पहचान का स्वयंसिद्ध]]जिसका अर्थ है कि प्राप्त तीन ऑपरेशन समान हैं: पहचान के साथ पूर्व या बाद की रचना से अंतर नहीं पड़ता है। श्रेणियों के लिए, <math>1 \circ 1 = 1</math> पहचान अभिगृहित का परिणाम है।
 == उदाहरण ==

Anonymous

Search

ऑपेराड: Difference between revisions

Namespaces

More

Page actions

Revision as of 01:35, 9 March 2023

Contents

इतिहास

अभ्यास