Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Тор революции
По мере того, как расстояние от оси вращения уменьшается, кольцевой тор становится роговым, затем веретеновым и, наконец, вырождается в сферу.
Тор с соотношением сторон 3 как произведение меньшего (красного) и большего (пурпурного) круга.

В геометрии , A тор (множественное число торов ) является поверхность вращения генерируется путем вращения круга в трехмерном пространстве относительно оси, в одной плоскости с кругом.

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

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

Не следует путать тор с полноторием , который образован вращением диска , а не круга, вокруг оси. Полноценный тор - это тор плюс объем внутри тора. Реальные объекты, которые напоминают твердый тор, включают уплотнительные кольца , ненадувные спасательные круги , кольцевые пончики и рогалики .

В топологии , кольцо торы гомеоморфная к декартову произведению двух кругов : S 1  ×  S 1 , а последний берутся определение в этом контексте. Это компактное 2-многообразие рода 1. Кольцо тор является одним из способов встроить это пространство в евклидово пространства , а другой способ сделать это состоит в декартово произведении вложения из S 1 в плоскости с самими собой. Это создает геометрический объект, называемый тор Клиффорда , поверхность в 4-пространстве .

В области топологии тор - это любое топологическое пространство, гомеоморфное тору. [1] Чашка кофе и пончик являются топологическими торами.

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

Геометрия [ править ]

Днища и
вертикальные разрезы
R = r : рог тор
R < r : самопересекающийся тор шпинделя

Тор можно задать параметрически следующим образом: [2]

куда

θ , φ - углы, образующие полный круг, так что их значения начинаются и заканчиваются в одной и той же точке,
R - расстояние от центра трубки до центра тора,
r - радиус трубки.

R известен как «большой радиус», а r известен как «малый радиус». [3] Соотношение R, деленное на r , известно как « соотношение сторон ». Типичные кондитерские изделия из пончиков имеют соотношение сторон примерно от 3 до 2.

Неявное уравнение в декартовых координатах для тора радиально симметрично относительно г - ось является

или решение f ( x , y , z ) = 0 , где

Алгебраически исключение квадратного корня дает уравнение четвертой степени :

Три класса стандартных торов соответствуют трем возможным соотношениям сторон между R и r :

  • Когда R > r , поверхность будет знакомым кольцевым тором или якорным кольцом.
  • R = R соответствует роговыху тора, который в действительности представляет собой тор без какойлибо «дыры».
  • R < r описывает самопересекающийся тор шпинделя.
  • При R = 0 тор вырождается в сферу.

Когда Rг , то внутренняя

этого тора диффеоморфна (и, следовательно, гомеоморфно) к продукту в виде евклидовой открытого круга и окружности. Объем этого твердого тора и площадь поверхности его торы легко вычисляется с помощью центроида теоремы Паппа в , давая: [4]

Эти формулы те же, что и для цилиндра длиной R и радиусом r , полученного путем разрезания трубы вдоль плоскости малого круга и ее разворачивания путем выпрямления (выпрямления) линии, проходящей вокруг центра трубы. Потери площади поверхности и объема на внутренней стороне трубки в точности нивелируют выигрыш на внешней стороне.

Выразив площадь поверхности и объем расстоянием p от самой удаленной точки на поверхности тора до центра и расстоянием q от самой внутренней точки до центра (так что R =р + д/2и r =р - д/2), дает

Полоидальное направление (красная стрелка) и
тороидальное направление (синяя стрелка)

Поскольку тор представляет собой произведение двух окружностей, иногда используется модифицированная версия сферической системы координат . В традиционных сферических координатах есть три меры: R , расстояние от центра системы координат, и θ и φ , углы, измеренные от центральной точки.

Поскольку тор имеет две центральные точки, центральные точки углов перемещаются; φ измеряет тот же угол, что и в сферической системе, но известен как «тороидальное» направление. Центральная точка θ перемещается в центр r и известна как «полоидальное» направление. Эти термины были впервые использованы при обсуждении магнитного поля Земли, где «полоидальное» использовалось для обозначения «направления к полюсам». [5]

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

Топология [ править ]

Топологически тор - это замкнутая поверхность, определенная как произведение двух окружностей : S 1  ×  S 1 . Это можно рассматривать как лежащее в C 2 и являющееся подмножеством 3-сферы S 3 радиуса √2. Этот топологический тор также часто называют тором Клиффорда . В самом деле, S 3 будет заполнена семейством вложенных торов таким образом (с двумя вырожденных окружностей), факт , который играет важную роль в изучении S 3 в виде пучка волокон над S2 ( связка Хопфа ).

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

Тор также может быть описан как фактор в декартовой плоскости под идентификаций

или, что то же самое, как частное от единичного квадрата путем склеивания противоположных ребер вместе, описанного как фундаментальный многоугольник ABA −1 B −1 .

Вывертывание проколотого тора наизнанку

Фундаментальная группа тора является только прямым произведением фундаментальной группы окружности с самим собой:

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

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

Первая группа гомологий тора изоморфна фундаментальной группе (это следует из теоремы Гуревича, поскольку фундаментальная группа абелева ).

Двусторонняя обложка [ править ]

2-тор дважды покрывает 2-сферу с четырьмя точками ветвления . Каждую конформную структуру на 2-торе можно представить как двулистное покрытие 2-сферы. Точки на торе, соответствующие точкам ветвления, являются точками Вейерштрасса . Фактически, конформный тип тора определяется поперечным отношением четырех точек.

n -мерный тор [ править ]

Стереографическая проекция тора Клиффорда в четырех измерениях, выполняющая простое вращение в плоскости xz.

Тор имеет обобщение на более высокие измерения, n-мерный тор , часто называемый n-тором или для краткости гипертором . (Это одно из двух значений термина « n -тор».) Напоминая, что тор является пространством произведения двух окружностей, n -мерный тор является произведением n окружностей. То есть:

1-тор - это просто окружность: T 1  =  S 1 . Обсуждаемый выше тор - это 2-тор T 2 . И аналогично 2-тору, n -тор, T n, может быть описан как частное от R n при целых сдвигах по любой координате. То есть n -тор - это R n по модулю действия целочисленной решетки Z n (при этом действие выполняется как сложение векторов). Эквивалентно n -тор получается из n- мерного гиперкуба склеив противоположные грани вместе.

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

Тороидальные группы играют важную роль в теории компактных групп Ли . Отчасти это связано с тем, что в любой компактной группе Ли G всегда можно найти максимальный тор ; то есть замкнутая подгруппа, которая является тором максимально возможной размерности. Такая максимальные торы T имеет контролирующую роль в теории присоединенной G . Тороидальные группы являются примерами проторов , которые (как и торы) являются компактными связными абелевыми группами, которые не обязательно должны быть многообразиями .

Автоморфизмы из Т легко построены из автоморфизмов решетки Z п , которые классифицируются по обратимым целочисленным матрицам размера п с интегральным обратным; это просто интегральные матрицы с определителем ± 1. Заставляя их действовать на R n обычным образом, мы получаем типичный торальный автоморфизм на факторе.

Фундаментальная группа из п -тор является свободная абелева группа ранга п . К -м группа гомологии из п -тор свободная абелева группа ранга п выбрать K . Отсюда следует , что эйлерова характеристика из п -тор равно 0 для всех п . Кольцо когомологий Н ( Т пZ ) может быть идентифицирован с внешней алгеброй над Z - модуль Z нобразующие которого являются двойниками n нетривиальных циклов.

Пространство конфигурации [ править ]

Конфигурационное пространство 2, не обязательно различных точек на окружности, является орбифолдным фактором 2-тора T 2 / S 2 , который является лентой Мёбиуса .
Tonnetz пример тора в теории музыки.
Тоннец действительно является тором только в том случае, если предполагается энгармоническая эквивалентность , так что (F♯-A♯) сегмент правого края повторяющегося параллелограмма отождествляется с (G ♭ -B ♭) сегментом левого края.

По мере того как п -тор является п - кратное произведением окружности, то п -тор является конфигурационным пространство из п упорядочены, не обязательно различных точки на окружности. Символически T n = ( S 1 ) n . Конфигурационное пространство неупорядоченных , не обязательно различных точек, соответственно, является орбифолдом T n / S n , который является фактором тора по симметрической группе из n букв (путем перестановки координат).

