सार सरल जटिल: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Mathematical object}}
{{Short description|Mathematical object}}
[[Image:Simplicial complex example.svg|thumb|200px|एक 3-आयामी सार सरल परिसर का ज्यामितीय अहसास]][[साहचर्य]] में, सार [[सरल जटिल]] (एएससी), जिसे अक्सर सार कॉम्प्लेक्स या सिर्फ कॉम्प्लेक्स कहा जाता है, समुच्चय का परिवार है जो [[सबसेट|सबसमुच्चय]] लेने के तहत बंद होता है, यानी परिवार में समुच्चय का हर सबसमुच्चय भी परिवार में होता है। यह साधारण जटिल की ज्यामितीय धारणा का विशुद्ध रूप से मिश्रित विवरण है।<ref name=Lee>[[John M. Lee|Lee, John M.]], Introduction to Topological Manifolds, Springer 2011, {{ISBN|1-4419-7939-5}}, p153</ref> उदाहरण के लिए, 2-आयामी साधारण परिसर में, परिवार में समुच्चय त्रिकोण (आकार 3 के समुच्चय), उनके किनारे (आकार 2 के समुच्चय), और उनके शिखर (आकार 1 के समुच्चय) हैं।
[[Image:Simplicial complex example.svg|thumb|200px|एक 3-आयामी सार सरल परिसर का ज्यामितीय अहसास]][[साहचर्य]] में, सार [[सरल जटिल|सरल सम्मिश्र]] (एएससी), जिसे अधिकांशतः सार सम्मिश्र या सिर्फ सम्मिश्र कहा जाता है, समुच्चय का परिवार है जो [[सबसेट|उपसमुच्चय]] लेने के अनुसार बंद होता है, अर्थात परिवार में समुच्चय का हर उपसमुच्चय भी परिवार में होता है। यह साधारण सम्मिश्र की ज्यामितीय धारणा का विशुद्ध रूप से मिश्रित विवरण है।<ref name=Lee>[[John M. Lee|Lee, John M.]], Introduction to Topological Manifolds, Springer 2011, {{ISBN|1-4419-7939-5}}, p153</ref> उदाहरण के लिए, 2-आयामी साधारण परिसर में, परिवार में समुच्चय त्रिकोण (आकार 3 के समुच्चय), उनके किनारे (आकार 2 के समुच्चय), और उनके शिखर (आकार 1 के समुच्चय) हैं।


[[matroid|मेट्रोइड]] और लालचोइड्स के संदर्भ में, अमूर्त साधारण परिसरों को [[स्वतंत्रता प्रणाली]] भी कहा जाता है।<ref>{{cite book|author = Korte, Bernhard|author-link = Bernhard Korte|author2=Lovász, László|author2-link=László Lovász|author3=Schrader, Rainer| year = 1991| title = लालची| publisher = Springer-Verlag | isbn = 3-540-18190-3 |page = 9}}</ref>
[[matroid|मेट्रोइड]] और लालचोइड्स के संदर्भ में, अमूर्त साधारण परिसरों को [[स्वतंत्रता प्रणाली]] भी कहा जाता है।<ref>{{cite book|author = Korte, Bernhard|author-link = Bernhard Korte|author2=Lovász, László|author2-link=László Lovász|author3=Schrader, Rainer| year = 1991| title = लालची| publisher = Springer-Verlag | isbn = 3-540-18190-3 |page = 9}}</ref>


स्टैनली-रीस्नर रिंग बनाकर अमूर्त सिम्प्लेक्स का बीजगणितीय रूप से अध्ययन किया जा सकता है; यह कॉम्बिनेटरिक्स और कम्यूटेटिव बीजगणित के बीच शक्तिशाली संबंध स्थापित करता है।
स्टैनली-रीस्नर रिंग बनाकर अमूर्त एकधा का बीजगणितीय रूप से अध्ययन किया जा सकता है; यह कॉम्बिनेटरिक्स और क्रम विनिमय बीजगणित के बीच शक्तिशाली संबंध स्थापित करता है।


== परिभाषाएँ ==
== परिभाषाएँ ==
संग्रह Δ एक [[सेट (गणित)|समुच्चय (गणित)]] एस के गैर-रिक्त परिमित उपसमुच्चय के } को समुच्चय-फ़ैमिली कहा जाता है।
संग्रह Δ एक [[सेट (गणित)|समुच्चय (गणित)]] एस के गैर-रिक्त परिमित उपसमुच्चय के } को समुच्चय-फ़ैमिली कहा जाता है।


एक समुच्चय-फ़ैमिली Δ को एब्स्ट्रैक्ट सिम्पलीशियल कॉम्प्लेक्स कहा जाता है, अगर Δ में हर समुच्चय X के लिए, और हर गैर-रिक्त सबसमुच्चय Y ⊆ X, समुच्चय Y भी Δ से संबंधित है।
एक समुच्चय-फ़ैमिली Δ को अमूर्त सिम्पलीशियल सम्मिश्र कहा जाता है, यदि Δ में हर समुच्चय X के लिए, और हर गैर-रिक्त उपसमुच्चय Y ⊆ X, समुच्चय Y भी Δ से संबंधित है।


परिमित समुच्चय जो Δ से संबंधित हैं, परिसर के चेहरे कहलाते हैं, और एक चेहरे Y को दूसरे चेहरे X से संबंधित कहा जाता है यदि Y ⊆ X है, तो एक अमूर्त साधारण परिसर की परिभाषा को यह कहते हुए बहाल किया जा सकता है कि चेहरे का हर चेहरा एक जटिल Δ का स्वयं Δ का एक चेहरा है। Δ के शीर्ष समुच्चय को V(Δ) = ∪Δ के रूप में परिभाषित किया गया है, Δ के सभी फलकों का मिलन वर्टेक्स समुच्चय के तत्वों को कॉम्प्लेक्स के वर्टिकल कहा जाता है। Δ के प्रत्येक शीर्ष v के लिए, समुच्चय {v} सम्मिश्र का एक फलक है, और संकुल का प्रत्येक फलक शीर्ष समुच्चय का परिमित उपसमुच्चय है।
परिमित समुच्चय जो Δ से संबंधित हैं, परिसर के फलक कहलाते हैं, और एक फलक Y को दूसरे फलक X से संबंधित कहा जाता है यदि Y ⊆ X है, तो एक अमूर्त साधारण परिसर की परिभाषा को यह कहते हुए बहाल किया जा सकता है कि फलक का हर फलक एक सम्मिश्र Δ का स्वयं Δ का एक फलक है। Δ के शीर्ष समुच्चय को V(Δ) = ∪Δ के रूप में परिभाषित किया गया है, Δ के सभी फलकों का मिलन शीर्ष् समुच्चय के तत्वों को सम्मिश्र के ऊर्ध्वाधर कहा जाता है। Δ के प्रत्येक शीर्ष v के लिए, समुच्चय {v} सम्मिश्र का एक फलक है, और संकुल का प्रत्येक फलक शीर्ष समुच्चय का परिमित उपसमुच्चय है।


Δ के अधिकतम फलक (अर्थात् वे फलक जो किसी अन्य फलक के उपसमुच्चय नहीं हैं) सम्मिश्र के फलक कहलाते हैं। Δ में फलक X के आयाम को मंद (X) = |X| के रूप में परिभाषित किया गया है - 1: एकल तत्व वाले चेहरे शून्य-आयामी होते हैं, दो तत्वों वाले चेहरे एक-आयामी होते हैं, आदि सम्मिश्र मंद (Δ) के आयाम को इसके किसी भी फलक के सबसे बड़े आयाम या अनन्तता के रूप में परिभाषित किया जाता है यदि फलकों के आयाम पर कोई परिमित सीमा नहीं है।
Δ के अधिकतम फलक (अर्थात् वे फलक जो किसी अन्य फलक के उपसमुच्चय नहीं हैं) सम्मिश्र के फलक कहलाते हैं। Δ में फलक X के आयाम को मंद (X) = |X| के रूप में परिभाषित किया गया है - 1: एकल तत्व वाले फलक शून्य-आयामी होते हैं, दो तत्वों वाले फलक एक-आयामी होते हैं, आदि सम्मिश्र मंद (Δ) के आयाम को इसके किसी भी फलक के सबसे बड़े आयाम या अनन्तता के रूप में परिभाषित किया जाता है यदि फलकों के आयाम पर कोई परिमित सीमा नहीं है।


