Аффинные и проективные многообразия - Математика контрольная работа

Главная

Математика
Аффинные и проективные многообразия

Введение в алгебраическую геометрию. Определения аффинных многообразий: фиксированное алгебраически замкнутое поле; аффинное пространство, топология Зорисского на аффинной прямой; нётерово топологическое пространство. Понятия проективных многообразий.


посмотреть текст работы


скачать работу можно здесь


полная информация о работе


весь список подобных работ


Нужна помощь с учёбой? Наши эксперты готовы помочь!
Нажимая на кнопку, вы соглашаетесь с
политикой обработки персональных данных

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

Приложение: вспомогательные определения из алгебры
Данную работу можно назвать введением в алгебраическую геометрию.
Первая часть содержит определения аффинных многообразий и связанных с аффинными многообразиями понятий. Также приводится несколько примеров в виде задач и решения к этим задачам.
Вторая часть - о проективных многообразиях - строится по той же схеме, что и первая.
Все связанные определения из алгебры, необходимые для прочтения данной работы описаны в части приложение.
ППусть фиксированное алгебраически замкнутое поле. nмерным аффинным пространством над будем назвать множество наборов n элементов из поля ,обозначим это пространство . Элемент , где , будем называть точкой аффинного пространства , а все - координатами этой точки.
это множество нулей любого многочлена из . Более общим образом можно говорить о множестве нулей:
где произвольное подмножество многочленов из .
Теперь приведем несколько основных определений.
Аффинным (алгебраическим) множеством называется подмножество в ,если существует такое подмножество ,что .
Непустое подмножество топологического пространства называется неприводимым, если его нельзя представить в виде такого объединения: , где и - замкнутые, собственные подмножества в . Например, аффинная прямая неприводима, так как ее собственные замкнутые подмножества конечны, а как множество бесконечно.
Неприводимое замкнутое подмножество пространства называется аффинным алгебраическим многообразием( или просто аффинным многообразием). Открытое подмножество аффинного многообразия называется квазиаффинным многообразием.
Для любого подмножества определим его идеал в :
Пусть аффинное алгебраическое множество, соответствующий ему идеал. Факторкольцо
будем называть аффинным координатным кольцом множества . Заметим, что в случае когда аффинное многообразие, кольцо является целостным (не содержит делители нуля). Более того, является конечнопорожденной алгеброй.
Определим Топологию Зарисского на .В качестве открытых подмножеств выберем дополнения ко всевозможным алгебраическим множествам это действительно топология, так как пересечение двух открытых множеств и объединение любого семейства открытых множеств снова являются открытыми (1,гл.I,предложение 1.1).Кроме того, пустое множество и все пространство тоже являются открытыми множествами.
Например, выясним, как устроена топология Зорисского на аффинной прямой . Каждый идеал в кольце является главным, поэтому каждое алгебраическое множество - это множество нулей одного многочлена, так как поле алгебраически замкнуто, то всякий ненулевой многочлен может быть записан в виде
В таком случае, . Таким образом, алгебраические множества в - это всевозможные конечные подмножества (включая пустое множество) и вся прямая, соответствующая нулевому многочлену . Следовательно, открытыми множествами в являются пустое множество и дополнения к конечным подмножествам.
Топологическое пространство называется нётеровым, если для его замкнутых подмножеств выполняется условие обрыва возрастающих цепочек: для любой последовательности замкнутых подмножеств в ,существует такое целое число s, что .
Для возможности продвижения дальше, а точнее для перехода к проективным пространствам, необходимо разобрать несколько примеров.
Пример 1.1 Докажем, что пространство нётерово. Если убывающая цепочка замкнутых подмножеств, то возрастающая цепочка идеалов в . Т.к. кольцо нётерово (по следствию из теоремы Гильберта о базисе), то эта цепочка идеалов обрывается. Но так как , цепочка подмножеств также обрывается, что и следовало доказать.
Пример 1.2 Пусть плоская кривая . Показать, что изоморфно кольцу многочленов от одной переменной над полем .
Необходимо заметить, что есть множество нулей многочлена , т.е.
Переформулируем задачу в терминах, используемых в данной работе: Нам нужно доказать, что . В данном случае понятно, что является аффинным многообразием, аффинным координатным кольцом. Теперь рассмотрим существование изоморфизма:
- сюръективный гомоморфизм алгебр. Тогда выражение (1) включается в коммутативный треугольник алгебр
И определяется соответствием . Непосредственная проверка определения показывает, что гомоморфизм. Обратный ему задается соответствием . Это показывает, что - гомоморфизм.
Пример 1.3 Пусть алгебраическое множество в , определенное двумя многочленами и . Показать, что разбивается в объединение неприводимых компонент.
Теперь представим второе уравнение системы в виде совокупности двух уравнений, затем объединим с первым уравнением и запишем новую систему:
Данную систему разобьем в систему двух совокупностей, и будем продолжать так дальше:
Таким образом, мы разложили в объединение неприводимых компонент, заданных идеалами .
Пример 1.4 Показать, что коммутативная ассоциативная алгебра с единицей тогда и только тогда изоморфна аффинному координатному кольцу некоторого алгебраического множества в для некоторого ,когда конечно порождена над .
алгебра конечно порождена, если существует сюръективный гомоморфизм:
Поскольку кольцо нетерово, то идеал конечно порожден, в нем можно выбрать конечную систему образующих
Тогда система уравнений задает искомое подмножество , такое, что .
Обратно, пусть алгебра изоморфна координатному кольцу некоторого замкнутого алгебраического множества в аффинном пространстве . Тогда определен сюръективный гомоморфизм алгебр , который и доказывает конечную порожденность алгебры
Пример 1.5 Показать, что, если - произвольное подмножество топологического пространства , то .
Для решения данной задачи необходимо привести определение размерности топологического пространства.
Размерностью топологического пространства называется точная верхняя грань множества всех целых чисел , таких, что существует цепочка отличающихся друг от друга неприводимых замкнутых подмножеств в .
Рассмотрим две цепочки неприводимых замкнутых подмножеств:
Нужно показать, что точная верхняя грань множества длин возрастающих последовательностей неприводимых замкнутых подмножеств в не превосходит точной верхней грани множества длин возрастающих последовательностей неприводимых замкнутых подмножеств в .
Возьмем возрастающую последовательность в :
очевидно, что ее нельзя уплотнить до .
Тогда возьмем цепочку замыканий множеств :
Может случиться, что данную цепочку уплотнить можно, то есть
Тогда и получается, что , что и требовалось показать.
Проективные многообразия определяются аналогично аффинным, разница лишь в том, что все понятия рассматриваются в проективном пространстве.
Введем проективное пространство над полем . Оно обозначается символом , где целое число (встречается и сокращенное обозначение ).
Пусть арифметическое мерное векторное пространство над полем . Рассмотрим множество . На этом множестве можно ввести отношение эквивалентности:
Множество классов этих эквивалентных наборов называется мерным проективным пространством. Иначе говоря, фактор множество множества по отношению эквивалентности, отождествляющему точки, лежащие на одной и той же прямой, проходящей через начало координат.
Большинство понятий определяются аналогично понятиям, связанным с аффинными многообразиям, поэтому их упоминать не будем, лишь добавим некоторые недостающие.
Кольцо называется градуированным, если оно обладает разложением в прямую сумму:
аддитивные абелевы группы, такие что
Построение проективного пространства как фактор множества позволяет ввести на нем однородные координаты. Каждой точке ставится в соответствие набор, причем для всех считается, что .
Иначе говоря, имеют смысл не конкретные значения , а соотношения между ними.
Проективное пространство можно покрывать аффинными многообразиями. Построим такое покрытие.
Рассмотрим проективную плоскость с однородными координатами . Построим множество , определяемое такой формулой:
При этом координаты точек в задаются соотношениями :
Затем построим по аналогии подмножество : в котором Проведем замену
Аналогично, задается требованием и заменой
Множество называется аффинной картой (в данной системе координат). Точки
при отвечают одной и той же точке , лежащей на пересечении , тогда и только тогда ,когда поставив единицу на тое в векторе и на тое место в векторе , мы получаем пропорциональные векторы. В частности,
точка отвечает точке , при .Точка из не лежит в , а точка из не лежит в .Естественно считать, что получается из добавлением точки с координатой .
Данная конструкция называется аффинным покрытием проективного пространства.
Теперь рассмотрим несколько примеров
Для решения данной задачи необходимо привести определение размерности топологического пространства: пусть - топологическое пространство. Размерностью (обозначают ) называют точную верхнюю грань всех целых чисел n, таких, что существует цепочка
отличающихся друг от друга неприводимых замкнутых подмножеств . Размерности аффинного и проективного пространств определяются как размерность проективного пространства.
Как было оговорено в теоретической части работы, проективное пространство можно покрыть аффинными покрытиями, этим мы отождествим с . А для было доказано, что его размерность равна (1,гл.I,предложение 1.9).
Выберем убывающую цепь замкнутых подмножеств:
образует цепь, обрывающуюся на конечном шаге. Предположим, что цепь
Таким образом, цепь обрывается на конечном шаге.
Пример 2.4 Пусть образ двукратного вложения в .Это есть так называемая поверхность Веронезе. Показать, что если замкнутая кривая, то существует гиперповерхность , такая что
пространство однородных многочленов от трех переменных степени два. Очевидно,
Образ вложения Веронезе задается уравнениями
Также можно определить обратное отображение:
с помощью выражений однородных координат в .
Эти выражения справедливы для тех точек плоскости ,в которых . Аналогичные соотношения имеют место для и . Отображение Веронезе биективно на свой образ, то есть является вложением. Тогда применим к замкнутой кривой . Получим
аффинный проективный нётеров топология
1. Хартсхорн «Алгебраическая геометрия», М.: Мир,1981
2. Шафаревич И.Р. «Основы алгебраической геометрии», М.: Наука,1971
3. Рид М. «Алгебраическая геометрия для всех», М.: Мир, 1991
4. Кострикин А.И. «Линейная алгебра и геометрия», М.: Наука, 1980
Группа (G, *) - непустое множество G с заданной на нём бинарной операцией , если выполнены следующие аксиомы:
Абелева группа- группа, в которой введенная операция коммутативна.
Кольцо -- это множество R, на котором заданы две бинарные операции: + и Ч (называемые сложение и умножение), со следующими свойствами:
существование нейтрального элемента относительно сложения
существование обратного элемента относительно сложения
ассоциативность умножения (некоторые авторы не требуют выполнения этой аксиомы)
Поле - коммутативное ассоциативное кольцо с единицей , в котором каждый ненулевой элемент обратим.
{0} -- тривиальное кольцо, состоящее из одного нуля. Это единственное кольцо, в котором ноль является мультипликативной единицей.
-- целые числа (с обычным сложением и умножением).
-- кольцо вычетов по модулю натурального числа n.
-- кольцо рациональных чисел, являющееся полем.
-- кольцо вещественных чисел, являющееся полем.
-- кольцо многочленов от n переменных над полем
Нётерово кольцо м -- ассоциативное кольцо А с единичным элементом, в котором выполняется следующее условие обрыва возрастающих цепей: Всякая последовательность идеалов (для некоммутативных колец -- левых идеалов) стабилизируется, то есть начиная с некоторого n.( Простейший пример нётерова кольца -- это кольцо главных идеалов (КГИ). Например, такими свойствами обладает кольцо многочленов от одной переменной над коммутативным кольцом. Однако, не всякое нётерово кольцо является КГИ. Например, кольцо многочленов многих переменных над коммутативным кольцом нётерово, но не КГИ. )
Алгеброй над полем называется кольцо ,аддитивная группа которого является векторным пространством над полем Р,
а умножение связано с умножением на скаляры требованием (здесь а,b - элементы кольца, - элемент поля ):
Идеал - это подмножество кольца, которое замкнуто относительно сложения, умножения, и для которого выполняется равенство: для любого справедливо:
Главный идеал - порожден одним элементом.
Пусть дано множество X. Система его подмножеств называется тополо м гией на X, если выполнены следующие условия:
1. Объединение произвольного семейства множеств, принадлежащих , принадлежит , то есть если , то
2. Пересечение конечного семейства множеств, принадлежащих , тпринадлежит ,то есть если
Пара называется топологическим пространством. Множества, принадлежащие , называются открытыми множествами.
Если, и, то A называется сомбственным или нетривиамльным подмножеством.
Сюръекция - это отображение такое, что каждый элемент области значений имеет хотя бы один прообраз.
Определение и формула аффинного преобразования в сопряжённых комплексных координатах. Уравнение образа прямой при аффинном преобразовании. Частные виды аффинных преобразований в сопряжённых комплексных координатах. дипломная работа [222,8 K], добавлен 08.08.2007
Определение и структурные уравнения аффинной связности. Экспоненциальные отображения в теории пространств. Ковариантное дифференцирование и классические формулировки. Аффинное пространство n измерений. Точечно-векторная аксиоматика аффинного пространства. курсовая работа [167,8 K], добавлен 23.10.2012
Клеточные разбиения классических пространств. Важность для геометрии и топологии клеточного разбиения многообразий Грассмана. Гомотопические свойства клеточных пространств. Теорема о клеточной аппроксимации. Доказательство леммы о свободной точке. курсовая работа [1,4 M], добавлен 15.06.2009
Топология как сравнительно молодая математическая наука, предмет и методы ее изучения, основные этапы становления и развития. Области топологии и понятие топологического пространства. Проблемы науки и пути их разрешения, основные понятия и теоремы. реферат [20,1 K], добавлен 09.09.2009
Общая теория топологических и векторных пространств, внутренняя логика развития; аксиоматика. Структура построения нормированного пространства; рассмотрение и развитие понятия банахова пространства как определённого типа векторных пространств с нормой. реферат [14,9 K], добавлен 11.01.2011
Элементы общей теории многомерных пространств. Понятие векторного многомерного пространства на основе аксиоматики Вейля. Евклидово векторное пространство. Четырёхмерное пространство, его пределение и исследование. Применение многомерной геометрии. дипломная работа [1,0 M], добавлен 24.02.2010
Порядковые определения. Топологические определения. Вполне упорядоченные множества и их свойства. Конечные цепи и их порядковые типы. Порядковый тип. Свойства ординальных чисел. Пространство ординальных чисел W(1) и его свойства. дипломная работа [136,4 K], добавлен 08.08.2007
Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д. PPT, PPTX и PDF-файлы представлены только в архивах. Рекомендуем скачать работу .

© 2000 — 2021



Аффинные и проективные многообразия контрольная работа. Математика.
Реферат по теме Понятие о телевидении
Реферат: Неформальные объединения молодежи как фактор социализации подростков. Скачать бесплатно и без регистрации
Между Прошлым И Будущим Итоговое Сочинение Аргументы
Сочинение На Тему День Рождения На Английском
Реферат по теме Станет ли электронная отчетность обязательной
Фипи Контрольная Работа По Химии 2022
Алгебра 9 Класс Контрольная Работа Макарычев Жорин
Учебное пособие: Методические указания по подготовке и защите курсовых работ по специальности
Реферат по теме Проблеми автоматизації схемотехничного проектування нелінійних вузлів радіоелектронної апаратури
Реферат: Роль Ли Якокка в управлении персоналом корпорации
Реферат: Новый подход в понимании преадаптации. Скачать бесплатно и без регистрации
Роль ислама в общественно-политической жизни современных стран Ближнего и Среднего Востока
Реферат по теме Как сдавать зачеты и экзамены успешно. Аналитический обзор рекомендаций по подготовке и сдаче зачетов и экзаменов без 'завалов'
Курсовая работа: Проектирование радиоэлектронных средств. Скачать бесплатно и без регистрации
Как Написать Рецензию На Реферат
Реферат по теме Бирюлево
Сочинение На Тему Повести Капитанская Дочка
Оценки Социального Экономического Потенциала Северо Кавказский Реферат
Эссе Русских Писателей
Реферат Союз Спасения
Социально-политическая сатира в английских главах Дон-Жуана Д.Г. Байрона - Литература реферат
Анализ деятельности комитета по делам молодежи, культуре, физической культуре и спорту администрации Железнодорожного района города Барнаула - Государство и право отчет по практике
Соответствует ли действующая Конституция РФ принципам правового государства? - Государство и право эссе