Esta es a menudo la definición de un conjunto cerrado en un espacio topológico, sin embargo, utilizaremos la definición de que un conjunto cerrado es un conjunto que contiene todos sus puntos límite.
Primero, suponga que [math] A [/ math] es un conjunto cerrado. Mostraremos que su cumplido está abierto. Debido a que [math] A [/ math] está cerrado, cualquier punto [math] x [/ math] en su complemento no es un punto límite de [math] A [/ math]. Por lo tanto, hay un conjunto abierto [math] U_x [/ math] que contiene [math] x [/ math] y que está completamente contenido en [math] A ^ c [/ math]. Entonces, [math] A ^ c [/ math] es la unión de todos los conjuntos [math] U_x [/ math] para todos [math] x \ en A ^ c [/ math]. Entonces [matemáticas] A ^ c [/ matemáticas] está abierto.
Ahora suponga que [matemáticas] A ^ c [/ matemáticas] está abierto. Sea [math] x [/ math] un punto límite de [math] A [/ math]. Pero entonces [math] x [/ math] no puede estar en [math] A ^ c [/ math] porque este es un conjunto abierto que separaría este punto de [math] A [/ math]. Por lo tanto, todos los puntos límite de [matemáticas] A [/ matemáticas] deben estar en [matemáticas] A [/ matemáticas]. Por lo tanto, [math] A [/ math] está cerrado.
- Álgebra abstracta: ¿Qué son los homomorfismos grupales?
- ¿Cómo es estudiar una Maestría en Ciencias en matemáticas en BITS Pilani?
- Deje que [matemáticas] a_0 = 1 [/ matemáticas] y [matemáticas] a_n = a_ {n-1} (4- \ frac {2} {n}) [/ matemáticas], [matemáticas] n \ geq 1 [/ matemáticas ] ¿Cómo demuestras que [math] a_n [/ math] es un entero positivo?
- Cómo practicar las matemáticas de manera eficiente
- ¿Cómo se calcula el riesgo sistémico en las finanzas personales? ¿Alguien lo ha hecho?