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

Revision as of 09:19, 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)$ (कैनोनिकल अन्तःक्षेपण कहा जाता है) वस्तु से मिलकर बनी जोड़ी है, जो निम्नलिखित सार्वभौमिक गुण को संतुष्ट करता है:

C

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

B

और समुच्चय के बीच किसी भी माप के लिये

\varphi :X\to f(B),

वहां अद्वितीय आकारिकी

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},

जहां यह समझ में आया कि $a^{-1}$ के लिए $c$ स्टैंड-इन है, और $b^{-1}$ के लिए $d$ स्टैंड-इन है, जबकि $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} \}$ समूह को परिभाषित करने वाले संबंधों के प्रायुक्त होने के बाद, पहचान का समतुल्य वर्ग है।

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

सामान्य स्थिति

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

तब बीजगणितीय संबंध पेड़ की पत्तियों पर सामान्य अरिटी या अंतिम संबंध हो सकते हैं। सभी संभावित कोष्ठकों के संग्रह के साथ प्रांरम करने के अतिरिक्त, हेरब्रांड ब्रह्मांड के साथ प्रांरम करना अधिक सुविधाजनक हो सकता है। प्रश्न में विशेष बीजगणितीय वस्तु के आधार पर, किसी मुक्त वस्तु की सामग्री का उचित वर्णन या गणना करना आसान या कठिन हो सकता है। उदाहरण के लिए, दो जनरेटर में मुक्त समूह का आसानी से वर्णन किया गया है। इसके विपरीत, एक से अधिक जनरेटर में मुक्त हेटिंग बीजगणित की संरचना के बारे में बहुत कम या कुछ भी ज्ञात नहीं है।^[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}$ , अनवहित प्रकार्यक, जो C से समुच्चय, समुच्चय की श्रेणी में वस्तुओं और कार्यों को माप करता है। अनवहित प्रकार्यक बहुत सरल है: यह सभी कार्यों को अनदेखा करता है।

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

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

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

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

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

अस्तित्व

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

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

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

सामान्य स्थिति

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

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

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

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

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

यह भी देखें

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

@@ Line 1: / Line 1: @@
 {{Short description|Left adjoint to a forgetful functor to sets}}
-गणित में, '''मुक्त वस्तु''' का विचार अमूर्त बीजगणित की मूल अवधारणाओं में से एक है। अनौपचारिक रूप से, एक [[सेट (गणित)|समुच्चय (गणित)]] ''A'' पर एक मुक्त वस्तु को ''A'' पर एक सामान्य [[बीजगणितीय संरचना]] के रूप में माना जा सकता है: मुक्त वस्तु के तत्वों के बीच होने वाले एकमात्र समीकरण वे हैं जो बीजगणितीय संरचना के परिभाषित सिद्धांतों से अनुसरण करते हैं। उदाहरणों में [[मुक्त समूह]], टेन्सर बीजगणित, या मुक्त जालक सम्मिलित हैं।
+गणित में, '''मुक्त वस्तु''' का विचार अमूर्त बीजगणित की मूल अवधारणाओं में से एक है। अनौपचारिक रूप से, [[सेट (गणित)|समुच्चय (गणित)]] ''A'' पर मुक्त वस्तु को ''A'' पर सामान्य [[बीजगणितीय संरचना]] के रूप में माना जा सकता है: मुक्त वस्तु के तत्वों के बीच होने वाले एकमात्र समीकरण वे हैं जो बीजगणितीय संरचना के परिभाषित सिद्धांतों से अनुसरण करते हैं। उदाहरणों में [[मुक्त समूह]], टेन्सर बीजगणित, या मुक्त जालक सम्मिलित हैं।
-अवधारणा इस अर्थ में [[सार्वभौमिक बीजगणित]] का एक भाग है, कि यह सभी प्रकार की बीजगणितीय संरचना ([[अंतिम]] संचालन के साथ) से संबंधित है। [[श्रेणी सिद्धांत]] के संदर्भ में इसका एक सूत्रीकरण भी है, हालांकि यह अभी और अधिक अमूर्त शब्दों में है।
+अवधारणा इस अर्थ में [[सार्वभौमिक बीजगणित]] का भाग है, कि यह सभी प्रकार की बीजगणितीय संरचना ([[अंतिम]] संचालन के साथ) से संबंधित है। [[श्रेणी सिद्धांत]] के संदर्भ में इसका सूत्रीकरण भी है, चूँकि यह अभी और अधिक अमूर्त शब्दों में है।
 == परिभाषा ==
-मुफ्त वस्तुएं वेक्टर अंतरिक्ष में [[आधार (रैखिक बीजगणित)]] की धारणा की [[श्रेणी (गणित)|श्रेणियों (गणित)]] के लिए प्रत्यक्ष सामान्यीकरण हैं। सदिश समष्टियों के बीच एक रैखिक फलन {{math|''u'' : ''E''<sub>1</sub> → ''E''<sub>2</sub>}} सदिश समष्टि {{math|''E''<sub>1</sub>.}} स्थान के बीच पूरी तरह से वेक्टर स्थान के आधार पर इसके मूल्यों द्वारा निर्धारित किया जाता है  निम्नलिखित परिभाषा इसे किसी भी श्रेणी में अनुवादित करती है।
+मुफ्त वस्तुएं वेक्टर अंतरिक्ष में [[आधार (रैखिक बीजगणित)]] की धारणा की [[श्रेणी (गणित)|श्रेणियों (गणित)]] के लिए प्रत्यक्ष सामान्यीकरण हैं। सदिश समष्टियों के बीच रैखिक फलन {{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|'''C'''}} में किसी वस्तु के लिए {{math|''B''}} और समुच्चय के बीच किसी भी माप के लिये <math>\varphi:X\to f(B),</math> वहां एक अद्वितीय आकारिकी <math>g:A\to B</math> में {{math|'''C'''}} उपस्थित है जैसे कि <math>\varphi=f(g)\circ i.</math> यही है, अर्थात्, निम्नलिखित आरेख आवागमन करता है:
+: {{math|'''C'''}} में किसी वस्तु के लिए {{math|''B''}} और समुच्चय के बीच किसी भी माप के लिये <math>\varphi:X\to f(B),</math> वहां अद्वितीय आकारिकी <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>
-जहां यह समझ में आया कि <math>a^{-1}</math> के लिए <math>c</math> स्टैंड-इन है, और <math>b^{-1}</math> के लिए <math>d</math> स्टैंड-इन है, जबकि <math>e</math> पहचान तत्व है। इसी तरह, एक है
+जहां यह समझ में आया कि <math>a^{-1}</math> के लिए <math>c</math> स्टैंड-इन है, और <math>b^{-1}</math> के लिए <math>d</math> स्टैंड-इन है, जबकि <math>e</math> पहचान तत्व है। इसी प्रकार, एक है
 :<math>abdc = abb^{-1}a^{-1} = e.</math>
@@ Line 36: / Line 36: @@
 :<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> समूह को परिभाषित करने वाले संबंधों के प्रायुक्त होने के बाद, पहचान का समतुल्य वर्ग है।
-एक सरल उदाहरण [[मुक्त मोनोइड|मुक्त मोनोइडस]] हैं। एक सेट X पर मुक्त मोनोइड, स्ट्रिंग्स के ऑपरेशन संयोजन के साथ X को वर्णमाला के रूप में उपयोग करने वाले सभी परिमित तारों का मोनोइड है। पहचान खाली स्ट्रिंग है। संक्षेप में, मुक्त मोनॉइड केवल सभी शब्दों का समुच्चय है, जिसमें कोई तुल्यता संबंध नहीं लगाया गया है। [[क्लेन स्टार]] पर लेख में इस उदाहरण को और विकसित किया गया है।
+सरल उदाहरण [[मुक्त मोनोइड|मुक्त मोनोइडस]] हैं। सेट X पर मुक्त मोनोइड, स्ट्रिंग्स के ऑपरेशन संयोजन के साथ X को वर्णमाला के रूप में उपयोग करने वाले सभी परिमित तारों का मोनोइड है। पहचान खाली स्ट्रिंग है। संक्षेप में, मुक्त मोनॉइड केवल सभी शब्दों का समुच्चय है, जिसमें कोई तुल्यता संबंध नहीं लगाया गया है। [[क्लेन स्टार]] पर लेख में इस उदाहरण को और विकसित किया गया है।
 === सामान्य स्थिति ===
