From Wikipedia, the free encyclopedia
En matematiko, dulineara formo sur vektora spaco V estas duargumenta funkcio B(u, v), kie u kaj v estas vektoroj de la spaco V, kies valoro estas nombro el kampo F:
kaj kiu estas lineara je ĉiu el la du argumentoj:
por ĉiuj vektoroj u, u1, u2, v, v1, v2 kaj ĉiu nombro k.
La eroj de la vektoroj, la valoro de la formo kaj la nombro k povas esti reelaj aŭ kompleksaj.
Ĉiu dulineara formo sur n-dimensia vektora spaco povas esti esprimita kiel
kie A estas n×n matrico, aij=B(ei, ej),
Se la konsiderata vektora spaco estas spaco de n-opoj de nombroj, u kaj v povas jam esti kolumnaj vektoroj, kaj povas esti ke x estas tute la samo kiel u kaj y estas tute la samo kiel v. Sed se estas konsiderata ekzemple geometria spaco tiam vektoro ne estas ĝuste opo de nombroj, kaj necesas aparte diri per vektoro kaj ĝi prezento kiel opo (kolumno) de nombroj en donita bazo. Ankaŭ, eĉ se vektoro estas nur opo de nombroj, eblas ŝanĝi bazon (ŝanĝi koordinatosistemon), kaj tiam vektoro kaj ĝia prezento estas malsamaj; vidu sube pli detale.
Se V estas finidimensia tiam, en al iu bazo enV, dulineara formo estas degenera se kaj nur se la determinanto de la asociita matrico estas nulo. Ankaŭ, nedegenera formo estas tiu por kiu la asociita matrico estas nedegenera (nesingulara). La degenereco estas sendependa de la elektita bazo.
Seskvilineara formo estas simila al dulineara formo super kompleksaj nombroj, ĝi estas lineara je unu argumento sed estas konjugita lineara je la alia argumento.
Estu e={e1, ...,en} bazo en n-dimensia spaco V. Estu dulineara formo B difinita per n×n matrico A kun aij=B(ei, ej). Tiam se x estas kolumna vektoro, prezento de vektoro u en ĉi tiu bazo, kaj analoge y estas prezento de v, tiam:
Estu e' la alia bazo por V, kun bazaj vektoroj:
kie S estas inversigebla n×n matrico.
Tiam se x' estas kolumna vektoro, prezento de vektoro u kun respekto al bazo e' , kaj analoge y' estas prezento de v en e' , tiam:
Tiel la matrica prezento por la dulineara formo en bazo e' estas:
Dulineara formo
estas refleksiva se
Refleksiveco permesas difini ortecon de du vektoroj: vektoroj u kaj v estas ortaj (perpendikularaj) kun respekto al la refleksiva dulineara formo se kaj nur se
La radiko de dulineara formo estas la aro de ĉiuj vektoroj kiuj estas perpendikularaj al ĉiu la alia vektoro. Vektoro u, kun matrica prezento x, apartenas al la radiko de dulineara formo kun matrica prezento A, se kaj nur se
La radiko estas ĉiam subspaco de V. Ĝi estas bagatela (konsistas nur el la nula vektoro) se kaj nur se la matrico A estas nesingulara, aŭ ekvivalente se kaj nur se la dulineara formo estas nedegenera.
Estu W subspaco de V. Tiam estu subspaco konsistanta el vektoroj, tiaj ke ĉiu vektoro el estas perpendikulara al ĉiu vektoro el W:
Kiam la dulineara formo estas nedegenera, la mapo estas dissurĵeto, kaj la dimensio de estas diferenco inter dimensio de V kaj dimensio de W.
Eblas pruvi ke B estas refleksiva se kaj nur se minimume unu el la sekvaj kondiĉoj veraj:
Ĉiu alterna formo estas deklivo-simetria formo (B(u, v) = -B(v, u)). Ĉi tiu povas esti pruvita per elvolvo de B(u+v, u+v) = 0:
Pro tio ke B(u, u) = B(v, v) = 0 rezultiĝas
Valoro de B povas esti pli ĝenerale ero de kampo F de skalaroj (ankaŭ reelaj kaj kompleksaj nombroj trafas ĉi tion). Se la karakterizo de F ne egalas al 2 tiam estas vera ankaŭ la ree ke ĉiu deklivo-simetria formo estas alterna. Se, tamen, la karakterizo de F estas 2 tiam deklivo-simetria formo estas la samo kiel simetria formo kaj ne ĉiuj el ĉi tiuj estas alternaj.
Dulineara formo estas simetria se kaj nur se ĝia koordinata matrico estas simetria matrico. Dulineara formo estas deklivo-simetria se kaj nur se ĝia koordinata matrico estas deklivo-simetria matrico. Dulineara formo estas alterna se kaj nur se ĝia koordinata matrico estas deklivo-simetria kaj ĉiuj ĝiaj diagonalaj elementoj estas nuloj (kio sekvas de deklivo-simetrieco se karakterizo de F ne egalas al 2). La simetrieco kaj deklivo-simetrieco estas sendependaj de la elektita bazo.
Povas esti konsiderata ankaŭ dulineara surĵeto
kie V kaj W povas esti malsamaj spacoj.
Dulineara formo sur normigita vektora spaco estas barita, se ekzistas konstanto C tia ke por ĉiuj u kaj v en V
Dulineara formo sur normigita vektora spaco estas elipsa, se ekzistas konstanto c tia ke por ĉiu u en V
Elipsa dulineara formo priskribas n-dimensian elipsoidon en V per ekvacio B(u, u) = c, vidu plu en koniko kaj kvadriko.
Dulineara formo povas esti elipsa nur se ĝi estas nedegenera.
Tiam estas dulineara formo:
Seamless Wikipedia browsing. On steroids.