MMod Federer
MMod Federer
Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at .
http://www.jstor.org/page/info/about/policies/terms.jsp
.
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of
content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms
of scholarship. For more information about JSTOR, please contact [email protected].
American Mathematical Society is collaborating with JSTOR to digitize, preserve and extend access to
Transactions of the American Mathematical Society.
http://www.jstor.org
HERBERT FEDERER
Presented to the Society, January 30, 1958 under the title An integral formula, April '26,
1958 under the title A general integral geometricformula with application to curvatures, and June
21, 1958 under the title On sets with positive reach, applied to curvature theory; received by the
editors September 18, 1958. The theory developed in this paper was also the topic of a series of
lectures at the 1958 Summer Institute.
(1) This work was supported in part by a Sloan Fellowship.
418
where a(j) is the j dimensional measure of a spherical ball with radius 1 in Ej.
Clearly the coefficients IDi(A, Q) are countably additive with respect to Q,
defining the curvature measures
(Do(A; *), (D(A; X ***Xbn (A;X*
If dim A-=k, then i(A, - )0 for i > k, bk(A, -) is the restriction of the k
dimensional Hausdorff measure to A, and the measures .(A, *) correspond-
ing to i <k depend on second order properties of A. If a sequence of sets, all
with reach at least e >0, is convergent relative to the Hausdorff metric, then
the associated sequences of curvature measures converge weakly to the curva-
ture measures of the limit set, whose reach is also at least e. In this way any
set A with positive reach may be approximated in curvature by the solids
{ X: 5A (X) < S}
(D
i[A n g(B), x -(4 o g-1)]dlg
= E
k-t l=n+ i Cn,k, IJ/)
4k(A, X))I(B,
whenever X and A2are bounded Baire functions on En, x with bounded sup-
port; here Cn,k,l are constants determined by the choice of IA.
Analytic methods can be used in the proof of some of these geometric
theorems, because the concept of reach of a set A is closely related to differ-
entiability properties of the functions 8A and (A. In fact, reach(A) ? e if and
only if 8A is continuously differentiable on {x: 0 < BA(X) <E }. Furthermore, if
reach(A) >s>t>0, then grad 3A is Lipschitzian on {x: t< BA(x) ?s}, and (A
{
is Lipschitzian on x: 3A(x) < s }; hence {x: BA(x) = s } is an n - 1 dimensional
manifold of class 1, with Lipschitzian normal, whose second fundamental
form exists almost everywhere.
The computations involving curvature tensors are greatly simplified
through use of the algebra A*(E) 0A*(E) and its trace function; here A*(E)
is the covariant exterior algebra of a vectorspace E. A similar algebra has
been used in [FL1, 2].
The paper contains a new integral formula concerning Hausdorff meas-
ure, which is used here in the proof of the principal kinematic formula, but
which also has other applications. Suppose X and Y are m and k dimensional
Riemannian manifolds of class 1, m _ k, and f: X-> Y is a Lipschitzian map.
For y E Y compute the m - k dimensional Hausdorff measure of f- {y }, and
integrate over Y with respect to k dimensional Hausdorff measure. It is
shown that this integral equals the integral over X, with respect to m dimen-
sional Hausdorff measure, of the Jacobian whose value at x is the norm of the
linear transformation of k-vectors induced by the differential of f at x. This
result is the counterpart of the classical integral formula for area, which deals
with the case when mn ? k.
2. Some definitions. The purpose of 2.1 to 2.9 is only to fix notations con-
cerning certain well known concepts; more details may be found in references
such as [S] and [B2] regarding 2.3, [L2] regarding 2.4, [F4] regarding 2.6
and 2.7, [L1] regarding 2.8, and [B1I, [W2] or [F9] regarding 2.9. Some new
material occurs in 2.10 to 2.13.
n
X y = xiyi for x, y E En.
i=l
ff(x)dyx = fd = f
With each Radon measure ut one associates its variation measure j
With measures A and v over X and Y one associates the cartesian product
measure A(D0vover X X Y.
2.4. DEFINITION. Ln is the n dimensional Lebesgue measure over En. On is
the Haar measure of Gn such that On(Gn)= 1.
Under the map which associates with (z, R) E,,XG, the isometry T, o R
of En, the image of the measure Ln0Og5bis a Haar measure of the group of
isometries of En.
Under the map X', the image of the measure On0 Ln-m is a Haar measure
for the space of all m dimensional planes in En, invariant under the group of
isometries of En.
2.5. DEFINITION.
I n - k+ I
rk + )
2 2
3(n,k) = a(k) a(n-k)
a(n)() r r
-y(n, k, 1) = 1)
f3(n, k)f(n,
f3(n, k + I - n)3(2n - k - 1, n - 1)
(k+ I)(I 1)I
(2 )(2)
(k + I-n + )(n +1)
tive. However this definition has the advantage that the subalgebra
n
ffl Ak,k (E)
k=O
is commutative.
This construction is natural; a linear transformation f: E-*F induces a
homomorphism f *: A ** (F) --A **(E).
Now fix an inner product * of E. The corresponding inner product 0 of
A*(E) induces a unique inner product 0 of A**(E) such that
(a 0 b) 0 (c O d) = (a * c)(b O d) for a, b, c, dC A*(E).
On the other hand the inner product of A*(E) corresponds to a real valued
linear function on A**(E), the trace, which is characterized by the formula
trace(a 0 b) = a * b for a, b E A*(E).
Since Ak(E) is the conjugate space of Ak(E), there is a natural isomorphism
of Ak,k(E) onto the space of bilinear forms of Ak(E); if a, bCAk(E), then the
bilinear form B corresponding to (aob) is given by the equation
B(x, y) = a(x)b(y) for x, y E Ak(E).
Furthermorethe space of bilinearforms of Ak(E)is isomorphicwith the space
of endomorphismsof Ak(E); a bilinear form B and the correspondingendo-
morphism T are related by the formula
B(x, y) = T(x) 0 y for x, y C Ak(E).
In particular, if 01, , an form an orthonormalbase of A'(E) and
n
I-?0= A1?1(E)o
X i
i=1
wherea1<a2 < < are the elements of a. Then the following statements
<ak
hold:
(1) {tOaOb: aeSi, bCSj} is an orthonormalbase of Aiti(E).
(2) If MCAi,i(E) and NCAk l(E), then
The verification of (1), (4), (5) is quite easy. Furthermore (3) follows by
induction from (2), and (6) follows from (5) with wi=f*(Oi). To prove (2),
use (1) to expand
M - E $)
Ma,bOa OOb, N= Nc,dO9c ( Od.
(a,b)ESiXSj (c,d)ESkXSI
Using (1), H6lder's inequality and the fact that the set P(u, v) are disjoint,
one obtains
| MN 12 [ Ma,bNc,dEa,cEb,dl
(u,v)eSi+kXSj+L (a,b,c,d)eP(u,v)
+
< (Ma,bNC,A2 (
\
)
/
(u,v)eSi+kXSj+? (a,b,c,d)EP(u,v)
(i + k) (j + I) E (Ma,b)2(Nc,d)2
t v1 ~~~~(a,
b, c,d) E SiXSjXS kXSI
2.13. REMARK. Under the conditions of 2.11 it is true that if a real valued
linear function Q on A 'k(E) is invariant under the endomorphisms of Ak k(E)
induced by the orthogonal transformations of E, then Q is a real multiple of the
trace.
In fact, using the notations of 2.12, one sees that if a, bESk, then
Q(Ga 0 Ob) = 0 in case
s a b,
because if iGa-b and f is the orthogonal transformation of E such that
f*(Gj)=-Gs and f *(Gj)=Oj for j$i, then
Q(Oa 0 Gb) = Q[f*(Ga 0 Gb)] = Q(GOa 0 Gb) = Q(Ga 0 Gb);
furthermore
Q(Ga 0 Ga) = Q(Gb 0 Gb)
because if a1< a2< . . <ak and b1 b2< ... <bk are the elements of a and
b, then there is an orthogonal transformation f of E such that
f*(Oai) = Obi for i = 1, , k, hence f* (Oa) = b.
The theorem will be used in the present paper to prove the kinematic for-
mula, and may be expected to have further applications.
3.1. THEOREM. If X and Y are separable Riemannian manifolds of class 1
with
dim X = m > k = dim Y
(2) The author's abstract containing this formula was received by the American Mathe-
matical Society on November 22, 1957, and published in the Notices of the American Mathe-
matical Society as Abstract 542-43 in vol. 5 (1958) p. 167. At the 1958 Summer Institute L. C.
Young announced his independent discovery of a very similar theorem and distributed copies
of his Technical Summary Report No. 28, U. S. Army Mathematics Research Center, Univer-
sity of Wisconsin, May, 1958, which contains an outline of his argument.
fbg(x)Jf(x)dHmx = f f g(x)dHm-kxdHky
for A CX, where I" means upper integral. For aEX, let
K(a, r) = XGn {x: distance (x, a) < r
whenever r >O, and let
,u'(a) = lim ,4[K(a, r)]/Hm[K(a, r)].
,r-O+
The remainder of the argument is divided into seven parts, leading to the
first conclusion stated in the theorem. The second conclusion may be derived
from the first by the usual algebraic and limit procedure, starting with the
case in which g is the characteristic function of an Hm measurable set.
PART1. If A CX, then
where G is a countable open covering of A NC- {y } such that diam (S) <n-
whenever SEG; then
v(y) = lim vn(y).
n--ya
Proof. The first equation follows from Part 2 and the definition of A. It
shows that Auis completely additive on the class of all Hm measurable subsets
of X. On the other hand it follows from Part 1 that Auis absolutely continuous
with respect to Hm. Accordingly l is the indefinite integral of its derivative /'.
PART 4. If aX= Em, Y= Ek, f is continuously differentiable in a neighbor-
hood of a and Jf (a) = 0, then ,u'(a) = 0.
Proof. Suppose E>0. Since range Df(a) #Ek there is a real valued linear
function q on Ek such that q =1 and q o Df (a) = 0. The continuity of Df at a
implies the existence of a convex neighborhood U of a such that
qoDf(x) < EM forxE U,
whence
then
- efJHm-k [A n (Sof)-1{w}]dHkw
Ek
and both Jf and ,u' are invariant under rotations of Em, one may assume that
Dif(a) = O for i = k + 1,** *,m.
Letting F: Em,,-*Embe the map such that if xCEEmthen
[F(x)]i = [f(x)]i for i = 1, * , ky
[F(x)]i = xi for i = k + 1,* m
one sees that
JF(a) = Jf(a) %;z0.
It follows from the classical formula for area (see [F4, 5.9]) that
EkB
<tm+ JF(p)d(mp
P(A)
and similarly
lie between
t-2m-2kJf(a) and t2m+2kJf(a).
it(A) = Jf(x)dHmx.
Htm(X - u Ci) 0,
fmmH-k( A \ Ci r) f-1{y})dHky
- fs r
Hm-k(A rC CiC fT1{y})dHky
- fAflCiJfi(x)dHmx = fA Jf(x)dHm"x
Anci AnCi
1u(A) = u rl C)
1(A
it=1
00
- Ei Jf(x)dHmx = fff(x)dHmx.
i=1 nciA
3.2. REMARK.The preceding argument shows also that f{y} is count-
ably Hausdorff m - k rectifiable (see [F4]) for IJ almost all y in Y.
In case X is a submanifold of class 1 of En, Hm-k(A flf {y}) may be
computed for Hk almost all y in Y by means of the integralgeometric formula
[F4, 5.14], and one obtains
where
u(R, w) H
JH[A C n-V?k(R, w) nf-fl{ }]dHk
y~~~
is the classical area of fJ [Ar\X m+k(R, w)]. It follows that, if A is open in X,
then the above integrals depend lowersemicontinuously on f, and un-
doubtedly it would be possible to develop (for m ? k) a theory of "coarea"
dual to the existing (for m?k) theory of Lebesgue area [R; CE; F8; DF].
4. Sets with positive reach. Here these sets are introduced, and are
shown to have quite reasonable metric and tangential properties. If two sets
in suitably general relative position belong to this class, so does their inter-
section. The class contains all convex sets, as well as all those sets which can
be defined locally by means of finitely many equations, f(x) = 0, and inequali-
ties, f(x) < 0, using real valued continuously differentiable functions, f, whose
gradients are Lipschitzian and satisfy a certain independence condition;
therefore regular submanifolds of class 2 of En, with or without regular bound-
ary, are included.
The concept of reach originates from the unique nearest point property,
but toward the end of this section it is proved that a closed set has positive
reach if and only if it makes uniform second order contact with its tangent
cones. Then it follows that the class of sets with positive reach is closed under
bi-Lipschitzian maps with Lipschitzian differentials.
4.1. DEFINITION.If A CE., then 5A is the function on E. such that
3A(X) = distance(x, A) = inf x- a a C A}
whenever xCEn. Furthermore
Unp(A)
is the set of all those points xCE. for which there exists a unique point of A
nearest to x, and the map
tA: Unp(A) -* A
associates with xEzGUnp(A)the unique aCEA such that AA(X) x-al.
If aCA, then
reach(A, a)
is the supremum of the set of all numbers r for which
in case S1 and S2 are closed convex cones. Also, for every closed convex cone C,
dim C + dim Dual(C) _ n
with equality holding if and only if C is a vectorspace.
Accordingly
Nor(A, a) = Dual[Tan(A, a)]
is always a closed convex cone, while Tan(A, a) is closed and positively homo-
geneous but not necessarily convex.
4.6. REMARK. If A is a submanifold of class 1 of E., f: A -E, is the inclu-
sion map, and aEA, then df maps the intrinsic tangent space of A at a iso-
metrically onto Tan(A, a).
4.7. LEMMA. Suppose f is a real valued Lipschitzian function on an open
-x - (x)
grad 5(x)
O(X)
(4) t is continuous.
(5) 5 is continuously differentiable on Int(U-A) and 52 is continuously
differentiableon Int U with
grad 62(x) = 2[x - t(x)] for x E Int U.
(6) If a GA, v EEn and
0< r sup{ t: t(a + tv) = a4 < oo,
then a +rv E Int U.
(7) If xE U, a= (x), reach(A, a) >0 and bCA, then
b11
x
(x-a) * (a-b) I_ 2-a ' a
then
lim t-16(a + tu) = 0.
9-0+
(13) If
N= {(a, v): a G A and v E Nor(A, a)},
a: N E, u(a, v)
E. a + vfor (a, v) E N,
#: U EnX En, #(X) = (Q(x), x-(x)) for x E U,
then
a(N) = En, a is Lipschitizian,
V I W is Lipschitzian;
in case K is compact and 0< t < oo , then
N r {(a, v): a E K and l vI < t} is compact.
Proof of (1). Choosing aEA so that 8(x) = Ix-a i, one obtains
6(y)-S(x) < I y-a i - I x-al < I y-xi .
Proof of (2). Assume a = 0 and note that
vE Pif andonlyif ib-vi > vl forallb E A-{a},
v E Q if and only if ib- v > Iv for all b E A.
Furthermore
I b-vi 2- I V|2 = b * (b-2v) whenever b, v CEE,
and consequently, if b, v, wEE., s>O0 t>0, s+t=1, then
b- (sv + tw) 12- I sv + twi2 = b * (b - 2sv - 2tw)
= b * [s(b - 2v) + t(b - 2w)] = sb 0 (b - 2v) + lb 0 (b - 2w)
= s(i b - vi2 - I V12) + t(i b -W12 - I W12)
It follows that P and Q are convex, and clearly PCQ.
Finally suppose v EQ. If b A- { a}, then Ibi 2> 2b0 v, hence
v b <Ibi
b 2
This shows that v*u<0 for uETan(A, a).
Proof of (3). If aEA and b(x) = Ix-aI, then (2) implies
6[x + t(a - x)] = 8(x) -t(x) for 0 < t _ 1,
whence
x - a D8(x)(a - x) =
grad 6Wx * --) -bx 1.
8(x) -5(x)
Since |grad 8(x)1 $1, by (1), it follows that grad 8(x)=(x-a)/ (x).
Proof of (4). Otherwise there exists an e> 0 and a sequence x1, X2, X3, . . .
of points of U convergent to a point xE U and such that t(xi) - (x) > e for i
i = 1, 2, 3, * * * . Then
Proof of (5). According to (1) and (4) the right member of the equation
in (3) represents a continuous map of U-A into E.. Since the components of
the left member of this equation are Dl*(x), * * , Dj8(x), it follows from
Lemma 4.7 that a has continuous partial derivatives on W= Int(U-A).
In case xE W, the stated formula for grad 62(x) follows from the equation
in (3). In case xCA, 32(x+h) _ Ih| 2 for hE.E, hence grad 62(x) =0, and also
t(x) =x. Accordingly the formula holds for all xEInt U, and the continuity
of the right member, guaranteed by (4), implies the continuity of grad 82
on Int U.
Proof of (6). Assume lvi =1 and y=a+rveInt U. Then (4) and (3)
imply that (y) =a, a (y) =r, y EA, grad 8(y) =v.
In view of (5) one may apply Peano's existence theorem for solutions of
differential equations to obtain an r>O and a map
C: {s: - r < s < r} -* Int(U - A)
such that
C' (grad 8) o C and C(O) = y.
If 1sI <r, then IC'(s) =|grad 8[C(s)]| = 1 and
(Bo C)'(s) = grad 5[C(s)1 * C'(s) C'(s) 0 C'(s) = 1.
On the other hand, suppose that whenever 0 < e < 1 there exists a number
t such that
0 < t <e and t-16(tu) < e;
choosing bEA so that 8(tu) = Itu-b , one finds that
|t- I b||8 b(u) <E, 0 < (1-e)t < IbI < (1 + E)t < E + C2,
b I |b- I b| ul < b-tul + It- |b| I 2Et 2=
I b u I b b
I (1-e)t 1-e
Proof of (11). Suppose a=0, Iu| =1 and
lim sup t-16(tu) > 0.
9o11+
If tES, then
6(tu) < tu| = 1< E< reach(A, a), tu E U.
For tES, O<p<r let
1(t, p) = tu + p grad b(tu) = t(tu) + [8(tu) + p] grad b(tu)
and observe that
I (t, p) I
< E+ r < reach(A, a), (t, p) E Int U.
It follows from (6), with a and v replaced by t(tu) and grad 8(tu), that
t[q(t, r)] = t(tu) whenever tE S.
{ r): tES} is bounded, one may assume, after replacing S
Inasmuch as J(t,
by a suitable subset, that there exists a point vEEn for which
lim (t, r) = v.
Then
|v| = lim jn(t,r)| =r, V U,
to obtain
[8Qtu) + r]2 < tuu + [I(t, r) -tu] 12,
reach(A') > s.
Proof. The formula for 8A. follows mechanically from the definitions, and
the formula for 8At may be derived with the aid of 4.8 (6). Then the state-
ments concerning reach and t can be obtained from 4.8 (5) and (3), applied
to A, A, and A,'.
4.10. THEOREM. Suppose
A antdB are closed subsets of En,
C is a nonempty compactsubset of A n B, r > 0,
reach(A, c) > r and reach(B, c) > r for c E C,
and there exist no c and v such that
c E C, v E Nor(A, c), -v C Nor(B, c), v % 0.
Let q be the infimum of the set consisting of 1 and the numbers
I v + wI
I VI + IWI
corresponding to vENor(A, c),wCNor(B, c),cEC with lvI+|w! >0. Then:
(1) 0<?<1 and there exists a r such that 0< ?r and
one may choose e so that 0 <e <r and the minimum value of A on P(e) ex-
ceeds q/2.
Let = e/2 and suppose
x EnE- (A UB), ac(x) <, X>O, ,>O.
Choosing a, b, v, w so that
aEA, A5A(X) = Ix-aI, bEB, 5B(X) = X-b|,
(X + ,u)v = Xgrad5A(X), (X +,u)w = ,grad6B(X),
Fix a point zeQ such that 5c(z) < 77/5 and consider the class of all maps
q: J -+Q
such that J is an open real interval containing 0,
q(O) = z and q' = - (grad i) o q.
Since this class is nonempty, according to Peano's existence theorem for solu-
tions of differential equations, and is inductively ordered by extension, it
has a maximal element. Henceforth let q: J->Q be such a maximal element.
If t J, then q'(t) -grad 1[q(t) ], hence
q'(t)ji 2/2, (iIoq)'(t) = grad 0 [q(t)] 0 q'(t)= - |q'(t) .
it would be true that hEQ, and Peano's existence theorem would furnish an
e>0 and a map
p: {: 7t - e < t< r+ e4 Q
for which p(r) = h and p' =- (grad '1)o p. Inasmuch as
lim q'(t) = lim - grad O[q(t)] =-grad j(h) = p'(r),
the map
P: J U {t: r < t < r + e4 >Q,
P(t) = q(t) for t C J, P(t) = p(t) for r < t < r + e,
This proves the first equation in (3), and the second now follows from 4.5 and
4.8 (12).
Proof of (4). Suppose Ix-c| <p, zCAnB, 6AnB(X) = IX-z|.
One sees from 4.8 (2) that x-zC-Nor(ACnB, z). Inasmuch as
If a GA, J= {i: fi(a) =0}, and there do not exist real numbers ti, corresponding
to iC J, such that ti 5zOfor some ie J, tiO> whenever ie J and i>k,
E ti grad fi(a) = 0,
iEJ
equals the Hausdorff distance between A and B, one sees from 4.13 that for
each e >0 the set
{A: 0 - A C En and reach(A) _ e}
is closed with respect to the Hausdorff metric. It follows that if E>0 and K
is a compact subset of En, then
{ A: 0 - A C K and reach(A) ? 4
is compact.
4.15. REMARK.The reasonable local behavior of a subset A of En, such
that reach(A) >0, is further illustrated by the following properties:
(1) If pEEn and 0< r <reach(A), then
A( {x: Ix -p I < r is contractible.
(2) If aCA, dim Tan(A, a) =k and
P(r) = A n {x: t x-al ?<r, Q(r) = Tan (A, a)nf {u: IuI < r
whenever r > 0, then dim (A) _ k and
Hk [P(r) ]
r
+Hk[Q(r)]
(3) Fork i * * * ,nthe set
F,o
A(k) = A ( {a: dim Nor(A, a) > n - k}
is countably k rectifiable.
(4) If dim(A) =k, then A =A (k) #A (k-i) and,for aEA -A (k-1) Tan(A, a)
is a k dimensional vectorspace.
To prove (1), consider the homotopy h such that
h(x, t) = -A [(I-t)X + tp]
whenever xCA, |x-pj |_r, O<t< 1.
To prove (2), assume a=0, let U be the k dimensional vectorspace con-
taining Tan (A, a), and consider the continuous maps
ft: Q(1) -> U, ft(U) = t 1(QU a A)(tU) for u E Q(1),
corresponding to 0 <t <reach(A). Inasmuch as
for uCQ(1), and since one easily sees from 4.8 (12) that t'15A(tU)->0 uni-
formly for uCQ(1) as t->O+, it follows that as t->O+ the maps fg converge
to the inclusion map of Q(1) into U, whence dim(A) _ k.
Given any e such that 0<e<1, one may choose p>0 so that if O<t<p
then
t-1A(tU) < e for u C Q(1),
Hk(ft[Q(1)]) > (1 - E)Hk[Q(1)].
(1 + E)-k(1 - E)Hk[Q(r)].
To prove (3), let S be a countable dense set of k dimensional planes in
E, suppose 0 < r < reach (A), observe that
,
A(k) C U {A [ X
{X:&A(X) < r],
oES
X
I12 +[ IU I - (X 0U)/IU 1]2 > I X12;
5Tan(A,a)(b
- a) < I b - a 12/(21)
whenever a, bEA with 1a-b1 <2r, then reach(A)?> inf{r, t}.
Proof. Suppose 8A (X) <inf I r, t}, aCA, bCA,
&A(X) =I X-al = I x-b- ,
Proof. Applying 4.17 with r= 0o one finds that (2) implies (1).
Now assume (1) and suppose a=OCA, bCA. If vENor(A, a), then
v * (-b) _ - |b121 v| /2t
according to 4.8 (12) and (7), hence
-
b - v12 = b12 + I v12 - 2b 0 v_ Ib12 + I vl2- bl2l vI /t
> lb12 - lb 14/ (412)
Consequently
[SNor(A,a)(b)]2 _ | b12- I b 14/(4t2)
and it follows from 4.8 (12) and 4.16 that [8Tan(A,a)(b)]2 < bj 4/(4t2).
In view of the arbitrary nature of E,this conflicts with the assumption that
(hi V)-1 is Lipschitzian.
5.2. LEMMA.Suppose:
(1) P is a k dimensional Riemannian manifold of class 1.
(2) 61, . . *, Ok are continuous differential 1 forms of P.
(3) el, . , ek, fit . . . fn-k g are Lipschitzian maps of P into En.
(4) For pEP, r, is the tangent space of P at p.
(5) C is a closed subset of En.
(6) Q is a bounded Borel subset of P, g(Q) C C, g I Q is univalent, (g Q)>
is Lipschitzian.
(7) If peQ,then
(01 I r), * , (Ok| 7) are orthonormal,
e(p) ,.. *, ek(p), fl (p), , fn-k(p) are orthonormal,
{ n-k
Nor[C, g(p)] C z,fj(p) z G En-k}
j=1
{ ~~~~~~~n-k \
z ~~~~~~n-k
V = (P X En-k){ (pZ): PE Q,I ZI < r,Z zjfj(p)E Nor[C,g(p)]},
W = { x: bc(x) < r, (c(x) E g(Q) },
and note that h is Lipschitzian. Using 4.8 (13) with A = C and K=g(Q), one
also sees that h( V) = W, h I V is univalent and (h I V)- is Lipschitzian. Further
let
Y: P X En-k ->P Y(p, z) = p for (p, z) E P X En-k,
and let Zi, * , Zn-k be the real valued functions on PXEn-k such that
Zj(p, z) = zj for (p, z) E P X En-k, j = 1,** *n-k.
Accordingly
n-k
fori=1, , k and
(d-j 7) f)=d T?Y d )f + f)n-k fI
(dh|I T) * f, (p) = (dZ, I T) + Y* (dg I Tp) *f(p) + ,: zj(dfj I Tv) I f,(p)2
Now consider the case in which (p, z) C V and (P X Enk) -V has density 0 at
(p, z). It follows that if 0 < 1?,
_ then (p, tz) C V and (PXEn_k) - V has den-
sity 0 at (p, tz). Accordingly Lemma 5.1 implies that
for 0 <t < 1. Since the quantity inside the absolute value signs depends con-
tinuously on t, and is positive for t = 0 by virtue of (8), this quantity is posi-
tive for 0_t_1. One infers that in the formula for Jh(p, z) the absolute
value signs may be omitted, for Hn almost all (p, z) in V.
Using standard integral formulae and the binomial theorem one finally
computes
=j- ,J
rr
ptn-k-f1 Jh(p, iz)dHn-k-lzdtdHkp
Q O S~~~(p)
r r/ F n-k kc
tn-k1 f trace kk!- [G(p) + E tzjFj(p) dHn-kI-lzdtdHkp
Q(p) j=l
JQtrace[(k -m)
_k
5.3. COROLLARY.Suppose
(1) P is a k dimensional submanifold of class 1 of En.
(2)
fi, * * * fn-k are Lipschitzianmaps of P into En.
(3) If pEP, thenfi(p), * * *, f-k (p) form an orthonormalbase of Nor(P, p).
(4) If pEP, then rp is the (intrinsic) tangent space of P at p.
(5) If pEP andfj is differentiable at p, then Fj(p) GA '1(rp) and the bilinear
form corresponding to Fj(p) is the second fundamental form of P at p associated
with the normal vectorfieldfj [mapping (u, v) ErpXr1ponto dfj(u) 0 dg(v), where
g: P->En by inclusion].
(6) C is a closed subset of En, PC C.
(7) If pCP, then
f ~~~~n-kX
S(p) = Enk n Z{:IZI = 1 and , zjfj(p) E Nor(C, p)}.
j=l
Proof. Since both members of the preceding equation are countably addi-
tive with respect to Q, the problem is local and one may assume, in view of
(2) and (3), that there exist Lipschitzian maps el, . . *, ek of P into En such
that if pEP, then ei(p), * * *, ek(p) form an orthonormal base for Tan(P, p).
Letting 01, . . *, ok be the 1-forms of P such that
n
L. ({x:6A(x) < r and {A(X) E K}) = E rn-ia(n-
i=O
f 0
(f ? (Ak)dLn - (J Ak)dLn |< 77.
Since tAk(x)--B(x) uniformly for xC-CnE, one finds by first letting ko->
and then letting 77--O+ that
and consequently
5.10. REMARK. One sees from 5.9 and 4.14 that if E>0 and i=0, * ,n
then the function on
{A: 0 $ A C En and reach(A) > e}
mapping A onto 4i(A, *) is continuous, with respect to the topologies of the
Hausdorff metric and of weak convergence. While the function mapping A
onto I(iI (A, *) is not continuous, it is true that if K is a compact subset of
En' then
sup {I 4iI (A): A C K and reach(A) a 4l < ??
because weak convergence of measures implies boundedness of their total
variations.
If A CEn reach(A) > 0 and A8= {x: 6A (X) ? S} for s > 0, then 4i?(A8, *)
converges weakly to 4i(A, *) as s->0+. Moreover, if K is a compact subset of
En and 0< t <reach(A), then
supi j 4(iI (A8, K): 0 < s ? t} < oo.
5.11. LEMMA. In addition to the hypotheses of 5.2 suppose:
(10) k=n-2.
(11) ,u and v are Lipschitzian maps of P into En.
(12) If peP, then 4.(p) and v(p) are linearly independent unit vectors and
= /(p) + v(p) i(p) -v(p)
= (p) -+ V(p) 1 ', f2P (p) _ V(p)
If(p)+v(p)I
1,4P 2~()
(13) If pCQ, then Nor [C, g(p)] is the closed convex cone generated by
,u(p) and v(p).
(14) If pGP and , v are differentiable at p, then
n-2
M(p) = ? [(dA| rp) 0 ei(p)] 0 (O| rp) E Al I(rp)
4=1
n-2
and that zeS(p) if and only if z =1 and the above coefficients of ,u(p) and
v(p) are non-negative. Accordingly S(p) =a(a, b). In case ,u and v are differ-
entiable at p, one also finds that
whenever zeE2. Therefore the first statement follows from 5.2 (8) and the
binomial theorem.
The second and third statements may be obtained from the conclusion of
5.2 by computing the coefficient of r
5.12. COROLLARY.Suppose:
(1) Q is an n - 2 rectifiable Borel subset of En.
(2) g, ,u, v are Lipschitzian maps of Q into En, g is univalent, g-1 is Lip-
schitzian.
(3) g(Q) C CCEn reach(C)> 0.
(4) If pGQ, then ,u(p) and v(p) are linearly independent unit vectors and
Nor [C, g(p) ] is the closed convex cone generated by ,u(p) and v(p).
(5) 7qis a common Lipschitzian constant for g, ,u, v.
(6) For i=O, , n-2
d= a(n - i)-'(n - i) ( ) 2n-2-i(n - 2)n 2i,n-2.
i ---G(p)iUn2-i(p) | <(
< [(n-2)r7]i [(|p) + v(p) I-i
t ~~~~j=0
I
+ (p)-V(p) 1-l]n-2-i7r ( i [( 2),X]n-2-i
= ( [(n - 2)7,]
n-27r2n-2-i[ | #,(p) + p(p)
I + I (p) - V(p) I-1]n-2-i
m-1 ra
- 4Dm(A,f)>u(O) + E bj(A,f)a(m
j=o
-j)(m -ij) tm-i-lu(t) dt.
Proof. Since the class of all functions u for which this equation holds is
closed to subtraction, addition, scalar multiplication and bounded conver-
gence, it need be verified only for the special case when u is the characteristic
function of { t: O t < r}, where 0 r < reach (A); but then it reduces to the
definition of the curvature measures.
5.14. THEOREM. For any closed sets A CEm and B CEn the following state-
ments hold:
(1) SAXB(X, y) = [6A (X) 2 +8B (y) 2 ] 112 whenever (x, y) GEmXEn.
(2) Unp (A X B) = Unp (A) X Unp (B) and
i=o
(m - i)a(m - i)4i(A,f)
n m-1 n
Z rn-ia(n
j=O
- j)4Dn(A,f)cDj(B, g) + E
i=O j=O
E rn+n-i-i
Now in the special case when A and B consist of single points of E, and
Eq, and whenf and g are the characteristic functions of A and B, the preced-
ing formula reduces to
Returning to the general case one may use this equation with p = m -i
and q = n-j to conclude that
m+n
F r".m+n-k a(m + n - k)4k(A X B, h).
k=O
m n
= Z rm+n-i-ia(m
i=o j=O
+ n - i - j)4?i(A,f)4)j(B, g).
(3) If xE Unp (A) and &B(X) ?_ A (X) < reach(A UB), then
x E Unp(A n B) and (A(X) = (AnBf(X).
(5) reach(AfnB)_s.
(6) If s >O and i =O,* n, then
bi(A. ) + bi(B. ) = bi(A U B, ) + (b(A r) B,*)
Proof. Note that (1), (2) are obvious, and that (4), (5) are trivial conse-
quences of (2), (3).
In order to prove (3) one must show that if
x C Unp(A), a = {A(X), 5B(X) < 5s(X) < reach(A U B),
then a EB. Observe that
{A[a + t(x-a)] = a and a + t(x-a) Int Unp(A U B) for O< It 1.
The assumption that a EEBwould imply that
5A[a+ t(x - a)] < 5B[a + t(x - a)] for small t > 0,
0 < r = sup{ t: {AUB[a + t(x - a)] = a),
and it would follow from 4.8 (6) that T> 1, hence (AUB(X) =a; but then aEB,
because {AUB(X) =(B(x) accordingto (2).
Next, to verify (6), suppose f is a bounded Baire function on E. with
bounded support, 0 <r <s and
Ar = {x:&A(x) ? r4, Br = {x: 5B(x) < r.
Using (1), (4), (2) one obtains
ArU Br= {x: AUB(X) _ r}, Ar Br= {x: bAnB(X) 4r},
n
E rn-ia(n
i-O
- i)[bj(A,f) + ,i(Byf)]
+ f [ AUB) + (f 0AnB)]dLn
r,nBr
corresponding to i = 1, *.. , k.
Replacing f by a nearby function of class 2 and with nondegenerate criti-
cal points, one may derive this proposition from the Morse theory (see [M,
Chapter VI, Theorem 1.2, p. 145]).
5.19. THEOREM. If A CEn, reach(A) >0 and A is compact, then 4Do(A)
equals the Euler-Poincare' characteristic of A.
Proof. Suppose O<s<reach(A). Since 4Do(A8)=1?o(A),according to 5.8,
and since A is a deformation retract of A8, it is sufficient to show that 4Xo(A8)
equals the Euler-Poincare characteristic of A8.
Applying 5.18 with f-=(6A)2, and observing that
grad bA(x) = 2s grad 8A(X) for x E P.,
one sees that the Euler-Poincare characteristic of A. equals the sum of the
degrees with which
(grad 6A)IP8: P, -V= {V:lVi =
maps the components of P8 into V; furthermore this sum may be computed
by integrating the Jacobian of the above map over P8 with respect to Hn-1,
and dividing by na(n).
Consider a point pGP8 where (grad SA) IP8 is differentiable. If one identi-
fies the tangentspace r, of P8 at p with the "parallel" tangentspace of V at
grad 8A(P), the differential of (grad 8A)| P8 at p becomes the endomorphism
of r, corresponding to the bilinear form ZA(P), and using 2.12 (5) one finds
that the Jacobian determinant equals
trace[(n-)!-lA()f]
rn-i
=+ rn -2
I + m -2
Z (F )27(M -2).
j=1
5.21. REMARK. Consider the special case of 5.3 where C is a k dimensional
submanifold of class 2 of E., and P is open relative to C. If pEP, then
S(p) = En_kn I |z:IZI = 1i2
1 3 k-i-1 ( [Fj(p)]2 dH p
-n-k n(k--+)2/2
(2k-ir(k-i) I2[(k i)/2] )-l trace {(E [Fj(p)]2) } dHkp.
Furthermore this tensor may be identified, except for a factor - 1/2, with
the classical covariant Riemannian curvature tensor of C. In fact, define
el, . . , ek and 01, * , Ok as in the proof of 5.3 and let
E
k
E k
(
/n-k\
Computing the trace of the (k-i)/2th power of this tensor one arrives at
2(k-i)/2 [(k-i)/2]! times the scalar Hk-i introduced in [WE]. (Note: Weyl's
R4 is the negative of Cartan's R. t,X V). In case k is even and i = 0 the above
formula for 40o(C)reduces, in view of 5.19, to the Gauss-Bonnet Theorem of
[A; AW; Cl; FE1].
5.22. REMARK. Assuming A CE. and reach(A) >0, let
*i'(A, f) = lim I (P I ({ x: AA(X) ? t}, f)
t-4O+
trace[ZSA(p)m] dHn-1p.
Evidently 'i'(A, f) > 4i I(A, f).
Under the conditions of 5.21 one finds that
'i(C, Q) = 0 in case i > k,
and that if i< k, then
*i(C Q) = a(n -i)-)(n - i)-(k -i) !1-
fQfEkflz:
z=1)trace( zjFj(p)] ) dInklzdHk p.
QE-knz { lz|l=,) }
E
j=l
The total absolute curvature 'o(C, C) has been studied in [C3] and [CL],
and previously for k =1 in the theory of knots (see [MI; FE2]).
6. The principal kinematic formula. Within the following proof of this
integralgeometric formula, concerning two subsets A and B of En with posi-
tive reach, one may distinguish three component arguments: First, struc-
tural considerations (6.1, 6.2, 6.3, and Parts 1, 2, 3, 10, 11, 18 of 6.11) designed
to establish qualitative properties of the intersections of A with the isometric
images of B. Second, a most delicate convergence proof (6.3, 6.5, 6.10, and
Parts 3, 4, 5, 6, 7, 8, 16 of 6.11) showing that in computing the kinematic
integral one may approximate A and B by
Ar = { X: A(X) r?
< and Br= {XS:B(X) < r
Third, computations (6.6, 6.7, 6.8, 6.9, and Parts 9, 12, 13, 14, 15, 17, 19)
dealing mainly with Ar and Br. In these arguments the theory of Hausdorff
measure and rectifiability combines with the results of ??4 and 5 to furnish the
foundation, the integral formula 3.1 reduces the global analytic problem to
a local algebraic problem, and the tensor algebra A **(E) solves the local prob-
lem.
Proof. Letting S=EnC\{x: |x| =I} one finds (see [F4, 5.5]) that
Furthermore let C(r) = SO x: Iv+x { I< r} for r >0, and observe that there
exists an M< oo such that
Hin-1[C(r)] < Mrn-1 whenever r > 0.
Consequently
| v + x 1-mdHn-lx= E f Iv + x 1-mdHn-lx
00 00
Similarly one sees that if Am,jis defined as in 5.11 (15), then the integral
,qr(R)*t[R-' I V 0 R(W)]dOnR
an
()= a(ou)dJO
for every continuous real valued function r on U. Using the uniqueness of
Haar measure and the fact that 0 -(G -M) =0 one concludes that
= Q)P=
( fGdOn 6.
an
6.&8.LEMMA. If
U, V, W are finite dimensional real vector spaces with inner products,
G, H are the orthogonal groups of V, W,
,u, v are the Haar measures of G, H such that ,u(G) = v(H) = 1,
e: U--V and f: U-*W are isometric embeddings,
M C: APP(V), N E Aqq(I, p + q _ dim U,
then
-J f f:x(x)
J f (y)dLnyd1ixdInR= f d, f dLdn.
GEn En
If X has bounded support and S is a bounded Borel subset of En, one may
apply the first formula with i,breplaced by the product of b and the character-
istic function of S, to obtain
If X and y have bounded support and S is any Borel subset of En, one may
apply the second formula with X replaced by the product of X and the char-
acteristic function of S, to obtain
LnXGn
f(iR- 0 T_) (S)(x o Tz o R) . t'dcd(Ln0 q!}n)(z, R) = f xdLnf t'di/d.
6.10. LEMMA.If A CEn, B CEn, A is closed, B is compact and
C(t) = { X: A(X) < t and SB(X) < t}
Igrad 5A(X) + R[grad 5B(y)] I < I or I grad 5A(X) - R[grad SB(Y)] | < t
and let
u(x, y, R) = di( I grad bA(X) + R[grad 6B(y)] 1-'
+ Igrad bA(X) - R[grad 6B(Y)] 1-1)n2-'-
PART 3. If O< r < p, t > 0 and (z, R) E (En X G.) - g(Z t), then
reach[Arn (Tz o R) (Br)] > (p - r)t/4,
Vrn (Tz O R) (Wr) is an n -2 dimensional submanifold of class 1 of En, and
| bI| [ArC (TzOR)(Br), K n VrC (TzO R)(Wr)]
< u(x)y R)dHn-'(x
y).
(uxw,) nrr,R'1{r}
rb-
LUXWIXGfl) uJird(Hn-1 0 Hn-1 0 On)
(UXW.XG.) n r-, (S)
*
fb | q(i I [Ar n (Tz o R) (Br), K]d(Ln 0 4n) (z, R)
s
Proof. One sees from Part 1, 3 and Lemma 6.6 that, for Ln$J?n almost all
(z, R) in En X Gn,
(D I [Ar n (Tz o R) (Br), K]
< | 4iI[ArQn (Tz0R)(Br), KnVrQn (Tz0R)(Wr)]
+ Di |[Ar n (Tz o R)(Br) K n Ar- (Tz o R)(Wr)]
+ Dil [Ar n (Tz o R) (Br), (Tz o R) (Br) - Vr]
< y) + K) + |
f
(uxw.) n r, R t u(x, y, R)dHn-2(x,
I (Di (Br)
j (Ar,
and then one uses Part 4 to estimate the upper integral over S.
PART 6.
Mf f u(x, y, R)d4nRdHn-'ydHn-1x
PART 7. For each E > 0 there exist t > O, h > 0 and a compact subset S of
EnXGn such that
(Ln 0 40n)(S)<e
and such that if 0 <r < h, then
tJr[ZIn (U X Ws X G.)] C S,
For 0 <r <p let Pr be the subset of VrX Wr consisting of all points (x, y)
such that either (grad 8A) | Vr is not differentiable at x or (grad 6B) IWr is not
differentiable at y.
For 0 <r <p, xE Vr let Vr(x) be the intrinsic tangent space of Vr at x.
For O<r<p, yCWr let Wr(y) be the intrinsic tangent space of Wr at y.
For 0 <r<p, (z, R)G(EnXG.) - r(Zo), xC VrG(Tz 0 R)(Wr) let rT(z, R, x)
be the intrinsic tangent space of VGr(T2 0 R)(Wr) at x.
For 0 < r <p, (z, R) G (En X Gn.)>-r(Z0) let
Observe that if xC VrC(Tz o R)(Wr) and y= (R-I o Tz2)(x), then dar,z,R and
map Tr(Z, R, x) isometrically into Vr(x) and Wr(y), and induce homo-
dbr,z,R
morphism
ar,z,R and br,z,R
= cx(n - -
- - i n - 1)! i -
Ii =a(n -i)-l(n i)-lCn-2-i,jSj(ni- i -j1) !
Now the orthogonal complement of e1, , en-2 has the two orthonormal
bases
I en_l, grad &A(X)} and {en, R[grad B(y) ] },
whence it follows that
en-I A en ? grad SA(X) A R[grad 5B(y)].
=J77rdH2n-2+n(n-l) (2 { (z, R)
Hn-2 [7r-'1 }]dHn+n(n1-) 12(z, R) = 0.
r-1r r (Zo) I Pr(Zo)
H (r= rR 0.
Proof. Since H2*72(rr) = 0 H2n-2+n(n-l)/2(PrXGn) =0, and 3.1 implies that
H 0.r
(prfl\tqr%{Z})
If i_n-2, then
nf o T)z)d()(C
x *( o R-T d) e
Letting
h: En -* En X En, h(p) = (p,(R-1 o T_z)(p)) for p EEEn
2 p-q I whenever p, q E En, and that h(P)
one sees that Ih (p)-h (q) =212
= nr,z{z}. Hence the preceding integral over P equals
n-2-i
= 2-(n-2)/2 E Uj(x, y, R)trace[M(x)n-i-2-iN(x)i]dHn-2(xX, y).
Ix(x)i,(y)
i=O Vr R-(Z)
Now observe that for pEP the bilinear forms of Tr(z, R, p) corresponding to
M(p) and N(p) are the second fundamental forms of P at p associated with
the normal vector fields ,u and v; that for (x, y) E ( V,X Wr)- r, the bilinear
forms of Vr(x) and Wr(y) corresponding to Z:A(X) and EZB(y) are the second
fundamental forms of Vrand W1at x and y associated with the normal vector
fields (grad 8A) I V7 and (grad 8B) I Wr; and that
,u= [(grad 5A) Vr] o ar,z,R, V R o [(grad 6B) I W7] O br,z,R.
Since second fundamental forms behave naturally under inclusion maps and
isometries, one infers that
M(x) =
o-4A
N(y) b=z,R[5B(Y)]
-
whenever (x, y) E 77 -Izr.
PART 13. If O<r<p and j=O, n
, n-2-i, then, for Hn- IHn-I almost
all (x, y) in VrX WT,
2
*trace (ar,x-R (y), RIVA (X) n ]br, x-R (,y),R I B(Y) i]) dORii
Recalling 4.6 identify V with Tan( Vr, x), and W with Tan(Wr, y).
For 4. almost all R in G. it is true that
(x - R(y), R) E MU,
and one may identify Tr(x-R(y), R, x) with VnR(W). Then the restrictions
of
dar,x-R (y),R, dbr,x-R() ,R
ftid0in = Cn-2-i,j
Gn
I f JW (X(x)y6(y)Uj(x,y, R)
EnXGn Ir, R t 2
Proof. To see that the above integral exists, apply Theorem 3.1 with
f =7r, observing that if (z, R)CEnXGn, then X77` {(z, R) I is the isometric
image of -q7,-{z} under the map carrying (x, y) into (x, y, R).
To compute the integral, first apply Fubini's Theorem to L. 0ck," and
for each REG, apply 3.1 withf=7fr,R to obtain
JX Jb
X(x)41(y)Uj(x, y, R)trace(ar, x-R (y),
R I44A()f--
Gn FrXWr
Next apply Fubini's Theorem to Hn-2 30n, and apply Part 9 to obtain
Then apply Part 13, and apply Fubini's Theorem to Hn-' ?Hn-' to obtain
Finally apply the last formula in 5.8 twice to determine the integrals over
Vr and Wr.
PART15. If O<r<p and i?n-1, then
drn a (W
(Tz R) ta
for 0 <r < h, and it follows from Part 8 and Fatou's Lemma that
PART 17.
w L . Ed (Ln0 'pn)(z, R)
x *('ko R-I o T_z)dL
EnXGn On(Tz?R) (B)
PART 18. PROOF OF (3). In order to prove that the integrand of (3) is an
Ln04)n measurable function, consider for m = 1, 2, 3, the set Fm of all
real valued continuous functions f on En such that
If(x) I < 1 whenever x G En) f(x) - 0 whenever 6K(X) > m-',
and let Cmbe a countable dense (with respect to uniform convergence) subset
of Fm. One sees from Parts 16 and 17 that if fEFm, then
r
mb[ ( Tz fo R) (B) I f
Now one may use Part 8, Fatou's Lemma, and Parts 5, 6 to obtain
PART 19. PROOF OF (2) AND (4). Through use of (3) and bounded con-
vergence, the formulae of Parts 16 and 17 may be extended from the con-
tinuous case to the case in which X and af are bounded Baire functions, X hav-
ing bounded support. Hence the proof of (2), and its corollary (4) resulting
when X and af are the characteristic functions of A and B, may be completed
by showing that
ti= 'y(n, i +j + 1, n-j- 1) forj = 0, * , n - 2-i.
For this purpose let k=i+j+l, I=n-j-1 and consider the special case
where A and B are k and I dimensional cubes. Using 5.15 one sees that
-I)k(A)= Hk(A), 4im(A) = 0 for m > k,
cI(B) = H'(B), 4bm(B) = 0 for7m > 1.
Moreover, for Ln ?4n almost all (z, R) in EnX Gn, ACn(TZo R)(B) is either
a k + 1- n = i dimensional convex set or empty, hence
On the other hand [F7, 6.2] shows that this integral equals
'y(n, k, l)Hk(A)HI(B).
6.12. REMARK. The following simple example shows that 6.11 (1) may fail
to hold in case neither A nor B is compact.
Let H be the subgroup of E2 consisting of all points both of whose co-
ordinates are integers, let C be a circle of radius 1/3 in E2, let A be the union
of all translates of C by elements of H, and let B be a straight line in E2, so
that reach(A)= 1/3 and reach(B) = oo. Then almost all isometric images of
B have irrational slopes. Moreover, if L is a straight line with irrational slope,
then the image of L in E2/H is dense in E2/H, hence L cuts suitable translates
of C at arbitrarily near points, and therefore reach(ACnL) = 0.
6.13. THEOREM. If B is a compact subset of En, reach(B) >0, ,6is a bounded
Baire function on En, i=0, .*.. * n and m=0, * . , n-i, then
Proof. Let
A = Enn {x:xi = O for i = 1, ,m}
Identifying En with EmXEn-m and applying the Fubini theorem one finds
that the integral of 6.11 (2) equals
In order to compute inner integral with respect to y, for a fixed (w, R),
abbreviate
(D[A n (T(w,o)o R) (B), *]]-, + o R-1 o T(_w,o)= f
and note that
=
fd,u= 4i[(R-l o T(_,o)) (A) n B, #I
= b[[Xfnm(R Y -W) r) B, #P]
and one completes the proof by observing that Lm0n is invariant under the
inversion mapping (w, R) onto (-w, R-1).
6.14. REMARK. If A CEn, reach(A) >0 and Q is a bounded Borel subset
of A (k) [see 4.15 (3) ], then
4j(A, Q) =0forj=k+1, .. *,n,
0_ 4k(A, Q) _ Hk(Q)j
4Dk(A, Q) > 0 in case Hk(Q) > 0,
These statements are obviously true for k =0, because A (0) is countable and
Ln({ x: 3A(X) ? r and (A(X) = a}) = rna(n)bo(A, {4a)
whenever O<r<reach(A) and a A. Moreover one may pass from k=O to
k>0 by means of the following considerations: Recall 6.11 (1), assume A is
compact, and let
k
pn: En -+PEk, pn(X) = (x1, * Xk) for x E En.
Using 4.15 (3), verify that
n
nk
Qn -k(R, w) C [A xflk(Rx w)](0)
for 4n0 Lk almost all (R, w) in GnX Ek; in fact the set of all those (R, a) in
GnX Q for which
dim[Nor(A, a) + R(En l {x: xi = Ofor i = k + 1, . , n})] < n
has On<?IHk =Hn(n-l)12+k measure 0, and the image of this set under the
Lipschitzian map
f; Gn X Q-> Gn X Ek,