20.07.2013 Views

On the Characters and the Plancherel Formula of Nilpotent Groups ...

On the Characters and the Plancherel Formula of Nilpotent Groups ...

On the Characters and the Plancherel Formula of Nilpotent Groups ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

SIZES OF COMPACT SUBSETS OF HILBERT SPACE 301<br />

Then {w : 11 S, (1 > 01 for some k, 1 < k < m} is <strong>the</strong> disjoint union<br />

<strong>of</strong> <strong>the</strong> A(R, j, s). We also have for each k, j <strong>and</strong> s,<br />

Pr (A@, j, s) <strong>and</strong> II S,,, I/ > a) b Pr (A(k,j, s> <strong>and</strong> s(S, - Sk> (q) 2 0)<br />

Hence<br />

2 Pr (A@, .A s))P.<br />

2Pr (II S, II > a> t C Pr (A&j, s)) = Pr (max{I\ S, jl : K = I,..., m} > a);<br />

k,f,s<br />

Q.E.D.<br />

PROPOSITION 4.5. The series X:=1 X, <strong>of</strong> independent symmetric<br />

%?(S)-valued r<strong>and</strong>om variable converges in S(S) (i.e., uniformly on S)<br />

with probability 1 if <strong>and</strong> only if it converges (uniformly) in probability.<br />

Pro<strong>of</strong>. “<strong>On</strong>ly if” is obvious. “If” is proved from Lemma 4.4<br />

just as in <strong>the</strong> classical case where S has only one point: see [13],<br />

p. 249.<br />

THEOREM 4.6. For any compact Banach ball C in H, <strong>the</strong> following<br />

are equivalent :<br />

(a) for any E > 0, Pr (XC) < c) > 0;<br />

(b) C is a GC-set;<br />

(4 [rev. WJ L 0 Pm converges uniformly on C in probability for<br />

some (resp. all> sequences <strong>of</strong> f.d.p.‘s P, t I;<br />

(c’) [resp. (d’)] replace “in probability” by “with probability I”<br />

in (c) [resp. (d)];<br />

(e) 11 l IIc is a measurable pseudo-norm on H*.<br />

Pro<strong>of</strong>. Throughout let A b e a countable dense subset <strong>of</strong> C.<br />

(a) * (b): Let P, be f.d .p.‘s <strong>and</strong> P, t I. Given E > 0, let<br />

C,(c) = {w : q&&T) < E/3},<br />

K(e) = lim sup CJE)<br />

= {w : C,(e) holds for arbitrarily large n}.<br />

Then K(E) is a tail event, having a probability 0 or 1.<br />

By (a) <strong>and</strong> Proposition 4.1,<br />

0 < Pr (L(C) < c/3) < Pr (ZP,% < c/3)<br />

for all n, where P,’ = I - P 7&* Thus K(E) has positive probability,

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!