Властивості розв’язків лінійних однорідних систем
Властивість 1. Якщо вектор є розв’язком лінійної однорідної системи, то і , де - стала скалярна величина, також є розв’язком цієї системи.
Дійсно, за умовою
оскільки дорівнює нулю вираз в дужках. Тобто є розв’язком однорідної системи.
Властивість 2. Якщо дві векторні функції , є розв’язками однорідної системи, то і їхня сума також буде розв’язком однорідної системи.
Дійсно, за умовою
тому що дорівнюють нулю вираз в дужках, тобто є розв’язком однорідної системи.
Властивість 3. Якщо вектори є розв’язками однорідної системи, та і їхня лінійна комбінація з довільними коефіцієнтами також буде розв’язком однорідної системи.
Дійсно, за умовою
тому що дорівнює нулю кожний з доданків, тобто є розв’язком однорідної системи.
Властивість 4. Якщо комплексний вектор з дійсними елементами є розв’язком однорідної системи, то окремо дійсна та уявна частини є розв’язками системи.
Дійсно за умовою
Розкривши дужки і зробивши перетворення, одержимо
А комплексний вираз дорівнює нулю тоді і тільки тоді, коли дорівнюють нулю дійсна і уявна частини, тобто
що і було потрібно довести.
Визначення 1. Вектори називаються лінійно залежними на відрізку, якщо існують не всі рівні нулю сталі, такі, що при.
Якщо тотожність справедлива лише при , то вектори лінійно незалежні.
Визначення 2. Визначник, що складається з векторів
називається визначником Вронського.
Теорема 1. Якщо векторні функції лінійно залежні, то визначник Вронського тотожно дорівнює нулю.
Доведення. За умовою існують не всі рівні нулю , такі, що при .
Або, розписавши покоординатно, одержимо
А однорідна система має ненульовий розв’язок тоді і тільки тоді, коли визначник дорівнює нулю, тобто
Теорема 2. Якщо розв’язки - лінійної однорідної системи лінійно незалежні, то визначник Вронського не дорівнює нулю в жодній точці.
Доведення. Нехай, від супротивного, існує точка і.