साधारण सम्मिश्र: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
[[File:Simplicial complex example.svg|thumb|200px|एक सरल 3-कॉम्प्लेक्स।]]गणित में, सरल सम्मिश्र [[सेट (गणित)]] है जो [[बिंदु (ज्यामिति)]] से बना है, [[रेखा खंड]], [[त्रिकोण]], और उनके सिम्प्लेक्स |''एन''-आयामी समकक्ष (चित्रण देखें)सरलीकृत परिसरों को आधुनिक सरल होमोटोपी सिद्धांत में प्रकट होने वाले [[सरल सेट]] की अधिक सारगर्भित धारणा के साथ भ्रमित नहीं होना चाहिए। सरल सम्मिश्र के लिए विशुद्ध रूप से [[साहचर्य]] समकक्ष [[सार सरल जटिल|सार सरल सम्मिश्र]] है। सरल सरलीकृत परिसर को अमूर्त सरलीकृत परिसर से अलग करने के लिए, पूर्व को अक्सर ज्यामितीय सरलीकृत परिसर कहा जाता है।''<ref name=":0">{{Cite Matousek 2007}}, Section 4.3</ref>{{Rp|page=7}}
[[File:Simplicial complex example.svg|thumb|200px|एक सरल 3-कॉम्प्लेक्स।]]गणित में, एक सरल परिसर [[बिंदु (ज्यामिति)]], [[रेखा खंड]], [[त्रिकोण]] और उनके एन-आयामी समकक्षों (चित्रण देखें) से बना एक सेट है। सरलीकृत परिसरों को आधुनिक साधारण होमोटोपी सिद्धांत में प्रकट होने वाले [[सरल सेट]] की अधिक सारगर्भित धारणा के साथ भ्रमित नहीं होना चाहिए, एक साधारण जटिल के लिए विशुद्ध रूप से संयोजी समकक्ष एक [[सार सरल जटिल|सार सरल सम्मिश्र]] है। सरल सरलीकृत परिसर को अमूर्त सरलीकृत परिसर से अलग करने के लिए, पूर्व को अक्सर ज्यामितीय सरलीकृत परिसर कहा जाता है।''<ref name=":0">{{Cite Matousek 2007}}, Section 4.3</ref>{{Rp|page=7}}''


== परिभाषाएँ ==
== परिभाषाएँ ==
एक सरल परिसर <math>\mathcal{K}</math> सिम्पलेक्स का सेट है जो निम्नलिखित शर्तों को पूरा करता है:
एक साधारण परिसर <math>\mathcal{K}</math> सरलताओं का एक सेट है जो निम्नलिखित शर्तों को पूरा करता है:
:1. हर सिम्पलेक्स # [[सिंप्लेक्स]] के तत्व <math>\mathcal{K}</math> में भी है <math>\mathcal{K}</math>.
:1. <math>\mathcal{K}</math> से एक [[सिंप्लेक्स]] का हर चेहरा <math>\mathcal{K}</math> में भी है।
:2. किसी भी दो सरलताओं का गैर-खाली सेट चौराहा <math>\sigma_1, \sigma_2 \in \mathcal{K}</math> दोनों का चेहरा है <math>\sigma_1</math> और <math>\sigma_2</math>.
:2. किन्हीं दो सरलियों <math>\sigma_1, \sigma_2 \in \mathcal{K}</math> का गैर-रिक्त चौराहा <math>\sigma_1</math> और <math>\sigma_2</math> दोनों का एक चेहरा है।


एक सार सरल परिसर की परिभाषा भी देखें, जो ढीले ढंग से बोलना संबद्ध ज्यामिति के बिना सरल सम्मिश्र है।
एक सार सरल परिसर की परिभाषा भी देखें, जो ढीले ढंग से बोलना एक संबद्ध ज्यामिति के बिना एक साधारण जटिल है।


एक सरल ''के''-कॉम्प्लेक्स <math>\mathcal{K}</math> सरल सम्मिश्र है जहां किसी भी सरल का सबसे बड़ा आयाम है <math>\mathcal{K}</math> कश्मीर के बराबर उदाहरण के लिए, सरल 2-कॉम्प्लेक्स में कम से कम त्रिकोण होना चाहिए, और इसमें कोई [[टेट्राहेड्रा]] या उच्च-आयामी सरलता नहीं होनी चाहिए।
एक साधारण <math>\mathcal{K}</math>-कॉम्प्लेक्स <math>\mathcal{K}</math> एक साधारण जटिल है जहां <math>\mathcal{K}</math> में किसी भी सिम्प्लेक्स का सबसे बड़ा आयाम k के बराबर है। उदाहरण के लिए, एक साधारण 2-कॉम्प्लेक्स में कम से कम एक त्रिकोण होना चाहिए, और इसमें कोई [[टेट्राहेड्रा]] या उच्च-आयामी सरलता नहीं होनी चाहिए।


एक 'शुद्ध' या 'सजातीय' सरल के-कॉम्प्लेक्स <math>\mathcal{K}</math> सरल परिसर है जहां k से कम आयाम का प्रत्येक सरल किसी सरल का चेहरा है <math>\sigma \in \mathcal{K}</math> आयाम बिल्कुल k. अनौपचारिक रूप से, शुद्ध 1-कॉम्प्लेक्स ऐसा लगता है जैसे यह लाइनों के समूह से बना है, 2-कॉम्प्लेक्स ऐसा लगता है जैसे यह त्रिकोणों के समूह से बना है, आदि। इसके शीर्षों में से एक। शुद्ध सरल परिसरों को [[त्रिकोणासन (टोपोलॉजी)]] के रूप में माना जा सकता है और [[ polytope ]]्स की परिभाषा प्रदान करता है।
एक शुद्ध या सजातीय साधारण <math>\mathcal{K}</math>-कॉम्प्लेक्स <math>\mathcal{K}</math> एक साधारण परिसर है जहाँ k से कम आयाम का प्रत्येक सरल आयाम बिल्कुल <math>\mathcal{K}</math> के आयाम के कुछ सिंप्लेक्स <math>\sigma \in \mathcal{K}</math> का एक चेहरा है। अनौपचारिक रूप से, एक शुद्ध 1-जटिल "दिखता है" जैसे कि यह लाइनों के समूह से बना है, एक 2-जटिल "दिखता है" जैसे यह त्रिकोणों के समूह से बना है, आदि। एक गैर-सजातीय परिसर का एक उदाहरण एक त्रिभुज है जिसके एक कोने से एक रेखा खंड जुड़ा हुआ है। शुद्ध साधारण परिसरों को [[त्रिकोणासन (टोपोलॉजी)]] के रूप में माना जा सकता है और [[पॉलीटोप्स]] की परिभाषा प्रदान करता है।


एक 'पहलू' अधिकतम सिंप्लेक्स है, यानी, किसी कॉम्प्लेक्स में कोई सिम्प्लेक्स जो किसी बड़े सिंप्लेक्स का चेहरा नहीं है।<ref>{{citation|title=Triangulations: Structures for Algorithms and Applications|volume=25|series=Algorithms and Computation in Mathematics|first1=Jesús A.|last1=De Loera|author1-link=Jesús A. De Loera|first2=Jörg|last2=Rambau|first3=Francisco|last3=Santos|author3-link= Francisco Santos Leal|publisher=Springer|year=2010|isbn=9783642129711|page=493|url=https://books.google.com/books?id=SxY1Xrr12DwC&pg=PA493}}.</ref> (एक सिम्प्लेक्स के चेहरे से अंतर पर ध्यान दें। सिम्प्लेक्स का चेहरा)। शुद्ध सरल परिसर को सम्मिश्र के रूप में माना जा सकता है जहां सभी पहलुओं का ही आयाम होता है। सरल पॉलीटोप्स के (सीमा परिसरों) के लिए यह पॉलीहेड्रल कॉम्बिनेटरिक्स के अर्थ के साथ मेल खाता है।
एक पहलू एक अधिकतम सिंप्लेक्स है, यानी, किसी कॉम्प्लेक्स में कोई भी सिम्प्लेक्स जो किसी भी बड़े सिम्प्लेक्स का चेहरा नहीं है।<ref>{{citation|title=Triangulations: Structures for Algorithms and Applications|volume=25|series=Algorithms and Computation in Mathematics|first1=Jesús A.|last1=De Loera|author1-link=Jesús A. De Loera|first2=Jörg|last2=Rambau|first3=Francisco|last3=Santos|author3-link= Francisco Santos Leal|publisher=Springer|year=2010|isbn=9783642129711|page=493|url=https://books.google.com/books?id=SxY1Xrr12DwC&pg=PA493}}.</ref> (एक सिंप्लेक्स के "चेहरे" से अंतर पर ध्यान दें)। एक शुद्ध साधारण परिसर को एक जटिल के रूप में माना जा सकता है जहां सभी पहलुओं का एक ही आयाम होता है। साधारण पॉलीटोप्स के (सीमा परिसरों) के लिए यह पॉलीहेड्रल कॉम्बिनेटरिक्स के अर्थ के साथ मेल खाता है।


कभी-कभी शब्द का चेहरा सम्मिश्र के सिंप्लेक्स को संदर्भित करने के लिए उपयोग किया जाता है, न कि सिम्प्लेक्स के चेहरे से भ्रमित होने के लिए।
कभी-कभी शब्द का चेहरा एक जटिल के एक सिंप्लेक्स को संदर्भित करने के लिए उपयोग किया जाता है, न कि एक सिम्प्लेक्स के चेहरे से भ्रमित करने के लिए किया जाता है।


के-डायमेंशनल स्पेस में सरल कॉम्प्लेक्स [[एम्बेडिंग]] के लिए, के-फेस को कभी-कभी इसके 'सेल' के रूप में संदर्भित किया जाता है। सेल शब्द का प्रयोग कभी-कभी व्यापक अर्थ में सेट [[होमोमोर्फिज्म]] को सिम्प्लेक्स में निरूपित करने के लिए किया जाता है, जिससे [[ कोशिका परिसर ]] की परिभाषा हो जाती है।
के-डायमेंशनल स्पेस में सन्निहित सरल परिसर [[एम्बेडिंग]] के लिए, के-चेहरे को कभी-कभी इसकी कोशिकाओं के रूप में संदर्भित किया जाता है। सेल शब्द का प्रयोग कभी-कभी एक व्यापक अर्थ में एक सेट [[होमोमोर्फिज्म]] को एक सिम्प्लेक्स में निरूपित करने के लिए किया जाता है, जिससे [[ कोशिका परिसर |कोशिका परिसर]] की परिभाषा हो जाती है।


'अंतर्निहित स्थान', जिसे कभी-कभी सरल परिसर का 'वाहक' कहा जाता है, इसके सरलताओं का [[संघ (सेट सिद्धांत)]] है। इसे आमतौर पर द्वारा दर्शाया जाता है <math>|\mathcal{K}|</math> या <math>||\mathcal{K}||</math>.
अंतर्निहित स्थान, जिसे कभी-कभी एक साधारण परिसर का वाहक कहा जाता है, इसकी सरलताओं का [[संघ (सेट सिद्धांत)]] है। इसे आमतौर पर <math>|\mathcal{K}|</math> या <math>||\mathcal{K}||</math> द्वारा दर्शाया जाता है।


== समर्थन ==
== समर्थन ==
सभी सरलताओं के [[सापेक्ष आंतरिक]] भाग <math>\mathcal{K}</math> इसके अंतर्निहित स्थान का विभाजन बनाएं <math>|\mathcal{K}|</math>: प्रत्येक बिंदु के लिए <math>x\in |\mathcal{K}|</math>, इसमें बिल्कुल सिम्पलेक्स है <math>\mathcal{K}</math> युक्त <math>x</math> इसके सापेक्ष इंटीरियर में। इस सिम्प्लेक्स को 'x' का समर्थन कहा जाता है और निरूपित किया जाता है <math>\operatorname{supp}(x)</math>.<ref name=":02">{{Cite Matousek 2007}}, Section 4.3</ref>{{Rp|page=9|location=}}
<math>|\mathcal{K}|</math> में सभी सरलताओं के [[सापेक्ष आंतरिक]] स्थान इसके अंतर्निहित स्थान का एक विभाजन बनाते हैं <math>|\mathcal{K}|</math>: प्रत्येक बिंदु के लिए <math>x\in |\mathcal{K}|</math>, <math>\mathcal{K}</math> में बिल्कुल एक सिम्प्लेक्स है जिसमें इसके सापेक्ष इंटीरियर में <math>x</math> है। इस सिम्प्लेक्स को <math>x</math> का सपोर्ट कहा जाता है और इसे सपोर्ट <math>\operatorname{supp}(x)</math> के रूप में दर्शाया जाता है।<ref name=":02">{{Cite Matousek 2007}}, Section 4.3</ref>{{Rp|page=9|location=}}


== क्लोजर, स्टार और लिंक ==
== क्लोजर, स्टार और लिंक ==
Line 29: Line 29:
File:Simplicial complex link.svg|A {{color|#fc3|vertex}} और इसके {{color|#093|'''link'''}}.
File:Simplicial complex link.svg|A {{color|#fc3|vertex}} और इसके {{color|#093|'''link'''}}.
</gallery>
</gallery>
K को सरल परिसर होने दें और S को K में सरलताओं का संग्रह होने दें।
मान लीजिये K एक साधारण परिसर है, और यह भी माना जा सकता है की S भी K का सरलताओं का संग्रह है।


एस का 'बंद' (निरूपित <math>\mathrm{Cl}\ S</math>) K का सबसे छोटा सरल उपसमुच्चय है जिसमें S में प्रत्येक सिंप्लेक्स होता है। <math>\mathrm{Cl}\ S</math> एस में हर सिम्प्लेक्स के प्रत्येक चेहरे को बार-बार एस में जोड़कर प्राप्त किया जाता है।
S का बंद होना (निरूपित <math>\mathrm{Cl}\ S</math>) K का सबसे छोटा साधारण उपसमुच्चय है जिसमें S में प्रत्येक सिंप्लेक्स शामिल है। <math>\mathrm{Cl}\ S</math> को बार-बार S में प्रत्येक सिम्प्लेक्स के प्रत्येक फलक को S में जोड़कर प्राप्त किया जाता है।


S का 'तारा (सरल परिसर)' (निरूपित)। <math>\mathrm{st}\ S</math>) एस में प्रत्येक सिम्प्लेक्स के सितारों का मिलन है। एकल सिम्प्लेक्स एस के लिए, एस का तारा चेहरे के रूप में सरलता का सेट है{{clarify|date=September 2021}}. एस का सितारा आम तौर पर सरल परिसर नहीं है, इसलिए कुछ लेखक एस के 'बंद स्टार' को परिभाषित करते हैं (निरूपित) <math>\mathrm{St}\ S</math>) जैसा <math>\mathrm{Cl}\ \mathrm{st}\ S</math> S के तारे का बंद होना
S का तारा (निरूपित <math>\mathrm{st}\ S</math>) S में प्रत्येक सिम्प्लेक्स के सितारों का मिलन है। एक सिंप्लेक्स s के लिए, s का तारा चेहरे के रूप में s वाले सरलताओं का समूह है। एस का सितारा आम तौर पर एक साधारण परिसर नहीं है, इसलिए कुछ लेखक (निरूपित <math>\mathrm{St}\ S</math>}) <math>\mathrm{Cl}\ \mathrm{st}\ S</math> S के तारे का बंद होना एस के बंद सितारे को परिभाषित करते हैं।


''S'' का [[लिंक (ज्यामिति)]] (निरूपित <math>\mathrm{Lk}\ S</math>) बराबर है <math>\mathrm{Cl}\big(\mathrm{st}(S)\big) \setminus \mathrm{st}\big(\mathrm{Cl}(S)\big)</math>. यह S माइनस S का बंद तारा है जो S के सभी चेहरों का तारा है।
S का [[लिंक (ज्यामिति)]] (निरूपित <math>\mathrm{Lk}\ S</math>) बराबर <math>\mathrm{Cl}\big(\mathrm{st}(S)\big) \setminus \mathrm{st}\big(\mathrm{Cl}(S)\big)</math> है। यह S माइनस S का बंद तारा है जो S के सभी चेहरों का तारा है।


== बीजगणितीय टोपोलॉजी ==
== बीजगणितीय टोपोलॉजी ==
{{Main|Simplicial homology}}
{{Main|साधारण समरूपता}}
[[बीजगणितीय टोपोलॉजी]] में, सरल परिसर अक्सर ठोस गणनाओं के लिए उपयोगी होते हैं। सरल परिसर के होमोलॉजी समूहों की परिभाषा के लिए, कोई भी संबंधित श्रृंखला परिसर को सीधे पढ़ सकता है, बशर्ते कि सभी सरलताओं से सुसंगत अभिविन्यास बने हों। होमोटॉपी सिद्धांत की आवश्यकताएं अधिक सामान्य रिक्त स्थान, सीडब्ल्यू परिसरों के उपयोग की ओर ले जाती हैं। बीजगणितीय टोपोलॉजी में अनंत परिसर तकनीकी उपकरण बुनियादी हैं। उपसमुच्चयों से बने [[यूक्लिडियन अंतरिक्ष]] के उप-स्थानों के रूप में सरल परिसरों के पॉलीटॉप पर चर्चा भी देखें, जिनमें से प्रत्येक सरल है। [[पावेल सर्गेइविच अलेक्जेंड्रोव]] को कुछ और अधिक ठोस अवधारणा के लिए जिम्मेदार ठहराया गया है। यहाँ जिस अर्थ में बात की गई है, उसमें किसी भी परिमित सरल परिसर को कुछ बड़ी संख्या में आयामों में, उस अर्थ में पॉलीटॉप के रूप में एम्बेड किया जा सकता है। बीजगणितीय टोपोलॉजी में, [[ कॉम्पैक्ट जगह ]] [[टोपोलॉजिकल स्पेस]] जो परिमित सरल परिसर के ज्यामितीय प्राप्ति के लिए होमोमोर्फिक है, आमतौर पर [[ बहुतल ]] कहा जाता है (देखें {{harvnb|Spanier|1966}}, {{harvnb|Maunder|1996}}, {{harvnb|Hilton|Wylie|1967}}).
[[बीजगणितीय टोपोलॉजी]] में, साधारण परिसर अक्सर ठोस गणनाओं के लिए उपयोगी होते हैं। एक साधारण परिसर के होमोलॉजी समूहों की परिभाषा के लिए, कोई भी संबंधित श्रृंखला परिसर को सीधे पढ़ सकता है, बशर्ते कि सभी सरलताओं से सुसंगत अभिविन्यास बने हों, होमोटॉपी सिद्धांत की आवश्यकताएं अधिक सामान्य रिक्त स्थान, सीडब्ल्यू परिसरों के उपयोग की ओर ले जाती हैं। बीजगणितीय टोपोलॉजी में अनंत परिसर एक तकनीकी उपकरण बुनियादी हैं। उपसमुच्चयों से बने [[यूक्लिडियन अंतरिक्ष]] के उप-स्थानों के रूप में सरल परिसरों के पॉलीटॉप पर चर्चा भी देखें, जिनमें से प्रत्येक एक सरल है। [[पावेल सर्गेइविच अलेक्जेंड्रोव]] कुछ और अधिक ठोस अवधारणा का श्रेय अलेक्जेंड्रोव को दिया जाता है। यहाँ जिस अर्थ में बात की गई है, उसमें किसी भी परिमित सरल परिसर को कुछ बड़ी संख्या में आयामों में, उस अर्थ में एक पॉलीटॉप के रूप में एम्बेड किया जा सकता है। बीजगणितीय टोपोलॉजी में, एक [[ कॉम्पैक्ट जगह |कॉम्पैक्ट जगह]] [[टोपोलॉजिकल स्पेस]] जो एक परिमित सरल परिसर के ज्यामितीय अहसास के लिए होमोमोर्फिक है, आमतौर पर एक पॉलीहेड्रॉन कहा (देखें {{harvnb|Spanier|1966}}, {{harvnb|Maunder|1996}}, {{harvnb|Hilton|Wylie|1967}}) जाता है।


== कॉम्बिनेटरिक्स ==
== कॉम्बिनेटरिक्स ==
कॉम्बिनेटरिक्स अक्सर 'एफ'-वेक्टर का सरल डी-कॉम्प्लेक्स Δ का अध्ययन करते हैं, जो [[पूर्णांक]] अनुक्रम है <math>(f_0,  f_1,  f_2,  \ldots,  f_{d+1})</math>, जहां एफ<sub>''i''</sub> Δ के (i−1)-विमीय चेहरों की संख्या है (सम्मेलन के अनुसार, f<sub>0</sub>= 1 जब तक कि Δ खाली परिसर न हो)उदाहरण के लिए, यदि Δ [[अष्टफलक]] की सीमा है, तो इसका एफ-वेक्टर (1, 6, 12, 8) है, और यदि Δ ऊपर चित्रित पहला सरल सम्मिश्र है, तो इसका एफ-वेक्टर (1, 18, 23) है , 8, 1)क्रुस्कल-काटोना प्रमेय द्वारा सरलीकृत परिसरों के संभावित एफ-वैक्टरों का पूर्ण लक्षण वर्णन दिया गया है।
कॉम्बिनेटरियलिस्ट अक्सर एक साधारण डी-कॉम्प्लेक्स Δ के एफ-वेक्टर का अध्ययन करते हैं, जो [[पूर्णांक]] अनुक्रम <math>(f_0,  f_1,  f_2,  \ldots,  f_{d+1})</math> है, जहां f<sub>i</sub> Δ के (i−1)-विमीय चेहरों की (सम्मेलन के अनुसार, f0 = 1 जब तक कि Δ खाली कॉम्प्लेक्स न हो) संख्या है। उदाहरण के लिए, यदि Δ [[अष्टफलक]] की सीमा है, तो इसका एफ-वेक्टर (1, 6, 12, 8) है, और यदि Δ ऊपर चित्रित पहला साधारण जटिल है, तो इसका एफ-वेक्टर (1, 18, 23, 8, 1) है। क्रुस्कल-काटोना प्रमेय द्वारा सरलीकृत परिसरों के संभावित एफ-वैक्टरों का एक पूर्ण लक्षण वर्णन दिया गया है।


सरल डी-कॉम्प्लेक्स Δ के एफ-वेक्टर को [[बहुपद]] के गुणांक के रूप में उपयोग करके (घातांकों के घटते क्रम में लिखा गया), हम Δ का 'एफ-बहुपद' प्राप्त करते हैं। ऊपर दिए गए हमारे दो उदाहरणों में, f-बहुपद होंगे <math>x^3+6x^2+12x+8</math> और <math>x^4+18x^3+23x^2+8x+1</math>, क्रमश।
एक साधारण डी-कॉम्प्लेक्स Δ के एफ-वेक्टर को एक [[बहुपद]] के गुणांक के रूप में उपयोग करके (एक्सपोनेंट्स के घटते क्रम में लिखा गया), हम Δ का एफ-बहुपद प्राप्त करते हैं। ऊपर दिए गए हमारे दो उदाहरणों में, f-बहुपद <math>x^3+6x^2+12x+8</math> और <math>x^4+18x^3+23x^2+8x+1</math>, क्रमशः है।


कॉम्बिनेटरिस्ट अक्सर सरल सम्मिश्र Δ के एच-वेक्टर में काफी रुचि रखते हैं, जो बहुपद के गुणांकों का अनुक्रम है जो ''x'' − 1 को Δ'' के ''f''-बहुपद में प्लग करने के परिणामस्वरूप होता है। औपचारिक रूप से, यदि हम 'F' लिखते हैं<sub>Δ</sub>(x) Δ के एफ-बहुपद का मतलब है, तो Δ का 'एच-बहुपद' है
कॉम्बिनेटरिस्ट अक्सर एक साधारण जटिल Δ के h-वेक्टर में काफी रुचि रखते हैं, जो कि बहुपद के गुणांक का अनुक्रम है जो x - 1 को Δ के f-बहुपद में प्लग करने के परिणामस्वरूप होता है। औपचारिक रूप से, यदि हम Δ के f-बहुपद का मतलब FΔ(x) लिखते हैं, तो Δ का h-बहुपद है


:<math>F_\Delta(x-1)=h_0x^{d+1}+h_1x^d+h_2x^{d-1}+\cdots+h_dx+h_{d+1}</math>
:<math>F_\Delta(x-1)=h_0x^{d+1}+h_1x^d+h_2x^{d-1}+\cdots+h_dx+h_{d+1}</math>
और Δ का एच-वेक्टर है
और Δ का एच-वेक्टर है,


:<math>(h_0,  h_1,  h_2, \cdots,  h_{d+1}).</math>
:<math>(h_0,  h_1,  h_2, \cdots,  h_{d+1})</math>
हम ऑक्टाहेड्रोन सीमा (हमारा पहला उदाहरण) के एच-वेक्टर की गणना निम्नानुसार करते हैं:
हम ऑक्टाहेड्रोन सीमा (हमारा पहला उदाहरण) के एच-वेक्टर की गणना निम्नानुसार करते हैं:


Line 59: Line 59:
रिचर्ड पी. स्टैनली, बिलेरा और ली के प्रसिद्ध जी-प्रमेय द्वारा सभी सरल पॉलीटॉप एच-वैक्टर का पूर्ण लक्षण वर्णन दिया गया है।
रिचर्ड पी. स्टैनली, बिलेरा और ली के प्रसिद्ध जी-प्रमेय द्वारा सभी सरल पॉलीटॉप एच-वैक्टर का पूर्ण लक्षण वर्णन दिया गया है।


सरल परिसरों को समान ज्यामितीय संरचना के रूप में देखा जा सकता है जैसे कि गोले की पैकिंग का [[संपर्क ग्राफ]] (एक ग्राफ जहां गोले के केंद्र होते हैं और किनारों का अस्तित्व होता है यदि संबंधित पैकिंग तत्व दूसरे को स्पर्श करते हैं) और इस तरह का निर्धारण करने के लिए इस्तेमाल किया जा सकता है [[गोलाकार पैकिंग]] के कॉम्बिनेटरिक्स, जैसे कि स्फेयर पैकिंग में टचिंग जोड़े (1-सिंपलिस), टचिंग ट्रिपल (2-सिंपलिस), और टचिंग चौगुनी (3-सिंपलिस) की संख्या।
साधारण परिसरों को एक समान ज्यामितीय संरचना के रूप में देखा जा सकता है जैसे कि एक गोले की पैकिंग का [[संपर्क ग्राफ]] एक ग्राफ जहां गोले के केंद्र होते हैं और इस तरह का निर्धारण करने के लिए इस्तेमाल किया जा सकता है, [[गोलाकार पैकिंग]] के कॉम्बिनेटरिक्स, जैसे कि स्फेयर पैकिंग में टचिंग जोड़े (1-सिंपलिस), टचिंग ट्रिपल (2-सिंपलिस), और टचिंग चौगुनी (3-सिंपलिस) की संख्या और किनारों का अस्तित्व होता है यदि संबंधित पैकिंग तत्व एक दूसरे को स्पर्श करते हैं।


== कम्प्यूटेशनल समस्याएं ==
== कम्प्यूटेशनल समस्याएं ==
{{Main|Simplicial complex recognition problem}}
{{Main|सरल जटिल पहचान समस्या}}
सरल सम्मिश्र मान्यता समस्या है: परिमित सरलीकृत परिसर दिया गया है, यह तय करें कि यह किसी दिए गए ज्यामितीय वस्तु के लिए होमोमोर्फिक है या नहीं। यह समस्या डी ≥ 5 के लिए किसी भी डी-आयामी मैनिफोल्ड के लिए [[अनिर्णीत समस्या]] है।
 
साधारण जटिल मान्यता समस्या है: एक परिमित सरलीकृत परिसर दिया गया है, यह तय करें कि यह किसी दिए गए ज्यामितीय वस्तु के लिए होमोमोर्फिक है या नहीं, यह समस्या डी ≥ 5 के लिए किसी भी डी-आयामी मैनिफोल्ड के लिए [[अनिर्णीत समस्या]] है।


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

Revision as of 20:27, 11 May 2023

एक सरल 3-कॉम्प्लेक्स।

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

परिभाषाएँ

एक साधारण परिसर सरलताओं का एक सेट है जो निम्नलिखित शर्तों को पूरा करता है:

1. से एक सिंप्लेक्स का हर चेहरा में भी है।
2. किन्हीं दो सरलियों का गैर-रिक्त चौराहा और दोनों का एक चेहरा है।

एक सार सरल परिसर की परिभाषा भी देखें, जो ढीले ढंग से बोलना एक संबद्ध ज्यामिति के बिना एक साधारण जटिल है।

एक साधारण -कॉम्प्लेक्स एक साधारण जटिल है जहां में किसी भी सिम्प्लेक्स का सबसे बड़ा आयाम k के बराबर है। उदाहरण के लिए, एक साधारण 2-कॉम्प्लेक्स में कम से कम एक त्रिकोण होना चाहिए, और इसमें कोई टेट्राहेड्रा या उच्च-आयामी सरलता नहीं होनी चाहिए।

एक शुद्ध या सजातीय साधारण -कॉम्प्लेक्स एक साधारण परिसर है जहाँ k से कम आयाम का प्रत्येक सरल आयाम बिल्कुल के आयाम के कुछ सिंप्लेक्स का एक चेहरा है। अनौपचारिक रूप से, एक शुद्ध 1-जटिल "दिखता है" जैसे कि यह लाइनों के समूह से बना है, एक 2-जटिल "दिखता है" जैसे यह त्रिकोणों के समूह से बना है, आदि। एक गैर-सजातीय परिसर का एक उदाहरण एक त्रिभुज है जिसके एक कोने से एक रेखा खंड जुड़ा हुआ है। शुद्ध साधारण परिसरों को त्रिकोणासन (टोपोलॉजी) के रूप में माना जा सकता है और पॉलीटोप्स की परिभाषा प्रदान करता है।

एक पहलू एक अधिकतम सिंप्लेक्स है, यानी, किसी कॉम्प्लेक्स में कोई भी सिम्प्लेक्स जो किसी भी बड़े सिम्प्लेक्स का चेहरा नहीं है।[2] (एक सिंप्लेक्स के "चेहरे" से अंतर पर ध्यान दें)। एक शुद्ध साधारण परिसर को एक जटिल के रूप में माना जा सकता है जहां सभी पहलुओं का एक ही आयाम होता है। साधारण पॉलीटोप्स के (सीमा परिसरों) के लिए यह पॉलीहेड्रल कॉम्बिनेटरिक्स के अर्थ के साथ मेल खाता है।

कभी-कभी शब्द का चेहरा एक जटिल के एक सिंप्लेक्स को संदर्भित करने के लिए उपयोग किया जाता है, न कि एक सिम्प्लेक्स के चेहरे से भ्रमित करने के लिए किया जाता है।

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

अंतर्निहित स्थान, जिसे कभी-कभी एक साधारण परिसर का वाहक कहा जाता है, इसकी सरलताओं का संघ (सेट सिद्धांत) है। इसे आमतौर पर या द्वारा दर्शाया जाता है।

समर्थन

में सभी सरलताओं के सापेक्ष आंतरिक स्थान इसके अंतर्निहित स्थान का एक विभाजन बनाते हैं : प्रत्येक बिंदु के लिए , में बिल्कुल एक सिम्प्लेक्स है जिसमें इसके सापेक्ष इंटीरियर में है। इस सिम्प्लेक्स को का सपोर्ट कहा जाता है और इसे सपोर्ट के रूप में दर्शाया जाता है।[3]: 9 

क्लोजर, स्टार और लिंक

मान लीजिये K एक साधारण परिसर है, और यह भी माना जा सकता है की S भी K का सरलताओं का संग्रह है।

S का बंद होना (निरूपित ) K का सबसे छोटा साधारण उपसमुच्चय है जिसमें S में प्रत्येक सिंप्लेक्स शामिल है। को बार-बार S में प्रत्येक सिम्प्लेक्स के प्रत्येक फलक को S में जोड़कर प्राप्त किया जाता है।

S का तारा (निरूपित ) S में प्रत्येक सिम्प्लेक्स के सितारों का मिलन है। एक सिंप्लेक्स s के लिए, s का तारा चेहरे के रूप में s वाले सरलताओं का समूह है। एस का सितारा आम तौर पर एक साधारण परिसर नहीं है, इसलिए कुछ लेखक (निरूपित }) S के तारे का बंद होना एस के बंद सितारे को परिभाषित करते हैं।

S का लिंक (ज्यामिति) (निरूपित ) बराबर है। यह S माइनस S का बंद तारा है जो S के सभी चेहरों का तारा है।

बीजगणितीय टोपोलॉजी

बीजगणितीय टोपोलॉजी में, साधारण परिसर अक्सर ठोस गणनाओं के लिए उपयोगी होते हैं। एक साधारण परिसर के होमोलॉजी समूहों की परिभाषा के लिए, कोई भी संबंधित श्रृंखला परिसर को सीधे पढ़ सकता है, बशर्ते कि सभी सरलताओं से सुसंगत अभिविन्यास बने हों, होमोटॉपी सिद्धांत की आवश्यकताएं अधिक सामान्य रिक्त स्थान, सीडब्ल्यू परिसरों के उपयोग की ओर ले जाती हैं। बीजगणितीय टोपोलॉजी में अनंत परिसर एक तकनीकी उपकरण बुनियादी हैं। उपसमुच्चयों से बने यूक्लिडियन अंतरिक्ष के उप-स्थानों के रूप में सरल परिसरों के पॉलीटॉप पर चर्चा भी देखें, जिनमें से प्रत्येक एक सरल है। पावेल सर्गेइविच अलेक्जेंड्रोव कुछ और अधिक ठोस अवधारणा का श्रेय अलेक्जेंड्रोव को दिया जाता है। यहाँ जिस अर्थ में बात की गई है, उसमें किसी भी परिमित सरल परिसर को कुछ बड़ी संख्या में आयामों में, उस अर्थ में एक पॉलीटॉप के रूप में एम्बेड किया जा सकता है। बीजगणितीय टोपोलॉजी में, एक कॉम्पैक्ट जगह टोपोलॉजिकल स्पेस जो एक परिमित सरल परिसर के ज्यामितीय अहसास के लिए होमोमोर्फिक है, आमतौर पर एक पॉलीहेड्रॉन कहा (देखें Spanier 1966, Maunder 1996, Hilton & Wylie 1967) जाता है।

कॉम्बिनेटरिक्स

कॉम्बिनेटरियलिस्ट अक्सर एक साधारण डी-कॉम्प्लेक्स Δ के एफ-वेक्टर का अध्ययन करते हैं, जो पूर्णांक अनुक्रम है, जहां fi Δ के (i−1)-विमीय चेहरों की (सम्मेलन के अनुसार, f0 = 1 जब तक कि Δ खाली कॉम्प्लेक्स न हो) संख्या है। उदाहरण के लिए, यदि Δ अष्टफलक की सीमा है, तो इसका एफ-वेक्टर (1, 6, 12, 8) है, और यदि Δ ऊपर चित्रित पहला साधारण जटिल है, तो इसका एफ-वेक्टर (1, 18, 23, 8, 1) है। क्रुस्कल-काटोना प्रमेय द्वारा सरलीकृत परिसरों के संभावित एफ-वैक्टरों का एक पूर्ण लक्षण वर्णन दिया गया है।

एक साधारण डी-कॉम्प्लेक्स Δ के एफ-वेक्टर को एक बहुपद के गुणांक के रूप में उपयोग करके (एक्सपोनेंट्स के घटते क्रम में लिखा गया), हम Δ का एफ-बहुपद प्राप्त करते हैं। ऊपर दिए गए हमारे दो उदाहरणों में, f-बहुपद और , क्रमशः है।

कॉम्बिनेटरिस्ट अक्सर एक साधारण जटिल Δ के h-वेक्टर में काफी रुचि रखते हैं, जो कि बहुपद के गुणांक का अनुक्रम है जो x - 1 को Δ के f-बहुपद में प्लग करने के परिणामस्वरूप होता है। औपचारिक रूप से, यदि हम Δ के f-बहुपद का मतलब FΔ(x) लिखते हैं, तो Δ का h-बहुपद है

और Δ का एच-वेक्टर है,

हम ऑक्टाहेड्रोन सीमा (हमारा पहला उदाहरण) के एच-वेक्टर की गणना निम्नानुसार करते हैं:

तो ऑक्टाहेड्रॉन की सीमा का एच-वेक्टर (1, 3, 3, 1) है। यह कोई संयोग नहीं है कि यह एच-वेक्टर सममित है। वास्तव में, ऐसा तब होता है जब Δ सरल पॉलीटॉप की सीमा होती है (ये देह्न-सोमरविले समीकरण हैं)। सामान्य तौर पर, हालांकि, सरल परिसर का एच-वेक्टर भी आवश्यक रूप से सकारात्मक नहीं होता है। उदाहरण के लिए, यदि हम Δ को केवल उभयनिष्ठ शीर्ष पर प्रतिच्छेद करने वाले दो त्रिभुजों द्वारा दिए गए 2-कॉम्प्लेक्स के रूप में लेते हैं, तो परिणामी h-वेक्टर (1, 3, -2) है।

रिचर्ड पी. स्टैनली, बिलेरा और ली के प्रसिद्ध जी-प्रमेय द्वारा सभी सरल पॉलीटॉप एच-वैक्टर का पूर्ण लक्षण वर्णन दिया गया है।

साधारण परिसरों को एक समान ज्यामितीय संरचना के रूप में देखा जा सकता है जैसे कि एक गोले की पैकिंग का संपर्क ग्राफ एक ग्राफ जहां गोले के केंद्र होते हैं और इस तरह का निर्धारण करने के लिए इस्तेमाल किया जा सकता है, गोलाकार पैकिंग के कॉम्बिनेटरिक्स, जैसे कि स्फेयर पैकिंग में टचिंग जोड़े (1-सिंपलिस), टचिंग ट्रिपल (2-सिंपलिस), और टचिंग चौगुनी (3-सिंपलिस) की संख्या और किनारों का अस्तित्व होता है यदि संबंधित पैकिंग तत्व एक दूसरे को स्पर्श करते हैं।

कम्प्यूटेशनल समस्याएं

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

यह भी देखें

संदर्भ

  1. 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
  2. De Loera, Jesús A.; Rambau, Jörg; Santos, Francisco (2010), Triangulations: Structures for Algorithms and Applications, Algorithms and Computation in Mathematics, vol. 25, Springer, p. 493, ISBN 9783642129711.
  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


बाहरी संबंध