Vektorinė erdvė: Skirtumas tarp puslapio versijų
Ištrintas turinys Pridėtas turinys
Nėra keitimo santraukos |
Pusiau patvarkyta. Dar reikia taisyti |
||
Eilutė 1:
{{Gcheck}}
'''Vektorių erdvė''' (arba
Vektorių erdvės yra pagrindiniai
Pačios paprasčiausios vektorių erdvės yra
[[Image:Vector space illust.svg|right|thumb|Vektorių erdvė yra rinkinys objektų, vadinamų [[vektorius|vektoriais]], kurie gali būti
== Formalus apibūdinimas ==
Tarkime, kad F yra [[laukas (matematika)|laukas]] (pavyzdžiui realieji arba kompleksiniai skaičiai), kurio elementai vadinami skaliariniais dydžiais.
Vektorinė erdvė yra lauko F elementų visuma V kartu su jame apibrėžtomis binarinėmis operacijomis:
* ''
* ''Skaliarinė daugyba'': ''F'' × ''V'' → ''V''
# Vektorių sudėtis yra
# Vektorių sudėtis yra [[Komutatyvumas|komutatyvi]]: <p style="margin-left: 2em">Visiems '''v''', '''w''' ∈ ''V'', turime '''v''' + '''w''' = '''w''' + '''v'''.</p>
# Vektorių sudėtis turi
# Vektorių sudėtis
#
#
#
# Skaliarų daugyba turi
Galima pažymėti, kad anksčiau pateikta septinta aksioma, teigianti ''a'' (''b'' '''v''') = (''ab'') '''v''',
▲Galima pažymėti, kad anksčiau pateikta septinta aksioma, teigianti ''a'' (''b'' '''v''') = (''ab'') '''v''', neįrodo veiksmų jungiamumo, kol yra du veiksmai tiriami, skaliarų daugyba: ''b'' '''v'''; ir laukų daugyba: ''ab''.
Kai kurie šaltiniai siūlo renkantis taip pat įtraukti pabaigoje dvi aksiomas:
# ''V'' yra
# ''V'' yra
Kaip bebūtų, modernus formalus veiksmų supratimas kaip žemėlapių su dominuojančiu ''V'' reiškia šių formuluočių apibūdinimus, taigi, panaikina būtinybę įtraukti jas kaip nepriklausomas aksiomas. paskutiniųjų aksiomų pagrįstumas yra pagrindas abipbrėžiant ar vektoriaus erdvės poaibis yra suberdvė
Pažymėtina, kad formos išraiška “'''v''' ''a''”, kur '''v''' ∈ ''V'' ''a'' ∈ ''F'', yra, griežtai sakant, neapibrėžiami. Dėl komutatyvumo žemiau esantiems laukams, kaip bebūtų, “''a'' '''v'''” ir “'''v''' ''a''” yra dažnai laikoma sinonimiškai. Be to, jei '''v''' ∈ ''V'', '''w''' ∈ ''V'', ir ''a'' ∈ ''F'' kur vektoriaus nuotolis ''V'' yra papildomai algebra per lauką ''F'' kai ''a'' '''v''' '''w''' = '''v''' ''a'' '''w''', kuris daro tai patogų laikyti “''a'' '''v'''” ir “'''v''' ''a''” reprezentuojantį tą patį vektorių.
|