Алгебра phys 2 ноябрь–декабрь — различия между версиями
Материал из SEWiki
Goryachko (обсуждение | вклад) |
Goryachko (обсуждение | вклад) |
||
Строка 12: | Строка 12: | ||
<li><u>Теорема о базисе тензорного произведения.</u> <i>Пусть <math>K</math> — поле, <math>k\in\mathbb N_0</math>, <math>V_1,\ldots,V_k</math> — векторные пространства над полем <math>K</math> и <math>B_1,\ldots,B_k</math> — базисы<br>пространств <math>V_1,\ldots,V_k</math> соответственно; тогда все тензоры <math>b_1\otimes\ldots\otimes b_k</math>, где <math>b_1\in B_1,\ldots,b_k\in B_k</math>, попарно различны и вместе образуют базис<br>пространства <math>V_1\otimes\ldots\otimes V_k</math>, а также, если <math>\dim V_1,\ldots,\dim V_k<\infty</math>, то <math>\dim(V_1\otimes\ldots\otimes V_k)=\dim V_1\cdot\ldots\cdot\dim V_k</math>.</i> | <li><u>Теорема о базисе тензорного произведения.</u> <i>Пусть <math>K</math> — поле, <math>k\in\mathbb N_0</math>, <math>V_1,\ldots,V_k</math> — векторные пространства над полем <math>K</math> и <math>B_1,\ldots,B_k</math> — базисы<br>пространств <math>V_1,\ldots,V_k</math> соответственно; тогда все тензоры <math>b_1\otimes\ldots\otimes b_k</math>, где <math>b_1\in B_1,\ldots,b_k\in B_k</math>, попарно различны и вместе образуют базис<br>пространства <math>V_1\otimes\ldots\otimes V_k</math>, а также, если <math>\dim V_1,\ldots,\dim V_k<\infty</math>, то <math>\dim(V_1\otimes\ldots\otimes V_k)=\dim V_1\cdot\ldots\cdot\dim V_k</math>.</i> | ||
<li>Тензорное произв.-е тензоров: <math>T\otimes T'</math>. Тензорное произв.-е линейных операторов (<math>a\in\mathrm{Hom}(V,Y)</math>, <math>b\in\mathrm{Hom}(W,Z)</math>): <math>(a\otimes b)(v\otimes w)=a(v)\otimes b(w)</math>. | <li>Тензорное произв.-е тензоров: <math>T\otimes T'</math>. Тензорное произв.-е линейных операторов (<math>a\in\mathrm{Hom}(V,Y)</math>, <math>b\in\mathrm{Hom}(W,Z)</math>): <math>(a\otimes b)(v\otimes w)=a(v)\otimes b(w)</math>. | ||
− | <li><u>Первая теорема о канонических изоморфизмах.</u> <i>Пусть <math>K</math> — поле и <math>U,V,W</math> — | + | <li><u>Первая теорема о канонических изоморфизмах.</u> <i>Пусть <math>K</math> — поле и <math>U,V,W</math> — векторные пространства над полем <math>K</math>; тогда <math>V\otimes K\cong K\otimes V\cong V</math>,<br><math>(U\otimes V)\otimes W\cong U\otimes(V\otimes W)\cong U\otimes V\otimes W</math> и <math>V\otimes W\cong W\otimes V</math>.</i> |
<li><u>Вторая теорема о канонических изоморфизмах.</u> <i>Пусть <math>K</math> — поле, <math>k\in\mathbb N_0</math> и <math>V,W,Y</math> — векторные пространства над полем <math>K</math>; тогда<br>(1) <math>\biggl(\!\begin{align}Y\otimes V^*\!&\to\mathrm{Hom}(V,Y)\\y\otimes\lambda&\mapsto\bigl(v\mapsto\lambda(v)\,y\bigr)\!\end{align}\!\biggr)</math> — инъективный линейный оператор и, если <math>\dim V,\dim Y<\infty</math>, то это отображ.-е — изоморфизм вект. простр.-в;<br>(2) <math>\biggl(\!\begin{align}V^*\!\otimes W^*\!&\to(V\otimes W)^*\\\lambda\otimes\mu&\mapsto\bigl(v\otimes w\mapsto\lambda(v)\,\mu(w)\bigr)\!\end{align}\!\biggr)</math> — инъект. лин. оператор и, если <math>\dim V,\dim W<\infty</math>, то это отображ.-е — изоморфизм вект. простр.-в.</i></ul> | <li><u>Вторая теорема о канонических изоморфизмах.</u> <i>Пусть <math>K</math> — поле, <math>k\in\mathbb N_0</math> и <math>V,W,Y</math> — векторные пространства над полем <math>K</math>; тогда<br>(1) <math>\biggl(\!\begin{align}Y\otimes V^*\!&\to\mathrm{Hom}(V,Y)\\y\otimes\lambda&\mapsto\bigl(v\mapsto\lambda(v)\,y\bigr)\!\end{align}\!\biggr)</math> — инъективный линейный оператор и, если <math>\dim V,\dim Y<\infty</math>, то это отображ.-е — изоморфизм вект. простр.-в;<br>(2) <math>\biggl(\!\begin{align}V^*\!\otimes W^*\!&\to(V\otimes W)^*\\\lambda\otimes\mu&\mapsto\bigl(v\otimes w\mapsto\lambda(v)\,\mu(w)\bigr)\!\end{align}\!\biggr)</math> — инъект. лин. оператор и, если <math>\dim V,\dim W<\infty</math>, то это отображ.-е — изоморфизм вект. простр.-в.</i></ul> | ||
Строка 26: | Строка 26: | ||
<h5>3.4.3 Операции над тензорами</h5> | <h5>3.4.3 Операции над тензорами</h5> | ||
− | <ul><li>Тензоры с пропусками индексов. Тензорное пр.-е тензоров в коорд.-х: <math>\bigl(T\otimes T'\bigr)^{i_1,\ldots,i_p\;\;\;\;\;\;\;i_1',\ldots,i_{p'}'}_{\;\;\;\;\;\;\;\;j_1,\ldots,j_q\;\;\;\;\;\;\;j_1',\ldots,j_{q'}'}\!\!=T^{i_1,\ldots,i_p}_{j_1,\ldots,j_q}\!\cdot{T'}^{i_1',\ldots,i_{p'}'}_{j_1',\ldots,j_{q'}'}\!</math>. Кронекерово пр.-е матриц. | + | <ul><li>Тензоры с пропусками индексов. Тензорное пр.-е тензоров в коорд.-х: <math>\bigl(T\otimes T'\bigr)^{i_1,\ldots,i_p\;\;\;\;\;\;\;i_1',\ldots,i_{p'}'}_{\;\;\;\;\;\;\;\;j_1,\ldots,j_q\;\;\;\;\;\;\;j_1',\ldots,j_{q'}'}\!\!=T^{i_1,\ldots,i_p}_{j_1,\ldots,j_q}\!\cdot{T'}^{i_1',\ldots,i_{p'}'}_{\!j_1',\ldots,j_{q'}'}\!</math>. Кронекерово пр.-е матриц. |
<li>Перестановка компонент: <math>\biggl(\!\begin{align}\mathrm{pat}_u\colon\mathcal T^kV&\to\mathcal T^kV\\v_1\otimes\ldots\otimes v_k&\mapsto v_{u^{-1}(1)}\!\otimes\ldots\otimes v_{u^{-1}(k)}\end{align}\!\biggr)</math>. Действие <math>\mathrm{pat}</math> группы <math>\mathrm S_k</math>. Перест.-ка в коорд.-х: <math>\bigl(\mathrm{pat}_u(T)\bigr)^{i_1,\ldots,i_k}\!=T^{i_{u(1)},\ldots,i_{u(k)}}</math>. | <li>Перестановка компонент: <math>\biggl(\!\begin{align}\mathrm{pat}_u\colon\mathcal T^kV&\to\mathcal T^kV\\v_1\otimes\ldots\otimes v_k&\mapsto v_{u^{-1}(1)}\!\otimes\ldots\otimes v_{u^{-1}(k)}\end{align}\!\biggr)</math>. Действие <math>\mathrm{pat}</math> группы <math>\mathrm S_k</math>. Перест.-ка в коорд.-х: <math>\bigl(\mathrm{pat}_u(T)\bigr)^{i_1,\ldots,i_k}\!=T^{i_{u(1)},\ldots,i_{u(k)}}</math>. | ||
<li>Свертка по <math>b</math>-й и <math>d</math>-й позициям: <math>\biggl(\!\begin{align}\mathrm{tr}^b_d\,\colon\mathcal T^p_{\;q}V&\to\mathcal T^{p-1}_{\;q-1}V\\v_1\otimes\ldots\otimes v_p\otimes\lambda_1\otimes\ldots\otimes\lambda_q&\mapsto\lambda_d(v_b)\;v_1\otimes\ldots\otimes v_{b-1}\!\otimes v_{b+1}\!\otimes\ldots\otimes v_p\otimes\lambda_1\otimes\ldots\otimes\lambda_{d-1}\!\otimes\lambda_{d+1}\!\otimes\ldots\otimes\lambda_q\end{align}\!\biggr)</math>. | <li>Свертка по <math>b</math>-й и <math>d</math>-й позициям: <math>\biggl(\!\begin{align}\mathrm{tr}^b_d\,\colon\mathcal T^p_{\;q}V&\to\mathcal T^{p-1}_{\;q-1}V\\v_1\otimes\ldots\otimes v_p\otimes\lambda_1\otimes\ldots\otimes\lambda_q&\mapsto\lambda_d(v_b)\;v_1\otimes\ldots\otimes v_{b-1}\!\otimes v_{b+1}\!\otimes\ldots\otimes v_p\otimes\lambda_1\otimes\ldots\otimes\lambda_{d-1}\!\otimes\lambda_{d+1}\!\otimes\ldots\otimes\lambda_q\end{align}\!\biggr)</math>. | ||
Строка 40: | Строка 40: | ||
<ul><li>Симметрическая степень: <math>\mathsf S^kV=\{T\in\mathcal T^kV\mid\forall\,u\in\mathrm S_k\,\bigl(\mathrm{pat}_u(T)=T\bigr)\}</math>. Внешняя степень: <math>\mathsf\Lambda^kV=\{T\in\mathcal T^kV\mid\forall\,u\in\mathrm S_k\,\bigl(\mathrm{pat}_u(T)=\mathrm{sgn}(u)\,T\bigr)\}</math>. | <ul><li>Симметрическая степень: <math>\mathsf S^kV=\{T\in\mathcal T^kV\mid\forall\,u\in\mathrm S_k\,\bigl(\mathrm{pat}_u(T)=T\bigr)\}</math>. Внешняя степень: <math>\mathsf\Lambda^kV=\{T\in\mathcal T^kV\mid\forall\,u\in\mathrm S_k\,\bigl(\mathrm{pat}_u(T)=\mathrm{sgn}(u)\,T\bigr)\}</math>. | ||
<li><u>Теорема о симметричных и антисимметричных ковариантных тензорах и полилинейных формах.</u> <i>Пусть <math>K</math> — поле, <math>\mathrm{char}\,K\ne2</math>, <math>V</math> — вект. пр.-во над <math>K</math>,<br><math>k\in\mathbb N_0</math> и <math>\dim V<\infty</math>; обозначим через <math>\iota</math> канонический изоморфизм <math>\biggl(\!\begin{align}\mathcal T^kV^*\!&\to\mathrm{Multi}_kV\\\lambda_1\otimes\ldots\otimes\lambda_k&\mapsto\bigl((v_1,\ldots,v_k)\mapsto\lambda_1(v_1)\cdot\ldots\cdot\lambda_k(v_k)\bigr)\!\end{align}\!\biggr)</math>; тогда<br>(1) <math>\forall\,u\in\mathrm S_k\,\bigl(\iota\circ\mathrm{pat}_u=\mathrm{paf}_u\!\circ\iota\bigr)</math> (напоминание: <math>\mathrm{pat}_u(\lambda_1\otimes\ldots\otimes\lambda_k)=\lambda_{u^{-1}(1)}\!\otimes\ldots\otimes\lambda_{u^{-1}(k)}</math> и <math>(\mathrm{paf}_u(\omega))(v_1,\ldots,v_k)=\omega(v_{u(1)},\ldots,v_{u(k)})</math>);<br>(2) <math>\iota(\mathsf S^kV^*)=\mathrm{SMulti}_kV</math> и <math>\iota(\mathsf\Lambda^kV^*)=\mathrm{AMulti}_kV</math> (и, значит, <math>\mathsf S^kV^*\!\cong\mathrm{SMulti}_kV</math> и <math>\,\mathsf\Lambda^kV^*\!\cong\mathrm{AMulti}_kV</math>).</i> | <li><u>Теорема о симметричных и антисимметричных ковариантных тензорах и полилинейных формах.</u> <i>Пусть <math>K</math> — поле, <math>\mathrm{char}\,K\ne2</math>, <math>V</math> — вект. пр.-во над <math>K</math>,<br><math>k\in\mathbb N_0</math> и <math>\dim V<\infty</math>; обозначим через <math>\iota</math> канонический изоморфизм <math>\biggl(\!\begin{align}\mathcal T^kV^*\!&\to\mathrm{Multi}_kV\\\lambda_1\otimes\ldots\otimes\lambda_k&\mapsto\bigl((v_1,\ldots,v_k)\mapsto\lambda_1(v_1)\cdot\ldots\cdot\lambda_k(v_k)\bigr)\!\end{align}\!\biggr)</math>; тогда<br>(1) <math>\forall\,u\in\mathrm S_k\,\bigl(\iota\circ\mathrm{pat}_u=\mathrm{paf}_u\!\circ\iota\bigr)</math> (напоминание: <math>\mathrm{pat}_u(\lambda_1\otimes\ldots\otimes\lambda_k)=\lambda_{u^{-1}(1)}\!\otimes\ldots\otimes\lambda_{u^{-1}(k)}</math> и <math>(\mathrm{paf}_u(\omega))(v_1,\ldots,v_k)=\omega(v_{u(1)},\ldots,v_{u(k)})</math>);<br>(2) <math>\iota(\mathsf S^kV^*)=\mathrm{SMulti}_kV</math> и <math>\iota(\mathsf\Lambda^kV^*)=\mathrm{AMulti}_kV</math> (и, значит, <math>\mathsf S^kV^*\!\cong\mathrm{SMulti}_kV</math> и <math>\,\mathsf\Lambda^kV^*\!\cong\mathrm{AMulti}_kV</math>).</i> | ||
− | + | <li>Оператор симметризации: <math>\mathrm{sym}_k=\frac1{k!}\!\sum_{u\in\mathrm S_k}\mathrm{pat}_u</math>. Оператор альтернирования: <math>\mathrm{alt}_k=\frac1{k!}\!\sum_{u\in\mathrm S_k}\mathrm{sgn}(u)\,\mathrm{pat}_u</math>. Лемма о симметризации и альтернировании. | |
− | <li> | + | <p><u>Лемма о симметризации и альтернировании.</u> <i>Пусть <math>K</math> — поле, <math>\mathrm{char}\,K=0</math>, <math>V</math> — векторное пространство над полем <math>K</math> и <math>k\in\mathbb N_0</math>; тогда<br>(1) для любых <math>u\in\mathrm S_k</math> выполнено <math>\mathrm{pat}_u\!\circ\mathrm{sym}_k=\mathrm{sym}_k\circ\mathrm{pat}_u=\mathrm{sym}_k</math> и <math>\mathrm{pat}_u\!\circ\mathrm{alt}_k=\mathrm{alt}_k\circ\mathrm{pat}_u=\mathrm{sgn}(u)\,\mathrm{alt}_k</math>;<br>(2) для любых <math>T\in\mathsf S^kV</math> выполнено <math>\mathrm{sym}_k(T)=T</math> и для любых <math>T\in\mathsf\Lambda^kV</math> выполнено <math>\mathrm{alt}_k(T)=T</math>;<br>(3) <math>\mathrm{Im}\,\mathrm{sym}_k=\mathsf S^kV</math> и <math>\,\mathrm{Im}\,\mathrm{alt}_k=\mathsf\Lambda^kV</math>, а также <math>\mathrm{sym}_k^2=\mathrm{sym}_k</math> и <math>\mathrm{alt}_k^2=\mathrm{alt}_k</math> (и, значит, <math>\mathrm{sym}_k</math> — проектор на <math>\,\mathsf S^kV</math> и <math>\mathrm{alt}_k</math> — проектор на <math>\,\mathsf\Lambda^kV</math>).</i></p> |
− | <p><u>Лемма о симметризации и альтернировании.</u> <i>Пусть <math>K</math> — поле, <math>\mathrm{char}\,K=0</math>, <math>V</math> — векторное пространство над полем <math>K</math> и <math>k\in\mathbb N_0</math>; тогда<br>(1) для любых <math>u\in\mathrm S_k</math> выполнено <math>\mathrm{pat}_u\!\circ\mathrm{sym}_k=\mathrm{sym}_k\circ\mathrm{pat}_u=\mathrm{sym}_k</math> и <math>\mathrm{pat}_u\!\circ\mathrm{alt}_k=\mathrm{alt}_k\circ\mathrm{pat}_u=\mathrm{sgn}(u)\,\mathrm{alt}_k</math>;<br>(2) для любых <math>T\in\mathsf S^kV</math> выполнено <math>\mathrm{sym}_k(T)=T</math> и для любых <math>T\in\mathsf\Lambda^kV</math> выполнено <math>\mathrm{alt}_k(T)=T</math>;<br>(3) <math>\mathrm{Im}\,\mathrm{sym}_k=\mathsf S^kV</math> | + | <li>Симметр. и внешнее произв.-я векторов: <math>v_1\cdot\ldots\cdot v_k=\mathrm{sym}_k(v_1\otimes\ldots\otimes v_k)</math> и <math>v_1\wedge\ldots\wedge v_k=k!\,\mathrm{alt}_k(v_1\otimes\ldots\otimes v_k)</math>. Пример: <math>\mathrm{vol}^e\!=e^1\wedge\ldots\wedge e^n</math>. |
− | + | ||
− | <li> | + | |
<li><u>Лемма к теореме об универсальности симметрической степени и внешней степени.</u> <i>Пусть <math>K</math> — поле, <math>\mathrm{char}\,K=0</math>, <math>V</math> — в. пр. над <math>K</math> и <math>k\in\mathbb N_0</math>; тогда<br>(1) <math>\mathsf S^kV=\bigl\langle\{v_1\cdot\ldots\cdot v_k\mid v_1,\ldots,v_k\in V\}\bigr\rangle</math> и отображение <math>\biggl(\!\begin{align}V^k\!&\to\mathsf S^kV\\(v_1,\ldots,v_k)&\mapsto v_1\cdot\ldots\cdot v_k\end{align}\!\biggr)</math> — симметричный полилинейный оператор;<br>(2) <math>\mathsf\Lambda^kV=\bigl\langle\{v_1\wedge\ldots\wedge v_k\mid v_1,\ldots,v_k\in V\}\bigr\rangle</math> и отображение <math>\biggl(\!\begin{align}V^k\!&\to\mathsf\Lambda^kV\\(v_1,\ldots,v_k)&\mapsto v_1\wedge\ldots\wedge v_k\end{align}\!\biggr)</math> — антисимметричный полилинейный оператор.</i> | <li><u>Лемма к теореме об универсальности симметрической степени и внешней степени.</u> <i>Пусть <math>K</math> — поле, <math>\mathrm{char}\,K=0</math>, <math>V</math> — в. пр. над <math>K</math> и <math>k\in\mathbb N_0</math>; тогда<br>(1) <math>\mathsf S^kV=\bigl\langle\{v_1\cdot\ldots\cdot v_k\mid v_1,\ldots,v_k\in V\}\bigr\rangle</math> и отображение <math>\biggl(\!\begin{align}V^k\!&\to\mathsf S^kV\\(v_1,\ldots,v_k)&\mapsto v_1\cdot\ldots\cdot v_k\end{align}\!\biggr)</math> — симметричный полилинейный оператор;<br>(2) <math>\mathsf\Lambda^kV=\bigl\langle\{v_1\wedge\ldots\wedge v_k\mid v_1,\ldots,v_k\in V\}\bigr\rangle</math> и отображение <math>\biggl(\!\begin{align}V^k\!&\to\mathsf\Lambda^kV\\(v_1,\ldots,v_k)&\mapsto v_1\wedge\ldots\wedge v_k\end{align}\!\biggr)</math> — антисимметричный полилинейный оператор.</i> | ||
<li><u>Теорема об универсальности симметрической степени и внешней степени.</u> <i>Пусть <math>K</math> — поле, <math>\mathrm{char}\,K=0</math>, <math>V,Y</math> — вект. пр.-ва над <math>K</math> и <math>k\in\mathbb N_0</math>; тогда<br>(1) для любых <math>\omega\in\mathrm{SMulti}_k(V,Y)</math> существует единств. такой линейный оператор <math>a\in\mathrm{Hom}(\mathsf S^kV,Y)</math>, что для любых <math>v_1,\ldots,v_k\in V</math> выполнено<br><math>a(v_1\cdot\ldots\cdot v_k)=\omega(v_1,\ldots,v_k)</math> (и, значит, <math>\biggl(\!\begin{align}\mathrm{Hom}(\mathsf S^kV,Y)&\to\mathrm{SMulti}_k(V,Y)\\a&\mapsto\bigl((v_1,\ldots,v_k)\mapsto a(v_1\cdot\ldots\cdot v_k)\bigr)\!\end{align}\!\biggr)</math> — изоморфизм векторных пространств);<br>(2) для любых <math>\omega\in\mathrm{AMulti}_k(V,Y)</math> существует единств. такой линейный оператор <math>a\in\mathrm{Hom}(\mathsf\Lambda^kV,Y)</math>, что для любых <math>v_1,\ldots,v_k\in V</math> выполнено<br><math>a(v_1\wedge\ldots\wedge v_k)=\omega(v_1,\ldots,v_k)</math> (и, значит, <math>\biggl(\!\begin{align}\mathrm{Hom}(\mathsf\Lambda^kV,Y)&\to\mathrm{AMulti}_k(V,Y)\\a&\mapsto\bigl((v_1,\ldots,v_k)\mapsto a(v_1\wedge\ldots\wedge v_k)\bigr)\!\end{align}\!\biggr)</math> — изоморфизм векторных пространств).</i> | <li><u>Теорема об универсальности симметрической степени и внешней степени.</u> <i>Пусть <math>K</math> — поле, <math>\mathrm{char}\,K=0</math>, <math>V,Y</math> — вект. пр.-ва над <math>K</math> и <math>k\in\mathbb N_0</math>; тогда<br>(1) для любых <math>\omega\in\mathrm{SMulti}_k(V,Y)</math> существует единств. такой линейный оператор <math>a\in\mathrm{Hom}(\mathsf S^kV,Y)</math>, что для любых <math>v_1,\ldots,v_k\in V</math> выполнено<br><math>a(v_1\cdot\ldots\cdot v_k)=\omega(v_1,\ldots,v_k)</math> (и, значит, <math>\biggl(\!\begin{align}\mathrm{Hom}(\mathsf S^kV,Y)&\to\mathrm{SMulti}_k(V,Y)\\a&\mapsto\bigl((v_1,\ldots,v_k)\mapsto a(v_1\cdot\ldots\cdot v_k)\bigr)\!\end{align}\!\biggr)</math> — изоморфизм векторных пространств);<br>(2) для любых <math>\omega\in\mathrm{AMulti}_k(V,Y)</math> существует единств. такой линейный оператор <math>a\in\mathrm{Hom}(\mathsf\Lambda^kV,Y)</math>, что для любых <math>v_1,\ldots,v_k\in V</math> выполнено<br><math>a(v_1\wedge\ldots\wedge v_k)=\omega(v_1,\ldots,v_k)</math> (и, значит, <math>\biggl(\!\begin{align}\mathrm{Hom}(\mathsf\Lambda^kV,Y)&\to\mathrm{AMulti}_k(V,Y)\\a&\mapsto\bigl((v_1,\ldots,v_k)\mapsto a(v_1\wedge\ldots\wedge v_k)\bigr)\!\end{align}\!\biggr)</math> — изоморфизм векторных пространств).</i> | ||
<li><u>Теорема о базисе симметрической степени и внешней степени.</u> <i>Пусть <math>K</math> — поле, <math>\mathrm{char}\,K=0</math>, <math>V</math> — векторное пространство над полем <math>K</math>, <math>k\in\mathbb N_0</math>,<br><math>n=\dim V<\infty</math> и <math>e\in\mathrm{OB}(V)</math>; тогда<br>(1) все тензоры <math>e_{i_1}\!\cdot\ldots\cdot e_{i_k}</math>, где <math>i_1,\ldots,i_k\in\{1,\ldots,n\}</math> и <math>i_1\le\ldots\le i_k</math>, попарно различны и вместе образуют базис пространства <math>\,\mathsf S^kV</math>;<br>(2) все тензоры <math>e_{i_1}\!\wedge\ldots\wedge e_{i_k}</math>, где <math>i_1,\ldots,i_k\in\{1,\ldots,n\}</math> и <math>i_1<\ldots<i_k</math>, попарно различны и вместе образуют базис пространства <math>\,\mathsf\Lambda^kV</math>;<br>(3) <math>\dim\mathsf S^kV=\biggl(\!\!\binom nk\!\!\biggr)=\binom{n+k-1}k=\frac{(n+k-1)!}{k!\,(n-1)!}</math> и <math>\,\dim\mathsf\Lambda^kV=\binom nk=\frac{n!}{k!\,(n-k)!}</math>.</i> | <li><u>Теорема о базисе симметрической степени и внешней степени.</u> <i>Пусть <math>K</math> — поле, <math>\mathrm{char}\,K=0</math>, <math>V</math> — векторное пространство над полем <math>K</math>, <math>k\in\mathbb N_0</math>,<br><math>n=\dim V<\infty</math> и <math>e\in\mathrm{OB}(V)</math>; тогда<br>(1) все тензоры <math>e_{i_1}\!\cdot\ldots\cdot e_{i_k}</math>, где <math>i_1,\ldots,i_k\in\{1,\ldots,n\}</math> и <math>i_1\le\ldots\le i_k</math>, попарно различны и вместе образуют базис пространства <math>\,\mathsf S^kV</math>;<br>(2) все тензоры <math>e_{i_1}\!\wedge\ldots\wedge e_{i_k}</math>, где <math>i_1,\ldots,i_k\in\{1,\ldots,n\}</math> и <math>i_1<\ldots<i_k</math>, попарно различны и вместе образуют базис пространства <math>\,\mathsf\Lambda^kV</math>;<br>(3) <math>\dim\mathsf S^kV=\biggl(\!\!\binom nk\!\!\biggr)=\binom{n+k-1}k=\frac{(n+k-1)!}{k!\,(n-1)!}</math> и <math>\,\dim\mathsf\Lambda^kV=\binom nk=\frac{n!}{k!\,(n-k)!}</math>.</i> | ||
+ | <li>Симметрич. и внешняя степени лин. оператора (<math>a\in\mathrm{Hom}(V,Y)</math>): <math>a^{\cdot k}(v_1\cdot\ldots\cdot v_k)=a(v_1)\cdot\ldots\cdot a(v_k)</math> и <math>a^{\wedge k}(v_1\wedge\ldots\wedge v_k)=a(v_1)\wedge\ldots\wedge a(v_k)</math>.</ul> | ||
− | <li> | + | <h5>3.5.2 Симметрическая алгебра и внешняя алгебра</h5> |
− | + | <ul><li>Симметрическое произв.-е и внешнее произв.-е тензоров (<math>T\in\mathcal T^kV</math>, <math>T'\!\in\mathcal T^{k'}\!V</math>): <math>T\cdot T'=\mathrm{sym}_{k+k'}(T\otimes T')</math> и <math>T\wedge T'=\frac{(k+k')!}{k!\,k'!}\,\mathrm{alt}_{k+k'}(T\otimes T')</math>. | |
− | + | <li>Симметриз.-я и альтерн.-е в коорд.: <math>T^{(i_1,\ldots,i_k)}\!=\bigl(\mathrm{sym}_k(T)\bigr)^{i_1,\ldots,i_k}\!=\frac1{k!}\!\sum_{u\in\mathrm S_k}T^{i_{u(1)},\ldots,i_{u(k)}}</math> и <math>T^{[i_1,\ldots,i_k]}\!=\bigl(\mathrm{alt}_k(T)\bigr)^{i_1,\ldots,i_k}\!=\frac1{k!}\!\sum_{u\in\mathrm S_k}\mathrm{sgn}(u)\,T^{i_{u(1)},\ldots,i_{u(k)}}</math>. | |
− | + | <li>Симметрическое и внешнее произв. в коорд.: <math>\bigl(T\cdot T'\bigr)^{i_1,\ldots,i_k,i_1',\ldots,i_{k'}'}\!=T\!\phantom'^{(i_1,\ldots,i_k}\!\cdot{T'}^{i_1',\ldots,i_{k'}')}</math> и <math>\bigl(T\wedge T'\bigr)^{i_1,\ldots,i_k,i_1',\ldots,i_{k'}'}\!=\frac{(k+k')!}{k!\,k'!}\,T\!\phantom'^{[i_1,\ldots,i_k}\!\cdot{T'}^{i_1',\ldots,i_{k'}']}</math>. | |
− | + | <li><u>Теорема о симметрическом произведении и внешнем произведении тензоров.</u> <i>Пусть <math>K</math> — поле, <math>\mathrm{char}\,K=0</math>, <math>V</math> — векторное простр.-во над полем <math>K</math>,<br><math>k,k',k''\!\in\mathbb N_0</math>, <math>v_1,\ldots,v_k,v_1',\ldots,v_{k'}'\!\in V</math> и <math>T\in\mathcal T^kV</math>, <math>T'\!\in\mathcal T^{k'}\!V</math>, <math>T''\!\in\mathcal T^{k''}\!V</math>; тогда<br>(1) <math>(v_1\otimes\ldots\otimes v_k)\cdot(v_1'\otimes\ldots\otimes v_{k'}')=v_1\cdot\ldots\cdot v_k\cdot v_1'\cdot\ldots\cdot v_{k'}'</math> и <math>(v_1\otimes\ldots\otimes v_k)\wedge(v_1'\otimes\ldots\otimes v_{k'}')=\frac1{k!\,k'!}\,v_1\wedge\ldots\wedge v_k\wedge v_1'\wedge\ldots\wedge v_{k'}'</math>;<br>(2) <math>\mathrm{sym}_k(T)\cdot T'=T\cdot\mathrm{sym}_{k'}(T')=T\cdot T'</math> и <math>\mathrm{alt}_k(T)\wedge T'=T\wedge\mathrm{alt}_{k'}(T')=T\wedge T'</math>;<br>(3) <math>(T\cdot T')\cdot T''=T\cdot(T'\cdot T'')=\mathrm{sym}_{k+k'+k''}(T\otimes T'\otimes T'')</math> и <math>(T\wedge T')\wedge T''=T\wedge(T'\wedge T'')=\frac{(k+k'+k'')!}{k!\,k'!\,k''!}\,\mathrm{alt}_{k+k'+k''}(T\otimes T'\otimes T'')</math><br>(симметрическое произведение ассоциативно и внешнее произведение ассоциативно);<br>(4) <math>(\ldots(v_1\cdot v_2)\cdot\ldots\cdot v_{k-1})\cdot v_k=v_1\cdot\ldots\cdot v_k</math> и <math>(\ldots(v_1\wedge v_2)\wedge\ldots\wedge v_{k-1})\wedge v_k=v_1\wedge\ldots\wedge v_k</math>;<br>(5) <math>T\cdot T'=T'\cdot T</math> и <math>T\wedge T'=(-1)^{kk'}T'\wedge T</math> (симметрическое произведение коммутативно и внешнее произведение суперкоммутативно).</i> | |
− | <li> | + | |
− | + | ||
− | <li><u> | + | |
− | + | ||
<li>Симметрическая алгебра (алгебра симметричных контравариантных тензоров) над <math>V</math>: <math>\mathsf S(V)=\bigoplus_{k=0}^\infty\mathsf S^kV</math> — ассоциативная коммутативная <math>K</math>-алгебра с <math>1</math>. | <li>Симметрическая алгебра (алгебра симметричных контравариантных тензоров) над <math>V</math>: <math>\mathsf S(V)=\bigoplus_{k=0}^\infty\mathsf S^kV</math> — ассоциативная коммутативная <math>K</math>-алгебра с <math>1</math>. | ||
<li>Внешняя алгебра (алгебра антисимметричных контравариантных тенз.-в) над <math>V</math>: <math>\mathsf\Lambda(V)=\bigoplus_{k=0}^\infty\mathsf\Lambda^kV</math> — ассоциативная суперкоммутативная <math>K</math>-алгебра с <math>1</math>. | <li>Внешняя алгебра (алгебра антисимметричных контравариантных тенз.-в) над <math>V</math>: <math>\mathsf\Lambda(V)=\bigoplus_{k=0}^\infty\mathsf\Lambda^kV</math> — ассоциативная суперкоммутативная <math>K</math>-алгебра с <math>1</math>. |
Версия 19:00, 17 октября 2017
3 Билинейная и полилинейная алгебра
|
3.4 Тензорные произведения векторных пространств
3.4.1 Определения и конструкции, связанные с тензорами
- Тензорное произведение пространств: , где и — подпространство полилинеаризации.
- Разложимый тензор: . Ранг тензора : есть миним. среди всех таких , что равен сумме разл. тензоров.
- Лемма к теореме об универсальности тензорного произведения. Пусть — поле, и — векторные простр.-ва над полем ; тогда
и отображение — полилинейный оператор. - Теорема об универсальности тензорного произведения. Пусть — поле, и — вект. простр.-ва над полем ; тогда для любых
существует единств. такой лин. оператор , что для любых выполнено
(и, значит, — изоморфизм вект. пространств). - Теорема о базисе тензорного произведения. Пусть — поле, , — векторные пространства над полем и — базисы
пространств соответственно; тогда все тензоры , где , попарно различны и вместе образуют базис
пространства , а также, если , то . - Тензорное произв.-е тензоров: . Тензорное произв.-е линейных операторов (, ): .
- Первая теорема о канонических изоморфизмах. Пусть — поле и — векторные пространства над полем ; тогда ,
и . - Вторая теорема о канонических изоморфизмах. Пусть — поле, и — векторные пространства над полем ; тогда
(1) — инъективный линейный оператор и, если , то это отображ.-е — изоморфизм вект. простр.-в;
(2) — инъект. лин. оператор и, если , то это отображ.-е — изоморфизм вект. простр.-в.
3.4.2 Тензоры типа и тензорная алгебра
- Пространство тензоров типа над : . Примеры: , , , , .
- Примеры: — простр.-во структур алгебры на , — простр.-во структур коалгебры на , .
- Теорема о канонических изоморфизмах для тензоров типа (p,q). Пусть — поле, — вект. простр.-во над полем , и ; тогда
(1) — изоморфизм векторных пространств;
(2) — изоморфизм векторных пространств;
(3) — изоморфизм вект. простр.-в. - Тензоры типа в координ.-х: . Примеры: , , .
- Примеры: — метрический тензор, — форма объема, связанная с упоряд. базисом .
- Преобразование при замене базиса: . Примеры: , .
- Тензорная алгебра над : — ассоциативная -алгебра с (в опр.-и умнож.-я используются изоморфизмы ).
- Теорема о тензорной алгебре. Пусть — поле, — векторное пространство над полем , и ; тогда множество
— базис алгебры , и для любых элементов и этого базиса
выполнено (и, значит, отображение, продолжающее по линейности заданное
на базисе отображение , — изоморфизм алгебр с ).
3.4.3 Операции над тензорами
- Тензоры с пропусками индексов. Тензорное пр.-е тензоров в коорд.-х: . Кронекерово пр.-е матриц.
- Перестановка компонент: . Действие группы . Перест.-ка в коорд.-х: .
- Свертка по -й и -й позициям: .
- Свертка по -й и -й позициям в координатах: . Теорема о свертках тензоров малой валентности.
Теорема о свертках тензоров малой валентности. Пусть — поле, — векторное пространство над полем и ; тогда
(1) для любых , и выполнено , , и ;
(2) для любых и выполнено и . - Теорема об обратном метрическом тензоре. Пусть — поле, — вект. пр.-во над , , и форма невырождена; тогда
(1) для любых выполнено (тензор — обратный тензор по отношению к тензору );
(2) под действием канонического изоморфизма тензор переходит в форму ;
(3) для любых выполнено . - Опускание с -й поз.-и на -ю: .
- Подъем с -й позиции на -ю: .
- Опускание и подъем индексов в коорд.-х: и .
3.5 Симметрические и внешние степени векторных пространств
3.5.1 Определения и конструкции, связанные с симметричными и антисимметричными тензорами
- Симметрическая степень: . Внешняя степень: .
- Теорема о симметричных и антисимметричных ковариантных тензорах и полилинейных формах. Пусть — поле, , — вект. пр.-во над ,
и ; обозначим через канонический изоморфизм ; тогда
(1) (напоминание: и );
(2) и (и, значит, и ). - Оператор симметризации: . Оператор альтернирования: . Лемма о симметризации и альтернировании.
Лемма о симметризации и альтернировании. Пусть — поле, , — векторное пространство над полем и ; тогда
(1) для любых выполнено и ;
(2) для любых выполнено и для любых выполнено ;
(3) и , а также и (и, значит, — проектор на и — проектор на ). - Симметр. и внешнее произв.-я векторов: и . Пример: .
- Лемма к теореме об универсальности симметрической степени и внешней степени. Пусть — поле, , — в. пр. над и ; тогда
(1) и отображение — симметричный полилинейный оператор;
(2) и отображение — антисимметричный полилинейный оператор. - Теорема об универсальности симметрической степени и внешней степени. Пусть — поле, , — вект. пр.-ва над и ; тогда
(1) для любых существует единств. такой линейный оператор , что для любых выполнено
(и, значит, — изоморфизм векторных пространств);
(2) для любых существует единств. такой линейный оператор , что для любых выполнено
(и, значит, — изоморфизм векторных пространств). - Теорема о базисе симметрической степени и внешней степени. Пусть — поле, , — векторное пространство над полем , ,
и ; тогда
(1) все тензоры , где и , попарно различны и вместе образуют базис пространства ;
(2) все тензоры , где и , попарно различны и вместе образуют базис пространства ;
(3) и . - Симметрич. и внешняя степени лин. оператора (): и .
3.5.2 Симметрическая алгебра и внешняя алгебра
- Симметрическое произв.-е и внешнее произв.-е тензоров (, ): и .
- Симметриз.-я и альтерн.-е в коорд.: и .
- Симметрическое и внешнее произв. в коорд.: и .
- Теорема о симметрическом произведении и внешнем произведении тензоров. Пусть — поле, , — векторное простр.-во над полем ,
, и , , ; тогда
(1) и ;
(2) и ;
(3) и
(симметрическое произведение ассоциативно и внешнее произведение ассоциативно);
(4) и ;
(5) и (симметрическое произведение коммутативно и внешнее произведение суперкоммутативно). - Симметрическая алгебра (алгебра симметричных контравариантных тензоров) над : — ассоциативная коммутативная -алгебра с .
- Внешняя алгебра (алгебра антисимметричных контравариантных тенз.-в) над : — ассоциативная суперкоммутативная -алгебра с .
- Теорема о симметрической алгебре и внешней алгебре. Пусть — поле, , — вект. пр.-во над , и ; тогда
(1) — базис алгебры , и для любых элементов и этого
базиса выполнено , где числа суть числа , упоряд. по неубыванию;
(2) — базис алгебры , и для любых элементов и
этого базиса выполнено , где числа
суть числа , упорядоченные по возрастанию.