Algebra Superior Reyes

lgebra Superior
Araceli Reyes Septiembre 2003
ii
ndice general
1. Mtodo axiomtico 1.1. Introduccin al mtodo axiomtico . . . . . . . . . . . . . . . . . . . 1.2. Axiomas y Teoremas. . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3. Deducciones y demostraciones . . . . . . . . . . . . . . . . . . . . . . 2. Conjuntos y Funciones 2.1. Terminologa y notacin de conjuntos . . . . . . . . . . . . . . . . . 2.2. Propiedades de las operaciones entre conjuntos. . . . . . . . . . . . . 2.3. Productos cartesianos . . . . . . . . . . . . . . . . . . . . . . . . . . 3. Los 3.1. 3.2. 3.3. 3.4. 3.5. 3.6. nmeros naturales Axiomas de Peano . . . . . . . . . . . . . . . . Propiedades de las operaciones entre naturales Demostraciones por induccin . . . . . . . . . . Deniciones inductivas . . . . . . . . . . . . . . Cardinalidad . . . . . . . . . . . . . . . . . . . Relacin de orden . . . . . . . . . . . . . . . . . 3.6.1. Propiedades del orden. . . . . . . . . . . 3.7. Principio del buen orden . . . . . . . . . . . . . 3.8. Funciones y relaciones . . . . . . . . . . . . . . 3.8.1. Dominio y contradominio . . . . . . . . 3.9. Clasicacin de funciones . . . . . . . . . . . . 3.10. Composicin de funciones . . . . . . . . . . . . 3.11. Funciones inversas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1 2 3 5 5 6 7 9 9 9 10 15 15 17 17 18 19 19 20 21 23 25 25 25 29 29 29 34 34 35 37 39 43 43 44 47 49
4. Relaciones binarias 4.1. Denicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.2. Relaciones de equivalencia . . . . . . . . . . . . . . . . . . . . . . . . 5. Matemticas discretas 5.1. Relaciones entre conjuntos nitos . . . . . . . . . . . . . . . . . . 5.1.1. Grca dirigida. . . . . . . . . . . . . . . . . . . . . . . . 5.2. Representacin matricial de una relacin. . . . . . . . . . . . . . 5.2.1. Deniciones del lgebra matricial en general . . . . . . . . 5.2.2. Relaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.2.3. Operaciones entre relaciones: . . . . . . . . . . . . . . . . 5.2.4. Propiedades de las relaciones y estructura de las matrices 6. Conteo 6.1. Principios bsicos . . . . . . . . . . . . . . 6.1.1. Suma y resta para contar . . . . . 6.2. Principio de inclusin y exclusin para dos 6.2.1. Producto y divisin para contar . . iii . . . . . . . . . . . . . . . . . . . . y tres conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
iv
NDICE GENERAL 6.2.2. Integracin de los principios de suma y producto . . . . . . . 6.2.3. Miscelnea de problemas . . . . . . . . . . . . . . . . . . . . . 56 58 61 61 61 62 63 65 68 69 71 71 73 74 75
7. Los 7.1. 7.2. 7.3.
nmeros enteros. El anillo de los nmeros enteros . . . . . . . . Propiedades de las operaciones entre enteros. Divisibilidad . . . . . . . . . . . . . . . . . . . 7.3.1. Algoritmo de la divisin . . . . . . . 7.3.2. Algoritmo de Euclides . . . . . . . . . 7.4. Nmeros primos . . . . . . . . . . . . . . . . 7.5. Teorema de factorizacin nica . . . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
8. Congruencias 8.1. Denicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8.2. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8.3. Teorema chino del residuo . . . . . . . . . . . . . . . . . . . . . . . . 9. Bibliografa
Captulo 1
Mtodo axiomtico
1.1. Introduccin al mtodo axiomtico
El conocimiento matemtico prcticamente naci con la cultura humana. Los primeros temas de los que se tiene noticia que haba algn conocimiento matemtico son de geometra. Los Babilonios y los Egipcios descubrieron una gran cantidad de relaciones geomtricas, como el teorema de Pitgoras, que se siguen utilizando hasta nuestros das, para desde resolver problemas muy prcticos de ingeniera hasta aspectos muy tericos de las matemticas modernas. La manera como se descubrieron esos conocimientos fue empricamente. Del conocimiento del que hay informacin de esa poca, sabemos que algunos de los resultados a los que ellos llegaron eran errneos. Sirva como ejemplo la frmula que utilizaban los babilonios para calcular el rea de un cuadriltero cuyos lados consecutivos miden a, b, c y d que es incorrecta (a + c) (b + d) K= 4 Muchos conocimientos obtenidos empricamente durante este periodo fueron incorrectos. Sirva esta armacin para reexionar acerca de como podemos descubrir nuevo conocimiento matemtico. Claramente transcurrieron miles de aos con esta situacin y fue hasta alrededor del ao 624 A.C. con Tales de Mileto que plante el primer estudio sistemtico de la geometra y se cuestion sobre la veracidad de los resultados. Tales fue el primero en hacer una demostracin. Pasaron cerca de 300 aos, hasta Euclides (325 265 A.C.) que escribi sus Elementos que contienen una cadena de 465 armaciones ligadas lgicamente por deduccin. Entre estos dos matemticos vivi Pitgoras (569 475 A.C.) que tuvo como mrito escribir formalmente y demostrar el famoso teorema que conocemos. Con Euclides nace el mtodo utilizado en las matemticas para su construccin: el mtodo axiomtico. La base del mtodo axiomtico es el silogismo o como lo conocemos coloquialmente la deduccin. En conclusin, experimentar y jugar con los objetos matemticos, llmense guras geomtricas o smbolos, nos permite descubrir relaciones para entenderlas. Este juego o experimentacin se inicia normalmente con el propsito de resolver algn problema. La formulacin de una armacin que suponemos correcta no es suciente para incorporarla al conocimiento matemtico. Para tener certeza de la veracidad de la proposicin es necesario que se pueda deducir de un conjunto de armaciones probadas como verdaderas anteriormente. Para tener un punto de partida y poder fundamentar las armaciones se parte de un conjunto de armaciones que no se demuestran y que conocemos como axiomas. Las reglas del lgebra se sistematizaron posteriormente con Descartes(1596 1650 A.C.) que estaba buscando un mtodo general para resolver los problemas 1
CAPTULO 1. MTODO AXIOMTICO
intrincados de la geometra a los que haban llegado. Muchas de estas reglas tiene su fundamentacin en la geometra.
1.2.
Axiomas y Teoremas.
Los axiomas son armaciones matemticas que no se demuestran y que son el punto de partida de un conjunto de conocimientos matemticos. Por ejemplo se manejan axiomas de los nmeros reales que sirven de base para demostrar las dems propiedades de los nmeros reales. Euclides escribi sus libros basado en cinco axiomas o postulados que utiliz como base para deducir el resto de los 465 teoremas que demostr en sus libros. A los matemticos a los que les toc darle solidez lgica al conocimiento matemtico vivieron a nales del siglo XIX y principios del XX. Entre ellos esta Bertrand Russell, Alfred North Whitehead, Kurt Gdel y muchos mas que llegaron a la conclusin que un concepto bsico para las matemticas es el de conjunto . La matemtica se reformul completamente utilizando el concepto de conjunto como bsico. Un teorema es una armacin que se puede deducir de axiomas o armaciones anteriores que han sido demostradas como verdaderas previamente . Con la comprensin de esta relacin lgica entre axiomas y teoremas fue posible cuestionar la veracidad incontrovertible de los axiomas y jugar a cambiar alguno para realizar deducciones diferentes a las ya obtenidas. Al primer sistema de conocimientos matemticos al que se le aplic este cuestionamiento fue a la geometra. El quinto postulado de Euclides se cambi y esto di origen a las geometras no euclidianas. Esta nueva visin acerca del conocimiento matemtico se prest a que muchas personas pensaran que las matemticas solamente eran una relacin lgica entre armaciones y pretendieron olvidarse de sus orgenes empricos y el propsito de este conocimiento, que es resolver problemas. El objetivo del trabajo de un matemtico es producir armaciones verdaderas basadas en conocimiento anterior. Los axiomas son armaciones que nos parecen verdaderas en las circunstancias y para los nes que se formulan, pero los axiomas no son inamovibles ni absolutos. Hay varias formas de descubrir nuevos teoremas, entendiendo las relaciones lgicas o jugando con los objetos matemticos o desarrollando cierta intuicin acerca de los objetos. Una vez que casi estamos seguros de que un resultado es verdadero solamente es cuestin de encontrar la cadena de armaciones que a partir de armaciones que sabemos verdaderas nos lleva a la primera armacin que supusimos verdadera. Esto se llama hacer una demostracin de una conjetura. La conjetura es el resultado o armacin que suponemos verdadero pero que no estamos ttalmente seguros que sea verdadero Podremos armar su veracidad cuando se haya deducido. Un corolario es una armacin que se deduce inmediatamente de un teorema. Un lema es una armacin intermedia, que se vuelve importante por si misma, en la cadena de demostracin de un teorema. En general, solamente se escriben armaciones verdaderas en matemticas, por eso a veces las matemticas nos parecen rgidas y difciles, pero si recordamos que para llegar a escribir de esa forma el matemtico tuvo que equivocarse y corregir ser mas fcil intentar resolver problemas.
1.3. DEDUCCIONES Y DEMOSTRACIONES
1.3.
Deducciones y demostraciones
Todos los seres humanos pensantes utilizamos las deducciones a diario. Todos sabemos sacar conclusiones a partir de ciertas armaciones. En ocasiones nos equivocamos al formular nuestras primeras armaciones pero todos sabemos deducir. Por ejemplo: Primera armacin: Estamos en poca de lluvias. Segunda armacin: El cielo esta nublado y las nubes son negras. Cul sera nuestra conclusin casi inmediata? Nuestra vida cotidiana esta llena de estos ejemplos. Tambin hemos escrito demostraciones matemticas sin ser concientes de ello. Por ejemplo: Theorem 1 La ecuacin x2 x 2 = 0 tiene como solucin a 2 y 1. Proof. La expresin x2 x 2 se factoriza como x2 x 2 = (x 2) (x + 1) por lo tanto los valores x = 2 y x = 1 son solucin de la ecuacin. Lo mas seguro es que hayamos escrito: x2 x 2 = (x 2) (x + 1) x = 2, x = 1 o bien que hayamos aplicado la frmula de la ecuacin de segundo grado A = 1, B = 1, C = 2 p 2 (1) 1 4 (1) (2) 1 9 13 2 x= = = = 1 2 2 2 o utilizando cualquier otro mtodo para reolver la ecuacin de segundo grado. Lo importante es que se han escrito demostraciones sencillas de matemticas. El propsito de este curso es revisar conocimientos sobre los nmeros que se han adquirido a travs de los aos en la escuela pero se vean a travs de la ptica de los conjuntos y las deducciones de propiedades a partir de ciertas armaciones sobre ellos que se van a considerar axiomas y se reeren a las propiedades de cada uno de los sistemas que se van a considerar: naturales, enteros, racionales. Exercise 2 Demuestra que 2 es una raz de la ecuacin x2 + 2x = 0. Exercise 3 Enuncia el teorema de Pitgoras. Exercise 4 A partir de la conocida propiedad que arma que la suma de los tres ngulos internos de un tringulo es 180o , demuestra que en un tringulo rectngulo los otros dos ngulos son complementarios. (suman 90o ).
CAPTULO 1. MTODO AXIOMTICO
Captulo 2
Conjuntos y Funciones
Los conceptos que no se van a denir en teora de conjuntos son: conjunto, elemento y pertenencia.
2.1.
Terminologa y notacin de conjuntos
. Las letras maysculas se utilizarn para denotar a los conjuntos, las letras minsculas se utilizarn para denotar a los elementos. El smbolo se utilizar para pertenencia. Por ejemplo a A se lee, el elemento a est en el conjunto A. Denition 5 Un conjunto A es subconjunto de un conjunto B si todos los elementos del conjunto A pertenecen al conjunto B. Simblicamente: para todo elemento a A se tiene que a B. Notation 6 A B denota que el conjunto A es subconjunto del conjunto B. Example 7 Si A = Z y B = Q entonces Z Q. Example 8 Tambin Q R. Example 9 N Z. Exercise 10 Escribe en notacin de conjuntos: Todo nmero entero es un nmero real. Exercise 11 Escribe en palabras N Q. Denition 12 Dos conjuntos A y B son iguales si A B y B A. Notation 13 A = B denota que los conjuntos son iguales o tienen los mismos elementos. Example 14 Sea A = {a, e, i, o, u} y B = {vocales del alfabeto latino }. Entonces A = B. Example 15 Sea A = {a Z |a = 2n + 1 para alguna n Z}y sea B = {b Z | b es impar} entonces A = B. Exercise 16 Describe de dos formas diferentes al conjunto de nmeros enteros pares. 5
CAPTULO 2. CONJUNTOS Y FUNCIONES
Exercise 17 Describe de dos formas diferentes al conjunto de parejas de enteros 1 cuyo cociente es igual al racional . 4 Denition 18 El conjunto universal es el conjunto que contiene a todos los conjuntos. Denition 19 El conjunto vaco es el conjunto que no tiene elementos. Notation 20 Se denota por U al conjunto universal y por al conjunto vaco. Remark 21 Dado un conjunto A cualquiera A U y A.
2.2.
Propiedades de las operaciones entre conjuntos.
Las operaciones bsicas entre dos conjuntos son la unin y la interseccin. Denition 22 Dados dos conjuntos A y B se dice que el conjunto formado por los elementos que estn en A o estn en B es la unin de ambos. Simblicamente A B = {x U |x A x B } Remark 23 A A B y B A B. Denition 24 Dados dos conjuntos A y B se dice que el conjunto interseccin es el conjunto formado por los elementos que estn en A y estn en B. Simblicamente A B = {x U | x A y x B } Remark 25 A B A y A B B. La operacin sobre un conjunto solamente es el complemento. Denition 26 Dado un conjunto A se dene el complemento de A como el conjunto de los elementos que estn en el universo U pero no estn en A. Simblicamente Ac = {x U | x / A} Theorem 27 A Ac = U Proof. Primero se demostrar que A Ac es un subconjunto de U. Como U es el conjunto universal entonces A U y Ac U. Por lo tanto A Ac U. Ahora se demostrar que U es un subconjunto de A Ac . Sea u U. Hay dos posibilidades solamente u A o u / A. Si u A entonces U A Ac .Si u / A c entonces u A ,por lo tanto U A Ac . Theorem 28 A Ac = Proof. Para demostrar la igualdad de conjuntos hay que demostrar ambas contenciones: A Ac y A Ac . Como el es subconjunto de todos los conjuntos entonces A Ac . Supongamos x A Ac .Esto signica que x A y x Ac .Que quiere decir xAyx / A, lo cual es una contradiccin. Por tanto, no existe x A Ac . Por tanto A Ac = . Theorem 29 A (B C ) = (A B ) (A C )
2.3. PRODUCTOS CARTESIANOS
Proof. Para demostrar la igualdad de conjuntos hay que demostrar que A (B C ) (A B ) (A C ) y que (A B ) (A C ) A (B C ) . Para demostrar la primera parte considerar x A (B C ) .Esto signica que x A y x B C. Esto quiere decir que x A y (x B o x C ).Hay dos posibilidades (x A y x B ) o (x A y x B ). Esto quierde decir que x (A B ) (A C ) . Para demostrar la segunda parte considerar x (A B ) (A C ) . Esto signica que x (A B ) o x (A C ).En el caso de que x (A B ) entonces x A y x B. Los siguientes dos teoremas se conocen como las Leyes de De Morgan. Theorem 30 (A B ) = Ac B c Theorem 31 (A B )c = Ac B c Exercise 32 Demostrar los ltimos dos teoremas.
c
2.3.
Productos cartesianos
El concepto de funcin surge primero relacionado con el Clculo Diferencial e Integral. De hecho cuando se trabaja en ese tema casi todas las funciones que se manejan son funciones que tienen una grca asociada y que se dibujan en el plano cartesiano R R. En este contexto no se hace nfasis en el dominio y el contradominio de la funcin. Al generalizar el concepto de funcin donde en lugar del conjunto de los nmeros reales se toma cualquier conjunto como el dominio y otro como el contradominio hay que dar una denicin general de producto cartesiano. Denition 33 Dados dos conjuntos cualesquiera A y B se dene el producto cartesiano de ambos como el conjunto formado por las parejas de elementos (a, b) tales que a A y b B. Notation 34 A B = {(a, b) | a A b B } Example 35 Tomar como el primer conjunto al conjunto de los nmeros naturales N y como segundo conjunto al conjunto de los nmeros racionales positivos entre 0 y 1, que se denotar por I. NI = {(n, x) | n N, x I }. Example 36 Tomar como primer conjunto a todas las letras del alfabeto en espaol y como segundo conjunto a los nmeros naturales del 1 al 27. El producto cartesiano son todas las parejas formadas con una letra y un nmero natural entre 1 y 27. Example 37 Tomar como primero y segundo conjunto al conjunto de los nmeros reales R. El producto cartesiano son todas las parejas ordenadas de nmeros reales que normalmente denotamos como R2 . Exercise 38 Calcula los siguientes productos cartesianos: 1. A = N y B = Q 2. A = N y B = N 3. A = Z y B = Z 4. A = {a, b, c, ..., z } y B = {1, 2, ..., 30} 5. A = {x | x es mexicano en el 2020 } y B = {x Q+ |x es el peso en kilogramos de una persona }
CAPTULO 2. CONJUNTOS Y FUNCIONES
Captulo 3
Los nmeros naturales

Los nmeros naturales se utilizan para contar. Hay dos formas de abordarlos, a travs de los axiomas de Peano o a travs de los axiomas para las propiedades de las operaciones. En este curso se van a abordar de ambas formas porque para ambas hay una aplicacin importante. Con los axiomas de Peano se entiende el Principio de Induccin y la aplicacin en las demostraciones de frmulas que son vlidas para los nmeros naturales. Las propiedades de las operaciones entre nmeros naturales nos ayudar a entender el concepto de estructura algebraica que se abordar en el segundo curso de lgebra. Estrictamente los nmeros naturales no incluyen al 0.En estas notas lo vamos a incluir por algunas razones tcnicas.
3.1.
Axiomas de Peano
1. 0 N 2. Existe una funcin, llamada sucesor, : N N tal que (n) = n + 1 la funcin es inyectiva e Im = N {0} 3. Si S N es tal que satisface las siguientes condiciones a) 0 S b ) n S = (n) S entonces S = N.
Este ltimo axioma se llama el Principio de Induccin y se aplica para demostrar que una armacin es verdadera para todos los nmeros naturales.
3.2.
Propiedades de las operaciones entre naturales
Para los nmeros naturales N hay dos operaciones, suma + y producto .Las propiedades son las siguientes: 1. El conjunto de los nmeros naturales es cerrado bajo la operacin suma,es decir si a N, b N entonces a + b N 9
10
CAPTULO 3. LOS NMEROS NATURALES
2. La suma es asociativa, a N, b N, c N se cumple que a + (b + c) = (a + b) + c. 3. Existe un nmero llamado cero, 0 tal que a N, a + 0 = a 4. La suma es conmutativa, es decir a N, b N se cumple que a + b = b + a. 5. El conjunto de los nmeros naturales es cerrado bajo la operacin producto, es decir si a N, b N entonces a b N. 6. El producto es asociativo, a N, b N, c N se cumple que a (b c) = (a b) c. 7. Existe un nmero llamado uno,1 tal que a N, a 1 = a. 8. El producto es conmutativo, es decir a N, b N se cumple que ab = ba. 9. La suma distribuye al producto, es decir a N, b N, c N, a (b + c) = a b + a c. Se van a demostrar algunas de las propiedades que ya se conocen para los nmeros naturales. Esto tiene como propsito ejercitar la lgica. Proposition 39 El elemento 0 es nico. Proof. Supongamos que existe z N tal que a N, a + z = a. Como 0 N, 0+z =0 0=0+z z+0=z 0+z =z 0=z Por la propiedad reexiva de la igualdad por el axioma 3 por el ax. 4 y la transitividad de la igualdad por transitividad entre rengln 2 y 4.
Exercise 40 Demuestren que el 1 es nico. Exercise 41 Justica cada uno de los siguientes pasos en la demostracin de la proposicin a0 = 0.
0+0=0 a (0 + 0) = a0 a(0 + 0) = a0 + a0 a0 + a0 = a0 a0 = 0 + a0 a0 + a0 = 0 + a0 a0 = 0
3.3.
Demostraciones por induccin
Se va a aplicar el Principio de Induccin para demostrar que algunas frmulas son verdaderas para todos los nmeros naturales.
3.3. DEMOSTRACIONES POR INDUCCIN Proposition 42 La frmula 1 + 2 + ... + n = n (n + 1) 2
11
es verdadera para todos los nmeros naturales. Proof. Para aplicar el principio de induccin y demostrar que la frmula es verdadera para todos los naturales se va a construir el conjunto S = {k N |la frmula es verdadera} . Para aplicar el Principio de Induccin se tiene que probar que S satisface las dos condiciones. Al satisfacer S ambas condiciones se concluye que S = N. En primer lugar 0 S porque al sustituir 0 en la frmula se obtiene la identidad 0 = 0. Para avanzar mas se sustituye 1 en la frmula y en este caso el lado izquierdo tiene valor 1 y el derecho 1 (2) =1 2 por lo tanto se tiene una identidad. De estas dos conclusiones se obtiene que 0, 1 S. Ahora se probar que si n S entonces n + 1 S. Como n S esto implica que la frmula n (n + 1) 1 + 2 + ... + n = 2 es verdadera. Se va a mostrar que n + 1 S, es decir se va a probar que 1 + 2 + . . . + n + (n + 1) = (n + 1) (n + 2) 2
pero al observar el lado izquierdo de esta expresin se pueden sustituir los n primeros sumandos por la frmula para nsumandos 1 + 2 + . . . + n + (n + 1) = n (n + 1) + (n + 1) 2
Al efectuar la suma de quebrados en el lado izquierdo de esta igualdad se tiene que n (n + 1) n(n + 1) + 2(n + 1) + (n + 1) = 2 2 n2 + 3n + 2 = 2 (n + 1) (n + 2) = 2 Por lo tanto 1 + 2 + . . . + n + (n + 1) = (n + 1) (n + 2) 2
Proposition 43 La frmula 12 + 22 + 32 + . . . + n2 = n (n + 1) (2n + 1) 6
es verdadera para todos los nmeros naturales. Proof. En este caso se dene S = {k N |la frmula es verdadera} . Se probar que 1 S,se sustituye n = 1 en la frmula y se obtiene la identidad 12 = 1(2)(3) 6
12
por lo tanto 1 S. Falta probar que si n S entonces (n + 1) S.Supongamos que n S eso signica que la frmula 12 + 22 + 32 + . . . + n2 = n (n + 1) (2n + 1) 6
es verdadera para n. Para demostrar que n + 1 S hay que probar que 12 + 22 + 32 + . . . + n2 + (n + 1)2 = (n + 1) (n + 2) (2(n + 1) + 1) 6
Al observar el lado izquierdo de la igualdad se ve que la suma de los primeros n trminos se pueden sustituir por la suma de los primeros n trminos 12 + 22 + 32 + . . . + n2 + (n + 1)2 = n (n + 1) (2n + 1) + (n + 1)2 6
Efectuando la suma de quebradosn (n + 1) (2n + 1)+6 (n + 1)2 = 2n3 +9n2 +13n+6 = n (n + 1) (2n + 1) + 6 (n + 1)2 6 (n + 1)[n(2n + 1) + 6n + 6] = 6 (n + 1)(2n2 + 7n + 6) = 6 (n + 1)(n + 2)(2n + 3) = 6
por lo tanto 12 + 22 + 32 + . . . + n2 + (n + 1)2 = (n + 1) (n + 2) (2(n + 1) + 1) 6
Como se cumplen ambas condiciones del Principio de Induccin esto implica que S = N.Por lo tanto la frmula es verdadera para todo nmero natural. Proposition 44 La frmula 1 + 3 + . . . + (2i 1) + . . . + (2n 1) = n2 . es verdadera para todos los nmeros naturales. Proof. En este caso se dene S = {k N |la frmula es verdadera} . Se probar que 1 S,se sustituye n = 1 en la frmula y se obtiene la identidad 1 = 12 por lo tanto 1 S. Falta probar que si n S entonces (n + 1) S.Supongamos que n S eso signica que la frmula 1 + 3 + . . . + (2i 1) + . . . + (2n 1) = n2 es verdadera para n. Para demostrar que n + 1 S hay que probar que 1 + 3 + . . . + (2i 1) + . . . + (2n 1) + (2n + 1) = (n + 1)2
3.3. DEMOSTRACIONES POR INDUCCIN
13
Al observar el lado izquierdo de la igualdad se ve que la suma de los primeros n trminos se pueden sustituir por la suma de los primeros n trminos 1 + 3 + . . . + (2i 1) + . . . + (2n 1) + (2n + 1) = n2 + (2n + 1) Efectuando la suma 1 + 3 + . . . + (2i 1) + . . . + (2n 1) + (2n + 1) = (n + 1)2 Como se cumplen ambas condiciones del Principio de Induccin esto implica que S = N.Por lo tanto la frmula es verdadera para todo nmero natural. Hay una forma alternativa para el principio de induccin que es til para probar que una frmula o desigualdad se cumple a partir de cierto valor n > 1. Theorem 45 Sea S N. Sean n0 , n1 N tales que n0 n1 . Si S satisface las condiciones a) n0 , . . . , n1 S y b) n0 , . . . , k S implica que k + 1 S entonces n S si n n0. Proof. Esta demostracin se hace considerando S 0 = {n N | n n0 S }y aplicando el principio de induccin a S 0 . Proposition 46 La desigualdad n2< n2 n 12
es verdadera para todo nmero natural n > 10. Proof. Sea S = {k N |k > 10 y tal que la desigualdad es verdadera} . El primer natural mayor que 10 es 11.Se probar que 11 S. Primero n2=9 ahora (11) 11 121 11 = 12 12 110 = 12 9,1667 . . . por lo tanto se cumple para n = 11. Supongamos que n S, i.e. la proposicin es verdadera para n 11. Es decir n2< n2 n 12
2
Se va a demostrar para (n + 1) S.Para demostrar que la desigualdad es verdadera para n + 1 hay que demostrar que (n + 1) 2 < (n + 1)2 (n + 1) 12 n2 + n n1< 12
14
Para hacer la demostracin escribir (n + 1) 2 = (n 2) + 1y utilizar que n S n 1 = (n 2) + 1 < pero 12 n 1,por lo tanto n2 n + 12 n2 + n n2 n +1= < 12 12 12 Por transitividad de <se tiene que n1< De donde (n + 1) S.Por tanto S = N. Exercise 47 Demostrar por induccin las siguientes proposiciones: Proposition 48 La frmula 1 1 n 1 + + + = 12 23 n (n + 1) n+1 es verdadera para todo nmero natural. Proposition 49 La frmula 13 + 23 + + n3 = es verdadera para todo nmero natural. Proposition 50 La frmula 12 + 32 + . . . + (2n 1)2 = es verdadera para todo nmero natural. Proposition 51 La frmula 1 3 + 2 4 + . . . + n(n + 2) = es verdadera para todo nmero natural. Proposition 52 La desigualdad 2n < n! para n > 3.es verdadera. Proposition 53 La desigualdad n2 < 2n para n > 4.es verdadera. n (n + 1) (2n + 7) 6 n (2n 1) (2n + 1) 3 n2 (n + 1)2 4 n2 + n 12 n2 n +1 12
3.4. DEFINICIONES INDUCTIVAS
15
3.4.
Deniciones inductivas
Cuando se tiene una denicin para cualquier nmero natural se utiliza la denicin por induccin o la denicin recurrente. Example 54 Por ejemplo se quiere denir xn donde x R y n N. Solution 55 Se denen x1 = x, x2 = x x, . . . , xn = xn1 x. Esto signica que para calcular xn hay que calcular primero xn1 y el resultado multiplicarlo por x. Example 56 Se quiere denir Rn . Solution 57 Se dene R1 = R, R2 = R R, . . . , Rn+1 = Rn R. Example 58 Se quiere denir n!. Solution 59 Se dene 1! = 1, 2! = 1 2 = 2, . . . , n! = (n 1)! n.Para calcular 10! se tiene que conocer 9! y el resultado multiplicarlo por 10. Example 60 Se quiere denir la sucesin de nmeros an , conocida como la serie de Fibonacci, 1, 1, 2, 3, 5, . . . Solution 61 Se dene a0 = 1, a1 = 1, . . . , an+1 = an + an1 . Para calcular a6 hay que conocer a5 y a4 .Se calculan a2 a3 a4 a5 a6 = a0 + a1 = a2 + a1 = a3 + a2 = a4 + a3 = a5 + a4 =1+1=2 =2+1=3 =3+2=5 =5+3=8 = 5 + 8 = 13
Exercise 62 Denir inductivamente A1 A2 An . Exercise 63 Denir la asociatividad de la suma inductivamente.
3.5.
Cardinalidad
Contar es comparar dos conjuntos. Los conjuntos pueden tener un nmero nito o un nmero innito de elementos. La nocin bsica de contar el nmero de elementos de un conjunto A consiste en establecer una funcin biyectiva entre un subconjunto de los nmeros naturales y el conjunto A.Algebraicamente denimos esta forma de contar con encontrar f : A N.de tal forma que f sea inyectiva Remark 64 Normalmente, cuando contamos, se toma como el primer valor de la funcin al 1 y se contina sucesivamente con el sucesor. El conjunto de los nmeros naturales tiene un nmero innito de elementos, al nmero de naturales se le denomina 0 (alef cero) y es la cardinalidad de los nmeros naturales. Cuando existe una biyeccin g entre la Im f $ N y el conjunto {1, 2, . . . , n} se dice que el conjunto es nito y al nmero de elementos de Im f se le llama cardinalidad de A.
16
Notation 65 Para un conjunto nito A la cardinalidad de A se denota por |A| o N (A) o #A o m(A). Hay conjuntos como los nmeros reales que tienen tambin un nmero innito de elementos, pero que no se pueden contar con los nmeros naturales. Es decir no existe forma de comparar al conjunto de los nmeros naturales con el conjunto de los nmeros reales. Dicho de otra forma no hay una funcin biyectiva entre los nmeros naturales y los nmeros reales. Denition 66 Dos conjuntos tienen la misma cardinalidad si existe una biyeccin entre los dos conjuntos. Theorem 67 Los nmeros naturales N y los enteros Z tienen la misma cardinalidad. Proof. Para demostrar esto basta construir una biyeccin entre los naturales y los enteros. Se dene f : Z N como f (z ) = 2z, si z > 0 2 |z | + 1, si z 0
Esta funcin es una biyeccin porque si f (z1 ) = f (z2 ), hay cuatro posibilidades: (i) Si z1 > 0 y z2 > 0, 2z1 = 2z2 por lo tanto z1 = z2. (ii) Si z1 es negativo y z2 < 0 f (z1 ) = 2z1 + 1 = 2z2 + 1, z1 = z2 . (iii) Si z1 > 0 y z2 < 0 entonces f (z1 ) = 2z1 y f (z2 ) = 2z2 + 1,pero uno es par y el otro impar por lo tanto no pueden ser iguales. Esto contradice la hiptesis. (iv) El ltimo caso se descarta de manera semejante. Adems para cualquier natural n existe z tal que f (z ) = n,porque si n es par existe el entero positivo q tal que 2q = n,si n es impar existe un entero positivo p tal que n = 2p + 1, p es negativo y f (p) = n.Por lo tanto f es suprayectiva. Tambin se puede demostrar que hay una biyeccin entre los nmeros racionales y los naturales.Basta arreglar los racionales como cociente de dos enteros en un arreglo de renglones y columnas poniendo el numerador el nmero de la columna y en el denominador el del rengln. Se cuentan recorriendo los elementos en diagonal. Esta demostracin no se har formalmente pero se puede enunciar el siguiente teorema. Theorem 68 Los nmeros racionales Q tienen la misma cardinalidad que los naturales N. Remark 69 Se observa que N $ Z, adems Z = N N . De aqu se podra deducir que la cardinalidad de Z es el doble que la cardinalidad de N pero vemos que es la misma. Se concluye que la aritmtica para los nmeros nitos no se aplica para los innitos. Adems aquella armacin de que el todo es mayor que sus partes tampoco se aplica en este caso. La forma como podemos intuir que los nmeros reales no tiene la misma cardinalidad que los naturales es percatndonos que el intervalo [0, 1) tiene la misma cardinalidad que toda la recta real. Eso se visualiza fcilmente en la siguiente gura, si se considera que la circunferencia es el intervalo [0, 1) y dejando jo,el punto de interseccin del eje Y y la circunferencia se trazan rectas. A cada punto de la circunferencia le corresponde un punto en la recta real y viceversa:
3.6. RELACIN DE ORDEN
17
A la cardinalidad de los nmeros reales se le llama 1 (alef uno). Exercise 70 Calcula la cardinalidad de los siguientes conjuntos: a) A = {6, 7, 8, 9} b) A = {a, b, . . . , w, x, y, z } , B = {1, 2, 3, 4, 5, 6, 7, 8, 9, 0} , A B. Nota: consideren un alfabeto de 26 letras. c) Z Z Exercise 71 Sea A = {1, 2, 3, 4} . Considerar al conjunto F de todas las funciones inyectivas f : A A. Calcular la cardinalidad de F. Exercise 72 Sea U = {a, b, . . . , w, x, y, z } y A = {a, b, c, d, e} , B = {c, d, e, f, g, h, i} , C = {x, y, z } Calcular la cardinalidad de los siguientes conjuntos: a) A b) B c) C d) A B e) A C f) A B g) Ac h) Ac B i) B c A i) Comparando estos resultados qu igualdades se pueden formar?
3.6.
Relacin de orden
Denition 73 Si m y n N se dice que m < n si existe s N tal que m + s = n.
3.6.1.
Propiedades del orden.
Sean k, m y n N.Entonces 1. Se cumple una de las siguientes tres cosas: m < n, m = n m > n. Esta propiedad se llama de tricotoma. 2. Si k < m y m < n entonces k < n.Transitividad. 3. Si k < m entonces k + n < m + n. 4. Si k < m entonces k n < m n.
18
Cuando un conjunto como el conjunto de los nmeros naturales satisface la tricotoma se dice que es totalmente ordenado. Exercise 74 Demostrar que si k + n < m + n entonces k < m. Exercise 75 Demostrar que kn < mn implica k < m.
3.7.
Principio del buen orden
Para los nmeros naturales se cumple el principio del buen orden. Este principio implica al principio de induccin. El principio del buen orden dice que todo subconjunto S 6= de los nmeros naturales tiene un elemento m tal que m s s S.Dicho de otra manera S N, S 6= contiene un elemento mnimo. Los nmeros enteros no son bien ordenados porque el subconjunto {x Z |x < 0} es diferente del vaco y no contiene un mnimo. Proposition 76 El principio del buen orden se cumple para los nmeros naturales. Proof. PRIMERA DEMOSTRACIN(Sin utilizar explcitamente el Principio de Induccin) Ahora se demostrar el principio del buen orden. Para ello consideremos un subconjunto S 6= de los nmeros naturales. Si S es nito,supongamos que S = {n1 , n2 , . . . , nk } Por la propiedad de tricotoma, se puede escoger un elemento ni tal que ni nj j = 1, . . . , k. Por lo tanto S tiene un mnimo. Si S es innito como es diferente del conjunto vaco entonces contiene un elemento a. Sea S0 = {n S | n a} . El conjunto S0 contiene a lo ms a los naturales 1, 2, . . . , a. pero no necesariamente a todos. Como S0 es nito y a S0 entonces S0 contiene un mnimo m. El mnimo m de S0 es elemento de S y m a. Ahora se probar que m es un mnimo de S. Para ello considerar una n S. Por la denicin de S0 hay dos posibilidades n S0 o n / S0 . Si n S0 entonces m n porque m es el mnimo de S0 . Si n / S0 entonces n > a,pero a m. Por lo tanto n > m. En cualquiera de los dos casos m es el mnimo de S. Proof. SEGUNDA DEMOSTRACIN(Utilizando el Principio de Induccin) Consideremos un subconjunto S 6= del conjunto N. Supongamos que S no tiene mnimo. Sea S 0 = {n N |n < aa S } . Primero que nada S 0 es un subconjunto de N y S 0 S c porque si n S 0 , n < a para a S. Adems S 0 satisface las condiciones del principio de induccin: (i) 1 S 0 porque 1 / S. Si 1 S entonces S tendra un mnimo. (ii) Supongamos que n S 0 . Se va a demostrar que n + 1 S 0 . La demostracin se har por reduccin al absurdo. Si n + 1 / S 0 entonces n + 1 a.para alguna a S De esta armacin y de que n < a implica que n + 1 a se concluye que n + 1 = a S.Por tanto n + 1 es un mnimo de S. Lo que contradice que S no tiene un mnimo. Por lo tanto n + 1 S 0 . Por el principio de induccin esto signica que S 0 = N. Por lo tanto, S = . Esta armacin es una contradiccin pues se haba supuesto que S es diferente del vaco.
Proposition 77 El principio del buen orden implica el principio de induccin.
3.8. FUNCIONES Y RELACIONES
19
Proof. Primero se demostrar que el principio del buen orden implica el principio de induccin. Para ello consideremos un conjunto S N, S 6= tal que 1 S y si n S entonces n + 1 S. Sea S 0 = S c . Supongamos que S 0 6= . Como S 0 N entonces S contiene un mnimo. Sea m el mnimo de S 0 . Esto implica que m 1 S porque m 1 < m. Pero por hiptesis si n = m 1 S entonces n + 1 = m S lo que contradice que m S 0 . Por lo tanto S 0 = .De donde S = N. Remark 78 Un conjunto que satisface el principio del buen orden se llama bien ordenado. El conjunto de los nmeros naturales es bien ordenado y totalmente ordenado. Exercise 79 Encuentra subconjuntos de Q y R para los que no se cumpla el principio del buen orden.
3.8.
3.8.1.
Funciones y relaciones
Dominio y contradominio
Denition 80 Una relacin es un subconjunto R cualquiera de un producto cartesiano A B, .R A B. Denition 81 Una funcin es una relacin F de un producto cartesiano A B tal que si (a1 , b1 ) , (a2 , b2 ) F entonces b1 6= b2 = a1 6= a2 . Esto es equivalente a decir a1 = a2 = b1 = b2 . Example Llamar I al intervalo [0, 1]. El subconjunto F de NI dado por las 82 1 parejas n, es una funcin. n Exercise 83 Dene una funcin de los enteros en los naturales tal que al 0 le asocie el 1,al 1 el 2,al 1 el 3,al 2 el 4, . De ser posible escribe las parejas. Exercise 84 Dene la funcin dada por la regla f (x) = 1 con x R. x
Exercise 85 Dado el conjunto F = {(x, y ) | x R y y R, sea tal que (x 2)2 + y 2 = 36},determina el producto cartesiano al que pertenece y determina si es o no funcin. Justica tu respuesta. Denition 86 Al conjunto A se le llama el dominio de la funcin F y al conjunto B se le llama el codominio o contradominio de la funcin. Notation 87 A = Dom (F ), B = Codom(F ). Exercise 88 Determina, si es posible, el dominio de las funciones en los tres ejercicios anteriores. Denition 89 Al subconjunto de B para el cual existe un elemento a A tal que (a, b) F se le llama la imagen de F. Notation 90 Im F = {b B | a A tal que (a, b) F } Exercise 91 Determina, si es posible, la imagen de los ejercicios que corresponden a la denicin de funcin. Denition 92 Se dene la grca de la funcin F como el subconjunto de A B tal que b Im F.
20
Notation 93 Graf (F ) = {(a, b) | a A y b Im F } Remark 94 Utilizando la notacin usual de funciones la imagen de una funcin son los elementos de b B tales que existe a A tal que f (a) = b. Remark 95 La grca de la funcin es el conjunto de puntos (a, f (a)) A B. Remark 96 Dos funciones F y G son iguales si tienen el mismo dominio, el mismo codominio y F = G. Exercise 97 Determina, si es posible, la grca de las funciones del inciso de denicin. Exercise 98 Dadas F R R y G R R+ dadas por las parejas (x, x2 ) son iguales? Justica tu respuesta. Exercise 99 Dadas las funciones F (R {2}) R y G R R la primera x2 4 dada por las parejas x, y la segunda por (x, x + 2) justica porque son x2 funciones diferentes.
3.9.
Clasicacin de funciones
Las funciones se clasican: Por su regla de asociacin en inyectivas o no inyectivas .
Por la comparacin entre su imagen y codominio como en suprayectivas y no suprayectivas. Denition 100 Una funcin F es inyectiva si cada vez que (a1 , b1 ) , (a2 , b2 ) F y b2 = b1 entonces a1 = a2 . Remark 101 A las funciones inyectivas tambin se les llama uno a uno y biunvocas. Remark 102 Otra forma de expresar que una funcin es inyectiva es decir que si a1 6= a2 entonces b1 6= b2 . Remark 103 En la notacin usual del clculo (a1 , b1 ) F si f (a1 ) = b1 . Denition 104 Una funcin F A B es suprayectiva si Im F = B. Remark 105 A las funciones suprayectivas se les llama sobres. Example 106 Una funcin no inyectiva y no suprayectiva es F R R denida por las parejas x, x2 .
Example 107Una funcin inyectiva y no suprayectiva es F R+ R denida por las parejas (x, x).
3.10. COMPOSICIN DE FUNCIONES
21
Example 108 Una funcin no inyectiva y suprayectiva es F R R denida por las parejas (x, x3 2x2 5x + 6). Esta funcin tiene como grca la siguiente
y 50 0 2.5 x 5
-5
-2.5
-50
-100
Example 109 Una funcin inyectiva y suprayectiva es F R R denida por las parejas (x, 2x). Exercise 110 Da un ejemplo de cada una de las cuatro posibilidades de funciones. En cada caso justica tus respuestas y da de forma explicita el dominio, codominio, calcula la imagen y la grca.
3.10.
Composicin de funciones
Denition 111 Dadas dos funciones F A B y G B C se dene la funcin composicin como la funcin en A C formada por el conjunto de puntos (a, c) tales que exista b B tal que (a, b) F y (b, c) G. Notation 112 G F = {(a, c) | b B tal que (a, b) F y (b, c) G}. Notation 113 La funcin 1A A A se dene como 1A (a) = a a A y se llama la funcin identidad de A. Example 114 Sean F R R y G R R+ dadas por las parejas (x, 2x + 5) y 4 x, x .La composicin es un subconjunto de R R4 tales que (x, (2x + 5)4 ) x) Example 115 Sean F R R y G R+ R dadas por (x, x2 ), (x, p respectivamente. La funcin G F R R esta dada por las parejas x, |x| .
Exercise 116 Calcula el dominio, codominio, parejas, imagen y grca de cada una de las siguientes composiciones: 1. Sean F, G Z Z denidas por las parejas (x, x 1) F y (x, 3x) G. Calcula G F. 2. Para las mismas funciones del primer inciso calcula F G. 3. Si H Z Z esta denida por (x, 0) si x es par (x, 1) si x es impar
Calcula H G y G H. Theorem 117 Sean F A B y G B C dos funciones 1. Si F y G son inyectivas entonces G F es inyectiva. 2. Si F y G son suprayectivas entonces G F es suprayectiva.
22
Proof. Se demostrar la primera parte. Para ello supongamos que (g f ) (a1 ) = (g f ) (a2 ) .Esto implica que g (f (a1 )) = g (f (a2 )) Como Ges inyectiva entonces f (a1 ) = f (a2 ) Como F es inyectiva esto implica que a1 = a2 .Por lo tanto la composicin es inyectiva. Para demostrar la segunda parte se demostrar que C = Im(G F ). Como Im(G F ) C basta demostrar que C Im(G F ). Sea c C. Como G es sobre entonces existe b B tal que g (b) = c (otra forma de expresar que (b, c) G ). Como F es sobre, para b B existe a A tal que f (a) = b. Por lo tanto c = g (f (a)).De donde c Im(G F ). Theorem 118 La composicin de funciones es asociativa. Proof. Supongamos que se tienen tres funciones f : A B, g : B C y h : C D tales que se pueden hacer las composiciones g f, h g y las composiciones h (g f ) y (h g ) f. El que se puedan hacer las primeras dos composiciones signica que Im f = B, Im g = C, el que se puedan hacer las otras dos composiciones signica que Im(g f ) = Dom(h) = C y que Im f = Dom (h g ) = A. Ahora bien el Dom(h (g f )) = A y el Dom( (h g ) f ) = A. El Codom( (h g ) f ) = Codom(h (g f )) = D. Adems para toda a A se tiene que (h (g f ))(a) = (h(g f ))(a) = h(g (f (a))) Por otro lado ((h g ) f )(a) = (h g )(f (a)) = h(g (f (a))) Por lo tanto, por transitividad (h (g f ))(a) = ((h g ) f )(a) a A De estas tres armaciones se concluye la igualdad de funciones. Exercise 119 Para las funciones del ejercicio anterior calculen h g f. Porqu se escribe sin parntesis? Exercise 120 Dadas f : R+ R por f (x) = ln(x) y g : R R+ , por g (x) = ex entonces calcular el dominio, contradominio y la regla de g f y f g. Demostrar que ambas composiciones son biyectivas. 1 Exercise 121 Dada f : R {0} R {0} por f (x) = ,calcular el dominio, x codominio y regla de f f. Demostrar que la composicin es biyectiva.
3.11. FUNCIONES INVERSAS
23
3.11.
Funciones inversas
Denition 122 Dada una funcin F A B se dene la inversa de F a la funcin G B A,si existe tal que G F = 1A y F G = 1B . Notation 123 G se denota por F 1 .Se dice que F es invertible. Example 124 La funcin inversa de f : Z 2Z denida por f (a) = 2a es f 1 (b) = b donde 2Z = {2a | a Z}. 2 Example 125 La funcin inversa de f : [0, ] [0, 1] denida por f (x) = sen(x) 2 es f 1 (y ) = arcsen(y ). Exercise 126 Encontrar, si es posible la funcin inversa de las siguientes funciones, en cada caso justicar la respuesta: 1. f : R R, f (x) = x3 2. f : R+ R , f (x) = x 3. f : R R, f (x) = x6 . 4. f : {1, 2, 3, 4} {1, 2, 3, 4} dada por la tabla a 1 2 3 4 f (a) 2 1 4 3
Theorem 127 Si una funcin F A B es invertible entonces la inversa es nica. Proof. Suponer que existe h : B A tal que h f = 1A y f h = 1B .Para demostrar que h y f 1 son la misma funcin primero se observa que las dos funciones tienen como dominio a B y como contradominio a A.Finalmente se calcula h(b). h(b) = (1A h)(b) pero 1A = f 1 f al sustituir h(b) = ((f 1 f ) h)(b) por asociatividad h(b) = (f 1 (f h))(b) Como (f h)(b) = 1B (b) = b por hiptesis entonces h(b) = f 1 (b) b B. De donde se concluye que las funciones h y f 1 son iguales. Por lo tanto la funcin inversa de f es nica. Theorem 128 Una funcin F es invertible si y slo si es inyectiva y suprayectiva. Proof. Primero se demostrar que si es invertible entonces es inyectiva y suprayectiva. Supongamos que f : A B es invertible. Entonces existe f 1 : B A.tal que f f 1 = 1B y f 1 f = 1A . Para demostrar que f es inyectiva supongamos que f (a1 ) = f (a2 ) . Como existe f 1 ,que es funcin, entonces f 1 (f (a1 )) = f 1 (f (a2 )).Por la denicin de f 1 esto implica que a1 = a2 . Por lo tanto f es inyectiva.
24
Para demostrar que f es suprayectiva consideremos b B. Como f 1 es una funcin entonces calculamos f 1 (b) = a. Como f f 1 (b) = f (a) = b entonces ya se encontr una a A tal que f (a) = b para cualquier b B. Por lo tanto f es suprayectiva. Ahora se demostrar que si f es inyectiva y suprayectiva entonces es invertible. Sea g : B A la funcin denida como sigue: g (b) = a si a A es tal que f (a) = b. Esa a A existe para toda b B porque f es suprayectiva.Adems g es una funcin porque si b1 = b2 entonces existen a1 y a2 A tales que f (a1 ) = b1 y f (a2 ) = b2 . La hiptesis se escribe como f (a1 ) = f (a2 ) como f es inyectiva esto implica que a1 = a2 que implica que g (b1 ) = g (b2 ) por lo tanto g es una funcin tal que g f = 1B y f g = 1A .Como se demostro antes que la inversa es nica entonces g = f 1 . Theorem 129 Sean A y B dos conjuntos nitos con el mismo nmero de elementos y F una funcin en A B . Entonces las siguientes armaciones son equivalentes (a) F es inyectiva. (b) F es suprayectiva. (c) F es invertible. Proof. Basta demostrar que (a)(b) porque (c)(a) y (b). Supongamos que F es suprayectiva pero no es inyectiva. Como no es inyectiva esto implica que existen a1 y a2 , a1 6= a2 tales que f (a1 ) = f (a2 ). Esto implica que el conjunto A tiene mas elementos que Im f. Pero Im f = B . Esto contradice la hiptesis de que los conjuntos A y B tienen el mismo nmero de elementos. Por lo tanto f es inyectiva. Supongamos que f es inyectiva pero no es suprayectiva. Como no es suprayectiva entonces Im f B. Entonces existe b B tal que b / Im f.Por ser f inyectiva el nmero de elementos de Im f es igual al nmero de elementos de A. Esta conclusin contradice la hiptesis de que A y B tienen el mismo nmero de elementos. Por lo tanto f es suprayectiva. Exercise 130 Dada una funcin f : A B se dene la preimagen de un subconjunto B1 B como el subconjunto de A tal que f (a) B1 y se denota por f 1 (B1 ). Para la funcin f : R R, dada por (x, x2 ) calculen f 1 ([0, 4]).
Captulo 4
Relaciones binarias
4.1. Denicin
Denition 131 Una relacin se llama binaria sobre el conjunto A cuando se trata de una relacin R A A. Example 132 Si A = R una relacin binaria es la igualdad denida por el subconjunto R = {(x, y ) | x, y R y x = y } Example 133 Si A = N una relacin binaria es el menor o igual denido por el subconjunto M = {(a, b) | a, b N y a b} Example 134 Si A = Z Z una relacin binaria entre parejas de enteros es que a c dos parejas (a, b) y (c, d) estn en relacin si = . b d Example 135 Si A = N N una relacin binaria entre parejas de naturales es que dos parejas (n1 , m1 ) y (n2 , m2 ) estn en relacin si n1 m1 = n2 m2 . Exercise 136 Determina sobre que conjunto se dene la siguiente relacin binaria: {(a, b) | a, b Z y a divide a b}y describe la forma que tienen las parejas que estan en la relacin. Exercise 137 Sea A = {a, b, c, d, e}. Al conjunto de todos los subconjuntos formados por los elementos de A se le llama conjunto potencia de A.y se le denota por P (A). Determina si la contencin de conjuntos es una relacin binaria en P (A).
4.2.
Relaciones de equivalencia
Denition 138 Una relacin binaria R sobre A es de equivalencia si satisface las siguientes propiedades: 1. (a, a) Ra A. Esta propiedad se llama reexiva. 2. Si (a, b) R entonces (b, a) R.Propiedad simtrica. 3. Si (a, b) R y (b, c) R entonces (a, c) R. Propiedad transitiva. Notation 139 Tambin se escribe aRb si (a, b) R. Example 140 La igualdad en los nmeros reales es una relacin de equivalencia. R = {(a, a) | a R} R R. Es una relacin de equivalencia porque un nmero real es igual a si mismo por lo tanto R cumple la propiedad reexiva. Tambin se cumple la propiedad simtrica porque si a = b entonces b = a y la transitiva, si a = b y b = c entonces a = c. 25
26
CAPTULO 4. RELACIONES BINARIAS
Example 141 Consideremos el conjunto A = N N. y se dene una relacin R sobre A de tal forma que (n1 , m1 ) m (n2 , m2 ) si y slo si n1 + m2 = n2 + m1 . Para probar que es una relacin de equivalencia hay que demostrar que cumple con las tres condiciones. Para demostrar que (n, m) m (n, m) hay que corroborar que n + m = n + m para cualesquiera dos naturales n y m. Pero esto es cierto ya que la igualdad es reexiva. La reexividad se sigue inmediatamente de la reexividad de la igualdad entre naturales ya que si (n1 , m1 ) m (n2 , m2 ) esto implica que n1 + m2 = n2 + m1 .Como la igualdad entre naturales es reexiva entonces n2 + m1 = n1 + m2 . Esta igualdad signica que (n2 , m2 ) m (n1 , m1 ). La transitividad se cumple ya que si (n1 , m1 ) m (n2 , m2 ) y (n2 , m2 ) m (n3 , m3 ) esto implica que n1 + m2 = n2 + m1 y que n2 + m3 = n3 + m2 respectivamente. Al sumar ambas igualdades se obtiene (n1 + m2 ) + (n2 + m3 ) = (n2 + m1 ) + (n3 + m2 ) Aplicando la asociatividad de la suma de naturales y la cancelacin se tiene que n1 + m3 = m1 + n3 como la suma de naturales es conmutativa entonces n1 + m3 = n3 + m1 Por lo tanto R es una relacin de equivalencia en donde R = {((n1 , m1 ) , (n2 , m2 )) A A | n2 + m1 = n1 + m2 } . Example 142 Consideremos el conjunto A = Z Z y se dene la relacin R sobre A de tal forma que (a, b) (c, d) si y slo si ad = bc. Esta relacin es de equivalencia. Theorem 143 Una relacin de equivalencia R sobre A parte en conjuntos ajenos a A. Proof. Se va a demostrar que A = Ra donde Ra = {x A | aRx} . Para demostrar la igualdad de dos conjuntos hay que demostrar las dos contenciones. La contencin Ra A siempre es verdadera ya que todos los subconjuntos Ra A,por lo tanto su unin tambin. Para demostrar la otra contencin se considera a A. Como para toda a A se tiene que aRa entonces el conjunto Ra contiene al menos un elemento, a. Ahora se va a demostrar que Ra Rb = si (a, b) / R o que Ra Rb = Ra = Rb si (a, b) R.Supongamos que (a, b) / R.y supongamos que existe x Ra Rb . Esto implica que xRa y que xRb. Por reexividad y transitividad esto implica que aRb lo que contradice la hiptesis acerca de que (a, b) / R. Por lo tanto Ra y Rb son ajenos si (a, b) / R. Denition 144 Al conjunto Ra = {x A | xRa} se le llama la clase de equivalencia del elemento a de A. Al elegir un elemento de la clase de equivalencia Ra se dice que se toma un representante de la clase. Example 145 En el plano cartesiano R2 considere los puntos. Se dene un vector como el representante de la clase de equivalencia de parejas de puntos cuyas diferencias son iguales. El representante que se elige es el vector que sale del origen y termina en el punto. Example 146 En el plano euclidiano se dice que dos segmentos son congruentes cuando tienen la misma longitud. Esta relacin es de equivalencia.
4.2. RELACIONES DE EQUIVALENCIA
27
Exercise 147 Describir las clases de equivalencia del espacio vectorial representado en R2 .Demostrar que un vector es un representante de una clase de equivalencia Exercise 148 Demuestra que la semejanza de tringulos denida cuando los tres lados correspondientes son proporcionales es una relacin de equivalencia. Exercise 149 Demostrar que la relacin denida en el ejemplo(101) es una relacin de equivalencia. Exercise 150 Demostrar que la relacin binaria sobre R no es una relacin de equivalencia.
28
CAPTULO 4. RELACIONES BINARIAS
Captulo 5
Matemticas discretas
5.1. Relaciones entre conjuntos nitos
Las relaciones entre conjuntos nitos tienen una gran cantidad de aplicaciones. Por ejemplo se aplican en el diseo de bases de datos, en la optimizacin de tiempos para actividades complejas, en el diseo de lenguajes de computacin, en encontrar caminos cortos u ptimos, en el diseo de redes de carreteras, de ductos de agua o cualquier otro udo y en muchas otras cosas. El primer concepto para entender la multiplicidad de aplicaciones es el paso entre diversas representaciones de las relaciones. La primera, que ya fue estudiada anteriormente es la representacin de una relacin como un conjunto. Hay que recordar que una relacin R es un subconjunto de un producto cartesiano de dos conjuntos A y B. Utilizando la notacin usual R A B.
Recordar tambin que una relacin se llama binaria cuando A = B. En este caso adems se agregar que N (A) < , i.e. A es un conjunto nito.
5.1.1.
Grca dirigida.
Representacin geomtrica de una relacin. Una relacin binaria sobre un conjunto nito A se puede representar grcamente como un conjunto de vrtices o puntos que sern los elementos de A y echas de un elemento a A en el elemento b A si (a, b) R.
Por otro lado existen las deniciones de grca (grafo) y grca dirigida, digrca(digrafo) que se desarrollo a partir de un problema planteado por Euler.
Denition 151 Una grca (grafo) G consiste de dos conjuntos V, los vrtices de la grca y E las aristas de la grca que se representan con parejas de puntos.
Example 152 Dada la relacin binaria R sobre A = {a, b, c} donde R = {(a, b) , (b, b) , (c, b) , (c, a)} la grca dirigida asociada a la relacin es V = A = {a, b, c} y E = {(a, b) , (b, b) , (c, b) , (c, a)}, el dibujo asociado a la grca es de mucha utilidad. A continuacin se muestra. 29
30
CAPTULO 5. MATEMTICAS DISCRETAS
Figura 5.1:
Example 153 Diagrama de Hasse o representacin grca de una relacin de orden. Una relacin binaria de contencin de entre conjuntos se representa con una grca sin echas escribiendo el conjunto menor en la parte inferior. Por ejemplo para el conjunto potencia del conjunto A = {a, b.c} se toman todos los subconjuntos de A : , {a} , {b} , {c} , {a, b} , {a, c} , {b, c} , A. y se colocan en una grca como la siguiente. Hay algunas deniciones y lenguaje que se utiliza en teora de grcas que nos van a se tiles para resolver problemas de optimizacin, la aplicacin del algoritmo
5.1. RELACIONES ENTRE CONJUNTOS FINITOS de Dijkstra. A continuacin se presentan.
31
Denition 154 Camino o trayectoria Un camino es una sucesin de vrtices y aristas que van de un vrtice llamado inicial a un vrtice llamado nal.
Example 155 En el ejemplo de la grca un camino es a, (a, b), b, (b, b)b. Un camino se puede denotar por sus vrtices solamente. En este ejemplo abb.
Denition 156 Ciclo Un ciclo es un camino que inicia y termina en el mismo vrtice. Tambin se llama camino cerrado.
Denition 157 Lazo Un lazo es un ciclo que contiene una sola arista.
Denition 158 Camino simple Un camino es simple cuando no pasa dos veces por el mismo vrtice.
En teora de grcas en ocasiones la direccin de una arista no es importante. En ese caso se utiliza una grca. El ejemplo clsico es el de los puentes de Knisberg planteado por Euler. Este problema consiste en encontrar una manera de caminar entre dos islas sin pasar dos veces por el mismo punto y recorrer todos los puentes en la ciudad de Knigsberg.
La grca para el problema es la siguiente:
32
Otra representacin grca de una relacin Una relacin tambin se puede representar por un conjunto de puntos en un plano cartesiano A B donde el conjunto nito A se coloca horizontal y el conjunto B se coloca vertical. Example 159 Dada la relacin binaria R sobre A = {a, b, c} donde R = {(a, b) , (b, b) , (c, b) , (c, a)} la grca cartesiana es:
Exercise 160 Dadas las siguientes relaciones trazar las grcas dirigida y cartesiana. a) A = {a, b, c, d, e} y B = {1, 2, 3, 4, 5, 6} , R = {(a, 1) , (b, 3) , (b, 4) , (c, 5) , (d, 2) , (d, 6) , (e, 3) , (e, 5) , (e, 6)} b) A = {1, 2, 3, 4, 5, 6} y la relacin binaria R = {(1, 2) , (1, 3) , (2, 5) , (2, 4) , (3, 1) , (3, 3) , (3, 5) , (4, 6) , (5, 2) , (5, 5) , (6, 4) , (6, 6)} . Exercise 161 Dadas las siguientes relaciones en forma grca encontrar el conjunto del producto cartesiano y la otra representacin grca.
5.1. RELACIONES ENTRE CONJUNTOS FINITOS a)
33
b)
Exercise 162 Hacer una grca que reeje que en un torneo de ftbol en donde estn inscritos 5 equipos y cada equipo va a jugar contra dos equipos. Cmo sirve esta representacin para asignarles das consecutivos de juego a los partidos de tal manera que ningn equipo juegue dos das consecutivos?
Exercise 163 Trazar la grca dirigida de la relacin binaria divide a sobre A = {1, 2, . . . 12} . Exercise 164 Cmo se ve la grca dirigida de una relacin que es (a) reexiva? (b) simtrica? (c) transitiva?
34
5.2.
5.2.1.
Representacin matricial de una relacin.

Deniciones del lgebra matricial en general
Notation 165 A = (aij )mn .
Una matriz es un arreglo de mn nmeros aij en m renglones y n columnas donde el ndice i corresponde al rengln i y el ndice j corresponde a la columna j . Si los nmeros pertenecen al conjunto de los nmeros reales se dice que es una matriz sobre R.Una matriz es a11 a12 a1n a21 a22 a2n A= am1 am2 amn Example 166 Una matriz sobre los racionales es 1 1 1 0 3 2 0 5 1 7 2 5 1 8
El elemento del segundo rengln y tercera columna a23 = 5.
Denition 167 Si la matriz tiene m renglones y n columnas se dice que es de orden m n, se lee m por n. Example 168 La matriz del ejemplo es 3 4, se lee tres por cuatro. Denition 169 Si m = n entonces se dice que la matriz es cuadrada. Denition 170 Al conjunto de los elementos aii se le llama diagonal principal de la matriz. Denition 171 La matriz cuadrada de orden n tal que 1 si i = j aij = 0 si i 6= j se le denota por In . Example 172 Para n = 4 1 0 I4 = 0 0 0 1 0 0 0 0 1 0 0 0 0 1
Denition 173 Dada una matriz A de orden m n se dene la matriz traspuesta de A como la matriz B que tiene como renglones las columnas de A. Notation 174 B = At o B = Atr o B = tras(A). Remark 175 Si A es de orden m n entonces At es de orden n m. Remark 176 Si A = (aij )mn entonces At = (aji )nm . Denition 177 Si A = At entonces se dice que A es una matriz simtrica.
5.2. REPRESENTACIN MATRICIAL DE UNA RELACIN. Producto de matrices
35
Dadas dos matrices Amn y Bnr se dene la matriz producto C de orden m r a la matriz formada por los elementos cij = ai1 b1j + ai2 b2j + . . . + ain bnj donde i = 1, . . . , m y j = 1, . . . , r. Example 178 Sean las matrices 2 3 6 A= 4 1 3 8 B= 7 dos matrices. Para poder efectuar el producto AB hay que vericar que el nmero de columnas de la primera matriz, A sea igual al nmero de renglones de la segunda matriz B. En este caso este nmero es 2 por tanto si es posible hacer el producto, se obtiene una matriz de orden 3 1. 2 3 2(8) + (3)(7) 8 4 6 = 4(8) + 6(7) 7 1 3 (1)8 + 3(7) 37 = 10 29
5.2.2.
Relaciones
La forma de representar una relacin R entre dos conjuntos nitos A y B es en un arreglo matricial en donde se ponen como renglones los elementos del primer conjunto A y como columnas los elementos del segundo conjunto B , A = {a1 , a2 , . . . , am } y B = {b1 , b2 , . . . , bn } Cuando un elemento (ai , bj ) R se coloca un 1 en el rengln i y la columna j. En los lugares donde no hay un tal elememento se pone un 0. Example 179 Para la relacin R del producto cartesiano entre A = {a, b, c, d, e} y B = {1, 2, 3, 4, 5, 6} tal que R = {(a, 1) , (b, 3) , (b, 4) , (c, 5) , (d, 2) , (d, 6) , (e, 3) , (e, 5) , (e, 6)} se representa con la matriz 1 1 0 0 0 0 2 0 0 0 1 0 3 0 1 0 0 1 4 0 1 0 0 0 5 0 0 1 0 1 6 0 0 0 1 1
MR =
a b c d e
A esta matriz se le llama matriz de adyacencia ya que al representarla grcamente cada 1 corresponde a una arista de la grca.
36
Para una relacin binaria sobre un conjunto A queda como en el siguiente: Example 180 Si A = {1, 2, 3, 4} y la relacin dada como conjunto es R = {(1, 1) , (1, 3) , (1, 4) , (2, 1) , (2, 4) , (3, 4) , (4, 1)} entonces la matriz es 1 0 1 1 1 0 0 1 MR = 0 0 0 1 1 0 0 0 y la grca
Las matrices de adyacencia se utilizan para representar una relacin en la computadora. An ms las operaciones usuales entre relaciones se pueden realizar con las operaciones usuales entre matrices y las reglas del lgebra booleana. En la siguiente seccin se da la correspondencia entre operaciones entre matrices y operaciones entre relaciones.
5.2. REPRESENTACIN MATRICIAL DE UNA RELACIN.
37
Exercise 181 Dadas las siguientes relaciones encontrar las otras tres representaciones a) A = {a, b, c, d, e, f, g }, R una relacin binaria sobre A denida por R = {(a, b) , (a, d) , (a, f ) , (a, g ) , (b, a) , (b, b) , (b, f ) , (b, g ) , (c, e) , (d, e) , (d, g ) , (e, f ) , (f, g ) , (g, c)} . b) A = {1, 2, 3}y una relacin binaria denida por la matriz 1 1 1 MR = 1 1 1 1 1 1 c)
d)
5.2.3.
Operaciones entre relaciones:
Una funcin es un caso particular de relacin. Es posible pensar en las mismas operaciones para las relaciones que las que hay entre funciones. Dos de ellas son componer las relaciones y encontrar la inversa de una relacin. Las otras dos operaciones que se exploran en estas notas son una consecuencia de ver a las relaciones como conjuntos.
38 Composicin
La composicin de relaciones R1 A B y R2 B C es la relacin R1 R2 = {(a, c) | b tal que ((a, b) R1 ) (b, c) R2 } Remark 182 La notacin utilizada es diferente a la de funciones porque al llevar la relacin a una matriz el orden de multiplicacin es MR1 MR2 . El + se sustituye por la operacin booleana (o) y por la operacin booleana (y). Las reglas son 1+1=1=1+0=0+1 0+0=0 11=1 10=01=00=0 Algunos autores utilizan el mismo orden que para funciones i.e. R2 R1 . Example 183 La relacin R1 toma clase de es un subconjunto del producto cartesiano {estudiantes del Itam} {cursos del Itam} . La relacin R2 es tiene clase en es un subconjunto del producto cartesiano {cursos del Itam}{salones del Itam} . La composicin es la relacin R1 R2 tiene clase en que es un subconjunto del producto cartesiano {estudiantes del Itam} {salones del Itam} . Denition 184 Dada la relacin binaria R sobre A se dene por induccin la potencia de R R2 = R R y Rn = Rn1 R. Exercise 185 Sea R la relacin padre de.Cul es la relacin R R? Exercise 186 Sea R1 = {(0, a) , (0, c) , (1, a) , (1, c) , (2, b)} {0, 1, 2, 3} {a, b, c} y R2 = {(a, d) , (a, e) , (a, f ) , (b, c) , (c, f )} {a, b, c} {d, e, f } . Calcular R1 R2 . Escribir las matrices asociadas a R1 , R2 y a R1 R2 , MR1 , MR2 .y MR1 R2 . Efectuar el producto de matrices MR1 MR2 sustituyendo + por la operacin booleana (o) y por la operacin booleana (y) Comparar con la matriz asociada a la composicin. Inversin. Si R es una relacin de A B entonces R1 es la relacin de B A tal que (b, a) R1 si (a, b) R. La matriz asociada a R1 es la traspuesta de MR . La grca dirigida asociada a R1 es la misma grca que R con las echas en sentido opuesto. Exercise 187 Dada la relacin binaria R sobre A = {0, 1, 2, 3} por la matriz 0 1 MR = 1 0 1 0 1 1 1 1 0 0 0 1 0 1
Calcular la matriz de R R,trazar las grcas para R y para R2 . Escribir el subconjuto del producto cartesiano A A.
5.2. REPRESENTACIN MATRICIAL DE UNA RELACIN. Complemento de una relacin.
39
Dada una relacin R A B se dene el complemento de R considerando a A B como el universo.Se denota Rc Exercise 188 Calcular el complemento de la relacin binaria R sobre A = {0, 1, 2, 3} dada por {(0, 1) , (0, 2) , (1, 0) , (1, 2) , (1, 3) , (2, 0) , (2, 1) , (3, 1) , (3, 3)} . Escribir la relacin y su complemento en forma matricial. Qu operacin hay que hacer sobre MR para obtener la matriz del complemento? Unin o Suma booleana Dadas dos relaciones R y S de A B se dene la suma booleana R S como la unin de los subconjutos del producto cartesiano.i.e. RS =RS Exercise 189 Describir como se obtiene la matriz de R S a partir de las matrices de R y S.
5.2.4.
Propiedades de las relaciones y estructura de las matrices
En captulos anteriores se dieron como ejemplos diferentes tipos de relaciones y a cada una se le di un nombre de acuerdo a las propiedades que tiene. Por ejemplo una relacin binaria es de equivalencia si es: reexiva, simtrica y transitiva.Cmo se traduce cada una de estas propiedades de la relacin para la representacin matricial? Proposition 190 Dado un conjunto A una relacin binaria R sobre A tiene una matriz asociada MR que tiene el mismo nmero de renglones que de columnas, i.e. MR es cuadrada. Una relacin R es reexiva si aRa a R Proposition 191 Si R es reexiva .entonces la matriz asociada a esta relacin tiene 1 s en la diagonal principal. Dicho de otra manera si MR = (mij ) y R es reexiva entonces mii = 1. Inversamente si mii = 1 entonces R es reexiva. Una relacin R es simtrica si aRb implica bRa a, b A.
t Proposition 192 La relacin R es simtrica si y slo s mij = mji , i.e. MR = MR , i.e. MR es simtrica.
Una relacin R es transitiva si aRb y bRc implica que aRc a, b, c A. Proposition 193 La relacin R es transitiva si y slo s la matriz asociada MR es tal que mij = 1 y mjk = 1 implica que mik = 1 i, j, k.
2 Proposition 194 Si MR = MR entonces R es transitiva.
Una relacin de orden como en el conjunto de los nmeros enteros es una relacin binaria sobre el mismo conjunto pero no es de equivalencia. Esta relacin tiene la propiedad de que a b y b a implica a = b.A esta propiedad se le llama antisimtrica.
40
Denition 195 Dado un conjunto A y R una relacin binaria sobre A se dice que R es antisimtrica si aRb y bRa implica a = b. Denition 196 Sean M = (mij ) y N = (nij ) ambas de orden m n.Entonces se dice que M N si mij nij para i = 1, . . . , m; j = 1, . . . , m. Con esta denicin se van a reescribir las proposiciones anteriores como: Proposition 197 Dado un conjunto A, nito de cardinalidad n, R una relacin binaria sobre A y MR la matriz asociada entonces (a) R es reexiva In MR t (b) R es simtrica MR = MR 2 (c) R es transitiva MR MR t (d) R es antisimtrica MR MR In Transitividad La transitividad es una propiedad de las grcas dirigidas que es interesante porque al realizar composicin de relaciones binarias se obtiene el nmero de aristas que hay que recorrer entre dos elementos cualesquiera y se obtiene una arista entre el elemento inicial y el ltimo. Una aplicacin de este algoritmo se utiliza en la deteccin de inconsistencia de datos en las bases de datos relacionales. Este error normalmente ocurre cuando un usuario modica los datos que no estn protegidos. La forma matricial de encontrar la cerradura transitiva de una relacin R es haciendo composiciones sucesivas (potencias de la matriz MR ) de la misma hasta n+1 n que MR = MR para despus tomar la disyuncin de las matrices obtenidas. MR = MR MR2 Este ltimo paso se entiende mejor si se piensa a la relacin R en la representacin como subconjunto del producto cartesiano y se ve que MR2 MR y que la digrca asociada a MR2 contiene a los caminos con al menos 3 vrtices. El algoritmo de Warshall, basado en la representacin de digrca de la relacin, simplica este proceso. Algoritmo de Warshall Recordar la denicin de camino o trayectoria en una digrca: Denition 198 Camino o trayectoria Un camino es una sucesin de vrtices y aristas que van de un vrtice llamado inicial a un vrtice llamado nal. Denition 199 Si a, v1 , v2 , . . . , vn , b es un camino en una digrca R, con a 6= v1 y b 6= vn , n > 2 entonces los vrtices v1 , v2 , . . . , vn se llaman vrtices interiores de este camino. Denition 200 Dada la relacin R se dene T la matriz de alcance de R a la matriz tal que tij = 1 si y slo s existe un camino de vi a vj . El algoritmo de Warshall consiste en ir construyendo matrices de adyacencia MR = W0 , W1 , . . . , Wn = T. Notation 201 Al elemento en el rengln i y la columna j de la matriz Wk lo denotaremos por Wk [i, j ].
5.2. REPRESENTACIN MATRICIAL DE UNA RELACIN.
41
Se van a construir las matrices inductivamente: W1 [i, j ] = 1 si y slo s hay un camino de vi a vj tal que el subconjunto {v1 } es un conjunto de vrtices interiores del camino. W2 [i, j ] = 1 si y slo s hay un camino de vi a vj tal que el subconjunto {v1 , v2 } es un conjunto de vrtices interiores del camino. Wk [i, j ] = 1 si y slo s hay un camino de vi a vj tal que el subconjunto {v1 , . . . , vk } es un conjunto de vrtices interiores del camino. Al escribir las matrices se procede como sigue: Paso1: Se toma MR = Wo Paso 2: Para construir W1 se copian los 1 s de W0 . Paso3: Se toma la columna 1y se hace una lista de todos los renglones r1 , r2 , . . . , rs en los que la entrada sea 1. Paso 4: Se toma el rengln 1 y se hace una lista de todas las columnas c1 , c2 , . . . , cs en los que la entrada sea 1. Paso 5: Escribir un 1 en la posicin ri cj si no aparece en W0 . Paso 6: Se procede a construir W2 a partir de W1 ,ahora tomando la columna 2 y el rengln 2.
Se construye Wk a partir de Wk1 y se toma la columna k y el rengln k. El proceso termina cuando k = orden de la matriz. Example 202 Considerar la relacin binaria R 0 1 0 1 0 1 MR = 0 0 0 0 0 0 Encontrar su cerradura transiitiva. con la siguiente matriz asociada 0 0 1 0
Solution 203 El primer paso es llamar W0 a MR . Para construir W1 primero se ponen los 1 s en donde aparecen en W0 1 1 1 1
Se continua el proceso pero ahora se toma la columna 2. En los renglones 1 y 2 hay un 1.
Se toma la primera columna. En el renglon 2 hay un 1. Se toma el primer rengln. En la columna 2 hay un 1.Entonces en el lugar rengln 2 columna 2 se agrega un 1. 1 1 1 1 W1 = 1
42
En el rengln 2,en las columnas 1, 2 y 3 hay un 1. Si no existen hay que agregar 1 s en los lugares (1, 1), (1, 2) , (1, 3) , (2, 1) , (2, 2) , (2, 3) y esto es W2 1 1 1 1 1 1 W2 = 1 Para construir W3 se toma la columna 3 En el rengln 3, hay 1 s en la columna 4. los lugares (1, 4) , (2, 4) . 1 1 W3 = 1 1 1 1 1 1 1 1 1 1 0
de W2 . Hay 1 s en los renglones 1, 2. Para construir W3 hay que agregar 1 s en
Para construir W4 ,en la columna 4, hay 1 s en 4 no hay 1 s. Entonces W3 = W4. P orlo tanto 1 1 1 1 1 1 T = 0 0 0 0 0 0
los renglones 1, 2, 3 y en el rengln
Exercise 204 Construir la cerradura transitiva utilizando el algoritmo de Warshall de la relacin binaria R dada por la matriz y dibujar las digrcas asociadas a R y a T. a) 0 1 0 0 1 0 1 0 MR = 1 0 0 1 0 1 0 0 b) 0 1 0 MR = 1 1 0 0 0 1
Exercise 205 Para la relacin del inciso (b) del ejercicio anterior construir T como T = I3 MR . . . Contar el nmero de operaciones que se tienen que realizar para obtener el resultado y comparar con los pasos del ejercicio anter
Captulo 6
Conteo
El problema de conteo es tan antiguo como el inicio del conocimiento humano. Los nmeros se inventaron para contar. Sin embargo, el problema moderno de conteo va ms all de la escritura y utiliza el conocimiento de la teora de conjuntos como base para contar elementos de un conjunto de posibilidades que no se pueden enumerar por la cardinalidad tan grande. Es de este tipo de problemas de los que los cursos de lgebra se ocupan en la actualidad. La teora de probabilidad, la estadstica.y la computacin del siglo XX nos obligan a conocer las nuevas tcnicas de conteo abstracto y general. Los libros de Matemticas discretas que se han escrito para ensear estas tcnicas a los futuros ingenieros y actuarios son una muestra del gran avance que han tenido estas tcnicas durante los ltimos siglos. Como siempre es en el curso de lgebra donde se explican los mtodos generales y proporcionan las habilidades de contar antes de entrar en los problemas de aplicacin dentro de la probabilidad y la computacin.
6.1.
Principios bsicos
Para precisar los conceptos a los que se van a hacer referencia primero se va a distinguir un fenmeno determinstico de uno probabilstico. Un fenmeno determinstico es aquel del que siempre se esta seguro de cual va a ser el resultado. Por ejemplo, si se suelta un objeto a cierta distancia del piso se esta seguro que ste va a estar sujeto a la fuerza de gravedad y va a llegar al piso. El fenmeno probabilstico es aquel que tiene muchas posibilidades de resultados. Por ejemplo, si se compra un billete de lotera no se sabe cual va a ser el nmero premiado. En resumen se puede decir: Denition 206 Un fenmeno probabilstico o evento es un proceso fsico que tiene un nmero de posibles resultados. Example 207 De una coleccin de objetos tomar uno para colocarlo en una caja. Example 208 Dado un nmero n de objetos colocar cierto nmero en m cajas. Example 209 Asignar ocina a un cierto nmero de profesores. Example 210 Llenar una boleta de carreras de caballos con un posible resultado para los dos primeros lugares. En este captulo se abordarn algunas tcnicas para contar el nmero de posibles resultados del fenmeno probabilstico. En los problemas simples de conteo siempre estn presentes las operaciones de suma y producto. Se iniciar con problemas simples de suma. 43
44
CAPTULO 6. CONTEO
6.1.1.
Suma y resta para contar
Se iniciar por una aplicacin simple de la teora de conjuntos y los diagramas de Venn. Suponer que dado un universo U y dos conjuntos A y B U ajenos, es decir A B = . Se denotar por N (A) a la cardinalidad del conjunto A. La siguiente igualdad es verdadera N (A B ) = N (A) + N (B ) Se demuestran, con teora de conjuntos, los siguientes resultados: Proposition 211 Dado un universo U y dos conjuntos cualesquiera de ese universo, A y B entonces los conjuntos A B, A B y B A son ajenos por parejas. Proposition 212 Dado un universo U y dos conjuntos cualesquiera de ese universo, A y B entonces A = (A B ) (A B ) . Proposition 213 Dado un universo U y dos conjuntos cualesquiera de ese universo, A y B entonces A B = (A B ) (A B ) (B A)
A int B
. A partir de estos tres resultados y del primero enunciado es posible demostrar Theorem 214 Dado un universo U y dos conjuntos cualesquiera de ese universo, A y B entonces N (A B ) = N (A) + N (B ) N (A B ) Proof. Por la segunda proposicin A = (A B ) ( A B ) = (A B ) (A B ) entonces N (A) = N (A B ) + N (A B )
6.1. PRINCIPIOS BSICOS al despejar Anlogamente N (A B ) = N (A) N (A B ) N (B A) = N (B ) N (A B )
45
Por la tercera proposicin y el resultado inicial
N (A B ) = N (A B ) + N (A B ) + N (B A) Al sustituir las ltimas igualdades N (A B ) = N (A) N (A B ) + N (A B ) + N (B ) N (A B ) N (A B ) = N (A) + N (B ) N (A B ) Exercise 215 Demostrar las tres proposiciones de teora de conjuntos. Exercise 216 Cuntos conjuntos ajenos hay en un universo cuando se trata de tres conjuntos que no son ajenos entre s? Exercise 217 Esribir el resultado para tres conjuntos. Es decir calcular N (A B C ) . Exercise 218 Cuntos conjuntos ajenos se establecen en un universo cuando hay cuatro conjuntos que no son ajenos entre s? Cuntos cuando hay n conjuntos no ajenos entre s? Example 219 Un representante del personal acadmico de una Universidad se va a escoger de entre los profesores que pertenecen al departamento de Filosofa que son 40 y los que pertenecen al departamento de Fsica que son 35. Solution 220 El primer evento es elegir del conjunto A, que es el conjunto de personas que pertenecen al departamento de Filosofa y el segundo evento es elegir del conjunto B, que es el conjunto de los que pertenecen al departamento de Fsica. Entonces N (A) = 40 y N (B ) = 35, como A B = por lo tanto N (A B ) = N (A) + N (B ) = 40 + 35 = 75. Example 221 En un grupo de 50 estudiantes de computacin se tiene que 25 estn estudiando C++, 30 estudian Visual Basic y 10 estudian ambos.Cuntos estudian un lenguaje de computacin? Solution 222 En primer lugar se identican los conjuntos. Sea U el universo el conjunto de los 50 estudiantes de computacin. El conjunto A los que estudian C++ y el conjunto B los que estudian Visual Basic. La pregunta es cul es la cardinalidad de A B ? El otro dato es que N (A B ) = 10. Una forma directa de resolver el problema con diagramas de Venn es escribir en la interseccin 10, en el conjunto A hay 25 entonces en A B hay 15. Anlogamente, en el conjunto B hay 30 entonces en B A hay 20. Al sumar los tres nmeros la respuesta es 45. Todava se puede agregar que 5 no estudian lenguaje alguno. La forma algebraica es aplicar la frmula N (A B ) = N (A) + N (B ) N (A B ) N (A B ) = 25 + 30 10 = 45 Example 223 En una encuesta a 120 pasajeros de una aerolnea se obtuvieron las siguientes respuestas.A 48 les gusta el vino con sus alimentos, a 78 les gustan bebidas preparadas y a 66 t helado. Adems a 36 les gustan cualesquiera dos de las bebidas y a 24 cualquiera de las tres.A cuntos pasajeros solamente les gusta el t? A cuntos pasajeros les gustan exactamente dos de las tres bebidas?
46
CAPTULO 6. CONTEO
Solution 224 Se dene como A al conjunto de pasajeros que les gusta el vino, B al conjunto de pasajeros que les gutan las bebidas preparadas y C al que les gusta el t helado. Primero con diagramas de VennN (A) = 48, N (B ) = 78 y N (C ) = 66. Se inicia en A B C. All hay 24 personas. Hay tres partes que corrsponden a exactamente dos de las preferencias y hay 36 personas entre todas, por lo tanto hay 12 personas en cada una. Si se suman las personas que estn en A se deduce que cualquiera que bebe vino tambin le gustan las bebidas preparadas o el t helado. Solamente hay 30 personas a las que solamente les gustan las bebidas preparadas y 66 48 = 18 a las que solamente les gusta el t helado. Al hacer la suma de todos los conjuntos ajenos resulta 24 + 3 (12) + 18 + 30 = 108. Como en total eran 120 pasajeros hay 12 que no pertenecen a estos conjuntos. Se obtuvo la informacin completa de como estn distribuidos los pasajeros. La pregunta es A cuntos les gusta el t helado solamente? La respuesta es 30. y a la pregunta A cuntos les gustan exactamente dos bebidas? es 36 = 3 (12) . La respuesta algebraica N (A B C ) = N (A) + N (B ) + N (C ) [N (A B ) + N (A C ) + N (B C )] + N (A B C ) 108 = 48 + 78 + 66 3(36) + 24 Adems la respuesta a cuntos les gusta el t helado? es N (C (A B )) Remark 225 Observar que estos problemas son de tres tipos diferentes. El primero que se abord es un proceso dinmico de algo que se va a realizar a futuro, el segundo es un evento presente y el tercero es descripcin de algo pasado. En los tres casos se aplica la suma y resta para contar. En los tres casos el evento se puede representar por conjuntos ajenos. Summary 226 Si el evento se puede describir por conjuntos ajenos ya sea que ocurrieron en el pasado, que sea la situacin actual o que van a ocurrir en el futuro,
6.2. PRINCIPIO DE INCLUSIN Y EXCLUSIN PARA DOS Y TRES CONJUNTOS47 pero todo en una sola etapa entonces el nmero de posibilidades se calcula como la suma de las cardinalidades de los conjuntos ajenos. En los siguientes ejercicios primero identicar los conjuntos ajenos para aplicar la regla de la suma. Exercise 227 Un estudiante tiene dinero para comprar solamente un libro de texto en una librera. Las dos materias de las que encuentra textos son computacin y lgebra. Encuentra 40 ttulos de lgebra y 50 de computacin. De cuntas maneras puede elegir el texto? Exercise 228 Un profesor le va a prestar un libro a un alumno para que aprenda a programar. El profesor tiene el mismo nmero de libros de C++, de Visual Basic, Maple y MathLab, 5 de cada uno. Solamente le va a prestar un libro. De cuntas formas lo puede hacer? Exercise 229 Un distribuidor de computadoras tiene 100 PCs en el almacn. De esas 25 son Pentium II, 40 tienen CD, 10 tienen monitor de 25 pulgadas y CD, 55 tienen monitor de 35 pulgadas, 15 tienen Pentium II y CD y 5 tienen Pentium II con monitor de 35 pulgadas sin CD. Cuntas son Pentium II que tienen CD y monitor de 25 pulgadas?Cuntas tiene CD, tienen monitor de 35 pulgadas y no son Pentium II?Cuntas tienen CD o monitor de 25 pulgadas y no son Pentium II? Exercise 230 En una universidad hay 512 estudiantes de computacin y todos tiene computadora. De stos 281 tienen adems impresora, 167 tienen internet, 98 tienen CD y 75 tienen impresora y CD. Cuntos de los estudiantes tienen internet y no tienen impresora ni CD? Exercise 231 Una compuerta lgica AND de un chip tiene tres conectores: dos entradas(inputs) y una salida (output). Estos conectores pueden tener tres fallas posibles: F1: la primera entrada se traba en 0. F2:la segunda entrada se traba en 0. F3: la salida se traba en 1. Para una muestra de 100 de estas compuertas sean los conjuntos A, B y C los subconjuntos con la falla F1,F2 y F3 respectivamente. Hay 23 con la falla F1, 26 con F2 y 30 con F3. Hay 7 que tienen las fallas F1 y F2, 8 con las fallas F1 y F3 y 10 con las fallas F2 y F3. Ademas hay 3 que tienen las tres fallas.Cuntas de las compuertas tienen algn defecto? Exercise 232 El administrador de una universidad reporta que hay 1500 profesores. De stos 1260 son hombres, 1080 ganan ms de $300, 000 al ao, 780 tienen ms de 35 aos, 560 son hombres mayores de 35 aos, 710 tienen ms de 35 aos y ganan ms de $300, 000 al ao, 600 son hombre que ganan ms de $300, 000 al ao. Son correctas estas cantidades? Si la respuesta es no justicar. Si la respuesta es si cuntas mjeres ganan ms de $300, 000 al ao y tienen menos de 35 aos?
6.2.
Principio de inclusin y exclusin para dos y tres conjuntos
Complemento de un conjunto Dado un conjunto universal U con cardinalidad N (U ) y unconjunto A U se tiene la relacin N (A) + N (Ac ) = N (U )
48
CAPTULO 6. CONTEO
Este hecho se utiliz para resolver algunos de los ejercicios anteriores. El empleo de este resultado combinado con las leyes de DeMorgan permite resolver algunos problemas ms. Las leyes de DeMorgan para conjuntos se enuncian (A B ) = Ac B c c (A B ) = Ac B c entonces al aplicar el resultado a la cardinalidad N (Ac B c ) = N ((A B )c ) que al aplicar la igualdad del complemento N ((A B )c ) = N (U ) N (A B ) que nalmente es Adems al sustituir se obtiene N (Ac B c ) = N (U ) N (A B ) N (A B ) = N (A) + N (B ) N (A B )
c
N (Ac B c ) = N (U ) [N (A) + N (B ) N (A B )] N (Ac B c ) = N (U ) [N (A) + N (B )] + N (A B ) Al aplicar las mismas frmulas a tres conjuntos primero se obtiene N (A B C ) = [N (A) + N (B ) + N (C )] [N (A B ) + N (A C ) + N (B C )] + N (A B C ) por lo tanto al aplicar la ley de DeMorgan para el complemento de la unin . N (Ac B c C c ) = N (U ) [N (A) + N (B ) + N (C )] + [N (A B ) + N (A C ) + N (B C )] N (A B C ) Example 233 Nmero de enteros que no son divididos por ciertos primos. Calcular el nmero de enteros entre 1 y 100 que no sean divisibles por 2, 3 y 5. Solution 234 Entonces A1 es el conjunto de los enteros entre 1 y 100 que son divisibles por 2, A2 es el conjunto de los que son divisibles por 3 y A3 los que son divisibles por 5. Para resolver el problema es necesario calcular
c c N (Ac 1 A2 A3 )
Al aplicar la frmula del principio de inclusin exclusin

c c N (Ac 1 A2 A3 ) = N (U ) [N (A1 ) + N (A2 ) + N (A3 )] + [N (A1 A2 ) + N (A1 A3 ) + N (A2 A3 )] N (A1 A2 A3 )
Como N (U ) = 100 y 100 N (A1 ) = = 50 2 100 = 33 N (A2 ) = 3 100 = 20 N (A3 ) = 5
6.2. PRINCIPIO DE INCLUSIN Y EXCLUSIN PARA DOS Y TRES CONJUNTOS49 adems 100 N (A1 A2 ) = = 16 6 100 = 10 N (A1 A3 ) = 10 100 =6 N (A2 A3 ) = 15 y 100 N (A1 A2 A3 ) = =3 30
c c N (Ac 1 A2 A3 ) = 100 [50 + 33 + 20] + [10 + 16 + 6] 3 = 26
Por lo tanto
son los enteros entre 1 y 100 que no son divisibles por 2, 3 y 5. Exercise 235 Determinar el nmero de nmeros enteros positivos n, 1 n 3000 que no son divisibles por 3, 5 y 7. Exercise 236 Una persona va a comprar un automvil de entre 15 que hay en la tienda. Le dan la siguiente informacin (a) Hay 6 que tienen aire acondicionado. (b) Hay 6 que tienen quemacocos. (c) Hay 6 que tienen CD con tocador de cinco discos. (d) Hay 1 que tiene aire acondicionado y quemacocos. (e) Hay 1 que tiene quemacocos y tocador CD de 5 discos. (f ) Hay 2 que tienen aire acondicionado y tocador de 5 discos. (g) No hay uno que tenga las tres cosas. Cuntos tienen exactamente una de las tres cosas? Cuntos no tienen ninguna de las tres cosas?
6.2.1.
Producto y divisin para contar
Cuando el evento se puede dividir en al menos dos tiempos diferentes entonces se utiliza el producto. Por ejemplo Example 237 Se van a colocar en dos cajas 10 pelotas diferentes. El primer tiempo es colocar una pelota en la primera caja. Esto se puede hacer de 10 formas diferentes. El segundo tiempo es colocar otra pelota en la segunda caja. Como ya nada ms nos quedan 9 pelotas entonces hay 9 posibilidades. En total hay 10 9 = 90 posibilidades de colocar las pelotas en dos cajas. Example 238 Para una obra de teatro hay 6 hombres y 8 mujeres que aspiran al papel principal de una pareja.De cuntas formas se puede elegir a la pareja principal? La solucin es 6 8 = 48. La eleccin de la pareja se hace en dos tiempos diferentes. Primero se elige al hombre y despus a la mujer. Example 239 Dado un producto de dos factores (x 1) (x + 3) cuntas formas posibles hay para los signos de los factores? Para el primer factor hay dos posibilidades, positivo y negativo y similarmente para el segundo factor. En total hay 4 formas posibles para los signos de estos dos factores.
50
CAPTULO 6. CONTEO
Example 240 Ahora para el producto de tres factores diferentes hay 8 posibilidades para los signos. Si nada mas interesa saber cuando el producto es negativo se divide por 2 y quedan 4 posibilidades. Exercise 241 Una fbrica de automviles produce 4 marcas diferentes, en 12 colores, con 3 tamaos de motor y 2 tipos diferentes de transmisin. Cuntos diferentes tipos de automvil se pueden producir? Exercise 242 Del men del da de un restaurante se puede escoger una sopa de entre 3 posibles, un plato intermedio de 4 posibles, un plato fuerte de entre 5 posibles y un postre de entre 3 posibles. Cuntas combinaciones de platillos hay en el men del restaurante? Exercise 243 En una taqueria se pueden pedir los tacos al pastor con o sin cebolla, con o sin cilantro, con o sin pia y con o sin salsa. De cuntas formas se pueden ordenar los tacos? Exercise 244 Cuntos casos posibles hay que considerar para resolver la desigual(x + 5) (x 3) (x 6) dad 0? (x + 2) (x 8) Exercise 245 Para ir de la Ciudad de Mxico a Guadalajara se pasa por Irapuato. Para ir de Mxico a Irapuato hay 2 caminos posibles, para ir de Irapuato a Guadalajara hay 6 alternativas. De cuntas maneras se puede viajar de la Ciudad de Mxico a Guadalajara? Exercise 246 En el ejercicio anterior hay adems dos rutas directas que no pasan por Irapuato. De cuntas maneras se puede ir de la Ciudad de Mxico a Guadalajara considerando estas nuevas rutas? Ordenaciones o permutaciones de n elementos Dados n objetos diferentes De cuntas formas se pueden ordenar? A cada una de las formas como se ordenan los n elementos se le llama permutacin porque se obtiene de la anterior permutando algunos elementos. El nombre de ordenacin viene de que cada posibilidad tiene un orden diferente. Si son n elementos entonces el primer lugar se puede llenar de n formas diferentes, el segundo de n 1 formas diferentes, as sucesivamente hasta el n -simo lugar de 1 forma. El resultado nos da n (n 1) . . . 2 (1) Denition 247 Para simplicar a este producto n (n 1) . . . 2 (1) se le llama n factorial y se denota por n!.P or conveniencia se dene 0! = 1. Exercise 248 Haz una lista completa de las permutaciones de 3 smbolos diferentes. Exercise 249 Cuntas permutaciones de 8 smbolos diferentes hay? Ordenaciones de n elementos en grupos de r Este problema se puede plantear de dos formas: Case 250 (1) Hay n smbolos diferentes y se van a llenar r lugares. De cuntas formas es posible llenar los r lugares?
6.2. PRINCIPIO DE INCLUSIN Y EXCLUSIN PARA DOS Y TRES CONJUNTOS51 Solution 251 El primer lugar se puede llenar de n formas diferentes, el segundo se puede llenar de n 1 formas diferentes, hasta el r-simo lugar se puede llenar de n (r 1) formas diferentes entonces en total hay n (n 1) . . . (n r + 1) formas diferentes de llenar los r lugares. Algebraicamente el producto es igual a n (n 1) . . . (n r + 1) = n! (n r)!
Notation 252 Como cada uno de los resultados posibles tiene un orden diferente entonces al nmero de resultados posibles se les llama ordenaciones de n elementos tomados en grupos de r y se denota por
r = O (n, r) On
Algunos autores le llaman a cada una de las posibilidades de un grupo de los r objetos una permutacin y lo denotan por P (n, r). Case 253 (2) Otra forma de ver el mismo problema es considerar que hay n lugares en donde se van a colocar r simbolos diferentes. Solution 254 El primer smbolo se puede colocar en n lugares, una vez colocado el primer smbolo quedan (n 1) lugares donde se puede colocar el segundo smbolo, as sucesivamente hasta cuando se va a colocar el smbolo r -simo hay [n (r 1)] lugares posibles donde es posible colocarlo- Es decir hay n (n 1) . . . (n r + 1) formas diferentes de colocar r smbolos en los n lugares. Exercise 255 Se van a escoger 5 personas de un grupo de30 para ocupar los cargos de la mesa directiva de la Sociedad de Alumnos. En el orden en que se elijan van a ocupar los diferentes cargos.De cuntas formas se pueden escoger? Exercise 256 De cuntas formas se pueden ordenar las letras de la palabra murcilago? Combinaciones de n elementos en grupos de r Una forma de ver las combinaciones es cuando se van a escoger n elementos en grupos de r pero el orden no es importante entonces se habla de combinaciones de n objetos tomados de r en r. Por ejemplo de un grupo de 36 alumnos se van a elegir 5 para explicar un problema. El primer lugar se puede ocupar de 36 formas diferentes, el segundo de 35, asi sucesivamente, el quinto lugar se puede ocupar de 32 formas. Pero como no importa si la persona A fue escogida en el primer lugar o en el ltimo entonces hay que dividir por el nmero de permutaciones de 5 elementos, 36 que algebraicamente es igual a 36! (36 5)!5! 36 5 n n! = (n r)!r! r 35 34 5! 33 32
que se denota por
En general
52
CAPTULO 6. CONTEO
Otra forma de ver el problema es suponer que se tienen n lugares y se van a llenar con dos objetos diferentes. Del primer objeto se van a tomar r objetos y del segundo (n r) . Como son n lugares hay n! posibles posiciones, adems como r y (n r) son iguales hay que dividir por r! (n r)!. n n! = r (n r)!r! Si se recuerda este es el coeciente del sumando r del binomio de Newton (a + b) porque cada trmino va a tener n factores con n r del smbolo a y r factores que son el smbolo b. n n1 n n (a + b) = an + b + ... + a abn1 + bn 1 n1 Exercise 257 Un estudiante presenta un examen con 10 preguntas pero el profesor le indica que solamente escoja 7 de las 10. De cuntas maneras puede escoger las preguntas? Exercise 258 De los primeros dos aos de secundaria se va a formar un equipo de volibol con 9 participantes. En primero de secundaria hay 28 personas y en segundo 25. De cuntas maneras diferentes se puede integrar el equipo? Exercise 259 Un mazo de barajas consta de 52 cartas, 13 cartas desde el as hasta el rey, en cuatro palos diferentes: trboles , corazones rojos , espadas o corazones negros y rombos . Cada carta del mazo es diferente. El problema es de cuntas formas se pueden elegir tres cartas del mazo de tal forma que no importe el orden? Exercise 260 Una persona va a invitar a 11 personas de un grupo de 20. De cuntas maneras diferentes puede hacer los grupos para invitar a las 11 personas? Exercise 261 Cuntos subconjuntos de 4 elementos se pueden formar a partir de un conjunto con 12 elementos? Exercise 262 De un mazo de 52 cartas de cuntas formas se pueden elegir 5 cartas de tal forma que no haya cartas de corazones rojos ? (Recordar que hay 13 cartas del mismo palo). Exercise 263 Cuntos trminos hay en el binomio de Newton (a+ b)10 que tengan a4 b6 ? Ordenaciones con repeticin Con reemplazo Suponer que se tienen que escribir todas las cadenas de 10 letras tomando las letras del alfabeto con 26 smbolos diferentes. Aqu se va a suponer que el nmero de veces que se puede escoger cada letra es ilimitado, otra forma de verlo es pensar que el smbolo que se va utilizando se reemplaza para la siguiente eleccin. Como hay 10 lugares cada lugar se puede llenar de 26 formas diferentes entonces hay 2610 formas diferentes para escribir cadenas de 10 letras. En general si se quieren llenar r lugares con n smbolos diferentes donde el nmero de cada smbolo es ilimitado entonces el nmero de posibilidades es nr Example 264 Un byte es un conjunto de ocho posiciones en donde cada posicin o recibe un pulso elctrico 1 o no lo recibe 0. Cuntos bytes diferentes se pueden formar?
n
6.2. PRINCIPIO DE INCLUSIN Y EXCLUSIN PARA DOS Y TRES CONJUNTOS53 Solution 265 Este problema se puede abordar considerando 8 lugares en donde en cada lugar se puede llenar con un 0 o un 1. Entonces la respuesta es 28 = 256. Exercise 266 Cuntas ordenaciones de 3 lugares se pueden hacer con las 5 vocales? Exercise 267 En la clave Morse que se utilizaba para el telgrafo solamente se podan transmitir dos tipos de seal: un pulso corto que se interpretaba como punto y un pulso largo que se interpretaba como raya. Cuntas letras diferentes de 3 pulsos se pueden formar? Cuntos pulsos mnimo se necesitan para tener una secuencia diferente para cada una de las 26 letras del alfabeto? Exercise 268 Cuntas funciones hay entre los conjuntos A = {a1 , a2 , . . . , am } y B = {b1 , b2 , . . . , bn }? Sin reemplazo Suponer ahora que el nmero de smbolos es limitado, es decir los smbolos no se van reemplazando. Por ejemplo que solamente se pueden utilizar las letras de la palabra ladrillo. De cuntas formas se pueden ordenar las letras de esta palabra? Esta palabra tiene 8 lugares. Si todas las letras fueran diferentes habra 8! maneras de ordenarlas. Como hay 3 eles entonces hay que dividir 8! por 3!. Hay 8! = 6720 3! formas de ordenar las letras de la palabra ladrillo. Cuando hay que llenar n lugares con s smbolos diferentes repetidos n1 , n2 , . . . , ns veces entonces hay n! permutaciones que hay que dividir por el producto n1 ! n2 ! . . . ns ! entonces n! n1 ! n2 ! . . . ns ! Example 269 Un maestro de educacin fsica tiene que elegir 4 equipos de 9 jugadores cada uno de un grupo de 36 alumnos. De cuntas formas se pueden elegir los cuatro equipos? Solution 270 Este problema se puede imaginar que a cada persona del grupo se le va a asignar un smbolo del 1 al 4. Cada uno de los 4 smbolos se repite 9 veces. Hay 36 lugares por lo tanto hay 36! 9!9!9!9! formas diferentes de hacer los equipos. Este problema tambin se puede pensar como una aplicacin del producto de combinaciones. En la siguiente seccin se abordar de esa manera. Exercise 271 Cul es el coeciente de x2 y 3 z 4 en el desarrollo (x + y + z )9 ? Cn mo es en general el coeciente de un sumando de (x1 + x2 + . . . + xs ) ? Exercise 272 En un grupo de 25 alumnos se van a hacer 5 equipos de 5 personas para un laboratorio. De cuntas formas se pueden hacer los equipos? Exercise 273 Cuntas ordenaciones hay de las letras de la palabra Parangaricutirimcuaro?
54 Combinaciones con repeticin o Distribuciones
CAPTULO 6. CONTEO
Suponer que se van a colocar n + 1 unos y r ceros en lnea con la condicin de que debe haber 1 uno en cada uno de los extremos de la lnea. De cuntas maneras se pueden ordenar los restantes unos y ceros? En primer lugar hay (n + 1) + r 2 lugares posibles porque dos de los lugares quedan jos con un 1. Si los objetos fueran diferentes habra ((n + 1) + r 2)! = (n + r 1)! ordenaciones. Como de esos hay n 1 unos iguales y r ceros iguales entonces hay (n + r 1)! (n 1)!r! posibles formas de ordenar (n + 1) unos y r ceros. Otra forma de abordar el problema es contar el nmero de formas que se pueden escoger de cuatro smbolos A, B, C, D, tres de ellos, sin importas el orden. Por ejemplo, es lo mismo la terna A; A; B que la terna A; B ; A que B ; A; A. Una forma sera enumerar todas las posibilidades. A, A, A A, B, B A, C, C B, B, B B, C, C C, C, C D, D, D A, A, B A, B, C A, C, D B, B, C B, C, D C, C, D A, A, C A, B, D A, D, D B, B, D B, D, D C, D, D A, A, D aparece aparece aparece aparece aparece aparece aparece AA AB AC o AD BB BC CC o CD DD
por lo tanto hay 20 combinaciones con repeticin de cuatro elementos tomados de tres en tres. Otra forma de contar las combinaciones con repeticin de 4 objetos tomados en grupos de 3 es imaginar a los cuatro objetos como categoras separadas con algn marcador, por ejemplo el marcador | . Por ejemplo, la distribucin categora 1 | categora 2 xx categora 3 | | categora 4 x 2 de categora 2 y 1 cat 4
En este caso hay un mximo de 4 categoras y 3 marcadores. Como solamente se van a tomar tres objetos de las cuatro categoras entonces se van a llenar 6 lugares con dos objetos diferentes, un elemento de la categora o un marcador, es decir 654 6 4+31 = = = 20 3! 3 3 Denition 274 Una combinacin con repeticin de un conjunto X = {x1 , . . . , xn }de n elementos diferentes tomados de r en r es una seleccin {xi1 , . . . , xir } de r elementos, sin importar el orden, tal que cada xij se puede repetir r veces y xij X. El nmero de combinaciones con repeticin de n elementos tomados en grupos de r es n+r1 (n + r 1)! (n + r 1)! = = r [(n + r 1) r]!r! (n 1)!r! (n + r 1)! n+r1 = = (n 1)! [(n + r 1) (n 1)]! n1 Example 275 A un lugar donde venden hamburguesas, hot dogs y pizzas llegan siete personas.De cuntas formas diferentes pueden ordenar?
6.2. PRINCIPIO DE INCLUSIN Y EXCLUSIN PARA DOS Y TRES CONJUNTOS55 Solution 276 Hay tres categoras diferentes para llenar 7 lugares. Entonces hay 3 + 7 1 lugares que se van a llenar en grupos de r = 7 y n = 2 elementos iguales, 3+71 9! = 7 7!2! Example 277 Una persona va a tener 20 invitados y les va a ofrecer 4 bebidas diferentes. De cuntas formas pueden distribuirse las bebidas? Solution 278 En este caso hay n = 4 categoras que se van a distribuir en grupos de r = 20 entonces hay 23! 4 + 20 1 23 22 21 = = = 1771 20 20!3! 32 Example 279 Cuntas soluciones enteras no negativas tiene la ecuacin x1 + x2 + x3 + x4 = 25? Solution 280 En este problema se puede pensar que cada variable xi es una categora entonces n = 4 y se van distribuir en grupos de r = 25. Entonces hay 4 + 25 1 28 27 26 = = 3276 25 32 soluciones. Example 281 Cuntas soluciones enteras no negativas tiene la ecuacin x1 + x2 + x3 + x4 = 25 con la restriccin de que xi 2? Solution 282 En cada categora van dos objetos al menos, entonces nos restan r = 25 8 = 17 objetos que distribuir en n = 4 categoras. Entonces hay 4 + 17 1 20 19 18 = = 540 17 23 soluciones enteras mayores o iguales a 2. Example 283 Cunts soluciones enteras no negativas hay para la desigualdad x1 + x2 + . . . + x6 < 10? Solution 284 Para abordar el problema considerar una variable extra x7 > 0 y tranformar el problema a resolver x1 + x2 + . . . + x6 + x7 = 10 con xi 0 para 1 i 6, x7 > 0. Este ltimo problema es equivalente a encontrar el nmero de soluciones enteras no negativas de y1 + y2 + . . . + y6 + y7 = 9 con yi 0 al hacer xi = yi ,para 1 i 6, y y7 = x7 1. La solucin es 5005. 7+91
9
Exercise 285 De cuntas formas se pueden distribuir 10 canicas idnticas en 6 cajas diferentes? Exercise 286 De cuntas formas se pueden distribuir 10 monedas idnticas entre 5 nios? Exercise 287 De cuntas formas se pueden distribuir 10 monedas idnticas entre 5 nios si cada nio obtriene al menos una moneda?
56
CAPTULO 6. CONTEO
Exercise 288 De cuntas formas se pueden distribuir 10 monedas idnticas entre 5 nios si el mayor obtiene al menos dos monedas? Exercise 289 De cuntas formas se pueden distribuir 15 monedas idnticas entre 5 nios si al ms pequeo solamente le tocarn una o dos? Exercise 290 De cuntas formas se pueden seleccionar 20 monedas de cuatro contenedores que tienen monedas con monedas de $1, $2, $5 $10? Cada contenedor tiene monedas de la misma clase. Exercise 291 Calcular el nmero de soluciones enteras de x1 + x2 + x3 + x4 = 32 donde a) xi 0, 1 i 4 b) xi > 0, 1 i 4 c) x1 , x2 5, x3 , x4 7 d) xi 2, 1 i4 Exercise 292 Calcular el nmero de soluciones enteras no negativas de x1 + x2 + x3 + x4 + x5 < 40 donde a) xi 0,para 1 i 5, b) xi 3,para 1 i 5. Exercise 293 Cuntos trminos diferentes, de la forma an1 bn2 hay en el desarrollo de (a + b)n considerando que dos trminos diferentes corresponden a una descomposicin de n en dos sumandos, n1 + n2 = n con 0 ni n, i = 1, 2? Exercise 294 Cuantos trminos diferentes hay en el desarrollo de (a + b + c)10 ?
6.2.2.
Integracin de los principios de suma y producto
Es claro que hay problemas que requieren del uso de una mezcla de los principios de suma y producto. En esta seccin se van a resolver ejemplos con esta mezcla de principios. Example 295 Dado un conjunto de n elementos cuntos subconjuntos se pueden formar? n Solution 296 El nmero de subconjuntos con 1 elemento se calcula como 1 , el n nmero de subconjuntos de 2 elementos es 2 , , el nmero desubconjuntos de k n elementos es n . El nmero de subconjuntos de 0 elementos es . Entonces hay k 0
n X n i=0
= (1 + 1)n = 2n
Example 297 Un estudiante en un examen tiene que responder 7 de las 10 preguntas, pero deben ser al menos 3 de las primeras 5. Solution 298 Hay tres casos a considerar. 1) El primer caso es que el estudiante responda exactamente 3 preguntas de las primeras 5 y 4 de las restantes 5. En este caso hay 5 5 54 5 = = 50 3 4 2 1 formas posibles de contestar el examen. 2) El segundo caso es que responda 4 preguntas de las primeras 5 y 3 de las restantes. 5 5 = 50 4 3
6.2. PRINCIPIO DE INCLUSIN Y EXCLUSIN PARA DOS Y TRES CONJUNTOS57 3) Finalmente, la ltima posibilidad es que responda las primeras 5 preguntas y escoja 2 de las 5 restantes 5 5 543 = = 10 5 2 23 El nmero total de posibilidades es la suma de los tres casos 50 + 50 + 10 = 110 Example 299 De cuntas formas se pueden elegir 5 cartas de un mazo de 52 de tal forma que haya al menos un corazn rojo ? Solution 300 Hay dos formas de resolver este problema. La primera es contando las formas que hay para elegir 1 corazn rojo, ms las formas que hay para elegir 2 corazones rojos, ms , sumar hasta las formas de elegir que las 5 cartas sean corazn rojo. Las cartas que quedan quitando los 13 corazones rojos son 39. Entonces 13 39 13 39 13 39 13 39 13 39 + + + + 1 4 2 3 3 2 4 1 5 0 son todas las formas posibles de elegir al menos una que sea un corazn rojo, da un total de 2, 023, 203 posibilidades. La otra forma de resolver el problema es al total de posibilidades de elegir 5 cartas del mazo de 52 restarle el nmero de posibilidades de que no contenga un corazn rojo. 52 39 = 2, 023, 203 5 5 Example 301 Determinar el nmero de formas como se puede descomponer un nmero entero positivo n como suma de enteros en donde el orden es importante. Por ejemplo el nmero 3 se puede escribir como: 3, 1 + 2, 2 + 1, 1 + 1 + 1.Hay 4 formas como se puede descomponer un nmero. Para contar sin enumerar todas las posibilidades empecemos con n = 6. Solution 302 El primer caso es con un sumando 6 y para ese nada mas hay una forma de descomponerlo. Para dos sumandos n1 + n2 = 6 con n1 , n2 > 0 . Al reescribir esta condicin con las variables x1 , x2 de tal forma que n1 = x1 + 1, n2 = x2 + 1 entonces n1 + n2 = x1 + 1 + x2 + 1 = 6 x1 + x2 = 6 2 = 4 x1 + x2 = 4, x1 , x2 0 Hay 2+41 5 = 4 4
formas de descomponer 6 en dos sumandos. Para tres sumandos 3+31 5 = 3 3 Para cuatro sumandos 4+21 5 = 2 2
58 Para cinco sumandos 5+11 5 = 1 1
CAPTULO 6. CONTEO
Para 6 sumandos solamente hay una forma. Al sumar 5 5 5 5 1+ + + + + 1 = 25 4 3 2 1 es el nmero de formas como se puede descomponer en sumandos el 6. En general el nmero n se puede descomponer en 2n1 formas como suma de enteros positivos. Exercise 303 De un examen de 12 preguntas un estudiante debe elegir 8 preguntas al menos 5 de las primeras 7 preguntas de cuntas formas puede hacerlo? Exercise 304 Para un juego de canasta se juntan dos mazos de 52 cartas y se agregan dos cartas llamadas jokers (juglares). A cada jugador se le dan 13 cartas. De cuntas formas se le pueden dar a un jugador las cartas de tal forma que contenga al menos 5 trboles ? Exercise 305 En computacin se dene una cadena c como una sucesin de smbolos tomados de un conjunto S de smbolos diferentes. La longitud de una cadena es el nmero de elementos de la sucesin. Cuntas cadenas de longitud 5 se pueden formar con 3 smbolos diferentes?
6.2.3.
Miscelnea de problemas
Exercise 306 Cuntas ordenaciones diferentes de las letras de la palabra resolver hay? Exercise 307 De cuntas formas se pueden sentar 6 personas en una mesa circular? Exercise 308 Diana tiene que elegir 5 revistas de 12 que tiene.De cuntas formas puede hacerlo? Exercise 309 Un comit de 8 personas ser elegido entre 15 hombres y 15 mujeres. De cuntas formas se puede hacer la eleccin? Exercise 310 En el comit del problema anterior debe haber 4 hombres y 4 mujeres. Exercise 311 En el comit del problema 4 debe haber un nmero par de mujeres. Exercise 312 En el comit del problema 4 debe haber al menos dos hombres. Exercise 313 Al ordenar la comida en la cafetera se pueden ordenar dos de tres sopas y tres de ocho verduras.De cuntas formas puede ordenar una persona su comida? Exercise 314 Una persona llega a una esta y encuentra que hay 20 personas. Si la persona que llega saluda a todos de mano a cuntas personas saluda de mano? Exercise 315 De cuntas formas se pueden repartir 10 bolas idnticas en cuatro recipientes diferentes de modo que a) ningn rescipiente quede vaco? b) en el cuarto recipiente haya un nmero par de bolas?
6.2. PRINCIPIO DE INCLUSIN Y EXCLUSIN PARA DOS Y TRES CONJUNTOS59 Exercise 316 De cuntas formas es posible recorrer el plano del punto (1, 1) al (8, 9) si cada movimiento es de cualquiera de los siguientes dos tipos h : (x, y ) (x + 1, y ) v : (x, y ) (x, y + 1)? Exercise 317 En la fabricacin de automviles pueden aparecer tres tipos de defectos mayores y ocho tipos de defectos menores. De cuntas formas se pueden presentar los defectos? Exercise 318 Cuntos sumandos diferentes hay en el desarrollo de (a + b + c + d)12 ? Exercise 319 Cuntos sumandos diferentes hay en el desarrollo de (x1 + x2 + . . . + xn )m ? Exercise 320 Una relacin es un subconjunto de un producto cartesiano A B, si N (A) = 3 y N (B ) = 4 Cuntas relaciones hay en A B ? Exercise 321 Para el caso en que N (A) = m y N (B ) = n cuntas relaciones hay de A en B ? Cuntas funciones hay de A en B ?
60
CAPTULO 6. CONTEO
Captulo 7
Los nmeros enteros.

7.1. El anillo de los nmeros enteros
Una parte importante del lgebra moderna es el estudio de las estructuras algebraicas. Los nmeros enteros con sus operaciones tienen una estructura llamada anillo conmutativo con 1.En este momento es importante agrupar y ordenar las propiedades de las operaciones para utilizarlas.
7.2.
Propiedades de las operaciones entre enteros.
Para los nmeros enteros Z hay dos operaciones, suma + y producto .Las propiedades son las siguientes: 1. El conjunto de los nmeros enteros es cerrado bajo la operacin suma,es decir si a Z, b Z entonces a + b Z 2. La suma es asociativa, a Z, b Z, c Z se cumple que a + (b + c) = (a + b) + c. 3. Existe un nmero llamado cero, 0 tal que a Z, a + 0 = a 4. Para todo nmero entero a existe un entero a llamado el inverso aditivo de a tal que a + (a) = 0. 5. La suma es conmutativa, es decir a Z, b Z se cumple que a + b = b + a. 6. El conjunto de los nmeros enteros es cerrado bajo la operacin producto, es decir si a Z, b Z entonces a b Z. 7. El producto es asociativo, a Z, b Z, c Z se cumple que a (b c) = (a b) c. 8. Existe un nmero llamado uno,1 tal que a Z, a 1 = a. 9. El producto es conmutativo, es decir a Z, b Z se cumple que ab = ba. 10. La suma distribuye al producto, es decir a Z, b Z, c Z, a (b + c) = a b + a c. Al igual que para los nmeros naturales se pueden demostrar una serie de propiedades que son utilizadas en la resolucin de ecuaciones con nmeros enteros. Proposition 322 El 0 en los enteros es nico. 61
62
CAPTULO 7. LOS NMEROS ENTEROS.
Proposition 323 El 1 en los enteros es nico. Proposition 324 Ley de la cancelacin: Si a + b = c + b entonces a = c. Proposition 325 (a) = a Proposition 326 El inverso aditivo es nico. Proposition 327 a Z , a0 = 0. Proposition 328 (a)(b) = ab Proof. [ab + a (b)] + (a) (b) = ab + [a (b) + (a) (b)] = ab + [a + (a)] (b) = ab + 0 (b) = ab Por otro lado [ab + a (b)] + (a) (b) = a [b + (b)] + (a) (b) = a0 + (a)(b) = 0 + (a)(b) = (a)(b) Por transitividad ab = (a)(b) Theorem 329 La ley de la cancelacin para la multiplicacin de enteros es equivalente a demostrar que si ab = 0entonces a = 0 b = 0. Proof. Primero probaremos que la ley de la cancelacin implica que si ab = 0entonces a = 0 b = 0. Supongamos que ab = 0. Esto implica que ab = 0 = a0 como la ley de la cancelacin se cumple entonces b = 0. Inversamente, si a 6= 0 y ab = ac entonces ab ac = 0 a(b c) = 0 como a 6= 0 entonces b c = 0, por lo tanto b = c. Exercise 330 Demuestra las proposiciones enunciadas para los nmeros enteros.
7.3.
Divisibilidad
. En la antigedad se medan distancias con cuerdas con nudos. La longitud de algo era por ejemplo tres nudos. Cuando se tena un problema en concreto se trataba de medir con el menor nmero posible de nudos. Si una longitud caba un nmero entero de veces en otra se poda cambiar de unidad para medir tomando la ms grande y si se tena que medir parte de una unidad si la longitud era un divisor de la original entonces se poda tomar la parte como nueva unidad para medir. Por esta razn toda la teora de divisibilidad en los enteros esta relacionada con la geometra.
7.3. DIVISIBILIDAD
63
Denition 331 Dados dos nmeros a y b Z se dice que a divide a b si existe q Z tal que aq = b. Notation 332 a divide a b se denota por a | b. Tambin se dice que b es un mltiplo de a. Remark 333 La divisibilidad es una relacin binaria sobre Z pero no es de equivalencia ya que no es simtrica. Las propiedades de la relacin binaria | son: 1. Si a | b entonces |a| |b| . 2. Si a | b y b | c entonces a | c. 3. Si a | b y a | c entonces a | b + c 4. Si a | b entonces ac | bc. 5. Si a | b y b | a entonces a = b o a = b Exercise 334 Encuentra todos los divisores de 60. Investiga cul era la base del sistema de numeracin babilonio. Justica porqu utilizaban esta base pensando en que bsicamente era utilizada para medir ngulos y longitudes. Exercise 335 Demuestra las propiedades para la relacin binaria | . Exercise 336 Da un ejemplo donde a | bc y a - b y a - c.
7.3.1.
Algoritmo de la divisin
Theorem 337 Dados dos nmeros enteros a y b, b 6= 0, existen nmeros q, r Z tales que a = bq + r con 0 r < |b| . Proof. Dados a, b Z,sea S = {s N |s = a bq } . El conjunto S es un subconjunto de N. Adems S 6= porque como b 6= 0 entonces |b| 1. En este caso hay dos posibilidades: (i)si b 1 entonces b |a| |a| a b( |a|) = a + b |a| a + |a| 0 De donde a b( |a|) S. (ii) Si b 1 entonces b 1. De donde |a| (b) |a| b |a| |a| Por lo tanto a b |a| a + |a| 0 de donde a b |a| S. De estas dos posibilidades se concluye que S 6= . Por el principio del buen orden S contiene un mnimo. Sea r S el mnimo de S. Como r S entonces r = a bq para alguna q Z y r 0. Falta demostrar que r < |b| . Como b 6= 0, |b| 1. Otra vez hay dos posibilidades
64
CAPTULO 7. LOS NMEROS ENTEROS. (i) Si b > 0 entonces b 1.De aqu se deduce que a b(q + 1) = a bq b = r b < r
Por lo tanto a b(q + 1) / S porque r es el mnimo en S. Pero S contiene a todos los enteros positivos de la forma a bx. Por lo tanto a b(q + 1) es negativo. De aqui se deduce que r = a bq = a bq b + b = a b(q + 1) + b < b = |b| r < |b| (ii) Si b < 0 entonces b 1. a b(q 1) = a bq + b = r + b < r De la misma forma que antes, de aqui se deduce que a b(q 1) / S.y que a b(q 1) < 0.Por tanto r = a bq = a bq + b b = a b(q 1) b = a b(q 1) + |b| < |b| r < |b| De ambos caso se deduce que r < |b| . Ahora se demostrar que q y r son nicos. Supongamos que existen q 0 y r0 tales que a = bq 0 + r0 = bq + r con 0 r0 < |b| y 0 r < |b| . De esta igualdad se deduce que bq bq 0 = r0 r b(q q 0 ) = r0 r (7.1)
Por lo tanto |b| | |r0 r| . Como 0 r < |b| entonces al multiplicar por 1 esta desigualdad queda |b| < r 0 Al sumar esta ltima desigualdad y 0 r0 < |b| se obtiene |b| < r0 r < |b| 0 |r0 r| < |b| |b| |q q 0 | < |b| De donde Sustituyendo |r0 r| por |b| |q q 0 | se obtiene Por lo tanto Como q y q 0 son nmeros enteros entonces q q 0 = 0.De donde q = q 0 y nalmente r = r0 . 0 |q q 0 | < 1
7.3. DIVISIBILIDAD Exercise 338 Encuentra q y r para 57 y 25.Expresa 57 como 25q + r.
65
Exercise 339 Si a < b cules son los valores de q y r en a = bq + r, 0 r < |b|? Exercise 340 A los divisores de 1 en Z se les llama unidades. Demuestra que las nicas unidades en Z son 1. Denition 341 Dados dos nmeros enteros a y b se dice que d es el mximo comn divisor (m.c.d.) de a y b si (i) d > 0, d | a y d | b. (ii) Si existe d0 tal que d0 | a y d0 | b entonces d0 | d. Notation 342 Si d es el m.c.d. de a y b, se escribe d = (a, b). Lemma 343 Si d = (b, r) entonces d = (a, b),donde a = bq + r. Proof. Si d = (b, r) entonces existen s1 y s2 Z tales que ds1 = b y ds2 = r. Sustituyendo en la igualdad a = bq + r a = ds1 q + ds2 = d(s1 q + s2 ) De donde d divide a a. Por lo tanto, como ddivide a b si d0 = (a, b) entonces d | d0 , porque d0 es el mximo. Anlogamente, como d0 | a y d0 | b entonces d0 | r. Como d = (b, r) entonces 0 d | d. De ambas conclusiones se deduce que d = d0 .
7.3.2.
Algoritmo de Euclides
Theorem 344 Algoritmo de Euclides. Dados dos nmeros enteros a y b, rn+1 el ltimo residuo diferente de 0 en el proceso a = bq + r, 0 r < |b| b = rq1 + r1 0 r1 < r r = r1 q2 + r2 0 r2 < r1 r1 = r2 q3 + r3 0 r3 < r2 rn1 = rn qn+1 + rn+1 0 rn+1 < rn rn = rn+1 qn+2 es el m.c.d. de a y b. Proof. Como rn = rn+1 qn+2 entonces (rn , rn+1 ) = rn+1 . Por el lema (rn , rn+1 ) = (rn , rn1 ) Si continuamos aplicando el lema rn = (rn , rn+1 ) = (rn , rn1 ) = . . . = (b, r) = (a, b)
66
Remark 345 Si d = (a, b) entonces d > 0. Denition 346 Dados dos nmeros enteros a y b, a una expresin de la forma ma + nb, con m y n enteros, se llama combinacin lineal de a y b. Notation 347 Si r = ma + nb entonces se denotar por r es c. . de a y b. Lemma 348 En el algoritmo de la divisin de a y b,donde a = bq + r 0 r < |b|
r el residuo es una combinacin lineal de a y b. Proof. La demostracin es trivial ya que r = a + b (q ) . Lemma 349 Si rn+1 es c. . de rn y rn1 y rn es c. .de rn1 y rn2 entonces rn+1 es c. . de rn1 y rn2 . Proof. Como rn1 = rn qn+1 + rn+1 entonces rn+1 es combinacin lineal de rn y rn1 . rn+1 = rn1 + rn (qn+1 ) Anlogamente rn es combinacin lineal de rn1 y rn2 . rn = rn2 + rn1 (qn ) Sustituyendo esta ltima igualdad en la anterior rn+1 = rn1 + (rn2 + rn1 (qn )) (qn+1 ) = rn1 (1 + qn qn+1 ) + rn2 (qn+1 ) De donde rn es combinacin lineal de rn1 y rn2 . Theorem 350 Si d = (a, b) entonces d es la mnima combinacin lineal de a y b. Proof. Utilizando sucesivamente el ltimo lema se concluye que rn+1 = d = (a, b) es combinacin lineal de a y b. Para probar que d es la mnima combinacin lineal de a y b suponer que existe otra combinacin lineal de a y b. d0 = ma + nb Por la denicin de d, d | a y d | b. Entonces existen q1 y q2 tales que dq1 = a y dq2 = b. Sustituyendo d0 = mdq1 + ndq2 = d (mq1 + nq2 ) Por tanto d | d0 .De donde 0 d |d0 | . Exercise 351 Encuentra el m.c.d. de 315 y 28. Exprsalo como combinacin lineal de los nmeros. Exercise 352 Demuestra que si (a, c) = 1, a | m y c | m entonces ac | m. Exercise 353 Demuestra que si a > 0 entonces (ab, ac) = a(b, c). Denition 354 Dos nmeros enteros a y b son primos relativos si (a, b) = 1.
7.3. DIVISIBILIDAD Theorem 355 Si d = (a, b) y d = ma + nb entonces (m, n) = 1.
67
Proof. Como d = (a, b) , d | a y d | b. Entonces existen q1 y q2 tales que dq1 = a y dq2 = b. Sustituyendo d = mdq1 + ndq2 = d(mq1 + nq2 ) 1 = mq1 + nq2 Como 1 es el mnimo entero positivo entonces (m, n) = 1. Exercise 356 Demuestra que si (a, m) = (b, m) = 1 entonces (ab, m) = 1 Exercise 357 Demuestra que si (a, c) = d, a | b y c | b entonces ac | bd. Denition 358 Dados dos nmeros enteros a y b, a un nmero m > 0 se le llama mnimo comn mltiplo(m.c.m.) de a y b si (i) a | m y b | m. (ii) si a | m0 y b | m0 entonces m | m0 . Notation 359 Al m.c.m. m de a y b se le denota por m = [a, b]. Theorem 360 Si (a, b) = 1 entonces [a, b] = ab. Proof. Sea m = [a, b]. Como ab es un mltiplo comn de a y de b, m | ab. Por tanto m ab. Si (a, b) = 1 entonces existen m y n Z tales que 1 = ra + sb. Como m = [a, b] entonces existen q1 y q2 tales que aq1 = m y bq2 = m. Al multiplicar por m la igualdad y sustituirla de forma cruzada m = mra + msb = bq2 ra + aq1 sb Agrupando y factorizando m = ab(rq2 + sq1 ) Por tanto ab | m. De donde ab m. De ambas conclusiones se obtiene que m = [a, b]. Theorem 361 Si a, b Z entonces [a, b](a, b) = ab. Remark 362 Este ltimo teorema nos permite calcular el m.c.m. de dos nmeros utilizando el algoritmo de Euclides. Exercise 363 Calcular el m.c.m. de a) 365 y 280. b) 1001 y 144..
68
7.4.
.
Nmeros primos
Denition 364 Un nmero entero positivo p 6= 1 es primo si sus nicos divisores son 1 y p. Theorem 365 Si p es primo y p | ab entonces p | a p | b. Proof. Suponer que p | ab y que p - a. Se probar que p | b. Como p divide ab entonces existe q Z tal que pq = ab. Como p - a y p es primo entonces (a, p) = 1; ya que si d = (a, p) entonces d | a y d | p pero los nicos divisores positivos de p son 1 y p,pero p - a.Por tanto d = 1. Como (a, p) = 1 entonces existen r, s Z tales que 1 = ar + ps Multiplicando por b esta igualdad b = abr + ps Sustituyendo ab = pq en la ltim igualdad b = pqr + ps = p(qr + s) De donde se concluye que p | b. Corollary 366 Si c | ab y (c, a) = 1 entonces c | b. Proposition 367 Si p es primo entonces Proof. Suponer que (a, b) = 1 y tales que p no es racional.
p es racional. Esto quiere decir que existen a, b Z con a p= b
al elevar al cuadrado a2 b2 2 pb = a2 p= Esta ltima igualdad implica que p | a2 . Por el teorema p | a. Esto implica que pq = a. Sustituyendo en la ltima igualdad pb2 = (pq )2 = p2 q 2 Al simplicar b2 = pq 2 De donde p | b2 .Otra vez por el teorema p | b. Esto es una contradiccin porque se haba supuesto que (a, b) = 1.Por lo tanto p no es racional.
7.5. TEOREMA DE FACTORIZACIN NICA
69
7.5.
Teorema de factorizacin nica
Theorem 368 Fundamental de la aritmtica o de factorizacin nica. Todo nmero entero a se puede descomponer de forma nica, salvo el orden, como producto de nmeros primos. Proof. Si a es primo entonces ya no hay nada que demostrar. Si a no es primo entonces a = bc donde b, c < a. Se utilizar el principio de induccin en su segunda forma.(incompleta) Theorem 369 Todo nmero compuesto a > 0 es divisible por un primo p a.
Proof. Como a es compuesto entonces a = bc con b > 1 y c > 1. Es posible suponer que b c por la tricotoma. Supongamos que b > a. Como c b entonces c b > a. Por lo tanto c > a. De c > a y b > a se tiene que bc > a a = a,lo que contradice que a = bc. Por lo tanto b a Exercise 370 Encontrar la descomposicin en primos de los siguientes enteros: (i) 1001 (ii) 847 (iii) 923 (iv) 60 (v) Describir un procedimiento para encontrar el divisor primo ms grande cuando nos dan un nmero entero. Exercise 371 Dados los nmeros enteros positivos se dene la media geomtrica de a y b al nmero ab. En la gura demuestra que el segmento P Q tiene longitud ab
El segmento AB. es el dimetro de la circunferencia. El punto P es el punto sobre la circunferenica ,|AQ| = a, |QB | = b a+b Demostrar que la media aritmtica de a y b, es mayor o igual que su media 2 geomtrica.
Captulo 8
Congruencias
8.1. Denicin
Denition 372 Se dene la relacin binaria en Z, dos nmeros enteros son congruentes mdulo m, m > 0 y se escribe a b mod(m) si m | b a. Theorem 373 La relacin binaria sobre Z, mod(m) es una relacin de equivalencia. Proof. La relacin es reexiva porque a a mod(m) porque m0 = a a = 0. La relacin es simtrica porque si m | b a entonces existe q tal que mq = b a. De donde m(q ) = a b y por tanto b a mod(m). La relacin es transitiva ya que si a b mod(m) y b c mod(m) entonces existen q1 y q2 tales que mq1 = b a y mq2 = c b. Al sumar ambas igualdades mq1 + mq2 = (b a) + (c b) m(q1 q2 ) = c a Por lo tanto a c mod(m). Como mod(m) satisface las tres propiedades que denen a una relacin de equivalencia entonces es una relacin de equivalencia. Como mod(m) es una relacin de equivalencia sobre Z entonces parte en clases ajenas a Z. Para tener una idea de como son las clases de equivalencia respecto a esta relacin hay que considerar que al dividir un nmero entero por m Z es posible obtener m residuos diferentes: 0, 1, . . . , (m 1). Example 374 Considerar m = 4,los residuos posibles son 0, 1, 2, 3. Al tomar un nmero entero, por ejemplo 97 y dividirlo por 4 se obtiene 97 = 4(24) + 1 Esto implica que 97 1 mod(4). Proposition 375 Dos nmeros enteros a, b son congruentes mod(m) si y slo si tienen el mismo residuo al dividirse por m. i.e. a = mq1 + r b = mq2 + r 71 0r<m 0r<m
72
CAPTULO 8. CONGRUENCIAS
Proof. Primero se mostrar que si son congruentes entonces dejan el mismo residuo. a b mod(m). Por el algoritmo de la divisin existe nmeros enteros q1 , r1 , q2 , r2 tales que a = mq1 + r1 b = mq2 + r2 Esto implica que a r1 mod(m) b r2 mod(m) como a b mod(m),por transitividad de la relacin de equivalencia r1 r2 mod(m) Como 0 r1 , r2 < m esto implica que r1 r2 = m0 = 0, .de donde r1 = r2 . Inversamente, ahora suponer que a y bdejan el mismo residuo r al dividirse por m. Por lo tanto a r mod(m) b r mod(m) Por transitividad a b mod(m) Remark 376 Una clase de equivalencia respecto a mod(m) esta formada por todos los enteros que dejan el mismo residuo. Denir 0 = {z Z | z = mq para alguna q Z} 0 r1 < m 0 r2 < m
m 1 = {z Z | z = mq + (m 1) para alguna q Z} Denition 377 Se dene Zn = 0, 1, . . . , n 1 como el conjunto de clases de equivalencia mdulo n. Example 378 Para m = 4 las clases de equivalencia son 0 = {mltiplos de 4} , 1, 2, 3.Las operaciones entre clases de equivalencia queda denida en las siguientes dos tablas + 0 1 2 3 1 2 3 0 0 1 2 3 1 1 2 3 1 1 2 3 0 2 2 0 2 2 2 3 0 1 3 3 2 1 3 3 0 1 2
1 = {z Z | z = mq + 1 para alguna q Z}
Exercise 379 Construir las tablas de las operaciones de Z5 , Z9 . Exercise 380 Demostrar que Zn con las propiedades de + y denidas para las clases de equivalencia tiene las mismas propiedades que los nmeros enteros. Es decir (Zn , +, ) es un anillo conmutativo con 1. Exercise 381 Para Z6 encuentra los divisores propios de 0.
8.2. PROPIEDADES
73
8.2.
Propiedades
Theorem 382 La relacin de equivalencia mod(m) tiene las siguientes propiedades (i) a b mod(m) a + c b + c mod(m)c Z. (ii) a b mod(m) ac bc mod(m)c Z (iii) a b mod(m) y c d mod(m) a + c b + d mod(m) (iv) a b mod(m) y c d mod(m) ac bd mod(m) (v) a b mod(m) an bn mod(m) Proof. Las propiedades (i) y (ii) son inmediatas de la denicin de mod(m) ya que si m | b a entonces m | (b + c) (a + c) y m | bc ac. La propiedad (iii) es verdadera porque si m | b a y m | d c entonces existen q1 y q2 tales que mq1 = b a mq2 = d c Sumando ambas igualdades, factorizando y agrupando m(q1 q2 ) = (b + d) (a + c) Para demostrar la propiedad (iv), como m | b a y m | d c entonces mq1 = b a mq2 = d c Ahora bien bd ac = (b a)(d c) + bc + ad 2ac = (b a)(d c) + c(b a) + a(d c) = mq1 mq2 + cmq1 + amq2 = m(mq1 q2 + cq1 + aq2 ) Por lo tanto m | bd ac De donde ac bd mod(m) Proposition 383 La congruencia ax 1 mod(m) tiene solucin si y slo si (a, m) = 1. Proof. Si la congruencia tiene solucin entonces m | 1 ax. Es decir, existe q tal que mq = 1 ax De donde mq + ax = 1 Por lo tanto (a, m) = 1. Si (a, m) = 1 entonces 1 = mr + as de donde mr = 1 as Por lo tanto as 1 mod(m).
74
CAPTULO 8. CONGRUENCIAS
Corollary 384 Si p es primo entonces en Zp todos los elementos tienen inverso multiplicativo. Corollary 385 La congruencia ax b mod(m) tiene solucin si y slo si (a, m) = 1. Exercise 386 En Z6 encontrar los elementos que tienen inverso multiplicativo.
8.3.
Teorema chino del residuo
El teorema chino del residuo es un teorema que se origin en las conversiones de un calendario lunar a uno solar. Este problema se resolvi en diferentes culturas pero en vista de que los chinos manejan hasta la poca actual ambos calendarios entonces se le di el nombre. Suponer que se quiere encontrar un valor de x tal que x b1 mod(m1 ) x b2 mod(m2 ) x bs mod(ms ) La respuesta es que es posible encontrar una x que satisfaga todas las relaciones si mi y mj son primos relativos i 6= j tales que i, j {1, 2, . . . , s} . Theorem 387 El sistema de congruencias x b1 mod(m1 ) x b2 mod(m2 ) x bs mod(ms ) tiene solucin nica congruente mod(m1 m2 ms ) si (mi , mj ) = 1 i 6= j tales que i, j {1, 2, . . . , s} . Proof. Se dene Mt como m1 m2 . . . ms = Mt mt t {1, 2, . . . , s} . Sea Mt0 tal que Mt Mt0 1 mod(mt ). Entonces Mt Mt0 bt bt mod(mt ). El nmero x0 = 0 0 M1 M1 b1 +. . .+Ms Ms bs es congruente con bi mod(mi ). Sea y x0 mod(m1 m2 ms ). Exercise 388 Resolver el siguiente sistema de congruencias x 2(mod3) x 3(mod5) x 2(mod7) Exercise 389 Un problema de calendarios. Un mes lunar tiene aproximadamente 29,5 das. Si se tiene luna llena un lunes al atardecer Cuntos meses despus se tendr luna llena un mircoles a la misma hora aproximadamente? Exercise 390 Demostrar que si p es primo y a, b son enteros entonces (a + b)p ap + bp mod(p) Exercise 391 Generalizar el resultado anterior a n sumandos diferentes. Finalmente hacer a1 = a2 = = an = 1 y enunciar el teorema. Este ltimo teorema, ligeramente modicado, se llama el pequeo teorema de Fermat.
Captulo 9
Bibliografa
Beaumont, Ross A. and Pierce, Richard S. The Algebraic Foundations of Mathematics. Addison-Wesley Publishing Company, Inc. 1963 USA. Birkho, Garrett; Mac Lane, Saunders. A survey of Modern Algebra. Fourth Edition. Macmillan Publishing Co Inc. New York. Collier Macmillan Publishers. 1977 USA. Cohn, P.M. Algebra, Volume 1 Second Edition. John Wiley & Sons.1995. Cohen, Arjeh M.; Cuypers, Hans; Sterk, Hans. Algebra Interactive! Learning Algebra in an exciting way. Springer Verlag Berlin Heidelberg, 1999. Epp, Susan. Discrete Mathematics with Applications. Second Edition. PWS. ITP An International Thomson Publishing Company 1995. Fletcher, Peter; Hoyle, Hughes; Patty, Wayne. Foundations of Discrete Mathematics. PWS-Kent Publishing Company 1991. Gardner, Martin. A Gardners Workout. Training the Mind and Entertaining the Spirit. AK Peters Ltd. 2001. Canada. Grimaldi, Ralph P., Matemticas discretas y combinatoria. Editorial Addison Wesley Longman, Tercera Edicin. Mxico 1998. Liu,Chung Laung. Elements of Discrete Mathematics.Second Edition. Mc Graw Hill International Editions.1985. Niven, Ivn; Zuckerman, Herbert S., Montgomery, Hugh L. An Introduction to the Theory of Numbers.John Wiley & Sons Fifth Edition. USA 1991. Vinogrdov, Ivn Matvevich. Fundamentos de la Teora de Nmeros. Editorial Mir Mosc. 1977.
75
ndice alfabtico
Algoritmo de Euclides Enteros, 69 axiomas, 3, 4 axiomas de Peano, 11 buen orden naturales, 20 camino trayectoria, 35, 44 camino simple, 35 cardinalidad conjunto, 17 ciclo camino cerrado, 35 clase de equivalencia relacion de equivalencia, 28 combinacion lineal enteros, 70 complemento de un conjunto, 8 complemento de una relacin, 43 composicin de funciones, 23 composicin de relaciones, 42 congruencia enteros, 75 conjetura, 4 conjunto, 4 conjunto universal universo, 8 conjunto vaco, 8 conjuntos, 7 corolario, 4 denicin inductiva, 17 demostracin, 3 demostracin por induccin por induccin, 12 Descartes, 3 Diagrama de Hasse Hasse, 34 divisibilidad, 66 dominio de una funcin, 21 elemento, 7 enteros modulo n, 76 76 Euclides, 3 funcin, 21 funcin inversa, 25 funcin inyectiva uno a uno biunvoca, 22 funcin suprayectiva sobre, 22 Fundamental de la aritmetica Factorizacion unica enteros, 73 Grca, 33 igualdad de conjuntos, 7 imagen de una funcin, 21 interseccin de conjuntos, 8 inversa de una relacin inversin, 42 inverso del inverso enteros, 66 lazo, 35 lema, 4 ley de la cancelacion enteros, 66 Leyes de De Morgan, 9 leyes de los signos enteros, 66 mtodo axiomtico, 3 Matriz de adyacencia, 39 matriz de alcance, 44 maximo comun divisor, 69 minimo comun multiplo enteros, 71 nmero primo, 72 nmeros enteros, 65 nmeros naturales, 11 Operaciones entre relaciones, 41 orden naturales, 19
NDICE ALFABTICO Pitgoras, 3 potencia de una relacin, 42 primos relativos enteros, 70 Principio de induccin Axiomas de Peano, 11 producto cartesiano, 9 Propiedades de la congruencia, 77 relacin, 21 Relacin binaria, 27 relacin de equivalencia, 27 sistema de congruencias teorema chino del residuo, 78 subconjunto, 7 suma booleana de relaciones, 43 Tales de Mileto, 3 teorema, 4 teorema chino del residuo congruencias, 78 unin de conjuntos, 8 unicidad del 0 enteros, 65 unicidad del 1 enteros, 66 unicidad del inverso multiplicativo enteros, 66 unidades enteros, 69 vrtices interiores de un camino, 44
77

Algebra Superior Reyes

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Algebra Superior Reyes

Cargado por

Copyright:

Formatos disponibles

lgebra Superior

Araceli Reyes Septiembre 2003

7. Los 7.1. 7.2. 7.3.

CAPTULO 1. MTODO AXIOMTICO

1.3. DEDUCCIONES Y DEMOSTRACIONES

CAPTULO 1. MTODO AXIOMTICO

Terminologa y notacin de conjuntos

CAPTULO 2. CONJUNTOS Y FUNCIONES

Propiedades de las operaciones entre conjuntos.

2.3. PRODUCTOS CARTESIANOS

CAPTULO 2. CONJUNTOS Y FUNCIONES

Los nmeros naturales

Propiedades de las operaciones entre naturales

CAPTULO 3. LOS NMEROS NATURALES

Demostraciones por induccin

3.3. DEMOSTRACIONES POR INDUCCIN Proposition 42 La frmula 1 + 2 + ... + n = n (n + 1) 2

Proposition 43 La frmula 12 + 22 + 32 + . . . + n2 = n (n + 1) (2n + 1) 6

CAPTULO 3. LOS NMEROS NATURALES

por lo tanto 12 + 22 + 32 + . . . + n2 + (n + 1)2 = (n + 1) (n + 2) (2(n + 1) + 1) 6

