Задачи теории вероятностей на пространствах с порядковой единицей
Автор: Аюпов Шавкат Абдуллаевич, Бердикулов Мусирмонкул Абдиллаевич
Журнал: Владикавказский математический журнал @vmj-ru
Статья в выпуске: 1 т.7, 2005 года.
Бесплатный доступ
В работе изучены условные ожидания и марковские операторы на пространствах с порядковой единицей. Примерами этих пространств являются в коммутативном случае M-пространства и полуполя ограниченных элементов, в некоммутативном случае - эрмитова часть C*- или W*-алгебр, в неассоциативном случае - JB- и JBW-алгебры.
Короткий адрес: https://sciup.org/14318135
IDR: 14318135
Текст научной статьи Задачи теории вероятностей на пространствах с порядковой единицей
В работе изучены условные ожидания и марковские операторы на пространствах с порядковой единицей. Примерами этих пространств являются в коммутативном случае M -пространства и полуполя ограниченных элементов, в некоммутативном случае — эрмитова часть C ∗ - или W ∗ -алгебр, в неассоциативном случае — JB- и J B W -алгебры. Условные ожидания на перечисленных алгебрах изучены многими авторами [1–4], а марковские операторы рассмативались в работах [5–10]. Так как пространства с порядковой единицей являются обобщением этих пространств, и элементы пространства с порядковой единицей истолковываются как пространство случайных величин, то естественно ставится задача: изучить условные ожидания и марковские операторы на пространствах с порядковой единицей.
Пространство с порядковой единицей представляет собой некоторую статистическую модель [11], как пространство аффинных функций на пространстве состояний. В классической модели пространством состояний является симплекс, а в общем случае — пространство состояний — произвольное выпуклое множество в некотором локально выпуклом пространстве.
Будем придерживаться терминологии работ [12, 13].
1. Предварительные сведения
Пусть A — действительное линейное упорядоченное пространство. Через A+ обозначим множество положительных элементов A. Элемент e ∈ A+ называется порядковой единицей, если для каждого a ∈ A существует число λ ∈ R+ такое, что -λe 6 a 6 λe. Если порядок архимедов, то отображение a ^ kak = inf{^ > 0 : -^e 6 a 6 ^e}
является нормой в A. В случае, когда A — банахово пространство относительно этой нормы, говорят, что (A, е) — пространство с порядковой единицей е .
Пусть V — действительное линейное пространство с порождающим конусом V + , обладающим базой, т. е.
V = V + - V + , V + = [ XK, XK П K = 0 при А = 1.
А > 0
Будем предполагать, что множество B = conv(K U — K ) радиально компактно, т. е. B П L является замкнутым ограниченным отрезком для любой прямой L, проходящей через нулевой элемент V . В этом случае функционал Минковского
||pk = inf{X > 0 : р G XB} превращает V в нормированное пространство, называемое пространством с базовой нормой; будем обозначать его в дальнейшем через (V, K).
Пусть (A, е ) — пространство с порядковой единицей, (V, K ) — пространство с базовой нормой. Предположим, что эти пространства находятся в отделимой, порядковой и нормированной двойственности. Двойственность между этими пространствами обозначим через h· , ·i .
Известно [12], что сопряженное к (V, K) пространство является пространством с порядковой единицей и, наоборот, сопряженное к (A, е ) пространство является пространством с базовой нормой. Поэтому, если не оговорено противное, то обычно в качестве двойственного пространства для A берут пространство V = A * .
В дальнейшем, проектором в A будем называть линейное, положительное, ∗ -слабо непрерывное отображение R : A ^ A, удовлетворяющее условию R 2 = R.
Проектор R называется гладким, если условие р G V+, ha, р) = 0 при a G ker+ R = A+ П ker+ R влечет ha, р) = 0 при a G ker R.
Проектор Q называется квазидополнением проектора R, если ker+ R = im+ Q, im+ R = ker+ Q.
Проектор R называется P - проектором , если он по норме не превосходит 1, гладкий и обладает гладким квазидополнением с нормой, не превосходящей 1.
Заметим, что гладкое квазидополнение к P -проектору R всегда единственно, и в дальнейшем будем обозначать его через R 0 .
Множество всех P -проекторов в A обозначим через P.
Элементы множества U = { u = R e : R G P } называются проективными единицами.
Точно так же можно определить аналогичные понятия в V , так как по формуле h Ra, р) = h a, R*р ) для всех a G A, р G V, определяется сопряженное к R отображение на V .
Грань G С K называется выставленной, если G = { р G K : h a, р ) = 1 } для некоторого a G A; проективной, если a = u = R e для некоторого R G P.
Множество всех проективных граней K обозначим через F.
Определение 1.1 [13]. Говорят, что (A, е ) и (V, K) находятся в спектральной двойственности , если выполнены следующие условия:
-
(i) Каждая выставленная грань K проективна.
-
(ii) Каждый элемент a Е A допускает единственное разложение a = a + — а - такое, что a + , a - Е A + и a + X a - .
Здесь a + X а - означает, что
{ р Е K : -a + , р® = 1 } П { р Е K : -a - ,р® = 1 } = 0.
Если A и V находятся в спектральной двойственности и A = V * , то множества U , P, F являются попарно изоморфными логиками ([12; следствие 12.5]).
∞
В этом случае любой элемент a Е A имеет спектральное разложение: a = J Xdu \ .
-∞
Здесь { u λ } — спектральное семейство проективных единиц для a.
Две проективные единицы u = R e и v = Q e называются совместными, если R и Q коммутируют: RQa = QRa для всех a Е A.
Два элемента a, b ∈ A называются совместными , если их спектральные семейства попарно совместны. Как и в случае йордановых алгебр, совместность a и b обозначим через a ↔ b.
Напомним, что замкнутое по норме подпространство M ⊂ A называется абелевым, ∞ если оно замкнуто относительно отображения a ^ a(2) = J X^du\ и любые два элемента -∞ в M совместны.
P -проектор R называется центральным, если R + R = I . Проективная единица и = R e называется центральной , если R — центральный P -проектор.
Пространство (A, е ) с порядковой единицей называется фактором, если оно не содержит центральных проективных единиц, кроме 0 и e .
Проективная единица и = R e называется абелевой, если im R = R(A) — векторная решетка. Пространство A с порядковой единицей имеет тип I , если для любого центрального P -проектора R в A подпространство im R содержит абелеву проективную единицу. Элемент u ∈ U называется атомом , если u — минимальный элемент логики U . Проективная единица u называется конечной , если она является супремумом конечного числа атомов.
Минимальное число атомов, супремум которых равен u, называется размерностью u. Фактор A назовем фактором типа I n , если размерность единицы e равна n. Если e является супремумом только n ортогональных атомов, то назовем A однородным фактором типа I n .
Элемент р Е V называют положительным, если р(a) > 0 для всех a Е A + , в этом случае пишут р > 0. Положительный функционал р называется состоянием, если ||р || = 1. Это равносильно равенству р( е ) = 1. Множество состояний на A обозначим через S (A). Известно, что S (A ) — * -слабо замкнутое подмножество V.
Определение 1.2. Состояние τ на A называется следом , если
т (a) = т ( Ra ) + т ( R'a ) , a Е A, R Е P.
Условные ожидания на J B W -алгебрах определены следующим образом [3].
Пусть A — J B W -алгебра с единицей 1 , A 1 — ее JBW-подалгебра, содержащая 1 .
Определение 2.1. Линейное отображение E : A ^ A i называется условным ожиданием относительно A 1 , если
-
(i) E ( 1 ) = 1 ;
-
(ii) x > 0 ^ E ( x ) > 0;
-
(iii) E (ax) = aE(x) для любых x G A и a 6 A i .
Известно [3], что если A — J B W -алгебра типа I, то относительно произвольной подалгебры A 1 ⊂ A существует условное ожидание.
Теорема 2.1. Пусть M : A ^ A i — линейное отображение со свойствами:
-
1) м ( 1 ) = 1 ;
-
2) x > 0 ^ M (x) > 0;
-
3) M ( U p ( x )) = U p ( Mx ) для любых элемента x G A и идемпотента p G A i .
Тогда M является условным ожиданием относительно A 1 .
-
<1 Проверим выполнение условий (i)-(iii) определения 2.1. Первые два условия очевидны. Поэтому проверим выполнение условия (iii).
Пусть M ( U p ( x )) = U p ( Mx ) для любых идемпотента p в JBW-подалгебре A i и элемента x G A. Тогда имеем U p o ( Ex ) = E ( U p o x), x G A, где p = 1 — p G A i .
Известно [14], что имеет место пирсовское разложение x = Upx + 2Up,p x + Upo x элемента x ∈ A относительно идемпотента p. Поэтому имеем
Mx = M ( U p x ) + M (2 U p,p o x ) + M (U p o x).
С другой стороны, пирсовское разложение элемента Mx есть
Mx = U p ( Mx ) + 2 U p,p o ( Mx ) + U p o ( Mx ) .
Исходя из этого, учитывая условие 3) теоремы, имеем
2 U p,p o ( Mx ) = M (2 U p,p o x ) .
Так как U p,p o = 2px — 2 p ( px ) по определению [14], то последнее означает, что
2 p ( Mx ) — 2 p ( p ( Mx )) = M (2 px — 2 p ( px )) .
Точно так же условие 3) теоремы означает, что
2 p ( p ( Mx )) — pM (x) = M (2 p ( px) — px ) .
Сложив эти равенства, получим pM(x) = M(px), x G A, p G Ai.
Так как линейные оболочки идемпотентов слабо плотны в JBW-подалгебре A1 и M слабо непрерывно, то заключаем, что aM(x) = M(ax'), x G A, a G Ai. B
-
3. Условное ожидание на пространствах с порядковой единицей
Пусть (A, e ) — пространство с порядковой единицей, B — его подпространство, являющееся пространством с порядковой единицей, содержащим e . Как было сказано выше, примером пространства с порядковой единицей является J B W -алгебра, поэтому теорема 2.1 подсказывает нам следующее
Определение 3.1. Линейное отображение E : A ^ B назовем условным ожиданием относительно B , если
-
1) E( e ) = e ;
-
2) a > 0 ^ E(a) > 0;
-
3) E ( Ra ) = R ( Ea ) для всех R E P таких, что Re E B и a E A.
Пример 1. Пусть (A, e ) — пространство с порядковой единицей, р — некоторое состояние на A. Для a E A положим E (a) = p(a) e . Тогда E — условное ожидание относительно подпространства B = { A e : A E R } .
Пример 2. Пусть Q E P. Положим E (a) = Qa + Q ' a, a E A. Тогда E — условное ожидание относительно подпространства
B = { a E A : a = Qa + Qa } = im Q + im Q'.
В самом деле, выполнение свойств 1) и 2) из определения 3.1 вытекает из свойств P -проектора Q .
Проверим свойство 3. Пусть R e E B, т. е. R e E im Q + im Q ' . Это означает, что R и Q совместные, т. е. RQ = QR и RQ ' = Q'R (см. [12; 5.26]). Следовательно, RE(a) = E (Ra).
Пример 3. Пусть A — J B W -алгебра с единицей 1 , B — ее J B W -подалгебра, содержащая 1 , и E — условное ожидание относительно B . Тогда E — условное ожидание в смысле определения 3.1.
Действительно, пусть выполнено условие (iii) в определении 2.1. Если p ∈ B — некоторый идемпотент, то P -проектор R, соответствующий р, имеет вид Ra = U p a. Тогда
E (U p a) = E (2p(pa) — pa) = 2p(pEa) — pEa = U p Ea.
Из теоремы 2.1 вытекает, что если пространство с порядковой единицей является J B W -алгеброй, то определение 3.1 совпадает с определением 2.1.
Пусть (A, e ) — пространство с порядковой единицей, B — его подпространство.
Лемма 3.1. Если E — условное ожидание относительно B, то ||E || = 1 .
C Пусть a E A и | a | 6 1, т. е. — e 6 a 6 e . Тогда, в силу положительности E , имеем, что E (a + e ) > 0 и E ( e — a) > 0. Так как E — линейное и E( e ) = e , то последние неравенства означают — e 6 E (a) 6 e . Следовательно, k E || 6 1. Но E ( e ) = e . Поэтому « =1. B
Лемма 3.2. Условное ожидание E относительно B является идемпотентным отображением, т. е. E ( E (a)) = E(a) для всех a E A.
C Если u E B — некоторая проективная единица, то u = R e для некоторого P -проектора R и, в силу условий 3) и 1) определения 3.1, имеем E (u) = E (R e ) = R e = u.
Далее, пусть a = P k=1 A i u i — простой элемент B. Тогда очевидно, что u i E B и E (a) = P k =i E ( A i u i ) = р к =! A i u i = a. Значит, E(a) = a для простых a E B. Так как произвольный элемент B есть предел по норме сходящихся простых элементов [12] и E непрерывно по норме в силу леммы 3.1, то имеем E ( a ) = a для любого a E B . Так как E (a) E B для любого a E A, то имеет место равенство E ( E (a)) = E(a). B
Определение 3.2. Пусть р — некоторое состояние на A. Если p(Ea) = p(a) для любого a ∈ A, то говорят, что E сохраняет ρ.
Очевидно, что в примере 2 условное ожидание E сохраняет след, в примере 1 условное ожидание E сохраняет состояние ρ.
Актуальным является вопрос: при каких условиях существует условное ожидание относительно данного подпространства? В общем случае этот вопрос пока остается открытым.
Здесь задача решается для одного класса пространств с порядковой единицей типа I 2 — обобщенных спин-факторов.
Пусть X — рефлексивное банахово пространство, единичный шар X 1 которого — гладкое, строго выпуклое множество. Тогда собственными гранями единичного шара сопряженного пространства X 1 ∗ являются только множества вида { σ } , где σ — экстремальная точка X 1 ∗ и для каждого σ ∈ ∂ eX 1 ∗ существует единственный элемент x ∈ ∂eX 1 такой, что a(x) = 1.
Рассмотрим пространства A = R + X и V = R + X * . Порядок и норма на A (на V) определяются следующим образом:
a = а + x > 0 О а > ||xk (р = в + € > 0 О в > k€k) , kak = Ы + kxk, (kpk =тах(|в|, k€k)
для a ∈ A, ρ ∈ V .
После таких обозначений и определений A становится пространством с порядковой единицей, а V — пространством с базовой нормой, которые находятся в спектральной двойственности относительно формы:
ha, pi = ha + x, в + €i = ав + €(x), где ξ — ограниченный линейный функционал на X .
Пространства с порядковой единицей такой конструкции назовем обобщенными спин-факторами [15, 16].
След τ на обобщенном спин-факторе единственен и определен следующим образом: т ( a + x) = a.
Так как единичный шар X — гладкое, строго выпуклое множество, то элементы вида u = 2 + 2 x o , где x o G X, ||x o k = 1, являются проективными единицами, а P -проектор R, соответствующий u, имеет вид:
Ra = ha, ui u, где u — единственное состояние на A со свойством hu, ui = 1.
Пусть A = R+X — обобщенный спин-фактор, B — его произвольное подпространство. Нетрудно показать, что B имеет вид: B = R + X o , где Xo — некоторое подпространство X.
Теорема 3.1. В A существует сохраняющее след условное ожидание относительно B тогда и только тогда, когда существует проектор T из X в X 0 .
-
<1 Необходимость. Пусть в A существует сохраняющее след условное ожидание относительно B = R + X o . Для произвольного a = а + x G A элемент Ea в B имеет вид: Ea = а + Tx.
В самом деле, пусть Ea = а + f (x) + Tx для некоторого функционала f на X и линейного отображения T : X ^ Xo. Возьмем u G B и пусть u = Re. Так как Eu = u, то свойство 3 условного ожидания, т. е. равенство E(Ra) = R(Ea) означает, что ha, ui u = hEa, ui u, т. е. ha, ui = hEa, ui.
Так как проективная единица u имеет вид u = 2 + 2 x o и ей соответствует состояние u = 1 + ^ 0 в B * , ^ o G X * , ||Ы = 1, h ^ o ,x o i = 1, то имеем:
ha, ui = ha + x, 1 + ^oi = a + £o (x), hEa, ui = ha + f (x) + Tx, 1 + ^oi = a + f (x) + ^o(Tx).
Из этого заключаем, что f (x) = 0 для всех x G X. Значит, Ea = a + Tx.
Теперь докажем, что T — проектор из X в X0 . В силу идемпотентности E, имеем a + Tx = Ea + E (Ea) = E (a + Tx) = a + T 2x,
-
т. е. T 2 x = Tx. Значит T тоже является идемпотентным.
Покажем, что ||T k 6 1. Пусть a = a+x > 0, т. е. a > ||x k . Тогда E(a) = a+Tx > 0, т. е. a > | Tx | . Отсюда ||T ( a ) || 6 1. Так как ||( a ) || 6 1, то | T | 6 1 в силу произвольности x и α. Следовательно, T — проектор.
Достаточность. Пусть существует проектор T из X в X q . Тогда положим E(a + x) = a + Tx. Покажем, что E будет условным ожиданием относительно B.
Проверим выполнение условий определения 3.1.
1): Очевидно, так как e = 1 + 0.
-
2): Пусть a = a + x > 0, т. е. a > | x | . Так как | T | 6 1, то | Tx | 6 | x | . Поэтому | Tx | 6 a. Это означает, что E(a + x) = a + Tx > 0.
-
3): Так как u = 2 + 2 x o G B — проективная единица и ей соответствует состояние u = 1 + &, £ o G X Q , то для любого a = a + x
E(Ra) = h a, u i u = h a + x, 1 + ^ o i u = (a + £ o (x))u,
R(Ea) = h Ea, u i u = h a + Tx, 1 + ^ o i u = (a + £ o (Tx))u.
Так как T — проектор из X в X 0 , то T ∗ — проектор из X 0 ∗ в X . Это означает, что £ o (Tx) = ^ o (x) для всех x G X, ^ o G X * . Поэтому имеем R(Ea) = E(Ra).
Сохранение следа отображением E вытекает из определения следа. B
Аналогичная теорема в случае, когда A — J B W -алгебра, доказана в [4].
Теорема 3.2. Пусть A = R + X — обобщенный спин-фактор, р = 1 + £ — состояние на A и B = R + Xq — его подпространство. Для того, чтобы существовало сохраняющее ρ условное ожидание относительно B необходимо и достаточно, чтобы существовал проектор T из X в X q с условием T * £ = £ .
-
<1 Необходимость. Пусть E : A ^ B — сохраняющее р (p(Ea)) = p(a)) условное ожидание относительно B . По теореме 1 существует проектор T из X на X 0 , и условное ожидание E имеет вид E(a + x) = a + Tx. Далее,
p(Ea) = h E(a + x), p i = h a + Tx, 1 + £ i = a + £(Tx),
p(a) = h a + x, 1 + £ i = a + £(x).
Так как E сохраняет состояние p, то £(Tx) = £(x), x G X, т. е. h T * £, x i = h ^,x i , x G X. Следовательно, T * £ = £.
Достаточность вытекает из теоремы 3.1. B
Следствие 3.1. Пусть A = R + X — обобщенный спин-фактор, р — состояние на A и B = R(A) + R 0 (A) для некоторого P-проектора R. Условное ожидание относительно B сохраняет р тогда и только тогда, когда р = u , где u = Re .
Известно [17], что если в банаховом пространстве существует проектор на произвольное подпространство, то оно является гильбертовым пространством.
Следствие 3.2. Пусть A = R + X — обобщенный спин-фактор. Условное ожидание относительно произвольного подпространства A существует тогда и только тогда, когда X — гильбертово пространство.
Теорема 3.3. Пусть A — однородный фактор типа I n и B — его абелево подпространство, содержащее e . Тогда существует условное ожидание относительно B .
-
<1 Пусть { u i } n =i — максимальное семейство попарно ортогональных атомов в B таких,
n
что e = U i . Т. Тогда B =
n
< ]Т a i u i , a i G R >. Пусть {Q i } n =i — семейство P -проекторов,
i =i
. Положим
соответствующее { u i } n =i
n
Ea = Q i a.
i =1
Тогда E — условное ожидание относительно B .
В самом деле, выполнение условий 1) и 2) определения 3.1 очевидно. Пусть R — некоторый P -проектор такой, что R e G B . Тогда u = R e — проективная единица в B и она имеет вид u = P k =i U i , в силу однородности A, где { u i } k =i С { u i } n =r Из [18] вытекает, что R = P k =i Q i . Поэтому проверить выполнение свойства E ( Ra) = R ( Ea ) для всех R G P и a G A не составляет труда. B
-
4. Марковские операторы на пространствах с порядковой единицей
Пусть ( A, e ) — пространство с порядковой единицей.
Определение 4.1. Линейный оператор T : A ^ A называется марковским, если
-
1) T — положительный, т. е. Ta > 0 для a > 0;
-
2) T e = e ;
-
3) Ta n % Ta при a n % a, a n , a G A, n G N.
Пример 1. Пусть (A, e ) — произвольное пространство с порядковой единицей, а R — некоторый P -проектор на A. Тогда отображение T = R + R' является марковским оператором, где R 0 — квазидополнение R .
Пример 2. Пусть A = R + X — обобщенный спин-фактор, где X — банахово пространство. Произвольный ограниченный линейный положительный оператор T : A ^ A со свойством T e = e имеет вид T ( a + x) = a + Sx, где S — линейный ограниченный оператор, отображающий X в себя. В этом случае T является марковским тогда и только тогда, когда ||S || 6 1.
Пример 3. Условное ожидание на A относительно подпространства B является примером марковского оператора.
Любой марковский оператор T порождает сопряженный оператор из A ∗ в A ∗ , определенный равенством (pT)(a) = p(Ta), где р G A * , a G A. Очевидно, если р G V + (или S (A)), то pT G V + (соответственно, S (A)).
Будем говорить, что на пространстве с порядковой единицей A задан марковский
процесс,
если на
А
определено семейство
{
T
st
}
o
t< x
марковских операторов, обладающее обобщенным полугрупповым свойством (уравнение Колмогорова — Чепмена)
T rt = T rs T st , r 6 s 6 t, (1)
причем T ss = I , где I — тождественный оператор.
Если T s + rt + r = T st для любых s,t (s 6 t ) и r > 0, то процесс назовем однородным. В этом случае T st зависит только от разности t — s и достаточно ограничиться одним параметром: T r ( r = t — s). Тогда уравнение (1) имеет вид
T s T t = T s + t . (2)
В примере 2 будет задан марковский процесс, когда задана полугруппа ограниченных операторов в банаховом пространстве X .
Определение 4.2. Марковский процесс {Tst} назовем регулярным, если существует ро G S(А) такое, что для любых ^ G S(А), s > 0 справедливо соотношение lim ^Tst(a) = ро(а) (3)
t→+∞ для любого a G A.
Пусть каждому t G R, t > 0, поставлен в соответствие нормальный положительный функционал ^ t G V + на A. При каждом фиксированном a G А величина ^ t (a) является числовой функцией числового аргумента t, причем, если a > 0, то ^ t (a) неотрицательная функция.
Рассмотрим следующее условие, являющееся обобщением условия (А о ) из [8] и условия (А) из [6]:
(A1) Существует семейство функционалов ^t = 0 такое, что для любых s > 0 и ^ G S(А) найдется to > s такое, что pTst > ^s для всех t > to, где щ > Ц2 (№,№ G V +) означает, что ^1(u) > ^2(u) для любой проективной единицы u G U.
Теорема 4.1. Пусть марковский процесс { T st } удовлетворяет условию (А 1 ) . Если числовая функция ^ t ( e ) ограничена снизу некоторым числом c > 0 , то процесс { T st } регулярен. Более того, сходимость к предельному состоянию ν 0 равномерна, т. е.
lim \\ ^T st — v o k * = 0
t→∞ для любых s > 0 и ^ G S(A).
Лемма 4.1. В условиях теоремы 4.1 для любых ц,р G S(А) и s > 0 справедливо соотношение lim ||^Tst — vTs< =0.
t→∞
Пусть теперь марковский процесс однороден, т. е. задан однопараметрической полугруппой марковских операторов { T t } t> o на А. Тогда в условии (А 1 ) семейство функционалов заменяется одним функционалом; (А о ): существует ненулевое ^ о G V + такое, что для любого ^ G S(A) найдется t o такое, что
^T t > ^ о при t > t o .
Определение 4.3. Нормальное состояние v G S (A) называется стационарным распределением для процесса { T t } , если vT t = v для любого t > 0.
Теорема 4.2. Пусть однородный марковский процесс {Tt} удовлетворяет условию (Ag). Тогда существует единственное стационарное распределение vg G S (A) такое, что для любого ^ G S(A) справедливо соотношение lim k^Tt - vgk* = 0. (4)
t→∞
C Существование нормального состояния v g , удовлетворяющего условию (4), вытекает из теоремы 4.1. Необходимо лишь установить инвариантность v g относительно полугруппы { T t } . Для любого a G A и s > 0 имеем в силу (4)
v g T s ( a ) = lim ( pT t )( T s ( a )) = lim ^T s+t (a) = v g (a), t→∞ t→∞
-
т. е. v g T s ( a ) = v g ( a ) для любого a G A или v g T s = v g . Покажем, что других стационарных распределений нет. Если v i G S (A ) — инвариантное состояние, то v i T t = v i для любого t > 0 и, значит, в силу (4)
-
5. Об одной эргодической теореме
v 1 ( a ) = lim v 1 ( T t ( a )) = v g (a) для всех a G A. B t→∞
Пусть (A, e ) — пространство с порядковой единицей.
Лемма 5.1. Если { T n } — возрастающая последовательность операторов на A и sup k T n k = K < го , то существует линейный оператор T такой, что для любого a G A
Ta = lim Tn a, n→∞ при этом kT k 6 K.
C Для m > n оператор T m — T n положителен, следовательно, для любого a G A + и линейного положительного функционала ϕ имеем
^ ( T m a — T n a) = ^(T m a) — ^(T n a) > 0.
Для фиксированного a и ^ числовая последовательность { ^(T n a) } возрастает и | ^(T n a) | 6 k ^ k • k T n a k 6 K k ^ k • k a k . Отсюда заключаем, что существует конечный предел lim ^ (T n a). n→∞
Далее, пусть a и у — произвольны. Так как a = a + — a - , то
^(T m a — T n a ) = V + ( T m a + — T n a + ) — V - ( T m a + — T n a + )
-
— V + ( T m a — — T n a - ) + ^ — ( T m a — — T n a — ) .
Из сказанного выше следует, что | ^(T m a — T n a) | ^ 0, m, n ^ го .
Известно, что ||T m a — T n a k = sup | ^(T m a — T n a) | . Следовательно, последовательность k^k 6 i
{Tna} фундаментальна по норме. Так как A полно, то существует Ta = lim Tn a. Опреде-n→∞ ленный таким образом оператор T аддитивен и однороден. Так как kTnak 6 kTn k · kak 6
K k a k , то в пределе имеем k T a k 6 K k a k , т. е. T — ограниченный линейный оператор и k T k6 K. B
Определение 5.1. Элемент у G V назовем единицей в V, если у > 0 и множество U { g G V : — пу 6 g 6 пу } плотно по норме в пространстве V.
Теорема 5.1. Пусть Т : V ^ V — положительное, линейное отображение такое, что k T к 6 1 и Ту 6 у , где у — единица в V. Тогда для любого f G V существует f G V такое, что
-
1 n— 1
T k f → f при n → ∞ по норме V.
n k=0
C Рассмотрим выпуклое множество
S n = { g G V : — пу 6 g 6 пу } .
Для любого ортогонального семейства { u k } проективных единиц y ( u k ) ^ 0 при к ^ го в силу нормальности у. Так как для любого g G S n верно | g(u k ) | 6 ny ( u k ), то lim g ( u k ) = 0 равномерно по всем g G S n .
k→∞
Кроме того, k g k 6 n k ϕ k для всех g ∈ S n . По теореме 3 в [19] множество S n слабо относительно компактно. Очевидно, что оно и слабо замкнуто. Тогда S n — слабо компактное подмножество V .
Пусть Т : V ^ V — положительный линейный оператор такой, что kTк 6 1 и Ту 6 у. Тогда Т(Sn) С Sn. Положим m-1
T m = - X Т k .
m k=0
Для любого f ∈ S n последовательность { T m f } лежит в S n . Так как S n слабо компактно, то по теореме Эберлейна — Шмульяна [20] S n слабо секвенциально компактно. Поэтому из последовательности { T m f } можно выбрать слабо сходящуюся последовательность Т т к f ^ f G V. Так как ||Т к 6 1, то выполнены все условия теоремы Иосиды [20; гл. VIII, § 3, теорема 2]. Из нее следует, что T m f → f по норме V . Таким образом,
∞ утверждение теоремы доказано для любого f ∈ Sn , а значит, для всех f ∈ Sn .
n =1
∞
Пусть f ∈ V — произвольно. По условию теоремы, Sn плотно в V . Поэтому для n=1 ∞ любого е > 0 существуют fi G U Sn и /2 G V такие, что f = fi + /2 и kf2k 6 е/3.
n =1
∞
Рассмотрим последовательность {Tmf} = {Тт/1 + Tmf2}. Так как f G U Sn, то после- n=1
довательность { T m f 1 } сходится в V и поэтому фундаментальна, т. е. ||T n f 1 — T m f 1 k 6 е/3 при достаточно больших m, n.
Далее, для всех m kTmf2 к =
m- 1
- X Т k f2 m k=0
m- 1
6 mm Е кТ k ли < k =0
ε
.
Значит, при достаточно больших m, n
-
kT m f — T ^ f к 6 ||Т ш / 1 — Т пА || + кТ т / г к + кТ п / г к< 3 + 3 + 3 = е.
-
6. Вероятностные пространства на пространствах с порядковой единицей
В силу произвольности ε, это означает фундаментальность последовательности { T m f } . Z Z
Так как V полно, то существует f такое, что T m f i ^ f . B
Введем понятие вероятностного пространства на пространствах с порядковой единицей. В частном случае, когда рассматриваемое пространство является йордановой алгеброй, оно совпадает с понятием вероятностного пространства на йордановой алгебре.
Вероятностное пространство на пространстве с порядковой единицей — это пара (A, р), где A — пространство с порядковой единицей, р — точное нормальное состояние на A. При этом элементы A истолковываются как ограниченные случайные величины, ρ — как математическое ожидание случайных величин, логика проективных единиц U A — как множество событий.
Классическое вероятностное пространство (Q, F, P), где Q — пространство всех элементарных событий, F — σ-алгебра событий, P — вероятность, может быть рассмотрено как пример вероятностного пространства на пространствах с порядковой единицей (абелев случай). Именно в качестве пространства с порядковой единицей A выступает пространство L X (Q ,F, P ) ограниченных случайных величин, а в качестве р — математическое ожидание случайных величин, построенных по вероятности (интеграл по мере P ). Из [12] вытекает, что всякое вероятностное пространство на абелевых пространствах с порядковой единицей может быть отождествлено с классическим вероятностным.
Рассмотрим случай, когда состояние ρ на A является следом (см. § 1).
Пусть (A, т )-вероятностное пространство на пространствах с порядковой единицей, причем τ — след. Рассмотрим множества вида
N ( е, 5) = ©a Е A : ( 3 u Е U ) u = Re, т ( е — и ) <5, ||Ra k < е } .
Совокупность множеств { N ( е, 5), е > 0, 5 > 0 } образует базис окрестностей нуля для некоторой топологии.
Определение 6.1. Пусть { x n } n = 1 С A, х Е A. Будем говорить, что последовательность { x n } n =i сходится по вероятности к х, если для любых е, 5 > 0 существует n g = п ( е, 5) такое, что x n — х Е N ( е, 5 ) при n > n g .
Определение 6.2. Будем считать, что x n → x почти наверное , если
( V е > 0)( 3 и Е U ) и = Re, т ( е — и ) <5, | R(x n — х) | ^ 0, n ^ го .
Функция распределения случайной величины a ∈ A определяется как
Fa(A) = т (их), где {uλ } — спектральное семейство проективных единиц для a.
Для вероятностных пространств на пространствах с порядковой единицей можно также ввести аналоги условных математических ожиданий (§ 3), мартингалов, марковских операторов (§ 4) и доказать различные варианты теорем о сходимости мартингалов, эргодических теорем и аналогов других теорем теории вероятностей.
На примере вероятностного пространства на обобщенном спин-факторе (см. § 3) разберем некоторые из этих понятий.
Пусть A = R + X — обобщенный спин-фактор. Всякий элемент a = а + x можно однозначно представить в виде линейной комбинации двух проективных единиц:
a = а + x = (а + ||x||)ua + (а — ||x|)ua, где
1 1 x
= 2 + 2 И ’
u' a = e — U a
Поэтому спектральным семейством для a является семейство
u x = e — U a
e
при A 6 а — ||x k ;
при а — ||x || < A 6 а + | x | ; при A > а + ||х | .
В частности, функцией распределения для a является
F a (A) =
ч1
при A 6 а — | x | ;
при а — | x | < A 6 а + | x | ; при A > а + ||х | .
Отсюда видно, что две случайные величины a = а+x и b = в +У одинаково распределены тогда и только тогда, когда а = в, H x H = 1у|.
Нетрудно заметить, что в вероятностном пространстве на обобщенном спин-факторе (A, т) сходимости по вероятности, и почти наверное и по норме совпадают и означают, что а п — а, x n — x, где a n = а п + x n , a = а + x G A (через x n — x обозначена сходимость в банаховом пространстве X). В то же время, сходимость по распределению означает, что α n → α, k x n k → k x k .
Можно показать, что для двух проективных единиц и = 2 + 2 x o и v = 2 + 2 y o условие и ^ v равносильно x o = y o .
По определению a ^ b О U a ^ и ь . Так как U a = 2 + 2 X и и ь = 2 + 2 y , то ^^ = y . Это означает, что x = Ay, т. е. элементы банахова пространства X пропорциональны. Итак, совместность в обобщенном спин-факторе элементов a = а + x и b = в + У означает пропорциональность элементов x и y . В частности, всякое максимальное абелево подпространство A имеет вид: A o = R e + Rx o , где x o — некоторый единичный элемент в X.
Так как абелево пространство можно превратить в алгебру, то нетрудно заметить, что A0 — порядково и алгебраически изоморфно R2 при соответствии а + Axo —> (а + A, а — A) G R^.
Поэтому модуль элемента a = а + x можно вычислить по формуле:
| a | = 2 ( 1 (а + | x | ) | + | (а — | x | ) | ) + 2 ( | (а + | x | ) | + | (а — | x | ) | ) ^|.
В частности, | 0 + x | = | x | e .
Список литературы Задачи теории вероятностей на пространствах с порядковой единицей
- Umegaki H. Conditional expectation in an operator algebra II//Tohoku Math. J.-1956.-V. 8.-P. 86-100.
- Takesaki M. Conditional expectations in von Neumann algebras//J. Funct. Anal.-1972.-V. 9.-P. 306-321.
- Аюпов Ш. А. Условные математические ожидания и мартингалы на йордановых алгебрах//Докл. АН УзССР.-1981.-№ 10.-С. 3-5.
- Аюпов Ш. А., Бердикулов М. А., Азизов Э. Ю. Условные ожидания на спин факторах//Узб. мат. журн.-1991.-№ 3.-С. 3-9.
- Сарымсаков Т. А., Зимаков Н. П. Эргодический принцип для марковских полугрупп в упорядоченных нормированных пространствах с базой//Докл. АН СССР.-1986.-Т. 289, № 3.-С. 554-558.
- Сарымсаков Т. А. Полуполя и теория вероятностей.-Ташкент: ФАН, 1981.-89 с.
- Сарымсаков Т. А. Некоммутативные вероятностные пространства на O*-алгебрах//Докл. АН СССР.-1978.-Т. 241, № 2.-С. 297-300.
- Сарымсаков Т. А., Аюпов Ш. А. Регулярность цепей Маркова на O*-алгебрах//Докл. АН УзССР.-1979.-№ 4.-С. 3-5.
- Аюпов Ш. А. Эргодические теоремы для цепей Маркова на O*-алгебрах//Докл. АН УзССР.-1978.-№ 7.-С. 11-13.
- Аюпов Ш. А. Независимость и марковские процессы в вероятностных пространствах на йордановых алгебрах//В сб.: Предельные теоремы для случайных процессов и смежные вопросы.-Ташкент: ФАН.-1982.-С. 28-41.
- Холево А. С. Вероятностные и статистические аспекты квантовой теории.-М.: Наука, 1980.-320 с.
- Alfsen E. M., Shultz F. W. Non commutative spectral theory for affine function spaces on convex sets//Mem. Amer. Math. Soc., 172. Providence R.I.: AMS.-1976.-P. 122.
- Alfsen E. M., Shultz F. W. State spases of Jordan algebras//Acta Мath.-1978.-V. 140, № 3/4.-P. 155-190.
- Жевлаков К. А., Слинько А. М., Шестаков И. П., Ширшов А. И. Кольца, близкие к ассоциативным.-М.: Наука, 1978.-432 с.
- Бердикулов М. А., Одилов С. Обобщенные спин-факторы//Узб. мат. журн.-1995.-№ 1.-С. 12-17.
- Бердикулов М. А. Пространства с порядковой единицей однородного типа I//Изв. АН УзССР. Сер. физ-мат. наук.-1990.-№ 4.-С. 13-18.
- Канторович Л. В., Акилов Г. П. Функциональный анализ.-М.: Наука, 1977.-752 с.
- Тихонов О. Е. Спектральная теория для пространств с базовой нормой//В сб.: Конструктивная теория функций и функциональный анализ.-Казань: изд-во Казанского университета.-1992.-Вып. 8.-С. 76-91.
- Бердикулов М. А., Жураев И. М. Нормальные положительные функционалы на пространствах с порядковой единицей//Узб. мат. журн.-1996.-№ 4.-С. 22-28.
- Иосида К. Функциональный анализ.-М.: Мир, 1967.-616 с.