Теоретические основы математических и инструментальных методов экономики (стр. 5 из 22)

1. Линейные пространства. Базис

Одно из основных понятий современной математики - линейное пространство.

Пусть L - некоторое множество объектов произвольной природы, а C - множество комплексных чисел. Множество L называют линейным пространством, если на нем определены две операции: 1) операция сложения любых двух элементов этого множества и 2) операция умножения элементов этого множества на комплексное число, причем эти операции удовлетворяют некоторым естественным аксиомам. Более точно:

Определение. Множество L называется линейным пространством над полем комплексных чисел C, если

1. каждой паре элементов x, y из этого пространства поставлен в соответствие элемент z этого пространства, называемый суммой элементов x и y (обозначение:
   );
2. каждому элементу x из L и каждому комплексному числу поставлен в соответствие элемент из L, называемый произведением и x (и обозначаемый
   или x);
3. указанные операции удовлетворяют следующим аксиомам:
4. для любых
   ,
5. для любых
   ,
6. существует "нулевой" элемент
   , такой, что
   для любого
   ,
7. для каждого
   существует "противоположный" ему элемент
   , такой, что
   ,
8. для любого
   ,
9. для любого
   и любых
   ,
10. для любого
    и любых
    ,
11. для любого
    и любых
    .

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

Иногда рассматривают линейное пространство не над полем комплексных, а над полем действительных чисел R (т.е. вместо операции умножения на комплексные числа рассматривается операция умножения на действительные числа). Аксиомы линейного пространства при этом не меняются.

Приведем некоторые типичные примеры линейных пространств.

Пример 1. Линейное пространство векторов на плоскости (или в трехмерном пространстве) с обычными операциями сложения векторов и умножения вектора на действительное число. Нулевым элементом является нулевой вектор.

Пример 2. Линейное пространство всевозможных последовательностей комплексных чисел с операциями

.

Нулевой элемент - последовательность (0, 0, ..., 0, ...).

Пусть теперь

- некоторые элементы линейного пространства L, а - произвольные комплексные (или действительные) числа. Элемент пространства L, равный , называется линейной комбинацией элементов .

Определение. Система (набор) элементов

пространства L называется линейно независимой, если линейная комбинация равна нулевому элементу пространства только в случае .

Иными словами, система

называется линейно независимой, если из равенства следует, что .

Определение. Система элементов

пространства L называется линейно зависимой, если равенство выполнено при некотором наборе констант , хотя бы одна из которых отлична от нуля.

Таким образом, система называется линейно зависимой, если она не является линейно независимой.

Определение. Линейное пространство имеет размерность n (или, коротко, n-мерно), если в нем найдется n линейно независимых элементов, но любые (n+1) элемент линейно зависимы. Линейное пространство называется бесконечномерным, если в нем можно указать любое наперед заданное число линейно независимых элементов.

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

Как мы убедились, в n-мерном пространстве любая линейно независимая система из n элементов образует базис.

Определение. Множество M называется метрическим пространством, если каждым двум элементам x, y этого множества поставлено в соответствие действительное число, обозначаемое

и называемое расстоянием между элементами x и y, причем выполнены следующие аксиомы:

1. для любых
   , причем
   в том и только в том случае, когда
   ;
2. для любых
   ;
3. для любых
   .

Если x, y - два фиксированных элемента множества M, то

есть действительное число, однако, полагая x и y равными всевозможным элементам множества M, получим, что является функцией двух переменных x, y. Эта функция называется метрикой данного пространства.

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

(норма x ), причем выполнены следующие аксиомы:

1. для любого x, причем
   тогда и только тогда, когда
   ;
2. для любого x и любого комплексного ;
3. для любых x, y из данного пространства.

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

Неравенство, фигурирующее в третьей аксиоме, называется неравенством Минковского.

Простейшими примерами нормированных пространств могут служить множества действительных чисел R и комплексных чисел C, где в качестве нормы числа рассматривается его модуль, а также пространство векторов на плоскости (или в пространстве) с нормой, равной длине вектора.

В пространстве непрерывных функций на

(действительном или комплексном) норму можно ввести, например, следующими способами: