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 ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
SIZES OF COMPACT SUBSETS OF HILBERT SPACE 323<br />
largest possible integer 12 in A(x) satisfies n < exp (4/e2). For any x<br />
in Oc<br />
Let Q(c) be <strong>the</strong> number <strong>of</strong> possible sets A(x) for a given E > 0. Then<br />
by Lemma 5.6,<br />
N(Oc, E) < Q(c) (~/E~)~/s’ < Q(c) exp (e-“-*)<br />
for E small enough.<br />
(The estimate Q(e) < n41cB < exp (161~~) is clearly inadequate.)<br />
Let s be a positive integer such that l/s < 8. For I = 0, l,..., s - 1,<br />
let<br />
Z,, = {j : 4.5-2r’s < log j < 4e-2(r+1)/r}.<br />
If j E A(x) n Z,, , <strong>the</strong>n<br />
so <strong>the</strong> number <strong>of</strong> elements <strong>of</strong> A(x) n Z,, is at most e2(r-8)/8. Thus <strong>the</strong><br />
number <strong>of</strong> ways <strong>of</strong> choosing A(x) n Z,, is at most<br />
[exp (46-2(r+1)/s)lr*(r-r)‘I = exp [4e-2w+1)/s E2w-8)/s] < exp (E-2u+8))s<br />
Thus for E small enough<br />
<strong>and</strong><br />
Q(E) Q 2e4 exp (s~-~(l+a)) < exp (E-S-~*),<br />
N(Oc, c) < exp (e-2-58).<br />
Letting 6 1 0 we get r(Oc) < 2. Q.E.D.<br />
Next we show that EW(C) may be strictly smaller than EV(C). Let<br />
c = oc ({2/(2~ + 1))) x qw4),<br />
a Banach ball in H x H which <strong>of</strong> course is a separable Hilbert space.<br />
Then subspaces adapted to C are uniquely determined, with<br />
%, = 2p + 11, %+I = ll(n + 1).<br />
It follows easily that EW(C) = - 7/4. Taking projections <strong>of</strong> <strong>the</strong><br />
ellipsoid only we get EV(C) > - 3/2. By 5.8 (a), 6.2, <strong>and</strong> 6.12 we<br />
obtain Y(C) = 1, EV(C) = - 3/2. Thus in measuring volumes it<br />
seems better to use EV primarily, as we have done, ra<strong>the</strong>r than EW,