Изоморфизм

Пусть - два аффинных пространства, ассоциированные с одним и тем же векторным пространством .

Опр. Биективное отображение называется изоморфизмом, если . Это частный случай аффинно-линейного отображения, а именно:

Опр. Отображение (где ассоциированно с , а - с ) называется аффинно-линейным, если существует линейное отображение такое, что . Иногда Df называют линейной частью, или дифференциалом для f.

Утверждение. f – биективно Df биективно.

Теорема. Аффинные пространства одинаковой размерности изоморфны.

Пусть и - два аффинных пространства одинаковой размерности. Построим изоморфизм . Зафиксируем . Положим для . Проверим определение. Пусть - произвольная точка, - произвольный вектор. . Поэтому . Итак f – искомыйизоморфизм.

Дата добавления: 2015-07-21