2 ? = >HA JA E= =IK IK AG ?

IK XHJDID HEI

EIJD =F @AEND CE= J CAC ? JE X A D IA AEIJ @EXIJD = A =E BH=C D

W. T. Gowers

2H =F=EJ

A =
HEI ? JD? BH=C D? IK XH

HEI ? JD? IK GAE=?  IM JM =E  =E JDID? 6 =N M = JD? F DH JDJ=?

E IK

AE? =F @A NAE?

E= =F JE? C MIJ ? =F @A NAE? GAE I= =BAJDH = J A HD = Heine-Borel FM? E = CHXO K A J [0, 1] I= MID E=? E C AE=? = E J IK M F H A FX J= = J CHXO K A =E I= MID E=? FAFAH=I D? KF E C AE=? JD? /E= = =F @A N K A JE X A IK AG ? IK XHJDID f : [0, 1] R A =E BH=C D CE= X A x H K A Ux = A =E J I M JM y CE= J= F = |f (y ) f (x)| < 1 6= I = Ux A =E = E JX =E D MID J K? A =E FH B= ? DH J [0, 1] )F J A HD = Heine-Borel KFXHG K x1 , . . . , xn IJA D MID JM IK M Uxi = A =E DH J [0, 1]  M? J JA D f A =E X M BH=C D =F J M := 1 + max f (xi ) = E= X D C MIJ =F @AEND NA E XAE A J A HD = Bolzano-Weierstrass X A K = IJ [0, 1] GAE IKC KI= KF= K = 6 JA = J IK F H=I = J K AMH =J ? @A EIG AE CE= JD f F H A = >H A E= XFAEHD = K = (xn ) IJA f (xn ) > n CE= X A n -FE C K A KF= K = D F = IKC AE IA XF E x =E A CG K A JE D f @A F HA = A =E IK AG ? IJ x
1in

) = = FJ J=? E= =F @AEND GMH ? = C MH FXCAE=?

K A JD

E= JD? IK

E @ =F @A NAE? F K FAHECHXO= A FE FX M >=I J=E A J = J X JH F IJ CAC ? JE J AEIJ @EXIJD = [0, 1] A =E IK F=C ?  A CA E X JE = I A =E IK F=C ? = E = F EA J IK F H=I = J K AMH =J ? Heine-Borel /E= KF I = J K Rn F H A = GHDIE F E I K A I= HEI J A HD = Bolzano-Weierstrass 6E = F H I= A = X K A = @A A G= A F J IK = J IAE JD E= JD? IK FXCAE=? IA F E=@ F JA HB JD? )? B= J=IJ A JE FH FAE = = JE AJMF I K A E= IK XHJDID HEI D IJ [0, 1] CE= JD F = @A C MH K A J F J= F H= =F J JE A =E IK AG ? 2 ? F H A = JD IJHE N K A E= F E H F=H=J HDID A =E JE D JE f (x) A =E FAFAH=I D CE= X A x =B =KJ A A J= E X A CE= E= IK XHJDID F K F= H AE FH=C =JE ? JE ? F H A = F A XJE F=H=FX M CE X = FH FAE = GHDIE F E I K A =E J HEI JD? IK GAE=? )? J K D A EF A JE E= IK XHJDID f A =E IK AG ? IJ x = /E= X A > 0 KFXHGAE > 0 IJA |y x| < = |f (y ) f (x)| <

)B C MH K A JE D f A =E IK AG ? IJ x F H A = AFE N K A F E @ F JA CE= = C K A IKC A HE E =? FXH K A = 1 =E = >H A IJA f (y ) < f (x) + 1 CE= X A y IJ @EXIJD = (x , x + ) EX AE I= = G K A X AE XF E= E H FH @ =B G K A @A NAE JE D f A =E BH=C D IA = DH = E J @EXIJD = ,A G K A M? = = ACG FX M IJ ? J K @E=IJ =J ? F JA @A = FHAFA = A =IJA F A KIE=I E 7FXHGAE XJE X F K = F H I= A = X K A = F H I= A IM? = F=H=JDH I K A JE = G K A @ AFE = KFJ A = @E=IJ =J= IA = = =F J= F = D f A =E BH=C D J JA D f A =E BH=C D IJD MID J K? 7FXHGAE XF E ? JH F ? = >H A = @EXIJD = J F = AFE = FJAJ=E A J (x , x + ) =E IJ F D f A =E BH=C D ? JH F ? F K C MH K A M? J H= CE= = =J=I AKXI K A = J J E @EXIJD = A =E = AFE N K A = ID A y =E = >H A IJA |f (z ) f (y )| < 1 CE= X A z IJ @EXIJD = (y , y + ) 2 ? M? F H A = FAJ G K A =KJ J @EXIJD = = AFE = FJAJ=E A J (x , x + ) ) > >=E= J @E J y = AE IJ (x , x + ) J JA = G K A XF E= AFE X KOD KFXHGAE M? @K ? J (y , y + ) = FAHE GAJ=E AN H K IJ (x , x + ) F JA @A G K A AH@ IAE J F J= )F JD X D F AKHX = J y @A = AE IJ [x , x + ] J JA J F HA = A =E J I E H F K = D G K A = = AFE X KOD E F=H=JDH IAE? =KJ ? KF @AE K JE = FHAFA = AFE N K A y = x + y = x ) X K A JD FH JD AFE C J JA >H I K A > 0 IJA D f = A =E BH=C D IJ (x , x + + ) )? FH IF= I K A J H= = C K A C FE IKIJD =JE = NA E I K A A x = 0 =E = FH IF= I K A = @D E KHC I K A = =E AC= JAH @EXIJD = [0, t) IJ F D f A =E BH=C D A CD J GD IM? =J=B H K A = IFH N K A J t M? J 1 F H A = KF I K A JE f (0) = 0 6 FH J > = A =E = >H A t1 IJA f (x) < 1 CE= X A x IJ [0, t1 ) GHDIE F E J=? BKIE X J HEI JD? IK GAE=? =J FE AB=H K AJ HEI JD? IK GAE=? IJ ID A t1 =E >H I K A FM? ANDC I= A F=H=FX M = t2 > t1 IJA f (x) < 2 CE= X A x IJ [0, t2 ) 5K AG K A AJ @E JH F -JIE F=HXCAJ=E E= = K = t1 < t2 < t3 < A JD E@E JDJ= f (x) < n CE= X A x IJ [0, tn ) 6A AE I= A  GE CE=J F HA D = K = (tn ) = IKC AE IA XF E =HE s < 1 6 JA J F K = A G= A =J=B HAE = J= = @A N K A JE FAHE HEI ? JD? f IJ [0, t) A =E BH=C D IK XHJDID CE= X A t < s )KJ A =E E= A @E=B H KI= FH J=ID F =I A IJAHD M? =F =KJ F K A F K A = =F @A N K A -G K A IAE JA A M? =E A JD E= JE X = A XFAEH= > =J= = X @A BJXI= A IJ IJ G =? 6D @E= M? IJEC IM? KFXHG K E X = FHXC =J= F K = F H I= A = @ E XI K A -G K A =JX XF E JH F BJXIAE IJ s F H A = FH GMH I K A C FE F H= - = FH B= ? FHXC = F K F H A = X K A A =E = IK AG I K A A JD @E= JAG E = AB=H I K A @D =@ J HEI JD? IK GAE=? A = 1 IA XF E ID A F K = AFE N K A FH IA JE X 7FXHGAE XF E ID A F K = =? > D IA =KJ JD IJEC 7FXHGAE JM? J ID A s 7FXHGAE > 0 IJA |f (x) f (s)| < 1 CE= X A x IJ @EXIJD = (s , s + ) )KJ J @EXIJD = FH FAE = FAHE GAE XF E

tn IK FAH= K A EF JE f (s) < n + 1 XH= f (x) < n + 2 CE= X A x < s + =J=B H= A EF = IK AG I K A JD = K = (tn ) F H= =F J XFAEH ) XF E ? C MH AE J K? @E=J= JE ? =HE ? = @AE JE D F=H=J HDID F K X = A @DCA IA E= E@ = =F @AEND? F H A = IK AG I K A A J @E AFEGA HD = @D E KHC J=? E= KFAHFAFAH=I D= K = )KJ D E@ = @ K A AE CE=J D= K = F K = FH OAE = =J=I AK=IJA A J IMIJ JH F A =E = = X @E=JAJ=C I ) J A HD = @A IGKA = =J=B H = A = =J=I AKXI K A = KFAH=HE IE = X @E=JAJ=C KF I JM FH=C =JE =HE XJE F K A = F H A =@ A JE @A C AJ=E XF E ? F K @A C MH AE J K? @E=J= JE ? =HE ? = I ABJA FE = J=J= M? AN ? F H = IK AG M = BJEXG M =E AC= JAH= @E=IJ =J= [0, t) IJ= F = D f A =E BH=C D ) K@ A = J J E @EXIJD = F H FX J= = J AFA JA M =E = K @ A E= =HE IE D = K = ([0, tn )) J J EM @E=IJD XJM F H FX J= = >HM = X @EXIJD = =KJ ? JD? HB ? F K J= FAHE GAE )KJ EX AE =H AJ @A F H M? = I ABJ F ? = FAHECHXOM =KJ F K IK >= AE :A E XM A t1 < t2 < t3 < AJX >H I M = =E HCE s AC= JAH =F = =KJX J F = F H I= = XIM s1 = F H I= AJX = IK AG IM A s1 < s2 < s3 < =E JM = AN ? AJX = >HM XF E r AC= JAH =F = =KJX =E = NA E IM JD =J=I AK E=? = = = K =? =F =KJ = F H I= = AF= = X>M D =KJ JD @E=@E =I = XFAEHA? B H ? GMH ? M? = =C =IJE X = BJXIM IJ 1 )F JD X D F AKHX = F H I= FX E = IK AG IM 6 FH > D = EX AE = IGAJ AJ=E A JD @KI = JD? FAHECH=B ? E=? = K =? F K FDC= AE F H= =F J XFAEH A =KJ J JH F 2 ? F H A = JD NAFAHXI K A  FM? A F= FE FHE KFXHGAE =? =KIJDH ? JH F ? FAHECH=B ? =KJ ? JD? KFAHFAFAH=I D? @E=@E =I =? F H A EF = @ I K A = AFEGA HD = >=IEI IA =KJ JD E@ = @A A =E M? =F=H= JDJ  )? I ABJ A C FE FH IA JE X JE X K A =J=I AKX K A E= = K = =HGE X A = AF= CMCE AFEGA HD = = G K A =J=I AKXIAE J tn FH GMHX A =E =J=I AKX K A J tn+1  =E AJX A XJE F K EX AE A AF=CMCE AFEGA HD = = G K A =J= I AKXIAE = J= tn FH GMHX A =E =J=I AKX K A J s1  0 CA E AK D AF=CMC A =E @KI JAHD CE=J @A G K A = = I @AE J I= =KJ JM BKIE =HE 7FXHGAE XF E ? JH F ? = X K A AF=CMC GMH ? JD KF IJ HEND A ? =JX D K IK K @AE J =E KFXHGAE EJX? J E H JAH = JEF=HX@AEC = F H A = GHDIE F E I K A JD E@ = J K E H JAH K = JEF=H=@A C =J ? IJ FH > D = =? -G K A E= @E=@E =I = >= E= =? AF J=ID? J K @E=IJ =J ? [0, t) IJ F C MH K A JE D f A =E BH=C D ) F H I K A = IFH N K A J t M? J 1 G K A JA AE IAE ) @A F H A J JA FH FAE = KFXHGAE XF E A @ ? BHXC =J ? @D =@ = ID A F H= =F J F @A F H A = FAHXI K A /E=J = D EJXN K A J FH J J J E ID A ,A A =E = = JA A M? B= AH JE D E@ = =? = @ K OAE )? FH IF= I K A M? - =E IMIJ JE KFXHGAE XF E A XGEIJ t A JD E@E JDJ= JE D f @A A =E BH=C D IJ [0, t) ) D f @A A =E BH=C D J JA @A A =E BH=C D IJ [0, 1) AB=H IJA JD IK GAE= IJ 1 KFXHGAE EF J K XGEIJ = t IJA D f = D A =E BH=C D IJ [0, t) 6 JA =F J =N M = J K A XGEIJ K X M BHXC =J ? = =E A@ >H I K A = CEIJ XJM BHXC = AFE C K A J inmum s M JM t

F K G K =KJ JD E@E JDJ= ) KFXHGAE XF E A XGEIJ t FM? J K A =KJ FH FAE = A =E J s : H K A JE D f @A A =E BH=C D IJ [0, t) CE= X A t > s -FAJ=E =F =KJ JE D f @A A =E BH=C D IJ [0, s) =E CE=J = D f J= BH=C D IJ [0, s) J JA =F JD IK GAE= IJ s J C MIJ AFEGA HD = = J= BH=C D IJ [0, s + ) CE= =JX D = E H > 0 -G J=? >HAE J A XGEIJ s CE= J F D f @A A =E BH=C D IJ [0, s) A F K A J H= JE = @DCD A IA = J B=ID 6 H= E N H K A JE =H A = GHDIE F E I K A JD IK GAE= IJ s 0 f A =E BH=C D IJ (s , s + ) CE= =JX D -F ID? A =E BH=C D IJ [0, s /2) 5K AF ? A =E BH=C D IJ [0, s) =E G K A J XJ F F K = A

E= E H F=H=

=C =KJ

J K AFEGAEH

=J ?

- = X AFEGA HD = F K = F H I= A = GHDIE F E I K A A =E J AN ? -IJM X J I M JM t CE= J= F = D f A =E BH=C D IJ @EXIJD = [0, t] 6E F H A =F A CE= J X 5 C KH= = J s = AE IJ X =E r < s J JA J r = AE IJ X 5K AF ? J X A =E XF E @EXIJD = JD? HB ? [0, u) JD? HB ? [0, u] 5JD FH JD FAH FJMID AB=H K A JD IK GAE= IJ u CE= = @A N K A JE J [0, u) @A F HA JA E X = A =E J X 5JD @A JAHD FAH FJMID AB=H K A JD IK GAE= IJ u CE= = @A N K A JE J [0, u] @A F HA JA E X = A =E J X A J ?= u=1

2 ? @DC

=IJA IA E= FE IK >=JE

=F @AEND

=JX JD C D K D =F @AEND F K FAHE CH=O= A =E BKIE CE A JD E= JE D E@ = = AFA JA K A J @EXIJD = IJ F D f A =E BHXC A D A =E X J FH J FHXC = F K = FH IF= IA = A ? ,A A =E M? J I O J K XGEIJ IJD FH JD A @ G JD? I E C MIJ ? =F @A NAE? F K GHDIE F E J A HD = Heine-Borel J A HD = Bolzano-Weierstrass = F H IA IM? XF E ? = I ABJA =KJX J= AMH =J= GMH ? FH DC K M? = FAHXIAE =F J K? IK CEI ? F K = =FJ N= A  J= IJD =HG AB=H I= A J HEI JD? IK GAE=? =J=I AKXI= A CE= JKG x = = E J @EXIJD = Ux F K FAHEA GA J x =E IJ F D f J= BH=C D 2=H=JDH I= A JE = =? IK BAHA = AFE = FJ J=E =KJX J= @E=IJ =J= 1IM? = D GHAEX AJ=E ACX D B= J=I = CE= = F=H=JDH IAE XF E ? JE = F H I= A = = O K A J [0, 1] GHDIE F E J=? FAFAH=I = J F ? =F =KJX J= @E=IJ =J= J JA = A G= A JA AE IAE  I CE= J A HD = Bolzano-Weierstrass =KJ A B= AJ=E BKIE CE X = XF E ? FH IF= IAE = =F @A NAE J =F J AI = A =F=CMC IA XJ F 6E ID = AE J = D A =E BH=C D D f 5D = AE JE CE= X A n KFXHGAE xn IJA f (xn ) > n 6 JA FH IF= A = X K A XJE A =KJ JD = K = ,A F H A = @DCD A IA = J B=ID =F = ACX D JE f (xn ) FH FAE A XF E JH F = JE? GHDIE F E I K A A? = - =? X ? JH F ? CE= = BJXI K A IJ A HD = Heine-Borel = J= = NA E I K A =F J AFEGA HD = JD? AF J=ID? @E=IJD XJM =E = AFANAHC=IJ A

"

J K? IK CEI ? F K @D GHDIE F E I= A 6 >=IE = F K GHDIE F E I= A IK AG ? J= JE X A x FAHE GAJ=E IA XF E = E J @EXIJD = Ux IJ F D f A =E BH=C D 2H IF= I= A = I K A = J= @E=IJ =J= = IK = J J=? FH > =J= = A G= A XFAEH= J J E= @E=IJ =J= XJE F K JA E X NAFAHXI= A AFEIJH B J=? IA FAFAH=I = =F =KJX - =E B= AH JE =KJ F K FH IF= I= A = X K A J= = = O K A J [0, 1] A FAFAH=I =J F ? Ux )F =KJ J ID A GHE = I ABJA ? JD @E=J FMID J K AMH =J ? Heine-Borel D =F IJ=ID @A A =E F ACX D