Критерии линейной зависимости и независимости систем векторов

Суббота, 31 октября 2009 г.
Рубрика: Векторные пространства
Просмотров: 41443

Следующие теоремы дают несколько критериев линейной зависимости и соответственно линейной независимости систем векторов.

Теорема. (Необходимое и достаточное условие линейной зависимости системы векторов.)

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

Доказательство. Необходимость. Пусть система  линейно зависимая. Тогда, по определению, она представляет нулевой вектор нетривиально, т.е. существует нетривиальная линейная комбинация данной системы векторов равная нулевому вектору:

,

где хотя бы один из коэффициентов этой линейной комбинации не равен нулю. Пусть , .

Разделим обе части предыдущего равенства на этот ненулевой коэффициент (т.е. умножим на :

.

Обозначим: , где .

Тогда

или         ,

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

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

.

Перенесем вектор  в правую часть этого равенства:

.

Так как коэффициент при векторе  равен , то мы имеем нетривиальное представление нуля системой векторов , что означает, что эта система векторов является линейно зависимой, ч.т.д.

Теорема доказана.

Следствие.

1. Система векторов векторного пространства является линейно независимой тогда и только тогда, когда ни один из векторов системы линейно не выражается через другие вектора этой системы.

2. Система векторов, содержащая нулевой вектор или два равных вектора, является линейно зависимой.

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

1) Необходимость. Пусть система линейно независимая. Допустим противное и существует вектор системы линейно выражающийся через другие вектора этой системы. Тогда по теореме система является линейно зависимой и мы приходим к противоречию.

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

2а) Пусть система содержит нулевой вектор. Допустим для определенности, что вектор  :. Тогда очевидно равенство

,

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

Заметим, что этот факт можно доказать непосредственно из определения линейно зависимой системы векторов.

Так как , то следующее равенство очевидно

.

Это нетривиальное представление нулевого вектора, а значит система  является линейно зависимой.

2б) Пусть система имеет два равных вектора. Пусть для определенности . Тогда очевидно равенство

, т.е. первый вектор линейно выражается через остальные векторы этой же системы. Из теоремы следует, что данная система линейно зависимая, ч.т.д.

Аналогично предыдущему это утверждение можно доказать и непосредственно определения линейно зависимой системы.

Действительно, так как , то верно равенство

,

т.е. мы имеем нетривиальное представление нулевого вектора.

Следствие доказано.

Теорема (О линейной зависимости системы из одного вектора.

Система, состоящая из одного вектора является линейно зависимой тогда и только тогда, когда этот вектор нулевой.

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

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

,

где  и . Из простейших свойств векторного пространства следует, что тогда .

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

,

откуда следует линейная зависимость системы .

Теорема доказана.

Следствие. Система, состоящая из одного вектора является линейно независимой тогда и только тогда, когда этот вектор ненулевой.

twitter.com facebook.com vkontakte.ru odnoklassniki.ru mail.ru ya.ru rutvit.ru myspace.com technorati.com digg.com friendfeed.com pikabu.ru blogger.com liveinternet.ru livejournal.ru memori.ru google.com bobrdobr.ru mister-wong.ru yahoo.com yandex.ru del.icio.us