Базис і розмірність векторного простору
Лінійна залежність системи векторів визначається так само, як лінійна залежність системи рядків матриці, які є числовими векторами.
Означення. Лінійною комбінацією векторів векторного простору називається вектор вигляду
. (1)
де – деякі дійсні числа (коефіцієнти лінійної комбінації).
Означення . Система векторів векторного простору називається лінійно залежною, якщо існують числа , які не всі водночас дорівнюють нулю (), такі що
(2)
Система векторів називається лінійно незалежною, якщо остання рівність виконується тільки в одному випадку, коли
Теорема. (про лінійну залежність векторів)
Вектори лінійно залежні тоді і тільки тоді, коли один з векторів цієї системи є лінійною комбінацією інших.
Означення. Впорядкована система векторів називається базисом векторного простору , якщо
1) вона лінійно незалежна;
2) кожен вектор простору лінійно виражається через вектори цієї системи, тобто .
Означення. Векторний простір називається - вимірним, якщо в ньому існує базис з елементів. Число називається розмірністю простору і позначається . Простір скінченної розмірності називається скінченновимірним. Простір, в якому можна знайти будь-яке число лінійно незалежних векторів називається нескінченновимірним. (Лінійна алгебра вивчає тільки скінченновимірні простори.)
Теорема (про зв'язок між базисом і розмірністю). Система векторів утворює в просторі розмірності базис тоді і тільки тоді, коли вона лінійно незалежна, а число векторів в ній дорівнює розмірності простору .
Координати вектора у векторному просторі.
Розкладання вектора за базисом.
Нехай – деякий базис векторного простору . Тоді будь-який вектор можна подати у вигляді (1)
де – деякі дійсні числа, причому єдиним чином. В цьому випадку вираз (1) називається розкладом вектора за базисом .
Означення. Коефіцієнти розкладу (1) називаються координатами вектора в даному базисі. Упорядкований набір координат вектора називається його координатним рядком і позначається :
.
Приклад. Довести, що вектори утворюють базис у просторі та знайти координати вектора в цьому базисі.
, , ,
Розв’язання. 1) Перевіримо необхідну і достатню умову компланарності векторів :
.
Оскільки , то вектори некомпланарні, тому вони лінійно незалежні і утворюють базис.
2) Розкладемо вектор за базисом :
або в координатному вигляді:
.
Вектори рівні, коли їх відповідні координати рівні. Тому одержимо систему:
Розв’язуючи цю систему будь-яким способом, знайдемо
,,.
3) Отже, .
.
Відповідь: