Un espacio de Fréchet es una estructura de espacio vectorial topológico que satisface ciertas propiedades de los espacios de Banach aun en ausencia de norma. Este concepto hace referencia a Maurice Fréchet, un matemático francés que contribuyó notablemente a fundar las bases de la topología y a estudiar sus aplicaciones en análisis funcional. Es en este último campo donde la estructura de los espacios de Fréchet revela su utilidad, en particular a la hora de proporcionar una topología natural a los espacios de funciones infinitamente derivables.
Definición
Un espacio de Fréchet es un espacio vectorial topológico real, completo en el sentido de los espacios uniformes, y que satisface alguna de las dos siguientes condiciones equivalentes:
el espacio es localmente convexo y metrizable por una distancia invariante por traslaciones;
existe una familia numerable y separada de continuas que engendra la topología del espacio.
La equivalencia de estas dos condiciones se muestra a partir de la construcción de una familia numerable y separada de seminormas a partir de una distancia invariante arbitraria y recíprocamente. Sin embargo, no hay una biyección natural entre las distancias invariantes compatibles y las familias numerables y separadas de seminormas.
Para un espacio de Fréchet dado, en general existen varias distancias invariantes que definen la topología y que inducen una estructura de espacio métrico completo. Del mismo modo, no hay una elección canónica de familia de seminormas.
Ejemplos
Todo espacio de Banach es un espacio de Fréchet pero el recíproco no siempre es cierto. En particular, algunos espacios de Fréchet no son normables.
Es el caso del espacio C∞([0,1]) de funciones infinitamente diferenciables en el intervalo [0,1], que puede estar provisto de seminormas para cualquier entero k ≥ 0 :
donde f (0) = f y para todo k > 0, f (k) es la k-ésima derivada de f. En este espacio, una sucesión (fn) de funciones converge a la función si y sólo si para todo k≥0, la sucesión (fn(k)) converge uniformemente a f (k).
De forma más general, si M es una variedad compacta lisa y B un espacio de Banach, entonces el espacio de funciones infinitamente diferenciables de M en B puede tener una estructura de espacio de Fréchet gracias a las seminormas definidas por las normas infinito de las derivadas parciales.
El conjunto de funciones continuas de un espacio topológico σ-compacto X en un espacio de Banach puede estar provisto de seminormas definidas por las normas infinito sobre compactos que recubren el espacio X. La topología obtenida se identifica entonces con la topología compacto-abierta de los espacios de funciones. Así, el espacio de las aplicaciones continuas de ℝ en ℝ es un espacio de Fréchet.
Datos:Q1471397
Febrero 20, 2022
espacio, fréchet, para, espacios, topológicos, cumplen, axioma, separación, véase, espacio, espacio, fréchet, estructura, espacio, vectorial, topológico, satisface, ciertas, propiedades, espacios, banach, ausencia, norma, este, concepto, hace, referencia, maur. Para los espacios topologicos que cumplen el axioma de separacion T1 vease Espacio T1 Un espacio de Frechet es una estructura de espacio vectorial topologico que satisface ciertas propiedades de los espacios de Banach aun en ausencia de norma Este concepto hace referencia a Maurice Frechet un matematico frances que contribuyo notablemente a fundar las bases de la topologia y a estudiar sus aplicaciones en analisis funcional Es en este ultimo campo donde la estructura de los espacios de Frechet revela su utilidad en particular a la hora de proporcionar una topologia natural a los espacios de funciones infinitamente derivables Definicion EditarUn espacio de Frechet es un espacio vectorial topologico real completo en el sentido de los espacios uniformes y que satisface alguna de las dos siguientes condiciones equivalentes el espacio es localmente convexo y metrizable por una distancia invariante por traslaciones existe una familia numerable y separada de continuas que engendra la topologia del espacio La equivalencia de estas dos condiciones se muestra a partir de la construccion de una familia numerable y separada de seminormas a partir de una distancia invariante arbitraria y reciprocamente Sin embargo no hay una biyeccion natural entre las distancias invariantes compatibles y las familias numerables y separadas de seminormas Para un espacio de Frechet dado en general existen varias distancias invariantes que definen la topologia y que inducen una estructura de espacio metrico completo Del mismo modo no hay una eleccion canonica de familia de seminormas Ejemplos EditarTodo espacio de Banach es un espacio de Frechet pero el reciproco no siempre es cierto En particular algunos espacios de Frechet no son normables Es el caso del espacio C 0 1 de funciones infinitamente diferenciables en el intervalo 0 1 que puede estar provisto de seminormas para cualquier entero k 0 f k sup x 0 1 f k x displaystyle f k sup x in 0 1 left f k x right donde f 0 f y para todo k gt 0 f k es la k esima derivada de f En este espacio una sucesion fn de funciones converge a la funcion f C 0 1 displaystyle f in mathcal C infty 0 1 si y solo si para todo k 0 la sucesion fn k converge uniformemente a f k De forma mas general si M es una variedad compacta lisa y B un espacio de Banach entonces el espacio de funciones infinitamente diferenciables de M en B puede tener una estructura de espacio de Frechet gracias a las seminormas definidas por las normas infinito de las derivadas parciales El conjunto de funciones continuas de un espacio topologico s compacto X en un espacio de Banach puede estar provisto de seminormas definidas por las normas infinito sobre compactos que recubren el espacio X La topologia obtenida se identifica entonces con la topologia compacto abierta de los espacios de funciones Asi el espacio de las aplicaciones continuas de ℝ en ℝ es un espacio de Frechet Datos Q1471397 Obtenido de https es wikipedia org w index php title Espacio de Frechet amp oldid 120668010, wikipedia, wiki, leyendo, leer, libro, biblioteca,
