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

Векторное произведение векторов

Определение. Если наблюдатель, идя против часовой стрелке сначала встречает вектор $\vec {c},$ затем встречает вектор $\vec {a},$ затем вектор $\vec {b},$ то тройка векторов $\left\{\vec {a}, \vec {b}, \vec {c}\right\}$ называется правой (рис. 1), если же наблюдатель шел по часовой стрелке и встретил вектора в той же последовательности, то тогда тройка векторов $\left\{\vec {a}, \vec {b}, \vec {c}\right\}$ называется левой.

Определение с использованием руки (мнемоническое правило). Если обозначить указательный палец как $\vec {a},$ средний палец как $\vec {b},$ а большой палец как их произведение, т.е. $\vec {c},$ то расположение пальцев на правой руке является правой тройкой векторов, а на левой руке левой тройкой векторов.

На рисунке 1 показано как будет выглядеть правая тройка векторов.

рис. 1

Определение. Векторным произведением неколлинеарных векторов $\vec {a}$ и $\vec {b}$ называется вектор $\vec {c},$ такой, что

  1. $\left|\vec {c}\right| = \left|\vec {a}\right| \cdot \left|\vec {b}\right| \cdot \sin \varphi,$ где $\varphi$ — угол между векторами $\vec {a}$ и $\vec {b};$
  2. Вектор $\vec {c}$ ортогонален вектору $\vec {a}$ и вектору $\vec {b};$
  3. Тройка векторов $\left\{\vec {a}, \vec {b}, \vec {c}\right\}$ правая.

Векторное произведение $\vec {a}$ и $\vec {b}$ обозначается как $\left[\vec {a}, \vec{b}\right].$

Свойства векторного произведения

  • $\left[\vec{a}, \vec{b}\right] = -\left[\vec{b}, \vec{a}\right]$ (антикоммутативность).

    Смотря на определение видно, что произведения $\vec {a} \times \vec {b}$ и $\vec {b} \times \vec {a}$ имеют одинаковую длину. Так же они имеют противоположное направление из-за того, что $\sin \varphi$ нечетен.

  • $\,\left[\lambda \vec{a}, \vec{b}\right] = \lambda\left[\vec{a}, \vec{b}\right]$ (ассоциативность).

    Докажем данное св-во для случая $\lambda > 0,$ а для $\lambda < 0,$ доказательство проводится аналогично. Легко заметить, что при $\lambda > 0$ вектор $\lambda \left(\vec {a} \times \vec {b}\right)$ имеет то же направление, что и $\vec {a} \times \vec {b}$ (обратное при $\lambda < 0$). Теперь нам надо доказать равенство длин этих произведений. $$\left|\left(\vec{a} \times \vec{b}\right)\right| = \left|\lambda\right| \cdot \left|\vec{a} \times \vec{b}\right| = \lambda \cdot \left|\vec{a}\right| \cdot \left|\vec{b}\right| \cdot \sin \left(\vec{a}; \vec{b}\right),$$ $$\left|\left(\lambda \vec{a}\right) \times \vec{b}\right| = \left|\lambda \vec{a}\right| \cdot \left|\vec{b}\right| \cdot \sin \left(\vec{a}; \vec{b}\right) = \lambda \left|\vec{a}\right| \cdot \left|\vec{b}\right| \cdot \sin \left(\vec{a}; \vec{b}\right).$$

  • $\,\vec{a} \times \left(\vec{b} + \vec{c}\right) = \vec{a} \times \vec{b} + \vec{a} \times \vec{c}$ (дистрибутивность).
  • Условие коллинеарности векторов.

    Для того, чтобы два ненулевых вектора были коллинеарны, необходимо и достаточно, чтобы их векторное произведение равнялось нулевому вектору. $$\vec{a} \| \vec{b}, \quad \left| \vec{a}\right| \neq 0, \quad \left|\vec{b}\right| \neq 0 \Longleftrightarrow \vec{a} \times \vec{b} = \vec{0}.$$

    Необходимость. Очевидно, что если вектора $\vec {a}$ и $\vec {b}$ коллинеарны, то синус угла между ними равен нулю, отсюда видим, что по определению, векторное произведение равно нулю.
    Достаточность. Теперь докажем в обратную сторону: если $\vec{a} \times \vec{b} = \vec{0},$ то $\left|\vec{a}\right| \cdot \left|\vec{b}\right| \cdot \sin \left(\vec{a}; \vec{b}\right) = 0 \Rightarrow$ один из сомножителей равен нулю. Так как ни один из векторов не равен нулю, то $\sin \left(\vec{a}; \vec{b}\right) = 0,$ т.е. либо $\widehat {\left(\vec{a}; \vec{b}\right)} = 0,$ либо $\widehat {\left(\vec{a}; \vec{b}\right)} = \pi$ и значит $\vec{a} \| \vec{b}.$

    Следствие: векторный квадрат равен нулевому вектору.

  • Геометрический смысл векторного произведения.

    Модуль векторного произведения равен площади параллелограмма построенного на перемножаемых векторах (рис. 2).

    Если посмотреть векторного произведения $\left|\vec{a} \times \vec{b}\right| = \left|\vec{a}\right| \cdot \left|\vec{b}\right| \cdot \sin \left(\vec{a}; \vec{b}\right),$ то мы видим общеизвестную формулу площади параллелограмма со сторонами, длины которых равны $\left|\vec {a}\right|$ и $\left|\vec {b}\right|.$

    рис. 2

Координатное представление векторного произведения

Для того, чтобы выразить результат векторного произведения векторов $\vec {a} = \left(a_{x}, a_{y}, a_{z}\right)$ и $\vec {b} = \left(b_{x}, b_{y}, b_{z}\right)$ в координатах надо сначала найти все парные векторные произведения единичных векторов $\vec {i}, \vec {j}, \vec {k}.$ $$\vec{i} \times \vec{i} = \vec{j} \times \vec{j} = \vec{k} \times \vec{k} = 0,$$ $$\vec{i} \times \vec{j} = \vec{k}, \quad \vec{j} \times \vec{k} = \vec{i}, \quad \vec{k} \times \vec{i} = \vec{j},$$ $$\vec{j} \times \vec{i} = -\vec{k}, \quad \vec{k} \times \vec{j} = -\vec{i}, \quad \vec{i} \times \vec{k} = -\vec{j}.$$ $$\vec {a} \times \vec {b} = \left(a_{x} \cdot \vec {i} + a_{y} \cdot \vec {j} + a_{z} \cdot \vec {k} \right) \times \left(b_{x} \cdot \vec {i} + b_{y} \cdot \vec {j} + b_{z} \cdot \vec {k} \right) = $$ $$= \, a_{x} b_{y} \cdot \vec {i} \times \vec {j} + a_{x} b_{z} \cdot \vec {i} \times \vec {k} + a_{y} b_{x} \cdot \vec {j} \times \vec {i} + a_{y} b_{z} \cdot \vec {j} \times \vec {k} + a_{z} b_{x} \cdot \vec {k} \times \vec {i} + \,$$ $$+ \, a_{z} b_{y} \cdot \vec {k} \times \vec {j} = a_{x} b_{y} \cdot \vec {k} — a_{x} b_{z} \cdot \vec {j} — a_{y} b_{x} \cdot \vec {k} + a_{y} b_{z} \cdot \vec {i} + a_{z} b_{x} \cdot \vec {j} — \,$$ $$- \, a_{z} b_{v} \cdot \vec {i} = \left(a_{y} b_{z} — a_{z} b_{y}\right) \vec{i} — \left(a_{x} b_{z} — a_{z} b_{x}\right) \vec{j} + \left(a_{x} b_{y} — a_{y} b_{x}\right) \vec{k}.$$
Легко заметить, что разности, стоящие в скобочках, равны определителям второго порядка. $$\vec{a} \times \vec{b} = \left|
\begin {matrix}
a_{y} & a_{z} \\
b_{y} & b_{z}
\end {matrix}
\right| \cdot \vec{i} \, — \, \left|
\begin {matrix}
a_{x} & a_{z} \\
b_{x} & b_{z}
\end{matrix}
\right| \cdot \vec{j} + \left|
\begin{matrix}
a_{x} & a_{y} \\
b_{x} & b_{y}
\end{matrix}
\right| \cdot \vec{k}.$$ Итак, видим, что справа от знака равно записано разложение определителя третьего порядка по первой строке. $$\vec{a} \times \vec{b} = \left|
\begin{matrix}
\vec{i} & \vec{j} & \vec{k} \\
a_{x} & a_{y} & a_{z} \\
b_{x} & b_{y} & b_{z}
\end{matrix}
\right|.$$ То есть $\vec {c} = \left(\left|
\begin {matrix}
a_{y} & a_{z} \\
b_{y} & b_{z}
\end {matrix}
\right|, — \left|
\begin {matrix}
a_{x} & a_{z} \\
b_{x} & b_{z}
\end{matrix}
\right|, \left|
\begin {matrix}
a_{x} & a_{y} \\
b_{x} & b_{y}
\end{matrix}
\right|\right).$

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

  1. Найти модуль векторного произведения векторов $\vec {a} = \left(0, 3, 4\right)$ и $\vec {b} = \left(5, 12, 0\right), \, \varphi = \frac{\pi}{3}.$
    Решение

    Для того, чтобы использовать формулу вычисления модуля векторного произведения $|\vec {c}| = |\vec {a}| |\vec {b}| \sin \varphi$ надо знать длины наших векторов, для этого воспользуемся формулой $|\vec {f}| = \sqrt{\left(f_{x}\right)^2 + \left(f_{y}\right)^2 + \left(f_{z}\right)^2}.$ Тогда $|\vec {a}| = \sqrt{0 + 9 + 16} = 5$ и $|\vec {b}| = \sqrt{25 + 144 + 0} = 13.$ Тогда $\left|\vec {c}\right| = 5 \cdot 13 \cdot \sin \left(\frac {\pi}{3}\right) = 80 \cdot \frac {\sqrt{3}}{2} = 40\sqrt {3}.$
    Ответ: $40\sqrt {3}.$

    [свернуть]

  2. Найти координаты вектора $\vec {c},$ который является результатом векторного произведения векторов $\vec {a} = \left(1, -2, 3\right)$ и $\vec {b} = \left(3, 4, 6\right).$
    Решение

    Разложим определитель трехмерной матрицы, в которой первая строка это $i, j, k,$ вторая строка это координаты вектора $\vec {a},$ а третья строка — координаты вектора $\vec {b}$ по первой строчке. То есть $$\left|
    \begin{matrix}
    \vec{i} & \vec{j} & \vec{k} \\
    1 & -2 & 3 \\
    3 & 4 & 6
    \end{matrix}
    \right| = \vec {i} \cdot \left|
    \begin {matrix}
    -2 & 3 \\
    4 & 6
    \end {matrix}
    \right| — \vec {j} \cdot \left|
    \begin {matrix}
    1 & 3 \\
    3 & 6
    \end {matrix}
    \right| + \vec {k} \cdot \left|
    \begin {matrix}
    1 & -2 \\
    3 & 4
    \end {matrix}
    \right| =$$ $$= \, (-24) \cdot \vec {i} \, — (-3) \cdot \vec{j} + 10 \cdot \vec {k} = (-24) \cdot \vec {i} +3 \cdot \vec{j} + 10 \cdot \vec {k}.$$ Отсюда видим, что $\vec {c} = (-24, 3, 10).$

    [свернуть]
  3. Найти длины и координаты всех векторов получившихся в результате векторного умножения векторов $\vec {a} = (2, 3, 4), \vec {b} = (-1, 3, -7), \vec {c} = (0, 0, 3)$ зная, что $\sin \left(\vec {a}, \vec {b}\right) = \frac {1}{2}, \sin \left(\vec {a}, \vec {c}\right) = \frac {1}{3}, \sin \left(\vec {b}, \vec {c}\right) = \frac {5}{6}.$
    Решение

    Для начала найдем модули всех заданных векторов, для этого воспользуемся формулой нахождения модуля вектора из примера 1 $|\vec {a}| = \sqrt {4 + 9 + 16} = \sqrt {29}, \left|\vec {b}\right| = \sqrt {1 + 9 + 49} = \sqrt {59}, \left|\vec {c}\right| = \sqrt {0 + 0 + 9} = 3.$ Теперь будем решать задачу для пары векторов $\vec {a}$ и $\vec {b}.$ $$\vec {a} \times \vec {b} = \left|
    \begin{matrix}
    \vec{i} & \vec{j} & \vec{k} \\
    2 & 3 & 4 \\
    -1 & 3 & -7
    \end{matrix}
    \right| = \vec {i} \cdot \left|
    \begin {matrix}
    3 & 4 \\
    3 & -7
    \end {matrix}
    \right| — \vec {j} \cdot \left|
    \begin {matrix}
    2 & 4 \\
    -1 & -7
    \end {matrix}
    \right| +$$ $$+ \, \vec {k} \cdot \left|
    \begin {matrix}
    2 & 3 \\
    -1 & 3
    \end {matrix}
    \right| = (-40) \cdot \vec {i} \, — (-10) \cdot \vec {j} + 9 \cdot \vec {k} = (-40) \cdot \vec {i} + 10 \cdot \vec {j} + 9 \cdot \vec {k},$$ т.е. координаты результата равны $(-40, 10, 9),$ теперь найдем модуль данного произведения $\left|\vec {a} \times \vec {b}\right| = \sqrt {29} \cdot \sqrt {59} \cdot \frac {1}{2} =$ $= \, \frac {\sqrt {1711}}{2}.$ Теперь проделаем тоже самое для пары $\vec {a}$ и $\vec {c}.$ $$\vec {a} \times \vec {c} = \left|
    \begin{matrix}
    \vec{i} & \vec{j} & \vec{k} \\
    2 & 3 & 4 \\
    0 & 0 & 3
    \end{matrix}
    \right| = \vec {i} \cdot \left|
    \begin {matrix}
    3 & 4 \\
    0 & 3
    \end {matrix}
    \right| — \vec {j} \cdot \left|
    \begin {matrix}
    2 & 4 \\
    0 & 3
    \end {matrix}
    \right| +$$ $$+ \, \vec {k} \cdot \left|
    \begin {matrix}
    2 & 3 \\
    0 & 0
    \end {matrix}
    \right| = 9 \cdot \vec {i} \, — \, 6 \cdot \vec {j} + 0 \cdot \vec {k} = 9 \cdot \vec {i} \, — \, 6 \cdot \vec {j},$$ координаты равны $(9, -6, 0)$ теперь найдем модуль данного произведения $\left|\vec {a} \times \vec {c}\right| = \sqrt {29} \cdot 3 \cdot \frac {1}{3} =$ $= \, \frac {3 \sqrt {29}}{3} = \sqrt {29}.$ И наконец, пара $\vec {b}$ и $\vec {c}.$ $$\vec {b} \times \vec {c} = \left|
    \begin{matrix}
    \vec{i} & \vec{j} & \vec{k} \\
    -1 & 3 & 7 \\
    0 & 0 & 3
    \end{matrix}
    \right| = \vec {i} \cdot \left|
    \begin {matrix}
    3 & 7 \\
    0 & 3
    \end {matrix}
    \right| — \vec {j} \cdot \left|
    \begin {matrix}
    -1 & 7 \\
    0 & 3
    \end {matrix}
    \right| +$$ $$+ \, \vec {k} \cdot \left|
    \begin {matrix}
    -1 & 3 \\
    0 & 0
    \end {matrix}
    \right| = 9 \cdot \vec {i} \, — \, (-3) \cdot \vec {j} + 0 \cdot \vec {k} = 9 \cdot \vec {i} + 3 \cdot \vec {j},$$ координаты равны $(9, 3, 0)$ теперь найдем модуль данного произведения $\left|\vec {b} \times \vec {c}\right| = \sqrt {59} \cdot 3 \cdot \frac {5}{6} =$ $= \, \frac {3 \cdot 5 \sqrt {59}}{6} = \frac {5 \sqrt {59}}{2}.$ Итак, задача решена.

    [свернуть]
  4. Найти площадь треугольника, у которого заданы координаты его вершин. $A = (1, 2, 3), B = (5, 11 -2), C = (3, -6, 4).$
    Решение

    Чтобы решить эту задачу достаточно найти площадь параллелограмма, построенного на каких-то двух сторонах треугольника. Пусть этими сторонами будут $AB$ и $AC.$ Для начала надо найти координаты этих векторов $\vec {AB} = (5 — 1, 11 — 2, -2 — 3) = (4, 9, 5), \vec {AC} = (3 — 1, -6 — 2,4 — 3) =$ $= \, (2, -8, -1).$ Найдем координаты вектора, полученного в результате векторного умножения сторон треугольника $$\vec {a} = \left|
    \begin{matrix}
    \vec{i} & \vec{j} & \vec{k} \\
    4 & 9 & 5 \\
    2 & -8 & -1
    \end{matrix}
    \right| = \vec {i} \cdot \left|
    \begin {matrix}
    9 & 5 \\
    -8 & -1
    \end {matrix}
    \right| — \vec {j} \cdot \left|
    \begin {matrix}
    4 & 5 \\
    2 & -1
    \end {matrix}
    \right| +$$ $$+ \, \vec {k} \cdot \left|
    \begin {matrix}
    4 & 9 \\
    -8 & -1
    \end {matrix}
    \right| = 31 \cdot \vec {i} \, — \, (-14) \cdot \vec {j} + 68 \cdot \vec {k} = 31 \cdot \vec {i} + 14 \cdot \vec {j} + 68 \cdot \vec {k}.$$ Как мы уже знаем, координатами вектора $\vec {a}$ будет $(31, 14, 68).$ Осталось найти модуль полученного вектора по уже известной формуле $\left|\vec {a}\right| = \sqrt {961 + 196 + 4624} = \sqrt {5781}$ и поделить его на $2, S = \frac {\sqrt {5781}}{2}.$

    [свернуть]
  5. Найти площадь параллелограмма, построенного на векторах $\vec {a} = (1, -3, 4), \vec {AB},$ если $A = (3, 8 ,6), B = (2, 4, -7)$ и угол между ними равен $\varphi = \frac {\pi}{6}.$
    Решение

    Для начала надо найти вектор $\vec {AB} = (2 — 3, 4 — 8, -7 — 6) =$ $= \, (-1, -4, -13)$ и его модуль $\left|\vec {AB} \right| = \sqrt {1 + 16 + 169} = \sqrt {186}.$ Так же надо найти модуль вектора $\left|\vec {a}\right| = \sqrt {1 + 9 + 16} = \sqrt {26}.$ Теперь воспользуемся определением $\vec {a} \times \vec {AB} = \sqrt {186} \cdot \sqrt {26} \cdot \sin \frac {\pi}{6} = \sqrt {4836} \cdot \frac {1}{2}.$ На данном этапе можем внести $\frac {1}{2}$ под корень и тогда ответом будет $\sqrt {1209}.$

    [свернуть]

Список литературы

  1. Ефимов Н.В.: Краткий курс аналитической геометрии, стр. 154-163
  2. Постников М.М. Аналитическая геометрия, стр 133-134
  3. Личный конспект на основе лекций Белозерова Г.С.

Векторное произведение векторов

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

Простейшие сведения о непрерывных дробях и их свойствах

Пусть число $\usepackage{amsfonts} x \in \mathbb {R}$. Тогда обозначим через $q_1$ наибольшее целое число, меньшее $x$. Если $x$ не целое число, то мы получим равенство вида $\displaystyle x = q_1 + \frac{1}{x_1}$, так как дробь $\displaystyle \frac{1}{x_1} < 1$, то $ x_1>1 $, и тогда аналогично для $x_1$ находим такое целое $q_2 < x_1$, получаем $\displaystyle x_1 = q_2 + \frac{1}{x_2}$, возвращаясь к первому равенству $\displaystyle x = q_1 + \frac{1}{\displaystyle q_2 + \frac{1}{x_2}}$. Продолжая этот процесс будем получать представления последующих $\displaystyle x_k:$ $$x_2 = q_3 + \frac{1}{x_3}, $$ $$x_3 = q_4 + \frac{1}{x_4},$$ $$\ldots$$ $$x_i = q_{i+1} + \frac{1}{x_{i+1}},$$ $$\ldots$$

В итоге и получим непрерывную дробь: $$\usepackage{amsmath} \begin{multline*} \displaystyle x = q_1 + \frac{1}{\displaystyle q_2+ \frac{1}{q_3+\cdots}} \\ \ddots \\ \cdots + \frac{1}{\displaystyle q_{n-1} + \frac{1}{\displaystyle q_{n}+\frac{1}{x_n}}}.
\end{multline*}$$

Далее, нам стоит рассмотреть два случая: первый — $\usepackage{amsfonts} x \in \mathbb {Q}$, т. е. $x$ — рациональное число и второй — $\usepackage{amsfonts} x \in \mathbb {R} \setminus \mathbb {Q}$, т. е. $x$ — иррациональное число. Почему важны именно эти случаи?

По определению, рациональное число представимо в виде несократимой дроби $\displaystyle \frac{m}{n}$, где $\usepackage{amsfonts} m \in \mathbb {Z}, \; n \in \mathbb {N}$, а, значит, и разложение, представленное сверху, должно быть конечным и, более того, может быть получено благодаря алгоритму Евклида.

С иррациональным числом получим ситуацию обратную — процесс можно будет продолжать неограниченно долго т. к. на каждом этапе $x_i$ будет иррационально.

Пусть $x_i$ — иррационально, тогда $$\displaystyle x_i = q_{i+1} + \frac{1}{x_{i+1}},$$ сумма $\displaystyle q_{i+1} + \frac{1}{x_{i+1}}$ — иррациональна, однако $q_{i+1}$ является целым по определению, которое мы дали ему выше $\Rightarrow$ дробь $\displaystyle \frac{1}{x_{i+1}}$ должна быть иррациональной. А это означает, что и $x_{i+1}$ — иррациональное число.

Т. е. получаем, что иррациональность $x_i$ влечёт за собой иррациональность $x_{i+1}$, а т. к. изначальное число $x$ — иррационально, то и все $x_j,$ при $j = 1,2,3 \ldots$ — иррациональны.

Как было упомянуто ранее, если $\usepackage{amsfonts} x \in \mathbb {Q}$, то его разложение в непрерывную дробь можно получить с помощью алгоритма Евклида.

Перед описанием алгоритма стоит ввести понятие неполного частного — это целые числа вида $q_i, \; i = \overline{1,n}$.

Опишем сам алгоритм:

Суть алгоритма заключается в том, что на каждом шаге мы будем непосредственно получать одно из неполных частных — $q_i$, а также отношение $\displaystyle \frac{r_{i}}{r_{i-1}}$ (начиная со второго шага).

Пусть нам задано рациональное число, тогда его можно записать в виде несократимой дроби $\displaystyle \frac{m}{n}$, где $\usepackage{amsfonts} m \in \mathbb {Z}, \; n \in \mathbb {N}$. Тогда, первый шаг: $$m=nq_1 + r_1 \Rightarrow \displaystyle \frac{m}{n} = q_1 + \frac{1}{\displaystyle \frac{m}{r_1}},$$ узнали значение $q_1$, а так же получили возможность вычислить значение $r_1$. Второй шаг: $$n = r_1q_2+r_2 \Rightarrow \displaystyle \frac{n}{r_1} = q_2 + \frac{1}{\displaystyle \frac{r_1}{r_2}},$$ узнали значение $q_2$, а так же получили возможность вычислить значение $r_2$. Продолжая алгоритм далее: $$r_1 = r_2q_3+r_3 \Rightarrow \displaystyle \frac{r_1}{r_2} = q_3 + \frac{1}{\displaystyle \frac{r_2}{r_3}}, \\ r_2 = r_3q_4+r_4 \Rightarrow \frac{r_2}{r_3} = q_4 + \frac{1}{\displaystyle \frac{r_3}{r_4}},\\ \cdots \\r_{n-2} = r_{n-1}q_n+r_n \Rightarrow \frac{r_{n-2}}{r_{n-1}} = q_n + \frac{1}{\displaystyle \frac{r_{n-1}}{r_n}}, \\ r_{n-1} = r_nq_{n+1}, \frac{r_{n-1}}{r_n} = q_{n+1}.$$ Заканчиваем алгоритм тогда, когда получим, что очередная дробь $\displaystyle \frac{r_{i-1}}{r_{i}}$ будет целым числом и, соответственно, $q_{i+1}$ будет полным частным.

Так как найдены все неполные частные, то дробь $\displaystyle \frac{m}{n}$ можно представить в виде: $$\usepackage{amsmath} \begin{multline*} \displaystyle x = q_1 + \frac{1}{\displaystyle q_2+ \frac{1}{q_3+\cdots}} \\ \ddots \\ \cdots + \frac{1}{\displaystyle q_{n-1} + \frac{1}{\displaystyle q_{n}+\frac{1}{q_{n+1}}}}.
\end{multline*}$$

С помощью алгоритма Евклида есть возможность найти разложение в непрерывную дробь, однако, иногда промежуточные результаты важнее конечного, а именно: $$\displaystyle \delta_1 = q_1, \; \delta_2 = q_1 + \frac{1}{q_2}, \; \delta_3 = q1 + \frac{1}{q_2 + \displaystyle \frac{1}{q_3}}, \; \ldots$$ $\delta_i$ называются подходящими дробями. Несложно заметить зависимость $\delta_{i+1}$ от $\delta_i$ — если в записи $\delta_i $ число $ q_i$ заменить на сумму $\displaystyle q_i + \frac{1}{q_{i+1}}$, то мы получим $\delta_{i+1}.$

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

Введем специальные обозначения для нахождения значений подходящих дробей: $\displaystyle \delta_i = \frac{P_i}{Q_i}$. При этом положим, что $P_0=1, \; P_1 = q_1$ и $Q_0=0, \; Q_1 = 1$. Так же стоит отметить, что в силу того, что для рационального числа $\displaystyle x = \frac{m}{n} $ непрерывная дробь конечна, то и количество подходящих дробей будет конечно, а это означает что существует равенство $\displaystyle \frac{m}{n} = \frac{P_i}{Q-i}$. А так как подходящие дроби так же являются несократимыми, то равенство можно упростить до $m = P_i$ и $n = Q_i$. Тогда получим, что: $$\displaystyle \delta_1 = \frac{q_1}{1} = \frac{P_1}{Q_1}, $$ $$ \delta_2 = q_1 + \frac{1}{q_2} = \frac{q_2 q_1+1}{q_2 \cdot 1 + 0} = \frac{q_2 P_1+P_0}{q_2 Q_1 + Q_0} = \frac{P_2}{Q_2}, $$ $$ \delta_3 = q1 + \frac{1}{q_2 + \displaystyle \frac{1}{q_3}} = \frac{q_1 \left( q_2 + \displaystyle \frac{1}{q_3} \right) +1}{q_2 + \displaystyle \frac{1}{q_3}} = \frac{q_1 \left( q_2 q_3 + 1\right)+q_3}{q_2 q_3 +1} = $$ $$ = \frac{q_1 q_2 q_3 + q_1 +q_3}{q_2 q_3} = \frac{q_3 \left( q_1 q_2 + 1 \right) + q_1}{q_3 q_2 + 1} = \frac {q_3 P_2 + P_1}{q_3 Q_2 + Q_1}.$$

Несложно заметить рекуррентное выражение для $\displaystyle \frac{P_i}{Q_i}$: $$P_i = q_i P_{i-1} + P_{i-2} \\ Q_i = q_i Q_{i-1} + Q_{i-2}. $$ Докажем это с помощью математической индукции.

База индукции: $\delta_3 = \displaystyle \frac{P_3}{Q_3} = \frac{q_3 P_2 + P_1}{q_3 Q_2 + Q_1}$.

Предположим, что $\delta_k = \displaystyle \frac{P_k}{Q_k} =\frac{q_k P_{k-1} + P_{k-2}}{q_k Q_{k-1} + Q_{k-2}}$.

Тогда: $$\delta_{k+1} = \frac{\displaystyle \left(q_k + \frac{1}{q_{k+1}} \right) P_{k-1} + P_{k-2} }{\displaystyle \left(q_k + \frac{1}{q_{k+1}} \right) Q_{k-1} + Q_{k-2}} = \frac {\displaystyle \frac{P_{k-1}}{q_{k+1}} + q_k P_{k-1} + P_{k-2}}{\displaystyle \frac{Q_{k-1}}{q_{k+1}} + q_k Q_{k-1} + Q_{k-2}} = $$ (выполним замену по предположению индукции) $$\displaystyle = \frac{\displaystyle \frac{P_{k-1}}{q_{k+1}} + P_k}{\displaystyle \frac{Q_{k-1}}{q_{k+1}} + Q_k} = \frac{P_{k-1} + P_k q_{k+1}}{Q_{k-1} + Q_k q_{k+1}} = \frac{P_{k+1}}{Q_{k+1}},$$ что и требовалось доказать.

Имеет место следующее свойство подходящих дробей:

Лемма. При $n > 0$ имеет место равенство $P_n Q_{n-1} — P_{n-1}Q_n = (-1)^n$.

Проверим значение левой части при $n = 1$, получим: $$P_1 Q_0 — P_0 Q_1 = -1,$$ далее вычислим значение левой части при увеличении индекса на 1, т. е. при $n+1,$ получим: $$ P_{n+1} Q_n — P_n Q_{n+1} = \left( q_{n+1} P_n + P_{n-1} \right) Q_n — P_n \left( q_{n+1} Q_n + Q_{n-1} \right) = \\ = P_{n-1} Q_n — P_{n} Q_{n-1}, $$ получили выражение противоположное заданному в условии. А, значит, при изменении индекса на единицу меняется и знак выражения, а т. к. первое значение $-1$, то и получаем требуемое.

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

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

  1. Разложить число $\displaystyle x = \frac{89}{13}$ в непрерывную дробь.
    Решение

    Применяя алгоритм Евклида получим: $$ 89 = 13 \cdot 6 + 11, \; q_1 = 6;$$ $$13 = 11 \cdot 1 + 2, \; q_2 = 1; $$ $$11 = 2 \cdot 5 + 1, \; q_3 = 5;$$ $$2 = 1 \cdot 2, \; q_4 = 2.$$ Нашли все $q_i \Rightarrow$ можем записать $x$ как непрерывную дробь: $$\displaystyle x = 6 + \frac{1}{\displaystyle 1 + \frac{1}{\displaystyle 5 + \frac{1}{2}}}$$

  2. Найти все подходящие дроби числа $\displaystyle x = \frac{127}{19}$.
    Решение

    Для этого используем рекуррентные формулы подходящих дробей. Воспользуемся алгоритмом Евклида для поиска всех $q_i$: $$ 127 = 19 \cdot 6 + 13, \; q_1 = 6;$$ $$19 = 13 \cdot 1 + 6, \; q_2 = 1; $$ $$13 = 6 \cdot 2 + 1, \; q_3 = 2;$$ $$6 = 1 \cdot 6, \; q_4 = 6.$$
    Далее будем выписывать подходящие дроби в порядке возрастания индекса: $$\displaystyle \delta_1 =\frac{q_1}{1} = \frac{6}{1}$$ $$\displaystyle \delta_2 =\frac{q_2 P_1 + P_0}{q_2 Q_1 + Q_0} = \frac{1 \cdot 6 + 1}{1 \cdot 1 + 0} = \frac{7}{1},$$ продолжая расчеты получим: $$\displaystyle \delta_3 = \frac{2 \cdot 7 + 6}{2 \cdot 1 + 1} = \frac{20}{3}$$ и, наконец, $$\displaystyle \delta_4 = \frac{6 \cdot 20 + 7}{6 \cdot 3 + 1} = \frac{127}{19} = x,$$как и ожидалось четвертая подходящая дробь равна заданному числу, т. к. максимальный индекс $q_i$ был равен четырём.

  3. Разложить в непрерывную дробь иррациональное число $\sqrt{7}$.
    Решение

    Для этого воспользуемся разложением, которое было представлено в теме первым. А именно
    $$\displaystyle x_0 = \sqrt{7} = q_1 + \frac{1}{x_1} = 2 + \left( \sqrt{7} — 2 \right)$$ $$\displaystyle \frac{1}{x_1} = \sqrt{7} — 2 \Rightarrow x_1 = \frac{1}{\sqrt{7}-2} = \frac{\sqrt{7}+2}{3} = 1 + \frac{\sqrt{7}-1}{3} = 1 + \frac{1}{x_2},$$ $$\displaystyle x_2 = \frac{3}{\sqrt{7}-1} = \frac{3 \left( \sqrt{7} + 1 \right) }{6} = \frac{\sqrt{7}+1}{2} = 1 + \frac{\sqrt{7} — 1}{2} = 1 + \frac{1}{x_3},$$ $$\displaystyle x_3 = \frac{2}{\sqrt{7}-1} = \frac{2 \left( \sqrt{7} + 1 \right) }{6} = \frac{\sqrt{7}+1}{3} = 1 + \frac{\sqrt{7} — 2}{3} = 1 + \frac{1}{x_4},$$ $$\displaystyle x_4 = \frac{3}{\sqrt{7} — 2} = \frac{3 \left(\sqrt{7} + 2 \right) }{3} = \sqrt{7} + 2 = 4 + \left( \sqrt{7} — 2 \right).$$
    Однако, слагаемое вида $\sqrt{7} — 2$ у нас уже было, а значит мы пришли к циклу. Выпишем все неполные частные, они же — целые части дробей. Получим: $\sqrt{7} = \left[2,\: \overline{1, \: 1, \: 1, \: 4} \right]$ — часть чисел находятся под чертой т. к. они находятся в цикле.

  4. Восстановить по заданным $q_i = \left[10, \: 4, \: 3, \: 2, \: 4 \right]$ рациональное число $x$.
    Решение

    Для этого воспользуемся разложением, полученным в результате алгоритма Евклида:
    Получим дробь: $$10 + \frac{1}{\displaystyle 4 + \frac{1}{\displaystyle 3 + \frac{1}{\displaystyle 2 + \frac{1}{4}}}},$$ её значением и будет искомым $x$. Посчитав значение этой дроби получим, что $\displaystyle x = \frac{1361}{133}.$

  5. Восстановить по заданным $q_i = \left[\overline{2, \: 9} \right]$ иррациональное число $x$.
    Решение

    Так как число $x$ — иррациональное, то его непрерывная дробь будет бесконечной, поэтому воспользоваться методом из предыдущего примера не получится. Однако, так как мы видим по данным $q_i$, что дробь зацикливается, то можем записать следующие выражение: $$\displaystyle x = 2 + \frac{1}{\displaystyle 9 + \frac{1}{x}}$$ приведем дробь к квадратному уравнению: $$9x^2 — 18x + 2 = 0,$$ $$D = 324 + 72 = 396, \;
    \displaystyle x_{1,2} = 1 \pm \frac{\sqrt{396}}{18}.$$ Т. к. целая часть числа равна 2, то вариант $\displaystyle x = 1-\frac{\sqrt{396}}{18}$ можно отбросить. И окончательный ответ: $$\displaystyle x = 1 + \frac{\sqrt{396}}{18}$$

Простейшие сведения о непрерывных дробях и их свойствах

Тест на знание темы «Простейшие сведения о непрерывных дробях и их свойствах».

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

  1. Виноградов И.М. Основы теории чисел. cтр. 14-18
  2. Арнольд В.И. Цепные дроби.
  3. Теоретические материалы основанные на конспекте и лекциях Белозерова Г.С.

Критерии прямой суммы

Рассмотрим критерии прямой суммы подпространств некоторого линейного пространства.

Критерий 1. Пусть дано некоторое линейное пространство $\left(X, {\bf P}\right)$ и подпространства $L_1,L_2,\ldots,L_k \subset X$. Тогда для того, чтобы сумма подпространств $L=L_1+L_2+\cdots+L_k$ являлась прямой, необходимо и достаточно, чтобы объединение базисов слагаемых-подпространств составляло базис суммы $L$.

Необходимость. Пусть сумма $L$ — прямая. Тогда нужно доказать, что объединение базисов подпространств есть базис суммы. Выпишем базисы подпространств $L_i, i=\overline{1, k}$: $E_1=\langle e_{11},e_{12},\ldots,e_{1m_1}\rangle,$ $E_2=\langle e_{21},e_{22},\ldots,e_{2m_2}\rangle,$ $\ldots,$ $E_k=\langle e_{k1},e_{k2},\ldots,e_{km_k}\rangle.$ Теперь построим объединенную систему из данных базисов. В итоге получим: $$E=\langle{e_{11}},e_{12},\ldots,e_{1m_1},e_{21},e_{22},\ldots,e_{2m_2},\ldots,e_{k1},e_{k2},\ldots,e_{km_k}\rangle.$$

Для того, чтобы система $E$ являлась базисом суммы $L$, она должна удовлетворять определению базиса. То есть, любой вектор из $L$ должен выражаться через данную систему, и она должна быль линейно независимой. Первое условие соблюдается. Действительно, по определению прямой суммы: $\forall x\in L:$$$x=x_1+x_2+\cdots+x_k,$$ где $x_i\in L_i, i=\overline{1, k}$, причем такое представление единственно. Каждый вектор $x_i, i=\overline{1, k}$ может быть выражен через базис $L_i$: $$x_i=\alpha_{i1}e_{i1}+\alpha_{i2}e_{i2}+\cdots+\alpha_{im_i}e_{im_i},$$ где $\alpha_{ij}\in {\bf P}, j=\overline{1, m_i}$ — коэффициенты линейной комбинации. Значит, вектор $x$ можно представить в другом виде:$$x=\alpha_{11}e_{11}+\alpha_{12}e_{12}+\cdots+\alpha_{1m_1}e_{1m_1}+\cdots+\alpha_{21}e_{21}+\alpha_{22}e_{22}+\cdots+\\{}+\alpha_{2m_2}e_{2m_2}+\cdots+\alpha_{k1}e_{k1}+\alpha_{k2}e_{k2}+\cdots+\alpha_{km_k}e_{km_k},$$Как видим, вектор выражается через систему $E$.

Остается доказать линейную независимость. Выпишем линейную комбинацию векторов системы $E$ и приравняем ее к нулю:\begin{equation}\begin{gathered}\alpha_{11}e_{11}+\alpha_{12}e_{12}+\cdots+\alpha_{1m_1}e_{1m_1}+\cdots+\alpha_{21}e_{21}+\alpha_{22}e_{22}+\cdots+\\{}+\alpha_{2m_2}e_{2m_2}+\cdots+\alpha_{k1}e_{k1}+\alpha_{k2}e_{k2}+\cdots+\alpha_{km_k}e_{km_k}=0.\end{gathered}\end{equation}По первому критерию линейной независимости система $E$ будет линейно независима при следующих равенствах:$$\alpha_{11}=\alpha_{12}=\cdots=\alpha_{km_k}=0.$$Опять же, данные слагаемые можно представить как линейные комбинации векторов из $L_i, i=\overline{1, k}$, то есть:$$x_i=\alpha_{i1}e_{i1}+\alpha_{i2}e_{i2}+\cdots+\alpha_{im_i}e_{im_i},i=\overline{1,k}.$$Теперь можно переписать уравнение $\left(1\right)$ в следующем виде:$$x_1+x_2+\cdots+x_k=0.$$Получили представление нулевого вектора. По определению прямой суммы такое представление единственно и имеет вид: $0+0+\cdots+0=0$. Отсюда следует: $x_i=0,i=\overline{1,k}$. Так как каждый вектор $x_i$ представляется через соответствующий базис $L_i$, то, следовательно, все коэффициенты линейных комбинаций равны нулю: $\alpha_{i1}=\alpha_{i2}=\cdots=\alpha_{im_i}=0,i=\overline{1,k}$, что и требовалось доказать.

Таким образом, система $E$ линейно независима, и каждый вектор суммы $L$ выражается через данную систему. Необходимость доказана.

Достаточность. Теперь пусть объединение базисов $L_i,i=\overline{1,k}$ (оно же является системой $E$) есть базис суммы $L$. Требуется доказать, что $L$ — прямая сумма. Значит, нужно показать, что представление любого вектора этой суммы единственно. Запишем представление некоторого вектора $x\in L$ в базисе суммы: \begin{equation}\begin{gathered}x=\beta_{11}e_{11}+\beta_{12}e_{12}+\cdots+\beta_{1m_1}e_{1m_1}+\cdots+\\{}+\beta_{k1}e_{k1}+\beta_{k2}e_{k2}+\cdots+\beta_{km_k}e_{km_k}.\end{gathered}\end{equation} По свойству базиса такое представление единственно. Выражения вида $\beta_{i1}e_{i1}+\cdots+\beta_{im_i}e_{im_i}$ являются линейными комбинациями векторов из $L_i,i=\overline{1,k}$. Тогда их можно заменить соответствующими векторами $y_i\in L_i$ и подставить в $\left(2\right)$. Получим: $$x=y_1+y_2+\cdots+y_k.$$Получили представление $x$ в виде вектора суммы. Пусть сумма $L$ не прямая, тогда может существовать другое представление вектора $x$. А это необратимо приводит к изменению представления векторов $y_i$ и, соответственно, значений коэффициентов $\beta_{i1},\beta_{i2},\ldots,\beta_{im_i},i=\overline{1,k}$. Но, как было сказано выше, вектор $x$ имеет единственное представление $\left(2\right)$, то есть иного не существует. Получили противоречие. Следовательно, сумма $L$ является прямой, что и требовалось доказать.

Критерий 2. Пусть дано линейное пространство $\left(X, {\bf P}\right)$ и подпространства $L_1,L_2,\ldots,L_k \subset X$. Сумма данных подпространств $L$ будет прямой тогда и только тогда, когда пересечение любого подпространства с суммой остальных содержит только нулевой вектор.

Необходимость. Требуется доказать, что при $L=L_1\oplus L_2\oplus \cdots\oplus L_k$ пересечение любого подпространства с суммой остальных нулевое. Предположим, что $$\exists L_i: L_i\cap\sum\limits_{j=1\\j\ne i}^k L_j \ne \left\{0\right\}.$$ Тогда существует такой ненулевой вектор $x$, что $x\in L_i$ и $x\in \sum_{j=1\\j\ne i}^k L_j$. Этот вектор можно представить в виде:

  1. $x=\overbrace{0+0+\cdots+0+x+0+\cdots+0}^{k\mbox{ векторов}}$, так как $x\in L_i$;
  2. $x=\sum_{j=1\\j\ne i}^k x_j$, так как вектор принадлежит $\sum_{j=1\\j\ne i}^k L_j$ и, следовательно, может быть представлен как вектор суммы $L$: $$x=x_1+x_2+\cdots+x_{i-1}+0+x_{i+1}+\cdots+x_k.$$

Таким образом, вектор прямой суммы $L$ не имеет единственного представления, что противоречит определению прямой суммы. Значит, наше предположение неверно, и $\forall L_i: L_i\cap\sum_{j=1\\j\ne i}^k L_j=\left\{0\right\}.$

Достаточность. Теперь докажем, что если $$\forall L_i: L_i\cap\sum\limits_{j=1\\j\ne i}^k L_j=\left\{0\right\},$$ то сумма $L$ — прямая. Снова пойдём от противного: пусть $L$ — не прямая сумма. Следовательно, по определению существует такой вектор $y$, который имеет, по крайней мере, два различных представления. Запишем их общий вид:$$y=x_1+x_2+\cdots+x_k,$$$$y=z_1+z_2+\cdots+z_k,$$ где $z_i, x_i \in L_i,i=\overline{1,k}$. Вычтем из первого выражения второе. Получим:$$0=\left(x_1-z_1\right)+\left(x_2-z_2\right)+\cdots+\left(x_k-z_k\right).$$Векторы $x_1-z_1, x_2-z_2,\ldots,x_k-z_k$ принадлежат подпространствам $L_1, L_2,\ldots,L_k$ соответственно, что вытекает из критерия подпространства. Значит, нулевой вектор представляется как вектор суммы $L$. Пусть $x_1-z_1\ne 0.$ Перенесем данное слагаемое в левую часть. Тогда можно записать следующее: $$\left(z_1-x_1\right)=\left(x_2-z_2\right)+\left(x_3-z_3\right)+\cdots+\left(x_k-z_k\right).$$ То есть существует некоторый вектор $z_1-x_1\ne 0$, что$$z_1-x_1\in L_1,$$$$z_1-x_1=\left(x_2-z_2\right)+\left(x_3-z_3\right)+\cdots+\left(x_k-z_k\right) \in \sum\limits_{j=2}^k L_j.$$ Значит, пересечение подпространства $L_1$ и суммы $\sum_{j=2}^k L_j$ содержит ненулевые векторы. Получили противоречие. Следовательно, предположение неверно, и $L$ — прямая сумма подпространств. Теорема доказана.

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

Следствие 1.

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

Данное утверждение является частным случаем критерия $2$ прямой суммы при $k=2$.

Следствие 2.

Размерность прямой суммы двух подпространств есть сумма размерностей данных подпространств.

По формуле Грассмана: $$\dim L=\dim L_1+\dim L_2-\dim{\left(L_1 \cap L_2\right)},$$ то есть размерность суммы подпространств $L_1$ и $L_2$ равна сумме размерностей данных подпространств без размерности их пересечения. Пересечение данных подпространств, как мы уже узнали, содержит только нулевой вектор. Следовательно, размерность пересечения равна $0$. Тогда третье слагаемое в формуле Грассмана также равно $0$, и мы приходим к изначальному утверждению.

Примеры

Теперь рассмотрим несколько примеров применения критериев прямой суммы.

  1. Пусть дано линейное пространство, заданное в виде линейной оболочки $L=L\langle a_1,a_2,a_3,a_4\rangle$, где $a_1=\left(1,1,0,0\right),$ $a_2=\left(0,5,0,3\right),$ $a_3=\left(0,0,2,0\right),$ $a_4=\left(-1,7,1,0\right).$ Разложить данное пространство в прямую сумму двух подпространств.
    Решение

    Для начала, проверим, является ли указанная система линейно независимой. Построим систему линейных комбинаций из векторов данной системы:$$\left\{\begin{array}{rcl}x_1+x_2+0x_3+0x_4=0\\0x_1+5x_2+0x_3+3x_4=0\\0x_1+0x_2+2x_3+0x_4=0\\-x_1+7x_2+x_3+0x_4=0\end{array}\right.$$Воспользуемся методом Гаусса:$$\begin{pmatrix}1 & 1 & 0 & 0\\0 & 5 & 0 & 3\\0 & 0 & 2 & 0\\-1 & 7 & 1 & 0\end{pmatrix}\sim\begin{pmatrix}1 & 1 & 0 & 0\\0 & 5 & 0 & 3\\0 & 0 & 2 & 0\\0 & 8 & 1 & 0\end{pmatrix}\sim\begin{pmatrix}1 & 1 & 0 & 0\\0 & 5 & 0 & 3\\0 & 0 & 2 & 0\\0 & 0 & 1 & -\frac{24}{5}\end{pmatrix}\sim$$$$\sim\begin{pmatrix}1 & 1 & 0 & 0\\0 & 5 & 0 & 3\\0 & 0 & 2 & 0\\0 & 0 & 0 & -\frac{24}{5}\end{pmatrix}.$$
    Как видим, ни один из векторов не выражается через остальные. Значит, система линейно независима и является базисом пространства $L$. Тогда данное пространство можно разложить в прямую сумму подпространств, разбив его базис, к примеру, на две такие подсистемы: $\langle a_1,a_2\rangle$,$\langle a_3,a_4\rangle$. Тогда разложение будет иметь вид: $L=L_1\oplus L_2$, где $L_1=L\langle a_1,a_2\rangle$,$L_2=L\langle a_3,a_4\rangle$.

  2. Даны подпространства $L_1=L\langle\left(1,1,3\right)\rangle$, $L_2=L\langle\left(0,1,2\right),\left(3,5,9\right)\rangle$. Проверить сумму подпространств $L_1$ и $L_2$ на прямоту.
    Решение

    И первая, и вторая исходные системы являются линейно независимыми, ведь в них нет векторов, что выражаются через другие векторы этой системы. Значит системы являются базисами подпространств, построенных на соответствующих линейных оболочках. Объединим эти базисы в единую систему векторов:$$E=\langle\left(1,1,3\right),\left(0,1,2\right),\left(3,5,9\right)\rangle.$$ Воспользуемся методом Гаусса:$$\begin{pmatrix}1 & 1 & 3\\0 & 1 & 2\\3 & 5 & 9\end{pmatrix}\sim\begin{pmatrix}1 & 1 & 3\\0 & 1 & 2\\0 & 2 & 0\end{pmatrix}\sim\begin{pmatrix}1 & 1 & 3\\0 & 1 & 2\\0 & 0 & -4\end{pmatrix}.$$Получили, что система $E$ — линейно независима. Значит, объединение базисов исходных подпространств является базисом суммы подпространств $L$: $L=L_1\oplus L_2$.

  3. Пусть даны подпространства $L_1=L\langle a_1,a_2,a_3\rangle$, $L_2=L\langle b_1,b_2\rangle$, $L_3=L\langle c_1,c_2,c_3\rangle$. Проверить сумму данных подпространств на прямоту, если:$$a_1 = \begin{pmatrix}0 & 0\\1 & 1\end{pmatrix}, a_2 = \begin{pmatrix}1 & 1\\1 & 1\end{pmatrix}, a_3 = \begin{pmatrix}1 & 1\\0 & 0\end{pmatrix};$$$$b_1=\begin{pmatrix}1 & -1\\2 & 0\end{pmatrix},b_2=\begin{pmatrix}0 & 0\\-1 & 1\end{pmatrix};$$$$c_1=\begin{pmatrix}0 & 1\\1 & 1\end{pmatrix},c_2=\begin{pmatrix}1 & 1\\2 & 1\end{pmatrix},c_3=\begin{pmatrix}1 & 0\\1 & 0\end{pmatrix}.$$
    Решение

    Для удобства системы пронумеруем от $1$ до $3$ в соответствии с номерами подпространств.Указанные системы можно переписать в следующем виде: $\langle\left(0,0,1,1\right),\left(1,1,1,1\right),\left(1,1,0,0\right)\rangle,$$\langle\left(1,-1,2,0\right),\left(0,0,-1,1\right)\rangle,$$\langle\left(0,1,1,1\right),\left(1,1,2,1\right),\left(1,0,1,0\right)\rangle.$ Проверку линейной независимости можно сделать и без применения метода Гаусса. Действительно, в первой системе $a_1+a_3=\left(0,0,1,1\right)+\left(1,1,0,0\right)=\left(1,1,1,1\right)=a_2$, в третьей: $c_1+c_3=\left(0,1,1,1\right)+\left(1,0,1,0\right)=\left(1,1,2,1\right)=c_2$. Значит векторы $a_2$ и $c_2$ линейно выражаются через остальные. Вторая система, как можно видеть, уже является линейно независимой и, следовательно, базисом подпространства $L_3$. Тогда, если откинуть линейно зависимые векторы в системах $1$ и $3$, то получим базисы уже всех трех подпространств:$$L_1=L\langle a_1,a_3\rangle,$$$$L_2=L\langle b_1,b_2\rangle,$$$$L_3=L\langle c_1,c_3\rangle.$$Теперь объединим данные базисы в единую систему векторов: $$E=\langle a_1,a_3,b_1,b_2,c_1,c_3\rangle.$$Теперь только осталось понять, является ли сумма исходных подпространств прямой. Проверим систему $E$ на линейную независимость с помощью метода Гаусса:$$\begin{pmatrix}0 & 0 & 1 & 1\\1 & 1 & 0 & 0\\1 & -1 & 2 & 0\\0 & 0 & -1 & 1\\0 & 1 & 1 & 1\\1 & 0 & 1 & 0\end{pmatrix}.$$Переставим строки в матрице для более удобных элементарных преобразований:$$\begin{pmatrix}1 & 1 & 0 & 0\\1 & -1 & 2 & 0\\1 & 0 & 1 & 0\\0 & 1 & 1 & 1\\0 & 0 & 1 & 1\\0 & 0 & -1 & 1\end{pmatrix}\sim\begin{pmatrix}1 & 1 & 0 & 0\\0 & -2 & 2 & 0\\0 & -1 & 1 & 0\\0 & 1 & 1 & 1\\0 & 0 & 1 & 1\\0 & 0 & -1 & 1\end{pmatrix}.$$Строки $2$ и $3$ пропорциональны, поэтому можно исключить, к примеру, вторую строку. Дальнейшие преобразования не имеют смысла в данной задаче: объединение базисов исходных подпространств не является базисом суммы, потому что объединенная система содержит, по крайней мере, один линейно зависимый вектор. Значит, сумма $L=L_1+L_2+L_3$ не будет прямой в соответствии с первым критерием суммы. Задача решена.

Критерии прямой суммы

Тест на закрепление материала «Критерии прямой суммы».

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

  1. Белозеров Г.С. Конспект лекций по линейной алгебре.
  2. Федорчук В.В. Курс аналитической геометрии и линейной алгебры. — М.: изд. Московского ун-та. — 1990. — 328 с. — С. 200-201.
  3. Фаддеев Д.К. Лекции по алгебре. — М.: Наука. — 1984. — 416 с. — С. 309-310.
  4. Шафаревич И.Р., Ремизов А.О. Линейная алгебра и геометрия. — М.: ФИЗМАТЛИТ. — 2009. — 512 с. — С. 95-97.
  5. А. И. Мальцев. Основы линейной алгебры. — 3-е изд., испр. и доп : монография. — М. : Наука, 1970. — 400 с. — С. 104-105.

Операция транспонирования матриц и ее свойства

Определение. Пусть задана матрица $A.$ Тогда замена строк на столбцы, а столбцов — на строки называется транспонированием по отношению к $A.$ Так, если $$A = \begin{pmatrix}
a_{11} & a_{12} & \cdots & a_{1n}\\
a_{21} & a_{22} & \cdots & a_{2n}\\
\cdots & \cdots & \cdots & \cdots\\
a_{m1} & a_{m2} & \cdots & a_{mn}
\end{pmatrix},$$ то транспонированная матрица будет выглядеть: $$A^{T} = \begin{pmatrix}
a_{11} & a_{21} & \cdots & a_{m1}\\
a_{12} & a_{22} & \cdots & a_{m2}\\
\cdots & \cdots & \cdots & \cdots\\
a_{1n} & a_{2n} & \cdots & a_{mn}
\end{pmatrix}.$$

Свойства транспонирования матриц

  1. $\left ( A^{T} \right )^{T} = A $
  2. Пусть задана матрица $$A = \begin{pmatrix}
    a_{11} & a_{12} & \cdots & a_{1n}\\
    a_{21} & a_{22} & \cdots & a_{2n}\\
    \cdots & \cdots & \cdots & \cdots\\
    a_{m1} & a_{m2} & \cdots & a_{mn}
    \end{pmatrix}.$$
    Проведём транспонирование матрицы $A:$
    $$A^{T} = \begin{pmatrix}
    a_{11} & a_{21} & \cdots & a_{m1}\\
    a_{12} & a_{22} & \cdots & a_{m2}\\
    \cdots & \cdots & \cdots & \cdots\\
    a_{1n} & a_{2n} & \cdots & a_{mn}
    \end{pmatrix}.$$
    Проведём повторное транспонирование матрицы $A^{T}$ и получаем: $$\left ( A^{T} \right )^{T} = \begin{pmatrix}
    a_{11} & a_{12} & \cdots & a_{1n}\\
    a_{21} & a_{22} & \cdots & a_{2n}\\
    \cdots & \cdots & \cdots & \cdots\\
    a_{m1} & a_{m2} & \cdots & a_{mn}
    \end{pmatrix}. $$
    Следовательно, $ \left ( A^{T} \right )^{T} = A,$ что и требовалось доказать.

  3. $\left ( \lambda \cdot A \right )^{T} = \lambda \cdot A^{T}$
  4. Пусть задана матрица $$A = \begin{pmatrix}
    a_{11} & a_{12} & \cdots & a_{1n}\\
    a_{21} & a_{22} & \cdots & a_{2n}\\
    \cdots & \cdots & \cdots & \cdots\\
    a_{m1} & a_{m2} & \cdots & a_{mn}
    \end{pmatrix}.$$
    Проведём транспонирование матрицы $A:$
    $$A^{T} = \begin{pmatrix}
    a_{11} & a_{21} & \cdots & a_{m1}\\
    a_{12} & a_{22} & \cdots & a_{m2}\\
    \cdots & \cdots & \cdots & \cdots\\
    a_{1n} & a_{2n} & \cdots & a_{mn}
    \end{pmatrix}.$$
    Докажем, что $ \left ( \lambda \cdot A \right )^{T} = \lambda \cdot A^{T}.$ Найдём $\left ( \lambda \cdot A \right )^{T}$ $$ \lambda \cdot \begin{pmatrix}
    a_{11}\cdot & a_{12} & \cdots & a_{1n}\\
    a_{21} & a_{22} & \cdots & a_{2n}\\
    \cdots & \cdots & \cdots & \cdots\\
    a_{m1} & a_{m2} & \cdots & a_{mn}
    \end{pmatrix} = \begin{pmatrix}
    a_{11}\cdot \lambda & a_{12}\cdot \lambda & \cdots & a_{1n}\cdot \lambda\\
    a_{21}\cdot \lambda & a_{22}\cdot \lambda & \cdots & a_{2n}\cdot \lambda\\
    \cdots & \cdots & \cdots & \cdots\\
    a_{m1}\cdot \lambda & a_{m2}\cdot \lambda & \cdots & a_{mn}\cdot \lambda
    \end{pmatrix}.$$
    Проведём транспонирование и получаем: $$\left ( \lambda \cdot A \right )^{T} = \begin{pmatrix}
    a_{11}\cdot \lambda & a_{21}\cdot \lambda & \cdots & a_{m1}\cdot \lambda\\
    a_{12}\cdot \lambda & a_{22}\cdot \lambda & \cdots & a_{m2}\cdot \lambda\\
    \cdots & \cdots & \cdots & \cdots\\
    a_{1n}\cdot \lambda & a_{2n}\cdot \lambda & \cdots & a_{mn}\cdot \lambda
    \end{pmatrix}. $$
    Найдём $\lambda \cdot A^{T}:$ $$ \lambda \cdot A^{T} = \begin{pmatrix}
    a_{11}\cdot \lambda & a_{21}\cdot \lambda & \cdots & a_{m1}\cdot \lambda\\
    a_{12}\cdot \lambda & a_{22}\cdot \lambda & \cdots & a_{m2}\cdot \lambda\\
    \ldots & \cdots & \cdots & \cdots\\
    a_{1n}\cdot \lambda & a_{2n}\cdot \lambda & \cdots & a_{mn}\cdot \lambda
    \end{pmatrix}.$$
    Следовательно, $\left ( \lambda \cdot A \right )^{T} = \lambda \cdot A^{T},$ что и требовалось доказать.

  5. $\left ( A + B \right )^{T} = A^{T} + B^{T}$
  6. Пусть $$ A = \begin{pmatrix}
    a_{11} & a_{12} & \cdots & a_{1n}\\
    a_{21} & a_{22} & \cdots & a_{2n}\\
    \cdots & \cdots & \cdots & \cdots\\
    a_{m1} & a_{m2} & \cdots & a_{mn}
    \end{pmatrix}, \; B = \begin{pmatrix}
    b_{11} & b_{12} & \cdots & b_{1n}\\
    b_{21} & b_{22} & \cdots & b_{2n}\\
    \cdots & \cdots & \cdots & \cdots\\
    b_{n1} & b_{n2} & \cdots & b_{mn}
    \end{pmatrix}.$$
    Проведём транспонирование матриц: $$ A^{T}= \begin{pmatrix}
    a_{11} & a_{21} & \cdots & a_{m1}\\
    a_{12} & a_{22} & \cdots & a_{m2}\\
    \cdots & \cdots & \cdots & \cdots\\
    a_{1n} & a_{2n} & \cdots & a_{mn}
    \end{pmatrix}, \; B^{T}= \begin{pmatrix}
    b_{11} & b_{21} & \cdots & b_{m1}\\
    b_{12} & b_{22} & \cdots & b_{m2}\\
    \cdots & \cdots & \cdots & \cdots\\
    b_{1n} & b_{2n} & \cdots & b_{mn}
    \end{pmatrix}.$$
    Найдём $\left ( A + B \right )^{T}$ и $A^{T} + B^{T}:$
    $$A + B= \begin{pmatrix}
    a_{11} + b_{11} &a_{12} + b_{12} & \cdots & a_{1n} + b_{1n}\\
    a_{21} + b_{21} &a_{21} + b_{21} & \cdots & a_{2n} + b_{2n}\\
    \cdots & \cdots & \cdots & \cdots\\
    a_{m1} + b_{m1} &a_{m1} + b_{m1} & \cdots & a_{mn} + b_{mn}
    \end{pmatrix}. $$
    $$\left ( A + B \right )^{T}= \begin{pmatrix}
    a_{11} + b_{11} &a_{21} + b_{21} & \cdots & a_{1n} + b_{1n}\\
    a_{12} + b_{12} &a_{22} + b_{22} & \cdots & a_{2n} + b_{2n}\\
    \cdots & \cdots & \cdots & \cdots\\
    a_{1n} + b_{1n} &a_{2n} + b_{2n} & \cdots & a_{mn} + b_{mn}
    \end{pmatrix}.$$
    $$A^{T} + B^{T} = \begin{pmatrix}
    a_{11} + b_{11} &a_{21} + b_{21} & \cdots & a_{1n} + b_{1n}\\
    a_{12} + b_{12} &a_{22} + b_{22} & \cdots & a_{2n} + b_{2n}\\
    \cdots & \cdots & \cdots & \cdots\\
    a_{1n} + b_{1n} &a_{2n} + b_{2n} & \cdots & a_{mn} + b_{mn}
    \end{pmatrix}.$$
    Получаем, что $\left ( A + B \right )^{T} = A^{T} + B^{T},$ что и требовалось доказать.

  7. $\left ( A \cdot B \right )^{T} = A^{T} \cdot B^{T}$
  8. Пусть $$ A = \begin{pmatrix}
    a_{11} & a_{12} & \cdots & a_{1n}\\
    a_{21} & a_{22} & \cdots & a_{2n}\\
    \cdots & \cdots & \cdots & \cdots\\
    a_{m1} & a_{m2} & \cdots & a_{mn}
    \end{pmatrix}, \; B = \begin{pmatrix}
    b_{11} & b_{12} & \cdots & b_{1n}\\
    b_{21} & b_{22} & \cdots & b_{2n}\\
    \cdots & \cdots & \cdots & \cdots\\
    b_{m1} & b_{m2} & \cdots & b_{mn}
    \end{pmatrix}.$$
    Проведём транспонирование матриц: $$ A^{T} = C = \begin{pmatrix}
    c_{11} & c_{21} & \cdots & c_{m1}\\
    c_{12} & c_{22} & \cdots & c_{m2}\\
    \cdots & \cdots & \cdots & \cdots\\
    c_{1n} & c_{2n} & \cdots & c_{mn}
    \end{pmatrix}, \; B^{T} = D = \begin{pmatrix}
    d_{11} & d_{21} & \cdots & d_{m1}\\
    d_{12} & d_{22} & \cdots & d_{m2}\\
    \cdots & \cdots & \cdots & \cdots\\
    d_{1n} & d_{2n} & \cdots & d_{mn}
    \end{pmatrix}.$$
    так, что $ с_{ji} = a_{ij},$ $ d_{\beta \alpha} = b_{\alpha \beta} $
    $$AB = F = \begin{pmatrix}
    f_{11} & f_{12} & \cdots & f_{1n}\\
    f_{21} & f_{22} & \cdots & f_{2n}\\
    \cdots & \cdots & \cdots & \cdots\\
    f_{m1} & f_{m2} & \cdots & f_{mn}
    \end{pmatrix}. $$
    $$A^{T}B^{T} = G = \begin{pmatrix}
    g_{11} & g_{21} & \cdots & g_{m1}\\
    g_{12} & g_{22} & \cdots & g_{m2}\\
    \cdots & \cdots & \cdots & \cdots\\
    g_{1n} & g_{2n} & \cdots & g_{mn}
    \end{pmatrix}. $$
    Тогда, $$f_{ij} = \sum_{\alpha = 1}^{k} a_{i\alpha} b_{\alpha j},$$
    $$g_{ji} = \sum_{\alpha = 1}^{k}d_{j\alpha} c_{\alpha i} = \sum_{\alpha = 1}^{k} b_{\alpha j} a_{i \alpha} = \sum_{\alpha = 1}^{k} = a_{i\alpha} b_{\alpha j} = f_{ij}.$$
    Итак, $g_{ji} = f_{ij}$ при всех $i = 1, 2, …, m$ и $j = 1, 2, …, n, $ следовательно, $G = F^{T},$ т. е. $A^{T} B^{T}= \left ( A B \right )^{T} $.

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

      Пример 1

      Дана матрица $ A = \begin{pmatrix}
      5 & 2 & 6 \\
      1 & 4 & 9 \\
      8 & 3 & 10
      \end{pmatrix}.$ Составить матрицу $A^{T}.$

      Решение

      $A^{T} = \begin{pmatrix}
      5 & 2 & 6 \\
      1 & 4 & 9 \\
      8 & 3 & 10
      \end{pmatrix}^{T} = \begin{pmatrix}
      5 & 1 & 8 \\
      2 & 4 & 3 \\
      6 & 9 & 10
      \end{pmatrix}. $

      [свернуть]

      Пример 2

      Дана матрица $ A = \begin{pmatrix}
      11 & 0 & 9 \\
      7 & 23 & 0 \\
      1 & 11 & 4
      \end{pmatrix}.$ Найти $ \left ( 2 \cdot A \right )^{T}. $

      Решение

      Воспользуемся вторым свойством транспонирования матриц, где $\left ( \lambda \cdot A \right )^{T} = \lambda \cdot A^{T},$ получим: $$ 2 \cdot A^{T} =2 \begin{pmatrix}
      11 & 7 & 1 \\
      0 & 23 & 11 \\
      9 & 0 & 4
      \end{pmatrix} = \begin{pmatrix}
      22 & 14 & 2 \\
      0 & 46 & 2 \\
      18 & 0 & 8
      \end{pmatrix}.$$

      [свернуть]

      Пример 3

      Даны две матрицы $ A = \begin{pmatrix}
      5 & 1 & 8 \\
      2 & 4 & 3 \\
      6 & 9 & 10
      \end{pmatrix} $ и $ B = \begin{pmatrix}
      11 & 7 & 1 \\
      0 & 23 & 11 \\
      9 & 0 & 4
      \end{pmatrix}.$
      Найти $ \left ( A + 3 \cdot B \right )^{T}.$

      Решение

      Найдём сумму матриц $A$ и $B:$
      $$A + 3 \cdot B = \begin{pmatrix}
      5 & 1 & 8 \\
      2 & 4 & 3 \\
      6 & 9 & 10
      \end{pmatrix} + \begin{pmatrix}
      33 & 21 & 3 \\
      0 & 69 & 33 \\
      27 & 0 & 12
      \end{pmatrix} = \begin{pmatrix}
      28 & 22 & 11 \\
      2 & 73 & 36 \\
      33 & 9 & 22
      \end{pmatrix}.$$

      Проведём транспонирование суммы матриц: $$\left ( A + 3 \cdot B \right )^{T} = \begin{pmatrix}
      28 & 22 & 11 \\
      2 & 73 & 36 \\
      33 & 9 & 22
      \end{pmatrix}^{T} = \begin{pmatrix}
      28 & 2 & 11 \\
      22 & 73 & 99 \\
      11 & 36 & 22
      \end{pmatrix}.$$

      [свернуть]

      Пример 4

      Даны две матрицы $ A = \begin{pmatrix}
      5 & 11 & 16 & 12 & 56 \\
      4 & 3 & 45 & 10 & 22\\
      5 & 1 & 9 & 56 & 14 \\
      33 & 23 & 34 & 45 & 89
      \end{pmatrix} $ и
      $$ B = \begin{pmatrix}
      12 & 10 & 15 & 11\\
      3 & 2 & 20 & 22\\
      1 & 4 & 8 & 2\\
      5 & 11 & 3 & 4\\
      16 & 4 & 11 & 12
      \end{pmatrix}.$$
      Найти $ \left ( A \cdot B \right )^{T}.$

      Решение

      Решим задачу двумя способами, используя 4 свойство.

      • Метод №1. Найдём преобразование матриц $A$ и $B:$ $$A \cdot B = \begin{pmatrix}
        5 & 11 & 16 & 12 \\
        4 & 3 & 45 & 10 \\
        5 & 1 & 9 & 56 \\
        33 & 23 & 34 & 45 \\
        56 & 22 & 14 & 89 \\
        \end{pmatrix} \cdot \begin{pmatrix}
        12 & 10 & 15 & 11 & 16\\
        3 & 2 & 20 & 22 & 0\\
        1 & 4 & 8 & 2 & 11\\
        5 & 11 & 0 & 4 & 12\\
        \end{pmatrix} =$$
        $$= \begin{pmatrix}
        538 & 430 & 1151 & 1579 & 2081 \\
        849 & 565 & 1066 & 2166 & 2450 \\
        127 & 77 & 336 & 590 & 434 \\
        216 & 183 & 738 & 518 & 920 \\
        547 & 475 & 943 & 1388 & 2206 \\
        \end{pmatrix}. $$

        Проведём транспонирование матрицы:
        $$ \left ( A \cdot B \right )^{T} = \begin{pmatrix}
        538 & 849 & 127 & 216 & 547 \\
        430 & 565 & 77 & 183 & 475 \\
        1151 & 1066 & 336 & 738 & 943 \\
        1579 & 2166 & 590 & 518 & 1388 \\
        2081 & 2450 & 434 & 920 & 2206
        \end{pmatrix}. $$

      • Метод №2. Проведём транспонирование матриц $A$ и $B:$
        $$ A^{T} = \begin{pmatrix}
        5 & 4 & 5 & 33\\
        11 & 3 & 1 & 23\\
        16 & 45 & 9 & 34\\
        12 & 10 & 56 & 45\\
        56 & 22 & 14 & 89
        \end{pmatrix}.$$
        $$ B^{T} = \begin{pmatrix}
        12 & 3 & 1 & 5 & 16\\
        10 & 2 & 4 & 11 & 4\\
        15 & 20 & 8 & 3 & 11\\
        11 & 22 & 2 & 4 & 12
        \end{pmatrix}.$$

        Найдём произведение $A^{T}$ и $B^{T}:$
        $$A^{T} \cdot B^{T} = \begin{pmatrix}
        538 & 849 & 127 & 216 & 547 \\
        430 & 565 & 77 & 183 & 475 \\
        1151 & 1066 & 336 & 738 & 943 \\
        1579 & 2166 & 590 & 518 & 1388 \\
        2081 & 2450 & 434 & 920 & 2206
        \end{pmatrix}.
        $$

      • Оба метода показали одинаковый ответ, что также подтверждает свойство №4.

      [свернуть]

      Пример 5

      Дана транспонированная матрица $ A^{T} = \begin{pmatrix}
      1 & 3 & 22 & 21 \\
      2 & 11 & 1 & 12\\
      0 & 4 & 20 & 31\\
      6 & 15 & 50 & 9
      \end{pmatrix}.$ Найти первоначальную матрицу $A.$

      Решение

      Воспользуемся первым свойством транспонирования матриц, где $\left ( A^{T} \right )^{T} = A, $ получим:
      $$ \left ( A^{T} \right )^{T} = \begin{pmatrix}
      1 & 3 & 22 & 21 \\
      2 & 11 & 1 & 12\\
      0 & 4 & 20 & 31\\
      6 & 15 & 50 & 9
      \end{pmatrix}^{T} = \begin{pmatrix}
      1 & 2 & 9 & 6 \\
      3 & 11 & 4 & 15\\
      22 & 1 & 20 & 40\\
      21 & 12 & 31 & 9
      \end{pmatrix}. $$

      [свернуть]

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

      Операция транспонирования матриц и ее свойства

      Данный тест предназначен для проверки ваших знаний на тему «Операция транспонирования матриц и ее свойства». Удачи !

Процесс ортогонализации Грама-Шмидта

Определение. Векторы $a$ и $b$ называются ортогональными, если их скалярное произведение равно нулю.$$\left(a, b\right)=0.$$

Определение. Системы $S_{1} = \langle a_{1},a_{2},…,a_{n}\rangle,$ и $S_{2} = \langle b_{1},b_{2},…,b_{n}\rangle,$ называются эквивалентными, когда векторы каждой из систем, линейно выражаются через векторы, другой системы.

Теорема. Допустим, у нас есть линейно независимая система $S = \langle a_{1},a_{2},\ldots,a_{n}\rangle.$ Тогда всегда найдется такая система $S_{орт} = \langle b_{1},b_{2},…,b_{n}\rangle,$ которая будет эквивалентной и ортогональной к $S,$ которая получается следующим методом:

  1. $b_{1} = a_{1},$
  2. $b_{j} = a_{j} + \sum\limits_{i=1}^{j-1}\lambda_{ji}b_{i},\: 2\leqslant j\leqslant k,$ при $\lambda_{ji}=-\dfrac{\left(a_{j}, b_{i}\right)}{\left(b_{i}, b_{i}\right)}.$

Докажем же существование $S_{орт}$ эквивалентной $S$ с помощью индукции. При $k = 1$ $$b_{1} = a_{1}.$$ При $k = 2$ $$\left(b_{2}, b_{1}\right) = \left(a_{2} + \lambda_{21}b_{1}, b_{1}\right) = \left(a_{2}, b_{1}\right) + \lambda_{21}\left(b_{1}, b_{1}\right) =$$$$= \left(a_{2}, b_{1}\right)-\dfrac{\left(a_{2}, b_{1}\right)}{\left(b_{2}, b_{1}\right)}\left(b_{1}, b_{1}\right) = 0.$$ Из чего очевидно, что $S = \langle a_{1},a_{2}\rangle$ и $S_{1} = \langle b_{1},b_{2}\rangle$ — эквивалентны.

Теперь докажем для $k = m,$ при $2\leqslant j\leqslant k$ $$\left(b_{m}, b_{i}\right) = \left(a_{m} + \sum\limits_{i=1}^{m}\lambda_{mi}b_{i}, b_{i}\right) = \left(a_{m}, b_{i}\right) + \sum\limits_{i=1}^{m}\lambda_{mi}\left(b_{i}, b_{i}\right) =$$$$= \left(a_{m}, b_{i}\right)-\sum\limits_{i=1}^{m}\dfrac{\left(a_{m}, b_{i}\right)}{\left(b_{i}, b_{i}\right)}\left(b_{i}, b_{i}\right) = 0.$$ Как видим, по индукции мы доказали, что любой ЛНЗ системе, методом Грама-Шмидта, можно найти эквивалентную ей ортогональную систему.

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

Рассмотрим примеры задач, в которых может использоваться процесс ортогонализации Грама-Шмидта. Постарайтесь решить данные примеры самостоятельно, а затем сверить свое решение с приведенным.

  1. Применяя процесс ортогонализации по Грамму-Шмидту построить ортогональный базис подпространства, натянутого на данную систему векторов $S = \langle a_{1}, a_{2}, a_{3}\rangle.$
    $$a_{1} = (1, 2, 2, -1), a_{2} = (1, 1, -5, 3), a_{3} = (3, 2, 8, -7).$$

    Решение

    Первым делом, найдем $b_{1}$. В первом пункте пишется, что $b_{1} = a_{1}.$

    Дальше найдем $b_{2}.$ Из формулы пункта 2), мы видим, что: $$b_{2} = a_{2} + \lambda_{21} \cdot b_{1}, \lambda_{21} = \dfrac{\left(a_{2}, b_{1}\right)}{\left(b_{1}, b_{1}\right)},$$ все необходимое для решения мы нашли, осталось только решить. Итак:$$\lambda_{21} = -\dfrac{\left(a_{2}, b_{1}\right)}{\left(b_{1}, b_{1}\right)} = -\dfrac{\left(1\cdot1 + 2\cdot1 + 2\cdot\left(-5\right) + 3\cdot\left(-1\right)\right)}{\left(1\cdot1 + 2\cdot2 + 2\cdot2 + \left(-1\cdot\left(-1\right)\right)\right)} = -\left(\dfrac{-10}{10}\right) = 1,$$ лямбду мы нашли, $b_{1}$ у нас есть, теперь мы можем найти $b_{2}:$ $$b_{2} = a_{2} + \lambda_{21}\cdot b_{1} = (1, 1, -5, 3) + (1, 2, 2, -1) = (2, 3, -3, 2).$$

    Выпишем же формулу для $b_{3}:$ $$b_{3} = a_{3} + \lambda_{31} \cdot b_{1} + \lambda_{32} \cdot b_{2},$$ при $$\lambda_{31} = -\dfrac{\left(a_{3}, b_{1}\right)}{\left(b_{1}, b_{1}\right)},\quad \lambda_{32} = -\dfrac{\left(a_{3}, b_{2}\right)}{\left(b_{2}, b_{2}\right)},$$ найдем все необходимое: $$\lambda_{31} = -\dfrac{\left(3\cdot1 + 2\cdot2 + 8\cdot2 + (-7)\cdot\left(-1\right)\right)}{\left(1\cdot1 + 2\cdot2 + 2\cdot2 + \left(-1\cdot\left(-1\right)\right)\right)} = -3,$$ $$\lambda_{32} = -\dfrac{\left(3\cdot2 + 2\cdot3 + 8\cdot\left(-3\right) + (-7)\cdot2\right)}{\left(2\cdot2 + 3\cdot3 + \left(-3\cdot\left(-3\right)\right) + 2\cdot2\right)} = 1.$$ Теперь вычислим $b_{3}:$ $$b_{3} = (3, 2, 8, -7)-3(1, 2, 2, -1) + 1(2, 3, -3, 2) = (2, -1, -1, 2).$$
    Получили ортогональный базис $S_{Орт} = \langle b_{1}, b_{2}, b_{3}\rangle$ — систему, эквивалентную данной, $S = \langle a_{1}, a_{2}, a_{3}\rangle.$ $$S_{Орт} = \langle (1, 2, 2, -1), (2, 3, -3, 2), (2, -1, -1, 2)\rangle.$$

  2. Применяя процесс ортогонализации по Грамму-Шмидту построить ортогональный базис подпространства, натянутого на данную систему векторов $S = \langle a_{1}, a_{2}, a_{3}\rangle.$
    $$a_{1} = (1, 1, -1, -2), a_{2} = (5, 8, -2, -3), a_{3} = (3, 9, 3, 8).$$

    Решение

    Первым делом, найдем $b_{1}$, $b_{1} = a_{1}.$

    Дальше найдем $b_{2}.$ Из формулы пункта 2) мы видим, что: $$b_{2} = a_{2} + \lambda_{21} \cdot b_{1}, \lambda_{21} = \dfrac{\left(a_{2}, b_{1}\right)}{\left(b_{1}, b_{1}\right)},$$ все необходимое для решения мы нашли, осталось только решить. Итак:$$\lambda_{21} = -\dfrac{\left(5\cdot1 + 8\cdot1 + \left(-2\cdot\left(-1\right)\right) + \left(-3\cdot\left(-2\right)\right)\right)}{\left(1\cdot1 + 1\cdot1 + \left(-1\cdot\left(-1\right)\right) + \left(-2\cdot\left(-2\right)\right)\right)} = -\left(\dfrac{21}{7}\right) = 3,$$ лямбду мы нашли, $b_{1}$ у нас есть, теперь мы можем найти $b_{2}:$ $$b_{2} = a_{2} + \lambda_{21}\cdot b_{1} = (5, 8, -2, -3) + (-3, -3, 3, 6) = (2, 5, 1, 3).$$

    Выпишем же формулу для $b_{3}:$ $$b_{3} = a_{3} + \lambda_{31} \cdot b_{1} + \lambda_{32} \cdot b_{2},$$ при $$\lambda_{31} = -\dfrac{\left(a_{3}, b_{1}\right)}{\left(b_{1}, b_{1}\right)},\quad \lambda_{32} = -\dfrac{\left(a_{3}, b_{2}\right)}{\left(b_{2}, b_{2}\right)},$$ найдем все необходимое: $$\lambda_{31} = -\dfrac{\left(3\cdot1 + 9\cdot1 + 3\cdot\left(-1\right) + 8\cdot\left(-2\right)\right)}{\left(1\cdot1 + 1\cdot1 + \left(-1\cdot\left(-1\right)\right) + \left(-2\cdot\left(-2\right)\right)\right)} = 1,$$ $$\lambda_{32} = -\dfrac{\left(3\cdot2 + 9\cdot5 + 3\cdot1 + 8\cdot3\right)}{\left(2\cdot2 + 5\cdot5 + 1\cdot1 + 3\cdot3\right)} = -2.$$ Теперь вычислим $b_{3}:$ $$b_{3} = (3, 9, 3, 8) + 1(1, 1, -1, -2)-2(2, 5, 1, 3) = (0, 0, 0, 0).$$
    Получили ортогональный базис $S_{Орт} = \langle b_{1}, b_{2}, b_{3}\rangle$ — систему, эквивалентную данной, $S = \langle a_{1}, a_{2}, a_{3}\rangle.$ $$S_{Орт} = \langle(1, 1, -1, -2), (2, 5, 1, 3)\rangle.$$

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

  1. Конспект лекций по линейной алгебре. Белозёров Г.С. Евклидовы пространства
  2. Курош А.Г. Курс высшей алгебры. М.: Наука, 1968, Глава 8, §34, «Определение евклидова пространства. Ортонормированные базы», c.213-214
  3. Воеводин В.В. Линейная алгебра. М.: Наука, 1994, Глава 3, §28, «Ортогональность», стр. 92

Процесс ортогонализации Грама-Шмидта

Тест на знание темы «Процесс ортогонализации Грама-Шмидта»