Алгебра phys 1 апрель–май — различия между версиями
Goryachko (обсуждение | вклад) |
Goryachko (обсуждение | вклад) |
||
Строка 29: | Строка 29: | ||
<h5>2.3.3 Относительные базисы, жорданова нормальная форма, приложения жордановой нормальной формы</h5> | <h5>2.3.3 Относительные базисы, жорданова нормальная форма, приложения жордановой нормальной формы</h5> | ||
<ul><li><math>C</math> — независимое мн.-во относит.-но <math>U</math>: <math>\forall\,f\in\mathrm{FinFunc}(C,K)\;\bigl(\sum_{c\in C}f(c)\,c\in U\,\Rightarrow f=0\bigr)</math>. <math>D</math> — порождающее мн.-во относит.-но <math>U</math>: <math>V=U+\langle D\rangle</math>. | <ul><li><math>C</math> — независимое мн.-во относит.-но <math>U</math>: <math>\forall\,f\in\mathrm{FinFunc}(C,K)\;\bigl(\sum_{c\in C}f(c)\,c\in U\,\Rightarrow f=0\bigr)</math>. <math>D</math> — порождающее мн.-во относит.-но <math>U</math>: <math>V=U+\langle D\rangle</math>. | ||
− | <li>Базис в <math>V</math> относительно <math>U</math> — независ. и порожд. подмн.-во в <math>V</math> относительно <math>U</math>. | + | <li>Базис в <math>V</math> относительно <math>U</math> — независ. и порожд. подмн.-во в <math>V</math> относительно <math>U</math>. Две теоремы об относительных базисах (без подробных доказательств). |
− | <p><u>Теорема 1 об относительных базисах.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — вект. пр.-во над <math>K</math>, <math>U\le V</math> и <math>E\subseteq V</math>; тогда следующие утверждения эквивалентны:<br>(у1) <math>E</math> — базис пространства <math>V</math> относительно <math>U</math>;<br>(у2) <math>E</math> — независимое множество и <math>V=U\oplus\langle E\rangle</math> (и, значит, если <math>\dim V<\infty</math>, то <math>|E|=\dim V-\dim U</math>);<br>(у3) для любого вектора <math>v\in V</math> существуют единственные такие <math>u\in U</math> и <math>f\in\mathrm{FinFunc}(E,K)</math>, что <math>v=u+\sum_{e\in E}f(e)\,e</math>;<br>(у4) <math>E</math> — максимальное независимое множество относительно <math>U</math>;<br>(у5) <math>E</math> — минимальное порождающее множество относительно <math>U</math>.</i>< | + | <p><u>Теорема 1 об относительных базисах.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — вект. пр.-во над <math>K</math>, <math>U\le V</math> и <math>E\subseteq V</math>; тогда следующие утверждения эквивалентны:<br>(у1) <math>E</math> — базис пространства <math>V</math> относительно <math>U</math>;<br>(у2) <math>E</math> — независимое множество и <math>V=U\oplus\langle E\rangle</math> (и, значит, если <math>\dim V<\infty</math>, то <math>|E|=\dim V-\dim U</math>);<br>(у3) для любого вектора <math>v\in V</math> существуют единственные такие <math>u\in U</math> и <math>f\in\mathrm{FinFunc}(E,K)</math>, что <math>v=u+\sum_{e\in E}f(e)\,e</math>;<br>(у4) <math>E</math> — максимальное независимое множество относительно <math>U</math>;<br>(у5) <math>E</math> — минимальное порождающее множество относительно <math>U</math>.</i></p> |
− | <u>Теорема 2 об относительных базисах.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — векторное пространство над полем <math>K</math>, <math>\dim V<\infty</math> и <math>U\le V</math>; тогда<br>(1) любое независимое подмножество в <math>V</math> относительно <math>U</math> можно дополнить до базиса в <math>V</math> относительно <math>U</math>;<br>(2) из любого порождающего подмножества в <math>V</math> относительно <math>U</math> можно выделить базис в <math>V</math> относительно <math>U | + | <p><u>Теорема 2 об относительных базисах.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — векторное пространство над полем <math>K</math>, <math>\dim V<\infty</math> и <math>U\le V</math>; тогда<br>(1) любое независимое подмножество в <math>V</math> относительно <math>U</math> можно дополнить до базиса в <math>V</math> относительно <math>U</math>;<br>(2) из любого порождающего подмножества в <math>V</math> относительно <math>U</math> можно выделить базис в <math>V</math> относительно <math>U</math>.</i></p> |
− | + | ||
<li><u>Теорема об относительно независимых подмножествах в ядрах степеней линейного оператора.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — вект. простр.-во над полем <math>K</math> и<br><math>a\in\mathrm{End}(V)</math>, а также <math>j\in\mathbb N</math>, <math>V_{j-1}=\mathrm{Ker}\,a^{j-1}</math>, <math>V_j=\mathrm{Ker}\,a^j</math> и <math>V_{j+1}=\mathrm{Ker}\,a^{j+1}</math>; тогда<br>(1) если <math>C</math> — независимое подмножество в <math>V_{j+1}</math> относит.-но <math>V_j</math>, то <math>a|_C</math> — инъекция и <math>a(C)</math> — независимое подмножество в <math>V_j</math> относит.-но <math>V_{j-1}</math>;<br>(2) если <math>\dim V<\infty</math>, то <math>\dim V_j-\dim V_{j-1}\ge\dim V_{j+1}-\dim V_j</math>.</i> | <li><u>Теорема об относительно независимых подмножествах в ядрах степеней линейного оператора.</u> <i>Пусть <math>K</math> — поле, <math>V</math> — вект. простр.-во над полем <math>K</math> и<br><math>a\in\mathrm{End}(V)</math>, а также <math>j\in\mathbb N</math>, <math>V_{j-1}=\mathrm{Ker}\,a^{j-1}</math>, <math>V_j=\mathrm{Ker}\,a^j</math> и <math>V_{j+1}=\mathrm{Ker}\,a^{j+1}</math>; тогда<br>(1) если <math>C</math> — независимое подмножество в <math>V_{j+1}</math> относит.-но <math>V_j</math>, то <math>a|_C</math> — инъекция и <math>a(C)</math> — независимое подмножество в <math>V_j</math> относит.-но <math>V_{j-1}</math>;<br>(2) если <math>\dim V<\infty</math>, то <math>\dim V_j-\dim V_{j-1}\ge\dim V_{j+1}-\dim V_j</math>.</i> | ||
<li>Диаграммы Юнга. Жорданов блок: <math>\mathrm{jb}_\Delta(c)</math> — прямая сумма жордановых клеток <math>\mathrm{jc}_{n_1}\!(c),\ldots,\mathrm{jc}_{n_r}\!(c)</math>, где <math>n_1,\ldots,n_r</math> — длины строк диаграммы Юнга <math>\Delta</math>. | <li>Диаграммы Юнга. Жорданов блок: <math>\mathrm{jb}_\Delta(c)</math> — прямая сумма жордановых клеток <math>\mathrm{jc}_{n_1}\!(c),\ldots,\mathrm{jc}_{n_r}\!(c)</math>, где <math>n_1,\ldots,n_r</math> — длины строк диаграммы Юнга <math>\Delta</math>. | ||
Строка 83: | Строка 82: | ||
<li>Обозначения: <math>\mathrm{Curv}_m(M)=\bigcup_U\,\{\gamma\in\mathrm C^\infty\!(U,M)\mid\gamma(0)=m\}</math> (<math>U</math> — область в <math>\mathbb R</math>, <math>0\in U</math>) — мн.-во кривых, <math>\mathrm{Func}(M)=\mathrm C^\infty\!(M,\mathbb R)</math> — алгебра функций. | <li>Обозначения: <math>\mathrm{Curv}_m(M)=\bigcup_U\,\{\gamma\in\mathrm C^\infty\!(U,M)\mid\gamma(0)=m\}</math> (<math>U</math> — область в <math>\mathbb R</math>, <math>0\in U</math>) — мн.-во кривых, <math>\mathrm{Func}(M)=\mathrm C^\infty\!(M,\mathbb R)</math> — алгебра функций. | ||
<li>Скорость в координатах (<math>\gamma\in\mathrm C^\infty\!(U,M)</math>, где <math>U</math> — область в <math>\mathbb R</math>, <math>\tau\in U</math>, <math>\xi\in\mathcal A_{\gamma(\tau)}</math>): <math>\gamma'(\tau)^\xi=(\xi\circ\gamma)'(\tau)\in\mathbb R^n</math> и <math>\gamma'(\tau)^i=(\gamma'(\tau)^\xi)^i=\bigl((\xi\circ\gamma)^i\bigr)'(\tau)</math>. | <li>Скорость в координатах (<math>\gamma\in\mathrm C^\infty\!(U,M)</math>, где <math>U</math> — область в <math>\mathbb R</math>, <math>\tau\in U</math>, <math>\xi\in\mathcal A_{\gamma(\tau)}</math>): <math>\gamma'(\tau)^\xi=(\xi\circ\gamma)'(\tau)\in\mathbb R^n</math> и <math>\gamma'(\tau)^i=(\gamma'(\tau)^\xi)^i=\bigl((\xi\circ\gamma)^i\bigr)'(\tau)</math>. | ||
− | <li>Обозначения: <math>\xi(m)=(x^1(m),\ldots,x^n(m))</math> и <math>\mathrm c_\xi^\tilde\xi(m)=\mathrm d(\tilde\xi\circ\xi^{-1})(\xi(m))\in\mathrm{GL}(n,\mathbb R)</math> (тогда <math>\mathrm c_\xi^\tilde\xi(m)_i^\tilde i=\frac{\partial x^\tilde i}{\partial x^i}(\xi(m))</math>). | + | <li>Обозначения: <math>\xi(m)=(x^1(m),\ldots,x^n(m))</math> и <math>\mathrm c_\xi^\tilde\xi(m)=\mathrm d(\tilde\xi\circ\xi^{-1})(\xi(m))\in\mathrm{GL}(n,\mathbb R)</math> (тогда <math>\mathrm c_\xi^\tilde\xi(m)_i^\tilde i=\frac{\partial x^\tilde i}{\partial x^i}(\xi(m))</math>). Лемма о замене координат. |
− | <p><u> | + | <p><u>Лемма о замене координат.</u> <i>Пусть <math>M</math> — многообразие, <math>n=\dim M</math>, <math>m\in M</math>, <math>\gamma\in\mathrm{Curv}_m(M)</math> и <math>\xi,\tilde\xi\in\mathcal A_m</math>; тогда<br>(1) <math>\gamma'(0)^\tilde\xi=\mathrm c_\xi^\tilde\xi(m)\cdot\gamma'(0)^\xi</math> (это матричная запись) и <math>\forall\,i\in\{1,\ldots,n\}\;\Bigl(\gamma'(0)^\tilde i=\sum_{k=1}^n\frac{\partial x^\tilde i}{\partial x^k}(\xi(m))\,\gamma'(0)^k\Bigr)</math> (это покомпонентная запись);<br>(2) для любых <math>\breve\gamma\in\mathrm{Curv}_m(M)</math> выполнено <math>\gamma'(0)^\xi=\breve\gamma'(0)^\xi\,\Leftrightarrow\,\gamma'(0)^\tilde\xi=\breve\gamma'(0)^\tilde\xi</math>.</i></p></ul> |
<h5>2.5.2 Касательное пространство и кокасательное пространство</h5> | <h5>2.5.2 Касательное пространство и кокасательное пространство</h5> | ||
− | <ul><li>Отношение касания в точке <math>m</math> | + | <ul><li>Отношение касания в точке <math>m</math>: <math>\gamma\underset{\scriptscriptstyle m}\sim\breve\gamma\,\Leftrightarrow\,\exists\,\xi\in\mathcal A_m\,\bigl(\gamma'(0)^\xi=\breve\gamma'(0)^\xi\bigr)</math>. Инвариантная скорость (<math>\gamma\in\mathrm{Curv}_m(M)</math>): <math>\gamma'(0)=\mathrm{cl}\,_\underset{\scriptscriptstyle m}\sim(\gamma)\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>. Базисные векторы, | + | <li>Касательное пр.-во в точке <math>m</math>: <math>\mathrm T_mM=\mathrm{Curv}_m(M)/\!\underset{\scriptscriptstyle m}\sim</math>. Базисные векторы, определ. системой координат <math>\xi</math>: <math>\frac\partial{\partial x^i}(m)=\bigl(\tau\mapsto\xi^{-1}(\xi(m)+\tau\underline e_i)\bigr)'(0)</math>. |
− | < | + | |
+ | <li>Теорема о касательном пространстве. Преобразования в <math>\mathrm T_mM</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_m</math>; тогда<br>(1) для любых <math>v\in\mathrm T_mM</math>, выбирая такую кривую <math>\gamma\in\mathrm{Curv}_m(M)</math>, что <math>v=\gamma'(0)</math>, и обозначая через <math>v^\xi</math> столбец <math>\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>\xi</math>;<br>(3) для любых <math>i\in\{1,\ldots,n\}</math> выполнено <math>\Bigl(\frac\partial{\partial x^i}(m)\Bigr)^{\!\xi}\!=\underline e_i</math>, а также множество <math>\Bigl\{\frac\partial{\partial x^1}(m),\ldots,\frac\partial{\partial x^n}(m)\Bigr\}</math> — базис пространства <math>\,\mathrm T_mM</math>;<br>(4) для любых <math>v\in\mathrm T_mM</math> выполнено <math>v=\sum_{i=1}^n(v^\xi)^i\frac\partial{\partial x^i}(m)</math> (это формула разложения по базису в <math>\,\mathrm T_mM</math>).</i></p> | ||
+ | <li>Кокасательное пр.-во в точке <math>m</math>: <math>\mathrm T^*_mM=(\mathrm T_mM)^*</math>. Базисные ковекторы, определ. сист. коорд. <math>\xi</math>: <math>\mathrm dx^j(m)=\Bigl(\frac\partial{\partial x^j}(m)\Bigr)^{\!*}</math>. Строка коорд. ковектора: <math>\lambda_\xi</math>. | ||
+ | <li>Разл.-е по базису в <math>\mathrm T^*_mM</math>: <math>\lambda=\sum_{j=1}^n(\lambda_\xi)_j\,\mathrm dx^j(m)</math>. Преобр.-я в <math>\mathrm T^*_mM</math> при замене коорд.: <math>\lambda_\tilde j=\sum_{l=1}^n\frac{\partial x^l}{\partial x^\tilde j}(\tilde\xi(m))\,\lambda_l</math> и <math>\mathrm dx^\tilde j(m)=\sum_{l=1}^n\frac{\partial x^\tilde j}{\partial x^l}(\xi(m))\,\mathrm dx^l(m)</math>. | ||
+ | <li><u>Теорема о дифференциале функции.</u> <i>Пусть <math>M</math> — многообразие, <math>m\in M</math> и <math>f\in\mathrm{Func}(M)</math>; тогда<br>(1) для любых <math>v\in\mathrm T_mM</math>, выбирая такую кривую <math>\gamma\in\mathrm{Curv}_m(M)</math>, что <math>v=\gamma'(0)</math>, и обозначая через <math>(\mathrm df(m))(v)</math> число <math>(f\circ\gamma)'(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_m</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)</math> — ковектор (то есть <math>\mathrm df(m)\in\mathrm T^*_mM</math>).</i> | ||
+ | <li>Дифференциал в координатах: <math>\mathrm df(m)_\xi=\mathrm d(f\circ\xi^{-1})(\xi(m))\in\mathbb R_n</math> и <math>(\mathrm df(m)_\xi)_j=\frac{\partial(f\circ\xi^{-1})}{\partial x^j}(\xi(m))=\partial_jf(m)</math>; тогда <math>\mathrm df(m)=\sum_{j=1}^n\partial_jf(m)\,\mathrm dx^j(m)</math>. | ||
+ | <li>Производная Ли функции вдоль вектора (<math>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> |
Версия 05:00, 5 мая 2017
2 Линейная алгебра
2.3 Линейные операторы (часть 2)
2.3.1 Многочлены от линейных операторов, спектр и характеристический многочлен линейного оператора
- Эвалюация — гомоморфизм. Кольцо, порожденное лин. оператором : .
- Минимальный многочлен лин. оператора : , нормирован, ; .
- Теорема о ядрах многочленов от линейного оператора. Пусть — поле, — векторное пространство над полем и ; тогда
(1) если , то (то есть — -инвариантное подпространство);
(2) если и делит , то ;
(3) если , и многочлены попарно взаимно просты, то
(и, значит, ). - Проектор (идемпотент): . Отражение: (здесь ).
- Собственные число и вектор лин. операт. : . Спектр лин. операт. : . Лемма о спектре.
Лемма о спектре. Пусть — поле, — векторное простр.-во над полем и ; тогда
и, если , то "" можно заменить на "". - Характеристический многочлен матрицы : . Характеристический многочлен лин. оператора : . Корректность опред.-я.
- След линейного оператора : . Корректность определения. Теорема о спектре и характеристическом многочлене. Теорема Гамильтона–Кэли.
Теорема о спектре и характеристическом многочлене. Пусть — поле, — вект. простр.-во над полем , и ; тогда
(1) (и, значит, );
(2) ;
(3) если (то есть — нильпотентный линейный оператор), то .Теорема Гамильтона–Кэли. Пусть — поле, — векторное пространство над полем , и ; тогда .
- Кратности: (алгебраич. кратность), . Теорема о минимальном многочлене.
Теорема о минимальном многочлене. Пусть — поле, — векторное пространство над полем , и ; тогда
(1) делит (и, значит, для любых выполнено );
(2) .
2.3.2 Собственные, обобщенные собственные и корневые подпространства линейного оператора
- Собственные подпространства: ; геометрическая кратность: . Лемма о собственных подпространствах.
Лемма о собственных подпространствах. Пусть — поле, — векторное пространство над полем , , , и
попарно различны; тогда
(1) ;
(2) если и — независимые множества, то — независимое множество;
(3) если , то для любых выполнено . - Теорема о диагонализуемых линейных операторах. Пусть — поле, — векторное пространство над полем , и ; тогда
следующие утверждения эквивалентны:
(у1) существует такой упорядоченный базис , что — диагональная матрица;
(у2) (то есть многочлен раскладывается без кратностей в произведение многочленов степени в кольце );
(у3) (то есть пространство раскладывается в прямую сумму собственных подпространств линейного оператора );
(у4) . - Обобщенные собственные подпростр.-ва: ; относительные геометрич. кратности: .
- Жорданова клетка: ; если , то и .
- Теорема об обобщенных собственных подпространствах. Пусть — поле, — вект. пр.-во над , , и ; тогда
(1) для любых выполнено и, если , то ;
(2) для любых выполнено ;
(3) и . - Корневые подпространства: . Нильпотентные части линейного оператора : .
- Теорема о разложении в прямую сумму корневых подпространств. Пусть — поле, — векторное пространство над полем , ,
и многочлен раскладывается в произведение многочленов степени в кольце (если , то это условие выполнено
для любых линейных операторов в силу алгебраической замкнутости поля ); тогда
(1) (то есть пространство раскладывается в прямую сумму корневых подпространств линейного оператора );
(2) для любых имеем следующие факты: (и, значит, — нильпотентный лин. оператор) и .
2.3.3 Относительные базисы, жорданова нормальная форма, приложения жордановой нормальной формы
- — независимое мн.-во относит.-но : . — порождающее мн.-во относит.-но : .
- Базис в относительно — независ. и порожд. подмн.-во в относительно . Две теоремы об относительных базисах (без подробных доказательств).
Теорема 1 об относительных базисах. Пусть — поле, — вект. пр.-во над , и ; тогда следующие утверждения эквивалентны:
(у1) — базис пространства относительно ;
(у2) — независимое множество и (и, значит, если , то );
(у3) для любого вектора существуют единственные такие и , что ;
(у4) — максимальное независимое множество относительно ;
(у5) — минимальное порождающее множество относительно .Теорема 2 об относительных базисах. Пусть — поле, — векторное пространство над полем , и ; тогда
(1) любое независимое подмножество в относительно можно дополнить до базиса в относительно ;
(2) из любого порождающего подмножества в относительно можно выделить базис в относительно . - Теорема об относительно независимых подмножествах в ядрах степеней линейного оператора. Пусть — поле, — вект. простр.-во над полем и
, а также , , и ; тогда
(1) если — независимое подмножество в относит.-но , то — инъекция и — независимое подмножество в относит.-но ;
(2) если , то . - Диаграммы Юнга. Жорданов блок: — прямая сумма жордановых клеток , где — длины строк диаграммы Юнга .
- Диаграмма Юнга : высоты столбцов диаграммы — относительные геометрич. кратности . Корректность опред.-я.
- Теорема о жордановой нормальной форме. Обозначение: . Утверждение: пусть и ; тогда .
Теорема о жордановой нормальной форме. Пусть — поле, — векторное пространство над полем , , и многочлен
раскладывается в произведение многочленов степени в кольце (если , то это условие выполнено для любых линейных операторов
в силу алгебраической замкнутости поля ); тогда существует такой упорядоченный базис , что матрица —
прямая сумма жордановых блоков по всем . - Многочлен (ряд) от жордановой клетки: . Экспонента от лин. операт. : . Теорема о свойствах экспоненты.
Теорема о свойствах экспоненты.
(1) Пусть — банахово пространство и ; тогда , а также и .
(2) Пусть и ; тогда , а также и . - Однородная система линейных дифференциальных уравн.-й: (, ). Решение системы: , где .
2.4 Алгебры
2.4.1 Определения и конструкции, связанные с алгебрами
- -Алгебра — вект. пространство над с билинейным умножением — кольцо (в широком смысле слова) с «правильным» умножением на скаляры из .
- Примеры: -алгебры , , , , , ; -алгебры , , , и с векторным умножением.
- Структурные константы алгебры: . Утверждение: массив однозначно определяет умножение в алгебре .
- Теорема Кэли для ассоциативных алгебр с 1. Инъект. гомоморфизмы -алгебр: и .
Теорема Кэли для ассоциативных алгебр с 1. Пусть — поле и — ассоциативная -алгебра с ; обозначим через векторное пространство
над полем , получающееся из алгебры при «забывании» умножения в этой алгебре; тогда
(1) для любых , обозначая через отображение , имеем следующий факт: — линейный оператор (то есть );
(2) отображение — инъективный гомоморфизм алгебр с . - Алгебры с делением: и . Любая к./м. ассоц. -алгебра с делением изоморфна , или , или (без док.-ва).
- Моноидная алгебра ( — моноид): с операцией свертки; способ записи элементов: ().
- Алгебра многочленов от свободных переменных: . Одночлены: . Степень. Однородные многочлены.
2.4.2 Алгебра полилинейных форм
- Тензорное произведение полилинейных форм: . Свойства тензорного произведения.
- Базис в пространстве : . Разложение формы по базису: .
- Обозначение: . Пример: . Преобразов.-е при замене базиса: .
- Алгебра полилинейных форм (ковариантных тензоров) над : . Утверждение: — ассоциативная -алгебра с .
- Теорема об алгебре полилинейных форм. Пусть — поле, — векторное пространство над полем , и ; тогда
(1) отображение, продолжающее по линейности частичное отображение , — изоморфизм алгебр с ;
(2) для любых изоморфизм из пункта (1) отображает пространство однородных многочленов степени в пространство . - Идеалы и : и .
- Алгебры многочл. от коммутирующих и антикоммутирующих перем.: и .
2.4.3 Алгебры Ли (основные определения и примеры)
- -Алгебра Ли — -алгебра, умножение в которой антисимметрично () и удовлетворяет тождеству Якоби ().
- Коммутатор в ассоциативной алгебре : . Алгебра : вект. простр.-во с операцией . Утверждение: алгебра — алгебра Ли.
- Примеры: , , с векторным умножением — алгебра Ли, так как в алгебре Ли .
- Матричные алгебры Ли: , , , , .
- Утверждение: и (здесь или ), а также , , .
- Теорема Кэли для алгебр Ли. Изоморфизмы -алгебр Ли: , и .
Теорема Кэли для алгебр Ли. Пусть — поле и — -алгебра Ли; обозначим через векторное пространство над полем , получающееся
из алгебры при «забывании» умножения в этой алгебре; тогда
(1) для любых , обозначая через отображение , имеем следующий факт: — линейный оператор (то есть );
(2) отображение — гомоморфизм алгебр Ли. - Алгебра дифференцирований -алгебры : — подалгебра алгебры Ли .
- Пример: пусть — открытое подмножество в и ; тогда — дифференцирование алгебры .
2.5 Многообразия (часть 1)
2.5.1 Определения и конструкции, связанные с многообразиями
- -Мерная система координат на топол. пр.-ве — гомеоморфизм между областями в и в ; отн.-е согласованности: — диффеоморфизм.
- -Мерный атлас на — множество попарно согласованных -мерных систем координат на , области определения которых покрывают . Примеры.
- -Мерное многообразие — хаусдорфово топологич. пространство (со счетной базой) с максимальным атласом . Примеры: , области в , .
- Обозначение: . Гладкость отобр.-я в точке : существуют такие и , что — гладкое отобр.-е.
- Утверждение: гладкость отобр.-я не зависит от выбора систем координат. Множество гладких отображений между многообр.-ми и : .
- Обозначения: ( — область в , ) — мн.-во кривых, — алгебра функций.
- Скорость в координатах (, где — область в , , ): и .
- Обозначения: и (тогда ). Лемма о замене координат.
Лемма о замене координат. Пусть — многообразие, , , и ; тогда
(1) (это матричная запись) и (это покомпонентная запись);
(2) для любых выполнено .
2.5.2 Касательное пространство и кокасательное пространство
- Отношение касания в точке : . Инвариантная скорость (): .
- Касательное пр.-во в точке : . Базисные векторы, определ. системой координат : .
- Теорема о касательном пространстве. Преобразования в при замене координат: и .
Теорема о касательном пространстве. Пусть — многообразие, , и ; тогда
(1) для любых , выбирая такую кривую , что , и обозначая через столбец , имеем следующий факт:
столбец не зависит от выбора кривой ;
(2) отображение — биекция; определим на множестве структуру векторного пространства над полем так, чтобы
эта биекция стала изоморфизмом векторных пространств; тогда эта структура не зависит от выбора системы координат ;
(3) для любых выполнено , а также множество — базис пространства ;
(4) для любых выполнено (это формула разложения по базису в ). - Кокасательное пр.-во в точке : . Базисные ковекторы, определ. сист. коорд. : . Строка коорд. ковектора: .
- Разл.-е по базису в : . Преобр.-я в при замене коорд.: и .
- Теорема о дифференциале функции. Пусть — многообразие, и ; тогда
(1) для любых , выбирая такую кривую , что , и обозначая через число , имеем
следующий факт: число не зависит от выбора кривой ;
(2) для любых и выполнено ;
(3) обозначая через отображение , имеем следующий факт: — ковектор (то есть ). - Дифференциал в координатах: и ; тогда .
- Производная Ли функции вдоль вектора (): . Утверждение: и .