El teorema integral de Cauchy para el tri angulo

Mikael Rodr guez Chala

Licenciatura en F sicas Granada

19 de septiembre de 2007

Licencia
Este documento ha sido liberado por su autor bajo la licencia GNU Free Documentation License (GFDL), y su utilizaci on, copia o reproducci on queda sujeta a los t erminos de la licencia citada, que puede ser consultada en el siguiente sitio web: GNU Free Documentation License: http://www.nablanoesunvector.com/licencia/gfdl.pdf GFDL Version 1.2, November 2002 Copyright c 2000, 2001, 2002 Free Software Foundation, Inc. Copyright c 2007 MIKAEL RODR IGUEZ CHALA. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled GNU Free Documentation License.

1.

Introducci on
Al o rte hablar de la belleza en la f sica se me puso el vello de punta. (Isi, tras una introducci on a la relatividad general)

El estudio de la variable compleja es una parte apasionante de las matem aticas. Ejemplos importantes de teoremas propios de esta teor a son el teorema de los rediduos o el teorema de Liouville. Sin embargo, la cualidad de ser el m as grande de todos recae sobre el teorema de Cauchy. De hecho, en el planteamiento usual en F sica1 se dedican muchas clases y con ello muchas horas a completar la demostraci on. Ahora bien, podr amos armar que, de anta no al tiempo presente, la prueba que se muestra en la asignatura correspondiente es un poco... oscura, o sucia. Se emplea una hermosa ristra de perniciosas deducciones obtenidas directamente de dibujos, se trabaja sobre elementos innitamente pr oximos, etc. No es parte de este texto el describir c omo podr a procederse en al ambito acad emico para cambiar ligeramente esta perspectiva, pero s exponer una buena demostraci on muy extendida, por cierto, en la carrera de Matem aticas, que servir a, entre otras cosas, para admirar hasta d onde pueden llegar la belleza y la elegancia de una demostraci on; pues la prueba del teorema de Cauchy es, en esencia, simplemente preciosa. Para desarrollar la exposici on necesitamos, en primer lugar, conocer el teorema de Cantor, que usaremos m as adelante en la demostraci on del teorema de Cauchy.

2.

Teorema de Cantor

Recordemos que un espacio m etrico es un conjunto en el que se ha denido una distancia d, y que el di ametro de un subconjunto F de aquel se dene como diam(F ) = sup{d(x, y ), x, y F }. Adem as, se dice que este espacio es completo si en el cualquier sucesi on de Cauchy es convergente. Es posible aunque no lo esperamos que el lector siga sin estar familiarizado con algunos de los t erminos citados y que se introducen a continuaci on. No obstante, parace razonable pensar que quien lee este texto est a interesado por el tema que trata, y, en consecuencia, maneja con soltura el total de los conceptos necesarios. El teorema de Cantor arma que si (X, d) es un espacio m etrico completo, entonces, para cada sucesi on decreciente de cerrados no vac os {Fn }nN de X tal que Fn+1 Fn y diam(Fn ) 0, se tiene que n=1 Fn = {x0 }. Intuitivamente (guardemos cuidado con esta palabra) podemos visualizar la situaci on si nos quedamos, por ejemplo, en el plano R2 es un espacio m etrico completo con la distancia que deriva de la norma usual. Para ello, imaginemos una sucesi on de cuadrados, cada uno dentro del anterior... Bueno, como dir a Goyo Jim enez: no lo cuento, lo hago.

poy hoy, en Granada, el an alisis complejo se desarrolla en la asginatura de primer a no M etodos matem aticos de la F sica III.

1 Hoy

A la vista de la gura, podemos asegurar que el teorema es evidente? No es una pregunta ret orica. Si al lector se lo parece debe saber que ha de mantener precauci on, pues, por ejemplo, la intersecci on de todos los conjuntos de la forma [n, ], con n N, es el conjunto vac o, de donde notamos que no son tan triviales las condiciones impuestas a aquellos conjuntos para que, estando cada uno en el anterior, tengan todos un u nico punto com un. Mostremos a continuaci on una sencilla prueba de este teorema, que, a quien escribe, le fue facilitada por los profesores Javier Mer y Miguel Mart nez, a quienes nunca terminar a de agradecer tardes y tardes de charlas, dudas y much sima dedicaci on con ning un otro motivo que ense nar y ayudar. Partiendo, por supuesto, de que no pueden existir dos o m as puntos que est en en cada Fn , he aqu la demostraci on: n N tomamos xn Fn (podemos hacerlo porque son no vac os). Buscamos demostrar que la sucesi on {xn }nN es de Cauchy. Para ello, dado > 0, tomamos h N tal que diam(Fh ) < (esto lo podemos hacer porque existe este h, ya que se obtiene de la convergencia a cero del di ametro de Fn ). Ahora bien, dado n N, como Fn+h Fh , tanto xn+h como xh han de estar en Fh , con lo que la distancia entre estos dos puntos ha de ser menor que el di ametro de Fh . Tenemos, por tanto, que d(xn+h , xh ) diam(Fh ) < , lo cual es la propia denici on de que la sucesi on de equis es de Cauchy. Como partimos de un espacio m etrico completo, esta sucesi on ha de ser convergente. Sea x0 el l mite, como los conjuntos cerrados contienen a todos los l mites de sus sucesiones convergentes, x0 ha de estar en cada Fn (puesto que son cerrados). As que, de la existencia, y de que no puede haber m as puntos, concluimos que