-सामान्य स्थिति में, बीजगणितीय संबंधों को साहचर्य होने की आवश्यकता नहीं है, इस स्थिति में शुरुआती बिंदु सभी शब्दों का समुच्चय नहीं है, किन्तु कोष्ठकों के साथ विरामित तार हैं, जो अक्षरों के गैर-सहयोगी समूहों को इंगित करने के लिए उपयोग किए जाते हैं। इस तरह की स्ट्रिंग को [[बाइनरी ट्री]] या [[मुक्त मेग्मा]] द्वारा समतुल्य रूप से दर्शाया जा सकता है; पेड़ की पत्तियाँ वर्णमाला के अक्षर हैं।
+सामान्य स्थिति में, बीजगणितीय संबंधों को साहचर्य होने की आवश्यकता नहीं है, इस स्थिति में प्रारंभिक बिंदु सभी शब्दों का समुच्चय नहीं है, किन्तु कोष्ठकों के साथ विरामित तार हैं, जो अक्षरों के गैर-सहयोगी समूहों को निरुपित करने के लिए उपयोग किए जाते हैं। इस तरह की स्ट्रिंग को [[बाइनरी ट्री]] या [[मुक्त मेग्मा]] द्वारा समतुल्य रूप से दर्शाया जा सकता है; पेड़ की पत्तियाँ वर्णमाला के अक्षर हैं।
 तब बीजगणितीय संबंध पेड़ की पत्तियों पर सामान्य [[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 51: / Line 51: @@
 {{main|शब्द बीजगणित}}
-मान लीजिए <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 से समुच्चय, समुच्चय की श्रेणी में वस्तुओं और कार्यों को माप करता है। अनवहित  प्रकार्यक बहुत सरल है: यह सभी कार्यों को अनदेखा करता है।
@@ Line 61: / Line 61: @@
 मुफ्त फंक्‍टर ''F'' , जब यह उपस्थित होता है, ''यू'' के बगल में बाईं ओर होता है। वह है, <math>F:\mathbf{Set}\to\mathbf{C}</math> समुच्चय X को 'समुच्चय' में उनकी संबंधित मुफ्त वस्तु F(X) श्रेणी 'C' में ले जाता है। समुच्चय X को मुफ्त वस्तु F(X) के जेनरेटर के समुच्चय के रूप में माना जा सकता है।
-मुक्त  प्रकार्यक के लिए एक बाएँ आसन्न होने के लिए, एक 'समुच्चय'-मोर्फिज़्म भी होना चाहिए  <math>\eta:X\to U(F(X))\,\!</math>. अधिक स्पष्ट रूप से, F , 'C' में समरूपता तक है, जो निम्नलिखित सार्वभौमिक गुण द्वारा विशेषता है:
+मुक्त  प्रकार्यक के लिए बाएँ आसन्न होने के लिए, 'समुच्चय'-मोर्फिज़्म <math>\eta:X\to U(F(X))\,\!</math> भी होना चाहिए. अधिक स्पष्ट रूप से, F , 'C' में समरूपता तक है, जो निम्नलिखित सार्वभौमिक गुण द्वारा विशेषता है:
-: जब भी A 'C' में एक बीजगणित है, और {{nowrap|''g'' : ''X'' → ''U''(''A'')}} एक फ़ंक्शन (समुच्चय की श्रेणी में एक रूपवाद) है, तो एक अद्वितीय C-रूपवाद {{nowrap|''h'' : ''F''(''X'') → ''A''}} है जैसे कि {{nowrap|1=''U''(''h''){{Hair space}}∘{{Hair space}}''η'' = ''g''}}.
+: जब भी A 'C' में बीजगणित है, और {{nowrap|''g'' : ''X'' → ''U''(''A'')}} फ़ंक्शन (समुच्चय की श्रेणी में रूपवाद) है, तो अद्वितीय C-रूपवाद {{nowrap|''h'' : ''F''(''X'') → ''A''}} है जैसे कि {{nowrap|1=''U''(''h''){{Hair space}}∘{{Hair space}}''η'' = ''g''}}.
-विशेष रूप से, यह उस समुच्चय पर मुक्त वस्तु में एक समुच्चय भेजता है; यह एक आधार का समावेश है। दुरुपयोग संकेतन, <math>X \to F(X)</math> (यह संकेतन का दुरुपयोग करता है क्योंकि X एक समुच्चय है, जबकि F(X) बीजगणित है; सही रूप से, यह है <math>X \to U(F(X))</math>).
+विशेष रूप से, यह उस समुच्चय पर मुक्त वस्तु में समुच्चय भेजता है; यह आधार का समावेश है। दुरुपयोग संकेतन, <math>X \to F(X)</math> (यह संकेतन का दुरुपयोग करता है क्योंकि X समुच्चय है, जबकि F(X) बीजगणित है; सही रूप से, यह है <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>, कोई एक टी-बीजगणित का निर्माण कर सकता है, और इसलिए एक [[मोनाड (श्रेणी सिद्धांत)]]।
+[[प्राकृतिक परिवर्तन]] <math>\eta:\operatorname{id}_\mathbf{Set}\to UF</math> को [[इकाई (श्रेणी सिद्धांत)]] कहा जाता है;  <math>\varepsilon:FU\to \operatorname {id}_\mathbf{C}</math>, काउंट के साथ मिलकर T-बीजगणित और इस प्रकार [[मोनाड (श्रेणी सिद्धांत)]] का निर्माण किया जा सकता है। कॉफ़्री प्रकार्यक अनवहित फंक्‍टर का सही संलग्‍न है।
-कॉफ़्री प्रकार्यक अनवहित फंक्‍टर का सही संलग्‍न है।
 === अस्तित्व ===
 सामान्य अस्तित्व प्रमेय हैं जो प्रायुक्त होते हैं; उनमें से सबसे मुलभुत इसकी गारंटी देता है
-: जब भी C एक प्रकार (सार्वभौमिक बीजगणित) है, तो प्रत्येक समुच्चय 'X' के लिए C में एक मुक्त वस्तु ''F''(''X'') है।
+: जब भी C एक प्रकार (सार्वभौमिक बीजगणित) है, तो प्रत्येक समुच्चय 'X' के लिए C में मुक्त वस्तु ''F''(''X'') है।
-यहाँ, विविधता एक परिमित बीजगणितीय श्रेणी का एक पर्यायवाची है, इस प्रकार इसका अर्थ है कि संबंधों का समुच्चय परिमित संबंध है, और ''बीजगणितीय'' क्योंकि यह समुच्चय पर मोनाड (श्रेणी सिद्धांत) है।
+यहाँ, विविधता परिमित बीजगणितीय श्रेणी का पर्यायवाची है, इस प्रकार इसका अर्थ है कि संबंधों का समुच्चय परिमित संबंध है, और ''बीजगणितीय'' क्योंकि यह समुच्चय पर मोनाड (श्रेणी सिद्धांत) है।
 === सामान्य स्थिति ===
-अन्य प्रकार की अनवहितपन भी वस्तुओं को मुक्त वस्तुओं की तरह ही जन्म देती है, जिसमें वे एक अनवहित फ़नकार के साथ छोड़ दी जाती हैं, आवश्यक नहीं कि वे समुच्चय हों।
+अन्य प्रकार की अनवहितपन भी वस्तुओं को मुक्त वस्तुओं की तरह ही जन्म देती है, जिसमें वे अनवहित फ़नकार के साथ छोड़ दी जाती हैं, आवश्यक नहीं कि वे समुच्चय हों।
-उदाहरण के लिए, सदिश स्थान पर टेन्सर बीजगणित का निर्माण [[साहचर्य बीजगणित]] पर प्रकार्यक के बाईं ओर है जो बीजगणित संरचना की उपेक्षा करता है। इसलिए इसे अधिकांश [[मुक्त बीजगणित]] भी कहा जाता है। इसी तरह [[सममित बीजगणित]] और [[बाहरी बीजगणित]] एक सदिश स्थान पर मुक्त सममित और विरोधी सममित बीजगणित हैं।
+उदाहरण के लिए, सदिश स्थान पर टेन्सर बीजगणित का निर्माण [[साहचर्य बीजगणित]] पर प्रकार्यक के बाईं ओर है जो बीजगणित संरचना की उपेक्षा करता है। इसलिए इसे अधिकांश [[मुक्त बीजगणित]] भी कहा जाता है। इसी तरह [[सममित बीजगणित]] और [[बाहरी बीजगणित]] सदिश स्थान पर मुक्त सममित और विरोधी सममित बीजगणित हैं।
 == मुक्त वस्तुओं की सूची ==

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 09:19, 18 February 2023

Contents

परिभाषा

उदाहरण

सामान्य स्थिति

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

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

अस्तित्व

सामान्य स्थिति

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

यह भी देखें

टिप्पणियाँ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Revision as of 09:19, 18 February 2023

परिभाषा

उदाहरण

सामान्य स्थिति

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

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

अस्तित्व

सामान्य स्थिति

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

यह भी देखें

टिप्पणियाँ

Navigation

Wiki tools

Page tools

Other projects

Categories