Nucleu (algebră liniară)

În matematică, și mai precis în algebra liniară și Format:Ill-wd, nucleul (de asemenea, cunoscut sub numele de kernel sau ker, după notația practicată) al unei aplicații liniare Format:Nowrap între două spații vectoriale V și W, este mulțimea tuturor elementelor v din V pentru care Format:Nowrap, unde 0 indică vectorul zero din W. Adică, în Format:Ill-wd,

$\ker (L)=\{𝐯\in V\mid L(𝐯)=\mathrm{𝟎}\}\text{.}$

Proprietăți ale nucleului

Nucleul și imaginea unei aplicații L.

Nucleul lui L este un Format:Ill-wd al domeniului V. În aplicația liniară Format:Nowrap, două elemente din V au aceeași imagine în W dacă și numai dacă diferența lor aparține nucleului lui L:

$L({𝐯}_1)=L({𝐯}_2)\iff L({𝐯}_1-{𝐯}_2)=\mathrm{𝟎}\text{.}$

Rezultă că imaginea L este izomorfă cu Format:Ill-wd lui V în raport cu nucleul:

$\mathrm{i}\mathrm{m}(L)\cong V/\ker (L)\text{.}$

Acest lucru implică Format:Ill-wd:

$\dim (\ker L)+\dim (\mathrm{i}\mathrm{m}L)=\dim (V)\text{.}$

Dimensiunea imaginii lui L se numește „rang”, iar cea a nucleului se numește „defect”.

Când V este un spațiu cu produs scalar, factorul Format:Nowrap poate fi identificat cu complementul ortogonal în V al  lui ker(L). Aceasta este o generalizare a aplicațiilor liniare a spațiului rândurilor unei matrice.

Aplicații în domeniul modulelor

Noțiunea de nucleu se aplică omomorfismelor de module, acestea din urmă fiind o generalizare a spațiilor vectoriale (care sunt definite peste un corp) peste un inel. Domeniul aplicațiilor este un modul, și nucleul constituie un „Format:Ill-wd”. Aici, nu se mai aplică neapărat noțiunile de rang și defect.

Nucleul în analiza funcțională

Dacă V și W sunt Format:Ill-wd (și W este finit-dimensional), atunci aplicația liniară L: V → W este Format:Ill-wd dacă și numai dacă nucleul lui L este un subspațiu închis al lui V.

Reprezentarea ca înmulțire de matrice

Fie o aplicație liniară reprezentată ca o matrice m × n A cu coeficienți într-un corp K (de obicei, corpul numerelor reale sau al numerelor complexe) și care funcționează ca vectori coloană x cu n componente peste K. Nucleul acestei aplicații liniare este mulțimea soluțiilor ecuației Ax = 0Format:Nowrap, unde 0 se înțelege ca vector zero. Dimensiunea nucleului lui A se numește defectul lui A. În Format:Ill-wd,

$\mathrm{N}(A)=\mathrm{Null}(A)=\ker (A)=\{𝐱\in K^n|A𝐱=\mathrm{𝟎}\}.$

Ecuația matriceală este echivalentă cu un sistem de ecuații liniare omogen:

$A𝐱=\mathrm{𝟎}\iff \begin{array}{cccccccccccccc}{a}_{11}{x}_1& & +& & a_{12}{x}_2& & +\cdots +& & a_{1n}{x}_n& & =& & & 0\\ a_{21}{x}_1& & +& & a_{22}{x}_2& & +\cdots +& & a_{2n}{x}_n& & =& & & 0\\ ⋮& & & & ⋮& & & & ⋮& & & & & ⋮\\ a_{m1}{x}_1& & +& & a_{m2}{x}_2& & +\cdots +& & a_{mn}{x}_n& & =& & & 0\text{.}\\ \end{array}$

Astfel, nucleul lui A este același ca și mulțimea soluțiilor ecuațiilor omogene de mai sus.

