Понятия и определения

Говорят, что множество имеет структуру, если между элементами множества установлены определенные соотношения. Множество, наделенное структурой, называют пространством.

Пусть X – произвольное множество. Свяжем с каждой парой элементов из X некоторое вещественное неотрицательное число d³ 0. Это число называют расстоянием или метрикой в X, если для любых x, y, zÎ X оно удовлетворяет следующим трем аксиомам:

1) аксиома идентичности: d(x, y)=0 тогда и только тогда, когда x=y (аксиома идентичности);

2) аксиома симметрии: d(x, y)=d(y, x);

3) аксиома треугольника: для любой тройки x, y, zÎ X имеет место d(x, y)£ d(x, y)+d(y, z).

Метрическим пространством называют пару (X, d), то есть множество X с определенной на нем метрикой d. Элементы множества X называют точками метрического пространства (X, d).

Метрическое пространство называется линейным, если оно удовлетворяет следующим условиям:

1) каждой паре элементов x, yÎ X однозначно определен третий элемент zÎ X, называемый их суммой и обозначаемый x+y, причем

x+y=y+x (коммутативность);

x+(y+v)=(x+y)+v (ассоциативность);

в X существует такой элемент 0, что x+0=x для всех xÎ X (существование нуля);

2) для любого числа a и любого элемента xÎ X определен элемент axÎ X, причем

(a+b)x=ax+bx; a(x+y)=ax+ay.

Условия 1 и 2 называют условиями аддитивности и однородности линейного пространства. Множества, элементы которых допускают выполнение операций сложения и умножения на скаляр, весьма разнообразны. Однако в дальнейшим сосредоточим свое внимание на линейных пространствах, элементами которых являются векторы или вектор-столбцы. Такое пространство называется векторным пространством.

Совокупность векторов называется линейно-независимой, если существуют действительные числа k1, k2, …, kn, среди которых хотя бы одно не равнялось нулю, такие, что выполняется условие

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

1) Квадратная матрица называется особенной, если ее строки или столбцы линейно-зависимы. В этом случае det A=0.

2) Правило вырожденности Сильвестра. Дефект произведения двух матриц не меньше дефекта каждой из матриц и не выше суммы дефектов матриц.

3) Определитель Грама. Определитель Грама для системы векторов строится в предположении, что выполняется соотношение

Записывая последовательно скалярные произведения xi и обеих частей этого уравнения, получим систему уравнений

Система однородных уравнений имеет нетривиальное решение для ki только в том случае, если определитель матрицы с коэффициентами [< xi, xj> ] равен нулю. Этот определитель называется определителем Грама и равен

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

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

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

, где – базисные векторы пространства, а коэффициенты k1, k2, …, kn называются координатами данного вектора в базисе =

Линейное пространство называют нормированным линейным пространством, если для каждого xÎ X существует неотрицательное число ||x||, называемое нормой x, которое удовлетворяет следующим условиям:

||x||=0 тогда и только тогда, когда x=0;

||ax||=|a|× ||x||;

||x+y||£ ||x||+||y||.

Нетрудно установить, что величина ||x–y|| обладает всеми свойствами расстояния d(x, y) в метрическом пространстве.