Конечномерность

Определение 1. Пусть линейное пространство называется конечномерным, если существует такая константа $M \in \mathbb{N}$, так что любая линейно независимая система (далее ЛНЗ) содержит не более $M$ векторов. В противном случае пространство называется бесконечномерным.

Замечание. Нулевое пространство будем считать конечномерным.

Пример 1. Бесконечномерным пространством является $(R[x], \mathbb{R})$. Рассмотрим систему векторов $\left\langle 1, x, x^{2}, \ldots, x^{n}\right\rangle.$ Это система ЛНЗ, так как из равенства $\alpha_{0} \cdot 1+\alpha_{1}\cdot x+\alpha_{2} \cdot x^{2}+\ldots+\alpha_{k}\cdot x^{k}=0$ следует, что $\alpha_{0}=\alpha_{1}=\alpha_{2}= \ldots =\alpha_{k}=0.$ Так как $k$ произвольно, то не существует ограничения $M$.

Пример 2. Пусть $X$ — конечномерное пространство. Рассмотрим в нем ЛНЗ систему, содержащую максимальное число векторов: $\left\langle x_{1}, x_{2}, \ldots, x_{m}\right\rangle.$ Дополняя эту систему произвольным векторм $y$, получаем уже линейно зависимую систему: $\left\langle x_{1}, x_{2}, \ldots, x_{m}, y\right\rangle.$ Тогда вектор $y$ линейно выражается через исходную систему, а именно: $$y=\alpha_{1} x_{1}+\alpha_{2} x_{2}+\ldots+\alpha_{m} x_{m}.$$

Лемма 1. Каждое подпространство конечномерного пространства в свою очередь конечномерно.

Лемма 2. Каждое подпространство есть линейная оболочка некоторой своей системы.

Конечномерность

Тест для проверки знаний по теме «Конечномерность».

Литература

  1. Личный конспект, составленный на основе лекций Белозерова Г.С..
  2. Воеводин В.В. Линейная алгебра М.: Наука, 1980.-400 с. (стр. 44-47)

Базис и размерность линейного пространства, свойства

Определение 1. Базисом конечномерного пространства называется такая линейно независимая система (далее ЛНЗ) векторов этого пространства, через которую линейно выражается каждый вектор этого пространства.

Базис имеет огромное значение при изучении конечномерных линейных пространств, и часто используется в различных исследованиях. Он позволяет очень легко описать строение любого линейного пространства, заданного над произвольным полем.

Любой вектор $x$ из линейного пространства $X$ может быть представлен в виде линейной комбинации $$x =\alpha_{1} e_{1}+\alpha_{2} e_{2}+\ldots+\alpha_{n} e_{n},$$ где $\alpha_{1},\alpha_{2} \ldots\alpha_{n}$ — некоторые числа из поля, а $e_{1}, e_{2}, \ldots, e_{n}$ — базис $X$. Данная линейная комбинация называется разложением вектора $x$ по базису, а сами числа $\alpha_{1},\alpha_{2} \ldots\alpha_{n}$ называются координатами вектора $x$ относительно этого базиса.

Лемма 1. Каждое конечномерное пространство является линейной оболочкой своего базиса.

Определение 2. Любые два базиса конечномерного пространства представляют из себя эквивалентные системы.

Из определения 2 получаем числовую характеристику пространства.

Определение 3. Размерностью ненулевого конечномерного пространства называется число векторов его базиса. Размерность нулевого пространства равна $0$.

Обозначение для размерности пространства $X$: $\operatorname{dim} Х$.

Свойства базиса

  1. Любая линейно независимая система $n$-мерного пространства, содержащая $n$ векторов, является базисом этого пространства.
  2. Любая система $n$-мерного пространства, содержащая более $n$ векторов линейно зависима.
  3. Любой вектор конечномерного пространства однозначно линейно выражается через базис.

Еще одно свойство базиса сформулируем в виде небольшой леммы и докажем ее.

Лемма 2. Каждую линейно независимую систему векторов конечномерного пространства можно пополнить до базиса этого пространства.

Пусть задано линейное пространство $X$ над произвольным полем $\mathbb{P}$. Пусть в этом пространстве задана ЛНЗ система векторов $\left\langle x_{1}, x_{2}, \ldots, x_{k}\right\rangle.$ А размерность $\operatorname{dim} Х = n $.

  1. При $k=n$ очевидно, что наша система векторов сама является базисом(свойство $1$).
  2. При $k<n$ рассмотрим множество всех ЛНЗ систем $x$, для которых наша система — подсистема. Выберем систему содержащую максимальное количество векторов: $$\langle x_{1}, \ldots, x_{k}, x_{k+1}, \ldots x_{s}\rangle.$$

    Эта система максимально ЛНЗ в $X$, следовательно она является базисом. Тогда $s=n$ и отсюда следует, что $\langle x_{k+1}, \ldots x_{n} \rangle$ — искомое дополнение.

Лемма 3 (критерий базиса). Система векторов является базисом пространства тогда и только тогда, когда она максимально линейно независима.

Примеры решения задач

Рассмотрим несколько типовых задач нахождения базиса и размерности.

  1. Показать, что следующая система векторов образуют линейное пространство. Найти базис и размерность. Все $n$-мерные векторы вида $(\alpha, \beta, \alpha, \beta, \alpha, \beta, \ldots)$, где $\alpha$ и $\beta$ — любые числа. $$L=\{x=(\alpha, \beta, \alpha, \beta, \ldots) | \alpha, \beta \in \mathbb{R}\}$$
    Решение

    $$\forall x, y \in L: \forall a, b \in \mathbb{R}(a x+b y) \in L ?$$

    Покажем, что система векторов образуют линейное пространство: $$a x+b y=a \cdot(\alpha, \beta, \alpha, \beta \ldots)+b(\varphi, \gamma, \varphi, \gamma \ldots) =$$ $$=(a \alpha, a \beta, a \alpha, a \beta \ldots)+(\varphi b, \gamma b, \varphi b, \gamma b \ldots)=$$ $$=(a \alpha+b \varphi, a \beta+\gamma b, a \alpha+b \varphi, a \beta+\gamma b \ldots) \in L.$$

    Построим стандартный базис: $$e_{1}=(1,0,0,0, \ldots, 0)\rightarrow e_{1}^{\prime}=(1,0,1,0, \ldots)$$ $$e_{2}=(0,1,0,0, \ldots, 0)\rightarrow e_{1}^{\prime}=(0,1,0,1, \ldots)$$ $$e_{3}=(0,0,1,0, \ldots, 0)\rightarrow e_{3}^{\prime}=(1,0,1,0, \ldots)$$ $$e_{4}=(0,0,0,1, \ldots, 0)\rightarrow e_{4}^{\prime}=(0,1,0,1, \ldots)$$

    Следовательно, $\left\langle e_{1}^{\prime}, e_{2}^{\prime}\right\rangle$ — базис $L$. Размерность равна 2.

  2. Определить является ли $L$ линейным подпространством пространства $X$. Найти базис и размерность. $$X=M_{2}(\mathbb{R})$$ $$L=\left\{\left(\begin{array}{l} a & b \\ c & d \end{array}\right) \in M_{2}(\mathbb{R}) | a+b+c=d\right\}.$$
    Решение

    $$\forall A, B \in L, \forall \alpha, \beta \in \mathbb{R}$$ $$\alpha A+\beta B \in L ?$$

    Покажем сначала принадлежность к $M_{2}(\mathbb{R})$. Пусть $$A=\left(\begin{array}{ll} a_{1} & b_{1} \\ c_{1} & d_{1} \end{array}\right) \quad B=\left(\begin{array}{ll} a_{2} & b_{2} \\ c_{2} & d_{2} \end{array}\right),$$ тогда $$\alpha \cdot\left(\begin{array}{ll} a_{1} & b_{1} \\ c_{1} & d_{1}\end{array}\right)+\beta \cdot\left(\begin{array}{ll} a_{2} & b_{2} \\ c_{2} & d_{2} \end{array}\right)= \left(\begin{array}{ll} \alpha a_{1} & \alpha b_{1} \\ \alpha c_{1} & \alpha d_{1} \end{array}\right)+\left(\begin{array}{ll} \beta a_{2} & \beta b_{2} \\ \beta c_{2} & \beta d_{2} \end{array}\right)=$$ $$=\left(\begin{array}{ll} \alpha a_{1}+\beta a_{2} & \alpha b_{1}+\beta b_{2} \\ \alpha c_{1}+\beta c_{2} & \alpha d_{1} +\beta d_{2} \end{array}\right) \in M_{2}(\mathbb{R})$$

    Можем доказать, что $L$ является подпространством $X$. $$\left.\begin{array}{l} d_{1}=a_{1}+b_{1}+c_{1} \\ d_{2}=a_{2}+b_{2}+c_{2} \end{array}\right\} \Rightarrow\begin{array}{l} \alpha d_{1}=\alpha a_{1}+\alpha b_{1}+\alpha c_{1} \\ \alpha d_{2}=\alpha a_{2}+\alpha b_{2}+\alpha c_{2} \end{array} \Rightarrow$$ $$\Rightarrow \alpha d_{1}+\beta d_{2}=(\alpha a_{1}+ \beta a_{2})+(\alpha b_{1} + \beta b_{2})+(\alpha c_{1} + \beta c_{2}) \Rightarrow$$ $$\Rightarrow (\alpha A + \beta B) \in L \Rightarrow L \subset X.$$

    Теперь найдем базис исходя из условий.$$ E_{11}=\left(\begin{array}{ll} 1 & 0 \\ 0 & 0 \end{array}\right)\rightarrow E_{11}^{\prime}=\left(\begin{array}{ll} 1 & 0 \\0 & 1\end{array}\right)$$ $$ E_{12}=\left(\begin{array}{ll} 0 & 1 \\ 0 & 0 \end{array}\right)\rightarrow E_{12}^{\prime}=\left(\begin{array}{ll} 0 & 1 \\0 & 1\end{array}\right)$$ $$ E_{21}=\left(\begin{array}{ll} 0 & 0 \\ 1 & 0 \end{array}\right)\rightarrow E_{21}^{\prime}=\left(\begin{array}{ll} 0 & 0 \\1 & 1\end{array}\right)$$ $$ E_{22}=\left(\begin{array}{ll} 0 & 0 \\ 0 & 1 \end{array}\right)\rightarrow \nexists$$

    Предполагаемый базис: $E^{\prime}=\left\langle E^{\prime}_{11}, E^{\prime}_{12}, E^{\prime}_{21} \right\rangle$. Проверим ЛНЗ нашего базиса.

    Пусть $$\alpha_{1}E^{\prime}_{11}+ \alpha_{2}E^{\prime}_{12}+ \alpha_{3}E^{\prime}_{21}=0,$$ тогда $$\left(\begin{array}{ll}\alpha_{1} & \alpha_{2} \\\alpha_{3} & \alpha_{1}+\alpha_{2}+\alpha_{3}\end{array}\right)=\left(\begin{array}{ll}0 & 0 \\0 & 0\end{array}\right) \Rightarrow \alpha_{1}=\alpha_{2}=\alpha_{3}=0 \Rightarrow$$ $\Rightarrow$ по критерию ЛНЗ, $E^{\prime}$ — ЛНЗ.

    Покажем, что через нашу ЛНЗ систему выражается каждый вектор этого пространства. Вспомним, что по условию $d = a + b + c.$ Отсюда следует, что $$a \cdot\left(\begin{array}{ll} 1 & 0 \\ 0 & 1 \end{array}\right)+b \cdot\left(\begin{array}{ll} 0 & 1 \\ 0 & 1 \end{array}\right)+c\left(\begin{array}{ll} 0 & 0 \\ 1 & 1 \end{array}\right)=$$ $$=\left(\begin{array}{cc}a & b \\c & a+b+c \end{array}\right)=\left(\begin{array}{cc}a & b \\c & d\end{array}\right)=A \Rightarrow $$ $\Rightarrow \forall A \in L$ линейно выражается через $E^{\prime}$. А так как мы доказали, что $E^{\prime}$ — ЛНЗ, то $E^{\prime}$ — базис $L$. Размерность равна 3.

  3. Определить является ли $L$ линейным подпространством пространства $X$. Найти базис и размерность. $$X=\mathbb{R}_{4}[x]$$ $$L=\left\{f(x)=\mathbb{R}_{4}[x] | f(x): x^{2}+2\right\}.$$
    Решение

    Пусть $f(x) \in L$ и $f(x): x^{2}+2$, тогда $$f(x)=\left(x^{2}+2\right) \cdot\left(a x^{2}+b x+c\right).$$

    Докажем, что $$\forall \alpha, \beta \in \mathbb{R}, \forall f(x), g(x) \in L ?$$

    $$\alpha(a x^{2}+b x+c)+\beta(a x^{2}+b x+c)=$$ $$(x^{2}+2)(\alpha a x^{2}+\alpha b x+\alpha c+\beta a x^{2}+\beta b x+\beta c)=$$ $$(x^{2}+2)(\alpha a x^{2}+\beta a x^{2}+\alpha b x+\beta b x+\alpha c+\beta c) \in L$$

    Теперь найдем базис: $$f(x)=a x^{4}+b x^{3}+x^{2} c+2 a x^{2}+2 b x+2 c,$$ тогда $$a\left(x^{4}+2 x^{2}\right)+b(x^{3}+2 x)+c(x^{2}+2)$$ и следовательно $$\begin{array}{l}e_{1}=x^{4}+2 x^{2} \\ e_{2}=x^{3}+2 x \\ e_{3}=x^{2}+2 \end{array}$$

    Наш предполагаемый базис: $e=\langle e_{1}, e_{2}, e_{3}\rangle$. Докажем ЛНЗ нашего базиса. $$\alpha_{1} e_{1}+\alpha_{2} e_{2}+\alpha_{3} e_{3}=$$ $$=\alpha_{1} x^{4}+\alpha_{1} 2 x^{2}+\alpha_{2} x^{3}+\alpha_{2} 2 x+\alpha_{3} x^{2}+2 \alpha_{3}=0$$ $$\Rightarrow \alpha_{1}=\alpha_{2}=\alpha_{3}=0 \Rightarrow$$ $\Rightarrow$ по критерию ЛНЗ, $e$ — ЛНЗ.

    Покажем, что через нашу ЛНЗ систему выражается каждый вектор этого пространства. $$\forall f(x) \in L : f(x)=a x^{4}+b x^{3}+x^{2} c+2 a x^{2}+2 b x+2 c$$ $$\exists \alpha_{1}=a, \alpha_{2}=b, \alpha_{3}=c.$$

    Тогда $$\alpha_{1} e_{1}+\alpha_{2} e_{2}+\alpha_{3} e_{3}=$$ $$= a(x^{4}+2 x^{2})+b(x^{3}+2 x)+c(x^{2}+2)$$ $$a x^{4}+2 a x^{2}+b x^{3}+2 b x+c x^{2}+2 c=$$ $$=a x^{4}+b x^{3}+x^{2} c+2 a x^{2}+2 b x+2 c = f(x) \Rightarrow$$ $\Rightarrow \forall f(x)$ линейно выражается через любой вектор $e=\langle e_{1}, e_{2}, e_{3}\rangle$. Тогда $e$ — базис. Размерность равна 3.

