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

Материал из SEWiki
Перейти к: навигация, поиск
 
(не показано 16 промежуточных версий этого же участника)
Строка 6: Строка 6:
 
<ul><li>Эвалюация <math>\biggl(\!\begin{align}\mathrm{eval}_a\colon K[x]&\to\mathrm{End}(V)\\f&\mapsto f(a)\end{align}\!\biggr)</math> — гомоморфизм. Алгебра, порожденная лин. оператором <math>a</math>: <math>K[a]=\{f(a)\mid f\in K[x]\}=\mathrm{Im}\,\mathrm{eval}_a\le\mathrm{End}(V)</math>.
 
<ul><li>Эвалюация <math>\biggl(\!\begin{align}\mathrm{eval}_a\colon K[x]&\to\mathrm{End}(V)\\f&\mapsto f(a)\end{align}\!\biggr)</math> — гомоморфизм. Алгебра, порожденная лин. оператором <math>a</math>: <math>K[a]=\{f(a)\mid f\in K[x]\}=\mathrm{Im}\,\mathrm{eval}_a\le\mathrm{End}(V)</math>.
 
<li>Минимальный многочлен лин. оператора <math>a</math>: <math>\mu_a(a)=0</math>, <math>\mu_a</math> нормирован, <math>\deg\mu_a=\min\{\deg f\mid f\in K[x]\!\setminus\!\{0\}\,\land\,f(a)=0\}</math>; <math>(\mu_a)=\mathrm{Ker}\,\mathrm{eval}_a\trianglelefteq K[x]</math>.
 
<li>Минимальный многочлен лин. оператора <math>a</math>: <math>\mu_a(a)=0</math>, <math>\mu_a</math> нормирован, <math>\deg\mu_a=\min\{\deg f\mid f\in K[x]\!\setminus\!\{0\}\,\land\,f(a)=0\}</math>; <math>(\mu_a)=\mathrm{Ker}\,\mathrm{eval}_a\trianglelefteq K[x]</math>.
<li>Теорема Гамильтона–Кэли. Нильпотентный лин. оператор: <math>\exists\,m\in\mathbb N_0\,\bigl(a^m=0\bigr)</math>. Утверждение: <i>пусть <math>a</math> — нильпот. лин. оператор; тогда <math>\chi_a=x^{\dim V}\!{}</math></i>.
+
<li>Теорема Гамильтона–Кэли. Нильпотентный лин. оператор: <math>\exists\,m\in\mathbb N_0\,\bigl(a^m=0\bigr)</math>. Утверждение: <i>пусть <math>a</math> — нильпот. лин. оператор; тогда <math>\chi_a=x^{\dim V}</math></i>.
 
<p><u>Теорема Гамильтона–Кэли.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — векторное пространство над полем <math>K</math>, <math>\dim V<\infty</math> и <math>a\in\mathrm{End}(V)</math>; тогда <math>\chi_a(a)=0</math>.</i></p>
 
<p><u>Теорема Гамильтона–Кэли.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — векторное пространство над полем <math>K</math>, <math>\dim V<\infty</math> и <math>a\in\mathrm{End}(V)</math>; тогда <math>\chi_a(a)=0</math>.</i></p>
<li>Кратности: <math>\alpha(a,c)=\max\{k\in\mathbb N_0\!\mid(x-c)^k\,|\,\chi_a\}</math> (алгебраич. кратность), <math>\beta(a,c)=\max\{k\in\mathbb N_0\!\mid(x-c)^k\,|\,\mu_a\}</math>. Теорема о минимальном многочлене.
+
<li>Алгебраическая и безымянная кратности: <math>\alpha(a,c)</math> и <math>\beta(a,c)</math> — кратности <math>c</math> как корня многочлена <math>\chi_a</math> и многочлена <math>\mu_a</math>. Теорема о минимальном многочлене.
 
<p><u>Теорема о минимальном многочлене.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — векторное пространство над полем <math>K</math>, <math>\dim V<\infty</math> и <math>a\in\mathrm{End}(V)</math>; тогда <math>\mu_a</math> делит <math>\chi_a</math><br>(и, значит, для любых <math>c\in K</math> выполнено <math>\beta(a,c)\le\alpha(a,c)</math>), а также <math>\,\mathrm{Spec}(a)=\{c\in K\mid\mu_a(c)=0\}</math>.</i></p>
 
<p><u>Теорема о минимальном многочлене.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — векторное пространство над полем <math>K</math>, <math>\dim V<\infty</math> и <math>a\in\mathrm{End}(V)</math>; тогда <math>\mu_a</math> делит <math>\chi_a</math><br>(и, значит, для любых <math>c\in K</math> выполнено <math>\beta(a,c)\le\alpha(a,c)</math>), а также <math>\,\mathrm{Spec}(a)=\{c\in K\mid\mu_a(c)=0\}</math>.</i></p>
<li><u>Теорема о ядрах многочленов от линейного оператора.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — векторное пространство над полем <math>K</math> и <math>a\in\mathrm{End}(V)</math>; тогда<br>(1) если <math>f\in K[x]</math>, то <math>a\bigl(\mathrm{Ker}\,f(a)\bigr)\subseteq\mathrm{Ker}\,f(a)</math> (то есть <math>\mathrm{Ker}\,f(a)</math> — <math>a</math>-инвариантное подпространство);<br>(2) если <math>f,g\in K[x]</math> и <math>f</math> делит <math>g</math>, то <math>\,\mathrm{Ker}\,f(a)\subseteq\mathrm{Ker}\,g(a)</math>;<br>(3) если <math>k\in\mathbb N_0</math>, <math>f_1,\ldots,f_k\in K[x]</math> и многочлены <math>f_1,\ldots,f_k</math> попарно взаимно просты, то <math>\,\mathrm{Ker}\,(f_1\cdot\ldots\cdot f_k)(a)=\mathrm{Ker}\,f_1(a)\oplus\ldots\oplus\mathrm{Ker}\,f_k(a)</math><br>(и, значит, <math>(f_1\cdot\ldots\cdot f_k)(a)=0\;\Leftrightarrow\,V=\mathrm{Ker}\,f_1(a)\oplus\ldots\oplus\mathrm{Ker}\,f_k(a)</math>).</i>
+
<li><u>Теорема о ядрах многочленов от линейного оператора.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — векторное пространство над полем <math>K</math> и <math>a\in\mathrm{End}(V)</math>; тогда<br>(1) если <math>f\in K[x]</math>, то <math>a\bigl(\mathrm{Ker}\,f(a)\bigr)\subseteq\mathrm{Ker}\,f(a)</math> (то есть <math>\mathrm{Ker}\,f(a)</math> — <math>a</math>-инвариантное подпространство в <math>V</math>);<br>(2) если <math>f,g\in K[x]</math> и <math>f</math> делит <math>g</math>, то <math>\,\mathrm{Ker}\,f(a)\subseteq\mathrm{Ker}\,g(a)</math>;<br>(3) если <math>k\in\mathbb N_0</math>, <math>f_1,\ldots,f_k\in K[x]</math> и многочлены <math>f_1,\ldots,f_k</math> попарно взаимно просты, то <math>\,\mathrm{Ker}\,(f_1\cdot\ldots\cdot f_k)(a)=\mathrm{Ker}\,f_1(a)\oplus\ldots\oplus\mathrm{Ker}\,f_k(a)</math><br>(и, значит, <math>(f_1\cdot\ldots\cdot f_k)(a)=0\;\Leftrightarrow\,V=\mathrm{Ker}\,f_1(a)\oplus\ldots\oplus\mathrm{Ker}\,f_k(a)</math>).</i>
<li>Проектор (идемпотент): <math>a^2=a{}</math> (<math>\Leftrightarrow\,V=\mathrm{Ker}\,(a-\mathrm{id}_V)\oplus\mathrm{Ker}\,a{}</math>). Отражение: <math>a^2=\mathrm{id}_V{}</math> (<math>\Leftrightarrow\,V=\mathrm{Ker}\,(a-\mathrm{id}_V)\oplus\mathrm{Ker}\,(a+\mathrm{id}_V){}</math>, если <math>\mathrm{char}\,K\ne2</math>).
+
<li>Проектор (идемпотент): <math>a^2=a</math> (<math>\Leftrightarrow\,V=\mathrm{Ker}\,(a-\mathrm{id}_V)\oplus\mathrm{Ker}\,a</math>). Отражение: <math>a^2=\mathrm{id}_V</math> (<math>\Leftrightarrow\,V=\mathrm{Ker}\,(a-\mathrm{id}_V)\oplus\mathrm{Ker}\,(a+\mathrm{id}_V)</math>, если <math>\mathrm{char}\,K\ne2</math>).
<li>Ряд от лин. оператора <math>a</math> (<math>V</math> — нормир. пр.-во): <math>\sum_{k=0}^\infty f_ka^k{}</math>. Достат. условие сходимости (<math>V</math> — банах. пр.-во, <math>a\in\mathrm{End}(V)\cap\mathrm C^0\!(V,V){}</math>): <math>\sum_{k=0}^\infty|f_k|\|a\|^k<\infty{}</math>.
+
<li>Ряд от лин. оператора <math>a</math> (<math>V</math> — нормир. пр.-во): <math>\sum_{k=0}^\infty f_ka^k</math>. Достат. условие сходимости (<math>V</math> — банах. пр.-во, <math>a\in\mathrm{End}(V)\cap\mathrm C^0\!(V,V)</math>): <math>\sum_{k=0}^\infty|f_k|\|a\|^k<\infty</math>.
 
<li>Экспонента от непрерывного линейн. оператора <math>a</math> в банах. пр.-ве: <math>\mathrm e^a\!=\sum_{k=0}^\infty\frac1{k!}\,a^k</math>. Пример: <math>\mathrm e^{\Bigl(\begin{smallmatrix}0&-\varphi\\\varphi&0\end{smallmatrix}\Bigr)}\!=\Bigl(\begin{smallmatrix}\cos\varphi&-\sin\varphi\\\sin\varphi&\cos\varphi\end{smallmatrix}\Bigr)</math>. Теорема о свойствах экспоненты.
 
<li>Экспонента от непрерывного линейн. оператора <math>a</math> в банах. пр.-ве: <math>\mathrm e^a\!=\sum_{k=0}^\infty\frac1{k!}\,a^k</math>. Пример: <math>\mathrm e^{\Bigl(\begin{smallmatrix}0&-\varphi\\\varphi&0\end{smallmatrix}\Bigr)}\!=\Bigl(\begin{smallmatrix}\cos\varphi&-\sin\varphi\\\sin\varphi&\cos\varphi\end{smallmatrix}\Bigr)</math>. Теорема о свойствах экспоненты.
 
<p><u>Теорема о свойствах экспоненты.</u><br><i>Пусть <math>V</math> — банахово пр.-во; тогда для любых <math>a,b\in\mathrm{End}(V)\cap\mathrm C^0\!(V,V)</math> выполнено <math>a\circ b=b\circ a\,\Rightarrow\,\mathrm e^{a+b}\!=\mathrm e^a\!\circ\mathrm e^b</math>, а также <math>\mathrm e^0\!=\mathrm{id}_V\!</math> и <math>\mathrm e^{-a}\!=(\mathrm e^a)^{-1}</math>.</i></p></ul>
 
<p><u>Теорема о свойствах экспоненты.</u><br><i>Пусть <math>V</math> — банахово пр.-во; тогда для любых <math>a,b\in\mathrm{End}(V)\cap\mathrm C^0\!(V,V)</math> выполнено <math>a\circ b=b\circ a\,\Rightarrow\,\mathrm e^{a+b}\!=\mathrm e^a\!\circ\mathrm e^b</math>, а также <math>\mathrm e^0\!=\mathrm{id}_V\!</math> и <math>\mathrm e^{-a}\!=(\mathrm e^a)^{-1}</math>.</i></p></ul>
Строка 21: Строка 21:
 
<li><u>Теорема о диагонализации линейных операторов.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — векторное пространство над полем <math>K</math>, <math>\dim V<\infty</math> и <math>a\in\mathrm{End}(V)</math>; тогда<br>следующие утверждения эквивалентны:<br>(у1) существует такой упорядоченный базис <math>e\in\mathrm{OB}(V)</math>, что <math>a_e^e</math> — диагональная матрица;<br>(у2) <math>\mu_a=\!\!\!\prod_{c\in\mathrm{Spec}(a)}\!\!\!(x-c)</math> (то есть многочлен <math>\mu_a</math> раскладывается без кратностей в произведение многочленов степени <math>1</math> в <math>K[x]</math>);<br>(у3) <math>V=\!\!\!\bigoplus_{c\in\mathrm{Spec}(a)}\!\!\!V_1(a,c)</math> (то есть пространство <math>V</math> раскладывается в прямую сумму собственных подпространств линейного оператора <math>a</math>);<br>(у4) <math>\dim V=\!\!\!\sum_{c\in\mathrm{Spec}(a)}\!\!\!\gamma(a,c)</math>.</i>
 
<li><u>Теорема о диагонализации линейных операторов.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — векторное пространство над полем <math>K</math>, <math>\dim V<\infty</math> и <math>a\in\mathrm{End}(V)</math>; тогда<br>следующие утверждения эквивалентны:<br>(у1) существует такой упорядоченный базис <math>e\in\mathrm{OB}(V)</math>, что <math>a_e^e</math> — диагональная матрица;<br>(у2) <math>\mu_a=\!\!\!\prod_{c\in\mathrm{Spec}(a)}\!\!\!(x-c)</math> (то есть многочлен <math>\mu_a</math> раскладывается без кратностей в произведение многочленов степени <math>1</math> в <math>K[x]</math>);<br>(у3) <math>V=\!\!\!\bigoplus_{c\in\mathrm{Spec}(a)}\!\!\!V_1(a,c)</math> (то есть пространство <math>V</math> раскладывается в прямую сумму собственных подпространств линейного оператора <math>a</math>);<br>(у4) <math>\dim V=\!\!\!\sum_{c\in\mathrm{Spec}(a)}\!\!\!\gamma(a,c)</math>.</i>
 
<li>Обобщенные собственные подпростр.-ва: <math>V_j(a,c)=\mathrm{Ker}\,(a-c\cdot\mathrm{id}_V)^j</math>; относительные геометрич. кратности: <math>\gamma_j(a,c)=\dim V_j(a,c)-\dim V_{j-1}(a,c)</math>.
 
<li>Обобщенные собственные подпростр.-ва: <math>V_j(a,c)=\mathrm{Ker}\,(a-c\cdot\mathrm{id}_V)^j</math>; относительные геометрич. кратности: <math>\gamma_j(a,c)=\dim V_j(a,c)-\dim V_{j-1}(a,c)</math>.
<li>Жорданова клетка: <math>\mathrm{jc}_n(c)=c\cdot\mathrm{id}_n+\mathbf e_1^2+\ldots+\mathbf e_{n-1}^n{}</math>. Пример: если <math>a=\mathrm{jc}_n(c)</math>, то <math>\chi_a=\mu_a=(x-c)^n{}</math> и <math>\forall\,j\in\{0,\ldots,n\}\;\bigl(V_j(a,c)=\langle\mathbf e_1,\ldots,\mathbf e_j\rangle\bigr){}</math>.
 
 
<li><u>Теорема об обобщенных собственных подпространствах.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — вект. пр.-во над <math>K</math>, <math>\dim V<\infty</math>, <math>a\in\mathrm{End}(V)</math> и <math>c\in K</math>; тогда<br>(1) для любых <math>j\in\mathbb N_0</math> выполнено <math>V_j(a,c)\subseteq V_{j+1}(a,c)</math> и, если <math>V_j(a,c)=V_{j+1}(a,c)</math>, то <math>V_{j+1}(a,c)=V_{j+2}(a,c)</math>;<br>(2) для любых <math>j\in\mathbb N_0</math> выполнено <math>\beta(a,c)\le j\;\Leftrightarrow\,V_{\beta(a,c)}(a,c)=V_j(a,c)</math>;<br>(3) <math>\{0\}\subset V_1(a,c)\subset\ldots\subset V_{\beta(a,c)-1}(a,c)\subset V_{\beta(a,c)}(a,c)</math> и <math>V_{\beta(a,c)}(a,c)=V_{\beta(a,c)+1}(a,c)=\ldots=V_{\alpha(a,c)}(a,c)=\ldots</math>.</i>
 
<li><u>Теорема об обобщенных собственных подпространствах.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — вект. пр.-во над <math>K</math>, <math>\dim V<\infty</math>, <math>a\in\mathrm{End}(V)</math> и <math>c\in K</math>; тогда<br>(1) для любых <math>j\in\mathbb N_0</math> выполнено <math>V_j(a,c)\subseteq V_{j+1}(a,c)</math> и, если <math>V_j(a,c)=V_{j+1}(a,c)</math>, то <math>V_{j+1}(a,c)=V_{j+2}(a,c)</math>;<br>(2) для любых <math>j\in\mathbb N_0</math> выполнено <math>\beta(a,c)\le j\;\Leftrightarrow\,V_{\beta(a,c)}(a,c)=V_j(a,c)</math>;<br>(3) <math>\{0\}\subset V_1(a,c)\subset\ldots\subset V_{\beta(a,c)-1}(a,c)\subset V_{\beta(a,c)}(a,c)</math> и <math>V_{\beta(a,c)}(a,c)=V_{\beta(a,c)+1}(a,c)=\ldots=V_{\alpha(a,c)}(a,c)=\ldots</math>.</i>
 
<li>Корневые подпространства: <math>V(a,c)=V_{\beta(a,c)}(a,c)=V_{\alpha(a,c)}(a,c)</math>. Нильпотентные части линейного оператора <math>a</math>: <math>\mathrm{nil}(a,c)=a|_{V(a,c)\to V(a,c)}\!-c\cdot\mathrm{id}_{V(a,c)}</math>.
 
<li>Корневые подпространства: <math>V(a,c)=V_{\beta(a,c)}(a,c)=V_{\alpha(a,c)}(a,c)</math>. Нильпотентные части линейного оператора <math>a</math>: <math>\mathrm{nil}(a,c)=a|_{V(a,c)\to V(a,c)}\!-c\cdot\mathrm{id}_{V(a,c)}</math>.
<li><u>Теорема о прямой сумме корневых подпространств.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — вект. пр.-во над <math>K</math>, <math>\dim V<\infty</math>, <math>a\in\mathrm{End}(V)</math> и многочлен <math>\chi_a</math> расклад.-ся в<br>произв.-е многочленов степени <math>1</math> в <math>K[x]</math> (если <math>K=\mathbb C</math>, то это условие выполнено для любых <math>a\in\mathrm{End}(V)</math> в силу алгебр. замкнутости поля <math>\,\mathbb C</math>); тогда<br>(1) <math>V=\!\!\!\bigoplus_{c\in\mathrm{Spec}(a)}\!\!\!V(a,c)</math> (то есть пространство <math>V</math> раскладывается в прямую сумму корневых подпространств линейного оператора <math>a</math>);<br>(2) для любых <math>c\in K</math> выполнено <math>\mathrm{nil}(a,c)^{\beta(a,c)}\!=0</math> (и, значит, <math>\mathrm{nil}(a,c)</math> — нильпотентный линейный оператор) и <math>\dim V(a,c)=\alpha(a,c)</math>.</i></ul>
+
<li><u>Теорема о прямой сумме корневых подпространств.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — вект. пр.-во над <math>K</math>, <math>\dim V<\infty</math>, <math>a\in\mathrm{End}(V)</math> и многочлен <math>\chi_a</math> расклад.-ся в<br>произв.-е многочленов степени <math>1</math> в <math>K[x]</math> (если <math>K=\mathbb C</math>, то это условие выполнено для любых <math>a\in\mathrm{End}(V)</math> в силу алгебр. замкнутости поля <math>\,\mathbb C</math>); тогда<br>(1) <math>V=\!\!\!\bigoplus_{c\in\mathrm{Spec}(a)}\!\!\!V(a,c)</math> (то есть пространство <math>V</math> раскладывается в прямую сумму корневых подпространств линейного оператора <math>a</math>);<br>(2) для любых <math>c\in K</math> выполнено <math>\mathrm{nil}(a,c)^{\beta(a,c)}\!=0</math> (и, значит, <math>\mathrm{nil}(a,c)</math> — нильпотентный линейный оператор) и <math>\dim V(a,c)=\alpha(a,c)</math>.</i>
 +
<li>Жорданова клетка: <math>\mathrm{jc}_n(c)=c\cdot\mathrm{id}_n+\mathbf e_1^2+\ldots+\mathbf e_{n-1}^n</math>. Пример: если <math>a=\mathrm{jc}_n(c)</math>, то <math>\chi_a=\mu_a=(x-c)^n</math> и <math>\forall\,j\in\{0,\ldots,n\}\;\bigl(V_j(a,c)=\langle\mathbf e_1,\ldots,\mathbf e_j\rangle\bigr)</math>.</ul>
  
 
<h5>11.3&nbsp; Жорданова нормальная форма линейного оператора</h5>
 
<h5>11.3&nbsp; Жорданова нормальная форма линейного оператора</h5>
 
<ul><li><math>C</math> — независимое мн.-во относит.-но <math>U</math>: <math>\forall\,f\in\mathrm{FinFunc}(C,K)\;\bigl(\sum_{c\in C}f(c)\,c\in U\,\Rightarrow f=0\bigr)</math>. <math>D</math> — порождающее мн.-во относит.-но <math>U</math>: <math>V=U+\langle D\rangle</math>.
 
<ul><li><math>C</math> — независимое мн.-во относит.-но <math>U</math>: <math>\forall\,f\in\mathrm{FinFunc}(C,K)\;\bigl(\sum_{c\in C}f(c)\,c\in U\,\Rightarrow f=0\bigr)</math>. <math>D</math> — порождающее мн.-во относит.-но <math>U</math>: <math>V=U+\langle D\rangle</math>.
<li>Базис в <math>V</math> относительно <math>U</math> — независ. и порожд. подмн.-во в <math>V</math> относительно <math>U</math>. Две теоремы об относительных базисах (без подробных доказательств).
+
<li>Базис относительно <math>U</math> — независимое и порождающее множ.-во относительно <math>U</math>. Две теоремы об относительных базисах (без подробных доказательств).
<p><u>Теорема 1 об относительных базисах.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — вект. пр.-во над <math>K</math>, <math>U\le V</math> и <math>E\subseteq V</math>; тогда следующие утверждения эквивалентны:<br>(у1) <math>E</math> — базис пространства <math>V</math> относительно <math>U</math>;<br>(у2) <math>E</math> — независимое множество и <math>V=U\oplus\langle E\rangle</math> (и, значит, если <math>\dim V<\infty</math>, то <math>|E|=\dim V-\dim U</math>);<br>(у3) для любого вектора <math>v\in V</math> существуют единственные такие <math>u\in U</math> и <math>f\in\mathrm{FinFunc}(E,K)</math>, что <math>v=u+\sum_{e\in E}f(e)\,e</math>;<br>(у4) <math>E</math> — максимальное независимое множество относительно <math>U</math>;<br>(у5) <math>E</math> — минимальное порождающее множество относительно <math>U</math>.</i></p>
+
<p><u>Первая теорема об относительных базисах.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — вект. пр.-во над <math>K</math>, <math>U\le V</math> и <math>E\subseteq V</math>; тогда следующие утверждения эквивалентны:<br>(у1) <math>E</math> — базис пространства <math>V</math> относительно <math>U</math>;<br>(у2) <math>E</math> — независимое множество и <math>V=U\oplus\langle E\rangle</math> (и, значит, если <math>\dim V<\infty</math>, то <math>|E|=\dim V-\dim U</math>);<br>(у3) для любого вектора <math>v\in V</math> существуют единственные такие <math>u\in U</math> и <math>f\in\mathrm{FinFunc}(E,K)</math>, что <math>v=u+\sum_{e\in E}f(e)\,e</math>;<br>(у4) <math>E</math> — максимальное независимое множество относительно <math>U</math>;<br>(у5) <math>E</math> — минимальное порождающее множество относительно <math>U</math>.</i></p>
<p><u>Теорема 2 об относительных базисах.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — векторное пространство над полем <math>K</math>, <math>\dim V<\infty</math> и <math>U\le V</math>; тогда<br>(1) любое независимое подмножество в <math>V</math> относительно <math>U</math> можно дополнить до базиса в <math>V</math> относительно <math>U</math>;<br>(2) из любого порождающего подмножества в <math>V</math> относительно <math>U</math> можно выделить базис в <math>V</math> относительно <math>U</math>.</i></p>
+
<p><u>Вторая теорема об относительных базисах.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — векторное пространство над полем <math>K</math>, <math>\dim V<\infty</math> и <math>U\le V</math>; тогда<br>(1) любое независимое подмножество в <math>V</math> относительно <math>U</math> можно дополнить до базиса в <math>V</math> относительно <math>U</math>;<br>(2) из любого порождающего подмножества в <math>V</math> относительно <math>U</math> можно выделить базис в <math>V</math> относительно <math>U</math>.</i></p>
<li><u>Теорема об относительно независимых подмножествах в ядрах степеней линейного оператора.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — вект. простр.-во над полем <math>K</math> и<br><math>a\in\mathrm{End}(V)</math>, а также <math>j\in\mathbb N</math>, <math>V_{j-1}=\mathrm{Ker}\,a^{j-1}</math>, <math>V_j=\mathrm{Ker}\,a^j</math> и <math>V_{j+1}=\mathrm{Ker}\,a^{j+1}</math>; тогда<br>(1) если <math>C</math> — независимое подмножество в <math>V_{j+1}</math> относительно <math>V_j</math>, то <math>a|_C</math> — инъекция и <math>a(C)</math> — независимое подмножество в <math>V_j</math> относительно <math>V_{j-1}</math>;<br>(2) если <math>\dim V<\infty</math>, то <math>\dim V_j-\dim V_{j-1}\ge\dim V_{j+1}-\dim V_j</math>.</i>
+
<li><u>Теорема об относительных независимых подмножествах в ядрах степеней линейного оператора.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — вект. простр.-во над полем <math>K</math> и<br><math>a\in\mathrm{End}(V)</math>, а также <math>j\in\mathbb N</math>, <math>V_{j-1}=\mathrm{Ker}\,a^{j-1}</math>, <math>V_j=\mathrm{Ker}\,a^j</math> и <math>V_{j+1}=\mathrm{Ker}\,a^{j+1}</math>; тогда<br>(1) если <math>C</math> — независимое подмножество в <math>V_{j+1}</math> относительно <math>V_j</math>, то <math>a|_C</math> — инъекция и <math>a(C)</math> — независимое подмножество в <math>V_j</math> относительно <math>V_{j-1}</math>;<br>(2) если <math>\dim V<\infty</math>, то <math>\dim V_j-\dim V_{j-1}\ge\dim V_{j+1}-\dim V_j</math>.</i>
 
<li>Диаграммы Юнга. Жорданов блок: <math>\mathrm{jb}_\Delta(c)</math> — прямая сумма жордановых клеток <math>\mathrm{jc}_{n_1}\!(c),\ldots,\mathrm{jc}_{n_r}\!(c)</math>, где <math>n_1,\ldots,n_r</math> — длины строк диаграммы Юнга <math>\Delta</math>.
 
