Дипломная работа: * Алгебры и их применение

Определение 2.12. В предыдущих обозначениях π называется прямым интегралом π(t) и обозначается π =π(t) dμ(t).

Определение 2.13. Операторное поле t→φ(t)I(t)L(H(t)) где I(t)-единичный оператор в H(t), называется диагональным оператором в Н=Н(t)dμ(t).

Пусть ε = ((H(t))tT, Г) – μ-измеримое поле гильбертовых пространств на Т, μ1 – мера на Т, эквивалентная μ (то есть каждая из мер μ1, μ абсолютно непрерывна по другой), и ρ(t)=. Тогда отображение, которое каждому хН==Н(t)dμ(t) составляет поле t→ρ(t)-1/2х(t)Н1=Н(t) dμ1(t),

есть изометрический изоморфизм Н на Н1, называемый каноническим.

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

||ρ(t)-1/2х(t)dμ1(t)||2 = ||х(t)||2ρ(t)-1 dμ1(t) = ||х(t)||2dμ1(t) = ||х(t)||2

Теорема 2.10. Пусть Т – борелевское пространство, μ – мера на Т, t→Н(t) – измеримое поле гильбертовых пространств на Т, t→π(t) – измеримое поле представлений А в Н(t),

Н =Н(t) dμ(t) , π1==π(t )dμ(t),

Д – алгебра диагональных операторов в Н. Пусть μ1 – мера на Т, эквивалентная μ,

Н1 =Н(t) dμ1(t) , π1 =π(t) dμ1(t),

Д1 – алгебра диагональных операторов в Н1. Тогда канонический изоморфизм преобразует π в π1 и Д в Д1.

Доказательство. Пусть ρ(t)=. Канонический изоморфизм из Н в Н1 есть изометрический изоморфизм, который переводит х =x(t) dμ(t)Н в

Ux = ρ-1/2х(t) dμ1(t).

Пусть α А. Имеем

π1(α)Ux = π(t)(α) ρ-1/2 х(t) dμ1(t) = Uπ(t)(α) х(t) dμ(t) = Uπ(α)x,

поэтому и преобразуем π в π1. Тогда если SД, то аналогично SUx = USx, для любого хН.

Определение 2.14. Пусть Т, Т1 – борелевские пространства; μ, μ1 – меры на Т и Т1 соответственно; ε = ((H(t))tT, Г), Z1 = ((H1(t1))t1T1, Г), - μ-измеримое и μ1-измеримое поля гильбертовых пространств. Пусть η: Т→Т1 – борелевский изоморфизм, переводящий μ в μ1; η-изоморфизм ε на ε1 называется семейство (V(t))tT, обладающее следующими свойствами:

для любого tT отображение V(t) является изоморфизмом Н(t) на Н1(η(t));

для того, чтобы поле векторов t→x(t)H(t) на Т было μ-измеримо, необходимо и достаточно, чтобы поле η(t)→V(t)х(t) Н1(η(t)) на Т1 было μ1-измеримо.

Отображение, переводящее поле хН =Н(t) dμ(t) в поле η(t))→V(t)х(t) Н1 = Н1(t) dμ1(t) , есть изоморфизм Н на Н1, обозначаемый

«

1

2

3

4

5

6

7

8

»

• >>> Скачать <<<