श्रेणी (गणित): Difference between revisions
From Vigyanwiki
(text) |
(→उदाहरण) |
||
| Line 6: | Line 6: | ||
गणित में, श्रेणी (कभी-कभी इसे[[ ठोस श्रेणी | ठोस श्रेणी]] से अलग करने के लिए सार श्रेणी कहा जाता है) "वस्तुओं" का एक संग्रह होता है जो "एरो (तीर)" से जुड़ा होता है। श्रेणी में दो बुनियादी गुण होते हैं: सहचारिता रूप से एरो की रचना करने की क्षमता और प्रत्येक वस्तु के लिए पहचान एरो का अस्तित्व होते हैं। सरल उदाहरण [[ सेट की श्रेणी |समुच्चयों की श्रेणी]] है, जिनके वस्तु समुच्चय हैं और जिनके एरो एक फलन हैं। | गणित में, श्रेणी (कभी-कभी इसे[[ ठोस श्रेणी | ठोस श्रेणी]] से अलग करने के लिए सार श्रेणी कहा जाता है) "वस्तुओं" का एक संग्रह होता है जो "एरो (तीर)" से जुड़ा होता है। श्रेणी में दो बुनियादी गुण होते हैं: सहचारिता रूप से एरो की रचना करने की क्षमता और प्रत्येक वस्तु के लिए पहचान एरो का अस्तित्व होते हैं। सरल उदाहरण [[ सेट की श्रेणी |समुच्चयों की श्रेणी]] है, जिनके वस्तु समुच्चय हैं और जिनके एरो एक फलन हैं। | ||
''[[ श्रेणी सिद्धांत |श्रेणी सिद्धांत]]'' गणित की एक शाखा है जो सभी गणित को श्रेणियों के संदर्भ में सामान्य बनाने का प्रयास करता है, जो उनकी वस्तुओं और एरो का प्रतिनिधित्व नहीं करता है। आधुनिक गणित की लगभग हर शाखा को श्रेणियों के संदर्भ में वर्णित किया जा सकता है, और ऐसा करने से अक्सर गणित के विभिन्न क्षेत्रों के बीच गहरी अंतर्दृष्टि और समानताएं प्रकट होती हैं। जैसे, श्रेणी सिद्धांत गणित के लिए सिद्धांत और अन्य प्रस्तावित स्वयं सिद्ध नींव स्थापित करने के लिए वैकल्पिक आधार प्रदान करता है। सामान्यतः, वस्तुएं और एरो किसी भी प्रकार | ''[[ श्रेणी सिद्धांत |श्रेणी सिद्धांत]]'' गणित की एक शाखा है जो सभी गणित को श्रेणियों के संदर्भ में सामान्य बनाने का प्रयास करता है, जो उनकी वस्तुओं और एरो का प्रतिनिधित्व नहीं करता है। आधुनिक गणित की लगभग हर शाखा को श्रेणियों के संदर्भ में वर्णित किया जा सकता है, और ऐसा करने से अक्सर गणित के विभिन्न क्षेत्रों के बीच गहरी अंतर्दृष्टि और समानताएं प्रकट होती हैं। जैसे, श्रेणी सिद्धांत गणित के लिए सिद्धांत और अन्य प्रस्तावित स्वयं सिद्ध नींव स्थापित करने के लिए वैकल्पिक आधार प्रदान करता है। सामान्यतः, वस्तुएं और एरो किसी भी प्रकार की काल्पनिक संस्थाएं हो सकती हैं, और श्रेणी की धारणा गणितीय संस्थाओं और उनके संबंधों का वर्णन करने के लिए एक मौलिक और काल्पनिक तरीका प्रदान करती है। | ||
गणित को औपचारिक बनाने के अलावा, संगणक विज्ञान में कई अन्य प्रणालियों को औपचारिक रूप देने के लिए श्रेणी सिद्धांत का भी उपयोग किया जाता है, जैसे [[ प्रोग्रामिंग भाषाओं के शब्दार्थ |प्रोग्रामिंग भाषाओं के शब्दार्थ]] । | गणित को औपचारिक बनाने के अलावा, संगणक विज्ञान में कई अन्य प्रणालियों को औपचारिक रूप देने के लिए श्रेणी सिद्धांत का भी उपयोग किया जाता है, जैसे [[ प्रोग्रामिंग भाषाओं के शब्दार्थ |प्रोग्रामिंग भाषाओं के शब्दार्थ]] । | ||
| Line 21: | Line 21: | ||
श्रेणी की कई समान परिभाषाएँ हैं।<ref>{{harvnb|Barr|Wells|2005|loc=Chapter 1}}</ref> सामान्यतः प्रयोग की जाने वाली परिभाषा इस प्रकार है। श्रेणी 'C' के होते हैं | श्रेणी की कई समान परिभाषाएँ हैं।<ref>{{harvnb|Barr|Wells|2005|loc=Chapter 1}}</ref> सामान्यतः प्रयोग की जाने वाली परिभाषा इस प्रकार है। श्रेणी 'C' के होते हैं | ||
* गणितीय वस्तुओं का [[ वर्ग (सेट सिद्धांत) |वर्ग (समुच्चय सिद्धांत)]] Ob(''C''), | * गणितीय वस्तुओं का [[ वर्ग (सेट सिद्धांत) |वर्ग (समुच्चय सिद्धांत)]] Ob(''C''), | ||
* | * अकारिता(आकारिकी), या एरो, या वस्तुओं के बीच नक्शे का वर्ग hom(''C''), | ||
*प्रांत, या स्रोत वस्तु वर्ग फलन <math>\mathrm{dom}\colon \mathrm{hom}(C)\rightarrow \mathrm{ob}(C) </math>, | *प्रांत, या स्रोत वस्तु वर्ग फलन <math>\mathrm{dom}\colon \mathrm{hom}(C)\rightarrow \mathrm{ob}(C) </math>, | ||
*कोडोमैन, या लक्ष्य वस्तु वर्ग फलन <math>\mathrm{cod}\colon \mathrm{hom}(C)\rightarrow \mathrm{ob}(C) </math>, | *कोडोमैन, या लक्ष्य वस्तु वर्ग फलन <math>\mathrm{cod}\colon \mathrm{hom}(C)\rightarrow \mathrm{ob}(C) </math>, | ||
* हर तीन वस्तुओं 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'' लिखते हैं)। | * हर तीन वस्तुओं 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) | नोट: यहाँ hom(a, b) hom(c) मेंअकारिताf के उपवर्ग को दर्शाता है जैसे कि <math>\mathrm{dom}(f) = a</math> तथा <math>\mathrm{cod}(f) = b</math>. इस तरह के आकारिकी को अक्सर f : a → b के रूप में लिखा जाता है। | ||
ऐसा है कि निम्नलिखित स्वयंसिद्ध धारण करते हैं: | ऐसा है कि निम्नलिखित स्वयंसिद्ध धारण करते हैं: | ||
| Line 38: | Line 38: | ||
== उदाहरण == | == उदाहरण == | ||
सभी समुच्चयों का वर्ग (वस्तुओं के रूप में) उनके बीच के सभी कार्यों के साथ (आकृति के रूप में), | सभी समुच्चयों का वर्ग (वस्तुओं के रूप में) उनके बीच के सभी कार्यों के साथ (आकृति के रूप में), जहांअकारिताकी संरचना सामान्य कार्य संरचना है, बड़ी श्रेणी, समुच्चय बनाती है। यह गणित में सबसे बुनियादी और सबसे अधिक प्रयोग की जाने वाली श्रेणी है। [[ संबंधों की श्रेणी |रिले श्रेणी]] में सभी समुच्चय (वस्तुओं के रूप में) उनके बीच द्विआधारी संबंधों के साथ होते हैं (रूपों के रूप में)। कार्यों के बजाय [[ संबंध (गणित) |संबंध (गणित)]] से सार निकालने से [[ रूपक (श्रेणी सिद्धांत) |रूपक (श्रेणी सिद्धांत)]], श्रेणियों का एक विशेष वर्ग प्राप्त होता है। | ||
किसी भी वर्ग को एक ऐसी श्रेणी के रूप में देखा जा सकता है जिसका केवल रूपवाद ही पहचान रूप है। ऐसी श्रेणियों को [[ असतत श्रेणी |असतत श्रेणी]] कहा जाता है। किसी दिए गए समुच्चय I के लिए, I पर असतत श्रेणी वह छोटी श्रेणी है जिसमें I के तत्व वस्तुओं के रूप में होते हैं और केवल पहचान आकारिकी रूपवाद के रूप में होती है। असतत श्रेणियां सबसे सरल प्रकार की श्रेणी हैं। | किसी भी वर्ग को एक ऐसी श्रेणी के रूप में देखा जा सकता है जिसका केवल रूपवाद ही पहचान रूप है। ऐसी श्रेणियों को [[ असतत श्रेणी |असतत श्रेणी]] कहा जाता है। किसी दिए गए समुच्चय I के लिए, I पर असतत श्रेणी वह छोटी श्रेणी है जिसमें I के तत्व वस्तुओं के रूप में होते हैं और केवल पहचान आकारिकी रूपवाद के रूप में होती है। असतत श्रेणियां सबसे सरल प्रकार की श्रेणी हैं। | ||
कोई भी पूर्व-आदेशित समुच्चय (''P'', ≤) छोटी श्रेणी बनाता है, जहाँ वस्तुएँ P के सदस्य हैं, | कोई भी पूर्व-आदेशित समुच्चय (''P'', ≤) छोटी श्रेणी बनाता है, जहाँ वस्तुएँ P के सदस्य हैं,अकारिताx ≤ y होने पर x से y की ओर संकेत करते हुए एरो हैं। इसके अलावा, यदि ≤ प्रतिसममितीय है, तो किन्हीं दो वस्तुओं के बीच अधिकतम रूपवाद हो सकता है। पहचानअकारिताके अस्तित्व औरअकारिताकी कंपोजिबिलिटी की गारंटी प्रतिक्रियात्मकता और अग्रिम आदेश की [[ सकर्मक संबंध |संक्रामिता]] द्वारा दी जाती है। उस तर्क से, किसी भी [[ आंशिक रूप से आदेशित सेट |आंशिक रूप से आदेशित समुच्चय]] और किसी भी समकक्ष संबंध को एक छोटी श्रेणी के रूप में देखा जा सकता है। [[ कुल आदेश |आदेशित समुच्चय]] के रूप में देखे जाने पर किसी भी क्रम संख्या को एक श्रेणी के रूप में देखा जा सकता है। | ||
कोई भी मोनोइड (एकल सहयोगी द्विआधारी संक्रिया और [[ पहचान तत्व |पहचान तत्व]] के साथ कोई बीजगणितीय संरचना) एक वस्तु x के साथ एक छोटी श्रेणी बनाती है। (यहाँ, x कोई निश्चित समुच्चय है।) x से x तक | कोई भी मोनोइड (एकल सहयोगी द्विआधारी संक्रिया और [[ पहचान तत्व |पहचान तत्व]] के साथ कोई बीजगणितीय संरचना) एक वस्तु x के साथ एक छोटी श्रेणी बनाती है। (यहाँ, x कोई निश्चित समुच्चय है।) x से x तक केअकारिताठीक मोनोइड के तत्व हैं, x की पहचानअकारितामोनोइड की पहचान है, औरअकारिताकी श्रेणीबद्ध संरचना मोनोइड संचालन द्वारा दी गई है। मोनोइड्स के बारे में कई परिभाषाएँ और प्रमेय श्रेणियों के लिए सामान्यीकृत किए जा सकते हैं। | ||
इस तरह किसी भी [[ समूह (गणित) |समूह (गणित)]] को एक ऐसी श्रेणी के रूप में देखा जा सकता है जिसमें एक ही वस्तु होती है जिसमें प्रत्येक रूपवाद उलटा होता है, यानी, प्रत्येक रूपवाद के लिए एक आकृतिवाद होता है जो संरचना के तहत एफ के विपरीत बाएं और दाएं दोनों होता है। रूपवाद का उल्टा अर्थ समरूपता कहलाता है। | इस तरह किसी भी [[ समूह (गणित) |समूह (गणित)]] को एक ऐसी श्रेणी के रूप में देखा जा सकता है जिसमें एक ही वस्तु होती है जिसमें प्रत्येक रूपवाद उलटा होता है, यानी, प्रत्येक रूपवाद के लिए एक आकृतिवाद होता है जो संरचना के तहत एफ के विपरीत बाएं और दाएं दोनों होता है। रूपवाद का उल्टा अर्थ समरूपता कहलाता है। | ||
| Line 50: | Line 50: | ||
ग्रुपॉइड एक श्रेणी है जिसमें प्रत्येक रूपवाद एक समरूपता है। ग्रुपॉइड समूहों, [[ समूह क्रिया (गणित) |समूह क्रिया (गणित)]] और तुल्यता संबंधों के सामान्यीकरण हैं। दरअसल, श्रेणी की दृष्टि से ग्रुपॉइड और ग्रुप के बीच एकमात्र अंतर यह है कि ग्रुपॉइड में एक से अधिक वस्तु हो सकते हैं लेकिन ग्रुप में केवल एक ही होना चाहिए। सांस्थितिक समष्टि X पर विचार करें और X के आधार बिंदु <math>x_0</math> को ठीक करें, फिर <math>\pi_1(X,x_0)</math> सांस्थितिक समष्टि X और आधार बिंदु <math>x_0</math>, का मूलभूत समूह है, और एक समुच्चय के रूप में इसमें समूह की संरचना होती है, यदि फिर आधार बिंदु <math>x_0</math> को X के सभी बिंदुओं पर चलने दें, और सभी का मिलन करें <math>\pi_1(X,x_0)</math>,तो हमें जो समुच्चय मिलता है उसमें केवल ग्रुपॉइड की संरचना होती है (जिसे X का [[ मौलिक समूह |मौलिक समूह]] कहा जाता है): दो प्रस्पंद (समरूपता के तुल्यता संबंध के तहत) हो सकता है कि उनका आधार बिंदु समान न हो इसलिए वे एक दूसरे से गुणा नहीं कर सकते। श्रेणी की भाषा में, इसका मतलब है कि यहां दो आकारिकी में एक ही स्रोत वस्तु (या लक्ष्य वस्तु नहीं हो सकती है, क्योंकि इस मामले में किसी भी रूपवाद के लिए स्रोत वस्तु और लक्ष्य वस्तु समान हैं: आधार बिंदु) इसलिए वे एक दूसरे के साथ रचना नहीं कर सकते। | ग्रुपॉइड एक श्रेणी है जिसमें प्रत्येक रूपवाद एक समरूपता है। ग्रुपॉइड समूहों, [[ समूह क्रिया (गणित) |समूह क्रिया (गणित)]] और तुल्यता संबंधों के सामान्यीकरण हैं। दरअसल, श्रेणी की दृष्टि से ग्रुपॉइड और ग्रुप के बीच एकमात्र अंतर यह है कि ग्रुपॉइड में एक से अधिक वस्तु हो सकते हैं लेकिन ग्रुप में केवल एक ही होना चाहिए। सांस्थितिक समष्टि X पर विचार करें और X के आधार बिंदु <math>x_0</math> को ठीक करें, फिर <math>\pi_1(X,x_0)</math> सांस्थितिक समष्टि X और आधार बिंदु <math>x_0</math>, का मूलभूत समूह है, और एक समुच्चय के रूप में इसमें समूह की संरचना होती है, यदि फिर आधार बिंदु <math>x_0</math> को X के सभी बिंदुओं पर चलने दें, और सभी का मिलन करें <math>\pi_1(X,x_0)</math>,तो हमें जो समुच्चय मिलता है उसमें केवल ग्रुपॉइड की संरचना होती है (जिसे X का [[ मौलिक समूह |मौलिक समूह]] कहा जाता है): दो प्रस्पंद (समरूपता के तुल्यता संबंध के तहत) हो सकता है कि उनका आधार बिंदु समान न हो इसलिए वे एक दूसरे से गुणा नहीं कर सकते। श्रेणी की भाषा में, इसका मतलब है कि यहां दो आकारिकी में एक ही स्रोत वस्तु (या लक्ष्य वस्तु नहीं हो सकती है, क्योंकि इस मामले में किसी भी रूपवाद के लिए स्रोत वस्तु और लक्ष्य वस्तु समान हैं: आधार बिंदु) इसलिए वे एक दूसरे के साथ रचना नहीं कर सकते। | ||
[[File:Directed.svg|125px|thumb|निर्देशित ग्राफ।]]कोई भी [[ निर्देशित ग्राफ |निर्देशित ग्राफ]] [[ जनरेटिंग सेट |जनरेटिंग समुच्चय]] छोटी श्रेणी समुच्चय करता है: वस्तु ग्राफ़ (लेखाचित्र) के शिराबिन्दु (ग्राफ़ सिद्धांत) हैं, | [[File:Directed.svg|125px|thumb|निर्देशित ग्राफ।]]कोई भी [[ निर्देशित ग्राफ |निर्देशित ग्राफ]] [[ जनरेटिंग सेट |जनरेटिंग समुच्चय]] छोटी श्रेणी समुच्चय करता है: वस्तु ग्राफ़ (लेखाचित्र) के शिराबिन्दु (ग्राफ़ सिद्धांत) हैं, औरअकारिताग्राफ़ में पथ हैं ( प्रस्पंद (ग्राफ़ सिद्धांत) के साथ संवर्धित) जहाँअकारितासंरचना पथों का संयोजन है। ऐसी श्रेणी को ग्राफ द्वारा उत्पन्न[[ मुक्त श्रेणी | मुक्त श्रेणी]] कहा जाता है। | ||
मॉर्फिज्म के रूप में एकदिष्ट फलन वाले सभी अग्रिम आदेश किए गए समुच्चयों का वर्ग एक श्रेणी, ऑर्ड बनाता है। यह एक ठोस श्रेणी है, यानी समुच्चय पर किसी प्रकार की संरचना जोड़कर प्राप्त की गई श्रेणी, और यह आवश्यक है | मॉर्फिज्म के रूप में एकदिष्ट फलन वाले सभी अग्रिम आदेश किए गए समुच्चयों का वर्ग एक श्रेणी, ऑर्ड बनाता है। यह एक ठोस श्रेणी है, यानी समुच्चय पर किसी प्रकार की संरचना जोड़कर प्राप्त की गई श्रेणी, और यह आवश्यक है किअकारिताऐसे कार्य हैं जो इस अतिरिक्त संरचना का सम्मान करते हैं। | ||
[[ समूह समरूपता |समूह समरूपता]] के साथ सभी समूहों का वर्ग आकारिकी के रूप में और संरचना संचालन के रूप में कार्य संरचना एक बड़ी [[ समूहों की श्रेणी |श्रेणी]] 'बनाती है, जीआरपी। ऑर्ड की तरह, जीआरपी एक ठोस श्रेणी है। श्रेणीएबी, जिसमें सभी [[ एबेलियन समूह |एबेलियन समूह]] और उनके समूह समरूपता सम्मिलित हैं, जीआरपी की एक [[ पूर्ण उपश्रेणी |पूर्ण उपश्रेणी]] है, और एक [[ एबेलियन श्रेणी |एबेलियन श्रेणी]] का प्रतिमान है। ठोस श्रेणियों के अन्य उदाहरण निम्न तालिका द्वारा दिए गए हैं। | [[ समूह समरूपता |समूह समरूपता]] के साथ सभी समूहों का वर्ग आकारिकी के रूप में और संरचना संचालन के रूप में कार्य संरचना एक बड़ी [[ समूहों की श्रेणी |श्रेणी]] 'बनाती है, जीआरपी। ऑर्ड की तरह, जीआरपी एक ठोस श्रेणी है। श्रेणीएबी, जिसमें सभी [[ एबेलियन समूह |एबेलियन समूह]] और उनके समूह समरूपता सम्मिलित हैं, जीआरपी की एक [[ पूर्ण उपश्रेणी |पूर्ण उपश्रेणी]] है, और एक [[ एबेलियन श्रेणी |एबेलियन श्रेणी]] का प्रतिमान है। ठोस श्रेणियों के अन्य उदाहरण निम्न तालिका द्वारा दिए गए हैं। | ||
| Line 107: | Line 107: | ||
उनके बीच [[ बंडल नक्शा |बंडल नक्शा]] वाले [[ फाइबर बंडल |फाइबर बंडल]] एक ठोस श्रेणी बनाते हैं। | उनके बीच [[ बंडल नक्शा |बंडल नक्शा]] वाले [[ फाइबर बंडल |फाइबर बंडल]] एक ठोस श्रेणी बनाते हैं। | ||
[[ छोटी श्रेणियों की श्रेणी ]] श्रेणी में सभी छोटी श्रेणियां होती हैं, उनके बीच के | [[ छोटी श्रेणियों की श्रेणी ]] श्रेणी में सभी छोटी श्रेणियां होती हैं, उनके बीच के प्रकार्यकअकारिता के रूप में होते हैं। | ||
== नई श्रेणियों का निर्माण == | == नई श्रेणियों का निर्माण == | ||
| Line 133: | Line 133: | ||
* f एक तुल्याकारिता है। | * f एक तुल्याकारिता है। | ||
अकारिता (जैसे fg = h) के बीच संबंधों को सबसे आसानी से [[ क्रमविनिमेय आरेख |क्रमविनिमेय आरेख]] के साथ प्रदर्शित किया जा सकता है, जहाँ वस्तुओं को बिंदुओं के रूप में | अकारिता (जैसे fg = h) के बीच संबंधों को सबसे आसानी से [[ क्रमविनिमेय आरेख |क्रमविनिमेय आरेख]] के साथ प्रदर्शित किया जा सकता है, जहाँ वस्तुओं को बिंदुओं के रूप में औरअकारिताको एरो के रूप में दर्शाया जाता है। | ||
== श्रेणियों के प्रकार == | == श्रेणियों के प्रकार == | ||
* कई श्रेणियों में, उदाहरण एबेलियन समूहों की श्रेणी '''Ab''' या '''Vect'''<sub>''K''</sub>, होमसेट hom(''a'', ''b'') केवल समुच्चय नहीं हैं बल्कि वास्तव में एबेलियन समूह हैं, | * कई श्रेणियों में, उदाहरण एबेलियन समूहों की श्रेणी '''Ab''' या '''Vect'''<sub>''K''</sub>, होमसेट hom(''a'', ''b'') केवल समुच्चय नहीं हैं बल्कि वास्तव में एबेलियन समूह हैं, औरअकारिता की संरचना इन समूह संरचनाओं के साथ संगत है, यानी [[ द्विरेखीय रूप | द्विरेखीय रूप]] है। ऐसी श्रेणी को [[ पूर्वगामी श्रेणी |पूर्वगामी श्रेणी]] कहा जाता है। यदि, इसके अलावा, श्रेणी में सभी परिमित [[ उत्पाद (श्रेणी सिद्धांत) |उत्पाद (श्रेणी सिद्धांत)]] और सह-उत्पाद हैं, तो इसे [[ योगात्मक श्रेणी |योगात्मक श्रेणी]] कहा जाता है। यदि सभीअकारितामें कर्नेल (श्रेणी सिद्धांत) और[[ cokernel | ककरनेल]] होता है, और सभी अधिरूपता ककरनेल होते हैं और सभी एकरूपता कर्नेल होते हैं, तो हम अबेलियन श्रेणी की बात करते हैं। एबेलियन श्रेणी का एक विशिष्ट उदाहरण एबेलियन समूहों की श्रेणी है। | ||
* श्रेणी पूर्ण कहलाती है यदि उसमें सभी छोटी [[ सीमा (श्रेणी सिद्धांत) |सीमाएँ (श्रेणी सिद्धांत)]] मौजूद हों। समुच्चय, एबेलियन समूह और सांस्थितिक समष्टि की श्रेणियां पूरी हो गई हैं। | * श्रेणी पूर्ण कहलाती है यदि उसमें सभी छोटी [[ सीमा (श्रेणी सिद्धांत) |सीमाएँ (श्रेणी सिद्धांत)]] मौजूद हों। समुच्चय, एबेलियन समूह और सांस्थितिक समष्टि की श्रेणियां पूरी हो गई हैं। | ||
* श्रेणी को [[ कार्तीय बंद श्रेणी |कार्तीय बंद श्रेणी]] कहा जाता है यदि उसके पास परिमित प्रत्यक्ष उत्पाद हैं और परिमित उत्पाद पर परिभाषित एक रूपवाद को हमेशा कारकों में से एक पर परिभाषित एक रूपवाद द्वारा दर्शाया जा सकता है। उदाहरणों में सम्मिलित हैं 'समुच्चय की श्रेणी' और 'सीपीओ', [[ स्कॉट निरंतरता |स्कॉट निरंतरता]] स्कॉट-निरंतर कार्यों के साथ पूर्ण आंशिक आदेशों की श्रेणी। | * श्रेणी को [[ कार्तीय बंद श्रेणी |कार्तीय बंद श्रेणी]] कहा जाता है यदि उसके पास परिमित प्रत्यक्ष उत्पाद हैं और परिमित उत्पाद पर परिभाषित एक रूपवाद को हमेशा कारकों में से एक पर परिभाषित एक रूपवाद द्वारा दर्शाया जा सकता है। उदाहरणों में सम्मिलित हैं 'समुच्चय की श्रेणी' और 'सीपीओ', [[ स्कॉट निरंतरता |स्कॉट निरंतरता]] स्कॉट-निरंतर कार्यों के साथ पूर्ण आंशिक आदेशों की श्रेणी। | ||
Revision as of 16:29, 25 November 2022
गणित में, श्रेणी (कभी-कभी इसे ठोस श्रेणी से अलग करने के लिए सार श्रेणी कहा जाता है) "वस्तुओं" का एक संग्रह होता है जो "एरो (तीर)" से जुड़ा होता है। श्रेणी में दो बुनियादी गुण होते हैं: सहचारिता रूप से एरो की रचना करने की क्षमता और प्रत्येक वस्तु के लिए पहचान एरो का अस्तित्व होते हैं। सरल उदाहरण समुच्चयों की श्रेणी है, जिनके वस्तु समुच्चय हैं और जिनके एरो एक फलन हैं।
श्रेणी सिद्धांत गणित की एक शाखा है जो सभी गणित को श्रेणियों के संदर्भ में सामान्य बनाने का प्रयास करता है, जो उनकी वस्तुओं और एरो का प्रतिनिधित्व नहीं करता है। आधुनिक गणित की लगभग हर शाखा को श्रेणियों के संदर्भ में वर्णित किया जा सकता है, और ऐसा करने से अक्सर गणित के विभिन्न क्षेत्रों के बीच गहरी अंतर्दृष्टि और समानताएं प्रकट होती हैं। जैसे, श्रेणी सिद्धांत गणित के लिए सिद्धांत और अन्य प्रस्तावित स्वयं सिद्ध नींव स्थापित करने के लिए वैकल्पिक आधार प्रदान करता है। सामान्यतः, वस्तुएं और एरो किसी भी प्रकार की काल्पनिक संस्थाएं हो सकती हैं, और श्रेणी की धारणा गणितीय संस्थाओं और उनके संबंधों का वर्णन करने के लिए एक मौलिक और काल्पनिक तरीका प्रदान करती है।
गणित को औपचारिक बनाने के अलावा, संगणक विज्ञान में कई अन्य प्रणालियों को औपचारिक रूप देने के लिए श्रेणी सिद्धांत का भी उपयोग किया जाता है, जैसे प्रोग्रामिंग भाषाओं के शब्दार्थ ।
दो श्रेणियां समान हैं यदि उनके पास वस्तुओं का एक ही संग्रह है, एरो का एक ही संग्रह है, और एरो के किसी भी जोड़े को बनाने की एक ही सहयोगी विधि है। श्रेणी सिद्धांत के प्रयोजनों के लिए दो अलग-अलग श्रेणियों को "समतुल्य" माना जा सकता है, भले ही उनकी संरचना बिल्कुल समान न हो।
सुप्रसिद्ध श्रेणियों को छोटे बड़े शब्द या संक्षिप्त रूप में बोल्ड या इटैलिक में दर्शाया जाता है: उदाहरणों में समुच्चय, समुच्चय की श्रेणी और समुच्चय फलन, वलय, वलय की श्रेणी और वलय समरूपता, और शीर्ष, सांस्थितिक समष्टि और निरंतर मानचित्रों की श्रेणी सम्मिलित हैं। पिछली सभी श्रेणियों में पहचान एरो के रूप में पहचान मानचित्र और एरो पर सहयोगी संचालन के रूप में संरचना है।
श्रेणी सिद्धांत पर उत्कृष्ट और अभी भी बहुत अधिक उपयोग किया जाने वाला पाठ सॉन्डर्स मैक लेन द्वारा कार्यशील गणितज्ञ के लिए श्रेणियाँ है। अन्य संदर्भ नीचे दिए गए संदर्भों में दिए गए हैं। इस लेख की मूल परिभाषाएं इनमें से किसी भी पुस्तक के पहले कुछ अध्यायों में निहित हैं।
| 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. | |||||
किसी भी मोनॉयड को एक विशेष प्रकार की श्रेणी के रूप में समझा जा सकता है (एक एकल वस्तु के साथ जिसका स्व-रूपवाद मोनॉयड के तत्वों द्वारा दर्शाया जाता है), और इसलिए कोई भी अग्रिम आदेश कर सकता है।
परिभाषा
श्रेणी की कई समान परिभाषाएँ हैं।[1] सामान्यतः प्रयोग की जाने वाली परिभाषा इस प्रकार है। श्रेणी 'C' के होते हैं
- गणितीय वस्तुओं का वर्ग (समुच्चय सिद्धांत) Ob(C),
- अकारिता(आकारिकी), या एरो, या वस्तुओं के बीच नक्शे का वर्ग hom(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 के उपवर्ग को दर्शाता है जैसे कि