stringtranslate.com

сфера Римана

Сферу Римана можно представить как комплексную числовую плоскость, обернутую вокруг сферы (с помощью некоторой формы стереографической проекции — подробности приведены ниже).

В математике сфера Римана , названная в честь Бернхарда Римана , [1] является моделью расширенной комплексной плоскости (также называемой замкнутой комплексной плоскостью ): комплексная плоскость плюс одна точка на бесконечности . Эта расширенная плоскость представляет расширенные комплексные числа , то есть комплексные числа плюс значение бесконечности . В модели Римана точка близка к очень большим числам, так же как точка близка к очень малым числам.

Расширенные комплексные числа полезны в комплексном анализе , поскольку они допускают деление на ноль в некоторых обстоятельствах, таким образом, что выражения, такие как хорошо себя ведут, можно расширить до голоморфной функции на сфере Римана, при этом полюса рациональной функции будут отображаться в бесконечность . В более общем смысле, любую мероморфную функцию можно рассматривать как голоморфную функцию, областью определения которой является сфера Римана.

В геометрии сфера Римана является прототипическим примером римановой поверхности и является одним из простейших комплексных многообразий . В проективной геометрии сфера является примером комплексного проективного пространства и может рассматриваться как комплексная проективная прямая , проективное пространство всех комплексных прямых в . Как и любую компактную риманову поверхность, сферу можно также рассматривать как проективную алгебраическую кривую , что делает ее фундаментальным примером в алгебраической геометрии . Она также находит применение в других дисциплинах, которые зависят от анализа и геометрии, таких как сфера Блоха в квантовой механике и в других разделах физики .

Расширенные комплексные числа

Расширенные комплексные числа состоят из комплексных чисел вместе с . Множество расширенных комплексных чисел может быть записано как , и часто обозначается добавлением некоторого украшения к букве , например

Эта нотация также использовалась, но поскольку она также используется для проколотой плоскости , это может привести к неоднозначности. [2]

Геометрически множество расширенных комплексных чисел называется сферой Римана (или расширенной комплексной плоскостью ).

Арифметические операции

Сложение комплексных чисел можно расширить, определив для ,

для любого комплексного числа , и умножение может быть определено как

для всех ненулевых комплексных чисел , с . Обратите внимание, что и остаются неопределенными . В отличие от комплексных чисел, расширенные комплексные числа не образуют поле , так как не имеют аддитивной или мультипликативной обратной величины . Тем не менее, принято определять деление на по

для всех ненулевых комплексных чисел с и . Частные и остаются неопределенными.

Рациональные функции

Любая рациональная функция (другими словами, есть отношение полиномиальных функций и с комплексными коэффициентами, такое, что и не имеют общих множителей) может быть расширена до непрерывной функции на сфере Римана. В частности, если есть комплексное число, такое, что знаменатель равен нулю, но числитель отличен от нуля, то может быть определена как . Более того, может быть определена как предел как , который может быть конечным или бесконечным.

Множество комплексных рациональных функций, математический символ которого — образуют все возможные голоморфные функции из сферы Римана в себя, когда она рассматривается как риманова поверхность , за исключением постоянной функции , принимающей значение всюду. Функции образуют алгебраическое поле, известное как поле рациональных функций на сфере .

Например, если задана функция

мы можем определить , так как знаменатель равен нулю при , и так как при . Используя эти определения, становится непрерывной функцией от сферы Римана к самой себе.

Как комплексное многообразие

Как одномерное комплексное многообразие , сфера Римана может быть описана двумя диаграммами , обе с областью определения, равной плоскости комплексных чисел . Пусть будет комплексным числом в одной копии , и пусть будет комплексным числом в другой копии . Отождествим каждое ненулевое комплексное число первой с ненулевым комплексным числом второй . Тогда отображение

называется отображением перехода между двумя копиями — так называемыми картами — склеивая их вместе. Поскольку отображения перехода голоморфны , они определяют комплексное многообразие, называемое сферой Римана . Как комплексное многообразие 1 комплексного измерения (т.е. 2 действительных измерения), это также называется поверхностью Римана .

Интуитивно карты перехода указывают, как склеить две плоскости вместе, чтобы сформировать сферу Римана. Плоскости склеиваются способом «изнутри наружу», так что они перекрываются почти везде, причем каждая плоскость вносит только одну точку (свое начало координат), отсутствующую в другой плоскости. Другими словами, (почти) каждая точка сферы Римана имеет как значение, так и значение , и эти два значения связаны соотношением . Точка, где тогда должна иметь -значение " "; в этом смысле начало координат -диаграммы играет роль в -диаграмме. Симметрично, начало координат -диаграммы играет роль в -диаграмме.

