2

Col oquio de Matem atica da Regi ao Sul

Introducao aos n umeros normais
Jairo Kras Mengue
Cydara Cavedon Ripoll
2012
Prefacio
Este texto e uma consequencia do estudo de v arios livros e artigos sobre
n umeros normais, realizado pelos autores, que tambem resultou em uma
dissertac ao de mestrado apresentada pelo primeiro autor em marco de 2008.
Existe uma grande colec ao de resultados sobre n umeros normais na lite-
ratura. O leitor podera, por exemplo, encontrar varios artigos cuja proposta
e a prova de que um n umero ou classe de n umeros e normal em base 10.
No entanto, muitos destes trabalhos possuem provas baseadas em numerosas
estimativas (interessantes) que optamos por nao incluir ou mencionar em um
livro introdut orio sobre n umeros normais.
Como o conceito de normalidade est a fortemente ligado ao conceito de
probabilidade, preparamos uma secao com denic oes e conceitos iniciais de
probabilidades geralmente vistas em um curso de teoria da medida. Tambem
buscamos apresentar o Teorema de Borel com uma prova elementar base-
ada em ideias de Sierpinski, porem com estimativas de Copeland e Erdos.
O principal teorema apresentado neste livro e o que chamamos Criterio
de Normalidade de Pjateckii-Sapiro. Este teorema pode ser utilizado (e sera
neste livro) para simplicar a prova da normalidade de algumas constantes,
ou ate mesmo deixa-las muito simples.
Conte udo
1 N umeros normais: primeiras propriedades 4
2 Algumas tecnicas para a construcao de n umeros normais 9
3 Introducao `a Teoria da Medida 15
3.1 Algumas denic oes e resultados . . . . . . . . . . . . . . . . . 15
3.2 Teorema de Borel sobre n umeros normais . . . . . . . . . . . . 20
4 Distribuicao de Sequencias 32
4.1 Sequencias equidistribudas . . . . . . . . . . . . . . . . . . . . 32
4.2 Func ao de distribuic ao Assintotica . . . . . . . . . . . . . . . . 39
5 Criterio de Normalidade 45
6 Outros Topicos 58
3
Captulo 1
N umeros normais: primeiras
propriedades
Existe algum dgito que ocorre com maior frequencia na expansao decimal
de ?
Note que na pergunta acima apareceu a palavra frequencia. Embora de
signicado intuitivo, convem apresentarmos uma deni cao para a mesma:
Denicao 1. Seja X um conjunto qualquer e (x
1
, x
2
, ...) uma seq uencia de
elementos de X. Dizemos que um conjunto Y X e visitado com frequencia
a por (x
1
, x
2
, ...), se
lim
N
#i : x
i
Y e 1 i N
N
= a.
Exerccio 2. Usando a denicao anterior:
i) Determine a frequencia de ocorrencia do dgito 1 na expansao do racional
0, 0351612.
4
5
ii) Considere o n umero real
= .122111122222222...,
onde os blocos de 1s e de 2s intercalam-se, duplicando de tamanho em cada
etapa. Mostre que a frequencia do dgito 1 nao esta determinada. Mais
precisamente: truncando apos a ocorrencia dos blocos de 1s mostre que a
frequencia deveria ser 2/3 enquanto que, truncando apos a ocorrencia dos
blocos de 2s, mostre que a frequencia deveria ser 1/3.
Observacao: Dado X = 0, 1, ..., 9, a expansao de um n umero real em
base 10 pode ser vista como uma seq uencia de elementos de X e uma lista
nita de k dgitos pode ser vista como uma sequencia nita de elementos
de X. Se (y
1
, ..., y
k
) e uma sequencia nita de elementos de X, dizemos que
(y
1
, ..., y
k
) ocorre com freq uencia a em (x
1
, x
2
, ...) se
lim
N
#i N k + 1 : (x
i
, ..., x
i+k1
) = (y
1
, ..., y
k
)
N
= a. (1.1)
E o que e um n umero normal?
Antes de apresentarmos a deni cao cabem algumas indagac oes:
1) Se escolhermos ao acaso um ponto do intervalo [0,1], qual a probabili-
dade de seu setimo dgito ser 5?
2) Se escolhermos ao acaso um ponto do intervalo [0,1], qual a probabili-
dade de seu 28
0
dgito ser 7?
3) Se escolhermos ao acaso um ponto do intervalo [0,1], qual a probabili-
dade de termos o dgito 1 ocorrendo com frequencia maior que o dgito 9
em sua expansao decimal?
6 [CAP. 1: N

UMEROS NORMAIS: PRIMEIRAS PROPRIEDADES

A terceira pergunta acima e sem d uvida mais complicada.

E um fato
conhecido que a resposta correta para ela e : zero. Alem disso, os dgitos 1
e 9 poderiam ser trocados por quaisquer outros. A resposta sempre seria a
mesma.
Denicao 3. Um n umero real e dito normal em base 10 (ou apenas nor-
mal) se em sua expansao qualquer dgito ocorre com frequencia 1/10 e qual-
quer lista nita de k dgitos ocorre com freq uencia
1
10
k
.
Assim, por exemplo, se um n umero e normal, ent ao os dgitos 0 e 7
aparecer ao em sua expans ao com frequencia 1/10 enquanto que 1329 dever a
aparecer com frequencia 1/10000.
Um resultado conhecido desde o incio do seculo XX, devido ao ma-
tem atico

Emile Borel (ver [7]) garante que quase todos os n umeros sao
normais. A expressao quase todos e uma express ao probabilstica, comum
em Teoria da Medida e ser a explicada no Captulo 3. Estamos dizendo que
se escolhermos ao acaso um n umero em [0, 1], a probabilidade deste n umero
n ao ser normal e nula.
Sendo ent ao o conjunto dos n umeros normais realmente grande (pro-
babilisticamente falando) nao deveria ser difcil apresentarmos exemplos de
n umeros normais. No entanto isso n ao e, na pr atica, simples como parece.
Como exemplo podemos observar que nao conhecemos a resposta para a per-
gunta do incio deste captulo: Existe algum dgito que ocorre com maior
frequencia na expans ao decimal de ?
Exerccio 4. Mostre que se e racional entao nao e normal.
N ao existem exemplos triviais de n umeros normais conhecidos. Ou seja,
7
utilizando apenas a denic ao dada acima, nao conhecemos nenhum exemplo
de n umero normal cuja prova da normalidade seja trivial. O primeiro exem-
plo concreto de expans ao de n umero normal foi apresentado em 1933 por
Champernowne (ver [8]):
= .012...9 000102...99 000001002...999 0000...,
obtido encadeando-se todas as listas nitas em ordem crescente de tamanho
e ordenando-se lexicogracamente as lista de mesmo tamanho.
Partindo da normalidade deste n umero, Champernowne tambem mostrou
que a constante obtida listando-se os n umeros naturais
= .123456789101112...
e normal.
Um fascinante resultado Conjecturado por Champernowne e provado por
Copeland e Erdos em 1946 (ver [9]) garante a normalidade da constante
= .2 3 5 7 11 13...
cuja expansao e obtida listando-se os n umeros primos.
Em todo este livro a palavra bloco estar a signicando lista nita de
dgitos. Por exemplo 456 e um bloco de 3 dgitos, enquanto que 628945 e um
bloco de 6 dgitos distinto de 624589. Por B
k
= b
1
...b
k
estaremos denotando
um bloco de k dgitos. Por [B
k
[ estaremos denotando o tamanho do bloco,
que com esta notac ao e igual a k. Por exemplo [4521[ = 4 e [421213[ = 6.
Notacao 5. Sejam N um n umero natural, B
k
um bloco de k dgitos e
[0, 1):
8 [CAP. 1: N

UMEROS NORMAIS: PRIMEIRAS PROPRIEDADES

Denotamos por #(B
k
; N; ) o n umero de vezes que o bloco B
k
aparece na
expansao decimal de ate seu Nesimo dgito. Ou seja: se = .a
1
a
2
a
3
... e
se N k entao
#(B
k
; N; ) = #n 1, ..., N k + 1 : (a
n
, ..., a
n+k1
) = (b
1
, ..., b
k
).
Se N < k entao #(B
k
; N; ) = 0.
Exerccio 6. Seja um n umero contido em [0, 1). Seja B
k
um bloco qualquer
de dgitos e seja T
k
o bloco que satisfaz T
k
+ B
k
= 99...99
. .
k vezes
.
Mostre que se a expansao de nao e nita
1
, entao
#(B
k
; N; ) = #(T
k
; N; 1 ).
Conclua que e normal se e somente se 1 e normal.
1
Uma expansao nita e uma expansao da forma .a
1
a
2
...a
d
0000...
Captulo 2
Algumas tecnicas para a
construcao de n umeros normais
Nesta sec ao, seguindo algumas ideias apresentadas em [8], vamos estudar
algumas tecnicas para construir n umeros normais, partindo da normalidade
de um n umero conhecido, como
= .012...9 0001...99 000001...999 0000...
Vamos provar a normalidade deste n umero no Captulo 5 . Ainda que a nor-
malidade deste n umero pareca intuitiva, convem observarmos que sua prova
n ao e trivial. Isso porque, se desejarmos analisar a frequencia do dgito 7 em
sua expans ao, por exemplo, nao e suciente calcular sua ocorrencia media
truncando apenas em (.012...9), (.012...9 0001...99) (isto e, ap os a listagem
de todos os blocos de tamanho n, para n=1,2,3,... ). De fato, com isso es-
taramos calculando apenas o limite de uma subsequencia, o que nao garante
necessariamente que exista o limite dado em (1.1). Veja tambem o Exerccio
9
10 [CAP. 2: ALGUMAS T

ECNICAS PARA A CONSTRUC

AO DE N

UMEROS NORMAIS
2.
Observacao: Seja x
1
, x
2
, ... uma lista innita de blocos. Seja
= .x
1
x
2
x
3
...
Se B
k
e um bloco qualquer, entao existem duas formas de B
k
aparecer na
expans ao de :
i) como sub-bloco de algum x
n
ii) estritamente na jun cao de dois blocos x
n
x
n+1
.
Assim
#(B
k
; N; ) = #
i
(B
k
; N; ) + #
ii
(B
k
; N; ),
onde #
i
(B
k
; N; ) denota o n umero de ocorrencias satisfazendo i), enquanto
#
ii
(B
k
; N; ) denota o n umero de ocorrencias satisfazendo ii). Segue que
#(B
k
; N; )
N
=
#
i
(B
k
; N; )
N
+
#
ii
(B
k
; N; )
N
.
Proposicao 7. Seja x
1
, x
2
, ... uma lista innita de blocos tal que [x
n
[ +
quando n +. Entao a frequencia de B
k
na expansao de
= .x
1
x
2
x
3
...
nao depende do n umero de ocorrencias de B
k
no caso ii) acima, isto e
lim
N
#
ii
(B
k
; N; )
N
= 0. (2.1)
Demonstracao. Fixado L N, existe n
0
tal que [x
n
[ > L para n n
0
. Seja
C = [x
1
[ + ... +[x
n
0
[. Para cada N > C existe um n
1
tal que
[x
1
[ + ... +[x
n
1
[ N < [x
1
[ + ... +[x
n
1
[ +[x
n
1
+1
[.
11
Segue que
#
ii
(B
k
; N; )
N

k.(n
1
+ 1)
N

k.(n
1
+ 1)
[x
1
[ + ... +[x
n
1
[

k.(n
1
+ 1)
C + L(n
1
n
0
)
.
Quando N temos que n
1
. Segue que
limsup
N
#
ii
(B
k
; N; )
N
limsup
n
1

k.(n
1
+ 1)
C + L(n
1
n
0
)
=
k
L
.
Como L e um natural qualquer e a sequencia e n ao negativa, conclumos a
prova de (2.1).
Exerccio 8. Seja x
1
, x
2
, ... uma lista innita de blocos satisfazendo: [x
n
[
+ quando n +. Se = .x
1
x
2
x
3
... e normal, entao tambem sao
normais os n umeros
2
= .x
1
x
1
x
2
x
2
x
3
x
3
...,
3
= .x
1
x
1
x
1
x
2
x
2
x
2
x
3
x
3
x
3
...,
etc.
Sugestao: Consideremos por exemplo
4
. Fixado um N, suponhamos
que com N dgitos seja possvel listar os blocos x
1
x
1
x
1
x
1
...x
n
mas n ao seja
possvel listar completamente os blocos x
1
x
1
x
1
x
1
...x
n
x
n
. Ou seja, n ao conse-
guimos listar x
n
completamente pela segunda vez. Suponhamos no entanto
que podemos listar ate m dgitos de x
n
. Fixado B
k
podemos comparar
com
4
e escrever:
#
i
(B
k
; N;
4
) = #
i
(B
k
; [x
1
[ + ... +[x
n
[; ) + #
i
(B
k
; [x
1
[ + ... +[x
n1
[ + m; )
+ 2#
i
(B
k
; [x
1
[ + ... +[x
n1
[; ).
Exerccio 9. Seja x
1
, x
2
, ... uma lista innita de blocos satisfazendo: [x
n
[
+ quando n +. Se = .x
1
x
2
x
3
... e normal entao para dgitos quais-
quer j
1
, j
2
, ..., o n umero
= .j
1
x
1
j
2
x
2
j
3
x
3
...
12 [CAP. 2: ALGUMAS T

ECNICAS PARA A CONSTRUC

AO DE N

UMEROS NORMAIS
e normal.
Agora podemos aplicar estes resultados para apresentar construc oes inte-
ressantes de n umeros normais.
Proposicao 10. Suponhamos que
= .01...9 0001...99 000001...999 ...
e normal. Entao a Constante de Champernowne
= .1234567891011...
obtida listando-se os n umeros naturais e normal.
Demonstracao. Seja x
1
= 01...9, x
2
= 00...99, etc. Entao, aplicando o
Exerccio 8, obtemos que

9
= (0...9)(0...9)...(0...9)
. .
9 vezes
(00...99)(00...99)...(00...99)
. .
9 vezes
...
e normal.
Pelo Exerccio 9 para quaisquer dgitos j
1
, j
2
, ... (vamos denotar apenas
por j) o n umero
.(j0...j9)(j0...j9)...(j0...j9) (j00...j99)(j00...j99)...(j00...j99)...
e normal. Segue que
.(10...19)(20...29)...(90...99) (100...199)(200...299)...(900...999)...
e normal. Adicionando os dgitos 123456789 ao incio da expans ao anterior
obtemos que a Constante de Champernowne
.12345678910111213...
e normal.
13
Exerccio 11. Supondo que a Constante de Champernowne
= .1234567891011...
e normal, mostre que a constante obtida retirando-se os naturais que sao
potencia de dois:
= .35679101112131415171819...
e normal.
No exerccio acima um fato importante e que as potencias de dois ocorrem
com frequencia zero sobre os naturais. Essa ideia n ao pode ser aplicada na
proposic ao abaixo.
Proposicao 12. Suponhamos que a Constante de Champernowne
.1234567891011...
e normal. Entao a constante
= .13579111315...
obtida listando-se os n umeros impares e normal.
Demonstracao. Pelo Exerccio 8 sabemos que

5
= .111112222233333...,
obtido concatenando-se cada natural repetido cinco vezes, e normal.
Alem disso pelo Exerccio 9, para dgitos quaisquer j
i
0, ..., 9,
.1j
1
1j
2
1j
3
1j
4
1j
5
2j
6
2j
7
2j
8
2j
9
2j
10
...9j
45
10j
46
10j
47
...10j
50
11...
14 [CAP. 2: ALGUMAS T

ECNICAS PARA A CONSTRUC

AO DE N

UMEROS NORMAIS
e normal. Escolhendo os dgitos 1, 3, 5, 7, 9, 1, 3, 5, 7, 9, 1, 3, 5, 7, 9, ... obtemos
que
.1113151719 2123252729 31...
e normal. Adicionando os dgitos 13579 ao incio desta expansao conclumos
que
= .13579 1113151719 2123...
e normal.
Captulo 3
Introducao `a Teoria da Medida
Neste captulo vamos apresentar algumas denic oes e enunciar resultados
conhecidos em Teoria da Medida. Vamos desenvolver estes conceitos sobre
o intervalo [0,1]. As provas para os resultados aqui enunciados podem ser
encontradas em [4]. Na segunda sec ao vamos apresentar uma prova para o
teorema de Borel que arma que quase todos os n umeros s ao normais.
3.1 Algumas denic oes e resultados
Notacao: Denotamos por T a colec ao de todos os subconjuntos de [0, 1].
Denicao 13. Uma -algebra de [0, 1] e uma colecao / de subconjuntos de
[0, 1] satisfazendo as seguintes propriedades:
1. , [0, 1] /;
2. Se X / entao X
c
= ([0, 1] X) /;
3. Se X
1
, X
2
, X
3
, ... estao em A entao

