असतत मोर्स सिद्धांत: Difference between revisions
No edit summary |
No edit summary |
||
(7 intermediate revisions by 3 users not shown) | |||
Line 5: | Line 5: | ||
== सीडब्ल्यू परिसरों के संबंध में संकेतन == | == सीडब्ल्यू परिसरों के संबंध में संकेतन == | ||
यदि <math>X</math> [[सीडब्ल्यू कॉम्प्लेक्स|सीडब्ल्यू]] एक शृंखला है और<math>\mathcal{X}</math> उसके सेल | माना यदि <math>X</math> [[सीडब्ल्यू कॉम्प्लेक्स|सीडब्ल्यू]] एक शृंखला है और <math>\mathcal{X}</math> उसके सेल समुच्चय को दर्शाता है। आपतन फलन <math>\kappa\colon\mathcal{X} \times \mathcal{X} \to \mathbb{Z}</math> को निम्न प्रकार से परिभाषित किया जाता है: दो सेल <math>\sigma</math> और <math>\tau</math> में <math>\mathcal{X}</math>, यदि उस संलग्न आरेख <math>\kappa(\sigma,~\tau)</math> के डिग्री को दर्शाता है जो सीडब्ल्यू शृंखला की सीमा <math>\sigma</math> से <math>\tau</math> तक मान्य होती है। सीमा संकार्य <math>\partial</math> एक एंडोमॉर्फिज्म है जो <math>\mathcal{X}</math> द्वारा उत्पन्न मुक्त एबेलियन समूह का एक भाग है जिसे निम्नलिखित रूप में परिभाषित किया जाता है। | ||
:<math>\partial(\sigma) = \sum_{\tau \in \mathcal{X}}\kappa(\sigma,\tau)\tau.</math> | :<math>\partial(\sigma) = \sum_{\tau \in \mathcal{X}}\kappa(\sigma,\tau)\tau.</math> | ||
यह सीमा संचालकों | यह सीमा संचालकों <math>\partial\circ\partial \equiv 0</math>. का एक परिभाषित गुण है। अधिक स्वयंसिद्ध परिभाषाओं में<ref>{{cite journal|last1=Mischaikow|first1=Konstantin|last2=Nanda|first2=Vidit|title=फ़िल्ट्रेशन के लिए मोर्स थ्योरी और परसिस्टेंट होमोलॉजी की कुशल संगणना|journal=[[Discrete & Computational Geometry]]|volume=50|issue=2|pages=330–353|doi=10.1007/s00454-013-9529-6|year=2013|doi-access=free}}</ref> <math>\forall \sigma,\tau^{\prime} \in \mathcal{X}</math> परिमित रूप से मान्य होगा । | ||
:<math> \sum_{\tau \in \mathcal{X}} \kappa(\sigma,\tau) \kappa(\tau,\tau^{\prime}) = 0</math> | :<math> \sum_{\tau \in \mathcal{X}} \kappa(\sigma,\tau) \kappa(\tau,\tau^{\prime}) = 0</math> | ||
जो सीमा | जो सीमा संकार्य की उपरोक्त परिभाषा और उस आवश्यकता का परिणाम <math>\partial\circ\partial \equiv 0</math>.है। | ||
== असतत मोर्स कार्य == | == असतत मोर्स कार्य == | ||
एक [[वास्तविक संख्या]]-मूल्यवान | एक [[वास्तविक संख्या]]-मूल्यवान फलन <math>\mu\colon\mathcal{X} \to \mathbb{R}</math> असतत मोर्स फलन है यदि यह निम्नलिखित दो गुणों को संतुष्ट करता है: | ||
# किसी भी सेल के लिए <math>\sigma \in \mathcal{X}</math>, | # किसी भी सेल के लिए <math>\sigma \in \mathcal{X}</math>, सेलों की संख्या <math>\tau \in \mathcal{X}</math> की सीमा में <math>\sigma</math> जो <math>\mu(\sigma) \leq \mu(\tau)</math> में अधिक से अधिक एक को धारण करता है। | ||
# किसी भी सेल के लिए <math>\sigma \in \mathcal{X}</math>, | # किसी भी सेल के लिए <math>\sigma \in \mathcal{X}</math>, सेलों की संख्या <math>\tau \in \mathcal{X}</math> युक्त <math>\sigma</math> उनकी सीमा में जो <math>\mu(\sigma) \geq \mu(\tau)</math> में अधिक से अधिक एक को धारण करता है। | ||
इसे | इसे इस प्रकार दर्शाया जा सकता है<ref>{{harvnb|Forman|1998|loc=Lemma 2.5}}</ref> कि दो स्थितियों में सांख्यिकता एक निश्चित सेल <math>\sigma</math> के लिए एक साथ एक नहीं हो सकती हैं उसे उपलब्ध कराया गया <math>\mathcal{X}</math> एक नियमित सीडब्ल्यू कॉम्प्लेक्स है। इस परिप्रेक्ष्य में, प्रत्येक सेल <math>\sigma \in \mathcal{X}</math> अधिकतम एक असाधारण सेल <math>\tau \in \mathcal{X}</math> के साथ युग्मित किया जा सकता है। जिन सेलों में कोई युग्म नहीं होते हैं, अर्थात, जिनके कार्य मान उनकी सीमा सेलों से अधिक होते हैं और उनकी सह-सीमा सेलों से कम होते हैं, उन्हें 'महत्वपूर्ण' सेल कहा जाता है। इस प्रकार, असतत मोर्स फलन सीडब्ल्यू कॉम्प्लेक्स को तीन भिन्न-भिन्न सेल संग्रहों <math>\mathcal{X} = \mathcal{A} \sqcup \mathcal{K} \sqcup \mathcal{Q}</math> में विभाजित करता है: ,जहाँ: | ||
# <math>\mathcal{A}</math> उन महत्वपूर्ण | # <math>\mathcal{A}</math> उन महत्वपूर्ण सेलों को दर्शाता है जो अयुग्मित हैं, | ||
# <math>\mathcal{K}</math> उन | # <math>\mathcal{K}</math> उन सेलों को दर्शाता है जो सीमा सेलों के साथ निर्मित होती हैं, और | ||
# <math>\mathcal{Q}</math> उन | # <math>\mathcal{Q}</math> उन सेलों को दर्शाता है जो सह-सीमा सेलों के साथ निर्मित होती हैं। | ||
निर्माण के द्वारा, <math>k</math>- में <math>\mathcal{K}</math> आयामी सेलों और <math>\mathcal{Q}</math>, में <math>(k-1)</math> आयामी सेलों के मध्य [[सेट (गणित)|समुच्चय]] का एक आक्षेप होता है, जो प्रत्येक प्राकृतिक संख्या <math>\mathcal{K}</math> के लिए <math>p^k\colon\mathcal{K}^k \to \mathcal{Q}^{k-1}</math> को दर्शाया जा सकता है। यह एक अतिरिक्त तकनीकी आवश्यकता है कि प्रत्येक <math>K \in \mathcal{K}^k</math>के लिए,<math>K</math> की सीमा से संलग्न आरेख की श्रेणी <math>K</math> इसके युग्मित सेल के लिए <math>p^k(K) \in \mathcal{Q}</math> की अंतर्निहित रिंग में एक इकाई<math>\mathcal{X}</math> है, उदाहरण के लिए, [[पूर्णांक]] पर <math>\mathbb{Z}</math>, मात्र <math>\pm 1</math> मान स्वीकार्य हैं, इस तकनीकी आवश्यकता की प्रतिभूति होती है,, उदाहरण के लिए, जब मान लिया जाता है कि <math>\mathcal{X}</math>. <math>\mathbb{Z}</math> पर एक नियमित सीडब्ल्यू संकुल है। | |||
असतत मोर्स सिद्धांत का मौलिक परिणाम यह स्थापित करता है कि CW | असतत मोर्स सिद्धांत का मौलिक परिणाम यह स्थापित करता है कि CW समकक्ष <math>\mathcal{X}</math> होमोलोजी के स्तर पर महत्वपूर्ण सेलों से बना नया समकक्ष <math>\mathcal{A}</math> के समान होता है। <math>\mathcal{K}</math> और <math>\mathcal{Q}</math> में वर्णित सेल परिचालन योग्य सेलों के मध्य विस्तृत मार्गों का वर्णन करती हैं जिनका उपयोग सीमा संचालकों के रूप में <math>\mathcal{A}</math> को प्राप्त करने के लिए किया जा सकता है, इस निर्माण के कुछ विवरण अगले खंड में दिए गए हैं। | ||
== मोर्स कॉम्प्लेक्स == | == मोर्स कॉम्प्लेक्स == | ||
एक | एक प्रवणता पथ युग्मित सेलों की एक अनुक्रमिक सरणी होती है। | ||
:<math>\rho = (Q_1, K_1, Q_2, K_2, \ldots, Q_M, K_M)</math> | :<math>\rho = (Q_1, K_1, Q_2, K_2, \ldots, Q_M, K_M)</math> | ||
संतोषजनक [ <math>Q_m = p(K_m)</math> और <math>\kappa(K_m,~Q_{m+1}) \neq 0</math>. इस प्रवणता पथ के सूचकांक को पूर्णांक के रूप में परिभाषित किया गया है। | |||
:<math>\nu(\rho) = \frac{\prod_{m=1}^{M-1}-\kappa(K_m,Q_{m+1})}{\prod_{m=1}^{M}\kappa(K_m,Q_m)}.</math> | :<math>\nu(\rho) = \frac{\prod_{m=1}^{M-1}-\kappa(K_m,Q_{m+1})}{\prod_{m=1}^{M}\kappa(K_m,Q_m)}.</math> | ||
यहाँ विभाजन समझ में आता है क्योंकि युग्मित | यहाँ विभाजन समझ में आता है क्योंकि युग्मित सेलों के मध्य की घटना <math>\pm 1</math> होनी चाहिए। ध्यान दें कि निर्माण के द्वारा, असतत मोर्स फलन <math>\mu</math> के मान <math>\rho</math> के अंदर घटते होना चाहिए। पथ P दो महत्वपूर्ण सेलों <math>A,A' \in \mathcal{A}</math> को जोड़ता है यदि <math>\kappa(A,Q_1) \neq 0 \neq \kappa(K_M,A')</math>.होता है। इस संबंध को <math>A \stackrel{\rho}{\to} A'</math>व्यक्त किया जा सकता है, इस संबंध की बहुलता को <math>m(\rho) = \kappa(A,Q_1)\cdot\nu(\rho)\cdot\kappa(K_M,A')</math> पूर्णांक के रूप में परिभाषित किया गया है, अंत में, महत्वपूर्ण सेलों पर मोर्स सीमा संचालक <math>\mathcal{A}</math> द्वारा परिभाषित किया गया है। | ||
:<math>\Delta(A) = \kappa(A,A') + \sum_{A \stackrel{\rho}{\to} A'}m(\rho) A'</math> | :<math>\Delta(A) = \kappa(A,A') + \sum_{A \stackrel{\rho}{\to} A'}m(\rho) A'</math> | ||
जहां | जहां<math>A</math> से <math>A</math> तक सभी प्रवणता पथ संबंधों के योग से लिया जाता है। . | ||
== मूल परिणाम == | == मूल परिणाम == | ||
निरंतर मोर्स सिद्धांत के कई परिचित परिणाम असतत | निरंतर मोर्स सिद्धांत के कई परिचित परिणाम असतत समुच्चयिंग में लागू होते हैं। | ||
=== मोर्स असमानताएं === | === मोर्स असमानताएं === | ||
यदि <math>\mathcal{X}</math> सीडब्ल्यू कॉम्प्लेक्स से संबंधित होता है तो <math>\mathcal{A}</math> एक मोर्स कॉम्प्लेक्स होगा।. <math>m_q = |\mathcal{A}_q|</math>संख्या <math>\mathcal{A}</math> मे <math>q</math>-सेलों की होती है , जो <math>q</math>-वाँ मोर्स संख्या कहलाली है, यदि <math>\mathcal{X}</math> की q-वेत्ति संख्या को <math>\beta_q</math> से दर्शाया जाता है। तो <math>N > 0</math>,के लिए निम्नलिखित असमानताएँ<ref>{{harvnb|Forman|1998|loc=Corollaries 3.5 and 3.6}}</ref> होती है, | |||
:<math>m_N \geq \beta_N</math>, और | :<math>m_N \geq \beta_N</math>, और | ||
:<math>m_N - m_{N-1} + \dots \pm m_0 \geq \beta_N - \beta_{N-1} + \dots \pm \beta_0</math> | :<math>m_N - m_{N-1} + \dots \pm m_0 \geq \beta_N - \beta_{N-1} + \dots \pm \beta_0</math> | ||
इसके | इसके अतिरिक्त, [[यूलर विशेषता]] <math>\chi(\mathcal{X})</math> को <math>\mathcal{X}</math> स्वीकृत किया जाता है | ||
:<math>\chi(\mathcal{X}) = m_0 - m_1 + \dots \pm m_{\dim \mathcal{X}}</math> | :<math>\chi(\mathcal{X}) = m_0 - m_1 + \dots \pm m_{\dim \mathcal{X}}</math> | ||
===असतत मोर्स होमोलॉजी और होमोटॉपी | ===असतत मोर्स होमोलॉजी और होमोटॉपी प्रकार === | ||
यदि <math>\mathcal{X}</math> सीमा संचालक के साथ एक नियमित सीडब्ल्यू <math>\partial</math> कॉम्प्लेक्स बनें और <math>\mu\colon\mathcal{X} \to \mathbb{R}</math>असतत मोर्स फलन, और <math>\mathcal{A}</math> मोर्स सीमा संकार्य के साथ <math>\Delta</math>संबंधित मोर्स कॉम्प्लेक्स हो, तब , समरूपता समूहों का एक होमोलॉजी है, <ref>{{harvnb|Forman|1998|loc=Theorem 7.3}}</ref> | |||
:<math>H_*(\mathcal{X},\partial) \simeq H_*(\mathcal{A},\Delta),</math> | :<math>H_*(\mathcal{X},\partial) \simeq H_*(\mathcal{A},\Delta),</math> | ||
और इसी तरह होमोटॉपी समूहों के | और इसी तरह होमोटॉपी समूहों के लिए भी है | ||
== अनुप्रयोग == | == अनुप्रयोग == | ||
असतत मोर्स सिद्धांत आणविक आकार विश्लेषण | असतत मोर्स सिद्धांत का उपयोग आणविक आकार विश्लेषण डिजिटल छवियों / मात्राओं का कंकालकरण, कोलाहल डेटा से आरेख पुनर्निर्माण, कोलाहल बिंदुओ को अस्वीकार करने और पुरातत्व में लिथिक उपकरणों का विश्लेषण करने आदि में होता है। | ||
Line 102: | Line 104: | ||
* {{cite web|url=http://ncatlab.org/nlab/show/discrete+Morse+theory|title=Discrete Morse theory|publisher=[[nLab]]}} | * {{cite web|url=http://ncatlab.org/nlab/show/discrete+Morse+theory|title=Discrete Morse theory|publisher=[[nLab]]}} | ||
{{refend}} | {{refend}} | ||
[[Category:Created On 01/05/2023]] | [[Category:Created On 01/05/2023]] | ||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with reference errors]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:कम्प्यूटेशनल टोपोलॉजी]] | |||
[[Category:मोर्स सिद्धांत]] | |||
[[Category:साहचर्य]] |
Latest revision as of 18:46, 16 May 2023
असतत मोर्स सिद्धांत रॉबिन फोरमैन द्वारा विकसित मोर्स सिद्धांत का मिश्रित रूपांतरण है।[1]यह सिद्धांत विभिन्न विषयों में लागू गणित और कंप्यूटर विज्ञान के विभिन्न क्षेत्रों में व्यावहारिक अनुप्रयोगों, जैसे कि विन्यास स्थान, होमोलोजी संगणना, डिनोइसिंग, मेश संपीड़न,और सांस्थितिक डेटा विश्लेषण आदि में उपयोग किया जाता है।
सीडब्ल्यू परिसरों के संबंध में संकेतन
माना यदि सीडब्ल्यू एक शृंखला है और उसके सेल समुच्चय को दर्शाता है। आपतन फलन को निम्न प्रकार से परिभाषित किया जाता है: दो सेल और में , यदि उस संलग्न आरेख के डिग्री को दर्शाता है जो सीडब्ल्यू शृंखला की सीमा से तक मान्य होती है। सीमा संकार्य एक एंडोमॉर्फिज्म है जो द्वारा उत्पन्न मुक्त एबेलियन समूह का एक भाग है जिसे निम्नलिखित रूप में परिभाषित किया जाता है।
यह सीमा संचालकों . का एक परिभाषित गुण है। अधिक स्वयंसिद्ध परिभाषाओं में[2] परिमित रूप से मान्य होगा ।
जो सीमा संकार्य की उपरोक्त परिभाषा और उस आवश्यकता का परिणाम .है।
असतत मोर्स कार्य
एक वास्तविक संख्या-मूल्यवान फलन असतत मोर्स फलन है यदि यह निम्नलिखित दो गुणों को संतुष्ट करता है:
- किसी भी सेल के लिए , सेलों की संख्या की सीमा में जो में अधिक से अधिक एक को धारण करता है।
- किसी भी सेल के लिए , सेलों की संख्या युक्त उनकी सीमा में जो में अधिक से अधिक एक को धारण करता है।
इसे इस प्रकार दर्शाया जा सकता है[3] कि दो स्थितियों में सांख्यिकता एक निश्चित सेल के लिए एक साथ एक नहीं हो सकती हैं उसे उपलब्ध कराया गया एक नियमित सीडब्ल्यू कॉम्प्लेक्स है। इस परिप्रेक्ष्य में, प्रत्येक सेल अधिकतम एक असाधारण सेल के साथ युग्मित किया जा सकता है। जिन सेलों में कोई युग्म नहीं होते हैं, अर्थात, जिनके कार्य मान उनकी सीमा सेलों से अधिक होते हैं और उनकी सह-सीमा सेलों से कम होते हैं, उन्हें 'महत्वपूर्ण' सेल कहा जाता है। इस प्रकार, असतत मोर्स फलन सीडब्ल्यू कॉम्प्लेक्स को तीन भिन्न-भिन्न सेल संग्रहों में विभाजित करता है: ,जहाँ:
- उन महत्वपूर्ण सेलों को दर्शाता है जो अयुग्मित हैं,
- उन सेलों को दर्शाता है जो सीमा सेलों के साथ निर्मित होती हैं, और
- उन सेलों को दर्शाता है जो सह-सीमा सेलों के साथ निर्मित होती हैं।
निर्माण के द्वारा, - में आयामी सेलों और , में आयामी सेलों के मध्य समुच्चय का एक आक्षेप होता है, जो प्रत्येक प्राकृतिक संख्या के लिए को दर्शाया जा सकता है। यह एक अतिरिक्त तकनीकी आवश्यकता है कि प्रत्येक के लिए, की सीमा से संलग्न आरेख की श्रेणी इसके युग्मित सेल के लिए की अंतर्निहित रिंग में एक इकाई है, उदाहरण के लिए, पूर्णांक पर , मात्र मान स्वीकार्य हैं, इस तकनीकी आवश्यकता की प्रतिभूति होती है,, उदाहरण के लिए, जब मान लिया जाता है कि . पर एक नियमित सीडब्ल्यू संकुल है।
असतत मोर्स सिद्धांत का मौलिक परिणाम यह स्थापित करता है कि CW समकक्ष होमोलोजी के स्तर पर महत्वपूर्ण सेलों से बना नया समकक्ष के समान होता है। और में वर्णित सेल परिचालन योग्य सेलों के मध्य विस्तृत मार्गों का वर्णन करती हैं जिनका उपयोग सीमा संचालकों के रूप में को प्राप्त करने के लिए किया जा सकता है, इस निर्माण के कुछ विवरण अगले खंड में दिए गए हैं।
मोर्स कॉम्प्लेक्स
एक प्रवणता पथ युग्मित सेलों की एक अनुक्रमिक सरणी होती है।
संतोषजनक [ और . इस प्रवणता पथ के सूचकांक को पूर्णांक के रूप में परिभाषित किया गया है।
यहाँ विभाजन समझ में आता है क्योंकि युग्मित सेलों के मध्य की घटना होनी चाहिए। ध्यान दें कि निर्माण के द्वारा, असतत मोर्स फलन के मान के अंदर घटते होना चाहिए। पथ P दो महत्वपूर्ण सेलों को जोड़ता है यदि .होता है। इस संबंध को व्यक्त किया जा सकता है, इस संबंध की बहुलता को पूर्णांक के रूप में परिभाषित किया गया है, अंत में, महत्वपूर्ण सेलों पर मोर्स सीमा संचालक द्वारा परिभाषित किया गया है।
जहां से तक सभी प्रवणता पथ संबंधों के योग से लिया जाता है। .
मूल परिणाम
निरंतर मोर्स सिद्धांत के कई परिचित परिणाम असतत समुच्चयिंग में लागू होते हैं।
मोर्स असमानताएं
यदि सीडब्ल्यू कॉम्प्लेक्स से संबंधित होता है तो एक मोर्स कॉम्प्लेक्स होगा।. संख्या मे -सेलों की होती है , जो -वाँ मोर्स संख्या कहलाली है, यदि की q-वेत्ति संख्या को से दर्शाया जाता है। तो ,के लिए निम्नलिखित असमानताएँ[4] होती है,
- , और
इसके अतिरिक्त, यूलर विशेषता को स्वीकृत किया जाता है
असतत मोर्स होमोलॉजी और होमोटॉपी प्रकार
यदि सीमा संचालक के साथ एक नियमित सीडब्ल्यू कॉम्प्लेक्स बनें और असतत मोर्स फलन, और मोर्स सीमा संकार्य के साथ संबंधित मोर्स कॉम्प्लेक्स हो, तब , समरूपता समूहों का एक होमोलॉजी है, [5]
और इसी तरह होमोटॉपी समूहों के लिए भी है
अनुप्रयोग
असतत मोर्स सिद्धांत का उपयोग आणविक आकार विश्लेषण डिजिटल छवियों / मात्राओं का कंकालकरण, कोलाहल डेटा से आरेख पुनर्निर्माण, कोलाहल बिंदुओ को अस्वीकार करने और पुरातत्व में लिथिक उपकरणों का विश्लेषण करने आदि में होता है।
यह भी देखें
- डिजिटल मोर्स सिद्धांत
- स्तरीकृत मोर्स सिद्धांत
- आकार विश्लेषण (डिजिटल ज्यामिति)
- टोपोलॉजिकल कॉम्बिनेटरिक्स
- असतत अंतर ज्यामिति
संदर्भ
- ↑ "टोपोलॉजी टूलकिट". GitHub.io.
- ↑ Mischaikow, Konstantin; Nanda, Vidit (2013). "फ़िल्ट्रेशन के लिए मोर्स थ्योरी और परसिस्टेंट होमोलॉजी की कुशल संगणना". Discrete & Computational Geometry. 50 (2): 330–353. doi:10.1007/s00454-013-9529-6.
- ↑ Forman 1998, Lemma 2.5
- ↑ Forman 1998, Corollaries 3.5 and 3.6
- ↑ Forman 1998, Theorem 7.3
<ref>
tag with name "EuroGraphicsGCH22" defined in <references>
is not used in prior text.- Forman, Robin (1998). "Morse theory for cell complexes" (PDF). Advances in Mathematics. 134 (1): 90–145. doi:10.1006/aima.1997.1650.
- Forman, Robin (2002). "A user's guide to discrete Morse theory" (PDF). Séminaire Lotharingien de Combinatoire. 48: Art. B48c, 35 pp. MR 1939695.
- Kozlov, Dmitry (2007). Combinatorial algebraic topology. Algorithms and Computation in Mathematics. Vol. 21. Springer. ISBN 978-3540719618. MR 2361455.
- Jonsson, Jakob (2007). Simplicial complexes of graphs. Springer. ISBN 978-3540758587.
- Orlik, Peter; Welker, Volkmar (2007). Algebraic Combinatorics: Lectures at a Summer School In Nordfjordeid. Universitext. Springer. doi:10.1007/978-3-540-68376-6. ISBN 978-3540683759. MR 2322081.
- "Discrete Morse theory". nLab.