Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Кобрунов А_Мат методы модел в прикл геоф 2

.pdf
Скачиваний:
41
Добавлен:
02.03.2016
Размер:
10.74 Mб
Скачать

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

его нормы, то полученная новая система базисных элементов ei

 

 

 

 

hi

 

называется

 

 

 

 

hi

 

 

 

 

 

 

 

 

 

 

 

 

 

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

Тот факт, что пространство H представимо в виде системы слагающих его взаимно-

ортогональных подпространств Hi записывается так: H H1 H2 ..... Означает он то, что

любой элемент f из H может быть представлен в виде линейной комбинации элементов

hi Hi , которые по определению взаимно ортогональны.

Любая система линейно независимых элементов fi гильбертова пространства H может быть преобразована в систему взаимно ортогональных элементов hi с помощью процедуры

ортогонализации. Эта процедура основана на ортогональном проектировании произвольного элемента q гильбертова пространства H на подпространство H H .

Ортогональной проекцией элемента q гильбертова пространства H на подпространство

H H называется такой элемент h H , такой, что:

 

 

 

q h

 

0 H .

 

 

(1.1.1)

 

 

 

Ортогональным дополнением H к H H в H называется множество, состоящее из

таких элементов дополнения к H в H H H / H что

 

h

0 для любого h H .

 

Это условие означает совершенно очевидный факт того, что разница между

проектируемым элементом q и результатом проектирования

 

h

должна быть ортогональна

любому элементу из подпространства, на которое проектируется элемент q . Процесс нахождения ортогонального элемента обеспечивает решение сопутствующей задачи: нахождению такого элемента h H из линейного подпространства H H , что он является ближайшим в смысле нормы H для q :

 

 

 

 

 

min

 

q

 

 

.

(1.1.2)

 

 

 

 

 

 

q h

 

 

 

H

 

 

H

 

 

 

 

H

 

 

 

 

 

 

 

 

 

 

 

 

51

Касаясь задачи (1.1.2) и ее решения (1.1.1) важно подчеркнуть, что H линейное

многообразие в H в противном случае (1.1.1) не служит решением (1.1.2).

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

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

Теорема 1. Решение задачи (1.1.2) эквивалентно ортогональному проектированию.

Пусть для решения задачи (1.1.2) условие (1.1.1) не выполняется. Тогда существует хотя бы

один элемент H

 

такой, что

 

 

 

 

 

 

0 . Тогда для

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

q h

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

h

h

 

 

 

 

 

 

 

 

2

 

 

 

 

 

H

 

:

q h

 

 

 

 

 

q h

 

 

 

 

 

 

 

 

2

 

q h

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

H

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

H

 

 

 

 

 

 

 

 

 

 

 

 

 

 

H

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

q h

 

 

2

 

 

 

 

 

 

 

2

 

 

q h

 

 

 

 

 

 

 

 

 

 

 

 

2

 

q

 

 

 

 

 

 

q h

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

H

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

H

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

что противоречит (1.1.2).

Эти вопросы более тщательно и подробней будут рассмотрены в разделе, посвященном

проблемам оптимизации.

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

проекция любого q H на гильбертово подпространство H существует. Единственность

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

обстоятельства. Пусть имеется две проекции h

и h

элемента q на H H . Тогда, для каждого

из них должно быть выполнено (1.1.1):

 

 

q h 0 H ;

q h 0 H .

Вычитая одно из другого получаем:

h h 0 H .

Но поскольку h h h H , то последнее, означает h h h 0

или, h h , что

и требовалось показать.

 

52

Приведем еще один результат, необходимый в следующем разделе.

Плотное подмножество. В функциональном пространстве H может существовать подмножество H , состоящее из таких элементов, что любая функция из Н, может быть получена как предел последовательности из H . Такое подмножество называется плотным в H .

Например, множество непрерывных функций плотно в множестве функций с конечным числом разрывов первого рода. Разрывная с разрывами первого рода функция может быть представлена как предел сходящейся последовательности из непрерывных функций. Замыкание плотного в Н множества H это присоединение к нему всех пределов всех последовательностей из H . Эта процедура приведет к получению замыкания H H , которое как минимум включает в себя Н но может быть и существенно шире.

Теорема о замкнутости ортогонального дополнения. Пусть H1 линейное подпространство в гильбертовом пространстве H и H1 плотное в нем подмножество. Тогда ортогональные дополнения к H1 и H1 в H совпадают и замкнуты.

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

Построение ортонормированного базиса. Теперь основываясь на системе линейно независимых элементов fi гильбертова пространства H легко построить систему взаимно ортогональных элементов hi . Алгоритм таков. Выбираем первый элемент f1 и принимаем его за h1 . Далее выбирая второй f2 , который линейно независим от f1 , находим его ортогональную проекцию 1 на подпространство H1 , образованное всеми линейными комбинациями h1 . Далее рассматриваем h2 f2 1 . По определению проектирования h2 f2 1 ортогонально H1 . Два взаимно-ортогональных элемента h1 и h2 есть. Они образуют базис в гильбертовом подпространстве H2 ; H1 H2 Понятно, что и f1 и f2 могут быть представлены как линейная

комбинация элементов h1,h2 . Следовательно и f1, f2 и любая их линейная комбинация

принадлежит H2 . Выбираем далее следующий элемент f3 , который по условию линейно

независим от f1, f2 и, следовательно не принадлежит H2 . Строим 2 как ортогональную проекцию f3 на H2 и конструируем h3 f3 2 . Этот третий элемент ортогонален H2 и базис

h1,h2 , h3 образуют подпространство H3 H2 . Продолжая этот процесс так далее, пока не будут

53

исчерпаны все fi , по описанной схеме получаем цепочку вложенных пространств Hi , натянутых

на ортогональный базис hi

. Причем lim Hi H . Если этот базис пронормировать, т.е. перейти

 

i

от hi к ei hi / hi , то получаемый новый базис ei будет вдобавок еще и ортонормированным.

Подчеркнем, что переход от начальной системы линейно независимых элементов, образующих

H к ортонормированной системе ei осуществляется с помощью линейного преобразования. У

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

различных линейно независимых системы, например fi

и qi . Посмотрим, что это означает в

конечномерных гильбертовых пространствах. Пусть,

например элемент q j

можно представить в

виде линейной комбинации элементов

fi . Это значить, что переход от

fi

к q j осуществляется с

помощью матрицы a ji и q j a ji fi

. Поскольку нормы элементов q j

определены условием:

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

2

 

 

 

*

 

 

 

 

q j

q j

q j

 

q j

a ji

fi

fi a*ji q j fi

gi ,

 

 

 

 

j

 

i

 

i

j

 

 

где элементы

 

gi получаются из q j с помощью сопряженной (транспонированной и переход к

комплексно-сопряженным числам)

к a

ji

 

матрицы a* . Теперь, если предположить, что f

i

и

 

 

 

 

 

 

 

 

 

 

 

 

 

ij

 

 

 

q j

это

два

ортонормированных

базиса,

получаем,

преобразование a*ji

q j осуществляет

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

обратный переход

от

q j

к

fi .

 

Действительно

в этом случае

a*ji q j fi

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

2

q j

 

a ji fi

*

fi fi fi

 

1 .

 

 

 

 

q j

q j

 

q j

 

 

 

fi

Такие матрицы, как это известно,

 

из

 

 

 

 

 

j

 

i

 

i

 

 

 

 

 

 

 

 

 

линейной алгебры, называются унитарными. Приведенные рассмотрения будут уточнены далее.

Спецификой гильбертова пространства является то, что в нем норма определена через скалярное произведение. Это влечет за собой много полезных свойств, которыми обладают эти пространства. В частности определить понятие ортогональности и осуществлять ортогональное проектирование элементов на некоторое свое линейное подмножество. Существует множество других линейных пространств, оснащенных нормой. Они называются нормированными. Но,

удовлетворяя свойствам нормы [а-в], они, все же, не определяются через скалярное произведение, в них отсутствует понятие ортогональности элементов, хотя есть набор других

54

