Алгебра phys 2 сентябрь–октябрь - История изменений

Goryachko в 12:00, 15 марта 2019

2019-03-15T12:00:26Z

Goryachko в 11:00, 15 марта 2019

2019-03-15T11:00:45Z

Внесённые изменения

Goryachko в 01:00, 15 марта 2019

2019-03-15T01:00:29Z

Goryachko в 20:00, 10 марта 2019

2019-03-10T20:00:28Z

Goryachko в 20:00, 30 октября 2018

2018-10-30T20:00:17Z

Goryachko в 21:00, 19 сентября 2018

2018-09-19T21:00:40Z

Goryachko в 21:00, 17 сентября 2018

2018-09-17T21:00:30Z

Goryachko в 17:00, 17 сентября 2018

2018-09-17T17:00:47Z

Goryachko в 15:00, 17 сентября 2018

2018-09-17T15:00:30Z

Goryachko в 21:00, 16 сентября 2018

2018-09-16T21:00:32Z

Внесённые изменения

@@ Строка 75: / Строка 75: @@
 <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>.
-<li><math>\mathbb C</math>-Спектр линейн. оператора <math>a</math> (<math>K=\mathbb R</math>, <math>a\in\mathrm{End}(V)</math>, <math>\dim V<\infty</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>Спектральная теорема для евклидовых пространств.</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>

@@ Строка 8: / Строка 8: @@
 <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>
-<li>Алгебраическая и безымянная кратности: <math>\alpha(a,c)</math> и <math>\beta(a,c)</math> — кратности <math>c</math> как корня многочлена <math>\chi_a</math> и многочлена <math>\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>
-<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</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>.

@@ Строка 58: / Строка 58: @@
 <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>. Теорема о свойствах сопряжения. Лемма о сопряжении и ортогональном дополнении.
-<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>
 <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>.
@@ Строка 110: / Строка 110: @@
 <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>.
-<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>, и для любых <math>v\in\mathrm T_mM</math> выполнено <math>v=\sum_{i=1}^n(v^\xi)^i\frac\partial{\partial x^i}(m)</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>\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>.

@@ Строка 58: / Строка 58: @@
 <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>. Теорема о свойствах сопряжения. Лемма о сопряжении и ортогональном дополнении.
-<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>
 <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>.
@@ Строка 69: / Строка 69: @@
 <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>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>Ортогональные многочлены как собственные функции формально самосопряженных дифференциальных операторов (см. пункт 10 в § 8 части 2 в [5]).</ul>
@@ Строка 109: / Строка 109: @@
 <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>\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>, и для любых <math>v\in\mathrm T_mM</math> выполнено <math>v=\sum_{i=1}^n(v^\xi)^i\frac\partial{\partial x^i}(m)</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\}</math> — базис пространства <math>\,\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>.</i></p>
 <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>.

@@ Строка 60: / Строка 60: @@
 <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>
 <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>

@@ Строка 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>.
 <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>
 <li>Алгебраическая и безымянная кратности: <math>\alpha(a,c)</math> и <math>\beta(a,c)</math> — кратности <math>c</math> как корня многочлена <math>\chi_a</math> и многочлена <math>\mu_a</math>. Теорема о минимальном многочлене.
@@ Строка 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>.
 <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>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>).
@@ Строка 107: / Строка 107: @@
 <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>\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>.
@@ Строка 115: / Строка 115: @@
 <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>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>