То, что у вас называлось "теоремой Штейница", в том или ином виде есть во всех учебниках, но может быть переформулировано в других утверждениях (из которых моментально следует оригинальная формулировка). Например, в
Ильин, Позняк. Линейная алгебра.это теоремы § 2.2 подпункта 3 Размерность линейного пространства.
В других местах она же может называться не совсем так. Например, в
Кострикин. Введение в алгебру. Часть 2. Линейная алгебра.§ 1.2 подпункт 2 Размерность линейного пространства и его базис,
сформулирована теорема 3, часть (ii) которой названа
принципом Стейница о замене.
-- 12.11.2018 16:47:51 --там, как раз, частный случай доказательства (в поле Z2 не работает, как нам показали)
Это единственное поле, в котором не работает. (Точнее, поле характеристики 2.) Вам надо отдельное доказательство для этого случая? Это уже обычно продвинутые учебники, в базовых не пускаются в такие тонкости. Я не буду искать, оставлю более опытным людям.
Неужели к курсу нет учебника
Извините, нет.
Обычно лектор даёт в начале курса
рекомендуемую литературу. Вот она и является наиболее близкой к тому, что он читает.
Если лекции лектора не совпадают с тем чтивом, которое он рекомендовал, то скорее всего, это его собственное построение курса, и никакой учебник вам буквально не подойдёт. Придётся искать по многим. Ещё бывают конспекты конкретно этого лектора (студенческие или отредактированные самим лектором), но они могут быть "конспективнее" самих лекций (а могут быть и подробнее).
-- 12.11.2018 16:51:07 --Вам надо отдельное доказательство для этого случая?
Кстати, это полезное упражнение на самостоятельное выполнение.