Diff for ''

Deletions are marked like this.	Additions are marked like this.
Line 1:	Line 1:
#REDIRECT [[Konstrukce překladačů (SWI002)]]	# dim(S(A))=dim(R(A)) <{ForumPost(poster="ghost", timestamp=2009-02-16 11:55:32)}> ahoj, myslite ze byste sem mohl nekdo napsat tenhle dukaz? nezda se mi uplne trivialni, ve vsech poznamkach co mam je tam preskoceny nejaky krok, budu vam vdecny :) <{/ForumPost}> <{ForumPost(poster="geckon", timestamp=2009-02-16 14:01:28)}> Čau,    pokud víš, jak dokázat, že bázi R(A) tvoří prvních r řádků RREF(A) a že bázi S(A) tvoří bázické sloupce A, tak z toho vyplývá, že velikost obou bází je r (hodnost A). Stačí takto? <{/ForumPost}> <{ForumPost(poster="sZtorkie", timestamp=2009-02-16 17:20:28)}> Dukaz ma nekolik casti, zkusim nejak jednoduse shrnout, o co tam jde (kdyztak me opravte): 1) prevest matici A do odstupnovaneho tvaru A' 2) dim S(A) = dim S(A'): - A' = RA - vezmeme vektory *w'* z S(A') a *w* z S(A); ukazeme, ze *w'* = R*w* (par kroku) - vyjadrime w vuci nejake bazi S(A) (v1,...,vd) - suma pujde od 1 do d = dim S(A); ukazeme, ze kdyz w' = Rw, tak po rozepsani w jde dat R do sumy a vyjde nam system generatoru S(A') (v'1,...,v'd) - tato suma jde taky od 1 do d, z cehoz plyne, ze dim S(A') <= dim S(A) - to same bychom meli ukazat i opacne, aby byla videt rovnost (v podstate pouze preznaceni carek) - protoze A = R^(-1)*A' 3) dim S(A') = dim R(A'): - obrazkem - sloupce s pivoty tvori bazi S(A'), nenulove radky bazi R(A'); libovolny vektor z S(A') dokazu prepsat jako linearni kombinaci podle pivotu 4) dim R(A) = dim R(A'): - elementarni operace nemeni R() -> staci najit A' v odst. tvaru; nenulove radky v ni tvori bazi R(A') a je jich presne rank(A) (z definice hodnosti + pozorovani u dukazu, ze ekvivalentni upravy nemeni mnozinu reseni)    takze dim S(A) = dim S(A') = dim R(A') = dim R(A) = rank (A) <{/ForumPost}>