Proprietățile subspațiului

Nucleul unei matrice Format:Nowrap A peste un corp K este un Format:Ill-wd al lui Kⁿ. Cu alte cuvinte, nucleul lui A, mulțimea ker(A), are următoarele trei proprietăți:

1. Ker(A) conține întotdeauna vectorul zero, deoarece Format:Nowrap.
2. Dacă Format:Nowrap și Format:Nowrap, atunci Format:Nowrap. Acest lucru rezultă din distributivitatea înmulțirii matricilor în raport cu adunarea.
3. Dacă Format:Nowrap și c este un scalar Format:Nowrap, atunci Format:Nowrap, deoarece Format:Nowrap.

Spațiul rândurilor unei matrice

Produsul Ax poate fi scris în termeni de produs scalar al vectorilor după cum urmează:

$A𝐱=\left[\begin{array}{c}{𝐚}_1\cdot 𝐱\\ {𝐚}_2\cdot 𝐱\\ ⋮\\ {𝐚}_m\cdot 𝐱\end{array}\right].$

Aici, cu a₁, ... , a_m se notează transpusele rândurilor matricei A. Rezultă că x este în nucleul lui A dacă și numai dacă x este ortogonal pe fiecare vector-rând al lui A (pentru că atunci când produsul scalar a doi vectori este egal cu zero, ei sunt, prin definiție, ortogonali).

Format:Ill-wd unei matrice A este Format:Ill-wd de vectoriu rând din A. Prin raționamentul de mai sus, nucleul lui A este complement ortogonal al spațiului rândurilor. Cu alte cuvinte, un vector x se află în nucleul lui A dacă și numai dacă este ortogonal pe orice vector din spațiul rândurilor lui A.

Dimensiunea spațiului rândurilor lui A se numește rang al lui A, și dimensiunea nucleului lui A se numește defectul lui A. Aceste cantități sunt legate de Format:Ill-wd

$\mathrm{rank}(A)+\mathrm{nullity}(A)=n.$

Format:Ill-wd

Nucleul la stânga, sau conucleul unei matrice A este format din toți vectorii x , astfel încât x^TA = 0^T, unde cu T la exponent se notează transpusa unui vector coloană. Nucleul la stânga al lui A este nucleul lui A^T. Nucleul la stânga al lui A este complementul ortogonal al Format:Ill-wd lui A, și este dual cu Format:Ill-wd asociată aplicației liniare. Nucleul, spațiul rândurilor, spațiul coloanelor, și nucleul la stânga ale lui A sunt cele Format:Ill-wd asociate matricei A.

Sisteme de ecuatii liniare neomogene

Nucleul joacă un rol și în soluțiile unui sistem de ecuații liniare neomogene:

$A𝐱=𝐛\text{or}\begin{array}{cccccccccccccc}{a}_{11}{x}_1& & +& & a_{12}{x}_2& & +\cdots +& & a_{1n}{x}_n& & =& & & b_1\\ a_{21}{x}_1& & +& & a_{22}{x}_2& & +\cdots +& & a_{2n}{x}_n& & =& & & b_2\\ ⋮& & & & ⋮& & & & ⋮& & & & & ⋮\\ a_{m1}{x}_1& & +& & a_{m2}{x}_2& & +\cdots +& & a_{mn}{x}_n& & =& & & b_m\\ \end{array}$

Dacă u și v sunt două posibile soluții pentru ecuația de mai sus, atunci

$A(𝐮-𝐯)=A𝐮-A𝐯=𝐛-𝐛=\mathrm{𝟎}$

Astfel, diferența dintre oricare două soluții pentru ecuația Ax = b se află în nucleul lui A.

Rezultă că orice soluție a ecuației Ax = b poate fi exprimată ca sumă între o soluție fixă v și un element arbitrar din nucleu. Cu alte cuvinte, mulțimea soluțiilor ecuației Ax = b este

$\{𝐯+𝐱|A𝐯=𝐛\wedge 𝐱\in \mathrm{Null}(A)\},$

Din punct de vedere geometric, aceasta spune că soluția pentru Ax = b este o translație a nucleului lui A prin vectorul v. 

Ilustrare

Vom da aici un exemplu simplu de calcul al nucleului unei matrice (a se vedea secțiunea Baze de mai jos pentru metode mai potrivite pentru calcule mai complexe). Exemplul atinge și noțiunea de spațiu al rândurilor și relația acesteia cu nucleul.

Fie matricea

$A=\left[\begin{array}{ccc}2& 3& 5\\ -4& 2& 3\end{array}\right].$

Nucleul acestei matrice este format din toți vectorii (x, y, z) ∈ R³ pentru care

$\left[\begin{array}{ccc}2& 3& 5\\ -4& 2& 3\end{array}\right]\left[\begin{array}{c}x\\ y\\ z\end{array}\right]=\left[\begin{array}{c}0\\ 0\end{array}\right],$

ceea ce se poate exprima ca un sistem de ecuații liniare omogen în x, y, și z:

$\begin{array}{cc}2x+3y+5z& =0,\\ -4x+2y+3z& =0.\end{array}$

Aceleași ecuații liniare pot fi scrise în formă de matrice ca:

$\left[\begin{array}{cccc}2& 3& 5& 0\\ -4& 2& 3& 0\end{array}\right].$

Prin eliminare Gauss–Jordan, se reduce la:

$\left[\begin{array}{cccc}1& 0& 1/16& 0\\ 0& 1& 13/8& 0\end{array}\right].$

Rescriind matricea sub formă de ecuații, rezultă:

$\begin{array}{cc}x& =-\frac{1}{16}z\\ y& =-\frac{13}{8}z.\end{array}$

Elementele nucleului pot fi mai departe exprimate sub formă parametrică după cum urmează:

$\left[\begin{array}{c}x\\ y\\ z\end{array}\right]=c\left[\begin{array}{c}-1/16\\ -13/8\\ 1\end{array}\right](\text{where }c\in ℝ)$

pentru un c scalar.

Deoarece c este o Format:Ill-wd, acest lucru poate fi exprimat la fel de bine ca:

$\left[\begin{array}{c}x\\ y\\ z\end{array}\right]=c\left[\begin{array}{c}-1\\ -26\\ 16\end{array}\right].$

Nucleul lui A este soluția acestor ecuații (în acest caz, o dreaptă prin originea lui R³); vectorul (-1,-26,16)^T constituie o bază a nucleului lui A. Astfel, defectul lui A este 1.

Se observă  și că următoarele produse scalare sunt zero:

$\left[\begin{array}{ccc}2& 3& 5\end{array}\right]\left[\begin{array}{c}-1\\ -26\\ 16\end{array}\right]=0\mathrm{a}\mathrm{n}\mathrm{d}\left[\begin{array}{ccc}-4& 2& 3\end{array}\right]\left[\begin{array}{c}-1\\ -26\\ 16\end{array}\right]=0,$

ceea ce ilustrează faptul că vectorii din nucleul lui A sunt ortogonali pe fiecare vector-rând al lui A.

Acești doi vectori-rând (liniar independenți) generează spațiul rândurilor lui A, un plan ortogonal pe vectorul (-1,-26,16)^T.

Cum rangul lui A este 2, defectul lui A este 1, și dimensiunea lui A 3, avem o ilustrare a teoremei rangului.

Exemple

• Dacă L: R^m → Rⁿ, atunci nucleul lui L este mulțimea soluțiilor unui sistem de ecuații liniare omogen. La fel ca în ilustrația de mai sus, dacă L este aplicația:

$L(x_1,x_2,x_3)=(2x_1+3x_2+5x_3,-4x_1+2x_2+3x_3)$

