Difference between revisions of "द्विघात रूप"

Latest revision as of 10:26, 24 January 2023

गणित में, एक द्विघात रूप एक बहुपद है जिसमें बहुपद दो की सभी डिग्री होती है (रूप (गणित) एक सजातीय बहुपद का दूसरा नाम है)। उदाहरण के लिए,

4x^{2}+2xy-3y^{2}

चरों में द्विघात रूप है $x$ और $y$ . गुणांक आमतौर पर एक निश्चित क्षेत्र (गणित) से संबंधित होते हैं $K$ , जैसे कि वास्तविक संख्या या सम्मिश्र संख्याएँ, और एक द्विघात रूप की बात करता है $K$ . यदि $K=\mathbb {R}$ , और द्विघात रूप केवल शून्य लेता है जब सभी चर एक साथ शून्य होते हैं, तो यह एक निश्चित द्विघात रूप है, अन्यथा यह एक आइसोट्रोपिक द्विघात रूप है।

द्विघात रूप गणित की विभिन्न शाखाओं में एक केंद्रीय स्थान पर अधिकार कर लेते हैं, जिनमें संख्या सिद्धांत, रैखिक बीजगणित, समूह सिद्धांत (ऑर्थोगोनल समूह), अंतर ज्यामिति (रिमेंनियन मीट्रिक, दूसरा मौलिक रूप), अंतर टोपोलॉजी (चौराहे का रूप (4-कई गुना) चार- शामिल हैं। मैनिफोल्ड्स), और लाई थ्योरी (मारक रूप)।

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

परिचय

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

{\begin{aligned}q(x)&=ax^{2}&&{\textrm {(unary)}}\\q(x,y)&=ax^{2}+bxy+cy^{2}&&{\textrm {(binary)}}\\q(x,y,z)&=ax^{2}+bxy+cy^{2}+dyz+ez^{2}+fxz&&{\textrm {(ternary)}}\end{aligned}}

जहाँ a, ..., f 'गुणांक' हैं।^[1] अंकन $\langle a_{1},\ldots ,a_{n}\rangle$ प्रायः प्रयोग किया जाता है^{[citation needed]} द्विघात रूप के लिए

q(x)=a_{1}x_{1}^{2}+a_{2}x_{2}^{2}+\cdots +a_{n}x_{n}^{2}.

उनके अध्ययन में प्रयुक्त द्विघात रूपों और विधियों का सिद्धांत गुणांक की प्रकृति पर काफी हद तक निर्भर करता है, जो वास्तविक संख्या या सम्मिश्र संख्या, परिमेय संख्या या पूर्णांक हो सकता है। रेखीय बीजगणित, विश्लेषणात्मक ज्यामिति और द्विघात रूपों के अधिकांश अनुप्रयोगों में, गुणांक वास्तविक या सम्मिश्र संख्याएँ हैं। द्विघात रूपों के बीजगणितीय सिद्धांत में, गुणांक एक निश्चित क्षेत्र (बीजगणित) के तत्व हैं। द्विघात रूपों के अंकगणितीय सिद्धांत में, गुणांक एक निश्चित क्रमविनिमेय अंगूठी से संबंधित होते हैं, प्रायः पूर्णांक जेड या पी- आदिक पूर्णांक | पी- आदिक पूर्णांक जेडपी.^[2] द्विआधारी द्विघात रूपों का व्यापक रूप से संख्या सिद्धांत में अध्ययन किया गया है, विशेष रूप से, द्विघात क्षेत्र के सिद्धांत, निरंतर अंश ों और मॉड्यूलर रूपों में। एन चरों में अभिन्न द्विघात रूपों के सिद्धांत में बीजगणितीय टोपोलॉजी के लिए महत्वपूर्ण अनुप्रयोग हैं।

सजातीय निर्देशांक ों का उपयोग करते हुए, एन चरों में एक गैर-शून्य द्विघात रूप (एन−1)-आयामी प्रक्षेपी स्थान में एक (एन−2)-आयामी [[ क्वाड्रिक (प्रक्षेपी ज्यामिति) ]] को परिभाषित करता है। यह प्रक्षेपी ज्यामिति में एक बुनियादी निर्माण है। इस तरह कोई 3-आयामी वास्तविक द्विघात रूपों को शंक्वाकार वर्गों के रूप में देख सकता है।

एक उदाहरण त्रि-आयामी यूक्लिडियन अंतरिक्ष और यूक्लिडियन मानदंड के वर्ग (बीजगणित) द्वारा दिया गया है जो निर्देशांक के साथ एक बिंदु के बीच की दूरी को व्यक्त करता है। (x, y, z) और उत्पत्ति:

q(x,y,z)=d((x,y,z),(0,0,0))^{2}=\|(x,y,z)\|^{2}=x^{2}+y^{2}+z^{2}.

ज्यामितीय अधिस्वरों के साथ निकट से संबंधित धारणा एक द्विघात स्थान है, जो एक जोड़ी है (V, q), V के साथ एक क्षेत्र K पर एक सदिश स्थान, और q : V → K वी। देखें पर एक द्विघात रूप § Definitions सदिश स्थान पर द्विघात रूप की परिभाषा के लिए नीचे।

इतिहास

विशेष द्विघात रूपों का अध्ययन, विशेष रूप से यह प्रश्न कि क्या एक दिया गया पूर्णांक, पूर्णांकों पर द्विघात रूप का मान हो सकता है, कई सदियों पहले का है। ऐसा ही एक मामला दो वर्गों के योग पर फ़र्मेट का प्रमेय है, जो यह निर्धारित करता है कि कब एक पूर्णांक को रूप में व्यक्त किया जा सकता है x² + y², जहाँ x, y पूर्णांक हैं। यह समस्या पायथागॉरियन ट्रिपल शोध करने की समस्या से संबंधित है, जो दूसरी सहस्राब्दी ईसा पूर्व में सामने आई थी।^[3]

628 में, भारतीय गणितज्ञ ब्रह्मगुप्त ने ब्रह्मस्फुटसिद्धांत लिखा, जिसमें कई अन्य बातों के अतिरिक्त, फॉर्म के समीकरणों का अध्ययन सम्मिलित है। x² − ny² = c. विशेष रूप से उन्होंने उस पर विचार किया जिसे अब पेल का समीकरण कहा जाता है, x² − ny² = 1, और इसके समाधान के लिए एक तरीका ढूंढा।^[4] यूरोप में इस समस्या का अध्ययन विलियम ब्रॉन्कर, द्वितीय विस्काउंट ब्रॉन्कर, लियोनहार्ड यूलर और जोसेफ लुइस लाग्रेंज ने किया था।

1801 में कार्ल फ्रेडरिक गॉस ने अंकगणितीय शोध प्रकाशित किया, जिसका एक बड़ा हिस्सा पूर्णांकों पर द्विआधारी द्विघात रूपों के एक पूर्ण सिद्धांत के लिए समर्पित था। तब से, अवधारणा को सामान्यीकृत किया गया है, और द्विघात संख्या क्षेत्र ों, मॉड्यूलर समूह और गणित के अन्य क्षेत्रों के साथ संबंधों को और स्पष्ट किया गया है।

संबद्ध सममित मैट्रिक्स

कोई भी $n \times n$ आव्यूह $A$ एक द्विघात रूप निर्धारित करता है $q A$ में $n$ द्वारा चर

q_{A}(x_{1},\ldots ,x_{n})=\sum _{i=1}^{n}\sum _{j=1}^{n}a_{ij}{x_{i}}{x_{j}}=\mathbf {x} ^{\mathrm {T} }A\mathbf {x} ,

कहां $A=(a_{ij})$ .

उदाहरण

तीन चरों में द्विघात रूपों के घटना पर विचार करें $x,y,z.$ साँचा $A$ रूप है

A={\begin{bmatrix}a&b&c\\d&e&f\\g&h&k\end{bmatrix}}.

उपरोक्त सूत्र देता है

q_{A}(x,y,z)=ax^{2}+ey^{2}+kz^{2}+(b+d)xy+(c+g)xz+(f+h)yz.

इसलिए, दो अलग-अलग मैट्रिक्स एक ही द्विघात रूप को परिभाषित करते हैं यदि और केवल यदि उनके विकर्ण पर समान तत्व हैं और संपत्ति के लिए समान मान हैं $b+d,c+g$ और $f+h.$ विशेष रूप से, द्विघात रूप $q_{A}$ एक अद्वितीय सममित मैट्रिक्स द्वारा परिभाषित किया गया है

A={\begin{bmatrix}a&{\frac {b+d}{2}}&{\frac {c+g}{2}}\\{\frac {b+d}{2}}&e&{\frac {f+h}{2}}\\{\frac {c+g}{2}}&{\frac {f+h}{2}}&k\end{bmatrix}}.

यह निम्नानुसार चरों की किसी भी संख्या का सामान्यीकरण करता है।

सामान्य मामला

एक द्विघात रूप दिया $q_{A},$ मैट्रिक्स द्वारा परिभाषित $A=\left(a_{ij}\right),$ साँचा

B=\left({\frac {a_{ij}+a_{ji}}{2}}\right)

सममित मैट्रिक्स है, समान द्विघात रूप को परिभाषित करता है

A

, और अद्वितीय सममित मैट्रिक्स है जो परिभाषित करता है

q_{A}.

तो, वास्तविक संख्याओं पर (और, अधिक आम तौर पर, दो से भिन्न विशेषता (बीजगणित) के एक क्षेत्र (गणित) पर), द्विघात रूपों और सममित मैट्रिक्स के बीच एक-से-एक पत्राचार होता है जो उन्हें निर्धारित करता है।