सम्मिश्र Δ को परिमित कहा जाता है यदि इसके बहुत से फलक होते हैं, या समतुल्य रूप से यदि इसका शीर्ष समुच्चय परिमित है। इसके अलावा, Δ को शुद्ध कहा जाता है यदि यह परिमित-आयामी है (लेकिन जरूरी नहीं कि परिमित हो) और हर पहलू का एक ही आयाम हो दूसरे शब्दों में, Δ शुद्ध है यदि मंद (Δ) परिमित है और प्रत्येक चेहरा आयाम मंद (Δ) के पहलू में समाहित है।
सम्मिश्र Δ को परिमित कहा जाता है यदि इसके बहुत से फलक होते हैं, या समतुल्य रूप से यदि इसका शीर्ष समुच्चय परिमित है। इसके अतिरिक्त, Δ को शुद्ध कहा जाता है यदि यह परिमित-आयामी है (लेकिन आवश्यक नहीं कि परिमित हो) और हर पहलू का एक ही आयाम हो दूसरे शब्दों में, Δ शुद्ध है यदि मंद (Δ) परिमित है और प्रत्येक फलक आयाम मंद (Δ) के पहलू में समाहित है।


एक-आयामी सार सरल परिसर गणितीय रूप से [[सरल ग्राफ़ अप्रत्यक्ष ग्राफ]] रेखांकन के समतुल्य हैं: परिसर के शीर्ष समुच्चय को ग्राफ के शीर्ष समुच्चय के रूप में देखा जा सकता है, और जटिल के दो-तत्व पहलू एक ग्राफ के अप्रत्यक्ष किनारों के अनुरूप होते हैं। इस दृष्टि से, एक जटिल के एक-तत्व पहलू अलग-अलग शीर्षों के अनुरूप होते हैं जिनमें कोई घटना किनारे नहीं होते हैं।
एक-आयामी सार सरल परिसर गणितीय रूप से [[सरल ग्राफ़ अप्रत्यक्ष ग्राफ]] रेखांकन के समतुल्य हैं: परिसर के शीर्ष समुच्चय को ग्राफ के शीर्ष समुच्चय के रूप में देखा जा सकता है, और सम्मिश्र के दो-तत्व पहलू एक ग्राफ के अप्रत्यक्ष किनारों के अनुरूप होते हैं। इस दृष्टि से, एक सम्मिश्र के एक-तत्व पहलू भिन्न-भिन्न शीर्षों के अनुरूप होते हैं जिनमें कोई घटना किनारे नहीं होते हैं।


का उपसमुच्चय {{math|Δ}} सार सरल जटिल एल है जैसे कि एल का हर चेहरा संबंधित है {{math|Δ}}; वह है, {{math|''L'' ⊆ Δ}} और L सार सरल जटिल है। उपसमुच्चय जिसमें ही फलक के सभी उपसमुच्चय होते हैं {{math|Δ}} को अक्सर का सिंप्लेक्स कहा जाता है {{math|Δ}}. (हालांकि, कुछ लेखक चेहरे के लिए सिम्पलेक्स शब्द का प्रयोग करते हैं, बल्कि अस्पष्ट रूप से, चेहरे और चेहरे से जुड़े उपसमुच्चय दोनों के लिए, गैर-अमूर्त (ज्यामितीय) सरलीकृत जटिल शब्दावली के अनुरूप होते हैं। अस्पष्टता से बचने के लिए, हम नहीं करते हैं। इस आलेख में अमूर्त परिसरों के संदर्भ में चेहरे के लिए सिम्पलेक्स शब्द का उपयोग करें)।
का उपसमुच्चय {{math|Δ}} सार सरल सम्मिश्र एल है जैसे कि एल का हर फलक संबंधित है {{math|Δ}}; वह है, {{math|''L'' ⊆ Δ}} और L सार सरल सम्मिश्र है। उपसमुच्चय जिसमें ही फलक के सभी उपसमुच्चय होते हैं {{math|Δ}} को अधिकांशतः का सिंप्लेक्स कहा जाता है {{math|Δ}}. (चूंकि, कुछ लेखक फलक के लिए एकधा शब्द का प्रयोग करते हैं, अपितु अस्पष्ट रूप से, फलक और फलक से जुड़े उपसमुच्चय दोनों के लिए, गैर-अमूर्त (ज्यामितीय) सरलीकृत सम्मिश्र शब्दावली के अनुरूप होते हैं। अस्पष्टता से बचने के लिए, हम नहीं करते हैं। इस आलेख में अमूर्त परिसरों के संदर्भ में फलक के लिए एकधा शब्द का उपयोग करें)।


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


Δ का डी-कंकाल Δ का उपसमूह है जिसमें Δ के सभी चेहरे शामिल हैं जिनके आयाम अधिक से अधिक d हैं। विशेष रूप से, 1-[[कंकाल (टोपोलॉजी)]] को Δ का अंतर्निहित ग्राफ कहा जाता है। Δ के 0-कंकाल को इसके शीर्ष समुच्चय के साथ पहचाना जा सकता है, हालांकि औपचारिक रूप से यह काफी समान नहीं है (शीर्ष समुच्चय सभी शीर्षों का एक समुच्चय है, जबकि 0-कंकाल एकल-तत्व समुच्चय का एक परिवार है)।
Δ का डी-कंकाल Δ का उपसमूह है जिसमें Δ के सभी फलक सम्मलित हैं जिनके आयाम अधिक से अधिक d हैं। विशेष रूप से, 1-[[कंकाल (टोपोलॉजी)]] को Δ का अंतर्निहित ग्राफ कहा जाता है। Δ के 0-कंकाल को इसके शीर्ष समुच्चय के साथ पहचाना जा सकता है, चूंकि औपचारिक रूप से यह पर्याप्त समान नहीं है (शीर्ष समुच्चय सभी शीर्षों का एक समुच्चय है, जबकि 0-कंकाल एकल-तत्व समुच्चय का एक परिवार है)।


Δ में एक फलक Y का लिंक, जिसे अक्सर Δ/Y या lkΔ(Y) के रूप में निरूपित किया जाता है, Δ का उपसमुच्चय है जिसे परिभाषित किया गया है
Δ में एक फलक Y का लिंक, जिसे अधिकांशतः Δ/Y या lkΔ(Y) के रूप में निरूपित किया जाता है, Δ का उपसमुच्चय है जिसे परिभाषित किया गया है।


:<math> \Delta/Y := \{ X\in \Delta \mid X\cap Y = \varnothing,\, X\cup Y \in \Delta \} </math>
:<math> \Delta/Y := \{ X\in \Delta \mid X\cap Y = \varnothing,\, X\cup Y \in \Delta \} </math>
ध्यान दें कि खाली समुच्चय का लिंक Δ ही है।
ध्यान दें कि रिक्त समुच्चय का लिंक Δ ही है।


=== सरलीकृत मानचित्र ===
=== सरलीकृत मानचित्र ===
{{Main|सरलीकृत मानचित्र}}
{{Main|सरलीकृत मानचित्र}}


दो अमूर्त सरलीकृत परिसरों, Δ और Γ को देखते हुए, एक सरलीकृत मानचित्र एक ऐसा फलन f है, जो Δ अक्ष के शीर्ष को Γ अक्ष के शीर्ष के रूप में चित्रित करता है और इसमें यह गुण होता है कि किसी भी Δ के लिए एक्स [[छवि (गणित)]] {{math|&nbsp;''f''&thinsp;(''X'')}} वर्ग का मुख है। वस्तुओं के रूप में सार [[सरलीकृत परिसरों]] के साथ एक श्रेणी एससीपीएक्स है और आकारिकी के रूप में सरल मानचित्र हैं। यह गैर-अमूर्त साधारण परिसरों का उपयोग करके परिभाषित उपयुक्त श्रेणी के बराबर है।
दो अमूर्त सरलीकृत परिसरों, Δ और Γ को देखते हुए, एक सरलीकृत मानचित्र एक ऐसा फलन f है, जो Δ अक्ष के शीर्ष को Γ अक्ष के शीर्ष के रूप में चित्रित करता है और इसमें यह गुण होता है कि किसी भी Δ के लिए एक्स [[छवि (गणित)]] {{math|&nbsp;''f''&thinsp;(''X'')}} वर्ग का मुख है। वस्तुओं के रूप में सार [[सरलीकृत परिसरों]] के साथ एक श्रेणी एससीपीएक्स है और आकारिकी के रूप में सरल मानचित्र हैं। यह गैर-अमूर्त साधारण परिसरों का उपयोग करके परिभाषित उपयुक्त श्रेणी के समतुल्य है।


