श्रेणी (गणित)

For other uses, see श्रेणी (बहुविकल्पी) § गणित.

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

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

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

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

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

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

Group-like structures

	Totality	Associativity	Identity	Inverse	Commutativity
Semigroupoid	Unneeded	Required	Unneeded	Unneeded	Unneeded
Small category	Unneeded	Required	Required	Unneeded	Unneeded
Groupoid	Unneeded	Required	Required	Required	Unneeded
Magma	Required	Unneeded	Unneeded	Unneeded	Unneeded
Quasigroup	Required	Unneeded	Unneeded	Required	Unneeded
Unital magma	Required	Unneeded	Required	Unneeded	Unneeded
Semigroup	Required	Required	Unneeded	Unneeded	Unneeded
Loop	Required	Unneeded	Required	Required	Unneeded
Monoid	Required	Required	Required	Unneeded	Unneeded
Group	Required	Required	Required	Required	Unneeded
Commutative monoid	Required	Required	Required	Unneeded	Required
Abelian group	Required	Required	Required	Required	Required
^α The closure axiom, used by many sources and defined differently, is equivalent.

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

परिभाषा

श्रेणी की कई समान परिभाषाएँ हैं। सामान्यतः इस्तेमाल की जाने वाली परिभाषा इस प्रकार है। श्रेणी 'C' के होते हैं

• गणितीय वस्तुओं का वर्ग (समुच्चय सिद्धांत) Ob(C),
• मोर्फिसंस (आकारिकी), या तीर, या वस्तुओं के बीच नक्शे का वर्ग hom(C),
• प्रांत, या स्रोत वस्तु वर्ग फलन $\mathrm {dom} \colon \mathrm {hom} (C)\rightarrow \mathrm {ob} (C)$,
• कोडोमैन, या लक्ष्य वस्तु वर्ग फलन $\mathrm {cod} \colon \mathrm {hom} (C)\rightarrow \mathrm {ob} (C)$,
• हर तीन वस्तुओं a, b और c के लिए, द्विआधारी संक्रिया hom(a,b) × hom(b, c) → hom(a, c) को आकारिकी की रचना कहा जाता है, f : a → b और g : b → c का संघटन g ∘ f या gf के रूप में लिखा जाता है। (कुछ लेखक आरेखीय क्रम का उपयोग करते हैं f;g or fg लिखते हैं)।

नोट: यहाँ hom(a, b) hom(c) में मोर्फिसंस f के उपवर्ग को दर्शाता है जैसे कि $\mathrm {dom} (f)=a$ तथा $\mathrm {cod} (f)=b$. इस तरह के आकारिकी को अक्सर f : a → b के रूप में लिखा जाता है।

ऐसा है कि निम्नलिखित स्वयंसिद्ध धारण करते हैं:

• (सहचारिता) यदि f : a → b, g : b → c और h : c → d तो h ∘ (g ∘ f) = (h ∘ g) ∘ f, और
• (तत्समक (गणित) ) प्रत्येक वस्तु x के लिए, आकृति मौजूद है 1_x : x → x (कुछ लेखक id_x लिखते हैं) x के लिए तत्समक आकृतिवाद कहलाता है, जैसे कि प्रत्येक आकारिकी f : a → x को संतुष्ट करता है1_x ∘ f = f, और प्रत्येक रूपवाद g : x → b, को संतुष्ट करता है g ∘ 1_x = g

हम f: a → b लिखते हैं, और हम कहते हैं कि f, a से b तक एक आकारिकी है। हम hom(a, b) (या hom_C(a, b) जब भ्रम हो सकता है कि किस श्रेणी के hom(a, b) को संदर्भित करता है) सभी रूपों के 'होम-वर्ग' को a से b तक दर्शाता है। इन स्वयंसिद्धों से, कोई यह साबित कर सकता है कि प्रत्येक वस्तु के लिए बिल्कुल एक तत्समक रूपवाद है। कुछ लेखक परिभाषा की थोड़ी भिन्नता का उपयोग करते हैं जिसमें प्रत्येक वस्तु को संबंधित तत्समक रूपवाद के साथ तत्समका जाता है।

