Соответствующее такому векторному пространству. В этой статье за исходное будет взято первое определение.
N {\displaystyle n} -мерное евклидово пространство обычно обозначается E n {\displaystyle \mathbb {E} ^{n}} ; также часто используется обозначение , когда из контекста ясно, что пространство снабжено естественной евклидовой структурой.
Формальное определение
Для определения евклидова пространства проще всего взять в качестве основного понятие скалярного произведения . Евклидово векторное пространство определяется как конечномерное векторное пространство над полем вещественных чисел , на парах векторов которого задана вещественнозначная функция (⋅ , ⋅) , {\displaystyle (\cdot ,\cdot),} обладающая следующими тремя свойствами:
Пример евклидова пространства - координатное пространство R n , {\displaystyle \mathbb {R} ^{n},} состоящее из всевозможных наборов вещественных чисел (x 1 , x 2 , … , x n) , {\displaystyle (x_{1},x_{2},\ldots ,x_{n}),} скалярное произведение в котором определяется формулой (x , y) = ∑ i = 1 n x i y i = x 1 y 1 + x 2 y 2 + ⋯ + x n y n . {\displaystyle (x,y)=\sum _{i=1}^{n}x_{i}y_{i}=x_{1}y_{1}+x_{2}y_{2}+\cdots +x_{n}y_{n}.}
Длины и углы
Заданного на евклидовом пространстве скалярного произведения достаточно для того, чтобы ввести геометрические понятия длины и угла . Длина вектора u {\displaystyle u} определяется как (u , u) {\displaystyle {\sqrt {(u,u)}}} и обозначается | u | . {\displaystyle |u|.} Положительная определённость скалярного произведения гарантирует, что длина ненулевого вектора ненулевая, а из билинейности следует, что | a u | = | a | | u | , {\displaystyle |au|=|a||u|,} то есть длины пропорциональных векторов пропорциональны.
Угол между векторами u {\displaystyle u} и v {\displaystyle v} определяется по формуле φ = arccos ((x , y) | x | | y |) . {\displaystyle \varphi =\arccos \left({\frac {(x,y)}{|x||y|}}\right).} Из теоремы косинусов следует, что для двумерного евклидова пространства (евклидовой плоскости ) данное определение угла совпадает с обычным . Ортогональные векторы, как и в трёхмерном пространстве, можно определить как векторы, угол между которыми равен π 2 . {\displaystyle {\frac {\pi }{2}}.}
Неравенство Коши - Буняковского - Шварца и неравенство треугольника
В данном выше определении угла остался один пробел: для того, чтобы arccos ((x , y) | x | | y |) {\displaystyle \arccos \left({\frac {(x,y)}{|x||y|}}\right)} был определён, необходимо, чтобы выполнялось неравенство | (x , y) | x | | y | | ⩽ 1. {\displaystyle \left|{\frac {(x,y)}{|x||y|}}\right|\leqslant 1.} Это неравенство действительно выполняется в произвольном евклидовом пространстве, оно называется неравенством Коши - Буняковского - Шварца . Из этого неравенства, в свою очередь, следует неравенство треугольника : | u + v | ⩽ | u | + | v | . {\displaystyle |u+v|\leqslant |u|+|v|.} Неравенство треугольника, вместе с перечисленными выше свойствами длины, означает, что длина вектора является нормой на евклидовом векторном пространстве, а функция d (x , y) = | x − y | {\displaystyle d(x,y)=|x-y|} задаёт на евклидовом пространстве структуру метрического пространства (эта функция называется евклидовой метрикой). В частности, расстояние между элементами (точками) x {\displaystyle x} и y {\displaystyle y} координатного пространства R n {\displaystyle \mathbb {R} ^{n}} задаётся формулой d (x , y) = ‖ x − y ‖ = ∑ i = 1 n (x i − y i) 2 . {\displaystyle d(\mathbf {x} ,\mathbf {y})=\|\mathbf {x} -\mathbf {y} \|={\sqrt {\sum _{i=1}^{n}(x_{i}-y_{i})^{2}}}.}
Алгебраические свойства
Ортонормированные базисы
Сопряжённые пространства и операторы
Любой вектор x {\displaystyle x} евклидова пространства задаёт линейный функционал x ∗ {\displaystyle x^{*}} на этом пространстве, определяемый как x ∗ (y) = (x , y) . {\displaystyle x^{*}(y)=(x,y).} Это сопоставление является изоморфизмом между евклидовым пространством и двойственным к нему пространством и позволяет их отождествлять без ущерба для вычислений. В частности, сопряжённые операторы можно рассматривать как действующие на исходном пространстве, а не на двойственном к нему, и определить самосопряжённые операторы как операторы, совпадающие с сопряжёнными к ним. В ортонормированном базисе матрица сопряжённого оператора является транспонированной к матрице исходного оператора, а матрица самосопряжённого оператора является симметричной .
Движения евклидова пространства
Движения евклидова пространства - это преобразования , сохраняющие метрику (также называются изометриями). Пример движения - параллельный перенос на вектор v {\displaystyle v} , переводящий точку p {\displaystyle p} в точку p + v {\displaystyle p+v} . Нетрудно увидеть, что любое движение является композицией параллельного переноса и преобразования, сохраняющего неподвижной одну точку. Выбрав неподвижную точку за начало координат, любое такое движение можно рассматривать как
Глава 3. Линейные векторные пространства
Тема 8. Линейные векторные пространства
Определение линейного пространства. Примеры линейных пространств
В §2.1 определены операция сложения свободных векторов из R 3 и операция умножения векторов на действительные числа, а также перечислены свойства этих операций. Распространение этих операций и их свойств на множество объектов (элементов) произвольной природы приводит к обобщению понятия линейного пространства геометрических векторов из R 3 , определенного в §2.1. Сформулируем определение линейного векторного пространства.
Определение 8.1. Множество V элементов х , у , z ,... называется линейным векторным пространством , если:
имеется правило, которое каждым двум элементам x и у из V ставит в соответствие третий элемент из V , называемый суммой х и у и обозначаемый х + у ;
имеется правило, которое каждому элементу x и любому действительному числу ставит в соответствие элемент из V , называемый произведением элемента х на число и обозначаемый x .
При этом сумма любых двух элементов х + у и произведение x любого элемента на любое число должны удовлетворять следующим требованиям – аксиомам линейного пространства :
1°. х + у = у + х (коммутативность сложения).
2°. (х + у ) + z = х + (у + z ) (ассоциативность сложения).
3°. Существует элемент 0 , называемый нулевым , такой, что
х + 0 = х , x .
4°. Для любого x существует элемент (– х ), называемый противоположным для х , такой, что
х + (– х ) = 0 .
5°. (x ) = ()x , x , , R .
6°. x = x , x .
7°. ()x = x + x , x , , R .
8°. (х + у ) = x + y , x , y , R .
Элементы линейного пространства будем называть векторами независимо от их природы.
Из аксиом 1°–8° следует, что в любом линейном пространстве V справедливы следующие свойства:
1) существует единственный нулевой вектор;
2) для каждого вектора x существует единственный противоположный вектор (– х ) , причем (– х ) = (– l)х ;
3) для любого вектора х справедливо равенство 0×х = 0 .
Докажем, например, свойство 1). Допустим, что в пространстве V существуют два нуля: 0 1 и 0 2 . Положив в аксиоме 3° х = 0 1 , 0 = 0 2 , получим 0 1 + 0 2 = 0 1 . Аналогично, если х = 0 2 , 0 = 0 1 , то 0 2 + 0 1 = 0 2 . Учитывая аксиому 1°, получаем 0 1 = 0 2 .
Приведем примеры линейных пространств.
1. Множество действительных чисел образует линейное пространство R . Аксиомы 1°–8° в нем, очевидно, выполняются.
2. Множество свободных векторов трехмерного пространства, как показано в §2.1, также образует линейное пространство, обозначаемое R 3 . Нулем этого пространства служит нулевой вектор.
Множество векторов на плоскости и на прямой также являются линейными пространствами. Будем обозначать их R 1 и R 2 соответственно.
3. Обобщением пространств R 1 , R 2 и R 3 служит пространство R n , n N , называемое арифметическим n-мерным пространством , элементами (векторами) которого являются упорядоченные совокупности n произвольных действительных чисел (x 1 ,…, x n ), т. е.
R n = {(x 1 ,…, x n ) | x i R , i = 1,…, n }.
Удобно использовать обозначение x = (x 1 ,…, x n ), при этом x i называется i-й координатой (компонентой ) вектора x .
Для х , у R n и R определим сложение и умножение на число следующими формулами:
х + у = (x 1 + y 1 ,…, x n + y n );
x = (x 1 ,…, x n ).
Нулевым элементом пространства R n является вектор 0 = (0,…, 0). Равенство двух векторов х = (x 1 ,…, x n ) и у = (y 1 ,…, y n ) из R n , по определению, означает равенство соответствующих координат, т. е. х = у Û x 1 = y 1 &… & x n = y n .
Выполнение аксиом 1°–8° здесь очевидно.
4. Пусть C [ a ; b ] – множество вещественных непрерывных на отрезке [a ; b ] функций f : [a ; b ] R .
Суммой функций f и g из C [ a ; b ] называется функция h = f + g , определяемая равенством
h = f + g Û h (x ) = (f + g )(x ) = f (х ) + g (x ), " x Î [a ; b ].
Произведение функции f Î C [ a ; b ] на число a Î R определяется равенством
u = f Û u (х ) = (f )(х ) = f (x ), " x Î [a ; b ].
Так введенные операции сложения двух функций и умножения функции на число превращают множество C [ a ; b ] в линейное пространство, векторами которого являются функции. Аксиомы 1°–8° в этом пространстве, очевидно, выполняются. Нулевым вектором этого пространства является тождественно нулевая функция, а равенство двух функций f и g означает, по определению, следующее:
f = g f (x ) = g (x ), " x Î [a ; b ].
Лекция 6. Векторное пространство.
Основные вопросы.
1. Векторное линейное пространство.
2. Базис и размерность пространства.
3. Ориентация пространства.
4. Разложение вектора по базису.
5. Координаты вектора.
1. Векторное линейное пространство.
Множество, состоящее из элементов какой угодно природы, в которых определены линейные операции: сложение двух элементов и умножение элемента на число называются пространствами , а их элементы – векторами этого пространства и обозначаются так же, как и векторные величины в гео-метрии: . Векторы таких абстрактных пространств, как правило, ничего общего не имеют с обычными геометрическими векторами. Элемен-тами абстрактных пространств могут быть функции, система чисел, матрицы и т. д., а в частном случае и обычные векторы. Поэтому такие пространства принято называть векторными пространствами .
Векторными пространствами являются, например , множество колли-неарных векторов, обозначаемое V 1 , множество компланарных векторов V 2 , множество векторов обычного (реального пространства) V 3 .
Для этого частного случая можно дать следующее определение век-торного пространства.
Определение 1. Множество векторов называется векторным прост-ранством , если линейная комбинация любых векто-ров множества также является вектором этого мно-жества. Сами векторы называются элементами век-торного пространства.
Более важным как в теоретическом, так и в прикладном отношении яв-ляется общее (абстрактное) понятие векторного пространства.
Определение 2. Множество R элементов , в котором для лю-бых двух элементов и определена сум-ма и для любого элемента https://pandia.ru/text/80/142/images/image006_75.gif" width="68" height="20"> называется векторным (или линейным) про-странством , а его элементы – векторами, если опера-ции сложения векторов и умножение вектора на число удовлетворяют следующим условиям (аксиомам ) :
1) сложение коммутативно, т. е..gif" width="184" height="25">;
3) существует такой элемент (нулевой вектор), что для любого https://pandia.ru/text/80/142/images/image003_99.gif" width="45" height="20">.gif" width="99" height="27">;
5) для любых векторов и и любого чис-ла λ имеет место равенство ;
6) для любых векторов и любых чисел λ
и µ
справедливо равенство https://pandia.ru/text/80/142/images/image003_99.gif" width="45 height=20" height="20"> и любых чисел λ
и µ
справедли-во 
;
8) https://pandia.ru/text/80/142/images/image003_99.gif" width="45" height="20"> .
Из аксиом, определяющих векторное пространство, вытекают прос-тейшие следствия :
1. В векторном пространстве существует только один нуль – элемент – нулевой вектор.
2. В векторном пространстве каждый вектор имеет единственный проти-воположный вектор.
3. Для каждого элемента выполняется равенство .
4. Для любого действительного числа λ и нулевого вектора https://pandia.ru/text/80/142/images/image017_45.gif" width="68" height="25">.
5..gif" width="145" height="28">
6..gif" width="15" height="19 src=">.gif" width="71" height="24 src="> называется вектор , удовлетворяющий равенству https://pandia.ru/text/80/142/images/image026_26.gif" width="73" height="24">.
Итак, действительно, и множество всех геометрических векторов являет-ся линейным (векторным) пространством, так как для элементов этого мно-жества определены действия сложения и умножения на число, удовлетворя-ющие сформулированным аксиомам.
2. Базис и размерность пространства.
Существенными понятиями векторного пространства являются понятия базиса и размерность.
Определение. Совокупность линейно независимых векторов, взятых в определенном порядке, через которые линейно выражается любой вектор пространства, называется базисом этого пространства. Векторы. Составляющие базис пространства, называется базисным .
Базисом множества векторов, расположенных на произвольной прямой, можно считать один коллинеарный этой прямой вектор .
Базисом на плоскости назовем два неколлинеарных вектора на этой пло-скости, взятые в определенном порядке https://pandia.ru/text/80/142/images/image029_29.gif" width="61" height="24"> .
Если базисные векторы попарно перпендикулярны (ортогональны), то базис называется ортогональным , а если эти векторы имеют длину, равную единице, то базис называется ортонормированным .
Наибольшее число линейно независимых векторов пространства называ-ется размерностью этого пространства, т. е. размерность пространства сов-падает с числом базисных векторов этого пространства.
Итак, в соответствии с данными определениями:
1. Одномерным пространством V 1 является прямая линия, а базис состо-ит из одного коллинеарного вектора https://pandia.ru/text/80/142/images/image028_22.gif" width="39" height="23 src="> .
3. Обычное пространство является трехмерным пространством V 3 , базис которого состоит из трех некомпланарных векторов .
Отсюда мы видим, что число базисных векторов на прямой, на плос-кости, в реальном пространстве совпадает с тем, что в геометрии принято на-зывать числом измерений (размерностью) прямой, плоскости, пространства. Поэтому естественно ввести более общее определение.
Определение. Векторное пространство R называется n – мерным, если в нем существует не более n линейно неза-висимых векторов и обозначается R n . Число n на-зывается размерностью пространства.
В соответствии с размерностью пространства делятся на конечномерные и бесконечномерные . Размерность нулевого пространства по определению считается равной нулю.
Замечание 1. В каждом пространстве можно указать сколько угодно базисов, но при этом все базисы данного пространства состоят из одного и того же числа векторов.
Замечание 2. В n – мерном векторном пространстве базисом назы-вают любую упорядоченную совокупность n линейно независимых векторов.
3. Ориентация пространства.
Пусть базисные векторы в пространстве V 3 имеют общее начало и упорядочены , т. е. указано какой вектор считается первым, какой – вторым и какой – третьим. Например, в базисе век-торы упорядочены согласно индек-сации. |
|
Для того чтобы ориентировать пространство, необходимо задать какой-нибудь базис и объявить его положительным .
Можно показать, что множество всех базисов пространства распадается на два класса, т. е. на два непересекающихся подмножества.
а) все базисы, принадлежащие одному подмножеству (классу), имеют одинаковую ориентацию (одноименные базисы) ;
б) всякие два базиса, принадлежащие различным подмножествам (кла-ссами), имеют противоположную ориентацию, (разноименные базисы) .
Если один из двух классов базисов пространства объявлен положитель-ным, а другой – отрицательным, то говорят, что это пространство ориенти-ровано .
Часто при ориентации пространства одни базисы называют правыми , а другие – левыми .
https://pandia.ru/text/80/142/images/image029_29.gif" width="61" height="24 src="> называют правым , если при наблюдении с конца третьего вектора кратчайший поворот пер-вого вектора https://pandia.ru/text/80/142/images/image033_23.gif" width="16" height="23"> осуществляется против часовой стрелки (рис. 1.8, а).
https://pandia.ru/text/80/142/images/image036_22.gif" width="16" height="24">
https://pandia.ru/text/80/142/images/image037_23.gif" width="15" height="23">
https://pandia.ru/text/80/142/images/image039_23.gif" width="13" height="19">
https://pandia.ru/text/80/142/images/image033_23.gif" width="16" height="23">
Рис. 1.8. Правый базис (а) и левый базис (б)
Обычно положительным базисом объявляется правый базис пространства
Правый (левый) базис пространства может быть определен и с помощью правила «правого» («левого») винта или буравчика.
По аналогии с этим вводится понятие правой и левой тройки некомпла-нарных векторов , которые должны быть упорядочены (рис.1.8).
Таким образом, в общем случае две упорядоченные тройки некомпла-нарных векторов имеют одинаковую ориентацию (одноименны) в пространстве V 3 если они обе правые или обе левые, и – противоположную ориентацию (разноименны), если одна из них правая, а другая левая.
Аналогично поступают и в случае пространства V 2 (плоскости).
4. Разложение вектора по базису.
Этот вопрос для простоты рассуждений рассмотрим на примере трех-мерного векторного пространства R 3 .
Пусть https://pandia.ru/text/80/142/images/image021_36.gif" width="15" height="19"> - произвольный вектор этого пространства.
4.3.1 Определение линейного пространства
Пусть
ā
,
,
-
элементы некоторого множества ā
,
,
L
и λ
,
μ
-
действительные числа, λ
,
μ
R
..
Множество L называется линейным или векторным пространством, если определены две операции:
1 0 . Сложение. Каждой паре элементов этого множества поставлен в соответствие элемент того же множества, называемый их суммой
ā
+
=
2°.
Умножение
на число.
Любому действительному числу λ
и элементу ā
L
ставится в соответствие элемент того
же множества λ
ā
L
и выполняются следующие свойства:
1. ā+
=
+
ā;
2. ā+(
+
)=(ā+
)+
;
3. существуетнулевой
элемент
,
такой, что
ā
+
=ā
;
4. существуетпротивоположный
элемент
-
такой,
что ā
+(-ā
)=
.
Если λ , μ - действительные числа, то:
5. λ(μ , ā)= λ μ ā ;
6. 1ā= ā;
7.
λ(ā
+
)=
λ ā+λ
;
8. (λ+ μ ) ā=λ ā + μ ā
Элементы
линейного пространства ā,
,
...
называют векторами.
Упражнение. Покажите самостоятельно, что данные множества образуют линейные пространства:
1) Множество геометрических векторов на плоскости;
2) Множество геометрических векторов в трехмерном пространстве;
3) Множество многочленов некоторой степени;
4) Множество матриц одинаковой размерности.
4.3.2 Линейно зависимые и независимые векторы. Размерность и базис пространства
Линейной
комбинацией
векторов
ā
1
,
ā
2 ,
…, ā
n
L
называется вектор того же пространства
вида:
,
где λ i - действительные числа.
Векторы ā 1 , .. , ā n называются линейно независимыми, если их линейная комбинация будет нулевым вектором в том и только в том случае, когда все λ i равны нулю, то есть
λ
i
=0 
Если
же линейная комбинация будет нулевым
вектором и хотя бы один из λ
i
отличен от нуля, то эти векторы называются
линейно-зависимыми. Последнее означает,
что хотя бы один из векторов может быть
представлен как линейная комбинация
других векторов. Действительно, пусть
и, например,
.
тогда,
,
где
.
Максимально линейно-независимая упорядоченная система векторов называется базисом пространства L . Число векторов базиса называется размерностью пространства.
Допустим, что существует n линейно-независимых векторов, тогда пространство называют n -мерным. Другие векторы пространства могут быть представлены как линейная комбинация n векторов базиса. За базис n - мерного пространства можно взять любые n линейно-независимых векторов этого пространства.
Пример 17. Найти базис и размерность данных линейных пространств:
а) множества векторов, лежащих на прямой (коллинеарных некоторой прямой)
б) множество векторов, принадлежащих плоскости
в) множество векторов трёхмерного пространства
г) множество многочленов степени не выше второй.
Решение.
а)
Любые два вектора, лежащие на прямой
будут линейно-зависимыми, так как вектора
коллинеарные
,
то
,
λ
- скаляр. Следовательно, базисом данного
пространства является только один
(любой) вектор, отличный от нулевого.
Обычно это пространство обозначают R , размерность его равна 1.
б)
любые два неколлинеарные векторы
будут линейно-независимы, а любые три
вектора на плоскости - линейно-зависимы.
Для любого вектора
,
существуют числа
и
такие, что
.
Пространство называют двумерным,
обозначают R
2 .
Базис двумерного пространства образуют любые два неколлинеарных вектора.
в) Любые три некомпланарные векторы будут линейно независимые, они образуют базис трехмерного пространства R 3 .
г) В качестве базиса пространства многочленов степени не выше второй можно выбрать такие три вектора: ē 1 = x 2 ; ē 2 = x ; ē 3 =1 .
(1 - это многочлен, тождественно равный единице). Данное пространство будет трехмерным.