इसके अलावा, देखने का स्पष्ट बिंदु हमें एक सार सरल परिसर Δ के अंतर्निहित सेट एस और Δ के वर्टेक्स सेट वी (Δ) ⊆ एस के बीच संबंध को कसने की अनुमति देता है: सार सरल जटिल परिसरों की एक श्रेणी को परिभाषित करने के प्रयोजनों के लिए, V(Δ) में नहीं पड़े S के तत्व अप्रासंगिक हैं। अधिक सटीक रूप से, एससीपीएक्स उस श्रेणी के बराबर है जहां:
इसके अतिरिक्त, देखने का स्पष्ट बिंदु हमें एक सार सरल परिसर Δ के अंतर्निहित समुच्चय एस और Δ के शीर्ष् समुच्चय वी (Δ) ⊆ एस के बीच संबंध को कसने की अनुमति देता है: सार सरल सम्मिश्र परिसरों की एक श्रेणी को परिभाषित करने के प्रयोजनों के लिए, V(Δ) में नहीं पड़े S के तत्व अप्रासंगिक हैं। अधिक उपयुक्त रूप से, एससीपीएक्स उस श्रेणी के समतुल्य है जहां:
* एक वस्तु एक सेट S है जो गैर-रिक्त परिमित उपसमुच्चय Δ के संग्रह से सुसज्जित है जिसमें सभी सिंगलटन शामिल हैं और ऐसा है कि यदि एक्स Δ में है और वाई ⊆ एक्स खाली नहीं है, तो वाई भी Δ से संबंधित है।
* एक वस्तु एक समुच्चय S है जो गैर-रिक्त परिमित उपसमुच्चय Δ के संग्रह से सुसज्जित है जिसमें सभी एकल सम्मलित हैं और ऐसा है कि यदि एक्स Δ में है और वाई ⊆ एक्स रिक्त नहीं है, तो वाई भी Δ से संबंधित है।
* (S, Δ) से (T, Γ) तक एक आकारिकी एक फलन f : S → T है जैसे कि Δ के किसी भी तत्व की छवि Γ का एक तत्व है।
* (S, Δ) से (T, Γ) तक एक आकारिकी एक फलन f : S → T है जैसे कि Δ के किसी भी तत्व की छवि Γ का एक तत्व है।


== ज्यामितीय बोध ==
== ज्यामितीय बोध ==
हम किसी भी एब्स्ट्रैक्ट सिम्प्लीशियल कॉम्प्लेक्स (एएससी) K को एक टोपोलॉजिकल स्पेस <math>|K|</math> से जोड़ सकते हैं, जिसे इसका ज्यामितीय अहसास कहा जाता है। <math>|K|</math> को परिभाषित करने के कई तरीके हैं।
हम किसी भी अमूर्त सिम्प्लीशियल सम्मिश्र (एएससी) K को एक टोपोलॉजिकल समष्टि <math>|K|</math> से जोड़ सकते हैं, जिसे इसका ज्यामितीय अहसास कहा जाता है। <math>|K|</math> को परिभाषित करने के कई तरीके हैं।


=== ज्यामितीय परिभाषा ===
=== ज्यामितीय परिभाषा ===
प्रत्येक ज्यामितीय साधारण परिसर (जीएससी) एक एएससी निर्धारित करता है:<ref name=":0">{{Cite Matousek 2007}}, Section 4.3</ref>{{Rp|page=14|location=}} एएससी के शिखर जीएससी के शिखर हैं, और एएससी के चेहरे जीएससी के चेहरों के शीर्ष-सेट हैं। उदाहरण के लिए, 4 कोने {1,2,3,4} के साथ एक जीएससी पर विचार करें, जहां अधिकतम चेहरे {1,2,3} के बीच त्रिकोण और {2,4} और {3,4} के बीच की रेखाएं हैं। फिर, संबंधित एएससी में सेट {1,2,3}, {2,4}, {3,4}, और उनके सभी सबसेट शामिल हैं। हम कहते हैं कि जीएससी एएससी की ज्यामितीय प्राप्ति है।
प्रत्येक ज्यामितीय साधारण परिसर (जीएससी) एक एएससी निर्धारित करता है:<ref name=":0">{{Cite Matousek 2007}}, Section 4.3</ref>{{Rp|page=14|location=}} एएससी के शिखर जीएससी के शिखर हैं, और एएससी के फलक जीएससी के चेहरों के शीर्ष-समुच्चय हैं। उदाहरण के लिए, 4 कोने {1,2,3,4} के साथ एक जीएससी पर विचार करें, जहां अधिकतम फलक {1,2,3} के बीच त्रिकोण और {2,4} और {3,4} के बीच की रेखाएं हैं। फिर, संबंधित एएससी में समुच्चय {1,2,3}, {2,4}, {3,4}, और उनके सभी उपसमुच्चय सम्मलित हैं। हम कहते हैं कि जीएससी एएससी की ज्यामितीय प्राप्ति है।


प्रत्येक ASC का एक ज्यामितीय अहसास होता है। परिमित ASC के लिए यह देखना आसान है।''<ref name=":0" />{{Rp|page=14|location=}}'' मान लीजिये ''<math>N := |V(K)|</math>, <math>\R^N</math>'' में एक (N-1)-आयामी सिंप्लेक्स के शीर्षों के साथ ''<math>V(K)</math>'' में शीर्षों की पहचान करें तथा जीएससी {conv(F): F, K में एक चेहरा है} की रचना करें स्पष्ट रूप से, इस GSC से जुड़ा ASC K के समान है, इसलिए हमने वास्तव में K के ज्यामितीय अहसास का निर्माण किया है। वास्तव में, बहुत कम आयामों का उपयोग करके एक ASC प्राप्त किया जा सकता है। अगर एक एएससी डी-आयामी है (अर्थात, इसमें एक सिम्प्लेक्स की अधिकतम कार्डिनैलिटी d+1 है), तो इसमें ''<math>\R^{2d+1}</math>'' में ज्यामितीय प्राप्ति होती है। लेकिन ''<math>\R^{2d}</math><ref name=":0" />{{Rp|page=16|location=}}'' में ज्यामितीय अहसास नहीं हो सकता है। विशेष मामला d=1 प्रसिद्ध तथ्य से मेल खाता है, कि किसी भी ''[[ग्राफ (असतत गणित)]]'' को ''<math>\R^{3}</math>'' में प्लॉट किया जा सकता है, जहां किनारे सीधी रेखाएं होती हैं, जो आम शीर्षों को छोड़कर एक-दूसरे को नहीं काटती हैं, लेकिन इस तरह ''<math>\R^{2}</math>'' में कोई भी ग्राफ नहीं बनाया जा सकता है।
प्रत्येक एएससी का एक ज्यामितीय अहसास होता है। परिमित एएससी के लिए यह देखना आसान है।''<ref name=":0" />{{Rp|page=14|location=}}'' मान लीजिये ''<math>N := |V(K)|</math>, <math>\R^N</math>'' में एक (N-1)-आयामी सिंप्लेक्स के शीर्षों के साथ ''<math>V(K)</math>'' में शीर्षों की पहचान करें तथा जीएससी {conv(F): F, K में एक फलक है} की रचना करें स्पष्ट रूप से, इस जीएससी से जुड़ा एएससी K के समान है, इसलिए हमने वास्तव में K के ज्यामितीय अहसास का निर्माण किया है। वास्तव में, बहुत कम आयामों का उपयोग करके एक एएससी प्राप्त किया जा सकता है। यदि एक एएससी डी-आयामी है (अर्थात, इसमें एक एकधा की अधिकतम गणनांक d+1 है), तो इसमें ''<math>\R^{2d+1}</math>'' में ज्यामितीय प्राप्ति होती है। लेकिन ''<math>\R^{2d}</math><ref name=":0" />{{Rp|page=16|location=}}'' में ज्यामितीय अहसास नहीं हो सकता है। विशेष स्थिति d=1 प्रसिद्ध तथ्य से मेल खाता है, कि किसी भी ''[[ग्राफ (असतत गणित)]]'' को ''<math>\R^{3}</math>'' में आलेख किया जा सकता है, जहां किनारे सीधी रेखाएं होती हैं, जो आम शीर्षों को छोड़कर एक-दूसरे को नहीं काटती हैं, लेकिन इस प्रकार ''<math>\R^{2}</math>'' में कोई भी ग्राफ नहीं बनाया जा सकता है।


