Está en la página 1de 47

Antologa de Probabilidad

1.1 INTRODUCCION
HISTORIA DE LA PROBABILIDAD

El juego ha sido una actividad humana desde tiempos remotos. A pesar de las tragedias que ha causado y de la oposicin al mismo desde mbitos legales y religiosos, se siguen jugando grandes cantidades de dinero. Cabe resear el intento del obispo Wilbold de Cambray siglo !" de conciliar religiosidad y a#ar cuando propuso el siguiente juego$ se lan#aban tres dados y a cada manera de sumar sus puntos se asignaba a una virtud por %l enumerada, tal virtud deb&a observarse durante un tiempo determinado.

Orgenes de algunos juegos. * Taba: cuarto milenio antes de Cristo, en Oriente edio! edio! La $ersi%n moderna se

* Bac"#ammond: tercer milenio antes de Cristo, en Oriente &ue#a en el si#lo '(III en In#laterra! * Dado: sobre el se#undo milenio antes de Cristo, en E#i)to! * Loter*a: en el si#lo I, en Roma! * +ai)es: en el si#lo ', en C,ina! * Ruleta -rancesa: sobre el ./00, en -rancia!
1+IDAD . 1

Introducci%n

Antologa de Probabilidad
* P%"er: sobre ./00,en Lousiana! * Bin#o: sobre ./00, en In#laterra!
Es )recisamente el &ue#o el causante de esta teor*a 2ue, en Occidente, sur#e alrededor de .300! Se atribu4e a Pascal su )rimera consideraci%n 4 las )rimeras a)licaciones a di$ersos &ue#os! Ha4 2ue decir 2ue en la India, con un sistema mercantil, de numeraci%n a$an5ada 4 una reli#i%n 2ue no se#u*a el modelo determinista, es )osible encontrar te6tos anti#uos con relatos acerca de &ue#os donde se ,ace uso de las )robabilidades! La a)licaci%n )osterior de la teor*a a cam)os como se#uros 4 anualidades 7s!'(I8, astronom*a 7s!'(II8, biolo#*a 7s!'I'8, 4 la am)lia #ama de a)licaciones actuales 7medicina, in9orm:tica, 9*sica, a#ricultura, !!!8 le ,an con9erido a la )robabilidad una enorme im)ortancia! Siglo XX El siglo !! se ha caracteri#ado por los avances de la tecnolog&a' medicina y ciencia en general' (in de la esclavitud al menos nominalmente"' liberacin de la mujer en la mayor parte de los pa&ses' pero tambi%n por crisis y despotismos humanos, que causaron e(ectos tales como las )uerras *undiales' el genocidio y el etnocidio, las pol&ticas de e+clusin social y la generali#acin del desempleo y de la pobre#a. Como consecuencia, se pro(undi#aron las inequidades en cuanto al desarrollo social, econmico y tecnolgico y en cuanto a la distribucin de la rique#a entre los pa&ses, y las grandes di(erencias en la calidad de vida de los habitantes de las distintas regiones del mundo. En los ,ltimos aos del siglo, especialmente a partir de -./.0 -..- con el derrumbe de los reg&menes colectivistas de Europa, comen# el (enmeno llamado globali#acin o mundiali#acin. 1920-1930 En los aos de la gran )uerra primera guerra mundial entre -.-1 y -.-/" la probabilidad y la estad&stica se esparcieron por todos lados. 2urante la guerra, la investigacin en probabilidad casi se detiene por causa de que la gente se enlistaba en los servicios armados. 3earson, 4%vy y Wiener trabajaron en bal&stica, 5e((reys en meteorolog&a e 6ule en administracin.

Introducci%n

1+IDAD .

Antologa de Probabilidad

