उपविषय - Revision history

Manidh at 05:24, 13 July 2023

2023-07-13T05:24:40Z

← Older revision		Revision as of 10:54, 13 July 2023
Line 50:		Line 50:
	* {{citation \| last=Mac Lane \| first=Saunders \| authorlink=Saunders Mac Lane \| title=[[Categories for the Working Mathematician]] \| edition=2nd \| series=[[Graduate Texts in Mathematics]] \| volume=5 \| location=New York, NY \| publisher=[[Springer-Verlag]] \| year=1998 \| isbn=0-387-98403-8 \| zbl=0906.18001 }}		* {{citation \| last=Mac Lane \| first=Saunders \| authorlink=Saunders Mac Lane \| title=[[Categories for the Working Mathematician]] \| edition=2nd \| series=[[Graduate Texts in Mathematics]] \| volume=5 \| location=New York, NY \| publisher=[[Springer-Verlag]] \| year=1998 \| isbn=0-387-98403-8 \| zbl=0906.18001 }}
	* {{cite book \| editor1-last=Pedicchio \| editor1-first=Maria Cristina \| editor2-last=Tholen \| editor2-first=Walter \| title=Categorical foundations. Special topics in order, topology, algebra, and sheaf theory \| series=Encyclopedia of Mathematics and Its Applications \| volume=97 \| location=Cambridge \| publisher=[[Cambridge University Press]] \| year=2004 \| isbn=0-521-83414-7 \| zbl=1034.18001 }}		* {{cite book \| editor1-last=Pedicchio \| editor1-first=Maria Cristina \| editor2-last=Tholen \| editor2-first=Walter \| title=Categorical foundations. Special topics in order, topology, algebra, and sheaf theory \| series=Encyclopedia of Mathematics and Its Applications \| volume=97 \| location=Cambridge \| publisher=[[Cambridge University Press]] \| year=2004 \| isbn=0-521-83414-7 \| zbl=1034.18001 }}
	~~[[Category: वस्तुएँ (श्रेणी सिद्धांत)]]~~



	~~[[Category: Machine Translated Page]]~~
	[[Category:Created On 30/06/2023]]		[[Category:Created On 30/06/2023]]
	[[Category:Vigyan Ready]]		[[Category:Machine Translated Page]]
			[[Category:Pages with script errors]]
			[[Category:Templates Vigyan Ready]]
			[[Category:वस्तुएँ (श्रेणी सिद्धांत)]]

Indicwiki: 8 revisions imported from :alpha:उपविषय

2023-07-12T06:53:56Z

8 revisions imported from alpha:उपविषय

← Older revision	Revision as of 12:23, 12 July 2023
(No difference)

alpha>Neeraja: added Category:Vigyan Ready using HotCat

2023-07-11T10:01:35Z

added Category:Vigyan Ready using HotCat

← Older revision		Revision as of 15:31, 11 July 2023
Line 56:		Line 56:
	[[Category: Machine Translated Page]]		[[Category: Machine Translated Page]]
	[[Category:Created On 30/06/2023]]		[[Category:Created On 30/06/2023]]
			[[Category:Vigyan Ready]]

alpha>Shahnawaz Alam at 15:55, 7 July 2023

2023-07-07T15:55:46Z

← Older revision		Revision as of 21:25, 7 July 2023
Line 3:		Line 3:
	भागफल वस्तु. यह भागफल सेट, भागफल समूह, भागफल रिक्त स्थान, भागफल ग्राफ़ आदि जैसी अवधारणाओं का सामान्यीकरण करता है।		भागफल वस्तु. यह भागफल सेट, भागफल समूह, भागफल रिक्त स्थान, भागफल ग्राफ़ आदि जैसी अवधारणाओं का सामान्यीकरण करता है।

	==परिभाषाएँ==		==परिभाषाएँ ==
	लक्ष्य के आधार पर उप-वस्तु की एक उपयुक्त श्रेणीबद्ध परिभाषा संदर्भ के साथ भिन्न हो सकती है। एक सामान्य परिभाषा इस प्रकार है.		लक्ष्य के आधार पर उप-वस्तु की एक उपयुक्त श्रेणीबद्ध परिभाषा संदर्भ के साथ भिन्न हो सकती है। एक सामान्य परिभाषा इस प्रकार है.

alpha>Shahnawaz Alam at 15:55, 7 July 2023

2023-07-07T15:55:21Z

← Older revision		Revision as of 21:25, 7 July 2023
Line 26:		Line 26:
	==व्याख्या==		==व्याख्या==
	यह परिभाषा श्रेणी सिद्धांत के बाहर एक उप-वस्तु की सामान्य समझ से मेल खाती है। जब श्रेणी की वस्तुएं समुच्चय होती हैं (संभवतः समूह संरचना जैसी अतिरिक्त संरचना के साथ) और रूपवाद समुच्चय फ़ंक्शन होते हैं (अतिरिक्त संरचना को संरक्षित करते हुए), तो कोई अपनी छवि के संदर्भ में एक मोनोमोर्फिज्म के बारे में सोचता है। मोनोमोर्फिज्म का एक तुल्यता वर्ग वर्ग में प्रत्येक मोनोमोर्फिज्म की छवि से निर्धारित होता है; अर्थात्, किसी वस्तु T में दो मोनोमोर्फिज्म f और g समतुल्य हैं यदि और केवल यदि उनकी छवियां T के समान उपसमुच्चय (इस प्रकार, उप-वस्तु) हैं। उस स्थिति में समरूपता <math>g^{-1} \circ f</math> है उनके डोमेन के अंतर्गत डोमेन के संबंधित तत्व क्रमशः ''f'' और ''g'', द्वारा T के समान तत्व पर मैप होते हैं; यह समतुल्यता की परिभाषा को स्पष्ट करता है।		यह परिभाषा श्रेणी सिद्धांत के बाहर एक उप-वस्तु की सामान्य समझ से मेल खाती है। जब श्रेणी की वस्तुएं समुच्चय होती हैं (संभवतः समूह संरचना जैसी अतिरिक्त संरचना के साथ) और रूपवाद समुच्चय फ़ंक्शन होते हैं (अतिरिक्त संरचना को संरक्षित करते हुए), तो कोई अपनी छवि के संदर्भ में एक मोनोमोर्फिज्म के बारे में सोचता है। मोनोमोर्फिज्म का एक तुल्यता वर्ग वर्ग में प्रत्येक मोनोमोर्फिज्म की छवि से निर्धारित होता है; अर्थात्, किसी वस्तु T में दो मोनोमोर्फिज्म f और g समतुल्य हैं यदि और केवल यदि उनकी छवियां T के समान उपसमुच्चय (इस प्रकार, उप-वस्तु) हैं। उस स्थिति में समरूपता <math>g^{-1} \circ f</math> है उनके डोमेन के अंतर्गत डोमेन के संबंधित तत्व क्रमशः ''f'' और ''g'', द्वारा T के समान तत्व पर मैप होते हैं; यह समतुल्यता की परिभाषा को स्पष्ट करता है।

	'''र्ग वर्ग में प्रत्येक मोनोमोर्फिज्म की छवि से निर्धारित होता है; अर्थात्, किसी वस्तु T में दो मोनोमोर्फिज्म'''

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

alpha>Shahnawaz Alam at 15:55, 7 July 2023

2023-07-07T15:55:03Z

← Older revision		Revision as of 21:25, 7 July 2023
Line 1:		Line 1:
	[[श्रेणी सिद्धांत]] में, गणित की एक शाखा, एक '''उप-वस्तु''', समान्य रूप से बोलना, एक [[वस्तु (श्रेणी सिद्धांत)]] है जो उसी [[श्रेणी (गणित)]] में किसी अन्य वस्तु के अंदर स्थित होती है। यह धारणा अवधारणाओं का सामान्यीकरण है जैसे [[सबसेट\|उपसमुच्चय]] सिद्धांत से उपसमुच्चय, [[समूह सिद्धांत]] से [[उपसमूह]],<ref name="Mac Lane">Mac Lane, p. 126</ref> और [[टोपोलॉजी]] से [[ उपस्थान (टोपोलॉजी) ]] चूँकि वस्तुओं की विस्तृत संरचना श्रेणी सिद्धांत में सारहीन है, उप-वस्तु की परिभाषा एक रूपवाद पर निर्भर करती है जो बताती है कि तत्वों के उपयोग पर निर्भर होने के अतिरिक्त एक वस्तु दूसरे के अंदर कैसे स्थित होती है		[[श्रेणी सिद्धांत]] में, गणित की एक शाखा, एक '''उप-वस्तु''', समान्य रूप से बोलना, एक [[वस्तु (श्रेणी सिद्धांत)]] है जो उसी [[श्रेणी (गणित)]] में किसी अन्य वस्तु के अंदर स्थित होती है। यह धारणा अवधारणाओं का सामान्यीकरण है जैसे [[सबसेट\|उपसमुच्चय]] सिद्धांत से उपसमुच्चय, [[समूह सिद्धांत]] से [[उपसमूह]],<ref name="Mac Lane">Mac Lane, p. 126</ref> और [[टोपोलॉजी]] से [[ उपस्थान (टोपोलॉजी) \|उपस्थान (टोपोलॉजी)]] चूँकि वस्तुओं की विस्तृत संरचना श्रेणी सिद्धांत में सारहीन है, उप-वस्तु की परिभाषा एक रूपवाद पर निर्भर करती है जो बताती है कि तत्वों के उपयोग पर निर्भर होने के अतिरिक्त एक वस्तु दूसरे के अंदर कैसे स्थित होती है

	भागफल वस्तु. यह भागफल सेट, भागफल समूह, भागफल रिक्त स्थान, भागफल ग्राफ़ आदि जैसी अवधारणाओं का सामान्यीकरण करता है।		भागफल वस्तु. यह भागफल सेट, भागफल समूह, भागफल रिक्त स्थान, भागफल ग्राफ़ आदि जैसी अवधारणाओं का सामान्यीकरण करता है।
Line 25:		Line 25:

	==व्याख्या==		==व्याख्या==
	यह परिभाषा श्रेणी सिद्धांत के बाहर एक उप-वस्तु की सामान्य समझ से मेल खाती है। जब श्रेणी की वस्तुएं समुच्चय होती हैं (संभवतः समूह संरचना जैसी अतिरिक्त संरचना के साथ) और रूपवाद समुच्चय फ़ंक्शन होते हैं (अतिरिक्त संरचना को संरक्षित करते हुए), तो कोई अपनी छवि के संदर्भ में एक मोनोमोर्फिज्म के बारे में सोचता है। मोनोमोर्फिज्म का एक तुल्यता वर्ग वर्ग में प्रत्येक मोनोमोर्फिज्म की छवि से निर्धारित होता है; अर्थात्, किसी वस्तु T में दो मोनोमोर्फिज्म f और g समतुल्य हैं यदि और केवल यदि उनकी छवियां T के समान उपसमुच्चय (इस प्रकार, उप-वस्तु) हैं। उस स्थिति में समरूपता <math>g^{-1} \circ f</math> है उनके डोमेन के अंतर्गत डोमेन के संबंधित तत्व क्रमशः ''f'' और ''g'', द्वारा T के समान तत्व पर मैप होते हैं; यह समतुल्यता की परिभाषा को स्पष्ट करता है।		यह परिभाषा श्रेणी सिद्धांत के बाहर एक उप-वस्तु की सामान्य समझ से मेल खाती है। जब श्रेणी की वस्तुएं समुच्चय होती हैं (संभवतः समूह संरचना जैसी अतिरिक्त संरचना के साथ) और रूपवाद समुच्चय फ़ंक्शन होते हैं (अतिरिक्त संरचना को संरक्षित करते हुए), तो कोई अपनी छवि के संदर्भ में एक मोनोमोर्फिज्म के बारे में सोचता है। मोनोमोर्फिज्म का एक तुल्यता वर्ग वर्ग में प्रत्येक मोनोमोर्फिज्म की छवि से निर्धारित होता है; अर्थात्, किसी वस्तु T में दो मोनोमोर्फिज्म f और g समतुल्य हैं यदि और केवल यदि उनकी छवियां T के समान उपसमुच्चय (इस प्रकार, उप-वस्तु) हैं। उस स्थिति में समरूपता <math>g^{-1} \circ f</math> है उनके डोमेन के अंतर्गत डोमेन के संबंधित तत्व क्रमशः ''f'' और ''g'', द्वारा T के समान तत्व पर मैप होते हैं; यह समतुल्यता की परिभाषा को स्पष्ट करता है।

	'''र्ग वर्ग में प्रत्येक मोनोमोर्फिज्म की छवि से निर्धारित होता है; अर्थात्, किसी वस्तु T में दो मोनोमोर्फिज्म f और g समतुल्य हैं यदि और केवल यदि उनकी छवियां T के समान उपसमुच्चय (इस प्रकार, उप-वस्तु) हैं। उस स्थिति में समरूपता'''		'''र्ग वर्ग में प्रत्येक मोनोमोर्फिज्म की छवि से निर्धारित होता है; अर्थात्, किसी वस्तु T में दो मोनोमोर्फिज्म'''

	==उदाहरण ==		==उदाहरण ==
	{{Cat see also\|भागफल वस्तुएँ}}		{{Cat see also\|भागफल वस्तुएँ}}

	समुच्चय में, [[सेट की श्रेणी\|समुच्चय की श्रेणी]], A का एक उप-वस्तु A के उपसमुच्चय ''B'' से मेल खाता है, या छवि के साथ ''B'' से [[सुसज्जित]] समुच्चय से सभी मानचित्रों का संग्रह (गणित) बिल्कुल ''B'' समुच्चय में किसी समुच्चय का '''उपविषय''' आंशिक क्रम केवल उसका उपसमुच्चय [[ जाली (आदेश) ]] है।		समुच्चय में, [[सेट की श्रेणी\|समुच्चय की श्रेणी]], A का एक उप-वस्तु A के उपसमुच्चय ''B'' से मेल खाता है, या छवि के साथ ''B'' से [[सुसज्जित]] समुच्चय से सभी मानचित्रों का संग्रह (गणित) बिल्कुल ''B'' समुच्चय में किसी समुच्चय का '''उपविषय''' आंशिक क्रम केवल उसका उपसमुच्चय [[ जाली (आदेश) \|जाली (आदेश)]] है।

	समूह में, [[समूहों की श्रेणी]], A के उप-वस्तु A के उपसमूह के अनुरूप हैं।		समूह में, [[समूहों की श्रेणी]], A के उप-वस्तु A के उपसमूह के अनुरूप हैं।
Line 38:		Line 38:
	आंशिक रूप से क्रमित वर्ग P = (''P'', ≤) को देखते हुए, हम वस्तुओं के रूप में ''P'' के तत्वों और ''p'' से ''q'' तक एक एकल तीर के साथ एक श्रेणी बना सकते हैं। iff ''p'' ≤ ''q''. यदि P में सबसे बड़ा तत्व है, तो इस सबसे बड़े तत्व का उप-विषय आंशिक क्रम P ही होगा। ऐसा आंशिक रूप से इसलिए है क्योंकि ऐसी श्रेणी के सभी तीर मोनोमोर्फिज्म होते होंगे।		आंशिक रूप से क्रमित वर्ग P = (''P'', ≤) को देखते हुए, हम वस्तुओं के रूप में ''P'' के तत्वों और ''p'' से ''q'' तक एक एकल तीर के साथ एक श्रेणी बना सकते हैं। iff ''p'' ≤ ''q''. यदि P में सबसे बड़ा तत्व है, तो इस सबसे बड़े तत्व का उप-विषय आंशिक क्रम P ही होगा। ऐसा आंशिक रूप से इसलिए है क्योंकि ऐसी श्रेणी के सभी तीर मोनोमोर्फिज्म होते होंगे।

	किसी [[ टर्मिनल वस्तु ]] के उपविषय को [[ सबटर्मिनल वस्तु \| उपटर्मिनल वस्तु]] कहा जाता है।		किसी [[ टर्मिनल वस्तु \|टर्मिनल वस्तु]] के उपविषय को [[ सबटर्मिनल वस्तु \|उपटर्मिनल वस्तु]] कहा जाता है।

	==यह भी देखें==		==यह भी देखें==

alpha>Shahnawaz Alam at 15:54, 7 July 2023

2023-07-07T15:54:33Z

← Older revision		Revision as of 21:24, 7 July 2023
Line 27:		Line 27:
	यह परिभाषा श्रेणी सिद्धांत के बाहर एक उप-वस्तु की सामान्य समझ से मेल खाती है। जब श्रेणी की वस्तुएं समुच्चय होती हैं (संभवतः समूह संरचना जैसी अतिरिक्त संरचना के साथ) और रूपवाद समुच्चय फ़ंक्शन होते हैं (अतिरिक्त संरचना को संरक्षित करते हुए), तो कोई अपनी छवि के संदर्भ में एक मोनोमोर्फिज्म के बारे में सोचता है। मोनोमोर्फिज्म का एक तुल्यता वर्ग वर्ग में प्रत्येक मोनोमोर्फिज्म की छवि से निर्धारित होता है; अर्थात्, किसी वस्तु T में दो मोनोमोर्फिज्म f और g समतुल्य हैं यदि और केवल यदि उनकी छवियां T के समान उपसमुच्चय (इस प्रकार, उप-वस्तु) हैं। उस स्थिति में समरूपता <math>g^{-1} \circ f</math> है उनके डोमेन के अंतर्गत डोमेन के संबंधित तत्व क्रमशः ''f'' और ''g'', द्वारा T के समान तत्व पर मैप होते हैं; यह समतुल्यता की परिभाषा को स्पष्ट करता है।		यह परिभाषा श्रेणी सिद्धांत के बाहर एक उप-वस्तु की सामान्य समझ से मेल खाती है। जब श्रेणी की वस्तुएं समुच्चय होती हैं (संभवतः समूह संरचना जैसी अतिरिक्त संरचना के साथ) और रूपवाद समुच्चय फ़ंक्शन होते हैं (अतिरिक्त संरचना को संरक्षित करते हुए), तो कोई अपनी छवि के संदर्भ में एक मोनोमोर्फिज्म के बारे में सोचता है। मोनोमोर्फिज्म का एक तुल्यता वर्ग वर्ग में प्रत्येक मोनोमोर्फिज्म की छवि से निर्धारित होता है; अर्थात्, किसी वस्तु T में दो मोनोमोर्फिज्म f और g समतुल्य हैं यदि और केवल यदि उनकी छवियां T के समान उपसमुच्चय (इस प्रकार, उप-वस्तु) हैं। उस स्थिति में समरूपता <math>g^{-1} \circ f</math> है उनके डोमेन के अंतर्गत डोमेन के संबंधित तत्व क्रमशः ''f'' और ''g'', द्वारा T के समान तत्व पर मैप होते हैं; यह समतुल्यता की परिभाषा को स्पष्ट करता है।

	==उदाहरण==		'''र्ग वर्ग में प्रत्येक मोनोमोर्फिज्म की छवि से निर्धारित होता है; अर्थात्, किसी वस्तु T में दो मोनोमोर्फिज्म f और g समतुल्य हैं यदि और केवल यदि उनकी छवियां T के समान उपसमुच्चय (इस प्रकार, उप-वस्तु) हैं। उस स्थिति में समरूपता'''

			==उदाहरण ==
	{{Cat see also\|भागफल वस्तुएँ}}		{{Cat see also\|भागफल वस्तुएँ}}

alpha>Shahnawaz Alam at 15:53, 7 July 2023

2023-07-07T15:53:15Z

Show changes

alpha>Shahnawaz Alam at 15:32, 7 July 2023

2023-07-07T15:32:21Z

← Older revision		Revision as of 21:02, 7 July 2023
Line 1:		Line 1:
	[[श्रेणी सिद्धांत]] में, गणित की एक शाखा, एक उप-वस्तु, ~~मोटे तौर पर~~ बोलना, एक [[वस्तु (श्रेणी सिद्धांत)]] है जो उसी [[श्रेणी (गणित)]] में किसी अन्य वस्तु के अंदर ~~बैठती~~ है। यह धारणा अवधारणाओं का सामान्यीकरण है जैसे [[सबसेट]] सिद्धांत से उपसमुच्चय, [[समूह सिद्धांत]] से [[उपसमूह]],<ref name="Mac Lane">Mac Lane, p. 126</ref> और [[टोपोलॉजी]] से [[ उपस्थान (टोपोलॉजी) ]]। चूँकि वस्तुओं की विस्तृत संरचना श्रेणी सिद्धांत में सारहीन है, उप-वस्तु की परिभाषा एक रूपवाद पर निर्भर करती है जो बताती है कि तत्वों के उपयोग पर निर्भर होने के ~~बजाय~~ एक वस्तु दूसरे के अंदर कैसे ~~बैठती है।~~		[[श्रेणी सिद्धांत]] में, गणित की एक शाखा, एक उप-वस्तु, समान्य रूप से बोलना, एक [[वस्तु (श्रेणी सिद्धांत)]] है जो उसी [[श्रेणी (गणित)]] में किसी अन्य वस्तु के अंदर स्थित होती है। यह धारणा अवधारणाओं का सामान्यीकरण है जैसे [[सबसेट\|उपसमुच्चय]] सिद्धांत से उपसमुच्चय, [[समूह सिद्धांत]] से [[उपसमूह]],<ref name="Mac Lane">Mac Lane, p. 126</ref> और [[टोपोलॉजी]] से [[ उपस्थान (टोपोलॉजी) ]] चूँकि वस्तुओं की विस्तृत संरचना श्रेणी सिद्धांत में सारहीन है, उप-वस्तु की परिभाषा एक रूपवाद पर निर्भर करती है जो बताती है कि तत्वों के उपयोग पर निर्भर होने के अतिरिक्त एक वस्तु दूसरे के अंदर कैसे स्थित होती है

	~~एक उपवस्तु के लिए [[दोहरी (श्रेणी सिद्धांत)]] अवधारणा है{{visible anchor\|quotient object}}~~. यह भागफल सेट, [[भागफल समूह]], [[भागफल स्थान ~~(टोपोलॉजी)]]~~, [[भागफल ~~ग्राफ]]़~~ आदि जैसी अवधारणाओं ~~को सामान्यीकृत~~ करता है।		भागफल वस्तु. यह भागफल सेट, भागफल समूह, भागफल रिक्त स्थान, भागफल ग्राफ़ आदि जैसी अवधारणाओं का सामान्यीकरण करता है।

	==परिभाषाएँ==		==परिभाषाएँ==
Line 30:		Line 30:
	{{Cat see also\|Quotient objects}}		{{Cat see also\|Quotient objects}}

	सेट में, [[सेट की श्रेणी]], ''ए'' का एक उप-वस्तु ''ए'' के उपसमुच्चय ''बी'' से मेल खाता है, या छवि के साथ ''बी'' से [[सुसज्जित]] सेट से सभी मानचित्रों का संग्रह (गणित) बिल्कुल ''बी''। सेट में किसी सेट का सबऑब्जेक्ट आंशिक क्रम केवल उसका ~~सबसेट~~ [[ जाली (आदेश) ]] है।		सेट में, [[सेट की श्रेणी]], ''ए'' का एक उप-वस्तु ''ए'' के उपसमुच्चय ''बी'' से मेल खाता है, या छवि के साथ ''बी'' से [[सुसज्जित]] सेट से सभी मानचित्रों का संग्रह (गणित) बिल्कुल ''बी''। सेट में किसी सेट का सबऑब्जेक्ट आंशिक क्रम केवल उसका उपसमुच्चय [[ जाली (आदेश) ]] है।

	ग्रुप में, [[समूहों की श्रेणी]], ''ए'' के उप-वस्तु ''ए'' के उपसमूह के अनुरूप हैं।		ग्रुप में, [[समूहों की श्रेणी]], ''ए'' के उप-वस्तु ''ए'' के उपसमूह के अनुरूप हैं।

alpha>Indicwiki: Created page with "श्रेणी सिद्धांत में, गणित की एक शाखा, एक उप-वस्तु, मोटे तौर पर बोलन..."

2023-06-30T13:51:04Z

Created page with "श्रेणी सिद्धांत में, गणित की एक शाखा, एक उप-वस्तु, मोटे तौर पर बोलन..."

New page

[[श्रेणी सिद्धांत]] में, गणित की एक शाखा, एक उप-वस्तु, मोटे तौर पर बोलना, एक [[वस्तु (श्रेणी सिद्धांत)]] है जो उसी [[श्रेणी (गणित)]] में किसी अन्य वस्तु के अंदर बैठती है। यह धारणा अवधारणाओं का सामान्यीकरण है जैसे [[सबसेट]] सिद्धांत से उपसमुच्चय, [[समूह सिद्धांत]] से [[उपसमूह]],<ref name="Mac Lane">Mac Lane, p. 126</ref> और [[टोपोलॉजी]] से [[ उपस्थान (टोपोलॉजी) ]]। चूँकि वस्तुओं की विस्तृत संरचना श्रेणी सिद्धांत में सारहीन है, उप-वस्तु की परिभाषा एक रूपवाद पर निर्भर करती है जो बताती है कि तत्वों के उपयोग पर निर्भर होने के बजाय एक वस्तु दूसरे के अंदर कैसे बैठती है।

