Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Линейная зависимость и определители




Пусть дана прямоугольная матрица вида:

. Если матрица А имеет не только нулевые элементы, то наивысший порядок отличных от нуля миноров матрицы А называется рангом матрицы ().

Каждый минор порядка r, отличный от нуля называется базисным минором, а строки и столбцы, захваченные базисным минором, называются базисными.

 

Теорема: Все базисные строки образуют базу векторов строк матрицы А.

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

1) Линейная независимость.

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

2) Докажем теперь, что любая строка определителя линейно выражается через базисные строки.

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

Предположим, что в матрице А нашлась строка, не принадлежащая к базисным, и не выражающаяся линейно через них. Пусть эта строка имеет номер, тогда в арифметическом пространстве n-мерных векторов нашлись векторы, образующие линейно независимую систему. По теореме о расширении до базиса их можно дописать векторами до базиса всего пространства. Из этих базисных векторов построим матрицу B и вычислим ее определитель. Так как все строки, входящие в det B, являются базисными det B отличен от нуля, но с другой стороны, по теореме Лапласа, этот определитель равен сумме произведений всевозможных миноров порядка, расположенных в строках на их алгебраические дополнения. Но эти строки являются строками матрицы А и, так как ранг матрицы А равен r, все миноры, расположенные на этих r+1 строках, равны 0, а тогда и сам det B равен 0. Полученное противоречие показывает, что любая строка матрицы А представляется в виде линейной комбинации базисных строк. Так как определитель матрицы А совпадает с определителем, теорема справедлива и для системы векторов столбцов, откуда следует, что ранг системы векторов столбцов матрицы А равен рангу системы векторов строк.

Пусть Е – евклидово пространство, – система векторов этого пространства. Рассмотрим. Этот определитель называется определителем Грама

Теорема: Система векторов евклидова пространства Е линейно зависима тогда и только тогда, когда соответствующий ей определитель Грама равен 0.

Доказательство: Пусть система (1) – линейно зависима, тогда найдутся такие действительные числа, не все равные 0, такие, что:

.

Умножим обе части равенства (2) скалярно на:

(3)

Систему (3) можно переписать в виде:

(4)

откуда следует, что система векторов столбцов определителя Грама линейно зависима, следовательно, он равен 0.

Пусть теперь определитель Грама равен 0. Тогда система векторов столбцов линейно зависима, т.е. найдется последовательность чисел, не всех равных 0, такая, что выполнено условие (4), а тогда справедливо и условие (3).

Систему равенств (3) можно переписать в виде:

(5)

Умножая первое равенство системы (5) на, второе на,..., последнее на, получим:

, следовательно

, т.е. система векторов (1) линейно зависима.

 

Библиография:

1. Воеводин В.В. Линейная алгебра. СПБ.: Лань, 2008, 416 с.

2. Беклемишев Д. В. Курс аналитической геометрии и линейной алгебры. М.: Физматлит, 2006, 304 с.

3. Кострикин А.И. Введение в алгебру. часть II. Основы алгебры: учебник для вузов, -М.: Физико-математическая литература, 2000, 368 с.

 

Лекция №9 (2 семестр)

 

Тема: Теорема Кронекера- Капелли. Теорема об общем решении приведённой однородной системы. Общее решение неоднородной системы. Нормальное решение.

Содержание:




Поделиться с друзьями:


Дата добавления: 2014-01-05; Просмотров: 1132; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.012 сек.