Fn = {x0 }.
n=1

3.

Teorema de Cauchy para el tri angulo

Enunciaremos el teorema de Cauchy en el m as general de los casos, pero nos limitaremos a demostrarlo en el m as sencillo de ellos: el caso en que (ya veremos qu e es) lo forman los lados de un tri angulo. Procederemos de esta manera para encerrar todas las ideas fundamentales en una prueba lo m as sencilla posible. Grosso modo, extender la demostraci on no es m as que buscar la forma de extender estas ideas. El enunciado m as general reza como sigue: 3

si f es holomorfa2 en un dominio3 D que es simplemente conexo, entonces, para cada camino cerrado incluido en D, se verica que f (z )dz = 0.

Nosotros probaremos el teorema cuando = [a, b, c, a] (esto es: los lados del tri angulo que une los puntos a, b y c del plano complejo). Para ello, aceptaremos como conocidas las m as elementales propiedades de las integrales de camino en C, con lo que cabe admitir y con esto empezamos la siguiente igualdad: I

f=
[a,c ,b ,a]

f+
[b,a ,c ,b]

f+
[c,b ,a ,c]

f+
[a ,b ,c ,a ]

f,

donde a =

b+c 2 ,

b =

a+ c 2

yc =

a+b 2

(v ease la siguiente gura).

De esta manera, hemos dividido la integral sobre el tri angulo en la suma de cuatro integrales (cada una sobre un tri angulo distinto y m as peque no). Sean A, B , C y D cada una de las anteriores integrales. Ha de vericarse que m ax {|A|, |B |, |C |, |D|} 1 |I |, 4

o, de lo contrario, |A| + |B | + |C | + |D| < |I |, en contradicci on con la desigualdad triangular4 . Ese m aximo corresponde a la integral de f sobre alguno de los tri angulos. Renombremos los v ertices de este tri angulo como a1 , b1 y c1 . Tenemos el siguiente esquema: 1 = [a1 , b1 , c1 , a1 ]. 1 = tri angulo (lados e interior) de v ertices a1 , b1 y c1 . |I1 | =
1

f (z )dz .

1 1 1 |I |. Adem as, l(1 ) = l( ), y diam(1 ) = diam() (la prueba de ello no 4 2 2 es ardua, pero no la llevaremos a cabo). Entonces, si realizamos el proceso de divisi on anterior n veces, obtenemos una sucesi on n tal que Por construcci on, |I1 |
2 Para que una funci on sea holomorfa o regular o anal tica en un abierto U C, ha de ser derivable en cada punto del abierto U . 3 Recu erdese que un dominio es un conjunto abierto y conexo. 4 |I | = |A + B + C + D | |A| + |B | + |C | + |D |.

l(n ) =

1 l( ), 2n

diam(n ) =

1 diam(), 2n

In =
n

f,

|In |

1 |I |. 4n

Pues bien, ya o por n tenemos nuestro escenario preparado. Por lo visto n+1 n , diam(n ) 0 y todos los tri angulos son cerrados y no vac os; y qu e casualidad que C es completo. No hay mejor ocasi on para aplicar el teorema de Cantor: sea z0 el punto com un a todos los tri angulos. f es derivable en z0 , lo cual quiere decir que > 0 > 0 : |z z0 | < = |f (z ) f (z0 ) f (z0 )(z z0 )| |z z0 |. Adem as, para este , como el di ametro de los tri angulos converge a cero, m N : n m = diam(n ) < . As , para cualquier n mayor o igual que este m, si z n entonces |z z0 | < , porque tanto z (por hip otesis) como z0 (por el teorema de Cantor) pertenecen a n , y > diam(n ) > |z z0 |. Entonces, movi endonos en este n, tenemos que |f (z ) f (z0 ) f (z0 )(z z0 )| |z z0 |, lo cual implica que |f (z ) f (z0 ) f (z0 )(z z0 )|dz
n n

|z z0 |dz.

Pero como | gdz |

|g |dz , |z z0 | dz.
n

f (z ) f (z0 ) f (z0 )(z z0 )dz

n

Ahora bien, f (z0 )dz =

n n

f (z0 )(z z0 )dz = 0,

(lo cual es f acil de demostrar, pues son funciones muy simples de hecho, la primera es una constante y la integral se puede calcular directamente parametr cese), con lo que la desigualdad anterior queda como f (z )dz
n n

|z z0 | dz,

de donde se sigue que 1 | I | |In | 4n Finalmente: 1 |I | 4n 1 1 1 diam() l(n ) = n diam() n l( ). n 2 2 2 mayor que cero: |z z0 | dz.
n

diam(n )dz = diam(n )

n n

dz

Recordemos que la expresi on ha de ser cierta para todo

|I | diam()l( ) , > 0 = |I | , > 0, porque ni diam() ni l( ) dependen de . Si un n umero no negativo es menor que cualquier n umero positivo no puede ser sino el cero, con lo cual naliza la demostraci on. Todo encaja sospechosamente bien. Da que pensar... no?

Referencias
[1] Variable compleja. R.Churchill. [2] Apuntes de clase facilitados por los profesores Javier Mer y Miguel Mart nez. [3] M` etodes matem` atics. Variable complexa. Arcadi Santamar a Luna, Jordi Vidal Perona y Jos e A. Pe narrocha. [4] Wikipedia.