Bola (matemática)

Una bola, en topología y otras ramas de la matemática, es el conjunto de puntos que distan de otro igual o menos que una distancia dada, llamada radio. Es un concepto fundamental en el análisis matemático. Se distinguen dos tipos: las abiertas y las cerradas.

Una bola abierta es el conjunto de puntos que distan de otro punto (el centro), a una distancia menor a la determinada (el radio). Equivale al conjunto de puntos contenidos dentro de una superficie esférica, excluida dicha superficie.

Sea ${displaystyle (E,d)}$ un espacio pseudométrico (por lo general se toma un espacio métrico, pero basta con que ${displaystyle d}$ sea pseudodistancia). Sea un número real ${displaystyle r>0}$. Sea ${displaystyle ain E}$. Se define la bola abierta de centro ${displaystyle a}$ y radio ${displaystyle r}$ (o simplemente bola de centro ${displaystyle a}$ y radio ${displaystyle r}$) como el conjunto ${displaystyle {xin E:d(a,x)<r}}$.

Este conjunto tiene distintas maneras de denotarse. La usual y universal es ${displaystyle B(a,r)}$. A veces, si en el espacio existen distintas (pseudo-)distancias definidas, se hace hincapié en qué (pseudo)-distancia se está usando para definir el conjunto, utilizando esta notación: ${displaystyle B_{d}(a,r)}$. En algunos textos se denota sin embargo por ${displaystyle B_{r}(a)}$.

En análisis funcional, cuando se trabaja con espacios normados se prefiere la notación ${displaystyle U(a,r)}$ para denotar la bola abierta. Así, ${displaystyle U}$ denota a la bola de centro ${displaystyle 0}$ y radio ${displaystyle 1}$. La notación ${displaystyle B(a,r)}$ se reserva para las bolas cerradas (con el peligro de confusión que eso genera).

Cuando hablamos de espacios euclídeos, la bola es "redonda", en el sentido intuitivo del término, por lo que la bola de centro ${displaystyle a}$ y radio ${displaystyle r}$ coincide en esos casos con los puntos encerrados en el interior de una superficie esférica. En el caso particular del plano, la figura entonces obtenida (es decir, el conjunto ${displaystyle {(x,y)in mathbb {R} ^{2}:(x-a)^{2}+(y-b)^{2}<r^{2}}}$) es el disco (abierto) de centro ${displaystyle (a,b)}$ y radio ${displaystyle r}$, razón por la cual se denota por ${displaystyle Delta ((a,b),r)}$. Nótese que esta situación se da en particular en Variable Compleja, siendo entonces la notación ${displaystyle Delta (z,r)={xi in mathbb {C} :|z-xi |<r}}$ (donde ${displaystyle |xi |}$ representa el módulo de ${displaystyle xi }$). Aunque no es estándar, sí es usual encontrar textos en los que ${displaystyle Delta }$ denota al disco de radio unidad centrado en el origen, i.e.., ${displaystyle Delta =B(0,1)}$.

Toda bola abierta es un conjunto abierto.

El conjunto de todas las bolas abiertas de un espacio pseudométrico (${displaystyle {B(x,r):xin E,r>0}}$) forman una base de la topología asociada a la pseudodistancia. Si consideramos un punto cualquiera del espacio y lo fijamos (por ejemplo, el punto ${displaystyle x}$), el conjunto de bolas abiertas centradas en ${displaystyle x}$ (${displaystyle {B(x,r):r>0}}$) forman una base de entornos de ${displaystyle x}$. En concreto es una base de entornos abiertos, conexos, conexos por caminos y simplemente conexos. Si el espacio es además un espacio vectorial topológico, también es base de entornos convexos. De hecho, podemos tomar la siguiente base de entornos: ${displaystyle {B(x,r):rin mathbb {Q} ,r>0}}$ que (además de tener todas las propiedades antedichas) es numerable. Esto prueba que todo espacio pseudométrico cumple el Primer Axioma de Numerabilidad.

Si el espacio es un espacio normado, toda bola abierta es homeomorfa al espacio.

Es el conjunto de los puntos del espacio métrico E que cumplen la condición ${displaystyle {xin E:0<d(a,x)<r}}$. ^[1]​

Una bola cerrada es el conjunto de puntos que distan de otro (el centro), una distancia igual o menor dada (el radio). Equivale al conjunto de puntos contenidos dentro de una superficie esférica, incluida dicha superficie.

Sea ${displaystyle (E,d)}$ un espacio pseudométrico (por lo general se toma un espacio métrico, pero basta con que ${displaystyle d}$ sea pseudodistancia). Sea un número real ${displaystyle r>0}$. Sea ${displaystyle ain E}$. Se define la bola cerrada de centro ${displaystyle a}$ y radio ${displaystyle r}$ como el conjunto ${displaystyle {xin E:d(a,x)leq r}}$.

Este conjunto tiene distintas maneras de denotarse. La usual y universal es ${displaystyle {overline {B(a,r)}}}$, o también ${displaystyle {overline {B}}(a,r)}$. A veces, si en el espacio existen distintas (pseudo-)distancias definidas, se hace hincapié en qué (pseudo)-distancia se está usando para definir el conjunto, utilizando esta notación: ${displaystyle {overline {B}}_{d}(a,r)}$. En algunos textos se denota sin embargo por ${displaystyle {overline {B}}_{r}(a)}$.

En Análisis Funcional, cuando se trabaja con espacios normados la notación ${displaystyle B(a,r)}$ se reserva para las bolas cerradas, usando para las bolas abiertas la notación ${displaystyle U(a,r)}$ (con el peligro de confusión que eso genera).

Cuando hablamos de espacios euclídeos, la bola es "redonda", en el sentido intuitivo del término, por lo que la bola de centro ${displaystyle a}$ y radio ${displaystyle r}$ coincide en esos casos con los puntos encerrados por una superficie esférica (entendiendo que consideramos los puntos de la propia superficie esférica como puntos de la bola). En el caso particular del plano, la figura entonces obtenida (es decir, el conjunto ${displaystyle {(x,y)in mathbb {R} ^{2}:(x-a)^{2}+(y-b)^{2}leq r^{2}}}$) es el disco cerrado de centro ${displaystyle (a,b)}$ y radio ${displaystyle r}$, razón por la cual se denota por ${displaystyle {overline {Delta }}((a,b),r)}$. Nótese que esta situación se da en particular en Variable Compleja, siendo entonces la notación ${displaystyle {overline {Delta }}(z,r)={xi in mathbb {C} :|z-xi |leq r}}$ (donde ${displaystyle |xi |}$ representa el módulo de ${displaystyle xi }$). Aunque no es estándar, sí es usual encontrar textos en los que ${displaystyle {overline {Delta }}}$ denota al disco de radio unidad centrado en el origen, i.e.., ${displaystyle {overline {Delta }}={overline {B(0,1)}}}$.

Toda bola cerrada es un conjunto cerrado.

El conjunto de todas las bolas cerradas de un espacio seudométrico (${displaystyle {{overline {B}}(x,r):xin E,r>0}}$) no forman una base de los cerrados de la topología asociada a la seudodistancia.Sin embargo, si consideramos un punto cualquiera del espacio y lo fijamos (por ejemplo, el punto ${displaystyle x}$), el conjunto de bolas cerradas centradas en ${displaystyle x}$ (${displaystyle {{overline {B}}(x,r):r>0}}$) forman una base de entornos de ${displaystyle x}$. En concreto es una base de entornos cerrados, compactos, conexos, conexos por caminos y simplemente conexos. Si el espacio es además un espacio vectorial topológico, también es base de entornos convexos. De hecho, podemos tomar la siguiente base de entornos: ${displaystyle {{overline {B}}(x,r):rin mathbb {Q} ,r>0}}$ que (además de tener todas las propiedades antedichas) es numerable. Esto prueba que todo espacio seudométrico cumple el Primer Axioma de Numerabilidad.

---