1.12 Отношение эквивалентности .

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

.

которые читаются соответственно как “ больше ”, “ равно ”, “ влечёт ”, “ эквивалентно ”

Бинарное отношение на множестве называется отношением эквивалентности на множестве , если оно удовлетворяет условиям:

1) для любого ,

2) если , тогда ,

3) если и , тогда .

Для отношения эквивалентности принято обозначение . Условия 1)‑3), называемые аксиомами отношения эквивалентности, в этом обозначении выглядят так:

1’) , (рефлексивность)

2’) , (симметричность)

3’) и . (транзитивность)

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

В алгебре матриц отношения “л‑эквивалентности”, “п‑эквивалентности” и “эквивалентности”, введенные в предыдущем пункте, являются отношениями эквивалентности на множестве . Наиболее важным из них является последнее отношение, которое приводит к построению фактор-множества, в одном классе эквивалентности которого содержатся те и только те матрицы, которые строчными и столбцовыми элементарными преобразованиями приводятся к матрице вида (1.21) с данным . Нетрудно посчитать, что различных видов матриц всего . Это отношение эквивалентности в алгебре называется “одинаковый ранг” и подробно будет изучено во второй части нашего курса.

Предлагаем читателю самостоятельно рассмотреть фактор-множества по двум другим указанным выше отношениям эквивалентности при различных соотношениях между и .

Лекция V.

План

1.13 Разложение матрицы в произведение простейших

1.14 Матричные уравнения

1.13 Разложение матрицы в произведение простейших

Пусть – некоторые матрицы. Введём следующее обозначение, предполагая при этом, что произведение в правой части существует,

.

Предложение 1.5. Любую ненулевую матрицу из можно представить в виде произведения

, (1.22)

где , – элементарные матрицы порядка , – элементарные матрицы порядка , и матрица имеет вид (1.21).

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

. (1.23)

Матрицы обратимы, а обратные им матрицы являются элементарными матрицами того же порядка. Поэтому, вводя обозначения

,

,

и умножая обе части равенства (1.23) в соответствующем порядке на матрицы слева и на матрицы справа, получаем

,

т.е. равенство (1.22). ►

Пример 8. разложить матрицу

в произведение простейших.

◄ Элементарными преобразованиями приводим матрицу к виду ,

.

Проводим эквивалентную цепочку элементарных преобразований, умножая матрицу слева на элементарную матрицу порядка 2, отвечающую элементарному преобразованию , и умножая её справа на элементарные матрицы порядка 3, отвечающие элементарным преобразованиям , , , . В результате получаем, что

.

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

. ►

Следствием предложения 1.5 является критерий обратимости квадратной матрицы.

Предложение 1.6. (1-й критерий обратимости матрицы). Для того, чтобы матрица была обратимой, необходимо и достаточно, чтобы она была представима в виде произведения элементарных матриц.

◄ Достаточность. Элементарные матрицы обратимы, а произведение обратимых матриц есть матрица обратимая. Поэтому утверждение “матрица, представимая в виде произведения элементарных матриц, обратима” очевидно.

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

обратимы как произведение обратимых матриц. Поэтому обратимы матрицы и . Из равенства (1.22) получаем, что матрица

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

. ►

Пример 9. Выяснить, является ли следующая матрица обратимой

◄ Приводим матрицу к виду ,

,

т.е. матрица обратима. Действуя дальше так же, как и в примере 6, можно представить матрицу в виде произведения элементарных матриц, а после этого найти обратную матрицу . Однако этот способ обращения матриц является слишком громоздким. Ниже в Гл.2 мы разберём более простой алгоритм отыскания обратной матрицы. ►

Вернёмся к предложению 1.2. Это предложение является следствием предложений 1.5 и 1.6. В самом деле, нам нужно показать, что любая ненулевая и необратимая матрица из , , является истинным делителем нуля.

◄ Пусть и . В силу предложений 1.5 и 1.6 , где . Введём матрицы

и отметим, что . Так как , то

,

. ►

В заключение этого пункта предлагаем читателю самостоятельно доказать следующее усиление предложения 1.6.

Предложение 1.7. Пусть . Следующие утверждения равносильны:

1) ;

2) , где – элементарная матрица порядка ;

3) ;

4) ;

5) .