Maksymalny liniowo niezależny układ skończony – skończony liniowo niezależny układ wektorów przestrzeni wektorowej niebędący podukładem żadnego skończonego liniowo niezależnego układu wektorów tej przestrzeni (oprócz siebie samego)Bolesław Gleichgewicht, Algebra, Oficyna Wydawnicza GiS, Wrocław 2004, , s. 93–94, Definicja 6.8..
Dołączenie jakiegokolwiek wektora do maksymalnego liniowo niezależnego układu skończonego spowoduje, że układ stanie się liniowo zależnyBolesław Gleichgewicht, Algebra, Oficyna Wydawnicza GiS, Wrocław 2004, ; s. 94..
Maksymalny liniowo niezależny układ skończony przestrzeni wektorowej stanowi bazę tej przestrzeniBolesław Gleichgewicht, Algebra, Oficyna Wydawnicza GiS, Wrocław 2004, , s. 94, Twierdzenie 6.13..
Przypisy
Kategoria:Wektory