Universidade Federal Fluminense

Programa de P

os-Graduac

ao em Matem

atica
O teorema de Szemeredi
Atila Pianca Guidolini
Niter

oi, Dezembro de 2007

O TEOREMA DE SZEMER

EDI
Atila Pianca Guidolini
COMISS

AO EXAMINADORA
Prof.
a
Dr.
a
Isabel Lugao Rios - Orientadora
UFF - Universidade Federal Fluminense
Prof. Dr. Carlos Gustavo Moreira - Membro
IMPA - Instituto de Matematica Pura e Aplicada
Prof. Dr. Samuel Santi - Membro
UFRJ - Universidade Federal do Rio de Janeiro
Prof. Dr. Renaud Leplaideur - Membro
Universite de Bretagne Ocidentale
Prof.
a
Dr.
a
Anne Michelle Dysman - Membro
UFF - Universidade Federal Fluminense
Dissertacao apresentada por Atila Pianca Guidolini ao Curso de
Mestrado em Matematica - da Universidade Federal Fluminense,
como requisito parcial para a obtencao do Grau de Mestre. Linha
de Pesquisa: Sistemas Dinamicos.
Niteroi (RJ), 11 de Dezembro de 2007
G948 Guidolini, Atila Pianca
O teorema de Szemeredi/Atila Pianca Guidolini - Niteroi, RJ :
[s. n.], 2007.
68 f.
Orientadora: Isabel Lugao Rios.
Dissertacao (Mestrado en Matematica)- Universidade Federal
Fluminense, 2007.
1. Sistmeas Dinamicos. 2. Teoria Ergodica. I. Ttulo. II. Universidade
Federal Fluminense. Instituto de Matematica. Coordenacao
de Pos-Graduacao em Matematica.
CDD:515:42
i
Agradecimentos
Gostaria de comecar agradecendo a minha professora orientadora Isabel Lugao Rios, pelas sempre
sinceras palavras de incentivo nas horas de diculdades e por me conar tao agradavel tema.
Ao Colegiado de Pos-Graduacao, em especial `a pessoa do professor Dinamerico Pombo J unior.
Ao sempre presente amigo Fabio Luiz.
`
Aqueles que na ausencia e distancia da famlia, tiveram fundamental importancia na minha vida.
Os grandes amigos de rep ublica; Gabriel, Estevao, Vinicius e Luciano.
E ainda, as demais amizades que conquistei ou fortiquei nesses ultimos anos; Laura, Camila,
Monica, Fernanda, Glauber e alguns outros.
Aos amigos distantes que tanto me fazem falta; Cassio, Leomar, Lidiane, Carlos,

Angela, Sandra,
Joana, e outros tantos.
Aos amigos do Movimento Escoteiro.
Aos meus familiares que tanto torceram pela realizacao desse trabalho; Tios, Primos e Avos.
`
A Bruna por sua docura, paciencia e amor.
Aos meus alhados, Paulo Octavio e Loise Helena, que sempre alegram a minha vida.
Aos meus amados Irmaos, Eric e Icaro, que sao tao importantes na minha vida.
Aos meus pais, Antonio e Lourdes, a quem tanto amo. Talvez esse trabalho, mais que um sonho
meu, seja um sonho deles.
Por m, agradeco a Deus. Por sempre me abencoar, e por tornar minha pagina de agradecimentos
tao valorosa.
ii
Sumario
Introducao 1
1 Preliminares 3
1.1 Teoria da Medida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.1 Espacos mensuraveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.2 Espacos de medida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.3 Integracao em espacos de medida . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Teoria Ergodica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.1 Teorema de Recorrencia de Poincare . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.2 Teorema Ergodico de Birkho . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2.3 Topologia fraca* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2 Fatores de Espacos de Medida 13
2.1 Fatores de espacos de medida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2 Espacos regulares de medida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.3 Esperanca condicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.4 Desintegracao de medida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.5 Produto relativo de espacos de medida . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3 Teorema de Szemeredi 30
3.1 Densidade superior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
iii
3.2 Teorema de Szemeredi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.3 Equivalencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
4 Teorema de Recorrencia M ultipla de Furstenberg 37
4.1 Sistemas fracamente mixing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
4.2 Sistemas compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
4.3 Sistemas fracamente mixing e fatores compactos . . . . . . . . . . . . . . . . . . . . . 47
4.4 Fatores maximais SZ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.5 Extensoes fracamente mixing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4.6 Extensoes compactas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.7 Existencia de extensoes compactas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
4.8 Conclusao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
Apendice 60
Referencias Bibliogracas 62
iv
Introducao
O tema para esta dissertacao foi escolhido com o proposito de apresentar aplicacoes da teoria de
sistemas dinamicos `a teoria dos n umeros. Dentre os possveis problemas foi escolhido o Teorema de
Szemeredi. O fato interessante na historia deste problema e que apos conjecturado levou-se decadas
ate uma prova completa e depois uma generalizacao com o uso de Teoria Ergodica.
Em 1975, E. Szemeredi [14] provou que subconjuntos de n umeros inteiros com densidade superior
positiva contem progressoes aritmeticas nitas com comprimento arbitrariamente grande, problema
que havia sido conjecturado por Erdos e Turan [2], em 1936. Em 1976, H. Furstenberg [4] notou que o
argumento demonstrado por Szemeredi era equivalente a um argumento de recorrencia m ultipla de
transformacoes preservando medida, tornando possvel uma prova ergodica para o teorema. Na ver-
dade, Furstenberg foi alem, demonstrando uma versao do Teorema de Szemeredi para subconjuntos
de Z
r
.
Varios elementos da prova original de Furstenberg foram simplicados por Y. Katznelson e D.
Ornstein no artigo The ergodic theoretical proof of Szemeredis theorem [6], artigo este em que e
baseada essa dissertacao.
Essa dissertacao comeca com algumas denicoes e resultados basicos no Captulo 1 como pre-
requisitos `a compreensao do desenvolvimento dos captulos seguintes.
No Captulo 2, sao introduzidos alguns resultados sobre extensoes de espacos de medida. Seu
conte udo e uma compilacao simplicada sobre extensoes, extrado do livro Ergodic behavior and a
theorem and combinatorial number theory de Furstenberg [5]. Esse captulo tem papel fundamental
na compreensao dos resultados apresentados no nal da dissertacao.
1
O Teorema de Szemeredi e apresentado no Captulo 3. Nesse captulo e enunciado o Teorema
de Recorrencia M ultipla de Furstenberg e mostra-se que tomando este resultado valido e possvel
demonstrar o Teorema de Szemeredi. No m do captulo e mostrado que esses resultados sao equi-
valentes.
O Captulo 4 trata do Teorema de Recorrencia M ultipla de Furstenberg. Primeiro este resultado
e demosntrado para duas classes de espacos de medidas. Depois e apresentado um esquema da
demonstracao geral.
2
Captulo 1
Preliminares
Comecamos nosso trabalho apresentando algumas denicoes e resultados em Teoria da Medida e Teo-
ria Ergodica que serao utilizados aqui. As demonstracoes sao omitidas por nao possuirem relevancia
direta no desenvolvimento dos demais captulos. Para grande parte dos resultados, indicamos algu-
mas referencias para a consulta das mencionadas demonstracoes.
1.1 Teoria da Medida
Nesta secao recordaremos algumas nocoes e resultados basicos da Teoria da Medida. As demonstra-
coes podem ser encontradas em [1], [3] e [13].
1.1.1 Espacos mensuraveis
Comecamos por introduzir as nocoes de

Algebra e -algebra de subconjuntos.
Denicao 1.1. Uma algebra de subconjuntos de X e uma famlia B de subconjuntos tal que:
X B,
A B A
c
B,
A B e A

B A A

B.
3
Segue destas propriedades que:
A B e B B A B = (A
c
B
c
)
c
B, A B e B B A B = A B
c
B.
Denicao 1.2. Uma algebra B diz-se uma -algebra de X se
A
j
B, j = 1, 2, . . . , n, . . .

_
j=1
A
j
B.
Observacao 1.1. Temos que B tambem e fechada para intersecoes enumeraveis: se A
j
B para
j = 1, 2, . . . , n, . . . entao

j=1
A
j
=
_

_
j=1
A
j
c
_
c
B.
Denicao 1.3. Um espaco mensuravel e uma dupla (X, B) onde X e um conjunto e B e uma
-algebra de subconjuntos de X. Os elementos de B sao chamados conjuntos mensuraveis.
Denicao 1.4. A -algebra gerada por uma famlia c de subconjuntos de X e a menor -algebra
que contem a famlia c.
No caso em que X vem munido da estrutura de espaco topologico, ha uma escolha natural para
c, nomeadamente, o conjunto dos subconjuntos abertos. Isto nos conduz `a nocao de - algebra de
Borel.
Denicao 1.5. Seja (X, ) um espaco topologico, entao a -algebra de Borel de M e a -algebra
gerada por , ou seja, a menor -algebra que contem todos os subconjuntos abertos.
1.1.2 Espacos de medida
Introduziremos o conceito de medida e em seguida apresentaremos alguns resultados sobre a cons-
trucao de medidas.
Denicao 1.6. Uma medida num espaco mensuravel (X, B) e uma funcao : B [0, +] que
satisfaz:
1. () = 0;
4
2. (

j=1
A
j
) =

j=1
(A
j
) para quaisquer A
j
B disjuntos dois-a-dois.
A tripla (X, B, ) e chamada de espaco de medida. Quando (X) = 1 dizemos que e uma
medida de probabilidade e (X, B, ) e um espaco de probabilidade.
A segunda propriedade na denicao de medida e chamada a -aditividade. Dizemos que uma
funcao : B [0, +] e nitamente aditiva se:

_
N
_
j=1
A
j
_
=
N

j=1
(A
j
)
para qualquer famlia nita A
1
, . . . , A
N
B de subconjuntos disjuntos dois-a-dois. Note que toda
medida e, automaticamente, nitamente aditiva.
Exemplo 1.1. Seja X um conjunto e consideremos a -algebra B = 2
X
, onde 2
X
e o conjunto das
partes de X. Dado qualquer p X, consideremos a funcao
p
: 2
X
[0, +] denida por:

p
(A) =
_
_
_
1 se p A,
0 se p A.
Temos que
p
e uma medida, que e usualmente designada por delta de Dirac no ponto p.
Se (X, B, ) e um espaco de medida, dizemos que um conjunto A X e de medida nula se existe
A
1
B tal que A A
1
e (A
1
) = 0. Uma propriedade aplicavel a pontos de um conjunto S X
vale em quase todo ponto x S (abreviadamente q.t.p.), se o conjunto dos pontos de S onde a
propriedade e falsa for um conjunto de medida nula.
Teorema 1.1 (Extensao). Seja B
0
uma algebra de subconjuntos de X e seja
0
: B
0
[0, +]
uma funcao nita, nitamente aditiva. Entao existe uma unica funcao nita, nitamente aditiva
: B [0, +] que e uma extensao de
0
`a -algebra B gerada por B
0
. Se
0
e -aditiva entao
tambem o e.
Teorema 1.2 (-aditividade). Seja B
0
uma algebra e seja
0
: B
0
[0, +] uma funcao nitamente
aditiva com
0
(X) = 1. Suponha que que
lim
n

0
_
n

j=1
A
j
_
= 0
5
para toda a sequencia A
1
. . . A
j
. . . de conjuntos mensuraveis tal que

j=1
A
j
= . Entao
0
e -aditiva.
O resultado seguinte nos diz que todo elemento A de uma -algebra B gerada por uma algebra B
0
e aproximado por um elemento A
0
da algebra, no sentido em que a medida da diferenca simetrica,
(AA
0
) = (A A
0
A A
0
), e pequena.
Teorema 1.3 (Aproximacao). Seja (X, B, ) um espaco de probabilidade e seja B
0
uma algebra que
gera a -algebra B. Entao para todo > 0 e todo A B existe A
0
B
0
tal que (AA
0
) < .
A seguir deniremos uma medida, chamada medida produto, no espaco das seq uencias.
Consideremos os espacos de probabilidade (X
i
, B
i
,
i
), com i Z. Vamos construir uma proba-
bilidade no conjunto
X =

i=
X
i
das sequencias bilaterais (x
i
)

i=
, com x
i
X
i
para cada i. Mais precisamente, a medida sera
denida na -algebra produto B das -algebras B
i
, que e caracterizada do seguinte modo: dados
inteiros m n e conjuntos A
j
B
j
para m j n, consideremos
[m; A
m
, . . . , A
n
] =
_
(x
i
)
iZ
: x
j
A
j
para m j n
_
.
Estes subconjuntos de X sao chamados cilindros. A famlia B
0
das unioes nitas de cilindros
disjuntos dois-a-dois e uma algebra. Por denicao, a -algebra produto B e a -algebra gerada
por B
0
. Para construir a medida procedemos do seguinte modo: primeiramente, consideramos a
aplicacao denida na famlia dos cilindros por
([m; A
m
, . . . , A
n
]) =
n

j=m

j
(A
j
)
Em seguida estendemos `a algebra B
0
, estipulando que a imagem de qualquer uniao nita de
cilindros disjuntos dois-a-dois e igual `a soma das imagens dos cilindros. Esta extensao esta bem
denida e e nitamente aditiva. Entao, recorrendo aos Teoremas 1.1 e 1.2, obtemos uma medida de
probabilidade em (X, B) que estende .
6
Denicao 1.7. O espaco de probabilidade (X, B, ) construdo acima e designado produto direto dos
espacos (X
i
, B
i
,
i
).
1.1.3 Integracao em espacos de medida
Esta secao apresentara nocoes da denicao de integral de funcoes em espacos de medida, como feito
em [10].
Denicao 1.8. Seja B(R) a -algebra de Borel de R. Uma funcao f : X R e mensuravel se
f
1
(D) B para todo D B (R).
De modo analogo, sejam X e Y dois conjuntos e B e T -algebras de subconjuntos de X e Y
respectivamente. Uma aplicacao T : X Y e mensuravel com respeito `as -algebras B e T se
T
1
(B) B para todo B T.
Seja (X, B, ) um espaco de medida. Se A B denotamos 1
A
`a funcao caracterstica de A, isto
e, 1
A
(x) e igual a 1 se x A e zero caso contrario.
Dizemos que uma funcao f : X R e simples se existem constantes
1
, . . . ,
N
R e conjuntos
A
1
, . . . , A
N
B disjuntos dois-a-dois tais que f =
N

i=1

i
1
A
i
. Dizemos que uma funcao simples e
integravel se
N

i=1

i
(A
i
) < +
e neste caso denimos a integral de f como:
_
X
fd =
N

i=1

i
(A
i
)
Pode-se provar que este n umero independe da forma de escrever f como combinacao linear de
funcoes caractersticas. Dizemos que uma funcao f : X R e integravel se existe uma sequencia
f
n
: X R, n = 1, 2, . . . de funcoes simples integraveis tais que
lim
n
f
n
(x) = f(x) q.t.p. x X (1.1)
7
Neste caso denimos a integral de f com
_
X
fd = lim
n
_
X
f
n
d (1.2)
Prova-se que o limite em (1.2) existe e que independe da sequencia f
n
. Dizemos que f : X R
e integravel sobre o conjunto A B se f1
A
e integravel e denimos:
_
X
fd =
_
X
f1
A
d.
As funcoes integraveis nao precisam ser mensuraveis, mas sempre coincidem com uma mensuravel
em q.t.p..
Teorema 1.4. Se f : X R e integravel, para todo > 0 existe > 0 tal que:
_
A
[f[ d
se A B e (A) .
Seja p 1. Denota-se L
p
(X, B, ) o conjunto das funcoes f : X R tais que [f[
p
e integravel,
identicando funcoes que coincidem em q.t.p.. Em L
p
(X, B, ) denimos a norma |.|
p
como:
|f|
p
=
__
X
[f[
p
d
_
1/p
.
O fato de |.|
p
ser uma norma segue da desigualdade de Minkowski que estabelece que, se f e g
pertencem a L
p
(X, B, ), entao f +g L
p
(X, B, ) e
|f +g|
p
|f|
p
+|g|
p
.
Proposicao 1.1. O espaco L
p
(X, B, ) e completo com a norma |.|
p
, 1 p < +.
Proposicao 1.2. O espaco L
p
(X, B, ) e um espaco de Hilbert se, e somente se, p = 2.
Dene-se L

(X, B, ) como o conjunto das f : X R tais que, existe K > 0 tal que [f(x)[
K para q.t.p. x X identicando funcoes que coincidem em q.t.p.. O nmo dos K com esta
propriedade denota-se |f|

e dene uma norma em L

(X, B, ). Para todo 1 p , L

p
(X, B, )
8
provido da norma |.|
p
e um espaco de Banach. A desigualdade de Holder estabelece que, se 1 p
e q satisfaz 1/p+1/q = 1, se p < , ou q = 1 e p = , entao se f L
p
(X, B, ) e g L
q
(X, B, ),
o produto fg pertence a L
1
(X, B, ) e satisfaz
|fg|
1
|f|
p
|g|
q
.
1.2 Teoria Ergodica
Nesta secao apresentaremos os elementos basicos de Teoria Ergodica utilizados ao longo do trabalho.
Esta secao esta dividida em tres subsecoes. Na primeira apresentamos um Teorema de Recorrencia
como um instrumento motivacional ao interesse pelo Teorema de Recorrencia M ultipla apresentado
no captulo 4. Na seguinte um teorema, cuja relevancia o concedeu o nome de Teorema Ergodico.
Por ultimo, alguns resultados uteis sobre convergencia de medidas.
1.2.1 Teorema de Recorrencia de Poincare
O resultado que apresentaremos nesta secao, enunciado por Poincare perto do m do seculo XIX,
arma que quase todo ponto retorna a um conjunto quando iterado varias vezes por uma determinada
transformacao. Uma Demonstracao pode ser encontrada em [15].
Diremos que T e uma transformacao preservando medida de (X, B, ) se T e uma transformacao
de X em X de modo que se B B, entao T
1
B B e (T
1
B) = (B). Diremos que a quadrupla
(X, B, , T) e um sistema preservando medida (s.p.m).
Teorema 1.5 (Teorema de Recorrencia de Poincare). Seja T : X X uma transformacao preser-
vando medida de um espaco de probabilidade (X, B, ). Seja E B com (E) > 0. Entao -quase
todo ponto de E retorna innitas vezes a E sobre iteracoes positivas por T, isto e, existe F E com
(F) = (E) tal que para cada x F existe uma seq uencia n
1
< n
2
< n
3
< . . . de n umeros naturais
com T
n
i
(x) F para cada i.
9
No Captulo 4, tratamos do Teorema de Recorrencia M ultipla de Furstenberg, que arma que
dado um inteiro k e um conjunto A de medida positiva, existe algum tempo n tal que os iterados T
in
dos elementos de um subconjunto de medida positiva de A regressam a A para todo i = 0, . . . , k 1
(ou seja, tais elementos retornam simultaneamente k vezes por iteracoes de T
n
). Alguns autores
chamam este teorema de Teorema de Recorrencia Simultanea de Poincare pelo fato deste ser uma
generalizacao do teorema acima.
1.2.2 Teorema Ergodico de Birkho
A seguir temos uma proposicao caracterizando quando uma medida e invariante, a prova pode ser
encontrada em [7].
Proposicao 1.3. Seja T : X X uma transformacao e uma medida. Entao T preserva se, e
somente se, para toda funcao integravel f : X R vale:
_
fd =
_
f Td.
Denicao 1.9. O sistema de probabilidade (X, B, , T) e um sistema ergodico preservando medida
se T
1
B = B para B B implicar que (B) = 0 ou (B) = 1. Neste caso diremos que T e uma
transformacao ergodica.
Um resultado fundamental e o Teorema Ergodico de Birkho, cuja prova pode ser encontrado
tambem em [7].
Teorema 1.6 (Teorema Ergodico de Birkho). Seja f L
1
(X, B, ) e T uma transformacao preser-
vando medida de (X, B, ), entao para quase todo x,
f(x) +f(Tx) +. . . +f(T
n
x)
n + 1


f(x)
onde

f(x) e uma funcao T-invariante, isto e,

f =

f T. Alem disso,
_

f(x)d(x) =
_
f(x)d(x).
10
Se (X, B, , T) e ergodico, entao uma funcao satisfazendo

f =

f T e necessariamente quase
sempre constante. De fato, a pre-imagem

f
1
(I) para qualquer intervalo I R e um conjunto
invariante, portanto, pela ergodicidade, essa pre-imagem tem medida zero ou um. Como o intervalo
I e qualquer, a funcao

f e constante num conjunto de medida total. Disto segue que quando T e
ergodico,

f =
_
fd, e que
f(x) +f(Tx) +. . . +f(T
n
x)
n + 1

_
f(y)d(y).
Em [15] encontramos o seguinte corolario:
Corolario 1.1 (Teorema L
p
Ergodico de Von Neumann). Seja 1 p < e seja (X, B, , T) um
s.p.m.. Se f L
p
(X, B, ) existe

f L
p
(X, B, ) com

f =

f T em quase todo ponto, e
f(x) +f(Tx) +. . . +f(T
n
x)
n + 1


f(x)
na norma de L
p
(X, B, ).
1.2.3 Topologia fraca*
Nesta secao vamos introduzir uma topologia importante no conjunto /(X) das probabilidades bore-
lianas do espaco X, chamada topologia fraca*. Para um estudo das demonstracoes aqui omitidas
consultar [7].
Dada uma medida /(X), um conjunto nito F =
1
, ...,
N
de funcoes contnuas
j
:
X R, e um n umero > 0, denimos
V (, F, ) = /(X) :

_

j
d
_

j
d

< para todo

j
F.
Entao a topologia fraca* e denida estipulando que estes conjuntos V (, F, ) com F e variavel,
constituem uma base de vizinhancas da medida .
Proposicao 1.4. Uma sequencia (
n
)
nN
em /(X), converge para uma medida /(X) na
topologia fraca* se, e somente se,
_
d
n

_
d para toda funcao contnua : X R.
11
Outra proposicao util que caracteriza a convergencia de medidas e dada a seguir:
Proposicao 1.5. Assuma que a sequencia
n
converge para na topologia fraca*. Entao:
1. lim
n
sup
n
(K) (K) para cada conjunto compacto K X;
2. lim
n
inf
n
(U) (U) para cada conjunto aberto U X;
Em particular, se o bordo de A tem medida zero, temos que lim
n

n
(A) = (A)
Teorema 1.7. O Espaco /(X) munido da topologia fraca* e metrizavel e compacto.
12
Captulo 2
Fatores de Espacos de Medida
A intencao deste captulo e introduzir o conceito de extensao de espacos de medida. Assim, podere-
mos encontrar algumas propriedades de um espaco comparando-o com outro espaco (em particular,
obteremos nossos resultados dos proximos captulos comparando o espaco em questao com um subes-
pa co proprio). Ao segundo espaco chamaremos fator do primeiro. Apresentamos ainda um operador
especial que transforma funcoes de uma extensao em funcoes de seu fator, que sera uma ferramenta
fortssima no entendimento do ultimo captulo.
O conte udo apresentado nas secoes deste captulo, foi extrado de [5] onde Furstenberg traz
resultados mais gerais.
2.1 Fatores de espacos de medida
Sejam (X, B, ) e (Y, T, ) probabilidades.
Uma aplicacao : X Y e uma aplicacao preservando medida se:
1.

E mensur avel;
2. Para cada A T, (
1
(A)) = (A).
Podemos identicar conjuntos que diferem por conjuntos de medida nula. Denimos a -algebra
13
associada

B consistindo da classe de equivalencia dos conjuntos em B onde A A

se, e somente
se, (A A

A A

) = 0.
Denicao 2.1. Um homomorsmo : (X, B, ) (Y, T, ) entre dois espacos de medida e dado
por uma injecao
1
:

T

B satisfazendo:
(i)
1
(

A
1

A
2
) =
1
(

A
1
)
1
(

A
2
),

A
1
,

A
2


T.
(ii)
1
(

Y

A) =

X
1
(

A),

A

T.
(iii) (
1
(

A)) = (

A),

A

T.
Observamos que as propriedades acima forcam
1
ser injetiva. De fato,
1
(

A) =
1
(

B)

1
(

A

B) =
1
(

A

B) (

A

B) = (

A

B)

A =

B.
Alem disso
1
preserva operacoes de -algebras:

A =

_
n=1
A
n
,
entao

A
N
_
n=1
A
n
_
0,
onde

1
(

A)
N
_
n=1

1
(

A
n
)
_
0.
Da,

1
(

A) =

_
n=1

1
(

A
n
).
Dado um homomorsmo determinado por uma aplicacao espacial : X Y , nos podemos
obter a partir de uma funcao mensuravel em (Y, T, ) uma funcao mensuravel em (X, B, ) por
f f . Esta correspondencia aplica L
p
(Y, T, ) isometricamente em L
p
(X, B, ). Para um
14
homomorsmo geral : (X, B, ) (Y, T, ) podemos associar para cada classe de equivalencia de
funcoes mensuraveis em (Y, T, ) uma classe de equivalencia de funcoes mensuraveis em (X, B, ).
De fato, dada uma funcao mensuravel f, criamos a famlia de conjuntos A
t
(f) = y : f(y) < t,
para t racional. Reciprocamente, dada uma famlia de conjuntos mensuraveis A
t
, t racionais, com
t
1
t
2
A
t
1
A
t
2
, denimos f(y) = inft : y A
t
. Comecando com uma funcao mensuravel
f(y) em (Y, T, ), formamos A
t
(f) e transformamos estes para
1
(A
t
(f))

B. Por tomarmos
representantes destes conjuntos em B, construimos uma funcao f

em (X, B, ) que satisfaz

1
(f
1
(B)) = (f

)
1
(B), (2.1)
para cada conjunto de Borel B R. Por (2.1) nos deduzimos que se f L
p
(Y, T, ), entao
f

L
p
(X, B, ).
Denicao 2.2. Dizemos que o espaco de medida (Y, T, ) e um fator de (X, B, ) se existir um
homomorsmo de (X, B, ) para (Y, T, ). Neste caso, dizemos ainda que (X, B, ) e uma extensao
de (Y, T, ). Dois espacos (X, B, ) e (Y, T, ) sao equivalentes se existir um homomorsmo :
(X, B, ) (Y, T, ) com
1
(

T) =

B.
Se (X, B, ) e um espaco de medida, entao

B, com a metrica d(

A,

B) = (

A

B), onde

A

B =

A

B

A

B, e espaco metrico. Ainda, se nos identicarmos

A com 1
A
L
1
(X, B, ) a metrica
em questao coincide com a metrica de L
1
. Temos pela Proposicao 1.1 que

B e um espaco metrico
completo.
Se

B
0
e uma subalgebra de

B pode-se mostrar que

B
0
e denso em

B se, e somente se,

B
0
gera

B
como -algebra.
Proposicao 2.1. Dois espacos de medida (X, B, ) e (Y, T, ) sao equivalentes se, e somente se,

B
contem uma subalgebra densa

B
0
e

T contem uma subalgebra densa

T
0
tal que existe um isomorsmo
preservando medida entre as subalgebras

B
0
e

T
0
.
Demonstracao: Se os dois espacos sao equivalentes podemos tomar

B
0
=

B e

T
0
=

T.
15
Reciprocamente, suponha que

B
0

=

T
0
. Se

A

T, como

T
0
e denso em

T, tomo

A
n


T
0
com (

A

A
n
) 0. Assim

A
n
forma uma seq uencia de Cauchy e como , isomorsmo entre

B
0
e

T
0
, preserva medida temos que
1
(

A
n
) forma uma seq uencia de Cauchy e da podemos fazer

1
(

A) = lim
1
(

A
n
). Notamos que
1
cumpre as condicoes de homomorsmo e como

B
0
e denso
em

B temos que
1
e sobrejetivo.
Abordaremos a partir de agora, sistemas preservando medida (X, B, , T) exigindo que a trans-
formacao T seja invertvel. Assim, em um sistema preservando medida (X, B, , T), a transformacao
T dene um automorsmo de B com A T
1
A, e isto induz um automorsmo T
1
:

B

B. Nos
usamos isto na denicao de homomorsmo de sistemas preservando medida.
Denicao 2.3. Um homomorsmo de sistemas preservando medida : (X, B, , T) (Y, T, , S)
e dado por um homomorsmo : (X, B, ) (Y, T, ) satisfazendo as condicoes de (i) ` a (iii) da
Denicao 2.1 e ainda:
(iv)
1
(S
1

A) = T
1

1
(

A),

A

T.
Neste caso dizemos que (Y, T, , S) e um fator de (X, B, , T) e que (X, B, , T) e uma extensao de
(Y, T, , S). Dois sistemas preservando medida sao equivalentes se
1
(

T) =

B.
Por analogia `a Proposicao 2.1 nos temos o seguinte criterio para sistemas preservando medida.
Proposicao 2.2. Dois s.p.m. (X, B, , T) e (Y, T, , S) sao equivalentes se, e somente se,

B contem
uma subalgebra densa T-invariante

B
0
e

T contem uma subalgebra densa S-invariante

T
0
tal que
existe um isomorsmo preservando medida entre as subalgebras

B
0
e

T
0
que e compatvel com a a cao
das transforma coes.
Demonstrac ao: Como na Proposicao 2.1, observamos que
1
(S
1

A) = lim
1
(S
1

A
n
) =
T
1
lim
1
(

A
n
) = T
1

1
(

A).
A partir de agora, para uma melhor leitura, muitas vezes denotaremos tanto o espaco de medida
(X, B, ) como o s.p.m. (X, B, , T) por X. O espaco L
p
(X, B, ) sera denotado por L
p
(X). Homo-
morsmos de sistemas serao escritos : X Y. Mesmo sendo uma aplicacao espacial, : X Y ,
16
poderemos escrever : X Y. Quando e um homomorsmo de sistemas : X Y, vimos que
podemos levar funcoes mensuraveis de Y em funcoes mensuraveis de X, por f f

. Estenderemos
a notacao para aplicacoes espaciais f f

.
Se T e a transformacao de um s.p.m. (X, B, , T) denotaremos f T por Tf.
Pelo Teorema de Mudanca de Variaveis dado em [1], se e uma aplicacao mensuravel em (X, B),
entao denotara a medida
(A) = (
1
(A)), (2.2)
e podemos vericar que f f

aplica L
1
(Y, T, ) em L
1
(X, B, ) e
_
f d =
_
fd. (2.3)
2.2 Espacos regulares de medida
Denicao 2.4. Um espaco de medida (X, B, ) e regular se X e um espaco metrico compacto e
B consiste da -algebra de Borel em X. Um s.p.m. (X, B, , T) e regular se o espaco de medida
subordinado e regular.
Denicao 2.5. Um espaco de medida (X, B, ) e separavel se a -algebra associada

B e gerada por
um subconjunto enumeravel. O s.p.m. (X, B, , T) e separavel se (X, B, ) e separavel.
Uma condicao equivalente para a separabilidade do espaco de medida (X, B, ) e a separabilidade
do espaco metrico

B.
Como um espaco metrico compacto possui uma base enumeravel de conjuntos abertos e estes
geram a -algebra de Borel, e claro que um espaco de medida regular e separavel.
Denicao 2.6. Um homomorsmo : (X, B, , T) (Y, T, , S) e regular se (X, B, , T) e s.p.m.
regular e e uma aplicacao espacial, : X Y .
Teorema 2.1. Seja : X Y um homomorsmo de s.p.m. separaveis. Existe um sistema X

equivalente a X e um sistema Y

equivalente a Y tal que o homomorsmo correspondente : X

e regular.
17
Demonstracao: Escreveremos X = (X, B, , T) e Y = (Y, T, , S). Contruiremos os espacos X

e Y

. Seja T
0
uma algebra enumeravel de conjuntos em T, com T
0
, S-invariante e denso sobre

T
0
.
Escreva T
0
= A
n
. Seja Y

= 0, 1
N
e
m
: Y

0, 1 a funcao que assume o valor da m-esima

coordenada de y

. Seja
A

m
= y

:
m
(y

) = 1.
Armamos que existe uma medida

em Y

com

(A

i
1
A

i
2
. . . A

i
k
) = (A
i
1
A
i
2
. . . A
i
k
)
para toda k-upla i
1
i
2
. . . i
k
.
Para provarmos isto, primeiro encontramos uma medida

N
que satisfaca esta condicao para
i
k
N. Como, nestas condicoes, tratamos de uma algebra nita de conjuntos e facil ver que

N
existe. Tomando o limite de alguma subseq uencia

= lim

N
, obtemos

como queremos.
Agora, seja T

a -algebra dos conjuntos de Borel em Y

. Assumimos os conjuntos A
n
sendo
todos distintos. Temos que S dene uma permutacao : N N com S
1
A
m
= A
(m)
. Dena
S

: Y

por S

(m) = y

((m)). Alem disso, S

1
A

m
= A

(m)
. Disto segue que S

preserva
medida em (Y

, T

). Por construcao, o sistema Y

e regular, entao usando a Proposicao 2.1,

concluimos que (Y

, T

, S

) e equivalente a (Y, T, , S).

Por construcao similar, nos obtemos uma algebra B
0
B que e T-invariante e com

B
0
denso em

B
para obter (X

, B

, T

) regular e equivalente a (X, B, , T). Escreva B

0
= B
m
e a acao de T em
B
0
induz permutacoes T
1
B
m
= B
(m)
. Assumimos ainda que
1
(

T
0
)

B
0
. Denimos : N N
por
1
(A
m
) = B
(m)
e denimos : X

por (x

)(m) = x

((m)). Entao
S

(x

)(m) = (x

)((m)) = x

( (m)),
T

(x

)(m) = T

((m)) = x

( (m)).
Estas expressoes sao iguais por acordarem com
1
(S
1
A
m
) = T
1

1
(A
m
). Isto completa a
prova do Teorema.
18
Corolario 2.1. Todo espaco de medida separavel e equivalente a um espaco de medida regular. Todo
s.p.m. separavel e equivalente a um s.p.m. regular.
Na Analise da estrutura de um dado sistema preservando medida, nos devemos considerar junto
com o dado sistema, todos os seus fatores. Temos inicialmente que fatores de um sistema separavel
e separavel. De acordo com o Corolario acima, qualquer tal fator e equivalente a um sistema regular
que sera ele mesmo um fator do sistema dado. Deste modo, ao estudar a estrutura de um s.p.m.
separavel, nos justicamos nossa atencao aos fatores regulares.
2.3 Esperanca condicional
Seja : (X, B, ) (Y, T, ) um homomorsmo. A aplicacao f f

identica L
2
(Y, T, ) com
um subespaco fechado L
2
(Y, T, )

L
2
(X, B, ). Se P e a projecao ortogonal de L
2
(X, B, ) em
L
2
(Y, T, )

, entao denimos E(f[Y) para f L

2
(X, B, ) por
E(f[Y) L
2
(Y, T, ), E(f[Y)

= Pf. (2.4)
Note que na notacao E(f[Y) nos suprimimos o homomorsmo : X Y que esta implicito na
denicao.
Proposicao 2.3. O operador esperanca condicional f E(f[Y) denido para f L
2
(X) por (2.4)
possui as seguintes propriedades:
(i) f E(f[Y) e um operador linear de L
2
(X) em L
2
(Y).
(ii) Se f 0, E(f[Y) 0.
(iii) Se f L
2
(Y), E(f

[Y) = f. Em particular E(1[Y) = 1.

(iv) Se g L

(Y), E(g

f[Y) = gE(f[Y).
(v) Em particular,
_
f d =
_
E(f[Y) d.
19
Demonstracao: A propriedade (i) vem direto da denicao.
(. . . )
Para provar a propriedade (iii), lembramos que se f L
2
(Y) entao, f

L
2
(Y, T, )

. Por (2.4)
temos entao, que E(f

[Y)

= Pf

= f

. Pela injetividade de
1
temos E(f

[Y) = f.
Para provar as propriedades (iv) e (v) usamos o fato de que em um espaco de Hilbert a projecao
ortogonal preserva o produto interno. Assim
_
fh

d =
_
Pfh

d para todo h L
2
(Y).
Transferindo para E(f[Y) por (2.4), temos
_
fh

d =
_
E(f[Y)

d =
_
E(f[Y)h d para todo h L
2
(Y). (2.5)
Tendo que (2.5) vale para todo h L
2
(Y), substituimos h por gh com g L

(Y). Entao
_
f(gh)

d =
_
E(f[Y)gh d
ou
_
(fg

) h

d =
_
(E(f[Y)g) h d, para todo h L
2
(Y).
Substituindo f por fg

em (2.5), temos
_
(fg

) h

d =
_
E(fg

[Y)h d.
Isto prova a propriedade (iv) e ao mesmo tempo a (v).
Da demonstracao acima temos o seguinte corolario.
Corolario 2.2. Se f L
2
(X), a esperanca condicional E(f[Y) e caracterizada por
_
E(f[Y)h d =
_
fh

d
para todo h L
2
(Y).
Proposicao 2.4. Seja (t) uma funcao convexa nao negativa de uma variavel real. Se f e f
estao em L
2
(X), entao
(E(f[Y)) E( f[Y). (2.6)
20
Demonstracao: A funcao convexa pode ser tomada como sendo o supremo de enumeraveis
funcoes lineares:
(x) = sup L
n
(x), L
n
(x) = a
n
x +b
n
.
.
Em virtude de (i) e (iii) da Proposicao 2.3, E(L
n
(f)[Y) = L
n
(E(f[Y)).
Da, (E(f[Y)) = sup L
n
(E(f[Y)) = sup E(L
n
(f)[Y).
De acordo com (ii), f
1
f
2
E(f
1
[Y) E(f
2
[Y) e como L
n
(f) f temos que E(L
n
(f)[Y)
E( f[Y).
O proximo teorema estendera a denicao de esperanca condicional a uma aplicacao do espaco de
funcoes L
1
(X) em L
1
(Y).
Teorema 2.2. A aplicacao esperanca condicional, f E(f[Y), estende-se a uma aplica cao de
L
1
(X) em L
1
(Y) satisfazendo (i)-(v) da Proposicao 2.3, e que aplica cada L
p
(X) em L
p
(Y), 1
p , com |E(f[Y)|
p
|f|
p
.
Demonstrac ao: Tomando (t) = [t[ na proposicao anterior em conjunto com a propriedade (v)
na Proposicao 2.3, temos que a aplicacao esperanca condicional e uniformemente continua na norma
L
1
. De fato,
_
[E(f[Y) E(g[Y)[ d =
_
[E(f g[Y)[ d
_
E([f g[ [Y)d =
_
[f g[ d.
Disto e do fato de L
2
(X) ser denso em L
1
(X), podemos estender a esperanca condicional para
L
1
(X). Assim as propriedades (i) a (v) valem para esta extensao.
Agora estendemos a Proposicao 2.4, substituindo a condicao f, f L
2
por f, f L
1
.
Por m, suponha que f L
p
(X). Aplique a Proposicao 2.4 com (t) = [t[
p
. Conluimos que
E(f[Y) L
p
(Y) e que a aplicacao f E(f[Y) e uma contracao para cada p < . Para p =
basta usarmos (ii) e (iii).
Terminamos esta secao com um resutado pertinente aos sistemas preservando medida.
Proposicao 2.5. Seja (Y, T, , S) um fator de (X, B, , T). Entao para cada f L
1
(X, B, ),
E(Tf[Y) = SE(f[Y).
21
Demonstracao:

E suciente mostrarmos para f L
2
(X). Usando (v) da Proposicao 2.3 e o fato
de T ser um operador unitario em L
2
(X), temos:
_
E(Tf[Y)h d =
_
(Tf)h

d =
_
f(T
1
h

) d.
Retornando a (2.1), vemos que g L
2
(Y),

1
y : Sg(y) B =
1
S
1
y : g(y) B = T
1

1
y : g(y) B = T
1
x : g

(x) B
= x : Tg

(x) B.
Assim (Sg)

= T(g

).
Consequentemente,
_
E(Tf[Y)h d =
_
f(T
1
h

) d =
_
f(S
1
h)

d =
_
E(f[Y)S
1
h d
=
_
SE(f[Y)h d.
Usando o corolario da Proposicao 2.3, E(Tf[Y) = SE(f[Y).
2.4 Desintegracao de medida
Seja (X, B, ) um espaco regular de medida, e seja : (X, B, ) (Y, T, ) um homomorsmo entre
espacos de medida. Aqui X e um espaco metrico compacto, e lembremos que /(X) denota o espaco
metrico compacto de probabilidades mensuraveis em X.
Teorema 2.3 (Desintegracao de medida). Existe uma aplicacao mensuravel de Y em /(X) que
devemos denotar y
y
que satisfaz:
(i) Para todo f L
1
(X, B, ), f L
1
(X, B,
y
) para quase todo y Y , e ainda, E(f[Y) =
_
fd
y
para quase todo y Y .
(ii)
_ __
fd
y
_
d(y) =
_
fd para todo f L
1
(X, B, ).
22
A aplicacao y
y
e caracterizado pela condicao (i). Devemos escrever =
_

y
d e nos
referimos a isto como a desintegracao de com respeito ao fator (Y, T, ).
Demosntrac ao: Escolha um conjunto denso mensuravel de funcoes emC(X), o espaco das funcoes
contnuas de valor real em X, assuma que 1 esteja neste conjunto, e seja / um conjunto formado
por todas as combinacoes lineares nitas destes com coecientes racionais. O conjunto / e um
subconjunto enumeravel de C(X).
Seja L(f) um funcional linar em/satisfazendo : (i) L(af
1
+bf
2
) = aL(f
1
)+bL(f
2
) para f
1
, f
2
/
e a, b racionais; (ii) [L(f)[ max [f(x)[; (iii) f 0 L(f) 0 (iv) L(1) = 1. Podemos, entao,
estender L a um funcional linear em C(X) satisfazendo (iii). De fato, pela propriedade (ii) temos
que L e uniformemente contnua no subconjunto denso / de C(X). Estendendo L por continuidade,
obtemos linearidade para coecientes racionais diretamente da propriedade (i) e subsequentemente
para todos os coecientes reais.
Se f 0 e f
n
/ com

f
n

_
f +
1
n
_

<
1
n
,
entao f
n
0 e f
n
f uniformemente. Como L(f
n
) 0 teremos que L(f) 0. Agora a cada
funcional linear em C(X) satisfazendo L(1) = 1 e f 0 L(f) 0 corresponde a uma medida
em /(X). Conclumos que uma medida em /(X) e determinada por um funcional linear em /
satisfazendo as propriedades de (i) a (iv).
Tomemos para cada f /, E(f[Y). Se xarmos L
y
(f) = E(f[Y)(y), entao vemos que quase
todo L
y
satisfaz as propriedades (i) a (iv). Alem disso , y : L
y
(f) > 0 e um conjunto mensuravel
para (Y, T, ), entao a aplicacao y Ly e mensuravel . Indenticando L
y
com uma medida
y
por
meio de L
y
(f) =
_
fd
y
, denimos a aplicacao y
y
e vemos que a propriedade (i) do teorema
e automaticamente satisfeita por f /. Usando convergencia uniforme vemos que a propriedade e
valida para f C(X).
Para f L
1
(X, B, ) temos que quase sempre f =

g
n
, g
n
C(X), onde

|g
n
|
1
< . Entao

|E([g
n
[[Y)|
1
< e ainda

E([g
n
[[Y) < em quase todo ponto. Em algum ponto y que esta
23
serie convirja,

[g
n
[ L
1
(X, B,
y
), e assim
_
(

g
n
)d
y
=

_
g
n
d
y
.
Temos ainda que para quase todo ponto,
_
g
n
d
y
= E(g
n
[Y)(y), em que
_
(

g
n
)d
y
=

E(g
n
[Y(y), quase sempre.
Como f E(f[Y) e uma contracao em L
1
, temos

E(g
n
[Y ) E(

g
n
[Y),
na norma L
1
.
Entao necessariamente
_
(

g
n
)d
y
= E(

g
n
[Y), quase sempre.
Para completar a prova, precisamos mostrar qua a funcao nula f

g
n
permanece nula para
quase todo
y
. Seja (A) = 0 e seja A
n
aberto com A
n
A, (A
n
) 0. Seja h
n
uma funcao
contnua com h
n
= 0 fora de A
n
e 0 < h
n
1 em A. Para cada > 0, a potencia h

n
e contnua e
_ __
h

n
d
y
_
d(y) =
_
h

n
d (A
n
).
Fazendo 0, encontramos
_

y
(A
n
)d(y) (A
n
) 0.
Isto completa a prova da propriedade (i). Por outro lado sempre que a propriedade (i) e valida
para uma funcao f, entao a propriedade (ii) tambem e valida por virtude da propriedade (v) da
Proposicao 2.3. Para completar a prova do teorema, lembremos que a medida em (X, B) e deter-
minada pela integral de funcoes contnuas com respeito a este, assim a propriedade (i) determina
claramente
y
em quase todo ponto.
Finalmente consideremos a desintegracao de medida para sistemas preservando medida.
24
Proposicao 2.6. Seja (Y, T, , S) um fator de (X, B, , T), e seja =
_

y
d(y). Para quase todo
y Y ,

Sy
= T
y
(2.7)
Demonstrac ao: Pela propriedade (i) do Teorema 2.3 e a Proposicao 2.5 temos
_
Tfd
y
=
_
fd
Sy
.
Substitua f por T
1
f:
_
fd
y
=
_
T
1
fd
Sy
=
_
fd(T
1

Sy
)
em virtude de (2.3). Assim
y
= T
1

Sy
em quase todo ponto.
2.5 Produto relativo de espacos de medida
Nesta secao nos deniremos o produto de dois espacos de medida relativos a um fator comum. Isto
tera o mesmo papel na teoria de medida que o produto brado tem na teoria de conjuntos.
Seja (X
1
, B
1
,
1
) e (X
2
, B
2
,
2
) dois espacos regulares de medida que sao extensoes de um mesmo
espaco (Y, T, ):

1
: (X
1
, B
1
,
1
) (Y, T, ),
2
: (X
2
, B
2
,
2
) (Y, T, ).
Denicao 2.7. Denote por
1

Y

2
a medida em X
1
X
2
denida por

Y

2
(A) =
_

1,y

2,y
(A)d(y) (2.8)
para A B
1
B
2
, onde
i
=
_

i,y
d(y) e a desintegracao de
i
com respeito ao fator (Y, T, ). O
espaco de medida (X
1
, X
2
, B
1
B
2
,
1

Y

2
) e chamado o produto de (X
1
, B
1
,
1
) e (X
2
, B
2
,
2
)
relativo a (Y, T, ) e e denotado X
1

Y
X
2
.
Para justicar a mensurabilidade do integrando em (2.8), nos notamos que sempre que =
_

y
d(y) e a desintegracao de com respeito a (Y, T, ), sendo a medida em um espaco metrico
25
compacto X, entao
_
fd
y
e mensuravel para cada funcao contnua f C(X), pela denicao da
mensurabilidade de
y
. Como o conjunto de f para o qual
_
fd
y
e mensuravel e fechado para limites
monotonos, o mesmo vale para f mensuravel sobre Borel. Conclumos agora que
1,y

2,y
(A) e
mensuravel para A = A
1
A
2
, A
i
B
i
, i = 1, 2. Entao por passagem de limite, o resultado e valido
para todo A B
1
B
2
. Uma vez que a expressao (2.8) e vista com signicado, e facil vericar que
se denimos uma probabilidade -aditiva em (X
1
X
2
, B
1
B
2
).
Se f
1
e uma funcao no espaco de medida X
1
e f
2
e uma funcao no espaco de medida X
2
, denotamos
f
1
f
2
a funcao
f
1
f
2
(x
1
, x
2
) = f
1
(x
1
)f
2
(x
2
).
Temos o seguinte resultado.
Proposicao 2.7. A medida
1

Y

2
e caracterizada pela igualdade
_
f
1
f
2
d
1

Y

2
=
_
E(f
1
[Y)E(f
2
[Y)d (2.9)
satisfeita sempre que f
1
L
2
(X
1
), f
2
L
2
(X
2
).
Demonstracao: Temos
_
f
1
(x
1
)f
2
(x
2
)d
1

Y

2
(x
1
, x
2
)
=
_

_
f
1
(x
1
)f
2
(x
2
)d
1,y

2,y
(x
1
, x
2
)d(y)
=
_ __
f
1
(x
1
)d
1,y
(x
1
)
___
f
2
(x
2
)d
2,y
(x
2
)
_
d(y)
=
_
E(f
1
[Y)(y)E(f
2
[Y)(y)d(y).
Sendo, respectivamente,
1
,
2
as projecoes de X
1
X
2
em suas componentes X
1
e X
2
, podemos
vericar que sao aplicacoes preservando medida de
(X
1
X
2
, B
1
B
2
,
1

Y

2
) (X
i
, B
i
,
i
).
26
Por exemplo,

Y

2
(
1
1
(A
1
)) =
1

Y

2
(A
1
X
2
)
=
_

1,y

2,y
(A
1
X
2
)d(y)
=
_

1,y
(A
1
)d(y) =
1
(A
1
).
Deste modo (X
1
X
2
, B
1
B
2
,
1

2
) e uma extensao de ambos (X
i
, B
i
,
i
) e estes s ao ambos
extensoes de (Y, T, ). Podemos dizer entao que (X
1
X
2
, B
1
B
2
,
1

Y

2
) e uma extensao de
(Y, T, ), e podemos desintegrar
1

Y

2
com respeito a (Y, T, ).
Proposicao 2.8. Para f
1
L
2
(X
1
), f
2
L
2
(X
2
),
E(f
1
f
2
[Y) = E(f
1
[Y)E(f
2
[Y), (2.10)
e a desintegracao de
1

Y

2
com respeito a (Y, T, ) e
(
1

Y

2
)
y
=
1,y

2,y
.
Demonstracao:

E facil ver da denicao de esperanca condicional que E(f[Y) = E(E(f[X
1
)[Y) =
E(E(f[X
2
)[Y). Fazemos E(f
1
f
2
[X
1
) = f
1
E(f
2
[Y)

1
, e para provar isto usaremos o corolario da
Proposicao 2.3. Precisamos mostrar que
_
f
1
(x
1
)f
2
(x
2
)h(x
1
)d
1

Y

2
=
_
f
1
(x
1
)E(f
2
[Y)

1
h(x
1
)d
1
(x
1
).
Aplicando a propriedade (v) da Proposicao 2.3 para o homomorsmo
1
, o lado direito torna-se
_
E(f
1
h[Y)E(f
2
[Y)d =
_
f
1
(x
1
)h(x
1
)f
2
(x
2
)d
1

Y

2
(x
1
, x
2
),
de acordo com a Proposicao 2.7. Isto estabelece nossa armacao. Agora usando a propriedade (iv)
da Proposicao 2.3, obtemos
E(f
1
f
2
[Y) = E(E(f
1
f
2
[X
1
)[Y) = E(f
1
E(f
2
[Y)

1
[Y)
= E(f
2
[Y)E(f
1
[Y) =
_
f
1
f
2
d
1,y

2,y
.
27
Isto prova ambas as armacoes da proposicao.
A proxima proposicao mostra que as propriedades denidas nesta secao podem ser denidas se o
sistema em questao nao e regular.
Proposicao 2.9. Se X
1
, X
2
sao extensoes de Y e X

1
e equivalente a X
1
e X

2
e equivalente a X
2
,
entao X

1
e X

2
sao extensoes de Y e X

Y
X

2
e equivalente a X
1

Y
X
2
.
Demonstrac ao: Devemos usar os criterio da Proposicao 2.1 para equivalencia de espacos de
medida. Estabelecemos um isomorsmo entre as algebras geradas por conjuntos produtos em X
1
X
2
e em X

1
X

2
. Temos por hipotese uma correspondencia entre L
2
(X
i
) e L
2
(X

i
) para i = 1, 2,
entao e suciente mostrarmos que se f

1
L
2
(X

1
, B

1
,

1
) corresponde a f
1
L
2
(X
1
, B
1
,
1
) e f

2

L
2
(X

2
, B

2
,

2
) corresponde a f
2
L
2
(X
2
, B
2
,
2
), entao
_
f

1
f

2
d

2
=
_
f
1
f
2
d
1

Y

2
.
Mas isto segue da Proposicao 2.7 e do fato de que E(f

i
[Y) = E(f
i
[Y).
Passando a tratar de transformacoes que preservam medidas, temos um importante resultado.
Proposicao 2.10. Suponha que (X
1
, B
i
,
i
, T
i
), i = 1, 2, sao extensoes do sistema preservando me-
dida (Y, T, , S). Entao a medida
1

2
e T-invariante, onde a acao de T = T
1
T
2
em X
1
X
2
e dada por T
1
T
2
(x
1
, x
2
) = (Tx
1
, Tx
2
). Assim (X
1
X
2
, B
1
B
2
,
1

Y

2
, T
1
T
2
) e um s.p.m.
que e o produto relativo (X
1
, B
1
,
1
, T
1
)
Y
(X
2
, B
2
,
2
, T
2
).
Demonstrac ao. Temos que vericar que

Y

2
((T
1
T
2
)
1
A) =
1

Y

2
(A)
para A B
1
B
2
. Mas de acordo com a equacao (2.8),

Y

2
(T
1
A) =
_

1,y

2,y
(T
1
A)d(y)
=
_
T
1

1,y
T
2

2,y
(A)d(y).
28
A ultima identidade e estabelecida para todo A B
1
B
2
, vericando A = A
1
A
2
, A
i
B
i
.
Agora, usando a Proposicao 2.6,

Y

2
(T
1
A) =
_

1,Sy

2,Sy
(A)d(y)
=
_

1,y

2,y
(A)dS(y),
Como S = temos a proposicao.
29
Captulo 3
Teorema de Szemeredi
Em 1936 Erdos e Turan [2] conjecturaram que todo subconjunto de Z com densidade superior positiva
contem progressoes aritmeticas nitas com comprimento arbitrariamente grande. Esta conjectura foi
demosntrada por Szemeredi [14] em 1975.
Teorema 3.1 (Teorema de Szemeredi). Se S e um subconjunto de Z com densidade superior positiva,
entao S contem progressoes aritmeticas arbitrariamente grande.
Em 1976, Furstenberg [4] notou que o argumento deste teorema e equivalente a um argumento
de recorrencia m ultipla de transformacoes preservando medida.
Neste captulo daremos uma prova do Teorema de Szemeredi com argumentos de Teoria Ergodica,
usando o Teorema de Recorrencia M ultipla de Furstenberg. Ao m do captulo veremos que estes
teoremas sao equivalentes.
3.1 Densidade superior
Chamamos de intervalo do conjunto Z dos n umeros inteiros qualquer subconjunto I da forma n
Z : a n < b, para quaisquer a b em Z. O seu cardinal e #I = b a. Do mesmo modo denimos
intervalos em N.
30
Denicao 3.1. A densidade superior D
S
(S) de um subconjunto S em Z e
D
S
(S) = limsup
#I
#(S I)
#I
onde I representa qualquer intervalo em Z. De maneira analoga denimos a densidade inferior
D
I
(S) trocando limite superior por limite inferior. Dizemos que um conjunto possui densidade D(S)
se D
I
(S) = D
S
(S) = D(S)
Em outras palavras, D
S
(S) e o maior n umero D tal que existe uma seq uencia de intervalos I
j
Z
tais que
#I
j
e
#(S I
j
)
#I
j
D.
e D
I
(S) e o menor n umero nessas condicoes.
Exemplo 3.1. Seja S o seguinte subconjunto de Z:
1, 3, 4, 7, 8, 9, 13, 14, 15, 16, 21, 22, 23, 24, 25, 31, 32, 33, 34, 35, 36, 42, . . .
Isto e, para cada k 1 inclumos em S um bloco de k inteiros consecutivos e omitimos os k inteiros
seguintes. Este conjunto contem intervalos com comprimento arbitrariamente grande. Portanto
D
S
(S) = 1. Por outro lado, o complementar de S tambem contem intervalos arbitrariamente grandes.
Portanto, D
I
(S) = 0.
Daremos a seguir uma proposicao que caracteriza uma seq uencia convergir em densidade:
Proposicao 3.1. Se a
n
e uma seq uencia limitada de n umeros reais entao as seguintes arma coes
sao equivalentes:
(i) lim
n
1
n
n1

i=0
[a
i
[ = 0.
(ii) Existe um subconjunto J de Z
+
de densidade zero tal que lim
n
a
n
= 0 para n / J.
(iii) lim
n
1
n
n1

i=0
[a
i
[
2
= 0.
31
Demonstracao: Se M Z
+
seja
M
(n) a cardinalidade de 0, 1, . . . , n 1 M.
(i) (ii). Seja J
k
= n Z
+
: [a
n
[ 1/k(k 0). Entao J
1
J
2
. . .. Cada J
k
possui
densidade zero com
1
n
n1

i=0
[a
i
[
1
n
1
k

J
k
(n).
Deste modo, existem inteiros 0 = l
0
< l
1
< l
2
< . . . tal que para n l
k
,
1
n

J
k+1
(n) <
1
k + 1
.
Seja J =

k=0
J
k+1
[l
k
, l
k+1
). Mostraremos agora que J possui densidade zero. Como J
1
J
2

. . ., se l
k
n < l
k+1
, temos
J [0, n) = J [0, l
k
) J [l
k
, n) J
k
[0, l
k
) J
k+1
[0, n),
e deste modo,
1
n

J
(n)
1
n
_

J
k
(l
k
) +
J
k+1
(n)

1
n
_

J
k
(n) +
J
k+1
(n)

<
1
k
+
1
k + 1
.
Como (1/n)
J
(n) 0 com n , entao J possui densidade zero. Se n > l
k
e n / J, entao
n / J
k+1
, e deste modo [a
n
[ < 1/(k + 1). Com
lim
n/ J
[a
n
[ = 0.
(ii) (i) Suponha que [a
n
[ K n. Seja > 0. Existe N

tal que n N

, n / J implica [a
n
[ <
e tal que N N

implica (
J
(n)/n) < . Entao n N

implica
1
n
n1

i=0
[a
i
[ =
1
n
_
_

iJ{0,1,...,n1}
[a
i
[ +

i / J{0,1,...,n1}
[a
i
[
_
_
<
K
n

J
(n) + < (K + 1).
(i) (iii) Pelo que foi feito acima podemos notar que lim
n/ J
[a
n
[ = 0 se, e somente se,
lim
n/ J
[a
n
[
2
= 0
32
3.2 Teorema de Szemeredi
Em 1975, E. Szemeredi provou o seguinte teorema conjecturado por Erdos e Turan:
Teorema 3.2 (Teorema de Szemeredi). Se S e um subconjunto de Z com densidade superior positiva,
entao S contem progressoes aritmeticas arbitrariamente grandes.
Em 1976, Furstenberg possibilitou uma prova embasada na Teoria Ergodica com o seguinte teo-
rema:
Teorema 3.3 (Teorema de Recorrencia Multipla de Fusrstenberg.). Seja (X, B, ) um espaco de
probabilidade, seja T uma transformacao inversvel preservando medida em (X, B, ), e seja A B
um conjunto de medida positiva. Entao para qualquer inteiro k, existe um subconjunto B A com
(B) > 0 e um inteiro n 1 com
T
n
B A, T
2n
B A, . . . , T
kn
B A,
ou de forma equivalente,

_
k

j=0
T
jn
A
_
> 0.
Assumindo este resultado provaremos o Teorema de Szemeredi.
Demonstrac ao do Teorema de Szemeredi: Seja X = 0, 1
Z
e seja f : X X a aplicacao
deslocamento. Dado S Z podemos denir uma sequencia = (
n
)
nZ
X dada por

n
=
_
_
_
1 se n S,
0 se n / S.
Se S possui densidade superior positiva, existe c > 0 e uma sequencia de intervalos I
n
= [a
n
, b
n
)
de Z com lim#I
n
= e tais que
limsup
#I
n

#(S I
n
)
#I
n
> c > 0.
Dena o subconjunto A X por A = y X; y
0
= 1. Assim
f
j
() A j S (3.1)
33
Deste modo, mostrar que m +in S equivale a mostrar que f
m+in
() A.
O conjunto A e um aberto e ao mesmo tempo um fechado de X, considerando a topologia dada
onde os cilindros sao abertos, pois A e um cilindro de comprimento 1 em X e seu complementar e
uma uniao de cilindros.
Denimos a sequencia
n
de probabilidades em X por:

n
=
1
#I
n
b
n
1

i=a
n

f
i
()
(3.2)
Sabemos que o conjunto das probabilidades /(X) munido com a topologia fraca* e compacto.
Assim, podemos garantir que alguma subsequencia
n
i
converge para uma probabilidade de X.
Para nao carregar a notacao, supomos que a propria
n
converge para na topologia fraca*. Observe
que e uma probabilidade f-invariante, pois para toda funcao limitada continua : X R vale
_
fd = lim
n
_
fd
n
= lim
n
1
#I
n
b
n
1

i=a
n
(f
i
())
+ lim
n
(f
b
n
()) (f
a
n
())
#I
n
= lim
n
_
d
n
=
_
d.
Temos que A e um conjunto fechado e aberto de X. Logo, pela Proposicao 1.5 temos que
(A) = lim
n

n
(A) = lim
#I
n

#(S I
n
)
#I
n
> c > 0.
Dado k N, o Teorema de Recorrencia Multipla de Poincare nos garante que existe algum n 1
tal que
(A f
n
(A) f
2n
(A) ... f
kn
(A)) > 0.
Em particular, existe algum l tal que

l
(A f
n
(A) f
2n
(A) ... f
kn
(A)) > 0.
Como
l
= (1/#I
l
)

b
l
1
i=a
l

f
i
()
, podemos garantir que pelo menos para algum a
l
m b
l
1, o
pontof
m
() pertence a Af
n
(A)f
2n
(A)...f
kn
(A). Assim, f
m+in
() A, para i = 0, 1, ..., k,
como queramos provar.
34
3.3 Equivalencia
Vericaremos agora a equivalencia dos teoremas, demonstrando que o Teorema de Szemeredi implica
o Teorema de Recorrencia Multipla de Furstenberg. Para isso daremos primeiro uma versao nita
do Teorema de Szemeredi.
Teorema 3.4. Para todo > 0 e k inteiro positivo, existe N = N(, k) tal que se S e um conjunto
de inteiros contido em algum intervalo [a, b] tal que b a > N e #S (b a), entao S contem uma
progressao aritmetica de comprimento k.
Demonstrac ao: Armamos que 3.2 3.4. De fato, se 3.4 fosse falso nos poderiamos ter um
> 0 e um inteiro positivo k tal que para todo N existe uma sequencia S
N
carregada de um
intervalo [a
N
, b
N
], b
N
a
N
> N, #S
N
> (b
N
a
N
) e S
N
nao contendo uma progressao aritmetica de
comprimento k. A propriedade listada para S
N
e invariante por translacao, assim podemos assumir
que os S
N
s estao bem separados, digamos a
N+1
> b
N
+ (b
N
a
1
). Escrevendo S = S
N
vemos que
S possui densidade superior positiva (> ) e nao contem progressoes aritmeticas de comprimento k
que, por causa da separacao, tal progressao teria de estar contida em um dos S
N
s. Temos assim
uma contradicao do Teorema 3.2.
Deduzimos do Teorema 3.4 a seguinte consequencia.
Teorema 3.5. Sejam > 0 e k dados, escreva N
1
= N(/2, k) (de 3.4). Sejam (X, B, ) um espaco
de probabilidade e B
l
B, (B
l
) para l = 1, 2, . . . , N
1
. Entao existe uma progressao aritmetica
de comprimento k em 1, . . . , N
1
, digamos a +mb
k1
m=0
, tal que

_
k1

m=0
B
a+mb
_
>

2
N
2
1
. (3.3)
Demosntrac ao: Para x X escreva S(x) = l; 1 l N
1
, x B
l
. Temos que #S(x) =

N
1
l=1
1
B
l
(x) e assim
_
#S(x)d =
N
1

l=1
(B
l
) N
1
,
e consequentemente
(x; #S(x) N
1
/2) /2. (3.4)
35
De fato, pelo contrario, sendo A = x; #S(x) N
1
/2, teramos
N
1

_
#S(x)d(x) =
_
A
#S(x)d(x) +
_
XA
#S(x)d(x)
<
N
1
2
+
N
1
2
= N
1
.
Pelo Teorema 3.4 e pela escolha de N
1
, para cada ponto x A , S(x) contem uma progressao
aritmetica de comprimento k, digamos a(x) +mb(x)
k1
m=0
. Existem menos do que N
1
escolhas para
a(x) ou b(x) que implica, em vista de (3.4), que para algum par (a, b) temos (3.3).
A prova do Teorema de Recorrencia Multipla de Furstenberg assumindo que vale o Teorema de
Szemeredi (e consequentemente 3.5) e feita escrevendo B
l
= T
l
A e notando que

_
k1

m=0
T
(a+mb)
A
_
=
_
T
a
k1

m=0
T
bm
A
_
=
_
k1

m=0
T
bm
A
_
.
36
Captulo 4
Teorema de Recorrencia M ultipla de
Furstenberg
O objetivo deste captulo e demonstrar o Teorema de Recorrencia mencionado no captulo anterior.
Teorema 4.1 (Teorema de Recorrencia Multipla de Furstenberg.). Seja (X, B, ) um espaco de
probabilidade, seja T uma transformacao preservando medida inversvel em (X, B, ), e seja A B
um conujnto de medida positiva. Entao para qualquer inteiro k, existe um subconjunto B A com
(B) > 0 e um inteiro n 1 com
T
n
B A, T
2n
B A, . . . , T
kn
B A.
ou que resulta no mesmo,

_
k1

j=0
T
jn
A
_
> 0.
O resultado desejado sera conseq uencia do teorema seguinte.
Teorema 4.2. Para qualquer sistema preservando medida (X, B, , T) e A B com (A) > 0, e
para qualquer k = 1, 2, . . .
liminf
N
1
N
N

n=1
(A T
n
A . . . T
kn
A) > 0. (4.1)
37
Nas duas primeiras secoes deste captulo demonstraremos que este teorema e valido para dois
casos especiais de sistemas preservando medida (X, B, , T), sistemas fracamente mixing e sistemas
compactos. Porem estes dois sistemas nao exaurem todas as possibilidades. Contudo, na Secao 4.3
mostraremos que se (X, B, , T) nao e fracamente mixing, entao existe uma -algebra T-invariante
B
l
B tal que T restrito `a B
l
cumpre a armacao do Teorema 4.2.
Para concluir o Teorema 4.2, na Secao 4.4 mostraremos que existe uma sub--algebra B
l
B
que e maximal, com respeito `a inclusao, na classe das subalgebras T-invariantes de B em que o
argumento do Teorema e valido. Assumindo B
l
,= B, estudaremos nas ultimas secoes a acao de
conjuntos A B por T relativamente `a B
l
de maneira resumida e poderemos concluir que ou a
ac ao e relativamente fracamente mixing ou existe B
2
B
l
para o qual a acao de T e relativamente
compacto. Em ambos os casos, teremos que existe uma subalgebra maior para o qual e valido o
Teorema, contradizendo a maximalidade de B
l
. Isto implica que B
l
= B completando a prova.
4.1 Sistemas fracamente mixing
Comecamos a demonstrar o Terorema de Recorrencia M ultipla de Furstenberg para uma classe
especial de sistemas.
Denicao 4.1. Dizemos que um sistema preservando medida (X, B, , T) e mixing se para quaisquer
dois conjuntos A, B B, lim
n
(AT
n
B) = (A)(B). O sistema e fracamente mixing se para
quaisquer A, B B tivermos que
lim
N
1
N
N

n=1
_
(A T
n
B) (A)(B)

2
= 0. (4.2)
Exemplo 4.1. Sistema de Bernoulli.
Seja M o conjunto das seq uencias
n

nZ
, com
n
assumindo valores em um conjunto nito
= 1, 2, . . . , r. Tomemos a -algebra gerada pelos cilindros da forma
[k, l; a
k
, . . . , a
l
] = M :
k
= a
k
, . . . ,
l
= a
l

38
onde k, l Z, com k l e cada a
j
1, 2, . . . , r. Denimos
([k, l; a
k
, . . . , a
l
]) = p(a
k
) . . . p(a
l
)
onde p(a
j
) 0 e

r
j=1
p(a
j
) = 1. Estendemos `a -algebra dos cilindros e a chamamos de me-
dida de Bernoulli. Desta forma a este sistema chamamos Sistema de Bernoulli. Consideremos a
transformacao deslocamento
T : M M; T(
n

nZ
) =
n+1

nZ
.
Armamos que esta transformacao preserva a medida de Bernoulli. De fato se A = [k, l; a
k
, . . . , a
l
],
entao T
1
(A) = [k + 1, l + 1; a
k
, . . . , a
l
] e assim
(A) = (T
1
(A)).
O sistema de Bernoulli com o deslocamento denido acima, formam um sistema mixing, ou ainda,
fracamente mixing. De fato, sendo A = [k, l; a
k
, . . . , a
l
] e B = [p, q; b
p
, . . . , b
q
]. Para cada n tem-se
T
n
(B) = [p +n, q +n; b
p
, . . . , b
q
] e assim tomando n de modo que p +n > l,
A T
n
(B) = M :
k
= a
k
, . . . ,
l
= a
l
,
p+n
= b
p
, . . . ,
q+n
= b
q

=
_
[k, q +n; a
k
, . . . , a
l
, c
l+1
, . . . , c
p+n1
, b
p
, . . . , b
q
],
onde a uniao e sobre os possveis valores de c
l+1
, . . . , c
p+n1
. Conclumos que (A T
n
(B)) =
(A)(B). Esta conclusao foi feita para quando os conjuntos sao cilindros, para o caso geral usamos
o fato de ser nitamente aditiva.
Em seguida daremos dois lemas a respeito dos sistemas fracamente mixing que serao muito uteis no
que tange trabalhar com tais sistemas. O primeiro nos da uma caracterizacao equivalente, enquanto
o segundo mostra que fracamente mixing e uma propriedade mais forte que a ergodicidade.
Lema 4.1. Sao equivalentes:
(i) O sistema (X, B, , T) e fracamente mixing;
39
(ii) Para f, g L
2
(X, B, ) temos que
lim
N
1
N
N

n=1
__
fT
n
gd
_
fd
_
gd
_
2
= 0. (4.3)
Demosntrac ao: Tomando f = 1
A
e g = 1
B
na da equacao acima, observamos que
_
1
A
T
n
1
B
d =
_
1
A
1
T
n
B
d =
_
1
AT
n
B
d = (A T
n
B).
E que por outro lado,
_
1
A
d
_
1
B
d = (A)(B)
Assim supondo (4.3) valido, temos que o sistema e fracamente mixing.
A recproca se faz para funcoes simples, ja que vale para caractersticas. E depois tomamos
funcoes mensur aveis proximas a estas funcoes simples [15].
Lema 4.2. Um sistema fracamente mixing e necessariamente ergodico.
Demonstracao: Assumindo por contradicao que o sistema (X, B, , T) e fracamente mixing mas
nao ergodico, pode existir um conjunto T-invariante E B onde T
1
E = E com 0 < (E) < 1. Se
tomarmos A = E e B = XE em (4.2), entao (T
n
E (XE)) = (E (XE)) = 0 para todo
n 0, deduzimos que (E)(XE) = 0 dando a desejada contradicao.
Temos ainda o fato de que se o sistema (X, B, , T) e fracamente mixing, o sistema produto
(X X, B B, , T T) tambem sera. Para tanto, e suciente que dadas duas funcoes em
L
2
(X X), estas cumpram (4.3). Tais funcoes sao da forma f g(x
1
, x
2
) onde f g(x
1
, x
2
) =
f(x
1
)g(x
2
). Bem, (4.3) e equivalente `a armacao que para qualquer > 0

_
fT
n
gd
_
fd
_
gd

< , (4.4)
porem para um conjunto de densidade zero. A mesma armacao agora segue para o produto tensorial.
Com efeito, sabendo que
_
f
1
f
2
(T T)
n
g
1
g
2
d( ) =
_
f
1
T
n
g
1
d
_
f
2
T
n
g
2
d,
_
f
1
f
2
d( ) =
_
f
1
d
_
f
2
d, (4.5)
_
g
1
g
2
d( ) =
_
g
1
d
_
g
2
d,
40
temos que

_
f
1
f
2
(T T)
n
g
1
g
2
d( )
_
f
1
f
2
d( )
_
g
1
g
2
d( )

_
f
1
T
n
g
1
d
_
f
2
T
n
g
2
d
_
f
1
d
_
g
1
d
_
f
2
d
_
g
2
d

_
f
1
T
n
g
1
d
_
f
2
T
n
g
2
d
_
f
1
T
n
g
1
d
_
f
2
d
_
g
2
d

_
f
1
T
n
g
1
d
_
f
2
d
_
g
2
d
_
f
1
d
_
g
1
d
_
f
2
d
_
g
2
d

_
f
1
T
n
g
1
d

_
f
2
T
n
g
2
d
_
f
2
d
_
g
2
d

_
f
1
T
n
g
1
d
_
f
1
d
_
g
1
d

_
f
2
d
_
g
2
d

.
e concluimos usando o fato de que f
1
, f
2
, g
1
e g
2
sao limitadas.
Daremos agora uma recproca fraca para o Lema 4.2.
Proposicao 4.1. Se o sistema (XX, BB, , T T) e ergodico entao (X, B, , T) e fracamente
mixing.
Demonstracao: Sabemos do Corolario da Teorema 1.6, que se um sistema (X, B, , T) e ergodico,
entao para quaisquer f, g L
2
(X, B, ),
1
N + 1
N

n=0
_
fT
n
gd
_
fd
_
gd. (4.6)
Se assumirmos T T ergodico, entao ainda o sera T e teremos a equacao acima bem como a armacao
correspondente para f f e g g. Como em (4.6) teremos
1
N + 1
N

n=0
__
fT
n
gd
_
2

__
fd
_
2
__
gd
_
2
. (4.7)
Usaremos agora o fato de que se (1/N)

N
n=1
a
n
e tambem (1/N)

N
n=1
a
2
n

2
, entao
(1/N)

N
n=1
(a
n
)
2
0, temos que (4.6) e (4.7) implicam que
1
N + 1
N

n=0
__
fT
n
gd
_
fd
_
gd
_
2
0 (4.8)
41
o que prova a proposicao.
A prova do Teorema de Recorrencia no caso fracamente mixing segue da proxima proposicao.
Proposicao 4.2. Se (X, B, , T) e um sistema fracamente mixing e A
0
, A
1
, . . . , A
k
sao conjuntos em
B, entao
lim
N
1
N
N

n=1
_
(A
0
T
n
A
1
. . . T
kn
A
k
) (A
0
)(A
1
) . . . (A
k
)

2
= 0. (4.9)
Demonstracao: Para provar a proposicao, daremos a prova de duas variantes da equacao (4.9)
por inducao em k. Sejam f
0
, f
1
, . . . , f
k
L

(X, B, ) funcoes nao negativas.

lim
N
1
N
N

n=1
_
_
k

l=0
T
ln
f
l
d
k

l=0
_
f
l
d
_
2
= 0, (4.10)
lim
N
_
_
_
_
_
1
N
N

n=1
k

l=0
T
ln
f
l

k

l=0
_
f
l
d
_
_
_
_
_
L
2
(X)
= 0. (4.11)
A equacao (4.9) e um caso especial da equacao de (4.10) aplicada para funcoes caracterstica,
como feito no Lema 4.1. A equacao (4.11) se referi `a convergencia em L
2
(X, B, ) e esta convergencia
implica uma convergencia mais fraca, assim implica que
1
N
N

n=1
_
f
0
k

l=1
T
ln
f
l
d
k

l=0
_
f
l
d. (4.12)
Como X X e tambem fracamente mixing, nos obtemos o analogo de (4.12) substituindo f por
f f e T por T T. As integrais em X X tornam-se produtos de integrais em X e como feito em
(4.6), obtemos
1
N
N

n=1
_
_
f
0
k

l=1
T
ln
f
l
d
_
2

l=0
__
f
l
d
_
2
. (4.13)
Usando o mesmo argumento que em (4.8) temos que (4.12) e (4.13) implicam (4.10) e, deste
modo, supondo (4.11) valido, tambem vale (4.10).
Por outro lado, (4.10) com k = 1 e simplismente a equacao (4.3). Portanto, para concluir a
hipotese de inducao e obter a proposicao precisamos mostrar que se (4.10) e valida para k 1, entao
(4.11) vale para k.
42
Agora, para obter (4.11) e suciente considerar em geral o caso onde algum
_
f
0
d = 0 e obter
assim
1
N
N

n=1
k

l=1
T
ln
f
l
0 (4.14)
em L
2
(X, B, ).
De fato, considerando a valida identidade
k

l=1
a
l

k

l=1
b
l
=
k

j=1
_
j1

l=1
a
l
_
(a
j
b
j
)
_
k

l=j+1
b
l
_
, (4.15)
e tomando
g
1
= f
1
, g
2
= f
2
, . . . , g
j1
= f
j1
, g
j
=
_
f
j

_
f
j
d
_
, g
j+1
=
_
f
j+1
d, . . . , g
k
=
_
f
k
d,
teremos que
k

l=1
T
ln
g
l
=
_
j1

l=1
T
ln
f
l
_
_
T
jn
_
f
j

_
f
j
d
__
_
k

l=j+1
T
ln
_
f
l
d
_
=
_
j1

l=1
T
ln
f
l
_
_
T
jn
f
j

_
f
j
d
_
_
k

l=j+1
_
f
l
d
_
.
Assim, podemos substituir

k
l=1
T
ln
f
l

k
l=1
_
f
l
d por uma soma de produtos com a propriedade
da equacao (4.14).
Agora tomamos

N
=
1
N
N

n=1
k

l=1
T
ln
f
l
.
e seja N . Fixamos um n umero H muito grande. Mostraremos a convergencia exigida a
N
em
(4.14) dividindo-o em duas partes. Chamando G
n
=

k
l=1
T
ln
f
l
temos que

N
=
1
N
[G
1
+G
2
+. . . +G
N
]
=
1
N
_
1
H
G
1
+
2
H
G
2
+. . . +
H 1
H
G
H1
+G
H
+G
H+1
+. . . +G
N
_
+
1
N
_
H 1
H
G
1
+
H 2
H
G
2
+. . . +
1
H
G
H1
_
.
43
Reescrevemos
N
=

N
+

N
, onde

N
=
1
N
_
1
H
G
1
+
2
H
G
2
+. . . +
H 1
H
G
H1
+G
H
+G
H+1
+. . . +G
N
_
=
1
N
N

j=1
_
_
1
H
min{j+H1,N}

n=j
G
n
_
_
,

N
=
1
N
_
H 1
H
G
1
+
H 2
H
G
2
+. . . +
1
H
G
H1
_
.
ou seja,

N
=
1
N
N

j=1
_
_
1
H
min{j+H1,N}

n=j
k

l=1
T
ln
f
l
_
_
+

N
=

N
+

N
. (4.16)
Observamos que como f
l
sao limitadas,

N
0 com N por

N
se tratar da divisao, por N, de
uma soma nita de funcoes todas cotadas superiormente por um mesmo valor. Disto, vemos que sera
suciente mostrar, para algum H apropriado, que limsup
N
_
_

N
_
_
L
2
(X)
< . Sabendo que a funcao
quadratica e convexa, temos que o quadrado da media e menor ou igual `a media dos quadrados, logo

N
2

1
N
N

j=1
_
_
1
H
min{j+H1,N}

n=j
k

l=1
T
ln
f
l
_
_
2
,
e assim
_
_
_

N
_
_
_
2
L
2
(X)

1
N
N

j=1
1
H
2
min{j+H1,N}

n,m=j
_
k

l=1
T
ln
f
l
T
lm
f
l
d
=
1
NH
2
N

j=1
min{j+H1,N}

n,m=j
_
k

l=1
T
ln
_
f
l
T
l(mn)
f
l
_
d.
Como T, e deste modo T
n
, e uma transformacao preservando medida, nos podemos substituir cada
T
ln
por T
(l1)n
na expressao anterior, obtendo assim,
_
_
_

N
_
_
_
2
L
2
(X)

1
NH
2
N

j=1
min{j+H1,N}

n,m=j
_
k1

l=0
T
ln
_
f
l+1
T
(l+1)(mn)
f
l+1
_
d. (4.17)
Observamos que as integrais acima sao as que ocorrem em (4.10) para k 1 com as funcoes f
l
substituidas por g
l,mn
= f
l+1
T
(l+1)(mn)
f
l+1
.
44
Sendo r = mn, notamos que o par (n, m) aparece em (4.17) somente se [r[ = [mn[ < H, e
entao para H [r[ valores de j, assim reescrevemos (4.17) como
_
_
_

N
_
_
_
2
L
2
(X)

1
H
H1

r=1H
_
1
[r[
H
_
_
1
N
N

n=1
_
k1

l=0
T
ln
g
l,r
d
_
. (4.18)
O fato de tal substituicao esta melhor demonstrado no Apendice deste texto.
Finalmente, pela hipotese de inducao, podemos usar (4.10) para substituir o lado direito da
desigualdade acima e obetermos
_
_
_

N
_
_
_
2
L
2
(X)

1
H
H1

r=1H
_
1
[r[
H
_
_
k1

l=0
_
g
l,r
d
_
+

2
, (4.19)
para N grande. Por outro lado, sendo algum
_
f
l
0
d = 0 e por (4.3) a maior parte dos termos
_
g
l
0
1,r
d e pequeno para H grande, pois
_
g
l
0
1,r
d =
_
f
l
0
T
l
0
r
f
l
0
d
esta, em media, proximo de
__
f
l
0
d
_
2
= 0.
Por outro lado, como todos os integrandos da equacao (4.19) sao limitados, nos podemos tomar
H tao grande que

1
H
H1

r=1H
_
1
[r[
H
_
_
k1

l=0
_
g
l,r
d
_

<

2
e assim
limsup
N
_
_
_

N
_
_
_
2
L
2
(X)
<

2
+

2
= ,
completando a inducao e a prova da proposicao.
4.2 Sistemas compactos
Nesta secao demonstraremos o Teorema de Recorrencia M ultipla de Furstenberg para um segundo
caso de sistemas.
Denicao 4.2. Dizemos que o sistema preservando medida (X, B, , T) e compacto se para qualquer
funcao f L
2
(X, B, ) o fecho da orbita f, Tf, T
2
f, . . . , T
n
f, . . . e compacta em L
2
(X, B, ).
45
Exemplo 4.2. Um exemplo bem simples ocorre para transformacoes periodicas, isto e, T
p
= iden-
tidade para algum p. Isto ocorre por exemplo com a rotacao racional do crculo. De uma maneira
menos trivial e ainda possvel mostrar que a rotacao irracional no crculo tambem forma um sistema
compacto.
A seguir veremos que esta classe de sistemas tambem cumpre as condicoes do Teorema 4.2.
Proposicao 4.3. Se o sistema inversvel preservando medida (X, B, , T) e compacto, entao para
qualquer f L

(X, B, ), f 0 com f nao quase sempre nula e para qualquer inteiro k,

liminf
N
1
N
N

n=1
_
fT
n
fT
2n
f . . . T
kn
fd > 0. (4.20)
Tomando f = 1
A
a funcao caracterstica de um conjunto A B com (A) > 0 na equac ao (4.20),
obtemos
liminf
N
1
N
N

n=1
_
1
A
T
n
1
A
T
2n
1
A
. . . T
kn
1
A
d
= liminf
N
1
N
N

n=1
_
1
A
1
(T
n
A)
1
(T
2n
A)
. . . 1
(T
kn
A)
d
= liminf
N
1
N
N

n=1
_
1
(AT
n
AT
2n
A...T
kn
A)
d
= liminf
N
1
N
N

n=1
(A T
n
A T
2n
A. . . T
kn
A),
portanto valida a proposicao, teremos que o Teorema de Recorrencia M ultipla de Furstenberg e
valido para sistemas compactos.
Demonstrac ao da proposicao 4.3: Seja a =
_
f
k+1
d, temos entao que a > 0. Podemos assumir
sem perda da generalidade que 0 f 1. Tomemos < a/(k + 1). Sejam g
0
, . . . , g
k
funcoes
mensuraveis com 0 g
i
1 e com |f g
i
| < , i = 0, 1, . . . , k. Com base na equacao (4.15), usada
46
na demonstracao da Proposicao 4.2, temos

_
k

l=0
g
l
d
_
f
k+1
d

_
k

l=0
g
l
d
_
k

l=0
fd

_
_
k

l=0
g
l

k

l=0
f
_
d

_
k

j=0
j1

l=1
g
l
(g
j
f)f
kj
d

j=0
_ j1

l=1
g
l
[g
j
f[ f
kj
d
(k + 1) < a.
Se tomarmos a

= a (k + 1) entao devemos ter

_
k
l=0
g
l
d a

.
Usando esta observacao, nosso trabalho entao sera mostrar que para um conjunto de n com
densidade inferior positiva,
_
_
T
ln
f f
_
_
< . Ainda, se mostrarmos que |T
n
f f| < /k para
um conjunto de n com densidade inferior positiva, entao como T preserva medida teremos que
_
_
T
(j+1)n
f T
jn
f
_
_
< /k para este conjunto de n, e pela desigualdade triangular,
_
_
T
ln
f f
_
_
<
para l = 0, 1, . . . , k.
A propriedde desejada segue da compacidade do fecho da orbita T
n
f L
2
(X, B, ), pois
teremos que o conjunto T
n
f, n = 0, 1, 2, . . . e totalmente limitado. Por este fato podemos encontrar
um subconjunto T
n
1
f, T
n
2
f, . . . , T
n
r
f de modo |T
n
i
f T
n
j
f| /k, tal que qualquer elemento
da orbita diste menos que /k de alguem deste subconjunto. Agora, como T preserva medida,
para qualquer n, o subconjunto T
n+n
1
f, T
n+n
2
f, . . . , T
n+n
r
f possui a mesma propriedade. Deste
modo, para cada n existe 1 i(n) r tal que |T
n+n
i(n)
f f| < . Em particular, a seq uencia
n +n
i(n)

n=0
e uma seq uencia de densidade inferior positiva, e temos o resultado desejado.
4.3 Sistemas fracamente mixing e fatores compactos
Nesta secao comecaremos a nos aproximar de fato da demonstracao do Teorema 4.2. Diremos que
um fator (X, B
l
, , T) sera nao trivial se B
l
contiver conjuntos de medida estritamente entre 0 e 1.
47
O proposito central desta secao e assegurar que se um sistema nao e fracamente mixing, algum fator
nao trivial sera compacto. Deste modo, com os resultados obtidos nas duas secoes anterios o Teorema
4.2 e valido para algum fator nao trivial de um sistema arbitrario.
Proposicao 4.4. Um sistema preservando medida (X, B, , T) e fracamente mixing se, e somente
se, este nao possui um fator compacto nao trivial.
Denimos anteriormente que um sistema seria compacto desde que para toda f L
2
(X) o fecho
de sua orbita por T fosse compacto. Agora olharemos para quando isto acontece para alguma f e
nao todas.
Denicao 4.3. Dizemos que f L
2
(X) e AP (quase periodica) se o fecho de sua orbita for compacto.
Proposicao 4.5. Se para um sistema preservando medida (X, B, , T) o quadrado T T nao e
ergodico, entao existira um funcao nao constante f L
2
(X) que e AP.
Demosntracao: Seja H(x, x

) uma funcao nao constante T T-invariante em L

2
(XX).
Sendo T nao ergodica, existira A B com T
1
A = A onde 0 < (A) < 1, logo a funcao 1
A
sera
uma funcao nao constante quase periodica e o Lema estara demonstrado. Suponhamos entao que T
seja ergodica.
A funcao
_
H(x, x

)d(x) e T-invariante, e portanto constante. Subtraindo essa constante a H

nos podemos supor que esta desaparece. Como H nao e nula, existe necessariamente uma funcao
L
2
(X, B, ) com
_
H(x, x

)(x

)d(x

) ,= 0 para um conjunto, de x, de medida positiva. Disto

segue que
f(x) =
_
H(x, x

)(x

)d(x

) (4.21)
e ainda nao constante, como
_
f(x)d(x) =
_
(x

)
_
H(x, x

)d(x)d(x

) = 0.
Agora a funcao em (4.21) e quase periodica. Por
T
n
f(x) =
_
H(T
n
x, x

)(x

)d(x

) =
_
H(T
n
x, T
n
x

)(T
n
x

)d(x

),
pela invariancia de , ou
T
n
f(x) =
_
H(x, x

)T
n
(x

)d(x

).
48
Se

H : L
2
(X, B, ) L
2
(X, B, ) denota o operador integral

H(x) =
_
H(x, x

)(x

)d(x

),
entao T
n
f =

H(T
n
). Entretanto e sabido que o operador

H e compacto e como a norma de
T
n
e compacta, temos que

H(T
n
) e compacto.
Para uma leitura sobre operadores compactos [12].
Para provar a Proposicao 4.4 provaremos primeiro os seguintes Lemas:
Lema 4.3. O conjunto das funcoes L
2
(X, B, ) que sao AP e um subespaco linear fechado de
L
2
(X, B, ). Ainda, este subespaco e fechado para as operacoes (
1
,
2
) max
1
,
2
e (
1
,
2
)
min
1
,
2
.
Demonstracao: Primeiro, lembremos que um subconjunto de um espaco metrico completo possui
fecho compacto se, e somente se, para todo > 0, o subconjunto pode ser coberto por uma quantidade
nita de bolas de raio . Usando isto, pode-se vericar que o conjunto das funcoes AP em
L
2
(X, B, ) e um subespaco linear fechado de L
2
(X, B, ).
Lema 4.4. Se f e AP e B
0
e a menor -algebra de conjuntos com respeito a que f e mensuravel,
entao cada 1
A
, A B
0
e AP.
Demonstracao: Temos que B
0
e gerada pelas imagens inversas de intervalos abertos. Se A
1
=
f
1
((a, b)), entao 1
A
1
e AP. De fato, pelo Lema 4.3, sao AP as funcoes:
h
1
= minf, b
h
2
= maxa, h
1

h
3

h
2
a
ba
h
4
= 1 h
3
h = minh
3
, h
4

g
n
= nminh, 1/n.
Notando que g
n
1
A
1
, usando novamente o Lema 4.3 temos que 1
A
1
e AP. Por m, podemos
estender para funcoes caractersticas dos conjuntos na -algebra B
0
.
49
Retornaremos `a Proposicao 4.4.
Demonstracao da proposicao 4.4: Assuma que (X, B, , T) e um sistema fracamente mixing.
Devemos mostrar que nao existe funcao nao constante f L
2
(X, B, ) com o fecho de sua orbita
T
n
f L
2
(X, B, ) compacto.
A prova da Proposicao 4.3 mostra que se f possui o fecho da orbita compacto, para qualquer
> 0, existe um subconjunto S N de densidade inferior positiva de modo que para n S,
|f T
n
f|
L
2
(X)
< . Por outro lado (4.4) implica que para qualquer > 0, f, g L
2
(X, B, )

_
fT
n
gd
_
fd
_
gd

<
para um conjunto n de densidade 0. Em particular,

_
fT
n
fd
__
fd
_
2

<
mas para um conjunto de n de densidade 0. Para algum n S teremos

_
f
2
d
__
fd
_
2

< +|f|
L
2
(X)
,
e como , sao arbitrarios
_
f
2
d = (
_
fd)
2
, que para f real implica f = constante em quase todo
ponto. De fato,
_
(f
_
fd)
2
d =
_
f
2
d 2(
_
fd)
2
+ (
_
fd)
2
= 0, logo (f
_
fd) = 0 para
quase todo ponto.
Suponha que (X, B, , T) nao e mixing. Entao, pela Proposicao 4.1, existe uma funcao nao trivial
invariante em X X. Pela Proposicao 4.5 existe uma funcao nao constante f L
2
(X, B, ) que e
AP. Construiremos entao uma -algebra nao trivial B
l
, invariante com respeito a T, de modo que o
fator (X, B
l
, , T) e compacto.
Usamos o Lema 4.4, como e AP se, e somente se, T e AP, o mesmo e verdade para B
l
como
sendo a menor -algebra de conjuntos com respeito a que f, Tf, T
2
f, . . . e mensuravel. Finalmente,
se cada 1
A
, A B
l
e AP, entao sera cada L
2
(X, B, ). Disto segue que este fator (X, B
l
, , T) e
compacto.
50
Denicao 4.4. Diremos que um sistema (X, B, , T) e um sistema SZ quando para todo A B com
(A) > 0 e para todo k 1 tivermos que
liminf
N1
1
N
N

n=1
(A T
n
A T
2n
A . . . T
kn
A) > 0. (4.22)
4.4 Fatores maximais SZ
Seja (X, B, , T) um sistema inversvel preservando medida.
Proposicao 4.6. Seja B
t
uma famlia totalmente ordenada de sub--algebras de B. Seja

B a
-algebra gerada pela uniao

B
t
. Se cada (X, B
t
, , T) e um sistema SZ, entao (X,

B, , T) tambem
e um sistema SZ.
Demonstrac ao: Seja A

B, com (A) > 0, seja k um dado inteiro e seja > 0. Como

B
t
e uma
algebra que gera

B como -algebra, podemos encontrar A

B
t
para algum t

com (AA

) <
(Teorema 1.3). Entao, pelo fato de |1
AA
|
L
2
= |1
A
1

A
|
L
2
, temos |1
A
1
A
|
L
2
<

em L
2
(X).
Se X
t
= (X, B
t
, , T), entao E(1
A
[X
t
) e a projecao ortogonal de 1
A
no subespaco das funcoes
L
2
(X
t
). Como 1
A
esta neste subespaco, nos devemos ter
|1
A
E(1
A
[X
t
)|
L
2
<

.
Disto podemos deduzir que se for sucientemente pequeno, E(1
A
[X
t
) > 1 (1/2k) em um
conjunto de medida positiva. Do contrario, caso E(1
A
[X
t
) 1 (1/2k) quase sempre temos 1
A

E(1
A
[X
t
) (1/2k) no conjunto de medida (A) onde
|1
A
E(1
A
[X
t
)|
L
2

_
(A)
2k
.
Assim tomando < (A)/4k
2
, podemos supor que E(1
A
[X
t
) > 1 (1/2k) em B onde B B
t
,
com (B) > 0 . Agora seja =
_

x
d(x) a desintegracao de com respeito ao fator X
t
. Entao
para x B,

x
(A) > 1 (1/2k).
51
Usando agora a hipotese de que X
t
e um sistema SZ, temos para o conjunto B com medida
positiva
liminf
N1
1
N
N

n=1
(B T
n
B T
2n
B . . . T
kn
B) = > 0. (4.23)
Sendo x B T
n
B T
2n
B . . . T
kn
B, temos

x
(A T
n
A T
2n
A . . . T
ln
A)
= 1

x
(X (A T
n
A T
2n
A . . . T
kn
A))
= 1

x
_
k
_
i=1
(X T
in
A)
_
1
k

i=1
(1

x
(T
n
A))
= 1
k

i=1
(1

T
in
x
(A)).
Usamos a Proposicao 2.6 para igualar T
in

x com

T
in
x
. Como x B T
n
B T
2n
B . . .
T
kn
B, T
in
x B e

T
in
x
(A) > 1 (1/2k), temos

x
(A T
n
A T
2n
A . . . T
kn
A) >
1
2
e pelo Teorema da Desintegracao
(A T
n
A T
2n
A . . . T
kn
A)
1
2
(B T
n
B T
2n
B . . . T
kn
B)
Finalmente este resultado combinado com (4.23) nos fornece
liminf
N1
1
N
N

n=1
(A T
n
A T
2n
A . . . T
kn
A)

2
> 0.
Mostramos entao que no conjunto dos fatores SZ do sistema (X, B, , T), toda cadeia ordenada
possui cota superior. Pelo Lema de Zorn esta cota deve ser um sistema SZ maximal.
4.5 Extensoes fracamente mixing
A partir de agora sejam X = (X, B, , T) um sistema preservando medida e Y = (Y, T, , S) =
(X, B
l
, , T) um fator de X. Por conveniencia assumimos que X e um sistema ergodico.
52
Denicao 4.5. Dizemos que o sistema X e uma extensao fracamente mixing relativa a Y se X
Y
X
e um sistema ergodico.
Mostraremos, sem muitos detalhes, nesta secao, que se uma extensao de um fator SZ e fracamente
mixing, entao esta extensao tambem sera SZ.
Por simplicidade de notacao, escreveremos

X = X
Y
X e da mesma forma (

X,

B, ,

T) =
(X X, B B,
Y
, T T).
Lema 4.5. Seja (X, B, , T) uma extensao fracamente mixing com relacao a (Y, T, , S) e sejam
f, g L

(X). Entao
lim
N
1
N
N

n=1
_
[E(fT
n
g[Y)) E(f[Y)S
n
E(g[Y)]
2
d = 0. (4.24)
Demonstrac ao: Tome f, g L

(X), temos que f f, g g L

2
(X
Y
X). Pela Proposicao 2.8,
E((g g)T
n
(f f)[Y) = E(gT
n
f gT
n
f[Y) = E(gT
n
f[Y)
2
.
Assumimos que E(f[Y) = 0. Precisamos mostrar que
lim
N
1
N
N

n=0
_
[E(fT
n
g[Y)]
2
d = 0 (4.25)
Temos que
1
N
N

n=0
_
[E(fT
n
g[Y)]
2
d =
1
N
N

n=0
_
E(f f

T
n
g g[Y)d
=
1
N
N

n=0
_
_
f f

T
n
g g
_
d
=
_
f f
_
1
N
N

n=0

T
n
(g g)
_
d .
Mas como

T e ergodico, temos pelo Teorema Ergodico
lim
N
1
N
N

n=0

T
n
(g g) =
_
g gd = const.
53
e por outro lado
_
f fd =
_
E(f[Y)
2
d = 0,
e assim temos (4.25).
Agora substituimos f por f E(f[Y). Teremos E(f E(f[Y)) = 0 e obtemos pela Proposicao
2.3
E((f E(f[Y ))T
n
g[Y) = E(fT
n
g[Y) E(f[Y)S
n
E(g[Y).
Lema 4.6. Seja (X, B, , T) uma extensao fracamente mixing relativa a Y = (Y, T, , S). Entao o
sistema (X X, B B,
Y
, T T) tambem e uma extensao fracamente mixing relativa a Y.
Demonstrac ao: Denotaremos X
Y
X por

X e

X
Y

X por

X. Queremos entao mostrar que
(

X,

B, ,

T) e ergodico. Para isso e suciente mostrar que para uma sequencia de conjuntos de funcoes
F, G L
2
(

X,

B, )
1
N
N

n=1
_
F

T
n
Gd
_
Fd
_
Gd . (4.26)
Por conseguinte e suciente mostrar (4.26) para F e G da forma
F = f
1
f
2
f
3
f
4
G = g
1
g
2
g
3
g
4
.
Deste modo, temos entao
_
F

T
n
Gd =
_ __
f
1
T
n
g
1
d
y
_
f
2
T
n
g
2
d
y
_
f
3
T
n
g
3
d
y
_
f
3
T
n
g
3
d
y
_
d
=
_
E(f
1
T
n
g
1
[Y)E(f
2
T
n
g
2
[Y)E(f
3
T
n
g
3
[Y)E(f
4
T
n
g
4
[Y)d.
Mas agora pelo Lema 4.5, cada expressao E(f
i
T
n
g
i
[Y) pode ser substituida por E(f
i
[Y)S
n
E(g
i
[Y)
e assim o lado esquerdo de (4.26) pode ser substituido por
1
N
N

n=1
_
E(f
1
[Y)E(f
2
[Y)E(f
3
[Y)E(f
4
[Y) S
n
[E(g
1
[Y)E(g
2
[Y)E(g
3
[Y)E(g
4
[Y)] d.
Como (Y, T, , S) e ergodico, temos
1
N
N

n=1
S
n
[E(g
1
[Y)E(g
2
[Y)E(g
3
[Y)E(g
4
[Y)]
_ __
g
1
d
y
_
g
2
d
y
_
g
3
d
y
_
g
4
d
y
_
d =
_
Gd ,
54
e segue (4.26).
Proposicao 4.7. Seja (X, B, , T) uma extensao fracamente mixing de (Y, T, , S). Entao se f
l

L

(X, B, ), l = 0, 1, . . . , k, temos
lim
N
1
N
N

n=1
_
_
E
_
k

l=0
T
ln
f
l
[Y
_

l=0
S
ln
E(f
l
[Y)
_
2
d = 0, (4.27)
e
lim
N
_
_
_
_
_
1
N
N

n=1
_
k

l=0
T
ln
f
i

l=0
T
ln
E(f
l
[Y)
__
_
_
_
_
L
2
()
= 0. (4.28)
Note que E(f
l
[Y ) e uma funcao em L

(X, B, ) e em L

(Y, T, ).
Demonstrac ao: A demonstracao desta proposicao e semelhante `a demonstracao da Proposicao
4.2. Procederemos por inducao em k. Para k = 1, o Lema 4.5 nos da (4.27) enquanto (4.28) segue
do Teorema Ergodico. Assumimos que (4.27) e valido para k 1 em total generalidade, que e, para
todas extensoes fracamente mixing de Y (em paticular, para X
Y
X) e provaremos
(i) (4.27) valido para k 1 (4.28) valido para k,
(ii) (4.28) valido para k (para X
Y
X) (4.27) valido para k (para X).
Comecaremos por (ii). Se f
0
e mensuravel em B
1
=
1
(T), a integral em (4.27) tem a forma
_
f
0
2
_
E
_
k

l=1
T
ln
f
l
[Y
_

l=1
S
ln
E(f
l
[Y)
_
2
d
sup [f
0
2
[
_
_
E
_
k1

l=0
T
ln
f
l+1
[Y
_

k1

l=0
S
ln
E(f
l+1
[Y)
_
2
d,
usando a propriedade (iv) da Proposicao 2.3 e a Proposicao 2.5 combinado com o fato de S
n
preservar
medida. Temos que (4.27) e reduzida ao caso k 1. Isto nos permite assumir, como zemos no Lema
4.5, que E(f
0
[Y) = 0. Com isto, (4.27) para o caso k = 1 tem a forma
lim
N
_
f
0
f
0
_
1
N
N

n=1
k

l=1

T
ln
f
l
f
l
_
d . (4.29)
55
Por (4.28) aplicado a X
Y
X, o limite em (4.29) e o memos que
lim
N
_
f
0
f
0
_
1
N
N

n=1
k

l=1

T
ln
E(f
l
f
l
[Y)
_
d .
que e 0 (para todo N) pois a soma acima e constante pelo Teorema Ergodico e E(f
0
[Y) = 0 (Como
feito no Lema 4.5).
Para provar (i), lembramos da equacao (4.15)
Entao podemos escrever
k

l=1
T
ln
f
l

k

l=1
T
ln
E(f
l
[Y) =
k

j=1
_
j1

l=1
T
ln
f
l
_
T
jn
_
(f
j
E(f
j
[Y))
k

l=j+1
T
ln
E(f
l
[Y)
_
e note que isto nos ajuda a provar (4.28) sobre a condicao adicional que par algum l
0
, 1 l
0
k,
E(f
l
0
[Y) = 0. agora temos que mostrar que sobre esta condicao, lim|
N
|
2
= 0 quando
N
=
(1/N)

N
n=1

K
l=1
T
ln
f
l
.
Reescreva

N
=
1
N
N

j=1
_
1
H
j+H1

n=j
k

l=1
T
ln
f
l
_
+O(H/N),
onde H sera escolhido grande mas necessariamente menor do que N. Pela convexidade da funcao
(x) = x
2
, temos

N
2

1
N
N

j=1
_
1
H
j+H1

n=j
K

l=1
T
ln
f
l
_
2
.
Por integracao e do fato de T preservar medida,
|
N
|
2
2

1
N
N

j=1
1
H
2
j+H1

n,m=1
_
k

l=1
T
ln
f
l
T
lm
f
l
d (4.30)
=
1
(N)H
2
N

j=1
j+H1

n,m=j
_
k

l=1
T
(l1)n
(f
l
T
l(mn)
f
l
)d.
Como feito na demonstracao da Proposicao 4.2, reescrevemos (4.31) como
|
N
|
2
2

1
H
H1

r=1H
_
1
[r[
H
_
_
1
N
N

n=1
_
k

l=1
T
(l1)n
f
l
T
lr
f
l
d
_
+O(H/N). (4.31)
56
Por (4.27) para k 1 e para um H xo e todo r tal que [r[ < H nos podemos substituir o termo
integravel em (4.31), pondo N sucientemente grande, por

k
l=1
T
(l1)n
E(f
l
T
lr
f
l
[Y) e obtemos
|
N
|
2
2

1
H
H1

r=1H
_
1
[r[
H
_
_
1
N
N

n=1
_
k

l=1
T
(l1)n
E(f
l
T
lr
f
l
[Y)d
_
+O(H/N). (4.32)
Agora estimando a integral dada, aparecera em (4.32)
_
_
E(f
l
0
T
l
0
r
f
l
0
[Y)
_
_
2

l=l
0
|f
l
|
2

e lembrando que E(f

l
0
[Y) = 0 temos pelo Lema 4.5 que a maior parte dos termos em (4.32) sao pe-
quenos contanto que H seja sucientemente grande. Como todos os termos sao limitados por

|f
l
|
2

e que a maior parte dos termo sao pequenos, sua media dada por (4.32) e pequena, arbitrariamente
para H e N grandes.
Proposicao 4.8. Seja (X, B, , T) uma extensao fracamente mixing relativa a (Y, T, , S). Se
(Y, T, , S) e um sistema SZ, entao (X, B, , T) tambem e um sistema SZ.
Demonstracao: Seja A B, (A) > 0. Seja a > 0 o menor n umero tal que para A
1
= y :
E(1
A
[Y) a, tenhamos (A
1
) > 0. Pelo Teorema da desintegracao e pela Proposicao 4.7 (e
E(1
A
[Y) a1
A
1
) temos para todo k
1
N
N

n=1

_
k

l=0
T
ln
A
_
>
1
2
a
k+1

1
N
N

n=1

_
k

l=0
S
ln
A
1
_
,
contanto que N seja sucientemente grande.
Notamos que se tomarmos para o sistema (X, B, , T) o fator (Y, T, , S) (X, X, , , T)
teremos a igualdade
Y
= . Obtemos entao o seguinte resultado.
Corolario 4.1. Se (X, B, , T) e um sistema fracamente mixing, entao este sistema e SZ.
4.6 Extensoes compactas
Podemos tambem denir uma extensao compacta e assim provar que o Terorema de Recorrencia
Multipla de Furstenberg tambem e valido para sistemas relativamente compactos.
57
Denicao 4.6. Uma funcao f L
2
(X, B, ) e quase periodica (AP) relativa a um fator Y se para
todo > 0 existem funcoes g
1
, g
2
, . . . , g
k
L
2
(X, B, ) tais que para todo n Z, min
1jk
|T
n
f g
j
|
L
2
(
y
)
<
p.q.t. y Y .
Quando nao houver confusao denotaremos por AP ao conjunto das funcoes AP em L
2
(X, B, ).
Denicao 4.7. Dizemos que a extensao (X, B, , T) e uma extensao compacta de (Y, T, , S) se o
conjunto AP e denso em L
2
(X, B, ).
Proposicao 4.9. Se (X, B, , T) e uma extensao compacta de (Y, T, , S) que por vez e um sistema
SZ, entao (X, B, , T) e um sistema SZ.
Deja-se provar para algum A B, com (A) > 0 e k inteiro, que
liminf
N
1
N
N

j=1

_
k

l=1
T
jl
A
_
> 0 (4.33)
que claramente continua valido para um subconjunto de A. Assumindo que
y
(A) =
1
2
(A)
para y A
1
, (A) >
1
2
(A), e
y
(A) = 0 para y / A
1
.

E possvel remover de A menos que a metade de sua medida e obter um conjunto cuja funcao
caracterstica e AP.
Considerando vetores da forma (f, T
n
f, T
2n
f, . . . , T
kn
f) nas bras de y Y , e denotando por

k
l=0
L
2
(X, B,
y
) a soma direta de k+1 copias de L
2
(X, B,
y
) dotada da norma |(f
0
, f
1
, . . . , f
k
)|
y
=
max |f
i
|
L
2
(X,B,
y
)
, se f AP, o conjunto L(k, f) = (f, T
n
f, . . . , T
kn
f)
nZ
sera totalmente limitado
em
k
l=0
L
2
(X, B,
y
) para quase todo y Y , uniformemente em y Y .
Assumindo que f = 1
A
e AP e sustentand a notacao A
1
= y Y ;
y
(A) >
1
2
(A), seja k > 0
dado, escreve-se
L(k, f, y) = (f, T
n
f, . . . , T
kn
f)
y

nZ

k
l=0
L
2
(X, B,
y
).
L(k, f, y) e uniformente totalmente limitado em y. Para y A
1
, nos elementos de L(k, f, y) para
os quais todas as componentes sao nao nulas, denota-se este subconjunto de L(k, f, y) por L*(k, f, y).
Para y A
1
e > 0 seja M(, y) denotando a cardinalidade maxima de um subconjunto -separado
58
de L*(k, f, y). M(, y) e limitado em A
1
. Como uma funcao de y, M(, y) e mensuravel e pode-se
encontrar algum
0
< (A)/10k, > 0, e A
2
A
1
, (A
2
) > 0, em que M(, y) e constante, digamos
M, para
0

0
e y A
2
.
Por m e possvel tomar A
3
o subconjunto de A
2
dos pontos y para os quais, para cada i, j, l com
1 i < j M, 0 l k,
_
_
T
lm
i
f T
lm
j
f
_
_
L
2
(X,B,
y
)
>
_
_
T
lm
i
f T
lm
j
f
_
_
L
2
(X,B,
y
0
)
. (4.34)
E este sera um subconjunto com (A
3
) > 0.
Usando a hipotese de que o sistema (Y, T, , S) e SZ e aplicando isto a A
3
, tem-se a Proposicao.
4.7 Existencia de extensoes compactas
Nesta secao enunciamos uma proposicao que garante a existencia de extensoes compactas inter-
mediarias de um fator de uma extensao nao relativamente mixing. Daremos apenas um roteiro da
prova feita por Furstenberg em [5].
Proposicao 4.10. Se X = (X, B, , T) e uma extensao de Y = (Y, T, , S) que nao e fracamente
mixing, entao existe um fator intermediario Z entre Y e X onde Z e uma extensao compacta de Y.
A prova da-se supondo X ergodico. Como

T em X
Y
X nao e ergodico, existe uma funcao
H(x, x

) em X
Y
X que e invariante sobre

T, mas nao e uma funcao somente de x nem somente de
x

. Existe uma funcao L

2
(X, B, ), em que a convolucao H denida por
H (x) =
_
H(x, x

)(x

)d
(x)
(x)
nao e uma funcao totalmente em L
2
(Z)

. Encontra-se funcoes L
2
(X), f / L
2
(Y)

com a
propriedade de que para todo > 0 existe um conjunto nito de funcoes g
1
, g
2
, . . . , g
k
L
2
(X) tal
que para cada n,
min
1<j<k
|T
n
g
j
|
y
< ,
59
para cada y Y. Dizendo que L
2
(X) e compacta se para cada , > 0 existir g
1
, g
2
, . . . , g
k

L
2
(X) tal que para cada n
min
1jk
|T
n
g
j
|
y
< ,
para cada y Y exceto para um conjunto de y com medida < . Tem-se que, se ( = A
B : 1
A
e compacto , entao ( e uma -algebra e o espaco das funcoes compactas de L
2
(X, B, )
consiste do espaco de funcoes mensuraveis com respeito a ( que e T-invariante. Da, o conjunto
Z = (X, (, , T) e um fator de X que e compacto. Ainda (
1
(T) e Y e fator de Z. E prova-se
que Y Z e relativamente compacto.
4.8 Conclusao
Seja (X, B, , T) um espaco de probabilidade. Se este e um sistema fracamente mixing, entao pela
Proposicao 4.1 ele e um sistema SZ. Por outro lado se o sistema (X, B, , T) nao e fracamente mixing
a Proposicao 4.6 assegura que existe uma -algebra maximal em que o sistema com esta -algebra
e um sistema SZ. Se esta, por sua vez, e igual a B a prova esta completa. Caso isto nao aconteca,
a Proposicao 4.4 garante que esta e uma sub--algebra nao trivial de B, e podemos assumir que o
sistema nao e uma extensao fracamente mixing deste fator, pois do contrario pela Proposicao 4.8
teramos que o sistema e SZ. Mas, supondo que o sistema nao e uma extensao fracamente mixing do
fator maximal SZ a Proposicao 4.10 garante a existencia de uma extensao intermediaria nao trivial
que e relativamente compacta, que por sua vez, pela Proposicao 4.9 e um sistema SZ contrariando a
maximalidade do fator.
60
Proposicao 4.2
Conhecida a desigualdade
_
_
_

N
_
_
_
2
L
2
(X)

1
NH
2
N

j=1
min{j+H1,N}

n,m=j
_
k1

l=0
T
ln
_
f
l+1
T
(l+1)(mn)
f
l+1
_
d, (35)
olharemos para os ndices das funcoes F
n,r
=
_
k1
l=0
T
ln
g
l,r
, onde r = mn, para estudar a presenca
de tais funcoes no somatorio acima. Temos que m, n 1, 2, . . . , N e observamos as seguintes
matrizes de ndices, para cada j 1, 2, . . . , N:
j = 1;
... 1 2 3 H
1 (1,0) (1,1) (1,2) (1,H-1)
2 (2,-1) (2,0) (2,1) (2,H-2)
3 (3,-2) (3,-1) (3,0) (3,H-3)
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
H-1 (H-1,2-H) (H-1,3-H) (H-1,4-H) (H-1,1)
H (H,1-H) (H,2-H) (H,3-H) (H,0)
j = 2;
... 2 3 3 H+1
2 (2,0) (2,1) (2,2) (2,H-1)
3 (3,-1) (3,0) (3,1) (3,H-2)
4 (4,-2) (4,-1) (4,0) (4,H-3)
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
H (H,2-H) (H,3-H) (H,4-H) (H,1)
H+1 (H+1,1-H) (H+1,2-H) (H+1,3-H) (H+1,0)
61
.
.
.
.
.
.
j = N;
... N
N (N,0)
Fazendo entao a soma no ndice r, encontramos:
r = 1 H F
H,1H
+F
H+1,1H
+F
H+2,1H
+. . . +F
N,1H
.
.
.
r = 1 F
1,1
+ 2F
2,1
+ 3F
3,1
+. . . (H 1)F
H1,1
+. . . + (H 1)F
N,1
r = 0 F
1,0
+ 2F
2,0
+HF
H,0
+. . . +HF
N,0
r = 1 F
1,1
+ 2F
2,1
+ 3F
3,1
+ (H 1)F
H1,1
+. . . + (H 1)F
N1,1
.
.
.
r = H 1 F
1,H1
+F
2,H1
+F
3,H1
+. . . +F
4,H1
Assim, lembrando que as funcoes f
0
, f
1
, ldots, f
k
L

(X, B, ) sao nao negativas, temos que,

1
NH
2
N

j=1
min{j+H1,N}

n,m=j
_
k1

l=0
T
ln
_
f
l+1
T
(l+1)(mn)
f
l+1
_
d

1
NH
2
H1

r=1H
(1 [r[)
_
N

n=1
_
k1

l=0
T
ln
g
l,r
d
_
.
62
Referencias Bibliogracas
[1] A. A. Castro. Curso da Teoria da Medida. Projeto Euclides, IMPA, Rio de Janeiro, 2004.
[2] P. Erdos and P. Turan. On some sequences of integers. J. London Math. Soc., 11:261264, 1936.
[3] R. Fernandes. Introducao `a Teoria da Medida. Projeto Euclides, IMPA, Rio de Janeiro, 2002.
[4] H. Furstenberg. Ergodic bhavior of diagonal measures and a theorem of szemeredi on arithmetic
progressions. J. dAnalyse Math., 31:204256, 1977.
[5] H. Furstenberg. Ergodic behavior and a theorem and combinatorial number theory. Princeton
University Press, New Jersey, 1981.
[6] Y. Katznelson H. Furstenberg and D. Ornstein. The ergodic theoretical proof of Szemeredis
theorem. Bull. Amer. Math. Soc., 7(3):527552, 1982.
[7] M. Viana K. Oliveira. Introducao `a Teoria Ergodica. Preprint, IMPA, Rio de Janeiro, 2000.
[8] E. L. Lima. Espacos Metricos. Projeto Euclides, IMPA, Rio de Janeiro, 2003.
[9] M. Yuri M. Pollicott. Dynamical Systems and Ergodic Theory. Cambridge University Press,
UK, 1998.
[10] R. Ma ne. Teoria Ergodica. Projeto Euclides, IMPA, Rio de Janeiro, 1983.
[11] K. Oliveira. Um primeiro curso sobre Teoria Ergodica com aplicacoes. Publicacoes Matematicas,
IMPA, Rio de Janeiro, 2005.
63
[12] F. Riesz and B. Nagy. Function analysis. Ungar, New York, 1955.
[13] W. Rudin. Real and Complex Analysis. McGraw-Hill, 3 edition, 1987.
[14] S. Szemeredi. On sets of integers containing no k elements in arithmetic progression. Acta
Arith., 27:199245, 1975.
[15] P. Walters. An Introduction to Ergodic Theory. Springer, Berlin, 1983.
64