Для произвольных векторных пространств остаются в силе: формулировки и доказательства свойств и теорем § 5.1 о линейной зависимости и независимости систем (свойства теоремы и следствия 5.1.2—5.1.5); определения и теоремы § 5.1 об эквивалентных системах векторов и их доказательства (теоремы 5.1.6—5.1.8); теоремы и предложения (и их доказательства) из § 5.1 о базисе и ранге конечной системы векторов (теорема 5.1.9, теоремы и предложения 5.1.10 — 5.1.15).