Cómo distinguir qué está dentro, qué está cerca y qué está en el borde
Prof. Alejandro Ucan-Puc
En ciencia de datos, a menudo queremos responder preguntas como:
La respuesta depende de la vecindad del punto y del conjunto.
Si hay una bola completa alrededor del punto dentro del conjunto, el punto es interior. Si cualquier vecindad toca tanto el conjunto como su complemento, es frontera.
La noción central es la bola abierta de radio $\varepsilon$ centrada en $x$:
$$B_\varepsilon(x)=\{y\in \mathbb{R}^n: \|y-x\|<\varepsilon\}.$$< /p>
Una vecindad de $x$ es cualquier conjunto que contiene alguna bola $B_\varepsilon(x)$.
Punto interior de $A \subseteq \mathbb{R}^n$:
$$\exists\,\varepsilon>0\quad\text{t.q.}\quad B_\varepsilon(x)\subseteq A.$$
Entonces $x \in \operatorname{int}(A)$.
Punto frontera de $A$:
$$\forall\,\varepsilon>0,\quad B_\varepsilon(x)\cap A \neq \varnothing \;\text{y}\; B_\varepsilon(x)\cap A^c \neq \varnothing.$$
Entonces $x \in \partial A$.
La frontera es el conjunto de puntos que están "en el borde": ni completamente dentro ni completamente fuera.
Vecindad abierta de $x$:
$$V(x) = B_\varepsilon(x)$$
o más generalmente, un conjunto que contiene una bola abierta alrededor de $x$.
Vecindad cerrada de $x$:
$$\overline{B_\varepsilon(x)} = \{y:\|y-x\|\le \varepsilon\}.$$
Es la versión con borde incluido: incluye los puntos a distancia exactamente $\varepsilon$.
En palabras: la vecindad abierta “deja fuera” el borde; la vecindad cerrada lo incluye.
Sea $A=\{(x,y): x^2+y^2<1\}$.< /p>
Aquí,
$$\operatorname{int}(A)=A,$$
$$\partial A=\{(x,y):x^2+y^2=1\}.$$
La frontera es la circunferencia del disco.
Considere $A=\{(x,y): y>0\}$.
En este caso,
$$\operatorname{int}(A)=\{(x,y):y>0\}, \qquad \partial A=\{(x,0): x\in\mathbb{R}\}.$$
Sea $A=\{(x,y,z): x^2+y^2+z^2<1\}$.< /p>
$$\operatorname{int}(A)=A,$$
$$\partial A=\{(x,y,z): x^2+y^2+z^2=1\}.$$
La frontera separa el interior del exterior.
Un conjunto $A$ es abierto si $A=\operatorname{int}(A)$, es decir, si todos sus puntos son interiores.
Un conjunto $A$ es cerrado si contiene a su frontera, es decir, si $\partial A\subseteq A$.
Se recomienda usar representaciones dinámicas para hacer visible la idea de “estar dentro, estar afuera y estar en el borde”:
Pregunta guía: ¿Qué cambia si el conjunto es un disco, una corona circular, un semiplano o una esfera?
Visualización de $B_\varepsilon(x) \subseteq A$ y $B_\varepsilon(y) \cap A^c \neq \varnothing$
Hemos introducido la geometría de la cercanía: interior, frontera y vecindades.
La próxima sesión profundiza la conexión entre topología, conjuntos y análisis de datos.