डी रम कोहोलॉजी: Difference between revisions

Revision as of 21:17, 1 April 2023

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

गणित विषय में डी रहम कोहोलॉजी (जॉर्ज डी रम के नाम पर) बीजगणितीय टोपोलॉजी और विभेदक टोपोलॉजी दोनों से संबंधित ऐसा उपकरण है, जो विशेष रूप से संगणना करने और कोहोलॉजी वर्ग के लिए ठोस प्रतिनिधित्व के लिए अनुकूल रूप में मुख्यतः कई गुना होने के कारण इसमें पारंपरिक टोपोलॉजिकल जानकारी व्यक्त करने में सक्षम माना जाता हैं। यह निर्धारित गुणों के साथ विभेदक रूपों के अस्तित्व पर आधारित कोहोलॉजी सिद्धांत को प्रकट करता है।

किसी भी चिकनी वस्तु के लिए कई गुना होने पर यह प्रत्येक बंद और सही अंतर के रूप के कारण बंद हो जाते हैं, किन्तु संयोजन होने के कारण इसकी पकड़ में यह स्थिति विफल हो सकती है। अधिकांशतः हम यह कह सकते हैं कि यह असफलता होल इन अंक शास्त्र के संभावित अस्तित्व से संबंधित चिकनी वस्तु के लिए कई गुना होने पर इसमें प्राप्त होने वाले छेद और डी रम कोहोलॉजी समूह में चिकनी मैनिफोल्ड के टोपोलॉजिकल इनवेरिएंट का समुच्चय सम्मिलित होता है जो इस संबंध को सटीक रूप से निर्धारित करता है।^[1]

रूपों की अवधारणा पर एकीकरण विभेदक टोपोलॉजी, ज्यामिति और भौतिकी में मूलभूत महत्व का है, और 'कोहोमोलॉजी' के सबसे महत्वपूर्ण उदाहरणों में से एक है, जिसका नाम है 'डी राम कोहोलॉजी', जो (मोटे तौर पर बोलना) ठीक से मापता है किस हद तक कैलकुलस का मौलिक प्रमेय उच्च आयामों और सामान्य कई गुना में विफल रहता है।
— टेरेंस ताओ, विभेदक रूप और एकीकरण^[2]

परिभाषा

डी रम कॉम्प्लेक्स कुछ चिकने मैनिफोल्ड पर डिफरेंशियल फॉर्म्स का कोचेन कॉम्प्लेक्स $M$ , अंतर के रूप में बाहरी व्युत्पन्न के साथ प्रकट करता हैं जो इस प्रकार हैं:

0\to \Omega ^{0}(M)\ {\stackrel {d}{\to }}\ \Omega ^{1}(M)\ {\stackrel {d}{\to }}\ \Omega ^{2}(M)\ {\stackrel {d}{\to }}\ \Omega ^{3}(M)\to \cdots ,

जहाँ $Ω 0 (M)$ चिकनाई का स्थान है तथा इसी के साथ $M$ , $Ω 1 (M)$ का स्थान है उदाहरण के लिए $1$ -रूप इत्यादि। ऐसे प्रपत्र जो बाहरी डेरिवेटिव के अंतर्गत अन्य रूपों की छवि प्रकट करती हैं, साथ ही $Ω 0 (M)$ स्थिरांक भी $0$ में कार्य करता है, यथार्थ और रूप कहलाते हैं जिनकी बाह्य व्युत्पत्ति होती है $0$ को बंद कहा जाता है। इस प्रकार बंद और सही अंतर को प्राप्त करने के लिए चित्र में देखें); इसके संबंध में $d 2 = 0$ मान के अनुसार इसका सही मान फॉर्म बंद पर निर्भर करता हैं।

इसके विपरीत, बंद रूप आवश्यक रूप से सटीक नहीं होते हैं। इस व्याख्यात्मक विश्लेषम की स्थिति कई गुना होने के रूप में वृत्त को प्रकट करती है, और $1$ मुख्यतः इसके केंद्र में एक संदर्भ बिंदु से कोण $dθ$ (बंद और सटीक अंतर रूपों में वर्णित) के व्युत्पन्न के अनुरूप, सामान्यतः लिखा जाता है। $θ$ को कोई कार्य नहीं है किन्तु पूरे सर्कल पर इसे इस प्रकार परिभाषित किया गया है जिसमें $dθ$ को इसका व्युत्पन्न माना जाता हैं, इस प्रकार वृद्धि $2 π$ धनात्मक दिशा में सर्कल के चारों ओर जाने से एक बहुविकल्पीय कार्य जिसका तात्पर्य $θ$ से होता है, यह मुख्य रूप से सर्कल के एक बिंदु को हटाने से यह कम हो जाता है, साथ ही कई गुना की टोपोलॉजी को परिवर्तित कर देता हैं।

यह प्रमुख उदाहरण है कि जब सभी बंद रूप सही माने जाते हैं, इस स्थिति में अंतर्निहित स्थान किसी बिंदु के लिए अनुबंधित रहता है, अर्थात यह केवल संयोजन के स्थान नो-होल की स्थिति को प्रकट करता है। इस स्थितियों में बाहरी व्युत्पन्न $d$ बंद रूपों तक सीमित स्थानीय व्युत्क्रम है जिसे बंद और सही अंतर के रूप में जाना जाता हैं।^[3]^[4] चूंकि यह भी शून्य है,^[3] इस प्रकार यह व्युत्क्रम तीरों के साथ दोहरी श्रृंखला क्षेत्र बनाता है,^[5] जो डी राम कॉम्प्लेक्स की तुलना में पोंकारे लेम्मा में वर्णित स्थिति के लिए उपयोग किया जाता है।

डी राम कोहोलॉजी के पीछे का विचार बंद रूपों के समतुल्य वर्गों को कई गुना परिभाषित करना है। किसी दो बंद रूपों को $α, β \in Ω k (M)$ में वर्गीकृत करता है कोहोमोलॉगस के रूप में यदि वे सही रूप से भिन्न होते हैं, अर्थात इस स्थिति में $α - β$ सही मान प्रकट करते है। यह वर्गीकरण बंद रूपों के स्थान पर एक तुल्यता संबंध $Ω k (M)$ को प्रेरित करता है, इस प्रकार इसे $k$ -वाँ दे राम कोहोलॉजी समूह द्वारा परिभाषित किया जाता हैं इस प्रकार $H_{\mathrm {dR} }^{k}(M)$ तुल्यता वर्गों का समुच्चय होने के लिए, अर्थात् बंद रूपों के समुच्चय $Ω k (M)$ के प्रारूपों को सही रूपों में प्रकट करता हैं।

ध्यान दें कि, किसी भी कई गुना के लिए $M$ की रचना $m$ डिस्कनेक्ट किए गए घटक, जिनमें से प्रत्येक जुड़ा हुआ स्थान है, हमारे पास उनमें से कुछ हैं जो इस प्रकार हैं।

H_{\mathrm {dR} }^{0}(M)\cong \mathbb {R} ^{m}.

यह इस तथ्य से अनुसरण करता है कि कोई भी सुचारू कार्य चालू है, इस प्रकार $M$ शून्य व्युत्पन्न के साथ हर जगह अलग-अलग जुड़े हुए घटकों जैसे $M$ में से प्रत्येक इस स्थिति में स्थिर रहते है।

डी राम कोहोलॉजी की गणना

शून्य कोहोलॉजी और मेयर-विएटोरिस अनुक्रम के बारे में उपरोक्त तथ्य का उपयोग करते हुए अधिकांशतः कई गुना सामान्य डी रम कॉहोमोलॉजी मिल सकती है। इस प्रकार अन्य उपयोगी तथ्य इस प्रकार है कि डी राम कोहोलॉजी होमोटॉपी इनवेरिएंट है। जबकि संगणना नहीं दी गई है, कुछ सामान्य सांस्थितिकीय वस्तुओं के लिए संगणित डी रम कोहोलॉजी निम्नलिखित हैं:

$n$ }-क्षेत्र

एन-क्षेत्र के लिए या $n$ -वृत्त, $S^{n}$ , और साथ ही खुले अंतराल के उत्पाद के साथ मिलकर, हमारे पास निम्नलिखित हैं। इस प्रकार $n > 0, m \geq 0$ , और $I$ खुले वास्तविक अंतराल को प्रकट करता हैं।

H_{\mathrm {dR} }^{k}(S^{n}\times I^{m})\simeq {\begin{cases}\mathbb {R} &k=0{\text{ or }}k=n,\\0&k\neq 0{\text{ and }}k\neq n.\end{cases}}

$n$ }-टोरस

$n$ वें टोरस कार्टेशियन उत्पाद $T^{n}=\underbrace {S^{1}\times \cdots \times S^{1}} _{n}$ है: इसी प्रकार $n\geq 1$ का मान होने पर हम यहाँ इस समीकरण से उक्त समीकरण प्राप्त करते हैं

H_{\mathrm {dR} }^{k}(T^{n})\simeq \mathbb {R} ^{n \choose k}.

हम अलग-अलग रूपों का उपयोग करके सीधे टोरस के डे राम कोहोलॉजी के लिए स्पष्ट जनरेटर भी पा सकते हैं। इस प्रकार भागफल $\pi :X\to X/G$ कई गुना दिया गया है और विभेदक रूप $\omega \in \Omega ^{k}(X)$ के द्वारा हम यह कह सकते हैं कि $\omega$ है $G$ -अपर्वतनीय है। इस प्रकार यह यदि किसी भी भिन्नता से प्रेरित होता है तब इस स्थिति में $G$ , $\cdot g:X\to X$ अपने पास $(\cdot g)^{*}(\omega )=\omega$ . द्वारा प्रकट होता हैं। इस प्रकार विशेष रूप से यहाँ पर किसी भी रूप का पुलबैक $X/G$ है तथा $G$ -अपरिवर्तनीय हैं। इसके अतिरिक्त, पुलबैक इंजेक्टिव मोर्फिज्म है। इन स्थितियों में $\mathbb {R} ^{n}/\mathbb {Z} ^{n}$ विभेदक रूप $dx_{i}$ के समान हैं तथा $\mathbb {Z} ^{n}$ -अपरिवर्तनीय के पश्चात $d(x_{i}+k)=dx_{i}$ के समान हैं। किन्तु यहाँ ध्यान दें कि $x_{i}+\alpha$ के लिए $\alpha \in \mathbb {R}$ , $0$ -प्रपत्र अपरिवर्तनीय नहीं है । इस प्रकार इंजेक्शन के साथ इसका तात्पर्य है

[dx_{i}]\in H_{dR}^{1}(T^{n})

चूंकि टोरस की कोहोलॉजी रिंग $H^{1}$ के द्वारा उत्पन्न होती है, इन रूपों के बाहरी उत्पादों को लेने से टोरस के डी रम कोहोलॉजी के लिए सभी स्पष्ट प्रतिनिधि (गणित) मिलते हैं।

पंचर यूक्लिडियन स्पेस

छिद्रित यूक्लिडियन स्थान $\mathbb {R} ^{n}$ सरल है जिसे मूल के साथ हटा दिया गया हैं।

H_{\text{dR}}^{k}(\mathbb {R} ^{n}\setminus \{0\})\cong {\begin{cases}\mathbb {R} ^{2}&n=1,k=0\\\mathbb {R} &n>1,k=0,n-1\\0&{\text{otherwise}}\end{cases}}.

मोबियस पट्टी

हम इस तथ्य से निष्कर्ष निकाल सकते हैं कि मोबियस पट्टी $M$ , विरूपण को वापस ले लिया जा सकता है, $1$ -क्षेत्र अर्थात वास्तविक इकाई वृत्त के लिए:

H_{\mathrm {dR} }^{k}(M)\simeq H_{\mathrm {dR} }^{k}(S^{1}).

डि राम की प्रमेय

सामान्यीकृत स्टोक्स प्रमेय या स्टोक्स प्रमेय मुख्यतः डी रम कोहोलॉजी और चेन (बीजगणितीय टोपोलॉजी) के समरूपता (गणित) के बीच द्वंद्व (गणित) की अभिव्यक्ति को प्रकट करती है। इसमें कहा गया है कि प्राप्त होने वाले अंतर रूपों और संयोजन की जोड़ी हैं, इसके एकीकरण के माध्यम से डी रम कोहोलॉजी से समूह समरूपता $H_{\mathrm {dR} }^{k}(M)$ प्रदान करती है, इस कोहोलॉजी के लिए $H^{k}(M;\mathbb {R} ).$ 1931 में जार्ज डी राम द्वारा सिद्ध किया गया जिसमें डी राम की प्रमेय के अनुसार बताया गया है कि सहजता से यह कई गुना होने के लिए $M$ के द्वारा मानचित्र को वास्तविकता में तुल्याकारिता से प्रकट करता हैं।

इसके अधिक सही रूप के लिए उक्त मानचित्र पर विचार करें

I:H_{\mathrm {dR} }^{p}(M)\to H^{p}(M;\mathbb {R} ),

निम्नानुसार परिभाषित किया गया है: किसी $[\omega ]\in H_{\mathrm {dR} }^{p}(M)$ के लिए, $I (ω)$ के तत्व ${\text{Hom}}(H_{p}(M),\mathbb {R} )\simeq H^{p}(M;\mathbb {R} )$ होता है, जो निम्नानुसार कार्य करता है:

H_{p}(M)\ni [c]\longmapsto \int _{c}\omega .

डी राम के प्रमेय का दावा है कि यह डी रम कोहोमोलॉजी और एकवचन कोहोलॉजी के बीच समरूपता है।

बाहरी उत्पाद इन समूहों के समूहों के प्रत्यक्ष योग को एक अंगूठी (गणित) संरचना के साथ संपन्न करता है। प्रमेय का एक और परिणाम यह है कि दो कोहोलॉजी रिंग्स आइसोमोर्फिक (वर्गीकृत अंगूठी ्स के रूप में) हैं, जहां एकवचन कोहोलॉजी पर अनुरूप उत्पाद कप उत्पाद है।

शीफ-सैद्धांतिक डी राम समरूपता

किसी भी चिकने मैनिफोल्ड एम के लिए, मान लीजिए ${\textstyle {\underline {\mathbb {R} }}}$ एबेलियन समूह से जुड़े एम पर निरंतर शीफ बनें ${\textstyle \mathbb {R} }$ ; दूसरे शब्दों में, ${\textstyle {\underline {\mathbb {R} }}}$ एम पर स्थानीय रूप से निरंतर वास्तविक-मूल्यवान कार्यों का समूह है। फिर हमारे पास एक प्राकृतिक समरूपता है

H_{\mathrm {dR} }^{*}(M)\cong H^{*}(M,{\underline {\mathbb {R} }})

डी रम कोहोलॉजी और शेफ कोहोलॉजी के बीच ${\textstyle {\underline {\mathbb {R} }}}$ . (ध्यान दें कि इससे पता चलता है कि डे रम कोहोलॉजी की गणना सीच कोहोलॉजी के संदर्भ में भी की जा सकती है; वास्तव में, चूंकि हर स्मूथ मैनिफोल्ड पैराकॉम्पैक्ट हौसडॉर्फ है, हमारे पास यह है कि शीफ कोहोलॉजी सीच कोहोलॉजी के लिए आइसोमोर्फिक है ${\textstyle {\check {H}}^{*}({\mathcal {U}},{\underline {\mathbb {R} }})}$ किसी भी अच्छे कवर के लिए (बीजगणितीय टोपोलॉजी) ${\textstyle {\mathcal {U}}}$ एम.)

प्रमाण

