הגדרה: וקטורים נקראים '''בלתי תלויים לינארית''' (בת"ל) אם הם אינם תלויים לינארית.
הגדרה: קבוצה A נקראת תלוייה לינארית אם קיימת בתוכה קבוצה סופית כלשהי של וקטורים, כך שוקטוריה תלויים לינארית לפי ההגדרה לעיל. [לא נתעסק בקורס זה בקבוצת אינסופיות בת"ל, אבל אתם יותר ממוזמנים לנסות לחשוב על מרחב וקטורי בעל קבוצה אינסופית בת"ל של וקטורים.]
משפט: וקטורים <math>v_1,...,v_n</math> בת"ל אם"ם הצירוף הלינארי היחיד שלהם שמתאפס הוא הצירוף הלינארי הטריוויאלי (כלומר, כל הסקלרים אפסים). זה נובע בקלות בעזרת שלילה לוגית.
===משפט===
<math>v_1,...,v_n</math> ת"ל אם"ם אחד מהוקטורים הינו צירוף לינארי של האחרים
====הוכחה====
הוקטורים ת"ל אם"ם קיימים סקלרים כך ש <math>a_1v_1+...+a_nv_n=0</math>, ואחד לפחות מבין הסקלרים שווה אפס. נניח '''ב.ה.כ.''' (בלי הגבלת הכלליות) ש <math>a_1\neq 0</math>. לכן <math>v_1=-\frac{a_2v_2+...+a_nv_n}{a_1}</math> ולכן <math>v_1=\frac{-a_2}{a_1}v_2+...+\frac{-a_n}{a_1}v_n</math>. הכיוון ההפוך עובד גם הוא (נעביר אגף ונקבל צירוף לינארי לא טריוויאלי שמתאפס שכן המקדם של <math>v_1</math> הינו אחד ולכן שונה מאפס).
שימו לב שיצא לנו שהוקטור הראשון תמיד צ"ל של האחרים, כמובן שזה לא נכון. זה נובע רק מטיעון ב.ה.כ שלנו, קל למצוא דוגמאות בהן הוקטור הראשון אינו צ"ל של האחרים.
ממשפט זה קל לנו לראות שהצלחנו בהגדרה שלנו לתלות. שכן אם <math>v_1</math> הינו צירוף לינארי של האחרים ניתן להסיר אותו במובן הבא: <math>span\{v_1,...,v_n\}=span\{v_2,...,v_n\}</math>.