Bog'liq chiziqli algebra ma'ruza matn 280220212040
бўлсин, яъни да чизиқли эркли бўлган тизим мавжуд бўлиб, ихтиёрий вектордан ташкил топган тизим чизиқли боғлик бўлсин. Изоморфизм чизиқли эрклиликни сақлагани учун векторлар чизиқли эркли бўлади ва ихтиёрий вектордан ташкил топган тизим чизиқли боғлиқ бўлади. Демак .
бўлсин, яъни 
да чизиқли эркли бўлган 
тизим мавжуд бўлиб, ихтиёрий 
вектордан ташкил топган тизим чизиқли боғлик бўлсин. Изоморфизм чизиқли эрклиликни сақлагани учун 
векторлар чизиқли эркли бўлади ва ихтиёрий 
.
