पतित द्विरेखीय रूप

गणित में, विशेष रूप से रेखीय बीजगणित, सदिश समष्टि V पर एक द्विरेखीय रूप f&hairsp;(x, y&hairsp;) एक द्विरेखीय रूप है जैसे कि V से V∗ (V&hairsp; की द्वैतसदिशसमष्‍टि) का प्रतिचित्रण v ↦ (x ↦ f&hairsp;(x,&thinsp;v&hairsp;)) द्वारा दी गई तुल्याकारिता नहीं है। एक समतुल्य परिभाषा जब V परिमित-आयामी (सदिश समष्टि) है कि इसमें एक असतहीय कर्नेल है: V में कुछ गैर-शून्य x स्थित हैं जैसे कि


 * $$\,y \in V$$ सभी के लिए $$f(x,y)=0\,$$।

अनपभ्रष्ट रूप
एक अनपभ्रष्ट या व्युत्क्रमणीय रूप एक द्विरेखीय रूप है जो पतित नहीं है, जिसका अर्थ है $$v \mapsto (x \mapsto f(x,v))$$ एक समरूपता है, या समान रूप से परिमित आयामों में, यदि और मात्र यदि सभी
 * $$y \in V$$ के लिए $$f(x,y)=0$$ का अर्थ है कि $$x = 0$$।

अविकृत रूपों के सबसे महत्वपूर्ण उदाहरण आंतरिक उत्पाद और सहानुभूतिपूर्ण रूप हैं। सममित द्विरेखीय रूप अनपभ्रष्ट रूप आंतरिक उत्पादों के महत्वपूर्ण सामान्यीकरण हैं, जिसमें अक्सर मात्र यह आवश्यक होता है कि मानचित्र $$V \to V^*$$ एक समरूपता बनें, सकारात्मकता नहीं। उदाहरण के लिए, अपने स्पर्शरेखा रिक्त समष्टि पर एक आंतरिक उत्पाद संरचना के साथ एक मैनिफोल्ड एक रिमेंनियन मैनिफोल्ड है, जबकि इसे एक सममित नॉनडीजेनेरेट रूप में आराम करने से एक छद्म- रीमैनियन [[कई गुना ]] उत्पन्न होता है।

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

संबंधित धारणाएं
यदि एक द्विघात रूप Q के लिए एक शून्येतर सदिश v ∈ V ऐसा है कि Q(v) = 0 है, तो Q एक समदैशिक द्विघात रूप है। यदि सभी गैर-शून्य सदिशों के लिए Q का चिह्न समान है, तो यह एक निश्चित द्विघात रूप या 'अनिसोट्रोपिक द्विघात रूप' है।

एक-मॉड्यूलर रूप और एक पूर्ण जोड़ी की बारीकी से संबंधित धारणा है; ये क्षेत्र (गणित) पर सहमत हैं लेकिन सामान्य रिंग (गणित) पर नहीं।

उदाहरण
वास्तविक, द्विघात बीजगणित का अध्ययन द्विघात रूपों के प्रकारों के बीच अंतर को दर्शाता है। गुणनफल zz* प्रत्येक सम्मिश्र संख्या, विभक्त-जटिल संख्या और दोहरी संख्या के लिए एक द्विघात रूप है। z = x + ε y के लिए, दोहरी संख्या का रूप x है2 जो कि एक पतित द्विघात रूप है। विभाजित-जटिल मामला एक आइसोट्रोपिक रूप है, और जटिल मामला एक निश्चित रूप है।

अविकृत रूपों के सबसे महत्वपूर्ण उदाहरण आंतरिक उत्पाद और सहानुभूतिपूर्ण रूप हैं। सममित गैर-डीजेनेरेट रूप आंतरिक उत्पादों के महत्वपूर्ण सामान्यीकरण हैं, जिसमें अक्सर यह आवश्यक होता है कि मानचित्र $$V \to V^*$$ एक समरूपता बनें, सकारात्मकता नहीं। उदाहरण के लिए, अपने स्पर्शरेखा रिक्त समष्टि पर एक आंतरिक उत्पाद संरचना के साथ एक मैनिफोल्ड एक रिमेंनियन मैनिफोल्ड है, जबकि इसे एक सममित नॉनडीजेनेरेट रूप में आराम करने से एक छद्म-रीमैनियन मैनिफोल्ड उत्पन्न होता है।

अनंत आयाम
ध्यान दें कि एक अनंत-आयामी समष्टि में, हमारे पास एक द्विरेखीय रूप ƒ हो सकता है जिसके लिए $$v \mapsto (x \mapsto f(x,v))$$ इंजेक्शन है लेकिन विशेषण नहीं है। उदाहरण के लिए, एक बंद परिबद्ध अंतराल (गणित) पर निरंतर कार्यों के समष्टि पर, प्रपत्र
 * $$ f(\phi,\psi) = \int\psi(x)\phi(x) \,dx$$ विशेषण नहीं है: उदाहरण के लिए, डायराक डेल्टा कार्यात्मक दोहरी जगह में है लेकिन आवश्यक रूप में नहीं है। दूसरी ओर, यह द्विरेखीय रूप संतुष्ट करता है
 * $$f(\phi,\psi)=0$$ सभी के लिए $$\phi$$ इसका आशय है $$\psi=0.\,$$

ऐसे मामले में जहां ƒ इंजेक्टिविटी को संतुष्ट करता है (लेकिन आवश्यक रूप से विशेषण नहीं), ƒ को कमजोर रूप से अनपभ्रष्ट कहा जाता है।

शब्दावली
यदि f सभी सदिशों पर समान रूप से लुप्त हो जाता है तो इसे 'पूर्णतः पतित' कहा जाता है। सदिशों के समुच्चय V पर किसी द्विरेखीय रूप f को दिया गया है


 * $$\{x\in V \mid f(x,y) = 0 \mbox{ for all } y \in V\}$$

वी के एक पूरी तरह से पतित रैखिक उप-समष्टि बनाता है। नक्शा एफ गैर-अपघटित है अगर और मात्र अगर यह उप-समष्टि तुच्छ है।

ज्यामितीय रूप से, द्विघात रूप की एक आइसोट्रोपिक रेखा प्रक्षेप्य समष्टि में संबद्ध चतुर्भुज सतह के एक बिंदु से मेल खाती है। ऐसी रेखा द्विरेखीय रूप के लिए अतिरिक्त रूप से आइसोट्रोपिक है यदि और मात्र यदि संबंधित बिंदु एक विलक्षण विविधता है। इसलिए, एक बीजगणितीय रूप से बंद क्षेत्र पर, हिल्बर्ट का नलस्टेलेंसैट्स गारंटी देता है कि द्विघात रूप में हमेशा आइसोट्रोपिक रेखाएं होती हैं, जबकि द्विरेखीय रूप में वे होती हैं यदि और मात्र अगर सतह एकवचन है।

उद्धरण
Forma dwuliniowa