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

1. Рассмотрим произвольные векторы . Допустим сначала, что эти векторы линейно независимы. В этом случае определитель Грама, составленный для любых из этих векторов, будет отличен от нуля. Тогда, полагая согласно (22)

(23)

и перемножая почленно эти неравенства и неравенство

, (24)

Таким образом, определитель Грама для линейно независимых векторов положителен, для линейно зависимых равен нулю. Отрицательным определитель Грама никогда не бывает.

Обозначим для сокращения . Тогда из (23) и (24)

где – площадь параллелограмма, построенного на и . Далее,

где – объем параллелепипеда, построенного на векторах . Продолжая далее, найдем:

и, наконец,

. (25)

Естественно назвать объемом -мерного параллелепипеда, построенного на векторах , как на ребрах.

Обозначим через , координаты вектора в некотором ортонормированном базисе в , и пусть

Тогда на основании (14)

и потому [см. формулу (25)]

. (26)

Это равенство имеет следующий геометрический смысл:

Квадрат объема параллелепипеда равен сумме квадратов объемов его проекций на все координатные -мерные подпространства. В частности, при из (26) следует:

. (26)

При помощи формул (20), (21), (22), (26), (26") решается ряд основных метрических задач -мерной унитарной и евклидовой аналитической геометрии.

2. Вернемся к разложению (15). Из него непосредственно следует:

что в сочетании с (22) дает неравенство (для произвольных векторов )

при этом знак равенства имеет место тогда и только тогда, когда вектор ортогонален к векторам .

Отсюда нетрудно получить так называемое неравенство Адамара

где знак равенства имеет место тогда и только тогда, когда векторы попарно ортогональны. Неравенство (29) выражает собой следующий геометрически очевидный факт:

Объем параллелепипеда не превосходит произведения длин его ребер и равен этому произведению лишь тогда, когда параллелепипед прямоугольный.

Неравенству Адамара можно придать его обычный вид, полагая в (28) и вводя в рассмотрение определитель , составленный из координат векторов , в некотором ортонормированном базисе:

Тогда из (26") и (28) следует

. (28)

3. Установим теперь обобщенное неравенство Адамара, охватывающее как неравенство (27), так и неравенство (28):

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

Неравенство (28") имеет следующий геометрический смысл:

Объем параллелепипеда не превосходит произведения объемов двух дополнительных граней и равен этому произведению в том и только в том случае, когда эти грани взаимно ортогональны либо хотя бы одна из них имеет нулевой объем.

Справедливость неравенства (29) установим индуктивно относительно числа векторов . Неравенство справедливо, когда это число равно 1 [см. формулу (27)].

Введем в рассмотрение два подпространства и соответственно с базисами и . Очевидно, . Рассмотрим ортогональные разложения

Заменяя квадрат объема параллелепипеда произведением квадрата объема основания на квадрат высоты [см. формулу (22)], найдем

При этом из разложения вектора следует:

, (31)

причем здесь знак имеет место, лишь когда .

Используя теперь соотношения (30), (30"), (31) и предположение индукции, получим:

Мы получили неравенство (29). Переходя к выяснению, когда в этом неравенстве имеет место знак , примем, что и . Тогда согласно (30") также и . Коль скоро в соотношениях (32) всюду имеет место знак равенства, то и, кроме того, по предположению индукции, каждый из векторов ортогонален к каждому из векторов . Этим свойством обладает, очевидно, и вектор

Таким образом, обобщенное неравенство Адамара установлено полностью.

4. Обобщённому неравенству Адамара (29) можно придать и аналитическую форму.

Пусть – произвольная положительно определенная эрмитова форма. Рассматривая как координаты вектора в -мерном пространстве при базисе , примем форму за основную метрическую форму в (см. стр. 224). Тогда станет унитарным пространством. Применим обобщенное неравенство Адамара к базисным векторам : - вещественная матрица коэффициентов положительно определенной квадратичной формы между векторами и , определив его из соотношения

Из неравенства Буняковского следует, что имеет вещественное значение.

Def : Определителем Грамма, системы векторов {e 1 , e 2 , …, e k } называется определитель

Г(e 1 , e 2 , …, e k ) = .

Т° . Для того чтобы система векторов {e 1 , e 2 , …, e k } евклидова пространства E n была

линейно-зависимой необходимо и достаточно чтобы Г(e 1 , e 2 , …, e k ) был равен

◀ Необходимость. Пусть e 1 , e 2 , …, e k линейно зависимы. Тогда e k = a 1 e 1 + a 2 e 2 +…+ e k –1 a k –1 и в Г(e 1 , e 2 , …, e k ) элементы последней строки имеют вид a 1 (e 1 ,e i ) + a 2 (e 2 ,e i ) + …+ a k –1 (e k –1 ,e i ), т.е. последняя строка есть линейная комбинация остальных Þ Г(e 1 , e 2 , …, e k ) = 0.

Достаточность. Пусть Г(e 1 , e 2 , …, e k ) = 0 Þ строки его линейно зависимы Þ $b 1 , b 2 , …, b k b 1 (e 1 ,e i ) + … + b k (e k ,e i ) = 0 Þ (b 1 e 1 + … + b k e k = 0 и не все b i = 0 Þ e 1 , e 2 , …, e k линейно зависимы. Противоречие

Следствие . Если e 1 , e 2 , …, e k линейно независимы, то Г(e 1 , e 2 , …, e k ) ¹ 0. Более того, Г(e 1 , e 2 , …, e k ) > 0

◀ Рассматриваем ℒ(e 1 , e 2 , …, e k ). Тогда (e k ,e i ) – элементы матрицы некоторой симметрической билинейной формы, соответствующая которой квадратичная форма определяет скалярное произведение, т.е. является положительно определенной. Следовательно, по критерию Сильвестра D 1 > 0, D 2 > 0, …, D k > 0. Но D k = Г(e 1 , e 2 , …, e k )

§2. Взаимные базисы.

Ковариантные и контравариантные координаты векторов

Пусть E n – евклидово пространство, пусть {e 1 , e 2 , …, e n }базис в E n и {e 1 , e 2 , …, e n }другой базис в E n . Базисы {e i } и {e i } называются взаимными, если (e i , e j ) = = .

Кронекера-Капелли.

Т° . Любой базис {e i } из E n имеет единственный взаимный базис.

◀ Пусть e j = e 1 + e 2 + … + e n . Умножим равенство скалярно на e i .

(e i , e j ) = (e i , e 1) + (e i , e 2) + … + (e i , e n ) = , i , j = 1, 2, …, n .

Имеем неоднородную систему n -линейных уравнений с n неизвестными , Определитель этой системы есть Г(e 1 , e 2 , …, e n ) ¹ 0, т.е. система имеет единственное ненулевое решение.

Следовательно векторы e j определяются однозначно. Убедимся в том, что они образуют базис (т. е. являются линейно независимыми).

Пусть a 1 e 1 + a 1 e 2 + …+ a n e n = 0. Умножим скалярно на e i .

a 1 (e i , e 1) + a 2 (e i , e 2) + … + a n (e i , e n ) = 0 Þ a i = 0, i , j = 1, 2, …, n

Замечание : если базис {e i } ортонормированный, то его взаимный базис совпадает с данным базисом.

Пусть {e i } и {e j } взаимные базисы в Е n .

Тогда "хÎЕ n (1)

(x 1 , x 2 , …, x n ) называются ковариантными координатами вектора x .

(x 1 , x 2 , …, x n ) называются контравариантными координатами вектора x .

Соглашение : Пусть имеется выражение, составленное из сомножителей, которые снабжены конечным числом индексов (верхних и нижних). При этом договариваются, что все нижние индексы обозначаются разными символами (аналогично верхние). Если в таком выражении встречаются два одинаковых индекса, из которых один верхний, а другой – нижний, то считается, что по таким индексам производится суммирование от 1 до n .) получим e j = g ji e i ; e j = g ji e i .

Матрицы Грама этой системы:

где - скалярное произведение векторов e i и e j .

Матрица Грама возникает из следующей задачи линейной алгебры:

e 1 , e 2 , ..., e n порождает подпространство U. Зная, чему равны скалярные произведения вектора x из U с каждым из этих векторов, найти коэффициенты разложения вектора x по векторам e 1 , e 2 , ..., e n .
Исходя из разложения x = x 1 e 1 + x 2 e 2 + ... + x n e n получается линейная система уравнений с матрицей Грама:

Эта задача однозначно разрешима тогда и только тогда, когда векторы e 1 , e 2 , ..., e n линейно независимы. Поэтому обращение в нуль определителя Грама системы векторов - это критерий их линейной зависимости.

Геометрический смысл определителя Грама

Геометрический смысл определителя Грама раскрывается при решении следующей задачи:

Пусть в евклидовом пространстве V система векторов e 1 , e 2 , ..., e n порождает подпространство U. Зная скалярные произведения вектора x из V с каждым из этих векторов, найти расстояние от x до U.
Минимум расстояний |x -u | по всем векторам u из U достигается на ортогональной проекции вектора x на U. При этом x =u +n , где вектор n перпендикулярен всем векторам из U, и расстояние от x до U равно модулю вектора n . Для вектора u решается задача о разложении (см. выше) по векторам e 1 , e 2 , ..., e n , и решение получившейся системы выписывается по правилу Крамера :

где Г - определитель Грама системы. Вектор n равен:

и квадрат его модуля равен

Из этой формулы индукцией по n получается следующее утверждение:

Определитель Грама системы n векторов равен квадрату n-мерного объёма параллелепипеда, натянутого на эти вектора.

Wikimedia Foundation . 2010 .

Смотреть что такое "Матрица Грама" в других словарях:

Квадратная матрица составленная из попарных скалярных произведений элементов (векторов) (пред)гильбертова пространства. Г. м. всегда неотрицательна. Она положительно определена, если а 1, а 2,..., а k линейно независимы. Справедливо обратное:… … Математическая энциклопедия

Определитель вида где элементы (пред)гильбертова пространства, а их скалярные произведения. Г. о. равен квадрату n мерного объема параллелотопа, построенного на векторах. Г. о. является определителем неотрицательной эрмитовой формы откуда и… … Математическая энциклопедия

В линейной алгебре, положительно определённая матрица это эрмитова матрица, которая во многом аналогична положительному вещественному числу. Это понятие тесно связано с положительно определённой симметрической двулинейной формой (или… … Википедия

Определителем Грама (англ.) (грамианом) системы векторов в евклидовом пространстве называется определитель матрицы Грама этой системы … Википедия

Процесс Грама (англ.) ― Шмидта это один из алгоритмов, в которых на основе счётного множества линейно независимых векторов строится множество ортогональных векторов или ортонормированных векторов, причём так, что каждый вектор … Википедия

Процесс Грама ― Шмидта ― наиболее известный алгоритм ортогонализации, при котором по линейно независимой системе строится ортогональная система такая, что каждый вектор bi линейно выражается через, то есть матрица перехода от {ai} к {bi} ―… … Википедия

Говорят, что в действительном линейном пространстве X определена операция скалярного умножения векторов , если любой паре векторов х и у из X поставлено в соответствие действительное число, которое называют скалярным произведением векторов х и у и обозначают символом {х,у), и если для любых х. у, z € X и любого действительного числа а выполняются следующие аксиомы скалярного произведения:

1. (х,у) = (у,;х).
2. (.т + у, z) = (x,z) + (у, г).
3. {ах,у) = а(х,у).
4. (х, х) > 0 при х Ф 0 и (х, х) = 0 при х = 0.

Пример 8.1. Пусть X - пространство геометрических векторов, изучаемых в векторной алгебре. Скалярное произведение, определяемое как произведение длин двух векторов на косинус угла между ними, удовлетворяет аксиомам скалярного произведения. ?

Пример 8.2. В арифметическом пространстве К п столбцов высоты п скалярное произведение векторов

можно определить формулой

Нетрудно проверить выполнимость аксиом скалярного произведения. Например, проверим выполнимость аксиомы 4. Заметим, что

Но сумма квадратов положительна, если хотя бы одно из чисел Xi ненулевое (или х ф 0), и равна нулю, если все х* равны нулю (т.е. х = 0). ?

Пример 8.3. В линейном пространстве многочленов с действительными коэффициентами степени не выше п - 1 скалярное произведение можно ввести формулой

Проверка аксиом скалярного произведения опирается на свойства определенного интеграла и не составляет труда. ?

Пример 8.4. В линейном пространстве Са, Ъ] функций действительного переменного, непрерывных на отрезке [а, 6], скалярное произведение можно ввести таким же образом, как и в линейном пространстве многочленов - с помощью определенного интеграла:

Проверка аксиом скалярного произведения проводится так же, как и в предыдущем примере. ?

Из аксиом 2 и 3 следует, что любую конечную линейную комбинацию векторов моэюно умноэюать скалярно на другую линейную комбинацию векторов по правилу умноэюения многочлена на многочлен, т.е. по формуле

Действительное линейное пространство, в котором определено скалярное умножение векторов, называют евклидовым пространством. Конечномерное линейное пространство можно превратить в евклидово многими способами. Если в n-мерном евклидовом пространстве X фиксирован базис е, е^, ..., е п, то любые векторы х и у имеют в нем разложения

и формула (8.1) для векторов хну дает

или в матричном виде где положено

Таким образом, скалярное произведение в евклидовом пространстве X полностью определяется матрицей Г. Не всякая квадратная матрица может появиться в формуле (8.3). Но если одно скалярное произведение в заданном базисе определяется некоторой матрицей Г, то нетрудно понять, что та же матрица, только в другом базисе также определяет скалярное произведение. Сохраняя матрицу Г и меняя базисы, мы получим бесконечное множество скалярных произведений в данном гг-мерном линейном пространстве.

Матрицу Г, участвующую в формуле (8.3), называют матрицей Грама базиса е = (е х, в2,..., е п). Матрицу Грама (матрицу скалярных произведений) можно определить не только для базисов, но и для произвольных упорядоченных конечных систем векторов.

Отметим некоторые свойства матрицы Грама базиса в п-мерном евклидовом пространстве.

1. Матрица Грама Г симметричная и для любого п-мерного столбца х ф 0 удовлетворяет условию х Т Г х > 0, в частности, диагональные элементы (ei,ej) = ef Г е* матрицы Грама полоэюительные.

Симметричность матрицы Грама вытекает из аксиомы 1 скалярного произведения, согласно которой (е*, ej) = (е^, е*) для любых двух векторов базиса, а условие х Т Г х > 0, х ф 0, равносильно аксиоме 4 скалярного произведения.

Симметричную матрицу А, удовлетворяющую условию х т Ах > > 0, х Ф 0, называют положительно определенной. С учетом этого термина доказанное свойство звучит так: матрица Грама является положительно определенной.

2. Матрицы Грама Г и Г" двух базисов е и е" евклидова пространства связаны соотношением

где Т - матрица перехода от базиса е к базису е".

Действительно, при переходе от базиса е к базису е! координаты х и у двух векторов х и у преобразуются в координаты х" и у" по формулам (см. разд. 4.6)

Следовательно, матрица Т Т Г Т есть матрица Грама для базиса е!.

3. Определитель матрицы Грама любого базиса положителен.

Действительно, из формулы (8.4) вытекает, что при замене базиса определитель матрицы Грама сохраняет знак (или остается равным нулю), так как определитель матрицы перехода ненулевой:

Остается учесть, что в качестве матрицы Грама Г можно взять единичную матрицу (см. замечание ниже), которая имеет определитель, равный единице.

4. Все угловые диагональные миноры

матрицы Грама базиса e lf е 2 , ... е п положительны.

Действительно, для любого к можно рассмотреть подпространство Lfc = (ei,...,efc) как самостоятельное евклидово пространство.

Тогда определитель матрицы Грама для базиса ei, 62, ..., будет совпадать с Д^. Согласно предыдущему свойству этот определитель положителен.

Замечание. В разд. 9.С установлено, что свойство 4 - необходимое и достаточное условие положительной определенности квадратной матрицы. Поэтому свойство 4 вытекает из свойства 1. Любая положительно определенная матрица является матрицей Г рама некоторого базиса в данном евклидовом пространстве. Действительно, скалярное произведение можно определить формулой (8.3), в которой в качестве Г можно взять любую положительно определенную матрицу. Тогда аксиома 1 скалярного произведения будет вытекать из симметричности матрицы Г, аксиомы 2 и 3 - из свойства дистрибутивности матричного произведения, а аксиома 4 - из условия положительной определенности Г. Следовательно, любая матрица, обладающая свойством 4, может рассматриваться как матрица Грама. В частности, в качестве матрицы Грама можно выбрать единичную матрицу, т.е. в заданном базисе е, ..., е п определить скалярное произведение

формулой

Как уже отмечено, понятие матрицы Грама можно ввести для произвольной упорядоченной конечной системы векторов. При этом и в общем случае матрица Грама остается симметричной, но остальные свойства (положительная определенность, положительность определителя) утрачиваются. Имеет место следующее утверждение.

Теорема 8.1. Матрица Грама системы векторов является невырожденной тогда и только тогда, когда эта система линейно независима. Матрица Грама линейно независимой системы векторов положительно определенная и, в частности, имеет положительный определитель. Определитель матрицы Грама линейно зависимой системы векторов равен нулю.

> Любая линейно независимая система векторов может рассматриваться как базис в некотором евклидовом пространстве, а именно в своей линейной оболочке. По свойствам матрицы Грама базиса матрица Грама рассматриваемой системы векторов положительно определенная. Следовательно, все ее угловые миноры, в частности, ее определитель, положительны. Это означает также, что матрица Гра- ма линейно независимой системы векторов невырожденная.

Умножая это векторное равенство скалярно на векторы а, а 2 , а к,

получим однородную систему линейных уравнений

относительно коэффициентов ац, aк рассматриваемой линейной

комбинации. Матрицей этой системы является матрица Грама Г системы векторов а, а, 2 , ..., CLk Если матрица Г невырождена, то однородная система имеет только нулевое решение. Это означает, что рассматриваемая система векторов а, а 2 , , а к линейно независима.

Если система векторов а, ^к линейно зависима, то рассматриваемая линейная система имеет ненулевые решения. Поэтому ее определитель, т.е. определитель матрицы Грама Г рассматриваемой системы векторов, равен нулю.