मानक प्रमाण यह दिखाते हुए आगे बढ़ता है कि डे रहम क्षेत्र, जब शीशों के एक क्षेत्र के रूप में देखा जाता है, का एक चक्रीय संकल्प है ${\textstyle {\underline {\mathbb {R} }}}$ . अधिक विस्तार से, मान लीजिए m, M का आयाम है और मान लीजिए ${\textstyle \Omega ^{k}}$ के शीफ (गणित) को निरूपित करें $k$ एम पर फॉर्म (के साथ ${\textstyle \Omega ^{0}}$ का पुलिया ${\textstyle C^{\infty }}$ एम पर कार्य करता है)। पॉइंकेयर लेम्मा द्वारा, ढेरों का निम्नलिखित क्रम सटीक है (शेवों की एबेलियन श्रेणी में):

0\to {\underline {\mathbb {R} }}\to \Omega ^{0}\,\xrightarrow {d_{0}} \,\Omega ^{1}\,\xrightarrow {d_{1}} \,\Omega ^{2}\,\xrightarrow {d_{2}} \dots \xrightarrow {d_{m-1}} \,\Omega ^{m}\to 0.

यह लंबा सटीक क्रम अब ढेरों के छोटे सटीक अनुक्रमों में टूट जाता है

0\to \mathrm {im} \,d_{k-1}\,\xrightarrow {\subset } \,\Omega ^{k}\,\xrightarrow {d_{k}} \,\mathrm {im} \,d_{k}\to 0,

जहाँ सटीकता से हमारे पास समरूपताएँ हैं ${\textstyle \mathrm {im} \,d_{k-1}\cong \mathrm {ker} \,d_{k}}$ सबके लिए कश्मीर इनमें से प्रत्येक कोहोलॉजी में एक लंबे सटीक अनुक्रम को प्रेरित करता है। पुलिया के बाद से ${\textstyle \Omega ^{0}}$ का ${\textstyle C^{\infty }}$ एम पर कार्य एकता के विभाजन को स्वीकार करते हैं, कोई भी ${\textstyle \Omega ^{0}}$ -मॉड्यूल एक महीन शीफ है; विशेष रूप से, ढेरी ${\textstyle \Omega ^{k}}$ सब ठीक हैं। इसलिए, शीफ कोहोलॉजी समूह ${\textstyle H^{i}(M,\Omega ^{k})}$ के लिए गायब हो जाना ${\textstyle i>0}$ चूँकि पैराकॉम्पैक्ट स्थानों पर सभी महीन ढेर एसाइक्लिक होते हैं। तो लंबी सटीक कोहोलॉजी खुद को अंततः आइसोमोर्फिज्म की एक श्रृंखला में अलग करती है। श्रृंखला के एक छोर पर शीफ कोहोलॉजी है ${\textstyle {\underline {\mathbb {R} }}}$ और दूसरी तरफ डी रम कोहोलॉजी है।

संबंधित विचार

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

हार्मोनिक रूप

अगर $M$ एक कॉम्पैक्ट जगह रीमैनियन कई गुना है, फिर प्रत्येक समकक्ष वर्ग $H_{\mathrm {dR} }^{k}(M)$ बिल्कुल एक हार्मोनिक रूप होता है। अर्ताथ हर सदस्य $\omega$ किसी दिए गए तुल्यता वर्ग के बंद रूपों को इस रूप में लिखा जा सकता है

\omega =\alpha +\gamma

जहाँ $\alpha$ सटीक है और $\gamma$ हार्मोनिक है: $\Delta \gamma =0$ .

कॉम्पैक्ट कनेक्टेड रीमैनियन मैनिफोल्ड पर कोई भी हार्मोनिक फ़ंक्शन स्थिर है। इस प्रकार, इस विशेष प्रतिनिधि तत्व को कई गुना पर समतुल्य रूप से समतुल्य रूपों का एक चरम (न्यूनतम) समझा जा सकता है। उदाहरण के लिए, ए पर $2$ -टोरस्र्स , कोई स्थिरांक की कल्पना कर सकता है $1$ -एक रूप जहां सभी बालों को एक ही दिशा में बड़े करीने से कंघी की जाती है (और सभी बालों की लंबाई समान होती है)। इस स्थितियों में, दो कोहोलॉजिकल रूप से अलग-अलग कंघी हैं; अन्य सभी रैखिक संयोजन हैं। विशेष रूप से, इसका अर्थ है कि a की पहली बेट्टी संख्या $2$ -टोरस दो होते हैं। अधिक सामान्यतः, एक पर $n$ -आयामी टोरस $T^{n}$ , के विभिन्न संयोजनों पर विचार कर सकते हैं $k$ - टोरस पर बनता है। वहाँ हैं $n$ चुनना $k$ ऐसे संयोजन जिनका उपयोग आधार वैक्टर बनाने के लिए किया जा सकता है $H_{\text{dR}}^{k}(T^{n})$ ; $k$ डी राम कोहोलॉजी समूह के लिए -थ बेट्टी संख्या $n$ -टोरस इस प्रकार है $n$ चुनना $k$ .

अधिक सटीक, एक अंतर कई गुना के लिए $M$ , कोई इसे कुछ सहायक रिमेंनियन मीट्रिक से लैस कर सकता है। फिर लाप्लासियन $\Delta$ द्वारा परिभाषित किया गया है

\Delta =d\delta +\delta d

साथ $d$ बाहरी व्युत्पन्न और $\delta$ सहविभेदक। लाप्लासियन एक सजातीय (श्रेणीबद्ध बीजगणित में) रेखीय अंतर ऑपरेटर है जो अंतर रूपों के बाहरी बीजगणित पर कार्य करता है: हम डिग्री के प्रत्येक घटक पर इसकी क्रिया को देख सकते हैं $k$ अलग से।

अगर $M$ कॉम्पैक्ट स्पेस और उन्मुखी है, डिफरेंशियल फॉर्म के स्पेस पर अभिनय करने वाले लाप्लासियन के कर्नेल (बीजगणित) का आयाम | $k$ -रूप तब बराबर (हॉज सिद्धांत द्वारा) डी रम कोहोलॉजी समूह की डिग्री के बराबर है $k$ : लाप्लासियन बंद रूप (कैलकुलस) के प्रत्येक कोहोलॉजी वर्ग में एक अद्वितीय हार्मोनिक रूप चुनता है। विशेष रूप से, सभी हार्मोनिक का स्थान $k$ -फॉर्म चालू है $M$ के लिए आइसोमोर्फिक है $H^{k}(M;\mathbb {R} ).$ ऐसे प्रत्येक स्थान का आयाम परिमित है, और इसके द्वारा दिया गया है $k$ -वीं बेट्टी संख्या।

हॉज अपघटन

होने देना $M$ एक कॉम्पैक्ट स्पेस उन्मुख कई गुना रीमैनियन मैनिफोल्ड हो। हॉज अपघटन बताता है कि कोई भी $k$ -फॉर्म ऑन $M$ विशिष्ट रूप से तीन के योग में विभाजित होता है $L 2$ अवयव:

\omega =\alpha +\beta +\gamma ,

जहाँ $\alpha$ सटीक है, $\beta$ सह-सटीक है, और $\gamma$ हार्मोनिक है।

एक कहता है कि एक रूप $\beta$ सह-बंद है अगर $\delta \beta =0$ और सह-सटीक अगर $\beta =\delta \eta$ किसी रूप के लिए $\eta$ , ओर वो $\gamma$ हार्मोनिक है अगर लाप्लासियन शून्य है, $\Delta \gamma =0$ . यह इस बात पर ध्यान देने के बाद होता है कि सटीक और सह-सटीक रूप ऑर्थोगोनल हैं; ऑर्थोगोनल पूरक में ऐसे रूप होते हैं जो बंद और सह-बंद दोनों होते हैं: अर्ताथ हार्मोनिक रूपों का। यहाँ, रूढ़िवादिता को इसके संबंध में परिभाषित किया गया है $L 2$ आंतरिक उत्पाद चालू $\Omega ^{k}(M)$ :

(\alpha ,\beta )=\int _{M}\alpha \wedge {\star \beta }.

