Ориентируемость

Тор является ориентируемой поверхностью

Мёбиус не является ориентируемой поверхностью. Обратите внимание, что краб-скрипач, перемещающийся вокруг него, переворачивается влево и вправо при каждом полном обращении. Этого бы не произошло, если бы краб был на торе.

Римская поверхность неориентируемо

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

Понятие ориентируемости можно обобщить и на многомерные многообразия . ^[1] Многообразие ориентируемо, если оно имеет последовательный выбор ориентации , а связное ориентируемое многообразие имеет ровно две различные возможные ориентации. В этом случае могут быть даны различные эквивалентные формулировки ориентируемости, в зависимости от желаемого применения и уровня общности. Формулировки, применимые к общим топологическим многообразиям, часто используют методы теории гомологий , тогда как для дифференцируемых многообразий присутствует больше структуры, позволяющая формулировать в терминах дифференциальных форм.. Важным обобщением понятия ориентируемости пространства является понятие ориентируемости семейства пространств, параметризованных каким-либо другим пространством ( расслоением ), для которого необходимо выбрать ориентацию в каждом из пространств, которая непрерывно изменяется по отношению к изменениям в значения параметров.

Ориентируемые поверхности [ править ]

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

Поверхность S в евклидовом пространстве R ³ является ориентируемой, если двумерную фигуру (например, ) нельзя перемещать по поверхности и обратно туда, где она была начата, чтобы она выглядела как ее собственное зеркальное отображение ( ). В противном случае поверхность неориентируема . Абстрактная поверхность (т. Е. Двумерное многообразие ) ориентируема, если на поверхности может быть определена непротиворечивая концепция вращения по часовой стрелке непрерывным образом. То есть петля, проходящая по поверхности в одну сторону, никогда не может непрерывно деформироваться (без перекрытия) до петли, идущей в противоположном направлении. Оказывается, это эквивалентно вопросу о том, не содержит ли поверхность подмножества, которое гомеоморфный к Мёбиусу . Таким образом, для поверхностей лента Мёбиуса может считаться источником всей неориентируемости.

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

Примеры [ править ]

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

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

В общем, свойство ориентироваться не эквивалентно двустороннему; однако это верно, когда окружающее пространство (такое как R ³ выше) ориентируемо. Например, тор, вложенный в

{\ Displaystyle К ^ {2} \ раз S ^ {1}}

может быть односторонним, а бутылка Клейна в том же пространстве может быть двусторонней; здесь имеется в виду бутылка Клейна. ${\ displaystyle K ^ {2}}$

Ориентация по триангуляции [ править ]

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

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

Этот подход обобщается на любое n -многообразие, имеющее триангуляцию. Однако некоторые 4-многообразия не имеют триангуляции, и вообще при n > 4 некоторые n -многообразия имеют триангуляции, которые неэквивалентны.

Ориентируемость и гомология [ править ]

Если H ₁ ( S ) обозначает первую группу гомологий поверхности S , то S ориентируема тогда и только тогда, когда H ₁ ( S ) имеет тривиальную подгруппу кручения . Точнее, если S ориентируема, то H ₁ ( S ) - свободная абелева группа , а если нет, то H ₁ ( S ) = F + Z / 2 Z, где F - свободная абелева группа, а Z / 2 ZКоэффициент генерируется средней кривой в Мебиуса , встроенного в S .

Ориентируемость многообразий [ править ]

Пусть M - связное топологическое n - многообразие . Есть несколько возможных определений того , что это означает , что для М ориентируемого. Некоторые из этих определений требуют, чтобы M имел дополнительную структуру, например, дифференцируемость. Иногда $n = 0$ нужно рассматривать как особый случай. Когда к M применимо более одного из этих определений , то M ориентируемо при одном определении тогда и только тогда, когда оно ориентируемо при других. ^[2]^[3]

Ориентируемость дифференцируемых многообразий [ править ]

Наиболее интуитивно понятные определения требуют, чтобы M было дифференцируемым многообразием. Это означает, что переходные функции в атласе M являются C ¹ -функциями. Такая функция допускает определитель Якоби . Когда определитель Якоби положителен, функция перехода называется сохраняющей ориентацию . An ориентированного атлас на М является атласом , для которого всех функции перехода являются сохраняющей ориентацией. М является ориентируемым , если она допускает ориентированный атлас. При $п > 0$ , ориентация на М- максимально ориентированный атлас. (Когда $n = 0$ , ориентация M является функцией $M \to {\pm 1$ }.)

Ориентируемость и ориентации также можно выразить в терминах касательного расслоения. Касательное расслоение является векторным расслоением , поэтому это расслоение со структурной группой $GL (n, R)$ . То есть функции перехода многообразия индуцируют функции перехода на касательном расслоении, которые являются послойными линейными преобразованиями. Если структурную группу можно свести к группе $GL + (n, R)$ матриц с положительным определением или, что то же самое, если существует атлас, функции переходов которого определяют сохраняющее ориентацию линейное преобразование на каждом касательном пространстве, то многообразиеM ориентируем. Наоборот, M ориентируемо тогда и только тогда, когда структурная группа касательного расслоения может быть сокращена таким образом. Аналогичные наблюдения можно сделать и для связки кадров.

Другой способ определить ориентацию на дифференцируемом многообразии - использовать объемные формы . Форма объема является нигде не исчезающим сечением ω из $⋀ п Т * М$ , верхние внешней степени кокасательного расслоения М . Например, R ⁿ имеет стандартную форму объема, задаваемую $dx 1 \land ... \land dx n$ . Учитывая форму объема на M , совокупность всех карт $U \to R n,$ для которых стандартная форма объема возвращается к положительному кратному ωориентированный атлас. Следовательно, существование формы объема равносильно ориентируемости многообразия.

Формы объема и касательные векторы могут быть объединены, чтобы дать еще одно описание ориентируемости. Если $X 1, ..., X n$ - базис касательных векторов в точке p , то базис называется правым, если $ω (X 1, ..., X n)> 0$ . Функция перехода сохраняет ориентацию тогда и только тогда, когда она отправляет правые основания на правые. Существование формы объема означает редукцию структурной группы касательного расслоения или расслоения реперов до $GL + (n, R)$ . Как и прежде, это означает , ориентируемость М . И наоборот, если M является ориентируемым, то формы локальных объемов могут быть скомпонованы вместе, чтобы создать форму глобального объема, при этом ориентируемость необходима, чтобы гарантировать, что глобальная форма никуда не денется.

Гомологии и ориентируемость общих многообразий [ править ]

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

Этот вопрос можно решить, определив локальные ориентации. На одномерном многообразии локальная ориентация вокруг точки p соответствует выбору левой и правой сторон около этой точки. На двумерном многообразии это соответствует выбору по часовой стрелке и против часовой стрелки. У этих двух ситуаций есть общая черта, заключающаяся в том, что они описаны в терминах поведения в высшей размерности вблизи p, но не в p . В общем случае пусть M - топологическое n -многообразие. Локальная ориентация из М вокруг точки р является выбором образующей группы

{\ displaystyle H_ {n} \ left (M, M \ setminus \ {p \}; \ mathbf {Z} \ right).}

Чтобы увидеть геометрическое значение этой группы, выберите диаграмму вокруг стр . В этой схеме есть окрестность р , который является открытым шаром B вокруг начала координат O . По теореме о вырезании , изоморфно . Шар B стягиваем, поэтому его группы гомологий равны нулю, кроме степени ноль, а пространство $B$ $\$ $O$ является $($ $n$ $- 1)$ -сферой, поэтому его группы гомологий равны нулю, кроме степеней $n$ $- 1$ и $0$ . Вычисление с длинной точной последовательностью в ${\ displaystyle H_ {n} \ left (M, M \ setminus \ {p \}; \ mathbf {Z} \ right)}$ ${\ displaystyle H_ {n} \ left (B, B \ setminus \ {O \}; \ mathbf {Z} \ right)}$ относительная гомология показывает, что указанная выше группа гомологий изоморфна . Таким образом, выбор генератора соответствует решению, является ли сфера вокруг p положительной или отрицательной на данной диаграмме . Отражение $R$ $n$ через начало координат действует посредством отрицания , поэтому геометрическое значение выбора генератора состоит в том, что он отличает диаграммы от их отражений. ${\ displaystyle H_ {n-1} \ left (S ^ {n-1}; \ mathbf {Z} \ right) \ cong \ mathbf {Z}}$ $H_{n-1}\left(S^{n-1};\mathbf {Z} \right)$