वास्तविक द्विघात रूप

एक मौलिक प्रश्न रैखिक परिवर्तन के तहत वास्तविक द्विघात रूप का वर्गीकरण है।

कार्ल गुस्ताव जैकोबी ने साबित किया कि, प्रत्येक वास्तविक द्विघात रूप के लिए, एक ओर्थोगोनल विकर्णीकरण होता है, जो कि एक ओर्थोगोनल परिवर्तन है जो द्विघात रूप को एक विकर्ण रूप में रखता है।

\lambda _{1}{\tilde {x}}_{1}^{2}+\lambda _{2}{\tilde {x}}_{2}^{2}+\cdots +\lambda _{n}{\tilde {x}}_{n}^{2},

जहां संबद्ध सममित मैट्रिक्स विकर्ण मैट्रिक्स है। इसके अलावा, गुणांक $λ 1, λ 2, ..., λ n$ एक क्रमपरिवर्तन तक विशिष्ट रूप से निर्धारित होते हैं।^[5]

यदि चर का परिवर्तन एक व्युत्क्रमणीय मैट्रिक्स द्वारा दिया जाता है, जो कि आवश्यक रूप से ऑर्थोगोनल नहीं है, तो कोई यह मान सकता है कि सभी गुणांक $λ i$ 0, 1, या -1 हैं। सिल्वेस्टर के जड़त्व के नियम में कहा गया है कि प्रत्येक 1 और -1 की संख्या द्विघात रूप के अपरिवर्तनीय (गणित) हैं, इस अर्थ में कि किसी भी अन्य विकर्णकरण में प्रत्येक की समान संख्या होगी। द्विघात रूप का हस्ताक्षर त्रिक है (n₀, n₊, n₋), जहां एन₀ 0s और n की संख्या है_± ±1s की संख्या है। सिल्वेस्टर के जड़त्व के नियम से पता चलता है कि यह द्विघात रूप से जुड़ी एक अच्छी तरह से परिभाषित मात्रा है।

मामला जब सभी λ_i एक ही चिन्ह होना विशेष रूप से महत्वपूर्ण है: इस मामले में द्विघात रूप को सकारात्मक निश्चित रूप (सभी 1) या नकारात्मक निश्चित (सभी -1) कहा जाता है। यदि कोई भी पद 0 नहीं है, तो प्रपत्र कहलाता है nondegenerate; इसमें धनात्मक निश्चित, ऋणात्मक निश्चित और समदैशिक द्विघात रूप (1 और -1 का मिश्रण) शामिल हैं; समतुल्य रूप से, एक गैर-डीजेनरेट द्विघात रूप वह है जिसका संबंधित सममित रूप एक गैर-डीजेनरेट फॉर्म है। इंडेक्स के एक अनिश्चित नॉनडिजेनरेट द्विघात रूप के साथ एक वास्तविक वेक्टर स्पेस (p, q) (p 1s और q −1s को दर्शाते हुए) को प्रायः 'R' के रूप में दर्शाया जाता है^p,q विशेष रूप से अंतरिक्ष-समय के भौतिक सिद्धांत में।

द्विघात रूप का विवेचक#विभेदक, ठोस रूप से K/(K) में प्रतिनिधित्व करने वाले मैट्रिक्स के निर्धारक का वर्ग^×)² (गैर-शून्य वर्गों तक) को भी परिभाषित किया जा सकता है, और एक वास्तविक द्विघात रूप के लिए हस्ताक्षर की तुलना में एक अपरिष्कृत रूप है, केवल "सकारात्मक, शून्य या नकारात्मक" के मान लेते हुए। शून्य पतित से मेल खाता है, जबकि एक गैर-पतित रूप के लिए यह नकारात्मक गुणांक की संख्या की समानता है, $(-1)^{n_{-}}.$

इन परिणामों को नीचे एक अलग प्रकार से सुधारा गया है।

चलो क्यू एक एन-आयामी वास्तविक संख्या वेक्टर अंतरिक्ष पर परिभाषित द्विघात रूप है। मान लीजिए A किसी दिए गए आधार पर द्विघात रूप q का आव्यूह है। इसका अर्थ है कि A सममित है n × n मैट्रिक्स ऐसा है

q(v)=x^{\mathrm {T} }Ax,

जहाँ x चयनित आधार पर v के निर्देशांकों का स्तंभ सदिश है। आधार में परिवर्तन के तहत, स्तंभ x को बाईं ओर a से गुणा किया जाता है n × n व्युत्क्रमणीय मैट्रिक्स एस, और सममित वर्ग मैट्रिक्स ए सूत्र के अनुसार समान आकार के एक अन्य सममित वर्ग मैट्रिक्स बी में परिवर्तित हो जाता है

