UNIVERSIDAD NACIONAL “SAN LUIS GONZAGA” DE ICA

INSTITUTO DE INVESTIGACIÓN CIENTÍFICA

“SEBASTIAN BARRANCA LOVERA”

FACULTAD DE CIENCIAS
TÍTULO DE LA INVESTIGACIÓN:

“TEOREMA DE LA APLICACIÓN ABIERTA Y SUS APLICACIONES”

AUTORES:
Mag. RUBEN TITO FLORES
Lic. OSWALDO YANCE MENDOZA.
Lic. FRANKLIN EDWARD JUNES FLORES.
ICA, 2018

1
 INDICE

PÁGINA

1. DATOS GENERALES 1
2. ESTRUCTURA 2
3. CAPITULO I 4
4. CAPITULO II RESULTADO PRINCIPAL 14
5. CONCLUSIONES Y RECOMENDACIONES 18
6. FUENTES DE INFORMACIÓN 19
7. PROYECTO DE INVESTIGACIÓN 20

2
1. DATOS GENERALES
1.1 Código
1.2 Título:“TEOREMA DE LA APLICACIÓN ABIERTA Y SUS
APLICACIONES”
1.3 Línea de Investigación: CONCYTEC
1.4 Tipo de Investigación: Básica.
1.5 Nivel de Investigación: Descriptiva
1.6 Autores del Proyecto:
1.6.1 Mag. Rubén TITO FLORES, Profesor Principal a D.E. Nombrado,
Escuela de Matemática e Informática, adscrito al Departamento de
Matemática de la Facultad de Ciencias de la Universidad Nacional
“San Luis Gonzaga” de Ica.
1.6.2 Lic. Oswaldo YANCE MENDOZA, Profesor Asociado a D.E.
Nombrado, Escuela de Matemática e Informática, adscrito al
Departamento de Matemática de la Facultad de Ciencias de la
Universidad Nacional “San Luis Gonzaga” de Ica.
1.6.3 Lic. Franklin Edward JUNES FLORES, Profesor Asociado T.P
Nombrado, adscrito a la Facultad de Obstetricia de la Universidad
Nacional “San Luis Gonzaga” de Ica.
1.7 Entidad vinculada al Proyecto:
- UNICA
- Facultad de Ciencias. Departamento Académico de Matemática.
1.8 Finalidad de la Investigación: Elaborar material de enseñanza.
1.9 Fecha de Presentación del Proyecto: 23 de marzo de 2018.
1.10 Firma y pos firma de los investigadores

……………………………. ……..…………………………………
Mag. RUBEN TITO FLORES Lic. OSWALDO YANCE MENDOZA
RESPONSABLE RESPONSABLE

……...………………………………………
Lic. FRANKLIN EDWARD JUNES FLORES
RESPONSABLE

1.11 Teléfono y correo electrónico de los responsables del proyecto de

Investigación

3
 Mag. Rubén Tito Flores cel. 956937795 ptof_rubentito@hotmail.com
Lic. Oswaldo Yance Mendoza cel. 966646669
Lic. Franklin Edwar Junes Flores cel. 968408038 franklinjunes@yahoo.es

2. ESTRUCTURA DEL INFORME FINAL DEL PROYECTO DE

INVESTIGACIÓN
2.1 Planteamiento del Problema:
2.1.1 Descripción de la realidad problemática:
En el presente trabajo de investigación se estudiará el Teorema de la
Aplicación Abierta y sus Aplicaciones, que es uno de los Teoremas
pilares del análisis funcional
2.1.2 Formulación del Problema Principal y Específico.
Sean E,F espacios de Banach, T : E  F , una transformación
lineal. ¿Bajo qué condiciones T es una aplicación abierta?
2.2 Fundamentos Teóricos de la Investigación:
2.2.1 Marco Teórico:
Para la realización del trabajo de investigación, usaremos algunos
aspectos básicos del algebra lineal y algunos conceptos del análisis
funcional que son, espacio normado, espacio de Banach, conceptos
topológicos en espacios normados. El trabajo que realizaremos está
inmerso en los espacios de Banach.
2.2.2 Antecedentes de la Investigación:
Dada la aplicación f : X  Y entre espacios topológicos f es una
aplicación abierta si G es abierto en X, entonces f(G) es abierto en Y.
en el contexto de los espacios de Banach E y F, si T : E  F es
una transformación lineal continua y sobreyectiva, entonces T es una
aplicación abierta.
El primer matemático que estudió este resultado dado en líneas
arriba fue Stefan Banach (1842 - 1945) nacido en Gracovia de
origen humilde escasos recursos económicos.

2.2.3 Marco Conceptual:

En el presente trabajo de investigación se estudiará el Teorema de la

Aplicación Abierta y sus Aplicaciones, correspondiente al análisis

4
 funcional para ello usaremos conceptos de Transformaciones
Lineales, Espacios de Banach, Topología es un espacio normado,
sucesiones convergentes y sucesiones de Cauchy en espacios
normados, aplicación continua, aplicación abierta, conjunto de
primera o segunda categoría

2.3 Objetivos de la Investigación

2.3.1 Justificación e Importancia: La importancia radica en sus

aplicaciones del Teorema de la aplicación abierta y además el
mencionado teorema es uno de los teoremas fundamentales del
análisis funcional
2.3.2 Objetivo General y Específicos:

General: Enunciar y demostrar el teorema de la aplicación

abierta constituye el resultado central del trabajo de investigación.

Específicos:
- Enunciar y demostrar el teorema de la aplicación inversa.
- Enunciar y demostrar un teorema del gráfico cerrado
2.4 Hipótesis y Variables
Sean E y F espacios de Banach T : E  F es una transformación
lineal continua y sobreyectiva, entonces T es una aplicación abierta.
2.5 Metodología:
2.5.1 Población y Muestra: Ecuaciones de Evolución y Ecuaciones
diferenciales Parciales Lineales
2.5.2 Diseño:Utilizaremos materiales bibliográficos especializados
como textos y revistas relacionados con nuestra área de investigación.
En el trabajo de investigación a realizarse haremos el uso de método
para funciones lógico inductivo – deductivo sustentado en una previa
descripción para funciones f : X  Y , donde f es una transformación
lineal y X, Y son espacios de Banach.
2.6 Presentación e interpretación de los resultados

5
CAPÍTULO I: TRANSFORMACIONES LINEALES ENTRE ESPACIOS
NORMADOS Y CONTINUAS ( PRELIMINARES)

1.1. ESPACIOS NORMADOS

Definición 1.1.1: Sea E un espacio vectorial sobre IK ( o ). Una

aplicación . : E  se llama una norma en E (o sobre E )si, y sólo sí

satisface las condiciones siguientes.

(i) x  0, para todo x  E
(ii) x  0 si y sólo si x  0
(iii)  x   x , para todo x  E y todo   IK
(iv) x  y  x  y , para todo x, y  E

Definición 1.1.2 : Un espacio vectorial normado sobre IK es un par ( E, . ),

donde E es un espacio vectorial sobre IK y . es una norma sobre E.

1.2 TRANSFORMACIONES LINEALES

Definición 1.2.1: Sean X,Y espacios normados. Se dice que la aplicación y

T : X  Y es lineal si, y sólo si, verifica las propiedades siguientes:

(i ) T ( x  y )  T ( x)  T ( y ), para todo x, y  X
(ii ) T ( x)   T ( x), para todo x, y  X y todo   IK

Definición 1.2.2 : Sean X y Y espacios normados. Se dice que la aplicación

y T : X  Y es continua en a  X sí, y sólo si, dado   0, existe   0 tal

que si x  a   entonces T ( x)  T (a)   , T es continua en todo punto.

Definición 1.2.3 : Si X y Y son espacios normados, se dice que la aplicación

y T : X  Y es continua en X si, y sólo si, T es continua en todo punto
a  X.

Teorema 1.2.1 : Sea T : X  Y una transformación lineal. Entonces. T es

continua en X sí, y sólo si es continua en cero ( 0  X ).

Prueba

6
()Como T es continua en X , entonces T es continua en cada punto x  X.
0
Luego,
 >0,  >0 tal que x  X y x  x <  T ( x)  T ( x ) < .
0 0
En particular cuando x  0  X se tiene x <  T ( x)  T (0) <
0
Es decir:
x <  T ( x) < , pues T (0)  0
Por lo tanto T es continua en 0.
(  ) Si T es continua en x  0  X , entonces
0
  >0,  >0 tal que x  X y x <  T ( x) < .............(*)
Sea y  X arbitrario, fijando y  Y , por (*) se tiene x  y < 
T ( x)  T ( y ) = T ( x  y ) < , pues x  y  X .
por lo tanto T es continua en X .
Definición 1.2.4: Sean X y Y espacios normados. Una transformación
lineal T : X  Y se llama acotado si existe un número real M >0 tal que
T ( x)  M x para todo x  X .

Teorema 1.2.2 :Sea T : X  Y una transformación. Entonces, T es acotado en

X, si y sólo si es acotado.

Prueba

() Si T es continua en X , por el Teorema 1.2.1

T es continua en cada punto 0  X, entonces

para  =1>0,  >0 tal que x  X y x <  T ( x) <1.......(*)

x  1
Si x  X y x  0, definimos z  , z = x = <
2 x 2 x 2

Como z   por (*) se tiene T ( x) <1.

7
 Por linealidad de T resulta:
x 
T ( z) = T ( ) = T ( x)  1
2 x 2 x
2
 T ( x)  x para todo x  X

Por lo tanto T es acotado.
(  ) Si T es acotado, existe un número real M  0
tal que T ( x)  M x para todo x  X
veamos que T es continua en 0  X

Sea  >0, cualquiera, existe   >0
M

tal que x  X y x < M x 
M
De la hipótesis resulta T ( x)  M x <
Es decir

Dado  >0,   >0 tal que x  X y x <  T ( x)  
M
Luego T es continua en 0  X y por el Teorema 1.2.1
T es continua en X .

Teorema 1.2.3: Sea f : X  una funcional lineal. Entonces, donde X es un

espacio normado. Entonces f es continua en X sí, y sólo si, el kernel (espacio
nulo) es cerrado.

Prueba:
() Sea f continua en X (hipótesis)
Veamos que Ker ( f )   x  X : f ( x)  0 es cerrado
En efecto:
x  Ker ( f )  f ( x)  0  x  f 1 (0)
Entonces, Ker ( f )  f 1 (0)
como 0  es cerrado en y f continua en X ,
entonces f 1 (0) es cerrado en X y por lo tanto Ker ( f ) es cerrado.

8
(  )Supongamos que T no es continua en X (hipótesis auxiliar)
existen  xn   X y  >0, tal que lim xn  0 y lim f ( xn )  f (0)  0
n  n 

Es decir:
existen  xn   X y  >0, tal que lim xn  0 y f ( xn )    0 si n  .
n 

Consideremos z  X tal que f ( z )  1, es decir z  Ker ( f )

x
Para cada n  ,sea zn  z  n
f ( xn )
xn 1
Pues f ( zn )  f ( z  )  f ( z)  f ( xn )  1  1  0
f ( xn ) f ( xn )
 zn  ker( f )
Además:
xn
lim zn  z  lim  z 0  z
n  n  f ( xn )
Entonces
 zn   Ker ( f ) tal que lim zn  z  z  Ker ( f )
n 

Luego  z  Ker ( f ) y z  Ker ( f )  Ker ( f )  Ker ( f )

por lo tanto ker( f ) no es cerrado.

Lema 1.2.4 : Sea X un espacio normado y f : n

 E una aplicación lineal,
entonces f es continua.

Prueba
n
Si x  ( x1 , x2 ,..., xn )  n
entonces x   xi ei , donde
i 1

e1 , e2 ,..., en  es la base cónica de n

, luego se tiene que
n n
f ( x)=f ( xi ei )   xi f (ei )
i 1 i 1
n n n
f ( x) =  x f (e )  
i 1
i i
i 1
xi f (ei )  xi f (ei )
i 1
n
  xi f (ei )  k x
i 1

Es decir f ( x)  k x para todo x  n

, donde
k  máx  f (ei ) : i  1,..., n lo cual implica que f es acotada
y por lo tanto continua.

9
Teorema 1.2.5: Si X es un espacio normado de dimensión finita n, entonces
existe un isomorfismo lineal topológico  entre n
y X; es decir, existe una

aplicación : n
 X biyectiva, lineal y continua y tal que  1 es continua.

Prueba
Sea B   x1 , x2 ,..., xn  una base de X , entonces para todo x  X ,
n
existen 1 ,  2 ,...,  n  tales que x    i xi
i 1
n
Definamos : n
 X mediante  (1 ,  2 ,...,  n )=   i xi  x,
i 1

para todo (1 ,  2 ,...,  n )  n

(1)Linealidad:(1 ,  2 ,...,  n ), (1 ,  2 ,...,  n )  n

y .

 ((1 ,  2 ,...,  n )+(1 ,  2 ,...,  n )) = (1  1 ,  2   2 ,...,  n + n )

n
=  ( i +i ) xi
i 1
n n
   i xi   i xi
i 1 i 1

= (1 ,  2 ,...,  n )+ (1 ,  2 ,...,  n )

n n
 ( (1 ,  2 ,...,  n ))= (1 ,  2 ,...,  n )=  ( i ) xi     i xi
i 1 i 1

  (1 ,  2 ,...,  n )

(2)Inyectiva: (1 ,  2 ,...,  n ), (1 ,  2 ,...,  n )  n

Si  (1 ,  2 ,...,  n )= (1 ,  2 ,...,  n )

n n
   i xi   i xi
i 1 i 1
n
  ( i  i ) xi  0
i 1

  i  i  0, i  1, 2,..., n, pues  es linealmente independiente

  i  i , i  1, 2,..., n

Por lo tanto (1 ,  2 ,...,  n ) = (1 ,  2 ,...,  n )

10
 (3)  es suryectiva
n
Pues si u  E entonces u    i xi , luego existe
i 1

(1 ,  2 ,...,  n )  n
tal que  (1 ,  2 ,...,  n ) = u

En consecuencia : n
 X es lineal y biyectiva, lo que implica