छोटी और बड़ी श्रेणियां

श्रेणी C को छोटा कहा जाता है यदि दोनों ob(C) और hom(C) वास्तव में समुच्चय हैं और उचित वर्ग नहीं हैं, और अन्यथा बड़े हैं। स्थानीय रूप से छोटी श्रेणी एक ऐसी श्रेणी है, जिसमें सभी वस्तुओं a और b के लिए, hom-वर्ग hom(a, b) समुच्चय है, जिसे होमसेट कहा जाता है। गणित में कई महत्वपूर्ण श्रेणियां (जैसे समुच्चय की श्रेणी), हालांकि छोटी नहीं हैं, कम से कम स्थानीय रूप से छोटी हैं। चूंकि, छोटी श्रेणियों में, वस्तुएं एक समुच्चय बनाती हैं, एक छोटी श्रेणी को एक मोनोइड के समान बीजगणितीय संरचना के रूप में देखा जा सकता है, लेकिन क्लोजर (गणित) गुणों की आवश्यकता के बिना। दूसरी ओर बड़ी श्रेणियों का उपयोग बीजीय संरचनाओं की "संरचनाएं" बनाने के लिए किया जा सकता है।

उदाहरण

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

किसी भी वर्ग को एक ऐC श्रेणी के रूप में देखा जा सकता है जिसका केवल रूपवाद ही तत्समक रूप है। ऐC श्रेणियों को असतत श्रेणीकहा जाता है। किसी दिए गए समुच्चय I के लिए, I पर असतत श्रेणी वह छोटी श्रेणी है जिसमें I के तत्व वस्तुओं के रूप में होते हैं और केवल तत्समक आकारिकी रूपवाद के रूप में होती है। असतत श्रेणियां सबसे सरल प्रकार की श्रेणी हैं।

कोई भी पूर्व-आदेशित समुच्चय (P, ) एक छोटी श्रेणी बनाता है, जहाँ वस्तुएँ P के सदस्य हैं, मोर्फिसंस x ≤ y होने पर x से y की ओर इशारा करते हुए तीर हैं। इसके अलावा, यदि एंटीसिमेट्रिक है, तो किन्हीं दो वस्तुओं के बीच अधिकतम एक रूपवाद हो सकता है। आइडेंटिटी मॉर्फिज्म के अस्तित्व और मॉर्फिज्म की कंपोजिबिलिटी की गारंटी रिफ्लेक्सिविटी और प्रीऑर्डर की ट्रांजिटिविटी द्वारा दी जाती है। उC तर्क से, किसी भी आंशिक रूप से आदेशित समुच्चयऔर किसी भी समकक्ष संबंध को एक छोटी श्रेणी के रूप में देखा जा सकता है। आदेशित समुच्चयके रूप में देखे जाने पर किसी भी क्रम संख्या को एक श्रेणी के रूप में देखा जा सकता है।

कोई भी मोनोइड (एकल सहयोगी द्विआधारी संक्रियाऔर एक तत्समक तत्वके साथ कोई बीजगणितीय संरचना) एक वस्तु x के साथ एक छोटी श्रेणी बनाती है। (यहाँ, x कोई निश्चित समुच्चय है।) x से x तक के मोर्फिसंस ठीक monoid के तत्व हैं, x की तत्समक morphism monoid की तत्समक है, और मोर्फिसंस की श्रेणीबद्ध संरचना monoid संचालन द्वारा दी गई है। मोनोइड्स के बारे में कई परिभाषाएँ और प्रमेय श्रेणियों के लिए सामान्यीकृत किए जा सकते हैं।

इC तरह किसी भी समूह (गणित) को एक ऐC श्रेणी के रूप में देखा जा सकता है जिसमें एक ही वस्तु होती है जिसमें प्रत्येक रूपवाद उलटा होता है, यानी, प्रत्येक रूपवाद के लिए एक आकृतिवाद होता है जो संरचना के तहत एफ के विपरीत बाएं और दाएं दोनों होता है। एक रूपवाद जो इस अर्थ में उलटा होता है, एक समरूपता कहलाता है।