nN
X
n
/.
Note que T e uma - algebra (a maior possvel). Como / a proprie-
15
16 [CAP. 3: INTRODUC

AO
`
A TEORIA DA MEDIDA
dade 3. e valida para uni oes nitas.
Se X
1
, X
2
, ... / ent ao X
1
X
2
... = (X
c
1
X
c
2
...)
c
pertence a /.
Se X
1
, X
2
/ ent ao X
1
X
2
= X
1
X
c
2
/.
Se / e B s ao - algebras, a intersec ao de / e B e a sigma algebra formada
por todos os subconjuntos de [0, 1] que est ao em / e em B.
Exerccio 14. Mostre que a colecao formada por e todos os intervalos de
[0, 1] nao forma uma -algebra.
Denicao 15. A -algebra de Borel B e a menor -algebra que contem os
intervalos abertos.
Podemos obter B intersectando todas as - algebras que contem os inter-
valos abertos. Note que T e uma delas.
Um conjunto X [0, 1] pertencente a B ser a chamado mensuravel ou
boreliano. No que segue, vamos xar a - algebra de Borel B.
Denicao 16. Uma probabilidade em [0, 1] e uma aplicacao : B R
+
satisfazendo:
1. () = 0 e ([0, 1]) = 1
2. Se X
1
, X
2
, X
3
, ... B sao disjuntos entao
_
_
nN
X
n
_
=

n1
(X
n
).
Segue que para todo conjunto mensuravel X:
(X
c
) = 1 (X) e (X) 1.
Se X Y s ao conjuntos mensur aveis, ent ao
(X) (X) + (Y X) = (Y ).
[SEC. 3.1: ALGUMAS DEFINIC

OES E RESULTADOS 17
Se X
1
, X
2
, X
3
, ... s ao mensur aveis ent ao denindo
Y
1
= X
1
e, para n 2, Y
n
= X
n
(X
1
... X
n1
),
garantimos que Y
1
, Y
2
, Y
3
, ... s ao disjuntos e conclumos que

_
_
nN
X
n
_
=
_
_
nN
Y
n
_
=

n1
(Y
n
)

n1
(X
n
).
Exerccio 17. Mostre que se (X
n
) = 0, n=1,2... entao
_
_
nN
X
n
_
= 0.
Exerccio 18. Fixado x [0, 1] dena
x
: B R
+
por:
x
(X) = 0 se
x / X e
x
(X) = 1 se x X. Mostre que
x
e uma probabilidade.
Exerccio 19. Seja 0 a
1
, a
2
, ... uma sequencia de n umeros reais tais que
a
1
+a
2
+... = 1. Seja
1
,
2
, ... uma sequencia de probabilidades. Mostre que
: B R
+
, denida por
(X) = a
1

1
(X) + a
2

2
(X) + ...
e uma probabilidade.
Proposicao 20. Existe uma unica probabilidade m em [0, 1] satisfazendo:
m([a, b]) = b a para todo intervalo [a, b] [0, 1].
Denicao 21. Vamos chamar a probabilidade m explicitada na proposicao
anterior de medida (ou probabilidade) de Lebesgue em [0, 1].
Denicao 22. Dada uma probabilidade , dizemos que uma propriedade e
verdadeira -q.t.p. (quase todos os pontos) se existe um conjunto mensuravel
X [0, 1] tal que (X) = 1 sobre o qual a propriedade e verdadeira. Quando
a probabilidade considerada e a medida de Lebesgue dizemos que a proprie-
dade e verdadeira em q.t.p.
18 [CAP. 3: INTRODUC

AO
`
A TEORIA DA MEDIDA
Exerccio 23. Mostre que quase todos os pontos do intervalo [0, 1] sao ir-
racionais. Essa armacao e verdadeira se considerarmos uma probabilidade
qualquer?
A proposicao abaixo sera utilizada futuramente.
Proposicao 24. Seja E um conjunto mensuravel. Para cada > 0, existe
uma colecao de intervalos abertos O = A
1
A
2
... tal que E O e

iN
m(A
i
) m(E) < .
Agora passamos ao estudo de integrais de func oes.
Denicao 25. Dizemos que uma funcao f : [0, 1] [0, 1] e mensuravel se
para todo X B temos que f
1
(X) = x [0, 1] : f(x) X esta em B.
Dizemos que uma funcao mensuravel g : [0, 1] [0, 1] e simples se ela
assume um n umero nito de valores. Se os valores assumidos sao a
1
, ..., a
n
,
denindo A
i
= g
1
(a
i
) temos que A
1
, ..., A
n
s ao mensur aveis e disjuntos.
Alem disso, g = a
1
1
A
1
+ ... + a
n
1
A
n
, onde
1
A
(x) :=
_
_
_
1, se x A
0, se x / A
.
Neste caso, dada uma probabilidade , denimos a integral da fun cao simples
g por:
_
g d = a
1
(A
1
) + ... + a
n
(A
n
).
Denicao 26. Se f : [0, 1] [0, 1] e uma funcao mensuravel e e uma
probabilidade, denimos
_
f d := sup
__
g d : g f e g e simples
_
,
onde g f quando g(x) f(x) para todo x [0, 1].
[SEC. 3.1: ALGUMAS DEFINIC

OES E RESULTADOS 19
Enunciamos agora tres importantes resultados.
Teorema 27 (Convergencia Mon otona). Seja f
1
, f
2
, ... uma sequencia de
funcoes mensuraveis, f
n
: [0, 1] [0, 1], satisfazendo: f
1
(x) f
2
(x) ...
para todo x [0, 1].
Dena f(x) = lim
n
f
n
(x). Entao f e mensuravel e para toda probabilidade

_
f d = lim
n
_
f
n
d.
Teorema 28 (Lemma de Fatou). Seja f
1
, f
2
, ... uma sequencia de funcoes
mensuraveis, f
n
: [0, 1] [0, 1]. Dena f(x) = liminf
n
f
n
(x). Entao f e
mensuravel e para toda probabilidade
_
f d liminf
n
_
f
n
d.
Teorema 29 (Convergencia Dominada). Seja uma probabilidade em [0, 1]
e seja f
1
, f
2
, ... uma sequencia de funcoes mensuraveis, f
n
: [0, 1] [0, 1].
Seja f : [0, 1] [0, 1] uma funcao tal que f
n
(x) f(x) q.t.p. Entao f
e mensuravel e
_
f d = lim
n
_
f
n
d.
Observac oes: O leitor deve ter cuidado ao estudar espacos mais gerais,
onde sao necess arias hip oteses adicionais. Por exemplo, em R cada func ao
f
n
= (1/n)1
[0,n]
e mensuravel e com integral (de Lebesgue) igual a 1. Estas
func oes convergem uniformemente para a func ao f 0. No entanto a integral
de f e igual a zero.
Encerramos com um resultado que nos permite interpretar probabilidades
como aplicac oes lineares de C([0, 1]) em R, onde denotamos por C([0, 1]) o
espaco vetorial formado pelas func oes f : [0, 1] R contnuas.
20 [CAP. 3: INTRODUC

AO
`
A TEORIA DA MEDIDA
Teorema 30 ( Representac ao de Riesz). Seja uma aplicacao que para cada
funcao f C([0, 1]) associa um n umero real. Suponhamos que:
1. e linear, ou seja (af + bg) = a(f) + b(g), para quaisquer a, b R
e f, g C([0, 1])
2. (f) 0 se f(x) 0 para todo x
3. (1
[0,1]
) = 1
Entao existe uma unica probabilidade em [0, 1] tal que (f) =
_
f d para
toda fun cao contnua f : [0, 1] [0, 1].
Utilizando este Teorema, e possvel considerar que uma probabilidade em
[0, 1] e uma aplica cao linear : C[0, 1] R satisfazendo: (f) 0 se f 0
e (1) = 1.
3.2 Teorema de Borel sobre n umeros normais
Fixado um n umero natural b 2 podemos representar os n umeros do inter-
valo [0, 1] utilizando a base b. A construc ao da representac ao em base b e
an aloga `a que fazemos em base 10, utilizando um smbolo para cada elemento
do conjunto 0, 1, ..., (b 1) e que aqui chamaremos bdgitos. Um n umero
real e dito normal em base b se, em sua expansao nesta base, cada smbolo
ocorre com frequencia 1/b e cada bloco de tamanho k ocorre com frequencia
1
b
k
. Denotamos por #
b
(B
k
; N; ) o n umero de vezes que o bloco B
k
aparece
na expansao de em base b, ate seu Nesimo b-dgito.
Denicao 31. Um n umero [0, 1] e absolutamente normal se for normal
em todas as bases b 2.
[SEC. 3.2: TEOREMA DE BOREL SOBRE N

UMEROS NORMAIS 21
Teorema 32 (Borel). Quase todos os n umeros do intervalo [0,1] sao abso-
lutamente normais.
Esta secao e dedicada ` a prova do Teorema de Borel.
Iniciamos observando que h a uma correspondencia entre a expans ao de
um n umero nas bases b e b
k
. De fato cada bloco de tamanho k na expansao
em base b corresponde a um bdgito na expans ao em base b
k
.
Exemplo 33. Se b = 2 entao b
3
= 8. Para cada bloco de tamanho 3 na base
2 corresponde um bloco de tamanho 1 na base 8.
Denicao 34. Um real e simplesmente normal em base b se em sua ex-
pansao nesta base cada um dos b-dgitos ocorre com frequencia 1/b.
Vamos mostrar que a prova do Teorema de Borel pode ser reduzida ao
estudo dos n umeros simplesmente normais.
Lema 35. Fixados [0, 1] e uma base b 2 temos: se , b, b
2
, ... sao
simplesmente normais em todas as bases: b, b
2
, ... (potencias de b), entao
e normal em base b.
Demonstracao. Fixado o bloco B
k
, consideramos a base b
k
e o correspondente
bloco de tamanho 1 que denotaremos por d. Para cada N:
#
b
(B
k
; k(N+1)1; ) = #
b
k(d; N; )+#
b
k(d; N; b.)+...+#
b
k(d; N; b
k1
).
Como por hipotese , b, ..., b
k1
s ao simplesmente normais na base b
k
, con-
clumos que
lim
N
#
b
(B
k
; k(N + 1) 1; )
kN
=
1
b
k
.
22 [CAP. 3: INTRODUC

AO
`
A TEORIA DA MEDIDA
Como
lim
N
kN
k(N + 1) 1
= 1,
conclumos a prova.
Exerccio 36. Mostre que se para cada base b 2, quase todos os n umeros
sao simplesmente normais, entao quase todos os n umeros sao absolutamente
normais.
sugestao: Utilize o lema anterior e o Exerccio 17.
Segue que o Teorema de Borel e consequencia do teorema abaixo
Teorema 37. Fixada uma base b 2, quase todos os n umeros sao simples-
mente normais nesta base.
A prova que vamos apresentar utiliza estimativas contidas em [9].
No que segue, vamos analisar os blocos de tamanho k, denotados por B
k
.
Denicao 38. Fixado (0, 1), vamos dizer que um bloco B
k
escrito em
base b e normal se qualquer bdgito ocorre em B
k
com freq uencia
1
entre
1
b
e
1
b
+ .
Para provarmos o Teorema 37, ser a util uma estimativa para o n umero
de blocos de tamanho k que nao s ao normais.
Exemplo 39. O bloco 1234567890 e normal em base 10, seja qual for a
escolha de (0, 1).
1
A expressao freq uencia aqui representa a razao entre o n umero de ocorrencias e
n umero total de b-dgitos, k.
[SEC. 3.2: TEOREMA DE BOREL SOBRE N

UMEROS NORMAIS 23
Exemplo 40. Seja = (.a
1
a
2
a
3
...)
b
um n umero normal em base b. Fixado
, temos que, para n sucientemente grande, o bloco a
1
a
2
...a
n
e normal
em base b.
Lema 41. Sejam c um real positivo, B
k
um bloco da base b e (0, 1). Se
cada bdgito ocorre entre
c(2)
b
e
c(2+)
b
vezes em B
k
, entao B
k
e normal
em base b.
Demonstracao. Se cada bdgito ocorre em B
k
entre
c(2)
b
e
c(2+)
b
vezes,
ent ao B
k
possui entre c(2 ) e c(2 + ) dgitos e cada dgito ocorre em B
k
com freq uencia entre
(2 )
b(2 + )
e
(2 + )
b(2 )
.
Resta vericar que
1
b

(2 )
b(2 + )

(2 + )
b(2 )

1
b
+ .
Mas
1
b

(2 )
b(2 + )
1 b
(2 )
(2 + )
2 + 2b b
2
2
(1 2b b)
1 2b b 1
2 b(2 + )
o que e verdade pois b 2 e > 0. Analogamente,
(2 + )
b(2 )

1
b
+ 2 b(2 ),
o que e verdade pois b 2 e (0, 1).
24 [CAP. 3: INTRODUC

AO
`
A TEORIA DA MEDIDA
Notacao 42. Com base neste ultimo lema, xados um inteiro positivo k e
(0, 1), vamos denotar por
r = r(k, ) =
_
k(2 )
2b
_
e R = R(k, ) =
_
k(2 + )
2b
_
,
onde z| denota o maior inteiro menor ou igual a z e ,z| denota o menor
inteiro maior ou igual a z.
Corolario 43. Sejam k um inteiro positivo, (0, 1) e B
k
um bloco em
base b. Se cada bdgito ocorre entre r +1 e R1 vezes em B
k
, entao B
k
e
normal na base b.
Demonstracao. Inicialmente, note que
r
k(2 )
2b
< r + 1 e R 1 <
k(2 + )
2b
R,
logo cada dgito da base b ocorre entre
k(2)
2b
e
k(2+)
2b
vezes em B
k
. Da,
aplicando o lema anterior com c = k/2, conclumos a prova.
Notacao 44. Fixado um inteiro positivo k, para cada s vamos denotar por
T
s
= T
s
(k) = (b 1)
ks
_
_
k
s
_
_
= (b 1)
ks
k!
(k s)!s!
.
Lema 45. Dados um inteiro positivo k e (0, 1), o n umero de blocos de
tamanho k que nao sao normais na base b e menor ou igual a
b
_
r

s=0
T
s
+
k

s=R
T
s
_
.
Demonstracao. Pelo corolario anterior, e suciente estimar um valor m aximo
para o n umero de blocos de tamanho k que possuem pelo menos um bdgito
d que ocorre entre 0 e r ou entre R e k vezes em sua expans ao.
[SEC. 3.2: TEOREMA DE BOREL SOBRE N

UMEROS NORMAIS 25
Armamos que o n umero de blocos de tamanho k que contem o bdgito
d ,= 0 ocorrendo s vezes e
T
s
= (b 1)
ks
k!
(k s)!s!
.
De fato, h a
_
_
k
s
_
_
=
k!
(ks)!s!
formas diferentes de os dgitos d estarem posici-
onados. Nas demais posic oes ha (b1) possibilidades de dgitos. Conclumos
que o n umero de blocos de tamanho k onde o dgito d ocorre entre 0 e r ou
entre R e k vezes em sua expans ao e igual a
r

s=0
T
s
+
k

s=R
T
s
Lembrando que temos b dgitos na base b, conclumos a prova.
Lema 46. Fixados um inteiro positivo k e (0, 1), com as notacoes 42 e
44 temos:
(i)

r
s=0
T
s
< (k + 1)T
r
(ii)

k
s=R
T
s
< (k + 1)T
R
.
Demonstracao. Para vericarmos (i) observamos que r < k/b e que
(k k/b)
k/b
= (b 1), portanto j k/b,
(k j + 1)
j
> b 1. (3.1)
26 [CAP. 3: INTRODUC

AO
`
A TEORIA DA MEDIDA
Da:
r

s=0
T
s
= T
r
+
r1

s=0
_
(b 1)
ks
k!
(k s)!s!
_
= T
r
+
r1

s=0
_
(b 1)
kr
(b 1)
rs
k!
(k s)!s!
_
(3.1)
<
< T
r
+
r1

s=0
_
(b 1)
kr
_
r

j=s+1
(k j + 1)
j
_
k!
(k s)!s!
_
= T
r
+
r1

s=0
_
(b 1)
kr
k!
(k r)!r!
_
=
r

s=0
T
r
= (r + 1)T
r
< (k + 1)T
r
.
Para vericarmos (ii) observamos que R > k/b e que
k/b
(k k/b)
=
1
b 1
, portanto j
k
b
+ 1,
j
(k j + 1)
>
1
b 1
. (3.2)
Da:
k

s=R
T
s
= T
R
+
k

s=R+1
_
(b 1)
ks
k!
(k s)!s!
_
= T
R
+
k

s=R+1
_
(b 1)
kR
_
1
(b 1)
sR
_
k!
(k s)!s!
_
(3.2)
<
< T
R
+
k

s=R+1
_
(b 1)
kR
_
s

j=R+1
j
(k j + 1)
_
k!
(k s)!s!
_
= T
R
+
k

s=R+1
_
(b 1)
kR
k!
(k R)!R!
_
=
k

s=R
T
R
< (k + 1)T
R
.
Dos Lemas 45 e 46 obtemos
[SEC. 3.2: TEOREMA DE BOREL SOBRE N

UMEROS NORMAIS 27
Corolario 47. Dados um inteiro positivo k e (0, 1), o n umero de blocos
de tamanho k que nao sao normais na base b e menor ou igual a
b(k + 1)(T
r
+ T
R
).
Observamos que, dados um inteiro positivo k e um inteiro positivo s < k :
T
s+1
T
s
=
(b 1)
ks1 k!
(ks1)!(s+1)!
(b 1)
ks
k!
(ks)!s!
=
k s
(s + 1)(b 1)
. (3.3)
Decorre da que
T
s+1
T
s
e decrescente em s, ou seja,
0 < s
1
< s
2
< k
T
s
1
+1
T
s
1
>
T
s
2
+1
T
s
2
. (3.4)
Notacao 48. Fixados um inteiro positivo k e (0, 1), vamos denotar por
r

= r

(k, ) =
_
k
2b
(2

2
)
_
=
_
k(4 )
4b
_
e
R

= R

(k, ) =
_
k
2b
(2 +

2
)
_
=
_
k(4 + )
4b
_
.
Vamos denotar, ainda, por

1
=
T
r

T
r

1
;
2
=
T
R

T
R

+1
e = () = 1 +

4(b 1)
Note que, pela Notac ao 42
r r

R.
Lema 49. Com as notacoes anteriores temos que
1
,
2
> 1.
28 [CAP. 3: INTRODUC

AO
`
A TEORIA DA MEDIDA
Demonstracao.

E claro que = 1 +

4(b1)
> 1. Alem disso,

1
=
T
r

T
r

1
(3.3)
=
k r

+ 1
r

(b 1)
=
k
_
k(4)
4b
_
+ 1
_
k(4)
4b
_
1
(b 1)

k
k(4)
4b
+ 1
k(4)
4b
1
(b 1)

k
k
b
+
k
4b
k
b
1
(b 1)
=
(b1)k
b
+
k
4b
k
b
1
(b 1)
=
_
(b 1) +

4
_
1
(b 1)
= 1 +

4(b 1)
= .
Da mesma forma

2
=
T
R

T
R

+1
(3.3)
=
(R

+ 1)(b 1)
k R

=
(
_
k(4+)
4b
_
+ 1)(b 1)
k
_
k(4+)
4b
_

k(4+)
4b
+ 1
k
k(4+)
4b
(b 1)
k
b
+
k
4b
k
k
b
(b 1)
=
k
b
+
k
4b
(b1)k
b
(b 1) =
1 +

4
b 1
(b 1) = 1 +

4
> .
Lema 50. Com as notacoes anteriores, dado (0, 1), para cada k inteiro
positivo sucientemente grande temos:
i) T
r

k
5b
< T
r
< b
k
;
ii) T
R

k
5b
< T
R
< b
k
.
Demonstracao. A segunda desigualdade de i) e ii) decorre do Binomio de
Newton pois
b
k
= ((b 1) + 1)
k
=
k

s=0
_
_
k
s
_
_
(b 1)
ks
=
k

s=0
T
s
[SEC. 3.2: TEOREMA DE BOREL SOBRE N

UMEROS NORMAIS 29
e r

, R

0, ..., k.
Para provarmos a primeira desigualdade de i) observamos inicialmente
que
k(4 )
4b

k(2 )
2b
=
k
4b
=
_
k(4 )
4b
_

_
k(2 )
2b
_
>
k
4b
2.
Logo, para k sucientemente grande,
r

r =
_
k(4 )
4b
_

_
k(2 )
2b
_
>
k
4b
2
k
5b
.
Ent ao, aplicando o lema anterior, obtemos

k
5b
Lema 49

k
5b
1
<
r

r
1
=
_
T
r

T
r

1
_
r

r
(3.4)
<
<
T
r

T
r

1
T
r

1
T
r

2
...
T
r+1
T
r
=
T
r

T
r
.
A prova da primeira desigualdade de ii) e analoga:
k(2 + )
2b

k(4 + )
4b
=
k
4b
k grande
= R R

>
k
5b
,
da

k
5b
Lema 49

k
5b
2
<
RR

2
=
_
T
R

T
R

+1
_
RR

(3.4)
<
<
T
R

T
R

+1
T
R

+1
T
R

+2
...
T
R1
T
R
=
T
R

T
R
.
Corolario 51. Dados (0, 1) e um inteiro positivo k sucientemente
grande, o n umero de blocos de tamanho k que nao sao (, 1)normais na
base b e menor ou igual a
2b(k + 1)
_

5b
b
_
k
.
30 [CAP. 3: INTRODUC

AO
`
A TEORIA DA MEDIDA
Demonstracao. Pelos tens i) e ii) do ultimo lema temos
(T
r
+ T
R
)
k
5b
< 2b
k
,
para k sucientemente grande. Da
b(k + 1)(T
r
+ T
R
) 2b(k + 1)
_

5b
b
_
k
.
Agora basta aplicar o Corolario 47.
Lema 52. Dado (0, 1) existem = () < 1 e k
0
tais que, para todo
k k
0
, o n umero de blocos de tamanho k que nao sao normais na base b
e menor que b
.k
.
Demonstracao. Aplicando o Corolario anterior, vemos que e suciente mos-
trar que existe < 1 tal que para k sucientemente grande
2b(k + 1)
_

5b
b
_
k
< b
.k
.
Para isso observamos que, como > 1, ent ao

5b
< 1, e

5b
b < b.
Logo podemos escolher um c < 1 tal que

5b
b < b
c
. Seja c

satisfazendo
0 < c

< 1 c. Para k sucientemente grande

2b(k + 1) < b
c

k
,
pois a expressao ` a esquerda e linear em k, enquanto a express ao `a direita e
exponencial em k. Segue que
2b(k + 1)
_

5b
b
_
k
< b
(c

+c)k
Chamando = c + c

conclumos a prova.
[SEC. 3.2: TEOREMA DE BOREL SOBRE N

UMEROS NORMAIS 31
Prova do Teorema 37:
Para cada bloco B
k
= b
1
...b
k
em base b associamos o intervalo
C(B
k
) :=
_
b
1
...b
k
b
k
,
b
1
...b
k
+ 1
b
k
_
.
Fixados m N e =
1
m
, tomamos e k
0
determinados pelo lema anterior.
Seja
X
m,k
= C(B
k
) : B
k
n ao e
1
m
normal.
Seja
X
m
=

sk
0
_
ks
X
m,k
.
Se est a em [0, 1] X
m
ent ao para qualquer bdgito d:
1
b

1
m
liminf
N
#
b
(d; N; )
N
limsup
N
#
b
(d; N; )
N

1
b
+
1
m
.
Como, pelo lema anterior, X
m,k
tem no m aximo b
k
intervalos, todos de
tamanho
1
b
k
, conclumos que a medida de Lebesgue m(X
m,k
) e menor ou
igual a (b
1
)
k
. Segue que para cada s k
0
:
m(X
m
) m
_
_
ks
X
m,k
_
(b
1
)
s
+ (b
1
)
s+1
+ ... (b
1
)
s
1
1 (b
1
)
.
Ent ao como s e qualquer, fazendo s , conclumos que m(X
m
) = 0. Pelo
Exerccio 17 o conjunto X = X
1
X
2
... tem medida zero. Observamos que
se est a em [0, 1] X ent ao e simplesmente normal na base b.
Captulo 4
Distribuicao de Sequencias
Vamos iniciar este captulo com o estudo de sequencias equidistribudas em
[0, 1]. Como veremos abaixo, este conceito est a intimamente ligado com o de
normalidade. Na se cao seguinte apresentamos o conceito de func ao de distri-
buic ao, relacionado ao estudo de expans oes quaisquer e n ao necessariamente
normais.
4.1 Sequencias equidistribudas
Em [12] h a uma excelente exposic ao de resultados sobre sequencias equidis-
tribudas. Vamos aqui expor apenas alguns resultados uteis para provar o
Criterio de Normalidade, que sera apresentado no proximo captulo, junto
com algumas aplicacoes.
Notacao 53. Seja (x
n
)
nN
uma seq uencia de n umeros em [0, 1]. Dados um
conjunto I [0, 1] e um natural N, denotamos por #(I; N; (x
n
)) o n umero
32
[SEC. 4.1: SEQU

ENCIAS EQUIDISTRIBU

IDAS 33
de vezes em que os N primeiros termos de (x
n
)
nN
visitam I, ou seja
#(I; N; (x
n
)) = #s 1, ...N : x
s
I.
Se e um n umero real, denotamos por ou mod(1), a parte fra-
cion aria de (o unico real em [0, 1) que difere de por um inteiro). Se (x
n
)
e uma sequencia de n umeros reais, denotaremos por (x
n
) a correspondente
sequencia formada pelas partes fracion arias dos x
n
.
Seja = .a
1
a
2
a
3
... Construmos, a partir de , uma sequencia x
n
=
10
n
= 10
n
mod (1). Assim, por exemplo:
x
0
= 10
0
= .a
1
a
2
a
3
...,
x
1
= 10
1
= .a
2
a
3
a
4
...,
x
2
= 10
2
= .a
3
a
4
a
5
...,
Se considerarmos a aplicac ao
T : [0, 1) [0, 1), denida por T(x) = 10x = 10x mod(1),
vemos que (x
n
) representa a orbita de pela aplicacao T, ou seja
x
0
= ,
x
1
= T(),
x
2
= T
2
() = T(T()), ...
Denicao 54. Dado um bloco B
k
= b
1
...b
k
, denimos o cilindro de B
k
por
C(B
k
) = .a
1
a
2
... : a
1
= b
1
, ..., a
k
= b
k

=
_
(.b
1
...b
k
), (.b
1
...b
k
) +
1
10
k
_
.
34 [CAP. 4: DISTRIBUIC

AO DE SEQU

ENCIAS

E natural esperarmos que as ocorrencias de B

k
na expansao de estejam
relacionadas com as visitas de ao intervalo C(B
k
). Por exemplo, se o quinto
dgito de e 2 ent ao naturalmente 10
4
[2/10, 3/10), ou seja 10
4
C(2).
Exerccio 55.
#(B
k
; N; ) = #(C(B
k
); N k + 1; (10
n
)).
Em particular
#(B
k
; N; ) #(C(B
k
); N; (10
n
)) #(B
k
; N; ) + k.
Segue do exerccio acima que se e normal ent ao a sequencia (10
n
)
visita:
[0, 1/10), ..., [9/10, 1) com frequencia 1/10.
[0,
1
100
), ..., [
99
100
, 1) com frequencia 1/100, etc.
Exerccio 56. e normal se e somente se, para quaisquer naturais k e
x com
_
x
10
k
,
x+1
10
k
_
[0, 1), temos que
lim
N
1
N
#
__
x
10
k
,
x + 1
10
k
_
; N; (10
n
)
_
=
1
10
k
.
O exerccio acima indica que quando e normal, a sequencia (10
n
)
tem uma distribuicao uniforme sobre o intervalo [0, 1].
Denicao 57. Uma seq uencia (x
n
) em [0, 1] e dita equidistribuda se,
dados quaisquer reais r e s com 0 r < s 1, temos que
lim
N
1
N
#([r, s); N; (x
n
)) = s r.
Exerccio 58. Mostre que seria equivalente, na denicao anterior, conside-
rar intervalos da forma [r, s], (r, s), (r, s].
[SEC. 4.1: SEQU

ENCIAS EQUIDISTRIBU

IDAS 35
Exerccio 59. Mostre que e normal se e somente (10
n
) e equidis-
tribuda.
Em alguns momentos sera conveniente uma an alise que nao considere
intervalos do tipo [0, s) nem [r, 1). Para isso ser a util o lema abaixo.
Lema 60. Uma seq uencia (x
n
) de n umeros em [0,1) e equidistribuda se e
somente se para quaisquer 0 < r < s < 1
lim
N
1
N
#([r, s); N; (x
n
)) = s r. (4.1)
Demonstracao. Supondo (4.1) e xado 0 < x < 1, temos que para quaisquer
r, s satisfazendo 0 < r < x < s < 1:
1 s + x = 1 lim
N
#([x, s); N; (x
n
))
N
limsup
N
#([0, x); N; (x
n
))
N
liminf
N
#([0, x); N; (x
n
))
N
lim
N
#([r, x); N; (x
n
))
N
x r.
Fazendo s 1 e r 0 conclumos que
lim
N
#([0, x); N; (x
n
))
N
= x.
Segue tambem que
lim
N
#([x, 1); N; (x
n
))
N
= 1 lim
N
#([0, x); N; (x
n
))
N
= 1 x.
Teorema 61. Uma seq uencia (x
n
) em [0, 1] e equidistribuda se e somente
se, para toda funcao contnua f : [0, 1] R, satisfazendo f(0) = f(1):
lim
N
1
N
N

