Spaiu vectorial

Adunarea vectorilor i multiplicarea cu scalari a acestora: Vectorul v (n albastru) este adunat cu vectorul w (n rou, n ilustraia de mai sus). Mai jos, w este multiplicat cu factorul 2 i se obine suma v + 2w. Noiunea de spaiu vectorial, sau spaiu liniar, este una fundamental n algebra liniar. Dac lum n considerare vectorii geometrici i operaiile care pot fi efectuate asupra lor, cum ar fi adunarea vectorial, nmulirea cu scalari, cu unele constrngeri naturale cum ar fi nchiderile acestor operaii, asociativitatea lor, combinaiile de operaii, i aa mai departe, ajungem la descrierea unei structuri matematice pe care o numim spaiu vectorial. "Vectorii" pot s nu fie chiar vectori geometrici, ci pot fi orice obiect matematic care satisface urmtoarele axiome ale spaiilor vectoriale. De exemplu, polinoamele de grad n cu coeficieni reali formeaz un spaiu vectorial. Fiind astfel abstracte, spaiile vectoriale sunt foarte utile n multe arii ale matematicii moderne.

Definiie formal
O mulime V (mulimea vectorilor), mpreun cu o mulime K (corpul de scalari), o operaie notat "+" (adunarea vectorilor) i cu dou operaii "" (nmulirea cu scalari a vectorilor i nmultirea scalarilor ntre ei), este spaiu vectorial dac ndeplinete urmtoarele condiii: 1. (V,+) este grup comutativ 2. (K,+,) este corp comutativ 3. nmulirea cu scalari are urmatoarele proprieti:

oricare ar fi a,b K i x V, avem: (ab)x =a(bx) (asociativitatea) oricare ar fi x V,avem 1x = x, unde 1 este elementul neutru la nmulire din K. oricare ar fi a K i x,y V , avem a(x + y) = ax + ay (distributivitatea 1) oricare ar fi a,b K i x V, avem (a + b)x = ax + bx. (distributivitatea 2)

Se zice spaiu vectorial peste corpul K i se noteaz KV Dac pe un spaiu vectorial se introduce o msur a lungimii vectorilor, numit norm, rezult un spaiu vectorial normat. Norma definete o distan, orice spaiu normat fiind spaiu metric i n consecin spaiu topologic. Dac spaiul metric indus de norm este complet, spaiul vectorial este numit Spaiu Banach.

Teoreme

1. Fie KV un spaiu vectorial, a K i x V. Atunci: ax=0V dac i numai dac a=0K. (-a)x = a(-x) = -ax 2. a) Compunerea a dou morfisme de spaii vectoriale este un morfism de spaii vectoriale. b) Inversul unui izomorfism de spaii vectoriale este tot un izmorfism ntre ele. 3. Fie f:V -> W o aplicaie liniar. Dac V' mai mic sau egal dect V, atunci f(V') mai mic sau egal dect W -1 Dac W' mai mic sau egal dect W, atunci f (W') mai mic sau egal dect V