ग्रुपॉइड एक श्रेणी है जिसमें प्रत्येक रूपवाद एक समरूपता है। Groupoids समूहों, समूह क्रिया (गणित)और तुल्यता संबंधों के सामान्यीकरण हैं। दरअसल, श्रेणी की दृष्टि से ग्रुपॉइड और ग्रुप के बीच एकमात्र अंतर यह है कि ग्रुपॉइड में एक से अधिक ऑब्जेक्ट हो सकते हैं लेकिन ग्रुप में केवल एक ही होना चाहिए। एक टोपोलॉजिकल स्पेस एक्स पर विचार करें और एक्स के आधार बिंदु $x_{0}$ को ठीक करें, फिर $\pi _{1}(X,x_{0})$टोपोलॉजिकल स्पेस X और आधार बिंदु $x_{0}$, का मूलभूत समूह है, और एक समुच्चय के रूप में इसमें समूह की संरचना होती है, यदि फिर आधार बिंदु $x_{0}$ को X के सभी बिंदुओं पर चलने दें, और सभी का मिलन करें$\pi _{1}(X,x_{0})$,तो हमें जो समुच्चय मिलता है उसमें केवल ग्रुपॉइड की संरचना होती है (जिसे एक्स का मौलिक समूहकहा जाता है): दो लूप (समरूपता के तुल्यता संबंध के तहत) हो सकता है कि उनका आधार बिंदु समान न हो इसलिए वे एक दूसरे से गुणा नहीं कर सकते। श्रेणी की भाषा में, इसका मतलब है कि यहां दो आकारिकी में एक ही स्रोत वस्तु (या लक्ष्य वस्तु नहीं हो सकती है, क्योंकि इस मामले में किसी भी रूपवाद के लिए स्रोत वस्तु और लक्ष्य वस्तु समान हैं: आधार बिंदु) इसलिए वे रचना नहीं कर सकते एक दूसरे।

निर्देशित ग्राफ।

कोई भी निर्देशित ग्राफ जनरेटिंग समुच्चय छोटी श्रेणी समुच्चय करता है: ऑब्जेक्ट ग्राफ़ के वर्टेक्स (ग्राफ़ सिद्धांत) हैं, और मोर्फिसंस ग्राफ़ में पथ हैं (लूप (ग्राफ़ सिद्धांत) के साथ संवर्धित) जहाँ मोर्फिसंस की रचना का संयोजन है पथ। ऐC श्रेणी को ग्राफ द्वारा उत्पन्न मुक्त श्रेणी कहा जाता है।

मॉर्फिज्म के रूप में मोनोटोनिक फ़ंक्शंस वाले सभी प्रीऑर्डर किए गए समुच्चयों का वर्ग एक श्रेणी, ऑर्ड बनाता है। यह एक ठोस श्रेणी है, यानी समुच्चय पर किसी प्रकार की संरचना जोड़कर प्राप्त की गई श्रेणी, और यह आवश्यक है कि मोर्फिसंस ऐसे कार्य हैं जो इस अतिरिक्त संरचना का सम्मान करते हैं।

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

Category	Objects	मोर्फिसंस
Grp	groups	group homoमोर्फिसंस
Mag	magmas	magma homoमोर्फिसंस
Manp	smooth manifolds	p-times continuously differentiable maps
Met	metric spaces	short maps
R-Mod	R-modules, where R is a ring	R-module homoमोर्फिसंस
Mon	monoids	monoid homoमोर्फिसंस
Ring	rings	ring homoमोर्फिसंस
Set	sets	functions
Top	topological spaces	continuous functions
Uni	uniform spaces	uniformly continuous functions
VectK	vector spaces over the field K	K-linear maps

उनके बीच बंडल नक्शा वाले फाइबर बंडल एक ठोस श्रेणी बनाते हैं।

छोटी श्रेणियों की श्रेणी श्रेणी में सभी छोटी श्रेणियां होती हैं, उनके बीच के फंक्शनलर्स मॉर्फिज्म के रूप में होते हैं।

