homogena polinomo de grado 2 From Wikipedia, the free encyclopedia
En matematiko, kvadrata formo estas homogena polinomo de grado 2 de iu kvanto de variabloj.
Kvadrataj formoj de unu, du, kaj tri variabloj estas donitaj kiel:
Ekzemple,
estas kvadrata formo de la variabloj x kaj y.
La koeficientoj estas eroj de ringo.
Notu, ke kvadrata funkcio (parto kvadrata ekvacio de unu flanko de la egaleco, se la alia flanko estas nulo) ne nepre estas kvadrata formo, ĉar kvadrata funkcio ne nepre estas homogena polinomo.
Ĉiu ne ĉie nula kvadrata formo de n variabloj difinas (n-2)-dimensian kvadrikon en projekcia spaco. Tiel eblas bildigi 3-dimensiajn kvadratajn formojn kiel konikoj.
La termino kvadrata formo estas ankaŭ ofte uzata por kvadrata spaco, kiu estas paro (V, Q) kie V estas vektora spaco super kampo k, kaj Q: V → k estas kvadrata formo sur V.
Se en la ringo la valoro 2 estas inversigebla, kio estas ke povas esti kalkulita (ekzemple, super kampo de karakterizo ne egala al 2), estas unu al unu interrilato inter kvadrataj formoj kaj simetriaj dulinearaj funkcioj, en ĉi tiu ĉirkaŭteksto ofte nomataj kiel simple simetriaj formoj. Ili estas tial ofte konfuzitaj, kiel en integralo kvadrataj formoj (vidui pli sube). Tamen, ili estas malsamaj konceptoj, kaj la distingo estas ofte grava.
Intuicie, simetria formo estas ĝeneraligo de xy, dum kvadrata formo estas ĝeneraligo de , kaj unu povas pasi inter ĉi tiuj tra la polarizaj identoj.
Por donita kvadrata formo Q, la asociita simetria formo aŭ asociita dulineara funkcio B estas
Ĉi tio respektivas al
Male, por donita dulineara funkcio D (kiu ne nepre estas simetria), oni ricevas kvadratan formon R per
Ĉi tio respektivas al
Se komponi ĉi tiujn du operaciojn se starti de kvadrata formo
aŭ de simetria dulineara funkcio
rezultas multipliko per 2:
tial se 2 estas inversigebla, ĉi tiuj operacioj estas inversigeblaj (la polarizaj identoj):
analoge al
kaj
analoge al
Ĉi tio donas unu al unu interrilaton inter kvadrataj formoj sur V kaj simetriaj formoj sur V.
Sed se 2 estas ne inversigebla, simetriaj formoj kaj kvadrataj formoj estas malsamaj: iu kvadrataj formoj ne povas esti skribitaj en la formo B(u, u), ekzemple, super la entjeroj, x2+xy+y2 kaj xy.
Ĉiu 2-dimensia kvadrata formo povas esti skribita kiel
Estu u = (x, y)T kolumna vektoro en la 2-dimensia vektora spaco. La kvadrata formo Q povas esti esprimita per 2×2 matrico M
per matrica multipliko:
kie uT estas la transpono de u. La inversigebleco de 2 estas grava, pro tio ke estas multipliko je en la difino de M. Tiel estas unu al unu interrilato inter 2-dimensiaj kvadrataj formoj Q kaj 2×2 simetriaj matricoj M.
Ĉi tio povas esti ĝeneraligita al formoj de n variabloj kaj n×n simetriaj matricoj.
La asociitan dulinearan funkcion B eblas skribi per simetria matrico S:
La komponantoj de S estas donitaj per Sij = S(ei, ej) kie {ei} estas la normala bazo de V. Ĉiu ei havas la solan egalan al unu komponanton je la i-a koordinato kaj ĉiuj la aliaj ĝiaj komponantoj estas nulaj. Se 2 estas inversigebla la kvadrata formo Q estas donita per
kie ui estas la komponantoj de u. Tiel la matrico de kvadrata formo kaj la matrico de la asociita dulineara funkcio estas interligitaj kiel
Du eroj u kaj v de V estas nomataj kiel perpendikularaj kun respekto al dulineara funkcio B se B(u, v)=0.
La kerno de dulineara funkcio B konsistas el la eroj kiuj estas perpendikularaj al ĉiuj eroj de V. La kerno de kvadrata formo Q konsistas el ĉiuj eroj u de la kerno de B tiaj ke Q(u)=0. Se 2 estas inversigebla tiam Q kaj ĝia asociita dulineara funkcio B havas la samajn kernojn.
La dulineara funkcio B estas nomata kiel nesingulara se ĝia kerno konsistas nur el la ero 0, kaj la kvadrata formo Q estas nomata kiel nesingulara se ĝia kerno konsistas nur el la ero 0.
La perpendikulara grupo de ne-singulara kvadrata formo Q estas la grupo de aŭtomorfioj de V kiuj konservas la kvadratan formon Q.
Kvadrata formo Q estas nomata kiel izotropa kvadrata formo se estas ne-nula v en V tia ke Q(v)=0. Alie ĝi estas nomata kiel neizotropa kvadrata formo. Vektoro aŭ subspaco de kvadrata spaco povas ankaŭ esti nomata kiel izotropa. Se Q(v)=0 por ĉiu v en V tiam Q estas nomata kiel tutece singulara.
Iuj la aliaj propraĵoj de kvadrataj formoj estas:
Estu (V, Q) kaj (W, Q') du kvadrataj spacoj super kampo F. Ili estas ekvivalentaj se ekzistas izomorfio de vektoraj spacoj s: V → W tia ke
veras por ĉiuj x en V. La izomorfio s estas nomata kiel izometrio de (V, Q) al (W, Q'). Ĉi tiu nocio de ekvivalenteco estas ekvivalentrilato sur kvadrataj formoj.
Se la karakterizo de F estas ne 2, ĉiu kvadrata formo Q sur n-dimensia F-vektora spaco V estas ekvivalenta al diagonala formo
kie . Ĉi tia diagonala formo estas ofte skribata kiel .
Ĉiu diagonala formo Q super n-dimensia kompleksa vektora spaco estas ekvivalenta al diagonala formo de la formo <1, ..., 1, 0, ..., 0> kie la koeficiento 1 okazas r fojojn. Por donita formo Q la nombro r estas unike difinita.
Ĉiu diagonala formo Q super n-dimensia reela vektora spaco estas ekvivalenta al diagonala formo de la formo <1, ..., 1, -1, ..., -1, 0, ..., 0> kie la koeficiento 1 okazas r fojojn kaj la koeficiento -1 okazas s fojojn. Por donita formo Q la nombroj r kaj s estas unike difinitaj.
Ankaŭ por finia kampo F la klasifiko de la ekvivalentklasoj de kvadrataj formoj sur finie dimensiaj vektoraj spacoj estas simpla. La racionala okazo estas pli komplika, sed ankaŭ solvita per la teoremo de Hasse-Minkowski.
Vidu plu en leĝo de inercio de Sylvester
Estu Q kvadrata formo difinita sur reela vektora spaco.
Estu A la reela simetria matrico asociita kun Q kiel estas priskribite pli supre, do por ĉiu kolumna vektoro v
Tiam, Q estas pozitive difinita, negative difinita, pozitive duondifinita, negative duondifinita, nedifinita, se kaj nur se la matrico A havas la samnoman propraĵon (vidu en pozitive difinita matrico).
Ĉiu n-dimensia nesingulara reela kvadrata spaco (V, Q) havas perpendikularan dispartigon U1 ⊥ U-1 tian ke Q limigita al U1 estas pozitive difinita kaj Q limigita al U-1 estas negative difinita. Tial ĉi tiuj subspacoj estas supren ĝis izometrio unike difinitaj kaj de ĉi tie iliaj dimensioj estas ankaŭ unike difinita. La entjero
estas nomata kiel la signumo de q, kie dim prezentas dimension de la spacoj.
La nombro
estas nomata kiel la indekso de inercio de q.
La dimensioj de U1 kaj U-1 estas la samaj kiel kvantoj de koeficientoj 1 kaj -1 en la ekvivalenta diagonala formo.
Kvadrata formo super la ringo de entjeroj estas nomata kiel integrala kvadrata formo aŭ integrala krado. Ili estas gravaj en nombroteorio kaj topologio.
Integrala kvadrata formo estas formo kun entjeraj koeficientoj.
Historie estis iu konfuzo kaj diskuto pri la nocio de integrala kvadrata formo. Estis du variantoj:
Ĉi tiu debato estis pro la konfuzo de kvadrataj formoj prezentita per polinomoj kaj simetriaj dulinearaj funkcioj prezentitaj per matricoj. La "duoj ekstere" estas nun la akceptis konvencio; "duoj en" estas uzata en teorio de integralaj simetriaj dulinearaj funkcioj (integralaj simetriaj matricoj).
Ĉe "duoj ene", duvariablaj kvadrataj formoj estas de formo , prezentitaj per la simetriaj matricoj .
Ĉe "duoj ekstere", duvariablaj kvadrataj formoj estas de formo , prezentitaj per la simetriaj matricoj .
Estas kelkaj de tio ke la duoj ekstere estas adoptita kiel la norma konvencio, inter ili:
Kvadrata formo prezentantaj ĉiujn pozitivajn entjerojn estas iam nomita kiel universala.
La kvar-kvadrata teoremo de Lagrange montras ke estas universala.
La teoremoj de 15 kaj 290 plene karakterizas universalajn integralajn kvadratajn formojn: se ĉiuj koeficientoj estas entjeroj, tiam ĝi prezentas ĉiuj pozitivaj entjeroj se kaj nur se ĝi prezentas ĉiuj entjeroj supren ĝis 290; se ĝi havas entjeran matrico, ĝi prezentas ĉiuj pozitivaj entjeroj se kaj nur se ĝi prezentas ĉiujn entjerojn supren ĝis 15.
Kvadrataj formoj estas gravaj en matematiko, okazanta en nombroteorio, rimana geometrio (kiel kurbeco), kaj teorio de Lie.
Ili estadas ankaŭ en fiziko kaj kemio, kiel la energio de sistemo, aparte en rilato al la L2 normo, kiu kondukas al la uzo de hilbertaj spacoj.
Ekzemple, la distanco inter du punktoj en tri-dimensia eŭklida spaco estas trovata per preno de la kvadrata radiko de kvadrata formo engaĝante ses variablojn, kiuj estas la tri koordinatoj de ĉiu el la du punktoj.
Kvadrata formo de 2 variabloj estas iam nomata kiel duuma kvadrata formo, kaj ĉi tiaj formoj estas multestudataj en nombroteorio (aparte en la teorio de modulaj formoj), kaj ankaŭ iliaj asociitaj kvadrataj kampoj.
La studo de apartaj kvadrataj formoj, aparte de demando ĉu donita entjero povas esti valoro de kvadrata formo super entjeroj, komenciĝis antaŭ multaj jarcentoj. Unu ĉi tia okazo estas teoremo de Fermat pri sumoj de du kvadratoj, kiu difinas kiam entjero povas esti esprimita en la formo x2+y2 kie x kaj y estas entjeroj. Ĉi tiu problemo estas rilatanta al la problemo de trovado de pitagoraj triopoj.[1]
En 628, la hinda matematikisto Brahmagupta skribis Brahmasphutasiddhanta kiu inkluzivas, inter multaj aliaj aĵoj, studon de ekvacioj de formo x2-ny2 = c. Aparte estis konsiderita tio kio estas nun nomata kiel ekvacio Pell, x2-ny2 = 1, kaj trovita maniero ĝin solvi.[2] En Eŭropo ĉi tiu problemo estis studita de William Brouncker, Eŭlero kaj Joseph-Louis de Lagrange.
En 1801 Carl Friedrich Gauss publikigis Disquisitiones Arithmeticae, grava porcio de kiu estis pri teorio de duvariablaj kvadrataj formoj super entjeroj. Ekde tiam, la koncepto estis ĝeneraligita, kaj la ligoj kun kvadrataj nombraj kampoj, la modula grupo, kaj aliaj areoj de matematiko estas plu ellaborita.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.