que existe
 1 : E  n
que también es lineal y biyectiva.

Probaremos que : n  X es un homeomorfismo

  es continua por el lema 1.2.4
 Veamos que  1 es continua

Sea S (0,1)   x  n
/ x  1  n

Si u  S (0,1) entonces u  0 y siendo  inyectiva  (u )   (0) = 0

Por tanto  (u )  0, para todo u  S (0,1)

S (0,1)   X 
:S (0,1) 
u (  )(u )  ( (u ))   (u )
Como  es continua y  (u )  0, u  S (0,1), siendo S (0,1)
compacto en n
, existe  >0 para todo u  S (0,1)

x
 Si x  0, poniendo u  se sigue que u  S (0,1)
x
x
Como u  x x u
x
 ( x)   ( x u )  x  (u )
 ( x)  x  (u )   x para todo x  n
,x  0

 Si x  0 se cumple  ( x)   x ,
Por lo tanto  ( x)   x para todo x  n
.
Si y   ( x)  X si, y sólo si, x   ( y )  1 n
, se sigue que
1
 1 ( y )  y para todo y  n y  > 0

por lo tanto  1 : X  n
es continua.

11
Definición 1.2.5 : Sea (X, d) un espacio métrico. Un subconjunto A  X se

llama denso X si A  X
Definición 1.2.6 : Sea (X, d) un espacio métrico. Un subconjunto A  X se

llama denso en ninguna parte (o nunca denso) si int( A)  

Ejemplo
 , es nunca denso
Pues:int( )  int( )   , puesto que es cerrado,
donde c
  n, n  1 
n

Si int( )   (hipótesis auxiliar)

 x int( )
   0 / B( x,  )   , es decir, es nunca denso.

Definición 1.2.7 : Sea (X, d) un espacio métrico. Un subconjunto se llama de

primera categoría en X, si existe una sucesión ( A)n del subconjunto X tal que

A An y int( A)   , n  .
n

Si A  X no es de primera categoría en X, entonces A se llama de segunda

categoría en X.

Teorema 1.2.5 : (Teorema de Baire) Sea (X, d) un espacio métrico completo

y ( A)n una sucesión de subconjuntos de X no vacíos y cerrados. Si para cada

n  ,int( A)   , entonces int( An )  
n 1

Prueba
Definamos U n  X  An , para todo n  . Como cada An es cerrado, se tiene
que Un es abierto.
Afirmación :
Si   A  X entonces A  X  int( X  A).............( I )

Pues:
(i) Como int( X  A)  X  A

 A  (int( X  A))c

12
  A  X  X  (int( X  A))c

 A  X  (int( X  A))c (cerrado)

 A  X  (int( X  A))c  X  (int( X  A))c

 A  X  int( X  A).

(ii )Supóngamos que X  int( X  A)  A

 z / z  X  int( X  A) y z  A
 z  int( X  A) y z  A
   0, B( z ,  )  X  A y z  A
   0, B( z ,  )  A   y z  A
 z A y z A (contradicción)

Como U n  X , usando (I ) resulta

U n  X  int( X  U n )  X  int( An )  X , para todo n  ,

Por lo tanto U n es denso en X .


Veamos que G  U n es denso en X .
n 1

En efecto:
Sea   V  X con V abierto, probaremos que V  G  

Sea z  V  X , como U1 es denso en X ,se tiene X  U1; z  U1 ,

lo cual implica que V  U1  

Tomemos x V  U1 , como V  U1 es abierto existe B( x1 , r1 )

tal que B( x1 , r1 )  V  U1

Podemos tomar B( x1 , r1 )  V  U1 y 0  r1  1

13
Sea x1  X 1 como U 2 es denso en X entonces X  U 2 , x1  U 2 ,
de donde B ( x1 , r1 )  U 2  
tomemos x2  B ( x1 , r1 )  U 2 y B( x1 , r1 )  U 2 es abierto,
entonces existe B ( x2 , r2 ) tal que B ( x2 , r2 )  B ( x1 , r1 )  U 2
1
Podemos considerar B ( x2 , r2 )  B ( x1 , r1 )  U 2 y 0  r2 
2
Se observa que:
B ( x2 , r2 )  B ( x1 , r1 )  B ( x1 , r1 )  U1
Supongamos que se ha construido la bola B ( xn 1 , rn 1 ) tal que
1
B ( xn 1 , rn 1 )  B ( xn  2 , rn  2 ) U n 1 y 0  rn 1 
n 1
Sea xn 1  X  U n , se tiene que B( xn 1 , rn 1 )  U n  
tomemos xn  B ( xn 1 , rn 1 )  U 2 y este conjunto es abierto, entonces
existe B( xn , rn ) tal que
1
B ( xn , rn )  B ( xn 1 , rn 1 ) y B ( xn , rn )  U n y 0  rn  , n 
n
Tomemos que:
B ( xn , rn )  B ( xn 1 , rn 1 ) y B( xn , rn )  U n , n  .
Asi, hemos construido una sucesión ( xn ) de X y una sucesión (rn )
de números positivos.
Veamos que ( xn ) es de cauchy
En efecto:
1
dado   0,  n0  tal que 
n0
Para m, n  n0 , digamos m0  n  n0 se tiene que
xm  B ( xm , rm )  B ( xn0 , rn0 ) y B( xn , rn )  B( xn0 , rn0 )
De donde
xm , xn  B ( xn0 , rn0 )vxm  B ( xm , rm )  B ( xn0 , rn0 )lo cual implica
d ( xm , xn0 )  rn0 y d ( xn , xn0 )  rn0
Por la desigualdad triangular:
2
d ( xm , xn )  d ( xm , xn0 )  d ( xn , xn0 )  rn0  rn0  2rn0   2
n0
d ( xm , xn )  2
Por lo tanto ( xn ) es una sucesión de Cauchy.
Como (X , d ) es completo, existe x  X tal que lim xn  x.
n 

Tomemos n  ,si k  n entonces

xk  B ( xk , rk )  B ( xn , rn ), xk  B ( xn , rn ), k  n.
Como lim xn  x, donde ( xk )  ( xn ), entonces
n 

z  B ( xn , rn )  B (xn , rn ), z  B (xn , rn ), n  ,
Luego z  B (xn , rn ), por lo tanto B (xn , rn )  
n n

14
Tenemos que:
B( xn , rn )  B( xn 1 , rn 1 )  V , n 
B(xn , rn )  V ........(*)
n

Como B(xn , rn )  U n , n  entonces

B(xn , rn )  U n ...............(**)
n n

De (*) y (**) se tiene:

 B (xn , rn )  V  ( U n ) entonces
n n

V ( U n )   , por lo tanto U n es denso en X .

n n


Probaremos que int( An )  
n 1

Si en (I ) reemplazamos A por X  A se obtiene

X  A  X  int( A) para todo A  X ........(1)

Ahora, como:
  
G Un  ( X  An )  X  ( An ) y considerando que
n 1 n 1 n 1

G es denso en X , y de (1) se tiene:

  
X G = X  ( An ) = X -int( An ), lo cual implica int( An )  
n 1 n 1 n 1

Corolario 1.2.6 : Sea (X, d) un espacio métrico completo y ( A)n una


sucesión de subconjuntos de X no vacíos y cerrados tal que An  X ,
n 1

entonces existe un numero natural n0 tal que int( An0 )   .

Prueba
Supongamos que int( An0 )   , n  (hipótesis auxiliar)

Entonces por el Teorema de Baire se tiene

 
int( An )   .Luego de X  An , se tiene
n 1 n 1
 
int( X )  int( An )    X   y X  An   (contradicción)
n 1 n 1

15
CAPÍTULO II TEOREMA DE LA APLICACIÓN ABIERTA Y SUS
APLICACIONES
2.1 RESULTADO PRINCIPAL 1
Lema 2.1.1 : Sean E y F espacios de Banach, T : E  F una aplicación lineal
continua y sobreyectiva. Entonces existe c  0 tal que

B(0, 2c)  T ( B(0,1)).

Prueba:


Como E = B(0, n) y T es sobreyectiva, entonces
n 1
  
F  T (E)  ( B(0, n))  T ( B(0, n))  T ( B(0,1))  F
n 1 n 1 n 1

De donde F  T ( B(0,1)) por el corolario del teorema de Baire existe
n 1

n0  tal que int(T ( B(0, n0 )))  

Sea y  int(T ( B(0, n0 ))), existe c  0 tal que
B( y, 4c)  T ( B(0, n0 ))
Como y T ( B(0, n0 )) entonces -y T ( B(0, n0 ))
Luego:
B( y, 4c)  y  T ( B(0, n0 )) + T ( B(0, n0 ))  2T ( B(0, n0 ))
La última igualdad es debido a que T ( B (0, n0 )) es convexo.
Como B( y, 4c)   y  2T ( B(0,1)) se tiene
1 1
( B( y, 4c)   y)  ( B(0, 4c))  B(0, 2c)  T ( B(0,1))
2 2
Entonces B(0, 2c)  T ( B(0,1))

Definición 2.1.1 : Sean E y F espacios vectoriales normados sobre IK.

T : E  F una aplicación lineal. Se dice que T es una aplicación abierta si para
cada conjunto abierto U en E, T(U) es abierto en F.

2.2 RESULTADO PRINCIPAL 2

Teorema 2.2.1 : (TEOREMA DE LA APLICACIÓN ABIERTA)

Sean E y F espacios de Banach, T : E  F una aplicación lineal continua y

sobreyectiva. Entonces T es una aplicación abierta.

16
Prueba :
Por el lema (2.1.1), existe c  0 tal que
B (0, 2cr )  T ( B (0, r )) para r  0 ...........(*)
(*) significa: dado w  B(0, 2cr ),se tiene
w T ( B (0, r )) esto implica dado  >0, B( w,  )  T ( B(0, r ))  
 s / s  B ( w,  ) y s T ( B(0, r ))
 w  s < y s  T ( z ), algún z  B(0, r )
 Dado  >0, existe z  B(0, r ) tal que w  T ( z )   .......(**)
Afirmación : B(0, r )  T ( B (0,1))
En efecto:
c
Sea y  B(0, c) y tomemos  = y por la condición (**)
2
1 1
con r  , existe z1  B(0, ) tal que
2 2
c c
y  T ( z1 )  .Haciendo y  T ( z1 )  w, tenemos que: w  B(0, )
2 2
c 1
Ahora sea  = y por la condición (**) con r 
4 4
1 c
Existe z2  B(0, ) tal que y  T ( z1 )  T ( z2 ) 
4 4
Por recurrencia existe una sucesión ( zn ) tal que
1 c
zn  B (0, )y y  T ( z1  z2  ...  zn ) 
2n 2n
Es decir:
1 c
zn < n y y  T ( z1  z2  ...  zn ) 
2 2n

Se tiene que la serie z
n 1
n converge para un cierto x  F , x 1, pues:
  
1
x   zn   zn  
n 1 n 1 n 1 2
n
1 y T ( x)  y .


c
Puesto que: y  T ( x) = y  T ( zn )  , cuando n  , resulta
n 1 2n
y  T ( x)  0, es decir y  T ( x), lo cual implica que y T ( B(0,1)).
Por lo tanto B(0, c)  T ( B(0,1)).
Sea U un abierto de E, probaremos que T(U) es abierto en F.

17
Tomemos y  T (U ), existe x  U tal que y  T ( x )

Siendo U abierto, existe r  0 tal que B ( x, r )  U , tenemos que

x  B(0, r )  B( x, r )  U de donde se tiene

T ( x)  T ( B(0, r ))  T (U )  y  T ( B(0, r ))  T (U )

De B(0, c)  T ( B(0,1)) se tiene B(0, cr )  T ( B(0, r ))

Luego, se tiene:

y  B(0, cr )  y  T ( B(0, r ))  T (U )

Osea:

B( y, cr )  T (U ), por lo tanto T (U ) es abierto.

Corolario 2.2.2 : (Teorema de la Aplicación Inversa)

Sean E y F espacios de Banach, T : E  F una aplicación lineal,

continua, biyectiva. Entonces T-1 es continua.

Prueba :
T inyectiva (lineal) entonces existe T 1 : Im T  E (es lineal)

T sobreyectiva ( Im T  F ), por el Teorema de la aplicación abierta,

T es abierta.

Como (T 1 ) 1 (U )  T (U ), entonces si U es abierto en E ,

T (U ) es abierto en F . Por lo tanto T 1 es lineal y continua.

18
Corolario 2.2.3 : Sea B un espacio de Banach, E y F subespacios cerrados de B
tal que E  F  0 y E  F  B . Entonces

L:EF B es un homeomorfismo lineal (biyección continua con

( x, y ) L( x, y ) x y

inversa continua)
Prueba :
(1) L es lineal, pues:
L(( x, y )  ( z , w))  L(( x  z , y  w))  x  z  y  w

 ( x  y)  ( z  w)  L( x, y)  L( z , w)

L( ( x, y ))  L( x,  y )   x   y   ( x  y )   L( x, y )

(2) L es sobreyectiva, pues:

x  y  B, ( x, y )  E  F tal que L( x, y )  x  y

(3) L es continua
L ( x, y ) = x  y  x + y = ( x, y ) E F

(4) L es inyectiva
( x, y ), ( z , w)  E  F si L( x, y )  L( z , w)

 x  y  z  w Definición de L

 x  z  w  y, x  z  E  w  y  F

 x z  0 w y  0

xz yw

 ( x, y )  ( z , w)
Como L es lineal, continua, sobreyectiva e inyectiva, entonces por el corolario
2.2.2, T 1 es lineal y continua.

19
3. CONCLUSIONES Y RECOMENDACIONES

3.1 CONCLUSIONES

1. El Teorema de la Aplicación Abierta es un resultado obtenido como una

