Изоморфизм

Date: 2015-10-07; view: 417.

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

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

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

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

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

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