INTRODUCCIÓN
La teoría de conjuntos es una rama de las matemáticas que estudia las
propiedades de los conjuntos: colecciones abstractas de objetos, consideradas
como objetos en sí mismas. Los conjuntos y sus operaciones más elementales
son una herramienta básica en la formulación de cualquier teoría matemática.
Sin embargo, la teoría de los conjuntos es lo suficientemente rica como para
construir el resto de objetos y estructuras de interés en matemáticas: números,
funciones, figuras geométricas, ...; y junto con la lógica permite estudiar los
fundamentos de esta. En la actualidad se acepta que el conjunto de axiomas
de la teoría de Zermelo-Fraenkel es suficiente para desarrollar toda la
matemática. Además, la propia teoría de conjuntos es objeto de estudio per se,
no sólo como herramienta auxiliar, en particular las propiedades y relaciones de
los conjuntos infinitos. En esta disciplina es habitual que se presenten casos de
propiedades indemostrables o contradictorias, como la hipótesis del continuo o
la existencia de un cardinal inaccesible. Por esta razón, los razonamientos y
técnicas de la teoría de conjuntos se apoyan en gran medida en la lógica
matemática. El desarrollo histórico de la teoría de conjuntos se atribuye a
Georg Cantor, que comenzó a investigar cuestiones conjuntistas "puras" en la
segunda mitad del siglo XIX, precedido por algunas ideas de Bernhard Bolzano
e influenciado por Richard Dedekind. El descubrimiento de las paradojas de la
teoría cantoriana de conjuntos propició los trabajos de Bertrand Russell, Ernst
Zermelo, Abraham Fraenkel y otros a principios del siglo XX.
El concepto de conjunto, de singular importancia en la ciencia
matemática y objeto de estudio de una de sus disciplinas más recientes, está
presente, aunque en forma informal, desde los primeros años de formación del
hombre. Desde el momento que el ser humano tomó entre sus manos un
puñado de piedras u observó un grupo de animales, tomó conocimiento del
"conjunto". Sin embargo, por tratarse de conceptos matemáticos debemos fijar
con exactitud el significado de cada término para no dar lugar a contradicciones
o interpretaciones erróneas.
CONJUNTO
I. MARCO TEÓRICO
A. CONCEPTO DE CONJUNTO
En matemáticas, un conjunto es una colección de objetos considerada
como un objeto en sí. Los objetos de la colección pueden ser cualquier
cosa: personas, números, colores, letras, figuras, etc. Cada uno de los
objetos en la colección es un elemento o miembro del conjunto.1 Por
ejemplo, el conjunto de los colores del arcoíris es:
AI = {Rojo, Naranja, Amarillo, Verde, Azul, Añil, Violeta}
Un conjunto suele definirse mediante una propiedad que todos sus
elementos poseen. Por ejemplo, para los números naturales, si
consideramos la propiedad de ser un número primo, el conjunto de los
números primos es:
P = {2, 3, 5, 7, 11, 13, ...}
Un conjunto queda definido únicamente por sus miembros y por nada
más. En particular el orden en el que se representen estos es
irrelevante. Además, cada elemento puede aparecer de manera idéntica
una sola vez, esto es, no puede haber elementos totalmente idénticos
repetidos. Por ejemplo:
S = {Lunes, Martes, Miércoles, Jueves, Viernes} = {Martes,
Viernes, Jueves, Lunes, Miércoles}
AI = {Rojo, Naranja, Amarillo, Verde, Azul, Añil, Violeta} =
{Amarillo, Naranja, Rojo, Verde, Violeta, Añil, Azul}
Los conjuntos pueden ser finitos o infinitos. El conjunto de los número
naturales es infinito, pero el conjunto de los planetas en el Sistema Solar
es finito (tiene ocho elementos). Además, con los conjuntos pueden
combinarse mediante operaciones, de manera similar a las operaciones
con números.
Los conjuntos son un concepto primitivo, en el sentido de que no es
posible definirlos en términos de nociones más elementales, por lo que
su estudio puede realizarse de manera informal, apelando a la intuición y
a la lógica. Por otro lado, son el concepto fundamental de la matemática:
mediante ellos puede formularse el resto de objetos matemáticos, como
los números y las funciones, entre otros. Su estudio detallado requiere
pues la introducción de axiomas y conduce a la teoría de conjuntos.
Para que exista un conjunto debe basarse en lo siguiente:
La colección de elementos debe estar bien definida. Ningún elemento del
conjunto se debe contar más de una vez, generalmente, estos elementos deben
ser diferentes, si uno de ellos se repite se contará sólo una vez. El orden en que
se enumeran los elementos que carecen de importancia.
El concepto de conjunto es uno de los más fundamentales de las
Matemáticas. Es difícil encontrar alguna de sus ramas que no esté,
implícita o explícitamente, basada en dicho concepto. Hay quien afirma
que todo el edificio matemático se sostiene sobre la piedra angular de la
Teoría de Conjuntos. La noción de conjunto está en la raíz de la
mayoría de los conceptos fundamentales de las Matemáticas. A pesar
de esto su definición es delicada y trajo como consecuencia algunas
paradojas importantes, lo que obligó a crear una axiomática que
proporcionara a la Teoría de Conjuntos un cuerpo teórico lógicamente
consistente. Como toda teoría matemática posee su propio lenguaje y
una notación específica. Dos conjuntos singulares, el vacío y el conjunto
universal, permitieron, gracias a la unión y la intersección, operaciones
definidas entre conjuntos, dotarlos de una estructura algebraica, las
llamadas Álgebras de Boole, de consecuencias insospechadas en las
modernas tecnologías de la computación.
B. DESCRIPCIÓN DE UN CONJUNTO
Existen dos maneras de describir o especificar los elementos de un
conjunto:
Una de ellas es mediante una definición intensiva o por comprensión,
describiendo una condición que cumplen sus elementos :
A es el conjunto cuyos miembros son los números enteros positivos
menores que 5.
B es el conjunto de colores de la bandera de México.
La segunda manera es por extensión, esto es, listando cada miembro del
conjunto. En una definición extensiva se escriben los elementos del
conjuntos entre llaves:
C = {4, 2, 3, 1}
D = {blanco, rojo, verde}
Puesto que un conjunto queda especificado únicamente por sus elementos,
a menudo pueden usarse ambas definiciones, intensivas y extensivas, para
especificar un mismo conjunto. Por ejemplo:
«El conjunto de las vocales en español» = {e, u, a, i, o}
En los ejemplos anteriores, se tiene que A = C y B = D
Debido a la propiedad de la extensionalidad, el orden en el que se
especifiquen los elementos de un conjunto es irrelevante (a diferencia de
una tupla o una sucesión). Por ejemplo:
C′ = {1, 2, 4, 3} es igual a C = {4, 2, 3, 1}
D′ = {verde, blanco, rojo} es igual a D = {blanco, rojo, verde}
Esto es así debido a que lo único que define un conjunto son sus
elementos. Por ejemplo, cada elemento de D es un elemento de D′ y
viceversa, luego ambos son necesariamente el mismo conjunto. Del
mismo modo, y a diferencia de un multiconjunto, cada elemento de un
conjunto es único: no puede repetirse o pertenecer «más de una vez».
Esto significa que, por ejemplo: {4, 3, 2, 4} = {4, 2, 3} , ya que los
elementos de ambos conjuntos son los mismos: el 4, el 3 y el 2. No sería
el caso si los números que consideramos tuvieran alguna otra propiedad
que los diferenciase:
{4, 3, 2, 4} es distinto de {4, 2, 3} y de {4, 2, 3}
Es habitual utilizar las llaves también en las definiciones intensivas,
especificando la propiedad que define al conjunto:
{Vocales del español} = {o, u, i, e, a}
{Palos de la baraja francesa} = {♠, ♣, ♥, ♦}
Otra notación habitual para denotar por comprensión es:
A = {m : m es un entero, y 1 ≤ m ≤ 5}
B = {c : c es un color de la bandera de México}
F = {n2 : n es un entero y 1 ≤ n ≤ 10} ,
donde en esta expresión los dos puntos («:») significan «tal que». Así, el
conjunto F anterior es el conjunto de «los números de la forma n2 tal que
n es un número natural entre 1 y 10 (ambos inclusive)», o sea, el
conjunto de los diez primeros cuadrados de números naturales, {1, 4, 9,
16, 25, 36, 49, 64, 81, 100}. En lugar de los dos puntos se utiliza también
la barra vertical («|») u oblicua «/» .
C. PERTENENCIA
La relación clave en un conjunto es la pertenencia: cuándo es un
elemento miembro de un conjunto. Si a es un miembro de B, se denota
por a ∈ B, y si no lo es, se denota por a ∉ B. Por ejemplo, respecto a los
conjuntos A, B y F de la sección anterior, podemos decir:
4 ∈ A , 36 ∈ F , verde ∈ B , pero
7 ∉ A , 8 ∉ F , azul ∉ B
Y se dice entonces que 4 pertenece al conjunto A, 4 es un miembro de
A, 4 está en A o A contiene 4.
D. DIAGRAMA DE VENN
Los diagramas de Venn son ilustraciones usadas en la rama de la
Matemática y Lógica de clases conocida como teoría de conjuntos.
Estos diagramas se usan para mostrar gráficamente la agrupación de
cosas elementos en conjuntos, representando cada conjunto mediante
un círculo o un óvalo. La posición relativa en el plano de tales círculos
muestra la relación entre los conjuntos. Por ejemplo, si los círculos de
los conjuntos A y B se solapan, se muestra un área común a ambos
conjuntos que contiene todos los elementos contenidos a la vez en A y
en B. Si el círculo del conjunto A aparece dentro del círculo de otro B, es
que todos los elementos de A también están contenidos en B.