очень важных свойств. Таково, например, пространство непрерывных функций на некотором

замкнутом множестве , обозначаемое C с нормой

 

 

 

 

f x

 

 

 

C max

 

f x

 

. Другой пример –

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

пространство абсолютно интегрируемых на функций с нормой

 

 

f x

 

 

 

L

 

 

 

f x

 

dx .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Можно дать такое определение.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Нормой произвольного линейного пространства

X

называется

 

 

функционал

 

 

 

 

 

X ,

 

 

 

 

 

 

 

удовлетворяющий условиям (они уже вводились выше):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а.

 

 

 

 

 

 

f

 

 

 

 

X 0 ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б.

 

 

 

f

 

 

 

X =0 только при f 0 ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в.

 

 

 

 

f

 

 

 

 

 

X

 

 

 

 

 

 

 

f

 

 

 

 

 

X ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

г.

 

 

 

 

 

f g

 

 

 

X

 

 

 

f

 

 

 

 

 

 

 

g

 

 

 

X ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обобщением понятия нормы служит метрика.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Метрическим пространством называется пара ( X , (x, y)) , состоящая из множества Х и

функции (x, y) , определенной на X X , называемой метрикой, удовлетворяющая условиям:

1) (x, y) определена для всех x, y X и принимает только неотрицательные значения из множества вещественных чисел R1 ;

2)(x, y) =0 тогда и только тогда, когда x y ;

3)(x, y) ( y, x) ;

4)(x, z) (x, y) ( y, z) .

 

 

Если в качестве х положим 0 (при условии 0 X ), то (0, y) характеризует уклонение y

от нуля.

 

 

 

 

 

 

 

 

 

 

 

 

 

Обратите внимание на отличие нормы и метрики. Оно состоит в более жестком условии на

норму – условии (в), аналог которого отсутствует у метрики.

 

 

 

 

Нормированное пространство

X с нормой

 

 

X

называется полным, если всякая его

 

 

 

 

 

 

 

 

 

 

 

fi

 

 

 

 

 

фундаментальная последовательность

сходится к некоторому элементу

f принадлежащему

X .

Напомним, что

фундаментальной

называется

 

последовательность

fi , для которой

lim

 

fi f j

 

0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i, j

 

 

X

 

 

 

 

 

 

 

 

 

 

Замыканием множества M из X , называется операция присоединения к M пределов

всех

фундаментальных

последовательностей из X .

Полученное таким

образом множество

 

 

 

 

 

 

 

 

 

 

 

обозначается M .

 

 

 

 

 

 

 

 

55

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

плотное множество.

Всюду плотное множество M в пространстве X это такое множество, замыкание

которого совпадает со всем X .

В связи с понятием плотного множества употребимым является понятие внутренней

точки в M . Элемент f является

внутренней точкой множества

M , если существует

-

окрестность состоящая из элементов

q таких, что

 

 

 

f q

 

 

 

X целиком принадлежащая

M .

 

 

 

 

 

 

 

 

 

 

Например, если X это евклидово пространство N измерений RN ,

то любой шар в нем имеет

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

M X .

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

функций) мало пригодны для приложений.

 

 

 

 

 

 

 

Банаховым

пространством

X или пространством Банаха называется

полное

нормированное пространство.

 

 

 

 

 

 

 

 

Гильбертово пространство или пространством Гильберта это банахово пространство,

в котором норма определена скалярным произведением.

 

 

 

 

 

 

 

Важнейшим

представителем Гильбертовых пространств служит пространство l 2

пространство бесконечных числовых последовательностей x xi , y yi , для

которых:

 

 

 

 

 

 

 

 

 

1/ 2

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

x

 

 

 

l2

 

xi

 

 

;

x

 

y xi yi* .

Его особое положение состоит в том, что любое другое

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

i

 

 

 

 

 

 

 

(сепарабельное)

гильбертово пространство H ему изоморфно – т.е. элементы из

H и

l 2

находятся во взаимно-однозначном соответствии. Более того этот изоморфизм является изометрическим, что означает равенство норм соответствующих элементов. Это важнейшая группа вопросов определяющая конструктивную сторону гильбертовых пространств.

Приведенное условие ортогональности (1.1.1) является конструктивным в том отношении,

что позволяет строить конкретные алгоритмы проектирования. Рассмотрим одну очень важную в приложениях задачу.

Пример 1. Пусть в некоторой области V значений переменной v определена некоторая функция v , которую будем рассматривать как элемент гильбертова пространства H L2 V

56

вещественных функций

f v с нормой

 

f v

 

 

 

2L

V

 

 

 

 

f V

 

2dv . Эта функция может быть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

V

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

распределением в V

некоторого параметра

плотности, скорости или иного параметра.

Соответственно скалярное произведение двух функций

f1 v и

f2 v определено условием:

f1 v

 

f2 v f1 v f2 v dv . Пусть,

далее

 

 

в

области V

выделены непересекающиеся

 

 

 

 

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

подобласти Vi ,i 1,...N и в каждой из них

параметр может принимать произвольное постоянное

значение. Таким образом, определяется

линейное N

мерное

подпространство l N в H ,

 

 

i ,i 1, 2,...N ,

каждый компонент

i которого суть постоянное

состоящее из векторов

значение параметра в ячейке Vi ,i 1,...N .

Для функции

v

следует найти ее наилучшее

приближение – проекцию на подпространство l N . Воспользуемся для этого правилом (1.1.1): для искомой проекции – системы постоянных значений i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

v

0

l

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N

 

Так как v

 

 

 

 

 

 

 

dv 0

l

.

 

 

v

 

 

 

 

 

 

 

 

 

i

Vi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Но это означает что для каждого i :

v dv 0,i

Vi

i 1 v dv.

Vi Vi

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

Пример 2. В условиях предшествующего примера положим, что в пределах подобластей

Vi искомая проекция принимает не постоянное значение, а есть линейная функция координат.

Для простоты положим, что область V это интервал числовой оси а подобласти Vi это его непересекающиеся подинтервалы. Тогда в пределах каждого из них i ai v bi ,i 1, 2,...N .

Легко понять, что так полученное подпространство в L2 V содержит

2 N параметров и суть

l 2 N . Для того

чтобы найти ортогональную проекцию произвольной

функции v на так

построенное

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

57

проектирования (1.1.2). Тогда, искомая проекция суть решение задачи нахождения коэффициентов ai ,bi из условия:

v a

v b

 

2

dv min,

 

i

i

 

 

 

Vi

i 1, 2,...N.

Дифференцируя последнее выражение по искомым параметрам и приравнивая результат нулю получаем:

v v dv ai v dv bi v dv;

Vi Vi Vi

v dv ai dv bi dv,

Vi Vi Vi

i 1, 2,...N.

Последняя система уравнений легко решается относительно коэффициентов ai ,bi , в

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

Коэффициенты ортогонального разложения произвольной функции f из гильбертова

пространства

H

 

 

относительно ортонормированной системы ei . Легко находятся.

Действительно,

поскольку f ai

ei ,

то вычисляя скалярное произведение левой и правой

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ej 0 при i j и

ei

 

ej 1 при i j , получаем:

части на элемент

e j

, и учитывая, что

ei

 

f

 

ej ai

ei

 

ej

ai ei

 

ej

a j .

Таким образом всякое гильбертово пространство H

 

 

 

 

 

 

 

 

i

 

 

 

i

 

 

 

 

 

 

изоморфно l 2 . Это значить, что любой элемент f H взаимно однозначно представим своими коэффициентами разложения по системе ei , которые (коэффициента) суть элементы

пространства l 2 . Более того, этот изоморфизм изометричен, поскольку, в силу того же условия

 

 

 

 

 

0

при i j

 

ei

 

 

 

 

ej 1 при

i j . Поэтому, как легко видеть:

ei

 

ej

и

 

 

f

 

 

 

2H

ai ei

 

ai ei

ai2

 

 

 

a

 

 

 

l2 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

i

i

 

 

 

 

 

 

 

 

 

 

 

 

Факт изометрического изоморфизма гильбертовых пространств H составляет одну из формулировок теоремы Планшереля.

