Universidad Central del Ecuador

Consulta N 3

Conjuntos
Resea histrica:
George Cantor (1845-1918) fue quien prcticamente formul de manera individual la teora de conjuntos a finales del
siglo XIX y principios del XX. Su objetivo era el de formalizar las matemticas como ya se haba hecho con el clculo cien
aos antes. Cantor comenz esta tarea por medio del anlisis de las bases de las matemticas y explic todo basndose en
los conjuntos (por ejemplo, la definicin de funcin se hace estrictamente por medio de conjuntos). Este monumental
trabajo logr unificar a las matemticas y permiti la comprensin de nuevos conceptos.
El problema apareci cuando se comenzaron a encontrar paradojas en esta teora, siendo la ms clebre la paradoja de
Russell, y ms tarde varios matemticos encontraron ms paradojas, incluyendo al mismo Cantor. Russell descubri su
paradoja en 1901, y la public en un apndice de su libro "Principios de las matemticas".
Cuando los matemticos supieron de esta paradoja, muchos se preguntaron si las matemticas en realidad eran
consistentes, y sobre todo verdaderas, ya que cualquier suposicin matemtica poda basarse en una teora inconsistente.
La primera propuesta para solucionar el problema de las paradojas provino de un matemtico holands llamado
Brouwer, quien propuso una redefinicin radical de todas las matemticas y prometi una solucin al conflicto. El
programa de Brouwer se basaba en lo ms simple de la intuicin: el aceptaba los conceptos que son aparentes a la
intuicin general. Esta filosofa rechazaba muchos principios fundamentales de las matemticas, pero en cambio,
solucionaba satisfactoriamente el problema de las paradojas. Particularmente Brouwer rechazaba el principio del medio
excluido, el cul deca que los elementos de un conjunto o bien tienen una propiedad A o no la tienen, lo cul sera la
negacin de la propiedad A. A esta corriente de pensamiento se le llam intuicionismo.

Definiciones bsicas:
conjunto (del latn coniunctus) es lo que est unido, contiguo o incorporado a otra cosa, o que se encuentra mezclado,
combinado o aliado con otra cosa diversa. Un conjunto, por lo tanto, es un agregado de varias cosas o personas.
Es posible realizar ciertas operaciones bsicas que permiten hallar conjuntos dentro de otros:
unin: se simboliza con una especie de U, y se trata del conjunto formado por los elementos que pertenezcan a
cualquiera de los conjuntos que se propongan para unin (en el caso de A y B, el conjunto resultante ser A U B);
interseccin: su smbolo es similar a una U rotada 180 y permite hallar los elementos que tienen en comn los
conjuntos dados;
diferencia: partiendo de los conjuntos A y B, su diferencia ser el conjunto A \, formado por los elementos que solo se
encuentren en A;
complemento: si un conjunto U contiene uno de nombre A, entonces el complemento de este ltimo ser aquel que
contenga los elementos que no pertenecen a A;
diferencia simtrica: su smbolo es un tringulo y representa el conjunto de los elementos que pertenezcan tan solo a
uno de dos conjuntos dados;
producto cartesiano: el conjunto A x B es el producto cartesiano de A y B, y se consigue con pares ordenados de un
elemento de A seguido de uno de B (a, b).

