В алгебре , то дуальные числа являются гиперкомплексная номер системы впервые в 19 - м веке. Они представляют собой выражения вида a + bε , где a и b - действительные числа , а ε - символ, выбранный для удовлетворения.
Двойные числа можно складывать покомпонентно и умножать по формуле
что следует из свойства ε 2 = 0 и того факта, что умножение является билинейной операцией .
Двойные числа образуют коммутативную алгебру в размерности два над полем действительных чисел, а также артиново локальное кольцо . Это один из простейших примеров кольца с ненулевыми нильпотентными элементами .
История
Двойные числа были введены в 1873 году Уильямом Клиффордом и использовались в начале двадцатого века немецким математиком Эдуардом Штудом , который использовал их для обозначения двойного угла, который измеряет относительное положение двух наклонных линий в пространстве. Исследование определило двойственный угол как ϑ + dε , где ϑ - угол между направлениями двух прямых в трехмерном пространстве, а d - расстояние между ними. П - мерное обобщение, то число Грассмана , было представлено Грассманом в конце 19 - го века.
Определение в абстрактной алгебре
В абстрактной алгебре , алгебра дуальных чисел часто определяется как частное от в кольце многочленов над вещественными числамиот главного идеала , порожденного площади в неопределенных , то есть
Представление в алгебрах
Двойное число можно представить матрицей . Это работает, потому что матрица квадраты к нулевой матрице, аналогично двойному числу .
Есть и другие способы представления двойных чисел в виде матриц. Рассмотрим только случайреальные матрицы. Предполагая, что двойное число представлена единичной матрицей, то может быть представлена любой матрицей вида
где кроме тех случаев, когда
Дифференциация
Одно из применений двойных чисел - автоматическое дифференцирование . Рассмотрим действительные двойные числа выше. Для любого действительного многочлена P ( x ) = p 0 + p 1 x + p 2 x 2 + ... + p n x n несложно расширить область определения этого многочлена с вещественных до двойственных чисел. Тогда у нас есть такой результат:
где Р ' является производной Р .
В более общем смысле, мы можем расширить любую (аналитическую) действительную функцию на двойственные числа, посмотрев на ее ряд Тейлора :
так как все члены, содержащие ε 2 или больше, тривиально равны 0 по определению ε .
Вычисляя композиции этих функций по двойственным числам и исследуя коэффициент при ε в результате, мы обнаруживаем, что мы автоматически вычислили производную композиции.
Аналогичный метод работает для многочленов от n переменных, используя внешнюю алгебру n- мерного векторного пространства.
Геометрия
«Единичный круг» двойственных чисел состоит из чисел с a = ± 1, поскольку они удовлетворяют условию zz * = 1, где z * = a - bε . Однако обратите внимание, что
поэтому экспоненциальное отображение, примененное к оси ε, покрывает только половину «круга».
Пусть z = a + bε . Если a ≠ 0 и m =б/а, то z = a (1 + mε ) - полярное разложение двойственного числа z , а наклон m - его угловая часть. Концепция вращения в плоскости двойственных чисел эквивалентна отображению вертикального сдвига, поскольку (1 + pε ) (1 + qε ) = 1 + ( p + q ) ε .
В абсолютном пространстве и времени галилеянин преобразования
это
связывает систему координат покоя с движущейся системой отсчета скорости v . С двойными числами t + xε, представляющими события в одном пространственном измерении и времени, то же преобразование выполняется с умножением на 1 + vε .
Циклы
Учитывая два двойных числа p и q , они определяют набор z, такой, что разница в наклонах («угол Галилея») между прямыми от z до p и q постоянна. Этот набор представляет собой цикл в двойной числовой плоскости; поскольку уравнение, устанавливающее разность углов наклона линий как константу, является квадратным уравнением в действительной части z , цикл является параболой . «Циклическое вращение» дуальной числовой плоскости происходит как движение ее проективной прямой . Согласно Исааку Яглому , [1] : 92–93 цикл Z = { z : y = αx 2 } инвариантен относительно композиции сдвига
Разделение
Деление двойных чисел определяется, когда действительная часть знаменателя отлична от нуля. Процесс деления аналогичен сложному делению в том смысле, что знаменатель умножается на его сопряженное значение, чтобы исключить ненастоящие части.
Следовательно, разделив уравнение вида
умножаем верх и низ на сопряжение знаменателя:
который определяется, когда c не равно нулю .
Если, с другой стороны, c равно нулю, а d - нет, то уравнение
- не имеет решения, если a не равно нулю
- в противном случае решается любым двойственным числом вида б/d+ yε .
Это означает, что нереальная часть «частного» является произвольной, и поэтому деление не определено для чисто нереальных двойственных чисел. В самом деле, они (тривиально) являются делителями нуля и, очевидно, образуют идеал ассоциативной алгебры (и, следовательно, кольца ) двойственных чисел.
Приложения в механике
Двойные числа находят применение в механике , особенно в кинематическом синтезе. Например, двойные числа позволяют преобразовать уравнения ввода / вывода четырехзвенной сферической связи, которая включает только ротоидальные соединения, в четырехзвенный пространственный механизм (ротоид, ротоид, ротоид, цилиндр). Дуализированные углы состоят из примитивной части, углов и двойной части, имеющей единицы длины. [2] Подробнее см. Теорию винта .
Обобщения
Эта конструкция может быть выполнена в более общем смысле : для коммутативных кольца R можно определить двойное число над R как частное от кольца многочленов R [ X ] по идеалу ( Х 2 ) : изображение X , то есть квадрат равен нулю и соответствует элементу ε сверху.
Произвольный модуль элементов нулевого квадрата
Существует более общая конструкция двойственных чисел. Учитывая коммутативное кольцо и модуль , есть кольцо называется кольцом двойственных чисел, которое имеет следующие структуры:
Это -модуль с умножением, определенным для а также
Алгебра двойственных чисел - частный случай, когда а также
Суперпространство
Двойственные числа находят применение в физике , где они составляют один из простейших нетривиальных примеров суперпространства . Эквивалентно, это сверхчисла только с одним генератором; сверхчисла обобщают концепцию на n различных генераторов ε , каждый антикоммутирующий, возможно, доводящий n до бесконечности. Суперпространство слегка обобщает сверхчисла, допуская несколько коммутирующих измерений.
Мотивация введения двойственных чисел в физику следует из принципа исключения Паули для фермионов. Направление вдоль ε называется «фермионным» направлением, а действительная составляющая - «бозонным» направлением. Фермионное направление получило свое название от того факта, что фермионы подчиняются принципу исключения Паули: при обмене координатами квантово-механическая волновая функция меняет знак и, таким образом, исчезает, если две координаты сближаются; эта физическая идея фиксируется алгебраическим соотношением ε 2 = 0 .
Проективная линия
Идею проективной прямой над двойственными числами выдвинули Грюнвальд [3] и Коррадо Сегре . [4]
Подобно тому, как сфере Римана требуется точка северного полюса на бесконечности, чтобы замкнуть комплексную проективную линию , так и линия на бесконечности преуспевает в замыкании плоскости двойных чисел в цилиндр . [1] : 149–153
Предположим, что D - кольцо двойственных чисел x + yε, а U - подмножество с x ≠ 0 . Тогда U представляет собой группу единиц из D . Пусть B = {( a , b ) ∈ D × D : a ∈ U или b ∈ U} . Соотношение определяется на B следующим образом : ( а , б ) ~ ( с , d ) , когда есть у в U такой , что иа = с и иь = д . Это отношение фактически является отношением эквивалентности . Точки проективной прямой над D являются классами эквивалентности в B при таком соотношении: P ( D ) = B / ~ . Они представлены проективными координатами [ a , b ] .
Рассмотрим вложение D → P ( D ) посредством z → [ z , 1] . Тогда точки [1, n ] при n 2 = 0 находятся в P ( D ), но не являются образом какой-либо точки при вложении. P ( D ) отображается на цилиндр путем проекции : Возьмем цилиндр касательной к плоскости двойного числа на линии { yε : у ∈ ℝ} , ε 2 = 0 . Теперь возьмите противоположную линию на цилиндре за ось пучка плоскостей. Плоскости, пересекающие плоскость с двойными числами и цилиндр, обеспечивают соответствие точек между этими поверхностями. Плоскость, параллельная плоскости двойственных чисел, соответствует точкам [1, n ] , n 2 = 0 на проективной прямой над двойственными числами.
Смотрите также
- Гладкий анализ бесконечно малых
- Теория возмущений
- Теория винта
- Двойное комплексное число
- Преобразования Лагерра
- Число Грассмана
Рекомендации
- ^ а б Яглом, ИМ (1979). Простая неевклидова геометрия и ее физическая основа . Springer. ISBN 0-387-90332-1. Руководство по ремонту 0520230 .
- ^ Анхелес, Хорхе (1998), Анхелес, Хорхе; Захариев, Евтим (ред.), "Применение дуальной алгебры к кинематическому анализу", Вычислительные методы в механических системах: анализ механизмов, синтез и оптимизация , Серия НАТО ASI, Springer Berlin Heidelberg, 161 , стр. 3–32, doi : 10.1007 / 978-3-662-03729-4_1 , ISBN 9783662037294
- ^ Грюнвальд, Йозеф (1906). "Über duale Zahlen und ihre Anwendung in der Geometrie". Monatshefte für Mathematik . 17 : 81–136. DOI : 10.1007 / BF01697639 . S2CID 119840611 .
- ^ Сегре, Коррадо (1912). "XL. Le geometrie proiettive nei campi di numeri duali". Опере .Также в Atti della Reale Accademia della Scienze di Torino 47 .
дальнейшее чтение
- Бенчивенга, Ульдерико (1946). "Sulla rappresentazione geometrya delle algebre doppie dotate di modulo". Атти делла Реале Академия науки и прекрасной летописи Неаполя . 3. 2 (7). Руководство по ремонту 0021123 .
- Клиффорд, Уильям Кингдон (1873). «Предварительный набросок би-кватернионов». Труды Лондонского математического общества . 4 : 381–395.
- Харкин, Энтони А .; Харкин, Джозеф Б. (2004). «Геометрия обобщенных комплексных чисел» (PDF) . Математический журнал . 77 (2): 118–129. DOI : 10.1080 / 0025570X.2004.11953236 . S2CID 7837108 .
- Миллер, Уильям; Бенинг, Рошель (1968). «Гауссовы, параболические и гиперболические числа». Учитель математики . 61 (4): 377–382.
- Этюд, Эдуард (1903). Geometrie der Dynamen . п. 196.Из историко-математических монографий Корнелла в Корнельском университете .
- Яглом, Исаак (1968). Комплексные числа в геометрии . Академическая пресса . п. 12 –18.
- Брэнд, Луи (1947). Векторный и тензорный анализ . Нью-Йорк: Джон Вили и сыновья.
- Фишер, Ян С. (1999). Методы двойных чисел в кинематике, статике и динамике . Бока-Ратон: CRC Press.
- Бертрам, В. (2008). Дифференциальная геометрия, группы Ли и симметричные пространства над общими базовыми полями и кольцами, Мемуары AMS vol. 192, п. 900 . Провиденс, Род-Айленд: амер. Математика. Soc.
- « » Higher «касательное пространство» . math.stackexchange.com .