В математике , в общей топологии , компактификация — это процесс или результат превращения топологического пространства в компактное . [1] Компакт — это пространство, в котором каждое открытое покрытие содержит конечное подпокрытие. Методы компактификации различны, но каждый из них представляет собой способ предотвращения «ухода точек в бесконечность» путем добавления каким-либо образом «точек в бесконечности» или предотвращения такого «убегания».
Рассмотрим реальную линию с ее обычной топологией. Это пространство не компактно; в некотором смысле точки могут уходить в бесконечность влево или вправо. Реальную линию можно превратить в компакт, добавив одну «бесконечную точку», которую мы обозначим через ∞. Полученная компактификация гомеоморфна окружности на плоскости (которая, как замкнутое и ограниченное подмножество евклидовой плоскости, компактна). Каждая последовательность, устремившаяся на бесконечность в вещественной прямой, затем будет сходиться к ∞ в этой компактификации. Направление, в котором число приближается к бесконечности на числовой прямой (либо в направлении -, либо в направлении +), по-прежнему сохраняется на окружности; ибо если число приближается к бесконечности в направлении - на числовой прямой, то соответствующая точка на круге может приближаться к ∞, например, слева. Тогда, если число приближается к бесконечности с направления + на числовой прямой, то соответствующая точка на окружности может приближаться к ∞ справа.
Интуитивно процесс можно изобразить следующим образом: сначала сжать действительную линию до открытого интервала (− π , π ) на оси x ; затем согните концы этого интервала вверх (в положительном направлении y ) и перемещайте их навстречу друг другу, пока не получите круг, в котором отсутствует одна точка (самая верхняя). Эта точка — наша новая точка ∞ «на бесконечности»; добавление его завершает компактный круг.
Немного более формально: мы обозначаем точку на единичной окружности ее углом в радианах , от - π до π для простоты. Отождествите каждую такую точку θ на окружности с соответствующей точкой на вещественной прямой tan ( θ /2). Эта функция не определена в точке π , поскольку tan( π /2) не определен; мы отождествим эту точку с нашей точкой ∞.
Поскольку касательные и обратные касательные непрерывны, наша идентификационная функция представляет собой гомеоморфизм между вещественной прямой и единичной окружностью без ∞. То, что мы построили, называется одноточечной компактификацией по Александрову действительной прямой и более обобщенно обсуждается ниже. Также возможно компактифицировать действительную линию, добавив две точки: +∞ и −∞; это приводит к расширенной реальной линии .
Вложение топологического пространства X в плотное подмножество компакта называется компактификацией X . Часто бывает полезно вложить топологические пространства в компакты из-за особых свойств компактных пространств.
Особый интерес могут представлять вложения в бикомпакты . Поскольку всякий бикомпакт является тихоновским пространством , а каждое подпространство тихоновского пространства является тихоновским, мы заключаем, что любое пространство, обладающее хаусдорфовой компактификацией, должно быть тихоновским пространством. На самом деле верно и обратное; быть тихоновским пространством необходимо и достаточно для существования хаусдорфовой компактификации.
Тот факт, что большие и интересные классы некомпактных пространств действительно имеют компактификации определенного типа, делает компактификацию обычным методом в топологии.
Для любого некомпактного топологического пространства X ( александровская ) одноточечная компактификация α X пространства X получается добавлением одной дополнительной точки ∞ (часто называемой точкой на бесконечности ) и определением открытых множеств нового пространства как открытых множеств X вместе с множествами вида G ∪ {∞}, где G — открытое подмножество X , замкнутое и компактное. Одноточечная компактификация X хаусдорфова тогда и только тогда, когда X хаусдорфово и локально компактно . [2]
Особый интерес представляют хаусдорфовые компактификации, т. е. такие компактификации, в которых бикомпакт хаусдорфов . Топологическое пространство имеет хаусдорфову компактификацию тогда и только тогда, когда оно тихоновское . В этом случае существует единственная ( с точностью до гомеоморфизма ) «наиболее общая» компактификация Хаусдорфа — компактификация Стоуна–Чеха X , обозначаемая βX ; формально это демонстрирует категорию компактных хаусдорфовых пространств и непрерывных отображений как отражающую подкатегорию категории тихоновских пространств и непрерывных отображений.
«Наиболее общий» или формально «рефлексивный» означает, что пространство βX характеризуется универсальным свойством , заключающимся в том, что любая непрерывная функция из X в компактное хаусдорфово пространство K может быть продолжена до непрерывной функции из βX в K единственным способом. Более явно, βX — это компактное хаусдорфово пространство, содержащее X, такое, что индуцированная βX топология на X совпадает с заданной топологией на X , и для любого непрерывного отображения f : X → K , где K — компактное хаусдорфово пространство, существует — единственное непрерывное отображение g : βX → K , для которого g, ограниченное X, тождественно f .
Компактификацию Стоуна-Чеха можно построить явно следующим образом: пусть C — множество непрерывных функций от X до отрезка [0, 1] . Тогда каждую точку в X можно идентифицировать с помощью оценочной функции на C. Таким образом, X можно отождествить с подмножеством [0, 1] C , пространством всех функций от C до [0, 1] . Поскольку последнее компактно по теореме Тихонова , замыкание X как подмножества этого пространства также будет компактным. Это компактификация Стоуна-Чеха. [3] [4]
Уолтер Бенц и Исаак Яглом показали, как можно использовать стереографическую проекцию на однолистный гиперболоид для обеспечения компактификации разделенных комплексных чисел . Фактически гиперболоид является частью квадрики в вещественном проективном четырехмерном пространстве. Метод аналогичен тому, который используется для создания базового многообразия для группового действия конформной группы пространства-времени . [5]
Вещественное проективное пространство RP n является компактификацией евклидова пространства R n . Для каждого возможного «направления», в котором точки из R n могут «убежать», добавляется одна новая точка на бесконечности (но каждое направление отождествляется со своей противоположностью). Одноточечная компактификация Александрова R , которую мы построили в приведенном выше примере, на самом деле гомеоморфна RP 1 . Однако обратите внимание, что проективная плоскость RP 2 не является одноточечной компактификацией плоскости R 2 , поскольку к ней добавляется более одной точки.
Комплексное проективное пространство CP n также является компактификацией C n ; одноточечная компактификация Александрова плоскости C является (гомеоморфной) комплексной проективной прямой CP 1 , которую, в свою очередь, можно отождествить со сферой, сферой Римана .
Переход к проективному пространству — распространенный инструмент в алгебраической геометрии , поскольку добавление точек на бесконечности приводит к более простым формулировкам многих теорем. Например, любые две разные прямые в RP 2 пересекаются ровно в одной точке, что неверно в R 2 . В более общем смысле, теорема Безу , которая является фундаментальной в теории пересечений , справедлива в проективном пространстве, но не в аффинном пространстве. Это различное поведение пересечений в аффинном пространстве и проективном пространстве отражается в алгебраической топологии в кольцах когомологий : когомологии аффинного пространства тривиальны, в то время как когомологии проективного пространства нетривиальны и отражают ключевые особенности теории пересечений (размерность и степень подмногообразия, при этом пересечение двойственно по Пуанкаре к произведению чашки ).
Компактификация пространств модулей обычно требует разрешения определенных вырождений, например, допуска определенных особенностей или приводимых многообразий. Это особенно используется в компактификации Делиня-Мамфорда пространства модулей алгебраических кривых .
При изучении дискретных подгрупп групп Ли фактор -пространство смежных классов часто является кандидатом на более тонкую компактификацию для сохранения структуры на более богатом уровне, чем просто топологический.
Например, модульные кривые компактифицируются добавлением отдельных точек для каждой точки возврата , что делает их римановыми поверхностями (и, поскольку они являются компактными, алгебраическими кривыми ). Здесь каспы присутствуют по уважительной причине: кривые параметризуют пространство решеток , и эти решетки могут вырождаться («уходить на бесконечность»), часто несколькими способами (с учетом некоторой вспомогательной структуры уровня ) . Куспиды обозначают различные «направления к бесконечности».
Вот и все, что касается решеток в плоскости. В n -мерном евклидовом пространстве можно задать те же вопросы, например: « Это труднее компактифицировать». Могут быть образованы различные компактификации, такие как компактификация Бореля – Серра, редуктивная компактификация Бореля – Серра и компактификации Сатаке.
Ассоциативная композиционная алгебра/гомографии в Wikibooks
