Consagrar la Vida a la Defensa y Bsqueda de la Verdad

FACULTAD: Educacin

ESPECIALIDAD: Matemtica e Informtica

DOCENTE: Constante Carranza Medina

GRUPO / N: Mathematics / 2

ASIGNATURA: lgebra I

TEMA: Teora De Conjuntos

AO: De La Consolidacin Del Mar De Grau

INTEGANTES:
-

Abanto Cotrina, Helber

Chavarry Llontop, Danny
Chunqui Salazar, Cesar
Cubas Walter, Mabely
Vargas Garca, Alex

Consagrar la Vida a la Defensa y Bsqueda de la Verdad

Educacin: Matemtica e Informtica
INTRODUCCIN
Es relativamente conocido que la teora de conjuntos de Zrmelo se diferenciaba de
la actual ZFC en que no inclua el axioma del reemplazo, y en su lugar tena un axioma
ms dbil: el axioma de especificacin, o de seleccin de subconjuntos. Si llamamos
ZC a la teora de Zrmelo con el axioma de eleccin, resulta que en ella puede
desarrollarse una gran parte de la matemtica moderna (del algebra, el anlisis, la
geometra, etc.) y sin embargo es una teora muchsimo ms dbil que ZFC. Para
darse cuenta de la distancia entre ambas teoras basta observar que en ZFC se
demuestra fcilmente que el conjunto V+ es un modelo transitivo de ZC, lo que
a su vez pone de manifiesto que en ZC no es posible demostrar la existencia del
ordinal +, pero, cuntas partes de las matemticas necesitan tratar con
ordinales? Por el contrario, en ZC podemos desarrollar cmodamente (entre otras
cosas) todo el anlisis en Rn, la geometra diferencial, el algebra y una buena parte
de la topologa, siempre y cuando no tratemos de incidir en sus aspectos ms
puramente conjuntistas. Hay teoras de conjuntos que son incluso ms dbiles que
ZC en cuanto a consistencia y que, pese a ello, permiten desarrollar una parte
considerable de las matemticas o, dicho de otro modo, que tienen modelos con una
estructura suficientemente rica como para resultar interesantes. Algunas de estas
teoras han surgido por razones filosficas, es decir, con la intencin de servir
como fundamento a la porcin de las matemticas que interesaba especialmente a
su creador tratando al mismo tiempo de cumplir con alguna clase de escrpulo
de naturaleza ms o menos intuicionista. Sin embargo, aqu no pretendemos
defender ninguna postura filosfica extica. Por el contrario, consideramos que el
inters de una buena parte de este libro radica en que es til saber que axiomas
son realmente necesarios para demostrar cada uno de los teoremas bsicos de la
teora de conjuntos. Por ejemplo, en el captulo I expondremos una munitoria de
conjuntos T que resulta ser suficiente para definir los ordinales (de von Neumann)
y demostrar sus propiedades bsicas. Sabiendo esto sabemos que para que podamos
hablar de ordinales en un modelo basta con que este satisfaga los axiomas de T. vii
viii Introduccin Por lo dems, la teora T no da ms de s, pero en el captulo II
exponemos la teora de Kaye-Forster (KF), cuyos axiomas son por una parte muy
restrictivos y hasta cierto punto incmodos de manejar, pero bastan para introducir
los conceptos conjuntistas bsicos (relaciones, funciones, etc.), as como los
nmeros naturales, e incluso demostrar las equivalencias usuales del axioma de
eleccin (el principio de buena ordenacin, el lema de Zorn, etc.) Una teora similar
a KF, pero mucho ms manejable, es la teora de Mac Lane (MAC), que resulta ser
equiconsistente con una teora bastante ms potente, la teora de Mostowski
(MOST), aunque todas ellas son mucho ms dbiles que ZFC. Como muestra de la
potencia de MAC sealamos que basta para definir la clase L de los conjuntos
constructibles, aunque no por el procedimiento usual, sino mediante la tcnica
usada por el propio Godel en su trabajo sobre la consistencia del axioma de eleccin
y la hiptesis del continuo generalizada. La teora MOST puede verse como la
conjuncin de dos teoras que en cierto sentido son complementarias. Una de ellas
es MAC y la otra es la teora de Kripke-Platek (KP), que es una de las teoras ms
relevantes tratadas en este libro. En efecto, en diversas ramas de la teora de
conjuntos es frecuente tratar con modelos de ZFC que no son necesariamente bien
fundados (por ejemplo, los que se obtienen al formar ultrapotencias o lmites

Algebra I: Mathematics

Consagrar la Vida a la Defensa y Bsqueda de la Verdad

Educacin: Matemtica e Informtica
inductivos de otros modelos). Y sucede que KP es suficiente para demostrar
teoremas muy generales de induccin y recursin transfinitos, e incluso para
construir la clase de los conjuntos construibles por el procedimiento usual
(mediante iteracin del operador de partes definibles).. Los tres ltimos captulos
de este libro estn dedicados a esta teora, que viene a ser a la teora de conjuntos lo
que el anlisis no estndar es al anlisis. En particular demostraremos la
equiconsistencia entre NFA y MAC, as como la consistencia de varias extensiones
de NFA respecto a otras subteoras de ZFC, o ix incluso de superteoras en algunos
casos, pues algunas pruebas de consistencia requieren cardinales grandes. Debemos
confesar nuestro escepticismo sobre cualquier utilidad prctica que pueda
atribuirse a NFA. Como el anlisis no estndar, debajo de una superficie que permite
presentarla (no sin cierta manipulacin) como una teora natural e intuitiva, en el
fondo esconde un aparato lgico nada intuitivo que, a diferencia de la lgica
subyacente a ZFC, no puede relegarse en ningn momento a un segundo plano, lo
que la incapacita como teora apta para el uso cotidiano de maten ticos no
especialistas en lgica. Ahora bien, siempre igual que en el caso del anlisis no
estndar, su planteamiento es sugerente, y es natural que excite la curiosidad de
todo aquel interesado por la lgica y la teora de conjuntos, aunque tras
familiarizarse con ella pueda terminar vindola como un mero divertimento. Como
tal la presentamos aqu, sin ms pretensiones. Por el contrario, consideramos que el
paciente estudio de las subteoras de ZFC que exponemos en los cinco primeros
captulos de este libro, si bien es la anttesis de lo que sera una introduccin
razonable a la teora de conjuntos, puede proporcionar una visin ms profunda y
madura al lector ya familiarizado con ella, y que le puede resultar especialmente til
al tratar con modelos de la teora de conjuntos.

