Привет!
Спасибо за исправления, я все добавил.

> Задача 8.1 Появляется термин
> автоморфизм. Вроде раньше были только
> эндоморфизмы (разбавленные операторами

Нет, в 1-м листке и 3-м были автоморфизмы.

> Задача 8.9. Для естественной топологии
> нужна конечномерность. Оба утверждения
> задачи неверны. Контрпример для
> плотности: в окрестности поворота R^2 на
> \pi/2 нет диагонализуемых. Контрпример
> для открытости: в любой окрестности
> нулевого оператора есть
> недиагонализуемые.

Я хотел спросить про
полупростые операторы. Правильно так

"Пусть $V$ -- конечномерное векторное пространство над $\C$.
Рассмотрим множество всех линейных операторов над $V$ как
векторное пространство с естественной топологией
на нем. Докажите, что диагонализуемые операторы
плотны в $\End V$. Докажите, что недиагонализуемые
операторы нигде не плотны. "

> Надо,
> наверное, перед задачей 8.13 потребовать
> что-то вроде "определите естественный
> естественный изоморфизм между End V и VxV*",
> где x -- тензорное произведение.

Да! Спасибо. Я был уверен, что оно уже было.
В любом случае, в алгебру-5 надо тоже добавить.

> Задача 8.17. Практически совпадает с
> задачей 8.8. Или это так и задумано?

Нет! Спасибо.

> Задача 8.21. Вроде ортонормированный
> базис определяется только для
> положительно определенной формы? Здесь
> (с невырожденной формой) непонятно, что
> пож этим термином имеется в виду.

Она будет а постериори положительно определенная
(если над \R). Я добавил это определение еще раз,
да.

Такие дела
Миша

> В любом случае, в алгебру-5 надо тоже добавить.

Только перед этим надо не забыть вставить определение естественности, а то сейчас оно только в одной из последних геометрий появляется.

> Она будет а постериори положительно определенная
> (если над \R).

??? Как это? Например, x_{1}y_{1}-x_{2}y_{2} -- билинейная симметрическая невырожденная (как в задаче), но не положительно определенная.

>Как это? Например, x_{1}y_{1}-x_{2}y_{2} --
>билинейная симметрическая невырожденная (как в
>задаче), но не положительно определенная.

Там же задано, что существует ортонормальный базис

Такие дела
Миша

:-)))
Я же как раз и говорила, что при чтении возникает вопрос: "что такое ортонормированный базис для _произвольной_ невырожденной формы". То есть надо не определение ортонормированного базиса напоминать, а в описании формы слово "невырожденная" заменить на "положительно определенная".

Положительно определенная бывает только над \R.
Глупо говорить о положительно определенных формах над F_p
например

Такие дела
Миша

А, так там над произвольным полем... Я об этом как-то не подумала. Тогда вопрос снимается.

Все-таки, мне кажется, лучше написать как-то так: "Дана ... форма g такая, что существует ортонормированный базис..."