3.2: Нульовий пробіл
Нульовий простірn матриціm -by-A це сукупність тих векторівRn, якіA відображаються нульовому вектору вRm. Точніше,
N(A)={x∈Rn|Ax=0}
Приклад нульового простору
Як приклад розглянемо матрицюA
A=(0100−10100001)
Досить легко помітити, що нульовий простір цієї матриці:
N(A)={t(1010)|t∈R}
Це рядок вR4
Нульовий простір відповідає на питання про унікальність розв'язківSx=f. Бо, якщоSx=f іSy=f тоS(x−y)=Sx−Sy=f−f=0 і так(x−y)∈N(S). Отже, рішенняSx=f буде унікальним, якщо, і тільки якщо,NS={0}
Методика знаходження основи
Давайте тепер виставимо основу для нульового простору довільної матриці А. Зауважимо, що розв'язатиAx=0 - це розв'язатиAredx=0. Щодо останнього, ми припускаємо, що
{cj|j={1,⋯,r}}
є індекси поворотних колон і що
{cj|j={r+1,⋯,n}}
є індекси неповоротних стовпців. Відповідно визначаємо змінні r pivot
{xcj|j={1,⋯,r}}
іn−r вільні змінні
{xcj|j={r+1,⋯,n}}
Один вирішуєAredx=0 шляхом вираження кожної з змінних зведеного в терміні непівотних, або вільних, змінних. У наведеному вище прикладіx1,x2, іx4 є pivot whilex3 є вільним. Розв'язуючи для стрижня з точки зору вільного, знаходимоx4=0,x3=x1,x2=0, або, написаний у вигляді вектора,
x=x3(1010)
x3де безкоштовно. Якx3 діапазони над усіма дійсними числами х вище простежує рядок вR4. Цей рядок є саме нульовим просторомA. Абстрактуючи ці розрахунки, ми приходимо до:
Припустимо, щоA це m-by-n з поворотними індексами{cj|j={1,⋯,r}} та вільними індексами{cj|j={r+1,⋯,n}}. Базисом дляN(A) можуть бути побудованіn−r векториzk,{z1,z2,⋯,zn−r} де, і тількиzk має ненульове значення у своїйcr+k складовій.
Спостереження MATLAB
Як завжди, MATLAB має спосіб зробити наше життя простішим. Якщо ви визначили матрицю A і хочете знайти основу для її нульового простору, просто викликайте функцію null (A)
. Одна невелика примітка про цю функцію: якщо додати додатковий прапор, 'r'
, як у null (A, 'r')
, то основа відображається «раціонально» на відміну від чисто математично. Сторінки довідки MATLAB визначають різницю між двома режимами як раціональний режим, корисний педагогічно, та математичним режимом більшої цінності (gasp!) математично.
Заключні думки про нульові простори
Існує набагато більше, щоб знайти нульові пробіли; достатньо, насправді, щоб гарантувати інший модуль. Одним з важливих аспектів і використання нульових просторів є їх здатність інформувати нас про унікальність розв'язків. Якщо ми використовуємо простір стовпців, щоб визначити існування рішенняx рівнянняAx=b. Як тільки ми знаємо, що рішення існує, це цілком розумне питання, щоб хотіти знати, чи є це рішення єдиним рішенням цієї проблеми. Жорстке і швидке правило полягає в тому, що рішенняx є унікальним тоді і лише тоді, колиA порожній простір порожній. Один із способів подумати про це - вважати, що якщоAx=0 не має унікального рішення, то, за лінійністю, ніAx=b. І навпаки, якщо(Az=0)∧(z≠0)∧(Ay=b) тодіA(z+y)=b так само.