Algebra I: Mathematics

Consagrar la Vida a la Defensa y Bsqueda de la Verdad

Educacin: Matemtica e Informtica
NDICE

II. TEORA DE CONJUNTOS:04

CONJUNTO:..05
CLASIFICACIN DE CONJUNTO:06
RELACIN ENTRE CONJUNTO:..07
OPERACIONES ENTRE CONJUNTOS:...09
PROPIEDADES DE LOS CONJUNTOS:..12
DEMOSTRACIONES DE LAS PROPIEDADES:..13
TEOREMAS Y SUS DEMOSTRACIONES:16
CARDINALIDAD Y ORDENALIDAD:..20

Algebra I: Mathematics

Consagrar la Vida a la Defensa y Bsqueda de la Verdad

Educacin: Matemtica e Informtica

II. TEORA DE CONJUNTOS.

La teora de conjuntos es una rama de las matemticas que estudia las propiedades
y relaciones 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.
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 aquella. 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
propiedades indemostrables 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.
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 influido
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 del siglo XX.

Algebra I: Mathematics

Consagrar la Vida a la Defensa y Bsqueda de la Verdad

Educacin: Matemtica e Informtica

CONJUNTO:
Un conjunto es un grupo de elementos u objetos especificados en tal forma que se
puede afirmar con certeza si cualquier objeto dado pertenece o no a la agrupacin.
Para denotar a los conjuntos, se usan letras maysculas.
Cuando un elemento x1 pertenece a un conjunto A se expresa de forma simblica
como: x1 A. En caso de que un elemento y1 no pertenezca a este mismo conjunto
se utiliza la notacin: y1 A.
Existen tres formas de enunciar a los conjuntos:
1) Por extensin o enumeracin: los elementos son encerrados entre llaves y
separados por comas. Es decir, el conjunto se describe listando todos sus
elementos entre llaves.
2) Por comprensin: los elementos se determinan a travs de una condicin que se
establece entre llaves. En este caso se emplea el smbolo | que significa tal que".
En forma simblica es:
A = {X / P(X)} = { X1, X2, X3, , Xn }
Que significa que el conjunto A es el conjunto de todos los elementos x tales que la
condicin P(x) es verdadera, como X1, X2, X3, etc.
3) Diagramas de Venn: son regiones cerradas que sirven para visualizar el
contenido de un conjunto o las relaciones entre conjuntos.
Ejemplo.
Dada la descripcin verbal el conjunto de las letras vocales, expresarlo por
extensin, comprensin y por diagrama de Venn.
Solucin.
Por extensin: V = {a, e, i, o, u}
Por comprensin: V = {x/x es una vocal}
Por diagrama de Venn:
.a

