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 ...
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,