Tipos de conjuntos:
Conjunto finito: en este conjunto los elementos o miembros que los conforman pueden ser enumerados o contados. Por
ejemplo, el agrupamiento de todas las letras del abecedario confirmara un conjunto de esta clase.
Conjunto infinito: en estos conjuntos, los miembros que lo conforman no pueden ser enumerados ni contados. Un
ejemplo de conjunto infinito sera todos los granos de arena del planeta.
Conjunto unitario: estos conjuntos estn conformados por un solo miembro o elemento, por ejemplo, la letra A.
Conjunto vaco: estos conjuntos carecen de elementos o bien, estos son inexistentes, por ejemplo un unicornio, en el
caso del elemento inexistente.
Conjunto referencial: a este conjunto tambin se la conoce como universal y se caracterizan por estar conformados por
los miembros de todos los elementos que forman parte de la caracterizacin. Por ejemplo: el conjunto A esta compuesto
de 1,3, 5, 7 y el B por 2, 4, 6. Mientras que el conjunto universal es 1, 2, 3, 4, 5, 6, 7.
Conjuntos disyuntivos: estos conjuntos no poseen ningn elemento o miembro que coincida. Esto tambin se lo puede
expresar diciendo que la interseccin entre los conjuntos disyuntivos es el conjunto vaco. Por ejemplo el grupo A
contiene los elementos a, b, c, d mientras que el B e, f, g, h. Los conjuntos A y B entonces no tienen ningn elemento en
comn.
Conjuntos equivalentes: son aquellos conjuntos que poseen el mismo nmero cardinal, lo que significa que contienen la
misma cantidad de elementos. Por ejemplo el conjunto A es 1, 2, 3, 4 y el B a, b, c, d, por tanto A y B son equivalentes.
Conjuntos iguales: esto se da cuando dos o ms conjuntos contienen iguales elementos. Por ejemplo el conjunto A es 2,
4, 6, 8 y el B es 8, 6, 4, 2. Ambos conjuntos son iguales por que poseen los mismos elementos, sin importar su orden.
Conjuntos congruentes: aqu pertenecen aquellos conjuntos numricos cuyos respectivos miembros se corresponden
uno a uno de modo que la distancia entre ellos se conserve, por ejemplo: el conjunto A es: 2, 4, 6, 8, 10 mientras que B es
7, 9, 11, 13, 15. De esta manera, 10 y 15, 8 y 13, 6 y 11, 4 y 9, 2 y 7 mantienen entre s una distancia de 5.
Conjuntos no congruentes: en estos conjuntos, en cambio, no se establece correspondencia alguna entre sus miembros,
por lo que la distancia entre los elementos es inconstante. Por ejemplo, el conjunto A es 2, 4, 6, 8, 10 mientras que B es 4,
5, 6, 7, 8
Conjuntos homogneos: en estos conjuntos los elementos o miembros que los componen responden al mismo gnero o
tipo. Por ejemplo el conjunto A que contiene los elementos 1, 5, 3, 7, 6, 8. Aqu todos sus elementos son nmeros por lo
que conforman un conjunto homogneo.
Conjuntos heterogneos: estos conjuntos estn compuestos por elementos que corresponden a distintos tipos, gneros
o clases, por ejemplo, el conjunto A es 2, j, perro, azul.

Relaciones entre conjuntos:

Pertenencia

Este smbolo se usa para representar que un elemento determinado hace parte del conjunto sealado.
As mismo, representamos que un elemento no pertenece al conjunto sealado, escribiendo el mismo
smbolo, pero con una lnea cruzada en la mitad.

Interseccin

Es el conjunto formado por los elementos comunes de A y C .

Unin

Es el conjunto formado por los elementos que pertenecen tanto a B como a A.

Operaciones entre conjuntos:

Conocida tambien con Algebra de conjuntos, las operaciones entre conjuntos son: unin, interseccin, diferencia,
diferencia simtrica y complemento.

Unin de conjuntos:
Al realizar esta operacin estamos conformando un nuevo conjunto, que se llamaconjunto solucin, que contiene todos los
elementos o miembros de los conjuntos que se estn uniendo, sin que ninguno de sus miembros se repita en el conjunto solucin. Por
ejemplo:
Dados: A = {-1, 1, 2, 3}

B = {2, 4, 6}

C= {4, 5, 7, 8}

A u B = {-1, 1, 2, 3, 4, 6}

Observe que el resultado A u B no contiene elementos repetidos

A u B u C = {-1, 1, 2, 3, 4, 5, 6, 7, 8}
Interseccin de conjuntos:
Esta operacin entre conjuntos conforma un nuevo conjunto que contenga los elementos o miembros comunes a los conjuntos que
hagan parte de esta operacin. Por ejemplo si consideramos los conjuntos A, B y C arriba mencionados, al operar; se obtiene:
A n B = {2}

B n C = {4}
A n B n C = { } Puesto que no hay ningn elemento que est en los tres conjuntos.
(A u B) n C Observe que en este ejemplo se est aplicando la propiedad asociativa para la operacin de unin entre A y B y a su
resultado hacer la interseccin con C.
(A u B) n C = {4}

Diferencia de conjuntos:
Cuando se analiza la diferencia entre A y B, se obtiene como respuestaexclusivamente los elementos del conjunto A. Por ejemplo si
consideramos los conjuntos A, B, C que aparecen arriba:
A - B = {1, 1, 3}
B - C ={2, 6}
B - A = {4, 6}
C - B = {5, 7, 8}
Diferencia simtrica de conjuntos:
Se presenta cuando se consideran todos los elementos que slo pertenecen los conjuntos, sin tener en cuenta lo que tienen en
comn. En otras palabras, en la diferencia simtrica no se tiene en cuenta ningn elemento de la interseccin entre los conjuntos,
los dems s. Por ejemplo, dados los conjuntos
A = {-1, 1, 2, 3,}
B = {2, 4, 6} C = {4, 5, 7, 8}
y U = {-1, 1, 2, 3, 4, 5, 6, 7, 8} (Conjunto Universal o referencial)
Complemento de un conjunto:
Se buscan todos lo elementos que le hagan falta a un conjunto para convertirse o ser el conjunto universal o referencial. Por
ejemplo:
A= {4, 5, 6, 7}
B= {-1, 1, 3, 5, 7, 8}
C= {-1, 1, 2, 3, 6,}
(A u B)={5, 7, 8}

Propiedades y demostraciones: