सार्वभौमिक गुण और सीमाएँ
एक सार्वभौमिक गुण एक निर्माण को एक मैपिंग समस्या के सर्वोत्तम या सबसे कुशल समाधान के रूप में दर्शाता है, और सीमाएँ तथा सह-सीमाएँ ऐसे निर्माणों का व्यवस्थित श्रेणीबद्ध रूप हैं।
Definition
एक सार्वभौमिक गुण एक वस्तु का वर्णन करता है, जिसमें एक मॉर्फिज्म (morphism) भी शामिल होता है जिसके माध्यम से प्रत्येक तुलनीय मॉर्फिज्म विशिष्ट रूप से कारक होता है; एक आरेख की सीमा उस पर सार्वभौमिक शंकु होती है और एक सह-सीमा सार्वभौमिक सह-शंकु होती है, जो गणित में उत्पादों, प्रतिच्छेदन और भागफल को सामान्यीकृत करती है।
Scope
यह विषय सार्वभौमिक गुणों और प्रतिनिधित्व योग्य फ़ंक्शनर्स (representable functors), आरेखों पर सार्वभौमिक शंकु के रूप में सीमाओं और सह-सीमाओं की परिभाषा, उत्पादों, सह-उत्पादों, इक्वलाइज़र (equalizers), पुलबैक (pullbacks) और उनके द्वैत सहित मानक उदाहरणों, समरूपता तक सार्वभौमिक वस्तुओं की विशिष्टता, और सीमाओं के अस्तित्व के लिए शर्तों को शामिल करता है।
Core questions
- एक वस्तु को सार्वभौमिक गुण द्वारा चित्रित करने का क्या अर्थ है?
- सीमाएँ और सह-सीमाएँ उत्पादों, कर्नेल (kernels) और भागफल को कैसे एकीकृत करती हैं?
- सार्वभौमिक गुण वाली वस्तुएँ अद्वितीय समरूपता तक अद्वितीय क्यों होती हैं?
- एक श्रेणी में किसी दिए गए प्रकार की सभी सीमाएँ कब होती हैं?
Key theories
- सार्वभौमिक गुण और विशिष्टता
- एक सार्वभौमिक गुण को संतुष्ट करने वाली वस्तु एक अद्वितीय समरूपता तक अद्वितीय होती है, इसलिए सार्वभौमिक लक्षण वर्णन निर्माणों को इस बात का संदर्भ दिए बिना निर्धारित करते हैं कि वे कैसे निर्मित होते हैं।
- सीमाएँ और सह-सीमाएँ
- सीमाएँ एक आरेख पर सार्वभौमिक शंकु होती हैं और इसमें उत्पाद, इक्वलाइज़र और पुलबैक शामिल होते हैं; सह-सीमाएँ द्वैत सार्वभौमिक सह-शंकु होती हैं और इसमें सह-उत्पाद, सह-इक्वलाइज़र और पुशआउट (pushouts) शामिल होते हैं।
- सीमाओं का अस्तित्व
- एक श्रेणी में सभी छोटी सीमाएँ होती हैं जब इसमें उत्पाद और इक्वलाइज़र होते हैं, क्योंकि प्रत्येक सीमा को इनसे बनाया जा सकता है, जो पूर्णता के लिए एक व्यावहारिक मानदंड प्रदान करता है।
Clinical relevance
सार्वभौमिक गुण संरचनात्मक गणित का आयोजन सिद्धांत हैं: मुक्त समूह (free groups), टेंसर उत्पाद (tensor products), रिक्त स्थान के उत्पाद, भागफल वस्तुएं (quotient objects), और पूर्णता (completions) सभी सार्वभौमिक गुणों द्वारा परिभाषित होते हैं, इसलिए एक निर्माण को सीमा या सह-सीमा के रूप में पहचानने से सामान्य प्रमेय उस पर लागू होते हैं और यह स्पष्ट होता है कि यह ऐसा व्यवहार क्यों करता है।
History
1950 के दशक में श्रेणी सिद्धांत (category theory) के परिपक्व होने के साथ सार्वभौमिक गुणों को एक एकीकृत विषय के रूप में पहचाना गया, जिसमें सैमुअल ने सार्वभौमिक मैपिंग को स्पष्ट किया और कान ने सीमाओं और सह-सीमाओं को उनके सामान्य रूप में पेश किया, जिन्हें तब व्युत्क्रम और प्रत्यक्ष सीमाएँ कहा जाता था। ग्रोथेनडिक ने बीजगणितीय ज्यामिति (algebraic geometry) को नया आकार देने में सार्वभौमिक निर्माणों का व्यवस्थित उपयोग किया।
Key figures
- Saunders Mac Lane
- Pierre Samuel
- Daniel Kan
- Alexander Grothendieck
Related topics
Seminal works
- maclane1998
- riehl2016
- awodey2010
Frequently asked questions
- सार्वभौमिक गुण इतने उपयोगी क्यों हैं?
- वे एक वस्तु को इस बात से निर्दिष्ट करते हैं कि वह दूसरों से कैसे संबंधित है, न कि किसी स्पष्ट निर्माण से, इसलिए समान सार्वभौमिक गुण वाली कोई भी दो वस्तुएँ विहित रूप से समरूपी होती हैं, और गुण से सिद्ध किए गए सामान्य परिणाम एक साथ हर उदाहरण पर लागू होते हैं।
- सीमा और सह-सीमा में क्या अंतर है?
- एक सीमा एक आरेख में मैप करती है और उत्पादों और प्रतिच्छेदन जैसे निर्माणों को सामान्यीकृत करती है जो वस्तुओं को उनकी सामान्य संरचना द्वारा जोड़ते हैं; एक सह-सीमा एक आरेख से बाहर मैप करती है और असंयुक्त संघों (disjoint unions) और भागफल जैसे निर्माणों को सामान्यीकृत करती है जो वस्तुओं को एक साथ जोड़ते हैं। वे द्वैत धारणाएँ हैं।