विर्टिंगर असमानता (2-रूप): Difference between revisions
No edit summary |
m (10 revisions imported from alpha:विर्टिंगर_असमानता_(2-रूप)) |
||
(8 intermediate revisions by one other user not shown) | |||
Line 1: | Line 1: | ||
: विर्टिंगर के नाम पर अन्य असमानताओं के लिए, विर्टिंगर की असमानता (बहुविकल्पी)|विर्टिंगर की असमानता देखें। | : विर्टिंगर के नाम पर अन्य असमानताओं के लिए, विर्टिंगर की असमानता (बहुविकल्पी)| विर्टिंगर की असमानता देखें। | ||
गणित में, 'विर्टिंगर असमानता', जिसका नाम [[ विलियम विर्टिंगर |विलियम विर्टिंगर]] के नाम पर रखा गया है, रैखिक बीजगणित में एक मौलिक परिणाम है | गणित में, '''<nowiki/>'विर्टिंगर असमानता',''' जिसका नाम [[ विलियम विर्टिंगर |विलियम विर्टिंगर]] के नाम पर रखा गया है, रैखिक बीजगणित में एक मौलिक परिणाम है जोकि एक [[हर्मिटियन आंतरिक उत्पाद]] के सहानुभूति और आयतन रूपों से संबंधित है। [[जटिल ज्यामिति]] में इसके महत्वपूर्ण परिणाम हैं, जिसमे यह दिखाया गया कि काहलर मैनिफोल्ड की सामान्यीकृत [[बाहरी शक्ति]]यां इस प्रकार है जैसे की काहलर मैनिफोल्ड का काहलर रूप [[कैलिब्रेटेड ज्यामिति]] है। | ||
==कथन== | ==कथन== | ||
सकारात्मक-निश्चित आंतरिक उत्पाद | सकारात्मक-निश्चित आंतरिक उत्पाद {{math|''g''}}, सहानुभूतिपूर्ण रूप ω, और लगभग-जटिल संरचना {{math|''J''}} के साथ एक वास्तविक वेक्टर स्थान पर इस प्रकार के विचार किये जाते , जो कि किसी भी सदिश {{math|''u''}} और {{math|''v''}} के लिए {{math|''ω''(''u'', ''v'') {{=}} ''g''(''J''(''u''), ''v'')}}) से जुड़ा हुआ होता है। किसी भी ऑर्थोनॉर्मल सदिश के लिए {{math|''v''<sub>1</sub>, ..., ''v''<sub>2''k''</sub>}} है | ||
:<math> (\underbrace{\omega\wedge\cdots\wedge\omega}_{k\text{ times}})(v_1,\ldots,v_{2k}) \leq k !.</math> | :<math> (\underbrace{\omega\wedge\cdots\wedge\omega}_{k\text{ times}})(v_1,\ldots,v_{2k}) \leq k !.</math> | ||
समानता है | इनमे समानता तभी पायी जाएगी '''है''' जब {{math|''v''<sub>1</sub>, ..., ''v''<sub>2''k''</sub>}} का विस्तार {{math|''J''}} के संचालन के तहत बंद होता है।{{sfnm|1a1=Federer|1y=1969|1loc=Section 1.8.2}} | ||
किसी रूप | किसी रूप के अल्पविराम की भाषा में, विर्टिंगर प्रमेय (हालाँकि समानता कब प्राप्त होती है इसके बारे में सटीकता के बिना) को यह कहते हुए भी व्यक्त किया जा सकता है कि रूप का अल्पविराम {{math|''ω'' ∧ ⋅⋅⋅ ∧ ''ω''}}, {{math|''k''!}} के बराबर है!{{sfnm|1a1=Federer|1y=1969|1loc=Section 1.8.2}} | ||
==प्रमाण== | ==प्रमाण== | ||
==={{math|''k'' {{=}} 1}}=== | ==={{math|''k'' {{=}} 1}}=== | ||
विशेष | विशेष स्थितियों में {{math|''k'' {{=}} 1}}, है तब विर्टिंगर असमानता कॉची-श्वार्ज़ असमानता का एक विशेष स्थिति होगी | | ||
:<math>\omega(v_1,v_2)=g(J(v_1),v_2)\leq \|J(v_1)\|_g\|v_2\|_g=1.</math> | :<math>\omega(v_1,v_2)=g(J(v_1),v_2)\leq \|J(v_1)\|_g\|v_2\|_g=1.</math> | ||
कॉची-श्वार्ज़ असमानता के समानता | कॉची-श्वार्ज़ असमानता के समानता स्थितियों के अनुसार, समानता तब होती है जब केवल {{math|''J''(''v''<sub>1</sub>)}} और {{math|''v''<sub>2</sub>}} संरेख होते हैं, जो कि {{math|''v''<sub>1</sub>}} की अवधि के बराबर है, तथा {{math|''v''<sub>2</sub>}} को J के तहत बंद किया जाता है। | ||
==={{math|''k'' > 1}}=== | ==={{math|''k'' > 1}}=== | ||
होने देना {{math|''v''<sub>1</sub>, ..., ''v''<sub>2''k''</sub>}} तय किया जाए, और जाने दिया जाए {{mvar|T}} उनके विस्तार को निरूपित | होने देना {{math|''v''<sub>1</sub>, ..., ''v''<sub>2''k''</sub>}} तय किया जाए, और जाने दिया जाए तब {{mvar|T}} उनके विस्तार को निरूपित करता है । फिर दोहरे आधार {{math|''w''<sub>1</sub>, ..., ''w''<sub>2''k''</sub>}} के साथ T का एक ऑर्थोनॉर्मल इस प्रकार है जिसका आधार {{math|''e''<sub>1</sub>, ..., ''e''<sub>2''k''</sub>}} है, जैसे कि | ||
:<math>\iota^\ast\omega=\sum_{j=1}^k\omega(e_{2j-1},e_{2j})w_{2j-1}\wedge w_{2j},</math> | :<math>\iota^\ast\omega=\sum_{j=1}^k\omega(e_{2j-1},e_{2j})w_{2j-1}\wedge w_{2j},</math> | ||
जहाँ {{math|''ι''}} से समावेशन मानचित्र को दर्शाता है जिससे {{mvar|T}} में {{mvar|V}}.{{sfnm|1a1=McDuff|1a2=Salamon|1y=2017|1loc=Lemma 2.4.5}} यह संकेत करता है | |||
:<math>\underbrace{\iota^\ast\omega\wedge\cdots\wedge \iota^\ast\omega}_{k\text{ times}}=k!\prod_{i=1}^k\omega(e_{2i-1},e_{2i})w_1\wedge \cdots\wedge w_{2k},</math> | :<math>\underbrace{\iota^\ast\omega\wedge\cdots\wedge \iota^\ast\omega}_{k\text{ times}}=k!\prod_{i=1}^k\omega(e_{2i-1},e_{2i})w_1\wedge \cdots\wedge w_{2k},</math> | ||
जो बदले में तात्पर्य करता है | जो बदले में तात्पर्य करता है | ||
:<math>(\underbrace{\omega\wedge\cdots\wedge\omega}_{k\text{ times}})(e_1,\ldots,e_{2k})=k!\prod_{i=1}^k\omega(e_{2i-1},e_{2i})\leq k!,</math> | :<math>(\underbrace{\omega\wedge\cdots\wedge\omega}_{k\text{ times}})(e_1,\ldots,e_{2k})=k!\prod_{i=1}^k\omega(e_{2i-1},e_{2i})\leq k!,</math> | ||
जहां असमानता पहले से स्थापित है {{math|''k'' {{=}} 1}} | जहां असमानता पहले से स्थापित है {{math|''k'' {{=}} 1}} की स्थिति में । यदि समानता कायम है, तो इसके अनुसार {{math|''k'' {{=}} 1}} समानता का स्थिति, ऐसा ही होना चाहिए {{math|''ω''(''e''<sub>2''i'' − 1</sub>, ''e''<sub>2''i''</sub>) {{=}} ±1}} प्रत्येक के लिए {{mvar|i}}. यह दोनों में से एक के बराबर है {{math|''ω''(''e''<sub>2''i'' − 1</sub>, ''e''<sub>2''i''</sub>) {{=}} 1}} या {{math|''ω''(''e''<sub>2''i''</sub>, ''e''<sub>2''i'' − 1</sub>) {{=}} 1}}, जो किसी भी स्थिति में (से {{math|''k'' {{=}} 1 }} केस) का तात्पर्य है कि सीमा {{math|''e''<sub>2''i'' − 1</sub>, ''e''<sub>2''i''</sub>}} के अंतर्गत बंद है {{math|''J''}}, और इसलिए वह अवधि {{math|''e''<sub>1</sub>, ..., ''e''<sub>2''k''</sub>}} के अंतर्गत बंद है {{mvar|J}}. | ||
अंत में, मात्रा की निर्भरता | अंत में, मात्रा की निर्भरता | ||
:<math>(\underbrace{\omega\wedge\cdots\wedge\omega}_{k\text{ times}})(v_1,\ldots,v_{2k})</math> | :<math>(\underbrace{\omega\wedge\cdots\wedge\omega}_{k\text{ times}})(v_1,\ldots,v_{2k})</math> | ||
पर {{math|''v''<sub>1</sub>, ..., ''v''<sub>2''k''</sub>}} केवल मात्रा पर है {{math|''v''<sub>1</sub> ∧ ⋅⋅⋅ ∧ ''v''<sub>2''k''</sub>}}, और ओर्थोनॉर्मलिटी स्थिति से {{math|''v''<sub>1</sub>, ..., ''v''<sub>2''k''</sub>}}, यह वेज उत्पाद एक संकेत तक अच्छी तरह से निर्धारित है। यह उपरोक्त कार्य से संबंधित है {{math|''e''<sub>1</sub>, ..., ''e''<sub>2''k''</sub>}} के संदर्भ में वांछित कथन के लिए {{math|''v''<sub>1</sub>, ..., ''v''<sub>2''k''</sub>}}. | पर {{math|''v''<sub>1</sub>, ..., ''v''<sub>2''k''</sub>}} केवल मात्रा पर है {{math|''v''<sub>1</sub> ∧ ⋅⋅⋅ ∧ ''v''<sub>2''k''</sub>}}, और ओर्थोनॉर्मलिटी स्थिति से {{math|''v''<sub>1</sub>, ..., ''v''<sub>2''k''</sub>}}, यह वेज उत्पाद एक संकेत तक अच्छी तरह से निर्धारित है। यह उपरोक्त कार्य से संबंधित है {{math|''e''<sub>1</sub>, ..., ''e''<sub>2''k''</sub>}} के संदर्भ में वांछित कथन के लिए {{math|''v''<sub>1</sub>, ..., ''v''<sub>2''k''</sub>}}. है | | ||
==परिणाम== | ==परिणाम== | ||
हर्मिटियन मेट्रिक के साथ एक जटिल मैनिफोल्ड को देखते हुए, विर्टिंगर प्रमेय का तुरंत तात्पर्य है कि किसी भी {{math|2''k''}} -आयामी एम्बेडेड सबमैनिफोल्ड {{mvar|M}} के लिए, वहाँ है | |||
:<math>\operatorname{vol}(M)\geq\frac{1}{k!}\int_M \omega^k,</math> | :<math>\operatorname{vol}(M)\geq\frac{1}{k!}\int_M \omega^k,</math> | ||
जहाँ {{math|''ω''}} मीट्रिक का काहलर रूप है। इसके अतिरिक्त, समानता तभी प्राप्त होती है जब {{mvar|M}} एक जटिल उपमान होता है।{{sfnm|1a1=Griffiths|1a2=Harris|1y=1978|1loc=Section 0.2}} विशेष स्थितियों में हर्मिटियन मीट्रिक काहलर मीट्रिक काहलर नियम को संतुष्ट करता है, यह ऐसा कहता है कि {{math|{{sfrac|1|''k''!}}''ω''<sup>''k''</sup>}} अंतर्निहित रीमैनियन मीट्रिक के लिए एक कैलिब्रेटेड ज्यामिति है, और संबंधित कैलिब्रेटेड ज्यामिति जटिल आयाम के जटिल उपमान हैं {{mvar|k}}.{{sfnm|1a1=Harvey|1a2=Lawson|1y=1982}} यह विशेष रूप से कहता है कि काहलर मैनिफोल्ड का प्रत्येक जटिल सबमैनिफोल्ड एक [[न्यूनतम सबमैनिफोल्ड]] है, और इसके [[समरूपता वर्ग]] में सभी सबमैनिफोल्ड के बीच वॉल्यूम-न्यूनतम भी है। | |||
विर्टिंगर असमानता का उपयोग करते हुए, ये तथ्य काहलर मैनिफोल्ड्स में वर्तमान (गणित) के अधिक परिष्कृत संदर्भ तक भी विस्तारित होते हैं।{{sfnm|1a1=Federer|1y=1969|1loc=Section 5.4.19}} | विर्टिंगर असमानता का उपयोग करते हुए, ये तथ्य काहलर मैनिफोल्ड्स में वर्तमान (गणित) के अधिक परिष्कृत संदर्भ तक भी विस्तारित होते हैं।{{sfnm|1a1=Federer|1y=1969|1loc=Section 5.4.19}} |
Latest revision as of 16:22, 13 July 2023
- विर्टिंगर के नाम पर अन्य असमानताओं के लिए, विर्टिंगर की असमानता (बहुविकल्पी)| विर्टिंगर की असमानता देखें।
गणित में, 'विर्टिंगर असमानता', जिसका नाम विलियम विर्टिंगर के नाम पर रखा गया है, रैखिक बीजगणित में एक मौलिक परिणाम है जोकि एक हर्मिटियन आंतरिक उत्पाद के सहानुभूति और आयतन रूपों से संबंधित है। जटिल ज्यामिति में इसके महत्वपूर्ण परिणाम हैं, जिसमे यह दिखाया गया कि काहलर मैनिफोल्ड की सामान्यीकृत बाहरी शक्तियां इस प्रकार है जैसे की काहलर मैनिफोल्ड का काहलर रूप कैलिब्रेटेड ज्यामिति है।
कथन
सकारात्मक-निश्चित आंतरिक उत्पाद g, सहानुभूतिपूर्ण रूप ω, और लगभग-जटिल संरचना J के साथ एक वास्तविक वेक्टर स्थान पर इस प्रकार के विचार किये जाते , जो कि किसी भी सदिश u और v के लिए ω(u, v) = g(J(u), v)) से जुड़ा हुआ होता है। किसी भी ऑर्थोनॉर्मल सदिश के लिए v1, ..., v2k है
इनमे समानता तभी पायी जाएगी है जब v1, ..., v2k का विस्तार J के संचालन के तहत बंद होता है।[1]
किसी रूप के अल्पविराम की भाषा में, विर्टिंगर प्रमेय (हालाँकि समानता कब प्राप्त होती है इसके बारे में सटीकता के बिना) को यह कहते हुए भी व्यक्त किया जा सकता है कि रूप का अल्पविराम ω ∧ ⋅⋅⋅ ∧ ω, k! के बराबर है![1]
प्रमाण
k = 1
विशेष स्थितियों में k = 1, है तब विर्टिंगर असमानता कॉची-श्वार्ज़ असमानता का एक विशेष स्थिति होगी |
कॉची-श्वार्ज़ असमानता के समानता स्थितियों के अनुसार, समानता तब होती है जब केवल J(v1) और v2 संरेख होते हैं, जो कि v1 की अवधि के बराबर है, तथा v2 को J के तहत बंद किया जाता है।
k > 1
होने देना v1, ..., v2k तय किया जाए, और जाने दिया जाए तब T उनके विस्तार को निरूपित करता है । फिर दोहरे आधार w1, ..., w2k के साथ T का एक ऑर्थोनॉर्मल इस प्रकार है जिसका आधार e1, ..., e2k है, जैसे कि
जहाँ ι से समावेशन मानचित्र को दर्शाता है जिससे T में V.[2] यह संकेत करता है
जो बदले में तात्पर्य करता है
जहां असमानता पहले से स्थापित है k = 1 की स्थिति में । यदि समानता कायम है, तो इसके अनुसार k = 1 समानता का स्थिति, ऐसा ही होना चाहिए ω(e2i − 1, e2i) = ±1 प्रत्येक के लिए i. यह दोनों में से एक के बराबर है ω(e2i − 1, e2i) = 1 या ω(e2i, e2i − 1) = 1, जो किसी भी स्थिति में (से k = 1 केस) का तात्पर्य है कि सीमा e2i − 1, e2i के अंतर्गत बंद है J, और इसलिए वह अवधि e1, ..., e2k के अंतर्गत बंद है J.
अंत में, मात्रा की निर्भरता
पर v1, ..., v2k केवल मात्रा पर है v1 ∧ ⋅⋅⋅ ∧ v2k, और ओर्थोनॉर्मलिटी स्थिति से v1, ..., v2k, यह वेज उत्पाद एक संकेत तक अच्छी तरह से निर्धारित है। यह उपरोक्त कार्य से संबंधित है e1, ..., e2k के संदर्भ में वांछित कथन के लिए v1, ..., v2k. है |
परिणाम
हर्मिटियन मेट्रिक के साथ एक जटिल मैनिफोल्ड को देखते हुए, विर्टिंगर प्रमेय का तुरंत तात्पर्य है कि किसी भी 2k -आयामी एम्बेडेड सबमैनिफोल्ड M के लिए, वहाँ है
जहाँ ω मीट्रिक का काहलर रूप है। इसके अतिरिक्त, समानता तभी प्राप्त होती है जब M एक जटिल उपमान होता है।[3] विशेष स्थितियों में हर्मिटियन मीट्रिक काहलर मीट्रिक काहलर नियम को संतुष्ट करता है, यह ऐसा कहता है कि 1/k!ωk अंतर्निहित रीमैनियन मीट्रिक के लिए एक कैलिब्रेटेड ज्यामिति है, और संबंधित कैलिब्रेटेड ज्यामिति जटिल आयाम के जटिल उपमान हैं k.[4] यह विशेष रूप से कहता है कि काहलर मैनिफोल्ड का प्रत्येक जटिल सबमैनिफोल्ड एक न्यूनतम सबमैनिफोल्ड है, और इसके समरूपता वर्ग में सभी सबमैनिफोल्ड के बीच वॉल्यूम-न्यूनतम भी है।
विर्टिंगर असमानता का उपयोग करते हुए, ये तथ्य काहलर मैनिफोल्ड्स में वर्तमान (गणित) के अधिक परिष्कृत संदर्भ तक भी विस्तारित होते हैं।[5]
यह भी देखें
- जटिल प्रक्षेप्य स्थान के लिए ग्रोमोव की असमानता
- सिस्टोलिक ज्यामिति
टिप्पणियाँ
- ↑ 1.0 1.1 Federer 1969, Section 1.8.2.
- ↑ McDuff & Salamon 2017, Lemma 2.4.5.
- ↑ Griffiths & Harris 1978, Section 0.2.
- ↑ Harvey & Lawson 1982.
- ↑ Federer 1969, Section 5.4.19.
संदर्भ
- Federer, Herbert (1969). Geometric measure theory. Die Grundlehren der mathematischen Wissenschaften. Vol. 153. Berlin–Heidelberg–New York: Springer-Verlag. doi:10.1007/978-3-642-62010-2. ISBN 978-3-540-60656-7. MR 0257325. Zbl 0176.00801.
- Griffiths, Phillip; Harris, Joseph (1978). Principles of algebraic geometry. Pure and Applied Mathematics. New York: John Wiley & Sons. ISBN 0-471-32792-1. MR 0507725. Zbl 0408.14001.
- Harvey, Reese; Lawson, H. Blaine, Jr. (1982). "Calibrated geometries". Acta Mathematica. 148: 47–157. doi:10.1007/BF02392726. MR 0666108. Zbl 0584.53021.
{{cite journal}}
: CS1 maint: multiple names: authors list (link) - McDuff, Dusa; Salamon, Dietmar (2017). Introduction to symplectic topology. Oxford Graduate Texts in Mathematics (Third edition of 1995 original ed.). Oxford: Oxford University Press. doi:10.1093/oso/9780198794899.001.0001. ISBN 978-0-19-879490-5. MR 3674984. Zbl 1380.53003.
- Wirtinger, W. (1936). "Eine Determinantenidentität und ihre Anwendung auf analytische Gebilde in euklidischer und Hermitescher Maßbestimmung". Monatshefte für Mathematik und Physik. 44: 343–365. doi:10.1007/BF01699328. MR 1550581. Zbl 0015.07602.