सोबोलेव रिक्त स्थान या वितरण (गणित) के उपयोग से, अपघटन को उदाहरण के लिए एक पूर्ण (उन्मुख या नहीं) रीमैनियन मैनिफोल्ड तक बढ़ाया जा सकता है।^[6]

यह भी देखें

हॉज सिद्धांत
तंतुओं के साथ एकीकरण (डे रम कोहोलॉजी के लिए, पुशफॉरवर्ड (कोहोलॉजी) एकीकरण (गणित) द्वारा दिया जाता है)
शेफ़ (गणित)
डीडीबार लेम्मा| $\partial {\bar {\partial }}$ कॉम्पैक्ट काहलर मैनिफोल्ड्स के स्थितियों में सटीक अंतर रूपों के शोधन के लिए लेम्मा।

उद्धरण

↑ Lee 2013, p. 440.
↑ Tao, Terence (2007) "Differential Forms and Integration" Princeton Companion to Mathematics 2008. Timothy Gowers, ed.
↑ ^3.0 ^3.1 Edelen, Dominic G. B. (2011). एप्लाइड बाहरी कलन (Revised ed.). Mineola, N.Y.: Dover Publications. ISBN 978-0-486-43871-9. OCLC 56347718.
↑ Warner, Frank W. (1983). डिफरेंशियल मैनिफोल्ड्स और लाइ ग्रुप्स की नींव. New York: Springer. ISBN 0-387-90894-3. OCLC 9683855.
↑ Kycia, Radosław Antoni (2020). "पॉइंकेयर लेम्मा, एंटीएक्सैक्ट फॉर्म और फर्मियोनिक क्वांटम हार्मोनिक ऑसिलेटर". Results in Mathematics (in English). 75 (3): 122. doi:10.1007/s00025-020-01247-8. ISSN 1422-6383. S2CID 199472766.
↑ Jean-Pierre Demailly, Complex Analytic and Differential Geometry Ch VIII, § 3.

संदर्भ

Lee, John M. (2013). Introduction to Smooth Manifolds. Springer-Verlag. ISBN 978-1-4419-9981-8.
Bott, Raoul; Tu, Loring W. (1982), Differential Forms in Algebraic Topology, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90613-3
Griffiths, Phillip; Harris, Joseph (1994), Principles of algebraic geometry, Wiley Classics Library, New York: John Wiley & Sons, ISBN 978-0-471-05059-9, MR 1288523
Warner, Frank (1983), Foundations of Differentiable Manifolds and Lie Groups, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90894-6

बाहरी संबंध

Idea of the De Rham Cohomology in Mathifold Project
"De Rham cohomology", Encyclopedia of Mathematics, EMS Press, 2001 [1994]

[FOOTNOTELee2013440-1] Lee 2013, p. 440.

[PCM-2] Tao, Terence (2007) "Differential Forms and Integration" Princeton Companion to Mathematics 2008. Timothy Gowers, ed.

[:0-3] 3.0 ^3.1 Edelen, Dominic G. B. (2011). एप्लाइड बाहरी कलन (Revised ed.). Mineola, N.Y.: Dover Publications. ISBN 978-0-486-43871-9. OCLC 56347718.

[4] Warner, Frank W. (1983). डिफरेंशियल मैनिफोल्ड्स और लाइ ग्रुप्स की नींव. New York: Springer. ISBN 0-387-90894-3. OCLC 9683855.

[5] Kycia, Radosław Antoni (2020). "पॉइंकेयर लेम्मा, एंटीएक्सैक्ट फॉर्म और फर्मियोनिक क्वांटम हार्मोनिक ऑसिलेटर". Results in Mathematics (in English). 75 (3): 122. doi:10.1007/s00025-020-01247-8. ISSN 1422-6383. S2CID 199472766.

[6] Jean-Pierre Demailly, Complex Analytic and Differential Geometry Ch VIII, § 3.

[1]

[2]

[3]

[4]

[5]

[6]

@@ Line 1: / Line 1: @@
 {{Short description|Cohomology with real coefficients computed using differential forms}}
