Kronecker-Capellijev teorem

Teorem 7   (Kronecker-Capelli). Sustav linearnih algebarskih jednadžbi ima bar jedno rješenje, ako i samo ako je rang matrice sustava jednak rangu proširene matrice sustava.
<#11450#>Dokaz. Sustav
#math576#
#tex2html_wrap_indisplay29180# #tex2html_wrap_indisplay29182# #tex2html_wrap_indisplay29184#  
#tex2html_wrap_indisplay29186# #tex2html_wrap_indisplay29188# #tex2html_wrap_indisplay29190#  
#tex2html_wrap_indisplay29192#      
#tex2html_wrap_indisplay29194# #tex2html_wrap_indisplay29196# #tex2html_wrap_indisplay29198#  

možemo shvatiti kao jednakost dva vektorstupca #math577#

#tex2html_wrap_indisplay29200#

što se može napisati i ovako #math578#

#tex2html_wrap_indisplay29202#

Na ovaj način zapisani sustav pokazuje da postoji rješenje sustava, ako i samo ako se desna strana može prikazati kao linearna kombinacija stupaca matrice sustava. U tom slučaju je desna strana linearno zavisna od stupaca matrice sustava, tj. rang proširene matrice sustava jednak je rangu matrice sustava. Iz ovog zapisa se vidi da je svaka uređena #tex2html_wrap_inline29204#-torka koeficijenata linearne kombinacije koja daje desnu stranu rješenje sustava. #math579##tex2html_wrap_inline29206#<#11450#>

Iz zapisa sustava kao u dokazu teorema se vidi još nešto. Ako sustav ima rješenja i ako su stupci matrice sustava #tex2html_wrap_inline29208# linearno nezavisni, onda se desna strana može napisati kao linearna kombinacija stupaca matrice #tex2html_wrap_inline29210# i to na jedinstven način (dokaz jedinstvenosti kao kod dokaza jedinstvenosti prikaza vektora u bazi: teorem #tm:jedinstvprik#1840>). U tom slučaju koeficijenti linearne kombinacije čine rješenje i to jedinstveno.

Primjer 1.17   Neka je dan sustav
#math580#
#tex2html_wrap_indisplay29214# #tex2html_wrap_indisplay29216# #tex2html_wrap_indisplay29218#  
#tex2html_wrap_indisplay29220# #tex2html_wrap_indisplay29222# #tex2html_wrap_indisplay29224#  
#tex2html_wrap_indisplay29226# #tex2html_wrap_indisplay29228# #tex2html_wrap_indisplay29230#  

Stupci matrice sustava su vektori #math581#

#tex2html_wrap_indisplay29232#

Oni su linearno nezavisni, ima ih tri, i kako su duljine tri, prema teoremu #tm:osnlm#1856> oni čine bazu u vektorskom prostoru radijvektora u prostoru. Prema tome (v. teorem #tm:jedinstvprik#1857>), vektor desne strane #math582#

#tex2html_wrap_indisplay29234#

se može na jedinstven način prikazati kao linearna kombinacija vektora #math583##tex2html_wrap_inline29236# Rješenje sustava je uređena trojka koeficijenata linearne kombinacije. Kako je #math584#

#tex2html_wrap_indisplay29238#

rješenje sustava je #math585##tex2html_wrap_inline29240#

Ako desna strana linearno zavisi od stupaca matrice sustava, i ako su stupci matrice #tex2html_wrap_inline29242# linearno zavisni, onda se desna strana može na više načina prikazati kao linearna kombinacija stupaca matrice. U tom slučaju postoje brojevi #math586##tex2html_wrap_inline29244# od kojih je bar jedan različit od nule, tako da je #math587#

#tex2html_wrap_indisplay29246#

pa je
#math588#
#tex2html_wrap_indisplay29249# #tex2html_wrap_indisplay29251# #tex2html_wrap_indisplay29253#  
  #tex2html_wrap_indisplay29255# #tex2html_wrap_indisplay29257#  

Tako imamo više rješenja.

Primjer 1.18   Neka je dan sustav
#math589#
#tex2html_wrap_indisplay29261# #tex2html_wrap_indisplay29263# #tex2html_wrap_indisplay29265#  
#tex2html_wrap_indisplay29267# #tex2html_wrap_indisplay29269# #tex2html_wrap_indisplay29271#  
#tex2html_wrap_indisplay29273# #tex2html_wrap_indisplay29275# #tex2html_wrap_indisplay29277#  

Stupci matrice sustava su linearno zavisni. Ipak njihova linearna kombinacija s koeficijentima #tex2html_wrap_inline29279# daje desnu stranu. Međutim to nije jedina linearna kombinacija koja daje desnu stranu. Desnu stranu daju također linearne kombinacije s koeficijentima #math590##tex2html_wrap_inline29281# za bilo koji #tex2html_wrap_inline29283# što se lako može provjeriti.

Konačno, ako desna strana nije linearno zavisna od stupaca matrice, onda ne postoji linearna kombinacija stupaca matrice #tex2html_wrap_inline29285# koja bi dala desnu stranu, pa je sustav nekonzistentan.

Primjer 1.19   Neka je dan sustav
#math591#
#tex2html_wrap_indisplay29289# #tex2html_wrap_indisplay29291# #tex2html_wrap_indisplay29293#  
#tex2html_wrap_indisplay29295# #tex2html_wrap_indisplay29297# #tex2html_wrap_indisplay29299#  
#tex2html_wrap_indisplay29301# #tex2html_wrap_indisplay29303# #tex2html_wrap_indisplay29305#  

Stupci matrice sustava su linearno zavisni. Na pr. treći stupac je linearna kombinacija prva dva s koeficijentima #math592##tex2html_wrap_inline29307# Prema tome skup svih vektora koji su linearne kombinacije sva tri stupca matrice sustava (vektorski prostor razapet sa stupcima matrice) se podudara sa skupom svih vektora koji su linearne kombinacije samo prva dva stupca matrice sustava (vektorski prostor razapet s prva dva stupca). Ako vektorstupce identificiramo s radijvektorima, onda to znači da prva dva stupca (radijvektora) razapinju u prostoru ravninu (zapravo dvodimenzionalni vektorski prostor radijvektora, koji se nalaze u prostoru, ali leže u jednoj ravnini). Ne postoji takva linearna kombinacija prva dva stupca koja daje desnu stranu. To znači da pripadni radijvektor (desne strane) ne leži u ravnini razapetoj s radijvektorima prva dva stupca. Da bismo se u to uvjerili, nađimo jednadžbu ravnine razapete s prva dva stupca. Radijvektori mogu razapinjati samo ravnine kroz ishodište, pa je #tex2html_wrap_inline29309# točka kojom prolazi ravnina. Zatim, vektor normale je vektorski produkt vektora koji razapinju ravninu, dakle #math593#

#tex2html_wrap_indisplay29311#

Prema tome jednadžba ravnine je #math594#

#tex2html_wrap_indisplay29313#

Samo ona desna strana (koordinate točke u prostoru, vrh radijvektora u prostoru) koja zadovoljava ovu jednadžbu, jeste nekakva linearna kombinacija stupaca matrice sustava. Lako se vidi da desna strana u ovom primjeru ne zadovoljava jednadžbu ravnine, dok je desna strana iz primjera #pr:preth#1918> zadovoljava.