कंकाल (श्रेणी सिद्धांत): Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Mathematical construction in category theory}} {{other uses|Skeleton (disambiguation)}} गणित में, एक श्रेणी (श्रे...")
 
(text)
Line 1: Line 1:
{{Short description|Mathematical construction in category theory}}
{{Short description|Mathematical construction in category theory}}
{{other uses|Skeleton (disambiguation)}}
{{other uses|न्यूनतम संख्या (विसंदिग्धीकरण)}}


गणित में, एक [[श्रेणी (श्रेणी सिद्धांत)]] का एक कंकाल एक [[उपश्रेणी]] है, जो मोटे तौर पर बोल रहा है, इसमें कोई बाहरी समरूपता नहीं है। एक निश्चित अर्थ में, एक श्रेणी का कंकाल श्रेणियों की श्रेणी का सबसे छोटा समतुल्य है, जो मूल के सभी श्रेणीगत गुणों को दर्शाता है। वास्तव में, दो श्रेणियां श्रेणियों की तुल्यता हैं यदि उनके पास श्रेणियों के कंकालों का समरूपता है। एक श्रेणी को कंकाल कहा जाता है यदि [[समाकृतिकता]] ऑब्जेक्ट अनिवार्य रूप से समान हैं।
गणित में, एक [[श्रेणी (श्रेणी सिद्धांत)]] की न्यूनतम संख्या एक [[उपश्रेणी]] है, जो स्थूलतः, इसमें कोई बाहरी समरूपता नहीं है। निश्चित अर्थ में, एक श्रेणी की न्यूनतम संख्या श्रेणियों की श्रेणी का सबसे छोटा समतुल्य है, जो मूल के सभी श्रेणीगत गुणों को दर्शाता है। वास्तव में, दो श्रेणियां श्रेणियों की तुल्यता हैं यदि उनके पास श्रेणियों के न्यूनतम संख्या का समरूपता है। एक श्रेणी को न्यूनतम संख्या कहा जाता है यदि [[समाकृतिकता]] वस्तु अनिवार्य रूप से समान हैं।


== परिभाषा ==
== परिभाषा ==


श्रेणी सी का एक कंकाल एक समतुल्यता (श्रेणी सिद्धांत) डी है जिसमें कोई भी दो अलग-अलग वस्तुएं आइसोमॉर्फिक नहीं हैं। इसे आमतौर पर एक उपश्रेणी माना जाता है। विस्तार से, सी का एक कंकाल एक श्रेणी डी है जैसे कि:
श्रेणी C की एक न्यूनतम संख्या समतुल्यता (श्रेणी सिद्धांत) D है जिसमें कोई भी दो अलग-अलग वस्तुएं समरूपी नहीं हैं। इसे सामान्यतः एक उपश्रेणी माना जाता है। विस्तार से, C का न्यूनतम संख्या एक श्रेणी D है जैसे कि:


* D, C की एक उपश्रेणी है: D की प्रत्येक वस्तु C की एक वस्तु है
* D, C की एक उपश्रेणी है: D की प्रत्येक वस्तु C की एक वस्तु है
:<math>\mathrm{Ob}(D)\subseteq \mathrm{Ob}(C)</math>
:<math>\mathrm{Ob}(D)\subseteq \mathrm{Ob}(C)</math>
वस्तुओं की प्रत्येक जोड़ी के लिए डी<sub>1</sub> और डी<sub>2</sub> D का, D में [[morphism]]s C में morphisms हैं, अर्थात
वस्तुओं की प्रत्येक जोड़ी के लिए D<sub>1</sub> और D<sub>2</sub> D का, D में [[morphism|आकारिता]] C में आकारिता हैं, अर्थात
:<math>\mathrm{Hom}_D(d_1, d_2) \subseteq \mathrm{Hom}_C(d_1, d_2)</math>
:<math>\mathrm{Hom}_D(d_1, d_2) \subseteq \mathrm{Hom}_C(d_1, d_2)</math>
और डी में पहचान और रचनाएं सी में उन लोगों के प्रतिबंध हैं।
और D में पहचान और रचनाएं C में उनका प्रतिबंध हैं।
* C में D का समावेश [[पूर्ण उपश्रेणी]] है, जिसका अर्थ है कि वस्तुओं की प्रत्येक जोड़ी के लिए d<sub>1</sub> और डी<sub>2</sub> डी के हम समानता के उपरोक्त उपसमुच्चय संबंध को मजबूत करते हैं:
* C में D का समावेश [[पूर्ण उपश्रेणी]] है, जिसका अर्थ है कि वस्तुओं की प्रत्येक जोड़ी के लिए d<sub>1</sub> और D<sub>2</sub> D के हम समानता के उपरोक्त उपसमुच्चय संबंध को शक्तिशाली करते हैं:
:<math>\mathrm{Hom}_D(d_1, d_2) =\mathrm{Hom}_C(d_1, d_2)</math>
:<math>\mathrm{Hom}_D(d_1, d_2) =\mathrm{Hom}_C(d_1, d_2)</math>
* सी में डी को शामिल करना अनिवार्य रूप से प्रक्षेपण कारक है: प्रत्येक सी-ऑब्जेक्ट कुछ डी-ऑब्जेक्ट के लिए आइसोमोर्फिक है।
* C में D को सम्मिलित करना अनिवार्य रूप से प्रक्षेपण कारक है: प्रत्येक C-वस्तु कुछ D-वस्तु के लिए समरूपी है।
* डी कंकाल है: कोई भी दो अलग-अलग डी-ऑब्जेक्ट आइसोमोर्फिक नहीं हैं।
* D न्यूनतम संख्या है: कोई भी दो अलग-अलग D-वस्तु समरूपी नहीं हैं।


== अस्तित्व और विशिष्टता ==
== अस्तित्व और विशिष्टता ==


यह एक बुनियादी तथ्य है कि हर छोटी श्रेणी में एक कंकाल होता है; अधिक आम तौर पर, प्रत्येक [[सुलभ श्रेणी]] में एक ढांचा होता है। (यह पसंद के स्वयंसिद्ध के बराबर है।) इसके अलावा, हालांकि एक श्रेणी में कई अलग-अलग कंकाल हो सकते हैं, कोई भी दो कंकाल श्रेणियों के समरूपतावाद हैं, इसलिए श्रेणियों के समरूपता [[तक]], एक श्रेणी का कंकाल [[अद्वितीय (गणित)]] है।
यह एक बुनियादी तथ्य है कि हर छोटी श्रेणी में एक न्यूनतम संख्या होती है; अधिक सामान्यतः, प्रत्येक [[सुलभ श्रेणी]] में एक ढांचा होता है। (यह पसंद के स्वयंसिद्ध के बराबर है।) इसके अतिरिक्त, हालांकि एक श्रेणी में कई अलग-अलग न्यूनतम संख्या हो सकती हैं, कोई भी दो न्यूनतम संख्या श्रेणियों के समरूपतावाद हैं, इसलिए श्रेणियों के समरूपता तक, श्रेणी की न्यूनतम संख्या [[अद्वितीय (गणित)]] है।


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


== उदाहरण ==
== उदाहरण ==


* सभी [[सेट (गणित)]] के [[सेट की श्रेणी]] श्रेणी में कंकाल के रूप में सभी [[ बुनियादी संख्या ]]ों की उपश्रेणी है।
* सभी [[सेट (गणित)|सम्मुच्चय (गणित)]] के [[सेट की श्रेणी|उपश्रेणी]] में न्यूनतम संख्या के रूप में सभी [[ बुनियादी संख्या |बुनियादी संख्या]] की उपश्रेणी है।
*[[ सदिश स्थल ]] की श्रेणी श्रेणी|''K''- निश्चित फ़ील्ड पर सभी वेक्टर स्पेस का वेक्टर (गणित) <math>K</math> सभी शक्तियों से युक्त उपश्रेणी है <math>K^{(\alpha)}</math>, जहां α कोई मुख्य संख्या है, एक कंकाल के रूप में; किसी भी परिमित एम और एन के लिए, नक्शे <math>K^m \to K^n</math> K में प्रविष्टियों के साथ ठीक n × m [[मैट्रिक्स (गणित)]] हैं।
*[[ सदिश स्थल ]] की श्रेणी ''K''- निश्चित क्षेत्र पर सभी सदिश समष्टि का सदिश (गणित) <math>K</math> सभी शक्तियों से युक्त उपश्रेणी <math>K^{(\alpha)}</math> है, जहां α कोई मुख्य संख्या है, एक न्यूनतम संख्या के रूप में; किसी भी परिमित m और n के लिए, मानचित्र <math>K^m \to K^n</math> K में प्रविष्टियों के साथ ठीक n × m [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] हैं।
*'[[FinSet]]', सभी [[परिमित सेट]]ों की श्रेणी में '[[FinOrd]]', सभी परिमित क्रमिक संख्याओं की श्रेणी, एक कंकाल के रूप में है।
*'[[FinSet|फिनसेट]]', सभी [[परिमित सेट|परिमित सम्मुच्चय]]ों की श्रेणी में '[[FinOrd|फिनऑर्ड]]', सभी परिमित क्रमिक संख्याओं की श्रेणी, एक न्यूनतम संख्या के रूप में है।
*सभी सुव्यवस्थित सेटों की श्रेणी|सुव्यवस्थित सेटों में कंकाल के रूप में सभी क्रमिक संख्याओं की उपश्रेणी होती है।
*सभी सुव्यवस्थित सम्मुच्चयों में न्यूनतम संख्या के रूप में सभी क्रमिक संख्याओं की उपश्रेणी होती है।
* एक [[पूर्व आदेश]], यानी एक छोटी श्रेणी जैसे कि वस्तुओं की प्रत्येक जोड़ी के लिए <math> A,B </math>, सेट <math> \mbox{Hom}(A,B)</math> या तो एक तत्व है या खाली है, कंकाल के रूप में [[आंशिक रूप से आदेशित सेट]] है।
* एक [[पूर्व आदेश]], यानी एक छोटी श्रेणी जैसे कि वस्तुओं की प्रत्येक जोड़ी के लिए <math> A,B </math>, सम्मुच्चय <math> \mbox{Hom}(A,B)</math> या तो एक तत्व है या खाली है, न्यूनतम संख्या के रूप में [[आंशिक रूप से आदेशित सेट|आंशिक रूप से आदेशित सम्मुच्चय]] है।


== यह भी देखें ==
== यह भी देखें ==
Line 38: Line 38:
==संदर्भ==
==संदर्भ==


* Adámek, Jiří, Herrlich, Horst, & Strecker, George E. (1990). [http://www.tac.mta.ca/tac/reprints/articles/17/tr17.pdf ''Abstract and Concrete Categories'']. Originally published by John Wiley & Sons. {{isbn|0-471-60922-6}}. (now free on-line edition)
* अदामेक, जिरी, हेरलिच, होर्स्ट, और स्ट्रेकर, जॉर्ज ई. (1990)[http://www.tac.mta.ca/tac/reprints/articles/17/tr17.pdf ''सार और ठोस श्रेणियाँ'']. मूल रूप से जॉन विली एंड संस द्वारा प्रकाशित. {{isbn|0-471-60922-6}}. (now free on-line edition)
* Robert Goldblatt (1984). ''Topoi, the Categorial Analysis of Logic'' (Studies in logic and the foundations of mathematics, 98). North-Holland. Reprinted 2006 by Dover Publications.
* रॉबर्ट गोल्डब्लाट (1984)। टोपोई, तर्क का श्रेणीबद्ध विश्लेषण (तर्कशास्त्र में अध्ययन और गणित की नींव, 98). उत्तर-हॉलैंड। डोवर प्रकाशन द्वारा 2006 में पुनर्मुद्रित है।
[[Category: श्रेणी सिद्धांत]]  
[[Category: श्रेणी सिद्धांत]]  



Revision as of 01:15, 27 May 2023

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

परिभाषा

श्रेणी C की एक न्यूनतम संख्या समतुल्यता (श्रेणी सिद्धांत) D है जिसमें कोई भी दो अलग-अलग वस्तुएं समरूपी नहीं हैं। इसे सामान्यतः एक उपश्रेणी माना जाता है। विस्तार से, C का न्यूनतम संख्या एक श्रेणी D है जैसे कि:

  • D, C की एक उपश्रेणी है: D की प्रत्येक वस्तु C की एक वस्तु है

वस्तुओं की प्रत्येक जोड़ी के लिए D1 और D2 D का, D में आकारिता C में आकारिता हैं, अर्थात

और D में पहचान और रचनाएं C में उनका प्रतिबंध हैं।

  • C में D का समावेश पूर्ण उपश्रेणी है, जिसका अर्थ है कि वस्तुओं की प्रत्येक जोड़ी के लिए d1 और D2 D के हम समानता के उपरोक्त उपसमुच्चय संबंध को शक्तिशाली करते हैं:
  • C में D को सम्मिलित करना अनिवार्य रूप से प्रक्षेपण कारक है: प्रत्येक C-वस्तु कुछ D-वस्तु के लिए समरूपी है।
  • D न्यूनतम संख्या है: कोई भी दो अलग-अलग D-वस्तु समरूपी नहीं हैं।

अस्तित्व और विशिष्टता

यह एक बुनियादी तथ्य है कि हर छोटी श्रेणी में एक न्यूनतम संख्या होती है; अधिक सामान्यतः, प्रत्येक सुलभ श्रेणी में एक ढांचा होता है। (यह पसंद के स्वयंसिद्ध के बराबर है।) इसके अतिरिक्त, हालांकि एक श्रेणी में कई अलग-अलग न्यूनतम संख्या हो सकती हैं, कोई भी दो न्यूनतम संख्या श्रेणियों के समरूपतावाद हैं, इसलिए श्रेणियों के समरूपता तक, श्रेणी की न्यूनतम संख्या अद्वितीय (गणित) है।

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

उदाहरण

  • सभी सम्मुच्चय (गणित) के उपश्रेणी में न्यूनतम संख्या के रूप में सभी बुनियादी संख्या की उपश्रेणी है।
  • सदिश स्थल की श्रेणी K- निश्चित क्षेत्र पर सभी सदिश समष्टि का सदिश (गणित) सभी शक्तियों से युक्त उपश्रेणी है, जहां α कोई मुख्य संख्या है, एक न्यूनतम संख्या के रूप में; किसी भी परिमित m और n के लिए, मानचित्र K में प्रविष्टियों के साथ ठीक n × m आव्यूह (गणित) हैं।
  • 'फिनसेट', सभी परिमित सम्मुच्चयों की श्रेणी में 'फिनऑर्ड', सभी परिमित क्रमिक संख्याओं की श्रेणी, एक न्यूनतम संख्या के रूप में है।
  • सभी सुव्यवस्थित सम्मुच्चयों में न्यूनतम संख्या के रूप में सभी क्रमिक संख्याओं की उपश्रेणी होती है।
  • एक पूर्व आदेश, यानी एक छोटी श्रेणी जैसे कि वस्तुओं की प्रत्येक जोड़ी के लिए , सम्मुच्चय या तो एक तत्व है या खाली है, न्यूनतम संख्या के रूप में आंशिक रूप से आदेशित सम्मुच्चय है।

यह भी देखें

संदर्भ

  • अदामेक, जिरी, हेरलिच, होर्स्ट, और स्ट्रेकर, जॉर्ज ई. (1990)। सार और ठोस श्रेणियाँ. मूल रूप से जॉन विली एंड संस द्वारा प्रकाशित. ISBN 0-471-60922-6. (now free on-line edition)
  • रॉबर्ट गोल्डब्लाट (1984)। टोपोई, तर्क का श्रेणीबद्ध विश्लेषण (तर्कशास्त्र में अध्ययन और गणित की नींव, 98). उत्तर-हॉलैंड। डोवर प्रकाशन द्वारा 2006 में पुनर्मुद्रित है।