Базис и размерность линейного пространства, свойства

Тест для проверки знаний по теме «Базис и размерность линейного пространства, свойства».

Литература

  1. Личный конспект, составленный на основе лекций Белозерова Г.С..
  2. Воеводин В.В. Линейная алгебра М.: Наука, 1980.-400 с. (стр. 50-54)
  3. Фадеев Д.К. Лекции по алгебре. М.: Наука, 1984.-416 с. (стр. 301-305)
  4. Проскуряков И.В. Сборник задач по линейной алгебре. М.: Наука, 1984.-384 с. (стр. 204-211)

Изоморфизм линейных пространств

Пусть заданы два линейных пространства над полем [latex]\mathbb{P}[/latex]: [latex]A[/latex] и [latex]B[/latex]. Тогда изоморфизмом f (обозначается как [latex]A \cong B[/latex]) называется биекция из [latex]A[/latex] в [latex]B[/latex], удовлетворяющая следующим условиям:
1) [latex]f(a+b) = f(a) + f(b)[/latex]
2) [latex]f(\lambda\cdot a) = \lambda\cdot f(a) [/latex]

Изоморфными пространствами называются такие линейные пространства, между которыми можно установить изоморфизм.

Свойства изоморфизма:
1) [latex]f(0) = 0[/latex]
2)[latex]f(-a) = -f(a)[/latex]
3) [latex]f(\sum_{j=1}^{k}a_j a_j) = \sum_{j=1}^{k}a_j f(a_j)[/latex]
4) При изоморфном отображении линейно независимая система не может стать линейно зависимой. Обратное также верно.
5) Базис [latex]A[/latex] отображается в базис [latex]B[/latex].
6) Прямая сумма подпространств в [latex]A[/latex] отображается в прямую сумму образов этих подпространств в [latex]B[/latex].

 

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

 

Теорема. Любые два конечномерные линейные пространства, имеющие одинаковую размерность и заданные над одним и тем же полем, изоморфны.

Зададим два линейных пространства [latex]X[/latex] и [latex]Y[/latex] над полем P, [latex]\textrm{dim} X = \textrm{dim} Y[/latex]. Пусть базис [latex]X[/latex] — [latex]e_1,e_2,\dots ,e_n [/latex]; Y — [latex]e’_1,e’_2,\dots , e’_n[/latex]. Возьмём в пространстве [latex]X[/latex] векторы $$x_{1} = \alpha_1 e_1+\alpha_2 e_2+\dots+\alpha_n e_n$$ и $$x_2 = \beta_1 e_1+\beta e_2+\dots+\beta e_n $$Тогда при изоморфизме [latex]X \cong Y[/latex]
$$
f(x_1+x_2)=f((\alpha_1 + \beta_1)e_1 + (\alpha_2 + \beta_2)e_2 + \dots + (\alpha_n + \beta_n)e_n) = \\
= (\alpha_1 + \beta_1)e’_1 + (\alpha_2 + \beta_2)e’_2 + \dots + (\alpha_n + \beta_n)e’_n = \\
=(\alpha_1 e’_1 + \alpha_2 e’_2 + \dots + \alpha_n e’_n ) + (\beta_1 e’_1 + \beta_2 e’_2 + \dots + \beta_n e’_n) = f(x_1) + f(x_2).
$$
(первое условие изоморфизма) и
$$
f(\lambda x) = f((\lambda \alpha_1)e_1 + (\lambda \alpha_2)e_2 + \dots + (\lambda \alpha_n)e_n) = \\
= (\lambda \alpha_1)e’_1 + (\lambda \alpha_2)e’_2 + \dots + (\lambda \alpha_n)e’_n = \\
= \lambda(\alpha_1 e’_1 + \alpha_2 e’_2 + \dots + \alpha_n e’_n) = \lambda f(x)
$$
(второе условие).

Следствие. Все линейные пространства над одним и тем же полем [latex]\mathbb{P}[/latex] одинаковой размерности [latex]n[/latex] изоморфны [latex]n[/latex]-мерному арифметическому линейному пространству [latex]\mathbb{R}^n[/latex] над полем [latex]\mathbb{P}[/latex].

Примеры

1. Привести пример отображения из [latex]\mathbb{R}[/latex] в [latex]\mathbb{\mathbb{N}_0}[/latex], которое является изоморфизмом.
Решение

Пусть [latex]x’ = 2x[/latex]. Тогда [latex]f(a + b) = 2(a + b) = 2a + 2b = f(a) + f(b)[/latex] и [latex]f(\lambda a) = 2(\lambda a) = \lambda 2a = \lambda \cdot f(a)[/latex]. Значит, это отображение является изоморфизмом.

[свернуть]
2. Доказать первое свойство ([latex]f(0) = 0[/latex]).
Решение

[latex]f(a) = f(a + 0) = f(a) + f(0)[/latex], значит [latex]f(0) = 0[/latex].

[свернуть]

 

Смотрите также

Тест

Изоморфизм линейных пространств

Тест на знание изоморфизма линейных пространств.

Смешанное произведение векторов, свойства, координатное представление

Смешанное произведение векторов

Определение
Векторы $a, b,$ и $c,$ сведенные к общему началу, образуют тройку векторов.

Определение
Тройка некомпланарных векторов $\langle a, b, c \rangle$ называется правой, если направление вектора $a$ совмещается с направлением вектора $b$ кратчайшим путём при повороте против часовой стрелки вокруг вектора $c$ (рисунок 1).

Определение
Тройка некомпланарных векторов $\langle a, b, c \rangle$ называется левой, если направление вектора $a$ совмещается с направлением вектора $b$ кратчайшем путём при повороте по часовой стрелки вокруг вектора $c$ (рисунок 2).

Рисунок 1

Рисунок 2

Любая некомпланарная тройка векторов задаёт параллелепипед, ребрами которого выступают эти векторы. Если же векторы компланарны или два из них коллинеарны, то параллелепипед вырождается в параллелограмм.

Читать далее «Смешанное произведение векторов, свойства, координатное представление»

Теорема Лапласа (без доказательства)

Итак, прежде чем перейти к методу использования теоремы Лапласа, необходимо рассмотреть несколько важных определений.

Определение Пусть дана матрица $A \in M_{m \times n}(P).$ Возьмем в ней любые $i$ строк и $i$ столбцов, причем $i > 0$ и $i$ меньше минимального из $m$ и $n.$ Элементы, которые располагаются на пересечении выбранных строк и столбцов, образуют матрицу $i-$го порядка. Определитель этой матрицы называется минором $i-$го порядка исходной матрицы. Если порядок минора равен единице, то минор является элементом исходной матрицы.

Пример 1 Пусть дан определитель четвертого порядка $$ \begin{vmatrix} -8 & -5 & 2 & 7 \\ 1 & 3 & -9 & -3 \\ 4 & -4 & -1 & 9 \\ -5 & 3 & -4 & 8 \end{vmatrix}.$$ Выберем, например, $2$-й и $4$-й столбцы и $1$-ю и $3$-ю строки. Таким образом, элементы, стоящие на пересечении этих столбцов и строк образуют минор $2-$го порядка: $$ \begin{vmatrix} -5 & 7 \\ -4 & 9 \end{vmatrix} = -45 + 28 = -17.$$ Также мы можем выбрать любые строки и столбцы для получения миноров.

Определение Пусть дана матрица $A \in M_m(P).$ Выберем в ней минор $i-$го порядка, такой, что $i > 0$ и $i < m.$ Если мы вычеркнем строки и столбцы матрицы, в которых лежит данный минор, то мы получим новую матрицу. Определитель новой матрицы называется дополнительным минором к исходному.

Пример 2 Возьмем определитель и его минор $2-$го порядка из первого примера. Дополнительным минором к нему будет $$ \begin{vmatrix} 1 & -9 \\ -5 & -4 \end{vmatrix} = -4-45 = -49.$$

Определение Пусть дана матрица $A \in M_m(P).$ Выберем в ней минор $i-$го порядка, такой, что $i > 0$ и $i < m.$ Если мы умножим дополнительный к нему минор на число $(-1)^{S_1 + S_2}$, в котором $S_1$ — это сумма номеров строк, а $S_2$ — это сумма номеров столбцов, в которых лежит исходный минор, то мы получим алгебраическое дополнение к этому минору.

Пример 3 Пусть дан определитель пятого порядка $$ \begin{vmatrix} -7 & 5 & 3 & -2 & 6 \\ 9 & -8 & 7 & 3 & -4 \\ 0 & 1 & -1 & -5 & 9 \\ -3 & 2 & -2 & -4 & -8 \\ 4 & 9 & 5 & -1 & 1 \end{vmatrix}.$$ Выберем в нем, к примеру $1-$ю и $4-$ю строки, а также $2-$й и $5-$й столбцы. Тогда на пересечении выбранных строк и столбцов образуется минор $2-$го порядка $$ \begin{vmatrix} 5 & 6 \\ 2 & -8 \end{vmatrix} = -40-12 = -52.$$ Дополнительным минором к нему будет $$ \begin{vmatrix} 9 & 7 & 3 \\ 0 & -1 & -5 \\ 4 & 5 & -1 \end{vmatrix} = 9 + 0-140 + 12 + 0 + 225 = 106.$$ Наконец, алгебраическим дополнением к минору будет $$ \begin{vmatrix} 9 & 7 & 3 \\ 0 & -1 & -5 \\ 4 & 5 & -1 \end{vmatrix} \cdot (-1)^{(1 + 4) + (2 + 5)} = 106 \cdot (-1)^{12} = 106,$$ где степени $-1$ являются таковыми, так как элементы минора исходного определителя располагаются в $1-$й и $4-$й строках и во $2-$м и в $5-$м столбцах.

Итак, разобравшись с приведенными выше определениями, можно приступать к формулированию теоремы.

Теорема (Лапласа) Если в определителе порядка $m$ выбрать $i$ строк (столбцов), где $i > 0$ и $i < m,$ то данный определитель будет равняться сумме миноров, которые расположены в этих строках (столбцах), умноженных на их алгебраические дополнения. Эти миноры будут иметь $i-$й порядок.

Таким образом, благодаря теореме Лапласа, при вычислении определителя $m-$го порядка, мы можем вычислить несколько определителей более малых порядков ($i$), что упрощает нам задачу.

Следствием (а также частным случаем, для которого $i = 1$) из теоремы Лапласа является Теорема о разложении определителя по строке.

Примеры решения задач

Пример 4 Найти определитель матрицы $4-$го порядка $$\begin{pmatrix} 3 & 5 & 6 & 9 \\ -1 & 7 & 2 & -5 \\ 0 & 4 & 1 & 2 \\ -3 & -6 & 5 & 0 \end{pmatrix}.$$ Разложим определитель этой матрицы по теореме Лапласа, выбрав $1-$ю и $3-$ю строки: $$\begin{vmatrix} 3 & 5 & 6 & 9 \\ -1 & 7 & 2 & -5 \\ 0 & 4 & 1 & 2 \\ -3 & -6 & 5 & 0 \end{vmatrix} = (-1)^{(1 + 3) + (1 + 2)} \cdot \begin{vmatrix} 3 & 5 \\ 0 & 4 \end{vmatrix} \cdot \begin{vmatrix} 2 & -5 \\ 5 & 0 \end{vmatrix} +$$ $$+ (-1)^{(1 + 3) + (1 + 3)} \cdot \begin{vmatrix} 3 & 6 \\ 0 & 1 \end{vmatrix} \cdot \begin{vmatrix} 7 & -5 \\ -6 & 0 \end{vmatrix} + (-1)^{(1 + 3) + (1 + 4)} \cdot \begin{vmatrix} 3 & 9 \\ 0 & 2 \end{vmatrix} \cdot \begin{vmatrix} 7 & 2 \\ -6 & 5 \end{vmatrix} +$$ $$+ (-1)^{(1 + 3) + (2 + 4)} \cdot \begin{vmatrix} 5 & 9 \\ 4 & 2 \end{vmatrix} \cdot \begin{vmatrix} -1 & 2 \\ -3 & 5 \end{vmatrix} + (-1)^{(1 + 3) + (3 + 4)} \cdot \begin{vmatrix} 6 & 9 \\ 1 & 2 \end{vmatrix} \cdot \begin{vmatrix} -1 & 7 \\ -3 & -6 \end{vmatrix} +$$ $$+ (-1)^{(1 + 3) + (2 + 3)} \cdot \begin{vmatrix} 5 & 6 \\ 4 & 1 \end{vmatrix} \cdot \begin{vmatrix} -1 & -5 \\ -3 & 0 \end{vmatrix} = (-1)^7 \cdot (12-0) \cdot (0 + 25) +$$ $$+ (-1)^8 \cdot (3-0) \cdot (0-30) + (-1)^9 \cdot (6-0) \cdot (35 + 12) +$$ $$+ (-1)^{10} \cdot (10-36) \cdot (-5 + 6) + (-1)^{11} \cdot (12-9) \cdot (6 + 21) +$$ $$+ (-1)^9 \cdot (5-24) \cdot (0-15) = -(12 \cdot 25)-3 \cdot 30-6 \cdot 47-26 \cdot 1-3 \cdot 27-$$ $$-(19 \cdot 15) = -300-90-282-26-81-285 = -1064.$$

Как мы могли заметить, для нахождения определителя $4-$го порядка нам понадобилось искать лишь определители $2-$го порядка, что намного легче. Разберем этот пример подробнее.

Для начала, вторым множителем каждого слагаемого является минор, расположенный в выбранных в начале решения строках. Мы берем все существующие в данных строках миноры. Далее, первым множителем каждого слагаемого является $(-1)$ в степени, которая является суммой номеров строк и столбцов, в которых расположен соответствующий минор. Третьим же множителем является дополнительный минор к соответствующему. Произведение дополнительного минора и $(-1)$ в соответствующей степени образует алгебраическое дополнение к своему минору.

Таким образом мы расписываем все миноры, находящиеся в выбранных строках, умножаем на их алгебраические дополнения и суммируем полученные произведения. После этого решаем полученное выражение, приходя к ответу, который является значением определителя исходной матрицы.

Пример 5 Найти определитель матрицы $4-$го порядка $$\begin{pmatrix} 1 & 4 & -3 & 0 \\ 5 & -2 & 1 & 7 \\ 0 & 2 & -6 & 4 \\ -5 & 1 & 0 & 2 \end{pmatrix}.$$

Решение

Разложим определитель данной матрицы по теореме Лапласа по $2-$му и $3-$му столбцам: $$\begin{vmatrix} 1 & 4 & -3 & 0 \\ 5 & -2 & 1 & 7 \\ 0 & 2 & -6 & 4 \\ -5 & 1 & 0 & 2 \end{vmatrix} = (-1)^{(1 + 2) + (2 + 3)} \cdot \begin{vmatrix} 4 & -3 \\ -2 & 1 \end{vmatrix} \cdot \begin{vmatrix} 0 & 4 \\ -5 & 2 \end{vmatrix} +$$ $$+ (-1)^{(1 + 3) + (2 + 3)} \cdot \begin{vmatrix} 4 & -3 \\ 2 & -6 \end{vmatrix} \cdot \begin{vmatrix} 5 & 7 \\ -5 & 2 \end{vmatrix} + (-1)^{(1 + 4) + (2 + 3)} \cdot \begin{vmatrix} 4 & -3 \\ 1 & 0 \end{vmatrix} \cdot \begin{vmatrix} 5 & 7 \\ 0 & 4 \end{vmatrix} +$$ $$+ (-1)^{(2 + 3) + (2 + 3)} \cdot \begin{vmatrix} -2 & 1 \\ 2 & -6 \end{vmatrix} \cdot \begin{vmatrix} 1 & 0 \\ -5 & 2 \end{vmatrix} + (-1)^{(2 + 4) + (2 + 3)} \cdot \begin{vmatrix} -2 & 1 \\ 1 & 0 \end{vmatrix} \cdot \begin{vmatrix} 1 & 0 \\ 0 & 4 \end{vmatrix} +$$ $$+ (-1)^{(3 + 4) + (2 + 3)} \cdot \begin{vmatrix} 2 & -6 \\ 1 & 0 \end{vmatrix} \cdot \begin{vmatrix} 1 & 0 \\ 5 & 7 \end{vmatrix} = (-1)^8 \cdot (4-6) \cdot (0 + 20) +$$ $$+ (-1)^9 \cdot (-24 + 6) \cdot (10 + 35) + (-1)^{10} \cdot (0 + 3) \cdot (20-0) +$$ $$+ (-1)^{10} \cdot (12-2) \cdot (2-0) + (-1)^{11} \cdot (0-1) \cdot (4-0) +$$ $$+ (-1)^{12} \cdot (0 + 6) \cdot (7-0) = -2 \cdot 20 + 18 \cdot 45 + 3 \cdot 20 + 10 \cdot 2 + 1 \cdot 4 +$$ $$+ 6 \cdot 7 = -40 + 810 + 60 + 20 + 4 + 42 = 896. $$

[свернуть]

Пример 6 Найти определитель матрицы $4-$го порядка $$\begin{pmatrix} 7 & 9 & 12 & 0 \\ 4 & 5 & -3 & 1 \\ 0 & 2 & 4 & -5 \\ 11 & -7 & 9 & 8 \end{pmatrix}.$$

Решение

