ілсмеити лінійної алгебри
23
х, + а
г
х
2
+... + а
к
х
к
= 0.
(1.8)
Якщо елементи х,, х
2
,..., х
к
не є лінійно залежними, тоді їх називають лінійно
незалежними.
Розглянемо елементи х
и
х
2
,..., х
к
, щоє лінійно залежними і нехай, наприклад,
а
к
Ф
0. Тоді із виразу (1.8) одержимо, що
Якщо має місце рівність (1.9), то кажуть, що елемент х
к
є лінійною комбінацією
елементів х,, х
2
, ... ,х
кЛ
, або, що елементх
к
лінійно виражається через х,, х
2
, ... ,х
к ]
.
Таким чином, якщо елементи х, х,, ... ,х
к
є лінійно залежними, то це означає, що
хоча б один із них лінійно виражається через решту із них. Зрозуміло, що буде
справедливим і зворотнє твердження.
Наприклад, лінійно незалежними на площині будуть будь-які два неколінеарні
вектори, в просторі (трьохвимірному) лінійно незалежними будуть будь-які три
пекомпланарні вектори. Однак, будь-які чотири просторові вектори вже буду ть
лінійно залежними.
Лінійний (векторний) простір L
n
називається и-вимірним, якщо в ньому можна
знайти п лінійно незалежних елементів (векторів), а більше ніж п векторів вже
будуть лінійно залежними. Тобто, розмірність простору - це максимальна
кількість лінійно незалежних векторів цього простору.
Наприклад, розмірність множини всіх плоских векторів дорівнює 2, а множини
просторових векторів - 3.
Простори, які мають скінченну розмірність, називаються скінченновимірними.
Якщо ж у просторі можна знайти довільну кількість лінійно незалежних векторів,
то такий простір називається нескінченновимірним.
Прикладом нескінченновимірних просторів може бути простір С
[аЬ]
.
Сукупність п лінійно незалежних векторів «-вимірного простору L називається
його базою.
Наприклад, базою на площині можуть бути будь-які два неколінеарні вектори,
в просторі - будь-які три некомпланарні вектори.
Теорема. Кожний вектор х лінійного п-вимірного простору L можна
подати (зобразити) єдиним способом у вигляді лінійної комбінації векторів бази.
Доведення. Нехай х є L
n
і e
v
е
2
,...,
е
п
- довільна база n-вимірного простору L
n
.
Оскільки кожні
п
+1 векторів «-вимірного простору L
n
є лінійно залежними, зокрема
(1.9)
або х
к
= /3,х, + /3
2
х
2
+ ... + fi
kA
x
kA
, де /3 .=