CONJUNTOS FINITOS E INFINITOS.

Los conjuntos pueden ser finitos e infinitos, Un conjunto es finito si consta de un cierto número de
elementos distintos, es decir, si al contar los diferentes elementos del conjunto el proceso de contar
puede acabar. Si no, el conjunto es infinito.

CONJUNTO VACÍO

¿Cuántos elementos pertenecen a C = {z  Z/z2 = 0 y z ≠ 0}?

No hay entero que satisfaga las dos condiciones siguientes z2 = 0 y z ≠ 0. Por tanto, la respuesta
es: cero elementos pertenecen a C, o dicho de otra forma, C no tiene elementos.

En principio resulta un poco extraño considerar un conjunto como este; pero es muy útil disponer
de un conjunto sin elemento alguno. Dicho conjunto se conoce como el conjunto vacío y se denota
por  . Así, como respuesta al ejemplo anterior podemos escribir:

 = {z  Z / z2 = 0 y z ≠ 0}

Es el conjunto que no contiene elementos. En símbolo  ó 

CARDINALIDAD DE UN CONJUNTO.

Si hay un entero n  0 tal que el conjunto A tiene n elementos, entonces decimos que A es un
conjunto finito y que su cardinalidad es n. Si para el conjunto A no existe tal entero, entonces
decimos que A es un conjunto infinito.

Si dos conjuntos finitos A y B tienen la misma cardinalidad, entonces puede establecerse entre
ellos una correspondencia biunívoca, es decir, puede asociarse a cada elemento de A un único
elemento de B, de modo tal que a elementos distintos de A corresponden elementos distintos de B
y son usados todos los elementos de B. Cuando esto sucede se dice que los elementos son
equivalentes y se escribe A ~ B .

EQUIVALENCIA DE CONJUNTOS.

Dos conjuntos son equivalentes si y sólo si tienen el mismo número de elementos (igual
cardinalidad).

En símbolos ( A = B)  ( A = B)

Por ejemplo, los conjuntos A = {1, 2, 3} y B = {a, b, c} tienen ambos cardinalidad 3; por tanto,
A ~ B. La siguiente tabla muestra una correspondencia biunívoca entre ellos.
 1→ a
2→b
3→c

Con la flecha → se indica cuál es el asociado a cada número; así, al 1 se le asocia la letra a, al 2
la b y al 3 la c. Por supuesto hay diversas maneras de establecer una correspondencia biunívoca.

Observación.
{a, b, c} y {1, 2, 3} tienen el mismo número de elementos, pero los elementos de uno de los
conjuntos es distinto de los del otro; en un caso se trata de números y en otro de letras.

SUBCONJUNTOS

Sí B es un subconjunto del conjunto A lo escribimos B  A.

En general, se dice que un conjunto B es un subconjunto del conjunto A, o bien, que B está
contenido en A si todo elemento de B pertenece al conjunto A; y en tal caso se escribe:

A  B , o bien, A  B

Dado un conjunto no vacío A, se llama subconjunto de A a todo conjunto B tal que todo elemento
de B está en A. Se denota B  A.

En símbolos: B  A  (x  B) x  A

El conjunto vacío es subconjunto de todo conjunto.

Para señalar que no se cumple lo anterior, o sea que B no está contenido es A escribimos B  A,
lo que significa que hay al menos un elemento de B que no está en A. Por ejemplo:
{-1, 0. ½. 1 }  Z..

CONJUNTO UNIVERSO

Al trabajar con conjuntos lo hacemos normalmente en un contexto o podemos referirnos a uno es

especia, en el que todos los conjuntos considerados son subconjuntos de uno particular llamado
conjunto Universal. Por supuesto, tal conjunto varía de acuerdo con la situación concreta en la
que estemos trabajando, y su elección es convencional. En cualquier discusión particular debe
quedar claro si ha convenido en un conjunto universal y cuál es éste.

Es el conjunto que contiene a todos los elementos. Se puede definir de acuerdo con el contexto en
que se esté trabajando. Se denota por U
IGUALDAD DE CONJUNTOS.

Dos conjuntos A y B son iguales si y sólo si tienen los mismos elementos. En símbolos:

( A = B )  (x  A), x  B  (x  B), x  A . En otras palabras y de acuerdo con la definición

de subconjunto ( A  B)  ( B  A)

CONJUNTO POTENCIA:

Se llama conjunto potencia de A y se denota P(A) al conjunto cuyos elementos son todos los
subconjuntos del conjunto A.

P( A) = B / B  A

Ejemplo: Si A = 1,2,3 P( A) = 1, 2, 3, 1,2, 1,3, 2,3, 1,2,3,  

DIAGRAMAS DE VENN

Una representación gráfica de los conjuntos que permiten visualizar algunas relaciones entre ellos
nos la proporcionan los “diagramas de Venn” llamados así en honor de John Venn; estos
diagramas consisten en discos que se usan para representar conjuntos, todos ellos incluidos en
una región rectangular que representa al conjunto universal. Así podemos representar la situación
A  B con el siguiente diagrama.

Nota:
Jonh Venn (1834-1923). Matemático británico que hizo estudios de lógica y escribió varios libros
sobre este tema. Es más conocido por los diagramas para la representación de conjuntos que
llevan su nombre, aunque estos habían sido usados cien años antes por Euler). Por esta razón los
diagramas aunque son conocidos más por el nombre de diagramas de Venn, en realidad su
nombre correcto es “Diagramas de Venn- Euler”

Observaciones especiales.

1) Para cualquier conjunto A se cumplen las siguientes condiciones:

A A
A

2) Dos conjuntos A y B son iguales si A  B y B  A y entonces escribimos A = B. Si A no

es igual a B, entonces escribimos A≠ B.
 3) Si B  A y B ≠ A, entonces decimos que B es un Subconjunto propio de A y denotamos
este hecho escribiendo B  A.

4) Dos conjuntos A y B son comparables si se cumple al menos una de las siguientes dos
condiciones:

A B
B A

Si ninguna de esas dos condiciones se satisface, entonces se dice que los subconjuntos son
incomparables