Página 1

INTRODUCCIÓN AL ANÁLISIS FUNCIONAL:

ÁREAS DE BANACH Y CÁLCULO DIFERENCIAL

xl = 0
1x + yll = | xl + yl)
px] = | a) - [> 0])
Ix | l = 0> x = 0
lim | xm-xm | = 0> tim | xn-x] | = 0
mn> »c0 m - »co

De
 lim
FO) -fOc) -dfGc) Ge-xo) õ
X> Xy
= * ol |

Página 2

INTRODUCCIÓN AL ANÁLISIS FUNCIONAL:

ÁREAS DE BANACH Y CÁLCULO DIFERENCIAL

por

Leopoldo Nachbin
Universidad Federal del Rio de Janeiro
Río de Janeiro, RJ, BRASIL

Universidad de rochester
Rochester, NY, ESTADOS UNIDOS
 Programa regional para el desarrollo científico y tecnológico
Departamento de Asuntos Científicos
Secretaría General de
ORGANIZACIÓN DE LOS ESTADOS AMERICANOS
Washington, DC - 1976

Página 3

& Copyright 1976 por

La Secretaría General de la
ORGANIZACIÓN DE LOS ESTADOS AMERICANOS
Washington, DE.

Copyright registrado, 1976

Secretaría General de
ORGANIZACIÓN DE LOS ESTADOS AMERICANOS
Washington DC

Esta monografía ha sido preparada para su publicación en el Departamento de

Asuntos Científicos de la Secretaría General de la Organización de los Estados
Estadounidenses
 Coordinador serio: Eva V. Chesneau

Asesor tecnico: Dr. Cesar Carranza

Pontificia Universidad Católica de! Peru

Lima, Peru

Página 4

Homenaje de extrañar a mi cuñado

MARTINOS DE UBYRAJARA
Página 5

nm bh

El progreso de las monografías científicas es un aspecto del amplio trabajo.

Organización de los Estados Americanos, bajo la responsabilidad de la
Departamento de Asuntos Científicos de la Secretaría General, para cuyo
El financiamiento de la Regional
Desarrollo científico y tecnológico.

Concebido por los Jefes de Estado estadounidenses en su reunión,

realizado en Punta del Este, Uruguay, en 1967, y estructurado en el
términos de las deliberaciones y mandatos de la Quinta Reunión del Consejo
Foro Cultural Interamericano, celebrado en Maracay, Venezuela, en 1968,
Programa Regional de Desarrollo Científico y Tecnológico ex =
apresure las aspiraciones de los Jefes de Estado estadounidenses a
poner la ciencia y la tecnología al servicio de los pueblos latinoamericanos,

Demostrando una gran visión, esas altas autoridades reconocieron

que la ciencia y la tecnología están transformando la estructura económica
El contexto social y económico de muchos países y que,
elementos indispensables del progreso de América Latina, deben ser
Un impuiso sin precedentes.

El Programa Regional para el Desarrollo Científico y Tecnológico.

es un complemento a los esfuerzos nacionales de los países latinoamericanos v
y está orientado hacia la adopción de medidas que permitan el desarrollo de
el aa el
" E CU Rezar mga todo ES el E

la formación y mejora del personal científico; el intercambio de

información; y transferencia y adaptación a países latinoamericanos
conocimiento y tecnologías de otras regiones,

Al cumplir estos objetivos fundamentales, el programa de armonización

la ortografía representa una contribución directa a la educación científica
niveles educativos que cubren sectores muy importantes de la pos.
y, al mismo tiempo, contribuye a la difusión del conocimiento.
Científica

La colección de monografías científicas consta de cuatro series, en

Español y portugués, sobre temas de física, química, biología y
Matemáticas Desde el principio, las monografías estaban destinadas a
estudiantes de secundaria y estudiantes de ciencias y los primeros años de
campana superior Ya se han recibido testimonios de ambos
Bienvenida a ellos.

Este prefacio brinda la oportunidad para el Programa Regional para

Desarrollo Secretaría Científica y Tecnológica de la Secretaría General de
Organización de los Estados Americanos para expresar su agradecimiento.
al Dr. Leopoldo Nachbin, autor de esta monografía, y a todos
a las personas que con interés y buena voluntad contribuyen a su
divulgación.
 Julio 1976

Página 6

CONTENIDO

A los lectores ..., .. cccciccrrreras prscacacsrrrarasn eras.

Presentación, ......... cañas de renos raras esa aaa nes sr rra nara

PRIMERA PARTE: ESPACIOS DE BANACH

CAPITULO A. Espacios estándar ........ iiccicsrenaeero

CAPÍTULO 2. Espacios de Banach .......... icccciiitii

CAPÍTULO 3. Subespacios normados ...... 17

CAPITULO 4 Normas eguivalentes. ... cciccccciriraao 21

CAPÍTULO 5. Espacios de aplicación lineal continua. 2?

CAPÍTULO 6, Formas lineales continuas ....... ciiir. 35

CAPÍTULO 7. Isometrías «ci cccissrasisaascaoo errqararas 41

vil
CAPITULO B. Productos cartesianos y sumas directas ..... 43

CAPÍTULO 9. Productos cartesianos estándar ........... 47

CAPÍTULO 10. Sumas directas topológicas .... i.icicrca 49

CAPITULO 11 Dimensión finita Espacios estándar. 51

CAPITULO 12 Espacios de aplicación multilineales

Continuo ..... cicesisesasecareererraserarararaa Y1

SEGUNDA PARTE: CÁLCULO DIFERENCIAL

CAPÍTULO 13. Cálculo diferencial en espacios normados. 87

CAPÍTULO | 4. Diferencial en espacios de Normandía ........ 71

CAPÍTULO 15. La aplicación relacionada continúa con la tangente ........ 75

CAPITULO 16 Algunas reglas de cálculo diferencial ... TT

CAPÍTULO 17. Caso de una variable escalar ........... 87

Capítulo 18 Teorema de adiciones finitas de

Lagrange .... icisiaaaciiiaeas poco profundas raras 89

CAPÍTULO 19, Aplicaciones con diferenciales nulos o

Constantes ....... 1. década rasrananerranerarnca 97
 CAPÍTULO 20. Intercambiabilidad entre diferenciación y
Limite ..ccccicictcieciaar arena 99

Página 7

CAPÍTULO 21. Aplicaciones continuamente diferenciables. 103

CAPÍTULO 22. Diferenciación parcial ... icccccsericetas 105

CAPÍTULO 23. Identificaciones naturales para aplicaciones

Multilinea res., .Cussiraacrorrarmsare ca ucamrrr 113

Diferenciación de orden superior ........ 119

CAPITULO 24

Bibiliografía ...... ciciscctrneiscascctrr cuida las runas nana iar

Índice de resistencia culo Tm ma MN nn nn mm

129 129

Índice de calificación ... 4d Arcade mm a mn A PR Rm

131

vu
Página 8

Presentación

De nuestros lectores, admitimos que solo los rudi-

álgebra lineal y espacios métricos. Para los que comienzan
al punto, sugerimos nuestro libro "Introducción al álgebra",
publicado por McGraw-Hill do Brasil, para Los aspectos habituales
de notación y terminología.

El texto de esta monografía se subdivide en dos partes de doce.

secciones cada uno.

La primera parte da una introducción a los espacios de Banach. El

Los métodos de análisis funcional descritos aquí son especialmente
ejemplo 20, 411, Este es un resultado interesante,
cuya declaración no implica nada a priori del Análisis Funcional, pero cuál
huelgas por una confluencia del teorema de Ascoli sobre la compacidad
en espacios de funciones continuas, por Yeorema de Riesz en finitud
el tamaño de un espacio estándar localmente compacto, así como
El teorema de Tychonoff sobre la singularidad de una topología espacial
norma de dimensión finita.

El segundo es un noviciado en cálculo diferencial en espacios normales.

intrínsecamente, es decir, independientemente de
coordinar temas, presenta un método de contenido geométrico,
Adecuado en dimensión finita o infinita. Como lenguaje
los espacios vectoriales penetran la escuela secundaria a través de
brazo lineal, como ya sucede, la forma aquí descrita del diferencial
serán gradualmente adoptados en sus cursos de iniciación,
dadas las proporciones de nivel apropiadas, por supuesto

En esta exposición, destacamos ideas y métodos, comenzando desde

principio de que las aplicaciones de las matemáticas en la era actual re »
querer una actividad altamente intelectual,

El libro comprende ejemplos, ejercicios y observaciones que

a veces presentan material que va más allá del nivel del texto; están informados
información útil, que puede omitirse en la primera lectura.

La bibliografía al final es una guía para su posterior lectura o consulta.

despues Como texto actual, debe servir a aquellos interesados en
métodos de análisis funcional en economía, ingeniería,
en Estadística, Física, Informática, Matemáticas, etc., en
que se aplican, como ahora se ve cada vez más, cada vez
más refinado
Página 9

Se lo debemos al profesor Jorge Alberto Barroso de la Universidad.

Gobierno Federal de Río de Janeiro, valiosas sugerencias y gran aliento.
preparación de esta edición patrocinada por la Organización de América
tuberías Tu interés fue decisivo para nosotros.

El presente volumen reproduce, con adiciones, cortes y

el tema presentado en una serie de lecciones introductorias a la
Análisis funcional, que tuvimos la oportunidad de enseñar en Univer:
Brasilia, durante los meses de enero y febrero. de 196 7.
Fue un curso de verano para profesores y estudiantes de Belo. Hombre

Beira, Brasilia, Goiania, Río Claro y Salvador. El texto inicial fue

escrito por el profesor Roberto Mendes de la Universidad Federal de

Minas Gerais, de tus apuntes de clase. Y un placer

encerarlo

Finalmente, agradecemos al Centro Brasileño de Investigación Física.

Río de Janeiro, por su ayuda en la preparación de este volumen.
Página 10

ESPACIOS NORMADOS

A continuación, siempre representaremos por E (a menos que se indique lo contrario).

por el contrario) un espacio vectorial real o complejo de variación
mensão finito o infinito, Cuando el cuerpo de los escalares no está
especificado, se entenderá que los resultados son válidos para ambos
casos.

Usaremos la letra K para representar indiferentemente el cuerpo R

de los números reales o el cuerpo C de los números complejos, Nota
eso, si es un espacio vectorial complejo, por restricción escalar
de Ca Robter será un espacio vectorial real; Además, si E tiene
dimensión finita n sobre C €, el espacio vectorial real correspondiente tendrá
dimensión 2n sobre R. Se dice que este espacio vectorial real subyace
al espacio vectorial complejo E, representado por E.

Definición 1, un estándar en E es una función real

zxeg »IizxleRr

definido en &, de modo que sea lo que sea X, 4 € E y para todos À É K,

tener:

1) xi = 0 (positividad);

2) lx + gls x + lyll (desigualdad triangular);

3) Ilixl] l = Ja! 1x) homogeneidad);

4) Ilx] l = O implica x = 0 (separación),

Tenemos las siguientes consecuencias inmediatas:

a) Si tomamos À = 0, la propiedad 3) nos dará

Hol = 0;
entonces la propiedad 4) puede expresarse así:

lx = 0 es equivalente a X = Q,

b) Haciendo À = -1 en la propiedad 3), viene

Yo se Yo ll;
en particular tenerlo y

ly - x! IE x - vil.
Página 11

c) Tenga en cuenta que

HH -Illos lxvil

De hecho, al aplicar la propiedad 2) a

x = (x- + y,

ven que

el <x-vl + ly,
de donde

ho -All <lix-yl:
revertir los roles de xey viene

lvl - xls ly- <],

de donde
1) = yo = -ljx - ll
Entonces

-lx-vlos al-fylo <x-vl,

De ahí la tesis.

Definición 2, Un espacio normado es un espacio vectorial en el que

se ha establecido un estándar,

Nota 1, El concepto de semi-forma también está definido; simplemente

omita la propiedad 4) de la definición de un estándar, Este concepto es
importante en la teoría de espacios vectoriales topológicos,

Propuesta | Todo espacio normado y es un espacio métrico relacionado con

relativo a la métrica natural y definido por

ver y) = ly - x!)
sexo, y € E. Además, lo que sea X, y, 2 EE y paratodeÀE
€ K, uno tiene

1x = 2 (0,%)
bien como:

a) dixtz, H + z) = (x, 4) (invariancia de traducción);

b) dx, Ay) = | à | - dix, y) (homogeneidad),

Demostración, la verificación de los axiomas de una métrica es tri-

vial Por ejemplo, desigualdad triangular
Página 12

Elx, 2) s dix, 7) + diy, z)

resulta inmediatamente del hecho de que

7- b (4-X) + (x - 4),
de donde

la ellos [a ly -xk + lz-vyll.

Para probar a) tenemos

donar + z, año = lg + z) - (x + 2)] =

= ly-xl = (x, y);

y para b), tengamos en cuenta que

día, Ay) = lky-Axl] =

= ley-o = [lly-ol = [il dmy),

como quisimos QED

Entre las normas arbitrarias y las métricas invariantes por

homogéneo en un espacio vectorial, hay un partido
biunívoco natural, como se propuso anteriormente 1 y ejercicio 1
abajo

Ejercicio | Si en un espacio vectorial Z a

métrica e invariante por transición y homogénea, haciendo

xl = d0,%)
si x 6%, obtenemos una normal sobre E, y lo que sea x, y EE,
tener arriba

dx, = Iy - x).

Nota 2, cada espacio en forma de Z es naturalmente un

espacio topológico, ya que es un espacio métrico, es decir, en E tiene sentido
Los conceptos de subconjunto abierto, subconjunto cerrado, límite, etc.
Se dice que esta topología natural está definida por la norma sobre Is, En-
Sin embargo, es posible definir otras tipologías importantes en un espacio
que puede diferir de la topología del estándar como, por ejemplo,
ejemplo, la llamada topología débil, que no consideraremos aquí.

Ejercicio 2, un espacio vectorial E f 0, con la métrica discreta d

definido por

O si X = y,
decir, 4) =
Il si x es y,

donde X, y € E, no es un espacio normado.

Página 13

El ejercicio 2 anterior da un ejemplo de espacio vectorial y promedio

tric que no es un espacio normado; es decir, cuya métrica no resulta de
ninguna norma en el sentido de la proposición 1,

Para corregir la notación, establezcamos la siguiente definición.

Definición 3 Ser? Un espacio normado. Entonces

1 La bola abierta BG) centrada en EE y radio Fr 20 es el conjunto de

x & E tal que

odio, x) <r, o lx - cl «r.

2) La bola cerrada B. (a) desde el centro 2 EF y raior = O es la articulación

x € Y tal que

día, x <r, o lx-gl <r.

3) La esfera 9, (4) del centro q EB y 2 Q superior es el conjunto de x E £

tal que

dig, x) = r, o lx-acl] =.

Ejercicio 3, En un espacio estándar £ &, si "> 0, la adhesión del

bola abierta 5.10) es la hermosa A cerrada, (4); y el interior de la pelota se cerró
Bila es la bola abierta B. (0).

Con respecto al ejercicio 3 anterior, debe tenerse en cuenta que en un

cualquiera, uno no siempre tiene la igualdad afirmada; es si
solo las inclusiones de la pendiente de B, (0) en E (2) y B, ta) dentro de
de Bjo).

Proposición 2, Dejar ser un espacio normado. Las aplicaciones

D (n, y) GExEs + yEE,

2) AMEKXE-AXEE,

3) Mn cExEda, y) = Ily-xler,
jerez

Todos son continuos.

Demostración Veamos las partes:

l) Sea (4, b) EE x E cualquier punto; eq + b € Tu imagen,

Para demostrar que la aplicación en hueco es continua en (g, b), simplemente muestre
dado que, dado c> 0, hay 8> 0 tal que por cada x € Bullet) y cada
y € Bs (b), si tiene x + y E Bila + bj). Igualmente equivalente, tenemos que
probar que, dado e> 8, hay 8> O tal que

litxrm) - (+ b] <e
Página 14

siempre que

lx -todos <o, ly-bl <o.

Tomando 8 = c / 2, tenemos

ee +) - (a + dl <
s lix-ak + liy-DdD] <6 + 8 =,
(e) Seamos cualquier CE. Asegurémonos de que la aplicación en
la causa es continua en (a, €). Para esto, debemos demostrar que, dado
e> 0, hay 6> Q tal que

ix -aal) <e

siempre que

i-al <s, ix-al <s.

Tenemos la identidad

x -aco = (à-ajmraix-a) + th-ax-a),

que resultados

lar -call s Ja calo + ol.lo-cli + cuchillo] - todos,

de donde, eligiendo> lo suficientemente pequeño, viene

lix-cal <s-lal + lal-s + 8th se,

3) La función en cuestión, siendo la métrica de un espacio métrico, es

seguir Esta es una propiedad conocida de la teoría del espacio.
métrico

4) Si, a la luz del caso anterior, si tomamos y = 0, obtenemos el

función del caso actual que es continua debido a la continuidad de la función
anterior Es la propiedad, conocida en la teoría de los espacios.
que una aplicación continua de dos variables es parcialmente
continúa en cada variable,

La demostración está completa, QED

Corclary, Sea arreglado «€ &,« a € K, «fo. La aplicación

XxEE nm ahora

es un homecorfismo de E sobre £,

Demostración Si a = 1, tenemos traducción xm x + q. Esta aplicación

la sección es continua, como sigue de la parte 1) de la proposición 2, tomando
Vo q.
Página 15

Si a = 0, obtenemos la homotecia X * 0%, que es continua, como se muestra.

tomando À = q no parte 2) de la proposición 2.

La aplicación xm cx + &, compuesta de aplicaciones Xr qx y

W = * x + a, que son continuos, también es continuo,

Ahora

x= jspr si y = qx + a.
2
Resulta que x »« x + q es una biyección entre E y £, que tiene un inverso
que es

+ - -
=

Como este inverso tiene la misma forma que la aplicación dada, también
También es continuo. Así x »ax + q es un homeomorfismo. QED
Página 16

a)
ESPACIOS DE BANACGH

Apliquemos a un espacio normado y algunos conceptos familiares de

Teoría del espacio métrico.

Sea (x) una sucesión de 4. Se dice que (X,) converge a x € E

cuando

lim dix, x,) = lim-x = o0,

no no

escribiendo

X = lim 4;
A=

entonces x está determinado únicamente por (x,).

La sucesión (x,) es de Cauchy si

Bm d (x, x) = claro x = 0.
mM mn g
Si
Cad
f hd aqui bacalao .
son convergentes es Cauchy's, el recíproco, sin embargo, no es cierto;
espacios métricos e incluso espacios normados
son infinitos), en los que una sucesión de Cauchy puede no converger,
como veremos

Se dice que un espacio normado está completo si cada sucesión de Cauchy

en este espacio es convergente Como veremos, todo el espacio normado
de dimensión finita está completa,

Definición 4, Un espacio de Banach es un espacio normado que está compuesto

lleno

Observación 3, desde el punto de vista de las matemáticas, el

las áreas más importantes están completas; entonces, entre los espacios normales
Los más importantes son Banach. En la teoría de espacios
métrico, se estudia un método natural por el cual, a todo el espacio métrico,
co, se asocia con su que es un espacio métrico completo
Yo soy Cuando se aplica a un espacio normado, la finalización es un
Palacio de Banach No consideraremos este tema aquí,

Veamos algunos ejemplos simples e importantes de

Banach

Ejemplo |, El espacio vectorial K (this & R cu €) será un espacio de

Banach si, por x € K, establecemos

lall = xl.
Página 17
El espacio vectorial Kº = K XK será un espacio de Banach si, por

+ (a,%) ER,
definir

xl 1 +|X
el

Si, además,

v = (en, a) EK,
entonces

dle, y) = lly-a) no lan -24 | + Ego = dg | º,

Más generalmente, el espacio vectorial Kº, donde n = 1,2, ..., Berá a

Espacio de Banach si definimos para

x O, XE KP,

norina por

Iloc la Pac + x) ",

Si, además,

v = Ases bn) ER ",

entonces
10
de = Iy-al = va-m [P + ... + mx
Estas afirmaciones (que los axiomas de un estándar se cumplen,
el espacio completo) requiere verificación, que omitiremos. El ca-
Rº «y Cº, con los estándares anteriores, reciben los nombres de los espacios
Euclídea y unidad de espacio, respectivamente,

Ejemplo 2 Sea P> 1 un número real fijo. A

Cv (Mo, 1) EK,

definamos su norma por

lala = Uul + ... + [aPo,

Kº se muestra como un espacio de Banach,

Nota 4, Sep = 2, tenemos en el ejemplo 2 el caso del ejemplo 1.

Observación 5, Sep = 1, entonces

dal = 1al + .. + al;

en este caso la demostración de decue K "es la norma es simple porque
la igualdad triangular se verifica fácilmente,

Observación 6, Se0O <p «<len> 1ejemploZ, está claro que

esa desigualdad triangular es falsa; es decir, K? No es un espacio
gobernar en tal caso,

Página 18
 Ejemplo 3, Let K "con el estándar definido por

lxilo = sup Llml, ..., xl]

a
= mc) ER.

Entonces K "es un espacio de Banach, ya que es fácil de verificar. El índice» es

debido al hecho de que

lol = tim cae,

poe
de acuerdo con el ejercicio 4 a continuación,

Ejercicio 4. Sepz1l, n = l1,2, ... ex EK ", tenemos

1x <1x, s 2%. | xio:

dar
lilo = Uro, encendido
Para visualizar mejor la geometría de un espacio normado, es necesario
debe considerar la bola de la unidad (abierta o cerrada), es decir, la bola
centre la 0 y el radio 1 del mismo espacio. La siguiente figura ilustra el
bolas unitarias correspondientes a los estándares definidos en Rº en las tres
N
Casos notables de PD = Il, p = 2, p = º,

ok i) 10.1) (3.1)

[: 1.0> 1.0)

11.1)
Ny (0.1) RE!

El cuadrado de vértices

(1.0) (0, 1), (-1.0), (O, - = 1)

corresponde a la bola unidad dada por

lxlh s 1.

El disco central en origen y radio | corresponde a la unidad de bola dada

por

leila s 1
El cuadrado de vértices

(1, 1), (-1, 1), (-1, -d), (1.1)

corresponde a la bola unidad dada por

lilo s à,

Página 19
 Observación 7, En Kº ", parece que Hx disminuye cuando P
crebce por lo tanto la unidad de bola respectiva de K "crece cuando p
Crece

Observación 8 en K ”, parece que

xl
no1 / p

crece cuando P crece; esto tiene una interpretación geométrica simple

en el lenguaje homotetico de las bolas unitarias, que dejamos el
ir del lector.

Ejemplo 4 Deje el espacio Z ,, con p 2 | Un número real fijo. Por

definición, un elemento de ?, es una sucesión

DS (ms no)

tal que x, y es para todo n. y

el

»» [5 | ” < te,

n=1

Entonces 2, es un espacio vectorial con las siguientes leyes

12 xty e (Om tías X también),

Ae 2 (AM, .c0s también)

donde

p = Qi, Barça)

pertenece a Z y AEK. Haciendo

EM

ocho = (O, IP)?

cariño

Se obtiene un estándar en L1. Demostremos, por ejemplo, la desigualdad

triangularidad en 1 del caso finito del ejemplo £, Teni

para todo A,

O [x + my? & (5 a py? + (3 en Py4 s

y (SaPPS a),
resultando que

Obeene (Dm6 (SD,

k=1
Ne RA

como quisimos Está comprobado que ?, es un espacio de Banach.

Página 20

Ejemplo 5. Considere la nave espacial. Por definición, un elemento

 de LJ, es una sucesión limitada

JS Dolor, a)

tal que x, € K para todo n, So 1, es un espacio vectorial con leyes antiguas.

definido de manera análoga a la del ejemplo 4. Hacer

lilo = sup fal,

no
se obtiene un estándar en lw, ya que es fácil de verificar. Está comprobado que ly
Es un espacio de Banach

Ejemplo 6, considere un rango compacto (es decir, limitado por

7 = fa, bl de Re el espacio de funciones continuas (MI) de 7
en K. Entonces C (f) es un espacio vectorial con las siguientes leyes. Si
Lg RC), XE K, definimos

fre, AfEC ()
por

(rollo = Fo) + gt), (APG) = Af (e),

lo que sea x 7 €, Haciendo

fr = sup [f (x
xEr El | 13
y observando que f es limitada porque / es continua y Z es compacta, obtenemos
es un estándar en C (Z). Está comprobado que Et) es un espacio de Banach, el
lo cual es una consecuencia fácil del siguiente teorema de análisis real: si
una secuencia (/,) de C (£) converge uniformemente en 1 para una función
f: lK, entonces f es continuo.

Ejemplo 7, además de 7 como en el ejemplo 6 y un número entero? = 0, con

considere el espacio Cº (7) de las funciones 7-en-K que tienen con- derivadas
incluso a la orden »incluso donde ahora está d. Entonces CHZ) es un
espacio vectorial con leyes vectoriales definidas análogamente a la de
Ejemplo 6, Hacer

flo = sup, Er48 (|

Ustgsm

si f & Cl!) y observando que tal supremo es finito, uno obtiene una norma ="

en C (7). Se ha demostrado que C '(7) es un espacio de Banach, que es un

siguiendo el teorema del análisis real: si un
son (fa) de Cº (i) es tal que la sucesión (pr he)) de las derivadas de orden m
converge uniformemente en T y si hay 5 € 7 tal que la sucesión
tr lshE)) de las derivadas de orden 4 en 5 convergen, lo que sea
A = 0, ..., m-1, entonces hay f € C "(7) tal que la sucesión (/ [*)) del
los remaches de orden 4 convergen uniformemente a la derivada fl) de
orden A, cualquiera que sea k = 0, ..., m. Sin = 0, caemos en el
p. 6.

Página 21

Ejemplo 8, Regresemos: el espacio vectorial C (Z) del ejemplo 6, sup-

poniendo 4 <b, arreglemos un número real p = 1, definiendo
 apuesta, = (cultivo)?
Esto prueba que se obtiene un estándar, pero que C (?) No es complementario.
Yo soy Ocasop = 1 es particularmente más simple, Aquí hay un ejemplo.
de un espacio normado que no es un espacio de Banach. E
precisamente por medio de la integral de Lebesgue que procesa 0
(ver observación 3) del espacio normativo incompleto en el que
obteniendo así los llamados espacios Lp (7) de las funciones de potencia D-
ith integrable según Lebesgue en 7. El hecho de que £, (7) está completo
Es una ventaja significativa que la integral de Lebesgue se haga cargo del
de Riemann,

Ejemplo 9, Sea un espacio vectorial. Primero, supongamos

es real, su producto escalar es una forma bilineal real

e, eexEn- (x | W) ER

definido en E x £, es decir, cualquiera que sea%, Xi, Xo, &, A,

wo EE y por cada A € R, si tiene:

D ca + m] y) = (m] 7) + Golt),
14to xl; = A-tejy),
(linealidad con respecto a la primera variable);

2) teletiva) = Ce) + (elis),

(elaz) = Ac (xl,
(linealidad con respecto a la segunda variable);

forma bilineal que también satisface:

3) (w | x) = (x) 4) (simetría);

4) (x | x) 2 O (positividad);

5) tx] x) = 0 implica x = 0 (separación).

Supongamos que ahora es complejo. Un producto escalar en £ es una forma de

complementos sesquitineales

(x, CEXxEr (x y

se define como x, es decir, cualquiera que sea X,.% 4, XX, 4; IA »

yo € Y por cada €, si tienes:

»Gutsy = Gal + (ml),

(Axlw = à (el),
(linealidad con respecto a la primera variable);

Página 22

2) pantalla +) = Getz) + (e) 275),

(y [Ay) = Actely),
 (semilinealidad en relación con la segunda variable):

forma sesquilineal que también satisface:

3) (yix) = (xT7) (Simetría hermitiana);

4) (x] x)> O (positividad);

5) (x | x) = O implica x = 0 (separación).

En casos reales y complejos, existe una norma sobre la definición de E

1h = Aolx)
si x € £, como se ve en la llamada desigualdad de Sehuarg:

Eeclzof = 1x + gl.
Si, además, £ está completo, se llamará espacio pilbert.
Entonces, para ilustrar, el ejemplo 1 será un caso particular del actual,
si definimos el producto escalar en el caso real por

(el) antes ... + Xãa 15

y en el caso complejo por

(017) El Fo ... * Xabino

También el ejemplo 4, cuando p = 2, será un caso particular de la corriente,

si definimos el producto escalar en el caso real por

E
=

Obtener)

y en el caso complejo por

(5:77) y E A,

n=1

También el ejemplo 8, si p = 2, será un caso particular de la corriente,

si definimos el producto escalar en el caso real por

(flo) fGpteda N

y en el caso complejo por

b

(lg) j (el rtoamnar,

Los espacios de Hilbert son muy ricos en estructura geométrica y

analítico, que tiene diversas aplicaciones resultantes de la existencia de un

Página 23

producto escalar que determina su norma. De hecho, hay

Salas de Banach, que también son fundamentales para otras aplicaciones que no sean
son espacios de Hilbert; es decir, donde el estándar no puede definirse por
medio de un producto escalar. Un caso notable y ejemplo 6 si q es
 Es b Lo mismo puede decirse del ejemplo 2 sen> 1 y spade 2: del ejemplo
3 pecado> 1; del ejemplo 4 si p es à; del ejemplo 5; del ejemplo 7; es de
ejemplo 8 si está de pie,

IB

Página 24

3
 SUBSPACIOS DE NORMADGES

Definición 5, Let y un espacio normado y 7 CE un subespacio

vector F 6, naturalmente, un espacio normado, siendo la norma
sobre fa inducido por la norma dada sobre E; es decir, paratodoxa € F
calculado || x || en el sentido de F, considerando x como un elemento de E y
calculando || x | hacia £. Luego se dice que 7 es un subespacio
Es norma

Ejercicio 5, ¿Ser? Un subespacio normado del espacio normado E,

la topología inducida en * por la topología E coincide con la topología

definido en * por la norma inducida en Y por la norma de E,

Nota 9, a menos que se indique lo contrario, se entiende que el

la norma de un subespacio vectorial * "del espacio normado E es que induce
sobre * "por la norma F,

Proposición 3. Un subespacio vectorial cerrado de un

Banach es un espacio de Banach,
7mo
Demostración, Se deduce inmediatamente del hecho de que cada subconjunto
encerrado un espacio métrico completo también es un espacio métrico
Completo QED

Proposición 4 Un subespacio de Banach de un espacio normado es

cerrado,

Demostración, se debe a la propiedad de que cada subespacio

métrica completa de un espacio métrico Está cerrado. QHED

Corclary, un subespacio vectorial de un espacio de Banach es un

Espacio de Banach si y solo si está cerrado,

Demostración, Simplemente combine las proposiciones 3 y 4, QED

Proposición 5, La F F de un subespacio vectorial de 7 "de un

El espacio normado es un subespacio vectorial.

Para la demostración necesitamos los siguientes lemas conocidos

de la teoría de espacios métricos.

Lemma |, Si 4 y espacios métricos Biforem, la aplicación fi: 4> 5

será continuo si, y solo si, sea lo que sea Z AC,

ny huh
Lemma 2, Se4 y 5 tienen espacios métricos y XCA, VC B, luego
ExY = Txr.

Página 25

Declaración de la Proposición 5, Donde F "es un subespacio vectorial de

Y uno tiene

F + ECF,

K7 Cr.
 Debemos demostrar que 7 es un subespacio vectorial de Is, bueno, la aplicación

archivo, pgerxãm pryef

es continuo, por el ítem lj de la proposición 2), $ 2. Usando el tema 1, temas

EXPc HEX7).

Si viene el lema 2, ven

Estimado REXT)

Como f es la adición, tenemos que

a xP = F + F,

Hr x = F + F.

si Resulta que

FrPcF + F

De la hipótesis, se desprende que

FrrcF

Logotipo

F + Fc Fr.

Por otro lado, la aplicación

GixerE m ax ck

ê continúa lo q q € K, por el corolario de la proposición 2,

5 2, Por lema 1

(7) = q),
o sea,

aFfegr.

Como

aPCRECT,

ven
arco "

Page 26

por cada q K. Entonces demostramos que

Frrcr,

KF c7.

Logotipo? es un subespacio vectorial de £, ya que además 0 € FcC F. QED

 Ejercicio 6, Sea c el conjunto de secuencias convergentes.

(Xara, Xoprc a),

donde x, y Ke donde está el límite

lim x.
Ty ma DD

Entonces, c es un subespacio vectorial cerrado de l,. Sé también el

mismas secuencias con límite O, entonces cy es un subespacio
vector cerrado de c. Logo ce cy son espacios de Banach como
subespacios normados de lo (A menos que se indique lo contrario, considere
siempre € e &, con sus normas inducidas por la norma de 15.)

Ejercicio 7, Sea f el conjunto de secuencias finitas

Xom (Ng acy Xnyace),

19
donde x, € Ke donde x, es O solo para un número finito de valores
de n. Tiene

colección f ls

e & es la adhesión f en ly. Como f es cy, significa que f no es fe.

Estoy en ly Entonces f es un espacio norma incompleto con la norma
inducido por la norma de 2.

Ejercicio 8, para cada número real p 2 1, tenemos

ly C 04,

por lo tanto c, es la adhesión de 1, en cç. Siendo 1, es co, resulta que 1, no es

cerrado en cg. Entonces Z es un espacio normado incompleto con lo normal
ma inducida por la norma de 0,.

Ejercicio 9. Para cada número real p> 1, tenemos

ca,
el es la adherencia de f en i. Cómo | es 1, resulta que f no es
En forma de z Entonces f es un espacio norma incompleto con la norma
inducido por la norma de 1.

Ejercicio 10, Para cualquier número real g> pz 1, uno tiene

hiel c dq,

Página 27

por lo tanto, Z es el agarre de 1 en l. Ser 2, es 2, resulta que 1, no es

cerrado en 1. Entonces À es un espacio normado incompleto con la notación
ma inducida por la norma de d.

Ejercicio li. Considere un rango compacto 7 = [a, b] de

R, donde está b. Para cualquier número entero n> m = 0, tenemos

ctrkr el ctakr)
 y cita) es la adhesión de otrtzrem ctaeo. Como c (lukT) es cin),
sulta que cfr) no está encerrado en et. Entonces tr) es un espacio
norma incompatible con la norma inducida por la norma de ct (r),

Página 28

44
NORMAS EQUIVALENTES

Sabemos que cada norma en un espacio vectorial determina un total

 disculpa (observación 2, 1); pero como veremos a continuación con ejemplos,
diferentes estándares pueden determinar la misma topología, es decir
Potogy no determina de manera única la norma de la que proviene, en
cualquier dimensión Es bastante cierto, como demostraremos en & 11, que dos
las normas en un espacio vectorial de dimensión finita siempre determinan el
misma topología De ahí la necesidad de la siguiente definición.

Definición 6, Dos normas

del, Ala,
en un espacio vectorial y son equivalentes (o topológicamente equivalentes)
tes) cuando definen la misma topología en £.

Definición 7 En la notación de la definición 6, Il. ella está dominada

por |. || si hay una constante c> O tal que

xo s-lat 44

lo que sea x E

Es bien sabido que en cualquier conjunto E, dos métricas d ,, dp son

equivalente, es decir, determinar la misma topología en £, si, y solo
si, para todo E £, cualquier bola central y radio ”; > Q segundos
contiene una bola central donde el radio mr,> el segundo y, y viceversa
viceversa, tomando primero €, y luego d,.

En un espacio vectorial, uno tiene la condición dada por la proposición

eso sigue.

Proposición 6, Duassnormas ly e IE Ha en un espacio vectorial Y son

equivalente si y solo si cada uno está dominado por el otro;
o, si y solo si hay> U tal que

aceite s cx,
xl = c- hecho,

lo que sea x € E,

Esta proposición se demostrará a continuación de la proposición 7.

Una pregunta más general es estudiar, en un conjunto calificado de

o bien, la condición para la cual la topología definida por una métrica da
contenido en la topología definida por otra métrica ch (es decir, todos
£ parte abierta por & también abierta por &). Es bien sabido que

Página 29

ocurre si y solo para cada E &, cualquier bola central 2 y

radio ry> La segunda d contiene una bola central 4 y radio?,> O 8e-
mundo y.

En un espacio vectorial, uno tiene la condición dada por el siguiente pro-

siguiente posición.

Proposición 7. Para la topología 7; definido por el estándar If. | ls no

el espacio vectorial E está contenido en la topología W definida por el estándar |
en E, es suficiente que ||. || »está dominado por | - | l,.
 Para la demostración, necesitamos el siguiente lema.

Lema 3. Donde |. | L, y ||. lp dos estándares en un espacio vectorial E,

entonces

lxsd

siempre implica

cama sd,

donde x € £ si y solo si

lola = Ixflz
lo que sea x E &.
22
Demostración, La suficiencia es evidente. Por lo tanto, demostremos la necesidad
necesito Deje x EE ser x 0. Vamos a hacer

x
Y = xl.

Como

lah = 1,
deducimos que

calamar sd,
de donde resuita

ella = xl.
Ahora esta desigualdad sigue siendo cierta incluso cuando x = 0, el
eso completa la demostración. QED

Ejercicio 12. Dados dos estándares ||. | y || - | l; en un espacio vectorial

Y entonces

lol <1

siempre implica

lala <à,
donde x € Y si y solo si

Página 30

ella s lx,
lo que sea x €? Lo mismo con la misma declaración y

lxlo sd
en lugar de llxla <2.

Declaración de la Proposición 7, Veamos primero la suficiencia.

Debido al resultado conocido de la teoría del espacio métrico anterior
citado para demostrar que
 desde € A

solo demuestre que por cada & 7 y cualquier ra> Q, hay »> G tales
qué

Borolo) 2 Sprout),

donde los índices 1 y 2 significan, respectivamente, que este es un

segunda bola || - |, y | l- | la. Usando la constante o de la definición 7 y supongamos
de que

x € Err (2),

tenemos, tomando 7, = Ch,

23
lx-al. <c. | x-alh <o = ro.

Logotipo

x Y Basto)

como quisimos Resulta que 3% € A.

Veamos la necesidad. Ahora Ba (0) es un vecindario cercano

segundo Jp de 0. Por hipótesis 7) CA. Logo & (0) también es un
barrio 7, por O. Entonces hay 7> O tal que

Art) y Bto,
esto es

lol <7
siempre implica

xi sl,

donde x € £. Por el lema 3, aplicado a las normas | : la e | . donde & = I / r

pantalla = e. lil
si x E £, deducimos que

lala <+ 11;

lo que sea x € E. Se sigue que ||. | está dominado por |. d. QED

Page 31

Declaración de la Proposición 6, Si dj y 7 son las topologías

definido por Il. 1 y E a, respectivamente, luego 7 = fa, o silla de montar, el
dos normas dadas son equivalentes si y solo si

2 Lea el v1 el de

es decir, por la proposición 7, hay constantes q> 0 y o> O tales que

Il ia 5to Y enfermo

los co lato,
lo que sea x € Z. Tomando
 C supici, Cp),
viene equivalentemente que

Ilz IA e Ili
minutose: llxlla, HR

lo que sea x E £. QED

Ejercicio 13, se deben dar dos estándares |. | L; e il. lp en el espacio

torial E. Suponiendo que el segundo dominado por el primero, cada sucesión
en Cauchy y el primero, es Cauchy para el segundo. Asumiendo
los dos equivalentes, tienen las mismas secuencias que Cauchy. Entonces
24 Y se completará por un estándar si y solo si y se completa por
otro

Ejercicio 14, dos de cualquiera de las normas ||. ll ,, donde l <= psº, de-
definido en K "en los ejemplos 2 y 3, $ 2, son equivalentes.

Ejercicio 15, Ser 1, CT co, donde pz | es un número real, lo normal

ma inducida en 1 por la norma de 0 está dominada por la norma de 2;
pero las dos normas así obtenidas aproximadamente 1 no son equivalentes.

Ejercicio 16, Siendo 1, CZ ,, ondeg> px | son números reales, el

la norma inducida en 1, por la norma de 1, está dominada por la norma de 4;
pero las dos normas así obtenidas aproximadamente 1 no son equivalentes.

Ejercicio 1 ?, considere el espacio vectorial Cº (Z) del ejemplo 7,

Además del estándar ya indicado, también se considera generalmente
E (7) el estándar definido por

enlace = 5sup | 76] 1

Ho
ZEeI

si f ECT). Este estándar y el anterior son distintos pero equivalentes.

Una tercera regla habitual sobre C '(7), distinta de las dos normas anteriores
pero equivalente, viene dado por

lfle = sup> aroma.

k=0

La ventaja de estos dos nuevos estándares sobre el primero es que, con ellos,

Página 32

Hoi An Si lil, º lg,

donde f, g € CM7), donde fg € C * (Z) se define por

Celta = flogix)

lo que sea x € 7. (Esta nueva desigualdad satisfecha por la norma

es importante en la teoría de álgebras de Banach).

Ejercicio 18, Donde (7) c (7), donde n> m> € son números internos
norine inducido en (7) por cualquiera de
sobre Cº (7) está dominado por cualquiera de las reglas considerado
E (7): pero los dos estándares así considerados en TC) no
son equivalentes (ver ejercicio 17).
 Ejercicio 19, Considere el espacio vectorial (7). La norma de
ejemplo 8, $ 2 está dominado por la norma del ejemplo 6, $ 2; pero ambos
las normas así obtenidas en C. (7) no son equivalentes. cuidando
nuevo ejemplo 8, $ 2, con dos números reales g> p> 1, la norma que
corresponde a 2 está dominado por la norma que corresponde a q, ya que
la función

E - (sia (rea! 25) Es

está aumentando a t ER, es = 1; pero las dos normas así obtenidas son =
bre C (f) no son equivalentes. (En este ejercicio, el hecho de que 4 es 2
pacto, logotipo de medida finita y, lo que es más importante, La situación cambiaría radicalmente.
(sustituyendo R por 7, por ejemplo).

Page 33

2,
ÁREAS DE APLICACIÓN LINEAL CONTINUA

En esta sección, £ e siempre habrá espacios normados en el mismo

K cuerpo. Además, en este texto, cuando consideramos simultáneamente
importa varios espacios vectoriales, entenderemos que el cuerpo de
escalar es lo mismo para ellos, a menos que se indique expresamente lo contrario.

Proposición 8, La aplicación lineal yu: -F es continua en Is if, y solo

importa si es continuo en algún punto de E,
 Demostración, en cuanto a la necesidad, la proposición es evidente.
Veamos a continuación la suficiencia. Entonces deja q EF y supongamos que
continuo en &. Digamos que usted es continuo en cualquier punto dado.
DEE Tenemos, por x € E,

utx) -ulb) = ulx-b + a) -uta),

por linealidad, porque x - b = (Xx-b + a) -a. Comou es continuo en q,

dado €> 0, hay> tal que

ut) - utajl) <y 27

siempre y cuando

llx-al <s
Logotipo

luto) - uid] = hulx-b + aj-ua <e

siempre y cuando

lix-bra-al = lx-d <o,

lo que demuestra ser 4 continúa en b. QED

Definición 8. La aplicación lineal u: E + F se dice que es limitada si

cumple las siguientes condiciones equivalentes:

1) Hay un constanterealo = O tal que sea lo que sea x £ £,

comprueba tu mismo

futel] <cxx].

2) La función real positiva

-) y ER

está limitado en el sentido habitual,

34

La equivalencia de 1) y 2) anterior es inmediata, teniendo en cuenta

donde u (0) = 0.

Ejercicio 20, demuestre que la aplicación lineal u: Z> F está limitada en

sentido habitual, es decir, hay una constante es = O tal que Ive (26)] | Lo
lo que sea X € £, si y solo si u = 0.

Ejercicio 2l, La aplicación lineal u: &> F está limitada en el sentido de

8se, y solo si se cumple una de las seis condiciones iguales.
siguientes valores: u está limitado en el sentido habitual, en algunos o en todos
cada bola abierta o cerrada, o cualquiera o toda la bola, en Is of
radio r> 0,

Observación 10 En el caso de una aplicación lineal, siempre usaremos

pre la palabra limitada en el sentido de la definición 8 (y no en el sentido habitual),
 a menos que se indique expresamente lo contrario,
Proposición 9, La aplicación lineal u: E> F & continúa si y solo
si es limitado

Demostración, Tu fuerza continua, dada € = 1, existirá> El tal que

x E Es (D)

implica que

28
(x) Y por (0),

ya que u (0) = O; o sea,

s A oe

implica que

E ES A

Pero las funciones

xez - lélex,

zxer- E | uno] cm,

son respectivamente una norma y un semi-formato (observación 1,

& 1) sobre Z. Tenga en cuenta también que la demostración del lema 3, 84,
no depende de si la segunda norma cumple la condición 4) de la definición
1, $ 1. Dichos comentarios nos autorizan a aplicar la conclusión del lema.
3 al presente caso, donde

uts c-llxil
lo que sea x €, con c = 1/8. Entonces eres limitado,

Por el contrario, supongamos que es limitado. Entonces

Página 35

utsc: xl
cualquiera que sea x & E, donde e> O es una constante. Para probar que
u es continuo en E, solo demuestre que 4 es continuo en origen, por el pro-
posición 8, Dado g> 0, let = € c / c. Entonces sexo EE, lxlj '6, deducido
decimos que || u (x) «cô = €, como quisiéramos. QED

Observación 11 En espacios vectoriales topológicos, definimos el

conceptos de aplicación lineal continua y aplicación lineal limitada;
pero no siempre existe la equivalencia de la proposición 9,

Ejercicio 2%, demuestre que el lema 3, 94, así como el ejercicio 12,
$ 4 sigue siendo válido si, en lugar de reglas, consideramos dos
seminarios sobre É (observación 1, 81).

Definición 9 Indicaremos con

 a (E; E)

9 espacios vectoriales de aplicaciones lineales de E en, donde, su, v €

CLWr), en EK, definimos

u + D, Au EA;

por

(u + Ut) = ulx) + Dix), (Auto) = Auto),

28

lo que sea x € E. El índice a es el algebraico inicial, que significa

entonces no se requiere continuidad. Indicaremos con

2 (6.5)

el subespacio vectorial de £, ($; ”) de las aplicaciones lineales continuas de E

en Este es un subespacio vectorial en las condiciones 1) y
2) de la proposición 2,

Definición 10, Parau € 4 (Z: F), definamos | jull como Infimo

de las constantes reales c = O tal que

Yo peleo conmigo mismo.

sea lo que sea x € (por la proposición 9 y en vista de la definición 8).

Observación 12, De la definición de iii, se deduce inmediatamente que el

infimo en cuestión es un mínimo, es decir

edad s Ihulj |]
lo que sea x E es; es que

Choza <cel
se satisface con una constante c 2 O, lo que sea x € £, si y solo
importa si c à Ijul).

Page 36

Proposición 10, La Función

"Coche; - ul ER

es una horma

Demonation En referencia a la definición L, ê I, condición 1) es

inmediato

Veamos ahora la condición 2), Efecto, tuyo, v € 2 (E; f), tenemos

Le pregunto a Idi el lxll,

jajaja
lo que sea x € &;, logo

Wu + esco) lug + ver

 = fugas huecas Un djull + holls-llx |]

por cada x € y donde

y + vhs hat + Hell,

En cuanto a la condición 3), dejemos que E A (B, F) sea EK. Tenemos que
30
Ertel = Iwo =

= | M-lucol s Jalxt
lo que sea x € E donde

Paes IM lu,
Suponiendo primero que A es 0, y reemplazando À con I / h
u por Àu, ven

I- Qull = | ul,

de donde

[al ul <lu,
En conclusión,

xl = Jal ld]
para À É O; pero esta igualdad sigue siendo cierta para À = 0,

Finalmente, verifiquemos 4). Si Ill = 0, entonces

ego <lil.il

Page 37

implica que It: (x)]] = 0, donde (x) = O para todo x € E, entonces u =

Por lo tanto, se demuestra que £ (B, *) es un espacio normado, QED

Nota 13 Siendo £, * dos espacios normados, £ (E; F) es siempre

considerado como un espacio estandarizado en relación con el estándar anterior.
excepto donde se indique expresamente lo contrario. Se deduce que de
de espacios estándar conocidos E y 7, podemos construir un nuevo
espacio normado, a saber, = (E ;, F).

Ejercicio 23, Siendo E, F espacios normados I E £ (E, F), entonces

lleno
= spsup tal Melo = a Po Ih (50) ||
wow! =

= fu. eta = pon «1 [re a],

 Ejercicio 24, Cambiar los estándares de E eF por otros equivalentes
lentes, el espacio vectorial £ (Z; F) no cambia y su norma cambia por
otro equivalente

Proposición li, si F está completa, entonces H (E, F) también está completa,

Demostración, Para demostrar que 2 (E; F) está completo, debemos mostrar 3

Demuestre que cada sucesión de Cauchy en £ (E; F) es convergente en A (E; F).
Sea entonces U, Sl (Z; F), paran = 1,2, ..., una sucesión de Cauchy,
es decir, para cada e> O hay un número entero v = 1,2,.,. tal que

lu -Udl si
sin, n = v. Debido a la definición 10 del estándar en Zi £; F) viene

ugtoo) - atolón <ecl)

por cada x € £, sin nzv. Resulta que para cada x fijo tenemos un
sucesión de Cauchy us (X) E ”, para n = 1,2 ,,,. + Como * está completo,
tal sucesión es convergente en 7. Ser

u (x) = limu x) € F.
m
Considera la aplicación

(mx) EF;

Probemos que eres EX (E; F).

Primero, u es lineal porque, por la proposición 2, $ 1, si

x, y € £, tenemos

u (x + y = lim Us ix + 4) tim [uate) + ayuda] =

= Hm (0%) + lim ut) h ul) + uty);

H FB

38

ese x EE, A EK, obtenemos

uthx) = limuytà = lim Dutx] o = aAlimux) = Au (x).

nf "

Ahora demostremos que usted es limitado, así que continúe proponiendo

9) Ahora vemos que si establecemos € = 1, habrá un número entero vz 1
tal que

ua = uy s 1
senzv; o sea

fuego) - uobol s Ill

por cada x E £, sin = », Pasando el límite de 30 cuando n tiende al infinito
Obtenemos, por proposición 2, 31,

duelo - uytmi] = im uy (e) - uv (|| lim Iu, (x) - uvoel] s xl).

 Dando resultados que

Weetedl = secciones = Gl + lay (dll s

s Je + uoh-lxho = oa + Iuv- | x |)

32 por cada x € F, es decir, u es limitado,

Siendo u lineal y continuo, tenemos u EZ (E; F). Probemos eso

tu = li soy U,

em2 (E; F), De hecho, tomando uno y> O lo que sea, ya sea vz 1 a
todo tal que

eso - Wow Si E

o Seia,

usted (26) = engrasar si + enfermo

para todo x EE, sin nzv. Manteniendo n y x fijo, proposición 2, 81,
nos proporciona, cuando m tiende al infinito,

Iunto) -ute]] sec x

por cada x € Y, senzv, es decir

es cul Se
si nzv, Así (4) tiende a t cuando n tiende al infinito. QED

Observación 14, Por el contrario, se demuestra que si FO es £ (E; 5)

está completo, entonces F está completo, La demostración utiliza el llamado

Página 39

Teorema de Hahbn-Banach, resultado fundamental de la teoría espacial.

normas que no consideraremos en este texto, como se indica en el
16, 5 6.

La proposición dice: Que £, F, G sean espacios normados y

wu EL (E; F), »CLIC).

Considerando la aplicación compuesta, tenemos

Yo voy EE (CE),

oe df lol Iv.
Demostración Para demostrar que pertenece a 2 (EW), tenemos que
descubre que eres lineal y continuo, ¡oh, tú! es lineal así como
continúa porque es la aplicación compuesta de dos aplicaciones lineales,
además de continuar. Además,

tv eco = Ilus
 s Ijolho egos ojo Weil) il]
por cada x € Y donde

o y ul <itolfo ul, 33
como quisimos QED

Ejercicio 25, donde p> 1 es un número real, la inclusión de 2 en cs

es una aplicación lineal continua del estándar 1.

Ejercicio 26, Sendog> p> | números reales, la inclusión de? en

iq es una aplicación lineal continua del estándar 1,

Ejercicio 27 Donde n> mx O son enteros, la inclusión de C7)

CM?) Es una aplicación lineal continua con respecto a
usual en tales espacios (ejercicio 17, $ 4),

Ejercicio 28, considere el espacio C (f) de Banach (ejemplo 6,

$ 2). Introducimos una función u: I -K de variación limitada y un
Función 4: X! -> kK continua. Definamos u: Q7) -C (7) poniendo ga utf) if
alimentado!) y

om = Soete, y) Fx) conducto)

por todo y € 7. Por supuesto, si establecemos Hi (x) = X por cada x € £,
tendremos un caso particular donde

g (y) = Cote, 3) arreglo) dx.

Probar que 4 es una aplicación lineal continua,

Page 40

Ejercicio 29. Una vez dado el entero mz X = 0, la derivación de

Orden X

fec) »fl) corr)

es una aplicación lineal continua en relación con las normas habituales en
espacios (ejercicio 17, 8 4).

Ejercicio 30. Dadas las reglas || -lih y + || + | ly en el espacio vectorial E,