.e

.i

.o
.u

Algebra I: Mathematics

Consagrar la Vida a la Defensa y Bsqueda de la Verdad

Educacin: Matemtica e Informtica

CLASIFICACIN DE CONJUNTO:
Por el nmero de elementos que poseen los conjuntos pueden clasificarse en:
Conjunto Vaci.- Es aquel que carece de elementos, tambin llamado nulo y
se denota por el smbolo (). Ej.
A= {x/x es un perro que tiene alas}
B= {x/ x3= 27 donde x es par}
C= {x/x N; 12< x<13}
Conjunto Unitario.- Es aquel conjunto que est formado por un solo y nico
elemento. Ej.
P= {x/x est formado por satlites de la tierra}
Q= {x/x + 2 =7}
R= {2, 2, 2, 2} ojo tiene un solo elemento.
Conjunto Universal.- Se denota por la letra U; contiene, comprende o dentro
del cual estn todos los dems conjuntos. Ej.:
Si consideramos U como el conjunto de todos los Elementos Qumicos, entonces
dentro de U existirn subconjuntos de elementos slidos, lquidos, gaseosos,
radiactivos, metales, etc.
Conjunto Finito.- Es aquel cuyo elemento se puede contar en forma usual
desde primero hasta el ltimo. Ej.
A= {El nmero computadoras del saln de clase}
B= {275 pginas del libro}
C= {nmeros impares de 5 al 21}
Conjunto Infinito.- Es aquel cuyo elemento al contarlos no se llega a un
ltimo elemento del conjunto, es llamado tambin indeterminado. Ej.:
A= {x Z; x >2}
B= {x/x Es un nmero real}

Algebra I: Mathematics

Consagrar la Vida a la Defensa y Bsqueda de la Verdad

Educacin: Matemtica e Informtica

RELACIN ENTRE CONJUNTO:

1. Inclusin ().- Se dice que un conjunto A est incluido en otro B, cuando todo
elemento de A, pertenece a B, matemticamente se define:
A B xA xB
Ejemplo:
A= {radio, televisor, refrigeradora}
B= {Artefactos elctricos}
Sean los conjuntos:
P= {6, 7, 8, 9,10}
Q= {6, 8,10}
R= {6,10}

A B (A est incluido en B)

R P o P R
Q P o P Q
R Q o Q R

Se lee ......esta incluido......

Se lee ........incluye a......

Dos conjuntos son iguales si tienen los mismos elementos su forma es:
A=B adems se cumple:
A B y B A
2. Subconjunto Propio.- B es un subconjunto propio de A, si en primer lugar B es un
subconjunto de A, B est incluido en A, y en segundo lugar B no es igual a A, en
todo caso no existe por lo menos un elemento de A que no est en B es decir:
A= {1, 2, 3, 4,5}
B= {2,4}
B A
Nota: Todo conjunto es subconjunto de s mismo, pero no es subconjunto propio de
s mismo. Ej.
Si: A= {r, s, t}, Entonces:
Subconjuntos de A

P(A)= {, {r} ;{s} ;{t} ;{r, s} ;{s, t} ;{r, s, t}}

Subconjuntos propios de A
Subconjuntos de A

A
Subconjuntos de A

3. Conjunto Potencia.- Se llama as al conjunto que est formado por todos los
subconjuntos que se forman de un conjunto dado. Se simboliza por P su notacin
P(A), se lee potencia del conjunto A. Ej.

Hallar la potencia del siguiente conjunto: A= {1, 2,3}

Donde A tiene 3 elementos
P(A)= {{1} ;{2} ;{3} ;{1,2} ;{1,3} ;{2,3} ;{1, 2, 3}; }
Donde:

n[P(A)]= 2n(A)

Algebra I: Mathematics

Consagrar la Vida a la Defensa y Bsqueda de la Verdad

Educacin: Matemtica e Informtica
Tambin si un conjunto tiene n elementos, su nmero de
subconjuntos es 2n y el nmero de elementos de sus
subconjuntos propios es 2n -1
Ej. Hallar el nmero de subconjuntos y el nmero de subconjuntos propios en:
B= {f, g, h, i}
P(B)={;{f};{g};{h};{i}:{f,g};{f,h};{f,i};{g,h};{g,i};{h,i};{f,g,h};{f,h,i};{g, h, i};{f, g, i};{f,
g, h, i,}}
El nmero de elementos de B: n(B)=4
El nmero de conjuntos potencia de B ser:
n [P(B)]= 2n =16
El nmero de Subconjuntos de B: 16
El nmero de Subconjuntos Propios de B: 2n -1=15

Algebra I: Mathematics

Consagrar la Vida a la Defensa y Bsqueda de la Verdad

Educacin: Matemtica e Informtica

OPERACIONES ENTRE CONJUNTOS:

Las operaciones de conjuntos son: la unin, la interseccin, la diferencia, la
complementacin, el conjunto producto y la diferencia simtrica.
1. UNIN DE CONJUNTO.- La unin de conjunto A y B es el conjunto formado por
los elementos que pertenecen a A, a B o a ambos, se simboliza por:
AUB, y se lee A unin B
A U B = {x/x A x B}

Notacin:

Grficamente es:
1

1.-Cuando los conjuntos tienen algo en comn.

2.-Cuando los conjuntos no tienen nada en comn

Propiedades:
1) A U B = B U A
(conmutativa)
2) A U A = A
(Idempotencia)
3) A U = A
4) A U U = U; U: universo
2.- Interseccin (): Dados los conjuntos A y B, se llama interseccin al conjunto
formado por los elementos que pertenecen a A y B a la vez; es decir es el conjunto
formado por los elementos comunes a A y B.
Notacin:
A B = {X/X A Y X B}

Grficamente:

1.-Cuando los conjuntos tienen algo en comn.

2.-Cuando los conjuntos no tienen nada en comn

.
Propiedades:
i) A B = B A
ii) A A = A
iii) A =
iv) A U = A; U: universo

Algebra I: Mathematics

Consagrar la Vida a la Defensa y Bsqueda de la Verdad

Educacin: Matemtica e Informtica
3.-Diferencia (-): Dados 2 conjuntos A y B, se llama diferencia de A y B, al conjunto
formado por todos los elementos de A y que no pertenecen a B; es decir, es el
conjunto formado por los elementos que pertenecen exclusivamente a A.
Notacin:
.

A B = {X/X A Y X B}

Grficamente:
A

B
1.-Cuando los conjuntos tienen algo en comn.
2.-Cuando los conjuntos no tienen nada en comn

A - B = BC

Propiedades:
i) A - A =
ii) A - = A
iii) - A =
iv) A - B = B A A = B
4. Complemento de un conjunto (C(A), AC ): Dado un conjunto A que est incluido
en el universo U, se denomina complemento del conjunto A, a todos los elementos
que estn fuera de A, pero dentro del universo.
Notacin:

AC = {x/x U x A}

Grficamente:

U
A
A

Propiedades:

i) (AC)C = A
ii) C = U
iii) UC =
iv) A U AC = U
v) A AC =

10

Algebra I: Mathematics

Consagrar la Vida a la Defensa y Bsqueda de la Verdad

Educacin: Matemtica e Informtica
5.- Diferencia Simtrica (D).- Se llama diferencia simtrica de los conjuntos
A y B, al conjunto de elementos de A y B, excepto los que pertenecen a la
interseccin. Esto es, que pertenecen a A o a B
A B = {x/x A y x B} v {x/x B y x A}

NOTA:
Puede decirse tambin que A B es el conjunto de todos los elementos de a b
que no pertenecen al conjunto A B. en otras palabras A B es el conjunto
formado por los elementos exclusivos de a A de B.
Grficamente:

AB

AB

AB

Propiedades:
A B = (A U B) (A B)
A B = AC BC

11

Algebra I: Mathematics

Consagrar la Vida a la Defensa y Bsqueda de la Verdad

Educacin: Matemtica e Informtica

PROPIEDADES DE LOS CONJUNTOS:

Sean los conjuntos A, B, C dentro del universo U. Las seis propiedades que rigen las
operaciones con esos conjuntos son las siguientes:
1. Propiedades de identidad:

A A
AU U
AU A
A

2. Propiedades de idempotencia:

A A A
A A A
3. Propiedades de complemento:

A A' U
A A'

4. Propiedades asociativas:

A BC
A BC

A B C
A B C

5. Propiedades conmutativas

A B B A
A B B A

6. Propiedades distributivas

A B CA BAC
AB CA BAC

12

Algebra I: Mathematics

Consagrar la Vida a la Defensa y Bsqueda de la Verdad

Educacin: Matemtica e Informtica

DEMOSTRACIONES DE LAS PROPIEDADES:

1. Propiedades de identidad:

A A
Para demostrarlo, aplicamos la definicin de unin:
A = {x/x A x}
Como no existe ningn elemento que pertenezca a (por su propia definicin),
entonces nos queda:
A = {x/x A}
A = A

AU U
AU A
A
2. Propiedades de idempotencia:

A A A
Demostracin:
AA = {x/x A x A} = {x/x A} = A
AA = A

A A A
3. Propiedades de complemento:

A A' U
A A'

Demostracin: aplicamos la definicin de intercesin:

A A' = {x/x A x A'}
Como no existe ningn elemento que pertenezca a A' y a la vez a A (por su propia
definicin), entonces nos queda:
A A' =

4. Propiedades asociativas:

A BC A B C
Demostracin:
Aplicando sucesivamente la definicin de unin de conjuntos:
(AB)C = {x/x (AB) x C}
AB = {x/x A x B}
Entonces:
(AB)C = {x/x A x B x C} [1]
Por otro lado, y aplicando la misma definicin:
A (BC) = {x/x A x (BC)}
BC = {x/x B x C}

13

Algebra I: Mathematics

Consagrar la Vida a la Defensa y Bsqueda de la Verdad

Educacin: Matemtica e Informtica
O sea:
A (BC) = {x/x A x B x C} [2]
Como los segundos miembros de las igualdades [1] y [2] son iguales entre s,
entonces tambin son iguales los primeros miembros, lo que demuestra la
propiedad:
(AB)C = A (BC)

ABC AB C

Aplicando sucesivamente la definicin de interseccin de conjuntos:

(AB)C = {x/x (AB) x C}
AB = {x/x A x B}
Entonces:
(AB)C = {x/x A x B x C} ..[1]
Por otro lado, y aplicando la misma definicin:
A (BC) = {x/x A x (BC)}
BC = {x/x B x C}
O sea:
A (BC) = {x/x A x B x C}. [2]
Como los segundos miembros de las igualdades [1] y [2] son iguales entre s,
entonces tambin son iguales los primeros miembros, lo que demuestra la
propiedad:
(AB)C = A (BC)

5. Propiedades conmutativas

A B B A
Lo demostraremos aplicando la definicin. En ambos casos llegamos al mismo
conjunto:
AB = {x/x A x B }
BA = {x/x B x A}
AB = BA

A B B A
6. Propiedades distributivas

A B CA BAC

AB CA BAC
Se demuestra, de acuerdo con la definicin de igualdad de conjuntos, que todo
elemento del primer miembro pertenece al segundo y viceversa.
Comenzaremos de izquierda a derecha:
x, x A (BC) x A x (BC) x A (x B x C)
La ltima afirmacin implica necesariamente una de estas dos alternativas (o
ambas a la vez):
xAxB o xAxC
Es decir, entonces, que se cumple x, x A (BC):
x (AB) x (AC)

