3.1: Простір стовпців
Почнемо з простої геометричної інтерпретації матрично-векторного множення. А саме множення вектора nx на -1 матрицю m-by-nA дає лінійну комбінацію стовпців А. точніше, якщоaj позначає j-й стовпець A, то
Ax=(a1a2⋯an)(x1x2⋯xn)
=x1a1+x2a2+⋯+xnan
Картина, яку я хочу розмістити в очах вашого розуму, полягає в тому, що AxAx лежить у підпросторі, охопленому стовпцямиA. Цей підпростір зустрічається настільки часто, що ми вважаємо корисним розрізняти його за допомогою визначення.
Простір стовпців
Простір стовпців матриці m-by-nS - це просто проміжок її стовпців, тобтоRa(S)≡{Sx|x∈Rn} підпростірRm розшифровується як діапазон у цьому контексті.У цьому контексті позначенняRa позначає діапазон.
Приклад
Розберемо матрицю:
A=(0100−10100001)
Простір стовпців цієї матриці:
Ra(A)={x1(0−10)+x2(100)+x3(010)+x4(001)|x∈R4}
Оскільки третій стовпець просто кратний першому, ми можемо написати:
Ra(A)={x1(010)+x2(100)+x3(001)|x∈R3}
Оскільки три стовпці, що залишилися, лінійно незалежні, ми не можемо йти далі. У цьому випадкуRa(A) включає в себе всіR3
Методика пошуку основи
Для визначення основи дляRa(A) (деA довільна матриця) ми повинні знайти спосіб відкинути залежні від неї стовпці. У наведеному вище прикладі було легко побачити, що стовпці 1 і 3 були колінеарними. Ми шукаємо, звичайно, більш систематичний засіб розкриття цих, а можливо, інших менш очевидних залежностей. Такі залежності легше розрізнити з рядка зменшеної форми. При скороченні вищевказаної проблеми ми дуже легко підходимо до матриці
Ared=(−101001000001)
Після того, як ми це зробили, ми можемо визнати, що поворотний стовпець є лінійно незалежними стовпцямиAred. Зараз запитує, як це може допомогти нам розрізнити незалежні стовпці A. for, хоча рядкиAred є лінійними комбінаціями рядківA зверніть увагу на індекси зведені стовпці. У нашому прикладі стовпці{1,2,4} є поворотними стовпчикамиAred і, отже, першого, другого і четвертого стовпцівA тобто,
{(0−10),(100),(001)}
складають основу дляRa(A):
ПрипустимоA, це m-by-n. Якщо стовпці{cj|j=1,⋯,r} є шарнірними колонами,Ared то{cj|j=1,⋯,r} стовпціA складають основу дляRa(A)