3.

1 COnjuntos y subconjuntos

151

y esta determinada por cl subconjunto (3,4,5, 6} de (1,2,3,4,5, 6}. En I. tabla 3.1 tenemcs enumeradas ocbo composiciones de 7, junto con el subconjunto correspondiente de (1,2,3,4,5, 6} determinado por cada una de ellas.

labia 3.1

Composicion de 7 Snbcoo,juota d_ de (I. Z, 3, 4, 5,6)
(i) 1+1+1+1+1+1+1 (0 0
(li) 2+1+1+1+1+1 (ii) {I}
(iii) 1+2+1+1+1+1 (iii) {2}
(iv) 1+1+3+1+1 (iv) {3,4}
(v) 1+2+1+3 (v) {2,5,6}
(vi) 2+3+2 (vi) {1,3,4,6}
(vii) 4+3 (vii) {I, 2,3, 5, 6}
(viii) 7 (viii) {1,2,3,4,5,6} Los ejemptos obtenidos basta ahora muestran una correspondencia entre las cornposiciones de 7 y los subconjuntos de {I, 2, 3!4, 5, 6}. POI to tanto. de nuevo renemos que existen 2' composiciones de 7.

Nuestro siguienre ejemplo genera otra idenridad ccmbinatorta importante,

_ Para los enteros n, r con n ~ r > i,

Aunque podemos estsblecer este resultado en forma algebr:aica a partie de la definicion de (;)coroon!f(r!(n - r)1), usaremos un enfoquecombinatorio. SeaA = [x, al• all' .. ,a,,-} y corstdercmos todos los subconjuntos deAque contienen r elemenros. Hay (,,;~) de tales subconjuntos. Cada uno de enos cae exactamenre en uno de los dos cases siguientes: aquellos subconjuntos que ccatienen el elementox y los que no 10 ccntienen. Para obtener un eubccnjunto C deA, donde x: E C y I c I ,= r , colocamos x en C y despues elegirnos r- 1 elementos de.losa~.~, ...• a.,. Bsto sepuede hacer de (~L) formas. Para el otto caso, queremos un subconjuntoB deA can IBI ;;;; r y x e B.Asf, podemos elegir r elementos de los ai, ~, ...• all. 10 que podemos hacer de(:) formas, Dc la regia de Ia suma se sigue que

(,,;,,)~ (;)+ (.:,)

Antes de conunuar, volvamosa analizar el resultadc del ejemplo 3.11, pero esta vez a la luz de 16 aprendido en el ejemplo 3.9.

De nuevo. sean n, r enteros positives tales que n :2 r ~, 1. Entonces (";I) cuenta el numero de traycctorias (escakmadas) eo el plano zy, de (0, 0). (n + 1 -r, r), donde, como en el ejemplo 3.9. carla una de las trayecterias tiene

(n + I) - r rnovimientos horizontales de la forma (x, Y) .... (x + I, y), r movimientos verticales de la forma (I, y) ~ (x, y + I}.

Capitulo 3 Teoria de conjuntos

La ultima arista de cada una de estas rrayecrcrias (escalonadas) termina en el punto (n+ l-r, r)ycomienzaen (i) el punto(n-r, r)o(ii) el punto (n + l-r, r-l).

En el caso (i). tenemos Ja uloma.arista horizontal, es decir, en - r, r) ~ (n + 1- T, r); el nemero de trayectorias (escalnnadas) de (0, 0) a (n - r, r) es (i~-~)+') = (;} Para el case (ii).la Ultima arista es v ertical, (n + 1- r, r- 1) -4 (n + 1- r, r}; el numero de trayectorias (escalonadas) de (0. 0) basta (n + I - r, r - l) es (("""l-:~~t{~-l)) =(,~I)' Como esros des cases abarcan todas las pcsibilidades y no tienen nada en comrin, se sigue que

Analizarcmos ahara la forma en que la identidad del ejemplo 3.11 nos puede ayudar a resolver cl ejemplo L.34. donde buscabarnos d mitnerc de soluciones enteras no negatives de la deaigualdad XI +-X2 +- .. +X6< 10.

Para cada entero k, 0 :::::; k: s 9, el numero de scluciones de XI + ~ + - .. + Xli = k: es (6~:-1) =(S;"). As! que el ncmero de soluciones enreras no negativas parax, + X:;, + ... + Xo5< 10 es

@ + m + G) + m + ... + Cg4)

= [(~) +m] + G) + m + ... + eg4)

= [ G) + G) ] + ~) + ... + eg4) = [ m + m] + (:) + ... + e:) =~+~+···+~=···=~+~=m~~

En 1a figura 3.2 tenemos pane de una util e interesante dispcsicidn de ndmcros llamadael tridnguio de Pascal.

(n ~ 0) (g)
(n~ 1) (~) n)
(n=2) e m m
(n = 3)
(n = 4) @ (1)
(n = 5) @ © m m
Figura 3.2 3.1 Conjuntos y subccniuntcs

153

(n = 0)

Observe que) en esta Iista parcial, los dos triangulos que se.muestran satisfacen la condici6n de que el coeficienre binomial de la parte inferior del triangulo invertido es Ia suma de 10' OlIOS do. terminos del triangulo. Est. resultado so sigue de Ie idenridad del ejemplo 3.11.

Cuando reemplazamos cada uno de los coeflcientes binomiales poT su valor numerico, el triacgulo de Pascal toma Ia apanencia que se muestra en la figura 3.3.

(n = 1)

en = 21 en = 31

:V31

1 4 6~

5 10 ~

(n = 4)

(n = 51

Figura 3.3

Existen algunos conjuntos de mimeros que aparecen con frccucncia en todo cl libro En consecuencia. cerraremos esta seccicn asignendoles los siguientes nombres.

EJERCIOOS 3.1

1. i,CuQes de los siguientes oonjuntos son iguales?

.J {1,2,31 bJ {3,2,1,3} oj {3,1,2,3}

dJ u, 2, 2, 3}

154

Capitulo 3 "korfa de coniuntcs

2. Sea A = (1, {l}, 2}}. lCua!es de las siguientes proposicinnes son verdaderas?

aJ I EA oj {I}EA <j (l)!:A d) {{1}}>;;A

oj (2}EA 0 (2)~A g) ({2}l!:A h) {{2}}CA

3, Para A = {1.,2.12)} • .j,cudles de las echo proposiciones del ejercicic 2 son verd.aderas?

4. i.Cu.Ues de las stguiemes propcsiciones son verdaderas?

aJ 0E0 bj 0c0

d) 0E{0} 0) 0c{f}

5. Determine todcs los elemearos de cada uno de los sigulentes conjuntos.

oj {I + (-lflnENj bj {n +(lIn)lnE{t,2,3,5.7})

oj {n'+n'lnE{O,I,2,3,4}}

d) {l/(nl +, n) I n es an enterc positive impar y n::; II}

6. Consideremos los. siguiemes eels subconjuctcs de Z:

A ~{2m+llmEZ}; B~{2n +3InEZ}; C={Zp-3IpEZ};

D ~{3T+ llrEZ}; E ~{3s +2IsEZ}; F={31-21,EZ}.

iCu3J.es de las siguientes prcposiciones son verdaderas y cuales falsas?

oj A=B dJ D=E

bj A=C oj D~F

oj B=C r) E=F

7. Sean A. B coniuntos de un universe 6tl .

a) Escnba una prcpcsicion cuantificada para expresar la relaci6n de contenido prcpia A C B.

b) Niegue eI resulrado de la parte (a) para determinar _A rt. B.

8. I'aIaA = {I, 2, 3, 4. 5. 6. 7}. determine el rnImero de

a) subcortiuntos de A. b} suhoonjunros no vacfos de A.

c) subconiunros propios de A. d) ,subconjuntos propios no vacfos deA.

e) eubconiueros deA que cuetienen rres e!emeruos. () subconjuntos deA quecontienen 1,2.

IV subconiunros deA que contienen cinco elementos. incluyendo 1, 2.

h) subooJUuotQS prcpios de A que contlenen 1. 2.

i) subconjuotos de A con un nrimerc par de elementos.

j) subcoojuntos de A con un nrimero impar de elementos.

k) subconiunros deA con un omnero imparde elementos y que iDcluyen el-elementc 3.

9 . .a) Si un conjuntoA tiene63 subc:onjuntos propios, l,cuhJto vale IA 11

b) Si un conjunto B tiene 64 subc:onjuntos de cardinal impar.l.cuAnto vale IBj7 e) Generalice el resultado de la parte (b),

10. ,Cu:[]es de los siguierues conjuruos son no vacios1

aJ lrlxEN,2x+7-3} b) {:rEZI3>:+S=9}

c) lrlxEQ.x'+4=6] d) {:rERIx'+4=6]

oj {rlxER,x'+5=4} fJ {xERIx'+3>:+3=O}

g) {rlxEC,x'+3r+3=O)

11. Cuando csu a puruo de salir de un restaarante, un hombre nota que tiene una moneda de I centavo. otta de 5. una de 10. una de 25 y una de 50 centavos de d6lar. i,De cuantas fonnas puede dejar una (31 menos una) de sus monedas para la propina si a) no bay restricciones? b) quiere quedarse con algo de cambio? c) quiere dejar al menos 10 centavos?

U. 1'aIa~ ~Z', ,eaA!:"!.telconjumoA= {I, 2, 3,4,5. 7, B.IO.II, 14, 17, 181. a} lQWu:os subconjuntos deA ccndenen sets elementos?

3.1 Conjuntos y subconjuntcs

155

b) .i.CUantos subconjuntos de seis elementos (deA) contienen cuarrc enteros pares y dos enrerOS. impares?

c) i, Cuantos subconjuntcs de A sdlo cnmtenen eereros impares?

d) i,Cmfutos de los subconjuntes de la parte (c) contienen los entercs 3 y 11

13. SeaS::: {l. 2. 3 •...• 29, 30}, (,Cumtos subconjuntcs A de S sansfacen

a) IAI =5?

b) IAI'= 5 'J que el mfnimo elementc de A sea S?

c) IAI = 5 y que el minimo elemento deA:sea menor que 5?

14. a) i,.Cuantos subconjuntos de [1.2. 3, ...• 11} contienen at menos un entero par?

b) l,Cl.lAntos subconjuntos de fl. 2, 3, ... , 12l contienen at menos un entero par?

c) Generalice los resultados de las partes (a) y (b)

15. De un ejemplc de tres conjunws W. X. Y tales que W E X Y X E Y peru W ~ Y. , 6_Escriba las siguienres [res mas del triangulc de Pascal de la figura 3.3.

17. Complete la demostracion del tecrema 3_1.

18. Para los conjuntosA, B. C C VU. demuestre Ja verdad 0 falsedad (ron un ccnrraejemplo) de Io siguienre: Si A C B. B g; C, entonces A ~ C.

19. En la parte m de la figura 3.4. tenemos las primeras seis filas del triangulo de Pascal, en los que aperece un hexagonc centrado en 4, en las tiltimas tres filas. Si ccnsideramcs los seis ruimeros (que rcdean a 4) como los vertices de] hexagono, tenemcs que Ias des temas altemadas (3, 1,10 y 1,5,6) sacstacenque 3· I . 10:;; 30= 1·5·6. La parte (ii) de la figura ccmiene las filas 4 a 7 del mismc tdangulo, donde vemos un hexagonc cuyo centro esta en 10; las ternas altemadas de los vertices (4,10. 15 y 6, 20. 5) satisfacen HO~15 = 600 = 6 ~ 20·5.

a) Conjeture el resultado genera! al que apuntan estes dos ejemplos.

b) Verifique 1", conjetura de la parte (a).

301

6 4 1

10 10 5 1

(ij

(iiJ

Figura 3.4

20.. lII) Algunas de las sucesiones estrictamenre crecientes de enteros que comienzan con 1 y rerminan con 7 son:

I) 1.7;

Iv) 1.3.4.7;

11) 1,2.7;

.) 1.2.3,4,7;

iii) 1.4.7;

vi) 1,2.4,5,6,7.

lOWltas de estes sceeseees esrictamerne creciemes de eareos comienzan oon 1 y termman en 71

b) (,CUiintas de esras sucesicnes estrictamente crecientes de enreros ccmienzan con 3 y rerminan en 91

156

capitulo 3 Teorra de conjuntos

c) lCumtas de estes sucesiooes estrictamenre crecienres de enteros comienzan COD 1 y terminan en 37? ",CMntas comieazan con 62 y terminan en 98?

d) Generalice los resultados de las panes (a) a (c).

21. Una cuarta parte de los subconjuntos de cinco elementos de (1.2,3, " .. I n} connenen el elementc 1. Determine n (n ~ 5).

22. Estsblezca la ldentidad del ejemplo 3.11 en forma algebraica.

23. ~ un argumentc combineteric para roosrrar que para los enteros It. r con n 2! r ~ 2,

(n+z)_(n)+2( n )+( n )

r , r-l r-2"

24. Para los enteros positives n. r, muestre que

(n +;+1) _ (n ;7) + (n;~~ 1) + ... + (n ;z) + (n; 1) + (~).

2S. En la teorfa abstracra general de ccnjumos, formuJada por Georg Cantor (1845--1918), on conjunto se definfa como "cualquier colecclen de un todc de cbjeros definidos y separados en nuestra inruicicn 0 pensamiento". POT desgracja, en 1901. esta definici6n condujo a Bertrand Russell (1872- J970) al descubrimientc de una contradiccfon, un resultado que se conoce ahora como la pamdoja de Rws~ll. 10 C11al fue un gclpe al centro de la teorfa de conjunrcs, (Perc, desde entonces, se han encontradc varies vfas para definin las ideas basicas de la reorra de conjumos de modo que esra contradicd6n ya no aparezca.)

La paradcja de Russell surge cuando nos preguntamos sl un conjunto puede ser un elernento de sf mismo. Porejemplo, el ccnjunto de todos los erneros pesitivos no- es un entero positive; es decir; Z· ft. Z-t-. Pero el conjunto detodas las abstracciones es una abstraccion.

Ahora bien, para desarrollar la paradoja de Russell. sea S el oonjunto de tcdos Ios conjumos A queno son miembros de st mismos; es decir, S = {AlA es un ccnjunto '" A ~A}.

0) Muestre que si S E S. earcoces S rI. S.

bj Muestre que si S rI. S. eerocces S E S.

Los resultados de las partes (a) y (b) muestran que debem.os evirar definir conjuntos como S. Pam hacer esto. debemos restringir Los tipos de elementos que pueden ser miembros de L1,n conjunto. (Hablaremes mas de estc en el resumen 'I repasc histcrico de la seccion 3.5.)

26. Sea A ~ {I. 2, 3 •... ,39. 4JJ}.

a) Escriba un programa (0 desarrolle un algcritmc) que genere los subccnjuntos de sets elemenros de A.

b) ParaB = {2, 3, 6. 7, 1l.13.17. 19. Z3. 29, 31. 37), escn'baunprogmn.adeoomputadora{o desarrolleun argonrmoj qee genere un subccnjuntc de seis elementos deA y despues determine si es un subcoojunro de B.

27. Sea A === (1.2. 3 •...• 7]_ Escriba un programa (0 desarrolle un algoritmo) que enemere todos I", subconjunros B de A, tales que I B I ~ 4.

28. Escriba ua programs (0 desarrolle un algcrttmo) que imprima tcdos los subconiuntos de {1. 2. 3 ..... a}. dondc 1 '~n ~ 10. (E1 valor de n debe proporcionarse durante la ejecuci6n del programa.)

3.2

Operaciones de conjuntos y las leyes de la teoria de conjuntos

Despues de aprender a cnntar; eI esrudiante por 10 regular se enfrenta a los metodos para comblnar los ndmeros comados, El primer metoda es la suma. Generalmeete, el mundo

3.2 Operadones de ccnjuntos y las leyes de la teorfa de conjuntos

157

aritmetico de 105 estudiantes gire en torno al ccnjunto Z" (0 un subconjuntc de Z + del que puedan hablar y escribir, asf como reclearlc en una calculadora de boLsillo), donde la adicion de des elementos de Z+ produce un tercer elemento de Z+, llamado suma. Por 10 tanto, los estudiantes pueden concentrarse en [a adlcidn sin tener que ampliar su mundo aritmerico mas alla de Z+. Esto tambicn es cierto para Ia operaci6n de multiplication.

La adici6n y Ia multiplicaci6n de enteros positivos san operactones binarias cerradas en Z+ . Por ejeurplo, cuando calculamos Q + b, para a, b E Z+, hay des operandos, a y b; por ella, La operacion se llama binaria. Como a + b E z ... si a, b e Z+, decimos que La operaci6n binaria adici6n (en Z+) es cesrada. Sin embargo, la opecaci6n binaria de la di vision (con diviscr distintc de cern) ao es cerrada en Z" yaque, por ejemplo. 112(~ I .. 2) '" Z', aunque 1.2 E Z+. Perc esta operacion sf es cerrada cuando consideramos el ccnjunto Q. en lugar del conjunto Z+. (Veremos los conceptos generales de operacion binaria y operaci6n binaria cerrada en la secci6n 5.4.)

Ahora presentamos algunas operaciones binaries para conjumos.

Definicion 3.S

Para. A~ B ~ Uij. definimos 10 siguente:

a) AU B (launiOn deAy B)= (xlxEA V xE BI.

b) AnB(laintersecciOndeAyB)~(xlxEA i\.rEB).

0) A 6 C(la diferencia simetrica deA y B) = (xl(x E A V x E B) i\ x'" An B} = {xlxEA UB i\x$A nB}.

Observe que siA, B~Gtl, ectcnccs x n B.A U B,A AB !;;Gij,. Eo cnnsecuencia, n, U y ~ son operaciones binaries cerradas en ~ ru.), y tambien podemos decir que 'lJ (itt) es cerroda en estas operaciones (binarias).

Si"l! = {I,2, 3, ... , 9, IO),A~ {I, 2,3,4,5),B= (3, 4, 5, 6, 7) Y C~ (7, 8, 9), tenemos

a) An B ~ {3,4,S} 0) BnC={7}

e) A 6B ~ {1,2,6, 7}

g) A 6C={1,2,3,4,S, 7,B,9}

b) AU B ={1,2,3,4,S,6, 7) d) A nC=~

f) A UC={1,2,3,4,5,7,8,9}

En el ejemplo 3.14 vemos queA n B ~ A ~ A U B. Bste resultadn no es algo particular de este ejemplc, sino que es verdadero en general y nos retenrcmos aeJ con frecuencia. EI resultado se cbriene de

xEA nB~(rEA/lxEB)~rEA

(por I. regia de simplificacidn conjuntiva, regia 7 de Ja tabla 2.20) y

xEA~(XEAVxEB)~xEA UB

(donde la prirnera hnplicacion 16gica es un resultado de 10 regla de amplificacion disyunriva, regla 8 de 10 tabla 2.20).

158

Capftulc 3'Trorfa de conjuntos

De las panes (d), (f) y (g) del ejemplo 3 .14, presentamos las siguientes ideas generales

Oefinicicn3.6

Sean S, T r; GU. Los conjuutcs S y T SOn dis juntos .0 mutuamente dis juntos S1 S n T = 0.

rEOREMA3.3

s, S, T ~ 6t.t, entonces S y Tson djsjuntos si y.sdlc st S U T= S 6 TT

Demostracion: Partirncs de 5, T disjuntos. (Para dcmcszrar queS U T = S 6. T urilizamos la definicion 3.2. En particular, daremos des argumentos de pertenencia, uno para cada inclusion. Puesto que esta es nuestra primera experiencia en 13 dcmostracion de la igualdad de des crmjunros, seremos cuidadosos Y muy detallistas.) Cousidcremos cualquler x E 0)_t". Si .r E SUI, entnnces x 'E S Qr E T (0 tal vez ambos), Perc como S y T son dlsjun(Qs>x~S n T,por10 que.J: ES6 T.En consecuencia, cowox"E S.U f impllca.e E S6 T. tenemosS U T~ Sa T.Paralainclusi6nopuesla, si y ESD.. T. entonces v E Soy E T. (Pero y es n T; nO podemos usar esro.fAsf.v ES U T Poriolanto.S6 Tc::: SU T. Y ahcra que tencmosS U rc S 6 Ty S6 rc S U T, se sigue de 1. definicion 3.2queS 6T=SUT.

Demostramos la rectproca por el mctodo de dcmostracion pOI coatradiccion. Para esto, consideramos S.T~ Gtt arbitrarios, conscrvamcs la hipotesis (es decir, S U T= S.6 Tv; peru suponemos ia negacion de la conclusion (es decir, supcnemos queSy Trw 5011 disjuntos). Ast, siS n T~ 0, sea x E S Fv T, Entonccs x E Sy -X E T, por lo que x E S U Ty

xES{o,T(=SUT}.

Peru cuandc x E .s U T Y xES n T, entonces

Esta contradicci6n (x E S.6. T 1\ x ~ S £:::. n indica que nuestra hipotesis original era incorrccza. En coesecuencia, tenemos que S y T son disjuntos.

Al detnostrar 13: primera pane del teorema 3.3. mostramos que si S, T son ccnjuntos cualesquiera, entonces S 6. T ~ S U T. E1 heche de que 105 conjuntos fueran disjuntos s610 fue necesario para Ia inclusion opuesta.

Despues de adquirir la capacidad de sumar; se pasa a la resta. En este case, el conj unto N presenta algo de dificultad. Pot ejemplo, N contiene a 2 y 5 pero 2 - 5 "'". -3 'j -3 ~ N_ Por 10 tanto, Ia operacion binaria de sustraccidn DO es cerrada para. N. aunque es cerrada para el superconjunto Z de N. Asr. para Z pcdemos introducir la operacton _ unaria; 0 monaria; de la negaci6n, en 13 que tomamos el "menos'' 0 "negative" de un ncmero como el 3, y obtenemos -3. (La definicidn genera] de una operacion unaria, 0 monaria, eperece en Ia seccion 5.4.)

Ahora presentamcs una operacion unaria comparable para los conjunros.

159

Para un conjunto A ~!itt. el compiemento de A~ que se denota con au - A 0 A. esra dado por{xlxE"l1 Ax~AI·

Para los conjunros del ejemplo3.14,A ~ {6, 7, 8, 9,lOl,ii'= (1. 2, 8,9, to) y C~ (1,2·, 3,4,5,6,10).

Para cualquier universe GU- y cualquier conjunto A ~ litL. tenemos que A !;"1.l. Por 10 tanto>~(GU) es cerrado en la operacidn unaria definida por cl complemento.

EI siguieme cccceprc se relaciona con el de complemento.

ParaA. B~ GU. elcompleme~o(relativo) deA en B, que se denota c-anB -A esta dado por (xlxEB "'x~AI.

Para los conjumcs del ejemplo 3.14 tenemos:

a) B-A ={6, 7} d) C-A=C

b) A-B={l,2} 0) A -A = 0

c)A-C=A f) ~-A=A

Nuestro siguiente resuhado, que bara uso nuevamente de la definicion 3.2, proporciona un enlace entre las nociones de subconjunte, union, intersecci6n y complemento.

3.4 Para cualquier universo CSU 'I cualesquiera conjuntos A, B ~ Gtl~ Ias siguientes pruposicicDes son equivalentes:

a) ACB

c) AnB=A

b) AUB=B d) B(;;;X

Dilmostracion: Demostraremos que (a) => (b), (b) => (c), (e) => (d) y (d) => (a). (La razon por la que estc basta para demostrar este teorema se basa en la idea presentada en el ejercicio 15 quo aparece al final de I a s eccscn 2.2.)

i) (a) => (b) 5i A, B SOD conjuntos cualeaquiera, entonces 8 ~ A U B. Para la indusi6n opuesta, si x E A U B, entooces x E A 0 x E B, pero como A C B~ en ambos casas tenemos que x E B. Asf, A U B ~ B y, como tenemcs arnbas inclusiones, se sigue (de nuevo de 1. definicion 3.2) que AU B = B.

ii) (b) ~ (c) Dados los conjuntosA. B, siempre tenemosA ~ A n B (como se mencion6 despues del ejemplc 3.14). Para la inclusion opuesta, scay E A. Con AU B = B, yEA=>y EAU B=>yEB(comoA UB=B)=>yEA UB, porloqueA ~ A n B'y concluimos que A = A n B.

iii) (e) =>(d) Aquf tenemos que z E S=>z ~ B=>z ~A n B, yaqueA nBC B. De An B =Asesiguequez ~A n B=>z ~A =>z E A,porloque jj ~ A.

160

Capitulo 3 Teorfa de ccnjuntcs

Propiedades de la teoria de ooojuntos Para cualesquiera ccnjuntos A, Bye tornados de un universe Gij, ;

Ley del doble complemenso Leyes de De Morgan

iv) (d) ~ (a) Por ultimo, w E A "'" W ~ A y comoB !;; A, w '" A"", W '" B. Entonces w'" B =>w E B, por Io que A !;; B.

Conoclcndo ya algo de demomac:i6n de tecremas, presentaremos ahora algunas de las prineipales propiedades que rigen la reona de conjuntos.Jas caales tienen una marcada semejanza COn las leyes de la 16gica dades en Ie seccicn 2.2. En muchos c-asas. estes prcpiedades de la leona de conjuntos son similares a las propiedades aritmeticas de los mimeros reales, donde "U" desempefia el papel de .. +", e "nil el de "x". Sin embargo, existen a1gunas diferencias.

1) A~A

2) AuB~AnB AnB=AUB

3) AUB~BUA AnB~BnA

4) A U(BUC)~ (A UB)UC A n(BnC)~ (A nB)nC

5) A U(BnC) ~ (A uB) n (A uC) A n(BUC)~ (A nB)U(A nC)

6) AUA=A AnA~A

1) A U0~A An"U~A

8) AUA~"lL AnA~0

9) A U"lL~"lL A n0~0

11)) A U (A n B) ~ A A n(A UB)~A

Propiedades conmumtivas

Propiedades asociativas

Propied.ades distributivas

Propiedades idempotentes

Propiedades del neutro

Propiedades del iswerso

Propiedades de daminacion

Propiedades de absorcion

'Iodas estas propiedades pueden establecerse mediante argumentos de pertenencia, como en Ia primera parte de la demostracidn del teorema 3-3_ Dcmostramos esto estableciendo la primera de las leyes de De Morgan y la segunda propiedad distributive de Ia .interseccion sobre la unidn,

Demostracion: Sea x E Gtt. Entonces

xEAUB~x<tAUB ~r<tAyr<tB :}xEAyrEB ~xEAnB,

par Io que A U B ~ X n B. Para esteblecer la inclusion opuesra, podemos verificar que la recrproca de carla implicacion ldgica es tambien una implicacion logica (es declr; que cada implicacirin lcgica es de' heche una equivalen.cia Iogica). Como resultado tenemos que

3.2 Operaciones de coojuntos y las I~es de la teorfa de conjuntcs

161

xEAnB:;'XEAYXEB :;'xf/=Ayxf/=B :;'xf/=AUB :}xEAUB.

Por lc ranto.ji n B c AU B. En consecuencia, como A UB ~ X n B y An B ~ A U B, se sigue de 1. definicion 3.2 que A UB; An .B.

ED nuestra segunda demostracicn estableceremos ambas relaciones de contenido en forma simulranee, usando laequivaleecia logica (¢::) en 1ugarde las implicaciones loglces (ee y ee),

Demostracion: Para cada .r E-GU,

x EA nCB U C)¢>(x EA) y(x EB ue) ¢>(x EA)y (x E.Box E e)

¢>(x EA yx EB)o(x EA y x EC) ¢>(x EA nB) o(x EA n e)

¢>x E (A n B) U (A n C).

Como todas las proposiciones son equivalentes, hemos cstablecido ambas relaciones de contenido en forma simuitanea, por 10 que A n (B U C) ; (A n B) U (A n C). (La equivalencia de la tercera y cuarta proposiciones se sigue del principio comparable en las Ieyes de Ia 16gicadado per Ia propiedad distributiva de Ja conjuncion sabre la disyunci6n.)

Sin duda, el Iector esperaque el emparejamiento de las propiedades en [as puntas 2. a 10 tenga alguna impurtancia. Como con las leyes de la logica, estas parejas de proposiciones se Uaman duales, Una proposicion puede obtenerse de Ia otra al reemplazar todas las ocurrencias de U pol n Y viceversa, y todas las ocurrencias de G\t. por 0 y vtceversa.

Esto nos lleva ala siguiente idea formal

Definicion 3.9

Sea .s una proposicicn (general) que tratade la igualdad de des expresiones con conjuntcs. Cada una de estas expresioues puede contener una 0 mas ocurrencias de conjuntcs (como A. A. B. B. etcetera). una 0 mas ocurrencias de 0 y Lltt y solamente los sunbolos de his cperaciones con conjuntos nyu. E1 dual de s. que se denote con 5", se obtiene de s al reemplazar (1) cada ccurrencia de 0 y Gij (en s) poe Gtl y 0. respec.ivarnente, y (2) cada ocurreecia de nyu (en s) per U e fl, respectivamente.

Como en la seccion 2.2, estableceremos y usaremos el siguiente teorema. Demcstraremos un resultado mas general en cl capitulo 15.

TEOREMA 3.5

El principia de dualidad. Sea s un reorema relative a Ia igualdad de des expresiones con conjunros (COIDO en la definicion 3.9). Bntonces sJ, el dual de .s, es ram bien un teorema.

El uso de este principic reduce nuestro trabajo en forma considerable. Para carla pareja de proposiciunes en los puntos 2 aJ 10,5610 hay que demostrar una de las propcsiciones y utilizer entonces el principio para obtener .la otra propnsicidn de! par.

Capftu'o 3 teens de ccnjurttcs

Debemos tener cuidedo al aplicar el teorema 3.5.·Este resultadn no se puede aplicar a situaciones particulares, sino a resultados. (teoremas) relatives a conjuntos en 10 general. Por ejemplo, consideremos l.situaci6npaniculardonde"U, = {I, 2, 3, 4, 5} y A = {l, 2, 3, 4}, 8= (I, 2, 3,5), C= {I,21 y D= {I, 3}, Eneste case,

A nB={l,2,3}=CUD,

Sin embargo, nn podemos concluirques:A n B~ CU D~ ~:A U B;;;; en D, yaque eneste caso.A U B = {I, 2, 3, 4, 5}; mientras que C n I) = [I}. Larazonpor I. que el teo= 3,5 no es aplicabte es este case es que, aunque A n B ~ CUD ell esre ejewploJ1(lrticular. no es verdadera en general (es decir, para cuajesquiera cccjumos A. B. C. D tomados de un untversa'u ).

Dado que en Ia definicion 3.9 y el teorema 3.5 no mencionamos oada acerca de los subconjuntos.vpodemos encontrar un dual de la proposicion A ~ B (donde A, B r: ~l)?

Aquf tenemos Ia oportunidad de US8f alguno de los resultados del teorema 3.4. En particular, podemos trabajar con la proposrclon.a ~ B mediante lapropcsicidn equivalenteA U B=B.

Eldual deA U B=BprOOuceAn B=B, PeroAnB=B..,B ~A. En consecuencia, el dual de 1. proposici6nA~ B es la proposician B ,;; A. (Tamhieu poonemos haber obrenldo este rcaultado usando Ai: B {;;} An 8 ;;;;A_ En los ejercicios de esta seccioc pediremos al lector que verifique este caso.)

Cuando analizamos las relacloaes que puedee existir entre los crmjuntos implicados en una proposicidnde igualdad 0 contenido entre ccnjuntos, podemos estudiar Is. siruacion de manera grafica,

Un diagrama de Venn (llamado est en honor del lcgico mgles John Venn, 1834-1923) se construye de la manera siguiente: uu. aparece como el interior de un rectangulo, mientras que los subconjunros de GU se representan mediante los interiores de cfrculos y otras curvas ccrradas. La figura. 3.5 muestra dos diagramas de Venn. La region sombreede de la figura 3.5(a) representa el conjunta A. mieatras que A queda representado par el area no sombreada. La regi6n sombreada de 10 figura 35(b) representaA U B. El conjuntoA n B es el area cuadriculada de la: figura

'It r----------,

'(a) Figura 3.5

(bl

En la figura 3.6, usamos los diagramas de Venn 1""" esteblecer I. segunda ley de De Morgan, La figure 3,6{a) tiencsombrcado todo exceptc cl On:.A n B, de modo que 1. partesombreada represents A n B .Ahoca urilizaremcs un diagrama deVenn para mosrar A U ii. ED ia figura

3.2 Operacicnes de conjuntos y las leyes de fa. tecrta de conjuntos

163

3.6(b). A es Ia regi6n representada per las lfneas que van desde la parte inferior izquierda a la superior derecha; las lfneas que van de la parte superior izquierda a 1a inferior derecha sombrean Ia regidn que represenraji, Por lo lanto;A U ,jj esta dada por la region sombrcada de Ja figura 3.6(b). Puesto que eJ area sombreada de 10 parte (b) es I_ misma que I. de I_ parte(a),sesigueque AnB~ AUB.

'lIr----------,

CQJ

I.) Fig""" 3.6

Ib)

Podemos seguir ilustrando cl usc de estes diagrarnas para mostrar que si A, B. C ~ -IU.

(A U B) n C (X n li) U c.

En vez de las regiones scmbreadas, otro enfoquc que tambicn utitiza los diagramas de Venn numera las regiones, como se muestra en la figura 3.7, donde, por ejemp!o, la region 3 esA n s n Cy la region 7 esA n B n C. Cada regi6nes un coujunto de la forma S, n S2 n Sj, donde Si se reemplaza por A oA. 51 por B oR y s, POI C 0 C. Por 10 tanto, por laregla del producto, cxisten ocho regiones posibles.

AI consulter 18 figure 3.7, vemos que A U B abarca las regicnes 2, 3,5,6,7,8 Y que las regiones 4, 6. 7 ~ 8 conforman el con junto C. Par 10 tanto, (A U B) n c comprende las regiones comunes a A U By a C; es decir, las regiones 6, 7. 8. En consecuencia, (A U B) n C esta fonnado por las regtones 1) 2~ 3. 4, 5. EI conjunto A consta de las regiones 1,3,4,6. mientras que-las regiones 1) 2,4,7 confonnanli. En consecuencia, An B comprende las regiones 1 y 4. Como las regiones 4. 6, 7, 8 comprenden C, el conjunto C esra formadc por . las regiones 1,2,3,5. Al tcmar launion deA n B con C, obtenemos las reglones 1,2,3,4,5, como en el caso de (A U tI) n c

'It ,---------,

Figura 3.7

Otra tecnica para establecer las igualdades entre, ccnjuntos es la tabla de pertenencia. (Este metodo es similar aI usa de [a tabla de verdad presentada en la seed on 2.1.)

Capimlo.S Teena de conjuntos

a) xt/OA,x"'B 0) xEA,.x$B

b) xeA,xEB d) xEA,xEB.

Observamos que para los cunjuetcs A, B ~ "t. un clemente x E fft.l satisface exactamente una de las siguieutes cuatrc situaciones:

Cuando.r ca un elemento de nn conjunto dado, escnoimos un 1 en la columna que representa ese conjuutc en la tabla de pertenencia; cuando r no esta en el coejunro, escdbimos un G. La tabla3.2 propcrciona las rablas de pertenencia para A n B.A U B.A con esta eotaclon. POI ejemplo, en este caso, la tercera fila de Ia parte (a) indica que cuando un elemento x E Gtl esta en cl conjuntc A pero no es~ en D, entonces 00 esra enA n B pero sf enA U B.

Estes eperaciones con ceres y unos son iguales a las de Ia aritmetica ordinaria, exceptc quc Ltr l e t.

Tabla 3 2

A B AnB AUB
0 0 0 0
0 1 0 I
1 0 0 I
I 1 1 ] (a)

(b)

Par medio de las tablas de pertenencia podemos cstablcccr la igualdad de dQS conjuntcs si comparamos sus colurnnas respectivas en la tabla. La tabla 3.3 dcmucstra esto para la propiedec distributive de la uni6n sobre la interseccicn. vcrcos ahora como cada una de las ocho mas corresponde exactamente a una de las ocnc regiones del diagrama de Venn de la figura 3.7. Por ejemplo, la fila I ecrresponde a Ia region 1: ii n jj n E y la fila 6 ccrresponde a Ia region "7: A n B n c.

Tabla 3 3

A B C BnC A U(B nC) AUB AUC (A UB)n(A UC)
0 0 0 0 0 0 0 0
0 0 1 0 0 0 I 0
0 1 0 0 0 I 0 0
0 1 1 1 1 1 1 1
1 0 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 1 0 0 ] 1 1 1
1 1 I 1 ] 1 1 1
t t Puerto que 5tas columl"1Ol:S- SOflldrl-ntJ~"'$, COI"1- dujmcs.que A U 18 il 0 = (A U 8) n {.II, U 0

Antes de continuer debemos sefialar dos cosas: (1) un diagrama deVenn es simplemente una represenracicn graflca de una tabla de pertenencia; (2) el uso de los diagramas de Venn Q las tablas de pertenencia podrfaser arracuvo, en particular, para el lector que par el memento no se irueresa por la escrimra de cemostraciones. Sin embargo. ninguna de estes

3.2

165

recnicas especifica la lcgica y el razcnamiento desplegados en los argurnentos de pertenencia ya presentados, por ejemplocal demostrar que para cadaA, B, C!: ''ill.

AUB~AnB, y

A n(B U C) ~ (A n B)U(A n C).

Los diagramas de Venn pueden ayudarnos. a comprender ciertas simaciones matemadcas, perc cuando el mimero de conjuntos implicados es mayor de tres, el diagrama podna ser diffcil de dibujar,

En resumen, el argumento de pertenencia (particularmente con sus explicaciones detalladas) es mas riguroso que estas ctras dos recnlcas yes el metcdo preferido para dernostrar resultados en la teorta de conjuntos.

Abora que disponemos de las leyes de Ia teona de cenjuntns, ique podemos hacer con cllaa? Los siguientes ejemplos demostranin 13 forma de utilizar las leyes para simplificar una complicada expresion con conjuntos 0 para obtener nuevas igualdades entre ccnjuntcs. (Cuando se use mas de una ley en un paso dado, mencionaremos la ley principal como 10 r026n.)

Simplifique la expresi6n

(AUB)nCUB -((A UB)nC)nB' ~«(A UB)nC)nB ~ (A UB) n(CnB) ~(A UB)n(BnC) ~[(A UB) n BJ n C ~BnC

Razones

Ley de De Morgan

Ley del doble complemento

Propiedad asociativa de la inrerseccidn Propiedad conmueatlva de la interseccidn Propiedad asociativa de la intersecctcn Ley de absorci6n

El lector debe notar La analogfa entre los pasos y las razones de este. ejemplo y 105 pasos y razo-nes utilizadcs para simplificar la proposicion

basta obtener Ia proposici6n

qAr

en el ejemplo 2.18.

Exprese A - B en terminos de U y "".

De I. definicion de complemenro relative, A - B = [x I x €A " x f/. B) ~ A n B. Por 10 tanto,

A=B=AnB ~AUB' ~AUB

Rezones

Ley de De Morgan

Ley del doblc complemenro

Razones

Ley de De Morgan

Ley del doble cumplemento Propiedad conmutativa de U Ley de De Morgan

Propiedad distributiva de U sabre n Propiedad dismlnniva de U sobre n

Propiedad del inverse Propiedad de! neutro Propieded conmutativa de U Ley de De Morgan

De Ie observ a clcn hecha en el ejemplo 3.19, tenemos que AL"I B= (xix EA US 1\ _~i\ nSf =(A U S)-(A ns)= (A U S) n (An8). poria que

A C:.B =(A uB)0 (A nB) = (A UB)U(A nB)

= (A U B) U (A n B)

=(A nB)U(A uB)

=(A nB)U(AnB)

= [(A nB) uA]n[(A n B)UB] = [(A u:ii) n (B UA)]n

[(A UB)n(BuB)]

= ['I! n (BUA)]n[(A UB) n'l!] =(BuAjn(AuB) =(AUB)n(A UB)

= (AUB)n(An B)

=AC:.B

=(A us)n(AUB) =(A uB)n (A nB) =AC:.B

Prcpiedad conmntativa de n Ley de De Morgan'

Para tcnninar esea seccion, cxtenderemos las operacloees de conjuntos Ue n mas alIa

de tres conjuntos. .

~finici6n 3.10 Sealun ccnjunto no vacfo yi3U. un universe. Para cada i E I, seaAjk '\{.. Ectonccs j es un conjtauo indice (0 Cl)njutlt(Jde·fmJices) y cada i E I es On indice.

~A, = {x Ix EA, para at menos un i E lj, Y

[JA,={xlxEA, paratodoiElj.

Podemos reformular la definicion 3.10 usando cuantificadores:

zE ~A,~3iEI (zEA,) xE [JA,~""iEI (xEA,)

Entonces, x IE U ",A <c> ~[3i E I(x E A,)j <c> .... t E I(l." IE A,); OS decir, x f/' U"" A, si Y s610 si x lEA, para todo indiceiEI En forma anaioga, x ~ niEIA; <c>~rti E l(x E A;)] ¢'> 3i E J(x '$. Ai); es decir..r rtUrsJA, si 'I s610 si x'¢: Ai para cl menos un tndice i E 1.

Si el ccnjuntc de indices I es el conjucec Z+ • poderaos escribir

UA,=A,UA,U'" = VA"

re.z· ;.,1

nA,=A,nA,n .. · = !lA,.

iEZ"

167

Seal= 13,4,5, 6,7) y para t E I sea A, = (1,2,3, ... ,i) ~"ll =Z'. Entonces U>e,A, = U~,A; ;" p, 2; 3, ... , 7} =A" mienrras que n",A = (1,2, 3) =A,.

Por desgracia, al trabajar con uniones e intersecciones generalizadas.Jas tab las de pertenencia y los dlagramas de Venn son cas! imitiles; sin. embargo, podemos seguir utili zando la definicion rigurosa de pcrtcncncia, como aparece en la primera parte de la demosrracion del teorema 3.3.

Leyes de De Morgan gen.eralizadasT Sea I un coujuntu de indices, dondc para cada iEI, Ai ~uu..Entonces

a) Ut,= n A,

iel ees

b) TfA;= U A,

ieI. HU

Demostraci6n~ Dcmostrarcmcs.la parte (a)y dejaremos Ia demostraciou de la parte (b) a; lector. Para cada x E 'II, .r EU ",A <=ox'" U 05'A. <=> x'" AD para cada i E I <=>x E A" patatodoiEI"'xE n,,,,}!,.

EJERCICIO.S 3 •. 2

1. Para"ll ={1,2,3,,,. ,9, 1O},eanA={!.2,3.4,5},B={U.4, 8}. C={l. 2,3. 5. 7} Y 0=

{2,4, 6, 8). Determine lo sigulente:

a) (A U8)nC b) AU(BnC)

d) CnD 0) (AUB)-C

g) (8-C)-llh) B-(C-D)

2. Si A = [0. 3], B = (2. 7) y'U = R. determine 10 siguiente;

a) AnB b) AUB

d) Al:>B 0) A-B

<) CUll

f) A U(B - C)

iJ (A UB)- (Cnll)

c) A

f) 8-A

3. Sean~ ~(a, b,c, ... '"'): d,A= (a,b,cfyC=(a,b, d. e}. 5i ~ n BI= 2y (A nB) eBe C. determine R

4. a) Determine io,coojon""A. BcumdoA-B = {I, 3. 7. 11],B -A = (2, 6. 8) y An B =14, 9}

b) Determine los conjuntos CD. dande C - D:;:: {I, 2. 4 J, D - C= (7, 8! y CUD = p, 2.4. 5,7,8.9)

5. Para'll = {I. 2.3,. ..• 29.30}. S«IIl8, C~ 611 conB = 11.2.3. 4. 6.9.15} y C = 12.3.6. 15,22. 29} .: Cuantc vale IB U CI?

6. Sean A, B, C, D. E:C: Z detiaidos como .s:igue:

A = {2n I,. EZ}--es decir.A es el conjuntc de todos 10& multiples (eniercs) de 2;

B={3nlnEZ); C={4nl~EZ};

ll={6nlnEZ); y E={SnlnEZ)

a) i,CuaLes de las sigulentes proposiciones son verdaderas y cuales falsas?

i) E~C~A ii) A<;;C~E iii) B<;;ll

il') ll~B v) D~A vi) O<;;A

7. Sea ~ll.m universe finao con A, B C ,iJJ_,_ Ordene la siguiente lista, en orden creciente de ecuerdo con el tamanc

a) IAUBI.IBI.101,IAnBI.I'Il1

b) IA - BI.IA 1+ IBI, Illl.IA LlBI, IA. u BI.I'lI1

c) IA -BI. 11l1.IAI, IA 1+ IBI .• [A UBI, ['111

8. Dado un unJveTsl)5il y 105 conjcntos A, B C ?tt, ,a quf es igual (A - B) n (B - An Demuestre su afirmacion.

9, Determine cuajes de las siguiemes prcposiciones son verdaderas ycuales son falsas..

0) Z+<;;Q' b) Z+<;;Q· <) Q' <;;R

d) R'<;;Q e) Q+nR'~Q+ f) Z+UR+~R+

g) R+nC~R+ b) CUR~R i) Q'nz~z

j) ZUQ- Z

10. Demuestre cada uno de los siguientes resultados sin usar los diagramas de Venn 0 las rablas de pertenencia, (Suponga Ia existencia de un umversostt.)

a) Si A C Bye C D. entonces A n c ~ B n D y A U C c BUD.

b) SiA C c» B c C.entoncesA (l B~, Cy AU B ~ C.

c) A&;; B si y sdlo si A nB::::: 0.

d) A,!; B si y w]osL4 U B=GiI,.

11. Demuestre 0 refute lo siguiente:

a} Para conjuntcs A~B,CC'1i, An C=B nC~A =B. b) Pare conjuntos A,B,C~.'li.,A U C=B U C~A =B.

<)f'lit1! ccniamcs A,B,C<;;'lI, [CA n C~B nC)/\(A U C~B U C)l~A ~ R d) Para coajunrcs A, B, C ;;;'U, ALI C - B <l Cc;,A - B.

, 2. Usance los diagramas de Venn" analice 13 verdad 0 falsedad de 10 siguienre, para los conjuntos A,8,CC"l1.

.) A.Ll(B nC)-(A I'>B)n (A I'> C) b) An (B t:.C)~(A nB)4(A nC) 0) A<l(B UC)~(A I'>B)U (A I'> C) d) A - (BUC)~(A -B)n(A-C) "0) A<l(BI'>C)~(AI'>B)<lC

13. Si A= {c. b,·d}. B = {d.:f-, y} Y C = {r, z} lCilan!O~ subconjuntcs propics tiene e1 con junto VI. n B) U C? i.cuantos tiene el ccnjunro A n (B U C)?

14. Para un universe dado f.ilL, cada subconjunto A de llll satisface las Ieyes de Idemporencia para Ia union y la iruerseccion. (a) lExis[e algun mlmero real que seristaga la prcpiedad de idempotencia para la suma? (Es decir; ipodemos encorera- .aJgun numero Q nameros reales tales que .r + .x = x?) (b) Responds la parte (a) reemplazando La suma pot la maltiplicacion.

, 5. Bscriba la proposicion dual para cada uno de los sigulentes resultados de la teorfa de conjuntos

a} 'Il~(AnB)U(AnB)U(A:nB)U(AnB) b) A~An(AUB)

~AU8-~n~U~n~u~n~ ~A-~U~n~u~

16. Use la equivalencia A C B <;::;> An B =A para demostrar que Ia proposicion dual de A ~ Res Ja proposicion B CA.

17. Demues:rre 0 refute 10 siguiente, para Ios ccojumosz, B ~ tilt.

168

Capltulo 3 tecrre de conjuntos

b) Determine cada uno de los siguientes ccnjunros.

i) CnE ii) BUD

;,,) BnD vJ A

ill) AnB vi) A nE

a) "'(A UB)-[;>(AjU[;>(B)

b) i>'(An~-[;>(A)n[;>(B)

1 8. Unlice las tablas de pertenencia para establecer ID siguienre;

0) A7i""B-A:UB b) AUA-A

d) (A nB)u(An C) - (AnB)U(Anq

<J AU(AnB)-A

3.3

Tecnicas de conteo y diagramas de Venn

3.3 Iecnicas de conteo y diaqramas de Venn

169

19. a) i_CuAntas files se necesrtan para construir 13 tabla de pertenencia para A n(B U C) n (D U EU F)7

b) lCuantas mas se necesitan para oonstruir ia tabla de pertenencia para un ccnjunto formado per 105 ccnjuntos Ah ih, ...• A~, usando n, U y ~

c) Dadas laS tables de pertenencia para des conjuntos A, B, i,c6mo puede reconocerse Ja relaci6nACB?

d) Utilice la tabla de pertenencia para deterrmnar :5-1 (A n B) U (B n C) ";;;J A U B.

20. Propcrcione Ia justificaci6n (a partir de las prcpiedades de 1a teona de conjuntos) de los P3£OS necesanos para simplrficar el conjunto (A n B) U [8 n«(C n D) U (C n D))J. dondeA .

. ~D~.. .

Pesos

Rezones

(A n B) U [B n «C n D) U (C n D))l -(A nB)U[Bn(Cn(D UD»]

=(A nB)U[Bn(Cn<u)] =(AnB)U(BnC)

= (B nA) U(BnC)

= Bn(A UC)

21. Mediante las leyes de la leona de coejunrcs. simpliflque 10 siguiente:

0) An(B-A) b) (AnB)U(An8nCnD)U(An8)

c) (A-B)u(An8) d) AUIiU(AnBnq

e) AU(A nIijU(A n s n qU(A n s nCnD)u···

22. Para c,adanEZ ", sea A, = {I. 2, 3, ..• n- J. e}. (Aquf5il =Z~ y el conjunto melee esl =Z+.)

1 II .. ..

Determine U.4". n A •• U A" 'i n A.,. donee m es un entero positive fijo

_I _ I('Oi "'"

23. Para cadau E Z· seaB~ = {no + l,n + 2, n+ 3 •. __ [. (En este caso.lill. =Z· y el conjunro Indice

~ ~~ ... ..

es I = Z .. ,) Determine U 8,., n 8._ UB~ y n B~, donde m es un eruero positive fijc.

_ _) r.oi _I

24. Sea6ij = R Y sea I = Z-. Para cada n. E Z·, sea All = [-2n, 3n]. Determine 10 aiguienre:

a) AJ b) A~ c) A~-A,~ d) A)6A"

e) y. A. f) 0. A. g) .~.A. h) 0. A.

25. Dade un uniye~o::iJ.l y un conjunto Indice I. para cada i E I. seaS,!';; Gtt. Demuesrre que para A C 6[t. A n (U~A) = U , .. (A n B;) y A U III ~B.J = n ,.,(A U B,l . (Propiedades distributivas generalizadas)

26. Proporcicne los detalles para la demostracicn deJ tecrema 3.6(b).

Con todo cl trabajc tcorico y de demostracidn de reoremas que realizamos en la seccidn anterior, ahora es un buen momento para examiner algunos OlfOS problemas de conreo.

Para los ccnjuntes.A. Bde un universofinitocll., los siguientes diagramas de Venn nos ayudaran a obtcncr formulas de conteo para IAI y IA U 8 I en tenninos de IAI. IBI Y IA n BI.

'0

Capitulo 3 teens de: ccnjuntos

'1l,------------,

Figura 3.8

COntO lo demuestra la figura 3.8. A U A = "tI, y A n A = 0. -asf que. jlOt )a reg]' de Ia suma, IA 1+ IAI=I"tI1 0 IAI = 1"tI1-IA I, Los ennjuntns A, Bde lafigura3,9tienen interseecion vacfa, porloqueapartir<lelaregladelasumaobt.nemos que IA U BI=IAI + 181; es ; acccseno que A, B sean finites, peru no se impone una condlcioc en el cardinal de u.

'lir------------,

Figura 3.9

00

Regresarcmos al caw en que A, B no SOn disjuntos y derivaremos la fdrmula para ! AU B [ con el siguiente ejemplo.

En una close de 50 alumnos ce primer ingreso, 30 estudian BASIC,,25 Pascal y lO esran estudiandc ambos Ienguajes. i,CUMtos alumncs de primer tngresoesrudlen algdn lenguaje de compuracion?

Sea GU. la clasc de 50 alumnus de primer ingreso. A el subconjuuto de cstudiantcs que estudian BASIC y B cl subconluato de ahzmnos que estudian Pascal. Para responder la pregunta, neceaitamos calcular lA UBI. En Ia figura 3.10, los ruimeros que aparecen en las regiones so obtienen de la informacion dada:IAI = 30,181 = 25, IA n BI = lO, ED, consecuencia, IA U 81 =45" IAI+ IBl,yaque IAI + IBI cuenta dos veces a los estudiantes que estan enA nB. Para evitaresterecuentoexce,ivo.""tamos IA n BI delAI + IBI para obtener la formula correcta: IA UBI = IAI + IBI-IA nB/,

~r----------------'

m

Figura 3.10

3.3 Tecnices de conteo

de Venn

171

~ -_ "-_ - ~ ;!<;-~-~ ~ _"

- - ._ _-~:. -~~-:i~~~~~~~ .

Esta situacion se extiende al caso de tres conjuatos, como 10 ilustra el siguierne ejempjo.

Un chip 16gico de 14 pins tiene euatro puertas AND. cada una con des cntradas y una salida. (Vease la Fig. 3.11) La prime," puerta AND (la puerta de los pins I, 2, 3) puede tener cualquiera Q todos los defectos siguientes:

D,: la prime," entrada (pin I) esta fija en O. 0,: Ia segunda entrada (pin 2) esta fija en 0. D,: la salida (pin 3) esta fija en I.

I. 13. 12

11 10 9

Figura 3.1'1

Para unamuestra de 100 de estes chips Iogrcos, sean A, B y C10s subconjuntns que rienen los defectos D" D, y D" respectivamente. st IA I = 23, IB I = 26, I CI = 30, JA n B I = 7; IA n CI = 8, IBn CI = lOy IA n B n CI = 3,/,cu""tos chips deIa muestra tienen una primera puerta AND COD defecto?

Si trabaiamos en direccldn ccetraria, de IA n B n CJ = 3 a IA I = 23, etiqueramos Las region es como se muestra en Ia figura 3.12 y vemos que IA U B U CI = 57 = IA I + I BI +

"',----------,

A

Figura 3,'2

Cerraremos esta secci6n con un problema que utiliza este resultado,

Capitulo 3 T~rfa de conjuntos

ICI-IA nBI-IA n CI-IBn q + IAnBn CI·Asi,elejemplomuestra57cbipsque tienen una prim era puerta AND con defecto y 100 - 57 = 43 chips en los que la primera puerta AND no tiene defecto.

". .

r:~"'-~-:~'" -

,....,r ~'- • .,.. __

- -_ - ~ - - -

Un estudianre visita un sal6n de juegos al salir de la escuela y juegaLaser Man, Millipede o Space Conquerors. tOe cuantas formas puede jugar una de las opciones al dfa, de modo que juegue al menos una vez durante una semana de clases?

Aqufbay un cierto giro. Eloonjunw1tt consrade todos las disposiciones de tamafio cinco tomadas del conjunto- de tres juegcs, con repeticiones. E1 conjun.tbA represenra el subconiucto de todas las series de cinco juegos practicados durante la semana sinjugar Laser Moo_ En forma analoga, los conjuntos B y C50 clefinen dejando fbera Millipede y Space Conquerors, respectivamente. Las teceicas dc couteo del caprtalo 1 dan comc resulrado Illtll = Y, IAI = IB1 = ICI =2', IA n BI = IA n Ci = IBn CI = 1'= 1 y IAn Bn q =0, as (que, por la f6rmuiaanterior, exisren Iii n Ii n cl = 3'-3 . 2'+ 3 . 1'- 0= 150 maneras en que el estudiante puede selecclonar sus juegos diaries durante una semana de clases y jugar cada opci6n a1 menos una vez.

Este ejemplo tambien puede expresarse en forma de distribucion, ya que buscamos el mlmero de maneras de distribuir cinco objetos distintos (lunes, martes, ... t viemes) entre tres recipientes distinros (los juegos de computador) sin dejar uno vacfo. Diremos mas acerca de eseo en cl capitulo 5..

3.4

Unas palabras en cuanto a la probabilidad

Cuando uno realize un experimenta, como tirar un solo dado 0 selcccionar dos esrudiantes de una clase de 20 para trabajar en un proyecto, La lista de tcdoa los posibles resultados para esta slruacion se llama espacta muestral. En consecuencia, [L, 2, 3, 4, 5, 6} sirve como un espacic muestral para e1 primer experimento mencionado, mientras que { {.ai' aj} 11 S; i s: 20, 1 '5.j ~ 20, i;t j} puede utillzarse para el segundo experimento, SI denotamns can t1j el i-6simo eseudiante, para cada t S; j S; 20.

Par desgracia, un experimentu puede tener mas de un espacio muestral. Si tiramos una moneda tres veces y analizamos los resultados, un posible espacio muestral para nuestro experimeetu es {O, 1,2,,3}. dondc cl numerc t; para OS; i S 3, se refiere al mimero de caras

3.4 Unas

en cuanto a Ja

173

que aparecen en tres tiradas. Los resultados pueden darse tarnbien mediante el espacio muestral :J = {cera, cara, cera; cruz, cara, earn; cera, cruz; cara; cara, cara, cruz; cruz, cruz, cara; cruz, cara, cruz; cara, cruz, cruz; y cruz, cruz, cruz}, donde inmimosque cada uno de los echo posibles resultados tienen lamismaprobabilidadde ocurrir. &10 no sucede en nuestro primer espacio muestral {D, 1,2, 3}. donde creemos que hay mas oportunidad de obtcncr una care en los tres tires que de no obtenerla.

En este texro usaremos siempre un espacio muestrel en el que cada elemento tiene la misma probabilidad de ocurrir. Sobre esta supcsicidn de probabilidad identica, usaremos la definicion de probabilidad dada per el matemadco frances Pierre-Simon de Laplace (1749--1827) en su [ibm Theone analitique des possibilites.

Demostrsremos estes ideas en los ejemplos siguientes.

En una sola tirada de un dado, i,.cu..3l es la probabilidad de obtener un 5 0 un 6?

AQwZ!' ~ (1,2,3,4,5,6) Y el sucesoA que queremos considerar es {5,6). De aquf que

S1 tiramos una moneda cuatro veces, i,cu.:ll 6S la probabilidad de obrener dos caras y dos cruces?

En este case, el espacin muestral esta formado pOT iodas las sucesiones de Ia forma x ..

Xl. Xl! .z-41 donde cada Xi> I $ i S; 4, se reemplaza pOT una cruz., 0 una cara, asf que I Eft = 24 ;;;: 16. E1 sucesoA que nos interesa contienc tcdos las disposiciones de los cuatro simbolos cam, cam, cruz, cruz, por 10 que IA 1= 4!/(2! 2!) ~ 6. En consecuencia, P,'{A) = 6/16 = 3/l!.

Para el ejemplo 3.27, cada tirada es independiente del rcsultado de cualquier tirada anterior. Este caso se conoce como prueba de Bernoulli. En un primer curse de probabilidad, estas pruebas se analizan junto con la distribuci6n binomial, un ejempJo importanre de distribuci6n de probabilidad discrete. Regresaremos a esto en Ia seccion 16A del capitulo .16, caando estudiemos la aplicacion de los grupos abelianos en teoria de codigos.

Capltufc 3 Iecrla de conjuntos

EI acr6nJmo·WYSIWYG (siglas en ingles de +<'10 q.ue yes es 10 que obtienes") se usa pa~ describir una interfaz con el usuario. Esta interfaz presenta material en una VDT (iniciales en ingles para. terminal de pantalla de vfdeo) precisarnente en el mismo formato en que aparece el material en una copia impresa,

Hay 7!/(2! 2:) ;;;;;; 1260 formes en que pueden ordenarse las letras de] acr6nimo WYSI\VYG. De estes, 120(.;;;;;; 5!) disposicicnes tienen las letras W y las letras.Y consecuuvas. Asf, si ordenemos las letres de este acrdnimo de una manera aleatoria, entoncesIa probabilidad de que la disposicirin tenga las letras W y Y consecutivas es 12011260 '" ()JJ'l52.

La: probabilidad de que una disposicion aleatoria de estas siete tetras comience y rermine con la lerra W es [(5!12!)]I[(7!1(2! 2!)] ~ 6011260 "'0.0416.

En nuestro ejemplo final usaremos los conceptos de diagramas de Venn ':I de probabilidad,

En una encuesra reallzeda a 120 pasajeros. una linea aerea descubri6 que a 48 Ies gusrabe el vine (V) con sus alimentcs, a ·78 les gustaban las bebidas preparadas (P) y a 66 el r6 helado (T). Ademas, a 36 les gustaha cualquier par de estas bebidaa y a 24 pasajeros les gustaba todo, Si se seleccionan dos pasajeros aleatoriamente de la muestra examinada de 120, l,cual es la probabilidad de que

a) (suceso A) ambos de-seen solamecte te helado COD sus alimentos?

b) (sucesu B) ambos prefieran exactamente des de Iastres bebidas que se ofrecen?

Con eeta informacion, cousrruimos cl diagrama de Venn que se muestra en la flgura

3.13. EI cspaclo muestral Ef csta fcnnado pOI los pares de pasajeros que pcdemos seleccionar de lamuesrra de .120, por loqus 19, = (J-f) = 7140. EI diagramade Venn indica que hay IS pesejeeos que unicemente <oman r.e heladc, par 10 que IA I ~ (~) y Pr(A) ~ 5112.380 Bl lcctcr dcbcre vcrifica- que Pr(B) ~ 3/34.

'11,-----------,

v

Figura 3.11

OIERQC10S 3.3 ,3;4

1. i,.Cuantas permutaciones de 26 Ietras diferentes de] alfabero contienen (a) el patron ··OUf" 0 el patron ·'DIG"; (b) ningnno de los patrones "MAN" 0 i'ANT'?

2. Un nombre de variable de seis caracteres en.A.NSI FORTRAN empiez.a con una letra del alfabeto. Cualquiera de los otros cinco caracteres puede ref una lena 0 un dfgito. (Se permiten

3.4 Unas palabras en cuantc a la probabilidad

175

repeticicnes.) t:Cujntos nombres de variables de seis caocteres connenen el patron "FUN" 0 el patron ''TIP"?

3. ,Cu:inlaS permutaclones de los digitos 0,1.2, ..• 9 emplezan con lID 3 0 terminan COil un 7.

Q cumplen ambas condiciones?

4. Un profesor tiene des docenas de libros de inrroducci6n a las ciencias de Ia computacicn y esta interesadc en 13 forma en que traWl los temas (A) compiladores. (B) estructuras de dares y (C) inrerpretes. Los siguientes datos representan 13 cantidad de Iibros que contienen material relativo a.estos temas:

IAI~8 IAnBI~5 IAnBncl~2

ICI=13 IBnCl=6

(a) lCuj~mos.libros incluyen el materia] de exactameute uno de estos temas? (b)i,Cu!nIOS no tratan ninguno de estes temas? (c)l,Cuintos no tieeen material sobre compiladores?

S. Daria tira un dado tres veces. i,Cu!l es Ja probabilidad de que

a) su segundo y tercer tires sean ambos mayores que su primer tire?

b) el resultado de su segundo tiro sea mayor que el de su primer tim, y el resultadc de su tercer

tiro sea mayor que el de! segundo? .

6. AI seleccionar un computador nuevo para su centro de caculo. el responsable del mismo examina 15 modelos diferemes, coosiderando: (A) el dispositive para cinta magnerica, (B) la terminal para mosrrar graficas, (C) la memoria sem.iconductora (adelJl;is de Ia memoria principal). EI n-cirrtemdecompu~concua1quieraoro1asestasca.r:acteE1Stic:aseseisiguienle: IAI = IBI = Icl =0, IA nBI = IB nq =1, IA n CI =2.IAn B nCI =0, (a).Cuanto,modeloslienen exactamenre una de estas caracterfsticas? (bkCuantos no tienen ninguna de esras caracrerlsticas? (e) Si se selecciona UI1 modele aJ azar, i.cual es la probabilidad de que tenga exactamenre dos de estes caracterfsticas?

7. En la oomunidad femenina Ganuna Kappa Phi. las 15 estudiantes de Ultimo aDo se forman de una manera aleatoria para una fotcgraffa de fin de curse. Dos de ellas son Columba y Pary, i,Cufi es Ia probabilidad de que en la fotografia

a) Pary quede en la posici6n central de la fila?

b) Pary Y Columba qaeden juntas?

c) queden cinco estudiantes entre Paty y Columba?

d) Columba quede en algun lugar a la izqlrierda de Paty?

8. El grupo de primer ingreso en una escuela de ingenierfa tiene 300 estudiantes. Se sabe que 180 pueden programar en Pascal. ]20 eo FORTRAN, 30 en APL, 12 en Pascal y APL. 18 en FOFITRAN y APL, 12 en Pascal y FORTRAN Y 6 en Los tres lenguajes.

a) Se elige un estudiante al azar l.CuiJ es Is probabilidad de que pueda programar en exactamente des lenguajes?

b) Seleccionamos dos estudiantes en forma aleatoria. (. Cuat es la probabilidad de que i) ambos puedan prcgramar en Pascal?

.il) ambos puedan programar s610 en Pascal?

9. En una estanterta hay echo Iibres diferentes, tres de ffsica y cinco de Ingenierfa electrica, colocados aleatcrtamecte. Encuentre la probabilldad de que queden juntos los tres Iibros de flsica,

10. Un cargamenro de 24 autos nuevos ccntiene 15 en excelentes condiciones, seis con defectos mmimos y tres ccn defectos mayores. Si se seleccionan des eutornoviles del cargamento, ;_,cU!1 es la probabllidad de que (a) ambos SIC encuentren en excetenres condiciones? (b) ambos ten-

(76

Capitulo 3 TeorJa de conjuntos

gan defectos menores? (c) a 10 mas uno tenga un defecto minimo? (d) a1 mencs uno tenga un defecrc minima? (e) exectamente uno renga un detecrc minima? (f) ningunc renga un defectc minimo?

lQue relaci6n tienen Los resultados de los apertedos (b). (e) y (O?

11. De manera alearoria se selecciona un entero entre 3 y 7 inclusive. 5i A es el suceso de, que sea elegido un rrumero divisible entre 3 y B es el suceso de que el numerc sea mayor que 10, determine Pr(A). Pr{B). Pr(A n B) y Pr(A U 8). ,&C6mo se relaciona Pr(A U B) con PT(A:t P,(B) Y P,(A n B)?

12. a) Si las letras del acr6nimo WYSIWYG se ordenan de manera alearoria, {.cuil es la probabilidad de que la disposicion comience y termine OOD La misma letra?

b) "CtJAl es la probabilidad de que una disposicion alearoria de las lerras de WYSlWYG no tenga un par de letras identicas ccnsecutivas?

13. a) l,Cuantas disposiciones de las lerras de MISCELLANEOUS no tienen una pareja de lerrasidenticas consecutivas?

b) Si se genera una disposlclcn de estas letras en forma aleetoria. icujl es la probabilidad de que no haya parejas de Ierras identicas consecutivas?

14. i,CuantaS disposiciones de las letras de CHEMI.ST tienen la H antes de la E, Ia E antes de la T. o T antes de la M? (Aqui, "antes" significa cualquier Iugar anres, y no inmediatamente ames.)

15. Si las Ierras de la palsbra CORRESPONDENT se arreglan en orden aleatono, isua1 es la probabihdad de que le disposicidn comience y termine con fa misma Ietra?

3.5

Resumen y repaso hist6rico

En este capitulo presentamos algunos de los fundamenros de la teorfa de conjuntoa, adcmas de ciertas relaciones con los problemas de. con teo y de probabilidad elemental

E] algebra de Is teorra de conjuntos so desarrollo durante los siglns diecinueve y veinte.

En Inglaterra, George Peacock (179I~1858) fue un pionero en reformas matematicas y UIlO de los primeros, con su Treatise on Algebra. en revoluclonar el concepto del algebra y Ia aritmetica. Sus ideas fueron desarrolladas mas tarde por Duncan Gregory (1813-1844). William Rowan Hamilton (1805-1865) y Augustus De Morgan (1806-1871), quien in len[6 eliminar la ambiguedad del algebra elemental para ponerla en forma de postulados esrricros. Sin embargo. fue en 1854. ana en que Bcoie publico wslnvestigation of the Lews afThought, cuendc se.logrc formalizar el algebra de conjuntos y la logics y se cxtcndic cl trabajo de Peacock y sus coatemporaceos.

Ncsorros nos hernos conccntrado principalmente en los conjuntos finites. Sin embargo, el estudio de los conjuntos infinitos y sus cardinalcs ba ccupadc las mentes de muchcs rnatematicos y fil6sofos. [Veremos mas de esio en el apendice 3. No obstante, quiza el lector este interesado en aprender mas sabre funciones (lema que aparece en el capitula 5) ames de ver el material de este apendice.] EJ enfoque intuitive de fa leona de conjunros se realize en tiempos del marcmarico ruso Georg Can [or (1845-1918), quien definio un conjunto, en 1895. en una forma comparable a las "nociones intuitivas" que mencionamos al comicnzo de La seccion 3.1. Sin embargo, su definicion fue uno de los obsraculos que Cantor no fue capaz de eliminar completarnente de su eeona de conjuntos.

3.5 Resumen y repaso hist6rico

177

Georg Cantor {1845-1918)

Reproduccicn per ccrtesra de The Granger Coll-ection, Nueva Yor~

En la decade de 1870, cuando Cantor esreba estudiando las series trigonometricas y las series de ndmeros reales, neccsitaba una forma para comparar el tamajto de 105 conjuntos infinitos de namercs. Su estudio del infinite como una realidad, que esta en el mismo nivel que 10 finite, fue realmente revclacionerio. Parte de sou trabajo fuc rechazado ya que resulto Set mucho mas abstracto de 10 accstumbradc por muchos matematicos de su tiempc. Sin embargo, su trabajo gan6 la suficiente aceptaclou para que en 1890 la teorfa de conjuntes, tanto finita como mfinita, fuera considerada una rama de las matematicas per derecho propio.

Si bien. al terminar el siglo, la teorfa era aceptada ampliamente, en 1901 ta paradoja ahara conoclda como La paradoja de Russell (que fue analizada en eI ejercicio 25 de la secci6n 3.1) mosrro que la teorfa de conjuntos propuesta originalmente tenia una inccnsistencia interne. La dificultad parccfa residir en la falta de restriccioncs at definir los conjuntos; la idea de que un conjunto pudiera ser elemenro de sf mismo fue considerada parriculenuerue sospecbosa. En su trabajo Principia Mathemaiica, los matemaricos britanicos Lord Bertrand Arthur WiUiam Russell (1872-1970) y Alfred North Whitehead (1861-1947) desarrollaron una jerarqufa en la teorfa de cnnjuntos conocida como la teona de tipos. Esta tecria axiomatica de los conjuntos, entre otras formulaciones del siglo veinte, evitaba la paradoja de Russell.Adcmas de su trabajc en matematicas, Russell escribi6 libros sobre filosoffa, ffsica y sobre sus opinjones polfticas. Su gran talento lirerario fue reccnocido en 1950 cuando gan6 el premia Nobel de Iiteratura

El desccbrtmienro de la paradoja de Russell, aun cuando se pudo rernediar; tuvo un profundo impactc en Ja comunidad maremarica, ya que machos cornenzaron a preguntarse si habna otras contradiccicnes ocultas. En 1931, el matematico (y ldgicc) ausmeco' Kurt Godel (1~06-1978) formul6la idea de que "en una condicion de consistencia dada, cualqulcr sistema axiomatico formal suficientemente fuerte debe contener una prcposicion ta! que ni esca ni su negaci6n sea. demostrable y tal que. cualquier demoscacion de consistencia de] sistema d.ebe usar ideas y merodos que esrac mas alla de los propics del sistema en

fEn realidad, Kurt Godel cacto en 10 que era Checoslovequia.

7.8

Capitulo 3 Teo(ja de ccnjuotcs

Lord Bertrand Arthur William Russell (t872-19701

sf". De esro apreudimos, lamentablemenre, que no podemos establecer, de forma rigurosa desde el punto de vista matemarico, que no existen contradicciones en matemadcas. Peru, a pesar de esta "prueba de Godel". la investigaci6n matematica continua; de heche. 13 canzidad de investigaci6n realizada de 1931 ala fecba scbrepase la de cualquier otrc periodo en 13 historia.

EI USD del sfmbolo de pertecencia E (una forma estilizada de Ia lena griegaepsllcn) fue introducido en 1889 por eI matematico itaJiano Giuseppe Peano (1858-1932)_ EI sfmbolc "e" abreviala palabra griega "CDT." que significa "esta".

Los diagramas de Venn de la secci6n 3.2 fueronintroducidos POt el logico ingfds John Venn (1834-1923) en 1881. En su libra Symbolic Logic, Venn aclar6 idea, desarrolladas anteriormente por su cumpatriota George Boole (18]5-1864). Ademas, Venn ccntribuyd al desarrollo de la tcorfa de la probabilidad, descrita en su ampliamerrte conocido Jib-e de iextc sobre esta materia.

Si quisieramcs resumir la importancia del papel de la teorfa de conjuntos en el desarrcllc de las matemadcas del siglo veinte, podrfarnos recurrir a la siguieere cira arribuida al matematico aleman David Hilbert (1862-1943); "Nadie pod", expnlsarnos del parafso que Cantor ha creede para nosotros"

En la secclcn 3.1 mencionamos la disposici6n de mimeros conocida Como cl triangulo de Pascal. Podrfamos haberla presentado en el capitulo I, Con el teorema de1 binomio, pero esperamos hasta contar con algunas identidades combinatorias necesarias para verificar la forma en que se construye el triangulo. La disposicicn ya aparece en el trabajo del algebrista chino Chu Shi-kie (1303), aunqu,e su primera aparicien en Europa fue en el siglo XVI. en la portada dellibro de Petru, Apianus (1495-1552). Niccolo Tartaglia (1499-1559) utiliz6 este triangulo para calculer las potencias de (x + y). Debido a su obra sobre Las propiedades y aplicaciones de este triangulo, la disposicion recibe el nombre del maternatico franc~s Blaise Pascal (1623-l662).

Ejercicios complementarios

179

Por ultimo, aunque la probabilidad smgi6 con los juegos de azar y los problemas de enumeracicn.Ja mencionamcs en este punto debido a que la teorfa de coniuntos evolucion6 come el medio necesario para establecer y resolver problemas de este importante area coetereporanea de las matematicas aplicadas.

Gran parte de Ia histcria y desarrollo de Ja teorfa de conjuntos aparece en el capitulo 26 de C. Boyer [1]. El desarrollo formal de la teoria de conjuntos, incluyendc los resultados relatives a los conjuntos infinitos, se puede encontrar en H. Endenon [3:1. P Halmos 14]. I. Henle [5] y p. Suppes [71. Una interesanre historia de los ongenes de las ideas en probabilidad y es tadrstica, basta la epoce de Newton, aparece en F. N, David [2]. Los cepnulos 1 y 2 de P. Meyer [6] son una fueete cxcclente para los Inreresados en aprender mds acerca de la probabilidad discreta,

BIBLIOGRAF1A

I. Boyer, Cad B., History oj Marhematics. Nueva York. Wiley, 1968-

2. David. Florence Nightingale, Games, Gods, and Gambling, Nueva York, Hafner, 1962.

3. Bnderton. Herbert B .• Elements of Set Theory, Nueva York. Academic Press, 1977.

4. Helmes. Paul R., Naive Sec Theory. Nueva Yort., Van Nostrand. 1960.

5. Henle, James M .• An.Ouiiine of Set Theory, Nueva York~ Springer-verlag. 1986.

6. Meyer. Paul 1.., Duroductory Probability and Statistical Applications, red., Reading, Mass ..

Addison-Wesley, 1970.

7. Suppes, Patrick C., Axiomatic Set Theory, Nueva York. Van Nostrand. 1960

EJERCICIOS COMPLEMENTARIOS

1. SelInA, B,C~Gy_ Demuestre que (A -8) ~ C si Y s610 .~-C)!;B.

.SiA, B ~~. demuestre queA b B 51 Y s610 si ['9C o;;:uu, ~A) => C!;; Bl].

0) A-C=B-C~A=8

b) [(AnC=BnC)A(A-C=B-c)1~A=B e) [(AUC=BUC)A(A - C=B - c)l~A =8 d) ~(A - B) = ~(A) -~(8)

4. a) Para los enteros posuivos m. n,..r.c-on r ~ rnfD{m.nl. muestre que

b) Para un entero positive n, muestre que

(2n) _ ± (n)'

n - 10.0 k

5. a) i.De cuantas fcrmas puede. un prcfesor dividir un grupode siete estudiantes en dos equipos, de modo que cada uno- conrenga at menos un estudiante? ia1 menos des esrudiantes?

b) Responda la parte (a) reemplazandc siete PO! uti:

entero positive n ~ 4.

6, Determine si cada una de las siguientes proposiciones es verdadera 0 falsa, Para cada prcposicion falsa, d~ un contraejemplo.

a) S~ A Y 8 son conjuntos infinitos. emcnces A n B

es infinite.

b) Si B es infinite y A ~ 8, enronces A es infinite.

c) Si A ~ B con B finite. entonces A es finno.

d) Si A !.;;; B con A finito. entonces B es finite.

7. Un conjuntotieee 128 subconjuntos de cardinal par. (a) i,Cu!ntos. subconjuntos de A tienen cardinal impar? (b) .{,Cua.mo vale IA 11

8. SeaA={I,2,3, ... , IS}.

10

Capitulo 3 teora de conjuntos

a) l.Cu~tos subconjuntns de A contlenen tcdos los eneros impares de A?

b) l.Cuamoo subconjuntos dea conuenen exactamente tree enreros impares?

c) l,Cuintos subcunjuntos de A de ocnc elementos contienen exactamente tres entercslmpares?

d) Escriba un programa (0 desarrclle un algoritmo) para.generar un subconjunto de ache elementos de A e imprimir el ndmero de emus elementos que sean rmpares.

SeanA, B, C ~ 'U. Demuestre que (A n B) U C =A n u C) si y sclc si C~A.

1.1'= cualesqui era A, B,C ~ 'U demuestre que (A - B)= (.oj - C) - (B - C).

I. Para cualesquiera s. B.C ~ "U, demuestre.que fa) A U =~ si y &610 si A!: B~ (b);A n B=:@·siys610 siA;J B.

~. Sea 11«.. un 1:l,niverso dado conA. B !: ~'> IA n B] = 3, UBI =8Jf I'UI = 12.

a) l.Cuantos: subconjun!osC!: GUsatisfacenA n B ~ C c A U B? l,Cu.:inlos de estes subconjuntcs C contienen un ndmerc par de elementos?

b} ,;.Cuanros subconjuntos D ~~ satisfacen A UB '- DCA U B? i.Cuantos de.estes subconjuntos D coruienen err namerc par de elementos?

r, Sea. (iij = R y consideremos el conjunto indice {.: Q". rn.:t~aq E~, seanA~= [O.2q] y B'i~ (0. 3q]. Determine siguiente:

*) A,t;; b) B~ c) A]-B4 d) A3fiB4

e) ~A, f) \t, B, g) ;), A, h) !:lB,

f. Para UD universe cru y conjuntcs A,. B ~ i:>U, demuestre siguiente:

0) At;.B=Bb.A b) Ab.A~'IJ.

0) AM.!~A

d) All (I =A" per 10 que fj es el neutrc p:mi6, al igual

que para U

;. Consideremcs la siguiente tabla de penenencia (Tabla O. Si teneetos como coodici6n que a C B, entonces s610 bemos tener en cuenta las mas de La tabla para las que to es verdadero (las mas 1,,2 Y 4. que se indican mediante a flecha. Para estas fllas, las columnas de B Ii A U 8 son

labia 3.4

A B AUB
.... 0 0 0
.... 0 1 1
1 0 1
.... 1 1 1 exactamente iguales, pur 10 que este tabla de penenencia

muesua quea CB;;;;;)A UB:;:B. .

Utilice las. tablas de penenencia para verificar 1", sigulente

0) A<;;B?AnB~A

b) [(AnB~A)/\(BUC~C)l?

AUBUC~C

0) C~B<;;A?(AnB)U(BnC)~ AnC

d) AlJ.B~C?Ab.C~ByBlJ.C=A

16. Eauncte el dual de cada teorema del ejercicio 1:5. (Aquf se usa el resuuado del ejemplo 3.17 junto con el teorema 3.5.)

17. a} Determine La cantidad de disposlcicnes lineales. de m enos y r ceres sin que haya unos adyacenres. (Establezca las condiciones necesarias param, r.)

b) Si~::::{1,2>3! .... n}.LCuM1tosconjlID!osA~:ij1 son tales que IA I = k Y A no contiene enreros consecutivos? (Establezca las condiciones necesanas

pMan,k.) .

18. Sea A:= {lI.ln E Z"_l S:;.r.c;::; lOO}_ Si B':; A. Y ningua elemenrc de B e~ el triple de otrc elemento de B, ,i,cual es el maximo valor pcsihle de IBP

'19. En una expcsicion cienufica de una escuela secundaria, 34 estudiantcs recibieron premios por sus. proyectos cienttficos. Se dieron 14 premios PQr proyecros de biologfa, 13 dequnnica 'J 21 de ffsica. Sl tres estudiantes recibieron premios en las tres areas tematicas, l.cuantos. recibieron pre .. mios per exactamente (a) un area tematica? (b) des ~ tematicas?

20. Si las letras de la palabra BOOLEAN se onlenan al_ azar, i,.cuAI es la probabilidad de que las des letras 0 queden juntas en la disposicion?

21, Si se distribuyen 16 galletas con chis-pas de chocolate entre cuetro nines, l.cuaJ. es 13 probabilidad de que cada nino reclba (a) at raenos una. galleta? (b) al menos des gaHelas?"

22. Cincuentaesurdiantes, cada uno con 75 centavos, visltarcn el salon de videcjuegos del ejemplo 3.25c Dedios. n jugaron IDS tres videojuegos y 37 jUgaIQD al menos des de ellos. Ningrin esrudiante practicd otto del salon, ni tampoco el mismo juegc mas de una vez. Cadajuego cUt,C;s.ta25 centavos y el total obtenido de la visita de los estudiantes fue de $24.25. i.Cuantos esrudianres optaron por ver y no juga! nlnguno de los juegos?

23. ~De cuaruas formes puede asignarse rrabaje a 1.5 ayudentes de laboratoric en nne, des 0 ires expertrnemos dire,. rentes, de modo que en eada experlmento haya al menos una persona al pendiente de eL?

Eiercicios complementarios

181

La profesora Diana puso un examen con tres preguntas III gmpo de qufmica. Hay 21 estudiantes en su cl~ y UDD de ellos OOnlesm al menos una preguata. Cinco no contesraron fa primera pregunta, siete fallaal contestar la segunda, y seis no contestaron la tercera

Si nneve eatudiantes ccereeteron las tres pregun"'_l.cmntos ccntestaron exactamenle una pregunta?

is. Sea ~ un universe dado, con A. 8 I:~, A n 8 ~ 0, IAI = 12y IBI = 10. Si se eligen siete elementos deA U 8,

m la probahilidad de que la seleccidn conrenga cuarro _osdeAylreSdeB'!

l&. Para un conjunto finito A de enreros. sea a(A) la suma de los elementos de A. Entonces, si (ij, es un universe finite tamado de Z"O L.II~;f'( .. )(T(A) denota Ia suma de todos los dementos. de tceos los scbconjuntos de fill. Determine I_"a(A)paI1!

0) 'lL={1,2,3}. b} 'IL={1,2,3,4}.

<) 'lI.={1,2,3,4,5), d) 'lI.={1,2,3, ... ,n}.

e) 1ilL= {aI, a;!, a, •... ,a..}, donde s = al +.:21 +.a:!o + •• _+43,.-

2'. a) En ajedrez, el rey se puede mover una casilla en cualquier direccicn, Si suponemos que el rey 0010 se puede mover hacia ade1ante (una casilta bacia arriba, bacia la derecha () en forma dia-gonal bacia el noreste), a 10 largo de cuemas trayecrerias se puede mover un rey de la casilla de la esquina inferior izquierda bases la de Ia esquina superior derecha en el tablerc com~n de 8 x 81

b) Para las trayectodas de Ia pane (a), i.cu3] es la prebebilidad de que una. de ellas contenga (i) exactsmente dos rnovimientos diagonales 2 (ii) exactamente des movimienros diagonales eonsececvost (iii) un nnmerc par de movimienros diagonales?

[

4

npiedades de los ros: Inducci6n matematica

Y a que hemos ofdo de los enteros desde nuestros primeros encaeetros COil la aritmetica, en este capitulo examinarereos una propiedad particular que ,se balla presente en el subconjunto de los enteros positives. Esta propiedad nos permitira establecer algunas ftir-

mulas y teoremas marematicos mediante una recnica Uamada ieduccion matemdtica. Este metoda de demostraci6n tendra un papel centra! en muchos de los resultados que obten- . dremos en capftulos posteriores deeste textc. Ademas, cste capitulo presenta tres conjuntos de nnmcros que son muy importames en el estudio de las matematicas discreta y combinatoria: 105 ncmeros annonicos, los mimeros de Fibonacci y los mimeros de Lucas.

Cuando Ly E Z, sabemos que ,r ..... Y • ..:t}',x-y E Z.Asf. decimos que el comunro z es cerrado en (las opereciones binarias de) suma, muhiplicacicn y resta, Sin embargo, at pasar al caso de Ia division, vemos.por ejemplo, que 2,3 E Z perc que el ndmcrc racional t no es un elemento de Z. De modo que el conjunro Z de los emeros noes cerrado en Ia operacicn binaria de division entre numeros distimos de cere, Para enfrenrar esta siruacion, preserueremos una forma un poco resrringida de 'division para Z y nes concentratemos en. algunos elementos parucejeres de Z+ l1amados primos. Estes primos seran como los "bloques de construccicn'' de los enteros. y nos deran el primer ejemplo de un teorema de representacion, en este case, cl teorema fundamental de Ia aritmetica,

