Алгебра phys 2 ноябрь–декабрь — различия между версиями
Goryachko (обсуждение | вклад) |
Goryachko (обсуждение | вклад) |
||
Строка 65: | Строка 65: | ||
<li><u>Теорема о неотрицательном объеме в евклидовом пространстве.</u> <i>Пусть <math>V</math> — евклидово пространство, <math>\sigma=(\,\mid\,)</math>, | <li><u>Теорема о неотрицательном объеме в евклидовом пространстве.</u> <i>Пусть <math>V</math> — евклидово пространство, <math>\sigma=(\,\mid\,)</math>, | ||
<math>m\in\mathbb N_0</math> и <math>v_1,\ldots,v_m\in V</math>; тогда<br>(1) <math>|\mathrm{vol}|_m(v_1,\ldots,v_m)=\!\sqrt{\det\sigma_{(v_1,\ldots,v_m),(v_1,\ldots,v_m)}}\,</math>;<br>(2) если <math>m\ge1</math>, то <math>|\mathrm{vol}|_m(v_1,\ldots,v_m)=|\mathrm{vol}|_{m-1}(v_1,\ldots,v_{m-1})\cdot\|v_m\!-\mathrm{proj}_{\langle v_1,\ldots,v_{m-1}\rangle}(v_m)\|</math>.</i> | <math>m\in\mathbb N_0</math> и <math>v_1,\ldots,v_m\in V</math>; тогда<br>(1) <math>|\mathrm{vol}|_m(v_1,\ldots,v_m)=\!\sqrt{\det\sigma_{(v_1,\ldots,v_m),(v_1,\ldots,v_m)}}\,</math>;<br>(2) если <math>m\ge1</math>, то <math>|\mathrm{vol}|_m(v_1,\ldots,v_m)=|\mathrm{vol}|_{m-1}(v_1,\ldots,v_{m-1})\cdot\|v_m\!-\mathrm{proj}_{\langle v_1,\ldots,v_{m-1}\rangle}(v_m)\|</math>.</i> | ||
− | <li>Вект. произв.-е в ориентир. псевдоевкл. пр.-ве: <math>v_1\times\ldots\times v_{n-1}=\sharp\bigl(v_n\!\mapsto\mathrm{vol}(v_1,\ldots,v_n)\bigr)</math> (<math>\Leftrightarrow\,\forall\,v_n\in V\;\bigl((v_1\times\ldots\times v_{n-1}\!\mid\!v_n)=\mathrm{vol}(v_1,\ldots,v_n)\bigr)</math>). | + | <li>Вект. произв.-е в ориентир. псевдоевкл. пр.-ве: <math>v_1\times\ldots\times v_{n-1}=\sharp\,\bigl(v_n\!\mapsto\mathrm{vol}(v_1,\ldots,v_n)\bigr)</math> (<math>\Leftrightarrow\,\forall\,v_n\in V\;\bigl((v_1\times\ldots\times v_{n-1}\!\mid\!v_n)=\mathrm{vol}(v_1,\ldots,v_n)\bigr)</math>). |
<li>Вект. произведение в координатах: <math>(v_1\times\ldots\times v_{n-1})^i=\mathrm{sign}(e)\sqrt{|\det\sigma_{e,e}|}\!\!\!\sum_{1\le j_1,\ldots,j_{n-1}\le n}\!\!\!\varepsilon^{\;\;\;\;\;\;\;\;\;\;\;i}_{j_1,\ldots,j_{n-1}}\,v_1^{j_1}\!\cdot\ldots\cdot v_{n-1}^{j_{n-1}}</math>. Теорема о векторном произведении. | <li>Вект. произведение в координатах: <math>(v_1\times\ldots\times v_{n-1})^i=\mathrm{sign}(e)\sqrt{|\det\sigma_{e,e}|}\!\!\!\sum_{1\le j_1,\ldots,j_{n-1}\le n}\!\!\!\varepsilon^{\;\;\;\;\;\;\;\;\;\;\;i}_{j_1,\ldots,j_{n-1}}\,v_1^{j_1}\!\cdot\ldots\cdot v_{n-1}^{j_{n-1}}</math>. Теорема о векторном произведении. | ||
<p><u>Теорема о векторном произведении.</u> <i>Пусть <math>V</math> — ориентированное евклидово пространство, <math>n=\dim V\ge1</math> и <math>v_1,\ldots,v_{n-1}\in V</math>; тогда<br>(1) след. утв.-я эквивалентны: (у1) векторы <math>v_1,\ldots,v_{n-1}</math> независимы, (у2) <math>v_1\times\ldots\times v_{n-1}\ne0</math> и (у3) <math>(v_1,\ldots,v_{n-1},v_1\times\ldots\times v_{n-1})\in\mathrm{OB}_{>0}(V)</math>;<br>(2) <math>v_1\times\ldots\times v_{n-1}\in\langle v_1,\ldots,v_{n-1}\rangle^\perp</math> и <math>\|v_1\times\ldots\times v_{n-1}\|=|\mathrm{vol}|_{n-1}(v_1,\ldots,v_{n-1})</math>;<br>(3) если <math>n=3</math>, то для любых <math>u,v,w\in V</math> выполнено <math>(u\times v)\times w=(u\!\mid\!w)\,v-(v\!\mid\!w)\,u\,</math> и <math>\,(u\times v)\times w+(v\times w)\times u+(w\times u)\times v=0</math>.</i></p> | <p><u>Теорема о векторном произведении.</u> <i>Пусть <math>V</math> — ориентированное евклидово пространство, <math>n=\dim V\ge1</math> и <math>v_1,\ldots,v_{n-1}\in V</math>; тогда<br>(1) след. утв.-я эквивалентны: (у1) векторы <math>v_1,\ldots,v_{n-1}</math> независимы, (у2) <math>v_1\times\ldots\times v_{n-1}\ne0</math> и (у3) <math>(v_1,\ldots,v_{n-1},v_1\times\ldots\times v_{n-1})\in\mathrm{OB}_{>0}(V)</math>;<br>(2) <math>v_1\times\ldots\times v_{n-1}\in\langle v_1,\ldots,v_{n-1}\rangle^\perp</math> и <math>\|v_1\times\ldots\times v_{n-1}\|=|\mathrm{vol}|_{n-1}(v_1,\ldots,v_{n-1})</math>;<br>(3) если <math>n=3</math>, то для любых <math>u,v,w\in V</math> выполнено <math>(u\times v)\times w=(u\!\mid\!w)\,v-(v\!\mid\!w)\,u\,</math> и <math>\,(u\times v)\times w+(v\times w)\times u+(w\times u)\times v=0</math>.</i></p> | ||
− | <li>Отожд.-е <math>\mathrm{AMulti}_kV</math> и <math>\mathsf\Lambda^kV^*</math>. Оператор Ходжа в ориент. псевдоевкл. пр.-ве: <math>\biggl(\!\begin{align}*\,\colon\mathrm{AMulti}_kV&\to\mathrm{AMulti}_{n-k}V\\\lambda_1\wedge\ldots\wedge\lambda_k&\mapsto\bigl((v_{k+1},\ldots,v_n)\mapsto\mathrm{vol}(\sharp\lambda_1,\ldots,\sharp\lambda_k,v_{k+1},\ldots,v_n)\bigr)\!\end{align}\!\biggr)</math>. | + | <li>Отожд.-е <math>\mathrm{AMulti}_kV</math> и <math>\mathsf\Lambda^kV^*</math>. Оператор Ходжа в ориент. псевдоевкл. пр.-ве: <math>\biggl(\!\begin{align}*\,\colon\mathrm{AMulti}_kV&\to\mathrm{AMulti}_{n-k}V\\\lambda_1\wedge\ldots\wedge\lambda_k&\mapsto\bigl((v_{k+1},\ldots,v_n)\mapsto\mathrm{vol}(\sharp\,\lambda_1,\ldots,\sharp\,\lambda_k,v_{k+1},\ldots,v_n)\bigr)\!\end{align}\!\biggr)</math>. |
− | <li> | + | <li>Пример: <math>\sharp*(\flat\,v_1\wedge\ldots\wedge\flat\,v_{n-1})=v_1\times\ldots\times v_{n-1}</math>. Лемма об операторе Ходжа в координатах. Теорема об операторе Ходжа и внешнем произведении. |
− | <p><u> | + | <p><u>Лемма об операторе Ходжа в координатах.</u> <i>Пусть <math>V</math> — ориентир. псевдоевкл. пр.-во, <math>\sigma=(\,\mid\,)</math>, <math>n=\dim V</math>, <math>k\in\{0,\ldots,n\}</math> и <math>\omega\in\mathrm{AMulti}_kV</math>; тогда<br>(1) для любых <math>e\in\mathrm{OB}(V)</math> и <math>j_{k+1},\ldots,j_n\in\{1,\ldots,n\}</math> выполнено <math>(*\,\omega)_{j_{k+1},\ldots,j_n}\!=\frac1{k!}\,\mathrm{sign}(e)\sqrt{|\det\sigma_{e,e}|}\!\!\!\sum_{1\le i_1,\ldots,i_k\le n}\!\!\!\varepsilon_{i_1,\ldots,i_k,j_{k+1},\ldots,j_n}\omega^{i_1,\ldots,i_k}\!=</math><br><math>=\mathrm{sign}(e)\sqrt{|\det\sigma_{e,e}|}\,\varepsilon_{j_1,\ldots,j_n}\omega^{j_1,\ldots,j_k}</math>, где числа <math>j_1,\ldots,j_k</math> суть числа из множества <math>\{1,\ldots,n\}\setminus\{j_{k+1},\ldots,j_n\}</math>, упорядоченные по возрастанию;<br>(2) для любых <math>e\in\mathrm{OnOB}_{>0}(V)</math> и <math>j_1,\ldots,j_k\in\{1,\ldots,n\}</math> выполнено <math>*(e^{j_1}\!\wedge\ldots\wedge e^{j_k})=(e_{j_1}\!\!\mid\!e_{j_1})\cdot\ldots\cdot(e_{j_k}\!\!\mid\!e_{j_k})\,\varepsilon_{j_1,\ldots,j_n}e^{j_{k+1}}\!\wedge\ldots\wedge e^n</math>, где числа<br><math>j_{k+1},\ldots,j_n</math> суть числа из множества <math>\{1,\ldots,n\}\setminus\{j_1,\ldots,j_k\}</math>, упорядоченные по возрастанию (в частности, <math>*\,1=\mathrm{vol}</math> и <math>*\,\mathrm{vol}=(-1)^{\mathrm{ind}_{<0}(\sigma)}</math>).</i></p> |
+ | <p><u>Теорема об операторе Ходжа и внешнем произведении.</u> <i>Пусть <math>V</math> — ориентир. псевдоевкл. пр.-во, <math>q=\mathrm{ind}_{<0}((\,\mid\,))</math>, <math>n=\dim V</math> и <math>k\in\{0,\ldots,n\}</math>; тогда<br>(1) для любых <math>\omega\in\mathrm{AMulti}_kV</math> выполнено <math>**\omega=(-1)^{k(n-k)+q}\,\omega</math> (и, значит, <math>\biggl(\!\begin{align}\mathrm{AMulti}_kV&\to\mathrm{AMulti}_{n-k}V\\\omega&\mapsto*\,\omega\end{align}\!\biggr)</math> — изоморфизм векторных пространств);<br>(2) для любых <math>\psi,\omega\in\mathrm{AMulti}_kV</math> выполнено <math>\psi\wedge*\,\omega=(\psi\!\mid\!\omega)\,\mathrm{vol}</math>, где <math>(\psi\!\mid\!\omega)=\frac1{k!}\,\psi(\sharp^{\wedge k}(\omega))</math> (в координатах <math>(\psi\!\mid\!\omega)=\frac1{k!}\!\!\sum_{1\le j_1,\ldots,j_k\le n}\!\!\!\psi_{j_1,\ldots,j_k}\omega^{j_1,\ldots,j_k}</math>);<br>(3) для любых <math>v,w\in V</math> выполнено <math>*\,(\flat\,v\wedge*\,\flat\,w)=(-1)^q\,(v\!\mid\!w)</math>.</i></p></ul> | ||
<!--<h5>3.6.2 Ортогональные операторы в трехмерном евклидовом пространстве и в пространстве Минковского</h5> | <!--<h5>3.6.2 Ортогональные операторы в трехмерном евклидовом пространстве и в пространстве Минковского</h5> |
Версия 00:00, 23 октября 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) — базис алгебры , и для любых элементов и
этого базиса выполнено , где числа
суть числа , упорядоченные по возрастанию.
3.6 Геометрия в векторных пространствах над или (часть 2)
3.6.1 Объем, векторное произведение, оператор Ходжа
- Форма объема в ориентированном псевдоевклидовом простр.-ве (): (если , то ).
- Корректность опр.-я объема. Объем в коорд.: . Лемма об объеме и матрице Грама.
Лемма об объеме и матрице Грама. Пусть — ориентиров. псевдоевклидово пр.-во, , , и ; тогда
и, если попарно ортогональны, то . - Неотрицат. объем в евкл. пр.-ве: в , если независимы; иначе .
- Теорема о неотрицательном объеме в евклидовом пространстве. Пусть — евклидово пространство, ,
и ; тогда
(1) ;
(2) если , то . - Вект. произв.-е в ориентир. псевдоевкл. пр.-ве: ().
- Вект. произведение в координатах: . Теорема о векторном произведении.
Теорема о векторном произведении. Пусть — ориентированное евклидово пространство, и ; тогда
(1) след. утв.-я эквивалентны: (у1) векторы независимы, (у2) и (у3) ;
(2) и ;
(3) если , то для любых выполнено и . - Отожд.-е и . Оператор Ходжа в ориент. псевдоевкл. пр.-ве: .
- Пример: . Лемма об операторе Ходжа в координатах. Теорема об операторе Ходжа и внешнем произведении.
Лемма об операторе Ходжа в координатах. Пусть — ориентир. псевдоевкл. пр.-во, , , и ; тогда
(1) для любых и выполнено
, где числа суть числа из множества , упорядоченные по возрастанию;
(2) для любых и выполнено , где числа
суть числа из множества , упорядоченные по возрастанию (в частности, и ).Теорема об операторе Ходжа и внешнем произведении. Пусть — ориентир. псевдоевкл. пр.-во, , и ; тогда
(1) для любых выполнено (и, значит, — изоморфизм векторных пространств);
(2) для любых выполнено , где (в координатах );
(3) для любых выполнено .