En -.77 2avid 8ilbert propuso un conjunto de problemas para el siglo 97. El se+to problema (ue, :trata por medio de a+iomas, aquellas ciencias (&sicas en las cuales las matemticas juegan un papel importante' en primer lugar estn la teor&a de la probabilidad y la mecnica.; 4a teor&a de la medida, que jugar&a un papel muy otros. importante en la a+iomati#acin de la probabilidad, (ue creada por <orel, 4ebesgue entre otros.==========================.

2esde di(erentes campos surgieron contribuciones que eventualmente encontraron lugar en la teor&a de los procesos estocsticos. En (&sica, Einstein y >moluchovs?i trabajaron en el movimiento <ro@niano. <achelier desarroll un modelo similar aplicado a la especulacin (inanciera' alternamente, el actuario 4undberg desarroll una teor&a de riesgo colectivo. 4a en(ermedad de la malaria y la migracin de los mosquitos (ueron el (oco principal de la investigacin de 3earson originado en el problema de la caminata aleatoria. Aonald Aoss y A. ).*cBendric?, sin la re(erencia del anterior trabajo de 2aniel <ernoulli, crearon modelos matemticos de las epidemias. =================..

Aunque *endel no us la probabilidad en su trabajo sobre gen%tica publicado en -/CC", sus ideas (ueron probabili#adas cuando 3earson, 6ule y Disher investigaron si los principios de la gen%tica podr&an racionali#ar los halla#gos de los biometristas. ========================..

Charles >pearman -/CE0-.1F" impuls la correlacin y esta empe# a ser parte importante de la sicolog&a. Entre las contribuciones a la estad&stica estuvieron la correlacin de rangos y el anlisis (actorial. )od(rey Ghomson (ue un cr&tico severo del anlisis (actorial de la inteligencia basado en el trabajo de >pearman. En la d%cada de -.E7 4ouis 4. Ghurstone desarroll el anlisis (actorial m,ltiple.==========..

En econom&a, especialmente en los Estados unidos, los m%todos cuantitativos empe#aron a ser ms prominentes. 4as (iguras ms importantes (ueron Warren 3ersons, Hrving

1+IDAD .

Introducci%n

Antologa de Probabilidad
Disher, Wesley *itchell and 8. 4. *oore. 4a mayor&a de su trabajo se clasi(icar&a en el anlisis de series de tiempo.==

=========================.

4as aplicaciones industriales en probabilidad empe#aron con el trabajo de Erlang sobre congestin de sistemas tele(nicos, el ancestro de la teor&a de colas. ====================....

4os desarrollos institucionales incluyen, en -.-- la creacin del departamento de estad&sticas aplicadas en IC4 encabe#ado por 3earson. 6ule, podr&a ser llamado :el primer estad&stico moderno;.

1920-1930 4a mayor&a de las personas que dominaron la probabilidad y la estad&stica tuvieron un impacto temprano. 2e ellos, el individuo que tuvo un mayor impacto (ue Disher en estad&stica. El alemn era el idioma tradicional en la literatura cient&(ica de la %poca. >in embargo, Disher escrib&a en ingl%s 4os pues avances cre&a en que la %poca de escritura re(inamientos alemana del hab&a terminado. central del =============...=============================== probabilidad incluyeron teorema l&mite 4indeberg hi#o una muy importante contribucin" y de la ley (uerte de los grandes n,meros y nuevos resultados inclu&an la ley del algoritmo dominado. 8ubo contribuciones de la mayor&a de los pa&ses del continente europeo' por ejemplo, *a#ur?ie@ic# de 3olonia y en -.EF Guring repiti el trabajo de 4indeberg sin saber de su publicacin.

4os (undamentos de la probabilidad recibieron mucha atencin y ciertas posiciones encontraron e+presiones clsicas$ la interpretacin lgica de la probabilidad grado de creencia ra#onable" (ue propuesta por los (ilso(os de Cambridge, W. E. 5ohnson, 5. *. Beynes y C. 2. <road, y presentada a una audiencia cient&(ica por 5e((reys' el punto de vista (recuentista (ue desarrollado por von *ises.=================.

Introducci%n

1+IDAD .

Antologa de Probabilidad

En estad&stica, A. A. Disher gener nuevas ideas sobre estimacin y ju#gamiento de hiptesis y su trabajo de diseo e+perimental movi este tpico desde los linderos hasta el centro de la estad&stica. >us *%todos estad&sticos para investigadores -.9F" (ue el libro ms in(luyente del siglo 97.========...

W. A. >he@hart A>J" (ue el pionero del control de calidad, el cual se convirti en una aplicacin muy importante de la estad&stica en la industria.

1930-1940 En contra de una econom&a en recesin y de una pol&tica desastrosa, hubo importantes desarrollos en probabilidad, teor&a estad&stica y sus aplicaciones. En la Inin >ovi%tica, a los matemticos les iba mayor que a los economistas o a los genetistas y pudieron salir de su pa&s y publicar en revistas internacionales' as& Bolmogorov y Bhinchin publicaron en Alemania, donde precisamente los jud&os (ueron e+pulsados de la academia desde -.E1.=================... ====================================...

En probabilidad, los principales desarrollos (ueron la a+iomati#acin de la probabilidad por Bolmogorov y el desarrollo de la teor&a de los procesos estocsticos por %l y por Bhinchin. >u trabajo es usualmente visto como el comien#o de la probabilidad moderna. ======================..

En los (undamentos de la probabilidad, <runo de Dinetti y Dran? Aamsey -.7E0-.E7" >t. Andre@s, K.0E. >ahlin" trabajaron en la probabilidad subjetiva. Aamsey empe# con el criticismo de la escuela de lgica de Cambridge, en particular Beynes. Ina superestructura estad&stica no se dio sino aos despu%s. 5e((reys dio un tratamiento completo a la estad&stica (undamentado en su nocin lgica de la probabilidad, aunque la (orma prevaleciente era la clsica.==========.==============.

<iometri?a detuvo la publicacin de la investigacin biolgica y se en(oc en la estad&stica terica. El Hnstituto de estad&stica matemtica (ue (undado en -.E7 y su revista, Ghe Annals o( *athematical >tatistics apareci en -.EE. El primer laboratorio de estad&stica en los Estados Inidos (ue creado en Ho@a por >nedecor en -.EE. >nedecor (ue (uertemente

1+IDAD .

Introducci%n

Antologa de Probabilidad
in(luenciado por Disher.=====================..========

En el campo de la in(erencia estad&stica, el mayor desarrollo (ue la teor&a del ju#gamiento de hiptesis de Keyman03earson. El anlisis multivariado se convirti en una material identi(icable, (ormada por contribuciones como la distribucin Wishart -.9/", los componentes principales de 8arold 8otelling -.EE" y la correlacin cannica -.EC" y el anlisis discriminante de Disher -.EC".

4as aplicaciones de las matemticas y estad&sticas a la econom&a se juntaron en el movimiento econom%trico. Entre los l&deres de la d%cada de -.E7 estuvieron 5an Ginbergen y Aagnar Drisch. 4os econometristas que ganaron el premio Kobel en econom&a son Engle, )ranger, 8aavelmo, 8ec?man, Blein, *cDadden.

1940-1950 Entre los millones de muertos de la segunda )uerra mundial se contaron algunos matemticos y estad&sticos. 2oeblin es el ms (amoso de los (inados' uno de los libros de Keyman est dedicado a la memoria de die# colegas y amigos. Esta guerra incentiv el estudio de la probabilidad y la estad&stica. Al (inal de la )uerra, muchas personas se encontraron trabajando como estad&sticos, hubo nuevas aplicaciones y la importancia de esta material (ue ms ampliamente reconocida. ==========================..

4as persecuciones Ka#is y la segunda guerra mundial empujaron la migracin de muchos estad&sticos a los Estados Inidos. Algunas de las ms importantes (igures de la probabilidad en la postguerra en Estados Inidos son$ Deller, *. Bac *)3", Wald, ). E. 3. <o+ *)3", W. ). Cochran A>A" *)3", W. 8oe((ding *)3", 8. L. 8artley *)3", D. 5.Anscombe *)3", M. W. <irnbaum *)3" y L. Bempthorne *)3". ==============.

Introducci%n

1+IDAD .

Antologa de Probabilidad

4os m%todos no0param%tricos empe#aron a ser sistemticamente estudiados, usando t%cnicas de la teor&a de la in(erencia estad&stica' E. 5. ). 3itman (ue un pionero importante. 4as pruebas estad&sticas para el ju#gamiento de hiptesis vinieron de no0 estad&sticos como >pearman rangos" o Wilco+on prueba de Wilco+on". El repertorio conocido de las pruebas del signo, pruebas de permutacin y la prueba de Bolmogorov0 >mirnov se e+pandieron rpidamente en el medio.===============...

El anlisis moderno de series de tiempos vino de la unin de la teor&a de los procesos estocsticos, la teor&a de la prediccin y la teor&a de la in(erencia estad&stica. Ino de los principales pioneros de esta d%cada (ue *. >. <artlett. En la d%cada de -.F7 Gu?ey (ue una (igura importante. En la d%cada de -.C7, Balman (iltro de Balman" y los sistemas de ingenier&a hicieron importantes contribuciones y en la d%cada de -.N7, los m%todos de ). E. 3. <o+ y ). *. 5en?ins <o+05en?ins" (ueron adoptados en la econom&a y los negocios.

1950-1980 Este es un periodo de e+pansin, ms pa&ses, ms gente, ms departamentos, ms libros, ms revistas. 4os computadores empie#an a tener un gran impacto.

4os departamentos e+istentes de estad&stica se e+panden. Kuevas instituciones son creadas, entre ellas el 4aboratorio estad&stico en Cambridge en -.1N y el departamento de estad&stica en 8arvard en -.F/.========================...

El alcance de la teor&a de la probabilidad se incrementa con el nacimiento de nuevos subcampos como la teor&a de colas y la teor&a de la renovacin. El libro de Deller Hntroduction to 3robability Gheory hi#o un impacto muy grande en el mundo de habla inglesa pues promovi el estudio de tpicos ms avan#ados como las cadenas de *ar?ov. ==============================.

En material estad&stica hubo un renacimiento <ayesiano. En Estados Inidos, la teor&a de decisin <ayesiana re(lej la in(luencia de la teor&a de la decisin de Wald.

1+IDAD .

Introducci%n

Antologa de Probabilidad
==============...

W. Ed@ards 2eming contin,o el trabajo de >he@hart en control de calidad y (ue muy e(ectivo a la hora de adoptar estos m%todos en la industria. ==========================

4aplace y Juetelet vieron el trabajo de los censos como posibles aplicaciones de la probabilidad pero el uso de la teor&a estad&stica para recopilacin de in(ormacin o(icial lleg slo despu%s de las actividades de *orris 8ansen ver entrevista" en la o(icina de censos de Estados Inidos.=========..

1980 + (Los efe !os "el o#$%!&"o'( Este periodo describe el e(ecto impactante de los ordenadores en el desarrollo de m%todos estad&sticos desde su advenimiento, en la d%cada de -.F7 y el dramtico cambio en la historia de la probabilidad y la estad&stica en las recientes d%cadas. Al (inal del siglo -., las mquinas mecnicas calculadoras proveyeron el material para la investigacin de 3earson y Disher y la construccin de sus tablas estad&sticas. Con la disponibilidad de los computadores, las viejas actividades tomaron menos tiempo y nuevas actividades (ueron posibles. ==================...

4as tablas estad&sticas de n,meros aleatorios (ueron mucho ms (ciles de producir y luego desaparecieron pues su (uncin (ue sometida a los paquetes estad&sticos.. ======. =================.

Ina gran masa de datos, ms grande que en %pocas pasadas, puede ser anali#ada. El 2ata mining e+haustivo es posible. ===================== ====================..

*odelos y m%todos ms complejos pueden ser usados. 4os nuevos m%todos se han diseado con idea de la implementacin computacional. 3or ejemplo, la (amilia de los modelos lineales generali#ados vinculada al 8 programa )4H* ver 5ohn Kelder DA>". 1+IDAD . ==========================

Introducci%n

Antologa de Probabilidad

En el siglo 97 cuando >tudent -.7/" escribi sobre la media normal y 6ule -.9C" escribi sobre las correlaciones sin sentido, ellos usaron e+perimentos basados en muestras y en la d%cada de -.97 vali la pena producir tablas de n,meros aleatorios. Esto cambi con la introduccin de los m%todos asistidos por el computador para la generacin de n,meros pseudo0aleatorios, ms a,n los m%todos de *onte0Carlo introducidos por von Keumann y Ilam" (ueron posibles. =============================.. 2esde -./7 los m%todos de *onte Carlo han sido estudiados y usados directamente en el anlisis de datos. En la in(erencia clsica, el bootstrap ha sido prominente.

1+IDAD .

Introducci%n

Antologa de Probabilidad
CONJUNTOS Y SUBCONJUNTOS

El conce)to de con&unto es 9undamental en todas las ramas de la matem:tica! Intuiti$amente, un con&unto es una lista, colecci%n o clase de ob&etos bien de9inidos, ob&etos 2ue, como se $er: en los e&em)los, )ueden ser cuales2uiera: n;meros, )ersonas, letras, r*os, etc! Estos ob&etos se llaman elementos o miembros del con&unto! Si bien los con&untos se estudian como entidades abstractas, enumeremos die5 e&em)los )articulares de con&untos!

Ejemplo 1-1: Ejemplo 1-2: Ejemplo 1-3: Ejemplo 1- : Ejemplo 1-!: Ejemplo 1-": Ejemplo 1-#: Ejemplo 1-$: Ejemplo 1-%: Ejemplo 1-1&:

Los n;meros ., <, = 4 .0! Las soluciones de la ecuaci%n +9 > E+ > ? = O! Las $ocales del al9abeto: a, e, i, o, u! Las )ersonas 2ue ,abitan la Tierra! Los estudiantes Tom:s, Ricardo 4 Enri2ue! Los estudiantes ausentes de la escuela! Los )a*ses In#laterra, -rancia y Dinamarca! Las ciudades ca)itales de Euro)a! Los n;meros ?, @, 3, /AAA Los r*os de los Estados 1nidos!

+%tese 2ue los con&untos de los e&em)los im)ares $ienen de(inidos, o sea )resentados, enumerando de ,ec,o sus elementos, 4 2ue los con&untos de los e&em)los )ares se de9inen enunciando )ro)ieda > des, o sea re#las, 2ue deciden si un ob&eto )articular es o no elemento del con&unto!

Introducci%n

10

1+IDAD .

Antologa de Probabilidad
NOT'C(ON Es usual denotar los con&untos )or letras ma4;sculas A, <, C, 2 !!!B Los elementos de los con&untos se re)resentan )or letras min;sculas a , b, c ,d=.# Al de9inir un con&unto )or la e9ecti$a enumeraci%n de sus elementos, )or e&em)lo, el A, 2ue consiste en los n;meros ?, /, C 4 .0, se escribe
A D E ?, /, C, .0F

se)arando los elementos )or comas 4 encerr:ndolos entre lla$es E F ! Esta es la llamada (orma tabular de un con&unto! Pero si se de9ine un con&unto enunciando )ro)iedades 2ue deben tener sus elementos como, )or e&em)lo, el <, con&unto de todos los n;meros )ares! Entonces se em)lea una letra, )or lo #eneral 6, )ara re)resentar un elemento cual2uiera 4 se escribe < D O+ G + es )arF lo 2ue se lee P< es el con&unto de los n;meros + tales 2ue + es )arH ! Se dice 2ue Ista es la 9orma de de9inici%n )or com)rensi%n o constructiva de un con&unto! TIn#ase en cuenta 2ue la barra $ertical J ) H se lee Jtales 2ueH! Para aclarar el em)leo de la anterior notaci%n, se escriben de nue$o los con&untos de los E&em)los . > . al .>.0, desi#nando los con&untos )or A-,A9,====A-7, res)ecti$amente!
Ejemplo 2.1: Al D E., <, =,.0F! Ejemplo 2.2: A9 D E6 G 69 > <6 > ? D 0F! Ejemplo 2.3: AE D Ea, e, i, o, uF! Ejemplo 2. : A1 D E6 G 6 es una )ersona 2ue ,abita en la TierraF! Ejemplo 2.!: AF D ETom:s, Ricardo Enri2ueF! Ejemplo 2.": AC D E6 G + es estudiante 4 6 est: ausente de la escuelaF! Ejemplo 2.#: AN D EIn#laterra, -rancia, DinamarcaF! Ejemplo 2.$: A/ D E6 G 6 es una ciudad ca)ital 4 6 est: en Euro)aF! Ejemplo 2.%: A. DE?, @, 3, /, !!! F! Ejemplo 2.10: A10 = {+ G + es un r*o 4 + est: en los Estados 1nidosF!

Si un ob&eto + es elemento de un con&unto A, es decir, si A contiene a + como uno de sus elementos, se escribe 6 A 2ue se )uede leer tambiIn J6 )ertenece a AQ o J6 est: en AQ. Si )or el contrario, un ob&eto + no es elemento de un con&unto A, es decir, si A no contiene a + entre sus elementos, se escribe 6 A Es costumbre en los escritos matem:ticos )oner una l*nea $ertical I u oblicua / tac,ando un 1+IDAD . 11 Introducci%n

Antologa de Probabilidad
s*mbolo )ara indicar lo o)uesto o la ne#aci%n del si#ni9icado del s*mbolo!
Ejemplo 3-1: Si A D Ea, e, i, o, uF, entonces a A, b A, e A, ( A. Ejemplo 3-2: Si < D O+ I + es )arF, entonces < <, 3 B, .. <, .@ <.

CONJUNTOS *(N(TOS E (N*(N(TOS Los con&untos )ueden ser (initos o in(initos. Intuiti$amente, un con&unto es 9inito si consta de un cierto n;mero de elementos distintos, es decir, si al contar los di9erentes elementos del con&unto el )roceso de contar )uede acabar! Si no, el con&unto es in9inito! Posteriormente se dar: una de9inici%n )recisa de con&untos in9inito y 9inito!
E&em)lo @>.: E&em)lo @>?: E&em)lo @><: Si * es el con&unto de los d*as de la semana, entonces * es 9inito! Si KR E?, @, 3, /, !!! F, K es in9inito! Si 3 R O+ I 6 es un r*o de la TierraF, 3 es tambiIn 9inito aun2ue sea di9*cil contar los r*os del mundo!

(+U',-'- -E CONJUNTOS El con&unto A es igual al con&unto < si ambos tienen los mismos elementos, es decir, si cada ele> mento 2ue )ertenece a A )ertenece tambiIn a < 4 si cada elemento 2ue )ertenece a < )ertenece tambiIn a A. Se denota la i#ualdad de los con&untos A 4 < )or AR<

Ejemplo !-1: Sean AD E.,?,<,@F 4 <DE<,.,@,?F! Entonces A R < es decir 2ue E.,?,<,@F D E<,.,@,?F, )ues cada uno de los elementos .,?,<, 4 @ de A )ertenece a <, 4 cada uno de los elementos <,@,., 4 ? de < )ertenece a A! ObsIr$ese, )or tanto 2ue un con&unto no cambia al reordenar sus elementos! Ejemplo !-2: Sean C D EK, 3, K, =F 4 2 D E=, K, =, 3F! Entonces C D 2, es decir, EK, 3, K, =F D E=, K, =, 3F, 4a 2ue cada elemento de C )ertenece a 2 4 2ue cada elemento de 2 )ertenece a C! +%tese 2ue un con&unto no cambia si se re)iten sus elementos! As* 2ue el con&unto EK, 3, =F es i#ual al C 4 al 2. Ejemplo !-3: Sean E D O+ I 6? > <6 D >?F, D D E?, .F 4 L D El, ?, ?, lF! Resulta E D D D L!

CONJUNTO .'C(O Con$iene introducir el conce)to de conjunto vac&o, es decir, de un con&unto 2ue carece de elementos! Este con&unto se suele llamar conjunto nulo. A2u* diremos de un con&unto seme&ante 2ue es vac&o 4 se le denotar: )or el s*mbolo

Ejemplo "-1: Si A es el con&unto de )ersonas $i$ientes ma4ores de ?00 aMos, A es $ac*o se#;n las estad*sticas conocidas!

Introducci%n

12

1+IDAD .

Antologa de Probabilidad
Ejemplo "-2: Sea B D O+ || +9 D @, + es im)ar8! B es entonces un con&unto $ac*o!

SUBCONJUNTOS Si todo elemento de un con&unto A es tambiIn elemento de un con&unto B, entonces se dice 2ue A es un subconjunto de <. denota esta relaci%n escribiendo :s claro: A es un subcon&unto de < si + I: A im)lica + s <. Se A < 2ue tambiIn se )uede leer PA est: contenido en <Q.

