Uniform Rectifiability and Quasiminimizing Sets of Arbitrary Codimension

MEMOIRS of the American Mathematical Society

Number 687

Uniform Rectifiability and Quasiminimizing Sets of Arbitrary Codimension Guy David

Stephen Semmes

March 2000 • Volume 144

a

•

Number 687 (end of volume)

American Mathematical Society

• ISSN

0065-9266

Uniform Rectifiability and Quasiminimizing Sets of Arbitrary Codimension Guy David

Stephen Semmes

Mnerican Mathematical Society Providence, Rhode Island

2000 Mathematics Subject Classification Primary 49Q20; Secondary 28A75, 42B99

Library of Congress Cataloging-in-Publication Data David, Guy 1957 Uniform rectifiability and quasiminimizing sets of arbitrary codimension / Guy David, Stephen Semmes

(Memoirs of the American Mathematical Society, ISSN 0065-9266 no 687) p cm. "March 2000, volume 144, number 687 (end of volume)" Includes bibliographical references. ISBN 0-8218-2048-6 (alk. paper) 1. Minimal surfaces 2 Geometric measure theory 3 Fourier analysis I. Semmes, Stephen, 1962— II. Title. III Series

QA3 A57 no 687 [QA644} 510 s—dc2l {516 3'62J

99-058340

Memoirs of the American Mathematical Society This journal is devoted entirely to research in pure and applied mathematics Subscription information. The 2000 subscription begins with volume 143 and consists of six mailings, each containing one or more numbers Subscription prices for 2000 are $466 list, $419 institutional member. A late charge of 10% of the subscription price will be imposed on orders received from nonmembers after January 1 of the subscription year. Subscribers outside the United States and India must pay a postage surcharge of $30; subscribers in India must pay a postage surcharge of $43. Expedited delivery to destinations in North America $35; elsewhere $130 Each number may be ordered separately; please specify number when ordering an individual number. For prices and titles of recently released numbers, see the New Publications sections of the Notices of the American Mathematical Society. Back number information. For back issues see the AMS Catalog of Publications, Subscriptions and orders should be addressed to the American Mathematical Society, p 0 Box 5904, Boston, MA 02206-5904. All orders must be accompanied by payment Other correspondence should be addressed to Box 6248, Providence, RI 02940-6248 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Assistant to the Publisher American Mathematical Society, P 0. Box 6248, Providence, Rhode Island 02940-6248 Requests can also be made by e-mail to repnnt-permissionlDams . org Memoirs of the American Mathematical Society is published bimonthly (each volume consist-

ing usually of more than one number) by the American Mathematical Society at 201 Charles Street, Providence, RI 02904-2294 Periodicals postage paid at Providence, RI Postmaster Send address changes to Memoirs, American Mathematical Society, P.O Box 6248, Providence, RI 02940-6248

© 2000 by the American Mathematical Society All rights reserved This publication is indexed in Science Citation Index®, SciSearch®, Research Alert®, CompuMath Citation Index®, Current Contents®/Physical, Chemical hi Earth Sciences Printed in the United States of America The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability Visit the AMS home page at URL' http: //wv. ama * org/

®

10987654321

050403020100

Contents Chapter 0.

introduction

I

Chapter 1.

Quasirninimizers

7

Chapter 2.

Uniform Rectifiability and the Main Result

10

Chapter 3.

Lipschitz Projections into Skeleta

13

Chapter 4.

Local Ahlfors-Regularity

20

Chapter 5.

Lipschitz Mappings with Big images

27

Chapter 6.

From Lipschitz Functions to Projections

30

Chapter 7.

Regular Sets and Cubical Patchworks

33

Chapter 8.

A Stopping-Time Argument

44

Chapter 9. Proof of Main Lemma 8.7 9.1. A general deformation result 9.2. Application to quasiminimizers

51 51

67

Chapter 10.

Big Projections

78

Chapter 11.

Restricted and Dyadic Quasiminimizers

85

Chapter 12. Applications 12.1. The initial set-up 12.2. Stability of sets 12.3. Topological interpretations 12.4. Polyhedral approximations and minimizers 12.5. General sets Bibliography

VI'

97 98 104 112 114 120

ABSIRACT Roughly speaking, a d-dimensional subset of R2' is minimizing

if arbitrary deformations of it tin a suitable class) cannot decrease its ddimensional volume For quo siminimnizing sets, one allows the mass to de— crease, but only in a controlled manner To make this precise we follow AIm— gren's notion of restricted sets' Craphs of Lipschitz mappings f flYt are always quasiminimizing, and Almgren showed that quasiminimizing sets are rectifiable. Here we establish uniform rectifiability properties of quasiminimizing sets, which provide a more quantitative sense in which these sets behave like Lipschitz graphs. (Alrngren also established stronger smoothness properties under tighter quasirninimality conditions.) Quasiminimizing sets can drise as minima of functionals with highly irregular "coefficients' For such functionals, one cannot hope in general to have much more in the way of smoothness or structure than uniform rectifiability, for reasons of bulipschitz invariance (See also [9] One motivation for considering minimizers of funetionals with irregular coefficients comes from the following type of question. Suppose that one is

given a compact set K with tipper bounds on its il-dimensional Hausdorif measure, and lower bounds ott its il-dimensional topology What can one say about the structure of K? To what extent does it behave like a nice ddimensional surface9 A basic strategy for dealing with this issue is to first replace K by a set which is minimizing for a measurement of volume that imposes a large penalty on points which lie outside of K. This leads to a kind of regularization of K, in which cusps and very scattered parts of K are removed, but without adding more than a small amount from the complement of K The results for quasiminimiziag sets thea lead to uniform rectifiability properties of this regularizatioa of K To actually produce minimizers of general funetionals it is sometimes convenient to work with (finite) discrete models. A nice feature of uniform rectifiability is that it provides a way to have bounds that cooperate robustly with discrete approximations, and which survive in the limit as the discretization becomes finer and finer.

1991. Mathematics Subject classification. Primary 49Q20; Secondary 28A75, 421399.

Key words and phrases. Quasiminimal surfaces, Ahmigren restricted sets, uniform rectifiability, topologica' nondegeneracy conditions, pdlyhedral approximatibkis, dyadic minimal surfaces Vii!

CHAPTER 0

Introduction Roughly speaking, a quasiminimizing set is one whose mass cannot be decreased too much through a modest deformation. To make this precise. let us first recall a few basic definitions. Fix integers d and ii with 0 < d < ii. If E is a subset of R't, then we define the

d-dimensional Hausdorff measure 10(E) of E as follows. Given 8> 0, we first set (0.1)

lIf(E) = inf { E(diamAj)d:

is a sequence of sets in which covers F] and satisfies

diamA3 <S for all

It is easy to see that lif(E) can only become larger as S gets smaller. Thus the liniit

limH%(E)

(0.2)

exists (but may be infinite), and 1i"(E) is defined to be the value of this limit. (See [12, 13, 20] for more information.) A mapping f RTh —÷ is said to be Lipschitz if there is a constant C> 0 so

that (0.3)

1(x) — 1041

0.

Here W is the set of points in H" which are of the form h(t, x) or x, where x x. In other words, W is the union of the sets [0, 1) satisfy h(t, 4 and t is associated to Ot(x) h(t,x) as in (1.4). 0 Ct C 1, where 7

I

QIJASIMINIMIZEItS

The precise form of our comparison condition is

I0(S fl W)

(1.8)

ku" (c5(S fl W)) for all Lipschitz mappings

0 which satisfy (1.5), (1.6), and (1.7).

Let us summarize the definition of a quasiminimizer as follows. DEFINITION 1.9. Let 0 C d < n, an open set U C WI, and constants k E [I ,+oo) and 6 e (0, 4-cx} be fixed A (U, k, 6)-quasiminimizer for H" (or rnmtinizer", for short) is a subset S of U which satisfies (LI). (1.2), and (1.8).

This is a minor variation of what Almgren calls a (k, h)-restricted set in [2J. The differences are that Almgren also requires that diam S < +oo and JO(S) -i oo. and he does not ask the competitors to sati'sfy the homotopy condition (1.7). We shall say more about the latter in a mouient. BY and h too, then the above definition of a quasiminimizer simplifies 15 U to the one given in the introduction That is, a rionempty closed set S is a quasimmimizer in that case if it has locally Unite Hausdorif measure and satisfies

/J"(SflW)

kIO(Ø(Sc1W))

for every Lipschitz mapping WI RTh such that W {x E R" : 0(x) $ x} is bounded. It is easy to see that S is necessarily unbounded in this situation. Note that if the set W in (1.4) is bounded, then 0(R't) = W1 automatically holds by standard results in topology, and therefore 0(W) W. Thus we could in (1.5) and (1.6) without losing any information. replace W U 0(W) with Although we require that 0 be it is important that we do riot impose any bound on the Lipschitz constant (:of 0. Similarly, we do not require specific bounds on the homotopy It in (1.7). In many of our arguments, 0 will have an extremely large Lipschitz constant, over which we have rio control. REMARK 1.10 If the set WUO( W) is constrained in a ball or a cube B such that

diam B < 6

and dist(B, W'\U)

>

0. then (1 7) holds automatically. This is an easy

consequence of the convexity of B:

one

can simply take h(t,x)

= tØ(x) + (1 — t)x.

quasitninimizing condition (1.8) is a bit technical. but it is also quite for the way that it accommodates many different types of situations. Notice that a natural tendency for a quasiminimizer is simply to collapse to a set The

convenient,

of (d-dirnensional) measure 0. In practice this is often prevented by the restrictions (1 5), (1 6), and (1.7) on the mapping For instance, (1 6) can have the effect of fixing "boundary conditions" which prevent collapse. This is illustrated by the example of the intersection S = P fl B of a d-plane P with an open ball B that meets P. This is a (B, 1, +oo)-quasiminimizer, as one can verify. As a different type of example, imagine that we take U to be the complement of a ball in WI, and that S is a compact subset of U which surrounds the ball. i.e.. separates it from infinity. This separation again prevents collapsing (with d n — 1). In higher codimensions one can have more complicated linking conditions, and we shall pursue related themes in Chapter 12, especially Sections 12.2 and 12.3. One can also take advantage of the parameter 6 to obtain nondegenerate quasiminimizers. For example, given any k > 1. the unit sphere in B." will he an

(W', k, 6)-quasirninimizer as soon as 6 is small enough (depending on k).

I

QUASIMINJMIZERS

9

REMARK 111. If S is a (U, k% 6)-quasirninimizer and V is an open subset of U such that S fl V 0. then S n V is a (17, k, 6)-quasiminimizer with the same values of k and 8. This is a trivial consequence of the definitions. but it is useful to remember. In fact, our main results can all be derived from the special case in which V is an open ball.

Given a d-dimensional quasiminimizing set S in an open set U. define a new set

by 5*

()

Un support

= {x eU: W'(SflB(x,r)) >0 for all r > 0}. It is easy to check that 5*

is

always relatively closed in U, and that Hd(S\S*) = 0.

On the other hand. 5\5* could be nonempty, and in fact it could be any relatively closed subset of U\S* with 10-measure zero. This is because one can always add zero to a quasiminimizing set without a relatively closed subset of disturbing the quasiminimality property. Thus our results about the structure of quasiminimizing sets will only address the behavior of The possibility of 5\5* being nonempty arises very naturally in certain variational problems. This is illustrated by the following scenario. Fix a (closed) solid torus T in ft3. Given c > 0 (small), let denote the 2-dimensional surface r}. Set U = R3\T, and let p be a continuous positive {z E fi) : dist(z,T) function on ft3. Consider the problem of finding minima for a functional of the form

J9(S)

f

g(x)dH2(x).

S ranges among compact subsets of U that satisfy H2(S) and which of a continuous mapping f: can be realized as the image U which is homotopie to the standard embedding of (as mappings into U). (The precise choice of r does not matter here, as long as it is sufficiently small.) For moderate choices of p one might expect to have minimizing that look roughly like a but by making p be very large around T one can arrange to have minimizing which look like a sphere that surrounds T together with a single wire that goes where

through the hole in T. This wire is removed in the passage from S to S*. and it is invisible for 2-dimensional Hausdorif measure, but it does reflect nontrivial topological information, about the way that S surrounds T In general. one can have minimizing sets (for suitable functionals) which behave like relatively-nice d-dimensioual surfaces together with pieces of lower dimension which are more complicated than just a single wire. (See also Remark 11 26 and Chapter 12, especially Sections 12.4 and 12 5.) REMARK 1.15. Tt is easy to formulate generalizations of 1)efinition 1.9 to nonintegral dimensions ii However, the argument for Ahlfors-regularity given in Chapters 3—4 also shows that quasiminimizers for H" have to have zero H&measure when d is not an integer.

CHAPTER 2

Uniform Rectifiability and the Main Result is locally Our main result is that if S is a quasiminimizer for IF1, then uniformly rectifiable. and contains big pieces of Lipschitz graphs locally. A more precIse stat ement will be given soon. but first we explain the terminology which will be used. DEFINITION 2.1. A closed subset P2 of W is said to be Ahlfors-regular of dimension d if there is a constant G0 such that (2.2)

S

for all x E F and 0 0 such that for each x E E and 0 < r < diam there is a d-plane P with the property that

Here irp denotes the orthogonal projection of

onto P.

With these definitions we can now state our main result about the structure of quasiminimizing sets.

and suppose that S is a (U, k, 8)THEOREM 2.11. Let U be an open set in he the support in U of the restriction of Hd to 5, quasiminimizer for Hd. Let 5* and radius R which satLsfy as in (1.12). Then for each x (2.12)

00 (for each x E T\{e}). Note that for xeLIT (3.20)

for each compact set K ç T\{C}, the restriction of to K is Lipschitz with norm Cdiam T dist(e. K) 1

This constant C depends on the dimension but not on K or T (or j, for that matter). For each T e A771(Q), imagine that we select a point C=

E

cc oo (since Hd(E) cc oc by assumption, and is possible, because is Lipschitz by induction hypothesis), and because in > d. We shall see later how to choose C(T) efficiently for the size estimate (3.14), but for the moment let us just use the information that C(T) $ Ø711(E) and see how we can get the rest of Lemma 3.10 Set (3.21) U LIT 1/Yin_I (x) = Oe.T(x) for x E (T fl This

This is compatible with (3.15) because of (3.19), and

is J2ipschitz on

U&T

because of (3.20). (Remember from the statement of Proposition 3.1 that K is compact by assumption.) We can easily extend Øm—1 as a Lipschitz mapping from T to T with a comparable norm, by standard extension results (See flU]. for instance.) on each T E Am (Q). We already took This completes our definition of to be the identity mapping on U LIQ, and so we now have = Observation (3.17) implies that defined on all of is Lipschitz on since (3.15) and (3.16) hold.

We still need to extend i to the rest of Q. We should be a little careful about this since we want i/'171_i(R) to be contained in I? for each R E Ltsj,771(Q). (T) ç T for all T e Notice that g R for every R, since

a IIPSCI-JITZ PROJECTiONS

lB

SKELETA

(and since ibmi equals equals the identity mapping on UQ) Let us first describe how to extend to Because of Observation 3.17. it is enough to extend 1(Q) separately. This can be accomplished through ibm-i to each face T /S the following construction. For each T e let c1 denote the center of T, and take

1(c,) to be any point in the convex hull of ibm_i (UT). We then define

on T through the requirement that it be linear on each line segment from to UT. This gives a Lipschitz extension of ibm_i to 'F. By doing this for each A useful feature of T 1(Q) we get a Lipschitz extension of ibm to this method is that we have iPm 1(RflSm±j) C Rfor all H because of the corresponding property for Rn After repeating this construction several times, we obtain a Lipscbitz extension of to Q which satisfies (3.13). In particular, ibm-i maps C) to C). Note that satisfies (3.1 1), and in fact this requirement was incorporated into the initial steps of the definition of ibm- (shortly after the statement of Lemma 3.10) To get (3.12), we first use (3.8) to know that every element a' of thm(E) lies in at least one of and 8Q. If .r lies in tiC), then ibm= a', by (3.11). and this is fine for (3.12). If a' 53.tTt(Q)\OQ, then a. 6 T for some

Te

In this case we apply (3 21) and (3.18) to conclude that ibm

6 UT,

which is also adequate for (3.12). In order to complete the proof of Lemma 3.10 (and hence of Proposition 3 1), it suffices to show that we can choose the points so that (3.14) holds. To do this we shall use the following. c(T). T e

and let P c T be a

LEMMA 3.22. Let T be an rn-dimensional cube in closed set such i/tat Hd(P) U. Thus

PROJNCTIONS INTO SKEIETA

3

chev

has the same measure as inequality, there is a point —= in

By Lemma 3.22 and the rcheby-

such that for all R E

j)

(3.26)

17

This also uses the fact that there are only boundedly many R's in We choose = in this way for every T in and we want to check now that (3.14) holds (with these choices). be given, and set F = Let R E fl R). We want to show that 1(E)) CHd(F) for a suitable constant C. From (3.8) we have that so that F (3.27)

F C (Fn

uaQ)) U (

U

F flint(T)),

1

where int(T) denotes the interior of T.

(F fl (Sjm- i(Q) U

For

the first part we have that

Hd(F fl (Sjm -i(Q) U 8Q))

as in (3 11). To treat equals the identity mapping on Sj,m—l (Q) U remaining portion, we use the analogue of (3.5) for to say that F ç R, (Q) only when T is contained in R. In that F intersects int(T) for some T in other words, we should have R E in this case. Fbr each of these T's we have that since the

(3.28)

11d

1(F n T))

=

CH"(F)

by (3.26) (and (3 21)). To get the desired estimate for we sum (3.28) over the T's in which are contained in R (of which there are only boundedly many), and we combine the result with the earlier (trivial) estimate for (Fn (S, U 8Q))). This completes the proof of (3.14). and hence of Lemma 3.10. As observed before, Proposition 3d now follows as well. We shall need later a variant of Proposition 3.1, in which we assume that E is "semi-regular of dimension d" (defined and we get a bound for the Lipschitz norm of the mapping in Proposition 3.1. DEFINITION 3.29. A closed subset E of is said to be semi-regular of dimension d (with constant C) if for each x E R?L and each choice of radius 0 d, and that is C711-Lipschitz for some constant Cm which depends only on n, d, in, and the semi-regularity constant for F. We want to show that we can choose the points in the construction above so that is C-Lipschitz. where T C is permitted to depend on n, d, m, the semi-regularity constant for F]. and C71,. Once we do this, Lemma 3.31 will follow, for the same reasons as before. and each r

SL;BLEMMA 3.32. For each T E

diamQ,

Cr diam Q1d balls of radius r, where C depends only on fl, Cm, and the cemi-regularity constant for E. can be covered by

To see this, let R denote the union of the cubes in

(Q) which intersect T. satisfies (3 5). Our assumption of semidiam regularity for E implies that we can cover F n R with balls of radius G';1 r. Therefore, we can cover n R) by the same number of balls of radius r. because is This proves Suhlemma 3 22 Fix T and let us apply Sublemma 3.32, with

Then Øm(E) n T ç

R), because

r= where

diam Q.

> 0 is a small constant which will he chosen soon. Thus we obtain that

(E) n T can be covered by a collection {B1} of halls of radius r. 011 the other hand. cannot be covered by fewer than A cr;" balls of radius 2r, at least if the constant A is chosen large enough (depending on in but not on T, or j). This is because T is an rn-dimensional cube with sidelength equal to 2-' times the sidelength of Q. Since in > d, we can choose

small enough so that

< and where depends only on ii, in. and the semi—regularity constant for E. With this choice of we have that the balls 213, cannot cover and hence that there

3 UPSCI-IITZ PROJECTIONS INTO SKELEIA

is a point

E

19

such that

fl T) diam Q. dist(e. and then construct "km-i as in the proof of We do this for each T e Proposition 3.1 (with these choices of E(T)). An important point now is that the fl T) U UT is Ca;1 -Lipschitz, where C depends on the to restriction of dimension n but not on T, Q, E, etc. This follows from (3.20) and (3.33). Once we have this, the same series of extensions can be used as before to get a mapping (3.33)

which now has bounded Lipschitz norm. This permits us to as in (3.9), with a bound on its Lipschitz norm as well. The rest of the argument is exactly the same as before, i.e., one stops if in — I = ii, and otherwise This completes the proof of one repeats the procedure in order to define øm define

Lemma 3.31.

CHAPTER 4

Local Ahifors-Regularity In this chapter we establish the local Ahlfors-regularity of 5* when S is a quasiminimizer for W'.

PRoPoSITIoN 4.1. Let U be an open set in and let S be a (U, k, 6)-quasiminimizer for H". If Q is a cube centered on 5* which satisfies

2Q ç U and diamQ 2 in order to ensure that A3(Q1) does not intersect this with (5 7) and (5.9) we obtain C_l(diamQ)d — < (5.11)

Combining

We now choose j to be the smallest integer (greater than 2) such that

C and C" as in (5.11). This makes sense. because C and C" do not depend on j. Note that j depends only on n and k, because of the corresponding features of C and C". With this choice of we have that Hd(F)

(5.12)

Observe that Hence it is contained ing Lemma 3.31 to 0,

(5.14)

intersect 0Qi, because of (3.5).

n Q'.) Since

FL

is obtained by

we also have that

=

d(Q1)) = 0. 83 d(Q1) consists of a bounded number of d-dimensional faces (

On the other hand, be a face 7' in

with

not

by (3.4). (Remember that

we get that

(5.13)

1' E

does

n (Q in

since we have a uniform bound for j. such that

Hd(F fl

T)

This

Q)d

implies that there must

3 LIPSCI-ITTZ MAPPINGS WITH BIG IMAGES

29

for a suitable constant C1 (that depends only on ii and k). if rr RT' —* Rd is a 1-Lipschitz linear mapping whose restriction to T is an isometry, then h = ir a satisfies the requirements of Proposition 5.1. with (5 3) coming from (5.14). This completes the proof of Proposition 5.1. REMARK 5.15. For various reasons, it would be nicer to show directly that 5* hab large projections (in the sense of Definition 2.9). rather than the intermediate result in Proposition 5.1. This would amount to saying that the mapping h in Proposition 5.1 can be taken to be a projection. instead of a more complicated nonlinear mapping, as in the proof above. We shall derive the property of large projections later on, in Chapter 10, after establishing the uniform rectifiability of but a direct approach also seems to be feasible. This direct approach would give the lower bound in the Ahlfors-regularity condition (4.2), but unfortunately the argument is fairly complicated, and we shall not pursue it here.

ChAPTER 6

From Lipschitz Functions to Projections In this chapter we shall give a construction which will permit us (in practice) to reduce to the situation where the mapping Ii from Proposition 5.1 is an orthogonal projection, through a suitable transformation of the quasiminimiziflg set S This will be convenient for some of our subsequent arguments (in Chapters 8 and 9). PRoPOSITION 6.1. Let U be an open set in RTh. let S be a (U,k,5)-quasiminiB! be an arbitrartj Lipschitz RTh and let h mizer for x

U x

R'

.r

S andy= h(x)}.

where k depends only on d, k, and the Lips-

Then S is a (U, k, chitz norm of h.

The proof of this amounts to a fairly straightforward verification of the definition of a quasiminimizer (using the corresponding properties for 5). Let c0 denote QI. The closure of S in is the Lipschitz norm of It. Clearly, S because S S is relatively {(x, y) x E S x B! R7' denote the closed in U (by definition of a qua.siminimizer). Let it standard projection onto the first set of coordinates. i e.,

ir(x,y) = x. B is a ball contained in U, then the projection ir(B) of B in U, and If

is contained in

0 definition of U and the analogue of (1.6) for . (The first inequality in (6.8) can be replaced by an equality, but we do not need that.) Next we consider the homotopy condition (1.7). Let by

[0,1] xflm xR' —*RTt xRt be the homotopy given by (1.7) for ç1. Thus Ii is continuous, h(0, x, y) (x, y), is Lipschitz for each t [0. 1], and h has the following h(1,x,y) = Ø(x,y), for "support" property Given t 1], set Øt(x, y) = h(t, x, y), and define as in (6.4). If 7-f denotes the union of all the sets each U Q,(Wt)kO < t 1,

then the support condition on the homotopy h requires that diam 7-1 < 6 and dist('R, (R" x R')\U) > 0. (See (1 .7b).) B?t by Øj(x) = This is For each t c [0,1], define Øt RT' particular, In the same formula as (6.5), except that has been replaced by = = ir((x,h(x))) x. Thus, if we set Notice that Ørj(x) = This homotopy h(t,x) = Q1(x), then h is a (continuous) homotopy from .r to Lipschitz in x for each fixed t, because of the corresponding requirement for The support condition for h is also easy to check' if {x BY : (x) then the same argument as for (6.6) shows that is

(69)

ç

U

U

Thus, if 7-1 denotes the union of all the sets W1 U

Therefore, diarnl't

diainfl

It.

we get that 7-1 ç 7r(7-.

< 6 and

dist(N, Rm\U)

dist (R, (Rm\U) x Rt)

= dist(7-1, (fl,Th x Rt)\U) > 0, (1.7). (Again, the inequality here is actually an equality, but we do not need that.) This completes the verification that 0 satisfies (1 3), (1 5), (1.6), and (1 7). We may now apply (1.8) to obtain that as required in

(6.10)

Hd(S n W) kH" (ck(S fl W)).

12

G

FROM L1T'SCHI LZ FUNCTIONS TO

We want to use this inequality to control JP'(S n H'). We begin by setting E1r-{(x,y)cfl?xR4:xeSnH' and (6.11) We have already seen that (x. h(x)) E

(6.10),

p4(E)

(6.12)

where

H'

when r E

H'. and so E1 ç Sn W. Using

we get that

CII" (Sn 14')

C/tIP1 (cô(Sn H')).

C depends only on d and G9 (the Iipschitz constant for h). Prom the

definitions (6.5) and (6.11) of and E1 we have that th(SflW) = ir(Ø(E,)). so that n W)) II "(0(E1)) Therefore

JI"(E) CkH"(cb(Ej)),

(6.13) by

(6.12).

Now consider E2 = (x,y)

S.

Since (a-, y)

SnW\E1. If (x,

y) E

E2, then x C S and y W. and hence 0(x)

E,, we have that a- g

=

h(x) because

=

x. This (and

(6.5)) imply that

lroth=K

(6.14)

on E2.

On the other hand, IF'(E2)

CH"fr(E2)). where C depends on d and C'0, 5). We also have that Iø(ir(Ea)) E2 by (6.14), and that IP'fr(có(E2fl) < (automatically).

because E2 lies on tire graph of h

yd &(0(Ea))),

(since

Altogether.

IP'(E2)

This combined

with (6 13) yields

S CkH(l(ql(SnW)), with a constant C that depends only on d and Thus S satisfies the analogue of (1 8), with k Ck. This completes the proof of Proposition 6.1.

CHAPTER 7

Regular Sets and Cubical Patchworks So far we have been able to show that there are Lipschitz mappings it from S Rd with "large images" (in the sense of Proposition 5.1). and we have given a recipe (in Proposition 6.1) which will permit us to operate in some situations into

as if such a mapping h were a projection We still need to show that there are reasonably large subsets of S* on which such mappings are bilipschitz. To this end we shall employ a stopping-time argument from [4J. This argument relies on the existence of decompositions of a given Ahlfors-regular set which are analogous to the usual dyadic decompositions of ordinary Euclidean space. In the present chapter we discuss the existence of similar decompositions for our set using (only) the local Ahifors-regularity property givcn in Proposition 4.1. Let us first be more precise about the kind of decompositions that we want to have. DEFINITIoN 7 1 Let F he a hounded Ahifors-regular set of dimension d (as in Definition 2.1), and set R = diam F A cubical patchwork onF is a sequence of partitions of F into measurable subsets Q, Q which satisfies the followinq properties (for some constant C): (7.2) and if Q E E3, then C-1 2 'R 0 and all pairs (x,r) that satisfy

and 0 0. When a' C this follows from (717) and (7.16). If B(x,2r)fl 0, then it is easy to reduce to the case where a' B, by increasing slightly the choice of r If B(x, 2r) does not intersect B1, then (7.14) ensures that B(x, r) cannot intersect more than a bounded number of Q1's, and (7.22) is immediate. Thus (7.22) holds in all cases, and (7.20) follows. We are left with the task of establishing the lower bound

(723) for

J-1"(PbnB(x,r)) F9 and 0< r Choose a point y C Q2 Ct F. (This is possible, because of the definition (7 15) of J.) Let us first

7 REGULAR SETS AND CTT3ICAL PAICEWORKS

check

.37

that Q3 ç Bfr, ffi)

for every Whitney cube that intersects B(y,

Given such a cube

we have that

+

(7.26)

since Q3 intersects B(y, (7.27)

and

ii —

We also have that

both x, y lie in

y) +

diam Q3

dist(y,

13k)

uses (7.14) for the first inequality, the assumption that Qj intersects ]3(y, (7.14) again at in the next step, and the end. Combining (7.26) and (7.27) with the (assumed) inequality diam < C 13(x, gives which is what we wanted. This proves (7.25) Using (7 25) we get that This for

the third. the fact that y lies in

(728)

U

fl I3(y, fjj) where J(y. = {j C J: here). Let us assume for the moment that

i

(7.29)

ø}. as

in (7.16) (even though y g

= radius(B)

and verify that (E\111) n B(y,

(7.30)

c

U

1. cover R'1\I3i, it suffices to show that j it Since Q3 intersects E and B(v, in order to conclude that j J(y, fj) (Compare is enough to check that Qj c in with the definitions of J(y, and J.) Since x (c th) and diam Since the cubes Q3, j

whenever Q3 intersects (FJ\131) fl I3(y,

the case currently under consideration, we have that

dist(x,I?1) dist(Q3,I3i)+diamQ3 and by (7.14) and (7.29). From (7.25) we have that C)3 c c this implies that Qj ç because of the definition of r0 as the radius of II and the preceding bound for the distance from x to This proves that j J(y, and (7.30) follows.

I REGULAR SETS ANT) CUBICAL

We are almost ready to prove (7.23) in the present case. We first use (7.30) and (7.11) to obtain that

H"((E\BijflB(y,1%))S

> jEJ(y

C0 E For the

application of (7.11) in the second inequality, keep in mind that Q3

En

when

j

J(y,

ç J, by the

definition (7

15)

of J.

On

intersects

other words, there

to which (7.11) can be applied in order to get the a point Q3 n E fl inequality above.) From here we may conclude that is

(7.31)

H'1(D3)

> 1c5)

[U JEJ Specifically, the first inequality simply uses the fact that JF'(D5) is bounded from (as the interbelow by a constant multiple of diam(Q4", by the definition of see the lines just section of Q5 with a d-plane that passes through the center of before (7.19)). The second inequality in (7.31) relies on disjointness of the interiors to say that of the

E

U

D3).

n UQfl = 0 for every j, by the definition of We can do this because are also using (for the second inequality in (7.31)) the fact that D3 ç Q, ç when j J(y, -ffi), as in (7.28). As a complement to (7.31), let us check that

We B(x,

r)

gF0nB(x,r). We automatically have that F0

E n

by the definition (7.19) of F0.

We

also

cc ç B(x, r), because x and y both lie in and diam (This last comes from the properties of x and y that were "declared" just before

have

that B(y,

(7.25).) Thus we get the inclusion displayed above. Using this and (7.31) we conclude that (7.32) We want to apply (7.7)

CH"(FoflB(x,r)).

now to get that

order to apply (7.7) in this way, we should check that y (jB) n E and n E and diam E, as in (7.8). For the former, remember that y J. ç by the definition (7.15) of J, as in the lines just before (7.25). Thus 2 E follows. As for the bound for r, the assumption (7.29) that and y In

i

7 REGULAR SEIS AND CUBICAL PATCHWORKS

39

r

radius(B) ensures that r diem E (which is more than. we need), since both lie in E by assumption. the center of B and x E A Thus we may apply (7.7) in this way. and (7.32) yields

Hd(F0flB(x,r)) This proves (7.23) in the present case where x E and r 'r > 100 diem radius(B). (These hypotheses were made just before (7.25), and in (7.29).) If r > radius(B) (and x E A, r> are still true), then we simply use the estimate Hd(FoflB(x,ro))

the first inequality is trivial and the second comes from the previous case. This is sufficient for (7.23), since we restrict ourselves to r 100 diem Q,., whether or not r radius(B). We already covered the case where x and r 100 diam Qt in (7.24), and so we have now established (7.23) whenever x for some i J and where

0


2 yeJ(x

c

>2

iI"(l))

jeJ(-r

0 (large) and ij> 0 (small) with the following property. Let x F and 3 0 be given (and arbitrary,). If

c

(88) and

Hd(R(Tjfr))) then

[vie require that] x

G1(C1, C2, ij).

The

depend only on implicit in (8.2).

constants C2 and i-,.'

'y, C1, n, k, and the constants for the cubical patchwork {E5

REMARK 8.10. The constants for {E, do not cause any trouble here, because they are controlled by Proposition 7.6 (and. indirectly, by Proposition 4.1). As we mentioned before, C2 will be quite large, and in particular, every cube Q

Thus (8.8) guarantees that B. Let us also mention that the proof of Main Lemma 8.7 will not quite use all of the information we have about F and {E3 },, but only (8.3), the Ahlfors regularity of F, and the fact that {E, }, is a cubical patchwork for F that satisfies (8.2). The main lemma will be proved in Chapter 9, especially Section 9.2. For the moment we want to explain why it implies the local uniform rectifiability of We begin by recalling the theorem from [43 that we want to apply. in E3 will have diameter much smaller than C'22 lies well inside

THEOREM 8.11. Let F be a compact d-dimensional Ahlfors-regular set in RI', }j?o be a cubical patchwork for F. Let P cii R" be a d-plane, and let rr and let denote the orthogonal projection of fl" onto P. Also let > 1) be given. Then there is a constant C1 > 0, depending only on the constants associated to (as in Definition 7.1). so that the following is true. are given, with Suppose that > 0 and 1o E (8.12)

H"(ir(Io))

8 A STOPPING-TIME ARGUMVNT

46

Also suppose that there are positive constants C2 and ri such that, with the same and it C satisfy (8.9). notations as befote, x 03(C1,C2yq) whenever j Them there is a closed set r ç 10 such that gcI(r) (8.13) and (8.14)

jir(u)

ir(v)1

M 'lu — vI for all u,v r.

Here 9 > 0 and M > 0 depend only on it, {E5}1, C2, amdq.

the

constants for the cubical patchwork

This is essentially nothing but a rephrasal of Theorem II on p. 77 of [4], modulo

some minor adjustments. In f4] the result was stated for an unbounded regular set, while here we work with a compact regular set. This makes no real difference;

none of the properties of the regular set F outside the given cubical set were ever used in the proof in [4], and the mapping z in [4) might as well not have been 1, defined outside of In the statements were normalized so that diam Io but this is also not significant. The "cubes" required in Condition Q on p 76 of [4] are provided by the partitions Note that "dist(x, OR)" in (6) on p. 76 of [4] is a misprint, and should be replaced with "dist(x, E\R)" This is compatible with the conditions (7 4) or (7.10) for our cubical sets. Notice also that the small number c in Condition Q of does not have any deep meaning: we can simply take e = 2 for some large integer N, and the cubes in [4) will be obtained by The main keeping only the partitions j 0, rather than all of the reason for taking c small in [4] was to have the small boundary condition (6) on p. 76. The number S in

has been replaced by 22 here. because we are using S already

in the quasiminimality condition from Chapter 1. The story about rj) Note that the requirement in and (8.9) corresponds to Condition (9) on p. 77 of [4j that Condition (9) apply to all it in the regular set — and not just the x's in — was unnecessary In fact, the argument in uses Condition (9) only when it also satisfies T1 (it) c 10; otherwise the corresponding cubes were simply thrown (This is why away. and accounted for through the small boundary condition for we do not need to account for (8.8) in the statement of Theorem 8.11.) Actually, we could have stated Theorem 8 11 with Io F, and then the am parently more general version above would follow automatically. The present formulation was chosen for the convenience of the application to quasiminimizers. Let us now explain how local uniform rectifiability of can be derived from

Theorem 8.11 and Main Lemma 8.7. Let U. 5, and B he as in the beginning of this chapter Choose F and the Ei's. j 0 in the same manner as before. Let us assume for the moment that there is a constant 2 > 0 with the property that, for each choice of cubical set Io E1, J 0, there is a d-plane P such that (8.12) holds.

In this situation we apply Theorem 8.11 to get a constant C1 with a certain property. This constant C1 depends on the constants associated to the cubical patchwork but the latter are under control. as in Remark 8.10. Using this choice of C1, we then apply Main Lemma 8.7 to obtain particular values of (2 and

Remember that it0 is the center of our ball B, and that r4, is the radius. Let jo be the smallest nonnegative integer with the property that if is the cube in E3,,

M A SlOPPING-lIME &RGI'MENT

47

that contains x0, then

c Fix a d-plane P such that (8.12) holds with this choice of and for every x C let us use Theorem 8 11. The requirement that x lie in G1 (C1, C'2, for all x C To such that (8.9) holds is satisfied because of Main Lemma 8.7. and all j nfl that satisfies (8.13) From Theorem 8.11 we obtain a closed set P c ç

and (8.14). Thus the restriction of ir to P is bilipschitz, by (8.14) and OH"([0)

C that we can control. (It might be really big, but it only depends on the correct parameters, and not on the initial choice of ball B, for instance.) This conclusion is exactly the kind of local uniform rectifiability property that we are after. It does not quite fit with the exact formulation of Theorem 2.11, and we shall

deal with that in Chapter 10.

The argument just described relies on the assumption that we can find, for each cubical set in some E,, a d-plane P so that (8.12) holds. To avoid this assumption we shall employ the trick discussed in Chapter 6. Using this we shall establish the following. PROPOSITION 8.15. Let S be a (U. k, 6)-quasiminimizer, and let B = B(xo, r0) be a closed ball centered on 5* such that 2B ç U and ro < 6. Then there is a compact subset P of ri B(xo, rø) and a Lipschitz mapping h P —* Rd such that Hd(r) (8.16)

and

S Mu) -h(v)} where C4 depends only on k and n. (8.17)

z'}

S C3ju—vj foru,v eP.

The remainder of this chapter will be devoted to the proof of Proposition 8.15, given Main Lemma 8.7 and Theorem 8.11 Let 5, B be as in the statement of

and let F,

be a regular set and a cubical patchwork way as at the beginning of the chapter (i.e.. through Proposition 7.6). We do not know that F has big projections yet, but we can find Proposition

8.15,

for it, chosen in the same

Lipschitz mappings with big images instead, as in the next lemma. LEMMA 8.18. For each in 0 and each cube is a C-Lipschiiz mapping h: R' R" such that

(8.19)

Ej,, such that lo c B, there

H"(h(10)) ? C1H"(10).

where C depends only on n and k. To prove this, let C such that is a point e (8.20)

E10,

be given, with

C B. Let us first check that there

bdiaml0,

where b> 0 depends only on k and n. This follows from (7.2) and (7.10) in (8.2). while (7.10) provides a Specifically, (7.2) gives a lower bound for the mass of (small) upper bound for the measure of the set of points in which lie close to g*\J0 Thus there must be at least one point in which is not too close to S*\Io, as in (8.20).

8 A SI OPPLN(:-T!MP, ARCL'uLNT

48

Let Q be the cube in R" (in the standard sense) which is centered at has its sides parallel to the axes, and diameter equal to b diam We may as well assume that b < This ensures that Q satisfies the hypothesis (5.2) iii Proposition 5.1, because of our requirements on B from Proposition 8.15. From Proposition 5.1 we get a C-Lipschitz map Ii: R" Rd such that

fl Q)) C

(8.21)

1(diam

f)d

proves Lemma 8.18, because we know from (8.20) that fl Q ç Now we proceed to the proof of Proposition 8.15 itself. Let be a nonnegative

integer, and let

be an element of >Ju with

C B, where B is as in Proposi-

tion 8.15. We shall make specific choices later on, but for the moment let us proceed

on this basis. Let h be as in Lemma 8.18, and set (8.22) x

x

and

y r- h(x)}

Thus is the same as where the latter is defined through (1.12) (with i.e., as the intersection of U with the support of gd restricted to o Ux

This uses the fact that /t . Rd is Lipschitz. l)enote by F the graph of/i over F, i.e,

XRCIHxEF and y=h(x)}.

(8.23)

each j (824)

For

0 and Q E E3, put Q

ER" x Rd :x EQ and y =

and set

(8.23)

With these choices F is an Ahlfors-regular set of dimension d, cubical Patchwork for F. Moreover,

and

{E,}5>0 is a

(8.26)

(as in (8.3)), where B is the ball in x Rd with center (Zn. /z(x0)) and radius r0. and (Compare with (8.2).) These assertions satisfies (7.10) with B = ---f follow from the analogous statements for F, { and from the fact that /i is C-Lipschitz. In each case one has estimates that depend only on k and ii.

Let P denote the d-plane {0} x Rd in R" x R'& and let ir be the obvious projection from R" x (8.27)

onto P. Our choice of /i ensures that

sdfr(Io)) =

where > 0 depends only on k and it We now apply Theorem 8.11 to the set F and cubical patchwork with 'y > 0 chosen as above. From this we obtain a new constant ('i, which depends only on k and n, and which has the property described in the statement of Theorem 8.11.

By Proposition 6.1, S is a (U. k, h)-quasiminimizer in R" x R". where U = U x Rd and k depends only on k and in. Thus we are in the same situation as have described at the beginning of this chapter, except that 5, F, and been replaced with 5, 5*, F. and This l)ermnit& us to apply Lemma 8.7.

8 A S'IOPI'INC-'ITME ARGUME\'l

40

with #y > 0 as in (8.27) and with the constant G1 that we just obtained from Theorem 8.11. This leads to new constants G2 > 0 and ij > 0. which still depend only on k and ii. So far everything that we have said applies to any choice of j0 0 and with 1(3 C B. In particular. the constants C1, G2, and ij do not depend on in and The Lipschitz mapping h from Lemma 8.18 does depend on and and the sets 5, F, etc.. do as well, but this does not cause any trouble, because we have uniform bounds.

We are now ready to make specific choices of in and 1n (in order to prove Proposition 8.15). Once we select we simply take 1n to be the cubical set in E30 that contains the center Xn of the given ball B. (See Proposition 8 15.) For in we take a nonnegative integer which is large enough so that (8.28)

B(Z, 2c22-Joro) C

for all

C

We can do this in such a way that in is bounded by a constant that depends only on and on a bound for the Lipschitz C'2. the constants for the cubical patchwork {E3 constant for the mapping Ii in Lemma 8.18. There is no vicious circle here, in this because we made certain before that the constant and the bound bound for for the Lipschitz constant of Ii could be chosen independently of $, and Thus we can safely take a sufficiently large (but controlled) value of and then define In, h, F, etc., as above. We now apply Theorem 8.11, but with F, and jo Notice that the analogue of (8.12) for 4 is the same as (8.27). Also, Main Lemma 8.7 (applied to F and guarantees that lies in C'2. whenever

.1 Jo and i E In satisfy the analogue of (8.9). This also uses (8.28).

which gives the analogue of (8.8) in this situation. iii other words, the "hypotheses" of the conclusions of Theorem 8.11 hold in this situation, and so we obtain the existence of a closed subset 1' of 1o such that (8.29)

jjd(f5

and on which rr is M-bilipschitz. The constants 0 and Al can be taken to depend only on k and n. since that is true of thE' various other constants involved here. Let (using the obvious projection from F be the projection of F on R' onto RTh). It is clear from the construction that I' ç 4 ç F2B(.xu, To) = 5* flB(xn,ro), i.e., because I' c 4 and so forth. Since F is the graph of the Lipschitz function Ii over F. we have that

IId(r) A lJId(r) a suitable constant A1 (that depends only on d and the Lipschitz constant for Ii). On the other hand. IF'(In) (71 (2_loro)d, since E10. More precisely, this

for

uses (7.2) and the fact that the diameter of F is comparable in size to r0. The latter comes from the way that we chose F, which follows the construction at the beginning

of the chapter, as indicated just after tile statement of Proposition 8.15. We also know that in is uniformly bounded, as discussed just after (8.28). Combining these inequalities we conclude that (8.16) holds with this choice of F, if the constant C'3 (8.16) is large enough. This leaves (8.17). We already know that Ii is Lipschitz with a bounded constant, as in Lemma 8.18, and so we only have to worry about the lower bound in in

50

8 A SPOPPINC-TTME ARGUMFAT

(8.17) For this one uses the (trivial) formula (8.30)

for u€r.

together with the fact that 'it is bilipschitz on F (= the graph of Ii over fl. This completes the proof of Proposition 8.15, modulo Main Lemma 8.7. We shall discuss the local uniform rectifiability properties of S* further jn Chapter 10 (i.e., in other formulations), after proving Main Lemma 8.7 in Chapter 9.

CHAPTER 9

Proof of Main Lemma 8.7 The main engine of this proof will be a variant of a deformation lemma in which we shall state and prove separately.

9.1. A general deformation result We begin with some notation. Let P be a 4-plane in RTh (with 0 cc d cc it), and let V be an (it — 4)-plane orthogonal to P. We shall think of B? as being identified

with the Cartesian product of P and V, and generic elements z of B? will often be written as z = (x, y), with x P and y V. Let ir and h denote the orthogonal projections from R7' onto P and V, respectively (so that ir(z) = x and h(z) = y when z = (x,y)). We also ask that P come equipped with a fixed system of ortlionormal coin P, we shall mean a closed cube with

ordinates. Whenever we refer to a "cube"

parallel to the axes determined by these co-ordinates. By the "unit cube" we mean the one that corresponds to [0, jjd c Rd in these co-ordinates. Let {A1 denote the tiling of P by integer translates of this unit cube. Thus P is covered by the union of the A1's, while the "interiors" of the A1's (in P) are pairwise disjoint. Let Po denote the subset of P which corresponds to the subset '— N, N]d of Rd with respect to the given co-ordinates. Here N is a large integer (to be specified later). We shall also assume that we are given a subset V0 of V, with Vo either a cube or a ball. In practice, the size of Vo will be comparable to N. but for the purposes of Proposition 9.6 below it is enough for Vo to be convex, say. Set sides

=

B?.

Let F0 be a compact subset of Qo, and set

= (i

(9.2)

10:

there

is

E0flir

and

'2 = Io\1i. We shall

(9.3)

for each i

withat for

I' A1

an x, int(A1) such 1(x1)=Ø}

P0} (so that the

that

assume that

1o,

there is a finite set E(i)

ç F0 n

most Go elements such that dist(z,

every z e F0 fl ir'(A1),

that (9.4)

= {i

cover P0). Put

cubes A1, i

is not empty, 51

1

I) PROOF OF' MAIN I EMMA 8 7

52

and that (9.5)

there is a point (xj,y,) E Ko such that for each i E 1 for all y E V which satisfy x1 E int(A1) and y — (x1,y) E K0.

(Note that (i) may he empty. for any given i.) These assumptions say something about the extent to which K0 behaves approximately like a graph, or a union of pieces of graphs, over P0. More precisely, condition (9.3) says that there are at most a bounded number of "clumps" in K0 which lie above any given A1. One does not know or assume anything about the distances between these clumps a priori. Inside each A1 there is at least one point which has only one "clump" in lying directly above it, by (9.5). There is at least one point in one A1 which has nothing above it, because of (9.4). The next proposition provides a way to make a controlled deformation of K0 points onto a set of lower dimension. This deformation will not be a local one may be moved far away from where they started — but it will never move points in K0 too far from K0. Conditions (9.4) and (9.5) are crucial for this construction. The "hole" given by (9.4) provides a place to start. One would then like to systematically push away from that hole. This would not work if K0 looked like some kind of parabola, bending away from the hole in two different directions, but that possibility is prevented by (9.5). It would also not work if K0 looked like some kind of flat sheet which was completely parallel to the hole corresponding to (9.4). and this avoided by (9.3). In the end, one does not eliminate K0 entirely, but one reduces it to a lowerdimensional residue that lies above the boundaries of the cubes A1, I e [. This permits one to conclude that K0 was trivial for certain purposes of d-dimensional topology In practice one often turns this around, and says that one of (9.3), (9.4), or (9.5) must be false under suitable conditions of topological nondegeneracy. Proposition 9.6 is similar to some fairly standard constructions in topology, but part of the point here is that we need to be a bit careful about uniform bounds. PRoPOSITIoN 9.6. Let P0, and K0 be as above, so that (in particular) (9.3,). (9.4), and (9.5) hold for some constant > 0. Then there is a family of mappings 0 t I, on with the following properties:

(9.9)

— 4t(Z) is Lipschitz as a mapping [0,11 xTt" to U": 40(z) = z for all z E 4t(z) = z for all t when dist(z, Qo) > d +

(9.10)

if f'1(z)

(t. (9.8)

z)

z for some t, then dist(z, /']o)

Cforalluc (9.11) (9.12)

3:

C,

and

[0,11;

4'1(K0)cQ0 forallt; (K0) has finite (d - 1)-dimensional Hausdorff (and hence yd

(9.13)

from

measure

0);

is C-Lipschitz on W\(P0 x V).

Here C is a constant that depends only on C'0 and n.

measure

91

A GENERAL DEFC)RNIATION RLSLIJ

33

Note that we do not assert here the existence of a uniform bound for the Lipschitz norm of 4', on Qo (in (9 7)). or even on E0. The construction behind the proof does not give such a bound either. When we apply Proposition 9.6 to prove Main Lemma 8.7 (in Section 9.2), we shall take E0 to be Qo n for a quasiminimizing set 8, and (9.12) will tell us that 4' eliminates E0 in terms of cl-dimensional measure. The additional regularity provided by (9.13) will be useful for showing that does not increase the near the boundary of Qo too much. Some of the properties listed in measure of Proposition 9.6 are stronger than needed for this particular application, but they are easy to get and useful in other contexts. The proof of Proposition 9 6 will be very similar to the argument given for Lemma 16 on p. 108 of but the treatment here will be more detailed. The construction of (4', } will be accomplished in three main steps. In the first step we define a mapping Øj, which we shall later take to be 4. This mapping will move points only in directions parallel to P. For each of the cubes A1 in P, Øi will have the general tendency of moving points in iv 1(A,) to rr (OAJ, at least to the extent that it is possible to do so.

The first step of the construction. To define Øi we proceed as follows. For and let be as in (9.2), and, for each i 12, let each i be as in (9.5). Denote by the "radial" projection from A,\fx1 } onto Uul (centered at x,). Thus and it fixes every element of DA,. 0, is Lipschitz on any compact subset of We want to choose ft1' so that it (9.14) is Lipschitz; (9.15)

hoØ1 =honallofW';

(9.16)

&(z) r z when

(917) (9.18a) (9.18h)

(9.lSc) and

ir(z)

P\P0,

= 0(x) whenever

and

(x.y)

also when dist(z, F]0) 1; F]0 satisfies

.r C 0A1 for some i 1o, or .r A, for some i 11, or 2 for some i x A1 and -

finally

(919)

ir(Øi(x,y))EA, whenxcA1.

We first put

øi (z) = z

whenever a-(z) or

ii-(z)

P\P0

UA, for some i

10.

This is compatible with (9.17), because 0,(x) x for all x 0A1. by construction. Given i Io, let W, denote the set of z U0, z r (x, y), such that z satisfies (9.18b) or (9.18c) (according to whether i lies in or 12). The conditions (9.15) uniquely on each W1, and so we can think of and (9 17) determine the values of Qi as now being extended to all of the W1 's as well. Let us check that the restriction (OA,) U W, is Lipschitz for each i 10. We only have to worry about of to it is equal to h. as in (9.15). Notice that 61. since (the remaining piece) h ° ir(Wj) is a compact subset of A, that necessarily omits x1. because of (9.2) and (9.5) and 12, respectively). l'his implies that 0, is Lipschitz on flA, U ir(Wj), (for i in and hence that r o øi is Lipschitz on it t(ilA,) U TV,, because of (9.17).

9 PROOF OP MAIN LEMMA 57

Set U1 = E0flr'(A,). Thus U1 = W1 wheni 11, but this can fail wheni 12. For each i 12, let us extend Oi as a mapping defined so far on ir'(8A1)uW1 to a mapping defined on the (potentially larger) set C '(ÔA,) U U1. It is easy to do this in such a manner that the extension remains Lipschitz, the condition h o c51 h is preserved, and ir (Oi (z)) A1 when z U1, since these features hold already on

C'(3A1)uW,. Thus we have

defined as a Lipschitz mapping on

ir'(ÔA,)u (E0nc'(A,)) for each i

1o, and with 01(z) z whenever ir(z) 8A1 for any i. This compatibil— ity condition ensures that 01 is actually Lipschitz on the union of these individual sets. In fact, we have now defined th1 for all z such that ir(z)

P\P4,,

or ir(z)

5A1 for some i,

or z

F0,

and Oi is Lipschitz as a mapping on this whole set z also for z It" such that In accordance with (9.16), we now set c5i (z) is also Lipschitz. dist(z, F0) 1. It is not hard to see that this new extension of

Finally, we define Oi on all of It" by taking another Lipschitz extension. We demand that this extension also be compatible with (9.15) and (9.19), but this is easy to arrange, because we had the same kind of compatibility at every previous step. More precisely. to get an extension for it is enough to choose extensions for hoç51 and iroçb) separately, and then combine them afterwards. In this manner, compatibility with (9.15) and (9.19) "decouples", and they become independent propertics for the extensions of Ii o and ir o ç5, on their own (without involving the other). For h o one can simply take the extension to It" to be equal to Ii everywhere, as in (9.15). For ir o Øj. it is not hard to see that there is a Lipschitz extension which is compatible with (9.19). One can choose the extension on each '(A,), i 10, separately, for instance. We have already defined ir o on the set complement of the union of these sets. and on the boundaries of these sets, and this ensures the consistency of the individual extensions to the sets ir '(A,), That is, one has consistency of these individual extensions with each other, and with the rest of the mapping It" It" that satisfies (9.14)--(9. 19). Notice that we already have no control on the Lipschitz constant for Oi on F0. The Lipschitz behavior that we do have depends on (9.17) and the fact that is a compact subset of A1 which omits x,, but we have no bounds (from below) for the distance between ir(W1) and x1, while the Lipschitz norm of 0, blows up as one approaches

The second step of the construction. Set (9.20)

(9.21)

F1

-

O,(E0) C Qo,

3flz+3t0,(z)

for 05 t
dist(z, Qo)

dist(z,

d

+3

for each i 12, and (9.51) implies that z is not moved by the deformation 0 a 1. or similarly by any of its subsequent counterparts 40, 1 0 when a [t — Let ns check that if to (0, 11\A. then such that = C

for some constant C (that depends only on it and our original constant C'T,). then the fact that to A implies that Q1(z) z. because of the if t9 definition (9.21) of when 0 I < in this case we have that dist(z,Eo) < 1, by (9 16), and 1øi(z) — d, because of (9.15) and (9 19). Using (9.21) again we get that

disteFt(z).Eo) d4 I and in particular for t = to. for all t [0, Now suppose that j 0 and G1 > 0, and we (large) and > o (small) such that the following is true. Pick a want to find point z F and an integer j 0, and assume that

c

(9.58)

Let T =

(z) denote the union of the cubical sets Q in and assume that

which intersect the ball

(9.59)

(Keep in mind that the elements of are themselves of size r0, as in (7.2).) Then (we want to show that) z lies in C2, rj), the "good" set of points z F that satisfy (8.4) or (8.5). From now on 7 and C1 should be taken as fixed. Imagine that we have particular values of C'2 and in play, and let us proceed by contradiction. Thus we assume that we have z F and j 0 such that (9.58) and (9.59) hold, and that neither of (8.4) or (8.5) are true. This means that (9.60)

rr(T)

does

not contain (all of) P

fl Ber(z), C12

and (9.61)

ffdfr(R)) (1+2TI)ff"(R)II"(ir(T))IP'(T)' for every cubical set R

such that H ç T.

We want to show that this leads to a contradiction, at least if C'2 is large enough and rj is small enough (depending only on the constants mentioned at the end of Main Lemma 8.7). To do this, we shall use (9.58)—(9.61) and Proposition 9.6 to show almost that we can deform a significant portion of S" onto a set of equal to zero, thereby contradicting the quasiminimality of S. First we need to set some additional notation and normalizations, to place ourselves into the setting of Proposition 9.6. We already have a d-plane P (given as in Chapter 8), and, as in the beginning of this chapter, we take V to be an (n—d)-plane in R7' orthogonal to P. For simplicity,

let us choose V so that it also passes through the origin Let ir and h denote the orthogonal projections of RTh onto P and V. respectively. We identify R7' with P x V, and we shall often denote points in R'7 by w = (z, y), where z = rr(w) lies in P and y = h(w) lies in V, as before. (The requirement that V contain the origin

9 I'ROOF OF MAIN LEMMA S 7

in fact yields iv = ir(w) + h(w), but the notation (x, y) is generally clearer for our purposes. We fix on P a system of orthonormal co-ordinates, so that it makes sense to speak of the origin and unit cube in P (with respect to these co-ordinates), or of cubes in P with sides parallel to the axes) it will be convenient to normalize distances by the requirement that

2C123r0=i

(9.62)

it is easy to reduce to this case by rescaling, since the problem at hand is invariant under dilations. We may also assume, without loss of generality, that (9.63)

h(z) = 0 and ir(z) is the center of the unit cube in P,

by making a suitable translation, if necessary. Because the problem only becomes more difficult when C'1 is increased, we may assume. without loss in generality, that C1 is sufficiently large compared to the constants for the cubical patchwork {E,},>() so that

forall Re S3.

diamR


H"(R) [if)

aJ-1"(Ro) —

7Jjrd(]jl

2i7aH'1(T)

— ) (1

2iH"(T)H"(119)'J.

since a 'y by (9.59). The estimate (9 67) (for Ro) follows from this and a brutal ' using the Ahifors-regularity of F and (7.2). (Rememestimate for ber also the precise definition of T, given just after (9.58).) The proof of (9.68) is similar:

E H"fr(R)) —

(9.72)

H"(R)—H"(ir(Rj)flir(R2)) licE

=

(1

+ 2r1)H"(r(T))

-

H"fr(111)

again by (9.61) (for the second step). Subtracting (973)

fl rr(R2))

as before yields

2riH"(rr(T))

2q11"(T) s

Ahlfors-regularity and the normalization (9.62) used in the last step (as well as the precise definition of 2') This proves Lemma 9.66. with

70

'1

PROOI' OF' MAIN LEMMA 8 7

LEMMA 9.74. There is a constant C'3 > 10, depending only on n, C1, -y, the Ahlfois-regularity constant for F, and the cubical patchwork constants for {E,}, so that the following is true. Assume that N is large enough and that ii> 0 is small enough, where this may depend on the constants mentioned above, and also on C'2

in the case of ii (but not in the case of N) If 2(C3 + lOn)N

(9.75)

then we can choose

so that

ION P0 C3N

(9.76)

and (9.77)

dist(Ij) x (OB(0, Pu) n V),

F) N.

The hypothesis (9.75) will he useful because it ensures that all of the pseudocubes that will be considered in the proof lie in T. It will not cost us anything in the end, because we can take 02 to be as large as we want. In the following we shall sometimes write By (0, r) instead of B(0, r) fl V i.e., for the ball inside of V. When we write OBv(O, r). we mean the boundary relative to V, or, equivalently, OB(O,r) fl V. To prove the lemma, suppose that none of the radii

p0=lONrn, satisfy (9.77). We want to find a contradiction if

is large enough and rj is small enough. Let Jo denote the smallest integer such that all of the pseudocubes in E30 have diameter N. Let us first check that Jo is necessarily a positive integer, at least if C'3 is large enough. To see this, notice that the diameter of our set F is comparable

to r0. This is not hard to check, and it was pointed out before, in Chapter 8, between (8.1) and (8.2). Thus the diameters of the elements of are comparable to 220ro, by (7.2) in Definition 7.1. On the other hand. C3N because of (9.75) and (9.58). (Remember that B = B(xo,ro) in (9.58).) This shows that Jo must be positive, if C3 is large enough (Otherwise the diameters of the elements of E50 could not be less than or equal to N.) r0 Similarly. the minimahty of Jo implies that this last C1 N. inequality we may conclude that

Jo J, at least if N is large enough (depending on C1 as well as geometric constants), because of (9.62). The lower bound for 220ro also implies that when B E10. by (7.2). For each value of m, I

m

dist(Po x

choose a pseudocube 11m

such that

'rdiamQ0. 75

10 BIG PROJECTIONS

(This is easy to check.) On the other hand, F ç Bfr, and hence

diam Qo

0, let B(e) denote the set of "bad" pairs (x1 , r1) E F x (0, diam F) for which there does not exist a d-plane P that satisfies (10.6). Also set

Bfr.x,R)={(x1,r1)EB(e)'xj€FflB(x,R)ando 0 such that

ff

(10.8)

5(t x,H)

all x F and 0 < R < diam F. See [8], especially p. 26—27, for more information and further references To prove Lemma 10.5, we apply (10.8) with x =and R -= We then choose C(e) so large (depending also on the Ahlfors-regiilarity for

constant for F) that ffdf

(10.9)

6

where

C is as

f6

/

FflB(xo,—) )

dr

I

— -> r1

x0,

in (10.8). This inequality ensures that

r1) with F fl B(xo, ro/6) and this is exactly what we want for Lemma 10.5. all

it

6

now on we let x1 and r1 suffices to show the following.

LEMMA 10.10. If > 0 is

be

r1 0 is small enough. then we can construct a mapping 0 whose existence contradicts the quasiminimnality of S. Let us first check that

< ir(x)

e Fri B1

(10.12)

+cri}) Ccrf.

ir(xi)J

This follows from (1116) and the Ahifors regularity of F. Specifically, (10.6) says

that all of the elements of F fl B1 lie within er1 of P, and this implies that

balls of radius er1 (since P is a d-plane). The H" measure of the intersection of F with any such ball is by Ahlfors regularity, and (10.12) follows by summing over the balls. Next, let 0' be a C-Lipschitz function on W' with the following properties. can be covered by

= x when x

(10.13)

R'1\B1, and also

when ir(x)—ir(x1)J (10.14)

(10.15)

01(B1) ç B1; ir(cbi(x)) =ir(x)

for alIxeR";

and (10.16)

çb1(x)=ir(x)

forallxeT,

where (10.17)

T={x€R't :dist(x,P) eri

and

ir(x)—ir(x1)J S

In other words, T is a slightly thickened version of time (fiat) d-dhnensional closed disk

{u€P:

S and Oi projects T onto this fiat disk without otherwise being too different from the identity mapping. It is not difficult to produce such a mapping and with uniformly bounded Lipschitz constant. (Note that T lies well inside B1, at least if e is small enough.) We are primarily interested in the restriction of 01 to

fl B1. Note that

S*flBi=FflB1,

(10.18)

because of (10.4) and the inclusion (10.19)

B1

(which itself comes from the choice of a'1, r1 in Lemma 10.5). If

xES*flBi and then

(a') = a'. We do not know exactly what Oi does when

a'€[ nB1

and

Ti

10 BIG PROJECTTONS

82

but (10 12) guarantees that this set is pretty small, and so we shall not worry about it too much. Jf

XES*flBI then (10.6) says that x T. and a second mapping 02 to send

TI

and

(x) = ir(x). This makes it easier for us to apply

01({x€stnB1 :frr(x)—7r(xjjI

r.i})

to a (d — 1)-dimensional sphere (and hence a set of II'1-measure 0), which is our

next task. toPflUB(7r(x1). the usual radial projection with center Define 02 first by setting it to to the identity mapping on UT, and to he equal to 0 on Let

which

Odenotethe mapping from PflB(7r(x),

is

flhr(S*

D

(10.20)

he equal

flBi).

More precisely, D does not contain because of the way that e was chosen at the beginning of the proof (of Lemma 10.10), and so D is contained in the domain of 0. Also, D is a compact set. because S* is relatively closed in U (the open set from Proposition 10.1 in which everything takes place), because B1 is contained in U (since B1 c B(xo, i'), as in (10.19)). and because of (10.6), which permits us to rewrite (10.20) as

1)nir(S*

D

at least if is not too large. (Tn applying (10.6), we are also implicitly using (10.18).) The compactness of D implies that

dist(D,e) > 0, so that 0 is Lipschitz on D. We do not have any control on the Lipschitz constant, because we have no control on the distance from D to C. From this we may conclude that our initial definition of 02 on UT U D is Lip-

schitz, since the definitions on UT and D are compatible with each other at the places where they overlap (and because UT and D ç P intersect "transversally"). Next, we extend 02 to a Lipschitz mapping from T into itselfi It is not hard to choose an extension which takes values in T. rather than just RIt, and in any case this can he corrected afterwards using a Lipschitz retraction from T onto itself. Finally, we set 02(x) = x for x R"\T, so that 02 becomes a Lipschitz mapping from H?' to itself (since 02 is equal to the identity on UT already, by the first step above).

Define 0: RTt

want

H?'

by 0

02 ° Oi. This is the Lipschitz mapping that we

to use to test (and then contradict) the quasiminimality of S.

Let W (10.21)

= {x

H?' : 0(x)

x}. as usual

It is not difficult to check that

wuØ(W) ç B1:

this uses (10.13). (10.14), the facts that 02(T) C T and 02 is equal to the identity

mapping

on the complement of T (by construction), and the inclusion T c

B1.

From (10.21) one can also verify that 0 satisfies the usual requirements (1.3), (1.6). For this one should remember that r0 < 8 and B = B(x0,ro) C U, as in the by the and r1 statement of Proposition 10.1, while B1 B(xi,r1) c

10

1410 PROJECTIONS

83

conditions in Lemma 10.5 The homotopy condition (1.7) for can be derived as in Remark 1 10. In short, meets the conditions required in the definition of a quasiminimizer (in Chapter 1). This permits us to apply (1.8) to obtain that

sd(SflW)

(10.22)

kH"(O(SflW)).

We want to estimate both sides of this inequality. The main point of the construction of ç5 is that Hd(4(S* fl T)) — 0 (10.23)

(and. in fact. 0(5* fl T) has finite H" 1-measure). This property holds because (10.24)

0(5* nT) = 02(oiis* flT))

c q52(pnE(ff(xl)4)nn(s* C PnDB(ir(xi),rj). The first inclusion in (10.24) uses (10.16) and the definition (10.17) ofT, while the second comes from the definition of çb2 (i.e., the fact that 02 = 0 on D, where D is as in (10.20)) It follows from (10.23) and the definition of W that every element of 8* fl T lies in W. Therefore (10.25)

flT)

H"(SflW)

fl B(xi, 'n-))

The second inequality in (10.25) comes from the inclusion

8* flT D

n B(xi,

which itself follows from the definition (10.17) of T and the fact that x1, r1, and P

satisfy (10.6). For this we also need c to be reasonably small The third inequality in (10.25) is a consequence of the local Ahifors regularity of as in Proposition 4 1

0.

these conditions, every (U, k, 6) -quasiminimizer restricted to A is an ordinary

('unrestricted) (U. k, 6)-quasiminimizer, with k =

Cf(1

+ 1k) and 6 =

min(61,

The existence of the retractions h may seem to be a complicated condition. but it is easy to check in some situations (like neighborhoods of unions of cubes of definite size), and it becomes simpler when 6 = = See also Section 12 1. To prove the lemma, let S be a (U, k, 6)-quasiminimizer restricted to A, and BY let boa Lipschitz mapping that satisfies (1.5), (1.6), and (1.7), but with 6 replaced by 6. We want to verify the quasiminimality condition (1.8) for 0 and S. and with k replaced by k. Set

W = {x E BY 0(x)

x}.

We may as well assume that I'V fl S 0, since otherwise (1.8) is trivial. Put F = W U 0(W), and let L be the closure of F. Thus L intersects 5, since F does. This implies that L intersects A, because S A, since S is a quasiminimizer restricted to A. The diameter of F is strictly less than 6 because of

(1.5) (with 6 replaced by 6) and the definition of 6 in Lemma 11.5. Thus L has diameter strictly less than and L is a compact subset of U. because of (1.6). The hypotheses of Lemma 11.5 provide us with a Lipschitz mapping h = h1. RTh BY that satisfies (11.6)- (11.9). Put 0

h

°0.

We want to apply the restricted quasiminimality property of S to 0, and then use the result to derive the ordinary quasiminimality property for S and 0 as in (1.8) To do this, we begin by verifying that 6 satisfies the requirements of Definition 11.2 (with respect to 6). Clearly 0 is Lipschitz since 0 and h are. Also, 0(S) c A. This comes from the way that we chose h. Specifically, if p is an arbitrary point in 5, then either e A (since S c A, by assumption - 0(p) = p, or 0(p) p. If çf(p) = p. then p, then p E W, see Definition 11.2), and h(c5(p)) = 0(v) E A by (11.6). If 0(v) 0(v) E 0(W) c F ç L, and h(0(p)) E A, by (11.7). Thus çp(p) = h(0(p)) lies in A for all p E S. and 50 (11.4) holds (with 0 replaced with 0). It remains to check that 0 satisfies the analogues of (1.5), (1.6). and (1.7). Set Thus

W ç WU(Wh\W), x. then either 0(x) x, or 0(x) = x and as one can easily check. (If 0(x) h(x) x, and this is what the inclusion for 147 says.) This yields 0(W) c 0(W) U h(Wh) = h(o(W)) U

88

11

RICTE!) AN!) !)YADIC QUASIMIN1MIZLRS

since 0 is equal to the identity on Wh\W. We can refine this a bit by observing that h(O(T'V))

Uh(o(W) n

=

c

0(W) U Ii(W11)

It is equal to the identity on 0(W)\Wh) Combining this with the previous step we obtain that 0(W) c 0(W) U h(W11), and hence that (since

14T

U 0(W)

ç (w U Q(W)) u (Wh U h(W,j),

because of the earlier inclusion for W. This shows that W U Ø( W) lies at positive distance from R?'\U. because of (11 9) and (1.6). In other words, 0 satisfies (1.6) Next we want to estimate the diameter of WUQ( W). By assumption, 0 satisfies (1.5) with 6 replaced by 6, so that diatn(W U 4Y(W)) 0, as required in (1. Ic). These inequalities can be derived from the corresponding statements forØ (with 6 replaced by 6) in practically the same manner that (1.5) and (1.6) for were derived from their counterparts for before (For the bound on diamW(cb), note that çb(S flW) c because q5(S n W) c W U çb(W), as before, while W U 0(W) ç W(O) holds by the definition of W(0) (simply by taking = 1) This permits one to say that every element of (E) lies at distance < from W(o), and then the rest of the argument is the same as it was previously. For the statement that the distance from W(0) to the complement of U is positive, essentially no changes in the earlier argument are needed at all.) Thus (1.7). we have that Of course b — fo4 is automatically Lipschitz, and so the last point about 0 (for showing that it is an acceptable deformation for S as a quasiminimizer restricted to A flS14) is that ç145)c AflS3d.

To verify this, notice first that S itself must be contained in A fl since S (See the statement of is assumed to be a quasiminimizer restricted to A n 53 Proposition 11.13 and Definition 11.2.) Let x be any element of S. If 0(x) = x. then 0(x) = f(0(x)) = f(x) = x, because of (11.16) and the fact that x S ç Sj In particular, 0(x) lies in A fl 5j.d in this case (as desired), since x does (because x 5). If 0(x) x. then x Sn W. Thus 0(x) E (by the definition of E as the closure of 0(Sn W)), and 0(x) = f(0(x)) by (11.17). We also have that 0(x) A, because of (11.20). This implies that 0(x) = f(ø(x)) lies in A too. because of (11.18) and the assumption in Proposition 11.13 that A be a union of cubes in we have that 0(x) A fl 5j,d in this second case as well. This proves that 0(x) lies in A fl 5,j.d whenever x 5, SO that 0(5) c A fl In conclusion, we obtain that çô is an acceptable deformation for the ((I, k, 6)property for S restricted to A n 5j.d' This enables us to apply (11.3) to obtain that

quasiminimality

Hd(SnFV) We want to use this to establish an analogous inequality for 0 instead of Set

= {x Thus 0(So) =

:0(x)

IA RESTFUCTFD AND 1)YAI)!C QLASIuINIMIZI-1tS

automatically. Let us check that E\83 d.

Because E was defined to be the closure of th(S fl W) the only issue is to show that

E\(&(SflW)US34) =0. Remember that dist(W,R11\U) > 0,

by (1.6) (for and that S is relatively closed in U, because of (1 1). (More hence is precisely. (1.1) was included in the requirements of DefInition 11.2, implicitly part of the hypotheses of Proposition 11.13.) Prom here it follows Sfl W n W) is compact as well, and closed in particular. is compact. Therefore fl W) (and, in fact, E This implies that E nW)). lip is a point in for some x E Sn(W\W). Because x

then we can writepa.s

W,

that x. and so p = x. However, we also have that x S, and hence (That is, we are assuming from Proposition 11.13 x since S ç A n that S is a quasiminimizer restricted to A Sj d. so that S must be contained in we have

A fl as in Definition 11.2.) This shows that p must lie in Sj,d. In other words, we have shown that every point p in E\çb(S n W) must lie in Sj,d, which is exactly n W) U 4 0. This proves that what we wanted, i.e, as claimed above. we can apply (11.19) (and the fact that 0 = fo th, by Because = construction) to obtain that

=

(11 22)

On the other hand. S n W

ç So U [(S

n W)) by

n W)\So], and therefore

+ then the ith coordinate becomes larger under the flow, and if 0 be given Then there exist C1 I and b1 > (1 so that the hypotheses of Lemma 11.5 are satisfied (concerning the existence of a mapping h = hL associated to a given set L). Here depends only on b. n, and jo. C1 depends only on n, and

The fact that

need not depend on b will be useful later on. Fix a choice of b. and let bi > 0 be small, to be chosen soon. As in Lemma 11.5, let L be a compact subset of U which intersects A and satisfies diamL < bi. for all Set D = {x E R" dist(x, L) diam L}. Thus dist(x, A) x D, since L intersects A and has diameter less than We shall require that

DCY0.

(12.24)

Define f

—p

[0, co)

by

f(x) min(dist(x. diam L). Thus f is Lipschitz with constant 1, and 1(x) = diam L when x L, by the definition of D. Since L intersects A, we have that dist(x, A) < diam L for all (12.25)

x E L, and hence

f(s)

(12.26)

We define h = (12.27)

ILL

:

—f

A)

when x

L.

R" as follows. If x E V. then we put

h(s) = G(x, f(s)),

where G(x, 1) is as in (12.12). When x E R71\Y, we set h(s) x. Thus in fact we have that h(x) = x whenever x it' \D. since f vanishes on this set and G(x, 0) = x for all x E V In particular, there are no discontinuities of h at the boundary of V.

If x E A, then h(s) = x, since G(x, t) = x for all t > 0. If 2' E L, then f(s) dist(x, A), as in (12.26), so that h(s) = G(x, f(x)) lies in A, by Lemma 12.14. This shows that (11.6) and (11.7) are satisfied. One can also check that h is Lipschitz, with a constant that depends only on n, because of the corresponding statement for G (Lemma 12.15). and the fact that f is Lipscbitz with constant 1. This choice of h comes with a natural homotopy II R" x [0, 1] R'1, which is defined by (12.28)

II(.r.s) = G(x.sf(x))

12 1

I'HE INLI'IAL 81.1-UI'

when x e Y. H(x,s) = a' when a' E P.Y\Y. We actually have that H(x, s) = a' for all a' E B? \D and s e [0, 1). for the same reason as before. Thus no discontinuities are introduced at the boundary of Y. and H is even Lipschitz. We have that H(x, 0) Gfr, 0) = a' (12.29) for all a', and that H(a', 1) = h(a') for all a' too. We need to verify (11.9) and its counterpart for H(a', s). It will be useful to make some auxiliary definitions. Given t 0, set (12.30)

E(t) = {z ER": z = G(a',t) for some a' E D},

and put

E = U E(t)

(12.31)

t>o

Let p be an element of A fl L. This exists, by our original assumptions on L. We

have that p E D, since D L. and we also have that p E E(t) for every t. This is because G(p. t) = p for all t, since p E A. Let us check that (12.32)

Ec

TM(p,2C(n)

diamL) ç B(p,2(1(n)8i),

where C(n) is a bound for the Lipschitz constant for H (which depends only on by assumption. Since n). The second inclusion is automatic, because diam £ L. we have that pe (12.33) D c B(p,2diamL), by the definition of D. From here we get that E(t) ç 14(p,2G(n) diamL), (12.34) because E(t) is the image of D under a' G(a', t) (by construction), and because t) = p. This gives (12.32), since E is just the union of the E(t)'s. We are now ready to choose (12.35)

51

Specifically, we require that 15),

and we do not need to impose any other conditions on ói. For the sake of definiteness one can take bj to be one-half the right side of (12.35). for instance. Under these conditions we have that

diamE
0, which depends only on ii and so that the following is true. Let F be a compact subset of A such that (12.62)

fl Q)

0 except along the boundary. For instance, one can simply define the x71_1 component to be the distance to the boundary of the disk.) If E is homeomnorphic to then one really only needs a bound for the modulus of continuity of the mapping from K to W', as above, and only that this mapping b/homotopically nontrivial, rather than a homeomorphismn. In any case, the formulation of the question in [25] was never intended to be definitive. It was purposely given relatively strong hypotheses and weak conclusions in order to serve as a test for a basic issue, i.e.. so that it would not fail without a very good reason. As it is, the answer to this test question is positive, and the present methods provide a treatment of it which is more robust than the original formulation. In particular, the stability condition (12.47) is simpler and more robust than the one mentioned in [25] (and as indicated by the argument outlined above).

12.4. Polyhedral approximations and minimizers Let A,

d. etc., be as before.

LEMMA 12.86. Let E be a compact subset of A with J-V'(E)
1, and define hi(S) for closed sets S in Wt by (12.89)

.J3,f(S)

= W'(S n F) + M IId(s\F).

This is like the usual measurement of d-dimensional volume, except that we penalize the parts of S which lie outside of F. This is the type of functional that we shall use, but we have to specify a class

of competitors to go with it. Let F, denote the collection of compact subsets X of A such that X ç S5.d and X is the image of F under a mapping g. F —' A which is homotopic to the identity through mappings from F to A. Set

{X E F, X is j-simple}.

(12.90)

Note that F E .9) by definition. LEMMA 12.91. For each X e .JM(X)

for all M.

there is an

c

such that .JM(X')

12 APPlICATIONS

116

This is like Lemma 12.86, but simpler. Let X ..'Fj be given, and let T be one of the d-dimensional cubes that make up 5j.d' If X contains T, or if X does not intersect the interior of T, then we leave T alone. Otherwise we push X n T into ÔT using a radial projection onto liT, just as before. We do this for all T's, and the actions for the different T's do not conflict with each other, because the radial projections are all equal to the identity on the boundaries. (Keep in mind that X c 5j,d by assumption, so that one does not have to worry about other pieces of X.) This construction produces a new set X' ç A and a mapping from X onto X", given by the radial projections on the parts of X which are being modified (and by the identity mapping on the portions of X which are not modified). which By construction, X' consists of the d-dimensional cubes ,

are wholly contained in X together with a subset of S3 (11' Thus X' is j-simple. holds automatically for all M, since the part of X' contained and JM(X') in 0. That is. II d(Xt\X) = 0. d—i has To show that X' the remaining point is that there is a mapping y' from F onto X' which is homotopic to the identity through mappings from F into A. There is such a mapping y from F onto X, since X by assumption. For ci' we simply take C og. To get the homotopy condition it is enough to observe that C: X —p A is homotopic to the identity through mappings from X into A. This is true for the same reasons as before, i.e., the trivial homotopy (12.92)

E(x,s)=sC(x)+(1—s)x,

0s Oso that

any point in R" which lies within c of Z also lies in U€ V,. In particular, compact sets which are sufficiently close to Z in the Ilausdorff metric are contained in V9. From the definition of Z we have that this must be true for some of the Xf 's. When X c U9 Y,, we automatically have that (12.120)

This yields (12.121)

Hgrn1(x;)

0 be given, and set (12.127)

If

Z(c)

{x C Z: dist(x,E) 3c}.

we can show that

(12. 128)

for

C1 M 1H4(E)

all sufficiently small c, with C1 depending only on n (and not on e in

then

particular),

(12.126) will follow.

In fact we shall show that for all small rj > 0 there is a

covering of Z(c) by at

most (12.129)

C2r1 dM_lHd(E)

balls of radius rj, where C2 depends only on n. If we can do that, then (12.128) will follow, by the definition (0.2) of Hausdorif measure. Note that we may restrict

12 APUL1CXI'1ONS

124

ourselves to which are as small as we like, and < in particular. (In other words. is allowed to depend on (and, of course, not the reverse).) This formulation lends itself more easily to the definition of Z as the Hausdorif limit of the X;k 's. Set (12.130)

= {xc

We

can

want to show that

x;

2}.

he covered by at most

G3ir'M11f'(E)

(12.131)

for all sufficiently large j, where

does not depend on c,

of balls

radius

or j. If

we can prove this, then the corresponding statement for Z(€)

(73

M,

will follow.

To see this. we observe first that (12.132)

I)(Z,

Xk) <min(€,

is sufficiently large.

when

by Hausdorif convergence. Using this it

is easy to check that

for all xc Z(c) when by N balls is sufficiently large. This implies that a covering of of radius leads to a covering of Z(c) by N balls of radius 2 when 3k large (12.133)

enough. In other words, coverings for Z3 (c) lead to coverings for Z(c), with suitable

estimates. Thus we are reduced to showing that Zj fr) can he covered by at most (12.131) halls of radius 'ii for all sufficiently large j. Next. let us check that points in never get too close to b, when j is large enough. From part (a) of Lemma 12.86 we have that (12.134) dist(y.E) for all yE b,. If J is large enough, then we obtain that

dist(y.E)