<li>Диаграммы Юнга. Жорданов блок: <math>\mathrm{jb}_\Delta(c)</math> — прямая сумма жордановых клеток <math>\mathrm{jc}_{n_1}\!(c),\ldots,\mathrm{jc}_{n_r}\!(c)</math>, где <math>n_1,\ldots,n_r</math> — длины строк диаграммы Юнга <math>\Delta</math>.
 
<li>Диаграмма Юнга <math>\Delta(a,c)</math>: высоты столбцов диаграммы <math>\Delta(a,c)</math> — относительные геометрич. кратности <math>\gamma_1(a,c),\ldots,\gamma_{\beta(a,c)}(a,c)</math>. Корректность опред.-я.
 
<li>Диаграмма Юнга <math>\Delta(a,c)</math>: высоты столбцов диаграммы <math>\Delta(a,c)</math> — относительные геометрич. кратности <math>\gamma_1(a,c),\ldots,\gamma_{\beta(a,c)}(a,c)</math>. Корректность опред.-я.
 
<li><u>Теорема о жордановой нормальной форме.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — вект. пр.-во над <math>K</math>, <math>\dim V<\infty</math>, <math>a\in\mathrm{End}(V)</math> и многочлен <math>\chi_a</math> раскладывается в<br>произведение многочленов степени <math>1</math> в <math>K[x]</math> (если <math>K=\mathbb C</math>, то это условие выполнено для любых <math>a\in\mathrm{End}(V)</math> в силу алгебр. замкнутости поля <math>\,\mathbb C</math>);<br>тогда существует такой упорядоченный базис <math>e\in\mathrm{OB}(V)</math>, что <math>a_e^e</math> — прямая сумма жордановых блоков <math>\,\mathrm{jb}_{\Delta(a,c)}(c)</math> по всем <math>c\in\mathrm{Spec}(a)</math>.</i>
 
<li><u>Теорема о жордановой нормальной форме.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — вект. пр.-во над <math>K</math>, <math>\dim V<\infty</math>, <math>a\in\mathrm{End}(V)</math> и многочлен <math>\chi_a</math> раскладывается в<br>произведение многочленов степени <math>1</math> в <math>K[x]</math> (если <math>K=\mathbb C</math>, то это условие выполнено для любых <math>a\in\mathrm{End}(V)</math> в силу алгебр. замкнутости поля <math>\,\mathbb C</math>);<br>тогда существует такой упорядоченный базис <math>e\in\mathrm{OB}(V)</math>, что <math>a_e^e</math> — прямая сумма жордановых блоков <math>\,\mathrm{jb}_{\Delta(a,c)}(c)</math> по всем <math>c\in\mathrm{Spec}(a)</math>.</i>
<li>Вычисление рядов от лин. операторов при помощи жордановой нормальной формы. Утверждение: <math>\sum_{k=0}^\infty f_k\,\mathrm{jc}_n(c)^k=\sum_{l=0}^{n-1}\frac1{l!}\Bigl(\sum_{k=l}^\infty\frac{k!}{(k-l)!}f_kc^{k-l}\Bigr)\,\mathrm{jc}_n(0)^l{}</math>.
+
<li>Вычисление рядов от лин. операторов при помощи жордановой нормальной формы. Утверждение: <math>\sum_{k=0}^\infty f_k\,\mathrm{jc}_n(c)^k=\sum_{l=0}^{n-1}\frac1{l!}\Bigl(\sum_{k=l}^\infty\frac{k!}{(k-l)!}f_kc^{k-l}\Bigr)\,\mathrm{jc}_n(0)^l</math>.
<li>Утверждение: <i><math>\det\mathrm e^a\!=\mathrm e^{\mathrm{tr}\,a}</math>, <math>\mathrm e^{a^\mathtt T}\!\!=(\mathrm e^a)^\mathtt T</math> и <math>\,\mathrm e^{\overline a^\mathtt T}\!\!=\bigl(\overline{\mathrm e^a}\bigr)^\mathtt T{}</math>, а также <math>\frac{\mathrm d}{\mathrm d\tau}(\mathrm e^{\tau\,a})=a\cdot\mathrm e^{\tau\,a}{}</math></i>. Теорема об экспоненте, группах матриц и матричных алгебрах Ли.
+
<li>Утверждение: <i><math>\det\mathrm e^a\!=\mathrm e^{\mathrm{tr}\,a}</math>, <math>\mathrm e^{a^\mathtt T}\!\!=(\mathrm e^a)^\mathtt T</math> и <math>\,\mathrm e^{\overline a^\mathtt T}\!\!=\bigl(\overline{\mathrm e^a}\bigr)^\mathtt T</math>, а также <math>\frac{\mathrm d}{\mathrm d\tau}(\mathrm e^{\tau\,a})=a\cdot\mathrm e^{\tau\,a}</math></i>. Теорема об экспоненте, группах матриц и матричных алгебрах Ли.
<p><u>Теорема об экспоненте, группах матриц и матричных алгебрах Ли.</u> <i>Пусть <math>n\in\mathbb N_0</math> и <math>a\in\mathrm{Mat}(n,\mathbb C)</math>; обозначим через <math>\gamma</math> кривую <math>\biggl(\!\begin{align}\mathbb R&\to\mathrm{GL}(n,\mathbb C)\!\\\tau&\mapsto\mathrm e^{\tau\,a}\end{align}\!\biggr){}</math>; тогда<br>(1) если <math>a\in\mathfrak{sl}(n,\mathbb R){}</math>, то <math>\,\mathrm{Im}\,\gamma\subseteq\mathrm{SL}(n,\mathbb R){}</math>, и, если <math>a\in\mathfrak{sl}(n,\mathbb C){}</math>, то <math>\,\mathrm{Im}\,\gamma\subseteq\mathrm{SL}(n,\mathbb C){}</math>;<br>(2) если <math>a\in\mathfrak{so}(n){}</math>, то <math>\,\mathrm{Im}\,\gamma\subseteq\mathrm{SO}(n){}</math>, а также, если <math>a\in\mathfrak u(n){}</math>, то <math>\,\mathrm{Im}\,\gamma\subseteq\mathrm U(n){}</math>, и, если <math>a\in\mathfrak{su}(n){}</math>, то <math>\,\mathrm{Im}\,\gamma\subseteq\mathrm{SU}(n){}</math>.</i></p></ul>
+
<p><u>Теорема об экспоненте, группах матриц и матричных алгебрах Ли.</u> <i>Пусть <math>n\in\mathbb N_0</math> и <math>a\in\mathrm{Mat}(n,\mathbb C)</math>; обозначим через <math>\gamma</math> кривую <math>\biggl(\!\begin{align}\mathbb R&\to\mathrm{GL}(n,\mathbb C)\!\\\tau&\mapsto\mathrm e^{\tau\,a}\end{align}\!\biggr)</math>; тогда<br>(1) если <math>a\in\mathfrak{sl}(n,\mathbb R)</math>, то <math>\,\mathrm{Im}\,\gamma\subseteq\mathrm{SL}(n,\mathbb R)</math>, и, если <math>a\in\mathfrak{sl}(n,\mathbb C)</math>, то <math>\,\mathrm{Im}\,\gamma\subseteq\mathrm{SL}(n,\mathbb C)</math>;<br>(2) если <math>a\in\mathfrak{so}(n)</math>, то <math>\,\mathrm{Im}\,\gamma\subseteq\mathrm{SO}(n)</math>, а также, если <math>a\in\mathfrak u(n)</math>, то <math>\,\mathrm{Im}\,\gamma\subseteq\mathrm U(n)</math>, и, если <math>a\in\mathfrak{su}(n)</math>, то <math>\,\mathrm{Im}\,\gamma\subseteq\mathrm{SU}(n)</math>.</i></p></ul>
  
 
<h3>12&nbsp;&nbsp; Линейные операторы и ¯-билинейные формы</h3>
 
<h3>12&nbsp;&nbsp; Линейные операторы и ¯-билинейные формы</h3>
Строка 54: Строка 54:
 
<ul><li>Простр.-во симметричных операторов: <math>\mathrm{SEnd}(V,\sigma)=\{a\in\mathrm{End}(V)\mid\forall\,v,w\in V\;\bigl(\sigma(a(v),w)=\sigma(v,a(w))\bigr)\}</math>; условие в коорд.: <math>(a_e^e)^\mathtt T\!\cdot\sigma_{e,e}=\sigma_{e,e}\!\cdot\overline{a_e^e}</math>.
 
<ul><li>Простр.-во симметричных операторов: <math>\mathrm{SEnd}(V,\sigma)=\{a\in\mathrm{End}(V)\mid\forall\,v,w\in V\;\bigl(\sigma(a(v),w)=\sigma(v,a(w))\bigr)\}</math>; условие в коорд.: <math>(a_e^e)^\mathtt T\!\cdot\sigma_{e,e}=\sigma_{e,e}\!\cdot\overline{a_e^e}</math>.
 
<li>Простр.-во антисимм. операторов: <math>\mathrm{AEnd}(V,\sigma)=\{a\in\mathrm{End}(V)\mid\forall\,v,w\in V\;\bigl(\sigma(a(v),w)=-\sigma(v,a(w))\bigr)\}</math>; условие в коорд.: <math>(a_e^e)^\mathtt T\!\cdot\sigma_{e,e}=-\sigma_{e,e}\!\cdot\overline{a_e^e}</math>.
 
<li>Простр.-во антисимм. операторов: <math>\mathrm{AEnd}(V,\sigma)=\{a\in\mathrm{End}(V)\mid\forall\,v,w\in V\;\bigl(\sigma(a(v),w)=-\sigma(v,a(w))\bigr)\}</math>; условие в коорд.: <math>(a_e^e)^\mathtt T\!\cdot\sigma_{e,e}=-\sigma_{e,e}\!\cdot\overline{a_e^e}</math>.
<li>Множество положит. определ. операторов (<math>\sigma\in\overline\mathrm{SBi}(V)</math>, <math>K=\mathbb R</math> или <math>K=\mathbb C</math>): <math>\mathrm{SEnd}_{>0}(V,\sigma)=\{a\in\mathrm{SEnd}(V,\sigma)\mid\forall\,v\in V\!\setminus\!\{0\}\;\bigl(\sigma(a(v),v)>0\bigr)\}</math>.
+
<li>Множество полож. определенных операторов (<math>\sigma\in\overline\mathrm{SBi}(V)</math>, <math>K=\mathbb R</math> или <math>K=\mathbb C</math>): <math>\mathrm{SEnd}_{>0}(V,\sigma)=\{a\in\mathrm{SEnd}(V,\sigma)\mid\forall\,v\in V\!\setminus\!\{0\}\;\bigl(\sigma(a(v),v)>0\bigr)\}</math>.
 
<li>Пример: <math>V=\{f\in\mathrm C^\infty\!([\alpha;\beta],\mathbb C)\mid\forall\,k\in\mathbb N_0\,\bigl(f^{(2k)}\!(\alpha)=f^{(2k)}\!(\beta)=0\bigr)\}</math>, <math>\sigma\,\colon(f,g)\mapsto\!\int_\alpha^\beta\!\!f\,\overline g\,</math> и <math>a\,\colon f\mapsto-f''</math>; тогда <math>a</math> — полож. определенный оператор.
 
<li>Пример: <math>V=\{f\in\mathrm C^\infty\!([\alpha;\beta],\mathbb C)\mid\forall\,k\in\mathbb N_0\,\bigl(f^{(2k)}\!(\alpha)=f^{(2k)}\!(\beta)=0\bigr)\}</math>, <math>\sigma\,\colon(f,g)\mapsto\!\int_\alpha^\beta\!\!f\,\overline g\,</math> и <math>a\,\colon f\mapsto-f''</math>; тогда <math>a</math> — полож. определенный оператор.
 
<li>Линейный оператор, сопряженный к линейному оператору <math>a</math> (<math>\sigma</math> невырождена): <math>a^*(v)=\sharp^\sigma\bigl(w\mapsto\sigma(v,a(w))\bigr)</math> (<math>\Leftrightarrow\,\forall\,w\in V\;\bigl(\sigma(a^*(v),w)=\sigma(v,a(w))\bigr)</math>).
 
<li>Линейный оператор, сопряженный к линейному оператору <math>a</math> (<math>\sigma</math> невырождена): <math>a^*(v)=\sharp^\sigma\bigl(w\mapsto\sigma(v,a(w))\bigr)</math> (<math>\Leftrightarrow\,\forall\,w\in V\;\bigl(\sigma(a^*(v),w)=\sigma(v,a(w))\bigr)</math>).
 
<li>Сопряженный оператор в координатах: <math>(a^*)_e^e=\sigma^{e,e}\!\cdot\overline{a_e^e}^\mathtt T\!\!\cdot(\sigma_{e,e})^\mathtt T</math>. Теорема о свойствах сопряжения. Лемма о сопряжении и ортогональном дополнении.
 
