Алгебра phys 1 февраль–март — различия между версиями

Материал из SEWiki
Перейти к: навигация, поиск
Строка 70: Строка 70:
 
<li>Утверждение: <i><math>\mathrm{rk}(a)=\mathrm{rk}(a_e^h)</math>, <math>\mathrm{rk}(a^*)=\mathrm{rk}((a_e^h)^\mathtt T)</math> и <math>\mathrm{rk}(a+b)\le\mathrm{rk}(a)+\mathrm{rk}(b)</math></i>. Тензорное произв.-е вектора <math>y</math> и ковектора <math>\lambda</math>: <math>(y\otimes\lambda)(v)=\lambda(v)\,y</math>.
 
<li>Утверждение: <i><math>\mathrm{rk}(a)=\mathrm{rk}(a_e^h)</math>, <math>\mathrm{rk}(a^*)=\mathrm{rk}((a_e^h)^\mathtt T)</math> и <math>\mathrm{rk}(a+b)\le\mathrm{rk}(a)+\mathrm{rk}(b)</math></i>. Тензорное произв.-е вектора <math>y</math> и ковектора <math>\lambda</math>: <math>(y\otimes\lambda)(v)=\lambda(v)\,y</math>.
 
<li>Утверждение: <i><math>y\otimes\lambda\in\mathrm{Hom}(V,Y)</math>, <math>\mathrm{rk}(y\otimes\lambda)\le1</math> и <math>(y\otimes\lambda)_e^h=y^h\cdot\lambda_e</math></i>. Теорема о свойствах ранга. Утверждение: <i><math>\mathrm{rk}(b\circ a)\le\min(\mathrm{rk}(a),\mathrm{rk}(b))</math></i>.
 