Топологически результирующее пространство является одноточечной компактификацией плоскости в сферу. Однако сфера Римана — это не просто топологическая сфера. Это сфера с хорошо определенной комплексной структурой , так что вокруг каждой точки на сфере есть окрестность, которую можно биголоморфно отождествить с .

С другой стороны, теорема об униформизации , центральный результат в классификации римановых поверхностей, утверждает, что каждая односвязная риманова поверхность биголоморфна комплексной плоскости, гиперболической плоскости или сфере Римана. Из них сфера Римана — единственная, которая является замкнутой поверхностью ( компактной поверхностью без границы ). Следовательно, двумерная сфера допускает уникальную комплексную структуру, превращающую ее в одномерное комплексное многообразие.

Как комплексная проективная прямая

Сферу Римана можно также определить как комплексную проективную прямую . Точки комплексной проективной прямой можно определить как классы эквивалентности ненулевых векторов в комплексном векторном пространстве : два ненулевых вектора и эквивалентны тогда и только тогда, когда есть некоторый ненулевой коэффициент .

В этом случае класс эквивалентности записывается с использованием проективных координат . Для любой точки на комплексной проективной прямой одно из и должно быть ненулевым, скажем . Тогда по понятию эквивалентности , которое находится в карте для сферического многообразия Римана. [3]

Такая трактовка сферы Римана наиболее легко связывается с проективной геометрией. Например, любая прямая (или гладкая коника) в комплексной проективной плоскости биголоморфна комплексной проективной прямой. Она также удобна для изучения автоморфизмов сферы , далее в этой статье.

Как сфера

Стереографическая проекция комплексного числа A на точку α сферы Римана.

Сферу Римана можно визуализировать как единичную сферу в трехмерном реальном пространстве . Для этого рассмотрим стереографическую проекцию из единичной сферы за вычетом точки на плоскость , которую мы отождествляем с комплексной плоскостью как . В декартовых координатах и ​​сферических координатах на сфере (с зенитом и азимутом ) проекция имеет вид

Аналогично, стереографическая проекция из на плоскость, отождествленную с другой копией комплексной плоскости, записывается

Обратные этих двух стереографических проекций являются картами из комплексной плоскости в сферу. Первая обратная покрывает сферу, за исключением точки , а вторая покрывает сферу, за исключением точки . Две комплексные плоскости, которые являются областями этих карт, по-разному идентифицируются с плоскостью , поскольку для поддержания постоянной ориентации на сфере необходимо изменение ориентации на -.

Карты перехода между -координатами и -координатами получаются путем составления одной проекции с обратной другой. Они оказываются и , как описано выше. Таким образом, единичная сфера диффеоморфна сфере Римана.

При этом диффеоморфизме единичная окружность в -карте , единичная окружность в -карте и экватор единичной сферы отождествляются. Единичный круг отождествляется с южным полушарием , в то время как единичный круг отождествляется с северным полушарием .

Метрическая

Риманова поверхность не снабжена какой-либо конкретной римановой метрикой . Однако конформная структура римановой поверхности определяет класс метрик: все те, подчиненная конформная структура которых является заданной. Более подробно: Комплексная структура римановой поверхности однозначно определяет метрику с точностью до конформной эквивалентности . (Две метрики называются конформно эквивалентными, если они отличаются умножением на положительную гладкую функцию .) И наоборот, любая метрика на ориентированной поверхности однозначно определяет комплексную структуру, которая зависит от метрики только с точностью до конформной эквивалентности. Таким образом, комплексные структуры на ориентированной поверхности находятся во взаимно однозначном соответствии с конформными классами метрик на этой поверхности.

В пределах данного конформного класса можно использовать конформную симметрию, чтобы найти представительную метрику с удобными свойствами. В частности, в любом данном конформном классе всегда существует полная метрика с постоянной кривизной .

В случае сферы Римана теорема Гаусса–Бонне подразумевает, что метрика постоянной кривизны должна иметь положительную кривизну . Из этого следует, что метрика должна быть изометричной сфере радиуса в посредством стереографической проекции. В -карте на сфере Римана метрика с задается как

В действительных координатах формула имеет вид