<li>Сопряженный оператор в координатах: <math>(a^*)_e^e=\sigma^{e,e}\!\cdot\overline{a_e^e}^\mathtt T\!\!\cdot(\sigma_{e,e})^\mathtt T</math>. Теорема о свойствах сопряжения. Лемма о сопряжении и ортогональном дополнении.
<p><u>Теорема о свойствах сопряжения.</u> <i>Пусть <math>K</math> — поле с инволюцией, <math>V</math> — вект. простр.-во над полем <math>K</math>, <math>\sigma\in\overline\mathrm{SBi}(V)</math> и форма <math>\sigma</math> невырождена; тогда<br>(1) для любых <math>a,b\in\mathrm{End}(V)</math> и <math>c\in K</math> выполнено <math>(a+b)^*\!=a^*\!+b^*</math>, <math>(c\,a)^*\!=\overline c\,a^*</math> и <math>(a\circ b)^*\!=b^*\!\circ a^*</math> (и, значит, отобр.-е <math>\biggl(\!\begin{align}\mathrm{End}(V)&\to\mathrm{End}(V)\\a&\mapsto a^*\end{align}\!\biggr)</math> —<br>¯-антиэндоморфизм <math>K</math>-алгебры <math>\,\mathrm{End}(V)</math>), а также <math>a^{**}\!=a</math> и <math>\,\mathrm{Spec}(a^*)=\overline{\mathrm{Spec}(a)}</math>;<br>(2) <math>\mathrm{Aut}(V,\sigma)=\{a\in\mathrm{GL}(V)\mid a^*\!=a^{-1}\}</math>, <math>\mathrm{SEnd}(V,\sigma)=\{a\in\mathrm{End}(V)\mid a^*\!=a\}</math> и <math>\mathrm{AEnd}(V,\sigma)=\{a\in\mathrm{End}(V)\mid a^*\!=-a\}</math>.</i></p>
+
<p><u>Теорема о свойствах сопряжения.</u> <i>Пусть <math>K</math> — поле с инволюцией, <math>V</math> — вект. простр.-во над полем <math>K</math>, <math>\sigma\in\overline\mathrm{SBi}(V)</math> и форма <math>\sigma</math> невырождена; тогда<br>(1) для любых <math>a,b\in\mathrm{End}(V)</math> и <math>c\in K</math> выполнено <math>(a+b)^*\!=a^*\!+b^*</math>, <math>(c\,a)^*\!=\overline c\,a^*</math> и <math>(a\circ b)^*\!=b^*\!\circ a^*</math> (и, значит, отобр.-е <math>\biggl(\!\begin{align}\mathrm{End}(V)&\to\mathrm{End}(V)\\a&\mapsto a^*\end{align}\!\biggr)</math> —<br>¯-антиэндоморфизм <math>K</math>-алгебры <math>\,\mathrm{End}(V)</math>), а также <math>a^{**}\!=a</math> и <math>\,\mathrm{Spec}(a^*)=\overline{\mathrm{Spec}(a)}</math>;<br>(2) <math>\mathrm{Aut}(V,\sigma)=\{a\in\mathrm{GL}(V)\mid a^*\!=a^{-1}\}</math>, <math>\mathrm{SEnd}(V,\sigma)=\{a\in\mathrm{End}(V)\mid a^*\!=a\}</math> и <math>\,\mathrm{AEnd}(V,\sigma)=\{a\in\mathrm{End}(V)\mid a^*\!=-a\}</math>.</i></p>
 
<p><u>Лемма о сопряжении и ортогональном дополнении.</u> <i>Пусть <math>K</math> — поле с инволюцией, <math>V</math> — вект. пр.-во над <math>K</math>, <math>\sigma\in\overline\mathrm{SBi}(V)</math>, форма <math>\sigma</math> невырождена,<br><math>a\in\mathrm{End}(V)</math> и <math>U\le V</math>; тогда <math>a(U)\subseteq U\,\Rightarrow\,a^*(U^\perp)\subseteq U^\perp</math>, а также <math>\,\mathrm{Ker}\,a^*\!=(\mathrm{Im}\,a)^\perp</math> и <math>\,\mathrm{Im}\,a^*\!\subseteq(\mathrm{Ker}\,a)^\perp\!=(\mathrm{Im}\,a^*)^{\perp\perp}</math>.</i></p>
 
<p><u>Лемма о сопряжении и ортогональном дополнении.</u> <i>Пусть <math>K</math> — поле с инволюцией, <math>V</math> — вект. пр.-во над <math>K</math>, <math>\sigma\in\overline\mathrm{SBi}(V)</math>, форма <math>\sigma</math> невырождена,<br><math>a\in\mathrm{End}(V)</math> и <math>U\le V</math>; тогда <math>a(U)\subseteq U\,\Rightarrow\,a^*(U^\perp)\subseteq U^\perp</math>, а также <math>\,\mathrm{Ker}\,a^*\!=(\mathrm{Im}\,a)^\perp</math> и <math>\,\mathrm{Im}\,a^*\!\subseteq(\mathrm{Ker}\,a)^\perp\!=(\mathrm{Im}\,a^*)^{\perp\perp}</math>.</i></p>
 +
<li>Множество нормальных операторов (<math>\sigma</math> невырождена): <math>\mathrm{NEnd}(V,\sigma)=\{a\in\mathrm{End}(V)\mid a\circ a^*\!=a^*\!\circ a\}</math>; условие в коорд. (<math>\sigma_{e,e}=\mathrm{id}_n</math>): <math>a_e^e\cdot\overline{a_e^e}^\mathtt T\!\!=\overline{a_e^e}^\mathtt T\!\!\cdot a_e^e</math>.
 
<li>Форма, связанная с линейным оператором <math>a</math>: <math>\sigma_a(v,w)=\sigma(a(v),w)</math>. Форма <math>\sigma_a</math> в коорд.: <math>(\sigma_a)_{e,e}=(a_e^e)^\mathtt T\!\cdot\sigma_{e,e}</math>. Лемма о форме, связанной с оператором.
 
<li>Форма, связанная с линейным оператором <math>a</math>: <math>\sigma_a(v,w)=\sigma(a(v),w)</math>. Форма <math>\sigma_a</math> в коорд.: <math>(\sigma_a)_{e,e}=(a_e^e)^\mathtt T\!\cdot\sigma_{e,e}</math>. Лемма о форме, связанной с оператором.
<p><u>Лемма о форме, связанной с оператором.</u> <i>Пусть <math>K</math> — поле с инволюцией, <math>V</math> — векторное пространство над полем <math>K</math> и <math>\sigma\in\overline\mathrm{SBi}(V)</math>; тогда<br>(1) если форма <math>\sigma</math> невырождена, то отображение <math>\biggl(\!\begin{align}\mathrm{End}(V)&\to\overline\mathrm{Bi}(V)\\a&\mapsto\sigma_a\end{align}\!\biggr)</math> — изоморфизм векторных пространств;<br>(2) <math>\mathrm{SEnd}(V,\sigma)=\{a\in\mathrm{End}(V)\mid\sigma_a\!\in\overline{\mathrm{SBi}}(V)\}</math> и <math>\,\mathrm{AEnd}(V,\sigma)=\{a\in\mathrm{End}(V)\mid\sigma_a\!\in\overline{\mathrm{ABi}}(V)\}</math>;<br>(3) если <math>K=\mathbb R</math> или <math>K=\mathbb C</math>, то <math>\,\mathrm{SEnd}_{>0}(V,\sigma)=\{a\in\mathrm{End}(V)\mid\sigma_a\!\in\overline{\mathrm{SBi}}_{>0}(V)\}</math>.</i></p>
+
<p><u>Лемма о форме, связанной с оператором.</u> <i>Пусть <math>K</math> — поле с инволюцией, <math>V</math> — векторное пространство над полем <math>K</math> и <math>\sigma\in\overline\mathrm{SBi}(V)</math>; тогда<br>(1) если форма <math>\sigma</math> невырождена, то отображение <math>\biggl(\!\begin{align}\mathrm{End}(V)&\to\overline\mathrm{Bi}(V)\\a&\mapsto\sigma_a\end{align}\!\biggr)</math> — изоморфизм векторных пространств;<br>(2) <math>\mathrm{SEnd}(V,\sigma)=\{a\in\mathrm{End}(V)\mid\sigma_a\!\in\overline{\mathrm{SBi}}(V)\}</math> и <math>\,\mathrm{AEnd}(V,\sigma)=\{a\in\mathrm{End}(V)\mid\sigma_a\!\in\overline{\mathrm{ABi}}(V)\}</math>;<br>(3) если <math>K=\mathbb R</math> или <math>K=\mathbb C</math>, то <math>\,\mathrm{SEnd}_{>0}(V,\sigma)=\{a\in\mathrm{End}(V)\mid\sigma_a\!\in\overline{\mathrm{SBi}}_{>0}(V)\}</math>.</i></p></ul>
<li>Множество нормальных операторов (<math>\sigma</math> невырождена): <math>\mathrm{NEnd}(V,\sigma)=\{a\in\mathrm{End}(V)\mid a\circ a^*\!=a^*\!\circ a\}</math>; условие в коорд. (<math>\sigma_{e,e}=\mathrm{id}_n</math>): <math>a_e^e\cdot\overline{a_e^e}^\mathtt T\!\!=\overline{a_e^e}^\mathtt T\!\!\cdot a_e^e</math>.</ul>
+
  
 
<h5>12.3&nbsp; Спектральная теория в унитарных пространствах</h5>
 
<h5>12.3&nbsp; Спектральная теория в унитарных пространствах</h5>
<ul><li><u>Теорема о собственных векторах нормального оператора.</u> <i>Пусть <math>V</math> — евклидово или унитарное пространство и <math>a\in\mathrm{NEnd}(V)</math>; тогда для любых<br><math>c\in\mathrm{Spec}(a)</math> выполнено <math>V_1(a,c)=V_1(a^*\!,\overline c)</math>, а также для любых таких <math>c,c'\!\in\mathrm{Spec}(a){}</math>, что <math>c\ne c'</math>, выполнено <math>V_1(a,c)\perp V_1(a,c')</math>.</i>
+
<ul><li><u>Теорема о собственных векторах нормального оператора.</u> <i>Пусть <math>V</math> — евклидово или унитарное пространство и <math>a\in\mathrm{NEnd}(V)</math>; тогда для любых<br><math>c\in\mathrm{Spec}(a)</math> выполнено <math>V_1(a,c)=V_1(a^*\!,\overline c)</math>, а также для любых таких <math>c,c'\!\in\mathrm{Spec}(a)</math>, что <math>c\ne c'</math>, выполнено <math>V_1(a,c)\perp V_1(a,c')</math>.</i>
 
<li><u>Спектральная теорема для унитарных пространств.</u> <i>Пусть <math>V</math> — унитарное пространство и <math>a\in\mathrm{End}(V)</math>; тогда<br>(1) <math>a\in\mathrm{NEnd}(V)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,e\in\mathrm{OnOB}(V)\;</math><math>\bigl(</math><math>a_e^e</math> — диагональная матрица<math>\bigr)</math>;<br>(2) <math>a\in\mathrm U(V)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,e\in\mathrm{OnOB}(V)\;</math><math>\bigl(</math><math>a_e^e</math> — диагональная матрица с числами вида <math>\mathrm e^{\varphi\,\mathrm i}</math>, где <math>\varphi\in[0;2\pi)</math>, на диагонали<math>\bigr)</math>;<br>(3) <math>a\in\mathrm{SEnd}(V)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,e\in\mathrm{OnOB}(V)\;</math><math>\bigl(</math><math>a_e^e</math> — диагональная матрица с вещественными числами на диагонали<math>\bigr)</math>;<br>(4) <math>a\in\mathrm{AEnd}(V)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,e\in\mathrm{OnOB}(V)\;</math><math>\bigl(</math><math>a_e^e</math> — диагональная матрица с числами вида <math>\beta\,\mathrm i</math>, где <math>\beta\in\mathbb R</math>, на диагонали<math>\bigr)</math>;<br>(5) <math>a\in\mathrm{SEnd}_{>0}(V)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,e\in\mathrm{OnOB}(V)\;</math><math>\bigl(</math><math>a_e^e</math> — диагональная матрица с положительными числами на диагонали<math>\bigr)</math>.</i>
 
<li><u>Спектральная теорема для унитарных пространств.</u> <i>Пусть <math>V</math> — унитарное пространство и <math>a\in\mathrm{End}(V)</math>; тогда<br>(1) <math>a\in\mathrm{NEnd}(V)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,e\in\mathrm{OnOB}(V)\;</math><math>\bigl(</math><math>a_e^e</math> — диагональная матрица<math>\bigr)</math>;<br>(2) <math>a\in\mathrm U(V)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,e\in\mathrm{OnOB}(V)\;</math><math>\bigl(</math><math>a_e^e</math> — диагональная матрица с числами вида <math>\mathrm e^{\varphi\,\mathrm i}</math>, где <math>\varphi\in[0;2\pi)</math>, на диагонали<math>\bigr)</math>;<br>(3) <math>a\in\mathrm{SEnd}(V)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,e\in\mathrm{OnOB}(V)\;</math><math>\bigl(</math><math>a_e^e</math> — диагональная матрица с вещественными числами на диагонали<math>\bigr)</math>;<br>(4) <math>a\in\mathrm{AEnd}(V)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,e\in\mathrm{OnOB}(V)\;</math><math>\bigl(</math><math>a_e^e</math> — диагональная матрица с числами вида <math>\beta\,\mathrm i</math>, где <math>\beta\in\mathbb R</math>, на диагонали<math>\bigr)</math>;<br>(5) <math>a\in\mathrm{SEnd}_{>0}(V)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,e\in\mathrm{OnOB}(V)\;</math><math>\bigl(</math><math>a_e^e</math> — диагональная матрица с положительными числами на диагонали<math>\bigr)</math>.</i>
 
<li><u>Следствие из спектральной теоремы для унитарных пространств.</u> <i>Пусть <math>V</math> — унитарное пространство и <math>a\in\mathrm{NEnd}(V)</math>; тогда<br><math>a\in\mathrm U(V)\,\Leftrightarrow\,\mathrm{Spec}(a)\subset\mathrm S^1</math>, <math>a\in\mathrm{SEnd}(V)\,\Leftrightarrow\,\mathrm{Spec}(a)\subset\mathbb R</math>, <math>a\in\mathrm{AEnd}(V)\,\Leftrightarrow\,\mathrm{Spec}(a)\subset\mathbb R\,\mathrm i</math>, <math>a\in\mathrm{SEnd}_{>0}(V)\,\Leftrightarrow\,\mathrm{Spec}(a)\subset\mathbb R_{>0}</math>.</i>
 
<li><u>Следствие из спектральной теоремы для унитарных пространств.</u> <i>Пусть <math>V</math> — унитарное пространство и <math>a\in\mathrm{NEnd}(V)</math>; тогда<br><math>a\in\mathrm U(V)\,\Leftrightarrow\,\mathrm{Spec}(a)\subset\mathrm S^1</math>, <math>a\in\mathrm{SEnd}(V)\,\Leftrightarrow\,\mathrm{Spec}(a)\subset\mathbb R</math>, <math>a\in\mathrm{AEnd}(V)\,\Leftrightarrow\,\mathrm{Spec}(a)\subset\mathbb R\,\mathrm i</math>, <math>a\in\mathrm{SEnd}_{>0}(V)\,\Leftrightarrow\,\mathrm{Spec}(a)\subset\mathbb R_{>0}</math>.</i>
 
<li><u>Матричная формулировка спектральной теоремы для унитарных пространств.</u> <i>Пусть <math>n\in\mathbb N_0</math> и <math>a\in\mathrm{Mat}(n,\mathbb C)</math>; тогда<br>(1) <math>a\cdot\overline a^\mathtt T\!=\overline a^\mathtt T\!\cdot a</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,g\in\mathrm U(n)\;</math><math>\bigl(</math><math>g\cdot a\cdot g^{-1}</math> — диагональная матрица<math>\bigr)</math>;<br>(2) <math>a\in\mathrm U(n)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,g\in\mathrm U(n)\;</math><math>\bigl(</math><math>g\cdot a\cdot g^{-1}</math> — диагональная матрица с числами вида <math>\mathrm e^{\varphi\,\mathrm i}</math>, где <math>\varphi\in[0;2\pi)</math>, на диагонали<math>\bigr)</math>;<br>(3) <math>a\in\overline{\mathrm S}\mathrm{Mat}(n,\mathbb C)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,g\in\mathrm U(n)\;</math><math>\bigl(</math><math>g\cdot a\cdot g^{-1}</math> — диагональная матрица с вещественными числами на диагонали<math>\bigr)</math>;<br>(4) <math>a\in\overline{\mathrm A}\mathrm{Mat}(n,\mathbb C)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,g\in\mathrm U(n)\;</math><math>\bigl(</math><math>g\cdot a\cdot g^{-1}</math> — диагональная матрица с числами вида <math>\beta\,\mathrm i</math>, где <math>\beta\in\mathbb R</math>, на диагонали<math>\bigr)</math>;<br>(5) <math>a\in\overline{\mathrm S}\mathrm{Mat}_{>0}(n,\mathbb C)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,g\in\mathrm U(n)\;</math><math>\bigl(</math><math>g\cdot a\cdot g^{-1}</math> — диагональная матрица с положительными числами на диагонали<math>\bigr)</math>.</i>
 
<li><u>Матричная формулировка спектральной теоремы для унитарных пространств.</u> <i>Пусть <math>n\in\mathbb N_0</math> и <math>a\in\mathrm{Mat}(n,\mathbb C)</math>; тогда<br>(1) <math>a\cdot\overline a^\mathtt T\!=\overline a^\mathtt T\!\cdot a</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,g\in\mathrm U(n)\;</math><math>\bigl(</math><math>g\cdot a\cdot g^{-1}</math> — диагональная матрица<math>\bigr)</math>;<br>(2) <math>a\in\mathrm U(n)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,g\in\mathrm U(n)\;</math><math>\bigl(</math><math>g\cdot a\cdot g^{-1}</math> — диагональная матрица с числами вида <math>\mathrm e^{\varphi\,\mathrm i}</math>, где <math>\varphi\in[0;2\pi)</math>, на диагонали<math>\bigr)</math>;<br>(3) <math>a\in\overline{\mathrm S}\mathrm{Mat}(n,\mathbb C)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,g\in\mathrm U(n)\;</math><math>\bigl(</math><math>g\cdot a\cdot g^{-1}</math> — диагональная матрица с вещественными числами на диагонали<math>\bigr)</math>;<br>(4) <math>a\in\overline{\mathrm A}\mathrm{Mat}(n,\mathbb C)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,g\in\mathrm U(n)\;</math><math>\bigl(</math><math>g\cdot a\cdot g^{-1}</math> — диагональная матрица с числами вида <math>\beta\,\mathrm i</math>, где <math>\beta\in\mathbb R</math>, на диагонали<math>\bigr)</math>;<br>(5) <math>a\in\overline{\mathrm S}\mathrm{Mat}_{>0}(n,\mathbb C)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,g\in\mathrm U(n)\;</math><math>\bigl(</math><math>g\cdot a\cdot g^{-1}</math> — диагональная матрица с положительными числами на диагонали<math>\bigr)</math>.</i>
<li><u>Теорема о спектральном разложении.</u> <i>Пусть <math>V</math> — унитарное пр.-во и <math>a\in\mathrm{NEnd}(V)</math>; для любых <math>c\in\mathbb C</math> обозначим через <math>\,p_c{}</math> оператор <math>\mathrm{proj}_{V_1(a,c)}{}</math>; тогда<br>(1) для любых таких <math>c,c'\!\in\mathrm{Spec}(a){}</math>, что <math>c\ne c'</math>, вып.-но <math>\,p_c^2=p_c=p_c^*\,{}</math> и <math>\,p_c\!\circ p_{c'}=0{}</math>, а также <math>|\{c\in\mathbb C\mid p_c\ne0\}|<\infty{}</math>, <math>\mathrm{id}_V=\sum_{c\in\mathbb C}p_c{}</math> и <math>a=\sum_{c\in\mathbb C}c\,p_c{}</math>;<br>(2) если для любых <math>c\in\mathbb C</math> заданы операторы <math>\,p_c'\in\mathrm{End}(V){}</math>, удовлетворяющие условиям из пункта (1), то для любых <math>c\in\mathbb C</math> выполнено <math>\,p_c'=p_c{}</math>.</i>
+
<li><u>Теорема о спектральном разложении.</u> <i>Пусть <math>V</math> — унитарное пр.-во и <math>a\in\mathrm{NEnd}(V)</math>; для любых <math>c\in\mathbb C</math> обозначим через <math>\,p_c</math> оператор <math>\mathrm{proj}_{V_1(a,c)}</math>; тогда<br>(1) для любых таких <math>c,c'\!\in\mathbb C</math>, что <math>c\ne c'</math>, выполнено <math>\,p_c^2=p_c=p_c^*\,</math> и <math>\,p_c\!\circ p_{c'}=0</math>, а также <math>|\{c\in\mathbb C\mid p_c\ne0\}|<\infty</math>, <math>\mathrm{id}_V=\sum_{c\in\mathbb C}p_c</math> и <math>a=\sum_{c\in\mathbb C}c\,p_c</math>;<br>(2) если для любых <math>c\in\mathbb C</math> заданы операторы <math>\,p_c'\in\mathrm{End}(V)</math>, удовлетворяющие условиям из пункта (1), то для любых <math>c\in\mathbb C</math> выполнено <math>\,p_c'=p_c</math>.</i>
 
<li><u>Теорема о собственных числах и собственных векторах унитарных, симметричных, антисимметричных и положительно определенных операторов.</u><br><i>Пусть <math>V</math> — предгильбертово пространство над полем <math>\,\mathbb C</math> и <math>a\in\mathrm U(V)\cup\mathrm{SEnd}(V)\cup\mathrm{AEnd}(V)</math>; тогда для любого собственного числа <math>c</math> оператора <math>a</math><br>выполнено <math>a\in\mathrm U(V)\,\Rightarrow\,c\in\mathrm S^1</math>, <math>a\in\mathrm{SEnd}(V)\,\Rightarrow\,c\in\mathbb R</math>, <math>a\in\mathrm{AEnd}(V)\,\Rightarrow\,c\in\mathbb R\,\mathrm i</math>, <math>a\in\mathrm{SEnd}_{>0}(V)\,\Rightarrow\,c\in\mathbb R_{>0}</math>, а также для любых различных<br>собственных чисел <math>c</math> и <math>c'</math> оператора <math>a</math> выполнено <math>V_1(a,c)\perp V_1(a,c')</math>.</i>
 
<li><u>Теорема о собственных числах и собственных векторах унитарных, симметричных, антисимметричных и положительно определенных операторов.</u><br><i>Пусть <math>V</math> — предгильбертово пространство над полем <math>\,\mathbb C</math> и <math>a\in\mathrm U(V)\cup\mathrm{SEnd}(V)\cup\mathrm{AEnd}(V)</math>; тогда для любого собственного числа <math>c</math> оператора <math>a</math><br>выполнено <math>a\in\mathrm U(V)\,\Rightarrow\,c\in\mathrm S^1</math>, <math>a\in\mathrm{SEnd}(V)\,\Rightarrow\,c\in\mathbb R</math>, <math>a\in\mathrm{AEnd}(V)\,\Rightarrow\,c\in\mathbb R\,\mathrm i</math>, <math>a\in\mathrm{SEnd}_{>0}(V)\,\Rightarrow\,c\in\mathbb R_{>0}</math>, а также для любых различных<br>собственных чисел <math>c</math> и <math>c'</math> оператора <math>a</math> выполнено <math>V_1(a,c)\perp V_1(a,c')</math>.</i>
 
<li>Ортогональные многочлены как собственные функции формально самосопряженных дифференциальных операторов (см. пункт 10 в § 8 части 2 в [5]).</ul>
 
<li>Ортогональные многочлены как собственные функции формально самосопряженных дифференциальных операторов (см. пункт 10 в § 8 части 2 в [5]).</ul>
  
 
<h5>12.4&nbsp; Спектральная теория в евклидовых пространствах</h5>
 
<h5>12.4&nbsp; Спектральная теория в евклидовых пространствах</h5>
<ul><li>Препятствия к диагонализ.-и над <math>\mathbb R</math>. <math>\mathbb C</math>-Диагональная матрица — блочно-диаг. матр. над <math>\mathbb R</math> с блоками разм. <math>1\!\times\!1{}</math> и блоками <math>\Bigl(\begin{smallmatrix}\alpha&-\beta\\\beta&\alpha\end{smallmatrix}\Bigr)</math>, где <math>\alpha,\beta\in\mathbb R</math> и <math>\beta\ne0</math>.
+
<ul><li>Препятствия к диагонализ.-и над <math>\mathbb R</math>. <math>\mathbb C</math>-Диагональная матрица — блочно-диаг. матр. над <math>\mathbb R</math> с блоками разм. <math>1\!\times\!1</math> и блоками <math>\Bigl(\begin{smallmatrix}\alpha&-\beta\\\beta&\alpha\end{smallmatrix}\Bigr)</math>, где <math>\alpha,\beta\in\mathbb R</math> и <math>\beta\ne0</math>.
<li><math>\mathbb C</math>-Спектр линейного оператора <math>a</math> в конечномерном простр.-ве над <math>\mathbb R</math>: <math>\mathbb C\mathrm{Spec}(a)=\{c\in\mathbb C\mid\chi_a(c)=0\}</math>. Пример: <math>\mathbb C\mathrm{Spec}\bigl(\Bigl(\begin{smallmatrix}\alpha&-\beta\\\beta&\alpha\end{smallmatrix}\Bigr)\bigr)=\{\alpha+\beta\,\mathrm i,\alpha-\beta\,\mathrm i\}</math>.
+
<li><math>\mathbb C</math>-Спектр линейного оператора <math>a</math> в конечномерном вект. пр.-ве над <math>\mathbb R</math>: <math>\mathbb C\mathrm{Spec}(a)=\{c\in\mathbb C\mid\chi_a(c)=0\}</math>. Пример: <math>\mathbb C\mathrm{Spec}\bigl(\Bigl(\begin{smallmatrix}\alpha&-\beta\\\beta&\alpha\end{smallmatrix}\Bigr)\bigr)=\{\alpha+\beta\,\mathrm i,\alpha-\beta\,\mathrm i\}</math>.
 
<li><u>Лемма о линейном операторе с пустым спектром над полем <b>R</b>.</u> <i>Пусть <math>V</math> — евклидово пространство, <math>V\ne\{0\}</math>, <math>a\in\mathrm{End}(V)</math> и <math>\,\mathrm{Spec}(a)=\varnothing</math>; тогда<br>(1) существует такое подпространство <math>U</math> пространства <math>V</math>, что <math>\dim U=2</math>, <math>a(U)\subseteq U</math> и, если <math>a\in\mathrm{NEnd}(V)</math>, то <math>a^*(U)\subseteq U</math>;<br>(2) если <math>\dim V=2</math>, то для любых <math>e\in\mathrm{OnOB}(V)</math> выполнено <math>a\in\mathrm{NEnd}(V)\,\Leftrightarrow\,a_e^e\in\bigl\{\Bigl(\begin{smallmatrix}\alpha&-\beta\\\beta&\alpha\end{smallmatrix}\Bigr)\!\mid\alpha,\beta\in\mathbb R,\,\beta\ne0\bigr\}</math>.</i>
 
<li><u>Лемма о линейном операторе с пустым спектром над полем <b>R</b>.</u> <i>Пусть <math>V</math> — евклидово пространство, <math>V\ne\{0\}</math>, <math>a\in\mathrm{End}(V)</math> и <math>\,\mathrm{Spec}(a)=\varnothing</math>; тогда<br>(1) существует такое подпространство <math>U</math> пространства <math>V</math>, что <math>\dim U=2</math>, <math>a(U)\subseteq U</math> и, если <math>a\in\mathrm{NEnd}(V)</math>, то <math>a^*(U)\subseteq U</math>;<br>(2) если <math>\dim V=2</math>, то для любых <math>e\in\mathrm{OnOB}(V)</math> выполнено <math>a\in\mathrm{NEnd}(V)\,\Leftrightarrow\,a_e^e\in\bigl\{\Bigl(\begin{smallmatrix}\alpha&-\beta\\\beta&\alpha\end{smallmatrix}\Bigr)\!\mid\alpha,\beta\in\mathbb R,\,\beta\ne0\bigr\}</math>.</i>
 
<li><u>Спектральная теорема для евклидовых пространств.</u> <i>Пусть <math>V</math> — евклидово пространство и <math>a\in\mathrm{End}(V)</math>; тогда<br>(1) <math>a\in\mathrm{NEnd}(V)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,e\in\mathrm{OnOB}(V)\;</math><math>\bigl(</math><math>a_e^e</math> — <math>\mathbb C</math>-диагональная матрица<math>\bigr)</math>;<br>(2) <math>a\in\mathrm O(V)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,e\in\mathrm{OnOB}(V)\;</math><math>\bigl(</math><math>a_e^e</math> — <math>\mathbb C</math>-диагон. матрица с числами <math>1</math>, <math>-1</math> и блоками вида <math>\Bigl(\begin{smallmatrix}\cos\varphi&-\sin\varphi\\\sin\varphi&\cos\varphi\end{smallmatrix}\Bigr)</math>, где <math>\varphi\in(0;2\pi)\!\setminus\!\{\pi\}</math>, на диагонали<math>\bigr)</math>;<br>(3) <math>a\in\mathrm{SEnd}(V)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,e\in\mathrm{OnOB}(V)\;</math><math>\bigl(</math><math>a_e^e</math> — диагональная матрица<math>\bigr)</math>;<br>(4) <math>a\in\mathrm{AEnd}(V)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,e\in\mathrm{OnOB}(V)\;</math><math>\bigl(</math><math>a_e^e</math> — <math>\mathbb C</math>-диагональная матрица с числом <math>0</math> и блоками вида <math>\Bigl(\begin{smallmatrix}0&-\beta\\\beta&0\end{smallmatrix}\Bigr)</math>, где <math>\beta\in\mathbb R\!\setminus\!\{0\}</math>, на диагонали<math>\bigr)</math>;<br>(5) <math>a\in\mathrm{SEnd}_{>0}(V)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,e\in\mathrm{OnOB}(V)\;</math><math>\bigl(</math><math>a_e^e</math> — диагональная матрица с положительными числами на диагонали<math>\bigr)</math>.</i>
 
<li><u>Спектральная теорема для евклидовых пространств.</u> <i>Пусть <math>V</math> — евклидово пространство и <math>a\in\mathrm{End}(V)</math>; тогда<br>(1) <math>a\in\mathrm{NEnd}(V)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,e\in\mathrm{OnOB}(V)\;</math><math>\bigl(</math><math>a_e^e</math> — <math>\mathbb C</math>-диагональная матрица<math>\bigr)</math>;<br>(2) <math>a\in\mathrm O(V)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,e\in\mathrm{OnOB}(V)\;</math><math>\bigl(</math><math>a_e^e</math> — <math>\mathbb C</math>-диагон. матрица с числами <math>1</math>, <math>-1</math> и блоками вида <math>\Bigl(\begin{smallmatrix}\cos\varphi&-\sin\varphi\\\sin\varphi&\cos\varphi\end{smallmatrix}\Bigr)</math>, где <math>\varphi\in(0;2\pi)\!\setminus\!\{\pi\}</math>, на диагонали<math>\bigr)</math>;<br>(3) <math>a\in\mathrm{SEnd}(V)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,e\in\mathrm{OnOB}(V)\;</math><math>\bigl(</math><math>a_e^e</math> — диагональная матрица<math>\bigr)</math>;<br>(4) <math>a\in\mathrm{AEnd}(V)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,e\in\mathrm{OnOB}(V)\;</math><math>\bigl(</math><math>a_e^e</math> — <math>\mathbb C</math>-диагональная матрица с числом <math>0</math> и блоками вида <math>\Bigl(\begin{smallmatrix}0&-\beta\\\beta&0\end{smallmatrix}\Bigr)</math>, где <math>\beta\in\mathbb R\!\setminus\!\{0\}</math>, на диагонали<math>\bigr)</math>;<br>(5) <math>a\in\mathrm{SEnd}_{>0}(V)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,e\in\mathrm{OnOB}(V)\;</math><math>\bigl(</math><math>a_e^e</math> — диагональная матрица с положительными числами на диагонали<math>\bigr)</math>.</i>
Строка 81: Строка 81:
 
<li><u>Матричная формулировка спектральной теоремы для евклидовых пространств.</u> <i>Пусть <math>n\in\mathbb N_0</math> и <math>a\in\mathrm{Mat}(n,\mathbb R)</math>; тогда<br>(1) <math>a\cdot a^\mathtt T\!=a^\mathtt T\!\cdot a</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,g\in\mathrm O(n)\;</math><math>\bigl(</math><math>g\cdot a\cdot g^{-1}</math> — <math>\mathbb C</math>-диагональная матрица<math>\bigr)</math>;<br>(2) <math>a\in\mathrm O(n)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,g\in\mathrm O(n)\;</math><math>\bigl(</math><math>g\cdot a\cdot g^{-1}</math> — <math>\mathbb C</math>-диагон. матрица с числами <math>1</math>, <math>-1</math> и блоками вида <math>\Bigl(\begin{smallmatrix}\cos\varphi&-\sin\varphi\\\sin\varphi&\cos\varphi\end{smallmatrix}\Bigr)</math>, где <math>\varphi\in(0;2\pi)\!\setminus\!\{\pi\}</math>, на диагонали<math>\bigr)</math>;<br>(3) <math>a\in\mathrm{SMat}(n,\mathbb R)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,g\in\mathrm O(n)\;</math><math>\bigl(</math><math>g\cdot a\cdot g^{-1}</math> — диагональная матрица<math>\bigr)</math>;<br>(4) <math>a\in\mathrm{AMat}(n,\mathbb R)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,g\in\mathrm O(n)\;</math><math>\bigl(</math><math>g\cdot a\cdot g^{-1}</math> — <math>\mathbb C</math>-диагональная матрица с числом <math>0</math> и блоками вида <math>\Bigl(\begin{smallmatrix}0&-\beta\\\beta&0\end{smallmatrix}\Bigr)</math>, где <math>\beta\in\mathbb R\!\setminus\!\{0\}</math>, на диагонали<math>\bigr)</math>;<br>(5) <math>a\in\mathrm{SMat}_{>0}(n,\mathbb R)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,g\in\mathrm O(n)\;</math><math>\bigl(</math><math>g\cdot a\cdot g^{-1}</math> — диагональная матрица с положительными числами на диагонали<math>\bigr)</math>.</i>
 
<li><u>Матричная формулировка спектральной теоремы для евклидовых пространств.</u> <i>Пусть <math>n\in\mathbb N_0</math> и <math>a\in\mathrm{Mat}(n,\mathbb R)</math>; тогда<br>(1) <math>a\cdot a^\mathtt T\!=a^\mathtt T\!\cdot a</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,g\in\mathrm O(n)\;</math><math>\bigl(</math><math>g\cdot a\cdot g^{-1}</math> — <math>\mathbb C</math>-диагональная матрица<math>\bigr)</math>;<br>(2) <math>a\in\mathrm O(n)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,g\in\mathrm O(n)\;</math><math>\bigl(</math><math>g\cdot a\cdot g^{-1}</math> — <math>\mathbb C</math>-диагон. матрица с числами <math>1</math>, <math>-1</math> и блоками вида <math>\Bigl(\begin{smallmatrix}\cos\varphi&-\sin\varphi\\\sin\varphi&\cos\varphi\end{smallmatrix}\Bigr)</math>, где <math>\varphi\in(0;2\pi)\!\setminus\!\{\pi\}</math>, на диагонали<math>\bigr)</math>;<br>(3) <math>a\in\mathrm{SMat}(n,\mathbb R)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,g\in\mathrm O(n)\;</math><math>\bigl(</math><math>g\cdot a\cdot g^{-1}</math> — диагональная матрица<math>\bigr)</math>;<br>(4) <math>a\in\mathrm{AMat}(n,\mathbb R)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,g\in\mathrm O(n)\;</math><math>\bigl(</math><math>g\cdot a\cdot g^{-1}</math> — <math>\mathbb C</math>-диагональная матрица с числом <math>0</math> и блоками вида <math>\Bigl(\begin{smallmatrix}0&-\beta\\\beta&0\end{smallmatrix}\Bigr)</math>, где <math>\beta\in\mathbb R\!\setminus\!\{0\}</math>, на диагонали<math>\bigr)</math>;<br>(5) <math>a\in\mathrm{SMat}_{>0}(n,\mathbb R)</math><math>\;\,\Leftrightarrow\;\,</math><math>\exists\,g\in\mathrm O(n)\;</math><math>\bigl(</math><math>g\cdot a\cdot g^{-1}</math> — диагональная матрица с положительными числами на диагонали<math>\bigr)</math>.</i>
 
<li><u>Теорема Эйлера о вращениях.</u> <i>Пусть <math>V</math> — евклидово пр.-во с ориентацией, <math>\dim V=3</math> и <math>a\in\mathrm{SO}(V)</math>; тогда существуют такие <math>e\in\mathrm{OnOB}_{>0}(V)</math> и<br><math>\varphi\in[0;2\pi)</math>, что <math>a_e^e=\biggl(\begin{smallmatrix}1&0&0\\0&\cos\varphi&-\sin\varphi\\0&\sin\varphi&\cos\varphi\end{smallmatrix}\biggr)</math> (и, значит, <math>a</math> — оператор поворота на угол <math>\varphi</math> против час. стрелки вокруг оси с направляющим вектором <math>e_1</math>).</i>
 
<li><u>Теорема Эйлера о вращениях.</u> <i>Пусть <math>V</math> — евклидово пр.-во с ориентацией, <math>\dim V=3</math> и <math>a\in\mathrm{SO}(V)</math>; тогда существуют такие <math>e\in\mathrm{OnOB}_{>0}(V)</math> и<br><math>\varphi\in[0;2\pi)</math>, что <math>a_e^e=\biggl(\begin{smallmatrix}1&0&0\\0&\cos\varphi&-\sin\varphi\\0&\sin\varphi&\cos\varphi\end{smallmatrix}\biggr)</math> (и, значит, <math>a</math> — оператор поворота на угол <math>\varphi</math> против час. стрелки вокруг оси с направляющим вектором <math>e_1</math>).</i>
<li><u>Теорема о симметричных билинейных формах в евклидовом пространстве.</u> <i>Пусть <math>V</math> — евклидово пр.-во, <math>\tau\in\mathrm{SBi}(V)</math> и <math>a</math> — лин. оператор, соответств.<br>форме <math>\tau</math> относит.-но изоморфизма <math>\biggl(\!\begin{align}\mathrm{End}(V)&\to\mathrm{Bi}(V)\\a&\mapsto(\,\mid\,)_a\end{align}\!\biggr)</math> (то есть <math>\forall\,v,w\in V\;\bigl((a(v)\!\mid\!w)=\tau(v,w)\bigr){}</math>); тогда в <math>V</math> сущ.-т ортонормированный базис,<br>ортогональный относит.-но формы <math>\tau</math> (то есть <math>\mathrm{OnOB}(V)\cap\mathrm{OOB}(V,\tau)\ne\varnothing</math>), а также <math>\{\tau(v,v)\mid v\in V,\,\|v\|=1\}=[\min\mathrm{Spec}(a);\max\mathrm{Spec}(a)]</math>.</i></ul>
+
<li><u>Теорема о симметричных билинейных формах в евклидовом пространстве.</u> <i>Пусть <math>V</math> — евклидово пр.-во, <math>\tau\in\mathrm{SBi}(V)</math> и <math>a</math> — лин. оператор, соответств.<br>форме <math>\tau</math> относит.-но изоморфизма <math>\biggl(\!\begin{align}\mathrm{End}(V)&\to\mathrm{Bi}(V)\\a&\mapsto(\,\mid\,)_a\end{align}\!\biggr)</math> (то есть <math>\forall\,v,w\in V\;\bigl((a(v)\!\mid\!w)=\tau(v,w)\bigr)</math>); тогда в <math>V</math> сущ.-т ортонормированный базис,<br>ортогональный относит.-но формы <math>\tau</math> (то есть <math>\mathrm{OnOB}(V)\cap\mathrm{OOB}(V,\tau)\ne\varnothing</math>), а также <math>\{\tau(v,v)\mid v\in V,\,\|v\|=1\}=[\min\mathrm{Spec}(a);\max\mathrm{Spec}(a)]</math>.</i></ul>
  
 
<h5>12.5&nbsp; Специальная ортохронная группа Лоренца</h5>
 
<h5>12.5&nbsp; Специальная ортохронная группа Лоренца</h5>
<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>.
+
<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>
 
<li>Матричная специальная ортохронная группа Лоренца: <math>\mathrm{SO}^+(1,3)</math>. Бусты: <math>\bigl\{\Bigl(\begin{smallmatrix}\mathrm{ch}\,\varphi&\mathrm{sh}\,\varphi\;v^\mathtt T\\\mathrm{sh}\,\varphi\;v&\,\mathrm{id}_3+(\mathrm{ch}\,\varphi-1)\,v\,v^\mathtt T\!\end{smallmatrix}\Bigr)\!\mid\varphi\in\mathbb R,\,v\in\mathrm S^2\bigr\}</math>. Повороты: <math>\bigl\{\Bigl(\begin{smallmatrix}1&0\\0&h\end{smallmatrix}\Bigr)\!\mid h\in\mathrm{SO}(3)\bigr\}</math>.
 
<li>Матричная специальная ортохронная группа Лоренца: <math>\mathrm{SO}^+(1,3)</math>. Бусты: <math>\bigl\{\Bigl(\begin{smallmatrix}\mathrm{ch}\,\varphi&\mathrm{sh}\,\varphi\;v^\mathtt T\\\mathrm{sh}\,\varphi\;v&\,\mathrm{id}_3+(\mathrm{ch}\,\varphi-1)\,v\,v^\mathtt T\!\end{smallmatrix}\Bigr)\!\mid\varphi\in\mathbb R,\,v\in\mathrm S^2\bigr\}</math>. Повороты: <math>\bigl\{\Bigl(\begin{smallmatrix}1&0\\0&h\end{smallmatrix}\Bigr)\!\mid h\in\mathrm{SO}(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>(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>\mathcal E=\mathcal M\cap\mathfrak{sl}(2,\mathbb C)=\mathrm i\;\mathfrak{su}(2)</math>.
 
<li>Спинорная модель пространства Минковского: <math>\mathcal M=\overline{\mathrm S}\mathrm{Mat}(2,\mathbb C)</math>. Спинорная модель трехмерного евклидова пространства: <math>\mathcal E=\mathcal M\cap\mathfrak{sl}(2,\mathbb C)=\mathrm i\;\mathfrak{su}(2)</math>.
<li>Матрицы Паули: <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>. Утверждение: <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>.
+
<li>Матрицы Паули: <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>. Утверждение: <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>.
<li><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> формы из пункта (1), взятое с противопол. знаком, определяет на <math>\mathcal E</math> структуру евклидова пространства, и <math>(\sigma_1,\sigma_2,\sigma_3)\in\mathrm{OnOB}(\mathcal E)</math>.<br>(3) Для любых <math>\varphi\in\mathbb R</math> и таких <math>u\in\mathcal E</math>, что <math>\|u\|=1</math>, выполнено <math>u^2=\mathrm{id}_2{}</math>, <math>\mathrm e^{\varphi\,u}\!=\mathrm{ch}\,\varphi\;\mathrm{id}_2+\mathrm{sh}\,\varphi\;u\,{}</math> и <math>\,\mathrm e^{\varphi\,\mathrm i\,u}\!=\cos\varphi\;\mathrm{id}_2+\sin\varphi\;\mathrm i\,u{}</math>.</i>
+
<li><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> формы из пункта (1), взятое с противопол. знаком, определяет на <math>\mathcal E</math> структуру евклидова пространства, и <math>(\sigma_1,\sigma_2,\sigma_3)\in\mathrm{OnOB}(\mathcal E)</math>.<br>(3) Для любых <math>\varphi\in\mathbb R</math> и таких <math>u\in\mathcal E</math>, что <math>\|u\|=1</math>, выполнено <math>u^2=\mathrm{id}_2</math>, <math>\mathrm e^{\varphi\,u}\!=\mathrm{ch}\,\varphi\;\mathrm{id}_2+\mathrm{sh}\,\varphi\;u\,</math> и <math>\,\mathrm e^{\varphi\,\mathrm i\,u}\!=\cos\varphi\;\mathrm{id}_2+\sin\varphi\;\mathrm i\,u</math>.</i>
 
<li><u>Теорема о бустах и поворотах.</u> <i>(1) Пусть <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>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>2\varphi</math> вокруг оси с направляющим вектором <math>u</math> (эскиз доказательства).<br>(2) Спинорные представления <math>\biggl(\!\begin{align}\mathrm{SL}(2,\mathbb C)/\{\mathrm{id}_2,-\mathrm{id}_2\}&\to\mathrm{SO}^+(\mathcal M)\\\{g,-g\}&\mapsto\bigl(\,l\mapsto g\,l\,\overline g^\mathtt T\bigr)\!\end{align}\!\biggr)</math> и <math>\biggl(\!\begin{align}\mathrm{SU}(2)/\{\mathrm{id}_2,-\mathrm{id}_2\}&\to\mathrm{SO}(\mathcal E)\\\{g,-g\}&\mapsto\bigl(\,l\mapsto g\,l\,g^{-1}\bigr)\!\end{align}\!\biggr)</math> — изоморфизмы групп (без док.-ва).</i></ul>
 
<li><u>Теорема о бустах и поворотах.</u> <i>(1) Пусть <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>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>2\varphi</math> вокруг оси с направляющим вектором <math>u</math> (эскиз доказательства).<br>(2) Спинорные представления <math>\biggl(\!\begin{align}\mathrm{SL}(2,\mathbb C)/\{\mathrm{id}_2,-\mathrm{id}_2\}&\to\mathrm{SO}^+(\mathcal M)\\\{g,-g\}&\mapsto\bigl(\,l\mapsto g\,l\,\overline g^\mathtt T\bigr)\!\end{align}\!\biggr)</math> и <math>\biggl(\!\begin{align}\mathrm{SU}(2)/\{\mathrm{id}_2,-\mathrm{id}_2\}&\to\mathrm{SO}(\mathcal E)\\\{g,-g\}&\mapsto\bigl(\,l\mapsto g\,l\,g^{-1}\bigr)\!\end{align}\!\biggr)</math> — изоморфизмы групп (без док.-ва).</i></ul>
  
Строка 99: Строка 99:
 
<li><math>n</math>-Мерный атлас на <math>M</math> — множество попарно согласованных <math>n</math>-мерных систем координат на <math>M</math>, области определения которых покрывают <math>M</math>. Примеры.
 
<li><math>n</math>-Мерный атлас на <math>M</math> — множество попарно согласованных <math>n</math>-мерных систем координат на <math>M</math>, области определения которых покрывают <math>M</math>. Примеры.
 
<li><math>n</math>-Мерное многообразие <math>M</math> — хаусдорфово со счетной базой топол. пр.-во <math>M</math> с максимальным <math>n</math>-мерным атласом <math>\mathcal A</math>. Примеры: <math>\mathbb R^n</math>, откр. мн.-ва в <math>\mathbb R^n</math>, <math>\mathrm S^n</math>.
 
<li><math>n</math>-Мерное многообразие <math>M</math> — хаусдорфово со счетной базой топол. пр.-во <math>M</math> с максимальным <math>n</math>-мерным атласом <math>\mathcal A</math>. Примеры: <math>\mathbb R^n</math>, откр. мн.-ва в <math>\mathbb R^n</math>, <math>\mathrm S^n</math>.
<li>Отобр. <math>\varphi</math> между многообр. <math>M</math> и <math>P</math> гладкое в <math>m</math>, если существ. такие <math>\xi\in\mathcal A{}</math> и <math>\rho\in\mathcal D{}</math>, что <math>m\in\mathrm{Dom}\,\xi{}</math>, <math>\varphi(m)\in\mathrm{Dom}\,\rho{}</math> и отобр. <math>\rho\circ\varphi\circ\xi^{-1}\!</math> гладкое в <math>\xi(m)</math>.
+
<li>Отобр. <math>\varphi</math> между многообр. <math>M</math> и <math>P</math> гладкое в <math>m</math>, если существ. такие <math>\xi\in\mathcal A</math> и <math>\rho\in\mathcal D</math>, что <math>m\in\mathrm{Dom}\,\xi</math>, <math>\varphi(m)\in\mathrm{Dom}\,\rho</math> и отобр. <math>\rho\circ\varphi\circ\xi^{-1}\!</math> гладкое в <math>\xi(m)</math>.
 
<li>Утверждение: <i>гладкость отображения не зависит от выбора систем координат</i>. Мн.-во гладких отображений между многообр.-ми <math>M</math> и <math>P</math>: <math>\mathrm C^\infty\!(M,P)</math>.
 
<li>Утверждение: <i>гладкость отображения не зависит от выбора систем координат</i>. Мн.-во гладких отображений между многообр.-ми <math>M</math> и <math>P</math>: <math>\mathrm C^\infty\!(M,P)</math>.
<li><math>\mathrm{Curv}_m(M)=\!\!\!\!\bigcup_{\alpha\in[-\infty;0),\,\beta\in(0;\infty]}\!\!\!\{\gamma\in\mathrm C^\infty\!((\alpha;\beta),M)\mid\gamma(0)=m\}{}</math> — множество кривых, проходящих через <math>m</math>. <math>\mathrm C^\infty\!(M)=\mathrm C^\infty\!(M,\mathbb R){}</math> — <math>\mathbb R</math>-алгебра функций.
+
<li><math>\mathrm{Curv}_m(M)=\!\!\!\bigcup_{\alpha\in[-\infty;0),\,\beta\in(0;\infty]}\!\!\!\{\gamma\in\mathrm C^\infty\!((\alpha;\beta),M)\mid\gamma(0)=m\}</math> — множество кривых, проходящих через <math>m</math>. <math>\mathrm C^\infty\!(M)=\mathrm C^\infty\!(M,\mathbb R)</math> — <math>\mathbb R</math>-алгебра функций.
<li>Скорость в координатах (<math>-\infty\le\alpha<\tau<\beta\le\infty</math>, <math>\gamma\in\mathrm C^\infty\!((\alpha;\beta),M)</math>, <math>\xi\in\mathcal A{}</math>, <math>\gamma(\tau)\in\mathrm{Dom}\,\xi{}</math>): <math>\dot\gamma(\tau)^\xi=(\xi\circ\gamma)\!\dot{\phantom i}\!(\tau){}</math> и <math>\dot\gamma(\tau)^i=(\dot\gamma(\tau)^\xi)^i=\bigl((\xi\circ\gamma)^i\bigr)\!\dot{\phantom i}\!(\tau){}</math>.
+
<li>Скорость кривой в координатах (<math>\gamma\in\mathrm C^\infty\!((\alpha;\beta),M)</math>, <math>\tau\in(\alpha;\beta)</math>): <math>\dot\gamma(\tau)^\xi=(\xi\circ\gamma)\!\dot{\phantom i}\!(\tau)\in\mathbb R^n</math>; <math>i</math>-я компонента скорости: <math>(\dot\gamma(\tau)^\xi)^i=\bigl((\xi\circ\gamma)^i\bigr)\!\dot{\phantom i}\!(\tau)=\dot\gamma(\tau)^i</math>.
<li>Обозн.: <math>\xi(m)=(x^1(m),\ldots,x^n(m))</math> и <math>\mathrm c_\xi^\tilde\xi(m)=\mathrm d(\tilde\xi\circ\xi^{-1})(\xi(m)){}</math>; тогда <math>\mathrm c_\xi^\tilde\xi(m)\in\mathrm{GL}(n,\mathbb R){}</math> и <math>\mathrm c_\xi^\tilde\xi(m)_k^\tilde i=\frac{\partial x^\tilde i}{\partial x^k}(\xi(m)){}</math>. Лемма о замене координат.
+
<li>Матрица Якоби замены коорд.: <math>\mathrm c_\xi^\tilde\xi(m)=\mathrm d(\tilde\xi\circ\xi^{-1})(\xi(m))</math>; <math>(i,k)</math>-я компон.: <math>\mathrm c_\xi^\tilde\xi(m)_k^i=\frac{\partial(\tilde\xi\circ\xi^{-1})^i}{\partial x^k}(\xi(m))=\frac{\partial x^\tilde i}{\partial x^k}(\xi(m))</math>. Лемма о замене координат.
<p><u>Лемма о замене координат.</u> <i>Пусть <math>M</math> — многообразие, <math>n=\dim M</math>, <math>m\in M</math>, <math>\gamma,\breve\gamma\in\mathrm{Curv}_m(M)</math>, <math>\xi,\tilde\xi\in\mathcal A{}</math> и <math>m\in\mathrm{Dom}\,\xi\cap\mathrm{Dom}\,\tilde\xi{}</math>; тогда<br>(1) <math>\dot\gamma(0)^\tilde\xi=\mathrm c_\xi^\tilde\xi(m)\cdot\dot\gamma(0)^\xi{}</math> (это матричная запись) и <math>\forall\,i\in\{1,\ldots,n\}\;\Bigl(\dot\gamma(0)^\tilde i=\sum_{k=1}^n\frac{\partial x^\tilde i}{\partial x^k}(\xi(m))\,\dot\gamma(0)^k\Bigr){}</math> (это покомпонентная запись);<br>(2) <math>\dot\gamma(0)^\xi=\dot{\breve\gamma}(0)^\xi\,\Leftrightarrow\,\dot\gamma(0)^\tilde\xi=\dot{\breve\gamma}(0)^\tilde\xi\!{}</math> (то есть равенство скоростей кривых в координатах не зависит от выбора системы координат).</i></p></ul>
+
<p><u>Лемма о замене координат.</u> <i>Пусть <math>M</math> — многообразие, <math>n=\dim M</math>, <math>m\in M</math>, <math>\gamma,\breve\gamma\in\mathrm{Curv}_m(M)</math>, <math>\xi,\tilde\xi\in\mathcal A</math> и <math>m\in\mathrm{Dom}\,\xi\cap\mathrm{Dom}\,\tilde\xi</math>; тогда<br>(1) <math>\dot\gamma(0)^\tilde\xi=\mathrm c_\xi^\tilde\xi(m)\cdot\dot\gamma(0)^\xi</math> (это матричная запись) и <math>\forall\,i\in\{1,\ldots,n\}\;\Bigl(\dot\gamma(0)^\tilde i=\sum_{k=1}^n\frac{\partial x^\tilde i}{\partial x^k}(\xi(m))\,\dot\gamma(0)^k\Bigr)</math> (это покомпонентная запись);<br>(2) <math>\dot\gamma(0)^\xi=\dot{\breve\gamma}(0)^\xi\,\Leftrightarrow\,\dot\gamma(0)^\tilde\xi=\dot{\breve\gamma}(0)^\tilde\xi\!</math> (то есть равенство скоростей кривых в координатах не зависит от выбора системы координат).</i></p></ul>
  
 
<h5>13.2&nbsp; Касательные пространства и кокасательные пространства</h5>
 
<h5>13.2&nbsp; Касательные пространства и кокасательные пространства</h5>
<ul><li>Отнош.-е касания в <math>m</math> (<math>\gamma,\breve\gamma\in\mathrm{Curv}_m(M)</math>): <math>\gamma\underset{\scriptscriptstyle m}\sim\breve\gamma\,\Leftrightarrow\,\exists\,\xi\in\mathcal A\;\bigl(m\in\mathrm{Dom}\,\xi\,\land\,\dot\gamma(0)^\xi=\dot{\breve\gamma}(0)^\xi\bigr){}</math>; инвариантная скорость: <math>\dot\gamma(0)=[\gamma]_\underset{\scriptscriptstyle m}\sim\!\in\mathrm{Curv}_m(M)/\!\underset{\scriptscriptstyle m}\sim\!{}</math>.
+
<ul><li>Отнош.-е касания в <math>m</math> (<math>\gamma,\breve\gamma\in\mathrm{Curv}_m(M)</math>): <math>\gamma\underset{\scriptscriptstyle m}\sim\breve\gamma\,\Leftrightarrow\,\exists\,\xi\in\mathcal A\;\bigl(m\in\mathrm{Dom}\,\xi\,\land\,\dot\gamma(0)^\xi=\dot{\breve\gamma}(0)^\xi\bigr)</math>. Инвариантная скорость: <math>\dot\gamma(0)=[\gamma]_\underset{\scriptscriptstyle m}\sim\!\in\mathrm{Curv}_m(M)/\!\underset{\scriptscriptstyle m}\sim</math>.
<li>Касательное пр.-во в точке <math>m</math>: <math>\mathrm T_mM=\mathrm{Curv}_m(M)/\!\underset{\scriptscriptstyle m}\sim</math>. Базисные векторы, определяемые системой коорд. <math>\xi</math>: <math>\frac\partial{\partial x^i}(m)=\bigl(\tau\mapsto\xi^{-1}(\xi(m)+\tau\,\mathbf e_i)\bigr)\!\dot{\phantom i}\!(0){}</math>.
+
<li>Касательное простр.-во в точке <math>m</math>: <math>\mathrm T_mM=\mathrm{Curv}_m(M)/\!\underset{\scriptscriptstyle m}\sim</math>. Базисные векторы, определяемые координатами: <math>\frac\partial{\partial x^i}(m)=\bigl(\tau\mapsto\xi^{-1}(\xi(m)+\tau\,\mathbf e_i)\bigr)\!\dot{\phantom i}\!(0)</math>.
<li>Теорема о касательном пространстве. Преобразования при замене координат на <math>M</math>: <math>v^\tilde i=\sum_{k=1}^n\frac{\partial x^\tilde i}{\partial x^k}(\xi(m))\,v^k</math> и <math>\frac\partial{\partial x^\tilde i}(m)=\sum_{k=1}^n\frac{\partial x^k}{\partial x^\tilde i}(\tilde\xi(m))\,\frac\partial{\partial x^k}(m)</math>.
+
<li>Теорема о касательных пространствах. Преобразования при замене координат на <math>M</math>: <math>v^\tilde i=\sum_{k=1}^n\frac{\partial x^\tilde i}{\partial x^k}(\xi(m))\,v^k</math> и <math>\frac\partial{\partial x^\tilde i}(m)=\sum_{k=1}^n\frac{\partial x^k}{\partial x^\tilde i}(\tilde\xi(m))\,\frac\partial{\partial x^k}(m)</math>.
<p><u>Теорема о касательном пространстве.</u> <i>Пусть <math>M</math> — многообразие, <math>n=\dim M</math>, <math>m\in M</math>, <math>\xi\in\mathcal A{}</math> и <math>m\in\mathrm{Dom}\,\xi{}</math>; тогда<br>(1) для любых <math>v\in\mathrm T_mM</math>, выбирая такую кривую <math>\gamma\in\mathrm{Curv}_m(M)</math>, что <math>v=\dot\gamma(0){}</math>, и обозначая через <math>v^\xi</math> столбец <math>\dot\gamma(0)^\xi{}</math>, имеем следующий факт:<br>столбец <math>v^\xi</math> не зависит от выбора кривой <math>\gamma</math>;<br>(2) отображение <math>\biggl(\!\begin{align}\mathrm T_mM&\to\mathbb R^n\\v&\mapsto v^\xi\end{align}\!\biggr)</math> — биекция; определим на <math>\,\mathrm T_mM</math> структуру вект. простр.-ва над <math>\,\mathbb R</math> так, чтобы эта биекция стала изоморфизмом<br>вект. простр.-в (то есть <math>\forall\,v,w\in\mathrm T_mM,\,c,d\in\mathbb R\;\bigl((c\,v+d\,w)^\xi=c\,v^\xi+d\,w^\xi\bigr)</math>); тогда эта структура не зависит от выбора системы координат;<br>(3) множество <math>\Bigl\{\frac\partial{\partial x^1}(m),\ldots,\frac\partial{\partial x^n}(m)\Bigr\}</math> — базис пространства <math>\,\mathrm T_mM</math>;<br>(4) для любых <math>v\in\mathrm T_mM</math> выполнено <math>v=\sum_{i=1}^n(v^\xi)^i\frac\partial{\partial x^i}(m)</math> (это формула разложения по базису в <math>\,\mathrm T_mM</math>).</i></p>
+
<p><u>Теорема о касательных пространствах.</u> <i>Пусть <math>M</math> — многообразие, <math>n=\dim M</math>, <math>m\in M</math>, <math>\xi\in\mathcal A</math> и <math>m\in\mathrm{Dom}\,\xi</math>; тогда<br>(1) для любых <math>v\in\mathrm T_mM</math>, выбирая такую кривую <math>\gamma\in\mathrm{Curv}_m(M)</math>, что <math>v=\dot\gamma(0)</math>, и обозначая через <math>v^\xi</math> столбец <math>\dot\gamma(0)^\xi</math>, имеем следующий факт:<br>столбец <math>v^\xi</math> не зависит от выбора кривой <math>\gamma</math>;<br>(2) отображение <math>\biggl(\!\begin{align}\mathrm T_mM&\to\mathbb R^n\\v&\mapsto v^\xi\end{align}\!\biggr)</math> — биекция; определим на <math>\,\mathrm T_mM</math> структуру вект. простр.-ва над <math>\,\mathbb R</math> так, чтобы эта биекция стала изоморфизмом<br>вект. простр.-в (то есть <math>\forall\,v,w\in\mathrm T_mM,\,c,d\in\mathbb R\;\bigl((c\,v+d\,w)^\xi=c\,v^\xi+d\,w^\xi\bigr)</math>); тогда эта структура не зависит от выбора системы координат;<br>(3) <math>\Bigl(\frac\partial{\partial x^1}(m),\ldots,\frac\partial{\partial x^n}(m)\Bigr)\!\in\mathrm{OB}(\mathrm T_mM)</math>, и для любых <math>v\in\mathrm T_mM</math> выполнено <math>v=\sum_{i=1}^n(v^\xi)^i\frac\partial{\partial x^i}(m)</math> (это разложение по базису в <math>\,\mathrm T_mM</math>).</i></p>
<li>Кокасательное пр.-во в точке <math>m</math>: <math>\mathrm T^*_mM=(\mathrm T_mM)^*</math>. Базисные ковекторы, опред. системой коорд. <math>\xi</math>: <math>\mathrm dx^j(m)=\Bigl(\frac\partial{\partial x^j}(m)\Bigr)^{\!*}</math>. Строка коорд. ковектора: <math>\lambda_\xi</math>.
+
<li>Кокасательное пр.-во в точке <math>m</math>: <math>\mathrm T^*_mM=(\mathrm T_mM)^*</math>. Базисные ковекторы, опред. координатами: <math>\mathrm dx^j(m)=\Bigl(\frac\partial{\partial x^j}(m)\Bigr)^{\!*}</math>. Строка координат ковектора: <math>\lambda_\xi</math>.
 
<li>Разложение по базису в <math>\mathrm T^*_mM</math>: <math>\lambda=\sum_{j=1}^n(\lambda_\xi)_j\,\mathrm dx^j(m)</math>. Преобр.-я при замене координат: <math>\lambda_\tilde j=\sum_{l=1}^n\frac{\partial x^l}{\partial x^\tilde j}(\tilde\xi(m))\,\lambda_l</math> и <math>\mathrm dx^\tilde j(m)=\sum_{l=1}^n\frac{\partial x^\tilde j}{\partial x^l}(\xi(m))\,\mathrm dx^l(m)</math>.
 
<li>Разложение по базису в <math>\mathrm T^*_mM</math>: <math>\lambda=\sum_{j=1}^n(\lambda_\xi)_j\,\mathrm dx^j(m)</math>. Преобр.-я при замене координат: <math>\lambda_\tilde j=\sum_{l=1}^n\frac{\partial x^l}{\partial x^\tilde j}(\tilde\xi(m))\,\lambda_l</math> и <math>\mathrm dx^\tilde j(m)=\sum_{l=1}^n\frac{\partial x^\tilde j}{\partial x^l}(\xi(m))\,\mathrm dx^l(m)</math>.
<li><u>Теорема о дифференциале функции.</u> <i>Пусть <math>M</math> — многообразие, <math>m\in M</math> и <math>f\in\mathrm C^\infty\!(M)</math>; тогда<br>(1) для любых <math>v\in\mathrm T_mM</math>, выбирая такую кривую <math>\gamma\in\mathrm{Curv}_m(M)</math>, что <math>v=\dot\gamma(0){}</math>, и обозначая через <math>(\mathrm df(m))(v)</math> число <math>(f\circ\gamma)\!\dot{\phantom i}\!(0){}</math>, имеем следующий<br>факт: число <math>(\mathrm df(m))(v)</math> не зависит от выбора кривой <math>\gamma</math>;<br>(2) для любых <math>v\in\mathrm T_mM</math> и таких <math>\xi\in\mathcal A{}</math>, что <math>m\in\mathrm{Dom}\,\xi{}</math>, выполнено <math>(\mathrm df(m))(v)=\mathrm d(f\circ\xi^{-1})(\xi(m))\cdot v^\xi</math>;<br>(3) обозначая через <math>\mathrm df(m)</math> отображение <math>\biggl(\!\begin{align}\mathrm T_mM&\to\mathbb R\\v&\mapsto(\mathrm df(m))(v)\end{align}\!\biggr)</math>, имеем следующий факт: <math>\mathrm df(m)\in\mathrm T^*_mM</math>.</i>
+
<li><u>Теорема о дифференциале функции.</u> <i>Пусть <math>M</math> — многообразие, <math>m\in M</math> и <math>f\in\mathrm C^\infty\!(M)</math>; тогда<br>(1) для любых <math>v\in\mathrm T_mM</math>, выбирая такую кривую <math>\gamma\in\mathrm{Curv}_m(M)</math>, что <math>v=\dot\gamma(0)</math>, и обозначая через <math>(\mathrm df(m))(v)</math> число <math>(f\circ\gamma)\!\dot{\phantom i}\!(0)</math>, имеем следующий<br>факт: число <math>(\mathrm df(m))(v)</math> не зависит от выбора кривой <math>\gamma</math>;<br>(2) для любых <math>v\in\mathrm T_mM</math> и таких <math>\xi\in\mathcal A</math>, что <math>m\in\mathrm{Dom}\,\xi</math>, выполнено <math>(\mathrm df(m))(v)=\mathrm d(f\circ\xi^{-1})(\xi(m))\cdot v^\xi</math>;<br>(3) обозначая через <math>\mathrm df(m)</math> отображение <math>\biggl(\!\begin{align}\mathrm T_mM&\to\mathbb R\\v&\mapsto(\mathrm df(m))(v)\end{align}\!\biggr)</math>, имеем следующий факт: <math>\mathrm df(m)\in\mathrm T^*_mM</math>.</i>
<li>Дифференциал в координ.: <math>\mathrm df(m)_\xi=\mathrm d(f\circ\xi^{-1})(\xi(m)){}</math> и <math>(\mathrm df(m)_\xi)_j=\frac{\partial(f\circ\xi^{-1})}{\partial x^j}(\xi(m))=\partial_jf(m)</math>. Утверждение: <math>\mathrm df(m)=\sum_{j=1}^n\partial_jf(m)\,\mathrm dx^j(m)</math>.
+
<li>Дифференциал функции в коорд. (<math>f\in\mathrm C^\infty\!(M)</math>): <math>\mathrm df(m)_\xi=\mathrm d(f\circ\xi^{-1})(\xi(m))\in\mathbb R_n</math>; <math>j</math>-я компон. дифф.-ла: <math>(\mathrm df(m)_\xi)_j=\frac{\partial(f\circ\xi^{-1})}{\partial x^j}(\xi(m))=\partial_jf(m)</math>.
<li>Производная Ли функции вдоль вектора (<math>v\in\mathrm T_mM</math>): <math>\mathcal L_v(f)=(\mathrm df(m))(v)</math>. Утверждение: <i><math>\mathcal L_v(fg)=\mathcal L_v(f)\,g(m)+f(m)\,\mathcal L_v(g)</math> и <math>\mathcal L_{\!\frac\partial{\partial x^i}(m)\!}(f)=\partial_if(m)</math></i>.</ul>
+
<li>Произв. Ли функции вдоль вект.: <math>\mathcal L_vf(m)=(\mathrm df(m))(v)</math>. Пример: <math>\mathcal L_{\frac\partial{\partial x^i}(m)}f(m)=\partial_if(m)</math>. Утверждение: <math>\mathcal L_v(fg)(m)=\mathcal L_vf(m)\,g(m)+f(m)\,\mathcal L_vg(m)</math>.</ul>

Текущая версия на 15:00, 15 марта 2019

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

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

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

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

  • Алгебраическая и безымянная кратности: и — кратности как корня многочлена и многочлена . Теорема о минимальном многочлене.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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