Maksymalny liniowo niezależny układ skończony
Wygląd
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
[edytuj | edytuj kod]- ↑ Bolesław Gleichgewicht, Algebra, Oficyna Wydawnicza GiS, Wrocław 2004, ISBN 978-83-89020-35-2, s. 93–94, Definicja 6.8.
- ↑ Bolesław Gleichgewicht, Algebra, Oficyna Wydawnicza GiS, Wrocław 2004, ISBN 978-83-89020-35-2; s. 94.
- ↑ Bolesław Gleichgewicht, Algebra, Oficyna Wydawnicza GiS, Wrocław 2004, ISBN 978-83-89020-35-2, s. 94, Twierdzenie 6.13.