यदि K मानक कॉम्बीनेटरियल n-सिम्प्लेक्स है, तो <math>|K|</math> को स्वाभाविक रूप से {{math|Δ<sup>''n''</sup>}} से पहचाना जा सकता है।
यदि K मानक कॉम्बीनेटरियल n-एकधा है, तो <math>|K|</math> को स्वाभाविक रूप से {{math|Δ<sup>''n''</sup>}} से पहचाना जा सकता है।


एक ही एएससी के हर दो ज्यामितीय अहसास, यहां तक कि विभिन्न आयामों के यूक्लिडियन स्थानों में भी, [[होमोमोर्फिज्म]] हैं।<ref name=":0" />{{Rp|page=14|location=}} इसलिए, एक एएससी के दिए जाने पर, कोई के के ज्यामितीय प्राप्ति के बारे में बात कर सकता है।
एक ही एएससी के हर दो ज्यामितीय अहसास, यहां तक कि विभिन्न आयामों के यूक्लिडियन समष्टि में भी, [[होमोमोर्फिज्म]] हैं।<ref name=":0" />{{Rp|page=14|location=}} इसलिए, एक एएससी के दिए जाने पर, कोई के के ज्यामितीय प्राप्ति के बारे में बात कर सकता है।


=== सामयिक परिभाषा ===
=== सामयिक परिभाषा ===
निर्माण निम्नानुसार होता है। सबसे पहले, <math>|K|</math> को <math>[0, 1]^S</math> के उपसमुच्चय के रूप में परिभाषित करें जिसमें दो शर्तें पूरी करने वाले फ़ंक्शन <math>t\colon S\to [0, 1]</math> शामिल हैं:
निर्माण निम्नानुसार होता है। सबसे पहले, <math>|K|</math> को <math>[0, 1]^S</math> के उपसमुच्चय के रूप में परिभाषित करें जिसमें दो शर्तें पूरी करने वाले फ़ंक्शन <math>t\colon S\to [0, 1]</math> सम्मलित हैं:
:<math>\{s\in S:t_s>0\}\in K</math>
:<math>\{s\in S:t_s>0\}\in K</math>
:<math>\sum_{s\in S}t_s=1</math>
:<math>\sum_{s\in S}t_s=1</math>
अब <math>[0, 1]^S</math> के तत्वों के सेट को परिमित समर्थन के साथ <math>[0, 1]^A</math> की सीधी सीमा के रूप में सोचें, जहां A, S के परिमित सबसेट से अधिक है , और उस सीधी सीमा को प्रेरित [[अंतिम टोपोलॉजी]] प्रदान की जा सकती है। अब <math>|K|</math> सबस्पेस टोपोलॉजी प्रदान करें।
अब <math>[0, 1]^S</math> के तत्वों के समुच्चय को परिमित समर्थन के साथ <math>[0, 1]^A</math> की सीधी सीमा के रूप में सोचें, जहां A, S के परिमित उपसमुच्चय से अधिक है , और उस सीधी सीमा को प्रेरित [[अंतिम टोपोलॉजी]] प्रदान की जा सकती है। अब <math>|K|</math> सबसमष्टि टोपोलॉजी प्रदान करें।


=== श्रेणीबद्ध परिभाषा ===
=== श्रेणीबद्ध परिभाषा ===
वैकल्पिक रूप से, मान लें कि <math>\mathcal{K}</math> उस श्रेणी को दर्शाता है जिसकी वस्तुएँ <math>\mathcal{K}</math> फलक हैं और जिनकी आकारिकी समावेशन है। इसके बाद K के वर्टेक्स सेट पर कुल ऑर्डर चुनें और {{mvar|K}} से टोपोलॉजिकल स्पेस की श्रेणी के लिए एक फंक्टर F को निम्नानुसार परिभाषित करें आयाम n के <math>\mathcal{K}</math> में किसी भी चेहरे X के लिए, {{math|''F''(''X'') {{=}} Δ<sup>''n''</sup>}} मानक n-सिम्प्लेक्स हैं। वर्टेक्स सेट पर क्रम तब X के तत्वों और Δn के शीर्षों के बीच एक अद्वितीय आक्षेप को निर्दिष्ट करता है, सामान्य तरीके से {{math|''e''<sub>0</sub> < ''e''<sub>1</sub> < ... < ''e<sub>n</sub>''}} का आदेश दिया जाता है। यदि {{math|''Y'' ⊆ ''X''}} आयाम {{math|''m'' < ''n''}} का एक फलक है, तो यह आक्षेप {{math|Δ<sup>''n''</sup>}} का एक अद्वितीय m-आयामी फलक निर्दिष्ट करता है। {{math|''F''(''Y'') →  ''F''(''X'')}} को {{math|Δ<sup>''m''</sup>}} के अद्वितीय [[एफ़िन]] [[affine परिवर्तन|परिवर्तन]] रैखिक [[एम्बेडिंग]] के रूप में परिभाषित करें, जो {{math|Δ<sup>''n''</sup>}} के विशिष्ट चेहरे के रूप में है, जैसे कि कोने पर मानचित्र क्रम-संरक्षित है।
वैकल्पिक रूप से, मान लें कि <math>\mathcal{K}</math> उस श्रेणी को दर्शाता है जिसकी वस्तुएँ <math>\mathcal{K}</math> फलक हैं और जिनकी आकारिकी समावेशन है। इसके पश्चात K के शीर्ष् समुच्चय पर कुल ऑर्डर चुनें और {{mvar|K}} से टोपोलॉजिकल समष्टि की श्रेणी के लिए एक फंक्टर F को निम्नानुसार परिभाषित करें आयाम n के <math>\mathcal{K}</math> में किसी भी फलक X के लिए, {{math|''F''(''X'') {{=}} Δ<sup>''n''</sup>}} मानक n-एकधा हैं। शीर्ष् समुच्चय पर क्रम तब X के तत्वों और Δn के शीर्षों के बीच एक अद्वितीय आक्षेप को निर्दिष्ट करता है, सामान्य तरीके से {{math|''e''<sub>0</sub> < ''e''<sub>1</sub> < ... < ''e<sub>n</sub>''}} का आदेश दिया जाता है। यदि {{math|''Y'' ⊆ ''X''}} आयाम {{math|''m'' < ''n''}} का एक फलक है, तो यह आक्षेप {{math|Δ<sup>''n''</sup>}} का एक अद्वितीय m-आयामी फलक निर्दिष्ट करता है। {{math|''F''(''Y'') →  ''F''(''X'')}} को {{math|Δ<sup>''m''</sup>}} के अद्वितीय [[एफ़िन]] [[affine परिवर्तन|परिवर्तन]] रैखिक [[एम्बेडिंग]] के रूप में परिभाषित करें, जो {{math|Δ<sup>''n''</sup>}} के विशिष्ट फलक के रूप में है, जैसे कि कोने पर मानचित्र क्रम-संरक्षित है।


इसके बाद हम ज्यामितीय अहसास <math>|K|</math> को फ़ंक्टर F के कोलिमिट के रूप में परिभाषित कर सकते हैं। अधिक विशेष रूप से <math>|K|</math> असंयुक्त संघ का [[भागफल स्थान (टोपोलॉजी)]] है
इसके पश्चात हम ज्यामितीय अहसास <math>|K|</math> को फ़ंक्टर F के कोलिमिट के रूप में परिभाषित कर सकते हैं। अधिक विशेष रूप से <math>|K|</math> असंयुक्त संघ का [[भागफल स्थान (टोपोलॉजी)]] है


:<math>\coprod_{X \in K}{F(X)}</math>
:<math>\coprod_{X \in K}{F(X)}</math>
[[तुल्यता संबंध]] द्वारा जो एक बिंदु {{math|''y'' ∈ ''F''(''Y'')}} को मानचित्र {{math|''F''(''Y'') → ''F''(''X'')}} के तहत प्रत्येक समावेशन {{math|''Y'' ⊆ ''X''}} के लिए उसकी छवि के साथ पहचानता है।
[[तुल्यता संबंध]] द्वारा जो एक बिंदु {{math|''y'' ∈ ''F''(''Y'')}} को मानचित्र {{math|''F''(''Y'') → ''F''(''X'')}} के अनुसार प्रत्येक समावेशन {{math|''Y'' ⊆ ''X''}} के लिए उसकी छवि के साथ पहचानता है।


== उदाहरण ==
== उदाहरण ==
1. मान लीजिये V [[प्रमुखता]] {{math|''n'' + 1}} का एक परिमित समुच्चय है। वर्टेक्स-सेट V के साथ कॉम्बिनेटरियल n-सिम्प्लेक्स एक एएससी है, जिसके चेहरे V के सभी गैर-रिक्त उपसमुच्चय हैं (यानी, यह V का [[ सत्ता स्थापित |सत्ता स्थापित]] है)। अगर {{math|''V'' {{=}} ''S'' {{=}} {0, 1, ..., ''n''},}} तो इस एएससी को मानक कॉम्बीनेटरियल n-सिम्प्लेक्स कहा जाता है।
1. मान लीजिये V [[प्रमुखता]] {{math|''n'' + 1}} का एक परिमित समुच्चय है। शीर्ष्-समुच्चय V के साथ कॉम्बिनेटरियल n-एकधा एक एएससी है, जिसके फलक V के सभी गैर-रिक्त उपसमुच्चय हैं (अर्थात, यह V का [[ सत्ता स्थापित |सत्ता स्थापित]] है)। यदि {{math|''V'' {{=}} ''S'' {{=}} {0, 1, ..., ''n''},}} तो इस एएससी को मानक कॉम्बीनेटरियल n-एकधा कहा जाता है।


2. मान लीजिये G एक अप्रत्यक्ष ग्राफ है। G का [[क्लिक कॉम्प्लेक्स]] एक ASC है जिसके चेहरे G के सभी [[ क्लिक (ग्राफ सिद्धांत) |क्लिक (ग्राफ सिद्धांत)]] हैं। G का [[इंडिपेंडेंस कॉम्प्लेक्स]] एक ASC है, जिसके चेहरे G के सभी [[ स्वतंत्र सेट (ग्राफ सिद्धांत) |स्वतंत्र समुच्चय (ग्राफ सिद्धांत)]] हैं (यह G के [[पूरक ग्राफ]] का क्लिक कॉम्प्लेक्स है)। क्लिक कॉम्प्लेक्स [[ध्वज परिसरों]] का प्रोटोटाइपिकल उदाहरण हैं। एक ध्वज परिसर संपत्ति के साथ एक जटिल K है, जो कि तत्वों का प्रत्येक सेट जो K के चेहरों से संबंधित है, स्वयं K का एक चेहरा है।
2. मान लीजिये G एक अप्रत्यक्ष ग्राफ है। G का [[क्लिक कॉम्प्लेक्स|क्लिक सम्मिश्र]] एक एएससी है जिसके फलक G के सभी [[ क्लिक (ग्राफ सिद्धांत) |क्लिक (ग्राफ सिद्धांत)]] हैं। G का [[इंडिपेंडेंस कॉम्प्लेक्स|इंडिपेंडेंस सम्मिश्र]] एक एएससी है, जिसके फलक G के सभी [[ स्वतंत्र सेट (ग्राफ सिद्धांत) |स्वतंत्र समुच्चय (ग्राफ सिद्धांत)]] हैं (यह G के [[पूरक ग्राफ]] का क्लिक सम्मिश्र है)। क्लिक सम्मिश्र [[ध्वज परिसरों]] का प्रोटोटाइपिकल उदाहरण हैं। एक ध्वज परिसर संपत्ति के साथ एक सम्मिश्र K है, जो कि तत्वों का प्रत्येक समुच्चय जो K के चेहरों से संबंधित है, स्वयं K का एक फलक है।


3. मान लीजिये H एक [[हाइपरग्राफ]] है। H एक [[हाइपरग्राफ में मिलान]] H के किनारों का एक सेट है, जिसमें प्रत्येक दो किनारों को अलग किया जाता है। H का मिलान परिसर एक ASC है जिसके सभी चेहरे H में मेल खाते हैं। यह एच के रेखा ग्राफ का स्वतंत्रता परिसर है।
3. मान लीजिये H एक [[हाइपरग्राफ]] है। H एक [[हाइपरग्राफ में मिलान]] H के किनारों का एक समुच्चय है, जिसमें प्रत्येक दो किनारों को भिन्न किया जाता है। H का मिलान परिसर एक एएससी है जिसके सभी फलक H में मेल खाते हैं। यह एच के रेखा ग्राफ का स्वतंत्रता परिसर है।


4. मान लीजिए कि P [[आंशिक रूप से आदेशित सेट|आंशिक रूप से आदेशित समुच्चय]] (पॉसेट) है। P का ऑर्डर कॉम्प्लेक्स एक ASC है जिसके चेहरे P में सभी परिमित श्रृंखलाएँ हैं। इसके होमोलॉजी समूह और अन्य टोपोलॉजिकल इनवेरिएंट में पोसेट पी के बारे में महत्वपूर्ण जानकारी होती है।
4. मान लीजिए कि P [[आंशिक रूप से आदेशित सेट|आंशिक रूप से आदेशित समुच्चय]] (पॉसमुच्चय) है। P का ऑर्डर सम्मिश्र एक एएससी है जिसके फलक P में सभी परिमित श्रृंखलाएँ हैं। इसके होमोलॉजी समूह और अन्य टोपोलॉजिकल अपरिवर्तनीय में पोसमुच्चय पी के बारे में महत्वपूर्ण जानकारी होती है।


5. मान लीजिये एम एक [[मीट्रिक स्पेस]] और δ एक वास्तविक संख्या है। विएटोरिस-रिप्स कॉम्प्लेक्स एक एएससी है जिसका चेहरा अधिकतम δ व्यास वाले एम के परिमित उपसमुच्चय हैं। इसमें [[ समरूपता सिद्धांत |समरूपता सिद्धांत]], [[अतिशयोक्तिपूर्ण समूह]], [[ मूर्ति प्रोद्योगिकी |मूर्ति प्रोद्योगिकी]] और [[ मोबाइल तदर्थ नेटवर्क |मोबाइल तदर्थ नेटवर्क]] में एप्लिकेशन हैं। यह ध्वज परिसर का एक और उदाहरण है।
5. मान लीजिये एम एक [[मीट्रिक स्पेस|मीट्रिक समष्टि]] और δ एक वास्तविक संख्या है। विएटोरिस-रिप्स सम्मिश्र एक एएससी है जिसका फलक अधिकतम δ व्यास वाले एम के परिमित उपसमुच्चय हैं। इसमें [[ समरूपता सिद्धांत |समरूपता सिद्धांत]], [[अतिशयोक्तिपूर्ण समूह]], [[ मूर्ति प्रोद्योगिकी |मूर्ति प्रोद्योगिकी]] और [[ मोबाइल तदर्थ नेटवर्क |मोबाइल तदर्थ नेटवर्क]] में अनुप्रयोग हैं। यह ध्वज परिसर का एक और उदाहरण है।


6. मान लीजिए <math>I</math> एक बहुपद वलय <math>S = K[x_1, \dots, x_n]</math> में एक वर्ग-मुक्त एकपदी (अर्थात, चरों के सबसेट के गुणनफल द्वारा उत्पन्न आदर्श) गुणज है। फिर <math>S</math> के उन वर्ग-मुक्त मोनोमियल्स के प्रतिपादक वैक्टर जो <math>I</math> में नहीं हैं, मानचित्र <math>\mathbf{a}\in \{0,1\}^n \mapsto \{i \in [n] : a_i = 1\}</math>, वास्तव में, एस में एन वर्टिकल और स्क्वायर-फ्री मोनोमियल आदर्शों पर (गैर-खाली) अमूर्त सरलीकृत परिसरों के बीच एक आक्षेप है। अगर <math>I_{\Delta}</math> साधारण जटिल <math>\Delta</math> के अनुरूप वर्ग-मुक्त आदर्श है, तो भागफल <math>S/I_{\Delta}</math> को Δ के स्टेनली-रीस्नर रिंग के रूप में जाना जाता है।
6. मान लीजिए <math>I</math> एक बहुपद वलय <math>S = K[x_1, \dots, x_n]</math> में एक वर्ग-मुक्त एकपदी (अर्थात, चरों के उपसमुच्चय के गुणनफल द्वारा उत्पन्न आदर्श) गुणज है। फिर <math>S</math> के उन वर्ग-मुक्त एकपद्स के प्रतिपादक वैक्टर जो <math>I</math> में नहीं हैं, मानचित्र <math>\mathbf{a}\in \{0,1\}^n \mapsto \{i \in [n] : a_i = 1\}</math>, वास्तव में, एस में एन ऊर्ध्वाधर और स्क्वायर-फ्री एकपद आदर्शों पर (गैर-रिक्त) अमूर्त सरलीकृत परिसरों के बीच एक आक्षेप है। यदि <math>I_{\Delta}</math> साधारण सम्मिश्र <math>\Delta</math> के अनुरूप वर्ग-मुक्त आदर्श है, तो भागफल <math>S/I_{\Delta}</math> को Δ के स्टेनली-रीस्नर रिंग के रूप में जाना जाता है।


7. एक टोपोलॉजिकल स्पेस के किसी भी [[ खुला आवरण |खुला आवरण]] सी के लिए, सी का [[तंत्रिका परिसर]] एक अमूर्त सरल जटिल है जिसमें सी के उप-परिवार एक गैर-खाली चौराहे के साथ होते हैं।
7. एक टोपोलॉजिकल समष्टि के किसी भी [[ खुला आवरण |विवृत आवरण]] सी के लिए, सी का [[तंत्रिका परिसर]] एक अमूर्त सरल सम्मिश्र है जिसमें सी के उप-परिवार एक गैर-रिक्त प्रतिच्छेदन के साथ होते हैं।


== गणना ==
== गणना ==
n लेबल वाले तत्वों तक (जो कि आकार n के एक सेट S पर है) अमूर्त सरलीकृत परिसरों की संख्या nth Dedekind संख्या से एक कम है। ये संख्याएँ बहुत तेज़ी से बढ़ती हैं, और केवल n ≤ 8 के लिए जानी जाती हैं; Dedekind संख्याएँ हैं (n = 0 से शुरू):
n लेबल वाले तत्वों तक (जो कि आकार n के एक समुच्चय S पर है) अमूर्त सरलीकृत परिसरों की संख्या nth डेडेकिंड संख्या से एक कम है। ये संख्याएँ बहुत तेज़ी से बढ़ती हैं, और मात्र n ≤ 8 के लिए जानी जाती हैं; डेडेकिंड संख्याएँ हैं (n = 0 से प्रारंभ):
:1, 2, 5, 19, 167, 7580, 7828353, 2414682040997, 56130437228687557907787 ([[OEIS|ओईआईएस]] में अनुक्रम [[A014466]]) यह एक n सेट के उपसमुच्चय के गैर-खाली एंटीचाइन्स की संख्या से मेल खाती है।
:1, 2, 5, 19, 167, 7580, 7828353, 2414682040997, 56130437228687557907787 ([[OEIS|ओईआईएस]] में अनुक्रम [[A014466]]) यह एक n समुच्चय के उपसमुच्चय के गैर-रिक्त एंटीचाइन्स की संख्या से मेल खाती है।


अमूर्त साधारण परिसरों की संख्या जिनके कोने बिल्कुल एन लेबल वाले तत्व हैं, अनुक्रम "1, 2, 9, 114, 6894, 7785062, 2414627396434, 56130437209370320359966" (अनुक्रम [[A006126]] [[OEIS|ओईआईएस]] में) द्वारा दिया गया है, जो n = 1 से शुरू होता है। यह लेबल वाले एन-सेट के एंटीचैन कवर की संख्या से मेल खाता है; उनके अधिकतम चेहरों के संदर्भ में वर्णित एन तत्वों पर एक एन-सेट और साधारण परिसरों के एंटीचैन कवर के बीच एक स्पष्ट आपत्ति है।
अमूर्त साधारण परिसरों की संख्या जिनके कोने बिल्कुल एन लेबल वाले तत्व हैं, अनुक्रम "1, 2, 9, 114, 6894, 7785062, 2414627396434, 56130437209370320359966" (अनुक्रम [[A006126]] [[OEIS|ओईआईएस]] में) द्वारा दिया गया है, जो n = 1 से प्रारंभ होता है। यह लेबल वाले एन-समुच्चय के एंटीचैन कवर की संख्या से मेल खाता है; उनके अधिकतम चेहरों के संदर्भ में वर्णित एन तत्वों पर एक एन-समुच्चय और साधारण परिसरों के एंटीचैन कवर के बीच एक स्पष्ट आपत्ति है।


n = 1 से शुरू होने वाले अनुक्रम "1, 2, 5, 20, 180, 16143" ([[ओईआईएस]] में अनुक्रम [[A006602]]) द्वारा अनुक्रमित सरलीकृत परिसरों की संख्या वास्तव में n लेबल रहित तत्वों पर दी गई है।
n = 1 से प्रारंभ होने वाले अनुक्रम "1, 2, 5, 20, 180, 16143" ([[ओईआईएस]] में अनुक्रम [[A006602]]) द्वारा अनुक्रमित सरलीकृत परिसरों की संख्या वास्तव में n लेबल रहित तत्वों पर दी गई है।


== कम्प्यूटेशनल समस्याएं ==
== अभिकलनात्मक समस्याएं ==
{{Main|सरल जटिल पहचान समस्या}}
{{Main|सरल सम्मिश्र पहचान समस्या}}


साधारण जटिल मान्यता समस्या है: एक परिमित ASC दिया गया है, यह तय करें कि क्या ज्यामितीय प्राप्ति किसी दिए गए ज्यामितीय वस्तु के लिए होमोमोर्फिक है। यह समस्या डी ≥ 5 के लिए किसी भी डी-आयामी मैनिफोल्ड के लिए [[अनिर्णीत समस्या]] है।
साधारण सम्मिश्र मान्यता समस्या है: एक परिमित एएससी दिया गया है, यह तय करें कि क्या ज्यामितीय प्राप्ति किसी दिए गए ज्यामितीय वस्तु के लिए होमोमोर्फिक है। यह समस्या डी ≥ 5 के लिए किसी भी डी-आयामी मैनिफोल्ड के लिए [[अनिर्णीत समस्या]] है।


== अन्य अवधारणाओं से संबंध ==
== अन्य अवधारणाओं से संबंध ==
एक अतिरिक्त संपत्ति के साथ एक सार सरल परिसर जिसे वृद्धि संपत्ति या विनिमय संपत्ति कहा जाता है, एक मैट्रॉइड पैदा करता है। निम्नलिखित अभिव्यक्ति शर्तों के बीच संबंधों को दर्शाती है:
एक अतिरिक्त संपत्ति के साथ एक सार सरल परिसर जिसे वृद्धि संपत्ति या विनिमय संपत्ति कहा जाता है, एक मैट्रॉइड उत्पन्न करता है। निम्नलिखित अभिव्यक्ति शर्तों के बीच संबंधों को दर्शाती है:


(हाइपरग्राफ = सेट-परिवार ⊃ स्वतंत्रता-प्रणाली = सार-सरल-परिसर ⊃ मैट्रोइड्स)
(हाइपरग्राफ = समुच्चय-परिवार ⊃ स्वतंत्रता-प्रणाली = सार-सरल-परिसर ⊃ मैट्रोइड्स)


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

Revision as of 17:44, 11 May 2023

एक 3-आयामी सार सरल परिसर का ज्यामितीय अहसास

साहचर्य में, सार सरल सम्मिश्र (एएससी), जिसे अधिकांशतः सार सम्मिश्र या सिर्फ सम्मिश्र कहा जाता है, समुच्चय का परिवार है जो उपसमुच्चय लेने के अनुसार बंद होता है, अर्थात परिवार में समुच्चय का हर उपसमुच्चय भी परिवार में होता है। यह साधारण सम्मिश्र की ज्यामितीय धारणा का विशुद्ध रूप से मिश्रित विवरण है।[1] उदाहरण के लिए, 2-आयामी साधारण परिसर में, परिवार में समुच्चय त्रिकोण (आकार 3 के समुच्चय), उनके किनारे (आकार 2 के समुच्चय), और उनके शिखर (आकार 1 के समुच्चय) हैं।

मेट्रोइड और लालचोइड्स के संदर्भ में, अमूर्त साधारण परिसरों को स्वतंत्रता प्रणाली भी कहा जाता है।[2]

स्टैनली-रीस्नर रिंग बनाकर अमूर्त एकधा का बीजगणितीय रूप से अध्ययन किया जा सकता है; यह कॉम्बिनेटरिक्स और क्रम विनिमय बीजगणित के बीच शक्तिशाली संबंध स्थापित करता है।

परिभाषाएँ

संग्रह Δ एक समुच्चय (गणित) एस के गैर-रिक्त परिमित उपसमुच्चय के } को समुच्चय-फ़ैमिली कहा जाता है।

एक समुच्चय-फ़ैमिली Δ को अमूर्त सिम्पलीशियल सम्मिश्र कहा जाता है, यदि Δ में हर समुच्चय X के लिए, और हर गैर-रिक्त उपसमुच्चय Y ⊆ X, समुच्चय Y भी Δ से संबंधित है।

परिमित समुच्चय जो Δ से संबंधित हैं, परिसर के फलक कहलाते हैं, और एक फलक Y को दूसरे फलक X से संबंधित कहा जाता है यदि Y ⊆ X है, तो एक अमूर्त साधारण परिसर की परिभाषा को यह कहते हुए बहाल किया जा सकता है कि फलक का हर फलक एक सम्मिश्र Δ का स्वयं Δ का एक फलक है। Δ के शीर्ष समुच्चय को V(Δ) = ∪Δ के रूप में परिभाषित किया गया है, Δ के सभी फलकों का मिलन शीर्ष् समुच्चय के तत्वों को सम्मिश्र के ऊर्ध्वाधर कहा जाता है। Δ के प्रत्येक शीर्ष v के लिए, समुच्चय {v} सम्मिश्र का एक फलक है, और संकुल का प्रत्येक फलक शीर्ष समुच्चय का परिमित उपसमुच्चय है।

Δ के अधिकतम फलक (अर्थात् वे फलक जो किसी अन्य फलक के उपसमुच्चय नहीं हैं) सम्मिश्र के फलक कहलाते हैं। Δ में फलक X के आयाम को मंद (X) = |X| के रूप में परिभाषित किया गया है - 1: एकल तत्व वाले फलक शून्य-आयामी होते हैं, दो तत्वों वाले फलक एक-आयामी होते हैं, आदि सम्मिश्र मंद (Δ) के आयाम को इसके किसी भी फलक के सबसे बड़े आयाम या अनन्तता के रूप में परिभाषित किया जाता है यदि फलकों के आयाम पर कोई परिमित सीमा नहीं है।

सम्मिश्र Δ को परिमित कहा जाता है यदि इसके बहुत से फलक होते हैं, या समतुल्य रूप से यदि इसका शीर्ष समुच्चय परिमित है। इसके अतिरिक्त, Δ को शुद्ध कहा जाता है यदि यह परिमित-आयामी है (लेकिन आवश्यक नहीं कि परिमित हो) और हर पहलू का एक ही आयाम हो दूसरे शब्दों में, Δ शुद्ध है यदि मंद (Δ) परिमित है और प्रत्येक फलक आयाम मंद (Δ) के पहलू में समाहित है।

एक-आयामी सार सरल परिसर गणितीय रूप से सरल ग्राफ़ अप्रत्यक्ष ग्राफ रेखांकन के समतुल्य हैं: परिसर के शीर्ष समुच्चय को ग्राफ के शीर्ष समुच्चय के रूप में देखा जा सकता है, और सम्मिश्र के दो-तत्व पहलू एक ग्राफ के अप्रत्यक्ष किनारों के अनुरूप होते हैं। इस दृष्टि से, एक सम्मिश्र के एक-तत्व पहलू भिन्न-भिन्न शीर्षों के अनुरूप होते हैं जिनमें कोई घटना किनारे नहीं होते हैं।

का उपसमुच्चय Δ सार सरल सम्मिश्र एल है जैसे कि एल का हर फलक संबंधित है Δ; वह है, L ⊆ Δ और L सार सरल सम्मिश्र है। उपसमुच्चय जिसमें ही फलक के सभी उपसमुच्चय होते हैं Δ को अधिकांशतः का सिंप्लेक्स कहा जाता है Δ. (चूंकि, कुछ लेखक फलक के लिए एकधा शब्द का प्रयोग करते हैं, अपितु अस्पष्ट रूप से, फलक और फलक से जुड़े उपसमुच्चय दोनों के लिए, गैर-अमूर्त (ज्यामितीय) सरलीकृत सम्मिश्र शब्दावली के अनुरूप होते हैं। अस्पष्टता से बचने के लिए, हम नहीं करते हैं। इस आलेख में अमूर्त परिसरों के संदर्भ में फलक के लिए एकधा शब्द का उपयोग करें)।

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

Δ का डी-कंकाल Δ का उपसमूह है जिसमें Δ के सभी फलक सम्मलित हैं जिनके आयाम अधिक से अधिक d हैं। विशेष रूप से, 1-कंकाल (टोपोलॉजी) को Δ का अंतर्निहित ग्राफ कहा जाता है। Δ के 0-कंकाल को इसके शीर्ष समुच्चय के साथ पहचाना जा सकता है, चूंकि औपचारिक रूप से यह पर्याप्त समान नहीं है (शीर्ष समुच्चय सभी शीर्षों का एक समुच्चय है, जबकि 0-कंकाल एकल-तत्व समुच्चय का एक परिवार है)।

Δ में एक फलक Y का लिंक, जिसे अधिकांशतः Δ/Y या lkΔ(Y) के रूप में निरूपित किया जाता है, Δ का उपसमुच्चय है जिसे परिभाषित किया गया है।

ध्यान दें कि रिक्त समुच्चय का लिंक Δ ही है।

सरलीकृत मानचित्र

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

इसके अतिरिक्त, देखने का स्पष्ट बिंदु हमें एक सार सरल परिसर Δ के अंतर्निहित समुच्चय एस और Δ के शीर्ष् समुच्चय वी (Δ) ⊆ एस के बीच संबंध को कसने की अनुमति देता है: सार सरल सम्मिश्र परिसरों की एक श्रेणी को परिभाषित करने के प्रयोजनों के लिए, V(Δ) में नहीं पड़े S के तत्व अप्रासंगिक हैं। अधिक उपयुक्त रूप से, एससीपीएक्स उस श्रेणी के समतुल्य है जहां:

  • एक वस्तु एक समुच्चय S है जो गैर-रिक्त परिमित उपसमुच्चय Δ के संग्रह से सुसज्जित है जिसमें सभी एकल सम्मलित हैं और ऐसा है कि यदि एक्स Δ में है और वाई ⊆ एक्स रिक्त नहीं है, तो वाई भी Δ से संबंधित है।
  • (S, Δ) से (T, Γ) तक एक आकारिकी एक फलन f : S → T है जैसे कि Δ के किसी भी तत्व की छवि Γ का एक तत्व है।

ज्यामितीय बोध

हम किसी भी अमूर्त सिम्प्लीशियल सम्मिश्र (एएससी) K को एक टोपोलॉजिकल समष्टि से जोड़ सकते हैं, जिसे इसका ज्यामितीय अहसास कहा जाता है। को परिभाषित करने के कई तरीके हैं।

ज्यामितीय परिभाषा

प्रत्येक ज्यामितीय साधारण परिसर (जीएससी) एक एएससी निर्धारित करता है:[3]: 14  एएससी के शिखर जीएससी के शिखर हैं, और एएससी के फलक जीएससी के चेहरों के शीर्ष-समुच्चय हैं। उदाहरण के लिए, 4 कोने {1,2,3,4} के साथ एक जीएससी पर विचार करें, जहां अधिकतम फलक {1,2,3} के बीच त्रिकोण और {2,4} और {3,4} के बीच की रेखाएं हैं। फिर, संबंधित एएससी में समुच्चय {1,2,3}, {2,4}, {3,4}, और उनके सभी उपसमुच्चय सम्मलित हैं। हम कहते हैं कि जीएससी एएससी की ज्यामितीय प्राप्ति है।

प्रत्येक एएससी का एक ज्यामितीय अहसास होता है। परिमित एएससी के लिए यह देखना आसान है।[3]: 14  मान लीजिये , में एक (N-1)-आयामी सिंप्लेक्स के शीर्षों के साथ में शीर्षों की पहचान करें तथा जीएससी {conv(F): F, K में एक फलक है} की रचना करें स्पष्ट रूप से, इस जीएससी से जुड़ा एएससी K के समान है, इसलिए हमने वास्तव में K के ज्यामितीय अहसास का निर्माण किया है। वास्तव में, बहुत कम आयामों का उपयोग करके एक एएससी प्राप्त किया जा सकता है। यदि एक एएससी डी-आयामी है (अर्थात, इसमें एक एकधा की अधिकतम गणनांक d+1 है), तो इसमें में ज्यामितीय प्राप्ति होती है। लेकिन [3]: 16  में ज्यामितीय अहसास नहीं हो सकता है। विशेष स्थिति d=1 प्रसिद्ध तथ्य से मेल खाता है, कि किसी भी ग्राफ (असतत गणित) को में आलेख किया जा सकता है, जहां किनारे सीधी रेखाएं होती हैं, जो आम शीर्षों को छोड़कर एक-दूसरे को नहीं काटती हैं, लेकिन इस प्रकार में कोई भी ग्राफ नहीं बनाया जा सकता है।

