Tese Campos

Universidade Federal da Paraba
Universidade Federal de Campina Grande

Programa Associado de Ps-Graduao em Matemtica
Doutorado em Matemtica
Contribuies teoria dos operadores

Cohen fortemente somantes
por
Jamilson Ramos Campos
Joo Pessoa - PB
Abril/2013
Contribuies teoria dos operadores

por
Jamilson Ramos Campos

sob orientao do
Prof. Dr. Daniel Marinho Pellegrino
Tese
apresentada
Associado
de
ao
Corpo
Docente
Ps-Graduao
em
do
Programa
Matemtica
UFPB/UFCG, como requisito parcial para obteno do

ttulo de Doutor em Matemtica.
Joo Pessoa - PB
Abril/2013
ii
Universidade Federal da Paraba

Universidade Federal de Campina Grande
Programa Associado de Ps-Graduao em Matemtica
Doutorado em Matemtica
rea de Concentrao: Anlise
Tese apresentada ao Corpo Docente do Programa Associado de Ps-Graduao

em Matemtica - UFPB/UFCG, como requisito parcial para obteno do ttulo de
Doutor em Matemtica.
Abril/2013
iii
iv
Resumo
Neste trabalho apresentamos um estudo dos operadores Cohen fortemente somantes
sob o ponto de vista da teoria de ideais de operadores e polinmios.
Alm disso,
introduzimos duas novas classes de operadoresque generalizam o conceito de operadores multilineares e polinmios desta natureza, a saber, os operadores mltiplo Cohen
fortemente somantes e os operadores Cohen fortemente somantes num dado ponto.
Mostramos que as novas classes denidas, como as anteriores, formam ideais normados
de operadores/polinmios e que os operadores mltiplo Cohen fortemente somantes
formam um ideal de Banach.
Tambm mostramos que a construo da classe dos
operadores mltiplo Cohen fortemente somantes fornece um tipo de holomora e uma

sequncia coerente e compatvel de ideais.
Palavras-chave:
Operadores Cohen fortemente somantes; Ideais de operadores e po-
linmios; Sries em espaos de Banach.
Abstract
This work presents a study of Cohen strongly summing operators under the viewpoint
of the theory of multilinear operators ideals and polynomial ideals. Furthermore, we
introduce two new classes that generalize the concept of multilinear operators and
polynomials of this nature, namely multiple Cohen strongly summing operators and
Cohen strongly summing operators at a given point.
We show that the new classes
dened, as well as the previous classes, form normed ideals of operators/polynomials

and that the class of multiple Cohen strongly summing operators forms a Banach ideal.
We also show that the construction of the class of multiple Cohen strongly summing
operators provides a holomorphy type and a coherent and compatible sequence of ideals.
Keywords:
Cohen strongly summing operators; Operators and polynomials ideals;
Series in Banach spaces.
vi
Agradecimentos
A Deus, fora criadora do universo.
minha me, Edorice Ramos Campos, pela vida, amor, educao, pacincia, conforto
e orao.
minha esposa Andra Dantas pela amor, pacincia e compreenso ao longo da vida a
dois e ao longo desta empreitada. Aos meus lhos pelos inmeros momentos de carinho.
Aos meus irmos, tios e demais familiares pelo afeto, amizade, apoio, pelas comemoraes e momentos de lazer que nos fazem relaxar e esquecer os problemas da vida.
Aos professores do DM/UFPB e da UAME/UFCG pela minha formao. Ao professor
Abdoral de Souza (in memorian) pela amizade e apoio sempre to importantes.
Ao meu orientador Daniel Pellegrino pela acolhida, conana e amizade. Pela inestimvel ajuda em todas as minhas diculdades.
Aos professores e funcionrios do Programa Associado de Ps-graduao, que contriburam direta ou indiretamente na minha formao e neste trabalho.
Aos professores membros da banca examinadora, pelo apoio e contribuies valorosas
a este trabalho.
A todos os meus colegas de trabalho pelo auxlio inestimvel a esse meu propsito. Em
especial ao amigo e colega Fabrcio Lima.
Aos amigos, companheiros e colegas de Campina e Joo Pessoa que deram-me fora e
nimo. Em especial Jonathas, Gabriela, Sibrio, Laudelino, Lindomberg, Alcinio,
Marcelo, Wallace, Esteban, Ricardo e Nacib.
vii
Se o conhecimento pode criar problemas, no atravs

da ignorncia que podemos solucion-los.
Isaac Asimov
viii
Dedicatria
Aos meus pais Sebastio (in memorian)

e Edorice, aos meus irmos, minha esposa Andra e aos meus lhos Raquel,
Tales e Ceclia.
ix
Sumrio
Introduo . . . . . . . .
Notao e terminologia
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
1 Operadores lineares, multilineares e polinmios Cohen fortemente somantes

6
1.1
Operadores lineares Cohen fortemente somantes . . . . . . . . . . . . .
1.2
Operadores multilineares e polinmios Cohen fortemente somantes . . .
12
1.3
Um resultado abstrato sobre operadores multilineares Cohen fortemente

somantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2 Ideais de operadores Cohen fortemente somantes
16
23
2.1
Ideais de operadores: exposio breve da teoria
. . . . . . . . . . . . .
23
2.2
Ideal de operadores lineares Cohen fortemente somantes . . . . . . . . .
29
2.3
Ideal de operadores multilineares e polinmios Cohen fortemente somantes 32
3 Operadores mltiplo Cohen fortemente somantes
37
3.1
Operadores multilineares mltiplo Cohen fortemente somantes
3.2
Ideais de operadores e de polinmios mltiplo

3.3
. . . . .
37
. . . . . . . . . . . . . . . . . . . . . . . .
41
Tipos de holomora e ideais mltiplo Cohen fortemente somantes
. . .
43
. . . . . . . .
43
um tipo de holomora global. . . . . . . . . . . . . . .
44
3.3.1
Tipos de holomora global e ideais de polinmios
3.3.2
PmCoh,p
4 Coerncia e compatibilidade de ideais Cohen fortemente somantes

4.1
Denies e resultados de coerncia e compatibilidade . . . . . . . . . .
46
46
4.2
Sequncias Cohen fortemente somantes . . . . . . . . . . . . . . . . . .
48
4.3
Sequncias mltiplo Cohen fortemente somantes . . . . . . . . . . . . .
51
5 Operadores Cohen fortemente somantes em todo ponto

5.1
Operadores e polinmios Cohen fortemente

somantes em todo ponto
5.2
58
. . . . . . . . . . . . . . . . . . . . . . . . . .
58
Ideais de operadores e polinmios Cohen fortemente somantes em todo

ponto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
69
Apndices
A Alguns resultados de Anlise Funcional
74
B Resultados teis relacionados a operadores multilineares e polinmios 77

Referncias
80
xi
Introduo
Motivaes fortes para o estudo de sries em espaos de Banach surgem com os
trabalhos de A. Dvoretzky e C. Rogers [20], com a prova de que, em dimenso innita,
sempre existem sries incondicionalmente convergentes que no convergem absolutamente.
A. Grothendieck [21] introduz, ento, a essncia do conceito de operadores
absolutamente somantes, como sendo aqueles que melhoram a convergncia de sries,

no sentido de transformar sries incondicionalmente convergentes em absolutamente
convergentes. Essas ideias foram melhor esclarecidas e apresentadas atravs dos trabalhos de A. Pietsch [37] e J. Lindenstrauss e A. Pelczyski [29].
A classe dos operadores absolutamente
p-somantes,
introduzida por A. Pietsch
[37] como uma generalizao dos operadores absolutamente somantes, tem muitas aplicaes teoria dos espaos de Banach; por exemplo, esta classe forma uma generalizao natural da classe dos operadores Hilbert-Schmidt entre espaos de Hilbert. Em
1973, J. S. Cohen [17] introduziu a classe dos operadores lineares fortemente
p-somantes
motivado pelo fato de que a classe dos operadores lineares absolutamente somantes no
fechada sob conjugao. Pietsch ([37], pg. 338) mostrou que o operador identidade
de l1 em l2 absolutamente
absolutamente
2-somante.
dores lineares fortemente

lineares absolutamente
2-somante,
enquanto que seu conjugado, de l2 em l , no
Em seu trabalho, Cohen mostra que a classe dos opera-
p-somantes
p -somantes,
caracteriza o conjugado da classe dos operadores

com
1/p + 1/p = 1.
Ainda na dcada de 1970, Pietsch [38] desenvolve a teoria de ideais de operadores

lineares de forma abstrata e em [39] esboa a teoria para aplicaes multilineares e
polinmios.
No contexto da teoria de ideais de operadores ([38, 39]), surge a questo natural:
a classe dos operadores (lineares) Cohen fortemente
p-somantes
pode ser generalizada
para multi-ideais e ideais de polinmios sem perder a essncia do ideal original? Para os
operadores lineares absolutamente somantes existem diversos tipos de generalizaes
(alguns exemplos em [24, 32]).
Podemos encontrar em [8, 14, 15, 16, 35] tentativas
de estabelecer critrios gerais que um multi-ideal deve satisfazer para preservar as

propriedades do ideal linear original.
O conceito multilinear dos operadores Cohen fortemente somantes foi investigado em 2007 por D. Achour e L. Mezrag [1] (ver tambm [26]).
Neste trabalho,
Achour e Mezrag compararam a nova classe com a classe dos operadores multilineares
p-dominados
e provaram um Teorema de Dominao de Pietsch. Recentemente novos
conceitos relacionados a essa classe esto sendo investigados, como em [12].

Em nosso trabalho apresentamos um estudo dos operadores (lineares e multilineares) Cohen fortemente somantes sob o ponto de vista da teoria de ideais de operadores e
polinmios. Alm disso, introduzimos duas novas classes que generalizam o conceito de
operadores multilineares e polinmios desta natureza: a classe dos operadores mltiplo
Cohen fortemente somantes e a classe dos operadores Cohen fortemente somantes num
dado ponto. Tambm mostramos que as novas classes denidas, como as anteriores,
formam ideais de Banach de operadores e de polinmios. Do ponto de vista do bom
comportamento dessas extenses, demonstramos que a construo multilinear introduzida por Achour [1] e a nossa construo da classe dos operadores mltiplo Cohen
fortemente somantes fornecem sequncias de ideais coerentes e compatveis, segundo
os critrios denidos por Pellegrino e Ribeiro [35].
Existem duas abordagens bem conhecidas usadas para estudar classes de polinmios entre espaos de Banach.
Na primeira, L. Nachbin [28] introduziu o conceito
de tipos de holomora como classes de polinmios que so estveis por meio da diferenciao. Na segunda, A. Pietsch [38] introduziu a noo de ideais de operadores
multilineares, imediatamente adaptvel a polinmios. Algumas classes de polinmios
so ao mesmo tempo tipos de holomora e ideais, como os polinmios nucleares e compactos.
Mostramos que esse fato tambm verdadeiro para a classe dos polinmios
mltiplo Cohen fortemente
p-somantes.
Organizao da tese
O texto est organizado da seguinte forma:
o Capitulo 1 contm denies e
alguns resultados sobre a teoria dos operadores lineares, multilineares e polinmios

Cohen fortemente somantes; o Captulo 2 dedicado ao estudo de ideais das classes
Cohen fortemente somantes; o Captulo 3 contm a denio da nova classe dos operadores e polinmios mltiplo Cohen fortemente somantes, inclusive com resultados da
teoria de ideais e tipos de holomora; o Captulo 4 trata das questes de coerncia e
compatibilidade das sequncias construdas com esses ideais; no Captulo 5 est presente a denio da classe dos operadores multilineares e polinmios Cohen fortemente
somantes num dado ponto e resultados da teoria de ideais.
Como apoio leitura, apresentamos tambm dois apndices: o Apndice A, com
resultados teis de Anlise Funcional; e o Apndice B, com resultados necessrios sobre
a teoria de operadores multilineares e polinmios.
Embora a maioria dos autores denam os operadores multilineares Cohen fortemente
p-somantes
por meio de desigualdades, preferimos den-los, principalmente,
usando seqncias e ento mostrando as caracterizaes equivalentes via desigualdades. Essa abordagem tem algumas vantagens na demonstrao de muitos dos nossos
resultados.
Notao e terminologia
Ao longo do texto,
denotar o corpo dos reais
Os espaos vetoriais sero considerados sobre
ou o corpo dos complexos
K=R
ou
C.
C.
a notao
An
denota o produto cartesiano de
Identicaremos os elementos do conjunto
Nn
com elementos de
Se
for um conjunto e
cpias de
n N,
A.
N,
de modo a
evitar notaes sobrecarregadas. Deste modo, em vez de denotar, por exemplo,
aj1 ,...,jn l1 (F ; Nn )
escrevemos apenas
aj1 ,...,jn l1 (F ).
Usaremos o termo operador com o mesmo sentido de funo. Se

espaos vetoriais normados sobre o corpo
dos operadores lineares contnuos de
Denotamos por
tnuos de
E1 En
em
em
denotaremos por
o espao de todos os operadores
e se
E1 = = En
em
Se
e por
EeF
de
o espao de todos os operadores
o nico operador de
n-homogneos
so
o espao
n-lineares
Ls (n E; F )
tal que
con-
L(n E; F ).
contnuos de
P(n E; F ).
so espaos vetoriais normados sobre o corpo
em
n-lineares
escrevemos apenas
com a norma usual do sup, ser denotado por
Ls (n E; F )
L (E; F )
F.
O espao de Banach de todos os polinmios
F,
L(E1 , ..., En ; F )
K,
em
Denotaremos por
contnuos simtricos de
En
P (x) = P (x, ..., x).

K, o grco de uma funo
o subconjunto
Grafu = {(x, y) E F ; y = u (x)} .
Dizemos que
Se
tem grco fechado se
Grafu
so operadores, a composio
usamos a notao
M (u1 , ..., un )
for fechado em
uv
ui
linear,
uv.
ser denotada por
n-linear
para o operador
M (u1 , ..., un )(x1 , ..., xn ) := M (u1 (x1 ), ..., un (xn )),

cada
E F.
onde
Tambm
denido por
operador
n-linear
i = 1, ..., n.
Letras maisculas como
E, F, G, Ei , Gi , H, ... denotaro espaos de Banach, salvo
onde expressamente indicado. A norma de um espao (completo ou no)

usualmente denotada por
Usaremos a norma do
O smbolo
BE
kk ; usaremos kkE
sup
ser
caso haja possibilidade de confuso.
em espaos de funes, exceto meno em contrrio.
denotar a bola unitria fechada
{x E; kxk 1} .
Em alguma
situao particular, ser mencionado se a bola fechada ou aberta.
O dual (topolgico) de um espao de Banach
Um operador linear
de
em
ser denotado por
E 0.
dito de posto nito se a dimenso de
for nita.
u (E)
Captulo 1
Operadores lineares, multilineares e
polinmios Cohen fortemente
somantes
Neste captulo faremos um estudo mais criterioso da classe dos operadores fortemente
p-somantes,
denida por Cohen [17], buscando uma melhor apresentao desses
conceitos e resultados numa linguagem mais clara e moderna e, alm disso, propondo
algumas caracterizaes e resultados ainda no presentes na literatura.
1.1 Operadores lineares Cohen fortemente somantes

As denies, caracterizaes e resultados da presente seo so, em sua maioria,
essencialmente conhecidos.
Como notao e terminologia bsica, os seguintes espaos so muito comuns na
teoria de sries em espaos de Banach e sero muito utilizadas ao longo do texto.
Sejam
absolutamente
p-somveis
um espao de Banach e
p-somvel
se
1 p .
(||xi ||)
i=1 lp .
Uma sequncia
(xi )
i=1
em
P
p 1/p
(
, se 1 p <
i=1 ||xi || )
sup||xi ||, se p = .
i
O espao das sequncias absolutamente
ser denotado por lp (E) e um espao normado munido com a norma
||(xi )
i=1 ||p =
Uma sequncia
(xi )
i=1
em
p-somvel
fracamente
. O espao das sequncias fracamente
se
p-somveis
((xi ))
i=1 lp ,
para todo
w
ser denotado por lp (E) e
um espao normado munido com a norma
||(xi )
i=1 ||w,p
P
p 1/p
, se 1 p <
sup (
i=1 |(xi )| )
B 0
E
(
)
=
sup sup |(xi )| , se p = .

i
||||1
Denio 1.1.1 (Cohen, [17])
Uma sequncia (xi )i=1 em um espao de Banach

P
Cohen fortemente p-somante se a srie

i=1 i (xi ) convergir para toda (i )i=1
1
1
0
lpw (E ), com + = 1.
p p
O espao das sequncias Cohen fortemente
p-somantes
de
ser denotado por
lp hEi.
O seguinte resultado mostra que se pode substituir a srie
nio 1.1.1 pela srie
i=1
|i (xi )|.
i=1
i (xi )
na De-
Por questo de manejo, usaremos esta ltima
representao da srie em nosso texto.
Proposio 1.1.2
(i )
i=1
0
lpw (E ).
para toda
(i )
i=1
P
(xi )
i=1 uma sequncia em E . A srie
i=1 i (xi ) converge
P
0
lpw (E ) se, e somente se, a srie i=1 |i (xi )| converge para toda
Demonstrao.
0
lpw (E ).
Seja
Suponhamos que a srie
i=1
i (xi )
converge para toda
(i )
i=1
Para o caso real, tome
, se (x ) 0
j
j
j
j =
, se (x ) < 0
j
j
j
j = j eij , onde j o argumento de j (xj ).
P
segue que
j=1 j (xj ) converge, por hiptese, e portanto
e, para o caso complexo, tome

Em ambos os casos,
|j (xj )| =
j=1
X
j=1
tambm converge.
A recproca imediata.
j (xj )
Como demonstrado em [22], pg 223 Lema 1.1 e Teorema 1.2 (fazendo

0
q = p ), lp hEi
p=1
um espao normado e completo com a norma dada por
||(xi )
i=1 ||C,p
sup
||(i )
i=1 ||w,p 1 i=1
0
Vamos usar a dualidade
(lp (E)) = lp (E ),
|i (xi )| .
com
1
p
1
p
= 1
(ver Apndice A,
Proposio A.3) para provar o seguinte resultado:
Proposio 1.1.3
Se
1 p ,
ento:
i) lp hEi lp (E) lpw (E);

ii)
p = 1, lp hEi = lp (E)
Se
Demonstrao.
A incluso
e, se
p = , lp (E) = lpw (E).
lp (E) lpw (E)
e a coincidncia
w
l (E) = l
(E)
so
cannicas (veja [41]).

0
Como
(lp (E)) = lp (E ),
||(xi )
i=1 ||p
se
sup
(i )
i=1 Bl (E 0 )
p
(xi ) lp hEi,
|i (xi )|
i=1
segue que
sup
(i )
i=1 Blw (E 0 )
p
|i (xi )| = ||(xi )
i=1 ||C,p ,
i=1
(1.1)
logo lp hEi
lp (E).
Note que se
obtemos
p = 1,
ento
p =
||(xi )
i=1 ||p = ||(xi )i=1 ||C,p
Observamos que se
e por (1.1) usando o fato de l (E
, o que implica lp hEi
T L(E; F ),
w
(E ),
) = l
= lp (E).
ento o operador
Tbs : lp (E) lp (F ) definido por (xi )

i=1 7 (T (xi ))i=1 ,
est bem denido e contnuo. De fato, claro que
Tbs
linear e se
(xi )
i=1 lp (E),
ento

bs

T ((xi )i=1 ) = k(T (xi ))i=1 kp kT k k(xi )i=1 kp .

p
Em nosso contexto, o caso interessante ocorre quando esse tipo de correspondncia

induz um operador contnuo de lp (E) em lp hF i, o que motiva a prxima denio.
Denio 1.1.4
p-somante
Seja
1 < p .
Um operador
T L(E; F )
Cohen fortemente
se
(T (xi ))
i=1 lp hF i sempre que (xi )i=1 lp (E) ,
8
isto , se o operador
Tb : lp (E) lp hF i ; (xi )
i=1 7 (T (xi ))i=1
(1.2)
est bem denido e contnuo.
Denotamos por
p-somantes.
Dp (E; F ) o conjunto formado pelos operadores Cohen fortemente

D1 (E; F ) = L(E; F ).
Note que, pela Proposio 1.1.3,
O prximo resultado traz algumas caracterizaes para operadores Cohen fortemente
p-somantes.
Proposio 1.1.5
Para
T L(E; F )
1
e p
1
p
= 1,
as seguintes armaes so equi-
valentes:
i) T
ii)
p-somante;
Cohen fortemente
C>0
Existe uma constante
tal que
|i (T (xi ))| C ||(xi )

i=1 ||p ||(i )i=1 ||w,p ,
i=1
sempre que
iii)
(xi )
i=1 lp (E)

m
X
C>0
w
(i )
i=1 lp (F )
tal que
m
|i (T (xi ))| C ||(xi )m
i=1 ||p ||(i )i=1 ||w,p ,
(1.3)
i=1
para todos
m N, xi E, i F , i = 1, ..., m
Demonstrao. (i) (ii) Como T
Cohen fortemente
p-somante,
o operador
0
Te : lpw (F ) lp (E) l1
((i )
i=1 , (xi )i=1 ) 7 (i (T (xi )))i=1 ,
est bem denido e portanto bilinear. Vamos mostrar que
Te
tem grco fechado.
Supondo que ocorrem

