Геометрия сферы Ли - Lie sphere geometry - Wikipedia

Софус Ли, создатель геометрии сферы Ли и соответствия линейной сферы.

Геометрия сферы Ли это геометрический теория планарный или же пространственная геометрия в котором фундаментальным понятием является круг или же сфера. Он был представлен Софус Ли В девятнадцатом веке.[1] Основная идея, которая приводит к геометрии сферы Ли, состоит в том, что прямые (или плоскости) следует рассматривать как круги (или сферы) бесконечного радиуса, а точки на плоскости (или пространстве) следует рассматривать как круги (или сферы) нулевого радиуса. .

Пространство кругов на плоскости (или сфер в пространстве), включая точки и линии (или плоскости), оказывается многообразие известный как Квадрика Ликвадратичная гиперповерхность в проективное пространство ). Геометрия сферы Ли - это геометрия квадрики Ли и сохраняющих ее преобразований Ли. Эту геометрию может быть трудно визуализировать, потому что преобразования Ли не сохраняют точки в целом: точки могут быть преобразованы в круги (или сферы).

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

Геометрия сферы Ли может быть определена в любом измерении, но наиболее важными являются случай плоскости и трехмерного пространства. В последнем случае Ли заметил замечательное сходство между квадрикой сфер Ли в 3-мерном пространстве и пространством линий в 3-мерном проективном пространстве, которое также является гиперповерхностью квадрики в 5-мерном проективном пространстве, называемом плюккеровским пространством. или же Кляйн квадрик. Это сходство привело Ли к его знаменитому «соответствию линейная сфера» между пространством линий и пространством сфер в трехмерном пространстве.[2]

Базовые концепты

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

Эти объекты, то есть точки, ориентированные окружности и ориентированные линии на плоскости или точки, ориентированные сферы и ориентированные плоскости в пространстве, иногда называют циклами или циклами Ли. Оказывается, они образуют квадратичная гиперповерхность в проективное пространство размерности 4 или 5, которая известна как квадрика Ли. Естественный симметрии этой квадрики образуют группа преобразований известные как преобразования Ли. Эти преобразования, вообще говоря, не сохраняют точки: они являются преобразованиями квадрики Ли, нет плоскости / сферы плюс бесконечно удаленная точка. Преобразования, сохраняющие точку, - это в точности преобразования Мёбиуса. Преобразования Ли, фиксирующие идеальную точку на бесконечности, суть Laguerre трансформации Геометрия Лагерра. Эти две подгруппы порождают группу преобразований Ли, и их пересечение - это преобразования Мёбиуса, фиксирующие идеальную точку на бесконечности, а именно аффинные конформные отображения.

Эти группы также имеют прямую физическую интерпретацию: как указывает Гарри Бейтман, преобразования сферы Ли идентичны преобразования сферических волн которые оставляют форму Уравнения Максвелла инвариантный. Кроме того, Эли Картан, Анри Пуанкаре и Вильгельм Блашке указал, что группа Лагерра просто изоморфна группе Группа Лоренца из специальная теория относительности (видеть Группа Лагерра, изоморфная группе Лоренца ). В конце концов, существует также изоморфизм между группой Мёбиуса и группой Лоренца (см. Группа Мебиуса # преобразование Лоренца ).

Геометрия сферы Ли на плоскости

Квадрика Ли

Квадрика Ли плоскости определяется следующим образом. Позволять р3,2 обозначим пространство р5 наборов 5 действительных чисел, снабженных подпись (3,2) симметричная билинейная форма определяется

Управляемый гиперболоид является двумерным аналогом квадрики Ли.

Проективное пространство рп4 это пространство линий через источник в р5 и - пространство ненулевых векторов Икс в р5 до масштаба, где Икс= (Икс0,Икс1,Икс2,Икс3,Икс4). Плоская квадрика Ли Q состоит из точек [Икс] в проективном пространстве, представленном векторами Икс с Икс · Икс = 0.

Чтобы связать это с плоской геометрией, необходимо исправить ориентированный подобный времени линия. В выбранных координатах предлагается использовать точку [1,0,0,0,0] ∈ рп4. Любая точка квадрики Ли Q тогда может быть представлен вектором Икс = λ (1,0,0,0,0) + v, куда v является ортогональный в (1,0,0,0,0). С [Икс] ∈ Q, v · v = λ2 ≥ 0.

Ортогональное пространство к (1,0,0,0,0), пересекаемое с квадрикой Ли, является двумерным небесная сфера S в Пространство-время Минковского. Это евклидова плоскость с идеальной точкой на бесконечности, которую мы считаем равной [0,0,0,0,1]: конечные точки (Икс,у) на плоскости тогда представлены точками [v] = [0,Икс,у, −1, (Икс2+у2) / 2]; Обратите внимание, что v · v = 0, v · (1,0,0,0,0) = 0 и v · (0,0,0,0,1) = −1.

Следовательно, точки Икс = λ(1,0,0,0,0) + v на квадрике Ли с λ = 0 соответствуют точкам на евклидовой плоскости с идеальной точкой на бесконечности. С другой стороны, очки Икс с λ ненулевые соответствуют ориентированным окружностям (или ориентированным линиям, которые представляют собой окружности через бесконечность) в евклидовой плоскости. Это легче увидеть с точки зрения небесная сфера S: круг, соответствующий [λ(1,0,0,0,0) + v] ∈ Qλ ≠ 0) - множество точек уS с у · v = 0. Окружность ориентирована, поскольку v/λ имеет определенный признак; [-λ(1,0,0,0,0) + v] представляет собой тот же круг с противоположной ориентацией. Таким образом изометрический карта отражений ИксИкс + 2 (Икс · (1,0,0,0,0)) (1,0,0,0,0) вызывает инволюция ρ квадрики Ли, которая меняет ориентацию окружностей и прямых и фиксирует точки плоскости (включая бесконечность).

Подведем итог: существует взаимно однозначное соответствие между точками на квадрике Ли и циклы на плоскости, где цикл - это либо ориентированная окружность (или прямая линия), либо точка на плоскости (или точка на бесконечности); точки можно представить себе как окружности нулевого радиуса, но они не ориентированы.

Частота циклов

Предположим, что два цикла представлены точками [Икс], [у] ∈ Q. потом Икс · у = 0 тогда и только тогда, когда соответствующие циклы «целуются», т. Е. Встречаются друг с другом с ориентированным первым порядком контакт. Если [Икс] ∈ Sр2 ∪ {∞}, то это просто означает, что [Икс] лежит на окружности, соответствующей [у]; этот случай непосредственно следует из определения этого круга (если [у] соответствует точечной окружности, то Икс · у = 0 тогда и только тогда, когда [Икс] = [у]).

Поэтому остается рассмотреть случай, когда ни [Икс] ни [у] находятся в S. Без ограничения общности мы можем тогда взять Икс= (1,0,0,0,0) + v и у = (1,0,0,0,0) + ш, куда v и ш находятся космический единичные векторы в (1,0,0,0,0). Таким образом v ∩ (1,0,0,0,0) и ш ∩ (1,0,0,0,0) подпространства сигнатуры (2,1) в (1,0,0,0,0). Поэтому они либо совпадают, либо пересекаются в двумерном подпространстве. В последнем случае двумерное подпространство может иметь сигнатуру (2,0), (1,0), (1,1), и в этом случае соответствующие две окружности в S пересекаются в нуле, одной или двух точках соответственно. Следовательно, они имеют контакт первого порядка тогда и только тогда, когда двумерное подпространство вырождено (сигнатура (1,0)), что выполняется тогда и только тогда, когда промежуток v и ш является вырожденным. К Личность Лагранжа, это имеет место тогда и только тогда, когда (v · ш)2 = (v · v)(ш · ш) = 1, т.е. тогда и только тогда, когда v · ш = ± 1, т. Е. Икс · у = 1 ± 1. Контакт ориентирован тогда и только тогда, когда v · ш = - 1, т.е. Икс · у = 0.

Проблема Аполлония

Восемь решений общей аполлонической проблемы. Три указанных круга обозначены C1, C2 и C3 и окрашены в красный, зеленый и синий цвета соответственно. Растворы сгруппированы в четыре пары, по одному розовому и одному черному кружку раствора каждая, обозначенным как 1A / 1B, 2A / 2B, 3A / 3B и 4A / 4B. Каждая пара устанавливает ориентированный контакт с C1, C2 и C3 для подходящего выбора ориентации; есть четыре таких варианта вплоть до полного изменения ориентации.

Наличие циклов в геометрии сферы Ли дает простое решение проблема Аполлония.[3] Эта проблема касается конфигурации трех различных кругов (которые могут быть точками или линиями): цель состоит в том, чтобы найти каждый второй круг (включая точки или линии), который касается всех трех исходных кругов. Для общей конфигурации окружностей таких касательных окружностей не более восьми.

Решение, использующее геометрию сферы Ли, происходит следующим образом. Выберите ориентацию для каждого из трех кругов (есть восемь способов сделать это, но есть только четыре, вплоть до изменения ориентации всех трех). Это определяет три пункта [Икс], [у], [z] на квадрике Ли Q. По частоте циклов решение аполлонической проблемы, совместимое с выбранными ориентациями, дается точкой [q] ∈ Q такой, что q ортогонален Икс, у и z. Если эти три вектора линейно зависимый, то соответствующие точки [Икс], [у], [z] лежат на прямой в проективном пространстве. Поскольку нетривиальное квадратное уравнение имеет не более двух решений, эта прямая фактически лежит в квадрике Ли, и любая точка [q] в этой строке определяет цикл, связанный с [Икс], [у] и [z]. Таким образом, в этом случае решений бесконечно много.

Если вместо этого Икс, у и z линейно независимы, то подпространство V ортогонален всем трем, является двумерным. Он может иметь сигнатуру (2,0), (1,0) или (1,1), и в этом случае существует ноль, одно или два решения для [q] соответственно. (Сигнатура не может быть (0,1) или (0,2), потому что она ортогональна пространству, содержащему более одной нулевой строки.) В случае, когда подпространство имеет сигнатуру (1,0), единственное решение q лежит в промежутке Икс, у и z.

Общее решение аполлонической проблемы получается изменением ориентации некоторых окружностей на противоположное или, что то же самое, рассмотрением троек (Икс,ρ(у),z), (Икс,у,ρ(z)) и (Икс,ρ(у),ρ(z)).

Обратите внимание, что тройка (ρ(Икс),ρ(у),ρ(z)) дает те же решения, что и (Икс,у,z), но с полным изменением ориентации. Таким образом, существует не более 8 кругов решений для аполлонической проблемы, если все три круга не пересекаются по касательной в одной точке, когда существует бесконечно много решений.

Преобразования Ли

Любой элемент группа O (3,2) из ортогональные преобразования из р3,2 отображает любое одномерное подпространство в нулевые векторы в р3,2 в другое такое подпространство. Следовательно, группа O (3,2) действует на квадрике Ли. Эти преобразования циклов называются «преобразованиями Ли». Они сохраняют отношение инцидентности между циклами. Действие переходный а значит, все циклы лиевы эквивалентны. В частности, общие преобразования Ли не сохраняют точки. Подгруппа преобразований Ли, сохраняющих точечные циклы, по сути является подгруппой ортогональных преобразований, сохраняющих выбранное времяподобное направление. Эта подгруппа изоморфный группе O (3,1) Преобразования Мебиуса сферы. Его также можно охарактеризовать как централизатор инволюции ρ, которое само по себе является преобразованием Ли.

