Julieth Katherine Rodrguez Gutirrez Cdigo= 200911504 DUALIDAD EN ESPACIOS NORMADOS (Cp[A,B]) (Una introduccin a los Espacios de James)

La idea de dualidad de espacios normados data de los orgenes del problema de momentos, en la Teora de las Probabilidades. El presente trabajo tiene como base la investigacin acerca de lo concerniente a la dualidad de los espacios de funciones absolutamente pcontinuas y de p-variacin acotada. Para ello se definen y estudian ciertos espacios con alguna similitud mtrica y estructural con los anteriormente mencionados (los espacios de funciones absolutamente p-continuas y de p-variacin acotada), constituyndose esto en el objetivo principal de este trabajo. El concepto de p-continuidad absoluta de una funcin real definida sobre el intervalo [a; b] para 1 < p < aparece por primera vez en el ao 1937, en los trabajos de E.R. Love y L.C. Young, quienes desarrollaron tambin la nocin de funcin de p-variacin acotada sobre el intervalo [a; b]. En esta lnea se destacan adems los polacos Musielak y Orlicz quienes en el ao 1959 demostraron en conjunto la separabilidad del espacio Cp[a; b] de las funciones absolutamente p-continuas en [a; b]. Se tratan propiedades importantes de los espacios Vp[a; b] y Cp[a; b] como, por ejemplo, la relacin de estos con el espacio [a; b] de las funciones -lipchitzianas (0 < < 1), al igual que la no separabilidad de Vp[a; b] y la separabilidad de Cp[a; b]. ( ( ) ) sobre [0,1] muestra que no toda funcin continua en El ejemplo ( ) un intervalo cerrado [a,b] es de variacin acotada. En cambio ( ) es una funcin de variacin acotada sobre [0,1].

LAS FUNCIONES DE P-VARIACIN ACOTADA Y ABSOLUTAMENTE PCONTINUAS

1. El Espacio Vp[A,B] De Las Funciones De P Variacin Acotada Definicin: Una funcin f definida sobre el intervalo [a,b] es de p-variacin acotada ( valor Vp(f) = ( | ( ) ( )| ) ) si el

* + Es finito, donde el supremo se toma sobre todas las particiones de [a,b]. El espacio Vp[a,b] de las funciones de p-variacin acotada con el valor inicial f(a)=0 es un espacio de Banach con la norma ||.||Vp = Vp(.)

Julieth Katherine Rodrguez Gutirrez Cdigo= 200911504 Toda funcin de p-variacin acotada en el intervalo cerrado [a,b] es acotada en el intervalo dado. En los siguientes teoremas se presentan algunas importantes propiedades de esos espacios: Teorema 1 Toda funcin de p-variacin acotada en [a; b] es tambin de q-variacin acotada para todo nmero real q > p y tiene a lo sumo una cantidad numerable de discontinuidades, todas evitables o no evitables de primera especie. Teorema 2 El espacio Vp[a,b] es no separable.

2. El Espacio Cp[A,B] De Las Funciones Absolutamente P-Continuas Definicin: El modulo de p-continuidad ( por
p(

) de una funcin f definida en [a,b] est definido ( )| ) del para toda ( )( ) = 0

)(f) =

| ( )