indiquemos con E, y E el espacio vectorial E gobernado por | j- | ie lia,
respectivamente. Entonces, la identidad de aplicación 7: Z, - & es continua
si y solo si |||; está dominado por -Ih. Entonces cada caso de
una norma que no está dominada por otra (ver ejercicios 15, 16, 18)
y 19 de 3 4) proporciona un ejemplo simple de una aplicación lineal de
continuo
 Ya

Page 41

6to
FORMAS LINEALES CONTINUAS

Definición 11, Dado un espacio normado E, escribiremos

ZE: K) el Hey

2 (E; K) D E

para abreviar, Q espacio vectorial E, de las formas lineales sobre E es el

algebraicode E, mientras que el espacio normado E de las formas límite
neares continuos sobre E es el dual de E a veces también llamado
E dual root, se sigue de la proposición 11, 85, que E'es un espacio
de Banach,

Ejemplo 10, deje que el espacio de Banach de secuencias convergentes

(ejercicio es $ 3) y, para todo x = (x,) € o, definimos
 (x) = limgyx,. no
Entonces Z: c -K es una forma lineal contigua emc y | ll = 1, dy

Ejemplo 11 En las diversas secuencias de los espacios de Banach, lo, 0,

Cos lp, que consideramos, una vez arreglado un número entero vz 1, podemos
considere en cada uno de ellos la forma lineal x »X, que en cada x
socia tu vth coordenada. Es continuo, estándar 1.

Ejemplo lee, En el espacio de Banach € (7) (ejemplo 6, 32), una vez

fijo E € 7, podemos considerar la forma lineal j- (Z) en CJ), que
cada f asocia su valor en E. Es continua, de la norma 1. De
un poco más general, en el espacio de Banach € CM7) con cualquier
de sus estándares habituales (ejercicio 17, $ 4) una vez establecidosE €! es un
entero 0) <4 sm, la forma lineal fm fUoEE), que cada f asocia el valor
El valor en & de su derivada de orden 4 es continuo.

Ejemplo 13. En el espacio de Banach C (J) (ejemplo 6, 312), una vez

fija una función u: 7 - K de variación limitada, podemos considerar
la forma lineal en C (7) dada por

p = Creidea;
b

si establecemos (x) = x por cada x € 7 tenemos el caso particular de

b
1 Stteax,
Es continuo y su norma es igual a la variación total de u in? en la casa
En particular, la norma es 1. Por el contrario, por un teorema
Famoso y fundamental de Riesz, cada forma lineal continúa en C (I) si

Page 42

representa por un Stieitjes - Riemann integral en la forma anterior des -

crédito, por medio de una U. Esto se puede elegir para que u (d) = O
y que sea continuo a la derecha en cada cuarto de las 7; Entonces, ¿qué es único, el
de la forma lineal continua dada en C (J).

Ejemplo 14, considere el espacio bancario. Una vez arreglado

de un elemento

q = (Mc, Qu MAR,

definir una forma lineal continua f, en Lo para

Hablar) NX Ft ad F ...

para todos

verificando que

[si tal +. ct Jal +.,

es decir, la norma de f en (Zoo)! es igual a n en 4. No todas
las formas lineales continuas en Lo se pueden obtener como se indica arriba
 descrito; Esto se demuestra mediante la llamada compactación.
36 Stone-Cech, estudiado en topología general, cuando se aplica a la
juntos [L, ... s Met.

Nota | 5, En un espacio normado E de dimensión infinita,

siempre hay una forma lineal discontinua, aunque cada forma lineal
cerca es continuo si E es de dimensión finita. Y lo que veremos en

51,

Proposición 13, una forma lineal f en un espacio normado.

si, solo si, su núcleo f40), es decir, todas las soluciones
x x de la corrección de la ecuación) = O, está cerrado en £.

Demostración Si f es continuo, f (0) está cerrado porque la imagen es

inversa por una aplicación continua del conjunto [03 que está cerrado en
K.

Por el contrario, supongamos que fH (0) está cerrado. Vamos a ver

Demuestre que f es continua. Si f = 0, y nada que demostrar, entonces
La continuidad es evidente. Entonces f / O, en ese caso, hay €
que fla) £ 0, podemos suponer que f (a) = 1, porque si aún no lo fuera,
tomaríamos el punto

que

fta)

en lugar de lo que tendríamos

tío = 1.

Page 43

Deje fiaj = | Como q no pertenece a fH0) y siendo [103 cerrado

hay r> O tal que

Bila) no (fhoo) = 6.

Probemos ahora que

tonto] <
siempre que x EZ, (0), Por el bien del absurdo, supongamos que hay
te X tal que

x € B (0), [f6s]]

Deja entonces ser

Logotipo

lat = es q) **
lwl <r, ftt = a

Reprende eso
 téBao ngsrio),
3

lo cual es absurdo, porque esta intersección está vacía. Logo [Fr] <Isext
€ B (0).

Para todo es> O, por lo tanto tenemos

ro] <e
siempre y cuando

x € Ber (0)

implica la continuidad de fem 0. Por la proposición 8, $ 5, f es

tihua QED

Ejemplo 15, veremos en $ 11 que la proposición 13 generaliza

así: una aplicación lineal u: E »F del espacio normado E en el espacio
F dimensionada finita es continua si y solo si su núcleo
u * (0) está cerrado en F. A $ 11, también veremos que, siendo ahora Is
de dimensión finita y F arbitraria, wu es siempre continua. Veamos ahora.
que si E g F son "espacios normados de dimensión infinita,
Puede ocurrir que u (9) esté cerrado sin continuar, por ejemplo,
ser E allí, y el
El segundo no está dominado por el primero. Indiquemos con E, y gs el
la caja del vector se rige por ||: | y jl. respectivamente, entonces el
aplicación de denticada, y E-E no es continua (ver ejercicio 30, 5 5),
pero tu núcleo 1 " = 10) está cerrado.

Page 44

Observación 16, Un teorema fundamental de la teoría del espacio

normas es el Teorema de Hakn-Banach, cuya declaración es la siguiente:
dado un subespacio vectorial? de un espacio normado E, cada forma libre
Casi continua g emF se puede extender a una forma lineal continua
femE, es decir, flx) = g (x) para todo x € F, de modo que Ifll = Ilgl).
Este teorema, que tiene muchas aplicaciones, no será considerado en este
texto Demuestra que si el espacio normado tiene
mensión infinita, entonces E también tiene dimensión infinita; y entonces
más generalmente, donde E y F son espacios normados, donde E tiene
finitae 7 es O, entonces L (E; F) también es de dimensión infinita.

Ejercicio 31, considere el espacio de Banach c. ultima vez

colocado un elemento

el (el CB, DE Un

defina una forma lineal continua f, en €, por

da (x) Sr. FOFa.

para todos

X = AM, cas, Ms) y Co

verificando que
38
 Hu arco + lul + o .. ok
es decir, el n de f, emcak es igual al n de q en 2. Cada forma
La EMC lineal continua se representa como se describe anteriormente por
medio de un solo elemento de 1. (Compárese con el ejemplo 14.)

Ejercicio 32, ¿Considera el espacio de Banach?

colocado un elemento

= (O, cs Cr, TE hacer

una forma lineal continua f se define en 4 por

Pd) il sd Tosca + DL Hoyo

para todos

+= (también Hombres JE dy,

verificando que

Un h sup (alo, balsooo)

es decir, la norma de f en (1) 'es igual a la norma de q en Jo. Cada forma
El continuo lineal en 1! Se representa como se describe arriba por
en medio de un solo elemento de Zo.

Página 45

Ejercicio 33, considere el espacio de Banach 2, donde P> 1 es

Un número real. Definamos eso por

Lado
cerdos)
señalando que q> 1, Una vez arreglado un elemento

Tt, Cr SE

definir una forma lineal continua f, en 1, por

(fx) = A +. son + ...

para todos

Ho = (Musgo Mc. ) Y da,

verificando que

Er = H Galt + .. + alt + .yA,

es decir, la norma de f en (7) 'es la misma que la norma en 2, Cada forma
la línea lineal continua en Z se representa como se describió anteriormente.
antes de un solo elemento de Z,. Cabe señalar que la ecuación
nando p> leg> 1 es empeg simétrico. Un caso particularmente notable es 39
cuando D = q = & 2, que concierne a la teoría de espacios de Hilbert; es el
 único caso donde Pp = qg, El ejercicio 32 puede verse como un caso puntual.
límite actual cuando p = legx = *, pero el caso límite actual cuando
do p = "eg = no es correcto, como se aclaró en el ejemplo 14,

Página 46

ir
ISQMETRIES

Hagamos un pequeño paréntesis para recordar el concepto de iso-

métrico Si Ze tiene dos espacios métricos, se dice que la aplicación
uE- "es una isometría si

Eiu (x), utm)] = dim, xa)

cualquiera que sea x, X y € F, Inmediatamente se deduce que 4 es

tinua Es fácil verificar que usted también es inyectivo. Entonces eres bi-
jetiva siempre que sea sobrejetivo; su inverso uy "es entonces también
también una isometría, e inmediata que, en tal caso, "continua
Por lo tanto, cada isometría entre E y F es un homeomorfismo.

Proposición 14 Siendo £, espacios normados YF, la aplicación lineal

wu: -F es una isometría si, y solo si, para todos los x EE,

fepoll = colina.
1
Demostración De hecho, para que Li sea una isometría es necesario
Es necesario y suficiente que lo que sea n
 Elulx), wlm)) = Ton, om),

o sea,

Uta) - phew) = fx - xl,

que es equivalente a

lucha - ll = x - ol),
o para

Iu (el = Ilxl)

para todos los x EE. QED

Observación 17, En la notación de la proposición 14, es un isom-

y E j 0, por supuesto [ul] = 1. Lo recíproco no es cierto, o
let [al] = | no implica que yu sea una isometría, ni siquiera cuando

Doy es inyectiva; Es suficiente considerar las aplicaciones de inclusión de

25 y 26, y s.

Ejemplo 16, en el ejemplo 14, $ 6, la aplicación lineal o »f es un

isometría de 1; en (L,) 'que no es superjective, En los ejercicios 31,

Page 47

32 y 33, $ 6, la aplicación lineal o 'f, es una isometría entre 1 y (co)',

entre Im y (JJ, y entre 4 y (?,) ', respectivamente. Por lo tanto, el
El siguiente abuso de notación es actual:

niebla) = &, (1) = le, (Lo) = ty

Ejemplo 17 Deje g espacio vectorial de secuencias

Z = (Me sk);

siendo x EK tal que la serie

Cant. Tasa Po ...

ser convergente Se define en y una fabricación estándar

xt] = sup La Fis, + a.

Los espacios estándar gyn son isométricos por la aplicación lineal superpuesta
jetiva

Ma) ts tienen + ... acecho.

Tenga en cuenta que Z; Es, siendo la inclusión de 1 en y una aplicación lineal

norma | pero no una isometría, y ese 8 "cy, siendo el
42 8 €, una aplicación lineal continua del estándar Z, por lo tanto
no es una isometría
48

S
PRODUCTOS CARTESIANOS Y DOMOS DIRECTOS

Consideremos, primero, el caso algebraico de productos

Sumas cartesianas y directas. A continuación, veremos el caso estándar.
Productos cartesianos ($ 9) y sumas directas (8 10),

Definición l2, Let £) y £, espacios vectoriales sobre K, Your pro-

conducto cartestano E = khXE, es decir, el conjunto de pares ordenados x =
= (%, X% a) donde x € E, X € ha es un espacio vectorial con lo siguiente
leyes Si

X = (nm, vu = tn, WEB, AEK,

definimos

X + y, Axe EE

por

43
x + ty = (mm + ih, X + Val, AX = (AM, Axo).

Las aplicaciones
 mg + &, D »: E - Es

tal que

Prlx) Pix, ma) Mo

Bo) Din, xo) el

ps

lo que sea x £ € E son los proyecciones de E en los factores 1,8. E

fácil de verificar que son lineales y superpuestos, Los núcleos de estos
Las aplicaciones son los siguientes subespacios vectoriales de E

E = 40) A = 4H)
respectivamente formado por los puntos (0, m) € F y (A, 0) € E, donde
ve E KH y di E Ea.

Definición 13. Sea &, y E sean subespacios vectoriales del espacio vectorial
¿Qué hay de K? Se dice que E es la suma directa de E con E, escribiendo
E = E & &, si cada elemento y € É está representado, de miedo único, en el
forma x =% +%, con EB y X € k &. Equivalentemente, es el
suma directa de y con k cuando

Página 49

Si = & + Es, AN Ea = (el,

es decir, cada elemento de Z se representa como la suma de un elemento

de E, con un elementode Is ,, además de & y E; solo se cruzan
en origen La progenie de E en los subespacios vectoriales £ j, B son los
aplicaciones

pib + E pa: E - Hey

tal que

en (38) H Pla + Xm) Es

Bo (x) NH Palma + 2%) tu da,

lo que sea x € es. Son lineales y superpuestos, sus números

los clecs son los subespacios muy vectoriales de y dados

E = AMO), E = pe (0).

Nota 18, en Álgebra lineal, una proyección se define en

un espacio vectorial Y como una aplicación u: é - Y eso puede ser
obtenido por una suma directa £ = 5 & &, de modo que

uix) = W

si

= Hasta% m, MEB EE;

así que una suma directa es única porque

 EB = WE), E = u0.

Una forma directa de formular la misma definición, sin mencionar

3) y Ea, consiste en definir una proyección en £ como
de una aplicación u: es «- y eso es lineal« idempotente (es decir, = u)
Tenga en cuenta que en el caso del producto cartesiano (definición IZ), la palabra
la proyección no tiene este significado; pero que tal la suma
directo (definición 13), Tal abuso de terminología, sin embargo, No tiene
gran inconveniente debido a la estrecha similitud entre el producto
Suma cartesiana y directa, con sus respectivas proyecciones,
como se explica a continuación en las proposiciones 15 y 16,

Proposición 15. En la notación de las definiciones 12 y 13, si £ = 5, X £ s,

entonces E y £ son naturalmente isomórficos para & y E, respectivamente,
por isomorfismo

bh: EE O (a, 0) CA,

bajo CE; »(0.4) E E.

Más allá de diasa

Página 50

E A E XE

Observación 19. Todo lo que se ha dicho sobre el producto cartesiano y el

suma de dos espacios vectoriales, generaliza el caso de
un número finito de espacios vectoriales, con adaptaciones que no explican
citaremos Lo mismo al 39% de ilo.

Observación 20, En álgebra lineal, se demuestra que, dado un

espacio vectorial E y su subespacio vectorial & ,, siempre hay otro
subespacio vectorial y de E, de modo que 7 es la suma directa de E, con &;
tal E no es única (excepto en casos triviales donde E = (0! o 6 =
= Y cuando E; = £ ouf; = 10, respectivamente).

Ejercicio 34, si f: E-> K es una forma lineal en el espacio vectorial

Y sobre K, donde f (e) 7 0 para cierto y EE, entonces E = rH90 Ke).
En términos más generales, su: E -F es una aplicación lineal entre 08 € 8-
espacios vectoriales Sí, F es un isomorfismo entre un subespacio vectorial.
Y yo (E), entonces É = UBS,

46
51

Noveno
PRODUCTOS CARTESIANOS ESTÁNDAR

Definición 14, Let A, y espacios normados y E = EX y por el

definición 12, 98, definamos

enlace = sup (todos, Ilxgli)

para todos

x = (A, Ma) EE.

Es fácil ver que xm Il o es una norma sobre E, Inmediata

siguientes propiedades:

1) donde p: F - E, Po: E- Y las proyecciones por definición 12, 88,

entonces por cada x € E,

tanto hxlo muchos lr;

4)
2) los isomorfismos 4: H - Sí, a: Fo - Sí, de la proposición 15, 88, son
isometrías entre los espacios estándar en cuestión;

3) & y É están encerrados en E.

Es inmediato que la topología sobre E definida por dicha norma es la topología

Producto cartesiano, descrito en la teoría de espacios métricos; por ella,
 si & = (6, E) EE, se obtiene una vecindad básica de E en E.
el producto cartesiano V = XV de un barrio de E en E por
un vecindario V, de E, en E. Hay otras normas importantes en
E. La adopción de cualquiera de las normas en E depende de la situación particular
hogar previsto, Por ejemplo, dejemos que p 2 1 sea un número real.
Para todos

* * Yo Oh,%) EE,
vamos a hacer

xl, (oa? a Iilfo 2 14to

Está comprobado que x + Ill, es una norma en E (compárese con el ejemplo 2,

32) Es fácil demostrar que este nuevo estándar y el estándar anterior son
valiente Entonces uno u otro se usa según corresponda. Si
& 1, Ea son espacios de Hilbert, tome p = 2. Valem las propiedades
1) , ahora en lugar de ll: lo, sigue siendo el
E = & X Eb y es necesario aclarar si dicho producto
gsian está en el sentido o norma algebraica, así como lo que es la norma
usado en E,

Page 52

Ejercicio 35, Let be £ ,, F, espacios normados y Z = £, X £,. Tenemos

qué:

a) si || - || es una norma en E tal que

lato s lxh, cariño s lxll

para todo x GE, siendo p ;: E + & ,, mo: Is - Y, las proyecciones de la definición 12,
8 8 entonces

lxlho s Ihxl]
para todos los x & E; es decir, || a la norma más pequeña en E con las propiedades
arriba;

b) si ||. || Es una norma en E tal que los isomorfismos Z ,: 5, = Is,

ta: Y, es de la propuesta 15, $ 8, son isometrías, así que

els Ill;

para todos x EE; es decir, | l-ll, € el estándar más grande en E con las propiedades
indicado,
Page 53

10
Sumas directas topológicas

Definición 15, Deje A, E; subespacios vectoriales del espacio normal

de &. Se dice que E es la suma topológica directa de E con E si E es el
suma directa algebraica de E, con E, (definición 13, $ 8) e isomorfismo
natural

ml, MEM xr »n + MEZ

(proposición 16, $ 8) es un homeomorfismo, deletreado E =

= E * E, debe aclararse en cada caso si la suma directa en
pregunta se entiende en el sentido algebraico o topológico.

Proposición I7, En la notación de la definición | 5, para Is ser la suma

Análisis topológico de E, con É, es suficientemente necesario que E sea el
directo algebraico ma de &; con E, y que las proyecciones p: E + &, DotE - Es
(definición 13, 9 8) son continuos. Solo uno es continuo para
deja que el otro O sea también.
45
Demostración, Tenemos que examinar cuándo? Es un homecmorfismo.
Para hacer esto, es suficiente que examinemos cuando el inverso 12 es continuo, ya
que la continuidad de À es evidente en el punto 1) de la proposición 2, 8 1,
Tenemos

to) = a rm) = (G,%) = (Pl), polx))

lo que sea x € E, donde x Eh, y EM, MM + X = X Muestra

donde A, X son las aplicaciones componentes de la aplicación 1 de E en
 Conducto cartesiano y X £,. Y un hecho conocido de la teoría espacial
métrica que si las aplicaciones componentes f ,: E -E ,, fa: es decir
ni el silbato cartesiano del producto

arreglar C omio, foto) EE x A,

entonces f es todavía si, y solo, f, fo son continuos, Se sigue que

UT! es continuo si, € solo si, 4,7 es continuo. esto prueba el
parte de la declaración,

Además, el sexo = N +% m € E, X € E,% € E, por lo que ser T: E - E

la solicitud de identidad, viene que

JK) = 2 = 4 +% H Pila) + Dolx) = (D + Dalix)

por cada x € E, es decir

Hj Yo tha

Page 54

Como Z es continua, la continuidad de P ,, o de, implica la de Ds, o

de D, porque la diferencia entre dos aplicaciones continuas también es continua,
por ítems 1), 2) de la propuesta y £, 8 1. QED

Ejercicio 36. En una suma topológica directa £ = E y E, el

las salas de vectores &, y de y están cerradas.

Nota 21, Ser y un espacio normado, que es la suma directa

Vista algebraica de sus subespacios vectoriales E y £, la hipótesis de que &, &
están encerrados en Is no implica que E sea la suma topológica directa de
E y E, como se muestra en los ejemplos.

Nota 22, Complementemos la observación 21 afirmando que

si E es un espacio norma completo, es decir, un espacio de Banach,
que es la suma directa algebraica de tus subespacios vectoriales cerrados
E y E, entonces E es la suma topológica directa de & e &. Este es un hecho
importante y no evidente, cuya demostración depende de la llamada
fila de Morfomorfismo, cuya declaración es la siguiente: donde v: E = es un
isomorfismo continuo de un espacio de Banach y sobre un espacio de
Banach F, entonces eres un homeomorfismo. A la aplicación de la
El homeomorfismo en el caso que nos interesa es muy simple, y por eso
hagámoslo explícito, Ser es un espacio de Banach que es la suma directa
vista algebraica de sus subespacios vectoriales cerrados Z, c Z ,, cisomorismo
t: F, XE, - Y la definición 15 es continua y superpuesta, Ahora, & y E; son
Espacios de Banach, por proposición 3, 93; logo EXE es un espacio para
Banach, por definición 14, $ 9, el teorema del homesomorfismo implica
entonces, eso es un homeomoriismo,

Observación 23. Es fácil ver que el teorema del homeomorfismo es

equivalente al llamado teorema de aplicación abierta y el
Graph Cerrado, cuyas declaraciones son las siguientes, respectivamente:

1) Donde u: E »F es una aplicación lineal continua de un

Banach Se trata de un espacio de Banach *, por lo que es una aplicación abierta.
(es decir, ulX) está abierto en 7 por cada X abierto en E,
 2) Donde u: F -F es una aplicación lineal de un espacio de Banach £
en otro espacio de Banach F para que sea continuo es necesario y
suficiente para que tu gráfica G en E xF esté cerrada en E x 7 donde G es
el subespacio vectorial de todos los puntos

(o ut)

cuando x varía por &,

Estos tres teoremas (de homeomorfismo, aplicación abierta y

gráfico) depende de si los dos espacios normados son complementarios de
tos: son falsos solo para espacios normados.

El teorema del gráfico cerrado tiene muchas aplicaciones importantes,

por ejemplo, en ecuaciones diferenciales parciales.

Página 55

11
ÁREAS NORMALES DE DIMENSIÓN FINAL

Proposición 18, (Tychoncff), Dos normas en un espacio vectorial E

dimensión finita "2 son siempre equivalentes.

Demostración Sen = 0, la proposición es evidente, porque s6 hay un

norma en £, es decir, norma O Supongamos, entonces, que nz y le seia
1, --s & A base de £, indiquemos con

Leo, DAR A + ... + A0, EE

El isomorfismo entre K ° y £ está definido por dicha base. Vamos a arreglar la norma
a £. Afirmamos que i es un homeomorfismo entre Kº y E, donde K "
tiene topología de producto cartesiano, definido por tu norma | ja
(ejemplo 3, $ 2), Proporcionamos este reclamo induciendo n. A
m = 1, es cierto, porque la igualdad

Waall = Jul: al,

ly] = +. llamada 9]
ellos
probar la continuidad de

Tm Mm, ma la

Supongamos ahora que n 22 y la afirmación es verdadera para n-1.

Bueno, obviamente es continuo, porque

De + ... eds [alo laio ... + [a] lol,

 de donde

Lita Ma) = cs l, ..., Adlo

sean lo que sean a 1,.,., Un € K, haciendo

o = bola + ... + al;

entonces use la proposición 3, $ 5. Ahora debemos demostrar el
continuidad de

en + .. + AM EF o (M, ..., A) ER

Ahora! ”€ dado por las funciones del componente

fs Mm Fcc PAO ml Ag EK

Page 56

para j = 1, ..., n. Es un hecho conocido de la teoría de los espacios métricos.

que si el componente funciona

fy: E - K

para j / = 1, ..., mn, defina la aplicación del producto cartesiano

HHxego (fto, .., ix) ER,

entonces 12 es continuo si, y solo si, es, ..., f son continuos. Suficiente
por lo tanto, demuestre que cada uno de los componentes funciona h, ..., h
Y continua. Demostremos, por ejemplo, que j es continua. Como f es un
forma lineal en E, para demostrar que f es continua, es suficiente demostrar
demuestre que f (0) está encerrado en E por la proposición 13, $ 6. Ahora F = 170),
es un subespacio vectorial de E de dimensión n-1, ya que f es O.
si una base en F, el isomorfismo KI definido por dicha base es un
homeomorfismo, por la hipótesis de inducción. Como K '"* se completa con
norma |: | lo, por ejemplo 3, 42, da como resultado que E esté completa (ya que es
por supuesto si hay un isomorfismo homeomorfo entre dos espacios
normas es una de ellas completa, la otra también está completa)
H Está cerrado a £, por proposición 4, $ 3. Por lo tanto, 4 es continuo. Con
el mismo razonamiento demuestra que f ,, ..., f son continuos, de los cuales
sulta que £ * es continuo, lo que demuestra que é es un homomorfismo,

Finalmente, sea | -Il y || ll, dos estándares en E. Vamos a representar

por F, y E, el espacio vectorial Z normalizado con || - | l, y | - ln, respectivamente-
52Z mente Be 7: & - Y, la aplicación de identidad de £. Así tenemos
siguiente diagrama:
aprovechar E

Y %

7mo El | Té

Por supuesto 1: t =? T. Como £ es un homeomorfismo en ambos casos,

De inmediato se deduce que 7 también es un homeomorfismo y, por lo tanto,
ll e Il + la definen la misma topología en £, es decir, son equivalentes
tes, QED
 Corolario Todo el isomorfismo entre dos espacios vectoriales normales.
de la misma dimensión finita Es necesariamente un homeomor-
fismo,

Demostración Ejercicio QOED

De hecho, la proposición 18 y su corolario son obviamente

equivalentes,

La proposición anterior justifica la siguiente definición,

Definición 16, La topología natural de un espacio vectorial

mension finita n es la topología definida en E por cualquier estándar en
E; Es independiente de la elección de la norma. Sen = 1, esta topología natural
es la única topología en E que hace que cualquier homeomorfismo

57

isomorfismo entre K ”y Z, donde K” tiene la topología del producto cartográfico.

siano

Observación 24, en términos generales, el teorema de Tychonoff establece

ma, en el lenguaje de la topología general, que en cada espacio vectorial E
dimensión finita, hay una, y solo una, topología de Hausdorff
eso hace que las operaciones vectoriales sean continuas

x, y) y EXE x + yecE,

(1%) Y KXE - ix EZ,

Esto da lugar inmediatamente a la proposición 18. La demostración de

de Tychonoff en su forma más general sigue las mismas líneas que
demostración dada para la proposición 18,

Proposición 19, cada aplicación lineal u: E> F de un espacio normativo

de la dimensión finita E en otro espacio normado * es continua,

Demostración, si x € &, definamos

Io] = sup (Cllx11, Ito),

y

donde en el segundo miembro consideramos las normas dadas en f y F.

inmediato que x + | xl | * es una norma en Z, proposición 18, |. | le
|| - || * son equivalentes en E; entonces hay> 0 tal que
93
lalf sc. tz]
por cada x € Y por la proposición 6, $ 4, debe tenerse en cuenta que

x) =] | eII *
para todos x E F. De la definición de ||. || * sucinto que

Io se »x]
por cada x € E, lo que demuestra ser u limitado y, por lo tanto, continúa en
proposición 9, $ 5, QED
 Ejercicio 37, Demuestre la Proposición 18, o directamente su
corolario de la proposición 19 (que muestra que son trivialmente
equivalentes entre sí estas tres declaraciones),

Ejemplo 18, en todo el espacio normado E de dimensión infinita, hay

te al menos una forma lineal discontinua en Is, es decir, E'f El.
De hecho, siendo y de dimensión infinita, hay x, € E, n = 1,2, ....
Linealmente independiente. Podemos suponer que

para todo n, simplemente reemplazando X con

58

x,

Hola ll

Sea E el subespacio vectorial de £ generado por X, n = 1,2, ...; y determinar

supongamos que un vector subespacio E, de es tal que Z es la suma directa
Z, con E, (nota 20, $ 8), definamos una forma lineal
f: EK, que requiere que f (x,) = | para todo ne f = O sobre &. De
más explícitamente, si x € E, tenemos que

x= ht Hot AMY,

donde) 1, ..., A € K, y € Eq: entonces

inundación) = A +. t A.

Ahora esta forma lineal f es discontinua, porque x, - O cuando n-, pero

f (x,) - O es falso cuando »=», lo que demuestra la afirmación. Del mismo modo,
si E es un espacio normativo de dimensión infinita y F es un espacio
estándar no reducido al origen, hay al menos una aplicación lineal
interrumpe de E a F, es decir, & (Z; F) es 2 (EF). Solo toma un
ma linear f se interrumpe en & y también se repara b € F, b 0. Definiendo
usE -F por ux) = flxjbsex € Y, esta aplicación lineal es discontinua.

Ejercicio 38, si E es un espacio normado de dimensión infinita,

Ya entonces E 'es una dimensión infinita en Hey, es decir, el espacio vectorial
el tt +
Si er S El 3 E E E Es tia que El El [) Y tu ()

norma no reducida al origen, entonces £ (E; F) es codimensión infinita

em =, (F; *), es decir, el espacio vectorial cociente ZE P / AE; F) es de
mensão infinito.

Proposición 20, Cada subespacio vectorial de dimensión finita F de

un espacio normado E está encerrado en E,

La demostración utilizará el siguiente lema.

Lema 4 Todo el espacio estándar n de dimensiones finitas n está completo.

Demostración Sen = 0, el lema es evidente. Supongamos entonces

que nz 1, ahora, K y E son isomorfos. Estar Kº provisto de la norma
 El | (ejemplo 3, 32), un isemorfismo entre K "y 7 es un homeomorfo
fismo (corolario de la proposición 18). Entonces E está completo, porque Kº es
Completo QED

Demostración de la proposición 20, por lema 4, Y está completa, de donde

Se deduce que F está encerrado en E en vista de la Proposición 4, 943. QED

Veamos ahora la siguiente generalización de la proposición 20; el

terior corresponde al caso donde É = t0:.

La Propuesta 21, donde 7 es un espacio normado, es un subespacio

dimensión finita y torial ny G un subespacio de vector cerrado de
Y entonces F + G es el subespacio vectorial cerrado de E.

Page 59

Demostración, Sen = 0, la proposición es obvia Suponga que n = il.

Si? G, la proposición es evidente, ya que F + G = G. Supongamos FE;
entonces hay € F, 2 RG. Como n = 1, tenemos F = Ko. SexE7 + G,
entonces x = Àa + y de una sola manera, con À EK, yE G. Definamos f: F +0 -
- HW por f (x) = hA. Es inmediato que f es lineal en F + G. Tenemos que f
ê continúa en Y + 6, Esto resulta inmediatamente de! H0) = G está hecho
llamado E, logoem? + G (proposiciones 13, 46). Para demostrar que + 6
está cerrado en E, sea (x) una sucesión de F + 6G tal que

b = lim x € £

hay tenemos que suponer que bEF + G, Ahora, x = arreglar) atm;, comy € 6,
por cada 4, dado que (x) es convergente en E, se deduce que (%,;) es de Cauchy
en £, luego f + G. Entonces (f (x)) es Cauchby en K (porque todos
aplicación lineal continua de un espacio estándar en otro espacio normal
transforma una sucesión de Cauchy en otra sucesión de
Cauchy). Como K está completo, (f (x,)) es convergente en K, es decir, hay

el = Tim Fix) E K.

Ahora jy = X-fi). Entonces hay

Es tim bm = & -ua

y cg porque G está cerrado y | CE para todas las X, Legob = ma + a Er +,

¿Qué demuestra ser? + G cerrado en E, 95

Sena2 1, solo aplica el caso n = | y razón por inducción. Si

Cie +, Un es una base de F, entonces

f + rG = Ky + t ... + Ka, +6,

Por el caso n = 1, vemos que Ko, + G está cerrado en E, y así sucesivamente.

QED

Observación y 5, se pueden dar ejemplos que muestran que la proposición

21 es falso, suponiendo solo que F, 6 son espacios vectoriales
incluso cuando, además, FP ng = iojezF está completo,

La siguiente proposición generaliza la proposición 13, 46; el anterior

corresponde al caso donde F = K.
 Proposición 22, SeH y f son espacios normados, donde F es de
mension finita n, entonces una aplicación lineal u: E = FP es continua si, es
solo si su núcleo W * (0) está cerrado en E.

pemonatation En el sentido directo, la proposición es evidente; si L es

continúa, (0) se cierra en E porque la imagen es invertida por un
aplicación continua del conjunto io), que se cierra en F.

Considere el recíproco, suponiendo que u (0) encerrado en E. El caso

n = 0 es evidente. Supongamos que nzl y que G, ..., G sea una base de 7.
Tenemos que, por cada x € £,

60

ulx) = fijado a ... + rango,

únicamente donde f, lx) € K por cada £. De la linealidad de 4, resulta

Cada forma A: E - K es lineal, para cada es. Probamos que cada f
y continua. Ahora U0) es el subespacio vectorial de los puntos x € E de modo que

phylum) = ... = flw) = 0;

en particular

sro)
eu0) está codificado finito en fi "(0), es decir, hay un subespacio
vector f | de dimensión finita X tal que

Ho) = A + u0).

Como uH0) está cerrado en E, por hipótesis, se deduce de la proposición 21 que

H! 0) está cerrado en E y, por lo tanto, f es continuo para todo £ al proponer
Sección 13, 36, Siendo f ,, ..., f, continúa, entonces u es continuo. QED

El ejercicio 39, la Propuesta 22 implica fácilmente la Propuesta 18,

ya sea directamente su corolario, o directamente la proposición 19 (que
muestra que estas cuatro declaraciones son equivalentes entre sí).

Observación 26. La Proposición 22 es falsa omitiendo que * es dedi-

pi menstruaciones finitas (ver ejercicio 30, $ 5); incluso cuando se supone que U
ser un isomorfismo entre los espacios de Banach £ y £,

Proposición 23, Sea E un espacio normado, que es la suma directa.

Vista algebraica de sus subespacios vectoriales y Ep. Si E es de dimensión
finito y E, está encerrado en E, entonces & es la suma directa topológica de &
con Es.

Demostración, Mediante la proposición 17, 9 10, es suficiente demostrar que el

pj: E - E es continuo, lo que resulta de la proposición 22, ya que & es
de dimensión finita y py (0) = E, está cerrado en E. QED

Observación 27. Sustituyendo, en la proposición 23, la hipótesis de

que E, es de dimensión finita por la de Z, se cierra, la afirmación es falsa
(Véanse los comentarios Zl y 22, 310).

Con vistas al Teorema de Riesz a continuación, recordemos lo siguiente

 nociones de teoría del espacio métrico.

Sea un espacio métrico, una parte XCE se dice compacta

cuando, de cada abierto que cubre 4 de K, es decir, de cada colección de
partes abiertas de E cuya reunión contiene X, siempre puede extraer un
cubierta inferior finita, es decir, hay 4 ,, ..., 4, € 4 cuyo reencuentro
todavía contiene X. Se dice que una parte de E es relativamente compacta cuando
Su agarre en E es compacto, siendo Kº considerado como espacio normal.
de uso común (véanse los ejemplos 1, 2 y 3, 342), el teorema de Bolzano
Weierstrass dice que una parte de K "es compacta, o relativamente

Página 61

si y solo si está limitado y encerrado en K ", o solo

limitado, respectivamente, Por el corolario de la proposición 18, el
El teorema de Bolzano-Welerstrass sigue siendo correcto, reemplazando
K * para cualquier espacio normado de dimensión finita.

Un espacio métrico E es localmente compacto cuando cada punto de E

es el centro de una bola cerrada de radio estrictamente positivo, que es
compacto

Proposición 2d, (F. Riesz). ¿Un espacio normado? es localmente

compacto si y solo si es de dimensión finita,

Demostración, Todo el espacio normativo IS de dimensión finita es localmente

compacto, porque cada bola cerrada es compacta, por teorema
de Bolzanoc-Weierstrass.

Por el contrario, supongamos que y localmente compacto es que proporcionamos

eso y debe ser de dimensión finita. Siendo Y localmente compacto, hay
tiene> 0 tal que 3, (0) es compacto. Ahora la coleccion de bolas

Eyolt),

donde 2 varía en £, es una superposición abierta de &. (0); pronto hay

G, ..., QEE tal que

BM0) S Balm) U ... U Balla). df

Sea "el subespacio vectorial de Es generado por Q, ..., G Entonces, F es de

dimensión finita como máximo mn. Afirmamos que F = F. Por ab =
sordo, supongamos 7 * &, Entonces hay x € y tal que x es F. Ser
cadencia de fax, definida por

a = infundido) = inf llx-t |:

tener tener

Tenga en cuenta que en> 0, porque «= O implicaría que x € F, que no sucede,

desde x gF eF = F, por proposition20, (Nota: puede mostrar
que 'se alcanza, es decir, que existe es EF tal que a = d (t, x), utilizando el
Teorema de Bolzano-Weierstrass en *; pero no usemos ese hecho)
Como q> 0, entonces qa <2a, De la definición de q, resulta que hay y € F
tal que

los lz-yls no lo son.

 Digamos, ya que x es y,

= Ted).
arena = 24]
Tenemos que lzl | = *, donde 2 € 5, (0). Entonces hay tal que

E Boat),

atreverse | zo;) | <r / 2. Ahora

Page 62

= 4y +
lscvbiz 4! 1 xculotz-a :)
" r P

Definamos

p= y + lecvlia,
nr

Entonces b € F porque y EF eq, EF. Logotipo

a <rd,

para la definición de q. Ahora

x -yll- (27-04)
"

de donde

lx-dlh <lx-vlibsa.

Por lo tanto, S llx-bl | <«, Lo cual es un absurdo. Entonces F = E, donde E es

de dimensión finita. QED

Una aplicación interesante del teorema de Riesz está dada por el pro-
posición 25 y ejemplo 20 a continuación.
58

BerFé £ estándares compactos si hay r> O tal que la imagen de

B, (0) porque u es relativamente compacto en ”, es decir, la adhesión de

tal imagen es compacta en F,

Ejercicio 40, cada aplicación lineal compacta entre espacios normales =

maados es continuo

Ejemplo 19, Tomemos nota del ejercicio 28, $ 5. La aplicación

catión lineal: C (J) - C (Z), definido allí, es compacto. La prueba de esto
La afirmación depende del siguiente teorema de Ascoli: para que
Se requiere Y parte de C (7) es relativamente compacta en CAT)
es suficiente que

1) Está puntualmente limitado, es decir, por cada $ E 7, uno tiene

sup. rg] <+ o;

religiones
 2) Ze equicontinues, es decir, lo que sea Ge Ze ce> 0,
existe en> O tal que

If) - Fte] if

para cualquier

xernlzg-5.8 + 6], alimentado

Page 63

Proposición 25, suya: E-E es una aplicación lineal compacta en

un espacio normado Sí, entonces el subespacio vectorial de £ de los elementos
x EE que satisfacen la ecuación

ulx) = x

Dimensión finita y.

Demostración Es claro que ? es un subespacio vectorial de 8. Ahora

F está cerrado en É porque 7 es la imagen inversa de la aplicación continua

seg (ulx), x) EC XE

de diagonal 4 de & x E, diagonal que es el conjunto de puntos (x, x)

donde x €? Al estar cerrado a £ XE, ¿qué sigue? está cerrado el &,
Indiquemos las bolas en £ y F con los índices Z y F respectivamente. Ser
r> 0 tal que la imagen de 8,., (0) por 4 es relativamente compacta en
Oreja

E. Tenemos que

BrlO) € uLê ,, (0),

porque si x € Be (O), entonces x € F, de donde

x = ulx) E uld, (0)) y utah., (O,

de donde la afirmación. De esta inclusión, se deduce que Br (0) es relativamente 59

E (ya que cada parte de un relativamente
compacto también es relativamente compacto). Ser? cerrado a £,
entonces Bra (O) es relativamente compacto en *. Cra, Br, (0) está cerrado el
F, Así 5, (0) es compacto. Se deduce que EM r (z) es compacto para
cada q EF (porque Bete) es la imagen de 2 ,, (0) por aplicación continua
x x + a; y en un espacio métrico, cada aplicación continúa transformándose
una parte compacta en una parte compacta). Loga F es localmente com
pacto Por la proposición 24, * es de dimensión finita. QED

Ejemplo 20, conservemos la notación del ejemplo 19. De la

25, se deduce que el espacio vectorial de las funciones f EC (Z) que satisfacen
a la ecuación integral de homopeno

Él, WfGOduGo = 4),

por cada y €!, es de dimensión finita.

Ejercicio 41 Un espacio normado es finito si y

si se cumple una de las siguientes seis condiciones equivalentes:
 cualquiera o todas las bolas cerradas, o cualquiera o todas las esferas, son compactas, o
cualquiera o todas las bolas abiertas son relativamente compactas, con cada radio
"r> 0,

Ejercicio 42, Let It es un espacio vital real no reducido a su origen.

joya El espacio proyectivo P (Z) de E es el conjunto de subespacios vectoriales.
E dimensión uno. Cada P € P (Z) se cruza con la esfera de la unidad
$ (centro O y radio 1) en dos puntos Si% ,, 5 & P (Z), definimos el

Página 64

distancia d (7, A,) como el logotipo de distancias más cortas - 23 || un punto

HWE EMNnSaoutrox, EA, NS. Demuestre que € es una métrica en P (£);
y que P (Z) es compacto si y solo si E es de dimensión finita.
Indique y pruebe el resultado análogo en el caso complejo.

Ejercicio 43. En un espacio métrico F, se define una parte £ CU.

como precompacto si, por cada €> 0, hay G, ..., GQ € y tal que

44 jm Ambos? U +. U Perno).

Cada parte relativamente compacta es precompacta; si £ está completo,

Cada parte precompacta es relativamente compacta. Se dice que E es
precompactado localmente cuando cada punto de E es el centro de una pelota
de radio estrictamente positivo, que es precompacto. Comprueba eso en
la demostración de la proposición 24 prueba que un espacio normado es localmente

precompacto si y solo si es de dimensión finita. Por

analogía con la definición 17, introduce el concepto de aplicación lineal
compactar y verificar que, para ellos, la analogía de la proposición 25 es
válido

Nota 28, en la notación de definición 17, si u es compacto, es

Es fácil ver que la imagen u de cada bola en É es relativamente
de acuerdo? Preferimos formular la definición 17 como adoptada (en
en lugar de exigir que la imagen de cada boya en £ sea relativamente
compacto en 7), por la razón de que estamos expuestos a Cuando es &
BO F son espacios vectoriales topológicos, se definirá que una aplicación
lineal 4: E »F como se conoce cuando hay una vecindad V de O en
¿Y cuya imagen por 4 es relativamente compacta? Entonces el
la definición 17 en el caso norma ya es similar a su correspondiente
en el caso del vector topológico,
Página 65

12
ÁREAS DE APLICACIÓN MULTILINARIA CONTINUA

Si bien las aplicaciones lineales son objeto de estudio de álgebra

Las aplicaciones lineales y multilineales se abordan en Muktitle Algebra.
cerca, también llamado Álgebra Tensorial (porque es a través del
producto de tracción que las aplicaciones multilineales se reducen a
cationes lineales).

Nota 29, consideremos aquí solo las solicitudes bilaterales

El caso general de las aplicaciones multilineales es abordado por el
Del mismo modo, con adaptaciones que no explicaremos,

Recordemos, primero, El caso algebraico, Let &, And, y

F espacios vectoriales sobre el mismo cuerpo K.

Definición 18, Se dice que una aplicación

nosotros dA X Es -+ F

el 61
es bilineal si lo que sea X%, no &,%, lg CE, AEK:

D a Fi, = Ulm, MM) + ula, o),

Ui, a) = A ulm,%),

es decir, aplicación parcial

mer ulm, m) e?

es lineal, para todo X, € y fijo (linealidad con respecto al primero

variable):

2) Tía) Ulm = A, MB) Malo, ml,

Lim, Ley) = A una),

es decir, aplicación parcial

% EC - ulm, MM) EF

es lineal, para todos x € E; fijo (linealidad con respecto al segundo

 variable), Tenga en cuenta que entonces

u (0, XX) = ulm, 0) = O

sexo € E,% € E, en el caso de que? = K, tenemos 0 casos de alguna manera

bilineal

Página 66

Ejemplo 21, en la notación del ejemplo 9, $ 2, un producto escalar,

en el caso real es una forma bilineal; pero en el caso complejo un profesional
conducto escalar € una forma sesquilineal y no una forma bilineal (re
¡Nos gustan los prefijos "bij" y "seaqui"! significa 'dos veces' y
'Uno y medio' (respectivamente).

Ejemplo 22, Sea E espacios vectoriales. La aplicación

e, uu) EC XAME, E) m ul) er

Es bilineal.

Ejemplo 23, Sea E, F, G Espacios vectoriales, aplicando con

posición

uf ELF) XLMFG) = »Voy: G)

es bilineal

Ejemplo 24 Deje £ e F ser espacios vectoriales, A la aplicación

PoEXE me yf GABI)

es bilineal donde 4yf se define por

62 (ufjo) = wow (ã)

por cada x & £.

Definición 19, Indicaremos con

2a (E, por ejemplo: F)

el espacio vectorial de las 7 aplicaciones bilineales XZ en relación con

siguiendo las leyes. Tuyo, v CAE, Bos), AEK, definimos

u + 0, ELLA, EOSF)

por

tu + Va, da) uno, a) + Dix,% a),

(Au) (ã ,, Xo) Au (x, Xa)

lo que sea a £ £ ,, & EB. Index à es el algebraico inicial

lo que significa que no se requiere continuidad,

Consideremos ahora el caso de la norma. Let &, Is) y espacios f

 nudos en el mismo cuerpo K.

Definición 20, Se dice que la aplicación bilineal L: Z, XxZ + F es

si cumple las siguientes condiciones equivalentes:

Page 67

lj ¿Hay una constante real es z O tal que lo que sea

% EA, X y € E, consultar

lucha, x) si todo lo il.

2) La función real positiva

Ite (26,2% 5)]]

(A,%)
Muro + xl *
definido si x * 0 yx es 0, está limitado en el sentido habitual,

La equivalencia de las condiciones de |) y 2) anteriores es inmediata, tomando

dado que L (0,%) = 0eu (m, 0) = ah0,

Observación 30, En el caso de una aplicación bilineal, usaremos

palabra limitada en el sentido de la definición 20 (y no en el sentido habitual),
a menos que se indique expresamente lo contrario,

Proposición 26, La aplicación bilineal u: &, XE -F es continua si, y

solo si es limitado,

Demostración, Tu para continúa, dado e = 1, hay 6> 0 tal que

a € Bs (0), % a E Ba (0),
63
implica que

Ulm, Xe) Br (0),

ya que u (0,0) = OD; o sea,

la) <o, Iall <os,

implica que

calamar, mM sd
Sin Eh, MH £ 0 y EE, X% * 0, hagamos

>
Murciélago
Va 0%
Ho = Que pasa con
og] Hey

de donde [hall = 8, | lmll = 8, lo que implica Iluga, W) l <1, es decir

5x 5to
risas » reu ££
 Entonces, haciendo c = 1 / 5to, viene
2 ,

lucha, o) <erlimll xi,

Página 68

cuya desigualdad sigue siendo verdaderaex, = 0 o xp = 0. Por-

tampoco, es limitado. (Este tipo de prueba podría haberse usado en la primera
parte de la demostración de la proposición 9, 95; y viceversa, O
el lema 3, 34, podría haberse usado aquí dos veces)

Por el contrario, suponga 4 limitado, Entonces hay 0 = O tal

qué

derecho, ag) ¡me gusta!

para cualquier w E Bj, y EE. Deje (6, MW) € E, X y. Probamos que
u es continuo en (&, &). Tenemos, por la bilinealidad de ti,

Ulk, a) - ul, Co) = Ulm - Gra) Kid, = Ir) + u (m '04, - Gg):

pronto

eso es 2) - tm, ca) 5

s cla - llamada. oa + y el alto lx - gol ++ la - ajo ls - qall.

Resulta

lim [u (m,% M) -ulM, 0a)) = 1 8,

co

para mi

do * Ta
64
de donde

tim UlM,% m) = UlM, aa),

di + O
de * Og

es decir, u es continuo en (8,0). QED

Definición 2). Indicaremos con

(sí Bos)

el espacio vectorial de las aplicaciones continuas bilineales de Z, XE, en F,

que, como es evidente en las condiciones establecidas en el apartado 2) de
La Proposición 2, 93 1, es un subespacio vectorial de =, (Zi, Eg; F).

Definición 22. Su € £ tB ,, E; F), definamos | ull como el infi-

yo de las constantes reales c = O tal que

lucha, sc lala]
cualquiera que sea% EB, X € E (por proposición 26 y a la luz de
definición 20).

Observación 31. De la definición de hult, se deduce tan pronto como

 que alude a que hay un mínimo, es decir,

(oa) sur). caída - lhxs]]

Página 69

cualquiera que sea% E & ,, & € E; es que

en, <= cla!

se satisface con una constante c 2 0, cualquiera que sea x, € Bi,% & E

EE, si, y solo si, c 2 [jull.

Proposición 27 La función

Él, EF) »lulca

Es una norma

Demostración, Ejercicio, por analogía con la prueba de

10, $ 5. QED

Observación 32, Siempre consideraremos £ (F ,, 5217) como un espacio

norma con respecto a la norma anterior, a menos que digamos
de lo contrario expresamente. (E, &: F) es un ejemplo de un nuevo espacio
norma construida a partir de los espacios normativos conocidos E, Ea
eF,

Proposición 28, Si F está completo, entonces £ (&, &:?) También € com

pleto

Demostración, Ejercicio, por analogía con la prueba de

ba
ción 11.85. QED

Observación 33, Por el contrario, si Z, £ 0, E. es 0 y X (E, Ep; F) es

completa, entonces F está completa, compare con la observación 14, 55,

Ejercicio 44, Siendo espacios normados £ ,, E, F, una aplicación bidireccional

lineal w: £ j X ka - * & continúa en & X & si y solo si es conti-
desnuda en algún momento en F, XE,

Ejercicio 45, Establezca y resuelva el ejercicio para aplicaciones bidireccionales.

correspondiente al ejercicio financiero 23, 85,

Ejercicio 46, Let A, &, F, G espacios de reglas y

"CE, Basf), VELIF; O).

Considerando la aplicación compuesta, tenemos

Apuesta IT, Eoi0),

lo cul s Io) ltul.

Ejercicio 47, que Z, Y sean espacios normados, ¿dónde? está completo 3
un denso subespacio vectorial de Feu E2 (S; 5, Demuestre que "hay un
y una sola extensión LE L (k; F). Del mismo modo, deje espacios E, Es, F
normados, 3, un subespacio de vector denso de &, S; un subespacio vectorial
Eial denso de EL (S ,, Ss; F). Demuestra que tienes uno y solo uno
extensión u CA (Z ,, y ajF).
Page 70

Ejercicio 48, Let F;, Es, Espacios Regulados. Entonces L (Z, E ,, 57) =
= 2, (B, EniF) if, enomentesis, E y É; son de dimensión finita, o É =
= 0, oBo = 0, o? = 0 De lo contrario, £ (& h, £; ”) está codificado.
son infinitos en Z, (B, Fai) o Beja, el espacio vectorial cociente Z, (Z ,,
Es FILE, Fa: es de dimensión infinita, (Ver ejemplo 18 y ejercicio
38, 811.)

Ejercicio 49. Sea E, 7 espacios estándar, Aplicación bilineal

(x, uj EEC XE) m ulx) EH

y continua; su norma es | u O, como LlE; F) es 0, qultEiF) = 0,

(Uno tiene * tE; F) es 0 si y solo FXO EX si E
mension finita, esto resulta del teorema de Tychonoff; ver propuesta
18, 311. Si] es de dimensión infinita, esto resulta del Teorema de
Hahn-Banach ver nota 16, $ 6,)

Ejercicio 50, Let be £, F, G espacios normados. Aplicación bilateral

composición cerca

(u, 0) EXP) XA (O) mm Dou EXLIE; G)

y continua; su norma es 1 u O, ya que £, 7 y Q son todos diferentes

0, o si uno de ellos es 0. (Comparar con el ejercicio 49)

Ejercicio 51, Sea E, F los espacios estándar. Aplicación bilineal

PEER Er y ELEP)

es continuo (donde Ilyfl] = | lyl - fllj; su norma es 1 u O, como E es

* 0eF y 0, o de lo contrario. (Comparar con el ejercicio 49)
Page 71

13
CÁLCULO DIFERENCIAL EN ESPACIOS ESTÁNDAR

En general, el cálculo diferencial se desarrolla en R (en el caso de

variaciones diferenciables de una variable real), en Rº (en el caso de
diferentes variables reales), en C (caso de
o variables analíticas de una variable compleja) y en CG "(en el caso de
funciones holomórficas, o analíticas, diversas variables complejas), para
a través del uso de coordenadas y a través del concepto de derivada (en Re C)
y derivada parcial (en Rº y CG!)

El punto de vista que adoptaremos aquí será intrínseco, es decir, independientemente

pendiente el establecimiento de un sistema particular de coordenadas, cu
una base, en los espacios vectoriales de dimensión finita, que se extiende hasta el
espacios normados de dimensión infinita, tan banales, Estrictamente hablando, esto
es la forma más geométrica e intuitiva de desarrollar el cálculo
ferential Debe penetrar gradualmente los cursos esto
como se enseña álgebra lineal en
del nivel promedio más y más,

67
Veamos la motivación, en el caso de la función real de la variable real, o
de función compleja de variable compleja, para cálculo diferencial
entre espacios normados reales o complejos,

Análisis real en una variable, que 4 sea una parte abierta y no

de la línea real R yf: 4 - R es una función real de la variable real e, Si
* EA, la derivada de f en el punto x, representada por f '(X), se define como
da como siendo

arreglar) = lim Fm)

Eh =

donde se entiende que x E A o, equivalentemente,

(Xo + A) - 1%)
Fix) 1 =
lim,
li
el

donde se entiende que% + h EA, siempre que exista el límite, si

que dice que f es derivable en x.

Podemos escribir la definición de la derivada, de manera equivalente,

como

lim ftxy - Í (%) - fta)] = 0,

Y de si

o
Page 72

lim
HO = FO FME =) 1

+ da * -%

o todavía

pm Mem - flo) - Bestia = o)] 2do

Kg |% -% |

Con la otra notación, tenemos

Estoy muy nublado! De

Po = À) 12 |

Ahora R es un espacio vectorial y las aplicaciones lineales de R en R

son el camino

uteR - qteR,

donde q € R es fijo y determina u, siendo único para cada aplicación lineal

de RemR.

En la penúltima fórmula anterior, el término

Flan = Xo)

Gg es el valor en X -% de aplicación lineal

uuterR-fiumiteaR.

Entonces, decir que f es derivable en% € 4 es decir que hay un

aplicación lineal u: R - R tal que

pm J $ t0- fin) -ute- x] o

Si

dtdg lx -%]

o, de manera equivalente, con la otra notación,

lim Jflo th) - Foo) cul o,

h0 ||

siendo tu solo en xp.

Es actual definir el diferencial en% de la función y = fijar) mediante

mula

dy = fOn) dx,
donde dx es el diferencial de la variable independiente y dy es el di-
función Este lenguaje intuitivo de cálculo diferencial
tiene una base histórica justa, derivada de la geometría (tangente recta
a una curva plana) y mecánica (velocidad de un movimiento alternativo

tiline),
Page 73

En el lenguaje más apropiado de Álgebra Lineal, el diferencial en

* La función f es la aplicación lineal.

ER IMGITER.

También a menudo se dice que f es derivable o diferenciable,

usando calificadores como sinónimos,

Análisis complejo en una variable. Estas consideraciones, hechas

El análisis real en una variable se puede extender a
caso complejo; en la exposición anterior, simplemente reemplace 'real' con ''
plexa "y PR '! por" Ç'!. Si 4 es una parte abierta y no vacía
de la línea compleja €, la derivada de una función variable compleja
complejo, f: 4 »C, se define formalmente como en el caso real anterior.
Solo hay una novedad de terminología: si f es derivable en 4, el
lo que significa que f es derivable en todos los puntos de 4, entonces dice
que es holomórfico, o analítico complejo, rea.

Análisis en espacios normados, El concepto de diferenciabilidad.

se ha extendido fundamental y simplemente a los espacios estándar,
Real o complejo, de Maurice Fréchet, como veremos a continuación.

En resumen, sea &, * dos espacios estándar en K. Considere

Tomemos una parte abierta no vacía 4 de E y una aplicación f: d = 7. Un
la definición de derivada en su forma inicial no tiene sentido en el caso
normado;, si &, X € A, no se puede dividir 69

FO = flo,
X - Xo

La forma equivalente de la definición de derivada, que se indicó como

Esto tiene sentido en el caso estándar (ver 8 14). Definiremos qué pasa si
entiende que f es diferenciable en un punto% £ 4. Su diferencial
a X% será una aplicación lineal continua de Is a 7, es decir, un
Z (E; F). Incluso si inicialmente quisiéramos limitarnos a
funciones escalares f: 4 -> K (es decir, F = K), su primer diferencial en
A será una aplicación de 4 en (E; K) = E, por lo tanto, tomar valores
en un espacio normado, a saber &. Para definir el diferencial entre
gunda, es decir, el primer diferencial del primer diferencial (ver 3 24),
tenemos, por lo tanto, la necesidad de tratar con aplicaciones que toman valores
en un espacio normado * desde el principio.
Page 74

14to
DIFERENCIAL EN ESPACIOS

Deje E, F ser espacios normados en el mismo cuerpo K, indiquemos

con 4 una parte abierta no vacía de Is.

Definición 23. La aplicación f; i- F es diferenciable en un punto X, E à

si hay u € & (5; 5) tal que

jim Sto Fo) utero o

+

Ja x - xo]

donde se entiende que x € À o, equivalentemente,

jim UI +) = Fico) =
,

h-0 Hall
donde se entiende que%, + h € À.

Para los propósitos de la siguiente definición, necesitamos el lema

abajo
tt

Demostración, supongamos que tenemos u, u € (E; F)

tal que

flo +22) = Flo) = ur)

li mm
= 0,
na Enfermo]

Co Villano + kh) = fijo) - vt]

lim =

h> 0 19!

Tenemos, todavía suponiendo mi + »CA, h £ O,

(A) ua) (dxo da) - lujo) - ul) Slxo + A) - flujo) - ut)

Hd 1122] [lr
Por lo tanto

pm otcul
1m ——

n=0 todo
Sejad = vu € £ (E: F). Entonces

im étol
R = 0 Ia]
Página 75

Entonces, para todos> 0, hay 8> Otal que h € Z, h »% 0, h | <ô5 implica

carm

leer) | Y E

a]
Dejemos que x sea tal que x sea O, hagamos

ha x
lx]

Entonces || 73 | = 6, lo que implica

Jaca)] | o laca.
[7 , los ||
esto es

lago s e. xl,

Esta desigualdad que sigue siendo verdadera para x = O es, por lo tanto, válida para
todos x E E. Resulta que leer || si para todo y> 0 y por lo tanto lil =
= 0. Dald = o), es decir, u = »v. QED

Definición 24. A la luz de la definición 23 y a la luz del lema 5,

llamado diferencial de f en x, representado por Df (xo). Por-
R tanto

Dfion) E <(EiF).

Froposición 29, si f: Ã- F es diferenciable en x, € 4, entonces f es con-

continúa en Xo.

Demostración, siendo f diferenciable en xo, hay u € = & (5; F) tal

qué

(oc) = foco) = férula = xo)))

yo soy = 0,
doaf [lx = 66 |
Asi que por supuesto

lim esto) - Sa) -ule-o)! = 0.

+ Xg

Ahora

flo) - flxo) = Litho) - fijo) -ulo-wo] + Calamar - ulxa)).

Como cada una de las dos entregas del segundo miembro tiende a
ro, cuando x tiende a X ,, viene lo mismo con el primer
miembro Da?
lim flw) = f (x),
el da

es decir, f es continua en x. QED

Page 76

Nota 34, algunos autores incluyen la continuidad de f en xo,

al definir su diferenciabilidad en xo, suponiendo solo que
u € (8; F), para concluir a partir de ahí que u es continuo. Es otro punto de vista.
Es equivalente.

Definición 25, La aplicación f: Ã => W es diferenciable en 4 si f es diferente

ferent en todos los puntos de 4. En este caso, la aplicación de

zEA - Di (x) € EE; F)

se llama el diferencial de fem Ae representado por Df.

Observación 35, aunque podemos estar interesados, más específicamente

en la diferenciación de funciones f: iA-K con valores escalados
cuando * = K, su diferencial Df: 4- A (E: K) = & 'será una aplicación-
con valores en la regla dual E "de E, por lo tanto no tiene valores
escalares y, sí, valores vectoriales. Por lo tanto, para definir el
diferenciación sucesiva de J: Z> K, es decir, la diferenciación de su
Df ferencial: 4- E! (ver 924), es esencial que, desde el principio,
diferenciamos aplicaciones con valores vectoriales.

Nota 36, la única simplificación notable que ocurre al definir

23 donde y es de dimensión finita es observar
que en este caso cada aplicación lineal de Fem F es continua (proposi-
19, 8 11), de modo que al definir la diferenciabilidad de
Xo, no es esencial decir que su diferencial Df (x,) es una aplicación sencilla. 13
cerca continúa porque tal continuidad es automática.

Nota 37. Cuando F y F son espacios de forma compleja, si

f es diferenciable en A, entonces se dice que f es holomorfo o analítico
complementos, emáÁ, También tenemos los espacios normativos reales
centavos Bh y (Sl). Debe hacerse una distinción cuidadosa entre
reciprocidad compleja! de f: 4 EC -La verdadera diferenciabilidad "!
de f: AC Ep Fa. Por supuesto, la diferenciabilidad compleja implica la
diferenciabilidad real; pero el recíproco es falso, como ya lo muestra
El siguiente es un ejemplo clásico de Análisis complejo en una variable. Ser
E = F = Ce, por lo tanto E, = Fa = R ”, la función fizeé C-ZFEC es diferente
real en el sentido real, pero no en el sentido complejo.

Nota 38, algunos autores también llaman a una derivada lo

llamamos diferencial; representar por f '(X,) y f'o lo que denotamos
por Df (xo) y Df. Para nosotros, la derivada se definirá en 917 cuando
Is = K. Preferimos distinguir entre la derivada y los diferenciales, es decir
ejemplo de lo que se hace en el indicador diferencial clásico, en una variedad
real o complejo Recordemos también que en el cálculo diferencial
De manera clásica, en varias variables reales o complejas, existe el concepto
diferencial, pero no derivada (que no sea derivada parcial,
que depende del sistema de coordenadas). Entonces es la palabra 'diferente
rencial! en lugar de "derivado", que debería prevalecer en el caso de E
cualquiera.

Ejercicio 52, Sean E y F espacios estándar, 4 E Faberta no

, y fiA> F, tenemos el carácter focal de diferenciabilidad, que
expresa así:
Page 77

a) seB CApara abrir no vacío y f es diferenciable en A, entonces

su restricción f | B será diferenciable en Z;

Db) si

A = 1 Es

donde 5, está abierto y no está vacío para todo £, por lo que f será diferenciable
en 4 si su restricción f | A es diferenciable en 5 ,, por cada 1 € 1.

Ejercicio 53, Sean F y F espacios normalizados, 4 c E abierto no va =

zia ef: A> F. Existe el carácter topológico de diferenciabilidad, que
Esto se expresa de la siguiente manera: al cambiar los estándares de Fe 7 de manera equivalente,
no cambia a la diferenciabilidad de f o su diferencial en un
4 o 4.

Ejercicio 54. Let and be * espacios estándar, abiertos y no abiertos =

zia y ef: Ã- F. Para que sea diferenciable en x, se necesitan 4 € y
suficiente para que haya u € A (E; F) yr: A = F, emisor (x,) = Der continúa
en X tal que por cada x € Å,

flo) = f (x) + utx-2) + lix-xollmto).

Ejercicio 55, deje que E y F sean espacios normados, À E y no abra

zia e frà = -F Si f es diferenciable en x, € 4, tenemos el carácter labios-
14to chitzian de mujeres X, que se expresa así; hay d> 0 yc = 0
como Fix) CAe, por cada x € 5; (Xp)

Lito) - flo <ec lx

78 de 1189.

15
APLICACIÓN DE OBJETIVO CONTINUO TANGENTE

Definición 26, Sean E y F espacios estándar, Aplicación 7;

> F está relacionado cuando hay b € F i E *, (H; F) tal que para todos
xe,

Fijar) = b + ru (x).

Entonces, no solo beu define 7 sino que, por el contrario, 7 determina db y

u, porque b = T0) i (x) = T (x) - Z (0) para todo x € F. Deje G (E: F) ser el
espacio vectorial de las aplicaciones relacionadas de E en F, que es naturalmente
F x £, (E; F), por correspondencia

(Du) EP XAMEF) TEG (E; F)

definido anteriormente. El índice q es la inicial algebraica. Sejad (ZE; F) el sub-

espacio vectorial de 4 ($; *) de tales aplicaciones continuas relacionadas. Para que
Tacima ser continuo es obviamente necesario y suficiente para que seas
seguir
Tt
Definición 27, Al ser espacios estándar Z y F, 4 CE abiertos no
zia yf: iá + diferenciable en X EA, se dice que la aplicación relacionada
continuado por

HE E - corregir) + Di) - x) EF

es tangente a f en%.

Nota 39, como motivación, recuerde que si se abre 4 CR

no está vacío y f: 4 = R es diferenciable en X € 4, entonces la línea de Rº
tangente en el punto (X, f (X,)) a la gráfica de f en Rê, es decir, el lugar
representado por la ecuación y = f (x), tiene para la ecuación

p = fo) + Pia) ix - xa).

Definición 28, Al ser espacios estándar E y F, 4 CE abiertos no

zia, entonces las aplicaciones f: ia-F y g: i-F, supuestamente diferenciables en
% € 4, se dice tangente en% cuando tienen la misma aplicación
igualmente permanece tangente en X, es decir,

fin) = gixo), Dicho) = Dotx).

Ejercicio 56, bajo las condiciones de la definición 28, demuestre que f y g

son tangentes en X If, y solo si,

gm loco - alimentado o
X =>% | x- |

ul cu

Página 79
 Observación 40, algunos autores toman la condición indicada en
ejercicio 56 como definición de tangencia de fe gema x, suponiendo además
Además, que f (Xy) = g (Xo) y que fougseja continúa en X, lo que implica
La continuidad de ambos en X. Esta forma del concepto de tangencia
se usa implícitamente en la definición 23: ver también la proposición
29,

716

80
 16
ALGUNAS REGLAS DE CÁLCULO DIFERENCIAL

Proposición 30, Ser & F espacios normados, bh € F, luego la aplicación

La cotización constante x € £ »b EF tiene un diferencial igual a O en £.

Demostración, Sea f: & - * tal que arregle) = b para todos x EZ. En-
entonces cualquiera que sea x, X% E], tenemos f (x) = f (X). Por lo tanto

arreglar) - fin) - Otw- 3) = 0,

donde O en el primer miembro indica el OD de 2 (£; F), donde

im Uib) - fo) - Reza mil o,

E + dim
El | * x

es decir, encontramos que la aplicación lineal continúa 0: E> F satisfaciendo el

definición de la definición de diferenciabilidad. El resultado f es diferenciable
% y que 2f (%) = 0 para todo x €%. QED

Nota 41, La aplicación constantex € Z »h EF también es no

cada uno por À ', que es un abuso de notación cómodo, de modo que el pro-
posición 30 hechizos Db = 0, más adelante, desde el teorema de
Lagrange, demostraremos ser recíprocos de esta proposición (ver & 19).

Proposición 31, Let be, F espacios normados i € L (E: * j. Entonces

u es diferenciable en £ y Dy es la aplicación constante x EE mu E 2 (B; F).

Demostración, Por linealidad

uUlx) - (xa) - (x - 2%) H [en

lo que sea *, x, € E. Logo

gm Iutx) - ut) - ut - xs)]] "

FX x - ||
entonces encontramos uyä £ (E; F) que satisface la definición de diferenciabilidad
de, es decir, u es diferenciable en mí si su diferencial es Du (x,)) = u para
%% y QED

Observación 42, Se indica la aplicación constante x EE o E (E; F)

simplemente para 4, que es un notable abuso de miedo que
La Proposición 31 se escribe du = u. Tenga en cuenta, sin embargo, que en el primer
primer miembro, tiene uy: x € & mu (x) € F, pero en el segundo miembro,
esto es u: x EÉ mw € £ (E: F) es decir, tenemos dos aplicaciones diferentes

designado por la misma letra u. La regla actual Du = uno

Página 81
 debe compararse con (£ *) '= € *, pero con (9%)' = q del cálculo
Diferencial clásico. Más tarde, a $ 19, discutiremos el recíproco
de esta proposición, estudiando las aplicaciones de derivada constante, usando
el teorema de Lagrange,

Proposición 32. Let be, ,,,, f espacios normados y EL (bi, Ba; F).
Entonces, yu es diferenciable en Z = £, x £, y su diferencial en X = (4.2%) €
€ & es la aplicación lineal continua de Z en F dada por

ttr, to) EB Último min) + U (a, ta) ES.

Demostración Dada x, demostremos que usted es diferenciable en

x, Ahora lo que sea y € Zi, a € £, tenemos que

ul a, Eta) = UM) tulio) + ulA, ta) + ita, bo),

por bilinealidad dio. Por lo tanto

Ita + ta, 2% + ta) - ul) - Ult, δo) - ul, to) =

= Ihuttr, todo Ill Wall Il oail.
Recordando el carácter topológico de la diferenciabilidad (ver ejercicio
53, $ 14), por el cual podemos usar cualquier estándar que defina su
Topología cartesiana del producto, usemos Es la norma lo (ver

78 l4, 29) Sejat = (t, ig) EE, Entonces

cama = euptal, allí.

Logotipo

+ +) - ube - tb) s Uhull (Val,

donde definimos v € 2 (&; F) por

D (b) = último) + Ulta,%)

por cada $ €%, Resulta que

co ulx +) - ut) - es) |

É=0 Hasta
lim = 0,

es decir, u es diferenciable en x y Dul (x) = 2, QED

Observación 43, La regla que se acaba de demostrar es la análoga en

caso general que estamos considerando, de la regla (fg)! = f'g + fg 'do

Cálculo diferencial clásico, derivación de un producto. Más explicado
específicamente, esta regla clásica resulta de la proposición 32 anterior y la
35 y 36 a continuación, ya que fg es la aplicación compuesta de lo siguiente
siguiente.

ZEA = (f (x), gtx)) $

er, nm nm EK,

Page 82

tomando valores el primero en un producto cartesiano y siendo el segundo

 bilineal continua, La Proposición 32 se extiende fácilmente a
relaciones multilineales continuas,

Propuesta 33, Siendo un espacio normado, operaciones vectoriales

riales

(o, cExEm g + yEB,

A, MEKXE nm AXEE,

son diferenciables

Demostración, (De hecho, el primero es lineal continuo y el

gunda es bilineal continúa; solo use las proposiciones 31 y 32, respectivamente.
vely QED

Proposición 34, Son £, espacios estándar F, 4 CE abierto no válido

zia, f: ià = -F, g: AF, siendo ambos diferenciables en x, E À y a, BEexK.
Entonces f + 2y es diferenciable en x y

Dtaf + Bollxo = Df (x) + BDg (x).

Demostración, Sea s = af +89, u = Df (x), v = Dgtx), w = auh +

+ Ev, entonces

S (x) -sig) -wlx-m) = a (f (x) -f (xo) -utx -x)) + Blgix) -glxo) -v (x-2.5)

se x CA. Resulta que

lista lim) - a - ix - xo = 0,
Es ka
lx - muñeca

Lo que resulta ser 8 diferenciable en x, y De (x,) = w. DED

Observación 44, la Proposición 34 a menudo se cita como

linealidad de diferenciación,

Proposición 35. Sea £ 7 ,, espacios normados Fa, 4 £ abierto no

vacío, fy-M, fd "Fo es

f = hRKfgidAF x

El producto cartesiano de las aplicaciones componentes fi, fa dado por

flo = (flo), faltante y x

si x € A4. Para que f sea diferenciable en x, E 4 es necesario y suficiente

consciente de que f ,, fa son diferenciables en X,. Entonces

Dil) = Dfilx) X Dfact)

es el producto cartesiano de las aplicaciones componentes Dfitxo), Dfatão), o
ser para todos + E £,

Page 83

Dflxantt) = Drilioit), Dfaligit)) MS X Fo

 Demostración Supongamos que f ,, fa se puede diferenciar en. Let u =
= Dix), a = Dfalxy). Vamos a hacer

"= UXug EZtEit XE).

Entonces, si x y 4,

flo) - Fijo) - ul a) = (Fal), hecho) = (Frito), fa (xad) = (ia (= xa), Unte = X)) =

= (Hablo) lode) ua (- o), fal) - False) - Uol - gb)

Usando el noyma || - jo en 7, x 7; (ver definición I4, $ 9), tenemos

Hof (x) = Flo) -utx - ug = sup, fa (o) = falco) - tallos = xo).

=,

Por lo tanto, junto con el hecho de que fi, fa son diferenciables en%,
correr

tim Lt) fl) -ulxlo - 0,

ESHo lx - ol
es decir, f es diferenciable en X y Df (xo) = U.

El recíproco se muestra con el mismo razonamiento, en el orden en que

viceversa, DED

Observación 45, Deje F ,, F ser espacios normados. En el medio

2E, M) x Edo),

(EF El Fa)

Hay un isomorfismo natural y un homeomorfismo, que se describe a continuación

modo, A (w, U4z) en el primer espacio asociamos 4 en el segundo espacio
definido por

Ulm) = tuto), ualx)) MS x Ps

para todo x EX; deletreado u = WX Uo Es inmediato que (n, ugl mu es

un isomorfismo y homeomorigismo entre los dos espacios normados en
pregunta Consideraremos que la correspondencia objetiva anterior es
una isometría para el estándar || || utilizado en ambos productos cartesianos
en juego pero no siempre para el estándar ||: | ,, donde Is p <s,

Propuesta 36, (Diferenciación de degradado de aplicaciones compuestas).

Sea £, 7, 6 espacios estándar, 4 CH &, BCF, ambos abiertos no abiertos.
zica, f: 4 = F, g: B> G, donde fIAJCD, X € 4, = película) € P. Si f es
diferenciable en% gy es diferenciable en y, entonces pef: AG es
ferentable en% y

Código fijo) = Poty) Dftmo).

84

Demostración, Vie € A, si r (x) definido por

Flo) = f (x) + u (oo = aa) + Ile = amilo (o)

 para x%, whereu = Df (X), y para rig) = 0 Del mismo modo, si y € D,
dejemos que s (%) sea definido por

em) = glroty-vw) + lygollo s (y)

para yá W, donde U = Lpita), y por sí mismo) = 0. Por la definición de

fiabilidad, las aplicaciones r: 4 - *, s: B -G son continuas en, lh,
respectivamente

Para x64, deje y = arreglar) € B. Entonces, como las ecuaciones anteriores que
definir Fr y E siguen siendo válidos para X = X y 4 =, respectivamente.
te, tenemos, por x € À,

altwo) = glftom)) + check - to) + cable - phon elf] =

= gr) + vlucx - 20) + lx - eye rix)] +

+ lucha =) + Il = rollo de ajo - stf (xo) l.
Logotipo

tos wire- (go phyto) - (oem- oo) = lx - o]: vendría] + 81

2 do - xo) + lx = ocho roles stf6o).

Para concluir que 7 'f es diferenciable en x, y que

Cavar y arreglar) = Lo haré,

Es suficiente tener en cuenta que al llamar a A (x) el segundo miembro de igualdad anterior
ma, tenemos

atolón s | - xi ltol) el IIrqo!) +

+ X = xo) + lx = ll diestro,

dende

gm Atol
ds Ka % =% |

porque r (X)> O cuando x> x, así como f (x) - y cuando Xx-X y end-
siy)> O cuando y- e y. QED

Observación 46, En las hipótesis de la proposición anterior, si f gy son

diferenciable en á y 5, respectivamente, por cada x € 4,

Me refiero a Dix) = Dolftx)] Dix),

Page 85

que, por abuso de notación, está escrito

Digof) = Docf) oDf,

 o, más simplemente,

Punto = Doitydr.

Observación 47. La Proposición 36 generaliza la fórmula clásica.

folfuoly = g'lf (w) lf '(x) del clásico cálculo diferencial,

Observación 48, A modo de comentario, tengamos en cuenta que

la partida 34 se desprende de las proposiciones 33, 35 y 36.

Proposición 37. (Regla de diferenciación de aplicación inversa),

Sean E, F espacios estándar, 4 CE y CF, ambos abiertos, no vacíos,
f: á -P aplicando inyectivamente A sobre B, DB - Y es inverso que
aplicar Es inyectiva sobre 4, ME 4 y W = “F6) E», donde X = 1er (1) E
4 €. Supongamos que f es diferenciable en X. Para f "ser
ferentable en y es necesario y suficiente para que 1 "sea continuo en
y dejar que Df (X) sea un isomorfismo y un homeomorfismo de £ over?
donde su inverso LD f xy) es un isomorfismo y un homeomorfismo
deF sobre E. Entonces

Dt (mes) Dt.
Hola

82
Demostración, Ser

tu = D) HE,

D ul EAT: E),

para probar la suficiencia. Hagamos, para XE4, XÉ%

fo) = fo) eu = 20) + lx = xoll la media),

y riñón) = 0, que define r: 4> F continúa en y por la diferenciabilidad
de f. SE, PARA, VEA HA,

ao = mo) + vty - vo) + ly - tonto)

es (w) = 0, que define s: 5B - £. Para demostrar que f * no es distinguible
en w que su diferencial en W es igual a v, debemos demostrar que 8 es
Aún está ahí.

Para x EA, hagamos y = f (x) EB, o, de manera equivalente, para y EB,

hagamos x = f (y) EA, Tenga en cuenta que x - X es equivalente a 4 - ya, por el
continuidad de f en x y f * em. Tenemos que

en-tm) - viy-vo) = xM-Dly-w) = vluo-m) -vy-twls

= vlute-x) - (4- mg) = -Difix) - f (x) - ulx-m)).

86

Logotipo

Eco -ivo -vty- objetivos piojos de los ojos - sonido) -ulx = x).

Suponiendo que É & W, que es igual a ax es X, tenemos

 legoll <iv rel El
Como r (x) - O cuando x - x, para concluir que e (y)> O cuando y + tp,
solo muestra eso

lx - aceite

ly - voll

py manténgase limitado cuando & - lh, es decir, cuando x = X.

Para esto, por cálculo análogo al anterior,

x-% = vlulx-x] = -vifG) -fin) - ulx - xo) - (4 - MW),

de donde

e = suelos Wollo tllz - ooo lirgenll + 1) y - encuesta).

Para dar 83

[And-le-roll - the eye ily - roll,

Como P (x) - cuando x - X, hay> O tal que Bs (x) CA es tal que x €

€ Bs (%) implica || r (x)] «1 / pil, es decir

== folleto]> 0.

Entonces, por X € 5, (X), tenemos

y cos - moi
muñeca :! y - aceite
xml + Toi. Tre
Resulta que para X € Bs (X), x es Xa,

hola Iirçoe) ||
lstyll s 1- iv.
iris)

(que, por cierto, sigue siendo cierto para x = X%). Por lo tanto s (y) = 0
cuando py - Ho, lo que demuestra la suficiencia,

Veamos ahora la necesidad. Simplemente aplique la proposición 29,

$ 14, para concluir que f "debe ser continuo emjh. Además
proponiendo 36 a

joftta = I, ter = aI,

Page 87

vemos que por la proposición 31,

Dix) Diva) 1,

DI tw) Dil) T;
 logo Df (%,) es un isomorfismo y un homeomorismo de E mayor de 7, QED

Observación 49, Esta proposición generaliza la regla de cálculo Di-

referencia clásica a y = arreglo), por el cual

Ef]Ay a -Ll PS

Observación 50, La Propuesta 37 incluye las hipótesis de que f

tener FT inverso "y dejar que sea continuo en y. Es importante saber
que tales suposiciones sobre f * pueden abandonarse y convertirse en
parte de la conclusión, localmente. Eso es lo que sucede en el poderoso resultado.
conocido como el teorema de inversión local: donde E, F es
Banach, 4 c E abierto no vacío, f: 4 "F continuamente diferente

retornable a 4 ex) € 4 de modo que Df (xX,) es un isomorfismo y un

meocmorfismo de E sobre F, por lo que hay un vecindario abierto V de
x, en 4 y un vecindario abierto W de y = flxy) en Ftais que / es un

homeomorismo entre / eW, así como fl: - Y estar continuamente

diferenciable en W, teniendo
84
Dr = Dio
por cada y € W, donde X = ft), es decir, por cada x € Y, donde y = f (X).

Observación 51, En la proposición 37 y el teorema de inversión local

(Nota 50), la hipótesis sobre Df (X,) implica que & y F son isomórficos.
fos por Df (xy). Por lo tanto, si E o F es de dimensión finita, el otro también
será, con igual dimensión, suponiendo, por lo tanto, £ y F de la misma dimensión
hipótesis finita de que Df (X,) es un isomorfismo y un homeomor-
E en F es igual, por el corolario de la proposición 18, 911, el
Deje que Df (x,) sea un isomorfismo de E sobre ", o quebf (x) sea inyectado
o que 2f (m) es sobrejetivo,

Ejercicio 57, Son E, 71.5a, 0 espacios estándar, CE abierto

no vacío, fj: A, doblar -Fa,

u EXP, Fa: G), g = ulfi, zorro 6.

Si X € A y fi, fp son diferenciables en%, entonces gq es diferenciable en

X, y existe la siguiente regla de diferenciación de un producto, para cada
XEE

Doixoo) = ulDf (xota), photxo]] + ul lode), Dfalxadted].

Ejercicio 58, considere las aplicaciones continuas bilineales de

ejercicios 49, 50, 51, 2 12. Escribe en cada caso el diferencial de
aplicación Escriba, también, en cada caso la declaración particular para
eso reduce el ejercicio 57.

Page 88

Ejercicio 59. Sea un espacio de Banach, el subconjunto 4 de

todo u E2 (8; É) que tiene el inverso yu * G (E: E) está abierto en iZ: E) y con-
tener la identidad La aplicación de la inversión.

Luca - wow y Lee)

es un homeomorfismo de 4, que coincide con su inverso 1! Más allá

 Además, Is es diferenciable en À y, por cualquier € 4, v € £ (F, E),
si

DEUND) = leu st,

Observación 52, Este ejercicio generaliza la regla de cálculo Di-

ferential clásico

BE
Ejercicio 60, Mantengamos la notación del ejercicio 59, Mostrar
que, siendo "un espacio normado, la aplicación

(uv) € A xP) - vuE 2 (E; P)

es diferenciable y escribe tu diferencial, Lo mismo para

(EE. UU. EA XE), UD y AQE).

Observación 53, Este ejercicio generaliza la regla de cálculo Di-

ferential clásico

Page 89

117
SI ES UNA ESCALA VARIABLE
 Considere el caso donde = K. Sé un espacio normado
Tenga en cuenta que

£ AK: S) ! E (RM)

y que Y es naturalmente isomorfo para ambos, por medio del isomorfismo

que cada b CY asocia la aplicación lineal, automáticamente continua,
de K en 7 definido por

AEK m ADER.

Definición 49, si ACK no está abierto yf: 4 «F (función de valor)

real o complejo, con valores en £?) es diferenciable en
X% CÁ, su diferencial Pf (m) EL (K; F) se identifica naturalmente con un
elemento de ”, representado por f '(x,) y llamado derivada de f en
*%. Por lo tanto

DIGA ER - AFI) EP.

67

Por lo tanto, a menudo se dice que j es derivable en x, como sinónimo de

que f es diferenciable en%. F es derivable en Δ cuando f
es derivable en todos los puntos de 4. En este caso, la función

ZEA - fu ER

se llama derivada de f en 4 y se representa con f '.

Proposición 38. En la notación de la definición 29, de modo que f es diferente

rentable, o derivable, en X es necesario y suficiente para que haya
límite

de * - Xy ?

cuyo valor es entonces igual a f '(x%),

Demostración Ejercicio Ged

Nota 54, en el estudio de funciones variables escalares, se hace

una distinción entre las derivadas f '(X,), f' y los diferenciales Df (X), DF,
que son conceptos matemáticos distintos, aunque corresponden en
naturalmente, dada la correspondencia natural entre F y £ (K; F),
distintos conceptos matemáticos son equivalentes desde el punto de vista de
su uso, En el caso general, ¿dónde está cualquier espacio normado (en

Página 90

en lugar de E = K), varios autores todavía llaman a la derivada que llamó

aquí tenemos diferencial Df (x,), Df, aún representandolos por f '(X5), Ff,
como el clásico cálculo diferencial, preferiríamos distinguir
derivado del diferencial, desde el punto de vista del concepto y la notación,
rivada solo tiene significado en el caso £ = K, mientras que el diferencial
prevalece cuando E es cualquier espacio estándar.

Observación 55, En caso de una variable escalar, sin repetir

simplemente, en términos derivados, todo lo que se ha dicho anteriormente
 para el diferencial, notemos, por ejemplo, que la regla derivada
de aplicaciones compuestas se establece

(geion = Dowo)),

de acuerdo con la proposición 36 cuando £ = K,

Observación 56, Cuando Z = K, 4CK, ahumado disperso, f: 4 +

-F,% y € 4 y hay> 0 Aparte de que [%,% +0] C4, podemos definir la definición
y el diferencial de f a la derecha de My: y análogamente a la izquierda
querida si [x - 5, X,))])) CA. No entraremos en detalles, lo que debería
Sea claro para el lector. En el caso de cualquier espacio estándar cualquier £,
la definición de diferenciabilidad de f: 4 - F en un punto X, € 4 no
menos de 4, que ya no se supone que está abierto, es un más
plexo, que no abordaremos en este texto.

88 Ejercicio 61. Sea f: 4 "F, donde E, F son espacios normados y 4 €

EC está abierto, no está vacío. Se dice que F tiene una derivada en Xp € A
la segunda dirección es € y cuando existe el límite

tim Ile + AS) - fig)

à= k

donde, donde A € K, dicho límite es la derivada en cuestión, siendo

sentado al lado

af
Si el).

Demuestre que si f es diferenciable en x, entonces esta derivada en x

segundo t hay lo que sea y

darel) = DftroE).
Si

Page 91

18 años
TEOREMA DE INCREMENTO FINAL DE LAGRANGE

Comencemos recordando la redacción Teorema

Adiciones finitas de Lagrange. Deje 4 TR abierto no vacío, f: 4-R
 diferenciable en Ad y À, € 4 tal que [A ,, h,) CA. Luego está À E
E [»9, A, 1 tal que

FOu) - Flo) = POA - Ag).

Un comentario que generalmente se hace es que si A es M, entonces A puede ser

elegido de [A ,, M). En cualquier caso, el hecho de que À € [A ,, M4]
hace que este resultado fundamental del cálculo diferencial también
ser conocido como el teorema del valor medio de Lagrange. Su in
interpretación geométrica, cuando ào é à, es eso, considerando el
Me pongo en Rº de f, es decir, la curva de ecuación y = f (x), así como el
la curva que pasa por sus puntos

Po = Ir, OD, À = Mt),

hay un punto 89

P = (A, FA)

del arco de curva entre A, P, donde la tangente a la curva es paralela a la

da,

El siguiente corolario es inmediato. En las hipótesis anteriores, tenemos

| O) = fo) s su Fue: bay = ol.

XE (el,
En casi todas las aplicaciones del Teorema de Lagrange, que
se utiliza el corolario anterior en forma de desigualdad pero no
el teorema mismo, es decir, la igualdad en su enunciado.

Página 92

Como veremos en la proposición 39 a continuación, el teorema de Lagrange

tiene un análogo para funciones diferenciables f: A - “R, donde A es un
abierto no vacío de un espacio normado. &. El sin embargo, no hay
anélcgo para aplicaciones diferenciables con valores vectoriales, como
mo muestra el ejemplo 25 a continuación, Por otro lado, el corolario anterior
tiene un análogo para aplicaciones diferenciables f: 4> *, donde Fum es
palacio normado, por la proposición 40 a continuación.

Definición 30, si E es un espacio vectorial y Mm,% EE, el segmento

cerrado [x ,, Mm) de extremos x, x € el conjunto de puntos

(1 - Axo + AX
 para todos los A € R, 0sSis1ISexy = »%, entonces [X, X%) se reduce al punto
% o =%. Si X es * Mm, tenga en cuenta que la aplicación

AETO, 1) (1-Ay tim E [23,04]

es biyectiva entre ([D, I) CRe [M,%]) € E. Si E es la norma, entonces

[Xo,% 4 1 será compacto ya que es la imagen del compacto [9, Il por
arriba, que es continuo.

Propuesta 39, (Igualdad de Lagrange). Deje Y sea un espacio normal

abierto, 4 Cf abierto no vacío, F: 4 -R diferenciable en À exg, m EA
tal que (x,] CA. Entonces hay x € [X, 4) tal que

ag
PO) - fijo) = Arco - o).

Demostración, La función

LEER Ndtl- od + rAm EF

es derivable porque es continuo; Estados Unidos derivado es constante e igual a

X, - Xy, Deje ga ser la función definida por

g0) = VENTILADOR (i- Axo + ha]

en la parte abierta de R formada por À € Rtais que (| - AX + hm EA,

Esta parte contiene [0,1]. Entonces q es derivable porque es el compuesto
de dos aplicaciones diferenciables; su derivada es, por observación 55,
Señor

ga) = DFL - Axo + AmTia - xp).

Por el teorema clásico de Lagrange, para la función real de la variable real,

hay Å & Lo, 1) tal que

g (1) - g (0) = q '(,

de ahí la igualdad de la declaración, donde x = (1 - A) xy + AÓ € [x,% a | OED

Observación 57, La forma del Tevrema de Lagrange, que acabamos de

para probar usando el teorema clásico de Lagrange, contiene como un caso
puesta de sol clásica particularmente obvia y por lo tanto es fácilmente equivalente a la
realmente

Página 93

Nota 5B, en la proposición 39, si x es X, se puede suponer que

XÉ SM, XÉX. Esto resulta de la observación correspondiente en el caso de
Teorema de Lagrange para la función real de la variable real,

Corolario En las hipótesis de la proposición 39, tenemos

| ftm) - Flx)] <sup loft Ilx - xl.

% Éxx,]

Demostración, De hecho, al señalar la conclusión de la proposición

1980, solo tenga en cuenta que

[Masacre: Ia - xl. QED

 Ejemplo 25 Tomemos la función

fijador - (02.4) ERÊ,

Que es diferenciable. Arreglemos, por ejemplo, À = 0eh = lemkR.

Afirmamos que la igualdad

FO) - flho) = fHHAJA, - Ao)

Es falso por cada A € [A ,, h], o incluso por cada A € R. De hecho,

esa igualdad es equivalente a

(1.1) - (0.0) = (2), 31%), voluntad

o incluso 2) = 1e3X = 1, lo cual es imposible, este ejemplo
El motivo muestra que una igualdad del tipo de teorema de Lagrange, ex
apurarse por la proposición 39, no se puede esperar en el caso de
vectores (incluso cuando el espacio variable es de dimensión l,
como R, siendo el espacio de los valores de la dimensión 2, como R '),

De hecho, el teorema de Lagrange persiste en forma de

igualdad en su formulación general, como con el corolario de la
proposición 39, Eso es lo que veremos ahora.

Propuesta 40, (Desigualdad de Lagrange). Dejar espacios E, F

normados, 4 € Está abierto, no está vacío, f: 4 -F differentiableemá y X,% É
EA tal que [M, H] CA. Entonces

gta) - fin) s sup IDfes. Dx - il.

celo]

Para la demostración necesitaremos el siguiente lema,

Lema, Let Î "MER, en <A, T = [Ag, pMJCReACT Sup-

tenemos eso:

l) A y abrir a la derecha a las 7, es decir, si) Y À, A <hM, entonces hay

He encontrado <u <helA, U] I CA

Page 94

2) El complemento 7? - à se deja abierto ?, es decir, si à €

ET-A, ho <A, entonces hay un qe ip <p <xie [ga] JCTI-A,

Por lo tanto, A = 1 si y solo si À, EA,

Demostración, La necesidad es evidente. Probemos la suficiencia.

Supongamos que À, € À. Motivemos lo absurdo, suponiendo que À É
Soy yo Entonces - Cualquier cosa Sé el último de I - A. Logotipo en E 7. Tenemos
qué:

a) Si <A, A € EA es imposible para 1),

b) A <hsh, XEZ-A es imposible para 2).

 2) À = A € A es imposible por AáTZ.

d) A = AgEI- A es imposible para À € À,

Dando resultados de que A € 4 es imposible para a) yc); y que 7 € - A se impone

solo por bj y dj. Esto es absurdo QED

Declaración de la Proposición 40, Comencemos con el caso E = R,

X = 0, x = 1 Queremos demostrar que

Ita) - HO <4,
2
donde

HM = sup llf '(el)

ZELI

eIJ = [0,1), donde 4 = + =, la desigualdad para demostrar es obvia

(y de lo contrario sin interés). Supongamos que M <+ =, Fixemose> O,
Sea À el conjunto de À ET tal que

fo) - Fes gre.

Tenemos 0 € A. Ahora, ¿A está cerrado ?, porque la función

LET »(M + ejd-lfhN-FoER

es continua (y el conjunto de puntos donde una función real continua es

(o igual, O está cerrado), por lo tanto, -A se abre a las 7 y por lo tanto
a, abrir a la izquierda a las 7.

Probemos que À está abierto justo en Z. Be À Is A, À <1I. Por

diferenciación de f en À, hay ô> Dtal que B (AJCA y

tao -f0r- Au -M] if-ju-a]

si |! E Bs (h), de donde

riñón) = escobilla de goma ranu-ml + lra-wood - as

sm ju-alre-ju-al = gre ju-al,

Page 95

desde ΔE 7. Podemos suponer ô <1 - A. Entonces si) <ZusA + ô,

Como À É À, tenemos que

Itau-sou seco) + Ira) - rana] =

sM + edu-i + rM + re) n = (Mack,

donde estás, es decir, [LA, A +8] GA, como necesitábamos,

Del lema 6, vemos que A = 1. Logo 1 € A, esto ES

Yo llamo al sol] <H + e,

para todos y> 0, lo que demuestra
 iris] <4.

Sea ahora E, X% y% lo que sea, como en la demostración de

posición 39, la función

LEER (L-NK + iMEE

es derivable porque es continuo; su derivada es constante e igual a

% - Xy Deje ga ser la función definida por

g0) = ARE - Ao + AM] 93

en la parte abierta de R formada por A € R tal que (l - Alx + ix € A,

Esta parte contiene [0, 1]. Entonces q es derivable porque es el compuesto
de dos aplicaciones diferenciables; su derivada es, por observación 55,
$ 17,

SA) = D $ LCI - Axo + AA (a - xo).

Para el caso anterior, tenemos

Caliente) - g (ol s ER gr ull,

de ahí la desigualdad de la declaración, porque

Dota - xo s Dyela - ll,

donde x = (1 - Aly + A% € [%,%]. QED

Observación 59, la Propuesta 40 puede deducirse mediante

Teorema de Hahn-Banach (ver nota 16, $% 6) del corolario de
Proposición 39, que se dedujo del teorema clásico de Lagrange.
Por lo tanto, la proposición 40 es una consecuencia del teorema de Lagrange.
para funciones reales de la variable real, usando el Hahn-
Banach La demostración que dimos aquí fue, sin embargo, directa, sin
ni el teorema clásico de Lagrange ni el Hahn-
Banach

Page 96

Proposición 41, en las hipótesis de la proposición 40, tenemos

Phew) - f (x) - Dictar - mo) 5 sup 2gtx) - Dt]! la - xoll.

X € [%,%]

Demostración, Definamos g: 4 = F por

gx) H arreglar) - DF (xo) tm)

por cada x € 4, Entonces

Dg (x) Df (x) - Df (Xo).

Aplicando la proposición 40 aq, viene

 phtoã) - Dftoon) = Flo) - D $ tro) ll] x
S sup Tinte) = DF (eo) + og - gl.
x € [59,2%]

Como 2f (X%) es lineal, viene la tesis, QED

Nota 60, suponga PDf continuo en. La proposición anterior

ma da la estimación

Lita) - Ho) -DfGrota - ml <taza | Df (x) - DF (co)

Ia = 2]] RR
a% *%. El primer miembro de la desigualdad anterior tiende a O
cuando% tiende a%, debido a la diferenciabilidad de f en Xx; pero el
arriba, en cierto sentido, el carácter distintivo de f en
X para la continuidad de Pf en Xa.

Ejercicio 62, Sea E, F espacios normalizados, 4 C £ no abierto

zio ef: 4 "F. Se dice que F es Gpschitzian a las 4 cuando la expresión

ft) - $ 64)]]
lg - 24]
está limitado a cualquier à, X € 4 en Is X. Se deduce que f es con-
Tiene, f ser diferenciable en 4,

cus ft) - fal = sup | Df (ell.

mio lm-axll x
La igualdad se mantiene cuando 4 6 convexos, es decir [X,%] GA4 cuando
%,% EA. Emtalcaso, f élipschitzianase, esomentesis, 2f es limitado
en Á.

Ejercicio 63, Sea E, F espacios estándar, NO abra

zio yf = A. Sexo € A4, se dice que f es estrictamente diferenciable en
% cuando f es diferenciable en% is

Page 97

tim ft) = ft) Dre - E q

EX 1] * tl

Ka

donde t es Gs, x Xo, t es X. Demuestre que para todos> 2 f 6x5) hay

8> 0tal que Bal) CA y

tt) - tarifa) = e + lx - el
si £, XE Br (x,): entonces f es lipschitziana y, por lo tanto, seguir
en Pp (X). Si f es diferenciable en A, entonces f es estrictamente diferente.
confiable en X% si y solo si Df es continuo en X.

Observación 61, Una forma del teorema de Lagrange más fuerte

esa proposición 40 es la siguiente: en las hipótesis de la proposición 40,
si eso
 FO) - fijo)

pertenece al subconjunto convexo y cerrado más pequeño de F que contiene todos

donar los elementos

Dftx) ita - xo), donde x € E [lx, x].

95

98

19
Aplicaciones diferenciales nulas o constantes

Recuerde que se dice que un espacio métrico está conectado cuando no

no hay un subconjunto que esté al mismo tiempo abierto y cerrado
guardado excepto el conjunto vacío y todo el espacio.

Propuesta 42. Sean Z, F espacios estándar, 4 € Faberto no

vacío, f: 4 “FP diferenciable. Si Df = 0emá, donde 4 está conectado, entonces f
Es constante a las 4.

Demostración, Sea € 4e8> Otal queBs (M) CA. Vie € Fs (X),

 luego [% ,,%]) CBslMy) CA4 y por lo tanto por desigualdad de Lagranpe
de la proposición 40, $ 18,

fo) = arreglos sup | Dreol - a - xl = 0,

xE Mi p

donde f (X) = f (% M), es decir, f es constante en B. (%). Esto muestra que f

es localmente constante, es decir, cada punto en À tiene un vecindario en
donde f es constante 97

Dado esto, establezcamos X € A y dejemos que 4 sea el conjunto de XE 4 de modo que

Fixj = f (x). De la observación anterior, está abierto. De hecho, sexo € 7, hay
una vecindad / de x en 4 donde f es constante e igual a fijo), por lo tanto igual
af (x); de V CA; lo que resulta ser abierto, por otro lado, está cerrado
porque Δ es la imagen inversa de la aplicación continua f del conjunto
reducido f (X), que está cerrado. El logotipo 4 se abre y se cierra a las 4, Co-
mo% € ?, vemos que É no está vacío. Al estar 4 conectados, el resultado T = 4,
Entonces f (x) = f (X) para todos x E 4. QED

Observación 62, Esta proposición es recíproca de la proposición 30,

$ 16 si 4 está conectado. Si 4 no está relacionado, la propuesta
anterior se aplica a cada componente relacionado de 4 (ver ejercicio
65 abajo),

Proposición 43, Let 'be', espacios normados, NO abiertos

zio, f: 4 = F diferenciable, si Jf es constante en 4, donde À está conectado,
entonces f es la restricción a 4 de una aplicación relacionada continua,

Demostración, Sea CA (E, P) tal que Df (x) = u para todo x sea A.

Ahora, Du (x) = usted para todo x E £, por la proposición 31, $ 16.

D (f-idioma = Dj (x) -Diuládix) = 0

por cada x € 4. De la proposición 42 vemos que f - ul4 es constante

em, es decir, hay DEF tal que f (x) - ulx) = Db, donde f (x) = Db + u (x)
por cada x € 4, que es la tesis. QED

Page 99

Nota 63. Esta proposición es recíproca de la proposición.

31.316. Sed no está conectado, la proposición anterior se aplica a cada
componente relacionado de 4 (ver ejercicio 65 a continuación).

Observación 64, en la Proposición 42, estudiamos soluciones f, de

Df = 0, En la proposición 43, vimos las soluciones f, de 2f, = fo. Podemos
continúe estudiando las soluciones fa de Dfa = fi, etc., que lleva a 208
polinomios contiguos de Z en 7.

Ejercicio 64. Un poligonal en un espacio normado que conecta

a, b EE es un subconjunto de £ de la forma

[4,4] U ... Um, a],

donde E =%, XM, .0.,% wj, X = D son puntos de está en = 1 Demostrar

que una parte abierta no vacía 4 de E está conectada si y solo si hay alguna
Donde se dan dos puntos de 4, hay un poligonal en £ lij-
ganando 05 mismos puntos y contenidos en À,
 El ejercicio es 5, que 4 sea una parte abierta no vacía de un espacio normal.
Hago £. Digamos que dos puntos de Δ son conectables cuando hay un
poligonal en E conectando los mismos puntos y contenidos en. Define
una relación de equivalencia en À. Cada clase de equivalencia está abierta a
está cerrado en À y conectado, recibiendo el nombre del componente
4 conectados, Cada subconjunto conectado de 4 está contenido en un
componente relacionado de 4.

Página 100

20
INTERCAMBIO ENTRE DIFERENCIACIÓN Y LÍMITE

Proposición 44, Sea 7 y espacios normados, donde F está completo,

AG E abierto no vacío y (f) una sucesión de aplicaciones diferenciables
de A fem, supongamos que

1) cada punto en € A es el centro de cualquier bola B (&) C 4 peine> 0,

tal que la sucesión (D, f) sea uniformemente convergente en esta bola;

&) hay al menos un punto G € 4 tal que la secuencia (f, (&, 5)) es
convergente

Entonces, estando A conectado, la secuencia (f) converge uniformemente

te en Bs (2), cualquiera sea EA, Haciendo
 Flw) = lim fy (2)
7% + er

por cada x € 4, uno tiene que J: 4 = es diferenciable en 4 y que

99
Dym) = limDf, (2)

por cada x € 4,

Demostración, Sexo € Fs (a), luego [a, x] = B; (o). Por desigualdad

Lagrange (proposición 40, $ 18) aplicada af, - fa, entonces tenemos

grasa) = falo) = Cito) - ft) s (a) orcos) - Dsstol x - ahí.

Por la hipótesis 1) de la declaración, tenemos que

Bm
uy (a) IDfact) Prit) -D a
Dftó)! = 0,

Por lo tanto

lim | fu (x) - futx) - [rutay - flo] = 0

mn

si x es Pala). Por lo tanto, si hay un límite de azúcar (f, (x)) para algunos
xy Ps (g), se deduce de la igualdad anterior que existe el límite de sucesión
(hablando)), que, por la misma igualdad, implica la existencia del límite de
sucesión (f, (x)) para todos los x € Bs (a).

En otras palabras, ¿dónde está el conjunto de puntos xE4 para el cual

Existe un límite de bucesión (f, (X)) y Es la) según la condición 1) de

Page 101

Aliados, vemos que Bs (2) está contenido en 4% o es disjunto de Is. Dai

inmediatamente resulta que X se abre y que tu complementario en Á
También está abierto; pronto 4 se abre y cierra a las 4, asas y 4, entonces
X no está vacío. Por lo tanto, dado que À está relacionado, concluimos que 4 = À,

Sea por lo tanto f: 4 = Y definido por

enfoque) = hecho limitado)

+

para todo x E 4, Tenga en cuenta que, por la primera desigualdad del comienzo de la
demostración, se deduce que

a (o) - hecho s Ifito) - hecho) + sup UDfatt) - Dist8

teBala)

si x 5 € (6); por lo tanto, el límite de sucesión (f, (X)) existe uniformemente

ax Bala).

Ser
 gix) = lim Df, (x)
Usted señor

para todos x E 4. Probemos que f es diferenciable que 2f (a) = gta)

lo que sea y EA. Tenga en cuenta que para la primera desigualdad
100 desde el comienzo de la demostración, cualquiera que sea el 2> O configurado, existe
qué

ata) - hablo) = Tulx) - hecho) = eclix- todo

senzmex € So). Arreglando mi tendencia al infinito viene

qo) - hilo) - [drenaje - fuelle] = e-llx-all

si x € Bs (a). Además, podemos suponer que m fue reparado suficientemente

gran mente así

| Dfto) - gt <e,

de donde

IDfalodtx - 0) - glotx- ml s eclx-al

para todo x EE, como f, es diferenciable en €, hay p, donde 0S p 5

s6, de modo que

[| fu (x) = hablar) - Dicton) s e-lx-al

si X € Beat). Por lo tanto, haciendo u = gtG), como

corregir) - fla) -ulx-a) = Erix) - fa) - [hilo) - hecho)]) +

+ Ralo) - hablar) - Dfta) tx - a) + EDfitala - a) - uix - al,

Page 102

ven

lfee-sia-utx-oll <e-lx-al + e-lx-all + e-ix-al = 30. ix-all

por cada arranque XE). Como e es arbitrario, se deduce que f se diferencia
y que Df (a) = u = gia) para todos los EA, es decir

Df (a) = Tim Dinta)

lo que sea G € à. QED

Nota 65, la hipótesis de que F está completa solo entró en juego

para demostrar que la sucesión (f, ix)) es convergente, para todo x E 4; su-
Dado este último hecho, esa hipótesis puede ser descartada. Si no
conectado, la proposición anterior se aplica a cada componente conectado de
À (ver ejercicio 65, $ 19) Condición 1) del enunciado de la proposición
arriba se sabe que es la convergencia local uniforme de Dt):
Parte de la conclusión de la declaración asegura una convergencia local uniforme

de (fj).

