सार सरल जटिल

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

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

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

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

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

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

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

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

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

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

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

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


 * $$ \Delta/Y := \{ X\in \Delta \mid X\cap Y = \varnothing,\, X\cup Y \in \Delta \} $$

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

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

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

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

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

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

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

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

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

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

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

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


 * $$\coprod_{X \in K}{F(X)}$$

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

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

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 के लिए किसी भी डी-आयामी मैनिफोल्ड के लिए अनिर्णीत समस्या है।

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

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

यह भी देखें

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