Donde el supremo se toma sobre todas las particiones ) intervalo cerrado [a,b], para las que se cumple ( Una funcin se dice absolutamente p-continua si se cumple:

El espacio Cp[a,b] de las funciones absolutamente p-continuas con el valor inicial f( ) es un subespacio cerrado de Vp[a,b]. Un ejemplo interesante resulta la conocida funcin de Weierstrass: ( ) ( ) , -

Para un nmero entero cualquiera p-continua para todo nmero real

, la cual es de 2-variacin acotada y absolutamente

Teorema 3 Toda funcin absolutamente p-continua en [a,b] es continua en ese intervalo. El reciproco no se cumple en general. Teorema 4

Julieth Katherine Rodrguez Gutirrez Cdigo= 200911504 Para toda funcin f de p-variacin acotada sobre [a, b] se define para todo x del intervalo [a,b] la funcin (x) = Vp(f,a,x) como la p-variacin de f en el intervalo [a,x] [a,b], la cual es montona creciente. Si f es absolutamente p-continua, entonces tambin es absolutamente p-continua en [a,b]. Una funcin f definida en el intervalo cerrado [a,b] se dice Lipschitz-continua del orden para 0 < 1, si para cualesquiera dos puntos x, y de [a,b] se cumple la desigualdad | ( ) ( )| | | , con una constante M que slo depende de f. Teorema 5 Toda funcin Lipschitz-continua del orden continua en [a,b] para todo nmero real p > . Teorema 6 El espacio Cp[a,b] es separable. En el espacio Cp[a,b] los elementos ms sencillos (despus de las constantes) son las funciones polinmicas (o simplemente polinomios). Adems el conjunto de estas funciones es bastante rico: dada una funcin x y n puntos , siempre existe un elemento de que coincide con x en esos puntos a saber: ( ) ( ) ( ) donde ( )

es de -variacin acotada y absolutamente p-

Por ltimo, si solo se considera el conjunto formado por los polinomios de coeficientes racionales, entonces, como cada polinomio ( , -) est completamente determinado por el conjunto ordenado de sus coeficientes: { +, resulta que entre y la familia de todas las sucesiones finitas de nmeros racionales puede establecerse una correspondencia uno a uno, y como esta familia es numerable, es numerable.

3. Funcionales En Los Espacios Normados Sea X un espacio vectorial normado (en |R). Una funcin de codominio real f de finida en X, es decir, f: X-|R, es un funcional. Definicin: Un funcional f de finido en X es lineal si i) F(x+y) = f(x)+f(y), para todo x e y en X ii) F(kx)=k[f(x)], para todo x en X, k en |R Un funcional lineal f definido en X es acotado si | ( )| .

|| ||

Julieth Katherine Rodrguez Gutirrez Cdigo= 200911504

Ejemplo: Sea X el espacio de todas las funciones continuas de codominio real definidas en [a,b] y *| ( )| , -+ es decir X: C[a, b]. Sea I: dotadas de la norma || || definida por ( ) Entonces I es un funcional lineal; ya que: i) ( ii) ( ) ) ( ( ) , ( )( )) ( ) ( ) ( ) ( ) ( ) ( ) ( )

Adems M=b-a es una cota de I porque ( ) Proposicin: Sean f y g funcionales lineales acotados definidos en . Entonces, f+g y k*f tambin son funciones lineales acotados de X. X y sea ( ) *| ( )|+ || ||

Asi, pues la clase X* de todos los funcionales lineales acotados de X es un espacio vectorial. Proposicin: La funcin definida en X* por || || { ||
| ( )| ||

} es una norma. || || , entonces en particular,

Notese que, si M es una cota de f, es decir,| ( )| para ,

| ( )| || ||

y por consiguiente || ||

. De hecho || || podra definirse

equivalentemente por || || * +

Observacin: El espacio normado de todas las funciones lineales acotadas definidas en X se denomina espacio dual de X.

Julieth Katherine Rodrguez Gutirrez Cdigo= 200911504

4. Estudios Sobre El Espacio Dual De Cp[A; B] Las integrales de Riemann-Stieljes, cuya definicin se presenta a continuacin, juegan un importante papel en los teoremas de representacin de espacios de normados. Definicin: Sean f, g dos funciones cualesquiera definidas sobre el intervalo cerrado [a, b]. Sea : a = t0 < t1 << tn = b una particin cualquiera de [a, b] y sean los puntos - para . Entonces el valor ( ) ( )( ( ) ( )) ,

Se llama suma de Riemann-Stieltjes de f respecto a g y . Se dice que la funcin f es Riemann-Stieltjes integrable respecto a g en [a, b], si existe un nmero real I, tal que, para todo > 0 existe un nmero real > 0 con | ( ) |

para cualquier particin de norma menor que y cualquier seleccin de los puntos intermedios . En ese caso, el nmero real I se llama integral de Riemann-Stieltjes de f respecto a g en [a, b] y se denota por ( ) ( )

Referencia Bibliogrfica LIPSCHUTZ, SEYMOUR. Teora y problemas de topologa general. Libros McGRAWHILL.1970 A.N. Kolmogorov, S:V: Fomin: Elementos de la Teora de Funciones y del Anlisis Funcional, Editorial MIR, Mosc, (1978). Pdf. ESPACIOS DE JAMES01. http://personales.ya.com/casanchi/mat/espaciojames01.htm Encontrado en: