Изотропная линия
В геометрии квадратичных форм изотропная линия или нулевая линия — это линия , для которой квадратичная форма, примененная к вектору смещения между любой парой ее точек, равна нулю. Изотропная линия встречается только при изотропной квадратичной форме и никогда при определенной квадратичной форме .
Используя сложную геометрию , Эдмон Лагерр впервые предположил существование двух изотропных линий, проходящих через точку ( α , β ), которые зависят от мнимой единицы i : [1]
- Первая система:
- Вторая система:
Лагер затем интерпретировал эти линии как геодезические :
- Существенным свойством изотропных линий, которое можно использовать для их определения, является следующее: расстояние между любыми двумя точками изотропной линии, расположенными на конечном расстоянии в плоскости, равно нулю. Другими словами, эти линии удовлетворяют дифференциальному уравнению d s 2 = 0 . На произвольной поверхности можно изучать кривые, удовлетворяющие этому дифференциальному уравнению; эти кривые являются геодезическими линиями поверхности, и мы также называем их изотропными линиями . [1] : 90
На комплексной проективной плоскости точки изображаются однородными координатами. и линии по однородным координатам . Изотропная линия в комплексной проективной плоскости удовлетворяет уравнению: [2]
В терминах аффинного подпространства x 3 = 1 изотропная линия, проходящая через начало координат, равна
В проективной геометрии изотропные линии — это линии, проходящие через круговые точки на бесконечности .
В реальной ортогональной геометрии Эмиля Артина изотропные линии встречаются парами:
- Неособая плоскость, содержащая изотропный вектор, называется гиперболической плоскостью . Его всегда можно натянуть парой N, M векторов, которые удовлетворяют
- будем называть Любую такую упорядоченную пару N, M гиперболической парой. Если V — неособая плоскость с ортогональной геометрией и N ≠ 0 — изотропный вектор V , то существует ровно один M в V такой, что N, M — гиперболическая пара. Тогда векторы x N и y M являются единственными изотропными векторами V . [3]
относительность
[ редактировать ]Изотропные линии использовались в космологической письменности для переноса света. Например, в математической энциклопедии свет состоит из фотонов : « Мировая линия нулевой массы покоя (типа неквантовой модели фотона и других элементарных частиц с нулевой массой) является изотропной линией». [4] Для изотропных линий, проходящих через начало координат, конкретная точка является нулевым вектором , а совокупность всех таких изотропных линий образует световой конус в начале координат.
Эли Картан расширил концепцию изотропных линий до мультивекторов в своей книге о спинорах в трех измерениях . [5]
Ссылки
[ редактировать ]- ^ Jump up to: Перейти обратно: а б Эдмон Лагер (1870) «Об использовании воображения в геометрии», Сочинения Лагера 2: 89
- ^ CE Springer (1964) Геометрия и анализ проективных пространств , стр. 141, WH Freeman and Company
- ^ Эмиль Артин (1957) Геометрическая алгебра , страница 119 через Интернет-архив
- ^ математики Энциклопедия мировой линии
- ^ Картан, Эли (1981) [1938], Теория спиноров , Нью-Йорк: Dover Publications , стр. 17, ISBN 978-0-486-64070-9 , МР 0631850
- Пит Л. Кларк, Квадратичные формы, глава I: теория Уиттса , Университет Майами в Корал-Гейблс, Флорида .
- О. Тимоти О'Мира (1963, 2000) Введение в квадратичные формы , стр. 94