0
(k , xk ) (, x) em lpw (F ) lp (E)
(1.4)
e Te(k , xk ) y em l1 ,
(1.5)
Te(, x) = y .
ento
De fato, como vale (1.5), segue que

y = lim Te(k , xk ) = lim ki (T (xki )) i=1 ,
k
e portanto
lim ki (T (xki )) = yi , para todo i N .
(1.6)
Por outro lado, de (1.4) segue que
lim ki (T (xki )) = i (T (xi )), para todo i N .
Da igualdade acima e por (1.6), conclumos que
i (T (xi )) = yi , para todo i N ,

donde
Te(, x) = y
possui grco fechado. Desta forma,
Te
contnuo e

|i (T (xi ))| = T ((i )i=1 , (xi )i=1 ) Te ||(xi )
i=1 ||p ||(i )i=1 ||w,p .
(1.7)
l1
i=1
(iii) (ii)
(xi )
i=1 lp (E)
w
(i )
i=1 lp (F ).
!
m
X
X
|i (T (xi ))| = sup
|i (T (xi ))|
Sejam
i=1
Ento,
i=1
m
sup (C ||(xi )m
i=1 ||p ||(i )i=1 ||w,p )
m
= C ||(xi )
i=1 ||p ||(i )i=1 ||w,p .
(ii) (i)
(ii) (iii)
Proposio 1.1.6
so imediatas.
O nmo das constantes
da
Proposio 1.1.5 dene uma norma em
C que satisfazem a desigualdade (1.3)

Dp (E; F ), denotada dp (). Alm disso,
e
T = dp (T ).
Demonstrao.
Sejam
T1 , T2 Dp (E; F )
K.
satisfaz (1.3) da proposio anterior. Para quaisquer
1, ..., n,
Vamos mostrar que
T1 + T2
0
m N, xi E, i F , i =
pela desigualdade triangular, segue que
m
X
|i ((T1 + T2 )(xi ))|
i=1
m
X
|i (T1 (xi ))| +
i=1
m
X
m
X
|i (T2 (xi ))|
i=1
|i (T1 (xi ))| + ||
i=1
m
X
|i (T2 (xi ))|
i=1
m
(dp (T1 ) + ||dp (T2 )) ||(xi )m
i=1 ||p ||(i )i=1 ||w,p ,
10
(1.8)
e portanto
T1 +T2 Dp (E; F ), donde Dp (E; F ) subespao de L(E; F ).
claro que vale a desigualdade triangular para

Se
dp (T ) = 0,
tomando
m=1
Por (1.8) ca
dp () e a desigualdade dp (T ) ||dp (T ).
em (1.3) temos que
|(T (X))| = 0,
||T (x)|| = 0,
para todos
x E.
Da, pelo Teorema de Hahn-Banach,
T = 0.
As demais propriedades de uma norma so de fcil vericao.
para todo
x E,
e portanto
Agora note que

e
T =
sup
||(xi )
i=1 ||p
, ||(i )
i=1 ||w,p 1
sup
||(xi )
i=1 ||p , ||(i )i=1 ||w,p 1
sup
||(xi )
i=1 ||p , ||(i )i=1 ||w,p 1
isto ,

e
T dp (T ).
||(i (T (xi ))
i=1 ||l1
!
|i (T (xi ))|
i=1
(dp (T ) ||(xi )
i=1 ||p ||(i )i=1 ||w,p ) = dp (T ) ,
Deste fato e de (1.7) segue que

e
T = dp (T ).
A seguinte observao ser muito til quando estivermos, mais adiante, lidando
com ideais de operadores.
Observao 1.1.7
acima,

b
T = dp (T ) ). De

b
T =
=
Se
T Dp (E; F ),
ento

b

T = Te
(ou ainda, pelo exposto
fato,
sup
||(xi )
i=1 ||p 1

b

)
T ((xi )
i=1
sup
||(i )
i=1 ||w,p 1 i=1
sup
||(xi )
i=1 ||p , ||(i )i=1 ||w,p 1
sup
||(xi )
i=1 ||p 1
sup
||(xi )
i=1 ||p 1
C,p
||(T (xi ))
i=1 )||C,p
!
|i (T (xi ))|
||(i (T (xi )))

i=1 ||l1

= Te .
Como consequncia do fato de que um operador linear Cohen fortemente
somante se, e somente se, seu conjugado um operador absolutamente
p-
p -somante
(Teorema 2.2.2 em [17], pg. 184) e do Teorema de Dvoretzky-Rogers para operadores

lineares absolutamente somantes, um teorema do tipo Dvoretzky-Rogers tambm
vlido para os operadores lineares Cohen fortemente
p-somantes:
Teorema 1.1.8 (do tipo Dvoretzky-Rogers)
idE : E E
Cohen fortemente
p-somante
11
Se
um espao de Banach, ento
se, e somente se,
dim E < .
Demonstrao.
Supondo que
Vamos denotar por
idE : E E
absolutamente
T :F E
o operador adjunto de
p-somante,
Cohen fortemente
p -somante.
segue que
T : E F.
idE : E E
Ento, pelo Teorema de Dvoretzky-Rogers ([32], pg 449
Teorema 2.1) para operadores lineares absolutamente somantes, segue que a dimenso
de
, e consequentemente de
idE : E E
nita.
0
dim E < ento idE : E E
Reciprocamente, se
e portanto
E,
Cohen fortemente
absolutamente
p -somante
p-somante.
Tambm vale o seguinte resultado de incluso, cuja demonstrao est presente

em [17] (Teorema 2.4.1, pg. 188): Se
p1 p2 ,
ento tem-se
Dp2 (E; F ) Dp1 (E; F ).
1.2 Operadores multilineares e polinmios Cohen fortemente somantes

Nesta seo estudaremos a classe dos operadores multilineares Cohen
como extenso natural do caso linear.
p-somantes
Como feito anteriormente, a denio dessa
classe construda por sequncias, diferentemente do modo mais comum, como em [1].
Em seguida, os operadores so caracterizados por desigualdades e introduzimos um
resultado abstrato relacionado a duas diferentes caracterizaes para a classe.
Denio 1.2.1
1 < p e Ej , F espaos de Banach, j = 1, ..., n. Um

operador T L(E1 , ..., En ; F ) Cohen fortemente p-somante se

(1)
(n)
(j)
T xi , ..., xi
lp hF i sempre que xi
lnp (Ej ) , j = 1, ..., n ,
Sejam
i=1
i=1
isto , se o operador
Tb : lnp (E1 ) lnp (En ) lp hF i

(1)
(n)
(1)
(n)
xi
, ..., xi
7 T xi , ..., xi
i=1
i=1
(1.9)
i=1
est bem denido e contnuo.

O conjunto dos operadores
por
LCoh,p (E1 , ..., En ; F ).
n-lineares Cohen fortemente p-somantes ser denotado
fcil mostrar que
operaes usuais, subespao de
LCoh,p (E1 , ..., En ; F ),
L(E1 , ..., En ; F ).
12
munido com as
Proposio 1.2.2
Para
1
p
= 1,

X
(n) np
xi
!1/np
T L(E1 , ..., En ; F )
1
e p
as seguintes armaes
so equivalentes:
i) T
ii)
p-somante;
Cohen fortemente
C>0
tal que

X

(1)
(n)
T
x
,
...,
x
i

i
i
i=1

X
(1) np
xi
!1/np
...
i=1
||(i )
i=1 ||w,p ,
i=1
(1.10)
sempre que
iii)
(j)
xi

i=1
lnp (Ej ) , j = 1, ..., n

C>0
w
(i )
i=1 lp (F ).
tal que
m

X

(n)
(1)

i T xi , ..., xi
i=1
m

X
(1) np
xi
!1/np
m

X
(n) np
xi
...
!1/np
||(i )m
i=1 ||w,p ,
i=1
i=1
(1.11)
para todos
(j)
m N, xi Ej , i F , i = 1, ..., m , j = 1, ..., n
Demonstrao.
(i) (ii)
Como
Cohen fortemente
p-somante,
o operador
0
Te : lpw (F ) lnp (E1 ) lnp (En ) l1

(n)
(1)
(n)
(1)
(i )i=1 , xi
, ..., xi
7 i T xi , ..., xi
i=1
est bem denido e portanto
i=1
i=1
(n + 1)-linear.
monstrao da Proposio 1.1.5, vericamos que
Alm disso, procedendo como na de-
Te
possui grco fechado e portanto
contnuo. Assim,

X

e

(1)
(n)
(1)
(n)
T
x
,
...,
x
=
T
(
)
,
x
,
...,
x
i

i i=1
i
i
i
i
i=1
i=1
i=1
l1

Te x(1) np x(n) np ||(i )
i=1 ||w,p .
(ii) (i)
(ii) (iii)
so imediatas.
13
(iii) (ii)
De modo semelhante ao caso linear, suciente usar o fato de que a
soma da srie o supremo de suas somas parciais.

A demonstrao da proposio seguinte anloga da Proposio 1.1.6 e portanto
ser omitida.
Proposio 1.2.3
O nmo das constantes
LCoh,p (E1 , ..., En ; F ).
dene uma norma em
Denio 1.2.4
homogneo
que satisfazem
(1.11), denotado
Alm disso,
||T ||Coh,p ,
b
T = ||T ||Coh,p .
1 < p e E, F espaos de Banach.

P P(n E; F ) Cohen fortemente p-somante se
Sejam
Um polinmio
n-
(P (xi ))
i=1 lp hF i sempre que (xi )i=1 lnp (E) .
O conjunto dos polinmios

notado por
PCoh,p (n E; F ).
usuais, subespao de
Lema 1.2.5
mente se,
fcil mostrar que
P Ls ( E; F )
n
Se
p-somantes
Cohen fortemente
ser de-
PCoh,p (n E; F ), munido com as operaes
P(n E; F ).
Um polinmio
Demonstrao.
n-homogneos
P P(n E; F )
Cohen fortemente
Cohen fortemente
Cohen fortemente
p-somante
se, e so-
p-somante.
p-somante,
para toda
(xi )
i=1 lnp (E),
segue que
(P (xi ))
i=1 = (P (xi , ..., xi ))i=1 lp hF i .
Logo,
Cohen fortemente
p-somante.
Reciprocamente, pela Frmula de Polarizao (Apndice B, Teorema B.3) com
x0 = 0,
segue que

X
(1)
(n)
(1)
(n)
n!2n P xi , ..., xi
=
1 n P 1 xi + + n xi
,
j =1
para todo
fortemente
i N.
Ento, se
(j)
xi

i=1
lnp (E),
com
j = 1, ..., n
, como
Cohen
p-somante,

(1)
(n)
P 1 xi + + n xi
lp hF i ,
i=1
quaisquer que sejam os valores dos

tanto,
Cohen fortemente
j .
Assim,

(1)
(n)
P xi , ..., xi
lp hF i
i=1
p-somante.
14
e, por-
Proposio 1.2.6
Para
1
e p
P P(n E; F )
1
p
= 1,
as seguintes armaes so
equivalentes:
i) P
ii)
p-somante;
Cohen fortemente
C>0
tal que
|i (P (xi ))| C
i=1
(xi )
i=1 lnp (E)

m
X
tal que
m
X
|i (P (xi ))| C
!1/p
||xi ||np
||(i )m
i=1 ||w,p ,
(1.13)
i=1
para todos
m N, xi E, i F , i = 1, ..., m
C
Alm disso, o nmo das constantes

dene uma norma em
que satisfazem (1.13), denotado
||P ||Coh,p
PCoh,p ( E; F ).
Demonstrao. (i) (ii) :

P
(1.12)
w
(i )
i=1 lp (F ).
C>0
i=1
anterior,
||(i )
i=1 ||w,p ,
||xi ||np
i=1
sempre que
iii)
!1/p
Se
p-somante,
Cohen fortemente
p-somante.
tambm Cohen fortemente
ento, pelo lema
Usando a Proposio 1.2.2, segue
que
|i (P (xi ))| =
i=1
|i (P (xi , ..., xi ))|
i=1
!1/p
||xi ||np
||(i )||w,p .
i=1
(ii) (i)
(ii) (iii)
(iii) (ii)
Se
so imediatos.
(xi )
i=1 lnp (E)
|i (P (xi ))| = sup
i=1
m
X
i=1
sup C
m
=C
w
(i )
i=1 lp (F ),
ento
!
|i (P (xi , ..., xi ))|
m
X
!1/p
||xi ||np
||(i )m
i=1 ||w,p
i=1
!1/p
||xi ||np
||(i )
i=1 ||w,p .
i=1
A demonstrao de que o nmo das constantes
norma em
PCoh,p (n E; F )
satisfazendo (1.13) dene uma
similar feita nas proposies anteriores.
15
1.3 Um resultado abstrato sobre operadores multilineares Cohen fortemente somantes

Por meio da Proposio 1.2.2, poderamos ter denido um operador multilinear
Cohen fortemente
p-somante
usando a desigualdade (1.11). Muitos autores, incluindo
D. Achour e K. Saadi [2], denem um operador multilinear Cohen fortemente
p-somante
da seguinte forma:
1 < p , Ej , F
espaos de Banach,
j = 1, ..., n.
T : E1 ... En F
Cohen fortemente
p-somante se existe uma constante
Sejam
contnuo
C>0
(j)
(j)
n-linear
m

X

(1)
(n)
,
...,
x
T
x
i
C
i
i
1 , ..., m F e para todo m N,

!
m Y
n
p 1/p
X
(j)
||(i )m
(1.14)
xi
i=1 ||w,p .
i=1
i=1 j=1
tal que, para todos
x1 , ..., xm Ej
Um operador
Com esta denio, Achour-Mezrag [1] provam um Teorema da Dominao de

Pietsch (1.16) para esta classe. A seguir, mostramos que as denies dadas por (1.14)
e (1.11) so, de fato, equivalentes por serem caracterizadas pelo mesmo Teorema da
Dominao de Pietsch.
Observamos que, como
m

X
(n) p
(1)
xi ... xi
!1/p
m

X
(1) np
xi
!1/np
...
i=1
i=1
a implicao (1.14)
(1.11) bvia.
m

X
(n) np
xi
!1/np
,
i=1
Entretanto, a implicao (1.11)
(1.14) no nos
parece imediata. A principal ferramenta usada na demonstrao desta equivalncia

o Teorema da Dominao de Pietsch Generalizado [11, 33]:
Sejam
X1 , ..., Xn , Y
de funes de
compactos,
E1 , ..., Er
X1 Xn
em
Y.
conjuntos no-vazios arbitrrios,
Sejam
K1 , ..., Kt
uma famlia
espaos topolgicos de Hausdor
G1 , ..., Gt espaos de Banach e suponha que as aplicaes
R : K E E G [0, ) , j = 1, ..., t ,
j
j
1
r
j
S : H E E G G [0, )
1
possuam as seguintes propriedades:
1.
Para cada
x(l) El e b Gj , com (j, l) {1, ..., t}{1, ..., r}, a aplicao

(Rj )x(1) ,...,x(r) ,b : Kj [0, ) ,
16
denida por
2.

(Rj )x(1) ,...,x(r) ,b () = Rj , x(1) , ..., x(r) , b ,
contnua;
As seguintes desigualdades so vlidas:
R , x(1) , ..., x(r) , b(j) R , x(1) , ..., x(r) , b(j)

j
j
j j
S f, x(1) , ..., x(r) , b(1) , ..., b(t) ... S f, x(1) , ..., x(r) , b(1) , ..., b(t)
1
para todos
Kj , x(l) El
Gj , j = 1, ..., t
(com
l = 1, ..., r), 0 j , j 1, b(j)
f H.
Sob essas condies, temos a seguinte denio e teorema, obtidos de [34]:
Denio 1.3.1
0 < p1 , ..., pt , p0 < , com p10 = p11 + + p1t . Uma aplicao

f : X1 Xn Y em H R1 , ..., Rt -S -abstrato (p1 , ..., pt )-somante se existe uma
constante C > 0 tal que
Sejam
m
p0
X
(t)
(r) (1)
(1)
S f, xi , ..., xi , bi , ..., bi
!1/p0
i=1
t
Y
k=1
para todos
(s)
m
X
sup
Kk
(s)
Rk
(r) (k)
(1)
, xi , ..., xi , bi
p k
!1/pk
i=1
(s)
(s)
x1 , ..., xm Es , b1 , ..., bm Gl , m N
(s, l) {1, ..., r} {1, ..., t}.
Teorema 1.3.2 (Teorema da Dominao de Pietsch generalizado)
Uma aplica-
f H R1 , ..., Rt -S -abstrato (p1 , ..., pt )-somante se, e somente se, existem

constante C > 0 e medidas de probabilidade de Borel k em Kk , k = 1, ..., t, tais
(1)
(r)
(1)
S f, x , ..., x , b , ..., b
(t)
t Z
Y
x(l) El , l = 1, ..., r
(r)

(k) pk
Rk , x , ..., x , b
que
1/pk
dk
Kk
k=1
para todos
(1)
uma
b(k) Gk ,
com
k = 1, ..., t.
Usaremos a sigla TDP para designar o Teorema da Dominao de Pietsch a partir

deste ponto.
Vamos estabelecer a equivalncia entre as diferentes abordagens sobre operadores
multilineares Cohen fortemente somantes:
Teorema 1.3.3
Seja
1 < p ,
com
1/p + 1/p = 1.
seguintes armaes so equivalentes:

17
Para
T L(X1 , ..., Xn ; Y ),
as
i)
C>0
m

X

(1)
(n)
T
x
,
...,
x
C
i
i
i
m Y
n

X
(j) p
x
i
i=1
i=1 j=1
para todos
ii)
tal que
(j)
!1/p
||(i )m
i=1 ||w,p ,
m N, xi Xj , i Y , i = 1, ..., m , j = 1, ..., n
C>0
tal que
m
n
m

X
Y
X

(j) np
(1)
(n)
i T xi , ..., xi
C
xi
i=1
j=1
!1/np
||(i )m
i=1 ||w,p ,
i=1
(1.15)
para todos
iii)
m N,
(j)
xi
Existem uma constante
em
BY 00
Xj , i Y , i = 1, ..., m , j = 1, ..., n
C>0
e uma medida de probabilidade de Borel
(com a topologia fraca *) tais que
!1/p
|(T (x1 , ..., xn ))| C||x1 || ... ||xn ||
|()| d()
B
00
(1.16)
para todos
xj Xj , Y , j = 1, ..., n
Demonstrao. (i) (ii) : Como j dito, basta usar a desigualdade de Hlder.

(ii) (iii) :
Usando o TDP generalizado, escolhendo
t=n+1
r=1
E1 = {0}
Kk = {0} , k = 1, ..., n
Kn+1 = BY 00
Gk = Xk , k = 1, ..., n, e Gn+1 = Y
H = L(X1 , ..., Xn ; Y )
p0 = 1, pk = np, k = 1, ..., n e pn+1 = p

S T, 0, x(1) , ..., x(n) , = T x(1) , ..., x(n)

Rk , 0, x(k) = x(k) , k = 1, ..., n
Rn+1 (, 0, ) = |()|
segue que
m
p0
X
(1)
(r) (1)
(t)
S T, xi , ..., xi , bi , ..., bi
!1/p0
=
i=1
m
p0
X
(n)
(1)
S T, 0, xi , ..., xi , i
i=1
m

X

(1)
(n)
=
i T xi , ..., xi
,
i=1
18
!1/p0
e tambm
n+1
Y
k=1
m
X
sup
Kk
m
X
Kn+1
somante.
!1/pk
00
!1/pn+1
pn+1
n
Y
k=1
!1/p
| (i ) |p
i=1
Rn+1 (, 0, i )
n
Y
m
X
k=1
i=1

(k) np
xi
m
X
sup
Kk
n
m

Y
X
(k) np
x
i
i=1
!1/np
.
R1 , ..., Rt -S -abstrato (p1 , ..., pt )C > 0
Pelo TDP generalizado, existem uma constante
em
Kk , k = 1, ..., t,
S(T, x1 , ..., xr , b1 , ..., bt ) C
!1/pk
!1/np
satisfaz (1.15) se, e somente se,
babilidade de Borel
p

(k) k
Rk , 0, xi
i=1
k=1
= ||(i )m
i=1 ||w,p
Assim,
p k
i=1
m
X
= sup
Y
(1)
(r) (k)
, xi , ..., xi , bi
i=1
= sup
Rk
e medidas de pro-
tais que
t Z
Y
1/pk
pk
Rk (, x1 , ..., xr , bk ) dk
Kk
k=1
isto ,
"
|(T (x1 , ..., xn ))| C
n Z
Y
k=1
||xk ||np dk
1/np #
|()| d()
Kk
00
!1/p
|()| d()
C||x1 || ... ||xn ||

B
(iii) (i) :
!1/p
00
(Teorema 2.4 em [1]) Para todo
m N,
se
1im
segue, por
(1.16), que
!1/p

Z

(1)
(n)
(1)
(n)
i T xi , ..., xi
C xi ... xi
19
|(i )|p d()

Y
00
Ento,
m

X

(1)
(n)
i T xi , ..., xi

i=1
m
X
|(i )|p d()
i=1
m

X
(1)
(n) p
x
...
x
i
i
!1/p

Z
(n)
(1)

xi ... xi
00
!1/p
i=1
m

