Ориентация
Ориента́ция (от фр. orientation, буквально направление на восток[1][2][3], от лат. oriens — восток[1][3]) — обобщение и формализация понятий направления обхода и направления на прямой на более сложные геометрические объекты, многообразия, векторные расслоения и так далее[4][2][5][3].
В классическом понимании ориентация пространства — это выбор одного из классов систем координат пространства, причём[4]:
- системы координат одного класса положительно связаны между собой;
- каждая система координат задает некоторую ориентацию, тем самым определяя свой класс.
В элементарной математике ориентация часто описывается через направления по и против часовой стрелки. Более продвинутые определения даются через теорию когомологий.[4]
Одномерные геометрические объекты
[править | править код]Ориентированная прямая
[править | править код]Определение ориентированной прямой
[править | править код]На прямой точка может двигаться в двух противоположных направлениях. Например, если прямая расположена горизонтально (см. рисунок справа с горизонтальной прямой), то на ней возможны два движения в противоположных направлениях[2][5][3]:
- слева направо,
- справа налево.
Ориентированная прямая, или направленная прямая, или ось — прямая вместе с фиксированным направлением на ней[2][5][3].
Две ориентированные прямые параллельны, если их направления совпадают[6].
Линейный элемент
[править | править код]Линейный элемент — пара геометрических образов: точка и направленная прямая, проходящая через эту точку[7][8]. Другими словами, линейный элемент — это точка и направление, заданное в этой точке. Бесконечно удалённый линейный элемент — пара геометрических образов: бесконечно удалённая точка плоскости и направление, которое определяется любой направленной прямой (параллельные прямые задают одно направление)[8].
Окружности, точки и прямые в касательной аналлагматической геометрии понимаются следующим образом[8]:
- направленной окружностью называется множество всех линейных элементов, каждый из которых определяется точкой этой окружности и касательной прямой к окружности в этой точке, причем направление линейного элемента совпадает с направлением окружности;
- точкой называется множество всех линейных элементов, каждый из которых имеет в своём составе эту точку;
- направленной прямой называется множество всех линейных элементов, каждый из которых определяется точкой этой прямой и направлением прямой.
На следующем рисунке показаны направленная окружность, точка и направленная прямая, задаваемые линейными элементами.
-
Направленная окружность
-
Точка
-
Направленная прямая
Ориентированное расстояние
[править | править код]Рассмотрим прямую с уравнением где , то есть прямая не проходит через начало координат , и произвольную точку . Тогда расстояние от точки до прямой равно следующему выражению[9]:
Возможны три случая[9]:
- знаки чисел и одинаковы. В этом случае точки и находятся по одну сторону от данной прямой;
- знаки чисел и противоположны. В этом случае точки и находятся по разные стороны от данной прямой;
- , то есть . В этом случае точка принадлежит данной прямой.
Ориентированное расстояние от точки до прямой — число
полученное из координат точки и прямой , [9].
Ориентированный отрезок
[править | править код]Ориентированный отрезок как вектор
[править | править код]Ве́ктор — ориентированный, или направленный, отрезок, то есть отрезок, для которого указано, какая из его граничных точек начало, а какая — конец[10].
Вектор с началом в точке и концом в точке принято обозначать как . Векторы также могут обозначаться малыми латинскими буквами со стрелкой (иногда — чёрточкой) над ними, например . Другой распространённый способ записи: написание символа вектора прямым жирным шрифтом: [10].
Ориентированный отрезок как скаляр
[править | править код]На ориентированной прямой любой отрезок характеризуется не только своей абсолютной величиной (модулем) как скаляром, но ещё и знаком[11].
Ориентированный, или направленный, отрезок как скаляр — число, равное модулю отрезка со знаком плюс, если направление отрезка как вектора совпадает с направлением прямой, на которой он лежит, и со знаком минус, если эти направления противоположны. Направленные отрезки обозначаются чертой над обозначением обычного отрезка[11]:
- — обычный (ненаправленный) отрезок;
- — направленный отрезок.
Например, на рисунке справа с направленной прямой направленный отрезок положителен, — отрицателен[11].
Предложение 1. Простые отрезки и не различаются, но при этом направленные отрезки противоположны[11]:
- .
Предложение 2. Произведение и отношение двух направленных отрезков на одной прямой не зависят от направления на прямой[11].
Доказательство. Пусть и — два простых отрезка одной прямой. Тогда независимо от направления прямой произведение и отношение [11]:
- положительны, если направления отрезков и как векторов совпадают;
- отрицательны, если направления отрезков и как векторов противоположны.
Ориентированная кривая
[править | править код]Определение ориентированной кривой
[править | править код]Аналогично ориентации прямой любая замкнутая кривая ориентируема двумя способами[2][5][3]:
На рисунке справа показаны две ориентированные окружности: окружность слева ориентирована против часовой стрелки, справа — по часовой стрелке[2][5][3].
Ориентированная, или направленная, кривая — кривая вместе с фиксированным направлением на ней[2][5][3].
Ориентированная окружность
[править | править код]Ориентированная, или направленная, окружность, или цикл, — окружность, для которой окончательно выбрано одно из двух направлений[12].
Две ориентированные окружности касаются, если их направления в общей точке совпадают. Ориентированная окружность и ориентированная прямая касаются, если их направления в общей точке совпадают[6].
На следующем рисунке показаны:
- касающиеся ориентированные окружности;
- не касающиеся ориентированные окружности, которые касаются как обычные окружности.
-
Касающиеся ориентированные окружности
-
Не касающиеся ориентированные окружности, касающиеся как обычные окружности
Ориентированный многоугольник
[править | править код]Рассмотрим произвольный многоугольник (не обязательно на плоскости), то есть замкнутую ломаную линию[13][14][15].
Ориентированный многоугольник, или замкнутый многоугольный путь, — многоугольник (возможно, самопересекающийся), у которого (см. рисунок справа с выпуклым многоугольником)[13][14][15]:
- на каждой стороне задано направление, то есть одна из вершин стороны выбрана начальной, а другая — конечной;
- начало каждой стороны есть конец предыдущей.
Ориентация площади простого многоугольника — площадь области плоскости, ограниченной ориентированным простым (то есть не самопересекающимся) плоским многоугольником, назначается положительной, если обход многоугольника по направлению его сторон происходит против часовой стрелки, то есть эта область плоскости остаётся слева при обходе, и отрицательной в противоположном случае (см. рисунок справа с отрицательной ориентацией площади)[13][14][15].
Определим площадь самопересекающегося ориентированного многоугольника, который делит плоскость на фиксированное количество кусков двух типов[13][14]:
- внутренние связные конечные куски,
- внешний бесконечный кусок.
Коэффициент куска самопересекающегося ориентированного многоугольника — разность , где числа и получаются следующим образом[13][14]:
- точка внешнего куска многоугольника соединяется отрезком с внутренней точкой выбранного внутреннего куска;
- направленный многоугольник пересекает этот отрезок раз слева направо и справа налево.
Предложение 1. Коэффициент куска самопересекающегося ориентированного многоугольника не зависит от положения внешней точки многоугольника и может быть равен положительному или отрицательному целому числу или нулю[13][14].
Площадь самопересекающегося ориентированного многоугольника — взвешенная сумма обычных площадей всех внутренних кусков самопересекающегося многоугольника, в которой обычная площадь куска умножается на его коэффициент[13][14].
-
Ориентированная площадь
-
Ориентированная площадь
-
Ориентированная площадь
Практическое применение. Площадь самопересекающегося ориентированного многоугольника важна для теории математических приборов[англ.], в частности, для теории планиметра. В этом случае площадь самопересекающегося ориентированного многоугольника равна следующим величинам:
где соответственно конец радиус-вектора или ордината один раз пробегают данный замкнутый многоугольный путь[13].
Ориентированная плоскость
[править | править код]Ориентированная плоскость — плоскость с выбранной на ней фиксированной ориентацией[2][5][3].
Плоскость можно ориентировать следующими двумя способами[2][5][3][16]:
- различными ориентированными геометрическими фигурами[4];
- выбором ориентированной системы декартовых координат[2][5][3].
Ориентация простых замкнутых кривых
[править | править код]Простую замкнутую кривую на плоскости ориентируется двумя разными способами: по часовой стрелке и против часовой стрелки. Ориентация такой кривой автоматически ориентирует ограниченную кривой часть плоскости[2][5][3].
Одинаковая ориентация двух простых замкнутых кривых — нахождение с одной и той же стороны частей плоскости, ограниченных кривыми, при обходе кривых в направлении, заданном их ориентацией (слева при обходе против часовой стрелки, справа — по часовой стрелке). Например, на рисунке справа две первые окружности ориентированы одинаково, а последняя — противоположно с первыми[2][5][3].
Предложение 1. Выбор ориентации одной простой замкнутой кривой на плоскости определяет ориентацию всех остальных простых замкнутых кривых на плоскости[2][5][3].
Ориентированная плоскость — плоскость с выбранной фиксированной ориентацией простых замкнутых кривых, лежащих на ней[2][5][3].
Предложение 2. Простая замкнутая кривая, зеркально симметричная ориентированной простой замкнутой кривой, получает ориентация, противоположную ориентации исходной кривой[4].
Два класса систем координат на плоскости
[править | править код]Декартовые системы координат на плоскости
[править | править код]Ориентация плоскости — выбор осей декартовой системы координат и , при которой ориентацию окружности с центром в начале координат определяют направлением от положительного направления оси к положительному направлению оси через меньший угол[2][5][3][4].
Плоскость можно ориентировать двумя способами, при этом получается два класса систем координат: класс правых систем и класс левых.[2][5][3][4].
Правая система координат — декартова система координат, у которой направление вращения с центром в начале координат от положительного направления оси к положительному направлению оси через меньший угол есть направление вращения против часовой стрелки[2][5][3][4].
Левая система координат — декартова система координат, у которой направление вращения с центром в начале координат от положительного направления оси к положительному направлению оси через меньший угол есть направление вращения по часовой стрелке[2][5][3][4].
Например, на рисунке справа сначала показаны две правые системы координат, а последней показана левая система координат[2][5][3].
Матрица замены декартовых систем
[править | править код]Рассмотрим две произвольные декартовы система координат и . Координаты и одной и той же точки на плоскости в этих системах координат связаны соотношениями
где определитель матрицы, составленной из коэффициентов этой системы уравнений,
Матрица замены — матрица , составленная из коэффициентов системы уравнений, связывающей координаты фиксированной точки в двух разных декартовых системах координат[4].
Предложение 1. Две декартовы система координат и ориентированы одинаково и принадлежат одному классу, если определитель их матрицы замены , и противоположно, если [2][5][3][4].
Это утверждение используется для построения строгой аналитической теории ориентации плоскости[2][5][3].
Положительный переход из одной системы координат в другую — переход, при котором определитель матрицы замены положителен[4].
Предложение 2. Две декартовы системы координат и ориентированы одинаково и принадлежат одному классу, если одну из них можно перевести в другую непрерывно, то есть существует такое семейство координатных систем , которое[4]:
- непрерывно зависит от параметра ;
- связывает системы и , то есть совпадает с , а — с .
Предложение 3. Декартова система координат переходит в другой класс при зеркальном отражении плоскости[4].
Множество всех декартовых систем
[править | править код]Рассмотрим множество всех декартовых систем координат на плоскости. Это множество состоит из двух непересекающихся подмножеств и — классов — таких, что[2][5][3]:
- в пределах , равно как и в пределах , декартовы системы координат связаны преобразованиями с ;
- каждая декартова система координат из связана с декартовой системой координат из преобразованием с , и наоборот.
Ориентация плоскости — выбор одного из двух классов декартовых систем координат[2][5][3].
Правило задания класса системы координат с помощью окружности. Начало декартовой системы координат лежит в центре окружность с фиксированным направлением обхода, ось выбирается произвольно, а ось — так, чтобы вращение от к через меньший угол происходило в направлении, заданном на окружности (см. рисунок справа с двумя разными классами систем координат)[4].
Знак площадей и углов на плоскости
[править | править код]Знак площадей, ограниченных ориентируемыми замкнутыми кривыми, и углов на плоскости зависит от выбора ориентации на этой плоскости[2][5][3].
Рассмотрим, например, величину площади
фигуры, ограниченной ориентированной замкнутой кривой , заданной параметрически. Получим два случая[2][5][3]:
- в правой системе координат площадь фигуры положительна, если она ограничена кривой, ориентированной против часовой стрелки (см. первую фигуру на рисунке справа), и отрицательна для противоположной ориентации кривой (см. вторую фигуру на рисунке справа);
- в левой системе координат наоборот, площадь фигуры отрицательна, если она ограничена кривой, ориентированной против часовой стрелки (см. первую фигуру на рисунке справа), и положительна для противоположной ориентации кривой (см. вторую фигуру на рисунке справа).
Двумерные геометрические объекты
[править | править код]Ориентированный угол
[править | править код]Знак ориентированного угла
[править | править код]На ориентированной плоскости любой угол между обычными (ненаправленными) прямыми характеризуется не только своей абсолютной величиной как скаляром, но ещё и знаком[11].
Ориентированный, или направленный, угол на ориентированной плоскости — число, равное обычному углу между прямыми и со знаком плюс, если направление вращения от к совпадает с направлением ориентации плоскости, и со знаком минус в противном случае. Направленные углы обозначим следующим образом[11]:
- — обычный (ненаправленный) угол;
- — направленный угол.
Например, на рисунке справа показаны два направленных угла[11]:
- положительный угол между прямыми и ;
- отрицательный угол между прямыми и .
Предложение 1. Простые углы и не различаются, но при этом направленные углы противоположны[17]:
- .
Абсолютная величина ориентированного угла
[править | править код]Подобно обычному (ненаправленному) углу направленный угол однозначно не определён. Например, на рисунке справа изображены направленные углы , и , для которых при правой ориентации плоскости выполняются следующие равенства[18]:
- ,
- ,
- ,
- .
Эти равенства иллюстрируют следующее предложение[18].
Предложение 1. Две прямые определяют направленный угол с точностью до произвольного кратного угла [18].
Как правило, под направленным углом между прямыми и подразумевают минимальный по модулю направленный угол[18].
Минимальный по модулю направленный угол — направленный угол между прямыми и , взятыми в указанной последовательности, наименьший по абсолютной величине. Для перпендикулярных прямых принимается [18].
Равенство направленных углов — совпадение по абсолютной величине и знаку минимальных по модулю направленных углов между прямыми и и между прямыми и [18]:
- .
Произведение и отношение ориентированных углов
[править | править код]Свойство независимости от ориентации плоскости произведения и отношения направленных углов подобно аналогичному свойству направленных отрезков[17].
Предложение 1. Произведение и отношение двух направленных углов на плоскости не зависят от выбора ориентации плоскости[18].
Доказательство. Пусть и — два простых угла на плоскости. Тогда независимо от ориентации плоскости произведение и отношение [18]:
- положительны, если направления углов и совпадают;
- отрицательны, если направления углов и противоположны.
Следствие 1. Равенство или неравенство двух направленных углов на плоскости также не зависит от ориентации плоскости[18].
Доказательство. Отношение двух равных направленных углов и равно единице[18]:
Ориентированная поверхность
[править | править код]Ориентация произвольной поверхности
[править | править код]Ориентация произвольной поверхности, разбивающей трёхмерное пространство на две части (например, сферы), аналогична ориентации плоскости[2][5][3].
Ориентация части поверхности, ограниченной простой замкнутой кривой — ориентация данной простой замкнутой кривой[2][5][3].
Одинаковая ориентация двух частей поверхности — нахождение с одной и той же стороны частей поверхности, ограниченных замкнутыми кривыми, при обходе кривых в направлении, заданном их ориентацией (слева при обходе против часовой стрелки, справа — по часовой стрелке). Например, на рисунке справа поверхности двух кубов ориентированы противоположно друг другу[2][5][3].
Ориентированная поверхность — поверхность, разбивающая трёхмерное пространство на две части, на которой имеется ориентированная часть поверхности. Поверхность ориентирована соответственно ориентации кривой, ограничивающей часть поверхности (на рисунке справа поверхность первого куба ориентирована правым образом, второго — левым)[2][5][3]:
- поверхность ориентирована правым (левым) образом, если эта кривая, наблюдаемая снаружи, ориентирована против часовой стрелки (по часовой стрелке).
Бывают ориентируемые и неориентируемые поверхности.
Предложение 1. Поверхность, ограничивающая часть трёхмерного пространства, всегда ориентируема[2][5][3].
Ориентация гладкой поверхности
[править | править код]Рассмотрим в трёхмерном пространстве гладкую поверхность . Пусть[19]:
- — любая точка на поверхности ;
- — нормаль к поверхности в точке ;
- — любая замкнутая кривая на поверхности такая, что и не имеет общих точек с границей поверхности .
Обойдём кривую , перемещая при этом вектор вдоль непрерывно как нормаль к поверхности [19].
Ориентируемая, или двусторонняя, поверхность — поверхность , на которой после обхода кривой нормаль возвращается в исходную точку с выбранным вначале направлением нормали при любой точке и любой замкнутой кривой [19].
Неориентируемая, или односторонняя, поверхность — поверхность , на которой после обхода кривой нормаль возвращается в исходную точку с направлением нормали, противоположным выбранному вначале , для некоторой точки и некоторой замкнутой кривой [19].
Перечислим односторонние поверхности[20]:
- лист Мёбиуса,
- бутылка Клейна,
- модели вещественной проективной плоскости:
- римская поверхность,
- поверхность Боя,
- скрещенный колпак.
Сторона двусторонней поверхности — двусторонняя поверхность с указанием для всех её точек направлений нормали. Для другой стороны поверхности нормали противоположны (см. рисунок справа с векторами нормалей)[19].
Ориентация двусторонней поверхности — выбор стороны двусторонней поверхности[19].
Ориентированная двусторонняя поверхность — двусторонней поверхности с выбранной стороной[19].
Выбрать сторону двусторонней поверхности можно следующими способами[19]:
- указанием нормали в любой точке поверхности;
- надлежащим описанием:
- верхняя — нижняя,
- левая — правая,
- ближняя — дальняя,
- внутренняя — внешняя;
- выбором знака плюс или минус во всех следующих формулах:
Предложение 1. Ориентация двусторонней поверхности задаёт также ориентацию всех простых замкнутых кривых на этой поверхности (см. на рисунке справа ориентацию замкнутых кривых)[19].
Ориентированный многогранник
[править | править код]Ориентированный многогранник — многогранник (возможно, самопересекающийся, то есть с самопересекающимися гранями), у которого грани ориентированы таким образом, что каждое его ребро имеет в своих смежных гранях противоположные ориентации (см на рисунке справа противоположно ориентированные кубы)[21][22][23].
Неориентируемый многогранник — многогранник, который нельзя сделать ориентированным[21][22][23].
Определим площадь поверхности и объём ориентированного многоугольника, возможно, самопересекающегося с самопересекающимися гранями. Самопересекающийся многогранник внутренними кусками граней делит пространство на фиксированное количество связных кусков двух типов[21][22][23]:
- внутренние конечные куски,
- внешний бесконечный кусок.
Площадь самопересекающегося ориентированного многогранника — сумма площадей самопересекающихся ориентированных граней этого многогранника[21][22][23].
Коэффициент куска самопересекающегося ориентированного многогранника — сумма коэффициентов внутренних кусков самопересекающихся ориентированных граней, которые пересекает отрезок, соединяющий две точки[21][22][23]:
- внешнюю точку по отношению к многограннику части пространства;
- внутреннюю точку выбранного куска.
Предложение 1. Коэффициент куска самопересекающегося ориентированного многогранника не зависит от положения внешней точки многоугольника и может быть равен положительному или отрицательному целому числу или нулю[21][22][23].
Объём самопересекающегося ориентированного многогранника — взвешенная сумма обычных объёмов всех внутренних кусков самопересекающегося многогранника, в которой обычный объём куска умножается на его коэффициент[21][22][23].
Пространства
[править | править код]Ориентированное трёхмерное пространство
[править | править код]Ориентированное трёхмерное пространство — трёхмерное пространство с выбранной в нём фиксированной ориентацией[24][5][3].
Многомерные пространства также можно ориентировать[25][5][3].
Трёхмерное пространство можно ориентировать следующими двумя способами[24][5][3]:
- различными ориентированными геометрическими фигурами;
- выбором ориентированной системы декартовых координат.
Ориентация замкнутых поверхностей без самопересечений
[править | править код]Замкнутая поверхность без самопересечений в трёхмерном пространстве ориентирована соответственно ориентации кривой, ограничивающей её поверхности (на рисунке справа поверхность первого куба ориентирована правым образом, второго — левым)[2][5][3].
Ориентация поверхности правым (левым) образом — ориентация кривой, которая ограничивает часть поверхности, при наблюдении снаружи против часовой стрелки (по часовой стрелке)[2][5][3].
Ориентация трёхмерного пространства — выбор фиксированной ориентации замкнутых поверхностей без самопересечения[25][5][3].
Правая (левая) ориентация трёхмерного пространства — выбор ориентации правым (левым) образом замкнутых поверхностей без самопересечения[25][5][3].
Два класса систем координат в трёхмерном пространстве
[править | править код]Ориентация трёхмерного пространства — выбор осей декартовой системы координат , и , при которой треугольник ориентируется в порядке , то есть от оси к оси и потом к оси (см. рисунок справа с ориентацией треугольника ). Этот треугольник лежит на поверхности тетраэдра с вершиной в начале координат и вершинами , и на положительных лучах осей , и соответственно[25][5][3].
Ориентация трёхмерного пространства зависит от выбора его координатный осей[25][5][3].
Правая (левая) ориентация трёхмерного пространства — такой выбор осей декартовой системы координат , и , при которой треугольник , наблюдаемый снаружи тетраэдра , ориентируется против часовой стрелки (по часовой стрелке)[25][5][3].
Положительный переход из одной системы координат в другую — переход, при котором определитель матрицы замены положителен[4].
Предложение 1. Две декартовы системы координат и ориентированы одинаково и принадлежат одному классу, если одну из них можно перевести в другую непрерывно, то есть существует такое семейство координатных систем , которое[4]:
- непрерывно зависит от параметра ;
- связывает системы и , то есть совпадает с , а — с .
Предложение 2. Декартова система координат переходит в другой класс при зеркальном отражении трёхмерного пространства[4].
Задание правой ориентации системы координат с помощью правила винта. Координатная ось следует по направлению ввинчивания, вращение от положительного направления оси к положительному направления оси совпадает с вращением при ввинчивании. При этом все винты должны находиться в положительной связи друг с другом[16].
Задание правой ориентации системы координат с помощью правила трёх первых пальцев правой руки. Указанное правило достаточно хорошо известно и поэтому здесь не описывается (см. рисунок справа с правилом правой руки)[26].
Выбор ориентации трёхмерного пространства определяет[25][5][3]:
- знак объёмов, ограниченных ориентированными поверхностями;
- смысл векторного произведения двух векторов
- и так далее
Конечномерное векторное пространство
[править | править код]Пусть — конечномерное векторное пространство над упорядоченным полем. Два базиса этого пространства называются одинаково ориентированными, если определитель матрицы перехода от одного из них к другому положителен. Классы эквивалентности одинаково ориентированных базисов называются ориентациями пространства . Нетрудно проверить, что у любого такого пространства есть ровно две ориентации.
- Для пространств размерности ориентация есть то же самое, что и направление — класс сонаправленных векторов.
- Для пространств размерности ориентация отождествляется с направлением поворота. Под направлением поворота, соответствующим ориентации базиса , понимается то направление поворота, в котором угол поворота от вектора до меньше. Благодаря этому можно часто услышать, что ориентациями плоскости являются направления по часовой стрелке и против часовой стрелки.
- Для пространств размерности ориентация отождествляется с понятиями левой и правой тройки векторов.
В пространстве без каких-то дополнительных структур обе ориентации являются равнозначными, однако часто бывает полезным предпочитать одну ориентацию другой. Для этого вводится понятие ориентированного пространства как упорядоченная пара , где — векторное пространство, а — одна из его ориентаций. Ориентация для такого пространства называется положительной, а противоположная ей — отрицательной. Таким образом, ориентированное пространство — это пространство, на котором выбрано, какую из ориентаций считать положительной, а какую отрицательной.
При изображении ориентированной плоскости положительной ориентацией обычно считают направление против часовой стрелки. Поэтому понятия положительной ориентации плоскости и направления против часовой стрелки часто отождествляют, несмотря на то, что направления поворота по и против часовой стрелки зависят от конкретного рисунка и ничто не мешает изобразить эту же плоскость, зеркально отразив её. Внутренние характеристики плоскости не поменяются, однако направления по и против часовой стрелки для наблюдателя поменяются местами. Аналогично обстоит дело и с пространством. В трёхмерном пространстве положительной ориентацией обычно считают правые тройки векторов и часто отождествляют эти понятия.
Ориентация комплексного пространства
[править | править код]Для общего поля определение ориентации представляет трудности. Например, в комплексном пространстве[англ.] комплексный базис сводится к вещественному базису в том же пространстве , которое при этом отождествляется с вещественным векторным пространством , и все такие базисы связаны попарно положительными переходами. Другими словами, комплексная структура задаёт ориентацию в [4].
Ориентация аффинного пространства
[править | править код]Ориентация системы координат
[править | править код]Ориентацию аффинного пространства можно задать ориентацией системы координат. Пусть в вещественном аффинном пространстве определена система координат, образованная точкой — началом координат и репером . Тогда переход между различными системами координат задаётся вектором переноса начала и заменой репера [4].
Положительный переход из одной системы координат в другую — переход, при котором положителен определитель матрицы замены (например, при чётной перестановке векторов репера)[4].
Одинаковая ориентация двух систем координат — общая ориентация двух систем координат в случае, когда одну из них можно перевести в другую непрерывно, то есть найдётся непрерывно зависящее от одного параметра семейство координатных систем , которая связывает данные системы, то есть одна система совпадает с , другая — с [4].
При отражении относительно гиперплоскости системы двух классов координат переходят друг в друга[4].
Ориентация гиперплоскости
[править | править код]С помощью любого полупространства ориентированного аффинного пространства можно определить ориентацию граничной гиперплоскости , например, следующим образом[26].
Ориентация гиперплоскости — ориентация, определяемая последними векторами репера аффинного пространства , лежащими в гиперплоскости , когда первый вектор репера смотрит наружу из полупространства [26].
Ориентация симплекса
[править | править код]Ориентацию аффинного пространства можно задать порядком вершин -мерного симплекса (треугольника в двумерном случае , тетраэдра в трёхмерном ). Репер задаётся следующим образом: в первую вершину помещается начало, в остальные вершины направляются векторы репера[26].
Предложение 1. Два порядка вершин симплекса задают одну ориентацию тогда и только тогда, когда они отличаются на чётную перестановку[26].
Ориентированный симплекс — симплекс с фиксированным порядком вершин с точностью до чётной перестановки[26].
Индуцированная ориентация — ориентация произвольной -грани -мерного ориентированного симплекса, причём в случае, когда первая вершина не принадлежит грани, то порядок остальных принимается для неё за положительный[26].
Хиральность
[править | править код]Хира́льность (англ. chirality, от др.-греч. χείρ — рука) — свойство геометрической фигуры, состоящее в отсутствии её совместимости со своей идеальной зеркальной копией[27][28]. Другими словами, хиральность — отсутствие зеркальной симметрии у геометрической фигуры[28].
Ахиральность — наличие зеркальной симметрии у геометрической фигуры[28].
Произвольный невырожденный неравнобедренный треугольник — одна из простейших хиральных фигур на плоскости. Такой треугольник нельзя наложить на его зеркально симметричное изображение посредством комбинацией параллельных переносов и поворотов плоскости. Произвольный равнобедренный треугольник ахирален на плоскости[28].
Однако хиральные треугольники на плоскости ахиральны в трёхмерном пространстве, поскольку всегда существует комбинация параллельного переноса и поворота трёхмерного пространства, идеально накладывающие треугольник на его зеркально симметричное изображение в плоскости[28].
Хиральная фигура и её зеркальный образ называют энантиоморфами. Слово «энантиоморф» происходит от др.-греч. εναντιος (энантиос) — «противоположный», и μορφη (морфе) — «форма». Нехиральный объект также называется амфихиральным.
Винтовая линия (а также витая пряжа, штопор, пропеллер и т. п.) и лента Мёбиуса — это трёхмерные хиральные объекты. Фигурки тетрамино в форме букв J, L, S и Z из популярной игры «Тетрис» также обладают хиральностью, но только в двумерном пространстве.
Некоторым хиральным объектам, таким как винт, можно приписать правую (левую) ориентацию, в соответствии с правилом правой руки (правилом левой руки).
Ориентированное многообразие
[править | править код]Ориентируемое связное многообразие
[править | править код]Рассмотрим координатную систему связного многообразия — атлас, то есть набор карт, покрывающих многообразие [26].
Ориентирующий атлас — атлас многообразия, для которого все координатные преобразования положительны. Другими словами, степени координатных преобразований равны , а если многообразие дифференцируемо, то положительны якобианы преобразования во всех точках[26].
Ориентируемое многообразие — многообразие с ориентирующим атласом[26].
Ориентация связного многообразия
[править | править код]Рассмотрим ориентируемое многообразие. Все его ориентирующие атласы распадаются на два класса ориентации, следовательно, переход от карт одного атласа к картам другого положителен тогда и только тогда, когда оба атласа принадлежат одному классу ориентации[26].
Ориентация многообразия — выбор одного из двух ориентирующих классов[26].
Выбор ориентации многообразия осуществляется также ещё двумя способами[26]:
- выбором одной из карт одного из ориентирующих классов;
- выбором локальной ориентации в точке , поскольку связные карты, содержащие точку , естественным образом также распадаются на два ориентирующих класса.
Кроме того, для дифференцируемого многообразия локальная ориентация определяется выбором репера в касательной плоскости в точке . Например, вращение на окружности определяется только одним касательным вектором[26].
Ориентация края связного многообразия
[править | править код]Если связное ориентированное многообразие имеет край, то этот край также ориентируем[26].
Ориентирующий репер края многообразия — второй и последующие векторы репера, ориентирующего многообразие, которые лежат в касательной плоскости края, при первом векторе репера, направленном из края во внешнее многообразие[26].
Дезориентирующий контур
[править | править код]Любой путь в многообразии обладает тем свойством, что вдоль него можно выбрать такую цепочку карт, что две соседние карты связаны положительно. Следовательно, ориентация в точке посредством цепочки карт определяет ориентацию в точке , причём эта связь зависит от пути с фиксированными концами лишь с точностью до его непрерывной деформации. Для замкнутого пути [26].
Дезориентирующий путь, или контур[20], — замкнутый путь в многообразии, при обходе которого локальная ориентация меняет знак, то есть ориентации в начальной точке пути и в конечной противоположны[29][26][30].
Неориентируемое, или одностороннее, многообразие — многообразие, в котором существует дезориентирующий путь[29][20].
Ориентирующее накрытие
[править | править код]Для дезориентирующего пути однозначно определён некоторый гомоморфизм фундаментальной группы многообразия на кольцо вычетов по модулю 2 порядка 2 с ядром, состоящим из классов замкнутых не дезориентирующих путей, другими словами, гомоморфизм в группу порядка 2, при котором дезориентирующие пути переходят в , а остальные замкнутые пути — в [29][26].
Предложение 1. Накрывающее пространство накрытия, построенного по описанному гомоморфизму, ориентируемо[26].
Ориентирующее накрытие — накрытие, имеющее ориентируемое нарывающее пространство. В случае неориентируемого многообразия это накрытие двулистно[англ.] (см. анимацию справа с двулистным накрытие листа Мёбиуса)[26].
Ориентирующий цикл
[править | править код]Этот же гомоморфизм из предыдущего раздела определяет над многообразием одномерное расслоение, тривиальное тогда и только тогда, когда ориентируемо[26].
Для дифференцируемого многообразия это одномерное расслоение определяется как расслоение дифференциальных форм порядка . Это расслоение имеет ненулевое сечение только в ориентируемом случае и при этом задаёт как форму объёма на , так и ориентацию[26].
Отображение многообразия в -мерное вещественное проективное пространство есть классифицирующее отображение этого одномерного расслоения[26].
Предложение 1. Многообразие ориентируемо тогда и только тогда, когда класс не равен нулю. Этот класс есть образ класса, двойственного к гиперплоскости , то есть двойственного циклу с многообразием-носителем — прообразом гиперплоскости при отображении , которое приведено в общее положение[31].
Ориентирующий цикл — цикл из предложения 1, поскольку дополнение к нему ориентируемо: если по этому циклу разрезать многообразие , то полученное подмногообразие будет ориентируемым[32].
Предложение 2. Многообразие ориентируемо (неориентируемо) тогда и только тогда, когда после разреза по циклу возникает (не возникает) несвязное подмногообразие[32].
Например, ориентирующий цикл на проективной плоскости — проективная прямая [32].
Ориентированное псевдомногообразие
[править | править код]Ориентированное псевдомногообразие, то есть ориентированное триангулированное многообразие , — псевдомногообразие, у которого все его -мерные симплексы ориентированы таким образом, что любые два симплекса с общей -мерной гранью индуцируют на этой грани противоположные ориентации[32].
Дезориентирующая замкнутая цепочка -мерных симплексов — замкнутая цепочка -мерных симплексов такая, что[32]:
- у любых двух соседей цепочки имеется общая -мерная грань;
- симплексы цепочки ориентированы следующим образом:
- ориентации, индуцированные первым и последним симплексами на их общей грани, совпадают;
- ориентации, индуцированные остальными соседями на их общих гранях, противоположны.
Гомологическая интерпретация ориентации
[править | править код]Ориентацию можно определить на гомологическом языке. Рассмотрим два типа многообразий :
- связное ориентируемое многообразие без края имеет группу гомологий (с замкнутыми носителями), которая изоморфна .
- связное ориентируемое многообразие с краем имеет изоморфную группу гомологий [32].
Ориентация многообразия — выбор одной из двух систем образующих группы гомологий, при котором отбираются покрывающие многообразие карты с положительными степенями отображений[32].
Ориентируемость есть гомотопический инвариант[32]:
- для многообразия без края — многообразия ;
- для многообразия с краем — пары из многообразия и его границы .
Например, лист Мёбиуса и кольцо имеют одинаковый абсолютный гомотопический тип, но относительно края — разный[32].
Локальная ориентация многообразия задаётся также выбором системы образующих в группе , также изоморфной [32].
Такая гомологическая интерпретация понятия ориентации позволяет перенести его на обобщённые гомологические многообразия[32].
Ориентированное расслоение
[править | править код]Рассмотрим расслоение со стандартным слоем над топологическим пространством [32].
Ориентированное расслоение — расслоение, ориентация всех слоев которого такова, что любое (собственное) отображение , определённое однозначно с точностью до собственной гомотопии с помощью пути , сохраняет ориентацию[32].
Ориентация расслоения — выбор ориентации слоёв ориентированного расслоения[32].
Приведём два примера[32]:
- лист Мёбиуса, рассматриваемый как векторное расслоение над окружностью, не ориентируем;
- боковая поверхность цилиндра ориентируема.
Ориентация бесконечномерного многообразия
[править | править код]Ориентации естественном образом обобщается на бесконечномерное многообразие, которое можно смоделировать двумя способами при помощи двух моделирующих пространств[32]:
- бесконечномерного банахова пространства,
- топологического векторного пространства.
При таком подходе требуются ввести следующие некоторые ограничения на линейные операторы — дифференциалы функций перехода от карты к карте[32]:
- принадлежности эти линейных операторов общей линейной группе всех изоморфизмов моделирующего пространства, которая в равномерной топологии гомотопически тривиальна для большинства классических векторных пространств, недостаточно;
- линейные операторы должны также содержаться в некоторой линейно несвязной подгруппе общей линейной группы.
Ориентация бесконечномерного многообразия — задание «знака ориентации», то есть компоненты связности линейно несвязной подгруппы, в которой содержатся дифференциалы функций перехода от карты к карте[32].
Как правило, такая линейно несвязная подгруппа есть фредгольмова группа, которая состоит из таких изоморфизмов моделирующего пространства, для которых разность с тождественным изоморфизмом — вполне непрерывный оператор[32].
Ориентация в обобщенных теориях когомологий
[править | править код]Обозначим через мультипликативную обобщённую теорию когомологий. В присутствует единица , которой соответствует элемент при изоморфизме надстройки , где — -мерная сфера[32].
E-ориентированное расслоение
[править | править код]Рассмотрим -мерное векторное расслоение над линейно связным пространством с двумя следующими структурами[32]:
- пространством Тома[англ.] расслоения ;
- стандартным вложением , то есть гомеоморфизмом на «слой» над некоторой точкой .
Ориентация, или класс Тома[англ.], расслоения — элемент , причём , где есть некоторый обратимый элемент (например, )[32].
-ориентируемое расслоение, или расслоение, ориентируемое мультипликативной обобщенной теории когомологий, — расслоение, имеющее ориентацию[32].
-ориентированное расслоение — расслоение с фиксированной ориентацией[32].
- Изоморфизм Тома[англ.] — изоморфизм [32][32].
Следующие две структуры находятся во взаимно однозначном соответствии[32]:
- множество ориентации рассматриваемого -ориентированного расслоения над ;
- элементы группы , где — группа обратных элементов кольца .
См. также
[править | править код]Примечания
[править | править код]- ↑ 1 2 Ориентация 1, 1974, с. 509.
- ↑ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 Колмогоров А. Н. Ориентация, 1988, с. 436.
- ↑ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 Ориентация в математике, 2022.
- ↑ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 Рудяк Ю. Б., Чернавский А. В. Ориентация, 1984, стб. 69.
- ↑ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 Ориентация 2, 1974, с. 509.
- ↑ 1 2 Яглом И. М. Окружности, 1963, 6.1. Аналогия между свойствами точек и прямых, с. 480, 482.
- ↑ Яглом И. М., Атанасян Л. С. Геометрические преобразования, 1963, 8.4. Подерное преобразование, с. 136.
- ↑ 1 2 3 Яглом И. М. Окружности, 1963, 11.1. Плоскость как множество линейных элементов, с. 509.
- ↑ 1 2 3 Выгодский М. Я. Справочник по высшей математике, 1977, § 28. Расстояние от точки до прямой, с. 49.
- ↑ 1 2 Атанасян Л. С., Бутузов В. Ф., Кадомцев С. Б., Позняк Э. Г., Юдина И. И. Геометрия. 7—9 классы, 2014, 79. Понятие вектора, с. 190.
- ↑ 1 2 3 4 5 6 7 8 9 Яглом И. М. Окружности, 1963, 1.1. Направленные отрезки и углы, с. 450.
- ↑ Яглом И. М. Окружности, 1963, 6.1. Аналогия между свойствами точек и прямых, с. 480.
- ↑ 1 2 3 4 5 6 7 8 Многоугольник, 1974, 376.
- ↑ 1 2 3 4 5 6 7 Делоне Б. Н. Многоугольник, 1988.
- ↑ 1 2 3 Сидоров Л. А. Многоугольник, 1982, 749.
- ↑ 1 2 Рудяк Ю. Б., Чернавский А. В. Ориентация, 1984, стб. 69—70.
- ↑ 1 2 Яглом И. М. Окружности, 1963, 1.1. Направленные отрезки и углы, с. 450—451.
- ↑ 1 2 3 4 5 6 7 8 9 10 Яглом И. М. Окружности, 1963, 1.1. Направленные отрезки и углы, с. 451.
- ↑ 1 2 3 4 5 6 7 8 9 Ориентация поверхности, 1984.
- ↑ 1 2 3 Чешкова М. А. Обмотки тора и модели проективной плоскости, 2020.
- ↑ 1 2 3 4 5 6 7 Делоне Б. Н. Многогранник, 1974, 366.
- ↑ 1 2 3 4 5 6 7 Делоне Б. Н. Многогранник, 1988, 373.
- ↑ 1 2 3 4 5 6 7 Многогранник, 1982, 711.
- ↑ 1 2 Колмогоров А. Н. Ориентация, 1988, с. 436—437.
- ↑ 1 2 3 4 5 6 7 Колмогоров А. Н. Ориентация, 1988, с. 437.
- ↑ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 Рудяк Ю. Б., Чернавский А. В. Ориентация, 1984, стб. 70.
- ↑ Соколов В. И. Хиральность, 1978.
- ↑ 1 2 3 4 5 Petitjean М. Chirality in metric spaces, 2010, p. 27.
- ↑ 1 2 3 Чернавский А. В. Дезориентирующий путь, 1979.
- ↑ Арнольд В. И. Лагранжевы и лежандровы кобордизмы. II, 1980, с. 10.
- ↑ Рудяк Ю. Б., Чернавский А. В. Ориентация, 1984, стб. 70—71.
- ↑ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 Рудяк Ю. Б., Чернавский А. В. Ориентация, 1984, стб. 71.
Источники
[править | править код]- Арнольд В. И. Лагранжевы и лежандровы кобордизмы. II // Функциональный анализ и его приложения. Т. 14. Вып. 4. 1980. С. 8—17. Электронная версия [1].
- Атанасян Л. С., Бутузов В. Ф., Кадомцев С. Б., Позняк Э. Г., Юдина И. И. Геометрия. 7—9 классы : учебник для общеобразовательных организаций. 2-е изд. М.: Просвещение, 2014. 383 с., ил.
- Выгодский М. Я. Справочник по высшей математике. Изд-е 12-е, стереотип. М.: Наука, 1977. 871 с., ил.
- Делоне Б. Н. Многогранник // Большая советская энциклопедия. (В 30 томах) Гл. ред. А. М. Прохоров. Изд. 3-е. М.: «Советская энциклопедия», 1974. Т. 16. Мёзия — Моршанск. 1974. 616 с. с илл., 28 л. илл., 4 л. карт. С. 364—366. Многоугольник // БСЭ 3-е издание. Основной вариант Архивная копия от 7 апреля 2023 на Wayback Machine
- Делоне Б. Н. Многогранник // Математический энциклопедический словарь / Гл. ред. Ю. В. Прохоров; Ред. Кол.: С. И. Адян, Н. С. Бахвалов, В. И. Битюцков, А. П. Ершов, Л. Д. Кудрявцев, А. Л. Онищик, А. П. Юшкевич. М.: «Советская энциклопедия», 1988. 847 с., ил. С. 370—373.
- Делоне Б. Н. Многоугольник // Математический энциклопедический словарь / Гл. ред. Ю. В. Прохоров; Ред. Кол.: С. И. Адян, Н. С. Бахвалов, В. И. Битюцков, А. П. Ершов, Л. Д. Кудрявцев, А. Л. Онищик, А. П. Юшкевич. М.: «Советская энциклопедия», 1988. 847 с., ил. С. 378—379.
- Колмогоров А. Н. Ориентация // Математический энциклопедический словарь / Гл. ред. Ю. В. Прохоров; Ред. Кол.: С. И. Адян, Н. С. Бахвалов, В. И. Битюцков, А. П. Ершов, Л. Д. Кудрявцев, А. Л. Онищик, А. П. Юшкевич. М.: «Советская энциклопедия», 1988. 847 с., ил. С. 436—437.
- Многогранник // Математическая энциклопедия: Гл. ред. И. М. Виноградов, т. 3 Коо—Од. М.: «Советская Энциклопедия», 1982. 1184 стб., ил. Стб. 708—711.
- Многоугольник // Большая советская энциклопедия. (В 30 томах) Гл. ред. А. М. Прохоров. Изд. 3-е. М.: «Советская энциклопедия», 1974. Т. 16. Мёзия — Моршанск. 1974. 616 с. с илл., 28 л. илл., 4 л. карт. С. 376—377. Многоугольник // БСЭ 3-е издание. Основной вариант Архивная копия от 7 апреля 2023 на Wayback Machine
- Ориентация 1 // Большая советская энциклопедия. (В 30 томах) Гл. ред. А. М. Прохоров. Изд. 3-е. М.: «Советская энциклопедия», 1974. Т. 18. Никко — Отолиты. 1974. 632 с. с илл., 24 л. илл., 6 л. карт, 1 карта — вкладка. С. 509. Ориентация 1 // БСЭ 3-е издание. Основной вариант Архивная копия от 29 сентября 2024 на Wayback Machine
- Ориентация 2 // Большая советская энциклопедия. (В 30 томах) Гл. ред. А. М. Прохоров. Изд. 3-е. М.: «Советская энциклопедия», 1974. Т. 18. Никко — Отолиты. 1974. 632 с. с илл., 24 л. илл., 6 л. карт, 1 карта — вкладка. С. 509—510. Ориентация 2 // БСЭ 3-е издание. Основной вариант Архивная копия от 8 августа 2024 на Wayback Machine
- Ориентация в математике. 2022 // Большая российская энциклопедия Архивная копия от 29 сентября 2024 на Wayback Machine
- Ориентация поверхности // Воднев В. Т., Наумович А. Ф., Наумович Н. Ф. Математический словарь высшей школы: Общая часть / Под. ред. Ю. С. Богданова. Минск: Высшая школа, 1984. 527 с., ил. С. 284—285.
- Рудяк Ю. В.[англ.], Чернавский А. В. Ориентация // Математическая энциклопедия: Гл. ред. И. М. Виноградов, т. 4 Ок—Сло. М.: «Советская Энциклопедия», 1984. 1216 стб., ил. Стб. 69—73.
- Сидоров Л. А. Многоугольник // Математическая энциклопедия: Гл. ред. И. М. Виноградов, т. 3 Коо—Од. М.: «Советская Энциклопедия», 1982. 1184 стб., ил. Стб. 749—752.
- Соколов В И. Хиральность // Большая советская энциклопедия. (В 30 томах) Гл. ред. А. М. Прохоров. Изд. 3-е. М.: «Советская энциклопедия», 1978. Т. 28. Франкфурт — Чага. 1978. 616 с. с илл., 28 л. илл., 4 л. карт, 1 карта — вкладка. С. 291. Хиральность // БСЭ 3-е издание. Основной вариант Архивная копия от 25 апреля 2024 на Wayback Machine
- Чернавский А. В. Дезориентирующий путь // Математическая энциклопедия: Гл. ред. И. М. Виноградов, т. 2 Д—Коо. М.: «Советская Энциклопедия», 1979. 1104 стб., ил. Стб. 68.
- Чешкова М. А. Обмотки тора и модели проективной плоскости // Итоги науки и техники. Современная математика и её приложения. Тематические обзоры / Гл. ред. Р. В. Гамкрелидзе. М.: Всероссийский институт научной и технической информации РАН, 2020. Том 181 (2020). С. 118—120. DOI: 10.36535/0233-6723-2020-181-118-120. Электронная версия [2].
- Яглом И. М. Окружности // Энциклопедия элементарной математики, книга четвёртая — геометрия / Гл. ред. П. С. Александров, А. И. Маркушевич, А. Я. Хинчин. Ред. книги 4: В. Г. Болтянский, И. М. Яглом. М.: Физматгиз, 1963. 568 с., ил. С. 448—517.
- Яглом И. М., Атанасян Л. С. Геометрические преобразования // Энциклопедия элементарной математики, книга четвёртая — геометрия / Гл. ред. П. С. Александров, А. И. Маркушевич, А. Я. Хинчин. Ред. книги 4: В. Г. Болтянский, И. М. Яглом. М.: Физматгиз, 1963. 568 с., ил. С. 49—158.
- Petitjean М. Chirality in metric spaces // Symmetry: Culture and Science. 2010. Vol. 21. Nos. 1–3. P. 27–36. Хиральность // [3]