4.1

El,Jlrincipio del buen orden:

Inducci6n matematlca

Dados des enteros diferentes x, y, sabemos quc.x < y 0 y < x. Sin embargo, esto tambien es cierto si, en vez de ser enteros, x y y son ndmeros racionales 0 nrlmeros reales. i.Que hace especial a Zen este caso? Supongamos que traramos de expresar el subconjunto Z+ deZ, mediante los simbolos de desigualdad > y ::. Vemos que podemos definir e! conjunto de los elementos positives de Z como

Z· = {xEZ~>O}={xEZlx21},

183

Q+ = [xEQlx>O}

No obstante, cuandc intentamcs hacer 10 mismo con los ndmeros raciceales y reales, v'emos que

perc no podemos representar Q+ 0 R+ con 2: como 10 hicimos COn Z+,

El conjunto Z" es difcrcntc de los oonjuntosQ"' y _Rt por el heche de que tQdosubconjuuro DO vacfo X de Z+ contiene un entero a E X tal que a S x, para todo x E X;~ es dech; X contiene un elementome1UJr(o minima}. Esto no ocurre para Q+ 0 R+. Estes conjuntos en si mismos no contienen elementos winimos: no existe un nrimero racional positive ni un mimero real positivo minimo. Siqes ua numcrc racional positivo, entonces, como 0 < qn<q. tendriamos un mlmcro racicnal positive mas pequefio. q12.

Bstas obscrvecioocs dan lugar a la siguiente propiedad del conjunto Z+ C z.

Este principia sirve pam distinguir a Z'" de. Q+o R+. Pero, iconduce a alga que sea lnteresanre 0 tltil desde el punto de vista metemadco? La respuesta es un rotundo ., ISH" Es Ia base de una tecnica de demostracion conocida como .induceidn matcmatica. Esta teceice nos ayudara con frecuencia para demostrar una proposicion marcmatica general retacionada con los enteros positives, cuandn algunos casas de esa proposici6n sugieran un patr6n general.

Ahara estableceremos la base de esta tecnica de inducci6n..

EOREMA4.1

Principia de induccion.finita 0 principio de induce ton mazemasica. Sea Sen) una proposici6n matematica abierta (0 un conjunto de tales proposiciones abiertas), en la que aparece una 0 varias veces la variable n., que representa a un entero pcsitivo.

a) Si 5(1) es verdadera; y

b) siempre que 5(k) sea vcrdadcra (para algun k e Z' particular, pero elegido al azar),

emonces S(k + l)ser§ vel$.dera·;'

eotooces S(n) es vcrdadcra para todo n E Z ".

Demo5tracj6n~ SeaS(n) unapraposici6n abierta con las condiciones (a) y (b), y seaF= {t E Z+ I S(t) es falsa}, Querecms mostmr que F= 0. asf que para cbrener una conrradiccroe supanemos que F :fo. 0. Entonces, por el principic del buen orden, F tiene un clemente minima s. Como SCI-) es verdadera, s -:fo I, per ]0 que s > I y, en consecuencia, .s - 1 E Z+. Como.s-. I ~ F, tenemos queS(s ~ 1) es verdadera.Asf per la condlclon (b), se sigue.que SC(s - 1) + 1) = S(s) es verdadera, 10 que contradice que s E F. La conrradiccion smg(: de 1. hlp6tesis F '" 0. Por 10 tanto. F = 0.

Hernos utilizado el principic del bucn orden en la demostrecion del principio de in"ducci6D matem.3rica. 'Iambien es cierto que el principio de induccicn marematica nos sirve para demostrar e1 principia del buen orden. Sin embargo, no nos detendremos eneste punto por ahara. En esta secci6n, nuestro principal objetlvo es comprender 'J utilizer e1 principio de induccien rnatemanca. (Sin embargo, en los ejercicios de la seccloc 4.2 analizarcrnos laforma en que se usa el principio de inducd6n matemedca para demostrar el principio del buen orden.)

En el enunciado del teorema.a.I, la ccndicion de la parte (a) se conoce como.laeese de fa induccion; mientras que la parte (b) se conoce como el paso inductive,

La eleccidn de, 1 en Ia primera condicidn del reorema 4.1 no es obligatoria.. La entco que se necesita es que la propcsicicn abierta S(n} sea verdadera para. un primer eiemento n"E Z para que cl proceso de inducci6n tenga un lugar de inicio. Necesitamos que S(na) sea verdadera como base de la inducci6n. El' entero nu podria ser 5 0 1. Incluso podrfa ser a 0 negative, puestc que el conjunto Z· junto con to} 0 cualquier conjunto finito de enteres negatives sigue siendo bien ordenado . (Si bacemos una demostrecicu por inducci6n y partirnos de 110 < 0, nos fijamos en el ccnjunto de todos los enteros negatives consecutivos ~ no. unido con [OJ y Z+.)

ED estas circunstencias, podemos expresar el principia de inducci6n finita, usando cuamificadores, como

[S(",,)A['o'k"'n,[S(k);:}S(k + l)ID;:} .... n"."" Sen).

Podemos comprender snejor la raz6n de la validez de este metodo de demostracion wando nuestra intuicion, junto con Ia sltoacicn que se presema en la figura 4.1

En la parte-fa) de la figura vemos las primeras cuarro fiehas de una disposicicn (ordenada) finita de fiches de domin6, cada una puesta en forma: vertical. El espacio que hay entre des fichas consecutivas es siempre el mismo y es tal que si cualquier ficha (digemos. la k-esima) se empuja hacia la derecha, enronces golpeara la siguiente «(k + 1 j-esime. Este proceso se representa en lafigura 4. 1 (b). Nuestra intuicidn nos hace pensarque este proceso continuar:l: I. (k + Ij-esima Jicha gofpeara (a 1. derecha) 1. (k + 2)-esima, etcetera.

I I I ,I
I .. ----
I 0. n,,+ 1 nG + 2 nc + 3
(a)
=lL
.. . .. -~---
k 1'+1
(b)
-/1 I I
II ~ .. ----
1 0. _ n.a+1 no + 2 nc + 3
(e) Figura 4.1

Laparte (e) de lafigura indica que Ia verded deS(n,) proporciona elempuje (.1. derecbaj de Ia primerafichafen no). Esto proporciona la base de 13 .induccion y pone en movimicrso el procesc. Como Set) es vordadera,S(k +"1)" es verdadera, 10 que nos proporciuna 01 p~ indncrivo y continua el proceso de cafda.de las fichas. Entcnces, pcdemos inferir el heche de queS(n) es verV-adera para toda n~1lo si imaginamos sodas las fichas sucesivas 'cayendo (bacia Ia derecba).

Ahara demostraremos varies resultados que utilizan el teorema 4. L

Para cualquier n E Z+, I:,; ~ 1 + 2 + 3 + ... + n~ (nXn + 1)12. DemDstracion: Para n = 1, la proposicicn abierta

Sen): ± i~1+2+ 3 + ... +n = (,,)(n + 1)12

i=l .

se conviertc en S(1): I:',; ~ (1)(1 + 1)12. Asf S(I) es verdadera y tenemos nuestra lias. para Ia induccw~ ua punto de inicio para comenzar la induccion. Sl suponetnos que.el reauhado es cieeto peran> k.(para alglin,k: E- Z+~:,qlleremos esteblecer nuestropaso induc:rivo mostrando que Ia vcrdad deS(k) "obliga" a.aceptar 1. verdad de S(t + I). [La hiporesls de ta verdad de Set) ea nuestra hipotesis de imluccwn.] Para es tablecer I. verdad de S(t + 1), necesitamoe mostrar que

~ t (k+l)(k +2)

1-1 2

Hac~os lo siguicntc.

'H (' ) . k(k + 1)

L i= 1 +2 + ... +k + (k +1) = Ii +(k+l) =-~-~+ (k + 1).

_ ~ 2

ya que es~os supouiendc Ia verdad de S(k). Pew

k(k + 1) ~ \k +·1) ~ k(k + 1) + 2(k+ 1) (k + 1)(k +2)

2 2 2 2

(0 que esteblece el paso inductive [condicioo (b)] del teorema.

En consecuencia, por el principio de induccion finite, Sen) es verdadera para todo n E Zir.

Ahara que bemos obtenido la formulapara fa suma 2: ==.i de dos formas (vease cl ej. 1.38). nos desv.iaremo-s un poco de:} temaprincipal y estudiaremos un ejemple que usa esta f6rmula de la suma,

Una ruleta tiene numeros dell aI 36 pintados en ella de tnanera aleatoria. Mostraremes que, independientemente de la posicion de 1'05 mimeros, hay tres numerus consecutives (en 1. ruleta) que suman 55 c mas.

Sf:ax, cualquier numero dela ruleta, Contama-s en direccion de.las manecillas del reloj a partir de Xh 'i Hamamos- a los demas ndmeros X~,b .:tj ••.. , X36. Para que el resultado sea

falso.debemns tener x, +'Xi +xl<55,A:l: +~l+.,Z4<55., ... X34 +XJ!j +X:!f.j.< 55.X3~+X~+ X, -c 55 y.r:;;s +XI +.42 <55. En estas 3_6 desigualdadeacada unode los terminOSXI'~'··· 'X.\6 aparece exacaamente ires veces, por 10 que cada uno de Ids enteros 1, 2t ... ! 36 aparece tres voce s, si sumamos las 36 desigua1d.ades, leGem", que32:i!x, =32:=,1< 36(55) = 1980. Perc 2::,1 = (36)(37)/2 = 666 Y esto nos da I,a ccnrradiccion 1998 = 3(666) < 1980.

La. siguiente f6rmula para una suma nos Ileva de la primera pctencla a 10-5 cuadrados.

Demuestre que para cualquier n E Z+, 2:;../= (nXn + 1)(2n + 1)16. Demostraci6n: Aqui trabajamos con la proposiclcn abierta

Sen): 2: i' = (,,)(n + Ij(2n + 1)/6.

i=1

Base de la inducCW1J: Comenzamos con la propusiciun S(I) y vemos que

± i' = 1'= (1)(1 + 1)(2(1) + 1}16,

{=l

por 10 que $(I).s verdadera.

Paso ~vo: Sepongemos.ahore Ia verdad de Set) para un k E Z· (particulam es decir; supcngamos que.

•

2: i' = k(k + 1)(Zk + 1)16

i=l

es una proposicion verdadera (al reemplazar n per k). De esta hip6tesis queremos deducir

10 verdad de .

S(k + 1): :E i' = (k + 1)((k + 1) + l)(2{k + 1) + 1)16

$",1 .

= (k + 1)(k + 2)(2k + 3)/6.

Si usamos ta blpotcsis de inducci611.s(k\ vemos que

k+1 .I;

2: 1'=1' +2'+ ... +k' +(k + 1),=2:i'+ (k + 1)'

i=1 .=1

= [(k)(k + l)(Zk + 1)/6] + (Ie + 1)'.

De eS{Q tenemos

/

y (2 = (k + t)[(k)(Zk + 1)/6 + (k + 1)] = (Ie + 1)(2k' -I' 7k + 6)/6J

0'-]

= (k + 1)(1c + 2)(Zk + 3)16,

y el resulrado general se obtiene por inducci6n matematica,

Antes·de preseeear """ resultados en los que utili=osel principio de inducci6n ma.tematiea para establecer su valldez, obscevcmos cl inicio de las demosttaciones de los ejemplo.4.1 y 4.3. En ambo, cases, simplemente reemplazamos la variable n por 1, obtenerncs lgualdades sencillas y verificamos si SOD verdaderas. Si considcramos que era detlnitivame;nte'mas complicado establecer el paso inductivoen el resto de estas dcmostracicnes, tal 'i!ez nos:preguntem~ por que hay que preccuparse por la base de Ia Iaduccloe. Por ello, vamos a anaiizar el.siguiente ejemplo.

Si n E Z+~ establezca ta vafidez de.la proposlcion abierta

Sen), ±i ~ 1 + 2+ 3 + .... +,,~ ( .. '+ n +2)12.

i'=t

Esta vez vamos directarnente al paso inductivo. Si suponemos la verdad de la proposicion

•

S(k): Li ~ 1 +2+3 + ..... + k ~ (k'+ k +2)12.

,.,

para algun k E .Z· (particular), queremos VOf si podemos inferir le verdad de I. proposi.cien

'=+[

S(k+l): Li~1+2+3+ ... +k+(k+l)~[(k+l)'+(k+l)+2n

_i-1.

~ (k' + 3k + 4)12.

Como 10 hicim.os anteriormente, usamos Ia blpcrcsia de Induccion y hacemos el calculo siguieme:

% i ~ 1 +2+3 + ... +k + (k +i) ~(t,i)+(k+ I)~(k'+k+2)12+ (k + 1) = (k' + k + 2)12 + (lk + 2)11. ~ (k' + 3k + 4)11. ..

Por 10 tanto, par. oUalquieI'k E Z·, se ticnc que S(k) ~ S(k+ I). Porn antes de decidir si aceptamos fa proposici6n"t;fn Sen) como verdaderai reconsideremos elejemplo4. t, don-

de. aprendimos que Xi = n(n + 1)11,. para todo n 'E Z+. Per 10 tanto, podcmos usar estes ,<I

do. resultados tel ejempJo 4.1 y cl rocien "establecido") para conduit que

Vn [n(n + 1)11.~ ~i =(n'+n + 2)11.].

Mi, teaeenos que para todo " E ,Z+t

n(n + 1)11. ~ (n' +.n + 2)11.,

10 que implica que n(n. + l~ n'+ n + 2 Y () = 2. l;Algo csri mal!)

1

Si .n = I, entouoes"L,1 = I, pore en' + n + 2)12 = (I +·1 + 2)12 = 2. AIr,. S(I) no es

i_1 .

verdadeea,

Pero tal vez pensemos que este resultadc dnicamente indica que elegimns el punto de inicio incorrecto, Tal vez:S(J'I.) sea verdadera para todon == 3,0 todo» ~ 7,0 todon i::: 137. Sin embargo, si usamos el argumenro anterior. sabemos que para cualquier punto inicial no E Z+. si S(no) fuera verdadera, enionces

(n5+""+2)!2~~i~1+2+3+ ... +"".

'-1

del resultado del ejemplo 4.1, tenemos I:;i = nJno + 1)12. por La que nuevamente tcndrfa-

'- .. 1

mos 0 = 2; asf no tenemos un punto de inicio.

Este ejemplc debe indicar al lector la necesidad de establecer la base de la induccion; sin importer 10 facil que sea verificarla,

Consideremos ahora los siguientes programas en Pascal. El programs de la figura 4.2 utiliza. un ciclo repeat - until para acumular la suma de cuadrados. EI segundo prcgrama (Fig. 4.3) demuestra la forma de usar el resultado del ejemplo 4.3 en vez de tal ciclo, Cada programa se usa para evaluar la suma de los cuadrados de los primeros 17 eateeos positivos. SiD embargo. micnrras que el prcgrama de la figura 4.2 implica ua total de 2n(= 34) somas y n(= 17) aphcacioucs del proceso de elevar aI cuadrado (sqr), 01 programa de Ja figura 4.3 requiere solo dos s-omas, tres muhiplicaciones y una division (eateraj. EI mlmero total de sumas, multiplicacicnes y divisiones (enteras) sigue siendo 6 auaque cl valor de n sea cada vez mayor. En consccuencia, el programa de la figura 4.3 se considera mas eficieate. (Bxaminaremos esta Idea de un programa m6.s eficiente en las scccioucs 5.7 'I 5.8.)

Program SUmo fSquaresl (input, output};

Var

i,n,s~ integer; Begj.n

Writeln( 'Querem.os encontrar La auma de los cuadz-adce de los

primeros .);

Write('n ence'roe positivQs, cuanda n = '); Read(n; i

S : = O.

i : = 0;

Repeat

i := i +- 1;

s := s +- sqr(i}

Until f :; n;

Writeln( 'La suma de los cuedzedos de los prUneros 0:0);

'Write(' ent er-oa posit.ivQS es ", s:O)

End.

Queremos encontrar la euma de los cuedxados de los primeros n ent.exce positivos, cuendo n =- 17

La suma de los cuad'redos de los primeros 17 ent.exoe positivos ee 1'85

Figura 4.2

Program. SwnOfSquaresl (input, output) J

Var

n , s : integer;

Begin

Wt:"iteln{'Q,lereoos cnccntaraz- la suma de los cuadrados de los '); wri te ('primeros n enteros positives, cuandc n = .);

Read(n) ,

s:.= (n)*(n+ 1)*(2 * n + 11 Div 6,

Write,ln,('La suma de los cuadrados de los primero.s n:O);

Wr"ite(' encercs positivos es " 5:0)

End.

Queremos enecntir-ar- La auma de los cuadrados de los primeros n enteros pos Lt.Lvos , cuendc n = 17

La SUIna de los cuadredos de los priIneros 17 enteros positivos es 1'185

Figura 4.3

~i observamos de nuevo nuestras dos primeras aplicaciones de la inducclon matematica (en los ejemplos 4.1 y 4.3)~ es posible que nos preguntemos si este principio se aplica 8610 para la verificaci6n de Cannulas para sumas conocidas. Los siguientes scis ejemplos muestran que la inducci6n matematica es una herramienta vital en muchas otras circunstancias.

Ccnsideremos la suma deenteros positives .impares consecutivos.

1) ~1 (~ 1')
2) 1+3 ~4 (~2')
3) 1+3+5 ~9 (~ 3')
4) 1+3+5+7 ~16 (~4')
S) 1+3+5+7+9 ~25 (~5')
6) 1+3+5+7+9+11 =36 (~6') De estes prtmeros seis ca5osconjerurq.mosel siguiente resultado: Ia suma de los primeros n enteros positives impares consecurivos es n'l. es decir, para todo n E Z·t

Sen): 2: (2i -1) = n'.

i-I

Ahora que hemos desarrollado una posible f6rmula correcta para la suma, utihzaremcs el principia de inducci6n matematica para verificar que es verdadera para tOM II :2: 1.

De los calculus anseriores, vetnos que S(I) es vcrdadcra [al igual que S(2), S(3), S(4), S(5) Y 5(6)], per 10 que ya reeemos una base para I. induccion. Para el p,,",o inductive, suponemos que S(k) es vcrdadcra y tenemos

•

2:(2i-1)~k".

i'"'l

Deducirnos ehora queS(k + I) es verdadera: I::,' (2; -1)= (k+ I)'. Como suponemos que S(k) es verdadera (nuestra hipotesis de inducci6n) escribimos

~ (21 -1) =±(21 -1) + [2(k + 1) -lj=k'+ [2(k+ 1)-1)

i_I 1_1

= k' + 2k + 1 = (k + 1)'.

ED ccnsecuencia, el resultado S(n) es verdadero para todo n ;:: 1. per el principia de inducci6n matematica.

Ahara es el memento para analizar algunos resultados que DO son formulas para sumas.

En la tabla 4.1 hernos enumerado en cofumnas adyacentes los valores de 4n y n1 - 7 para los enteros positives n,. donde 1 :S n :;;: 8.

Tabla 41

n 4n ,,%-7 " 4n 1J2-7
1 4 -6 5 20 18
2 8 -3 6 24 29
3 12 2 7 28 42
4 16 9 8 32 57 A partir de la tabla, vemos que ("'-7) < 4" para n = 1, 2, 3,4,5; pero cuando n = 6, 7, 8, tenemos que 4n < (",-1). Estas tres elumas observaciones nos hacen conjeturar que para todo n 2. 6,4" < ("'-7).

Una vez mas, el principia de tnduccion finita es 12 tecnka de demostraci6n que necesitames para verificar nuestra conjerura. Dcnotamos con Sen) la proposici6n abierta: 4n < (n' - 7). Bntonces 10 tabla-4.1 conflrma que S(6) es verdadera [al igual que S(7) y 5(8)), y" tenemos la base de induccidn. (Finalmente [enemas un ejemplo doudc el punta micial-es' un entero no;t: I.)

En este ejemplo, la hipotcsis de inducci6n es Set): 4k < (Ii'- 7), donde k E Z+ Y k ~ 6.

Para establecer el paso inductive, necesitamos deducir de S(k) que S(k + 1) es verdadera. Estoes de 4k < (k'-7) debcmos concluir que 4(k+ 1) < [(k+ 1)'-7). Bstos scn los paso, neceserics:

4k<(k' -7)~4k + 4«k'-7) + 4«1c'-7) + (2k + 1)

(ya que para It. ~ 6. tenemos que 2k + I 2: 13 > 4), y

4k + 4< (k'-7) + (2k + 1)~4(k + 1) <: (Ic'+ 2k + 1) -7 = (k + 1)'-7.

Per ]0 tanto. por el principle de la inducci6n matematica, S(n) es verdadera para {octo n ~ 6.

Entre las varias sucesioncs mteresantes de numeros que aparecen en las maremencas oiscreta y ccmbinatoria, estan los numeros armonicos NL• H~> H~, T"' • ~ donde

H,;1

n:"1;;:;1+~

H3.:;:;: 1 +~+j,

y; en general. H,,:;;;l +t+-t+··-+tparacu.a1quiern E.z+.

Las sigulcmes dos prcpiedades de.los nrimeros armrinicos proporcionan dos opertunidades para aplicar cl principio de .induccion matematica.

a) Para todo n EN. afirmamos que H2" :=; 1 + n·.

Deenostreelen: En este case, Ia proposiclon ablerta Sen) es HY' .s 1+ n; para la base de induccidn, debcmcs ver que ccurre para n:;;; O. Tenemcs que H~,,= H:f1:;;; HI = IS] .+ 0;;; 1 + n, por 10 que Sen) es verdadera.para este primer case (cuando n:::: 0).

Si supooemos que S(k) es verdadera para algrin k E .N (no 5.610 Z·'), obrenemcs la hipctesis de induccidn

S(k): H,.."'l+k ..

Para el paso inductive, analizaremos ahora S(n) para n;;;; k+ 1. Bncontramos que

H".';[1+l+!+ ... +_.1]+[ __ 1_+ __ 1_+ ... + __ 1_]

2 3 2' (2' + 1) (2' + 2) (2' + 2-')

[ 1 1 t ]

=Hv+ (2'+1) + (2'+2) + ... + (2'+2-') .

ell d . , ..

omo (21; +j) <¥, para to 0 I :S} == 2. se slgue que

Y ahora, de Ia hipotesis de induccicn se sigue que

Hi"'"" Hi' + 1"" (1 + k) + 1; 1 + (k + 1),

por 10 que el resultado Sen} es verdaderopara todo n E N, en vinud del principia de induccidn matematica,

b) Sl n E Z+, entonces 2; Hi'; (n + tJ.H. - II.

j=l

Oe-mostraci6n: Como 10 herons heche-en 105 cicmplos antcriores (es declr, Iosejemptcs 4_1, 43 Y 45») vcrificamos la base de indcccidn en rr e 1 para la prcposicidn abiertaS'(n):

±Hj ;;;; (n + l)H,,- n. Bste resultado se sigue facumente de . j=l-

,

L.H, ;H,; 1;2 ·1-1; (1+ l)H,-l.

j=1 .

Para verificar el paso .inducnvo, supondremos que S'(1) es verdadera; es decir,

t

'iHj= (k + I)H.-k.

;:.l

Esta hip6tesis nos conduce a 10 siguiente:

11:+1 k.

'i Hj= 'i H;+Hk+! = [(k + I)H. -k]+ H'+1

1-1 j=l = (k + 1) H. - k + H'+1

= (k + 1)[H.., - (li(k + 1»]- k + H.., = (k + 2)H..,- (k + 1)(li(k + 1)) - k =(k+2)Hk+,-1-k

= (k + 2)H.., -(k+ 1).

En ccnsecuencia, sabemos, POt el principic de Induccidn metematica, que la proposlci6n "In S'(~) es verdadera para todos los enteros positives n.

Para n ~ 0, sea A C R, donde I A I = 2" Y los elementos de A se enumeran en crden ascendente. Si r E ~R, demostraremo; que para determinar·si rEA", (por el prccedunientn que se desarrolla en seguida), debemos comparar r con no mas de n + 1 elementos de A .

Cuando n ;;;; 0, ~."" {a) y 56]0 se necesita una, comperacion. Asf, el resulrado es vetd:dero para a = 0 (y tenemos la base para la inducci6n). Paran = 1 ,A,,:::; {al.~}, a1 <az. Para determinar si rEA I. debemos hacer dos compareciones a 10 mas. Por 10 tanto, obtenemos el resultado para n"'" 1. Abora, cuando n "" 2, escribimos A2= {bl.b2.CJ.C~} :;;; B.Ue., dcnde b, < b2 < c1 < cz, donde B, =0 {hI> b2} y C1"", {cl, C;2J. Si ccmparamos »ccn b?, puede ocurrir alguna de las slguienres posibilidades: (i) r E B,; 0 (ii) r E C,. Como 18, I = I c.] = 2, cualquiera de las des posibilidedes requiere a 10 sumo dos comparaciones (del caso anterior, en quen;;;; 1). Por 10 tanto, podcmoe determiner 51 r E A~ haciendo no mas de "2 + 1 == n + 1 comparaciones,

Ahcra podcmos dar un argurnente general. Suponrarnos que eI resultado es cierto para -r algjin k ~ 0 y considcremos el case de A~h donde Ahl I = 2.t;.1. Para establecer nuestro paso inductive, seaA.t+l = B.J: U c, donde I BJ:.I !:: I CI; I = 21; Y los elementos de s, Ct estiin en crden ascendente, con el maximo ejemenro x de B.t menor que el minima elemento de C,t- Sea r E R. Para dererminar si r E A.t+l' veamos si r E Bt 0 r E CJ:..

a) Primerc ccmperamos ry .r. (Una comparacion)

b) Si. r::S .r, como I Blcl :;;; 2t, se sigue de Ia hip6tesis de induccion que podemosdeterminer si r E B.t.haciendo no mas de k + l comparaciones adicionales. Por 10 tanto, no se hacen mas de (Ii. + 1) + 1 comperaciones.

c) Si r > .r, haccmos alga similar con los elementos de C~. Hacemos como maximo k + 1 comparaciones adicionales para ver si r E Ct.

El resultado general se sigue entcnces del principle de 'ioduccicn finita.

Uitapreocupacioa pdmordielenle evaluecion de la calidad de un programa ccnsisteee Vet- si el programa hace 10 debido. Asf como no podemos demostrar UD teorema verificando cases particulares. rampoco podemos esteblecee si un programa es correcto o DO probendo con diferentes conjuntos de datos. (Ademas, esto serfa m.uy diffcil si nuestropregrama fuera a fonnar parte de un paquete de software mas grande eo el que, probablemente, se generase elconjunto de dates. en. forma interna.) .Puesto que e1 desarrollo de software pone abora un gran enfasis en 101 programacien estructurada, esto ha traido consigo la eecesldad de la ve.rificaci6n de programas. En este caso, el programador 0- equipo ~ programadores debe mostrar que el programa en desarrollo es correcto independienro. me:nre. del conjunto de datos proporcionados. EI esfuerzo invertidc en esta etapa reduce en forma considerable el tiempo utilizado en depurar el programa (0 paquete de software), Uno de los metodos que pueden tenerun papel fundamental en tal verificacion de programas es lainducci6n matematica, Veamos cemo,

E] segmento de programa en Pascal que, se muestra en la figura 4.4 supuestamente produce como respnestaxtj=) paralas variables reales x, Y 'I n es un entero no negativo.·(8 usuario asigna los valores d.e estas rresvariables en una etepa anterior.) Verificaremos:si este segmeatc de programa es correcto, aplicando la induccion metematica a la proposlcion abierta

Sen): Para cualquier x, y E R, si el programa Uega a la parte superior del ciclo While con n EN,. despues de cvitar cl ciclc (para n ;;;;; 0) 0 ciccutar las des instruccioncs del ciw;;.[o n(> 0) veces, entcnces cl valor de la variable real Answer es x(Y).

While ri <> C do Begin

x := x*y;

n := n - 1 End;

Answer: = x:

'Figura 4.4

EI diagramade tlujo para este segmentode programa aparece en la figura 4.5. Mien~ deserrollemos nuestre demostraci6n sera-coeveniente becer referencia a dicho diagrama,

Primero considerem-os's(O).)a proposicion parae] cason = D. En este caso, el programs llega a la parte superior del cicIo While, pero como n ;;;;;; 0, se sigue a la tama No en el diagrama de tlujn y se asigna el valor x = x(I) = .x(f) a la variable real Answer. Por ]0 tanto, la proposici6n S(O) es verdedere y se establece Ja: base de lnduccion de nuestro argameneo.

Ahora supondremos que S(k) es verdadera, para algdn enterc k no negative. Esto n05 proporciona la hipotesis de inducci6n.

S(1:): Para. cualquier x. y E R. si el programa llega a le parte superior de] ciclo 'While CODkEN. despues de evitarel ci~lo (parak= 0) 0 "ejecutar las dos.instrucciones de] ciclo k(>O) veces, enronces el valor de la variable real Answer esx(:t).

Si seguimos coo 01 paso inductive de la demostracioa, al traoojar can la p«>JXl<ici6n S(k+ 1). observamos que, comoe + 1 2: 1, el programa no seguira la rama No ni evlterajes Icstruc-

"

teiclo

tnkiallza Ias \I,ui.,bles r eates x, 'I\" 101 variable enrere no negatiV<l n

EI pro.,.rama ccntinea con 13 sigule-nte instruction _____ ejecutable despu~$ de 1.,

.Instruccion de asignad6n parOl 1 .. varrable real AmWE'f_

La pane SlJperior ------------------------ del octo Whi.le

No

Figura 4.5

ciones del ciclo While. Las dos instruccioncs (en el ciclo 'Whife) se ejecutaran al menos una vez. Cuando el prcgrama llegue a la parte superior del ciclo While por primera v ez, n = k + I > O. de modo que las 'instruccicnes del ciclo se ejecutan y el programa regresa a la parte superior del ciclo While, donde ehora vemos que

• El valor de y no ha cambiado,

• Ei valor de x es Xl = xCi) =.x)'.

• El valor de a es (k+ 1)-1 = k.

Perc ahora, por nuestra hip6tesis de induccion (aplicada a los mirneros reales x., y)? sacemos que despues de evitar el ciclo (para k:;:: 0) para Xl' Y Y n = k, 0 ejecutar las des instruccioces del cicio k(:>O) veces, entonces el valor de la variable real Answer es

x,(y') = (xy)(y') = x(y"").

De la ecuacion 14 = 3 + 3 + 8 vernos que podemos expresar el numcro 14 usandc sotamenre treses y ochos como sumendos Pero ]0 que .parece sorprendenre cs que para cualquier n 2: 14,

S(n): n se puede escribir como una suma de treses y ochos (sin importer cl orden).

Como comenzaremos a verificar Sen) para todo n ~ 14, la frase iotroductoria anterior muestra que Ia base de induccion S(14) 55 verdadcra. Para el paso inductivc-suponemcs que S(k) es verdadera para algrin k E Z+, do"ndek 2: 14 Y veremos 10 que ocurre con S(k. + 1). Si existe al menos un ocbc en 13 suma (de treses y ochos) que sea igual 3 k; entonces podemos reemplazar este ocba par tres treses y obtener k + 1 como una surna de treses 'f

ochos. Perc supongamos que 8 rca ~parec'e como sumando de k. Entonces, el tinicc semando utilizado es. un 3 y~ como k ~ 14. debemos toner al menos cinco eeses comD sumandcs. Y ahora, si reemplazamos cinco de esos rreses por dos.ochoaobtenemcsh suma k: + I, donde los rinicos sumandos son treses Y ochcs, Por 10 tanto, hemos mostreda que S(k) => S(lI: + I): el resulredo se sigue para todo n 2:14por el principia de"inducci6:g matematica,

Ahara que hemos visio varies eplicaciones del principia de inducci6n matemadea, cerraremos esta secci6n presentando otra forma de inducci6n matematica. Esta segunda forma se concce a veces como laforma altemativade la mduccion: el metodo de indUcclQn. compiesa 0 el principia de indue-cion matematica fuene.

De nuevo, consideremos una proposicirin de la forma 'tin ~ n.:. Sen), donde 1lri- 'E Z->-; ahora eetebleceremos una base de induccidn y un paso inductive. Sin embargo, este vez, la base de induccion requiere la demostraci6n de algo mas que el primer caso, cuandon ::;.ne.. En el paso inductive, supondremos que todas las proposiciones.Scsj, S("" + l) •... , S(k -1) yS(k) son verdederas.para establecer la verdad de Japroposici6nS(k+ 1). En el'iguiem.i teorema presentamos formalmente este segundo principic c;\e inducci6n metematica,

"EOREMA4.2

Principia de induccion fill ita. forma altemativa. Sea S(n) una proposici6n matematica abierta (0 UD conjuntc de tales proposiciones abiertas) donde Ia variable n, que representa: un entero positive, aparece una 0 mas veces. Ademas, sean~, n. E z .. con no -s n r.

a) Si S(n,). Sen, + I), Sin, + 2), ...• S(n,- 1) y Sin,) 'on verdederas: y

b) Siempre que S(",), 5(", + 1), ... , S(k- I) y S(k) sean verdaderas para aJg~D k EZ' (particular per:o elegidc al azar), donde k: .2:: nh entonces la proposici6n S{k + 1) tamhien es verdedera:

eatonces S(n) es verdadera para .todo n ;;::. no.

Como en el teorema 4.1, la condicion (a) se denominazeee de inducci6ny lacondicion (b) paso lnductivo.

La demostraci:6n del tearema4.2 es similar a Ia del reorema 4.1; pcdircmos al lecsor que la realice en los ejercicios deesta seccian, 'Iambien en estos eierciciesvereanos que las. des formes de inducci6n matematica (dadas en los teoremas 4.] y 4.2) son equivalentes, ya que cada una puede ser una tecnica de demcstracion valida si suponcmos la vcrdad de la otra.

Antes de dar ejemplos de aplicacion del teorema4.2, mcncionarcmos, como lo hrcimcs para el case del teoeeme 4.1, que no es nccceario que no sea un entero positive; enrealidad, . podrta ser 0 0 incluso ue eeterc negative. Abora que heroes vuelto a. sefialar este punto, veamos como aplicar esta nueva tccnica dc dcmostracicu.

Nuestro primer ejemplu rcsnltara ccnocido ya. que sjmplerrente apllcaremos el teoreme 4.2 para obtener el rcsnltado del ejemplo 4.10 en otra forma.

Los siguientes calculos indican que es posible esctibir (sin importer e! orden) los enteros 14. 15, 16 usando como sumandos sdlo treses y ochos.

14~3+3+8 15~3+3+3+3+3 16~8+8

Con base en estes tres resultados, bacemos la conjetura

Para todon E Z', donde n "" 14,

S(n): n se puede escribir como una suma de treses y ochos,

Demostracion! Bata claro que IaspropcsicionesSf Ia), S(15) y 5(16) son veedader as ; esto establece la base de induccion. (En este case, no= 14 y n, = 16.)

Para el paso Inductive, suponemos que las proposiciones

S(14), S(I5), ... ,S(k - 2),S(k - 1), y S(k)

son verdaderas para algtin k E Z', donde k "" 16. [La hipdtesis de que estas (k - (4) + I proposiciones son verdaderas constituye uuestra bipotesis de inducci6n.} Y ahora, si n = k + 1, entonces » '" 17 yk+ 1 =(k-2)+ 3. Perc como 14 S k-2 oS kyyoqueS(k-2)e, verdadera, sabemos que (k- 2) puede escribtrse como una suma de treses 'J ochos: asf, (k+ I) = (k- 2) + 3tambien puede escribirse de esa forma. Por 10.IMIo, Sen) es verdadera para todo n ~ 14 por la forma altemativa del principle de induccion matematica.

En e1 ejemplo 4.11 vimos que 01 beebo de que S(k + I) sea verdadera se dedujo de 10 verdad de un resulradc anteriorS(k ~ 2). Nuestros des ejemples siguientes muestran que hay situacioaes en las que se necesita que mas de uc resulrado anterior sea verdadero,

Vamos a considerar Ia sucesionemera 00' ai' a2, a". ., dcnde

""= 1, a, ~2, a,=3, y

a.. = Q.-l + ~-z + a .. -l, para todo n. E Z+ tal que rt 2: 3.

(Entonces, per ejemplo, tenemos que o,}=a2+ G1 + 00= 3 + 2 + I =' 6; (4= a;; + o;!"+a,= 6 + 3 ~ 2= 11; Y a,=a,+a,+a,= 11 +6 +3 = 20.)

Afirmamos que las entradas de esta suceslce son tales que all s: 3~ para todo n E N; es decir, 'In E N S'(n), donde S'(n) es I. prcposicion abierta: a" S 3".

Para la base de induccion, observamos que

I) ",,=I=3"s3"; ti) a, =2",3=3'; y Ill) a,=359=3'.

Por lo.tanto, sa bemos que s,(O), S'(1), S'(2) son proposiciones verdaderas.

Ahora analicemos el paso .inductivo, en que suponemos que las. proposicicnes S'(O\ S'(l),S'(2)" "S'(k-I),S'(k) son verdaderas, paraalgnnk E Z+ donde.e ;,:·2. Parael-cese enquen=k+ I 2: 3 vemos que

QJ;+I = a·1: + at~l + '4-2 :::::;]1:" + 31:·-1 + 31:-2

:0:; 3' + 3' + 3' = 3(3") =3'+'.,

por 10 que [S'(k -Z)/\S'(k -1)/\S'(k)]:;'S'(k + I),

Por 10 tanto. de la forma altemativa del principio de inducd6n. matematica se sigue.que

a" ::5; 3~ para todo n ·E N. -

Antes de analizar el tiltimo ejemplo de esca seccion, revisaremos los des resultados anteriores. En los ejemplos 4.11 "'I 4.12 establecimos Ia base de induccicn verificando .Ia verdadde Ires proposiciones:S(14},S(15)y S(16)"en ei ejernplo4.11; y S'(O),S'(I) yS'(2) en el ejernplo 4.12. Sin embargo, para deducir la verdad de S(k + 1) en el ejemplo 4.lf, en realidadutilizarnossolarnenteunadelas(k-14)+ 1 propcsiciones de lahipotesis de induccicn; a saber, la proposicidn S(k- 2) .. Para el ejemplo 4.12 usamostres de las k+ 1 proposiciones de I. hipdtesis de inducci6n; en este caso.Ias proposiciones SXk- 2),stk -1) y S'(k).

Despues de transcurrir n meses -en un experimento de invernederc, el numero Prl. de plaittas (de un ripe particular) sacsfeee las ecuaeiones

p. =3p._, -Zp._." paran EZ' donde n :;,:2,

[A.f, par ejemplu, p,= 3p,- 21'<= 3(7) - 2(3) = 15 y p,= 3p,- 2p, = 3(15) - 2(7) = 31.] Usaremos la forma alternative de la induccion marematica para mostrar que Pri -= 2-2_ I para todo n E N.

Demo:stracion: Aqur tenemos la proposiclon abierta-

Sen): p, = 2"" -1,

y para estahlecer Ia base de incuccion, observamos que las proposiciones

S(O): p,=3 = 2"+'-1, S(I): PI = 7 =, 2'+'-1

son verdederas.

S; .suponemcs que las propcsiciones S(O), SOJ, ... , S(k - l) y S(k) son verdaderas para algnn k E Z+ donde k: 2: I, consideremes -a ccntinuacmn el-easc-en que n:;;;;; k + I 2: 2. Tenemos que

P.Ic+l = 3p~.- 2p,ii-l

= 3(2'" -1]- 2[2(<-1"2 - 1] = 3(2"+') - 3;- 2(<-1,., + 2

= 3(2"')- (2"') -1 =2(2"') - 1 = 2(0.'", -1.

[En este ease, Ia snstitucicn depJ;. Y pli_,se basa en "las proposicionesS(k) y S(k- 1), "las des ultimas de labsta de k: + I proposiciones de la hipotesis de induccion.]

Asf, pm la forma ahernanva del principia de induccidn matematica, S(n) es verdadera para todon 2: O. (En el capfrulo 10 haremos una incursion en las merodos para obtener las soluciones explicitas a dichas ecuaciones.)

ElERCICIOS 4.1

1. Demuestre 10 siguiente mediante induccidn marematica.

0) l' + 3' + S' + ... + (2n -1)' = (n)(2n -1)(2n + 1)/3

b) 1· 3+ 2·4 + 3·5 + ... + n(n + 2) = (n)(n + 1)(2n + 7)/6

.II '1 n

oj 2:--=.-d(i + 1) n + 1

• n'(n + 1)' (.)'

0) Li'=---= 2:i

i-l 4 .... L

n "-I

d) Lt-'=L2'=2"-1

,-0

f) 1'+3'+5'+ ... + (2n-I),=n'(2n'-I)

2. Establezca 10 siguiente mediante induccion matematica.

a) .~ j(2~ = 2 + (n -1)2'+'

b) i2(3'-')=3'-1

,.,

0) i (il(i!) = (n + I)! -1

,-,

3. Consideremos el siguiente programa en BASIC-:

10 FORI = lT0123

20 FORJ=lTOI

30 PRINT !"J

40 NEXT J

50 NEXT I

60 END

a) l.Cujntas veces se ejecuta la proposicion PRINT en Ia Unea 3D?

b) Reemplace I en Ia linea 20 per ]"'2 'J responde la pregunra de la pane (a).

4. Una. ruleta tiene los enteros 1 a 2S coIoc.ados en forma alearoria Muestre que. irdependieruemente de la posici6n de los niimeros en La ruleta. existen tres de elloe adyacentes cuya suma es al menos 39.

5. Los enteros del ] al ]00, inclusive. se han colocado a1 azar sobre unacircunferencia. Demues- ; Ire que, sin importar sou colocacidn, deben existir cuatrc de ellos que formen tres pares solapades en Ia cfrcuorerencla, cuya suma es mayor 0 igual que 202.

2~ "I

6. Determine el entero positive n para el que Li == I{l. ;"""

7. Evah1e 10 siguientec (a) L~ui; (b) L!li~

8. a) Demuestre que (cos e + i sen 9i = cos 2e + i sen 26. donde i E C e r= - L

b) Demuestre por inducci6n que para cualquier 1'1 E Z-. (cos e + i sen er; cos n6 + i sen n8. (Bste resultado se conoce como el teorema de DeMoi",re,)

c) Verifiqueque 1 + i=/-i(cos45" +i sen 45°) y calcule (1 + lyre.

9. Para n E Z·. si n > ] O. demuestre que

n.2-1J n-2<--.

12

10. Demuestre que para cualquier nEZ~.n>3~2"<n!.

11. Demuestreque para cualquler 11 E r, n >4::}n1. <~.

12. Demuestre que para cualquier n E Z+,,, >9.=}n~<'l:'_

