Лекция 14. Полные многообразия. Полнота проективных многообразий
- 00:15Пример неотделимого многообразия
- 04:27Упражнения (критерий отделимости и пересечение открытых аффинных подмногообразий в отделимом многообразии)
- 06:51Предложение (свойства морфизмов отделимых многообразий)
- 18:34Полные алгебраические многообразия
- 21:21Свойства полных многообразий
- 35:17Предложение (образ морфизма из полного многообразия в аффинное конечен)
- 41:01Следствие (полные аффинные многообразия - это конечный набор точек)
- 41:49Теорема (проективные многообразия полны). Первый пункт доказательства теоремы
- 43:48Второй пункт доказательства теоремы: раздутие точки в проективном пространстве
- 01:10:18Третий пункт доказательства теоремы: доказательство по индукции полноты проективного пространства
- 01:18:32Четвертый пункт доказательства теоремы: база индукции
- 01:26:05Лемма, завершающая доказательство теоремы
