Файл: Френкс, Л. Теория сигналов.pdf

при j( у || < 2 . Следовательно, ограниченность и непрерывность линей­ ных функционалов — эквивалентные понятия.

Если к линейному функционалу, записанному в форме скалярного произведения, применить неравенство Шварца и учесть, что равенство достигается, когда х пропорционален ср, мы получим

Покажем, что пространство всех непрерывных линейных функционалов, определенных на гильбертовом пространстве ЗС (это подпростран­ ство пространства всех линейных функционалов на ЗС), само является гильбертовым пространством, связанным очень простым образом с ЗС.

Умножитель Интегратор Усилитель

Рис. 2.6. Схема отсчетного устройства (квантователя по времени).

Такое пространство называется сопряженным пространством ЗС*• Мы уже видели, что существует взаимно-однозначное соответствие меж­ ду э л е м е н т а м и 6 ЗС* и 6 ЗС. Более того, соответствующие скаля­ ры просто являются комплексно-сопряженными, т. е. fa(p = a*fq,.

Отсюда следует, что

Легко видеть, что (2.61) можно принять за определение скалярного

произведения в пространстве 2С*. Норма, порождаемая этим скаi_

лярным произведением ||/Ф||= (fq>, /ф)2 = ||ф||, согласуется с общим определением (2.60). И, наконец, если { u j есть базис для ЗС, то {f^} есть базис для ЗС*, где {v;} — взаимный базис [(иь \ }) = Ьц]. Следо­ вательно, произвольный линейный непрерывный функционал f может быть представлен линейной комбинацией

В некоторых пространствах сигналов, скажем в L2 (Г), мы будем пользоваться не непрерывными (неограниченными) линейными функ­ ционалами. Важный пример такого функционала в L2 (Г) это представ­ ление временной функции ее отсчетами — временное квантование. Ясно, что f (х) = х {t0) есть линейный функционал; ясно также, что

46

существуют функции с интегрируемым квадратом, которые не являются

1

ограниченными для всех t £ Т. Рассмотрим, например, х (t) = \t\ 2; х (t) принадлежит L2 (—1,1), но не ограничена при t = 0. В этом слу­ чае мы можем сохранить представление функционала в виде скалярного произведения, если определим 6-функцию (не в L2) следующим обра­ зом:

Практически, физическая реализация операции временного кванто­ вания непрерывна, поскольку нельзя реализовать бесконечно узкий стробирующий импульс. Типичная схема квантователя приведена на рис. 2.6, где сигнал умножается на прямоугольную стробирующую

Линейная, инвариантная Квантователь рис. 2.6

во времени цепь

Рис. 2.8. Другая реализация / ф(х) = (х, ф).

функцию, достаточно узкую по сравнению с временем изменения кван­ туемого сигнала. Стробирующий сигнал обычно реализуется с помощью ключа, замыкаемого в течение времени t0—т/2 ^ t ^ t0 + т/2 и разомк­ нутого в остальное время. Интеграл от близкого к прямоугольному сиг­ налу на выходе ключа приблизительно пропорционален x: (t0).

Аналогично реализуется произвольный линейный функционал над действительными сигналами. Для этого используется перемно­ жающее устройство и интегратор, как показано на рис. 2.7. Конечно, предполагается, что или сигнал, или весовая функция достаточно малы за пределами некоторого конечного интервала времени, так что на вы­ ходе интегратора получается значение функционала.

47

Возможна также другая реализация линейного функционала, при которой порядок квантования и умножения изменен на обратный, как показано на рис. 2.8. Поскольку сигнал на выходе стационарной линейной цепи в момент t0 определяется интегралом свертки

нужное скалярное произведение получится, если импульсная реакция цепи имеет вид

Это означает инверсию во времени и задержку весовой функции, по­ казанной на рис. 2.7.

Из-за того, что в физически реализуемых цепях h (t) отлична от нуля только для положительных t, может потребоваться дополнитель­ ная задержка за счет увеличения длительности стробирующего им­ пульса.

Упражнение 2.18. Мы показали, что сопряженное пространство 3d* явля­ ется пространством, в котором определено скалярное произведение. Если это гильбертово пространство, оно должно быть полным. Рассмотреть произволь­ ную последовательность Коши в ЕС* и показать, что она сходится к точке в ЕС*.

Сказания: 1) для f n, ||/„ —f m \\ < е=> | /„ (х)—f m (х) | < е ц х||

2) предположим, что последовательность чисел {fn (х)} сходится к числу, назовем его (х), для каждого х. Показать, что для этого необходимо, чтобы ото­ бражение I было линейным и непрерывным;

3.S i m m о n s G. F. Introduction to topology and modern analysis. McGrawHill, 1963.

4. А х и е з е р H. И. и Г л а з м а н И. M. Теория линейных операторов

в гильбертовом пространстве. М., Гостехиздат, 1950.

5.В у д в о р д Ф. М. Теория вероятностей и теория информации с примене­ ниями в радиолокации. М., «Сов. радио», 1955.

3

ДИСКРЕТНЫЕ ПРЕДСТАВЛЕНИЯ СИГНАЛОВ

3.1. ПОДПРОСТРАНСТВА ИЗ L2 (Г)

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

х 6 L2 (Т) ее численного представления.

48

Задача сводится к нахождению подходящего отображения прост­ ранства L2 (Т) в пространство Сп, причем я обычно выбирается ком­ промиссно, с учетом точности и экономичности представления. По­ скольку число измерений пространства L2 (Т) бесконечно, а Сп ко­ нечно, отображение должно быть типа «много в одно»; это подразуме­ вает такую степень приближения, при которой произвольный сигнал из L2 (Т) не может иметь представления в Сп, отличного от представ­ ления всех других сигналов. К таким отображениям естественно под­ ходить с позиций отношения эквивалентности. Мы разбиваем прост­

выполняется почти всюду в том и только в том случае, если at = О при всех i. Обозначим через М п линейное подпространство, натянутое на эти функции. Если рассматриваемый сигнал принадлежит М п, то он может быть единственным образом представлен в виде линейной комбинации {фг}:

то согласно (2.43) отношение между х и а может быть выражено в мат­ ричной форме:

где р = {(х, фг); i = l , 2,..., я}.

Применяя другую запись, введем в Мп взаимные базисные функции {0г; i = 1, 2,..., я}, которые могут быть представлены в виде линейной комбинации {фг};

49

В обоих случаях, однако, необходимо вычислять обратные матрицы.

Упражнение 3.1. Показать, что представление х £ М п, определяемое согласно (3.2) и (3.4), единственно вследствие линейной независимости безисных функций.

Сигналы, расположенные вне Мп (теорема проектирования)

Остается невыясненным, как находить представление сигналов, не принадлежащих Мп. Поскольку L2 (Т) — метрическое простран­ ство, представляется разумным поставить в соответствие произволь­

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

при этом все векторы из S j имеют одно и тоже представление в виде набора п чисел, совпадающее с представлением вектора х. Оказывается,

50