13. Para J:I. EZ·~seaR~= '1 +t+j-+··· ~-!-, eln..e±mci mlmero apn6nico (definidc errel ejeinplo 4.7).

a) Para todo n EN, demuestre que 1 + (m2) $H~

b) Demuesrre que para '000 n E Z·, '. "SjH, = [(n +1)(n)l2) H_, - [en + 1)(0)14].

Po

14. Para. n E Z·, demuestre que, ~~= H~ -(t) H •. t S. Para 11 E Z ", sea S(n) la proposicidn abierta

± i = (n + (1[2))' .

.i_I 2

Dem.uestre que la verdad de S(I<) implica la verdad de S(k + I) para cualquier k E z~. i,Es. verdadera Sen) para todo n: E Zr,

t 6. Consideremcs las cuerro ecuaciones slguientes:

(1) 1=1

~) 2+3+~=1+8

(3) 5 +6+7+8+9=8+27

W W+ll+ll+D+W+H+U=27+M

Conjeture la formula general sugerida per estas cuatrc ecuacicres 'I demueeirea.

17. Considereraos las eels ecuaciones siguientes:

(1) l'+O'~~' . (3) 5'+12'=13'

(2) 3' + 4' = 5' (4) 7' + 24' = 25'

(5) 9'+40'=41' (6) 11'+60'=61'

Conjerure la formula general sugertdapor estes seis ecuaciones ydemuesrrela

18. SeanS, y S2 tales que j S. I =.m, I sll ". r; paraes, ,.-E z-v tos etemeotos deSJ.S~ estan en orden ascendente. Se puede demostrar que: 10$ elementos de S, Y S] se pueden agrupar en orden ascendente sin bacer mas dem + r-! comparacicnes, (vease el Iema '12.1) Use esre resultado

para esteblecer 10 siguiente: .

Para n. 2: O. sea Sun conjunto CDn I s I = r. Demuestre que el mlmero de comparaciones necesarias para colocar los elementos de S en orden ascendeare esta ecccedc per n . 2R

19. Si l!: EZ ", demuestre que M sen -e ¢ O. eoronces

a) (eo,&)(cos20)(cos46)(oos8e)-' -[<o,(Z'-' 0)] ~ ,.o(Z' 0).

. . 2"" sene

sen2nQ

b) 00'0 + 00<30 + 00$50 + - ,,+ ,,,,,(In -1)0 = 2 senD -

20. En elsegmento de programa en Pascal que se mceena en la figure 4_6. x, y y Answer son variables reales Y' noes una verieble entera. Antes de La ejecucidn de este ciclo While. -el usnario proporciona los valores reales de.r y y, asf como un vetor entere n~ negative paras. Demuestre por induccion matematica 'que p-ara cualesquiera x,. y E R, si el programa Ilega a la parte superior del ciclo While con 11- E Ndespu6s de evitar e1 ciclc (·para n = 0) o ejecutando las- cos instrucciones del ciclo 11(:>0) veces, ecteeces el valor asignado e Answer es x -+ ny.

While n <> 0 do 5el1;i.n

x ,: =v x -+ y; D:= D - 1 :End~

Answer : = x-;__

Figura 4.6

21 . Durante le ejecucion de 'U]} prcgrama en.Pascal, el usuario asigna a las variables enteras x y n ciertos enteros positives (posiblemente diferentes). El segmento en Pascal que se muestra en la figura 407 va Inmediatamente despces de estas esignaciones. Si eJ programa lIega a la pane superior del ciclo While, erumcie y demuesrre (por induccidn marematica) cual sera el valor asignado a Answer despues de ejecutarse las des .instrucciones del ciclo n(>o) veces.

While n <> 0 do Begin

x:"" rn;

II. := n - 1 End;

Answer := x :

Figura 4.7

22. a) Sea II E Z·, con n ¢ 1,3. Demuestre que n puede expresarse como una suma de doses, cincos 0 ambos.

b) Para cualquier 11 E' Z..., muestre que si n 2: 24. entonces n puede expresarse comc una suma de cincos y/o sietes.

23. Para Ii. E Z" sea p~ el mimero (aproximadc) de bacterias que hay en un cultivo, al final den horas (despnes de iniciado un experimenrc). Sip,= lOOO,p,_= 2000 YP.=P __ 1 +P~-l> para rodo 1.1 > 2. muestre que-

24. Deflnimos una sucesicn de mimeeos alo a2, aJ>" . como

a,=l az=2

a.,=a.._I+a.._z. n~3.

a) Determine los valores de G;. l4, a,!-o ~ y 01'

b) Demuestre que para rode n ;:;: 1. Il", < (7/4,/_

25. Verifique el reorema 4.2.

4.2 Oefiniciones recurslvas

Comeezaremoe esta seccion analizando la sucesion de enteros On, hI> bl, bll . • donde b, = 2n paratedon EN. Teneroosqueb,=2 ·O=O,b,= 2 .. I =2,b,=2· 2-=4 y b,=2. 3= 6. Si, par ejeruplc, necesuamos determiner b~. simplemente calculamos b6= 2 . 6 = l2. sin necesidad de calcular el valor de b~ para cualquier otto n E N. Podemos realizer estes carculos ya que tenemos una f6rmu'la expltcita, b, = 2n. que nos dice ccmo determinar btl

concciendo n (solamenre). .

Sin embargo, en el ejemplo 4. l2 de la seccion anterior, cxaminamos la sucesicn de enrercs ao~ ab a.,., a)> ...• donde

ao=1.01=2,az=3, y

a,. ::::: all-l + a,,__2 + a,,_l para 1000 n E:Z+ tal que n e: 3.

Aquf no tenemos una f6rmulaexp/{cila que defina cadae, en terminus de n. para redo n E N. Si queremos conocerel valor de a; por ejemplo, necesitamcs los valores de c., a, ya).

Q:;. = a"1 + Ql +arr= 3+2 + 1 =6 a.~a,+ a,+ a, ~·6+3+2~ 11 "'~'" +a, +a, ~ 11 + 6+ 3 ~.2O ... ~a, +a. +a, ~ 20+ 11 +6~ 37.

Yestes velores (los de a~,-Il.! y aJ requieren que ccnozcamos tambien los valcres dea:... 1'21 y al)- A diferencia de la situaci6n mas fecil en que determinamos b(j ~ 2 6 "" 12. para calcular a~ tendrfamos que escribir

a.e;=~+~+a"J

~.(a4 + a,+ a,) + (a, + a, +a,) + (a, +a, +ao)

~[(a, + a, + a,) + (a, + a, + ao) + a,]+ [(a, + a, + ao) + a, +aJ + (a, + a, +ao) ~ [[(a', + a, + ao) + a,+ 0,]+ (a,+a, + ao) + 0,]

+ [(a,+a, + ao) +a,+ a,] + (a,+o, +<;.)

~[(3 +2 + 1) +3 +2J+(3+ 2+ 1) +3]+[(3+ 2+ 1) +3 +2]+(3+2+ 1) ~37.

o bien, de una manera mas sencilla, podrtamos heber ida en fa direccion opuesta, con estas consideraciones:

Sin importer como Ileguemos a O-t" vemos que las dos eucesiones de enteros (hI}, PI. b~. ~, ...• y au. Q,. 17:&, D:J., •.• } n-o solo san nutnericamente diferentes. Los enteros bo• b" b,. .. ~, ... , se puedenenumerar facilmente coma 0, 2, 4, 6, ... y para cualquier n EN tenemcs la formula explicita b~ -;;;;;;- 2n. Por .01:1"0 lade, tal vea sea diffcil (si no es que imposible) determiner tal formula explfcita para los enteros~. a", al, a~ •...

Lo que ocmre aquf para esta sucesion de enteros puede ocurrir tamblen para otros couceptos matemaecos: conjuntos Y operacicnes binarias •. asf como funcicnes (en el capitulo 5}.lenguajes (en el capitulo 6) y relaciones (en efcapfrulo 7).A veces es diffcil.definir un concepto matcmatico demanera explfcita. Pere, como en el case de la sucesicn Go. alt a:h a~ •...• pndrfamcs dcfinir 10 que eecesiramoe en terminos de.otros resultados- anteriores similares. (Examinaremcs '10 que esto significa en kis distintcs ejemplos de esta seccion.) Cuando haccmcs eeto, dccimos que el concepto eSta definidc en forma recu-r.riva, usando el metodo 0 proceso de recursion. De esia manera obtenemos el concepto que nos intere-. saba esrudiar. por medic de una definicion recul"siva,. Pur 10' tanto, aunque no tengamos una formula explfcita en e] C:aSQ de Ia succsion ~ as, q~" a~, ... , sf tenemos una forma de. definir los enreros a" para n EN, por recursion. Las aslgnaciunes

proporcionan una base para hrecursi6n. La ecuacion

(.)

an = ~1I-1 + a .. _~ + a .. _~~ para n E Z+ tal que n 2: 3,

proporciona cl proceso recursive; indica.lafonna de obtener nuevos elementos de la suceskin a partir de los resultados antericrea ya conoaidca (0 que se pueden calcular). [Nota: los enteros calculadcs a partir de la ccuacion (*) tambien pueden calcularsc a partir de la . ecuacidn GIl+J= all.+1 + ail'i'l + alt. para 11- EN.]

Ahora utilizarcmos el coucepto de definicion recucslva_para esrableeer un aspecto mencionadc en tres pies de pagina de las sccciunce 2.1 y 2.3. Dcspues de estudier la secciee

2.2 del texto, sabfemos (a partir-de las leyes de Ia logica) que para cualesquiera proposiciones Pl. P1. P~. tenemos

y, por 10 tanto, podemos escribir Pi A Pl A P3 sin ambigiiedad. Es[Q se debe a que el valor de verdad de la conjuncion de las tres proposicioncs nodepende de los parenresis intrcducidos para indicer el ordec de formacion de la cOlljunci6n de los pares de proposicioaes (dadas a resultantes). Pero nos irneresaba el significado que podrfamos atribuir a una expresion como PI A Ih 1\ P3 1\ p~. El siguiente ejemplo aclara ahara. esta cuestion.

La conectiva 16gica 1\ se defi.ni6 (en la seccion 2.1) solamente para dos proposiciones a la vez. i,C6mo trabaja uno entonces con una proposrcrcn como PI A P2 A Pl 1\ P4, donde PI, P'l' P1 Y P4 son proposiciones? Para responder esracpre~ta. introducimos la siguiente definici6n recursive, en la que el conceprc de dena etapa [1a (n + 1}-6sima] se desarrolla a partir del concepto comparable de una etapa anterior [la n-6sima].

Dadas cualesquiera proposicicnes P~. P'l •... ,PII' P'Hh definimos

1) la conjunci6n de PI. P'l come PI A P'l (como 10 hicimos en Ia seccion 2.1) Y

2) la conjunci6n de PI. Pl, ...• P., PIt+I' para n ::.::: 2. como

P,/\P2/\" ·/\P./\P.+1¢'i>(P,I\P2/\·· ·/\P.)/\P",·

[EI resu1tado de (I) cstablccc 1. base de 1. recursion, mientras que 10 equivalcncia logica de (2) se usa para peoporcionar e1 proceso recursive. Observe que 13 proposici6n que aparece en ellado derecbc de laequivalencia 16gica en (2) es Ia conjuncion de dos proposiciones: PII+I 'J la-proposicion (fl. A Pz 1\ •.. A p;) dete:rm.inada con anterioridad.]

Por 10 tanto. defmimos Ia conjuncion de P .. P2. PJ. p~·como

Emonces, por Ia propiedad asociariva de A. tenemos que

(p'/\P2/\p,) /\p. ¢'i>[(p,/\P2) /\p;] /\p. ¢:>(p,/\p,) /\ (p,/\p.) ¢'i>p,/\[P2/\ (p,/\p.)] ¢'i>p,/\[(p; /\p,) /\P.] ¢'i>p,/\(p,/\p,/\P.).

Estas equivalencias 16gjcas muestran que el valor de verdad de la conjuucicn de cuatro proposiciones tambien es Independiente de la forma en que se imroducen tos parentesis para 'indicar Ia forma de asociar las proposiciones dadas.

Con la definicion anterior. enenderemos ahora nuestros resultados ala siguiente "propledad'asociativa generalrzada para 1\".

Sean E Z+, n 2: 3 Y r Ez"· con 1 S r « n. Bmonces,

S(n)~ para cualesquiera proposicinnes Pl.. Pl •... ,P, .• P.r+l.· .. ,Pn, (p,/\P2/\' . ·/\p,)/\(P~ll\· .. /\p")~p,/\p;/\ .. '/\p,/\p~,/\ •. ·I\P.· Demostraci6n: La verdad de la proposici6n S(3) se sigue de la propiedad asociauva para A; esto eseeblece Ia base de ta inducci6n de nuestra demostracion. Para el paso inductive,

supcnemos queS(k) es veedadcra para. algiin k ~ 3 Y cualquier 1 :s r < k: Es decir, ,uponemos 1a verdad de

Bntcnces, mostramos que set) ~ S(k + 1). .Caendococsideramos k + I proposiciones, entonces debemos tener ell cuenta que 1 ~ r « k + 1.

1) Si r = k, entonces

de nuestra def1D.ici6n recursive,

2) Para 1 S r -c k; tenemos

(p,f\p,f\ ... f\p,)f\(Prl-,f\-- ·f\P.f\P .. ,)

~(p,f\p,_f\ .. ·f\p,)f\[(Prl-,f\·· ·f\P.)f\P •• J ¢>[(PIf\P,_f\·· . f\p,)f\(p,.,f\-- ·f\p,)]f\Pm ~(p,f\p,_f\ .. ·f\P,f\Prl-,f\·· ·f\P.)f\P .. , ¢>p,f\p,_f\ .. ·f\p,f\P .. ,f\-- ·f\P.f\Pt+,.

Asf, del principle de induccion matematica (Teorema 4.1» se sigue que la proposici6n abierta S(n). es verdadera para todo n E Z+ tal que n 2:: 3.

Nuestro siguiente ejemplo ofrece una segunda oponunidad para generalizer una pro-piedad asociativa, pero esta vez con con juntos en vez de proposiciones.

En la definici6n 3.10 extendimos las operaciones binarias U e n a un nemeeo arbitrario (finito 0 infinite) de subconjuntos de un universo dadoGU. Sin embargo, estas definiciones no se basan en la naturaleza binaria de las operaciones implicadas y no proporcionan una forma sistenuiiica para determinar fa union e interseccion de cua1quier numero finito de ccajuruos.

Para evitar esta dificultad, co~ideramos los conjuntos AI. A:Z_I •••• Alt. A .... I> dcnde Ai ~ oGUpara todo 1 -s j :s n+ly definimos su unicn en/anna recursive como ssgue:

1) La uni6n de A" A, es AI U A,. (Esta es 10 base de nuestra definiei6n recurs iva)

2) La union de A I. A1 •..•• A. A ..... i, para n 2: 2, esta dada por

A,UA,u·· 'UA.UA.+1 = (A,UA,U'" UA.)UA •• h

donde el conjunro del 1000 derecho de esta igualdad entre conjuntos es la uni6n de dos conjuntos, AI U A::; V ... U All Y A ... ,_ (Aquf tenemos el prcceso recursive necesario para tenn.inar nuestra definici6n recursiva.)

De esta definicion obrenemos la siguieate "propiedad asoclartva generalizada de U".

Si n, r E Z+, con" :;;:: 3 y 1 ::s;: T < n, entonces

S(n): (A,UA,U" 'UA,) U (Art, U· "UA.)

=A,UA,U--.· uA,UA e+ ,U· -- UA ..

donde A, ~ OU para todo 1 :s i -s n.

Demostrad6n: La verdad de S(n) para n = 3 se sigue de la propiedad ascciativa de U, con 10 que obtenemos la base necesaria para esta demostraci6n inductiva Si suponemcsla verdad de S(k) pM' algun k E Z·, tal que k ;;, 3 Y 1 s r-c k; establecemos ahora nuestro paso inductive, mcsrrando que S(t) => S(k + 1). AI trabajar coo k + 1(;;'4) conjuntos, necesitamos ccnsiderar que 1 S T « k + 1_ Tenemos que

1) Para r = k: tenemos

(A,UA,U'" UA,) UAt+, =A, UA,U'" UA,UA .. ,.

Estc se sigue de la definicion recursive dada.

2) Si 1 :S r < k. entocces

(A,UA,U'" UA,)U(AN,U'" UA, UA,.,)

= (A, UA,U··· UA,jU[(A,.,U· "UA,) UA •• J = [(A,UA,U"· UA,) U(A .. t U·" UA.)]UA .. , = (Al UA,U'" UA,UA .. , U·· 'UAtlUAH, =A1 UA2U--· UA,UA'1"JU··· UA,I;UA1+1_

Asf se sigue del pnecipic de induccirin matematica que Sen) es verdadera para tcdos los enteros n ~ 3.

En forma analoga al resujtado delejemplo 4.15, la interseccion de los n + 1 conjueros A ..

A2 •• , _ ,AII,An.t.l' (carla uno tornado del mlsmo universo<iU) se define de manerarecursivacomo:

1) Laintersecci6ndeAhA2esAI nA:l:_

2) Para n 2: 2, la interseccicn deAt• A'l. _ .. ,AA' Ar.-.I. este dada per

A,nA,n··· nA.nA •• ,=(A,nA,n·· ·nA.) nA •• i ,

la interseccicn de los dos conjuntos AI n A.~ n .. - () A .. Y A .... 1,

Vemos que las definiciones recursivas para Ia union e interscccidn de cualquier uumero finite de conjuntos proporcionan el media per el cual podemos extender las Ieyes de De Morgan de la teorfa deconjuntos. Mediante 1a induecidn matematica, estableceremos una de estes extensiones en. eI siguiente ejemplo y solicitaremos una demostracion de la otra extension en los ejercicios de la secci6n.

Sea n E Z+, n ~ 2 y AI'~' ...• An!;;;;; 6U.para cada 1 S i ::s n. Entonces A,nA,n· .. nA. A,UA,U'" UA..

Demostraci6n: La base de la inducci6n de esta demostraci6n esta dada para. n = 2. Se sigue del hecho de que ~ nA, = A, U A2, por I. segundo ley de De Morgan (que aparece en las leyes de la teorra de conjuntos de la secci6n 3.2).

Si suponemos que el resultado es verdadero para algun k. dondc k 2: 2, tenemos

A,nA,n, .. nA, -A,UA,U'" UA •.

A, nA,n··· nA,nA,., (A,nA,n··· nA,),nA.., =(A,nA,n···nA,juA.;., = (A, UA,U ... UX,)UX •• , =A,UA,U ... UA,UA.+,.

Y cuandc eonsideramos Ie + l_( 2' 3), usamos la fupotesis de Induccion para obtcacr Ia ten»Fa igualdad entre co~jun[O!l en 10, siguieme:

Estc establece entonces e1 paso inductive en nuestra demostracidn, con 10 que obtcacaos esse ley generalizada de De Morgan pera-todc n :;::; 2 porel principio de induccioa mateui3- rica.

Ahora que herncs ViS10 las des definiciones recurslvas (en los ejemplos d.Ia y 4.15),aI continua! esrudlando snuactones en las que aparezca esre tipo de definicion, generalmeeie nos abstendremos de nombrar las partes de la base y la rccursfoa. De la misma forma, DO siempre designaremcs la base y los pasos Inductivoa en una dcmoscacioc por inducci6i1 matematica.

Si analizamos los ejemplos 4,14 y 4.15,las definieiones recuraivas de ambos ejemplus parecen simiiares, ya q,ue si intercembiemcs la proposrcronjscou el cQnjuntoAb para tode 1 S; is; n + 1 Y si tnrercembiamosceda ocurrencie de A con U.'1 reemplazamos ¢::> cone, emonces podemos obtener ladefinicion recursiva en el ejemplo 4.15 mediante la detlnici6n dada en el ejemplo 4.14.

De.manera similar, pcdemos definir de manere recursive la suma y producto de n DUmeros reales, donde n E Z+ y n ~ 2 .. Bntoncesc podemns ohiener (per el principle de inducci6n matematica) propiedades esoclertvas generehzadas para la suma y mulriplics cion de nameros reeles. (En los: ejercicios de la seccion, pediremos el lector que 10 ~) Queremos ester al tanto de dichas propiedades asociativas generalizadas ya que .les hemos estado utiljzando y seguiremos utilizandolas. E! lector podrfa sorprenderse de ver que Ylj. bemos utilizado la propiedad. asocietiva generalizade de Ia suma. Por ejemplo. en eada uno de los ejemplns 4.1 'I 4.3 se udlizo ta propleded esoctetiva generallzada para establecer ~I paso inductive (en la demostraci6n por inducci6n matematica). Ademas, ahora que DOS hemos percatadn de ella de manera mas cabal, podemcs utilizar Ia propiedad asocianva generalizada de loa suma (por lo general. •. de manera hnpljcita) en las definiciones recurslvas, ya que ahara no habra ambiguedadsi desearnos sumar cuatroo mas sumandos. Per ejem, plo, podnamos definir la sucesicn de mimeros ermcnicos H], H"t, H3 ••• _ , come

1) H,~ l;y

Z) P"""21,H ... ~H.+G~J

Si. pasamos de la suma a la multiplicacicn, podemos utilizer Ia propiedad esociariva geiteralizada de J.a multiplicacidn para dar una definicion recursive de n!. En este C8S0, escriblmos

1} O!~ l;y,

2) Para n " O. (n + I)! ~ (n + 1)(n!).

(Estu fue sugerido enel parrafo que aiguea la definicion 1.1 en laseccidn 1.2.)

As{ mismc, Ia sueesicn de enteros bOo b]. b2J ~ •...• dada explfcitarnente (al comienzo de esta seocica) por la f6rm.ula b,,; 2rz. n. EN, puede ser definida aaora en fonna recursiva como

1) b,,~O;y,

2) Para a ~ D.h4+1=b'l=+2.

Cuando analicemos las suceslones de nuestros dos siguientes ejemplos, encontraremos otra vez definiciones recursives. Ademas, estableceremos resultados en que se urilizara la ley ascciativa generalizada de la suma, aunque de manera implfcita.

En [a secci6n 4.1 presentamos la sucesidn de mirneros eacionales llamados edmeros armonicos, Ahora presentamos una sucesien entera que es .importante ell combioatoria y teorfa de grefos (temas que estudiaremos mas adelante en los capftulos 5, 10, ]] Y 12). Los nlimeros de Fibonacci se definen en fonna recursive como

1) 11. = 0, 1\ = 1; Y

2) F".= F:.-l + ]<,,-2, para n EZ+con.n~2,

Por '10 tanto, de la parte recursive de esta definicion, se slgue que

F,=F,+l'j,=l+O=1 F,=F,+F,=1+1=2 F,=F,+F,=2+1=3 F, =F. + F,=3+2 =5.

Tambien vemos que F,='S, F,= 13, F,= 21, F,=34, FlO = 55, FlI= 89 y F,,= 144.

La definici6n recursive de los mimeros de Fibonacci se puede utilizar (junto COD e) principio de inducci6n matemarica) para estableccrmuchas de las propiedades interesanres que exhiben estes numeros. Ana1izaremos ahora dos de estes prcpiedades.

a) Consideremos los siguientes seis resultados que tratan de la suma de cuadrados de los mlmeros de Fibonacci.

1) F5 tf'1 =0'+ 1'~l=l X 1

2) FhFl+Fi=0'+1'+I'=2=IX2

3) Fi+Fl+n+F~=0'+I'+I'+2'=6=2X3

4) F~+ Fl+ Fi+ F~+ F;=O'+ 1'+ 1'+2'+ 3'= 15 =3 x 5

5) F~+ Fi+ Fi+ F~+ Fl+ F~=O'+ 1'+ l' +2'+ 3'+ 5'=40 = 5 X 8

6) F~+Fi+Fi+FhFi+F;+n

=0'+ 1'+]' + 2'+3'+ 5'+8'= 104=8 x 13.

SegUn estos calculos, conjeruramos que

'tfnEZ+ fFr = F" X F..+l.

;-0

Detnostraci6n: Paean = I, el resulrado de la ecuaci6n (1) nOS demuestra que laconjetura es verdadera en este primer caw.

Si supcnemos que Ia ccnjetura es verdadcra para algunli ~ 1. se obtiene por le bipore-: sis de inducci6n:

"

L.

Si pasamos aaore al caso en que n ::: k + 1(2:2), tene:mos que

k+l k

2: Ft = 2: Ft + Fi+1 = (Fie X fI.+l) + F1+l = 1\+1 X (Fs. + 1i+1) = Ft+1 X Fk-t2-

r-o 1=0

Per 10 tanto, la verdad del casu n:;;; k + I se slgue del caso n =k. AsfIa conjetura dadaeg verdadera para todo "' E Z+, per cl principle de inducci6n maremsdca. (Tal vez ellector observe que el calculo anterior utillza Ia ley asociativa generalizada para Ia suma.Ademas, empleamos la definicion rccnrsiva de los eumeros de Fibonacci, que nos permitereemplazar Fi+ F.-", per Fk+2')

b) Una segunda prcpiedad de los nrimcrcs de Fibonacci establece que F. ,; (5/3)"para todo n E N. Para establecer esta deaiguaIdad, utilizamos la forma alternativa de] principia de mduccion matematica.

Demostracion: Para n:= 0 tenemos que Fo~_' O:S;: 1 = {5/3)CI. y para n = 1 tenemos [1=.1 s (5/3) ;::: (513)'. En consecuencie, la pmpiedad dada es verdadera en estos des primeros cases (y esto proporciona 13, base de' induccicn para La demosrracidn).

Si suponemcs que esta propiedad es verdadera para n ~ 0, 1. 2, •. • k - 1, k, dondc k ~ L, examinamcs ahara 10 que sucede en n ;;;; k + L Tenemos que·

Ft.+! = F, + FH ,; (5131' + (5131'-' = (513)'-'[(513) + 1] = (513),-'(&13) = (513)k-l(2419):s (513)>-1(2519) = (513),,-'(513)' = (513j'+1

Se sigue entonces de 1a forma alternativa del principio de inducci6n maremarica, que F~ :s:: (5/3)" para todo n E N.

La sucesion de los l1~ros de Lucas csta estrechamente relacionada con los m1meros de Fibonacci. Esta sucesion se. define en forma recursive como

I) L,,=2, L, =1; y,

Z) L" = L,,_l + L,,-'l, para todo n E Z+ can n ~ 2.

Los primeros 12 nnmeros de Lucas aparecen en (a tabla-.4.2.

a 1 2

76 123 199

Aunque no son tan famosos como los de Fibonacci, los nemeros de Lucas tembien poseen mochas propiedades inreresantes, de las que ahora presentaremos dos.

..

a) Para n EN, L,,+L, +L,+ ... + L. = fL, = L.+,-·1.

'·0

Demostraci6n: Si. n =' 0 teuemos que o

Lo= LL,= 2= 3 -1 = £,.-1 =4" -1,

;=0

por lo que fa afirmacidn es verdadera en este primer case.

Para algun kEN, donde k ;?; 0, suponemos que

• Lo+L,+£,.+ ... +L,=2:L;=L .. ,-l.

,:0

es verdadera. Enronces, para n;;;; k + 1(21) tenemos

k+1 !Ie

(') L L; = LL;+L .. t = (L,.,-l) + L'+l = (L>+2+ L,.,}-l

;-(1 .i~O

= LH3-1 = 41';'1)+1:-1,

por 10 que e1 heche de que la proposicion sea-verdaderapara n;:;: k implica 10 mismc para k + L Por 10 tanto.Ia formula para la suma es valida para t-odo n E N por el principio de mduccidn matemarica. [Observe que para las ecuaclones (*), la primera igualdad se sigue de la propiedad asociativa generalizada de Ia suma, y la -cuarta igualdad se basa en ta definicion recursivadada de los numeros de Lucas. puesto que k + 3 ;:: 3(~2).]

b) Una de las relaciones entre los mlmcros .de Fibonacci y los nnmeros de Lucas es

Demostraci6n: Aquf necesitamos ccnsiderar 10 que ocurre cuandon == 1 Y n;;;; 2. Tenemos que

L, =1 = 0+ 1 =r;+Ji;= 1';-1 + 1';." y

L,=3 = 1+ 2=F, + 1';=1';-1 +Ji;+l,

por 10 q,ue el resultado es vcrdedcro en estos des primeros casas.

A continuaci6n, supccemos cuc L;« F,,_I+ F_l para los enteros n= 1,2) 3, .. , k- 1, -, k, donde k 2: 2. y despues consideramos el nrlmero de Lucas LJ;;+,. 'Ienemos entonces que,. t

(oy Lw = L, + LO-l = (F.-l + F..,) + (F.-, + Fo)

= (FH + F.-.;) + (F. .. + F.) = F. + F.., = F(1+1)-1 + F(1.')."

POt 10 tanto, se sigue de la forma alremativa del principle de inducci6n matematica que LII= FIl_ L + Frp.-, para todo i'l E Z -. [El-Iectnr debe cbservar c6mo utilizamos las' definiciones recursivas de los ruimercs de Lucas y de Fibonacci en los calculos de la parte (k)'.]

Para cerrar esta seccidn, presentarernos la idea de un con junto X definido en forma recursiva. Aquf partimos de una colecctcn inioial de elementos que estan en X, 10 que propcecioea fa base para la recursion. Despues proporciouamos una regla 0 lista de regles que nos indican cdmo encontrar naevos elementos de X a partir de otros elementos que ya sabemos csteo en X. Esta regla (0 lista de reglas) constimye el proceso recursive. Pero ahara ts esta pane es nueva) tenemos tambien una restnccion implicita; es decir, una

S(1I): z., + 1 EX,

210

Capitulo 4 Prcpiedades de 10:5 entercs: tnducdon metemetlea

proposicion en el scntidc de que ningun clemente puede estar en X. excepto los dados a fa coleccion inicial 0 los que se formaron mediante las reglas dadas en el proceso recursiw.

Demostraremos estes ideas en el siguiente ejemplo .

.,.. Defiuimos el conjunto X en forma recursive como

1) 1 EX; Y

2) Para cualquier a E X, a: + 2 E X.

Entonces afirmarnos que X consta (precisamenre) de todos los enteros im.pares positivos. Demostraci6n: Si Y denota.el conjunto de todos lcsenteros impares posiuvos (es declr, Y = {2n + 11 n EN}. entonces queremo5 demostrar que y~ X. Esto signjficj\ como ya aprendimes en la seccion 3.1, que debemos verificar Y ~ Xy X,~ y,

Para establecer que Y ~ X, debemos demostrar que todo eatero lmparpositivo csnca

X. Realizaremos esto mediante el principia de induccicn matematica. Comcncemos pol' considerar la proposicion abierta

que esta definida para el uorvecso N. La base de la Inducclon [es decir, S(O)) es verdadera ya que 1 = 2(0) + 1 E X por I. parte (I) de 10 definicion recurslva de X. Para el paso inductive, suponemos Ia verdad de S(k) para aig-uD k 2: 0; esto indica que 2k. + 1 es 1m eJemento de X. Si 2k + I E X. se aigue de la parte (2) de la definicion recursive de Kque (2k+ I) +2=(2k+2)+ i =2(k+ 1) + 1 EX, por Io que S(k+ 1) tambicn cs verdedera.Pc- 10 tanto. S(n) es verdadera para todo n E N (poe el. principle de induccidn matemarica) y tenemos Y c x.

Para La demosteecion de la Inclusion opuesta (a saber, X ~ y), -usamos fa definiciOn recursive de.X, Primero consideramos 1a pane (l) de la definici6n. Como 1(::;: 2·0 + i) es un entero impar positive, tenemos que 1 E Y. Para terminer la demosrracion, debemos verificar que cualquier enterc que est€ en X y que resulte de La parte (2) de 13 definici6n recursiva tambien esre en Y. Estc se hace mostrando quec + 2 E Ysiempre que el elementc a de X sea tambien un clemente de Y. Ya que sic E Y, entonces a = 2r + I. donde TEN (pet la definicion de un entero impar positive). Asf, a + 2 = (2r + I) + 2 = (2r + 2) + 1 == 2(r + 1) + 1, donde r + 1 E N (en tealidad, Z+) Y per 10 tanto a + 2 es un entero impar positivo. Esto coloca a a + 2 en Y y muestra que X ,!: Y.

De las des inclusiones anteriores (es decir; Y ~ X 'j X c n. se sigue que X» Y.

:JERCICIOS 4.2

'l . La sucesi6n de enteros Qp .:22' a3 ••••• definida explfcitamente per la fcrmuta lI.._ = 5n pard 1J E Z· tambien puede definirse en forma recursive como

1) a,=5;;y

2) Gn+l = an +5, para. n ~1.

Para 13 sucesicn de entercs b1• b2, bj, •••• donde h. = n(n + 2) para todo n E Z·, tambien pcdemos dar la siguiente definicion recursive:

4.2 Definiciones recursivas

211

1)' b, = 3; and,

2), b; .... l =bn +2n +3, for n2:1..

De una definici6n recursive para cada una de las siguientes sucesicnes de enteros c., Cl. C] •. dcnde para cada n E z ... teeemcs a) c,.=1n c) c,.=3n +7 0) <.-7 g) <, - (n + l)(n + 2)

b) <.=7"

d) <,-lln-8 f) c .. =1i?-

b) c, =2-(-1)'

2. a) De una definicion reccrstva para Ia disyuoci6n de pmposiciones Ph Pl. _ ..• p'", P".h n 2: 1. b) Muestre que si It, rE Z",n ~ 3y I ~ r<~.ento~

3. a) Use el resultado delejemplo 4.14 para demostrar que sip, qh Q2, •..• q~ ron proposiciones y n ~ 2. entonces

p V(q, Aq,A ... Aq.)""(p V q,) A (p V q,)A· . ·A(p V q.). b) Para n E Z .. , n ~ 2. y las proposieiones p, gl' q ...... , q~_. demuestre que:

p A (q, V q, V· .. V q.)""(p Aq,)V (p Aq,) V· .. V(P Ag.).

4. Para 11 e Z+, n ;;: 2. demuesrre que para coalesquiera prcpostctones Ph Pl, •••• p~ aJ (P,VlhV"·Vp.)""p,Aj>iA .. ·Ap;;.

b) (p,AlhA .. ·Ap.)""P>Vj>iV"·VP;;.

5. a) D6 una definicidn recarsivapara la interseccidn de los conjuDtosAI,Al, ... ,A~. A .... 1!:"iIU.. n ~ 1.

b) Use eI resaltedc de la parte (a) para mostrar que para cualesqaiera e, rE Z·, n 2:: 3 y 1 S r </1., (A, nA, n .. · nA,)n(A,., n .. · nA.)=A, nA, n .. ·nA,nA,.,n .. ·nA..

6. Para n 2: 2 y cualesquiera oonjuntos AhA~ •... ,A. !;;;;; 6tL. demuestre que A1UA2U'" UA .. -A1nA;n ._. nA:.

7. a) Use el resultadc del eJemplo4.15 para tnosrrar qae si los conjuntQs Bl• B1 •• "". B. "GJ.l, yn 2:. 2. entonces

A n(B,UB,U'" UB.) = (A nB,)U(A n B,)U'" UtA n B,). b) Para n E Z". It. ~ :2 Y los coniumos A. 8" B~. . .• B. ~ 'GU. demuestre que

A U(B, nB,n· .. nB.) = (A UB,)n(A UB,)n··· n(A UB.).

8. a) Desarrclle una definici6n recursive para 101 suma de It. mimeros reales Xlo Xl ••.. ,Xw, conde n 2: 2.

b) Para cualesquiera numeros reeles Xh X1 'Y X;» la propiedad asociariva de la suma establece que XI +: ();~ + 1::,3) = (r, + rJ + X1- Demuestre.que si II,. r E Z .. , It. ~ 3- Y .1 .5 r -c n, entonces

(XI +X2 + ... +Xr)+ (x .... J + ... +X .. )"::'XI +2'2+'" +X.+Xr+1 + ... + X".

9. a) Desarrolle una definict6n recursive para 13 multiplicacidn de n niimeros reales XI. Xl •.

XD• donde 11 "2: 2.

b) Para cualesquiera namercs reales XIo X2 Y X3._. Ia propiedad asociativa de la multiplicaci6n establece que.J:t{x2x:J = {x1XVXJ' Demuestre que si 11, r E Z~, n ~ 3 y 1 ~ r < n. entonces

4.3 EI atqor-tmc de Ia division: Numeros primos.

213

proposici6n compuesta {(p A ( ..... q)) ~ (r V TI)) es una fQIIDula bien formada. Podemcs obtener esta formula bien formada como sigue;

PMOS

1) p. a.r. To Z) (-lq)

3) (pl\(-.q»

4) (rvT,)

5) «PI\(-'q))->(rvTo))

Raurres

Parte (1) de Ia definicion

Paso (I) y parte (21) de I. definicion

Paso. (1). (2) y parte (21ii) de la detinici6n Paso (1) y pane (2ti) de la definicion Paso' (3), (4) Y pane (2iv) de 1. definicien

Para las proposiciones primitivas -p, q. r y s, desarrolle las derivaciones que muestran que cada una es una formula bien formada.

a) ((pVq)-(ToI'«-,,}»

b) ((("p)-q)--+(r!\(.vJi.») 0) (p->,)I\«pVq)-.»

22. a) Paran z; 2. ~P1.p..fJJ •... ,P~.p .... rson prcposiciones. demuestre que [(PI ~ 1'0 A {J'"1-+{J3)

to. . 1\ t», --. p_,» ,.. [(P, 1\ 1'> 1\ P, to. ... " pJ .... p_,).

b) Demuestre que el teorema 4.2 implica el «creme 4.1.

c) ~:t::~re::~!::a:~:~~;:!=enre: .si ~ 4- S ~ Z~ y n E S, para algUo n E Z·~,

d) Muestre que el teorema 4.1 implies e) teorema 4.2.

4.3

EI a1goritmo de la division:

Numeros primos

Aunque el conjunto Z no es cerrado en la divisi6n entre nameeoa distintcs de cere, existen muchos casos en los que un enterc divide (exactamente) a otto. Por ejemplo, 2 divide a 6. y 7 divide a 21. En este case, Ia division es exacta y no hay resro. Asf, el heche de que 2 divida a 6 implica la existencia de un cociente (3) tal que 6 = 2 . 3. Fon:nalizaremos esta idea como sigue.

-r

Definition 4.1

Sia, b E Z y b :/::-0. decimos quebdivide a a. y Io denotamos b I Q, si existe un enteron tal que a :::; bn. Cuando esto ocurre, decimos que b es un divisor de a, 0 que a es un rmtltiplo deb.

Con esta definicion, podemos hablar de 1. divisi6n dentro de Z sin pasar a Q. Ademas, cuando ab :::; 0 para a, b E Z. entonces a = 0 0 b = 0; decimos entonces que Z no tiene cfi1,isores propios de O. Esta propiedad nos pennite cancetar, como en el case 2x;: 2y """'" x::; y para x y E Z, yaque 2x~ 2y~2"'-y)~ o~ 2~O o~-y~O ~x= y. (Observe que en ningiin memento mencionamos la multiplicaci6n de ambos lados de la ccuacion 2r = 2y por t. El numero t esta fuera del sistema Z.)

Ahora resumiremos algunas propiedades de esta operactcn de-division. Cuando dividamas entre un entero a, supondremos que a:F O.

de tosente-cs: Irrduccion matematice

'14

·EOREMA4.3

Para cualesquiera a. /? c E Z

a) lla y alO. e) [(ajb)l\(b Ic)]~aic. d)alb~albx para tOOOI EZ

e) Si x s= y + z, parax, y. Z E Z y a divide a des de los ecteros x y. Z. emcnees ,"'b1~ al entero restante.

t) [(a 1 b) /I. (a I c)] => a,1 (bx + 0'). para todos xy E Z. (La expresidn denorninacombinacion iineal.de b-~ c.)

g) Para. 1 :s; i S n, sea "j E Z. Si e divide a carla c"

entences a] (CI.xi+·C~~+··· + c"xJ~donde·xiE z para tcdc 1 :s: i == n.

Demostracion: Demostraremce la parte (f) y dejaremos el resto al lectcr.

Si a I b y a I c, emonces b;;;;; am y c = an. para algunos m, n E Z.As.i, Irx + cy:::;: (an))' "" a(tm: + ny) (por la propiedad asociauva.de.Ia multiplicacidn y Ia distributive de Ia multiplicaci6n sobre la suma, ya que los elementos de Z satisfacen amcas propiedades). Como h+ 0' = a(m>: + ny): so sigueque a I (u.J: + 0').

La parte (g) del teorema sera dill cuando considercmoa .lo siguiente,

iExisten enteros X, y, z (positives; negatives Q cere) tales que 6:r: + 9y + 15z. ~ IOn SUpoagamo. que cxisten dichus enteros. Bnronces, COmO 316.319 Y 3115. la parte (g) dell<Qrema 4.3 implica que 3 es un divisorde lQ7.i" ]0 cual.es (also. Por 10 tanto. no exisren tales enteros s: y, z,

Las partes (d), (e) y.(f) del teorema 4.3 nos ayudariin en la.siguteetc situacion.

Sean a, b"E.z talesque 2a + 3b sea un mtiltiplo de 17. (Pur ejemplo, podnamos (en¢.fq~

. a = 7 Y b = I; 0 bien .• a=~. b = 3.) Demucstrc que 17 divide a 9a + Su,

nemostrecfen: Observamos que 171 (2a +3b) ~ 171 (- 4X2a + 3b). Ademas, 171 h,." l1b). Poi 10 tantc, 171 (17a + 17b) + ( - 4X2a + 3&). En consecuencia, 171 [(17 - 3» + (17 -12)b]. 0 bien 171 (9a + 5b).·

Con esta operacidn binaria de division entre cnreros, -estamos dcntro del area de las matematicas llarnadateoria·de.mimeros. Sfseguimos analizando'cl conjuutoZ+,. observaremos que-para todon E Z~, n >1, el enteeo n tienc at menos.dos.divisorcs posiuvosjIyel mismo n. Algunos ruaneros, como 2. 3. 5, 7.~ n, [3, 17,. ., tienen exactamente dOsdiviscres.positivcs. Bstos enteros reciben el nombrc de primos. Tcdcs los demru: emeros positives (mayores. que 1 y que-Do sean primos) ac.llaman compuestos. El lema siguierue expresa una. ccnexicn inmediata entre los admeros primos: y 10s compuestos.

4.3 E.I algoritmo de la division: Nurneros primos

215

j!MA4.1

Si n E Z+ Y n es compuesto, entonces existe un prime p tal que pin.

Demostraci6n; Sj suponemos 10 cnntrario, sea S el conjunto de todns los eeteros compuestos que no rienen di visores primos. Si S:/= Il. enronces por el principio del buen orden, S tiene un elemeato minima m, Pero si m es compues:n, entcnces m ~ m1m'2, donde ml> I7f1 E Z· y 1< ml< m Y 1< ~ m. Como ml f$. S~ m1 es primo 0 divisible entre un primo. En consecuencia, exjsre un prime p tal que p [m y S = 0.

i,Por que Ilamamos at resultado anterior lema en vez de teorema? Despues de todo, debfa demcsrrerse a1 igual que todos los teoremas de este libro vistas basta el memento. La raz6n es que aunque un lema es en sf mistnc un teorema, su papel principal es el de ayudar ala demcstracicn de ctros teoremas.

AI enumerar los primos, nos -inclinamos per pensar que existc una infinidad de tales mimeros. Verificaremos ahara que estc es clcrro.

TEOREMA4.4

(Euclides} Existe una infinidad de primos.

Demostraci6n: En ceso comrario, sea Pl. p;. •... ,P.t·la Iista finita de todos los primos y sea B;;;;;. PIP2~ .. p~ + 1. Como B > Pi para todo I ,S i ::s k, B no puede ser un prime. Por 10 tanto, B es compuesro. Asf. por eJ lema 4.1, exists un prime Pj, 1 :S j s k" tal que Pi I B. Como Pi I B Y Pi I Plp-,··· p" delteorema4.3(e) se sigue quep, I L Esta contradiccicn scrge de la bip6tesis de que s610 existc un nnmero fmito de primos, de doadc obtenemos el resultado.

Sf, este es el mismo Bucltdes del sig10IV A.C., cuyosElementos, escritos en 13 rollos de pergamino, constiuryeron el prime! analisis organizado de 1a geometrfa que eatudiarncs en el bacbilferaro. Sin embargo, uno puede ver que estes 131ibros tambien abordan la teorfa de numeros. En particular, los libros VIT, VDI y IX tratan estes temas. El teorema anterior (con demostracioa) aparece en el Iibro IX.

Pasemos ahora a Ia idea principal de esta scccion. Este resultado nos permite trabajar ..;.

COD la divfsldn entre numeros distintos de cern en Z cuando esa division no es exacta.

TEOREMA 4.5 ' £1 algori:tmo d. fa divi'iOn. Si a, b E Z, con b > 0, entccces exisree q, r E Z rinicos tales que a ~ qb + T, con 0 S r-eb.

-

oemostradon: Si b I a. e1 resultado es valido con r = 0, por 10 que ahora consideraremos cl caso en que b.r~ (es dectr, b M divide a ~).

Sea S=!a-Ib [I E Z, a-tb> 0). 5i a> Oy 1=0. entonces c E Sy S~ B. Si GSO, sea I=a- L Entoncesa-tb=a- (a-J)b=a(J-b)+b,con (I-b) S 0, yaqueb;;" LAs~ a - tb > 0- y S f- 6. Par 10 tanto. para tode a E Z. S es un subcorjunto no vacfo de Z". Por el principia del buen orden, S tienc un clemente mfnimor; tal que 0 < r = a - qo, para algliD q E Z. S, r=b,entoncesa=(q+ J)by bla, Joque contradice btu. S, r>b,entonce; r= b +c, para algtin c E Z'ya-qb= r= b+c~ c="a-(q+ J)b E S,10 que ccntradice que r sea eJ elemento mfnimc de S. Por lo tanto, r < h.

Esto establece entonces un cocienre q y un resto r. tales" que 0 S r < b para el teorema, Peru i,existen otros q y r que tambien funcionen? En ese case, sean q .. q,_, 'l' '2 E Z tales

216

Capitulo 4 Propiedades de los entercs: rnduccton rnetemetlee

que a= qtb + rl' con o s '.< b y a = q) + 72, con O:s '2 < b. Betoacea q1b + 'L = q2b+T~;:' b I ql - qll= 1'2 - 'l r < b. ya q_ue 0:::;; 'I' T_2 -c h. Si ql :j; ql' tenemos la contradi~i& b l ql - % I.:: b. Por 10 tanto. q. = %, Y. = '-2 'J tanto el cociente como el resro son unicos.

Como ]0 mencionamos en la. demostracion anterior, cuando a. b E Z con b > O. enrooce existe un cocierue q unico y un reS10 -unico tales que a = qb + T, con 0 S r < b. Adern!i,

en estecaso, el entero b se llamadl~visQT y a ell el dividendo. .

a) Cuando a ~ 170 Y b ~ lJ eo el algoritmo de la division, tenemcs que I70~ ]5 . IIf 5, donde 0 .s 5.< 1 L Por 10 tanto. al dividir 170 entre 11, el coclenre es 15 y e] resto< es 5_

b) Si el dividendo es 98 y el divisor es 7, del algoritmo de ladivisi6n renemos que 98= 14· 7_Asf, en este case, el cociente es 14 y el resto es O. y 7 divide (exactamenteja 98.

c) Para el ceso en que a ~~5 y b ~ 8 teeemcs -45 = (-6)8 + 3, donde 0 <; 3 < 8. En consecuencia. el cociente es - 6 y el restc es 3. cuando el dividendo es -45 y e1 dtvtsor.es 8.

d) Seana,bEZ'.

J) Si a ~ qb para algrin q E Z., entences -a ~ (- q)b. Par 10 que. en este caso, cuando -a(<:O) se divide entre b(>O) el cocienze es -q«(j) y el resto es 0 .

. 2) Si a ~ qb+ r para algnn q E N y 0< r < b, en lances -a = (- q) b - r= (- q)bb + b - r ~ (- q - 1) b + (b.- r). Para este caso, cuandn --a«0) se divide entre b(>0), el cociente es --q - I{<O) yel resto.ee b - T. donde 0 < b - r < b.

A pesar de lademostracion del teorema 4 . .5. y. (as resultados del ejemplo 4.22, realmeete no teaemos una manera sistematica de calcular el cociente q y cl resto r cuando dividimos un entero a (el dividendo) entre el entero positivo b (el divisor). La demostraci6n del teoreme 4.5 garantiza la cxistcncia de tales entems q y r, peru la demostracioasrc es constructiva, esto es, ,00 perece indicar como se calculan q y r- ni mcnciona nada acerca de b capacidad para utilizar tables de multiplicacidn 0. para realizar grandee divisiones. A fin de remediar esta situacion prcpurcionamos el program a en Pascal de la figura 4.8. [En este programs, abs(a) es el valor absoluto dea.] Nuestro siguiente ejemplo ilustra la idea presentada en pane de este programa.

Dado que es posible ver la multiplicacion de emeros positivos como sumas repetidas .. tarnbien podemos ver la division (entera) como restas repetidas. Vemos que ia resta sf cumple un papel en la definici6n del conjunto Sen la demostracton del teorema 4.5.

Cuando, pOT ejemplo, calculamos 5 . 1. podemos pensar en terminos de sumas reperidas y escribir

Program, IntegerDivi,$fon( input. ou.tput ) :

Var

a.b,q,r: integer:

Begin

WI' i teln l ' Qti,ere.mos dete:r:minar el cocderrt.e q I' , ;

Wri teln (' y el res to r cuando el entero a! ) ; Writeln (' se divi.de entre e.L eneeec pos Lt Ivc b.'); 7Iri te (' a = 1 J ;

Read. (a} :

Write ('b~ 'I; Read lb l :

If 8,,=0 then

Writeln('E:n este caso , a = 0, poJ:: 10 que q = 0 y r = O.'} Else

Begin

r ; = abs(a); a : = D;

While (r > = b) do Begin

'r := r-b; q ;= q+l End;

If a>O t~en

Begin

Writeln ('·Cuandodividitnos'. 8:0, 'entre', b;O~ I, "l : -Write In ("el caciente q='. q:O. I y I);

Writeln ("el r-eane r='. r:O, ". ')

E:nd

Else if r=O then

Begt n

i'i'riteln{'cua.ndodividimos',a.:O, tentre',b:O, ','):

Writeln ("el cociente q= '. -q:O, • y '); Writeln ("el res to r=D.·)

End

Else

Begin

- Wr'iteln ('CUando dividi.mos·. a:O, ' entre. ','); Writeln (' el caciente q= ", (-q-l) :0, ' y" I;); Write-In ("e1 res to r= M. (b-r) :0, '.');

E:nd;

End;

End.

Queremos determinar el coc Lence q y e L resto r cuandc el encexc a

se divide entre el entero pos i ti vo b. a~37

b=8

cuendc dividi:mos 37 entre 8.

el coc Lent e. q = 4 y el xeaco r=5.

Figura 4_8

217

!18

Capitulo 4 Propiedades de los entercs: Inducci6n rnetemetlca

Restos

2·7=7+ 7= 14

3·1=(2+.1)-7=2·7 + 1-7 = (7 + 7) +7 = 14 +7=21

4·7 = (3 + 1)-7= 3·7 + 1-1.= «7 + 7) + 7) +7 =21 + 7 =28

5·7 =(4 + 1) ·7=4·7 + 1-7=«(7 +7) +7) +7) +7 =28 +7=35.

Si, por otro lado, deseamos dividir 37 entre 8. entonces debemos pensar que el (:ocieDIBq es el numerc de ochos contcnfdos en 37. A1 eliminar cada uno de estes ochos (esto es, aI. restarlos) y cuando ya no se puede eliminar otrc g sin obtener un resaltado negative, entonces el eateeo que queda (restante) es el resto T. Asi. podemcs calculer q y ren t&minos de restas sucesives como sigue:

37-8=2928, 29 -8= (37 -8) -8=37 -2· 8=2128, 21-8=«37 -8) -8) - 8=37 -3-8= 1328, 13 - 8 = «(37 -8) -8) - 8) - 8=37 - 4-8 = 5 <8_

La Ultima lfnea muestra que- podemos restar cuatrc ocbos de 37 antes de obteeee un resulredo no negative (5) que es menor que 8. Por 10 tanto, ell este ejemplo teoemos que q =4 Y r= 5_

Usaremos el algoritmo de la divisidn para analizar algunos resultados relatives ah represeetecton de enteros en bases distintas de 10.

Bscribimcs 6137 en el sistema octal (base '8). Aquf buscemos enteros no negatives rOo r t, rz ... r! r.,con r.,> 0, ta1esque6137 = (t., ... ~T~. rJ. ro> e-

Con 6131 =TO+ T.· 8 + rz" 8'2+··· + Tk· 8t= TO+ 8(r, + 72· 8 + ... + T,t· 8J:-1), roes el rese obtenido en el algoritmo de la division aI dividir 6137 entre 8.

En consecuencia, ya que 6137 ;;;; 1 + 8·167. tenemos 70.= 1 Y 767 == 71 + rz- 8 + ... + r.t· 8,1;-1= TI + 8(72+ r3· 8 + ... + rs- 8.t-2). Esto implicaquer.= 7 (el resto de la division de 767 entre- 8)y 9S;;;;;; Tl+ 71" 8 +.,. + rs- 8.1--2, Si contieuamos de esra maaera veremos ~ Tl= 7~ "3= 3, r.;;;;;; 1 y T;= 0 para todo i 2: S, por 10 que

6137 = 1-8' + 3· 8'+7.82+7.8+ 1 =(13771)..

Podcmos ordenar las divisiones sucesivas entre 8 como sigue:

8 ~

8 I1QI 1 (ro)

8~ 7 (r,)

g 111 7 (r,)

8 tl 3 (r,)

o 1 (r,)

En el campo de lascienci.as de I. comperaeion, el sistemade mlmeros binaries (base 2) es muy impcrtante. En ~, los Unioos sfmbolos que se pueden utilizar so. I", bits 0 Y 1. En la tabl.4.3 bemos enumerado 1. representaci6n binaria de)", enteros (base 10) desde el 0 hastaellS.

43 EI

219

Tabla 43

Base 10 IItie 2 B ... I0 Base 2
0 0000 8 1000
1 0001 9 10 0 1
2 0010 10 1010
3 0011 1I 1011
4 0100 12 1 100
5 0101 13 1101
6 0110 14 111 0
7 0111 15 1111 Hemos incluldo los ceres no significativos y encontramos que se neccsitan cuatro bits dcbido al primer 1 de las represeetaciones de-los enteros de 8 a t5. Podcmoa continuer con cinco bits basta el 31 (= 32 ~ 1 = 2~- 1); se necesitan seis bits para llegar ai 63 (= 64 -1 = 2~- 1). En general, six E Z yO -s x<2~. paean E Z"', eiitonces podemos cecribir x cn base 2 usando n bits. Los ceros no significativos aparecen cuando 0 5 X ~ 211-1 - ) y para 211-1 :s; i :s; 2" - 1 el primer bit (mM significativo) es el 1..

Generalmente, Ia informacion de las maquinas se almaccua en unidades 'de ocho bits Ilamadas bytes. asf, para las maquinas con ccldas de memoria de un byte, podemos almacenar en una sola celda cualquiera de los eqnivalentes binarios de los enteros desde 0 a 2& - 1 ;;;;;; 255. Para una eaqnlna con celdas de dos byres, cualquiera de los enteros entre o y 211i_ 1 = 65.535 puede almaccnarse en forma binaria en cada celda. Una maquina can celdas de cuatro bytes puede proporcionarnos basta 2"'- I = 4,294,967,295.

Cuando un humane trabeja con secuencias grandes deceros y unos, el trabajo se vu.elve may tedioso y Ia probabilidad de error se incrementa con el tedic. En consecuencia, es cormin (especialmente en cl cstudio de lenguajes de.maquina y ensambJador) representar esas secuencias grandes de bits en otra notaclon. Una de estas notaciones es la notacion hexadecimal (base 16). Aquf ecccsttemos 16 stmbolcs; 'como 5610 tenemos 10 sfmbclos en el sistema estandar en base 10. tctroducimos los siguiemes sfmbolos adiciooales:

A (Able) B (Baker)

C (Charlie) D (Dog)

E (Echo) F (Fox)

En Ia tabla 4.4, los enteros entre 0 y 15 esten dados en terminos del sistema binario y del sistema hexadecimal.

Tabla 4.4

Base 10 Base 2 8 ... 16 8osel0 Base 1 Base 16
0 DOn 0 0 8 1000· 8
1 0001 1 9 1001 9
2 0010 2 10 1010 A
3 0011 3 11 1011 B
4 0100 4 12 1100 C
5 0101 5 13 1101 D
6 01 10 6 14 1110 E
7 0111 7 15 11 1 1 F A 1010

0001

3 0011

F 1111

20

Capitula 4 Propiedades de 105 enteros: lnduccion rnatematice

Para convertir de base- IO a base 16~ seguunos un procedlmiento parecido al bosquejado en el ejemplo 424. Aquf estamos interesados en los restos de las divisiones sucesiv:as entre 16. Per 10 tanto. si queremos representar el enrero 13,874,.945 (base 10) en e1 sistema hexadecimal. bacemos los siguientes calculos:

Resto,

16 ]13,S74,945
16 1867,184 1 (ro)
16 154,199 0 (r,)
16 13,3S7 7 (r,)
16 uu 11 (~B) (r,)
16 III 3 (r,)
0 13 (~D) Cr,) En cnnsecuencia, 13,874,945 ~ (D3B701)".

Sin embargo. existe un m&odo mas sencillo para convertir de base 2 a. base 16. P<r ejemplo, si queremos eonvertirel entero binario 01001101 (un byte). base 16, descompenemos el mimero en btoques de cuatro bits:

0100 1101

4 D

Despues convertimos cada bloque de cuatro bits a su representacion en base 16 (cornu se muestra en la tabla 4.4} y tenemos que (OIOOtlOl},= (4D)". Si partimos del nilinelO (A13F)ui (de dos bytes) y queremos hacer Ia conversion en la otra direccicn. reemplaza: mos cada simbolo hexadecimal por su equivalente binario (de cuatro bits. que tambien se muesrra en la tabla 4.4):

Bate implica que (A13F),,~ (10100001001l1l11),.

Ejemplo 4.26 Necesitamos los enteros negatives para realizar la operacion binaria de resta en t6rm:i.oosde la suma res decir, (a - /7) =a + (-b)]. CUando trabajamos con larepresentaci6n binsria de los enteros, podemos utilizar un m6(OOO popular que nos permite realizar la suma, resta. multiplicacion y divisi6n (enters): cl mirodo de complemento a dos. La popu1aridad del metodo se basa en su implantaciou con 8610 des circuitoa electrdnicos, uno para negar y otro para sumar,

En la tabla 4.5, los enteros de] -8"31 7 se representan mediante el patr6n de cuatrc bits que. se muestra. Los enteros uo negatives se representan como en las teblas 4.3 y 4.4. Para: obtener los resultados para -8 ~ n S; -I, consid.eremos primero la represeatacioa binaria de I n I. el- valor absolute de n; Entcnces hacemos ]0 siguiente:

1) Reernplazamos cad. 0(1) en Ia represen.taci6n binaria de In! por 1(0); este resulrado se llama compiemesua a uno, de (Ia representaci6n dada de) In I·

2) Sumamos 1 (= 0001 en est. caso) al resultado del paso L Bste rcsultado se Ilama complemenio a dos de fl.

4.3 EI

221

Tabl.4.5

Notad6n del compiemento.lil. des
Valor r.ep~o htr60 de cuatro bits
7 0 1 1 1-
6 0 1 1 0
5 0 1 0 I+-
4 0 1 0 0
3 0 0 1 1
2 0 0 1 ~
1 0 0 0
0 0 0 0
-1 1 1 1
-2 1 1 1
-3 1 1 0
-4 1 1 0 0
-5 1 0 1 1
-6 t 0 1 O+-
-7 t 0 0 1
-8 1 0 0 0- Por ejemplo, para obtener Ja representacirin de] complementc a dos de -6~ hacemos 10

siguiente.

1) Empezamos con la representacirin binaria de 6.

2} Intercambiamos los ceros y los uncs, este resultado es el complemento a unos de 0110.

3) Sumamos nne al resu1tado anterior.

6 ! 0110 ! 1001 !

1001 + 0001 = 1010

Tambien podemos obtener IQs patrones de cuano bits de los valores -8 :5 n :5 -I usando los parrones de cuatro bits de los enteros 0 a 7 y complementando (intercambiando los ceros y los unos) estes patrones como see muestra, en la tabla 4.5 mediante cuatro de . estaa parejas. Observe, en esta tabla. que los parrcces de cuatro bits de los enreros no" negauvos comienzan en O. mientras que 1 es el primer bit de los eateros aegativos de la labia

i.C6mo realizamos la resta 33 -IS, en base 2. mediante cl metodo de complemente ados con patrones deocbo bits (= un byte)?

Queremos. determiner 33 - 15 = 33 + (-15). Tenemos que 33 = (00100001), Y 15 = (00001111),. Per 10 tanto. represeruemcs -15 como

11110000 + 00000001 = 11110001.

La suma de eraeros representadcs en Ia notaci6n del complementc ados es lgual a la

222

c.

d-e los entercs: Inducci6n matemattce

suma binaria comrin, excepto que todos los. resultados deben tenet patroaes del tamafin. Bsto significa que cuando se suman dos enteros par el metodo de ,coDIqiI,=mol dos, cualquier bit adicional que aparece en el lade izqulerdc de la respuesta rreo final) se debe descartar. Ilustramos estc en los siguientes calculos.

33_ 001()(XXJ1 - 15 + 11110001

-~1~

!:s~ bit 51" Respuesta -ICOO10010b =-18

cesce rte . -t.E5tE! bit incica que te respeesta es no neqatlva.

Para determiner 15 - 33, utilizamos 15 = (00001111), y 33 = (00100001),. EntdllCe!, para calculer IS - 33 como 15 + (-33), representamos -33 como llOllllO + 00000001 = ]lOll Ill. Esto nos d. 01 resultadc

15 00001111

- 33 -------- + 11011111

- 11101110

Ltste bit indica que 101 r~sptJ~t.1 es nega1iva.

Para obtener la forma positiva de la respuesta, hacemos 10 siguiente:

1) Tomamos el complemento a unos.

2) Sumamos 1 al resultado anterior.

11101110 ! 00010001 ! 00010010

Como (00010010),= 18, la respuesta es -18.

Un problema q,ue hemos evitado en los des calculos enteriores implies, el tamano de. los enteros que pcdemos representar con patrones de echo bits. Independienrernente del tamafic de patron que usemos, el tamaiio de los enteros que podemos representar cs.limitado. Cuando sobrepasamos est: tamafio, ocurre un error de desbordamienso. Pnr ejemplc, si trabajamos con parrcnes'de echo bits e intentamos sumar 111 y 88, obtenemos

117 -> 01110101

+ 88 + 01011000

11001101

LEste bit indica que 111 .respuesta es neqativa.

Este resultado muestra come podemos detectar un error de desbordamiento cnandc somamos dos numcros. En este case se indica un error de este tipo: le suma de los parrones de ocho bits para dos emeros positivos produce el patr6n de ocho bits de un entero rregativo. En forma enaloga, cuando la suma de 005 patrones de echo bits de) dos eeteros negativos produce un patr6b: de ocho bits de un enterc positive, sedetecta un error de desbcrdarnientc.

Para vcr·por que funciona en-general el procedImiento del ejemplo 4.27, sean xy E Z" con xc-y,

4.3 EI

la division: Nume(os

223

Sea 2"-1.s x-c 2"'. Entcnccs, la representacion binaria de x eslA formada por n bits (con un 1 en ellugar mas significative). La representacicn binaria de 2~ constad.en + 1 bits: un 1 en el lugar mas significative seguido de n ceres. La represenracion binaria de 2· - 1 consta de n unos.

AI rester y de 2!1- 1, [enemas

(2' - 1) - y ~ ~ - y, el complemento a unos de y.

Entonces, (2.11-1) - Y + 1 nos da el complementn a dos de y, y x-y ~x + [(2'-1) -y + 1l-2'~

donde el tenainc final, -2'" dacomo resultado la eliminacion del bit adiciona1 que surge en ellado Izquierdo de la respuesta,

Cerraremos esta secclcn con un Ultimo resulrado aeerca de los enteros compuestos. (Sste resultado 50 utilizara posreriormente en el program. en Pascal que 50 muestra en fa figura S.3.)

Si n E Z+ y a es compuesco, entonces existc un prime p tal que pin y p :s.J;. DemoJitracion: Como n es ccmpuesto, podemos escribir n. = nj~, donde 1< nl -c n. y 1 < nt -c n, Afirmamos que uno de los enteros nil Itz debe ser menor 0 igual que fn. En caso conrrario, tendriamos que nl > Fn Y "'2-> In dan Lugar a la eontrediccice n "" nl n2 > (In)(.Jn);;;; n. Sin perdide de generalidad, suponemos que nl:S~. Si. nl es prime, se sigue el resultado, Sin) no es prime, entcnces porellema4.1 existc un primop < tl.l tal que pin,. Asi,p In y p S../n.

IElER(:lClIOS 4.3 1. Verifique las partes restaetes del teorema 43.

2. Sean a, b. e. s c Z·. Demuestre que (a) ((a I b) 1\ (c 1 d)] => ac 1 bd; (b) alb => ac I be; y (e)

aclbe=>alb

3. Si p, q son primos, demuestre que pi q si y s610 si p = q.

4. Si a. h. c E Z'" Y a I be, gtmphca estc que ill boa I c?

5. Para cualesquiera entercs a..b y c, demuestre que si (l fbe, entonces afb y atc.

6. Sean E Z ", donde a e 2. Demuestre que si Ill. a2, ...• a~. bl' bz •...• h~ E z" ya,·1 bjparatodo 1 .s i :s n. entonces (aJ a~· .. aJ I (bl b, ... bJ.

7. a) Encuentre tres enreroe positivos e, h. c tales que 31 I (5a+7b+ 1Ie).

b) Si a, b, c E Z y 311 (Sa + 76 + lle). demuestre que 0) 311 (21a + 17b + 9c) Y (ti) 311 (60 + 27b + 7e).

8. Una tienda'de comestibles reeliza un concurso semanal para promover sus vemas. Cada c1iente que adquiera mas de .$20 en mercancfa recibe una taIjeta de juego con 12 mlmeros en ella; si cualquiera de estes numeros Silman exactamente. 500, entonces el cliente recibe un bono de compra de $500 (en la tieada de comestibles). Despues de comprar artfculos por $22.83 en Ia uenda.Leoncrreeibe su tarjeta de juego en taqueesran impresos los siguientes 12 ntimeros: 144. 336,30, &i, 138. 162, 318, 54, 84, 288.126 y4S6 .• Gana Lecnor un bono de $500 de compra?

9. Sean a, b E Z'.S; blay61(a+2),demues,requeb: l06:2.

10. 5i n E Z .. y n es impar, demuestre que 81 (nl_ 1).

11. Si a. b E Z' Y ambos son impares. demuestre que 21 (0' + b') perc que 4«0'+ b').

+0001

+1110

oj 1011

+0101

~

f) 0101 +0000

24

Capitulo 4 Prcpiedades de los enteros: lnduccion mate-netlea

12. Determine el cociente q y el restc r para cada unade los siguiectes cases, donde a es d

dividendo Y b ekdiviscc .

oj a ~23, b ~7 b)a; -115, b ~ 12

0) a~O, b~42 d) .~37, b~l

0) a =434, b ~31 f). ~ -641, b ~85

13. Si n E N, demuestre que 3 f(7~- 4-"),

14. Bscnba cada uno de los siguientes numeros (dados en base 10) en base 2, base 4 ''1 baseB,

a) 137 b) 6243 0) 12,345

15. Escriba cada uno de los siguienres enteros (dadcs en base 10) en base 2 y base 16,

a) 22 b) 527 0) 1234 d) 6923

16. Convierta cada uno de los siguieetes numeros hexadecimales a base 2 y a base 10.

a) A7 b) 4C2 0) lC2B d) A2DFE

17. -Convierta cada uno de Los: siguiemes mimeros binaries a base 10 y a. base 16.

a) 110011]0 b) 00110001 0) llllOOOO d) OIDIOLII

, 8. Escriba los siguieates ecteros en Ia representacion de complemento a des. En esre caso, los resultados scm patrones de echo bits.

a) 15 b) -15 ·0) 100

d) -65 0) 127 f) -128

19. Si una maqnina gu,,'{da los enreros mediante el m&odo de complementc a dos,l.cuaJessonl05 enreros maximo y tmnimo quepuede guarder :;1 utilize perrones de bits de (a) 4 bits? (b), 8 bits~ (c) 16 bits? (d)32 bits? (e) 2' bit>, n E i:?

20. En cada uno delos siguientes problemas estamos usandc los patrones de cuacc bits para Las represemaciones de complemento a des de los: enteros ~8 a 1,. Resuelva cada problema (de ser posib1e) y despues convierta los resultados a base 10 para verrticar sus respuestas. Tenga ClJi,. dado con Ios errores de desbordamiento.

a) 0101 b) 1101 0) 0111

d) 1101

+ 1010

21. Si a,;;;. y E Zya~ O,:demuestre quem:=(Jy~x:::y

22. Escriba unprograma (0 desarrolle un algontmo) para convertir uri enterc pcsitivo de base 10 a base b, donde 2 -s b -s 9.

23. £.1 algoritmc de Ia division se puedegeneralizarde.]a::miiIiera~iguiente: parae. bE Z Y bf- 0. existen q, r- E Z con a = .qb + r, 0 :s r -c I b [. Use el reorema 4.5 para verificar esta forma generalizada de] algoritmo para b < O.

24. Escriba un programa (0 desarrclle un algoritmo) para convertir un enteropositlvc de base lOa base 16.

25. Para 1.1: E ·Z ", escriba lUI prcgrama (0 desarrolle un algoritmo) que imprima todoa los divisores pcsitivos de II.

2,6. Defina el conjunto X,~ Z ... en formarecursiva, come sigue:

1) 3 EX;y

2) Sia, b e x.emonces a-r b EX,

Demuestre que X'= {3k I k: EZ+l. el conjunto de todcs.lcs enteros positives divisibles entre ·3.

27. Sean EZ"'C\ln n :;::r.t· EU+··· + ri.' lQ2+ rl'lO+ rfJ (la represemacion en base lade n).

Demuestre quetaj Z l.n,;y,6Io';Z I r,;(b)41 ",;ys610,i4 I (r,·IO+rol;y(o)S I ro 50i y s61Q si.8 I (ri,tQ2+.r\,10 + ,-,0).

Establezca un teoreme general s-~gerid(l pOI estes .. resultados.

4.4 EI maximo ccmun divisor: El

de Eudides

4.4

EI maximo cornun divisor:

EI de Euclides

Siguiendo con la opcrecion de division desarrollada en la seccion 4.3 analizaremos los -..

divisores de una pareja de enteros. .

Refirlici6n 4.2 Para e, b E Z~ un eutero positive c es un divisor comUn de a y b si c I aye I b.

Los divisores comunes de 42 y 70 sonI. 2.7 y 14~ 14 cs cl mayor de los divisores comunes,

Sean a, b E '4 dcnde a+-O 0 b :#. O. Bnrcnces c E Z'" es el maximo comtin divisor! de a, bsi

a) c l a. c I b (es decir; c es un divisor ccmrin de a,. b), y

b) para cualquier COIn6n divisor d de a y b. teeemos que die.

El resultado del ejemplo 429 satrsface estes condiciones. Sin embargo, este ejemplo trabaja con dos enteros pequefics. l.Que hariamos con dos enteros de 20 dfgttos eada uno? Ccnslderemos las siguientes pregumas:

1) Dados a. b E Z, donde at menos uno de cllos es distintn de 0, (,exisre siempre el maximo comtin divisor de a y b? Si existe. ic6mo podemos enconrrarlo?

2) l,Cuantos maximos comunes divisores puede tener un par de enteros?

TEOREMA4.6

AI trabajar COD estas preguntas, nos conceotramos en a, b E Z+.

Para cualcsquierac, bE Z+, cxisrc un rlnico c E Z'" que es el maximo com6n divisor de a. h. Demostraci6n: Dados c, bEZ+, seaS={as+ hils, t E Z,as+bt>O}. ComoS;{:0,por el principia del buen orden, S tiene un elemento minima c. Afirrnamos que c es el maximo comnn divisor de a. b.

Como c E S,. c ;;: ax + by, para algunos x, y E Z. En consecuencia, si d E Z Y d! a y d I b, entoeces por el teorema 4.3(1) d I (ax + by), per 10 que d I c.

Si cf ll, podemos usar el algoritma de la division para cscribir a = qc + r, COn q. r E Z ..

Y 0< r -c c. Entonces r~a-qc~a-q(ax+by) ~ (I-qxla +( -o». por 10 que rES, 10 que conrradice fa eleccicn de c como e1 elemenro minima de S. En consecuencia, c ! a, y per un argumento similar, c I h. .

AsI, cualesquiera e. bE Z-f- tienen un maximo connln divisor. Si CI. C-z sarisfacen las des condiciones de la definicion 4.3, entonces, con C1 como cl maximo comnn divisor y C2

t GTf.tJ.t~sr Cammon divj$or- !..goo). ED espafiol mod. (N_ del E.)

Capitulo 4 Propiedades de 105 enteros Induccion metemetica

como no divisor comdn, se sigue quec. i C:2- Si irrvertimos los papeles, vemos que". I Cl;Y, PO[ el teorema 4.3(b). tenemcs que Ct:: '1.1 ya que CI. Cz E Z-t-.

0<" <b O<r2<Tl O<r3<T.,_

Ahara sabemos que para cualesquiera a. b E Z.., el maximo comun di'lisor de a. b existe y es nnico. Denotamos este numero con mcd(a, b). Aqui mcd(a, b) = mcd(b, a); y para cuajquier a E Z, si a .. 0, entonces mcd(a, 0) = 1 a I. 'Iambien, cnando a, b E Z~, tenemos que mcd( - a, b) = mcd(a, -h) = mcd( -a, -b) = mcd(a, b). Finahnente, 0100(0, 0) no esta definidc y no es de interes para nosotros.

Del tecrema 4.6, vemos que medea, b) no s6I0 existe sino que medea, b) tambien es el entero positivo mas pequeiia que podemos escribir como UD3 combinacion lineai dea y b. Sin embargo, debemos daruos cuenta de que si e, b. c E Z+ Y c ==ax+ by para a:1gunosx, y E Z, emonces 1U) necesariamente debemos concluir que c sea medea. b); a menos que tambien sepamos de alguns manera que c es el entero positive mas pequeao que puede ser escritc como una combinacion lineal de a y h.

Los enreros a y b sea primos relatives si mc.d(a, b) == 1; es decir, cuandc existe z, y E Z conaz+by= I.

Como mOO(42, 70) = 14, podemos encontrar X,)' E Z tales que 421: + 'lOy = 140 3x + Sy= 1. Porinspecci6n,x=2,y=-1 esunasoluci6n; 3(2) + S( -1)= I. Pero parak E Z, 1 = 3(2-5k) + 5( -1 + 3k), entonces 14=42(2-5k) + 70( -1 + 3k) y lassolucionesparax, ynoson nnicas.

En general, si mcd(a, b)=d, entonces mcd(C"'d\(bld) = l. (iVerifiqueesto!) Si ("'dJ><+ (bld)y,= I, entonces 1 = ("'<f)(x,- (bld)k) + {bfd)(y,+ (a/d)k), para cualquier k E Z. Asi, if", a(x, - (b1d)k) + b(yo+ (a/d)k), 10 que produce un mimero infinito de soluciones para la ecuacidn ax + by = d.

EI ejemplo y las observaciones anteriores funeionan bastactc bien sl a. b son pequefios. (.Pero como se puede encontrar med(a, b) para a, b EZ+ arbitrarios? Si a I b, entonces medea, b) =cz, y si b I a, entonces medea. b)= b; en los demas cases, recurrimns al siguiente resultedo, que debemos a Euclides.

AIgoritnw de Euclides, Si a, b E Z ", aplicamos el algoritmo de la division como sigue:

;OREMA4.7

.a:=qj_b +rh b =q2TI +T2, "1 = Q3T:z + T3.

0< ri+l< T';+l

'.

'k-l- = q_~1 ".t-:z + ".(--10 Tl-l = ql.:Tl-l + TJo '1:_1 = qt+l r".

Entonces, rt. el Ultimo restc distinto de cer-o, es igual a medea, b}.

0< Tk_1 < 'k.-2 O<Ti<rl_1

4.4 EI maximo cornun divisor: EI algoritmo de Eudides

227

Demortraci6n: Para venticsr q.ue TJ:;;;; mcd{a, b), csrablecemcs las des condiciones de la definicion 4.3.

Comenzaremos con el primer prcceso de division enumerado arriba. Si c III Y C I b. entoncescomoa=q,b+r"sesiguequeclr,. Despnes, {(clb)" (clr,)]=> clr" ya que b "" q2rl + 7'l. Continuando hacia abajo par los procesos de division, Jlegarnos hasta donde c I Tt_2 Y C I 7'1:_1· Por la pemiltima ecuacicn, ccncluimos que e I TI;. 10 que verifica Ia condicion (b) en la definicion 4.3.

Pera esrablecer la condieion Ia), seguirnos un orden Inverse. De la tiltima ecuacion, r, 1 rt~lporlo que TJ; I Ti;_!y yaque Tt._2.= qJ:.rt._l + rk- Continuando hacia arriba poT las ecuaciones, Ilegarncs basta donde r,l r, y r,l r" per lo.que r,l r,. Entonces {(r, I r,J " (r,1 r,)] => r,l b y finahnente [(r, I r,) " (r, I b)] => r, la. De aqu; que r,= medea, b).

Hemos usado ahora Ia palabra algoritmo para describir las proposiciooes establecides en los teoremas 4.5 y 4.7. Este termino aparecera COn frecuencia en los demas capftulos de cste texto, por 10 que serra buena idea mencionar 10 que denote,

En primer Iugar, un algorumo es una Iista de msrrucciones precisas discnadas para resolver un tipo de problema particular. no solamenre un caw especial. En general, esperamus que todos nuestros algorirmos reciban una entrada y nos proporcionen cl resultadc (0 resultados) necesario como salida. De igual modo, un aigoritmo debe proporcionar el mismo resultedc s! repetimos eJ valor (0 valores) para la entrada. Esto sucedc cuando Ia Iiata de instruccioues es tal que cada resultado inrermedio provenlente de la ejecucion de cada insrrucci6n es unico y 00]0 depende de Ia entrada (inicial} y de cuatquicr resultado que se pudiera haber obtenido en cuajquiera de ias intruccinnes precedentes. Para Jograr estc hay que eliminar toda vaguedad del algoritmo; las .instrucciones deben describirse de forma simple, pero no ambigua, de modo que pueda ser ejec.utada per una maquina, Por Ultimo, nuestro algoritmo no puede continuar por siempre. Debe terminer despues de la ejecuci6n de un mimerojiniw de Instrucciones.

En eI teorema 4.7 determinamos eI maximo ccrmln divisor de dos enteros positives cualesqulera. POI]O tanto, este algoritmo recibe los des enteros positives a. b como entrada y genera su maximo comun divisor como salida.

EI usa de la palabra algoritmo en el teorema 4.5 se basa en 1a tradici6n. Tal como esta establecido, no prcporciona las intrucciones precisas para determinar la salida deseada, (Mencionamoseste heche antes del ejemplu 4.23.) Para eliminar esta desvenrsja del teorerna 4.5, indicaremos las instruccioues en cl programs en Pascal de la Iigura 4.8.

Ahora aplicaremos e1 algoritmo de Buclides (Teorema 4.7) en los siguientes cinco ejemplos.

Determinaremos el maximo comun divisor de 250 y 11 I. Y expresaremos el resultado como una combinacion lineal de estes enteros.

250= 2(111) + 28, 111 = 3(28) + 27, 28 = 1(27) + 1, 27=27(1) +0.

0<28<111 0<27<28 0< 1<27

8n +3 = I(Sn +2) + (3n + 1), Sn +2 = 1(3n + 1) + (2n + 1), 3n + 1 = 1(2n + 1) + n,

2n + 1 =2(';)+ 1,

n =n(l) +0.

0<311+1<511+2 0<2n+l<311+1 O<1I<2n.+l 0<1<11

Ce pft~o 4 Prcpiec ad es de los cntcrcs: I ndu eden maternatice

A.I, I es .1 Ultimo r es to 'distinto de cero. Parla tanto, mcd(2S0, Ill) = 1, Y asf ~ 1 111 son primos relatives. Si trabajamos hacia atras en Iatercera ecuacion. tendremos 1 = 28 -l{2]) = 28 - 1[111- 3(28)] = (-1)(111) + 4(28) = (-1)(111) + 4[250 -2(1lt)1 = 4(250) - 9(1ll) = 250(4) + 111( - 9), una combinaci6n lineal de 250 y 111.

Bste expresidn de 1. como combinacidn lineal de 250 'J 111 no es dnice, yaque' 1 = 250[4-lllk) + 111[ -9 + 250k), para cualquier k E Z.

Tamhien tenemos que mcd(- 250, 111) = mcd(250, -Ill) = mcd(- 250, -111.) = mcd(250, Ill) = I.

Nuestro siguiente ejemplo es un poco mas general. ya q,ue se trata del maximo COID'Ein divisor de un numero infinite de perejas de enteros.

Para cualquier n E Z\ demostraremos que los enteros positives 8n + 3 Y 5n + 2. SOD primos relatives.

Aquf tenemos que 8n + 3 > 5n + 2, y como en el ejemplo anterior. pcdemosescribir.le siguiente:

Por 10 tanto, el ultimo resto distinto de cern es I, pm 10 que mcd(8n + 3, 511, T 2);;;;: 1. Pero tamhien podrfamos heber llegado a. esta conclusion si observamos que

(8n + 3)(-5) + (5n + 2)(8) = -15 + 16= 1.

y como 1 esta expresedo como una combinecicn lineal de 811. + 3 y 5n + 2, y ningdn otro numero positive mas pe.quenn puede tener esta propiedad, se sigue qu.e el maximo comen divisor de 8n + 3 'J 5n + 2. es I, para cualquier entero positive n.

Una vez derermlnado el maximo conran divisor de] ejempln 4.31, usaremos ahara el algcrinno de Euclidcs para cscribtr un programs que determlnara medea. b) para a, b E Z· . .L. salida de este program. so muestra mediante 1. evaluacion de mcd(456, 624) y mcd(!l6,641).

E! program. en Pascal de I. figura 4.9 utili za I. nperacinn binaria Mod; parax, y E. Z', .r Mod Y es el resto despuca de dividir .e entre y, Por ejemplo, 7 Mod 3 es I y 18 Mod 5 eo 3. (En el capitulo 14 uabajarcmos COD mas detalle "Ia aritmetica de los resrosv.)

'.

Program EuclideanAlgorithm. l Lnpu't , output); Var

a,b.c,d.r: integer;

Begin

'Iri teln (1 Qusremos determinar el maximo connin. I); 'ill'ri teln (I divisor de doe encexca positivos a. b. '1; Write ('a-');

Read (a);

Write (lb=');

Read (bl;

r := a Mod b; d r= b;

While r > 0 do Begin

c := d: d t = r;

r:=cModd

End;

Writeln ('Elll'lii.x:imo comnn divisor de" .a:O.' y'); Write (b:O. I 1$ '.d:O)

End.

Queremos determinar el. maximo cormin divisor de dos encezos pos+t tvcs a. b. a - 456

b - 624

E1 maximo comUn divisor de 456 y 624 is 24

Queremos determinar el :maximo ccman divisor de des eoteros positivos a, 'b. a - 116

b - 641

£1 maximo comun divisor de 116 y 641 is 1

Figura 4.9

Jorge tiene dos recipientes no marcados. Un recipients contiene 11 onzes y el otrc 55 onzas. EXplique c6mo puede usar Jorge los des recipientes para medir exactamente una onza,

Por eI algoricmo de Euclides tenemos que

55 = 3(17) + 4, 17 = 4(4) + 1"

0<4<17 0<1<4.

Porlo tanto, 1= 17 -4(4)= 17 -4[55-3(17)] = 13(17)-4(55). Porlo tanto, Jorge debe Ileaar el recipients pequerto (de. 17 onzas) 13 voces y vaciar el contenidc (las primeras doce vecee) en el recipiente mayor. (Jorge vacfa el recipierne mayor cede vez que {".Scii'!

a) (k~18): .r~14, y~2 c) (k = 20): .r = 4, Y = 8

b) (k=19): .r=9, y=5

230

Capitulo 4 Propiedades de los entercs: Inducci6n matematice

Ileeo.) Antes de llenar el recipiente pequefic 1. 13'. vez, Jorge tiene 12(17) - 3(55) ; 204 - 165 = 39 onzas de agua.en e1 recipieare mayor (de 55 onzas), Despues deIleuar ,I recipiente pequeno por 13'. vez, el vaciara 16(= 55 - 39) de este recipiente, y llenara,i1 recipiente grande. Quedani exactamente una onza en el recipiente pequego.

AJ ayudar a los esradiantes en sus cursos de programacion, Juan observe que en promedio 11

puede ayudar a un estudiante a depurar un programa en Pascal en 6 minutos, pero tarda 10 minutes en depurar un programa escrito en APL. Si trabaj6 en forma continua durante

104 minutes y no desperrlici6 tiempo, (.cuantos programas depur6 en cada lengueje?

En este caso buscamos enteros X. Y ;,: 0 tales que 6x + lOy = 104, a 3x + 5y = 52. Corne mcd(3, 5) = 1, podemcs escribir I = 3(2) + 5( - I), por 10 que 52 = 3(104) + 5( - 52) = 3(104- 5k) + 5( -52 +3k), k E Z. Par. obrener 0 ,,; x= J04-5k yO,,; y=-52 + 3k, debemos rener (5213) :;; k s: (104/5). Asf, k = 18, 19,20 Y cxisten Ire, posibles solucicnes:

La ecuacicn del ejemplo 4.35 es un ejemplo de una ecaacidn diof6ntica: una ecuacicn linea] que requiere sofuciones enteras. Este tipo de ecuacion fue estudiada per primera Vel por el algebrista griego Dicfanto, que vivio en e] siglo m D.C.

Una vez resuelta UDa de estas ecuaciones, veamcs ahora ai podemos determinar cuaado tiene solucion una ecuacion diofantica, La demostr.aci6n se deja al lector.

'EOREMA 4.8

Si a, b. c E Z ", Ia ecuecion diofantica ax + by = c tiene una sclucien enterax-, Xno Y ~ Yo si y ,610 si medea, b) divide a c.

Cerramos esta secci6n con un concepto relacionedo con el maximo COIDu.n divisor.

lefinici6n 4.4

Si a, b, c E Z ", c es un mu.ltiplo cQmUn de a. b S1 c es un mriltipio de a y de b. Ademas c es e1 minima comUn mtiuiplo de- a, b si es el mas pequehn de los eeteros positives que son mUltiplos comunes de a, h. Denotamos c con mcm(a, b).

a) Como 12 = 3 . 4 Y ningnn otto entero posidvo mfnimo es un mutnpto de 3 y 4,' tenemos que mcm(3, 4) = 12 = mcm(4, 3). Sin embargo, mcm(3, 2) '" 12, ya que aunque 12 es un multiple de 3 y 2. existe un multiple mas pequeao, a saber; 6. Y como ningun otro rmllfiplo comcn de 3 y 2 es menor que 6. se sigue que mcm (3,2)" 6.

4,4 EJ

de, Eudides

231

b) Para cualquier n E Z., tenemos que mem(l, n) ~ mcm(n, I) ~ "-

c) Si a. n E Z+, tenemos que mcm(a. 00) -= 00. [Esta proposici6n es una generalizeci6n de I. parte (b). La propcsicion anterior se sigue de esta cuando a ~ I.]

d) Si a, m, n E Z+ con m S n, entonces mcrn(a'", a") ~ a". (Y mcd(a'", a") ~ a'".]

Sean a, b, c E Z· can c = mcm(a, b). Si d es un multiple comue de a y b, eatonces c I d. Demostraci6n: En caw contrario, usamos eJ algoritmo de Ia division para escribir d = qc + r, donde 0< r c c. Comoc= mcm(a, b). se sigue que c :; mo.para algnn m E Z+.AdemAs, d;;;;; naparaalgu.nn E Z+. ya que-des un multiple de a. En consecueecia, na=qma+r~ (n ~ qm)a = r > 0, y res un multiple de Q. De forma analoga, se puede Vel que res un multiple de b. per 10 que r es un mdltiplo comun de G~ b. Pew como a < r < c, comradectmos 1a afirmaci6n de que -c es cl minimo comuu mUltiplo. Per 10 tanto, c I d.

E1 ultimo resu1tado de esta secci6n une los conceptos de maximo cormin divisor y el mInimo comdn tmiltiplo. Ademas, nos proporciona una forma de calcular mcm(a, b) para cualquier a. b E Z+. La demostraci6n de este resultado se deja al lector.

Para a, b E Z·, '* = mcmtc, b) . mcd(a; b).

Por el teorema 4.10 teaemos 10 siguiente:

a) En el ejemplo 4.31 v1mOS que mcd(250, Ill) ~ 1. En consecceecia, mcm(250, III) = (250XIII) = 27,750.

b) El ejemplo de la parte- (a) es un case particular de un resultado mas general: para cualesquiera a,1 b E Z+~ st a, b son primos relatives, entonces mcm(a,. b) =ab,

c) EI primer calculo (despues del programs) de la figura 4.9 establece el heche de que mcd(456, 624) = 24. Como resultado teneroos que

mcm(456,624) = (456)(624)/24 = 11,856.

4.4 1. Para cada uno de 10.5 peres siguientes a, b E Z-I-, determine medea, b) y expreselo como una

combinacidn lineal de a, b.

oj 231,1820 oj 2689,4001

bl 1369,25'J7 d) 7982, 7983

2. Para a. b E Z" Y s, 1 E Z, lqu~ pcdemos decir de mcd(a,b) S1

oj as+br=2? b) as+br=3?

e) .:li+br=4? if) as+bt=6?

3. Para c, b E Z' Y d ~ medea, b), demuestre que mcd{a1d, bid) = 1.

4. Para a. b E: Z ", demuestre quemcd,(na.nb) = n medea, b).

Capitulo 4 Propiededes de los enteros: lnduccion maternatica

s • Para a. b, c E Z .. , demuestre que si d = a + be, enronces mcd(b. d} = mcd.(a, b).

6. Seana, b, c E Z"con mcd(a, b) = 1. Si al c y b [c, demuesrre queab] c. l.VaIeeste resultadosi mcd(a, b),.c 11

7. Sean a, b E Z. dnnde al mencs uno de ellos es disrinto de cere.

a) Utilice cuantificadores para restahlecer la definicion de c = mcd(a, b), donde c E Z·.

b) Use el resultado de la parte (a) para decidir cuando c~ mcd(a. b) para algun c E Z+_

8. Si a. b son primos relatives y a > b, denmestre que mcd(a - b. a + b) = 1.0 2.

9. Sean a. b. c E Z· con mcd(a. b) = 1. Si a I be. demuestre que a I c.

10. Sean a, b E Z· oon a par 'I b impar. Demuestre que mcd(a, b) = mcd(af2, b). 1·1. Sean a, b E Z· donde a. ~ h. Demuestre que mcd(a,. b)::: mcd(a- h. b).

12. Seane, b, c, denreros positives fijcs. Si{ad-~) I·ll y(ad- be) !c,delJ:mestre que mcd(Wi +h, en + d)=l para. cualquier 1'1. E .Z ",

13. Demuestre que para c:ualquier n E Z-+, mcd(5n + 3~ 7n + 4) = 1.

14. Una ejecutiva cornpra $249.00 de juguetea pam los niiios de sus empleados. Para carla niiia, compra una mufieca de $3.30; cada nino recibe un conjunto de soldados que cuesten $2.90. l.Cuiffitos juguetes de cada tipo comprc?

15. Determine los val ores de c E Z ... , 10 < c < 20. para los que Ia ecuacion diofantica 84.x + 99Oy;c no neue solucion Determine las scluciones para los valores restenres de c.

16 . a) Determine los enteros 1v,.J:, y E Z que satisfagan el siguiente sistema de ecuaciones diofanticas:

w+x+y=50

w + lli +31y -116

b) iExisie una soluci6n en la pane (a) tal que ~ x. y > O?

e:) iExiste una solucion en Ia parte (a) tal que w > 10. x > 28 y y > - 15?

17. Verifique el reorema 4.8.

18. Verifique e1 teorema 4.10.

19. Si a. b E Z~ con a ; 630, mcd{a,. b) = 105 y mcrmc, b)=242,550, i,cuaI es el valor de b? 20_ Para cada pareja a,. b del ejercicic 1, determine mcm(a, b).

21. Para cualquier n E Z~, lcuanto valen mcd.{n, n + i) Y mcm(n. 1'1 + I)?

22. Demuestre que rncm(na. nb) = n mcm(a. b) para n; a, bE Z ".

4.5

EI teorema fundamental de la aritrnetica

En esta seccidn exteederemos eJ lema 4.1 y mostraremos que para cualquier n E Z". n > I, a.es prime 0 tl. puede escriblrse como producto de primos, doode la representaciou ·como producto de primos es tinica, exceptc per el orden de los Iacrores. Este resultedo, conocido como el Ieorema fundamental de La arumetica, puede enccntrarse en una forma equivaIcnte en eI lfbrc IX de los Elementos de Euclides.

Los siguientes doe lemas nos ayudaran a lograr nuestro objetivo.

'.

:MA.4.2

Si a, b E Z+y pes un primo, enroncesplGb => pi a 0 p lb.

Demo·stT"aci6n: Si pia, entonces hemos terminedo. Si no. como pes prime, se sigce que

233

.mcd.(p'. a) ;;: 1 y. por 10 tanto; existen enteros x, y ron px + ay ;;;; 1. Bmonces b "" p(bx) + (ab)y, donde pip Y p lab. As], se signe de las panes (d) y (e) del teorema 43 que p 1 b.

4.3 Sea a{ E Z+ para todo 1 s i :-:;:; n. Si p es primo y p I DIal' .. all' entonces p I a, para elgun 1 ~i Sn.

Demostraci6n:.Dejamos la demostraci6n de este resultadc allector.

Con el lema 4.2. renemos on oportunidad para establecer un resultado mediante el metoda de la demostraci6n por ccntradiccion.

Queremos mostrar que -Ii es irracional.

En caso ccenaric, podemos escribir,J1 = alb, dcnde c, b E Z'y mcd(a, b) = I. Entcnces,J1 = alb => 2 = a'lb'=> 2b'= a'=> 21 a'=> 21 a. (,Por que") Ademas, 21 a => a = 2c para algjin c E Z', per loque 2b'= a'= (2c)'= 40' y 17' =2&. Pew entonces 21 b' => 21 b. Como 2 divide a a y a b •. esto implica que mcd(a, b) ~ 2, pero esro contradice nuestra hip6tesis anterior en el serttido de que medea, b);;;: L [Nora: esta demostraci6n de la irracionalidad de,f'i era conocida por Aristotetes (384 -322 A.C.}y es similar a la dada en el libra X de los Elementos de Euclides.]

Antes de pasar al eesultado principal de esta secci6n, observemos que el enrero-z del ejemplc anterior DO ticne un papel especial. Pediremos al lector que, en la seccion de ejercicios, demuestre el heche de qlle.,fP es irracional para cada prime p, Ahora que hemos mencionado este heche, es hera de presentar el tecrema fundamental de la aritmetica

Teorema 4.11

Cada entero n > 1 puede escribbse como un prodocrc de primos de forma rlnica, exceprc por el orden de esros. (En este case, un solo pnmo se considera un producto de un factor.) Demostraci6n: La demostracloo consra de dos partes: Ia primera demuestra la existencia, de una factorizaci6n con primos y 1a segunda se refiere a la unicidad.

Si la primera parte no fuera verdadera, sea m > 1 el entero mas pequelic que no puede expresarse como un producto de primos. Como m no es prime, podemos escnblr m "" mltnz. donde 1< m. < m,. 1 < mz< m. Pero entonces mh m,_ pueden escribirse como produclOS de primos. ya que son meeores quem. En consecuencia, usamos la represenracidn m;;; ml~ para obtener una factortzacion de m con primos.

Para estableccr la unicidad de una factorizaci6n como productc de primos, useremos 13. forma alrernarlva de Ia Induccron matematica (Teorema4.2). Parae] enterc 2, tenemns una unica factorizaci6n como producto de primos y. suponiendo vcrdadera la unicidad de Ia representacion para 3, 4, 5 •...• n -1, suponemos que n = p~1 p;: _ .. p:~ = q:' qi ... q~', donde cadap, 1 ,S i ~ ky cadaqi) 1 .sj s r. es un prime. Tambien supcnemcs quepl <fJJ:< . ... <PtY ql<q~<·· -<q~y 5,>0 para 1 :s;; i:S k,_;> 0 para 1 Sj Sr.

Como PI [fly renemcs que PI I q:' .q;; _. - q;' . Por ellema 4.3, PI I 'h para algUn 1 S j :S T_ Como Pl y qj son primos, tenemos que PI = q;- De heche. j = 1, ya que de 10 comrario, q. I n => qL'= Pt para:algiin 1< e Sky P.<p~:= q1< %"" Pl· Usamos p;» 9H para vet que n. =

34

....,

Capitulo 4 Prcpiedades de 105 entercs: Inducci6n matematica

.. '

n(pa. "'" p~-I pi ... p.;~ = q~,-l qi ..... q~ + Como nl'< n, se sigue de la hipctesis de jnduo::i6n que k "" r.pj;:;;;;:o. qi para 1 -s i 5 k, sl-l = tj- 'I (pot 10 que 5.= r1) Y S;= t, para 2 '~: is k. Obtenemos de, aquf que Ia factorizacicn como prcducto de primos de n es tinica,

Usaremos ahora este rcsultado en los siguientes cinco ejemplcs.

Para el entero 980,220, podcmos determiner la factorizacidn COmO producto de primes como siguec

980,220 = 2'(490,110) = 2'(245.055) =2' 3'(81;685) = 2'3' 5'(16.337) = 2'3'5'17'(961) = 2'·3·5'·17·31'

Sea n E Z+ y supongamos que

(0) 10.9 ·8·7 ·6· 5 + 3 ·2·" =21·21)·19,1&,17,16· 15 ,14,

Como l1"e:s un factor prime del entero que esta en e] lade derecho de (*)~ ram1:liell. debe ser nn factor del lado izquierdc (POt la parte de unicidad del teorema fundamental de [a antmetical. Peso 1700 divide a. ningunc de los facrcres 10.9.8 •... ,3,02, par to que 17 l n, (Un ~men[o similar muestra que 191 sr.)

Para n E Z+, 'queremcs contar eJ mlmero de divisores positives de n. Por ejemplo, el ndmerc 2 tiene des divisores positives: 1 y el mismo. De la misma forma, 1. y 3 SOD. 105 tlnicus divisores positives-de 1. En el caso de 4, tenemcs tres divisores positives: 1, 2.Y 4.

Para deterrrunar.el resultado en el case de cualquier n E Z ", n > 1. usamos el tecrema 4.11 y escribimos n = P~' p;' ... p~', donde para cede 1 ~ i·~ k, Pi es un primo Y E;> O. Si min. enronces m = p{' .p.{~ .. , pf donde 0 ::; J, S e. para todo 1 :S i ~ k. Asf por la re:g1a del producto, el mimerc de divisores positives de n es

(e +1)(0,+ 1)·" «.+1).

Por ejemplo, como 29,338,848,000 = 2' 3' 5'7' it, vemos que 29,338,&48,000 tieee (8 + 1)(5 + 1)(3 + 1)(3 + 1)(1 + 1)= (9J(6)(4)(4)(2) = 1728 divisores positives.

Si queremos saber cuantos de estes 1728 divisores son multiples de 360 = 233<: 5, eetonces debemos darnos cuecta de que queremos contar los enteros de lafurma 21, 3" st, 7'· 11'~ donde

y

En consecuencie, el numcro de diviscrcs positives de 29,338,848,OClO que son divisibles entre 360 es

[(8 - 3) + 1][(5 - 2) + 11(3 -1) + 11(3 - 0)+ 1][(1- 0) + 1] = (6)(4)(3)(4)(2) = 576 .' Para determiner cusmos de.los 1728 divisorespositivos de 29,338,848,000 son cuadrados perfectos. necesitamos considerar todos los divisores de la forma 2'" 3 .... 5~ 7s• l I'', donde cada s., 5'2' S:J, S4, s~ es un emero par no negative. En ccnsecuencia, tenemos en este caso