atunci nucleul lui L este mulțimea soluțiilor ecuațiilor

$\begin{array}{ccccccc}2x_1& +& 3x_2& +& 5x_3& =& 0\\ -4x_1& +& 2x_2& +& 3x_3& =& 0\end{array}$

• Fie C[0,1] spațiul vectorial al tuturor funcțiilor continue cu valori reale definite pe intervalul [0,1], fie L: C[0,1] → R definit prin regula:

$L(f)=f(0.3)\text{.}$

Atunci nucleul lui L constă din toate funcțiile f ∈ C[0,1] pentru care f(0.3) = 0.

• Fie C^∞(R) spațiul vectorial al tuturor funcțiilor indefinit derivabile: R → R, și fie D: C^∞(R) → C^∞(R) Format:Ill-wd:

$D(f)=\frac{df}{dx}\text{.}$

Atunci, nucleul lui D este format din toate funcțiile din C^∞(R), care au derivata zero, adică mulțimea tuturor funcțiilor constante.

• Fie R^∞ Format:Ill-wd al unui număr infinit de copii ale lui R, și fie s: R^∞ → R^∞ Format:Ill-wd

$s(x_1,x_2,x_3,x_4,\dots )=(x_2,x_3,x_4,\dots )\text{.}$

Atunci nucleul lui s este subspațiu unidimensional format din toți vectorii (x₁, 0, 0, ...).

• Dacă V este un produs scalar și W este un subspațiu, nucleul Format:Ill-wd V → W este complementul ortogonal al lui W în V.

Calcul prin eliminare Gauss

O bază a nucleului unei matrice poate fi calculată prin Format:Ill-wd.

În acest scop, dată fiind o matrice m × n A, se construiește mai întâi matricea $\left[\begin{array}{c}A\\ I\end{array}\right],$ unde IFormat:Math este matricea unitate n × n.

Calculând Format:Ill-wd prin eliminare Gauss (sau orice altă metodă adecvată), se obține o matrice $\left[\begin{array}{c}B\\ C\end{array}\right].$ O bază a nucleului lui A constă în coloanele nenule ale lui C astfel încât coloana corespunzătoare din B este o coloană nulă.

În fapt, calculul poate fi oprit de îndată ce partea superioară este matricea în forma eșalon pe coloană: restul calculului constă în schimbarea bazei spațiului vectorial generat de coloanele a căror parte superioară este zero.

De exemplu, să presupunem că

$A=\left[\begin{array}{cccccc}1& 0& -3& 0& 2& -8\\ 0& 1& 5& 0& -1& 4\\ 0& 0& 0& 1& 7& -9\\ 0& 0& 0& 0& 0& 0\end{array}\right].$

Atunci

$\left[\begin{array}{c}A\\ I\end{array}\right]=\left[\begin{array}{cccccc}1& 0& -3& 0& 2& -8\\ 0& 1& 5& 0& -1& 4\\ 0& 0& 0& 1& 7& -9\\ 0& 0& 0& 0& 0& 0\\ 1& 0& 0& 0& 0& 0\\ 0& 1& 0& 0& 0& 0\\ 0& 0& 1& 0& 0& 0\\ 0& 0& 0& 1& 0& 0\\ 0& 0& 0& 0& 1& 0\\ 0& 0& 0& 0& 0& 1\end{array}\right].$

Aducând partea de sus în forma eșalon pe coloane prin operațiuni cu coloanele pe întreaga matrice rezultă

$\left[\begin{array}{c}B\\ C\end{array}\right]=\left[\begin{array}{cccccc}1& 0& 0& 0& 0& 0\\ 0& 1& 0& 0& 0& 0\\ 0& 0& 1& 0& 0& 0\\ 0& 0& 0& 0& 0& 0\\ 1& 0& 0& 3& -2& 8\\ 0& 1& 0& -5& 1& -4\\ 0& 0& 0& 1& 0& 0\\ 0& 0& 1& 0& -7& 9\\ 0& 0& 0& 0& 1& 0\\ 0& 0& 0& 0& 0& 1\end{array}\right].$

