АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Базис і розмірність скінченно вимірного векторного простору. Ізоморфізм векторних просторів

Читайте также:
  1. II. Свойства векторного произведения
  2. III. Базисный минор.
  3. Алгебраические свойства векторного произведения
  4. Арифметичний n-вимірний векторний простір. Лінійна залежність і лін. незал. множини векторів. Ранг і базис скінченної множини векторів.
  5. Базис векторного пространства
  6. Базис векторного пространства. Координаты вектора
  7. Базис Юнга.
  8. Базис. Координаты вектора в базисе
  9. Базисная и цепная системы расчетов показателей динамики
  10. Базисная терапия гепатита А у детей. Специфическая профилактика.
  11. Базисные и специфические циклы

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

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

Неважко перевірити, що за базис простору W2 всіх геометричних векторів площини можна взяти будь-які два неколінеарні вектори. Будь-які три некомпланарні вектори утворюють базис простору W3. У векторному просторі С над полем R один з базисів утворюють числа 1, і. У n-вимірному арифметичному векторному просторі за базис можна взяти одиничні вектори , оскільки вони лінійно незалежні і породжують весь простір . Всі ці простори є скінченновимірними. Прикладами просторів, які не є скінченновимірними, служать дійсний простір R[x] всіх многочленів від однієї змінної з дійсними коефіцієнтами, дійсний простір всіх неперервних на відрізку [а,b] функцій однієї дійсної змінної, нескінченновимірний арифметичний векторний простір над полем Р, оскільки вони, як неважко перевірити, не породжуються жодною скінченною множиною своїх елементів.

Теорема 1.Будь-який скінченновимірний векторний простір має базис, причому будь-які два базиси простору складаються з одинакової кількості елементів.

Наслідок 1. Якщо базис векторного простору V складається з n елементів, то будь-яка скінченна система векторів простору V, що містить більше, ніж n елементів, є лінійно залежною.

Наслідок 2. Якщо базис векторного простору V складається з n елементів, то будь-яка система з n векторів, що породжує весь простів V, є базисом цього простору.

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

Означення. Розмірністю ненульового скінченновимірного векторного простору називається кількість векторів довільного базису цього простору. Розмірність нульового векторного простору V={0} вважається рівною нулю. Розмірність простору V позначається символом dimV.

Виходячи із побудованих раніше базисів у конкретних векторних просторах, отримаємо для їх розмірностей: dimW2=2, dim W3=3, dimVn=n, dimC=2, якщо розглядати поле С як векторний простір над полем R.



З теореми 1 і наслідків з неї безпосередньо отримуються такі властивості розмірності векторного простору:

Властивість 1.. Якщо dimV=n, то при будь-яка система, що складається з k векторів простору V, лінійно залежна..

Властивість 2. Якщо dimV=n і система векторів лінійно незалежна, то .

Властивість 3. Якщо dimV=n і система векторів породжує простір V, то ця система є базисом простору V.

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

(l) (f (a + b) = f (a) + f (b));

(2)

Простір V називається ізоморфним простору W, якщо існує ізоморфізм V на W.

Встановимо деякі властивості ізоморфізму векторних просторів.

Властивість 1. Якщо простір V ізоморфний простору W, то й, навпаки, простір W ізоморфний простору V, тобто відношення ізоморфізму векторних просторів є симетричним.

Властивість 2. Якщо простір U ізоморфний простору V, а простір V ізоморфний простору W, то простір U ізоморфний простору W, тобто відношення ізоморфізму векторних просторів є транзитивним.

Властивість 3. Якщо f: - ізоморфізм векторного простору V на простір W то f(0)=0.

Властивість 4. Якщо f: - ізоморфізм векторного простору V на простір W і - лінійно незалежна система векторів простору V, то f ( ),..,f (am) - лінійно незалежна система векторів простору W.

Властивість 5.Якщо f: - ізоморфізм векторного простору V на простір W і - базис векторного простору V, то f ( ),...,f ( ) - базис простору W.

Наслідок. Якщо скінченновимірні векторні простори V і W ізоморфні, то вони мають однакові розмірності.

Теорема. Будь-який ненульовий векторний простір розмірності n над полем Р ізоморфний n-вимірному арифметичному векторному простору Vn над полем Р.

‡агрузка...

Теорема . Два скінченновимірні векторні простори V і W ізоморфні тоді і тільки тоді, коли вони мають однакові розмірності.

 


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 |


При использовании материала, поставите ссылку на Студалл.Орг (0.006 сек.)