logo
Matematika

Вывод 3.

Между элементами геометрической модели векторного пространства и элементами арифметической модели векторного пространства существует взаимнооднозначное соответствие (1), обозначим его

, . (2)

Это соответствие сохраняет результат линейных операций сложения векторов и умножения на число:

(3)

и называется изоморфизмом арифметической и геометрической моделей векторного пространства.

      1. Абстрактное векторное пространство.

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

Рассмотрим примеры моделей, удовлетворяющих этим аксиомам.

Пример 1.

Множество многочленов степени не выше

образует векторное пространство, в котором мономы – базисные элементы, а коэффициенты многочлена– координаты векторав этом базисе.

Пример 2.

Пусть ,,…,- «-местные наборы»,имеет 1 на-м месте и нули на остальных местах,. Тогда объекты

образуют векторное пространство с базисными элементами . Обозначим это пространство.

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

9. Аксиома размерности. Существует изоморфизм .

Определение абстрактного векторного пространства.

Пусть для элементов множествавыполняется 8 аксиом векторного пространства и аксиома размерности. Тогдаесть-мерное абстрактное векторное пространство, аявляется его арифметической моделью.

Элементы множества могут быть произвольной природы. Например:

Следствие.

Все -мерные векторные пространства имеют одну и ту же арифметическую модель, поэтому изоморфны.

Множество многочленов степени не выше в примере 1 образуют-мерное пространство. Изоморфизм, устанавливающий размерность, задается в этом случае так

, .

Здесь – мономы, а– базисные орты в.

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