Построение ортогональных и ортонормированных систем

Процессом ортогонализации системы векторов [latex]a_{1}, a_{2}, …, a_{s}[/latex] называется переход от данной системы к системе [latex]b_{1}, b_{2}, …, b_{s}[/latex], построенной следующим образом: [latex]b_{1}=a_{1}[/latex]; [latex]b_{k}=a_{k}-\sum\limits_{i=1}^{k-1}c_{i}b_{i} (k=2, 3, …, s)[/latex], где [latex]c_{i}=\frac{(a_{k}, b_{i})}{(b_{i}, b_{i})}[/latex].

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

Всякая ортогональная система ненулевых векторов линейно независима. Если ортогональная система состоит из ненулевых векторов, то её можно нормировать. Нормированная ортогональная система называется ортонормированной.

Процесс ортогонализации Грама Шмидта :
Данный алгоритм позволяет из множества ЛНЗ (линейно независимых) векторов [latex]m_{1}, …, m_{n}[/latex] построить множество ортогональных векторов [latex]t_{1}, …, t_{n} [/latex]или ортонормированных векторов [latex]k_{1}, …, k_{n}[/latex], однако при условии, что выполняется данное условие: каждый вектор [latex]t_{j}[/latex] либо же [latex]k_{j}[/latex] выражается линейной комбинацией векторов [latex]m_{1}, …, m_{j}[/latex].

Оператором проекции является выражение: [latex]pro j_{t}m=\frac{(m, t)}{(t, t)}t[/latex], где [latex](m, t)[/latex] — скалярное произведение вектора [latex]m[/latex] и [latex]t[/latex].
Процесс Грама Шмидта:

[latex]\begin{matrix}t_{1} =m_{1} &(1) \\ t_{2} =m_{2}-proj_{t_{1}}m_{2} &(2) \\ t_{3} =m_{3}-proj_{t_{1}}m_{3}-proj_{t_{2}}m_{3} &(3) \\ t_{4} =m_{4}proj_{t_{1}}m_{4}-proj_{t_{2}}m_{4}-proj_{t_{3}}m_{4} & (4)\\ . & & \\ .& & \\ .& & \\t_{n}=m_{n}-\sum\limits_{j=1}^{n-1}proj_{t_{j}}m_{n} & (n) \\ \end{matrix}[/latex]

Элемент [latex]k_{j}[/latex] выражается так: [latex]k_{j}=\frac{t_{j}}{\left \| t_{j} \right \|}[/latex]. Результатом данных преобразований может быть либо система ортогональных векторов [latex]t_{1}, …, t_{n}[/latex], либо ортонормированных векторов [latex]k_{1}, …, k_{n}[/latex]. (База евклидового пространства называется ортонормированной, если она ортогональна, а все её векторы нормированы. Вектор называется нормированным,если его скалярный квадрат равен единице.)

Пример:

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

[latex]\begin{matrix}(1, 2, 2, -1 )\\ (1, 1, -5, 3)\\ (3, 2, 8, -7)\end{matrix}[/latex]

Решение:

Дано: [latex]m_{1}=(1, 2, 2, -1 ), m_{2}=(1, 1, -5, 3), m_{3}=(3, 2, 8, -7)[/latex]. Вычислить: [latex]\begin{Vmatrix}m_{1}\end{Vmatrix}=\sqrt{(m_{1}, m_{1})}=\sqrt{1+4+4+1}=\sqrt{10}[/latex]. Возьмём такое [latex]t_{1}=m_{1};t_{1}=(1, 2, 2,-1)[/latex]. Далее высчитаем: [latex](t_{1}, t_{1})=1+4+4+1=10[/latex]. Далее положим такое [latex]t_{2}=m_{2}-\frac{(m_{2},m_{1})}{(t_{1},t_{1})}t_{1}=(1, 1, -5, 3)-\frac{(1+2-10-3)}{10}(1, 2, 2, -1)=(1, 1,-5, 3)+\frac{10}{10}(1, 2 , 2, -1)=(2, 3, -3, 2)=1\cdot 1+1\cdot 2-5\cdot 2+3\cdot (-1)=10.[/latex]Аналогично, [latex]t_{3}=m_{3}-\frac{(m_{3},t_{2})}{(t_{2},t_{2})}t_{2}-\frac{(m_{3},t_{1})}{(t_{1},t_{1})}t_{1}=(3, 2, 8, -7)+(2, 3, -3, 2)-(3, 6, 6, -3)=[/latex]
[latex](2, -1, -1,-2)[/latex], где [latex](m_{3},t_{2})=6+6-24-14=-26, [/latex]
[latex](t_{2},t_{2})=4+9+9+4=26[/latex] и [latex](m_{3}, t_{1})=3+4+16+7=30[/latex].

Ответ: (1, 2, 2, -1 ), (2, 3, -3, 2), (2, -1, -1,-2).

[latex]t_{n}=m_{n}-\sum\limits_{i=1}^{n-1}\frac{(m_{n}, t_{i})}{(t_{i},t_{i})}t_{i}[/latex],

[latex](t_{1},…,t_{n})[/latex] — ортогональный базис;

[latex]\begin{Bmatrix}\frac{t_{1}}{\begin{Vmatrix}t_{1}\end{Vmatrix}},…,\frac{t_{n}}{\begin{Vmatrix}t_{n}\end{Vmatrix}}\end{Bmatrix} [/latex] — ортонормированный базис.

Список использованной литературы:

Подведем итоги.

Симметрическая группа

Перестановкой $n$ элементов называется биекция [latex]n[/latex]- элементного множества на себя. Умножение перестановок проводится согласно правилу композиции отображений: [latex](\sigma \tau)=\sigma(\tau (i))[/latex], где [latex]\sigma, \tau \in S_{n}[/latex].

Для [latex]\sigma =\begin{pmatrix}1 & 2 & 3 & 4\\2 & 3 & 4 & 1\end{pmatrix}, \tau =\begin{pmatrix}1 & 2 & 3 & 4\\4 & 3& 2 & 1\end{pmatrix}[/latex] получим:

[latex]\sigma \tau=\begin{pmatrix}1 & 2 & 3 & 4\\2 & 3 & 4&1\end{pmatrix}\begin{pmatrix}1 & 2 & 3 & 4\\4 & 3 & 2 & 1\end{pmatrix}=\begin{pmatrix}1 & 2 & 3 & 4\\1 & 4 & 3 & 2\end{pmatrix}[/latex], а

[latex]\tau\sigma=\begin{pmatrix}1 & 2 & 3 & 4\\4 & 3 & 2 & 1\end{pmatrix}\begin{pmatrix}1 & 2 & 3& 4\\2 & 3 & 4 & 1\end{pmatrix}=\begin{pmatrix}1 & 2 & 3 & 4\\3 & 2 & 1 & 4\end{pmatrix}[/latex], следовательно
[latex]\sigma\tau\neq\tau\sigma[/latex].

Рассмотрим некоторые свойства умножения перестановок, а именно:

  1. ассоциативность, т. е. [latex](\alpha \beta )\gamma =\alpha (\beta \gamma ) \forall \alpha, \beta, \gamma\in S_{n}[/latex];
  2. наличие единичного элемента [latex]e[/latex] такого, что [latex]\pi e=\pi=e\pi[/latex], где [latex]\pi[/latex]- произвольная перестановка;
  3. [latex]\forall \pi\in S_{n} \exists \pi^{-1}: \pi \pi^{-1}=\pi^{-1}\pi =e [/latex].

Отсюда следует определение группы [latex]S_{n}[/latex]:
Множество [latex]S_{n}[/latex], рассматриваемое вместе с естественной операцией умножения его элементов (композицией перестановок), называется симметрической группой степени [latex]n[/latex].

Основные свойства [latex]S_{n}[/latex]:

  1. [latex]S_{n}[/latex] — некоммутативна (при [latex]n\leq 3[/latex]);
  2. [latex]S_{n}[/latex] — неразрешима (при [latex] n\geq 5[/latex]);
  3. [latex]S_{n} — [/latex]разрешима (при [latex]n\leq 4[/latex]);
  4. Порядок симметрической группы перестановок (число элементов) [latex]S_{n}[/latex] равен [latex]n![/latex], т. е. [latex]|S_{n}|=n![/latex];
  5. Порядок подгруппы группы [latex]S_{n}[/latex], образованной множеством всех четных перестановок равен [latex](\frac{n}{2})![/latex];
  6. Каждая конечная группа [latex]G [/latex] изоморфна некоторой подгруппе группы [latex]S(G)[/latex] (теорема Кэли).

Рассмотрим симметрическую группу перестановок [latex]S_{3}[/latex]:

[latex]e=\begin{pmatrix}1 &2 &3 \\1& 2 & 3\end{pmatrix}, \begin{pmatrix}1 &2 &3 \\1& 3 & 2\end{pmatrix}, \begin{pmatrix}1 &2 &3 \\2& 1 & 3\end{pmatrix}, \begin{pmatrix}1 &2 &3 \\2& 3 & 1\end{pmatrix}, \begin{pmatrix}1 &2 &3 \\3& 1 & 2\end{pmatrix}, \begin{pmatrix}1 &2 &3 \\3& 2 & 1\end{pmatrix}[/latex]

Порядок группы [latex]|S_{3}|=3!=6[/latex].

Пример: Граф Кэли симметрической группы [latex]S_{4}[/latex].

Список использованной литературы:

Подведение итогов.


Таблица лучших: Симметрическая группа

максимум из 11 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных