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

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

Читайте также:
  1. B) Отрицательное число.
  2. I. Случайные величины с дискретным законом распределения (т.е. у случайных величин конечное или счетное число значений)
  3. I. Формирование системы военной психологии в России.
  4. I.СИСТЕМЫ ЛИНЕЙНЫХ УРАВНЕНИЙ. МЕТОД ГАУССА
  5. II. Органы и системы эмбриона: нервная система и сердце
  6. II. Умножение матрицы на число
  7. II. Цель и задачи государственной политики в области развития инновационной системы
  8. II. Экономические институты и системы
  9. II. Элементарные преобразования. Эквивалентные матрицы.
  10. III. Векторное произведение векторов, заданных координатами
  11. III. Мочевая и половая системы
  12. III. Органы и системы эмбриона: пищеварительная система

Любые две максимальные линейно независимые системы я-мер- ных векторов будут, очевидно, эквивалентными. Они состоят, следо­вательно, из одного и того же числа векторов, а так как существуют, как нам известно, системы такого рода, состоящие из п векторов, то мы получаем, наконец, ответ на поставленный ранее вопрос: всякая максимальная линейно независимая система векторов п-мерного векторного пространства состоит из п векторов.

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

В самом деле, если в системе векторов

® 1 > • • • > 03)

подсистема

аи а2,.. as, s<r, (14)

будет максимальной линейно независимой подсистемой, то всякий из векторов cts + 1,..., а, будет линейно выражаться через систему (14). С другой стороны, всякий вектор а; из системы (13) линейно вы­ражается через эту систему: достаточно взять при самом век­торе а,- коэффициент 1, а при всех остальных векторах системы коэффициент 0. Теперь легко видеть, что системы (13) и (14) экви­валентны. Отсюда следует, что система (13) эквивалентна всякой из своих максимальных линейно независимых подсистем, а поэтому все

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

Число векторов, входящих в любую максимальную линейно не­зависимую подсистему данной системы векторов, называется рангом этой системы. Используя это понятие, выведем еще одно следствие из основной теоремы.

Пусть даны две системы п-мерных векторов:

а1; а2, а, (15)

Pi, Р„.... Р„ (16)

не обязательно линейно независимые, причем ранг системы (15) равен числу k, ранг системы (16) — числу I. Если первая система линейно выражается через вторую, то £*£/. Если же эти си­стемы эквивалентны, то k — l.

В самом деле, пусть

а,,, а «г* (17)

и

Р/,, Рд, • • •. P/i (58)

будут, соответственно, любые максимальные линейно независимые подсистемы систем (15) и (16). Тогда системы (15) и (17) эквива­лентны между собой, и это же верно для систем (16) и (18). Из того, что система (15) линейно выражается через систему (16), вы­текает теперь, что система (17) также линейно выражается через систему (16), а поэтому и через эквивалентную ей систему (18), после чего остается, используя линейную независимость системы (17), применить основную теорему. Второе утверждение доказываемого следствия непосредственно вытекает из первого.

§ 10. Ранг матрицы

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

а = (2,-5, 1, -1), Р = (1, 3, 6, 5), Y = (~l, 4, 1, 2)

трудно заметить в ней какие-либо линейные зависимости, хотя в дей­ствительности эти векторы связаны соотношением

7а—Зр + 11 у = 0

Один метод для решения этого вопроса дает § 1; так как ком­поненты заданных векторов нам известны, то, считая неизвестными

РАНГ МАТРИЦЫ

коэффициенты искомой линейной зависимости, мы получаем систему линейных однородных уравнений, которую и решаем методом Гаусса. В настоящем параграфе будет указан другой подход к рассматри­ваемому вопросу; одновременно мы значительно приблизимся к на­шей основной цели — решению произвольных систем линейных урав­нений.

Пусть дана матрица

аи ai 2 ••• а1п а21 а22 ••• а2п

содержащая s строк и п столбцов, причем числа s и п никак не связаны между собой. Столбцы этой матрицы, рассматриваемые как s-мерные векторы, могут, вообще говоря, быть линейно зависимыми. Ранг системы столбцов, т. е. максимальное число линейно незави­симых столбцов матрицы А (точнее, число столбцов, входящих в любую максимальную линейно независимую подсистему системы столбцов), называется рангом этой матрицы.

Понятно, что подобным же образом строки матрицы А можно рассматривать как /z-мерные векторы. Оказывается, что ранг системы строк матрицы равен рангу системы ее столбцов, т. е. равен рангу этой матрицы. Доказательство этого весьма неожиданного утвер­ждения будет получено после того, как мы укажем еще одну форму определения ранга матрицы, дающую заодно способ его практического вычисления.

Обобщим сначала на случай прямоугольных матриц понятие ми­нора. Выбираем в матрице А произвольные k строк и k столбцов, Au^min(s, п). Элементы, стоящие на пересечении этих строк и столб­цов, составляют квадратную матрицу k-vo порядка, определитель которой называется манором k-го порядка матрицы А. Дальше нас будут интересовать порядки тех миноров матрицы А, которые отличны от нуля, а именно наивысший среди этих поряд­ков. При его разыскании полезно учитывать следующее замечание: если все миноры k-го порядка матрицы А равны нулю, то равны нулю и все миноры более высоких порядков. В самом деле, раз­лагая всякий минор порядка min (s, л), на осно­вании теоремы Лапласа, по любым k строкам, мы представим этот минор в виде суммы миноров порядка k, умноженных на некоторые миноры порядка j, и этим докажем, что он равен нулю.

Докажем теперь следующую т е о р е м у о ранге матрицы:


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |

Поиск по сайту:



Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.003 сек.)