ترکیبهای خطی
ما هرگاه باشد، خواهیم گفت که یک ترکیب خطی از است؛ ما بدون هیچ توضیح بیشتری، تمام پیامدهای دستوری سادهی این اصطلاح را به کار خواهیم برد. بنابراین، در صورتی که یک ترکیب خطی از باشد، خواهیم گفت که به طور خطی به وابسته است؛ ما اثبات این مطلب را به خواننده واگذار میکنیم که اگر به طور خطی مستقل باشد، آنگاه شرط لازم و کافی برای اینکه یک ترکیب خطی از باشد این است که مجموعه بزرگتر شده، که از الحاق به به دست میآید، به طور خطی وابسته باشد. توجه داشته باشید که طبق تعریف مجموع تهی، مبدأ یک ترکیب خطی از مجموعه تهی از بردارها است؛ علاوه بر این، مبدأ تنها برداری است که این ویژگی را دارد.
قضیه زیر نتیجه اساسی در مورد وابستگی خطی است.
قضیه ۱. مجموعه بردارهای غیرصفر به طور خطی وابسته است اگر و تنها اگر برخی ، ، یک ترکیب خطی از بردارهای قبلی باشد.
اثبات. فرض کنیم بردارهای به طور خطی وابسته باشند، و فرض کنیم اولین عدد صحیحی بین و باشد که برای آن به طور خطی وابسته هستند. (در بدترین حالت، فرض ما به ما اطمینان میدهد که کارساز خواهد بود.) آنگاه برای مجموعه مناسبی از ها (که همگی صفر نیستند)؛ علاوه بر این، ها هر چه که باشند، نمیتوانیم داشته باشیم ، زیرا در این صورت باید یک رابطه وابستگی خطی میان داشته باشیم که با تعریف در تناقض است. بنابراین همانطور که باید اثبات میشد. این امر ضرورت شرط ما را اثبات میکند؛ کفایت آن واضح است زیرا همانطور که قبلاً اشاره کردیم، هر مجموعهای که شامل یک مجموعه وابسته خطی باشد، خود نیز چنین است. ◻