A\to B=S^{\mathrm {T} }AS.

किसी भी सममित मैट्रिक्स ए को विकर्ण मैट्रिक्स में परिवर्तित किया जा सकता है

B={\begin{pmatrix}\lambda _{1}&0&\cdots &0\\0&\lambda _{2}&\cdots &0\\\vdots &\vdots &\ddots &0\\0&0&\cdots &\lambda _{n}\end{pmatrix}}

ऑर्थोगोनल मैट्रिक्स एस की उपयुक्त पसंद से, और बी की विकर्ण प्रविष्टियां विशिष्ट रूप से निर्धारित की जाती हैं - यह जैकोबी का प्रमेय है। यदि S को किसी भी व्युत्क्रमणीय मैट्रिक्स की अनुमति है तो B को विकर्ण पर केवल 0,1, और -1, और प्रत्येक प्रकार की प्रविष्टियों की संख्या (n) बनाया जा सकता है एन₀ के लिए 0, एन₊ के लिए 1 और एन₋ के लिए -1) केवल A पर निर्भर करता है। यह सिल्वेस्टर के जड़त्व के नियम और संख्या n के योगों में से एक है n₊ और n₋ जड़त्व के धनात्मक और ऋणात्मक सूचक कहलाते हैं। हालांकि उनकी परिभाषा में संबंधित वास्तविक सममित मैट्रिक्स 'ए' के आधार और विचार सम्मिलित थे, सिल्वेस्टर के जड़त्व के नियम का अर्थ है कि वे द्विघात रूप 'क्यू' के अपरिवर्तनीय हैं।

द्विघात रूप q धनात्मक निश्चित (उत्तर, ऋणात्मक निश्चित) है यदि q(v) > 0 (सं., q(v) < 0) प्रत्येक अशून्य सदिश v के लिए।^[6] जब q(v) धनात्मक और ऋणात्मक दोनों मान ग्रहण करता है, q एक 'अनिश्चित' द्विघात रूप है। जैकोबी और सिल्वेस्टर के प्रमेयों से पता चलता है कि एन चर में किसी भी सकारात्मक निश्चित द्विघात रूप को एक उपयुक्त व्युत्क्रमणीय रैखिक परिवर्तन द्वारा एन वर्गों के योग में लाया जा सकता है: ज्यामितीय रूप से, प्रत्येक आयाम का केवल एक सकारात्मक निश्चित वास्तविक द्विघात रूप होता है। इसका आइसोमेट्री समूह एक कॉम्पैक्ट जगह ऑर्थोगोनल ग्रुप ओ (एन) है। यह अनिश्चित रूपों के मामले के विपरीत है, जब संबंधित समूह, अनिश्चितकालीन ऑर्थोगोनल समूह ओ (पी, क्यू), गैर-कॉम्पैक्ट है। इसके अलावा, क्यू और -क्यू के आइसोमेट्री समूह समान हैं (O(p, q) ≈ O(q, p)), लेकिन संबंधित क्लिफोर्ड बीजगणित (और इसलिए पिन समूह) अलग हैं।

परिभाषाएँ

एक क्षेत्र 'के' पर एक द्विघात रूप एक नक्शा है $q:V\to K$ एक परिमित-आयामी K-वेक्टर स्थान से K तक ऐसा है $q(av)=a^{2}q(v)$ सबके लिए $a\in K,v\in V$ और समारोह $q(u+v)-q(u)-q(v)$ द्विरेखीय है।

अधिक ठोस रूप से, एक फ़ील्ड K पर एक n-ary 'द्विघात रूप', K में गुणांक के साथ एन चर में डिग्री 2 का एक सजातीय बहुपद है:

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.

मैट्रिक्स का उपयोग करके यह सूत्र फिर से लिखा जा सकता है: x को घटक x के साथ कॉलम वेक्टर होने दें एक्स₁,..., एक्स_n और A = (a_ij) K पर n×n मैट्रिक्स बनें जिसकी प्रविष्टियाँ q के गुणांक हैं। फिर

q(x)=x^{\mathrm {T} }Ax.

एक सदिश $v=(x_{1},\ldots ,x_{n})$ शून्य सदिश है यदि q(v) = 0.

दो n-आरी द्विघात रूप φ और ψ K के ऊपर 'समतुल्य' हैं यदि एक गैर-एकवचन रैखिक परिवर्तन मौजूद है C ∈ GL(n, K) ऐसा है कि

\psi (x)=\varphi (Cx).