Nota b6, otro resultado importante, paralelo a la proposición

 44 (es decir,
partimos que no contiene
a continuación. Queesa
& yproposición, ni está
F sean espacios contenidasiendo
normados, en ella),
F es lo que
4 EC abierto no vacío y (f) una sucesión de diferentes aplicaciones
4 de 7, Supongamos que la sucesión (Df) es uniforme
compacto en todas partes en 4; y hay al menos un punto 101
Zo € Como la sucesión (f, (a,)) es convergente. Entonces, siendo
La bucesión (f) es uniformemente convergente en todo
pacto de 4. Haciendo

arreglar) = grasa gorda)

7 - el

por cada x € 4, tenemos f: 4> F es diferenciable en 4 y que

Djlx) = lim Dytx)

Fi - + Da

por cada x € Cuando É es de dimensión finita, entonces localmente

pacto, el resultado actual coincide con la proposición 44, Tanto el resultado
presente, como la proposición 44, se ha declarado aquí en su
secuencial ya no los deletrearemos en el lenguaje de
filtros, o redes, de la topología general. Compare también con el ob-
servidumbre 69, 8 21.

Page 103

al
APLICACIONES CONTINUAMENTE DIFERENCIALES

Definición 31, Let &, "espacios estándar, 4 CE abiertos no vacíos

ef: ia = F. Se dice que F es continuamente diferenciable en A cuando f es
diferenciable en 4 y su diferencial Df :; A - £ (E; F) es continua allí. El
el conjunto de aplicaciones continuamente diferenciables de 4 a 7 está diseñado
por AM: F), o por Cia: "), según los autores, siendo un espacio
vector en relación con las siguientes leyes. Si f, g € SAE), AEK,
bien

f + g, M ESAF)

por

(Frglix) = arreglar) + g (x), (AFhxX) = Afix),

 lo que sea x 4 €. No obstante Is = K, cuando la derivada
fi: 4 -Y debe ser continuo, continúa diciendo de manera equivalente que f
es continuamente derivable en.
103
Observación 67. Las aplicaciones simplemente diferenciables han aumentado
interés reducido en el nivel actual; los que realmente importan son
continuamente diferenciable y dicha observación debe hacerse en
cada curso de cálculo diferencial.

Observación 68, En vista del ejercicio 63, $ 18, digamos que f: 4 = F

es estrictamente diferenciable en todos los puntos de 4 es decir
que f es continuamente diferenciable en.

Observación € 9, En espacio vectorial SMA; FY puedes definir un

ecología natural, que hace que las operaciones vectoriales sean continuas pero no
resultados de ningún estándar; se llama la patología de la convergencia unificada
forma de aplicaciones y sus diferenciales sobre las partes compactas de
Un $ (4,7) es un ejemplo importante de un espacio vectorial.
topológico que no es normal (incluso cuando £ es de dimensión finita).
El hecho de que 8MA; F) se completa como un espacio vectorial topológico cuando
Es completo, está vinculado al comentario realizado al final de la observación 66,
20

Página 104

aa
DIFERENCIACIÓN PARCIAL

Definición 32, Let &, £. ”, Espacios normados, f = 2, X &, ACE

abierto no vacío, quince-Feg = (m, 0) 64. Considere abrir Ane

C £, formado por x; € y tal que (X, 03) EA, es decir

Un = DA NTE x La)]),
ya

es decir, 4 ,, es la proyección en E de la sección AN (Em x ia] l de 4 paralela a

£ 1, donde Dj: & - »Y, es la proyección natural. Tenga en cuenta que QE 4,. Considera
también daremos una aplicación parcial

ag AE Aa, f (m, 0g) EF.

Y tenga en cuenta que q E Da (4), donde 2,: E - Sí, es la proyección natural, Analo-
con los roles de £ e intercambiados, lo que lleva a
 fa: Como, »figma, m) EF,
105
Definición 33, Mantengamos la notación de definición 32, Se dice que
f es parcialmente diferenciable relativo a Por ro punto 4 cuando / a; para

diferenciable en q. Se define el diferencial parctal.

Por fia),

o en notación más simple

Dicho),

de f pariente ak en el punto a por

Ihita) = Dra) Etr).

Del mismo modo, definen la diferenciabilidad parcial de f con respecto a

a & en el punto à, así como el diferencial

Trato (e),

o en notación más simple

Fecha)

Definición 34, en la notación de definición 32, f: AY es parcialmente

diferente de & en A cuando f es parcialmente diferente
confiable con respecto a y en todos los puntos de 4, En este caso, la aplicación
ción

Page 105

xEA 'Df (x) ELHEP)

es el diferencial parcial def con respecto a E en À y representado por

de.4, 0u simplemente por Dif. Cuando 2, f es continua en A, se dice que
f es continuamente parcialmente diferenciable de Am en
lógicamente con & en lugar de &.

Nota 70, cuando &, = K, o Z = K, tenemos los conceptos de

derivada parcial con respecto a &, o & a (de acuerdo con O q 17), en la cual
No nos detendremos.

Propuesta 45, (Regla de diferenciación parcial y total). Mantener

tengamos la notación de definición 32. Si f es diferenciable en q entonces
f es parcialmente diferenciable de & e & ema; además,
tener arriba

Ditadt) = Dftaltti) + Dafla) tta)

para todo t = (tr, tp) E £, que se expresa diciendo que el diferencial

total en relación con E es la suma de los diferenciales parciales en relación con
& y &, en el punto Q. Por el contrario, si f es parcialmente diferente
confiable con respecto a Z, e & em, donde D, f y Dyf permanecen en €, entonces
f es diferenciable en q.

Damonstration. Probemos la primera parte, Supongamos que f difiere

 126 Rhea rentable. Sin embargo, la aplicación parcial

Fa E tiene - flh, 0) EP

se obtiene por composición de las aplicaciones

ES Y ES = (0%, Ga) Ex

(1,2%) € à - Tia er

El primero es igualmente continuo, por lo tanto diferenciable; su diferencial en à

es la aplicación

ti Eh - (bh, 0) € E.

El segundo es diferenciable de la hipótesis. Se desprende de la proposición

36, 9 allí, que fo, es diferenciable en q, y que

Dfat Mt) = Dj (a) yit, 0),

es decir, f tiene diferencial parcial con respecto a 4 en à y

dftalth) = Blade, 0),

por cada t € &. Del mismo modo, f tiene diferencial parcial sobre
af, emu y

Dafto) lta) = DftaXO, ta),

Page 106

por cada tg € Zy. Agregando como

t = (bt) = (8.0 + (0, t%),

vemos que la suma de los diferenciales parciales es el diferencial total en q.

Probemos la segunda parte. Solo usa la continuidad de 2, f emg,

como veremos Tenemos

End) - Fla, n) = [end, oa) - Fln, co)] + Lf (lm, as) - end,

por cada x = (X,%) € 4. Recibir ce> 0. Por la continuidad de D5f en

&, hay> G tal que

Pala) XBp (0a) Y A,

| Daf la, a) -Daflm, 0a) si,

si X es Bp (m), XE Bslta). Por la proposición 41, 8 18, tenemos

gta, 2) - F06.05) - Dafla, con = aa) s

£ sup [Dsf (om, to) - Daft, ea): trash - call <Ze- dl - ol

es EL 0a,]

si x E Balm), a E Balls), ya que 107

 Defton, ta) - Daft, malo] s
S | Daftoa, to) - Dofto, aolll + | Dof (26,500) - Dafta, llame.
Aún por la continuidad de Dhf en q, tenemos

Das (encendido, 00) - Dafla, aa) <e

si x € Fs (g) donde

UDaf (o, Ca) (xo - 03) - Daft, Ca) lm - ol s cxx - cal

sexo EBslm), X EE. Finalmente, definiendo la diferenciabilidad de
segundo y rea podemos asumir 6 lo suficientemente pequeño que
también se

if (om, 2a) - fttr, 0o) -Difta, celta -adl << eclla-al

si x € Fslm). Por lo tanto, combinando las estimaciones anteriores para

n € Bs (m),% E Boda), ven
ri) - fta) -Diftalta - m) - Dafla) tm - ao) s

<fxa, ã) = f (4.0e) - Dafla, dello - ag)! +

+ [DaftGs) - da) - Daft, do) (a - Ga) +

Page 107

+ arreglo, da) - Fm, 0o) - Difim, pegamento - centro comercial s

s Ze: lx - cal recloa -ca) rela -m =

<4to. suppllx - mt, papel de lija - aolt = 40. x - alto.

Por lo tanto, f es diferenciable en é. QED

Observación 71, Siendo m: BE -E, y D: 8-E, las proyecciones, podemos

enunciar

Dita) = Dfa) cm + Dafta) y zo.

Observación 72, La proposición anterior generaliza la regla clásica de

Cálculo diferencial, por el cual si z = f (x,%) entonces

= +3!ay SM
dz = 3x Br

es decir, el diferencial total de f es la suma de sus diferenciales parciales,

Yo

Observación 73. En la proposición 45, la mera existencia de D, f y da

no implica la diferencia de f; Esta diferenciabilidad es
en un punto q € 4, cuando los diferenciales parciales son continuos
sobre él
108
Corolario Para que f sea continuamente diferenciable en À es necesario
 suficiente para que f sea continuamente parcialmente diferente
es confiable con respecto a &, y está en AÃ.

Demostración, si f es continuamente diferenciable en 4, entonces

Bif eDaf existen emá, para la primera parte de la proposición 45. El gusto
damos la continuidad de 2, f en 4. Tenemos

Dftwlty) = Pfteoln, O),

sexo € c4, t € & ,, para la primera parte de la demostración de la propuesta

45 Considere la aplicación lineal continua

ok si 1 (h, 0) € E,

Entonces

Dftoth) Drt) lt (t)) = quiero decir) y tltA)

si ty EB. Logotipo

Drf (x) H Bftx) y ba

si x 4 €. "Tenemos que aplicar lineal

uai) m uot y LED)

es continuo, porque es <Ilull. ty. Ahora

108

Dfixea Dfix) € LBf)

obtenido por composición de aplicaciones continuas

SEM + Ditx) EL (EF),

UELE, O) mm uct ELI),

y por lo tanto) f es continuo, Del mismo modo, Dof es continuo,

Por el contrario, sea f continuamente diferenciable parcialmente

en relación con & e & emA, en la segunda parte de la proposición 45, f es
diferenciable en 4, proporcionamos la continuidad de Df en A4. Tenemos que
la aplicación lineal

u EBD) moco Edi?)

es continua, ya que la píldora ju <ul. píldora, donde m: E = E, en proyección. Ahora

XeA m Dfix) ecp E 2 (E; F)

obtenido por composición de aplicaciones continuas

XEA m Df (x) y EF),

eu) o ucm € L (E: F), 109

y por lo tanto ella es continua. De manera similar

 ftp unción ESE, F)

y continua. Ser

Dri = Dftwe dy + Daf (x) Do

por cada x € 4 vemos que) f es continuo como una suma de dos aplicaciones
acciones continuas, QED

Proposición db. Deje E, F;, 4, los espacios estándar, 4 G abiertos

no vacío, £ 9 A4, fi: 4 -F y mentiras A + F, aplicaciones diferenciables en
% o, 8 GH X Fa abierto no vacío de modo que (fi (x), fa (x)) EB para todos los x EA,
Hagámoslo | = Px), Wo = folox) y sea q: -G sea diferenciable en (4, 6).
Entonces g (fi, fak) 4 = & es diferenciable en X, y

Dgtxg) = Dieta, m) Dfitoo) + Dag, t) CDphalo).

Demostración, resultados inmediatos de la Propuesta 36, $ 16 y

primera parte de la proposición 45, QED

Observación 74, En las hipótesis de la proposición anterior, si fi, fa

son diferenciables en A y q es diferenciable en 2, está escrito por
abuso de notación

Page 109

Dylfi, fa) = Dglfi, falDf, + Doglfy, faltante

como resultado de aplicar la proposición anterior a cada punto de dar,

Observación 75, La proposición anterior generaliza la regla de cálculo.

Diferencial clásico, donde sez = g (X, 2) yw = fi (t), y = fatt),
entonces

de
dz Mi Ej 30 (x dy

dt y var 34 2 gs

Observación 76, Estudiamos anteriormente el caso de dos factores, pero el

La extensión del caso de un número finito de factores es simple.

Proposición 47. (Regla de diferenciación de aplicaciones implícitas),

Sean E, F, G espacios normalizados, 4 C y XF abiertos no vacíos, f: ià = G,
(% 5.76) EA, V una vecindad abierta de% en £, g: FV siendo (x, g (x)) E
Hey

fls, glo)) = O
para todos los x EV, g (x) = hWeg continúa en X. Supongamos que f es
diferenciable en (%, th), así como que Ds f (Xo, o) es un isomorfismo
y un homeomorfismo de 7 sobre G. Entonces, q es diferenciable en% y

Dotm) = - Ufo, vo) "eDhfix, vo).

En
Demostración Para simplificar la notación, podemos suponer que
x = 0,% = 0, f (0,0) = 0, g (0) = 0. Paratal, bastausel las correlaciones
 x y x. EE, veF nm y-WEF

y reemplace 4, f (x, H4), gtx) con

Ley) fixtom, Y +),

V -% a, gl + 2x0) - Ho

Guisantes

E
n Dft (0,0) E (ESG),
v
K Da $ 10,0) Y LUFSO),
w = -plou y AE).

Sea r: Ã - y se definirá por 7 (0,0) = 0 y por

arreglar, = usar) + vi) + o ylior rtx, 3)

si (x, 4) SÍ. Entonces, "es continuo en (0,0). Tenemos que, si X EV,

ut) + vig (io) + lite, gtxlo: rzz, gt) = 0,

de donde

Page 110

gt) = toke) l] (x, gtxdilo-pt),

ser

otx) IE [oirix, gro).

Tomemgsô> 0que B (0) CVecix) <lse x es Est0), porque q (0) = 0 y

mw es continuo en O. Vamos a configurar x E Ba (0). Distinguimos dos casos:

5 dios. Entonces

etwe = Ill qto.

2) Ixyl <gixl>. Entonces

geo - we] = Ilgeell-cp (x),

de donde

lates grs - tel] + Ihocoll s Iago!) - cotey + infierno. lodl,

y, como resultado,

gil] = od)
1 - (x) tu

que, por la igualdad anterior, da

.
gt) nosotros] s Rr Nil lil ot)
 Resumiendo los dos casos, tenemos

lotback <cupfi, Helo 4. om,

El | - (x)

Como w (x) = O cuando x> O, viene que

lim Le) nosotros - q

x=0 ae
Así, siendo g (0) = 0, vemos que q es diferenciable en 0 y que Dgi (0) =
=. QED

Nota 77, esta proposición generaliza la regla del cálculo Di-

referencia clásica a y = (x) que satisface f (x, y) = G, por la cual

W = - Jet).

Vie, 4)

Observación 78, La Propuesta 47 incluye las hipótesis de que

existir y ser continuo en X. Es importante saber que tales hipótesis

Página 111

que pueden ser abandonados y formar parte de la conclusión,

emocionante Y lo que sucede en el próximo resultado poderoso, conocido
como el teorema Aplicación implícita: donde E, F, Banach Gespa,
ACE xP abierto no vacío, f: Ã> G continuamente diferenciable en À,
(como bo) EA, fijo, ba) = 0 y Dafix, Yo) un isomorfismo y un homeomor-
de F sobre &, entonces hay uno: vecindario abierto / de x, en £,
un vecindario abierto W de (X, 14) a las 4 y una aplicación continuamente
g diferenciable: V 'F tal que

ser 4 = tiza),

son equivalentes a

es en, flw = 0;

En otras palabras, la ecuación f (x, y) = O reside exactamente en W

por Y = g (x) con x EV, Se deduce que g (ix,) = W y queg: V = F es el único
aplicación tal que (x, gix)) EW y flx, g (x)] = 0 para todo x E /, donde q
necesariamente continuamente diferenciable en V,

Observación 79, El respeto de Dsf (X, Ho) en la proposición 47 y

Aplicación implícita, comentarios similares a los realizados por el
sobre Df (X,) en la observación 51, 9 16, que no repetiremos aquí,

Ejercicio 66, ¿Reducir la proposición 37 de la proposición d? y

112 por el contrario, prueba esto de eso,
112

23
IDENTIFICACIONES NATURALES PARA APLICACIONES MULTILINEALES

Limitémonos inicialmente a la posibilidad bilineal. Ocasión multilineal

es tratado de la misma manera. Haremos las indicaciones relevantes a continuación.
seguir.

Considere, primero, el caso algebraico de aplicaciones

bilineal A continuación, veremos el caso estándar de las aplicaciones bilaterales.
Nearea continua,

Definición 35, Let be £, £ eF espacios vectoriales sobre K. Hay

un isomorfismo natural entre los dos espacios vectoriales

L (bo, oreja),

(Bj: 2a tas),

isomorfismo que se define de la siguiente manera. Ser dado

(ZE, EF) 13

Reparemos provisionalmente x, € & y consideremos una aplicación parcial

Uno: Mg EL => uim, M) EF,

o sea,
 A) = ulm,% m) EF
para todo w es E. Es inmediato verificar que

Uy y Alba)

Entonces, a partir de este miedo, en total% € 3, asociamos Ux El tEg; F)

queremos con la aplicación así obtenida, es decir

A CM muy y daIF)

Por lo tanto, ulx) = Uno es *, bo; F) o, explícitamente,

Ulm) = Umm) = Ulm,%) ES

cualquiera que sea% E 5, X € &. Se deduce de inmediato que

UE Li (Ea).

113

En realidad, 4 no es más que lo considerado como una función de

su primera variable, cuyos valores son funciones de la segunda variable,
o en diagrama

Un EM [Reino Unido EE - Ulm, om) yr).

Por lo tanto, cada

u EE, hey)

nosotros acaccia

a E ABABa).
Proposición 48, En la notación de definición 35, la aplicación de

eh, Bor) mu Estio)

es un isomorfismo del primer espacio sobre el segundo,

Demostración, Ejercicio QED

Definición 36, Sea f eF espacios vectoriales sobre K. Espacio Q

el vector 2, (Z, E; F) se indicará con

E ZE; F)

Tenga en cuenta que si Zf0 y 7x0, entonces

LCEF, es L4EP),
porque a la izquierda tenemos el espacio vectorial de las aplicaciones bilingües de
EºemF, mientras que a la derecha tenemos el espacio vectorial de las aplicaciones
 E * en F relaciones lineales. Se dice que un elemento CEF de u € 2 es
métrica cuando

Ulm, no) = UNO)

lo que sea n,% €%. El conjunto

Luna E: P)

de aplicaciones bilineales simétricas de E? en F es obviamente un

subespacio vectorial de E CEF).

Nota 80, Cambio de los roles de Is, y £ en la definición 35,

introduce de forma análoga un isomorfismo objetivo acústico natural

2a (Bi, EgF) = 2 Bos EB: F)).

Cuando & = £ a = E, el isomorfismo anterior y anterior de la definición 35,

dar dos isomorfismos superpuestos naturales

114

CEP) »EB: 2EF),

que son distintos en general,

Ejercicio 67. Sea £ y F dos espacios vectoriales sobre K. Si

u E A (E: F),

entonces uy es simétrico si y solo si la imagen vu en

E (E; 2tb)

es lo mismo para los dos isomorfismos naturales del primer espacio

toriai sobre el segundo, Uno tiene que

La (EP) es LCESF),

o, de manera equivalente, que los dos isomorfismos anteriores son distintos,

si, y solo si, es de dimensión al menos igual a Ze F es 0,

Pasemos ahora al caso estándar.

Proposición 49, Ser & ,, & eF espacios normados, isomorfismo

A, (8, & a; F) sobre (81; 2, (£ 3: F)) induce un isomorfismo natural
que es una isometría de 2 (?, Eo; F) sobre ((B ,; 2 (B ,; 5)).
115
Demostración, Ser

ZiZ, hey!)

y considera a tu corresponsal

u LlBid, (Ba: F))

por el isomorfismo natural indicado, Sexo € &,% EE, tenemos
 UlmMa) u (M,% a).

Resulta que

[iz (20,) (el | lego, els die) alt es floall

y por lo tanto U (x) es limitado, desde donde continúa; esto es,

tt) Etr), Iut-Noall icms,

que demuestra ser limitado desde donde continúa, teniendo

ZELEAEsFy », lui <ul.

1590 muestra que el isomorfismo citado en la propuesta aplica £ (E ,, &: f)
en & (5 ;; = 2 (85: F)), disminuyendo la norma, En realidad, tener arriba | lul) =
= Ilull, poia, invirtiendo el razonamiento, de

115 de 1189.

et (ii). Ja!
para todos los w & obtenemos

te, a = tip (Ii) liall salta lia]!

para cualquier x € & ,, X € £; De ahí lui) <lil. Resulta que Izl) = Hull,
es decir, el isomorfismo indicado es una isometría de £ (8 ,, £ 2; F) en
ZE A (Bo: F)). Queda por demostrar que este isomorfismo es superjetivo. Pa-
eso es todo

v € (E; E (bo; F))

y definimos

u: (m,%) EXE mm vino) MS.

Es inmediato que u E 2, (Bi, Eo: F) je queiu = », siendo realmente

como Ilu (za, a) s Ifvll-It291] - 11x] para cualquier x € Z ,, x E Za,
y la verificación de esta desigualdad es una repetición del razonamiento
anterior QED

Definición 37, Si? eF espacios estándar. El espacio normado

£ 2 (E, E; F) se indicará con £ ÉEF). El conjunto £, (5; F) de las aplicaciones
líneas bilineales simétricas continuas de £ º en F es sin duda una
116 espacio vectorial de 2 (E; F).

La Propuesta 50, Siendo espacios normados £ y F, £, (Z; F) es un sub-

ZOB espacio vectorial cerrado: F).

Demostración, Una vez que se establece%,% € E, la aplicación lineal

u IT) Mm ulm, o) - u (M, MA) EF

es continuo ya que es limitado, por lo tanto, el conjunto Z (M,%) de u € LOE, F)
 donde dicha aplicación se cancela, es decir, de modo que

algo de Na) = uia de k,

Está cerrado a £ (E; F), ahora 2, (E; F) es la intersección de Z (X,%), para

todos%,% G, de donde proviene el resultado. QED

Corolario Si Is está completo, entonces Is, (E; F) también está completo,

Demostración, Simplemente aplique las proposiciones 3, 3 3 y 28, $ 12. QED

Observación 81. Por el contrario, seZ £ 0 e, PE; F) full tor,

entonces F está completo, Compare con la nota 33, $ IZ,

Nota 82, como introducción al caso multilineal, haga

Solo tenemos los siguientes comentarios en el caso trilineal. Ya sea, Za,
EneF espacios vectoriales. Hay un isomorfismo natural entre los dos.
siguiente vector

Page 116

da (Er, Ea, Eai),

2 (E; Le (Eos EolEs: 8))),

por el cual cada elemento uy del primero está asociado con un elemento | de
segundo tal que

UlA OM) = UlM,%, Ka)

lo que sea a € £ ,, XEE, Xy € Es. Z y F son espacios vectoriales

riales se define

LE; F) = LB, 8, E; F),

Tu € A, (ºE; F), dice que yu es simétrico si

U (X, a, a) = Ulda da),

UNO, XE, a) 44
U (X; Xa, Ma),

Tim, Ko, Xa) UlXa de 07),

lo que sea,%,%, X% E, y debe tenerse en cuenta que en estos tres

cualquiera de ellos resulta de los otros dos y eso, lo que sea
dejemos que la permutación sea la del conjunto [1,2,3]), entonces

117
Uia, dka, ka) = u (X (1), Mota), No (a)).

Representemos £, (“, 7) el subespacio vectorial de £, (; F) formado

por aplicaciones simétricas trilineales de Eº en P. Si £ Z y f son
espacios normados, también definimos el espacio normado £ (“E; F) de la
aplicaciones trilineales continuas de £ º en F, así como subespacio
£, (E; F) de tales aplicaciones simétricas. Del mismo modo en el caso
multilineal, Por convención definimos

LED) = LuCEF) = F,
 LOS) CEF) = F.

Página 117

a4
DIFERENCIACIÓN DE CRDEM SUPERIOR

Deje Z, F ser espacios normados, y 4 C abiertos no vacíos,

Definición 38, De ahora en adelante, para ser más precisos, directos

f: 4 + F es diferenciable del orden uno en un punto de, o
en À, para referirnos a la diferenciabilidad introducida hasta ahora,
bajo las definiciones 23 y 25, $ I4,

Definición 39, Supongamos que f: d + F es orden diferenciable

uno de cada 4. Se dice que dos fe diferenciable en un punto x E
o en 4, cuando la aplicación Df: 4 = & (E; F) es diferenciable
uno en X o 4 respectivamente. Entonces

DOfia) € HOJA)

se llama orden dos diferenciales def en X, ser representado

por

Dix). 119

Además,

DDIjA> LEAE)

se llama orden dos diferenciales de f en A, estando representado por

DjiA + LEAE; F)).

Este concepto natural de orden dos diferencial, obtenido por

La simple repetición del orden de una diferenciación tiene la desventaja de que
 que los valores de los diferenciales orderndoia pertenecen a la norma
(E; (8: *)), que parece complicado, digamos, porque es
un espacio normado de aplicaciones lineales continuas cuyo per -
atender a otro espacio estándar de aplicaciones lineales continuas,
sin embargo, el isomorfismo isométrico natural entre 2 (EP) y (E;
£ 18; F)), que resulta de la proposición 49, 823, podemos transformar el
ordenar dos conceptos diferenciales de la siguiente manera,

Definición 40, conservemos los supuestos y las anotaciones de la definición

39. Considerar

Dºf (xo) € LEL (ESF))

y preguntamos con

f (x) € LEE)

118

el elemento de ZOÉE :; F) que corresponde a Dºf (x) por el isomomorfismo iso-

métrica natural mostrada, Tenga en cuenta que la relación entre Dºt (x) y SPF (xo)
se caracteriza por

Ptixols, t) = DPfixaMekE)
lo que sea, $ € £. Por lo tanto, al orden diferencial dos

Para el Lo a (E; F))

corresponde al orden dos diferencial

Gra + »LUE; F),

Por lo tanto, los valores del orden dos diferenciales se convierten

al espacio normado 236; F), que parece simple, digamos
sí, porque es un núcleo de aplicaciones bilineales continuas.

Observación 83, En el caso del orden uno diferencial, usaremos

también las anotaciones

dftxo) = Dil), df = Df.

Proposición 51, (Schwarz). Let E ", espacios estándar, 4 y

abierto no vacío, X) € 4, f: 4> F diferenciable del pedido umem 4 y DF:
120 El vH diferenciable (E; F) de orden uno en x. Entonces

Prog) y ACESP),
es decir, para cualquier A, A € £,

f (x), = Defix) ME, Ã).

Demostración, Hay 8> O tal que B, (%) CA. Ser

