Teorema de Cauchy
Teorema de Cauchy
Teorema de Cauchy
GRUPO: 2CV16.
Teorema de Cauchy
Funciones Regladas. Definición 1. Sea I ⊂ R un intervalo. Una función f : I −→ R se
llama reglada si para cada x ∈ I existen f(x−) = lım t−→x− f(t) y f(x+) = lım t−→x+ f(t). De la
definición se sigue que toda función continua es reglada. Toda función reglada es acotada
y además el conjunto G[a, b] = {f : [a, b] −→ R, f reglada} es un espacio de Banach.
Además si f es de variación acotada, entonces f es reglada. Aplicando el criterio de
Cauchy (ver [5]) se prueba el siguiente resultado que nos permite caracterizar las
funciones regladas usando funciones escalonadas:
Integral de las Funciones Regladas. Sea f : [a, b] −→ R una función reglada tal que φn
⇒ f en [a, b], donde (φn) ⊂ E[a, b]. Entonces, (a) La sucesión ³ Z b a φn(t)dt´ es de
Cauchy. (b) Supongamos que (ϕn) ⊂ E[a, b] y que φn ⇒ f en [a, b]. Entonces, para cada ε
> 0 existe n0 ∈ IN tal que para todo n > n0 se tiene |φn(t) − ϕn(t)| < ε, ∀t ∈ [a, b]. (c) lım→∞
Z b a φn(t)dt = limn→∞ Z b a ϕn(t)dt A partir de esto podemos definir, sin ambigüedad, la
integral de una función reglada. Definición 2. Se define la integral de la función reglada f
sobre [a, b] mediante lımn→∞ Z b a φn(t) dt donde (φn) ⊂ E[a, b] y satisface φn ⇒ f sobre
[a, b]. En este caso decimos que f es integrable y su integral la denotamos por Z b a f(t)
dt.
Teorema 1 (Primer Teorema Fundamental del cálculo). Sea f ∈ G[a, b] y sea g : [a, b] −→
R dada por g(x) = g(a) + Z x a f(t)dt. Si f es continua en x = c ∈ [a, b], entonces g es
derivable en c y g 0 (c) = f(c). Sea f ∈ G[a, b] y sea g : [a, b] −→ R dada por g(x) = g(a) + Z
x a f(t)dt. Si f es continua en x = c ∈ [a, b], entonces g es derivable en c y g 0 (c) = f(c).
Prueba La continuidad de f en c garantiza que f(c+) = f(c−) = f(c) y así, por la implicación
(a) ⇒ (b) de la caracterización de H¨onig, se sigue que g 0 (c) = g 0 +(c) = g 0 (c) = f(c).
Teorema 2 (Segundo Teorema Fundamental del cálculo). Sea f ∈ G[a, b] y g : [a, b] −→ R
una función tal que g 0 (x) = f(x) para cada x ∈ [a, b]. Entonces,
Z b a f(x)dx = g(b) − g(a). Prueba Como f ∈ G[a, b], g es continua en [a, b] y g 0 (x) = f(x)
para cada x ∈ [a, b], entonces por la caracterización de Honig, g es una primitiva de f y
así, g(t) = g(a) + Z t a f(s)ds, para cada t ∈ [a, b]. En particular, g(b) − g(a) = Z b a f(s)ds.
Los resultados correspondientes a la Integración en términos elementales: Integración por
partes, por sustitución, y los Teoremas de los Valores Intermedios se prueban usando los
Teoremas Fundamentales del Cálculo, como se hace usualmente.
Teorema de Cauchy Ÿ
4. Sea f : D → C Holo morfa. a) Dado 0 < r < 1, probar que 2f 0 (0) = 1 2πi R |ζ|=r
f(ζ)−f(−ζ) ζ 2 dζ. b) Concluir que el diámetro d := supw, z∈D |f(w) − f(z)| de la imagen de f
verica la siguiente desigualdad: 2|f 0 (0)| ≤ d. c) Probar que la igualdad se satisface
cuando f es lineal: f(z) = az + b con a, b ∈ C. Ÿ
6. El teorema de Weierstras para funciones reales dice que toda función continua en [0, 1]
puede ser aproximada uniformemente por polinomios. ¾Es verdad que toda función
continua en D es aproximada uniformemente por polinomios en la variable z?
Cálculo del residuo
Si suponemos que una función tiene un polo simple en z=a podemos calcular el
residuo mediante la fórmula
cuando .
luego
cuando .
o codomf
Cabe señalar que el término rango es ambiguo en la literatura, ya que puede hacer
referencia tanto al codominio como al conjunto imagen. Por ello, es aconsejable usar el
término codominio.
Note que puede haber algunos elementos del codominio que no sean imagen de un
elemento del dominio, pero que cada elemento del dominio es preimagen de al menos un
elemento del codominio.
Ejemplos: La función definida por , tiene como dominio, codominio e imagen a todos los
números reales
Función con Dominio X y Rango Y Para la función tal que , en cambio, si bien su dominio
y codominio son iguales a , sólo tendrá como imagen los valores comprendidos entre 0 y
+∞.
En la figura se puede apreciar una función , con