Підпростори векторного простору

Означення. Непорожня підмножина векторного простору називається підпростором простору, якщо воно є векторним простором відносно операцій, визначених в.

Це означає, що множина задовольняє аксіомам векторного простору, якщо додавати його елементи і множити їх на числа з поля (над яким заданий векторний простір) так, як це визначено для елементів простору.

Теорема (критерій підпростору). Непорожня підмножина векторного простору є підпростором простору оді і тільки тоді, коли виконується наступні умови:

1) Якщо, то;

2) Якщо, то.

Кожний підпростір будь-якого векторного простору саме по собі є векторним простором. тому всі поняття, які були введені для просторів (розмірність, базис та ін.) розповсюджуються і на підпростори.

Теорема (про розмірність підпростору). Розмірність будь-якого підпростору векторного простору не більше розмірності простору.

Приклади підпросторів.

1) Множина, яка містить тільки нульовий елемент є підпростором будь-якого векторного простору. Його називають нульовим підпростором. В нульовому підпросторі нема лінійно незалежних систем векторів. Його базис – порожня множина. Його розмірність вважають нульовою.

2) Будь-який векторний простір є своїм підпростором.

Нульовий підпростір і сам простір звичайно називають невласними підпросторами.

3) В арифметичному числовому векторному просторі множина,, векторів вигляду є підпростором.

4) Векторний простір многочленів з коефіцієнтами з поля є підпростором векторного простору функцій, неперервних на відрізку, якщо многочлени вважати заданими на відрізку.

5) У векторному просторі геометричних векторів підпросторами будуть вусі площини і всі прямі, що проходять через початок координат.

6) Лінійні оболонки є цікавим прикладом підпростору. Нехай – довільна система векторів простору. Множина всіх векторів, які є лінійними комбінаціями векторів системиє підпростором простору, який позначається і називається лінійною оболонкою векторів, або підпростором, натягнутим на вектори.

Дата добавления: 2013-12-14