एक उपवस्तु के लिए [[दोहरी (श्रेणी सिद्धांत)]] अवधारणा है{{visible anchor|quotient object}}. यह भागफल सेट, [[भागफल समूह]], [[भागफल स्थान (टोपोलॉजी)]], [[भागफल ग्राफ]]़ आदि जैसी अवधारणाओं को सामान्यीकृत करता है।

==परिभाषाएँ==
लक्ष्य के आधार पर, उप-वस्तु की एक उपयुक्त श्रेणीबद्ध परिभाषा संदर्भ के साथ भिन्न हो सकती है। एक सामान्य परिभाषा इस प्रकार है.

आइए विस्तार से जानते हैं<math>A</math>किसी श्रेणी की वस्तु होना। दो [[एकरूपता]]एँ दी गईं

:<math>u: S \to A \ \text{and} \ v: T\to A</math>
[[कोडोमेन]] के साथ<math>A</math>, हम एक तुल्यता संबंध को परिभाषित करते हैं <math>u \equiv v</math> यदि कोई समरूपता मौजूद है <math>\phi: S \to T</math> साथ <math>u = v \circ \phi</math>.

समान रूप से, हम लिखते हैं <math>u \leq v</math> अगर <math>u</math> गणितीय शब्दजाल#कारक के माध्यम से<math>v</math>-अर्थात्, यदि अस्तित्व है <math>\phi: S \to T</math> ऐसा है कि <math>u = v \circ \phi</math>. द्विआधारी संबंध <math>\equiv</math> द्वारा परिभाषित

:<math>u \equiv v \iff u \leq v \ \text{and} \ v\leq u </math>
कोडोमेन के साथ मोनोमोर्फिज्म पर एक तुल्यता संबंध है<math>A</math>, और इन मोनोमोर्फिज्म के संबंधित [[तुल्यता वर्ग]] के 'उपविषय' हैं<math>A</math>.

संबंध ≤ उप-वस्तुओं के संग्रह पर आंशिक क्रम उत्पन्न करता है <math>A</math>.

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

'भागफल वस्तु' की दोहरी अवधारणा प्राप्त करने के लिए, मोनोमोर्फिज्म को ऊपर [[एपिमोर्फिज्म]] से बदलें और तीरों को उल्टा करें। ए की एक भागफल वस्तु तब डोमेन ए के साथ एपिमोर्फिज्म का एक समतुल्य वर्ग है।

हालाँकि, कुछ संदर्भों में ये परिभाषाएँ अपर्याप्त हैं क्योंकि वे उप-वस्तु या भागफल वस्तु की अच्छी तरह से स्थापित धारणाओं से मेल नहीं खाती हैं। टोपोलॉजिकल स्पेस की श्रेणी में, मोनोमोर्फिज्म सटीक रूप से इंजेक्टिव निरंतर कार्य हैं; लेकिन सभी इंजेक्टिव निरंतर कार्य उप-स्थान एम्बेडिंग नहीं हैं। अंगूठियों की श्रेणी में, समावेशन <math>\mathbb{Z} \hookrightarrow \mathbb{Q}</math> एक प्रतीकवाद है लेकिन इसका भागफल नहीं है <math>\mathbb{Z}</math> दोतरफा आदर्श से. ऐसे मानचित्र प्राप्त करने के लिए जो वास्तव में उप-वस्तु एम्बेडिंग या भागफल की तरह व्यवहार करते हैं, न कि मनमाने इंजेक्शन फ़ंक्शन या सघन छवि वाले मानचित्रों के बजाय, किसी को अतिरिक्त परिकल्पनाओं को संतुष्ट करने वाले मोनोमोर्फिज्म और एपिमोर्फिज्म तक ही सीमित रहना चाहिए। इसलिए कोई एक उप-वस्तु को तथाकथित नियमित मोनोमोर्फिज्म (मोनोमोर्फिज्म जिसे दो रूपवादों के तुल्यकारक के रूप में व्यक्त किया जा सकता है) के समतुल्य वर्ग के रूप में परिभाषित कर सकता है और एक भागफल वस्तु को नियमित एपिमोर्फिज्म (रूपवाद जिसे एक के रूप में व्यक्त किया जा सकता है) के किसी भी समतुल्य वर्ग के रूप में परिभाषित किया जा सकता है। दो आकारिकी का सहतुल्यकारक)