n=1
f(x
n
) =
_
1
0
f(x) dx. (4.2)
36 [CAP. 4: DISTRIBUIC

AO DE SEQU

ENCIAS
Demonstracao. (=) Se (x
n
) e equidistribuda entao (4.2) e satisfeita para
qualquer func ao do tipo f = 1
[r,s]
, 0 < r < s < 1. Se f e uma func ao escada,
digamos,
f(x) =
k1

i=0
c
i
1
[r
i
,r
i+1
)
(x), 0 < r
0
< r
1
< ... < r
k
< 1,
ent ao,
lim
N
1
N
N

n=1
f ((x
n
)) =
k1

i=0
c
i
lim
N
1
N
N

n=1
1
[r
i
,r
i+1
)
((x
n
))
=
k1

i=0
c
i
_
1
0
1
[r
i
,r
i+1
)
(x) dx
=
_
1
0
f (x) dx.
Vamos supor agora que f e uma func ao contnua. Neste caso, pela denic ao
de integral de Riemann, dado > 0, existem duas funcoes escada f
1
e f
2
tais
que f
1
(x) f(x) f
2
(x) para todo x [0, 1] e
_
1
0
[f
2
(x) f
1
(x)] dx .
Ent ao:
_
1
0
f(x)dx
_
1
0
f
1
(x)dx = lim
N
1
N
N

n=1
f
1
(x
n
)
= liminf
N
1
N
N

n=1
f
1
(x
n
) liminf
N
1
N
N

n=1
f(x
n
)
limsup
N
1
N
N

n=1
f(x
n
) limsup
N
1
N
N

n=1
f
2
(x
n
)
= lim
N
1
N
N

n=1
f
2
(x
n
) =
_
1
0
f
2
(x)dx

_
1
0
f(x)dx + .
[SEC. 4.1: SEQU

ENCIAS EQUIDISTRIBU

IDAS 37
Como pode ser arbitrariamente pequeno, conclumos que obrigatoria-
mente
liminf
N
1
N
N

n=1
f(x
n
) = limsup
N
1
N
N

n=1
f(x
n
) =
_
1
0
f(x) dx.
() Seja [r, s) um intervalo arbitr ario, onde 0 < r < s < 1. Basta
mostrarmos que
lim
N
1
N
N

n=1
1
[r,s)
(x
n
) =
_
1
0
1
[r,s)
(x) dx. (4.3)
Dado > 0, como 0 < r < s < 1, existem duas fun coes cont nuas g
1
e g
2
(em forma de trapezio), g
1
(0) = g
1
(1) = g
2
(0) = g
2
(1) = 0, satisfazendo:
g
1
(x) 1
[r,s)
(x) g
2
(x) x [0, 1)
e
_
1
0
g
2
(x) g
1
(x) dx .
Sobre g
1
e g
2
podemos aplicar a hipotese da recproca do teorema e ent ao:
s r
_
1
0
g
2
(x)dx
_
1
0
g
1
(x)dx
hip otese
= lim
N
1
N
N

n=1
g
1
(x
n
)
= liminf
N
1
N
N

n=1
g
1
(x
n
) liminf
N
1
N
N

n=1
1
[r,s)
(x
n
)
limsup
N
1
N
N

n=1
1
[r,s)
(x
n
) lim
N
1
N
N

n=1
g
2
(x
n
)
hip otese
=
=
_
1
0
g
2
(x)dx
_
1
0
g
1
(x)dx + s r + .
Como pode ser arbitrariamente pequeno, conclumos a prova.
Encerramos esta sec ao com alguns resultados que ser ao uteis futuramente.
38 [CAP. 4: DISTRIBUIC

AO DE SEQU

ENCIAS
Proposicao 62. Se (x
1
n
), (x
2
n
), ..., (x
k
n
) sao k seq uencias equidistribudas, entao
tambem e equidistribuda a seq uencia
(x
n
) := x
1
1
, ..., x
k
1
, x
1
2
, ..., x
k
2
, ....
Demonstracao. Inicialmente observamos que
#([r, s); kN; (x
n
)) =
k

j=1
#([r, s); N; (x
j
n
)),
e portanto
lim
N
1
kN
#([r, s); kN; (x
n
)) =
1
k
lim
N
1
N
#([r, s); kN; (x
n
))
=
1
k
lim
N
1
N
k

