Analisis Funcional - Rudin1
Analisis Funcional - Rudin1
Analisis Funcional - Rudin1
Rudo"
Professor of Mathematics
University of Wisconsin
EDITORIAL REVERTÉ, S. A.
Barcelona - Bogotá - Buenos Aires - Caracas - México - Rio de Janeiro
Títu/(? de la obra original
Functional Analysis
Reservados todos los derechos. Ninguna parte del material cubierto por este
título de propiedad literaria puede ser reproducida, almacenada en un sistema
de informática o transmitida de cualquier forma o por cualquier medio electró-
nico, mecánico, fotocopia, grabación u otros métodos sin el previo y expreso
permiso por escrito del editor.
Edición en español
© EDITORIAL REVERTÉ, S. A. 1979
Impreso en España . Printed.in Spain
ISB N - 84 - 29 1 - 5 11 5 - X
Oep . Leg. B.9.386
IMPRESO POR SORPAMA CI Paragu ay, 12·14 Barcelona
/
Indice analítico
Prólogo
Primera parte TEORÍA GENERAL
Capítulo 1 Espacios vectoriales topológicos 1
Introducción 1
Propiedades de separación 7
Aplicaciones lineales 11
Espacios de dimensión finita 13
Metrizabilidad 15
Acotación y continuidad 20
Seminormas y convexidad local 22
Espacios cociente 27
Ejemplos 29
Ejercicios 34
Capítulo 2 Completitud 39
Categorías de Baire 39
Teorema de Banach-Steinhaus 41
Teorema de la aplicación abierta 44
Teorema del grafo cerrado 47
Aplicaciones bilineales 48
Ejercicios 49
Capítulo 3 Convexidad 53
Teorema de Hahn-Banach 53
Topologías débiles 59
Conjuntos convexos compactos 65
Integración vectorial 73
Funciones holomorfas 78
Ejercicios 81
v
índice analiticd
VI
Bibliografía 385
Lista de símbolos especiales 387
Índice alfabético 390
Prólogo
Por esta razón se han omitido muchos temas de carácter especialmente esotérico,
que podrían hallar lugar en la presentación de la teoría general de espacios vecto-
riales topológicos. Por ejemplo, no se exponen los espacios uniformes, ni la conver-
gencia Moore-Smith, ni las teorías de redes o de filtros. La noción de completitud
aparece tan sólo en relación con los espacios métricos. No se mencionan ni los
espacios bornológicos ni los tone lados. Se expone la teoría de la dualidad, pero
no en toda su extensión. La integración de funciones vectoriales tiene un trata-
IX
x
miento puramente instrumental que se ooncreta al considerar solamente integrandos
continuos con valores en: un espacio de Fréchet.
No obstante, el contenido de la parte 1 es perfectamente suficiente para casi
todas las aplicaciones a problemas concretos. Al tomar este rumbo es preciso
subrayar que la estrecha interacción entre lo abstracto y lo concreto es no sólO' la
característica más útil de toda esta teoría, sino también: la más fascinante.
con bastante detalle, y se aplican (en dO's capítulos muy breves) a dos problemas
de ecuaciones en derivadas parciales, así como al teorema tauberiano de Wiener
y dos de sus aplicaciones. El teorema espectral se deduce de la teoría de álgebras
de Banach (concretamente, de la caracterización de Gelfand-Naimark de las B*-
álgebras conmutativas); probablemente no sea éste el camino más breve, pero, sin
duda, es fácil. Se discute con considerable detalle el cálculo simbólico en: álgebras
de Banach; lo mismo se hace con las involuciO'nes y lO's funciO'nales positivos. Se
incluyen también varios resultados muy recientes sobre álgebras de Banach que
todavía no han halladO' lugar en otros textos.
2
1
3
6--------1
I 4
7 1 -------10
/\ 5 I
8 9 11
I
12
I
13
Walter Rudin
Primera parte
Teoría general
1
s t s
Introducci6n
abierto Q de un euclídeo R n •
(b) H( Q), el espacio de todas las funciones holomorfas en un conjunto abierto Q
del plano complejo.
(e) C';,el espacio de todas las funciones complejas infinitamente diferencia-
bIes s.obre R n que se anulan fuera de un conjunto compacto prefijado con in-
teriorno vacío.
Los espacios !»( Q) que se usan en la teoría de distribuciones, y las dis-
tribuciones mismas.
Las topologías naturales de estos espacios no pueden ser inducidas por normas,
como veremos más adelante. Estos, así como los espacios normados, son ejemplos
de espacios vectoriales topológicos, noción que se difunde por todo el Análisis
funcional.
Después de este breve intento de motivación, damos a continuación las defini-
ciones detalladas y después (en la sección 1.9) un programa de los resultados del
capítulo 1.
x+A= -1-a:aE
x-A={x-a:aE
A + B = {a + b: a E A, bE B},
AA = {Aa: a E A}.
que 10(1 ~ 1.
Un espacio vectorial X tiene dimensión n (dim X = n) si ·X tiene una base
{ul' ... , un}. Esto quiere decir que cada x E X tiene una única representación de
la forma
Si dim X = n para algún n, se dice que X tiene dimensión finita. Si X = {O}, en-
tonces dim X = O.
abierto. Se dice que una tal colección , es una topología sobre S. Para poner de
que el espacio topológico es el correspondiente a la topología 7 escri-
biremos (S, ,) en lugar de S.
He aquí un resumen del vocabulario usual que utilizaremos, si (S, 7) es un
espacio topológico.
Un conjunto E e S es cerrado si, y sólo si, su complementario es abierto. La
no.c¡Py·"n,uu E de E es la intersección de todos los conjuntos cerrados que contie-
nen E. El interior Ea de E es la unión de todos los conjuntos abiertos contenidos
en E. Un entorno de un punto p E S es un conjunto abierto que contiene p. eS, 7)
es un espacio de HausdO/jf, y "' es una topología de HausdO/jf, cuando puntos dis-
tintos de S tienen entornos disjuntos. Un conjunto K e S es compacto si todo
recubrimiento abierto de K contiene un subrecubrimiento finito. Una colección
" e , es una base para "', si cada elemento de , (es decir, cada conjunto abierto)
es unión de elementos de ,'. Una colección y de entornos de un punto p E S es
una base local en p si todo entorno de p contiene un elemento de '(o
Si E e S y cr es la colección de todas las intersecciones E!l V, con V E"" en-
tonces cr es una topología sobre E como puede comprobarse fácilmente ,y se dice
que esta topología es la heredada por E de S.
Si una topología , está inducida por una métrica d (ver sección 1.2) diremos
que d y '1" son compatibles entre sí.
Una sucesión {xn } en un espacio de Hausdorff converge a un punto x E X (o
bien: lim X n = x), si cada entorno de x contiene los puntos X n salvo quizás un nú-
n-'>oo
mero finito de ellos.
En .estas condiciones, se dice que '1" es una topología vectorial sobre X y que X
es un espacio vectorial topológico.
He aquí una formulación más precisa de la condición Ca): para cada x E X, el
conjunto {x} que tiene a x como único elemento es un conjunto cerrado.
En algunos textos se omite la condición (a) en la definición de espacio vectorial
topológico. Como (a) se satisface en casi todas las aplicaciones y la mayoría de
los teoremas interesantes exigen (a) en sus hipótesis, la hemos incluido en los axio-
mas. [El teorema 1.12 probará que (a) y (b) juntas implican que", es una topología
de Hausdorff.]
Decir que la suma es continua significa, por definición, que la aplicación
(x, y) -->X +y
6 Análisis funcional
(X E X).
i'r~opíed,¡lIIh~s de separación
1.11 Teorema. Si pjJ es una base local para un espacio vectorial topológico X
vectoriales topológicos 9
para a = O.
(f) Sea V un entorno de O. Por el teorema 1.11, WC V para algún entorno
W de O. Como E es acotado, E e t W para todo t suficientemente grande. Para
estos t, se tiene E e tWc tv.
Corolario
(a) Todo espacio vectorial topológico tiene una Dase local equilibrada.
(b) Todo espacio localmente convexo tiene una base local convexa y equilibrada.
Observemos también que el teorema 1.11 se verifica para cada una de estas
bases locales.
X = U rn V.
n=l
vectoriales 11
Kc UnW.
,,=1
Como K es compacto, existen enteros nI < . .. < ns tales que
K e nI W u ... u ns W = ns W.
La igualdad es válida debido a que W es equilibrado. Si t> n" se deduce que
Kc tWC tv.
(e) Sea U un entorno de O en X. Si Ves acotado, existe s> O tal que Ve tU
para todo t > s. Si n es suficientemente grande para que sI)" < 1, se deduce que
Ve (1/ I)n) U. Por tanto, U contiene todos los conjuntos I)n V excepto un número
finito de ellos.
Aplicaciones lineales
y - X E V implica Ay - Ax E W.
1.18 Teorema. Sea A una forma lineal sobre un espacio vectorial topológico X.
Supongamos que Ax i= O para algún x E X. Entonces cada una de las cuatro propie-
dades siguientes implica las otras tres:
(a) Aes continua.
(b) El núcleo ..Af(A) es cerrado.
(e) ,A/(A) no es denso en X.
(d) A es acotada en algún entorno V de O.
1.19 Entre los espacios de Banach más sencillos están R n y (r, espacios vec-
toriales de dimensión n sobre R y ([;, respectivamente, normados por medio de la
métrica euclídea usual: Si, por ejemplo,
Z = (Zl' ... , zn)
es un vector de ([;". entonces
Ilzll = (IZlI2 + ... + IZnI2)1!2.
Se pueden definir otras normas sobre ([;n. Por ejemplo,
o Ilzll = max (IZil : 1 ~ i ~ n).
Estas normas corresponden, por supuesto, a diferentes métricas sobre ([;" (con
n> 1) pero se puede ver fácilmente que todas ellas inducen la misma topología
sobre ([;n. Más aún:
Si X es un espacio vectorial topológico sobre ([;, y dim X = n, entonces cada
base de X induce un isomorfismo de X sobre ([;". El teorema 1.21 probará que este
isomOljismo ha de ser un homeomorfismo. Con otras palabras, esto nos dice que
la topología de ([;n es la única topología vectorial que puede tener un espacio vectorial
topológico complejo de dimensión n.
Veremos también que los subespacios de dimensión finita son siempre cerrados.
Cada afirmación hecha en la discusión anterior permanece válida para esca-
lares reales en lugar de complejos.
Empezamos con un lema que después queda superado por los teoremas 1.21
y 1.22.
Ve
n= 1
n
OC)
(Y+rnV).
Como {2_nv} es una base local, de la parte (a) del teorema 1.13 se sigue que Ve Y.
Pero Y = y. Entonces Ve Y, lo que implica que kVe Y para k = 1,2,3, ... ,
Entonces Y = X en virtud de la parte Ca) del teorema 1.15 y en consecuencia,
dimX::s:: m.
1.23 Teorema. Si X es un espacio vectorial topológico localmente acotado con
la propiedad de Heine-Borel, entonces X tiene dimensión finita.
Metrizabilidad
existe una métrica d sobre X que es compatible con T. En este caso, las bolas de
centro x y radios lln forman una base local en x. Esto da una condición necesaria
para la metrizabilidad que, para espacios vectoriales topológicos, es también
suficiente.
(2) = I cnCr)r n ,
n=l
donde cada uno de los «dígitos» ck) es O ó 1 y sólo un número finito de ellos son 1.
Entonces cada rED satisface las desigualdades O ~ r < l.
Pongamos A(r) = X si r ¿ 1; para cada rED definamos
(3) A(r) = c¡(r)V1 + c2(r)V2 + c3(r)V3 + ....
Observemos que cada una de estas sumas, es en realidad, finita. Definamos
(4) f(x) = inf {r: x E A(r)} (x E X)
y
(5) d(x, y) = f(x - y) (XE X,y EX).
La demostración de que d tiene las propiedades deseadas depend<;: de las in-
clusiones
(6) A(r) + A(s) é A(r + s) (r E D, s E D).
Antes de probar (6), veamos cómo de esta inclusión se sigue el teorema. Como
cada A(s) contiene 0, (6) implica
(7) A(r) e A(r) + A(t - r) e A(t) si r < t.
Entonces {A(r)} está totalmente ordenada por inclusión. Queremos probar que es
vectoriales 7
f(x + :::;f(x) E Y E
(11)
Entonces
(12)
Por PN- I es, A(rI ) + A(~ ) e A(r' + s'). Por tanto.
(13) A(r)+ A(s) e A(r' + s') + cN(r)VN + CN(S)VN'
Si cN(r~ = CNCS) = O, entonces r = r', s = s' y (13) da (lO). Si cN(r) = O Y
CN(S) = 1, el segundo miembro de (13) es
A(r' VN = A(r' + s' + r N) = A(r + s),
+ s') +
y (10) se verifica de nuevo. El caso cN(r) = 1, CN(S) = O se trata de la misma manera.
Si cN(r) = CN(S) = 1, el segundo miembro de (13) es
+ s') + VN + VN e A(r' + s') + VN- 1
= A(r' + s') + AcrN+l) e A(r' + s' + r N+ 1 ) = A(r + s).
RUDIN-2
18 Análisis funcional
1.25 Sucesiones de Cauchy. (a) Sea d una métrica sobre un conjunto X. Una
sucesión {xn} en X es una sucesión de Cauchy si para cada E> O existe un entero N
tal que d(xm , X n) < E cuando m> N Y n> N. Si toda sucesión de Cauchy en X
converge a algún punto de X, entonces se dice que d es una métrica completa
sobre X.
(b) Sea 1: la topología de un espacio vectorial topológico X. El concepto de
sucesión de Cauchy puede definirse en este marco sin hacer referencia a ninguna
métrica: Fijemos una base local :J?J para 1:. Una sucesión {xn} en X se llama suce-
sión de Cauchy cuando para cada V E :J?J existe un N tal que x n - X m E V si n> N
Y m> N.
Está claro que bases locales diferentes para la misma 1: dan origen a la misma
clase de sucesiones de Cauchy.
(c) Supongamos ahora que X es un espacio vectorial topológico cuya topo-
logía 1:. es compatible con una métrica invariante d. Usaremos temporalmente los
términos d-sucesión de Cauchy y 1:-sucesión de Cauchy para los conceptos defi-
nidos en (a) y (b), respectivamente. Como
d(x n , x m ) = d(x n - Xm , O),
y como las d-bolas centradas en el origen forman una base local para 1:, concluimos:
Una sucesión {xn} en X es una d-sucesión de Cauchy si y sólo si es una 1:-sucesión
de Cauchy.
En consecuencia, dos métricas invariantes sobre X compatibles con 1: tienen
las mismas sucesiones de Cauchy. También es obvio que ellas tienen las mismas
sucesiones convergentes (a saber, las 1:-sucesiones convergentes). Estas observaciones
prueban el siguiente teorema:
1.28 Teorema
Ca) Si d es una métrica invariante por traslaciones sobre un espacio vectorial X
entonces
O) ~ nd(x, O)
para cada x E X Y para n = 1,2,3, ... ,
(b) Si {xn} es una sucesión en un espacio vectorial topológico metrizable X Y
X n -+ O cuando n -> 00, entonces existen escalares positivos Yn tales que Yn -+ 00
Y YnXn -+ O.
Acotación y continuidad
A es continua.
(b) A es acotada.
(e) Si x n -+ O entonces {Ax n : n = 1,2, 3, ... } es acotado.
(d) Si X n -+ O entonces AXn -+ O.
(e) p(x) i= O si x i= O.
Una familia fjJ de seminormas en X se dice que separa puntos si para cada
x i= O existe una p E fjJ tal que p(x) i= O.
Consideremos ahora un conjunto convexo A e X que sea absorbente, en el sen-
tido de que cada x E X pertenece a tA para algún t = t(x) > O. [Por ejemplo, la
parte (a) del teorema 1.15 implica que cada entorno de O en un espacio vectorial
topológico es absorbente. Es obvio que todo conjunto absorbente contiene O.]
El funcional de Minkowski tJ.A de A se define por
flA(x)=inf{t>0:t- 1 XEA} (XEX).
Observemos que tJ.A(X) < 00 para todo x E X, puesto que A es absorbente. Las
seminormas sobre X resultarán ser precisamente los funcionales de Minkowski de
los conjuntos convexos, equilibrados y absorbentes.
Las seminormas están estrechamente relacionadas con la convexidad local, de .
dos maneras: En todo espacio localmente convexo existe una familia de seminormas
continuas que separa puntos. Recíprocamente, si fjJ es una familia de seminor-
mas sobre un espacio vectorial X que separa puntos, entonces fjJ puede utilizarse
para definir una topología localmente convexa sobre X con la propiedad de que
Espacios vectoriales topológicos 23
(a) p(O) = O.
(b) Ip(x) ----, p(y)! S; p(x - y).
(e) p(x) ¿ O.
(d) {x: p(x) = O} es un subespacio de X.
(e) El conjunto B = {x : p(x) < 1 es convexo, equilibrado, absorbente y p = i-LB'
(a) +
i-LA(X +
y) S; i-LA(X) i-LA(Y)'
(b) i-LA(tX) = ti-LA(X) si t ¿ O.
(e) i-LA es una seminorma si A es equilibrado.
(d) Si B = {x : i-LA(X) < l} y e = {x: i-LA(X) S; l}, entonces Be A e e y
i-LA = i-LB = i-Le·
1.36 Teorema. Sea f!1J una base local convexa y equilibrada en un espacio
vectorial topológico X. Asociemos a cada V E f!1J su funcional de Minkowski ILv. En-
tonces {lLv : V E f!1J} es una familia de seminormas continuas en X que separa puntos.
Espacios cociente
P(f)=llfllr={(lfet)lrdtrr <oo.
Esto define una seminorma sobre L" que no es norma, ya que 11111r = O cuando
1= O en casi todo punto. Sea N el conjunto de estas «funciones nulas». Entonces
L" /N es el espacio de Banach que usualmente se denota por L". La norma de Lr
se obtiene por el paso anterior de p a p.
Ejemplos
para todo n, cuando i,j --+ 00, luego {¡;} converge uniformemente sobre K n , a una
función fE C(n). Un cálculo fácil prueba ahora que d(j,¡;) --+ O. Por tanto, d es
una métrica completa. Hemos probado con esto que C( .o) es un espacio de Fréehet.
Por la paJ"te (b) del teorema 1.37, un conjunto Ec C(n) es acotado si,y sólo
si, existen números M n < 00 tales que Pn(f) ::::: M n para toda / E E; explícitamente,
(4) I/(x) I :$; M n si / E E Y x E Kn-
Como cada Vn contiene una / para la que Pn+1(f) es tan grande como se quiera,
se deduce que ningún Vn es acotado. Por tanto, C( .o) no es localmente acotado,
y por ello, tampoco es normable.
1.45 Los espacios H(o.). Sea ahora .o un subconjunto abierto no vacío del
plano complejo, definamos C(n) como en la sección 1.44 y sea H(n) el subespacio
de C( .o) formado por las funciones holomorfas en n. Como los límites de suce-
siones de funciones holomorfas que convergen uniformemente sobre conjuntos
compactos son funciones holomorfas, H(n) es un subespacio cerrado de C(n).
Por tanto, H(n) es un espacio de Fréehet.
Probaremos ahora que H(n) tiene la propiedad de Heine-Borel. Se seguirá en-
tonces del teorema 1.23 que H(n) no es localmente acotado ni, por tanto, normable.
Sea E un subconjunto cerrado y acotado de H( .o). Entonces E satisface des-
igualdades tales como las (4) de la sección 1.44. El clásico teorema de Montel
acerca de familias normales (teor. 14.6 de [23]1) implica entonces que toda suce-
sión {¡;} e E tiene una subsucesión que converge umtormemente sobre los subcon-
juntos compactos de .o [y por tanto en la topología de H( .o)] a alguna / E H( .o).
Como E es cerrado, / E E. Esto prueba que E es compacto.
1 Los números entre corchetes hacen referencia a las fuentes citadas en la Bibliografía.
vectoriales topológicos 31
(2)
cuyo orden es
Iot I = ot1 + . . . + otn •
Si lal =
O, Da¡=f
Se dice que una función compleja f definida en un conjunto abierto no vacío
Oc R pertenece a C=(O) si Da¡ E C(O) para todo multi-índice a.
fl
< l/N en si lCY.I :s;; N. Esto prueba que cada D a¡; converge (unifor-
memente sobre subconjuntos compactos de ü) a una función ga' En
¡;(x) --+ go(x), Es ahora evidente .que go E COO(ü), que ga = Dag o y que ¡; --+ g en
la topología de COO(D) ,
Por consiguiente, COO(D) es un espacio de FrécheL Lo mismo ocurre con cada
uno de sus subespacios cerrados !!JK ,
Supongamos ahora que Ec COO(D) es cerrado y acotado, Por el teorema L37,
la acotación de E es equivalente a la existencia de números < 00 tales que
PN(f) :s;; MN para N = 1,2,3, ' , , y para toda! E E Las desigualdades ID)"I :s;;
válidas en KN cuando ICY.I :s;; N, implican la equicontinuidad de {DfJI; I E E}
en K N - I , si I~I :s;; N - lo Se sigue ahora el teorema de Ascoli (demostrado en
el apéndice A) y del proceso diagonal de Cantor que toda sucesión de elementos
de E contiene una subsucesión {¡;} para la que {DfJ¡;} converge, uniformemente
en subconjuntos compactos de D, para cada multi-Índice ~, Por tanto, {fí} con-
verge en la topología de coo( D} Esto prueba que E es compacto,
Por consiguiente, COO(D) tiene la propiedad de Reine-BoreL Del teorema L23
se sigue que coo( D) no es localmente acotado ni, por tanto, normabk La misma
conclusión es válida para !!JI{ cuando K tiene interior no vacío (en otro caso,
!!J K = {O}) porque es dim !!JK = 00 en este caso, Este último aserto es una conse-
cuencia de la siguiente proposición:
Si BI Y B 2 son bolas cerradas concéntricas en R n , con BI contenida en el interior
de B 2 , entonces existe 4> E C=(R n) tal que 4>(x) = 1 para todo x E BI Y 4>(x) = O para
todo x del complementario de B 2 ,
Para determinar una 4> con estas propiedades, construiremos g E COO(J~l)
tal que
g(x) = O para x < a, g(x) = 1 para x > b (donde O < a < b < 00 están prefija-
dos) y pondremos
(6)
(7) (n=1,2,3,.,,);
y sea lo una función continua monótona tal que IQ(x) = O cuando' x < a,/o(x) = 1
cuando x > a + ilo ' Definimos
Derivando esta integral se prueba, por inducción, que fn tiene n derivadas con-
tinuas y que [D"f,,[ ::;; mn • Si n> r, entonces
(9) 1
D'fn(x) = -¡ fb"(D'fn-l)(X - t) dt,
" o
luego
(10) (n 2 r),
de nuevo por inducción respecto de n. El teorema del valor medio, aplicado a (9),
prueba que
(11) (n 2 r + 2).
Como :¿3n <
00, cada {Dln} converge, uniformemente en (- 00, 00), cuando
Por tanto, {fn} converge a unafuncióng, con [Drg[ ::;; mr para r = 1,2,3, ... ,
--+ oo.
°
tal que g(x) = para x < a y g(x) = 1 para x> b.
1.47 Los espacios V' con O < p < 1. Consideremos un p fijo en este campo.
Los elementos de LP son las funciones f medibles Lebesgue en [O, 1] para las que
(1) A(f) = fo
1
If(t)IP dt < 00,
con la identificación usual de funciones que coinciden en casi todo punto. Como
O < p < 1, la desigualdad
(2)
es válida cuando a ¿ OY b ¿ O. Esto da
tales que
(6) ti Xi-l
If(t)IP dt = n- 1 A(f) (1 :::;; i :::;;
Definamos gi(t) = nf(t) si Xi - l < t:S: Xi' g;(t) = O en otro caso. Entonces gi E V,
ya que (6) prueba
(7) (1 :::;; i S n)
Ejercicios
Sea X un espacio vectorial. Se sobrentiende que todos los conjuntos mencionados a continuación
son subconjuntos de X. Probar los siguientes asertos a partir de los axiomas dados en la sec-
ción 1.4. (Alguno de estos asertos han sido utilizados tácitamente en el texto.)
(a) Si x E X e y E X, existe un único Z E X tal que x + Z = y.
(b) Ox = O = <xO si x E X Y <X es un escalar.
Ce) 2A e A + A; puede ocurrir que 2A =1= A + A.
(d) A es convexo siS sólo si,(s + t)A = sA + tA para todo par de escalares positivos s y t.
(e) Toda unión Ce intersección) de conjuntos equilibrados es equilibrada.
(f) Toda intersección de conjuntos convexos es convexa.
(g) Si r es una colección de conjuntos convexos totalmente ordenada por inclusión, entonces
la unión de todos los elementos de r es convexa.
(h) Si A Y B son convexos, también lo es A + B.
(i) Si A Y B son equilibrados, también lo es A + B.
(j) Probar que las partes (f), (g) y (h) son válidas para subespacios en lugar de conjuntos con-
vexos.
vectoriales 35
i I!ex) - g(x) I
d(j,g) = Jo 1+ I!(x) _ g(x) I dx.
Sea (C, a) el espacio C dotado de la topología inducida por esta métrica. Sea (C, y) el espacio
vectorial topológico definido por las seminormas
pi!) = If(x) I (O S:x s: 1),
de acuerdo con el teorema 1.37.
(a) Demostrar que todo conjunto de C que sea y-acotado es también a-acotado, y que, por
consiguiente, la aplicación identidad id: (C, y) -+ (C, a) transforma conjuntos acotados
en conjuntos acotados.
(b) Probar que, sin embargo, id: (C, Y)-+ (C, a) no es continua, aunque sí es secuencialmente
continua (en virtud del teorema de convergencia mayorada de Lebesgue). Por consiguiente,
CC, y) no es metrizable. (Véase el apéndice A6, o el teorema 1.32.) Probar directamente
que (C, y) no posee una base local numerable.
(c) Probar que toda forma lineal continua sobre (C, y) es de la forma
(b) IID"!111 = r
(a) /ID", dro = sop {ID"f(x) I : 00 < x < oo}.
o
ID"f(x) I dx.
inducen la métrica
en el espacio C(R). Compárese con la sección 1.46 y con la observación (e) de la sección 1.38.
Definamos
f(x) = máx (0,1 -Ixl), g(x) = 100f(x - 2), 2h =f+ g,
se obtiene
1 50
d(/,O) =2"' d(g, O) = 101 '
Las bolas de radio t no son convexas, aunque d es compatible con la topología localmente
convexa habitual de C(R).
¿Existe algún r < 1 para el que las bolas de radio r sean convexas?
19 Sean: Mun subespacio denso de un espacio vectorial topológico X, YunF-espacio, y A: M-+ Y
continua (respecto de la túpología que M hereda de X) y lineal. Probar que A admite una
extensión lineal continua X : X -+ Y.
Sugerencia: Sean Vn entornos equilibrados de O en X tales que Vn + Vn e V,'-I y que
deO, Ax) < 2- n cuando x E M n Vn . Si x E X Y X n E (x + Vn ) n M, mostrar que {Ax n }
es una sucesión de Cauchy en Y, y definamos Xx como su límite. Mostrar que X está bien de-
finida, que Xx = Ax cuando x E M, Y que X es lineal y continua.
20 Para todo número real t y todo entero n, definamos en(t) = e in ' y definamos
(n = 1, 2, 3, ... ).
Consideremos las funciones anteriores como elementos de L2(-:re, :re). Sea Xl el mínimo sub-
espacio cerrado de L2 que contiene a eo, el' e2,. " y sea X 2 el mínimo subespacio de L2 que
contiene Il> 12, 13 , .•• Demostrar que Xl + X 2es denso en L"', pero no cerrado. Por ejemplo, el
vector
Demostrar que Lip IX es un espacio de Banach y que lip IX es un subespacio cerrado de Lip IX.
38 Análisis funcional
23 Sea X el espacio vectorial de todas las funciones continuas en el segmento abierto (O, 1). Para
f EXy r > O, sea V(f, r) el conjunto de todas las g E X tales que g(x) - f(x) < r para todo
x E (O, 1). Sea T la topología engendrada por estos conjuntos V(f, r). Demostrar que la adición
es T-continua, pero que la multiplicación por escalares no lo es.
24 Mostrar que el conjunto W que aparece en la demostración del teorema 1.14 puede no ser
convexo, y que A puede no ser equilibrado cuando U no sea convexo. .
2
Categorías de Baire
1 Se usan también los términos raro, enrarecido y nunca denso. (N. del T.)
40 Análisis funcional
Bn e Vn í\ Bn - l•
En el caso (a), para Bn puede tomarse una bola abierta de radio < l/n; en el
caso (b) es posible tomar Bn de forma que Bn sea compacta. Pongamos
Completitud 41
En el caso (a), los centros de la sucesión de bolas encajadas forman una suce-
sión de Cauchy que converge hacia un punto de K, y por tanto, K =f. 0. En el
caso (b), K =f. 0 por ser intersección de una sucesión decreciente de cerrados de
un compacto. La construcción anterior muestra que K e Bo Y que K e Vn para
todo n. Por consiguiente, Bo corta a n Vn .
Teorema de Banach-Steinhaus
DEMOSTRACIÓN. (a) Como las sucesiones de Cauchy son acotadas (sección 1.29),
el teorema de Banach-Steinhaus asegura que {An} es equicontinua.
Se comprueba sin dificultad que e es un subespacio de X. Por consiguiente,
e
e es denso. (De lo contrario, sería un subespacio propio de X; los subespacios
propios tienen interior vacío; por tanto e
sería de primera categoría.)
Tomemos x E X, Y sea W un entorno de O en Y. Por ser {An} equicontinua, existe
un entorno V de O en X tal que An(V) e W para n = 1,2, 3, ... ' Como e es denso,
existe x' € C!l (x +
V). Si n y m son lo bastante grandes para que
Anx' - Amx' E W,
por la identidad
(A n - Am)x = A.ex - x') + (A n - Am)x' + Am (x' - x)
se tiene Anx - Amx € W + W + W. Por tanto, {Anx} es una sucesión de Cauchy
en Y, y x € C.
(h) Por ser Y completo, se tiene L = C. De aquí, en virtud de (a), L = X.
Si V Y W son como anteriormente, la inclusión An(V) e Wes válida para todo n,
por lo que A(V) e W. Por consiguiente, A es continua.
La hipótesis de la parte (h) del teorema 2.7 puede modificarse de varias formas.
He aquí una versión fácil de recordar:
Como E es cerrado, por el teorema de Baire K (") nE tiene interior no vacío (rela-
tivo a K) para, cuando menos, un valor de n.
Fijemos, un tal n, un punto interio; X o de K (") nE, un entorno equilibrado V de O
en X tal que
(3) K (") (x o + V) enE,
ción lineal de un espacio vectorial topológico en otro es abierta si, y solamente si,
es abierta en el Qrigen del primero.
Observemos también que una aplicación J, biyectiva y continua, de S sobre T,
es un homeomorfismo precisamente cuando f es abierta.
(2)
Puesto que VI =:> V2 - V2 , por la parte (b) del teorema 1.13, se tiene
A( Vi) =:> A( V 2 ) - A( V 2 ) =:> A( V 2 ) - A( V 2 )·
La primera de las inclusiones (2) quedará probada si podemos mostrar que A(VJ
tiene interior no vacío. Pero
00
A(X) = U kA(V2),
k=l
bamos de hacer para VI puede repetirse para . por tanto, A(Vn+J contiene
un entorno de O. Por consiguiente,
(5)
(6)
Pongamos Yn+1 = Yn - AXn; se tiene Yn+1 E A(Vn+I ), lo que permite proceder por
inducción.
Puesto que d(xm O) < 2- n r, para todo n = 1, 2, 3, ... , las sumas Xl + " . + X n
forman una sucesión de Cauchy, que converge, por ser X completo, hacia un cierto
X E X tal que d(x, O) < r. Por tanto, X E V. Puesto que
m m
(7) ¿Axn = ¿(yn-Yn+l)=Yl-Ym+l'
n= 1 n::::: 1
Es trivial comprobar que f es un isomorfismo y que Ax = f( 11: (x)) , siendo 11: la apli-
cación cociente estudiada en la sección 1.40. Si V es un abierto de Y, entonces
(9)
2.12 Corolarios
entonces y = Ax.
Demostremos que (e') implica (e). Tomemos un punto limite (x, y) de G.
Como X X Y es metrizable,
(x, y) = lím (x n , Axn)
n-+ 00
Aplicaciones bilineales
definiendo
Se dice que E es bilineal cuando toda y toda EY sean lineales.
Si Y, Z son espacios vectoriales topológicos, y si toda Ex Y toda EY son con-
tinuas, se dice que E es continua respecto de cada variable. Cuando E es continua
en la topología producto de X X Y), es evidente que E es continua respecto de cada
variable. En ciertos casos, puede probarse el recíproco con ayuda del teorema de
Así pues, {bn(x)} es un subconjunto acotado de Z, para todo x E X. Por ser cada bn
una aplicación lineal continua del F-espacio X, el teorema (2.6) de Banach-Steinhaus
muestra que {b n } es equicontinua. Por tanto, existe un entorno V de O en X tal que
bn(V) e U (n = 1,2,3, ... ).
Notemos que
E(xn , Yn) - E(x o , Yo) = bn(xn - x o) + E(x o , Yn - Yo)·
Si n es suficientemente grande, entonces (i) X n E X Q + V, con lo que bn(xn - X o) E U,
y (ü) E(xO' Yn - Yo) E U, pues E es continua respecto de y, y E(xo, O) = O. Por con-
siguiente,
, Yn) - E(x o , Yo) E U +Ue W
para todo n suficientemente grande, lo que muestra (1).
Si Y es metrizable también lo es X X Y. La continuidad de E es entonces con-
secuencia de (1). (Véase el apéndice A6).
Sea X un espacio vectorial topológico de dimensión infinita que es unión de una colec-
ción numerable de subespacios de dimensión finita. Probar que X es de primera catego-
ría en sí. Probar que ningún F-espacio de dimensión infinita puede tener una base de
Hamel numerable.
(Un conjunto f3 es una base de Hamel de un espacio vectorial X cuando f3 es un subconjunto
RUDIN-4
50 Análisis funcional
Ar/> = !~ (/.(t)r/>(t) dt
para toda q, E.P2K . Mostrar que A es una forma lineal continua en P2K • Mostrar que existen
un entero positivo p y un número M < 00 tales que
ffgn ~O
para toda f E L2 pero no para toda f E Ll.
(e) Observando que la inclusión de V en L 1 es continua, pero no suprayectiva.
Repetir este ejercicio para LP y Lq, siendo p < q.
5 Probar resultados análogos a los del ejercicio 4 para los espacios /P, siendo /P el espacio de
Banach de todas las funciones complejas x definidas sobre {O, 1, 2, ... } cuya norma
'" }l/P
Ilxll p = {n~lx(n)IP
sea finita.
6 Los coeficientes de Fourier!(n) de una función fE V(n (siendo T la circunferencia unitaria)
se definen mediante
len) = -
1 n
f
f(eI8)e-ln8 dO
27T -n
anterior si y solamente si existe una medida de BOTel compleja fL definida sobre T tal que
Yn = J e- 'nO dfL(8) (n E Z).
Sugerencia. Dótado de la norma del supremo, C(T) es un espacio de Banach. Se aplica el teo-
rema del grafo cerrado; después se toma la forma lineal
00
f--+(Af)(l).= 2: Yo/en)
-00
yse aplica el teorema de representación de Riesz ([23], teor. 6.19). (La serie anterior puede
no ser convergente; utilizarla tan sólo para polinomios trigonométricos.)
8 Definamos formas lineales Am en [2 (véase ejercicio 5) mediante
Am x = 2: n x(n)
n=l
2
(m = 1, 2, 3, ... ).
Definamos x n E [2 por xn(n) = l/n, xn(i) = O si i =F n. Sea K e !2 el conjunto formado por
0, Xl> X2 , X3' . .. Demostrar que K es compacto. Calcular Amxn. Mostrar que {Amx} es acotada
para todo x E K, pero que, en cambio {Amxm} no lo es. Por consiguiente, en las1 hipótesis del
teorema 2.9 no puede suprimirse la convexidad.
Elijamos Cn > O de forma que 2: Cn = 1, 2: nCn = oo. Tomemos x = 2: CnX n. Mostrar
que x pertenece a la envolvente convexa cerrada de K (que por definición es la adherencia de
la envolvente convexa) y que {Amx} no es acotada.
Mostrar que la envolvente convexa de K no es cerrada.
9 Sean X, Y, Z espacios de Banach, y sea
B:XxY--+Z
bilineal y continua. Mostrar que existe M < 00 tal que
IIB(x, y)11 s:; Mllxllllyll(XE X,yE Y).
¿Se requiere que los espacios sean completos?
10 Probar que una aplicación bilineal es continua si,y solamente si,lo es en el origen (0,0).
11 Definamos B(Xl' x 2 ; y) = (Xl y, X2Y). Mostrar que B es una aplicación bilineal continua de
R2 X R sobre R 2 , que no es abierta en (1, 1; O). Hallar todos los puntos donde B sea abierta.
12 Sea X el espacio normado de todos los polinomios reales de una variable, con
Teoremas de Halm-Banach
(aA)x = a . Ax.
Es inmediato que X* dotado de estas operaciones es un espacio vectorial.
Será preciso utilizar el hecho evidente de que todo espacio vectorial complejo
es un espacio vectorial real. Conviene introducir temporalmente la siguiente termi-
nología: Una función aditiva A definida en un espacio vectorial complejo X es una
forma lineal real (lineal compleja) si A(exx) = exAx para todoxEXy todo escalar real
(complejo) ex. La regla general de que cualquier enunciado sobre espacios vectoriales
que no especifique el cuerpo de escalares es válido para ambos casos no es alterada
por esta terminología momentánea y continúa en vigor.
Si u es la parte real ~e una forma lineal compleja f definida en X, entonces u
es una forma lineal real, y se tiene
para todos x E X, Y E X, t ¿ 0,
Ax =f(x) (xEM)
y
- p( - x) ~ Ax ~ p(x) (x E X).
Convexidad 55
MI = {X + tx i : X E M, tER}.
f(x) + /(y) = f(x + y) ::;; p(X + y) ::;; p(X - Xl) + p(X1 + y),
tenemos
(1) f(x) - p(X - Xl) ::;; p(y + Xi) - f(y) (X,y E M).
1
Sea rx el extremo superior menor del primer miembro de (1) cuando X recorre M.
Entonces
DEMOSTRACIÓN. Si Xo = °
basta tomar A = O. Si Xo #- 0, se aplica el teo-
rema 3.3 conp(x) = Ilxll, M el subespacio unidimensional generado por X o, y j(exxo) =
= exllxoll en M.
ReAx <y::;' Re Ay
57
para todo x E A e y E B.
Si A es compacto, B es cerrado y X es localmente convexo, existen A E X*,
Y1 E Y2 E R tales que
para todo x E A e y E B.
Obsérvese que no se menciona el cuerpo de escalares; si éste es evidente-
mente Re A = A.
Mo = {x E M:f(x) = O}
débiles
d(p, q) = Lr
n=l
n
1f,,(P) - f,,(q) l.
Dado que {fn} separa puntos, d es efectivamente una métrica. Como cada fun-
ción fn es continua respecto de " y la serie que define d es uniformemente conver-
gente en X X X, d es una función continua en X X X respecto de T. Por consiguien-
te, las bolas
3.9 Lema. Sean Al' ... , An Y A formas lineales de un espacio vectorial X. Sea
61
DEMOSTRACIÓN. Es evidente que (a) implica (h), y que (h) implica (e). Supon-
gamos que se verifica (e). Sea <D el cuerpo de escalares, y definamos IT : X -+ <D n
mediante
Si ,,(x) = ,,(x'), la condición (e) implica Ax = Ax'. Por consiguiente, existe una
función F definida en <D n tal que A = F o ". La función F es una forma lineal de <D n .
Así pues, existen lX i E <D tales que
De aquí,
00
Explícitamente, las hipótesis acerca de X' suponen que X' es cerrado para la
adición y la multiplicación por escalares, y que para cada par Xl y x 2 de puntos
distintos de X, existe una A E X' tal que AXl i= Ax2 .
original de X se llama, comúnmente, topología fuerte. Para estos espacios se usarán los términos «fuerte»
y «fuertemente» en lugar de «origina],; y «originalmente». En espacios localmente convexos generales
el término «topología fuerte» tiene un sentido técnico específico. Véase [15] pp. 256-268; también [14],
página 104. Parece, pues, aconsejable el término calificativo «original» en la presente exposición de ca-
rácter general.
63
Por ejemplo, sea {xn } una sucesión en X. Decir que x n -7- O originalmente sig-
nifica que todo entorno original de O contiene todos los X n desde un término en
adelante. Decir que X n -7- O débilmente significa que todo entorno débil de O con-
tiene a todos los X n a partir de un n suficientemente grande. Puesto que todo en-
torno débil· de O contiene un entorno de la forma
3.13 Teorema. Sea X un espacio metrizable localmente convexo. Sea {xn} una
sucesión en X que converge débilmente hacia un x E X. Entonces existe una suce-
sión {Yi} en X tal que
(a) Cada Yi es combinación convexa de una colección finita de X m y
(b) Yi -> X en la topología original.
La conclusión (a) dice, más explícitamente, que existen números Cl. in ¿ O tales que
00 00
I
n= 1
C(in = 1, Yi = I C(inxn'
n=l
Para conseguir una idea clara de las implicaciones de este hecho, se considera el
siguiente ejemplo.
Sea K un espacio de Hausdorff compacto (el intervalo unidad de la recta real
es ya un caso suficientemente interesante) y sean f y fn(n = 1,2, 3, ... ) funciones
complejas continuas en K tales que fn(x) ---+ f(x) para todo x E K cuando n ~~ 00,
y tales que !fn(x)! ::::: 1 para todo n y todo x E K. El teorema 3.13 afirma que hay
combinaciones convexas de las fn que convergen uniformemente. hacia f
En efecto, sea C(K) el espacio de Banach de todas las funciones complejas con-
tinuas en K, con la norma del supremo. Entonces la convergencia fuerte es la con-
vergencia uniforme en K. Sea [L una medida de Borel compleia en K. Por el teorema
de la convergencia mayorada de Lebesgue, f fn d[L --?- f f d[L. En virtud del teore-
ma de representación de Riesz, que identifica el dual de C(K) con el espacio de todas
las medidas de Borel regulares complejas en K, se tiene fn ~? f débilmente. Ahora
puede aplicarse el teorema 3.13.
Tras esta digresión, volvamos al desarrollo principal.
65
Sea Dx el conjunto de todos los escalares a tales que Ial :5: y(x). Sea 1: la topo-
logía producto del producto cartesiano P de todos los conjuntos D x , en el que hay
un factor para cada x E X. Como cada Dx es compacto, por el teorema de Tychonoff
RUDIN-5
66 Análisis funcional
Demos a n, Xi' y il todos los valores admisibles. Los conjuntos W 1 así obtenidos
constituyen una base local de la topología débil* de X* en A o y los conjuntos W2 ,
una base local de la topología producto 't' de P en Ao' Dado que K e P (\ X*, se
tiene
fo(rxx + f3y) - rxlo(x) - f3fo(Y) = (fo - f)(rxx + f3y) + rx(f - lo)(x) + f3(f- 10)(Y),
por lo que
(x E V, n = 1,2, 3, ... ).
Entonces existe una subsucesión {AnJ Y un A E X* tales que
Ahora (2) Y (4) muestran que y-l x E ve U para todo x E E. Como Ves equilibrado,
Obsérvese que la hipótesis es, parcialmente, más débil que en la parte (b) del teo-
rema 3.4, pues la convexidad local de X implica que X* separa puntos. En cambio,
ahora se supone que ambos A y B son compactos.
tx + (l - t)y E S,
entonces x E S e y E S.
pactos de K. Dado que K E flJ, f!}J -#- 0 . Se usarán las dos propiedades de f!}J:
(a) La intersección S de cualquier subcolección no vacía de f!}J es un miembro
de f!}J, excepto cuando S = 0.
(b) Sean S E f!}J, A E X*, [L el máximo de Re A en S, y
S A = {x E S: Re Ax = p,}.
Entonces es SA € flJ.
La demostración de (a) es trivial. Para demostrar (b), sean tx + (1 - t)y =
= Z E SA, X E K, Y E O < t < 1. Como Z E S Y S € flJ, se tiene x € S e y € S. Por
tanto, Re Ax:s: [L, Re Ay:s: [L. Como A es lineal y Re Az = [L, se concluye que
Re Ax = [L = Re Ay. Luego, x E SA e Y E SA-
Tomemos un S E flJ. Sea f!}J' la colección de todos los miembros de f!}J que son
subconjuntos de S. Como S € flJ,' f!}J' no es vacía. Se ordena parcialmente f!}J' me-
diante inclusión; sean n una subcolección totalmente ordenada maximal de f!}J', y
M la intersección de todos los miembros de n. Dado que n es una colección de
conjuntos compactos que goza de la propiedad de intersección finita, M-#-0.
En virtud de (a) M E f!}J'. Por ser n maximal, ningún subconjunto propio de M
pertenece a f!}J. Se deduce de (b) que toda A E X es constante en M. Como X* separa
puntos de X, M consta de un único punto. En consecuencia, M es un punto extre-
mal de K.
Hasta aquí hemos probado que todo conjunto extremal compacto de K contiene
un punto extremal de K. La convexidad todavía no ha sido utilizada.
Sea H la envolvente convexa del conjunto de puntos extremales de K. Se deduce
de lo que antecede que, para todo S € flJ, H n S no es vacío.
Como K es convexo y. compacto, H e K. Por consiguiente, H es compacto.
Con objeto de llegar a una contradicción, supongamos que existe un X o E K que
no pertenece a H. En virtud del teorema 3.19 existe un A € X* tal que Re Ax <
< Re Axo para todo x E H. Definamos KA como se hizo en (b). Entonces, KA € f!}J.
Como H no corta a KA, existe contradicción.
x = x' + x",
donde x' = ¿ <XiYi Y x" = ¿ <Xi(Xi - Yi)' Por ser V convexo, x" E V. Es evidente
que x' E Hl' Luego.,
He H 1 + V.
para ciertos t E S Y Xi E K(l :S:: i :S:: n + 1). Dicho de otra forma, H es la imagen de
SxKx···xK
Tomemos m de forma que lailt;1 :S:: lamltml, para 1 :S:: i:S:: r + 1, Y definamos
Entonces Ci ¿ O, L Ci = L ti 1, x = L CiXi Y Cm = O.
73
Integración vectorial
Jf d¡t,
Q
es decir, que posea al menos algunas de las propiedades que generalmente poseen
las integrales. Así, por ejemplo, la igualdad
debe ser verdadera para toda A E X*, ya que es válida para sumas, y las inte-
grales son (o deberían ser) límites de sumas en un cierto sentido. Nuestra definición
se basa, de hecho, en esta única condición.
Se han estudiado con gran detalle otros muchos métodos para definir integrales
de funciones vectoriales; en algunos de ellos las integrales se definen, de forma más
directa, como límites de sumas. (Ver el ejercicio 23.)
(3) J fd¡t = y.
Q
(1) y= f fdf.l
Q
y cualquier punto y de ella verifica la condición (2) para toda A E X*. pues,
demostrar que EL =1 0.
Consideremos L = (Al' ... , An) como aplicación de X en R n, y pongamos
K = (L(f(Q». Definamos
(6) Aiy = mi = JQ
(A;!) dJl (l :::;; i:::;; n).
(1) y = J Q
x dJl(x).
(5)
(7)
(10)
Funciones holomodas
lim f_C_w)_-_f_C_z)
w~z w-z
(en la topología de X) para todo z E n.
Observemos que el cociente anterior es el producto del escalar (w - Z)-l por
el vector f(w) - fez) de X.
Por la continuidad de las formas lineales A que aparecen en la definición (a),
es evidente que toda función fuertemente holomorfa es holomorfa en sentido débil.
Cuando X es un espacio de Fréchet, también el recíproco es verdadero, pero no
es en absoluto evidente. (Recordemos que una sucesión débilmente convergente
puede muy bien no serlo en la topología original.) En la demostración jugarán
un importante papel el teorema de Cauchy y el teorema 3.18.
Se denotará lndr (z) el Índice de un punto z E (l respecto a un camino cerrado r
que no pasa por él. Recordemos que
lndr(z) =~f ~.
2m r' - z
3.31 Teorema. Sean a un conjunto abierto de (l y X un espacio de Fréchet
complejo, y supongamos que
f: Q-+X
es una función ha/amorfa débilmente. Los siguientes asertos son verdaderos:
(a) f es fuertemente continua en a.
(b) El teorema y la fórmula de Cauchy son válidos: Si r es un camino cerrado
contenido en a tal que, para todo w rt a, lnd r (w) = 0, entonces
En la parte (b), las integrales deben tomarse en el sentido del teorema 3.27.
En ellas, d~ puede considerarse bien como una medida compleja 'definida en la
imagen de r (que es un subconjunto compacto de C), o bien, como el resultado
de parametrizar r e integrar con respecto a la medida de Lebesgue en un intervalo
compacto de R.
(4)
Entonces, para algún r> 0, ~2r e O. Sea r la frontera de ~2r> orientada en sentido
positivo.
Fijemos A E X*. Como Af es holomorfa,
(Af)(z) - Af)(O) = _1 J (Af)(O d'
(5)
z 2ni re, - zK
para O < IzI < 2r. Sea Me A) el máximo de 1Afl sobre ~2r' Si O < 1zl ::;; r, se tiene
(6) [z-lA[f(z) - f(O)] [ ::;; r-1M(A).
(9)
La fórmula de Cauchy (2) muestra, tras efectuar un breve cálculo, que para
0< Izl < 2r,
(11)
Af(z) = Af(O).
Como X* separa puntos de X, resulta fez) = feO) para todo z E (2'.
En la parte (d) del ejercicio 5 se describe un conjunto débilmente acotado que
no es acotado en la topología original de un F-espacio X en el que X* separe pun-
tos. Compárese este hecho con el teorema 3.18.
Convexidad 81
Demostrar que existe una forma lineal A en [00 (llamada un límite de Banach) tal que
2:
n=!
Ix(n)J" <co.
RUDIN-6
82 Análisis funcional
Si 1::::;; p < 00, se define Ilxll p = {L: Ix(n)IP}l/p. También por definición, llxllco = sup" Ix(n)l.
(a) Supongamos 1 ::::;; p < oo. Probar que con las normas ilxil p y Ilx\lco IP y 1= son espacios de
Banach. Si p-l + q-l = 1, probar que (lP)* = lq en el sentido siguiente: Existe una corres-
pondencia biyectiva A 1.--+ Y entre (lP)* y lq, dada por
Ax = ¿ x(n)y(n)
(b) Supongamos 1 < p < oo. Mostrar que IP contiene sucesiones que convergen débilmente
y que no convergen en la topología fuerte.
(e) Por otra parte, demosrar que toda sucesión débilmente convergente de l' cOnverge fuerte-
mente, a pesar de que la topología débil de f1 es distinta de la fuerte (inducida por la norma).
(d) Siendo O < p < 1, demostrar que IP, dotado de la métrica
00
d(x, y) = I Ix(n) -
n=l
yen) I P,
siendo m y n enteros y O ::::;; m < n. Sea El el conjunto de todas las g E L2 tales que alguna suce-
sión de E converja débilmente hacia g. (El conjunto El se llama la adherencia secuencial débil
de E.)
(a) Hallar todas las g E El'
(b) Hallar todas las g de la adherencia débil Ew de E.
(e) Demostrar que O E Ew, pero que O no se encuentra en El' aunque sí en la adherencia se-
cuencial débil de El'
Este ejemplo muestra que una adherencia secuencial débil puede no ser débilmente secuen-
cialmente cerrada. La operación de paso de un conjunto a su' adherencia secuencial débil no
es, pues, una operación de clausura, en el sentido topológico habitual del término. (Véase
también el ejercicio 28.)
83
10 Representemos por {' el espacio de todas las funciones reales x definidas en S = n):
¿ 1, n ¿ 1} tales que
Sea Co el espacio de todas las funciones reales y definidas en S tales que y(m, n) ---> O cuando
m + n->- 00, dotado de la norma Ilylloo = sup Iy(m, n)l.
Sea M el subespacio de [1 formado por todas las x E l ' que satisfacen la ecuación
00
mx(m, 1) = L x(m, n)
n=2
(m = 1, 2, 3, ... ).
(a) Demostrar que l ' = (co)*. (Véase también el ejercIcIO 24, capítulo 4.)
(b) Probar que M es un subespacio cerrado en norma de [1.
(e) Probar que M es débilmente* denso en 11 • [Respecto de la topología débil" dada por (a).]
(d) Sea B la bola unitaria cerrada en norma de 1' . A pesar de Cc), probar que la adherencia
débil* de M n B no contiene bola alguna. Sugerencia: Si ó > O Y m > 2/1'; entonces
IIxll 8
!x(m, 1)1 ~-;; <2
cuando x E M n B, aunque x(m, 1) = o para algún x € óB. Así pues, óB no pertenece
a la adherencia débil* de M n B. Generalizar para bolas de otros centros.
11 Sea X un espacio de Fréchet de dimensión infinita. Demostrar que X* dotado de su topología
débil* es de primera categoría en sí mismo.
12 Demostrar que la bola unitaria cerrada en rtorma de Co no es débilmente compacta; recordar
que (co)* = 1'. (Ejercicio 10.)
13 Se escribe iN(t) = N-l L;;~, eí nt • Probar que iN ..... O débilmente en L2(- n, n).
Por el 'teorema 3.13, cierta sucesión de combinaciones convexas de las iN converge hacia O
en la norma de L". Hallar una tal sucesión. Mostrar que gN = N-l(il + ... + iN) no posee
la propiedad requerida.
14 (a) Sea O un espacio de Hausdorff localmente compacto. Para cada compacto K e O defi-
namos una seminorma PK en C(O), espacio de todas las funciones continuas en O, me-
diante
Dotemos a ceO) de la topología inducida por esta colección de seminormas. Probar que
para cada A E C(O)* existe un compacto K e O y una medida de Borel compleja '" so-
bre K tal que
(fE C(O».
débil* de X* es metrizable si,y solamente si,X posee una base de Hamel finita o numerable.
(Véase el ejercicio 1, capítulo 2, para la definición.)
84 Análisis funcional
16 Demostrar que la bola unitaria cerrada de Ll (relativa a la medida de Lebesgue sobre el in-
tervalo unidad) no tiene puntos extremales, sino que cada punto sobre la «superficie» de la
bola unitaria es LP (1 < p < 00) es un punto extremal de la bola.
17 Determinar los puntos extremales de la bola unitaria cerrada de C, espacio de todas las
funciones continuas en el intervalo unidad, con la norma del supremo. (La solución depende
de la elección del cuerpo escalar.)
18 Sea K el mínimo ~onjunto convexo de R3 que contiene los puntos (1, 0, 1), (1, 0, - 1) Y (cos 8,
sen 8, O) para Os 8 s 2n. Demostrar que K es compacto, pero que el conjunto de puntos
extremales de K no lo es. ¿Puede existir en RZ un conjunto así?
19 Sea K un conjunto compacto y convexo de Rn. Demostrar que todo x € K es una combina-
ción convexa de n + 1 puntos extremales de K, a lo sumo. Sugerencia: Usar inducción en n.
Trazar una recta a partir de un punto extremal de K, por x, hasta que salga de K. Aplicar
el ejercicio 1.
20 Supongamos que un espacio vectorial topológico X contiene un subconjunto numerable E
= {el> e z, e 3 , • •• }, que posee las siguientes propiedades:
°
(a) en -7-- cuando n-7-- oo.
(b) Todo x € X es una combinación lineal finita de miembros de E, x = ~ '(n(x)en .
(e) Ninguno de los vectores en pertenece al subespacio vectorial cerrado de X generado por
los otros ei.
Por ejemplo, X podría ser el espacio de todos los polinomios complejos
y con
e.(z) = n- 1z"-1 (n = 1,2, 3, ... ).
Demostrar que cada '(n de la parte (b) pertenece á X*. Pongamos K = E U {O}. Pro-
bar que K es compacto. Probar que la envolvente convexa H de K es cerrada pero no com-
pacta, y que los puntos extremales de H son pfecisamente los puntos de K.
21 Sea O < p < 1. Probar que toda f € LP (exceptuada f = O) es media aritmética de dos fun-
ciones cuya distancia a O es menor que la distancia de f a O. (Véase la sección 1:47.) Utilizar
este dato para construir explícitamente un ejemplo de conjunto numerable compacto K de LP
(cuyo único punto de acumulación sea O) que carece de puntos extremales.
22 Sea O < p < 1. Mostrar que [P contiene un conjunto compacto K cuya envolvente convexa
no es acotada, y esto, a pesar de que (lP)* separa los puntos de [P. Véase el ejercicio 5. Suge-
rencia: Definamos x n E [P por
x.(m) = O si m #- n.
Sea K el conjunto formado por O, Xl> Xz, X3" .. Si YN = N-1(X 1 + ... + XN), demostrar que
la sucesión {YN} no está acotada en [p.
23 Sean 1" una medida probabilística de Borel definida sobre un espacio de Hausdorff compacto Q,
X un espacio de Fréchet, y f: Q -+ X una función continua. Por definición, una partición
de Q es una colección finita de conjuntos de Borel de Q, disjuntos dos a dos, cuya reunión
es Q. Demostrar que para todo entorno V de O en X existe una partición {E,} tal que la dife-
rencia
85
z=t f - ¿ jL(E,)f(s,)
i
pertenece.a V independientemente de la elección de los Si € Ei. (De esta forma vemos la inte-
gral como líriüte fuerte de «sumas de Riemann».) Sugerencia: Tomemos V convexo y equili-
brado. Si A € X* y si IAxl:S: 1 para todo x € V, entonces IAzl:S: 1, supuestos los conjuntos
E, elegidos de forma que fes) - f(t) € V cuando s y t pertenecen ambos al mismo Ei.
Supongamos que además de cumplirse las hipótesis del teorema 3.27, T sea un operador li-
neal continuo de X en un espacio vectorial topológico Y en que y* separa puntos. Demos-
trar que
26 Sean, n una región de (2', X un espacio de Fréchet, y f: 0---+ X una función holomorfa.
(a) Enunciar y demostrar un teorema sobre la representación de f en serie de potencias, es
decir, relativo a la fórmula fez) = 1; (z - a)ncn, con C n € X.
(b) Generalizar el teorema de Morera a funciones holomorfas con valores en X.
Cc) Para sucesiones de funciones holomorfas complejas definidas en O, de la ¡;onvergencia
uniforme de la sucesión sobre todo subconjunto compacto de O se sigue que la función límite
es holomorfa. ¿Es válido este resultado para funciones holomorfas con valores en X?
27 Sean: {exi} un conjunto acotado de números complejos distintos dos a dos, fez) = 1;~ cnzn
una función holomorfa donde cada Cn =1 O, Y
g,(z) = f(rx,z).
Demostrar que el espacio vectorial generado por las funciones gi es denso en el espacio de Fré-
chet H«2'), definido en la sección 1.45.
Sugerencia: Sea ft una medida de soporte compacto tal que f gi dft = O para todo i. Pon-
gamos
Demostrar que rj>(w) = O para todo w. Deducir de aquí que f zn dft(z) = O para n = 1,2, 3, ...
Usar ahora el ejercicio 14.
Describir el subespacio cerrado de H( (2') generado por las funciones gi cuando algunos
de los coeficientes Cn sean O.
28 Sea X un espacio de Fréchet, o con mayor generalidad, un espacio localmente convexo metri-
zable. Demostrar las siguientes afirmaciones:
(a) X* es unión de una colección numerable de conjuntos débilmente* compactos En.
(b) Si X es separable, cada En es metrizable. Así pues, la topología débil* es separable, y un
86 Análisis
Con esta definición de IIAII, [}B(X, Y) es un espacio normado. Además, cuando Yes
uft espacio de Banach también lo es [}B(X, Y).
(3)
(4)
y como se ha supuesto que IIAn - Amll-+ O cuando m y n tienden hacia 00, se sigue
que {Anx} es una sucesión de Cauchy en Y, cualquiera que sea x E X. Por consi-
guiente, existe
{5) Ax = limAnx.
n-+ 00
(6)
para todo m suficientemente grande. Por tanto, IIAxl1 ~ (11Amll + e)llxll, de donde
A E [}B(X, Y), y IIA - Amll ~ e. Así pues, Am -l> Acon la norma de [}B(X, Y), lo que
establece la completitud de [}B(X, Y).
Dualidad en espacios de Banach 89
4.2 Dualidad. Conviene designar por x* los elementos del espacio dual X* de X,
y escribir
(1) <x,x*)
Así pues, la parte (b) muestra que la topología de la norma de X* (llamada también
topología nórmiea) es más fuerte que la topología débil*. De hecho, a excepción del
caso dim X < 00, la topología de la norma siempre es estrictamente más fuerte, pues
la proposición final de la sección 3.11 también es válida para la topología débil*.
90
DEMOSTRACIÓN. Apliquemos la parte (b) del teorema 4.3 con Yen lugar de X.
Entonces se tiene
Se deduce de (1) que cp : X -+ X** es linéal, y según (2), cp es una isometría. Como
se supone ahora que X es completo, cp(X) es cerrado en X**.
Así pues, cp es un isomorfismo isométrico de X sobre un subespacio cerrado de X**.
Comúnmente X se identifica con cp(X), y entonces X se contempla como un sub-
espacio de X**.
Los elementos de cp(X) son precisamente las formas lineales definidas sobre X*
que son continuas respecto de su topología débil* (véase la sección 3.14). Al ser
la topología de la norma de X* más fuerte, puede ocurrir que cp(X) sea un sub-
espacio propio de X**. Pero existen muchos espacios X importantes (por ejemplo,
todos los espacios LP para 1 <p < 00) que verifican cp(X) = X**. Los espacios
que poseen esta propiedad se denominan reflexivos. En el ejercicio 1 se dan algu-
nas de sus propiedades.
Se ha de insistir en que para que X sea reflexivo no es suficiente que exista
Dualidad en espacios de Banach 91
algún isomorfismo isométrico 4> de X sobre X**. Es esencial que 4> satisfaga la
identidad
Así pues, M~ está formado por todas las formas lineales acotadas definidas en X
que se anulan sobre M, y ~ N es el subconjunto de X sobre el cual todo miembro
de N es nulo. Es obvio que M ~ Y ~ N son espacios vectoriales. Como M ~ es la in-
tersección de los núcleos de todas las formas lineales 4>x, donde x recorre M (véase
la sección 4.5), M~ es un subespacio débilmente* cerrado de X*. La demostración
de que ~ N es un subsepacio cerrado de X en la topología nórmica es todavía más
directa. El siguiénte teorema describe la dualidad entre ambos tipos de anuladores.
M*= y
am* = x* + M.l.
Entonces cr es un isomorfismo isométrico de M* sobre X* / M.l.
(b) Sea 7t : X ---¿ X/M la aplicación cociente. Pongamos Y = X/M. Para cada
y* E y* definamos
ry* = y*n.
Entonces '"t" es un isomorfismo isométrico de y* sobre M.l..
Adjumtos
(2) I T* I = I TII·
DEMOSTRACIÓN. Dados y* E y* Y T E I!J(X, Y), se define
m T~*=y*oT
Por ser composición de dos aplicaciones lineales continuas, T*y* E X*. Se tiene
también,
94 Análisis funcional
Por tanto,
y* E .AI'(T*). X E .AI'(T).
T*y* = O. Tx=O.
Dualidad en espacios de Banach 95
Corolarios
Supongamos elegido un Yn, n ¿ l. Existe X n tal que Ilxnll :S: IIYnl1 y que IIYn - Txnll <Sn'
Pongamos
Yn+l = Yn - Txn •
Este proceso define por inducción dos sucesiones {x n} e {Yn}. Observemos que
96 Análisis funcional
De donde
De aquí se sigue
clly*11 ~ IIT*y*11 ~ 1,
y en consecuencia,
Observación. Por el teorema 3.12, (a) se verifica si, y solamente si, !Jit(T) es
débilmente cerrado. Sin embargo, los subespacios cerrados de X* en la topología
nórmica no siempre son débilmente* cerrados (ejercicio 7, capítulo 3).
DEMOSTRACIÓN. Es evidente que (b) implica (e). Demostraremos que (a) im-
plica (h) y que (e)' implica (a).
en espacios de Banach 97
Supongamos que se verifica (a). Por el teorema 4.12 y la parte (h) del teo-
rema 4.7, es la adherencia débil* de /Yí(T*). Así pues, para probar (h) es
suficiente probar .Af(T).l e /Yí(T*).
Tomemos un x* E .Af(T).l. Definamos una forma lineal A sobre /Yí(T) por
Observemos que A está bien definida, pues si Tx = Tx ' , entonces x - x' E.Af(T);
de aquí
- x', x*) = o.
Podemos ahora aplicar el teorema de la aplicación abierta a
T: X -* /Yí(T)
pues, por hipótesis, siendo /Yí(T) un subespacio cerrado del espacio completo Y,
es también completo. Se deduce que existe K < co tal que a cada y E /Yí(T) puede
asociársele un x E X tal que Tx = y, [[x[[ :S: K[[y[[, Y que
es biyectiva.
Si z* E Z*, el teorema de Hahn-Banach proporciona una extensión y* de z.*
Para todo x E X se tiene
Por tanto, S*z* = T*y*. Se deduce que S* y T* poseen idéntica imagen. Como
RUDIN-7
98 Análisis funcional
ellz*11 ~ IIS*z*11
para todo z* E Z*. Por consiguiente, en virtud de la parte (b) del lema 4.13
S : X - 7 Z es una aplicación abierta. En particular, S(X) = Z. Pero, por la forma
en que se ha definido S, &l(T) = &leS). Así pues, &l(T) = Z, que es un subespacio
cerrado de Y.
Termina así la demostración de que (e) implica (a).
La siguiente consecuencia es útil en las aplicaciones.
Operadores compactos
La desigualdad
IISTII:s; IISIIIITII
se comprueba sin dificultad.
En particular, las potencias de TE .'?8(X) se definen de esta forma: TO = 1, apli-
cación identidad de X, dada por Ix = x; T n = TTn-\ para n = 1, 2,3, ....
(b) Se dice que un operador TE .'?8(X) es inversible cuando existe un S E .'?8(X)
tal que
ST =1= TS.
(y E Y).
Como IfnCY) - fn(y')\ ::o;: Ily - y'11, Un} es una suceSlOn de funciones equiconti-
nuas. Puesto que la adherencia de T(U) en Y es compacta (como antes, U es la
bola unitaria de X) por el teorema de Ascoli, Un} tiene una subsucesión UnJ uni-
formemente convergente en T(U). Dado que
en espacios de Banach 101
(y*, l/JTx) = (Tx, y*) = (x, T*y*) = (T*y*, <jJx) = (y*, T**<jJx)
l/JT= T**<jJ.
l/JT(U) e T**(U**).
Se supone ahora que T* sea compacto. La primera mitad del teorema mues-
tra que T** : X** -+- Y** es compacto. Así pues, T**(U**) es totalmente acotado,
y por consiguiente, lo mismo le ocurre a su subconjunto l/JT(U). Como l/J es una
isometría, T(U) es totalmente acotado. Por consiguiente, T es compacto.
DEMOSTRACIÓN. (a) Sea {el> ... , en} una base de M. Cada vector x E M tiene
una única descomposición
Cada (J.i es una forma lineal continua en M ( teorema 1.21), que por el teorema de
Hahn-Banach, admite una extensión perteneciente a X*. Sea N la intersección de
los núcleos de. estas extensiones. Entonces X = M EB N.
(h) Sea T!: : X...-7 XI M la aplicación cociente y {el' ... , en} una base de XI M; eli-
jamos Xi E X de forma que T!:Xi = ei (l :s: i :s: n), y sea N el subespacio vectorial
de X engendrado por {Xl' ... , xn}. Entonces· X = M EB N.
DEMOSTRACIÓN. Por la parte (d) del teorema 4.18, dim%(T - ¡J) < oo. Por
la parte (a) del lema 4.21, X es suma directa de %(T - Al) Y de cierto subespacio
cerrado M. Definamos un operador S E .%'( M, X) por
(1) Sx = Tx -Ax.
sucesión podemos suponer que es la sucesión primitiva) tal que TXn --7- XII
para un Xo E X. Resulta AXn ~- XO' Así pues, X o E y
SX o = lim (ASX,,) = O.
Por ser S biyectivo, =0. Ahora, para todo n, Ilxnll = 1, Y como Xo = lim AXm
X(l
Ilxoll = IAl > O. Esta contradicción muestra que (2) debe verificarse para algún r> O.
4.24 Teorema. Sean, X un espacio de Banach, T E 86'(X) compacto, r> O Y E
conjunto de valores propios A de T tales que IAl < r. Entonces
(a) cualquiera que sea A E E, PIt(T - Al) i= X, Y
(b) E es un conjunto finito.
(1)
(2) T(M n ) cMn para n::::: 1,
y
(3) (T - AnI)(Mn) e M n- l para n::::: 2.
Para terminar la demostración bastará ver que estas propiedades son contra-
dictorias con la propiedad de ser T compacto.
Supongamos que (a) sea falso. Entonces, para un cierto AO E E, PIt(T - Aol) = X.
Pongamos S = T - A01, Y tomemos como M n el núcleo de sn. (Véase la sec-
ción 4.17.) Como AO es un valor propio de T, existe Xl E M 1 , Xl i= O. Por ser PIt(S) = X,
existe en X una sucesión {xn} tal que Sxn+! = Xm n = 1,2,3, ... , Entonces
Si 2 ~ m < n, se define
(6) z = TYm - (T - An l)Yn·
En virtud de (2) y de (3), Z E M n - 1 . Por consiguiente (5) muestra que
Así pues, la sucesión {TYn} carece de sub sucesiones convergentes, a pesar de que
{Yn} es acotada. Si T es compacto, lo anterior es imposible.
Supongamos que es falsa. Entonces ex >~. Como ex < 00, el lema 4.21
muestra que X contiene subespacios cerrados E y F tales que dim F = ~ y
En toda esta colección de ejercicios, si no se especifica otra cosa, X e Y denotarán siempre espacios
de Banach.
Sea cp la inmersión de X en X**, descrita en la sección 4.5. Sea 7: la topología débil de X, y
sea IJ' la topología débil* de X**, es decir, la topología inducida en X** por X*.
(a) Demostrar que cp es un homeomorfismo de (X, 7:) sobre un subespacio denso de (X**, a).
(h) Si B es la bola unitaria cerrada de X, demostrar que cp(B) es IJ'-densa en la bola unitaria
cerrada de X**. (Usar el teorema de Hahn-Banach, en la forma de separación.)
Ce) Aplicar (a), (h) y el teorema de Banach-Alaoglu para probar que si X es reflexivo entonces B
es débilmente compacta, y recíprocamente.
(d) Deducir de Ce) que todo subespacio cerrado en la topología de la norma de un espacio
reflexivo X, también es reflexivo.
(e) Si X es reflexivo y si Yes un subespacio cerrado de X, probar que XI Y también es reflexivo,
(f) Probar que X es reflexivo siS solamente si,X* es reflexivo.
Sugerencia: Una de las implicaciones es consecuencia de (c); para obtener la otra se aplica (d)
al subespacio cp(X) de X**.
2 Entre los espacios co, [1, [P, loo, ¿cuáles son reflexivos? Demostrar que todo espacio normado
de dimensión finita es reflexivo. Probar que el espacio e de todas las funciones complejas con-
tinuas en el intervalo unidad, dotado de la norma del supremo, no es reflexivo.
3 Demostrar que un subconjunto E de .'?d(X, Y) es equicontinuo si, y solamente si,existe M < 00
tal que IIAII:S: M para toda A E E.
4 Recordemos que X* = .'?d(X, (2'), donde e denota el cuerpo de escalares. Por consiguiente,
A* E .'?d(e, X*) para toda A E X*. Describir la imagen de A*.
5 Demostrar que TE .'?d(X, Y) es una isometría de X sobre Y si,y solamente si,T* es una isome-
tría de y* sobre X*.
6 Sean IJ' y 7: las topologías débiles* de X* e Y*, respectivamente. Demostrar que S es una apli-
cación lineal continua de (Y*, 7:) en (X*, IJ') siS solamente si,se verifica S = T* para alguna
T E[.'?d(X, Y).
7 Sea L 1 el espacio habitual de las funciones integrables, con respecto de la medida de Lebesgue,
del intervalo cerrado unitario J. Supongamos que TE .'?d(L" Y), con lo que T* E .'?d(Y*, LOO).
Si g¿(T*) contiene todas las funciones continuas en J, ¿qué puede deducirse con respecto a T?
8 Demostrar que (ST)* = T*S*. Enunciar las hipótesis necesarias para que la igualdad anterior
tenga sentido.
9 Supongamos que S E .'?d(X), T E .'?d(X).
(a) Mostrar con un ejemplo que ST = 1 no implica TS = I.
(h) Suponiendo que T es compacto, demostrar, sin embargo, que
Estas igualdades generalizan las igu~ldades ex = (3* y ex* = (3 del teorema 4.25.
13 (a) Supongamos que T i?d(X, Y) para n = 1, 2, 3, ... , que cada Tn tiene
E i?d(X, Y), Tn E
imagen de dinlensión finita, y que lim II T - T,,11 = o. Probar que T es compacto.
(b) Suponiendo que Y sea un espacio de Hilbert, probar el recíproco de (a): Todo operador
T E i?d(x, Y), compacto, puede ser aproximado en la topología de la norma de operadores
por operadores de imagen finito-dimensional. Indicación: En un espacio de Hilbert exis-
ten proyecciones lineales de norma 1 sobre todo subespacio cerrado. (Véanse los teore-
mas 5.16 y 12.4.)
14 Se definen en [2 los operadores desplazamiento S y multiplicación M mediante
{~(n -
si n = O,
(Sx)(n) = 1) si'n;¿ 1,
Pongamos T = MS. Mostrar que T es un operador compacto sin valores propios y cuyo
espectro consta exactamente de un punto. Calcular II T"ll, para n = 1, 2, 3, ... y lim" ..... co IIT"\\l/".
15 Sea fl una medida positiva, finita o a-finita, definida en un espacio de medida Q, y sea ¡.t x fl
la correspondiente medida producto en Q x Q y K E V(¡.t X ¡.t). Definamos
(Tf)(s) = f
n
K(s, t)f(t) d,At)
IITI12 :s.:;: JI
nn
jK(s, t)J2 d¡.t(s) d¡.t(t).
(b) Sean, para 1 ~ i ~ n, ai, b i elementos de V(¡.t). Pongamos K 1(s, t) =1": ai(s)bi(t), Y defi-
namos TI en función de K" del mismo modo que se definió T a través de K. Demostrar
que dim &l(TI ) ~ n.
(e) Obtener como consecuencia que T es un operador compacto en L2(¡.t). Indicación: Usar
el ejercicio 13.
(d) Sea A E <2', A =1= O. Demostrar, que la ecuación
Tf-Af=g
posee una única solución fE V(¡.t) para todag E P(¡;,), o bien que existen infinitas soluciones
para ciertas g y ninguna para otras. (Este hecho es la conocida alternativa de Fredholm.)
(e) Dar una descripción del operador adjunto de T.
16 Definamos
(1 - s)t si O:s.:;: t:s.:;: s
K(s, t) = { (1 - t)s si s :s.:;: t :s.:;: 1
(a) Demostrar que los valores propios de T son (nn)-2, n = 1, 2, 3, ... , que las funciones
propias correspondientes son sen nnx, y que cada subespacio propio tiene dimensión 1.
Indicación: Si A =1= O, la ecuación TI = Al implica que I es infinitamente diferenciable,
que J"f" + I = O, Y que feO) = lO) = O. El caso A = O puede tratarse por separado.
(b) Mostrar que las funciones propias anteriores constituyen una base ortogonal de L2(0,l).
(c) Sea g(t) = ~ Cn sen nnt. Discutir las soluciones de la ecuación TI-Al = g.
(d) Mostrar que T también es un operador compacto en e, espacio· de todas las funciones
continuas en [O, 1]. Indicación: Si {Ji} está uniformemente acotada, entonces {TJi} es
equicontinua:.
17 Sea V = VeO, 00), con respecto a la medida de Lebesgue, y sea
1 s
(Tf)(s) = - f
f(t) dI
s o
(O <s < 00),
Probar que T € !!I(V) y que T no es compacto. (La propiedad 11TH::;; 2 es un caso particular
de la desigualdad, de Hardy. Véase la página 72 de [23].)
18 Demostrar los siguientes asertos.
(a) Si {Xn} es una sucesión débilmente convergente de X, entonces {llxnll} es acotada.
(b) Si T € !!I(X, Y) y Xn -¿. x débilm~nte, entonces TX n -¿. Tx débilmente.
(e) Si T € !!I(X, Y) si Xn -¿. x débilmente y si T es compacto, entonces 11 TXn - Txll-¿. O.
(d) Recíprocamente, si X es reflexivo, si T € !!I(X, Y), y si IITxn - Txll-¿. O siempre que
x n -¿. X débilmente, entonces T es compacto. Indicación: Usar la parte (e) del ejercicio 1,
y la parte (e) del ejercicio 28 del capítulo 3.
(e) Si X es reflexivo y T € !!I(X, 11 ), entonces T es compacto. Así pues, YP(T) =1= /1. Indicación;
Usar la parte (c) del ejercicio 5 del capítulo 3.
(f) Si Y es reflexivo y T € !!I(co, Y), entonces T es· compacto.
19 Sea Y un subespacio cerrado de X, y sea Xo * € X*. Pongamos
para todo x* € E. Así, pues, existe una sucesión de escalares {(J(n} tal que ~ l~l < 00
y que
00
Re ¿ Ol.<X n, x*) ¿ 1
n=l
X =%(S·) E8 ~(sn),
Demostrar que la serie ~ Xn converge hacia algún x E X. De forma explícita, probar que
liro Ilx - (Xl + ... + xn)11 = O.
Mostrar también que Ilxll:S:: M. (Estos hechos se usaron en la demostración del lema 4.13.)
24 Sea c el espacio de todas las sucesiones complejas
en espacios de Banach 1 1
para las cuales existe (en e) X oo = lim x n. Pongamos Ilxll = sup Ixnl. Sea eo el subespacio de e
formado por todas las x tales que X oo = o.
(a) Describir. explícitamente dos isomorfismos isométricos u y v tales que u aplique c* sobre
/' y v lleve eo * sobre /'.
(b) Definamos S: eo--»o e mediante SI = f. Describir el operador vS*u-1 que aplica [1 a [1.
(e) Definamos T: e--»o eo poniendo
Yl=X oo , Yn+l=X n - X co si n ¿ 1.
Demostrar que Tes biyectiva y que Te = eo. Hallar IITII y IIT-lll. Describir el operador
uT*v-1 que aplica /' en /'.
5
gunas nes
Un teorema de continuidad
Uno de los primeros teoremas del Análisis funcional (Hellinger y Toeplitz, 1910)
enuncia que si T es un operador lineal de un espacio de HUbert H, simétrico (en el
sentido de que verifica
(Tx, y) = (x, Ty)
para todos x E H e y E H), entonces T es continuo. En la igualdad anterior (x, y)
denota el producto escalar del espacio de Hilbert. (Ver la sección 12.l.)
Sea {x n } una sucesión de H tal que Ilxnll --+ O. Por ser T simétrico, TXn --+ O
débilmente, pues todas las formas lineales continuas en H vienen dadas por pro~
ductos escalares. El teorema de Hellinger-Toeplitz resulta así ser consecuencia del
siguiente:
de Y, que T: X --7 Yes lineal, y que, cuando Xn -)- O, ATxn --7 O para toda A E Y*.
Entonces T es continuo.
AT(X n - x) -+ O.
por tanto
(1, g) = f l?j,
1
o
IIIII = (1,/)1/2,
se obtiene 11/1100 :::;: KP!211/112' En cualquier caso, existe una constante M < 00 tal que
5.3 Teorema. Sea E un conjunto infinito de números enteros tal que ningún
entero posea más de una descomposición en suma de dos elementos de E. Sea PE
el espacio vectorial de todas las sumas finitas de la forma
00
(1) f(e iO ) = L c(n)e ine
n= -00
I 1f 1 = I 11
4 2 2
1 = I 1c(n) 14 + 4 I 1c( m) 12 1c( n) 12
n m<n
116 Análisis funcional
por tanto
(2) f If1 4
::s; 2([ Ic(n)12)2=2(flfI2f.
Tomando en la desigualdad de Holder los exponentes conjugados 3 y 3/2, se
tiene
(3) . f 2 U 4f/3 (J f/3 .
If 1 ::s; 1f 1 1JI
De (2) y (3) resulta que
(4) 11/114 ::s; 2 1 / 411/11z y
para toda 1 E PE' Por consiguiente, toda sucesión de Cauchy (con la norma de V)
extraída de Pi es también una sucesión de Cauchy en L4. Por tanto, SE e L4. Por
último, la desigualdad evidente Ilflll ::;;: IIfl14 muestra que SE es cerrado en L4.
De la segunda desigualdad (4) puede obtenerse, por dualidad, un interesante
resultado. Recordemos que los coeficientes de Fourier gen) de toda función g E LOO
verifican I Ig(n)12 < oo. El próximo teorema muestra que ya no es posible afirmar
nada más acerca de la restricción de g a E.
¿
-00
la(n)I 2 =A 2 <oo.
Si se toma I(e íe ) = einO (n E E), la igualdad anterior muestra que gen) = a(n).
0< IAl (A) < I Al (E). Se denota por IAl la medida variación total de A. La termino-
es la de [23].
5.5 Teorema. Sean [.Lv ... , [.Ln medidas reales no-atómicas definidas sobre una
a-álgebra me. Definamos
Entonces [.L es una función con dominio me, cuyo recorrido es un subconjunto compacto
convexo de R n.
I
O :::;; fg dO' :::;; f dO' I
para toda fE D( a) no negativa, K es débilmente* cerrado. Y puesto que K está
contenido en la bola unitaria cerrada de L=( a), el teorema de Banach-Alaoglu
muestra que K es débilmente* compacto. Por tanto, A(K) es un conjunto convexo
y compacto de R n .
Demostraremos que [.L(9JC) = A(K).
Sea XE la funcÍón característica de un conjunto E E me. Entonces XE E K Y
[.L(E) = Ag. Así pues, [.L(me) e A(K). Para obtener la inclusión inversa, tomemos un
punto p E A(K) Y definamos
Kp = {g E K: Ag = p}.
Hemos de probar que Kp contiene algún XE, pues entonces p = [.LE.
Observemos que Kp es convexo. Como A es continua, Kp es débilmente* com-
pacto. Por el teorema de Krein-Milman, Kp posee algún punto extremal.
Supongamos que go E Kp Y que go no es una función característica de LOO(a).
118 Análisis funcional
5.6 Definiciones. Sea C(S) el espacio de Banach habitual de todas las fun-
ciones continuas sobre un espacio de Hausdorff compacto, con valores complejos,
dotado de la norma del supremo. Se dice que un subespacio A de C(S) es un ál-
gebra si fg E A cuando f E A Y g E A. Un conjunto E e S se dice que es A-antisi-
métrico cuando toda función f E A que toma en E exclusivamente valores reales
es necesariamente constante en E. Dicho de otra forma, cuando el álgebra A E for-
mada por las restricciones a E,fIE' de las funciones f E A no contiene ninguna fun-
ción real no constante.
Por ejemplo, si Ses un subconjunto compacto de rz:, y si A está formada por
todas las fE C(S) que son holomorfas en el interior de S, entonces cada compo-
nente conexa del interior de S es un conjunto A-antisimétrico.
Sean A e C(S), p E S, q E S, Y escribamos p ,....., q cuando exista un conjunto
A-antisimétrico E que contenga a p y a' q. Se comprueba fácilmente que esta rela-
ción define una equivalencia en S, y que cada clase de equivalencia es un conjunto
cerrado. Estas clases de equivalencia son los conjuntos A- antisimétricos maximales.
5.7 Teorema de Bishop. Sea A una subálgebra cerrada de C(S) que contenga
las funciones constantes. Sea g E C(S) tal que glE E A E para todo conjunto A-antisi-
métrico maximal E. Entonces g E A.
Enunciada de otra forma, la hipótesis sobre g es que para cada conjunto
A-antisimétrico maximal E exista una función f E A que coincida con g sobre E.
La conclusión es que existe una f que verifica esta condición simultáneamente para
todo E: la función f = g.
Un caso particular importante del teorema de Bishop es el teorema de Stone-
Weierstrass:
Sea A una subálgebra cerrada de C(S) que contiene las funciones constantes,
separa puntos de S y es autoadjunta (es decir, J E A cuando f E A). Entonces A = C(S).
En efecto, en este caso las funciones reales de A separan puntos de S. Así pues,
conjunto A-antisimétrico contiene más de un punto, y toda g E cumple
del teorema de
siendo 11¡..t11 = j¡..tj (S). El conjunto K es convexo, equilibrado, y por la parte (e)
del teorema 4.3, débilmente* compacto. Si K = {O}, entonces Al. = {O}; por con-
siguiente, A = C(S) y no hay nada que probar.
Supongamos que K =1 {O}, Y sea ¡..t un punto extremal de K. Evidentemente,
11¡..t11 = 1. Sea E el soporte de ¡..t, lo que significa que E es compacto, que j¡..tj(E) = 11 ¡..tI 1
y que E es el mínimo conjunto que reúne estas dos propiedades. Tomemos una
f E A tal que O <f(x) < 1 para todo x E E, Y definamos
La igualdad anterior muestra que ¡..t es una combinación convexa de las medidas
al = alllall y "1 = ,,/11,,11. Ambas pertenecen a K. Por ser ¡..t un punto extremal de K,
¡..t = al' Dicho de otra forma, f d¡..t = 110'11 d¡..t, Y así f(x) = Ilall para todo x E E.
Puesto que A contiene las funciones constantes, resulta que toda función f E A
que toma en E valores reales es constante en E.
Hasta aquí hemos probado que si ¡..t es un punto extremal de K el soporte de ¡..t
es A-antisimétrico.
Si g verifica la hipótesis del teorema, resulta que J g d¡..t = O para toda medida ¡..t
que sea extremal en K, y por tanto, también para toda ¡..t de la envolvente convexa
de estos puntos extremales. Como la aplicación ¡..t->J g d¡..t es débilmente* continua
en por el teorema de Krein-Milman, j g d¡..t = O para toda ¡..t E K, Y por tanto,
para toda ¡..t E Al..
Así pues, toda forma lineal continua en C(S) que se anula en A se anula tam-
bién en g. Por el teorema de separación de Hahn-Banach, g EA.
He aquí un ejemplo que ilustra el teorema de Bishop:
gt(z) = L p¡(z)
i= 1
fes, z) = L Qmi(S)p¡(z)
i= 1
para toda f E Y. Podemos considerar que [J. es un elemento de M(S) cuyo soporte
está contenido en K. Entonces a - fL E Y'-, y por la hipótesis sobre K, para todo
conjunto de Borel Ec K se verifica a(E) = fLE. Así pues, IlfLll : :;: llali. Se concluye
que IlfLll : :;: IIp*fLll. Por la parte (b) del lema 4.13, la desigualdad anterior demuestra
el teorema.
Nota: Puesto que IIp*[[ = [[p[[ :::;: 1, en la demostración precedente se tiene tam-
bién [[a[[ :::;: [[fL[[. Se deduce que a = fL, Y por consiguiente, P*[J. posee una única
extensión de su misma norma definida en todo C(S).
Nuestro segundo teorema de interpolación trata de productos de Blaschke
finitos, es decir, funciones B de la forma
en las que Iel = 1 Y I(J(k I < 1 para 1 :::;: k :::;: N. Se comprueba sin dificultad que
los productos de Blaschke finitos son precisamente los elementos del álgebra del
disco cuyo valor absoluto es 1 en todo punto de la circunferencia unitaria.
Los datos del problema de interpolación de Piek-Nevanlinna son dos conjuntos
finitos de números complejos {zo, ... , zn} y {wo, ... , wn} todos ellos de valor ab-
soluto menor que 1, y tales que Zi =F z} si i =F j. El problema consiste en hallar una
122 Análisis funcional
función f holomorfa en el disco abierto unitario U, tal que [f(z) [ < 1 para toda
z E U, Y que
Puede muy bien ocurrir que para ciertos datos el problema no tenga. solución.
Así lo muestra el lema de Schwarz en el caso, {zo, Zl} = {O, -t} y {wo, w1 } = {O, t}.
Pero cuando el problema admite soluciones, entre ellas hay algunas muy notables.
El teorema siguiente precisa en qué sentido.
5.10 Teorema. Sean {zo, ... , zn}, {wo, ... , wn} un sistema de datos del pro-
blema de Pick-Nevanlinna. Sea E el conjunto de todas las funciones f holomorfas
en U tales que [f[ < 1 Y f(zi) = Wi para O .:::;; i .:::;; n. Si E no es vacío, entonces una
de las funciones de E es producto de Blaschke finito.
siendo Cle> O, L Cle = 1 Y [a le [ = 1. Una vez hallada una función F como la ante-
rior, pongamos B = (F - l)j(F + 1), que es un producto de Blaschke finito que
verifica B(Zi) = Wi para O .:::;; i .:::;; n.
Sea K el conjunto de todas las funciones holomorfas F definidas en U que ve-
rifican (1).
Asociemos a cada [.L E M(T) = C(T)* la función
ei8 + z
Fi z ) = f
1t i8
(4) -i-8- d¡t(e ) (z E U).
-1t e - z
Si P denota el conjunto de todas las medidas probabilísticas de Borel definidas
en T, la correspondencia [.L <-+ Ff.' es una biyección entre P y K. (teoremas 11.12
y 11.19 de [23].) Definamos A: M(T) ~- r¡;n por
(5)
Como, por hipótesis, E no es vacío, existe [.Lo E P tal quc
(6)
aplicaciones 123
(7)
Sumando las relaciones (7) y (8), dividiendo por n, y teniendo en cuenta la con-
vexidad de W, se obtiene
G= U aVa •
aEA
Se escribe
V= n Va·
aEA
que x-1 Y.E V. Toda g E HL(f) es una suma finita de la forma 2: c.L./, donde
c. ¿ 0, 2: cs = 1. De aquí,
5.14 Teorema. En todo grupo compacto G existe una única medida probabi-
lística m, regular, de Borel, que es invariante a la izquierda, en el sentido de que
(1)
f f dm f (Lsf) dm
G
=
G
[s E G,j E C(G)].
(2)
f fdm f (Rsf)dm
G
=
G
[s E G,j E C(G)]
y verifica la relación
Por ser cada L. una isometría de C(G) sobre sí mismo, {L.: s E G} es un grupo
equicontinuo de operadores lineales en C(G). Si fE CCG), sea K¡ la adherencia
de HL(f). Por el teorema 5.13, K¡ es compacto. Es evidente que cualquiera que
sea s E G, L.(K¡) = K¡. El teorema de punto fijo 5.11 implica, en estas condiciones,
que K¡ contiene una función 1> tal que L.1> = 1> para todo s E G. En particular,
cp(s) = 1>(e), por lo que cp es constante. Por la definición de K¡, esta función puede
ser aproximada uniformemente por funciones de HL(f).
Hasta ahora hemos probado que a cada fE C(G) podemos asociarle al menos
una constante c que es uniformemente aproximable en todo G por funciones que
son combinaciones convexas de trasladadas por la izquierda de f. Análogamente,
128 Análisis funcional
existe una constante e' con la misma propiedad respecto de las trasladadas de f
por la derecha. Afirmamos que e' = e.
Para probarlo, tomemos un e; > O. Existen conjuntos finitos {a;} y {b j } de e
y números reales Cl.i > O, (3j > O COIl 2: Cl.i = 1 = 2: (3j tales que
(4) (XE e)
Sea e; > O. Entonces, para un cierto conjunto finito {ai } e e y ciertos números
reales Cl.i > O con 2: Cl. i = 1, se verifica
(13) I f
Mf - ad(a¡x) 1< e (x E G)
Definamos
(x E G);
y en virtud de (14),
Sustituyendo en (13) x por bjx, multiplicando (13) por ~j y sumando con respecto
de j se obtiene
Mf - r..rxJ3 j f(a¡b j x)
I 1, J
e 1<
(x E G).
Por tanto
(18) I Mf + Mg - brx¡j3if + g)(a¡ bjx) 1< 210 (x E G).
5.16 Teorema.
= Ts (s E G, tE G);
Para ver que esta integral existe, en el sentido de la definición 3.26, pongamos
(2) (s E G).
Por el teorema 3.27, es suficiente mostrar que Ix : G ~ X es continua. Tomemos
So EG, fijo; y sea U un entorno de Ia,cso) en x. Pongamos y = PSox, con lo que
(3)
(4)
(5) PSXE W si s E V 2 •
Observemos que S-l Pss o = so(sso)-1 P(sso). Se deduce ahora de (1) y (2) que
Qsox = J6
S-lpSSOX dm(s)
= 56 sof",(sso) dm(s)
J
= sofx(s) dm(s)
6
= So rfxCs) dm(s) =
J6
So Qx.
(1) J(n) = 2-
2rc
r
-1t
f(e)e- in8 de (n = 0, ±1, ±2, ... ).
(8)
que son los conocidos núcleos de Poisson. Sumando directamente la serie (9) vemos
que Ir ;;:o: O. Así pues, para todo r,
1 n 1 n
(10) J
IIfrl11 = -
2n -1t
IfrCO) I de = - J
2n -x
f,ce) de = lo
Pero
00 1
(Qfr)(e) = L rne = 1
inO
(11) i8'
o - re
y por el lema de Fatou, IIQlrllro- co cuando r -+ 1, pues f 11 - eiol-1 de = co. Este
resultado, juntamente con (lO) contradice la continuidad de Q.
134
para toda I € A. Para ver la imposibilidad de que exista una tal M consideraremos
las aplicaciones conforme del disco unitario cerrado sobre elipses altas y estrechas.
Así pues, A no admite complementario en C.
Sin embargo, la proyección (8) considerada como operador en LP, para
1 < p < 00, sí es continua. Por tanto, HP es un subespacio complementado de LP.
Este resultado es debido a M. Riesz. (Teorema 17.26 de [23].)
Terminaremos con un análogo de la parte (b) del teorema 5.16, que será uti-
lizado en la demostración del teorema 11.31.
La diferencia con la parte (b) del teorema 5.16 estriba en que no se supone
que A n B = {O}.
DEMOSTRACIÓN. Sea Yel espacio vectorial de todos los pares ordenados (a, b)
con a € A, b € B Y la adición y multiplicación por escalares definidas por compo-
nentes, dotado de la norma
I (a, b)11 = Ilall + Ilbll·
Como A Y B son completos, Y es un espacio de Banach. La aplicación A : Y -+ X
definida por
A(a, b) = a + b
es continua, puesto que Ila + b[[ :::;: II (a, b)[[, y lleva Y sobre X. Por el teorema de
la aplicación abierta, existe y < 00 tal que cada x € X es de la forma A(a, b) para
algún par (a, b) tal que [1 (a, b)l[ :::;: y[[xl[· IIII
Ejercicios
entonces e! recorrido de fl es el cuadrado de vértices (1, O), (O, 1), (-1, O), (O, - 1).
3 Supongamos satisfechas las hipótesis del teorema 5.9, y sean 4> E C(S), 4> > 0, g E C(K) y
Igl < .pI K· Demostrar que existe J E Y tal que J IK = g y I JI < .p en S. Indicación: Aplicar el
teorema 5.9 al espacio de todas las funciones JI.p, con J E Y.
4 Demostrar con detalle que todo punto extrema! de P tiene un soporte reducido a un ÚIlico
punto. (Nos estamos refiriendo al final de la demostración del teorema 5.10.)
5 Demostrar los análogos delos teoremas 1.10 a 1.12, a los que se hace alusión en la sección 5.12.
(No debe suponerse que G sea conmutativo.)
6 Sea G un grupo topológico, y sea H el máximo subconjunto conexo de G que contiene el ele-
mento neutro e. Probar que H es un subgrupo invariante (o normal) de G, es decir, un sub-
grupo que verifica la condición x-1Hx = H para todo x E G. Indicación: Si A y B son sub-
conjuntos conexos de G, también lo son AB y A-l.
7 Demostrar que todo subgrupo abierto de un grupo topológico es también cerrado. (El recí-
proco es, evidentemente, falso.)
8 Sea m la medida de Haar de un grupo compacto G, y sea V un conjunto abierto no vacío
de G. Probar que m(V) > O.
9 Pongamos en(B) = ei no . Tomemos L2 respecto a la medida de Haar de la circunferencia uni-
taria. Sea A el mínimo subespacio cerrado de V que contiene a en para n = 0, 1, 2, .. " sea B
el mínimo subespacio cerrado de L2 que contiene a e_ n + nen para n = 1, 2, 3, ... Demostrar
los siguientes asertos:
(a) A n B = {O}.
(b) Si X = A +
B entonces X es denso en V, pero X =1= V.
(e) A pesar de que X = A EB B, la proyección en X con imagen A y núcleo B no es continua.
(La topología de X, desde luego, es la que hereda de L 2 • Comparar este resultado con el
teorema 5.16.)
10 Sean: X un espacio de Banach, P y Q proyecciones, P E !J1J(X), Q E !J1J(X).
(a) Demostrar que el adjunto P* de P es una proyección en X*.
(b) Demostrar-que si PQ = QP, siendo P 7'= Q, entonces IIP- QII ¿ 1.
11 Sean P y Q proyecciones en un espacio vectorial X.
(a) Probar que P + Q es una proyección si,y solamente si,PQ = QP = O. En ese caso,
y
136
12 Demostrar que los operadores de traslación Y., utilizados en el ejemplo 5.19 satisfacen la con-
dición de continuidad descrita en la sección 5.17. Concretamente, demostrar que
IIT,g - T, 111,-+0
cuando r-+ s y g-+ f en V.
13 Mediante el siguiente ejemplo, mostrar que no es posible suprimir la hipótesis de compacidad
en el teorema 5.18. Tomemos X = Ll sobre la recta real R, con respecto a la medida de Le-
besgue; f E Y si,y solamente si,jRf = O; G = R con la topología habitual; G opera sobre V
por traslación: (Ts f) = fes + x). La propiedad de continuidad se satisface (véase el ejer-
cicio 12); para todo s se verifica Ys Y = Y, e Y posee complementario en X. A pesar de lo cual,
no existe ninguna ptoyeéción de X sobre Y (continua o no) que conmute con todas las Ys.
14 Supongamos que S y T sean operadores lineales continuos en un espacio vectorial topológico,
y que
T=TST.
Demostrar que la imagen de T es cerrada. (Véase el teorema 5.16 para el caso S = 1.)
15 Sea A un subespacio cerrado de CeS), siendo S un espacio de Hausdorff compacto; sea f! un
punto extremal de la bola unitaria de Al.; y supongamos que f E C(S) sea una función real
tal que
fsgfd¡.t =0
para toda g € A. Demostrar que entoncesftiene que ser constante sobre el soporte de {l. (Com-
parar con el teorema 5.7.) Mostrar, con un ejemplo, que si se omite la condición de ser f
real la conclusión es falsa.
1· e
6
Introducción
Si fE COO(R), entonces
(2) (4) E E0, k = 1,2, 3, ... ).
Las fórmulas precedentes se han obtenido integrando por partes, teniendo en cuenta
que e/; tiene soporte compacto.
Observemos que las integrales del segundo miembro de (1) y (2) tienen sentido
tanto si f es diferenciable como si no lo es, y que ambas definen formas lineales sobre !$.
De esta forma podemos asociar una «derivada k-ésima» a toda función f local-
mente integrable: f(7e) es la forma lineal definida en !$ que aplica cada función e/;
en el número (- Ir' Jfe/;(k). Observemos que la forma lineal e/; -+ Jfe/; corresponde
a la propia función f.
Las distribuciones serán aquellas formas lineales definidas en !$ que resulten
continuas con respecto a una cierta topología. (Ver la definición 6.7). La exposi-
ción anterior sugiere que la «derivada» A' de una distribución A ha de venir dada
por la fórmula
(3) N(4)) = -A(4)')
Funciones test y distribuciones 141
Resulta que esta definición (generalizada a n variables) verifica todas las pro-
~~ deseables requeridas al principio. Una de las características más sobresa-
IJ!"UU,'....
(1)
para cf> E !?JJ( O) Y N = 0, 1, 2, ... ; véase la sección 1.46 para las notaciones Drf. y [rf.[.
Las restricciones de estas normas a cada !?JJK e !?JJ( O) fijo inducen en !?JJK la misma
topología que las seminormas PN de la sección 1.46. En efecto, a cada K podemos
asociarle un entero No tal que K e KN para todo N ¿ No. Para estos N, 11cf>IIN=PN(cf»
cuando cf> E !?JJK' Dado que
(2) y
las topologías inducidas por cada una de estas sucesiones de seminormas no varían
si N toma valores desde No en adelante, en lugar de comenzar en l. Así pues, estas
dos topologías de !?JJK son idénticas; una base local está formada por los conjuntos
(3) (N = 1, 2, 3, ... ).
La misma sucesión de normas (1) puede utilizarse para definir una topología
localmente convexa y metrizable en !?JJ(O); véanse el teorema 1.37 y la parte (b)
de la sección 1.38. Sin embargo, esta topología presenta el inconveniente de no
ser completa. Por ejemplo, tomemos n = 1, O = R, elijamos una cf> E !?JJ(R) con
soporte contenido en [O, 1], cf> > °en (O, 1), Y definamos
1 1
~m(x) = o/(x - 1) + "2 o/(x - 2) + ... + ; o/(x - m).
6.4 Teorema.
(1)
para un cierto W E ~.
La definición de " muestra que existen 4>i E .@(n) y Wi E ~ tales que
(2) (i=1,2).
Tomemos K de forma que .@K contenga a 4>1' 4>2 y 4>. Como .@KI\ W i es abierto
en .@K' se tiene, para ciertas í3; > 0,
(3)
Por ser los Wj convexos se tiene, aSÍ,
(4)
así que
(5) (i = 1,2).
Tomando W = (1l 1 W 1 ) 1\ (1l 2 W 2) se verifica (1), lo que demuestra el aserto (a).
Supongamos ahora que 4>1 y ~2 sean dos elementos distintos de .@(n), y pon-
gamos
Funciones test y distribuciones 143
donde 11<pllo viene dado como en (1) de la sección 6.2. Entonces W E ~ Y <Pi no per-
tenece a <P2'+ W. Resulta de aquí que {<Pi} es un conjunto cerrado en la topología T.
La adición es continua en la topología T, pues por ser convexo cada W E 13,
cualquiera que sean <h E E0( O), t 2 E E0( O) se tiene
(7) (h + t W) + (h + t W) = (h + t 2) + W
Para probar la continuidad de la multiplicación por escalares, tomemos un
escalar Oto Y una epo E E0(O). Entonces
(8)
°
Para todo W E ¡3 existe 3 > tal que 3epo E 1- W. Elijamos c de forma que 2c(1 Otol + 3) = 1.
Como W es convexo y equilibrado, resulta que
(9)
6.5 Teorema
(N = 0, 1,2, ... ).
(f) Si epi -+ °
en la topología de E0( .o), entonces existe un compacto K c O que
144 Análisis funcional
contiene al soporte de todas las f;, y para todo multi-índice (f., la sueesion D(f.fi -+ O
uniformemente cuando i -+ oo.
(g) Toda sucesión de Cauehy de :»(Q) es convergente.
(1) si V E'r y K c. Q.
(2)
Pongamos WIÓ = {<Ji E [;c( Q) : 11<JiIIN < ~}. Entonces WIÓ E~, Y
(3)
Sea V la unión de estos conjuntos f + WIÓ ' uno para cada f E E; entonces V posee
la propiedad requerida.
Para probar Ce), consideremos un conjuntCl Ec. :»(Q) que no esté contenido
en ningún :»K. Existe entonces una sucesión de funciones fm E E Y una sucesión
de puntos X m E Q distintos dos a dos, y sin puntos de acumulación en Q, tales que
fm(x m) #- O Cm = 1,2,3, ... ). Sea Wel conjunto de todas las fE :»(Q) que ve-
rifican
Puesto que toda sucesión de Cauchy es acotada (sección 1.29), en virtud de (e),
toda sucesión de Cauchy {.pi} en ~(O) está contenida en algún f2 K • En virtud de (b),
{.pi} es también una sucesión de Cauchy respecto de 't K , lo que prueba (e).
El aserto (f) es una reformulación de (e).
Finalmente, (g) se sigue de (b), (e) y de la completitud de ~K' (Recordemos
que f2K es un espacio de Fréchet.)
DEMOSTRACIÓN. La implicación (a) ---+ (b) forma parte del teorema 1.32.
Supongamos que A sea acotada y .pi ---+ O en f2(0). Por el teorema 6.5, .pi ---+ O
en algún f2K , y la restricción de A a. este f!¿K es acotada. El teorema 1.32, aplicado
a A : f2 K ---+ Y muestra que A.pi -)- O en Y. Así pues, (b) implica (e).
Supongamos que se verifica (e), {.pi} e ~K y .pi ---+ O en f2 K • Por la parte (b) del
teorema 6.5,.pi ---+ O en f2(0). Así pues, (e) implica que A.pi -)- O en Y cuando i ---+ oo.
Como f2 K es metrizable, también se verifica (d).
Para ver que (d) implica (a), sea U un entorno conv~xo y equilibrado de O en Y,
y pongamos V = A-l (U). Entonces Ves convexo y equilibrado. Por la parte (a)
del te'orema 6.5, Ves abierto en f2(0) si,y solamente si,f2K n Ves abierto en f2 K
para todo f2 K e f2(0), lo que prueba la equivalencia de (a) y (d).
6.7 Definición. Una forma lineal definida en ~(O), que sea continua (respecto
de la topología T descrita en la definición 6.3) se llama distribución en O.
RUDIN-l0
Análisis
6.8 Teorema. Sea A una forma lineal en EiJ( O). Las dos condiciones siguientes
son equivalentes:
(a) AE EiJ'(O).
(b) Para todo compacto K e O existen un entero no negativo N y una constante
e < 00 tales que para toda función f E EiJK se verifica
Nota: Supongamos que en (b) sea posible tomar un mismo N para todo K (no
es preciso que también e satisfaga esta condición). Al mínimo valor de N que
posea esta propiedad se le llama orden de A. Cuando ningún valor de N puede
cumplir para todo K la condición anterior, se dice que A tiene orden infinito.
donde D· =-
e
J exj ,
Si x E Rn y y E R N , entonces
(7)
6.11 Distribuciones definidas por funciones y medidas. Sea f una función com-
pleja localmente integrable definida en 11. Esto significa que f es medible en sen-
tido de Lebesgue y que en todo compacto Kc 11 se verifica JK If(x) I dx < oo;la
medida de Lebesgue se denota dx. Definamos
(1) Af(ep) = f ep(x)f(x) dx
í!
[ep E E&(n)].
Como
(2)
(3)
define una distribución Al" en 11, que también es considerada idéntica a ~a me-
dida [L.
(cuya justificación se expuso en la sección 6.1) define una forma lineal DrJ.A en
!»( O). Si se verifica
(2)
para todo cp E !»K, entonces
(3)
El teorema 6.8 muestra, pues, que DrJ.A € !»'(O).
Observemos que la fórmula
(4)
es válida para toda distribución y cualesquiera multi-Índices rJ. y ~, debido, sim-
plemente, a que los operadores Drx y DfJ conmutan en coo( O):
(1)
es siempre válida.
Más explícitamente, se trata de saber si para todo 1> € !»(O) se verifica
[(fA)(1;)[ ~ CC'II1;IIN
y, por el teorema 6.8, fA E ~'(n).
Ahora necesitamos probar que la fórmula de Leibniz (2) continúa siendo válida
con A en lugar de g, es decir, que
(5) D"(fA) = L cap(Da-pf)(DPA).
fJ:5,,,
La demostración no pasa de ser un cálculo puramente formal. Asociemos a cada
u E Rn la función hu definida por
= exp (u . x).
h.(x)
Entonces Drxhu = urxhu. Si en la fórmula (2) se ponen hu y hv en lugar de f y g, se
obtiene la identidad
(6) (u + v)" = L c"pu"-PvP
fJ:5,,,
En particular,
ua=[v+(-v+u)]"
= L c"pva-p L cpi -l)IP-Yl vP-Yu Y
P:5,(x y:5,P
= I (_1)IYl v"-Yu y L (-l)IPlc"fJcPY'
Y5a y5p~a
De donde
topología débil*- inducida por g;1(D), con la cual g;1'(D) es un espacio localmente
convexo. Sea {Ai} una sucesión de distribuciones en D. La afirmación
A¡ -+ A en g;1' (n)
significa que la sucesión dada es convergente en la topología débil*, o, explícita-
mente, que
(2) Jim Ai cjJ = AcjJ [cjJ E g;1(n)].
En particular, si {J:;} es ud;~ucesión de funciones localmente integrables en D,
las afirmaciones <<h -+- A en g;1'(D)>> o «{j;} converge hacia A en sentido de dis-
tribuciones» significan que, para toda función 4> E g;1( D),
(3) ?~~ In cjJ(X)fi(X) dx = AcjJ.
El próximo teorema, sobre derivación término a término de sucesiones, resulta
de una simplicidad sorprendente.
6.17 Teorema. Sean Ai E g;1'(D) para i = 1,2,3, ... , y supongamos que para
toda 4> E g;1( .o) existe el número complejo
(1) AcjJ= limA¡cjJ.
i~co
(2)
(DaA)(cjJ) = (_l)laIA(DacjJ)
= (-1) la1 lim A¡(DacjJ) = 1im (DaAi)(cjJ).
i-ce i-oo
Localización
6.19 Igu.aldad local. Sean Ai E ~(n) (i = 1,2) Y cu un subconjunto abierto
de n. Por definición, afirmar que
(1)
para todo x E W
Es evidente que "h = O en el complementario de Bi' Se tiene así la parte (a). Para
= 1 la relación
(3) th + ... + ~ i = 1 - (1 - epi) ... (l - ep¡)
es trivial. Si se supone (3) para un cierto i, sumando (2) y (3) se tiene otra vez (3)
con i + 1 en lugar de i. Así pues (3) es verdadera para todo i. Por ser epi = 1 en
se tiene
(2) A = Aw en ro
para todo (ú E r.
Como <J¿i<Pj -;. O en .f0( w i ) cuando j -;. 00, resulta de que A<pj -;. O. Por el feo-
rema 6.6, A E .f0'(O).
Para probar (2), tomemos <p E .f0(w). Entonces
(5) (i = 1,2,3, ... )
para toda cfo E .01( n). Además, A puede extenderse de modo único a una lineal
continua sobre COO( n).
DEMOSTRACIÓN. Las partes (a) y (b) son evidentes. Si <j; cumple la hipótesis
de y cfo E .01(0), entonces el soporte de cfo - <j;cfo no corta a SA' y por (a), Acfo =
= A(<j;cfo) == (<j;A)(cfo)·
Si SA es compacto, se deduce del teorema 6.20 que existe una <j; E .01(0) que
verifica (c). Fijemos una tal <j;, y sea K su soporte. Por el teorema 6.8, existen cl
y N tales que IAcfoJ :::;; c11lcfollN para toda cfo E .01K • La fórmula de Leibniz muestra
que existe una constante C2 tal que II<j;cfoIIN :::;; c211cfo11N' De aquí resulta
Nota: Observemos que en Ca) se supone que cfo es nula en algún abierto que
contiene a SA' y no la simple anulación de cfo en SAo
En virtud de (b), las distribuciones más sencillas serán aquéllas para las que SA
consta de un único punto. A continuación las describiremos completamente.
(4) si lal = N.
Demostraremos que
(5) (xEK,lalsN).
Cuando I c<:1 ~ N, ésta es la desigualdad (4). Sea ahora 1 :S: i :S: N, supongamos
que (5) ha sido probada para todos los c<: con Ic<:1 = i Y tomemos I~I = i - 1. El
gradiente de Df!cp es el vector
(6) grad DP</> = (D¡DP</>, ... , DnDP</».
De la hipótesis de inducción se sigue
(7) (x E K),
y puesto que (Df!cp)(O) = O, por el teorema del valor medio vemos que (5) sigue
siendo válida con ~ en lugar de c<:. La desigualdad (5) está, pues, demostrada.
Tomemos una función auxiliar <j; E ~(Rn) que tenga constantemente el valor 1
en un cierto entorno de O, y cuyo soporte esté contenido en la bola unitaria B de R n .
Definamos
(8) (r > O, x E R n ).
Si r es suficientemente pequeño, el soporte de <j;r está contenido en r B e K. Por
la fórmula de Leibniz
(9) D~«j;r</»(x) = L e~p(D~-P<j;)(~)(DP</»(x)rIPI-I~I.
ps~ r
Se deduce ahora de (5) que
(lO)
Por ser 'Yj arbitrario, hemos probado que cuando se verifica (3) se tiene Acp = O.
Funciones test y distribuciones 157
para i = 1, ... , n. Pongamos T = DID2 ... Dn. Para cada y E Q, representemos por
Q(y) el subconjunto de Q definido por las condiciones Xi ::;; Yi (l ::;; i ::;; n). En-
tonces
(5)
En virtud de (3), T es biyectiva en ::gQ, y por tanto, también en ::gK' Por con-
siguiente, TN+l : ::gK -> ::gK también es biyectiva. Podemos, pues, definir una forma
lineal Al en la imagen Y de T N +l poniendo
(7)
(1)
Funciones test y distribuciones 159
A4>=A(<JicP)=(-l)la l ! j'Da(<Ji4»
f!
(/3 ~ ex).
Nuestro próximo teorema describe la estructura global de las distribuciones.
(a) cada conjunto compacto Kc n corta tan sólo a los soportes de un número
finito de ga, y
(h) A = ¿ Daga'
a
Cuando A es de orden finito, es posible elegir las funciones ga de forma que tan
sólo un número finito de ellas sean distintas de O.
¡f¡iA = I
a
DJi,a'
Definamos
00
Convolución
supuesta existente la integral para todo (o, al menos, para casi todo) x E R n , en
sentido de integral de Lebesgue. En virtud de (2),
Funciones test y distribuciones 161
(u * v)(x) = J u(y)(,)í)(y)
R"
(5)
pues si u es una función localmente integrable, (5) coincide con (4). Observemos
que u * rp es una función.
Puesto que la relación f(o:xu)·v = fu· (LxV) es válida para funciones u y v,
resulta natural definir la traslación O:xU de u E!!J mediante
(6)
Entonces, para cada x E Rn, "xu E !!J'. Dejamos como ejercicio la comprobación de
que la forma lineal así definida es continua.
Cuando r ----o' O, YJr~~?" De~ en f?j), donde De denota la derivada direccional según
la dirección e. De aquí,
(6)
(7)
= 1,2,3, ... ),
h € f!d(R n), h ¿ O Y J~n h(x) dx = L
6.33 Teorema.
(1)
DEMOSTRACIÓN. (a) Puesto que 'Tx(u * ep) = u * ('Txep), de (1) se deduce (2).
Para probar que L es continua hemos de ver que la restricción de L a cada f!d K es
una aplicación continua con valores en C=. Como estos dos espacios son de Fréchet,
podemos utilizar el teorema del grafo cerrado. Supongamos que epi --+ ep en f!d K
y que u '" epi -+ f en C=; hemos de probar que f = u '" ep.
Fijemos x € R n . Entonces 'Txf -+ 'Txf en f!d, y aSÍ,
164 Análisis funcional
6.34 Definición. Supongamos ahora que u E!?&' Y que u tenga soporte com-
pacto. Por el teorema 6.24, u puede exteIIderse de modo único a una forma lineal
continua en Cco. Se puede pues definir la convolución de u y de cualquier <p E CCO
por la misma fórmula de antes, es decir,
6.35 Teorema. Supongamos que u E!?&' tenga soporte compacto y sea <p E Cco.
Entonces
(a) 'x(u * </J) = ('x u) * </J = u * ('x</J) si x E R n,
(b) u * </J E C OO y
DEMOSTRACIÓN. Las demostraciones de (a) y (b) son tan parecidas a las del
teorema 6.30 que no es menester repetirlas. Para probar (e) sean K y H los so-
portes de u y ~, respectivamente. El soporte de "A es x-H. Así pues,
(u * ~)(x) = u(,x~) =O
excepto cuando K corte a x - H, es decir, excepto cuando x E K + H. Por tanto,
el soporte de u '* ~ está contenido en el conjunto compacto K + H.
Para probar (d), sea W un conjunto abierto acotado que contenga a K, y to-
memos una <Po E!?& tal que ~o = ~ en W + H. Entonces (<p* ~)~ = (<Po d)~ en W,
y así
6.36 Definición. Sean u E !?J', V E !?J'. Si al menos una de estas dos distribu-
ciones tiene soporte compacto, definimos
(1)
Notemos que la definición es consistente. Pues si v tiene soporte compacto,
entonces v * 4> E !?J Y Lf E Coo; si u tiene soporte compacto, como v * 4> E eco, de
nuevo Lf E coo. Además, "xL = L"x para todo x E R n. Estas afirmaciones son
consecuencia de los teoremas 6.30 y 6.35.
La forma lineal 4> ---+ (L($)(O) es una distribución. Para verlo, supongamos que
fi -7- O en !?J. Por la parte (a) del teorema 6.33, v * ($¡ ---+ O en c=x:i; si además, v
tiene soporte compacto, entonces v * ($¡ ---+ O en !?J. Resulta en cualquier caso, que
(L)fi(O).
La demostración de la parte (b) del teorema 6.33 muestra ahora que esta dis-
tribución, que se denotará por u * D, está relacionada con L mediante la fórmula
(2) L4> = (u * v) * 4>
Dicho de otra forma, u * v E!?J' está caracterizada por
(3) (u * v) * 4> = u * (v * 4» (4) E .@).
En u = a '1< u.
(e) Si al menos uno de los conjuntos Su, es compacto, entonces, para todo
multi-indice oc,
Nota: La ley asociativa (e) está fuertemente ligada a las hipótesis enunciadas.
Véase el ejercicio 24.
DEMOSTRACIÓN. (a) Tomemos 1> E f», <.jJ E f». Por ser conmutativa la convolu-
ción de funciones, de la parte (e) del teorema 6.30 se deduce Que
Los dos segundos miembros de (1) y (2) son convoluciones de funciones (una
en f», otra en COO); por consiguiente son iguales. Así pues,
(3)
(u * v) * w y u * (v * w)
están ambos definidos cuando a lo sumo uno de los conjuntos Su, Sv, Sw no es
compacto. Si 1> E f», resulta directamente de la definición 6.36 que
(5) (u * (v * w» * <p = u * «v * w) * <p) = u * (v * (w * <p».
Si Sw es compacto, entonces
Funciones test y distribuciones
* ep = * v) * * *
la parte (e) del teorema 6.35, w * 1Y E f0. La comparación de (5) y da (e)
Swes compacto.
Si Sw no es compacto, entonces Su sí lo es, y el caso precedente,
con la ley conmutativa (a) dan
u * (v * w) = u* (w * v) = (w * v) * u
= * (v * u) = w * (u * v) = (u * v) * w.
]V
Por consiguiente, la parte (e) y la parte (h) del teorema 6.30 dan
Ejercicios
Sea f una función compleja continua en Rn, con soporte compacto. Demostrar que, para .yna
cierta'IjJ E !!2 Y una cierta sucesión {Pj} de polinomios, 'ljJPr-+ f converge uniformemente en Rn.
2 Demostrar que la topología metrizable de !!2(0), que fue desechada en la sección 6.2, no es
completa para ningún O.
3 Sea E un conjunto cerrado arbitrario de R n . Demostrar que existe unaf E C=(R n } talque
f(x) = O para todo x E E Y f(x) > O para cualquier otro x E R n •
4 Sean A E !!2'(0) y Arp ¿ O siempre que rp € !!2(0) y rp ¿ O. Demostrar que entonces A es una
medida positiva sobre O, finita sobre conjuntos compactos.
5 Demostrar que los número Cap de la fórmula de Leibniz son
(Xi !
e.p = n {3,! (a, -
'=1 (3,)!
.
¿
m=O
cm(Dmq,)(O)
lim
l_ca
fI
K
f¡(x) I dx = O
en todo compacto K e Q. Demostrar que DaJi ---7- O en !J&'(Q) cuando i ---7- 00 para todo multi-
índice IX.
11 Sea Q un abierto de R2, y sea {Ji} una sucesión de funciones armónicas en Q que converge
en sentido de distribuciones hacia alguna A E!J&'(Q); concretamente, se supone que
A</> = lim
l-+CO
f
n
f¡(x)</>(x) dx f</> E .se(Q»).
Demostrar que entonces {Ii} converge uniformemente en todo subconjunto compacto de Q,
y que A es una función armónica. Indicación: Siles armónical(x) es el valor medio delsobre
cualquier círculo suficientemente pequeño de centro x.
12 Recordemos que la medida de Dirac o es la distribución definida mediante 0(4)) = 4>(0), para
4> € !J&(R). ¿Cuáles son las funciones lE C=(R) para las cuáles se verifica lo' = O? Idéntica
cuestión para flj". Deducir de lo anterior que una función I EC=(R) puede anularse sobre el
soporte de una distribución A E !J&'(R), aunque,fA i= O.
13 Sean 4> E !J&(Q) Y A E !J&'(Q). ¿Es cierto que alguna de las igualdades
</>A=O, A</> =0
implique la otra?
14 Sea K la bola unitaria cerrada de Rn; supongamos que el soporte de A E !J&'(Rn) esté contenido
en K, y que I E C=(Rn) se anula sobre K. Demostrar que lA = O. Hallar otros conjuntos en
los que se verifique lo anterior. (Comparar con el ejercicio 12.)
15 Sean K e VeO, ~on K compacto, V y O abiertos en Rn. Supongamos que el soporte de
A E !J&'(Q) esté contenido en K, y que {4>i} e !J&(Q) verifica
(a) lim
l_CO
[supVX E
I(D"</>,)(x) 1] = O
Funciones test y distribuciones 169
para todo multi-índice IX. Probar que entonces
lim A(</;,)
,~oo
= o.
16 El aserto del problema precedente se invalida si se sustituye V por K en la hipótesis (a). Demos-
trarlo mediante el siguiente ejemplo, en el que Q = R. Tomemos una sucesión Cl > C2 > ... > O
tal que z:
Cj < 00; definamos
A</; =
¡=1
i (</;(c¡) - </;(0» (</; E gfi(R»;
y tomemos funciones q,i E f0(R) tales que q,i(X) = O si x:S:: Ci+!> q,i(X) = lfi si Ci:S:: x:S:: Cl'
Demostrar también que esta distribución tiene orden 1.
Sin embargo, para ciertos K, en la hipótesis (a) del ejercicio 15, V sí puede ser sustituido
por K. Mostrar que así ocurre cuando K es la bola unitaria cerrada de Rn. Hallar otros K
para los que tal sustitución sea posible.
17 Si A E f0'(R) tiene orden N, mostrar que existe una función continua 1 tal que A = DN +2/.
Si A = ¿¡, ¿cuáles son las soluciones en I?
18 Expresar ¿¡ E f0'(R2) en la forma dada por el teorema 6.27, tan explícitamente como sea po-
sible.
19 Supongamos que A E f0'(Q), q, E .P(Q) y (Daq,)(x) = O para todo x perteneciente al soporte
de A, y para todo multi-índíce IX. Probar que Aq, = D. Sugerencia: Hacerlo en primer lugar
para distribuciones de soporte compacto, por el método utilizado en el teorema 6.25.
20 Demostrar que toda forma lineal continua en C=(Q) es expresable como 1---+ Aj; siendo A
una distribución de soporte compacto contenido en Q. Este resultado es un recíproco de la
parte (d) del teorema 6.24.
21 Sea C=(T) el espacio de todas las funciones infinitamente diferenciables con valores complejos,
definidas sobre la circunferencia unitaria T de <2'. Es posible considerar C=(T) como el subes-
pacio de coo(R) formado por todas las funciones que tienen el periodo 2n. Supongamos que
00
fez) = ¿ anz n
n=O
sea convergente en todo el disco unitario abierto U en <2'. Demostrar que cada una de las si-
guientes propiedades de 1 implica las otras dos;
(a) Existen p < 00 y y < 00 tales que
(n = 1, 2, 3, ... ).
(C) El número complejo limHl t_nf(rei 8)4>(ei 8) de existe para toda q, E Coo(T).
22 Para toda u E f0'(R), mostrar que
U -TxU
- - - -'rDu en gfi'(R) ,
x
cuando x---+ O. (Así pues, la derivada de u puede todavía considerarse como límite de cocientes.)
23 Sea {Ji} una sucesión de funciones localmente integrables en Rn, tales que
existe para toda q, E 2iJ(Rn) y todo x E Rn. Demostrar que entonces {Da(.fi * q,)} es uniforme-
70 Análisis funcional
mente convergente sobre todo conjunto compacto, cualquiera que sea el multi-índice ct..
24 Sea H la función de Heaviside en R, definida mediante
H(x) = {~ six>O,
si x ::;;0,
y sea o la medida de Dirac.
(a) Mostrar que(H * g,) (x) = 1200 g,(s)ds, si g, E !?J(R).
(b) Mostrar que o' * H = a.
(e) Mostrar que 1 * o' = O. (En esta expresión, 1 representa la función locálmente integrable
cuyo valor es constantemente 1, considerada como distribución.)
(d) Por consiguiente, la ley asociativa es falsa:
l*(o'*H)=l*o=l,
pero
(l * o') * H = O * H = O.
25 He aquí otra caracterización de la convolución, análoga a la del teorema 6.33. Sea Luna
aplicación lineal continua de !?J en Coo que conmute con toda Da, es decir, tal que
L4> = u * 4>.
Sugerencia: Tomemos g, E!?J, fija. Pongamos
(x E R"),
sea De la derivada direccional utilizada en la demostración del teorema 6.30, y demostremos
que
(De h)(x) = (DeLT x 4»(x) - (LT x De 4»(x),
que es nula si se verifica (a). Así pues, h(x) = h(O), lo 'lue implica que TxL = LTx . ¿Puede
debilitarse la hipótesis de que la imagen de L está contenida en C=?
26 Si.f E D«-
co, - o) u (o, co» para todo o > O, se define su integral valor principal por
Demostrar que
oo dx
A'4> =PV
J-00
4>(x) - ,
x
27 Hallar todas las distribuciones que verifican al menos una de las dos condiciones siguientes:
(a) TxU = U para todo x E Rn,
(h) Dau = O para todo multi-índice (X tal que I(XI = 1.
7
er
Propiedades fundamentales
g)(x) = J
K"
cuando la integral exista.
(b) Dado un t E R n , el carácter et es la función definida por
etCx + y) = etCx)etCJ).
Así pues, et es un homomorfismo del grupo aditivo Rn sobre el grupo multiplicativo
de los números complejos de módulo 1.
(c) La transformada de Fourier de una función fE D(Rn) es la función J de-
finida mediante
- x) (x, y E
Por aplicación del teorema de Fubini se obtiene (e). La parte (d) se obtiene haciendo
un cambio de variables en la definición de j
7.4 Teorema.
DEMOSTRACIÓN. (a) Sea {/;} una sucesión de Cauchy en Sl'n' Para todo par
de multi-Índices IX y ~, las funciones x f3 Da/; (x) convergen uniformemente en Rn
hacia una función acotada gaf3 cuando i oo. Resulta que --"?"
y, por consiguiente, que /; -»- goo en Sl'n- Así pues Sl'n es completo.
(h) Si f E Sl'n es evidente que Daf E sPm Y por la fórmula de Leibniz, también
Pf y gf pertenecen a SI'n' La continuidad de las tres aplicaciones mencionadas es
ahora una consecuencia sencilla del teorema del grafo cerrado.
(e) En virtud de (h), sifE Sl'n lo mismo es cierto para P(D)j, y,
(P(D)fY'(t) = p(t)f(t).
Sean t = (t 1 , ... , t n) y t' = (t 1 + e:, t~, ... , t n ), e: =f. 0, entonces
f~(t') -f~(t) e-ix¡e - ]
. =J
16 Rn
x¡Jex).
¡X¡6
e-ix·tdmn(x).
(1)
DEMOSTRACIÓN. Es evidente que c?n E Y'n. Puesto que c?1 verifica la ecuación
diferencial
(3) y' + xy = O,
un breve cálculo (o, si se prefiere, la parte (e) del teorema 7.4) muestra que epI
también verifica (3). Por tanto, epI/c?I es constante. Puesto que c?I(O) =-= 1 Y que
Por consi.guiente, c?n = c?n para todo n. Como, por definición, c?(0) = JcPn dm m
y dado que epn = c?m resulta (2).
(1) g(x) = J.
Rn
gex dmn (x E R n).
obteniéndose la identidad
(3)
Para demostrar la parte (a) tomemos g E Y'm 4> E Y'n,f(x) = 4>(x/A), siendo A> O.
Por la parte (d) del teorema 7.2, la identidad (3) se convierte en
En particular, tomando como función 4> la función 4>n del lema 7.6, (5) se trans-
forma en la fórmula de inversión (1) para el caso x = O. El caso general puede
deducirse de éste, pues, por la parte (a) del teorema 7.2,
(7) f Rn
fog = f
Rn
fg (g E sP n)·
Como ya vimos en (b), las funciones (j llenan el espacio sPn' Dado que E0(R n ) e sP '"
de (7) se deduce que, para toda <p € E0(R n ),
(8) f
Rn
(fo-f)q;dmn=O.
(a) f*gE!I'n, y
(b) (fgy' = J * g.
(2)
Apliquemos ahora C[l-l a los dos miembros de (2); se obtiene (b). Observemos que
jg E !l'n; por consiguiente, se deduce de (b) que! * (j E sP", lo que prueba (a), pues
la transformación de Fourier aplica sP n sobre !I' n'
7.9 Teorema de Plancherel. Existe una isometYÍa lineal 'F de V(R n) sobre
V(Rn), unívocamente determinada por la condición de que
Distribuciones temperadas
7.10 Teorema.
DEMOSTRACIÓN. (a) Tomemos f E !fm tjJ E .!ZI(Rn ), con tjJ = 1 sobre la bola uni-
dad de R n , y pongamos
Transformadas de Fourier 181
Por la forma en que se ha tomado <j;, vemos que DP[l - <j;(rx)] = O para todo
multi-índice ~ cuando Ixl ::;; l/r. Puesto que f E,90no se tiene p. Da-f3 fE Co(R n) para
todo ~ ::;; ex. Por consiguiente, la suma anterior tiende uniformemente hacia O en
todo Rn cuando r -7- O. Así pues, ¡;. ->- f en la topología de ,90no lo que prueba (a).
(b) Para todo conjunto compacto K de Rn, la topología inducida en 21K por
,90n es, evidentemente, la habitual (definida en la sección 1.46), pues cada (1 IXI2)N+
es acotada en K. Por tanto, la aplicación idéntica de 21K en ,9On es continua (en
realidad, un homeomorfismo). La parte (b) es ahora consecuencia del teorema 6.6.
Por ser i continua (teorema 7.10), vemos que uL E 21' (R n ); la densidad de 21(R n )
en ,90 n muestra que dos formas L distintas no pueden originar la misma u. Así
pues, la igualdad (1) define un isomorfismo de espacios vectoriales entre el espacio
dual ,90' n de ,90n por una parte, y un cierto subespacio del espacio de distribuciones,
por otra. Las distribuciones originadas de esta: forma se llaman distribuciones
temperadas:
Las distribuciones temperadas son precisamente aquellas u E 21'(Rn ) que admiten
extensión continua a todo el espacio ,90n'
En virtud de las observaciones anteriores, resulta natur,al identificar U L Y L.
De esta forma, las distribuciones temperadas en Rn son precisamente los elementos
de ,9o~.
Los ejemplos que siguen muestran en este contexto el empleo del calificativo
«temperada», que como se verá, indica una cierta limitación del crecimiento en
el infinito. (Véase también el ejercicio 3.)
Si ¡; -7- O en ,90no entonces todas las Da¡; -7- O uniformemente en R n , y por consi-
guiente todas las Da( <j;¡;) -7- O uniformemente en R n; así pues, <j;¡; ->- O en 21(Rn).
182
(2)
para algún entero positivo k. Entonces [J. es una distribución temperada. Más explí-
citamente, se afirma que la fórmula
(4)
Puesto que IA¡;I es a lo sumo ei veces la integral (2), A¡; -+ O; lo que prueba la
continuidad de A.
(e) Sean 1 :S: P < 00, N> O y g una función medible definida en Rn tal que
(5) f Rn
1(1 + IxI2)-Ng (x)IP dmn(x) = e < oo.
Entonces g es una distribución temperada.
Al igual que en (b), definamos
f (1 + Ix
Rn
2
1 YN-M)q dmn(x) = B < oo.
La desigualdad (7) prueba que A es continua en 9"no El caso p = 1 es todavía más
sencillo.
(d) Se deduce de (e) que toda g E LP(Rn) (l :S: p:s: 00) es una distribución
temperada. También lo es todo polinomio, y con mayor generalidad, toda función
medible cuyo valor absoluto esté mayorado por algún polinomio.
Transformadas de Fourier 183
Puesto que <f; -)- 4> es una aplicación lineal continua de [l'n en [l'n> parte (d) del
teorema 7.4, Y puesto que u es continua en [1' m resulta que Ú € [1" n"
para toda <f; € [I'~. La tercera de las igualdades anteriores es la identidad (3) de la
sección 7.7; las restantes son definiciones.
Puesto que D(Rn) e [I"m la misma cuestión se plantea para la transformación
de Fourier-Plancherel. La respuesta continúa siendo afirmativa, con idéntica de-
mostración, pues la igualdad f f4> = f f<f; sigue siendo válida paraf € D(Rn) y <f; € [1' n"
7.15 Teorema.
rema 7.7, Y de la parte (e) del teorema 7.4. La topología de la parte es la to-
pología débi1* que [1' n induce en [I'~. Observemos también que en los opera-
dores diferenciales P(D) y P( - D) se utilizan las Da Y no las D'X; véase la parte (d)
de la sección 7.
7.16 Ejemplos. Vimos en la parte (d) de la sección 7.12 que los polinomios
son distribuciones temperadas. Sus transformadas de Fourier se calculan fácilmente.
Comenzamos con el polinomio 1. Considerado como una distribución en R n , 1 opera
sobre las funciones ep por la fórmula
(1)
De donde
(2) 1(4)) = 1($) = J $ dm
R"
n = 4>(0) = 8(4)),
(3)
La demostración es trivial, pues por la parte (a) del teorema 7.7, (cf»~ = ~ y
P . D"'( I/J e $) = I
f3 S; '"
si 1131 = 0,
(5) si 1131 = 1,
si 1131 > 1.
Así pues, el primer míembro de (4) tiende uniformemente hacia O en todo R n cuando
¡; -0'- O. La definición de la topología de 9"n (sección 7.3) muestra ahora que se
verifica (2).
Observemos que el segundo miembro tiene sentido pues 'x (fiE 9"n para todo x ER n.
muestra que
(3)
de 187
Dado que u es una forma lineal continua en Y m y puesto que las normas PN de-
la topología de Y n' existen un N y una constante C < 00 tales que
le:;
(véase el capítulo 1, ejercicio 8.) En virtud de (3) y
(5) I(u * </J)(x) I = Iu('rx<;b) I e:; 2NCPN(</J)(1 + IxI2)N,
lo que demuestra el aserto (b).
Así pues u * cp tiene una transformada de Fourier, perteneciente a y
l
n' Si
tJ! E f0(R n ) tiene soporte K, entonces
* </J)A($) = (u * </J)(~) = f (u * </J)(x)Y(-x) dmn(x)
Rn
= LKu[tJ¡(-x)rx<;b]dmn(x)=u LKH-x)rx<;bdmn(x)
Teoremas de Paley-Wiener.
Uno de los teoremas clásicos de Paley y Wiener caracteriza las funciones en-
teras del tipo exponencial (de una variable compleja) cuya restricción al eje real
pertenece a L2. Estas funciones son precisamente transformadas de Fourier de fun-
ciones de V con soporte compacto; véase, por ejemplo, el teorema 19.3 de [23].
Daremos ahora dos teoremas análogos para varias variables; uno para funciones
188 Análisis funcional
de clase cco con soporte compacto, y otro para distribuciones de soporte com-
pacto.
X= Rez y y=lmz
son respectivamente, las partes real e imaginaria de z; en este contexto, R n puede
imaginarse también como el conjunto de todos los z E C n tales que 1m Z = O. Se
utilizarán también las siguientes notaciones
Izl= (lzll2 + ... + IZnI2)1/2
11m zl = (yi + ... + y~y/2
Z·t=Zl t 1+···+ Zn t n
ezCt) = exp (iz . t)
para todo multi-Índice rt. y todo t E Rn .
7.22 Teorema.
De donde
(3)
(4) cp(t) = f Rn
f(x)eit'xdmn(x) (tER").
(5) ro I«( +
-00
ir¡, Z2, ... , Zn) exp {i[t¡«( + ir¡) + t 2 Z2 + ... + tn Zn]} d(
es independiente de "1), para tI' ... , tn reales y Z2' . . . , z" complejos, todos arbitra-
rios. En efecto, sea r un camino rectangular en el plano (~ i"l)), que tenga un +
lado en el eje real, otro en la recta "1) = ~l' Y cuyos lados verticales se alejen inde-
finidamente hacia el infinito. Por el teorema de Cauchy, la integral a lo largo de r
del integrando de (5) es constantemente O. En virtud de (2) la aportación de los
lados verticales a dicha integral tiende a cero. Resulta entonces que (5) toma el
mismo valor para y = O que para YJ = Y¡l' como se afirmó.
El razonamiento anterior puede repetirse para las otras coordenadas. Por con-
siguiente, de (4) se deduce que, para todo y E R n ,
Dado tER", t =1- 0, tomemos y = At/ltl, con A> O. Entonces t·y = Altl, Iyl = A,
y por lo tanto
(7)
siendo N suficientemente grande para que la integral sea finita. Hagamos ahora
A ->- co. Si 1ti > r, la desigualdad (7) muestra que 4>(t) = o. Así pues, el soporte
de 4> está contenido en rB.
Para z real, de (4) y del teorema de inversión se deduce (1). Puesto que ambos
miembros de (1) son funciones enteras, por el lema 7.21, son idénticos sobre todo
en, lo que concluye la demostración.
7.23 Teorema.
(a) Supongamos que el soporte de u E f0'(Rn) esté contenido en rB, que u sea
de orden N, y sea
(1) (Z E en),
entonces f es entera; la restricción de f a Rn es la transformada de Fourier de u; y
existe una constante y < 00 tal que
(2)
(3)
Así pues, Ú E COO(R n). Tomemos una 4> E:7n tal que cP = \ji. Entonces
(4)
(6) F= f.e- a- lb dA
que toma valores en coo(Rn), está bien definida. La evaluación en cualquier punto
n n
E R es una forma lineal continua en C=(R ) ;por lo que conmuta con el signo inte-
una función auxiliar h definida sobre la recta real infinitamente diferenciable, tal
que hes) = 1 cuando s < 1 Y hes) = O cuando s> 2, Y asociemos a cada z E (ln
(z =1= O) la función
(7) (t E R n ).
Entonces cpz E !2J(Rn). Como el soporte de u está contenido en rB, y como h([ t[ [z[ -
- r[z[) = 1 si [ti +
:<;: [Z[-l r, comparando (1) con (7) se obtiene que
(8) fez) = u( epz).
Dado que u tiene orden N, existe una Yo < 00 tal que Iu(cp) I :<;: '(o!:cpliN para
toda cP E !2J(R n), viniendo definida [[CP[[N como en la fórmula (1) de la sección 6.2.
[Véase (d) del teorema 6.24.]Por consiguiente, de (8) resulta
Lema de Sobolev
para toda f E 91( O), no afirmándose nada, por el contrario, sobre la existencia de
Daf en el sentido clásico de límite de cocientes.
Por otra parte, para cada entero no negativo p, la clase C(p)(O) está formada
por aquellas funciones complejas f definidas en O, cuyas derivadas Daf existen en
sentido ordinario para todo multi-índice a tal que Ial :S:: p, Y son funciones con-
tinuas en o.
Representaremos por D~ al operador diferencial (8j8xi )/c.
(4)
(5)
Puesto que
(6) (l + lyl)2r < (2n + 2)'(l + Yi' + ... + y;'),
donde Iyl = (y! + ... + y~)1/2, de las desigualdades (4) y (5) se deduce que
(7)
(1 + lyl)Pl (y)
< oo.
Definamos
Por la parte (e) del teorema de inversión 7.7, FO) = F en casi todo punto de Rn.
Además, se deduce de (8) que y~ F(y) pertenece a D siempre que I (XI ::;; p. Reite-
rando la demostración de la parte (e) del teorema 7.4 llegamos a la conclusión
de que
(lO)
Nuestra función dada I coincide con F en (0; por consiguiente, 1= FO) en casi
todo punto de (0.
Si 0)', es otro conjunto como el (0, la demostración precedente da una función
FO), E C(p)(R n) que coincide con I en casi todo punto de (0'. Por tanto, FO), = FO)
en (0' n (0. La función lo queda definida en todo n poniendo lo(x) = F ",(x) si
x E (0 cumple las condiciones requeridas.
Ejercicios
Sea A un operador lineal inversible en Rn, fE L1(Rn) y g(x) = f(Ax). Expresar g en función
de! Se obtiene una generalización de la parte (d) del teorema 7.2.
2 ¿Es posible definir la topología de .'1'n mediante una métrica invariante, respecto de la cual la
transformación de Fourier sea una isometría de .'1'n sobre sí mismo?
3 Sean f(x) = eX, g(x) = eX cos (eX), definidas en la recta real. Demostrar que g es una distri-
bución temperada, pero que f no lo es.
4 Como se vio en el ejercicio 3, existen distribuciones en Rn que no son temperadas. Tales dis-
tribuciones son formas lineales continuas en !?2(Rn) que no poseen extensión continua a todo
.'1'n. Explicar por qué este resultado no contradice el teorema de Halm-Banach.
5 (a) Construir en !?2(Rn) una sucesión que converja en la topología de .'1'n> pero no en la de
!?2(Rn).
(h) Construir una sucesión de polinomios que converja en la topología de !?2'(R 1), pero no
en la de .'1'~.
6 Demostrar que las operaciones enumeradas en el teorema 7.13 son aplicaciones continuas
de .'1'~ en sí mismo.
7 Sea u E .'1'~. Demostrar que, para todo x E Rn, se verifican
196 Análisis funcional
íl(x) = f e-
Rn
ix' t dfl(t) (x E R").
Por otra parte, fl es una distribución temperada, y como tal, tiene una transformada de Fourier
dada por la definición de la sección 7.14. Demostrar que las dos definiciones son coherentes.
Demostrar que cada íl es acotada y uniformemente continua.
11 Supongamos que A: gn-+ C(Rn) sea continua, lineal, y que verifique TxA = ATx para todo
x E Rn. ¿Se puede concluir de ello que existe una u E g~ tal que
r'
-00
f(x)ú(x) dx = O.
Sugerencia: Para todo n, sea He el conjunto de puntos que no están en K, y cuya distancia
a, K es inferior a c> O. Sea {he} una identidad aproximada, como en la demostración de la
parte (h) del teorema 7.23, úsese el teorema de Plancherel para obtener -
Iloglxlll/4
f(x) = 1 + 1X 1 2
Véase el ejercicio 11 del capítulo 8 para obtener esta misma conclusión con hipótesis más
débiles.
22 Las distribuciones periódicas, o distribuciones sobre un toro Tn, tienen series de Fourier cuya
teoría es algo más sencilla que la teoría de transformación de Fourier. Esto se debe, sobre todo,
a la compacidad del toro Tn: Toda distribución en Tn es de soporte compacto. En particular,
las distribuciones temperadas se confunden con las ordinarias.
Demuéstrense las distintas afirmaciones hechas en este esbozo de la teoría correspondiente.
Las funciones 1> definidas en Tn pueden identificarse con las funciones ;¡, definidas en Rn que
tienen período 2n respecto de cada variable, poniendo
(k EZ n).
!?&(Tn) es el espacio de todas las funciones 1> definidas en Tn tales que ;¡, € coo(Rn). Si 1> € !?&(Tn),
entonces
pa.ra N = O, 1, 2, ... Estas normas definen una topología de espacio de Fréchet en !?&(Tn), que
COIncide con la dada por las normas
max sup 1 (D"¡¡)(x) 1 (N=O, 1,2, ... ).
!?&'(Tn) es el espacio de todas las formas lineales continuas en !?&(Tn). Sus elementos son lla-
mados distribuciones en Tn. Los coeficientes de Fourier de cualquier u € !?&'(Tn) se definen
mediante
(k EZ n ).
Recíprocamente, si g es una función compleja en zn que verifique Ig(k) I :::; C(1 + Ikl)N para
ciertas e y N, entonces g = ú para cierta u E fJ1'(Tn).
Así pues, existe una correspondencia biunivoca y lineal entre, por una parte, las distribu-
ciones en Tn, y por otra, las funciones de crecimiento polinomial sobre zn.
Si El e E 2 e E3 e ... son conjuntos finitos cuya unión es zn, y si u E fJ1'(Tn), las «sumas
parciales»
¿ ú(k)ek
I¡EiEj
(HI)(x) = ~ Joo
I(t) dt.
7T-oox-t
(La integral existe, en valor principal, para casi todo x, pero no es muy sencillo demostrarlo;
si f verifica una condición de Lipschitz de orden 1, por ejemplo, la demostración es trivial.)
Demostrar que
.
es 1 ecuaCIones
ciales
Soluciones fundamentales
8.1 Introducción. Nos ocuparemos ahora de ecuaciones diferenciales en deri-
vadas parciales, lineales y de coeficientes constantes. Dichas ecuaciones son de la
forma
(1) P(D)u =v
donde P es un polinomio no constante de n variables, con coeficientes complejos,
P(D) es el correspondiente operador diferencial (véase la sección 7.1), v es una
función o distribución dada, y la función (o distribución) u es una solución de (1).
Se dice que una distribución E € fi))'(R n) es una solución fundamental del ope-
rador P(D) cuando satisface la ecuación (1) al tomar v = 8, medida de Dirac:
(2) P(D)E= 8.
El resultado fundamental que probaremos en este capítulo ( teorema 8.5, debido
202 Análisis
8.2 Notaciones. El toro r n está formado por todos los puntos de rz;" expr.e-
sables como
(3) IcF(O) I : : ; -
1
2n
f 1t
-1t
I(FQ)(e i8 ) I de.
El polinomio dado P puede escribirse en la forma P = Po PI PN, + + ... +
donde cada es un polinomio homogéneo de grado j. Definamos la constante
A' por
(4) 2=J
A yn
IPNld(Jn'
(6)
-1t yn
'
I(fP)(z + re'8w) I d(Jn(w).
La medida G n permanece invariante en el cambio de variables w~;- ei8 w. Así
pues, la integral interior del segundo miembro de (7) no depende de e, lo que prueba
la desigualdad (1).
(1) P(D)u =v
204 Análisis funcional
tiene una solución de soporte compacto si,y solamente si, existe una función entera g
en fl;" tal que
(2) Pg= v.
Cuando tal condición se satisface, (1) tiene una única solución u de soporte com-
pacto; el soporte de esta u está contenido en la envolvente convexa del soporte de v.
(5) 1 + Iz + w I ::;; Cl (1 + Iz 1)
y
(6)
(4)
Si t);j -,.. O en §J(Rn), los soportes de todas las t);j están contenidos en un compacto
fijo K. Las funciones erw(w E T n) están uniformemente acotadas en K. De la fórmula
de Leibniz se deduce que
(5) IID"(c rw t);)1 00 ::; C(K, ex) max IIDP <)¡ jll 00 •
P;;;,"
Cualquiera que sea 0:, el segundo miembro de (5) tiende hacia O. Así pues, dado
E> O, existe Jo tal que
(6)
siendo Ll = D¡ + ... + D~ el operador laplaciano. Por el teorema de Plancherel,
(6) equivale a
(7)
(8) C2 = f
Rn
(1 + ItI 2 )-zn dmn(t) < oo.
206 Análisis
De esta forma
Sean ahora f E
(9) ~=
(11)
Por el teorema de inversión, 4;(0) = JRn4> dmn. Por consiguiente, (11), (2) Y (9) dan
(12) (4; E !!J(Rn».
Sea Y el subespacio de !!J(Rn) formado por todas las funciones P(D)f con
cp E !!J(Rn). En virtud de (12), el teorema 3.3 de Hahn-Banach muestra que la forma
lineal definida en Y mediante P(D)4; -+ 4;(0) posee una extensión lineal u definida
sobre todo el espacio ~(Rn) que verifica tanto (lO) como
(13)
En virtud de (3), u E !!J'(Rn), lo que concluye la demostración.
Ecuaciones elípticas
(1)
El polinomio característico de L es
(4) p(x, y) = I h(x)y" (x n
E Q, Y E R ).
¡,,¡=N
El polinomio característico es un polinomio de grado N en las variables Y=(Yl" .. ,Yn)
con coeficientes en coo( D).
Se dice que el operador L es elíptico cuando p(x, y) "# O para todo x E D Y todo
y E R n , excepto, evidentemente, para y = O. Observemos que en la definición de
operador elíptico interviene tan sólo la parte principal de L; los términos de orden
inferior que aparecen en (1) carecen de interés.
Por ejemplo, el polinomio característico del operador laplaciano
82 82
(5) A=-+ .. · + -
8xi 8x~
es p(x, y) = - (Yi + ... + y~). Por tanto, !::,. es elíptico.
208 Análisis funcional
8.8 Espadosde Sobolev. Asociemos a cada número real s una medida posi-
tiva [18 en R n poniendo
(2)
8.9 Teorema.
1:::;; + Iyl E
(3)
válida para todo x E Rn, y E Rn, - 00 < s < oo. Para s = 1, (3) es evidente. El
caso s = - 1 se obtiene del anterior tomando x - y en lugar de x, y poniendo
-- y en lugar de y. El caso general se deduce de los anteriores elevando ambos
miembros a la potencia Isl. Se deduce de (3) que, para toda función h medible en R n ,
Sean ahora u E H , fE Y'n> t> Isl + n/2. Como fE :/n, IIJllt < oo. Pongamos
S
y = J-llsl-,(R"). Entonces y < oo. Definamos F = lúl * IJI. Por el teorema 7.19
(6)
para todo x E R n • Integremos (6) sobre R n respecto de la medida [J-s. En virtud
de (4) resulta
(7)
f Rn
IFI2dJ-ls:::;;2Islyllfll?llull;·
8.11 Teorema. Sean u E ~/(n) y - 00 < s < oo. Los dos asertos siguientes
son equivalentes:
(a) u es localmente HS.
(b) <);u E HS para toda <); E ~(O).
Además, si s es un entero no negativo, (a) y (b) son equivalentes a
(e) Dau es localmente L2 para todo a tal que lal : :; s.
El aserto (b) puede requerir cierta aclaración, pues u opera tan sólo sobre fun-
ciones cuyo soporte esté contenido en O. Sin embargo, <);u es la forma lineal que
a cada cp E ~(Rn) le asocia el número
(<);u)(4» = u( <);cp).
Observemos que ycp E ~(O) y, por tanto, u( <);cp) está bien definida.
(1) Lu=v,
v localmente H8.
Entonces u es localmente Hs+ N •
Proposición. Si, además de las hipótesis del teorema 8.12, se verifica <jJu € H t
para algún t ::s:: s + N - 1 Y alguna función <jJ €!0( O) constantemente igual a 1 en
abierto que contiene al soporte de una función cp € !0(0), entonces cpu € H t +l.
(8)
(9) I iaDaW)A = pw = (r -
( ¡a¡=N q)w = (Rw - QW)A
Como </Ju E H t Y q;</J = q;, la parte (e) del teorema 8.9 implica que q;u=q;yu E H t,
Por tanto,
(11) - S)(4)u) E
ya que Q tiene orden O y S tiene orden N - 1 ¿ O. Se deduce ahora de (10) que
(12)
y puesto que R-l tiene orden - N, terminamos concluyendo que q;u E H t +!,
El teorema 8.12 implica que u E C OO (f2). Se sigue que u es una función holomorfa
en n de z = Xl +
ix2 • Con otras palabras, toda distribución holomO/fa es una función
ha/amorfa.
Ejercicios
Las siguientes propiedades de las funciones holomorfas de varias variables se han utilizado
tácitamente en este capítulo. Demostrarlas.
(a) Si f es entera en (Z'n, si w € (Z'n y si 1>CJe) = f(Jew),entonces 1> es una función entera de una
variable compleja.
(h) Si P es un polinomio de (Z'n y si
f Tn
IPI dan =0
a2 u a2 U
---=0
8d: ax~
se satisface (en sentido de distribuciones) por toda función localmente integrable u de la forma
K;.(x) = lxi-Á.
Demostrar que
(a) K;.(y) = e(n, A)Kn_;.(y) (y E Rn),
donde
c(n, A) = 2n / 2 - Á
rC ~ rG).
A) /
Sugerencia: Si n < 2}. < 2n, KA es suma de una función de V y de una función de L 2 • Para
estos valores de J., la ecuación (a) puede deducirse de la condición de homogeneidad
(x E Rn, t > O).
El caso O < 2Á < n se deduce del teorema de inversión (para distribuciones temperadas).
Por paso al límite se obtiene el caso 2Á = n. Las constantes e(n, Á) pueden calcularse a partir
de jf¡¡' = JI</>, con </>(x) = exp (-lxI 2 /2). .
7 Tomar n ¿ 3 Y Á = 2 en el e.iercicio 6, y deducir que - c(n, 2)Kn - 2 es una solución funda-
mental del operador laplaciano 6. en Rn. Por ejemplo si v tiene soporte compacto en R 3 , mos-
trar que una solución de 6.u = v está dada por
U(X) = -2-f
417 R3
Ix-yl-'v(y)dy.
w- z
R2
_
(a<p)(w)-- [<p E §(R2)].
Teniendo en cuenta que 810g Iwl = l/w y Ll. = 88, deducir que
o/tz) = fR2
(Ll.rj»(w) log Iw - zl dm2(w)
ApUcaciones a las ecuaciones diferenciales 215
Así pues log Izl es una solución fundamental del operador laplaciano en R2.
9 Utilizar el ejercicio 6 y comprobar que
Definamos
x si x s:: O,
G(x) = {fe )
g(x) si x> O,
y hagamos
U - ¿ (Di u) * D,(¡fE)
t=l
13 Probar resultados análogos a los de los ejercicios 11 y 12, sustituyendo Rn por un abierto
arbitrario Q.
14 Mostrar que, en las hipótesis del ejercicio 12,
(a) ¡j2uj8xi es localmente P, pero
2
(b) 8 u/8xi puede no ser una función continua.
. Esquema de la demostración de la parte (b) para distribuciones periódicas de R2 (ejerci-
CIO 22, capítulo 7): Si g € C(T2) tiene coeficientes de Fourier g(m, n) y si/ está definida mediante
tim
A_ao
[1m
.8_00
y(A, B)] = lim [lim y(A,
11_00 A_oo
y(A, B) = f
r2
DA(x)DB(y) dp.(x, y).
Se concluye que ambos límites iterados existen y son iguales a ,u({0, O}).
Si existiera"una f.J, como la del ejercicio 14, uno de los límites iterados sería 1, yel otro, O.
16 Sea L un operador lineal elíptico definido en un abierto n e Rn. Supongamos que L sea de
orden impar.
(a) Demostrar que entonces n = Ion = 2.
(b) Si n = 2 demostrar que los coeficientes del polinomio característico de L no pueden ser
todos reales.
En vista de la propiedad Ca), el operador de Cauchy-Riemann no es un ejemplo muy típico
de un operador elíptico.
9
Teorema de Wiener
(a) lim Sn = S.
n-+oo
ro
(h) sij(r) = I anr n , O < r < 1, entonces limj(r) = S.
o r-+ 1
(e) lim na n = O.
218 Análisis funcional
Puesto que f(r) = (l - r) L snrn y que (1 - r) L r n = 1,f(r) es, para cada r E (O, 1),
un promedio de la sucesión {sn}' Es sumamente sencillo probar que (a)implica (h).
El recíproco no es cierto, pero (h) juntamente con (e) sí implican (a). Este resultado
tampoco es difícil, y fue demostrado por Tauber. La condición tauberiana (e) puede
debilitarse: basta que {na n } sea acotada (Littlewood). Vale la pena reseñar que la
demostración del teorema se dificulta notablemente al debilitar la hipótesis (e).
El teorema tauberiano de Wiener trata de funciones medibles acotadas definidas,
°
en principio, sobre la recta real. Si ~ E LOO(R) y ~(x) -:>- cuando x -:>- + 00, entonces,
es casi trivial que (K * ~)(x) -:>- O cuando x -:>-+ 00,. cualquiera que sea KE V (R).
Las convoluciones K * cp pueden considerarse como medias ponderadas de~, al
menos cuando S K = 1. El recíproco dado por Wien~r (parte Ca) del teorema 9.7)
afirma que si (K * ~)(x) -:>- O para una K E VeR), y si la transformada de Fourier
de esta K no .se anula en ningún punto de R, entonces (f *~) (x) -:>- O cualquiera
que sea! E VeR). La conclusión ~(x) ~? O es más fuerte que la anterior, y puede
no verificarse en aquellas hipótesis, pero sí se verifica imponiendo a ~ una condición
adicional poco restrictiva (oscilación lenta). [Parte (h) del teorema 9.7].
La inesperada condición tauberiana -que K no se anule- interviene en la
demostración de la forma siguiente: Si (K * ~)(x) ->- O, lo mismo ocurre sustitu-
yendo K por cualquiera de sus trasladadas, o por una combinación lineal finita g
de éstas. Si K carece de ceros,· el conjunto de funciones g así obtenidas es denso
en V ( teorema 9.5). Vemos de esta forma el interés de estudiar subespacios de V
invariantes para la traslación de funciones.
9.2 Lema. Sean f E V(Rn), t E Rn y E > O. Entonces existe h E V(Rn) tal que
[lhll I < E Y que verifica
y definamos
(3) h;.Cx) = f(t)g;.(x) - (f * g})(X).
(4)
Teoría tauberiana 219
(5) $= f h $J = a].
m=O
m
/
220 Análisis
9.5 Teorema. Sea K E V(R n ) y sea Y el mínimo sub espacio cerrado e inva-
riante respecto de las traslaciones de V(Rn) que contiene a K. Entonces Y = V(Rn)
si, solamente si, R(t) # O para todo tE Rn.
(1) I4> (x) - 4>(y) I < e si Ixl > A, Iy I > A, Ix :- y I < [y.
9.7 Teorema.
Entonces
tauberiana 221
lim
Ixl~oo
toda fE
Si, además, cp es de oscilación lenta, entonces
l¡m <f;(x) = a.
¡; * <jJ -i>- f * lj.¡ uniformemente en Rn; por tanto, se verifica (4). Como
«Tyf) * lj.¡ ) (x) = (Ty(f * lj.¡ »(x) = (f * <Ji )(x - y),
Y es invariante respecto de las traslaciones. Finalmente, K E Y, en virtud de (1),
puesto que K * a = aK(O).
Podemos ahora aplicar el teorema 9.5, y así se obtiene que Y = D(Rn). Por
consiguiente, toda fE D(R n) verifica (4), o lo que es igual, (2). La parte (a) está
demostrada.
Sean cp de oscilación lenta, y E> O. Tomemos A y (l como en la definición 9.6,
y unaf E D(Rn) tal quef¿ ojeO) = 1 Y quef(x) = O si Ixl ¿ (l. En virtud de (2),
(7) lim (f * q,)(x) = a.
Ixl-+oo
Además,
(8) <f;(x) - (f * <f;)(x) = f Iyl <o
[<f;(x) - <f;(x - y)]f(y) dmn(y)·
Sea Ixl > A + (l. La elección de A, (l, Yf muestra que
1<f;(x) - (f* <f;)(x) I < G.
La igualdad (3) es ahora consecuencia de (7) y (9), con lo que se concluye la de-
mostración.
9.8 Observación. En el caso n = 1, el teorema 9.7 se modifica de forma
evidente escribiendo x~? + 00 en lugar de Ixl -+ co donde figure esta última con-
dición, y suponiendo en la parte (b) que cp es de oscilación lenta en + co. La de-
mostración permanece invariable.
. n(x) log x 1
(1) 11m = .
x-? 00 X
(3)
SI x> e, y
(5) F(x) = x log x - x + b(x) log x,
donde b(x) permanece acotado cuando x -> oo.
En virtud de (4), el teorema de los primos es consecuencia de la relación
1
[X]X- 1 - s dx = sIn
N
n= 1
fn+l
n
x- 1- s dx = I
N
n= 1
n-s - N(N + 1)-S.
224 Análisis
Tomemos un número real t # O, fijo. Para G> 1, la fórmula (6) muestra que
(7) log 1(3(0-)(4(0- + it)(o- + 2it) 1 = I m-1p-mtt Re {3 + 4p-imt + p-2imt} ~ O,
p,m
porque Re {3 + 4ei8 + e2i8 } = 2(1 + cos (J)2, cualquiera que sea el número real (J.
De aquí,
(8) 1(0- -1)(0-) 13 1 (o- + it) 141 (0- + 2it)1 ~ _1_.
0--1 0--1
Si + it) fuese
~(l O, el primer miembro de (8) tendría límite, a saber,
I~/(l + it)1 1w + 2it)¡,
4
cuando G tiende hacia 1, decreciendo. Como el segundo
miembro de (8) tiene límite infinito, ello es imposible, con lo que (4) queda de-
mostrada.
donde a y b son constantes y donde E(X) --',.- O cuando x ->- 00, Entonces
lim x- 1g(x) = a.
X"" 00
.
g(x) - g(::) :::;
2
f
n=1
(_1)n+1g (::)
n
= G(x) - 2G(::)
2
resulta
(4) g(x) < A(X +::2 +::4 + ...) = 2Ax .
Entonces h(x) = O para x < O, H(x) = G(e X ) ; por tanto, (2) se convierte en
RUDIN-15
226 Análisis funcional
J k(x)e-
00
-00
XS
dx = Jo
00
[e X ]e- x (s+l) dx = J [y]y-2-s dy = (11 ++ s) .
00
1 s
(13) ¡im (K
x-+Ct)
* cf;)(x) = (1 + A)a = a ro
-00
K(y) dy.
Así pues, el teorema de Wiener (9.7) (véase también la observación 9.8) implica que
(15)
Resulta de (14) y (15) que los límites superior e inferior de 1>(x) cuando x -> 00
se encuentran entre ae- y ae Como e: > O era arbitrario, se verifica (8), lo que
B B
•
termina la demostración.
La ecuación de renovación
cjJ(x) - r-00
cjJ(x - t) djJ.(t) = f(x;)
9.13 Teorema. Sea fL una medida probabilística de Borel sobre R, cuyo soporte
no está contenido en ningún subgrupo cíclico de R, y sea 1> una función de Borel,
acotada, que verifique la ecuación homogénea
(1) cjJex) - (cjJ * jJ.)(x) = O
para todo x E R. Entonces existe una constante A tal que 1>(x) = A con la posible ex-
cepción de un conjunto de medida de Lebesgue O.
(2)
(3)
9.15 Teorema. Sea fl. una medida probabilística de Borel en R, tal que
tauberiana
J1a;/= o,
rOO
J-O()
Ixl < 00,
Sea f E VeR) tal que f(x) ~,O cuando x -+ ± 00, y sea <p una función acotada
que verifique
(4) cjJ(x) - (cjJ * J1)(x) = f(x) (- 00 < x < 00).
existen ambos, y
f(y) dy.
DEMOSTRACIÓN. Pongamos G = í) - fL, como en la demostración del teo-
rema 9.13. Definamos
r {- J1« - 00, x)) si x ::; O,
(7) K(x) = (1« - 00, x) = J1([x, co)) si x > O.
La hipótesis (2) asegura que K E VeR). Un cálculo inmediato, cuyos detalles omi-
timos, muestra que
(11)
tenemos
(13) 1 hix) 1 :s; II</JII . Ilflsll n (-00 < x < (0),
donde 11<p11 es el supremo de 1<p1 sobre R. Por (1), [[[1.,11 < 1. De aquí, Iz" -7' O unifor-
memente sobre R. En consecuencia, <p es límite uniforme de las funciones de osci-
lación lenta in +
gm lo que implica que <p es de oscilación lenta, terminando la
demostración.
Ejercicios
1 Demostrar el teorema de Tauber enunciado en la sección 9.l.
2 Sea 1> ELoo(Rn) y supongamos que el soporte de la distribución ¿¡; esté formado por k puntos
distintos sI>' .. , Sk. Construir funciones convenientes 1j!" . .. , 1j!k tales que el soporte de (1) * 1j!j) A
sea el singulete {s;}. Obtener de aquí que 1> es un polinomio trigonométrico. a saber,
cf>(x) = ale'Sl . x + ... + ak e"k' x (casi para todo x)
(El caso k = 1 se ha estudiado en la demostración del 'teorema 9.13.)
3 Sea Y un subespacio cerrado e invariante respecto de las traslaciones de L"(Rn), :al que Z(Y)
esté formado por k puntos distintos. (Notación como en el teorema 9.3.) Usar el ejercicio 2
para demostrar que Y tiene codimensión k en V(Rn), y concluir de ahí que Yestá formado pre-
cisamente por aquellas fE V(R") cuya transformada de Fourier es O en todo punto de Z(Y).
4 Demostrar el siguiente análogo de la parte (a) del teorema 9.7: Si 1> E L=(Rn) y si a toda t ERn
podemos asociar una función Kt EV(Rn) tal que Kt(t) =F O y (Kt * 1»(x) -+ O cuando jxj-J>- =,
entonces (f * 1»(x) -J>- O cuando jxj-J>- 00 para toda fE V(Rn).
5 Supongamos K EL"(Rn) y que K tiene al menos un cero en Rn. Demostrar que existe 1> EL=(Rn)
tal que (K * 1»Cx) = O para todo x ERn, aunque 1> no verifica la conclusión de la [arte Ca)
del teorema 9.7.
6 Sea 1>(x) = sen (X2), - = < x < =. Mostrar que
lim (f
Ixl-+ 00
* cf»(x) = O
para toda fE L"(R), a pesar de que no es válida la conclusi6n del teorema 9.7, parte (h).
7 Para ex. > O,seafa la función característica del intervalo [O, ex.]. Definamosf¡l de forma análoga;
pongamos g = fa + f¡l. Demostrar que el conjunto de todas las combinaciones lineales fini-
tas de trasladadas de g es denso en VeR) si,y solamente si,fJlex. es irracional.
8 Siendo ex. > O Y ex.x = 1, probar que
Teoría tauberiana 231
1- C( < ~ 1,
Y deducir de aquí que eXK(x) es acotada, como se dijo en la demostración del teorema 9.12.
9 Sea Q e! conjunto de los números racionales. Sea ¡;, una medida probabilística en R concentrada
en Q, y sea </> 'la función característica de Q. Demostrar que </>(x) = (</> " fl)(X) para todo x € R
aunque </> no es constante. (Comparar con e! teorema 9.13.) ¿Qué otros conjuntos podrían
usarse en lugar de Q, que produjeran el mismo efecto?
10 En e! teorema 9.15 se usaron casos particulares de los siguientes resultados. Demostrarlos.
Ca) Si </> • Loo(R") y k € V(R"), entonces k" </> es uniformemente continua.
(b) Si { </>j} es una sucesión de funciones de oscilación lenta en Rn que convergen uniformemente
a una función </>, entonces </> es de oscilación lenta.
(e) Si fl Y }. son medidas complejas de Bore! en Rn, entonces
¡(x) = f(x) - -1
2
JI -1
f(x - y) dy ( - 00 < x < 00).
Demostrar que f E (L' 11 Co)(R), pero que ninguna solución acotada de la ecuación
</>(x) - ~
2
JI
-1
</>(X - y) dy = ¡(x)
ro dx
f o
K(x)x- it -
x
#- O para-oo <1<00,
lim
x_ro f «x)
o
ro
K - </>(u) du
U
-
U
= O.
Demostrar que
lim rroH(=)</>(U) du =0.
X-joCO Jo \u u
Este resultado es análogo a la parte (a) del teorema 9.7. ¿De qué forma habría que definir
«oscilación lenta» para obtener el correspondiente análogo de la parte (b) del mismo teo-
rema?
14 Complétense los detalles de la siguiente demostración del teorema de Littlewood, dada por
Wiener: Supongamos Inanl:S: 1,1(r) = I;~ anr n, y f(r)--'? Ocuando r--'? 1. Siendo Sn = ao + ...
+ an , ha de demostrarse que Sn --'? O cuando n --'? oo.
(a) ISn -f(l - 1/n)1 < 2. Por tanto {Sn} es acotada.
(b) Si </>(x) = Sn sobre en, n + 1) y O < x < y, entonces
(y+ 1 -x)
1</>(y)-</>(x)l~ .
x
232 Análisis funcional
"" du
=0
lim
x-,>oo Jo u
si
(e) Pongamos H(x) = l¡(ex) si (1 + e)-l < x < 1, H(x) = O, en otro caso. Concluir de aquí
que
¡im -
1 fO+')X <j>(y) dy = O.
x-+oo EX x
Nota: Si nan --> O se supone válida, una modificación del paso (a) es todo lo que se necesita
para terminar la demostración.
15 Sea Yun subespacio cerrado de Ll(Rn). Probar que Y es invariante respecto de las traslaciones
si, y solamente si, f*gE y siempre que fE Y Y gE V(Rn).
Los subespacios cerrados invariante& respecto de las traslaciones de Ll(Rn) son, por tanto,
exactamente los mismos que los ideales cerrados del álgebra de convolución V(Rn).
1
Introducción
Ilxyll::::; Ilxllllyll E Y E
(5) xe = ex = x E
y
(6) Ilell = 1,
entonces A se llama álgebra de Banach.
Obsérvese que no hemos exigido que A sea conmutativa, es decir, que xy = yx
para cualesquiera x e y de A, y no lo haremos excepto cuando se diga explícitamente.
Está claro que a lo sumo existe un e E A que satisface (5) pues si e' también
verificara (5), entonces e' = e' e = e.
La existencia de un elemento unidad se omite muchas veces en la definición de álge-
bra de Banach. Sin embargo, cuando existe un elemento unidad tiene sentido hablar
de inversos y el espectro de un elemento de A puede definirse de manera más na-
tural que en el caso contrario. Esto conduce a un desarrollo más intuitivo de la
teoría básica. Además, la pérdida de generalidad resultante es pequeña, ya que
muchas álgebras de Banach tienen elemento unidad, y a las otras se les puede
dotar de uno por el procedimiento canónico que sigue.
Supongamos que A verifica las condiciones (1) a (4), pero que A no tiene ele-
mento unidad. Sea Al el conjunto de todos los pares ordenados ot), donde x E A ex,
Y ot 10 (l. Definimos las operaciones de espacio vectorial en Al componente a com-
ponente, definimos la multiplicación en Al por
de la identidad
(10) y
si -)- x e Yn -7- y.
Xn
Es interesante el hecho de que (4) puede sustituirse por la condición (aparente-
mente) más débil (10) Y que (6) puede omitirse sin ampliar la clase de las álgebras
en consideración.
Cuando i -7- 00, el primer término de (4) tiende a T(y), y Ti(e) -7- T(e). Como la
multiplicación se ha supuesto continua por la izquierda en A, se deduce que el
último término de (4) tiende a T(e)y. Pongamos x = T(e). Entonces
(5) T(y) = T(e)y = xy = M,,(y) (y E A),
luego T = Mx lE A, y A es cerrada.
238
10.3 Ejemplos. Ca) Sea C(K) el espacio de Banach de todas las funciones
complejas continuas sobre un espacio de Hausdorff K compacto no vacío, con la
norma del supremo. Definimos la multiplicación en la forma usual: (fg)(P) =f(P )g(P).
Esto convierte a C(K) en un álgebra de Banach conmutativa; la función constante 1
es el elemento unidad.
Si K es un conjunto finito que consta, por ejemplo,. de n puntos, entonces C(K)
es simplemente en, con la multiplicación coordenada por coordenada.
En particular, cuando n = 1, obtenemos el álgebra de Banachmás sencilla,
a saber e, con el valor absoluto como norma.
(b) Sea X un espacio de Banach. Entonces, el álgebra &W(X) de todos los ope-
radores lineales acotados sobre X es un álgebra de Banach, respecto a la norma
usual de operadores. El operador identidad 1 es su elemento unidad. Si dim X =n < 00,
entonces &W(X) es (isomorfa) el álgebra de todas las matrices complejas n X n.
Si dim X> 1, entonces 88(X) no es conmutativa. (El espacio trivial X = {O} debe
ser excluido.)
Toda subálgebra cerrada de 88(X) que contenga 1 es también un álgebra de
Banach. La demostración del teorema 10.2 prueba, que de hecho, toda álgebra
de Banach es isomorfa con una de éstas.
(e) Si K es un subconjunto compacto no vacío de o dee en y si A es la subál-
gebra de C(K) de todas lasf € C(K) que son holomorfas en el interior de K, entonces
A es completa (respecto de la norma del supremo) y es por tanto un álgebra
de Banach.
Cuando K es el disco unitario cerrado de e entonces A se llama álgebra disco.
(d) V(Rn), con la convolución como multiplicación, satisface todas las condi-
ciones de la definición 10.1, excepto la existencia de unidad. Se le puede adjuntar
una por el procedimiento expuesto en la sección 10.1 o se puede hacer esto más
concretamente por extensión de V(R n) al álgebra de todas las medidas complejas
de Borel fL sobre R n de la forma
Otra razón -cuyas implicaciones no son tan evidentes - es que (l tiene una
involución natural no trivial (ver definición 11. a saber, la conjugación, y que
muchas de las propiedades profundas de ciertos tipos de álgebras de Banach depen-
den de la presencia de una involución. (Por la misma razón, la teoría de los espacios
de Hilbert complejos es más rica que la de los reales.)
En un punto (teorema 10.44) una diferencia topológica entre (l y R jugará
también un papel importante.
Entre las aplicaciones importantes de un álgebra de Banach en otra están los
homomorfismos. Estos son aplicaciones lineales h que son también multiplicativas:
h(xy) = h(x)h(y).
Homomorfismos complejos
10.5 Definición. Sean A un álgebra de Banach compleja y 4> una forma lineal
sobre A no idénticamente nula. Si
(1) 1>(xy) = 1>(x)1>(y)
para todo x E A e y E A, entonces se dice que 4> es un homomorfismo complejo
sobre A.
(La exclusión del caso 4> - O es, desde luego, solamente una cuestión de con-
veniencia.)
Un elemento x E A se dice inversible si tiene un inverso en A, es decir, si existe
un elemento x-1 E A tal que
(2)
donde e es el elemento unidad de A.
Observemos que ningún x E A tiene más de un inverso, pues si yx = e = xz
entonces
y = ye = y(xz) = (yx)z = ez = z.
luego cp(x) =F O.
Las partes (a) y Ce) del teorema siguiente son quizás los hechos más amplia-
mente utilizados en la teoría de las álgebras de Banach; en particular, (e) implica
que todos los homomomsmos complejos de álgebras de Banach son continuos.
10.8 Lema. Sea f una función entera de una variable compleja tal que feO) = 1,
1'(0) = O, Y
(1) 0< IfCA) I : : ; él. I (A E C).
es holomorfa en {A : 11.1 < 2r}, y Ihr(A)1 :S:: 1 si IAl = r. Por el teorema del módulo
máximo
CIAI:S;r).
Fijemos A Y hagamos r ~/ oo. Entonces (3) y (4) implican que g(A) = O.
(4) ab E N siaENybEN.
Supongamos probado el siguiente caso particular de (4),
(5) si a E N.
Entonces (3), con x = y implica
(6) (x E A).
Por consiguiente,
I
(8) xy + yx EN si x E N, Y EA.
RUDIN-16
242 Análisis funcional
Consideremos la identidad
(12) fCA) = I
"=0
4>(a") A"
n!
(A E (l).
I<¡b(an)1 :s;; Ilan!i1, f es entera y satisface !f(A)1 :s;; exp IAI para todo A E (l.
:s;; I:all n =
También, feO) = <¡b(e) = 1 Y f'(O) = <¡b(a) = O.
Si pudiésemos probar que feA) '1= O para cada A E (l el lema 10.8 implicaría
que 1"(0) = O; por tanto, <¡b(a2) = O, lo que probaría (5).
La serie
00 A"
(13) E(A) = I - an
n=O n!
(1)
DEMOSTRACIÓN. Que G(A) es abierto y que x -)- x-1 es continua se siguen del
teorema 10.11. Como x -+ x-1 aplica G(A) sobre G(A) y es su propia inversa, es
un homeomorfismo.
(2)
(6) feA) =
n=O
Esta serie converge uniformemente sobre cada círculo r" con centro en O y radio
r> [[xli. Por el teorema 3.29, la integración término a término es entonces lícita.
Por consiguiente
(7) x" = ~f
2m I'r
A'1(A) dA (r > [[xli, n = 0, 1,2, " .).
e
Si cr(x) fuese vacío, O sería y el teorema de Cauchy,3.31,implicaría que todas
las integrales de (7) son O. Pero cuando n = 0, el primer miembro de (7) es e # O.
Esta contradicción prueba que cr(x) es no vacío.
Como O contiene todos los A tales que IAl > p(x), una aplicación de (3) del
teorema de Cauchy 3.31 prueba que la condición r> [[x[[ puede sustituirse en (7)
por r> p(x). Si
(9)
se obtiene
de 245
pueden ser distintos. El radio espectral no cambia, sin embargo, por el paso de
A a B, puesto que la fórmula del radio espectral lo expresa en términos de las pro-
piedades métricas de potencias de x, y éstas no dependen de lo que ocurra fuera de A.
El teorema 10.18 describirá con más detalle la relación entre GA(x) y GB(X).
luego X;lX E G(A). Como x = Xn(X;lX) y G(A) es un grupo, se sigue que x E G(A).
Esto contradice la hipótesis, ya que G(A) es abierto.
10.18 Teorema.
es inversible en A, ya que II(Ae - x)-lyll < 1; por tanto, A $ cr(x + y). Esto da la
conclusión deseada, con 3 = lfM.
Cálculo simbólico
que tiene sentido para todo x cuyo espectro no contenga al escalar 0(.
De esta manera nos vemos conducidos a la conjetura de que f(x) podría ser
definible, en A, cuando ffuese holomorfa en un conjunto abierto que contiene a cr(x).
Tal conjetura es correcta y puede deducirse de una versión de la fórmula de Cauchy
que convierte funciones complejas definidas en subconjuntos abiertos de (l en
funciones con valores en A definidas en ciertos subconjuntos abiertos de A. (Igual
que ocurre en el análisis clásico, la fórmula de Cauchy es una herramienta mucho
más adaptable que la representación en series de potencias.) Además, los entes f(x)
definidos de esta forma (véase la definición 10.26) suelen tener propiedades inte-
resantes. Las más importantes de estas propiedades están resumidas en los teo-
remas 10.27 a 10.29.
En ciertas álgebras se puede ir más lejos. Por ejemplo, si x es un operador nor-
mal acotado de un espacio de Hilbert H, el símbolo f(x) puede interpretarse como
un operador normal acotado sobre H cuando f sea cualquier función compleja
continua sobre cr(x), e incluso cuando f sea cualquier función acotada de Borel
Algebras de Banach 249
º º
que es justamente otra forma de escribir (1). Para probar (2), basta interpretar Mx
como la multiplicación por la derecha por x.
(2)
1
r dA
lnd r (O = 2ni Jr A _ , = O
{l
y tal que la fórmula de Cauchy
sea entonces válida para cada función f holomorfa en Q y para cada ~ E K. Véase,
por ejemplo, el teorema 13.5 de [23].
Describiremos brevemente la situación (2) diciendo que el contorno r rodea
a K en Q.
Obsérvese que ni K, ni Q, ni la unión de los arcos Yi' se han supuesto conexos.
(1)
2m r
J
-1. (a - A)n(Ae - x) - dA = Cae - xt
1 (n = 0, ±1, ±2, ... ).
Por tanto,
(5) ~
2m r
J(Ae - X)-l dA = e.
Sea rr una circunferencia orientada positivamente, centrada en 0, con radio r> Ilxll.
Sobre r" (Ae - X)-l = ¿ A- n - 1 xn. La integración término a término de esta serie
da (5), con rr en lugar de r. Como el integrando de (5) es una función con valores
en A holomorfa sobre el complementario de cr(x) (véase la demostración del teo-
rema 10.13), y como
(6)
para cada ~ E cr(x), el teorema de Cauchy 3.31 prueba que la integral (5) no cambia
si se sustituye r por rr- Esto completa la demostración.
una función racional con polos en los puntos rJ. m . [P es un polinomio, y la suma de (1)
tiene sólo un número finito de términos.] Si x E A Y cr(x) no contiene polos de
definimos
es un subconjunto abierto de A.
Definimos ii (A n ) como el conjunto de todas las funciones J con valores en A,
definidas sobre A n , obtenidas a partir de funciones fE H(.o) por la fórmula
(2) -
j(x) 1
= -.
2m
f f(A)(Ae -
r
X)-l dA,
(2)
un álgebra de dimensión finita. Por ejemplo, como caso especial de (b), una matriz
compleja n X n, es la exponencial de una matriz si, y sólo si, O no es un valor
de M; es decir, si,y sólo si,M es inversible. Para deducir esto de (b), sea A
el álgebra de todas las matrices complejas n X n (o el álgebra de todos los ope-
radores lineales acotados sobre e").
10.31 Teorema.
Esto prueba (a) y (b). Si cr(x) no es conexo, existen conjuntos abiertos disjuntos
y nI que cortan a cr(x) y cuya unión n cubre a cr(x). Pongamos feA) = O en no,
= 1 en nI' Entonces fE H(n). Pongamos y = !(x). Como J2 = j, el teo-
rema 10.27 implica que y2 = y, luego y es idempotente. Por el teorema de la apli-
cación espectral,
Diferenciación
Investigaremos ahora hasta qué punto los elementos de H(A n ) (véase la defi-
nición 10.26) se comportan como funciones holomorfas en 10 que se refiere a la
diferenciabilidad, representación en serie de potencias y a la propiedad de aplica-
ción abierta. Como podría esperarse, algunos de los resultados son más parecidos
a los clásicos cuando A es conmutativa que cuando no lo es.
hm --'--'-----'---,--,-,F-'-(a-,-)_-_A_x.....::.11 O
x'" o Ilxll = ,
entonces A se llama derivada de Fréchet de F en a. (La unicidad de A es trivial.)
Utilizaremos la notación para designar la derivada de Fréchet de F en a.
Si (DF)a existe para cada a € o. y
a->
(2) -
f(x + h) - -
f(x) 1
= -.
2m r
Jf(Jl)(Jle - x - h)-lh(Jle - X)-l dJl.
(3) -
(Qf)(x; h) 1
= -.
2m r
J f(Jl)(Jle - x - h)-l().e - X)-l dJl,
que satisface
(7) J(x + h) = I
n;O
~
n!
}<'\x)h'
_ ~ 1 _( )
(1) j(x+h)= L.. -j"(x)h n
n;O n!
para todo h E A tal que [[h[[ < S. En consecuencia,
(1) (y E A)
de Banach 259
(2)
(4)
Por (8), el cálculo (6) de la sección 10.35 puede aplicarse ahora a (Q!)(L x ; Ca).
Esto da
(9)
(10)
2m r
=~ f
g(A)(Ae - X)-ly dA = g(x)y
para cada y € A Y cada g € H(D) y, en particular, para cada ¡(m).
Esto completa la demostración.
En realidad, la serie (4) puede no converger si ¡ tiene una singularidad a dis-
tancia 311xll del origen. Un ejemplo de esto se describe en el ejercicio 22. La cons-
tante 3 que aparece en la última parte del teorema 10.38 es por consiguiente la
correcta.
Si A es conmutativa, entonces Cx = O. El término con m = 1 es entonces el
único que queda en la serie (4). Esto está de acuerdo con el teorema 10.36.
El siguiente teorema nos permitirá extraer información acerca de las propie-
dades locales de las funciones! del teorema 10.36.
DEMOSTRACIÓN. Si a E W, T = (DF)a, Y
f(x) = T- 1 [F(a + x) - F(a)] (x E W - a),
entonces f verifica las hipótesis del teorema, con W - a en lugar de W. Si f satis-
face la conclusión, también la satisfará F. Podemos pues sustituir F por f Con
otras palabras, podemos suponer sin pérdida de generalidad, que
o
se deduce de (7) que rP satisface la condición de Lipschitz
(9) 111J(x") -1J(x')11 :::; ctllx" - x'll (x' E B, x" E B).
(11) (1 s is n)
(12) (1 s is n).
(14)
(15)
Nuestra hipótesis de inducción vale ahora con n + 1 en lugar de n y puede
proseguirse la construcción, para obtener una sucesión {xn} que satisface (11)
y (12) para todo n. Como ex < 1, (12) prueba que {xn} es una sucesión de Cauchy,
que converge a algún x E B, por (13). Ahora (11) y (3) implican que F(x) = y.
Si V = (l - ex)B y U = G(V) = B (') F-1(V), entonces son válidas las conclu-
siones (i) y (ii). Para completar la demostración, probaremos ahora que G es dife-
renciable con continuidad en V.
Seany E V,y + k E V,k #- O,x = G(y), X + h = G(y + k);pongamosS=(DF)".
Entonces
G(y + k) - G(y) - S-lk = h - S-lk
= S-l(Sh - k) = -S-'l[F(x + h) -F(x) - Sh].
Por (10), (1 - ex)[lhl[ ::;; Ilkll. Por tanto,
[[G(y + k) - G(y) - S-lk[[ < [S-l[[[[F(x + h) -F(x) - Shll.
[[k[[ - [ (l - a)[[h[[
Cuando k --+ 0, (lO) implica que h --+ O, Y como S = (DF)a;, la última desigualdad
prueba que S-l = (DG)y. Con otras palabras,
(16) (y E V).
Algebras de Banach 263
DEMOSTRACIÓN. Por hipótesis, Q contiene dos puntos IX =F f" para los cuales
j(lX) = f(f") = c. Sea Y un subespacio cerrado de X, de codimensión 1; elijamos
Xl' x 2 E X, Xi =F O, tales que X 2 esté en Y pero Xl no; definamos T o E A por
264 Análisis
Tox¡ = ax¡, si y E Y.
Si A i= O( Y A i= ~, multiplicando Xl por (A - O()-l e y por (A - ~)-l resulta
(Al - TO)-l. Por tanto, aCTo) = {O(, ~} y TOE Aa. Por el apartado (a) del teorema 10.33,
(2)
Pongamos xa = Xl +
x 2' sea M el subespacio unidimensional de X engendrado
por X 3 Y sea 1) la distancia de T Ox 3 a M. Entonces 1) > O ya que T Ox 3 = O(xI + ~X2
y O( i= ~. Sea no la unión de las componentes de n que contienen O( y ~. (Existen
una o dos de tales componentes). Sea U el conjunto de todos los T E A tales que
¡j
(3) 1 T - Toll < IIx 1 y (J(T) e no.
3
Entonces U es un entorno de T o. Probaremos que f( U) no contiene a J(To) + r¡S
SI r¡ i= O Y S
E A está definido por
(4) Sy =0 para y E Y.
Esto se deduce de la última parte del teorema 10.38, ya que f(m) = f para m ¿ 1
cuando feA) = exp (A).
Los ceros de <l! se encuentran en 2krti, k = ± 1, ± 2, ... , Si ninguno de ellos
está en cr( e,"), entonces <líe ex) es inversible, por el teorema de la aplicación espectral,
y también lo es (D exp)x, y exp es de nuevo un difeomorfismo local en x.
Ce) Veremos más tarde (teorema 11.23) que
a( ex) e a(x) - a(x).
10.44 Teorema.
Ejercicios
.{ O si n =0
(SRf)(n) = f(n - 1)
si n ¿ 1,
(SLf)(n) = f(n + 1) paran ¿ O.
(d) Si xy = e =f yx, probar que yx es un elemento idempotenteno trivial.
(e) Si dim A < 00, probar que yx = e cuando xy = e.
2 Sean x E A, Y EA.
(a) Probar que e - yx es inversible si e - xy es inversible. Indicación: Si z es el inverso de
e - xy, considerar e + yzx. I
(b) Si A E <2', A =f O Y A E <J(xy), probar que A E <J(Yx). Probar, sin embargo, que <J(xy) puede
contener a O aunque <J(yx) no lo contenga.
(e) Si x es inversible, probar que <J(xy) = <J(yx).
3 Sean Q un aiberto en <2';!: Q-> A Y q,: Q-')- <2' funciones holomorfas. Probar que q,1: Q-')- A
es holomorfa. [Esto se usó en la demostración del teorema 10.13, con q,(A) = An .]
4 Otra demostración del teorema de que <J(x) no es nunca vacío puede basarse en el teorema de
Liouville,3.32,y en el hecho de que (Ae - X)-l-')- O cuando A-')- oo. Completar los detalles.
5 Un x E A se llama divisor topológico de cero cuando existe una sucesión {Yn} en A, con IIYnl1 = 1
tal que
(a) Probar que todo punto frontera x del conjunto de todos los elementos inversibles de A
es un divisor topológico de cero. Indicación: Tomar Yn = Xn-ljllXn -111 cuando Xn -')- x.
(b) Qué álgebras de Banach no tienen divisores topológicos de cero distintos de O?
6 Sea K = {A E <2': 1::::; IAI::::; 2}; pongamos f(A) = A. Sea A la minima subálgebra cerrada de
C(K) que contiene 1 y f Sea B la mínima subálgebra cerrada de C(K) que contiene I y ljf
Describir los espectros <JA(f) y <JB(f).
Hágase lo mismo cuando K es una circunferencia.
268 Análisis funcional
7 Reforzar la afirmación de continuidad del apartado (1) del teorema 10.27 del modo siguiente:
Si K es cualquier subconjunto compacto de n y
A K = {x E A : a(x) e K},
entonces j;,(x) --+¡(x) uniformemente sobre A K • ~
8 (a) El teorema de Fubini ha sido aplicado a integrales con valores vectoriales en la demostra-
ción del 'teorema 10.29. Justificar esto.
(h) Construir otra demostración del teorema 10.29 que no use integrales curvilíneas, como
sigue: Probar el teorema en primer lugar para polinomios g y después para funciones
racionales g E H(OJ, y obténgase el caso general del teorema de Runge.
9 En el cálculo (6) de la sección 10.35, la integración por partes ha sido aplicada a integrales con
valores vectoriales. Justificar esto.
10 Probar la versión de la regla de la cadena que se ha utilizado en la demostración delteo-
rema 10.39, y probar el teorema fundamental del cálculo para integrales con valores vectoriales,
utilizado en la fórmula (8) del teorema 10.39.
11 Probar con detalle que la convergencia en la fórmula (7) del teorema 10.38 es realmente uni-
forme sobre r.
12 Sean k un entero positivo, W = exp (2nijk), y f: A _ A la función definida por f(x) = Xk.
(a) Probar que f es un difeomorfismo en algún entorno de Xo € A si Xo satisface la condición
a(xo) (\ w"a(xo) = 0 para n = 1, ... , k - lo
(h) Probar que la misma conclusión es válida si A es conmutativa y Xo es inversible en A.
13 Sea A el álgebra de todas las matrices de la forma
con ex E (2', fl € (2'. Probar que lexl + Ifll es una norma sobre A que convierte a A en un álgebra
de Banach. Definamosf(x) = X2 para x € A. Consideremos/CA). ¿Es/(A) abierto en A? ¿Esf
una aplicación abierta? [Comparar con la parte (h) del ejercicio 12.]
14 Probar que toda álgebra compleja A de dimensión 2 con elemento unidad e es isomorfa bien
a (2'2 con la adición y multiplicación coordenada a coordenada, o bien al álgebra descrita en el
ejercicio 13. Indicación: En un caso existe x =J ± e tal que X2 = e; en el otro, existe x =J O
tal que X2 = O. Probar que necesariamente ocurre uno de estos casos.
Probar que existe un álgebra de Banach no conmutativa de dimensión 3.
15 Probar la relación
exp (C,) = exp (R x) exp (-Lx),
y utilizarla para obtener la fórmula
exp( -x)y exp (x) = [exp (Cx)]y,
válida para x e y en un álgebra de Banach A. (La notación es la de la sección 10.37.)
16 Sea A = C(T) el álgebra de todas las funciones complejas continuas sobre el circulo unidad T,
con la norma del supremo. Probar que dos elementos inversibles de C(T) están en el mismo
cogrupo de G1 si,y sólo si,son aplicaciones homotopas de T en el conjunto de todos los nú-
meros complejos no nulos. Deducir de esto que GjG1 es isomorfo al grupo aditivo de los en-
teros. (La notación es la del teorema 10.44.)
17 Sea A = M(R) el álgebra de convolución de todas las medidas complejas de Borel sobre la
recta real; véase el apartado (e) del ejemplo 10.3. Completar los detalles de la siguiente demos-
tración de que GjG1 es no numerable: Si ex € R, sea 0a la masa unidad concentrada en ex. Su-
pongamos 0a € G1 . Entonces Da = exp (f1a) para algún f1a E M(R); por tanto, para - 00 <
< t < 00,
de Banach 269
-jod= + 2k1ri,
siendo k un número entero. Como íla es una función acotada, IX = O. Por consiguiente, 00
es el únicooa que está en G1 . Ningún cogrupo de G1 en G contiene pues más que un oa.
18 Sean n un abierto en e, IX un punto frontera aislado de n, f: n-+ X una función holomorfa
en n con valores en X (siendo X un espacio complejo de Banach), n un entero no negativo, y
lA - <xl nllf(A)11
acotada cuando A-> IX. Entonces se dice que f tiene un polo (de orden::;; n) en IX.
(a) Sea x E A Y supongamos que (Ae - X)-l tiene un polo en cada punto de a(x). [Obsérvese
que esto puede ocurrir solamente cuando a(x) es un conjunto finito.] Probar que existe un
polinomio no trivial P tal que P(x) = O.
(b) Como caso particular de (a), suponer que a(x) = {O} Yque (J.e - X)-l tiene un polo de
orden n en O. Probar que xn = O.
19 Sea SR el desplazamiento a la derecha, actuando sobre [2, como en el ejercicio 1. Sea {Cn}
una sucesión de números complejos tal que Cn =f. O pero Cn -+ O cuando n -+ oo. Definamos
M E fJiJ(P) por
(Mf)(n) = en f(n) (n ;::::0),
y T € fJiJ(l2) por T = MS R.
Ideales y homomorfismos
11.2 Proposición.
11.3 Teorema.
RUDIN-18
274 Análisis funcional
J= +y:aE yE
Entonces J es un ideal de A más amplio que M pues x E J. -(Tómese a = e, y = O.)
Por tanto, J = A Y ax +
y = e para algún a E A Y algún y E M. Si 1t : A -+
es la aplicación cociente, se deduce que 1t(a)1t(x) = 1t(e). Cada elemento no 1!ulo
1t(x) del álgebra de Banach AfM es pues inversible en AfM. Por el teorema de
Gelfand-Mazur, existe un isomorfismo j de A!M sobre (l. Pongamos h = j o 7':.
Entonces h E t., Y M es el núcleo de h.
(b) Si h E t., entonces h-1 (0) es un ideal de A que es maximal por tener codi-
mensión 1.
(e) Si x es inversible en A y h E t., entonces
(1)
donde ambas sumas están extendidas a todos los m E zn. Si f(x) i= O para cada.
x E Rn, entonces
(2)
y 1- =
I-h(gr) I (1)
I h - I<1
gr _ .
Por tanto existen números reales Yr tales que
(3)
donde y = (Y1' ... , Yn)· Si P es un polinomio trigonométrico (lo que significa, por
definición, que P es una combinación lineal finita de productos de potencias enteras
de las funciones gr y l/gr ), entonces (3) implica
(4) h(P) = P(y),
por ser h lineal y multiplicativa. Como h es continua sobre A (teorema 10.7) y
como el conjunto de todos los polinomios trigonométricos es denso en A (como
es obvio de la definición de la norma), (4) implica que h(f) = f(y) para cada fEA.
Por consiguiente h es la evaluación en y, lo que concluye la demostración.
Este lema fue utilizado (con n = 1) en la demostración original del teorema
tauberiano 9.7. Para ver la relación entre ambos, volvamos a interpretar el lema.
Consideremos zn como sumergido en R nen la forma obvia. Los coeficientes am de-
finen entonces una medida [L sobre R n , concentrada sobre zn, que asigna masa a m
a cada m E zn. Consideremos el problema de hallar una medida compleja (5, con-
centrada sobre zn, tal que la convolución [L * sea la medida de Dirac il. El lema
(5
de Wiener establece que este problema puede resolverse si (y trivialmente sólo si)
la transformada de Fourier de [L no tiene ceros sobre R n ; esta es precisamente la
hipótesis tauberiana del teorema 9.7.
Para nuestra próxima aplicación, sea un el conjunto de todos los puntos
Z = (Zl' ... , zn) de en tales que [Zi[ < 1 para 1 ::S: i ::S: n. En otras palabras, este
polidisco un es el producto cartesiano de n copias del disco unidad abierto U de e .
Definimos A(Un ) como el conjunto de todas las funciones f que son holomorfas
en un (véase la definición 7.20) y que son continuas sobre su adherencia Un.
Transformación de Geifand
y
Por tanto x --» X es un homomorfismo. Su núcleo consiste en aquellos x E A que
que verifican h{x) = O para todo h E ~; por el . teorema 11.5, éste es la intersec-
ción de todos los ideales maximales de es decir, rad A.
Decir que A está en el recorrido de x significa que A = x(h) = para algún
h E ~. Por la parte (e) del teorema 1l.5, esto ocurre si,y sólo si, A E cr(x). Esto
(b) y (e).
Para probar (a) sea A* el espacio dual de A (considerado como un espacio
de Banach), y sea K la bola unidad cerrada en la topología de la norma de A*.
Por el teorema de Banach-Alaoglu, K es débilmente*-compacto. Por la parte Ce)
del teorema 10. 7, ~ e K. La topología de Gelfand de ~ es evidentemente la res-
tricción a ~ de la topología débil* de A*. Por tanto, es suficiente probar que ~
es un subconjunto débilmente*-cerrado de A*.
Sea Ao un elemento de la adherencia débil* de ~. Tenemos que probar que
(1) (x E A, Y E A)
(2)
[Obsérvese que (2) es necesaria; en otro caso Ao podría ser el homomorfismo nulo,
que no, pertenece a ~.]
Fijemos x E A, Y E A, s> O. Pongamos
(3)
que da (2), y
Ao(XY) - AoxAoY = [Ao(xy) - h(xy)] + [h(x)h(y) - Ao xAoY]
= [Ao(xy) - h(xy)] + [h(y) - Aoy]h(x) + [h(x) - Aox]AoY,
que da
(b) A es semisimple y A es cerrada en C(~) y sólo si, existe K < 00 tal que
IIxl12 :S: Kllx211 para
todo x EA.
Por tanto {In} es una sucesión de Cauchy en L2(m). También, [in[ :S:: 1 c.p.t: [m).
Por consiguiente existe / E L=(m) tal que /n -+ / en V(m), y ahora (11) implica que
Jn -+ J en L 2 (m). La conclusión es que <p = Jc. t. [m].
Cada/unción de Borel acotada <p sobre i'>. coincide con alguna JE C(i'>.) c.p.t. [nI].
Por consiguiente, ¡los espacios de Banach ce i'>.) y L "'(m) son idénticos!
Otra consecuencia del último resultado es que i'>. es extremadamente disconexo.
Esto significa, por definición, que la adherencia de cualquier conjunto abierto es
abierta. (Por tanto, conjuntos abiertos disjuntos tienen adherencias disjuntas.)
Para probar esto, sea no abierto en i'>., sea ni el complementario de la adhe-
rencia ITo de no, sea <p la función característica de ni y elijamos J E ce i'>.) de forma
que J= <p c.p.t. [mJ. Como <p = O en no y los conjuntos abiertos no vacíos tienen
medida positiva, la continuidad de J prueba que J(p) = O en cada p E no' Análo-
gamente,] (p) = 1 si p En 1 . El conjunto sobre el que J no es O ni 1 es abierto y tiene
medida O, ya que] = <p c.p.t. [m]; por consiguiente, es vacío. Sea Ki={P E i'>.:f(p)=i}
i = O, 1. Entonces Ko Y K 1 son conjuntos compactos disjuntos cuya unión es i'>..
Son por consiguiente abiertos; además no e Ko, ni e K 1 • Resulta que no = Ko, con
lo que termina la demostración.
Hemos probado también, incidentalmente, que las fronteras de los conjuntos
abiertos tienen medida O, pues me
no) = m(Ko)'
Concluimos con una aplicación a la teoría de la medida. Si E y F son conjuntos
medibles, se dice que F casi contiene a E si F contiene a E excepto un conjunto
de medida cero, es decir, si meE - F) = O.
de Banach conmutativas 283
Involuciones
Por consiguiente,
= h(x) E hE /J),
o, de manera equivalente,
y =J(x),
como en la definición 10.26. Entonces y2 = x, por el teorema 10.27. Probaremos
que y* = y.
Como O es simplemente conexo, el teorema de Runge proporciona polino-
mios que convergen a j; uniformemente sobre los subconjuntos compactos
de O. Definamos Qn por
(2)
Como fCA) = f(A) , los polinomios Qn convergen a f de la misma forma. Definamos
(3) (n = 1,2,3, ... ).
Por (2), los polinomios Qn tienen coeficientes reales. Como x = x*, resulta que
Yn = y;. Por el teorema 10.27,
(4) y = limYn'
n~oo
(6) x = u2 - V
2
+ 2iuv.
Sea h cualquier homomorfismo complejo de A. Como v E R, h(v) = O. Por tanto,
h(x) = [h(U)]2. Por hipótesis, 0"" cr(x). Por consiguiente, h(x) =1- O; así pues, h(u) =1- O.
Por el teorema 11.5, u es inversible en A. Como x = x*, (6) implica que uv = O.
Como v =u- 1 (uv), concluimos que v = 0, lo que termina la demostración.
Observación. Si cr(x) e (O, 00), entonces también cr(y) e (O, 00). Esto se deduce
de (1) (definición de y) y del teorema de la aplicación espectral.
288
ApUC:llClí[)n€~S a no conmutativas
y
de Banach conmutativas
y (b) implica por tanto que Ilexe - ull :S:: ex. Por la misma razón, II~e - vii :S:: ~. Por
consiguiente,
de Banach conmutativas 291
(8)
Como u = u* , cr (u) es real, por (a), luego u2 :2: 0, por el teorema de la aplicación
espectral. Además, v2 ¿ O. Por (5), z2 x ::;; O sobre Ll. Como z 2 x E B, resulta de (1)
que - z 2x :2: O. Ahora (8) y (d) implican que w*w :2: O.
Pero cr(ww*) c: cr(w*w) U {O} (ejercicio 2, capítulo 10). Por tanto, ww* :2: O.
Por (7) esto significa que z2 x ¿ O sobre Ll. Por (5), esta última desigualdad se
verifica solamente cuando x = Ix l. Por consiguiente x ¿ 0, y queda probada (e).
Finalmente, (f) es un corolario de (e).
Todavía puede demostrarse la igualdad de los espectros en otra situación, en
la cual no interviene la conmutatividad.
11.30 Definición. Una forma lineal positiva es una forma lineal F sobre un
álgebra de Banach con involución A, que verifica
F(xx*);;::: O
para cada x E A. Obsérvese que A no se supone conmutativa y que no S~ postula
la continuidad de F. (El significado del término «positivo» depende de hecho de
la involución particular que se considere.)
DEMOSTRACIÓN. Si x E A e y E A, pongamos
Con el. = 1 Y OG = i, (2) prueba que s + r e i(s - r) son reales. Por tanto, s = r.
Con y = e, esta igualdad prueba (a).
Si r = O, (b) es obvia. Si r -# O, tomemos el. == trllrl en (2), siendo t real. En-
tonces (2) se convierte en
Sea K el conjunto de todas las formas lineales positivas F sobre A que verifican
F(e) :S: l. Sea M el conjunto de todas las medidas de Borel regulares positiv~as fL
sobre ~ que satisfacen fL( ~) :S: 1. Entonces la fórmula
establece una correspondencia uno-uno entre los conjuntos convexos K y M, que trans-
forma puntos extremales en puntos extremales.
En consecuencia, las formas lineales multiplicativas sobre A son precisamente
los puntos extremales de K.
Entonces
(4) <D(yy*) = F(xx*yy*) = F[(xy)(xy)*] ¿ O,
y también
(5) (F - <D)(yy*) = F[(e - xx*)yy*] = F(Z2yy*) = F[(yz)(yz)*] ¿ O.
Como
(6) O:'S: <D(e) = F(xx*) :'S: F(e)[[xx*[[ < 1,
(4) Y (5) prueban que <I> y F - <I> pertenecen a K. Si <I>(e) = O, entonces <I> = O.
Si <I>(e) > O, (6) prueba que
<D F-<D
(7) F = <D(e) . <D(e) + (F - <D)(e) . F(e) _ <D(e)'
(9)
296 Análisis funcional
Ejerddos
(o:h)(x) = h(f(x» (x E A, h E tl B ).
Probar que o: es un homeomorfismo de tl B sobre un subconjunto compacto de tl A • [El hecho
de que 'IjJ(A) es densa en B implica que o: es uno-uno y que la topología de tl B es la topología
débil inducida por las transformadas de Ge1fand de los elementos 'IjJ(x), para x E A.]
Sean A el álgebra disco, B = C(K), donde K es un arco en el disco unidad y sea 'IjJ la apli-
cación restricción de A en B. Este ejemplo prueba que o:(tl B ) puede ser un subconjunto propio
de tl A , incluso si 'IjJ es uno-uno.
Encontrar un ejemplo en el que 'IjJ(A) = B pero o:(tl B ) i= tl A •
7 En el ejemplo 11.13 (b) se afirmó que A i= C(tl). Dar varias demostraciones de esto.
S ¿Qué propiedades de la medida de Lebesgue se usan en el ejemplo 11.13 (f)? ¿Puede sustituirse
la medida de Lebesgue por una medida positiva sin cambiar los resultados?
Proporcionar los detalles para el último párrafo del ejemplo 11.13(1).
Usando la notación del ejemplo 11.13(1), probar que meS) = meS) para cada conjunto
de Borel S e tl. Por consiguiente las fronteras de los conjuntos de Borel tienen medida O.
(En el texto se probó esto para conjuntos abiertos.)
9 Sea C' el álgebra de todas las funciones complejas sobre el intervalo unidad [O, 1] diferenciables
con continuidad, con la multiplicación punto a punto, normada por
lilll = 11/1100 + 111' 1100 .
(a) Probar que C' es un álgebra de Banach conmutativa semisimple. Deter'minar su espacio
de ideales maximales.
(b) Fijemos p, O:s: p:S: 1; sea J el conjunto de todas las lEC' para las que f(P) = f'(P) = O.
Probar que J es un ideal cerrado de C' y que C'/J es un álgebra de dimensión dos que tiene
un radical unidimensional. (Esto proporciona un ejemplo de un álgebra semisimple con
un álgebra cociente no semisimple.) ¿A cuál de las dos álgebras descritas en el ejercicio 14
del capítulo lOes isomorfa C' / J?
10 Sea A el álgebra disco. Asociemos a cada I E A una función/* E A por la fórmula
I*(z) = I(z).
de Banach conmutativas
f-+ f/(t)d¡;,(t)
Sea A el álgebra de todas las matrices complejas 2 por 2, con la correspondiente norma de
operadores:
X
= (O1 t
2
O·
)
,
2:
i,j=l
c,cJ<P(x¡ - Xj) ~O
(b) Probar que la transformada de Fourier de cualquier medida de Bore! finita y positiva
sobre Rn es definida positiva.
(c) Completar el siguiente esbozo del recíproco de (b) (teorema de Bochner): Si </> es continua
y definida positiva, entonces</> es la transformada de Fourier de una medida de Borel finita
y positiva.
Sea A el álgebra de convolución V(Rn) a la que se ha adjuntado una unidad, como se
describe en la parte (d) de la sección 10.3 y en la parte.(e) de la sección 11.13. Definamos
/(x)= f( -x). Probar que
1+ a8 --+! + &8
es una involución sobre A y que
1+ a8 --+ J I cp dm + acp(O)
Rn
n
es una forma lineal positiva sobre A. Por el teorema 11.32 y la parte (e) de la sección 11.13,
existe una medida positiva [l sobre el compactificado por un punto Li de Rn, tal que
f f cp
R"
dm n = f/
R"
da
para toda f E V(R n). Por consiguiente, </> = &. (De hecho, [l está ya concentrada en Rn,
así que a = [l.)
(d) Sea P el conjunto de todas las funciones continuas definidas positivas </> sobre R n que
verifican </>(0) ~ 1. Determinar todos los puntos extremales de este conjunto convexo.
15 Sea Li el espacio de ideales maximales de un álgebra de Banach conmutativa A. Un conjunto
x
cerrado {J e Li se llama una A-frontera si el máximo de 1 1 sobre Li es igual a su máximo so-
bre {J, para todo x E A. (Evidentemente, Li es una A-frontera.)
Probar que la intersección DA de todas las A-fronteras es una A-frontera.
DA se llama frontera de Shi/ov de A. La terminología está sugerida por la propiedad del
módulo máximo de las funciones holomorfas. Por ejemplo, cuando A es el álgebra disco,
entonces DA es el círculo unidad, que es la frontera topológica de Li, disco unidad cerrado.
Esquema de la demostración: Probar en primer lugar que existe una A-frontera {Jo que es
minimal en el sentido de que ningún subconjunto propio de {Jo es una A-frontera. (Se ordena
parcialmente la colección de las A-fronteras por inclusión de conjuntos, etc.) Tomemos enton-
ces ho E {Jo, XI> . •• , X n E A tales que xi(ho) = O Y pongamos
v= {h E Li: x¡(h) 1 <1 para 1:S::: ¡:s::: n}.
Como {Jo es minimal, existe x E A tal que [[x [['" = 1 y 1x(h) 1< 1 sobre {Jo - V. Si y = x m y m
es suficientemente grande, entonces 1x¡y 1< 1 sobre {Jo, para todo i. Por consiguiente, [[x¡y[[",< lo
De todo esto se puede concluir que 1y(h) 1= [[y [[",'solamente en V, luego que V corta a toda A-
frontera {J y finalmente que ho E {J. Por consiguiente {Jo e {J y {Jo = 8 A·
16 Sean A un álgebra de Banach, m un entero, m 2 2, K < 00 y supongamos que
para todo x E A. Probar que existen constantes Kn ~ 00, para n = 1, 2, 3, ... , tales que
[[x[[n [[x n[[
:s::: Kn (x E A).
(Esto extiende el teorema 11.12.)
Algebras de Banach conmutativas 299
17 Sea {w n } ( - 00 < n < 00) una sucesión de números positivos tales que W
o= 1 Y
W m + n ::;: W m W n
para todo par de números enteros m y n. Sea: A = A{wnf el conjunto de todas las funciones
complejas f sobre los enteros para las que la norma
00
Ilfil= ¿ /f(n)/w n
(f * g)(n) = ¿
k=-oo
f(n - k)g(k).
Hechos fundamentales
n=l
Por tanto, la convergencia fuerte (a) y la convergencia débil (e) son equivalentes
para series de vectores ortogonales.
DEMOSTRACIÓN. Como (Xi' Xj) = O si i =1= j, la igualdad
(1) Ilxn + .,. + x",1I = IIxnl12 + '" + IIxm l1 2
2
es válida siempre que n ~ m. Por tanto, (h) implica que las sumas parciales de
L X n forman una sucesión de Cauchy en H. Como H es completo, (h) implica (a).
La desigualdad de Schwarz prueba que (a) implica (e). Finalmente, supongamos
que se verifica (e). Definamos An E H* por
n
(2) AnY = ¿(y, Xi) (y E H, n = 1,2,3, ., .).
i=l
Por (e), {~y} converge para todo y € H; por tanto, {IIAnll} es acotada, en virtud
del teorema de Banach-Steinhaus. Pero
(3)
Por consiguiente, (e) implica (b).
()peradores acotados
RUDIN-20
306 Análisis funcional
y también que
(2) IIT*II = IITII·
Afirmamos que T ---+ T* es una involución sobre f!JJ(H), es decir, que se verifican
las cuatro propiedades siguientes:
(3) (T + S)* = T* + S*.
(4) (rxT)* = aT*.
Hemos probado por tanto que f!JJ(H) es una B*-álgebra respecto de la involución
T ---+ T* definida por (1).
Uy) =
Por (a) implica (b). Es evidente que (b) implica (e). Si se verifica Ce), entonces
(U*Ux, x) = (Ux, Ux) = [[ UX[[2 = [[X[[2 = (x, x)
para todo x € luego U* U = l. Pero (e) implica también que U es una isometría
lineal de H en luego U es inversible en &!(H). Como U* U = 1, U-l = U* y,
por tanto, U es unitario.
Nota: La equivalencia de (a) y (b) prueba que los operadores unitarios son pre-
cisamente aquellos isomorfismos lineales de H que preservan el producto interior.
Luego son los automorfismos del espacio de Hilbert.
La equivalencia de (b) y (e) es también consecuencia del ejercicio 2.
12.14 Teorema. Cada una de las cuatro propiedades siguientes de una pro-
yección P € &!(H) implica las otras tres:
(a) P es autoadjunta.
(b) P es normal.
(e) fJ1l.(P) =.#'(P)l-.
(d) (Px, x) = IIPxl1 2 para todo x € H.
La propiedad (e) se expresa frecuentemente diciendo que P es una proyección
ortogonal.
DEMOSTRACIÓN. Es evidente que (a) implica (b). La parte (b) del teorema 12.12
prueba que.#'(P) = fJ1l.(P)l- si P es normal; como P es una proyección, fJ1l.(P) =.#'(1-P)
luego fJ1l.(P) es cerrado. Resulta ahora del corolario del teorema 12.4 que (b) im-
plica (e).
Si se verifica (e), cada x € H es de la forma x = y + z con y 1- z, Py = O,
pz = z. Por consiguiente, Px = z y (Px, x) = (z, z). Esto prueba (d).
Finalmente, supongamos que se verifica (d). Entonces
[[pX[[2 = (Px, x) = (x, P*x) = (P*x; x).
La última igualdad se verifica porque IlPxl1 2 es real y (x, P*x) = IIPxI1 2 • Por tanto
(Px, x) = (P*x, x) para todo x € H, luego P = P*, en virtud del teorema 12.7.
Por consiguiente, (d) implica (a).
Sean x e y dos elementos que conmutan en algún álgebra de Banach con invo-
acotados en un de Hilbert 309
Resoluciones de la 'identidad
12.20 El álgebra LOO(E). Sea E una resolución de la identidad sobre WC, como
antes. Sea f una función compleja IDl:medible sobre D. Existe una colección nume-
rable {Di} de discos abiertos que forma una base para la topología de <l. Sea V
la unión de todos los Di para los que E(f-l(Di» = O. Por la proposición 12.19,
E(f-l(V» = O. Además, Ves el mayor subconjunto abierto de <l con esta propiedad.
El recorrido esencial de f es, por definición, el complementario de V. Es el menor
subconjunto cerrado de <l que contiene af(p) para casi todo p € D, es decir, para
todo p € D excepto para aquéllos que pertenecen a un conjunto w € IDl tal que
E(úJ) = O.
Se dice que f es esencialmente acotada cuando su recorrido esenciales acotado
y, por ende, compacto. En tal caso, el mayor valor de IAl, cuando A recorre el re-
corrido esencial de f, se llama supremo esencial llflloo de f
Sea B el álgebra de todas las funciones complejas 9Jl-medibles acotadas sobre D;
con la norma
312 Análisis funcional
Ilfll = SUp {I 1: PE
se ve fácilmente que B es un álgebra de Banach y que
N={fEB: Ilflloo =O}
es un ideal de B que es cerrado, en virtud de la proposición 12.19. Por consiguiente,
B/N es un álgebra de Banach que denotaremos (corno se hace habitualmente)
por Loo(E).
La norma de toda clase [f] = f + N de LOO(E) es entonces igual a Ilflloo, y su
espectro cr([fD es el recorrido esencial de f Corno se hace habitualmente en teoría
de la medida, no distinguiremos entre f y su clase de equivalencia [J].
Si {w~, ... , w~} es otra partición de esta clase y t = ~j sobre w;, entonces
'l'(s)'l'(t) =I (X¡f3¡E(w¡)E(wj) =I (X¡f3 j E(w¡ n wj).
i,j i.j
Como st es la función simple que es igual a (f..i~j sobre Wi n w;, resulta que
acotados en un de Hilbert
= "r(st).
Un argumento completamente análogo que
(8) + f3t) = cx"r(s) + f3"r(t).
Si x € H e y € (5) conduce a
(9) ("r(s)x, y) = ¡t1CX¡(E(úJ¡)X, y) = ¡t1CX¡Ex'/úJ¡) = ts dEx,y.
El teorema espectral
El aserto más importante del teorema espectral es que cada operador normal
314 Análisis
(4) y)
es una forma lineal acotada sobre C(~), de norma :S:: Ilxllllyll, ya que IITlloo = IITII.
El teorema de representación de Riesz proporciona así medidas complejas de Borel
regulares únicas !Lx, y sobre ~, tales que
(5) (Tx, y) = JTd/lx,y
A
(x E H, y E H, TE A).
Cuando T es real, Tes autoadjunto, luego (Tx, y) y (Ty, x) son complejos con-
jugados. Por consiguiente
(6) /lx. y = /ly. x (x E H, Y EH).
Para T E A prefijado, el primer miembro de (5) es lineal en x y semilineal en y.
La unicidad de las medidas !Lx.y implica entonces que !Lx.y( ú) es, para cada conjunto
de Borel ú) e ~, una forma sesquilineal. Como II!Lx,yll :S:: Ilxllllyll, resulta que
(7) JI d/lx. y
A
es una forma sesquilineal acotada sobre H, para cualquier función de Borel / aco-
tada sobre ~. Por el teorema 12.8 a cada una de tales/le corresponde un operador
<P(f) E f4(H)
(8) (<I>(f)x, y)
•
= JI d/lx.y
A
(x E H, Y EH).
Además, toda proyección E( (ú) conmuta con cualquier S E PlJ(H) que conmute con T.
acotados en un de Hilbert
por f(T).
Utilizando esta notación, parte del contenido de los teoremas 12.21 a 12.23
puede resumirse como sigue:
La aplicación f -';- f(T) es un homomorfismo del álgebra de todas las funciones
acotadas de Borel sobre cr(T) en 8iJ(H), que lleva la función 1 a 1, que transforma
la función identidad sobre (j(T) en T y que verifica
Si .in -';- f uniformemente, entonces 11.f;,(T) - l(T) 1 ---* O cuando n -';- oo.
Si S E 8iJ(H) Y ST = TS, entonces Sf(T) = f(T)S para toda función acotada de
Borel f
318 funcional
el conjunto de todos los A E cr(T) para los que lA - Aol < s. Si E es la descomposición
espectral de T, entonces la parte (b) del teorema 12.22 implica que E(w) =¡6 O. Por
consiguiente, existe X o E H tal que Ilxoll = 1 Y E(w)xo = x o'
Definamosf(A) = A - AO para A lO w; pongamosf(A) = O para los demás A E cr(T).
Entonces
f(T) = (T - AoI)E(w),
luego
f(T)xo = Tx o - Ao X o .
Por consiguiente,
I(Tx o , x o) - I I
..1.0 = (f(T)x o , x o) I : : ; I f(T) I ::::; e,
ya que IfCA)1 < s para todo A E cr(T). Esto implica (1) por ser IAaI = IITII.
propios (ejercicio 20). Pero los operadores normales sin embargo tienen subespacios
invariantes que son no triviales (es '" {O} Y '"
En efecto, sea A un álgebra normal, como en el teorema 12.22 y sea E su reso-
lución de la identidad sobre los subconjuntos de Borel de IJ,.. Si IJ,. está formado
por un solo punto, entonces A consiste en los múltiplos escalares de 1 y todo sub-
espacio de H es invariante por A. Supongamos que IJ,. = W U donde w y w'ú}/,
son conjuntos de Borel no vacíos y disjuntos. Sean M y M' los recorridos de E(w)
y E(w Entonces TE(w) = E(w)T para todo T € A. Si x € M, resulta que
l
).
Tx = TE(w)x = E(w)Tx,
luego Tx € M. Lo mismo vale para MI.
Si TE !!4(H) es normal, sus valores propios guardan una relación sencilla con
su descomposición espectral (teorema 12.29). Esta relación se deducirá de la si-
guiente aplicación del cálculo simbólico:
w -'¡- E( w)x (proposición 12.18) entonces que E(w)x = O. Pero E(w) +E( wo)=I.
Por consigUlente E( wo)x = x. Hemos que
(5)
x= ¿Xi'
i= 1
+ + Ilxll,
Como cada Ex,x es una medida positiva y A¿ O sobre (j(T), tenemos (Tx, ¿ O.
Por tanto, (b) implica (a).
12.33 Teorema, Todo T € !J8(H) positivo tiene una única raíz cuadrada posi-
tiva S € !J8(H). Si T es inversible, también lo es S.
luego T* T ¿ O. (¡En el contexto más abstracto del feorema 11.28 resultó mucho
más difícil demostrar este resultado !).
A continuación, si P € !J8(H) Y P = P*, entonces
(2) (P 2 x, x) = (Px, Px) = IIPxl1 2 (x EH).
Por el teorema 12.7, resulta que IIPxl1 = IITxl1 para todo x € H si,y sólo Si,P2 = T*T.
Esto completa la demostración.
El hecho de que todo número complejo Apueda factorizarse en la forma A = exlAI,
acotados en un de
12.35 Teorema.
M = TNT- 1 .
Si T = UP es la descomposición polar de T, entonces
(2)
Dos operadores M y N que verifican (1) suelen llamarse semejantes. Si U es
unitario y se verifica (2), se dice que M y N son unitariamente equivalentes. Por
tanto, el teorema asegura que los operadores normales son en realidad unitaria-
mente equivalentes.
y = IIzl120
DEMOSTRACIÓN. Sea «parte real» de el espacio vectorial real formado
por los elementos hermitianos de A y sea P el de todos los x E tales
que a(x) e 00). Con la terminología de la definición 11.27, x E P Y sólo
x ¿ O. Por el teorema 11.28, P es un cono: si x E y E Y c es un escalar positivo,
entonces ex E P Y x + y E P. Además, P contiene todos los elementos de la forma
xx*, para x E A. Para el teorema, es suficiente por tanto encontrar una
forma lineal real f sobre que verifique (1) y
(2) f(x) ¿ O para todo x E
donde l[nuCv)[[ denota la norma de 7tu (v) en Hu- La convergencia de (1) implica que
el conjunto de los 7tu (v) distintos de O es a lo sumo numerable. El producto interior
en H está dado por
(2) (v', v") = I (nuCv'), n'(v"» (v', v" EH),
u
luego el primer miembro de (1) es IIvII2 = (v, v). Dejamos como ejercicio el com-
probar que H verifica todos los axiomas de espacio de Hilbert.
Si Su E !J?J(Hu), I[S.II ~ M para todo u y se define Sv como el vector cuya coor-
denada en Hu es
(3)
se comprue~a fácilmente que Sv E H si v E H, que S E !J?J(H) y que
330
Ejercicios
(x, y) = ~ In
217 -n
Ilx + e'·YI12e'· dO.
Generalizar esto: ¿Para qué funcionesfy medidas ¡.t sobre un conjunto Q se verifica la identidad
(Véase el teorema 12.5.) Probar que H* es un espacio de Hilbert, respecto al producto interior
[x*, y*] = (fy*, fx*).
Si q,: H**-.¿. H* verifica z**(y*) = [y*, q,z**] para cualesquiera y* € H* Y z** E H**, probar
que 1fJq, es un isomorfismo de H** sobre H cuya existencia implica que H es reflexivo.
5 Sea {Un} una sucesión de vectores unitarios en H (es decir, tales que Ilunll = 1) Y supongamos
que
acotados en un
1
2
< oo.
Probar que si {lXi} es cualquier sucesión de escalares, entonces
si a(U) es un subconjunto propio de la circunferencia unidad, pero que esta norma no es nunca
menor que 1 cuando a(U) cubre toda la circunferencia unidad.
Nota: El hecho de que a(U) esté sobre la circunferencia unidad está contenido en el teo-
rema 12.26 pero se puede demostrar de una mane~a mucho más elemental. Encontrar una de-
mostración de este tipo.
8 Probar el teorema 12.34 con PU en lugar de UP.
9 Sea T = UP la descomposición polar de un elemento inversible T E fJiJ(H). Probar que T es
normal si,Y sólo si,UP = PU.
10 Probar que todo T E fJiJ(H) normal e inversible es la exponencial de algún S E fJiJ(H) normal.
11 Sean N E fJiJ(H) normal y TE fJiJ(H) inversible. Probar que TNT-l es normal siS sólo si,N
conmuta con T*T.
12 (a) Sean S E fJiJ(H), TE fJiJ(H) operad9res normales tales que ST = TS. Probar que S + T
y ST son normales.
(b) Si, además, S?- O y T?- O (véase el teorema 12.32), probar que S + T?- O Y ST?- o.
(e) Probar, sin embargo, que existen S?- O y T?- O tales que ST no es ni siquiera normal
(naturalmente, entonces ST=j= TS). En efecto, tales ejemplos existen cuando dim H = 2.
13 Si TE fJiJ(H) es normal, probar que T* = UT para algún U unitario. ¿Cuándo es único U?
14 Supóngase que TE fJiJ(H) Y que T*T es un operador compacto. Probar entonces que Tes
compacto.
15 Encontrar un TE fJiJ(H) no compacto tal que T2 = O. ¿Puede ser normal tal operador?
16 Supóngase que TE fJiJ(H) es normal y que a(T) es un conjunto finito. Dedúzcase toda la in-
formación que se pueda acerca de T.
17 Con las hipótesis de la parte (d) del teorema 12.29, probar que la ecuación T y = x tiene una
s21ución y EH si,y sólo si,
i=1
L 1'\'¡-21Ix,l12 < oo.
332 Análisis funcional
(m = 0, 1,2, ... ).
24 Probar que dos espacios de Hilbert separables de dimensión infinita son isométricamente iso-
morfos (vía de bases ortonormales numerables; véase [23]). Probar que el espacio H del teo-
rema 12.38 es separable. Probar que la respuesta a la cuestión que precede al teorema 12.38
es, pues, negativa para todo H de dimensión infinita, separable o no.
25 Sean TE iJ1J(H) normal, J una función acotada de Borel sobre a(T), y S = J(T). Si ET y Es
son las descomposiciones espectrales de T y S, respectivamente, probar que
acotados en un de 333
Es(w) =
Q -(~
O
O
1
O
O
1
O
O ~) S~(~
O
O
O
O
O
O
O
O ~) T{ O
O
O
O
O
O
O
O ~)
Como en el ejercicio 27, definamos
M# = Q- 1 M*Q (MEA).
(a) Probar que S y Tson normales respecto de la involución"', que ST'" # T'" S, pero que ST=
= TS.
(b) Probar que S + T no es "'-normal.
(e) Comparar lISS"11 con IISI12.
(d) Calcular el radio espectral peS +
S"'); probar que es distinto de liS S"'II. +
(e) Definir V = (Vij) E A así: V12 = V 24 = i, V31 = V43 = - i, Vij = O en otro caso. Calcular
a(VV"'); éste no está contenido en [O, col.
La parte (a) prueba que el teorema 12.16 cae en defecto para algunas involuciones. La
parte (b) hace 10 mismo para la parte (a) del ejercicio 12; las partes (e), (d) y (e) muestran que
varias partes del teorema 11.28 dejan de ser ciertas para la involución"'.
29 Sea X el espacio vectorial de todos los polinomios trigonométricos sobre la recta real: éstos
son funciones de la forma
f(t) = c,e"" + ... + en eiSn',
donde s" E R Y e" E e para 1:::;: k:::;: n. Probar que
para todo x E H?
32 Sea X un espacio de Banach uniformemente convexo. Esto significa, por definición, que las
condiciones
IIYnl1 :::;; 1,
implican que Ilxn- Ynll--+ o.
Por ejemplo, todo espacio de Hilbert es uniformemente convexo.
(a) Probar que el teorema 12.3 es válido en X.
(h) Supongamos que Ilxnll = 1, A E X*, IIAII = 1 y que Axn--+ 1. Probar que {Xn} es una
sucesión de Cauchy (en la topología nórmica de X). Indicación: Considerar A(xn + xm).
(e) Probar que todo A E X* alcanza su máximo sobre la bola unidad cerrada de X.
(d) Supongamos que X n-)- x débilmente y que Ilxnll--+ Ilxll. Probar que Ilxn - xll--+ O. Indi-
cación: Reducirlo al caso Ilxnll = 1. Considerar A(xn + x), para un A conveniente.
(e) Probar que las cuatro propiedades anteriores caen en defecto en algunos espacios de Ba-
nach (por ejemplo, en L 1 o en C). Estos espacios no son, pues, uniformemente convexos.
33 Probar la afirmación para el caso dim H < 00 hecha en la nota que sigue al teorema 12.35.
13
Introducción
o
f(ig') = (1, Tmg)
=
Supongamos ahora que g E !J1(Ti:) yo/ = T¡;g. Pongamos <ll(x) = f~ o/. Entonces,
para j E !J1(T/c),
(5) Jif'g
1
o
= (Td, g) = (f, cp) = f(l)<I>(l) -J f'CD.
o
1
RUDIN-22
338 funcional
xy - yx i= e.
En la siguiente demostración debida a Wielandt, incluso no se usa ni siquiera
la completitud de A.
(1)
que se ha supuesto válida para n = 1. Si se verifica (1) para algún entero positivo n,
entonces xn i= O y
Operadores no 339
+ (x"y -
- yx) yx")x
= x"e + nx"-lx = (n +
luego se verifica con n + 1 en lugar de n. Resulta que
n//x"-l// = //x"y - yx"// s 2//x"////y// S 2//x"-¡ ////xll//y//,
o bien n ~ 211xllllyll, para todo entero positivo n. Esto es obviamente imposible.
y
(3) H x H = V~( - T) EB ~(- T) = ~(T-l) EB V~(T-
En consecuencia,
(4)
+ e (1 + T*T) B = l.
Además, B ¿ °
y T*T es autoadjunto.
(h) Si T'es la restricción de T a f»(T*T), entonces '1J(T') es denso en '1J(T).
Aquí y en lo que sigue la letra 1 denota el operador identidad con dominio
por (2). Por tanto, B ¿ O y B es autoadjunto (teorema 12.32) y la parte (h) del
teorema 13.11 prueba ahora que Q es autoadjunto y, por consiguiente, también
lo es T*T = Q - I.
Esto completa la demostración de la parte (a).
Como T es un operador cerrado, '1J(T) es un subespacio cerrado de H X H;
por tanto, '§\T) es un espacio de Hilbert. Supongamos que {z, Tz} € '1J(T) es orto-
gonal a '1J(T'). Entonces, para cada x € f»(T*T) = f»(Q),
0= ({z, Tz}, {x, Tx}) = (z, x) + (Tz, Tx) = (z, x) + (z, T*Tx) = (z, Qx).
Pero ~(Q) = H. Por consiguiente z = O. Esto prueba (h).
HHC'LH~UU que S = T,
13.15 Teorema. Los operadores autoadjuntos son maximalmente simétricos,
La transformada de Cayley
13.17 Definición. La aplicación
t - i
(1) t-+--
t +i
presenta una correspondencia uno-uno entre la recta real y el círculo unidad (me-
nos el punto 1). El cálculo simbólico estudiado en el capítulo 12 prueba, pues, que
todo TE /J?J(H) autoadjunto da lugar a un operador unitario
(2) U = (T - iI)(T + iI)-l
y que todo operador unitario cuyo espectro no contenga el punto 1 se obtiene de
esta forma.
Esta relación T......,. U se extenderá ahora a una correspondencia uno-uno entre
344 Análisis funcional
los operadores simétricos por una parte y las isometrías por otra.
Sea T un operador simétrico en H. El teorema 13.16 prueba que
(3) IITx + ixl1 2 = IIxl1 2 + IITxl1 2 = IITx - ixl1 2 (x E 22(T)).
Por consiguiente existe una isometrÍa U, tal que
(4) 22(U) = (lJt(T + iI), (lJt(U) = (lJt(T - iI),
definida por
(5) U(Tx + ix) = Tx - ix (x E 22(T)).
Como (T + il)-l aplica 22(U) sobre 22(T), U se puede escribir también en la
forma
(6) U = (T - iI)(T + 11)-1.
Este operador U se llama transformada de Cayley de T. Sus principales propie-
dades se resumen en el teorema 13 .19. Gracias a ellas podremos dar una demos-
tración sencilla del teorema espectral para operadores auto adjuntos (no necesaria-
mente acotados).
13.18 Lema. Sea U un operador en H que es una isometría: [[Ux[[ = [[x[[ para
todo x €O22(U).
(a) Si x €O 22(U) e y €O 22(U), entonces (Ux, Uy) = (x, y).
(b) Si PIt(l - U) es denso en H, entonces 1 - U es uno-uno.
(e) Si uno cualquiera de los tres espacios 22(U), PIt(U) y 'Y(U) es cerrado, también
lo son los otros dos.
Resoluciones de la identidad
(2)
(6) (m dDl),
y, por tanto,
y que satisface
(2)
C 'P(fg) y
para todo x E !!dI. Como fn es acotada, se verifica (2) con fn en lugar de f ( teo-
rema 12.21). Por consiguiente (7) implica que (2) es válida como se había afirmado.
Esto prueba (a), excepto la afirmación de que 'F(f) sea cerrado. Esta se deduce
del teorema 13.9 si se aplica la fórmula (4) (que acabamos de probar) al en lugar de!
Vamos con la demostración de (b).
Supongamos en primer lugar que f es acotada. Entonces !!d fg c!!d g • Si Z EH
y v = 'P(J)z, la ecuación (3) del lema 13.23 y el teorema 12.21 prueban que
('P(f)'P(g)x, z) = ('P(g)x, 'P(f)z) = ('P(g)x, v)
Sea ahoral arbitraria (posiblemente no acotada). Como (9) se verifica para toda
I LOO, se verifica para toda I medible. Como 21('P'(f)'F(g» está formado por todos
E
los x E 21g tales que y E 21f Y (9) prueba que y E 21f si,y sólo sLx E 21fg , vemos que
(lO)
Si x E 21g n 21fg , si y = 'P'(g)x y sí las truncadas In se definen como antes, en-
tonces In ---+ len V(Ey,y), Ing ---+ Ig en V(Ex,x) , y ahora (8) (con In en lugar de f)
y (2) implican
'P(f)'P(g)x == 'P(f)y = lim 'P(fn)y = lim 'P(fng)x = 'P(fg)x.
n-i>cO n-+co
(14) f
n
1 Jn 1 2 dEz, z = fn
1 <Pn i 2 dEv, v ::o;; Ev, v(Q)
para n = 1,2,3, ... , Por tanto z E 21f Y (4) queda probada.
Finalmente, (5) se deduce de (4) aplicando de nuevo el teorema de multiplica-
ción, puesto que 21J¡ e 21f .
Wn={dEQ: If(P)I<~}.
Elijamos x n E 87t(E(w n»), Ilxnll = 1; sea rPn la función característica de (0n' El argu-
mento utilizado en (a) conduce a
El teorema espectral
(1) (Ax, y) = r
resolución de la identidad E, sobre los subconjuntos deBorel de la recta real, tal que
-OCJ
t dExjt) (x E ~(A), Y EH).
Además, E está concentrada sobre cr(A) e ( - 00, 00), en el sentido de que
E(cr(A)) = J.
Como antes, esta E se llamará descomposición espectral de A.
Definamos
Por la parte (e) del teorema 13.27, cr(A) es el recorrido esencial de! Por tanto,
cr(A) e ( - 00, (0). Observemos que I es uno-uno en O. Si definimos
donde .s?(A) = {x EH: J t 2 dEx,it) < oo} dominio de integración es [O, 00).
Sea s(t) la raíz cuadrada no negativa de t ¿ O Y pongamos B = 'F(s); explícitamente,
(3) (Cx, y) = r) o
s dE~,y(s) (x E .s?(C),y EH).
(5)
Por (1) y (5), la conclusión de unicidad del teorema 13.30 prueba que E' = E.
Por (4), E determina E C y, por tanto, C.
Las siguientes propiedades de los operadores normales se utilizarán en la de-
mostración del teorema espectral 13.33.
rema 13.13, {x, Nx} está en la adherencia del grafo de N'. Por consiguiente, existen
vectores Yi E ::»(N* N) tales que
y
(3) IINy¡ - Nxll - O cuando i _ oo.
Por (1), IIN*Yi - N*yjll = IINYi - Nyjll y, por tanto, (3) implica que {N*Yi} es una
sucesión de Cauchy en H, Por tanto, existe Z E H tal que
(4) IIN*Yi - zll - O cuando i _ oo.
Por el teorema 12.23, cada tiene una descomposición espectral Ei, definida
sobre los subconjuntos de Borel de C.
Como N aplica !!ll(Pi ) en !!ll(Pi ), conmuta con Por consiguiente, con-
muta con Ei( w), para todo conjunto de Borel w e C luego
(12) (XE i=1,2,3, ... ).
Como estos recorridos son ortogonales dos a dos y (5) implica
(16)
(18) .I J
~=1
IJel
2
dE~i,XP) = .I
1=1
IINPi x;[1 =
2
.I
1=1
2
IlP;NxI1 = IINxI1
2
.
De (17) Y (18) resulta que la integral de (16) es finita para todo x E f0(N). Por con-
siguiente,
(19) f0(N) e f0(M).
Si x E !!ll(Pi), entonces x = Pix y, por tanto, E( w)x = Ei( w)x; así pues Ex,y = E;,y
para todo y E H. Por consiguiente,
(Nx, y) = (NPix, y) = JJe dE!jJe) = JJe dEx,iJe ) = (Mx, y).
En consecuencia,
(20) PiNx = NPix = MP¡x [x E f0(N), i = 1,2,3, ... ].
Si Qi = PI + ... + Pi' resulta que QiNx = MQiX. Por tanto,
no 359
Por consiguiente,
(27) E(w) = QE(w) = QE'(w) si wc w.
Por el teorema 13.24, QN e NQ = QNQ, luego
(28) (QSQ)(NQ) = ·QSNQ e QNSQ e (NQ)(QSQ).
Como (QSQ)(NQ) E f%J(H), las inclusiones de (18) son en realidad igualdades. El
teorema 12.23 implica ahora que QSQ conmuta con toda E'(w).
Consideremos un w acotado y tomemos n suficientemente grande para que
w e w. Por (27)
Semigrupos de operadores
y
(d) para cada x E
t}
exp (tA e) = e-t/e exp - Q(e) = e-t/e I - - n -
00 . tnQ(ne)
e {
n=O n!e
y da
n
co t 1 +ne {e _
[[exp (tAe)[[ :::;; e-t/e I _y--n = yexp t _y-
1} .
n=O n!e e
(5) [[exp (tA e )[[ :::;; Yexp (tI') (O <e:::;; 1,0:::;; t< 00).
Después de estos preparativos, volvemos a la parte esencial de la demostración.
°°
Si x E X Y s> (1) prueba que existe "Y) = "Y)(x, s) > °
tal que IIQ(t)x - xii < s
si O :S: t :S: "Y). Si :S: s :S: t :S: s + "Y) :S: n, resulta de (4) que
[[ Q(t)x - Q(s)x[[ = [ Q(s) [Q(t - s)x - x][[
:::;; [[ Q(s)[[ [[ Q(t - s)x - x[[ :::;; yn+ J e.
362 Análisis funcional
Esto prueba
Las integrales con valores en X
W x=-1
t o
J' Q~~~ (x E X, t > O)
pueden, pues, ser definidas. De hecho, Mt E 86'(X) y IIMtl1 :::;: yl +t, en virtud de (4).
Aseguramos que se verifica la identidad
en la forma
(8)
e introduzcamos el integrando Q(s)x ds. Por (3), el primer miembro de (8) se con-
vierte en
ro
[Q(e + s) - Q(s)]x ds = [Q(e) - 1] r o
Q(s)x ds = eAe tMt·
Resulta que MtX E E&(A) para todo t> O y, por tanto, E&(A) es denso en X y
Como Q(s) conmuta con Q(t), Ae conmuta con Mt. Si x E E&(A), entonces (7)
implica que, para t> O,
(13) A
ro
ds= -x.
y como
cuando s = t
exp {(t - s)A.}Q(s)x = {Q(t)(x )
exp tA ,x cuando s = O,
tenemos
Q(t)x - exp (tA,)x = r o
exp {(t - s)A,}Q(s)(Ax -A,x) ds.
La fórmula Q(t) = exp (tA) resulta ahora como consecuencia de la parte (d) del
teorema 13.35, ya que (2) implica que
(3) lim Ilexp (tA e) - exp (tA) 11 = O (O ~ t < 00).
e~O .
13.37 Teorema. Sea {Q(t) : O ::::;: t < oo} un semigrupo de operadores normales
Q(t) E f!J(H) que satisface la condición de continuidad
(1) lim II Q(t)x - xii = O (x EH).
t--+O
Nota: Aunque E1(A) pueda ser un subespacio propio de H, los operadores etA
están definidos en todo H y son acotados. Para ver esto, sea EA la descomposición
espectral de A (teorema 13.33). Como letAl ~ etA para todo A € cr(A), el cálculo
simbólico descrito en el teorema 12.21 nos permite definir operadores é A por
(4) éA= f
et ). dEA(,l)
q(A)
(O ::;; t < 00).
DEMOSTRACIÓN. Como cada Q(s) conmuta con todo Q(t), el teorema 12.16
implica que Q(s) y Q(t)* conmutan. La mínima subálgebra cerrada de 3B(H) que
contiene todos los Q(t) y los Q(t)* es, por consiguiente, normaL Sea Ll su espacio
de ideales maximales y sea E la correspondiente resolución de la identidad, como
en el teorema 12.22.
Sean!t y ae las transformadas de Gelfand de Q(t) y A., respectivamente. Entonces
fe - 1
(6) a.= -e- (e> O),
y un cálculo sencillo da
e 2
(7) a 2e - ae = 2 (ae) ,
para aquellos p € Ll para los que exista este límite (como número complejo), y
definamos b(p) = O para los restantes p € Ll. Entonces b es una función compleja
de Borel sobre Ll. Pongamos B = 'Y(b), como en el teorema 13.24, con dominio
y, por tanto,
(12) I
n=l
Iaz-n+1 - az-nl < 00 C.t. [Ex,J.
Por consiguiente, el límite (8) existe c.p.t. [Ex,x] y ahora, el lema de Fatou y (10)
implican que
(13)
tiende a O cuando e: -¿. O a través de la sucesión {2_n}, pues el integrando está aco-
tado por 4Yi t y su límite es O c.p.t. [Ex,x]' Por consiguiente, la parte (d) del teore-
ma 13.35 implica que
(16) [x E '@(A)].
Pero é b es una función acotada sobre ./l, luego etB fE !J8(H), Y como (16) prueba
que los operadores continuos Q(t) y etB coinciden sobre el conjunto denso g;1(A),
concluimos que
(17) Q(t) = e tE (O:::;;t<oo).
acotados 367
De (17) se sigue que
eeB - 1
(18) Aex - Bx = ( ----
e
y, por tanto,
Ejerddos
f(x) = - -
1 x
2
J
e'-xg(t) dt - -
_ro
1 ro
2
J
e-'g(t) dt.
x
Encontrar los recorridos de T + iI Y de T - iI; probar que uno es H2 y el otro tiene codimen-
sión 1. (Comparar con el ejemplo 13.21.)
10 Con H2 como en el ejercicio 9, definir ahora V por
(Vf)(z) = Zf(Z2).
Probar que V es una isometría que es la transformada de Cayley de un operador. cerrado y
simétrico Ten H2, cuyos índices de deficiencia son O e oo.
11 Probar la parte (c) del lema 13.18.
12 (a) En el contexto del t,eorema 13.24, ¿qué relación existe entre los operadores 'F(f + g)
y 'FU) + 'F(g)?
(b) Si f y g son medibles y g es acotada, probar que 'F(g) aplica E&f en E&f.
(e) Probar que 'FU) = 'F(g) si, y sólo si,f = g c.p.t. [E], esto es, si, y sólo si,
E({p:f(p) #- g(p)}) = O.
13 ¿Es normal el operador e que aparece en la demostración del teorema 13.33?
no 369
14 Probar que todo operador normal N en H, acotado o no, tiene una descomposición polar
N= UP=PU,
donde U es unitario, P es autoadjunto y P ¿ O. Además, [fj(P) = [fj(N).
15 Probar la siguiente generalización del teorema 12.16: Si T. g¡j(H), si M y N son operadores
normales en H y si TM e NT, entonces también TM* e N*T.
16 Sea Tun operador cerrado en Hy supongamos que [fj(T) = [fj(T*) Y que .11 Txll = IIT*xll para
todo x • [fj(T). Probar que T es normal. Indicación: Comenzar probando que
(Tx, Ty) = (T*x, T*y) (x E P2(T), y E P2(T».
17 Probar que el espectro a(T) de todo operador Ten H es un subconjunto cerrado de e. (Véase
la definición 13.26.) Indicación: Si ST e TS = 1 Y S • g¡j(H), entonces S(l- AS)-l es un
inverso acotado de T - Al, para 1íl.1 pequeño.
18 Pongamos q,(t) = exp (- t 2). Definamos S • g¡j(L2), donde L2 = L2(R), por
(Sf)(t) = cp(t)f(t - 1) (f E V),
y, por tanto, (S2f)(t) = q,(t)q,(t - 1)f(t - 2), etc. (Obsérvese que S se presenta en su descom-
posición polar S = PU.)
Determinar S*. Comprobar que
IIS"II = exp {-
en - l)n(n +
12
l)} (n = 1, 2, 3, ... ).
Concluir que S es uno-uno, que g¿(S) es denso en L2 y que a(S) = {O}. Definir T, con dominio
[fj(T) = g¿(S), por
TSf=f (fE U).
Probar que a(T) es vacío.
19 Sean TI> T 2 , T a como en el ejemplo 13.4. Pongamos
P2(T4 ) = {f E P2(Tl): feO) = O},
y definamos Td = if' para toda f € [fj(TJ.
Probar las siguientes afirmaciones.
(a) Todo íI. • <2' está en el espectro puntual de TI'
(h) a(T2) consiste en los números 2nn, donde n recorre todos los enteros; cada uno de ellos
está en el espectro puntual de T 2 •
(e) g¿(Ta - Al) tiene codimensión 1 para todo íI. .<2'. Por consiguiente aCTa) = e. El espectro
puntual de T a es vacío.
(d) a(T4) es vacío.
Indicación: Estudiar la ecuaClOn diferencial iI' - íl.f = g.
Esto ilustra lo sensible que es el espectro de un operador diferencial a su dominio (en
este caso, a las condiciones de contorno que se han impuesto).
e
20 Probar que todo subconjunto cerrado no vacío de es el espectro de algún operador normal
en H (si dim H = 00).
21 Definir operadores unitarios Q(t) E g¡j(L2), donde L2 = L2(R), por
[Q(t)f](s) = fes + t).
Probar que {Q(t)} verifica las condiciones impuestas enla definición 13.34. Determinar el gene-
rador infinitesimal de {Q(t)}. Incluir una descripción precisa de su dominio y describir su es-
pectro. (Puede utilizarse aquí el teorema de Plancherel.)
Probar que la representación exponencial de {Q(t)}, dada por el teorema 13.37, es (for-
malmente) el desarrollo de Taylor del cálculo elemental.
22 Si fE H2 (véase el ejercicio 9) y fez) =:l; cnzn, definir
CJJ
[Q(y)f](x) = -
1
71"
f
-00
00
(
X -
y
e)2
+ y Jee) de,
y poner Q(O)f = f. Probar que {Q(Y): O::;; y < oo} verifica las condiciones impuestas en la
definición 13.34 y que IIQ(y)11 = 1 para todo y.
[La integral representa una función armónica en el semiplano superior, con valores de
contorno f. La propiedad de semigrupo de {Q(Y)} puede deducirse de esto, así como consi-
derando las transformadas de Fourier de las funciones Q(y)fl
Determinar el dominio del generador infinitesimal A de {Q(Y)} y probar que
Af= -Hj',
donde H es la transformación de Hilbert (capítulo 7, ejercicio 24).
Probar que - A es positivo y autoadjunto.
A 1 ConjWltos parcialmente ordenados Se dice que un conjunto flJ está ordenado parcialmente
por una relación binaria:o;; si:
(i) a:O;; b y b:o;; c implican a:O;; c,
(ii) a:O;; a para todo a E flJ,
(iii) a:O;; b y b:O;; a implican a = b.
Un subconjunto !l de un conjunto parcialmente ordenado flJ se dice totalmente ordenado si
todo par a, b E !l verifica a:O;; b o bien b:o;; a.
El teorema de maximalidad de Hausdorff establece;
Todo conjunto parcialmefite ordenado no vacío flJ contiene un subconjunto totalmente ordenado !l
que es maximal respecto de la propiedad de ser totalmente ordenado.
Una de.mostración (utilizando el axioma de elección) puede encontrarse en [23]. Aplicaciones
explícitas del teorema aparecen en las demostraciones del teorema de Hahn-Banach, del teorema
de Krein-Milman y del teorema de que todo ideal propio en un anillo conmutativo con unidad está
contenido en un ideal maximal. Se utilizará ahora una vez más (A2) para preparar el camino a una
demostración fácil del teorema de Tychonoff.
372 Análisis funcional
X = Y1 U ... U Yn U n Vi e
n
i=l
Y1 U ... U Y n U W,
10 que contradice (b).
Recordemos que (e) significa que K puede cubrirse por un número finito de bolas de radio 8,
para cada s > o.
A 5 Teorema de Ascoli Sean X un espacio compacto, C(X) el espacio de Banach de todas las fun-
ciones complejas continuas en X con la norma del supremo y c;I> e C(X) puntualmente acotado y equi-
continuo. De manera· más explícita, ~
(a) sup {1[(x)l:f E c;I>} < 00 para todo x E X Y
(b) si s > .0, cada x E X tiene un entorno V tal que If(y) -[(X) I < 8 para todo y E Vy toda fE c;I>.
Entonces <1> es totalmente acotado en C(X).
Corolario. Como C(X) es completo, la adherencia de <1> es compacta y toda sucesión en c;I> contiene
una subsucesión uniformemente convergente.
DEMOSTRACIÓN Fijemos e: > O. Como X es compacto, (b) prueba que existen puntos Xv • •• ,
Xn E X, con entornos VI' ... ' Vn , tales que X = U Vi Y
(1) !¡(X) - ¡(x;)! < s (fE <1>, X E Vi, 1 :c;; i:C;; n).
Si se aplica (a) a Xl> . .• , X n en lugar de x, resulta de (1) que c;I> es uniformemente acotado:
(2) sup {!¡(x)!: x X,/ E c;I>} = M < oo.
E
Teorema
A K Taylor: Notes on the History and Uses of Analyticity in Operator Theory, Amer. Math.
Monthly, vol. 78, pp. 331-342, 1971.
El volumen 1 de la serie «Studies in Mathematics» (publicada por la Mathematical Association
of America, 1962, editada por R. C. Buck) contiene los siguientes artículos
E. J. McShane: A Theory of Limits
M. H. Stone: A Generalized Weierstrass Approximation Theorem
E. R. Lorch: The Spectral Theorem
C. Goffman: Preliminaries to Functional Analysis
Hay dos ediciones especiales del Bull. Amer. Math. Soc.: Una (la de mayo de 1958) está dedi-
cada al trabajo de John van Neumann; la otra (de enero de 1966), al de Norbert Wiener.
Damos ahora referencias detalla."aas para algunos puntos del texto.
Capitulo 1
Para la teoría general de espacios vectoriales topológicos, véanse [5], [14], [15], [31], [32].
Sección 1.8(e). En la definición de Banach de un F-espacio se exige solamente la continuidad
separada de la multiplicación por escalares y se prueba la continuidad como consecuencia. Véase
[4], pp. 51-53, para una demostración basada en el teorema de Baire. Otra demostración (debida
a S. Kakutani) no exige la completitud de X pero utiliza la medida de Lebesgue en el cuerpo de
escalares; véase [33], pp. 31-32.
Teorema 1.24. Este teorema de metrizabilidad fue probado primero (en el contexto más general
de grupos topológicos) por G. Birkhoff (Compositio Math., vol. 3, pp. 427-430, 1936) y por S. Ka-
kutani (Proc. Imp. Acad. Tokyo, vol. 12, pp. 128-142, 1936). La parte (d) del teorema es quizá nueva.
Sección 1.33. El funcional de Minkowski de un conjunto convexo se llama a veces su función
soporte.
El feorema 1.39 se debe a A. Kolmogoroff (STUdia Math., vol. 5, pp. 29-33, 1934). Podría ser
muy bien el primer teorema sobre espacios localmente convexos.
Sección 1.46. La construcción de la función g por sucesivos promedios puede encontrarse en las
pp. 80-84 de S. Mandelbrojt's 1942 Rice Institute Pamphlet «Analytic Functions and Classes of
Infinitely Differentiable Functions», donde se la atribuye a H. E. Bray.
Sección 1.47. Entre los F-espacios que no son localmente convexos pero tienen bastantes formas
lineales para separar puntos, tienen especial interés algunos subespacios de LP, los HP-espacios
°
(con < p < 1). Para un estudio detallado de ellos, véase el artículo de P. L. Duren, B. W. Rom-
berg y A. L. Shields en J. Reine Angew. Math., vol. 238, pp. 32-60, 1969, Y los de Duren y Shields
en Trans. Amer. Math. Soc., vol. 141, pp. 255-262, 1969, yen Paco J. Math., vol. 32, pp. 69-78,
1970.
Capítulo 2
Capítlll.o 3
El teorema 3.2 está en [2]. Su versión compleja, teorema 3.3 fue probada por,H. F. Bohnen-
blust y A. Sobczyk, Bull. Amer. Math. Soc., vol. 44, pp. 91-93, 1938, y por G. A. Soukhomlinoff,
378 Análisis
Capítulo 4
CapiMo ;;
Teorema 5.L Una versión más general puede verse en R. E. Edwards, London Math. Soc.,
vol. 32, pp. 499-501, 1957.
El teorema 5.2 se debe a A. Grothendieck, Can. J. Math., voL 6, pp. 15g-160, 1954. Su demos-
tración es menos elemental que la dada aquí.
Teorema 5.3. Para una mayor información sobre series trigonométricas con lagunas, véase
J. Math. Mech., vol. 9, pp. 203-228, 1960; también, seco 5.7 de [24] y el artículo de J. P. Kahane
en Bull. Amer. Math. Soc., vol. 70, pp. 199-213, 1964.
El teorema 5.5 fue probado primero por A. Liapounoff, Bull. A cad. Sci. URSS, vol. 4, pp. 465-
478,1940. La demostración del texto se debe a J. Lindenstrauss, J. Math. Mech., voL 15, pp. 971-972,
1966. J. J. Uhl (Proc. Amer. Math. Soc., voL 23, pp. 158-163, 1969) generalizó el teorema a medidas
con valores en un espacio de Banach reflexivo o en un espacio dual separable.
Teorema 5.7. La idea de usar el teorema de Krein-Milman para probar el teorema de Stone-
Weierstrass se debe a L. de Branges, Proc. Amer. Math. Soc., vol. 10, pp. 822-824, 1959. La gene-
ralización de E. Bishop está en Paco J. Math., vol. 11, pp. 777-783, 1961. La demostración dada
aquí es la de I. Glicksberg, Trans. Amer. Math. Soc., vol. 105, pp. 415-435, 1962.
Teorema 5.9. Bishop lo probó en Proc. Amer. Math. Soc., vol. 13, pp. 140-143, 1962. Para el
caso especial del álgebra disco, véase Proc. Amer. Math. Soc., vol. 7, pp. 808-811, 1956 Y el artículo
de L. Carleson en Math. Z., vol. 66, pp. 447-451, 1957. Otras aplicaciones aparecen en el cap. 6
de [25].
Teorema 5.10. La demostración es análoga a la que M. Heins, utiliza en Ann. Math., voL 52,
pp. 568-573, 1950 para estudiar una amplia clase de problemas de interpolación.
El teorema 5.11 fue probado por S. Kakutani en Proc. Imp. Acad. Tokyo, vol. 14, pp. 242-245,
1938.
Teorema 5.14. Esta sencilla construcción de la medida de Haar de un grupo compacto es esen-
cialmente la de van Neumann (Compositio lvlath., vol. 1, pp. 106-114, 1934). La suya es incluso
más elemental y completa, aunque un poco más larga, por no utilizar el teorema del punto fijo.
(En Trans. Amer. Math. Soc., vol. 36, pp. 445-492, 1934, utiliza el mismo método para cOfistruir
valores medios de funciones casi periódicas.) Si se sustituye la compacidad por compacidad local,
la construcción de la medida de Haar resulta más difícil. Véanse [18], [11] y [16].
El teorema 5.18 fue probado (para espacios de Banach) en Proc. Amer. Math. Soc., vol. 13,
pp. 429-432, 1962. Otros resultados sobre subespacios incomplementados pueden verse en la me-
moria AMS de 1966 de H. P. Rosenthal «Projections anta Translation-invariant Subspaces of
LP(G)>> y en su artículo de Acta Math., vol. 124, pp. 205-248, 1970. Existen también resultados posi-
tivos. Por ejemplo, Co es complementado en todo espacio de Banach separable que lo contenga
(isomórficamente) como subespacio cerrado. Una demostración muy corta de este teorema de A.
Sobczyk ha sido obtenida recientemente por W. A. Veech en Proc. Amer. Math. Soc., vol. 28;
pp. 627-628, 1971.
Capitulo 6
La referencia básica es, naturalmente, [26]. Véanse también [5], [8], [27] y [31]. [13] contiene
una introducción muy concisa al tema.
Definición 6.3.31(0) está aquí topologizado como límite inductivo de los espacios de Fréchet
31K (O). Véase [15], pp. 217-225, para una discusión sistemática de este concepto en un marco
abstracto.
CapiMo 7
Para aquellos aspectos del análisis de Fourier que están relacionados con distribuciones, nos
referimos a [26] y [13]. Los aspectos de teoría de grupos del tema se discuten en [11] y [24]. El
380 Análisis
Capítlll.o 8
Capítlll.o 9
Sección 9.1. Véanse A. Tauber, MonatSh. Math., vol. 8, pp. 273-277, 1897, y J. E. Littlewood,
Proc. London Math. Soc., vol. 9, pp. 434-448, 1910.
Teorema 9.3. Se usan distribuciones en esta demostración, como en el artículo de J. Korevaar
de Proc. Amer. Math. Soc., vol. 16, pp. 353-355, 1965.
Teorema 9.4 a teorema 9.7. N. Wiener, Ann. Math., vol. 33, pp. 1-100, 1932, Y H. R. Pitt, Proc.
London Math. Soc., vol. 44, pp. 243-288, 1938. Las demostraciones posteriores dan varias generali-
zaciones; otras referencias pueden verse en [24], p. 159. Véase también A. Beurling, Acta Math.,
B. Notas y comentarios 38
Capítulo 10
Referencias generales: [7], [12], [16], [19], [21]. En [l6] y [21] se desarrolla una gran parte
de la teoría básica sin suponer la existencia de una unidad. [21] contiene algún material sobre ál-
gebras reales.
El artículo de Gelfand (Mat.Sbornik, vol. 9, pp. 3-24, 1941) contiene los teoremas 10.2, 10.13
Y 10.14, algo sobre el cálculo simbólicO y el teorema 11..9. Para transformadas de Fourier de me-
didas, la fórmula del radio espectral ( teorema 10.13, (b» fue obtenida antes por A. Beurling (Proc.
IX Congres de Math. Scandinaves, Helsingfors, pp. 345-366, 1938). Véase también la nota al Teo-
rema 3.32.
Teorema 10.9. El caso conmutativo fue obtenido independientemente por A. M. Gleason (J-
Anal. Math., vol. 19, pp. 171-172,1967) y por J. P. Kahane y W. Zelazko (Studia Math., vol. 29,
pp. 339-343, 1968). W. Zelazko (Studia Math., vol. 30, pp. 83-85, 1968) suprimió la hipótesis de
conmutatividad. La demostración dada en el texto hace algunas simplificaciones. Véase también
el teorema 1.4.4. de [3] y J. A. Siddiqi, Can. Math. Bull., vol. 13, pp. 219-220, 1970.
Teorema 10.19. H. A. Seid (Amer. Math. Monthly, vol. 77, pp. 282-283, 1970) obtiene las mis-
mas conclusiones sin suponer que A tiene una unidad, si M = 1.
El teorema 10.20 dice que a(x) es función de x semicontinua superiormente. Un ejemplo de
Kakutani ([21], p. 282) prueba que a(x) no es, en general, función continua de x. Véase también
el ejercicio 20.
Sección 10.21. Los términos cálculo operacional o cálculo funcional se usan también con fre-
cuencia. [12] contiene un tratamiento muy completo del cálculo simbólico en álgebras de Banach.
Teorema 10.38. Estas fórmulas de diferenciación pueden ser nuevas.
Teorema 10.42. N. M. Riviere me mostró esta demostración para el caso de la función expo-
nencial actuando sobre el álgebra de todas las matrices complejas 2-por-2.
Sección 10.43. Estos resultados fueron encontrados por E. Hille (Math. Ann., vol. 136, pp. 46-57,
1958), lo mismo que el ejercicio 12.
La parte (d) del teorema 10.44 se debe a E. R. Lorch (Trans. Amer. Math. Soc., vol. 52, pp. 238
a 248, 1942).
Ejercicio 16. Es uno de los casos más sencillos del teorema de Arens-Royden para álgebras de
Banach conmutativas. Relaciona el grupo G!G1 con la estructura topológica del espacio de ideales
maximales de A. Véase el artículo de H. L. Royden en Bull. Amer. Math. Soc., vol. 69, pp. 281-298,
1963 yel de R. Arens en F. T. Birte!, ed., «Function Algebras», pp. 164-168, Scott, Foresman and
Company, Glenview, Ill., 1966.
382 Análisis
Ejercicio 17. Para la estructura precisa de GfG 1 en este caso, véase J. L. Taylor, Acta
vol. 126, pp. 195-225, 1971.
Ejercicio 25. Véase C. Le Page, C. R. A cad. Sci. París, vol. 265, pp. A235-A237, 1967.
Capitulo 11
Teorema 11.7. El caso n = 1 fue probado de forma elemental por P. J. Cohen en Proc. Amer.
Math. Soc., vol. 12, pp. 159-163, 1961. Para n > 1, la demostración del texto parece ser la única
conocida.
Teorema 11.9. Cuando A no tiene unidad, entonces 6 es localmente compacto (pew no com-
pacto) y A e Co(6). El origen de A* está entonces en la adherencia de 6. Véase [16], pp. 52-53.
La parte (d) del ejemplo 11.13 muestra por qué existen relaciones muy estrechas entre las ál-
gebras de Banach, por una parte, y las funciones holomorfas de varias variables complejas, por
otra. Estos temas no se han desarrollado en este libro. En los libros de Browder [3], Gamelin [6]
y Stout [29] se' encuentran muy buenas y actualizadas exposiciones sobre el tema. Puede desarro-
llarse un cálculo simbólico para funciones de varias variables en un álgebra de Banach. Véanse
R. Arens y A. P. Calderon, Ann. Math., voL 62, pp. 204-216, 1955, Y J. L. Taylor, Acta Math.,
vol. 125, pp. 1-38, 1970.
La parte (e) del ejemplo 11.13 muestra por qué ciertas partes del análisis de Fourier pueden
deducirse fácilmente de la teoría de álgebras de Banach. Así se hace en [16] y [24].
El teorema 11.18 fue probado por Gelfand y Naimark en Mat. Sbornik, vol. 12, pp. 197-213,
1943. En el mismo artículo probaron también que toda B*-álgebra A (conmutativa o no) es isomé-
tricamente *-isomorfa a un álgebra de operadores acotados en algún espacio de Hilbert teoremae
12.41), si e + x*x es inversible para todo x E A. El hecho de que esta hipótesis adicional es redun-
dante, fue probado 15 años más tarde por 1. Kaplansky [parte (l) del teorema 11.28]. Véase [21],
p. 248, para referencias sobre la historia un tanto enmarañada de este teorema. B. J. Glickfeld
(Ill. J. Math., vol. 10, pp. 547-556, 1966) ha probado que A es una B*-álgebra si Ilexp (ix)!1 = 1
para todo x E A hermitiano.
Teorema 11.20. La idea de pasar de A a AfR, en orden a probar el teorema sin suponer que la
involución sea continua, se debe a J. W. M. Ford (J. London Math. Soc., vol. 42, pp. 521-522,
1967).
Teorema 11.23. Véase R. S. Fogue!, Ark. Mat., vol. 3, pp. 449-461, 1957.
Teorema 11.25. Véase P. Civin y B. Yood, Paco J. Math., vol. 9, pp. 415-436, 1959; especial-
mente, p. 420. También [21], p. 182.
Teorema 11.28. Un reciente tratamiento de estas materias fue dado por V. Pták, Bull. Ldndon
Math. Soc., vol. 2, pp. 327-334, 1970. Véase también la nota al teorema 11.18.
Teorema 11.31. Véanse [19] y [21]. H. F. Bohnenblust y S. Karlin (Ann. Math., vol. 62, pp. 217
a 229, 1955) han encontrado relaciones entre funcionales positivos, por una parte, y la geometría
de la bola unidad de un álgebra de Banach por otra.
Teorema 11.32. Véase [7]. Tambi~n [16], p. 97, y [21], p. 230.
El teorema 11.33 está en [20] para involuciones continuas.
Ejercicio 13. La parte (g) contradice la segunda mitad del corolario (4.5.3) de [21]. Esto también
afecta al teorema (4.8.16) de [21].
Ejercicio 14. Esto fue probado primero por S. Bochner (Math. Ann., vol. 108, pp. 378-410,
1933; especialmente, p. 407), usando esencialmente la misma técnica que hemos usado nosotros
en el teorema "1.7. Véase [24] para una demostración algo diferente. La demostración que aquí
se sugiere muestra que la presencia o ausencia de elemento unidad establece una diferencia en el
estudio de los funcionales positivos. Véanse [16], p. 96, Y [21], p. 219.
Capítulo 12
a 40, 1950, incluyendo el caso no acotado ('capítulo 13, ejercicio 15). Su demostración utilizaba el
teorema espectral y fue extendida al caso M #- N por C. R. Putnam (Amer. J, Math., vol. 73,
pp. 357-362, 1951), que también obtuvo el. teorema 12.36. La corta demostración del texto se debe
a M. Rosenblum, J. London Math. Soc., vol. 33, pp. 376-377, 1958.
Teorema 12.22. El proceso de extensión que se utiliza aquí para pasar de las funciones continuas
a las acotadas es como el de [161, pp. 93-94.
Teorema 12.23. Véase [4], pp. 926-936, para comentarios históricos sobre el teorema espectral.
Véase también el artículo de P. R. Halmos en Amer. Math. Monthly, vol. 70, pp. 241-247, 1963,
para una descripción diferente del teorema espectral.
Sección 12.27. N. Aronszajn y K. T. Smith. (Ann. Math., vol. 60, pp. 345-350, 1954) probaron
que todo operador compacto en un espacio de Banach tiene un subespacio propio invariante. A.
R. Bemstein y A. Robinson (Pac. J. Math., vol. 16, pp. 421-431, 1966) obtuvieron la misma conclu-
sión para operadores compactos T en un espacio de Hilbert en el que p(T) es compacto para algún
polinomio p. Sus demostraciones utilizan análisis no estándar; P. R. Halmos la convirtió en otra
que sólo utiliza conceptos clásicos (Pac. J. Math., vol. 16, pp. 433-437, 1966).
El teorema 12.38 fue probado por P. R. Halmos, G. Lumer y J. Schiiffer en Proc. Amer. Math.
Soc., vol. 4, pp. 142-149, 1953. D. Deckard y C. Pearcy (Acta Sci. Math. Szeged., vol. 28, pp. 1-7,
1967) fueron más lejos y probaron que el recorrido de la función exponencial no es ni abierto ni
cerrado en el grupo de operadores inversibles. Su artículo contiene varias referencias a resultados
intermedios.
Teorema 12.39. Véase [21], p. 227.
Teorema 12.41. Véase la nota al teorema 11.18.
El ejercicio 2 es muy conocido cuando N = 4.
Ejercicio 18. La relación entre los operadores desplazamiento y el problema del subespacio
invariante es discutida por P. R. Halmos en J. Reine Angew. Math., vol. 208, pp. 102-112, 1961.
Ejercicio 27. Muchos resultados sobre involuciones pueden verse en P. Civin y B. Yood, Paco
J. Math., vol. 9, pp. 415-436, 1959.
Ejercicio 32. La parte (e) implica que todo espacio de Banach uniformemente convexo es re-
flexivo. Véase el ejercicio 1 del capítulo 4 y la nota al ejercicio 28 del capítulo 3. Todos los espacios
LP (con 1 < p < 00) son uniformemente convexos. Véase J. A. Clarkson, Trans. Amer. Math.
Soc., vol. 40, pp. 396-414, 1936, o [15], pp. 355-359.
CapiMo 13
Apéndice A
Sección A2. J. W. Alexander, Proe. Natl. Aead. Sci. USA, vol. 25, pp. 296-298, 1939.
Sección A3. A. Tychonoff probó esto para productos cartesianos de intervalos (Math. Ann.,
vol. 102, pp. 544-561, 1930) y lo utilizó para construir lo que ahora se conoce como la compactifi-
cación de Cech (o de Stone-Cech) de un espacio completamente regular. E. Cech (Ann. Math.,
vol. 38, pp. 823-844, 1937; especialmente p. 830) probó el caso general del teorema y estudió pro-
piedades de la compactificación. Por tanto, parece que Cech probó el teorema de Tychonoff, mien-
tras que Tychonoff encontró la corripactificación del Cech; una buena ilustración de la fiabilidad
histórica de la nomenclatura matemática.
1 AGMON, s.: "Leetures on Elliptie Boundary Value Problems," D. Van Nostrand
Company, lne., Prineeton, N.J., 1965.
2 BANACH, s.: "Théorie des Opérations Iinéaires," Monografje Matematyezne, vol. 1,
Varsovia, 1932.
3 BROWDER, A. : "Introduetion to Funetion Algebras," W. A. Benjamin, lne., New...·York,
1969.
4 DUNFORD, N. y J. T. SCHWARTZ: "Linear Operators," Interseienee Publishers,
a division of John Wiley & Sons, lne., New York, pt. 1,1958; pt. II, 1963.
5 EDWARDS, R. E.: "Funetional Analysis," Holt, Rinehart and Winston, lne., New York,
1965.
6 GAMELIN, T. w.: "Uniform Algebras," Prentiee-Hall, Ine., Englewood Cliffs, N.J., 1969.
7 GELFAND, L 1\1:., D. RAIKOV y G. E. SHILOV: "Commutative Normed Rings," Chelsea
Publishing Company, New York, 1964. (Original ruso, 1960.)
8 GELFAND, I. M. Y G. E. SHILOV: "GeneralizedFunetions," Aeaqemie Press, Ine., New
York, 1964. (Original ruso, 1958.)
9 HALMOS, P. R.: "Introduetion to Hilbert Spaee and the Theory of Speetral Multi-
plieity," Chelsea Publishing Company, New York, 1951.
10 HALMOS, P. R.: "A Hilbert Spaee Problem Book," D. Van Nostrand Company, Ine.,
Prineeton, N.J., 1967.
11 HEWITT, E. y K. A. ROSS: "Abstraet Harmonie Analysis," Springer-Verlag OHG,
Berlín, vol. 1, 1963; vol. 2, 1970.
12 HILLE, E. Y R. s. PHILLIPS, "Funetional Analysis and Semigroups," Amer. Math ..Soe.
Colloquium Pub!. 31, Providenee, R.I., 1957.
RUDIN·25 385
386
Espacios
C(n) 1.3 Xw 3.11
H(n) 1.3 P1J(X, Y) 4.1
C: 1.3 P1J(X) 4.1
.Af(A) 1.16 X** 4.5
Rn 1.19 Ml. 4.6,12.4
en 1.19 l.N 4.6
X/N 1.40 .Af(T) 4.11
L' 1.43 f!ll(T) 4.11
q¿K 1.46 H1 5.19
c"'(n) 1.46 q¿ 6.1
Lip ()( Ejercicio 22, capitulo 1 q¿(n) 6.2
{p Ejercicio 5, capítulo 2 q¿'(n) 6.7
too Ejercicio 4, capítulo 3 !/n 7.3
X* 3.1 Co(Rn) 7.5
387
388 Lista de símbolos especiales
Operadores
Otros símbolos
(l 1.1 cuerpo complejo fLA 1.33 Funcional de
R 1.1 cuerpo real Minkowski
Ilxll 1.2 norma TN 1.40 topología cociente
dimX 1.4 dimensión lal 1.46 orden de multi-
índices
A Anuladores, 91, 119
Acotamiento uniforme (principio de), 41 Aplicaciones:
Adherencia, 5 abiertas, 27, 44
débil, 63 teorema de las, 45
secuencial débil, 82 bilineales, 48, 51, 377
Adjunto, 93, 306, 376 cociente, 27
Alaoglu, L., 65, 376 continuamente diferencia bIes, 257
Alexander, J. W., 372, 384 espectrales (teorema de), 253, 255
Álgebra, 99, 118, 235 lineales, 11
autoadjunto, 118 Arens, Richard F., 381, 382
cociente, 272 Arens-Royden (teorema de), 381
compleja, 235 Aronszajn, Nachman, 383
conmutativo, 236 Ascoli (teorema de), 373
del disco, 120, 238 Autoadjunto (elemento), 283
polidisco, 296
semisimple, 276 B
*-Álgebra, 314 B*-álgebra, 284
39q
índice alfabético 391
nonnable,6 Función:
Espectral armónica, 168, 370
aplicación (teorema de), 253, 255 casi periódica, 334, 379
descomposición, 317, 353, 356 débilmente holomorfa, 78
radio, 243 definida positiva, 297
fórmula del, 243 entera, 188
Espectro, 90, 242, 351 esencialmente acotada, 281, 314
continuo, 332 exponencial, 254, 264, 325
de operador: fuertemente holomOlfa, 78
compacto, 103 Heaviside (de), 170
autoadjunto, 318, 353 holomorfa, 30, 78
diferencial, 369 de varias variables, 188
unitario, 318 valor vectorial, 78
puntual, 255, 320, 332 infinitamente diferenciable, 31
residual, 332 inversa (teorema de la), 260
Extensión (teorema de), 54, 56, 58 lentamente oscilante, 220
Extensión de funciones holomorfas, 252 lo<".almente integrable, 140
localmente V, 193
F propia, 109
F-espacio, 6 rápidamente decreciente, 175
Familia que separa puntos, 22 semilineal, 301
Fatou (lema de), 366 soporte, 377
Foguel, Shaul R., 382 truncada, 349
Ford, J. W. M., 382
Forma lineal, 11 G
acotada, 12, 21 Gamelin, Teodore W., 382
continua, 12, 54 Gelfand, Izrail M., 245, 376, 381, 382
de evaluación, 155 topología, 276 /
lineal compleja, 54 transformación de, 276
lineal real, 54 Gelfand-Mazur (teorema de), 245
multiplicativa, 238 Gelfand-Naimark (teorema de), 285, 382
positiva, 292 Generador infinitesimal, 350
sesquilineal, 301 Oleason, Andrew M., 241, 381
sobre espacio cociente, 91 Glickfeld, Barnet W., 382
sobre subespacio, 91 Glicksberg, Irving, 379
Fourier (coeficiente de), 50 Goffman, Casper, 47, 335, 339
de una distribución, 199 Grado de un polinomio, 202
Fourier-Plancherel (transformación de), 179 Grado exacto, 202
Fourier (transformación de), 174 Grafo, 47, 335, 339
de convoluciones, 174 cerrado (teorema del), 47
.de derivadas, 174 Green (función de), 380
de distribuciones temperadas, 183 Grothendieck, Alexandre, 114, ,379
de funciones rápidamente decrecientes, 175 Grupo:
de L2-funciones, 179 compacto, 125
de polinomios, 185 de elementos inservibles, 243, 265
Fréchet, Maurice, 375 de operadores, 123, 131, 324
derivada de, 257 equicontinuo, 123
espacio de, 7 topológíco, 125
Fredholm, Ivar, 375
alternativa de, 108 H
Friedrichs, Kurt O., 380 Haar (medida de), 123, 125, 379
Fuglede, Bent, 309, 382 de un toro, 202
394
Recorrido, 94 Subaditividad, 22
esencial, 281, 311 Subbase, 25
Regla de la cadena, 286 teorema de la, 372
Regularidad (teorema de), 207, 210 Subconjunto normal, 289
Resolución de la identidad, 310, 347, 353 Subespacio, 4
Riemann, Bernhard, 376 complementario, 101
función zeta de, 223 invariante, 318, 357
Riemann-Lebesgue (lema de), 380 traslación, 220, 221
Riesz, Frederic, 121, 375, 378, 383 sin complementario, 129, 134
Riesz, Manuel, 121, 134 Sucesión convergente, 5
teorema de representación de, 51 de distribuciones, 151
Riviere, Nestor M., 381 débilmente, 64
Robinson, Abraham, 383 Suma directa, 101
Rogosinski, Werner W., 378 de espacios de Hilbert, 329
Romberg, Bernard W., 377 Supremo esencial, 82, 311
Rosenblum, Marvin, 309, 383
Rosenthal, Haskell, 381 T
Royden, Halsey L., 381 Tauber, A., 217, 280
Runge (teorema de), 252 Tauberiana(o) :
condición, 217
s teoremas
Schiiffer, Juan J., 383 de Ingharn, 224
Schauder, J., 378 de Littlewood, 231
Schneebergen, Charles M., 383 de Pitt, 221
Schwartz, Laurent, 376, 380 de Wiener, 220, 221
desigualdad de, 302 Taylor, Angus E., 376
Seid, Howald A., 381 Taylor, Joseph L., 382
Selberg, Atle, 381 Tonel, 377
Semigrupo, 350 Topología, 4
de operadores normales; 364 compacta, 59, 372
unitario, 364 compatible, 5
Seminorma, 22 de Hausdorff, 5, 59
Separación (teoremas de), 7, 56, 69 débil, 62
Shapiro, Harold S., 378 débil*, 65
Shapiro, Joe! H., 378 fuerte, 62 n
Shields, AlIen L., 377, 378 heredada, 5
Shilov (límite de), 298 invariante, 6
Siddiqui, Jamil A., 381 más débil, 59
Smith, Kennan T., 383 más fuerte, 59
Smulian, V., 378 metrizable, 5
Sobczyk, Andrew, 377, 379 norma, 2
Sobolev, S. L., 376, 380 original, 62, 63
espacios de, 208, 380 producto, 49
lema de, 193 vectorial, 5
Solución fundamental, 201 Toro, 202
Soporte, 31 Transformación acotada lineal, 21
de una distribución, 377 Traslación (operador), 6
(función), 377 Trasladadas, 6, 125, 159
Soukhomlinoff, G. A., 377 de una distribución, 161
Stone, Marshall H., 365, 376, 377, 384 por la derecha, 126
Stone-Weierstrass (teorema de), 118, 379 por la izquierda, 126
Stout, Edgar Lee, 382 Treves, Fran<;ois, 376
índice alfabético 397
w
Wieland, Helmut W.,
315-77, 380