मुक्त वस्तु: Difference between revisions

Revision as of 07:40, 18 February 2023

गणित में, मुक्त वस्तु का विचार अमूर्त बीजगणित की मूल अवधारणाओं में से एक है। अनौपचारिक रूप से, एक सेटसमुच्चय (गणित) A पर एक मुक्त वस्तु को A पर एक सामान्य बीजगणितीय संरचना के रूप में माना जा सकता है: मुक्त वस्तु के तत्वों के बीच होने वाले एकमात्र समीकरण वे हैं जो बीजगणितीय संरचना के परिभाषित सिद्धांतों से अनुसरण करते हैं। उदाहरणों में मुक्त समूह, टेन्सर बीजगणित, या मुक्त जालक सम्मिलित हैं।

अवधारणा इस अर्थ में सार्वभौमिक बीजगणित का एक भाग है, कि यह सभी प्रकार की बीजगणितीय संरचना (अंतिम संचालन के साथ) से संबंधित है। श्रेणी सिद्धांत के संदर्भ में इसका एक सूत्रीकरण भी है, हालांकि यह अभी और अधिक अमूर्त शब्दों में है।

परिभाषा

नि: शुल्क वस्तुएं वेक्टर अंतरिक्ष में आधार (रैखिक बीजगणित) की धारणा के श्रेणी (गणित) के प्रत्यक्ष सामान्यीकरण हैं। एक रैखिक कार्य $u : E 1 \to E 2$ वेक्टर रिक्त स्थान के बीच पूरी तरह से वेक्टर स्थान के आधार पर इसके मूल्यों द्वारा निर्धारित किया जाता है $E 1 .$ निम्नलिखित परिभाषा इसे किसी भी श्रेणी में अनुवादित करती है।

एक ठोस श्रेणी एक ऐसी श्रेणी है जो सेटसमुच्चय करने के लिए एक वफादार फ़ैक्टर से सुसज्जित है, सेटसमुच्चय की श्रेणी। होने देना $C$ एक विश्वसनीय कार्यकर्ता के साथ एक ठोस श्रेणी बनें $f : C \to Set$ . होने देना $X$ एक सेटसमुच्चय हो (अर्थात, सेटसमुच्चय में एक वस्तु), जो परिभाषित होने वाली मुक्त वस्तु का आधार होगा। पर एक मुक्त वस्तु $X$ एक वस्तु से मिलकर एक जोड़ी है $A=F(X)$ में $C$ और एक इंजेक्शन $i:X\to f(A)$ (कैनोनिकल इंजेक्शन कहा जाता है), जो निम्नलिखित सार्वभौमिक संपत्ति को संतुष्ट करता है:

किसी वस्तु के लिए

B

में

C

और सेटसमुच्चय के बीच कोई नक्शा

\varphi :X\to f(B),

एक अद्वितीय morphism मौजूद है

g:A\to B

में

C

ऐसा है कि

\varphi =f(g)\circ i.

यही है, निम्नलिखित कम्यूटेटिव आरेख यात्रा करता है:

{\begin{array}{c}X\xrightarrow {\quad i\quad } f(A)\\{}_{\varphi }\searrow \quad \swarrow {}_{f(g)}\\f(B)\quad \\\end{array}}

यदि मुक्त वस्तुएं मौजूद हैं $C$ , यह सत्यापित करने के लिए सीधा है कि सार्वभौमिक संपत्ति का तात्पर्य है कि दो सेटसमुच्चयों के बीच का प्रत्येक मानचित्र उन पर निर्मित मुक्त वस्तुओं के बीच एक अद्वितीय आकारिकी उत्पन्न करता है, और यह एक फ़नकार को परिभाषित करता है $F:\mathbf {Set} \to \mathbf {C} .$ यह इस प्रकार है कि, यदि मुक्त वस्तुएँ मौजूद हैं $C$ , काम करनेवाला $F$ , जिसे मुफ्त-ऑब्जेक्ट फ़ंक्टर कहा जाता है, भुलक्कड़ फ़ैक्टर का बायाँ भाग है $f$ ; अर्थात् आक्षेप होता है

\operatorname {Hom} _{\mathbf {Set} }(X,f(B))\cong \operatorname {Hom} _{\mathbf {C} }(F(X),B).

उदाहरण

मुक्त वस्तुओं का निर्माण दो चरणों में होता है। सहयोगी कानून के अनुरूप बीजगणित के लिए, पहला कदम वर्णमाला (कंप्यूटर विज्ञान) से बने सभी संभावित स्ट्रिंग (कंप्यूटर विज्ञान) के संग्रह पर विचार करना है। फिर शब्दों पर तुल्यता संबंधों का एक सेटसमुच्चय लगाया जाता है, जहां संबंध बीजगणितीय वस्तु के परिभाषित संबंध होते हैं। तब मुक्त वस्तु में तुल्यता वर्गों का समूह होता है।

उदाहरण के लिए, एक समूह के दो जनरेटिंग सेटसमुच्चय में मुक्त समूह के निर्माण पर विचार करें। एक पाँच अक्षरों से मिलकर एक वर्णमाला से प्रांरम होता है $\{e,a,b,a^{-1},b^{-1}\}$ . पहले चरण में, अक्षरों को अभी तक कोई नियत अर्थ नहीं दिया गया है $a^{-1}$ या $b^{-1}$ ; इन्हें बाद में, दूसरे चरण में दिया जाएगा। इस प्रकार, कोई समान रूप से अच्छी तरह से पाँच अक्षरों में वर्णमाला के साथ प्रांरम कर सकता है $S=\{a,b,c,d,e\}$ . इस उदाहरण में, सभी शब्दों या स्ट्रिंग्स का सेटसमुच्चय $W(S)$ हर संभव क्रम में व्यवस्थित अक्षरों के साथ, एबेसेडे और एबीसी, और इसी तरह, मनमाने ढंग से परिमित लंबाई के तार सम्मिलित होंगे।

अगले चरण में, तुल्यता संबंधों का एक सेटसमुच्चय लगाया जाता है। एक समूह (गणित) के लिए तुल्यता संबंध पहचान द्वारा गुणन के हैं, $ge=eg=g$ , और व्युत्क्रमों का गुणन: $gg^{-1}=g^{-1}g=e$ . इन संबंधों को ऊपर के तार पर प्रायुक्त करने पर, एक प्राप्त होता है

aebecede=aba^{-1}b^{-1},

जहां यह समझ में आया $c$ के लिए एक स्टैंड-इन है $a^{-1}$ , और $d$ के लिए एक स्टैंड-इन है $b^{-1}$ , जबकि $e$ पहचान तत्व है। इसी तरह, एक है

abdc=abb^{-1}a^{-1}=e.

द्वारा तुल्यता संबंध या सर्वांगसमता संबंध को नकारना $\sim$ मुक्त वस्तु तब शब्दों के समतुल्य वर्गों का संग्रह है। इस प्रकार, इस उदाहरण में, दो जनरेटर में मुक्त समूह भागफल सेटसमुच्चय है

F_{2}=W(S)/\sim .

इसे प्राय: इस प्रकार लिखा जाता है $F_{2}=W(S)/E$ कहाँ $W(S)=\{a_{1}a_{2}\ldots a_{n}\,\vert \;a_{k}\in S\,;\,n\in \mathbb {N} \}$ सभी शब्दों का सेटसमुच्चय है, और $E=\{a_{1}a_{2}\ldots a_{n}\,\vert \;e=a_{1}a_{2}\ldots a_{n}\,;\,a_{k}\in S\,;\,n\in \mathbb {N} \}$ एक समूह को परिभाषित करने वाले संबंधों के प्रायुक्त होने के बाद, पहचान का समतुल्य वर्ग है।

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

सामान्य मामला

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

तब बीजगणितीय संबंध पेड़ की पत्तियों पर सामान्य arity या अंतिम संबंध हो सकते हैं। सभी संभावित कोष्ठकों के संग्रह के साथ प्रांरम करने के अतिरिक्त, हेरब्रांड ब्रह्मांड के साथ प्रांरम करना अधिक सुविधाजनक हो सकता है। प्रश्न में विशेष बीजगणितीय वस्तु के आधार पर, किसी मुक्त वस्तु की सामग्री का उचित वर्णन या गणना करना आसान या कठिन हो सकता है। उदाहरण के लिए, दो जनरेटर में मुक्त समूह का आसानी से वर्णन किया गया है। इसके विपरीत, एक से अधिक जनरेटर में मुक्त हेटिंग बीजगणित की संरचना के बारे में बहुत कम या कुछ भी ज्ञात नहीं है।^[1] यह निर्धारित करने की समस्या कि क्या दो अलग-अलग तार एक ही तुल्यता वर्ग के हैं, शब्द समस्या (गणित) के रूप में जानी जाती है।

जैसा कि उदाहरण सुझाते हैं, मुक्त वस्तुएँ वाक्य - विन्यास से निर्माण की तरह दिखती हैं; कोई यह कहकर कुछ हद तक उलट सकता है कि सिंटैक्स के प्रमुख उपयोगों को मुक्त वस्तुओं के रूप में समझाया और वर्णित किया जा सकता है, जो स्पष्ट रूप से भारी 'विराम चिह्न' को समझने योग्य (और अधिक यादगार) बनाता है।^{[clarification needed]}

मुक्त सार्वभौमिक बीजगणित

होने देना $S$ कोई भी सेटसमुच्चय हो, और रहने दो $\mathbf {A}$ प्रकार की एक बीजगणितीय संरचना हो $\rho$ द्वारा उत्पन्न $S$ . आइए इस बीजगणितीय संरचना के अंतर्निहित सेटसमुच्चय को दें $\mathbf {A}$ , कभी-कभी इसका ब्रह्मांड कहा जाता है, हो $A$ , और जाने $\psi :S\to A$ एक समारोह हो। हम कहते हैं $(A,\psi )$ (या अनौपचारिक रूप से सिर्फ $\mathbf {A}$ ) एक मुक्त बीजगणित है (प्रकार का $\rho$ ) मंच पर $S$ मुफ्त जनरेटर की, यदि हर बीजगणित के लिए $\mathbf {B}$ प्रकार का $\rho$ और हर समारोह $\tau :S\to B$ , कहाँ $B$ का एक ब्रह्मांड है $\mathbf {B}$ , एक अद्वितीय समरूपता मौजूद है $\sigma :A\to B$ ऐसा है कि $\sigma \circ \psi =\tau .$

मुफ्त फंक्‍टर

एक मुक्त वस्तु के लिए सबसे सामान्य सेटसमुच्चयिंग श्रेणी सिद्धांत में है, जहां एक ऑपरेटर, फ़्री फ़ैक्टर को परिभाषित करता है, जो भुलक्कड़ फंक्टर के बाईं ओर है।

बीजगणितीय संरचनाओं की श्रेणी C पर विचार करें; वस्तुओं को कुछ कानूनों का पालन करते हुए सेटसमुच्चय प्लस ऑपरेशंस के रूप में सोचा जा सकता है। इस श्रेणी में एक कारक है, $U:\mathbf {C} \to \mathbf {Set}$ , भुलक्कड़ फ़ंक्टर, जो सी से सेटसमुच्चय, सेटसमुच्चय की श्रेणी में वस्तुओं और कार्यों को मैप करता है। भुलक्कड़ फ़ंक्टर बहुत सरल है: यह सभी कार्यों को अनदेखा करता है।

मुफ्त फंक्‍टर एफ, जब यह मौजूद होता है, यू के बगल में बाईं ओर होता है। वह है, $F:\mathbf {Set} \to \mathbf {C}$ सेटसमुच्चय एक्स को 'सेटसमुच्चय' में उनकी संबंधित मुफ्त ऑब्जेक्ट्स एफ (एक्स) श्रेणी 'सी' में ले जाता है। सेटसमुच्चय एक्स को मुफ्त ऑब्जेक्ट एफ (एक्स) के जेनरेटर के सेटसमुच्चय के रूप में माना जा सकता है।

