Formas Gerais Do Teorema Da Dominação de Pietsch

Universidade Federal da Paraba
Centro de Ciencias Exatas e da Natureza

Programa de Pos-Graduacao em Matematica
Curso de Mestrado em Matematica
Formas Gerais do Teorema da Dominacao de

Pietsch
Luiz Ancelmo Dias Gomes
2016
Universidade Federal da Paraba
Centro de Ciencias Exatas e da Natureza
Programa de Pos-Graducao em Matematica
Curso de Mestrado em Matematica
Formas Gerais do Teorema da

Dominacao de Pietsch
por
Luiz Ancelmo Dias Gomes
sob orientacao do
Prof. Dr. Joedson Silva dos Santos
Marco de 2016
Joao Pessoa-PB
ii
G633f Gomes, Luiz Ancelmo Dias.
Formas gerais do Teorema da Dominao de Pietsch /
Luiz Ancelmo Dias Gomes.- Joo Pessoa, 2016.
57f.
Orientador: Joedson Silva dos Santos
Dissertao (Mestrado) - UFPB/CCEN
1. Matemtica. 2. Operadores absolutamente somantes.
3. Teorema da Dominao de Pietsch. 4. Espaos de Banach.
UFPB/BC CDU: 51(043)

Dedicatoria
A Deus e minha famlia.
v
Agradecimentos
Agradeco a Deus por todos os milagres realizados em minha vida. Aos meus pais, Jose
Ancelmo Pereira Gomes e Maria Dagraca Dias Gomes pelos ensinamentos e sacrifcios desde
que nasci. A todos os parentes e amigos, que de uma maneira ou de outra me ajudaram a
realizar esta conquista.
Agradeco ao meu orientador Joedson Silva dos Santos, por confiar em meu potencial
desde a minha graduacao, pela sua competencia e prestatividade como orientador e pela
amizade verdadeira. Agradeco tambem sua esposa Jolma pela receptividade e hospitalidade
sempre que precisei ir a sua casa.
A todos os professores que tive o privilegio de conhecer na UFS e UFPB, em especial,
Adecarlos Costa Carvalho, Alan Almeida Santos, Arlucio da Cruz Viana, Cleto Brasileiro
Miranda Neto, Eder Mateus de Souza, Everaldo Souto de Medeiros, Flank David Morais
Bezerra, Marta Elid Amorim Mateus, Pedro Antonio Gomez Venegas e Uberlandio Batista
Severo. A banca examinadora Diogo Diniz Pereira da Silva e Silva e Jamilson Ramos
Campos.
A todos os amigos que fiz tanto na graduacao quanto na pos-graduacao.
Ao CNPq pelo apoio financeiro.
vi
Resumo
Neste trabalho estudamos uma versao geral do Teorema da Dominacao de Pietsch,
devido a Pellegrino, Santos e Seoane-Sepulveda, que melhora a versao unificada presente em
[3] e recupera conhecidos teoremas de dominacao do tipo Pietsch onde a abordagem unificada
parece nao funcionar.
Palavras-Chave:
Operadores absolutamente somantes, teorema da dominacao de Pietsch, espacos de
Banach.
vii
Abstract
In this work we study a general version of the Pietsch Domination Theorem, due to
Pellegrino, Santos and Seoane-Sepulveda, that improves the unified version present in [3]
and recovers known Pietsch Domination-type theorems where the unified approach seems
not to work.
Key-Words:
Absolutely summing operators, theorem Pietsch domination, Banach spaces.
viii
Contents
1 Operadores Lineares Absolutamente Somantes 1

1.1 Resultados Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Ideais de Operadores Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3 O Teorema da Dominacao de Piesch . . . . . . . . . . . . . . . . . . . . . . . 17
2 Versoes Abstratas do Teorema da Dominacao de Pietsch 22

2.1 O Teorema da Dominacao de Pietsch Unificado (TDPU) . . . . . . . . . . . 22
2.1.1 Aplicacoes Lineares p-somantes . . . . . . . . . . . . . . . . . . . . . 23
2.1.2 Aplicacoes Lipschitz (p)-somantes . . . . . . . . . . . . . . . . . . . 23
2.1.3 Aplicacoes Multilineares p-dominadas . . . . . . . . . . . . . . . . . . 24
2.1.4 Aplicacoes Multilineares (q1 , . . . , qn )-dominadas . . . . . . . . . . . . 25
2.2 O Teorema da Dominacao de Pietsch Generalizado (TDPG) . . . . . . . . . 26
2.3 Melhoramento do Teorema da Dominacao de Pietsch Unificado . . . . . . . . 34
3 Aplicacoes do TDPG e do TDPU 39

3.1 Aplicacoes multilineares (q1 , . . . , qn )-dominadas . . . . . . . . . . . . . . . . . 39
3.2 Aplicacoes Lipschitz (p, r, s)-somantes . . . . . . . . . . . . . . . . . . . . . . 41
3.3 Aplicacoes Lipschitz-Cohen fortemente p-somantes . . . . . . . . . . . . . . . 45
3.4 Aplicacoes Lipschitz (p)-somantes . . . . . . . . . . . . . . . . . . . . . . . 47
Apendices
ix
Introducao
Dizemos que uma sequencia (xn )

n=1 em um espaco normado X e incondicionalmente
P
somavel quando a serie n=1 x(n) converge para toda permutacao : N N. Se a
P
serie n=1 kxn k converge, dizemos que a sequencia (xn )
n=1 e absolutamente somavel.
Ocorre que no conjunto dos numeros reais, as sequencias incondicionalmente somaveis sao
exatamente as absolutamente somaveis, esse resultado deve-se a Dirichlet. O mesmo vale em
espacos de dimensao finita. Na verdade, em espacos vetoriais normados esses conceitos
servem para caracterizar espacos de Banach, a saber: um espaco vetorial normado X
e Banach se, e somente se, toda sequencia absolutamente somavel e incondicionalmente
somavel. Por outro lado, em qualquer espaco de Banach de dimensao infinita, existe uma
sequencia incondicionalmente somavel que nao e absolutamente somavel (veja o Teorema
de Dvoretzky-Rogers em [6]). Entao, e natural pensarmos em operadores entre espacos
de Banach de dimensao infinita que levam sequencias incondicionalmente somaveis em
sequencias absolutamente somaveis. Diante desta situacao, Alexander Grothendieck, nos
anos 50, abriu as portas da teoria dos operadores absolutamente somantes.
Foi somente na decada de 60, com os trabalhos de Pietsch [16], Lindenstrauss e
Pelczynski [10] e Mitjagin e Pelczynski [13], que a teoria de operadores absolutamente
somantes foi apresentada de forma mais clara e acessvel. Em 1967, Albrecht Pietsch mostrou
um resultado que caracteriza os operadores absolutamente somantes; hoje conhecido como o
Teorema da Dominacao de Pietsch (TDP). Esta caracterizacao fornece, de forma inusitada,
uma conexao entre a teoria desses operadores e a teoria da medida.
x
Introducao
Desde entao, varios autores vem introduzindo novas classes de operadores que
generalizam o conceito dos operadores absolutamente somantes. Tais classes estao sendo
estudadas do ponto de vista de ideais de operadores tanto no ambiente linear quanto no
contexto nao-linear. Um fato interessante e que varias dessas classes satisfazem um teorema
de dominacao do tipo Pietsch. Diante disso, algumas tentativas foram realizadas no sentido
de unificar todos os possveis teoremas do tipo dominacao de Pietsch. A primeira tentativa
nesse sentido foi mostrada em [3], em 2010, onde na ocasiao os autores o chamaram de
Teorema da Dominacao de Pietsch Unificado (TDPU). Ha, no entanto, exemplos de classes
de aplicacoes onde este teorema nao se mostrou operante. Motivado por tais exemplos, este
trabalho apresenta uma versao potencialmente definitiva deste teorema, batizada de Teorema
da Dominacao de Pietsch Generalizado (TDPG). Esta versao melhora o TDPU e recupera
conhecidos teoremas da dominacao do tipo Pietsch onde a abordagem unificada parece nao
funcionar.
xi
Estrutura dos Topicos Apresentados
O captulo 1, foi escrito para fornecer uma discreta introducao ao assunto. Nele
apresentaremos alguns dos principais resultados necessarios para um estudo da teoria linear
de operadores absolutamente somantes, dentre eles o Teorema da Dominacao de Pietsch.
No captulo 2, trataremos da versoes unificada e generalizada do Teorema da Dominacao
de Pietsch. Embora a versao unificada pareca ser inoperante em alguns casos ela e
muito aplicada e, por isso, vamos mostrar um significante melhoramento dessa abordagem
unificada.
O captulo 3 tratara de algumas aplicacoes do TDPG e do TDPU. Veremos que a
versao generalizada recupera o teorema da dominacao de Pietsch para o caso das aplicacoes
multilineares (q1 , . . . , qn )-dominadas [8], das aplicacoes Lipschitz (p, r, s)-somantes [5] e das
aplicacoes Lipschitz-Cohen fortemente p-somantes [18]. Veremos tambem uma recente
aplicacao da versao unificada do teorema da dominacao de Pietsch para a classe das aplicacoes
Lipschitz (p)-somantes [12].
Os anexos referem-se a resultados basicos que serao uteis ao longo deste trabalho.
xii
Notacoes e Terminologia
Exceto quando mencionado o contrario, X, X1 , . . . , Xn , Y e H denotarao espacos de

Banach;
Por K denotaremos o corpo dos numeros reais R ou o corpo dos numeros complexos
C. Fica convencionado que todo espaco vetorial sera munido do corpo de escalares K;
Sendo X um espaco vetorial normado, indicaremos por k kX a norma definida em X.

Quando nao houver ambiguidade, denotamos simplesmente por k k;
O espaco dos operadores lineares limitados de X em Y sera expresso por L(X; Y ).

Quando Y = K, escrevemos L(X; K) = X e chamaremos de dual topologico de X;
Os elementos de X serao representados por x , y , a , etc. Denotaremos: x (y) :=

hx , yi;
Indicaremos por BX a bola fechada unitaria de X;
Se 1 < p < , denotamos por p o expoente conjugado de p, ou seja, 1/p+1/p = 1;
Sendo 1 p < , simbolizamos por `p o espaco das sequencias (xn )

n=1 em K tal que
|xn |p converge;
P
a serie n=1
Dado um conjunto A, a funcao identicamente igual a 1 em A sera denotada por 1A .

Quando o conjunto A estiver claro no contexto, escrevemos simplesmente 1.
xiii
Chapter 1
Operadores Lineares Absolutamente

Somantes
1.1 Resultados Preliminares

Veremos nesta secao alguns dos principais resultados da teoria linear dos operadores
absolutamente somantes.
Definicao 1.1.1 Sejam 1 p < e X um espaco de Banach. Uma sequencia (xn )

n=1 em
p
X e fortemente p-somavel se a serie kx k
P
n=1 n converge.
Denotaremos por `p (X) o conjunto de todas as sequencias fortemente p-somaveis em

X. Se 1 p < , definimos a seguinte norma em `p (X):

!1/p
p
k(xn )
X
n=1 kp := kxn k .
n=1
Para p = , definimos
( )
` (X) := (xn )
n=1 X ; sup kxn k <
N
nN
com a norma
k(xn )
n=1 k := sup kxn k.
nN
Pode-se mostrar de forma similar ao caso escalar que, se 1 p , entao (`p (X), k kp )
e um espaco de Banach. Alem disso, se p q, entao `p (X) `q (X).
Definicao 1.1.2 Sejam 1 p < e X um espaco de Banach. Uma sequencia (xn )

n=1 em
P p
X e fracamente p-somavel se para todo x X a serie n=1 |hx , xn i| converge. Ou
seja, para todo x X , a sequencia (hx , xn i)n=1 `p .
1
Captulo 1 Operadores Lineares Absolutamente Somantes
Denotaremos por `p,w (X) o conjunto das sequencias fracamente p-somaveis em X. Se

1 p < , definimos uma norma para `p,w (X) como sendo

!1/p
p
k(xn )
X
n=1 kp,w := sup |hx , xn )i| .
x BX n=1
Se p = , definimos
( )
`,w (X) := (xn )
n=1

X ; sup |hx , xn i| < , para todo x X
N
nN
com a norma

k(xn )
n=1 k,w := sup k (hx , xn i)n=1 k .
x BX
E conhecido que, se 1 p , entao (`p,w (X), k kp,w ) e um espaco de Banach (veja

[19, Proposicao 2.3.4]).
Observacao 1.1.3 Quando p = temos `w, (X) = ` (X). Com efeito,
k(xn )
n=1 k = sup kxn k
nN
= sup sup |hx , xn i|
nN x BX
= sup sup |hx , xn i|

x BX nN
= sup k(hx , xn i)
n=1 k
x BX
= k(xn )n=1 k,w . (1.1)
Observacao 1.1.4 Se u : X Y e um operador linear limitado, entao as aplicacoes
ubs : `p (X) `p (Y ) ; (xn )

n=1 7 (uxn )n=1
e
ubw : `p,w (X) `p,w (Y ) ; (xn )
n=1 7 (uxn )n=1
sao operadores lineares limitados tais que kubs k = kubw k = kuk. Com efeito, fica claro que ubw
e linear. Alem disso,
kubw k = sup kubw ((xn )

n=1 )kp,w
(xn )
n=1 B`p,w (X)

!1/p
p
|hy , uxn i|
X
= sup sup
(xn )
n=1 B`p,w (X)
y BY n=1
2
!1/p
|hy , uxn i|p

X
= kuk sup sup ky k
(xn )
n=1 B`p,w (X)
y BY n=1 ky kkuk

!1/p
p
X
kuk sup sup |hx , xn i|
(xn )
n=1 B`p,w (X)
x BX n=1
= kuk sup k(xn )

n=1 kp,w
(xn )
n=1 B`p,w (X)
= kuk. (1.2)
Com isso, tambem fica claro que ubw esta bem definida.
Por outro lado, dado x BX , vemos que (xn ) n=1 = (x, 0, 0, . . .) B`p,w (X) . Logo
kuk sup kuxk

kxk1
= sup kubw ((xn )

n=1 )kp,w
k(x,0,0,...)kp,w 1
kubw k. (1.3)
Analogamente, mostra-se que kubs k = kuk.
Observacao 1.1.5 `p (X) `p,w (X). De fato, se x = (xn )

n=1 `p (X), entao

!1/p
!1/p
p p p
X X
sup |hx , xn i| sup kx k kxn k
x BX n=1 x BX n=1

!1/p
p
X
kxn k < . (1.4)
n=1
A inclusao da observacao acima e sempre estrita quando X tem dimensao infinita (veja
[6, Teorema 10.5]).
Seja 1 p < , defina

`p,u (X) := (xj )
j=1 `p,w (X) ; lim k(xj )j=n kp,w = 0 .
n
Tal conjunto e um subespaco fechado de `p,w (X) (veja [19, Proposicao 2.3.6]) e nos auxiliara
em alguns resultados importantes no decorrer do texto.
Em virtude das Observacoes 1.1.4 e 1.1.5, vemos que todo operador linear limitado
u : X Y induz um operador limitado u : `p (X) `p,w (Y ), onde u(xn )
n=1 = (uxn )n=1
que leva sequencias fortemente p-somaveis de X a sequencias fracamente p-somaveis de
Y . Em geral, nao e qualquer operador linear limitado u que induz a correspondencia
(xn )
n=1 7 (uxn )n=1 a levar sequencias fracamente p-somaveis em sequencias fortemente
p-somaveis.
3
Exemplo 1.1.6 Seja X um espaco de Banach com dimensao infinita e id : X X a

identidade em X. Por [6, Teorema 10.5], existe uma sequencia (yn ) n=1 `p,w (X) \ `p (X).
Assim,
c : ` (X) ` (X) ; id((x
id n )n=1 ) = (id(xn ))n=1 = (xn )n=1
c
p,w p
nao pode ser definida.
Lema 1.1.7 Se (n ) sequencia de escalares tal que | n | 1 para todo

P
n=1 e uma
P nM
conjunto finito M N, entao n=1 |n | 4.
Demonstracao. Observe que dado k N,

k
X k
X k
X
|n | |Re(n )| + |Im(n )|
n=1 n=1 n=1
X X X X
= Re(n ) + (Re(n )) + Im(n ) + (Im(n ))
+ +
nMRe nMRe nMIm nMIm
onde
+
MRe = {n {1, . . . , k} ; Re(n ) 0},

MRe = {n {1, . . . , k} ; Re(n ) < 0},
+
MIm = {n {1, . . . , k} ; Im(n ) 0}
e

MIm = {n {1, . . . , k} ; Im(n ) < 0}.
Por hipotese, tem-se que | n | 1, para todo M N finito. Assim tomando
P
nM
+
M = MRe temos

X

Re(n ) 1.

nM +
Re
P P P Pk
Analogamente nM Re(n ) , nM + Re(n ) , nM Re(n ) 1. Logo |n |

Re Im Im
n=1
P
4, para todo k N. Portanto n=1 |n | 4.
O proximo resultado nos possibilitara tratar das sequencias incondicionalmente somaveis

em termos mais praticos.
Proposicao 1.1.8 Uma sequencia (xj )

j=1 em X e incondinionalmente somavel se, e

somente se, (xj )j=1 `1,u (X).
Demonstracao. Seja (xj ) j=1 em X uma sequencia incondionalmente somavel. Logo (por
[19, Teorema 1.1.2]), dado > 0, existe n N tal que para todo M N finito, onde
M {n , n + 1, . . .}, tem-se jM xj < /8.
P
4
Note que

X X

hx , xj i sup hx , xj i
jM x BX jM
* +

X
= sup x , xj
x BX jM

X

= xj < . (1.5)
jM 8
Aplicando o Lema 1.1.7 tem-se que

|x (xj )| < .
X
j=n 2
Logo, se n > n , entao

k(xj ) |hx , xj i|
X
j=n k1,w = sup
x BX j=n

|hx , xj i|
X
sup
x BX j=n

<
2
e portanto
lim k(xj )
n j=n k1,w = 0.
Logo (xj )
j=1 `1,u (X).
Reciprocamente, suponha que (xj ) j=1 `1,u (X). Assim, para todo > 0, existe n N

tal que n n implica k(xj )j=n k1,w < . Dado M N finito tal que M {n , n + 1 . . .},
segue que
X
|hx , xj i| sup |hx , xj i| < ,
X X

x j
sup
jM x BX jM x BX j=n
sempre que n n . De [19, Teorema 1.1.2], segue que (xj )

j=1 e incondicionalmente somavel.
Sao do nosso interesse nesta secao os operadores lineares que levam sequencias de `1,u (X)
em sequencias de `1 (Y ). Definimos tais operadores como absolutamente somantes. De
forma mais geral, segue a definicao.
Definicao 1.1.9 Sejam 1 p, q < e u : X Y um operador linear contnuo. Dizemos

que u e absolutamente (p; q)-somante (ou simplesmente (p; q)-somante) quando existe
5
um operador induzido
ub : `q,w (X) `p (Y ) ; ub((xn )

n=1 ) = (uxn )n=1 .
Denotamos por p,q (X; Y ) o conjunto dos operadores (p; q)-somantes de X em Y . Se

p = q, escrevemos p (X; Y ) em vez de p,q (X; Y ).
Proposicao 1.1.10 Seja u L(X; Y ). As seguintes afirmativas sao equivalentes:

(i) u e (p; q)-somante;
(ii) Existe K > 0 tal que
n
!1/p n
!1/q
p q
|hx , xk i|
X X
kuxk k K sup (1.6)
k=1 x BX k=1
para quaisquer n N e x1 , . . . , xn X;
(iii) Existe K > 0 tal que

!1/p
!1/q
p q
X X
kuxk k K sup |hx , xk i|
k=1 x BX k=1
sempre que (xk )

k=1 `q,w (X);
(iv) Existe K > 0 tal que

!1/p
!1/q
p q
X X
kuxk k K sup |hx , xk i|
k=1 x BX k=1
se (xk )
k=1 `q,u (X);
(v) (uxk )
k=1 `p (X) sempre que (xk )k=1 `q,u (X).
Alem disso, denotando por p,q (u) o nfimo das constantes K que satisfazem (1.6),
tem-se que p,q (u) = kubk.
Demonstracao.
(i) (ii) Suponha u : X Y (p; q)-somante. Logo existe um operador
ub : `q,w (X) `p (Y )
tal que ub((xn )

n=1 ) = (uxn )n=1 . Queremos mostrar que u b e limitado. Como `q,w (X) e
`p (Y ) saoespacos de Banach, basta mostrar que ub tem grafico fechado. De fato, suponha

(k) (k)
que x converge para x = (xn )n=1 em `q,w (X) e que ub x converge para
k=1 k=1

y = (yn )n=1 `p (Y ).
6
k
De x(k) x temos que para todo > 0, existe k1 N tal que
D Eq 1/q
!
(k)
k k1 kx(k) xkq,w = sup
X
x , xn xn < .

x BX n=1
Logo, para todo x BX e n N,

D E
k k1 x , xn(k) xn < .

Assim, para todo n N,

D E
sup x , x(k) (k)
n xn = kxn xn k .

x BX
Logo
k
x(k)
n xn , n N
e portanto
k
u(x(k)
n ) u(xn ), n N. (1.7)

Como ub x(k) converge para y = (yn )
n=1 , dado > 0, existe k2 N tal que
k=1

k k2 ub x(k) y < .
p
Da
p 1/p
!
X (k)
k k2 uxn yn < .

n=1
Logo, para todo n N,

k k2 u x(k) yn < .

n
Assim sendo,
k
u x(k)
n yn , n N. (1.8)
Por (1.7), (1.8) e pela unicidade do limite, tem-se que u(xn ) = yn , para todo n N.
Assim ub(x) = y e portanto ub e limitado.
Logo, para qualquer sequencia finita (xk )nk=1 em X
n
!1/p
p
k(uxk )nk=1 kp
X
kuxk k
k=1
= kub((xk )nk=1 )kp
kubkk(xk )nk=1 kq,w
n
!1/q
q
X
= kubk sup |hx , xk i| .
x BX k=1
7
Alem disso,
p,q (u) kubk. (1.9)
(ii) (iii) Suponha que para quaisquer x1 , . . . , xn X e n N, exista K > 0 tal que
n
!1/p n
!1/q
p q
X X
kuxk k K sup |hx , xk i| .
k=1 x BX k=1
Seja (xn )
n=1 `q,w (X), entao

!1/p
p
k(uxk )
X
k=1 kp = kuxk k
k=1
n
!1/p
p
X
= lim kuxk k
n
k=1
n
!1/p
p
X
= sup kuxk k
nN k=1
!1/q
n
|hx , xk i|q
X
sup K sup
nN x BX k=1
n
!1/q
q
X
= K sup sup |hx , xk i|
x BX nN k=1

!1/q
q
X
= K sup |hx , xk i| .
x BX k=1
(iii) (i) De (iii) segue que (uxk )

k=1 `p (Y ), se (xk )k=1 `q,w (X). Logo u e
(p; q)-somante. Alem disso,
kubk = sup kub((xn )

n=1 )kp
(xn )
n=1 B`q,w (X)

!1/p
p
X
= sup kuxn k
(xn )
n=1 B`q,w (X) n=1
sup Kk(xn )
n=1 kq,w .
(xn )
n=1 B`q,w (X)
Portanto, kubk p,q (u). De (1.9), segue que kubk = p,q (u).
(iii) (iv) Decorre da definicao de `q,u (X).
(iv) (v) Obvio.
(v) (ii) Suponha que (uxk )
k=1 `p (Y ) sempre que (xk )k=1 `q,u (X). Definindo
u : `q,u (X) `p (Y )
8
onde u((xn )
n=1 ) = (uxn )n=1 . Tem-se por (v) que u esta bem definido e claramente temos
que e linear. Analogamente ao caso de ub, mostra-se que u e limitado.
Assim, dado x1 , . . . , xn X, para todo n N, (x1 , . . . , xn , 0, . . .) `q,w (X). Logo,
n
!1/p
p
= k(uxk )nk=1 kp
X
kuxk k
k=1
= ku((xk )nk=1 )kp
n
!1/q
q
X
kuk sup |hx , xk i| .
x BX k=1
Observacao 1.1.11 Se p < q entao o unico operador (p; q)-somante e o nulo. De fato,
podemos supor que X 6= {0}.
Como

p < q entao existe uma sequencia (k )
k=1 `q `p
1
(a saber, tome (k )k=1 = k/q , com 1 < < q/p). Seja 0 6= x X. Logo
k=1

(k x)k=1 `q,w (X). De fato,

!1/q
!1/q
q q
X X
sup |hx , k xi| = |k | kxk < .
x BX k=1 k=1
Suponha que exista 0 6= u p,q (X; Y ). Logo, pela Proposicao 1.1.10 , existe K > 0
tal que
n
!1/p n
!1/q
p q
X X
ku(k x)k K sup |hx , k xi| ,
k=1 x BX k=1
n
!1/p n
!1/q
p q
X X
kuxk |k | K sup |hx , xi| |k | ,
k=1 x BX k=1
n
!1/p n
!1/q
p
|k |q
X X
kuxk |k | Kkxk . (1.10)
k=1 k=1
Dividindo os membros de (1.10) por kxk e passando ao supremo quando x BX tem-se

que
n
!1/p n
!1/q
p q
X X
kuk |k | K |k | < (absurdo!).
k=1 k=1
Logo, u 0.
Corolario 1.1.12 Seja u L(X; Y ). Entao u p,1 (X; Y ) se, e somente se, (uxk ) k=1

`p (Y ) sempre que (xk )k=1 e incondicionalmente somavel. Em particular, u e absolutamente
somante se, e somente se, u e (1; 1)-somante.
9
Observacao 1.1.13 Como kubk = p,q (u) e kub((xk ) bkk (xk )

k=1 )kp ku k=1 kq,w , entao

!1/p
!1/q
p q
X X
kuxk k p,q (u) sup |hx , xk i| .
k=1 x BX k=1
Ou seja, o nfimo p,q (u) e atingido.
Teorema 1.1.14 (Desigualdade de Grothendiech) Existe uma constante positiva KG

tal que, para todo espaco de Hilbert H, todo n N, toda matriz (aij )nn e quaisquer
x1 , . . . , xn , y1 , . . . , yn BH a seguinte desigualdade e satisfeita:

n n
X X

aij hxi , yj i KG sup aij si tj (1.11)
i,j=1 |si |,|tj |1 i,j=1
Demonstracao. Veja [6, Theorem 1.14].
Teorema 1.1.15 (Teorema de Grothendiech) L(`1 , `2 ) = 1 (`1 , `2 ) e 1 (T ) KG kT k

para cada T L(`1 , `2 ).
Demonstracao. Veja [6, Theorem 1.13].
Proposicao 1.1.16 (p,q (X; Y ), p,q ()) e um espaco vetorial normado.
Demonstracao. Sejam u, v p,q (X; Y ) e K. Mostraremos que u + v satisfaz a

desigualdade (1.6) para todo u, v p,q (X; Y ) e todo K.
Pela Proposicao 1.1.10 temos que
m
!1/p m
!1/q
p q
X X
kuxk k p,q (u) sup |hx , xk i|
k=1 x BX k=1
e !1/p !1/q
m m
p q
X X
kvxk k p,q (v) sup |hx , xk i|
k=1 x BX k=1
para todo m N e x1 , . . . , xm X. Logo
m
!1/p m
!1/p
p p
X X
k(u + v)xk k kuxk k + ||kvxk k
k=1 k=1
m
!1/p m
!1/p
p p
X X
kuxk k + || kvxk k
k=1 k=1
m
!1/q
q
X
(p,q (u) + ||p,q (v)) sup |hx , xk i| . (1.12)
x BX k=1
10
Portanto u + v p,q (X; Y ). Alem disso, p,q () define uma norma sobre p,q (X; Y ).
Com efeito, sejam u, v p,q (X; Y ) e K. Como K > 0 na Proposicao 1.1.10, p,q (u) 0
para todo u p,q (X; Y ). Mais ainda,
p,q (u) = 0 kubk = 0 ub = 0 u = 0.
Por fim, da desigualdade (1.12) (tomando = 1) segue que
p,q (u + v) p,q (u) + p,q (v).
Note tambem que

c = || ku
p,q (v) = u

bk = ||p,q (v).
Logo p,q () de fato e uma norma e portanto (p,q (X; Y ), p,q ()) e um espaco vetorial
normado.
Observacao 1.1.17 Se u p,q (X; Y ), entao kuk p,q (u). De fato, tomando n = 1 na
desigualdade (1.6),
kuk = sup kuxk

kxk1
sup p,q (u) sup |hx , xi|

kxk1 x BX
= p,q (u) sup kxk

kxk1
p,q (u).
Lema 1.1.18 Sejam 1 p < e p o conjugado de p. Se (xn )

n=1 `p,w (X) e (an )n `p ,
Pn
entao sn = i=1 ai xi converge.
Demonstracao. Seja n > m, temos

n n
X X

ksn sm k =
ai xi = sup
ai hx , xi i
i=m+1 x BX i=m+1
1/p 1/p
n n

|ai |p |hx , xi i|p .
X X
sup (1.13)
i=m+1 x BX i=m+1
Assim, fazendo n, m segue que ksn sm k 0. Como X e um espaco de Banach

tem-se que (sn )n converge.
O proximo resultado estabelecera uma caracterizacao das sequencias fracamente p-
somaveis.
Lembre-se que, se 1 < p < , entao L(`p ; K) = (`p ) = `p .
11
Lema 1.1.19 Seja x = (xi ) i=1 `p,w (X). Entao o operador ux : `p X tal que
P
ux ((ai )i=1 ) = i=1 ai xi e contnuo.
Demonstracao. Pelo Lema 1.1.18, ux esta bem definido. Alem disso, sabemos que, para
todo a (`p ) , existe a = (ai ) P
i=1 `p com kakp = ka k e ha , yi = i=1 ai yi , para todo
y = (yi )
i=1 `p . Assim,
kuk = sup ku(a)k

aB`p

X
= sup ai xi

aB`p i=1

* +

X
= sup sup x , ai xi

aB`p x BX
i=1

X
= sup sup ai hx , xi i

x B aB`
X p i=1
= sup sup |ha , (hx , xi i)

i=1 i|
x BX a B(`p )
= sup k(hx , xi i)
i=1 kp
x BX
= k(xi )
i=1 kp,w . (1.14)
Em particular, ux e contnuo.
Proposicao 1.1.20 A correspondencia u 7 (uen )n (onde en = (n,j )

j=1 ) produz um
isomorfismo isometrico de L(`p ; X) em `p,w (X) quando 1 < p < . Se p = 1, entao
L(c0 ; X) e isometricamente isomorfo a `1,w (X).
Demonstracao. Suponha 1 < p < e considere o operador linear
T : L(`p ; X) `p,w (X)
definido por T u = (uen )n .
Afirmacao 1: (en )n `p,w (`p ).
De fato, e claro que para todo n N, en `p . Como `p e isometricamente isomorfo a

(`p ) , para cada a B(`p ) existe uma (unica) sequencia a = (an )
n=1 = (ha , en i)n=1 `p
P
onde kakp = ka k e ha , (yn )n=1 i = n=1 an yn , para todo (yn )n=1 lp . Assim

!1/p
p
X
k(en )n kp,w = sup |ha , en i|
a B(` n=1
p )
12

!1/p
p
X
= sup |an | = 1.
(an )
n=1 B`p n=1
Afirmacao 2: T esta bem definido.
Dado u L(`p ; X)
kT ukp,w = k(uej )
j=1 kp,w
1/p

p
|hx , uej i|
X
= sup
x BX j=1
1/p

|hx u, ej i|p
X
= sup
x BX j=1
1/p
|hx u, ej i|p

= kuk sup kx k
X
p p
x BX j=1 kx k kuk
1/p

p
sup |hb , ej i|
X
kuk < .
b B
(`p ) j=1
pois, (en )n `p,w (`p ).
Afirmacao 3: T e uma isometria sobre sua imagem.
Claramente T e linear. Ademais,
kT ukp,w = k(uen )n kp,w

!1/p
p
X
= sup |hx , uen i|
x BX n=1
= sup k(hx , uen i)
n=1 kp
x BX
= sup sup |hb , (hx , uen i)

n=1 i|
x BX b B(`p )

X

= sup sup bn hx , uen i

x BX (bn )n=1 B` n=1
p

* +

X
= sup sup x , bn uen

(bn )n=1 B`p x B

X n=1

X
= sup
bn uen .
(bn ) B
n=1 `p

n=1

13
Como n=1 bn uen < (aplique o Lema 1.1.18 sabendo que (uen )n `p,w (X) e
P
(bn )
n=1 `p ), segue que

!
X X
sup
bn uen = sup u

bn en
(bn )
n=1 B`p

n=1
(bn )
n=1 B`p

n=1

= sup ku ((bn )
n=1 ) k = kuk.
(bn )
n=1 B`p
Afirmacao 4: T e sobrejetivo.

Dado x = (xn )
n=1 `p,w (X), tome ux : `p X tal que ux ((an )n=1 ) =
P
n=1 an xn .
Pelo Lema 1.1.19, ux L(`p ; X). Alem disso, para todo n N, ux en = xn , portanto,
T ux = (ux en )
n=1 = (xn )n=1 .
O caso p = 1 e analogo.
1.2 Ideais de Operadores Lineares

Tanto a classe das aplicacoes lineares absolutamente somantes quanto suas
generalizacoes sao estudadas na forma de ideais de operadores. Desta maneira, podemos
identificar se classes mais gerais conservam boas propriedades da classe inicial.
Definicao 1.2.1 Um ideal de operadores I e uma subclasse de todos os operadores

lineares contnuos entre espacos de Banach, tal que, para quaisquer espacos de Banach X e
Y as componentes I(X; Y ) = L(X; Y ) I satisfazem:
(i) I(X; Y ) e um subespaco vetorial de L(X; Y ) que contem todos os operadores de posto
finito;
(ii) se u L(X0 ; X), v I(X; Y ) e t L(Y ; Y0 ), entao a composicao tvu I(X0 ; Y0 ).
Definicao 1.2.2 Um ideal normado (I, k kI ) e um ideal de operadores I munido de uma

funcao k kI : I [0, +) tal que:
(i) k kI restrita a I(X; Y ) e uma norma para quaisquer espacos de Banach X e Y ;
(ii) kidK kI = 1, onde idK : K K e a identidade;
(iii) Se u L(X0 ; X), v I(X; Y ) e t I(Y ; Y0 ), entao ktvukI ktkkvkI kuk.
Definicao 1.2.3 Um ideal normado (I, k kI ) e um ideal de Banach (ou ideal completo)
se, para todos os espacos de Banach X e Y , as componentes (I(X; Y ), k kI ) sao completas.
14
Proposicao 1.2.4 Se 1 q p < , entao (p,q , p,q ()) e um ideal normado de

operadores lineares.
Demonstracao. Primeiramente vamos mostrar que p,q e um ideal de operadores. De

fato, dados X e Y espacos de Banach, pela Proposicao 1.1.16 sabemos que p,q (X; Y ) e um
subespaco de L(X; Y ).
Fixe 0 6= z X e y Y . Considere u : X Y onde u(x) = hz , xiy. Note que u e
(p; q)-somante, pois dados m N e x1 , . . . , xm X temos
1/p 1/p
m m p
p kz k
kuxj kp = |hz , xj i|p kyk p
X X

j=1 j=1 kz k
1/q
|hz , xj i|q
m
kykkz k
X
j=1 kz kq
1/q
m
q
X
kykkz k sup |hy , xj i| .
y BX j=1
Pela Proposicao 1.1.10, u e (p; q)-somante. Alem disso, p,q (u) kykkz k = kuk p,q (u).
Portanto, p,q (u) = kykkz k.
Dado w L(X; Y ) operador linear de posto finito, seja = {yj }m
j=1 uma base de Im(w).
Pm D E
Nos anexos em (A2) vemos que w() = j=1 zj , yj para certos z1 , . . . , zm
X . Como
cada parcela desta soma e (p; q)-somante, segue que w p,q (X; Y ). Consequentemente,
p,q (X; Y ) contem os operadores de posto finito de X em Y .
Sejam agora t L(X0 ; X), v p,q (X; Y ) e u L(Y ; Y0 ) com X0 e Y0 espacos de
Banach. Considere os operadores
tw v us
`q,w (X0 ) `q,w (X) `p (Y ) `p (Y0 ).
b b b
Pela Observacao 1.1.4 e pela Proposicao 1.1.10, sabemos que ktbw k = ktk, kvbk = p,q (v)
e kubs k = kuk. Alem disso,
ubs vb tbw : `q,w (X0 ) `p (Y0 )
e tal que
ubs vb tbw ((xn ) b ((txn )

bs v
n=1 ) = u bs ((vtxn )
n=1 ) = u

n=1 ) = (uvtxn )n=1 = uvt(xn )n=1 .
d
Assim, uvtd : `q,w (X0 ) `p (Y0 ) esta bem definido, ou seja, uvt p,q (X0 ; Y0 ) com
p,q (uvt) = kuvtk
d = ku bs v
b tbw k ku
bs kkv
bkktbw k = ku
bs kp,q (v)ktbw k = kukp,q (v)ktk.
Note ainda que para todo x K,
|x| = k(x, 0 . . .)kp

= k(idK (x), idK (0) . . .)kp
15
p,q (idK )k(x, 0, . . .)kq,w

= p,q (idK )|x|.
Logo p,q (idK ) 1.

Como q p,
1/p 1/q
m m
|idK (xj )|p |idK (xj )|q
X X

j=1 j=1
1/q
m
q
X
= |xj |
j=1
1/p
m
|(xj )|p
X
= 1 sup .
BK j=1
Logo p,q (idK ) 1, ou seja, p,q (idK ) = 1. Portanto (p,q , p,q ()) e um ideal normado.
Proposicao 1.2.5 Seja 1 q p < entao (p,q , p,q ()) e um ideal de Banach.
Demonstracao. Dados X e Y espacos de Banach, seja (un ) n=1 uma sequencia de Cauchy
em p,q (X; Y ). Como k k p,q (), segue que (un )
n=1 e uma sequencia de Cauchy em

L(X; Y ). Logo (un )n=1 converge para algum u L(X; Y ). Queremos mostrar que u e
(p; q)-somante. De fato, para cada n N, defina
ucn : `q,w (X) `p (Y ); (xk )

k=1 7 (un xk )k=1 .
Como kucn k = p,q (un ), tem-se que (ucn )

n=1 e de Cauchy em L(`q,w (X); `p (Y )) que e um
espaco de Banach. Logo (ucn ) n=1 converge para algum w L(`q,w (X); `p (Y )). Denote
(yk )k=1 = w ((xk )k=1 ). Assim, seja x = (xk )

k=1 `q,w (X) \ {0}. Dado > 0, existe
n0 N tal que

n n0 = kucn wk < .
kxkq,w
Da,

n n0 = kucn ((xk )
k=1 ) w ((xk )k=1 ) kp < kxkq,w .
kxkq,w
Assim !1/p

p
X
kun xk yk k < .
k=1
Portanto, para todo k N
n n0 = kun xk yk k < ,
16
ou seja, lim un xk = yk para todo k N. Como lim un = u em L(X; Y ), entao lim un xk =

n n n
uxk em Y , para todo k N. Pela unicidade do limite, (uxk )
k=1 = (yk )k=1 `p (Y ).
Conclumos que
ub ((xk )
k=1 ) = (uxk )k=1 = (yk )k=1 = w ((xk )k=1 ) .
Assim ub = w L(`q,w (X); `p (Y )). Portanto, u p,q (X; Y ) e entao p,q (X; Y ) e completo.
1.3 O Teorema da Dominacao de Piesch

Teorema 1.3.1 Sejam K um espaco compacto de Hausdorff e x C(K) funcional linear
positivo (hx , ui 0 se u 0) com hx , 1i = 1. Entao, existe uma unica medida regular de
probabilidade , definida na -algebra de Borel de K 1 , onde
Z

hx , ui = ud
K
para todo u C(K).
Demonstracao. Veja [1, Theorem 4.2.10].
Corolario 1.3.2 Seja P (K) o conjunto formado por todas as medidas de probabilidade em
K, entao a aplicacao
: P (K) {x C(K) ; x e positivo e hx , Ii = 1}
7 () : C(K) R
7 ()() := K d
R
e bijetiva e alem disso (P (K)) BC(K) .
Demonstracao. Do Teorema 1.3.1 segue que e bijetiva. Note ainda que, dado P (K),
Z Z

k()k = sup
d sup ||d 1.
BC(K) K BC(K) K
Lema 1.3.3 Sejam X e Y espacos de Banach, u : X Y um operador p-somante e

M X um subconjunto finito. Defina, para cada M ,
M : BX R ; M (x ) := (kuxkp p (u)p |hx , xi|p ) ,

X
xM
G = {M ; M X f inito} e F sua envoltoria convexa. Entao, para todo F, existe

um x BX tal que (x ) 0.
1
a definicao esta presente nos apendices.
17
Demonstracao. E conveniente considerar M como uma sequencia finita em X. Dessa

forma, repeticoes serao admitidas quando realizamos uniao desses conjuntos.
Como |Jx | e contnuo em BX e |Jx (x )| = |hx , xi| para todo x M , segue que
M C(BX ). Logo F C(BX ).
Dado F, existem k N, 1 , . . . , k [0, 1] tal que kj=1 j = 1 e = kj=1 j Mj
P P
para alguns Mj G. Defina

k n o
[ 1/p
M := j x ; x Mj .
j=1
Como |Jx | e contnua em BX (compacta na topologia fraca *), existe x0 BX tal que
|hx , xi|p = |hx0 , xi|p .

X X
sup
x BX xM xM
Assim,
k
(x0 ) = j Mj (x0 )
X
j=1
k
(kuxkp p (u)p |hx0 , xi|p )
X X
= j
j=1 xMj
k X p p
ku(j 1/p x)k p (u)p |hx0 , j 1/p xi|
X
=
j=1 xMj
ku(y)kp p (u)p |hx0 , yi|p 0.

X X
=
yM xM
A ultima desigualdade segue diretamente da hipotese. Tome x0 = x e tem-se o resultado.
Lema 1.3.4 Seja P = {f C(BX )2 ; f () > 0, para todo BX }. Entao P e aberto e

convexo.
Demonstracao. Com efeito, dados f, g P e [0, 1], f + (1 )g e contnuo em BX .

Alem disso, como f (), g() > 0 para todo BX segue que f () + (1 )g() > 0.
Logo, para todo [0, 1], f + (1 )g P . Assim, P e convexo.
Dado f P , como BX e (X ; X)-compacto, existe x0 BX tal que f (x0 ) =
min f (x ). Dado g C(BX ) tal que kf gk < = f (x0 )/2,

x BX
|f (x ) g(x )| kf gk < x BX .
2
A bola X e compacta na topologia fraca estrela. Para mais detalhes, consultar o Teorema de Banach-
Alaoglu-Bourbaki nos apendices.
18
Assim, g(x ) > f (x ) f (x0 ) > 0. O que implica em B(f, ) P . Portanto P e aberto.
Teorema 1.3.5 (Teorema da Dominacao de Pietsch) Suponha que 1 p < e que

u : X Y e um operador linear limitado entre espacos de Banach. Entao u e p-somante
se, e somente se, existe uma constante C > 0 e uma medida regular de probabilidade de
Borel em BX tal que
Z !1/p
p
kuxk C | hx , xi | d (1.15)
BX
para todo x X.
Demonstracao.
Suponha que existe C > 0 e uma medida como acima tal que (1.15) e satisfeita. Tome
x1 , . . . , xn X. Logo Z
p
kuxj k C p
|hx , xj i|d,
BX
para todo j = 1, . . . , k. Da,

k k Z
kuxj kp C p |hx , xj i|p d
X X
j=1 j=1 BX
Z k
p
|hx , xj i|p d
X
=C
BX j=1
Z k
Cp |hx , xj i|p d
X
sup
BX x BX j=1
k Z
p p
X
=C sup |hx , xj i| d
x BX j=1 BX
k
= C p sup |hx , xj i|p .
X
x BX j=1
Por fim, segue de (A1) nos anexos que u e p-somante.

Agora, suponha que u seja p-somante. Considere
M : BX R ; M (x ) := (kuxkp p (u)p |hx , xi|p ) ,

X
xM
G o conjunto formado por todos os M e F sua envoltoria convexa. Pelos Lemas 1.3.3 e
1.3.4, tem-se que F P = e, aliados ao Teorema de Hahn-Banach (1a. versao geometrica),
existem 0 C(BX ) e a R tais que
0 (M ) a < 0 (f ),
19
para todo M F e para todo f P .
Afirmacao 1: 0 e positiva.
Observe que tomando M = {0}, temos que {0} 0, pois para todo BX ,
{0} (x ) = ku(0)kp + p (u)p |hx , 0i|p = 0.
Logo
0 a < 0 (f )
para todo f P (ou seja, para todo f C(BX ) onde f > 0).
Em geral, dado h C(BX ), com h 0, defina para cada n N,
1
hn (x ) = h(x ) + .
n
Portanto, lim hn = h. Como 0 e contnua, segue que lim 0 (hn ) = 0 (h) 0. Logo 0 e
n n
positivo.
Defina agora : C(BX ) R tal que (f ) := 01(1) 0 (f ), para todo f C(BX ).
Assim,
esta bem definido, pois 0 (1) > 0 e 0 esta bem definido;
e positiva e (1) = 1. Claramente.
Pelo Teorema 1.3.1 e por (1) = 1 sabemos que e identificada com uma medida de
Borel regular de probabilidade em BX .
Afirmacao 2: a = 0
De fato, ja mostramos que a 0. Dado n N a funcao fn : BX R tal que

fn (x ) = 1/n pertence a P . Alem disso, n
lim fn = 0. Como 0 e contnuo,
lim 0 (fn ) = 0 (0) = 0.

n
Como a < 0 (fn ) para todo n N, segue que a 0 e portanto a = 0.

Note que dado x X,
0 ({x} )
({x} ) = a = 0,
0 (1)
e da ({x} ) 0. Assim,
Z Z
{x} (x )d = (kuxkp p (u)p |hx , xi|p ) d(x )
BX BX
20
Z Z
= kuxkp d p (u)p |hx , xi|p d 0
BX BX
E entao !1/p
Z
p
kuxk p (u) |hx , xi| d .
BX
Usando a inclusao dos espacos Lp , segue imediatamente o seguinte corolario.
Corolario 1.3.6 Se 1 p q, entao p q .
21
Chapter 2
Versoes Abstratas do Teorema da

Dominacao de Pietsch
2.1 O Teorema da Dominacao de Pietsch Unificado

(TDPU)
Sejam X, Y e E conjuntos nao vazios, F uma famlia de aplicacoes de X em Y , K um
espaco topologico compacto de Hausdorff e G um espaco de Banach. Considere tambem as
aplicacoes
R : K E G [0, +)
e
S : F E G [0, +).
Definicao 2.1.1 Sejam 0 0 tal que
1/p !1/p
n n
p 1/p
X X
S(f, xj , bj ) C sup R(, xt , bt ) ,
j=1 K t=1
para todo n N, x1 , . . . , xn E e b1 , . . . , bn G.
Observacao 2.1.2 Para que possamos abordar a versao unificada do TDP, serao
consideradas as seguintes condicoes:
(1) Dado f F existe um x0 E tal que R(, x0 , b) = S(f, x0 , b) = 0 para todo b G;
(2) Dados x E e b G a aplicacao
Rx,b : K [0, +) ; Rx,b () = R(, x, b)
e contnua;
22
Captulo 2 Versoes Abstratas do Teorema da Dominacao de Pietsch
(3) As seguintes desigualdades sao satisfeitas:
R(, x, b) R(, x, b) para todo K, x E, b G e 0 1;

S(f, x, b) S(f, x, b) para todo f F, x E, b G e 0 1.
Teorema 2.1.3 (TDPU [14]) Sejam R e S aplicacoes satisfazendo (1), (2) e (3) e
0 0 e uma medida regular de probabilidade de Borel em K tal que
Z 1/p
p
S(f, x, b) C R(, x, b) d (2.1)
K
para todo x E e b G.
Demonstracao. Veja [14].
Essa versao abstrata do Teorema da Dominacao de Pietsch permitiu recuperar a sua

versao correspondente em diversas classes de operadores, vejamos alguns exemplos.
2.1.1 Aplicacoes Lineares p-somantes

Teorema 2.1.4 Suponha que 1 p < e que u : X Y e um operador linear limitado
entre espacos de Banach. Entao u e p-somante se, e somente se, existe uma constante C > 0
e uma medida regular de probabilidade de Borel em BX tal que
Z !1/p
p
kuxk C | hx , xi | d(x ) (2.2)
BX
para todo x X.
2.1.2 Aplicacoes Lipschitz (p)-somantes

Definicao 2.1.5 (Mezrag-Tallab [12]) Sejam H um espaco de Banach, T Lip0 (X; H) e
1 p < . Dizemos que T e Lispschitz (p)-somante se existe uma constante C > 0 tal
que
1/p 1/p
N N p
|hvj , T xj T yj i|p ((xj ) (yj )) hvj , vi ,
X X
C sup (2.3)

B
j=1 X# j=1
vBH
para todo N N, xj , yj X e vj H , com j = 1, . . . , N .
Teorema 2.1.6 (TDP [12]) Uma aplicacao T Lip0 (X; H) e Lipschitz- (p)-somante se,
e somente se, existe uma constante C > 0 e uma medida regular de probabilidade de Borel
23
em BX # BH tal que
Z 1/p
p
|hT (x) T (y), v i| C |((x) (y)) hv , v i| d(, v ) (2.4)
K
para todo x, y X e v H .
2.1.3 Aplicacoes Multilineares p-dominadas

Sejam X1 , . . . , Xn espacos vertorias normados sobre o mesmo corpo K. O conjunto
X1 Xn , munido com as operacoes usuais de soma e produto por escalar, e um espaco
vetorial sobre K. Podemos equipar esse espaco com a norma
k k : X1 Xn [0, ) ; kxk := max kxi kXi ,

i=1,...,n
onde x = (x1 , . . . , xn ) X1 . . . Xn . E assim, (X1 Xn , k k) torna-se um espaco

vetorial normado.
Definicao 2.1.7 Sejam X1 . . . Xn e Y espacos vetoriais normados. Uma aplicacao
T : X1 Xn Y e n-linear quando para cada i = 1, . . . , n, xi , yi Xi e K, vale
que
T (x1 , . . . , xi + yi , . . . , xn ) = T (x1 , . . . , xi , . . . , xn ) + T (x1 , . . . , yi , . . . , xn ).
Definicao 2.1.8 Sejam X1 , . . . , Xn e Y espacos de Banach, dizemos que uma aplicacao n-
linear T : X1 . . . Xn Y e contnua quando existe uma constante C > 0 tal que para
todo x = (x1 , . . . , xn ) X1 . . . Xn tem-se
n
Y
kT (x1 , . . . , xn )kY C kxj kXj .
j=1
Denotamos por L(X1 , . . . , Xn ; Y ) o conjunto formado por todos os operadores n-lineares

contnuos de X1 Xn em Y . E facil notar que a funcao
k k : L(X1 , . . . , Xn ; Y ) [0, +) ; kT k = sup kT (x1 , . . . , xn )kY

kxk1
define uma norma. Alem disso, e tambem facil verificar que (L(X1 , . . . , Xn ; Y ), k k) e um
espaco de Banach.
Definicao 2.1.9 Seja 1 p < e T L(X1 Xn ; Y ). Dizemos que T e p-dominada
quando a sequencia
(1) (n)
T xk , , xk ` np (Y )
k=1
sempre que
(k)

xj `p,w (Xj )
k=1
para todo j = 1, , n.
24
O termo dominadae justificado pelo seguinte resultado.
Teorema 2.1.10 Uma aplicacao T L(X1 Xn ; Y ) e p-dominada se, e somente se,

existe uma constante C > 0 e medidas de Borel regulares de probabilidade k em BXk tais
que
n Z !1/p
(k) p
D E

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

C x ,x dk (x )
k=1 BXk
para todo xk Xk e k = 1, , n.
Apesar de o ultimo teorema apresentar diferencas estruturais em relacao ao TDPU, foi

provado em [4, Theorem 3.2] uma caracterizacao dessa ultima classe por um teorema de
dominacao do tipo Pietsch que envolve apenas uma medida regular de probabilidade. A
saber, uma aplicacao T L(X1 Xn ; Y ) e p-dominada se, e somente se, existe uma
contante C > 0 e uma medida regular de probabilidade de Borel em BX1 BXn tal
que
n/p
n D E p
Z
X
T (x(1) , . . . , x(n) )

C
xk , x(k) d(x1 , . . . , xn ) , (2.5)
BX BX k=1

1 n
para todo x(1) X1 , . . . , x(n) Xn .

Apresentaremos agora uma classe onde (ate onde sabemos) o TDP inerente nao pode
ser recuperado pelo TDPU.
2.1.4 Aplicacoes Multilineares (q1 , . . . , qn )-dominadas

Definicao 2.1.11 Sejam 1 q1 , . . . , qn , q < com 1/q = 1/q1 + + 1/qn . Dizemos que
uma aplicacao n-linear T L(X1 Xn ; Y ) e (q1 , . . . , qn )-dominada se existe uma
constante C > 0 tal que
1/q
k
! n k D
!1/qj
(n) q (j) qj
E
X (1) Y X
T xt , . . . , xt

C sup x , xt (2.6)

t=1 j=1 x BXj t=1
(j)
para todo k N e xt Xj , com (t, j) {1, . . . , k} {1, . . . , n}.
Teorema 2.1.12 (TDP) Uma aplicacao T L(X1 . . . Xn ; Y ) e (q1 , . . . , qn )-dominada

se, e somente se, existe uma constante C > 0 e medidas regulares de probabilidade de Borel
j em BXj tais que
n Z !1/qj
(j) qj
D E
T x(1) , . . . , x(n)
Y

C x ,x dj (2.7)
j=1 B Xj
25
para todo x(j) Xj e j = 1, . . . , n.
Demonstracao. Veja [11] e [17].

Se tivermos q1 = = qn = q na Definicao 2.1.11 obtemos o caso das aplicacoes
multilineares q-dominadas, e nesse caso, o teorema acima e recuperado por sua versao
unificada.
Entretanto, nao e possvel caracterizar as aplicacoes multilineares (q1 , . . . , qn )-dominadas
por um teorema como o que aparece em [4, Theorem 3.2], por exemplo. E assim, os
parametros F, E, K, G, R e S nao serao suficientes para esta versao multilinear do TDP
acima. Da a necessidade de buscar uma versao ainda mais geral para o TDP.
2.2 O Teorema da Dominacao de Pietsch Generalizado

(TDPG)
Veremos nesta secao a forma generalizada do TDP que recupera todos os teoremas do
tipo dominacao de Pietsch, incluzive o TDPU e o Teorema 2.1.12. Alem disso, veremos que
o TDPG melhora o TDPU reduzindo uma de suas hipoteses. Tambem veremos que este
ultimo pode ser melhorado ainda mais.
Sejam X1 , . . . Xn , Y e E1 , . . . , Em conjuntos arbitrarios nao vazios, F uma famlia de
aplicacoes arbitrarias de X1 Xn em Y , K1 , . . . , Kl espacos topologicos compactos de
Hausdorff e G1 , . . . , Gl espacos de Banach. Para cada j = 1, . . . , l, considere as aplicacoes
arbitrarias
Rj : Kj E1 Em Gj [0, +)
e
S : F E1 Em G1 , , Gl [0, +).
Definicao 2.2.1 (D. Pellegrino, J. Santos e J. B. Seoane-Sepulveda [15]) Sejam

0 < p1 , . . . , pl , p < tal que lj=1 1/pj = 1/p. Dizemos que f F e R1 , . . . , Rl -S-abstrata
P
(p1 , . . . , pl )-somante se existe uma constante C > 0 tal que
k
!1/p l k
!1/pj
X (1) (m) (1) (l) p Y X (1) (m) (j) pj
S(f, xt , . . . , xt , bt , . . . , bt ) C sup Rj (, xt , . . . , xt , bt )
t=1 j=1 Kj t=1
(i) (i) (j) (j)

para todo x1 , . . . , xk Ei , b1 , . . . , bk Gj e (i, j) {1, . . . , m} {1, . . . , l}.
A exemplo do TDPU, aqui tambem consideramos algumas condicoes as aplicacoes Rj e

S.
(i) Dados x(i) Ei , b(j) Gj e (i, j) {1, . . . , m} {1, . . . , l} a aplicacao
Rj,(x(i) )m ,b(j) : Kj [0, +) ; Rj, x(i) l ,b(j) () := Rj (, x(1) , . . . , x(m) , b(j) )

i=1 ( )i=1
26
e contnua;
(ii) As seguintes desigualdades sao satisfeitas:

Rj (, x(1) , . . . , x(m) , b(j) ) Rj (, x(1) , . . . , x(m) , b(j) )
l
S(f, x(1) , . . . , x(m) , 1 b(1) , . . . , l b(l) ) S(f, x1 , . . . , xm , b(1) , . . . , b(l) )
Y

j
j=1
para todo b(j) Gj , Kj , x(i) Ei , 0 , 1 , . . . , l 1 e (i, j) {1, . . . , m}

{1, . . . , l}.
Definicao 2.2.2 Uma colecao H de aplicacoes definidas em um conjunto W e dito

concava se, dados 1 , . . . , n H e 1 , . . . , n [0, 1] tais que nj=1 j = 1, existe
P
(j )nj=1 ,(j )nj=1 H satisfazendo

n
X
j j () (j )nj=1 ,(j )nj=1 (),
j=1
para todo W .
Lema 2.2.3 (Ky Fan [16]) Sejam W um subconjunto compacto convexo de um espaco
topologico linear de Hausdorff, H uma famlia concava de funcoes reais convexas e semi-
contnuas inferiormente tomando valores de W . Se para todo H existe um W tal
que ( ) %, entao existe um 0 W tal que (0 ) % para todo H.
Demonstracao. Dado H e > 0, o conjunto A(, ) := 1 ((, + %]) e fechado,

pois e semi-contnua inferiormente. Queremos mostrar que toda intersecao dos conjuntos
A(, ) e nao vazia. Com efeito, dado um intersecao finita ni=1 A(i , i ), considere os
T
seguintes conjuntos:
P := {(1 , . . . , n ) Rn ; i i + %, i = 1, . . . , n},
Q := {(1 (), . . . , n ()) Rn ; W }

e Q a envoltoria convexa de Q. E facil verificar que P e convexo.
Afirmacao: Q P 6=
Caso Q P = , pelo Teorema de Separacao de Convexos (em dimensao finita), existiriam

um vetor (1 , . . . , n ) Rn e R tal que ni=1 |i | = 1 e
P
n
X n
X
i i qi i
i=1 i=1
para todo (1 , . . . , n ) P e (q1 , . . . , qn ) Q.
27
Se % 0, entao dado s %, seja t = s + % 0. Logo, tem-se que tei P para todo

i = 1, . . . , n e para todo t 0, pois
s i s + % i + % t i + %,
para todo i = 1, . . . , n. Logo, ti para todo t 0 e i = 1, . . . , n. Em particular, se

t < 0, tem-se /t i . Passando ao limite em quando t , segue que 0 i para todo
i = 1, . . . , n.
Se % < 0, entao dado s %, defina t = s + % 0. Analogamente ao paragrafo acima,
podemos concluir que 0 i , para todo i = 1, . . . , n. Assim, ni=1 i = 1. Como H e
P
concavo, existe 0 H tal que

n
X n
X
0 () i i () i i > 0
i=1 i=1
para todo W , sendo que a ultima desigualdade e estrita, pois ao menos algum j e
diferente de 0 e i > 0 para todo i = 1, . . . , n. Contradizendo a hipotese. Logo, Q P 6= .
Seja (1 , . . . , n ) P Q, logo existem 1 , . . . , m [0, 1] tal que m
P
j=1 j = 1 e
(1 (j ), . . . , m (j )) Q com j = 1, . . . , m tais que
m
X
(1 , . . . , n ) = j (1 (j ), . . . , m (j ))
j=1
Pm
e i i para todo i = 1, . . . , n. Seja 1 = j=1 j j . Logo,

m
X m
X
i (1 ) = i j j j i (j ) = i i ,
j=1 j=1
para todo i = 1, . . . , n. Da, 1 ni=1 A(i , i ). Mostramos com isso que a colecao de
T
fechados de W
{A(, ) ; H e > 0}
satisfaz a propriedade da intersecao finita1 . Como W e compacto, segue que uma intersecao
arbitraria de fechados H A(, ) e sempre nao vazia. Em outras palavras, existe 0 W
T
>0
tal que, dado H, (0 ) para todo > 0. Logo, (0 ) 0 para todo H.
Pl
Lema 2.2.4 Sejam 0 < p1 , . . . , pl , p < tais que j=1 1/pj = 1/p, entao
l l
1Y 1 pj
qj p
X
qj
p j=1 j=1 pj
para quaisquer q1 , . . . , ql 0.
1
Ver a Proposicao 1 nos apendices.
28
Demonstracao. Veja [9, p. 40]
Teorema 2.2.5 (TDPG [15]) Sejam R1 , . . . , Rl e S satisfazendo (i) e (ii). Uma aplicacao
f F e R1 , . . . , Rl -S-abstrata (p1 , . . . , pl )-somante se, e somente se, existe uma constante
C > 0 e medidas regulares de probabilidade de Borel j em Kj com j = 1, . . . , l, tais que
l Z !1/pj
p j
S(f, x(1) , . . . , x(m) , b(1) , . . . , b(l) ) C Rj , x(1) , . . . , x(m) , b(j)
Y
dj () (2.8)
j=1 Kj
para todo x(i) Ei , b(j) Gj e (i, j) {1, . . . , m} {1, . . . , l}.

(i) (i) (j) (j)
Demonstracao. Comecaremos pela recproca. Sejam x1 , . . . , xk Ei e b1 , . . . , bk Gj
com (i, j) {1, . . . , m} {1, . . . , l}. Por hipotese,
k
X (1) (m) (1) (l) p
S(f, xt , . . . , xt , bt , . . . , bt )
t=1
k Y
l Z !p/pj
(m) (j) pj

p
X (1)
C Rj , xt , . . . , xt , bt dj
t=1 j=1 Kj
l k Z
!p/pj
()
(m) (j) pj

p
Y X (1)
C Rj , xt , . . . , xt , bt dj
j=1 t=1 Kj
l Z k
!p/pj
(m) (j) pj

(1)
= Cp
Y X
Rj , xt , . . . , xt , bt dj
j=1 Kj t=1
l k
!p/pj
(m) (j) pj
Z
p
Y X (1)
C sup Rj , xt , . . . , xt , bt dj
j=1 Kj t=1 Kj
l k
!p/pj
(m) (j) pj

p
Y X (1)
=C sup Rj , xt , . . . , xt , bt ,
j=1 Kj t=1
onde a desigualdade em () e valida gracas a desigualdade Holder. Assim, f e

R1 , . . . , Rl -S-abstrata (p1 , . . . , pl )-somante.
Agora, suponha que f F e R1 , . . . , Rl S-abstrata (p1 , . . . , pl )-somantes. Seja P (Kj )

o conjunto das medidas regulares de probabilidade de Borel em Kj , para cada j = 1, . . . , l.
Temos que P (Kj ) pode ser visto como um subconjunto compacto de BC(Kj ) para todo
j = 1, . . . , l (veja [20, Teorema 2.3.4]).
(i) (i) (j) (j)
Dados k N, x1 . . . , xk em Ei e b1 , . . . , bk em Gj com (i, j) {1, . . . , m}{1, . . . , l},
defina
:= (x(i) )k ,(b(j) )k ; (i,j){1,...,m}{1,...,l} : P (K1 ) . . . P (Kl ) R
t t=1 t t=1
tal que
29
k
"
1 (1) (m) (1) (l) p

(j )lj=1
X
= S f, xt , . . . , xt , bt , . . . , bt
t=1 p

l
1 Z
(1) (m) (j) pj

C p
X
R , xt , . . . , xt , bt dj .
j=1 pj Kj
Seja tambem H a famlia formada por todas as aplicacoes . Por simplicidade,

denotaremos
(1) (m) (1) (l)
S (i) m (j) l (f ) := S f, xtr , . . . , xtr btr , . . . , btr
xtr , btr
i=1 j=1
e
Rj, x(i) l ,b(j) () := Rj (, x(1) , . . . , x(m) , b(j) ).
( )i=1
Pelo Teorema 1.3.1, cada j e identificada como um funcional linear contnuo xj C(Kj )
onde Z D E
Rj,t pj dj = xj , Rj,t pj ,
Kj
para todo t = 1, . . . , k e j = 1, . . . , l. Logo, cada parcela da definicao de e contnua, e

portanto, e contnua. Alem disso, cada H e convexa. Com efeito, dados [0, 1] e
(j )lj=1 ,(j )lj=1 P (K1 ) . . . P (Kl ), denote (j )lj=1 := (j )lj=1 ) + (1 )(j )lj=1 . Assim,
temos:

(j )lj=1 )
p pj
k l
1 1 Z
(f ) C p
X X
= S R () d(j )
m l l
t=1 p (i)
xt ,
(j)
bt j=1 pj Kj
(i)
j, xt
(j)
,bt
i=1 j=1 i=1
p p
k
(A3) X 1
= S (f ) + S (i) m (j) l (f )
m l
t=1 p (i)
xt ,
(j)
bt p xtr , btr
i=1 j=1 i=1
pj j=1 pj
l
1 Z Z
C p
X
R l () dj + (1 ) R l () dj
j=1 pj
(i) (j) (i) (j)
Kj j, xt ,bt Kj j, xt ,bt
i=1 i=1
p p
k
X 1
= S (f ) + S (i) m (j) l (f )
m l
t=1 p (i)
xt , bt
(j)
p xt , bt
i=1 j=1 i=1 j=1
pj pj
l l
1 Z
1 Z
C p
X X
R l () dj + (1 ) R (i) l () dj
j=1 pj j=1 pj Kj
(i) (j) (j)
Kj j, xt ,bt j, xt ,bt
i=1
p pji=1
k l
1 1 Z
(f ) C p
X X
= S R () dj
m l l
t=1 p (i)
xt ,
(j)
bt j=1 pj Kj j, xt
(i)
,bt
(j)
i=1 j=1
pj i=1
k l
X 1 p p
X 1 Z
+(1 ) St C R (i) l () dj
t=1 p j=1 p j K j j, xt ,bt
(j)
i=1
30

= (j )lj=1 + (1 ) (j )lj=1 .
Mostraremos agora que H e concavo. Para isto, dados aplicacoes 1 , . . . , s H e

0 1 , . . . , s 1 tais que sr=1 r = 1 temos
P
s
r r ((j )lj=1 ) =
X
r=1 p pj
s kr l
1 1 Z
p
X X X
= r S C
(f ) R ()
dj
m l l
r=1 tr =1 p (i)
xtr ,
(j)
btr j=1 pj Kj j,
(j)
xt
(j)
,btr
i=1 j=1 j=1
p pj
kr
s X l
(ii) X
1 1 Z
(f ) C p
X
S R () dj

m 1 (j)
l l 1
r=1 tr =1 p (i)
xt r , r p btr j=1 pj Kj j, xt
(j)
,r pj btr
(j)
i=1 j=1 j=1

=: 0 (j )lj=1 ,
que e uma soma finita nos mesmos moldes da definicao de . Logo 0 H e portanto, F e
concavo.
Como cada Kj e compacto e R (i)

m
(j) e contnua em Kj , existe um j Kj tal
j, xt ,bt
i=1
que pj pj
k
X k
X
sup R
(i)
m
(j) () = R
(i)
m
(j) (j ) .
Kj t=1 j, xt ,bt j, xt ,bt
i=1 t=1 i=1
Dado F, tome j = j a medida de Dirac em Kj com respeito a j , para cada

j = 1, . . . , l. Assim,

l
(
j )j=1 =
p pj
k l
1 1 Z
p
() d
X X
= S C
(f ) R
m l m
(i) (j) j
t=1 p (i)
xt ,
(j)
bt j=1 pj Kj j, xt ,bt
i=1 j=1 i=1
p pj
k l k
1 p 1 Z X
() d
X X
= S (i) m (j) l (f ) C R m

(i) (j) j
t=1 p x t , b t p
j=1 j K j t=1 j, xt ,bt
i=1 j=1 i=1
p pj
k l k
1 p 1 Z
() d
X X X
= S (i) m (j) l (f ) C R
m
(i) (j) j
t=1 p j=1 pj
xt , bt {j } t=1 j, xt ,bt
i=1 j=1 i=1
p 1/pj pj
pj
k l k
X 1 p 1 X Z X
d
= S (i) m (j) l (f ) C R
(j) ()
m
(i) j
t=1 p j=1 pj

xt , bt {j } t=1 j, xt ,bt
i=1 j=1 i=1
31
p pj 1/pj pj
k l k
(A4) X 1 p 1 X X
= S (i) m (j) l (f ) C R
(j) (j )
m
(i)
t=1 p j=1 pj

xt , bt j, xt ,bt
t=1 i=1
i=1 j=1
p pj 1/pj pj
k l k
X 1 p 1 X X
= S (i) m (j) l (f ) C sup R
(j) () .
m
(i)
t=1 p j=1 pj
xt , bt Kj t=1 j, xt ,bt
i=1 j=1 i=1
Usando o Lema 2.2.4 com

pj 1/pj
k
X
qj = sup R
(i)
m
(j) ()
Kj t=1 j, xt ,bt
i=1
segue que

l
(
j )j=1
p pj 1/pj p
k p l k
X 1 C Y X
S (i) m (j) l (f ) sup R
(j) () 0,
m
(i)
t=1 p p

xt , bt Kj t=1 j, xt ,bt
j=1 i=1
i=1 j=1
pois f e R1 , . . . , Rl -S-abstrata (p1 , . . . , pl )-somante.

Decorre do Lema 2.2.3 que existe ( cj )lj=1 P (K1 ) . . . P (Kl ) tal que ((
cj )lj=1 ) 0
(i) (i) (j) (j)
para todo F, ou seja, para todo k N, x1 , . . . , xk Ei e b1 , . . . , bk Gj com
(i, j) {1, . . . , m} {1, . . . , l}, tem-se
p pj
k l
1 1 Z
(f ) C p
X X
S R cj 0.
() d (2.9)
m l m
(i) (j)
t=1 p (i)
xt ,
(j)
bt j=1 pj Kj j, xt ,bt
i=1 j=1 i=1
Em particular, tomando k = 1 segue que

!p l pj
1 1 Z

Cp
X
S m l (f ) Rj,(x(i) )m ,b(j) () d cj . (2.10)
p (x(i) )i=1 ,(b(j) )j=1 j=1 pj Kj i=1
Dados x(i) Ei , b(j) Gj e (i, j) {1, . . . , m} {1, . . . , l}, defina

Z pj !1/pj
j := Rj,(x(i) )m ,b(j) () d
cj .
Kj i=1
Seja
I := {j {1, . . . , l} ; j 6= 0}.
32
Se I = , segue de (2.10) que
S x(i) m , b(j) l (f ) = 0
( )i=1 ( )j=1
e a desigualdade (2.2.5) fica evidente. Caso contrario, para cada j I, seja j > 0 grande o
suficiente de tal maneira que 1 1
0 < j j ppj < 1.
Seja = max j . Assim,

j{1,...,l}
1
1
0 < j ppj < 1,
para todo j I. Defina agora

1
1
j
ppj
, se j I

j :=

, se j 6 I.

1
Logo j (0, 1] para todo j = 1, . . . , l. Por (2.10) e (ii) obtemos

!p l pj
1 1 Z

p
X
S m l (f ) C Rj,(x(i) ) ,j b(j) () d
m cj
p (x(i) )i=1 ,(j b(j) )j=1 j=1 p j K j i=1
l
j pj Z
pj
p
X
C Rj,(x(i) )m ,b(j) () d
cj
j=1 pj Kj i=1

X j pj X j pj
p
=C j pj + j pj
jI pj j6I pj
1 1/ppj pj pj
Cp
X
j j
jI pj
1 1
= C p 1/p C p 1/p .
X
(2.11)
jI pj p
Portanto,
!p l
j C p 1/p .
Y
S x(i) m , b(j) l (f ) (2.12)
( )i=1 ( )j=1 j=1
e entao
!p 1
l
C p 1/p
Y
S x(i) m , b(j) l (f ) j
( )i=1 ( )j=1 j=1
33
Y p
C p 1/p j 1/ppj
jI
p 1/p
j p 1/pj
Y
=C
jI
P
p 1/pj 1/p
j p .
Y
jI
=C (2.13)
jI
Se I ( {1, . . . , l}, entao (1/pj 1/p) < 0. Logo, tomando o limite quando
P
jI
+ em (2.13) temos que
S x(i) m , b(j) l (f ) = 0
( )i=1 ( )j=1
e obtemos a desigualdade (2.2.5).

Se I = {1, . . . , l}, entao (2.13) assume a forma
!p l
p
j p .
Y
S x(i) m , b(j) l (f ) C (2.14)
( )i=1 ( )j=1 j=1
Portanto,
1/p
l
j p
Y
S m l (f ) C
(x(i) )i=1 ,(b(j) )j=1 j=1
pj 1/pj
l
Y Z
=C R
(i)
m
(j) () d
cj .
Kj j, xt ,bt
j=1 i=1
2.3 Melhoramento do Teorema da Dominacao de

Pietsch Unificado
Utilizando o TDPG teremos a seguinte versao melhorada do TDPU que nao exige a
primeira hipotese da Observacao 2.1.2.
Teorema 2.3.1 (TDPU) Sejam R e S aplicacoes satisfazendo (2) e (3) e 0 0 e uma
medida regular de probabilidade de Borel em K tal que
Z 1/p
p
S(f, x, b) C R(, x, b)
K
34
Demonstracao. Tome m = n = l = 1 no Teorema 2.2.5.
Podemos ir mais alem nessa direcao e provar a versao unificada do TDP apenas exigindo
uma hipotese sobre a aplicacao R e permitindo que S seja arbitraria.
Lema 2.3.2 Uma aplicacao f : X Y e R-S-abstrata p-somante se, e somente se, existe
uma constante A > 0 tal que
1/p 1/p
n n
p p
X X
j S(f, xj , bj ) A sup j R(, xj , bj ) (2.15)
j=1 k j=1
para todo x1 , . . . , xn E, b1 , . . . , bn G e 1 , . . . , n R+ .
Demonstracao. A recproca e clara, basta tomar 1 , . . . , n = 1. Por outro lado, dados

n N, x1 , . . . , xn E e b1 , . . . , bn G, suponha inicialmente que j N para todo
j = 1, . . . , n. Logo, por hipotese, existe uma constante C > 0 tal que
n
j S(f, xj , bj )p =
X
j=1
= S(f, x1 , b1 )p + + S(f, x1 , b1 )p + + S(f, xn , bn )p + + S(f, xn , bn )p )
| {z } | {z }
1 vezes n vezes
C p sup R(, x1 , b1 )p + + C p sup R(, x1 , b1 )p + +
K K
| {z }
1 vezes
+C p sup R(, xn , bn )p + + C p sup R(, xn , bn )p
K K
| {z }
n vezes
n
= C p sup j R(, xj , bj )p .
X
K j=1
Assim a desigualdade (2.15) e valida para 1 , . . . , n N.

Seja agora j = srjj Q+ para todo j = 1, . . . , n. Temos,
n Qn n
rj p si X rj
= Qni=1 S(f, xj , bj )p
X
S(f, xj , bj )
j=1 sj i=1 s i j=1 s j

n n
1
si S(f, xj , bj )p .
X Y
= Qn rj

i=1 si j=1 i=1
i6=j
35
e pela primeira parte da demonstracao, sabemos que

n n n
rj 1
S(f, xj , bj )p C Qn si R(, xj , bj )p
X X Y
sup rj

s
j=1 j s
i=1 i K j=1 i=1
i6=j
Qn
n rj si
R(, xj , bj )p
X i=1;i6=j
C sup Qn
K j=1 i=1 si
n
rj
R(, xj , bj )p .
X
= C sup
K j=1 sj
Fica entao provado a desigualdade (2.15) para 1 , . . . , n Q+ .

Considere agora os escalares 1 , . . . , n sendo reais positivos arbitrarios. Suponha por
absurdo que para todo C > 0 existam nC N, x1 , . . . , xnC E, b1 , . . . , bnC G e
1 , . . . , nC R+ , tais que
1/p 1/p
nC nC
j S(f, xj , bj )p j R(, xj , bj )p
X X
> C sup . (2.16)
j=1 K j=1

Para cada j = 1, . . . , nC , seja qk (j) uma sequencia de numeros racionais que
k=1
converge para j respectivamente. Logo
k
qk (j) S(f, xj , bj )p j S(f, xj , bj )p
e
k
qk (j) R(, xj , bj )p j R(, xj , bj )p
para todo j = 1, . . . , nC e K. Assim,
nC nC
k
qk (j) S(f, xj , bj )p j S(f, xj , bj )p
X X
j=1 j=1
e, por (A5),
nC nC
k
qk (j) R(, xj , bj )p C sup j R(, xj , bj )p .
X X
C sup
K j=1 K j=1
Disto e da desigualdade (2.16) segue que, existe n0 N tal que

nC nC
qn (j) S(f, xj , bj )p > C sup qn (j) R(, xj , bj )p
X X
j=1 K j=1
para n n0 . Absurdo. Isso completa a demonstracao.

Teorema 2.3.3 (TDPU [14]) Suponha que 0 0 e uma medida regular de probabilidade de Borel em K tal que

Z 1/p
p
S(f, x, b) C R(, x, b) d (2.17)
K
Demonstracao. A recproca e similar a demonstracao do Teorema 1.3.5. Por outro lado,

seja f R-S-abstrata p-somante. Entao, vale que
1/p 1/p
n n
j S(f, xj , bj )p j R(, xj , bj )p
X X
C sup (2.18)
j=1 K j=1
para todo n N, x1 , . . . , xn E, b1 , . . . , bn G e 1 , . . . , n R+ .
Denote E1 = E G, G1 = K e defina
R : K E1 G1 [0, +) ; R(, (x, b), ) = ||R(, x, b)
e
S : F E1 G1 [0, +) ; S(f, (x, b), ) = ||S(f, x, b).
Assim, da desigualdade (2.18) tem-se
1/p 1/p
n n
X p X p
S(f, (xj , bj ), j ) C sup R(, (xj , bj ), j )
j=1 K j=1
para todo n N, x1 , . . . , xn E, b1 , . . . , bn G e 1 . . . , n K. Ou seja, f e R-S-abstrata

p-somante. Alem disso, como por hipotese R e contnua, a aplicacao
R(x,b), : K [0, +) ; R(x,b), () = R(, (x, b), ) = ||Rx,b ()
tambem e contnua para todo (x, b) E1 e G1 . Note ainda que
S(f, (x, b), t) = |t|S(f, x, b) = tS(f, (x, b), )
e que
R(, (x, b), t) = t||R(, x, b) = tR(, (x, b), t),
para todo (x, b) E1 , K e 0 t 1. Pelo Teorema 2.3.1 sabemos que existe uma
constante C > 0 e uma medida regular de probabilidade de Borel em K tal que
Z 1/p
p p
S(f, (x, b), ) C R(, (x, b), ) ,
K
37
para todo (x, b) E1 , e G1 . Tomando, em particular, K tal que || = 1, segue que

Z 1/p
p p
S(f, x, b) C R(, x, b) ,
K
38
Chapter 3
Aplicacoes do TDPG e do TDPU
Como foi discutido anteriormente, nao parece possvel que haja um escolha de
parametros adequada no TDPU que recupere o TDP para a classe das aplicacoes
multilineares (q1 , . . . qn )-dominadas. Para este fim, faremos o uso do TDPG.
3.1 Aplicacoes multilineares (q1, . . . , qn)-dominadas

Sejam 1 q1 , . . . , qn < com 1/q = 1/q1 + + 1/qn . Dizemos que uma aplicacao
n-linear T L(X1 . . . Xn ; Y ) e (q1 , . . . , qn )-dominada se existe uma constante C > 0
tal que
1/q
k
! n k D
!1/qj
(n) q (j) qj
E
X (1) Y X
T bt , . . . , bt

C sup x , bt , (3.1)

t=1 j=1 x BXj t=1
(j)
para todo n N e bt Xj com (t, j) {1, . . . , k} {1, . . . , n}.
Teorema 3.1.1 (TDP) Uma aplicacao T L(X1 . . . Xn ; Y ) e (q1 , . . . , qn )-dominada

se, e somente se, existe uma constante C > 0 e medidas regulares de probabilidade de Borel
j em BXj tais que
n Z !1/qj
(j) qj
D E
T b(1) , . . . , b(n)
Y

C x ,b dj , (3.2)
j=1 BXj
para todo x(j) Xj e j = 1, . . . , n.
Demonstracao. Eleja os seguintes parametros
39
Captulo 3 Aplicacoes do TDPG e do TDPU

l=n

F = L(X1 Xn ; Y )

Ei = R, para todo i = 1, . . . , m
Gj = Xj e Kj = BXj , para todo j = 1, . . . , n

pj = qj , para todo j= 1, . . . , n

S T, x , . . . , x(m) , b(1) , . . . , b(n) = T b(1) , . . . , b(n)
(1))

D E
Rj x , x(1) , . . . , x(m) , b(j) = x , b(j) .

Fixado (xi )ni=1 em Rn e b(j) Xj , tem-se que Rj,(xi )ni=1 ,b(j) e contnua em BXj para
todos j = 1, . . . , n. Alem disso, e facil notar que S e Rj (com j = 1, . . . , n) verificam as
desigualdades em (ii). Assim, T e (q1 , . . . , qn )-dominada se, e somente se, T e R1 , . . . , Rn -S
abstrata (q1 , . . . , qn )-somante. Nesse caso, o Teorema 2.2.5 nos garante a existencia de uma
constante C > 0 e medidas regulares de probabilidade de Borel j em Kj tais que, para todo
x(i) R e b(j) Xj com (i, j) = {1, . . . , m} {1, , n}, tem-se
n Z !1/pj
(j) pj

(1) (m) (1) (n) (1) (m)
Y
S T, x , . . . , x ,b ,...,b C Rj x , x , . . . , x ,b dk .
j=1 Kj
Portanto,
n Z !1/qj
(j) qj
D E
(1) (n)
Y
kT (b , . . . , b )k C x ,b dk (3.3)
j=1 BXj
para todo b(j) Xj e j = 1, . . . , n.
Faremos agora algumas consideracoes referentes as proximas aplicacoes do TDP.

Definicao 3.1.2 (i) Sejam (X, dX ) e (Y, dY ) espacos metricos. Dizemos que uma
aplicacao T : (X, dX ) (Y, dY ) e Lipschitz se existe uma constante C > 0 tal
que
dX (T x, T y) CdY (x, y) (3.4)
para todo x, y X;
(ii) Denotaremos por Lip(X; Y ) o conjunto das aplicacoes Lipschitz T : (X, dX )
(Y, dY );
(iii) Quando Y = H e um espaco de Banach, dizemos que uma aplicacao T : X H e
Lipschitz se existe uma constante C > 0 tal que
kT (x) T (y)k Cd(x, y) (3.5)
40
para todo x, y X.
No decorrer das proximas secoes, consideraremos X um espaco metrico pontuado, ou

seja, um espaco metrico onde e fixado um elemento especial, geralmente denotado por 0.
Definicao 3.1.3 Seja H e um espaco de Banach. Representaremos por Lip0 (X; H) o

conjunto das aplicacoes Lipschitz de X em H tais que T (0) = 0.
Observacao 3.1.4 (i) A funcao

( )
kT (x) T (y)k
k kLip0 : Lip0 (X; H) [0, +) ; kT kLip0 := sup
x6=y d(x, y)
define uma norma. Alem disso (Lip0 (X; H), k kLip0 ) e um espaco de Banach. Quando
H = R denotamos Lip0 (X; R) = X # , chamado o dual de Lipschitz de X;
(ii) A bola BX # e compacta com relacao a topologia da convergencia pontual. Veja [5,
Theorem 3.1.];
(iii) Fixado z X, a aplicacao
z : X # R ; z () = (z).
e contnua.
3.2 Aplicacoes Lipschitz (p, r, s)-somantes

Ao longo desta secao, assumiremos que todas as sequencias sao finitas.
Sejam N N, (j )N N N
j=1 sequencia de numeros reais e (xj )j=1 ,(yj )j=1 sequencias em X.
Defina 1/r
N
r
rLip (j , xj , yj )N
X
j=1 := sup
|j ((xj ) (yj ))| .
BX # j=1
Definicao 3.2.1 (Domnguez [5]) Sejam 1 p, r < , 1 s e T : X H uma

aplicacao Lipschitz. Dizemos que T e Lipschitz (p, r, s)-somante se existe uma constante
C > 0 tal que para todo N N, xj , yj X, vj H , j , j > 0 e j = 1, . . . , N tem-se
1/p
N
p
|j hvj , T (xj ) T (yj )i| CrLip (j j 1 , xj , yj )N N
X
j=1 (j vj )j=1 . (3.6)

s,w
j=1
Observacao 3.2.2 Em [5] e comentado sobre a possibilidade da restricao j = 1 para todo

j = 1, . . . , N na definicao de Lipschitz (p, r, s)-somante, e que a demonstracao deste fato
41
e similar ao caso da definicao de aplicacoes Lipschitz p-somantes em [7]. De modo que a

desigualdade (3.6) torna-se equivalente a
1/p
N
|hvj , T (xj ) T (yj )i|p CrLip (j 1 , xj , yj )N N
X
j=1 (j vj )j=1 . (3.7)

s,w
j=1
Observacao 3.2.3 Quando H = G , podemos considerar vj G no lugar de vj G

para todo j = 1, . . . , N .
De fato, suponha que T e Lipschitz (p, r, s)-somante, ou seja, que exista C > 0 tal que
para todos N N, xj , yj X, vj G, j , j > 0. Tem-se
1/p
N N
p
|j hvj , T (xj ) CrLip 1
, xj , yj )N j v
X
T (yj ), i| (j j j=1 j j=1
. (3.8)
j=1 s,w
Dados N N e vj G com j = 1, . . . , N , considere vj = J(vj ) G em (3.8), onde

J : G G e a imersao canonica. Logo,
1/r
N N
j v |hv , j vj i|r
X
j j=1
= sup
s,w v BG j=1
1/r
N
A6
|hj vj , v i|r
X
= sup
v BG j=1
1/r
N
r
|hJ(j vj ), v i|
X
= sup
v BG j=1
1/r
N
|hv , j vj i|r
X
= sup
v BG j=1

= (j vj )N (3.9)

j=1 s,w
|hvj , T (xj ) T (yj )i| = |hJ (vj )) , T (xj ) T (yj )i = |hT (xj ) T (yj ), vj i|, (3.10)
para todo j = 1, . . . , N , e portanto,

1/p
N
p N
CrLip (j j 1 , xj , yj )N
X
|j hT (xj ) T (yj ), vj i| j=1 (j vj )j=1

, (3.11)
s,w
j=1
para todo n N; xj , yj X, vj G, j , j > 0, com j = 1, . . . , n.
42
Por outro lado, suponha que seja valida a desigualdade (3.11). Dados N N e
v1 , . . . , vN

H , considere os subespacos de dimensao finita V = span{v1 , ..., vn } G
e U = span{T (x1 ) T (y1 ), ..., T (xn ) T (yn )} G . Pelo princpio da reflexividade local
(veja [6, p. 177]), dado > 0, existe uma aplicacao linear injetiva : V G tal que
max{k k, k k k 1 k} < 1 +
e
hu , (v )i = hv , u i
para todo v V e u U . Considere vj = (vj ). Aplicando o resultado acima com
uj = T (xj ) T (yj ), a desigualdade (3.11) sera da forma
1/p
N
|j hvj , T (xj ) T (yj )i|p CrLip (j j 1 , xj , yj )N
X
j=1 ((j vj )j . (3.12)

s,w
j=1
Note ainda que, para todo > 0,
N N
N
= (j (vj ) kk j vj (1 + ) (j vj

((j vj )j=1 .

s,w j=1 s,w j=1 s,w j s,w
(3.13)
Logo,
1/p
N N
N

p
|j hvj , T (xj ) )CrLip 1
X
T (yj )i| (1 + (j j , xj , yj (j vj
j=1 j=1 s,w
j=1
Fazendo 0, conclumos que T e Lipschitz (p, r, s)-somante.
Combinando as Observacoes 3.2.2 e 3.2.3, vemos que T : X H e Lipschitz (p, r, s)-

somante se, e somente se, existe uma constante C > 0 tal que para todos N N, xj , yj X,
vj H e j > 0, com j = 1, . . . , N ,
1/p
N
|hT (xj ) T (yj ), vj i|p CrLip (j 1 , xj , yj )N N
X
j=1 (j vj )j=1 . (3.14)

s,w
j=1
E esta desigualdade sera a versao mais utilizada no decorrer desta secao.

A classe das aplicacoes Lipschitz (p, r, s)-somantes de X em H sera denotada por
L L
p,r,s (X; H). Representaremos por p,r,s (T ) o nfimo das constantes que satisfazem a
desigualdade (3.6). A exemplo da classe dos operadores (p; q)-somantes, para todo espaco
43
metrico pontuado X e espaco de Banach H, a aplicacao

L
p,r,s () : Lp,r,s (X; H) [0, +)

define uma norma em Lp,r,s (X; H) de tal forma que Lp,r,s (X; H), p,r,s
L
() e um espaco
vetorial normado.
Veremos agora o Teorema da Dominacao de Pietsch para a classe Lp,r,s .
Teorema 3.2.4 (TDP [5]) Suponha que 1/p + 1/r + 1/s = 1 e T Lip0 (X; H ). Entao,
serao equivalentes:
(a) T Lp,r,s (X; H );
(b) Existem medidas regulares de probabilidades de Borel e em BX # e BH
respectivamente tal que
Z !1/r Z !1/s
r s
|hT (x) T (y), vi| C |(x) (y)| d() |hv, v i| d(v )
BX # BH
(3.15)
para todo x, y M e v H.
Demonstracao. Inicialmente note que, usando a desigualdade (3.14), T Lp,r,s (X; H ) se,
e somente, se existe uma constante C > 0 tal que
1/p
N
p
X
|hT xj T yj , vj i|
j=1
1/r 1/s
N r N
1
|hv , vj i|s
X X
C sup j ((xj ) (yj )) sup

BM # j=1 v B H j=1
para todo N N, xj , yj X, vj H e j > 0, com j = 1, . . . , N . Considere entao, as

seguintes escolhas de parametros:

l=2em=1
F = Lip0 (X; H )

E = X X R+

G1 = R e G2 = H

K1 = BM # e K2 = BH
S (T, (x, y, ), , v) = |hT (x) T (y), vi|

R1 (, (x, y, ), ) = 1 |(x) (y)|

R2 (v , (x, y, ), v) = |hv , vi| .

Assim, observe que S, R1 e R2 satisfazem (ii). Alem disso, dados (x, y, ) X X R+ ,

R e v H, a aplicacao R1,(x,y,), () = 1 |(x y )()| e contnua em BX # e
44
R2,(x,y,),v (v ) = |hv , vi| e contnua em BH , uma vez que sao contnuas as aplicacoes
Jv () = h, v i, para todo v BH .
Observe ainda que as desigualdades
1/p
N
|hT (xj ) T (yj ), vi|p CrLip (j 1 , xj , yj )N N
X
j=1 k(j vj )j=1 ks,w

j=1
e
1/p
N
p
X
S (T, (xj , yj , j ), j , vj )
j=1
1/r 1/s
N N
R1 (, (xj , yj , j ), j )r R2 (v , (xj , yj , j ), vj )s
X X
C sup sup
K1 j=1 v K2 j=1
sao equivalentes.
Logo T e Lipschitz (p, r, s)-somante se, e somente se, T e R1 , R2 -S-abstrata (p, r, s)-
somante. Assim, o Teorema 2.2.5 garante a existencia de uma constante C > 0 e medidas
regulares de probabilidade de Borel e em BM # e BH respectivamente tais que
Z 1/r Z 1/s
r s
S (T, (x, y, ), , v) C R1 (, (x, y, ), ) d R2 (v , (x, y, ), v) d , (3.16)
K1 K2
ou seja,
Z !1/r Z !1/s
r s
|hT (x) T (y), vi| C |(x) (y)| d() |hv , vi| d(v ) ,
BM # BH
para todo x, y M e v H.
3.3 Aplicacoes Lipschitz-Cohen fortemente p-somantes

Definicao 3.3.1 (K. Saadi [18]) Sejam 1 0 tal que
N
N

j hvj , T xj C j d(xj , yj )N
X
T yj i v , (3.17)

j=1 p j j=1
j=1 p ,w
para todo N N, xj , yj X, vj H e j R+ , com j = 1, . . . , N .
Teorema 3.3.2 (TDP [18]) Seja X um espaco metrico pontuado, H um espaco de Banach
e T Lip(X; H). Entao, T e Lipschitz-Cohen fortemente p-somante se, e somente se, existe
45
uma constante C > 0 e uma medida regular de probabilidade de Borel em BH tal que
Z !1/p
p
|hv , T x T yi| Cd(x, y) |hv , vi| d(v ) , (3.18)
BH
Demonstracao. Note que T e Lipschitz-Cohen fortemente p-somante se, e somente se,

1/p 1/p
N N N p
T yj , vj i |j d(xj , yj )|p
X X X
j hT xj C sup hv , vj i
j=1 j=1 v BH j=1
1/p 1/p
N N p
|j d(xj , yj )|p
X X
= sup C sup hv , vj i
[0,1] j=1 v BH j=1
(3.19)
Agora, considere as seguintes escolhas de parametros:

l=2em=1
F = Lip(X; H)

E =X X

G1 = R e G2 = H
K1 = [0, 1] R e K2 = BH

S(T, (x, y), , v ) = || |hv , T x T yi|

R1 (, (x, y), ) = ||d(x, y) e R2 (v , (x, y), v ) = |hv , v i| .

Observe que, para todos (x, y) X X e R fixados, R1,(x,y), e uma funcao

constante em R, logo, R1,(x,y), e contnua em R. Como R2,(x,y),v (v ) = |hJv , v i|, onde
J : H H e a imersao canonica, segue que R2,(x,y),v e contnua em BH . Alem disso,
vemos que R1 , R2 e S satisfazem as desigualdades em (ii). Assim, temos que a desigualdade
(3.19) ficara da forma
n
S(T, (xj , yj ), j , vj )
X
j=1
1/p 1/p
n n
p
R1 (, (xj , yj ), j )p R2 (v , (xj , yj ), vj )
X X
C sup sup .
K1 j=1 v K2 j=1
Logo, T e Lipschitz-Cohen fortemente p-somante se, e somente se, T e R1 R2 ,-S-abstrata

(p, p )-somante. Pelo Teorema 2.2.5, existe uma constante C > 0 e medidas regulares de
probabilidade de Borel em [0, 1] e em BH , tais que
46
Z !1/p Z 1/p
p p
S(T, (x, y), , v ) C R1 (, (x, y), ) d R2 (v , (x, y), v ) d
[0,1] K2
Z 1 1/p Z 1/p
p p
=C R1 (, (x, y), ) d R2 (v , (x, y), v ) d
0 K2
Z 1/p

= Cd(x, y) R2 (v , (x, y), v )p d ,
K2
e assim obtemos a desigualdade (3.18).
Vejamos agora uma aplicacao do TDPU.
3.4 Aplicacoes Lipschitz (p)-somantes

Definicao 3.4.1 (Mezrag-Tallab [12]) Sejam H um espaco de Banach, T Lip0 (X; H) e
1 p < . Dizemos que T e Lispschitz (p)-somante se existe uma constante C > 0 tal
que
1/p 1/p
N N p
|hvj , T xj T yj i|p ((xj ) (yj )) hvj , vi ,
X X
C sup
(3.20)
B #
j=1 X j=1
vBH
para todo N N, xj , yj X e vj H , com j = 1, . . . , N .
Teorema 3.4.2 (TDP [12]) Uma aplicacao T Lip0 (X; H) e Lipschitz- (p)-somante se,
e somente se, existe uma constante C > 0 e uma medida regular de probabilidade de Borel
em BX # BH tal que
Z 1/p
p
|hv , T (x) T (y)i| C |((x) (y)) hv , v i| d(, v ) , (3.21)
K
Demonstracao.
No Teorema 2.3.3, ponha

F = Lip0 (X; H)
K = BX # BH

E =X X

G = H
S(T, (x, y), v ) = |hv , T x T yi|

R((, v ), (x, y), v ) = |((x) (y)) hv , v i| .

47
Observe que para cada (x, y) X X e v H fixados, R(x,y),v e contnua em K,

pois os operadores
h, v i : BH R ; hv , v i = Jv (v )
e
x : BX # R ; x () = (x)
sao contnuos em BH e BX # , respectivamente. Por (A6) sabemos que
1/p 1/p
N p N p
[(xj ) (yj )] hvj , vi [(xj ) (yj )] hvj , vi
X X
sup
= sup sup
B #
X j=1 BX # vBH j=1
vBH
1/p
N p
[(xj ) (yj )] hv , vj i
X
= sup sup
BX # v BH j=1
1/p
N p
[(xj ) (yj )] hv , vj i .
X
= sup
B #
X j=1
v BH
Desse modo, T e Lipschitz (p)-somante se, e somente se,

1/p 1/p
n p n p
S T, (xj , yj ), vj ) R (, v ), (xj , yj ), vj )
X X
C sup ,
j=1 (,v )K j=1
ou seja, T e R-S abstrata p-somante. Assim, segue do Teorema 2.3.3 que

Z 1/p
S(T, (x, y), v )) C R((, v ), (x, y), v ))p d(, v ) .
K
Portanto,
Z !1/p
p
|hv , T x T yi| C |((x) (y)) hv , v i| d(, v ) .
BX # BH
48
Apendices
Apresentamos neste apendice alguns resultados basicos de Analise, Topologia e Teoria

da Medida para justificar algumas etapas no decorer do texto que nao eram o foco em questao
e puderam ser omitidas.
Algumas definicoes e teoremas iniciais

Proposicao 1 (Propriedade da Intersecao Finita) Seja X um espaco topologico
e Y X um subespaco. Y e compacto se, e somente se, para toda colecao C =
{F X ; F e fechado, } tal que
\
F = ,

tem-se que existe uma subcolecao finita
{F1 , . . . , Fn } C
onde n
\
Fj = .
j=1
Demonstracao. Decorre das leis de Morgan.
Definicao 1 Seja X um conjunto nao vazio. Uma -algebra de subconjuntos de X e

uma colecao P(X) tal que
(i) ;
(ii) Para todo M , X \ M ;
Apendice
(iii) Para toda sequencia (Mn )

S
n=1 em , i=1 Mn .
Definicao 2 Seja X um conjunto nao vazio e A P(X). Dizemos que a A P(X) e

uma -algebra de subconjuntos de X gerada por A quando:
(i) A e uma -algebra;
(ii) A A ;
(iii) Se e uma -algebra tal que A , entao A .
Se (X, ) e um espaco topologico e A = , entao e dita uma -algebra de Borel de X.
Definicao 3 Um espaco de medida e uma tripla (X, , ), onde:
(i) X e um conjunto nao vazio;
(ii) e uma -algebra de subconjuntos de X;
(iii) : [0, +) e uma funcao tal que
(a) () = 0;
(b) Para toda sequencia (Mn )
S P
n=1 em , ( n=1 ) = n=1 (Mn ) (-aditividade).
Os elementos de sao ditos conjuntos mensuraveis (ou -mensuraveis). A funcao

: [0, ) e chamado de medida em X.
Definicao 4 Seja X um conjunto nao vazio e : X [0, +) uma medida em X.
(1) Dizemos que e uma medida de probabilidade quando (X) = 1;
(2) Se (X, ) e um espaco topologico e e gerada por , dizemos que e uma medida
de Borel.
(3) Se (X, ) e um espaco topologico. Dizemos que e uma medida regular quando:
(i) todo aberto de (X, ) e um conjunto mensuravel;

(ii) os espacos compactos tem medida finita;
(iii) Para todo conjunto mensuravel M , tem-se que
(M ) = inf { (A) ; M A e aberto}
e
(M ) = sup { (K) ; K M e compacto} .
50
Apendice
Definicao 5 Sejam X um conjunto, X espacos topologicos com
f : X X
aplicacoes, para cada . A topologia fraca induzida em X pela colecao {f } e a

topologia que tem como sub-base a famlia
n o
f1 (V ) ; V X e aberto, .
Observacao 1 E possvel provar que a topologia fraca induzida em X e a topologia com

menos abertos que permite que todas as aplicacoes f sejam contnuas. Dessa forma, e
plausvel que com essa topologia, a possibilidade de encontrarmos conjuntos com boas
propriedades (como a compacidade) aumente sem perder a continuidade de nenhuma
aplicacao.
Definicao 6 Seja X um espaco vetorial normado e X o seu bidual topologico. Considere

a aplicacao
J : X X
x 7 Jx : X R
y 7 hJx , y i = hy , xi
que e chamada de injecao canonica de X em X . E facil verificar que J esta bem definida
e que e uma isometria linear. No caso em que J e sobrejetiva, dizemos que X e um espaco
reflexivo.
Definicao 7 A topologia fraca estrela em X , denotada por (X , X), e a topologia

fraca de X construda a partir da famlia de aplicacoes {Jx }xX .
Proposicao 2 A topologia fraca estrela de X e de Hausdorff.
Demonstracao. Sejam x , y X com x 6= y . Logo, existe z X tal que

hx , zi 6= hy , zi. Como a topologia de K e Hausdorff, existem abertos disjuntos U, V K
tais que hx , zi U e hy , zi V . Tome A = Jz1 (U ) e B = Jz1 (V ). Assim, x A, y B
e A B = .
Teorema 1 (Banach-Alaoglu-Bourbaki) A bola BX e compacta na topologia (X , X).
Demonstracao. Veja [2, Theorem 3.16]
51
Apendice
Resultados auxiliares
(A1) Sejam p > 0, A R+ limitado superiormente e denote Ap = {ap ; a A}, entao
(sup A)p = sup Ap .
Com efeito,
a sup a,
aA
assim, !p
p
a sup a
aA
para todo a A. Logo, !p

sup ap sup a .
aA aA
Por outro lado,

ap sup ap .
aA
Assim,
!1/p
p
a sup a
aA
para todo a A. Logo,

!1/p
p
sup a sup a .
aA aA
Assim, !p
sup a sup ap .
aA aA
!p
E portanto, sup a = sup ap .
aA aA
(A2) Se w : X Y e um operador linear de posto finito (digamos dim Im(w) = m)

m Pm D E
e = {yj }j=1 e uma base de Im(w), entao w() = j=1 zj , yj , para alguns

z1 , . . . , zm Im(w) .
De fato, seja = {yj }mj=1 a base dual de . Para cada x X, w(x) e combinacao
linear dos yj s. Assim, para cada x X, existem escalares 1 (x), . . . , m (x) tais que,
m
X
w(x) = j (x)yj .
j=1
52
Apendice
Note que para cada i = 1, . . . , m,

m
* +
hyi , w(x)i = yi ,
X
j (x)yj
j=1
m
j (x) hyi , yj i
X
=
j=1
| {z }
=i,j
= i (x).
Assim, escrevendo zj (x) = yj w(x), temos que zj e linear limitado para todo
j = 1, . . . , m e segue o resultado.
(A3) Sejam (X, , ) um espaco de medida, e duas medidas -aditivas e g : X R

uma funcao mensuravel. Entao
Z Z Z
g(x)d(a + b) = a g(x)d + b f (x)d,
X X X
para todo a, b R.
f (x)d(a + b) ; f g e f e simples}.
R R
De fato, X g(x)d(a + b) = sup{ X
Pm
Escrevendo f = j=1 j Ej , onde Ej e a funcao caracterstica no conjunto mensuravel
Ej , tem-se
Z m
X
g(x)d(a + b) = P sup j (a + b)(Ej )
X m
( g) j=1
j=1 j Ej
m
X m
X
= a P sup j (Ej ) + b P sup j (Ej )
m m
( g) j=1
j=1 j Ej
( g) j=1
j=1 j Ej
Z Z
=a g(x)d + b g(x)d.
X X
(A4) Sejam X um conjunto nao vazio, y X, (X, , y ) um espaco

R
de medida onde y e
a medida de Dirac em X e g uma funcao mensuravel, entao X g(x)dy = g(y). Com
efeito, Z Z Z
g(x)dy = sup f (x)dy = sup f (x)dy
X f g X f g {y}
f e simples f e simples
Por definicao, f pode ser escrito como combinacao linear finita de funcoes
caractersticas de conjuntos mensuraveis da forma {y}. Nesse caso, podemos escrever
f = a{y} . Logo, Z
f (x)dy = ay ({y}) = a = f (y).
{y}
53
Apendice
Assim, Z
g(x)dy = sup a = g(y).
X ag(y)

(A5) Fixe n N e sejam xk (j) sequencias reais que convergem respectivamente para
k=1
xj para cada j = 1, . . . , n. Sejam tambem K um espaco de Hausdorff compacto
e f1 , . . . , fn : K R funcoes contnuas. Entao, limk supaK nj=1 xk (j) fj (a) =
P
Pn
supaK j=1 xj fj (a).

De fato, seja M = max sup fj (a). Note que dados j = 1, . . . , n e > 0, existe

j=1,...,n aK
k0 (j) N, tal que

|xk (j) xj | <
2nM
sempre que k k0 (j) . Seja k0 = max k0 (j) . Observe que, se k k0 , entao
j=1,...,n

n n
(j)
X X
sup
x k f j (a) sup x f
j j (a)
=
aK j=1 aK j=1
!
n
X
xk (j) sup fj (a) xj sup fj (a)

=

j=1 aK aK

n (j)
X

=
xk xj sup fj (a)
j=1 aK
n

X (j)
= xk xj sup fj (a)

aK
j=1

n M = < ,
2nM 2
donde o resultado segue.
(A6) Seja X um espaco de Banach. Se (xj )

j=1 e uma sequencia fracamente p-somante em
X , entao
1/p
p
k xj
X
k = sup hxj , xi .

j=1 p,w xBX j=1
Lembre-se que, dado uma sequencia (xj )

j=1 `p , existe um funcional x (`p ) tal

D E
que, kx k = k (xj ) P
j=1 kp e x , (yj )j=1 = j=1 xj yj , para todo (yj )
j=1 `p . Veja que
1/p
D Ep D E
x , xj x , x
X
sup
= sup j

x BX x BX
j=1 p
j=1
54
Apendice

D E
= sup sup a , x ,x
j

x BX a B(` )
j=1
p

