Упражнение 96

Положим теперь J= {1,2,…,r} \ I, и W₂=L{e_i,e_r+j}; iÎ I, jÎ J. Докажите, что

i) W₂, как и W₁, – изотропно.

ii) W₁= W₁^{^}; W₂= W₂^{^}; М=М^{^}.

iii) М=MÇW₁+N ортогонально W₂ÇW₁ и W₂ÇW₁ÌМ.

iv) W₂ÇW₁=(W₂ÇМ)Ç(МÇW₁)= NÇ(MÇW₁)={0}.

Упражнение 97.

Итак, вы доказали, что, если W₁ - максимальное изотропное подпространство V, то имеется другое максимальное изотропное подпространство W₂ такое, что V=W₁ÅW₂.
Докажите теперь, что билинейная форма на V индуцирует изоморфизм W₂®W₁^*.
Упражнение 98.

Любые пары взаимно дополнительных изотропных подпространств в V одинаково расположены, а именно: если V=V₁ÅV₂=W₁ÅW₂, то существует изометрия f: V®V такая, что f(V₁)=W₁; f(V₂)=W₂.

Выведите отсюда как следствие, что любые изотропные подпространства одинаковой размерности переводятся одно в другое некоей изометрией.

Упражнение 99.

Множество всех изометрийf: V®V симплектического пространства V над полем F, dimV=2r, образует группу. Множество матриц, представляющих эту группу в симплектическом базисе {e₁,…,e_r; e_r+1,…,e_2r} называется симплектической группой и обозначается Sp(2r,F). Докажите, что AÎ Sp(2r,F) Þ detA=±1.

3.5. СТО (Специальная Теория Относительности)

Пространством Минковского [4] называется четырёхмерное вещественное пространство М с симметрической билинейной формой сигнатуры (1,3). Начало координат этого пространства означает событие, произошедшее «здесь и сейчас» с точки зрения некоторого наблюдателя. То есть, у другого наблюдателя – другие часы и с его точки зрения это же событие произошло в другое время. Отсутствие единого, «всемирного», универсального времени – одна из главных черт, отличающих физику высоких скоростей (физику элементарных частиц), от классической физики. В «классике» у нас для времени и пространства разные единицы измерения – метры и секунды, например. Здесь же, поскольку мы строим модель пространства-времени, нам нужны единые координаты, допускающие пересчёт единиц пространства и времени. Принято за единицу длины брать расстояние, проходимое светом (фотоном) за единицу времени, например, за 1 секунду. Уже в основу этой модели положен принцип постоянства скорости света.
Итак, s=ct (c – скорость света) и после выбора единичного вектора по t скорость света (в этих единицах длины и времени) становится равной 1.
Итак, мы имеем метрику (в ортонормальном базисе) (t,x₁,x₂,x₃)²=t²-x₁²-x₂²-x₃².

Заменив все три пространственных координаты одной, ; (), имеем:(t,x)²=t²-x².

Эта форма, как и само пространство М, называются также «псевдоевклидовыми».
Таким образом, мы видим, что квадрат вектора в пространстве Минковского может быть положительным, отрицательным или нулевым.
Соответственно этому, вектора эти (в физике) носят названия времениподобных, светоподобных или пространственноподобных. Если вектор, например, времениподобен, то и любой коллинеарный ему вектор времениподобен, а вся прямая L, его содержащая, называется тогда «мировой линией инерциального наблюдателя». Время между двумя точками l₁ и l₂ – событиями на этой прямой, измеренное по часам наблюдателя образующего эту прямую, относится именно к этому наблюдателю (у другого наблюдателя – другая мировая линия!) считается по формуле çl₁-l₂ç= . Система координат в М, заданная в ортонормированном базисе называется инерциальной системой.
Группа изометрий пространства М называется группой Лоренца.

Найдём теперь матрицу Р, переводящую один ортонормированный базис в другой: .

Упражнение 100.

Используя ортонормированность обоих базисов, докажите, что w=b и z=a.
Итак, t ’=a t +b x; x ’=b t +a x. Теперь определим скорость v, с которой система (t’,x’) движется относительно системы (t,x). Для этого надо расстояние, на которое вектор х’ переместился по часам системы (t,х) c момента t=0 до настоящего времени, поделить на время, которое прошло «за это время» по часам системы (t’,x’).

Упражнение 101.

Докажите, что v=b:a.

Упражнение 102.

Используя полученную формулу для скорости, и то, что длина вектора t ’ равна 1, выразите обе величины а и b через скорость v.
Окончательно, запишите матрицу перехода Р в виде Р=P(v).
Как вы помните (вернее, - как вы должны были бы помнить!), соответствующая матрица преобразования координат L_v связана с матрицей Р формулой L_v=^tP^-1.
Найдя эту матрицу, вы и найдёте так называемое преобразование Лоренца.
Найдём теперь закон сложения скоростей в СТО.
Пусть (t’,x’) движется со скоростью v₁ относительно (t,x), а (t’’,x’’) движется со скоростью v₂ относительно (t’,x’). Тогда .

Упражнение 103.

Найдя v такое, что вы и получите искомую формулу. Получите же её!

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

3.6. Характеристический многочлен.

Def. Пусть в конечномерном ВП над F задан линейный оператор f:V®V.
Выберем в V какой-нибудь базис, и пусть А – матрица оператора f в этом базисе.
Назовём характеристическим многочленом оператора f (а также матрицы А) многочлен P(t)=det(tE-A). Оказывается, что

Упражнение 104*.

Характеристический многочлен не зависит от выбора базиса, и является, таким образом, инвариантом самого оператора f.

(hint: E=B^-1EB).

Упражнение 105.

Пусть P(t)=tⁿ-a_n-1t^n-1+…+(-1)ⁿa₀. Чему равны а_n-1 и а₀? Узнаёте старых знакомых?

Теперь к ним добавились новые инварианты – все остальные коэффициенты многочлена Р.

Упражнение 106. *

Докажите, что оператор f имеет собственный вектор с собственным значением a Û P(a)=0.

Def. Множество всех корней характеристического многочлена называется спектром [5] оператора f. Если среди корней нет кратных (все кратности равны 1), то спектр называется простым.

[1] Другое, неудачное, на мой взгляд, название этой функции – антилинейная.

[2] Вообще-то в современной литературе скалярным произведением называется любая полуторалинейная (или билинейная) форма, всё, с чем мы имели дело до сих пор. Но в старых и, особенно, в школьных учебниках, придерживаются именно такого определения. В школах, вообще-то принято даже за определение скалярного произведения брать вид, который оно принимает в ортонормальном базисе.

[3] В случае эрмитовой формы называемом также неравенством Коши-Шварца.
Augustin Louis Cauchy (1789-1857) - великий французский математик.

[4] Hermann Minkowski, 22.06.1864 -12.01.1909. Родился в Литве, преподавал в Zurich, Göttingen где и скончался скоропостижно от аппендицита. Блестящий математик, внесший значительный вклад в комбинаторную геометрию и теорию чисел. Его лекции внимательно слушал, будучи студентом, Альберт Эйнштейн (который вообще-то не отличался прилежанием и нечасто посещал лекции других преподавателей).

[5] При этих значениях оператор f(t)=tE-f является необратимым. В случае бесконечномерного пространства V это обстоятельство кладётся в основу определения спектра, как множества тех значений t, при которых оператор f(t) необратим. В случае конечномерного V оба определения совпадают.