Conjuntos finitos y conjuntos especiales

Un conjunto finito A es aquel que tiene un número finito de elementos, o de otro modo, que
puede ponerse en correspondencia biunívoca con un conjunto del tipo {1, 2, 3, ..., n},
donde n es un número natural. Esto significa que podemos emparejar los elementos de A y
los de {1, 2, 3, ..., n} sin que sobre ninguno. Si un conjunto no verifica esto, entonces es
infinito:

Un conjunto infinito es un conjunto que no puede ponerse en correspondencia biunívoca

con ningún conjunto {1, 2, 3, ..., n} para ningún número natural n.

Los conjuntos infinitos poseen las siguientes propiedades:

 La unión de dos conjuntos es infinita siempre que al menos uno de ellos sea infinito.
 Cualquier conjunto que contenga un conjunto infinito es infinito a su vez.
 El conjunto potencia de un conjunto infinito es infinito a su vez.

Conjuntos Especiales

Es probable, que antes de abordar la definición de cada uno de los conjuntos que pueden
considerarse pertenecientes a la denominación Conjuntos especiales, sea conveniente revisar
de forma breve la propia definición de Conjunto, a fin de entender cada una estas agrupaciones,
dentro de su contexto teórico específico.

Por consiguiente, se puede comenzar por decir que las Matemáticas conciben al Conjunto como
una colección abstracta de elementos, entre los que se puede identificar al menos un elemento
en común, es decir, que son considerados como pertenecientes a una misma naturaleza, de ahí
que sean entendidos también como una agrupación o colección. Por otra parte, esta disciplina
ha señalado igualmente que el Conjunto cuenta con la característica principal de encontrarse
conformado y definido, de forma única y exclusiva, por sus elementos.

Aun cuando básicamente un Conjunto es entendido como una colección abstracta de elementos
que tienen rasgos comunes, la Teoría de Conjuntos concibe a algunos como Conjuntos
especiales, debido a las características o naturaleza de los elementos que contiene. En este
sentido, esta disciplina ha logrado conformar una categoría en la cual se puede contar cinco
tipos distintos de conjuntos, cada uno de los cuales puede ser definido de la siguiente manera:
Relaciones entre conjuntos
Antes de que el hombre entendiera el concepto de número, debió comprender de
dónde salían y qué representaban. Por lo tanto, la idea de número sigue a la
comprensión de los conjuntos. ¿Has coleccionado fichas, juguetes o láminas para un
álbum? Imagina que los conjuntos son exactamente eso, una colección de objetos que
pueden clasificarse gracias a las características que tienen común (fichas, láminas, etc).

Un requisito clave para que una agrupación de objetos pueda ser llamada conjunto, es
que se pueda determinar si un objeto especifico pertenece o no a él. Por ejemplo, la
agrupación de cosas bonitas no es un conjunto ya que habrá cosas que para algunos son
bonitas pero para otros no.
La teoría de conjuntos es muy amplia y resulta bastante complicado trasladarla al
ordenador por su nivel de abstracción. Los conjuntos finitos son fáciles de representar
en el programa Mathematica. Para ello se utilizarán listas (ver capítulo 3).

En este capítulo se aprende a introducir y usar conjuntos finitos con el

ordenador, a realizar las operaciones más habituales entre conjuntos: unión,
intersección y complemento. Se explora y resuelve de manera eficaz los conceptos de
producto cartesiano y partes de un conjunto para conjuntos finitos, se dan soluciones
programadas evitando las librerías específicas que Matemática tiene para tal efecto con
el objetivo de dar una respuesta trasladable a otros lenguajes. Por último se aprende a
clasificar aplicaciones entre conjuntos finitos.