मुक्त फ़ंक्टर के लिए एक बाएँ आसन्न होने के लिए, एक 'सेटसमुच्चय'-मोर्फिज़्म भी होना चाहिए $\eta :X\to U(F(X))\,\!$ . अधिक स्पष्ट रूप से, एफ, 'सी' में समरूपता तक है, जो निम्नलिखित सार्वभौमिक संपत्ति द्वारा विशेषता है:

जब भी A 'C' में एक बीजगणित है, और g : X → U(A) एक फ़ंक्शन (सेटसमुच्चय की श्रेणी में एक रूपवाद) है, तो एक अद्वितीय सी-रूपवाद है h : F(X) → A ऐसा है कि U(h) ∘ η = g.

विशेष रूप से, यह उस सेटसमुच्चय पर मुक्त वस्तु में एक सेटसमुच्चय भेजता है; यह एक आधार का समावेश है। दुरुपयोग संकेतन, $X\to F(X)$ (यह संकेतन का दुरुपयोग करता है क्योंकि एक्स एक सेटसमुच्चय है, जबकि एफ (एक्स) बीजगणित है; सही ढंग से, यह है $X\to U(F(X))$ ).

प्राकृतिक परिवर्तन $\eta :\operatorname {id} _{\mathbf {Set} }\to UF$ इकाई (श्रेणी सिद्धांत) कहा जाता है; एक साथ देश के साथ $\varepsilon :FU\to \operatorname {id} _{\mathbf {C} }$ , कोई एक टी-बीजगणित का निर्माण कर सकता है, और इसलिए एक मोनाड (श्रेणी सिद्धांत)।

कॉफ़्री फ़ैक्टर भुलक्कड़ फंक्‍टर का सही संलग्‍न है।

अस्तित्व

सामान्य अस्तित्व प्रमेय हैं जो प्रायुक्त होते हैं; उनमें से सबसे मुलभुत इसकी गारंटी देता है

जब भी सी एक किस्म (सार्वभौमिक बीजगणित) है, तो प्रत्येक सेटसमुच्चय 'एक्स' के लिए सी में एक मुक्त वस्तु एफ(एक्स) है।

यहाँ, विविधता एक परिमित बीजगणितीय श्रेणी का एक पर्यायवाची है, इस प्रकार इसका अर्थ है कि संबंधों का समुच्चय परिमित संबंध है, और बीजगणितीय क्योंकि यह सेटसमुच्चय पर मोनाड (श्रेणी सिद्धांत) है।

सामान्य मामला

अन्य प्रकार की भुलक्कड़पन भी वस्तुओं को मुक्त वस्तुओं की तरह ही जन्म देती है, जिसमें वे एक भुलक्कड़ फ़नकार के साथ छोड़ दी जाती हैं, जरूरी नहीं कि वे सेटसमुच्चय हों।

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

मुक्त वस्तुओं की सूची

विशिष्ट प्रकार की मुक्त वस्तुओं में सम्मिलित हैं:

मुक्त बीजगणित
- मुक्त साहचर्य बीजगणित
- मुक्त क्रमविनिमेय बीजगणित
मुक्त श्रेणी
- मुफ्त सख्त मोनोइडल श्रेणी
मुक्त समूह
- मुक्त एबेलियन समूह
- मुक्त आंशिक रूप से क्रमविनिमेय समूह
क्लीन बीजगणित#उदाहरण
मुक्त जाली
- मुक्त बूलियन बीजगणित
- वितरण जालक#मुक्त वितरण जालक
- मुक्त Heyting बीजगणित
- मुक्त मॉड्यूलर जाली
मुक्त झूठ बीजगणित
मुक्त मैग्मा
मुफ्त मॉड्यूल, और विशेष रूप से, सदिश स्थान
फ़्री मोनोइड
- मुक्त मोनॉयड#मुक्त क्रमविनिमेय मोनॉयड
- मुक्त आंशिक रूप से विनिमेय मोनोइड
मुक्त अंगूठी
मुक्त अर्धसमूह
मुफ्त सेमिरिंग
- सेमिरिंग#उदाहरण
मुक्त सिद्धांत
पद बीजगणित
असतत स्थान

यह भी देखें

जनरेटिंग सेटसमुच्चय

@@ Line 1: / Line 1: @@
 {{Short description|Left adjoint to a forgetful functor to sets}}
-गणित में, मुक्त वस्तु का विचार अमूर्त बीजगणित की मूल अवधारणाओं में से एक है। अनौपचारिक रूप से, एक [[सेट (गणित)]] ''ए'' पर एक मुक्त वस्तु को ''ए'' पर एक सामान्य [[बीजगणितीय संरचना]] के रूप में माना जा सकता है: मुक्त वस्तु के तत्वों के बीच होने वाले एकमात्र समीकरण वे हैं जो निम्न से अनुसरण करते हैं बीजगणितीय संरचना के सिद्धांतों को परिभाषित करना। उदाहरणों में [[मुक्त समूह]], टेन्सर बीजगणित, या मुक्त जालक सम्मिलित हैं।
+गणित में, '''मुक्त वस्तु''' का विचार अमूर्त बीजगणित की मूल अवधारणाओं में से एक है। अनौपचारिक रूप से, एक [[सेट (गणित)|सेटसमुच्चय (गणित)]] ''A'' पर एक मुक्त वस्तु को ''A'' पर एक सामान्य [[बीजगणितीय संरचना]] के रूप में माना जा सकता है: मुक्त वस्तु के तत्वों के बीच होने वाले एकमात्र समीकरण वे हैं जो बीजगणितीय संरचना के परिभाषित सिद्धांतों से अनुसरण करते हैं। उदाहरणों में [[मुक्त समूह]], टेन्सर बीजगणित, या मुक्त जालक सम्मिलित हैं।
-अवधारणा [[सार्वभौमिक बीजगणित]] का एक हिस्सा है, इस अर्थ में कि यह सभी प्रकार की बीजगणितीय संरचना ([[अंतिम]] संचालन के साथ) से संबंधित है। [[श्रेणी सिद्धांत]] के संदर्भ में इसका एक सूत्रीकरण भी है, हालांकि यह अभी और अधिक अमूर्त शब्दों में है।
+अवधारणा इस अर्थ में [[सार्वभौमिक बीजगणित]] का एक भाग है, कि यह सभी प्रकार की बीजगणितीय संरचना ([[अंतिम]] संचालन के साथ) से संबंधित है। [[श्रेणी सिद्धांत]] के संदर्भ में इसका एक सूत्रीकरण भी है, हालांकि यह अभी और अधिक अमूर्त शब्दों में है।
 == परिभाषा ==
