Espacio de Fréchet

Espacio de Fréchet

Espacio de Fréchet

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 :

\|f\|_k = \sup_{x\in[0;1]}\left|f^{(k)}(x)\right|

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 f\in\mathcal{C}^\infty([0;1]) 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.

Obtenido de "Espacio de Fr%C3%A9chet"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Espacio de Schwartz — Saltar a navegación, búsqueda En matemáticas, un espacio de Schwartz es un espacio funcional de funciones de decrecimiento rápido. Este tipo de espacio tiene la propiedad interesante de que la transformada de Fourier es un automorfismo de este… …   Wikipedia Español

  • Espacio de Banach — Saltar a navegación, búsqueda En matemáticas, los espacios de Banach, llamados así en honor de Stefan Banach, son uno de los objetos de estudio más importantes en análisis funcional. Los espacios de Banach son típicamente espacios de funciones de …   Wikipedia Español

  • Espacio localmente convexo — Saltar a navegación, búsqueda En análisis funcional y en áreas relativas a las matemáticas, espacios vectoriales topológicos localmente convexos ó espacios localmenete convexos son ejemplos de espacios vectoriales topológicos los cuales… …   Wikipedia Español

  • Maurice Fréchet — Maurice René Fréchet Maurice René Fréchet, (Maligny, 2 de septiembre de 1878 París, 4 de junio de 1973), fue un matemático francés. Trabajó en topología, teoría de la probabilidad y la estadística …   Wikipedia Español

  • Función continuamente diferenciable — Una función continuamente diferenciable. En análisis matemático, una clase diferenciable es una clasificación de una función de acuerdo a las propiedades de sus derivadas. Clases diferenciales de orden superior corresponden a la existencia de más …   Wikipedia Español

  • T1 — puede referirse a: Digital Signal 1, abreviado DS1 o T1, un estándar de entramado y señalización para transmisión digital de voz y datos. Espacio de Fréchet o T1, un espacio topológico que cumple el axioma de separación T1. Círculo, denotado T1… …   Wikipedia Español

  • Axiomas de separación — Saltar a navegación, búsqueda Uno de los grados posibles de separación es el de los espacios T2 o Hausdorff, en que puntos diferentes siempre están separados por abiertos disjuntos. La Topología es una rama de las matemáticas donde lo que importa …   Wikipedia Español

  • Variedad de Banach — En matemáticas, una variedad de Banach es una variedad modelada sobre espacios de Banach. Más concretamente, es un espacio topológico en el que cada punto tiene un entorno homeomorfo a un abierto de un espacio de Banach. Las variedades de Banach… …   Wikipedia Español

  • Variedad (matemática) — En una esfera, la suma de los ángulos de un triángulo no es igual a 180°, pues una esfera no es un espacio euclídeo. Sin embargo, localmente, las leyes de la geometría euclídea son buenas aproximaciones. Este ejemplo ilustra cómo la esfera puede… …   Wikipedia Español

  • Topología — Para otros usos de este término, véase Topología (desambiguación). Ilustración del Teor …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”