ऑपेराड

गणित में, ओपेरा एक संरचना है जिसमें एब्स्ट्रैक्ट (संक्षेप) ऑपरेशन (गणित) होते हैं, प्रत्येक में निश्चित परिमित संख्या में इनपुट और आउटपुट होता है, साथ ही इन ऑपरेशनों को बनाने के प्रकार का विनिर्देश होता है। ओपेरा 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}$ दूसरे ब्लॉक आदि के लिए। फिर हम आवेदन करते हैं $f$ की सूची में $n$ से प्राप्त मान $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} }$ सेट के, जिनके तत्व कहलाते हैं$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}\}$ इसे तोड़कर $n$ ब्लॉक, आकार का पहला $k_{1}$, आकार का दूसरा $k_{2}$, के माध्यम से $n$वें आकार का ब्लॉक $k_{n}$, और फिर इन्हें परमिट करता है $n$ द्वारा ब्लॉक करता है $t$, प्रत्येक ब्लॉक को अक्षुण्ण रखते हुए)

और दिया $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$.

ऑपेरड्स इसलिए एक श्रेणी (गणित) बनाते हैं जिसे निरूपित किया जाता है ${\mathsf {Oper}}$.

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

अब तक ऑपरेड्स को केवल सेट के श्रेणी सिद्धांत में ही माना जाता है। अधिक सामान्यतः, किसी भी सममित मोनोइडल श्रेणी सी में ओपेरा को परिभाषित करना संभव है। ऐसे में प्रत्येक $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}$. ओपेरा के संरचना मानचित्र (सममित समूहों की रचना और क्रियाएं) को तब निरंतर माना जाता है। परिणाम को एक टोपोलॉजिकल ओपेरा कहा जाता है। इसी तरह, ऑपरैड्स के आकारिकी की परिभाषा में, यह मान लेना आवश्यक होगा कि इसमें शामिल मानचित्र निरंतर हैं।

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

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

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

उपरोक्त अर्थ में एक ओपेरा को कभी-कभी सामान्यीकृत रिंग के रूप में माना जाता है। उदाहरण के लिए, निकोलाई ड्यूरोव अपने सामान्यीकृत रिंगों को एंडोफंक्टर्स की मोनोइडल श्रेणी में मोनोइड ऑब्जेक्ट्स के रूप में परिभाषित करता है। ${\textbf {Set}}$ जो फ़िल्टर्ड कोलिमिट्स के साथ यात्रा करता है। यह एक वलय का सामान्यीकरण है क्योंकि प्रत्येक साधारण वलय 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$. एक ओपेरा बीजगणित खत्म ${\mathcal {O}}$ इस प्रकार एक सेट होता है $X$ साथ में ठोस संचालन के साथ $X$ जो ओपेरा द्वारा संक्षेप में निर्दिष्ट नियमों का पालन करते हैं ${\mathcal {O}}$.

वेक्टर रिक्त स्थान में एंडोमोर्फिज्म ऑपरैड और ऑपरैड अलजेब्रा

यदि k एक क्षेत्र (गणित) है, तो हम k पर परिमित-विम सदिश समष्टियों की श्रेणी पर विचार कर सकते हैं; यह k पर साधारण टेंसर उत्पाद का उपयोग करके एक मोनोइडल श्रेणी बन जाती है। हम इस श्रेणी में एंडोमोर्फिज्म ऑपरेशंस को निम्नानुसार परिभाषित कर सकते हैं। चलो वी एक परिमित-आयामी वेक्टर अंतरिक्ष हो एंडोमोर्फिज्म ऑपराड ${\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}$ संचालित होता है ${\mathcal {End}}_{V}(n)$ टेंसर के घटकों को अंदर की अनुमति देकर $V^{\otimes n}$.

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

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

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

File:Composition in the little discs operad.svg

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

छोटा 2-डिस्क ओपेरा एक सामयिक ओपेरा है जहां $P(n)$ की यूनिट डिस्क के अंदर 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 से n तक क्रमांकित हैं। समूह $S_{n}$ लीफ लेबल्स को परमिट करके इस सेट पर काम करता है। ऑपरेटिव रचना $T\circ (S_{1},\ldots ,S_{n})$ के i-वें पत्ते को बदलकर दिया जाता है $T$ i-वें पेड़ की जड़ से $S_{i}$, के लिए $i=1,\ldots ,n$, इस प्रकार n पेड़ों को संलग्न करना $T$ और एक बड़ा पेड़ बनाते हैं, जिसकी जड़ को जड़ के समान ही लिया जाता है $T$ और जिनकी पत्तियाँ क्रम से क्रमांकित हैं।

स्विस-पनीर ओपेरा

छवि: स्विस-पनीर-ऑपराड.pdf|थंब|स्विस-चीज़ ओपेरा।

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

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

साहचर्य संक्रिया

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

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

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

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

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

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

टर्मिनल सममित संक्रिया

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

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

इसी प्रकार, एक गैर-$\Sigma$ संचालित जिसके लिए प्रत्येक $P(n)$ आर्टिन ब्रेड समूह द्वारा दिया गया है $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,... के साथ एक रैखिक संयोजन बनाने के संचालन का प्रतिनिधित्व करता है।

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

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

क्रमविनिमेय-अंगूठी संकार्य और झूठ संकार्य

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

फ्री ऑपरेशंस

विशिष्ट बीजगणितीय निर्माण (जैसे, मुक्त बीजगणित निर्माण) को ऑपरेड्स तक बढ़ाया जा सकता है। होने देना $\mathbf {Set} ^{S_{n}}$ उस श्रेणी को निरूपित करें जिसकी वस्तुएं समूह पर सेट हैं $S_{n}$ कार्य करता है। फिर एक भुलक्कड़ कारक है ${\mathsf {Oper}}\to \prod _{n\in \mathbb {N} }\mathbf {Set} ^{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)$.

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

में Stasheff (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