Espacio Banach

INDICE GENERAL

1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 03

2. Definición de Espacios Vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . 04

3. Definición de espacios normados . . . . . . . . . . . . . . . . . . . . . . . . . . . 04

4. Definición de espacios completos. . . . . . . . . . . . . . . . . . . . . . . . . . . 04

5. Definición de cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 04

6. Definición de Espacios de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . 04

7. Proposición . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 05

8. Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 06

9. Ejemplos de espacios de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 07

10. Conclusiones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 09

11. Referencias Bibliográficas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

pág. 1
Espacio Banach

INTRODUCCIÓN

Muchos de los problemas que estudian los analistas no están relacionados

originalmente con un objeto sencillo como una función, una medida o un operador, si

no con una larga clase de objetos. Muchas de las clases importantes que aparecen son

espacios vectoriales. Como el paso al límite juega un papel importante en todo

problema analítico, estos espacios vectoriales son provistos de métricas (o al menos de

topologías) que conllevan una relación natural con los objetos que están hechos los

espacios. La manera más simple de hacer esto es introduciendo una norma. El

resultado es un espacio normado.

Los espacios de Banach son espacios normados en los que vale el teorema de

Bolzano-Cauchy, es decir, son espacios en los que toda sucesión de Cauchy es

convergente (esto se conoce actualmente como completitud).

Por sus muchas aplicaciones, en el análisis funcional se ha convertido en una

disciplina matemática muy popular. El propósito de este documento es demostrar un

resultado para el estudio de los espacios de Banach.

pág. 2
 Espacio Banach

Definición 1 (Espacio vectorial)

Un conjunto de objetos E se llama espacio vectorial real y sus elementos se llaman

vectores, si en este se han definido dos operaciones:

a) una suma de vectores (denotada por +)

b) un producto de un número real por un vector.

Definición 2 (Espacio Normado)

Sea X un espacio vectorial sobre K. Una norma en X es una aplicación x ||x||, de

X en R, que cumple las siguientes condiciones para cualquiera x e y en X y λ en K:

I) ‖x‖≥ 0 ; 0 si y sólo si, x = 0

II) ||x + y|| ≤ ||x|| + ||y||

III) ||λx|| = |λ| ||x||

Definición 3 (Sucesiones Cauchy)

∞
Una sucesión { x k }k=1 ⊂ Xse dice de Cauchy si para todo ε > 0 existe k 0> 0 tal que

‖x k −x 1‖< ε para todo k , l≥ k 0

∞
Si { x k }k=1 es convergente, entonces es de Cauchy.

Definición 4 (Espacio Completo)

Toda sucesión de Cauchy es convergente en x, se dice que X es un espacio completo

∞
{ x k }k=1 ⊂ X converge a x ∈ X ( x k → x ) , si‖x k −x‖→0

Definición (Espacio Banach)

Sea X un espacio vectorial normado en el que se define la métrica d ( x , y )=‖x− y‖,

si (x,d) es completo; X se dice que es un espacio Banach.

pág. 3
Espacio Banach

Para su realización haremos uso de la factorización canónica de una aplicación

lineal entre espacios vectoriales:

Si X e Y son espacios vectoriales y T ∶ X → Y es una aplicación lineal, la aplicación

~ d e X/ker T en Y , dada por ~ ( x + ker T ) = T (x) es lineal e inyectiva y ~
T T T =T ∘ π ,

donde π denota la proyección canónica de X en X/Ker T .

Demos contenido topológico a la descomposición anterior.

Proposición

Sean X e Y espacios normados y T ∶ X → Y una aplicación lineal con núcleo cerrado.

Entonces:

~ ~
i) T es contínua si, y sólo si, T e s c o n t i n u a y, en tal caso, ‖T ‖=‖T ‖

~
ii)T es abierta sobre su imagen si, y sólo si, lo es T .

La comprobación es inmediata.

Volviendo a las condiciones del ejercicio, supongamos que X es un espacio de

Banach, Y un espacio normado y T ∶ X → Y una aplicación lineal, continua,

abierta y sobreyectiva. En particular Ker T es cerrado y por tanto X/Ker T es

completo.

~ ~
En virtud de la proposición 2,T es continua y abierta. Puesto que en nuestro caso T e s

biyectiva (la inyectividad se verifica siempre y la sobreyectividad la hereda de T ), podemos

~
concluir que T es un isomorfismo topológico. Tales aplicaciones conservan la completitud

y por consiguiente Y es un espacio de Banach.

pág. 4
 Espacio Banach

Teorema

Si I es compacto, entonces C (I , Rd ) es un espacio de Banach con la norma de supremo.

‖x‖∞ ≔ máx|x (t )|
t ∈I

Demostración. Sea I un intervalo compacto arbitrario. Queremos probar que si xn : I → Rd,

n ≥ 0, es una sucesión cualquiera de funciones continuas tales que

lim ‖x m −x n‖∞=0 ;
m , n→ +∞

entonces necesariamente existe una función continua x*:I → Rd tal que nlim ‖x ¿−x n‖∞=0 ;
→+∞

Paso 1: Existencia de límite puntual. Fijado un punto arbitrario t ∈ I, la sucesión de valores

¿⊂ Rd es una sucesión de Cauchy, pues

lim |x m ( t ) −x n( t)|≤ m ,lim ‖ xm −x n‖∞ =0.

m , n→ +∞ n →+∞

Por tanto, como sabemos que el espacio Rd es completo, esta sucesión de valores tiende a un

valor límite x*(t) ∈ Rd. Es decir, existe una función x*:I → Rd tal que la sucesión de funciones

continuas ¿converge puntualmente a x*(t).

Paso 2: La convergencia anterior no es tan sólo puntual, sino que es uniforme. Estamos

suponiendo que m ,lim

n→ +∞
‖x m −x n‖∞=0. Por tanto, dado un ε > ¿ 0 arbitrario, existe N ε ≥ 0 tal que

max |x m ( t )−x n (t)|=‖x m−x n‖∞< ε

tϵI

En particular, vemos que dado un ϵ > 0 arbitrario, existe N ϵ ≥ 0 tal que

pág. 5
 Espacio Banach

Tomando el limite m → +∞ en esta cota, vemos que dado unϵ > 0 arbitrario, existe N ϵ ≥ 0 tal

que

Paso 3: La función límite es continua.

Ejemplos de espacios Banach

1. Para 1 ≤ p < ∞, definimos la norma p en Rn mediante

‖x‖p =¿ (|x1|p + |x2|p + ··· + |xn| p)1/p ,

donde x = (x1,x2,···,xn) ∈ Rn.

Para p = ∞ definimos la norma del máximo mediante

‖x‖∞= max
1 ≤i ≤n
|x i|.

Rn equipado con la norma p es un espacio de Banach de dimensión finita para 1 ≤ p ≤ ∞.

2. El espacio C([a,b]) de funciones continuas reales (o complejas) definidas en [a,b] con la

norma del supremo es un espacio de Banach. Más generalmente, el espacio C(K) de

funciones continuas en un espacio métrico compacto K equipado con la norma del supremo

es un espacio de Banach.

3. Para 1 ≤ p < ∞, el espacio de sucesiones con la

norma p.

pág. 6
 Espacio Banach

Para p = ∞, el espacio de sucesiones acotadas, l ∞, con

lp es un espacio de Banach de infinitas dimensiones para 1 ≤ p ≤ ∞.

CONCLUSIONES

pág. 7
Espacio Banach

El trabajo realizado nos ha llevado a analizar desde un ámbito más amplio el concepto de

espacio, entre ellos el espacio Banach desarrollado y como resultado importante de esta

investigación en su mayoría de teoremas Su propósito es demostrar que cumplen un rol

importante en los demás espacios conocidos anteriormente que conllevan a una relación

natural con los objetos que están hechos en los espacios.

A partir de los enunciados del espacio vectorial, normado y completo se pudo lograr definir

de forma generalizada las propiedades de las variedades de dimensión finita a espacios de

dimensiones infinitas, espacio de Banach.

REFERENCIAS BIBLIOGRÁFICAS

pág. 8
Espacio Banach

file:///C:/Users/Maria%20Pacherres/Downloads/mamani_cj.pdf

https://www.ugr.es/~dpto_am/miembros/cabello/anteriores/analisis_funcional/Analisis

%20funcional.pdf

pág. 9