Алгебра phys 2 сентябрь–октябрь — различия между версиями

Материал из SEWiki
Перейти к: навигация, поиск
Строка 84: Строка 84:
  
 
<h5>12.5&nbsp; Специальная ортохронная группа Лоренца</h5>
 
<h5>12.5&nbsp; Специальная ортохронная группа Лоренца</h5>
<ul><li>Движение со скор. света: <math>\gamma(\tau)=\tau\,p+q{}</math>, где <math>p,q\in\mathbb R^4\!{}</math>, <math>p^\mathtt T\eta\,p=0{}</math> и <math>\eta=\Bigl(\begin{smallmatrix}1&0\\0&-\mathrm{id}_3\!\end{smallmatrix}\Bigr)</math>. Теорема о сохранении скорости света. Матричная гр. Лоренца: <math>\mathrm O(1,3)</math>.
+
<ul><li>Движение со скоростью света: <math>\biggl(\!\begin{align}\mathbb R&\to\mathbb R^4\\\tau&\mapsto\tau\,p+q\end{align}\!\biggr){}</math>, где <math>\,p^\mathtt T\eta\,p=0{}</math> (<math>\eta=\Bigl(\begin{smallmatrix}1&0\\0&-\mathrm{id}_3\!\end{smallmatrix}\Bigr)</math>). Теорема о сохранении скорости света. Матричная группа Лоренца: <math>\mathrm O(1,3)</math>.
 
<p><u>Теорема о сохранении скорости света.</u><br><i>Пусть <math>\Lambda\in\mathrm{GL}(4,\mathbb R){}</math>; тогда след. утверждения эквивалентны: (у1) <math>\forall\,p\in\mathbb R^4\,\bigl(p^\mathtt T\eta\,p=0\,\Leftrightarrow(\Lambda\,p)^\mathtt T\eta\,(\Lambda\,p)=0\bigr){}</math> и (у2) <math>\Lambda^\mathtt T\eta\,\Lambda=c\,\eta{}</math>, где <math>c=(\Lambda^\bullet_0)^\mathtt T\eta\,\Lambda^\bullet_0{}</math>.</i></p>
 
<p><u>Теорема о сохранении скорости света.</u><br><i>Пусть <math>\Lambda\in\mathrm{GL}(4,\mathbb R){}</math>; тогда след. утверждения эквивалентны: (у1) <math>\forall\,p\in\mathbb R^4\,\bigl(p^\mathtt T\eta\,p=0\,\Leftrightarrow(\Lambda\,p)^\mathtt T\eta\,(\Lambda\,p)=0\bigr){}</math> и (у2) <math>\Lambda^\mathtt T\eta\,\Lambda=c\,\eta{}</math>, где <math>c=(\Lambda^\bullet_0)^\mathtt T\eta\,\Lambda^\bullet_0{}</math>.</i></p>
 
<li><u>Теорема о матричной группе Лоренца.</u><br><i>(1) Пусть <math>\Lambda\in\mathrm{Mat}(4,\mathbb R)</math>; тогда <math>\Lambda\in\mathrm O(1,3)\,\Leftrightarrow\,\Lambda^\mathtt T\!\in\mathrm O(1,3)</math>, а также <math>\Lambda\in\mathrm O(1,3)\,\Rightarrow\,(\Lambda^\bullet_0)^\mathtt T\eta\,\Lambda^\bullet_0=\Lambda^0_\bullet\,\eta\,(\Lambda^0_\bullet)^\mathtt T\!=1</math>.<br>(2) Пусть <math>\Lambda\in\mathrm{Mat}(4,\mathbb R)</math> и <math>(\Lambda^\bullet_0)^\mathtt T\eta\,\Lambda^\bullet_0=\Lambda^0_\bullet\,\eta\,(\Lambda^0_\bullet)^\mathtt T\!=1</math>; введем следующие обозначения: <math>\varepsilon=\mathrm{sign}(\Lambda^0_0)</math> (<math>\varepsilon\in\{1,-1\}</math>), <math>\varphi=\mathrm{arcch}(|\Lambda^0_0|)</math> (<math>\varphi\in[0;\infty)</math>),<br><math>\varphi=0\,\Rightarrow\,v=w=\biggl(\begin{smallmatrix}0\\0\\0\end{smallmatrix}\biggr)</math>, <math>\varphi>0\,\Rightarrow\,v=\frac1{\mathrm{sh}\,\varphi}\Biggl(\begin{smallmatrix}\Lambda^1_0\\\Lambda^2_0\\\Lambda^3_0\end{smallmatrix}\Biggr)\land\,w=\frac1{\mathrm{sh}\,\varphi}\Biggl(\begin{smallmatrix}\Lambda^0_1\\\Lambda^0_2\\\Lambda^0_3\end{smallmatrix}\Biggr)</math> (<math>v,w\in\mathrm S^2\!</math>) и <math>b=\frac1{\mathrm{ch}\,\varphi}\Biggl(\begin{smallmatrix}\Lambda^1_1&\Lambda^1_2&\Lambda^1_3\\\Lambda^2_1&\Lambda^2_2&\Lambda^2_3\\\Lambda^3_1&\Lambda^3_2&\Lambda^3_3\end{smallmatrix}\Biggr){}</math>; тогда <math>\Lambda=\Bigl(\begin{smallmatrix}\varepsilon\,\mathrm{ch}\,\varphi&\,\mathrm{sh}\,\varphi\;w^\mathtt T\!\\\mathrm{sh}\,\varphi\;v&\mathrm{ch}\,\varphi\;b\end{smallmatrix}\Bigr){}</math>, а также<br><math>\Lambda\in\mathrm O(1,3)\,\Leftrightarrow\,w=\varepsilon\,b^\mathtt Tv\,\land\,(\mathrm{ch}\,\varphi)^2\,b^\mathtt Tb-(\mathrm{sh}\,\varphi)^2\,w\,w^\mathtt T\!=\mathrm{id}_3{}</math> и <math>\,\Lambda\in\mathrm O(1,3)\,\Rightarrow\,\det\Lambda\in\{1,-1\}\,\land\,\det\Lambda=\varepsilon\,(\mathrm{ch}\,\varphi)^2\det b{}</math>.<br>(3) <math>\Biggl(\!\begin{align}\mathrm O(1,3)&\to\{1,-1\}\times\{1,-1\}\\\!\Bigl(\begin{smallmatrix}\varepsilon\,\mathrm{ch}\,\varphi&\,\mathrm{sh}\,\varphi\;w^\mathtt T\!\\\mathrm{sh}\,\varphi\;v&\mathrm{ch}\,\varphi\;b\end{smallmatrix}\Bigr)\!&\mapsto(\varepsilon,\mathrm{sign}(\det b))\end{align}\!\Biggr){}</math> — сюръективный гомоморфизм групп, и <math>\{\mathrm{id}_4,-\mathrm{id}_4,\eta,-\eta\}</math> — трансверсаль слоев этого гомоморфизма.<br>(4) Обозначая через <math>\,\mathrm{SO}^+(1,3)</math> ядро гомоморфизма из пункта (3), имеем след. факты: <math>\mathrm{SO}^+(1,3)\triangleleft\mathrm O(1,3)</math> и <math>\,\mathrm{SO}^+(1,3)=\{\Lambda\in\mathrm{SO}(1,3)\mid\Lambda^0_0\ge1\}</math>.</i>
 
<li><u>Теорема о матричной группе Лоренца.</u><br><i>(1) Пусть <math>\Lambda\in\mathrm{Mat}(4,\mathbb R)</math>; тогда <math>\Lambda\in\mathrm O(1,3)\,\Leftrightarrow\,\Lambda^\mathtt T\!\in\mathrm O(1,3)</math>, а также <math>\Lambda\in\mathrm O(1,3)\,\Rightarrow\,(\Lambda^\bullet_0)^\mathtt T\eta\,\Lambda^\bullet_0=\Lambda^0_\bullet\,\eta\,(\Lambda^0_\bullet)^\mathtt T\!=1</math>.<br>(2) Пусть <math>\Lambda\in\mathrm{Mat}(4,\mathbb R)</math> и <math>(\Lambda^\bullet_0)^\mathtt T\eta\,\Lambda^\bullet_0=\Lambda^0_\bullet\,\eta\,(\Lambda^0_\bullet)^\mathtt T\!=1</math>; введем следующие обозначения: <math>\varepsilon=\mathrm{sign}(\Lambda^0_0)</math> (<math>\varepsilon\in\{1,-1\}</math>), <math>\varphi=\mathrm{arcch}(|\Lambda^0_0|)</math> (<math>\varphi\in[0;\infty)</math>),<br><math>\varphi=0\,\Rightarrow\,v=w=\biggl(\begin{smallmatrix}0\\0\\0\end{smallmatrix}\biggr)</math>, <math>\varphi>0\,\Rightarrow\,v=\frac1{\mathrm{sh}\,\varphi}\Biggl(\begin{smallmatrix}\Lambda^1_0\\\Lambda^2_0\\\Lambda^3_0\end{smallmatrix}\Biggr)\land\,w=\frac1{\mathrm{sh}\,\varphi}\Biggl(\begin{smallmatrix}\Lambda^0_1\\\Lambda^0_2\\\Lambda^0_3\end{smallmatrix}\Biggr)</math> (<math>v,w\in\mathrm S^2\!</math>) и <math>b=\frac1{\mathrm{ch}\,\varphi}\Biggl(\begin{smallmatrix}\Lambda^1_1&\Lambda^1_2&\Lambda^1_3\\\Lambda^2_1&\Lambda^2_2&\Lambda^2_3\\\Lambda^3_1&\Lambda^3_2&\Lambda^3_3\end{smallmatrix}\Biggr){}</math>; тогда <math>\Lambda=\Bigl(\begin{smallmatrix}\varepsilon\,\mathrm{ch}\,\varphi&\,\mathrm{sh}\,\varphi\;w^\mathtt T\!\\\mathrm{sh}\,\varphi\;v&\mathrm{ch}\,\varphi\;b\end{smallmatrix}\Bigr){}</math>, а также<br><math>\Lambda\in\mathrm O(1,3)\,\Leftrightarrow\,w=\varepsilon\,b^\mathtt Tv\,\land\,(\mathrm{ch}\,\varphi)^2\,b^\mathtt Tb-(\mathrm{sh}\,\varphi)^2\,w\,w^\mathtt T\!=\mathrm{id}_3{}</math> и <math>\,\Lambda\in\mathrm O(1,3)\,\Rightarrow\,\det\Lambda\in\{1,-1\}\,\land\,\det\Lambda=\varepsilon\,(\mathrm{ch}\,\varphi)^2\det b{}</math>.<br>(3) <math>\Biggl(\!\begin{align}\mathrm O(1,3)&\to\{1,-1\}\times\{1,-1\}\\\!\Bigl(\begin{smallmatrix}\varepsilon\,\mathrm{ch}\,\varphi&\,\mathrm{sh}\,\varphi\;w^\mathtt T\!\\\mathrm{sh}\,\varphi\;v&\mathrm{ch}\,\varphi\;b\end{smallmatrix}\Bigr)\!&\mapsto(\varepsilon,\mathrm{sign}(\det b))\end{align}\!\Biggr){}</math> — сюръективный гомоморфизм групп, и <math>\{\mathrm{id}_4,-\mathrm{id}_4,\eta,-\eta\}</math> — трансверсаль слоев этого гомоморфизма.<br>(4) Обозначая через <math>\,\mathrm{SO}^+(1,3)</math> ядро гомоморфизма из пункта (3), имеем след. факты: <math>\mathrm{SO}^+(1,3)\triangleleft\mathrm O(1,3)</math> и <math>\,\mathrm{SO}^+(1,3)=\{\Lambda\in\mathrm{SO}(1,3)\mid\Lambda^0_0\ge1\}</math>.</i>
Строка 90: Строка 90:
 
<li>Пр.-во Минковского — псевдоевкл. пр.-во сигнатуры <math>(1,3)</math>; <math>a\in\mathrm{SO}^+(V)\,\Leftrightarrow\,\exists\,e\in\mathrm{OnOB}(V)\;\bigl(a_e^e\in\mathrm{SO}^+(1,3)\bigr)</math> (опред.-е не зависит от выбора базиса).
 
<li>Пр.-во Минковского — псевдоевкл. пр.-во сигнатуры <math>(1,3)</math>; <math>a\in\mathrm{SO}^+(V)\,\Leftrightarrow\,\exists\,e\in\mathrm{OnOB}(V)\;\bigl(a_e^e\in\mathrm{SO}^+(1,3)\bigr)</math> (опред.-е не зависит от выбора базиса).
 
<li>Спинорная модель пр.-ва Минковского: <math>\mathcal M=\overline{\mathrm S}\mathrm{Mat}(2,\mathbb C)</math> — пр.-во эрмит.-х матриц разм. <math>2\!\times\!2{}</math>. Матрицы Паули: <math>\sigma_1=\bigl(\begin{smallmatrix}0&1\\1&0\end{smallmatrix}\bigr)</math>, <math>\sigma_2=\bigl(\begin{smallmatrix}0&-\mathrm i\\\mathrm i&0\end{smallmatrix}\bigr)</math>, <math>\sigma_3=\bigl(\begin{smallmatrix}1&0\\0&-1\end{smallmatrix}\bigr)</math>.
 
<li>Спинорная модель пр.-ва Минковского: <math>\mathcal M=\overline{\mathrm S}\mathrm{Mat}(2,\mathbb C)</math> — пр.-во эрмит.-х матриц разм. <math>2\!\times\!2{}</math>. Матрицы Паули: <math>\sigma_1=\bigl(\begin{smallmatrix}0&1\\1&0\end{smallmatrix}\bigr)</math>, <math>\sigma_2=\bigl(\begin{smallmatrix}0&-\mathrm i\\\mathrm i&0\end{smallmatrix}\bigr)</math>, <math>\sigma_3=\bigl(\begin{smallmatrix}1&0\\0&-1\end{smallmatrix}\bigr)</math>.
<li><u>Теорема о спинорной модели пространства Минковского.</u><br><i>(1) Пусть <math>i,j\in\{1,2,3\}</math>; тогда <math>\sigma_i\,\sigma_j=\delta_{i,j}\,\mathrm{id_2}+\sum_{k=1}^3\varepsilon_{i,j,k}\,\mathrm i\,\sigma_k</math> и <math>\,\mathrm{tr}\,(\sigma_i\,\sigma_j)=2\,\delta_{i,j}</math>.<br>(2) Форма <math>\biggl(\!\begin{align}\mathcal M\times\mathcal M&\to\mathbb R\\(l,m)&\mapsto\bigl(\mathrm{tr}\,l\;\mathrm{tr}\,m-\mathrm{tr}\,(l\,m)\bigr)/2\end{align}\!\biggr)</math> определяет на <math>\mathcal M</math> структуру пространства Минковского, и <math>(\mathrm{id_2},\sigma_1,\sigma_2,\sigma_3)\in\mathrm{OnOB}(\mathcal M)</math>.<br>(3) Обозначая через <math>\mathcal E</math> подпространство <math>\langle\mathrm{id}_2\rangle^\perp\!</math> в <math>\mathcal M</math>, имеем следующие факты: <math>\mathcal E=\mathcal M\cap\mathfrak{sl}(2,\mathbb C)=\mathrm i\;\mathfrak{su}(2)</math>, сужение формы из пункта (2), взятое с<br>противоположным знаком, определяет на <math>\mathcal E</math> структуру евклидова пространства, и <math>(\sigma_1,\sigma_2,\sigma_3)\in\mathrm{OnOB}(\mathcal E)</math>, а также <math>\forall\,u\in\mathcal E\;\bigl(u^2=\|u\|^2\,\mathrm{id}_2\bigr)</math>.</i>
+
<li>Утверждение: <i><math>\sigma_i\,\sigma_j=\delta_{i,j}\,\mathrm{id_2}+\sum_{k=1}^3\mathrm i\,\varepsilon_{i,j,k}\,\sigma_k{}</math>, <math>\mathrm{tr}(\sigma_i\,\sigma_j)=2\,\delta_{i,j}{}</math> и <math>[\sigma_i,\sigma_j]=\sum_{k=1}^32\,\mathrm i\,\varepsilon_{i,j,k}\,\sigma_k{}</math></i>. Теорема о спинорной модели пространства Минковского.
 +
<p><u>Теорема о спинорной модели пространства Минковского.</u><br><i>(1) Форма <math>\biggl(\!\begin{align}\mathcal M\times\mathcal M&\to\mathbb R\\(l,m)&\mapsto\bigl(\mathrm{tr}\,l\;\mathrm{tr}\,m-\mathrm{tr}(l\,m)\bigr)/2\end{align}\!\biggr){}</math> определяет на <math>\mathcal M</math> структуру пространства Минковского, и <math>(\mathrm{id_2},\sigma_1,\sigma_2,\sigma_3)\in\mathrm{OnOB}(\mathcal M)</math>.<br>(2) Обозначая через <math>\mathcal E</math> подпространство <math>\langle\mathrm{id}_2\rangle^\perp\!</math> в <math>\mathcal M</math>, имеем следующие факты: <math>\mathcal E=\mathcal M\cap\mathfrak{sl}(2,\mathbb C)=\mathrm i\;\mathfrak{su}(2)</math>, сужение формы из пункта (1), взятое с<br>противоположным знаком, определяет на <math>\mathcal E</math> структуру евклидова пространства, и <math>(\sigma_1,\sigma_2,\sigma_3)\in\mathrm{OnOB}(\mathcal E)</math>, а также <math>\forall\,u\in\mathcal E\;\bigl(u^2=\|u\|^2\,\mathrm{id}_2\bigr)</math>.</i></p>
 
<li>Утверждение: <math>\forall\,\varphi\in\mathbb R,\,u\in\mathcal E\;\bigl(\|u\|=1\,\Rightarrow\,\mathrm e^{\varphi\,u}\!=\mathrm{ch}\,\varphi\;\mathrm{id}_2+\mathrm{sh}\,\varphi\;u\,\land\,\mathrm e^{\varphi\,\mathrm i\,u}\!=\cos\varphi\;\mathrm{id}_2+\sin\varphi\;\mathrm i\,u\bigr)</math>. Теорема о бустах и поворотах (эскиз доказ.-ва).
 
<li>Утверждение: <math>\forall\,\varphi\in\mathbb R,\,u\in\mathcal E\;\bigl(\|u\|=1\,\Rightarrow\,\mathrm e^{\varphi\,u}\!=\mathrm{ch}\,\varphi\;\mathrm{id}_2+\mathrm{sh}\,\varphi\;u\,\land\,\mathrm e^{\varphi\,\mathrm i\,u}\!=\cos\varphi\;\mathrm{id}_2+\sin\varphi\;\mathrm i\,u\bigr)</math>. Теорема о бустах и поворотах (эскиз доказ.-ва).
 
<p><u>Теорема о бустах и поворотах.</u> <i>Пусть <math>\varphi\in\mathbb R</math>, <math>u\in\mathcal E</math> и <math>\|u\|=1</math>; тогда <math>\biggl(\!\begin{align}\mathcal M&\to\mathcal M\\l&\mapsto\mathrm e^{\varphi\,u}\,l\,\mathrm e^{\varphi\,u}\!\end{align}\!\biggr)</math> — буст в <math>\mathcal M</math> с быстротой <math>2\,\varphi</math> вдоль оси с направляющим<br>вектором <math>u</math>, и <math>\biggl(\!\begin{align}\mathcal M&\to\mathcal M\\l&\mapsto\mathrm e^{-\varphi\,\mathrm i\,u}\,l\,\mathrm e^{\varphi\,\mathrm i\,u}\!\end{align}\!\biggr)</math> — поворот в <math>\mathcal M</math> на угол <math>2\,\varphi</math> вокруг оси с направляющим вектором <math>u</math>.</i></p>
 
<p><u>Теорема о бустах и поворотах.</u> <i>Пусть <math>\varphi\in\mathbb R</math>, <math>u\in\mathcal E</math> и <math>\|u\|=1</math>; тогда <math>\biggl(\!\begin{align}\mathcal M&\to\mathcal M\\l&\mapsto\mathrm e^{\varphi\,u}\,l\,\mathrm e^{\varphi\,u}\!\end{align}\!\biggr)</math> — буст в <math>\mathcal M</math> с быстротой <math>2\,\varphi</math> вдоль оси с направляющим<br>вектором <math>u</math>, и <math>\biggl(\!\begin{align}\mathcal M&\to\mathcal M\\l&\mapsto\mathrm e^{-\varphi\,\mathrm i\,u}\,l\,\mathrm e^{\varphi\,\mathrm i\,u}\!\end{align}\!\biggr)</math> — поворот в <math>\mathcal M</math> на угол <math>2\,\varphi</math> вокруг оси с направляющим вектором <math>u</math>.</i></p>

Версия 21:00, 14 августа 2018

Подробный план первой половины третьего семестра курса алгебры

11   Линейные операторы (часть 2)

11.1  Многочлены и ряды от линейных операторов
  • Эвалюация — гомоморфизм. Алгебра, порожденная лин. оператором : .
  • Минимальный многочлен лин. оператора : , нормирован, ; .
  • Теорема Гамильтона–Кэли. Нильпотентный лин. оператор: . Утверждение: пусть — нильпот. лин. оператор; тогда .

    Теорема Гамильтона–Кэли. Пусть — поле, — векторное пространство над полем , и ; тогда .

  • Кратности: (алгебраич. кратность), . Теорема о минимальном многочлене.

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

  • Теорема о ядрах многочленов от линейного оператора. Пусть — поле, — векторное пространство над полем и ; тогда
    (1) если , то (то есть -инвариантное подпространство);
    (2) если и делит , то ;
    (3) если , и многочлены попарно взаимно просты, то
    (и, значит, ).
  • Проектор (идемпотент): (). Отражение: (, если ).
  • Ряд от лин. оператора ( — нормир. пр.-во): . Достат. условие сходимости ( — банах. пр.-во, ): .
  • Экспонента от непрерывного линейн. оператора в банах. пр.-ве: . Пример: . Теорема о свойствах экспоненты.

    Теорема о свойствах экспоненты.
    Пусть — банахово пр.-во; тогда для любых выполнено , а также и .

11.2  Собственные, обобщенные собственные и корневые подпространства линейного оператора
  • Собственные подпространства: ; геометрическая кратность: . Лемма о собственных подпространствах.

    Лемма о собственных подпространствах. Пусть — поле, — векторное пространство над полем , , , и
    попарно различны; тогда
    (1) ;
    (2) если и — независимые множества, то — независимое множество;
    (3) если , то для любых выполнено .

  • Теорема о диагонализации линейных операторов. Пусть — поле, — векторное пространство над полем , и ; тогда
    следующие утверждения эквивалентны:
    (у1) существует такой упорядоченный базис , что — диагональная матрица;
    (у2) (то есть многочлен раскладывается без кратностей в произведение многочленов степени в );
    (у3) (то есть пространство раскладывается в прямую сумму собственных подпространств линейного оператора );
    (у4) .
  • Обобщенные собственные подпростр.-ва: ; относительные геометрич. кратности: .
  • Жорданова клетка: . Пример: если , то и .
  • Теорема об обобщенных собственных подпространствах. Пусть — поле, — вект. пр.-во над , , и ; тогда
    (1) для любых выполнено и, если , то ;
    (2) для любых выполнено ;
    (3) и .
  • Корневые подпространства: . Нильпотентные части линейного оператора : .
  • Теорема о прямой сумме корневых подпространств. Пусть — поле, — вект. пр.-во над , , и многочлен расклад.-ся в
    произв.-е многочленов степени в (если , то это условие выполнено для любых в силу алгебр. замкнутости поля ); тогда
    (1) (то есть пространство раскладывается в прямую сумму корневых подпространств линейного оператора );
    (2) для любых выполнено (и, значит, — нильпотентный линейный оператор) и .
11.3  Жорданова нормальная форма линейного оператора
  • — независимое мн.-во относит.-но : . — порождающее мн.-во относит.-но : .
  • Базис в относительно — независ. и порожд. подмн.-во в относительно . Две теоремы об относительных базисах (без подробных доказательств).

    Теорема 1 об относительных базисах. Пусть — поле, — вект. пр.-во над , и ; тогда следующие утверждения эквивалентны:
    (у1) — базис пространства относительно ;
    (у2) — независимое множество и (и, значит, если , то );
    (у3) для любого вектора существуют единственные такие и , что ;
    (у4) — максимальное независимое множество относительно ;
    (у5) — минимальное порождающее множество относительно .

    Теорема 2 об относительных базисах. Пусть — поле, — векторное пространство над полем , и ; тогда
    (1) любое независимое подмножество в относительно можно дополнить до базиса в относительно ;
    (2) из любого порождающего подмножества в относительно можно выделить базис в относительно .

  • Теорема об относительно независимых подмножествах в ядрах степеней линейного оператора. Пусть — поле, — вект. простр.-во над полем и
    , а также , , и ; тогда
    (1) если — независимое подмножество в относительно , то — инъекция и — независимое подмножество в относительно ;
    (2) если , то .
  • Диаграммы Юнга. Жорданов блок: — прямая сумма жордановых клеток , где — длины строк диаграммы Юнга .
  • Диаграмма Юнга : высоты столбцов диаграммы — относительные геометрич. кратности . Корректность опред.-я.
  • Теорема о жордановой нормальной форме. Пусть — поле, — вект. пр.-во над , , и многочлен раскладывается в
    произведение многочленов степени в (если , то это условие выполнено для любых в силу алгебр. замкнутости поля );
    тогда существует такой упорядоченный базис , что — прямая сумма жордановых блоков по всем .
  • Вычисление рядов от лин. операторов при помощи жордановой нормальной формы. Утверждение: .
  • Утверждение: , и , а также . Теорема об экспоненте, группах матриц и матричных алгебрах Ли.

    Теорема об экспоненте, группах матриц и матричных алгебрах Ли. Пусть и ; обозначим через кривую ; тогда
    (1) если , то , и, если , то ;
    (2) если , то , а также, если , то , и, если , то .

12   Линейные операторы и ¯-билинейные формы

12.1  Автоморфизмы пространств с формой, ортогональные и унитарные операторы и матрицы
  • Группа автоморфизмов простр.-ва с ¯-билинейной формой: .
  • Утверждение: пусть и , или и ; тогда .
  • Ортогональная группа ( — вект. пр. над , ): ; унитарная группа ( — вект. пр. над , ): .
  • Лемма об автоморфизмах пространств с формой и матрицах.
    (1) Пусть — поле с инволюцией, — векторное пространство над полем , , , и ; тогда
    и, если форма невырождена, то условие "" можно убрать.
    (2) Пусть — псевдоевклидово пространство сигнатуры и ; тогда .
    (3) Пусть — псевдоунитарное пространство сигнатуры и ; тогда .
  • Матричные ортогонал. группы: , , и .
  • Матричные унитарные группы: , , и .
  • Примеры: , и .
  • Группа изометрий предгильбертова пр.-ва: . Теорема об описании изометрий.

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

12.2  Симметричные, антисимметричные, положительно определенные и нормальные операторы
  • Простр.-во симметричных операторов: ; условие в коорд.: .
  • Простр.-во антисимм. операторов: ; условие в коорд.: .
  • Множество положит. определ. операторов (, или ): .
  • Пример: , и ; тогда — полож. определенный оператор.
  • Линейный оператор, сопряженный к линейному оператору ( невырождена): ().
  • Сопряженный оператор в координатах: . Теорема о свойствах сопряжения. Лемма о сопряжении и ортогональном дополнении.

    Теорема о свойствах сопряжения. Пусть — поле с инволюцией, — вект. простр.-во над полем , и форма невырождена; тогда
    (1) для любых и выполнено , и (и, значит, отобр.-е
    ¯-антиэндоморфизм -алгебры ), а также и ;
    (2) , и .

    Лемма о сопряжении и ортогональном дополнении. Пусть — поле с инволюцией, — вект. пр.-во над , , форма невырождена,
    и ; тогда , а также и .

  • Форма, связанная с линейным оператором : . Форма в коорд.: . Лемма о форме, связанной с оператором.

    Лемма о форме, связанной с оператором. Пусть — поле с инволюцией, — векторное пространство над полем и ; тогда
    (1) если форма невырождена, то отображение — изоморфизм векторных пространств;
    (2) и ;
    (3) если или , то .

  • Множество нормальных операторов ( невырождена): ; условие в коорд. (): .
12.3  Спектральная теория в унитарных пространствах
  • Теорема о собственных векторах нормального оператора. Пусть — евклидово или унитарное пространство и ; тогда для любых
    выполнено , а также для любых таких , что , выполнено .
  • Спектральная теорема для унитарных пространств. Пусть — унитарное пространство и ; тогда
    (1) — диагональная матрица;
    (2) — диагональная матрица с числами вида , где , на диагонали;
    (3) — диагональная матрица с вещественными числами на диагонали;
    (4) — диагональная матрица с числами вида , где , на диагонали;
    (5) — диагональная матрица с положительными числами на диагонали.
  • Следствие из спектральной теоремы для унитарных пространств. Пусть — унитарное пространство и ; тогда
    , , , .
  • Матричная формулировка спектральной теоремы для унитарных пространств. Пусть и ; тогда
    (1) — диагональная матрица;
    (2) — диагональная матрица с числами вида , где , на диагонали;
    (3) — диагональная матрица с вещественными числами на диагонали;
    (4) — диагональная матрица с числами вида , где , на диагонали;
    (5) — диагональная матрица с положительными числами на диагонали.
  • Теорема о спектральном разложении. Пусть — унитарное пр.-во и ; для любых обозначим через оператор ; тогда
    (1) для любых таких , что , вып.-но и , а также , и ;
    (2) если для любых заданы операторы , удовлетворяющие условиям из пункта (1), то для любых выполнено ;
    (3) для любых выполнено , а также .
  • Теорема о собственных числах и собственных векторах унитарных, симметричных, антисимметричных и положительно определенных операторов.
    Пусть — предгильбертово пространство над полем и ; тогда для любого собственного числа оператора
    выполнено , , , , а также для любых различных
    собственных чисел и оператора выполнено .
  • Ортогональные многочлены как собственные функции формально самосопряженных дифференциальных операторов (см. пункт 10 в § 8 части 2 в [5]).
12.4  Спектральная теория в евклидовых пространствах
  • Препятствия к диагонализ.-и над . -Диагональная матрица — блочно-диаг. матр. над с блоками разм. и блоками , где и .
  • -Спектр линейного оператора в конечномерном простр.-ве над : . Пример: .
  • Лемма о линейном операторе с пустым спектром над полем R. Пусть — евклидово пространство, , и ; тогда
    (1) существует такое подпространство пространства , что , и, если , то ;
    (2) если , то для любых выполнено .
  • Спектральная теорема для евклидовых пространств. Пусть — евклидово пространство и ; тогда
    (1) -диагональная матрица;
    (2) -диагон. матрица с числами , и блоками вида , где , на диагонали;
    (3) — диагональная матрица;
    (4) -диагональная матрица с числом и блоками вида , где , на диагонали;
    (5) — диагональная матрица с положительными числами на диагонали.
  • Следствие из спектральной теоремы для евклидовых пространств. Пусть — евклидово пространство и ; тогда
    , , , .
  • Матричная формулировка спектральной теоремы для евклидовых пространств. Пусть и ; тогда
    (1) -диагональная матрица;
    (2) -диагон. матрица с числами , и блоками вида , где , на диагонали;
    (3) — диагональная матрица;
    (4) -диагональная матрица с числом и блоками вида , где , на диагонали;
    (5) — диагональная матрица с положительными числами на диагонали.
  • Теорема Эйлера о вращениях. Пусть — евклидово пр.-во с ориентацией, и ; тогда существуют такие и
    , что (и, значит, — оператор поворота на угол вокруг оси с направляющим вектором ).
  • Теорема о симметричных билинейных формах в евклидовом пространстве. Пусть — евклидово пространство, и — линейный оператор,
    соответствующий форме относительно изоморфизма (то есть ); тогда
    (1) в пространстве существует ортонормированный базис, ортогональный относительно формы (то есть );
    (2) множ.-во значений квадр. формы на единичной сфере в (то есть ) равно .
12.5  Специальная ортохронная группа Лоренца
  • Движение со скоростью света: , где (). Теорема о сохранении скорости света. Матричная группа Лоренца: .

    Теорема о сохранении скорости света.
    Пусть ; тогда след. утверждения эквивалентны: (у1) и (у2) , где .

  • Теорема о матричной группе Лоренца.
    (1) Пусть ; тогда , а также .
    (2) Пусть и ; введем следующие обозначения: (), (),
    , () и ; тогда , а также
    и .
    (3) — сюръективный гомоморфизм групп, и — трансверсаль слоев этого гомоморфизма.
    (4) Обозначая через ядро гомоморфизма из пункта (3), имеем след. факты: и .
  • Матричная специальная ортохронная группа Лоренца: . Бусты: . Повороты: .
  • Пр.-во Минковского — псевдоевкл. пр.-во сигнатуры ; (опред.-е не зависит от выбора базиса).
  • Спинорная модель пр.-ва Минковского: — пр.-во эрмит.-х матриц разм. . Матрицы Паули: , , .
  • Утверждение: , и . Теорема о спинорной модели пространства Минковского.

    Теорема о спинорной модели пространства Минковского.
    (1) Форма определяет на структуру пространства Минковского, и .
    (2) Обозначая через подпространство в , имеем следующие факты: , сужение формы из пункта (1), взятое с
    противоположным знаком, определяет на структуру евклидова пространства, и , а также .

  • Утверждение: . Теорема о бустах и поворотах (эскиз доказ.-ва).

    Теорема о бустах и поворотах. Пусть , и ; тогда — буст в с быстротой вдоль оси с направляющим
    вектором , и — поворот в на угол вокруг оси с направляющим вектором .

  • Спинорные представления: и — изоморфизмы групп (без доказ.-ва).

13   Многообразия (часть 1)

13.1  Определения и конструкции, связанные с многообразиями
  • -Мерная система координат на топол. пр.-ве — гомеоморфизм между откр. мн.-вами в и ; отн.-е согласованности: — диффеоморфизм.
  • -Мерный атлас на — множество попарно согласованных -мерных систем координат на , области определения которых покрывают . Примеры.
  • -Мерное многообразие — хаусдорфово со счетной базой топол. пр.-во с максимальным -мерным атласом . Примеры: , откр. мн.-ва в , .
  • Отобр. между многообр. и гладкое в , если существ. такие и , что , и отобр. гладкое в .
  • Утверждение: гладкость отображения не зависит от выбора систем координат. Мн.-во гладких отображений между многообр.-ми и : .
  • — множество кривых, проходящих через . -алгебра функций.
  • Скорость в координатах (, , , ): и .
  • Обозн.-я: и ; тогда и . Лемма о замене координат.

    Лемма о замене координат. Пусть — многообразие, , , , и ; тогда
    (1) (это матричная запись) и (это покомпонентная запись);
    (2) (то есть равенство скоростей кривых в координатах не зависит от выбора системы координат).

13.2  Касательные пространства и кокасательные пространства
  • Отнош.-е касания в (): ; инвариантная скорость: .
  • Касательное пр.-во в точке : . Базисные векторы, определяемые системой коорд. : .
  • Теорема о касательном пространстве. Преобразования при замене координат на : и .

    Теорема о касательном пространстве. Пусть — многообразие, , , и ; тогда
    (1) для любых , выбирая такую кривую , что , и обозначая через столбец , имеем следующий факт:
    столбец не зависит от выбора кривой ;
    (2) отображение — биекция; определим на структуру вект. простр.-ва над так, чтобы эта биекция стала изоморфизмом
    вект. простр.-в (то есть ); тогда эта структура не зависит от выбора системы координат;
    (3) множество — базис пространства ;
    (4) для любых выполнено (это формула разложения по базису в ).

  • Кокасательное пр.-во в точке : . Базисные ковекторы, опред. системой коорд. : . Строка коорд. ковектора: .
  • Разложение по базису в : . Преобр.-я при замене координат: и .
  • Теорема о дифференциале функции. Пусть — многообразие, и ; тогда
    (1) для любых , выбирая такую кривую , что , и обозначая через число , имеем следующий
    факт: число не зависит от выбора кривой ;
    (2) для любых и таких , что , выполнено ;
    (3) обозначая через отображение , имеем следующий факт: .
  • Дифференциал в координ.-х: и . Утверждение: .
  • Производная Ли функции вдоль вектора (): . Утверждение: и .