Ejemplo #-1: El con&unto C D E., <, KF es un subcon&unto del 2 D EK, @, <, ?, .F, 4a 2ue todo n;mero ., < 4 K de C )ertenece tambiIn a 2. Ejemplo #-2: El con&unto E D E?, @, 3F es un subcon&unto del D D E3, ?, @F, )ues cada n;mero ?,@ N 3 2ue )ertenece a E )ertenece tambiIn a D. ObsIr$ese en )articular 2ue E D D. De la misma manera se )uede mostrar 2ue todo con&unto es subcon&unto de s* mismo! Ejemplo #-3: Sean L D O+ . + es )arF, es decir, L D E?, @, 3, /, !!! F 4 D D O+ I + es )otencia entera )ositi$a de ?F, es decir, D D E?, @, /, .3, !!! F! Entonces D ), o sea 2ue D est: contenido en ).

Con la anterior de9inici%n de subcon&unto se )uede dar de otra manera la de9inici%n de la i#ualdad de dos con&untos:

-e/0n0102n 1-1: Dos con&untos A 4 < son i#uales, A D <, si, 4 solo si, A < 4 < A. Si A es un subcon&unto de B, se )uede escribir tambiIn < A 2ue se lee P< es un su)ercon&unto de AQ o P< contiene a AQ. N se escribe, adem:s,
si A no es subcon&unto de <. Para concluir, se tiene:

O3ser4a102n 1-1: El con&unto $ac*o se considera subcon&unto de todo con&unto! O3ser4a102n 1-2: Si A no es subcon&unto de <, es decir, si A <, entonces ,a4 )or lo menos un elemento de A 2ue no es elemento de <.

SUBCONJUNTO 56O5(O Puesto 2ue todo con&unto A es un subcon&unto de s* mismo, se dir: 2ue < es un subconjunto propio de A si, en )rimer lu#ar, < es un subcon&unto de A 4, en se#undo lu#ar, < no es i#ual a A. bre$emente, < es un subcon&unto )ro)io de A si 1+IDAD . 13 :s

Introducci%n

Antologa de Probabilidad
< A 4 < S A En al#unos libros P< es un subcon&unto de AQ se denota )or <A 4 P< es un subcon&unto )ro)io de AQ se denota )or < A A2u* se se#uir: la notaci%n 4a $ista 2ue no distin#ue entre subcon&unto 4 subcon&unto )ro)io!

CO75'6'B(,(-'Dos con&untos A y < se dicen comparables si A < o < A esto es, si uno de los con&untos es subcon&unto del otro! En cambio, dos con&untos A 4 < se dicen no comparables si A B 4 BA

+%tese 2ue si A no es com)arable con <, entonces ,a4 en A un elemento 2ue no est: en < 4 ,a4 tambiIn en < un elemento 2ue no est: en A. Ejemplo $-1: Sean A D Oa. bT 4 < D Oa,b,cT. Entonces A es com)arable con <, )ues A es un subcon&unto de <. Ejemplo $-2: Si C D Oa, bT 4 2 D Ob, c, d". C 4 2 no son com)arables, )ues a C 4 a D 4 c C!

TEO6E7' Y -E7OST6'C(ON En matem:ticas )uede demostrarse la $erdad de muc,as a9irmaciones mediante su)osiciones 4 de9iniciones )re$ias! De ,ec,o, la esencia de las matem:ticas consiste en teoremas 4 sus demostraciones! Demostremos nuestro )rimer Teorema 1-1: Si A es un subcon&unto de < y < es un subcon&unto de C, entonces A es un A < 4 < C im)lican A C -emos8ra102n9 7TIn#ase en cuenta 2ue debemos demostrar 2ue todo elemento de A es tambiIn un elemento de C!8 Sea 6 un elemento de A, esto es, + A. Como A es un subcon&unto de <, + )erte> Introducci%n 14 1+IDAD . subcon&unto de C, esto es,

Antologa de Probabilidad
nece tambiIn a <, es decir, + <. Pero, )or ,i)%tesis, < CO )or tanto, todo elemento de <,

en el cual est: +, es un elemento de C! Hemos demostrado 2ue + A im)lica + C! En consecuencia, )or de9inici%n, A C! CONJUNTOS -E CONJUNTOS Ocurre a $eces 2ue los elementos de un con&unto son a su $e5 con&untosO )or e&em)lo, el con&unto de todos los subcon&untos de A. Para e$itar decir Jcon&untos de con&untosH, se suele decir J9amilia de con&untosH o Jclase de con&untosH! En tales casos 4 )ara e$itar con9usiones, se em)lean letras in#lesas
A, B, .

)ara desi#nar 9amilias o clases de con&untos, 4a 2ue las ma4;sculas denotan sus elementos! Ejemplo %-1: En #eometr*a es corriente ,ablar de J9amilias de rectasH o J9amilias de cur$asH, )ues rectas 4 cur$as 4a son ellas mismas con&untos de )untos! Ejemplo %-2: El con&unto EE?, <F! E?F, EK, 3FF es una 9amilia de con&untos! Sus elementos son los con&untos E?, <F! E?F 4 EK, 3F! En teor*a es )osible 2ue un con&unto ten#a entre sus elementos al#unos 2ue sean a su $e5 con&untos 4 otros 2ue no lo sean, )ero en las a)licaciones de la teor*a de con&untos este caso se )resenta rara $e5! Ejemplo %-3: Sea A D E?, E., <F, @, E?,KFF! A no es, )ues, una 9amilia de con&untosO al#unos elementos de A son con&untos 4 otros no! CONJUNTO UN(.E6S', En toda a)licaci%n de la teor*a de con&untos todos los con&untos 2ue se consideran ser:n mu4 )ro > bablemente subcon&untos de un mismo con&unto dado! Este con&unto se llamar: conjunto universal o universo del discurso 4 se denotar: )or I.
Ejemplo 1&-1: En #eometr*a )lana el con&unto uni$ersal es el de todos los )untos del )lano! Ejemplo 1&-2: En los estudios sobre )oblaci%n ,umana el con&unto uni$ersal es el de toda la #ente del mundo!

CONJUNTO 5OTENC('
La 9amilia de todos los subcon&untos de un con&unto S se llama con&unto )otencia de S! Se le desi#na )or

?s

Ejemplo 11-l: Si * = Oa, bT, entonces Ejemplo 11-2: Si T = E@, =, /F, entonces

?7 = OOa, b}, OaT, ObT, } 9T = OG, E@, =F, E@, /F, E=, /F, E@F, E=F, E/F, F

1+IDAD .

15

Introducci%n

Antologa de Probabilidad
Si un con&unto > es 9inito, di#amos 2ue > ten#a n elementos, entonces el con&unto )otencia de > tendr: ?n elementos, como se )uede demostrar! Esta es una ra5%n )ara llamar con&unto de )otencia de > la clase de los subcon&untos de > y )ara denotada )or 9s. CONJUNTOS -(SJUNTOS Si dos con&untos A y < no tienen elementos comunes, es decir, si nin#;n elemento de A est: en < 4 si nin#;n elemento de < est: en A, se dice 2ue A 4 < son dis&untos!
Ejemplo 12-1: Sean A D El, <, =,/F 4 < D E?, @, =, CFO A 4 < no son dis&untos entonces, )ues = est: en ambos con&untos! o sea 2ue = A 4 = B. Ejemplo 12-2: Sean A el con&unto de los n;meros )ositi$os 4 < el de los n;meros ne#ati$os! Entonces A 4 < son dis&untos, )ues nin#;n n;mero es )ositi$o 4 ne#ati$o! Ejemplo 12-3: Si E D O+, y, 5F 4 D D Er,s,tF, E 4 D son dis&untos!

-('+6'7'S -E .ENN-EU,E6 Se lo#ra ilustrar de manera sencilla e instructi$a las relaciones entre con&untos mediante los lla> mados dia#ramas de (enn>Euler, o de (enn, sim)lemente, 2ue re)resentan un con&unto con un :rea )lana, )or lo #eneral delimitada )or un c*rculo!
Ejemplo 13-1: Su)%n#ase A < 4 A S <. Entonces A 4 < se describen con uno de los dia#ramas:

Introducci%n

16

1+IDAD .

Antologa de Probabilidad
Ejemplo 13-2: Si A 4 < no son com)arables se les )uede re)resentar )or el dia#rama de la derec,a si son dis&untos o )or el de la i52uierda si no lo son!

Ejemplo .<><: Sean A D Oa, b, c, dT 4 < D Oc, d, e,(T. Se ilustran estos con&untos con un dia#rama de (enn de la 9orma

-('+6'7'S ,(NE',ES Otra manera ;til e instructi$a )ara ilustrar las relaciones entre con&untos es el em)leo de los lla> mados dia#ramas lineales! Si A <, se escribe entonces < m:s arriba 2ue A 4 se les conecta )or un se#mento < I A Si A < y < C, se )one C I < I A 1+IDAD . 17 Introducci%n

Antologa de Probabilidad

Ejemplo 1 -1: Sean A D EaF, < D EbF 4 CRE a,b F. El dia#rama lineal de A, < 4 C es entonces Ejemplo 1 -2: Sean ! D +", 6 D +, y", B D +, y, #T 4 W D O+, y, @T. A2u* el dia#rama lineal de ', 6, B 4 W es

B N '

-ES'66O,,O ':(O7'T(CO -E ,' TEO6(' -E CONJUNTOS En un desarrollo a6iom:tico de una rama de las matem:ticas, se comien5a )or: 7.8 TIrminos no de9inidos! 7?8 Relaciones no de9inidas! 7<8 A6iomas 2ue relacionan los tIrminos no de9inidos 4 las relaciones no de9inidas! Entonces se desarrollan teoremas basados en los a6iomas 4 de9iniciones!
Ejemplo 1!-1: En un desarrollo a6iom:tico de la #eometr*a )lana euclidiana: 7.8 J)untosH 4 JrectasH son tIrminos no de9inidos,

7?8
7<8

J)unto en una rectaH o, lo 2ue es e2ui$alente, Jrecta 2ue contiene un


relaci%n no de9inida, Dos de los a6iomas son: A+ioma .: Dos )untos distintos est:n sobre una 4 misma recta!

)untoH, es una

A+ioma ?: Dos rectas distintas no )ueden tener m:s de un )unto com;n !

En un desarrollo a6iom:tico de la teor*a de con&untos: .! QElementoH 4 Jcon&untoH son tIrminos no de9inidos! ?! JPertenencia de un elemento a un con&untoH es la relaci%n no de9inida! O <! Dos de los a6iomas son: ';0oma de e;8ens02n: Dos con&untos A 4 < son i#uales si, 4 solamente si, todo elemento de A )ertenece a < 4 todo elemento de < )ertenece a A. ';0oma de espe10/01a102n: Sea 3 +" una a9irmaci%n 4 sea A un con&unto! E6iste Introducci%n 18 1+IDAD .

Antologa de Probabilidad
entonces un con&unto!
< D Oa G a A, 3 a" es ciertaF

A2u*, 3 +" es un enunciado en una $ariable, )ara la cual 3 a" es $erdadero o 9also con a A. Por e&em)lo, 3 +" )odr*a ser el enunciado P+9 D @H o P+ es un miembro de las +aciones 1nidasH

1+IDAD .

19

Introducci%n

Antologa de Probabilidad

5ro3lemas resuel8os
NOT'C(ON 1< Escribir las a9irmaciones si#uientes en notaci%n con&untista: .8 + no )ertenece a A ?8 A es su)ercon&unto de > <8 d es elemento de E Solu102n: 1< ) *+ 2< R S+ 3( " ,+ 4( - .+ 5( / D 1" D no es subcon&unto de ). F" 8 no inclu4e a 2

?8

Si A D E6G ?6 D 3F 4 b D <, Res b D AU Solu102n: A es un con&unto 2ue consta del ;nico elemento <, es decir, A D E<F! El n;mero < es elemento de A, pero no es i#ual a A. Ha4 una 9undamental di9erencia entre un elemento + 4 el con&unto E6F!

<8

Sea * R Or,s,tT. Es decir, * conde los elementos r, s 4 t. D*#ase cu:les de las a9irmaciones son correctas o incorrectas! Si al#una una es incorrecta, decir )or 2uI! 7a8 r * Solu102n: a8 Correcta! b8 Incorrecta! El s*mbolo debe estar entre dos con&untos, )ues indica 2ue un con&unto es subcon&unto del otro! As* 2ue r * es incorrecta )or ser r un elemento de *, no un subcon&unto! c8 Incorrecta! El s*mbolo $incula un ob&eto a un con&unto, )ues indica 2ue el ob&eto es elemento del con&unto! As* 2ue ErF * es incorrecta, 4a 2ue OrT es un subcon&unto de *, no un elemento de *. d8 Correcta! b" r * c" OrT * d" OrT *

Introducci%n

20

1+IDAD .

Antologa de Probabilidad
< Enunciar con )alabras 4 lue#o escribir en 9orma tabular: .! ?. 1. A D E6 G6? D @F! < D O +V + > ? D KF! 2 D O+V . + es una letra de la )alabra JcorrectoHF!

<! CR O +V + es )ositi$o, + es ne#ati$oF! Solu102n: 7.8 Se lee PA es el con&unto de los + tales 2ue + al cuadrado es i#ual a cuatroH! Los ;nicos n;meros 2ue ele$ados al cuadrado dan cuatro son ? 4 >?: as* 2ue A D E?, >?F! 7?8 Se lee P< es el con&unto de los + tales 2ue + menos ? es i#ual a KH! La ;nica soluci%n es =, de modo 2ue < D E=F! 7<8 Se lee Je es el con&unto de los + tales 2ue + es )ositi$o 4 + es ne#ati$oH! +o ,a4 nin#;n n;mero 2ue sea )ositi$o 4 ne#ati$o, as* 2ue c es $ac*o, es decir, c D S 7@8 Se lee P2 es el con&unto de los + tales 2ue + es una letra de la )alabra correctoQ. Las letras indicadas son c, o, r, e 4 t O as*, )ues, 2 D Ec, o, r, e, tF! !< Escribir estos con&untos en una 9orma constructi$a: 7.8 El A 2ue consiste de las letras a, b, c, d 4 e. 7?8 El < D E?, @, 3, /, !!! F! 7<8 El con&unto C de todos los )a*ses de las +aciones 1nidas! 7@8 El con&unto 2 D E<F! 7K8 Sea E los )residentes Truman, Eisen,oTer 4 Uenned4! Solu102n: +%tese en )rimer lu#ar 2ue la descri)ci%n de un con&unto, o sea su 9orma constructi$a, no es necesariamente ;nica! Lo ;nico 2ue se re2uiere es 2ue toda descri)ci%n de9ina el mismo con&unto! Se dan a2u* al#unas de las muc,as res)uestas )osibles a este )roblema! 7- " A RO+V + est antes de ( en el al(abetoT RO+V + es una de las primeras cinco letras del al(abetoT. 9" < R O+V + es par y positivoT. E" C R O+V + es un pa&s, + est en las Kaciones InidasT. 1" 2 R O+V + 0 9 R HT R O+ V9+ R CT. F" E. R O+V + (ue presidente despu%s de Dran?lin 2.AosseveltT. CONJUNTOS *(N(TOS E (N*(N(TOS 1+IDAD . 21 Introducci%n

Antologa de Probabilidad
"< RCu:les con&untos son 9initosV 7.8 Los meses del aMo! 7?8 El, ?, <, !!! , CC, lOOF! 7<8 La #ente 2ue $i$e en la tierra! 7@8 E6 I 6 es )arF! 7K8 El, ?, <, !!! F! Solu102n: Los tres )rimeros con&untos son 9initos! Aun2ue )ueda ser 9*sicamente im)osible contar el n;mero de )ersonas 2ue ,a4 en la Tierra, el con&unto es ciertamente 9inito! Los dos ;ltimos con&untos son in9initos! Si se tratara de contar los n;meros )ares &am:s se lle#ar*a al 9in! #< (+U',-'- -E CONJUNTOS RCu:les de estos con&untos son i#uales: Er, t, sF, Es, t, r, sF, Et, s, t, rF, Es, r, s, tFV Solu102n: Son todos i#uales entre s*! ObsIr$ese 2ue el orden o la re)etici%n no cambia un con&unto ! $< RCu:les de estos con&untos son i#ualesV
(1) (2) (3) (4)

O+ I + es una letra en la )alabra JtocataHF!

Las letras de la )alabra JtactoH!


O+ I + es una letra de la )alabra JcotaHF!

Las letras a, c, o, t!

Solu102n: Escribiendo los con&untos en 9orma tabular es 9:cil a$eri#uar si son o no i#uales! 1na $e5 escritos los cuatro con&untos en 9orma tabular se $e 2ue todos son i#uales al con&unto Ea, c, o, tF! CONJUNTO .'C(O %< RCu:l de estas )alabras es distinta de las otras 4 )or 2uIV: 7.8 $ac*o, 7?8 cero, 7<8 nulo! Solu102n: La )rimera 4 la tercera se re9ieren al con&unto sin elementosO la )alabra cero se re9iere a un n;mero )articular 4 es, )or tanto, la )alabra di9erente! 1&< Entre los con&untos 2ue si#uen, Rcu:les son di9erentesV: , EOF, EF! Soluci%n: Introducci%n 22 1+IDAD .

Antologa de Probabilidad
Cada uno es di9erente de los otros! El con&unto EOF contiene un elemento, el n;mero cero! El con&unto no tiene elementos, es el con&unto $ac*o! El con&unto EF tiene tambiIn un elemento 2ue es el con&unto $ac*o: es un con&unto de con&untos! 11< RCu:les de estos con&untos son $ac*osV 7.8 A D E6 G6 es una letra anterior a a en el al9abetoF 7?8 < D E6 G6? D C 4 ?6 D @F! Soluci%n: 7.8 Como a es la )rimera letra del al9abeto, el con&unto A carece de elementosO )or tanto, A D S 7?8 +o ,a4 n;mero 2ue satis9a#a a ambas ecuaciones 6 ? D C 4 ?6 D @O as* 2ue B es tambiIn $ac*o! SUBCONJUNTOS 12< Dado A D E6, 4, 5F, Rcu:ntos subcon&untos ,a4 en A 4 cu:les sonV Solu102n: Haciendo la lista de todos los subcon&untos )osibles de A resultan ser: E6! 4! 5F, E4, 58, E6, 5F, E6, 4W, E6F, E4F, E5F 4 el con&unto $ac*o ! Ha4 oc,o subcon&untos en A! 13< De9inir los si#uientes con&untos de 9i#uras del )lano euclidiano: J D O+ I + es un cuadril:teroF! A D O+ I + es un rect:n#uloF!
8 D O+ I + es un romboF!

> D O+V + es un cuadrado F

Decir 2uI con&untos son subcon&untos )ro)ios de los otros! Solu102n: Como un cuadrado tiene @ :n#ulos rectos, es un rect:n#uloO 4 como tiene @ lados i#uales, es un romboO 4 )uesto 2ue tiene @ lados, es un cuadril:tero! Se#;n eso > J, > A, > 8, es decir, S es un subcon&unto de los otros tres! N, adem:s, como ,a4 rect:n#ulos, rombos 4 cuadril:teros 2ue no son cuadrados, resulta ser > un subcon&unto )ro)io de los otros tres! De manera an:lo#a se $e 2ue A es un subcon&unto )ro)io de J, 4 2ue 8 es un subcon&unto )ro)io de J! +o ,a4 otras relaciones entre los con&untos!

1+IDAD .

23

Introducci%n

Antologa de Probabilidad
1 < RTiene todo con&unto un subcon&unto )ro)ioV Solu102n: El con&unto $ac*o no tiene subcon&unto )ro)io! Cual2uier otro con&unto tiene al corno subcon&unto )ro)io! En al#unos libros no se llama subcon&unto )ro)io al con&unto $ac*oO 4 entonces los con&untos 2ue tienen un solo elemento no tendr*an un subcon&unto )ro)io! 1!< Demostrar: Si A es un subcon&unto del con&unto $ac*o , entonces A D S Solu102n: El con&unto $ac*o es subcon&unto de cual2uier con&untoO en )articular, A! Por ,i)%tesis, A ! De modo 2ue, )or la De9inici%n .>., A D S 1"< RC%mo se demuestra 2ue un con&unto A no es un subcon&unto de otro con&unto BV Demostrar 2ue A D E?, <, @, KF no es un subcon&unto de B D E6 I 6 es )arF! Solu102n: Ha4 2ue demostrar 2ue ,a4 al menos un elemento de A 2ue no est: en B! Como < A 4 < B, se $e 2ue A no es un subcon&unto de B, o sea 2ue A B! +%tese 2ue no es necesario saber si ,a4 o no otros elementos de A 2ue no estIn en B! 1#< Sean ( D EdF, P D Ec, dF, ' D Ea, b, cF, N D Ea, bF 4 B D Ea, b, dF! Establecer la $erdad o 9al> sedad de las si#uientes a9irmaciones:
7.8 6 ! C" M !

7?8 P W
(78W !

7<8 W S M 7/8N B

7@8 M W (C8 ' D W

7K8 W 6

-7" W 6

Solu102n:
7.8 Como todo elemento de 6 es elemento de !, resulta 2ue 6 ! es $erdadera! 7?8 El ;nico elemento de W es d, 4 d tambiIn est: en W' as* 2ue W es un su)ercon&unto de W 4, )or tanto, AA!!W W es 9alsa! 7<8 Como a B 4 a @, W S B es $erdadera! 7@8 M es un su)ercon&unto de W )uesto 2ue el ;nico elemento de W es elemento de BO )or tanto, B W es $erdadera! 7K8 Como d W y d 6, W 6 es $erdadera! 738 Como c ! y c M, entonces B no es un su)ercon&unto de !, es decir, B ! es $erdadera! N" W no es un subcon&unto de !, 4a 2ue d W 4 d !' )or tanto, W ! es 9alsa! 7/8 Todo elemento de 6 lo es de MO lue#o N B es 9alsa! 7C8 Como a ! y a W, ! D W es 9alsa! 7lO8 Como c W 4 c N, W no es un subcon&unto de N 4, )or tanto, W 6 es 9alsa!

Introducci%n

24

1+IDAD .

Antologa de Probabilidad
1$< Sean A D Or, s, t, u, v, @T, < D Ou, v, @, 6, y, 5F, C D Os, u, y, 5F, 2 D Ou, vT, E D Os, uT 4 D D OsT. Sea ! un con&unto desconocido! Determinar cu:les de los con&untos A, <, C, 2, E o D )ueden ser i#uales a ! si se dan las in9ormaciones si#uientes:
7.8 !A y ! < 7?8 ! < y ! C 7<8 ! A 4 ! C 7@8 ! < 4 ! C

Solu102n: 7.8 El ;nico con&unto 2ue es subcon&unto de A 4 de B es D! C, E 4 - no son subcon&untos de B )or2ue s C, E, - 4 s B! 7?8 El con&unto ' )uede ser i#ual a C, E o -, )ues Istos son subcon&untos de C 4, como 4a se $io, no son subcon&untos de B! 7<8 Solo B no es subcon&unto de A o de C! D 4 A son subcon&untos de AO 4 C, E 4 - son subcon&untos de C! As* 2ue ' D B! 7@8 Tanto B como D son subcon&untos de B 4 no lo son de C! Todos los otros con&untos de&an de cum)lir al menos una de las condiciones! Por tanto, ' D B o ' D D! 1%< Sea A un subcon&unto de B 4 sea B un subcon&unto de C, es decir, A B 4 B C! Su)oniendo a A, b B, c C 4, adem:s, d A, e B, 9 C, Rcu:les a9irmaciones ser:n ciertasV 7.8 a C , Solu102n: Por el Teorema .>., A es un subcon&unto de C! Lue#o a A im)lica a C, 4 la a9irmaci%n es siem)re cierta! Como el elemento b B )uede no ser elemento de A, la a9irmaci%n es 9alsa! El elemento c C )odr*a ser un elemento de AO )or lo 2ue c A )uede no ser $erdad! El elemento d, 2ue no est: en A, )uede no estar en BO as* 2ue la a9irmaci%n )uede no ser cierta! Como e B 4 A B, e A es siem)re $erdadera! Como 9 C 4 A C, 9 A es siem)re cierta! 7?8 b A, 7<8 c A, 7@8 d B, 7K8 e A, 738 9 A

