Теорема о выражении смешанного произведения через координаты сомножителей

Пусть в пространстве выбран ортонормированный базис i, j, k. Наложим на этот базис еще одно дополнительное условие, а именно: из конца вектора k поворот от i к j по кратчайшему направлению должен быть виден против часовой стрелки.

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

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

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

Итак, пусть в трехмерном пространстве задан ортонормированный базис i, j, k, векторы которого образуют правую тройку векторов. Такой базис будем называть правым.

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

51. Система линейных уравнений — это объединение из n линейных уравнений, каждое из которых содержит k переменных. Записывается это так:

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

Решение системы уравнений — это последовательность чисел (k1,k2,..., kn), которая является решением каждого уравнения системы, т.е. при подстановке в это уравнение вместо переменных x1, x2,..., xn дает верное числовое равенство.

Соответственно, решить систему уравнений — значит найти множество всех ее решений или доказать, что это множество пусто. Поскольку число уравнений и число неизвестных может не совпадать, возможны три случая:

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

Система совместна и определена, т.е. имеет ровно одно решение. Классический вариант, хорошо известный еще со школьной скамьи.

Система совместна и не определена, т.е. имеет бесконечно много решений. Это самый жесткий вариант. Недостаточно указать, что «система имеет бесконечное множество решений» — надо описать, как устроено это множество.

Система, имеющая хотя бы одно решение, называется совместной; система, не имеющая ни одного решения — несовместной. Если ранг основной матрицы совместной системы равен числу неизвестных, то система является определённой. Если ранг основной матрицы совместной системы меньше числа неизвестных, то система является неопределённой.