विर्टिंगर असमानता (2-रूप): Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
: विर्टिंगर के नाम पर अन्य असमानताओं के लिए, विर्टिंगर की असमानता (बहुविकल्पी)| विर्टिंगर की असमानता देखें। | : विर्टिंगर के नाम पर अन्य असमानताओं के लिए, विर्टिंगर की असमानता (बहुविकल्पी)| विर्टिंगर की असमानता देखें। | ||
गणित में, 'विर्टिंगर असमानता', जिसका नाम [[ विलियम विर्टिंगर |विलियम विर्टिंगर]] के नाम पर रखा गया है, रैखिक बीजगणित में एक मौलिक परिणाम है जो एक [[हर्मिटियन आंतरिक उत्पाद]] के सहानुभूति और आयतन रूपों से संबंधित है। [[जटिल ज्यामिति]] में इसके महत्वपूर्ण परिणाम हैं, जैसे कि यह दिखाना कि काहलर मैनिफोल्ड की सामान्यीकृत [[बाहरी शक्ति]]यां | काहलर मैनिफोल्ड का काहलर रूप [[कैलिब्रेटेड ज्यामिति]] है। | गणित में, '''<nowiki/>'विर्टिंगर असमानता',''' जिसका नाम [[ विलियम विर्टिंगर |विलियम विर्टिंगर]] के नाम पर रखा गया है, रैखिक बीजगणित में एक मौलिक परिणाम है जो एक [[हर्मिटियन आंतरिक उत्पाद]] के सहानुभूति और आयतन रूपों से संबंधित है। [[जटिल ज्यामिति]] में इसके महत्वपूर्ण परिणाम हैं, जैसे कि यह दिखाना कि काहलर मैनिफोल्ड की सामान्यीकृत [[बाहरी शक्ति]]यां | काहलर मैनिफोल्ड का काहलर रूप [[कैलिब्रेटेड ज्यामिति]] है। | ||
==कथन== | ==कथन== | ||
| Line 15: | Line 15: | ||
विशेष स्थितियों में {{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|''e''<sub>1</sub>, ..., ''e''<sub>2''k''</sub>}} का {{mvar|T}} दोहरे आधार के साथ {{math|''w''<sub>1</sub>, ..., ''w''<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|''ι''}} से समावेशन मानचित्र को दर्शाता है {{mvar|T}} में {{mvar|V}}.{{sfnm|1a1=McDuff|1a2=Salamon|1y=2017|1loc=Lemma 2.4.5}} यह संकेत करता है | ||
| Line 24: | Line 24: | ||
जो बदले में तात्पर्य करता है | जो बदले में तात्पर्य करता है | ||
:<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}}. | ||
अंत में, मात्रा की निर्भरता | अंत में, मात्रा की निर्भरता | ||
| Line 31: | Line 31: | ||
==परिणाम== | ==परिणाम== | ||
हर्मिटियन मेट्रिक के साथ एक जटिल मैनिफोल्ड को देखते हुए, विर्टिंगर प्रमेय का तुरंत तात्पर्य है कि किसी भी {{math|2''k''}} -आयामी एम्बेडेड सबमैनिफोल्ड {{mvar|M}} | हर्मिटियन मेट्रिक के साथ एक जटिल मैनिफोल्ड को देखते हुए, विर्टिंगर प्रमेय का तुरंत तात्पर्य है कि किसी भी {{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}} | ||
Revision as of 14:22, 8 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 उनके विस्तार को निरूपित करें। फिर एक लम्बवत् आधार है e1, ..., e2k का T दोहरे आधार के साथ w1, ..., w2k ऐसा है कि
कहाँ ι से समावेशन मानचित्र को दर्शाता है 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.
