Алгебра phys 2 ноябрь–декабрь — различия между версиями
Материал из SEWiki
Goryachko (обсуждение | вклад) |
Goryachko (обсуждение | вклад) |
||
Строка 58: | Строка 58: | ||
<li><u>Теорема о симметрической алгебре и внешней алгебре.</u> <i>Пусть <math>K</math> — поле, <math>\mathrm{char}\,K=0</math>, <math>V</math> — векторное пространство над полем <math>K</math>, <math>\dim V<\infty</math><br>и <math>e\in\mathrm{OB}(V)</math>; обозначим через <math>n</math> число <math>\dim V</math>; тогда<br>(1) множество <math>\{e_{i_1}\!\cdot\ldots\cdot e_{i_k}\!\mid k\in\mathbb N_0,\,i_1,\ldots,i_k\in\{1,\ldots,n\},\,i_1\le\ldots\le i_k\}</math> — базис алгебры <math>\,\mathsf S(V)</math>, и для любых элементов <math>e_{i_1}\!\cdot\ldots\cdot e_{i_k}</math> и<br><math>e_{i_1'}\!\cdot\ldots\cdot e_{i_{k'}'}</math> этого базиса выполнено <math>(e_{i_1}\!\cdot\ldots\cdot e_{i_k})\cdot(e_{i_1'}\!\cdot\ldots\cdot e_{i_{k'}'}\!)=e_{\hat i_1}\!\cdot\ldots\cdot e_{\hat i_{k+k'}}</math>, где числа <math>\hat i_1,\ldots,\hat i_{k+k'}</math> суть числа <math>i_1,\ldots,i_k,i_1',\ldots,i_{k'}'</math>,<br>упорядоченные по неубыванию;<br>(2) множество <math>\{e_{i_1}\!\wedge\ldots\wedge e_{i_k}\!\mid k\in\{0,\ldots,n\},\,i_1,\ldots,i_k\in\{1,\ldots,n\},\,i_1<\ldots<i_k\}</math> — базис алгебры <math>\,\mathsf\Lambda(V)</math>, и для любых элементов<br><math>e_{i_1}\!\wedge\ldots\wedge e_{i_k}</math> и <math>e_{i_1'}\!\wedge\ldots\wedge e_{i_{k'}'}</math> этого базиса выполнено <math>(e_{i_1}\!\wedge\ldots\wedge e_{i_k})\wedge(e_{i_1'}\!\wedge\ldots\wedge e_{i_{k'}'}\!)=\mathrm{sgn}(i_1,\ldots,i_k,i_1',\ldots,i_{k'}'\!)\,e_{\hat i_1}\!\wedge\ldots\wedge e_{\hat i_{k+k'}}</math>, где<br>числа <math>\hat i_1,\ldots,\hat i_{k+k'}</math> суть числа <math>i_1,\ldots,i_k,i_1',\ldots,i_{k'}'</math>, упорядоченные по возрастанию.</i></ul> | <li><u>Теорема о симметрической алгебре и внешней алгебре.</u> <i>Пусть <math>K</math> — поле, <math>\mathrm{char}\,K=0</math>, <math>V</math> — векторное пространство над полем <math>K</math>, <math>\dim V<\infty</math><br>и <math>e\in\mathrm{OB}(V)</math>; обозначим через <math>n</math> число <math>\dim V</math>; тогда<br>(1) множество <math>\{e_{i_1}\!\cdot\ldots\cdot e_{i_k}\!\mid k\in\mathbb N_0,\,i_1,\ldots,i_k\in\{1,\ldots,n\},\,i_1\le\ldots\le i_k\}</math> — базис алгебры <math>\,\mathsf S(V)</math>, и для любых элементов <math>e_{i_1}\!\cdot\ldots\cdot e_{i_k}</math> и<br><math>e_{i_1'}\!\cdot\ldots\cdot e_{i_{k'}'}</math> этого базиса выполнено <math>(e_{i_1}\!\cdot\ldots\cdot e_{i_k})\cdot(e_{i_1'}\!\cdot\ldots\cdot e_{i_{k'}'}\!)=e_{\hat i_1}\!\cdot\ldots\cdot e_{\hat i_{k+k'}}</math>, где числа <math>\hat i_1,\ldots,\hat i_{k+k'}</math> суть числа <math>i_1,\ldots,i_k,i_1',\ldots,i_{k'}'</math>,<br>упорядоченные по неубыванию;<br>(2) множество <math>\{e_{i_1}\!\wedge\ldots\wedge e_{i_k}\!\mid k\in\{0,\ldots,n\},\,i_1,\ldots,i_k\in\{1,\ldots,n\},\,i_1<\ldots<i_k\}</math> — базис алгебры <math>\,\mathsf\Lambda(V)</math>, и для любых элементов<br><math>e_{i_1}\!\wedge\ldots\wedge e_{i_k}</math> и <math>e_{i_1'}\!\wedge\ldots\wedge e_{i_{k'}'}</math> этого базиса выполнено <math>(e_{i_1}\!\wedge\ldots\wedge e_{i_k})\wedge(e_{i_1'}\!\wedge\ldots\wedge e_{i_{k'}'}\!)=\mathrm{sgn}(i_1,\ldots,i_k,i_1',\ldots,i_{k'}'\!)\,e_{\hat i_1}\!\wedge\ldots\wedge e_{\hat i_{k+k'}}</math>, где<br>числа <math>\hat i_1,\ldots,\hat i_{k+k'}</math> суть числа <math>i_1,\ldots,i_k,i_1',\ldots,i_{k'}'</math>, упорядоченные по возрастанию.</i></ul> | ||
− | <h5>3.5.3 | + | <h5>3.5.3 Поливектор ориентации, форма объема, оператор Ходжа</h5> |
<ul><li>Билин. формы <math>\otimes^k\sigma</math> и <math>\wedge^k\sigma</math>: <math>\biggl(\!\begin{align}\otimes^k\sigma\colon\mathcal T^kV\times\mathcal T^kV&\to K\\(v_1\otimes\ldots\otimes v_k,w_1\otimes\ldots\otimes w_k)&\mapsto\sigma(v_1,w_1)\cdot\ldots\cdot\sigma(v_k,w_k)\end{align}\!\biggr)\!\in\mathrm{Bi}(\mathcal T^kV)</math> и <math>\wedge^k\sigma=\frac1{k!}\bigl({\otimes}^k\sigma\bigr)|_{\mathsf\Lambda^kV\times\mathsf\Lambda^kV}\!\in\mathrm{Bi}(\mathsf\Lambda^kV)</math>. | <ul><li>Билин. формы <math>\otimes^k\sigma</math> и <math>\wedge^k\sigma</math>: <math>\biggl(\!\begin{align}\otimes^k\sigma\colon\mathcal T^kV\times\mathcal T^kV&\to K\\(v_1\otimes\ldots\otimes v_k,w_1\otimes\ldots\otimes w_k)&\mapsto\sigma(v_1,w_1)\cdot\ldots\cdot\sigma(v_k,w_k)\end{align}\!\biggr)\!\in\mathrm{Bi}(\mathcal T^kV)</math> и <math>\wedge^k\sigma=\frac1{k!}\bigl({\otimes}^k\sigma\bigr)|_{\mathsf\Lambda^kV\times\mathsf\Lambda^kV}\!\in\mathrm{Bi}(\mathsf\Lambda^kV)</math>. | ||
<li><u>Лемма о продолжении билинейной формы на тензоры.</u> <i>Пусть <math>K</math> — поле, <math>\mathrm{char}\,K=0</math>, <math>V</math> — вект. пр. над <math>K</math>, <math>\sigma\in\mathrm{Bi}(V)</math>, <math>k\in\mathbb N_0</math>; тогда<br>(1) для любых <math>v_1,\ldots,v_k,w_1,\ldots,w_k\in V</math> выполнено <math>\wedge^k\sigma(v_1\wedge\ldots\wedge v_k,w_1\wedge\ldots\wedge w_k)=\det\!\Biggl(\begin{smallmatrix}\sigma(v_1,w_1)&\ldots&\sigma(v_1,w_k)\\\vdots&\ddots&\vdots\\\sigma(v_k,w_1)&\ldots&\sigma(v_k,w_k)\end{smallmatrix}\Biggr)</math>;<br>(2) если <math>\dim V<\infty</math> и <math>e\in\mathrm{OOB}(V,\sigma)</math>, то для любых таких <math>i_1,\ldots,i_k\in\{1,\ldots,\dim V\}</math>, что <math>i_1<\ldots<i_k</math>, выполнено<br><math>{\downarrow_{\wedge^k\sigma}}(e_{i_1}\!\wedge\ldots\wedge e_{i_k})=\prod_{h=1}^k\sigma(e_{i_h},e_{i_h})\,(e_{i_1}\!\wedge\ldots\wedge e_{i_k})^*</math> (и, значит, если форма <math>\sigma</math> невырождена, то и форма <math>\wedge^k\sigma</math> невырождена).</i> | <li><u>Лемма о продолжении билинейной формы на тензоры.</u> <i>Пусть <math>K</math> — поле, <math>\mathrm{char}\,K=0</math>, <math>V</math> — вект. пр. над <math>K</math>, <math>\sigma\in\mathrm{Bi}(V)</math>, <math>k\in\mathbb N_0</math>; тогда<br>(1) для любых <math>v_1,\ldots,v_k,w_1,\ldots,w_k\in V</math> выполнено <math>\wedge^k\sigma(v_1\wedge\ldots\wedge v_k,w_1\wedge\ldots\wedge w_k)=\det\!\Biggl(\begin{smallmatrix}\sigma(v_1,w_1)&\ldots&\sigma(v_1,w_k)\\\vdots&\ddots&\vdots\\\sigma(v_k,w_1)&\ldots&\sigma(v_k,w_k)\end{smallmatrix}\Biggr)</math>;<br>(2) если <math>\dim V<\infty</math> и <math>e\in\mathrm{OOB}(V,\sigma)</math>, то для любых таких <math>i_1,\ldots,i_k\in\{1,\ldots,\dim V\}</math>, что <math>i_1<\ldots<i_k</math>, выполнено<br><math>{\downarrow_{\wedge^k\sigma}}(e_{i_1}\!\wedge\ldots\wedge e_{i_k})=\prod_{h=1}^k\sigma(e_{i_h},e_{i_h})\,(e_{i_1}\!\wedge\ldots\wedge e_{i_k})^*</math> (и, значит, если форма <math>\sigma</math> невырождена, то и форма <math>\wedge^k\sigma</math> невырождена).</i> | ||
− | <li> | + | <li>Отнош.-е одинаковой ориентированности: <math>e\;\overset{\scriptscriptstyle\mathrm{or}}\sim\;\tilde e\,\Leftrightarrow\,\det\mathrm c_\tilde e^e>0</math>. Утверждение: <math>|\mathrm{OB}(V)/\overset{\scriptscriptstyle\mathrm{or}}\sim|=2</math>. Ориентация: элемент <math>\mathrm{OB}_{>0}(V)</math> мн.-ва <math>\mathrm{OB}(V)/\overset{\scriptscriptstyle\mathrm{or}}\sim</math>. |
− | <li><math>*x={\uparrow^{\wedge^{n-k}\sigma}}(y\mapsto | + | <li>Поливектор ориентации в псевдоевклидовом простр.-ве (<math>n=\dim V</math>): элемент <math>z_\sigma</math> мн.-ва <math>\{z\in\mathsf\Lambda^nV\mid(\wedge^n\sigma)(z,z)=\mathrm{sd}(\sigma)\}</math> (<math>\mathrm{sd}(\sigma)=(-1)^{\mathrm{rk}_{<0}(\sigma)}</math>). |
+ | <li>Утверждение: <math>v_1\wedge\ldots\wedge v_n=\det\!\bigl(v_1^e\;\ldots\;v_n^e\bigr)\,e_1\wedge\ldots\wedge e_n</math>. | ||
+ | <li><math>*x={\uparrow^{\wedge^{n-k}\sigma}}(y\mapsto z_\sigma^*(x\wedge y))\,\Leftrightarrow\,\forall\,y\in\mathsf\Lambda^{n-k}V\;\bigl((\wedge^{n-k}\sigma)(*x,y)=z_\sigma^*(x\wedge y)\bigr)\,\Leftrightarrow\,\forall\,y\in\mathsf\Lambda^{n-k}V\;\bigl((\wedge^{n-k}\sigma)(*x,y)\,z_\sigma=x\wedge y\bigr)</math>.</ul> |
Версия 05:15, 20 ноября 2016
3 Билинейная и полилинейная алгебра
| ||||||||
|
3.4 Тензорные произведения векторных пространств
3.4.1 Определения, конструкции и основные теоремы, связанные с тензорами
- Тензорное произв.-е пространств: , где и — подпространство полилинеаризации.
- Разложимые тензоры: . Утверждение: .
- Ранг тензора : равен минимальному среди всех таких чисел , что , где — разложимые тензоры.
- Теорема об универсальности тензорного произведения. Пусть — поле, и — векторные пространства над полем ;
тогда отображение полилинейно, и для любых существует единственный
такой гомоморфизм , что для любых выполнено
(и, значит, отображение — изоморфизм векторных пространств). - Теорема о базисе тензорного произведения. Пусть — поле, , — векторные пространства над полем и —
базисы пространств соответственно; тогда все тензоры , где , попарно различны и вместе
образуют базис пространства , а также, если , то . - Первая теорема о канонических изоморфизмах. Пусть — поле и — векторные пространства над полем ; тогда
и , а также . - Тензорное произв.-е тензоров: . Тензорное произв.-е гомоморфизмов (): .
- Вторая теорема о канонических изоморфизмах. Пусть — поле и — векторные пространства над полем ; тогда
(1) отображение — инъективный гомоморфизм векторных пространств, а также,
если , то данное отображение — изоморфизм векторных пространств;
(2) отображение — инъективный гомоморфизм векторных пространств, а также, если , то
данное отображение — изоморфизм векторных пространств;
(3) отображения и — инъективные гомоморфизмы векторных
пространств, а также, если , то данные отображения — изоморфизмы векторных пространств.
3.4.2 Тензорная алгебра и тензоры в координатах
- Пространство тензоров типа : . Примеры: , , , , .
- Примеры: — пространство структур алгебры на , — пространство структур коалгебры на .
- Утверждение: пусть и ; тогда — изоморфизм вект. пространств.
- Тензорная алгебра: — ассоциативная -алгебра с (в опред. умножения используются изоморфизмы ).
- Теорема о тензорной алгебре. Пусть — поле, — векторное пространство над полем , и ; обозначим через
число ; тогда множество — базис алгебры , и для любых элементов
и этого базиса выполнено (и, значит,
линейное отображение, заданное на базисе по правилу , — изоморфизм алгебр с ). - Тензор в координатах: . Примеры: , , .
- Примеры: — метрический тензор, — форма объема.
- Преобразование координат: (здесь и ).
3.4.3 Операции над тензорами
- Перестановки компонент тензоров в общем случае. Представление группы в простр.-ве : .
- Тензорное произведение тензоров в координатах: . Кронекеровское произведение матриц.
- Свертка по паре : .
- Свертка по паре в координатах: . Теорема о свертках тензоров малой валентности.
Теорема о свертках тензоров малой валентности. Пусть — поле, — векторное пространство над полем и ; тогда
(1) для любых , и выполнено , , и ;
(2) для любых и выполнено и . - Теорема об обратном метрическом тензоре. Пусть — поле, — векторное пространство над полем , и ; тогда
(1) прообраз гомоморфизма относительно изоморфизма равен тензору ;
(2) если форма невырождена, то, обозначая через прообраз гомоморфизма относительно изоморфизма
(тензор — тензор типа , обратный к тензору ), для любых имеем следующий факт: . - Опускание индекса: .
- Подъем индекса: .
- Опускание и подъем в координатах: и .
3.5 Симметрические и внешние степени векторных пространств
3.5.1 Определения и конструкции, связанные с симметричными и антисимметричными тензорами
- Симметрическая и внешняя степени: и .
- Теорема о симметричных и антисимметричных ковариантных тензорах и полилинейных формах. Пусть — поле, , — векторное
пространство над , , ; обозначим через изоморфизм ; тогда
(1) для любых , обозначая через автоморфизм , имеем следующие факты:
, , ;
(2) и (и, значит, и ). - Операторы симметризации и альтернирования: и . Лемма о симметризации и альтернировании.
Лемма о симметризации и альтернировании. Пусть — поле, , — векторное пространство над полем и ; тогда
(1) для любых выполнено и ;
(2) для любых выполнено и для любых выполнено ;
(3) , и , (то есть — проектор на и — проектор на ). - Симметрич. произведение векторов: . Внешнее произведение векторов: .
- Лемма о симметрическом произведении и внешнем произведении векторов. Пусть — поле, , — вект. пр. над , ; тогда
(1) и для любых и выполнено ;
(2) и для любых и выполнено . - Теорема о базисе симметрической степени и базисе внешней степени. Пусть — поле, , — векторное пространство над полем ,
, и ; обозначим через число ; тогда
(1) все тензоры , где и , попарно различны и вместе образуют базис пространства ;
(2) все тензоры , где и , попарно различны и вместе образуют базис пространства ;
(3) и . - Симметричный тензор в координатах: . Антисимметричный тензор в координатах: .
- Примеры: — форма объема, связанная с ; ().
3.5.2 Симметрическая алгебра и внешняя алгебра
- Симметрич. и внешняя степени гомоморфизма: и (корректность следует из ).
- Утверждение: пусть и ; тогда и .
- Симметрическое произведение тензоров: . Внешнее произведение тензоров: .
- Лемма о симметрическом произведении и внешнем произведении тензоров. Пусть — поле, , — векторное пространство над
полем , , и , , ; тогда
(1) и ;
(2) и ;
(3) и
(симметрическое произведение ассоциативно и внешнее произведение ассоциативно);
(4) и ;
(5) и (симметрическое произведение коммутативно и внешнее произведение суперкоммутативно). - Симметрическая алгебра (алгебра симметричных контравариантных тензоров): — ассоциативная коммутативная -алгебра с .
- Внешняя алгебра (алгебра антисимметричных контравариантных тензоров): — ассоциативная суперкоммутативная -алгебра с .
- Теорема о симметрической алгебре и внешней алгебре. Пусть — поле, , — векторное пространство над полем ,
и ; обозначим через число ; тогда
(1) множество — базис алгебры , и для любых элементов и
этого базиса выполнено , где числа суть числа ,
упорядоченные по неубыванию;
(2) множество — базис алгебры , и для любых элементов
и этого базиса выполнено , где
числа суть числа , упорядоченные по возрастанию.
3.5.3 Поливектор ориентации, форма объема, оператор Ходжа
- Билин. формы и : и .
- Лемма о продолжении билинейной формы на тензоры. Пусть — поле, , — вект. пр. над , , ; тогда
(1) для любых выполнено ;
(2) если и , то для любых таких , что , выполнено
(и, значит, если форма невырождена, то и форма невырождена). - Отнош.-е одинаковой ориентированности: . Утверждение: . Ориентация: элемент мн.-ва .
- Поливектор ориентации в псевдоевклидовом простр.-ве (): элемент мн.-ва ().
- Утверждение: .
- .