j=1
#([r, s); N; (x
j
n
))
=
1
k
k

j=1
lim
N
1
N
#([r, s); N; (x
j
n
)) = s r.
Exerccio 63. Se (x
n
) e equidistribuda e (y
n
) e convergente, entao
(x
n
+ y
n
) e equidistribuda.
Exerccio 64. Se x
n
e equidistribuda e c e um inteiro entao a sequencia
(c.(x
n
)) e equidistribuda
Como consequencia conclumos que se e normal, ent ao c e normal
para qualquer inteiro c.
[SEC. 4.2: FUNC

AO DE DISTRIBUIC

AO ASSINT

OTICA 39
4.2 Funcao de distribuicao Assint otica
Convencao- Dado a [0, 1), convencionamos que para qualquer seq uencia
(x
n
) em [0, 1).
#([a, a); N; (x
n
)) = 0.
Denicao 65. Seja (x
n
) uma seq uencia de n umeros em [0, 1]. Suponhamos
que para cada x [0, 1] existe o
lim
N
1
N
#([0, x); N; (x
n
)).
Entao dizemos que (x
n
) possui a funcao de distribuicao assintotica
(abrev. f.d.a.) z : [0, 1] [0, 1] denida por
z(x) = lim
N
1
N
#([0, x); N; (x
n
)).
Exerccio 66. Mostre que a sequencia (10
n
), onde esta denido no
Exerccio 2, nao possui uma funcao de distribuicao assintotica.
Se a f.d.a. z existir ent ao ela e nao decrescente, com z(0) = 0 (pela
convencao anterior) e z(1) = 1. Uma func ao e equidistribuda se e somente
se tem a f.d.a. z(x) = x.
Denicao 67. Seja (x
n
) uma seq uencia de n umeros em [0, 1]. Dizemos que
uma fun cao z : [0, 1] [0, 1] e uma funcao de distribuicao (abrev. f.d.)
de (x
n
) se existe uma seq uencia crescente de naturais N
1
, N
2
, ... tal que para
cada x [0, 1]
lim
N
i

