Содержание 3
Содержание
Стр.
От издательства 7
Предисловие автора к электронной версии книги. 8
Введение 9
§1.1 Множество 16
§1.2. Пространство и его модель. 18
§1.3. Изоморфизм. 20
§1.4 Классы эквивалентности. 20
§1.5. Группа, лупа, кольцо, тело. 21
§1.6 Гиперкомплексные числа, исключительность
четырёх алгебр. 23
§1.7 Свойства действительных чисел, комплексных чисел, 25
кватернионов и октав.
§3.1. Точки 44
§3.2. Точечные и векторные пространства. 46
§3.3. Мультивекторные пространства. 49
§3.4. Линейные векторные пространства. 50
§3.5. Сравнение свойств мультивекторных и линейных 51
векторных пространств.
§3.6. Нестандартное расширение алгебры векторов в 53
линейных и мультивекторных пространствах.
§3.7. Свойства точечных и векторных пространств. 54
4 Содержание
Заключение 248
Литература. 250
Обозначения и сокращения. 254
7
8
m
Именно эта норма имелась в виду в [38], когда утверждалось что
"кватернионы не подходят для описания пространства-времени".
Второй квадратичной нормой в алгебре октав и её подалгебрах.
является лоренцева норма [26].
Лоренцева норма, - знакопеременная квадратичная норма равная
половине суммы квадратов сопряжённых чисел
1 2 m −1 2
Lr(a) = (а 2 +а ) = а02 − ∑ аj ;
2
j =1
−,...,−
Лоренцева норма имеет сигнатуру (+,− −) .
m
Введение 13
Как следует из формулы лоренцева норма имеет сигнатуру необходимую
для описания экспериментально регистрируемых метрических свойств
пространства-времени.
Каждой из этих норм (евклидовой и лоренцевой) соответствует своё
скалярное произведение (глава 2). Т.е. в исключительных алгебрах
существуют две нормы и два скалярных произведения. Существование
знакопеременной нормы в исключительных алгебрах позволило улучшить
техническую сторону предложения Ф. Клейна, и исключить применение
комплексных коэффициентов в представлении кватернионов с целью
моделирования свойств физического пространства.
§1.1. Множество.
Множество является наиболее общей структурой, которую мы будем
рассматривать. Можно, например, определить множество точек,
множество целых чисел, множество комплексных чисел, множество
функций и т.д. Дадим определение множества и его подмножества.
Функция (отображение).
Задание способа, с помощью которого одному элементу множества
сопоставлен элемент другого множества, определяет функцию или
(синоним) отображение. Пусть А, В - два множества. Обозначим через а
произвольный элемент из А, а через b некоторый элемент из В. Будем
Гл. 1 17
говорить, что определено отображение множества А в множество В, если
указан способ, посредством которого каждому элементу a∈А ставится в
соответствие некоторый элемент b из В. Отображение множества А в
множество В называется также функцией f.
• Областью определения функции назовем множество А для
которого задана рассматриваемая функция.
• Областью значений функции назовем множество В, которое
поставлено заданной функцией в соответствие элементам из
области её определения.
• Множество всех функций (отображений) из А в В обозначают
А
символом В . Утверждение f∈ ∈ВА чаще записывают в виде
f:А→В.
• Множество А, являющееся областью определения функции,
может совпадать с множеством В, являющимся областью
значений функции т.е. А=В. В этом случае множество всех
А
функций будет иметь обозначение А и читаться как множество
функций множества А.
• Функцию (отображение) будем обозначать:
−символом b=f(а) если необходимо показать взаимосвязь
между элементами одного и того же множества,
−символом f: А→В если нужно показать взаимосвязь множеств.
А А/
А А
∅ −пустое
множество
рис.1
C R Н Са
рис.2
Замечание.
Операцию деления в отношении кватернионов и октав удобно заменять
умножением на обратное число (соответственно на кватернион или
октаву). Это связано с не коммутативностью и не ассоциативностью
умножения этих чисел и трудностями по расстановке скобок при
написании длинных формул с применением знака деления.
F1. ||z||≥0;
при этом ||z||=0 тогда и только тогда, когда z=0.
F2. ||zw||=||z||·||w||
F3. ||z+w||≤||z||+||w||
F4. ||z−w||≥||z||−||w||.
F5. -1 -1
Если z≠0 то ||z ||=||z||
Гл. 1 31
G) Геометрическое представление чисел R, С, Н и Са.
Числа R, С, Н и Са допускают представление в виде векторов.
Для комплексных чисел C и точек плоскости можно показать их
взаимнооднозначное соответствие. Для
e1 z
этого рассмотрим плоскость, на которой
базисные единичные векторы e0 и e1
образуют прямоугольные координаты −z
рис. 3. Каждому комплексному числу
O e0
z=αe0+βe1 сопоставим радиус-вектор,
началом которого является начало z
рис.3
координат (точка O), а концом точка с
координатами (α,β). Таким образом, каждой точке плоскости
сопоставляется радиус-вектор и соответствующее комплексное число.
Необходимо также отметить, что каждый радиус-вектор, которому
соответствует комплексное число z, однозначно задаёт:
• радиус-вектор с противоположного направления −z;
• сопряжённый радиус-вектор z.
j =1
(13).
Таблица 2.
№ Функция Наименование Комментарий
1.
(
〈 а, b〉 = 1 ab + b a
2
) Лоренцево скалярное
произведение
Всегда
действительное
число.
〈〈 а, b〉〉 = (ab + ba )
2. Всегда
1 Евклидово скалярное
действительное
2 произведение
число.
3. [а, b〉 = (ab − b a )
1 Лоренцево векторное
произведение
всегда мнимое
число
2
4. [а, b〉〉 = (ab −ba )
1 Евклидово векторное всегда мнимое
2 произведение число
5. Содержит
a o b = 1 (ab + ba ) Йорданово
действительную,
2 умножение
и мнимую часть
6. Лиево умножение
всегда мнимое
[a,b] = ab−ba или
число
коммутатор.
Таблица 3.
Разложение произведения двух чисел из Ca.
ab = 〈a, b〉 + [a, b〉 ab = 〈〈 a, b〉〉 + [a, b〉〉 ab= aob+ 1[a,b]
2
a b c
〈a, b〉 =
1. (
〈а, b〉 = 1 ab+b a
2
) 〈a,b〉 = 〈〈a,b〉〉 = 〈〈а,b〉〉
= 1 (a o b + b o a)
2
[a, b〉 = 1 [a, b] +
2.
2
(
[а, b〉 = 1 ab−b a ) [a, b〉 = [a, b〉〉
+ 1
2
(a o b − b o a)
2
〈〈 a, b〉〉 =
3. 〈〈a,b〉〉 = 〈a,b〉 = 〈а,b〉 〈〈а, b〉〉 = 1
2
(ab+ba) = 1 (a o b + b o a)
2
[a,b〉〉 = −1 [a,b]+
4. [a, b〉〉 = [a, b〉 2
(
[а, b〉〉 = 1 ab −ba ) + 1 (aob−bo a)
2
2
a o b = 〈a, b〉 + a o b = 〈〈 a, b〉〉 +
a o b = 1 (ab + ba )
5.
+ 1 ( [a,b〉 +[b,a〉 )
2
(
+ 1 [a,b〉〉 +[b, a〉〉
2
) 2
§2.6. Тождества.
Неассоциативный многочлен f = f (a1, a2 ,..., an ) , где a1, a2 ,..., an
элементы некоторого пространства с определённой алгеброй называется
тождеством если f (a1, a2 ,..., an ) = 0 для любых a1, a2 ,..., an . Если мы
имеем дело с алгеброй чисел А то можно говорить, что алгебра чисел А
удовлетворяет тождеству f или что в А справедливо тождество f.
Таблица 5.
№ Алгебра Тождество, определяющее
п.п. подалгебру
1 R z−z =0
2 C [a, b] = (ab −ba )= 0
3 H [a, b, c] = (ab)c − a(bc) = 0
4 Ca [ z, z, y] = 0 , [ x, z, z] = 0
44 Гл. 3
Глава 3.
Точечные и векторные пространства.
________________________________________________________
§3.1. Точки
Реальное физическое пространство наглядно, так как мы в нём
находимся и постоянно его наблюдаем. Наблюдения показывают, что в
окружающем мире существуют простейшие объекты, которые мы можем
выделить, это − точки. Интуитивно ясно, что точка, это некоторая малая
область пространства. Евклид почти за 300 лет до новой эры дал
определение точки: "точка есть то, что не имеет частей" [14].
Определение наглядное, но в математическом смысле неопределённое.
Однако этого определения (в сочетании с другими определениями)
Евклиду оказалось достаточно для систематического описания геометрии.
Существование точки постулируется. Далее с точкой, как с объектом,
можно совершать определённые действия и строить сложные
математические конструкции. Например, через две точки можно провести
линию и т.д.
Если точка "не имеет частей" то у нас нет физических приборов,
чтобы исследовать свойства этого объекта. Но если невозможно построить
прибор реальный, то можно построить прибор идеальный. Таким
прибором является математическая модель точки.
Важным шагом в понимании природы точки и построения её
математической модели явилось осознание факта, что точки и числа
можно рассматривать как объекты с похожими свойствами. Кантор в 1872г
сформулировал аксиому, которая устанавливает взаимно однозначное
соответствие между точками прямой и действительными числами, т.е.
взаимно однозначное соответствие между алгебраическими и
геометрическими объектами. Эта аксиома может быть записана
следующим образом:
Если взять прямую линию, определить на ней нулевую точку и
положительное направление, а также задать единичный отрезок
то [22]:
"каждому рациональному или иррациональному числу
отвечает точка, имеющая это число своей
координатой; каждой точке на прямой отвечает в
качестве координаты рациональное или
иррациональное число".
Кроме действительных чисел включающих рациональные и
иррациональные числа существуют другие виды чисел, соответственно и
точки могут быть разными. Точке можно сопоставить "составные" числа,
подчиняющиеся некоторой алгебре. Например, комплексные числа,
Гл. 3 45
гиперкомплексные числа и т.д. Точке можно сопоставить не одно число, а
набор чисел. Можно даже рассматривать точку, которой сопоставлено
бесконечное множество чисел. Следует ожидать, что свойства точек,
которые сопоставляются с различными видами чисел, будут разными.
Можно предположить, что окружающее физическое пространство
состоит из точек. Поэтому в качестве наиболее общей математической
модели окружающего мира можно принять пространство, состоящее из
точек. Для построения модели физического пространства, из многих
свойств точки интересным является представление точки как элемента
некоторой механической системы, которая имеет возможность двигаться
среди таких же точек. Можно рассматривать точки как кинематические
звенья в сложном механизме, который состоит из бесконечного количества
одинаковых точек и называется "пространством". Если допустить что
точки, образующие некоторое пространство, могут двигаться, то каждая
точка имеет ограничения на своё движение, и эти ограничения
определяются алгеброй чисел соответствующей этой точке.
При описании движения механических систем в качестве
независимых координат, определяющих положение системы не
обязательно должны выбираться декартовы координаты точек этой
системы, ими могут быть любые (по геометрическому смыслу и
размерности) параметры. Приведём определения, которые используются в
механике и которые потребуются в дальнейшем;
• Число независимых параметров однозначно
определяющих положение системы, называется числом
степеней свободы этой системы.
• Независимые друг от друга параметры, число которых
равно числу степеней свободы системы и которые
однозначно определяют положение системы,
называются обобщёнными координатами.
Точка, как простейшая механическая система, также обладает
определённым числом степеней свободы. И это число степеней свободы
точки как механической системы напрямую связано с числом степеней
свободы, которую допускает алгебра чисел, соответствующих данной
точке. Так как предполагается, что точка мала и не имеет линейных
размеров, то точка, как механическая система, не имеет степени свободы
связанной с углом поворота, но имеет степени свободы связанные с
линейными перемещениями. По количеству степеней свободы точки
бывают разными. Например, свойства точки на двухмерной
действительной плоскости отличаются от свойств точки в трёхмерном
действительном пространстве. В двухмерном пространстве точка имеет
две степени свободы. В трехмерном пространстве точка имеет три степени
свободы. Соответственно если рассматриваются многомерные
пространства, то число степеней свободы точки увеличивается.
Основные свойства точки вытекают из алгебры чисел, которым
сопоставляются точки. При построении модели физического пространства
эту алгебру приходится выбирать. Однако принятие, какой либо алгебры
46 Гл. 3
ничего не говорит о том, могут ли точки перемещаться друг относительно
друга. Поэтому рассмотрение точки как динамического объекта или как
объекта статического также является предметом выбора при построении
модели. Все дальнейшие свойства модели должны вытекать из следующих
основных положений:
• принятой алгебры чисел, которые сопоставляются
точкам изучаемого пространства,
• постулата наличия (или отсутствия) движения точек,
изучаемого пространства.
Замечание.
В литературе для векторных пространств над полем действительных чисел
n
используется обозначение R , где n - размерность пространства. Для
векторных пространств над полем комплексных чисел используется
n
обозначение C , где n - размерность пространства. Этим пространствам в
данной работе соответствуют унифицированные обозначения L(n,1) и
L(n,2) соответственно.
Гл. 3 49
§3.3. Мультивекторные пространства (МП).
Приведём определение мультивекторного пространства [26].
Мультивекторным пространством Mm называется векторное
пространство, для векторов которого определены операции
сложения, умножения и сопряжения. Эти операции изоморфны
соответствующим операциям в числовом множестве, которое
является телом (R или С или Н или Са ).
Где:
m - размерность алгебры векторов,
R - тело действительных чисел, размерность алгебры m=1,
(мультивекторное пространство обозначается M1);
C - тело комплексных чисел, размерность алгебры m=2,
(мультивекторное пространство обозначается M2);
H - тело кватернионов, размерность алгебры m=4,
(мультивекторное пространство обозначается M4);
Ca - тело октав, размерность алгебры m=8.
(мультивекторное пространство обозначается M8).
В тексте данной главы будет использоваться также сокращение МП
(мультивекторное пространство).
На рис.1 схематично представлена структура мультивекторного
пространства Mm. На рисунке показано что, МП содержит:
I. Подмножество векторов W (множество всех упорядоченных пар
точек исходного точечного пространства ZM).
W
II. Подмножество функций W изоморфное в части операций
сложения, умножения и сопряжения векторов подмножеству
Вm
функций тела В ..
W W ≈В Вm Мm
W
рис.1
BBm
векторное пространство
над телом L(n,m)
Bm
W
рис.2.
LL
WW
Примечание.
Обзорный материал о бесконечно малых содержится в работе Клейна [22].
Аксиома компонентов.
Если в пространстве L(n,m) дана система состоящая из n линейно
независимых векторов х1, х2,..., хn, то каждому вектору х этого
пространства соответствует, по крайней мере, одно множество
коэффициентов (чисел) α1, α2, ..., αn из тела Bm которое
обеспечивает выполнение векторного равенства
α1х1+ α2х2+...+ αnхn =х.
Каждый вектор αiхi (i – натуральное число) называется компонентой
вектора х, а именно компонентой х по хi. Коэффициент αi определяет
величину этой компоненты.
В произвольном векторном пространстве над телом L(n,m) всякий
вектор можно однозначно представить в виде линейной комбинации
векторов любого базиса. Наоборот, если всякий вектор можно однозначно
60 Гл.4
представить в виде линейной комбинации векторов некоторой системы, то
эта система может быть использована в качестве базиса этого векторного
пространства.
Пример.
1) Примером четырёхмерного векторного пространства над полем
действительных чисел R может служить пространство L(4,1),
используемое в качестве математической модели четырёхмерного
физического пространства-времени. Такое линейное пространство, с
определённым надлежащим способом скалярным произведением,
называется пространством Минковского. Для этого пространства:
• размерность алгебры коэффициентов из тела действительных
чисел m=1,
• размерность векторного пространства n=4,
• Число степеней свободы точки равно dn=1·4=4, т.е. размерность
пространства совпадает с числом степеней свободы.
2) Примером двумерного пространства может служить векторное
пространство L(2,2). Это двумерное векторное пространство над
полем комплексных чисел. Для этого пространства:
• размерность алгебры коэффициентов из тела комплексных чисел
m=2,
62 Гл.4
• размерность векторного пространства n=2,
• Число степеней свободы L(1,2) равно dn=2·2=4, т.е.
размерность пространства меньше числа степеней свободы точки.
〈а, b〉 = 1 i =n
2
(
∑ ai bi + b i a i )= ∑ a
i = n
b
i 0 i0 −
m −1
∑ ij ij ,
a b
i =1 i =1 j =1
где: аi , bi − коэффициенты i−той компоненты векторов а и b из
линейного пространства L(n,m);
аij , bij − разложение коэффициента i−той компоненты векторов аi и
bi по мнимым единицам алгебры размерности m.
Лоренцево скалярное произведение всегда принимает действительное
значение, является коммутативным, дистрибутивным и однородным т.е.
i =1 i =1 j =1
4.6.3. Множественность скалярных произведений в линейных
пространствах.
Евклидово и лоренцево скалярные произведения являются базовыми
функциями, которые могут быть использованы в линейных векторных
пространствах L(n,1), L(n,2), L(n,4) и L(n,8). Однако приведенные
формулы не исчерпывают всего множества скалярных произведений в
Гл. 4 65
пространствах L(n,m). Опираясь на процедуру восстановления скалярного
произведения по квадратичной форме можно, задавая различные
квадратичные формы, принимающие действительные значения при любых
значениях векторного аргумента, получать соответствующие скалярные
произведения.
Квадратичные формы, имеющие всюду действительные значения,
при любом значении векторного аргумента a∈L(n,m), являются линейной
комбинацией элементарных квадратичных форм, и определяется формулой
i =n
Q(a) = ∑ (g i1 Nr(ai ) + g i2 Lr(ai )),
i =1
2
где: Nr(ai ) = ai а i , Lr (ai ) = 1 (аi2 + а i ) ;
2
аi − коэффициент i−той компоненты вектора a размерности n из
линейного пространства L(n,m);
gi1, gi2 − заданные весовые коэффициенты (действительные числа, в
том числе отрицательные).
Каждой квадратичной форме можно сопоставить симметричную
билинейную форму B(a,b). Для квадратичной формы соответствующая
симметричная билинейная форма имеет вид
B(а, b) = 1 ( Q(a + b) −Q(a) −Q(b)) =
2
=∑
i =n
( 1 1
g i1 2 (ai b i + bi a i ) + g i2 2 (ai bi + b i a i ) ) .
i =1
где а, b – любые векторы линейного пространства L(n,m);
gi1, gi2 − заданные весовые коэффициенты (действительные числа).
Полученная симметричная билинейная функция будет принимать всюду
действительные значения и может быть использована в качестве
скалярного произведения.
Поскольку лоренцева норма является знакопеременной, то квадратичные
формы в общем случае могут иметь положительные, отрицательные или
нулевые значения. В линейных пространствах вида L(n,m) появляются
изотропные векторы, т.е. не нулевые векторы, некоторая норма которых
равна нулю.
Как видно из изложенного материала линейные векторные
пространства вида L(n,m) не обладают свойством единственности
скалярного произведения. Поэтому при разработке математической модели
некоторого физического объекта приходится выбирать из множества
функций принимающих всюду действительные значения подходящую
функцию для использования её в качестве скалярного произведения. Это
определяется разработчиком математической модели. Как правило, из
множества функций в качестве скалярного произведения выбирается
единственная функция, и эта функция входит в систему аксиом изучаемого
линейного пространства.
66 Гл.4
Справочный материал к главе 4.
Векторное исчисление в семимерном векторном пространстве
над телом действительных чисел.
В последующих главах используется алгебра векторов семимерного
векторного пространства над телом действительных чисел. Векторное
исчисление в семимерном векторном пространстве L(7,1) подробно
рассмотрено в [24], [25]. Поскольку литературы по данной теме мало, то в
настоящем справочном разделе приводятся формулы из указанных работ,
необходимые для изложения дальнейшего материала.
e1 e2 e3 e4 e5 e6 e7
e1 1 0 0 0 0 0 0
e2 0 1 0 0 0 0 0
e3 0 0 1 0 0 0 0
e4 0 0 0 1 0 0 0
e5 0 0 0 0 1 0 0
e6 0 0 0 0 0 1 0
e7 0 0 0 0 0 0 1
Откуда следует
(A|B)=a1 b1+a2 b2+... +a7 b7=ai bi
Скалярный квадрат вектора равен
(A|A)=(a1)2+(a2)2+...+(a7)2=A2.
В семимерном векторном исчислении скалярное произведение обладает
теми же свойствами что и в трёхмерном аналоге, а именно:
• Скалярное произведение не изменяется, если вынести скалярный
множитель за скобки скалярного произведения т.е.
(αA|B)=α(A|B).
• Скалярное произведение коммутативно и не изменяется при
перестановке векторов т.е.
(A|B)=(B|A).
• Скалярное произведение дистрибутивно т.е.
(A|B+C)=(A|B)+(A|C).
Гл. 4 67
С4.1.2. Векторное произведение.
Векторным произведением [A|B] двух векторов A и B является вектор
[A|B]= [ai ei|bk ek]=ai bk [ei|ek].
Векторное произведение базисных векторов [ei|ek] определяется таблицей
e1 e2 e3 e4 e5 e6 e7
e1 0 e3 −e2 e5 −e4 −e7 e6
e2 −e3 0 e1 e6 e7 −e4 −e5
e3 e2 −e1 0 e7 −e6 e5 −e4
e4 −e5 −e6 −e7 0 e1 e2 e3
e5 e4 −e7 e6 −e1 0 −e3 e2
e6 e7 e4 −e5 −e2 e3 0 −e1
e7 −e6 e5 e4 −e3 −e2 e1 0
Поэтому
[A|B]=[a1 e1+ a 2 e2+...+a7 e7 | b1 e1+b2 e2+...+b7 e7]=
=((a2 b3−a3 b2)+(a4 b5−a5 b4)+(a7 b6−a6 b7)) e1 +
+((a4 b6−a6 b4)+(a5 b7−a7 b5)+(a3 b1−a1 b3)) e2 +
+((a6 b5−a5 b6)+(a1 b2−a2 b1)+(a4 b7−a7 b4)) e3 +
+((a5 b1−a1 b5)+(a7 b3−a3 b7)+(a6 b2−a2 b6)) e4 +
+((a7 b2−a2 b7)+(a3 b6−a6 b3)+(a1 b4−a4 b1)) e5 +
+((a1 b7−a7 b1)+(a2 b4−a4 b2)+(a5 b3−a3 b5)) e6 +
+((a3 b4−a4 b3)+(a6 b1−a1 b6)+(a2 b5−a5 b2)) e7 .
e1 e2 e3
[A|B] = a1 a2 a3 +
b1 b2 b3
e2 e4 e6 e3 e6 e5 e4 e5 e1
+ a2 a4 a6 + a3 a6 a5 + a4 a5 a1 +
b2 b4 b6 b3 b6 b5 b4 b5 b1
e5 e7 e2 e6 e1 e7 e7 e3 e4
+ a5 a7 a2 + a6 a1 a7 + a7 a3 a4 .
b5 b7 b2 b6 b1 b7 b7 b3 b4
a1 a2 a3
(A|B|C) = b1 b2 b3 +
c1 c2 c3
a2 a4 a6 a3 a6 a5 a4 a5 a1
+ b2 b4 b6 + b3 b6 b5 + b4 b5 b1 +
c2 c4 c6 c3 c6 c5 c4 c5 c1
a5 a7 a2 a6 a1 a7 a7 a3 a4
+ b5 b7 b2 + b6 b1 b7 + b7 b3 b4 .
c5 c7 c2 c6 c1 c7 c7 c3 c4
e1 e2 e4 e7 e2 e4 e5 e3 e3 e6 e1 e4
[A|B|C] = a1 a2 a4 a7 + a2 a4 a5 a3 + a3 a6 a1 a4 +
b1 b2 b4 b7 b2 b4 b5 b3 b3 b6 b1 b4
c1 c2 c4 c7 c2 c4 c5 c3 c3 c6 c1 c4
e4 e5 e7 e6 e5 e7 e3 e1 e6 e1 e2 e5 e7 e3 e6 e2
+ a4 a5 a7 a6 + a5 a7 a3 a1 + a6 a1 a2 a5 + a7 a3 a6 a2 .
b4 b5 b7 b6 b5 b7 b3 b1 b6 b1 b2 b5 b7 b3 b6 b2
c4 c5 c7 c6 c5 c7 c3 c1 c6 c1 c2 c5 c7 c3 c6 c2
[A|[B|C]]+[B|[C|A]]+[C|[A|B]]=3[A|B|C].
70 Гл.4
С4.3. Дифференциальные операции.
С4.3.1. Оператор Гамильтона.
Для прямоугольных систем координат в семимерном векторном
исчислении можно ввести семимерный аналог оператора Гамильтона ∇ −
"набла".
∂ ∂ ∂ ∂
∇= e1 + e2 + ... + e7 = ei (i=1,2,...,7).
∂x1 ∂x2 ∂x7 ∂xi
где: ei − базисные векторы.
С помощью оператора Гамильтона можно записывать дифференциальные
операции для векторов семимерного поля.
e1 e2 e3 e2 e4 e6 e3 e6 e5
∂ ∂ ∂ ∂ ∂ ∂ ∂ ∂ ∂
rot A=[∇|A] = ∂x ∂x ∂x + ∂x ∂x ∂x + ∂x ∂x ∂x +
1 2 3 2 4 6 3 6 5
a1 a2 a3 a2 a4 a6 a3 a6 a5
e4 e5 e1 e5 e7 e2 e6 e1 e7 e7 e3 e4
∂ ∂ ∂ ∂ ∂ ∂ ∂ ∂ ∂ ∂ ∂ ∂
+ ∂x ∂x ∂x + ∂x ∂x ∂x + ∂x ∂x ∂x + ∂x ∂x ∂x .
4 5 1 5 7 2 6 1 7 7 3 4
a4 a5 a1 a5 a7 a2 a6 a1 a7 a7 a3 a4
B)
div (uA) = (∇ | uA) = (∇ | uc A) + (∇ | (uAc ) = uc (∇ | A) + ( Ac | ∇u) =
= u(∇ | A) + ( A | ∇u) = u div A + ( A | grad u );
C)
div [ A| B] = (∇|[ A| B]) = (∇| A| B) = (∇| Ac | B) + (∇| A| Bc ) =
= −( Ac | ∇| B) + (Bc | ∇| A) = (B|[∇| A])−( A|[∇| B]) = (B| rotA) −( A| rotB);
D)
rot (uA) = [∇ | uA] = [∇ | uc A] + [∇ | (uAc ] = uc [∇ | A] + [ Ac | ∇u] =
= u[∇ | A] + [ A | ∇u] = u rot A + [ grad u | A ];
Гл. 4 73
E)
grad ( A| B) = ∇(A| B) = ∇(Ac | B) +∇( A| Bc ) =
= (Ac | ∇)B +[ Ac |[∇| B]]−[Ac | ∇| B]+(Bc | ∇) A+[Bc |[∇| A]]−[Bc | ∇| A] =
= (A| ∇)B +[A|[∇| B]]−[A| ∇| B]+(B| ∇) A+[B|[∇| A]]−[B| ∇| A] =
= (B| ∇)A+[B| rotA]−[B| ∇| A]+(A| ∇)B +[A| rotB]−[ A| ∇| B];
F)
rot [ A| B] = [∇ |[ A| B]] = [∇ |[ Ac | B]]+[∇ |[ A| Bc ]] =
= Ac (∇ | B) − ( Ac | ∇)B −[ Ac | ∇ | B]+ Bc (∇ | A) + (Bc | ∇) A −[Bc | ∇ | A] =
= A(∇ | B) − ( A| ∇)B −[ A| ∇ | B] − B(∇ | A) + (B | ∇) A +[B | ∇ | A] =
= (B | ∇) A − BdivA+[B | ∇ | A] − ((A| ∇)B − A divB+[ A| ∇ | B];
74 Гл. 5
Глава 5.
Мультивекторные пространства
________________________________________________________
В данной главе рассмотрены мультивекторные пространства и определены
основные свойства этих пространств. Детальное изложение материала,
приводимого в данной главе, можно найти в [26].
m
5.1.3. Евклидово скалярное произведение
m −1
〈〈 а, b〉〉 = 1 (ab + ba ) = a0b0 + ∑ a j b j .
2
j =1
Свойства евклидова скалярного произведения 〈〈 a, b〉〉 . Таблица 2
Свойство Наименование
〈〈 a, b〉〉 = 〈〈 b, а〉〉 коммутативность
Следствие
1. Мультивекторные пространства одномерны т.к. в них только линейная
комбинация, состоящая из одного вектора, может быть линейно
независима. Умножение векторов может быть не коммутативным, но это
не влияет на полученный вывод об одномерности мультивекторных
пространств.
2. Т.к. мультивекторные пространства одномерны, т.е. n=1, то число
степеней свободы точки (§4.3.) в точечных пространствах связанных с
мультивекторными пространствами равно размерности алгебры векторов,
т.е. dn=1·m=m.
3. Отметим, что нижний индекс в обозначении Мm указывает на то, что
мультивекторное пространство имеет число степеней свободы точки
равное m. А также алгебра векторов в этом пространстве имеет
размерность m, где m=1, 2, 4, 8.
а −а
- мнимый вектор, нормированный на единицу,
||а − а ||
β и µ произвольные действительные параметра (векторы).
Как следует из структуры формулы, ограничением её применимости
является условие a − а ≠ 0 . Т.е. вектор а∈М8, порождающий
мультивекторное подпространство М2 , не может быть действительным, и
должен содержать мнимую составляющую.
Изменяя свободные действительные параметры β и µ можно
получить всё множество векторов коммутирующих с данным вектором a.
Т.е. получить любой вектор из подпространства М2 порождённого
действительным вектором e0 и вектором а∈М8, содержащим мнимую
составляющую.
Следствия [26].
1. Любой вектор из М8 отличный от нулевого и содержащий мнимую
составляющую порождает совместно с действительным вектором
подпространство М2 изоморфное полю комплексных чисел.
2. Формула (3), для выделения множества векторов, коммутирующих с
заданным вектором a∈М8, имеет геометрическую интерпретацию, а
именно все векторы, коммутирующие с вектором a, лежат в
гиперплоскости, заданной векторами e0, и a − а . Свойства этой
гиперплоскости изоморфны комплексной плоскости.
84 Гл. 5
3. Если векторы b1 и b2, принадлежат гиперплоскости образованной
векторами e0, и a − а , то векторы равные сумме b1+b2 и произведению
b1b2 также лежит в этой гиперплоскости.
Следствия [26].
1. Для мультивекторного пространства М8, алгебра векторов в котором
изоморфна альтернативной алгебре октав, теорему Артина можно записать
так:
Два не нулевых и не коммутирующих между собой
вектора из М8 и действительный вектор порождают
подпространство М4 изоморфное ассоциативному телу
кватернионов.
2. Формула, для выделения множества векторов, ассоциирующих с
заданными векторами a, b∈М8, имеет геометрическую интерпретацию. А
именно все векторы, ассоциирующие с векторами a и b, лежат в
гиперобъёме, заданным векторами e0, a, b и ab. Алгебра векторов из
этого гиперобъёма изоморфна алгебре кватернионов.
3. Если векторы y1 и y2, принадлежат гиперобъёму заданному векторами
e0, a, b и ab, то векторы равные сумме y1+y2 и произведению y1y2
также лежат в этом гиперобъёме.
Замечание.
Линейная независимость векторов мультивекторного пространства не
требует обязательной ортогональности базисных векторов. В данной
работе в основном использованы ортогональные базисные векторы, т.к. с
ними удобнее работать.
Пример.
1. Двумерное векторное пространства L(2,1) можно рассматривать как
овеществлённое, линеаризованное пространство M2. Пространству L(2,1)
соответствует действительная плоскость, пространству M2 соответствует
комплексная плоскость. Число степеней свободы точки в пространствах
совпадает и равно dn=2. Пространство M2 отличается от двумерного
векторного пространства L(2,1) над телом действительных чисел с
размерностью n=2 с числом степеней свободы dn=1×2=2 тем, что в нём
определено не только сложение векторов, но и их умножение. В
пространстве L(2,1) каждому вектору поставлена в соответствие
упорядоченная пара действительных чисел. В пространстве M2 каждому
вектору поставлено в соответствие одно комплексное число.
2. Пространство Минковского L(4,1) можно рассматривать как
овеществлённое мультивекторное пространство M4, в котором как
дополнительное условие сохранена (постулирована) лоренцева метрика
3
∆S 2 = ∆x02 − ∑ ∆xi2 .
i =1
Многие свойства пространства-времени были изучены с использованием в
качестве модели пространства Минковского.
90 Гл. 5
В мультивекторном пространстве M4 лоренцева метрика выводима
из алгебраических свойств этого пространства. Эту метрику в M4 не нужно
постулировать. Метрические свойства мультивекторного пространства M4
сложнее метрических свойств пространства Минковского.
= 1 (q р + q р ) е р + 1 || q р − q р || i pq
2 2
1 1
Учитывая, что величины (q р + q р) и || q р − q р || являются
2 2
действительными векторами, удобно ввести параметрическую форму
представления вектора, где в качестве параметров используются величины
||q р − q р ||
β= и Nr(q р ) =|| q р ||2 = Re2 (q р ) ⋅ (1 + β 2 ) ,
q р +q р
где: β параметр скорости вектора qр (действительный вектор).
С использованием параметров β и Nr(qр) можно определить вектор qр с
единичной евклидовой нормой, совпадающий по направлению с вектором
qр, а именно
1 β
qр = ер + i pq .
2 2
1+ β 1+ β
Соответственно вектор qр будет определяться соотношением
1 β
q р =|| q p || ер + i рq .
1+ β 2
1+ β 2
Лоренцева норма вектора qр также может быть определена через
параметры β и Nr(qр), т.е.
1− β 2
Lr(q р ) = Nr(q р ) .
1+ β 2
2
Из формулы следует: при β =1 лоренцева норма равна нулю и
2
следовательно вектор qр является изотропным, а при β >1 лоренцева
норма вектора qр становится отрицательной.
Замечание.
Понятие системы отсчёта вектора, которое введено в настоящем
разделе, не связано с понятием инерциальной системы отсчёта
присутствующей в постулатах Эйнштейна (гл.10). Это разные понятия.
Замечание.
Формулам (8), (10) определяющим L−движение в мультивекторном
пространстве М2, можно сопоставить формулу преобразований Лоренца в
линейном пространстве L(2,1) с метрикой Минковского.
( )
Vr ( z p ) = 1 z p − z p = 1 || z p − z p ||
(z p −z p )=z k .
2 2 р1 pz
|| z p − z p ||
Где обозначено
z p −z p
z р1 = 1 || z p − z p || и k pz = .
2
|| z p − z p ||
Вектор kpz является мнимым, при этом Nr(kpz)=1, Lr(kpz)=−1.
Гл. 6 105
Необходимые формулы L−движения в мультивекторном пространстве М8
получаются, если разложить мнимую компоненту вектора zр1kpz на две
составляющие:
• на компоненту wp пропорциональную мнимой части вектора qр ,
• на компоненту up, ЕL−ортогональную к мнимой части вектора qр.
Для разложения вектора на компоненты воспользуемся процедурой
ортогонализации, В этой процедуре воспользуемся евклидовым скалярным
произведением. Компонента wp пропорциональная мнимой составляющей
вектора qр, определяется формулой
〈〈 z p1k pz ,Vr(q p )〉〉 〈〈k pz ,i pq 〉〉
wp = Vr(qp ) = z p1 ipq = z p1〈〈k pz,i pq〉〉ipq .
〈〈Vr(q p ),Vr(q p )〉〉 〈〈i pq ,i pq 〉〉
Компонента up, Е−ортогональная мнимой составляющей вектора qр,
определяется формулой
(
u p = z p1k pz − z p1 〈〈 k pz , i pq 〉〉 i pq = z p1 k pz − 〈〈 k pz ,i pq 〉〉 i pq . )
где i pq = (q p − q p ) ||q p − q p || .
Е−ортогональность векторов up и iрq проверяется, вычислением
соответствующего скалярного произведения т.е.
〈〈u p , i pq 〉〉 = z p1〈〈 k pz , i pq 〉〉 − z p1〈〈 k pz , i pq 〉〉〈〈 i pq , i pq 〉〉 = 0 .
Т.к. векторы up и Vr(qр) являются мнимыми, то E−ортогональность этих
векторов влечёт их L−ортогональность т.е. эти векторы являются
ЕL−ортогональными.
Мы получили разложение вектора zр на две составляющие одна из
которых zр0ep+wp находится в одном подпространстве M2 c вектором qр,
а другая, мнимая, up ортогональна вектору Vr(qр). Как показано
L−движение сохраняет параметры ортогональной составляющей вектора,
т.е. сохраняет ортогональность, а также евклидову и лоренцеву норму этой
составляющей. L−движение является линейным, поэтому сумма векторов
преобразуется в сумму, т.е. равенство zр=(zр0ep+wр)+uр влечёт
равенство zq=(zq0eq+wq)+uq. В этих равенствах параметры
ортогональной составляющей u остаются без изменений. Составляющая
zр0ep+wp преобразуется по формуле (8).
В результате выполнения всех необходимых действий вектор zр можно
записать в виде двух составляющих
z p = (z p0 e p + z p1m i pq )+ z p1 1− m 2 n pz (12).
Замечание.
Формула (13) для пространства M8 аналогична формуле, полученной
Герглотцем [36] для четырёхмерного пространства−времени.
Следствие.
Т.к. в L−движениях лоренцева норма сохраняется, то изотропный
вектор, имеющий нулевую лоренцеву норму и параметр скорости ||β||=1,
в любой системе отсчёта остаётся изотропным с лоренцевой нормой
равной нулю.
Если связать скорость света с движением по изотропному
направлению, то скорость света окажется максимально возможной
скоростью распространения возмущений и константой во всех допустимых
системах отсчёта.
Обозначения в главе.
Далее в этой главе заглавными буквами без индексов будут обозначаться
мнимые вектора.
−− −−−− −−−− −−−−− −−−− −−−− −
§7.1. Эквивалентность операций в линейных и
мультивекторных пространствах.
Связь скалярного и векторного произведения векторов трёхмерного
линейного пространства L(3,1) с умножением кватернионов отмечена
многими авторами, например [48]:
Пусть u1=b1i+c1j+d1k и u2=b2i+c2j+d2k − два вектора из
трёхмерного линейного пространства. Сопоставим этим векторам
/ /
кватернионы u 1 , u 2 и вычислим произведение этих кватернионов,
используя алгебру кватернионов
u/1u/2= −b1b2−c1c2−d1d2+(c1d2−d1c2)i+(d1b2−b1d2)j+
+(b1c2−c1b2)k.
Выделяя из полученного выражения действительную и мнимую части
можно заметить что:
/ /
• скалярной части кватерниона u 1u 2 можно сопоставить скалярное
произведение (u1|u2) векторов u1, u2 из трёхмерного линейного
пространства, взятое с обратным знаком;
/ /
• векторная часть кватерниона u 1u 2 соответствует векторному
произведению [u1|u2] векторов u1, u2 из трёхмерного линейного
пространства.
Возможно также утверждение что:
стандартную алгебру векторов трёхмерного пространства L(3,1)
можно рассматривать как алгебру кватернионов без единицы, с таблицей
умножения единичных базисных векторов совпадающей с таблицей
умножения мнимых единиц алгебры кватернионов.
Аналогичный взгляд на алгебру октав дает возможность составить
таблицу эквивалентности функций мнимых векторов из М8 и функций
векторов из L(7,1).
Операция умножения векторов, которая определена для
пространства M8 в пространстве L(7,1) отсутствует. Однако в линейное
пространство L(7,1), аналогично тому, как это сделано для L(3,1), можно
ввести операции скалярного и векторного умножения векторов [24], (гл. 4).
110 Гл. 7
Эти операции имеют эквиваленты в алгебре мнимых векторов
мультивекторных пространств.
Для определения эквивалентности функций существующих в М8 и L(7,1)
необходимо из векторов М8, содержащих как действительную
составляющую, так и мнимую, "выделить" мнимую часть. Эту процедуру
можно проделать с помощью операции сопряжения векторов, используя
формулу
Vr ( z) = 1 ( z − z) = Z .
2
где: z -вектор общего вида из М8,
Z = Vr (z) – мнимая часть вектора z.
Произвольный вектор z из М8, можно разложить по единицам
алгебры октав:
z= z0е0+z1i+z2j+z3(ij)+z4k+z5(ik)+z 6(jk)+z7(ij)k .
Где: z0, z1, ... z7 − действительные векторы;
е0 − действительная единица алгебры;
i, j, k − порождающие мнимые единицы алгебры.
Обозначим
е0=1, е1=i, е2=j, е3=(ij), е4=k, е5=(ik), е6=(jk), е7=((ij)k) .
При принятых обозначениях таблица умножения октав будет выглядеть
следующим образом.
u2 е0 е1 е2 е3 е4 е5 е6 е7
u1
е0 1 е1 е2 е3 е4 е5 е6 е7
е1 е1 - 1 е3 - е2 е5 - е4 -е7 е6
е2 е2 - е3 - 1 е1 е6 е7 - е4 - е5
е3 е3 е2 - е1 - 1 е7 - е6 е5 - е4
е4 е4 - е5 - е6 -е7 - 1 е1 е2 е3
е5 е5 е4 -е7 е6 - е1 - 1 - е3 е2
е6 е6 е7 е4 - е5 - е2 е3 - 1 - е1
е7 е7 - е6 е5 е4 - е3 - е2 е1 - 1
Замечание.
В мультивекторном пространстве М8 Йорданово произведение двух
мнимых векторов совпадает с лоренцевым скалярным произведением двух
мнимых векторов т.е. A o B = 1 ( AB + BA) = 〈 A, B〉 .
2
Гл. 7 113
7.2.3. Векторное произведение двух мнимых векторов.
В мультивекторных пространствах существуют три функции, которые при
подстановке в них мнимых векторов дают результат, сравнимый с
действием векторного произведения в L(7,1). Это евклидово векторное
произведение, лоренцево векторное произведение и коммутатор, а именно:
( )
[ A, B〉 = 1 AB − B A = 1 (AB − BA ),
2 2
[ A, B〉〉 =1
2
(AB − B A)= − (AB − BA)
1
2
,
[ A, B]= AB− BA .
Из названных функций, самым близким эквивалентом векторного
произведения [A|B] линейных пространств, является лоренцево векторное
произведение [A,B〉, применённое к мнимым векторам. Лоренцево
векторное произведение даёт результат с "нужным" знаком и не требует
введения дополнительного постоянного множителя для согласования
результатов с векторным произведением [A|B] линейных пространств.
( )
[ A, B 〉 = 1 AB − AB = 1 (AB − BA ) =
2 2
+ (( a 2 b3 − a 3b2 ) + (a 4 b5 − a 5b4 ) + (a 7 b6 − a 6 b7 ) )e1 +
+ (( a 4 b6 − a 6 b4 ) + ( a 5b7 − a 7 b5 ) + ( a 3b1 − a1b3 ) )e2 +
+ (( a 6 b5 − a 5b6 ) + (a1b2 − a 2 b1 ) + (a 4 b7 − a 7 b4 ) )e3 +
+ (( a 5b1 − a1b5 ) + (a 7 b3 − a 3b7 ) + (a 6 b2 − a 2 b6 ) )e4 +
+ (( a 7 b2 − a 2 b7 ) + (a 3b6 − a 6 b3 ) + ( a1b4 − a 4 b1 ) )e5 +
+ (( a1b7 − a 7 b1 ) + (a 2 b4 − a 4 b2 ) + (a 5b3 − a 3b5 ) )e6 +
+ (( a 3b4 − a 4 b3 ) + (a 6 b1 − a1b6 ) + (a 2 b5 − a 5 b2 ) )e7
Лоренцево векторное произведение можно представить в виде суммы,
состоящей из семи определителей третьего порядка, как это проделано в
[24].
e1 e2 e3 e2 e4 e6 e3 e6 e5
[ A, B〉 = a1 a2 a3 + a2 a4 a6 + a3 a6 a5 +
b1 b2 b3 b2 b4 b6 b3 b6 b5
e4 e5 e1 e5 e7 e2 e6 e1 e7 e7 e3 e4
+ a4 a5 a1 + a5 a7 a2 + a6 a1 a7 + a7 a3 a4 .
b4 b5 b1 b5 b7 b2 b6 b1 b7 b7 b3 b4
Можно сравнить полученные результаты с формулой векторного
произведения для векторов [A|B] из L(7,1). Результаты вычислений по
этим формулам совпадают ("Справочный материал" гл. 4). Однако
принадлежат эти формулы различным алгебрам. Из свойств определителей
следуют свойства векторного произведения двух векторов. Лоренцево
114 Гл. 7
векторное произведение двух мнимых векторов обладает всеми
свойствами векторного произведения [A|B] т.е.
[αA,B〉=α[A,B〉, [A,B〉= −[B,A〉, [A,B+C〉=[A,B〉+[A,C〉.
Векторное произведение двух мнимых векторов равно нулю, если вектора
коллинеарны или равны. В мультивекторных пространствах, если
коммутатор составленный из двух векторов общего вида равен нулю, то
эти вектора принадлежат одному подпространству М2. И соответственно
мнимые части этих векторов коллинеарны.
Замечание.
Используя разложение a = a0 + A , b = b0 + B , для векторов общего вида
могут быть получены формулы
( )
[a, b〉 = 1 ab − b a = [ A, B〉 + a0 B + b0 A ,
2
[a, b〉〉 = 1
2
(ab −ba )= −[ A, B〉 − a B + b A
0 0
.
a1 a2 a3 a2 a4 a6 a3 a6 a5
〈〈A,B,C〉〉 = b1 b2 b3 + b2 b4 b6 + b3 b6 b5 +
c1 c2 c3 c2 c4 c6 c3 c6 c5
a4 a5 a1 a5 a7 a2 a6 a1 a7 a7 a3 a4
+ b4 b5 b1 + b5 b7 b2 + b6 b1 b7 + b7 b3 b4 .
c4 c5 c1 c5 c7 c2 c6 c1 c7 c7 c3 c4
Замечание.
В М8 операндами смешанного произведения могут быть не только чисто
мнимые векторы, но и векторы, содержащие как мнимую, так и
действительную часть. Для векторов общего вида может быть получена
формула
〈〈 a, ([b,c〉 )〉〉 = 〈〈 A, ([ B,C〉 )〉〉 + b0 〈〈 A, C〉〉 + c0 〈〈 A, B〉〉
Эта формула получается, если обозначить a = a0 + A , c = c0 + C ,
b = b0 + B . Где составляющая с нулевым индексом это действительная
116 Гл. 7
часть вектора. При выводе следует также учитывать, что скалярное
произведение действительного вектора с мнимым вектором равно нулю.
Как следует из приводимой формулы перестановки операндов в
общей формуле смешанного произведения (циклические или иные)
существенно изменяют саму формулу. Это приводит к различиям в
свойствах смешанного произведения векторов общего вида и смешанного
произведения мнимых векторов. Поэтому целесообразно для смешанного
произведения мнимых векторов в алгебре мультивекторных пространств
использовать специальное обозначение такое как
( )
〈〈 A, [ B,C〉 〉〉 = 〈〈 A, B, C〉〉 .
( )
7.3.3. [ A, [ B,C 〉 〉 Двойное векторное произведение трёх
векторов.
Двойное векторное произведение в алгебре мультивекторных пространств
получается векторным умножением мнимого вектора A на векторное
произведение [B,C〉. В результате получается вектор.
[A,([B,C〉)〉=B〈〈A,C〉〉−C〈〈A,B〉〉−0,5[A,B,C].
Приведём вывод этой формулы.
( ( ) (
[ A, ([ B,C〉 )〉 = 1 A 2 BC −C B − 2 C B − BC A =
2
1 1
) )
= 4 ( A(BC )− A(CB )+ (CB )A−(BC )A)
1
[
Re(( AB )C ) = 1 (〈 A, B〉C +[ A, B〉C )+ (〈 A, B〉C +[ A, B〉C ) =
2
]
(
= 1 〈 A, B〉C +[ A, B〉C + 〈 A, B〉C + C [ A, B〉 =
2
) .
= 1
2
(〈 A, B〉C −〈 A, B〉C )− 12 ([ A, B〉C +C [ A, B〉 )= −〈〈[ A, B〉, C〉〉
118 Гл. 7
В результате получилось, что действительная часть произведения трёх
мнимых векторов равна их смешанному произведению т.е.
(( ) )
Re AB C = −〈〈[ A, B〉, C〉〉 = −〈〈 A, B, C〉〉 .
Аналогично можно получить
( ( )) ( )
Re A BC = −〈〈 A, [BC 〉 〉〉 = −〈〈 A, B, C〉〉 .
Действительные части векторов ( AB)C и A(BC ) совпадают т.е.
Re(A(BC )) = Re(( AB )C ) = −〈〈 A, B, C〉〉 .
Мнимая часть произведения трёх мнимых векторов.
[
Vr (( AB )C ) = 1 (〈 A, B〉C +[ A, B〉C )−(〈 A, B〉C +[ A, B〉C ) =
2
]
(
= 1 (〈 A, B〉C + 〈 A, B〉C )+ 1 [ A, B〉C −C [ A, B〉 =
2 2
)
= 〈 A, B〉C + [[ A, B〉, C〉 = −〈〈 A, B〉〉 C + [[ A, B〉, C〉
Аналогично можно получить
[
Vr(A(BC)) = 1 ( A〈 B,C〉 + A[B,C〉)−( A〈 B,C〉 + A[B,C〉 ) =
2
]
(
= 1 (A〈B,C〉 + A〈 B,C〉)+ 1 A[B,C〉 − [B,C〉 A =
2 2
)
= − A〈〈 B, C〉〉 +[ A, ([B,C〉) 〉
a2 a4 a7 a3 a7 a5 a4 a3 a6 a6 a5 a2
−0,5[A,B,C]1 = b2 b4 b7 + b3 b7 b5 + b4 b3 b6 + b6 b5 b2
c2 c4 c7 c3 c7 c5 c4 c3 c6 c6 c5 c2
a4 a5 a3 a6 a3 a7 a5 a6 a1 a1 a7 a4
−0,5[A,B,C]2 = b4 b5 b3 + b6 b3 b7 + b5 b6 b1 + b1 b7 b4
c4 c5 c3 c6 c3 c7 c5 c6 c1 c1 c7 c4
[A,B,C]3 =m3={(AB)C−A(BC)}3={DC−AQ}3=d0c3−a3q0+
+{((d6c5−d5c6)+(d1c2−d2c1)+(d4c7−d7c4))−
−((a6q5−a5q6)+(a1q2−a2q1)+(a4q7−a7q4))}
a6 a1 a4 a5 a4 a2 a1 a5 a7 a7 a2 a6
−0,5[A,B,C]3 = b6 b1 b4 + b5 b4 b2 + b1 b5 b7 + b7 b2 b6
c6 c1 c4 c5 c4 c2 c1 c5 c7 c7 c2 c6
a5 a7 a6 a1 a6 a3 a7 a1 a2 a2 a3 a5
−0,5[A,B,C]4 = b5 b7 b6 + b1 b6 b3 + b7 b1 b2 + b2 b3 b5
c5 c7 c6 c1 c6 c3 c7 c1 c2 c2 c3 c5
Гл. 7 121
[A,B,C]5 = m5={(AB)C−A(BC)}5={DC−AQ}5 = d0 c5 − А5 q0 +
+{((d7c2−d2c7)+(d3c6−d6c3)+(d1c4−d4c1))−
−((a7q2−a2q7)+(a3q6−a6q3)+(a1q4−a4q1))}
a7 a3 a1 a2 a1 a6 a3 a2 a4 a4 a6 a7
−0,5[A,B,C]5 = b7 b3 b1 + b2 b1 b6 + b3 b2 b4 + b4 b6 b7
c7 c3 c1 c2 c1 c6 c3 c2 c4 c4 c6 c7
[A,B,C]6 =m6={(AB)C−A(BC)}6={DC−AQ}6=d0c6−a6q0+
+{((d1c7−d7c1)+(d2c4−d4c2)+(d5c3−d3c5))−
−((a1q7−a7q1)+(a2q4−a4q2)+(a5q3−a3q5))}
a1 a2 a5 a7 a5 a4 a2 a7 a3 a3 a4 a1
−0,5[A,B,C]6 = b1 b2 b5 + b7 b5 b4 + b2 b7 b3 + b3 b4 b1
c1 c2 c5 c7 c5 c4 c2 c7 c3 c3 c4 c1
a3 a6 a2 a4 a2 a1 a6 a4 a5 a5 a1 a3
−0,5[A,B,C]7 = b3 b6 b2 + b4 b2 b1 + b6 b4 b5 + b5 b1 b3
c3 c6 c2 c4 c2 c1 c6 c4 c5 c5 c1 c3
e1 e2 e4 e7 e2 e4 e5 e3 e3 e6 e1 e4
a a a a a a a a a a a a
−0,5[A,B,C] = 1 2 4 7 + 2 4 5 3 + 3 6 1 4 +
b1 b2 b4 b7 b2 b4 b5 b3 b3 b6 b1 b4
c1 c2 c4 c7 c2 c4 c5 c3 c3 c6 c1 c4
e4 e5 e7 e6 e5 e7 e3 e1 e6 e1 e2 e5 e7 e3 e6 e2
+ a4 a5 a7 a6 + a5 a7 a3 a1 + a6 a1 a2 a5 + a7 a3 a6 a2 .
b4 b5 b7 b6 b5 b7 b3 b1 b6 b1 b2 b5 b7 b3 b6 b2
c4 c5 c7 c6 c5 c7 c3 c1 c6 c1 c2 c5 c7 c3 c6 c2
Из свойств определителей следуют известные свойства ассоциатора:
Ассоциатор не изменяется, если вынести скалярный множитель за
скобки т.е.
[αA,B,C]=α[A,B,C].
Ассоциатор изменяет знак при перестановке любой пары его векторов,
циклическая подстановка векторов не изменяет ассоциатора,
например,
122 Гл. 7
[A,B,C]=−[C,B,A] и [A,B,C]=[B,C,A].
Ассоциатор дистрибутивен т.е.
[A,B,C+D]=[A,B,C]+[A,B,D].
Если два мнимых вектора в ассоциаторе коллинеарны или равны, то
ассоциатор равен нулю. Если мнимые векторы компланарны то
ассоциатор равен нулю.
Можно сравнить формулы, раскрывающие ассоциатор [A,B,C] в
координатной форме, с аналогичными формулами для векторного
произведения трёх векторов [A|B|C] в семимерном линейном
пространстве L(7,1). Необходимо отметить, что с учётом знака и
постоянного множителя ассоциатор [A,B,C] является эквивалентом
векторного произведения трёх векторов [A|B|C] в алгебре векторов в
семимерном линейном пространстве L(7,1).
Дифференциал.
Пусть функция f имеет производную в точке x0. Величину df будем
называть дифференциалом если
df = k dx = f / ( x0 ) dx .
Для производной получаем
Гл. 8 125
df
f / ( x0 ) = k = .
dx
Т.е. производная равна отношению двух бесконечно малых.
Будем говорить, что функция дифференцируема в точке x=x0, если в
этой точке функция имеет производную.
Обозначения.
Величины div A , rot A , grad a0 , − функции семи пространственных
(мнимых) переменных, существующие в M8, и эквивалентные
аналогичным функциям, определённым в алгебре векторов пространства
L(7,1) (гл. 4).
2
( )
grad a0 =[da0, pX〉 = 1 da0 ⋅ pX −da0 ⋅ pX = da0 ⋅ pX = pX ⋅ da0 = ∑
i=7∂a
0
i=1 ∂xi
ei .
[dA, px0 〉 = 1
2
(dA⋅ px −dA⋅ px )= dA ⋅ px = px ⋅ dA = ∑ ∂∂xa e
0 0 0 0
i =7
i =1
i
i
0
132 Гл. 8
Эта формула определяет производную мнимой составляющей векторной
функции a по действительной компоненте радиус-вектора x в
мультивекторном пространстве.
Ротор векторного поля.
В мультивекторных пространствах функция rot A определяет ротор
векторного поля и раскрывается с помощью формул для лоренцева
векторного произведения (глава 6)
∂a ∂ a ∂a ∂ a ∂ a ∂a
rot A = [ pX , dA〉 = 3 − 2 + 5 − 4 + 6 − 7 e1 +
∂x2 ∂x3 ∂x4 ∂x5 ∂x7 ∂x6
∂a ∂ a ∂ a ∂ a ∂a ∂ a
+ 6 − 4 + 7 − 5 + 1 − 3 e2 +
∂x4 ∂x6 ∂x5 ∂x7 ∂x3 ∂x1
∂a ∂ a ∂a ∂ a ∂a ∂a
+ 5 − 6 + 2 − 1 + 7 − 4 e3 +
∂x6 ∂x5 ∂x1 ∂x2 ∂x4 ∂x7
∂ a ∂a ∂ a ∂ a ∂ a ∂ a
+ 1 − 5 + 3 − 7 + 2 − 6 e4 +
∂x5 ∂x1 ∂x7 ∂x3 ∂x6 ∂x2
∂a ∂a ∂ a ∂ a ∂ a ∂ a
+ 2 − 7 + 6 − 3 + 4 − 1 e5 +
∂x7 ∂x2 ∂x3 ∂x6 ∂x1 ∂x4
∂a ∂ a ∂a ∂a ∂ a ∂a
+ 7 − 1 + 4 − 2 + 3 − 5 e6 +
∂x1 ∂x7 ∂x2 ∂x4 ∂x5 ∂x3
∂a ∂a ∂a ∂a ∂a ∂ a
+ 4 − 3 + 1 − 6 + 5 − 2 e7 .
∂x3 ∂x4 ∂x6 ∂x1 ∂x2 ∂x5
Векторная функция rot A может быть определена как сумма семи
определителей третьего порядка.
e1 e2 e3 e2 e4 e6 e3 e6 e5
1 1 1 1 1 1 1 1 1
rot A =[ pX, dA〉 = ∂x ∂x ∂x + ∂x ∂x ∂x + ∂x ∂x ∂x +
1 2 3 2 4 6 3 6 5
∂a1 ∂a2 ∂a3 ∂a2 ∂a4 ∂a6 ∂a3 ∂a6 ∂a5
e4 e5 e1 e5 e7 e2 e6 e1 e7 e7 e3 e4
1 1 1 1 1 1 1 1 1 1 1 1
+ ∂x ∂x ∂x + ∂x ∂x ∂x + ∂x ∂x ∂x + ∂x ∂x ∂x .
4 5 1 5 7 2 6 1 7 7 3 4
∂a4 ∂a5 ∂a1 ∂a5 ∂a7 ∂a2 ∂a6 ∂a1 ∂a7 ∂a7 ∂a3 ∂a4
Гл. 8 133
При изменении порядка следования мнимых векторов в этом векторном
произведении знак векторного произведения изменяется т.е.
2
( )
rot A =[ pX, dA〉 = 1 pX⋅dA−d A⋅ p X = 1 ( pX⋅dA−dA⋅ pX )= −[dA, pX〉
2
.
Замечание.
В алгебре векторов линейного пространства L(7,1) (гл. 4) ротор
векторного поля, с помощью оператора ∇, записывается как векторное
произведение
rot A = [∇ | A] .
8.5.2. Производная f 2/ = px ⋅ da .
Формула, раскрывающая производную, записывается в виде
da ∂A
f 2/ = px ⋅ da = 0 − div A + grad a0 + + rot A .
dx0 ∂x0
Скобками выделены действительная и мнимая части производной.
Для того чтобы получить эту формулу необходимо выделить
действительную и мнимую часть производной т.е.
f 2/ = px ⋅ da = 〈 px, da〉 + [ px, da〉 .
8.5.3. Производная f 3/ = d a ⋅ px .
Формула, раскрывающая составляющие производной, записывается в виде
da ∂A
f 3/ = d a ⋅ px = 0 + div A + grad a0 − + rot A .
dx0 ∂x0
Скобками выделены действительная и мнимая части производной.
Для того чтобы раскрыть производную выделим у этой производной
действительную и мнимую часть.
( ) ( )
f3/ = da⋅ px = 1 da⋅ px+ px⋅da + 1 da⋅ px− px⋅da = 〈〈da, px〉〉 +[da, px〉〉 .
2 2
2
( )
−[da0, pX 〉〉 = − 1 da0 ⋅ p X − pX ⋅d a 0 = da0 ⋅ pX = ∑
i=7∂a
0
i=1 ∂xi
ei = grad a0 .
2
(
− [dA, px0 〉〉 = − 1 dA⋅ p x 0 − px0 ⋅d A = −dA ⋅ px0 = − ∑ ) i = 7 ∂a
i =1 ∂x0
i
ei = −
∂A
∂x0
Ротор векторного поля.
( )
[dA, pX 〉〉 = 1 dA⋅ p X − pX ⋅d A = 1 ( pX ⋅dA− dA⋅ pX ) = rot A .
2 2
8.5.4. Производная f 4/ = px ⋅ d a .
Формула, раскрывающая производную, записывается в виде
da ∂A
f 4/ = px ⋅ d a = 0 + div A + grad a0 − − rot A .
dx0 ∂x0
Скобками выделены действительная и мнимая части производной.
Чтобы раскрыть производную выделим действительную и мнимую часть.
( ) (
f4/ = px⋅ da = 1 px⋅da+da⋅ px + 1 px⋅da−da⋅ px = 〈〈 px,da〉〉 +[ px,da〉〉 .
2 2
)
Действительная часть производной f 4/ = px ⋅ d a определяется
евклидовым скалярным произведением
Re( px ⋅ d a) = 〈〈 px, da〉〉 = 〈〈 px0 + pX , da 0 + dA 〉〉 =
da i = 7 ∂a da .
= 〈〈 px0 , da0 〉〉 + 〈〈 pX , dA 〉〉 = 0 + ∑ i = 0 + div A
dx0 i =1 ∂xi dx0
Мнимая часть производной f 4/ = px ⋅ d a определяется
евклидовым векторным произведением
( )
Vr( px ⋅ d a) = 1 px⋅d a −da⋅ p x = [ px, da〉〉 = [ px0 + pX , da0 + dA〉〉 =
2
= [ px0 , dA〉〉 + [ pX , da0 〉〉 + [ pX , dA〉〉 .
Производная мнимой составляющей вектора a по действительной
компоненте радиус-вектора.
[ px0 , dA〉〉 = 1
2
(px ⋅d A−dA⋅ p x )= −dA ⋅ px = − ∑ ∂∂xa e = − ∂∂xA
0 0 0
i =7
i =1
i
i
0 0
Градиент скалярной функции a0 .
2
(
[ pX ,da0〉〉 = 1 pX ⋅d a0 −da0 ⋅ p X = da0 ⋅ pX = ∑ ) i=7∂a
0
i=1 ∂xi
ei = grad a0 .
Ротор векторного поля.
( )
[ pX , dA〉〉 = 1 pX ⋅d A− dA⋅ p X = − 1 ( pX ⋅dA− dA⋅ pX ) = −rot A .
2 2
136 Гл. 8
8.5.5. Производная f 5/ = da ⋅ p x .
Формула, раскрывающая составляющие производной, записывается в виде
da ∂A
f 5/ = da ⋅ p x = 0 + div A + − grad a0 + + rot A .
dx0 ∂x0
Скобками выделены действительная и мнимая части производной. Чтобы
раскрыть производную выделим действительную и мнимую часть.
( ) ( )
f5/ = da⋅ px = 1 da⋅ px+ px⋅d a + 1 da⋅ px− px⋅d a = 〈〈da, px〉〉 +[da, px〉〉 .
2 2
2
( )
[da0, pX 〉〉 = 1 da0 ⋅ p X − pX ⋅d a 0 = −da0 ⋅ pX = − ∑
i =7∂a
0
i=1 ∂xi
ei = −grad a0 .
( )
[dA, px0 〉〉 = 1 dA⋅ p x 0 − px0 ⋅d A = dA ⋅ px0 = ∑
2
i =7 ∂ai
i =1 ∂x0
ei =
∂A
∂x0
Ротор векторного поля.
( )
[dA, pX 〉〉 = 1 dA⋅ p X − pX ⋅d A = 1 ( pX ⋅dA− dA⋅ pX ) = rot A .
2 2
Гл. 8 137
8.5.6. Производная f 6/ = p x ⋅ da .
Формула, раскрывающая составляющие производной, записывается в виде
da ∂A
f 6/ = p x ⋅ da = 0 + div A + − grad a0 + − rot A .
dx0 ∂x0
Скобками выделены действительная и мнимая части производной. Чтобы
раскрыть производную выделим действительную и мнимую часть.
( ) ( )
f6/ = px⋅ da = 1 px⋅da+d a⋅ px + 1 px⋅da−d a⋅ px = 〈〈 px,da〉〉 +[ px,d a〉〉 .
2 2
(
− [ px0 , dA〉〉 = − 1 px0 ⋅d A− dA⋅ p x 0 = dA ⋅ px0 = ∑
2
) i =7 ∂ai
i =1 ∂x0
ei =
∂A
∂x0
−[ pX ,da0〉〉 = − 1
2
(pX ⋅da −da ⋅ pX )= −da ⋅ pX = − ∑ ∂x e = −grad a .
0 0 0
i=7∂a
i=1
0
i 0
i
2
( )
−[da0, pX 〉 = − 1 da0 ⋅ pX − p X ⋅d a0 = −da0 ⋅ pX = − ∑
i=7∂a
0
i=1 ∂xi
ei = −grad a0 .
−[dA, px0 〉 = − 1
2
(dA⋅ px − px ⋅d A)= −dA⋅ px = − ∑ ∂∂xa e = − ∂∂xA .
0 0 0
i =7
i =1
i
i
0 0
−[ pX , da0〉 = − 1
2
(pX ⋅da −da ⋅ pX )= −da ⋅ pX = − ∑ ∂x e = −grad a
0 0 0
i=7∂a
i =1
0
i
i 0
.
− [ px0 , dA, 〉 = − 1
2
(px ⋅dA−d A⋅ p x )= −dA ⋅ px = − ∑ ∂∂xa e = − ∂∂xA
0 0 0
i =7
i =1
i
i
0 0
Таблица 2
∂a ∂A
f1/ = da ⋅ px = 0 − div A + grad a0 + − rot A
1
∂x0 ∂x0
da ∂A
f 2/ = px ⋅ da = 0 − div A + grad a0 + + rot A
2 ∂x0
dx0
da ∂A
f 3/ = d a ⋅ px = 0 + div A + grad a0 − + rot A
3 ∂x0
dx0
da ∂A
f 4/ = px ⋅ d a = 0 + div A + grad a0 − − rot A
4 ∂x0
dx0
da ∂A
f 5/ = da ⋅ p x = 0 + div A + − grad a0 + + rot A
5 ∂x0
dx0
da ∂A
f 6/ = p x ⋅ da = 0 + div A + − grad a0 + − rot A
6 ∂x0
dx0
da ∂A
f 7/ = d a ⋅ p x = 0 − div A + − grad a0 − − rot A
7 ∂x0
dx0
da ∂A
8 f 8/ = p x ⋅ d a = 0 − div A + − grad a0 − + rot A
dx0 ∂x0
Скобками выделены действительная и мнимая части производной.
∂a ∂a ∂a ∂a ∂a ∂a
rot A = [ pX , dA〉 = 3 − 2 + 5 − 4 + 6 − 7 e1 +
∂x2 ∂x3 ∂x4 ∂x5 ∂x7 ∂x6
∂a ∂a ∂a ∂a ∂a ∂a
+ 6 − 4 + 7 − 5 + 1 − 3 e2 +
∂x4 ∂x6 ∂x5 ∂x7 ∂x3 ∂x1
∂a ∂a ∂a ∂a ∂a ∂a
+ 5 − 6 + 2 − 1 + 7 − 4 e3 +
∂x6 ∂x5 ∂x1 ∂x2 ∂x4 ∂x7
∂a ∂a ∂a ∂a ∂a ∂a
+ 1 − 5 + 3 − 7 + 2 − 6 e4 +
∂x5 ∂x1 ∂x7 ∂x3 ∂x6 ∂x2
∂a ∂a ∂a ∂a ∂a ∂a
+ 2 − 7 + 6 − 3 + 4 − 1 e5 +
∂x7 ∂x2 ∂x3 ∂x6 ∂x1 ∂x4
∂a ∂a ∂a ∂a ∂a ∂a
+ 7 − 1 + 4 − 2 + 3 − 5 e6 +
∂x1 ∂x7 ∂x2 ∂x4 ∂x5 ∂x3
∂a ∂a ∂a ∂a ∂a ∂a
+ 4 − 3 + 1 − 6 + 5 − 2 e7 .
∂x3 ∂x4 ∂x6 ∂x1 ∂x2 ∂x5
142 Гл. 8
Замечание.
Все рассмотренные дифференциальные операции и функции справедливы
не только для векторов мультивекторного пространства M8, но и для
векторов из подпространств M4, M2, M1, в которых алгебра векторов это
алгебра кватернионов, комплексных чисел и действительных чисел
соответственно.
Мнимая часть.
[a , dx 〉 = [a0 + A , dx0 + dX 〉 = [a0 , dX 〉 + [ A , dx0 〉 + [ A, dX 〉 =
= a0 ⋅ dX + dx0 ⋅ A + [ A, dX 〉
144 Гл. 8
i =7
a0 ⋅ dX = a0 ∑ ei ∂xi
i =1
i =7
dx0 ⋅ A = dx0 ∑ ei ai
i =1
[ A, dX 〉 = ((a2 ⋅∂x3 − a3 ⋅∂x2 ) + (a4 ⋅∂x5 − a5 ⋅∂x4 ) + (a7 ⋅∂x6 − a6 ⋅∂x7 )) e1 +
+ ((a4 ⋅∂x6 − a6 ⋅∂x4 ) + (a5 ⋅∂x7 − a7 ⋅∂x5 ) + (a3 ⋅∂x1 − a1⋅∂x3 )) e2 +
+ ((a6 ⋅∂x5 − a5 ⋅∂x6 ) + (a1⋅∂x2 − a2 ⋅∂x1) + (a4 ⋅∂x7 − a7 ⋅∂x4 )) e3 +
+ ((a5 ⋅∂x1 − a1⋅∂x5 ) + (a7 ⋅∂x3 − a3 ⋅∂x7 ) + (a6 ⋅∂x2 − a2 ⋅∂x6 )) e4 +
+ ((a7 ⋅∂x2 − a2 ⋅∂x7 ) + (a3 ⋅∂x6 − a6 ⋅∂x3 ) + (a1⋅∂x4 − a4 ⋅∂x1)) e5 +
+ ((a1⋅∂x7 − a7 ⋅∂x1) + (a2 ⋅∂x4 − a4 ⋅∂x2 ) + (a5 ⋅∂x3 − a3 ⋅∂x5 )) e6 +
+ ((a3 ⋅∂x4 − a4 ⋅∂x3 ) + (a6 ⋅∂x1 − a1⋅∂x6 ) + (a2 ⋅∂x5 − a5 ⋅∂x2 )) e7 +
Мнимая часть.
[a , d x 〉〉 = [a0 − A , dx0 − dX 〉〉 = −[a0 , dX 〉〉 −[ A , dx0 〉〉 + [ A, dX 〉〉 =
= a0 ⋅ dX − dx0 ⋅ A + [ A, dX 〉〉 = a0 ⋅ dX − dx0 ⋅ A −[ A, dX 〉
Гл. 8 145
8.8.4. Произведение вектора с конечной нормой на бесконечно большой
вектор.
a ⋅ px = 〈a , px 〉 + [a , px 〉
Произведение распадается на действительную и мнимую часть.
Действительная часть
a0 i = 7 ai
〈a , px 〉 = 〈 px, a〉 = −∑ ,
∂x0 i =1 ∂xi
Мнимая часть
[a , px 〉 = [a0 + A , px0 + pX 〉 = [a0 , pX 〉 + [ A , px0 〉 + [ A, pX 〉 =
= a0 ⋅ pX + px0 ⋅ A + [ A, pX 〉
i =7 e
a0 ⋅ pX = a0 ∑ i
i =1 ∂xi
i =7 e a
px0 ⋅ A = ∑ i i
i =1 ∂x0
a a a a a a
[ A, pX 〉 = 2 − 3 + 4 − 5 + 7 − 6 e1 +
∂ x 3 ∂ x 2 ∂ x5 ∂ x 4 ∂ x 6 ∂ x 7
a a a a a a
+ 4 − 6 + 5 − 7 + 3 − 1 e2 +
∂ x6 ∂x 4 ∂x7 ∂ x5 ∂x1 ∂ x3
a a a a a a
+ 6 − 5 + 1 − 2 + 4 − 7 e3 +
∂ x5 ∂ x6 ∂x 2 ∂ x1 ∂ x7 ∂ x4
a5 a1 a 7 a3 a6 a 2
+ − + − + − e4 +
∂ x1 ∂x5 ∂ x3 ∂ x7 ∂ x 2 ∂ x6
a a a a a a
+ 7 − 2 + 3 − 6 + 1 − 4 e5 +
∂ x 2 ∂ x7 ∂ x6 ∂ x3 ∂x 4 ∂x1
a a a a a a
+ 1 − 7 + 2 − 4 + 5 − 3 e6 +
∂ x7 ∂ x1 ∂ x 4 ∂x 2 ∂ x3 ∂ x5
a a a a a a
+ 3 − 4 + 6 − 1 + 2 − 5 e7 .
∂ x 4 ∂ x3 ∂x1 ∂ x6 ∂x5 ∂ x 2
146 Гл. 8
8.8.5. Произведение сопряжённого вектора с конечной нормой на
бесконечно большой вектор.
a ⋅ px = 〈〈 a , px 〉〉 + [a , p x 〉〉
.
Произведение распадается на действительную и мнимую часть.
Действительная часть.
a0 i = 7 ai
〈〈 a, px 〉〉 = 〈〈 px, a 〉〉 = +∑ .
∂x0 i =1 ∂xi
Мнимая часть.
[a , p x 〉〉 = [a0 − A, px0 − dX 〉〉 = −[a0 , pX 〉〉 −[ A, px0 〉〉 +[ A, pX 〉〉 =
= a0 ⋅ pX − px0 ⋅ A +[ A, pX 〉〉 = a0 ⋅ pX − px0 ⋅ A −[ A, pX 〉
i = 7 ∂ai i = 7 ∂a
i i = 7 ∂ai
〈〈 dA, B〉 〉 ⋅ pX = ∑ bi e1 + ∑ bi e + L + ∑ bi e7 .
∂x i =1 ∂x 2 ∂x
i =1 1 2 i = 1 7
Если B=A то
d 〈〈 A, A〉 〉 ⋅ pX = grad 〈〈 A, A〉〉 = grad (Nr( A)) = −grad (Lr( A)) =
= 2 [ A,([ pX,dA〉)〉 + 2dA⋅ 〈〈 A, pX〉〉 +[ A, pX, dA]
da ∂ a 0 ∂ a1 ∂ a 0 ∂ a1
f 1/ = f 2/ = = − + + e1 = 0 .
∂
dx 0 x ∂ x1 ∂ x1 ∂ x 0
Равенство распадается на два равенства, для действительной и мнимой
части, которые определяют известные условия Коши-Римана [41], [50]
154 Гл. 8
∂a 0 ∂ a1 ∂ a 0 ∂ a1
− =0; + =0.
∂x 0 ∂ x1 ∂ x1 ∂ x 0
Если существуют вторые производные то можно продифференцировать
первое равенство по x0 , а второе по x1 . Учитывая равенство смешанных
производных, можно получить
∂ 2 a0 ∂ 2 a1 ∂ 2 a0 ∂ 2 a0 ∂ 2 a0
2
= =− или + =0.
∂x0 ∂x0 ∂x1 ∂x12 ∂x0 2
∂x12
Пример.
1. Пример аналитической функции a(x) комплексного переменного
x = x0 + x1i
a( x) = a0 + a1i = ( x0 + x1) − ( x0 − x1)i .
Здесь i -мнимая единица подпространства М2. Первые частные
производные этой функции удовлетворяют условиям Коши-Римана т.е.
∂a0 ∂x0 =1, ∂a1 ∂x1 = 1, ∂a0 ∂x1 =1, ∂a1 ∂x0 = −1.
Вторые частные производные для этой функции равны нулю.
2. Примером аналитической и гармонической функции комплексного
переменного является показательная функция
e x0 + x1i = (e x0 cos x1) + (e x0 sin x1) i = a0 + a1i
Гл. 8 155
Первые частные производные этой функции удовлетворяют условиям
Коши-Римана т.е.
∂a0 ∂x0 = e x0 cos x1 , ∂a1 ∂x1 = e x0 cos x1 ,
∂a0 ∂x1 = −e x0 sin x1 , ∂a1 ∂x0 = e x0 sin x1 .
Для этой функции существуют вторые частные производные и частные
производные более высокого порядка.
Замечание.
Для мультивекторного пространства M8 и его материального аналога
(физического пространства) безразлично: стандартные или нестандартные,
конечные, бесконечно большие или бесконечно малые векторы участвуют
в тех или иных функциях. Т.к. это всегда алгебра октав. Переход к
конечным векторам и числам необходим для исследователя, который
пытается осмыслить и понять окружающий мир. В этой связи введение
производной, позволяющей работать с конечными величинами и получать
уравнения поля, очень важно.
Гл. 9 159
Глава 9.
Модель физического пространства.
________________________________________________________
В главе формулируется гипотеза, объединяющая время, пространство и
материю в единый объект. Рассмотрены некоторые геометрические
следствия из этой гипотезы.
Следствия.
1. Кинетическая энергия точки при малых скоростях движения среды
равна T =β 2 2 (гл. 10). Сравнивая с углом поворота подпространства
∆αМ4 по формуле (7) получим
∆α M 4 ≈ β 2 2 ≈ T .
Т.е. при малых скоростях движения среды угол поворота подпространства,
движущейся точки, относительно системы отсчёта неподвижного
наблюдателя, равен кинетической энергии точки. Т.е. система отсчёта
движущейся точки всегда повёрнута относительно системы отсчёта
неподвижного наблюдателя.
2. Важен вопрос, всегда ли можно зафиксировать в своём ассоциативном
4х подпространстве любой движущийся объект из М8, т.е. существуют ли
в М8 "параллельные миры".
В М8 существует бесконечное множество 4х подпространств.
Причём некоторые из этих 4х подпространств могут быть параллельны и
поэтому не могут иметь общих точек и областей. Каждое такое
параллельное подпространство автономно и не может наблюдаться из
других параллельных подпространств.
Ответ на вопрос почему мы всегда можем зафиксировать в своём
ассоциативном 4х подпространстве любой движущийся объект из М8,
содержится в доказанном утверждении что 4х подпространства
наблюдателя и двигающегося объекта оказываются повёрнутыми друг
относительно друга на некоторый угол ∆α M 4 ≈ β 2 2 ≈ T . Т.е. они не
являются параллельными. А т.к. эти подпространства бесконечны, то они
должны пересекаться, т.е. иметь общие области. Это означает:
наблюдатель может всегда обнаружить в своём подпространстве М4
любой объект из М8 который двигается и обладает запасом кинетическая
энергии (например, движущуюся точку пространства-времени).
172 Гл. 9
§9.6. Соприкасающиеся пространства
и ортогональные миры.
9.6.1. В мультивекторном пространстве М8 порождающими векторами
являются четыре вектора. Пусть это будут векторы e, i, j, k. При этом
вектор е является действительным вектором, а векторы i, j, k являются
мнимыми ЕL−ортогональными и удовлетворяют ограничению [i,j,k]≠0. В
различных комбинациях эти векторы порождают следующие
подпространства:
Одно действительное подпространство М 1e с порождающим вектором
е.
Три подпространства М2 , в которых порождающими векторами будут
являться:
−комбинация векторов е, i порождающая подпространство М 2ei ,
−комбинация векторов e, j порождающая подпространствоМ 2ej ,
−комбинация векторов e, k порождающая подпространство М 2ek .
Три подпространства М4 , в которых порождающими векторами будут
являться:
−комбинация векторов e, i, j порождающая подпространствоМ 4eij ,
−комбинация векторов e, i, k порождающая подпространство М 4eik ,
−комбинация векторов e, j, k порождающая подпространство М 4ejk .
Одно пространство М8 с порождающими векторами e, i, j, k.
Три подпространства М4 имеют одинаковые геометрические и
алгебраические свойства, и являются различными частями единого
мультивекторного пространства М8. Но в каждом подпространстве М4
существуют мнимые (пространственные) векторы, которые ортогональны
другим подпространствам. Например, подпространство М 4eij содержит
пространственное направление j, которое ортогонально подпространству
М 4eik . А подпространство М 4eik содержит пространственное направление
k, которое ортогонально подпространству М 4eij и т.д. При этом три
подпространства М4 только соприкасаются по плоскостям образованными
тремя подпространствами М2. Например, подпространство М 4eij
соприкасается с подпространством М 4eik по плоскости являющейся в то
же время подпространством М 2ei , т.к. порождающий вектор i является
общим для этих подпространств. Аналогичная картина наблюдается для
двух других подпространства М4.
Гл. 9 173
Рассмотрим, как в отмеченных трёх подпространствах М4, одна и та
же траектория будет регистрироваться наблюдателем. Пусть
рассматривается траектория точечного возмущения, совпадающая с
направлением некоторого изотропного вектора w, Пусть мнимая
составляющая изотропного вектора w совпадает с одним из мнимых
порождающих векторов, например с вектором k. В подпространствах
М 4eik и М 4ejk , в которых вектор k является порождающим, траектория
будет восприниматься как точка, движущаяся с максимальной скоростью.
В подпространстве М 4eij вектор k ортогонален этому
подпространству. В точечном пространстве ZМ4, связанным с
подпространством М 4eij , траектория точечного возмущения, в
направлении вектора k, будет восприниматься как неподвижная точка с
особыми свойствами. Если у нас нет информации о существовании общего
пространства М8, то особые точки можно рассматривать как некоторые
возмущения пространства ZМ4 ( М 4eij ), вложенные в это пространство.
Такие точки можно отождествить с материальными частицами,
наблюдаемыми в физическом пространстве.
Точечное возмущение может двигаться вдоль изотропного вектора
w, мнимая составляющая которого направлена вдоль вектора k. В этом
случае проекция изотропного вектора w на подпространство М 4eij также
равна нулю и эта проекция воспринимается в подпространстве ZМ4
( М 4eij ), как особая точка, в которой время "остановилось". В другом
подпространстве, например, ZМ4 ( М 4eik ), указанный изотропный вектор
будет восприниматься как материальная "субстанция", движущаяся с
максимальной скоростью, которую можно назвать волной.
Аналогичная ситуация имеет место в подпространствах М 4eik и
М 4ejk , в этих подпространствах в виде особых точек могут
восприниматься движения направленные вдоль векторов j и i
соответственно.
Три "ортогональных" или "касательных" пространства М4 обладают
одинаковыми свойствами, между ними нет принципиальных различий, но
двигающиеся объекты и возмущения существующие в пространстве М8
наблюдаются в подпространствах М4 различно.
Замечание.
1. Необходимо отметить что наблюдатель, такой как мы, не является
самостоятельной фигурой. Наблюдатель является порождением тех
возмущений, из которых образовались элементарные частицы, атомы,
молекулы. В конце этой цепочки разумная жизнь. Поэтому ортогональное
направление (например, k) к нашему ассоциативному подпространству
(например М 4eij ) определяется совокупностью возмущений, которые
распространяются в пространстве М8 в некотором преимущественном
направлении. Ассоциативное подпространство М 4, которое
воспринимается как пространство свободное от возмущений, образовано
оставшимися двумя порождающими ортогональными векторами
(пространственными направлениями) и действительным вектором.
Замечание.
Формула (13) является исправлением формулы 8(12) в [26].
( ) m −1
〈a, b〉 = 1 ab + b a = a0b0 − ∑ a j b j
2
j =1
.
( ) m −1
〈〈 a, b〉〉 = Re(ab) = 1 ab + ba = a0b0 + ∑ a j b j
2
j =1
.
10.3.4. Энергия, E.
α
E = (p|β)− L = (5),
2
1− β
где: (p|β) евклидово скалярное произведение векторов p и β.
188 Гл. 10
10.3.5. Релятивистская кинетическая энергия, Tr.
Релятивистская кинетическая энергия, зависит от скорости движения и при
β=0 равна нулю т.е.
α αβ 2
Tr = −α = (6).
1− β 2 1+ 1− β 2
2
1− β
Для малых скоростей при β→0, это соотношение переходит в формулу
T = αβ 2 2
(7),
где T, - кинетическая энергия при малых скоростях движения.
Кинетическая энергия, определяемая формулой (7), соответствует
классическому представлению о кинетической энергии. В механике
Ньютона кинетическая энергия пропорциональна квадрату скорости.
10.3.6. Тождества, связывающие энергию и импульс.
Используя формулы (4) и (5) можно получить тождества, связывающие
скорость, релятивистскую энергию и релятивистский импульс, а именно
p = Eβ (8).
Тождество (8) соблюдается как при значениях ||β||<1, так и при ||β||=1.
Второе тождество связывает квадраты скорости, энергии и импульса,
(1 − β 2 ) E 2 = (1 − β 2 ) p 2 + α 2 (1 − β 2 ) (9).
• Из соотношения (9) для движения точек (частиц) пространства-
времени со скоростями ||β||<1, можно получить тождество,
связывающее квадрат энергии и квадрат импульса
E 2 = p2 + α 2 (10).
2
• Для волны, которая двигается с предельной скоростью, при β =1
соотношение (9) переходит в тривиальное тождество 0=0. Квадраты
2
энергии и импульса при β =1 можно связать, используя (8) т.е.
E 2 = p2 (11).
2
где p =(p|p)
10.3.7. Сила F, действующая на точку, равна производной от
релятивистского импульса по времени. Связь вектора силы и ускорения
определяется формулой, аналогичной формуле в специальной теории
относительности [37], [46]
dp d (Eβ ) dβ dE α αβ (β |a)
F= = = E +β = a+ (12),
dt dt dt dt 1− β 2 1− β 2
3
( )
где: a = dβ dt ускорение,
(β|a) евклидово скалярное произведение векторов β и a.
Гл. 10 189
Как следует из формулы, ускорение в релятивистском случае не совпадает
по направлению с силой, а содержит составляющую, направленную по
скорости. В нерелятивистском случае ускорение содержит только одну
составляющую, направленную по силе.
10.3.8. Изменение релятивистской энергии.
Дифференцируя по времени выражение (5) для энергии можно найти
изменение релятивистской энергии
dE d α α ( β |a)
=
= (13).
dt dt 1− β 2
(
1− β 2
3
)
Из (13) следует полезное соотношение
1 dE 2 3
(β | a) = 1− β
(14).
α dt
Найдём евклидово скалярное произведение векторов F и β, используя (5),
(12) и (14), тогда
dE 1 dE 2 3 dE 2 dE
(F | β) = E(β,a) + (β,β) = E 1−β +
β = ,
dt α dt dt dt
или
dE dt = (F | β ) (15).
Формула (15) позволяет дать определение мощности A
A= ( F |β ) (16).
Из (15) и (16) следует, что изменение релятивистской энергии равно работе
силы F в единицу времени (мощности), по направлению вектора скорости
β. Если сила F и скорость β ортогональны, то энергия Er не изменяется
т.к. A = ( F⊥ | β ) = 0
β 2 2 + U = T + U = H = const
Анализируя эту систему уравнений, отметим, что в этих двух уравнениях
β2 2 это кинетическая энергия точки T при малых скоростях движения.
1 2
Тогда составляющая (ds dt ) , в предположении, что это функция
2
только координат будет соответствовать потенциальной энергии
точки. Откуда следует
H = T + U = β 2 2 + 1 (ds dt )2 = 1 2 = const (23).
2
7
где: T = ∑ β i2 2 = β 2 2 , − кинетическая энергия точки (в смысле
i =1
классической механики). Квадратичная функция, всегда
действительная положительная величина. Кинетическая энергия
точки зависит явно от скорости перемещения точки β.
2
U = 1 (ds dt ) , - потенциальная энергия точки (в смысле
2
классической механики). Квадратичная функция, всегда
действительная положительная величина. Предполагается, что
при малых скоростях, потенциальная энергия точки U не зависит
явно от скорости перемещения точки и является функцией
только координат. Потенциальная энергия точки U изменяется
при переходе от одной точки пространства к другой.
H = T + U = 1 2 , − функция Гамильтона или полная энергия
точки при малых скоростях. H является постоянной
величиной и не зависит от времени (∂H ∂t = 0) .
Соотношение (23) для полной энергии точки Н соответствует основному
тождеству (1) сохранения лоренцевой нормы и определяет
Гл. 10 193
закон сохранения полной энергии точки
пространства-времени при малых скоростях перемещения.
Формула (23) показывает, что кинетическая энергия и потенциальная
энергия точки являются действительными, ограниченными, положительно
определёнными квадратичными функциями. При этом если кинетическая
энергия увеличивается, то потенциальная энергия точки уменьшается т.е.
1
7
U= 1
−T = 1− ∑ β i2 = 1 (1− β 2 ) (23/).
2 2 2
i =1
2
В спокойном пространстве−времени T = β 2 = 0 , потенциальная
энергия совпадает по величине с полной энергией. Когда существует
движение точек среды, их кинетическая энергия отлична от нуля и
возникает дисбаланс полной и потенциальной энергии. Именно
кинетическая энергия определяет появление в пространстве-времени
объектов, которые мы называем материальными объектами.
Точность допущения, что при малых скоростях кинетическая
энергия определяется формулой T = β 2 2, можно оценить из того
насколько отношение Tr T отличается от единицы т.е.
2
∆ошибки = (Tr T − 1) ⋅100% = −1 ⋅100% .
2 2
1− β (1+ 1− β )
Результаты вычислений представлены в таблице
||β|| 0 0,1 0,2 0,4
∆ ошибки
[%] 0 0,76 3,1 13,9
10.6.5. Аналогия.
В данной работе рассматриваются уравнения в пространстве с
размерностью семь, плюс время в виде параметра. Эти уравнения с
некоторой степенью приближения аппроксимируют многомерные
процессы в пространстве-времени. Однако уравнения аналогичные по
форме и структуре рассматривает гидродинамика. Размерность
пространства в гидродинамике равна три, плюс время в виде параметра.
Уравнения Эйлера движения сплошной газообразной (жидкой) среды, в
векторной форме могут быть записаны в виде [31]:
∂v 1
+ (v | ∇)v + grad p = 0 (36) ,
∂t ρ
где: v − вектор скорости в трёхмерном пространстве;
р, ρ − давление и плотность жидкости;
∇ − "набла", или оператор Гамильтона (трёхмерный);
(v|∇) скалярное произведение векторов v и ∇;
grad p − градиент давления (трёхмерный).
Уравнение (36), записанное в скалярной форме, будет выглядеть
следующим образом:
∂vi k = 3 ∂v 1 ∂
=−∑ i
vk − p (i=1, 2, 3) (37).
∂t k =1 ∂y k ρ ∂yi
Уравнение (37) очень похоже на уравнение (31). Если проводить аналогии,
то уравнениям движения пространства-времени в форме (31) можно
Гл. 10 199
сопоставить уравнения движения несжимаемой жидкости. Для чего в (37)
необходимо плотность принять постоянной величиной (ρ=1), а давление
2
связать со скоростью среды уравнением состояния p=−v /2. Скорости
движения жидкости v можно сопоставить скорость движения
пространства-времени β. После этого получаются уравнения похожие на
уравнения движения пространства-времени, но с меньшей размерностью.
Аналогия разработанной модели физического пространства-времени
с несжимаемой жидкостью не ограничивается только видом уравнений
движения. В частности при скоростях движения трёхмерной газообразной
среды существенно меньше скорости звука в этой среде, среду можно
считать несжимаемой. В несжимаемой среде отсутствуют звуковые волны.
В разработанной модели пространства-времени отсутствуют
электромагнитные и гравитационные волны.
Рассмотрение аналогий полезно т.к. несмотря на большую
размерность пространства-времени, тип уравнений совпадает. Это
гиперболические уравнения в частных производных. Приёмы решения
подобных уравнений разработаны. А при определённых условиях, когда
удаётся свести задачу к размерности пространства не превосходящую три,
можно воспользоваться готовыми численными алгоритмами и готовыми
аналитическими решениями.
∂ρ H
∫ + div ρ H β dW7 = 0 .
W7 ∂t 7
Т.к. это выражение имеет место для любого произвольно заданного объёма
W7, то подынтегральное выражение должно равняться нулю, т.е.
Гл. 10 201
∂ρH ∂ρ i =7 ∂β
+div (ρH β ) = H + ∑ ρH i = 0 (40).
∂t 7 ∂t i=1 ∂yi
где: div ( ρ H β ) , дивергенция вектора ρ H β определяет мощность
7
(обильность) источников (или стоков) в точке пространства L(7,1).
Уравнение (40) является уравнением неразрывности течения полной
энергии пространства-времени при малых скоростях движения среды.
Замечание.
При больших скоростях полная энергия увеличивается и начинает зависеть
от скорости в соответствии с формулой (5), при этом точность
приближения к формулам классической механики уменьшается. При
больших скоростях уравнения движения, энергии и неразрывности должны
видоизменится.
§10.10. Гравитация.
10.10.1. Пусть в некоторой области пространства электромагнитная
(конвективная) составляющая мала в сравнении с гравитационной
составляющей поля. Тогда, для этой области, уравнение движения
пространства−времени может быть записано в виде
(∂β ∂t )Г = − 12 grad (ds dt )2 = − grad U = grad T = FГ (44/).
Это уравнение позволяет описать слабое гравитационное поле в
пространстве-времени, на удалении от источников поля.
Гл. 10 203
/
Проведём краткий анализ полученного уравнения (44 ).
Уравнение слабого гравитационного поля (44/) позволяет считать
такое гравитационное поле потенциальным т.к. мы имеем градиент
некоторой скалярной функции, которая выражается через потенциальную
или кинетическую энергии точки.
В спокойном пространстве, где нет движения среды, величина
потенциальной энергии точки максимальна. При движении среды,
величина кинетической энергии точки увеличивается, а величина
потенциальной энергии точки уменьшается. Таким образом, если по
некоторой координате y мы имеем уменьшение потенциальной энергии U,
т.е. градиент dU/dy отрицателен, как β2 grad β2>0
это изображено на рис. 3, то сила
U grad U <0
гравитации, а также ускорение точки, в
соответствии с уравнением (44/),
направлены в сторону уменьшения
потенциальной энергии. Т.е. в сторону FГ рис.3
точек пространства с замедленным
темпом времени. y
Уменьшение потенциальной
энергии сопровождается увеличением кинетической энергии и
увеличением скорости движения точек пространства-времени, т.к. сумма
этих двух энергий постоянна. И в результате оказывается, что сила
гравитации направлена в сторону возрастания квадрата полной скорости.
Т.е. точка пространства как бы увлекается, стремится в область с высокой
скоростью движения среды рис.4.
Выделим в октавном
Возможные
пространстве-времени M8 Вектор,3 ортогональный
мерномух траектории точек
пространства
ассоциативное подпространство, частного
подпространству
наблюдателя FГ сила
M4 имеющее три визуально гравитации
((ds )
y2
∫ a y dy = − (U 2 −U 1 ) = − dt )2 − (ds 1 dt )2 =
1
2 2
y1 (47).
=− 1
2
((ds 2 dt )+ (ds 1 dt ))⋅((ds 2 dt )− (ds 1 dt ))≈ a ( y 2 − y1 )
206 Гл. 10
При малом изменении ускорения ay, согласно теореме о среднем значении,
y2
можно получить, ∫ a y dy ≈ a ( y − y ) = al . Изменение темпа времени
2 1
y1
на отрезке y 2 − y1 = l тоже невелико, поэтому средняя величина
относительного изменения темпа времени очень близка к единице т.е.
1
(ds 2 dt ) + (ds1 dt ) ≈ 1 .
2
В точке, с координатой y1, темп течения времени наблюдателя совпадает с
текущим темпом времени, т.е. ds1=dt и тогда ( ds 1 dt ) = 1 .
После подстановок и перехода к конечным разностям выражение
(47) может быть преобразовано к виду
∆s2 = (1 − al ) ∆t (48).
В случае, когда текущее ускорение отрицательно (т.е. a= − g ) мы
получим что ∆s2 = (1 + gl ) ∆t . Из этой формулы следует: интервал
времени, между двумя событиями, по часам установленным высоко над
поверхностью земли, больше интервала времени таких же часов, но
установленных на поверхности земли. Т.е. часы на поверхности земли идут
медленнее. Если ввести гравитационный потенциал в виде Ф = −al , то
выражение (48) с точностью до обозначений совпадёт с формулой
Эйнштейна [53].
Замечание.
1. В общей теории относительности, при описании гравитации, имеются
как успехи, так и ограничения этой теории. Паули [36] отмечает:
"То обстоятельство, что общая теория относительности на
основании очень общих постулатов без дальнейших гипотез
приводит к закону тяготения Ньютона, является её большим
успехом".
И далее:
"Таким образом, общая теория относительности не даёт никакого
физического истолкования знака (т.е. гравитационного
притяжения, а не отталкивания) и величины гравитационной
постоянной; эти данные теория берёт из опыта".
Обратим внимание на то что:
вытекающая из "основной гипотезы" модель
физического пространства, обнаруживает физические
причины появления гравитации и прямо указывает на
знак гравитационной силы, а именно как силы
притяжения к областям пространства с повышенной
кинетической энергией.
Пример.
В качестве примера применения уравнения Пуассона для описания
гравитационного поля рассмотрим в пространстве L(3,1) сферически
симметричное равномерное распределение плотности мощности
источников q в сфере радиуса R. Т.е. рассматривается случай q=const
при 0≤r≤R и q=0 при R<r<∞. При r=R плотность мощности источника
q терпит разрыв.
Воспользуемся записью оператора Лапласа в трёхмерном
пространстве в сферических координатах, для сферически симметричной
функции. Тогда уравнение Пуассона в общем виде можно переписать как
1 ∂ 2 ∂T 1 ∂ 2 ∂U
r = −q или r =q .
r 2
∂r ∂r r 2
∂r ∂r
• Для гравитационного поля внутри сферы радиуса R содержащей
источники уравнение Пуассона записывается как
1 ∂ 2 ∂T ∂ 2 ∂T
r = q; или r = qr 2 (61).
r ∂r ∂r
2
∂r ∂r
Сила гравитации внутри сферы радиуса R определяется после
интегрирования (61). Учитывая, что в соответствии с (44) FГ = grad T
получим
∂T 1
FГ = = qr для 0≤r≤R.
∂r 3
• Для гравитационного поля вне сферы радиуса R, где нет источников
поля, уравнение Пуассона записывается как
∂ 2 ∂T
r =0 (62).
∂r ∂r
После интегрирования (62) получается
Гл. 10 213
∂T ∂T const
r2 = const , а также FГ = = 2 для R<r<∞.
∂r ∂r r
При q=const поток вектора силы FR через поверхность SR. равен
Q = ∫∫∫ qdW = qW R (63).
WR
рис.9
R r
Результаты, полученные в данном примере известны и совпадают с
данными, полученными для равномерного распределения масс в
сферическом объёме. Однако ещё раз укажем, что все эти результаты
получены нами как следствия из "основной гипотезы" без привлечения,
каких либо иных данных.
214 Гл. 11
Глава 11
Волны, частицы, инертная масса.
________________________________________________________
Рассмотрено движение волн в октавном пространстве. Показано что
волны, имеющие составляющую скорости ортогональную к 4х
подпространству наблюдателя, воспринимаются как частицы вещества.
Вводится понятие инертной массы. Рассматриваются геометрические
эффекты, связанные с движением волн в октавном пространстве-времени.
Рассмотрен эффект Доплера. Аналитически получены формулы
объясняющие существование волн де Бройля как проявления эффекта
Доплера.
В 1905г. [56 ] стр.38 Эйнштейном был выдвинут тезис о том что "масса
тела есть мера содержащейся в ней энергии". Позже было получено
известное соотношение, связывающее массу и энергию
E = Mc 2
Это соотношение показывает, что в естественной системе единиц (при
c=1) массу и энергию можно считать эквивалентными понятиями. В
специальной теории относительности масса M отдельной частицы
Гл. 11 221
отождествляется с энергией покоя этой частицы. Однако причины
возникновения энергии покоя не раскрываются. В октавном пространстве
прежнее определение массы сохраняется, а также становятся ясными
причины возникновения массы и соответствующей ей энергии покоя. В
естественной системе единиц (при c=1) масса частицы равна энергии
волны (энергии покоя частицы), пришедшей из дополнительного
подпространства M8\4 в ассоциативное 4х подпространство наблюдателя
M=E0 (15).
Полная энергия частицы определяется известной из специальной теории
относительности формулой
M
E= (16),
2
1− β
где β - скорость частицы в 4х подпространстве наблюдателя.
g p = ν p e p + m p i pq + 1− m 2p j p (37).
где: • ψр, − угол между пространственным направлением
распространения волны nр и пространственной составляющей
вектора скорости системы отсчёта Оq, направленной по вектору ipq;
• m p = 〈〈 n p , i pq 〉〉 = cos(n p ^ i pq ) = cos(ψ p ) − косинус угла ψр,
определяемый в системе отсчёта Ор;
• j p -мнимый единичный вектор с единичной евклидовой нормой и
отрицательной единичной лоренцевой нормой, ЕL−ортогональный
вектору скорости системы отсчёта Оq, т.е. вектору ipq
n p − 〈〈 n p ,i pq 〉〉i pq n p − m p i pq
jp = = .
n p − 〈〈 n p ,i pq 〉〉i pq 1− m 2p
Из (37) можно определить синус и тангенс угла ψр
1− m 2p
sinψ p = 1− m 2p , tgψ p = .
mp
Для вектора хр, вдоль которого распространяется волна, получается
зависимость
1− β m p β −m p 1− β 2
gq =ν p еq − iqp +ν p 1− m p jq
2
(39/).
1− β 2 1− βm p 1− βm p
В (39) и (39/) перед радикалом 1− β 2 ставится знак "плюс" т.к. при
стремлении параметра скорости β к нулю мы должны получить исходный
вектор gр. Из (39) определяется частота волны пропорциональная длине
вектора gq в системе отсчёта Оq т.е.
1− β m p 1− β cosψ p
ν q =ν p =ν p (40).
2 2
1− β 1− β
В формулах (39), (40) присутствует, косинус угла ψр, который
определяется в системе отсчёта Ор. В системе отсчёта Оq этот угол другой
и он может быть определён из (39/), при этом получается
cosψ p − β sinψ p 1− β 2
cosψ q = , sinψ q = (41).
1− β cosψ p 1− β cosψ p
где: ψq − угол между пространственным (мнимым) направлением
распространения волны и вектором скорости системы отсчёта Оp,
определяемый в системе отсчёта Оq;
mq=cosψq − определяемая в системе отсчёта Оq, проекция вектора
скорости волны на направление заданное вектором скорости системы
отсчёта Оp
232 Гл. 11
sinψq − проекция скорости волны на направление ортогональное к
вектору скорости системы отсчёта Оp, в системе отсчёта Оq;
Используя (39/) можно определить cosψр через параметры, фиксируемые
в системе отсчёта Оq т.е.
cosψ q + β
m p = cosψ p = (42).
1+ β cosψ q
Подставляя значение mp из (42) в (39) получим
gq =ν p
1− β 2
1+ β cosψ q
(
еq + cosψ q iqp + sinψ q jq ) (43).
1− β 2
ν q =ν p (45).
1+ β cosψ q
Формула (45) описывает эффект Доплера и совпадает с [9], [23], [33], [36],
[46]. В настоящей работе эта формула получена с помощью алгебры октав
и справедлива для пространства M8.
В системе отсчёта Оp может находиться источник излучения и двигаться
вместе с ней. Когда волна распространяется ортогонально к вектору
скорости источника, то ψq=π/2 и cosψq=0. В этом случае наблюдается
поперечный эффект Доплера и частота определяется формулой
ν q =ν p 1− β 2 (46).
Как следует из (46), частота излучения уменьшается (красное смещение) за
счёт замедления времени, если источник движется.
Поперечный эффект Доплера наблюдался американскими физиками
Г. Айвсом и Д. Стилуэллом в 30-х г.г. Они с помощью спектрографа
исследовали излучение каналовых частиц, летящих атомов водорода,
разогнанных до скоростей 2×106 м/с . При этих скоростях отношение v/c
оказалось достаточным, чтобы заметить смещение частоты излучения
спектроскопическим способом. В 1938 г. результаты были опубликованы.
Получилось прямое экспериментальное доказательство сокращения
масштаба времени при относительном движении.
При движении системы отсчёта Оq навстречу движению волны
(навстречу источнику излучения) cosψ q = −1 тогда из (45)
Гл. 11 233
1+ β
ν q =ν p (47).
1− β
Т.е. при движении навстречу источнику излучения кажущаяся частота
излучения возрастает. И при β→1 стремится к бесконечности.
При движении системы отсчёта Оq от источника излучения cosψ q = 1 и
1− β
ν q =ν p (48).
1+ β
При движении наблюдателя от источника излучения кажущаяся частота
излучения уменьшается. И при β→1 стремится к нулю.
При β→0 частота стремится к исходной частоте источника.
( )
Для неподвижного наблюдателя полная энергия движущегося тела
будет соответствовать частоте ν 0 = m0 c 2 h 1− β 2 . Но если
такой наблюдатель следит за внутренним периодическим процессом
тела, то он будет воспринимать его замедленным и припишет ему
234 Гл. 11
(
E = m02 c 4 + p32 c 2 ) = (m c +|| p || c )
12 2 4
0 . 3
2 2 12
1− β 2
ν q =ν p (45/).
1+ β cosψ q
нужно подставить β=1 и ψq=π/2. Как уже отмечалось, при
cosψq=cosπ/2=0 наблюдается поперечный эффект Доплера, который
описывается формулой (46). Из (45) и (46) следует, что при поперечном
эффекте Доплера и β=1 наблюдатель должен зафиксировать волну с
частотой νq=0.
gq =ν p
1− β 2
1+ β cosψ q
(
еq + cosψ q iqp + sinψ q jq ) (43/).
наблюдателя относительно jq
источника волны, меньше
предельной.
Т.к. источник двигается с предельной скоростью по изотропному
направлению то между проекциями скорости источника, заданной
изотропным вектором x q = еq + cosψ q iqp + sinψ q jq , существует
жёсткая связь, которая вытекает из условия "изотропности" вектора xq, а
именно
Lr( xq ) = 1 − (cos2 ψ q + sin 2 ψ q ) = 1 − ( w2 + β 2 ) = 0 (50).
Из (14) следует w 2 + β 2 = 1. При этом w2 = cos2 ψ q это кажущаяся
1− β 2
vq = ν p (45/).
1+ β cosψ q
В формулу (45/) можно подставить зависимости (51), и определить
регистрируемую наблюдателем из системы отсчёта Oq частоту источника
излучения, двигающегося в направлении изотропного вектора и имеющего
составляющую скорости ортогональную к подпространству М4
наблюдателя т.е.
w
ν q =ν p (52).
2
1+ w 1− w
Из (52) следует, что при кажущейся скорости источника равной
нулю (w=0) наблюдатель зафиксирует волну с нулевой частотой, т.е.
νq=0. При этом в первом приближении наблюдаемая частота будет
пропорциональна кажущейся скорости. Этот результат соответствует
выводу сделанному в п.п. 11.8.3 настоящего подраздела.
________________________________________________________________
Замечания и предложения автору отправлять на адрес RAUMKUB@mail.ru
250 Литература
Литература