4.2. ГЕОМЕТРИЧЕСКОЕ ПРЕДСТАВЛЕНИЕ СИГНАЛОВ
В этом разделе мы продемонстрируем, что сигналы имеют характеристики, которые похожи на векторы, и приведем векторное представление сигналов. Начнём с некоторых базовых определений и концепций для векторов.
4.2.1. Концепция векторного пространства
Вектор
в
-мерном пространстве характеризуется своими
компонентами
. Его можно также представить как линейную комбинацию единичных векторов или базисных векторов
,
, т.е.
, (4.2.1)
где, по определению, единичный вектор имеет единичную длину, а
является проекцией вектора
на единичный вектор
.
Скалярное произведение двух
-мерных векторов
и
определяется как
. (4.2.2)
Два вектора
и
ортогональны, если
. В более общем виде совокупность
векторов
,
, ортогональна, если
(4.2.3)
для всех
и
.
Норма вектора
обозначается
и определяется
. (4.2.4)
Это просто длина вектора. Ансамбль
векторов называется ортонормированным, если все векторы ортогональны и каждый вектор имеет единичную норму. Совокупность
векторов называется линейно независимой, если ни один вектор не может быть представлен как линейная комбинация оставшихся векторов.
Два
-мерных вектора
и
удовлетворяют неравенству треугольника
. (4.2.5)
а равенство имеет место, если
и
имеют одинаковое направление, т.е.
, где
является положительным вещественным скаляром. Из неравенства треугольника следует неравенство Коши-Шварца
. (4.2.6)
с равенством, если
. Квадрат нормы суммы двух векторов можно выразить так:
. (4.2.7)
Если
и
ортогональны, тогда
и, следовательно,
. (4.2.8)
Это соотношение Пифагора для двух ортогональных
-мерных векторов. Напомним из алгебры матриц, что линейное преобразование в
-мерном векторном пространстве является матричным преобразованием вида
, (4.2.9)
где матрица
преобразует вектор
в некоторый вектор
. В специальном случае, когда
, т.е.
. (4.2.10)
где
- некоторый (положительный или отрицательный) скаляр, вектор
называется собственным вектором преобразования, а
является соответствующим собственным значением.
В конце рассмотрим процедуру Грама-Шмидта для образования ансамбля оргонормироваииых векторов из ряда
-мерных векторов
,
. Мы начинаем выбором произвольного вектора ряда, скажем
. Путем нормировки его длины получаем первый вектор ансамбля
. (4.2.11)
Затем можем выбрать
и получить проекцию
и
. Образуем вектор
. (4.2.12)
Далее нормируем вектор
к единичной длине. Это даёт
. (4.2.13)
Процедура продолжается выбором вектора
, и образованием проекции
на
. Таким образом получаем
. (4.2.14)
Затем образуется ортогональный вектор
:
. (4.2.15)
Продолжая эту процедуру, можем образовать ансамбль из
ортонормированных векторов, где в общем
. Если
, то
, а если
, то
.