1+IDAD .

25

Introducci%n

Antologa de Probabilidad

-('+6'7'S ,(NE',ES 2&< Hacer un dia#rama lineal )ara los con&untos A D Oa, b,cT, < D Oa, bT 4 C D Oa, cT. Solu102n: Como A <, A C 4 < = C no son com)arables, se constru4e as*: A

C X D Oa, b, cF, Y D Oa, b} 4 B D {b}.

21< Hacer un dia#rama lineal de los con&untos Solu102n: A2u* B N 4 6 !. Xueda entonces

' N B

4 no

4a 2ue el se#mento de B a ! es redundante )or2ue B 6 y 6 ! 4a im)lican M !.

22< Construir el dia#rama de los con&untos A D Or, s, tT, S D OsT y G D Os, t. uT.
Solu102n: A2u* > A 4 > G. 4 como A 4 G no son com)arables, se )one R T

Introducci%n

26

1+IDAD .

Antologa de Probabilidad
23< Sean X, A, 8 y > los con&untos del Problema .<! Hacer un dia#rama lineal )ara estos con&untos! Solu102n: Como J A 4 J 8, se constru4e )rimero
X R H

A,ora se a#re#a > al dia#rama! Puesto 2ue S A 4 > 8, se com)leta el dia#rama como si#ue:
X

2 <

Construir un dia#rama lineal )ara los con&untos W, W, !, 6 y B del Problema .=! Solu102n: Como W W 4 W M, se tra5a Como 6 M, se a#re#a 6 al dia#rama:
P B '

( (

?K8 Sea > cual2uier con&unto! Construir un dia#rama lineal )ara los con&untos , > 4 el con&unto uni$ersal I. Solu102n: Na 2ue el con&unto $ac*o es subcon&unto de todo con&unto, o sea >, se tra5a
S

1+IDAD .

27

Introducci%n

Antologa de Probabilidad
Por otra )arte, como el con&unto uni$ersal I es un su)ercon&unto de todo con&unto 2ue inclu4a al >, se com)leta el dia#rama como si#ue:

I S I

56OB,E7'S -(.E6SOS 2"< ConsidIrense las cinco a9irmaciones si#uientes: 7.8 A <, 7?8 A <, 7<8 A = <, 7@8 A 4 < son dis&untos, 7K8 A 4 < no son com)arables! RCu:l a9irmaci%n describe me&or cada dia#rama de (ennV

(a) (d) Solu102n:

(b)

(c)

a" El :rea de < es )arte del :rea de A' lue#o A <. b" Ha4 )untos en A 2ue no est:n en <, 4 )untos en < 2ue no est:n en A' lue#o A 4 < no son com)arables! Los con&untos no son dis&untos )or2ue tienen )untos 2ue )ertenecen a ambos! c" A2u* los con&untos son dis&untos, )ues no ,a4 nin#;n )unto 2ue estI en los dos con&untos! Los con&untos no son tam)oco com)arables! d" El :rea de A es )arte del :rea de <' lue#o A <.

Introducci%n

28

1+IDAD .

Antologa de Probabilidad
2#< E6aminar el si#uiente dia#rama lineal de con&untos A, <, C 4 2. * B

1+IDAD .

29

Introducci%n

Antologa de Probabilidad

una a9irmaci%n 2ue relacione cada )ar de con&untos del dia#rama! Debe ,aber seis a9ir> maciones!

Solu102n: En )rimer lu#ar se $e 2ue C B, 2 B 4 < A, )ues estos con&untos est:n unidos )or se#mentos! Por el Teorema .>. se deduce 2ue C A 4 2 A. Por ;ltimo, los con&untos C 4 2 no son com)arables, 4a 2ue no est:n unidos )or una l*nea ascendente! 2$< Construir dia#ramas de (en n de los con&untos A, <, C y 2 del dia#rama lineal del Problema ?=! Solu102n: Ha#amos dos dia#ramas )osibles:

La )rinci)al di9erencia entre estos dia#ramas es 2ue los con&untos C y 2 a)arecen dis&untos en el se#undo dia#rama! Pero ambos tienen el mismo dia#rama lineal! 2%< RXuI si#ni9ica el s*mbolo EE?, <FFV Solu102n:

Se trata de un con&unto 2ue tiene un elemento: el con&unto de los elementos ? 4 <! ObsIr$ese 2ue E?, <F )ertenece a EE?, <F F O no es un subcon&unto de EE ?, <FF! As* 2ue se )uede decir 2ue E E?, <F F es un con&unto de con&untos! 3&< Dado A D E?, E@, KF, @F, R2uI a9irmaciones son incorrectas 4 )or 2uIV
7.8 {4,5} A 7?8 E@, 5) A (<) {{ 4, 5}} A

Introducci%n

30

1+IDAD .

Antologa de Probabilidad
Solu102n: Los elementos de A son ? @ 4 el con&unto E@, KF . Por tanto, 7?8 es correcta 4 7. 8 es incorrecta! 7<8 es una a9irmaci%n correcta )or2ue el con&unto 2ue consta del ;nico elemento E@, KF es un subcon&unto de A. 31< Dado E D E?, >@9 KF, @F, R2uI a9irmaciones son incorrectas 4 )or 2uIV 7.8 K E 7?8 EKF E 7<8 EKF E

Solu102n: Todas son incorrectas! Los elementos de E son ?, @ 4 el con&unto E@, KF )or tanto, 7.8 4 7?8 son incorrectas! Ha4 oc,o subcon&untos de 4 E y OKT no est: entre ellos, de modo 2ue 7<8 es incorrecta! 32< Hallar !el con&unto )otencia ?s del con&unto > D E<, E., @FF! Solu102n: Obser$ar )rimero 2ue > contiene dos elementos, < 4 el con&unto E., @F! Por tanto, ?s contiene ?? = @ elementos: > mismo, el con&unto $ac*o, E<F 4 el con&unto 9ormado )or solo, es decir, EEI, @FF! :s bre$e: 2s {S, E<F, EEl, @FF,F 33< En lo 2ue si#ue, R2uI es lo 2ue no se de9ine en un desarrollo a6iom:tico de la teor*a de con&untosV: 7.8 con&unto, 7?8 subcon&unto de, 7<8 dis&unto, 7@8 elemento, 7K8 es i#ual a, 738 )ertenece a, 7=8 su)ercon&unto de! Solu102n: Los ;nicos conce)tos no de9inidos en la teor*a de con&untos son: con&unto, elemento 4 la relaci%n J)ertenece aH, o sea 7.8, 7@8 4 738! 3 < Demostrar: Sean A 4 < no $ac*os, esto es, A Y 4 < S ! Si A 4 < son dis&untos, entonces A 4 < no son com)arables! Solu102n: Como A 4 < no son $ac*os, ,a4 elementos a A 4 b <. Por otra )arte, como A 4 < son dis&untos, a < 4 b A. Por tanto, A B 4 < A, es decir, A 4 < no son com)arables! El, @F

<K8 Dados A 4 < no com)arables, Rse si#ue 2ue A 4 < son dis&untosV 1+IDAD . 31 Introducci%n

Antologa de Probabilidad
Solu102n: +o! Los con&untos del si#uiente dia#rama de (enn no son com)arablesO )ero tam)oco son dis&untos!

O5E6'C(ONES CON CONJUNTOS

En aritmItica se suma, resta 4 multi)lica, es decir, a cada )ar de n;meros + e y se le asi#na un n;mero + Z y llamado suma de + e y, un n;mero + > y llamado di9erencia de + e y 4 un n;mero +y llamado )roducto de + e y. Estas asi#naciones se llaman o)eraciones de adici%n, sustracci%n 4 multi)licaci%n de n;meros! En este ca)*tulo se $an a de9inir las o)eraciones de unin, interseccin 4 di(erencia de con&untos, es decir, se $an a asi#nar o a ,acer corres)onder nue$os con&untos a )ares de con&untos A 4 <. En un ca)*tulo )osterior se $er: 2ue estas o)eraciones entre con&untos se com)ortan de manera un tanto seme&ante a la de las anteriores o)eraciones con n;meros!

Introducci%n

32

1+IDAD .

Antologa de Probabilidad
UN(ON La unin de los con&untos A 4 < es el con&unto de todos los elementos 2ue )ertenecen a A o a < o a ambos! Se denota la uni%n de A 4 < )or A< se lee PA uni%n <Q.
Ejemplo 1-1: En el dia#rama de (enn de la -i#ura ?>., A < a)arece ra4ado, o sea el :rea de A 4 el :rea de <.

* 0 lo ra4ado -i#!?>. Ejemplo 1-2: Sean > D Ea, b, c, dT 4 G D O(, b, d, gT. Entonces > G D Oa, b, e, d, (, gT Ejemplo 1-3: Sean 3 el con&unto de los n;meros reales )ositi$os 4 J el con&unto de los n;meros reales ne> #ati$os! 3 J, uni%n de 3 4 J, consiste en todos los n;meros reales e6ce)tuado el cero! La uni%n A 4 < se )uede de9inir tambiIn concisamente as*:

A < D E +V + A o ! <T
O3ser4a102n 2-1: Se si#ue inmediatamente de la de9inici%n de la uni%n de dos con&untos 2ue A < 4 < A son el mismo con&unto, esto es:

A< R <A
O3ser4a102n 2-2: A 4 < son ambos subcon&untos de A <, es decir, 2ue:
A < y < A <"

En al#unos libros la uni%n de A 4 < se denota )or A Z < 4 se la llama suma con&untista de A 4 < o sim)lemente A m:s <.

1+IDAD .

33

Introducci%n

Antologa de Probabilidad
(NTE6SECC(ON La interseccin de los con&untos A 4 < es el con&unto de los elementos 2ue son comunes a A 4 <, esto es, de a2uellos elementos 2ue )ertenecen a A 4 2ue tambiIn )ertenecen a <. Se denota la intersecci%n de A 4 < )or A [ < 2ue se lee PA intersecci%n <Q.
Ejemplo 2-1: En el dia#rama de (enn de la -i#! ?>? se ,a ra4ado A X <, el :rea com;n a ambos con&untos A 4 <.

La intersecci%n de A 4 < tambiIn se )uede de9inir concisamente as*:


A [ < D O+ V + A, + <T

A2u* la coma tiene el si#ni9icado de J4H!


O3ser4a102n 2-3: Se si#ue inmediatamente de la de9inici%n de intersecci%n de dos con&untos 2ue

O3ser4a102n 2- : Cada uno de los con&untos A 4 < contiene al A n < como subcon&unto, es decir, A X <" A 4 A [ <" < O3ser4a102n 2-!: Si dos con&untos A 4 < no tienen elementos comunes, es decir, si A 4 < son dis&untos, entonces la intersecci%n de A 4 < es el con&unto $ac*o, o sea A [ < D 0!

En al#unos libros, sobre todo de )robabilidades, la intersecci%n de A 4 < se denota )or A< 4 se llama )roducto con&untista de A 4 < o sim)lemente A )or <. Introducci%n 34 1+IDAD .

Antologa de Probabilidad

Ejemplo 2-2: Sean S D Oa, b, c, dT 4 G D E(, b, d. gT. Entonces > X G R Ob,dT

-(*E6ENC(' La di(erencia de los con&untos A 4 < es el con&unto de elementos 2ue )ertenecen a A, )ero no a <. Se denota la di9erencia de A 4 < )or

A0<

2ue se lee PA di9erencia <Q o sim)lemente PA menos <Q.


Ejemplo 3-1: En el dia#rama de (en n de la -i#! ?>< se ,a ra4ado A0<. el :rea de A 2ue no es )arte de <.

'

A \ < lo ra4ado -i#!?>< Ejemplo 3-2 Sean S D Oa, b, c. dT 4 G D E9, b, d, gT! Se tiene: Ejemplo 2-3: Sea W D E?, @, 3, !!! F, es decir, los m;lti)los de ?O 4 sea W D E<,3,C, !!! F, o sean los m;lti)los de <! Entonces ( [ WR E3, .?, ./, !!! F

> \ G R Oa,cT Ejemplo 3-3: Sean A el con&unto de los n;meros reales 4 J el con&unto de los n;meros racionales!

Entonces A > J es el con&unto de los n;meros irracionales, O3ser4a102n 2-": El con&unto A contiene al A > < como subcon&unto, esto es:

O3ser4a102n 2-#: Los con&untos A > <", A [ < 4 < > A" son mutuamente dis&untos, es decir, la intersecci%n de dos cuales2uiera es $ac*a!

La di9erencia de A 4 < se )uede tambiIn de9inir concisamente como

1+IDAD .

35

Introducci%n

Antologa de Probabilidad
La di9erencia de * 4 0 se denota a $eces )or * 1 0 o bien )or * ? 0.

A > < D O+ I + A, + <T

Introducci%n

36

1+IDAD .

Antologa de Probabilidad
CO75,E7ENTO El com)lemento de un con&unto * es el con&unto de elementos 2ue no )ertenecen a * , es decir, di9erencia del con&unto uni$ersal U 4 del *. Se denota el com)lemento de * )or *2
Ejemplo -1: En el dia#rama de (enn de la -i#! ?>@ se ,a ra4ado el com)lemento de *, o sea el :rea e6terior a *. Se su)one 2ue el con&unto uni$ersal U es el :rea del rect:n#ulo !

'

A] lo ra4ado -i#!?>@

Ejemplo -2: Su)oniendo 2ue el con&unto uni$ersal I sea el al9abeto, dado G D Ea,b,c F, entonces G Y D Od, e, (, ... , y,#T Ejemplo -3: Sea E D E?, @, 3, !!! F! o sea los n;meros )ares! Entonces EY D EI, <, K, !!! 8, 2ue son los im)ares! A2u* se su)one 2ue el con&unto uni$ersal es el de los n;meros naturales, ., ?, <, !! o sim)lemente:

AYR O +V+ A T

Lo 2ue se establece en se#uida resulta directamente de la de9inici%n del com)lemento de un con&unto!


O3ser4a102n 2-$: La uni%n de cual2uier con&unto A 4 su com)lemento AY es el con&unto uni$ersal, o sea 2ue

A 1 AY D I
Por otra )arte, el con&unto A 4 su com)lemento AY son dis&untos, es decir,

A X AY D
O3ser4a102n 2-%: El com)lemento del con&unto uni$ersal I es el con&unto $ac*o 0, 4 $ice$ersa, o sea 2ue:

IY D

4 ^ DI

O3ser4a102n 2-1&: El com)lemento del com)lemento de un con&unto A es el con&unto A mismo!

:s bre$e:

AY"Y D A

1+IDAD .

37

Introducci%n

Antologa de Probabilidad
La si#uiente obser$aci%n muestra c%mo la di9erencia de dos con&untos )odr*a ser de9inida )or el com)lemento de un con&unto 4 la intersecci%n de dos con&untos! En e9ecto, se tiene la si#uiente relaci%n 9undamental
O3ser4a102n 2-11: La di9erencia de A 4 < es i#ual a la intersecci%n de A 4 el com)lemento de <, o sea:

A > < D A X <Y La demostraci%n de la Obser$aci%n ?>.. se si#ue inmediatamente de las de9iniciones: A > < D O+ G 6 A, 6 <T D E6 G 6 A, 6 <YT D A X <Y

O5E6'C(ONES CON CONJUNTOS CO75'6'B,ES Las o)eraciones de uni%n, intersecci%n, di9erencia 4 com)lemento tienen )ro)iedades sencillas cuando los con&untos de 2ue se trata son com)arables! Se )ueden demostrar los teoremas si#uientes!

Teorema 2-1: Sea A un subcon&unto de <. Entonces la intersecci%n de A 4 < es )recisamente A, es decir:

A < im)lica A [ < D A


Teorema 2-2: Sea A un subcon&unto de <. Entonces la uni%n de A 4 < es )recisamente <, es decir:

A < im)lica A < D <


Teorema 2-3: Sea A un subcon&unto de <. Entonces <Y es un subcon&unto de AY, es decir:

A < im)lica <Y AY

Introducci%n

38

1+IDAD .

Antologa de Probabilidad
5ro3lemas resuel8os
UN(ON 1. En los dia#ramas de (enn 2ue si#uen, ra4ar A uni%n <, o sea A <$

'

@1< @d<

@a< Solu102n:

@3<

La uni%n de A 4 < es el con&unto de todos los elementos 2ue )ertenecen a A o a < o a ambos! Se ra4an entonces las :reas de A 4 de < como si#ue:

'

B '

' B

@a< ?!

@3<

@1<

@d<

Sea A D El, ?, <, @F, < D E?, @, 3, /F 4 C D E<, @, K, 3F! Hallar a" A <, b" A C c" < C, d" < <. Solu102n: Para 9ormar la uni%n de A 4 < se re;nen todos los elementos de A con todos los elementos de <. De modo 2ue A< El, ?, <, @! 3, /F AC El, ?, <, @, K, 3F <C E?,@,3,/,<,KF << E ?,@,3,/F +%tese 2ue < < es )recisamente <.

1+IDAD .

39

Introducci%n

Antologa de Probabilidad
3. Sean A 4 < dos con&untos 2ue no son com)arables! Hacer el dia#rama lineal de los con&untos A, < 4 A <. +%tese )rimeramente, se#;n la Obser$aci%n ?>?, 2ue A 4 < son ambos subcon&untos de A <, es decir, 2ue A A <" 4 < A <" Solu102n: De acuerdo con esto, el dia#rama lineal de A, < 4 A < es
* 0

'

Demostrar la Obser$aci%n ?>?: A 4 < son subcon&untos de A <. Solu102n: Puesto 2ue A B D B A solo se re2uiere demostrar 2ue A es subcon&unto de A B, esto es, 2ue 6 A im)lica 6 A B! Sea 6 un elemento de A! Se si#ue entonces 2ue 6 es elemento de A o de B, es decir, 2ue 6 A B! As* 2ue A 7A B8!

!.

Sean A, < y C los con&untos del Problema ?! Hallar 7l8 A <" C. 9" A < C 8 7.8 Se determina )rimero A < DE.,?,<,@,3, /F! Entonces la uni%n de A < 4 C es A < C D El, ?, <,@!3,/, KF 7?8 Se determina )rimero < C D E?,@, 3, /, <, KF! Entonces la uni%n de A 4 < C es A 7< C" D E.,?,<,@,3,/, KF +%tese 2ue A <" C D A < C8!

Introducci%n

40

1+IDAD .

Antologa de Probabilidad
". Demostrar: A D A U A. Solu102n: Se#;n la De9inici%n .>., ,a4 2ue demostrar 2ue A 7A A8 4 2ue 7A A8 A! Se#;n la Obser$aci%n ?>?, A 7A A8! Sea a,ora un 6 7A A8! Entonces, se#;n la de9inici%n de uni%n, 6 A De9inici%n .>., #. o 6 AO as* 2ue 6 )ertenece a A! Por tanto, 7A A8 A 4, )or la A D 7A A8!

Demostrar: 1 A D 1, donde 1 es el con&unto uni$ersal! Solu102n: Por la Obser$aci%n ?>?, 1 71 A8! Como todo con&unto es un subcon&unto del con&unto uni$ersal, 71 A8 1 4 la conclusi%n se si#ue de la De9inici%n .>.!
U

$.

Demostrar: Solu102n:

A D A.

Por la Obser$aci%n ?>?, A 7A 8! Sea a,ora un 6 7A 8, entonces 6 A o 6 ! Por la de9inici%n de con&unto $ac*o, 6 O de modo 2ue 6 A! Se ,a demostrado 2ue 6 7A 8 im)lica 6 A, es decir, 2ue 7A 8 A! Por la De9inici%n .>., A D A! %. Demostrar: U A D A. Solu102n: Por la Obser$aci%n ?>?, A A U 8! Sea a,ora un + A U 08, entonces + A o + 0! Por la de9inici%n de con&unto $ac*o, + O de modo 2ue !6 A. Se ,a demostrado 2ue + A U 8 im)lica + A, es decir, 2ue A U 8 A. Por la De9inici%n .>., A D U A. 1&. Demostrar: A U < D im)lica A D 4 < D S Por la Obser$aci%n ?>?, A A U <", es decir, A ! Pero es subcon&unto de todo con&untoO en )articular, A. Lue#o, )or la De9inici%n .>., A D ! De i#ual manera se )uede demostrar 2ue < D !

1+IDAD .

41

Introducci%n

Antologa de Probabilidad

(NTE6SECC(ON 11. En los dia#ramas de (enn del Problema ., ra4ar la intersecci%n de A 4 <, esto es, de A X <. Solu102n: La intersecci%n de A 4 < consiste en el :rea 2ue es com;n tanto a A como a <. Para encontrar A [ <, se ra4a )rimero A con tra5os oblicuos ,acia la derec,a 7____8 4 lue#o se ra4a < con tra5os oblicuos inclinados a la i52uierda 7````8 como se $e en la 9i#ura:

a
7b8 7c8

a 7d8

7a8

Entonces A [ < es el :rea 2ue tiene los dos ra4ados! El resultado 9inal, 2ue es A [ <, se ra4a a,ora con l*neas ,ori5ontales, como si#ue:

A B

7a8
12.-

7b8

7c8

7d8

Sean A D El, ?, <, @F, < D E?, @, 3, /F 4 C D E<, @, K, 3F! Hallar a" A [ <, b" A [ C Solu102n: Para 9ormar la intersecci%n de A 4 < se inscriben todos los elementos comunes a A 4 <' as* A [ < D E?,@F! De i#ual manera, A [ C D E<, @F, < [ C D E@, 3F 4 < [ < D E?, @, 3, /F! +%tese 2ue < [ < es e9ecti$amente <. Sean A, < y C los con&untos del Problema .?! Hallar a" A [ <" [ C , b" A [ < [ C. Solu102n: 7a8 A [ < D E?, @F! Asa 2ue la intersecci%n de E?, @F con e es A [ <" [ C D E@F! 7b8 < [ C D E@, 3F! La intersecci%n de este con&unto con el A es E@F, esto es, A [ < [ C +%tese 2ue A [ <" [ C D A [ < [ C".

13.-

Introducci%n

42

1+IDAD .

Antologa de Probabilidad
1 !>

Sean A 4 < dos con&untos no com)arables! Hacer el dia#rama lineal de A, < 4 A [ <. Solu102n: Por la Obser$aci%n ?>@, A [ < es un subcon&unto tanto de A como de <, esto es, A [ <" 4 De acuerdo con esto se tiene el si#uiente dia#rama lineal:
' B

* 0 1!.

Demostrar la obser$aci%n ?>@: Solu102n:

A [ < es un subcon&unto de A 4 de <.

Sea + un elemento cual2uiera de A [ <. Por de9inici%n de la intersecci%n, + )ertenece a ambos con&untos A 4 < ' en )articular, + e A. Se ,a demostrado 2ue + A [ <" im)lica + A, esto es, 2ue A [ <" A. De i#ual modo, A [ <" <.

1".

Demostrar: A [ A D A. Solu102n: Por la Obser$aci%n ?>@, A [A" A. Sea + un elemento cual2uiera de A' entonces es ob$io 2ue + )ertenece a los con&untos A 4 A, es decir, + )ertenece a A[A. Se demuestra as* 2ue + A im)lica + A [A8, es decir, 2ue A A [ A8! Por la De9inici%n .>., A [ A D A.

1#!>

Demostrar: I [ A D A, donde I es el con&unto uni$ersal! Solu102n: Por la Obser$aci%n ?>@, I [ A" A. Sea + un elemento cual2uiera de A. Como I es el con&unto uni$ersal + )ertenece tambiIn a I. Como + A 4 + I, )or la de9inici%n + A im)lica + I [ A", es

de intersecci%n, + I [ A". Se ,a demostrado 2ue decir, 2ue se ,a demostrado 2ue A I [ A". Por la De9inici%n .>., I [ A D A.

1+IDAD .

43

Introducci%n

Antologa de Probabilidad

1$!>

Demostrar: A [ D S Solu102n: Por la Obser$aci%n ?>@, A [ 8 ! Pero el con&unto $ac*o es subcon&unto de todo con&untoO en )articular, A [S Por tanto, A [ D !

-(*E6ENC(' 1%. Sea A D E., ?, <, @F, < D E?, @, 3, /F 4 C D E<, @, K, 3F! Hallar a" A > <", b" 7C > A", c" < 0 C", d" < > A", e" < Z< ". Solu102n: El con&unto A > < consiste en los elementos de A 2ue no est:n en <. Como A D El, ?, <, @F 4 ?, @ <, entonces A > < D El, <F! a" b" Los ;nicos elementos de C 2ue no est:n en A son K 4 3O )or tanto, C > A D EK, 3F! < > C D E?, /F! d" < > A D E3, /F e" < > < D

2&.

En los dia#ramas de (enn del Problema ., ra4ar A menos <, o sea A0<.

A \ B lo ra4ado

+%tese 2ue, como en c", * - 0 D * si A 4 < son dis&untos! +%tese tambiIn 2ue, como en d", A > < D si A es subcon&unto de <.

Introducci%n

44

1+IDAD .

Antologa de Probabilidad
21. Demostrar la Obser$aci%n ?>3: A \ <" A.

Solu102n: Sea + cual2uier elemento del con&unto A0<. Por de9inici%n de di9erencia, + A 4 + <' en )articular! + )ertenece a A. Se ,a demostrado 2ue + A > <" im)lica + A' es decir, 2ue A > <" A. Demostrar: A > <" [ < D S Solu102n: Sea + )erteneciente a A > <" [ <. Por la de9inici%n de intersecci%n, + A > <" 4 + <. Pero )or la de9inici%n de di9erencia, + A 4 + <. Como no ,a4 nin#;n elemento 2ue cum)la + < 4 + <, entonces A > <" [ < D S CO75,E7ENTO 23. Sean I D El , ?, <, !!! ,/, CF, A D El, ?, <, @F, < D E?, @, 3, /F 4 C D 7<, @, K, 3F! a" Hallar Solu102n: a" El con&unto A^ consiste en los elementos 2ue est:n en I )ero no en A. Por tanto, AY D EK, 3, =,/, CF! b" El con&unto de los elementos de 1 2ue no est:n en < es <Y D El, <, K, =, CF! c" A [C" D E<, @F 4 entonces 7A [ C8] D El, ?, K, 3, =, /, CF! d" A <" D E., ?, <, @, 3, /F 4 entonces A B8^ D EK, =, C8! e" AY D EK, 3, =, /, CF 4 entonces AY"Y D El, ?, <! @F, es decir, AY"Y D A. (" < 0 C8 D E?, /F 4 entonces < \ C" ^ D E., <, @,K,3,=, CF! AY , b" <Y , c" A [ C"Y, d" A <, e" A["[, (" < > C8^!

??!

1+IDAD .

45

Introducci%n

Antologa de Probabilidad

2 .

En el dia#rama de (enn si#uiente, ra4ar a" <Y , b" A <"Y , c" < > A"Y , d" AY [ <Y,

Solu102n: a" Como <Y , com)lemento de <, consta de los elementos 2ue no est:n en <, se ra4a el :rea e6terior a <

'

<Y lo ra4ado b" Primero se ra4a el :rea A <' lue#o, A <"Y es el :rea e6terior a A <".

A < lo ra4ado

A <"Y lo ra4ado

c"Primero se ra4a < > A' 4 as* < > A"Y es el :rea e6terior a < > A.

< > A lo ra4ado

< > A"Y lo ra4ado

d" Primero se ra4a AY , el :rea e6terior a A, con tra5os oblicuos inclinados a la derec,a 7____8 4 se ra4a <Y con tra5os oblicuos inclinados a la i52uierda 7`` ` `8, entonces AY [ <Y resulta ser el :rea con doble ra4ado !

Introducci%n

46

1+IDAD .

Antologa de Probabilidad

A] 4 B doble ra4ado

] con

AY [

<Y lo ra4ado

+%tese 2ue el :rea de A <"Y es la misma 2ue la de AY [ <Y. 2!. Demostrar el Teorema de De or#an: A <"Y D AY [ <Y.

Solu102n: Sea + A <"[' as*, )ues, + no )ertenece a A <. Por tanto, + A 4 6 <, es decir, 6 AY 4 6 <Y 4, )or la de9inici%n de intersecci%n! 6 )ertenece a AY [ <Y. Se ,a demostrado 2ue + A <"Y im)lica + AY [ <Y" es decir, 2ue A <"Y AY [ <Y"

Sea a,ora y AY [ <Y' entonces 3 )ertenece a AY e 3 )ertenece a <Y. As* 2ue y A e y < 4, )or tanto, y A <"[, o sea 2ue y A <"[. Xueda demostrado 2ue y AY [ <Y" im)lica y A <"Y, es decir, 2ue Por consi#uiente, )or la De9inici%n .>., AY [ <Y" A <"Y

AY [ <Y" D A <"[.

1+IDAD .

47

Introducci%n

También podría gustarte