बता दें कि K का अभिलाक्षणिक (क्षेत्र) 2 से भिन्न है।^[7] क्यू के गुणांक मैट्रिक्स ए को सममित मैट्रिक्स द्वारा प्रतिस्थापित किया जा सकता है (A + A^T)/2 एक ही द्विघात रूप के साथ, इसलिए यह आरंभ से ही माना जा सकता है कि A सममित है। इसके अलावा, एक सममित मैट्रिक्स ए विशिष्ट द्विघात रूप से विशिष्ट रूप से निर्धारित होता है। तुल्यता C के अंतर्गत, φ का सममित आव्यूह A और ψ का सममित आव्यूह B इस प्रकार संबंधित हैं:

B=C^{\mathrm {T} }AC.

एक द्विघात रूप q से संबंधित द्विरेखीय रूप को परिभाषित किया गया है

b_{q}(x,y)={\tfrac {1}{2}}(q(x+y)-q(x)-q(y))=x^{\mathrm {T} }Ay=y^{\mathrm {T} }Ax.

इस प्रकार, बी_q मैट्रिक्स A के साथ K के ऊपर एक सममित द्विरेखीय रूप है। इसके विपरीत, कोई भी सममित द्विरेखीय रूप b एक द्विघात रूप को परिभाषित करता है

q(x)=b(x,x),

और ये दोनों प्रक्रियाएँ एक दूसरे की प्रतिलोम हैं। परिणामस्वरूप, 2 के बराबर नहीं विशेषता के एक क्षेत्र पर, सममित द्विरेखीय रूपों के सिद्धांत और एन चर में द्विघात रूपों के सिद्धांत अनिवार्य रूप से समान हैं।

द्विघात स्थान

क्षेत्र K पर एक n-आयामी सदिश स्थान V दिया गया है, V पर एक द्विघात रूप एक फलन (गणित) है $Q:V\to K$ जिसकी निम्नलिखित संपत्ति है: कुछ आधार के लिए, फ़ंक्शन q जो निर्देशांक को मैप करता है $v\in V$ को $Q(v)$ द्विघात रूप है। विशेष रूप से, अगर $V=K^{n}$ इसके मानक आधार के साथ, एक है

q(v_{1},\ldots ,v_{n})=Q([v_{1},\ldots ,v_{n}])\quad {\text{for}}\quad [v_{1},\ldots ,v_{n}]\in K^{n}.

आधार सूत्रों के परिवर्तन से पता चलता है कि द्विघात रूप होने का गुण V में किसी विशिष्ट आधार की पसंद पर निर्भर नहीं करता है, हालाँकि द्विघात रूप q आधार के चुनाव पर निर्भर करता है।

एक द्विघात रूप के साथ परिमित-आयामी सदिश स्थान को 'द्विघात स्थान' कहा जाता है।

नक्शा क्यू डिग्री 2 का एक सजातीय कार्य है, जिसका अर्थ है कि इसकी संपत्ति है, सभी के लिए के में और वी में वी:

Q(av)=a^{2}Q(v).

जब K की विशेषता 2 नहीं है, बिलिनियर मैप B : V × V → K K पर परिभाषित किया गया है:

B(v,w)={\tfrac {1}{2}}(Q(v+w)-Q(v)-Q(w)).

यह द्विरेखीय रूप B सममित है। वह है, B(x, y) = B(y, x) वी में सभी एक्स, वाई के लिए और यह क्यू निर्धारित करता है: Q(x) = B(x, x) वी में सभी एक्स के लिए।

जब K की विशेषता 2 है, ताकि 2 एक इकाई (रिंग थ्योरी) न हो, तब भी एक सममित द्विरेखीय रूप को परिभाषित करने के लिए द्विघात रूप का उपयोग करना संभव है B′(x, y) = Q(x + y) − Q(x) − Q(y). यद्यपि, Q(x) को अब इस B′ से उसी तरह से पुनर्प्राप्त नहीं किया जा सकता है, क्योंकि B′(x, x) = 0 सभी एक्स के लिए (और इस प्रकार वैकल्पिक है)।^[8] वैकल्पिक रूप से, हमेशा एक द्विरेखीय रूप B″ मौजूद होता है (सामान्य रूप से या तो अद्वितीय या सममित नहीं) जैसे कि B″(x, x) = Q(x).

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

दो एन-आयामी द्विघात स्थान (V, Q) और (V′, Q′) सममितीय हैं यदि कोई व्युत्क्रमणीय रेखीय परिवर्तन मौजूद है T : V → V′ (आइसोमेट्री) ऐसा कि

Q(v)=Q'(Tv){\text{ for all }}v\in V.

K पर n-आयामी द्विघात स्थानों की आइसोमेट्री कक्षाएं K पर n-ary द्विघात रूपों के तुल्यता वर्गों के अनुरूप हैं।

सामान्यीकरण

आर को एक कम्यूटेटिव रिंग होने दें, एम एक आर- मॉड्यूल (गणित) हो, और b : M × M → R एक आर-बिलिनियर फॉर्म बनें।^[9] एक मानचित्रण q : M → R : v ↦ b(v, v) b का संबद्ध द्विघात रूप है, और B : M × M → R : (u, v) ↦ q(u + v) − q(u) − q(v) क्यू का ध्रुवीय रूप है।

