RODRIGUEZ CARDO J.

FELIX - 409490073 PROBABILIDAD Y ESTADISTICA // GRPO 2 // TAREA // 080312

Augustus De Morgan (1806 1871)

Augustus De Morgan, naci el 27 de junio de 1806 en Mandura, India. Al poco tiempo de nacer perdi la visin de su ojo derecho y este infortunio probablemente condicion la formacin de su personalidad que, para algunos de sus compaeros, resultaba extravagante. Su familia se traslad a Inglaterra siendo l an muy pequeo educndose en este pas con profesores particulares. A la edad de 16 aos, entr en el Trynity Collage de Cambridge siendo alumno de Peackock, un profesor que luch por modernizar la enseanza en su pas. Peackock, a quin algunos calificaron como el Euclides del lgebra pretenda sistematizar los contenidos de esta rama de las matemticas para conseguir algo similar a Los Elementos. No consigui su objetivo pero estimul a sus alumnos, entre ellos a De Morgan, a avanzar en la construccin de una formalizacin del lgebra. De Morgan, al terminar sus estudios, consigui ser nombrado profesor del University Collage en Londres que, en aquel momento, se acababa de crear. Renunci a quedarse en Oxford o en Cambrigde porque para ello deba pasar una prueba de conocimientos religiosos y aunque posea estos conocimientos porque su madre le haba educado para ello consider que sus principios no le permitan hacer una prueba que consideraba inadecuada. A lo largo de su vida siempre defendi la tolerancia religiosa. En 1837 se cas con Sofa Frend quien a su muerte escribi su biografa publicando parte de su correspondencia con algunos de sus colegas que eran tambin amigos, entre ellos, Hamilton y Babbage. Sofa conoca tambin a Lady Ada Lovelace, la hija de Lord Bayron, que se interes vivamente por las matemticas y para la que De Morgan fue un tutor en esta disciplina. Se cuenta que Babbage, Ada Lovelace y De Morgan formaron una sociedad de apuestas en las carreras de caballos convencidos de que sus conocimientos sobre probabilidad les serviran para ganar el suficiente dinero para financiar la mquina para calcular que haba diseado Babbage. Al poco tiempo se convencieron de que no podan controlar con la probabilidad los sucesivos ganadores. De Morgan escribi ms de 700 artculos para la enciclopedia Penny, que se publicaba por una Sociedad que se haba creado para difundir el conocimiento til. En 1938, en uno de estos artculos titulado Induction apareci por primera vez la induccin matemtica. Ademas escribi libros sobre varios temas relacionados con aritmtica, lgebra, anlisis y

lgica, siendo en esta ltima el campo en el que ms sobresali. Entre sus publicaciones cabe destacar Elements of Aritmtica, la cual tuvo tanto xito que se realizo una segunda edicin, Trygonometry and double lgebra, en la que se expone una interpretacin geomtrica de los nmeros complejos y finalmente la que fuere su obra ms notable, Formal Lgic, en la que se expona un buen sistema de notacin para la lgica simblica y se inclua el concepto de cuantificacin de predicados con lo cual se podan resolver algunas cuestiones que no tenan respuesta dentro de la lgica aristotlica. Una de sus grandes aportaciones, por las que es conocido por los estudiantes de Secundaria, son las leyes que llevan su nombre y que en el lgebra de sucesos vienen formuladas por: 1era Ley la negacin de la conjuncin es equivalente a la disyuncin de las negaciones ( ) =

2da Ley la negacin de la disyuncin es equivalente a la conjuncin de las negaciones ( ) =

Otro autor, Benjamn Peirce, trabajando independientemente en Harvard encontr la misma ley de dualidad para toda proposicin en la que intervenan las dos operaciones lgicas. De Morgan estuvo tambin interesado en la historia de las matemticas opinando que los estudiantes deberan conocer la historia para comprender el desarrollo de cada una de las ramas de esta disciplina. Escribi una biografa de Newton y otra de Halley y un diccionario en el cul reuni a los matemticos ms importantes del siglo XVII. Tena tambin conocimientos de astronoma y elabor un almanaque en el cual aparecan todas las lunas llenas desde el ao 2000 a C hasta el ao 2000 d. C. La estadstica y la probabilidad fueron tambin campos en los que realiz alguna incursin interesndose en temas relacionados con seguros de vida. Su bisabuelo James Dodson inspir la primera compaa de seguros de vida que intentaba emplear las matemticas para calcular las primas que se deban pagar. Esta sociedad, Equitable Society, no lleg a formalizarse porque las autoridades en aquellos aos vean totalmente incoherente asociar una probabilidad a los sucesos vitales de los individuos. En 1866 fue cofundador de la London Mathematical Society siendo su primer presidente y su hijo, que tambin fue matemtico, el primer secretario. Fue tambin miembro de la Royal Astronomical Society. De Morgan muri el 18 de marzo de 1871 en Londres. En su testamento don su biblioteca que tena ms de 3000 libros a la Universidad londinense.

Boyer, C. (1986) Historia de la matemtica. Alianza Universidad Madrid. Mataix, S. (1999) Matemtica es nombre de mujer. Rubes Barcelona. .

Demostracin de las Leyes de Morgan

Para demostrar las Leyes de Morgan, las cuales pertenecen al teorema de las leyes de absorcin para conjuntos, debemos definir que es una unin, que es una interseccin y la condicin de igualdad entre dos conjuntos cualesquiera.

Def. - 1.1: Union entre conjuntos [1]. Sean dos conjuntos cualesquiera A y B, donde la unin de ambos est definida como el conjunto de todos los elementos que pertenecen a A, o pertenecen a B, o a ambos A y B. Simblicamente sera = { | }

por lo tanto

y en consecuencia.

( ) ( ) Def. - 1.2: Interseccin entre conjuntos [1].

( ) ( )

Sean dos conjuntos cualesquiera A y B, donde la unin de ambos est definida como el conjunto de todos los elementos que pertenecen a A y a su vez pertenecen a B. Simblicamente resultara = { | }

por lo tanto

y en consecuencia.

( ) ( ) Def. - 1.3: Igualdad entre conjuntos [2].

( ) ( )

Dos conjuntos A y B cualesquiera, sern iguales, siempre y cuando A y B tengan exactamente los mismos elementos. =

[1] Seleccin de Temas de Matemticas (1995). Teora de conjuntos. U. de la Habana [2] Murray R. Spiegel (1977). Teora y problemas de probabilidad y estadstica. McGraw-Hill.

Un mtodo prctico y sencillo para demostrar que dos conjuntos son iguales, resultara de aplicar la Def. 1.3 enunciada anteriormente, o sea, bastara demostrar que cada elemento de uno de los conjunto se encuentra contenido en el otro y viceversa. Este ser precisamente el procedimiento a seguir para demostrar cada una de las Leyes de Morgan.
1era Ley El complemento de la unin de dos conjuntos, es igual a la interseccin de los complementos de cada conjunto.

S ahora hacemos uso de la Def. 1.1 entonces

( ) = ( )

( ) ( ) ( ) luego, recordando la Def. 1.2, tenemos ( ) ( ) ( )

por lo tanto se puede afirmar que se cumple la primera de las leyes [3].

2da Ley El complemento de la interseccin de dos conjuntos, es igual a la unin de los complementos de cada conjunto.

Lgicamente la demostracin de esta ley resultara anloga a la demostracin anterior, entonces ( ) ( ) ( ) y continuando con la secuencia anterior... ( ) ( ) ( )

( ) = ( )

tambin podemos demostrar la veracidad de la segunda de las leyes [3].

[3] Demostracin obtenida por el autor

Conclusiones y comentarios
A pesar de la sencillez del procedimiento utilizado para demostrar las Leyes de Morgan, opino que no es cuestionable su racionalidad, ergo tampoco es cuestionable la racionalidad o veracidad de las dos leyes. No obstante, para una mejor aceptacin o comprensin de las anteriores leyes, podemos hacer uso de una metodologa grafica, entindase Diagramas de Venn. Denotemos a todo el espacio muestral (universo) por la letra U. Como es de suponer, este universo contendr a los dos conjuntos A y B. O sea

pero con la intensin de hacer algo ms difano el procedimiento, representemos cada conjunto en el mismo universo U, pero emulando las condiciones de la no existencia A donde exista B o viceversa. Esto es

luego, si realizamos una superposicin de ambos diagramas

= ( )

= ( )

por lo tanto, al observar el ltimo de los diagramas, se hace evidente la relacin establecida en la primera de las leyes enunciadas por Augustus Morgan ( ) = ( )

Lo anterior se puede demostrar anlogamente para la segunda de las leyes.