यदि K मानक कॉम्बीनेटरियल n-एकधा है, तो को स्वाभाविक रूप से Δn से पहचाना जा सकता है।

एक ही एएससी के हर दो ज्यामितीय अहसास, यहां तक कि विभिन्न आयामों के यूक्लिडियन समष्टि में भी, होमोमोर्फिज्म हैं।[3]: 14  इसलिए, एक एएससी के दिए जाने पर, कोई के के ज्यामितीय प्राप्ति के बारे में बात कर सकता है।

सामयिक परिभाषा

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

अब के तत्वों के समुच्चय को परिमित समर्थन के साथ की सीधी सीमा के रूप में सोचें, जहां A, S के परिमित उपसमुच्चय से अधिक है , और उस सीधी सीमा को प्रेरित अंतिम टोपोलॉजी प्रदान की जा सकती है। अब सबसमष्टि टोपोलॉजी प्रदान करें।

श्रेणीबद्ध परिभाषा

वैकल्पिक रूप से, मान लें कि उस श्रेणी को दर्शाता है जिसकी वस्तुएँ फलक हैं और जिनकी आकारिकी समावेशन है। इसके पश्चात K के शीर्ष् समुच्चय पर कुल ऑर्डर चुनें और K से टोपोलॉजिकल समष्टि की श्रेणी के लिए एक फंक्टर F को निम्नानुसार परिभाषित करें आयाम n के में किसी भी फलक X के लिए, F(X) = Δn मानक n-एकधा हैं। शीर्ष् समुच्चय पर क्रम तब X के तत्वों और Δn के शीर्षों के बीच एक अद्वितीय आक्षेप को निर्दिष्ट करता है, सामान्य तरीके से e0 < e1 < ... < en का आदेश दिया जाता है। यदि YX आयाम m < n का एक फलक है, तो यह आक्षेप Δn का एक अद्वितीय m-आयामी फलक निर्दिष्ट करता है। F(Y) → F(X) को Δm के अद्वितीय एफ़िन परिवर्तन रैखिक एम्बेडिंग के रूप में परिभाषित करें, जो Δn के विशिष्ट फलक के रूप में है, जैसे कि कोने पर मानचित्र क्रम-संरक्षित है।

इसके पश्चात हम ज्यामितीय अहसास को फ़ंक्टर F के कोलिमिट के रूप में परिभाषित कर सकते हैं। अधिक विशेष रूप से असंयुक्त संघ का भागफल स्थान (टोपोलॉजी) है

तुल्यता संबंध द्वारा जो एक बिंदु yF(Y) को मानचित्र F(Y) → F(X) के अनुसार प्रत्येक समावेशन YX के लिए उसकी छवि के साथ पहचानता है।

उदाहरण

1. मान लीजिये V प्रमुखता n + 1 का एक परिमित समुच्चय है। शीर्ष्-समुच्चय V के साथ कॉम्बिनेटरियल n-एकधा एक एएससी है, जिसके फलक V के सभी गैर-रिक्त उपसमुच्चय हैं (अर्थात, यह V का सत्ता स्थापित है)। यदि V = S = {0, 1, ..., n}, तो इस एएससी को मानक कॉम्बीनेटरियल n-एकधा कहा जाता है।

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

3. मान लीजिये H एक हाइपरग्राफ है। H एक हाइपरग्राफ में मिलान H के किनारों का एक समुच्चय है, जिसमें प्रत्येक दो किनारों को भिन्न किया जाता है। H का मिलान परिसर एक एएससी है जिसके सभी फलक H में मेल खाते हैं। यह एच के रेखा ग्राफ का स्वतंत्रता परिसर है।

4. मान लीजिए कि P आंशिक रूप से आदेशित समुच्चय (पॉसमुच्चय) है। P का ऑर्डर सम्मिश्र एक एएससी है जिसके फलक P में सभी परिमित श्रृंखलाएँ हैं। इसके होमोलॉजी समूह और अन्य टोपोलॉजिकल अपरिवर्तनीय में पोसमुच्चय पी के बारे में महत्वपूर्ण जानकारी होती है।

5. मान लीजिये एम एक मीट्रिक समष्टि और δ एक वास्तविक संख्या है। विएटोरिस-रिप्स सम्मिश्र एक एएससी है जिसका फलक अधिकतम δ व्यास वाले एम के परिमित उपसमुच्चय हैं। इसमें समरूपता सिद्धांत, अतिशयोक्तिपूर्ण समूह, मूर्ति प्रोद्योगिकी और मोबाइल तदर्थ नेटवर्क में अनुप्रयोग हैं। यह ध्वज परिसर का एक और उदाहरण है।

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

7. एक टोपोलॉजिकल समष्टि के किसी भी विवृत आवरण सी के लिए, सी का तंत्रिका परिसर एक अमूर्त सरल सम्मिश्र है जिसमें सी के उप-परिवार एक गैर-रिक्त प्रतिच्छेदन के साथ होते हैं।

गणना

n लेबल वाले तत्वों तक (जो कि आकार n के एक समुच्चय S पर है) अमूर्त सरलीकृत परिसरों की संख्या nth डेडेकिंड संख्या से एक कम है। ये संख्याएँ बहुत तेज़ी से बढ़ती हैं, और मात्र n ≤ 8 के लिए जानी जाती हैं; डेडेकिंड संख्याएँ हैं (n = 0 से प्रारंभ):

1, 2, 5, 19, 167, 7580, 7828353, 2414682040997, 56130437228687557907787 (ओईआईएस में अनुक्रम A014466) यह एक n समुच्चय के उपसमुच्चय के गैर-रिक्त एंटीचाइन्स की संख्या से मेल खाती है।

अमूर्त साधारण परिसरों की संख्या जिनके कोने बिल्कुल एन लेबल वाले तत्व हैं, अनुक्रम "1, 2, 9, 114, 6894, 7785062, 2414627396434, 56130437209370320359966" (अनुक्रम A006126 ओईआईएस में) द्वारा दिया गया है, जो n = 1 से प्रारंभ होता है। यह लेबल वाले एन-समुच्चय के एंटीचैन कवर की संख्या से मेल खाता है; उनके अधिकतम चेहरों के संदर्भ में वर्णित एन तत्वों पर एक एन-समुच्चय और साधारण परिसरों के एंटीचैन कवर के बीच एक स्पष्ट आपत्ति है।

n = 1 से प्रारंभ होने वाले अनुक्रम "1, 2, 5, 20, 180, 16143" (ओईआईएस में अनुक्रम A006602) द्वारा अनुक्रमित सरलीकृत परिसरों की संख्या वास्तव में n लेबल रहित तत्वों पर दी गई है।

अभिकलनात्मक समस्याएं

साधारण सम्मिश्र मान्यता समस्या है: एक परिमित एएससी दिया गया है, यह तय करें कि क्या ज्यामितीय प्राप्ति किसी दिए गए ज्यामितीय वस्तु के लिए होमोमोर्फिक है। यह समस्या डी ≥ 5 के लिए किसी भी डी-आयामी मैनिफोल्ड के लिए अनिर्णीत समस्या है।

अन्य अवधारणाओं से संबंध

एक अतिरिक्त संपत्ति के साथ एक सार सरल परिसर जिसे वृद्धि संपत्ति या विनिमय संपत्ति कहा जाता है, एक मैट्रॉइड उत्पन्न करता है। निम्नलिखित अभिव्यक्ति शर्तों के बीच संबंधों को दर्शाती है:

(हाइपरग्राफ = समुच्चय-परिवार ⊃ स्वतंत्रता-प्रणाली = सार-सरल-परिसर ⊃ मैट्रोइड्स)

यह भी देखें

  • क्रुस्कल-काटोना प्रमेय
  • सरल समुच्चय

संदर्भ

  1. Lee, John M., Introduction to Topological Manifolds, Springer 2011, ISBN 1-4419-7939-5, p153
  2. Korte, Bernhard; Lovász, László; Schrader, Rainer (1991). लालची. Springer-Verlag. p. 9. ISBN 3-540-18190-3.
  3. 3.0 3.1 3.2 3.3 Matoušek, Jiří (2007). Using the Borsuk-Ulam Theorem: Lectures on Topological Methods in Combinatorics and Geometry (2nd ed.). Berlin-Heidelberg: Springer-Verlag. ISBN 978-3-540-00362-5. Written in cooperation with Anders Björner and Günter M. Ziegler , Section 4.3