@@ Line 8: / Line 8: @@
 नि: शुल्क वस्तुएं वेक्टर अंतरिक्ष में [[आधार (रैखिक बीजगणित)]] की धारणा के [[श्रेणी (गणित)]] के प्रत्यक्ष सामान्यीकरण हैं। एक रैखिक कार्य {{math|''u'' : ''E''<sub>1</sub> → ''E''<sub>2</sub>}} वेक्टर रिक्त स्थान के बीच पूरी तरह से वेक्टर स्थान के आधार पर इसके मूल्यों द्वारा निर्धारित किया जाता है {{math|''E''<sub>1</sub>.}} निम्नलिखित परिभाषा इसे किसी भी श्रेणी में अनुवादित करती है।
-एक [[ठोस श्रेणी]] एक ऐसी श्रेणी है जो सेट करने के लिए एक वफादार फ़ैक्टर से सुसज्जित है, [[सेट की श्रेणी]]। होने देना {{math|'''C'''}} एक विश्वसनीय कार्यकर्ता के साथ एक ठोस श्रेणी बनें {{math|''f'' : '''C''' → '''Set'''}}. होने देना {{math|''X''}} एक सेट हो (अर्थात, सेट में एक वस्तु), जो परिभाषित होने वाली मुक्त वस्तु का ''आधार'' होगा। पर एक मुक्त वस्तु {{mvar|X}} एक वस्तु से मिलकर एक जोड़ी है <math>A=F(X)</math> में {{math|'''C'''}} और एक इंजेक्शन <math>i:X\to f(A)</math> (कैनोनिकल इंजेक्शन कहा जाता है), जो निम्नलिखित [[सार्वभौमिक संपत्ति]] को संतुष्ट करता है:
+एक [[ठोस श्रेणी]] एक ऐसी श्रेणी है जो सेटसमुच्चय करने के लिए एक वफादार फ़ैक्टर से सुसज्जित है, [[सेट की श्रेणी|सेटसमुच्चय की श्रेणी]]। होने देना {{math|'''C'''}} एक विश्वसनीय कार्यकर्ता के साथ एक ठोस श्रेणी बनें {{math|''f'' : '''C''' → '''Set'''}}. होने देना {{math|''X''}} एक सेटसमुच्चय हो (अर्थात, सेटसमुच्चय में एक वस्तु), जो परिभाषित होने वाली मुक्त वस्तु का ''आधार'' होगा। पर एक मुक्त वस्तु {{mvar|X}} एक वस्तु से मिलकर एक जोड़ी है <math>A=F(X)</math> में {{math|'''C'''}} और एक इंजेक्शन <math>i:X\to f(A)</math> (कैनोनिकल इंजेक्शन कहा जाता है), जो निम्नलिखित [[सार्वभौमिक संपत्ति]] को संतुष्ट करता है:
-: किसी वस्तु के लिए {{math|''B''}} में {{math|'''C'''}} और सेट के बीच कोई नक्शा <math>\varphi:X\to f(B),</math> एक अद्वितीय morphism मौजूद है <math>g:A\to B</math> में {{math|'''C'''}} ऐसा है कि <math>\varphi=f(g)\circ i.</math> यही है, निम्नलिखित कम्यूटेटिव आरेख यात्रा करता है:
+: किसी वस्तु के लिए {{math|''B''}} में {{math|'''C'''}} और सेटसमुच्चय के बीच कोई नक्शा <math>\varphi:X\to f(B),</math> एक अद्वितीय morphism मौजूद है <math>g:A\to B</math> में {{math|'''C'''}} ऐसा है कि <math>\varphi=f(g)\circ i.</math> यही है, निम्नलिखित कम्यूटेटिव आरेख यात्रा करता है:
 ::<math>
@@ Line 18: / Line 18: @@
 \end{array}
 </math>
-यदि मुक्त वस्तुएं मौजूद हैं {{math|'''C'''}}, यह सत्यापित करने के लिए सीधा है कि सार्वभौमिक संपत्ति का तात्पर्य है कि दो सेटों के बीच का प्रत्येक मानचित्र उन पर निर्मित मुक्त वस्तुओं के बीच एक अद्वितीय आकारिकी उत्पन्न करता है, और यह एक फ़नकार को परिभाषित करता है <math>F:\mathbf{Set}\to \mathbf C.</math> यह इस प्रकार है कि, यदि मुक्त वस्तुएँ मौजूद हैं {{math|'''C'''}}, काम करनेवाला {{mvar|F}}, जिसे फ्री-ऑब्जेक्ट फ़ंक्टर कहा जाता है, भुलक्कड़ फ़ैक्टर का बायाँ भाग है {{mvar|f}}; अर्थात् आक्षेप होता है
+यदि मुक्त वस्तुएं मौजूद हैं {{math|'''C'''}}, यह सत्यापित करने के लिए सीधा है कि सार्वभौमिक संपत्ति का तात्पर्य है कि दो सेटसमुच्चयों के बीच का प्रत्येक मानचित्र उन पर निर्मित मुक्त वस्तुओं के बीच एक अद्वितीय आकारिकी उत्पन्न करता है, और यह एक फ़नकार को परिभाषित करता है <math>F:\mathbf{Set}\to \mathbf C.</math> यह इस प्रकार है कि, यदि मुक्त वस्तुएँ मौजूद हैं {{math|'''C'''}}, काम करनेवाला {{mvar|F}}, जिसे मुफ्त-ऑब्जेक्ट फ़ंक्टर कहा जाता है, भुलक्कड़ फ़ैक्टर का बायाँ भाग है {{mvar|f}}; अर्थात् आक्षेप होता है
 :<math>\operatorname{Hom}_\mathbf{Set}(X, f(B))\cong \operatorname{Hom}_\mathbf{C}(F(X), B).</math>
 == उदाहरण ==
-मुक्त वस्तुओं का निर्माण दो चरणों में होता है। [[सहयोगी कानून]] के अनुरूप बीजगणित के लिए, पहला कदम [[वर्णमाला (कंप्यूटर विज्ञान)]] से बने सभी संभावित [[स्ट्रिंग (कंप्यूटर विज्ञान)]] के संग्रह पर विचार करना है। फिर शब्दों पर [[तुल्यता संबंध]]ों का एक सेट लगाया जाता है, जहां संबंध बीजगणितीय वस्तु के परिभाषित संबंध होते हैं। तब मुक्त वस्तु में [[तुल्यता वर्ग]]ों का समूह होता है।
+मुक्त वस्तुओं का निर्माण दो चरणों में होता है। [[सहयोगी कानून]] के अनुरूप बीजगणित के लिए, पहला कदम [[वर्णमाला (कंप्यूटर विज्ञान)]] से बने सभी संभावित [[स्ट्रिंग (कंप्यूटर विज्ञान)]] के संग्रह पर विचार करना है। फिर शब्दों पर [[तुल्यता संबंध]]ों का एक सेटसमुच्चय लगाया जाता है, जहां संबंध बीजगणितीय वस्तु के परिभाषित संबंध होते हैं। तब मुक्त वस्तु में [[तुल्यता वर्ग]]ों का समूह होता है।
-उदाहरण के लिए, एक समूह के दो जनरेटिंग सेट में मुक्त समूह के निर्माण पर विचार करें। एक पाँच अक्षरों से मिलकर एक वर्णमाला से प्रांरम होता है <math>\{e,a,b,a^{-1},b^{-1}\}</math>. पहले चरण में, अक्षरों को अभी तक कोई नियत अर्थ नहीं दिया गया है <math>a^{-1}</math> या <math>b^{-1}</math>; इन्हें बाद में, दूसरे चरण में दिया जाएगा। इस प्रकार, कोई समान रूप से अच्छी तरह से पाँच अक्षरों में वर्णमाला के साथ प्रांरम कर सकता है <math>S=\{a,b,c,d,e\}</math>. इस उदाहरण में, सभी शब्दों या स्ट्रिंग्स का सेट <math>W(S)</math> हर संभव क्रम में व्यवस्थित अक्षरों के साथ, एबेसेडे और एबीसी, और इसी तरह, मनमाने ढंग से परिमित लंबाई के तार सम्मिलित होंगे।
+उदाहरण के लिए, एक समूह के दो जनरेटिंग सेटसमुच्चय में मुक्त समूह के निर्माण पर विचार करें। एक पाँच अक्षरों से मिलकर एक वर्णमाला से प्रांरम होता है <math>\{e,a,b,a^{-1},b^{-1}\}</math>. पहले चरण में, अक्षरों को अभी तक कोई नियत अर्थ नहीं दिया गया है <math>a^{-1}</math> या <math>b^{-1}</math>; इन्हें बाद में, दूसरे चरण में दिया जाएगा। इस प्रकार, कोई समान रूप से अच्छी तरह से पाँच अक्षरों में वर्णमाला के साथ प्रांरम कर सकता है <math>S=\{a,b,c,d,e\}</math>. इस उदाहरण में, सभी शब्दों या स्ट्रिंग्स का सेटसमुच्चय <math>W(S)</math> हर संभव क्रम में व्यवस्थित अक्षरों के साथ, एबेसेडे और एबीसी, और इसी तरह, मनमाने ढंग से परिमित लंबाई के तार सम्मिलित होंगे।
-अगले चरण में, तुल्यता संबंधों का एक सेट लगाया जाता है। एक [[समूह (गणित)]] के लिए तुल्यता संबंध पहचान द्वारा गुणन के हैं, <math>ge=eg=g</math>, और व्युत्क्रमों का गुणन: <math>gg^{-1}=g^{-1}g=e</math>. इन संबंधों को ऊपर के तार पर प्रायुक्त करने पर, एक प्राप्त होता है
+अगले चरण में, तुल्यता संबंधों का एक सेटसमुच्चय लगाया जाता है। एक [[समूह (गणित)]] के लिए तुल्यता संबंध पहचान द्वारा गुणन के हैं, <math>ge=eg=g</math>, और व्युत्क्रमों का गुणन: <math>gg^{-1}=g^{-1}g=e</math>. इन संबंधों को ऊपर के तार पर प्रायुक्त करने पर, एक प्राप्त होता है
 :<math>aebecede = aba^{-1}b^{-1},</math>
@@ Line 33: / Line 33: @@
 :<math>abdc = abb^{-1}a^{-1} = e.</math>
-द्वारा तुल्यता संबंध या [[सर्वांगसमता संबंध]] को नकारना <math>\sim</math>मुक्त वस्तु तब शब्दों के समतुल्य वर्गों का संग्रह है। इस प्रकार, इस उदाहरण में, दो जनरेटर में मुक्त समूह भागफल सेट है
+द्वारा तुल्यता संबंध या [[सर्वांगसमता संबंध]] को नकारना <math>\sim</math>मुक्त वस्तु तब शब्दों के समतुल्य वर्गों का संग्रह है। इस प्रकार, इस उदाहरण में, दो जनरेटर में मुक्त समूह भागफल सेटसमुच्चय है
 :<math>F_2=W(S)/\sim.</math>
