Клячко

Осногвная лемма о линейной зависимости. Линейная оболочка. Подпространства (эквивалентность общего определения и конкретных свойств оставил в качестве важного упражнения). Линейная оболочка. Ранг и базис множества векторов. Размерность (под)пространства. Равенство ${\rm rk} X=\dim\langle X\rangle$. Примеры.

Критерии совместности и определённости в терминах ступенчатого вида. Векторные пространства (над полем вещественных чисел). Примеры. Следствия из аксиом (некоторые оставил в качестве упражнения). Линейная зависимость. Эквивалентность л.з. и выразимости одного вектора через остальные. (Основной леммы пока не было.)

Содержание курса (про учебники забыл сказать). Эквивалентные СЛУ. Что значит, решить СЛУ (главные и свободные неизвестные). Метод Гаусса. Каждую матрицу можно привести к улучшенному ступенчатому виду элементарными преобразованиями строк. Упражнение со звёздочкой: Совместные СЛУ эквивалентны тогда и только тогда, когда их расширенные матрицы можно превратить друг в друга элементарными преобразованиями строк. (А то, что для несовместных такое неверно, поняли.)