Ejemplo:

Si A y B no son comparables se les puede representar por el

diagrama de la derecha si son disjuntos o por el de la
izquierda si no lo son.

Ejemplo 13-3:

Sean A = {a, b, d} y B = {c, d, f}. Se ilustran esto

conjuntos con un diagrama de Venn de la forma:

Ejemplo:

PROBLEMAS RESUELTOS
1. Escribir las afirmaciones siguientes en notacin conjuntista:
(1)
x no pertenece a A
(2)
R es superconjunto de S.
(3)
d es elemento de E.
(4)
F no es un subconjunto de G.
(5)
H no incluye a D.
Solucin:
(1) x A.

DIAGRAMAS LINEALES
Otra manera til e instructiva para ilustrar las relaciones entre conjuntos
es el empleo de los llamados diagramas lineales. Si A B, se escribe
entonces B ms arriba que A y se les conecta por un segmento:
B
|
A

Si A B y B C se pone:
C
|
B
|
A
Ejemplo:
Sean A = {a}, B = {b} y C = {a, b}. El diagrama lineal de
A.B y C es entonces

sean X = {x}, Y = {x, y}, Z = {x, y, z} y W = {x, y,w}. aqu el

diagrama lineal de X, Y, Z y W es:

(2) R S.

(3) d E

(4) F G (5)H D.

2. Si A = {x/2x = 6} y b = 3. es b =A?
Solucin:
A es un conjunto que consta de un nico elemento 3, es decir, A=
{3}. El nmero 3 es elemento de, pero no es igual a A. Hay una
fundamental diferencia entre un elemento x y el conjunto {x}.
3.

Sea M = {r, s, t}. Es decir, M consta de los elementos r, s y t. Dgase

cules de las afirmaciones son correctas o incorrectas. Si alguna es
incorrecta, decir por qu.

(a) r M (b) r M (c) {r} M (d) {r} M

Solucin:
(a)
Correcta.
(b)
Incorrecta. El smbolo debe estar entre dos conjuntos, pues indica
que Un conjunto es subconjunto del otro. As que r M es incorrecta
por ser r un elemento de M, no un subconjunto.
(c)
Incorrecta. El smbolo vincula un objeto a un conjunto, pues indica
que el objeto es elemento del conjunto. As que {r} M es incorrecta,
ya que {r} es un subconjunto de M. no un elemento de M.
(d)
correcta
4. Enunciar con palabras y luego escribir en forma tabular:

(1)
(2)
(3)
(4)

A = {x/x2 = 4}.
B = {x/x 2 = 5}.
C = {x / x es positivo, x es negativo}.
D = {x / x es una letra de la palabra correcto}.

Solucin:
(1)
Se lee A es el conjunto de los x tales que x al cuadrado es igual a
cuatro. Los nicos nmeros que elevados al cuadrado dan cuatro
son 2 y -2; as que
A= {2.-2}.
(2)
Se lee B es el conjunto de los x tales que x menos 2 es igual a 5.
La nica solucin es 7, de modo que B = {7}.
(3)
Se lee C es el conjunto de los x tales que x es positivo y x es
negativo. No hay ningn nmero que sea positivo y negativo, as
que C es vaci, es decir. C =.
(4)
Se lee D es el conjunto de los x tales que x es una letra de la
palabra correcto. Las letras indicadas son c, o, r, e y t; as. pues, D
= {c, o, r, e. t}.
5.
Escribir estos conjuntos en una forma constructiva:
(1)
El A que consiste de las letras a, b, c, d y e.
(2)
El B= {2,4,6,8,...}.
(3)
El conjunto C de todos los pases de las Naciones Unidas.
(4)
El conjunto D = {3}. .
(5)
Sea E los presidentes Truman. Eisenhower y Kennedy.
Solucin:
Ntese en primer lugar que la descripcin de un conjunto, o sea su
forma constructiva, no es necesariamente nica. Lo nico que se
requiere es que toda descripcin defina el mismo conjunto. Se dan
aqu algunas de las muchas respuestas posibles a este problema.
(1)
(2)
(3)
(4)
(5)
B. Grfica:

A = {x / x est antes de f en el alfabeto}

= {x / x es una de las primeras cinco letras del alfabeto}.
B = {x / x es par y positivo}.
C = {x / x es un pas, x est en las Naciones Unidas}
D = {x / x 2 = 1} = {x | 2x = 6}.
E = {x / x fue presidente despus de Franklin D. Roosevelt}.

Propiedades:
1.
AB = BA
2.
(AB) C = A (BC)
3.
A = A
4.
AA =
5.
(AB) C = (AC) A (BC)
6.
AB = (A B) U (B A)
7.
AB = (A U B) ( AB)
Operaciones con conjuntos comparables:
Las operaciones de unin, interseccin, diferencia y complemento tienen
propiedades sencillas cuando los conjuntos de que se trata son
comparables.
Teoremas:
l. A B implica A B = A
2. A B implica A U B = B
3. A B implica B' A'
A B implica A U (B A) = B
DIAGRAMAS DE VENN-EULER
Se logra ilustrar de manera sencilla e instructiva las relaciones entre
conjuntos mediante los llamados diagramas de Venn-Euler, o de Venn,
simplemente, que representan un conjunto con un rea plana, por lo
general delimitada por un crculo.
Ejemplo:
Supngase A B y A B. Entonces A y B se describen con uno
de los diagramas:

Diferencia:

Sean A y B dos conjuntos construidos a partir de U. Si sobre U se

aplica una funcin proposicional "x A x B", se obtiene un nuevo
conjunto llamado diferencia entre A y B. Notacin: La diferencia entre A y B
se designa por AB.
A B = {x/x A x B}
Representacin:
A) Simblica:
x (AB) x A x B
B) Grfica:

6. Cules conjuntos son finitos?

(1)
Los meses del ao.
(2)
{1, 2, 3,., 99, 100}.
(3)
Las gentes que viven en la tierra.
(4)
{x | x es par}.
(5)
[1.2. 3....}.
Solucin:
Los tres primeros conjuntos son finitos. Aunque pueda ser fsicamente
imposible, contar el nmero de personas que hay en la Tierra, el conjunto
es ciertamente finito. Los dos ltimos conjuntos son infinitos. Si se tratara
de contar los nmeros pares jams se llegara al fin.
7. Cules de estos conjuntos son iguales:{r.t, s}, {s, t, r, s}, {t, s, t, r}, {s.
r, s, t}?

Propiedades:
l. AB = AB'
2. A A =
3. A = A
4. A = , U A = A'
5. A B = BA A = B
6. (A B) C A (B C)
7. (A B) A
NOTA: AB BA (No cumple con la propiedad conmutativa excepto
cuando A=B).
Diferencia simtrica:
Sean A y B dos conjuntos construidos a partir de U. Si sobre U se aplica una
funcin proposicional "x (AUB) x (AB)", se obtiene un nuevo conjunto
llamado la diferencia simtrica entre A y B.
Notacin: Se designa la diferencia simtrica entre los conjuntos A y B por
A B.
A B={x/x (AUB) x (AB)}
Representacin:
A. Simblica:
x (A B) x (AUB) x (AB)

Solucin:
Son todos iguales entre s. Obsrvese que el orden o la repeticin no
cambian un conjunto.
8. Cules de estos conjuntos son iguales?
(1)
{x / x es una letra en la palabra tocata}.
(2)
Las letras de la palabra tacto.
(3)
{x / x es una letra de la palabra cota}.
(4)
Las letras a, c, o. t.
Solucin:
Escribiendo los conjuntos en forma tabular es fcil averiguar si son o no
iguales. Una vez escritos los cuatro conjuntos en forma tabular se ve que
todos son iguales al conjunto {a, c, o. t}.
9. Cul de estas palabras es distinta de las otras y por qu?: (1) vaco. (2)
cero. (3) nulo.
Solucin:
La primera y la tercera se refieren al conjunto sin elementos: la palabra
cero se refiere a un nmero particular y es, por tanto, la palabra diferente.

10.

Entre los conjuntos que siguen, cules son diferentes?:, {0}. { }.

Solucin:
Cada uno es diferente de los otros. El conjunto {0} contiene un elemento,
el nmero cero. El conjunto no tiene elementos, es el conjunto vaco. El
conjunto { } tiene tambin un elemento que es el conjunto vaco: es un
conjunto de conjuntos.
11.

Cules de estos conjuntos son vacos?

(1)
A = {x/x es una letra anterior a "a" en el alfabeto}.
(2)
B= {x/x2 = 9 y 2x = 4}.
(3)
C = {x/x x}
(4)
D = (x/x + 8 = 8}.

Solucin:
(1)
Como a es la primera letra del alfabeto, el conjunto A carece de
elementos; por tanto, A =.
(2)
No hay nmero que satisfaga a ambas ecuaciones x 2 = 9 y 2x = 4;
as que B es tambin vaco.
(3)
Se da por sentado que todo objeto es l mismo, de modo que C es
vaco. Tanto es as que algunos libros definen de esta manera el
conjunto vaci, es decir,
= {x/x x}
(4)
El nmero cero satisface a la ecuacin x + 8 = 8, as que D consta
del elemento cero. Por tanto, D no es vaco.
12.

B) Grfica

Propiedades:
1. Idempotencia:
2. Identidad:
3. Conmutativa:
4. Asociativa:
5. Distributiva:

AA=A
A= ; AU=A
AB=BA
A (B C) = (A B) C
a) A (B U C) = (A B) U (A C)
b) A U (B C) = (A U B) (A U C)

6. (A B) A; (A B) B
7. Si A y B son disjuntos entonces A B =
Complemento:
El complemento de un conjunto A es el conjunto de elementos que no
_

pertenecen a A. El complemento de A se denota por A, o por A , o por A

c

A' = {x/x A}

Representacin:
A) Simblica:
x A x A ~(x A)
B) Grfica:

Dado A = {x, y, z}, cuntos subconjuntos hay en A y cules son?

Solucin:
Haciendo la lista de todos los subconjuntos posibles de A resultan ser:
{x, y, z}, {y, z), {x, z}, {x, y}, {x}, {y}, {z} y el conjunto vaco . Hay
ocho subconjuntos en A.
13.
Definir los siguientes conjuntos de figuras del plano euclidiano:
Q = {x/x es un cuadriltero}. H = {x/x es un rombo}.
R = {x/x es un rectngulo}.
S = {x/x es un cuadrado}.
Decir qu conjuntos son subconjuntos

Propiedades:
1. (A')' = A
(Complemento del complemento)
2. A U A' = U
(Tercer excluido)
3. A A' =
(Contradiccin)
4. (A U B)' = A' B'
(Leyes de Morgan)
(A B)' =A' U B'
5. U' = ; = U

Ejemplo:

Sean A = {a, b} y B = (a. b. c}. Entonces A es comparable con

B. pues A es un subconjunto de B.
Ejemplo: Si C = {a. b} y D = {b. c. d}, C y D no son comparables pues
a C y a D y c D y c C.
OPERACIONES FUNDAMENTALES CON CONJUNTOS
Unin:
Sean A y B dos conjuntos construidos a partir de U. Si sobre U se aplica la
funcin proposicional "x A v x B". Entonces se obtiene un nuevo
conjunto llamado la unin de A y B, es decir:
AUB = {x/x A v x B}
Representacin:
A) Simblica:
x (A U B) x A v x B
B) Grfica:

Como un cuadrado tiene 4 ngulos rectos, es un rectngulo; y como tiene 4

lados iguales, es un rombo; y puesto que tiene 4 lados, es un cuadriltero.
Segn eso
S Q, S R. S H, es decir. S es un subconjunto de los otros
tres. Y, adems, como hay rectngulos, rombos y cuadrilteros que no son
cuadrados, resulta ser S un subconjunto propio de los otros tres. De manera
anloga se ve que R es un subconjunto propio de Q, y que H es un
subconjunto propio de Q. No hay otras relaciones entre los conjuntos.
14. Tiene todo conjunto un subconjunto propio?
Solucin:
El conjunto vaco no tiene subconjunto propio. Cualquier otro
conjunto tiene al como subconjunto propio. En algunos libros no se
llama subconjunto propio al conjunto vaco; y entonces los conjuntos
que tienen un solo elemento no tendran un subconjunto propio.
15.
Demostrar: Si A es un subconjunto del conjunto vacio , entonces
A= .
Solucin:
El conjunto vaco es subconjunto de cualquier conjunto; en
particular, A. por hiptesis, A . De modo que por la
definicin 1, -1, A = .

Propiedades:
1. Idempotencia:
2. Identidad:
3. Conmutativa:
4. Asociativa:
5. Adicin:

16.
AUA=A
A U = A ; AU U = U
AUB=BUA
A U (B U C) = (A U B) U C

A
(A U B); B (A U B)

Interseccin:
Sean A y B dos conjuntos construidos a partir de U. Si sobre U se aplica la
funcin proposicional "x A x B", se obtiene un nuevo conjunto llamado
la interseccin de A con B. es decir:
A B = {x/x A X B}
Representacin:
A) Simblica:
x (A B) x A x B
Solucin:

Cmo se demuestra que. un "conjunto A no es un subconjunto de

otro conjunto B?
Demostrar que A = {2, 3, 4, 5} no es un subconjunto de B = {x/x es

par}.
Solucin:
Hay que demostrar que hay al menos un elemento de A que no est
en B. Como 3 A y 3 B. se ve que A no es un subconjunto de B, o
sea que A B. Ntese que no es necesario saber si hay o no otros
elementos de A que no estn en B.
17.

Sean:
V = {d}
W= {c, d}
X= {a. b, c}
Y= {a, b}

Z= {a, b, d}
Establecer la verdad o falsedad de las siguientes afirmaciones:
(l) Y X
(3) W Z (5) V Y
(7) V X
(9) X = W

(2) W V
(4) Z V
(6) Z X
(8) Y Z
(10) W Y
Solucin:
(1)
Como todo elemento de Y es elemento de X, resulta que Y X es
verdadera.
(2)

El nico elemento de V es d, y d tambin est en W; as que W es un

sper conjunto de V y, por tanto, W V es falsa.

(3)

Como a Z y a W, W Z es verdadera.

(4)

Z es un superconjunto de V puesto que el nico elemento de V es

elemento de Z; por tanto. Z X es verdadera.

(5)

Como d V y d Y, V Y es verdadera.

(6)

Como c X y c Z, entonces Z no es un superconjunto de X, es decir,

Z X es verdadera.

(7)
V no es un subconjunto de X, ya que d V y d X; por tanto, V X es
falsa.
(8)

Todo elemento de Y lo es de Z; luego Y Z es falsa.

(9)

Como a X y a W, X = W es falsa.

(10) Como c W y c Y, W no es un subconjunto de Y y, por tanto, W Y

es falsa.
18.
Sean:
A = {r, s, t, u, v, w:}
B = {u, v, w, x, y, z}
C = {s, u, y, z}
D = {u, v}

E = {s, u}
F={s}
CONJUNTOS DISJUNTOS
Se dice que los conjuntos A y B son disjuntos cuando no poseen elementos
comunes.
Simblicamente:
Ejemplo. Siendo:
Grficamente:

A = {2.3.4} y

B = {5,6.7}. A y B son disjuntos

CONJUNTOS EQUIPOTENTES O COORDINABLES.

Para hablar de estos conjuntos de alguna forma, el proceso de contar sus
elementos siempre termina.
Dos conjuntos son equipotentes o coordinarles cuando el nmero de sus
elementos son iguales.
Ejemplo. Siendo:
A= { 10, 11, 12 }
B = { m, n. p }
A y B son equipotentes.
Simblicamente:
CONJUNTOS COMPARABLES
Dos conjuntos A y B se dicen comparables si:
A B o B A
Esto es, si uno de los conjuntos es subconjunto del otro. En cambio, dos
conjuntos A y B se dicen no comparables si:
A B y B A

Ntese que si A no es comparable con B, entonces hay en A un elemento

que no est en B y hay tambin en B un elemento que no est en A.
En caso contrario se escribe: A B.
Nota: La definicin establece la necesidad de demostrar la doble inclusin
a fin de demostrar la igualdad de dos conjuntos.

Sea X un conjunto desconocido. Determinar cules de los conjuntos A, B. C.

D. E o F pueden ser iguales a X si se dan las informaciones siguientes:
(l) X A y X B
(3) X A y X C
(2) X B y X C
(4) X B y X C

Ejemplo. Establecer si los siguientes conjuntos son iguales:

A= {1,-2,6},
B = {1,-2, 6, 1.6}.
Se verifica que A = B pues todo elemento de B es tambin elemento de A,
B A: y todo elemento de A es elemento de B, A B.

Solucin:
(1)
El nico conjunto que es subconjunto de A y de B es D. C, E y F no

