Maksymalny liniowo niezależny układ skończony
Szablon:Integracja 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)[1].
Dołączenie jakiegokolwiek wektora do maksymalnego liniowo niezależnego układu skończonego spowoduje, że układ stanie się liniowo zależny[2].
Maksymalny liniowo niezależny układ skończony przestrzeni wektorowej stanowi bazę tej przestrzeni[3].
Przypisy
- ↑ Bolesław Gleichgewicht, Algebra, Oficyna Wydawnicza GiS, Wrocław 2004, Szablon:ISBN, s. 93–94, Definicja 6.8.
- ↑ Bolesław Gleichgewicht, Algebra, Oficyna Wydawnicza GiS, Wrocław 2004, Szablon:ISBN; s. 94.
- ↑ Bolesław Gleichgewicht, Algebra, Oficyna Wydawnicza GiS, Wrocław 2004, Szablon:ISBN, s. 94, Twierdzenie 6.13.