-{{for|Grothendieck's de Rham cohomology of varieties|algebraic de Rham cohomology}}
+{{for|ग्रोथेंडिक की डे रम कोहोलॉजी ऑफ वेराइटी|बीजगणितीय डी राम कोहोलॉजी}}
-[[File:Irrotationalfield.svg|thumb|सदिश क्षेत्र पंक्चर किए गए विमान पर एक विभेदक रूप से संबंधित है जो बंद है किन्तु सटीक नहीं है, यह दर्शाता है कि इस स्थान का डे रम कोहोलॉजी गैर-तुच्छ है।]]गणित में, डी रहम कोहोलॉजी (जॉर्ज डी रम के नाम पर) [[बीजगणितीय टोपोलॉजी]] और विभेदक टोपोलॉजी दोनों से संबंधित एक उपकरण है, जो विशेष रूप से संगणना और [[कोहोलॉजी वर्ग]] के ठोस प्रतिनिधित्व के लिए अनुकूल रूप में चिकनी कई गुना के बारे में बुनियादी टोपोलॉजिकल जानकारी व्यक्त करने में सक्षम है। यह निर्धारित गुणों के साथ [[विभेदक रूप]]ों के अस्तित्व पर आधारित एक [[कोहोलॉजी सिद्धांत]] है।
+[[File:Irrotationalfield.svg|thumb|सदिश क्षेत्र पंक्चर किए गए विमान पर एक विभेदक रूप से संबंधित है जो बंद है किन्तु सटीक नहीं है, यह दर्शाता है कि इस स्थान का डे रम कोहोलॉजी गैर-तुच्छ है।]]गणित विषय में डी रहम कोहोलॉजी (जॉर्ज डी रम के नाम पर) [[बीजगणितीय टोपोलॉजी]] और विभेदक टोपोलॉजी दोनों से संबंधित ऐसा उपकरण है, जो विशेष रूप से संगणना करने और [[कोहोलॉजी वर्ग]] के लिए ठोस प्रतिनिधित्व के लिए अनुकूल रूप में मुख्यतः कई गुना होने के कारण इसमें पारंपरिक टोपोलॉजिकल जानकारी व्यक्त करने में सक्षम माना जाता हैं। यह निर्धारित गुणों के साथ [[विभेदक रूप|विभेदक रूपों]] के अस्तित्व पर आधारित [[कोहोलॉजी सिद्धांत]] को प्रकट करता है।
-किसी भी चिकनी कई गुना पर, प्रत्येक [[बंद और सटीक अंतर रूप]] बंद हो जाते हैं, किन्तु बातचीत पकड़ में विफल हो सकती है। मोटे तौर पर कहा जाए तो यह असफलता होल#इन [[अंक शास्त्र]] के संभावित अस्तित्व से संबंधित [[चिकना कई गुना]] में छेद, और डी रम कोहोलॉजी समूह में चिकनी मैनिफोल्ड के [[टोपोलॉजिकल इनवेरिएंट]] का एक सेट सम्मिलित होता है जो इस संबंध को सटीक रूप से निर्धारित करता है।{{sfn|Lee|2013|p=440}}
+किसी भी चिकनी वस्तु के लिए कई गुना होने पर यह प्रत्येक [[बंद और सटीक अंतर रूप|बंद और सही अंतर के रूप]] के कारण बंद हो जाते हैं, किन्तु संयोजन होने के कारण इसकी  पकड़ में यह स्थिति विफल हो सकती है। अधिकांशतः हम यह कह सकते हैं कि यह असफलता होल इन [[अंक शास्त्र]] के संभावित अस्तित्व से संबंधित [[चिकना कई गुना|चिकनी वस्तु के लिए कई गुना]] होने पर इसमें प्राप्त होने वाले छेद और डी रम कोहोलॉजी समूह में चिकनी मैनिफोल्ड के [[टोपोलॉजिकल इनवेरिएंट]] का समुच्चय सम्मिलित होता है जो इस संबंध को सटीक रूप से निर्धारित करता है।{{sfn|Lee|2013|p=440}}
-{{Quote frame|text=The integration on forms concept is of fundamental importance in differential topology, geometry, and physics, and also yields one of the most important examples of ''cohomology'', namely ''de Rham cohomology'', which (roughly speaking) measures precisely the extent to which the [[fundamental theorem of calculus]] fails in higher dimensions and on general manifolds.
+{{Quote frame|text=रूपों की अवधारणा पर एकीकरण विभेदक टोपोलॉजी, ज्यामिति और भौतिकी में मूलभूत महत्व का है, और 'कोहोमोलॉजी' के सबसे महत्वपूर्ण उदाहरणों में से एक है, जिसका नाम है 'डी राम कोहोलॉजी', जो (मोटे तौर पर बोलना) ठीक से मापता है किस हद तक [[कैलकुलस का मौलिक प्रमेय]] उच्च आयामों और सामान्य कई गुना में विफल रहता है।
-|author=[[Terence Tao]]|source=''Differential Forms and Integration''<ref name=PCM >[[Terence Tao|Tao, Terence]] [https://www.math.ucla.edu/~tao/preprints/forms.pdf (2007) "Differential Forms and Integration"] ''Princeton Companion to Mathematics'' 2008. Timothy Gowers, ed.</ref>}}
+|author=[[टेरेंस ताओ]]|source=''विभेदक रूप और एकीकरण''<ref name=PCM >[[Terence Tao|Tao, Terence]] [https://www.math.ucla.edu/~tao/preprints/forms.pdf (2007) "Differential Forms and Integration"] ''Princeton Companion to Mathematics'' 2008. Timothy Gowers, ed.</ref>}}
 == परिभाषा ==
-डी रम कॉम्प्लेक्स कुछ चिकने मैनिफोल्ड पर डिफरेंशियल फॉर्म्स का [[कोचेन कॉम्प्लेक्स]] है {{mvar|M}}, अंतर के रूप में [[बाहरी व्युत्पन्न]] के साथ:
+डी रम कॉम्प्लेक्स कुछ चिकने मैनिफोल्ड पर डिफरेंशियल फॉर्म्स का [[कोचेन कॉम्प्लेक्स]] {{mvar|M}}, अंतर के रूप में [[बाहरी व्युत्पन्न]] के साथ प्रकट करता हैं जो इस प्रकार हैं:
 :<math>0 \to \Omega^0(M)\ \stackrel{d}{\to}\ \Omega^1(M)\ \stackrel{d}{\to}\ \Omega^2(M)\ \stackrel{d}{\to}\ \Omega^3(M) \to \cdots ,</math>
-कहाँ {{math|Ω<sup>0</sup>(''M'')}} [[चिकनाई]] का स्थान है {{mvar|M}}, {{math|Ω<sup>1</sup>(''M'')}} का स्थान है {{math|1}}-रूप आदि। ऐसे प्रपत्र जो बाहरी डेरिवेटिव के अंतर्गत अन्य रूपों की छवि हैं, साथ ही स्थिरांक भी {{math|0}} में कार्य करता है {{math|Ω<sup>0</sup>(''M'')}}, यथार्थ और रूप कहलाते हैं जिनकी बाह्य व्युत्पत्ति होती है {{math|0}} को बंद कहा जाता है (''बंद और सटीक अंतर रूप'' देखें); का रिश्ता {{math|''d''{{i sup|2}} {{=}} 0}} फिर कहता है कि सटीक फॉर्म बंद हैं।
+जहाँ {{math|Ω<sup>0</sup>(''M'')}} [[चिकनाई]] का स्थान है तथा इसी के साथ {{mvar|M}}, {{math|Ω<sup>1</sup>(''M'')}} का स्थान है उदाहरण के लिए {{math|1}}-रूप इत्यादि। ऐसे प्रपत्र जो बाहरी डेरिवेटिव के अंतर्गत अन्य रूपों की छवि प्रकट करती हैं, साथ ही {{math|Ω<sup>0</sup>(''M'')}} स्थिरांक भी {{math|0}} में कार्य करता है, यथार्थ और रूप कहलाते हैं जिनकी बाह्य व्युत्पत्ति होती है {{math|0}} को बंद कहा जाता है। इस प्रकार ''बंद और सही अंतर को प्राप्त करने के लिए चित्र में'' देखें); इसके संबंध में {{math|''d''{{i sup|2}} {{=}} 0}}  मान के अनुसार इसका सही मान फॉर्म बंद पर निर्भर करता हैं।
-इसके विपरीत, बंद रूप आवश्यक रूप से सटीक नहीं होते हैं। एक व्याख्यात्मक स्थिति कई गुना के रूप में एक वृत्त है, और {{math|1}}-इसके केंद्र में एक संदर्भ बिंदु से कोण के व्युत्पन्न के अनुरूप, सामान्यतः लिखा जाता है {{math|''dθ''}} (बंद और सटीक अंतर रूपों में वर्णित)। कोई कार्य नहीं है {{math|''θ''}} पूरे सर्कल पर इस तरह परिभाषित किया गया है {{math|''dθ''}} इसका व्युत्पन्न है; की वृद्धि {{math|2''π''}} एक बार सकारात्मक दिशा में सर्कल के चारों ओर जाने से एक बहुविकल्पीय कार्य का तात्पर्य होता है {{math|''θ''}}. सर्कल के एक बिंदु को हटाने से यह कम हो जाता है, साथ ही कई गुना की टोपोलॉजी बदल जाती है।
+इसके विपरीत, बंद रूप आवश्यक रूप से सटीक नहीं होते हैं। इस व्याख्यात्मक विश्लेषम की स्थिति कई गुना होने के रूप में वृत्त को प्रकट करती है, और {{math|1}} मुख्यतः इसके केंद्र में एक संदर्भ बिंदु से कोण {{math|''dθ''}} (बंद और सटीक अंतर रूपों में वर्णित) के व्युत्पन्न के अनुरूप, सामान्यतः लिखा जाता है। {{math|''θ''}} को कोई कार्य नहीं है किन्तु पूरे सर्कल पर इसे इस प्रकार परिभाषित किया गया है जिसमें {{math|''dθ''}} को इसका व्युत्पन्न माना जाता हैं, इस प्रकार वृद्धि {{math|2''π''}}  धनात्मक दिशा में सर्कल के चारों ओर जाने से एक बहुविकल्पीय कार्य जिसका तात्पर्य {{math|''θ''}} से होता है, यह मुख्य रूप से सर्कल के एक बिंदु को हटाने से यह कम हो जाता है, साथ ही कई गुना की टोपोलॉजी को परिवर्तित कर देता हैं।
-एक प्रमुख उदाहरण जब सभी बंद रूप सटीक होते हैं, जब अंतर्निहित स्थान एक बिंदु के लिए अनुबंधित होता है, अर्थात, यह केवल जुड़ा हुआ स्थान (नो-होल स्थिति) है। इस स्थितियों में बाहरी व्युत्पन्न <math>d</math> बंद रूपों तक सीमित एक स्थानीय व्युत्क्रम है जिसे एक बंद और सटीक अंतर रूप कहा जाता है।<ref name=":0">{{Cite book|last=Edelen|first=Dominic G. B.|url=https://www.worldcat.org/oclc/56347718|title=एप्लाइड बाहरी कलन|publisher=Dover Publications|year=2011|isbn=978-0-486-43871-9|edition=Revised|location=Mineola, N.Y.|oclc=56347718}}</ref><ref>{{Cite book|last=Warner|first=Frank W.|url=https://www.worldcat.org/oclc/9683855|title=डिफरेंशियल मैनिफोल्ड्स और लाइ ग्रुप्स की नींव|date=1983|publisher=Springer|isbn=0-387-90894-3|location=New York|oclc=9683855}}</ref> चूंकि यह भी शून्य है,<ref name=":0" />यह उलटे तीरों के साथ एक दोहरी श्रृंखला परिसर बनाता है<ref>{{Cite journal|last=Kycia|first=Radosław Antoni|date=2020|title=पॉइंकेयर लेम्मा, एंटीएक्सैक्ट फॉर्म और फर्मियोनिक क्वांटम हार्मोनिक ऑसिलेटर|url=https://link.springer.com/10.1007/s00025-020-01247-8|journal=Results in Mathematics|language=en|volume=75|issue=3|pages=122|doi=10.1007/s00025-020-01247-8|s2cid=199472766 |issn=1422-6383}}</ref> डी राम कॉम्प्लेक्स की तुलना में। पोंकारे लेम्मा में वर्णित स्थिति यही है।
+यह प्रमुख उदाहरण है कि जब सभी बंद रूप सही माने जाते हैं, इस स्थिति में अंतर्निहित स्थान किसी बिंदु के लिए अनुबंधित रहता है, अर्थात यह केवल संयोजन के स्थान नो-होल की स्थिति को प्रकट करता है। इस स्थितियों में बाहरी व्युत्पन्न <math>d</math> बंद रूपों तक सीमित स्थानीय व्युत्क्रम है जिसे बंद और सही अंतर के रूप में जाना जाता हैं।<ref name=":0">{{Cite book|last=Edelen|first=Dominic G. B.|url=https://www.worldcat.org/oclc/56347718|title=एप्लाइड बाहरी कलन|publisher=Dover Publications|year=2011|isbn=978-0-486-43871-9|edition=Revised|location=Mineola, N.Y.|oclc=56347718}}</ref><ref>{{Cite book|last=Warner|first=Frank W.|url=https://www.worldcat.org/oclc/9683855|title=डिफरेंशियल मैनिफोल्ड्स और लाइ ग्रुप्स की नींव|date=1983|publisher=Springer|isbn=0-387-90894-3|location=New York|oclc=9683855}}</ref> चूंकि यह भी शून्य है,<ref name=":0" /> इस प्रकार यह व्युत्क्रम तीरों के साथ दोहरी श्रृंखला क्षेत्र बनाता है,<ref>{{Cite journal|last=Kycia|first=Radosław Antoni|date=2020|title=पॉइंकेयर लेम्मा, एंटीएक्सैक्ट फॉर्म और फर्मियोनिक क्वांटम हार्मोनिक ऑसिलेटर|url=https://link.springer.com/10.1007/s00025-020-01247-8|journal=Results in Mathematics|language=en|volume=75|issue=3|pages=122|doi=10.1007/s00025-020-01247-8|s2cid=199472766 |issn=1422-6383}}</ref> जो डी राम कॉम्प्लेक्स की तुलना में पोंकारे लेम्मा में वर्णित स्थिति के लिए उपयोग किया जाता है।
-डी राम कोहोलॉजी के पीछे का विचार बंद रूपों के समतुल्य वर्गों को कई गुना परिभाषित करना है। एक दो बंद रूपों को वर्गीकृत करता है {{math|''α'', ''β'' ∈ Ω<sup>''k''</sup>(''M'')}} कोहोमोलॉगस के रूप में यदि वे एक सटीक रूप से भिन्न होते हैं, अर्थात यदि {{math|''α'' − ''β''}} सटीक है। यह वर्गीकरण बंद रूपों के स्थान पर एक तुल्यता संबंध को प्रेरित करता है {{math|Ω<sup>''k''</sup>(''M'')}}. एक तो परिभाषित करता है {{mvar|k}}-वाँ दे राम कोहोलॉजी समूह <math>H^{k}_{\mathrm{dR}}(M)</math> तुल्यता वर्गों का समुच्चय होने के लिए, अर्थात्, बंद रूपों का समुच्चय {{math|Ω<sup>''k''</sup>(''M'')}} मॉड्यूल सटीक रूपों।
+डी राम कोहोलॉजी के पीछे का विचार बंद रूपों के समतुल्य वर्गों को कई गुना परिभाषित करना है। किसी दो बंद रूपों को {{math|''α'', ''β'' ∈ Ω<sup>''k''</sup>(''M'')}} में वर्गीकृत करता है  कोहोमोलॉगस के रूप में यदि वे सही रूप से भिन्न होते हैं, अर्थात इस स्थिति में {{math|''α'' − ''β''}} सही मान प्रकट करते है। यह वर्गीकरण बंद रूपों के स्थान पर एक तुल्यता संबंध {{math|Ω<sup>''k''</sup>(''M'')}} को प्रेरित करता है, इस प्रकार इसे {{mvar|k}}-वाँ दे राम कोहोलॉजी समूह द्वारा परिभाषित किया जाता हैं  इस प्रकार <math>H^{k}_{\mathrm{dR}}(M)</math> तुल्यता वर्गों का समुच्चय होने के लिए, अर्थात् बंद रूपों के समुच्चय {{math|Ω<sup>''k''</sup>(''M'')}} के प्रारूपों को सही रूपों में प्रकट करता हैं।
-ध्यान दें कि, किसी भी कई गुना के लिए {{mvar|M}} की रचना {{math|''m''}} डिस्कनेक्ट किए गए घटक, जिनमें से प्रत्येक [[ जुड़ा हुआ स्थान ]] है, हमारे पास वह है
+ध्यान दें कि, किसी भी कई गुना के लिए {{mvar|M}} की रचना {{math|''m''}} डिस्कनेक्ट किए गए घटक, जिनमें से प्रत्येक [[ जुड़ा हुआ स्थान ]] है, हमारे पास उनमें से कुछ हैं जो इस प्रकार हैं।
 :<math>H^{0}_{\mathrm{dR}}(M) \cong \R ^m .</math>
-यह इस तथ्य से अनुसरण करता है कि कोई भी सुचारू कार्य चालू है {{mvar|M}} शून्य व्युत्पन्न के साथ हर जगह अलग-अलग जुड़े हुए घटकों में से प्रत्येक पर स्थिर है {{mvar|M}}.
+यह इस तथ्य से अनुसरण करता है कि कोई भी सुचारू कार्य चालू है, इस प्रकार {{mvar|M}} शून्य व्युत्पन्न के साथ हर जगह अलग-अलग जुड़े हुए घटकों  जैसे {{mvar|M}} में से प्रत्येक इस स्थिति में स्थिर रहते है।
 ==डी राम कोहोलॉजी की गणना ==
-शून्य कोहोलॉजी और मेयर-विएटोरिस अनुक्रम के बारे में उपरोक्त तथ्य का उपयोग करते हुए अधिकांशतः कई गुना सामान्य डी रम कॉहोमोलॉजी मिल सकती है। एक अन्य उपयोगी तथ्य यह है कि डी राम कोहोलॉजी एक [[होमोटॉपी]] इनवेरिएंट है। जबकि संगणना नहीं दी गई है, कुछ सामान्य सांस्थितिकीय वस्तुओं के लिए संगणित डी रम कोहोलॉजी निम्नलिखित हैं:
+शून्य कोहोलॉजी और मेयर-विएटोरिस अनुक्रम के बारे में उपरोक्त तथ्य का उपयोग करते हुए अधिकांशतः कई गुना सामान्य डी रम कॉहोमोलॉजी मिल सकती है। इस प्रकार अन्य उपयोगी तथ्य इस प्रकार है कि डी राम कोहोलॉजी [[होमोटॉपी]] इनवेरिएंट है। जबकि संगणना नहीं दी गई है, कुछ सामान्य सांस्थितिकीय वस्तुओं के लिए संगणित डी रम कोहोलॉजी निम्नलिखित हैं:
 === {{math|''n''}}}-क्षेत्र ===
-एन-क्षेत्र के लिए |{{mvar|n}}-वृत्त, <math>S^n</math>, और साथ ही खुले अंतराल के उत्पाद के साथ मिलकर, हमारे पास निम्नलिखित हैं। होने देना {{math|''n'' > 0, ''m'' ≥ 0}}, और {{mvar|I}} एक खुला वास्तविक अंतराल हो। तब
+एन-क्षेत्र के लिए  या {{mvar|n}}-वृत्त, <math>S^n</math>, और साथ ही खुले अंतराल के उत्पाद के साथ मिलकर, हमारे पास निम्नलिखित हैं। इस प्रकार {{math|''n'' > 0, ''m'' ≥ 0}}, और {{mvar|I}} खुले वास्तविक अंतराल को प्रकट करता हैं।
 :<math>H_{\mathrm{dR}}^{k}(S^n \times I^m) \simeq \begin{cases} \R &  k = 0\text{ or }k = n, \\ 0 &  k \ne 0\text{ and }k \ne n. \end{cases}</math>
+==== {{math|''n''}}}-टोरस ====
-=== {{math|''n''}}}-टोरस=== <math>n</math>वें>-टोरस कार्टेशियन उत्पाद है: <math>T^n = \underbrace{ S^1 \times \cdots \times S^1   }_{n}</math>. इसी तरह, अनुमति <math>n \geq 1</math> यहाँ, हम प्राप्त करते हैं
+<math>n</math>वें टोरस कार्टेशियन उत्पाद <math>T^n = \underbrace{ S^1 \times \cdots \times S^1   }_{n}</math> है: इसी प्रकार <math>n \geq 1</math> का मान होने पर हम यहाँ इस समीकरण से उक्त समीकरण प्राप्त करते हैं
 :<math>H_{\mathrm{dR}}^{k}(T^n) \simeq \R ^{n \choose k}.</math>
-हम अलग-अलग रूपों का उपयोग करके सीधे टोरस के डे राम कोहोलॉजी के लिए स्पष्ट जनरेटर भी पा सकते हैं। भागफल कई गुना दिया गया है <math>\pi: X \to X/G</math> और एक विभेदक रूप <math>\omega \in \Omega^k(X)</math> हम कह सकते हैं कि <math>\omega</math> है <math>G</math>-invariant अगर किसी भी भिन्नता से प्रेरित है <math>G</math>, <math>\cdot g:X \to X</math> अपने पास <math>(\cdot g)^*(\omega) = \omega</math>. विशेष रूप से, पर किसी भी रूप का पुलबैक <math>X/G</math> है <math>G</math>-अपरिवर्तनीय। इसके अलावा, पुलबैक एक इंजेक्टिव मोर्फिज्म है। हमारे स्थितियों में <math>\R^n/\Z^n</math> विभेदक रूप <math>dx_i</math> हैं <math>\Z^n</math>-अपरिवर्तनीय के बाद से <math>d (x_i + k) = dx_i</math>. किन्तु, ध्यान दें <math>x_i + \alpha</math> के लिए <math>\alpha \in \R</math> एक अपरिवर्तनीय नहीं है <math>0</math>-प्रपत्र। इंजेक्शन के साथ इसका तात्पर्य है
+हम अलग-अलग रूपों का उपयोग करके सीधे टोरस के डे राम कोहोलॉजी के लिए स्पष्ट जनरेटर भी पा सकते हैं। इस प्रकार भागफल <math>\pi: X \to X/G</math> कई गुना दिया गया है और विभेदक रूप <math>\omega \in \Omega^k(X)</math> के द्वारा हम यह कह सकते हैं कि <math>\omega</math> है <math>G</math>-अपर्वतनीय है। इस प्रकार यह यदि किसी भी भिन्नता से प्रेरित होता है तब इस स्थिति में <math>G</math>, <math>\cdot g:X \to X</math> अपने पास <math>(\cdot g)^*(\omega) = \omega</math>. द्वारा प्रकट होता हैं। इस प्रकार विशेष रूप से यहाँ पर किसी भी रूप का पुलबैक <math>X/G</math> है तथा <math>G</math>-अपरिवर्तनीय हैं। इसके अतिरिक्त, पुलबैक इंजेक्टिव मोर्फिज्म है। इन स्थितियों में <math>\R^n/\Z^n</math> विभेदक रूप <math>dx_i</math> के समान हैं तथा <math>\Z^n</math>-अपरिवर्तनीय के पश्चात <math>d (x_i + k) = dx_i</math> के समान हैं। किन्तु यहाँ ध्यान दें कि <math>x_i + \alpha</math> के लिए <math>\alpha \in \R</math>,  <math>0</math>-प्रपत्र अपरिवर्तनीय नहीं है । इस प्रकार इंजेक्शन के साथ इसका तात्पर्य है
 :<math>[dx_i] \in H^1_{dR}(T^n)</math>
-चूंकि एक टोरस की कोहोलॉजी रिंग किसके द्वारा उत्पन्न होती है <math>H^1</math>, इन रूपों के बाहरी उत्पादों को लेने से एक टोरस के डी रम कोहोलॉजी के लिए सभी स्पष्ट [[प्रतिनिधि (गणित)]] मिलते हैं।
+चूंकि टोरस की कोहोलॉजी रिंग <math>H^1</math> के द्वारा उत्पन्न होती है, इन रूपों के बाहरी उत्पादों को लेने से टोरस के डी रम कोहोलॉजी के लिए सभी स्पष्ट [[प्रतिनिधि (गणित)]] मिलते हैं।
 === पंचर यूक्लिडियन स्पेस ===
-छिद्रित यूक्लिडियन स्थान सरल है <math>\mathbb{R}^n</math> मूल के साथ हटा दिया गया।
+छिद्रित यूक्लिडियन स्थान <math>\mathbb{R}^n</math> सरल है जिसे मूल के साथ हटा दिया गया हैं।
 :<math>H^k_{\text{dR}}(\mathbb{R}^n\setminus\{0\}) \cong \begin{cases} \mathbb{R}^2 & n = 1, k = 0\\ \mathbb{R} & n > 1, k = 0, n - 1\\ 0 & \text{otherwise}\end{cases}.</math>
 === मोबियस पट्टी ===
-हम इस तथ्य से निष्कर्ष निकाल सकते हैं कि मोबियस पट्टी, {{mvar|M}}, विरूपण को वापस ले लिया जा सकता है {{math|1}}-क्षेत्र (अर्थात वास्तविक इकाई वृत्त), कि:
+हम इस तथ्य से निष्कर्ष निकाल सकते हैं कि मोबियस पट्टी {{mvar|M}}, विरूपण को वापस ले लिया जा सकता है, {{math|1}}-क्षेत्र अर्थात वास्तविक इकाई वृत्त के लिए:
 :<math>H_{\mathrm{dR}}^{k}(M) \simeq H_{\mathrm{dR}}^{k}(S^1).</math>
-== दे राम की प्रमेय ==
+== डि राम की प्रमेय ==
-सामान्यीकृत स्टोक्स प्रमेय | स्टोक्स प्रमेय डी रम कोहोलॉजी और [[चेन (बीजगणितीय टोपोलॉजी)]] के [[समरूपता (गणित)]] के बीच [[द्वंद्व (गणित)]] की अभिव्यक्ति है। इसमें कहा गया है कि अंतर रूपों और जंजीरों की जोड़ी, एकीकरण के माध्यम से, डी रम कोहोलॉजी से एक [[समूह समरूपता]] प्रदान करती है <math>H^{k}_{\mathrm{dR}}(M)</math> [[एकवचन कोहोलॉजी]] के लिए <math>H^k(M;\R).</math> 1931 में जार्ज डी राम द्वारा सिद्ध किया गया डी राम का प्रमेय बताता है कि एक सहज कई गुना के लिए {{mvar|M}}, यह मानचित्र वास्तव में एक तुल्याकारिता है।
+सामान्यीकृत स्टोक्स प्रमेय या स्टोक्स प्रमेय मुख्यतः डी रम कोहोलॉजी और [[चेन (बीजगणितीय टोपोलॉजी)]] के [[समरूपता (गणित)]] के बीच [[द्वंद्व (गणित)]] की अभिव्यक्ति को प्रकट करती है। इसमें कहा गया है कि प्राप्त होने वाले अंतर रूपों और संयोजन की जोड़ी हैं, इसके एकीकरण के माध्यम से डी रम कोहोलॉजी से [[समूह समरूपता]] <math>H^{k}_{\mathrm{dR}}(M)</math> प्रदान करती है, इस [[एकवचन कोहोलॉजी|कोहोलॉजी]] के लिए <math>H^k(M;\R).</math> 1931 में जार्ज डी राम द्वारा सिद्ध किया गया जिसमें डी राम की प्रमेय के अनुसार बताया गया है कि सहजता से यह कई गुना होने के लिए {{mvar|M}} के द्वारा मानचित्र को वास्तविकता में तुल्याकारिता से प्रकट करता हैं।
-अधिक सटीक रूप से, मानचित्र पर विचार करें
+इसके अधिक सही रूप के लिए उक्त मानचित्र पर विचार करें
 :<math>I: H_{\mathrm{dR}}^p(M) \to H^p(M; \R),</math>
-निम्नानुसार परिभाषित किया गया है: किसी के लिए <math>[\omega] \in H_{\mathrm{dR}}^p(M)</math>, होने देना {{math|''I''(''ω'')}} का तत्व हो <math>\text{Hom}(H_p(M), \R ) \simeq H^p(M; \R )</math> जो निम्नानुसार कार्य करता है:
+निम्नानुसार परिभाषित किया गया है: किसी <math>[\omega] \in H_{\mathrm{dR}}^p(M)</math> के लिए,  {{math|''I''(''ω'')}} के तत्व <math>\text{Hom}(H_p(M), \R ) \simeq H^p(M; \R )</math> होता है, जो निम्नानुसार कार्य करता है:
 :<math>H_p(M) \ni [c] \longmapsto \int_c \omega.</math>
-डी राम के प्रमेय का दावा है कि यह डी रम कोहोमोलॉजी और एकवचन कोहोलॉजी के बीच एक समरूपता है।
+'''डी राम के प्रमेय का दावा है कि यह डी रम कोहोमोलॉजी और एकवचन कोहोलॉजी के बीच समरूपता है।'''
 [[बाहरी उत्पाद]] इन समूहों के समूहों के प्रत्यक्ष योग को एक [[अंगूठी (गणित)]] संरचना के साथ संपन्न करता है। प्रमेय का एक और परिणाम यह है कि दो [[कोहोलॉजी रिंग]]्स आइसोमोर्फिक ([[ वर्गीकृत अंगूठी ]]्स के रूप में) हैं, जहां एकवचन कोहोलॉजी पर अनुरूप उत्पाद [[कप उत्पाद]] है।
@@ Line 70: / Line 70: @@
 === प्रमाण ===
-मानक प्रमाण यह दिखाते हुए आगे बढ़ता है कि डे रहम परिसर, जब शीशों के एक परिसर के रूप में देखा जाता है, का एक [[चक्रीय संकल्प]] है <math display="inline">\underline{\R}</math>. अधिक विस्तार से, मान लीजिए m, M का आयाम है और मान लीजिए <math display="inline">\Omega^k</math> के [[शीफ (गणित)]] को निरूपित करें <math>k
+मानक प्रमाण यह दिखाते हुए आगे बढ़ता है कि डे रहम क्षेत्र, जब शीशों के एक क्षेत्र के रूप में देखा जाता है, का एक [[चक्रीय संकल्प]] है <math display="inline">\underline{\R}</math>. अधिक विस्तार से, मान लीजिए m, M का आयाम है और मान लीजिए <math display="inline">\Omega^k</math> के [[शीफ (गणित)]] को निरूपित करें <math>k
 </math>एम पर फॉर्म (के साथ <math display="inline">\Omega^0</math> का पुलिया <math display="inline">C^{\infty}</math> एम पर कार्य करता है)। पॉइंकेयर लेम्मा द्वारा, ढेरों का निम्नलिखित क्रम सटीक है (शेवों की [[एबेलियन श्रेणी]] में):
@@ Line 83: / Line 83: @@
 === हार्मोनिक रूप ===
-{{see also|Harmonic differential}}
+{{see also|हार्मोनिक अंतर}}
 अगर {{mvar|M}} एक [[ कॉम्पैक्ट जगह ]] [[ रीमैनियन कई गुना ]] है, फिर प्रत्येक समकक्ष वर्ग <math>H^k_{\mathrm{dR}}(M)</math> बिल्कुल एक [[हार्मोनिक रूप]] होता है। अर्ताथ हर सदस्य <math>\omega</math> किसी दिए गए तुल्यता वर्ग के बंद रूपों को इस रूप में लिखा जा सकता है
 :<math>\omega = \alpha + \gamma</math>
-कहाँ <math>\alpha</math> सटीक है और <math>\gamma</math> हार्मोनिक है: <math>\Delta\gamma = 0</math>.
+जहाँ <math>\alpha</math> सटीक है और <math>\gamma</math> हार्मोनिक है: <math>\Delta\gamma = 0</math>.
 कॉम्पैक्ट कनेक्टेड रीमैनियन मैनिफोल्ड पर कोई भी [[हार्मोनिक फ़ंक्शन]] स्थिर है। इस प्रकार, इस विशेष प्रतिनिधि तत्व को कई गुना पर समतुल्य रूप से समतुल्य रूपों का एक चरम (न्यूनतम) समझा जा सकता है। उदाहरण के लिए, ए पर {{math|2}}-[[ टोरस्र्स ]], कोई स्थिरांक की कल्पना कर सकता है {{math|1}}-एक रूप जहां सभी बालों को एक ही दिशा में बड़े करीने से कंघी की जाती है (और सभी बालों की लंबाई समान होती है)। इस स्थितियों में, दो कोहोलॉजिकल रूप से अलग-अलग कंघी हैं; अन्य सभी रैखिक संयोजन हैं। विशेष रूप से, इसका अर्थ है कि a की पहली बेट्टी संख्या {{math|2}}-टोरस दो होते हैं। अधिक सामान्यतः, एक पर <math>n</math>-आयामी टोरस <math>T^n</math>, के विभिन्न संयोजनों पर विचार कर सकते हैं <math>k</math>- टोरस पर बनता है। वहाँ हैं <math>n</math> चुनना <math>k</math> ऐसे संयोजन जिनका उपयोग आधार वैक्टर बनाने के लिए किया जा सकता है <math>H^k_{\text{dR}}(T^n)</math>; <math>k</math>डी राम कोहोलॉजी समूह के लिए -थ बेट्टी संख्या <math>n</math>-टोरस इस प्रकार है <math>n</math> चुनना <math>k</math>.
@@ Line 102: / Line 102: @@
 :<math>\omega = \alpha + \beta + \gamma ,</math>
-कहाँ <math>\alpha</math> सटीक है, <math>\beta</math> सह-सटीक है, और <math>\gamma</math> हार्मोनिक है।
+जहाँ <math>\alpha</math> सटीक है, <math>\beta</math> सह-सटीक है, और <math>\gamma</math> हार्मोनिक है।
 एक कहता है कि एक रूप <math>\beta</math> सह-बंद है अगर <math>\delta \beta = 0</math> और सह-सटीक अगर <math>\beta = \delta \eta</math> किसी रूप के लिए <math>\eta</math>, ओर वो <math>\gamma</math> हार्मोनिक है अगर लाप्लासियन शून्य है, <math>\Delta\gamma = 0</math>. यह इस बात पर ध्यान देने के बाद होता है कि सटीक और सह-सटीक रूप ऑर्थोगोनल हैं; ऑर्थोगोनल पूरक में ऐसे रूप होते हैं जो बंद और सह-बंद दोनों होते हैं: अर्ताथ हार्मोनिक रूपों का। यहाँ, रूढ़िवादिता को इसके संबंध में परिभाषित किया गया है {{math|[[lp space|''L''<sup>2</sup>]]}} आंतरिक उत्पाद चालू <math>\Omega^k(M)</math>:

Anonymous

Search

डी रम कोहोलॉजी: Difference between revisions

Namespaces

More

Page actions

Revision as of 21:17, 1 April 2023

Contents

परिभाषा