विर्टिंगर असमानता (2-रूप)


 * विर्टिंगर के नाम पर अन्य असमानताओं के लिए, विर्टिंगर की असमानता (बहुविकल्पी)|विर्टिंगर की असमानता देखें।

गणित में, 'विर्टिंगर असमानता', जिसका नाम विलियम विर्टिंगर  के नाम पर रखा गया है, रैखिक बीजगणित में एक मौलिक परिणाम है जो एक हर्मिटियन आंतरिक उत्पाद के सहानुभूति और आयतन रूपों से संबंधित है। जटिल ज्यामिति में इसके महत्वपूर्ण परिणाम हैं, जैसे कि यह दिखाना कि काहलर मैनिफोल्ड की सामान्यीकृत बाहरी शक्तियां | काहलर मैनिफोल्ड का काहलर रूप कैलिब्रेटेड ज्यामिति है।

कथन
सकारात्मक-निश्चित आंतरिक उत्पाद के साथ एक वास्तविक वेक्टर स्थान पर विचार करें $g$, सरल रूप $&omega;$, और लगभग-जटिल संरचना $J$, से जुड़ा हुआ $&omega;(u, v) = g(J(u), v)$ किसी भी वैक्टर के लिए $u$ और $v$. फिर किसी भी ऑर्थोनॉर्मल वेक्टर के लिए $v_{1}, ..., v_{2k}$ वहाँ है
 * $$ (\underbrace{\omega\wedge\cdots\wedge\omega}_{k\text{ times}})(v_1,\ldots,v_{2k}) \leq k !.$$

समानता है यदि और केवल यदि की अवधि $v_{1}, ..., v_{2k}$ के संचालन के तहत बंद है $J$.

किसी रूप की वर्तमान (गणित) की भाषा में, विर्टिंगर प्रमेय (यद्यपि समानता कब प्राप्त होती है इसके बारे में सटीकता के बिना) को यह कहते हुए भी कहा जा सकता है कि रूप का कोमास $&omega; ∧ ⋅⋅⋅ ∧ &omega;$ के बराबर है $k!$.

$k = 1$
विशेष मामले में $k = 1$, विर्टिंगर असमानता कॉची-श्वार्ज़ असमानता का एक विशेष मामला है:
 * $$\omega(v_1,v_2)=g(J(v_1),v_2)\leq \|J(v_1)\|_g\|v_2\|_g=1.$$

कॉची-श्वार्ज़ असमानता के समानता मामले के अनुसार, समानता तब होती है जब और केवल यदि $J(v_{1})$ और $v_{2}$ संरेख हैं, जो के विस्तार के बराबर है $v_{1}, v_{2}$के तहत बंद किया जा रहा है $J$.

$k > 1$
होने देना $v_{1}, ..., v_{2k}$ तय किया जाए, और जाने दिया जाए $T$ उनके विस्तार को निरूपित करें। फिर एक लम्बवत् आधार है $e_{1}, ..., e_{2k}$ का $T$ दोहरे आधार के साथ $w_{1}, ..., w_{2k}$ ऐसा है कि
 * $$\iota^\ast\omega=\sum_{j=1}^k\omega(e_{2j-1},e_{2j})w_{2j-1}\wedge w_{2j},$$

कहाँ $&iota;$ से समावेशन मानचित्र को दर्शाता है $T$ में $V$. यह संकेत करता है
 * $$\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},$$

जो बदले में तात्पर्य करता है
 * $$(\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!,$$

जहां असमानता पहले से स्थापित है $k = 1$ मामला। यदि समानता कायम है, तो के अनुसार $k = 1$ समानता का मामला, ऐसा ही होना चाहिए $&omega;(e_{2i − 1}, e_{2i}) = ±1$ प्रत्येक के लिए $i$. यह दोनों में से एक के बराबर है $&omega;(e_{2i − 1}, e_{2i}) = 1$ या $&omega;(e_{2i}, e_{2i − 1}) = 1$, जो किसी भी स्थिति में (से $k = 1$ केस) का तात्पर्य है कि का दायरा $e_{2i − 1}, e_{2i}$ के अंतर्गत बंद है $J$, और इसलिए वह अवधि $e_{1}, ..., e_{2k}$ के अंतर्गत बंद है $J$.

अंत में, मात्रा की निर्भरता
 * $$(\underbrace{\omega\wedge\cdots\wedge\omega}_{k\text{ times}})(v_1,\ldots,v_{2k})$$

पर $v_{1}, ..., v_{2k}$ केवल मात्रा पर है $v_{1} ∧ ⋅⋅⋅ ∧ v_{2k}$, और ओर्थोनॉर्मलिटी स्थिति से $v_{1}, ..., v_{2k}$, यह वेज उत्पाद एक संकेत तक अच्छी तरह से निर्धारित है। यह उपरोक्त कार्य से संबंधित है $e_{1}, ..., e_{2k}$ के संदर्भ में वांछित कथन के लिए $v_{1}, ..., v_{2k}$.

परिणाम
हर्मिटियन मेट्रिक के साथ एक जटिल विविधता को देखते हुए, विर्टिंगर प्रमेय तुरंत किसी के लिए भी इसका अर्थ निकालता है $2k$-आयामी एंबेडेड सबमैनिफोल्ड  $M$, वहाँ है
 * $$\operatorname{vol}(M)\geq\frac{1}{k!}\int_M \omega^k,$$

कहाँ $&omega;$ मीट्रिक का काहलर रूप है। इसके अलावा, समानता तभी प्राप्त होती है जब $M$ एक जटिल उपमान है। विशेष मामले में कि हर्मिटियन मीट्रिक काहलर मीट्रिक|काहलर शर्त को संतुष्ट करता है, यह कहता है कि $1⁄k!&omega;^{k}$ अंतर्निहित रीमैनियन मीट्रिक के लिए एक कैलिब्रेटेड ज्यामिति है, और संबंधित कैलिब्रेटेड ज्यामिति जटिल आयाम के जटिल उपमान हैं $k$. यह विशेष रूप से कहता है कि काहलर मैनिफोल्ड का प्रत्येक जटिल सबमैनिफोल्ड एक न्यूनतम सबमैनिफोल्ड है, और इसके समरूपता वर्ग में सभी सबमैनिफोल्ड के बीच वॉल्यूम-न्यूनतम भी है।

विर्टिंगर असमानता का उपयोग करते हुए, ये तथ्य काहलर मैनिफोल्ड्स में वर्तमान (गणित) के अधिक परिष्कृत संदर्भ तक भी विस्तारित होते हैं।

यह भी देखें

 * जटिल प्रक्षेप्य स्थान के लिए ग्रोमोव की असमानता
 * सिस्टोलिक ज्यामिति