Bază (algebră liniară)

Aspect mută în bara laterală ascunde Vectorii (1, 0) și (0, 1) formează o bază în spațiul vectorial R2

In algebră liniară, o bază a unui spațiu vectorial, este un sistem de vectori cu care, printr-o combinație liniară, poate fi generat orice vector al spațiului, și care este minimală în raport cu numărul de vectori pe care îi conține. Dacă baza nu ar fi minimală, atunci unul sau mai mulți vectori ai ei, se poate scrie ca o combinație liniară a celorlalți vectori, ceea ce înseamnă că ei pot fi excluși din bază, rămânându-ne mai puțini vectori.

Definiție

Fiind dat spațiul vectorial ( V ; K ; + ; ⋅ ) {\displaystyle (V;\mathbb {K} ;+;\cdot )} , V {\displaystyle V} - mulțimea vectorilor, K {\displaystyle \mathbb {K} } - corpul peste care se află spațiul vectorial, +,* - legi de compoziție, se numește bază (algebrică) a lui V {\displaystyle V} , un sistem de vectori liniar independenți care sunt generatori ai spațiului vectorial.

Vectorii bazei se numesc versori. Mai in detaliu, presupunând că B = { v → 1 , v → 2 , ⋯ , v → n } {\displaystyle B=\{{\vec {v}}_{1},{\vec {v}}_{2},\cdots ,{\vec {v}}_{n}\}} este o submulțime finită a spațiului vectorial V {\displaystyle V} peste un câmp F {\displaystyle F} (precum mulțimea numerelor reale R {\displaystyle \mathbb {R} } sau cea a numerelor complexe C {\displaystyle \mathbb {C} } ). Atunci B este bază dacă satisface următoarele condiții:

pentru orice a 1 , a 2 , ⋯ , a n ∈ F {\displaystyle a_{1},a_{2},\cdots ,a_{n}\in F} dacă a 1 ⋅ v → 1 + a 2 ⋅ v → 2 + ⋯ + a n ⋅ v → n = 0 , {\displaystyle a_{1}\cdot {\vec {v}}_{1}+a_{2}\cdot {\vec {v}}_{2}+\cdots +a_{n}\cdot {\vec {v}}_{n}=0,} atunci a 1 = a 2 = ⋯ = a n = 0. {\displaystyle a_{1}=a_{2}=\cdots =a_{n}=0.} pentru orice x → ∈ V {\displaystyle {\vec {x}}\in V} există a 1 , a 2 , ⋯ , a n ∈ F {\displaystyle a_{1},a_{2},\cdots ,a_{n}\in F} astfel încât x → = a 1 ⋅ v → 1 + a 2 ⋅ v → 2 + ⋯ + a n ⋅ v → n . {\displaystyle {\vec {x}}=a_{1}\cdot {\vec {v}}_{1}+a_{2}\cdot {\vec {v}}_{2}+\cdots +a_{n}\cdot {\vec {v}}_{n}.}

De notat că sumele de mai sus sunt finite, chiar dacă baza are un număr infinit de elemente. Admiterea sumelor infinite (serii) necesită înzestrarea spațiului vectorial cu o structură de spațiu topologic. Structuri similare cu bazele algebrice pentru spații prehilbertiene sunt de exemplu bazele ortonormate și bazele Riesz.

Notație

O bază a unui spațiu vectorial constă defapt, într-un număr de vectori. Aceștia se scriu între acolade: { }. Exemplu: { v 1 , v 2 , v 3 , . . . } {\displaystyle {\begin{Bmatrix}v_{1},v_{2},v_{3},...\end{Bmatrix}}} . Dacă vectorii v i {\displaystyle v_{i}\,} sunt de forma ( e i 1 , e i 2 , e i 3 , . . . , e i j , . . . ) {\displaystyle (e_{i1},e_{i2},e_{i3},...,e_{ij},...)\,} , atunci baza se poate scrie și astfel: { ( e 11 , e 12 , . . . , e 1 j , . . . ) , ( e 21 , e 22 , . . . , e 2 j , . . . ) , . . . , ( e k 1 , e k 2 , . . . , e k j , . . . ) } {\displaystyle {\begin{Bmatrix}(e_{11},e_{12},...,e_{1j},...),(e_{21},e_{22},...,e_{2j},...),...,(e_{k1},e_{k2},...,e_{kj},...)\end{Bmatrix}}} , unde k și j sunt evident, indici.

Proprietăți

Exemple

  1. ( R ; + ; ⋅ ) / R {\displaystyle (\mathbb {R} ;+;\cdot )_{/\mathbb {R} }} , notație similară cu ( R ; R ; + ; ⋅ ) {\displaystyle (\mathbb {R} ;\mathbb {R} ;+;\cdot )} , formează un spațiu vectorial. Cea mai importantă (și mai cunoscută bază) a acestuia este { ( 1 ) } {\displaystyle {\begin{Bmatrix}(1)\end{Bmatrix}}} . Aceasta este baza canonică. Conținând un singur vector (care este și nenul), el este liniar independent, deoarece ∀ α ∈ R {\displaystyle \forall \alpha \in \mathbb {R} } , a.î. α ⋅ 1 = 0 → α = 0 {\displaystyle \alpha \cdot 1=0\to \alpha =0} , este adevarată, fiind definiția sistemului de vectori liniar independeți, iar vectorul ( 1 ) {\displaystyle (1)\,} este generator deoarece ∀ v ∈ R {\displaystyle \forall v\in \mathbb {R} } , el se poate scrie ca o combinație liniară de forma α ⋅ ( 1 ) = v {\displaystyle \alpha \cdot (1)=v} , iar α ∈ R {\displaystyle \alpha \in \mathbb {R} } ;
  2. ( R 2 ; + ; ⋅ ) / R {\displaystyle (\mathbb {R} ^{2};+;\cdot )_{/\mathbb {R} }} , spațiul vectorial real bidimensional. Orice vector este de forma ( x , y ) {\displaystyle (x,y)\,} . Printr-un calcul destul de simplu, se observă că în acest spațiu vectorial, o bază are exact 2 vectori. Baza canonică este { ( 1 , 0 ) , ( 0 , 1 ) } {\displaystyle {\begin{Bmatrix}(1,0),(0,1)\end{Bmatrix}}} . O altă bază ar putea fi { ( 3 , 0 ) , ( 0 , − 2 ) } {\displaystyle {\begin{Bmatrix}(3,0),(0,-2)\end{Bmatrix}}} ;
  3. ( R n ; + ; ⋅ ) / R , n ∈ N ∗ {\displaystyle (\mathbb {R} ^{n};+;\cdot )_{/\mathbb {R} },n\in \mathbb {N^{*}} } , spațiul vectorial real generalizat pentru orice dimensiune. Un vector v are n componente, v = ( e 1 , e 2 , e 3 , . . . , e n ) {\displaystyle v=(e_{1},e_{2},e_{3},...,e_{n})\,} , iar orice bază are și ea, n vectori. Baza canonică este: { ( 1 , 0 , . . . , 0 ) , ( 0 , 1 , 0 , . . . , 0 ) , . . . , ( 0 , 0 , . . . , 0 , 1 ) } {\displaystyle {\begin{Bmatrix}(1,0,...,0),(0,1,0,...,0),...,(0,0,...,0,1)\end{Bmatrix}}} ;
  4. ( C ; + ; ⋅ ) / C {\displaystyle (\mathbb {C} ;+;\cdot )_{/\mathbb {C} }} , spațiul vectorial complex unidimensional, peste mulțimea numerelor complexe. Orice bază are o componentă nenulă, deoarece este nevoie de un singur număr complex pentru a genera un alt număr complex (care este defapt vectorul), printr-o combinație liniară;
  5. ( C ; + ; ⋅ ) / R {\displaystyle (\mathbb {C} ;+;\cdot )_{/\mathbb {R} }} , spațiul vectorial complex unidimensional, peste mulțimea numerelor reale. Aici este nevoie de 2 numere reale pentru a genera un vector, deoarece orice număr complex este de forma a + i ⋅ b , a , b ∈ R {\displaystyle a+i\cdot b,a,b\in \mathbb {R} \,} . Ca bază, putem avea { ( 1 , 0 ) , ( 0 , i ) } {\displaystyle {\begin{Bmatrix}(1,0),(0,i)\end{Bmatrix}}} ;
  6. ( R ; + ; ⋅ ) {\displaystyle (\mathbb {R} ;+;\cdot )} spațiul vectorial al polinoamelor cu coeficienți reali. Bază avem { 1 , X , X 2 , X 3 , . . . } {\displaystyle {\begin{Bmatrix}1,X,X^{2},X^{3},...\end{Bmatrix}}} , acesta fiind un spațiu infinit dimensional, baza va conține o infinitate de vectori.