Преобразования Ли часто можно использовать для упрощения геометрической задачи путем преобразования окружностей в линии или точки.

Контактные элементы и контактные подъемники

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

Ориентированный контактный элемент на плоскости - это пара, состоящая из точки и ориентированный (т.е. направленная) линия через эту точку. Точка и линия - это инцидентные циклы. Ключевое наблюдение состоит в том, что набор всех циклов, инцидентных как точке, так и прямой, является инвариантным объектом Ли: помимо точки и линии, он состоит из всех окружностей, которые ориентированно соприкасаются с прямой в данной точке . Это называется карандаш циклов Ли, или просто контактный элемент.

Обратите внимание, что все циклы также связаны друг с другом. В терминах квадрики Ли это означает, что пучок циклов - это (проективная) прямая, целиком лежащая на квадрике Ли, то есть это проективизация полностью нулевого двумерного подпространства в р3,2: все репрезентативные векторы для циклов в пучке ортогональны друг другу.

Множество всех прямых на квадрике Ли представляет собой трехмерную многообразие называется пространство контактных элементов Z3. Преобразования Ли сохраняют контактные элементы и действуют транзитивно на Z3. При заданном выборе точечных циклов (точки, ортогональные выбранному времениподобному вектору v) каждый контактный элемент содержит уникальную точку. Это определяет карту из Z3 к 2-сфере S2 чьи волокна - окружности. Это отображение не инвариантно Ли, поскольку точки не инвариантны Ли.

