Тополо́гия — раздел математики, изучающий:
- в самом общем виде — явление непрерывности;
- в частности — свойства пространств, которые остаются неизменными при непрерывных деформациях. Например, связность, ориентируемость, компактность.
Топологи́ческое простра́нство — множество, для элементов которого определено, какие из них близки друг к другу. Является центральным понятием общей топологии.
Хаусдорфово пространство — топологическое пространство, удовлетворяющее сильной аксиоме отделимости T2.
В этом глоссарии приведены определения основных терминов, используемых в общей топологии. Курсивом выделены ссылки внутри глоссария.
Гомеоморфи́зм — непрерывная биекция с непрерывной обратной. Является центральным понятием топологии.
Локально компактное пространство — топологическое пространство, у каждой точки которого существует открытая окрестность, замыкание которой компактно. Иногда используется более слабое определение: достаточно чтобы каждая точка имела компактную окрестность. В случае хаусдорфова пространства эти определения эквивалентны.
Стягиваемое пространство — топологическое пространство, гомотопически эквивалентное точке. Это условие равносильно тому, что тождественное отображение на гомотопно постоянному.
Тополо́гия Зари́сского, или топология Зариского, — специальная топология, отражающая алгебраическую природу алгебраических многообразий. Названа в честь Оскара Зарисского и, начиная с 1950-х годов, занимает важное место в алгебраической геометрии.
Алгебраическая геометрия — раздел математики, который объединяет алгебру и геометрию. Главным предметом изучения классической алгебраической геометрии, а также в широком смысле и современной алгебраической геометрии, являются множества решений систем алгебраических уравнений. Современная алгебраическая геометрия во многом основана на методах общей алгебры для решения задач, возникающих в геометрии.
Многообра́зие — локально евклидово пространство.
Алгебраическая кривая, или плоская алгебраическая кривая, — это геометрическое место (множество) точек на плоскости (O;x,y), которое определяется как множество нулей многочлена от двух переменных. Степенью (или порядком) n этой кривой называется степень этого многочлена. Алгебраические кривые степеней n = 1, 2, 3, …, 8 кратко называются прямыми, кониками, кубиками, квартиками, пентиками, секстиками, септиками, октиками соответственно. Например, единичная окружность — это алгебраическая кривая степени 2 (коника), так как она задаётся уравнением x2 + y2 − 1 = 0.
Спектр кольца в математике — множество всех простых идеалов данного коммутативного кольца. Обычно спектр снабжается топологией Зарисского и пучком коммутативных колец, что делает его локально окольцованным пространством. Спектр кольца обозначается .
Схе́ма — математическая абстракция, позволяющая связать алгебраическую геометрию, коммутативную алгебру и дифференциальную геометрию и переносить идеи из одной области в другую. В первую очередь понятие схемы позволяет перенести геометрическую интуицию и геометрические конструкции, такие как тензорные поля, расслоения и дифференциалы, в теорию колец. Исторически теория схем возникла с целью обобщения и упрощения классической алгебраической геометрии итальянской школы XIX века, занимавшейся исследованием полиномиальных уравнений.
Алгебраическое многообразие — центральный объект изучения алгебраической геометрии. Классическое определение алгебраического многообразия — множество решений системы алгебраических уравнений над действительными или комплексными числами. Современные определения обобщают его различными способами, но стараются сохранить геометрическую интуицию, соответствующую этому определению.
Поверхность Веронезе — алгебраическая поверхность в пятимерном проективном пространстве, которая реализуется как образ вложения Веронезе. Существует также обобщение вложения Веронезе на произвольные размерности проективных пространств. Названа в честь итальянского математика Джузеппе Веронезе.
Гомологическое многообразие — локально компактное топологическое пространство, которое выглядит локально как топологическое многообразие с точки зрения теории гомологий.
Симметрическое пространство — риманово многообразие, группа изометрий которого содержит центральные симметрии с центром в любой точке.
Разду́тие — операция в алгебраической геометрии. В простейшем случае оно, грубо говоря, состоит в замене точки на множество всех прямых, проходящих через неё.
Геометрический род — это базовый бирациональный инвариант pg алгебраических многообразий и комплексных многообразий.