Ultimele trei coloane din B sunt coloane nule. Prin urmare, în ultimii trei vectori de C,

$\left[\begin{array}{c}3\\ -5\\ 1\\ 0\\ 0\\ 0\end{array}\right],\left[\begin{array}{c}-2\\ 1\\ 0\\ -7\\ 1\\ 0\end{array}\right],\left[\begin{array}{c}8\\ -4\\ 0\\ 9\\ 0\\ 1\end{array}\right]$

sunt o bază a nucleului lui A.

Întrucât operațiile pe coloane corespund unei înmulțiri prealabile cu matrici inversabile, faptul că $\left[\begin{array}{c}A\\ I\end{array}\right]$ se reduce la $\left[\begin{array}{c}B\\ C\end{array}\right]$ ne spune că $AC=B$. Cu alte cuvinte, acțiunea lui $A$ via (coloanele lui) $C$ corespunde cu acțiunea lui $B$. Întrucât $B$ este în formă eșalon pe coloane, ea acționează trivial doar asupra elementelor bazei elementare ce corespund coloanelor nule din $B$. Întrucât acțiunea lui $B$ corespunde acțiunii lui $A$ prin coloanele lui $C$, coloanele corespunzătoare din $C$ trebuie să fie coloane nule pentru $A$, și trebuie să formeze baza nucleului lui $A$ conform teoremei rangului.

Calcul numeric

Problema de calcul pe calculator al nucleului depinde de natura coeficienților.

Coeficienții exacți

Dacă coeficienții matricei sunt numere date, Format:Ill-wd a matricei poate fi calculată prin Format:Ill-wd mai eficient decât prin eliminare gaussiană. Este chiar mai eficient să se utilizeze Format:Ill-wd, care reduce problema la una similară peste un corp finit.Format:Necesită citare

Pentru coeficienți într-un corp finit, eliminarea gaussiană funcționează bine, dar pentru matrice mari ca cele care apar in criptografie se cunosc algoritmi mai buni, care au aproximativ aceeași Format:Ill-wd, dar sunt mai rapide și se comportă mai bine pe hardware modern.Format:Necesită citare

Calculul în virgulă mobilă

Pentru matrice ale căror elemente sunt numere în virgulă mobilă, problema calculării nucleului are sens numai pentru matrice al căror număr de rânduri este egal cu rangul: din cauza Format:Ill-wd, o matrice cu elemente în virgulă mobilă are aproape întotdeauna rang complet, chiar și atunci când este o aproximare a unei matrice cu rang mult mai mic. Chiar și pentru o matrice cu rang complet, se poate calcula nucleul numai dacă este Format:Ill-wd, adică are un număr de condiționare mic.

Chiar și pentru o matrice cu rang complet bine condiționată, eliminarea gaussiană nu se comportă corect: introduce erori de rotunjire care sunt prea mari pentru a obține un rezultat semnificativ. Întrucât calculul nucleului unei matrice este un caz particular de rezolvare a unui sistem omogen de ecuații liniare, nucleul poate fi calculat de către oricare dintre diverșii algoritmi concepuți pentru a rezolva sisteme omogene. Un software de ultimă generație pentru acest scop este biblioteca Format:Ill-wd.Format:Necesită citare

Referințe

• Format:Citation
• Format:Citation
• Format:Citation
• Format:Citation
• Format:Citation
• Format:Citation
• Format:Citat carte
• Format:Citation

Legături externe

• Format:En icon Format:Springer
• Format:En icon Gilbert Strang, Cursul de algebră liniară de la MIT despre cele patru subspații fundamentale la Google Video, de la MIT OpenCourseWare
• Format:En icon Academia Khan, Introducere în Spațiul Nul al unei Matrice