El Teorema de Stone-Weierstrass
|
|
- Roberto Cordero Martin
- hace 6 años
- Vistas:
Transcripción
1 La Gaceta de la RSME, Vol. 13 (2010), Núm. 4, Págs El Teorema de Stone-Weierstrass por Julio Bernués Cuando entran en contacto argumentos de varias disciplinas matemáticas se suelen producir resultados de una singular potencia y elegancia. Tal es el caso del conocido Teorema de Stone-Weierstrass. En 1885, K. Weierstrass [3] demostró la densidad de los polinomios en el espacio de las funciones reales continuas en un intervalo compacto, C([a, b]). Más adelante, M. H. Stone [2] lo generalizó, observando que la razón de dicha densidad está en las propiedades algebraicas de los polinomios, en las propiedades analíticas de las funciones continuas, y en la propiedad topológica de la compacidad de [a, b]. El Teorema de Stone-Weierstrass es un viejo conocido de los cursos avanzados de Análisis Matemático o de Análisis Funcional. Su enunciado es el siguiente: Teorema de Stone-Weierstrass. Sea K un compacto en un espacio topológico cualquiera y C(K) el espacio de las funciones reales continuas definidas sobre K. Si A es una subálgebra 1 de C(K) tal que (i) A no se anula, lo que significa que para todo x K existe g A tal que g(x) 0, (ii) A separa puntos, es decir que para todo x y K existe g A tal que g(x) g(y), entonces A es densa en C(K). Para ilustrar su potencia basta recordar las demostraciones inusualmente simples de algunas de sus más conocidas aplicaciones: tan sólo hay que comprobar las condiciones (i) y (ii). Por ejemplo: El álgebra de los polinomios (reales) en n variables sobre un compacto K R n es densa en C(K) (pues la función g 1 cumple (i) y las funciones coordenadas g(x) = x i, i = 1,..., n, hacen que se cumpla (ii)). Si (K, d) es un espacio métrico compacto, entonces C(K) es separable, es decir, C(K) contiene un subconjunto numerable denso. (Si {x n } es denso en K, el álgebra generada por las funciones g n (x) = d(x, x n ) C(K) es densa pues las g n permiten comprobar (i) sin dificultad, y de la densidad de {x n } se deduce (ii) por reducción al absurdo. Las combinaciones racionales de sumas y productos de g n demuestran el resultado.) 1 En nuestro contexto, un álgebra (real) es un espacio vectorial (real) X con una operación producto : X X X que es asociativa, conmutativa y que encaja bien con las operaciones existentes, es decir, que es una aplicación bilineal. Una subálgebra es un subconjunto A X que tiene estructura de álgebra (con las mismas operaciones de X).
2 706 El Teorema de Stone-Weierstrass A la izquierda, Karl Weierstrass ( ), y a la derecha, Marshall Harvey Stone ( ). El álgebra generada por sen x y cos x es densa en C([0, π]) (g = 1 verifica (i) y g(x) = cos x cumple (ii)). De aquí se deduce que los polinomios trigonométricos son densos en C([0, π]) con valores complejos. El hecho es clave en la demostración de que { 1 π einx ; n Z} es base ortonormal del espacio de Hilbert L 2 ([0, π]). En este artículo presentamos una prueba completa que dividimos en Álgebra, Análisis y Topología. Esta separación facilita la comprensión del papel de cada argumento. Pero la principal ventaja del planteamiento está en el uso de los argumentos algebraicos. Nos permitirán ver claramente la razón de las condiciones (i) y (ii) (Proposición 1.2) así como presentar el resto de la demostración de Stone-Weierstrass, por otra parte clásica, de forma natural. Por otro lado, en la literatura es habitual encontrar enunciados del Teorema de Stone-Weierstrass en los que (i) es sustituido por la condición más exigente de que A contenga a las funciones constantes. Como veremos, la razón se encuentra en los argumentos analíticos. Observación. La existencia de A verificando la condición (ii) implica que K debe ser un compacto de Hausdorff, es decir, que todo par de puntos se puede separar por entornos disjuntos. En particular, si K está formado por un número finito de puntos entonces está equipado con la topología discreta y cualquier función sobre K es continua. Si K es Hausdorff, el recíproco es cierto, es decir toda subálgebra densa verifica (i) y (ii). C(K) con la suma y producto habituales es un álgebra. Su topología viene dada por la convergencia uniforme. Así, A es densa en C(K) si para todo f C(K) existe una sucesión g n A tal que sup x K g n (x) f(x) 0 cuando n. Nuestro punto de partida es muy sencillo: el caso particular K = {a, b} formado por dos puntos (con la topología discreta). Todas las funciones sobre K son continuas
3 La Gaceta Artículos 707 de forma que la aplicación f (f(a), f(b)) identifica las álgebras C(K) y R R. Éste es el ejemplo fundamental que ilustrará el significado de (i) y (ii). 1. Álgebra El espacio R R tiene una estructura de álgebra con las operaciones (x, y) + (x, y ) = (x + x, y + y ), λ(x, y) = (λx, λy), (x, y) (x, y ) = (xx, yy ), donde x, y, x, y, λ R. La cuestión es, cuáles son las subálgebras de R R? Proposición 1.1. Las únicas subálgebras de R R son {(0, 0)}, {0} R, R {0}, {(t, t); t R}, R R. Demostración. Una subálgebra A de R R es en particular un espacio vectorial. Atendiendo a su dimensión, dos casos son triviales: si su dimensión es 0, corresponde a A = {(0, 0)}, y si tiene dimensión 2, entonces A = R R. Si la dimensión de A es 1, denotemos por (x, y) un generador. Los casos x = 0 e y = 0 corresponden a {0} R y R {0} respectivamente. Ahora, por ser subálgebra, (x, y) (x, y) = (x 2, y 2 ) A; y, por ser espacio vectorial, debe existir λ R tal que (x 2, y 2 ) = (λx, λy). Si x, y 0, igualando y simplificando se tiene x = λ = y, que corresponde al caso {(t, t); t R}. De igual manera, R R = R n con la suma y producto coordenada a coordenada es un álgebra, y el mismo argumento nos permite saber cómo son todas sus subálgebras. Por ejemplo, las subálgebras de R R R son de dimensión 0: {(0, 0, 0)}; de dimensión 1: las generadas por los vectores (1, 1, 1), (1, 1, 0), (1, 0, 1), (0, 1, 1), (1, 0, 0), (0, 1, 0) y (0, 0, 1); de dimensión 2: R R {0}, R {0} R, {0} R R y las generadas por (1, 0, 1), (0, 1, 0), (1, 0, 0), (0, 1, 1), (0, 0, 1), (1, 1, 0) ; de dimensión 3: R R R. Proposición 1.2 (algebraica de Stone-Weierstrass). Sea K = {a 1,..., a n } (con la topología discreta). La única subálgebra de C(K) que no se anula y separa puntos es C(K). Demostración. La aplicación f (f(a 1 ),..., f(a n )) identifica las álgebras C(K) y R R = R n, y hemos calculado todas sus subálgebras. La única que separa puntos y no se anula es el total R n. Es en el paso de un número finito de puntos a un conjunto compacto cuando la topología y el análisis harán su aparición, y no necesitaremos introducir más hipótesis que las exigidas por el álgebra.
4 708 El Teorema de Stone-Weierstrass 2. Análisis El espacio C(K) cumple que si f, g C(K) entonces máx{f, g}, mín{f, g} C(K), o, equivalentemente, que f, g C(K) (esta propiedad se llama de retículo y es compartida por otros espacios de funciones, por ejemplo, las integrables). La demostración clásica pasa por probar que toda subálgebra cerrada de C(K) cumple también dicha propiedad. La razón analítica, base de todo el argumento, es el hecho elemental de que la función t se puede aproximar por polinomios uniformemente en [ 1, 1]. Una vez visto esto, la definición de álgebra hará el resto. Existe una gran variedad formas de aproximar uniformemente la función t. En [1] un artículo que presenta una interesante visión histórica del Teorema de Stone-Weiestrass se pueden consultar algunas de ellas. Por su sencillez e ingenio utilizaremos una demostración debida a Bourbaki (y que es una de las mostradas en [1]). Lema 2.1. Sea K compacto y A una subálgebra de C(K). Entonces su clausura A también es subálgebra. Demostración. Si f, g A, existen sucesiones en A tales que f n f, g n g uniformemente. Es fácil demostrar que f n + g n f + g, f n g n f g y λf n λf, λ R, por tanto f + g, f g, λf A. Proposición 2.2. Sea K compacto y A una subálgebra de C(K). En estas circunstancias, (i) Si f A entonces f A. (ii) Si f, g A entonces máx{f, g}, mín{f, g} A. (iii) Si f 1,..., f m A entonces máx{f 1,... f m }, mín{f 1,... f m } A. Demostración. Las identidades máx{f, g} = 1 2 (f + g + f g ) y mín{f, g} = 1 2 (f + g f g ) y el ser A espacio vectorial (por el lema anterior) demuestran «(i) (ii)». Por otra parte, (iii) sigue de (ii) por inducción y el lema. Para demostrar (i), probamos primero que la función t, t [ 1, 1], se aproxima uniformemente por polinomios. Como t = t 2, basta con aproximar t en [0, 1]. Lo haremos en tres pasos, escogiendo una sucesión definida por recurrencia con límite t. Paso 1. La sucesión de polinomios en [0, 1] definida recursivamente mediante p 1 (t) := 0; p n+1 (t) := p n (t) (t p2 n(t)), t [0, 1], verifica p n (t) t, t [0, 1], cuando n. En efecto, por inducción es inmediato comprobar que p n (t) t, t [0, 1] y n N, de donde se deduce que que (p n (t)) n N es no decreciente; en consecuencia, p n (t) converge y lo hace precisamente a la función t, t [0, 1]. Paso 2. p n (t) t uniformemente en [0, 1] cuando n.
5 La Gaceta Artículos 709 Para demostrarlo, sea ε > 0. Para cada t [0, 1], por el Paso 1 existe n t N tal que 0 t p nt (t) < ε. Ahora, por continuidad existe un entorno U t de t en [0, 1] tal que 0 s p nt (s) 2ε, s U t. Por la monotonía de la sucesión p n (t) se tiene 0 s p n (s) 2ε, s U t y n n t. Por la compacidad de [0, 1] existen t 1,..., t m de forma que la unión de U ti, i = 1,..., m, cubren [0, 1]. Por tanto, tomando n 0 = máx{n t1,..., n tm } se tiene que, para todo n n 0, 0 s p n (s) 2ε, s [0, 1], lo que demuestra el Paso 2. Obsérvese que el mismo argumento demuestra el siguiente resultado más general debido a Dini: Sea f n : K R una sucesión monótona de funciones continuas sobre un compacto K. Si (f n ) converge puntualmente a una función continua f, entonces lo hace uniformemente (en K). Paso 3. Finalmente, f A. Sea M := máx{ f(x) ; x K} (dicho máximo existe por ser f continua sobre un compacto). La función g(x) := f(x) M A y por tanto g2 A, tomando ésta valores en [0, 1]. Como p n (0) = 0, el Paso 2 implica que la función p n (g 2 (x)) A y p n (g 2 (x)) g2 (x) = f(x) M uniformemente en K. Así, la función g, y por tanto también f, están en A. Observación. Los polinomios p n que aproximan no tienen término independiente (p n (0) = 0) por lo que, por la definición de álgebra, p n (g 2 ) A. Muchas demostraciones en la literatura permiten el uso de polinomios con término independiente no nulo, lo que obliga a que la hipótesis de que A contenga las constantes se incorpore al enunciado de Stone-Weierstrass. En realidad, ello no es necesario: si q n es una sucesión de polinomios que aproxima t uniformemente, entonces q n (t) q n (0) sigue aproximando uniformemente t. 3. Topología Un popular aforismo matemático expresa la compacidad de la siguiente forma: «Una ciudad es compacta si puede ser vigilada por un número finito de policías arbitrariamente miopes». No debe por tanto resultar extraño que propiedades relativas a funciones continuas se mantengan al pasar de un número finito de puntos a un compacto. Tal es el caso por ejemplo de la afirmación «si f C(K) entonces f(k) es cerrado y acotado en R»: lo es trivialmente en el caso de un conjunto finito de puntos, y, en general, de la definición de compacidad se deduce que f(k) también es cerrado y acotado cuando K es compacto. Si a continuación usamos el axioma del supremo en R, acabamos de demostrar el Teorema de Weierstrass de existencia de máximo y mínimo para funciones reales continuas sobre compactos. De las Proposiciones algebraicas 1.1 y 1.2 se desprende un hecho que será clave en la última parte de la demostración del Teorema de Stone-Weierstrass:
6 710 El Teorema de Stone-Weierstrass Fijados x 1,..., x n K, el conjunto {(g(x 1 ),..., g(x n )); g A} es una subálgebra de R R. Si A cumple (i) y (ii), por la Proposición 1.2 necesariamente tiene que ser {(g(x 1 ),..., g(x n )); g A} = R R; así pues, dados y 1,... y n R, existe g A que interpola, esto es, g(x i ) = y i, i = 1,..., n. En particular, Propiedad Fundamental. En las condiciones del Teorema de Stone-Weierstrass, para toda f C(K) y todo par de puntos x y K, existe g A tal que f(x) = g(x) y f(y) = g(y). Demostración del Teorema de Stone-Weierstrass. La última parte de la demostración es clásica. Sea f C(K) y ε > 0. Sean x, y K. Por la Propiedad Fundamental existe g xy A tal que f(x) = g xy (x) y f(y) = g xy (y). Fijemos x K. Para cada y K, por continuidad existe un entorno de y, U y K, tal que f(z) ε < g xy (z) < f(z) + ε, z U y. La unión de los U y, y K, es, trivialmente, un recubrimiento de K, y por compacidad existen U y1,..., U ym (un número finito de entornos) que cubren K. Por tanto la función definida mediante h x (z) := mín{g xy1 (z),..., g xym (z)} cumple h x A por la Proposición 2.2, h x (x) = f(x) por definición de h x y de g xy, h x (z) < f(z) + ε, z K, pues cada z K pertenecerá a algún U yj por ser éstos un recubrimiento de K. A continuación repetimos el argumento con h x para cada x K. Por continuidad existe un entorno de x, V x K, tal que f(z) ε < h x (z) < f(z) + ε, z V x. La unión de los V x, x K, es un recubrimiento de K, y por compacidad existen V x1,..., V yn (un número finito de entornos) que cubren K. Por tanto la función definida mediante d(z) := máx{h x1 (z),..., h xn (z)} cumple d A = A por la Proposición 2.2, d(z) < f(z) + ε, z K, pues cada h xj lo cumple, f(z) ε < d(z), z K, pues cada z K pertenecerá a algún U xj por ser éstos un recubrimiento de K. Por tanto, f(z) ε < d(z) < f(z) + ε, z K. Como ε > 0 es arbitrario, se tiene que f A. Una última ventaja de la motivación algebraica es que la siguiente generalización del Teorema de Stone-Weierstrass al cálculo de clausuras de subálgebras se presenta de nuevo de manera natural:
7 La Gaceta Artículos 711 Teorema 3.1. Sea K un compacto. Sea A una subálgebra de C(K) y f C(K). Entonces f A si y sólo si (i) para todo x K tal que f(x) 0, existe g A tal que g(x) 0, (ii) para todo x y K tal que f(x) f(y) existe g A tal que g(x) g(y). Demostración. La implicación se sigue por definición de clausura. Para, como {(g(x), g(y)); g A} es una subálgebra de R R y sabemos cuáles son (Proposición 1.1), se deduce inmediatamente, analizando cada una de ellas, que para todo par de puntos x y K, existe g A tal que f(x) = g(x) y f(y) = g(y). Una vez contamos de nuevo con la Propiedad Fundamental, se repite el argumento de la demostración clásica. Referencias [1] A. Pinkus, Weierstrass and approximation theory, J. Approx. Theory 107 (2000), [2] M. H. Stone, Applications of the theory of Boolean rings to general topology, Trans. Amer. Math. Soc. 41 (1937), [3] K. Weierstrass, Uber die analytische Darstellbarkeit sogenannter willkrlicher Functionen einer reellen Vernderlichen, Sitzungsberichte der Kniglich Preuischen Akademie der Wissenschaften zu Berlin, J. Bernués, Departamento de Matemáticas, Universidad de Zaragoza, Zaragoza Correo electrónico: bernues@unizar.es
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 detallesEspacios 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 detalles1. 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 detalles1. 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 detallesEjercicios de Análisis Funcional
Ejercicios de Análisis Funcional Rafael Payá Albert Departamento de Análisis Matemático Universidad de Granada ANÁLISIS FUNCIONAL Relación de Ejercicios N o 1 1. Dar un ejemplo de una distancia en un espacio
Más detallesTOPOLOGÍ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 detallesMedidas. 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 detallesIntegración de Funciones Reales
Capítulo 20 Integración de Funciones Reales Nos proponemos estudiar en este capítulo las propiedades fundamentales del operador integral. n particular, extenderemos aquí al caso de funciones medibles con
Más detallesPrincipio de acotación uniforme
Capítulo 4 Principio de acotación uniforme 4.1. Introducción. Teorema de Baire En este último capítulo vamos a establecer una serie de resultados sobre aplicaciones lineales y continuas entre espacios
Más detallessup 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 detallessup 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 detallesContinuidad. 5.1 Continuidad en un punto
Capítulo 5 Continuidad 5.1 Continuidad en un punto Definición 5.1.1 (Aplicación continua en un punto). Sean (X, τ) e (Y, τ ) dos espacios topológicos, y sea f : X Y una aplicación entre ellos. Diremos
Más detallesPrá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 detallesReconocer y utilizar las propiedades sencillas de la topología métrica.
3 Funciones continuas De entre todas las aplicaciones que pueden definirse entre dos espacios métrico, las aplicaciones continuas ocupan un papel preponderante. Su estudio es fundamental no sólo en topología,
Más detalles1. 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 detallesEspacios 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 detallesFunciones continuas. Definición y propiedades
Funciones continuas. Definición y propiedades Para la lectura de este artículo es recomendable haber leído con anterioridad otros tres artículos relacionados con las sucesiones de números reales y las
Más detallesF-ESPACIOS. 1.- Introducción
F-ESPACIOS 1.- Introducción Recordemos que un subconjunto A de un espacio topológico X se llama diseminado o raro (nowhere dense en ingés) si A=. Un subconjunto que se pueda escribir como unión numerable
Más detallesLa propiedad de compacidad
En un artículo anterior hemos obtenido dos importantes resultados relacionados con la continuidad de una función en un intervalo: el teorema de los ceros de Bolzano y el teorema del valor intermedio. De
Más detallesAxiomas de separación
CAPíTULO 6 Axiomas de separación Tema 1. Axiomas de separación: conceptos básicos El objetivo de este capítulo es considerar ciertas propiedades topológicas que comparten algunos espacios topológicos y
Más detallesAná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 detallesEspacios 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 detallesRESUMEN 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 detallesParte 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 detallesTaller 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 detallesELEMENTOS DE ANÁLISIS FUNCIONAL
ELEMENTOS DE ANÁLISIS FUNCIONAL Guillermo Ames Universidad Tecnológica Nacional - Facultad Regional Córdoba 2011 TEMA 1: NOCIONES BÁSICAS DE ESPACIOS MÉTRICOS Espacios métricos: definición y ejemplos Definición
Más detallesEl Teorema de Fubini-Tonelli
Capítulo 26 El Teorema de Fubini-Tonelli Veremos en este capítulo que el cálculo de una integral múltiple se reduce al de integrales simples. Concretamente se va a probar que si f(x, y) es una función
Más detalles1 Continuidad uniforme
Centro de Matemática Facultad de Ciencias Universidad de la República Introducción a la Topología Curso 2016 NOTAS 6: ESPACIOS MÉTRICOS II: COMPLETITUD 1 Continuidad uniforme Denición. Sean (M, d 1 ) y
Más detallesTOPOLOGÍ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 detallesINTRODUCCIÓN A LOS ESPACIOS DE FUNCIONES. Problemas
Problemas Curso 2013-2014 Problemas 1. Sea E un espacio normado. Si a, b son elementos de E, probar: (a) 1 2 (a + b) 2 1 2 a 2 + 1 2 b 2. (b) a max{ a + b, a b }. 2. Demostrar que en un espacio normado,
Más detallesdiá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 detallesTema 6: Teorema de Representación de Riesz. 10 y 13 de mayo de 2010
Tema 6: Teorema de Representación de Riesz 10 y 13 de mayo de 2010 1 Funcionales lineales positivos 2 Regularidad de medidas de Borel 3 Funcionales lineales continuos Funciones continuas de soporte compacto
Más detallesTemas preliminares de Análisis Real
Temas preliminares de Análisis Real Problemas para examen Usamos la notación A B en el siguiente sentido: A es un subconjunto de B, puede ser que A = B. Propiedades de las operaciones con conjuntos 1.
Más detallesContinuidad 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 detallesComisió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 detallesTeoremas de Convergencia
Capítulo 24 Teoremas de Convergencia El teorema de la convergencia monótona (Lema 21.3) establece ciertas condiciones sobre una sucesión de funciones medibles para que se puedan permutar los símbolos y
Más detallesProblemas 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 detallesApéndice 2: Series de Fourier.
Apéndice 2: Series de Fourier. 19 de noviembre de 2014 1. Conjuntos ortonormales y proyecciones. Sea V un espacio vectorial con un producto interno . Sea {e 1,..., e n } un conjunto ortonormal, V
Más detallesEl teorema de Lebesgue
Capítulo 3 El teorema de Lebesgue En este capítulo estudiaremos un teorema que nos dice exactamente qué funciones son integrables y cuán grande puede ser la frontera de un conjunto para que éste tenga
Más detallesTema 1 EL TEOREMA DE PEANO. 1 Compacidad en C(I; R N ): el Teorema de Ascoli-
Tema 1 EL TEOREMA DE PEANO En este tema vamos a probar que bajo la hipótesis de ser f continua en un entorno del punto (, y 0 ), se puede garantizar la existencia, aunque no necesariamente la unicidad,
Más detallesEjercicios de Análisis Funcional. Curso
Ejercicios de Análisis Funcional Curso 2010-2011 1 1 Preliminares de espacios normados Problema 1.1. Demostrar que para 1 < p < la norma. p en R 2 verifica la siguiente propiedad: Si x, y R 2 con x y y
Más detallesEl 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 detallesEl Teorema de Baire Rodrigo Vargas
El Teorema de Baire Rodrigo Vargas Teorema 1 (Baire). Sea M un espacio métrico completo. Toda intersección numerable de abiertos densos es un subconjunto denso de M. Definición 1. Sea M un espacio métrico.
Más detallesEspacios 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 detallesProblemas. una sucesión de subconjuntos de. Demuestre que el lm sup A n es
16 Elementos Previos Problemas 1. Sea (A n ) 1 n=1 una sucesión de subconjuntos de. Demuestre que el lm sup A n es aquel subconjunto de formado por aquellos elementos que pertenecen a in nitos A n y el
Más detallesNociones 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 detallesEl Teorema de Fubini-Tonelli
Capítulo 23 El Teorema de Fubini-Tonelli Veremos en este capítulo que el cálculo de una integral múltiple se reduce al de integrales simples. Concretamente se va a probar que si f(x, y) es una función
Más detalles1. 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 detallesx i x io V no V n+1 ; y no x = x io x V n+1. Por tanto x i x V n+1 + V n+1 V n,
COMPLETITUD La noción de completitud que vamos a definir, es una generalización de la conocida en espacios métricos. Como en este caso, el hecho de saber que un cierto conjunto de un e.v.t. es completo
Más detallesPor ser f continua y R compacto, existen x 0, y 0 en R tales que f(x 0 ) = sup{f(t) : t R} y f(y 0 ) = inf{f(t) : t R}
Proposición. Sea un rectángulo en R n, y sea f : R una función continua. Entonces f es integrable en. Conjuntos de Demostración: Como f es continua en, y es compacto, f es acotada en, y uniformemente continua.
Más detallesEspacios Metricos, Compacidad y Completez
46 CAPÍTULO 3. Espacios Metricos, Compacidad y Completez Una sucesión en un conjunto X es una función N X. Si la función se llama f entonces para sucesiones acostumbra denotarse {f(n)} n N en cambio de
Más detallesSerá cierto que toda función es un polinomio? V. V. Tkachuk*
Será cierto que toda función es un polinomio? V. V. Tkachuk* *Depto. de Matemáticas. UAM-I vova@xanum.uam.mx 54 ContactoS 90, 53 60 (2013) Recibido: 03 de mayo de 2013 Aceptado: 18 de julio de 2013 Resumen
Más detallesELEMENTOS DE ANÁLISIS FUNCIONAL
ELEMENTOS DE ANÁLISIS FUNCIONAL Guillermo Ames Universidad Tecnológica Nacional - Facultad Regional Córdoba 2011 TEMA 3: ESPACIOS CON PRODUCTO INTERNO. ESPACIOS DE HILBERT. Espacios producto interno. Espacios
Más detalles1. Funciones Medibles
1. Medibles Medibles simples... Hasta ahora hemos estudiado la medida de Lebesgue definida sobre los conjuntos de R n y sus propiedades. Vamos a aplicar ahora esta teoría al estudio de las funciones escalares
Más detallesCÁ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 detallesCÁ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 detalles17. Síntesis de la tercera parte.
Funciones de variable compleja. Eleonora Catsigeras. 15 Mayo 2006. 185 17. Síntesis de la tercera parte. 17.1. Ceros y singularidades aisladas. Los detalles y demostraciones de esta parte se encuentran
Más detallesMétodos matemáticos: Análisis funcional
Métodos matemáticos: Análisis funcional Conceptos y resultados fundamentales Curso 2011/2012 Aquí encontrarás los Teoremas hay que saber para el primer parcial ( 1) así como las definiciones, problemas
Más detallesApuntes sobre la integral de Lebesgue
Apuntes sobre la integral de Lebesgue Miguel Lacruz Martín Universidad de Sevilla 1. Medida de Lebesgue 1.1. Introducción La longitud l(i) de un intervalo I R se define habitualmente como la distancia
Más detallesPropiedades de las funciones continuas
Tema 13 Propiedades de las funciones continuas Estudiamos en este tema los dos resultados fundamentales sobre funciones continuas, que se refieren a funciones continuas en intervalos. Primero veremos que
Más detallesAxiomas de recubrimiento
CAPíTULO 8 Axiomas de recubrimiento Dedicaremos este capítulo a un nuevo tipo de propiedades topológicas: aquellas que se refieren a la posibilidad de extraer subrecubrimientos de cardinal finito o numerable
Más detallesCARACTERIZACIONES DE LA COMPLETITUD DE R
CARACTERIZACIONES DE LA COMPLETITUD DE R 1 Definición 1. Diremos que un cuerpo ordenado K es arquimediano si lím n n que decir que N, visto como subconjunto de K, no está acotado en K. = 0 en K. Esto es
Más detallesEl Teorema de la Convergencia Dominada
Capítulo 22 l Teorema de la Convergencia Dominada Los dos teoremas de convergencia básicos en la integración Lebesgue son el teorema de la convergencia monótona (Lema 19.10), que vimos el capítulo y el
Más detallesEspacios conexos. 6.1 Conexos
Capítulo 6 Espacios conexos 6.1 Conexos Definición 6.1.1 (Conjuntos separados). Dado un espacio topológico (X, τ) y dos subconjuntos A, B X, diremos que A y B están separados si A B = A B = Es evidente
Más detallesEjercicios Análisis II
Ejercicios Análisis II Ejercicios resueltos del libro Real and Complex Analysis de Walter Rudin Mauricio Bravo Vera mauro.bravo@gmail.com Segundo semestre 2010 Índice general 1. Integración Abstracta
Más detallesTeorema del Valor Medio
Tema 6 Teorema del Valor Medio Abordamos en este tema el estudio del resultado más importante del cálculo diferencial en una variable, el Teorema del Valor Medio, debido al matemático italo-francés Joseph
Más detallesDerivada de la función compuesta. Regla de la cadena
Derivada de la función compuesta. Regla de la cadena Cuando en las matemáticas de bachillerato se introduce el concepto de derivada, su significado y su interpretación geométrica, se pasa al cálculo de
Más detallesProblemas de TOPOLOGÍA Hoja 2
Problemas de TOPOLOGÍA Hoja 2 1. Sea X un conjunto, (Y, T Y ) un espacio topológico y f : X Y una aplicación. Probar que T = {f 1 (G) : G T Y } es una topología sobre X. Esta topología se llama topología
Más detallesTOPOLOGÍA SOLUCIONES A LAS RELACIONES DE PROBLEMAS
TOPOLOGÍA SOLUCIONES A LAS RELACIONES DE PROBLEMAS Ejercicio 3.1.- Relación 3. Continuidad Sea G un abierto arbitrario de la recta euclídea. La continuidad de la aplicación X A equivale a ver que H = X
Más detallesEjercicios del tema 5
U N I V E R S I D A D D E M U R C I A Ejercicios del tema 5 DEPARTAMENTO DE MATEMÁTICAS CONJUNTOS Y NÚMEROS 2016/2017. Nota: En algunos de los siguientes ejercicios, se pide probar una serie de propiedades
Más detallesFunciones en R n Conceptos métricos y topológicos Límites y continuidad en R 2. Funciones en R n : nociones topológicas
Funciones en R n : nociones topológicas 1 Funciones en R n 2 Conceptos métricos y topológicos 3 Límites y continuidad en R 2 Definición Definición Llamaremos función escalar real de n variables reales,
Más detallesSegundo Cuatrimestre 2005 Práctica 4
Topología Segundo Cuatrimestre 2005 Práctica 4 Compacidad. 1) Sea X un espacio topológico. Probar que son equivalentes: a) X es cuasi-compacto. b) Para todo espacio topológico Y, y para todo abierto W
Más detalles2. El Teorema del Valor Medio
2.24 45 2. El Teorema del Valor Medio Comenzaremos esta sección recordando dos versiones del teorema del valor medido para funciones de 1-variable y por tanto ya conocidas: 2.22 Sea f : [a, b] R R una
Más detallesFunciones de varias variables. Continuidad
Capítulo 1 Funciones de varias variables. Continuidad 1. Topología en R n Definición (Norma, espacio vectorial normado). Una norma sobre R n es una aplicación: : R n [0,+ [ x x, que satisface las siguientes
Más detallesFunciones continuas Motivación
Lección 9 Funciones continuas Generalizando la noción que conocemos para funciones reales de variable real, vamos a estudiar la continuidad para funciones entre dos espacios métricos cualesquiera. La definimos
Más detallesFunciones continuas e inyectivas
Nuestro último teorema afirmaba que toda función continua en un intervalo cerrado y acotado tiene máximo y mínimo absolutos, pero nada nos informa sobre los puntos en los que se alcanzan. Bajo la hipótesis
Más detallesFunciones 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 detallesPROBLEMAS DE TOPOLOGÍA Licenciatura de Matemáticas, curso Espacios topológicos
PROBLEMAS DE TOPOLOGÍA Licenciatura de Matemáticas, curso 2006-07 Espacios topológicos 1.- Determinar el número de topologías distintas en un conjunto de tres elementos. 2.- Sobre un conjunto X, consideremos
Más detallesFunciones de Clase C 1
Capítulo 7 Funciones de Clase C 1 Vamos a considerar ahora la extensión a varias variables del concepto de función de clase C 1. Cada vez que establezcamos una propiedad de las funciones diferenciables,
Más detallesLa Medida de Lebesgue. Problema de la Medida
Capítulo 19 La Medida de Lebesgue. Problema de la Medida Hemos demostrado en el capítulo anterior que la medida exterior de Lebesgue es una medida sobre la familia M de los conjuntos medibles. Por definición,
Más detallesNociones 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 detallesTOPOLOGÍA. Curso 2011/2012
TOPOLOGÍA 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 sobre
Más detallesPropiedades de la integral
Capítulo 4 Propiedades de la integral En este capítulo estudiaremos las propiedades elementales de la integral. En su mayoría resultarán familiares, pues las propiedades de la integral en R se extienden
Más detallesTema 10: Teorema de Hahn-Banach. 14 y 17 de junio de 2010
Tema 10: Teorema de Hahn-Banach 14 y 17 de junio de 2010 1 Versión anaĺıtica Enunciado del teorema Dual topológico Teoremas de extensión Duales de subespacios y cocientes Límites de Banach 2 Separación
Más detallesEl teorema del valor intermedio
Ya hemos tratado en un artículo anterior el problema de la continuidad de una función. Ahora nos hemos de preguntar sobre las ventajas que, en análisis matemático, nos proporciona este hecho. Existen una
Más detallesELEMENTOS DE GEOMETRÍA DIFERENCIAL Y TOPOLOGÍA
ELEMENTOS DE GEOMETRÍA DIFERENCIAL Y TOPOLOGÍA Curso 2008/2009 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
Más detallesTopología en R n. Continuidad de funciones de varias variables
. Continuidad de funciones de varias variables María Muñoz Guillermo maria.mg@upct.es U.P.C.T. Matemáticas I (1 o Grado en Ingeniería Electrónica Industrial y Automática) M. Muñoz (U.P.C.T.) Continuidad
Más detallesFunciones convexas Definición de función convexa. Tema 10
Tema 10 Funciones convexas Los resultados obtenidos en el desarrollo del cálculo diferencial nos permiten estudiar con facilidad una importante familia de funciones reales de variable real definidas en
Más detallesUna norma en un espacio lineal (o vectorial) X es una función. : X R con las siguientes propiedades: (a) x 0, para todo x X (no negatividad);
MATEMÁTICA APLICADA II Segundo cuatrimestre 20 Licenciatura en Física, Universidad Nacional de Rosario Espacios de Banach. Introducción Frecuentemente estamos interesados en qué tan grande. es una función.
Más detallesContinuidad y monotonía
Tema 14 Continuidad y monotonía Generalizando lo que se hizo en su momento para sucesiones, definiremos la monotonía de una función, en forma bien fácil de adivinar. Probaremos entonces dos resultados
Más detalles1. Sucesiones y redes.
1. Sucesiones y redes. PRACTICO 7. REDES. Se ha visto que el concepto de sucesión no permite caracterizar algunas nociones topológicas, salvo en espacios métricos. Esto empieza con algunas definiciones
Más detallesConjuntos 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 detallesTEMA VI: ESPACIOS DE HILBERT
TEMA VI: ESPACIOS DE HILBERT. Espacios con producto escalar Definición: Sea L un espacio vectorial sobre el cuerpo K (R ó C). Por un producto escalar (o interno) sobre L entedemos una aplicación :
Más detallesDilatación unitaria de semigrupos locales de contracciones con parámetro en los racionales diádicos. MSc. Angel Padilla. Cumaná, Marzo 2012
Dilatación unitaria de semigrupos locales de contracciones con parámetro en los racionales diádicos Autor: MSc. Angel Padilla Cumaná, Marzo 2012 2 A continuación se fija algo de la notación que se utilizará
Más detallesCÁLCULO II. Grado M+I. Sucesiones y series de funciones. Sucesiones y series de funciones 1 / 27. Grado M+I () CÁLCULO II
CÁLCULO II Grado M+I Sucesiones y series de funciones Sucesiones y series de funciones 1 / Sucesiones funciones. Convergencia puntual Sucesión de funciones Definición Una sucesión de funciones será cualquier
Más detallesGuí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 detallesAlgunos 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 detallesMedida de Lebesgue. 16 de diciembre de 2015
Medida de Lebesgue 16 de diciembre de 2015 En este capítulo construiremos la Teoría de la Medida de Lebesgue sin ningún tipo de prerequisito, excepto ciertos conocimientos elementales de Análisis Real.
Más detallesSucesiones 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 detalles1.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