Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
Используя результаты предыдущих параграфов, найдем общий вид $\mathscr{T}_{1}$-непрерывной э. у. п. о. функции со значениями в $\mathcal{F}(\mathfrak{Y}(\mathscr{H}))_{\text {。 }}$. Поскольку $\beta=\{\mathbf{C I}\}$, то, как следует из доказательства предложения $5, \mathscr{T}_{1}$-непрерывность в этом случае эквивалентна $\mathscr{g}_{2}$-непрерывности. Всякое нормальное представление алгебры $\mathscr{P}(\mathscr{H})$ с точностью до унитарной эквивалентности кратно тождественному, поэтому можно считать, что в теореме 1 где $\mathscr{H}_{0}$ — некоторое гильбертово пространство, $I_{0}$ — единичный оператор в $\mathscr{H}_{0}$. Из (2.9) тогда вытекает, что где $g \rightarrow W_{g}^{0}$ — непрерывное унитарноје представление $G$ в $\mathscr{H}_{0}$. Из (2.18) следует, что где $b_{0}(g)$ — сильно непрерывный коцикл представления $g \rightarrow W_{g}^{0}$ со значениями в $\mathscr{H}_{0}$. Тогда $B(g) X=X \otimes b_{0}(g)$, где введено обозначение $X \otimes \varphi_{0}$ для оператора из $\mathscr{E}$ в $\mathscr{H} \otimes \mathscr{H}_{0}$, отображающего вектор $\psi$ в $X \psi \otimes \psi_{0}$. Функция $z(g), g \in G$, оказывается вещественной функцией, удовлетворяющей уравнению Формула (2.21) принимает в итоге вид где $A$ — произвольный ограниченный оператор из $\mathscr{C}$ в $\mathscr{H} \otimes \mathscr{H}_{0}$, CEF( $\mathscr{C})$. Предположим далее, что $\mathscr{H}$ сепарабельно, а группа $G$ удовлетворяет второй аксиоме счетности. Тогда $\mathscr{H}$, а значит и $\mathscr{G}$, сепарабельны, и мы можем получить более детальное ккоординатное представление». Чтобы выделить кгауссовскую» компоненту, рассмотрим разложение $\mathscr{H}_{0}=\mathscr{H}_{1} \oplus \mathscr{H}_{2}$, где $\mathscr{H}_{1}=\{\varphi$ : $\left.: W_{g}^{0} \varphi=\varphi, \forall g \in G\right\}$, и пусть $b_{0}(g)=b_{1}(g) \oplus b_{2}(g)$ — соответствующее разложение коцикла $b_{0}(g)$. Выберем пронзвольный безусловный базис $\left\{r_{3}\right\}$ в $\mathscr{H}_{1}$. Пусть $\left\{r^{\prime}\right\}$ — сопряженный базис, морфизмы группы $G_{\text {в }}$ С. Пусть $\left\{v_{1}\right\}$ — безусловный базис в $\mathscr{H}_{2}$; определим $R_{j}, V_{j} \in \mathscr{D}(\mathscr{H})$ соотношением Формула (4.2) дает где причем ряд $\sum_{j, k} \gamma_{j k} R_{j}^{*} R_{k}$ сходится ультраслабо, а числовои ряд $\sum_{j, k} \gamma^{j k} \overline{r_{j}(g)} r_{k}(g)$ сходится абсолютно, где $l_{2}(g)=-\frac{1}{2}\left\|b_{2}(g)\right\|^{2}+i z(g)$. Функция $\mathscr{L}_{1}(g), g \in G$, и есть кгауссовское» слагаемое. Более подробную информацию о $\mathscr{L}_{2}(g)$ можно получить в случае абелевой сепарабельной локально компактной группы $G$. Тогда существует разложение $\mathscr{H}_{2}$ в прямой интеграл При этом где $\omega(x) € \mathscr{H}(x)$ и функция $\varphi(x)=\|\omega(x)\|^{2}$ такова, что интеграл сходится для всех $g$ и стремится к нулю при $g \rightarrow \varepsilon$. (см. [19], стр. 155). Рассуждая как в ([19], с 54), получаем где $J(g, x)$ — стандартная функция, определенная в [19], [25], а $\lambda$ — непрерывный морфизм группы $G$ в R. Обозначая $\varphi_{j k}(x)=\left(v_{j}(x) \mid v_{k}(x)\right), \varphi_{j}(x)=\left(v_{j}(x) \mid \omega(x)\right)$, преобразуем (4.5) к виду где $l_{2}(g)$ дается формулой (4.10). По пострюению, ряд \[ является положительно определенной для $\mu$-почти всех $x$. приходим к представлению где Если $\mathscr{L}(g)$ — скалярная э. у. п. о. функция, то представление, отвечающее факторизуемой п.о. функции $\Phi(g(\cdot))=$ $=\exp \int \mathscr{L}(g(t)) d t$ на группе функций аргумента $t$ со значениями в $G$ является безгранично делимым и действует в фоковском пространстве. Это утверждение составляет часть теоремы вложения Араки — Вудса [19], [25]. С точки зрения настоящей работы, основной математический результат, полученный в [13], можно интерпретировать как конструкцию специального представления (2:1) в некотором фоковском пространстве для кфакторизуемых» п.о. функций со значениями в $\mathcal{F}(\mathscr{F}(\mathscr{E}))$, задаваемых хронологически-упорядоченными экспонентами $\boldsymbol{\Phi}(g(\cdot))=$ $=\mathscr{T} \exp \int \mathscr{L}(g(t)) d t$. В работе Партасарати [26] эта конструкция была обобщена на класс функций $\mathscr{L}(g)$, близкий к (4.2). Следует, однако, заметить, что общие свойства положительной определенности, о которых шла речь в $\S 1$, в этих работах выявлены не были, и авторы использовали конкретную форму рассматриваемых функций.
|
1 |
Оглавление
|