Лінійне відображення лінійного простору і його матриця, афінне відображення. Перетворення матриці відображення при заміні базису. Ортогональна матриця

Означення. Базисом в просторі називається довільна впорядкована кінцева система векторів, якщо: а) вона є лінійно незалежною; б) кожний вектор із є лінійною комбінацією векторів цієї системи.Впорядкована система координат – це, коли кожному вектору в даній системі відповідає певний номер. Із однієї і тієї ж системи векторів можна одержати різні базиси, нумеруючи по-різному вектори.

Коефіцієнти розкладу довільного вектора простору за векторами базису називаються компонентами або координатами

вектора в цьому базисі.

Вектори базису будемо записувати як матрицю-рядок: а координати вектора за базисом в матрицю-стовпчик: який назвемо координатним стовпчиком вектора.

Тоді ми можемо записати розклад вектора за базисом в такому вигляді

(4.10)

Теорема 1. В заданому базисі координати вектора визначаються однозначно.

Д о в е д е н н я. Допустимо протилежне. Нехай маємо дві рівності і з яких випливає В силу лінійної незалежності векторів всі коефіцієнти лінійної комбінації дорівнюють нулю, тобто при всіх

Вектори лінійно залежні тоді і тільки тоді, коли лінійно залежні їх координатні стовпчики.

Координатний стовпчик суми векторів дорівнює сумі їх координатних стовпчиків. Координатний стовпчик добутку вектора на число дорівнює добутку координатного стовпчика даного вектора на це число.

Для доведення досить виписати такі рівності:

Теорема 2. Якщо в лінійному просторі існує базис із векторів, то довільний інший базис в цьому просторі складається із того ж числа векторів.

Д о в е д е н н я. Нехай в лінійному просторі існує два базисі і причому Кожний з векторів базису розкладемо за векторами базису і складемо матрицю, стовпчиками якої будуть одержані координатні стовпчики. Кожний стовпчик має висоту а їх всього Тому матриця має розміри і ранг її не перевищує В силу теореми 2 п.4.1.3 стовпчики матриці лінійно залежні, а, значить, залежні і вектори Таким чином, наше припущення приводить до протиріччя. Теорема доведена.

Означення. Лінійний простір, в якому існує базис із векторів, називається вимірним, а число розмірністю простору. Розмірність простору будемо вказувати нижнім індексом, наприклад - вимірний лінійний простір.

В нульовому просторі немає базису, оскільки система, що складається із одного нульового вектора, є лінійно залежною. Розмірність нульового простору дорівнює нулю.

Може виявитися, що яке б не було натуральне в просторі знайдеться лінійно незалежних векторів. Такий простір називається нескінченновимірним. Базису в ньому не існує.

Якщо в вимірному просторі задані два базиси і , то ми можемо розкласти кожний вектор базису за векторами базису :

(4.11)

Координати можна записати у вигляді квадратної матриці