1
N
i
#([0, x); N
i
; (x
n
)) = z(x).
Alternativamente diremos tambem que z e uma f.d. de (x
n
) sobre N
1
, N
2
, ...,
quando for util destacar (N
i
).
40 [CAP. 4: DISTRIBUIC

AO DE SEQU

ENCIAS
Obviamente uma f.d. e uma candidata a ser f.d.a. Enquanto uma
sequencia pode nao ter uma f.d.a., queremos mostrar que ela sempre ad-
mite uma f.d. No pr oximo captulo esse fato ser a util; l a vamos supor que
uma sequencia tem pelo menos uma fun cao de distribuicao z e mostrar que
obrigatoriamente qualquer func ao de distribui cao satisfaz z(x)=x.
Lema 68. Seja (F
n
) = F
1
, F
2
, ... uma seq uencia de funcoes F
n
: [0, 1] [0, 1]
e C um conjunto enumeravel de [0, 1]. Entao existe uma subseq uencia (F
n
j
)
de (F
n
) tal que
lim
j
F
n
j
(x)
existe para todo x de C.
Demonstracao. Basta usar o argumento da diagonal de Cantor e que toda
seq uencia limitada possui subseq uencia convergente:
Suponhamos C = x
1
, x
2
, .... Como (F
n
(x
1
))
nN
e limitada, possui uma
subseq uencia convergente que denotaremos por (F
1
n
(x
1
)). Analogamente,
(F
1
n
(x
2
))
nN
possui uma subseq uencia convergente, digamos (F
2
n
(x
2
)). Con-
tinuando o processo sempre obtemos um novo renamento da seq uencia de
func oes inicial. Tomamos agora a seq uencia (F
n
j
) de fun coes, formada pela
escolha da j-esima fun cao de (F
j
n
), para j = 1, 2, 3, ..., ou seja, tomando-se a
primeira func ao de (F
1
n
), a segunda func ao de (F
2
n
) e assim por diante. Ent ao
(F
n
j
) satisfaz a condic ao desejada.
Teorema 69. Toda seq uencia (x
n
) em [0, 1] possui pelo menos uma f.d..
Demonstracao. Considere a seq uencia de func oes F
N
: [0, 1] [0, 1] dadas
por
F
N
(x) =
1
N
#([0, x); N; (x
n
)).
[SEC. 4.2: FUNC

AO DE DISTRIBUIC

AO ASSINT

OTICA 41
Usando o lema anterior, com C = Q, obtemos uma subseq uencia (N
j
) tal
que (F
N
j
(x)) converge, para todo x racional em [0, 1]. A func ao limite z(x) =
lim
j
F
N
j
(x) est a portanto bem denida nos racionais. Considere agora
z(x) = limsup
j
F
N
j
(x) e z(x) = liminf
j
F
N
j
(x). Observamos que
z(x) = z(x) = z(x)
para todo x racional. Seja y [0, 1]Q. Se z e contnua em y, seja (x
i
) uma
seq uencia de racionais que converge a y pela direita. Ent ao, como z e n ao
decrescente, para todo i N

temos
z(y) z(x
i
) = z(x
i
),
e portanto
z(y) lim
i
z(x
i
)
z e contnua em y
= z( lim
i
x
i
) = z(y).
Conclumos que C = y [0, 1]Q; z e descontnua em y e o maior con-
junto onde z pode diferir de z. Como z e nao decrescente, o conjunto C
e enumer avel. Aplicando novamente o Lema anterior garantimos uma sub-
seq uencia (N
s
) de (N
j
) tal que existe lim
s
F
N
s
(x) x [0, 1]. A func ao
z : [0, 1] [0, 1] dada por z(x) = lim
s
F
N
s
(x) e ent ao uma f.d. de (x
n
)
sobre (N
s
).
Corolario 70. Seja (x
n
) uma seq uencia em [0, 1]. Fixados x
0
(0, 1) e
[0, 1], suponhamos que existe uma seq uencia crescente de n umeros naturais
N
1
, N
2
, ... tal que
lim
N
j

1
N
j
#([0, x
0
); N
j
; (x
n
)) = .
Entao (x
n
) possui uma f.d. z : [0, 1] [0, 1], tal que z(x
0
) = .
42 [CAP. 4: DISTRIBUIC

AO DE SEQU

ENCIAS
Demonstracao.

E a mesma prova do teorema anterior, apenas partindo-se
das func oes F
N
j
(x) e n ao de F
N
(x).
Corolario 71. (x
n
) possui a f.d.a z se e somente se z e a unica f.d. de (x
n
).
Demonstracao. (): Basta lembrar que se a seq uencia
_
1
N
#([0, x); N; (x
n
))
_
NN

