צירוף לינארי

באלגברה לינארית, צירוף לינארי הוא סכום של מספר סופי של וקטורים שכל אחד מהם מוכפל בסקלר. בגלל סגירותו של המרחב הווקטורי ביחס לחיבור וכפל בסקלר, הצירוף הלינארי אף הוא וקטור השייך לאותו מרחב וקטורי. בהינתן קבוצה מתאימה של וקטורים - קבוצה פורשת - ניתן לכתוב כל וקטור במרחב כצירוף לינארי של איברים מתוך הקבוצה.

מבחינה פורמלית, צירוף לינארי מוגדר כך. בהינתן סדרה ${\displaystyle \,v_{1},v_{2},...,v_{k}}$ של וקטורים במרחב, וסדרה ${\displaystyle \,\alpha _{1},\alpha _{2},...,\alpha _{k}}$ של סקלרים, נקרא לביטוי

${\displaystyle \,\alpha _{1}v_{1}+\alpha _{2}v_{2}+...+\alpha _{k}v_{k}}$

צירוף לינארי של הווקטורים. בקיצור ניתן לכתוב ${\displaystyle \sum _{i=1}^{k}\alpha _{i}v_{i}}$

קבוצה תיקרא תלויה לינארית אם קיים בה וקטור שהוא צירוף לינארי של וקטורים אחרים מהקבוצה. או באופן שקול, קבוצה היא תלויה לינארית אם קיים צירוף לינארי לא טריוויאלי של איבריה (לא כל הסקלרים אפס) ששווה לווקטור האפס.

בהתאם לכך וקטור האפס יהיה תמיד צירוף לינארי של כל קבוצת וקטורים, וכשהוא יינתן בתוך קבוצה אזי הקבוצה תהיה תלויה לינארית.