dth, Ã) = fOmth + hk) - flo + h) - fijo + Ã) + fm),

siempre suponiendo que h, k € es tal que

 al <> ul <5,
que garantiza que XY, A, mM th, Xy th + kK pertenecen a 4, Aviso
qué

s (h, X) = A (A, A),

lo que nos dará, a través de un proceso de aproximación, que

df (xo (2,6) IE fiokh).

Para eso, definamos q por

gtx) " arreglar +) = arreglar)

Page 119

para X € Bse (X), suponiendo que A es fijo; porque entonces x € 4 ex + h 64 a

dado que ya hemos supuesto que || hli <8/2. Tenga en cuenta que

ahh) = glan +%) - ix).

Tenemos

Minutos) - Dretro <subasta +35) - gia) - Detenido] +

+ iDgtadto) - Drtrato <ota +) - gt) - Dota] +

+ 1Dgtxo) - Taladro + caída.

Por la proposición 41, $ 18, tenemos

llgtxo + X) - gtxo) - Dota) hola [o | Dgtax + 6) - Dgtaol-Ilkll s

Es || Y El |

Eve 'UDgtxo + +) - Rediseño DF Icil + DPF) - Detalle de caída.

El |

Notermios que a la expresión

Det) - DAR,
que aparece al final de las dos desigualdades anteriores, no es más que 121
el valor de

Presa + t) - Dfta) h)
para t = 0, Reemplazar la segunda desigualdad en la primera viene

lla, uy - Prtx) n, h)]] <3-sup | Dgtx +14) -Defs) o) kl),

Pozos]
Óra

Dglxg + 6) - DPrO) tO = [Dim + o + h) - Dytxg) - DEE + AJ) -

 - [Dix + t) - Dri) - Duque),
porque

Dgtx) = Dflx +) - Dfix)

y Dºftx) es lineal. Por la diferenciabilidad de Df en x, lo que sea
sejac> O existep tal que O <p <8/2

Det + 0) - Sueño] s-lt + al rele-lal + 2e-lel,

mientras todos <p, Iltll <p. Tomando esta desigualdad en

viene el diente

a (,%) - Ser) <3etitnl) + Ill + 2llxl |?)

120

proporcionado ||| sp, Elf <Pp, que compara 4 (A, 4) con

Prim iA, Ã). Al intercambiar él y en esta desigualdad obtenemos

la (s, 8) - Erto) t, nl s sedlalte lol + 2: a?)

siempre que 1x] sp, Ilhl) «0. Comoa (h, k) = A (£, h) de los dos últimos
vienen las desigualdades

[82f (xo22.8) - <pantalla? + al). 1%] + 1x2)

siempre que | Todos los sp, lzllsp. Sin embargo, la última desigualdad
la realidad es verdad sea lo que sea *
debido a una homogeneidad de segundo orden de sus dos miembros.
bros. Con efecto, cualquiera que sea h, k € y si elegimos> O
tal que | àH] l <p, [3%] sp aplicamos la desigualdad con à, àh en
En lugar de h, k, podemos dividir el resultado por nos en los dos
lo que demuestra ser esa verdadera desigualdad
que son À, X pertenecientes a E. Cómo, en la misma desigualdad,
ra 6, h,% son arbitrarios, haciendo es = 0, obtenemos

Ef (xoMh, Ã = dfftolk, h)

cualquiera que sea A, k € ?. QED

Con vistas a formular el Teorema de Schwarz en otra notación

122 más cercano al cálculo diferencial clásico, formulemos el

siguiente,

Definición 4), Si f; AF es diferenciable del orden uno en x, E À

eh GE, definiremos la derivada de f en xy de acuerdo con la dirección hn por

Sf
7 (xo) = 4 arreglar xA)

(compárese con el ejercicio 61, $ 17). Si f es diferenciable de la orden

uno a las 4 eh EE, definiremos la derivada de jf en À de acuerdo con la dirección h
por

soy EA
En od
a las 0EM
af
 Propuesta 52, Let x € A4, f: A - F diferenciable del crédito a
en Á ebf: AL (E; F) diferenciable del orden en X. Entonces cualquiera
quiero que sea h, £ 4,

PLAYA
44 P

Es diferenciable de orden uno en%, y

DN = E(n)).
(E) Dm) = EPom

Page 121

Demo, la aplicación

Sen
af. EA - DI (ea) EF

es el compuesto de las aplicaciones

xEA - Df (x) € LH; F,

ut AMET) - th) EF,

que son diferenciables de orden uno en X, el primero por hipótesis y

el segundo porque es lineal y continuo. Por la regla de diferenciación de
aplicaciones compuestas (proposición 36, $ 16), se deduce que Bf / 3A es diferente
orden uno en%, así como su diferencial de orden
uno en X se obtiene por composición de

heZ - DPfio) h) E MENTIRA; F)

COTIL

eu, um um) EF,

Tal compuesto es por lo tanto la aplicación

REF »Droo) ht) EP, 18 años

lo que prueba

D (s)
37 = DPF)Sello
jo MANO),

es decir, a la igualdad de la declaración, QED

Corolario (regla de conmutatividad derivativa), Si j: 4 -F

es diferenciable de orden dos en À y h, AE £, entonces

af Bf
ah " am "

ser distinguible del orden uno de cada cuatro y

 +SA(55) impuesto
= 3 s. 44 No

Demostración Por la proposición anterior, 3f / 3h yf / 3H4 son diferentes.

de orden uno de cada 4 y, por cada X € à,

Entonces
2. (2L -(Sr)
q bo) = habitación),

2= [5f
(- (x) E FixHk,HA)
A)

Page 122

Por el teorema de Schwarz (Propuesta 51), la igualdad de estos

expressbes, por cada X. QED

Nota 84, El corolario anterior o, en realidad, el Teorema de

Schwarz generaliza la regla clásica del cálculo diferencial a Z =
= f (x, Y), por el cual

Ho.
3XDY ava

Pasemos ahora a la diferenciación del orden 2 3. Vamos a restringir

Pasemos al caso del orden tres diferenciación, donde 7> 3
tratado de manera aniogénica.

Resolución 42, Supongamos que f: 4 * F es orden diferenciable

dos en 4. f se dice que es diferente de tres en un punto mA,
o en À, cuando la aplicación Df: A - LE £ IE: F)) es diferenciable
de la crisis uno en%, o 4, respectivamente. Entonces

DD) € LE AE AE)

se llama el diferencial de tres órdenes de f en Xy, siendo representado por

Dfix).

124 Además,

DADA - LEA A (E: F))

& fth orden llamada diferencial de f en À, representada por

Djj> ABLE AEFD).

Tenga en cuenta que

Df (x) DiD'ryxo) = POINM),

Dj = DD?) = DF).

Definición 43, Mantengamos los supuestos y las anotaciones de la definición.

42) Considerar
 Cronología) € LEA; LE; F))
e indicar con

Era) Y LES)

el elemento de £ ("E; F) que corresponde a Dºf (x,), por el isomorfismo iso-

espacio métrico entre los espacios estándar en cuestión (según
82 y análogamente a las proposiciones 48 y 49, 8423). La relacion
entre ellos es descrito por

Eri r, e, t) = Diarios)

123

lo que sea ", a, es € &, Del mismo modo, el orden diferencial

tres

Dafia - LEE)

identifica al orden diferencial tres

B'fi + EEEF).

Proposición 53, Sea% EA, f: 4 = F de orden dos diferenciables

ema y DºfiA = = Z (b; 2 (£; F)) de orden uno en%. Entonces
cualquiera que sea A, 4.1 EA,

BENDITO >F
al

es diferenciable del pedido uno de cada 4,

ep:
es diferenciable de la orden uno en% y

Lo (8h
Sto (ES) | tm) mg) = anuncio
f (Mg72.1)
h, X, 1).

Demostración, Es análogo a la proposición 52. QED nosotros

Proposición 54, (Schwarz), Deje% EA, f: 4 = -F diferenciable de

orden dos en 4 y Dºy: A - £ (E; £ (E; F)) diferenciable del orden uno en
vt Entonces

Srt) y La (E, P).

Demostración La Propuesta 53 da una expresión de df (x,) (h, H, 1).

De las proposiciones 51 y 52, vemos que hay simetría en A y k, más allá
Además, por el corolario de la proposición 52, hay simetría en 4 y J. Resultados
ese dºfix,) es simétrico, QED

Definición 44, por convención, se dice que cada f: 4> F es diferente

cidvei de orden cero en A, definiendo su diferencial de orden cero
en X EA, o en À respectivamente por

DºF (xo) il Sombrío) = arreglar),

 Df 44 df = f.

Se dice que la definición 45, f es continuamente diferenciable del orden m

en A, donde = 0.1, ..., cuando la fe diferenciable de orden n en 4 y
Dºf E continúa en A, que es equivalente a dºf siendo continuo en 4. Aviso
que sin> 0, la continuidad de D'f y d'f para t = 0, ..., m- 1 es auto-
por proposición 29, 89 14, El espacio vector de aplicaciones
continuamente diferenciable según el orden en 4 con valores de fe
por $ º (4; 7), o por Cº4; F), según los autores,

Page 124

Definición 46, f se dice que es mA infinitamente diferenciable si f

es diferenciable de orden m en 4, cualquiera que sea m = 0.1, ...: entonces
f es continuamente diferenciable de orden m en 4, para todos, El
espacio vectorial de las aplicaciones infinitamente diferenciables en À con
Los valores Y se llaman ga: Fj, o simplemente S (A: F), aqui
todavía por CÊ (A; P).

Nota 85, cuando $ = K, tenemos los conceptos derivados de

orden de x mem EA, o bien en 4, representada por

tt) EP, día = 7

Observación 86, Es importante saber que cuando Z y F son
xzos, el hecho de que f: á-F es diferenciable de orden uno en 4 implica que
f es infinitamente diferenciable en.

Ejercicio 68, deje £ ,, £ ,, espacios de regla Ff, 4 C £, XE, abierto

no vacío y f-i continuamente diferenciable de orden dos en,
Entonces

Drilbaf) = A partir de ahí f).

126
125

BIBLIOGRAFIA

1) BARROS-NETO, J. Una introducción a la teoría

Dekker, New Tork, NY, 236 pp. (1973)

(2) CARTAN, H. Calcul Différentiel, Hermann, París, 178 pp.

(1967)

3) COTLAR M. y CIGNOLI R. Una introducción a funcional

Análisis, Norte de Holanda, Amsterdam, 600 pgs. (1974)

(4) DIEUDONNE, J. Éléments d'Analyse, Gauthier-Viliars, París,

Vol. 1, 414 páginas. (1969); Vol. 2, 420 pgs. (1969); Vol. 3, 386
paginas (1970); Vol. 4, 428 páginas. (1997i); Vol. 5, 222 pp. (1975);
Vol. 6, 210 págs. (1975)

(5) DUNFORD, N. eSCHWARTZ, J. Operadores lineales, Interscience,

Nueva York, NY, Vol. 1 y 72 págs. (1958); Vol. 2, 1052 páginas.
(1963); Vol. 3, 668 páginas. (1971)
127
(6) EDWARDS, R, E. Análisis funcional, teoría y aplicaciones,
Holt, Rinehart y Winston, Nueva York, N, Y., 798 páginas. (1965).

(7) HILLE, E. Métodos en análisis funcional clásico, Addison-

Wesley, Reading, Maes ,, 496 pág. (1972)

(8) HILLE, E. ePHILLIPS, Análisis Funcional RS y Semigrupos,

Sociedad Americana de Matemáticas, Providencia Rl 820 páginas.
(1957)

(9) HORVÁTH, J, Topológico Vector Espacios y distribuciones,

Addison-Wesley, Reading, Mass., 462 págs. (1966)

(10) KELLEY, J. Sí. y NAMIOKA, I. Espacios topológicos lineales,

Springer-Verlag, Berlín, página 272, (1975),

(11) KOTHE, G. Espacios de vectores topológicos, Springer-Verlag, Berlín,

472 páginas (1969)

(t2) NACHRBIN, L. The Integral Haar, Krieger, Huntington, N.7YT.,

 168 páginas (1976)

(13) NACHBIN, L. Elements de la teoría de la aproximación, Krieger

Huntington, NY, 132 páginas. (1976)

(14) NACHBIN, L, Toplogía en espacios de mapeo holomorfo,

Springer-Verlag, Berlín, 74 pgs. (1969)

Page 126

(15) NACHBIN, L. Funciones holomórficas, restos de holomorfía

y local Propiedades, Holanda del Norte, Amsterdam, 130 páginas
(1970)

(16) REED, M. y SIMON, B. Métodos de física matemática moderna

ics, Academic Press, Nueva York, NY, Vol., 324pgs. (1972);
Vol. 2, 380 pgs. (1975)

(17) RIESZ, F. y NAGY, B. 87 Leçons d'Analyse Fonctionnelie,

Akadémiai Kiadô, Budapest, 506 páginas. (1952)

(18) ROBERTSON, AP y ROBERTSON, W. Vector topológico

Spaces, Cambridge University Press, Londres, 166 páginas. (1964)

(19) RUDIN, W. Análisis real y complejo, McGraw-Hill, Nuevo

York, N, Y., 424 p. (1966)

(20) RUDIN, W. Análisis funcional, McGraw-Hill, New Tork, NY,

412 páginas. (1973)

(21) SCHAEFER, HH Espacios de vectores topológicos, Springer-Verlag,

Berlín, 306 páginas. (1971)

(22) SCHWARTZ, L. Méthodes Mathématiques verter les Sciences

Physiques, Hermann, París, 392 páginas. (1961).

(23) SCHWARTZ, L. Analyze, Topologie Générale et Analyze Fonc-

(24) TRÉVES, F. Espacios de vectores topológicos, distribuciones y Ker-

Relés, Academic Press, Nueva York, NY, 582 páginas. (1967)

(25) YOSIDA, K. Análisis funcional, Springer-Verlag, Berlín, 560

paginas (1968)
Page 127

ÍNDICE DE TERMINOLOGÍA

solicitud relacionada, 75 diferencial izquierdo, Bã

la aplicación relacionada continúa tangente, diferencial parcial, 105
75 dual 35
aplicación analítica compleja 73 doble algebraico, 35
aplicación bilineal, 61 doble norma, 35
aplicación bilineal limitada, 62
aplicación compacta, 58 esfera 6
aplicación continuamente diferente espacio relacionado 97
confiable, 103, 125 Banach Space 9
aplicación de paridad continua] Hilbert Space, 15
diferenciable, 106 Espacio euclidiano, 10
solicitud derivable, 87 espacio localmente compacto, 5?
aplicación diferenciable, 71, 73 1
espacio localmente compacto
119, 124, 125 80
aplicación estrictamente diferente espacio normado 4
confiable, 94 espacio normado completo,%
aplicación holomórfica, 73 espacio proyectivo 59
aplicación infinitamente diferente unidad de espacio 10
confiable, 126 espacio vectorial real subyacente,
aplicación lineal limitada, 27 3
aplicación lipschitziana, 94 fin 90
aplicación parcialmente diferente
factible, 105 forma bilineal 14
aplicación precompacta, 60 forma sesquilineal 14 128
aplicaciones tangentes, 75
homogeneidad 3 y
bola abierta 6
bola cerrada 6 Lagrange igualdad, 90
bola de la unidad il invariancia de traducción, 4
isometría 41
Carácter de lipchitzian 74
personaje local 73 límite 9
carácter topológico 74 linealidad de diferenciación, T9
centro 6 linealidad en relación, 14, 61
finalización 9
componente relacionado, 98 estándar 3
convergencia estándar dominado, Z1
convergencia uniforme en comparación norma inducida, 17
pactos 101 estándares equivalentes, el
convergencia uniforme ijocal, 1 estándares topológicamente equivalentes
lentes 21
derivada 87, 126
derivada derecha, 88
derivada izquierda, 88 pieza compacta, 56
derivada en una dirección, 88 ?
pieza precompacta, 60
IZz parte relativamente compacta, 56
 Desigualdad de Lagrange, 91 intercambiabilidad, 99
Desigualdad de Schwarz, 15 poligonal 98
desigualdad triangular 3 positividad 3, 14, 15
diferencial, 72, 73, 119, 124, 125 producto cartesiano, 43
diferencial derecho 88 Producto cartesiano estándar, 47

Page 128

producto escalar, 14 suma directa, 43

proyección 43, 44 suma directa topológica, 49
subespacio estándar, 17

radio 6 doble revestimiento 56

superposición 56 La sucesión de Cauchy, 9
regla de conmutatividad de la
rivales 123 teorema de aplicación abierta, 50
regla de diferenciación parcial teorema de aplicación implícita,
y total, 106 112

regla de diferenciación de aplicaciones Teoría de Ascoli, 58

cationes implícitos, 10 Teorema de Hahn-Banach, 38
regla de diferenciación de aplicaciones Teorema de Bolzano-Weierstrass,
cationes inversos, 82 56
reglas de diferenciación de aplicación teorema de inversión local, B4
composiciones compuestas, 80 Teorema de Riesz, 35, 57.
Teorema de Schwarz, 120, 125
segmento 90 Teorema de Tychonoff, 5]
semilinealidad en relación, 15 teorema de gráfico cerrado, 50
semi-formato 4 teorema del homeomortismo, 50
separación 3, 14, 15 teorema del valor medio de
simetría 14 Grange, 89
simetría hermitiana, 15 teorema de adiciones finitas
simétrico 114, 117 de Lagrange, 89
topología natural 5, 54

130
Page 129

ÍNDICE DE NOTA

3 BM OE, 43
K
3 P (£) 59
R
3 G (E :) 7mo
c 35
el 10 E 15
10 E!
Rº
Ç» 10 .

ê6to <(E: F) 29
"
Bla) 62
voluntad desde allí, Ego ")
8, (a)
<(B, 82: *) 64
Sa) si
Noveno E (8:27) 14, 117
lim x
3, 15 dasEF) 114, 117
et O 16,7
Enfermo 10, 12, 47 (Código postal)
LE) 116, 117
[ES 11, 13, 47
fo) 87
Hs 13
14to a| 87
Irit
oye 81
13,24 D $ dg
ll,

Hss !! 29, 64
(ey) 14.15 So Uta) 122
Ulg) E af
EA 113, 117 Ev) 122

Defta) 105
A el
Morir) 105
L 13

Dj 196
Co 19
f 19 fo) (lunes) 126
4?) 13 y

Drifix) 119, 120, 124, 125

125
Cr4; F)

125, 126 ni 120, 124, 125

E (4; F)
126 def (xo) 119, 120, 124, 125
8 (4,7)
E, XE; 43 df 120, 124, 125
130

COLECCIÓN DE MONOGRÁFICOS CIENTÍFICOS

Publicado

Serie de matemáticas

No
1) La revolución en las matemáticas escolares, por el
Asamblea Nacional de Maestros de Matemáticas de los Estados
Estados de América
2 Espacios vectoriales y geometría analítica, por Luis A.
Santal6.
No
3 Estructuras algebraicas |, por Enzo R. Gentile,
No
4, Historia de las ideas modernas en matemáticas, por José
Babini
No
5. Álgebra lineal, por Orlando E. Villamayor,
No
6. Álgebra lineal y geometría euclidiana, por Alexandre
Augusto Martins Rodrigues.
No
T. El Concepto de Número, de César A, Trejo.
ne
8vo Funciones de Compleja Variable, por José 1. Nieto.
No
99 Introducción a la topología general, por Juan Horváth.
No
l0, Funciones reales, de Djairo G, de Figueiredo.
No
11 Probabilidad e inferencia estadística, por Luis A. Santaló.
No
12 Estructuras Aigebraicas II (Álgebra Lineal), por Enzo R.
Gentil
No
13, La revolución en las matemáticas escolares (segundo 133
se4, por Howard F. Fehr, John Camp y Howard Kellogg.
No
l &, Estructuras algebraicas Iil (grupos finitos), por Horacio
CO Brien,
No
15, Introduccióna la Theory of Graphs, por Fausto A. Toranzos,
No
Lote Estructuras Algebraicas IV (Álgebra Multilineal), por
Artibano Micali y Orlando E. Villamavyor,
No
17. Introducción al análisis funcional: espacios de Banach y cálculo
Diferencial, por Leopoldo Nachbin.

Física Serle

No
1, Concepto moderno del núcleo, por D. Allan Bromley.
No
Panorama de la astronomía moderna, por Félix Cernuschi
y Sayd Codina,
No
3. La estructura electrónica de los sólidos, por Leopoldo M.
Falicov.
No
44 Física de partículas, por Igor Saavedra.
No
5. Experimentación, razonamiento y creación en física, por Félix
Cernuschi
No
6. Semiconductores, por George Bemski.
No
+. Aceleradores de partículas, por Fernando Alba Andrade.
No
8 Cuentica Physics, por Onofre Rojo y H. Mcintosh.
No
9 9 La radiación cósmica, por Gastón R. Mejía y Carlos
Aguirre
No
 I0, Astrofísica, por Carlos Jascheke Mercedes C. de Jaschek.
No
11 Olas, de Oscar J. Bressan y Enrique Gaviola.
IZ Hola láser, de Mario Garavaglia,

Página 131

Serie química

No
Cinética química elemental, por Harold Behrens LeBas.
No
Bicenergética, por Isaias Raw y Walter Colli.
No
Cata Macromoléculas, por Alejandro Paladini y M, Burachik,
No
E) + Mecanismo de reacciones orgánicas, por Jorge A.
Brieux
No
Elementos Encadenenadas, de Jacobo Gómez-Lara,
No
rhea Ensefianza de la Experimental Chemistry, por FranciscoGiral.
No
= Fotoquímica del gas, por Ralf-Dieter Penzhorn,
No
Hacer Introduccióna laGeoguímica, por Félix González-Bonorino.
No
el Resonancia magnética nuclear de hidrógeno, por Pedro
Joseph-Nathan
No
Io Cromatografía líquida de alta presión, por Harold M.
McNair y Benjamin Esquivel H.
No
11 Actividad óptica, dispersión rotatoria óptica y dicroísmo
Circular en Química Orpánica, por Pierre Crabbé,
No
allí, Espectroscopía Infrarroja, por Jesús Morcillo Rubio,
No
13, Polarografía, de Alejandro J, Arvia y Jorge A. Bolzan.
No
l4, Paramagnetismo electrónico, de Juan à. McMillan
No
I5 Introducción a la estereogoquímica, por Juan À, Garbarino,
No
I6 Cromatografía sobre papel y cubierta, por Xorge A,
Domínguez
No
K. Introducción a la espectrometría de masas de soporte
Orgánico, por Otto R,. Gotilieb y Raimundo Braz Filho,
134
Serio de blology

No
Genética y Revolución en Ciencias Biológicas,
por José Luis Reissig.
Bases ecológicas de la agricultura agrícola en el
América Latina, por Guillermo Mann FP.
La taxonomía y la revolución en las ciencias cíclicas,
por Elias R. de la Sota.
No Principios básicos para la educación en biología, por
Flota Oswaldo -Personas.
No
Cell Life, de Renato Basile,
No
Microorganismos, por JM Gutiérrez-Vázquez.
No
Principios Generales de Microbiología, vor Norberto J,
Palleroni
No
Los Virus, de Enriqueta Pizarro-Suárez y Gamba,
No
introducción a la ecología de Bentos Marino, por Manuel
Vegas Vélez.
No
10 Biosíntesis de proteínas y código genético, por Jorge
E. Allende
No
11, Fundamentos de inmunología e inmunoquímica, por Felix
Córdoba Alva y Sergio Estrada-Parra.
No
12, Bacteriófagos, por Romilio Espejo T.
No
Ia. Biogeografía de América Latina, por Angel L. Cabrera y
Abraham Willink,
No
14 Relación Huésped-Parasito. Mecanismo patogénico
 de los Microorganismos, por Manuel Rodríguez Leiva.

Page 132

En preparación

Matemáticas serias

Estructuras Algebraicas V (Teoría de Cuerpos), por Dario J. Picco,

Estructuras Algebraicas VI (Estructura de Álgebras), por Artibano
Micali
Biomateriales, por Alejandro Engel.
Introducción al análisis, por Manuel Balanzat.
Introducción al Lebesgue Integralde en la Recta, de Juan Antonio
Gatica
introducción alos Spacios de Hilbert, por José 1. Nieto.
Introducción a la computación, por Jaime Michelow,
Teoría general de la optimización, por Enrique Cansado.
Programación lineal, por Fernando LI. Garagorry

Serie de Física

Oceanografía Física, por Luis E, Herrera.

Teoría del fluido de equilibrio, por Antonio E. Rodríguez y Roberto
Y Caligaria
Aplicación de la teoría de grupos en Raman e Infra-
Rojo, de Jorge Humberto Nicola y Anildo Bristoti.
Teoría del Estado de la Materia, por Antonio E. Radicales y
+
Roberto E. Caligario,
135
Seris Química

Fotometría de Llama por Emisión, por Juan Ramírez Munhoz,

Fotometría de llama por absorción atómica, por Juan Ramírez
Muloz
Momento polar, de Pedro Lehman,
Fiuorescencia atómica, por Juan Ramírez Muhtoz.
Termoquímica moderna, por Jaime Cases.
Cromatografía de gases, por Harold M. McNair,
Sintesis Orgánica, por Eduardo Sênchez,
Catálisis Homogénea, por Eduardo Humeres A.
Catálisis heterogénea, por Sergio Droguett.

Serie de biología

Procesos microbianos Aerobios de importancia industrial, por

Carlos Casas-Campillo,
Ecología Fisiológica, por Ernesto Medina,
Etología: El Estudio del Comportamiento Animal, por Raúl Vaz-
Ferreira
Citogenética básica y biología de cromosomas, por FS, Saez
y H, Cardoso,
Citogenética Ultraestructural y Biología Molecular de
mosomas, por R. Wettstein y J, Roberta Sotelo.
Análisis de Sistemas en Ecología, por Gilberto C, Gallopin,
Ecología de Poblaciones Animales, por Jorge E, Rabinovich,
Sistemas ecológicos y el hombre, por ArielE, Lugo y Greg Morris.
Page 133

Inventario de Vegetación de Biomas, por Jorge Morello,

Biología celular de la transformación maligna, por Manuel Rieber,
Comportamiento y aprendizaje, por Héctor Maldonado.
Principios básicos de la contracción muscular, por Carlos Caputo,
Transporte a través de la membrana celular, por Patrício Garrahan
y Riego Alcides.
Genética de Pobiaciones Humanas, maceta Francisco Rothhammer.
Duplicación de cromosomas y heterocromatina a nivel molecular y
Citológico, de Néstor O, Bianchi.

136

Nota: Las personas interesadas en comprar estas monografías deben

contactar a la Oficina de Ventas y Promoción, Organización
Estados, Washington, DC, 20006 o los Estados Unidos
Secretaría General de la CEPA en sus respectivos países.