#On a eu d(a1,B)⩽ ||a1-b|| avant alors on peut dire qu'il existe une boule fermée Bf(a0,r) tel que d(a0,B)⩽ ||a0-b||=r #Lors de l'intersection de d(a0,B) avec B, il ne reste qu'un morceau K qui est inclus dans d(a0,B) qui est compact, et donc K qui est fermé (une intersection de fermés est un fermé) dans un compact est compact #On a vu dans le 1) que si A et B sont compacts alors il existe d(A,B)=d(a,b) donc si A et K sont compacts, il existe d(A,K)=d(a,b)=d(A,B) car K⊂B donc il existe forcément
/image%2F2301540%2F20210822%2Fob_bbfb6f_imageintro.jpg)
/image%2F2301540%2F20241223%2Fob_650fa2_exo14-7corrige1.jpg)
/image%2F2301540%2F20241224%2Fob_98b1d4_dp.jpg)
/image%2F2301540%2F20241223%2Fob_ab5df3_exo14-7corige2.jpg)
/image%2F2301540%2F20241223%2Fob_2feca9_exo14-7corrige3.jpg)
/image%2F2301540%2F20241223%2Fob_f959e3_exo14-7corrige4.jpg)
/image%2F2301540%2F20241223%2Fob_dbb6d3_exo14-7corrige5.jpg)