नई श्रेणियों का निर्माण

दोहरी श्रेणी

किसी भी श्रेणी C को एक अलग तरीके से एक नई श्रेणी के रूप में माना जा सकता है: वस्तुएं मूल श्रेणी में समान हैं लेकिन तीर मूल श्रेणी के विपरीत हैं। इसे विपरीत श्रेणी कहा जाता है और इसे C से निरूपित किया जाता है^ऊपर.

उत्पाद श्रेणियां

यदि C और डी श्रेणियां हैं, तो कोई उत्पाद श्रेणी C × डी बना सकता है: ऑब्जेक्ट जोड़े हैं जिसमें C से एक ऑब्जेक्ट और डी से एक ऑब्जेक्ट सम्मिलित है, और मोर्फिज्म भी जोड़े हैं, जिसमें C में एक मोर्फिज्म और डी में एक सम्मिलित है। ऐC जोड़ियों की रचना N-tuple की जा सकती है।

आकारिकी के प्रकार

एक आकारिकी f : a → b कहलाती है

• एक एकरूपता (या मोनिक) अगर यह वाम-रद्द करने योग्य है, यानी एफजी₁= एफजी₂मतलब जी₁= जी₂सभी रूपों के लिए जी₁, जी₂: एक्स → ए।
• एक अधिरूपता (या महाकाव्य) अगर यह सही-रद्द करने योग्य है, यानी जी₁च = जी₂च का अर्थ है जी₁= जी₂सभी रूपों के लिए जी₁, जी₂: बी → एक्स।
• एक द्विरूपता यदि यह एक मोनोमोर्फिज्म और एक एपिमॉर्फिज्म दोनों है।
• एक वापस लेना (श्रेणी सिद्धांत) यदि इसका एक सही उलटा है, अर्थात यदि कोई रूपवाद मौजूद है g : b → a fg = 1 के साथ_b.
• एक खंड (श्रेणी सिद्धांत) यदि इसमें एक वाम प्रतिलोम है, अर्थात यदि कोई रूपवाद मौजूद है g : b → a gf = 1 के साथ_a.
• एक समरूपता यदि इसका व्युत्क्रम है, अर्थात यदि कोई रूपवाद मौजूद है g : b → a fg = 1 के साथ_b और जीएफ = 1_a.
• एक एंडोमोर्फिज्म अगर ए = बी। ए के एंडोमोर्फिज्म के वर्ग को निरूपित अंत (ए) है।
• एक ऑटोमोर्फिज्म अगर एफ एंडोमोर्फिज्म और आइसोमोर्फिज्म दोनों है। a के autoमोर्फिसंस के वर्ग को at(a) निरूपित किया जाता है।

प्रत्येक प्रत्यावर्तन एक एपिमोर्फिज्म है। प्रत्येक खंड एक मोनोमोर्फिज्म है। निम्नलिखित तीन बयान समकक्ष हैं:

• f एक एकरूपता और एक प्रत्यावर्तन है,
• एफ एक एपिमोर्फिज्म और एक खंड है,
• f एक तुल्याकारिता है।

मोर्फिसंस (जैसे fg = h) के बीच संबंधों को सबसे आसानी से क्रमविनिमेय आरेख ों के साथ प्रदर्शित किया जा सकता है, जहाँ वस्तुओं को बिंदुओं के रूप में और मोर्फिसंस को तीरों के रूप में दर्शाया जाता है।

श्रेणियों के प्रकार

• कई श्रेणियों में, उदा. एबेलियन समूहों की श्रेणी या के-वेक्ट|वेक्ट_K, होम-समुच्चय hom(ए, बी) केवल समुच्चय नहीं हैं बल्कि वास्तव में एबेलियन समूह हैं, और मॉर्फिज्म की संरचना इन समूह संरचनाओं के साथ संगत है, यानी द्विरेखीय रूप है। ऐC श्रेणी को पूर्वगामी श्रेणी कहा जाता है। यदि, इसके अलावा, श्रेणी में सभी परिमित उत्पाद (श्रेणी सिद्धांत) और सह-उत्पाद हैं, तो इसे योगात्मक श्रेणी कहा जाता है। यदि सभी मोर्फिसंस में एक कर्नेल (श्रेणी सिद्धांत) और एक cokernel होता है, और सभी epiमोर्फिसंस cokernel होते हैं और सभी monomorphism कर्नेल होते हैं, तो हम abelian category की बात करते हैं। एबेलियन श्रेणी का एक विशिष्ट उदाहरण एबेलियन समूहों की श्रेणी है।
• एक श्रेणी पूर्ण श्रेणी कहलाती है यदि उसमें सभी छोटी Cमा (श्रेणी सिद्धांत) मौजूद हों। समुच्चय, एबेलियन समूह और टोपोलॉजिकल स्पेस की श्रेणियां पूरी हो गई हैं।
• एक श्रेणी को कार्तीय बंद श्रेणी कहा जाता है यदि उसके पास परिमित प्रत्यक्ष उत्पाद हैं और एक परिमित उत्पाद पर परिभाषित एक रूपवाद को हमेशा कारकों में से एक पर परिभाषित एक रूपवाद द्वारा दर्शाया जा सकता है। उदाहरणों में सम्मिलित हैं 'समुच्चय की श्रेणी' और 'Cपीओ', स्कॉट निरंतरता के साथ पूर्ण आंशिक ऑर्डर की श्रेणी|स्कॉट-निरंतर कार्य।
• एक टोपोस एक निश्चित प्रकार की कार्टेशियन बंद श्रेणी है जिसमें सभी गणित तैयार किए जा सकते हैं (जैसे शास्त्रीय रूप से सभी गणित समुच्चय की श्रेणी में तैयार किए जाते हैं)। एक तार्किक सिद्धांत का प्रतिनिधित्व करने के लिए एक टोपोस का भी उपयोग किया जा सकता है।

यह भी देखें

• समृद्ध श्रेणी
• उच्च श्रेणी सिद्धांत
• क्वांटालॉइड
• गणितीय प्रतीकों की तालिका

संदर्भ

• Adámek, Jiří; Herrlich, Horst; Strecker, George E. (1990), Abstract and Concrete Categories (PDF), Wiley, ISBN 0-471-60922-6 (now free on-line edition, GNU FDL).
• Asperti, Andrea; Longo, Giuseppe (1991), Categories, Types and Structures, MIT Press, ISBN 0-262-01125-5.
• Awodey, Steve (2006), Category theory, Oxford logic guides, vol. 49, Oxford University Press, ISBN 978-0-19-856861-2.
• Barr, Michael; Wells, Charles (2005), Toposes, Triples and Theories, Reprints in Theory and Applications of Categories, vol. 12 (revised ed.), MR 2178101.
• Borceux, Francis (1994), "Handbook of Categorical Algebra", Encyclopedia of Mathematics and its Applications, vol. 50–52, Cambridge: Cambridge University Press, ISBN 0-521-06119-9.
• "Category", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• Herrlich, Horst; Strecker, George E. (2007), Category Theory, Heldermann Verlag, ISBN 978-3-88538-001-6.
• Jacobson, Nathan (2009), Basic algebra (2nd ed.), Dover, ISBN 978-0-486-47187-7.
• Lawvere, William; Schanuel, Steve (1997), Conceptual Mathematics: A First Introduction to Categories, Cambridge University Press, ISBN 0-521-47249-0.
• Mac Lane, Saunders (1998), Categories for the Working Mathematician, Graduate Texts in Mathematics, vol. 5 (2nd ed.), Springer-Verlag, ISBN 0-387-98403-8.
• Marquis, Jean-Pierre (2006), "Category Theory", in Zalta, Edward N. (ed.), Stanford Encyclopedia of Philosophy.
• Sica, Giandomenico (2006), What is category theory?, Advanced studies in mathematics and logic, vol. 3, Polimetrica, ISBN 978-88-7699-031-1.
• category at the nLab