X
(n) p
(1)
...
x
x
i
i
00
|(i )| d()
m
X
sup
B
!1/p
p
i=1
!1/p
i=1
=C
m
X

(1)
(n) p
xi ... xi
|(i )| d()
00
!

1/p Z
(1)
(n) p
xi ... xi
i=1
m
X
m
X
!!1/p
Z
m
X
i=1
=C
00
!1/p
p
|(i )|
i=1
!1/p
||(i )m
i=1 ||w,p .
i=1
O teorema anterior pode ser visto como um caso particular do prximo teorema,
mais geral e abstrato. A ferramenta usada na demonstrao ser novamente o TDP
generalizado (veja [34]).
Teorema 1.3.4
Seja
f : X 1 Xn Y
uma aplicao em
e sejam
0 < p , u, s, p1 , ..., pt1 , q1 , ..., qt1 < ,

tais que
Se
1
1
1
1
1
1
1
1
=
+ +
+ e
=
+ +
+ .
u
p1
pt1 p
s
q1
qt1 p
Rk(x1 ,...,xr ,b) ()
constante, para cada
x1 , ..., xr , b
e para todo
1 k t 1,
ento as
seguintes armaes so equivalentes:
i) f
R1 , ..., Rt -S -abstrato (p1 , ..., pt1 , p )-somante;
ii) f
R1 , ..., Rt -S -abstrato (q1 , ..., qt1 , p )-somante;
Demonstrao.
Pelo TDP generalizado,
R1 , ..., Rt -S -abstrato (p1 , ..., pt1 , p )-
somante se, e somente se, existem uma constante

Borel
em
Ki , i = 1, ..., t
e medidas de probabilidade de
, tais que
S(f, x1 , ..., xr , b1 , ..., bt ) C
t Z
Y
Ki
i=1
20
pi
Ri (, x1 , ..., xr , bi ) di
1/pi
.
Em nosso caso,
R1 , ..., Rt -S -abstrato (p1 , ..., pt1 , p )-somante
existem uma constante
t1
Y
S(f, x1 , ..., xr , b1 , ..., bt ) C
se, e somente se,
em
Kt
! Z
Ri (, x1 , ..., xr , bi )
tais que
1/p
Rt (, x1 , ..., xr , bt ) d
Kt
i=1
(1.17)
Ki xo,
1/pi
pi
Ri (, x1 , ..., xr , bi ) di
= Ri (, x1 , ..., xr , bi ) , i = 1, ..., t 1.
j que, por hiptese, para qualquer
Z
Ki
Por outro lado, o mesmo raciocnio mostra que
somante se, e somente se, existem uma constante

Borel
em
Kt
R1 , ..., Rt -S -abstrato (q1 , ..., qt1 , p )C
e uma medida de probabilidade de
tais que
t1
Y
S(f, x1 , ..., xr , b1 , ..., bt ) C
! Z
Ri (, x1 , ..., xr , bi )
1/p
Rt (, x1 , ..., xr , bt ) d
Kt
i=1
expresso que corresponde exatamente dada por (1.17).

Vale ressaltar uma conseqncia um tanto surpreendente do Teorema 1.3.4 para
os operadores lineares. Sejam

=
Seja
Cr,q (E; F )
constante
C>0
p (1, )
xo e
1
1
1
(r, q) [1, ) (1, ) : = +
r
q p
a classe de todos os operadores
T L (E; F )
.
tais que existe uma
satisfazendo
m
X
!1/r
|i (T (xi ))|r
m
C k(xi )m
i=1 kq k(i )i=1 kw,p
j=1
para todo inteiro positivo
e todos
xi E , i F , i = 1, ..., m.
Pelo Teorema 1.3.4,
segue que
Cr1 ,q1 (E; F ) = Cr2 ,q2 (E; F )

para todos
(r1 , q1 ) , (r2 .q2 ) .
Em particular,
Cr,q (E; F ) = C1,p (E; F ) = Dp (E; F ) ,

com
1 = 1/p + 1/p ,
para todo
(r, q) .
Um fato importante que ser usado posteriormente que a classe

trivial se
p < q.
C1,q (E; F )
A demonstrao deste fato dada pelo seguinte teorema:
21
Teorema 1.3.5
Demonstrao.
e
F 6= {0}.
Se
1 < p < , 1 = 1/p + 1/p
O caso
(i )
i=1 lp
com
T C1,q (E; F ), 0 6= x E
m
X
ou
F = {0}
ento
trivial.
C1,q (E; F ) = {0}.

Suponhamos
E 6= {0}
Usando a Proposio A.5 do Apndice A, vamos tomar a sequncia
/ l1
(i )
i=1 = (i i )i=1
Se
E = {0}
p < q,
|(T (i x))| =
i=1
m
X
(i )
i=1 lq .
0 6= F
|(T (i i x))| =
i=1
m N,
, ento, para todo
m
X
|(i )(T (i x))|
i=1
m
C||(i x)m
i=1 ||q ||(i )i=1 ||w,p .
Assim,
|(T (x))|
m
X
m
X
|i | C||x|| ||(i )m
i=1 ||q sup
B
i=1
00
!1/p
p
|(i )|
i=1
= C||x|| ||(i )m
i=1 ||q sup |()|
B
C||x|| ||(i )m
i=1 ||q
00
||||
m
X
m
X
!1/p
p
|i |
i=1
!1/p
|i |p
i=1
Agora, tomando seguidamente o
||T ||
m
X
sup||||1
e o
|i | C ||(i )m
i=1 ||q
i=1
donde conclumos que se
sup||x||1
T 6= 0,
m
X
na desigualdade acima, obtemos
!1/p
p
|i |
i=1
segue que
(i )
i=1 l1 ,
22
o que absurdo.
Captulo 2
Ideais de operadores Cohen
fortemente somantes
Neste captulo vamos estudar os operadores Cohen fortemente somantes sob o
ponto de vista da teoria de ideais de operadores e polinmios. Mostraremos que, de
fato, as generalizaes multilinear e polinomial apresentadas no Captulo 1 formam
ideais de Banach.
2.1 Ideais de operadores: exposio breve da teoria

Convm apresentarmos uma breve introduo teoria de ideais de operadores,
com vistas ao estudo de ideais de operadores Cohen fortemente
p-somantes.
Os re-
sultados desta seo so todos conhecidos e o livro [38], de Pietsch, uma excelente
referncia para consultas. Tambm sugerimos [4, 8, 9]
Denio 2.1.1
Um ideal de operadores (lineares)
uma subclasse da classe
de
todos os operadores lineares contnuos entre espaos de Banach tal que, para quaisquer
espaos de Banach
i) I (E, F )
F,
as componentes
I (E; F ) := L (E; F ) I
um subespao vetorial de
L (E; F )
satisfazem:
que contm os operadores
de posto nito;
ii)
A propriedade de ideal: se
ento
tvu I (E; H) .
u L (E; F ), v I (F, G)
t L (G, H) ,
Denio 2.1.2
I
Um ideal normado de operadores
kkI : I [0, )
munido da funo
i) kkI
E
restrita a
e
Se
um ideal de operadores
tal que:
uma norma para quaisquer espaos de Banach
F;
ii) kidK kI = 1,
iii)
I (E; F )
(I, kkI )
onde
idK : K K
dada por
u L (E, F ), v I (F ; G)
idK (x) = x;
t L (G; H),
ento
ktvukI ktk kvkI kuk .
Quando as componentes
dizemos que
I (E; F )
do ideal
so completas com respeito a
kkI ,
um ideal de Banach (ou completo) de operadores.
A desigualdade abaixo ser muito utilizada neste captulo, em especial nas demonstraes de completude dos ideais de operadores Cohen somantes.
Proposio 2.1.3
para qualquer
(I, kkI )
um ideal normado de operadores. Ento,
ktk ktkI
t I.
Observao 2.1.4
ento
Seja
Se
E 0,
ento
kk = kkI .
De fato, como
de posto nito,
kkI = kidK kI kidK kI kk = kk .
(2.1)
A desigualdade contrria segue da Proposio 2.1.3.
Agora, como uma generalizao natural da teoria de ideais de operadores lineares,

vejamos a noo de ideais de aplicaes multilineares.
Denio 2.1.5
E1 , ..., En so espaos normados. A aplicao A L (E1 , ..., En ; F )

(j)
0
dita de tipo nito se existem m N, i Ej e bi F com i = 1, ..., m e j = 1, ..., n,
Sejam
tais que
A (x1 , ..., xn ) =
m
X
(1)
(n)
i (x1 ) i (xn ) bi .
i=1
Lf (E1 , ..., En ; F ).
L (E1 , ..., En ; F ) .
O conjunto formado por essas aplicaes denotado por

que
Lf (E1 , ..., En ; F )
um subespao de
24
fcil ver
Denio 2.1.6
Um ideal de aplicaes multilineares
uma subclasse da classe de
todas aplicaes multilineares contnuas entre espaos de Banach tal que, para todo
n N e espaos de
L (E1 , ..., En ; F ) M
Banach
E1 , ..., En
F,
as componentes
M (E1 , ..., En ; F ) :=
satisfazem:
i) M (E1 , ..., En ; F ) um subespao vetorial de L (E1 , ..., En ; F ) que contm

as aplicaes n-lineares de tipo nito;
ii)
A M (E1 , ..., En ; F ) , uj L (Gj , Ej ) para

t L (F ; H) , ento tA (u1 , ..., un ) M (G1 , ..., Gn ; H) .
j = 1, ..., n
O ideal
tambm denominado multi-ideal e, para cada
Mn =
E1 ,...,En ,F
chamado de ideal de aplicaes
Denio 2.1.7
M (E1 , ..., En ; F )
n-lineares.
munido da funo
M (E1 , ..., En ; F ) uma

E1 , ..., En , F e todo n N;
restrita a
de Banach
ii) kidKn kM = 1,
x1 xn para
idKn : Kn K
n N;
onde
todo
kkM
(M, kkM )
: M [0, ) , tal
um ideal
que:
norma para quaisquer espaos
dada por
M M (E1 , ..., En ; F ), uj L (Gj , Ej )

L (F ; H) , ento
iii)
xo,
Um ideal normado de aplicaes multilineares
de aplicaes multilineares
i) kkM
Banach
idKn (x1 , ..., xn ) =

e
for um inteiro positivo xo, sob as condies acima, dizemos que
Mn
Se
para
j = 1, ..., n
ktM (u1 , ..., un )kM ktk kM kM ku1 k kun k .
Se
ideal normado de aplicaes

completas com respeito a
se diz de
n-lineares.
Quando as componentes
um
M (E1 , ..., En ; F )
kkM , dizemos que M um multi-ideal de Banach.
so
O mesmo
Mn .
Observao 2.1.8
n-lineares Mn
M ou de um ideal de aplicaes
sobre o mesmo corpo (xo) K.
As componentes de um multi-ideal
envolvero sempre espaos de Banach
25
Note que o espao vetorial

fato, seja
M Lf (E1 , ..., En ; F )
Lf (E1 , ..., En ; F )
satisfaz a propriedade de ideal. De
da forma
M (x1 , ..., xn ) =
m
X
(1)
(n)
i (x1 ) i (xn ) bi
i=1
e sejam
uj L (Gj ; Ej )
com
j = 1, ..., n,
t L (F ; H) .
Ento,
tM (u1 , ..., un ) (x1 , ..., xn ) = tM (u1 (x1 ) , ..., un (xn ))

m
X
(1)
(n)
=t
i (u1 (x1 )) i (un (xn )) bi
=
=
=
i=1
m
X
i=1
m
X
(1)
i
(n)
(u1 (x1 )) i
(un (xn )) bi
!
(n)
(1)
i (u1 (x1 )) i (un (xn )) t (bi )
i=1
m
X
(1)
(n)
i u1 (x1 ) i un (xn ) t (bi ) ,
i=1
com

(j)
i uj G0j
t (bi ) H .
Portanto
tM (u1 , ..., un ) Lf (G1 , ..., Gn ; H) .
As normas em multi-ideais tm comportamento semelhante ao caso de ideais de

operadores lineares, como mostra a seguinte proposio:
Proposio 2.1.9
para qualquer
Demonstrao.
1, ..., n.
Seja
em
(M, kkM )
kM k kM kM
M.
Sejam
M M (E1 , ..., En ; F ) , F 0
Dena, para cada
kRj k = kxj k
um multi-ideal normado. Ento,
j = 1, ..., n, Rj : K Ej ,
por
xj E j
j =
xos, com
Rj () = xj .
Segue que
M (R1 , ..., Rn ) (1 , ..., n ) = M (1 x1 , ..., n xn ) = 1 n (M ) (x1 , ..., xn ) .

Ento,
M (R1 , ..., Rn ) = (M ) (x1 , ..., xn ) idKn ,
26
(2.2)
e portanto
|(M ) (x1 , ..., xn )| = |(M ) (x1 , ..., xn )| kidKn kM

= k(M ) (x1 , ..., xn ) idKn kM
= kM (R1 , ..., Rn )kM
kk kM kM kR1 k kRn k .
Pelo Teorema de Hahn-Banach,
kM (x1 , ..., xn )k = sup |(M ) (x1 , ..., xn )|

kk1
sup kk kM kM kR1 k kRn k

kk1
= kM kM kx1 k kxn k ,
donde
kM k kM kM .
Apresentaremos a noo de ideais de polinmios como adaptao natural do conceito de ideais de aplicaes multilineares. Em princpio, vejamos a denio de polinmio de tipo nito.
O subespao de
e
b F,
P (n E; F )
denotado por
n-homogneos
P (n E; F ) ,
Pf (n E; F )
de tipo nito.
e os elementos de
Denio 2.1.10
gerado pelas aplicaes
P (x) = (x)n b,
e seus elementos so chamados de polinmios
Denotamos por
PA (n E; F )
PA (n E; F )
n N e quaisquer
U (n E; F ) := P (n E; F ) U satisfazem:
ento
Se
nN
Pf (n E; F )
em
da classe de todos os polinmios homogneos contnuos
i) U (n E; F ) um subespao vetorial de P (n E; F )
mios n-homogneos de tipo nito;
ii)
o fecho de
so chamados de polinmios aproximveis.
entre espaos de Banach tal que para todo

as componentes
E0
Um ideal de polinmios homogneos, ou simplesmente um ideal de
polinmios, uma subclasse
F,
com
que contm os polin-
u L (G; E), P U (n E; F )
tP u U ( G; H) .
for xado, a classe
Un :=
E,F
chamada de ideal de polinmios
espaos de Banach
U (n E; F )
Banach
n-homogneos.
27
t L (F ; H) ,
Denio 2.1.11
U
Um ideal normado de polinmios
munido da funo
i) kkU
E
tal que:
U (n E; F ) uma norma para quaisquer espaos de Banach

todo n N;
restrita a
e
ii) kidnK kU = 1,
iii)
kkU : U [0, ) ,
(U, kkU ) um ideal de polinmios
idnK : K K
onde
dada por
u L (G, E) , P U (n E; F ),
ktk kP kU kukn .
Se
Se as componentes
U (n E; F )
idnK (x) = xn ;
t L (F ; H) ,
ento
so completas com respeito a
ktP ukU
kkU ,
ideal de Banach de polinmios. De modo anlogo se procede para
dizemos que
Un .
As denies e resultados a seguir mostram que sempre possvel obter um ideal

de polinmios a partir de um multi-ideal. Doravante, denotaremos a classe de todos os
polinmios
n-homogneos
Denio 2.1.12
e contnuos entre espaos de Banach por
Seja
P n.
um ideal normado de aplicaes multilineares. A classe
n
o
PM = P P n ; P M, n N ,
com
kP kPM

:= P
Proposio 2.1.13
PM
chamada ideal de polinmios gerado pelo ideal
Seja
M.
um ideal de Banach de aplicaes multilineares. Ento
um ideal de Banach de polinmios.
Demonstrao.
Sejam
P1 , P2 M (n E; F ).
E, F
Como
espaos de Banach,
M (n E; F )
P1 , P2 PM (n E; F ) e k K. Ento
um ideal, segue que
P1 + k P2 M (n E; F ).
Assim,
(P1 + kP2 ) = P1 + k P2 M (n E; F ) ,
e portanto
P1 + kP2 PM (n E; F ) .
Se
um polinmio
de Polarizao que
Sejam
n-homogneo
de tipo nito, segue diretamente da Frmula
de tipo nito e portanto
u L (G, E), P PM (n E; F )
P PM (n E; F ) .
t L (F ; H).
Como
tP (u, ..., u) (x, ..., x) = tP (u (x) , ..., u (x)) = tP u (x) = (tP u) (x, ..., x) ,
28
segue que
(tP u) = tP (u, ..., u) M (n E; F ) ,

e portanto vale a propriedade de ideal, isto ,
No difcil mostrar que
kkPM
tP u PM (n G; H).
restrita a
Para o clculo da norma do operador
(2.3)
PM (n E; F )
idnK ,
note que
uma norma.
(idnK ) = idKn .
Assim
kidnK kPM = kidKn kM = 1.

t L (F ; H), P PM (n E; F ) e u L (G, E). De (2.3), segue que

ktP ukPM = tP (u, ..., u) ktk P kukn = ktk kP kPM kukn .
Sejam
Como
M um ideal de Banach e como : PM (n E; F ) M (n E; F ) : P P
uma isometria linear sobre a imagem, para provar que
PM (n E; F )
um espao de
M (n E; F ) .
Mas isso no
Banach basta mostrar que
(PM (n E; F ))
fechado em
difcil de vericar. De fato, se
lim (Pk ) = A M (n E; F )

P
0
,
e
como
kk
kk
,
segue
que
A
na norma de M, ento P
0.

k
k
M
k
Ls ( E; F ) fechado em L (n E; F ), segue que A Ls (n E; F ) e portanto

A PM (n E; F ), pois A = A M (n E; F ) . Assim, A = A (PM (n E; F ))
Sabendo que
e segue que
(PM (n E; F ))
fechada. Portanto
PM
um ideal de Banach de polin-
mios.
2.2 Ideal de operadores lineares Cohen fortemente somantes

Vamos denotar por
Dp
a subclasse da classe de todos os operadores lineares entre
espaos de Banach que so Cohen fortemente
p-somantes.
Nesta seo, por razes de completude do trabalho, vamos mostrar que
(Dp , dp )
um ideal de Banach de operadores lineares. Este resultado conhecido embora no

esteja to presente na literatura.
Apenas uma pequena observao necessria antes de mostrarmos os principais
resultados da seo.
29
Observao 2.2.1
Se
0 6= T L(E; F )
i F , i = 1, ..., m
, ento
m
||(i T )m
i=1 ||w,p = sup ||(i (T (y)))i=1 ||p
yBE

m

T (y)

= ||T || sup i

||T
||
yBE
i=1 p
||T || sup ||(i (h))m

i=1 ||p
hBF
= ||T || ||(i )m
i=1 ||w,p ,
onde, na primeira e na ltima igualdade, usamos a Proposio A.4 do Apndice A.
Proposio 2.2.2
Se
1 < p ,
(Dp , dp )
ento
um ideal normado de operadores
lineares.
Demonstrao.
J sabemos que as componentes
dp ())
mados (com a norma
Dp (E; F )
quaisquer que sejam os espaos de Banach
posio 1.1.6). Vamos mostrar que toda componente

de posto nito, isto ,
so espaos vetoriais nor-
Lf (E; F ) Dp (E; F ),
Dp (E; F )
(Pro-
contm os operadores
para todos os espaos de Banach
F.
Nesta direo, vamos vericar que

0
T : E F : T (x) = (x)y, com E e y F,

pertence a
Dp (E; F ).
De fato, para todos
m N, xi E, i F , i = 1, ..., m ,
que
m
X
i=1
|i (T (xi ))| =
m
X
|i ((xi )y)| =
m
X
i=1
||||
|(xi )i (y)|
i=1
m
X
||xi |||i (y)|
i=1
||||
m
X
!1/p
p
||xi ||
i=1
m
X
|i (y)|
i=1
= |||| ||y|| ||(xi )m

i=1 ||p
m
X
|i (y)|p
i=1
|||| ||y|| ||(xi )m

i=1 ||p sup
wBF
=C
!1/p
p
||(xi )m
i=1 ||p
||(i )m
i=1 ||w,p
30
!1/p
||y||p
m
X
i=1
!1/p
p
|i (w)|
segue
e ento
T Dp (E; F ).
A1 L(E0 ; E), T Dp (E; F )
Propriedade de ideal: Sejam

Para todos
m N, xi E0 , i F0 , i = 1, ..., m,
m
X
m
X
|i ((A2 T A1 )(xi ))| =
i=1
A2 L(F ; F0 ).
usando a Observao 2.2.1,
|(i A2 )(T (A1 (xi ))|
i=1
m
dp (T )||(A1 xi )m
i=1 ||p ||(i A2 )i=1 ||w,p
m
dp (T )||A1 || ||(xi )m
i=1 ||p ||A2 || ||(i )i=1 ||w,p
m
= ||A2 || dp (T ) ||A1 || ||(xi )m
i=1 ||p ||(i )i=1 ||w,p
(2.4)
m
= C ||(xi )m
i=1 ||p ||(i )i=1 ||w,p
e, portanto,
A2 T A1 Dp (E0 ; F0 ).
Note tambm que, por (2.4),
dp (A2 T A1 ) ||A2 || dp (T ) ||A1 || .

Por ltimo, vamos mostrar que
p-somante)
Cohen fortemente
A, Proposio A.2), tomando
dp (idK ) = 1.
lqw (K)
m=1
Como
idK
de posto nito (logo,
isometricamente isomorfo a
lq (K)
(Apndice
em (1.3), segue que
|(idK (x))| = |(x)| ||x|||||| = ||(x, 0, 0, ...)||p ||(, 0, 0, ...)||w,p ,

o que nos diz que
dp (idK ) 1.
Alm disso, para todos
x, K
, com
|||| = 1,
||x|| = ||(x, 0, 0, ...)||C,p = ||(idK (x), 0, 0, ...)||C,p dp (idK ) ||x|| ||||,

o que implica em
1 dp (idK ).
Proposio 2.2.3
Se
Logo
1 < p ,
dp (idK ) = 1.
ento
(Dp , dp )
um ideal de Banach de operadores
lineares.
Demonstrao.
Seja
(Tn )
n=1
uma sequncia de Cauchy em
|| || dp () (Proposio 2.1.3), segue que (Tn )

n=1
de Cauchy em
lim Tn = T L(E; F ).
n
Devemos agora mostrar que
Como cada
Tn
denido para todo
L(lp (E); lp hF i)
Alm disso,
e portanto
Como
L(E; F ) e, portanto,
(2.5)
T Dp (E; F ).
p-somante, Tbn : lp (E) lp hF i est bem

b
Tn = dp (Tn ) , donde (Tbn )
n=1 de Cauchy em
Cohen fortemente
n.
(Dp (E; F ), dp ).
limn Tbn = A L(lp (E); lp hF i).

31
Dena, para todo
(xj )
j=1 lp (E),
(yj )
j=1 := A((xj )j=1 ) lp hF i.
Com isso, dado
>0
existe
n0 N
tal que
||Tn (xj ) yj || ||(Tn (xj ))

j=1 (yj )j=1 ||C,p

= Tbn ((xj )
)
A((x
)
)
j j=1
j=1
C,p
< ||(xj )
j=1 ||p ,
para todo
que
n > n0 ,
T (xj ) = yj ,
isto ,
limn Tn (xj ) = yj ,
para todo
j N,
para todo
j N.
Disto e de (2.5), segue
donde
(T (xn ))
n=1 = (yn )n=1 lp hF i, para toda (xn )n=1 lp (E),
e portanto
Tb : lp (E) lp hF i
est bem denido.
2.3 Ideal de operadores multilineares e polinmios

Vamos denotar por
LCoh,p a subclasse da classe de todos os operadores multilinea-
res entre espaos de Banach que so Cohen fortemente
LnCoh,p
denotar a classe de todos os operadores
so Cohen fortemente
p-somantes.
p-somantes.
Nesta seo vamos mostrar que
Cohen fortemente
Demonstrao.
(LCoh,p , || ||Coh,p )
Primeiro, veriquemos que todo
operador multilinear de tipo nito Cohen fortemente
Se
n N for xado,
n-lineares entre espaos de Banach que
um ideal de Banach de operadores multilineares.
Proposio 2.3.1
Se
p-somante.
1 < p , n N e T L (E1 , ..., En ; F ) de tipo nito,

p-somante.
Para todo
n N,
devemos mostrar que a aplicao
An : E1 En F : An (x1 , ..., xn ) = 1 (x1 ) n (xn ) b ,
32
ento
com
k Ek0 , k = 1, ..., n
(r)
m N, xi Er , i F
e
,
b F,
Cohen fortemente
i = 1, ..., m, r = 1, ..., n,
p-somante.
Assim, para todos
segue que
m

X

(1)
(n)
i An xi , ..., xi

i=1
m

X

(n)
(1)
i (b)
1 xi n xi
i=1
m

X
(1) (n)
||1 || ||n ||
xi xi |i (b)|
i=1
!
!1/p
m
n
m
np 1/np
X
Y
X

(r)
|i (b)|p
||1 || ||n ||
xi
r=1
i=1
i=1
!
!1/p
n
m
m
np 1/np
p
Y
X
X
|i (b)|
(r)
= ||1 || ||n || ||b||

xi
||b||p
r=1
i=1
i=1
!1/np
!1/p
n
m
m

Y X (r) np
X
sup
|i (w)|p
||1 || ||n || ||b||
xi
r=1
=C
n
m

Y
X
(r) np
xi
r=1
Portanto
An
wBF
i=1
!1/np
i=1
||(i )m
i=1 ||w,p .
i=1
Cohen fortemente
p-somante
para todo
n.
Os seguinte lema consequncia imediata do fato de
(LCoh,p , || ||Coh,p )
ser ideal
mas, por uma necessidade imediata, vamos adiantar sua apresentao.
Lema 2.3.2
Se
nN
T L(E1 , ..., En ; F )
Cohen fortemente
p-somante,
ento
||T || ||T ||Coh,p .
Demonstrao.
Tomando
m=1
em (1.11), segue que
|(T (x1 , ..., xn ))| ||T ||Coh,p ||(x1 , 0, 0, ...)||np ||(xn , 0, 0, ...)||np ||(, 0, 0, ...)||w,p ,
e portanto, pelo Teorema de Hahn-Banach,
Teorema 2.3.3
de operadores
Se
1<p
n N,
||T || ||T ||Coh,p .
ento
LnCoh,p , || ||Coh,p
um ideal normado
n-lineares.
Demonstrao.
J sabemos que as componentes
vetoriais normados (com a norma
|| ||Coh,p )
33
LCoh,p (E1 , ..., En ; F )
quaisquer que sejam
n N,
so espaos
os espaos de
Banach
Ej
F , j = 1, ...n,
(Proposio 1.2.3), e contm os operadores de tipo nito
(Proposio 2.3.1).
Vejamos a validade da propriedade de ideal. Sejam
T LCoh,p (E1 , ..., En ; F ) e A L(F ; F0 ).

r = 1, ..., n, i = 1, ..., m,
Para todo
Ar L(Hr ; Er ), r = 1, ..., n,
(r)
m N e todos xi Hr , i F0 ,
usando a Observao 2.2.1, temos
m

X

(1)
(n)
i ((AT (A1 , ..., An )) xi , ..., xi
i=1
m

X

(n)
(1)
=
(i A) T A1 xi , ..., An xi

i=1

(1)
(n) m
||T ||Coh,p (A1 xi )m
...
(A
x
)
||(i A)m

n i
i=1
i=1
i=1 ||w,p
np
np

(1) m
(n) m
||T ||Coh,p ||A1 ||...||An || (xi )i=1 (xi )i=1 ||A|| ||(i )m
i=1 ||w,p
np
np

(n) m
(1) m
= ||A|| ||T ||Coh,p ||A1 ||...||An || (xi )i=1 (xi )i=1 ||(i )m
i=1 ||w,p
np
np

(n) m
(1)
)
||(i )m
(x
= C (xi )m

i=1
i=1 ||w,p
i=1
i
np
np
e, portanto,
(2.6)
AT (A1 , ..., An ) LCoh,p (H1 , ..., Hn ; F0 ).
Note tambm que, por (2.6),
||AT (A1 , ..., An )||Coh,p ||A|| ||T ||Coh,p ||A1 ||...||An || .

Por ltimo, vamos mostrar que
||idKn ||Coh,p = 1,
de tipo nito (logo, Cohen fortemente
p-somante),
para todo
n N.
Como
pelo Lema 2.3.2,
1 = ||idKn || ||idKn ||Coh,p .

Por outro lado, como
||||w,p = ||||p
em
K,
segue que
m

X

(1)
(n)
n
id
x
,
...,
x
i

K
i
i
i=1
m

X

(1)
(n)
=
i xi xi
i=1
m
X

(1) (n)
||i || xi ... xi
i=1
m
X
!1/p
||i ||p
i=1
m

X
(1) np
x
i
i=1
m

X
(n) np
x
i
i=1

(1)

(n) m
= (xi )m
(x
)

i=1
i=1
i
np
!1/np
np
34
||(i )m
i=1 ||w,p ,
!1/np
idKn
para todo
m N
||idKn ||Coh,p 1.
e todos
Assim,
Proposio 2.3.4
Se
Banach de operadores
Demonstrao.
(r)
xi , i K, r = 1, ..., n, i = 1, ..., m,
||idKn ||Coh,p = 1.
1 < p
n-lineares.
Seja
(Tk )
k=1
em
Cauchy. Como, pelo Lema 2.3.2,
L(E1 , ..., En ; F )
o que implica em
n N,
ento
LnCoh,p , || ||Coh,p
(LCoh,p (E1 , ..., En ; F ), || ||Coh,p )
|| || || ||Coh,p ,
um ideal de
uma sequncia de
(Tk )
k=1
segue que
de Cauchy em
e, portanto,
lim Tk = T L(E1 , ..., En ; F ).
(2.7)
k
Mostraremos que
p-somante, Tbk
(Tbk )
k=1
T LCoh,p (E1 , ..., En ; F ).
est bem denido para todo
de Cauchy em
k.
Tk Cohen fortemente

b
Tk = ||Tk ||Coh,p , logo
Como cada
Alm disso,
L(lnp (E1 ), ..., lnp (En ); lp hF i)
e portanto
limk Tbk = A
L(lnp (E1 ), ..., lnp (En ); lp hF i).

Denindo
para

(1)
xj
j=1
k0 N

(n)
(1)
lp hF i,
,
...,
x
(yj )
:=
A
x
j=1
j
j
j=1

(n)
, ..., xj
lnp (E1 ) ... lnp (En ), segue
que dado
>0
existe
j=1
tal que

(1)
(n)
yj
Tk xj , ..., xj

(1)
(n)

T
x
,
...,
x
(y
)
k
j
j=1
j
j

j=1
C,p

(1)
(n)
(1)
(n)
b

=
xj
, ..., xj
A
xj
, ..., xj
Tk

j=1
j=1
j=1
j=1
C,p

(1)
(n)

<
xj j=1 xj j=1 ,
np
np

(1)
(n)
k > k0 , isto , limk Tk xj , ..., xj
= yj , para

(1)
(n)
obtemos T xj , ..., xj
= yj , para todo j N, donde
para todo
(2.7),
todo
j N.
Disto e de

(1)
(n)
T xj , ..., xj
= (yj )
j=1 lp hF i ,
j=1
para todo

(1)
xj

j=1

(1)
, ..., xj
j=1
Tb : lnp (E1 ) ... lnp (En ) lp hF i
lnp (E1 ) ... lnp (En ).
est bem denido e assim
35
Portanto o operador
T LCoh,p (E1 , ..., En ; F ).
Vamos denotar por
PCoh,p
a subclasse da classe de todos os polinmios entre
espaos de Banach que so Cohen fortemente

denotar a classe de todos os polinmios
so Cohen fortemente
p-somantes.
n-homogneos
Se
nN
for xado,
n
PCoh,p
entre espaos de Banach que
p-somantes.
Segue imediatamente do Lema 1.2.5 e dos Teoremas 2.3.4 e 2.1.13 que
PCoh,p
um ideal de Banach de polinmios:
Proposio 2.3.5
Se
Banach de polinmios
1 < p e n N,
n-homogneos.
36
ento
n
, || ||Coh,p
PCoh,p
um ideal de
Captulo 3
Operadores mltiplo Cohen
fortemente somantes
Neste captulo usamos a teoria bem sucedida dos operadores mltiplo absolutamente somantes (veja p. ex. [25, 34, 36]) como prottipo para motivar nossa denio
de operador multilinear mltiplo Cohen fortemente
p-somante.
Como car claro mais
adiante, esta nova abordagem adequada do ponto de vista da teoria de ideais de

operadores multilineares e de polinmios bem como sob o ponto de vista de tipos de
holomora.
Esses nossos resultados j se encontram publicados na Revista Linear and Multilinear Algebra sob o ttulo Cohen and multiple Cohen strongly summing multilinear
operators [13].
3.1 Operadores multilineares mltiplo Cohen fortemente somantes

Como temos procedido at agora em todo o texto, exibiremos a denio de
operador multilinear mltiplo Cohen fortemente
p-somante em termos de sequncias e,
em seguida, caracterizaes por desigualdades.
Denio 3.1.1
1
p
1
p
= 1.
1 < p e Ei , F espaos de Banach, i = 1, ..., n, com

operador T L(E1 , ..., En ; F ) e dito mltiplo Cohen fortemente
Sejam
Um
p-somante
se

(n)
(1)
T xj1 , ..., xjn
para quaisquer
(i)
xj

j=1
j1 ,...,jn N
lp hF i ,
lp (Ei ), i = 1, ..., n.
No difcil mostrar que a classe de todas as aplicaes multilineares mltiplo

Cohen fortemente
p-somantes de E1 En em F
Essa classe ser denotada por
Proposio 3.1.2
Para
um subespao de
L(E1 , ..., En ; F ).
LmCoh,p (E1 , ..., En ; F ).
T L(E1 , ..., En ; F )
1
e p
1
p
= 1,
as seguintes armaes
so equivalentes:
i) T
ii)
C>0
p-somante;
tal que

(1)
(n)

j1 ,...,jn T xj1 , ..., xjn
j1 ,...,jn =1

X
(1) p
xj
!1/p

X
(n) p
xj
!1/p

(j1 ,...,jn )j1 ,...,jn N
w,p
j=1
j=1
para quaisquer
0
lpw (F ) e
(j1 ,...,jn )j1 ,...,jn N
(i)
xj

j=1
lp (Ei ), i =
1, ..., n.
iii)

m
X
C>0
tal que

(1)
(n)
j1 ,...,jn T xj1 , ..., xjn

(3.1)
j1 ,...,jn =1
m

X
(1) p
xj
!1/p
m

X
(n) p
xj
j=1

m
(j1 ,...,jn )j1 ,...,jn =1
w,p
j=1
m N, j1 ,...,jn F
1, ..., m, j = 1, ..., m.
para todos
C que
LmCoh,p (E1 , ..., En ; F ).

dene uma norma em
!1/p
Demonstrao. (i) (ii) Se T
(i)
xj
Ei , i = 1, ..., n, ji =
satisfazem (3.1), denotado
||T ||mCoh,p
p-somante,
0
Te : lpw (F ) lp (E1 ) lp (En ) l1
38
o operador
dado por

(1)
(j1 ,...,jn )j1 ,...,jn N , xj1
, ...,
j1 =1
est bem denido e

Seja
(n)
xj n

jn =1

(n)
(1)
7 j1 ,...,jn T xj1 , ..., xjn
j1 ,...,jn N
(n + 1)-linear.
0
w
(xk )
k=1 lp (F ) lp (E1 ) lp (En ) com
x x lw (F 0 ) l (E ) l (E )
k
p
1
p
n
p
.
Te(x ) (z
)
l .
j1 ,...,jn j1 ,...,jn N
(3.2)
Escrevendo

(1)
(n)
k
, ..., xk,jn
xk = (j1 ,...,jn )j1 ,...,jn N , xk,j1
j1 =1
jn =1

(1)
(n)
, ..., xjn
x = (j1 ,...,jn )j1 ,...,jn N , xj1
j1 =1
(3.3)
jn =1
segue que
(zj1 ,...,jn )j1 ,...,jn N = lim Te(xk )

k

(1)
(n)
k
= lim j1 ,...,jn T xk,j1 , ..., xk,jn
k
j1 ,...,jn N
Precisamos mostrar que
Te(x) = (zj1 ,...,jn )j1 ,...,jn N .

Mas

(1)
xj 1
Te(x) = Te
(j1 ,...,jn )j1 ,...,jn N ,
, ...,
j1 =1

(1)
(n)
,
= j1 ,...,jn T xj1 , ..., xjn
(n)
xj n

jn =1
j1 ,...,jn N
de forma que precisamos mostrar que

(1)
(n)
j1 ,...,jn T xj1 , ..., xjn
= zj1 ,...,jn
para todos
j1 , ..., jn N.
(3.4)
Temos

(1)
(n)
= zj1 ,...,jn
lim kj1 ,...,jn T xk,j1 , ..., xk,jn
(3.5)
e, por outro lado, de (3.2) e (3.3) segue que
(i)
(i)
xk,j xj em Ei e kj1 ,...,jn j1 ,...,jn em F ,

39
(3.6)
para quaisquer
j N, i = 1, ..., n
j1 , ..., jn N.
Como
contnuo, segue de (3.6)
que
lim
k
para todos
kj1 ,...,jn

(n)
(1)
(n)
(1)
,
T xk,j1 , ..., xk,jn
= j1 ,...,jn T xj1 , ..., xjn
j1 , ..., jn N.
Assim, de (3.7) e (3.5) obtemos (3.4). Logo,
(3.7)
possui grco
fechado e portanto contnuo. Por conseguinte,

(1)
(n)
j1 ,...,jn T xj1 , ..., xjn

j1 ,...,jn =1

(n)
(1)

,
...,
x
=
T
x
j
,...,j
n
1
j
j
n
1

j1 ,...,jn N 1

(n)
(1)
e

, ..., xjn
= T (j1 ,...,jn )j1 ,...,jn N , xj1

j1 =1
jn =1
1

(n)

e (1)
(j1 ,...,jn )
x
T xj
j1 ,...,jn N

j
(ii) (i)
(ii) (iii)
(iii) (ii)
Sejam
w,p
j=1 p
j=1 p
so imediatas.
0
(j1 ,...,jn )j1 ,...,jn N lpw (F )
(i)
xj
lp (Ei ), i = 1, ..., n.
j=1
Ento,

(1)
(n)
T
x
,
...,
x
j1 ,...,jn

j1
jn
j1 ,...,jn =1
m
X
= sup
m

(1)
(n)
j1 ,...,jn T xj1 , ..., xjn

j1 ,...,jn =1
!

(1) m
(n) m

m
x

sup C
xj
(j1 ,...,jn )j1 ,...,jn =1
j

j=1
j=1
w,p
m
p
p

(1)

x(n)

=C
x
(
)
.

j1 ,...,jn j1 ,...,jn N
j

j

j=1 p
w,p
j=1 p
O resultado seguinte demonstra que a denio de operador mltiplo Cohen fortemente
p-somante
Proposio 3.1.3
Cohen fortemente
generaliza o conceito de operador Cohen fortemente
Todo operador multilinear Cohen fortemente
p-somante
p-somante.
p-somante
mltiplo
|| ||mCoh,p || ||Coh,p .
Demonstrao.
Pelo Teorema 1.3.3,
tem uma constante positiva
T LCoh,p (E1 , ..., En ; F )
se, e somente se, exis-
40
em
BF 00
tais
que
!1/p
|()|p d()
|(T (x1 , ..., xn ))| C||x1 || ... ||xn ||

B
para todos
xj Ej , F , j = 1, ..., n
. Assim, dado
m N,
!1/p

Z

(1)
(n)

(n)
(1)
C xj1 ... xjn
j1 ,...,jn T xj1 , ..., xjn
|(j1 ,...,jn )| d()
para todos
m
X
j1 ,...,jn F
00
00
(i)
xj Ei , i = 1, ..., n, 1 j1 , ..., jn m.
Ento,

(n)
(1)

j1 ,...,jn T xj1 , ..., xjn
j1 ,...,jn =1

Z

(1)
(n)
xj ... xj

n
1
m
X
|(j1 ,...,jn )|p d()
j1 ,...,jn =1
!1/p
m
X

(1)
(n) p
xj1 ... xjn
!1/p
j1 ,...,jn =1
=C
m
X
m
X

(1) p
xj
j=1
|(j1 ,...,jn )| d()
!
1/p Z
(n) p
xj
m
X
00
m
X
j=1
!1/p
j1 ,...,jn =1
!1/p
00
00
!1/p
p
|(j1 ,...,jn )| d()
j1 ,...,jn =1
!1/p

m
X
(1) m
(n) m

C
sup
|(j1 ,...,jn )|p
xj j=1 xj j=1 B
00
p
p
F j1 ,...,jn =1

m
(1) m