-इसे प्राय: इस प्रकार लिखा जाता है <math>F_2=W(S)/E</math> कहाँ <math>W(S) = \{a_1 a_2 \ldots a_n \, \vert \; a_k \in S \, ; \, n \in \mathbb{N}\}</math> सभी शब्दों का सेट है, और <math>E = \{a_1 a_2 \ldots a_n \, \vert \; e = a_1 a_2 \ldots a_n \, ; \, a_k \in S \, ; \, n \in \mathbb{N}\}</math> एक समूह को परिभाषित करने वाले संबंधों के प्रायुक्त होने के बाद, पहचान का समतुल्य वर्ग है।
+इसे प्राय: इस प्रकार लिखा जाता है <math>F_2=W(S)/E</math> कहाँ <math>W(S) = \{a_1 a_2 \ldots a_n \, \vert \; a_k \in S \, ; \, n \in \mathbb{N}\}</math> सभी शब्दों का सेटसमुच्चय है, और <math>E = \{a_1 a_2 \ldots a_n \, \vert \; e = a_1 a_2 \ldots a_n \, ; \, a_k \in S \, ; \, n \in \mathbb{N}\}</math> एक समूह को परिभाषित करने वाले संबंधों के प्रायुक्त होने के बाद, पहचान का समतुल्य वर्ग है।
-एक सरल उदाहरण [[मुक्त मोनोइड]]्स हैं। एक सेट एक्स पर मुक्त मोनॉयड, एक्स को वर्णमाला के रूप में उपयोग करने वाले सभी परिमित स्ट्रिंग (कंप्यूटर विज्ञान) का मोनॉयड है, जिसमें स्ट्रिंग्स का संचालन संयोजन होता है। पहचान खाली स्ट्रिंग है। संक्षेप में, मुक्त मोनॉइड केवल सभी शब्दों का समुच्चय है, जिसमें कोई तुल्यता संबंध नहीं लगाया गया है। [[क्लेन स्टार]] पर लेख में इस उदाहरण को और विकसित किया गया है।
+एक सरल उदाहरण [[मुक्त मोनोइड]]्स हैं। एक सेटसमुच्चय एक्स पर मुक्त मोनॉयड, एक्स को वर्णमाला के रूप में उपयोग करने वाले सभी परिमित स्ट्रिंग (कंप्यूटर विज्ञान) का मोनॉयड है, जिसमें स्ट्रिंग्स का संचालन संयोजन होता है। पहचान खाली स्ट्रिंग है। संक्षेप में, मुक्त मोनॉइड केवल सभी शब्दों का समुच्चय है, जिसमें कोई तुल्यता संबंध नहीं लगाया गया है। [[क्लेन स्टार]] पर लेख में इस उदाहरण को और विकसित किया गया है।
 === सामान्य मामला ===
-सामान्य मामले में, बीजगणितीय संबंधों को साहचर्य होने की आवश्यकता नहीं है, इस मामले में शुरुआती बिंदु सभी शब्दों का सेट नहीं है, किन्तु कोष्ठकों के साथ विरामित तार हैं, जो अक्षरों के गैर-सहयोगी समूहों को इंगित करने के लिए उपयोग किए जाते हैं। इस तरह की स्ट्रिंग को [[बाइनरी ट्री]] या [[मुक्त मेग्मा]] द्वारा समतुल्य रूप से दर्शाया जा सकता है; पेड़ की पत्तियाँ वर्णमाला के अक्षर हैं।
+सामान्य मामले में, बीजगणितीय संबंधों को साहचर्य होने की आवश्यकता नहीं है, इस मामले में शुरुआती बिंदु सभी शब्दों का सेटसमुच्चय नहीं है, किन्तु कोष्ठकों के साथ विरामित तार हैं, जो अक्षरों के गैर-सहयोगी समूहों को इंगित करने के लिए उपयोग किए जाते हैं। इस तरह की स्ट्रिंग को [[बाइनरी ट्री]] या [[मुक्त मेग्मा]] द्वारा समतुल्य रूप से दर्शाया जा सकता है; पेड़ की पत्तियाँ वर्णमाला के अक्षर हैं।
 तब बीजगणितीय संबंध पेड़ की पत्तियों पर सामान्य [[arity]] या [[अंतिम संबंध]] हो सकते हैं। सभी संभावित कोष्ठकों के संग्रह के साथ प्रांरम करने के अतिरिक्त, हेरब्रांड ब्रह्मांड के साथ प्रांरम करना अधिक सुविधाजनक हो सकता है। प्रश्न में विशेष बीजगणितीय वस्तु के आधार पर, किसी मुक्त वस्तु की सामग्री का उचित वर्णन या गणना करना आसान या कठिन हो सकता है। उदाहरण के लिए, दो जनरेटर में मुक्त समूह का आसानी से वर्णन किया गया है। इसके विपरीत, एक से अधिक जनरेटर में मुक्त हेटिंग बीजगणित की संरचना के बारे में बहुत कम या कुछ भी ज्ञात नहीं है।<ref>Peter T. Johnstone, ''Stone Spaces'', (1982) Cambridge University Press, {{ISBN|0-521-23893-5}}. ''(A treatment of the one-generator free Heyting algebra is given in chapter 1, section 4.11)''</ref> यह निर्धारित करने की समस्या कि क्या दो अलग-अलग तार एक ही तुल्यता वर्ग के हैं, [[शब्द समस्या (गणित)]] के रूप में जानी जाती है।
@@ Line 50: / Line 50: @@
 == मुक्त सार्वभौमिक बीजगणित ==
 {{main|Term algebra}}
