Размерность векторного пространства.

Date: 2015-10-07; view: 693.

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

Теорема1.

Всякое конечномерное векторное пространство V обладает базисом. Более точно, из всякого конечного порождающего множества S пространства V можно выбрать базис пространства V.

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

Теорема 2.Все базисы конечномерного векторного про­странства V содержат одно и тоже число векторов.

Это число называется размерностью пространства V и обозначается dim V.

Доказательство. Если бы в пространстве V существовали два базиса из разного числа векторов, то, согласно предложению 1, тот из них, в котором больше векторов, был бы линейно зависим, что противоречит определению базиса. □

ЗАМЕЧАНИЕ 4. Нулевое векторное пространство (состоящее из одного нулевого вектора) считается обладающим «пустым базисом»; в соответствии с этим его размерность считается равной нулю.

ПРИМЕР 4. Пространство Е² (соответственно Е³) имеет раз­мерность 2 (соответственно 3).

пример 8. Поле R как векторное пространство над q бесконечномерно. В самом деле, если бы оно было конечномерным, то вещественное число определялось бы конечным набором рациональных чисел — своих координат в некотором базисе этого пространства. Но тогда множество всех вещественных чисел было бы счетным, что неверно.

Из основной леммы о линейной зависимости (предложение 1) следует, что в любом (конечном или бесконечном) множестве S векторов конечномерного векторного пространства V имеется максимальное линейно независимое подмножество, т. е. такое ли­нейно независимое подмножество, которое становится линейно зависимым при добавлении к нему любого из оставшихся векторов множества S. Более того, любое линейно независимое подмноже­ство множества S можно дополнить до максимального линейно независимого подмножества.

8.Теорема о построении базиса.

Предложение 2. Всякое максимальное линейно независимое подмножество {е_1;..., е_к} множества S является базисом линейной оболочки <S> этого множества.

Доказательство. Нужно доказать, что каждый вектор из <S> линейно выражается через е₁ ..., е_к. По определению линей­ной оболочки каждый вектор из <S> линейно выражается через векторы из S. Поэтому достаточно доказать, что каждый вектор а из S линейно выражается через е₁ .. .,е_к. Для вектора а из {е1,..., е_к} это очевидно. Если а не принадлежит {е1,..., е_к}, то а выражается через векторы е₁ .. .,е_к по леммы 2. □

Применяя высказанные соображения к S = V, мы получаем следующую теорему.

Теорема 3. Всякую линейно независимую систему векторов конечномерного векторного пространства V можно дополнить до базиса.

Доказательство. Нужно взять в предлю2 S=V и заменить, что <V>=V. □

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

9.Изоморфные векторные пространства. Теорема о конечномерных векторных пространствах над полем.

Теорема 4. Всякое подпространство U конечномерного векторного пространства V также конечномерно, причем dim U ≤ dim V. Более того, если U ≠V, то dim U < dim V.

Доказательство. Пусть {е_{, е₂,..., е_к}— максимальная линейно независимая система векторов подпространства U. Со­гласно предложению 2, {е,, е₂,..., е_к} — базис этого подпростран­ства. Следовательно, dimU = k. Линейно независимую систему {е1, е₂,..., е_к} можно дополнить до базиса всего пространства V. Следовательно, если U ф= V, то dim V > к. □ Опр.8. Векторные пространства V и U над полем K наз. изоморфными, если сущ. такое биективное отображение f:V→U, что 1) f(a+b)=f(a)+f(b) для ∀ a,b, из V. 2) f(sa)=sf(a) для ∀ S из K, a из V.

Само отображение f наз. изоморфизмом пространства V и U.

Предложение 3. Всякое векторное пространство V над полем К, имеющее базис из n вектора, изоморфно пространству . Доказательство. Пусть {е,,..., е_п}- базис пространства V. Рассмотрим отображение f:V→ , ставящее в соответствие каждому вектору строку из его координат в базис {е,,..., е_п}. Этом отображение явл. биективным. δЄV; δЄδ1e1+ δ2e2+…+ δnen. f (δ)=( δ1,δ2,…, δn). Если a=a1e1+…+anen; b=b1e1+…bnen, то a+b=(a1+b1)e1+…+(an+bn)en, sa=(sa1)e1+…+(san)en. Отсюда следует, что f – изоморфизм. □

f(a+b)=(a1+b1,+…+,an+b)=(a1,…,an)+(b1,…,bn)=f(a)+f(b). Пример 8. Пространство изоморфно пространству . Пространство изоморфно пространству . Теорема 5. Конечномерные векторные пространства над одним и тем же полем изоморфны тогда и только тогда, когда они имеют одинаковую размерность.

Доказательство. Если f : V —> U — изоморфизм век­торных пространств и {е_1, ..., е_п} — базис пространства V, то {f(е1),..., f(еn)} — базис пространства U, так что dim V = dim U. Обратно, согласно предложению 3, всякое n-мерное векторное пространство над полем К изоморфно К^п; следовательно, все такие пространства изоморфны между собой. □

Таким образом, в любом рассуждении мы вправе заменить произ­вольное n-мерное векторное пространство над полем К простран­ством строк К^п. В пространстве К^п имеется «привилегированный» базис, состоящий из единичных строк. Совокупность всех базисов n-мерного векторного пространст­ва V может быть описана следующим образом. Пусть {е,,..., е_п} — какой-либо фиксированный базис. Любая система п векторов { е'₁,..., е'_п} может быть тогда задана квадратной матрицей С = (с_у), определяемой равенствами .