Линейные пространства. Аксиомы. Определение поля.
Линейные пространства. Линейным (векторным) пространством называется множество произвольных элементов, называемых векторами, в котором определены операции сложения векторов и умножения вектора на число, т.е. любым двум векторам и поставлен в соответствие вектор , называемый суммой векторов и , любому вектору и любому числу из поля действительных чисел поставлен в соответствие вектор , называемый произведением вектора на число ; так что выполняются следующие условия: 1) (коммутативность сложения); 2) (ассоциативность сложения); 3) существует такой элемент , называемый нулевым вектором, что ; 4) для каждого вектора существует такой вектор , называемый противоположным вектору , что ; 5) 6) 7) 8) .
Условия 1-8 называются аксиомами линейного пространства. Знак равенства, поставленный между векторами, означает, что в левой и правой частях равенства представлен один и тот же элемент множества , такие векторы называются равными. В определении линейного пространства операция умножения вектора на число введена для действительных чисел. Такое пространство называют линейным пространством над полем действительных (вещественных) чисел, или, короче, вещественным линейным пространством. Если в определении вместо поля действительных чисел взять поле комплексных чисел , то получим линейное пространство над полем комплексных чисел, или, короче, комплексное линейное пространство. В качестве числового поля можно выбрать и поле рациональных чисел, при этом получим линейное пространство над полем рациональных чисел. Далее, если не оговорено противное, будут рассматриваться вещественные линейные пространства. В некоторых случаях для краткости будем говорить о пространстве, опуская слово линейное, так как все пространства, рассматриваемые ниже — линейные. Замечания: 1) Аксиомы 1-4 показывают, что линейное пространство является коммутативной группой относительно операции сложения. 2) Аксиомы 5 и 6 определяют дистрибутивность операции умножения вектора на число по отношению к операции сложения векторов (аксиома 5) или к операции сложения чисел (аксиома 6). Аксиома 7, иногда называемая законом ассоциативности умножения на число, выражает связь двух разных операций: умножения вектора на число и умножения чисел. Свойство, определяемое аксиомой 8, называется унитарностью операции умножения вектора на число. 3) Линейное пространство — это непустое множество, так как обязательно содержит нулевой вектор. 4) Операции сложения векторов и умножения вектора на число называются линейными операциями над векторами. 5) Разностью векторов и называется сумма вектора с противоположным вектором и обозначается: . 6) Два ненулевых вектора и называются коллинеарными (пропорциональными), если существует такое число , что . Понятие коллинеарности распространяется на любое конечное число векторов. Нулевой вектор считается коллинеарным с любым вектором.
Следствия аксиом линейного пространства.
1) В линейном пространстве существует единственный нулевой вектор. 2) В линейном пространстве для любого вектора существует единственный противоположный вектор . 3) Произведение произвольного вектора пространства на число нуль равно нулевому вектору, т.е. . 4) Произведение нулевого вектора на любое число равно нулевому вектору, т.е для любого числа . 5) Вектор, противоположный данному вектору, равен произведению данного вектора на число (-1), т.е. . 6) В выражениях вида (сумма конечного числа векторов) или (произведение вектора на конечное число множителей) можно расставлять скобки в любом порядке, либо вообще не указывать. Докажем, например, первые два свойства. Единственность нулевого вектора. Если и — два нулевых вектора, то по аксиоме 3 получаем два равенства: или , левые части которых равны по аксиоме 1. Следовательно, равны и правые части, т.е. . Единственность противоположного вектора. Если вектор имеет два противоположных вектора и , то по аксиомам 2, 3,4 получаем их равенство: Остальные свойства доказываются аналогично.
|