-होने देना <math>S</math> कोई भी सेट हो, और रहने दो <math>\mathbf{A}</math> प्रकार की एक बीजगणितीय संरचना हो <math>\rho</math> द्वारा उत्पन्न <math>S</math>. आइए इस बीजगणितीय संरचना के अंतर्निहित सेट को दें <math>\mathbf{A}</math>, कभी-कभी इसका ब्रह्मांड कहा जाता है, हो <math>A</math>, और जाने <math>\psi: S \to A</math> एक समारोह हो। हम कहते हैं <math>(A, \psi)</math> (या अनौपचारिक रूप से सिर्फ <math>\mathbf{A}</math>) एक मुक्त बीजगणित है (प्रकार का <math>\rho</math>) मंच पर <math>S</math> मुफ्त जनरेटर की, यदि हर बीजगणित के लिए <math>\mathbf{B}</math> प्रकार का <math>\rho</math> और हर समारोह <math>\tau: S \to B</math>, कहाँ <math>B</math> का एक ब्रह्मांड है <math>\mathbf{B}</math>, एक अद्वितीय समरूपता मौजूद है <math>\sigma: A \to B</math> ऐसा है कि <math>\sigma \circ \psi = \tau.</math>
+होने देना <math>S</math> कोई भी सेटसमुच्चय हो, और रहने दो <math>\mathbf{A}</math> प्रकार की एक बीजगणितीय संरचना हो <math>\rho</math> द्वारा उत्पन्न <math>S</math>. आइए इस बीजगणितीय संरचना के अंतर्निहित सेटसमुच्चय को दें <math>\mathbf{A}</math>, कभी-कभी इसका ब्रह्मांड कहा जाता है, हो <math>A</math>, और जाने <math>\psi: S \to A</math> एक समारोह हो। हम कहते हैं <math>(A, \psi)</math> (या अनौपचारिक रूप से सिर्फ <math>\mathbf{A}</math>) एक मुक्त बीजगणित है (प्रकार का <math>\rho</math>) मंच पर <math>S</math> मुफ्त जनरेटर की, यदि हर बीजगणित के लिए <math>\mathbf{B}</math> प्रकार का <math>\rho</math> और हर समारोह <math>\tau: S \to B</math>, कहाँ <math>B</math> का एक ब्रह्मांड है <math>\mathbf{B}</math>, एक अद्वितीय समरूपता मौजूद है <math>\sigma: A \to B</math> ऐसा है कि <math>\sigma \circ \psi = \tau.</math>
-== फ्री फंक्‍टर==
+== मुफ्त फंक्‍टर==
-एक मुक्त वस्तु के लिए सबसे सामान्य सेटिंग श्रेणी सिद्धांत में है, जहां एक [[ऑपरेटर]], फ़्री फ़ैक्टर को परिभाषित करता है, जो भुलक्कड़ फंक्टर के बाईं ओर है।
+एक मुक्त वस्तु के लिए सबसे सामान्य सेटसमुच्चयिंग श्रेणी सिद्धांत में है, जहां एक [[ऑपरेटर]], फ़्री फ़ैक्टर को परिभाषित करता है, जो भुलक्कड़ फंक्टर के बाईं ओर है।
-बीजगणितीय संरचनाओं की श्रेणी C पर विचार करें; वस्तुओं को कुछ कानूनों का पालन करते हुए सेट प्लस ऑपरेशंस के रूप में सोचा जा सकता है। इस श्रेणी में एक कारक है, <math>U:\mathbf{C}\to\mathbf{Set}</math>, भुलक्कड़ फ़ंक्टर, जो सी से सेट, सेट की श्रेणी में वस्तुओं और कार्यों को मैप करता है। भुलक्कड़ फ़ंक्टर बहुत सरल है: यह सभी कार्यों को अनदेखा करता है।
+बीजगणितीय संरचनाओं की श्रेणी C पर विचार करें; वस्तुओं को कुछ कानूनों का पालन करते हुए सेटसमुच्चय प्लस ऑपरेशंस के रूप में सोचा जा सकता है। इस श्रेणी में एक कारक है, <math>U:\mathbf{C}\to\mathbf{Set}</math>, भुलक्कड़ फ़ंक्टर, जो सी से सेटसमुच्चय, सेटसमुच्चय की श्रेणी में वस्तुओं और कार्यों को मैप करता है। भुलक्कड़ फ़ंक्टर बहुत सरल है: यह सभी कार्यों को अनदेखा करता है।
-फ्री फंक्‍टर ''एफ'', जब यह मौजूद होता है, ''यू'' के बगल में बाईं ओर होता है। वह है, <math>F:\mathbf{Set}\to\mathbf{C}</math> सेट एक्स को 'सेट' में उनकी संबंधित फ्री ऑब्जेक्ट्स एफ (एक्स) श्रेणी 'सी' में ले जाता है। सेट एक्स को फ्री ऑब्जेक्ट एफ (एक्स) के जेनरेटर के सेट के रूप में माना जा सकता है।
+मुफ्त फंक्‍टर ''एफ'', जब यह मौजूद होता है, ''यू'' के बगल में बाईं ओर होता है। वह है, <math>F:\mathbf{Set}\to\mathbf{C}</math> सेटसमुच्चय एक्स को 'सेटसमुच्चय' में उनकी संबंधित मुफ्त ऑब्जेक्ट्स एफ (एक्स) श्रेणी 'सी' में ले जाता है। सेटसमुच्चय एक्स को मुफ्त ऑब्जेक्ट एफ (एक्स) के जेनरेटर के सेटसमुच्चय के रूप में माना जा सकता है।
-मुक्त फ़ंक्टर के लिए एक बाएँ आसन्न होने के लिए, एक 'सेट'-मोर्फिज़्म भी होना चाहिए  <math>\eta:X\to U(F(X))\,\!</math>. अधिक स्पष्ट रूप से, एफ, 'सी' में समरूपता तक है, जो निम्नलिखित सार्वभौमिक संपत्ति द्वारा विशेषता है:
+मुक्त फ़ंक्टर के लिए एक बाएँ आसन्न होने के लिए, एक 'सेटसमुच्चय'-मोर्फिज़्म भी होना चाहिए  <math>\eta:X\to U(F(X))\,\!</math>. अधिक स्पष्ट रूप से, एफ, 'सी' में समरूपता तक है, जो निम्नलिखित सार्वभौमिक संपत्ति द्वारा विशेषता है:
-: जब भी A 'C' में एक बीजगणित है, और {{nowrap|''g'' : ''X'' → ''U''(''A'')}} एक फ़ंक्शन (सेट की श्रेणी में एक रूपवाद) है, तो एक अद्वितीय सी-रूपवाद है {{nowrap|''h'' : ''F''(''X'') → ''A''}} ऐसा है कि {{nowrap|1=''U''(''h''){{Hair space}}∘{{Hair space}}''η'' = ''g''}}.
+: जब भी A 'C' में एक बीजगणित है, और {{nowrap|''g'' : ''X'' → ''U''(''A'')}} एक फ़ंक्शन (सेटसमुच्चय की श्रेणी में एक रूपवाद) है, तो एक अद्वितीय सी-रूपवाद है {{nowrap|''h'' : ''F''(''X'') → ''A''}} ऐसा है कि {{nowrap|1=''U''(''h''){{Hair space}}∘{{Hair space}}''η'' = ''g''}}.
-विशेष रूप से, यह उस सेट पर मुक्त वस्तु में एक सेट भेजता है; यह एक आधार का समावेश है। दुरुपयोग संकेतन, <math>X \to F(X)</math> (यह संकेतन का दुरुपयोग करता है क्योंकि एक्स एक सेट है, जबकि एफ (एक्स) बीजगणित है; सही ढंग से, यह है <math>X \to U(F(X))</math>).
+विशेष रूप से, यह उस सेटसमुच्चय पर मुक्त वस्तु में एक सेटसमुच्चय भेजता है; यह एक आधार का समावेश है। दुरुपयोग संकेतन, <math>X \to F(X)</math> (यह संकेतन का दुरुपयोग करता है क्योंकि एक्स एक सेटसमुच्चय है, जबकि एफ (एक्स) बीजगणित है; सही ढंग से, यह है <math>X \to U(F(X))</math>).
 [[प्राकृतिक परिवर्तन]] <math>\eta:\operatorname{id}_\mathbf{Set}\to UF</math> [[इकाई (श्रेणी सिद्धांत)]] कहा जाता है; एक साथ देश के साथ <math>\varepsilon:FU\to \operatorname {id}_\mathbf{C}</math>, कोई एक टी-बीजगणित का निर्माण कर सकता है, और इसलिए एक [[मोनाड (श्रेणी सिद्धांत)]]।
@@ Line 71: / Line 71: @@
 === अस्तित्व ===
 सामान्य अस्तित्व प्रमेय हैं जो प्रायुक्त होते हैं; उनमें से सबसे मुलभुत इसकी गारंटी देता है
-: जब भी सी एक किस्म (सार्वभौमिक बीजगणित) है, तो प्रत्येक सेट 'एक्स' के लिए सी में एक मुक्त वस्तु ''एफ''(''एक्स'') है।
+: जब भी सी एक किस्म (सार्वभौमिक बीजगणित) है, तो प्रत्येक सेटसमुच्चय 'एक्स' के लिए सी में एक मुक्त वस्तु ''एफ''(''एक्स'') है।
-यहाँ, विविधता एक परिमित बीजगणितीय श्रेणी का एक पर्यायवाची है, इस प्रकार इसका अर्थ है कि संबंधों का समुच्चय परिमित संबंध है, और ''बीजगणितीय'' क्योंकि यह सेट पर मोनाड (श्रेणी सिद्धांत) है।
+यहाँ, विविधता एक परिमित बीजगणितीय श्रेणी का एक पर्यायवाची है, इस प्रकार इसका अर्थ है कि संबंधों का समुच्चय परिमित संबंध है, और ''बीजगणितीय'' क्योंकि यह सेटसमुच्चय पर मोनाड (श्रेणी सिद्धांत) है।
 === सामान्य मामला ===
-अन्य प्रकार की भुलक्कड़पन भी वस्तुओं को मुक्त वस्तुओं की तरह ही जन्म देती है, जिसमें वे एक भुलक्कड़ फ़नकार के साथ छोड़ दी जाती हैं, जरूरी नहीं कि वे सेट हों।
+अन्य प्रकार की भुलक्कड़पन भी वस्तुओं को मुक्त वस्तुओं की तरह ही जन्म देती है, जिसमें वे एक भुलक्कड़ फ़नकार के साथ छोड़ दी जाती हैं, जरूरी नहीं कि वे सेटसमुच्चय हों।
 उदाहरण के लिए, सदिश स्थान पर टेन्सर बीजगणित का निर्माण [[साहचर्य बीजगणित]] पर फ़ैक्टर के बाईं ओर है जो बीजगणित संरचना की उपेक्षा करता है। इसलिए इसे अधिकांश [[मुक्त बीजगणित]] भी कहा जाता है। इसी तरह [[सममित बीजगणित]] और [[बाहरी बीजगणित]] एक सदिश स्थान पर मुक्त सममित और विरोधी सममित बीजगणित हैं।
@@ Line 112: / Line 112: @@
 == यह भी देखें ==
-* [[जनरेटिंग सेट]]
+* [[जनरेटिंग सेट|जनरेटिंग सेटसमुच्चय]]
 ==टिप्पणियाँ==

Anonymous

Search

मुक्त वस्तु: Difference between revisions

Namespaces

More

Page actions

Revision as of 07:40, 18 February 2023

Contents

परिभाषा

उदाहरण

सामान्य मामला

मुक्त सार्वभौमिक बीजगणित

मुफ्त फंक्‍टर

अस्तित्व

सामान्य मामला

मुक्त वस्तुओं की सूची

यह भी देखें

टिप्पणियाँ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

मुक्त वस्तु: Difference between revisions

Revision as of 07:40, 18 February 2023

परिभाषा

उदाहरण

सामान्य मामला

मुक्त सार्वभौमिक बीजगणित

मुफ्त फंक्‍टर

अस्तित्व

सामान्य मामला

मुक्त वस्तुओं की सूची

यह भी देखें

टिप्पणियाँ

Navigation

Wiki tools

Page tools

Other projects

Categories