ऑपेराड

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

इतिहास

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

अभ्यास

माना 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 S_{n}$ और $x_{1},\ldots ,x_{n}\in X$.

नीचे दी गई सममित ऑपेराड की परिभाषा इन दो आपरेशनों के आवश्यक गुणों को पकड़ती है $\circ$ और $*$.

परिभाषा

असममित ऑपेराड असममित ऑपेराड (कभी-कभी क्रमचय के बिना ऑपेराड कहा जाता है, या गैर-$\Sigma$या प्लेन ऑपेराड) में निम्नलिखित सम्मिलित हैं:

• अनुक्रम $(P(n))_{n\in \mathbb {N} }$ समूह के, जिनके तत्व कहलाते हैं एन-एरी ऑपरेशन ,
• अवयव $1$ में $P(1)$ पहचान कहते हैं,
• सभी धन पूर्णांक के लिए $n$, ${\textstyle k_{1},\ldots ,k_{n}}$, संघटन फलन

${\begin{aligned}\circ :P(n)\times P(k_{1})\times \cdots \times P(k_{n})&\to P(k_{1}+\cdots +k_{n})\\(\theta ,\theta _{1},\ldots ,\theta _{n})&\mapsto \theta \circ (\theta _{1},\ldots ,\theta _{n}),\end{aligned}}$

निम्नलिखित सुसंगतता सिद्धांतों को संतुष्ट करना:

• पहचान: $\theta \circ (1,\ldots ,1)=\theta =1\circ \theta$
• साहचर्य:

${\begin{aligned}&\theta \circ {\Big (}\theta _{1}\circ (\theta _{1,1},\ldots ,\theta _{1,k_{1}}),\ldots ,\theta _{n}\circ (\theta _{n,1},\ldots ,\theta _{n,k_{n}}){\Big )}\\={}&{\Big (}\theta \circ (\theta _{1},\ldots ,\theta _{n}){\Big )}\circ (\theta _{1,1},\ldots ,\theta _{1,k_{1}},\ldots ,\theta _{n,1},\ldots ,\theta _{n,k_{n}})\end{aligned}}$

सममित ऑपरैड

सममित ऑपेराड (अधिकांशतः ऑपेराड कहा जाता है) असममित ऑपेराड है $P$ ऊपर के रूप में, साथ सममित समूह $S_{n}$पर $P(n)$ के एक समान क्रिया के लिए $n\in \mathbb {N}$, द्वारा चिह्नित $*$ और संतुष्ट करना है

• समतुल्यता: क्रमचय दिया गया $t\in S_{n}$,

$(\theta *t)\circ (\theta _{t(1)},\ldots ,\theta _{t(n)})=(\theta \circ (\theta _{1},\ldots ,\theta _{n}))*t'$

(जहाँ $t'$ दाहिने पक्ष की ओर के अवयव को संदर्भित करता है $S_{k_{1}+\dots +k_{n}}$जो समूह पर कार्य करता है $\{1,2,\dots ,k_{1}+\dots +k_{n}\}$ इसे तोड़कर एन ब्लॉक, आकार का पहला $k_{1}$, आकार का दूसरा $k_{2}$, के माध्यम से एनवें आकार का ब्लॉक $k_{n}$, और फिर इन्हें परमिट करता है एन द्वारा ब्लॉक करता है टी , प्रत्येक ब्लॉक को जोड़े रखते) हैं |

और दिया एन क्रमचय $s_{i}\in S_{k_{i}}$,

$\theta \circ (\theta _{1}*s_{1},\ldots ,\theta _{n}*s_{n})=(\theta \circ (\theta _{1},\ldots ,\theta _{n}))*(s_{1},\ldots ,s_{n})$

( जहाँ $(s_{1},\ldots ,s_{n})$ के अवयव को दर्शाता है $S_{k_{1}+\dots +k_{n}}$जो इन ब्लॉकों में से पहले $s_{1}$परमिट करता है, दूसरा $s_{2}$ द्वारा, इत्यादि, और उनके सभी क्रम को उपस्थित रखता है)।

इस परिभाषा में क्रमचय क्रियाएं अधिकांश अनुप्रयोगों के लिए महत्वपूर्ण हैं, जिनमें मूल अनुप्रयोग से लेकर लूप स्पेस तक सम्मिलित हैं।

आकारिकी

ऑपेराड की व्याख्या $f:P\to Q$ यहाँ पर अनुक्रम होते हैं के होते हैं

$(f_{n}:P(n)\to Q(n))_{n\in \mathbb {N} }$

वह:

• पहचान रखता है: $f(1)=1$
• संरचना को संरक्षित करता है: प्रत्येक एन-आरी ऑपरेशन के लिए $\theta$ और संचालन $\theta _{1},\ldots ,\theta _{n}$,

$f(\theta \circ (\theta _{1},\ldots ,\theta _{n}))=f(\theta )\circ (f(\theta _{1}),\ldots ,f(\theta _{n}))$

• क्रमचय क्रियाओं को संरक्षित करता है: $f(x*s)=f(x)*s$.
• ऑपेराड इसलिए श्रेणी (गणित) बनाते हैं जिसे ऑपेराड द्वारा निरूपित किया जाता है .

अन्य श्रेणियों में

अब तक ऑपेराड को सिर्फ समूह के श्रेणी सिद्धांत में ही माना जाता है। अत्यधिक सामान्यतः, किसी भी सममित मोनोइडल श्रेणी सी में ऑपेराड को परिभाषित करना संभव है। ऐसे में प्रत्येक $P(n)$ सी की ऑब्जेक्ट है, रचना $\circ$ व्याख्या है $P(n)\otimes P(k_{1})\otimes \cdots \otimes P(k_{n})\to P(k_{1}+\cdots +k_{n})$ सी में (जहां $\otimes$ मोनोइडल श्रेणी के टेंसर प्रोडक्ट्स को दर्शाता है), और सममित समूह के अवयव की क्रियाएं सी में समरूपता द्वारा दी जाती हैं।

कार्टेशियन प्रोडक्ट द्वारा दिए गए मोनोइडल प्रोडक्ट के साथ सामान्य उदाहरण टोपोलॉजिकल स्पेस और निरंतर मानचित्र की श्रेणी है। इस कथन में, टोपोलॉजिकल ऑपेराड स्पेस (समूह के विपरीत) के अनुक्रम द्वारा दिया जाता है $\{P(n)\}_{n\geq 0}$. ऑपेराड के संरचना मानचित्र (सममित समूहों की रचना और क्रियाएं) को तब निरंतर माना जाता है। परिणाम को टोपोलॉजिकल ऑपेराड कहा जाता है। इसी मानचित्र, ऑपेराड के आकारिकी की परिभाषा में, यह मान लेना आवश्यक होगा कि इसमें प्रकार सम्मिलित मानचित्र निरंतर हैं।

ऑपेराड को परिभाषित करने के लिए अन्य सामान्य सेटिंग्स में सम्मिलित हैं, उदाहरण के लिए, क्रमविनिमेय रिंग, चेन कॉम्प्लेक्स, ग्रुपोइड्स (या यहां तक ​​​​कि श्रेणियों की श्रेणी), कोलजेब्रा, मॉड्यूल (गणित) इत्यादि हैं।

बीजगणित की परिभाषा

क्रमविनिमेय वलय आर दिया गया है हम आर से अत्यधिक मॉड्यूल की श्रेणी आर-मॉड पर विचार करते हैं। आर पर ऑपेराड को मोनॉइड ऑब्जेक्ट के रूप में परिभाषित किया जा सकता है $(T,\gamma ,\eta )$ एंडोफंक्टर्स की मोनोइडल श्रेणी में आर-मॉड (यह मोनाड (श्रेणी सिद्धांत) है) कुछ परिमित स्थिति को संतुष्ट करता है।उदाहरण के लिए, बहुपद एंडोफंक्टर्स की श्रेणी में मोनोइड ऑब्जेक्ट आर-मॉड ऑपेराड है। इसी प्रकार, सममित ऑपेराड को एस-ऑब्जेक्ट की श्रेणी में मोनोइड ऑब्जेक्ट के रूप में परिभाषित किया जा सकता है $\mathbb {S}$-ऑब्जेक्ट्स, जहां $\mathbb {S}$ अर्थ सममित समूह है। संयोजी प्रजातियों की श्रेणी में मोनोइड ऑब्जेक्ट परिमित समूहों में ऑपेराड है।

उपरोक्त अर्थ में ऑपेराड को कभी-कभी सामान्यीकृत रिंग के रूप में माना जाता है। उदाहरण के लिए, निकोलाई ड्यूरोव अपने सामान्यीकृत रिंगों को एंडोफंक्टर्स की मोनोइडल श्रेणी में मोनोइड ऑब्जेक्ट्स के रूप में परिभाषित करता है। समूह जो फ़िल्टर्ड कोलिमिट्स के साथ चलता है। यह वलय का सामान्यीकरण है क्योंकि प्रत्येक साधारण वलय R मोनाड को परिभाषित करता है $\Sigma _{R}:{\textbf {Set}}\to {\textbf {Set}}$ जो फ्री मॉड्यूल है | फ्री आर-मॉड्यूल के अंतर्निहित समूह को समूह एक्स भेजता है जो $R^{(X)}$X द्वारा उत्पन्न होता है।

अभिगृहित को समझना

साहचर्य अभिगृहित

साहचर्य का अर्थ है कि ऑपेराड का संयोजन साहचर्य है (कार्यक्रम $\circ$ साहचर्य है), श्रेणी सिद्धांत में अभिगृहित के अनुरूप है $f\circ (g\circ h)=(f\circ g)\circ h$; इसका अर्थ यह नहीं है कि ऑपेराड स्वयं ऑपेराड के रूप में साहचर्य हैं। नीचे साहचर्य ऑपेराड के साथ तुलना करें।

ऑपेराड सिद्धांत में सहयोगीता का अर्थ है कि व्यंजक (गणित) को छोड़े गए रचनाओं से अस्पष्टता के बिना संचालन सम्मिलित किया जा सकता है, जैसे संचालन के लिए सहयोगीता प्रोडक्ट्स को छोड़े गए कोष्ठकों से अस्पष्टता के बिना लिखे जाने की अनुमति देती है।

उदाहरण के लिए, यदि $\theta$ बाइनरी ऑपरेशन है, जिसे लिखा जाता है $\theta (a,b)$ या $(ab)$. जिससे $\theta$ सहयोगी हो सकता है या नहीं भी हो सकता है।

फिर जो सामान्य तौर पर लिखा जाता है $((ab)c)$ स्पष्ट प्रकार से $\theta \circ (\theta ,1)$ के रूप में  लिखा जाता है। यह भेजता है $(a,b,c)$ को $(ab,c)$ (आवेदन करना $\theta$ पहले दो पर, और तीसरे पर पहचान), और फिर $\theta$ बाईं ओर गुणा करता है $ab$ द्वारा $c$. पेड़ के रूप में चित्रित करने पर यह स्पष्ट हो जाता है:

जो एक 3-एरी ऑपरेशन देता है:

चूँकि, व्यंजक, $(((ab)c)d)$ प्राथमिक अस्पष्ट है: इसका यदि अर्थ हो सकता है $\theta \circ ((\theta ,1)\circ ((\theta ,1),1))$, यदि आंतरिक रचनाएँ पहले की जाती हैं, या इसका अर्थ हो सकता है $(\theta \circ (\theta ,1))\circ ((\theta ,1),1)$, यदि बाहरी रचनाएँ पहले की जाती हैं (संचालन दाएं से बाएं पढ़े जाते हैं)। लिखना $x=\theta ,y=(\theta ,1),z=((\theta ,1),1)$, यह है $x\circ (y\circ z)$ बनाम $(x\circ y)\circ z$. यही है, पेड़ में लंबवत कोष्ठक अनुपस्थित हैं:

यदि संचालन की शीर्ष दो पंक्तियों को पहले बनाया जाता है (पर ऊपर की ओर कोष्ठक लगाता है $(ab)c\ \ d$ पंक्ति; आंतरिक रचना पहले करता है), निम्नलिखित परिणाम:

जो तब 4-एरी ऑपरेशन के लिए स्पष्ट प्रकार से मूल्यांकन करता है। एनोटेटेड व्यंजक के रूप में:

$\theta _{(ab)c\cdot d}\circ ((\theta _{ab\cdot c},1_{d})\circ ((\theta _{a\cdot b},1_{c}),1_{d}))$

यदि संचालन की निचली दो पंक्तियों को पहले बनाया जाता है (नीचे की ओर कोष्ठक डालता है $ab\quad c\ \ d$ पंक्ति; पहले बाहरी रचना करता है), निम्नलिखित परिणाम:

जो तब 4-एरी ऑपरेशन उत्पन्न करने के लिए स्पष्ट प्रकार से मूल्यांकन करता है:

साहचर्य का यह है कि ये एक ही परिणाम देते हैं, और इस प्रकार यह व्यंजक $(((ab)c)d)$ असंदिग्ध है।

पहचान अभिगृहित

पहचान अभिगृहित (बाइनरी ऑपरेशन के लिए) एक पेड़ में कल्पना की जा सकती है:

जिसका अर्थ है कि प्राप्त तीन ऑपरेशन समान हैं: पहचान के साथ पूर्व या बाद की रचना से अंतर नहीं पड़ता है। श्रेणियों के लिए, $1\circ 1=1$ पहचान अभिगृहित का परिणाम है।

उदाहरण

आकारिकी समूह और ऑपेराड बीजगणित में संचालित होता है

आकारिकी समूह और ऑपेराड बीजगणित में संचालित होता है ऊपर दिए गए अनुभव पर अनुभाग में दिए गए सबसे आकारिकी ऑपेराड हैं। किसी भी समूह के लिए $X$, हम ${\mathcal {End}}_{X}$ सभी फलन से मिलकर $X^{n}\to X$आकारिकी ऑपेराड प्राप्त करते हैं। ये ऑपेराड महत्वपूर्ण हैं क्योंकि वे ऑपेराड बीजगणित को परिभाषित करने के लिए कार्य करते हैं। यदि ${\mathcal {O}}$ ऑपेराड है, ऑपेराड बीजगणित ${\mathcal {O}}$ है $X$ समूह द्वारा दिया जाता और ऑपेराड व्याख्या ${\mathcal {O}}\to {\mathcal {End}}_{X}$ है। सरल प्रकार से, इस प्रकार की व्याख्या के प्रत्येक संक्षेप संचालन को बदल देता है ${\mathcal {O}}(n)$ ठोस में $n$ समूह एन-एरी ऑपरेशन $X$ है। O पर ऑपेराड बीजगणित इस प्रकार X पर ठोस संचालन के साथ समूह X होता है जो ऑपेराड O द्वारा स्पष्ट प्रकार से निर्दिष्ट नियमों का पालन करता है।

वेक्टर स्पेस में आकारिकी ऑपेराड और ऑपेराड बीजगणित

यदि के क्षेत्र (गणित) है, तो हम के पर परिमित-विमीय सदिश समष्टियों की श्रेणी पर विचार कर सकते हैं; यह के पर साधारण टेंसर उत्पाद का उपयोग करके मोनोइडल श्रेणी बन जाती है। हम इस श्रेणी में आकारिकी ऑपरेशंस को निम्नानुसार परिभाषित कर सकते हैं। चलो वी परिमित- विमीय वेक्टर स्पेस हो आकारिकी ऑपेराड ${\mathcal {End}}_{V}=\{{\mathcal {End}}_{V}(n)\}$वी के होते हैं

1. ${\mathcal {End}}_{V}(n)$ = रैखिक मानचित्रों का स्थान $V^{\otimes n}\to V$,
2. (रचना) दिया गया $f\in {\mathcal {End}}_{V}(n)$, $g_{1}\in {\mathcal {End}}_{V}(k_{1})$, ..., $g_{n}\in {\mathcal {End}}_{V}(k_{n})$, उनकी रचना मानचित्र द्वारा दी गई है $V^{\otimes k_{1}}\otimes \cdots \otimes V^{\otimes k_{n}}\ {\overset {g_{1}\otimes \cdots \otimes g_{n}}{\longrightarrow }}\ V^{\otimes n}\ {\overset {f}{\to }}\ V$,
3. (पहचान) में पहचान अवयव ${\mathcal {End}}_{V}(1)$ पहचान मानचित्र है $\operatorname {id} _{V}$,
4. (सममित समूह क्रिया) $S_{n}$ $V^{\otimes n}$ में टेंसर के घटकों की अनुमति देकर ${\mathcal {End}}_{V}(n)$ पर कार्य करता है।

यदि ${\mathcal {O}}$ ऑपेराड है, के-रैखिक ऑपेराड बीजगणितीय ओवर ${\mathcal {O}}$ परिमित- विमीय वेक्टर स्पेस वी ओवर के और ऑपेराड व्याख्या द्वारा दिया जाता है ${\mathcal {O}}\to {\mathcal {End}}_{V}$; यह वी पर ठोस बहुरेखीक ऑपरेशंस को निर्दिष्ट करने की मात्रा है जो ${\mathcal {O}}$ के ऑपरेशंस की तरह व्यवहार करती है. (ऑपेराड्स और ऑपेराड बीजगणित और रिंग्स और मॉड्यूल के बीच समानता पर ध्यान दें: रिंग आर पर मॉड्यूल एबेलियन समूह एम द्वारा रिंग $R\to \operatorname {End} (M)$ समरूपता के साथ दिया जाता है) |

अनुप्रयोगों के आधार पर, उपरोक्त की विविधताएं संभव हैं: उदाहरण के लिए, बीजगणितीय टोपोलॉजी में, उनके बीच वेक्टर स्पेस और टेंसर प्रोडक्ट्स के विपरीत उनके बिच टोपोलॉजिकल स्पेस और कार्टेशियन प्रोडक्ट का उपयोग किया जाता है।

थोड़ा कुछ ऑपेराड

File:Composition in the little discs operad.svg

छोटे 2-डिस्क ऑपरैड में ऑपेरडिक रचना, पाठ में समझाया गया है।

छोटा 2-डिस्क ऑपेराड सामयिक ऑपेराड है जहां $P(n)$ की यूनिट डिस्क के अंदर एन डिसजॉइंट डिस्क (गणित) की ऑर्डर की गई सूचियाँ सम्मिलित हैं $\mathbb {R} ^{2}$ मूल पर केन्द्रित है। सममित समूह छोटे डिस्क की सूची को क्रमपरिवर्तन करके ऐसे विन्यास पर कार्य करता है। छोटी डिस्क के लिए ऑपेराड रचना को साथ में दाईं ओर दिए गए चित्र में दर्शाया गया है, जहां अवयव $\theta \in P(3)$ अवयव $(\theta _{1},\theta _{2},\theta _{3})\in P(2)\times P(3)\times P(4)$ के साथ बना है और $\theta \circ (\theta _{1},\theta _{2},\theta _{3})\in P(9)$ के विन्यास को सिकोड़ कर प्राप्त किया $\theta _{i}$ और इसे i-th डिस्क में सम्मिलित किया जाता है $\theta$, $i=1,2,3$ के लिए किया जाता है।

समान प्रकार से, $\mathbb {R} ^{n}$ यूनिट बॉल के अंदर असम्बद्ध एन-बॉल्स के विन्यास पर विचार करके छोटे एन-डिस्क ऑपेराड को परिभाषित कर सकता है . मुख्य प्रकार से छोटे एन-क्यूब्स ऑपेराड या छोटे अंतराल ऑपेराड (प्रारम्भ में छोटे एन-क्यूब्स पीआरओ (श्रेणी सिद्धांत) कहा जाता है) को माइकल बोर्डमैन और रेनर वोग्ट द्वारा इसी तरह परिभाषित किया गया था, असम्बद्ध अक्ष-संरेखित एन-के विन्यास के संदर्भ में किया गया था। यूनिट अतिविमय के अंदर विमय हाइपरक्यूब्स (एन-विमय इंटरवल (गणित)) है। बाद में इसे मई तक सामान्य कर दिया गया था छोटे उत्तल निकायों के लिए ऑपेराड और छोटी डिस्क छोटे उत्तल निकायों से प्राप्त लोककथाओं का कथन है।

जड़ वाले पेड़

ग्राफ थ्योरी में, जड़ वाले पेड़ प्राकृतिक ऑपेराड बनाते हैं। यहाँ, $P(n)$ n पत्तों वाले सभी जड़ वाले वृक्षों का समुच्चय है, जहाँ पत्तियाँ 1 से एन तक क्रमांकित हैं। समूह $S_{n}$ लीफ लेबल्स को क्रमपरिवर्तन करके इस समूह पर कार्य करता है। ऑपरेटिव रचना $T\circ (S_{1},\ldots ,S_{n})$ के i-वें पत्ते को बदलकर दिया जाता है $T$ i-वें पेड़ की जड़ से $S_{i}$, के लिए $i=1,\ldots ,n$, इस प्रकार एन पेड़ों को संलग्न करना $T$ और एक बड़ा पेड़ बनाते हैं, जिसकी जड़ को जड़ के समान ही लिया जाता है $T$ और जिनकी पत्तियाँ क्रम से क्रमांकित हैं।

स्विस-चिज ऑपेराड

स्विस-चीज़ ऑपेराड दो-रंग का टोपोलॉजिकल ऑपेराड है, जो यूनिट एन-सेमीडिस्क और एन के अंदर डिसजॉइंट एन-क्रमपरिवर्तन डिस्क (गणित) के विन्यास के संदर्भ में परिभाषित किया गया है। '-डायमेंशनल सेमीडिस्क, यूनिट सेमीडिस्क के आधार पर केंद्रित है और इसके भीतर अधिवेशन है। ऑपेराडिक रचना यूनिट डिस्क के अंदर छोटी डिस्क के ग्लूइंग विन्यास से दूसरी यूनिट सेमीडिस्क में छोटी डिस्क और यूनिट सेमीडिस्क के अंदर छोटी डिस्क और विन्यास से दूसरी यूनिट सेमीडिस्क में आती है।

स्विस-चीज़ ऑपेराड को अलेक्जेंडर ए वोरोनोव द्वारा परिभाषित किया गया था। इसका उपयोग मैक्सिम कोंटेसेविच द्वारा डेलिग्ने अनुमान के स्विस-चीज़ संस्करण को तैयार करने के लिए किया गया था। होशचाइल्ड कोहोलॉजी पर डेलिग्ने का अनुमान में किया गया था। कोन्टसेविच का अनुमान पो मैं, इगोर क्रिज़ और अलेक्जेंडर ए वोरोनोव द्वारा आंशिक रूप से सिद्ध किया गया था और फिर पूरी तरह से जस्टिन थॉमस (गणितज्ञ) द्वारा सिद्ध किया गया था।

साहचर्य ऑपेराड

ऑपेराड के उदाहरणों का अन्य वर्ग बीजगणितीय संरचनाओं की संरचनाओं पर अधिकार कर रहा है, जैसे साहचर्य बीजगणित, क्रमविनिमेय बीजगणित और लाई बीजगणित है। इनमें से प्रत्येक को बाइनरी ऑपरेशंस द्वारा उत्पन्न इन तीनों में से प्रत्येक में सूक्ष्म प्रकार से प्रस्तुत ऑपेराड के रूप में प्रदर्शित किया जा सकता है।

उदाहरण के लिए, साहचर्य ऑपेराड बाइनरी ऑपरेशंस द्वारा उत्पन्न सममित ऑपेराड है $\psi$, केवल इस अवस्था पर आधारित है

$\psi \circ (\psi ,1)=\psi \circ (1,\psi ).$

यह स्थिति बाइनरी ऑपरेशन की साहचर्यता से मिलता है $\psi$; लिखना $\psi (a,b)$ गुणात्मक प्रकार से, उपरोक्त स्थिति $(ab)c=a(bc)$ है। ऑपेराड की इस साहचर्यता को संघटन की साहचर्यता के साथ भ्रमित नहीं किया जाना चाहिए जो किसी ऑपेराड में धारण करती है; ऊपर साहचर्य का सूक्ति देखें।

साहचर्य ऑपेराड में, प्रत्येक $P(n)$ सममित समूह $S_{n}$द्वारा दिया गया है जिस पर $S_{n}$ सही गुणन द्वारा कार्य करता है। समग्र $\sigma \circ (\tau _{1},\dots ,\tau _{n})$ के अनुसार ब्लॉक में $\sigma$ इसके इनपुट की अनुमति देता है, और $\tau _{i}$उपयुक्त के अनुसार ब्लॉकों के भीतर है।

साहचर्य ऑपेराड पर बीजगणित सही प्रकार से अर्धसमूह होते हैं: एकल द्विआधारी साहचर्य ऑपेराड के साथ समूह होते हैं। साहचर्य ऑपेराड पर के-रैखिक बीजगणित वास्तव में साहचर्य बीजगणित हैं |

टर्मिनल सममित ऑपेराड

टर्मिनल सममित ऑपेराड वह ऑपेराड है जिसमें प्रत्येक एन के लिए प्रत्येक एन-आरी ऑपरेशन होता है $S_{n}$नगण्य क्रिया है। इस ऑपेराड पर बीजगणित क्रमविनिमेय अर्धसमूह हैं; के-रेखीय बीजगणित क्रमविनिमेय साहचर्य के-बीजगणित हैं।

ब्रेड समूहों से संचालित होता है

इसी प्रकार, अप-$\Sigma$ऑपेराड जिसके लिए प्रत्येक पी(एन) आर्टिन ब्रेड समूह B_n द्वारा दिया गया है। इसके अतिरिक्त, यह अप-$\Sigma$ऑपेराड में ब्रेडेड ऑपेराड की संरचना होती है, जो ऑपेराड की धारणा को सममित से ब्रेड समूहों तक सामान्यीकृत करती है।

रेखीय बीजगणित

रेखीय बीजगणित में, वास्तविक वेक्टर स्पेस को ऑपेराड के ऊपर बीजगणित माना जा सकता है $\mathbb {R} ^{\infty }$ सभी रैखिक संयोजनों की तरह है। $\mathbb {R} ^{\infty }(n)=\mathbb {R} ^{n}$ के लिए $n\in \mathbb {N}$ इस ऑपेराड द्वारा परिभाषित किया गया है, $S_{n}$ क्रमचय घटकों के उचित कदम के साथ, और संरचना ${\vec {x}}\circ ({\vec {y_{1}}},\ldots ,{\vec {y_{n}}})$ वैक्टर के संयोजन द्वारा दिया गया $x^{(1)}{\vec {y_{1}}},\ldots ,x^{(n)}{\vec {y_{n}}}$, जहाँ ${\vec {x}}=(x^{(1)},\ldots ,x^{(n)})\in \mathbb {R} ^{n}$ है। सदिश ${\vec {x}}=(2,3,-5,0,\dots )$ है। उदाहरण के लिए गुणांक 2,3,-5,0,... के साथ रैखिक संयोजन बनाने के संचालन को प्रदर्शित करता है।

यह दृष्टिकोण इस धारणा को औपचारिक रूप देता है कि रैखिक संयोजन सदिश स्पेस पर सबसे सामान्य प्रकार का ऑपरेशन है - यह कहना कि सदिश स्थान रैखिक संयोजनों के ऑपेराड पर बीजगणित है, ठीक इसी प्रकार यह कथन है कि सदिश स्थान में सभी संभव बीजगणितीय ऑपेराड रैखिक संयोजन है। सदिश जोड़ और अदिश गुणन के संबंधित ऑपेराड सभी रैखिक संयोजनों के ऑपेराड के लिए जनरेटिंग समूह हैं, जबकि रैखिक संयोजन ऑपेराड सदिश स्पेस पर सभी संभावित संचालनों को सांकेतिक प्रकार से एनकोड करता है।

इसी प्रकार, अफ्फिन संयोजनों, शंक्वाकार संयोजनों और उत्तल संयोजनों को उप-ऑपेराड के अनुरूप माना जा सकता है जहां सदिश ${\vec {x}}$ के पदों का योग 1 है, सभी पद क्रमशः अऋणात्मक या दोनों हैं। रेखांकन प्रकार से, इनफिनिट अफ्फिन इनफिनिट हाइपरप्लेन, हाइपर-ऑक्टेंट इनफिनिट और सिम्प्लेक्स हैं। यह औपचारिकता करता है कि $\mathbb {R} ^{n}$ होने का क्या अर्थ है या मानक सिम्पलेक्स मॉडल स्पेस है, और इस प्रकार के टिप्पणियां जैसे कि प्रत्येक बाध्य उत्तल पॉलीटॉप सिंप्लेक्स की इमेज है। यहां सबऑपराड्स अत्यधिक प्रतिबंधित ऑपेराड और इस प्रकार अधिक सामान्य सिद्धांतों के अनुरूप हैं।

क्रमविनिमेय-रिंग ऑपेराड और लाई ऑपेराड

क्रमविनिमेय-रिंग ऑपेराड है जिसका बीजगणितीय क्रमविनिमेय वलय है। यह $P(n)=\mathbb {Z} [x_{1},\ldots ,x_{n}]$ द्वारा परिभाषित किया गया है, $S_{n}$ उचित कदम के साथ और चर के लिए बहुपदों (पुनः क्रमांकित चर के साथ) को प्रतिस्थापित करके दी गई ऑपेरैडिक रचना है। समान ऑपरैड को परिभाषित किया जा सकता है जिसका बीजगणित कुछ निश्चित आधार क्षेत्र पर साहचर्य, क्रमविनिमेय बीजगणित हैं। इस ऑपरैड का कॉसज़ुल-डुअल लाइ ऑपरैड है (जिसका बीजगणित लाइबीजगणित है), और इसके विपरीत है।

फ्री ऑपरेशंस

विशिष्ट बीजगणितीय निर्माण (जैसे, फ्री बीजगणित निर्माण) को ऑपेराड तक बढ़ाया जा सकता है। समुच्चय^Sn उस श्रेणी को निरूपित करें जिसकी ऑब्जेक्ट समूह पर होता है जिस पर समूह $S_{n}$कार्य करता है। फिर नगण्य करक है ओपेर, जो ऑपेराड सामान्यतः नगण्य हो जाता है | सहायक फ़ैक्टर्स का निर्माण संभव है $\Gamma :\prod _{n\in \mathbb {N} }\mathbf {Set} ^{S_{n}}\to {\mathsf {Oper}}$ इस नगण्य कारक के लिए (यह फ्री कारक की सामान्य परिभाषा है)। संचालन ई के संकलन को देखते हुए, $\Gamma (E)$ ई पर फ्री ऑपेरड है।

समूह या रिंग की तरह, नि: शुल्क निर्माण जनरेटर और संबंधों के संदर्भ में ओपेरा को व्यक्त करने की अनुमति देता है। ओपेरा के मुक्त प्रदर्शित ${\mathcal {O}}$ द्वारा, हमारा अर्थ लिखना है ${\mathcal {O}}$ मुफ्त ओपेरा के भागफल के रूप में ${\mathcal {F}}=\Gamma (E)$ जहां ई के जनरेटर का वर्णन करता है ${\mathcal {O}}$ और अधिरूपता की मूल ${\mathcal {F}}\to {\mathcal {O}}$ संबंधों का वर्णन करता है।

ए (सममित) ऑपेराड ${\mathcal {O}}=\{{\mathcal {O}}(n)\}$ द्विघात कहा जाता है यदि इसकी मुक्त प्रस्तुति है जैसे कि $E={\mathcal {O}}(2)$ जनरेटर है और संबंध इसमें निहित है $\Gamma (E)(3)$.

होमोटॉपी थ्योरी में ऑपरेशंस

स्टैशेफ़ (2004) में, स्टैशेफ़ लिखते हैं:

ऑपेराड होमोटॉपी की सही धारणा वाली श्रेणियों में विशेष प्रकार से महत्वपूर्ण और उपयोगी होते हैं, जहां वे उच्च समरूपता के पदानुक्रम को व्यवस्थित करने में महत्वपूर्ण भूमिका निभाते हैं।

यह भी देखें

• प्रो (श्रेणी सिद्धांत)
• एक ओपेरा पर बीजगणित
• उच्च-क्रम संचालित
• ई∞-संचालन
• छद्म बीजगणित
• बहुश्रेणी

संदर्भ

• Tom Leinster (2004). Higher Operads, Higher Categories. Cambridge University Press. arXiv:math/0305049. Bibcode:2004hohc.book.....L. ISBN 978-0-521-53215-0.
• Martin Markl, Steve Shnider, Jim Stasheff (2002). Operads in Algebra, Topology and Physics. American Mathematical Society. ISBN 978-0-8218-4362-8.{{cite book}}: CS1 maint: multiple names: authors list (link)
• Markl, Martin (June 2006). "Operads and PROPs". arXiv:math/0601129.
• Stasheff, Jim (June–July 2004). "What Is...an Operad?" (PDF). Notices of the American Mathematical Society. 51 (6): 630–631. Retrieved 17 January 2008.
• Loday, Jean-Louis; Vallette, Bruno (2012), Algebraic Operads (PDF), Grundlehren der Mathematischen Wissenschaften, vol. 346, Berlin, New York: Springer-Verlag, ISBN 978-3-642-30361-6
• Zinbiel, Guillaume W. (2012), "Encyclopedia of types of algebras 2010", in Bai, Chengming; Guo, Li; Loday, Jean-Louis (eds.), Operads and universal algebra, Nankai Series in Pure, Applied Mathematics and Theoretical Physics, vol. 9, pp. 217–298, arXiv:1101.0267, Bibcode:2011arXiv1101.0267Z, ISBN 9789814365116
• Fresse, Benoit (17 May 2017), Homotopy of Operads and Grothendieck-Teichmüller Groups, Mathematical Surveys and Monographs, American Mathematical Society, ISBN 978-1-4704-3480-9, MR 3643404, Zbl 1373.55014
• Miguel A. Mendéz (2015). Set Operads in Combinatorics and Computer Science. SpringerBriefs in Mathematics. ISBN 978-3-319-11712-6.
• Samuele Giraudo (2018). Nonsymmetric Operads in Combinatorics. Springer International Publishing. ISBN 978-3-030-02073-6.

बाहरी संबंध

• operad at the nLab
• https://golem.ph.utexas.edu/category/2011/05/an_operadic_introduction_to_en.html