UNIVERSIDAD PEDAGGICA NACIONAL

INSTITUTO PEDAGGICO NACIONAL

PROBABILIDAD 2014
DOCUMENTO REALIZADO POR: CSAR RENDN MAYORGA

DEMOSTRACIONES EN TEORA DE CONJUNTOS.



No constituye un problema que los humanos
Obtengan el conocimiento del ingls, del
Japons o cualquiera otra lengua mientras
Que las piedras, pjaros o los monos no lo
Hacen, bajo las mismas (en realidad
Cualesquiera) condiciones. Por lo tanto, existe
Alguna propiedad de la mente/cerebro que
Diferencia a los humanos de las piedras, los
Pjaros o los monos
NOAM CHOMSKY


La necesidad de la demostracin.
Una demostracin es un argumento convincente y lgico de la veracidad de una
proposicin determinada (igualdad, teorema, corolario, etc.). Las demostraciones
no solamente estn presentes al interior de la rigurosidad matemtica, tambin se
encuentran en otros contextos en los cuales cumplen igualmente una funcin de
convencimiento. Los cientficos que hacen predicciones con base en principios de
la ciencia dan demostraciones, en efecto, de que sus predicciones se deducen de
elementos previos. Los programadores de computadores realizan aseveraciones en
relacin con que sus programas operarn de acuerdo con ciertas especificaciones y
verifican estas aseveraciones con una combinacin de razonamiento y
experimentacin. Los historiadores cuyo argumento es que cierta serie de
decisiones conducen inevitablemente a cierta consecuencia, usan el razonamiento
lgico para demostrar lo anterior. As pues, aunque los detalles de escribir una
demostracin de manera formal slo pertenezcan en efecto- a las matemticas, el
objetivo de comprender lo que constituye un argumento convincente debe ser
compartido por cualquiera que espere utilizar los principios matemticos para
determinado fin
1
.



1
GONZLEZ, F. (2005). Apuntes de Lgica Matemtica: Razonamientos y Demostraciones. Universidad
de Cdiz. dem.
Demostraciones con conjuntos
Para el caso particular del curso de probabilidad, las demostraciones que se han
realizado hasta ahora hacen referencia exclusiva a algunas propiedades entre
conjuntos, y en cualquier caso se trata de demostrar una igualdad dada, dicho lo
cual obliga a hacerse una primera pregunta: Cundo dos conjuntos son iguales?
Igualdad entre conjuntos
Se dir que dos conjuntos cualesquiera A y B son iguales si y slo si todo elemento
de A es tambin un elemento de B, y todo elemento de B es tambin un elemento
de A.
La anterior definicin pone en juego la idea central de las demostraciones entre
conjuntos: Se debe tomar un elemento arbitrario- de A y mostrar por medio de
reglas lgicas que ese elemento est tambin en B; posteriormente tomar un
elemento de B y mostrar mediante razonamientos vlidos que est igualmente en
A. Esta idea presenta de manera implcita otra concepcin:
Definicin de Contenencia entre conjuntos: Un conjunto A est contenido en un
conjunto B ( ) si y solo si, todo elemento de A es tambin un elemento de B.
Este concepto permite reescribir (sin prdida de validez) la definicin de igualdad
entre conjuntos: Dos conjuntos A y B son iguales si y solo si, y . Note
que en cualquier caso la metodologa que se implementar es la misma,
independiente de la definicin que se adopte.
Algunos consejos previos y herramientas necesarias
En el camino de realizar demostraciones entre conjuntos es conveniente tener en
cuenta algunas propiedades de las proposiciones que ya se han demostrado por
medio de tautologas; y es importante hacer nfasis en que son propiedades de
proposiciones por cuanto uno de los objetivos en las demostraciones ser,
precisamente, la de dejar todo en trminos de proposiciones dado que estas ya son
bien conocidas. Algunas de tales propiedades se enlistan a continuacin:
Conmutatividad para la conjuncin:
Asociatividad para la conjuncin:
Conmutatividad para la disyuncin:
Asociatividad para la disyuncin:
Distributiva de la conjuncin respecto a la disyuncin:

Distributiva de la disyuncin respecto a la conjuncin:

Doble negacin:
Ley de De Morgan 1:
Ley de De Morgan 2:
Tambin, antes de iniciar las primeras demostraciones, es importante tener
presentes las definiciones de las operaciones clsicas entre conjuntos.
Unin de conjuntos
La unin de los conjuntos A y B es el conjunto nico de todos los elementos de A
con todos los elementos de B sin repetir ninguno. Se denota como y se define
analticamente de la siguiente manera:

Su representacin en diagrama de Venn es como se sigue:





Interseccin de Conjuntos.
La interseccin de dos conjuntos A y B es el conjunto formado por los elementos
que son comunes tanto en A como en B. Se denota como y se define
analticamente de la siguiente manera:

Su representacin en diagrama de Venn, es:







Complemento de un conjunto.
El complemento de un conjunto es el conjunto de todos los elementos que estn
en el conjunto universo y que no estn en . Para poder definir de forma explcita
el conjunto complemento en un caso particular, es entonces necesario conocer cul
es exactamente el conjunto universo. Se denota como y se define
analticamente de la siguiente manera:

Su representacin en diagrama de Venn es:







Diferencia de conjuntos.
La diferencia de dos conjuntos, es el conjunto formado por todos los elementos que
pertenecen al primero y no pertenecen al segundo. Se nota como y se define
analticamente de la siguiente forma:

Otra manera de notar la diferencia entre y es: Tambin se le llama a la
diferencia como complemento relativo de B en A. Su representacin en diagrama de
Venn es:










Diferencia Simtrica de Conjuntos.
La diferencia simtrica de dos conjuntos, es el conjunto formado por todos los
elementos que pertenecen a la unin de los dos iniciales, pero que no pertenecen a su
interseccin. Su notacin es y se define analticamente de la siguiente manera:

Otra manera usual de los libros para definir la diferencia simtrica de conjuntos es:

Razones por las cuales se considera que la diferencia simtrica es fcilmente llevable a
las operaciones de unin, interseccin y diferencia. Su representacin en diagrama de
Venn es:







Hasta este punto se considera que ya estn presentes las herramientas necesarias
para realizar algunas demostraciones entre conjuntos.
Algunas primeras demostraciones
En adelante y a menos que se indique lo contrario, sean A, B y C conjuntos y sea U
el conjunto universo, tal que .
NOTA: Aunque, como se mencion ms arriba, las demostraciones tienen que ser
en doble va al tratarse de una igualdad [lo que se ha llamado en clase caminos de
ida y vuelta]; en los ejemplos que se siguen slo se muestra uno de los caminos (el
camino de ida) dado que, como tambin se ha mencionado en clase, cuando se
tiene demostrada una va, la otra es inmediata y no requiere de particular atencin,
salvo casos especficos que se harn explcitos cuando sea necesario.



1.
Se mostrar que , denominado en el aula como camino de ida, para
ello el primer paso es siempre tomar un elemento arbitrario que pertenezca al
conjunto del que se parte, en este caso:


En adelante, la idea en trminos generales es aplicar las definiciones de
operaciones entre conjuntos que se vayan encontrando, hasta que sea posible, en
este ejemplo se observa que est la interseccin entre conjuntos, por lo que se
aplica la definicin:

Note en primer lugar que ya no hay ms operaciones entre conjuntos a las cuales
se les pueda aplicar la definicin; note tambin que, en el contexto, se puede
determinar si las frases y son verdaderas o falsas, as que son
proposiciones y se les puede cambiar el nombre por unos ms familiares, as
se puede llamar y llamarse y la afirmacin anterior queda:

El objetivo de la demostracin es verificar que la interseccin es conmutativa, para
ello se sabe de antemano que las proposiciones con la conjuncin si son
conmutativas, as que se aprovecha esa propiedad:

Dado que ya no es posible hacer nada ms, slo resta devolverse, sustituir de
nuevo a y a en la afirmacin anterior:

Y hay que fijarse en que ya est la idea de la demostracin, pues ya se logr
cambiar el orden entre los conjuntos y . Luego, por definicin de interseccin:

Lo que completa
2
la demostracin, pues ya se parti de un elemento cualquiera en
y se mostr que ese mismo elemento pertenece tambin a , que es la
igualdad que se quera verificar.
Esta demostracin se puede resumir en un esquema de afirmacin- justificacin de
la siguiente manera:

2
Recuerde que formalmente s es obligatorio hacer el camino de vuelta.
Afirmacin Justificacin
Hiptesis
Definicin de interseccin de conjuntos
Sustitucin
Conmutatividad del
Sustitucin
Definicin de interseccin de conjuntos

2. Se mostrar la asociatividad de la unin:
Bsicamente se replicar el mtodo del ejemplo anterior. En primer lugar se toma
un elemento cualquiera del conjunto de partida

Se aplicar la definicin de unin entre conjuntos:

Es de notar que an queda una operacin entre conjuntos (la unin) por lo que se
puede aplicar de nuevo la definicin:

Ya no es posible aplicar ms definiciones de operaciones entre conjuntos, as que
todo est en trminos de proposiciones: se llama ; es y es ,
as pues:

Y para las proposiciones ya se demostr la asociatividad, por lo que es posible
aplicarla:

Ahora, slo queda sustituir de nuevo las proposiciones:


Note que por definicin de unin entre conjuntos, as pues:

De nuevo, por definicin de unin entre conjuntos observe que:

Lo que finalmente concluye esa parte de la demostracin, pues ya se lleg al
conjunto deseado. La demostracin se puede resumir en un esquema, como se
sigue:

Afirmacin Justificacin
Hiptesis
Definicin de unin entre conjuntos
Definicin de unin entre conjuntos
Sustitucin
Asociatividad para la disyuncin
Sustitucin
Definicin de unin entre conjuntos
Definicin de unin entre conjuntos
3. Se mostrar la primera Ley de De Morgan para conjuntos:

Como es usual, se toma un elemento arbitrario x del conjunto de partida:

Por definicin de complemento, lo anterior es equivalente a:

En este punto se requiere particular atencin. Decir que siendo un
conjunto cualquiera, es equivalente a la siguiente proposicin: , por lo
cual la afirmacin anterior de la demostracin se puede reescribir as:

Y esa afirmacin s es posible desglosarla en trminos de proposiciones, aplicando
la definicin de interseccin:

Note que ya se puede sustituir para utilizar proposiciones, as, ser ;
ser y lo anterior queda:

Utilizando la Ley de De Morgan para proposiciones, lo anterior es equivalente a:

En adelante, slo resta sustituir de nuevo y volver a aplicar las definiciones,
sustituyendo:

Por el argumento dado ms arriba, si se tiene que siendo un conjunto
cualquiera, es equivalente a la siguiente proposicin: , por lo cual se tiene:

Aplicando la definicin de complemento de un conjunto, se tiene que:

Finalmente, se puede observar que es posible aplicar la definicin de unin entre
conjuntos:

Lo que concluye la demostracin, pues ya se lleg a la segunda parte de la igualdad
propuesta.
De nuevo, el siguiente diagrama resume la demostracin:

Afirmacin Justificacin
Hiptesis
Definicin de complemento
Negacin de una proposicin
Definicin de interseccin entre conjuntos
Sustitucin
Ley de DeMorgan para proposiciones
Sustitucin
Negacin de proposiciones.
Definicin de complemento
Definicin de unin
NOTA: Observe que para demostrar la conmutatividad de la interseccin, se busc
poder utilizar la conmutatividad de , para mostrar la asociatividad de la unin,
se busc la asociatividad de ; para mostrar la Ley de DeMorgan entre
conjuntos se llev todo a trminos de la Ley de DeMorgan en proposiciones.



EJERCICIOS
Demuestre las siguientes propiedades entre conjuntos:
-
-
-
-
-
-



BIBLIOGRAFA.
GONZLEZ, F. (2005). Apuntes de Lgica Matemtica: Razonamientos y
Demostraciones. Universidad de Cdiz. dem. Espaa.

SUPPES, P. (1968). Teora Axiomtica de conjuntos. Editorial Norma. Cali,
Colombia.
LUQUE, C., Torres, J. & ngel, L. (2008) Representar Estructuras Algebraicas
Numerables. Universidad Pedaggica Nacional. Bogot, Colombia.
KISBYE, P. & Tiraboschi A. Elementos de Lgica y teora de conjuntos. Universidad
Nacional de Crdoba. dem. Argentina.