m
x(n)

)
=C
x
(
j j=1
j j=1 j1 ,...,jn j1 ,...,jn =1 w,p ,
p
e portanto
T LmCoh,p (E1 , ..., En ; F ).
3.2 Ideais de operadores e de polinmios mltiplo

Vamos denotar por
LmCoh,p
a subclasse da classe de todos os operadores multi-
lineares entre espaos de Banach que so mltiplo Cohen fortemente
n N
for xado,
LnmCoh,p
denotar a classe de todos os operadores
espaos de Banach que so mltiplo Cohen fortemente

Vamos, nesta seo, mostrar que
p-somantes.
n-lineares
Se
entre
p-somantes.
(LmCoh,p , || ||mCoh,p )
um ideal de Banach de
operadores multilineares. Nesta direo, a Proposio 3.1.3 mostra que as componentes
LmCoh,p (E1 , ..., En ; F )
contm os operadores de tipo nito e, alm disso, a Proposio
41
3.1.2 garante que essas componentes so espaos normados. A observao seguinte nos
levar ao fato de que
Observao 3.2.1
De fato,
||idKn ||mCoh,p = 1.
T mltiplo Cohen fortemente p-somante, ento ||T || ||T ||mCoh,p .

tomando m = 1 em (3.1), temos
Se
|(T (x1 , ..., xn ))| ||T ||mCoh,p ||(x1 , 0, ...)||p ||(xn , 0, ...)||p ||(, 0, ...)||w,p ,
e assim, pelo Teorema de Hahn-Banach, segue que
Como
||idKn || = 1,
Alm disso, como

desigualdade
LCoh,p
||T || ||T ||mCoh,p .
a Observao 3.2.1 nos d a desigualdade

um ideal,
||idKn ||Coh,p = 1
1 ||idKn ||mCoh,p .
e a Proposio 3.1.3 nos d a
||idKn ||mCoh,p 1.
Resta-nos mostrar a propriedade de ideal e a completude.
Teorema 3.2.2
de Banach de
n N. Ento LnmCoh,p ,
operadores n-lineares.
Seja
Demonstrao.
A L(F ; G).
Sejam
munido com a norma
Ai L(Hi ; Ei ), i = 1, ..., n
Para todo
m N,
se
ideal
T LmCoh,p (E1 , ..., En ; F )
j1 ,...,jn G
|| ||mCoh,p ,
(i)
xj
Hi , i = 1, ..., n, ji =
1, ..., m, j = 1, ..., m, ento, temos

m

X

(1)
(n)

j1 ,...,jn AT (A1 , ..., An ) xj1 , ..., xjn
j1 ,...,jn =1
m
X

(1)
(n)
(j1 ,...,jn A) T A1 xj1 , ..., An xjn

j1 ,...,jn =1
||T ||mCoh,p
n
m
Y

Ai x(i)

j

j=1
i=1
!
||(j1 ,...,jn A)m
j1 ,...,jn =1 ||w,p

n
Y
(i) m
x

||A|| ||T ||mCoh,p ||A1 || ||An ||
j j=1
||(j1 ,...,jn )m
j1 ,...,jn =1 ||w,p .
i=1
Portanto,
AT (A1 , ..., An ) LmCoh,p (H1 , ..., Hn ; G)
||AT (A1 , ..., An )||mCoh,p ||A|| ||T ||mCoh,p ||A1 || ||An || .

A completude demonstrada de maneira anloga feita para o caso do ideal dos
operadores multilineares Cohen fortemente
p-somantes
(Teorema 2.3.4).
A noo de polinmios mltiplo Cohen fortemente

por meio da Proposio 2.1.13.
42
p-somantes
ser introduzida
Denio 3.2.3
p-somantes
A classe dos polinmios
n-homogneos
ser dada por

n
PmCoh,p
:= P P n ; P LnmCoh,p .
Alm disso, com a norma dada por
||P ||PmCoh,p = ||P ||mCoh,p ,

obtemos um ideal (de Banach) de polinmios gerado pelo ideal
LmCoh,p ,
como garante
a proposio 2.1.13.
3.3 Tipos de holomora e ideais mltiplo Cohen fortemente somantes

Nesta seo, usamos o artigo [8] de G. Botelho et. al., que estabelece condies
para que um ideal de polinmios gerados por um ideal de operadores multilineares seja
um tipo de holomora global.
3.3.1 Tipos de holomora global e ideais de polinmios

Dados
P P(n E; F ), k n
a E,
denimos o polinmio
dk P (a) P(k E; F )
por
dk P (a)(x) =
Diremos que um operador
k!
P (a, (nk)
. . . , a, x, (k)
..., x) .
(n k)!
(n + 1)-linear e contnuo T
simtrico nas
n primeiras
variveis se

T (a1 , ..., an , b) = T a(1) , ..., a(n) , b ,
para toda permutao
do conjunto
{1, ..., n}
e todos
a1 , ..., an E
b G.
A prova do resultado principal desta subseo ser omitida. Ela pode ser encontrada em [8]. A seguinte denio essencialmente a mesma que a dada por Nachbin
[28]:
Denio 3.3.1 (Botelho et.
al.
, [8])
PH de polinmios homogneos contnuos

n N e espaos de Banach E e F , as
Um tipo de holomora global uma classe

entre espaos de Banach tal que, para todos
componentes
satisfazem:
43
PH (n E; F ) := P(n E; F ) PH
i) PH (n E; F ) um subespao vetorial de P(n E; F ) munido com uma norma

denotada por P 7 ||P ||H ;
ii) PH (0 E; F ) = F
iii)
como espao vetorial normado para todos
F;
n N, k n, a E
P PH (n E; F ),
tal que para todos
E e F , com

1 k
n
nk
k
k

.
d P (a) PH ( E; F ) e d P (a)
||P ||H ||a||
k!
H
quaisquer espaos de Banach
Para a prxima denio, usamos a notao
Denio 3.3.2 (Botelho et. al., [8])
Seja
(n)
(n E, G; F ) em vez de (E, , E, G; F ).
uma classe de aplicaes multilinea-
n N e espaos de E1 , ..., En
e F , a componente J (E1 , ..., En ; F ) := L(E1 , ..., En ; F ) J um subespao vetorial de
L(E1 , ..., En ; F ) equipado com a norma denotada por || ||J . Dizemos que J possui
a propriedade (B) se existe C 1 tal que, para todos n N, quaisquer espaos de
n
Banach E e F e todo A J ( E, K; F ) simtrico nas primeiras n variveis, ocorre
res contnuas entre espaos de Banach tal que para todos
A1 J (n E; F ) e ||A1||J C||A||J ,
onde
A1 : E n F
denido por
A1(x1 , ..., xn ) := A(x1 , ..., xn , 1).
Teorema 3.3.3 (Botelho et. al., [8])

priedade (B) com constante
C,
Se um multi-ideal de Banach
PM
= 2C .
ento o ideal de Banach
um tipo de holomora global com constante
M possui a pro-
de polinmios gerado por
3.3.2 PmCoh,p um tipo de holomora global.

Vamos demonstrar que o ideal
mente
dos operadores multilineares Cohen forte-
p-somantes possui a propriedade (B) e, portanto, a classe PmCoh,p dos polinmios
Teorema 3.3.4
tante
LmCoh,p
C = 1.
p-somantes
p-somantes
um tipo de holomora global.
O multi-ideal de Banach
Portanto, o ideal
PmCoh,p
LmCoh,p
possui a propriedade (B) com cons-
dos polinmios mltiplo Cohen fortemente
um tipo de holomora global com constante
44
= 2.
Demonstrao.
Sejam
n N, E
Para todo inteiro positivo
j1 ,...,jn ,jn+1
com
m,
espaos de Banach e
denimos

j1 ,...,jn , se jn+1 = 1
=
0, se j
n+1 = 2, ..., m ,
j1 , ..., jn , jn+1 = 1, ..., m.
j1 ,...,jn F
(i)
xj
(3.8)
Ei , i =
temos

(n)
(1)

j1 ,...,jn T 1 xj1 , ..., xjn
j1 ,...,jn =1
m
X
e yjn+1
1, se j
n+1 = 1
=
0, se j
n+1 = 2, ..., m ,
Assim, para todos
1, ..., n, ji = 1, ..., m, j = 1, ..., m,

m
X
T LmCoh,p (n E, K; F ).

(n)
(1)
j1 ,...,jn T xj1 , ..., xjn , 1
j1 ,...,jn =1
m
X
(3.8)

(1)
(n)
j1 ,...,jn+1 T xj1 , ..., xjn , yjn+1
j1 ,...,jn+1 =1
||T ||mCoh,p
= ||T ||mCoh,p

n

Y
(i) m

m
m
x

(yj )j=1
j j=1 ||(j1 ,...,jn+1 )j1 ,...,jn+1 =1 ||w,p
p
p
i=1

n
Y (i) m
||(j1 ,...,jn+1 )m
x
j1 ,...,jn =1 ||w,p ,

j
i=1
de modo que
j=1 p
T 1 LmCoh,p (n E; F )
||T 1||mCoh,p ||T ||mCoh,p .
possui a propriedade (B) com constante

holomora global com constante
C =1
= 2.
45
Portanto,
LmCoh,p
e, pelo Teorema 3.3.3, um tipo de
Captulo 4
Coerncia e compatibilidade de ideais
Neste captulo mostramos que os ideais de polinmios e ideais de aplicaes multilineares Cohen fortemente
p-somantes
e mltiplo Cohen fortemente
p-somantes
so
coerentes e compatveis como pares, segundo os critrios denidos por Pellegrino e

Ribeiro [35], ao ideal dos operadores lineares da mesma classe. Esses conceitos so variaes de abordagens anteriores de [10, 14]. Esse fato deixa claro que as generalizaes
multilinear e polinomial do ideal de operadores Cohen fortemente
p-somantes
lineares,
aqui apresentadas, possuem um bom comportamento, preservando uma relevante interconexo com os nveis de
n-linearidade
e as caractersticas do ideal original.
4.1 Denies e resultados de coerncia e compatibilidade

Dados
T L(E1 , ..., En ; F ) e ak Ek , o operador Tak L(E1 , ..., Ek1 , Ek+1 , ..., En ; F )
denido xando-se o elemento
r = 1, ..., n
r 6= k ,
o operador
ak
na
k -sima
coordenada e dados
Ta1 ,...,ak1 ,ak+1 ,...,an L(Ek ; F )
ar Er ,
com
denido por
Ta1 ,...,ak1 ,ak+1 ,...,an (x) = T (a1 , ..., ak1 , x, ak+1 , ..., an ) .
Dados
P P(n E; F ), k n
a E,
denimos o operador
Pak P(nk E; F )
por
Pak (x) := P (ak , xnk ) = P (a, (k)

..., a, x, (nk)
... , x)
e para
k=1
Seja
denotamos simplesmente
(Un , Mn )N
n=1
uma
polinmios
n-homogneos
parmetro
N -upla
de pares, onde cada
Mn
e cada
Pa .
Un
um ideal normado de
um ideal normado de aplicaes
n-lineares.
pode ser eventualmente innito.
As demonstraes dos resultados desta seo encontram-se em [40] e sero omitidas.
Denio 4.1.1
[Par de ideais compatveis] Sejam I um ideal normado de operadores

{1}){}. Uma sequncia (Un , Mn )N
n=1 , onde U1 = M1 = I , compatvel
N (N r
com I se existem constantes positivas 1 , 2 , 3 e 4 tais
de Banach E, E1 , . . . , En e F , as seguintes condies so
{2, . . . , N } :
(CP 1) Se k {1, . . . , n}, T Mn (E1 , . . . , En ; F )

j {1, . . . , n} r {k}, ento
que para quaisquer espaos

verdadeiras para todo
aj Ej
para todo
Ta1 ,...,ak1 ,ak+1 ,...,an I (Ek ; F )

e

Ta1 ,...,a ,a ,...,an 1 kT k ka1 k . . . kak1 k kak+1 k . . . kan k .
k1 k+1
Mn
I
(CP 2)
Se
P Un (n E; F )
a E,
ento
Pan1 I (E; F )

kPan1 kI 2 P Mn kakn1 .
(CP 3)
Se
u I (En ; F )
j Ej0
para todo
j = 1, . . . , n 1,
1 n1 u Mn (E1 , . . . , En ; F )
e
k1 n1 ukMn 3 k1 k kn1 k kukI .

(CP 4)
Se
u I (E; F ), E 0 ,
ento
n1 u Un (n E; F )
n1
u 4 kkn1 kuk .
I
Un
(CP 5) P Un (n E; F )
se, e somente se,
47
P Mn (n E; F ).
ento
Denio 4.1.2 (Par de ideais coerentes)

dores e
Sejam I um ideal normado de operaN {}. Uma sequncia (Un , Mn )N

n=1 , onde U1 = M1 = I , coerente se
existem constantes positivas
E, E1 , ..., En+1
(CH1)
Se
1 , 2 , 3
tais que para quaisquer espaos de Banach
as seguintes condies so satisfeitas para
T Mn+1 (E1 , . . . , En+1 ; F )
aj Ej
para
n = 1, . . . , N 1:
j = 1, . . . , n + 1,
ento
Taj Mn (E1 , . . . , Ej1 , Ej+1 , . . . , En+1 ; F )

e

Ta
1 kT kMn+1 kaj k .
j Mn
(CH2)
Se
P Un+1 (n+1 E; F )
a E,
ento
Pa Un (n E; F )

kPa kUn 2 P Mn+1 kak .
(CH3)
Se
0
T Mn (E1 , . . . , En ; F ) e En+1
, ento T Mn+1 (E1 , . . . , En+1 ; F )
kT kMn+1 3 kT kMn kk .
(CH4)
Se
P Un (n E; F )
E 0,
ento
P Un+1 (n+1 E; F )
kP kUn+1 4 kP kUn kk .
(CH5) Para cada n = 1, . . . , N , P Un (n E; F )
Mn (n E; F ).
se, e somente se,
Segundo as denies acima, coerncia no necessariamente implica em compatibilidade. Entretanto, sob restries das constantes
i , i = 1, ..., 4,
temos esta impli-
cao. o que arma a seguinte proposio, cuja demonstrao pode ser encontrada
em [40]:
Proposio 4.1.3
ento compatvel
(Un , Mn )N
n=1 coerente, com constantes 1 = 2 = 3 = 4 = 1,
com o ideal U1 = M1 = I .
Se
4.2 Sequncias Cohen fortemente somantes

Vamos mostrar que a sequncia
linmios
n
(PCoh,p
, LnCoh,p )
n=1 , composta pelos ideais de po-
n-homogneos e ideais de operadores n-lineares Cohen fortemente p-somantes,

48
coerente e compatvel com o ideal dos operadores lineares Cohen fortemente
p-
somantes.
Na demonstrao deste resultado, por convenincia, usaremos a expresso do
Teorema 1.3.3, tem
Teorema 4.2.1
Dp
i),
como denio de operador Cohen fortemente
dos operadores lineares
Demonstrao.
com constantes
n
(PCoh,p
, LnCoh,p )
n=1 coerente
Cohen fortemente p-somantes.
A sequncia
e compatvel com o ideal
Usando a Proposio 4.1.3, vamos mostrar que a sequncia coerente
i = 1, i = 1, ..., 4.
(CH5)
J foi demonstrado no Lema 1.2.5.
(CH1)
Seja
a1 E1 .
positivo
p-somante.
Se
e todos
T LCoh,p (E1 , ..., En+1 ; F ),
(j)
segue que, para todo inteiro
xi Ej , i F , i = 1, ..., m , j = 1, ..., n,
m

X

(n)
(1)

i Ta1 xi , ..., xi
i=1
m

X

(1)
(n)
i T a1 , xi , ..., xi

i=1
||T ||Coh,p
m
X

(1) p
(n) p
||a1 ||p xi xi
!1/p
||(i )m
i=1 ||w,p
i=1
m

X
(1) p
(n) p
= ||T ||Coh,p ||a1 ||
xi xi
!1/p
||(i )m
i=1 ||w,p ,
i=1
donde
Ta1 LCoh,p (E2 , ..., En+1 ; F ) e ||Ta1 ||Coh,p ||T ||Coh,p ||a1 ||.
Procedendo de
modo anlogo, observamos que
Taj LCoh,p (E1 , ..., Ej1 , Ej+1 , ..., En+1 ; F ), j = 2, ..., n

e
(CH2)
||Taj ||Coh,p ||T ||Coh,p ||aj ||.

Seja
a E.
Se
P PCoh,p (n+1 E; F ),
49
ento, para todo
mN
e todos
xi
E, i F , i = 1, ..., m,
m
X
|i (Pa (xi ))| =
i=1
m
X
|i (P (a, xi , ..., xi ))|
i=1
m
X
||P ||Coh,p
!1/p
||a||p ||xi ||np
||(i )m
i=1 ||w,p
i=1
m
X
= ||P ||Coh,p ||a||
!1/p
np
||(i )m
i=1 ||w,p
||xi ||
i=1
Pa PCoh,p (n E; F )
||Pa ||Coh,p ||P ||Coh,p ||a||.
T LCoh,p (E1 , ..., En ; F )
En+1 ,
e, portanto,
(CH3)
Se
(j)
ento, para todo
m N
e todos
xi Ej , i F , i = 1, ..., m , j = 1, ..., n + 1,
m

X

(1)
(n)
(n+1)
i T xi , ..., xi , xi

i=1
m

X

(n+1)
(n)
(1)
xi
=

i T xi , ..., xi
i=1
m
X

(n+1)
(n)
(1)

i T xi , ..., xi xi
i=1
m

p

X
(n1) p (n)
(1) p
(n+1)

xi xi
xi xi
||T ||Coh,p
!1/np
||(i )m
i=1 ||w,p
i=1
m n+1

X
Y
(j) p
||T ||Coh,p ||||
xi
!1/p
||(i )m
i=1 ||w,p
i=1 j=1
e portanto
(CH4)
Sejam
pertence a
LCoh,p (E1 , ..., En , En+1 ; F ) e ||T ||Coh,p ||T ||Coh,p ||||.
P PCoh,p (n E; F )
0
xi E, i F , i = 1, ..., m,
m
X
|i (P (xi ))| =
i=1
m
X
Para todo inteiro positivo
temos, para
e todos
K = C,
|i ((xi )P (xi ))|
i=1
m
X
|i (P (((xi ))1/n xi ))|
i=1
||P ||Coh,p
m
X
!1/p
||((xi ))1/n xi ||np
||(i )m
i=1 ||w,p
i=1
||P ||Coh,p ||||
m
X
i=1
50
!1/p
||xi ||(n+1)p
||(i )m
i=1 ||w,p ,
onde
Se
((xi ))1/n
K = R,
n-sima de menor argumento principal de (xi ).
faamos
1, se (x ) 0
i
ai =
1, se (x ) < 0 ,
i
de forma que
m
X
representa a raz
ai (xi ) 0.
|i (P (xi ))| =
i=1
=
=
Ento,
m
X
i=1
m
X
i=1
m
X
|(xi )||i (P (xi ))|

ai (xi )|i (P (xi ))|
|i (P ((ai (xi ))1/n xi ))|
i=1
||P ||Coh,p
m
X
!1/p
||(ai (xi ))1/n xi ||np
||(i )m
i=1 ||w,p
i=1
= ||P ||Coh,p
m
X
!1/p
1/n
|| |(xi ))|
np
xi ||
||(i )m
i=1 ||w,p
i=1
= ||P ||Coh,p ||||
m
X
!1/p
||xi ||(n+1)p
||(i )m
i=1 ||w,p .
i=1
Portanto
pertence a
PCoh,p (n+1 E; F )
Assim, pela Proposio 4.1.3,

ideal
Dp
||P ||Coh,p ||P ||Coh,p ||||.
n
(PCoh,p
, LnCoh,p )
n=1
dos operadores lineares Cohen fortemente
coerente e compatvel com o
p-somantes
4.3 Sequncias mltiplo Cohen fortemente somantes

Nesta seo mostramos que a sequncia
ideais de polinmios
fortemente
n-homogneos
p-somantes,
n
(PmCoh,p
, LnmCoh,p )
n=1 ,
composta pelos
n-lineares
mltiplo Cohen
e ideais de operadores
so coerentes e compatveis (como pares) ao ideal dos ope-
radores lineares Cohen fortemente
p-somantes.
Buscamos mostrar com isso o bom
comportamento dessas classes, realando a pertinncia das generalizaes propostas.
Teorema 4.3.1
Dp
n
(PmCoh,p
, LnmCoh,p )
n=1 coerente e compatvel com o ideal
Cohen fortemente p-somantes.
A sequncia
dos operadores lineares
51
Demonstrao.
com constantes
ento
Usando a Proposio 4.1.3, vamos mostrar que a sequncia coerente
i = 1, i = 1, ..., 4.
(CH5)
Segue imediatamente da Denio 3.2.3.
(CH1)
Seja
an+1 En+1 .
Vamos mostrar que se
Tan+1 LmCoh,p (E1 , ..., En ; F ).

j1 ,...,jn ,jn+1
com j1 , ..., jn , jn+1
m N,
tomando os funcionais

j1 ,...,jn , se jn+1 = 1
=
0, se j
n+1 = 2, ..., m ,
= 1, ..., m, ento, para todos j1 ,...,jn F
1, ..., m, j = 1, ..., m,
m
X
Para todo
T LmCoh,p (E1 , ..., En+1 ; F ),
(i)
xj Ei , i = 1, ..., n, ji =
temos

(1)
(n)

j1 ,...,jn Tan+1 xj1 , ..., xjn
j1 ,...,jn =1
m
X

(1)
(n)
j1 ,...,jn ,jn+1 T xj1 , ..., xjn , an+1
j1 ,...,jn ,jn+1 =1

(1) m
(n) m
m

||T ||mCoh,p ||an+1 ||p
xj j=1 xj j=1 ||(j1 ,...,jn ,jn+1 )j1 ,...,jn ,jn+1 =1 ||w,p

p

p

m
m
(1)

(n)

m

= ||T ||mCoh,p ||an+1 ||p
xj j=1 xj j=1 ||(j1 ,...,jn )j1 ,...,jn =1 ||w,p ,
p
e segue que
Tan+1 LmCoh,p (E1 , ..., En ; F ) e ||Tan+1 ||mCoh,p ||T ||mCoh,p ||an+1 ||.
Procedendo de modo anlogo, observamos que
Taj LmCoh,p (E1 , ..., Ej1 , Ej+1 , ..., En+1 ; F ), j = 1, ..., n

e
||Taj ||mCoh,p ||T ||mCoh,p ||aj ||.

(CH2)
Sejam
LmCoh,p (n+1 E; F )
P PmCoh,p (n+1 E; F )
e, por
(CH1),
a E.
Por
(CH5),
temos
Pa LmCoh,p (n E; F ) e ||Pa ||mCoh,p ||P ||mCoh,p ||a||.

Assim, como
(Pa ) = Pa
segue, novamente por
(CH5),
que
Pa Un (n E; F ) e ||Pa ||mCoh,p ||P ||mCoh,p ||a||.
52
segue que
(CH3)
Se
En+1 ,
ento, para todo
mN
e todos
j1 ,...,jn F
(i)
xj E i ,
i = 1, ..., n + 1, ji = 1, ..., m, j = 1, ..., m,

m
X

(n)
(n+1)
(1)

j1 ,...,jn+1 T xj1 , ..., xjn , xjn+1
j1 ,...,jn+1 =1
m
X

(n)
(n+1)
(1)
.
j1 ,...,jn+1 T xj1 , ..., xjn xjn+1
j1 ,...,jn+1 =1
Note que a expresso (4.1) pode ser reescrita na forma
2
m
X
m
X

(1)
(n)
T
z
,
...,
z
j1 ,...,jn
,
j1
jn
jn =1 j1 ,...,jn1 =1
com as escolhas
(i)
(i)
zji = xji , ji = 1, ..., m , i = 1, ..., n 1

(n)
(n)
(n+1)
z
=
x
x
, jn = 1, ..., m
jn
j
jn
1

(n)
(n)
(n+1)
zm+jn = xjn xj2
, jn = 1, ..., m

(n)
(n+1)
z (n)
, jn = 1, ..., m
(m1)m+jn = xjn xjm
e
j1 ,...,jn = j1 ,...,jn ,1 , jn = 1, ..., m

j1 ,...,m+jn = j1 ,...,jn ,2 , jn = 1, ..., m
.

j1 ,...,(m1)m+jn = j1 ,...,jn ,m , jn = 1, ..., m .
De fato,
53
(4.1)
m
X

(n)
(n+1)
(1)

j1 ,...,jn+1 T xj1 , ..., xjn xjn+1
j1 ,...,jn+1 =1
m
m
X
X

(1)
(n)
(n+1)

j1 ,...,jn+1 T xj1 , ..., xjn xjn+1
=
+
jn+1 j1 ,...,jn =1
m

X

(n)
(n+1)
(1)
,
...,
x
T
x
+
j1 ,...,jn ,1
jn
j1
j1
j1 ,...,jn =1
m

X

(1)
(n)
(n+1)
T
x
,
...,
x
x
j1 ,...,jn ,2
+
j1
jn
j2
j1 ,...,jn =1
m
X

(n)
(n+1)
(1)
,
...,
x
T
x

j1 ,...,jn ,m
jn
jm
j1
j1 ,...,jn =1
m

X

(1)
(n)
j1 ,...,jn T zj1 , ..., zjn
+
=
+
j1 ,...,jn =1
m

X

(1)
(n)
j1 ,...,m+jn T zj1 , ..., zm+jn +
j1 ,...,jn =1
m
X

(1)
(n)
j1 ,...,(m1)m+jn T zj1 , ..., z(m1)m+jn
j1 ,...,jn =1
m2
m
X

(1)
(n)
T
z
,
...,
z
.
j1 ,...,jn
j1
jn
jn =1 j1 ,...,jn1 =1
Desta forma, se
m
X
T LmCoh,p (E1 , ..., En ; F ),
usando (4.1), segue que

(1)
(n)
(n+1)

j1 ,...,jn+1 T xj1 , ..., xjn , xjn+1
j1 ,...,jn+1 =1
2
m
X
m
X

(1)
(n)

j1 ,...,jn T zj1 , ..., zjn
jn =1 j1 ,...,jn1 =1
m,...,m,m2

(1)
(n)
j1 ,...,jn T zj1 , ..., zjn

X
j1 ,...,jn1 ,jn =1
||T ||mCoh,p

Y
(n) m2 n1
(i) m
m,...,m,m2
z

z

j
n jn =1
ji ji =1 ||(j1 ,...,jn )j1 ,...,jn1 ,jn =1 ||w,p
= ||T ||mCoh,p

n1
m
(n)
Y (i) m
(n+1)
m

x
x (x

)
jn+1
jn

j j=1 ||(j1 ,...,jn+1 )j1 ,...,jn+1 =1 ||w,p
jn ,jn+1 =1
p i=1
p i=1
()
||T ||mCoh,p ||||
n+1
Y
i=1

(i) m
m
x

j j=1 ||(j1 ,...,jn+1 )j1 ,...,jn+1 =1 ||w,p ,
p
54
onde em
(),
estamos usando a igualdade

m

X
m

(n)
=
x x(n+1)
jn+1

jn
jn ,jn+1 =1
p

p

(n+1)
x

jn+1
jn ,jn+1 =1

m

(n+1)

=

xj
j=1
e a limitao de
(CH4)
Seja
Assim,
1/p

p
(n)
xjn

(n) m

x
j j=1
T LmCoh,p (E1 , . . . , En+1 ; F ) e kT kmCoh,p kT kmCoh,p kk .
. A aplicao
n+1
(x1 , ..., xn+1 ) E
onde
[k]
n+1
indica a omisso da
[k]
1 X
7
(xk )P (x1 , , xn+1 ) F ,
n + 1 k=1
k -sima
restrio diagonal coincide com

aplicao coincide com
j1 ,...,jn F
(P ) .
P .
coordenada,
(n + 1)-linear,
Ento (ver Apndice B, Proposio B.4) esta
Usando este fato, para todo
(i)
m N
xj Ei , i = 1, ..., n + 1, ji = 1, ..., m, j = 1, ..., m,
m
X
simtrica e sua
e para todos
segue que

(1)
(n+1)
(P
)
x
,
...,
x

j1 ,...,jn+1
j1
jn+1
j1 ,...,jn+1 =1

!
m
n+1

X
X
[k]
1

(k)
(1)
(n+1)
xjk P xj1 , , xjn+1
j1 ,...,jn+1

n + 1 j ,...,j =1
k=1
1
n+1

!
m
n+1

X
X

1
(n+1)
j1 ,...,jn+1 x(k) P x(1) , [k]

, xjn+1
jk
j1

n + 1 j ,...,j =1 k=1
1
n+1

X

!m
n+1

1
(n+1)

j1 ,...,jn+1 x(k) P x(1) , [k]

, xjn+1
jk
j1

n + 1 k=1

j1 ,...,jn+1 =1 1

m

n+1

1 X

(k)
(1) [k]
(n+1)

j1 ,...,jn+1 xjk P xj1 , , xjn+1

n + 1 k=1
j1 ,...,jn+1 =1 1

n+1
m

1 X X
(k)
(1) [k]
(n+1)

j1 ,...,jn+1 xjk P xj1 , , xjn+1

n+1
k=1
j1 ,...,jn+1 =1
m
X

(1)
(2)
(n+1)
j1 ,...,jn+1 P xj1 xj2 , , xjn+1
+
1
n+1
j1 ,...,jn+1 =1
m

X

(n+1)
(1)
(n)
+
.
j1 ,...,jn+1 P xjn+1 xj1 , , xjn

=
j1 ,...,jn+1 =1
55
Assim,
m
X

(n+1)
(1)
,
...,
x
(P
)
x

j1 ,...,jn+1
jn+1
j1
(4.2)
j1 ,...,jn+1 =1

(n+1)
(2)
(1)
+
j1 ,...,jn+1 P xj1 xj2 , , xjn+1
m
X
1
n+1
j1 ,...,jn+1 =1
m

X

(n)
(1)
(n+1)
.
+

j1 ,...,jn+1 P xjn+1 xj1 , , xjn
=
j1 ,...,jn+1 =1
Ento, por argumento anlogo ao usado na demonstrao da propriedade
(CH3),
cada parcela de (4.2), por exemplo a primeira, pode ser escrita sob como
2
m
X
m
X

(2)
(n+1)
j2 ,...,jn+1 P zj2 , ..., zjn+1

j2 =1 j3 ,...,jn+1 =1
para as escolhas convenientes dos
demonstrado na propriedade
m
X
j2 ,...,jn+1
(CH3),
(k)
zjk
, com
k = 2, ..., n + 1.
Portanto, como
segue que

(1)
(2)
(n+1)
j1 ,...,jn+1 P xj1 xj2 , , xjn+1

j1 ,...,jn+1 =1
||P ||mCoh,p ||||

n+1
Y
i=1

(i) m
m
x

j j=1 ||(j1 ,...,jn+1 )j1 ,...,jn+1 =1 ||w,p .
p
Voltando a (4.2), nalmente obtemos
m
X

(1)
(n+1)
j1 ,...,jn+1 (P ) xj1 , ..., xjn+1

j1 ,...,jn+1 =1
m
X

(1)
(2)
(n+1)
j1 ,...,jn+1 P xj1 xj2 , , xjn+1
+
1
n+1
j1 ,...,jn+1 =1
m

X

(n+1)
(1)
(n)
+

j1 ,...,jn+1 P xjn+1 xj1 , , xjn
=
j1 ,...,jn+1 =1
"

n+1
Y (i) m
1
m
x

||P ||mCoh,p ||||
j j=1 ||(j1 ,...,jn+1 )j1 ,...,jn+1 =1 ||w,p +

n+1
p
i=1
#

n+1
Y (i) m
x
||(j1 ,...,jn+1 )m
+ ||P ||mCoh,p ||||
j1 ,...,jn+1 =1 ||w,p
j

i=1
= ||P ||mCoh,p ||||
j=1 p

n+1
Y
i=1

(i) m
m
x

j j=1 ||(j1 ,...,jn+1 )j1 ,...,jn+1 =1 ||w,p .
p
56
Assim,
P PmCoh,p (n+1 E; F )
||P ||mCoh,p ||P ||mCoh,p |||| = ||P ||mCoh,p |||| .

Conclui-se, pela Proposio 4.1.3, que
tvel com o ideal
Dp
Observao 4.3.2
n
, LnmCoh,p )
(PmCoh,p
n=1
dos operadores lineares Cohen fortemente
LCoh,p ,
p-somantes.
Com resultados anteriores e os dessa seo, podemos mostrar que a
classe dos operadores multilineares mltiplo Cohen fortemente

a classe
coerente e compa-
p-somantes,
que contm
no to grande no sentido de que, por exemplo, contenha todo
operador multilinear contnuo.
De fato, invocando a propriedade (CP1) na Denio 4.1.1, a qual satisfeita

pela classe
LmCoh,p ,
conclumos que se
u: EF
no Cohen fortemente
p-somante,
ento o operador multilinear contnuo
: E E F, definido por (x1 , ..., xn ) = (x1 ) . . . (xn1 )u(xn ) ,

onde
0 6= E
, no est em
LmCoh,p .
57
Captulo 5
Operadores Cohen fortemente
A denio de aplicaes absolutamente somantes num dado ponto foi concebida
por M. Matos e apresentada em [24]. Em seguida, a teoria vem sendo consolidada e
muitos resultados foram estabelecidos (veja [3, 8, 30]). De forma natural, este tipo de
abordagem vem sendo aplicada a outras classes de operadores multilineares e polinmios, como possvel ver em [6] e em [31].
Neste captulo vamos introduzir as classes dos operadores multilineares e polinmios Cohen fortemente somantes em um dado ponto e demonstrar alguns resultados,
como teoremas do tipo Dvoretzky-Rogers. Tambm observamos as novas classes sob o
ponto de vista da teoria de ideais.
Por no conseguirmos transpor, num primeiro momento, alguns detalhes tcnicos, vamos mostrar apenas que as classes formam ideais normados de operadores e de
polinmios. Em trabalhos futuros buscaremos mostrar que esses ideais so de Banach.
5.1 Operadores e polinmios Cohen fortemente

Denio 5.1.1
1 < p < , n N e E1 , ..., En ,F espaos de Banach. Uma

contnua T : E1 En F Cohen fortemente p-somante
Sejam
aplicao multilinear
no ponto
a = (a1 , ..., an ) E1 En quando

(1)
(n)
T a1 + xi , ..., an + xi
T (a1 , ..., an )
lp hF i
i=1
sempre que
(j)
xi

i=1
Denio 5.1.2
n-homogneo
lp (Ej ) , j = 1, ..., n.
1 < p < , n N e E ,F espaos de Banach. Um polinmio

P : E F Cohen fortemente p-somante no ponto a E quando
Sejam
(P (a + xi ) P (a))
i=1 lp hF i
sempre que
(xi )
i=1 lp (E).
No difcil provar que a classe de todas as aplicaes multilineares de
En
em
F,
que so Cohen fortemente
L (E1 , ..., En ; F ).
p-somantes
Denotaremos esse espao por
formado pelas aplicaes multilineares de
p-somantes
num dado ponto um subespao de
(a)
LCoh,p (E1 , ..., En ; F ) . O espao vetorial
E1 En em F
que so Cohen fortemente
Lev
Coh,p (E1 , ..., En ; F ) .
em todo ponto denotado por
De forma semelhante, a classe de todos os polinmios Cohen fortemente

de
E em F
num dado ponto
p-somantes
Observao 5.1.3
cias em lp (Ej ),
p-somantes
(a)
a um subespao de P(n E; F ), denotado por PCoh,p (n E; F ).
O espao vetorial formado pelos polinmios

fortemente
E1
n-homogneos P : E F
em todo ponto denotado por
que so Cohen
ev
PCoh,p
(n E; F ).
importante perceber que nas denies acima usamos sequn-
j = 1, ..., n,
e lp (E), diferentemente das denies de operadores mul-
tilineares e polinmios Cohen fortemente somantes (Denies 1.2.1 e 1.2.4). Desta

(0)
forma, os conceitos de LCoh,p (E1 , ..., En ; F ) e LCoh,p (E1 , ..., En ; F ) so distintos. Ao
nal desta seo justicamos o motivo da escolha desses espaos nas Denies 5.1.1
e 5.1.2.
As prximas duas proposies so demonstradas usando os mesmos argumentos

de [3] e faremos essas demonstraes por razo de completude.
Proposio 5.1.4
Se
a E
P P (n E; F ),
ento as seguintes armaes so
equivalentes:
i) P
Cohen fortemente
p-somante
em
59
a E;
ii) P
Cohen fortemente
p-somante
em
(a, ..., a) E n .
Demonstrao.
ii) i)
mos
imediato.
i) ii): Suponhamos que P seja Cohen fortemente p-somante em a E e tome

(j)
lp (E), com j = 1, ..., n. Usando a Frmula de Polarizao (Teorema
xi
i=1
B.3, no Apndice B), para cada
x0 E
e todo
i N,
segue que
h

i
(1)
(n)
n!2n P a + xi , ..., a + xi
P (a, ..., a)
(5.1)
!
n

X
X
X
(k)
=
1 n P x0 +
k a + xi
1 n P (x0 + 1 a + + n a)
i =1
i =1
k=1
"
1 n P
n
X
x0 +
i =1
!
k a
k=1
!!
(k)
k xi
#
P (x0 + 1 a + + n a)
k=1
de onde percebemos, de imediato, que

tomar
n
X
Cohen fortemente
p-somante se a = 0 (basta
x0 = 0).
Se
a 6= 0,
escolha
x0 = (n + 1) a.
x0 +
n
X
Para essa escolha,
k a = x0 + 1 a + + n a = a 6= 0 .
k=1
Mas se
a 6= 0,
a igualdade

1
xj
m
P (a) = P a + xj P (a)
P (a + xj ) P (a) = P a +
implica que
Cohen fortemente
Cohen fortemente
p-somante
em
a,
p-somante em (x0 + (1 a + + n a)) e,
Cohen fortemente
p-somante
em
pela expresso em (5.1),
se o for em
a.
Portanto,
(a, ..., a) .
Fica estabelecida um tipo de relao entre
(a)
(b)
LCoh,p (E1 , ..., En ; F ) e LCoh,p (E1 , ..., En ; F ),
por meio da proposio a seguir. Ela ser bastante til para a demonstrao de vrios
resultados, inclusive um teorema do tipo Dvoretzky-Rogers para a classe dos operadores
Cohen fortemente
p-somantes
Proposio 5.1.5
Sejam
em todo ponto.
a = (a1 , ..., an ) E1 En
(a)
T LCoh,p (E1 , ..., En ; F ).
Ento
i)
Se
1 r < n,
ento
(0)
Tak1 ,...,akr LCoh,p (Ej1 , ..., Ejs ; F ),
{1, ..., n} = {j1 , ..., js } {k1 , ..., kr }

60
com
{j1 , ..., js } {k1 , ..., kr } = ;

(b)
ii) T LCoh,p (E1 , ..., En ; F )
para todo
b {(1 a1 , ..., n an ) ; i K, i = 1, ..., n} .

Em particular,
Cohen fortemente
p-somante
na origem.
Demonstrao.
(i)
Para os operadores (lineares)
Ta1 ,...,aj1 ,aj+1 ,...,an , j = 1, ..., n,
basta notar que

(j)
Ta1 ,...,aj1 ,aj+1 ,...,an xi

(j)
= T a1 + 0, ..., aj1 + 0, aj + xi , aj+1 + 0, ..., an + 0 T (a1 , ..., an ) .
Assim, se
fortemente
Cohen fortemente
p-somante
p-somante
a,
em
ento
Ta1 ,...,aj1 ,aj+1 ,...,an
na origem.
Para o caso bilinear como, por exemplo, o do operador
Cohen
(n)
(n1)
, xi
xi
Ta1 ,...,an2 ,
fazemos

Ta1 ,...,an2
i=1

(n1)
(n)
= T a1 + 0, a2 + 0, ..., an2 + 0, an1 + xi
, an + xi
T (a1 , ..., an )
i=1

(n)
(n1)
T a1 , a2 , ..., an1 , xi
+ T a1 , a2 , ..., an2 , xi
, an
i=1

(n)
(n1)
T (a1 , ..., an )
, an + xi
= T a1 + 0, a2 + 0, ..., an2 + 0, an1 + xi
i=1

(n)
(n1)
+ Ta1 ,...,an2 ,an xi
,
Ta1 ,...,an1 xi
i=1
donde, pela hiptese e pelo caso anterior (linear), segue que

mente
p-somante
na origem.
Ta1 ,...,an2
Cohen forte-
Os demais casos bilineares e todos os outros casos so
demonstrados atravs do mesmo argumento.
(ii)
Se
b = (1 a1 , ..., n an ),
com
j 6= 0
para todo
j,
ento

X

(1)
(n)
T (1 a1 , ..., n an )
i T 1 a1 + xi , ..., n an + xi
i=1

X

1
n
(1)
(n)
i T 1 a1 + x , ..., n an + x

T
(
a
,
...,
a
)
=
1
1
n
n
i
i

1
n
i=1

X

1 (1)
1 (n)

= |1 n |
T (a1 , ..., an ) .
i T a1 + 1 xi , ..., an + n xi
i=1
61
Portanto
Se
que
Cohen fortemente
j = 0
para todo
j,
Cohen fortemente
p-somante
b.
em
da demonstrao de
p-somante
para algum ou alguns valores de
j,
(i),
na origem.
com o mesmo argumento, segue
Os demais casos, quando
so demonstrados usando
desenvolvimento que, por simplicidade, faremos para o caso
(i)
j = 0
e o seguinte tipo de
n = 3, 1 6= 0, 2 6= 0
3 = 0:
T (1 a1 + xi , 2 a2 + yi , zi ) T (1 a1 , 2 a2 , 0)

xi
yi
= 1 2 T a1 + , a2 + , zi T (a1 , a2 , 0)
1

2
yi
xi y i
xi
, a2 , zi + T a1 , , zi + T
, , zi
= 1 2 T (a1 , a2 , zi ) + T
1
2
1 2

xi
xi yi
yi
= 1 2 Ta1 ,a2 (zi ) + Ta2
, zi + Ta1
, zi + T
, , zi .
1
2
1 2
A classe dos operadores Cohen fortemente
p-somantes
em todo ponto contm a
classe dos operadores mltiplo Cohen fortemente somantes, como mostra o seguinte
teorema:
Teorema 5.1.6
Se
Demonstrao.
Sejam
T LmCoh,p (E1 , ..., En ; F ),
Vamos nos ater ao caso
ento
n = 2.
T LmCoh,p (E1 , E2 ; F ), (a, b) E1 E2
T Lev
Coh,p (E1 , ..., En ; F ).
Os outros casos so anlogos.
um ponto qualquer. Pela desigualdade
triangular e pela bilinearidade dos operadores, segue que, para todos
(yi )
i=1 lp (E2 )
(xi )
i=1 lp (E1 ),
w
(i )
i=1 lp (F ),
|i (T (a + xi , b + yi ) T (a, b))|
i=1
X
i=1
|i (T (a, yi ))| +
|i (T (xi , b))| +
i=1
|i (T (xi , yi ))| .
i=1
Mas cada parcela da expresso (5.2) nita, para todo
(a, b) E1 E2 .
tomando a primeira parcela, com as escolhas de
i,j
(5.2)
, se j = 1
i
=
0, se j N {1}
62
e (zj )
j=1 = (a, 0, 0, ...) ,
De fato,
juntamente com a hiptese de que
T LmCoh,p (E1 , E2 ; F ),
|i (T (a, yi ))| =
i=1
segue que
|i,j (T (zj , yi ))| < .
i,j=1
Aplicando argumento similar segue que
i=1
|i (T (xi , b))| < .
Para a ltima par-
cela, tomando
i,j
com
i, j N,
, se i = j
i
=
0, se i 6= j ,
segue que
|i (T (xi , yi ))| =
i=1
|i,j (T (xi , yj ))| < .
i,j=1
Conclumos que
|i (T (a + xi , b + yi ) T (a, b))| < ,
i=1
para todo
(a, b) E1 E2 ,
Observao 5.1.7
e portanto
T Lev
Coh,p (E1 , E2 ; F ).
Neste ponto vale observar que obtivemos as seguintes incluses
LCoh,p (E1 , ..., En ; F ) LmCoh,p (E1 , ..., En ; F ) Lev

