Почему нельзя покрыть сферу одной системой координат | Карты и атласы

Почему одна координатная карта не может описать всё искривлённое многообразие целиком? Многообразие локально евклидово: вблизи каждой точки можно описать небольшую область с помощью обычных координат в (\mathbb R^n). Но одной системы координат часто недостаточно для покрытия всего пространства. Например, сферу нельзя представить одной картой без появления шва, сингулярности или пропущенной точки. В этой второй части «Строгого введения в дифференциальную геометрию» мы создаём математическую основу, которая превращает локальные системы координат в глобальную гладкую структуру. Мы начинаем с необходимой топологии, тщательно определяя открытые множества, топологические пространства, топологию подпространств и топологические многообразия. Затем мы вводим карты, объясняем, почему образы карт должны быть открытыми подмножествами евклидова пространства, и показываем, почему многообразия обычно требуют нескольких перекрывающихся карт. На пересечении двух диаграмм отображение перехода [ \psi\circ\varphi^{-1}: \varphi(U\cap V)\longrightarrow\psi(U\cap V) ] преобразует одну систему координат в другую. Требование гладкости этих отображений перехода гарантирует совместимость вычислений, выполняемых в разных системах координат. Темы включают: • Открытые множества и топологические пространства • Стандартная топология на (\mathbb R^n) • Топология подпространств на вложенных многообразиях • Топологические многообразия и локальная евклидова структура • Почему многообразиям нужны карты • Карты и локальные координаты • Координатные функции (x^1,\ldots,x^n) • Обратные карты и локальные параметризации • Почему одна карта может не покрывать многообразие • Построение карт на окружности • Атласы и перекрывающиеся области карт • Отображения переходов между системами координат • Почему области отображений переходов открыты в (\mathbb R^n) • Гладкая совместимость карт • Гладкие атласы и максимальные гладкие атласы • Гладкие структуры • Определение гладкого многообразия Центральная идея: [ \text{проблема многообразия} \quad\xrightarrow{\text{карта}}\quad \text{евклидово вычисление}. ] Диаграммы предоставляют локальные координаты, необходимые для дифференциального и интегрального исчисления. Атласы предоставляют достаточно диаграмм для покрытия многообразия. Гладкие переходные отображения гарантируют, что результирующее исчисление не зависит от того, какие совместимые координаты мы выберем. В следующем видео рассматриваются гладкие функции, гладкие отображения и диффеоморфизмы, объясняется, как сравниваются гладкие многообразия и когда два многообразия следует считать гладко эквивалентными. Серия: Строгое введение в дифференциальную геометрию #ДифференциальнаяГеометрия #Многообразия #ГладкиеМногообразия #Диаграммы #Атласы #Топология #Геометрия #ДифференциальноеИсчисление #Математика #МатематическоеОбразование