मुक्त वस्तु

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

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

परिभाषा

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

एक ठोस श्रेणी एक ऐसी श्रेणी है जो समुच्चय करने के लिए एक वफादार फ़ैक्टर से सुसज्जित है, समुच्चय की श्रेणी। होने देना C एक विश्वसनीय कार्यकर्ता के साथ एक ठोस श्रेणी बनें f : C → 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$