Observacin: Del ejemplo se concluye que un conjunto no vara si sus

elementos repetidos se escriben una sola vez, en este caso {1, -2, 6, 1, 6 }
= { 1, -2, 6}.

(3)

(2)

(4)

Propiedades de la Igualdad
Reflexiva:
Simtrica:
Transitiva:

A = A, A.
A = B => B = A.
A = B B = C A = C.

CONJUNTOS DIFERENTES
Dos conjuntos son diferentes si uno de ellos tiene por lo menos un
elemento que no posee el otro.
Se define:
Ejemplo. Dados:
A= {x/(x l) (x 2)(x 3)x = 0}
B= {0, 1, 2, 3, 4}
De A: (x l)(x 2) (x 3)x = 0
x = 0; 1; 2; 3
A B.

19.

son subconjuntos de B porque s e C, E, F y s B.

El conjunto X puede ser igual a C, E o F, pues estos son subconjuntos
de C y, como ya se vio, no son subconjuntos de B.
Solo B no es subconjunto de A o de C, D y A son subconjuntos de A; y
C, E y F son subconjuntos de C. As que X = B.
Tanto B como D son subconjuntos de B y no lo son de C. Todos los
otros conjuntos dejan de cumplir al menos una de las condiciones.
Por tanto, X=B o X = D.

Sea A un subconjunto de B y sea B un subconjunto de C, es decir, A

B y B C. Suponiendo: a A, b B, c C y, adems, d A, c B, f
C, cules afirmaciones sern ciertas?
(l) a C, (2) b A. (3) c A. (4) d B,

(5) e A,

(6) f A

Solucin:
(1)
Por el Teorema 1-1, A es un subconjunto de C. Luego a A implica a
C, y la afirmacin es siempre cierta.
(2)
Como el elemento b B puede no ser elemento de A, la afirmacin es
falsa.
(3)
El elemento c C podra ser un elemento de A; por lo que c A
puede no ser verdad.
(4)
El elemento d, que no est en A, puede no estar en B: as que la
afirmacin puede no ser cierta.
(5)
Como c B y A B, c A es siempre verdadera.
(6)
Como f C y A C, f A es siempre cierta.

20.

Hacer un diagrama lineal para los conjuntos A

={a, b} y C = {a, c}.

{a, b. c}, B

Solucin:
Como A B, A C y B y C no son comparables, se construye as:

21.
Hacer un diagrama lineal de los conjuntos X = {a, b, c}, Y = {a, b} y
Z = {b}.

Observacin: Si un conjunto tiene "n"' elementos entonces tiene: 2 n

subconjuntos
Ejemplo. Si B = { a. b }
Los subconjuntos de B son: , { a }, { b }, { a, b }.

Numero de subconjuntos de B es: 22 = 4.

Solucin:
Aqu Z Y e Y X. Queda entonces:

Ejemplo. Siendo

Ya que el segmento de Z a X es redundante porque Y Z e Y X ya implican

Z X.

Propiedades de la Inclusin.
La relacin de Inclusin entre conjuntos goza de las siguientes propiedades:

22.
Construir el diagrama de los conjuntos R = {r, s, t}, S = {s} y T = (s,
t, u}.
Solucin:
Aqu S R y S T. Y como. R y T no son comparables, se pone

23.

Sean Q, R, H y S los conjuntos del Problema 13. Hacer un diagrama

lineal para estos conjuntos.
Solucin:
Como Q R y Q H, se construye primero:

B = { 3, { 3 }, { 4 }, { { 4 } } }.

Dar el valor de verdad a las siguientes proposiciones:

{3}B
(V)

{3} B
(V)
{{3}} B (V)
{{{4}}} B (V)
{{4}} B
(V)
7 B
(F)
7B
(F)

Reflexiva:

A A,

conjunto A.

Antisimtrica:

Si A B y B A entonces A = B. (*)

Transitiva:

Si A B y B C entonces A C.

A, A.
IGUALDAD DE CONJUNTOS

Los conjuntos A y B son iguales si y slo si tienen exactamente los mismos

elementos.
Se denota por:

CONJUNTO UNITARIO O SINGLETON

Es el conjunto que tiene un slo elemento.
Ejemplo:
A = { x/x Z 10 < x < 12 } =
B = {2,2,2,2,2,.. } =
{2}

Observacin: A partir de la definicin, basta que un slo elemento de A

no pertenezca B para asegurar que A no est incluido o contenido en B; en
tal caso se denota por:
A B.
Ejemplo. Si A = { q, s }
B = { p, q, r, s }
A B
Ahora se agrega S al diagrama. Puesto que S R y S H. se completa el
diagrama como sique:

{11}

CONJUNTO UNIVERSAL
Es un conjunto referencial para el estudio de una situacin particular que
contiene a todos los conjuntos considerados. No existe un conjunto
universal absoluto.
Ejemplo:
A= { 1,2, 3 };
B= {2,4, 6, 8}
Pueden ser conjuntos universales:
U= { 1,2,3,4,5,6,. }
U = = {x / x N }

24.

Construir un diagrama lineal para los conjuntos V, W, X, Y y Z del

Problema 17.

Solucin:
Como V W y V Z, se traza:

Como Y C Z, se agrega F al diagrama:

* Grficamente el conjunto universal se representa generalmente mediante

un rectngulo.
RELACIONES ENTRE CONJUNTOS
INCLUSIN ( ):
Se dice que un conjunto A est incluido, contenido es un subconjunto del
conjunto B, si todo elemento de A es tambin elemento de B. Se denota
por: A B. Es decir: A B [ x A/ x A => x B ].
Se lee:
"A es subconjunto de B si y slo si todo x de A es tal que si x
A entonces: x B".

Por ltimo, puesto que Y X, se complete el diagrama como sigue:

25.

Sea S cualquier conjunto. Construir un diagrama lineal para los

conjuntos . S y el conjunto universal U.

Solucin:

Ya que el conjunto vaco es subconjunto de todo conjunto, o sea S.

se traza:

Por otra parte, como el conjunto universal U es un superconjunto de todo

conjunto que incluya al S. se completa el diagrama como sigue:

26.

Considrense las cinco afirmaciones siguientes; (1) A B, (2) A B.

(3) A=B: (4) A y B son disjuntos. (5) A y B no son comparables. Cul
afirmacin describe mejor cada diagrama de Venn?

27.

Examinar el siguiente diagrama lineal de conjuntos A, B, C y D.

Escribir una afirmacin que relacione cada par de conjuntos del diagrama.
Debe haber seis afirmaciones.
POR COMPRENSIN O EN FORMA CONSTRUCTIVA
Cuando los elementos del conjunto son caracterizados mediante una
propiedad comn.
Ejemplo:
A = { p / p es un nmero primo p < 12 }
B= {x2 / x Z+ x 5 }
C = { x / x es una vocal }
CLASES DE CONJUNTOS
CONJUNTO FINITO
Un conjunto es finito cuando posee una cantidad limitada de elementos, es
decir el proceso de contar sus elementos termina en algn momento.
Ejemplo:

(a)

(b)

(c)

(d)
(a)

El rea de B es parte del rea de A: luego A B.

(b)

Hay puntos en A que no estn en B y punto en B que no estn en A;

luego A y B no son comparables. Los conjuntos no son disjuntos
porque tienen puntos que pertenecen a ambos.

(c)

Aqu los conjuntos son disjuntos, pues no hay ningn punto que est
en los dos conjuntos. Los conjuntos no son tampoco comparables,

(d)

El rea de A es parte del rea de B; luego A B.

A = { x / x es un hablante nativo de Quechua }

B = { x / x es un mes del ao }
CONJUNTO INFINITO
Un conjunto es infinito cuando tiene una cantidad ilimitada de elementos
diferentes, es decir el proceso de contar sus elementos nunca termina.
Ejemplo :
A = { p / p es un nmero primo }
B= { x / x R 8 < X< 9 }
C = { x / x es una estrella de universo }
CONJUNTOS ESPECIALES

Cuando se indica explcitamente cada uno de los elementos del conjunto.

CONJUNTO NULO O VACIO
Es aquel conjunto que carece de elementos.
Ejemplo:
A = { x / x es el actual Virrey del Per }
B= {x/x N 7 < x < 8}
Notacin: = { } = {x/x x }
A=B=={ }
NOCIN DE CONJUNTO
Conjunto:
Intuitivamente un conjunto es la reunin, coleccin o agrupacin de objetos
reales o ideales, a estos objetos se les denominan elementos
miembros del conjunto, y de ellos se dice que pertenecen al conjunto.

Ejemplo
A = { 2, 3, 5, 7, 11}
B = { 1, 4, 9, 16, 25 }
C = { a, e, i, o, u }

Solucin:
En primer lugar se ve que C B, D B y B A, pues estos conjuntos estn
unidos por segmentos. Por el Teorema 1-1 se deduce que C A y D A. Por
ltimo, los conjuntos C y D no son comparables, ya que no estn unidos por
una lincea ascendente.
28.

Notacin: Para denotar a los conjuntos se usan letras maysculas: A, B, C,

X. etc. y para representar a sus elementos se usan letras minsculas: a, b,
c. etc.

Construir diagramas de Venn de los conjuntos A,

diagrama lineal del Problema 27.

B,

C y D del

Solucin:
Hagamos dos diagramas posibles:

Relacin de Pertenencia: Si un objeto "x" es elemento de un conjunto A.

se dice que "x pertenece al conjunto A" que "x est en A", y se denota
por: x A. En caso contrario, "x no pertenece a A" y se denota por: x A.

Ejemplo:
Si A es el conjunto formado por: 8, 2, 6, {0,1}, 3 y 1, y B es
el conjunto constituido por: 0 y 1, escribimos:
A = {8,-2,6, {0, 1}, 3, 1 }
B = { 0, 1 }
En este caso:
8 A...(V)
6 A...(F)
0 A...(F)
{0, 1} A...(V)

2 A...(V)
1 A 1 B...(V)
3 B...(V)
{ {0, 1}} A...(V)

DETERMINACIN DE CONJUNTOS
POR EXTENSIN O EN FORMA TABULAR

La principal diferencia entre estos diagramas es que los conjuntos C y D

aparecen disjuntos en el segundo diagrama. Pero ambos tienen el mismo
diagrama lineal.
29.

Qu significa el smbolo {{2, 3}}?

Solucin:
Se trata de un conjunto que tiene un elemento: el conjunto de los
elementos 2 y 3. Obsrvese que {2, 3} pertenece a {{2, 3}}: no es un
subconjunto de {{2, 3}}. As que se puede decir que {{2; 3}} es un
conjunto de conjuntos.

30.
Dado A = {2, {4, 5}, 4}. Qu afirmaciones son incorrectas y por
qu?
(1) {4, 5} A
(2) {4,5} A
(3) {{4,5}} A

2S contiene 22 = 4 elementos: S mismo, el conjunto vaco, {3} y el conjunto

formado por {1, 4} solo, es decir, {{1, 4}}. Ms breve:
2S= {S. {3}, {{1,4}} 0}

Solucin:
Los elementos de A son 2, 4 y el conjunto {4, 5}. Por tanto, (2) es correcta
y (1) es incorrecta. (3) es una afirmacin correcta porque el conjunto que
consta del nico elemento {4, 5} es un subconjunto de A.

33.

31.
Dado E = {2, {4, 5}. 4}, qu afirmaciones son incorrectas y por
qu?
(1) 5 E
(2) {5} E
(3) {5} E

Solucin:
Los nicos conceptos no definidos en la teora de conjuntos son: conjunto,
elemento y la relacin pertenece a, o sea (1), (4) y (6).

Solucin:
Todas son incorrectas. Los elementos de E son 2, 4 y El conjunto {4, 5}; por
tanto. (1) y (2) son incorrectas. Hay ocho subconjuntos de E y {5} no est
entre ellos, de modo que (3)
es incorrecta.

34.

32.

Hallar el conjunto potencia 2s del conjunto S = {3, {1,4}}.

Solucin:
Observar primero que S contiene dos elementos, 3 y el conjunto {1, 4). Por
tanto.

En lo que sigue, qu es lo que no se define en un desarrollo

axiomtico de la teora de conjuntos?: (1) conjunto. (2) subconjunto
de, (3) disjunto. (4) elemento, (5) es igual a, (6) pertenece a. (7)
superconjunto de.

Demostrar: Sean A y B no vacos, esto es. A y B . Si A y B son

disjuntos, entonces A y B no son comparables.

Solucin:
Como A y B no son vacos, hay elementos a A y b B. Por otra parte,
como A y B son disjuntos, a B y b A. Por tanto, A B y B A. es decir.
A y B no son comparables.