Разложим определитель данной матрицы по теореме Лапласа по $2-$й и $4-$й строкам: $$\begin{vmatrix} 7 & 9 & 12 & 0 \\ 4 & 5 & -3 & 1 \\ 0 & 2 & 4 & -5 \\ 11 & -7 & 9 & 8 \end{vmatrix} = (-1)^{(2 + 4) + (1 + 2)} \cdot \begin{vmatrix} 4 & 5 \\ 11 & -7 \end{vmatrix} \cdot \begin{vmatrix} 12 & 0 \\ 4 & -5 \end{vmatrix} +$$ $$+ (-1)^{(2 + 4) + (1 + 3)} \cdot \begin{vmatrix} 4 & -3 \\ 11 & 9 \end{vmatrix} \cdot \begin{vmatrix} 9 & 0 \\ 2 & -5 \end{vmatrix} + (-1)^{(2 + 4) + (1 + 4)} \cdot \begin{vmatrix} 4 & 1 \\ 11 & 8 \end{vmatrix} \cdot \begin{vmatrix} 9 & 12 \\ 2 & 4 \end{vmatrix} +$$ $$+ (-1)^{(2 + 4) + (2 + 3)} \cdot \begin{vmatrix} 5 & -3 \\ -7 & 9 \end{vmatrix} \cdot \begin{vmatrix} 7 & 0 \\ 0 & -5 \end{vmatrix} +$$ $$+ (-1)^{(2 + 4) + ( 2 + 4)} \cdot \begin{vmatrix} 5 & 1 \\ -7 & 8 \end{vmatrix} \cdot \begin{vmatrix} 7 & 12 \\ 0 & 4 \end{vmatrix} + (-1)^{(2 + 4) + (3 + 4)} \cdot \begin{vmatrix} -3 & 1 \\ 9 & 8 \end{vmatrix} \cdot \begin{vmatrix} 7 & 9 \\ 0 & 2 \end{vmatrix} =$$ $$= (-1)^9 \cdot (-28-55) \cdot (-60-0) + (-1)^{10} \cdot (36 + 33) \cdot (-45-0) +$$ $$+ (-1)^{11} \cdot (32-11) \cdot (36-24) + (-1)^{11} \cdot (45-21) \cdot (-35-0) +$$ $$+ (-1)^{12} \cdot (40 + 7) \cdot (28-0) + (-1)^{13} \cdot (-24-9) \cdot (14-0) = -83 \cdot 60-69 \cdot $$ $$ \cdot 45-21 \cdot 12 + 24 \cdot 35 + 47 \cdot 28 + 33 \cdot 14 = -4980-3105-252 + 840 +$$ $$+ 1316 + 462 = -5719. $$

[свернуть]

Пример 7 Найти определитель матрицы $4-$го порядка $$\begin{pmatrix} -5 & 7 & 12 & 0 \\ 11 & -2 & 6 & 10 \\ 2 & 15 & 1 & -3 \\ 4 & -1 & 14 & 5 \end{pmatrix}.$$

Решение

Разложим определитель данной матрицы по теореме Лапласа по $1-$му и $2-$му столбцам: $$\begin{vmatrix} -5 & 7 & 12 & 0 \\ 11 & -2 & 6 & 10 \\ 2 & 15 & 1 & -3 \\ 4 & -1 & 14 & 5 \end{vmatrix} = (-1)^{(1 + 2) + (1 + 2)} \cdot \begin{vmatrix} -5 & 7 \\ 11 & -2 \end{vmatrix} \cdot \begin{vmatrix} 1 & -3 \\ 14 & 5 \end{vmatrix} +$$ $$+ (-1)^{(1 + 3) + (1 + 2)} \cdot \begin{vmatrix} -5 & 7 \\ 2 & 15 \end{vmatrix} \cdot \begin{vmatrix} 6 & 10 \\ 14 & 5 \end{vmatrix} +$$ $$+ (-1)^{(1 + 4) + (1 + 2)} \cdot \begin{vmatrix} -5 & 7 \\ 4 & -1 \end{vmatrix} \cdot \begin{vmatrix} 6 & 10 \\ 1 & -3 \end{vmatrix} +$$ $$+ (-1)^{(2 + 3) + (1 + 2)} \cdot \begin{vmatrix} 11 & -2 \\ 2 & 15 \end{vmatrix} \cdot \begin{vmatrix} 12 & 0 \\ 14 & 5 \end{vmatrix} +$$ $$+ (-1)^{(2 + 4) + (1 + 2)} \cdot \begin{vmatrix} 11 & -2 \\ 4 & -1 \end{vmatrix} \cdot \begin{vmatrix} 12 & 0 \\ 1 & -3 \end{vmatrix} +$$ $$+ (-1)^{(3 + 4) + (1 + 2)} \cdot \begin{vmatrix} 2 & 15 \\ 4 & -1 \end{vmatrix} \cdot \begin{vmatrix} 12 & 0 \\ 6 & 10 \end{vmatrix} = (-1)^6 \cdot (10-77) \cdot (5 + 42) +$$ $$+ (-1)^7 \cdot (-75-14) \cdot (30-144) + (-1)^8 \cdot (5-28) \cdot (-18-10) +$$ $$+ (-1)^8 \cdot (165 + 4) \cdot (60-0) + (-1)^9 \cdot (-11 + 8) \cdot (-36-0) +$$ $$+ (-1)^{10} \cdot (-2-60) \cdot (120-0) = -67 \cdot 47-89 \cdot 110 + 23 \cdot 28 + 169 \cdot 60-$$ $$-3 \cdot 36-62 \cdot 120 = -3149-9790 + 644 + 10140-108-7440 = -9703. $$

[свернуть]

Смотрите также

  1. А. И. Кострикин Введение в алгебру М.: Наука, 1994, Глава 3, §3, «Упражнения» (стр. 150)
  2. Курош А.Г. Курс высшей алгебры М.: Наука, 1968, Глава 1, §6, «Вычисление определителей» (стр. 51)
  3. Личный конспект, составленный на основе лекций Г. С. Белозерова.

Теорема Лапласа

Тест на проверку знаний о теореме Лапласа и определений, необходимых для формулировки данной теоремы.