TEOREMA DEL PUNTO MAS PRÓXIMO

Sea 𝐹 un subconjunto cerrado no vacío de ℝ𝑛 y sea 𝑥 un punto

fuera de 𝐹. Entonces existe cuando menos un punto 𝑦 pertenece a
𝐹 talque
‖𝑧 − 𝑥‖ ≥ ‖𝑦 − 𝑥‖, para todo 𝑧 ∈ 𝐹.

Demostración:
Dado que 𝐹 es cerrado y 𝑥 ∉ 𝐹.
La distancia de 𝑥 𝑎 𝐹, se define como
𝑑 = 𝑑 (𝑥, 𝐹) = {‖𝑥 − 𝑧‖: 𝑥 ∈ 𝐹}, donde 𝑑 > 0.
1
Sea 𝐹𝑘 = {𝑧 ∈ 𝐹: ‖𝑥 − 𝑧‖ ≤ 𝑑 + } para 𝑘 ∈ ℕ.
𝑘

Son conjunto cerrados en ℝ𝑛 y es claro que 𝐹1 esta acotado y que

𝐹1 ⊇ 𝐹2 ⊇ ⋯ ⊇ 𝐹𝑘 ⊇ ⋯
Además, por la definición de 𝑑 en 𝐹𝑘 se puede ver que 𝐹𝑘 ≠ ∅
Ahora por el teorema de Intersección de Cantor, se deduce que hay un
punto 𝑦 perteneciente a todos los 𝐹𝑘 , 𝑘 ∈ ℕ.
Se puede ver que
𝑑 = ‖𝑥 − 𝑦‖
Y como
𝑑 ≤ ‖𝑥 − 𝑧‖
Entonces
‖𝑥 − 𝑦‖ ≤ ‖𝑥 − 𝑧‖ para todo 𝑧 ∈ 𝐹.
Bibliografía:

• Roberto G. Bartle (1980). Introducción al Análisis

Matemático (1º Edición)
• Elon Lages Lima (2009). Análisis Real vol. 2 IMPA
• T.M. Apóstol (1976). Análisis Matemático (2º Edición)
• Renato Benazic (2007). Análisis Real III