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 315<br />
Then by 5.2 we have for n large enough<br />
b, < n-llLw)<br />
so for 6 < 2 - X we have for k large<br />
so letting S JO we have by Proposition 5.7<br />
r < l/C- Q + l/N < a<br />
so by 5.8 t < - & <strong>and</strong> r > - 2/(1 + 2t), so<br />
Thus Conjectures 5.4 <strong>and</strong> 5.9 hold for blocks.<br />
PROPOSITION 6.6. The following are equivalent:<br />
(4 c bn I L(%J I converges with probability I;<br />
(b) C b, < ~0;<br />
(cl B = WJ) is included in some GC-ellipsoid;<br />
(d) B is a GC-set;<br />
(e) B is a GB-set.<br />
Q.E.D.<br />
Pro<strong>of</strong>. (a) implies (b) by an application <strong>of</strong> <strong>the</strong> three-series <strong>the</strong>orem<br />
([131, P. 237).<br />
If C b, < co, we let<br />
an = (6” glbj)li2.<br />
Then E({a,}) is a GC-ellipsoid by 6.3, <strong>and</strong> B C E, so (b) implies (c).<br />
Clearly (c) implies (d) which implies (e).<br />
If B is a GB-set, <strong>the</strong>n for almost every w, <strong>the</strong>re is an M < co<br />
such that<br />
2 w4w) b> G M<br />
j-1<br />
for all possible choices <strong>of</strong> So = f 1. Hence (a) holds, <strong>and</strong> <strong>the</strong> pro<strong>of</strong><br />
is complete.