Хочу разобраться как устроена гладкая структура у грассманиана (вещественного).
Картирующие отображения имеют вид:
, где A - минор k-го порядка некой матрицы
, строки которой характеризуют векторы, на которые натянуто подпространство,
- как я понимаю оставшиеся элементы после выделения минора.
По определению карты, необходимо чтобы образ этого отображения был открыт в
. Вопрос, как доказать открытость?
Биективность отображения понятна при рассмотрении того по каким соображениям мы взяли именно такое отображение.
Далее, как доказать согласованность карт? Не совсем понятно, что отображать в R при пересечении карт (то есть пересечение лин. подпространств? получится другое под-во, его чтоли отображать). И опять же встанет вопрос об открытости образа такого отображения. Также непонятно, что будет отображениями перехода и как показать гладкость этого отображения.