Independientemente de los conocimientos o de la capacidad de comprensión que uno pueda tener, en ocasiones las matemáticas pueden dejarte bastante sorprendido. Y no hay que irse a temáticas poco conocidas dentro de esta ciencia, o a un nivel de conocimientos tan alto que sólo sea alcanzable por unas pocas personas en el mundo. Resultados que nos sorprendan pueden encontrarse mucho más cerca y mucho más al alcance de todo. Hoy os traigo uno de ellos: el teorema clausura-complemento de Kuratowski.
La cosa va de conjuntos. De conjuntos en un espacio topológico. En realidad va de realizar a un conjunto las operaciones de clausura y complemento y hacerlo también con los conjuntos que vamos obteniendo en cada paso, para después contar la cantidad de conjuntos distintos que hemos obtenido.
Pero antes de nada debemos saber qué es esto de clausura y complemento, ¿verdad? Pues por ahí comenzamos.
Partimos de un conjunto de referencia y un subconjunto suyo
. Entonces:
- La clausura de
, que llamaremos
, se define de la siguiente forma:
Intuitivamente, lo que le hacemos a un conjunto al calcularle la clausura es cerrarlo (de hecho otro de los nombres de la clausura es cierre). Viéndolo en
, la clausura de un conjunto son todos los elementos de ese conjunto a los que les añadimos los puntos que no están en él pero que están pegados a muchos elementos del conjunto inicial (los bordes del conjunto, por decirlo de alguna manera). Por ejemplo, la clausura del conjunto
es el conjunto
(el 1 no pertenecía al conjunto, pero a su izquierda está pegado al conjunto, es un borde del conjunto, por lo que sí pertenece a la clausura).
Con todo esto se ve claro que
(la clausura de la clausura es la clausura), ya que si con la primera
ya hemos cerrado el conjunto, hacer la segunda
no produce ningún efecto.
- El complemento de
, que llamaremos
se define así:
Es decir, los elementos del conjunto base
que no pertenecen a nuestro conjunto. Esto suele representarse también así:
.
Por ejemplo, si
y
, entonces
.
Una propiedad del complemento es que
(el complemento del complemento es el conjunto inicial).
Ya sabemos qué es la clausura y el complemento de un conjunto, por lo que ya estamos preparados para realizar el experimento que comentaba antes. Imaginemos que tomamos un subconjunto cualquiera de un espacio topológico con una topología cualquiera (podemos tomar cualquier subconjunto de
con la topología usual). Ahora vamos aplicando a este conjunto las operaciones clausura y complemento de la forma que queráis. Por ejemplo, calculamos su clausura, luego el complemento de su resultado y luego la clausura de lo que nos queda. O primero complemento, después clausura, después complemento de nuevo y para finalizar otra vez clausura. O hacer esto 50 veces. Lo que queráis, lo que se os ocurra.
Imaginaos que hacemos eso. Echemos un vistazo a todos los conjuntos obtenidos. ¿Habrá muchos iguales, por lo que esencialmente serán muy pocos? ¿O habrá muchos distintos, por lo que en realidad hay muchos? ¿Para todos los conjuntos obtenemos la misma cantidad de resultados distintos, o hay diferencias? En ese caso, ¿hay alguna cota (superior o inferior) para el número de conjuntos distintos que obtenemos?
Vale la pena que penséis un momento, que intentéis intuir (o, por qué no, determinar sin ningún genero de duda) la respuesta. La tenéis un poco más abajo…
Lo que creo que está más o menos claro es que no debe haber el mismo número de resultados distintos para todos los posibles subconjuntos iniciales que podamos tomar. Ahora, ¿hay muchos o pocos? La respuesta es que hay muy pocos, que es, quizás, el resultado más intuitivo. Pero, ¿se sabe algo más concreto? Pues, sorprendentemente, sí. De hecho se sabe que como mucho aparecerán 14 conjuntos distintos realizando sucesivamente las operaciones de clausura y complemento a cualquier subconjunto de un espacio topológico (sta es la razón por la que a este resultado también se lo conoce como teorema de los 14 conjuntos de Kuratowski).
Vaya, 14…¿por qué 14? La verdad es que me intriga bastante la inesperada aparición del número 14 en este caso…
Bueno, vamos con el enunciado del teorema:
Teorema: Dado
un espacio topológico cualquiera y
un subconjunto de
, aplicando las operaciones clausura y complemento (las veces que queramos y en el orden que nos apetezca) a este subconjunto obtendremos como mucho 14 conjuntos distintos, que son los siguientes:
(
es el operador identidad, es decir, el que deja a
tal cual)
Además, existe al menos un espacio topológico en el que existe al menos un conjunto para el cual esa cota se alcanza.
Como vemos, el teorema, que debemos al matemático polaco Kazimierz Kuratowski, nos asegura dos cosas: que como mucho obtendremos 14 conjuntos distintos y que al menos existe un caso en el que se llega a esos 14.
Aunque habitualmente este tipo de teoremas con enunciado tan sorprendente suelen tener demostraciones no constructivas, es decir, demostraciones en las que se demuestra lo que el teorema dice pero no se dan pautas para calcular explícitamente lo que nos dice, se puede ver en el enunciado que en este caso no es así, ya que la demostración del teorema clausura-complemento de Kuratowski es constructiva, y además relativamente sencilla. Vamos a verla, dividiéndola en dos partes (la primera es fácil, pero algo engorrosa; si no tenéis ganas de leerla podéis pasar directamente al segundo paso):
- Como mucho hay 14 conjuntos:
Partimos, como antes, de un conjunto base
y de un subconjunto suyo
. Hemos comentado antes que
, por lo que si nos encontramos dos clausuras seguidas podemos eliminar una, y también que
, por lo que aplicar complemento dos veces seguidas es como no hacer nada. Por tanto, todos los posibles casos distintos se reducen a expresiones de alguno de los cuatro tipos siguiente:
Hemos bajado mucho el número de conjuntos distintos, pero todavía hay que reducir más.
Tomemos ahora el conjunto
. ¿Qué hemos hecho? Primero el complemento de
, después lo cerramos con la clausura y para finalizar complemento de nuevo. Esto es, nos quedamos con lo que no pertenece a
, le añadimos los bordes que le falten (ahora tenemos tanto los bordes que estaban en
como los que no) y después volvemos a hacer complemento, con lo que nos queda el conjunto
inicial sin los bordes que pudiera tener de entrada. Vamos, lo que se llama el interior de
:
. Con esta definición está claro que
.
Vamos a demostrar ahora que
(omito el nombre del conjunto y los paréntesis para simplificar la escritura). Lo haremos por doble inclusión.
Sabemos que
es igual al interior del conjunto, y que el interior de un conjunto está contenido en el propio conjunto. Por tanto
. Aplicando clausura mantenemos la relación de inclusión, por lo que
. Ya tenemos la inclusión de izquierda a derecha.
Por otra parte,
(es su interior). Si aplicamos clausura a ambos lados (mantenemos la relación de inclusión) tenemos que
. Pero si aplicamos complemento la relación de inclusión cambia (un conjunto pequeño tiene un complemento grande, y viceversa). Por tanto,
. Aplicando ahora clausura de nuevo tenemos que
, que es la inclusión de derecha a izquierda.
En consecuencia,
. Y esto elimina muchos casos, ya que en cuanto aparezca
lo cambiaremos por
. Uniendo esto con que las únicas opciones es ir alternando la aplicación de
y de
, tenemos que las únicas posibilidades son las comentadas en el teorema:
Fijaos que si a
le añadimos una
queda
, que acabamos que ver que es igual a
, que ya está en la lista. Y si a
le añadimos una
, tendríamos
, que también está en la lista. Cualquier otra posibilidad que se os ocurra puede reducirse a alguno de estos 14 resultados mediante la aplicación de alguna de las propiedades que hemos comentado.
- Existe al menos un caso en el que se llega a los 14 conjuntos distintos:
El teorema dice que como mucho hay 14 conjuntos distintos, es decir, los 14 conjuntos que nos da el teorema no siempre son distintos. Por ejemplo, si
con la topología usual y
, entonces
, por lo que en este caso no serían todos distintos.
Se podría dar el caso de que esta cota de 14 conjuntos distintos no se alcanzara nunca, pero en realidad sí se alcanza. Aquí tenéis un par de ejemplos:
Os dejo a vosotros que intentéis comprobar que los 14 conjuntos que corresponden a y a
son, efectivamente, distintos en cada caso. Sería magnífico que lo mostrarais en los comentarios.
El artículo de hoy ha sido un pelín largo, y en algunas partes la notación es un poco engorrosa, pero no me podréis negar que el resultado del que os he hablado es suficientemente interesante y curioso como para merecer un post así.
Fuentes:
- Kuratowski’s closure-complement theorem (solution).
- The Kuratowski closure-complement theorem (pdf), de B. J. Gardner y Marcel Jackson.
- La foto de kuratowski la he tomado de aquí.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
[…] "CRITEO-300×250", 300, 250); 1 meneos El teorema clausura-complemento de Kuratowski gaussianos.com/el-teorema-clausura-complemento-de-kuratow… por eñe hace […]
Gracias por la entrada y por recordar esta propiedad 🙂
Información Bitacoras.com…
Valora en Bitacoras.com: No hay resumen disponible para esta anotación…
Parafraseando a mi uno de mis poetas favoritos, Pessoa, este teorema es tan bello como la Venus de Milo. Lo que hay es poca gente que se dé cuenta de ello.
Me ha encantado leerte, ^DiAmOnD^. Muchas gracias
Es una monada, efectivamente.
Que recuerdos, en la hoja de ejercicios de topología de primero uno de los ejercicios era calcular el número máximo de conjuntos distintos que se podría obtener con este proceso… Pero bueno, el profesor comentó que eso era un teorema con nombre y nos dijo el número y que en realidad no era su intención que lo demostrásemos, y nos animó, pero sin ponerle mucho entusiasmo, a que probáramos este proceso con distintos conjuntos, a ver quién conseguía el número más elevado. Lo cierto es que tal como lo comentó el profesor, parecía que el teorema sería complicadísimo de demostrar… Lee más »
Este post es una autentica joya,estupendo en verdad estoy totalmente de acuerdo con uno de los comentarios que parafrasea que esto es mas bello que la Venus del milo 🙂
Esperaba desde hace mucho tiempo un post de estos sobre topologia !y vaya que valió la pena la espera, por favor escribe mas artículos como estos.por cierto el broche de oro somos ejemplos en R
Felicidades realmente soberbio
Felicitaciones por esta gran entrada, tan bien documentada y razonada.
Muy buena y útil labor.
Saludos.
Ramón
Coincido con @Ramiro hum-sah: lo mejor, los ejemplos finales en R.
Gran post.
Zurditorium, pues tuviste suerte, ya que a mí no me hablaron de este resultado en la carrera, lo descubrí hará un año y algo y volvió a mi cabeza hace unos días, por lo que decidí escribir sobre él. También pensé en principio que la demostración sería complicada, pero al verla me quedé sorprendido de la simplicidad de la misma, teniendo en cuenta el resultado.
Y, en general, gracias a todos por vuestros comentarios. Me alegro una barbaridad que este post os haya gustado tanto, ya que le dediqué unos buenos ratos a escribirlo. Intentaré continuar así :).
Gracias por darme a conocer tan precioso resultado. ¡No lo conocía!
M, un placer 🙂
Creo que este bien podría ser mi post favorito de todos los tiempos de Gaussianos.
¡Qué teorema! ¡Teoremazo!
[…] sus puntos de acumulación. Se trata de topología, de la que @gaussianos nos presenta el teorema clausura-complemento de Kuratowski, con cuyos libros disfruté aprendiendo estas ideas. Foto José Medrazo. […]
Èpico
[…] convenio de creación del IEMath, firmado por todas las partes. El primer paso está dado El teorema clausura-complemento de Kuratowski La representación fractal de la conjetura de […]
Yo lo vi en el Munkres como ejercicio propuesto del capítulo de espacios topológicos.
http://mestradoufscar.files.wordpress.com/2012/01/topologia-munkres-espac3b1ol.pdf
La última fórmula no se ve 🙁
Por lo demás, un artículo estupendo. Da la casualidad que he empezado hace una semana a estudiar algo de Topología, y este post me viene como anillo al dedo 😉
Un saludo de parte de un físico salmantino!