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

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 305<br />

Pro<strong>of</strong>. If C is not totally bounded we make <strong>the</strong> same construction<br />

as in <strong>the</strong> pro<strong>of</strong> <strong>of</strong> Proposition 2.4. Then for some E > 0, V,(C) is<br />

greater than or equal to <strong>the</strong> volume <strong>of</strong> <strong>the</strong> convex hull <strong>of</strong> 0, fi ,..., f, ,<br />

so<br />

VJC) > E”/tz! for all n.<br />

By Stirling’s formula, this contradicts <strong>the</strong> hypo<strong>the</strong>sis. Q.E.D.<br />

Next, let ck = X,(B) w h ere B is a ball <strong>of</strong> radius 1 in Rk. Then it<br />

can be shown by induction that, for any positive integer k,<br />

c&+1 = 22”+wk!/(2k + l)!,<br />

c2k = m”jk!.<br />

Thus by Stirling’s formula we have <strong>the</strong> following estimate:<br />

y+i Cj(Trj)“” (j/274’2 = 1. (5-l)<br />

We shall also need <strong>the</strong> following fact. Let {a,} be a sequence <strong>of</strong><br />

positive real numbers such that a, JO as n + co. For such a sequence<br />

<strong>and</strong> E > 0 we define<br />

n(c) = n({%} , c) = max (?z : a, >, E),<br />

h = h({u,}) = infict:f (5p 0 such that<br />

Pr(L(C)y>O.<br />

C may be replaced in <strong>the</strong> above inequality by any orthogonal pro-<br />

jection P(C), according to Proposition 4.1. Multiplying C by a

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

Saved successfully!

Ooh no, something went wrong!