Для n = 2 фактор - это лента Мёбиуса , ребро, соответствующее точкам орбифолда, в которых две координаты совпадают. При n = 3 это частное можно описать как полноторие с поперечным сечением равносторонний треугольник с закруткой ; эквивалентно, как треугольная призма , верхняя и нижняя грани которой соединены поворотом на 1/3 (120 °): трехмерная внутренность соответствует точкам на трехмерном торе, где все три координаты различны, двумерная грань соответствует точкам с двумя равными координатами и третьей другой, а одномерное ребро соответствует точкам, у которых все три координаты идентичны.

Эти орбифолды нашли существенное применение в теории музыки в работах Дмитрия Тимочко и его соавторов (Фелипе Посада, Майкл Колинас и др.), Использовавшихся для моделирования музыкальных триад . [6] [7]

Плоский тор [ править ]

В трех измерениях можно согнуть прямоугольник в тор, но при этом обычно поверхность растягивается, что видно по искажению клетчатого узора.
В стереографической проекции четырехмерный плоский тор можно спроецировать в трехмерном пространстве и вращать на фиксированной оси.
Простейшим замощением плоского тора является {4,4} 1,0 , построенное на поверхности дуоцилиндра с 1 вершиной, 2 ортогональными ребрами и одной квадратной гранью. Здесь он изображен в стереографической проекции в 3-мерном пространстве в виде тора.

Плоский тор представляет собой тор с метрикой унаследовал от его представления в качестве фактора , R 2 / L , где L представляет собой дискретная подгруппа R 2 изоморфна Z 2 . Это дает фактор-структуру риманова многообразия . Возможно, самый простой пример этого - когда L = Z 2 : R 2 / Z 2 , который также может быть описан как декартова плоскость с отождествлениями ( x , y ) ~ ( x+ 1, y ) ~ ( x , y + 1) . Этот конкретный плоский тор (и любая его версия с равномерным масштабом) известен как «квадратный» плоский тор.

Эта метрика квадратного плоского тора также может быть реализована путем конкретных вложений знакомого 2-тора в евклидово 4-мерное пространство или более высокие измерения. Его поверхность всюду имеет нулевую гауссову кривизну . Его поверхность плоская в том же смысле, что и поверхность цилиндра. В 3-х измерениях можно согнуть плоский лист бумаги в цилиндр, не растягивая бумагу, но этот цилиндр нельзя согнуть в тор, не растягивая бумагу (если не отказаться от некоторых условий регулярности и дифференцируемости, см. Ниже).

Простое 4-мерное евклидово вложение прямоугольного плоского тора (более общего, чем квадратный) выглядит следующим образом:

где R и P - константы, определяющие соотношение сторон. Он диффеоморфен правильному тору, но не изометричен . Его нельзя аналитически вложить ( гладкое класса C k , 2 ≤ k ≤ ∞ ) в евклидово 3-пространство. Отображение его в 3- пространство требует его растяжения, и в этом случае он выглядит как обычный тор. Например, на следующей карте:

Если R и P в приведенной выше параметризации плоского тора образуют единичный вектор ( R , P ) = (cos ( η ), sin ( η )), то u , v и η могут использоваться для параметризации единичной 3-сферы в параметризация, связанная с картой Хопфа . В частности, для некоторых очень специфических вариантов квадратного плоского тора в 3-сфере S 3 , где η = π / 4 выше, тор разделит 3-сферу на две конгруэнтныеподмножества полнотория с указанной выше плоской поверхностью тора в качестве их общей границы . Одним из примеров является тор T, определяемый формулой

Другие торы в S 3, обладающие этим свойством разбиения, включают квадратные торы вида QT , где Q - вращение 4-мерного пространства R 4 , или, другими словами, Q - член группы Ли SO (4).

Известно, что не существует C 2 (дважды непрерывно дифференцируемого) вложения плоского тора в 3-пространство. (Идея доказательства состоит в том, чтобы взять большую сферу, внутри которой находится такой плоский тор, и уменьшить радиус сферы до тех пор, пока она впервые не коснется тора. Такая точка контакта должна быть касанием. Но это означало бы, что часть тора, поскольку он всюду имеет нулевую кривизну, должна лежать строго вне сферы, что является противоречием.) С другой стороны, согласно теореме Нэша-Койпера , которая была доказана в 1950-х годах, изометрическое C 1 вложение существует. Это исключительно доказательство существования и не дает явных уравнений для такого вложения.

В апреле 2012 года было найдено явное C 1 (непрерывно дифференцируемое) вложение плоского тора в 3-мерное евклидово пространство R 3 . [8] [9] [10] [11] По своей структуре он похож на фрактал, поскольку строится путем многократного гофрирования обычного тора. Как и фракталы, он не имеет определенной гауссовой кривизны. Однако, в отличие от фракталов, он имеет определенные нормали к поверхности.. Это плоский тор в том смысле, что как метрические пространства он изометричен плоскому квадратному тору. (Эти бесконечно рекурсивные гофры используются только для вложения в три измерения; они не являются внутренней особенностью плоского тора.) Это первый случай, когда любое такое вложение определялось явными уравнениями или отображалось с помощью компьютерной графики.

Поверхность рода g [ править ]

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

Например, поверхность рода 0 (без границы) является двумерной сферой, а поверхность рода 1 (без границы) является обычным тором. Поверхности более высокого рода иногда называют торами с n- отверстиями (или, реже, n -мерными торами). Иногда используются термины двойной тор и тройной тор .

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

Тороидальные многогранники [ править ]

Тороидальный полиэдр с 6 × 4 = 24 четырехугольных граней

Многогранники с топологическим типом тора называются тороидальными многогранниками и имеют эйлерову характеристику V - E + F = 0. Для любого количества дырок формула обобщается на V - E + F = 2 - 2 N , где N - количество отверстий.

Термин «тороидальный многогранник» также используется для многогранников высшего рода и для погружений тороидальных многогранников.

Автоморфизмы [ править ]

Группа гомеоморфизмов (или подгруппа диффеоморфизмов) тора изучается в геометрической топологии . Его группа классов отображений (связные компоненты группы гомеоморфизмов) изоморфна группе обратимых целочисленных матриц GL ( nZ ) и может быть реализована как линейные отображения на универсальном накрывающем пространстве R n , сохраняющие стандартную решетку Z n (это соответствует целым коэффициентам) и, таким образом, спускаются до частного.

На уровне гомотопий и гомологий группа классов отображений может быть идентифицирована как действие на первых гомологиях (или, что эквивалентно, первых когомологиях, или на фундаментальной группе , поскольку все они естественно изоморфны; также первая группа когомологий порождает когомологии алгебра:

Поскольку тор является пространством Эйленберга – Маклейна K ( G , 1), его гомотопические эквивалентности с точностью до гомотопии можно отождествить с автоморфизмами фундаментальной группы); то, что это согласуется с группой классов отображений, отражает, что все гомотопические эквивалентности могут быть реализованы гомеоморфизмами - каждая гомотопическая эквивалентность гомотопична гомеоморфизму - и что гомотопические гомеоморфизмы на самом деле изотопны (связаны через гомеоморфизмы, а не только через гомотопические эквивалентности). Короче, отображение Homeo ( T n ) → SHE ( T n ) односвязно(изоморфна на компонентах пути, фундаментальной группе). Это результат «гомеоморфизм сводится к гомотопии, сводится к алгебре».

Таким образом, короткая точная последовательность группы классов отображений расщепляется (идентификация тора как фактора R n дает расщепление посредством линейных отображений, как указано выше):

поэтому группа гомеоморфизмов тора является полупрямым произведением ,

Группа классов отображения поверхностей высшего рода намного сложнее и является областью активных исследований.

Раскрашивание тора [ править ]

Число Хивуда у тора равно семи, что означает, что каждый граф, который можно вложить в тор, имеет хроматическое число не более семи. (Так как полный граф может быть вложен в тор, и верхняя граница жесткая.) Эквивалентно, в торе, разделенном на области, всегда можно раскрасить области, используя не более семи цветов, чтобы никакие соседние области не были такого же цвета. (Сравните с теоремой о четырех цветах для плоскости .)

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

Разрезание тора [ править ]

Полноценный тор вращения можно разрезать n (> 0) плоскостей на максимально

части. [12]

Первые 11 номеров частей для 0 ≤ n ≤ 10 (включая случай n = 0, не охватываемый приведенными выше формулами) следующие:

1, 2, 6, 13, 24, 40, 62, 91, 128, 174, 230, ... (последовательность A003600 в OEIS ).

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

  • Алгебраический тор
  • Ангельский тор
  • Кольцо (геометрия)
  • Клиффорд тор
  • Комплексный тор
  • Циклид Дюпена
  • Эллиптическая кривая
  • Иррациональная намотка тора
  • Совместный европейский тор
  • Бутылка Клейна
  • Неравенство тора Лёвнера
  • Максимальный тор
  • Решетка периодов
  • Реальная проективная плоскость
  • Сфера
  • Спирическая секция
  • Поверхность (топология)
  • Торическая линза
  • Торическая секция
  • Торическая разновидность
  • Тороид
  • Тороидальный и полоидальный
  • Криптография на основе тора
  • Узел тора
  • Пупочный тор
  • Круги Вильярсо

Заметки [ править ]

  • Nociones de Geometría Analítica y Álgebra Lineal , ISBN  978-970-10-6596-9 , автор: Козак Ана Мария, Помпея Пасторелли Сония, Верданега Педро Эмилио, редакция: McGraw-Hill, издание 2007 г., 744 страницы, язык: испанский
  • Аллен Хэтчер. Алгебраическая топология . Издательство Кембриджского университета, 2002. ISBN 0-521-79540-0 . 
  • В.В. Никулин, И.Р. Шафаревич. Геометрии и группы . Springer, 1987. ISBN 3-540-15281-4 , ISBN 978-3-540-15281-1 .  
  • "Tore (понятие géométrique)" в Encyclopédie des Formes Mathématiques Remarquables

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

  1. ^ Галлье, Жан ; Сюй, Дианна (2013). Руководство по теореме классификации компактных поверхностей . Геометрия и вычисления. 9 . Спрингер, Гейдельберг. DOI : 10.1007 / 978-3-642-34364-3 . ISBN 978-3-642-34363-6. Руководство по ремонту  3026641 .
  2. ^ "Уравнения для стандартного тора" . Geom.uiuc.edu. 6 июля 1995 года архивации с оригинала на 29 апреля 2012 года . Проверено 21 июля 2012 года .
  3. ^ "Тор" . Spatial Corp. Архивировано 13 декабря 2014 года . Проверено 16 ноября 2014 года .
  4. ^ Вайсштейн, Эрик В. "Тор" . MathWorld .
  5. ^ "полоидальный" . Оксфордский словарь английского языка онлайн . Издательство Оксфордского университета . Проверено 10 августа 2007 года .
  6. ^ Tymoczko Дмитрий (7 июля 2006). «Геометрия музыкальных аккордов» (PDF) . Наука . 313 (5783): 72–74. CiteSeerX 10.1.1.215.7449 . DOI : 10.1126 / science.1126287 . PMID 16825563 . Архивировано (PDF) из оригинала 25 июля 2011 года.   
  7. Тони Филлипс, « Взгляд Тони Филлипса на математику в средствах массовой информации». Архивировано 5 октября 2008 г. в Wayback Machine , Американское математическое общество , октябрь 2006 г.
  8. ^ Филиппели, Джанлуиджи (27 апреля 2012). «Док Мадхэттен: плоский тор в трехмерном пространстве» . Труды Национальной академии наук . 109 (19): 7218–7223. DOI : 10.1073 / pnas.1118478109 . PMC 3358891 . PMID 22523238 . Архивировано 25 июня 2012 года . Проверено 21 июля 2012 года .  
  9. Энрико де Лазаро (18 апреля 2012 г.). «Математики создают первое изображение плоского тора в 3D | Математика» . Sci-News.com . Архивировано 1 июня 2012 года . Проверено 21 июля 2012 года .
  10. ^ "Математика: первое изображение плоского тора в 3D - CNRS Web site - CNRS" . Архивировано из оригинала 5 июля 2012 года . Проверено 21 июля 2012 года .
  11. ^ "Наконец-то появились плоские торы!" . Math.univ-lyon1.fr. 18 апреля 2012 года Архивировано из оригинала 18 июня 2012 . Проверено 21 июля 2012 года .
  12. Перейти ↑ Weisstein, Eric W. Torus Cutting . MathWorld .

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

  • Создание тора по узлу
  • "4D тор" Пролетные сечения четырехмерного тора.
  • «Карта реляционной перспективы» Визуализация данных большой размерности с помощью плоского тора
  • Полидоны, многоугольники в форме пончика
  • Секин, Карло Х (27 января 2014 г.). «Топология скрученного тора - Numberphile» (видео) . Брэди Харан .
  • Андерс Сандберг (4 февраля 2014 г.). «Тор Земля» . Проверено 24 июля 2019 .