58

1.1.3 Линейные функционалы в Гильбертовом пространстве

Если формулировать результат рассмотрений этого пункта кратко и не строго, то он состоит

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

f и однозначно определенного элемента q из H . Причем норма функционала и элемента q

совпадают. Этот результат называется теоремой Ф. Риса. Теперь опишем это обстоятельство

подробней.

 

 

 

Функционал f

называется линейным, если его область определения – линейное, в

частности гильбертово

пространство и для любых

1, 2

и функций

f1, f2 D : 1 f1 2 f2 1 f1 2 f2 .

Функционал f называется непрерывным, если существует такое вещественное число

R , не зависящее от элементов из D , что:

 

f

 

R

 

 

 

f

 

 

 

. Наименьшее из этих чисел

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

называется нормой функционала f и обозначается . Легко убедиться, что множество линейных функционалов само по себе является линейным пространством – пространством функционалов, а так введенная норма удовлетворяет всем требованиям предъявляемым к норме на банаховом пространстве. Из приведенного определения нормы следует эквивалентное определение

 

 

 

sup

 

f

 

 

sup

 

f

 

.

(1.1.3)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

f D

 

 

 

X

 

 

f D ,

 

 

 

f

 

 

 

X 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Это очень полезное определение, которое может использоваться не только для гильбертовых, но и произвольных банаховых пространствах.

Следующий результат является центральным в вопросе о функционалах.

Теорема Ф. Риса об общем виде линейного функционала в гильбертовом пространстве.

Всякий линейный функционал f в гильбертовом пространстве H однозначно характеризуется элементом q H и:

f q f , причем q H .

Элемент q называется образующим элементом для f .

То, что выражение q f определяет линейный ограниченный функционал, следует из

определения скалярного произведения, а условие q H из неравенства Коши-Буняковского:

59

q

 

f

 

 

 

 

f

 

 

 

H

 

 

 

q

 

 

 

H и определения (1.1.3) для нормы. Для доказательства обратного представим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

в

виде его

разложения по

ортонормированной

системе ei

: f

i ei .

Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

i

 

 

i

ei i i , где i

ei . Теперь можно сконструировать

f

 

ei

 

 

 

 

 

 

 

 

i

 

 

i

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

элемент

q i ei ,

для

которого

 

 

 

 

 

 

легко

убедиться

 

в

 

том,

что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

i

ei i i = f

 

 

q .

Из

приведенного

и

изометрического

 

 

 

 

 

 

 

 

 

 

f

 

ei

 

 

 

 

 

 

 

 

 

 

i

 

 

i

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

изоморфизма H и l 2 следует условие на норму:

 

 

 

 

 

2

 

 

 

 

q

 

 

 

2H

i2 . Требуемое доказано2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для пространства функций над множеством вещественных чисел запись

q

f и

f

q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

Последовательность функций fi сходится к функции f , относительно системы функционалов j если j fi f для всех j . Полезность этого понятия состоит в том,

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

когда система функционалов j

дополнительно еще как минимум полна в H . Это означает, что

из j f 0 для всех

j

следует

f

 

0 . Однако и в этом случае еще рано говорить о сходимости

последовательности fi

относительно нормы.

 

 

 

 

 

 

Последовательность fi

слабо сходится к

f

если для всех линейных непрерывных

функционалов на H сходится последовательность

fi .

fi . В силу теоремы Риса это

означает, что для всех

q H ,

q

 

fi q

 

f . Сходимость

относительно нормы называют

 

 

сильной сходимостью..

 

 

 

 

 

 

 

 

 

 

 

 

 

Если последовательность

fi

сходится сильно, то она сходится и слабо. Обратное неверно.

Например, любая ортонормированная система ei

не является сильно сходящейся, хотя и

ограничена. Но она слабо сходится, поскольку для любой q H ряд

q

 

ei i , поскольку

 

2 Полноты и строгости ради следует еще доказать сходимость соответствующих сумм.

60

Тут вы можете оставить комментарий к выбранному абзацу или сообщить об ошибке.

Оставленные комментарии видны всем.