14

Algebra I: Mathematics

Consagrar la Vida a la Defensa y Bsqueda de la Verdad

Educacin: Matemtica e Informtica
O sea:
x, x A (BC) x [(AB) (AC)]
Es decir:
A (BC) [(AB) (AC)]..[1]

Veamos ahora el sentido recproco:

z, z [(AB) (AC)] z (AB) z (AC)
(zA zB) (zA zC)
zA (zB zC)
Entonces se cumple que:
z, z [(AB) (AC)] z A (BC)
Que es lo mismo que decir:
[(AB) (AC)] A (BC) [2]
La verificacin simultnea de las inclusiones [1] y [2] nos permite afirmar, que
ambos conjuntos son iguales, es decir:
A (BC) = (AB) (AC)

15

Algebra I: Mathematics

Consagrar la Vida a la Defensa y Bsqueda de la Verdad

Educacin: Matemtica e Informtica

TEOREMAS Y SUS DEMOSTRACIONES

Teorema 1
Un conjunto A est contenido en otro conjunto B, si y slo si la unin de A y B es B.
AB AB = B
Directo:
Hiptesis: AB
Tesis: AB = B
Demostracin:
Partimos del primer miembro de la tesis, aplicndole la definicin de unin:
AB = {x/x A x B}
Aplicando la definicin de inclusin, como por hiptesis AB, entonces se cumple:
x, xA xB
Entonces, sustituyendo, nos queda:
AB = {x/x B x B}
AB = {x/x B}
AB = B
Recproco
Hiptesis: AB = B
Tesis: AB
Demostracin:
A partir de la hiptesis, y aplicando la definicin de unin, podemos afirmar:
{x/x A x B} = B
{x/x A x B} = {x/x B}
Es decir, que todo x que pertenezca a A, pertenece a B:
x, xA xB
Y eso es la definicin de inclusin, por lo que se demuestra la tesis:
AB

Teorema 2
Si dos conjuntos, A y B, estn incluidos en un mismo conjunto C, entonces la unin
de ambos tambin est incluida en C.
Hiptesis: AC
BC
Tesis: (AB) C
Demostracin:
Aplicando la definicin de inclusin a ambos puntos de la hiptesis:
AC implica que: x: xA xC
BC implica que: x: xB xC
Entonces, podemos afirmar:
x: xA xB xC
Y aplicando la definicin de unin:
x: x (AB) x C
Aplicando otra vez la definicin de inclusin llegamos a la tesis:
(AB)C

16

Algebra I: Mathematics

Consagrar la Vida a la Defensa y Bsqueda de la Verdad

Educacin: Matemtica e Informtica
Teorema 3
Si un conjunto est contenido en otros dos, est contenido en la interseccin de
ambos.
Hiptesis: C A y C B
Tesis:
C (AB)
Demostracin:
Por hiptesis, y aplicando la definicin de inclusin, se cumple a la vez:
x, x C x A (porque CA)
x, x C x B (porque CB)
Entonces, todos los elementos de C pertenecen a A y a B:
x, xC xA xB
O sea:
x, x C x (AB)
Y, por la definicin de inclusin:
C (AB)
Teorema 4
Es condicin necesaria y suficiente para que un conjunto A est incluido en otro
conjunto B, que la interseccin de A y B sea A.
AB = A A B
Directo
Hiptesis: AB = A
Tesis:
AB
Demostracin:
De acuerdo con la hiptesis,
x, x A x A x B
Entonces:
x, x A x B
Lo que, por la definicin de inclusin, nos lleva directamente a la tesis:
AB
Recproco
Hiptesis: A B
Tesis:
AB = A
Demostracin:
Por hiptesis,
x, x A x B
Entonces:
x, x A x A x B x (AB)
Adems es evidente que
x, x (AB) x A
Entonces, se verifican las dos condiciones de la igualdad de conjuntos, as que se
cumple la tesis:
AB = A

17

Algebra I: Mathematics

