Gofod fectoraidd
Oddi ar Wicipedia
Gofod fectoraidd yw'r gwrthrych sylfaenol a astudir yn y ganghen o fathemateg o'r enw algebra llinol.
Os ystyrwn fectorau geometrig a'r gweithrediadau pwysicaf y gallem ddiffinio arnynt, sef adio factoraidd a lluosi â scalar, ynghyd â rhai cyfyngiadau naturiol megis cäedigrwydd, cydymaithder ac yn y blaen, fe ddown i ddisgrifiad o strwythyr mathemategol a gelwir yn ofod fectoraidd
Nid oes rhaid i'r “fectorau” fod yn fectorau geometrig yn yr ystyr arferol; gallent fod yn unrhyw wrthrychau mathemategol sy'n bodloni'r gwirebau priodol. Er enghraifft, mae'r polynomialau â chyfernodau real yn ffurfio gofod fectoraidd. Mae'r lefel yma o haniaeth yn gwneud gofod fectoraidd yn wrthrych defnyddiol mewn sawl canghen o fathemateg.
[golygu] Diffiniad ffurfiol
Mae gofod fectoraidd dros gorff F (corff y rhifau real neu'r rhifau cymhlyg er enghraifft) yn set V ynghyd â'r dau weithred,
- adio fectorau: V × V → V ysgrifennir v + w, lle mae v, w ∈ V, a
- lluosi â scalar: F × V → V ysgrifennir a v, lle mae a ∈ F and v ∈ V,
fel fod y fectorau'n ffurfio grŵp abelaidd, a'r ffwythiant â gymer elfen o'r corff i'w weithred scalar yn homomorffiad fodrwyol i'r grŵp o homomorffiadau ar V. Rhoddir disgrifiad mwy penodol o'r priodweddau hyn yn yr wyth wireb isod
Grŵp abelaidd y fectorau:
- Mae adio fectorau yn gydymaithderol:
Ar gyfer pob u, v, w ∈ V, mae u + (v + w) = (u + v) + w.
- Mae adio fectorau yn gymudol:
Ar gyfer pob v, w ∈ V, mae v + w = w + v.
- Elfen unfathiant adio fectoraidd:
Mae 0 ∈ V, a gelwir y fector sero, yn bodoli ac yn bodloni v + 0 = v am unrhyw v ∈ V.
- Bodolaeth elfen gwrthdro:
Ar gyfer pob v ∈ V, fe bodola elfen w ∈ V, a gelwir gwrthdro adiol v, fel bod v + w = 0.
Mae lluosi â scalar yn homomorffiad:
- Mae lluosi â scalar yn ddosbarthiadol dros adio fectoraidd:
Ar gyfer pob a ∈ F a v, w ∈ V, mae a (v + w) = a v + a w.
Mae'r ffwythiant o'r corff i'r gweithrediadau scalar yn homomorffiad fodrwyaidd:
- Mae lluosi â scalar yn gydymaithderol:
Ar gyfer pob a, b ∈ F a v ∈ V, mae a (b v) = (ab) v.
- Elfen unfathiant lluosi â scalar:
Ar gyfer pob v ∈ V, mae 1 v = v, lle dynoda 1 yr unfathiant lluosiadol yn F.
- Mae lluosi â scalar yn ddosbarthiadol dros adiad yn y corff:
Ar gyfer pob a, b ∈ F a v ∈ V, mae (a + b) v = a v + b v.
Noder fod dwy wireb caëdigrwydd yn cael eu cynnwys weithiau:
- Mae adio fectoraidd yn gaëdig:
Os mae u, v ∈ V, yna mae u + v ∈ V.
- Mae lluosi â scalar yn gaëdig:
Os mae a ∈ F, v ∈ V, yna mae a v ∈ V.
Fodd bynnag, nid oes angen eu cynnwys, gan eu bod ymhlyg yn y diffiniad ffurfiol o'r gweithrediadau fel ffwythiannau i'r set V.
Gelwir elfennau V yn fectorau ac elfennau F yn scalarau. Mewn llawer o'r cymhwysiadau, y rhifau real neu'r rhifau cymhlyg yw'r scalarau, a throfodir gofodau fectoraidd real a gofodau fectoraidd cymhlyg.
Fel y cysyniad o gorff ei hun, mae'r diffiniad ffurfiol o ofod fectoraidd yn gwbwl haniaethol. Mae'n debyg i'r cysyniad o fodwl dros fodrwy, yn wir mae'n achos arbennig o'r gwrthrych hwnnw.
