Определение 18.1 Пусть-- поле,
-- некоторое множество, на котором задана операция сложения, обозначаемая знаком "+", и операция умножения на элемент поля
, то есть любому элементу
,
, и любому элементу
,
, сопоставляется элемент из множества
, называемый произведением
на
и обозначаемый
. Множество
называется линейным или векторным пространством над полем
, если по отношению к операции сложения множество
является абелевой группой, и для любых
из поля
и любых
из множества
выполнены равенства:
;
;
;
, где 1 -- единица поля
.
Свойства градиента и производной по направлению Криволинейный интеграл Первоначально функции управления системой коммутации возлагались на операторов.В дальнейшем в качестве поля
используется или поле вещественных чисел, или поле комплексных чисел. В первом случае множество
называется вещественным линейным пространством, во втором -- комплексным линейным пространством.
Легко проверить, что множество векторов трехмерного простраства является вещественным линейным пространством. Действительно, первые четыре свойства векторов из теоремы 10.1 означают, что векторы образуют абелеву группу по сложению, а последние четыре свойства из той же теоремы соответствуют требованиям 1-4 к операции умножения на элементы поля (в данном случае на вещественные числа).
По аналогии с трехмерным векторным пространством элементы любого линейного пространства называются векторами, хотя природа этих элементов может быть совсем иная.
Другими примерами вещественных линейных пространств могут служить:
- множество столбцов
из
элементов, являющихся вещественными числами ;
- множество многочленов степени не выше
с вещественными коэффициентами;
- множество всех многочленов с вещественными коэффициентами;
- множество функций непрерывных на некотором отрезке
.
В примерах 2-4 нулевым вектором является многочлен или функция тождественно равная нулю, то есть равная нулю при всех значениях аргумента. Проверку того, что указанные множества являются линейными пространствами, предоставляем читателю.
Если в примерах 1-3 слово "вещественными" заменить на "комплексными", то получим примеры комплексных линейных пространств.
Пример 18.1 Рассмотрим еще один пример линейного пространства. Пусть имеется однородная система линейных уравнений, которую запишем в матричном виде, где
-- матрица системы, а
-- столбец неизвестных. В силу предложения 15.3 столбцы-решения системы можно складывать и умножать на число. При этом будут получаться снова решения этой системы. Значит, на множестве решений определены операции сложения и умножения на число. Легко проверить, что эти операции удовлетворяют требованиям из определения линейного пространства. Итак, множество решений однородной системы линейных уравнений является линейным пространством. Если матрица
имеет вещественные элементы, то и пространство будет вещественным, если комплексные -- то и пространство будет комплексным.
Пример 2.12 Приведём пример, показывающий, что обратное к теореме 2.6 утверждение неверно, то есть что существуют функции, локально ограниченные при некоторой базе, однако не имеющие предела при этой базе. Рассмотрим функциюи базу
. Локальная ограниченность функции очевидна: можно взять постоянную
и окончание базы
, тогда
при всех
. Однако
не имеет предела при
: какое бы окончание
ни взять, при
значения
многократно изменяются от
до 1 и назад и не приближаются ни к какому постоянному значению. (В качестве упражнения проведите строгое доказательство того, что предел
не существует: докажите, что при
нельзя указать окончания базы
, при всех
из которого при некотором
выполнялось бы неравенство
. Такое окончание
должно было бы существовать по определению предела, если бы предел существовал.)
Поскольку пределапри
не существует, то если сделать замену
, получится, что предел
также не существует. График функции
представлен на следующем рисунке.
Рис.2.18.График![]()
График совершает бесконечно много колебаний при подходек 0. Размах каждого колебания остаётся один и тот же, от
до 1. Значения, равные 1, функция принимает в точках вида
,
, значения, равные
,-- в точках вида
,
, а значения, равные 0,-- в точках вида
,
.
Неопределенный интегралВекторное
произведение векторов
Трассировка
пиксельных изображений Adobe Illustrator
Линейные блоковые коды