Consagrar la Vida a la Defensa y Bsqueda de la Verdad

Educacin: Matemtica e Informtica
Teorema 5
Si un conjunto A est contenido en B, el complemento de B est contenido en el
complemento de A.
Hiptesis: A B
Tesis:
B A
Demostracin:
Aplicando la definicin de inclusin a la hiptesis, podemos afirmar:
x, x A x B
Como todo elemento de A est en B, podemos afirmar que ningn elemento de A
pertenecer a B. Es decir entonces:
x, x B x A
Eso es lo mismo que decir:
x, x B x A
O sea, aplicando la definicin de inclusin:
B A

LEYES DE MORGAN
Teorema 6
Primera Ley de Morgan: El complemento de la unin es la interseccin de los
complementos.
Hiptesis: A y B son conjuntos de un cierto referencial
Tesis:
(AB) = AB
Demostracin:
Seguiremos el camino habitual para demostrar que dos conjuntos son iguales (es
decir, que cada uno de ellos est contenido en el otro).
En primer lugar:
x, x (AB) x (AB)
xA xB
xA xB
xAB
Entonces, si x, x (AB) x A B, llegamos a:
(AB) AB. [1]
Ahora, razonaremos en el sentido inverso:
x, x AB xA x B
Como xA xA, y esto puede implicar dos alternativas:
x (B-A) o x B
La primera es falsa, porque ya vimos que xB (por pertenecer a B). As que se
cumple, a la vez:
xA xB
Entonces podemos asegurar que
x, x AB x (AB)
o, lo que es lo mismo,
x, x AB x (AB)
lo que nos lleva a:
AB (AB) [2]
Y la verificacin simultnea de las inclusiones [1] y [2] nos permite afirmar:
(AB) = AB

18

Algebra I: Mathematics

Consagrar la Vida a la Defensa y Bsqueda de la Verdad

Educacin: Matemtica e Informtica
Teorema 7
Segunda Ley de Morgan: El complemento de la interseccin es la unin de los
complementos.
Hiptesis: A y B son conjuntos de un cierto referencial
Tesis:
(AB) = AB
Demostracin:
Razonaremos del mismo modo que en el caso anterior. As que partimos del primer
miembro de la tesis:
x, x (AB) x (A-B) x (B-A) (x A x B)
Analizaremos cada una de esas alternativas:
x (A-B) x A x B x B
x (B-A) x B x A x A
x A x B x(AB)
Es decir:
x, x (AB) x A x B x (AB)
x, x (AB) x (AB)
(AB) (AB).. [1]
Trabajando ahora con el segundo miembro:
x, x AB xA xB
Si xA, hay dos alternativas: que x pertenezca a B o que no. Entonces:
x A x (B-A) x(AB)
Anlogamente:
x B x (A-B) x (AB)
Entonces podemos afirmar ahora:
x, x AB x (A-B) x (B-A) x (AB)
x (A-B) x A x B x (AB)
x (B-A) x B x A x (AB)
x (AB) x A x B x (AB)
De modo que
x, x AB x (AB) x (AB)
AB (AB). [2]
Y otra vez, las inclusiones simultneas [1] y [2] nos permiten afirmar la igualdad de
ambos conjuntos:
(AB) = AB

19

Algebra I: Mathematics

Consagrar la Vida a la Defensa y Bsqueda de la Verdad

Educacin: Matemtica e Informtica

CARDINALIDAD Y ORDENALIDAD:
1. Nmero Cardinal.- Nos referimos al nmero de elementos que tiene un
conjunto. Car (D)= n (D)= nmero de elementos. Ej.
El nmero Cardinal del conjunto D= {a, e, i, o, u}
Es = 5

aeiou
1 2 3 4 5 nmero Cardinal del conjunto D

Car (D)=n (D)=5

Nos dice que: D tiene 5 elementos
2. Nmero Ordinal.- Nos referimos al nmero natural que corresponde a cada
uno de los elementos del conjunto al contarlos. Ej.
B= {p, r, s, t}

r s t
1 2 3 4

p es primer elemento.
r es segundo elemento.
s es tercer elemento, etc.

20

Algebra I: Mathematics