<li>Утверждение: <i><math>y\otimes\lambda\in\mathrm{Hom}(V,Y)</math>, <math>\mathrm{rk}(y\otimes\lambda)\le1</math> и <math>(y\otimes\lambda)_e^h=y^h\cdot\lambda_e</math></i>. Теорема о свойствах ранга. Утверждение: <i><math>\mathrm{rk}(b\circ a)\le\min(\mathrm{rk}(a),\mathrm{rk}(b))</math></i>.
<p><u>Теорема о свойствах ранга.</u> <i>Пусть <math>K</math> — поле, <math>V,Y</math> — векторные пространства над полем <math>K</math>, <math>\dim V,\dim Y<\infty</math> и <math>a\in\mathrm{Hom}(V,Y)</math>; тогда<br>(1) <math>\mathrm{rk}(a)=\dim V-\dim\mathrm{Ker}\,a</math> и <math>\mathrm{rk}(a)\le\min(\dim V,\dim Y)</math>;<br>(2) <math>\mathrm{rk}(a^*)=\mathrm{rk}(a)</math> (и, значит, для любых <math>n,p\in\mathbb N_0</math> и <math>a\in\mathrm{Mat}(p,n,K)</math> выполнено <math>\mathrm{rk}(a^\mathtt T)=\mathrm{rk}(a)</math>);<br>(3) <math>\mathrm{rk}(a)=\min\,\{m\in\mathbb N_0\!\mid\exists\,y_1,\ldots,y_m\in Y,\,\lambda_1,\ldots,\lambda_m\in V^*\,\bigl(a=y_1\otimes\lambda_1+\ldots+y_m\otimes\lambda_m\bigr)\}</math>;<br>(4) сущ.-т такие <math>e\in\mathrm{OB}(V)</math> и <math>h\in\mathrm{OB}(Y)</math>, что <math>a_e^h=\mathbf e_1^1+\ldots+\mathbf e_{\mathrm{rk}(a)}^{\mathrm{rk}(a)}</math> (это теорема о приведении матрицы оператора к почти единичному виду).</i></p>
+
<p><u>Теорема о свойствах ранга.</u> <i>Пусть <math>K</math> — поле, <math>V,Y</math> — векторные пространства над полем <math>K</math>, <math>\dim V,\dim Y<\infty</math> и <math>a\in\mathrm{Hom}(V,Y)</math>; тогда<br>(1) <math>\mathrm{rk}(a)=\dim V-\dim\mathrm{Ker}\,a</math> и <math>\mathrm{rk}(a)\le\min(\dim V,\dim Y)</math>;<br>(2) <math>\mathrm{rk}(a)=\min\,\{m\in\mathbb N_0\!\mid\exists\,y_1,\ldots,y_m\in Y,\,\lambda_1,\ldots,\lambda_m\in V^*\,\bigl(a=y_1\otimes\lambda_1+\ldots+y_m\otimes\lambda_m\bigr)\}</math>;<br>(3) сущ.-т такие <math>e\in\mathrm{OB}(V)</math> и <math>h\in\mathrm{OB}(Y)</math>, что <math>a_e^h=\mathbf e_1^1+\ldots+\mathbf e_{\mathrm{rk}(a)}^{\mathrm{rk}(a)}</math> (это теорема о приведении матрицы оператора к почти единичному виду)<br>(матричн. формулировка: для любых <math>n,p\in\mathbb N_0</math> и <math>a\in\mathrm{Mat}(p,n,K)</math> сущ.-т такие <math>g\in\mathrm{GL}(p,K)</math> и <math>g'\!\in\mathrm{GL}(n,K)</math>, что <math>g\cdot a\cdot g'=\mathbf e_1^1+\ldots+\mathbf e_{\mathrm{rk}(a)}^{\mathrm{rk}(a)}</math>);<br>(4) <math>\mathrm{rk}(a^*)=\mathrm{rk}(a)</math> (матричная формулировка: для любых <math>n,p\in\mathbb N_0</math> и <math>a\in\mathrm{Mat}(p,n,K)</math> выполнено <math>\mathrm{rk}(a^\mathtt T)=\mathrm{rk}(a)</math>).</i></p>
<li>Элементарные матрицы 1-го типа (трансвекции): <math>\mathrm{id}_n+c\,\mathbf e_i^j</math> (<math>c\in K</math>, <math>i\ne j</math>). Элементарные матрицы 2-го типа (дилатации): <math>\mathrm{id}_n+(c-1)\,\mathbf e_i^i</math> (<math>c\in K^\times</math>).
+
<li>Элементарные матрицы 1-го типа (трансвекции): <math>\mathrm{id}_n+c\,\mathbf e_i^j</math> (<math>c\in K</math>, <math>i\ne j</math>). Элементарные матрицы 2-го типа (дилатации): <math>\mathrm{id}_n-\mathbf e_i^i+c\,\mathbf e_i^i</math> (<math>c\in K^\times</math>).
<li>Элементарные преобр.-я над строками 1-го и 2-го типов: <math>a\mapsto(\mathrm{id}_p+c\,\mathbf e_i^k)\cdot a</math> и <math>a\mapsto(\mathrm{id}_p+(c-1)\,\mathbf e_i^i)\cdot a</math>. Элементарные преобр.-я над столбцами.
+
<li>Элементарные преобраз.-я над строками 1-го и 2-го типов: <math>a\mapsto(\mathrm{id}_p+c\,\mathbf e_i^k)\cdot a</math> и <math>a\mapsto(\mathrm{id}_p-\mathbf e_i^i+c\,\mathbf e_i^i)\cdot a</math>. Элементарные преобр.-я над столбцами.
<li>Ступенч. и строго ступенч. по строкам и по столбцам матрицы. Теорема о приведении матрицы к ступенчатому виду. Приведение к строго ступенч. виду.
+
<li>Ступенчатые матрицы. Теорема о приведении матрицы к ступенчатому виду. Строго ступенчатые матрицы. Приведение к строго ступенчатому виду.
 
<p><u>Теорема о приведении матрицы к ступенчатому виду.</u> <i>Пусть <math>K</math> — поле, <math>n,p\in\mathbb N_0</math> и <math>a\in\mathrm{Mat}(p,n,K)</math>; тогда<br>(1) существуют такие <math>l\in\mathbb N_0</math> и элементарные матрицы <math>g_1,\ldots,g_l</math> размера <math>p\times p</math> над полем <math>K</math>, что <math>g_l\cdot\ldots\cdot g_1\cdot a</math> — ступенчатая матрица;<br>(2) множество ненулевых строк ступенчатой матрицы из пункта (1) — базис пространства <math>\langle a^1_\bullet,\ldots,a^p_\bullet\rangle</math> (и, значит, их количество равно <math>\mathrm{rk}(a)</math>).</i></p>
 
<p><u>Теорема о приведении матрицы к ступенчатому виду.</u> <i>Пусть <math>K</math> — поле, <math>n,p\in\mathbb N_0</math> и <math>a\in\mathrm{Mat}(p,n,K)</math>; тогда<br>(1) существуют такие <math>l\in\mathbb N_0</math> и элементарные матрицы <math>g_1,\ldots,g_l</math> размера <math>p\times p</math> над полем <math>K</math>, что <math>g_l\cdot\ldots\cdot g_1\cdot a</math> — ступенчатая матрица;<br>(2) множество ненулевых строк ступенчатой матрицы из пункта (1) — базис пространства <math>\langle a^1_\bullet,\ldots,a^p_\bullet\rangle</math> (и, значит, их количество равно <math>\mathrm{rk}(a)</math>).</i></p>
<li>Метод Гаусса для реш.-я системы <math>a\cdot v=y</math>: привед.-е <math>\bigl(a^\bullet_1\;\ldots\;a^\bullet_n\;\,y\bigr)</math> к ступенч. виду. Главные и свободные переменные. Фундамент. система решений.
+
<li>Метод Гаусса для реш.-я системы <math>a\cdot v=y</math>: привед.-е <math>\bigl(a^\bullet_1\;\ldots\;a^\bullet_n\;\,y\bigr)</math> к ступенч. виду. Главные и свободные переменные. Фундамент. системы решений.
 
<li><u>Теорема Кронекера–Капелли.</u> <i>Пусть <math>K</math> — поле, <math>n,p\in\mathbb N_0</math>, <math>a\in\mathrm{Mat}(p,n,K)</math> и <math>y\in K^p</math>; тогда<br>(1) <math>\dim\,\{v\in K^n\!\mid a\cdot v=0\}=n-\mathrm{rk}(a)</math> и, если <math>n>p</math>, то <math>\{v\in K^n\!\mid a\cdot v=0\}\ne\{0\}</math>;<br>(2) <math>\mathrm{rk}(a)\le\mathrm{rk}\bigl(\!\bigl(a^\bullet_1\;\ldots\;a^\bullet_n\;\,y\bigr)\!\bigr)</math>, а также, если <math>\mathrm{rk}(a)<\mathrm{rk}\bigl(\!\bigl(a^\bullet_1\;\ldots\;a^\bullet_n\;\,y\bigr)\!\bigr)</math>, то <math>\{v\in K^n\!\mid a\cdot v=y\}=\varnothing</math>, и, если <math>\mathrm{rk}(a)=\mathrm{rk}\bigl(\!\bigl(a^\bullet_1\;\ldots\;a^\bullet_n\;\,y\bigr)\!\bigr)</math>, то<br><math>\{v\in K^n\!\mid a\cdot v=y\}</math> — аффинное подпространство в <math>K^n</math> с направляющим подпространством <math>\{v\in K^n\!\mid a\cdot v=0\}</math>.</i></ul>
 
<li><u>Теорема Кронекера–Капелли.</u> <i>Пусть <math>K</math> — поле, <math>n,p\in\mathbb N_0</math>, <math>a\in\mathrm{Mat}(p,n,K)</math> и <math>y\in K^p</math>; тогда<br>(1) <math>\dim\,\{v\in K^n\!\mid a\cdot v=0\}=n-\mathrm{rk}(a)</math> и, если <math>n>p</math>, то <math>\{v\in K^n\!\mid a\cdot v=0\}\ne\{0\}</math>;<br>(2) <math>\mathrm{rk}(a)\le\mathrm{rk}\bigl(\!\bigl(a^\bullet_1\;\ldots\;a^\bullet_n\;\,y\bigr)\!\bigr)</math>, а также, если <math>\mathrm{rk}(a)<\mathrm{rk}\bigl(\!\bigl(a^\bullet_1\;\ldots\;a^\bullet_n\;\,y\bigr)\!\bigr)</math>, то <math>\{v\in K^n\!\mid a\cdot v=y\}=\varnothing</math>, и, если <math>\mathrm{rk}(a)=\mathrm{rk}\bigl(\!\bigl(a^\bullet_1\;\ldots\;a^\bullet_n\;\,y\bigr)\!\bigr)</math>, то<br><math>\{v\in K^n\!\mid a\cdot v=y\}</math> — аффинное подпространство в <math>K^n</math> с направляющим подпространством <math>\{v\in K^n\!\mid a\cdot v=0\}</math>.</i></ul>
  

Версия 15:00, 10 марта 2019

Подробный план первой половины второго семестра курса алгебры

Содержание линейной алгебры состоит в проработке математического языка для выражения одной из самых общих естественно-
научных идей — идеи линейности. Возможно, ее важнейшим специальным случаем является принцип линейности малых прира-
щений: почти всякий естественный процесс почти всюду в малом линеен. Этот принцип лежит в основе всего математического
анализа и его приложений. Векторная алгебра трехмерного физического пространства, исторически ставшая краеугольным кам-
нем в здании линейной алгебры, восходит к тому же источнику: после Эйнштейна мы понимаем, что и физическое пространство
приближенно линейно лишь в малой окрестности наблюдателя. К счастью, эта малая окрестность довольно велика.
Физика двадцатого века резко и неожиданно расширила сферу применения идеи линейности, добавив к принципу линейности
малых приращений принцип суперпозиции векторов состояний. Грубо говоря, пространство состояний любой квантовой системы
является линейным пространством над полем комплексных чисел. В результате почти все конструкции комплексной линейной
алгебры превратились в аппарат, используемый для формулировки фундаментальных законов природы: от теории линейной
двойственности, объясняющей квантовый принцип дополнительности Бора, до теории представлений групп, объясняющей таб-
лицу Менделеева, «зоологию» элементарных частиц и даже структуру пространства-времени.
А.И. Кострикин, Ю.И. Манин. Линейная алгебра и геометрия
Одно из отличий математиков от физиков — стремление математиков назвать вещи своими именами. Примеров тому — масса,
особенно в двадцатом веке, когда произошло «размежевание» математики и физики.
Классический пример — линейная алгебра. То, что системы линейных уравнений имеют «какую-то структуру», понимали все, и
до Гаусса, и после. Соответственно, манипуляции с этими уравнениями, позволяющие решить систему или, скажем, привести
квадратичную форму к сумме квадратов, знали и физики, и инженеры, и математики. Но математики полезли на стенку и нашли
правильный язык: векторные пространства, линейные операторы, двойственные пространства и т.д. Это могло бы показаться
игрой со словами, но оказалось, что технически гораздо более сложные вещи (дифференциальные и интегральные уравнения)
также описываются на языке линейной алгебры, только бесконечномерной.
То же верно и в отношении других физических конструктов. Физики обнаружили экспериментальным путем (выписывая лист за
листом громоздкие формулы), что некоторые величины, задаваемые индексированными массивами данных, по-разному преоб-
разуются при замене координат, и назвали соответствующие величины тензорами. Это — чистая «феноменология», позволяю-
щая быстро проконтролировать вычисления на предмет ошибок (ну, или механизировать эти вычисления). Математики долго
пыхтели и сформулировали понятия симметрических и антисимметрических произведений векторных пространств и их двойст-
венных пространств и разобрались, откуда они возникают. В общем, исторический опыт убедительно подтверждает: если чело-
век узнал, что всю жизнь говорил прозой, то в дальнейшем ему легче жить с этим знанием. ;-)
По мотивам комментария в Живом Журнале (avva.livejournal.com/2932837.html)

6   Векторные пространства

6.1  Определения и конструкции, связанные с векторными пространствами
  • Векторное пространство над полем — абелева группа с «правильным» умножением на скаляры из . Свойства операций в векторном пространстве.
  • Примеры: пространства столбцов и строк, пространства матриц, пространства функций, пространства финитных функций, пространства многочленов.
  • Гомоморфизмы вект. пространств (линейные операторы): — вект. пространство. Кольцо , группа .
  • Подпростр.-во: . Подпр.-во, порожд. мн.-вом : — наименьш. относ.-но подпр.-во, содержащ. .
  • Линейная комбинация элементов множества : . Утверждение: .
  • Ядро и образ линейного оператора : и . Утверждение: и . Теорема о слоях и ядре линейного оператора.

    Теорема о слоях и ядре линейного оператора. Пусть — поле, — векторные пространства над полем и ; тогда
    (1) для любых и выполнено ;
    (2) — инъекция, если и только если .

  • Матричная запись системы из линейных уравн.-й от переменных: (, , ). Однородная система: .
  • Аффинные операторы: , где . Аффинные подпростр.-ва: , где ( — направляющее подпр.-во для ).
6.2  Независимые множества, порождающие множества, базисы
  • — независимое мн.-во: . — порождающее мн.-во: . Базис — независ. порожд. мн.-во.
  • Стандартные базисы пространств и : и . Стандартный базис простр.-ва : .
  • Теорема о свойствах базиса. Пусть — поле, — векторное пространство над полем и ; тогда следующие утверждения эквивалентны:
    (у1) — базис пространства ;
    (у2) отображение — изоморфизм векторных пространств;
    (у3) для любого вектора существует единственная такая финитная функция , что ;
    (у4) — максимальное независимое множество (то есть — независимое мн.-во и для любых мн.-во не является независимым);
    (у5) — минимальное порождающее множество (то есть — порождающее мн.-во и для любых мн.-во не является порождающим).
  • Теорема о порядках независимых и порождающих множеств. Пусть — поле, — векторное пространство над полем , и ;
    тогда, если — независимое множество и , то , и, если и — базисы пространства , то .
  • Теорема о существовании базиса. Пусть — поле, — векторное пространство над полем , — независимое подмножество в и
    — порождающее подмножество в , а также в существует конечное порождающее подмножество; тогда
    (1) существует такой базис пространства , что (и, значит, дополняя до базиса множество , получаем, что в существует базис);
    (2) существует такой базис пространства , что (и, значит, выделяя базис из множества , получаем, что в существует базис).
  • Теорема об универсальности базиса. Пусть — поле, — вект. пр.-ва над и — базис пространства ; тогда для любых
    существует единственный такой , что (и, значит, — изоморфизм вект. пространств).
  • Теорема о базисах и линейных операторах. Пусть — поле, — вект. пр.-ва над , — базис пространства и ; тогда
    (1) — инъекция, если и только если — инъекция и — независимое множество;
    (2) — сюръекция, если и только если — порождающее множество;
    (3) — изоморфизм, если и только если — инъекция и — базис.
6.3  Размерность, координаты, замена координат
  • Размерность пр.-ва — порядок (мощность) базиса пр.-ва . Примеры: , , .
  • Теорема о свойствах размерности. Пусть — поле, — векторное пространство над полем и ; тогда
    (1) для любого независимого подмножества в выполнено и, если , то — базис;
    (2) для любого порождающего подмножества в выполнено и, если , то — базис;
    (3) для любого подпространства в выполнено и, если , то .
  • Теорема о размерности и линейных операторах. Пусть — поле, — векторные пространства над полем и ; тогда
    (1) , если и только если ;
    (2) , если и только если ;
    (3) , если и только если ;
    (4) если , то (это принцип Дирихле для линейных операторов).
  • Множество упорядоченных базисов: . Столбец координат вектора: . Утверждение: . Изоморфизм векторных простр.-в .
  • Матрица линейн. оператора : . Теорема о матрице линейного оператора. Изоморфизм колец и вект. пр.-в .

    Теорема о матрице линейного оператора. Пусть — поле и — векторные пространства над полем ; тогда
    (1) если , , и , то , а также отображение
    — изоморфизм векторных пространств (и, значит, );
    (2) если , , и , то .

  • Матрица замены координат (): . Пример: (, ). Утверждение: и .
  • Преобразование столбца координат вектора: ; то же в покомпонентной записи: . Преобразование базиса: .
  • Преобраз.-е матрицы линейн. оператора: ; то же в покомпонентной записи (, , ): .
6.4  Факторпространства, прямая сумма векторных пространств, двойственное пространство
  • Факторпространство: с фактороперациями (). Корректность опред.-я. Теорема о гомоморфизме. Коразмерность: .

    Теорема о гомоморфизме. Пусть — поле, — векторные пространства над полем и ; тогда .

  • Теорема о факторпространстве. Пусть — поле, — векторное пространство над полем и ; тогда
    (1) если — базис пространства , — базис пространства и , то все классы смежности , где , попарно различны и
    вместе образуют базис пространства ;
    (1') если , то ;
    (2) если , — вект. пр.-во над и , то (это теорема о размерностях ядра и образа).
  • Прямая сумма : с покомпонентными операциями. Обобщение ( — мн.-во): .
  • Теорема о прямой сумме. Пусть — поле, — векторное пространство над полем , и ; обозначим через
    линейный оператор ; тогда
    (1) если — базисы пространств соответственно, то
    базис пространства (и, значит, если дополнительно — изоморфизм, то — базис пространства );
    (1') если , то ;
    (2) следующие утверждения эквивалентны: (у1) , (у2) и
    (у3) ;
    (3) если , то в пункте (2) условие "" можно заменить на условие "";
    (4) если и , то (это формула Грассмана).
  • Внутренняя прямая сумма: . Лемма об инвариантном подпространстве. Прямая сумма матриц.

    Лемма об инвариантном подпространстве. Пусть — поле, — векторное пространство над полем , , , и
    (то есть -инвариантное подпространство), а также и ; тогда
    (1) существуют такие , , и , что ;
    (2) если , и , то существуют такие , и , что .

  • Двойственное пространство: . Двойственный базис: . Столбец . Строка координат ковектора: .
  • Утверждение: и . Изоморфизм . Преобр.-я при замене базиса: , и .
  • Двойственный оператор (): . Утверждение: если , то — изоморфизм вект. пр.-в.

ТАБЛИЦА О КООРДИНАТАХ
(в таблице — поле, — векторное пространство над полем , и )
Инвариантный объектКоординаты
относительно базиса
Преобразование координат
при замене базиса
Пример использования
в геометрии и физике
вектор
элемент пространства
(тензор типа над )

(это изоморфизм
векторных пространств)
матричная запись:
покомпонентная запись:
преобразование базиса:
скорость в точке
гладкой кривой
на многообразии
ковектор
элемент пространства
(тензор типа над )

(это изоморфизм
векторных пространств)
матричная запись:
покомпонентная запись:
преобразование базиса:
дифференциал в точке
гладкой функции (скалярного поля)
на многообразии
эндоморфизм
элемент пространства
(тензор типа над )

(это изоморфизм колец
и векторных пространств)
матричная запись:
покомпонентная запись:
дифференциал в неподвижной точке
гладкого отображения,
действующего из многообразия в себя

7   Линейные операторы (часть 1)

7.1  Ранг линейного оператора, элементарные преобразования, метод Гаусса
  • Ранг линейного оператора : . Ранги матрицы по столбцам и по строкам: и .
  • Утверждение: , и . Тензорное произв.-е вектора и ковектора : .
  • Утверждение: , и . Теорема о свойствах ранга. Утверждение: .

    Теорема о свойствах ранга. Пусть — поле, — векторные пространства над полем , и ; тогда
    (1) и ;
    (2) ;
    (3) сущ.-т такие и , что (это теорема о приведении матрицы оператора к почти единичному виду)
    (матричн. формулировка: для любых и сущ.-т такие и , что );
    (4) (матричная формулировка: для любых и выполнено ).

  • Элементарные матрицы 1-го типа (трансвекции): (, ). Элементарные матрицы 2-го типа (дилатации): ().
  • Элементарные преобраз.-я над строками 1-го и 2-го типов: и . Элементарные преобр.-я над столбцами.
  • Ступенчатые матрицы. Теорема о приведении матрицы к ступенчатому виду. Строго ступенчатые матрицы. Приведение к строго ступенчатому виду.

    Теорема о приведении матрицы к ступенчатому виду. Пусть — поле, и ; тогда
    (1) существуют такие и элементарные матрицы размера над полем , что — ступенчатая матрица;
    (2) множество ненулевых строк ступенчатой матрицы из пункта (1) — базис пространства (и, значит, их количество равно ).

  • Метод Гаусса для реш.-я системы : привед.-е к ступенч. виду. Главные и свободные переменные. Фундамент. системы решений.
  • Теорема Кронекера–Капелли. Пусть — поле, , и ; тогда
    (1) и, если , то ;
    (2) , а также, если , то , и, если , то
    — аффинное подпространство в с направляющим подпространством .
7.2  Полилинейные операторы, полилинейные формы, формы объема
  • Пространства полилинейных операторов и . Пространства полилинейных форм и .
  • Пространства билинейных операторов и . Пространства билинейных форм и . Примеры полилин.-х форм.
  • Перестановка аргументов форм: . Действие группы : .
  • Пространство симметричных полилинейных форм: .
  • Пр.-во антисимм. полилин. форм: .
  • Лемма о симметричных и антисимметричных полилинейных формах. Пусть — поле, — векторное пространство над полем и ; тогда
    (1) ;
    (2) ;
    (3) если , то "" в пункте (2) можно заменить на "".
  • Простр.-во форм объема: , где . Форма объема, связанная с упоряд. базисом : .
  • Теорема о формах объема. Пусть — поле, — векторное пространство над полем , и ; тогда
    (1) , и для любых выполнено ;
    (2) множество — базис пространства (и, значит, ) и для любых выполнено ;
    (3) для любых и выполнено .
7.3  Определитель линейного оператора, миноры матрицы, спектр линейного оператора
  • Определитель линейн. оператора (): , где и . Корректность опр.-я.
  • Утверждение: . Теорема о свойствах определителя. Спец. лин. группа: .

    Теорема о свойствах определителя. Пусть — поле, — векторное пространство над полем и ; тогда отображение
    — гомоморфизм моноидов по умножению, а также .

  • Миноры — определители квадр. подматриц. Дополнит. миноры. Присоедин. матрица: дополнит. минор матрицы в позиции .
  • Теорема о присоединенной матрице. Правило Крамера. Сравнение эффективности явных формул для нахождения , , и метода Гаусса.

    Теорема о присоединенной матрице. Пусть — коммутативное кольцо, и ; тогда
    (1) для любых выполнено и для любых выполнено
    (это формулы разложения определителя матрицы по -й строке матрицы и по -му столбцу матрицы соответственно);
    (2) для любых выполнено и для любых выполнено ;
    (3) и, если , то (и, значит, ).

    Правило Крамера. Пусть — поле, , , и ; тогда .

  • Теорема о базисном миноре. Пусть — поле, и ; тогда равен максимальному среди всех таких чисел ,
    что в матрице существует такая подматрица размера , что (то есть ).
  • Собственные число и вектор лин. операт. : . Спектр лин. опер. : . Лемма о спектре.

    Лемма о спектре. Пусть — поле, — векторное простр.-во над полем и ; тогда
    и, если , то "" можно заменить на "".

  • Характеристический многочлен матрицы : . Характеристический многочлен лин. оператора : . Корректность опред.-я.
  • Утверждение: . След лин. оператора : . Корректность опр.-я. Теорема о характеристическом многочлене.

    Теорема о характеристическом многочлене. Пусть — поле, — векторное пространство над полем , и ; тогда
    и, если и , то и .