Académique Documents
Professionnel Documents
Culture Documents
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]
3 Vase tambin
4 Referencias
5 Bibliografa
6 Enlaces externos
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:
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' =
(i I Ai )'
AB
AB
AB
AB
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
A(AB)=A
A(BC)=
(AB)(AC)
( A B )' = A' B'
a(bc)a
a(bc)(ab)(ac
)
( a b )' a' b'
(b)
DEFINICION
{ a, b, c, ..., x, y, z}
Dos conjuntos son iguales si tienen los mismos elementos, por ejemplo:
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.
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 }
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 }
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:
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
b) 7
c) 3.5
d) 12
e) -4
f) 9
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?
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.
Q Q
Q C
Verdadero
Verdadero
Verdadero
Falso
Verdadero
Verdadero
Verdadero
Verdadero
Verdadero
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
Verdadero
Verdadero
Verdadero
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
Falso
Verdadero
Falso
Verdadero