С точностью до постоянного множителя эта метрика согласуется со стандартной метрикой Фубини–Штуди на комплексном проективном пространстве (примером которого является сфера Римана).

С точностью до масштабирования это единственная метрика на сфере, группа изометрий, сохраняющих ориентацию, которой является 3-мерной (и ни одна не является более 3-мерной); эта группа называется . В этом смысле это, безусловно, самая симметричная метрика на сфере. (Группа всех изометрий, известная как , также является 3-мерной, но в отличие от не является связным пространством.)

Наоборот, пусть обозначает сферу (как абстрактное гладкое или топологическое многообразие ). По теореме об униформизации существует уникальная комплексная структура на с точностью до конформной эквивалентности. Из этого следует, что любая метрика на конформно эквивалентна круглой метрике . Все такие метрики определяют одну и ту же конформную геометрию. Круглая метрика, таким образом, не является внутренней для сферы Римана, поскольку «круглость» не является инвариантом конформной геометрии. Сфера Римана является только конформным многообразием , а не римановым многообразием . Однако, если нужно выполнить риманову геометрию на сфере Римана, круглая метрика является естественным выбором (с любым фиксированным радиусом, хотя радиус является самым простым и распространенным выбором). Это потому, что только круглая метрика на сфере Римана имеет свою группу изометрий, являющуюся 3-мерной группой. (А именно, группа, известная как , непрерывная («Ли») группа, которая топологически является 3-мерным проективным пространством .)

Автоморфизмы

Преобразование Мёбиуса, действующее на сфере и на плоскости посредством стереографической проекции .

Изучению любого математического объекта помогает понимание его группы автоморфизмов, то есть отображений из объекта в себя, которые сохраняют существенную структуру объекта. В случае сферы Римана автоморфизм — это обратимое конформное отображение (т.е. биголоморфное отображение) из сферы Римана в себя. Оказывается, что единственными такими отображениями являются преобразования Мёбиуса . Это функции вида

где , , , и — комплексные числа, такие что . Примерами преобразований Мёбиуса являются растяжения , вращения , переносы и комплексная инверсия. Фактически, любое преобразование Мёбиуса можно записать как композицию этих преобразований.

Преобразования Мёбиуса являются гомографиями на комплексной проективной прямой. В проективных координатах преобразование f можно записать

Таким образом, преобразования Мёбиуса можно описать как комплексные матрицы размером два на два с ненулевым определителем . Поскольку они действуют на проективные координаты, две матрицы дают одно и то же преобразование Мёбиуса тогда и только тогда, когда они отличаются ненулевым множителем. Группа преобразований Мёбиуса — это проективная линейная группа .

Если наделить сферу Римана метрикой Фубини–Штуди , то не все преобразования Мёбиуса являются изометриями; например, растяжения и переносы не являются. Изометрии образуют собственную подгруппу , а именно . Эта подгруппа изоморфна группе вращений , которая является группой симметрий единичной сферы в (которые при ограничении сферы становятся изометриями сферы).

Приложения

В комплексном анализе мероморфная функция на комплексной плоскости (или на любой римановой поверхности, если на то пошло) является отношением двух голоморфных функций и . Как отображение на комплексные числа, оно не определено везде, где равно нулю. Однако оно индуцирует голоморфное отображение на комплексную проективную прямую, которое хорошо определено даже там, где . Эта конструкция полезна при изучении голоморфных и мероморфных функций. Например, на компактной римановой поверхности нет непостоянных голоморфных отображений на комплексные числа, но голоморфных отображений на комплексную проективную прямую много.

Сфера Римана имеет множество применений в физике. В квантовой механике точки на комплексной проективной прямой являются естественными значениями для состояний поляризации фотона , спиновых состояний массивных частиц спина и частиц с 2 состояниями в целом (см. также Квантовый бит и сфера Блоха ). Сфера Римана была предложена в качестве релятивистской модели для небесной сферы . [4] В теории струн мировые листы струн являются римановыми поверхностями, и сфера Римана, будучи простейшей римановой поверхностью, играет значительную роль. Она также важна в теории твисторов .

Смотрите также

Примечания

  1. Риман 1857.
  2. ^ "C^*". Архивировано из оригинала 8 октября 2021 г. Получено 12 декабря 2021 г.
  3. ^ Голдман 1999, стр. 1.
  4. Пенроуз 2007, стр. 428–430.

Ссылки

Внешние ссылки