consecuencia del Teorema de la Categoría de Baire.
2. Si X e Y son espacios normados, T ∈ L(X,Y) es sobreyectivo, entonces T es
un epimorfismo topológico si, y sólo si, T es una aplicación abierta. Esta
última condición es automática cuando X e Y son espacios de Banach.
3. Una consecuencia del Teorema de la Aplicación Abierta es el importante
resultado del Teorema de la Aplicación Inversa, el cual afirma que cualquier
aplicación lineal acotada y biyectiva entre espacio de Banach tiene inversa
acotada.
4. Si X e Y son espacios de Banach y T ∈ L(X,Y) es biyectivo, decir que T es una
aplicación abierta equivale a decir que el operador T-1 es continuo, luego del
Teorema de la Aplicación Abierta deducimos: Teorema de los Isomorfismos
de Banach. Toda biyección lineal continua entre dos espacios de Banach es un
isomorfismo topológico.

3.2 RECOMENDACIONES
1. Si en vez de fortalecer la hipótesis de sobreyectividad del operador T en el
Teorema de la Aplicación Abierta, omitimos dicha hipótesis obtenemos la
siguiente información: Teorema del Homomorfismo de Banach. Sean X e Y
espacios de Banach y T ∈ L(X,Y), entonces: T es un homomorfismo topológico
si, y sólo si, T(X) es cerrado en Y .

20
4. FUENTES DE INFORMACIÓN

1 Rudin, Walter 1973. Análisis Funcional Ed. Mc Graw - Hill. .

2 Plflaumann, E y Unger, H. 1974. Análisis funcional I, Editorial

Alambra
3 Kolmogorov, A.N. 1972. Elementos de la teoría de Funciones y
del análisis Funcional, Editorial MIR.
4 Rudin, Walter. 1979. Análisis Real y Complejo, editorial Alambra.

5 Aizpuru, Antonio. 2009. Apuntes Incompletos del análisis

Funcional UCA Universidad de Cádiz - España

6 Hoyos, José 1978 Introducción al análisis Funcional. UNMSM
7 Santiago, Yolanda 2013 principios Fundamentales del análisis
Funcional UNMSM.

21
 INSTITUTO DE INVESTIGACIÓN CIENTÍFICA

“SEBASTIAN BARRANCA LOVERA”

FACULTAD DE CIENCIAS
TÍTULO DE LA INVESTIGACIÓN:

“TEOREMA DE LA APLICACIÓN ABIERTA Y SUS APLICACIONES”

AUTORES:
Mag. RUBEN TITO FLORES
Lic. OSWALDO YANCE MENDOZA.
Lic. FRANKLIN EDWARD JUNES FLORES.
ICA, 2017

22
 INDICE

PÁG.

1. DATOS GENERALES 3

2. ESTRUCTURA 3

3. ADMINISTRACION DEL PROYETO 5

4. FUENTES DE INFORMACIÓN 7

23
1. DATOS GENERALES
1.1 Código
1.2 Título:“TEOREMA DE LA APLICACIÓN ABIERTA Y SUS
APLICACIONES”
1.3 Línea de Investigación: CONCYTEC
1.4 Tipo de Investigación: Básica.
1.5 Nivel de Investigación: Descriptiva
1.6 Autores del Proyecto:
1.6.1 Mag. Rubén TITO FLORES, Profesor Principal a D.E. Nombrado,
Escuela de Matemática e Informática, adscrito al Departamento de
Matemática de la Facultad de Ciencias de la Universidad Nacional
“San Luis Gonzaga” de Ica.
1.6.2 Lic. Oswaldo YANCE MENDOZA, Profesor Asociado a D.E.
Nombrado, Escuela de Matemática e Informática, adscrito al
Departamento de Matemática de la Facultad de Ciencias de la
Universidad Nacional “San Luis Gonzaga” de Ica.
1.6.3 Lic. Franklin Edward JUNES FLORES, Profesor Asociado T.P
Nombrado, Escuela de Matemática e Informática, adscrito al
Departamento de Matemática de la Facultad de Ciencias de la
Universidad Nacional “San Luis Gonzaga” de Ica.
1.7 Entidad vinculada al Proyecto:
- UNICA
- Facultad de Ciencias. Departamento Académico de matemática.
1.8 Finalidad de la Investigación: Elaborar material de enseñanza que permita
a los estudiantes y profesores como material de consulta.
1.9 Fecha de Presentación del Proyecto: 24 de febrero de 2017.

2. ESTRUCTURA
2.1 Planteamiento del Problema:

2.1.1 Descripción de la realidad problemática:

24
 En el presente trabajo de investigaciónse estudiará el Teorema de la
Aplicación Abierta y sus Aplicaciones, que es uno de los Teoremas
pilares del análisis funcional.

2.1.2 Formulación del Problema Principal y Específico. Sean E,F espacios

de Banach, T : E  F , una transformación lineal. ¿Bajo qué
condiciones T es una aplicación abierta?

2.2 Fundamentos Teóricos de la Investigación:

2.2.1 Marco Teórico: para la realización del trabajo de investigación,
usaremos algunos aspectos básicos del algebra lineal y algunos
conceptos del análisis funcional que son, espacio normado, espacio
de Banach, conceptos topológicos en espacios normados. El trabajo
que realizaremos está inmerso en los espacios de Banach.
2.2.2 Antecedentes de la Investigación: Dada la aplicación f : X  Y
entre espacios topológicos f es una aplicación abierta si G es abierto
en X, entonces f(G) es abierto en Y. en el contexto de los espacios de
Banach E y F, si T : E  F es una transformación lineal continua
y sobreyectiva, entonces T es una aplicación abierta.
El primer matemático que estudió este resultado dado en líneas
arriba fue Stefan Banach (1842 - 1945) nacido en Gracovia de
origen humilde escasos recursos económicos.

2.2.3 Marco Conceptual: En el presente trabajo de investigación se estudiará

el Teorema de la Aplicación Abierta y sus Aplicaciones,
correspondiente al análisis funcional para ello usaremos conceptos
de Transformaciones Lineales, Espacios de Banach, Topología es un
espacio normado, sucesiones convergentes y sucesiones de Cauchy
en espacios normados, aplicación continua, aplicación abierta,
conjunto de primera o segunda categoría

2.3 Objetivos de la Investigación

2.3.1 Justificación e Importancia: La importancia radica en sus aplicaciones

del Teorema de la aplicación abierta y además el mencionado
teorema es uno de los teoremas fundamentales del análisis funcional.

25
 2.3.2 Objetivo General:

Enunciar y demostrar el teorema de la aplicación abierta constituye

el resultado central del trabajo de investigación.

2.3.3 Objetivos específicos

- Enunciar y demostrar el teorema de la aplicación inversa.
- Enunciar y demostrar un teorema del gráfico cerrado

2.4 Hipótesis y Variables

Sean E y F espacios de Banach T : E  F es una transformación
lineal continua y sobreyectiva, entonces T es una aplicación abierta.

2.5 Metodología
Utilizaremos materiales bibliográficos especializados como textos y revistas
relacionados con nuestra área de investigación.
En el trabajo de investigación a realizarse haremos el uso de método para
funciones lógico inductivo – deductivo sustentado en una previa descripción
para funciones f : X  Y , donde f es una transformación lineal y X, Y son
espacios de Banach.

3. ADMINISTRACIÓN DEL PROYECTO

3.1 Programación de Actividades

3.1.1 Duración : Doce (12) Meses

3.1.2 Fecha de Inicio : 01 de Abril de 2017

3.1.3 Fecha de Finalización : 30 de Marzo de 2018.

3.1.4 Cronograma de Trabajo
- Recolección de Datos : 03 Meses
- Análisis de los Resultados : 06 Meses
- Preparación del Informe : 02 Mes
- Impresión : 01 Mes
3.1.5 Etapas:

26
 MESES

ETAPAS A M J J A S O N D E F M

Recolección y
X X X
Organización de Datos

is
de lo Análisis de los Resultados X X X X X X

Preparación del Informe X X

Impresión X

3.2 Presupuesto:

010 Ministerio de Educación

015 Universidad Nacional “San Luis Gonzaga” de Ica

Función 09 : Educación y Cultura

Sub-Programa 0024 : Investigación Básica

5.3.11.20 Viáticos y Asignaciones S/. 1 800.00

5.3.11.20 Materiales de Consumo S/. 3 000.00

5.3.11.32 Pasajes y gastos de transporte S/. 3 000.00

5.3.11.36 Otros Servicios de Terceras Personas S/. 1 000.00

5.3.11.37 Otros Servicios de Terceras Persona Naturales. S/. 1 000.00

TOTAL: S/. 9 800.00

Son nueve mil ochocientos y 00/100 nuevos soles.

4. FUENTES DE INFORMACIÓN

27
 1 Rudin, Walter 1973. Análisis Funcional Ed. Mc Graw - Hill. .

2 Plflaumann, E y Unger, H. 1974. Análisis funcional I, Editorial Alambra

3 Kolmogorov, A.N. 1972. Elementos de la teoría de Funciones y del
análisis Funcional, Editorial MIR.
4 Rudin, Walter. 1979. Análisis Real y Complejo, editorial Alambra.

5 Aizpuru, Antonio. 2009. Apuntes Incompletos del análisis Funcional

UCA Universidad de Cádiz - España

6 Hoyos, José 1978 Introducción al análisis Funcional. UNMSM
7 Santiago, Yolanda 2013 principios Fundamentales del análisis
Funcional UNMSM.
Ica, 24 febrero de 2017.

……………………………. ………..…………………………………
Mag. RUBEN TITO FLORES Lic. OSWALDO YANCE MENDOZA
RESPONSABLE RESPONSABLE

……...………………………………………
Lic. FRANKLIN EDWARD JUNES FLORES
RESPONSABLE

28