द्विघात रूप: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| (5 intermediate revisions by 4 users not shown) | |||
| Line 2: | Line 2: | ||
{{for|सांख्यिकी में उपयोग|द्विघात रूप (सांख्यिकी)}} | {{for|सांख्यिकी में उपयोग|द्विघात रूप (सांख्यिकी)}} | ||
गणित में, एक द्विघात रूप एक [[ बहुपद |बहुपद]] है जिसमें बहुपद दो की सभी डिग्री होती है ([[ रूप (गणित) |रूप (गणित)]] एक [[ सजातीय बहुपद |सजातीय बहुपद]] का दूसरा नाम है)। उदाहरण के लिए, | |||
गणित में, एक द्विघात रूप एक [[ बहुपद |बहुपद]] है जिसमें बहुपद दो की सभी डिग्री होती है ([[ रूप (गणित) | रूप (गणित)]] एक [[ सजातीय बहुपद |सजातीय बहुपद]] का दूसरा नाम है)। उदाहरण के लिए, | |||
:<math>4x^2 + 2xy - 3y^2</math> | :<math>4x^2 + 2xy - 3y^2</math> | ||
चरों में द्विघात रूप है {{mvar|x}} और {{mvar|y}}. गुणांक आमतौर पर एक निश्चित [[ क्षेत्र (गणित) |क्षेत्र (गणित)]] से संबंधित होते हैं {{mvar|K}}, जैसे कि [[ वास्तविक संख्या |वास्तविक संख्या]] या सम्मिश्र संख्याएँ, और एक द्विघात रूप की बात करता है {{mvar|K}}. यदि <math>K=\mathbb R</math>, और द्विघात रूप केवल शून्य लेता है जब सभी चर एक साथ शून्य होते हैं, तो यह एक [[ निश्चित द्विघात रूप |निश्चित द्विघात रूप]] है, अन्यथा यह एक [[ आइसोट्रोपिक द्विघात रूप |आइसोट्रोपिक द्विघात रूप]] है। | चरों में द्विघात रूप है {{mvar|x}} और {{mvar|y}}. गुणांक आमतौर पर एक निश्चित [[ क्षेत्र (गणित) |क्षेत्र (गणित)]] से संबंधित होते हैं {{mvar|K}}, जैसे कि [[ वास्तविक संख्या |वास्तविक संख्या]] या सम्मिश्र संख्याएँ, और एक द्विघात रूप की बात करता है {{mvar|K}}. यदि <math>K=\mathbb R</math>, और द्विघात रूप केवल शून्य लेता है जब सभी चर एक साथ शून्य होते हैं, तो यह एक [[ निश्चित द्विघात रूप |निश्चित द्विघात रूप]] है, अन्यथा यह एक [[ आइसोट्रोपिक द्विघात रूप |आइसोट्रोपिक द्विघात रूप]] है। | ||
द्विघात रूप गणित की विभिन्न शाखाओं में एक केंद्रीय स्थान पर | द्विघात रूप गणित की विभिन्न शाखाओं में एक केंद्रीय स्थान पर अधिकार कर लेते हैं, जिनमें [[ संख्या सिद्धांत |संख्या सिद्धांत]], रैखिक बीजगणित, [[ समूह सिद्धांत |समूह सिद्धांत]] ([[ ऑर्थोगोनल समूह |ऑर्थोगोनल समूह]]), [[ अंतर ज्यामिति |अंतर ज्यामिति]] ([[ रिमेंनियन मीट्रिक |रिमेंनियन मीट्रिक]], [[ दूसरा मौलिक रूप |दूसरा मौलिक रूप]]), [[ अंतर टोपोलॉजी |अंतर टोपोलॉजी]] ([[ चौराहे का रूप (4-कई गुना) |चौराहे का रूप (4-कई गुना)]] चार- शामिल हैं। मैनिफोल्ड्स), और लाई थ्योरी ([[ मारक रूप |मारक रूप]])। | ||
द्विघात रूपों को [[ द्विघात समीकरण |द्विघात समीकरण]] के साथ भ्रमित नहीं होना चाहिए, जिसमें केवल एक चर होता है और इसमें डिग्री दो या उससे कम की | द्विघात रूपों को [[ द्विघात समीकरण |द्विघात समीकरण]] के साथ भ्रमित नहीं होना चाहिए, जिसमें केवल एक चर होता है और इसमें डिग्री दो या उससे कम की उपबंध सम्मिलित होती हैं। एक द्विघात रूप सजातीय बहुपद की अधिक सामान्य अवधारणा की एक घटना है। | ||
== परिचय == | == परिचय == | ||
द्विघात रूप एन चर में सजातीय द्विघात बहुपद हैं। एक, दो और तीन चर के | द्विघात रूप एन चर में सजातीय द्विघात बहुपद हैं। एक, दो और तीन चर के प्रकरणों में उन्हें 'यूनरी', '[[ द्विआधारी द्विघात रूप |द्विआधारी द्विघात रूप]]' और 'टर्नरी' कहा जाता है और निम्नलिखित स्पष्ट रूप होते हैं: | ||
:<math>\begin{align} | :<math>\begin{align} | ||
| Line 20: | Line 19: | ||
\end{align}</math> | \end{align}</math> | ||
जहाँ a, ..., f 'गुणांक' हैं।<ref>A tradition going back to [[Gauss]] dictates the use of manifestly even coefficients for the products of distinct variables, that is, 2''b'' in place of ''b'' in binary forms and 2''b'', 2''d'', 2''f'' in place of ''b'', ''d'', ''f'' in ternary forms. Both conventions occur in the literature.</ref> | जहाँ a, ..., f 'गुणांक' हैं।<ref>A tradition going back to [[Gauss]] dictates the use of manifestly even coefficients for the products of distinct variables, that is, 2''b'' in place of ''b'' in binary forms and 2''b'', 2''d'', 2''f'' in place of ''b'', ''d'', ''f'' in ternary forms. Both conventions occur in the literature.</ref> | ||
अंकन <math>\langle a_1, \ldots, a_n\rangle</math> | अंकन <math>\langle a_1, \ldots, a_n\rangle</math> प्रायः प्रयोग किया जाता है{{cn|date=December 2020}} द्विघात रूप के लिए | ||
: <math>q(x) = a_1 x_1^2 + a_2 x_2^2 + \cdots + a_n x_n^2.</math> | : <math>q(x) = a_1 x_1^2 + a_2 x_2^2 + \cdots + a_n x_n^2.</math> | ||
उनके अध्ययन में प्रयुक्त द्विघात रूपों और विधियों का सिद्धांत गुणांक की प्रकृति पर काफी हद तक निर्भर करता है, जो वास्तविक संख्या या सम्मिश्र संख्या, परिमेय संख्या या [[ पूर्णांक |पूर्णांक]] हो सकता है। रेखीय बीजगणित, [[ विश्लेषणात्मक ज्यामिति |विश्लेषणात्मक ज्यामिति]] और द्विघात रूपों के अधिकांश अनुप्रयोगों में, गुणांक वास्तविक या सम्मिश्र संख्याएँ हैं। द्विघात रूपों के बीजगणितीय सिद्धांत में, गुणांक एक निश्चित [[ क्षेत्र (बीजगणित) |क्षेत्र (बीजगणित)]] के तत्व हैं। द्विघात रूपों के अंकगणितीय सिद्धांत में, गुणांक एक निश्चित [[ क्रमविनिमेय अंगूठी |क्रमविनिमेय अंगूठी]] से संबंधित होते हैं, | उनके अध्ययन में प्रयुक्त द्विघात रूपों और विधियों का सिद्धांत गुणांक की प्रकृति पर काफी हद तक निर्भर करता है, जो वास्तविक संख्या या सम्मिश्र संख्या, परिमेय संख्या या [[ पूर्णांक |पूर्णांक]] हो सकता है। रेखीय बीजगणित, [[ विश्लेषणात्मक ज्यामिति |विश्लेषणात्मक ज्यामिति]] और द्विघात रूपों के अधिकांश अनुप्रयोगों में, गुणांक वास्तविक या सम्मिश्र संख्याएँ हैं। द्विघात रूपों के बीजगणितीय सिद्धांत में, गुणांक एक निश्चित [[ क्षेत्र (बीजगणित) |क्षेत्र (बीजगणित)]] के तत्व हैं। द्विघात रूपों के अंकगणितीय सिद्धांत में, गुणांक एक निश्चित [[ क्रमविनिमेय अंगूठी |क्रमविनिमेय अंगूठी]] से संबंधित होते हैं, प्रायः पूर्णांक जेड या पी- आदिक पूर्णांक | पी- आदिक पूर्णांक जेडपी.<ref>[[Localization of a ring#Terminology|away from 2]], that is, if 2 is invertible in the ring, quadratic forms are equivalent to [[symmetric bilinear form]]s (by the [[polarization identities]]), but at 2 they are different concepts; this distinction is particularly important for quadratic forms over the integers.</ref> द्विआधारी द्विघात रूपों का व्यापक रूप से संख्या सिद्धांत में अध्ययन किया गया है, विशेष रूप से, [[ द्विघात क्षेत्र |द्विघात क्षेत्र]] के सिद्धांत, [[ निरंतर अंश |निरंतर अंश]] ों और [[ मॉड्यूलर रूपों |मॉड्यूलर रूपों]] में। एन चरों में अभिन्न द्विघात रूपों के सिद्धांत में [[ बीजगणितीय टोपोलॉजी |बीजगणितीय टोपोलॉजी]] के लिए महत्वपूर्ण अनुप्रयोग हैं। | ||
[[ सजातीय निर्देशांक ]]ों का उपयोग करते हुए, | [[ सजातीय निर्देशांक ]]ों का उपयोग करते हुए, एन चरों में एक गैर-शून्य द्विघात रूप (एन−1)-आयामी प्रक्षेपी स्थान में एक (एन−2)-आयामी [[ क्वाड्रिक ([[ प्रक्षेपी ज्यामिति |प्रक्षेपी ज्यामिति]]) ]] को परिभाषित करता है। यह प्रक्षेपी ज्यामिति में एक बुनियादी निर्माण है। इस तरह कोई 3-आयामी वास्तविक द्विघात रूपों को शंक्वाकार वर्गों के रूप में देख सकता है। | ||
एक उदाहरण त्रि-आयामी [[ यूक्लिडियन अंतरिक्ष |यूक्लिडियन अंतरिक्ष]] और [[ यूक्लिडियन मानदंड |यूक्लिडियन मानदंड]] के [[ वर्ग (बीजगणित) |वर्ग (बीजगणित)]] द्वारा दिया गया है जो निर्देशांक के साथ एक बिंदु के बीच की [[ दूरी |दूरी]] को व्यक्त करता है। {{nowrap|(''x'', ''y'', ''z'')}} और उत्पत्ति: | एक उदाहरण त्रि-आयामी [[ यूक्लिडियन अंतरिक्ष |यूक्लिडियन अंतरिक्ष]] और [[ यूक्लिडियन मानदंड |यूक्लिडियन मानदंड]] के [[ वर्ग (बीजगणित) |वर्ग (बीजगणित)]] द्वारा दिया गया है जो निर्देशांक के साथ एक बिंदु के बीच की [[ दूरी |दूरी]] को व्यक्त करता है। {{nowrap|(''x'', ''y'', ''z'')}} और उत्पत्ति: | ||
| Line 31: | Line 30: | ||
== इतिहास == | == इतिहास == | ||
विशेष द्विघात रूपों का अध्ययन, विशेष रूप से यह प्रश्न कि क्या एक दिया गया पूर्णांक पूर्णांकों पर द्विघात रूप का मान हो सकता है, कई सदियों पहले का है। ऐसा ही एक मामला दो वर्गों के योग पर फ़र्मेट का प्रमेय है, जो यह निर्धारित करता है कि कब एक पूर्णांक को रूप में व्यक्त किया जा सकता है {{nowrap|''x''<sup>2</sup> + ''y''<sup>2</sup>}}, जहाँ x, y पूर्णांक हैं। यह समस्या [[ पायथागॉरियन ट्रिपल |पायथागॉरियन ट्रिपल]] शोध करने की समस्या से संबंधित है, जो दूसरी सहस्राब्दी ईसा पूर्व में सामने आई थी।<ref>[http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Babylonian_Pythagoras.html Babylonian Pythagoras]</ref> | विशेष द्विघात रूपों का अध्ययन, विशेष रूप से यह प्रश्न कि क्या एक दिया गया पूर्णांक, पूर्णांकों पर द्विघात रूप का मान हो सकता है, कई सदियों पहले का है। ऐसा ही एक मामला दो वर्गों के योग पर फ़र्मेट का प्रमेय है, जो यह निर्धारित करता है कि कब एक पूर्णांक को रूप में व्यक्त किया जा सकता है {{nowrap|''x''<sup>2</sup> + ''y''<sup>2</sup>}}, जहाँ x, y पूर्णांक हैं। यह समस्या [[ पायथागॉरियन ट्रिपल |पायथागॉरियन ट्रिपल]] शोध करने की समस्या से संबंधित है, जो दूसरी सहस्राब्दी ईसा पूर्व में सामने आई थी।<ref>[http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Babylonian_Pythagoras.html Babylonian Pythagoras]</ref> | ||
628 में, भारतीय गणितज्ञ [[ ब्रह्मगुप्त |ब्रह्मगुप्त]] ने ब्रह्मस्फुटसिद्धांत लिखा, जिसमें कई अन्य बातों के अतिरिक्त, फॉर्म के समीकरणों का अध्ययन सम्मिलित है। {{nowrap|1=''x''<sup>2</sup> − ''ny''<sup>2</sup> = ''c''}}. विशेष रूप से उन्होंने उस पर विचार किया जिसे अब पेल का समीकरण कहा जाता है, {{nowrap|1=''x''<sup>2</sup> − ''ny''<sup>2</sup> = 1}}, और इसके समाधान के लिए एक तरीका ढूंढा।<ref>[http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Brahmagupta.html Brahmagupta biography]</ref> यूरोप में इस समस्या का अध्ययन विलियम ब्रॉन्कर, द्वितीय विस्काउंट ब्रॉन्कर, [[ लियोनहार्ड यूलर |लियोनहार्ड यूलर]] और [[ जोसेफ लुइस लाग्रेंज |जोसेफ लुइस लाग्रेंज]] ने किया था। | 628 में, भारतीय गणितज्ञ [[ ब्रह्मगुप्त |ब्रह्मगुप्त]] ने ब्रह्मस्फुटसिद्धांत लिखा, जिसमें कई अन्य बातों के अतिरिक्त, फॉर्म के समीकरणों का अध्ययन सम्मिलित है। {{nowrap|1=''x''<sup>2</sup> − ''ny''<sup>2</sup> = ''c''}}. विशेष रूप से उन्होंने उस पर विचार किया जिसे अब पेल का समीकरण कहा जाता है, {{nowrap|1=''x''<sup>2</sup> − ''ny''<sup>2</sup> = 1}}, और इसके समाधान के लिए एक तरीका ढूंढा।<ref>[http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Brahmagupta.html Brahmagupta biography]</ref> यूरोप में इस समस्या का अध्ययन विलियम ब्रॉन्कर, द्वितीय विस्काउंट ब्रॉन्कर, [[ लियोनहार्ड यूलर |लियोनहार्ड यूलर]] और [[ जोसेफ लुइस लाग्रेंज |जोसेफ लुइस लाग्रेंज]] ने किया था। | ||
| Line 43: | Line 42: | ||
=== उदाहरण === | === उदाहरण === | ||
तीन चरों में द्विघात रूपों के | तीन चरों में द्विघात रूपों के घटना पर विचार करें <math>x, y, z.</math> साँचा {{mvar|A}} रूप है | ||
:<math>A=\begin{bmatrix} | :<math>A=\begin{bmatrix} | ||
a&b&c\\d&e&f\\g&h&k | a&b&c\\d&e&f\\g&h&k | ||
| Line 69: | Line 68: | ||
यदि चर का परिवर्तन एक व्युत्क्रमणीय मैट्रिक्स द्वारा दिया जाता है, जो कि आवश्यक रूप से ऑर्थोगोनल नहीं है, तो कोई यह मान सकता है कि सभी गुणांक {{math|''λ''<sub>''i''</sub>}} 0, 1, या -1 हैं। सिल्वेस्टर के जड़त्व के नियम में कहा गया है कि प्रत्येक 1 और -1 की संख्या द्विघात रूप के [[ अपरिवर्तनीय (गणित) |अपरिवर्तनीय (गणित)]] हैं, इस अर्थ में कि किसी भी अन्य विकर्णकरण में प्रत्येक की समान संख्या होगी। द्विघात रूप का हस्ताक्षर त्रिक है {{nowrap|(''n''<sub>0</sub>, ''n''<sub>+</sub>, ''n''<sub>−</sub>)}}, जहां एन<sub>0</sub> 0s और n की संख्या है<sub>±</sub> ±1s की संख्या है। सिल्वेस्टर के जड़त्व के नियम से पता चलता है कि यह द्विघात रूप से जुड़ी एक अच्छी तरह से परिभाषित मात्रा है। | यदि चर का परिवर्तन एक व्युत्क्रमणीय मैट्रिक्स द्वारा दिया जाता है, जो कि आवश्यक रूप से ऑर्थोगोनल नहीं है, तो कोई यह मान सकता है कि सभी गुणांक {{math|''λ''<sub>''i''</sub>}} 0, 1, या -1 हैं। सिल्वेस्टर के जड़त्व के नियम में कहा गया है कि प्रत्येक 1 और -1 की संख्या द्विघात रूप के [[ अपरिवर्तनीय (गणित) |अपरिवर्तनीय (गणित)]] हैं, इस अर्थ में कि किसी भी अन्य विकर्णकरण में प्रत्येक की समान संख्या होगी। द्विघात रूप का हस्ताक्षर त्रिक है {{nowrap|(''n''<sub>0</sub>, ''n''<sub>+</sub>, ''n''<sub>−</sub>)}}, जहां एन<sub>0</sub> 0s और n की संख्या है<sub>±</sub> ±1s की संख्या है। सिल्वेस्टर के जड़त्व के नियम से पता चलता है कि यह द्विघात रूप से जुड़ी एक अच्छी तरह से परिभाषित मात्रा है। | ||
मामला जब सभी λ<sub>''i''</sub> एक ही चिन्ह होना विशेष रूप से महत्वपूर्ण है: इस मामले में द्विघात रूप को [[ सकारात्मक निश्चित रूप |सकारात्मक निश्चित रूप]] (सभी 1) या नकारात्मक निश्चित (सभी -1) कहा जाता है। यदि कोई भी पद 0 नहीं है, तो प्रपत्र कहलाता है {{visible anchor|nondegenerate}}; इसमें धनात्मक निश्चित, ऋणात्मक निश्चित और समदैशिक द्विघात रूप (1 और -1 का मिश्रण) शामिल हैं; समतुल्य रूप से, एक गैर-डीजेनरेट द्विघात रूप वह है जिसका संबंधित सममित रूप एक गैर-डीजेनरेट फॉर्म है। इंडेक्स के एक अनिश्चित नॉनडिजेनरेट द्विघात रूप के साथ एक वास्तविक वेक्टर स्पेस {{nowrap|(''p'', ''q'')}} (p 1s और q −1s को दर्शाते हुए) को | मामला जब सभी λ<sub>''i''</sub> एक ही चिन्ह होना विशेष रूप से महत्वपूर्ण है: इस मामले में द्विघात रूप को [[ सकारात्मक निश्चित रूप |सकारात्मक निश्चित रूप]] (सभी 1) या नकारात्मक निश्चित (सभी -1) कहा जाता है। यदि कोई भी पद 0 नहीं है, तो प्रपत्र कहलाता है {{visible anchor|nondegenerate}}; इसमें धनात्मक निश्चित, ऋणात्मक निश्चित और समदैशिक द्विघात रूप (1 और -1 का मिश्रण) शामिल हैं; समतुल्य रूप से, एक गैर-डीजेनरेट द्विघात रूप वह है जिसका संबंधित सममित रूप एक गैर-डीजेनरेट फॉर्म है। इंडेक्स के एक अनिश्चित नॉनडिजेनरेट द्विघात रूप के साथ एक वास्तविक वेक्टर स्पेस {{nowrap|(''p'', ''q'')}} (p 1s और q −1s को दर्शाते हुए) को प्रायः 'R' के रूप में दर्शाया जाता है<sup>p,q</sup> विशेष रूप से अंतरिक्ष-समय के भौतिक सिद्धांत में। | ||
द्विघात रूप का विवेचक#विभेदक, ठोस रूप से K/(K) में प्रतिनिधित्व करने वाले मैट्रिक्स के निर्धारक का वर्ग<sup>×</sup>)<sup>2</sup> (गैर-शून्य वर्गों तक) को भी परिभाषित किया जा सकता है, और एक वास्तविक द्विघात रूप के लिए हस्ताक्षर की तुलना में एक अपरिष्कृत रूप है, केवल "सकारात्मक, शून्य या नकारात्मक" के मान लेते हुए। शून्य पतित से मेल खाता है, जबकि एक गैर-पतित रूप के लिए यह नकारात्मक गुणांक की संख्या की समानता है, <math>(-1)^{n_{-}}.</math> | द्विघात रूप का विवेचक#विभेदक, ठोस रूप से K/(K) में प्रतिनिधित्व करने वाले मैट्रिक्स के निर्धारक का वर्ग<sup>×</sup>)<sup>2</sup> (गैर-शून्य वर्गों तक) को भी परिभाषित किया जा सकता है, और एक वास्तविक द्विघात रूप के लिए हस्ताक्षर की तुलना में एक अपरिष्कृत रूप है, केवल "सकारात्मक, शून्य या नकारात्मक" के मान लेते हुए। शून्य पतित से मेल खाता है, जबकि एक गैर-पतित रूप के लिए यह नकारात्मक गुणांक की संख्या की समानता है, <math>(-1)^{n_{-}}.</math> | ||
| Line 89: | Line 88: | ||
0 & 0 & \cdots & \lambda_n | 0 & 0 & \cdots & \lambda_n | ||
\end{pmatrix}</math> | \end{pmatrix}</math> | ||
ऑर्थोगोनल मैट्रिक्स एस की उपयुक्त पसंद से, और बी की विकर्ण प्रविष्टियां विशिष्ट रूप से निर्धारित की जाती हैं - यह जैकोबी का प्रमेय है। यदि S को किसी भी व्युत्क्रमणीय मैट्रिक्स की अनुमति है तो B को विकर्ण पर केवल 0,1, और -1, और प्रत्येक प्रकार की प्रविष्टियों की संख्या (n) बनाया जा सकता है एन<sub>0</sub> के लिए 0 , एन<sub>+</sub> के लिए 1 और एन<sub>−</sub> के लिए -1) केवल A पर निर्भर करता है। यह सिल्वेस्टर के जड़त्व के नियम और संख्या n के योगों में से एक है n<sub>+</sub> और n<sub>−</sub> जड़त्व के धनात्मक और ऋणात्मक सूचक कहलाते हैं। हालांकि उनकी परिभाषा में संबंधित वास्तविक सममित मैट्रिक्स 'ए' के आधार और विचार सम्मिलित थे, सिल्वेस्टर के जड़त्व के नियम का अर्थ है कि वे द्विघात रूप 'क्यू' के अपरिवर्तनीय हैं। | ऑर्थोगोनल मैट्रिक्स एस की उपयुक्त पसंद से, और बी की विकर्ण प्रविष्टियां विशिष्ट रूप से निर्धारित की जाती हैं - यह जैकोबी का प्रमेय है। यदि S को किसी भी व्युत्क्रमणीय मैट्रिक्स की अनुमति है तो B को विकर्ण पर केवल 0,1, और -1, और प्रत्येक प्रकार की प्रविष्टियों की संख्या (n) बनाया जा सकता है एन<sub>0</sub> के लिए 0, एन<sub>+</sub> के लिए 1 और एन<sub>−</sub> के लिए -1) केवल A पर निर्भर करता है। यह सिल्वेस्टर के जड़त्व के नियम और संख्या n के योगों में से एक है n<sub>+</sub> और n<sub>−</sub> जड़त्व के धनात्मक और ऋणात्मक सूचक कहलाते हैं। हालांकि उनकी परिभाषा में संबंधित वास्तविक सममित मैट्रिक्स 'ए' के आधार और विचार सम्मिलित थे, सिल्वेस्टर के जड़त्व के नियम का अर्थ है कि वे द्विघात रूप 'क्यू' के अपरिवर्तनीय हैं। | ||
द्विघात रूप ''q'' धनात्मक निश्चित (उत्तर, ऋणात्मक निश्चित) है यदि {{nowrap|''q''(''v'') > 0}} (सं., {{nowrap|''q''(''v'') < 0}}) प्रत्येक अशून्य सदिश v के लिए।<ref>If a non-strict inequality (with ≥ or ≤) holds then the quadratic form ''q'' is called semidefinite.</ref> जब q(v) धनात्मक और ऋणात्मक दोनों मान ग्रहण करता है, q एक 'अनिश्चित' द्विघात रूप है। जैकोबी और सिल्वेस्टर के प्रमेयों से पता चलता है कि | द्विघात रूप ''q'' धनात्मक निश्चित (उत्तर, ऋणात्मक निश्चित) है यदि {{nowrap|''q''(''v'') > 0}} (सं., {{nowrap|''q''(''v'') < 0}}) प्रत्येक अशून्य सदिश v के लिए।<ref>If a non-strict inequality (with ≥ or ≤) holds then the quadratic form ''q'' is called semidefinite.</ref> जब q(v) धनात्मक और ऋणात्मक दोनों मान ग्रहण करता है, q एक 'अनिश्चित' द्विघात रूप है। जैकोबी और सिल्वेस्टर के प्रमेयों से पता चलता है कि एन चर में किसी भी सकारात्मक निश्चित द्विघात रूप को एक उपयुक्त व्युत्क्रमणीय रैखिक परिवर्तन द्वारा एन वर्गों के योग में लाया जा सकता है: ज्यामितीय रूप से, प्रत्येक आयाम का केवल एक सकारात्मक निश्चित वास्तविक द्विघात रूप होता है। इसका [[ आइसोमेट्री समूह |आइसोमेट्री समूह]] एक [[ कॉम्पैक्ट जगह |कॉम्पैक्ट जगह]] ऑर्थोगोनल ग्रुप ओ (एन) है। यह अनिश्चित रूपों के मामले के विपरीत है, जब संबंधित समूह, [[ अनिश्चितकालीन ऑर्थोगोनल समूह |अनिश्चितकालीन ऑर्थोगोनल समूह]] ओ (पी, क्यू), गैर-कॉम्पैक्ट है। इसके अलावा, क्यू और -क्यू के आइसोमेट्री समूह समान हैं ({{nowrap|1=O(''p'', ''q'') ≈ O(''q'', ''p''))}}, लेकिन संबंधित क्लिफोर्ड बीजगणित (और इसलिए [[ पिन समूह |पिन समूह]]) अलग हैं। | ||
== परिभाषाएँ == | == परिभाषाएँ == | ||
एक क्षेत्र 'के' पर एक द्विघात रूप एक नक्शा है <math>q: V \to K</math> एक परिमित-आयामी K-वेक्टर स्थान से K तक ऐसा है <math>q(av) = a^2q(v)</math> सबके लिए <math> a \in K, v \in V</math> और समारोह <math>q(u+v) - q(u) - q(v)</math> द्विरेखीय है। | एक क्षेत्र 'के' पर एक द्विघात रूप एक नक्शा है <math>q: V \to K</math> एक परिमित-आयामी K-वेक्टर स्थान से K तक ऐसा है <math>q(av) = a^2q(v)</math> सबके लिए <math> a \in K, v \in V</math> और समारोह <math>q(u+v) - q(u) - q(v)</math> द्विरेखीय है। | ||
अधिक ठोस रूप से, एक फ़ील्ड K पर एक n-ary 'द्विघात रूप', K में गुणांक के साथ | अधिक ठोस रूप से, एक फ़ील्ड K पर एक n-ary 'द्विघात रूप', K में गुणांक के साथ एन चर में डिग्री 2 का एक सजातीय बहुपद है: | ||
: <math>q(x_1,\ldots,x_n) = \sum_{i=1}^{n}\sum_{j=1}^{n}a_{ij}{x_i}{x_j}, \quad a_{ij}\in K. </math> | : <math>q(x_1,\ldots,x_n) = \sum_{i=1}^{n}\sum_{j=1}^{n}a_{ij}{x_i}{x_j}, \quad a_{ij}\in K. </math> | ||
| Line 107: | Line 106: | ||
: <math> \psi(x)=\varphi(Cx). </math> | : <math> \psi(x)=\varphi(Cx). </math> | ||
बता दें कि K का अभिलाक्षणिक (क्षेत्र) 2 से भिन्न है।{{refn|The theory of quadratic forms over a field of characteristic 2 has important differences and many definitions and theorems must be modified.}} क्यू के गुणांक मैट्रिक्स ए को सममित मैट्रिक्स द्वारा प्रतिस्थापित किया जा सकता है {{nowrap|(''A'' + ''A''<sup>T</sup>)/2}} एक ही द्विघात रूप के साथ, इसलिए यह | बता दें कि K का अभिलाक्षणिक (क्षेत्र) 2 से भिन्न है।{{refn|The theory of quadratic forms over a field of characteristic 2 has important differences and many definitions and theorems must be modified.}} क्यू के गुणांक मैट्रिक्स ए को सममित मैट्रिक्स द्वारा प्रतिस्थापित किया जा सकता है {{nowrap|(''A'' + ''A''<sup>T</sup>)/2}} एक ही द्विघात रूप के साथ, इसलिए यह आरंभ से ही माना जा सकता है कि A सममित है। इसके अलावा, एक सममित मैट्रिक्स ए विशिष्ट द्विघात रूप से विशिष्ट रूप से निर्धारित होता है। तुल्यता C के अंतर्गत, φ का सममित आव्यूह A और ψ का सममित आव्यूह B इस प्रकार संबंधित हैं: | ||
: <math> B=C^\mathrm{T}AC. </math> | : <math> B=C^\mathrm{T}AC. </math> | ||
| Line 131: | Line 130: | ||
यह द्विरेखीय रूप B सममित है। वह है, {{nowrap|1=''B''(''x'', ''y'') = ''B''(''y'', ''x'')}} वी में सभी एक्स, वाई के लिए और यह क्यू निर्धारित करता है: {{nowrap|1=''Q''(''x'') = ''B''(''x'', ''x'')}} वी में सभी एक्स के लिए। | यह द्विरेखीय रूप B सममित है। वह है, {{nowrap|1=''B''(''x'', ''y'') = ''B''(''y'', ''x'')}} वी में सभी एक्स, वाई के लिए और यह क्यू निर्धारित करता है: {{nowrap|1=''Q''(''x'') = ''B''(''x'', ''x'')}} वी में सभी एक्स के लिए। | ||
जब K की विशेषता 2 है, ताकि 2 एक इकाई (रिंग थ्योरी) न हो, तब भी एक सममित द्विरेखीय रूप को परिभाषित करने के लिए द्विघात रूप का उपयोग करना संभव है {{nowrap|1=''B''′(''x'', ''y'') = ''Q''(''x'' + ''y'') − ''Q''(''x'') − ''Q''(''y'')}}. | जब K की विशेषता 2 है, ताकि 2 एक इकाई (रिंग थ्योरी) न हो, तब भी एक सममित द्विरेखीय रूप को परिभाषित करने के लिए द्विघात रूप का उपयोग करना संभव है {{nowrap|1=''B''′(''x'', ''y'') = ''Q''(''x'' + ''y'') − ''Q''(''x'') − ''Q''(''y'')}}. यद्यपि, Q(x) को अब इस B′ से उसी तरह से पुनर्प्राप्त नहीं किया जा सकता है, क्योंकि {{nowrap|1=''B''′(''x'', ''x'') = 0}} सभी एक्स के लिए (और इस प्रकार वैकल्पिक है)।<ref>This alternating form associated with a quadratic form in characteristic 2 is of interest related to the [[Arf invariant]] – {{citation|author=Irving Kaplansky|year=1974|title=Linear Algebra and Geometry|page=27}}.</ref> वैकल्पिक रूप से, हमेशा एक द्विरेखीय रूप B″ मौजूद होता है (सामान्य रूप से या तो अद्वितीय या सममित नहीं) जैसे कि {{nowrap|1=''B''″(''x'', ''x'') = ''Q''(''x'')}}. | ||
जोड़ा {{nowrap|(''V'', ''Q'')}} K पर एक परिमित-आयामी सदिश स्थान V और V से K तक द्विघात मानचित्र Q से मिलकर एक 'द्विघात स्थान' कहा जाता है, और B जैसा कि यहाँ परिभाषित किया गया है, Q का संबद्ध सममित द्विरेखीय रूप है। द्विघात स्थान की धारणा एक है द्विघात रूप की धारणा का समन्वय-मुक्त संस्करण। कभी-कभी Q को द्विघात रूप भी कहा जाता है। | जोड़ा {{nowrap|(''V'', ''Q'')}} K पर एक परिमित-आयामी सदिश स्थान V और V से K तक द्विघात मानचित्र Q से मिलकर एक 'द्विघात स्थान' कहा जाता है, और B जैसा कि यहाँ परिभाषित किया गया है, Q का संबद्ध सममित द्विरेखीय रूप है। द्विघात स्थान की धारणा एक है द्विघात रूप की धारणा का समन्वय-मुक्त संस्करण। कभी-कभी Q को द्विघात रूप भी कहा जाता है। | ||
| Line 160: | Line 159: | ||
: <math>q(x)=a_1 x_1^2 + a_2 x_2^2+ \cdots +a_n x_n^2.</math> | : <math>q(x)=a_1 x_1^2 + a_2 x_2^2+ \cdots +a_n x_n^2.</math> | ||
इस तरह के एक विकर्ण रूप को | इस तरह के एक विकर्ण रूप को प्रायः द्वारा निरूपित किया जाता है <math>\langle a_1,\ldots,a_n\rangle.</math> | ||
तुल्यता तक सभी द्विघात रूपों का वर्गीकरण इस प्रकार विकर्ण रूपों के मामले में कम किया जा सकता है। | तुल्यता तक सभी द्विघात रूपों का वर्गीकरण इस प्रकार विकर्ण रूपों के मामले में कम किया जा सकता है। | ||
| Line 172: | Line 171: | ||
== अभिन्न द्विघात रूप == | == अभिन्न द्विघात रूप == | ||
पूर्णांकों के वलय पर द्विघात रूपों को अभिन्न द्विघात रूप कहा जाता है, जबकि संबंधित मॉड्यूल द्विघात जालक (कभी-कभी, केवल [[ जाली (समूह) |जाली (समूह)]] ) होते हैं। वे संख्या सिद्धांत और [[ टोपोलॉजी |टोपोलॉजी]] में महत्वपूर्ण भूमिका निभाते हैं। | पूर्णांकों के वलय पर द्विघात रूपों को अभिन्न द्विघात रूप कहा जाता है, जबकि संबंधित मॉड्यूल द्विघात जालक (कभी-कभी, केवल [[ जाली (समूह) |जाली (समूह)]]) होते हैं। वे संख्या सिद्धांत और [[ टोपोलॉजी |टोपोलॉजी]] में महत्वपूर्ण भूमिका निभाते हैं। | ||
एक अभिन्न द्विघात रूप में पूर्णांक गुणांक होते हैं, जैसे {{nowrap|''x''<sup>2</sup> + ''xy'' + ''y''<sup>2</sup>}}; समतुल्य रूप से, एक सदिश स्थान V में एक जाली Λ दिया गया है (विशेषता 0 के साथ एक क्षेत्र पर, जैसे 'Q' या 'R'), एक द्विघात रूप Q, Λ के संबंध में अभिन्न है अगर और केवल अगर यह पूर्णांक-मूल्यवान है एल, अर्थ {{nowrap|''Q''(''x'', ''y'') ∈ '''Z'''}} यदि {{nowrap|''x'', ''y'' ∈ Λ}}. | एक अभिन्न द्विघात रूप में पूर्णांक गुणांक होते हैं, जैसे {{nowrap|''x''<sup>2</sup> + ''xy'' + ''y''<sup>2</sup>}}; समतुल्य रूप से, एक सदिश स्थान V में एक जाली Λ दिया गया है (विशेषता 0 के साथ एक क्षेत्र पर, जैसे 'Q' या 'R'), एक द्विघात रूप Q, Λ के संबंध में अभिन्न है अगर और केवल अगर यह पूर्णांक-मूल्यवान है एल, अर्थ {{nowrap|''Q''(''x'', ''y'') ∈ '''Z'''}} यदि {{nowrap|''x'', ''y'' ∈ Λ}}. | ||
| Line 184: | Line 183: | ||
यह बहस द्विघात रूपों (बहुपदों द्वारा प्रतिनिधित्व) और सममित द्विरेखीय रूपों (मैट्रिसेस द्वारा प्रतिनिधित्व) के भ्रम के कारण थी, और दो बाहर अब स्वीकृत सम्मेलन है; इसके बदले ट्वोस इन इंटीग्रल सिमेट्रिक बिलिनियर फॉर्म्स (इंटीग्रल सिमिट्रिक मैट्रिसेस) का सिद्धांत है। | यह बहस द्विघात रूपों (बहुपदों द्वारा प्रतिनिधित्व) और सममित द्विरेखीय रूपों (मैट्रिसेस द्वारा प्रतिनिधित्व) के भ्रम के कारण थी, और दो बाहर अब स्वीकृत सम्मेलन है; इसके बदले ट्वोस इन इंटीग्रल सिमेट्रिक बिलिनियर फॉर्म्स (इंटीग्रल सिमिट्रिक मैट्रिसेस) का सिद्धांत है। | ||
दो में , द्विघात द्विघात रूप के रूप हैं <math>ax^2+2bxy+cy^2</math>, सममित मैट्रिक्स द्वारा दर्शाया गया है | दो में, द्विघात द्विघात रूप के रूप हैं <math>ax^2+2bxy+cy^2</math>, सममित मैट्रिक्स द्वारा दर्शाया गया है | ||
:<math>\begin{pmatrix}a & b\\ b&c\end{pmatrix}</math> | :<math>\begin{pmatrix}a & b\\ b&c\end{pmatrix}</math> | ||
यह वह परिपाटी है जिसका उपयोग [[ गॉस |गॉस]] डिसक्विजिशन अरिथमेटिका में करता है। | यह वह परिपाटी है जिसका उपयोग [[ गॉस |गॉस]] डिसक्विजिशन अरिथमेटिका में करता है। | ||
| Line 250: | Line 249: | ||
==बाहरी कड़ियाँ== | |||
*{{eom|id=q/q076080|author=A.V.Malyshev|title=Quadratic form}} | |||
*{{eom|id=b/b016370|author=A.V.Malyshev|title=Binary quadratic form}} | |||
[[Category:All articles with unsourced statements]] | [[Category:All articles with unsourced statements]] | ||
| Line 259: | Line 273: | ||
[[Category:Commons category link is locally defined]] | [[Category:Commons category link is locally defined]] | ||
[[Category:Created On 26/12/2022]] | [[Category:Created On 26/12/2022]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | [[Category:Machine Translated Page]] | ||
[[Category:Pages with script errors]] | |||
[[Category:Short description with empty Wikidata description]] | [[Category:Short description with empty Wikidata description]] | ||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category: | |||
[[Category: | |||
Latest revision as of 15:07, 28 January 2023
गणित में, एक द्विघात रूप एक बहुपद है जिसमें बहुपद दो की सभी डिग्री होती है (रूप (गणित) एक सजातीय बहुपद का दूसरा नाम है)। उदाहरण के लिए,
चरों में द्विघात रूप है x और y. गुणांक आमतौर पर एक निश्चित क्षेत्र (गणित) से संबंधित होते हैं K, जैसे कि वास्तविक संख्या या सम्मिश्र संख्याएँ, और एक द्विघात रूप की बात करता है K. यदि , और द्विघात रूप केवल शून्य लेता है जब सभी चर एक साथ शून्य होते हैं, तो यह एक निश्चित द्विघात रूप है, अन्यथा यह एक आइसोट्रोपिक द्विघात रूप है।
द्विघात रूप गणित की विभिन्न शाखाओं में एक केंद्रीय स्थान पर अधिकार कर लेते हैं, जिनमें संख्या सिद्धांत, रैखिक बीजगणित, समूह सिद्धांत (ऑर्थोगोनल समूह), अंतर ज्यामिति (रिमेंनियन मीट्रिक, दूसरा मौलिक रूप), अंतर टोपोलॉजी (