ANLISIS FUNCIONAL

(Ejercicio)
ELABORADO POR:
GIUSSEPPE BENITO BERVIS QUINTERO
DOCENTE: DR. RAFAEL AVENDAO.
CONCEPTOS PRELIMINARES
 APLICACIN

Se considera una aplicacin de un conjunto de partida A en un conjunto

de llegada B. A una correspondencia que asocia a un elemento del
conjunto A un elemento del conjunto B. El elemento se denomina
imagen del elemento , mientras que el elemento se llama antecedente
del elemento .
 ESPACIO MTRICO

Un espacio mtrico es un par (, ), formado por un conjunto no vaco y

una funcin
: ,
llamada funcin distancia o mtrica de , tal que
1. (, ) = si y slo si = ,
2. (, ) = (, ) para todo , (simetra),
3. (, ) (, ) + (, ) para todo , , (desigualdad triangular).
 ESPACIO MTRICO COMPLETO

En anlisis matemtico un espacio mtrico (, ), se dice que es

completo si toda sucesin de Cauchy contenida en X converge a un
elemento de X, es decir, existe un elemento del espacio que es el lmite
de la sucesin.
 FUNCIN CORTA
En matemticas, una funcin corta es una funcin de un espacio
mtrico X en otro espacio mtrico tal que para todos ,
tenemos
, (, )
Aqu y denotan mtricas en y , respectivamente. En otras
palabras, es corta si y solo si es 1-Lipschitz.

Podemos decir que es estrictamente corta si la desigualdad, salvo en

el caso = , es siempre estricta. Entonces una contraccin es
estrictamente corta, pero no recprocamente (incluso con = ).
 SUCESIN DE CAUCHY

En un Espacio mtrico (X,d), una sucesin

, , ,
se dice de Cauchy si para todo nmero real > existe un nmero
natural N(), tal que para todos , > , la distancia
( , ) <
Esto implica que los elementos de la sucesin se van acercando uno
con otro.
 PRINCIPIO DE APLICACIONES
CONTRADAS
Toda aplicacin contrada, definida en un espacio mtrico completo
X tiene un punto fijo, y slo uno, (es decir, la ecuacin f(x)=x tiene
una solucin, y solamente una)

EJERCICIO

Desde el principio de aplicaciones contradas, demuestre que para la

existencia de un punto fijo no es suficiente que se cumpla la
condicin
, < ,
POR SU ATENCIN.