В связи с понятием линейной зависимости существует много теорем, которые мы разделяем на основные и на следствия. Основные теоремы выводятся непосредственно из определения этого понятия. Такое положение дел оказывается полезным в связи с одной из последующих глав, посвященной понятию алгебраической зависимости, для которого имеют место те же самые основные теоремы и поэтому те же самые следствия.