X D E
= sup sup
aj x , xj

x BX (aj )j=1 B` j=1
p
*

+
X

= sup sup
x , aj xj
x BX (aj )
j=1 B`p
j=1
* +

X
aj xj

= sup sup x ,
(aj )
j=1 B`p
x BX j=1

X
= sup
aj x j
(aj )
j=1 B`p
j=1
* +

aj xj , x
X
= sup sup
(aj )
j=1 B`p
xBX j=1

X D E
= sup sup
aj xj , x
xBX (aj ) B `p j=1
j=1

D E
= sup sup a , xj , x

xBX a B(` ) j=1
p
1/p
D E D Ep
x , x
X
= sup = sup xj , x . (22)

j j=1
xBX p xBX j=1
Portanto tem-se o resultado.
55
Bibliography
[1] R. ASH, Measure, Integration, and Functional Analysis, Academic Press, Inc., (1972),
170177.
[2] H. Brezis, Functional Analysis Sobolev Spaces and Partial Differenctial Equations,
Rutgers University, (2010)
[3] G. BOTELHO, D. PELLEGRINO and P. RUEDA, A unified Pietsch domination

theorem, J. Math. Anal. Appl. 365 (2010), 269276.
[4] G. BOTELHO, D. PELLEGRINO and P. RUEDA, A nonlinear Pietsch domination

theorem, Monatsh Math 158 (2009), 247257.
[5] J. A. CHAVEZ-DOMINGUEZ, Duality for Lipschitz p-summing operators, Journal of

Functional Analysis 261, (2011), 388406.
[6] J. DIESTEL, H. JARCHOW, A. TONGE. Absolutely summing operators, Cambridge

University Press, Cambridge, (1995).
[7] J. FARMER and W. B. JOHNSON, Lipschitz p-summing operators, Proc. Amer. Math.
Soc. 137 (2009), 2989-2995.
[8] S. GEISS, Ideale Multilinearer Abbildungen, Diplomarbiet, (1985).
[9] G. H. HARDY, J. E. LITTLEWOOD, G. POLYA, Inequalities, Cambridge University

Press, (1952).
[10] J. LINDENSTRAUSS e A. PELCZYNSKI, Absolutely summing operators in Lp spaces

and their applications, Studia Math. 29 (1968), 276326.
[11] M.C. MATOS, On multilinear mappings of nuclear type , Rev. Mat. Univ. Complut.
Madrid 6 (1993), 61-81.
[12] L. MEZRAG, A. TALLAB, On the Lipschitz (p)-summing operators, To appear in

Mathematische Nachrichten.
[13] B. MITJAGIN and A. PELCZYNSKI, Nuclear operators and approximative dimension,

Proceedings International Congress of Mathematics, Moscow, 1966.
56
Referncias Bibliogrficas
[14] D. PELLEGRINO and J. SANTOS, A general Pietsch domination theorem, J. Math.

Anal. Appl. 375 (2011), 371-374.
[15] D. PELLEGRINO, J. SANTOS and J. B. SEOANE-SEPULVEDA, Some techniques on

nonlinear analysis and applications, Adv. Math. 229 (2012), 1235-1265.
[16] A. PIETSCH, Absolut psummierende Abbildungen in normieten Raumen, Studia Math.

27 (1967), 333353.
[17] A. PIETSCH, Ideals of multilinear functionals (designs of a theory), in Proceedings of

the second international conference on operator algebras, ideals, and their applications
in theoretical physics (Leipzig, 1983) 185-199, Teubner, Leipzig.
[18] K. SAADI, Some properties of Lipschitz Strongly p-summing operator, J. Math. Anal.
Appl., 423 (2015), 1410-1426.
[19] J, SANTOS, Resultados de coincidencia para operadores absolutamente, Dissertacao,

UFPB, (2008).
[20] J, SANTOS, Alplicacoes Absolutamente Somantes e Generalizacoes do Teorema da

Dominacao de Pietsch, Tese, UFPE, (2011).
57

Formas Gerais Do Teorema Da Dominação de Pietsch

Î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

Formas Gerais Do Teorema Da Dominação de Pietsch

Încărcat de

Drepturi de autor:

Formate disponibile

Universidade Federal da Paraba

Centro de Ciencias Exatas e da Natureza

Formas Gerais do Teorema da Dominacao de

Luiz Ancelmo Dias Gomes

Formas Gerais do Teorema da

Luiz Ancelmo Dias Gomes

Prof. Dr. Joedson Silva dos Santos

UFPB/BC CDU: 51(043)

A Deus e minha famlia.

1 Operadores Lineares Absolutamente Somantes 1

2 Versoes Abstratas do Teorema da Dominacao de Pietsch 22

3 Aplicacoes do TDPG e do TDPU 39

Dizemos que uma sequencia (xn )

Exceto quando mencionado o contrario, X, X1 , . . . , Xn , Y e H denotarao espacos de

Sendo X um espaco vetorial normado, indicaremos por k kX a norma definida em X.

O espaco dos operadores lineares limitados de X em Y sera expresso por L(X; Y ).

Os elementos de X serao representados por x , y , a , etc. Denotaremos: x (y) :=

Indicaremos por BX a bola fechada unitaria de X;

Se 1 < p < , denotamos por p o expoente conjugado de p, ou seja, 1/p+1/p = 1;

Sendo 1 p < , simbolizamos por `p o espaco das sequencias (xn )

Dado um conjunto A, a funcao identicamente igual a 1 em A sera denotada por 1A .

Operadores Lineares Absolutamente

1.1 Resultados Preliminares

Definicao 1.1.1 Sejam 1 p < e X um espaco de Banach. Uma sequencia (xn )

Denotaremos por `p (X) o conjunto de todas as sequencias fortemente p-somaveis em

Definicao 1.1.2 Sejam 1 p < e X um espaco de Banach. Uma sequencia (xn )

Denotaremos por `p,w (X) o conjunto das sequencias fracamente p-somaveis em X. Se

E conhecido que, se 1 p , entao (`p,w (X), k kp,w ) e um espaco de Banach (veja

Observacao 1.1.3 Quando p = temos `w, (X) = ` (X). Com efeito,

= sup sup |hx , xn i|

= k(xn )n=1 k,w . (1.1)

Observacao 1.1.4 Se u : X Y e um operador linear limitado, entao as aplicacoes

ubs : `p (X) `p (Y ) ; (xn )

kubw k = sup kubw ((xn )

= kuk sup k(xn )

kuk sup kuxk

= sup kubw ((xn )

Analogamente, mostra-se que kubs k = kuk.

Observacao 1.1.5 `p (X) `p,w (X). De fato, se x = (xn )

Exemplo 1.1.6 Seja X um espaco de Banach com dimensao infinita e id : X X a

nao pode ser definida.

Lema 1.1.7 Se (n ) sequencia de escalares tal que | n | 1 para todo

Demonstracao. Observe que dado k N,

O proximo resultado nos possibilitara tratar das sequencias incondicionalmente somaveis

Proposicao 1.1.8 Uma sequencia (xj )

Aplicando o Lema 1.1.7 tem-se que

Logo, se n > n , entao

sempre que n n . De [19, Teorema 1.1.2], segue que (xj )

Definicao 1.1.9 Sejam 1 p, q < e u : X Y um operador linear contnuo. Dizemos

ub : `q,w (X) `p (Y ) ; ub((xn )

Denotamos por p,q (X; Y ) o conjunto dos operadores (p; q)-somantes de X em Y . Se

Proposicao 1.1.10 Seja u L(X; Y ). As seguintes afirmativas sao equivalentes:

(ii) Existe K > 0 tal que

(iii) Existe K > 0 tal que

sempre que (xk )

(iv) Existe K > 0 tal que

tal que ub((xn )

Logo, para todo x BX e n N,

Assim, para todo n N,

Logo, para todo n N,  

(iii) (i) De (iii) segue que (uxk )

kubk = sup kub((xn )

Dividindo os membros de (1.10) por kxk e passando ao supremo quando x BX tem-se

Logo, para todo n N,