Фрейм мерседес-бенц в в-мерном пространстве

Система векторов в называется жёстким фреймом в если существует число А > 0 такое, что для любого вектора выполнено равенство

(3)

Из (3) следует, что . Каждый вектор можно разложить по фрей­му. Действительно, в силу (3) справедливо тождество

Поскольку равенство выполнено для любого , то

(4)

Классическим примером жёсткого фрейма является фрейм Мерседес -Бенц в , состоящий из трёх векторов единичной длины, расположенных под углом 120°.

(5)

Для него равенство (3) принимает вид

Характеристическим свойством этого фрейма является то, что углы 120°.

Оказывается, для любого можно построить аналогичную кон­струкцию в , которая называется каноническим фреймом Мерседес-Бенц.

Теорема 1. Для любого можно построить систему из векторов со свойствами:

1. ,

2.

3.

4. Система является жёстким фреймом с константой .

Доказательство. Докажем теорему применяя индукцию по . При фрейм (5) удовлетво­ряет всем утверждениям теоремы.

Допустим, что для все утверждения выполнены. Система получается из с помощью процедуры добавления.

Для вектор строится из добавлением -й компоненты- и нормированием получившегося вектора:

где

Положим . По индуктивному предположению.

Тогда

Получим уравнение для определения :

Отсюда

.

Тогда Имеем

,

Покажем свойства 3 и 4.

В самом деле, Пусть дан фрейм

…. .

Для данного фрейма по предположению справедливо

.

Определим фрейм для следующим образом:

…. ,

.

.

Теперь, покажем справедливость 4.

При система векторов

…. .

является по предположению фреймом с числом . Тогда для вектора имеет место

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

Пример.Покажем практическое построение фрейма для применяя имеющийся фрейм при .

Действительно, пусть дан фрейм состоящий из 3-х векторов

Тогда векторы нового фрейма имеют вид

, .

Найдем числа и .

Применим утверждения теоремы. Тогда

, .

Покажем справедливость условии 1-4.

1. Пусть . Тогда для имеем

, .

Для аналогично.

2. , ,

, .

3.

.

4. Пусть . Тогда

.

Замечания:

1. Угол между двумя различными векторами и находится из условия

отсюда

значит

2. Избыточное количество векторов в разложении (4) повышает надежность при восстановлении вектора по коэффициентам Если любой из коэффициентов будет утрачен, то по оставшимся вектор восстановить можно.

Допустим, что потерян коэффициент с некоторым номером . Рассмотрим систему

(6)

с выкинутым вектором В системе (6) скалярное произведение двух различных векторов равно , а норма каждого вектора равна 1. Поэтому матрица Грамма системы (6) имеет вид

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

.

3. Вопрос о восстановлении вектора в случае, когда часть фреймовых коэффициентов утрачена, рассматривался во многих работах (см., например, [3]). Там же использовалось название «Mercedes-Benz frame».

4. Из стандартного фрейма можно получить другие жесткие фрей­мы. Умножим все векторы фрейма на произвольную ортогональную матрицу Q и перед получившимися векторами в произвольном по­рядке расставим знаки + и —:

(7)

Система (7) является жёстким фреймом.

Проблема о том, что любой жёсткий фрейм с константой состоящий из единичных векторов, после некоторой перестановки элементов фрейма может принимать вид (7) еще нерешена.