एक द्विघात रूप q : M → R निम्नलिखित समकक्ष तरीकों से विशेषता हो सकती है:

एक R-बिलिनियर रूप मौजूद है b : M × M → R ऐसा है कि q(v) संबद्ध द्विघात रूप है।
q(av) = a²q(v) सबके लिए a ∈ R और v ∈ M, और q का ध्रुवीय रूप R-बिलिनियर है।

रूपों की समानता

विशेषता के एक क्षेत्र पर n चर में प्रत्येक द्विघात रूप q 2 के बराबर नहीं है, एक 'विकर्ण रूप' के लिए मैट्रिक्स सर्वांगसम है

q(x)=a_{1}x_{1}^{2}+a_{2}x_{2}^{2}+\cdots +a_{n}x_{n}^{2}.

इस तरह के एक विकर्ण रूप को प्रायः द्वारा निरूपित किया जाता है $\langle a_{1},\ldots ,a_{n}\rangle .$

तुल्यता तक सभी द्विघात रूपों का वर्गीकरण इस प्रकार विकर्ण रूपों के मामले में कम किया जा सकता है।

ज्यामितीय अर्थ

कार्टेशियन का उपयोग तीन आयामों में निर्देशांक करता है, आइएऔर जाने, $\mathbf {x} =(x,y,z)^{\text{T}}$ , $A$ एक सममित मैट्रिक्स 3-बाय -3 मैट्रिक्स बनें। फिर समीकरण के समाधान सेट की ज्यामितीय प्रकृति $\mathbf {x} ^{\text{T}}A\mathbf {x} +\mathbf {b} ^{\text{T}}\mathbf {x} =1$ मैट्रिक्स के eigenvalues पर निर्भर करता है $A$ .

यदि सभी eigenvalue s $A$ गैर-शून्य हैं, तो समाधान सेट एक दीर्घवृत्ताभ या एक अतिपरवलयज है^{[citation needed]}. यदि सभी eigenvalues धनात्मक हैं, तो यह एक दीर्घवृत्ताभ है; यदि सभी eigenvalues नकारात्मक हैं, तो यह एक काल्पनिक दीर्घवृत्ताकार है (हमें एक दीर्घवृत्ताभ का समीकरण मिलता है लेकिन काल्पनिक त्रिज्या के साथ); यदि कुछ eigenvalues धनात्मक हैं और कुछ ऋणात्मक हैं, तो यह एक अतिपरवलयज है।

यदि एक या अधिक eigenvalues मौजूद हैं $\lambda _{i}=0$ , तो आकार इसी पर निर्भर करता है $b_{i}$ . यदि संगत $b_{i}\neq 0$ , तो समाधान सेट एक परवलयिक (या तो अण्डाकार या अतिशयोक्तिपूर्ण) है; यदि संगत $b_{i}=0$ , फिर आयाम $i$ पतित हो जाता है और चलन में नहीं आता है, और ज्यामितीय अर्थ अन्य eigenvalues और के अन्य घटकों द्वारा निर्धारित किया जाएगा $\mathbf {b}$ . जब समाधान सेट एक पैराबोलॉइड होता है, चाहे वह दीर्घवृत्तीय हो या अतिपरवलयिक इस बात से निर्धारित होता है कि क्या अन्य सभी गैर-शून्य ईजेनवेल्यू एक ही संकेत के हैं: यदि वे हैं, तो यह अण्डाकार है; अन्यथा, यह अतिशयोक्तिपूर्ण है।

अभिन्न द्विघात रूप

पूर्णांकों के वलय पर द्विघात रूपों को अभिन्न द्विघात रूप कहा जाता है, जबकि संबंधित मॉड्यूल द्विघात जालक (कभी-कभी, केवल जाली (समूह)) होते हैं। वे संख्या सिद्धांत और टोपोलॉजी में महत्वपूर्ण भूमिका निभाते हैं।

एक अभिन्न द्विघात रूप में पूर्णांक गुणांक होते हैं, जैसे x² + xy + y²; समतुल्य रूप से, एक सदिश स्थान V में एक जाली Λ दिया गया है (विशेषता 0 के साथ एक क्षेत्र पर, जैसे 'Q' या 'R'), एक द्विघात रूप Q, Λ के संबंध में अभिन्न है अगर और केवल अगर यह पूर्णांक-मूल्यवान है एल, अर्थ Q(x, y) ∈ Z यदि x, y ∈ Λ.

यह शब्द का वर्तमान उपयोग है; अतीत में इसे कभी-कभी अलग तरीके से इस्तेमाल किया जाता था, जैसा कि नीचे बताया गया है।

ऐतिहासिक उपयोग

ऐतिहासिक रूप से इस बात को लेकर कुछ भ्रम और विवाद था कि क्या अभिन्न द्विघात रूप की धारणा का अर्थ होना चाहिए:

Twos in: पूर्णांक गुणांक वाले सममित मैट्रिक्स से जुड़ा द्विघात रूप
ट्वॉस आउट: पूर्णांक गुणांक वाला एक बहुपद (इसलिए संबंधित सममित मैट्रिक्स में विकर्ण से आधा-पूर्णांक गुणांक हो सकता है)

यह बहस द्विघात रूपों (बहुपदों द्वारा प्रतिनिधित्व) और सममित द्विरेखीय रूपों (मैट्रिसेस द्वारा प्रतिनिधित्व) के भ्रम के कारण थी, और दो बाहर अब स्वीकृत सम्मेलन है; इसके बदले ट्वोस इन इंटीग्रल सिमेट्रिक बिलिनियर फॉर्म्स (इंटीग्रल सिमिट्रिक मैट्रिसेस) का सिद्धांत है।

दो में, द्विघात द्विघात रूप के रूप हैं $ax^{2}+2bxy+cy^{2}$ , सममित मैट्रिक्स द्वारा दर्शाया गया है

{\begin{pmatrix}a&b\\b&c\end{pmatrix}}

यह वह परिपाटी है जिसका उपयोग गॉस डिसक्विजिशन अरिथमेटिका में करता है।

दुहने में, द्विघात द्विघात रूप के होते हैं $ax^{2}+bxy+cy^{2}$ , सममित मैट्रिक्स द्वारा दर्शाया गया है

{\begin{pmatrix}a&b/2\\b/2&c\end{pmatrix}}.

कई दृष्टिकोणों का अर्थ है कि दो को मानक परिपाटी के रूप में अपनाया गया है। इनमें शामिल हैं:

द्विघात रूपों के 2-एडिक सिद्धांत की बेहतर समझ, कठिनाई का 'स्थानीय' स्रोत;
जाली (समूह) दृष्टिकोण, जिसे आमतौर पर 1950 के दशक के दौरान द्विघात रूपों के अंकगणित में विशेषज्ञों द्वारा अपनाया गया था;
प्रतिच्छेदन सिद्धांत के लिए टोपोलॉजी में अभिन्न द्विघात रूप सिद्धांत की वास्तविक आवश्यकताएं;
झूठ समूह और बीजगणितीय समूह पहलू।

सार्वभौमिक द्विघात रूप

एक अभिन्न द्विघात रूप जिसकी छवि में सभी सकारात्मक पूर्णांक होते हैं, उसे कभी-कभी सार्वभौमिक कहा जाता है। लैग्रेंज का चार-वर्ग प्रमेय यह दर्शाता है $w^{2}+x^{2}+y^{2}+z^{2}$ सार्वभौमिक है। रामानुजन ने इसका सामान्यीकरण किया $aw^{2}+bx^{2}+cy^{2}+dz^{2}$ और 54 मल्टीसेट मिले {a, b, c, d} वह प्रत्येक सभी सकारात्मक पूर्णांक उत्पन्न कर सकता है, अर्थात्,

{1, 1, 1, डी}, 1 ≤ डी ≤ 7

{1, 1, 2, डी}, 2 ≤ डी ≤ 14

{1, 1, 3, डी}, 3 ≤ डी ≤ 6

{1, 2, 2, डी}, 2 ≤ डी ≤ 7

{1, 2, 3, डी}, 3 ≤ डी ≤ 10

{1, 2, 4, डी}, 4 ≤ डी ≤ 14

{1, 2, 5, डी}, 6 ≤ डी ≤ 10

ऐसे रूप भी हैं जिनकी छवि में सकारात्मक पूर्णांकों में से एक को छोड़कर सभी शामिल हैं। उदाहरण के लिए, {1,2,5,5} में अपवाद के रूप में 15 है। हाल ही में, 15 और 290 प्रमेय ों ने पूरी तरह से सार्वभौमिक अभिन्न द्विघात रूपों की विशेषता बताई है: यदि सभी गुणांक पूर्णांक हैं, तो यह सभी सकारात्मक पूर्णांकों का प्रतिनिधित्व करता है यदि और केवल यदि यह 290 तक सभी पूर्णांकों का प्रतिनिधित्व करता है; यदि इसमें एक अभिन्न मैट्रिक्स है, तो यह सभी सकारात्मक पूर्णांकों का प्रतिनिधित्व करता है यदि और केवल यदि यह 15 तक सभी पूर्णांकों का प्रतिनिधित्व करता है।

यह भी देखें

ε- द्विघात रूप|ε-द्विघात रूप
घन रूप
विभेदक# द्विघात रूप का विवेचक
हस्से-मिन्कोव्स्की प्रमेय
क्वाड्रिक
रामानुजन का द्विघात रूप
वर्गाकार वर्ग
विट समूह
विट की प्रमेय

↑ A tradition going back to Gauss dictates the use of manifestly even coefficients for the products of distinct variables, that is, 2b in place of b in binary forms and 2b, 2d, 2f in place of b, d, f in ternary forms. Both conventions occur in the literature.
↑ away from 2, that is, if 2 is invertible in the ring, quadratic forms are equivalent to symmetric bilinear forms (by the polarization identities), but at 2 they are different concepts; this distinction is particularly important for quadratic forms over the integers.
↑ Babylonian Pythagoras
↑ Brahmagupta biography
↑ Maxime Bôcher (with E.P.R. DuVal)(1907) Introduction to Higher Algebra, § 45 Reduction of a quadratic form to a sum of squares via HathiTrust
↑ If a non-strict inequality (with ≥ or ≤) holds then the quadratic form q is called semidefinite.
↑ The theory of quadratic forms over a field of characteristic 2 has important differences and many definitions and theorems must be modified.
↑ This alternating form associated with a quadratic form in characteristic 2 is of interest related to the Arf invariant – Irving Kaplansky (1974), Linear Algebra and Geometry, p. 27.
↑ The bilinear form to which a quadratic form is associated is not restricted to being symmetric, which is of significance when 2 is not a unit in R.

संदर्भ

O'Meara, O.T. (2000), Introduction to Quadratic Forms, Berlin, New York: Springer-Verlag, ISBN 978-3-540-66564-9
Conway, John Horton; Fung, Francis Y. C. (1997), The Sensual (Quadratic) Form, Carus Mathematical Monographs, The Mathematical Association of America, ISBN 978-0-88385-030-5
Shafarevich, I. R.; A. O. Remizov (2012). Linear Algebra and Geometry. Springer. ISBN 978-3-642-30993-9.

आगे की पढाई

Cassels, J.W.S. (1978). Rational Quadratic Forms. London Mathematical Society Monographs. Vol. 13. Academic Press. ISBN 0-12-163260-1. Zbl 0395.10029.
Kitaoka, Yoshiyuki (1993). Arithmetic of quadratic forms. Cambridge Tracts in Mathematics. Vol. 106. Cambridge University Press. ISBN 0-521-40475-4. Zbl 0785.11021.
Lam, Tsit-Yuen (2005). Introduction to Quadratic Forms over Fields. Graduate Studies in Mathematics. Vol. 67. American Mathematical Society. ISBN 0-8218-1095-2. MR 2104929. Zbl 1068.11023.
Milnor, J.; Husemoller, D. (1973). Symmetric Bilinear Forms. Ergebnisse der Mathematik und ihrer Grenzgebiete. Vol. 73. Springer-Verlag. ISBN 3-540-06009-X. Zbl 0292.10016.
O'Meara, O.T. (1973). Introduction to quadratic forms. Die Grundlehren der mathematischen Wissenschaften. Vol. 117. Springer-Verlag. ISBN 3-540-66564-1. Zbl 0259.10018.
Pfister, Albrecht (1995). Quadratic Forms with Applications to Algebraic Geometry and Topology. London Mathematical Society lecture note series. Vol. 217. Cambridge University Press. ISBN 0-521-46755-1. Zbl 0847.11014.

बाहरी कड़ियाँ

A.V.Malyshev (2001) [1994], "Quadratic form", Encyclopedia of Mathematics, EMS Press
A.V.Malyshev (2001) [1994], "Binary quadratic form", Encyclopedia of Mathematics, EMS Press

[1] A tradition going back to Gauss dictates the use of manifestly even coefficients for the products of distinct variables, that is, 2b in place of b in binary forms and 2b, 2d, 2f in place of b, d, f in ternary forms. Both conventions occur in the literature.

[2] way from 2, that is, if 2 is invertible in the ring, quadratic forms are equivalent to symmetric bilinear forms (by the polarization identities), but at 2 they are different concepts; this distinction is particularly important for quadratic forms over the integers.

[3] Babylonian Pythagoras

[4] Brahmagupta biography

[5] Maxime Bôcher (with E.P.R. DuVal)(1907) Introduction to Higher Algebra, § 45 Reduction of a quadratic form to a sum of squares via HathiTrust

[6] If a non-strict inequality (with ≥ or ≤) holds then the quadratic form q is called semidefinite.

[7] The theory of quadratic forms over a field of characteristic 2 has important differences and many definitions and theorems must be modified.

[8] This alternating form associated with a quadratic form in characteristic 2 is of interest related to the Arf invariant – Irving Kaplansky (1974), Linear Algebra and Geometry, p. 27.

[9] The bilinear form to which a quadratic form is associated is not restricted to being symmetric, which is of significance when 2 is not a unit in R.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]