Параграф 1. Базис ЛВП. Понятие ЛВП.

Глава 4

Элементы линейной алгебры и многомерной геометрии

Параграф 1. Базис ЛВП. Понятие ЛВП.

Пусть к – произвольное числовое поле.

Е – непустое множество n-мерных упорядоченных наборов (векторов).

Это так же означает, что n-мерные вектора из множества Е можно умножать на элемент из поля К. А так же рассматривать всевозможные линейные комбинации из поля К.

Первое определение линейного пространства:

V(k) – непустое множество называется линейным векторным пространством если для n – мерных векторов множества V выполнены аксиомы ЛВП:

1) Свойство замкнутости ЛВП относительно сложения векторов и умножения вектора на число из К

2) Существование нулевого элемента

3) Существование противоположного элемента:

Для любого ненулевого вектора существует противоположный вектор

4) Закон сложения и умножения векторов на число

a. Коммутативности:

b. Ассоциативности:

c. Дистрибутивности:

5) Дополнительные законы

a. Закон дистрибутивности относительно сложения скаляров:

b. Ассоциативности:

c.

Операции сложения и умножения на скалярах называются внутренними законами композиции.

Второе определение ЛВП:

Непустое множество V вместе с определениями сложения и умножения на число называется ЛВП, если выполнено условие.

1) Является абелевой (коммутативной) группой

2) Множество V относительно умножения на число образует моноид (выполнен закон дистрибутивности относительно сложения скаляров)

Пусть произвольная совокупность векторов из ЛВП.

Система Е называется системой порождающих если любой вектор из ЛВП V представим в виде линейной комбинации векторов из системы Е

Базисом ЛВП называется множество всех его линейных независимых векторов или множество состоящее из максимального количества всех линейно независимых векторов ЛВП.

Лемма о порождающих:

Всякое линейное векторное пространство содержит систему порождающих.

Доказательство (набросок):

Пользуясь определением системы порождающих и тем фактом что ЛВП по определению непустое, будем строить требуемую систему: Произвольным образом выберем ненулевой вектор. С помощью чего рассмотрим нетривиальные линейные комбинации с этим вектором, в результате чего получим некоторое множество векторов порожденных этим вектором.

Конечно же, ЛВП этим множеством не ограничивается. Добавим к исходному порождающему вектору другой, который линейно не выражается через данный вектор.

Используя полученную систему из 2-х векторов рассмотрим все возможные их нетривиальные линейные комбинации и в результате получим некоторое множество векторов, порожденных векторами исходной системы. Продолжая выше описанный процесс, в итоге получаем некоторую систему векторов, которая окажется системой порождающих.

Примечание к Лемме о порождающих:

Если из системы порождающих исключить какой – либо вектор являющийся нетривиальной линейной комбинацией других векторов этой системы, то оставшиеся система так же будет системой порождающих.

Лемма о базисе:

Всякая система порождающих содержит базис.

Доказательство:

Пользуясь наброском доказательство леммы(о порождающих) и используя вторую лемму о них, можно построить систему векторов, которая будет содержать все линейно независимые вектора ЛВП.

Примечание к лемме о базисе:

Может оказаться что в системе порождающих подмножество всех линейно независимых векторов исходной системы может и не быть базисом. Если это имеет место, то эту систему дополняем другими линейно независимыми векторами ЛВП до базиса.

Если попалась такая система порождающих, то она является системой порождающих линейного подпространства исходного ЛВП.

Размерностью линейного векторного пространства называется количество векторов в базисе этого пространства.

Теорема о базисах:

Линейное векторное пространство содержит бесконечное(множество) количество базисов.

Конечно-мерное ЛВП – это множество полиномов одной переменной.

Пусть дана система векторов

Линейной оболочкой натянутой на систему векторов ЛВП L называется множество всевозможных линейных комбинаций векторов этой системы:

Теорема о линейных оболочках:

Линейная оболочка, натянутая на произвольную конечную систему векторов образует подпространство исходного ЛВП.

Следствие:

Линейная оболочка совпадает с исходным ЛВП в том случае когда система является базисом ЛВП (натянута на базис)

Даны две системы векторов:

Данные две системы называются эквивалентными, если вектора одной системы линейно выражаются через вектора другой и наоборот.

Предложение о линейной независимости эквивалентных систем векторов:

Если каждая из систем является линейно независимой то они состоят из одинакового количества векторов

Примечание(к предложению):

Пусть одна из систем является линейно независимой. Тогда количество векторов другой системы не меньше количества векторов в первой системе.

Пусть дано отображающее ЛВП V в ЛВП W.

Отображение f называется гомоморфизмом, если выполнены следующие условия:

1) Образ суммы векторов равен сумме образов этих векторов

2) Образ произведения вектора на скаляр равен произведению образа вектора на этот же скаляр

3) Образ произвольной линейной комбинации из ЛВП V равен линейной комбинации образов этих векторов с теми же скалярами (эквивалентное условие)

Гомоморфизмами f называется изоморфным, если он является взаимно однозначным соответствием.

Если между двумя ЛВП можно установить взаимно однозначное соответствие (изоморфизм), то данные ЛВП называются изоморфными.

Отношение изоморфизма между ЛВП обладают следующими свойствами.

1) Рефлексивность

2) Транзитивность

3) Симметричность

Отношение обладающие указанными свойствами называется отношением эквивалентности

Теорема об изоморфных ЛВП:

Любые два изоморфных ЛВП имеют одинаковую размерность.

Не нашли, что искали? Воспользуйтесь поиском: