Teora de conjuntos

Hiptesis del continuo. La coleccin de todos los conjuntos de nmeros naturales P(N) tiene la
llamadapotencia del continuo: tantos elementos como (por ejemplo) puntos en una recta. Su estudio es
uno de los principales problemas en la teora de conjuntos.

La teora de conjuntos es una rama de las matemticas que estudia las propiedades de
los conjuntos: colecciones abstractas de objetos, consideradas como objetos en s
mismas. Los conjuntos y sus operaciones ms elementales son una herramienta bsica en
la formulacin de cualquier teora matemtica.1
Sin embargo, la teora de los conjuntos es lo suficientemente rica como para construir el
resto de objetos y estructuras de inters en matemticas: nmeros, funciones, figuras
geomtricas, ...; y junto con la lgica permite estudiar los fundamentos de esta. En la
actualidad se acepta que el conjunto de axiomas de la teora de Zermelo-Fraenkel es
suficiente para desarrollar toda la matemtica.
Adems, la propia teora de conjuntos es objeto de estudio per se, no slo como
herramienta auxiliar, en particular las propiedades y relaciones de los conjuntos infinitos.
En esta disciplina es habitual que se presenten casos de
propiedadesindemostrables o contradictorias, como la hiptesis del continuo o la existencia
de un cardinal inaccesible. Por esta razn, sus razonamientos y tcnicas se apoyan en
gran medida en la lgica matemtica.
El desarrollo histrico de la teora de conjuntos se atribuye a Georg Cantor, que comenz
a investigar cuestiones conjuntistas puras del infinito 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 teora cantoriana, de conjuntos, formalizada
por Gottlob Frege, propici los trabajos de Bertrand Russell, Ernst Zermelo, Abraham
Fraenkel y otros a principios delsiglo XX.
ndice
[ocultar]

1 Teora bsica de conjuntos

1.1 lgebra de conjuntos

2 Teora axiomtica de conjuntos

3 Vase tambin

4 Referencias

5 Bibliografa

6 Enlaces externos

Teora bsica de conjuntos[editar]

Artculo principal: Conjunto

La teora de conjuntos ms elemental es una de las herramientas bsicas del lenguaje

matemtico. Dados unos elementos, unos objetos matemticos
como nmeros opolgonos por ejemplo, puede imaginarse una coleccin determinada de
estos objetos, un conjunto. Cada uno de estos elementos pertenecen al conjunto, y esta
nocin depertenencia es la relacin relativa a conjuntos ms bsica. Los propios conjuntos
pueden imaginarse a su vez como elementos de otros conjuntos. La pertenencia de un
elemento a a un conjunto A se indica como a A.
Una relacin entre conjuntos derivada de la relacin de pertenencia es la relacin de
inclusin. Una subcoleccin de elementos B de un conjunto dado A es un subconjunto deA,
y se indica como B A.
Ejemplos.

Los conjuntos numricos usuales en matemticas son: el conjunto de los nmeros

naturales N, el de los nmeros enteros Z, el de los nmeros racionales Q, el de
losnmeros reales R y el de los nmeros complejos C. Cada uno es subconjunto del
siguiente:

El espacio tridimensional E3 es un conjunto de objetos elementales

denominados puntos p, p E3. Las rectas r y planos son conjuntos de puntos a su
vez, y en particular son subconjuntos de E3, r E3 y E3.

lgebra de conjuntos[editar]
Artculo principal: lgebra de conjuntos

Existen unas operaciones bsicas que permiten manipular los conjuntos y sus elementos,
similares a las operaciones aritmticas, constituyendo el lgebra de conjuntos:

Unin. La unin de dos conjuntos A y B es el conjunto A B que contiene cada

elemento que est por lo menos en uno de ellos.

Interseccin. La interseccin de dos conjuntos A y B es el conjunto A B que

contiene todos los elementos comunes de A y B.

Diferencia. La diferencia entre dos conjuntos A y B es el conjunto A \ B que

contiene todos los elementos de A que no pertenecen a B.

Complemento. El complemento de un conjunto A es el conjunto A que contiene

todos los elementos (respecto de algn conjunto referencial) que no pertenecen a A.

Diferencia simtrica La diferencia simtrica de dos conjuntos A y B es el

conjunto A B con todos los elementos que pertenecen, o bien a A, o bien a B, pero
no a ambos a la vez.

Producto cartesiano. El producto cartesiano de dos conjuntos A y B es el

conjunto A B que contiene todos los pares ordenados (a, b) cuyo primer
elemento a pertenece a A y su segundo elemento b pertenece a B.

Teora axiomtica de conjuntos[editar]

La teora informal de conjuntos apela a la intuicin para determinar cmo se comportan los
conjuntos. Sin embargo, es sencillo plantear cuestiones acerca de las propiedades de
estos que llevan a contradiccin si se razona de esta manera, como la famosa paradoja de
Russell. Histricamente sta fue una de las razones para el desarrollo de lasteoras
axiomticas de conjuntos, siendo otra el inters en determinar exactamente qu
enunciados acerca de los conjuntos necesitan que se asuma el polmico axioma de
eleccin para ser demostrados.
Las teoras axiomticas de conjuntos son colecciones precisas de axiomas escogidos para
poder derivar todas las propiedades de los conjuntos con el suficiente rigor matemtico.
Algunos ejemplos conocidos son:

La teora de conjuntos de Zermelo-Fraenkel

La teora de conjuntos de Neumann-Bernays-Gdel

La teora de conjuntos de Morse-Kelley

Teora de Conjuntos

NOCION INTUITIVA DE CONJUNTO

Un conjunto es la reunin en un todo de objetos bien definidos y
diferenciables entre si, que se llaman elementos del mismo.
Si a es un elemento del conjunto A se denota con la relacin de
pertenencia a A.

En caso contrario, si a no es un elemento de A se denota a A.

Ejemplos de conjuntos:
o : el conjunto vaco, que carece de elementos.
o N: el conjunto de los nmeros naturales.
o Z: el conjunto de los nmeros enteros.
o Q : el conjunto de los nmeros racionales.
o R: el conjunto de los nmeros reales.
o C: el conjunto de los nmeros complejos.
Se puede definir un conjunto:
o por extensin, enumerando todos y cada uno de sus elementos.
o por comprensin, diciendo cul es la propiedad que los
caracteriza.
Un conjunto se suele denotar encerrando entre llaves a sus elementos,
si se define por extensin,
o su propiedad caracterstica, si se define por comprensin. Por
ejemplo:
o A := {1,2,3, ... ,n}
o B := {p Z | p es par}
Se dice que A est contenido en B (tambin que A es
un subconjunto de B o que A es una parte de B),
y se denota A B, si todo elemento de A lo es tambin de B, es decir,
a A a B.
Dos conjuntos A y B se dicen iguales, y se denota A = B, si
simultneamente A B y B A;

esto equivale a decir que tienen los mismos elementos (o tambin la

misma propiedad caracterstica).
Para cualquier conjunto A se verifica que A y A A;
B A es un subconjunto propio de A si A y B A.
El conjunto formado por todos los subconjuntos de uno dado A se
llama partes de A, y se denota (A).
Entonces, la relacin B A es equivalente a decir
B (A). Ejemplos:
Si A = {a,b} entonces (A) = { ,{a},{b},A}.
Si a A entonces {a} (A).
Cuando en determinado contexto se consideran siempre conjuntos que
son partes de uno dado U,
se suele considerar a dicho U como conjunto universal o de referencia.
OPERACIONES ENTRE CONJUNTOS
Dados dos conjuntos A y B, se llama diferencia al conjunto A B :=
{a A | a B}.
Asimismo, se llama diferencia simtrica entre A y B al conjunto A B
:= (A B) A
Si A (U), a la diferencia U A se le llama complementario de A
respecto de U,
y se denota abreviadamente por A' (U se supone fijado de antemano).
Es fcil ver que si A y B son subconjuntos cualesquiera de U se
verifica:
o '=U.
o U ' = .
o (A')' = A .
o A B B' A' .

o Si A = { x U | p(x) es una proposicin verdadera} entonces A'

= { x U | p(x) es una proposicin falsa}.
Se llama unin de dos conjuntos A y B al conjunto formado por objetos
que son elementos de A o de B,
es decir: A B := { x | x A x B}.
Se llama interseccin de dos conjuntos A y B al conjunto formado por
objetos que son elementos de A y de B,
es decir: A B := {x | x A x B}.
Si A y B son subconjuntos de un cierto conjunto universal U, entonces
es fcil ver que A B = A B'.
En este caso, la llamadas operaciones booleanas (unin e interseccin)
verifican las siguientes propiedades :
PROPIEDADES
1.- Idempotencia
2.- Conmutativa
3.- Asociativa
4.- Absorcin
5.- Distributiva
6.- Complementariedad

UNION
AA=A
AB=BA
A(BC)=(AB)C
A(AB)=A
A(BC)=(AB)(AC)
A A' = U

INTERSECCION
AA=A
AB=BA
A(BC)=(AB)C
A(AB)=A
A(BC)=(AB)(
A A' =

Estas propiedades hacen que partes de U con las operaciones unin e

interseccin tenga una estructura de lgebra de Boole.
Adems de stas, se verifican tambin las siguientes propiedades:
o A = A , A = ( elemento nulo ).
o A U = U , A U = A ( elemento universal ).
o ( A B )' = A' B' , ( A B )' = A' B' ( leyes de Morgan ).
Dados dos conjuntos A y B, se define el producto cartesiano de ambos
como el conjunto de pares ordenados:
A B := { (a,b) : a A b B}
Dos pares (a,b) y (c,d) de A B son iguales si a = c y b = d;

anlogamente, dados cuatro conjuntos A,B,C,D se verifica

A B = C D ( A= C B = D )
Se llama grafo relativo a A B a todo subconjunto G A B.
Dado un grafo G relativo a A B, se llama proyeccin de G sobre A al
conjunto
ProyAG := { a A : (a,b) G, b B}
Anlogamente se define la proyeccin ProyBG de G sobre B.
Por ltimo, los conceptos anteriores pueden generalizarse a familias de
conjuntos.
Si para cada elemento i de un conjunto (de ndices ) I se tiene un
conjunto Ai , entonces se define el conjunto { Ai : i I }
y se denomina familia de conjuntos indicada por I. Tambin se suele
denotar por { Ai } i I .
De forma anloga se define una familia de elementos ( ai ) i I .
Dada una familia de conjuntos { Ai } i I se definen:
o i I Ai := { a : a Ai , i I }
o i I Ai := { a : a Ai , i I }
o i I Ai := { (ai) : ai Ai , i I }
Las propiedades de la unin e interseccin siguen siendo vlidas para
familias de conjuntos, y en particular las leyes de Morgan :
( i I Ai )' = i I A'i
= i I A'i
DIAGRAMAS DE VENN

(i I Ai )'

Los conjuntos de suelen representar grficamente mediante "diagramas

de Venn", con una lnea que encierra a sus elementos.

As, todas las operaciones entre conjuntos se pueden representar

grficamente con el fin de obtener una idea ms intuitiva.
AB

AB

AB

AB

AB

RELACION ENTRE LA TEORIA DE CONJUNTOS Y LA

LOGICA PROPOSICIONAL
Existe una relacin muy estrecha entre la Teora de Conjuntos y la
Lgica Proposicional.
Para mostrar dicha relacin, denotemos por letras maysculas A,B ...
los conjuntos y
por las correspondientes minsculas a,b ... sus propiedades
caractersticas
(es decir, la proposicin lgica que caracteriza a los elementos de cada
conjunto);
entonces se tiene la siguiente correspondencia:

conjuntos
A B A = B A B A B A' A B A B
proposiciones a b a b a b a b a' a b' a b

Adems, el conjunto vaco se corresponde con una contradiccin y el

conjunto universal con una tautologa.

Mediante esta correspondencia, todos los resultados sobre conjuntos se

pueden reescribir en trminos de lgica
proposicional y viceversa; a modo de ejemplo:

A(AB)=A
A(BC)=
(AB)(AC)
( A B )' = A' B'

a(bc)a
a(bc)(ab)(ac
)
( a b )' a' b'

PROPOSICIONES CON CUANTIFICADORES

Los smbolos (cuantificador universal) y (cuantificador existencial)
se utilizan en Matemticas para
enunciar proposiciones logicas relativas a objetos matemticos.
Sea A un conjunto y p(x) una proposicin o propiedad que hace
referencia a un elemento x.
(1) Cuantificador universal : La expresin
x A p(x)
se lee "para todo x que pertenece a A se verifica p(x)", representa la
proposicin
{ x A : p(x) } = A
(2) Cuantificador existencial : La expresin
x A | p(x)
se lee "existe x que pertenece a A tal que p(x)", representa la
proposicin
{ x A : p(x) }
La negacin de cualquiera de las dos proposiciones anteriores se realiza
negando la proposicin p(x)
y cambiando el cuantificador universal por el cuantificador existencial,
o viceversa.

As, la negacin de la proposicin " x A p(x)" es " x A | p(x)'

", mientras que
la negacin de " x A | p(x)" es " x A p(x)' "

Conjuntos finitos : Combinatoria

La Combinatoria es la parte de las Matemticas que se dedica al
estudio de los conjuntos finitos.
Puesto que la propiedad principal de estos conjuntos es que se puede
representar su nmero de elementos
mediante un nmero natural (llamado cardinal de dicho conjunto), la
tarea bsica de la Combinatoria es
precisamente el clculo del cardinal de dichos conjuntos.
Para dicho clculo se necesita definir los llamados nmeros
combinatorios:
(1) Nmeros factoriales: se define n! mediante la ley de
recurrencia
n! = n (n-1)!
y la condicin inicial 0! := 1. De forma iterativa, se tiene
n! = n (n-1) (n-2) ... 3 2 1
n! es el nmero de permutaciones de n elementos, es decir, es el
nmero total de formas de ordenar n elementos
de todas las formas distintas posibles.
(2) Coeficientes binomiales: se definen por la frmula

El nmero "n sobre k" es el nmero de combinaciones de n

elementos tomados de k en k, es decir,
el nmero de subconjuntos distintos de k elementos que tiene un
conjunto con n elementos.
Los coeficientes binomiales tienen dos propiedades bsicas:
(a)

(b)

Como aplicacin de los nmeros combinatorios y del Binomio de

Newton, podemos contar el nmero total de
subconjuntos que tiene un conjunto A con n elementos, es decir, el
cardinal de partes de A; para ello, notemos
que el nmero de tales subconjuntos se obtiene sumando el
nmero de subconjuntos de 0 elementos ms los de
1 elemento, ms los de 2 elementos, y as hasta los de n elementos,
es decir:

Pero esta cantidad corresponde a desarrollar mediante el binomio

de Newton la expresin
(1+1)n = 2n
As pues se obtiene que # (A) = 2n si # A = n.

DEFINICION

La palabra conjunto generalmente la asociamos con la idea de agrupar objetos,

por ejemplo un conjunto de discos, de libros, de plantas de cultivo y en otras
ocasiones en palabras como hato, rebao, piara, parcelas, campesinado,
familia, etc., es decir la palabra conjunto denota una coleccin de elementos
claramente entre s, que guardan alguna caracterstica en comn. Ya sean
nmeros, personas, figuras, ideas y conceptos.
En matemticas el concepto de conjunto es considerado primitivo y ni se da
una definicin de este, sino que se trabaja con la notacin de coleccin y
agrupamiento de objetos, lo mismo puede decirse que se consideren primitivas
las ideas de elemento y pertenencia.
La caracterstica esencial de un conjunto es la de estar bien definido, es decir
que dado un objeto particular, determinar si este pertenece o no al conjunto.
Por ejemplo si se considera el conjunto de los nmeros dgitos, sabemos que
el 3 pertenece al conjunto, pero el 19 no. Por otro lado el conjunto de las
bellas obras musicales no es un conjunto bien definido, puesto que diferentes
personas puedan incluir distintas obras en el conjunto.
Los objetos que forman un conjunto son llamados miembros o
elementos. Por ejemplo el conjunto de las letras de alfabeto; a, b, c, ..., x, y, z.
que se puede escribir as:

{ a, b, c, ..., x, y, z}

Como se muestra el conjunto se escribe entre llaves ({}) , o separados por

comas (,).

El detallar a todos los elementos de un conjunto entre las llaves, se

denomina forma tabular, extensin o enumeracin de los elementos.

Dos conjuntos son iguales si tienen los mismos elementos, por ejemplo:

El conjunto { a, b, c } tambin puede escribirse:

{ a, c, b }, { b, a, c }, { b, c, a }, { c, a, b }, { c, b, a }

En teora de conjuntos se acostumbra no repetir a los elementos por ejemplo:

El conjunto { b, b, b, d, d } simplemente ser { b, d }.

MEMBRESIA
Los conjuntos se denotan por letras maysculas : A, B, C,... por ejemplo:
A={ a, c, b }
B={ primavera, verano, otoo, invierno }
El smbolo indicar que un elemento pertenece o es miembro de un
conjunto. Por el contrario para indicar que un elemento no pertenece al
conjunto de referencia, bastar cancelarlo con una raya inclinada/ quedando el
smbolo como .
Ejemplo:
Sea B={ a, e, i, o, u }, a B y c B

SUBCONJUNTO
Sean los conjuntos A={ 0, 1, 2, 3, 5, 8 } y B={ 1, 2, 5 }
En este caso decimos que B esta contenido en A, o que B es subconjunto de A.
En general si A y B son dos conjuntos cualesquiera, decimos que B es un
subconjunto de A si todo elemento de B lo es de A tambin.

Por lo tanto si B es un subconjunto de A se escribe B A. Si B no es

subconjunto de A se indicar con una diagonal .
Note que se utiliza solo para elementos de un conjunto y solo para
conjuntos.

UNIVERSO O CONJUNTO UNIVERSAL

El conjunto que contiene a todos los elementos a los que se hace referencia
recibe el nombre de conjunto Universal, este conjunto depende del problema
que se estudia, se denota con la letra U y algunas veces con la letra S (espacio
muestral).
Por ejemplo si solo queremos referirnos a los 5 primeros nmeros naturales el
conjunto queda:
U={ 1, 2, 3, 4, 5 }

Forma alternativa para indicar conjuntos de gran importancia:

Conjunto de nmeros naturales (enteros mayores que cero)
representados por la letra N donde
N={ 1, 2, 3, .... }
Conjunto de nmeros enteros positivos y negativos representados por la
letra Z donde
Z={..., -2, -1, 0, 1, 2, ... }
Conjunto de nmeros racionales (nmeros que se representan como el
cociente de dos nmeros enteros {fracciones }). Estos nmeros se
representan por una Q
Conjunto de nmeros irracionales (nmeros que no puedan
representarse como el cociente de dos nmeros enteros) representados
por la letra I.

 Conjunto de los nmeros reales que son los nmeros racionales e

irracionales es decir todos, representados por R.

Todos estos conjuntos tienen un nmero infinito de elementos, la forma de

simbolizarlos por extensin o por enumeracin es de gran utilidad cuando los
conjuntos a los que se hace referencia tienen pocos elementos para poder
trabajar con ellos se emplean la notacin llamada comprehensin.
Por ejemplo, la denotar el conjunto de los nmeros naturales menores que 60.
Aqu U es el conjunto N y se tiene una propiedad que caracteriza a los
elementos del conjunto: ser menores que 60.

Para indicar esta situacin empleamos la simbologa del lgebra de conjuntos:

{ x/x N ; x<60 }
En esta expresin se maneja un conjunto de x que pertenece a los nmeros
naturales (N) y adems que los valores de x son menores que 60.

Ahora si se desea trabajar con conjuntos que manejen intervalos estos pueden
ser representados por medio de una expresin algebraica; supongamos que se
desea expresar los nmeros enteros (Z) entre -20 y 30 el conjunto quedara de
la manera siguiente:
{ x/x Z ; -20 x 30 }

Tambin se puede expresar el valor de un conjunto indicando la pertenencia o

no pertenencia a uno diferente, por ejemplo
L={ 1, 3, 4, 6, 9 }
P={ x/x N ; X L }
En el conjunto P se indica que los elementos x de un conjunto pertenecen a los
nmeros naturales y adems x no pertenece al conjunto L.

OPERACIONES CON CONJUNTOS

UNION
La unin de dos conjuntos A y B la denotaremos por A B y es el conjunto
formado por los elementos que pertenecen al menos a uno de ellos a los dos.
Lo que se denota por:
A B = { x/x A x B }

Ejemplo: Sean los conjuntos A={ 1, 3, 5, 7, 9 } y B={ 10, 11, 12 }

A B ={ 1, 3, 5, 7, 9, 10, 11, 12 }

INTERSECCION
Sean A={ 1, 2, 3, 4, 5, 6, 8, 9 } y B={ 2, 4, 8, 12 }
Los elementos comunes a los dos conjuntos son: { 2, 4, 8 }. A este conjunto se
le llama interseccin de A y B; y se denota por A B, algebraicamente se
escribe as:
A B = { x/x A y x B }
Y se lee el conjunto de elementos x que estn en A y estn en B.

Ejemplo:

Sean Q={ a, n, p, y, q, s, r, o, b, k } y P={ l, u, a, o, s, r, b, v, y, z }

Q P={ a, b, o, r, s, y }

CONJUNTO VACIO
Un conjunto que no tiene elementos es llamado conjunto vaco conjunto
nulo lo que denotamos por el smbolo .

Por ejemplo:
Sean A={ 2, 4, 6 } y B={ 1, 3, 5, 7 } encontrar A B.
A B= { }
El resultado de A B= { } muestra que no hay elementos entre las llaves, si
este es el caso se le llamar conjunto vaco nulo y se puede representar
como:
A B=

CONJUNTOS AJENOS
S la interseccin de dos conjuntos es igual al conjunto vaco, entonces a estos
conjuntos les llamaremos conjuntos ajenos, es decir:
Si A B = entonces A y B son ajenos.

COMPLEMENTO
El complemento de un conjunto respecto al universo U es el conjunto de
elementos de U que no pertenecen a A y se denota como A' y que se
representa por comprehensin como:
A'={ x U/x y x A }

Ejemplo:
Sea U = { 1, 2, 3, 4, 5, 6, 7, 8, 9 }
A= { 1, 3, 5, 7, 9 } donde A U
El complemento de A estar dado por:
A'= { 2, 4, 6, 8 }

DIFERENCIA
Sean A y B dos conjuntos. La diferencia de A y B se denota por A-B y es el
conjunto de los elementos de A que no estn en B y se representa por
comprehensin como:
A - B={ x/x A ; X B }

Ejemplo:
Sea A= { a, b, c, d } y
B= { a, b, c, g, h, i }
A - B= { d }
En el ejemplo anterior se observa que solo interesan los elementos del
conjunto A que no estn en B. Si la operacin fuera B - A el resultado es

B A = { g, h, i }
E indica los elementos que estn en B y no en A.

DIAGRAMAS DE VENN
Los diagramas de Venn que de deben al filsofo ingls John Venn (18341883) sirven para encontrar relaciones entre conjuntos de manera grfica
mediante dibujos diagramas.
La manera de representar el conjunto Universal es un rectngulo, bien la
hoja de papel con que se trabaje.
Un ejemplo de la representacin del conjunto universal se muestra como:

Los conjuntos se representan por medio de dibujos dentro del rectngulo, los
aspectos de inters se resaltan sombreando las reas respectivas. En el caso de
este curso las indicaremos por medio de un color azul por ejemplo:

Ejercicios

1. - Exprese en forma tabular:

El conjunto de los edificios del Colegio de Postgraduados en
Montecillo, Edo. De Mxico.
El conjunto de los das de la semana.
El conjunto de los nmeros dgitos
El conjunto de los mejores cantantes de Rock.
El conjunto de las mejores pelculas Mexicana de la era de oro.
2. - Indique en cada caso si los conjuntos que se dan a continuacin son iguales:
a) { 2, 4, 6 } y { 6, 2, 4 }
b) { 3, 5, 6, 9 } y { 3, 5, 8}
c) {5 } y el conjunto de nmeros enteros mayor que 4 y menores
que 6

3 .- El conjunto de los nmeros que aparecen en la cifra: 3, 132, 231 es:

4 .- El conjunto de las letras del palndroma "dabale arroz a la zorra el

abad" es:
5 .- El conjunto de las letras que aparecen en la frase "Alto, los valientes
no asesinan" es:
6 .- Sea A = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 }, indique la pertencencia,
membresa o no de los siguientes ejercicios:
a) 2

b) 7

c) 3.5

d) 12

e) -4

f) 9

7 .- Sea A = { 1, 3, 5, 6, 7, 11 }, indentifique los conjuntos que son

subconjuntos de este:
a) B = { 3, 7, 8 }
b) C = { 0, 1, 2 }
c) E = { 11, 1, 3, 5 }
d) D = { 4 }

8 .- Si A B y B A que se puede sacar como conclusin de los

conjuntos A y B?.

9.- Sean C = { a, b, c, d, f } ; D = { a , b, c } y E = { b, c, k }
Indique cuales de los siguientes incisos son correctos
a) n B
b) k E
c) E D
d) c E
e) D c

f) c D
10 .- Indique la representacin por comprehensin de los siguientes
conjuntos:
a. { 1 , 2, 3, 4, 5 }
b. { 2, 4, 6, 8, 10 }
c. { 1, 2, 4, 5, 7, 9 }
d. { A, B, C, D }
11 .- Exprese los siguientes conjuntos:
a. { x/x N; x < 10 }
b. { y/y Z; -3 < y < 2 }
12.- Si M = { 2, 3, 4, 5 }; S = { 1, 3, 4 } y N = { 1, 3, 4, 5 }
exprese { x/x N; x M} y { x/x S X N }

13 .- Si:
S = { 1, 2, 3, 4, 5, 6 }
R = { 3, 5, 6, 8 }
Z = { 1, 2, 3, 8 }
Obtenga:
a. S R
b. S Z
c. S R Z
d. S R
e. S Z
f. R Z

g. S R Z
h. ( S Z ) R

14 .- Sean A = { 3, 5, 9 }; B = { 2, 4, 6 } y C = { 2, 3, 4, 5, 9 }
a. Los conjuntos A y B son ajenos y porque?
b. A es subconjunto de C?
c. es un subconjunto de C?
d. B es subconjunto de C?

15 .- Complete la siguiente tabla:

Conjunto

Elemento en

Subconjunto de

{a}
1
{ a, b }
2

,{a}

, { a }, {b}, { a , b }

{ a, b, c }
{ a, b, c, d }

16.- Si
U = { 1 , 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 }
A = { 1, 2, 3, 5, 7, 9, 11, 13 }

Nmero de
Subconjutos de
A

1 = (20 = 1)

2 = (21 = 2)

4 = (22 = 4)

B = { 1, 2, 5, 7, 9, 13 }
Encuentre:
a) B =
b) A B =
c) ( A B ) =
e. (A B) =
17.- Cuales de las siguientes igualdades son verdaderas ?
a. ( A A) = U
b. (A A) =
c. (A) = A
d. = U
e. U =
f. (A B ) = A B
18.- Si
A = { 1 , 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 }
B = { 1, 2, 3, 5, 7, 9, 11, 13 }
C = { 1, 2, 5, 7, 9, 13 }
Encuentre:
a. A - B =
b. B - A =
c. B - C =
d. C - A =
19.- Si
A = { 1 , 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 }
B = { 1, 2, 3, 5, 7, 9, 11, 13 }

C = { 1, 2, 5, 7, 9, 13 }
Haga un diagrama de Venn resultante de los conjuntos A, B y C.
20.- Represente en diagrama de Venn:
a. A
b. A B
c. A B C =
d. (A B C) =
e. (A B) C =
21.- La direccin de la escuela Nacional preparatoria de la U.N.A.M. llev
al cabo una encueta entre 1000 estudiantes de los cuales 160 reprobaron
fsica, 18 de ellos reprobaron historia y seis de estos tambin reprobaron
matemticas; 58 reprobaron exactamente dos asignatiras de las tres, y 16
de estos reprobaron historia y matemticas, 120 reprobaron historia y
180 reprobaron matemticas.
a. Cuntos alumnos reprobaron las tres materias?
b. Cuantos alumnos reprobaron historia como nica materia?
c. Cuantos alumnos reprobaron historia y fsica pero no matemticas?
d. Qu nmero de alumnos reprobaron fsica y matemticas pero no
historia?
e. Qu nmero de alumnos reprobaron nicamente una materia?
f. Que nmero de alumnos reprobaron al menos una materia?
g. Qu nmero de alumnos no reprobaron ninguna materia?
Nota: Use diagramas de Venn para solucionar este problema.

22.- Encuentre 9 palabras ocultas en la siguiente sopa de letras

relacionada con conjuntos.

23 .- Llene el siguiente conjuntograma

Q Q

Q C

1.- Operacin que indica a los elementos comunes de dos o ms

conjuntos.
2.- Agrupacin de elementos de una misma especie.
3.- Indica la totalidad de los elementos de uno o mas conjuntos.
4.- Nulo.
5.- Pertenencia.
6.- Conjunto formado por los elementos que pertenecen al menos a uno
de estos o a todos.
7.- Interseccin de conjuntos que da como resultado conjunto vaco.

Conteste Falso o Verdadero a las siguientes expresiones

1.- La caracterstica principal de un conjunto es estar bien definido

Falso

Verdadero

2.- Los objetos que forman un conjunto son llamados miembros.

Falso

Verdadero

3.- La dispersin de objetos se llama conjunto.

Falso

Verdadero

4.- El detallar todos los elementos de un conjunto entre llaves se

denomina forma tabular

Falso

Verdadero

5.- El conjunto de las vocales es: { a, b, c, d, e }

Falso

Verdadero

6.- El conjunto de los colores primarios es {rojo, azul , verde}

Falso

Verdadero

7.- El conjunto de los das de la semana es:

{ lunes, martes, mircoles, jueves, viernes, sbado,domingo }
Falso

Verdadero

8.- El conjunto de los meses del ao tiene 12 elementos.

Falso

Verdadero

9.- Los conjuntos { 2, 4, 6 } y { 6, 2, 4 } son iguales

Falso

Verdadero

10.- El conjunto de cada uno de los nmeros que aparecen en las cifras
5, 578 y 587 es { 5, 7, 8 }
Falso

Verdadero

11.- El conjunto de cada una de las letras de la palabra casa es { a, c, s }

Falso

Verdadero

12.- Sea B={ a, e, i, o, u }

aB
Falso

Verdadero

13.- Sea B={ a, e, i, o, u }

cB
Falso

Verdadero

14.- Sea B={ a, e, i, o, u }

dB
Falso

Verdadero

15.- Sean:
C={ a, b, c, d, f }
D={ a, b, c }
E={ b, c, k }
DC
Falso

Verdadero

16.- Sean:
C={ a, b, c, d, f }
D={ a, b, c }
E={ b, c, k }
EC
Falso

Verdadero

17.- Sean:
C={ a, b, c, d, f }
D={ a, b, c }
E={ b, c, k }

cE
Falso

Verdadero

18.- Sean:
C={ a, b, c, d, f }
D={ a, b, c }
E={ b, c, k }
cC
Falso

Verdadero

19.- Sean:
C={ a, b, c, d, f }
D={ a, b, c }
E={ b, c, k }
cE
Falso

Verdadero

20.- Sean:
C={ a, b, c, d, f }
D={ a, b, c }
E={ b, c, k }

kC
Falso

Verdadero

21.- Sean:
C={ a, e, f, g, h }
D={ a, b, c, h }
C D={ a, b, c, e, f, g, h }
Falso

Verdadero

22.- Sean:
C={ a, e, f, g, h }
D={ a, b, c, h }
CD={ a, c, h }
Falso

Verdadero

23.- Sean:
C={ c, f, g, h, i }
D={ a, b, c, h }
E={ a, b, c, f, g, h }
C D ={ c, h }

Falso

Verdadero

24.- Sean:
C={ c, f, g, h, i }
D={ a, b, c, h }
E={ a, b, c, f, g, h }
(C E) D={ a, b, c, h, i }
Falso

Verdadero

25.- Sean:
G={ a, b, c, f, g, h, i }
T={ a, b, c, h, i, j }
G - T = { f, g }
Falso

Verdadero

26.- Sean:
G={ x/x 1 <= X < 10 }
T={ 1, 2, 5, 7, 8 }
T-G={1}

Falso

Verdadero

27.- Sean:
U={ { x/x 0 < X < 10 }
P={ 4, 5, 6, 7}
P'= { 1, 2, 3, 8, 9 }
Falso

Verdadero

28.- Sean:
A={ 1, 2, 3, 8, 9, 10 }
B={ 4, 5, 6, 7 }
AB ={ }
Falso

Verdadero

29.-El siguiente diagrama de Venn representa (A-B)':

Falso

Verdadero

30.-El siguiente diagrama de Venn representa (A B)':

Falso

Verdadero