Coh,p (E1 , ..., En ; F ) ,
como consequncia da Proposio 3.1.3 e do teorema anterior.
Desta observao, segue imediatamente que
Proposio 5.1.8
dores
n-lineares
As classes
e polinmios
Lev
Coh,p (E1 , ..., En ; F )
n-homogneos
ev
PCoh,p
(n E; F )
contm os opera-
de tipo nito, respectivamente.
Entretanto, a classe dos operadores multilineares Cohen fortemente
p-somantes
em todo ponto goza de um teorema do tipo Dvoretzky-Rogers, de modo que esta classe
no coincide com a classe dos operadores multilineares contnuos. Esse teorema e sua
demonstrao seguem as ideias de [3].
Teorema 5.1.9 (do tipo Dvoretzky-Rogers)

2
Sejam
um espao de Banach e
um nmero natural. Ento as seguintes armaes so equivalentes:
a) dim E = ;
63
(a)
b) LCoh,p (n E; E) 6= L(n E; E), para todo a = (a1 , ..., an ) E n

para todo i, ou ai = 0 para um nico i.
com
ai 6= 0
Demonstrao.
a) b)
ou
ai = 0
todo
dim E = ,
seja
a = (a1 , ..., an ) E n
para um nico i. Vamos tomar um natural
i 6= k
i 6= k
Supondo
escolhamos
i E
tal que
i (ai ) = 1
k {1, ..., n}
ai 6= 0,
(repare que isso no exclui o caso
com
para todo
e vamos denir
ai 6= 0
para todo
tal que
i).
ai 6= 0
i,
para
Agora, para cada
T L(n E; E)
por
[k]
T (x1 , ..., xn ) = 1 (x1 ) n (xn )xk .

Com isto,
E.
Ta1 ,...,ak1 ,ak+1 ,...,an (x) = T (a1 , ..., ak1 , x, ak+1 , ..., an ) = x,
Ta1 ,...,ak1 ,ak+1 ,...,an
Logo, pelo Teorema 1.1.8,
Finalmente, pela Proposio 5.1.5,
b) a)
E
Vamos supor que
E 0 , nesta ordem, com k (ei ) = k,i .

P
x = rk=1 k (x)ek e, se T L(n E; E),
e de
forma
T (x1 , ..., xn ) = T
r
X
Sejam
r
X
p-somante
{e1 , ..., er }
Assim, todo
x E
p-somante.
em
{1 , ..., r }
a.
bases de
pode ser escrito da
ento
k1 (x1 )ek1 , ...,
k1 =1
no Cohen fortemente
no Cohen fortemente
dim E < .
para todo
r
X
!
kn (xn )ekn
kn =1
k1 (x1 ) kn (xn )T (e1 , ..., en ) ,
k1 ,...,kn =1
donde
de tipo nito.
p-somante
Portanto, pela Proposio 5.1.8,
Cohen fortemente
em todo ponto.
A proposio seguinte nos oferece uma caracterizao por desigualdades para os

operadores Cohen fortemente
de resultados posteriores.
p-somantes na origem que nos ser til na demonstrao
A sua demonstrao anloga da Proposio 1.2.2 e,
portanto, ser omitida.
Proposio 5.1.10 T L(0)

Coh,p (E1 , ..., En ; F ) se, e somente se, existe uma constante
C>0
tal que

X

(1)
(n)
i T xi , ..., xi
C
n

Y
(j)
xi

i=1
j=1
sempre que
(j)
xi

i=1
lp (Ej ) , j = 1, ..., n,
i=1 p
||(i )
i=1 ||w,p ,
w
0
(i )
i=1 lp (F ).
que a desigualdade acima vlida dene uma norma em

64
(0)
O nmo dos
LCoh,p (E1 , ..., En ; F ).
tais
Os prximos resultados nos levaro a mostrar que os operadores multilineares e

polinmios Cohen fortemente somantes em todo ponto formam ideais normados.
Lema 5.1.11
Se
ento existe uma
1 < p < , a = (a1 , ..., an ) E1 En e T Lev

Coh,p (E1 , ..., En ; F ),
constante C = C(a1 , ..., an ) tal que

X

(1)
(n)
T (a1 , ..., an ) C ,
i T a1 + xi , ..., an + xi
i=1
sempre que
(j)
xi
i=1
lp (Ej ), (i )
i=1
0
lpw (F ),

(j)
1
xi
i=1 p
||(i )
i=1 ||w,p 1,
j = 1, ..., n.
Demonstrao.
Vamos mostrar o caso bilinear. O mesmo argumento serve para todos
os demais casos. Sejam

os operadores
Ta , Tb
T Lev
Coh,p (E1 , E2 ; F ) e (a, b) E1 E2 .
so Cohen fortemente
p-somantes
Pela Proposio 5.1.5,
na origem e por intermdio
da Proposio 5.1.10, segue que
|i (T (a + xi , b + yi ) T (a, b))|
i=1
|i (T (a, yi ))| +
i=1
|i (T (xi , b))| +
i=1
|i (T (xi , yi ))|
i=1
C1 k(yi )
i=1 kp ||(i )i=1 ||w,p + C2 k(xi )i=1 kp ||(i )i=1 ||w,p
+ C3 k(xi )
i=1 kp k(yi )i=1 kp ||(i )i=1 ||w,p
Ca,b ,
sempre que
k(xi )
i=1 kp 1, k(yi )i=1 kp 1
Teorema 5.1.12
Para
||(i )
i=1 ||w,p 1.
T L(E1 , ..., En ; F )
1
e p
+ p1 = 1,
equivalentes:
i) T
ii)
Cohen fortemente
Para todo
p-somante
em todo ponto;
a = (a1 , ..., an ) E1 En
existe uma constante
C>0
tal que,

X

(1)
(n)
T (a1 , ..., an )
i T a1 + xi , ..., an + xi
i=1

(1)
(n)
C ||a1 || + xi
||(i )
... ||an || + xi

i=1 ||w,p ,
i=1 p
sempre que
(j)
xi

i=1
i=1 p
lp (Ej ), j = 1, ..., n,
65
w
(i )
i=1 lp (F ).
iii)
Para todo
a = (a1 , ..., an ) E1 En
existe uma constante
C>0
tal que,
m

X

(1)
(n)
T (a1 , ..., an )
i T a1 + xi , ..., an + xi
i=1

(n) m
(1) m
||(i )m
C ||a1 || + xi

... ||an || + xi
i=1 ||w,p ,
i=1 p
i=1 p
(5.3)
para todos
(j)
m N, xi Ej , i F , i = 1, ..., m , j = 1, ..., n
ev
satisfeita, dene uma norma em LCoh,p
por
para as quais a desigualdade (5.3)
(E1 , ..., En ; F ),
a qual ser denotada
|| ||ev .
Demonstrao. (ii) (i) e (ii) (iii) so imediatas.

(iii) (ii)
Se
(j)
xi
i=1
lp (Ej ) , j = 1, ..., n
w
(i )
i=1 lp (F ),
ento

X

(n)
(1)
T
(a
,
...,
a
)
,
...,
a
+
x
T
a
+
x

i
1
n
n
1
i
i
i=1
m

X

(n)
(1)
T
(a
,
...,
a
)
,
...,
a
+
x
= sup
T
a
+
x

i
1
n
n
1
i
i

i=1

(n) m
(1) m
m
||(i )i=1 ||w,p
sup C ||a1 || + xi

... ||an || + xi
i=1 p
i=1 p
m

(1)
(n)
= C ||a1 || + xi
||(i )
... ||an || + xi

i=1 ||w,p .
i=1 p
(i) (ii)
i=1 p
A demonstrao dessa implicao segue a tcnica introduzida por M. Matos
em [24]. Vamos denir espaos

e considerar a aplicao
Gr = Er lp (Er ), r = 1, ..., n,
com a norma da soma,
(n + 1)-linear
0
(T ) : G1 Gn lpw (F ) l1 (F )

(1)
(n)
que faz corresponder a cada (n+1)-upla
a1 , x i
, ..., an , xi
, (i )
i=1 ,
i=1
i=1

(1)
(n)
a sequncia
i T a1 + xi , ..., an + xi
T (a1 , ..., an )
. A boa denio da
i=1
funo
segue da hiptese.
Vamos mostrar que
(T )
contnua, donde seguir o
resultado desejado. O conjunto
Fk,x(1)
i
i=1
= {(b1 , ..., bn ) E1 En tais que

(n)
, ..., bn , xi
, (i )i=1 k

(m)
,..., xi
,(i )
i=1
i=1

(1)
(T
)
b
,
x

1
i
i=1
i=1
66
l1
fechado em

(r)
Blp (Er ) , r = 1, ..., n,
E1 En para todo nmero natural k , xi
i=1
e (i )i=1
Blw (F
Fk,x(1)
i
i=1
,...,
) . De fato, basta observar que

(n)
xi
,(i )
i=1
i=1
Fk,x(1) m
i
mN
i=1
,...,

(n) m
xi
,(i )m
i=1
i=1
1
Sm
([0, k]) ,
mN
onde
Sm : E1 En [0, ),
a funo contnua dada por
m

X

(1)
(n)
Sm (b1 , ..., bn ) =
T (b1 , ..., bn ) .
i T b1 + xi , ..., bn + xi
i=1
Seja
Fk :=
Fk,x(1)
i
i=1

(n)
,..., xi
,(i )
i=1
com interseo tomada sobre todas as sequncias
(i )
i=1 Blw (F 0 ) .
p
existe
k0
existe
0<<1
sempre
tal que
Pelo Lema 5.1.11,
Fk0
i=1
(1)
xi
E1 En =

i=1
Fk
Blp (Er ) , r = 1, ..., n,
e pelo Teorema de Baire,
kN
tem interior no vazio. Sendo
(b1 , ..., bn ) um ponto interior de Fk0 ,
tal que

(n)
(1)
,
(
)
(5.4)
,
...,
c
,
x
(T
)
c
,
x

i i=1 k0 ,
n
1
i
i
i=1
i=1
l1

(r)
que ||cr br || < com
xi
Blp (Er ) , r = 1, ..., n e (i )
i=1 Blw (F 0 ) .
p
i=1
Assim, se
(v1 , ..., vn )
um ponto tal que

(r)
vr , x i
< ,
i=1
para todo
r = 1, ..., n,
temos

(r)

kvr k < , xi
<,
i=1 p
e com o uso de (5.4) e se
||(i )
i=1 ||w,p < ,
segue que
k (T ) [((b1 , (0)
i=1 ) , ..., (bn , (0)i=1 ), (0)i=1 )) +

i

(1)
(n)
+ v1 , xi
, ..., vn , xi
, (i )i=1
i=1
i=1
l1

h

i

(1)
(n)
= (T ) b1 + v1 , xi
, ..., bn + vn , xi
, (i )i=1 k0 ,
i=1
i=1
67
l1
pois
k(br + vr ) br k = kvr k < ,

(r)

x
j j=1 < e ||(i )i=1 ||w,p < .
p
Portanto,
(T )
limitada na bola de raio
e centro em
0
w
((b1 , (0)
i=1 ) , ..., (bn , (0)i=1 , (0)i=1 )) G1 Gn lp (F ).
Pelo Teorema B.1,
(T )
contnua e segue que

X

(1)
(n)
T (b1 , ..., bn )
i T b1 + xi , ..., bn + xi
i=1

(n)
(1)
, ..., bn , xi
, (i )
= (T ) b1 , xi
i=1
i=1
i=1
l1

(n)

(1)
||(i )
k (T )k kb1 k + xi
kbn k + xi

i=1 ||w,p ,
i=1 p
i=1 p
e que
kT k = k (T )k .
Um clculo extenso, porm direto, mostra que a funo
norma em
|| ||ev := k ()k de fato uma
Lev
Coh,p (E1 , ..., En ; F ) .
De forma natural, usando os mesmos argumentos aplicados ao caso multilinear,

com as devidas adaptaes, segue um teorema anlogo ao Teorema 5.1.12 para polinmios Cohen fortemente somantes em todo ponto. As demonstraes sero omitidas.
Teorema 5.1.13
Para
ev
P PCoh,p
(n E; F )
1
e p
1
p
= 1,
equivalentes:
i) P
ii)
Cohen fortemente
p-somante
C>0
em todo ponto;
tal que, para todo
|i (P (a + xi ) P (a))| C ||a|| +
a E,
k(xi )
i=1 kp
n
||(i )
i=1 ||w,p ,
i=1
sempre que
iii)
(xi )
i=1 lp (E)

m
X
C>0
w
(i )
i=1 lp (F ).
tal que, para todo
a E,

n
|i (P (a + xi ) P (a))| C ||a|| + k(xi )m
k
||(i )m
i=1 ||w,p ,
i=1 p
i=1
(5.5)
68
para todos
m N, xi E, i F , i = 1, ..., m.
para as quais a desigualdade (5.5)
ev
n
satisfeita, dene uma norma em PCoh,p ( E; F ), denotada por
|| ||ev .
Vamos justicar a escolha apontada pela Observao 5.1.3 fazendo uso do caso
bilinear (n
Seja
= 2).
p (1, ) xo e

1
1
1
= (r, q) [1, ) (1, ) : = + .
r
q p
Sejam
(a,b)
Cr,q (E1 , E2 ; F ),
L (E1 , E2 ; F )
com
(a, b) E1 E2 ,
tais que existe uma constante
m
X
a classe de todos os operadores
C0
satisfazendo
!1/r
r
|i (T (a + xi , b + yi ) T (a, b))|
i=1

m
m
k
k
||b||
+
k(y
)
C ||a|| + k(xi )m
i i=1 q k(i )i=1 kw,p ,
i=1 q
para todos
m N, xi E1 , yi E2
Proposio 5.1.5, se
(em nosso caso
(a,b)
i F
T C1,np (E1 , E2 ; F )
p < 2p),
implica diretamente que
ento
i = 1, ..., m.
(0)
Ta C1,np (E2 ; F ).
o Teorema 1.3.5 nos diz que
T = 0.
Supondo
Ta = 0,
q = np,
Mas como
para todo
pela
p < np
a E1 ,
o que
Assim, justica-se a escolha de lp ao invs de lnp .
5.2 Ideais de operadores e polinmios Cohen fortemente somantes em todo ponto

Nesta seo mostramos que os operadores multilineares e polinmios Cohen fortemente somantes em todo ponto formam ideais normados. Neste intuito j demonstramos que essas classes contm os operadores e polinmios de tipo nito e que so
espaos normados munidos com as normas
|| ||ev .
Alm disso, como
kidKn kev kidKn k = 1 ,

tanto no caso multilinear quanto no polinomial, para mostrar que
kidKn kev = 1,
preci-
samos apenas, em cada caso, provar a desigualdade contrria.
Proposio 5.2.1 (Lev

Coh,p , kkev ) um ideal normado de operadores multilineares entre espaos de Banach.
69
Demonstrao.
1.
Vamos dividir a demonstrao em duas etapas:
kidKn kev 1:
n = 2.
Faamos o caso
Sejam
Os demais podem ser demonstrados de modo anlogo.

m
m

(2)
(1)
(2)
(1)
m
,
xi
e (i )i=1 , com xi , xi , i K,
N, a1 , a2 K, xi
i=1
i=1
i = 1, ..., m.
para todo
fortemente
p-somante
Assim, usando o fato de que o operador linear
dp (idK ) = 1
idK
Cohen
(ver Seo 2.2), segue que
m

X

(1)
(2)
idK2 (a1 , a2 )
i idK2 a1 + xi , a2 + xi
i=1
m

X

(2)
(1)
(1) (2)
=

i a1 xi + a2 xi + xi xi
i=1
|a1 |
m
m
m

X

X
X

(2)
(1)
(1) (2)
x
+
|a
|
x
+
x
x
i i

i i

i i i

2
i=1
i=1
i=1
m
m

X
X

(1)
(2)
|a1 |
+
+ |a2 |
i xi
i xi
i=1
i=1
m

X

(1)

i xi
m

X

(2)

i xi
i=1
i=1
m
m

X
X

(1)
(2)
= |a1 |
+
i idK xi
+ |a2 |
i idK xi
i=1
m
X

i idK

(1)
xi

|a1 | +
i=1
m

X

(2)

i idK xi
i=1
i=1
|a1 | +
m
X

i idK
i=1
m
X

(2)
xi

(2)
i idK xi

m

X

(1)
|a2 | +
i idK xi

!
|a2 | +
i=1
m
X

(1)
i idK xi

|a1 ||a2 |
!
i=1
i=1

m

(2)

(1) m
m
m
|a1 | + xi
|a2 | + xi
||(i )i=1 ||w,p
||(i )i=1 ||w,p
i=1 p
i=1 p

(2) m
(1) m
|a1 | + xi
|a2 | + xi
||(i )m

i=1 ||w,p ,
i=1 p
o que nos faz concluir que
i=1 p
kidK2 kev 1.
2. A propriedade de ideal e a desigualdade das normas:

Sejam
Para todos
Aj L(Hj ; Ej ), j = 1, ..., n
T Lev
Coh,p (E1 , ..., En ; F )
(k)
m N, (a1 , ..., an ) H1 Hn , xi
70
Ek
A L(F ; F0 ).
0
i F0 , k = 1, ..., n,
i = 1, ..., m,
segue que
m

X

(1)
(n)
(AT (A1 , ..., An ))(a1 , ..., an )
i (AT (A1 , ..., An )) a1 + xi , ..., an + xi
i=1
m

X

(n)
(1)
T (A1 (a1 ), ..., An (an ))
=
(i A) T A1 a1 + xi , ..., An an + xi
i=1
n

Y

(r) m
||T ||ev
||Ar (ar )|| + (Ar xi )i=1 ||(i A)m
i=1 ||w,p
p
r=1
n

Y
(r) m
||T ||ev ||A1 ||...||An ||
||ar || + (xi )i=1 ||A|| ||(i )m
i=1 ||w,p
p
r=1
= ||A|| ||T ||ev ||A1 ||...||An ||

=C
n
Y

(r) m
||ar || + (xi )i=1 ||(i )m
i=1 ||w,p
(5.6)
r=1

(1) m
(n) m
||a1 || + (xi )i=1 ||a1 || + (xi )i=1 ||(i )m
i=1 ||w,p
p
e, portanto,
AT (A1 , ..., An ) Lev

Coh,p (H1 , ..., Hn ; F0 ).
Alm disso, por (5.6), conclumos
que
||AT (A1 , ..., An )||ev ||A|| ||T ||ev ||A1 ||...||An || .
ev
Proposio 5.2.2 (PCoh,p
, kkev ) um ideal normado de polinmios entre espaos de
Banach.
Demonstrao.
Como no caso multilinear, vamos dividir a demonstrao em duas
etapas:
1.
kidKn kev 1:
Sejam
m N, a K, (xi )m
i=1
(i )m
i=1 ,
Usando o fato de que o operador multilinear

todo
nN
kidKn kCoh,p = 1
com
idKn
xi , i K,
Cohen fortemente
(ver Seo 2.3), segue que
71
para todo
i = 1, ..., m.
p-somante
para
m
X
|i (idKn (a + xi ) idKn (a))| =
i=1
|i (a + xi )n an |
i=1

X

n 2 n2
n n2 2
n1
n1
n

=
+
+
a
x
na
x
+
a
x
+
nax
+
x
i
i
i
i
i
i

2
2
i=1

X
X
X

X
n
n1
2
n2
n1

i (xi ) + + n|a|
i (xi ) +
|i (xni )|
|i (xi )| +
|a|
n|a|
2
i=1
i=1
i=1
i=1

