Distance à un ensemble (ENS Cachan MP 2002)
Michel Quercia1
1
Agrégé, Lycée Carnot, Dijon
20 avril 2024
Exercice 0.1 ⋆⋆ Distance à un ensemble (ENS Cachan MP 2002) ENS
MP
Soit A une partie de Rn non vide. On note pour x ∈ Rn : dA (x) = inf{kx − yk tq y ∈ A}.
1. Montrer que dA est continue.
2. Soient deux parties de Rn non vides A, B. Donner une condition équivalente à dA = dB .
3. On note ρ(A, B) = sup{|dA (y) − dB (y)|, y ∈ Rn }, valant éventuellement +∞.
Montrer que l’on a ρ(A, B) = max sup dB (x), sup dA (x) .
x∈A x∈B
Solution :
1. Pour x, x′ ∈ Rn et y ∈ A on a dA (x) ≤ kx − yk ≤ kx − x′ k + kx′ − yk. En prenant la borne
inférieure sur y on obtient dA (x) ≤ kx − x′ k + dA (x′ ). Par symétrie on a aussi dA (x′ ) ≤
kx − x′ k + dA (x) d’où |dA (x) − dA (x′ ) ≤ kx − x′ k.
2. On sait que A = {x ∈ Rn tq dA (x) = 0}. Donc dA = dB ⇒ A = B et la réciproque résulte
de la propriété facile dA = dA .
3. On note : M = sup{|dA (y)−dB (y)|, y ∈ Rn }, α = sup{dB (x), x ∈ A} et β = sup{dA (x), x ∈
B}. Par restriction de y à A∪B on obtient M ≥ max(α, β). Par ailleurs, pour y ∈ Rn , a ∈ A
et b ∈ B on a ky − ak−ky − bk ≤ ka − bk d’où dA (y)−ky − bk ≤ dA (b) puis dA (y)−dB (y) ≤
β. Par symétrie on a aussi dB (y)−dA (y) ≤ α donc |dA (y)−dB (y)| ≤ max(α, β) et finalement
M ≤ max(α, β).
Références