Professional Documents
Culture Documents
Bratley Brassard - Fundamentas of AlgorithmicsES
Bratley Brassard - Fundamentas of AlgorithmicsES
q dependiendo del signo de a,/b,. Proposicién 1.7.6. Si lim (f (n) + 1)/f(n))= a, -1 1, entonces f(n) tiende a infinito. Esta proposicién se puede utilizar para determinar el comportamiento cuando n tiende a infinito de f(n) = n’ x", donde r es cualquier entero positivo. Si x = 0 entonces f(n) = 0 para todos lgs valores de n. En caso contrario38 Preliminares Capitulo 1 “hos OP) tiende a x cuando 7 tiende a infinito. (Utilicense las proposiciones anteriores). Por tanto si-11 entonces f(n) tiende a infinito. Si x = 1 entonces f(n) = n’, lo cual tiende claramente a infinito. Por ulti- mo es facil ver que si x <—1 entonces f(n) presenta una oscilaci6n infinita. El pro- blema 1.35 muestra que el comportamiento de 17 x" es el mismo, salvo que f(1) tiende a 0 cuando x= 10x=-1. La regla de I'Hépital se puede utilizar en algunas ocasiones cuando resulta impo- sible aplicar la proposicién 1.7.5, Una forma sencilla de esta regla es la siguiente: Proposicién 1.7.7. (De ! Hopital) Supéngase que lim f(n) = im g(x) =9, o alternativamente que estos dos limites son infinitos. Supdngase ademds que los do- minios de f y g se pueden extender hasta alguin intervalo real [ng, +-2) de tal forma que las nuevas funciones correspondientes f y ¢ son diferenciables en este intervalo, xy ademds que ¢” (x), la derivada de 3 (x), nunca es cero para x © [ng, + ©), entonces lim fn) / g(0) =m f°@)/$°@) Como ejemplo sencillo, supongamos que f(n) = log n y g(n) = n't, en donde a > 0 es una constante positiva arbitraria. Ahora bien, tanto f(n) como g(n) tienden a infinito cuando n tiende a infinito, asi que no se puede utilizar la proposicién 1.75. Sin embargo, si extendemos f(z) a f (x) = log x y g(n) a (x) = x*, entonces la regla de l’H6pital nos permite concluir que limlogn/n* = Timn(1/x) /(ax*") = lim 1/(ax*) =0 sea cual fuere el valor positivo de a. Por ultimo, la proposicién siguiente es util en algunas ocasiones aunque es muy sencilla de demostrar. Proposicién 1.7.8. Si las dos funciones f (n) y g (nt) tienden a los limites a y b res- pectivamente cuando n tiende a infinito, y si f (n) < g (n) para todo n suficiente- mente grande, entonces a $b.Secci6n 1.7 Recordatorios 39 1.7.2 Series sencillas Supongamos que u(1) es cualquier funcién de n definida para todos los valores de n. Si sumamos los valores de u(i) para i = 1,2, ..., 2, se obtiene otra funcidn de 7, a saber: s(t) =u (1) +u(2)+...4 un) Suele ser conveniente cambiar un poco la notacion, y escribir esta ecuacién en la forma 8,5 U, tt... +H o bien simplemente x que leeremos como «la suma de u, cuando i va desde 1 hasta 7 ». Ahora sis, tien- de a un Ifmite s cuando n tiende a infinito, se tiene que lo cual se suele escribir como o bien como =u, ++... en donde los puntos suspensivos denotan que la serie continiia de forma inde- finida. En este caso diremos que la serie es convergente, y lamaremos a s la suma de la serie. Si por otra parte s, no tiende a un limite, sino que s, tiende a +> 0 a —, en- tonces diremos que la serie diverge, a +eo 0 quizd a —~. Finalmente, si s, no tien- dea un limite, ni a +o ni a—ce, entonces diremos que la serie oscila (de forma fi- nita o quiza infinita). Es evidente que una serie que no tenga términos negativos debe de converger, o bien diverger, a + : no podré oscilar. Dos clases de series especialmente sencillas son las series aritméticas y las se- ries geométricas. En una serie aritmética la diferencia entre términos sucesivos es40 Preliminares Capftulo 1 constante, asi que se pueden representar los n primeros términos de la serie en la forma @atdar2d,.,a+(a-Dd en donde a, el primer término, y d, la diferencia entre términos sucesivos, son constantes adecuadas. En una serie geométrica, la raz6n de términos sucesivos es constante, de tal forma que aquf los n primeros términos de la serie se pue- den representar en la forma @, ar, ar, ..., art} Las proposiciones siguientes dan la suma de estas series. Proposici6n 1.7.9. (Serie aritmética) Sea s, la suma de los n primeros términos de Ia serie aritmética a,a + d,a+2d,...Entonces s,=an +n (n—-1) d/2 La serie diverge a no ser que a = d = 0, en cuyo caso s, = 0 para todo n. La pro- posicién se demuestra facilmente. En primer lugar se escribe la suma en la forma 8,= a+ (atd)+... + (a +n —-2Dd) + (a + (nd) y después se escribe de nuevo en la forma S,= (a+ (n-2)d) + @+(n-2)d)+..+@+d+a Al sumar los términos correspondientes de estas dos ecuaciones, se obtiene 2s, = (2a + (n - 1)d) + (2a + Gr -1)d) +... + (2a + (n - 1)d) + 2a + (2 - 1d) en donde hay 2 términos iguales en el lado derecho. El resultado se sigue inme- diatamente. Proposici6n 1.7.10. (Serie geométrica) Sea s, la suma de los n primeros térmi- nos de la serie geométrica a, ar, ar’, ... Entonces s,= a (1 —r*) / (1 — 7), salvo en el caso especial en el cual r = 1, en donde s,= an Para ver esto, se escribe a(ltrere.. ert)Secci6n 1.7 Recordatorios 41 de tal manera que r,sa(rtretrt+ ier) Al restar la segunda ecuacién de la primera, se obtiene inmediatamente (l-r)s,=a(1-7r") En el caso general (esto es, cuando r # 1) la suma s, de una serie geométrica tien- de a un limite si y sélo si r" también lo hace. Esto nos da la proposicién siguiente. Proposicién 1.7.11. (Serie geométrica infinita) La serie geométrica infinita a + ar + ar? + .... es convergente y tiene como suma a | (1-1) si y sélo si-1 + 3r' +... (4-1) 7" Restando la segunda ecuacién de la primera, se obtiene Q-ns,=rtrPtrt..tr—-(n-1r" ar(trtr+..+ 9) nr" =[rd-1)/(1-n]-nr" en virtud de la proposicién 1. 7. 10. Por tanto: _rd-r)" __nr" = 2 _ pm a S,=1+ 29? +...4(n-Tr' (=n? -d=n E] lado derecho tiende a un limite cuando n tiende a infinito si-< r < 1 (utili- zando la proposicién 1.7.6), lo cual nos da el resultado siguiente. Proposicién 1.7.12. La serie infinita r + 2r? + 37? + ... converge cuando-1 0. Proposicién 1.7.13. Para cualquier entero k 2 0 tenemos San we Gthan (ntl)... A+k+D /(k+2) = Esta proposicién se demuestra facilmente por induccién matematica sobre n. Obsérvese que no es necesario utilizar induccién sobre k, que no pasa de ser un parémetro en la formula. Utilizando la proposicién 1.7.13 es facil obtener las sumas de las distintas se- ties de interés. 1 Proposici6n 1.7.14. Yi=n(n+1) /2 iat Este resultado es simplemente la proposicién 1.7.13 con k = 0. Proposici6n 1.7.15.) =n (n+1) (2n+1) /6 = Para demostrar esto, tomemos dX? = Ye G+y-a ‘a = =dia+-Yi fl jel =n(n+1) (n+2) /3-n (ntl) /2 =n(n+1)(2n+1) /6 en donde hemos utilizado la proposicién 1.7.13 dos veces para evaluar las dos sumas.Secci6n 1.7 Recordatorios 43 Una linea similar de ataque se podria utilizar para evaluar cualquier otra se- rie de este tipo. De hecho, tal como le mostramos a continuacién, resulta senci- Ilo probar la siguiente proposicién general. Proposicién 1.7.16. Sea r cualquier entero positivo. Entonces =n!" / (r+ D+p,(n) it en donde p, (1) es un polinomio de grado no mayor que r El esbozo de la demostracién es como sigue: =YiGey.. G+r-D+ Vp @ tL a =n(a+l)... (ntr)/(r+1)+ pa) =n!" / (r+1)+p"(n) en donde p(i) es un polinomio de grado no mayor que r— 1, y p(n) y p“(n) son polinomios de grado no mayor que 7. Dejaremos al lector rellenar los detalles del argumento. Finalmente consideraremos de manera breve las series de la forma 1”, 2”,... donde r es un entero positivo. Cuando r = 1 obtenemos la serie 1, 1/2, 1/3, que se conoce con el nombre de serie arménica. Es facil mostrar que esta serie verge. La proposicién siguiente nos proporciona una mejor idea de su compor- tamiento. n ist suma de los n primeros términos (n+1) You might also like
Her Body and Other Parties: StoriesFrom EverandHer Body and Other Parties: StoriesRating: 4 out of 5 stars4/5 (822) The Sympathizer: A Novel (Pulitzer Prize for Fiction)From EverandThe Sympathizer: A Novel (Pulitzer Prize for Fiction)Rating: 4.5 out of 5 stars4.5/5 (122) The World Is Flat 3.0: A Brief History of the Twenty-first CenturyFrom EverandThe World Is Flat 3.0: A Brief History of the Twenty-first CenturyRating: 3.5 out of 5 stars3.5/5 (2259) A Heartbreaking Work Of Staggering Genius: A Memoir Based on a True StoryFrom EverandA Heartbreaking Work Of Staggering Genius: A Memoir Based on a True StoryRating: 3.5 out of 5 stars3.5/5 (231) Team of Rivals: The Political Genius of Abraham LincolnFrom EverandTeam of Rivals: The Political Genius of Abraham LincolnRating: 4.5 out of 5 stars4.5/5 (234) The Yellow House: A Memoir (2019 National Book Award Winner)From EverandThe Yellow House: A Memoir (2019 National Book Award Winner)Rating: 4 out of 5 stars4/5 (98) The Unwinding: An Inner History of the New AmericaFrom EverandThe Unwinding: An Inner History of the New AmericaRating: 4 out of 5 stars4/5 (45) On Fire: The (Burning) Case for a Green New DealFrom EverandOn Fire: The (Burning) Case for a Green New DealRating: 4 out of 5 stars4/5 (74) The Emperor of All Maladies: A Biography of CancerFrom EverandThe Emperor of All Maladies: A Biography of CancerRating: 4.5 out of 5 stars4.5/5 (271) Devil in the Grove: Thurgood Marshall, the Groveland Boys, and the Dawn of a New AmericaFrom EverandDevil in the Grove: Thurgood Marshall, the Groveland Boys, and the Dawn of a New AmericaRating: 4.5 out of 5 stars4.5/5 (266) Hidden Figures: The American Dream and the Untold Story of the Black Women Mathematicians Who Helped Win the Space RaceFrom EverandHidden Figures: The American Dream and the Untold Story of the Black Women Mathematicians Who Helped Win the Space RaceRating: 4 out of 5 stars4/5 (897) The Little Book of Hygge: Danish Secrets to Happy LivingFrom EverandThe Little Book of Hygge: Danish Secrets to Happy LivingRating: 3.5 out of 5 stars3.5/5 (401) Grit: The Power of Passion and PerseveranceFrom EverandGrit: The Power of Passion and PerseveranceRating: 4 out of 5 stars4/5 (590) The Hard Thing About Hard Things: Building a Business When There Are No Easy AnswersFrom EverandThe Hard Thing About Hard Things: Building a Business When There Are No Easy AnswersRating: 4.5 out of 5 stars4.5/5 (348) The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good LifeFrom EverandThe Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good LifeRating: 4 out of 5 stars4/5 (5811) Elon Musk: Tesla, SpaceX, and the Quest for a Fantastic FutureFrom EverandElon Musk: Tesla, SpaceX, and the Quest for a Fantastic FutureRating: 4.5 out of 5 stars4.5/5 (474) Shoe Dog: A Memoir by the Creator of NikeFrom EverandShoe Dog: A Memoir by the Creator of NikeRating: 4.5 out of 5 stars4.5/5 (540) Never Split the Difference: Negotiating As If Your Life Depended On ItFrom EverandNever Split the Difference: Negotiating As If Your Life Depended On ItRating: 4.5 out of 5 stars4.5/5 (844) The Gifts of Imperfection: Let Go of Who You Think You're Supposed to Be and Embrace Who You AreFrom EverandThe Gifts of Imperfection: Let Go of Who You Think You're Supposed to Be and Embrace Who You AreRating: 4 out of 5 stars4/5 (1092)