Bola cerrada

De Wikipedia, la enciclopedia libre

Tienes mensajes nuevos (Dif. entre las dos últimas versiones).

En Matemática (en concreto en Topología y en las ramas que la utilizan), una bola cerrada es un conjunto de puntos que distan de otro no más que un cierto radio. Es un concepto fundamental en el Análisis Matemático.

[editar] Definición y notaciones

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

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

En Análisis Funcional, cuando se trabaja con espacios normados la notación $B (a, r)$ se reserva para las bolas cerradas, usando para las bolas abiertas la notación $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 $a$ y radio $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 $\{(x,y) \in \mathbb{R}^2 : (x-a)^2 + (y-b)^2 \leq r^2\}$ ) es el disco cerrado de centro $(a, b)$ y radio $r$ , razón por la cual se denota por $\overline{\Delta}((a,b),r)$ . Nótese que esta situación se da en particular en Variable Compleja, siendo entonces la notación $\overline{\Delta}(z,r) = \{\xi \in \mathbb{C}: |z - \xi|\leq r\}$ (donde $| ξ |$ representa el módulo de $ξ$ ). Aunque no es estándar, sí es usual encontrar textos en los que $\overline{\Delta}$ denota al disco de radio unidad centrado en el origen, i.e., $\overline{\Delta} =\overline{B(0,1)}$ .

[editar] Propiedades

Toda bola cerrada es un conjunto cerrado.

El conjunto de todas las bolas cerradas de un espacio pseudométrico ( $\{\overline{B}(x,r): x \in E, r >0\}$ ) no forman una base de los cerrados de la topología asociada a la pseudodistancia.Sin embargo, si consideramos un punto cualquiera del espacio y lo fijamos (por ejemplo, el punto $x$ ), el conjunto de bolas cerradas centradas en $x$ ( $\{\overline{B}(x,r): r>0\}$ ) forman una base de entornos de $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: $\{\overline{B}(x,r): r \in \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.