Позволять γ:[а,б] → р2 быть ориентированной кривой. потом γ определяет карту λ из интервала [а,б] к Z3 отправив т к контактному элементу, соответствующему точке γ(т) и ориентированная касательная к кривой в этой точке (линия в направлении γ '(т)). Эта карта λ называется контактный подъемник из γ.

Фактически Z3 это контактный коллектор, а контактная структура инвариантна Ли. Отсюда следует, что ориентированные кривые можно изучать инвариантно по Ли через их контактные подъемы, которые в общем случае можно охарактеризовать как Легендровые кривые в Z3. Точнее, касательное пространство к Z3 в точке, соответствующей нулевому 2-мерному подпространству π из р3,2 является подпространством тех линейные карты (Мод π):πр3,2/π с

А(Икс) · у + Икс · А(у) = 0

и распределение контактов - подпространство Hom (π,π/π) этого касательного пространства в пространстве Hom (π,р3,2/π) линейных отображений.

Отсюда следует, что погруженный Легендарная кривая λ в Z3 имеет предпочтительный цикл Ли, связанный с каждой точкой на кривой: производная погружения в т является одномерным подпространством в Hom (π,π/π) куда π=λ(т); ядро любого ненулевого элемента этого подпространства является корректно определенным 1-мерным подпространством π, т.е. точку на квадрике Ли.

Говоря более привычным языком, если λ - контактный подъем кривой γ в плоскости, то предпочтительным циклом в каждой точке является соприкасающийся круг. Другими словами, после выполнения контактных подъемов большая часть базовой теории кривых на плоскости остается инвариантной для Ли.

Геометрия сферы Ли в пространстве и более высоких измерениях

Общая теория

Геометрия сферы Ли в п-размеры получается заменой р3,2 (соответствует квадрике Ли в п = 2 измерения) на рп + 1, 2. Это рп + 3 снабженный симметричной билинейной формой

Квадрика Ли Qп снова определяется как набор [Икс] ∈ рпп+2 = P (рп+1,2) с Икс · Икс = 0. Квадрика параметризует ориентированную (п - 1) -сферы в п-мерное пространство, в том числе гиперплоскости и точечные сферы как предельные случаи. Обратите внимание, что Qп является (n + 1) -мерным многообразием (сферы параметризуются своим центром и радиусом).

Отношение инцидентности сохраняется без изменений: сферы, соответствующие точкам [Икс], [у] ∈ Qп иметь ориентированный контакт первого порядка тогда и только тогда, когда Икс · у = 0. Группа преобразований Ли теперь O (n + 1, 2), и преобразования Ли сохраняют инцидентность циклов Ли.

Пространство контактных элементов равно (2п - 1) -мерное контактное многообразие Z2п – 1: с точки зрения данного выбора точечных сфер эти контактные элементы соответствуют парам, состоящим из точки в п-мерное пространство (которое может быть точкой на бесконечности) вместе с ориентированным гиперплоскость проходя через эту точку. Космос Z2п – 1 поэтому изоморфна проективизированному котангенсный пучок из п-сфера. Это отождествление не инвариантно относительно преобразований Ли: в инвариантных терминах Ли Z2п – 1 - пространство (проективных) прямых на квадрике Ли.

Любая погруженная ориентированная гиперповерхность в п-мерное пространство имеет контактный лифт до Z2п – 1 определяется его ориентированной касательные пространства. Больше не существует предпочтительного цикла Лжи, связанного с каждой точкой: вместо этого есть п - 1 таких циклов, соответствующих сферам кривизны в евклидовой геометрии.

Проблема Аполлония имеет естественное обобщение, связанное с п +1 гиперсфера в п размеры.[4]

Три измерения и соответствие линейной сфере

В случае п= 3 квадрика Q3 в P (р4,2) описывает (лиеву) геометрию сфер в трехмерном евклидовом пространстве. Ли заметил замечательное сходство с Кляйн переписка для линий в трехмерном пространстве (точнее в рп3).[2]

Предполагать [Икс], [у] ∈ рп3, с однородные координаты (Икс0,Икс1,Икс2,Икс3) и (у0,у1,у2,у3).[5] Положить пij = Иксяуj - Иксjуя. Это однородные координаты проективная линия присоединение Икс и у. Есть шесть независимых координат, и они удовлетворяют единственному соотношению: Отношение Плюккера

п01 п23 + п02 п31 + п03 п12 = 0.

Отсюда следует, что существует взаимно однозначное соответствие между строками в рп3 и указывает на Кляйн квадрик, которая является квадратичной гиперповерхностью точек [п01, п23, п02, п31, п03, п12] в рп5 удовлетворяющие соотношению Плюккера.

В квадратичная форма определение отношения Плюккера происходит от симметричной билинейной формы сигнатуры (3,3). Другими словами, пространство строк в рп3 квадрика в P (р3,3). Хотя это не то же самое, что квадрика Ли, «соответствие» можно определить между линиями и сферами, используя сложные числа: если Икс = (Икс0,Икс1,Икс2,Икс3,Икс4,Икс5) является точкой на (комплексифицированной) квадрике Ли (т. е. Икся считаются комплексными числами), то

п01 = Икс0 + Икс1, п23 = –Икс0 + Икс1
п02 = Икс2 + яИкс3, п31 = Икс2 - яИкс1
п03 = Икс4 , п12 = Икс5

определяет точку на комплексифицированной квадрике Клейна (где i2 = –1).

Циклиды Дюпена

Циклид Дюпена.

Геометрия сферы Ли дает естественное описание Циклиды Дюпена. Они характеризуются как общая оболочка двух однопараметрических семейств сфер. S(s) и Т(т), куда S и Т являются отображениями интервалов в квадрику Ли. Чтобы общий конверт существовал, S(s) и Т(т) должно быть инцидентом для всех s и т, т.е. их репрезентативные векторы должны охватывать нулевое 2-мерное подпространство р4,2. Следовательно, они определяют карту в пространство контактных элементов. Z5. Это отображение является лежандровым тогда и только тогда, когда производные S (или же Т) ортогональны Т (или же S), т.е. тогда и только тогда, когда существует ортогональное разложение р4,2 в прямую сумму 3-мерных подпространств σ и τ сигнатуры (2,1) такую, что S принимает значения в σ и Т принимает значения в τ. Наоборот, такое разложение однозначно определяет контактный подъем поверхности, которая охватывает два однопараметрических семейства сфер; образ этого контактного лифта задается нулевыми двумерными подпространствами, которые пересекаются σ и τ в паре нулевых строк.

Такое разложение с точностью до знака эквивалентно задается симметричным эндоморфизмом р4,2 квадрат которой равен единице, а собственные подпространства ± 1 равны σ и τ. Использование внутреннего продукта на р4,2, это определяется квадратичной формой на р4,2.

Таким образом, циклиды Дюпена определяются квадратичными формами на р4,2 такой, что соответствующий симметричный эндоморфизм имеет квадрат, равный единице и собственному подпространству сигнатуры (2,1).

Это дает один способ увидеть, что циклиды Дюпена являются циклидами в том смысле, что они являются нулевыми наборами квартик определенной формы. Для этого отметим, что, как и в плоском случае, 3-мерное евклидово пространство вкладывается в квадрику Ли Q3 как набор точечных сфер, отличных от идеальной точки на бесконечности. Явно точка (x, y, z) в евклидовом пространстве соответствует точке

[0, Икс, у, z, –1, (Икс2 + у2 + z2)/2]

в Q3. Циклида состоит из точек [0,Икс1,Икс2,Икс3,Икс4,Икс5] ∈ Q3 которые удовлетворяют дополнительному квадратичному соотношению

для некоторого симметричного 5 ×; 5 матрица А = (аij). Класс циклид - это естественное семейство поверхностей в геометрии сферы Ли, а циклиды Дюпена образуют естественное подсемейство.

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

Примечания

  1. ^ Окончательный современный учебник по геометрии сферы Ли: Сесил 1992. Практически весь материал этой статьи можно найти там.
  2. ^ а б Ли был особенно доволен этим достижением: см. Хельгасон 1994, п. 7.
  3. ^ Подход сфер Ли обсуждается в Злобец и Мрамор Коста 2001; для классификации решений с использованием геометрии Лагерра см. Рыцарь 2005.
  4. ^ Эту проблему и ее решение обсуждает Злобец и Мрамор Коста 2001.
  5. ^ Следующее обсуждение основано на Хельгасон 1994, стр. 4–5.

Рекомендации

  • Уолтер Бенц (2007) Классическая геометрия в современном контексте: геометрия реальных пространств внутреннего продукта, глава 3: Сферические геометрии Мёбиуса и Ли, страницы 93–174, Биркхойзер, ISBN  978-3-7643-8541-5 .
  • Блашке, Вильгельм (1929), "Дифференциальная геометрия дер Крайзе и Кугельн", Vorlesungen über Differentialgeometrie, Grundlehren der Mathematischen Wissenschaften, 3, Springer.
  • Сесил, Томас Э. (1992), Геометрия сферы Ли, Universitext, Springer-Verlag, Нью-Йорк, ISBN  978-0-387-97747-8.
  • Хельгасон, Сигурдур (1994), "Софус Ли, математик" (PDF), Материалы конференции памяти Софуса Ли, Осло, август 1992 г., Осло: Scandinavian University Press, стр. 3–21..
  • Найт, Роберт Д. (2005), "Контактная проблема Аполлония и контактная геометрия Ли", Журнал геометрии, Базель: Биркхойзер, 83 (1–2): 137–152, Дои:10.1007 / s00022-005-0009-х, ISSN  0047-2468.
  • Милсон, Р. (2000) "Обзор соответствия Ли линейной сфере", стр. 1–10 из Геометрическое исследование дифференциальных уравнений, J.A. Лесли и Т. Редакторы Robart, Американское математическое общество ISBN  0-8218-2964-5 .
  • Злобец, Борут Юрчич; Мрамор Коста, Нежа (2001), «Конфигурации циклов и проблема Аполлония», Журнал математики Роки-Маунтин, 31 (2): 725–744, Дои:10.1216 / rmjm / 1020171586, ISSN  0035-7596.

внешняя ссылка