X
X
n
= n|a|n1
|i (idK (xi ))| +
|a|n2
|i (idK2 (xi , xi )| + +
2
i=1

i=1

X
X

+ n|a|
i (idKn (xi , ..., xi )
i , ..., xi )) +
i (idKn1 (x

| {z }
| {z }
i=1
i=1
n1
n

n
m
2
m
n|a|n1 ||(xi )m
|a|n2 ||(xi )m
i=1 ||p ||(i )i=1 ||w,p +
i=1 ||p ||(i )i=1 ||w,p + +
2
n1
m
n
m
+ n|a| ||(xi )m
||(i )m
i=1 ||p
i=1 ||w,p + ||(xi )i=1 ||p ||(i )i=1 ||w,p
n
m
(|a| + ||(xi )m
i=1 ||p ) ||(i )i=1 ||w,p ,
donde se conclui que
kidKn kev 1.
2. A propriedade de ideal e a desigualdade das normas:

Sejam
a, xi E0
ev
A1 L(E0 ; E), P PCoh,p
(n E; F )
0
i F0 , i = 1, ..., m,
m
X
A2 L(F ; F0 ).
Para todos
m N,
segue que
|i ((A2 P A1 )(a + xi ) (A2 P A1 )(a))|
i=1
m
X
|(i A2 )(P (A1 (a + xi )) P (A1 (a)))|
i=1
n
m
||P ||ev (||A1 (a)|| + ||(A1 xi )m
i=1 ||p ) ||(i A2 )i=1 ||w,p
n
m
||P ||ev ||A1 ||n (||a|| + ||(xi )m
i=1 ||p ) ||A2 || ||(i )i=1 ||w,p
n
m
= ||A2 || ||P ||ev ||A1 ||n (||a|| + ||(xi )m
i=1 ||p ) ||(i )i=1 ||w,p
(5.7)
n
m
= C (||a|| + ||(xi )m
i=1 ||p ) ||(i )i=1 ||w,p
e, portanto,
ev
PCoh,p
satisfaz a propriedade de ideal. Alm disso, por (5.7), conclui-se
que
||A2 P A1 ||ev ||A2 || ||P ||ev ||A1 ||n .
72
Apndices
Apndice A
Alguns resultados de Anlise
Funcional
Neste apndice, apresentamos um material complementar necessrio a uma melhor compreenso de cada captulo. Essencialmente, so resultados importantes mas
que no caberiam diretamente no texto, sob pena de desviar o foco e a sequncia do
trabalho.
O teorema a seguir, cuja demonstrao se encontra em [21], exibe uma caracteri-
w
zao do espao lp (E) muito til em nosso trabalho.
Teorema A.1 (Grothendieck)
1 < p e p1 + p1 = 1, ento existe um isow

morsmo isomtrico entre lp (E) e L(lp ; E). Para p = 1, l1 (E) e isometricamente
w
isomorfo a L(c0 ; E). Em ambos os casos, identica-se uma sequncia (xi )i=1 lp (E)
com o operador T L(lp ; E) denido por
Se
T ((bi )
i=1 )
bi x i .
i=1
Proposio A.2
w
Os espaos lp (K) e lp (K) so isometricamente isomorfos.
Demonstrao.
Como
isometricamente isomorfo a
K,
para cada
existe
a K
tal que
(x) = a x,
para todo
x K.
||(xi )
i=1 ||w,p = sup
B
Da,
!1/p
|(x)|p
i=1
= sup
B
|||| = |a |.
Alm disso,
!1/p
|a xi |p
i=1
!1/p
= ||(xi )
i=1 ||p .
|xi |p
i=1
Proposio A.3
lp (E
), onde p1
1 < p < , ento o dual topolgico do espao lp (E)

= 1. Essa dualidade pode ser expressa por
Se
1
p
||(xi )
i=1 ||p
sup
(i )
i=1 B
0
lp (E )
Demonstrao.
Considere a aplicao linear
((i )
i=1 ) ((xi )i=1 )
o espao
|i (xi )| .
i=1
de lp (E
em
(lp (E))
dada por
i (xi ) ,
i=1
para
(i )
i=1 lp (E )
(xi )
i=1 lp (E).
Pela desigualdade de Hlder,
|J ((i )
i=1 ) ((xi )i=1 ) |
!1/p
||(xi )
i=1 ||p ,
||i ||p
i=1
o que mostra que
est bem denida, claramente linear, contnua e
Denindo a aplicao linear
Ik
de
em
com
x na k -sima entrada, segue que T Ik E
que
(T Ik )
k=1 lp (E ).
Dados
> 0
lp (E),
pondo
para todo
k N,
existe
||J|| 1.
Ik (x) = (0, ..., 0, x, 0, ...),

0
T (lp (E)) .
Vamos mostrar
xk E , ||xk || 1,
k/p
||T Ik || < |T Ik (xk )| + /(2

). Para cada (k )
k=1 lp ,

X
X

||T
I
||
|T
I
(x
)|
+
|k |

k
k
k k

2k/p
k=1
k=1
|T Ik (xk )||k | +
2k/p
|k |
k=1
k=1
X

T Ik (xk )k k + ||(k )
k=1 ||p = () ,

k=1
75
tal que
k N,
onde, para cada
|T Ik (xk )k |
k K, ||k || = 1,
escolhemos
no primeiro termo de
(),
tal que
T Ik (xk )k k =
e no segundo termo usamos a Desigualdade
de Hlder. Como
T Ik (xk )k k = |T ((k k xk )

k=1 )| ||T ||||(k )k=1 ||p ,

k=1
segue que
() (||T || + )||(k )
k=1 ||p .
Assim,
com
(||T Ik ||)
k=1 lp
||(T Ik )
k=1 ||p ||T ||.
0
lp (E ),
0
lp (E )
||I|| 1.
Como
> 0 arbitrrio,
segue que
(T Ik )
k=1 lp (E ),
Ento, ca claro que a aplicao linear
I(T ) = (T Ik )
k=1 ,
dada por
contnua e
e, como
para cada
IJ = idlp (E 0 )
T (lp (E)) ,
JI = id(lp (E))0 ,
(lp (E))
de
em
est bem denida,
conclumos que
(lp (E))
so isomorfos isometricamente.
Como consequncia imediata do Princpio da Reexividade Local ([18], pg. 73)

segue a seguinte proposio:
Proposio A.4
Sejam
um espao de Banach,
Ento
m
X
sup
B
00
!1/p
|(i )|p
= sup
yBE
i=1
i E
m
X
i = 1, ..., m,
p 1.
!1/p
|i (y)|p
i=1
O resultado abaixo usado no texto para demonstrar a trivialidade de uma classe

de operadores sob certas restries.
Proposio A.5
(k )
k=1 lp
(k )
k=1
Demonstrao.
1 < p < , 1 = 1/p+1/p e p < q . Ento existem sequncias
lq tais que (k )
/ l1
k=1 := (k k )k=1
Sejam
1 1q p1
1 > 1/q + 1/p . Assim, tomando 0 < <

1
1
=
lp e (k )k=1 =
lq ,
1
1
k ( p +) k=1
k ( q +) k=1
Por hiptese,
(k )
k=1
e segue que
(k k )
k=1

=
1
1
/ l1 .
k ( q + p +2)
76

k=1
Apndice B
Resultados teis relacionados a
operadores multilineares e polinmios
O objetivo da apresentao destes conhecidos resultados da teoria multilinear e
de polinmios se traduz em ter uma coleo de ferramentas recorrentemente usadas no
texto. As demonstraes dessas proposies e teoremas fogem do objetivo do texto,
porm podem ser encontradas em [4, 5, 27].
Iniciamos apresentando vrias equivalncias sobre a continuidade de uma aplicao multilinear e tambm sobre a continuidade de um polinmio ([4], pg. 3 Teorema
1.2.2 e pg. 20 Teorema 1.3.7):
Teorema B.1
Sejam
En F
uma aplicao multilinear. Ento, so equivalentes:
(i) A
espaos normados sobre
contnua;
(ii) A
(iii)
n N, E1 , ..., En
contnua na origem;
Existe uma constante positiva
tal que
kA(x1 , ..., xn )k K kx1 k kxn k

para qualquer
(iv) A
(v) A
(vi) A
(x1 , ..., xn ) E1 En ;
uniformemente contnua sobre os limitados;

limitada em toda bola com raio nito;
limitada em alguma bola com raio nito.
A : E1
Teorema B.2
e
Sejam
A Ls (n E; F )
tais que
F espaos vetoriais normados sobre K, n N, P P (n E; F )

A = P. Ento, as seguintes armaes so equivalentes:
(i) A Ls (n E; F );
(ii) P P (n E; F );
(iii) P
(iv)
contnuo na origem;
K > 0
tal que
kP (x)k K kxkn
para todo
x E;
(v) P
limitado em toda bola com raio nito;
(vi) P
(vii)
limitado em alguma bola com raio nito;
Se
BE
limitado, existe
KB > 0
tal que
kP x P yk KB kx yk
para quaisquer
x, y B.
Uma relao entre polinmios e aplicaes multilineares simtricas dada pelo

teorema ([27], pg. 6 Teorema 1.10):
Teorema B.3 (Frmula de Polarizao)

Se
A Ls (n E; F )
Sejam
E, F
espaos vetoriais sobre
K.
ento
A(x1 , ..., xn ) =
1 X
1 n A(x0 + 1 x1 + + n xn )n ,
n!2n =1
i
para quaisquer
x0 , x1 , x2 , ..., xn E.
Um resultado de coincidncia para aplicaes multilineares simtricas pode ser

facilmente obtido por meio da frmula de polarizao:
Proposio B.4
aplicaes
Demonstrao.
Se
A, B Ls (n E; F )
Axn = Bxn
para todo
x E,
coincidem em todo o domnio.

Para todo
(x1 , ..., xn ) E n ,
temos
1 X
1 n A(1 x1 + + n xn )n
n!2n =1
i
1 X
=
1 n B(1 x1 + + n xn )n
n!2n =1
A(x1 , ..., xn ) =
= B(x1 , ..., xn ) .
78
ento as
O teorema do grco fechado ([4], pg. 9 Teorema 1.2.8) e o teorema de BanachSteinhaus ([5], pg. 206 Corolrio 1), em suas verses multilineares, so ferramentas
bastante usadas, principalmente a primeira, na caracterizao dos operadores Cohen
fortemente somantes por desigualdades.
Teorema B.5 (do grco fechado multilinear)

Banach e
A : E1 En F
uma aplicao
Sejam
n-linear
E1 , ..., En
espaos de
de grco fechado. Ento
contnua.
Teorema B.6 (de Banach-Steinhaus multilinear)
Sejam E1 , ..., En espaos de Ba

nach, F um espao vetorial normado e (Aj )j=1 L (E1 , ..., En ; F ) tal que para cada
xi Ei , i = 1, ..., n, a seqncia (Aj (x1 , ..., xn ))
j=1 convergente. Denindo
A(x1 , ..., xn ) := lim Aj (x1 , ..., xn ) ,

j
ento
A L (E1 , ..., En ; F ) .
Este ltimo tambm possui uma verso para polinmios homogneos ([4], pg.
26 Teorema 1.3.13):
Teorema B.7 (de Banach-Steinhaus para polinmios homogneos)
um espao de Banach, F um espao normado e (Pj )j=1

x E , a seqncia (Pj x)
j=1 convergente. Denindo
P (x) := lim Pj (x) ,

j
ento
P P (n E; F ) .
79
P ( E; F )
Sejam
tal que, para cada
Referncias Bibliogrcas
[1] D. Achour, L. Mezrag. On the Cohen strongly
p-summing
Journal of Mathematical Analysis and Applications,
multilinear operators,
327 (2007), 550563.
[2] D. Achour, K. Saadi. A polynomial characterization of Hilbert spaces, Collectanea

Mathematica,
61 (2010), 291301.
[3] J. A. Barbosa, G. Botelho, D. Diniz, D. Pellegrino. Spaces of absolutely summing

polynomials, Mathematica Scandinavica,
101 (2007), 219237.
[4] A. T. L. Bernardino. Ideais de aplicaes multilineares e polinmios entre espaos

de Banach, Dissertao de mestrado, UFPB (2008).
[5] A. T. L. Bernardino. A simple natural approach to the uniform boundedness principle for multilinear mappings, Proyecciones Journal of Mathematics,
28 (2009),
203207.
[6] A. T. L. Bernardino. Contribuies teoria multilinear de operadores absolutamente somantes, Tese de Doutorado, UFPE (2011).
[7] O. Blasco, G. Botelho, D. Pellegrino, P. Rueda. Coincidence results for summing

multilinear mappings, Preprint.
[8] G. Botelho, H.-A. Braunss, H. Junek, D. Pellegrino. Holomorphy types and ideals
of multilinear mappings, Studia Mathematica,
177 (2006), 4365.
[9] G. Botelho. Ideals of polynomials generated by weakly compact operators, Note

di Matematica,
25 (2006), 69102.
[10] G. Botelho, D. Pellegrino. Two new properties of ideals of polynomials and applications, Indagationes Mathematicae,
16 (2005), 157169.
[11] G. Botelho, D. Pellegrino, P. Rueda. A unied Pietsch Domination Theorem,

365 (2010), 269276.
[12] Q. Bu, Z. Shi. On Cohen almost summing multilinear operators, Journal of Mathematical Analysis and Applications,
[13] J.
R.
near
Campos.
operators,
Cohen
Linear
and
and
401 (2013), 174181.
Multiple
Cohen
Multilinear
strongly
Algebra,
summing
On-line
version
multili(2013),
doi:10.1080/03081087.2013.779270.
[14] D. Carando, V. Dimant, S. Muro. Coherent sequences of polinomial ideals on

Banach spaces, Mathematische Nachrichten,
282 (2009), 11111133.
[15] D. Carando, V. Dimant, S. Muro. Holomorphic functions and polynomial ideals

on Banach spaces, Collectanea Mathematica,
63 (2012), 7191.
[16] D. Carando, V. Dimant, S. Muro. Every Banach ideal of polynomials is compatible

with an operator ideal, Monatshefte fr Mathematik,
[17] J. S. Cohen. Absolutely

Mathematische Annalen,
p-summing, p-nuclear
165 (2012), 114.
operators and their conjugates,
201 (1973), 177200.
[18] J. Defant, K. Floret. Tensor norms and operators ideals, North-Holland, Amsterdam, (1993).
[19] V. Dimant. Strongly
p-summing
Analysis and Applications,
multilinear operators, Journal of Mathematical
278 (2003), 182193.
[20] A. Dvoretzky, C Rogers. Absolutely and unconditional convergence in normed

linear spaces, Proceedings of the National Academy of Sciences of USA,
36 (1950),
192197.
[21] A. Grothendieck. Sur certaines classes de suites dans les espaces de Banach et le
thorme de Dvoretzky-Rogers, Boletim da Sociedade Matemtica de So Paulo
8 (1956), 81110.
81
[22] R. Khalil. On some Banach space sequences, Bulletin of the Australian Mathematical Society,
25 (1982), 231241.
[23] M. C. Matos. Anlise Funcional, Notas de aula, 2007.
[24] M. C. Matos. Nonlinear absolutely summing mappings, Mathematische Nachrichten,
258 (2003), 7189.
[25] M. C. Matos. Fully absolutely summing mappings and Hilbert Schmidt operators,
Collectanea Mathematica,
54 (2003), 111136.
[26] L. Mezrag, K. Saadi. Inclusion theorems for Cohen strongly summing multilinear
operators, Bulletin of the Belgian Mathematical Society Simon Stevin,
16 (2009),
111.
[27] J. Mujica. Complex analysis in Banach spaces, North-Holland Mathematics Studies
120, North-Holland (1986).
[28] L. Nachbin. Topology on Spaces of Holomorphic Mappings, Springer, New York

(1969).
[29] J. Lindenstrauss, A. Pelczyski. Absolutely summing operator in

their applications, Studia Mathematica,
Lp
spaces and
29 (1968), 275326.
[30] D. Pellegrino. Aplicaes entre espaos de Banach relacionadas convergncia de

sries, Tese de Doutorado, UNICAMP, (2002).
[31] D. Pellegrino. Almost summing mappings, Archiv der Mathematik,
82
(2004),
6880.
[32] D. Pellegrino, J. Santos. Absolutely summing multilinear operators: a panorama,

Quaestiones Mathematicae,
34 (2011), 447478.
[33] D. Pellegrino, J. Santos. A general Pietsch Domination Theorem, Journal of

Mathematical Analysis and Applications,
375 (2011), 371374.
[34] D. Pellegrino, J. Santos, J. B. Seoane-Seplveda. Some techniques on nonlinear

analysis and applications, Advances in Mathematics,
82
229 (2012), 12351265.
[35] D. Pellegrino, J. O. Ribeiro. On multi-ideals and polynomial ideals of Banach spaces: a new approach to coherence and compatibility, arXiv:1101.1992v3 [math.FA].
[36] D. Perz-Garca, I. Villanueva. Multiple summing operators on Banach spaces,

[37] A. Pietsch. Absolut

Mathematica,
p-summierende
285 (2003), 8696.
Abbildungen in normiertn Rumen, Studia
28 (1967), 333353.
[38] A. Pietsch. Operator Ideals, North-Holland Holland Math. Library, Amsterdam

(1980).
[39] A. Pietsch. Ideals of multilinear functionals, Proceedings of the Second International Conference on Operator Algebras, Ideals and Their Applications in Theoretical
Physics, Teubner-Texte, Leipzig (1983), 185199.
[40] J. O. Ribeiro. Ideais coerentes e compatveis entre espaos de Banach, Tese de

Doutorado, UFPE (2011).
[41] J. Santos. Resultados de coincidncia para aplicaes absolutamente somantes,

Dissertao de mestrado, UFPB (2008).
83

Tese Campos

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Tese Campos

Încărcat de

Drepturi de autor:

Formate disponibile

Universidade Federal da Paraba

Universidade Federal de Campina Grande

Contribuies teoria dos operadores

Jamilson Ramos Campos

Contribuies teoria dos operadores

Jamilson Ramos Campos

Prof. Dr. Daniel Marinho Pellegrino

UFPB/UFCG, como requisito parcial para obteno do

Universidade Federal da Paraba

Tese apresentada ao Corpo Docente do Programa Associado de Ps-Graduao

Tambm mostramos que a construo da classe dos

operadores mltiplo Cohen fortemente somantes fornece um tipo de holomora e uma

Operadores Cohen fortemente somantes; Ideais de operadores e po-

linmios; Sries em espaos de Banach.

We show that the new classes

dened, as well as the previous classes, form normed ideals of operators/polynomials

Cohen strongly summing operators; Operators and polynomials ideals;

Series in Banach spaces.

Se o conhecimento pode criar problemas, no atravs

Aos meus pais Sebastio (in memorian)

1 Operadores lineares, multilineares e polinmios Cohen fortemente somantes

Operadores lineares Cohen fortemente somantes . . . . . . . . . . . . .

Operadores multilineares e polinmios Cohen fortemente somantes . . .

Um resultado abstrato sobre operadores multilineares Cohen fortemente

2 Ideais de operadores Cohen fortemente somantes

Ideais de operadores: exposio breve da teoria

Ideal de operadores lineares Cohen fortemente somantes . . . . . . . . .

Ideal de operadores multilineares e polinmios Cohen fortemente somantes 32

3 Operadores mltiplo Cohen fortemente somantes

Operadores multilineares mltiplo Cohen fortemente somantes

Ideais de operadores e de polinmios mltiplo

Tipos de holomora e ideais mltiplo Cohen fortemente somantes

um tipo de holomora global. . . . . . . . . . . . . . .

Tipos de holomora global e ideais de polinmios

4 Coerncia e compatibilidade de ideais Cohen fortemente somantes

Denies e resultados de coerncia e compatibilidade . . . . . . . . . .

Sequncias Cohen fortemente somantes . . . . . . . . . . . . . . . . . .

Sequncias mltiplo Cohen fortemente somantes . . . . . . . . . . . . .

5 Operadores Cohen fortemente somantes em todo ponto

Operadores e polinmios Cohen fortemente

Ideais de operadores e polinmios Cohen fortemente somantes em todo

B Resultados teis relacionados a operadores multilineares e polinmios 77

A. Grothendieck [21] introduz, ento, a essncia do conceito de operadores

absolutamente somantes, como sendo aqueles que melhoram a convergncia de sries,

introduzida por A. Pietsch

dores lineares fortemente

enquanto que seu conjugado, de l2 em l , no

Em seu trabalho, Cohen mostra que a classe dos opera-

caracteriza o conjugado da classe dos operadores

Ainda na dcada de 1970, Pietsch [38] desenvolve a teoria de ideais de operadores

a classe dos operadores (lineares) Cohen fortemente

pode ser generalizada

Podemos encontrar em [8, 14, 15, 16, 35] tentativas

de estabelecer critrios gerais que um multi-ideal deve satisfazer para preservar as

e provaram um Teorema de Dominao de Pietsch. Recentemente novos

conceitos relacionados a essa classe esto sendo investigados, como em [12].

Na primeira, L. Nachbin [28] introduziu o conceito

mltiplo Cohen fortemente

o Capitulo 1 contm denies e

alguns resultados sobre a teoria dos operadores lineares, multilineares e polinmios

por meio de desigualdades, preferimos den-los, principalmente,

denotar o corpo dos reais

Os espaos vetoriais sero considerados sobre

operadores mltiplo Cohen fortemente somantes fornece um tipo de holomora e uma

dened, as well as the previous classes, form normed ideals of operators/polynomials

Se o conhecimento pode criar problemas, no atravs

Tipos de holomora e ideais mltiplo Cohen fortemente somantes

um tipo de holomora global. . . . . . . . . . . . . . .

Tipos de holomora global e ideais de polinmios

Denies e resultados de coerncia e compatibilidade . . . . . . . . . .

o Capitulo 1 contm denies e

por meio de desigualdades, preferimos den-los, principalmente,

Identicaremos os elementos do conjunto

Usaremos o termo operador com o mesmo sentido de funo. Se

tem grco fechado se

dito de posto nito se a dimenso de

denida por Cohen [17], buscando uma melhor apresentao desses

Denio 1.1.1 (Cohen, [17])

est bem denido e contnuo. De fato, claro que

est bem denido e contnuo.

as seguintes armaes so equi-

est bem denido e portanto bilinear. Vamos mostrar que

tem grco fechado.