На топологическом многообразии функция перехода сохраняет ориентацию, если в каждой точке p в своей области определения она фиксирует образующие . Отсюда соответствующие определения такие же, как и в дифференцируемом случае. An ориентированный атлас является одним , для которого всех функции перехода сохраняет ориентация, М является ориентируемым , если она допускает ориентированный атлас, и когда $п$ $> 0$ , ориентации на М являются максимальной ориентированным атласом. $H_{n}\left(M,M\setminus \{p\};\mathbf {Z} \right)$

Интуитивно ориентация M должна определять уникальную локальную ориентацию M в каждой точке. Это уточняется, отмечая, что любая диаграмма в ориентированном атласе вокруг p может использоваться для определения сферы вокруг p , и эта сфера определяет генератор . Более того, любая другая карта вокруг p связана с первой картой функцией перехода, сохраняющей ориентацию, и это означает, что две диаграммы дают один и тот же генератор, поэтому генератор уникален. $H_{n}\left(M,M\setminus \{p\};\mathbf {Z} \right)$

Возможны и чисто гомологические определения. Если предположить , что М замкнут и подключен, М является ориентируемым тогда и только тогда , когда п - й группы гомологии изоморфна целых чисел Z . Ориентации на М является выбор генератора $альфа$ этой группы. Этот генератор определяет ориентированный атлас, фиксируя генератор бесконечной циклической группы и принимая ориентированные карты такими, для которых $α$ $H_{n}(M;\mathbf {Z} )$ $H_{n}(M;\mathbf {Z} )$ толкает вперед к неподвижному генератору. И наоборот, ориентированный атлас определяет такой генератор, поскольку совместимые локальные ориентации могут быть склеены вместе, чтобы получить генератор для группы гомологий . ^[4] $H_{n}(M;\mathbf {Z} )$

Ориентация и когомология [ править ]

Многообразие M ориентируемо тогда и только тогда, когда первый класс Штифеля – Уитни равен нулю. В частности, если первая группа когомологий с коэффициентами Z / 2 равна нулю, то многообразие ориентируемо. Более того, если M ориентируемо и w ₁ обращается в нуль, то параметризует выбор ориентаций. ^[5] Эта характеризация ориентируемости распространяется на ориентируемость общих векторных расслоений над M , а не только касательного расслоения. $w_{1}(M)\in H^{1}(M;\mathbf {Z} /2)$ $H^{0}(M;\mathbf {Z} /2)$

Ориентация двойной крышки [ править ]

Вокруг каждой точки M есть две локальные ориентации. Интуитивно существует способ перейти от локальной ориентации в точке $p$ к локальной ориентации в соседней точке $p'$ : когда две точки лежат в одной и той же координатной карте $U \to R n$ , эта координатная карта определяет совместимые локальные ориентации в $p$ и $p'$ . Таким образом, множеству локальных ориентаций может быть задана топология, и эта топология превращает его в многообразие.

Точнее, пусть O множество всех локальных ориентаций М . Чтобы топологизировать O, мы укажем суббазу для его топологии. Пусть U открытое подмножество М выбирают таким образом, что изоморфна Z . Предположим, что α - образующая этой группы. Для каждого p в U существует функция продвижения вперед . Кообласть этой группы имеет два образующих, и α отображается в один из них. Топология на O определена так, что $H_{n}(M,M\setminus U;\mathbf {Z} )$ $H_{n}(M,M\setminus U;\mathbf {Z} )\to H_{n}\left(M,M\setminus \{p\};\mathbf {Z} \right)$

\{{\text{Image of }}\alpha {\text{ in }}H_{n}\left(M,M\setminus \{p\};\mathbf {Z} \right)\colon p\in U\}

открыт.

Существует каноническое отображение $π: O \to M,$ которое переводит локальную ориентацию в точке p в точку p . Ясно, что каждая точка из M имеет ровно два прообраза относительно $π$ . На самом деле, $π$ даже локальный гомеоморфизм, так как прообразы открытых множеств U , упомянутых выше, гомеоморфны несвязные двух экземпляров U . Если M ориентируем, то M сама одна из этих открытых множеств, поэтому O является несвязным объединением двух экземпляров М . Однако если M неориентируемо, то Oсвязно и ориентируемо. Многообразие O называется ориентационным двойным покрытием .

Коллекторы с краем [ править ]

Если M - многообразие с краем, то ориентация M определяется как ориентация его внутренней части. Такая ориентация индуцирует ориентацию ∂ M . Действительно, предположим, что ориентация M фиксирована. Пусть $U \to R n +$ - карта в граничной точке M, которая, будучи ограничена внутренней частью M , находится в выбранном ориентированном атласе. Ограничение этой диаграммы на ∂ M представляет собой график ∂ M . Такие графики образуют ориентированный атлас для ∂ M .

Когда M является гладким, в каждой точке p на ∂ M ограничение касательного расслоения M на ∂ M изоморфно $T p \partial M \oplus R$ , где фактор R описывается направленным наружу нормальным вектором. Ориентации Т _р ∂ М определяется условием , что основа Т _р ∂ М положительно ориентированы тогда и только тогда , когда она, в сочетании с внешним указывая вектор нормали, определяет положительно ориентированный базис Т _р М .

Ориентируемая двойная крышка [ править ]

Воспроизвести медиа

Анимация ориентируемого двойного покрытия ленты Мёбиуса .

Близкое понятие использует идею покрытия пространства . Для связного многообразия M возьмем M ^∗ , множество пар ( x , o), где x - точка M, а o - ориентация в x ; здесь мы предполагаем, что M либо гладко, поэтому мы можем выбрать ориентацию на касательном пространстве в точке, либо мы используем особые гомологии для определения ориентации. Затем для каждого открытого ориентированного подмножества M мы рассматриваем соответствующее множество пар и определяем его как открытое множество M ^∗ . Это дает M ^∗топология и проекция, отправляющая ( x , o) в x , тогда является покрывающей картой 2 к 1. Это покрытие называется ориентируемым двойным покрытием , поскольку оно ориентируемое. M ^∗ связно тогда и только тогда, когда M неориентируемо.

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

Ориентация векторных пучков [ править ]

Вещественное векторное расслоение , которое априори имеет структурную группу GL (n) , называется ориентируемой, если структурная группа может быть сведена к группе матриц с положительным определителем . Для касательного расслоения это сокращение всегда возможно, если лежащее в основе базовое многообразие ориентируемо, и на самом деле это обеспечивает удобный способ определения ориентируемости гладкого вещественного многообразия : гладкое многообразие определяется как ориентируемое, если его касательное расслоение $GL^{+}(n)$ ориентируемо (как векторное расслоение). Заметим, что как самостоятельное многообразие касательное расслоение всегда ориентируемо, даже над неориентируемыми многообразиями.

Понятия, связанные с данным [ править ]

Линейная алгебра [ править ]

Понятие ориентируемости существенно выводится из топологии действительной полной линейной группы

\operatorname {GL} (n,\mathbf {R} )

, В частности , что самая низкая гомотопическая группа является

\pi _{0}(\operatorname {GL} (n,\mathbf {R} ))=\mathbf {Z} /2

обратимое преобразование реального векторного пространства либо сохраняет ориентацию, либо меняет ориентацию.

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

Аналогичное понятие для симметрической группы является знакопеременной группой из четных перестановок .

Лоренцева геометрия [ править ]

В лоренцевой геометрии существует два вида ориентируемости: ориентируемость в пространстве и ориентируемость во времени . Они играют роль в причинной структуре пространства-времени. ^[6] В контексте ОТО , A пространства - временимногообразие ориентировано в пространстве, если, когда два наблюдателя-правши направляются на ракетных кораблях, стартуя в одной точке пространства-времени, а затем снова встречаются в другой точке, они остаются правыми по отношению друг к другу. Если пространство-время ориентируется во времени, то два наблюдателя всегда будут согласовывать направление времени в обеих точках встречи. Фактически, пространство-время ориентируется во времени тогда и только тогда, когда любые два наблюдателя могут договориться, какая из двух встреч предшествовала другой. ^[7]

Формально псевдоортогональная группа O ( p , q ) имеет пару характеров : символ пространственной ориентации σ ₊ и характер временной ориентации σ _- ,

\sigma _{\pm }:\operatorname {O} (p,q)\to \{-1,+1\}.

Их произведение σ = σ ₊ σ _- определитель, придающий ориентировочный характер. Пространство-ориентация псевдориманова многообразия идентифицируются с секцией из ассоциированного пучка

\operatorname {O} (M)\times _{\sigma _{+}}\{-1,+1\}

где O ( M ) - пучок псевдоортогональных реперов. Точно так же временная ориентация - это часть связанного пакета

\operatorname {O} (M)\times _{\sigma _{-}}\{-1,+1\}.

См. Также [ править ]

Ориентация кривой
Ориентационный пучок

Ссылки [ править ]

^ Манро, Маршалл Эванс (1963). Современное многомерное исчисление . Аддисон-Уэсли Паб. Co. p. 263.
^ Спивак, Майкл (1965). Исчисление на многообразиях . HarperCollins . ISBN 978-0-8053-9021-6.
^ Хэтчер, Аллен (2001). Алгебраическая топология . Издательство Кембриджского университета . ISBN 978-0521795401.
^ Хэтчер, Аллен (2001). Алгебраическая топология . Издательство Кембриджского университета . ISBN 978-0521795401., Теорема 3.26 (a) на с. 236
^ Лоусон, Х. Блейн ; Мишельсон, Мария-Луиза (1989). Спиновая геометрия . Издательство Принстонского университета . ISBN 0-691-08542-0., Теорема 1.2 на с. 79
^ SW Хокинг , GFR Ellis (1973). Крупномасштабная структура пространства-времени . Кембридж: Издательство Кембриджского университета. ISBN 0-521-20016-4.
^ Марк Дж. Хэдли (2002) Ориентируемость пространства-времени , классическая и квантовая гравитация 19: 4565-4571 arXiv: gr-qc / 0202031v4

Внешние ссылки [ править ]

Ориентация многообразий в Атласе многообразий.
Ориентационное покрытие в Manifold Atlas.
Ориентация многообразий в обобщенных теориях когомологий в Атласе многообразий.
Статья об ориентации в энциклопедии математики .

[1] Манро, Маршалл Эванс (1963). Современное многомерное исчисление . Аддисон-Уэсли Паб. Co. p. 263.

[2] Спивак, Майкл (1965). Исчисление на многообразиях . HarperCollins . ISBN 978-0-8053-9021-6.

[3] Хэтчер, Аллен (2001). Алгебраическая топология . Издательство Кембриджского университета . ISBN 978-0521795401.

[4] Хэтчер, Аллен (2001). Алгебраическая топология . Издательство Кембриджского университета . ISBN 978-0521795401., Теорема 3.26 (a) на с. 236

[5] Лоусон, Х. Блейн ; Мишельсон, Мария-Луиза (1989). Спиновая геометрия . Издательство Принстонского университета . ISBN 0-691-08542-0., Теорема 1.2 на с. 79

[6] SW Хокинг , GFR Ellis (1973). Крупномасштабная структура пространства-времени . Кембридж: Издательство Кембриджского университета. ISBN 0-521-20016-4.

[7] Марк Дж. Хэдли (2002) Ориентируемость пространства-времени , классическая и квантовая гравитация 19: 4565-4571 arXiv: gr-qc / 0202031v4

[1]