3.3. DEMOSTRACIONES POR INDUCCIN

CAPTULO 3. LOS NMEROS NATURALES

3.4. DEFINICIONES INDUCTIVAS

Exercise 62 Denir inductivamente A1 A2 An . Exercise 63 Denir la asociatividad de la suma inductivamente.

CAPTULO 3. LOS NMEROS NATURALES

3.6. RELACIN DE ORDEN

Denition 73 Si m y n N se dice que m < n si existe s N tal que m + s = n.

Propiedades del orden.

CAPTULO 3. LOS NMEROS NATURALES

Principio del buen orden

Proposition 77 El principio del buen orden implica el principio de induccin.

3.8. FUNCIONES Y RELACIONES

CAPTULO 3. LOS NMEROS NATURALES

Las funciones se clasican: Por su regla de asociacin en inyectivas o no inyectivas .

3.10. COMPOSICIN DE FUNCIONES

CAPTULO 3. LOS NMEROS NATURALES

3.11. FUNCIONES INVERSAS

CAPTULO 3. LOS NMEROS NATURALES

CAPTULO 4. RELACIONES BINARIAS

4.2. RELACIONES DE EQUIVALENCIA

CAPTULO 4. RELACIONES BINARIAS

CAPTULO 5. MATEMTICAS DISCRETAS

5.1. RELACIONES ENTRE CONJUNTOS FINITOS de Dijkstra. A continuacin se presentan.

La grca para el problema es la siguiente:

CAPTULO 5. MATEMTICAS DISCRETAS

5.1. RELACIONES ENTRE CONJUNTOS FINITOS a)

CAPTULO 5. MATEMTICAS DISCRETAS

Representacin matricial de una relacin.

Notation 165 A = (aij )mn .

El elemento del segundo rengln y tercera columna a23 = 5.

5.2. REPRESENTACIN MATRICIAL DE UNA RELACIN. Producto de matrices

CAPTULO 5. MATEMTICAS DISCRETAS

5.2. REPRESENTACIN MATRICIAL DE UNA RELACIN.

Operaciones entre relaciones:

CAPTULO 5. MATEMTICAS DISCRETAS

5.2. REPRESENTACIN MATRICIAL DE UNA RELACIN. Complemento de una relacin.

Propiedades de las relaciones y estructura de las matrices

CAPTULO 5. MATEMTICAS DISCRETAS

5.2. REPRESENTACIN MATRICIAL DE UNA RELACIN.

Se continua el proceso pero ahora se toma la columna 2. En los renglones 1 y 2 hay un 1.

CAPTULO 5. MATEMTICAS DISCRETAS

de W2 . Hay 1 s en los renglones 1, 2. Para construir W3 hay que agregar 1 s en

los renglones 1, 2, 3 y en el rengln

Suma y resta para contar

6.1. PRINCIPIOS BSICOS al despejar Anlogamente N (A B ) = N (A) N (A B ) N (B A) = N (B ) N (A B )