Compacidad y densidad en C(X,Y )

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Compacidad y densidad en C(X,Y )"

Transcripción

1 Capítulo 5 Compacidad y densidad en C(X,Y. El teorema de Arzelà-Ascoli En esta sección clasificaremos los subespacios compactos de C A (X,Y, donde X es compacto y Y = R l. Cuando X no es compacto esta tarea es más dificil, y estudiaremos el caso cuando X es un conjunto abierto en R l en la siguiente sección. Por ahora, asumiremos que el espacio métrico (X, d es compacto. Recordemos que en tal caso podemos denotar a C A (X,Y simplemente como C(X,Y. Primero haremos notar que, en general, C(X,Y no es compacto. Ejemplo 5.. Si Y no es acotado, entonces C(X,Y no es acotado, como lo muestra fácilmente la colección de funciones constantes {f y } y Y, donde f y (x = y para todo x X. Ejemplo 5.2. Si Y es acotado, entonces C(X, Y es también acotado. Sin embargo, ni siquiera cuando Y es compacto C(X,Y es compacto. Consideramos por ejemplo el espacio C([0, ],[0, ] y la sucesión de funciones { nx if 0 x f n (x = n, 0 if n < x. (Véase la figura. Esta sucesión no puede tener subsucesiones convergentes, como vimos en el ejemplo Entonces C([0,],[0,] no es secuencialmente compacto, y por lo tanto no es compacto. 79

2 80 5. Compacidad y densidad en C(X,Y n Figura. Las funciones f n. Por el teorema 3.23 los subespacios compactos de C(X,Y son aquéllos que son cerrados y totalmente acotados en C(X,Y, por lo que son éstos los conjuntos que tenemos que clasificar. Para ésto necesitaremos del concepto de equicontinuidad, definido a continuación. Definición 5.3. Sea F C(X, Y. Decimos que F es una familia equicontinua en x 0 X si, para cada ε > 0, existe un δ > 0 tal que f(b δ (x 0 B ε (f(x 0 para todo f F. El número δ depende de x 0 y de la familia F, pero es independiente de las funciones f F. Decimos que F es equicontinua en X si es equicontinua en cada punto de X. Ejemplo 5.4. Consideramos la sucesión de funciones f n (x = xn n en C([0,]. Por el teorema del valor medio, f n (x f n (y = f n (t x y para algún t entre x y y. Como f n (t = tn para todo t [0,], tenemos que, para ε > 0, si x y < δ = ε entonces f n (x f n (y x y < ε, en cada x [0,] y para todo f n. Entonces la familia {f n } es equicontinua en cada punto de [0, ]. Notamos que la selección de δ no depende de n, el índice de la sucesión (f n. Distinto es el caso de las funciones x n en [0,], o de las funciones xn n en el intervalo [0,2] (ejercicio. Equicontinuidad es una condición necesaria para que una familia de funciones F C(X,Y pueda ser un espacio compacto, como lo muestra la siguiente proposición.

3 . El teorema de Arzelà-Ascoli 8 Proposición 5.5. Sea F C(X,Y. Si la familia F es totalmente acotada, entonces es equicontinua en X. Demostración. Sean ε > 0 y x 0 X. Debemos mostrar que existe un δ > 0 tal que f(b δ (x 0 B ε (f(x 0 para toda f F, y que esta δ no depende de f, sólo de x 0. Como F es un conjunto totalmente acotado, existen funciones f,f 2,...,f n C(X,Y (no necesariamente en F, aunque esto es irrelevante tales que F B ε/3 (f B ε/3 (f 2... B ε/3 (f n. Además, como cada f i es continua en x 0, i =,2,...,n, existen δ i > 0 tales que, para cada i, f i (B δi (x 0 B ε/3 (f(x 0. Escogemos δ = mín{δ,δ 2,...,δ n }, y mostraremos que f(b δ (x 0 B ε (f(x 0 para cada f F. Así que sean f F y x B δ (x 0. Queremos mostrar la desigualdad d (f(x,f(x 0 < ε. Como F B ε/3 (f B ε/3 (f 2... B ε/3 (f n, f B ε/3 (f i0 para algún i 0, es decir d (f(y,f i0 (y < ε 3 para todo y X. Además d (f i0 (x,f i0 (x 0 < ε 3, ya que d(x,x 0 < δ δ i0. Entonces d (f(x,f(x 0 d (f(x,f i0 (x + d (f i0 (x,f i0 (x 0 + d (f i0 (x 0,f(x 0 < ε 3 + ε 3 + ε 3 = ε. Es preciso notar que en esta demostración no hemos utilizado la compacidad de X, por lo que la proposición 5.5 es cierta también cuando X no es compacto. Definición 5.6. Decimos que la familia F C(X,Y es uniformemente acotada si el conjunto F es acotado en C(X,Y. F es acotada punto por punto si, para cada x X, el conjunto es acotado en Y. {f(x : f F} Asumiendo que la familia F es un subconjunto de CA (X, Y, desde luego.

4 82 5. Compacidad y densidad en C(X,Y Es claro que si F es uniformemente acotada, entonces es acotada punto por punto. Sin embargo, la inversa no es cierta, como lo demuestra el siguiente ejemplo. Ejemplo 5.7. Considere la sucesión de funciones f n C([0,], R dada por [ 0 si x 0, [ 2n n(2nx si x f n (x = 2n, [ n n(2nx 3 si x n, 3 [ 2n 3 ] 0 si x 2n,. Esta familia es acotada punto por punto porque, para cada x, f n (x 0. Sin embargo, como f N (/N = N, esta familia no es uniformemente acotada. (Véase la figura 2. n n 2n 3 2n Figura 2. Las funciones g n. Sin embargo, si la familia es equicontinua, la inversa es cierta. Lema 5.8. Si la familia F C(X,Y es equicontinua y acotada punto por punto, entonces F es uniformemente acotada. Recordemos que asumimos la compacidad de X. Demostración. Para mostrar que F es uniformemente acotada, tenemos que encontrar F C(X,Y y M > 0 tales que d u (f,f < M para toda función f F. Por equicontinuidad, para cada x X, existe un δ x > 0 tal que f(b δx (x B (f(x

5 . El teorema de Arzelà-Ascoli 83 para toda f F. Como X es compacto, podemos encontrar x,x 2,...,x n X tales que X B δx (x B δx2 (x 2... B δxn (x n. Pero cada conjunto {f(x i : f F}, i =,2,...,n, es acotado en Y, por lo que existen puntos y i Y y M i > 0 tales que, para toda f F, d (f(x i,y i < M i, i =,2,...,n. Definimos entonces la función constante F(x = y, y el número M = máx{m,m 2,...,M n,d (y 2,y,...,d (y n,y }. Sean x X y f F, y estimaremos d (f(x,f(x. Primero, escogemos x i tal que x B δxi (x i. Entonces, por el hecho de que f(b δxi (x i B (f(x i, d (f(x,f(x d (f(x,f(x i + d (f(x i,y i + d (y i,f(x < + M i + d (y i,y + 2M. Por lo tanto, d u (f,f 2M + y la familia F es acotada. Casi estamos listos para mostrar el teorema de Arzelà-Ascoli, el cual clasificará los subespacios compactos de C(X, R l. Antes mostraremos el siguiente lema, que concierne a familias uniformemente acotadas en C(X, R l. Lema 5.9. Sea F una familia uniformemente acotada en C(X, R l. Entonces existe un conjunto compacto E en R l tal que f(x E para toda f F. Demostración. Como F es uniformemente acotada, existe una función f 0 C(X, R l y un número M > 0 tales que d u (f,f 0 < M para toda f F. Pero X es compacto, por lo que f 0 (X es compacto y entonces acotado en R l, es decir, existe N > 0 tal que f 0 (x < N para todo x X. Por lo tanto f(x f(x f 0 (x + f 0 (x < M + N para toda f F y x X. Por lo tanto f(x B M+N (0 en R l, y podemos tomar E = B M+N (0, el cual es compacto en R l por el teorema de Heine- Borel. Teorema 5.0 (Arzelà-Ascoli. Sea (X, d un espacio métrico compacto y F una familia de funciones en el espacio C(X, R l. Entonces F es compacto si y solo si F es cerrado en C(X, R l, equicontinuo y acotado punto por punto.

6 84 5. Compacidad y densidad en C(X,Y Demostración. Ya hemos visto que cerrado, equicontinuo y acotado punto por punto son condiciones necesarias (corolario 3.23 y proposición 5.5 para que F sea compacto. Para demostrar que tales condiciones son suficientes, es suficiente con demostrar, por el corolario 3.23, que F es totalmente acotado. Sea ε > 0. Mostraremos que podemos cubrir F con un número finito de bolas en C(X, R l de radio ε. Los lemas 5.8 y 5.9 nos permiten concluir que existe un conjunto compacto E en R l tal que f(x E para toda función f F. Además, por la equicontinuidad de la familia F y la compacidad de X podemos escoger bolas B δi (x i, i =,2,...,n, tales que y X B δ (x B δ2 (x 2... B δn (x n f(b δi (x i B ε/5 (f(x i para toda f F. Ahora bien, E es compacto, por lo que podemos encontrar puntos y,y 2,...,y k R l tales que E B ε/5 (y B ε/5 (y 2... B ε/5 (y k. Tenemos las siguientes observaciones: A: Si f F, entonces, para cada i, existe un entero j(f,i, j(f,i k, tal que f(x i B ε/5 (y j(f,i. De esta forma cada f F induce (al menos una función j(f, de {,2,...,n} en {,2,...,k}. B: Si f,g F inducen la misma función j(i, entonces, si x B δi0 (x i0, f(x g(x f(x f(x i0 + f(x i0 y j(i0 + y j(i0 g(x i0 + g(x i0 g(x < ε 5 + ε 5 + ε 5 + ε 5 = 4ε 5, por lo que d u (f,g 4ε 5 < ε. Ahora consideremos una función arbitraria φ : {,2,...,n} {,2,...,k}. Si existe alguna f F tal que φ( = j(f,, a ésta le llamaremos f φ. Sea entonces Φ el conjunto de todas las funciones φ tales que f φ existe. El conjunto Φ es finito, por lo que el conjunto de funciones {f φ } φ Φ también es finito. Demostraremos que F φ ΦB ε (f φ,

7 2. Sucesiones de funciones en R m 85 donde B ε (f φ es la bola en C(X, R l de radio ε con centro en f φ. Si f F, entonces induce φ = j(f,, por la observación A. Entonces, por B, d u (f,f φ < ε. Por lo tanto f B ε (f φ. Podemos reescribir el teorema de Arzelá-Ascoli de la siguiente manera. Corolario 5.. Sea (X,d un espacio métrico compacto y (f n una sucesión en C(X, R l equicontinua y acotada punto por punto. Entonces existe una subsucesión de (f n que converge en C(X, R l. Demostración. Por el teorema de Arzelá-Ascoli, la cerradura de {f n } es compacta, y el corolario se sigue por el teorema de Bolzano-Weierstrass. Versiones más generales del teorema de Arzelà-Ascoli pueden ser encontradas en textos de topología, como por ejemplo en [4, Teorema 6.]. 2. Sucesiones de funciones en R m El teorema de Arzelá-Ascoli clasifica los subespacios compactos del espacio C(X, R l solo cuando X es compacto, y es claro que la compacidad del dominio es necesaria. Sin embargo, el corolario 5. se puede modificar de la siguiente manera, la cual es de hecho la versión más útil de los resultados anteriores. Teorema 5.2. Sea Ω un conjunto abierto en R m y (f n, f n : Ω R l, una sucesión de funciones continuas en Ω (no necesariamente acotadas equicontinua y acotada punto por punto. Entonces existe una subsucesión de (f n que converge uniformemente en cada subconjunto compacto de Ω. Es decir, existe una subsucesión (f nk y una función continua f : Ω R l tal que, para todo compacto E Ω, f nk f en C(E, R l. Cuando decimos f nk f en C(E, R l, queremos decir que la sucesión de restricciones (f nk E converge a la restricción f E en C(E, R l. Demostración. Por la proposición 3.25, podemos encontrar una sucesión creciente de conjuntos compactos E k tal que Ω = k E k, y todo compacto E contenido en Ω está contenido en algún E k. Por el corolario 5., existe una subsucesión de (f n, a la que llamaremos (f n p p=, que converge en C(E, R l. Podemos utilizar este mismo corolario para encontrar

8 86 5. Compacidad y densidad en C(X,Y una subsucesión de (f n p p=, a la cual llamamos (f n 2 p p=, la cual converge en C(E 2, R l. Inductivamente construimos sucesiones (f n k p p=, cada una subsucesión de (f n k p p=, k = 2,3,..., que convergen en C(E k, R l, para cada k, f n f n 2 f n 3... f n 2 f n 2 2 f n f n 3 f n 3 2 f n Consideremos ahora la sucesión diagonal f np = f n p p, p =,2,... Esta sucesión es subsucesión de cada una de las (f n k p p=, y por lo tanto converge en C(E k, R l, para cada k. Como Ω = k F k, podemos definir en Ω la función f(x = lím p f n p (x. Entonces f es continua en Ω. Si E es un conjunto compacto contenido en Ω, entonces está contenido en algún E k y, por lo tanto, como f np f en C(E k, R l, f np f en C(E, R l. 3. El teorema de Stone-Weierstrass En esta sección demostraremos el teorema de aproximación de Stone- Weierstrass, el cual enlista familias de funciones densas en C(X = C(X, R. Este teorema, al igual que el de Arzelà-Ascoli estudiado en la sección anterior, también se refiere al espacio de funciones continuas definidas en espacios compactos X. Recordemos que A es denso en un espacio métrico X si A X. Ésto es equivalente a decir que A es denso en X si, para todo ε > 0 y x X, la bola B ε (x interseca al conjunto A; es decir, existe a A tal que d(x,a < ε. Consideremos ahora el caso C([a, b], el espacio de funciones continuas reales en [a,b], y P, el conjunto de las funciones polinomiales. La versión clásica del teorema de aproximación de Weierstrass es la siguiente. Teorema 5.3 (Weierstrass. P es denso en C([a,b].

9 3. El teorema de Stone-Weierstrass 87 Aunque ahora existen muchas demostraciones de este teorema, las más famosas dadas por Bernstein 2 o Lebesgue 3, aquí daremos la demostración originalmente dada por Weierstrass en 885 [7]. Consideremos la función ψ(x = e πx2. Esta función es positiva y su integral (impropia sobre R converge y es igual a Además, tenemos el siguiente lema. ψ =. Lema 5.4. Sea f : R R una función uniformemente continua, acotada y, para cada r > 0, definimos F(x,r = ( u x f(uψ du. r r Entonces lím r 0 F(x,r = f(x uniformemente en x; es decir, para todo ε > 0 existe r 0 > 0 tal que, si 0 < r < r 0, entonces F(x,r f(x < ε para todo x R. Demostración. Para δ > 0, escribimos F(x,r f(x = ( u x f(uψ r r = = = + u > δ r du f(x f(x + ruψ(udu f(x ( f(x + ru f(x ψ(udu u δ r ( f(x + ru f(x ψ(udu ( f(x + ru f(x ψ(udu. ψ(udu 2 La demostración de Bernstein es constructiva. De hecho, si [a, b] = [0,], Bernstein demostró que la sucesión de polinomios (ahora llamados polinomios de Bernstein n ( k ( n B n(x = f x k ( x n k n k k=0 converge uniformemente a f. Véase por ejemplo [5, Capítulo]. 3 La demostración de Lebesgue consiste, primero, en aproximar uniformemente con polinomios la función en [,] y, luego, observar que las funciones poligonales son densas en C([a, b]. Este trabajo, de hecho, fue la primera publicación de Lebesgue [3].

10 88 5. Compacidad y densidad en C(X,Y Ahora bien, sea ε > 0 dado. Como f es acotada, existe M > 0 tal que f(x M para todo x R. Como ψ converge, existe N > 0 tal que ψ(udu < ε 4M. u >N Como f es uniformemente continua, existe δ > 0 (independiente de x tal que x y < δ implica f(x f(y < ε/2. Tomamos entonces r 0 > 0 tal que r 0 < δ/n. Entonces, si 0 < r < r 0, F(x,r f(x + u > δ r u δ r u >N < 2M f(x + ru f(x ψ(udu f(x + ru f(x ψ(udu 2Mψ(udu + ε 4M + ε 2 R u δ r ψ(udu = ε. ε 2 ψ(udu Demostración del teorema 5.3. Sea f C([a, b] y ε > 0. Escogemos c,d R tales que c < a y d > b, y una función continua f : R R que coincide con f en [a,b] y es cero afuera de [c,d]. Por ejemplo, podemos tomar 0 si x < c f(a x c si c x < a a c f(x = f(x si a x b f(b d x si b < x d d b 0 si x > d. (Véase la figura 3. Entonces, si como en el lema anterior definimos F(x,r = ( u x f(uψ du = d ( u x f(uψ du, r r r r existe r 0 tal que, para todo x R, F(x,r 0 f(x < ε 2. ( u x Ahora bien, si hacemos g u (x = ψ, no es muy difícil ver que la serie r 0 de Taylor en x de g u alrededor de x = 0, g (n (0 g u (x = x n ( n ψ (n (u/r 0 = n! n!r0 n x n, n=0 n=0 c

11 3. El teorema de Stone-Weierstrass 89 c a b d Figura 3. La función f en [a, b] extendida a f en R. converge a g u uniformemente en x y en u sobre cualquier subconjunto compacto de R, en particular para x,u [c,d]. Si M = máx f, entonces existe N 0 tal que, para todo x,u [c,d], ( u x ψ r 0 por lo que si hacemos N 0 n=0 P(x = N 0 r 0 n=0 ( n ψ (n (u/r 0 n!r0 n x n r 0 < 2M(d c ε, ( n n!r n 0 d x n f(uψ (n (u/r 0 du, entonces P(x es un polinomio de grado N 0 que satisface F(x,r 0 P(x = d ( ( u x N 0 ( f(u n ψ (n ( u r ψ 0 r 0 c r n!r0 n x n du c n=0 < d r f(u r 0 0 2M(d c εdu ε 2, para todo x [c,d]. Esto implica que c f(x P(x f(x F(x,r 0 + F(x,r 0 P(x < ε para x [c,d] y, como f f en [a,b], tenemos que para todo x [a,b]. f(x P(x < ε Por lo tanto P es denso en C([a,b]. Recordemos que un espacio métrico X es separable si tiene un subconjunto denso contable. Como corolario al teorema 5.3, tenemos entonces que C([a,b] es separable porque P Q, el espacio de polinomios con coeficientes racionales, es también denso en C([a,b].

12 90 5. Compacidad y densidad en C(X,Y Corolario 5.5. C([a, b] es separable. Demostración. Sea M = máx{, a, b, a 2, b 2,..., a n, b n }. Si p(x = a 0 +a x+... a n x n es un polinomio y ε > 0, sean r 0,r,...,r n Q tales que a i r i ε nm, i = 0,,...,n, y p 0 (x = r 0 + r x r n x n. Entonces, para x [a,b], n p(x p 0 (x a i r i x n < ε. i=0 Esto implica que el conjunto de polinomios con coeficientes racionales P Q es denso en P, y por lo tanto denso en C([a,b]. Como P Q es contable, C([a,b] es separable. El teorema de Stone-Weierstrass ofrece una generalización a este resultado, donde consideramos un espacio compacto X general. En este caso, en lugar de las funciones polinomiales, consideraremos una familia A de funciones con las siguientes propiedades:. A es un álgebra, es decir, es un subespacio vectorial de C(X cerrado bajo multiplicación: si f,g A, entonces fg A. 2. A separa puntos en X: para x,y X, x y, existe f A tal que f(x f(y. 3. A contiene las funciones constantes. Es claro que el espacio de polinomios P, o incluso P Q, satisface las propiedades anteriores. Teorema 5.6 (Stone-Weierstrass. Sea X un espacio métrico compacto y A un álgebra de funciones continuas en X que separa puntos y contiene las funciones constantes. Entonces A es denso en C(X. Demostraremos que la cerradura Ā = C(X. Para esto, primero demostraremos que Ā satisface las tres propiedades mencionadas anteriormente. Es obvio que satisface las últimas dos, puesto que Ā A. El que también sea un álgebra lo enunciaremos como lema. Lema 5.7. Sea A un álgebra en C(X. Entonces su cerradura Ā es también un álgebra en C(X. Demostración. Para verificar que Ā es un álgebra, tenemos que mostrar que si f,g Ā entonces f + g y fg están en Ā.

13 3. El teorema de Stone-Weierstrass 9 Para ε > 0, existen f,g A tales que f f u < ε 2 y g g u < ε 2. Entonces, (f + g (f + g u < ε. Como A es un álgebra, f + g A; como ε es arbitrario, f + g Ā. Dado ε > 0, escogemos g A tal que g g ε u < 2 f u +. Ahora bien, tomamos f A tal que Entonces, f g A y f f u < ε 2 g u +. fg f g u = fg fg + fg f g u f u g g u + f f u g u Como ε es arbitrario, fg Ā. f uε 2 f u + + g u ε 2 g u + < ε. En la demostración anterior hemos usado el hecho que, si f, g C(X, entonces fg u f u g u, que es consecuencia directa de la definición de la norma uniforme (ejercicio 6. Separaremos la demostración del teorema de Stone-Weierstrass en otros tres lemas. Los dos primeros se refieren a álgebras cerradas en C(X, y la compacidad de X no es necesaria (si trabajamos, claro, en C A (X. Lema 5.8. Sea A un álgebra cerrada en C(X. Si f A, entonces f A. Con f nos referimos a la función f (x = f(x. Demostración. Sea ε > 0 dado. Para M = f u, tomamos un polinomio p tal que x p(x < ε para x [ M,M]. Tal polinomio existe por el teorema de Weierstrass. Entonces, como f(x [ M,M] para todo x X, tenemos que f(x p(f(x < ε para todo x X. La función p f A porque A es un álgebra. Como ε es arbitrario y A es cerrada, f A.

14 92 5. Compacidad y densidad en C(X,Y Lema 5.9. Si A es un álgebra cerrada en C(X, entonces, si f,g A, máx(f,g,mín(f,g A. Con máx(f,g nos referimos a la función máx(f,g(x = máx{f(x,g(x}, y similarmente para mín(f,g. Es fácil ver que estas dos funciones también son continuas (ejercicio 7. Un subconjunto S de C(X con la propiedad de que si f,g S entonces máx(f,g,mín(f,g S es llamado un latiz. Entonces, el lema 5.9 implica que toda álgebra cerrada en C(X es un latiz. Demostración. La demostración se sigue inmediatamente del lema 5.8, ya que máx(f,g = (f + g + f g 2 mín(f,g = (f + g f g. 2 Es claro que, recursivamente, si A es un latiz y f,...,f n A, entonces máx{f,...,f n } A y mín{f,...,f n } A. Casi estamos listos para la demostración del teorema. Antes, demostraremos un lema referente a latices cerrados en C(X. Es aquí donde la compacidad de X es necesaria. Lema Sea (X,d un espacio compacto y A un latiz cerrado en C(X, Si f C(X es tal que, para cada x,y X, existe g xy A tal que entonces f A. g xy (x = f(x y g xy (y = f(y, Demostración. Sea ε > 0. Demostraremos que existe g A tal que, para x X, f(x g(x < ε. Entonces f g u < ε y, como A es cerrado, esto implica que f A. Dado y X, para cada x X escogemos g xy A como en la hipótesis. Como f y cada g xy son continuas, existen δ x > 0 tales que para z B δx (x. g xy (z > f(z ε Ahora bien, {B δx (x} x X es una cubierta para X. Como X es compacto, existe una subcubierta finita {B δ (x,...,b δn (x n }. Si tomamos g y = máx{g x y,...,g xny},

15 3. El teorema de Stone-Weierstrass 93 entonces g y A y g y (z > f(z ε para todo z X. Para cada y X, consideramos la función (continua g y construida anteriormente y tomamos δ y > 0 tales que, si z B δy (y, entonces g y (z < f(z + ε. De nuevo, {B δy (y} y X forma una cubierta de X. Si es una subcubierta finita, tomamos {B δ (y,...,b δm (y m } g = mín{g y,...,g ym }. Entonces g A y, para todo z X, g(z < f(z+ε. Tenemos entonces que, para z X, ε < g(z f(z < ε, por lo que g(z f(z < ε para todo z X. Una inspección cuidadosa de la demostración del lema 5.20 nos permite notar que, escencialmente, estamos generalizando el hecho que las funciones continuas en un intervalo [a,b] se pueden aproximar uniformemente por las funciones poligonales (lineales por pedazos. Si A contiene al latiz de las funciones poligonales en un intervalo, generado por las funciones lineales, entonces g xy es la recta que pasa por los puntos (x,f(x y (y,f(y, por lo que g y corresponderá la cuña con vértice en (y,f(y sobre todas estas rectas (figura 4. Figura 4. La construcción de la función g y en [0, ]. Al izquierda, las rectas g xy con base en el punto (y,f(y y, a la derecha, la cuña g y con vértice en (y,f(y. Finalmente, la función g corresponde a la función poligonal que pasa por debajo de las cuñas g y,...,g ym (figura 5. Ahora sí estamos listos para concluir la demostración del teorema de Stone-Weierstrass.

16 94 5. Compacidad y densidad en C(X,Y Figura 5. La función g es la función poligonal que pasa por debajo de las cuñas de la figura 4. Demostración del teorema de Stone-Weierstrass: Dada una función f C(X, demostraremos que, para cada x,y X, existe g Ā tal que g(x = f(x y g(y = f(y. El teorema entonces quedará demostrado por los lemas 5.9 y Sean x,y X. Si x = y, entonces tomamos la función constante g(z = f(x para todo z X. Como A contiene a las constantes, g Ā. Ahora bien, si x y, tomamos h Ā tal que h(x h(y. Tal función existe porque A separa puntos. Definimos ahora g : X R por f(y f(x ( g = f(x + h h(x. h(y h(x Por el lema 5.7, Ā es un álgebra y, como contiene a las constantes, g Ā. Finalmente, observamos que g(x = f(x y g(y = f(y. Hemos asumido que el álgebra A separa puntos y contiene a las funciones constantes. Es claro ver que la primera de estas hipótesis es necesaria porque, si A no separara puntos bien podría contener sólo a la función cero. Ejemplo 5.2. Un ejemplo no trivial de un álgebra que no separa puntos es el conjunto de las funciones pares en [ a,a]. Es claro que esta álgebra es cerrada y, definitivamente, no es todo C([ a,a]. Ejemplo Consideremos el subespacio de C([0,] dado por K = {f C([0,] : f(0 = 0}. Entonces K es un álgebra cerrada en C([0,] que separa puntos, pero claramente no es todo C([0,]. El álgebra K del ejemplo 5.22 es un álgebra que no contiene a las constantes (excepto por la función cero. De hecho, en general uno puede mostrar que, si A es un álgebra en C(X que no contiene a todas las funciones constantes, entonces existe x 0 X tal que f(x 0 = 0 para toda f A. Véase, por ejemplo, [2, Sección 4.7].

17 3. El teorema de Stone-Weierstrass 95 Ejemplo 5.23 (Polinomios trigonométricos. Sea T el círculo de radio, con centro en 0, en R 2, y consideremos el espacio C(T de funciones continuas en T. Si f C(T, entonces la función g : [0,2π] R dada por g(t = f(cos t,sen t es continua en [0,2π], con g(0 = g(2π. De manera inversa, si g C([0,2π] y g(0 = g(2π, podemos definir f : T R por f(cos t,sen t = g(t, y f es continua en T. Esto nos permite identificar C(T con el subespacio de C([0,2π] de funciones g continuas con g(0 = g(2π. Un polinomio trigonométrico es una función T : [0, 2π] R de la forma T(x = n ( ak cos(kx + b k sen(kx. k=0 Es claro que T C(T. Si T es el conjunto de polinomios trigonométricos en [0,2π], entonces T es denso en C(T. Para ver esto, verificaremos que T satisface las hipótesis del teorema de Stone-Weierstrass. Primero, es claro que T contiene a las funciones constantes y que separa puntos: si x y, entonces sen x sen y, al menos que 0 x,y π y y = π x, ó π x,y 2π y y = 3π x. En tales casos cos x = cos y cos y. Para verificar que T es un álgebra, sólo tenemos que verificar que es cerrado bajo productos, porque es claro que es un espacio vectorial. Sin embargo, esto se sigue porque cos nxcos mx = ( cos(n mx + cos(n + mx 2 sen nxsen mx = ( cos(n mx cos(n + mx 2 cos nxsen mx = 2( sen(n + mx sen(n mx. Algunas aplicaciones del teorema de Stone-Weierstrass se pueden encontrar en los ejercicios de este capítulo, y algunas generalizaciones y aplicaciones adicionales se pueden encontrar en el artículo [6].

18 96 5. Compacidad y densidad en C(X,Y Ejercicios. Determine si las siguientes colecciones de funciones son equicontinuas y/o acotadas punto por punto. {sen(nx} n= en C([0,2π]; {x n } n= en C([0,]; { x n} en C([0,2]. n n= 2. Sea f n : [a,b] R una sucesión monótona de funciones continuas que converge punto por punto a la función continua f : [a,b] R. Entonces f n f en [a,b]. 3. Sea Ω un conjunto abierto en R m y (f n una sucesión equicontinua de funciones tal que (f n (x converge para cada x Ω. Entonces (f n converge uniformemente en cada subconjunto compacto de Ω. 4. Sea K : [0,] [0,] una función continua, y definimos el operador L : C[0,] C[0,] por Lf(x = 0 K(x, yf(ydy, como en el ejemplo 4.9. Entonces la cerradura de la imagen de la bola B (0 en C([0,] bajo L es un conjunto compacto en C([0,]. 5. Sea X un espacio métrico compacto y L C(X, R l la familia de funciones L = {f C(X, R l : f u, f(x f(y E d(x,y,x,y X}. Entonces L es compacto. 6. Sean f,g C A (X. Entonces fg u f u g u. 7. Sean f,g C(X. Entonces las funciones son continuas. máx(f,g : X R y mín(f,g : X R 8. Sea a > 0. Entonces el espacio de las funciones continuas pares en [ a,a], P = {f C([ a,a] : f(x = f( x,x [ a,a]}, es un álgebra cerrada propia en C([ a,a]. 9. Sea f una función continua en [a,b] tal que b a f(xx n dx = 0

19 Ejercicios 97 para todo n = 0,,2,... Entonces f(x = 0 para todo x [a,b]. (Sugerencia: Utilice el teorema de Weierstrass para demostrar que b a f2 = Encuentre f : [0,] R continua tal que 0 f(xdx = y f(x 0 para algún x [0,]. 0 f(xxdx = 0 f(xx 2 dx = 0. Sean X y Y espacios métricos compactos, X Y el espacio producto y A el álgebra generada por las funciones f : X Y R de la forma f(x,y = g(xh(y g C(X,h C(Y. Entonces A es denso en C(X Y.

El espacio de funciones continuas

El espacio de funciones continuas Capítulo 4 El espacio de funciones continuas 1. Funciones continuas En este capítulo estudiaremos las funciones continuas en un espacio métrico, además de espacios métricos formados por funciones continuas.

Más detalles

El espacio de funciones continuas

El espacio de funciones continuas Capítulo 4 El espacio de funciones continuas 1. Funciones continuas En este capítulo estudiaremos las funciones continuas en un espacio métrico, además de espacios métricos formados por funciones continuas.

Más detalles

diám A = x,y A d(x,y) si A es acotado si A no es acotado. {d(x,y) : x,y A}

diám A = x,y A d(x,y) si A es acotado si A no es acotado. {d(x,y) : x,y A} Capítulo 6 Teoría de Baire 1. El teorema de Cantor En este capítulo estudiaremos más a fondo los espacios métricos completos. Lo primero que haremos es establecer la equivalencia entre completitud y la

Más detalles

sup si A no es acotado.

sup si A no es acotado. Capítulo 5 Teoría de Baire 1. El teorema de Cantor En este capítulo estudiaremos más a fondo los espacios métricos completos. Lo primero que haremos es establecer la equivalencia entre completitud y la

Más detalles

Espacios compactos. Capítulo Cubiertas. En este capítulo estudiaremos el concepto de compacidad en un espacio métrico.

Espacios compactos. Capítulo Cubiertas. En este capítulo estudiaremos el concepto de compacidad en un espacio métrico. Capítulo 3 Espacios compactos 1. Cubiertas En este capítulo estudiaremos el concepto de compacidad en un espacio métrico. Definición 3.1. Sea (X, d) un espacio métrico y A X. Una cubierta de A es una familia

Más detalles

Espacios compactos. 1. Cubiertas

Espacios compactos. 1. Cubiertas Capítulo 3 Espacios compactos 1. Cubiertas En este capítulo estudiaremos el concepto de compacidad en un espacio métrico. La compacidad se puede estudiar desde dos puntos de vista: el topológico, a través

Más detalles

A partir de la definición obtenemos las siguientes propiedades para estas funciones:

A partir de la definición obtenemos las siguientes propiedades para estas funciones: Capítulo 1 Conjuntos Supondremos conocidas las nociones básicas sobre teoría de conjuntos, tales como subconjuntos, elementos, unión, intersección, complemento, diferencia, diferencia simétrica, propiedades

Más detalles

sup si A no es acotado.

sup si A no es acotado. Capítulo 6 Espacios completos 1. El teorema de Cantor En este capítulo estudiaremos más a fondo los espacios métricos completos. Lo primero que haremos es establecer la equivalencia entre completitud y

Más detalles

si este límite es finito, y en este caso decimos que f es integrable (impropia)

si este límite es finito, y en este caso decimos que f es integrable (impropia) Capítulo 6 Integrales impropias menudo resulta útil poder integrar funciones que no son acotadas, e incluso integrarlas sobre recintos no acotados. En este capítulo desarrollaremos brevemente una teoría

Más detalles

El espacio euclideano

El espacio euclideano Capítulo 1 El espacio euclideano 1. Definiciones básicas El espacio Euclideano, denotado por R n, está definido por el conjunto (1.1) R n = {x = (x 1, x 2,..., x n ) : x i R}. Es decir, R n es efectivamente

Más detalles

5.1. Límite de una Función en un Punto

5.1. Límite de una Función en un Punto Capítulo 5 Continuidad 51 Límite de una Función en un Punto Definición 51 Sean (X, d) y (Y, ρ) espacios métricos, D X, f : D Y una función, a X un punto de acumulación de D y b Y Decimos que b es el límite

Más detalles

Espacios compactos. 7.1 Espacios compactos

Espacios compactos. 7.1 Espacios compactos 58 Capítulo 7 Espacios compactos 7.1 Espacios compactos Definición 7.1.1 (Recubrimiento). Sea X un conjunto y sea S X. Un recubrimiento de S es una familia A = {A i } i I de subconjuntos de X tales que

Más detalles

Espacios conexos. Capítulo Conexidad

Espacios conexos. Capítulo Conexidad Capítulo 5 Espacios conexos 1. Conexidad En este capítulo exploraremos el concepto de conexidad en un espacio métrico, y estudiaremos algunas de sus aplicaciones. Definición 5.1. Decimos que el espacio

Más detalles

Sucesiones y series de números reales

Sucesiones y series de números reales Capítulo 2 Sucesiones y series de números reales 2.. Sucesiones de números reales 2... Introducción Definición 2... Llamamos sucesión de números reales a una función f : N R, n f(n) = x n. Habitualmente

Más detalles

En este capítulo obtendremos los resultados básicos del cálculo diferencial para funciones reales definidas sobre R o sobre intervalos.

En este capítulo obtendremos los resultados básicos del cálculo diferencial para funciones reales definidas sobre R o sobre intervalos. Capítulo 6 Derivadas 61 Introducción En este capítulo obtendremos los resultados básicos del cálculo diferencial para funciones reales definidas sobre R o sobre intervalos Definición 61 Sea I R, I, f :

Más detalles

El Teorema de Stone-Weierstrass

El Teorema de Stone-Weierstrass Capítulo 3 El Teorema de Stone-Weierstrass Vamos a ver en esta lección el teorema clásico de Weierstrass y la importante generalización del mismo dada por Stone. El teorema de Weierstrass El teorema de

Más detalles

y valores extremos. En esta sección estudiaremos los conjuntos convexos. Recordemos que un conjunto K R n es convexo si, para todo x,y K y t [0,1],

y valores extremos. En esta sección estudiaremos los conjuntos convexos. Recordemos que un conjunto K R n es convexo si, para todo x,y K y t [0,1], Capítulo 4 Convexidad 1. Conjuntos convexos En este capítulo estudiaremos el concepto de convexidad, el cual es sumamente importante en el análisis. Estudiaremos conjuntos convexos y funcionesconvexas

Más detalles

2.3. Aplicaciones del teorema de Baire a espacios de Banach

2.3. Aplicaciones del teorema de Baire a espacios de Banach 40 CAPÍTULO. COMPLETITUD Y CATEGORÍAS.3. Aplicaciones del teorema de Baire a espacios de Banach En esta sección, veremos algunas aplicaciones del teorema de Baire a espacios vectoriales normados. En particular,

Más detalles

Sucesiones y convergencia

Sucesiones y convergencia Capítulo 2 Sucesiones y convergencia 1. Definiciones Una de las ideas fundamentales del análisis es la de límite; en particular, el límite de una sucesión. En este capítulo estudiaremos la convergencia

Más detalles

4. " $#%&' (#) para todo $#* (desigualdad triangular).

4.  $#%&' (#) para todo $#* (desigualdad triangular). 10 Capítulo 2 Espacios Métricos 21 Distancias y espacios métricos Definición 211 (Distancia) Dado un conjunto, una distancia es una aplicación que a cada par le asocia un número real y que cumple los siguientes

Más detalles

Topología de la Recta

Topología de la Recta Capítulo 2 Topología de la Recta 21 Introducción En este capítulo introducimos algunas nociones sobre topología de los espacios métricos Nuestro interés se limitará en el futuro al caso real o a los espacios

Más detalles

Espacio de Funciones Medibles

Espacio de Funciones Medibles Capítulo 22 Espacio de Funciones Medibles Igual que la σ-álgebra de los conjuntos medibles, la familia de funciones medibles, además de contener a todas las funciones razonables (por supuesto son medibles

Más detalles

1. Espacios topológicos compactos.

1. Espacios topológicos compactos. PRACTICO 6. COMPACIDAD. 1. Espacios topológicos compactos. Definición 1 Un cubrimiento de un conjunto X es una familia de subconjuntos de X cuya unión da X. Un cubrimiento de un espacio es abierto si cada

Más detalles

Espacios de Hilbert. 1. Propiedades básicas

Espacios de Hilbert. 1. Propiedades básicas Capítulo 9 Espacios de Hilbert 1. Propiedades básicas En este capítulo estudiaremos las propiedades básicas, así como algunas aplicaciones, de la teoría de espacios de Hilbert. Definición 9.1. Decimos

Más detalles

I. NOCIONES GENERALES SOBRE ESPACIOS

I. NOCIONES GENERALES SOBRE ESPACIOS I. NOCIONES GENERALES SOBRE ESPACIOS MÉTRICOS En este primer capítulo se recuerdan los conceptos topológicos básicos y se adopta la terminología y notación que se manejarán a lo largo del curso; se introducen

Más detalles

Complementos de Matemáticas, ITT Telemática

Complementos de Matemáticas, ITT Telemática Introducción Métodos de punto fijo Complementos de Matemáticas, ITT Telemática Tema 1. Solución numérica de ecuaciones no lineales Departamento de Matemáticas, Universidad de Alcalá Introducción Métodos

Más detalles

Anexo C. Introducción a las series de potencias. Series de potencias

Anexo C. Introducción a las series de potencias. Series de potencias Anexo C Introducción a las series de potencias Este apéndice tiene como objetivo repasar los conceptos relativos a las series de potencias y al desarrollo de una función ne serie de potencias en torno

Más detalles

Cardinalidad. Teorema 0.3 Todo conjunto infinito contiene un subconjunto infinito numerable.

Cardinalidad. Teorema 0.3 Todo conjunto infinito contiene un subconjunto infinito numerable. Cardinalidad Dados dos conjuntos A y B, decimos que A es equivalente a B, o que A y B tienen la misma potencia, y lo notamos A B, si existe una biyección de A en B Es fácil probar que es una relación de

Más detalles

TEMA 4: DERIVADAS. En símbolos, la pendiente de la curva en P = lim Q P (pendiente de P Q).

TEMA 4: DERIVADAS. En símbolos, la pendiente de la curva en P = lim Q P (pendiente de P Q). TEMA 4: DERIVADAS 1. La derivada de una función. Reglas de derivación 1.1. La pendiente de una curva. La pendiente de una curva en un punto P es una medida de la inclinación de la curva en ese punto. Si

Más detalles

Capítulo La integral de Riemann

Capítulo La integral de Riemann Capítulo 5 Integración 1. La integral de iemann Empecemos por recordar la integral de iemann de una función acotada f : [a, b]. Una partición P de [a, b] es un subconjunto finito P [a, b] tal que a, b

Más detalles

Variedades diferenciables

Variedades diferenciables Capítulo 10 Variedades diferenciables 1. Variedades diferenciables en R n A grandes rasgos, una variedad diferenciable es un conjunto que, localmente, es difeomorfo al espacio euclideano. En este capítulo

Más detalles

Continuidad y Continuidad Uniforme. Aplicaciones lineales continuas.

Continuidad y Continuidad Uniforme. Aplicaciones lineales continuas. Continuidad y Continuidad Uniforme. Aplicaciones lineales continuas. Beatriz Porras 1 Límites Las definiciones de ĺımite de funciones de varias variables son similares a las de los ĺımites de funciones

Más detalles

El cuerpo de los números reales

El cuerpo de los números reales Capítulo 1 El cuerpo de los números reales 1.1. Introducción Existen diversos enfoques para introducir los números reales: uno de ellos parte de los números naturales 1, 2, 3,... utilizándolos para construir

Más detalles

Análisis Real: Primer Curso. Ricardo A. Sáenz

Análisis Real: Primer Curso. Ricardo A. Sáenz Análisis Real: Primer Curso Ricardo A. Sáenz Índice general Introducción v Capítulo 1. Espacios Métricos 1 1. Métricas 1 2. Métricas en espacios vectoriales 4 3. Topología 9 Ejercicios 16 Capítulo 2.

Más detalles

Taller de Cálculo Avanzado - Segundo Cuatrimestre de Práctica 3

Taller de Cálculo Avanzado - Segundo Cuatrimestre de Práctica 3 Taller de Cálculo Avanzado - Segundo Cuatrimestre de 2008 Práctica 3 Topología. Decir qué propiedades (abierto, cerrado, acotado) tienen los siguientes conjuntos. (a) Q. (b) N. (c) {x R : x > 0}. (d) (0,

Más detalles

CONTINUIDAD DE FUNCIONES. SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos.

CONTINUIDAD DE FUNCIONES. SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos. CAPÍTULO IV. CONTINUIDAD DE FUNCIONES SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos. 121 A. DEFINICIÓN DE FUNCIÓN CONTINUA. Una función

Más detalles

Topología de R n. Beatriz Porras

Topología de R n. Beatriz Porras Producto escalar, métrica y norma asociada. Topología de R n Beatriz Porras 1 Producto escalar, métrica y norma asociada Consideramos el espacio vectorial R n sobre el cuerpo R; escribimos los vectores

Más detalles

CÁLCULO DIFERENCIAL Muestras de examen

CÁLCULO DIFERENCIAL Muestras de examen CÁLCULO DIFERENCIAL Muestras de examen Febrero 2012 T1. [2] Demostrar que la imagen continua de un conjunto compacto es compacto. T2. [2.5] Definir la diferencial de una función en un punto y demostrar

Más detalles

Práctica 5 -Completitud, Continuidad uniforme y Compacidad- A. Completitud

Práctica 5 -Completitud, Continuidad uniforme y Compacidad- A. Completitud Cálculo Avanzado Primer Cuatrimestre de 2011 Práctica 5 -Completitud, Continuidad uniforme y Compacidad- Cuanto más sólido, bien definido y espléndido es el edificio erigido por el entendimiento, más imperioso

Más detalles

Cálculo infinitesimal de varias variables reales Volumen 1

Cálculo infinitesimal de varias variables reales Volumen 1 Cálculo infinitesimal de varias variables reales Volumen 1 José María Rocha Martínez Departamento de Matemáticas Escuela Superior de Física y Matemáticas del IPN Gabriel D Villa Salvador Departamento de

Más detalles

TOPOLOGÍA SOLUCIONES A LAS RELACIONES DE PROBLEMAS

TOPOLOGÍA SOLUCIONES A LAS RELACIONES DE PROBLEMAS TOPOLOGÍA SOLUCIONES A LAS RELACIONES DE PROBLEMAS Ejercicio 4.1.- Relación 4. Compacidad. Conexión Supongamos que A es compacto y sea A α Λ B α un recubrimiento de A por bolas abiertas. Entonces, como

Más detalles

Análisis Real: Primer Curso. Ricardo A. Sáenz

Análisis Real: Primer Curso. Ricardo A. Sáenz Análisis Real: Primer Curso Ricardo A. Sáenz Índice general Introducción v Capítulo 1. Espacios Métricos 1 1. Métricas 1 2. Métricas en espacios vectoriales 4 3. Topología 9 Ejercicios 17 Capítulo 2.

Más detalles

Espacios completos. 8.1 Sucesiones de Cauchy

Espacios completos. 8.1 Sucesiones de Cauchy Capítulo 8 Espacios completos 8.1 Sucesiones de Cauchy Definición 8.1.1 (Sucesión de Cauchy). Diremos que una sucesión (x n ) n=1 en un espacio métrico (X, d) es de Cauchy si para todo ε > 0 existe un

Más detalles

Curso Propedéutico de Cálculo Sesión 2: Límites y Continuidad

Curso Propedéutico de Cálculo Sesión 2: Límites y Continuidad y Laterales Curso Propedéutico de Cálculo Sesión 2: y Joaquín Ortega Sánchez Centro de Investigación en Matemáticas, CIMAT Guanajuato, Gto., Mexico y Esquema Laterales 1 Laterales 2 y Esquema Laterales

Más detalles

Reglas de derivación. 4.1. Sumas, productos y cocientes. Tema 4

Reglas de derivación. 4.1. Sumas, productos y cocientes. Tema 4 Tema 4 Reglas de derivación Aclarado el concepto de derivada, pasamos a desarrollar las reglas básicas para el cálculo de derivadas o, lo que viene a ser lo mismo, a analizar la estabilidad de las funciones

Más detalles

Subespacios Vectoriales

Subespacios Vectoriales Subespacios Vectoriales Prof. Apuntes del Postgrado en Ingeniería 31 Mayo 2008 Subespacio Definición de Subespacio y Ejemplos. Definición Sea H un subconjunto no vacio de un espacio vectorial V(K). Si

Más detalles

Polinomios. 1.- Funciones cuadráticas

Polinomios. 1.- Funciones cuadráticas Polinomios 1.- Funciones cuadráticas Definición 1 (Función polinomial) Sea n un entero no negativo y sean a n, a n 1,..., a, a 1, a 0 número s reales con a n 0. La función se denomina función polinomial

Más detalles

CURSO CERO DE MATEMATICAS. Apuntes elaborados por Domingo Pestana Galván. y José Manuel Rodríguez García

CURSO CERO DE MATEMATICAS. Apuntes elaborados por Domingo Pestana Galván. y José Manuel Rodríguez García INGENIEROS INDUSTRIALES Y DE TELECOMUNICACIONES CURSO CERO DE MATEMATICAS Apuntes elaborados por Domingo Pestana Galván y José Manuel Rodríguez García UNIVERSIDAD CARLOS III DE MADRID Escuela Politécnica

Más detalles

Análisis Real: Primer Curso. Ricardo A. Sáenz

Análisis Real: Primer Curso. Ricardo A. Sáenz Análisis Real: Primer Curso Ricardo A. Sáenz Índice general Introducción v Capítulo 1. Espacios Métricos 1 1. Métricas 1 2. Métricas en espacios vectoriales 4 3. Topología 9 Ejercicios 16 Capítulo 2.

Más detalles

Dependencia e independencia lineal

Dependencia e independencia lineal CAPíTULO 3 Dependencia e independencia lineal En este capítulo estudiaremos tres conceptos de gran importancia para el desarrollo del álgebra lineal: el concepto de conjunto generador, el concepto de conjunto

Más detalles

1. Sucesiones. Sucesiones. Compacidad. {( 1) n, n N} = { 1, 1, 1, 1, 1, 1,... } es una sucesión de elementos del conjunto { 1, 1}, y la familia

1. Sucesiones. Sucesiones. Compacidad. {( 1) n, n N} = { 1, 1, 1, 1, 1, 1,... } es una sucesión de elementos del conjunto { 1, 1}, y la familia 1.. De una manera informal, una sucesión es una familia de elementos de un conjunto, ordenada según el índice de los números naturales. Los elementos pueden estar repetidos o no. Por ejemplo la familia

Más detalles

Ejercicios Propuestos

Ejercicios Propuestos Capítulo 6 Ejercicios Propuestos 1. Determinar todas las topologías de un conjunto de tres elementos 2. Sea X un conjunto y p X T = {A P(X) : p A} {X} (X, T) es un espacio topológico? 3. Sea G un grupo

Más detalles

Espacios Normados (Normas en R n )

Espacios Normados (Normas en R n ) Espacios Normados (Normas en R n ) Uno de los conceptos más importantes del cálculo y del analisis matemático es el de métrica o distancia. En R n la noción de metrico depende a su vez del concepto de

Más detalles

Sucesiones y series de funciones

Sucesiones y series de funciones Sucesiones y series de funciones Renato Álvarez Nodarse Departamento de Análisis Matemático Facultad de Matemáticas. Universidad de Sevilla http://euler.us.es/ renato/ 8 de octubre de 2012 Sucesiones y

Más detalles

1 Espacios de Banach:

1 Espacios de Banach: Ecuaciones Diferenciales - 2 cuatrimestre 2003 Resultados preliminares parte II Espacios de Banach: Sea X un IR-espacio vectorial. Definición. Una función : X [0, + ) se dice una norma si. x + y x + y

Más detalles

TOPOLOGÍA. Resumen Curso 2011/2012

TOPOLOGÍA. Resumen Curso 2011/2012 TOPOLOGÍA Resumen Curso 2011/2012 Capítulo 1 Espacios métricos 1.1. Medir la proximidad Sea X un conjunto. Denotaremos por X X al conjunto de los pares de elementos de X. Definición 1.1.1. Una distancia

Más detalles

Límites en el infinito, funciones divergentes

Límites en el infinito, funciones divergentes Tema 2 Límites en el infinito, funciones divergentes Nuestro próximo objetivo es usar las sucesiones divergentes para ampliar la noción de límite funcional en dos sentidos. Por una parte, analizaremos

Más detalles

Parte 2: Definición y ejemplos de topologías.

Parte 2: Definición y ejemplos de topologías. Parte 2: Definición y ejemplos de topologías. 22 de marzo de 2014 1. Definiciones y propiedades básicas. Definición 1 Sea X un conjunto. Una familia T de subconjuntos de X es una topología de X si se cumplen:

Más detalles

Tema XIV: SUCESIONES Y SERIES DE NÚMEROS REALES XIV.1. Sucesiones. Sucesiones convergentes

Tema XIV: SUCESIONES Y SERIES DE NÚMEROS REALES XIV.1. Sucesiones. Sucesiones convergentes Tema XIV: SUCESIONES Y SERIES DE NÚMEROS REALES XIV.1. Sucesiones. Sucesiones convergentes 1. Sucesiones DEF. Una sucesión infinita de números reales es una función cuyo dominio es N y su imagen un subconjunto

Más detalles

Guía Semana 1 1. RESUMEN. Universidad de Chile. Ingeniería Matemática

Guía Semana 1 1. RESUMEN. Universidad de Chile. Ingeniería Matemática 1. RESUMEN FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE Cálculo en Varias Variables 08-1 Guía Semana 1 Geometría. Dados x, y Ê N, su producto interno canónico (o producto punto) es x

Más detalles

Espacios métricos completos

Espacios métricos completos 5 Espacios métricos completos Comenzamos introduciendo las sucesiones de Cauchy, que relacionamos con las sucesiones convergentes. En el caso de que coincidan, se trata de un espacio métrico completo.

Más detalles

Nociones topológicas elementales de R n

Nociones topológicas elementales de R n Nociones topológicas elementales de R n 1 Espacio vectorial R n Consideremos el conunto R n de las n-uplas de números reales, donde n es un número natural arbitrario fio. Los elementos de R n, que llamamos

Más detalles

Números naturales, principio de inducción

Números naturales, principio de inducción , principio de inducción. Conjuntos inductivos. Denotaremos por IN al conjunto de números naturales, IN {,,, 4, 5, 6,...}, cuyos elementos son suma de un número finito de unos. Recordemos que IN es cerrado

Más detalles

Grado en Química Bloque 1 Funciones de una variable

Grado en Química Bloque 1 Funciones de una variable Grado en Química Bloque Funciones de una variable Sección.7: Aproximación de funciones. Desarrollo de Taylor. Aproximación lineal. La aproximación lineal de una función y = f(x) en un punto x = a es la

Más detalles

Problemas con soluciones

Problemas con soluciones Departamento de Matemática, Universidad Técnica Federico Santa María, MAT-223. Problemas con soluciones 1) Muestre que si A es una base de una toplogía en X, entonces la topología generada por A es iqual

Más detalles

Desde la secundaria estamos acostumbrados a trabajar con polinomios, los cuales identificamos con expresiones de la forma

Desde la secundaria estamos acostumbrados a trabajar con polinomios, los cuales identificamos con expresiones de la forma Polinomios Desde la secundaria estamos acostumbrados a trabajar con polinomios, los cuales identificamos con expresiones de la forma p(x) = a 0 + a 1 x +... + a n x n (1) donde x es la variable y a 0,

Más detalles

librocasarrubiastamariz 2015/1/20 7:15 page i #1 Elementos de Topología General Fidel Casarrubias Segura Ángel Tamariz Mascarúa

librocasarrubiastamariz 2015/1/20 7:15 page i #1 Elementos de Topología General Fidel Casarrubias Segura Ángel Tamariz Mascarúa librocasarrubiastamariz 2015/1/20 7:15 page i #1 Elementos de Topología General Fidel Casarrubias Segura Ángel Tamariz Mascarúa librocasarrubiastamariz 2015/1/20 7:15 page ii #2 librocasarrubiastamariz

Más detalles

1. Teorema Fundamental del Cálculo

1. Teorema Fundamental del Cálculo 1. Teorema Fundamental del Cálculo Vamos a considerar dos clases de funciones, definidas como es de otras funciones Funciones es. F (t) = t a f(x)dx donde f : R R, y F (t) = f(x, t)dx A donde f : R n R

Más detalles

Resumen Tema 3: Derivadas. Concepto. Propiedades. Cálculo de derivadas. Aplicaciones.

Resumen Tema 3: Derivadas. Concepto. Propiedades. Cálculo de derivadas. Aplicaciones. Resumen Tema 3: Derivadas. Concepto. Propiedades. Cálculo de derivadas. Aplicaciones. 0.. Concepto de derivada. Definición. Sea f : S R R, a (b, c) S. Decimos que f es derivable en a si existe: f(x) f(a)

Más detalles

RESUMEN ELEMENTOS DE GEOMETRÍA DIFERENCIAL Y TOPOLOGÍA CURSO

RESUMEN ELEMENTOS DE GEOMETRÍA DIFERENCIAL Y TOPOLOGÍA CURSO RESUMEN ELEMENTOS DE GEOMETRÍA DIFERENCIAL Y TOPOLOGÍA CURSO 2008-09 En este resumen no se puede escribir o añadir nada, ni por delante, ni por detrás. En todo caso, sólo se permite subrayar lo que se

Más detalles

1. La topología inducida.

1. La topología inducida. PRACTICO 4. ESPACIOS METRICOS. 1. La topología inducida. Sea (M, d) un espacio métrico. La bola abierta de centro x y radio r es el conjunto B(x; r) = {y M : d(x, y) < r}. La bola cerrada de centro x y

Más detalles

Tema 1. Cálculo diferencial

Tema 1. Cálculo diferencial Tema 1. Cálculo diferencial 1 / 57 Una función es una herramienta mediante la que expresamos la relación entre una causa (variable independiente) y un efecto (variable dependiente). Las funciones nos permiten

Más detalles

Espacios compactos. Se pretenden alcanzar las siguientes competencias específicas:

Espacios compactos. Se pretenden alcanzar las siguientes competencias específicas: 4 Espacios compactos En este capítulo introducimos los conceptos de espacio y subespacio compacto. Se estudian propiedades de los conjuntos compactos, así como relación entre la compacidad y las funciones

Más detalles

Diferenciabilidad. Capítulo Derivada

Diferenciabilidad. Capítulo Derivada Capítulo 3 Diferenciabilidad 1. Derivada Recordemos que si f : R R es diferenciable en x 0 y f (x 0 ) es su derivada en x 0, entonces f(x) f(x 0 ) + f (x 0 )(x x 0 ) es una aproximación lineal de f cerca

Más detalles

1. Definiciones y propiedades básicas.

1. Definiciones y propiedades básicas. Centro de Matemática Facultad de Ciencias Universidad de la República Introducción a la Topología Curso 2016 PRACTICO 2: TOPOLOGÍA. 1 1. Definiciones y propiedades básicas. Definición 1 Sea X un conjunto.

Más detalles

Algunos resultados de Topología I. Rafael López Departamento de Geometría y Topología Universidad de Granada

Algunos resultados de Topología I. Rafael López Departamento de Geometría y Topología Universidad de Granada Algunos resultados de Topología I Rafael López Departamento de Geometría y Topología Universidad de Granada 2 Índice general 1 Espacios topológicos 5 1.1 Definición, bases de topología y de entornos..............

Más detalles

Conjuntos Abiertos y Cerrados

Conjuntos Abiertos y Cerrados Conjuntos Abiertos y Cerrados 1. (a) En la prueba de que la intersección de una colección finita de conjuntos abiertos es un conjunto abierto, dónde se uso la hipótesis de que la colección es finita? 2.

Más detalles

Comisión de Pedagogía - Diego Chamorro Análisis Funcional (Nivel 2).

Comisión de Pedagogía - Diego Chamorro Análisis Funcional (Nivel 2). AMARUN www.amarun.org Comisión de Pedagogía - Diego Chamorro Análisis Funcional (Nivel 2). Lección n 3: Lema de Baire y Teorema clásicos del Análisis Funcional EPN, verano 2012 Definición 1 (Espacio de

Más detalles

COMPACIDAD DEL CONJUNTO DE LAS

COMPACIDAD DEL CONJUNTO DE LAS FACULTAD DE CIENCIAS Y EDUCACIÓN UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS PROYECTO CURRICULAR DE MATEMÁTICAS 2017 COMPACIDAD DEL CONJUNTO DE LAS N-CÓPULAS JOSÉ Presentado por: ANTONIO PATIÑO PATIÑO

Más detalles

Nociones topológicas elementales de R n

Nociones topológicas elementales de R n Nociones topológicas elementales de R n Cálculo II (2004) * 1. Espacio vectorial R n Consideremos el conjunto R n de las n-uplas de números reales, donde n es un número natural arbitrario fijo. Los elementos

Más detalles

Funciones de varias variables

Funciones de varias variables Capítulo 2 Funciones de varias variables 1. Definiciones básicas En este texto consideraremos funciones f : A R m, A R n. Dichas funciones son comúnmente denominadas como funciones de varias variables,

Más detalles

Proceso Selectivo para la XXII IMC, Bulgaria

Proceso Selectivo para la XXII IMC, Bulgaria Proceso Selectivo para la XXII IMC, Bulgaria Facultad de Ciencias UNAM Instituto de Matemáticas UNAM SUMEM Indicaciones Espera la indicación para voltear esta hoja. Mientras tanto, lee estas instrucciones

Más detalles

Funciones de Variable Real

Funciones de Variable Real Tema 1 Funciones de Variable Real 1.1. La Recta Real Los números reales se pueden ordenar como los puntos de una recta. Los enteros positivos {1, 2, 3, 4,...} que surgen al contar, se llaman números naturales

Más detalles

Teoremas de la función inversa, función implícita y del rango constante

Teoremas de la función inversa, función implícita y del rango constante Teoremas de la función inversa, función implícita y del rango constante Pablo Zadunaisky 13 de marzo de 2015 A lo largo de este documento usamos varias normas sobre espacios vectoriales de dimensión finita,

Más detalles

RESUMEN DE TEORIA. Primera Parte: Series y Sucesiones

RESUMEN DE TEORIA. Primera Parte: Series y Sucesiones RESUMEN DE TEORIA Primera Parte: Series y Sucesiones SUCESIONES Definición: La sucesión converge a L y se escribe lim = si para cada número positivo hay un número positivo correspondiente N tal que =>

Más detalles

LA DERIVADA DE CARATHÉODORY *

LA DERIVADA DE CARATHÉODORY * EDUCACIÓN LA DERIVADA DE CARATHÉODORY * ERNESTO ACOSTA G. CÉSAR DELGADO G. CARLOS RODRÍGUEZ B. Resumen. La definición de derivada de Carathéodory permite pensar en una nueva forma de presentar los cursos

Más detalles

1.3. El teorema de los valores intermedios

1.3. El teorema de los valores intermedios Ingeniería Matemática FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE Cálculo Diferencial e Integral 07-2 Importante: Visita regularmente http://www.dim.uchile.cl/calculo. Ahí encontrarás

Más detalles

2.1 CONTINUIDAD EN UN PUNTO 2.2 CONTINUIDAD DE FUNCIONES CONOCIDAS 2.3 CONTINUIDAD EN OPERACIONES CON

2.1 CONTINUIDAD EN UN PUNTO 2.2 CONTINUIDAD DE FUNCIONES CONOCIDAS 2.3 CONTINUIDAD EN OPERACIONES CON Cap. Continuidad de funciones.1 CONTINUIDAD EN UN PUNTO. CONTINUIDAD DE FUNCIONES CONOCIDAS.3 CONTINUIDAD EN OPERACIONES CON FUNCIONES.4 CONTINUIDAD EN UN INTERVALO.5 TEOREMA DEL VALOR INTERMEDIO OBJETIVOS:

Más detalles

Análisis de Fourier. Resumen de los apuntes de D. Antonio Cañada Villar. Sergio Cruz Blázquez. Curso 2015/2016

Análisis de Fourier. Resumen de los apuntes de D. Antonio Cañada Villar. Sergio Cruz Blázquez. Curso 2015/2016 Análisis de Fourier Resumen de los apuntes de D. Antonio Cañada Villar Curso 2015/2016 Sergio Cruz Blázquez Índice 1 El espacio L 2 (a, b) Definición y primeras notas El espacio L 1 (a, b) L 2 (a, b) como

Más detalles

Medidas. Problemas para examen. Estos problemas están redactados por Egor Maximenko y Breitner Arley Ocampo Gómez.

Medidas. Problemas para examen. Estos problemas están redactados por Egor Maximenko y Breitner Arley Ocampo Gómez. Medidas Problemas para examen Estos problemas están redactados por Egor Maximenko y Breitner Arley Ocampo Gómez. Sigma-álgebras 1. Propiedades elementales de σ-álgebras. Demuestre que una σ-álgebra es

Más detalles

Elementos Básicos de Análisis Funcional en. Dr. Oldemar Rodríguez Rojas

Elementos Básicos de Análisis Funcional en. Dr. Oldemar Rodríguez Rojas Elementos Básicos de Análisis Funcional en Análisis Numérico Dr. Oldemar Rodríguez Rojas Agosto 2008 Contents 1 Elementos Básicos de Análisis Funcional 2 1.1 Espacios normados...........................

Más detalles

Tema 3: Cálculo de Probabilidades Unidad 2: Variables Aleatorias

Tema 3: Cálculo de Probabilidades Unidad 2: Variables Aleatorias Estadística Tema 3: Cálculo de Probabilidades Unidad 2: Variables Aleatorias Área de Estadística e Investigación Operativa Licesio J. Rodríguez-Aragón Noviembre 2010 Contenidos...............................................................

Más detalles

El espacio n Consideremos el conjunto de todas las n adas ordenadas de números reales, denotado por n : 8. 1(x 1, x 2,, x n ) = (x 1, x 2,, x n )

El espacio n Consideremos el conjunto de todas las n adas ordenadas de números reales, denotado por n : 8. 1(x 1, x 2,, x n ) = (x 1, x 2,, x n ) El espacio n Consideremos el conjunto de todas las n adas ordenadas de números reales, denotado por n : n = {(x 1,x,, x n ) / x 1,x,, x n } A cada uno de los números reales x 1,x,, x n que conforman la

Más detalles

CÁLCULO DIFERENCIAL. Víctor Manuel Sánchez de los Reyes. Departamento de Análisis Matemático Universidad Complutense de Madrid

CÁLCULO DIFERENCIAL. Víctor Manuel Sánchez de los Reyes. Departamento de Análisis Matemático Universidad Complutense de Madrid CÁLCULO DIFERENCIAL Víctor Manuel Sánchez de los Reyes Departamento de Análisis Matemático Universidad Complutense de Madrid Índice 1. Conceptos topológicos y métricos 5 1.1. Métricas, normas y productos

Más detalles

1.2 Si a y b son enteros impares, entonces a + b es par. 1.4 Si el producto de enteros a y b es par, entonces alguno de ellos es par.

1.2 Si a y b son enteros impares, entonces a + b es par. 1.4 Si el producto de enteros a y b es par, entonces alguno de ellos es par. Sesión 1 Demostraciones Demostración directa 1.1 Si n es un número entero impar, entonces n 2 es impar. 1.2 Si a y b son enteros impares, entonces a + b es par. Demostración indirecta 1.3 Si n 2 es par,

Más detalles

1. Caracterización de compacidad en espacios métricos

1. Caracterización de compacidad en espacios métricos Centro de Matemática Facultad de Ciencias Universidad de la República Introducción a la Topología Curso 2016 NOTAS TEÓRICO-PRÁCTICAS 10: COMPACIDAD II 1. Caracterización de compacidad en espacios métricos

Más detalles

CÁLCULO DIFERENCIAL EN VARIAS VARIABLES

CÁLCULO DIFERENCIAL EN VARIAS VARIABLES UNIVERSIDAD CENTRAL DE VENEZUELA FACULTAD DE CIENCIAS ESCUELA DE MATEMÁTICA LABORATORIO DE FORMAS EN GRUPOS CÁLCULO DIFERENCIAL EN VARIAS VARIABLES Ramón Bruzual Marisela Domínguez Caracas, Venezuela Abril

Más detalles

1. Campos vectoriales y formas diferenciales

1. Campos vectoriales y formas diferenciales Capítulo Orientación. Campos vectoriales formas diferenciales En este capítulo introduciremos el concepto de orientación, mu importante en el análisis de variedades, en particular la teoriá de integración.

Más detalles

CÁLCULO DIFERENCIAL EN VARIAS VARIABLES

CÁLCULO DIFERENCIAL EN VARIAS VARIABLES UNIVERSIDAD CENTRAL DE VENEZUELA FACULTAD DE CIENCIAS ESCUELA DE MATEMÁTICA LABORATORIO DE FORMAS EN GRUPOS CÁLCULO DIFERENCIAL EN VARIAS VARIABLES Ramón Bruzual Marisela Domínguez Caracas, Venezuela Julio

Más detalles

Índice general. 2. Diferenciación Transformaciones lineales Diferenciales Teorema de la función inversa...

Índice general. 2. Diferenciación Transformaciones lineales Diferenciales Teorema de la función inversa... Cálculo Avanzado 2 Índice general 1. Espacios Métricos 5 1.1. Métricas......................................... 5 1.2. Abiertos......................................... 6 1.3. Conceptos básicos de Topología............................

Más detalles