converge a z(x), ent ao qualquer subseq uencia converge ao mesmo valor.

(): Se por absurdo existe x
0
tal que
_
1
N
#([0, x
0
); N; (x
n
))
_
z(x
0
),
ent ao existe ,= z(x
0
) e uma seq uencia crescente de naturais N
1
, N
2
, ... tal
que
lim
N
j

1
N
j
#([0, x
0
); N
j
; (x
n
)) = .
Ent ao, pelo corol ario anterior, (x
n
) possui uma f.d. z

: [0, 1] [0, 1], tal que

z

(x
0
) = ,= z(x
0
). Isso contraria a hip otese de z ser unica.
Teorema 72. Se uma funcao contnua z e uma f.d. de (x
n
) sobre N
1
, N
2
, ...
entao, existe uma probabilidade
z
tal que para toda funcao contnua f :
[0, 1] [0, 1]
lim
N
i

1
N
i
N
i

n=1
f(x
n
) =
_
f d
z
.
Demonstracao. Iniciamos mostrando que existe
lim
N
i

1
N
i
N
i

n=1
f(x
n
).
[SEC. 4.2: FUNC

AO DE DISTRIBUIC

AO ASSINT

OTICA 43
Se f e uma func ao escada, digamos,
f(x) =
k1

i=0
c
i
1
[r
i
,r
i+1
)
(x), 0 = r
0
< r
1
< ... < r
k
= 1,
ent ao,
lim
N
i

1
N
i
N
i

n=1
f (x
n
) =
k1

i=0
c
i
lim
N
i

1
N
i
N
i

n=1
1
[r
i
,r
i+1
)
(x
n
) =
=
k1

i=0
c
i
(z(r
i+1
) z(r
i
)).
Vamos supor agora que f e uma func ao contnua. Dado > 0, existem duas
func oes escada f
1
e f
2
tais que f
1
(x) f(x) f
2
(x) f
1
(x) + para todo
x [0, 1]. Ent ao:
lim
N
i

1
N
i
N
i

n=1
f
1
(x
n
) = liminf
N
i

1
N
i
N
i

n=1
f
1
(x
n
) liminf
N
i

1
N
i
N
i

n=1
f(x
n
)
limsup
N
i

1
N
i
N
i

n=1
f(x
n
) limsup
N
i

1
N
i
N
i

n=1
f
2
(x
n
)
= lim
N
i

1
N
i
N
i

n=1
f
2
(x
n
) lim
N
i

1
N
i
N
i

n=1
f
1
(x
n
) + .
Assim
limsup
N
i

1
N
i
N
i

n=1
f(x
n
) liminf
N
i

1
N
i
N
i

n=1
f(x
n
) .
Como pode ser arbitrariamente pequeno, conclumos que obrigatoriamente
existe
lim
N
i

1
N
i
N
i

n=1
f(x
n
). (4.4)
Seja a aplicacao que para cada func ao contnua f : [0, 1] R associa o
limite (4.4).

E facil ver que e linear, (f) 0 se f 0 e que (1
[0,1]
) = 1.
44 [CAP. 4: DISTRIBUIC

AO DE SEQU

ENCIAS
Pelo Teorema da Representacao de Riesz existe uma unica probabilidade
z
tal que para toda funcao contnua f : [0, 1] [0, 1]:
lim
N
i

1
N
i
N
i

n=1
f(x
n
) =
_
f d
z
.
Captulo 5
Criterio de Normalidade
Lema 73. Seja uma probabilidade tal que existe uma constante C > 0
satisfazendo
_
f d C
_
1
0
f(x)dx
para toda funcao contnua f : [0, 1] [0, 1], f(0) = f(1).
Entao para todo conjunto mensuravel E,
(E) C.m(E).
Demonstracao. Iniciamos supondo que E, e um intervalo. Fixado > 0
existem func oes continuas f
1
e f
2
, satisfazendo:
f
1
(x) 1
E
(x) f
2
(x),
_
1
0
f
2
(x) dx
_
1
0
f
1
(x) dx + e f
i
(0) = f
i
(1).
Segue que
(E)
_
f
2
d C
_
1
0
f
2
(x) dx C(
_
1
0
f
1
(x) dx + ) C.m(E) + C.
Como C e uma constante xada, fazendo 0, conclumos o desejado.
45
46 [CAP. 5: CRIT

ERIO DE NORMALIDADE
Agora estudamos o caso geral. Se E e um conjunto mensur avel, ent ao
(pela Proposic ao 24) para cada > 0, existe uma colec ao de intervalos aber-
tos O = A
1
A
2
... tal que E O e

iN
m(A
i
) m(E) < . Segue
que
(E) (O)

iN
(A
i
) C

iN
m(A
i
) C(m(E) + ) = C.m(E) + C.
Como C e uma constante xada, fazendo 0, conclumos o desejado.
Lembramos que partindo de um n umero xado = .a
1
a
2
a
3
... podemos
construir uma sequencia (x
n
), onde x
n
= 10
n
= 10
n
mod (1).
Se considerarmos a aplicac ao
T : [0, 1) [0, 1), denida por T(x) = 10x mod(1),
vemos que x
n
= (10
n
) representa a orbita de pela aplica cao T, ou seja
x
0
= ,
x
1
= T(),
x
2
= T
2
() = T(T()), ...
Teorema 74 (Criterio de Normalidade - primeira versao). -
Seja um n umero em [0, 1]. Suponha que existe uma constante C > 0
tal que, para toda funcao contnua f : [0, 1] [0, 1], f(0) = f(1),
limsup
N
1
N
N1

n=0
f((10
n
)) C
_
1
0
f(x)dx. (5.1)
Entao 10
n
e equidistriuda e portanto e normal.
47
Demonstracao. Supondo (5.1), armamos que a fun cao identidade e a unica
f.d. da seq uencia (10
n
). Seguir a disso que, pelo Corol ario 71, z(x) = x e
a f.d.a da seq uencia (10
n
), ou seja, (10
n
) e equidistribuda.
Para mostrarmos que z(x) = x e a unica f.d., iniciamos observando que
pelo Teorema 69 existe pelo menos uma f.d. para a seq uencia (10
n
). Seja
ent ao z(x) uma f.d. sobre N
1
, N
2
, ..., para a seq uencia (10
n
). Queremos
mostrar que z(x) = x.
Pelo Teorema 72, existe uma probabilidade
z
tal que
lim
i
1
N
i
N
i
1

n=0
f(10
n
) =
_
f d
z
, (5.2)
para toda fun cao contnua f : [0, 1] [0, 1], e portanto, da hip otese, obtemos
que
_
f d
z
C
_
1
0
f(x)dx. (5.3)
Seja T : [0, 1] [0, 1] a aplica cao denida por T(x) = 10.x mod (1).
Como f(0) = f(1), a func ao g : [0, 1] [0, 1], dada por g(x) = f(T(x)), e
contnua e g(0) = g(1). Podemos aplicar (5.2) `a func ao g e obter:
lim
i
1
N
i
N
i
1

n=0
f(10
n+1
) =
_
f(T(x)) d
z
. (5.4)
Alem disso

1
N
i
N
i
1

n=0
f(10
n+1
)
1
N
i
N
i
1

n=0
f(10
n
)

2
N
i
,
o que mostra que os dois limites em (5.2) e (5.4) s ao identicos. Conseq uen-
temente
_
f Td
z
=
_
f d
z
. (5.5)
48 [CAP. 5: CRIT

ERIO DE NORMALIDADE
Repetindo estes argumentos, por induc ao obtemos, para todo n N

_
f T
n
d
z
=
_
f d
z
(x). (5.6)
Como f e contnua em [0, 1], e x e normal em q.t.p.,
lim
N
1
N
N1

n=0
f(T
n
(x)) =
_
1
0
f(t) dt, (5.7)
para todo x [0, 1]E, onde E [0, 1] possui medida de Lebesgue zero. Pelo
Lema anterior,

z
(E) C.m(E) = 0. (5.8)
Conclumos assim que para
z
q.t.p. x
1
N
N1

n=0
f(T
n
(x))
_
1
0
f(t)d(t).
Pelo Teorema da Convergencia Dominada (TCD) obtemos:
_
f d
z
= lim
N
1
N
N1

n=0
_
f d
z
(5.6)
=
= lim
N
1
N
N1

n=0
_
f T
n
d
z
= lim
N
_
_
1
N
N1

n=0
f T
n
_
d
z
TCD
=
=
_ __
1
0
f(t) dt
_
dz
=
_
1
0
f(x)dx.
Segue de (5.2) que
lim
i
1
N
i
N
i
1

n=0
f(b
n
) =
_
1
0
f(x) dx.
49
Como f e arbitraria, conclumos que z(x) = x. Isso mostra que z(x) = x e a
unica f.d. de (10
n
).
Uma generalizac ao deste resultado, pode ser encontrada em [15] pag. 41-
47.
Comentarios um pouco mais avancados: A prova acima pode ser
vista como um resultado de Teoria Erg odica:
Dada uma transformac ao T : [0, 1) [0, 1), se e absolutamente contnua
com respeito a , ambas probabilidades invariantes e erg odica para T, entao
= .
O Teorema anterior utilizou este fato:
- A medida de Lebesgue dx e ergodica para a transforma cao T : [0, 1)
[0, 1) dada por x 10x mod (1).
- Fixado [0, 1), satisfazendo (5.1), vemos por (5.6) que toda func ao
de distribuic ao z para (b
n
) pode ser associada a uma probabilidade
invariante d
z
para T.
- Ainda, de (5.1) ca garantido, como conclumos no Lema anterior, que
d
z
e absolutamente contnua com respeito a dx.
Teorema 75 (Criterio de Normalidade - segunda vers ao). -
Seja um n umero real
i) Se existe uma constante C > 0 tal que a seq uencia (10
n
) satisfaz
limsup
N
#([u, v); N; (10
n
))
N
C(v u)
para todo [u, v) [0, 1), entao e normal.
ii) Se existe uma constante C > 0 tal que para todo bloco B
k
50 [CAP. 5: CRIT

ERIO DE NORMALIDADE
limsup
N
#(B
k
; N; )
N
C
1
10
k
,
para todo bloco B
k
, entao e normal.
iii) Se existem constantes C
1
> 0, C
2
> 0 e uma seq uencia crescente de
naturais (N
j
) tais que
limsup
j
N
j+1
N
j
C
2
e
limsup
N
j

#(B
k
; N
j
; )
N
j
C
1
1
10
k
, (5.9)
entao e normal.
Demonstracao. i) Seja f : [0, 1] [0, 1] uma fun cao escada, digamos
f =
k

i=1
d
i
1
[a
i1
,a
i
)
,
com 0 = a
0
< ... < a
k
= 1 e d
i
0 para todo i. Ent ao
limsup
N
1
N
N

n=1
f(10
n
) = limsup
N
1
N
N

n=1
_
k

i=1
d
i
1
[a
i1
,a
i
)
(10
n
)
_

i=1
d
i
limsup
N
1
N
N

n=1
1
[a
i1
,a
i
)
(10
n
)
hip.

i=1
d
i
C
_
1
0
1
[a
i1
,a
i
)
(x)dx = C
_
1
0
f(x)dx.
Seja agora g : [0, 1] [0, 1] uma func ao contnua. Dado > 0 existe f escada,
como denida acima, tal que g(x) f(x) x [0, 1) e
_
1
0
f(x)g(x)dx <

C
.
51
Da
limsup
N
1
N
N

n=1
g(10
n
) limsup
N
1
N
N

n=1
f(10
n
)
C
_
1
0
f(x)dx

_
C
_
1
0
g(x)dx
_
+ .
Logo
limsup
N
1
N
N

n=1
g(10
n
) C
_
1
0
g(x)dx,
e aplicando o Teorema 74 conclumos a prova de i).
ii) Se existe uma constante C > 0 tal que, para todo bloco B
k
,
limsup
N
#(B
k
; N; )
N
C
1
10
k
,
ent ao pelo Exerccio 55 conclumos que, para quaisquer naturais k e x com
_
x
10
k
,
x+1
10
k
_
[0, 1),
limsup
N
1
N
#
__
x
10
k
,
x + 1
10
k
_
; N; (10
n
)
_
C
1
10
k
.
Decorre que, para quaisquer naturais r
1
, r
2
e k satisfazendo 0 < r
1
< r
2
<
10
k
, vale
limsup
N
1
N
#
__
r
1
10
k
,
r
2
10
k
_
; N; (10
n
)
_
C
r
2
r
1
10
k
.
Seja agora [u, v) [0, 1) um intervalo arbitr ario. Dado > 0, existem
inteiros r
1
, r
2
e k com 0 < r
1
< r
2
< 10
k
tais que:
[u, v)
_
r
1
10
k
,
r
2
10
k
_
52 [CAP. 5: CRIT

ERIO DE NORMALIDADE
e
r
2
r
1
10
k
(1 + )(v u).
Da
limsup
N
1
N
#([u, v) ; N; (10
n
)) limsup
N
1
N
#
__
r
1
10
k
,
r
2
10
k
_
; N; (10
n
)
_
C
r
2
r
1
10
k
C(1 + )(v u).
Logo
limsup
N
1
N
#([u, v) ; N; (10
n
)) C(v u).
Aplicando i), conclumos a prova de ii).
iii) A hip otese
limsup
j
N
j+1
N
j
C
2
,
garante que para j sucientemente grande,
N
j+1
(C
2
+ 1)N
j
.
Dado N, seja j = j(N) o ndice tal que N
j
N < N
j+1
. Ent ao
limsup
N
#(B
k
; N; )
N
limsup
j
#(B
k
; N
j+1
; )
N
j
limsup
j
#(B
k
; N
j+1
; )
N
j
(C
2
+ 1)N
j
N
j+1
= (C
2
+ 1) limsup
j
#(B
k
; N
j+1
; )
N
j+1
(5.9)
C
1
(C
2
+ 1)
1
10
k
.
Aplicando ii) com C = C
1
(C
2
+ 1) conclumos a prova.
Algumas aplicac oes do Criterio de Normalidade:
Baseados nas ideias descritas em [20], vamos generalizar um resultado de
Champernowne que provou que o n umero
(.(0)(1)...(9)(00)...(99)(000)...(999)...),
53
obtido pelo encadeamento em ordem lexicograca de todos os blocos de ta-
manho 1, seguidos de todos os blocos de tamanho 2, etc., e normal na base
10.
Lema 76. Sejam a
n
e b
n
duas seq uencias de n umeros reais que convergem
ao innito. Se
a
n
b
n
c > 0 entao
lim
N

N
n=1
a
n

N
n=1
b
n
= c.
Demonstracao. Dado > 0 existe n
0
tal que, para n n
0
, temos
(1 )c <
a
n
b
n
< (1 + )c,
ou seja,
(1 )cb
n
< a
n
< (1 + )cb
n
.
Portanto
(1 )c = lim
N

N
n=n
0
(1 )cb
n

N
n=n
0
b
n
liminf
N

N
n=n
0
a
n

N
n=n
0
b
n
limsup
N

N
n=n
0
a
n

N
n=n
0
b
n
lim
N

N
n=n
0
(1 + )cb
n

N
n=n
0
b
n
= (1 + )c.
Como a
n
e b
n
convergem ao innito, temos que
limsup
N

N
n=1
a
n

N
n=1
b
n
= limsup
N

N
n=n
0
a
n

N
n=n
0
b
n
e liminf
N

N
n=1
a
n

N
n=1
b
n
= liminf
N

N
n=n
0
a
n

N
n=n
0
b
n
,
decorrendo que
(1 )c liminf
N

N
n=1
a
n

N
n=1
b
n
limsup
N

N
n=1
a
n

N
n=1
b
n
(1 + )c.
Fazendo 0 conclumos a prova.
54 [CAP. 5: CRIT

ERIO DE NORMALIDADE
Teorema 77. Seja S
n
a listagem em qualquer ordem de todos os blocos
de tamanho n na base 10. Entao a constante
(.S
1
S
2
S
3
S
4
...)
10
e normal na base 10.
Demonstracao. Seja k um natural e B
k
um bloco qualquer de k dgitos. Seja
N
j
o n umero de dgitos utilizados para listar S
1
S
2
...S
j
. Como S
n
possui n10
n
dgitos temos que
limsup
j
N
j+1
N
j
= 1 + limsup
j
(j + 1)10
j+1
N
j
1 + lim
j
(j + 1)10
j+1
j10
j
= 11,
logo, pelo tem iii) do Criterio de Normalidade (Teorema 75), e suciente
mostrarmos que existe uma constante c > 0 tal que para todo bloco B
k
:
limsup
j
#(B
k
; N
j
; )
N
j
c
1
10
k
.
Se n k ent ao B
k
ocorre no m aximo
(n k + 1)10
nk
+ k10
n
vezes em S
n
, onde k10
n
e uma cota superior para o n umero de ocorrencias
de B
k
nas 10
n
junc oes de blocos de S
n
. Decorre da que
limsup
j
#(B
k
; N
j
; )
N
j
limsup
j

j
n=k
(n k + 1)10
nk
+ k10
n

j
n=1
n10
n
= limsup
j

j
n=k
(n k + 1)10
nk

j
n=1
n10
n
= limsup
j

j
n=k
(n k + 1)10
nk

j
n=k
n10
n
Lema
=
=
1
10
k
.
55
O Criterio de normalidade e demais resultados deste texto podem ser
aplicados para uma base inteira qualquer b 2. Usando este fato vamos
provar a seguinte:
Proposicao 78. Dados s e r naturais nao nulos e um n umero real, temos
que e b
s
normal se e somente se e b
r
normal.
Demonstracao.

E suciente mostrarmos que e bnormal se e somente se
e b
k
normal, k N

.
Suponhamos ser normal na base b. Ent ao (b
n
) e equidistribuda.
Note que, para qualquer intervalo [u, v) [0, 1) temos
1
N
#
_
[u, v) ; N; (b
kn
)
_
k
1
kN
#([u, v) ; kN; (b
n
)) .
Assim, tomando o limite em ambos os lados:
limsup
N
1
N
#
_
[u, v) ; N; (b
kn
)
_
k lim
N
1
kN
#([u, v) ; kN; (b
n
))
= k(v u).
Pelo Criterio de Normalidade (aplicado para a base b
k
) conclumos que e
normal na base b
k
.
Agora, se e b
k
-normal ent ao (b
kn
) e equidistribuda. Pelo Exerccio
64, as seq uencias (b
kn+j
), j = 0, 1, ..., k 1 sao tambem equidistribudas.
Aplicando a Proposic ao 62, obtemos que (b
n
) e equidistribuda, ou equi-
valetemente, e bnormal.
Corolario 79. Se e normal e s e racional, entao + s e normal.
Demonstracao. Suponhamos que s possui uma expansao decimal com perodo
de tamanho k. Ent ao, na base 10
k
, s possui expans ao com perodo de tama-
nho 1. Assim a seq uencia (10
kn
s) e convergente. Pela proposic ao anterior,
56 [CAP. 5: CRIT

ERIO DE NORMALIDADE
(10
kn
) e tambem equidistribuda, e aplicando o Exerccio 63 garantimos
que (10
kn
(+s)) e equidistribuda, ou seja, +s e 10
k
normal. O teorema
anterior nos garante que + s e 10normal.
Teorema 80. Se e normal e r e um racional nao-nulo, entao r e normal.
Demonstracao. Pelo Exerccio 64, e suciente estudarmos o caso r =
1
q
, onde
q N

.
Dado [u, v) [0, 1), se
_
10
s

q
_
[u, v) entao
10
s
y : y [uq, vq) =: E.
Portanto
#
_
[u, v); N;
__
10
n

q
___
#(E; N; (10
n
)).
Se (v u) <
1
q
ou, equivalentemente q(v u) < 1; garantimos que
E =
_
_
_
[uq, vq), se uq < vq
[0, vq) [uq, 1), se uq vq
e que m(E) = q(v u), onde m e a medida de Lebesgue.
Da, como por hipotese e normal,
limsup
N
1
N
#
_
[u, v); N;
__
10
n

q
___
lim
N
1
N
#(E; N; 10
n
) = q(vu).
Se [u, v) e um intervalo arbitr ario, podemos tomar [u, v) = [u
1
, u
2
) ...
[u
k1
, u
k
) com (u
j
u
j1
) <
1
q
j 2, ..., k, da
limsup
N
1
N
#([u, v); N;
10
n

q
)
k1

j=1
limsup
N
1
N
#
_
[u
j
, u
j+1
); N;
b
n

q

_
57

k1

j=1
q(u
j
u
j1
) = q(v u).
Aplicando o Criterio de Normalidade (Teorema 75), conclumos a prova.
Captulo 6
Outros T opicos
1 - Davenport e Erdos em [10] mostraram que se p(x) e um polinomio que leva
naturais em naturais ent ao o n umero (.p(1)p(2)...)
10
(onde p(i) est a escrito
em base 10) e 10normal. Na introducao de [19] h a um comentario de que
Mahler, com a mesma hip otese, mostrou que (.p(1)p(2)...)
10
e transcendente.
2 - Bailey e Crandall apresentaram avancos no estudo da normalidade de
algumas constantes cl assicas como e ln 2, conectando os estudos de nor-
malidade com o conceito de pseudo-random number generator (ver [3] e
[2]).
Denicao 81. Um PRNG (pseudo-random number generator) e uma i-
teracao
x
n
= (bx
n1
+ r
n
) mod (1), (6.1)
onde x
0
e um n umero real, b 2 e um inteiro e (r
n
) e uma seq uencia de
n umeros reais.
Nos coment arios que seguem estamos xando x
0
= 0.
58
59
A relac ao entre n umeros normais e PRNGs e dada no seguinte
Teorema 82. Seja (r
n
)
nN
uma seq uencia convergente de n umeros reais.
Entao =

n=1
r
n
b
n
e bnormal se e somente se a seq uencia (x
n
)
nN
dada
em (6.1)e equidistribuda modulo 1.
Bailey e Crandall conjecturam a bnormalidade de todo irracional que
pode ser escrito na forma

n=1
1
b
n
p(n)
q(n)
, onde p e q s ao polin omios satisfazendo
grau(q) > grau(p) 0, e q(N) ,= 0. Dois desses s ao ln 2 e nas bases 2 e 16,
respectivamente. De fato:
- Partindo da Serie de Taylor, aplicada `a func ao ln x, obtemos
ln(x) = ln(x
0
) +

n=1
(1)
n+1
(x x
0
)
n
n(x
0
)
n
,
e tomando x = 1 e x
0
= 2 obtemos
ln 2 =

n=1
1
2
n
1
n
.
- Em [1] e provado que
=

n=0
1
16
n
_
4
8n + 1

2
8n + 4

1
8n + 5

1
8n + 6
_
.
3 - O conceito de normalidade admite generalizac oes:
Se e um real maior que um, existem dois conceitos de normalidade
usuais. O primeiro consiste em estudar o conjunto
x R : (
n
x) e equidistribuda.
O segundo conceito de normalidade e dado pela Teoria Ergodica:
60 [CAP. 6: OUTROS T

OPICOS
Dado > 1, podemos considerar a transforma cao T

: [0, 1) [0, 1)
dada por T

(x) = x . Fixado x [0, 1), denimos a seq uencia (a

n
)
nN
por
a
i
= T
i1
(x)| . Em [17], Renyi provou que
x =
a
1

+
a
2

2
+
a
3

3
+ ... ,
chamada Renyi expansao de x.
Os elementos a
i
pertencem ao conjunto 0, 1, ..., ,| 1 , mas dado um
bloco b
1
...b
k
de elementos deste conjunto, n ao e garantida a existencia de
algum n umero x [0, 1), cuja Renyi expans ao contenha este bloco. Caso
exista, dizemos que o bloco b
1
...b
k
e admissvel.
Renyi provou tambem o seguinte
Teorema 83. Para cada real > 1, existe uma medida , equivalente `a
medida de Lebesgue, ergodica para T

.
Em particular, dado um bloco admissvel b
1
...b
k
, o intervalo
C(b
1
, ..., b
k
) = x [0, 1) : a expans ao de x inicia com b
1
...b
k
,
e visitado por (T
n
(x))
nN
com freq uencia (C(b
1
, ..., b
k
)), para quase todos
os pontos x de [0, 1). Isso dene um novo conceito de normalidade:
Denicao 84. [0, 1) e dito normal se em sua expansao todo bloco
admissvel b
1
...b
k
ocorre com freq uencia igual a (C(b
1
, ..., b
k
).
Shunji e Shiokawa, em [20], usando uma vers ao do Criterio de norma-
lidade para expans oes (ver [15]), generalizaram uma das construcoes de
61
Champernowne, provando que a listagem de todos os blocos admissveis em
base gera um n umero
1
normal.
4 - O conjunto dos n umeros n ao normais e pequeno, no sentido de ter medida
de Lebesgue zero, e grande, no sentido de ser n ao enumer avel. Esse fato
deu origem a estudos de caracterizacoes deste conjunto, usando dimens ao de
Hausdor. Abaixo citamos os Teoremas de Besicovitch e Eggleston, cujas
provas podem ser encontradas em [5] e [11], respectivamente:
Teorema 85 (Besicovitch). Fixado p [0,
1
2
), o conjunto X
p
[0, 1] for-
mado pelos reais x tais que
lim
N
#
2
(0; N; x)
N
p <
1
2
,
possui dimensao dada pela equacao
2

=
1
p
p
(1 p)
(1p)
.
Teorema 86 (Eggleston). O conjunto X [0, 1] formado pelos reais x tais
que
lim
N
#
b
(d; N; x)
N
= p
d
, d = 0, 1, ..., b 1
onde 0 p
d
1 e

b1
d=0
p
d
= 1, possui dimensao fracionaria dado pela
equacao
b

=
b1

d=1
(p
d
)
(p
d
)
.
1
Listar os blocos admissveis pode nao gerar uma Renyi expansao, pois a conca-
tenacao de dois blocos admissveis pode nao ser um bloco admissvel. No entanto, o
calculo de freq uencias pode ser feito sem problemas.
Bibliograa
[1] Bailey, D. - Borwein, P. - Plou, S. On the rapid computation of va-
rious polylogarithmic constants, Math. Comp. 66:218, 903-913, 1997.
(disponvel em http://crd.lbl.gov/dhbailey/dhbpapers/index.html)
[2] Bailey, D. H. - Crandall, R. E. On the Random Character of Fundamen-
tal Constant Expansions. Exper. Math. 10, 175-190, 2001. (disponvel
em http://crd.lbl.gov/dhbailey/dhbpapers/index.html)
[3] Bailey, D. H. - Crandall, R. E. Random Generators and Normal Num-
bers. To appear in Exper. Math. Preprint dated Feb. 22, 2003. (dis-
ponvel em http://crd.lbl.gov/dhbailey/dhbpapers/index.html)
[4] Bartle, R. G. The elements of integration and Lebesgue Measure. New
York: Wiley Classics Library, 1995.
[5] Besicovitch, A. S. On the sum of digits of real numbers represented in
the dyadic system. Math. Ann. 110, 321-330, 1934.
[6] Besicovitch, A. S. The asymptotic distribution of the numerals in the
decimal representation of the squares of the natural numbers. Math. Z.
39, 146-156 (1935).
62
BIBLIOGRAFIA 63
[7] Borel, E. Les probabilites denombrables et leurs aplications
arithmetiques. Rend. Circ. Mat. Palermo 26, 247-271, 1909.
[8] Champernowne, D. G. The Construction of Decimals Normal in the
Scale of Ten. J. London Math. Soc. 8, 254-260, 1933.
[9] Copeland, A. H. - Erd os, P. Note on Normal Numbers. Bull. Amer.
Math. Soc. 52, 857-860, 1946.
[10] Davenport - Erd os. Note on normal decimals. Canad. J. Math. 4,
58-63, 1952
[11] Eggleston, H. G. The fractional dimension of a set dened by decimal
properties. Quart. j. math. oxford. 20, 31-36, 1949.
[12] Kuipers, L. - Niederreiter, H. Uniform Distribution of Sequences. New
York: Wiley, 1974.
[13] Mengue, J. Uma colecao de resultados sobre n umeros nor-
mais. Dissertacao de mestrado, UFRGS, 2008. (disponvel em
http://hdl.handle.net/10183/13094).
[14] Mengue, J. - Ripoll, C. A normalidade da Constante de Champernowne
b-naria. RMU. 38/39, 79-92, 2005
[15] Postnikov, A. G. Ergodic problems in the theory of congruences and
of diophantine approximations (Russo), Trudy Mat. Inst. Steklov. 82
(1966); Engl. trad., Proc. Steklov Inst. Math. 82, Americ. Math. Society,
Province, R.I., 1967.
64 BIBLIOGRAFIA
[16] Rauzy, G. Nombres normaux et processus deterministes. Acta Arith-
metica. 29, 211-225, 1976.
[17] Renyi, A. Representations for real numbers and their ergodic proper-
ties. Acta Math. Acad. Sci. Hung. 8, 477-493, 1957.
[18] Schmidt, W. M. On normal numbers. Pacifc J. Math. 10, 661-672,
1960.
[19] Shidlovskii, A. B. Transcendental numbers. Berlin: Walter de Gruyter,
1989.
[20] Shunji, I. - Shiokawa I. A construction of normal sequences. J.
Math. Soc. Japan. 27, 20-23, 1975.
[21] Sierpinski, W. Demonstration elementaire dun theor`eme de M. Borel
sue les nombres absolutment normaux et determination eective dun tel
nombre. Bull. Soc. Math. France 45, 125-144, 1917.