אלגברה לינארית/סדרה סופית

הגדרה 1: סדרה סופית (רשומה) יהי $V$ מ"ו . סדרה סופית של וקטורים מ-$V$ היא סדרה מהצורה:$\left(v_{1},..,v_{n}\right)$ כך ש $v_{i}\in V$ לכל $1\leq i\leq n$.

הגדרה 2: קבוצה פורשת של סדרה סופית \spn של סדרה $span\left(v_{1},..,v_{n}\right)=\left\{c_{1}v_{1},..,c_{n}v_{n}\mid c_{i}\in \mathbb {F} \right\}$

הגדרה 2: סדרה תלויה של סדרה סופית $\left(v_{1},..,v_{n}\right)$ נקראת ת"ל כאשר קיים $1\leq i\leq n$ כך ש $v_{i}\in span\left(v_{1},..,v_{i-1},v_{i+1},..,v_{n}\right)$ [להבדיל מקבוצה, בסדרה, יכול להיות אותו ווקטור פעמים. לכן כאשר נוציא את הווקטור הוא יכול עדין להיות ברשימה]