==व्याख्या==
यह परिभाषा श्रेणी सिद्धांत के बाहर एक उप-वस्तु की सामान्य समझ से मेल खाती है। जब श्रेणी की वस्तुएं सेट होती हैं (संभवतः अतिरिक्त संरचना के साथ, जैसे कि समूह संरचना) और रूपवाद सेट फ़ंक्शन होते हैं (अतिरिक्त संरचना को संरक्षित करते हुए), तो कोई अपनी छवि के संदर्भ में एक मोनोमोर्फिज्म के बारे में सोचता है। मोनोमोर्फिज्म का एक तुल्यता वर्ग वर्ग में प्रत्येक मोनोमोर्फिज्म की छवि से निर्धारित होता है; अर्थात्, किसी वस्तु T में दो मोनोमोर्फिज्म f और g समतुल्य हैं यदि और केवल यदि उनकी छवियां T के समान उपसमुच्चय (इस प्रकार, उप-वस्तु) हैं। उस स्थिति में समरूपता है <math>g^{-1} \circ f</math> उनके डोमेन के अंतर्गत डोमेन के संबंधित तत्व क्रमशः एफ और जी द्वारा टी के समान तत्व पर मैप होते हैं; यह समतुल्यता की परिभाषा को स्पष्ट करता है।

==उदाहरण==
{{Cat see also|Quotient objects}}

सेट में, [[सेट की श्रेणी]], ''ए'' का एक उप-वस्तु ''ए'' के उपसमुच्चय ''बी'' से मेल खाता है, या छवि के साथ ''बी'' से [[सुसज्जित]] सेट से सभी मानचित्रों का संग्रह (गणित) बिल्कुल ''बी''। सेट में किसी सेट का सबऑब्जेक्ट आंशिक क्रम केवल उसका सबसेट [[ जाली (आदेश) ]] है।

ग्रुप में, [[समूहों की श्रेणी]], ''ए'' के उप-वस्तु ''ए'' के उपसमूह के अनुरूप हैं।

आंशिक रूप से क्रमित वर्ग P = (''P'', ≤) को देखते हुए, हम वस्तुओं के रूप में ''P'' के तत्वों और ''p'' से ''q'' तक एक एकल तीर के साथ एक श्रेणी बना सकते हैं। iff ''p'' ≤ ''q''. यदि P में सबसे बड़ा तत्व है, तो इस सबसे बड़े तत्व का उप-विषय आंशिक क्रम P ही होगा। ऐसा आंशिक रूप से इसलिए है क्योंकि ऐसी श्रेणी के सभी तीर मोनोमोर्फिज्म होंगे।

किसी [[ टर्मिनल वस्तु ]] के सबऑब्जेक्ट को [[ सबटर्मिनल वस्तु ]] कहा जाता है।

==यह भी देखें==

*विषयवस्तु वर्गीकारक
*[[उपभागी]]

==टिप्पणियाँ==
{{reflist}}

==संदर्भ==
* {{citation | last=Mac Lane | first=Saunders | authorlink=Saunders Mac Lane | title=[[Categories for the Working Mathematician]] | edition=2nd | series=[[Graduate Texts in Mathematics]] | volume=5 | location=New York, NY | publisher=[[Springer-Verlag]] | year=1998 | isbn=0-387-98403-8 | zbl=0906.18001 }}
* {{cite book | editor1-last=Pedicchio | editor1-first=Maria Cristina | editor2-last=Tholen | editor2-first=Walter | title=Categorical foundations. Special topics in order, topology, algebra, and sheaf theory | series=Encyclopedia of Mathematics and Its Applications | volume=97 | location=Cambridge | publisher=[[Cambridge University Press]] | year=2004 | isbn=0-521-83414-7 | zbl=1034.18001 }}
[[Category: वस्तुएँ (श्रेणी सिद्धांत)]]

[[Category: Machine Translated Page]]
[[Category:Created On 30/06/2023]]