Topicos em Combinatória Contemporanea PDF

Tpicos em Combinatria
Contempornea

Publicaes Matemticas

Tpicos em Combinatria
Contempornea
2
a
impresso da 2
a
edio

Carlos Gustavo Moreira
IMPA

Yoshiharu Kohayakawa
IME-USP

impa

Copyright 2010 by Carlos Gustavo Moreira e Yoshiharu Kohayakawa
Direitos reservados, 2010 pela Associao Instituto
Nacional de Matemtica Pura e Aplicada - IMPA
Estrada Dona Castorina, 110
22460-320 Rio de J aneiro, RJ

Impresso no Brasil / Printed in Brazil
Capa: Noni Geiger / Srgio R. Vaz
Publicaes Matemticas

Introduo Anlise Funcional Csar R. de Oliveira
Introduo Topologia Diferencial Elon Lages Lima
Criptografia, Nmeros Primos e Algoritmos Manoel Lemos
Introduo Economia Dinmica e Mercados Incompletos Alosio Arajo
Conjuntos de Cantor, Dinmica e Aritmtica Carlos Gustavo Moreira
Geometria Hiperblica J oo Lucas Marques Barbosa
Introduo Economia Matemtica Alosio Arajo
Superfcies Mnimas Manfredo Perdigo do Carmo
The Index Formula for Dirac Operators: an Introduction Levi Lopes de Lima
Introduction to Symplectic and Hamiltonian Geometry Ana Cannas da Silva
Primos de Mersenne (e outros primos muito grandes) Carlos Gustavo T. A. Moreira e
Nicolau Saldanha
The Contact Process on Graphs Mrcia Salzano
Canonical Metrics on Compact almost Complex Manifolds Santiago R. Simanca
Introduction to Toric Varieties J ean-Paul Brasselet
Birational Geometry of Foliations Marco Brunella
Introduo Teoria das Probabilidades Pedro J . Fernandez
Teoria dos Corpos Otto Endler
Introduo Dinmica de Aplicaes do Tipo Twist Clodoaldo G. Ragazzo, Mrio J .
Dias Carneiro e Salvador Addas Zanata
Elementos de Estatstica Computacional usando Plataformas de Software Livre/Gratuito
Alejandro C. Frery e Francisco Cribari-Neto
Uma Introduo a Solues de Viscosidade para Equaes de Hamilton-J acobi Helena J .
Nussenzveig Lopes, Milton C. Lopes Filho
Elements of Analytic Hypoellipticity Nicholas Hanges
Mtodos Clssicos em Teoria do Potencial Augusto Ponce
Variedades Diferenciveis Elon Lages Lima
O Mtodo do Referencial Mvel Manfredo do Carmo
A Student's Guide to Symplectic Spaces, Grassmannians and Maslov Index Paolo
Piccione e Daniel Victor Tausk
Mtodos Topolgicos en el Anlisis no Lineal Pablo Amster
Tpicos em Combinatria Contempornea Carlos Gustavo Moreira e Yoshiharu
Kohayakawa
Uma Iniciao aos Sistemas Dinmicos Estocsticos Paulo Ruffino

Distribuio:
IMPA - E-mail: ddic@impa.br - http://www.impa.br
ISBN: 978-85-244-0183-1
texto
2009/8/24
page 1
i
i
i
i
i
i
i
i
Dedicamos este texto ` a mem oria de Paul Erd os (19131996)
A combinat oria contempor anea existe devido a este
Mago de Budapeste
texto
2009/8/24
page
i
i
i
i
i
i
i
i
texto
2009/8/24
page
i
i
i
i
i
i
i
i
Prefacio
Objetivamos neste texto a apresenta c ao de alguns topicos mo-
dernos da combinatoria a alunos da gradua c ao. Devido à natureza
elementar da area, podemos discutir topicos n ao t ao distantes da
fronteira do conhecimento em um texto como este, voltado a jovens
iniciantes. Esperamos que os leitores possam ter uma ideia do que se
faz em combinatoria hoje atraves destas notas.
A combinatoria e uma area vasta, que continua a crescer vigo-
rosamente. Topicos de pesquisa que tem se mostrado frutferos in-
cluem a teoria extremal dos conjuntos, os metodos probabilsticos e
os metodos algebricos. Escolhemos alguns dos resultados mais conhe-
cidos nestas linhas de pesquisa para formar uma fotograa da area.
Com o intuito de apresentar a combinatoria como uma disciplina in-
tegrada no grande universo da matematica, procuramos apresentar
aplica c oes dos resultados e das tecnicas da combinatoria em outras
areas; em particular, damos especial aten c ao a aplica c oes em geome-
tria elementar.
No Captulo 1, discutimos alguns resultados fundamentais da teo-
ria extremal dos conjuntos: discutimos, dentre outros, o teorema de
Sperner (1928) e o teorema de Erd os, Ko e Rado (1961). Discuti-
mos tambem alguns resultados basicos da teoria de Ramsey. Damos
duas aplica c oes do teorema de Sperner (uma à analise/geometria e
outra a um problema da teoria dos n umeros). Apresentamos tambem
neste captulo algumas aplica c oes da algebra linear à teoria extremal
dos conjuntos.

E no Captulo 2 que apresentamos talvez a aplica c ao
mais espetacular da teoria extremal dos conjuntos nos anos recentes:
expomos o contra-exemplo de Kahn e Kalai (1993) para a conjec-
tura de Borsuk (1933). Discutimos neste captulo tambem o n umero
texto
2009/8/24
page
i
i
i
i
i
i
i
i
crom atico c(n) do R
n
, o n umero mnimo de cores que precisamos
usar para colorir os pontos do R
n
se n ao queremos ter dois pontos à
dist ancia 1 da mesma cor. O crescimento exponencial de c(n), conjec-
turado por Larman e Rogers (1972), foi provado por Frankl e Wilson
em 1981. Surpreendentemente, a ferramenta basica deste captulo e
um resultado elementar da teoria extremal dos conjuntos, que pode
ser provado atraves de considera c oes de independencia linear de cer-
tos polin omios.
No Captulo 3, elaboramos um pouco mais a no c ao de congu-
ra c oes monocromaticas inevitaveis em colora c oes do R
n
: estudamos
uma area da teoria de Ramsey conhecida como a teoria de Ramsey
euclideana; as investiga c oes originais neste topico foram realizadas
por Erd os, Graham, Montgomery, Rothschild, Spencer e Straus no
incio da decada de 70. Apresentamos neste captulo alguns resul-
tados mais novos de Frankl, Rodl e Krz (os resultados realmente
recentes est ao alem do escopo deste texto).
No Captulo 4, discutimos um metodo probabilstico poderoso
que teve suas origens em um trabalho de Ajtai, Komlos, e Sze-
meredi (1981), e atingiu seu pleno potencial na demonstra c ao de
Rodl (1985) da conjectura de Erd os e Hanani (1963), sobre cober-
turas e empacotamentos quase-otimos (sistemas de Steiner aproxi-
mados). Terminamos o Captulo 4 com alguns resultados recentes
sobre coberturas em hipergrafos regulares.
Supomos que os leitores est ao acostumados com argumentos com-
binatorios elementares e tem familiaridade com no c oes da algebra
linear, aritmetica modular, e teoria elementar das probabilidades.
O leitor percebera que temos, freq uentemente, preocupa c oes assin-
toticas: muitas vezes denimos uma fun c ao f(n) de forma combi-
natoria (tipicamente como o tamanho maximo de algum objeto com-
binatorio, parametrizado pelo inteiro n) e ent ao nos perguntamos se
sabemos quanto e f(n) explicitamente, em fun c ao de n; caso n ao
consigamos determinar o valor exato de f(n), tentamos estimar f(n)
para n grandes. Para apreciar os resultados que apresentaremos, e
importante que o leitor tenha familiaridade com a hierarquia das
fun c oes mais comuns, como, por exemplo, o fato que
1 log log n log n n
n
c
n
log n
c
n
n! n
n
c
c
n
,
onde supomos que e c s ao constantes arbitrarias com 0 < < 1 < c
texto
2009/8/24
page
i
i
i
i
i
i
i
i
(escrevemos f(n) g(n) se lim
n
f(n)/g(n) = 0). Ademais, o
leitor tera maior facilidade em acompanhar a subst ancia do que es-
tamos discutindo em varias ocasi oes se ele tiver familiaridade com es-
timativas para fatoriais e coecientes binomiais. Com isto em mente,
compilamos um pequeno apendice com algumas estimativas padr ao
para n! e para express oes envolvendo coecientes binomiais.
E com imenso prazer que agradecemos à organiza c ao do 23

o.
Col o-
quio Brasileiro de Matem atica pelo apoio e oportunidade de ampla
divulga c ao deste material.
Finalmente, agradecemos o apoio do CNPq atraves do PRONEX
(projetos 416/96 e 107/97) e dos auxlios 300334/931, 300647/95
6, 910064/997 e 468516/20000. Agradecemos tambem o apoio da
FAPERJ e da FAPESP.
Carlos Gustavo T. de A. Moreira <gugu@impa.br>
IMPA, Instituto de Matematica Pura e Aplicada
http://www.impa.br/~gugu
Yoshiharu Kohayakawa <yoshi@ime.usp.br>
Instituto de Matematica e Estatstica, USP
http://www.ime.usp.br/~yoshi
Rio de Janeiro
S ao Paulo
Junho de 2001
texto
2009/8/24
page
i
i
i
i
i
i
i
i
texto
2009/8/24
page
i
i
i
i
i
i
i
i
Conte udo
1 Teoria Extremal dos Conjuntos 1
1.1 Introdu c ao . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Dois teoremas extremais classicos . . . . . . . . . . . . 1
1.2.1 O teorema de Sperner . . . . . . . . . . . . . . 1
1.2.2 O teorema de Erd os, Ko, e Rado . . . . . . . . 16
1.3 Tecnicas da algebra linear . . . . . . . . . . . . . . . . 20
1.3.1 Alguns fatos da algebra linear . . . . . . . . . . 23
1.3.2 Prova do Teorema 14 . . . . . . . . . . . . . . . 25
1.3.3 O teorema de Fisher . . . . . . . . . . . . . . . 25
1.4 O teorema de Ahlswede e Khachatrian . . . . . . . . . 28
1.4.1 A resolu c ao da Conjectura 19 . . . . . . . . . . 30
1.5 O teorema de Ramsey . . . . . . . . . . . . . . . . . . 30
1.5.1 O princpio de Dirichlet . . . . . . . . . . . . . 30
1.5.2 O teorema de Ramsey para grafos . . . . . . . 32
1.5.3 Constru c oes explcitas . . . . . . . . . . . . . . 38
1.5.4 O teorema de Ramsey para hipergrafos . . . . 39
2 Dois resultados geometricos 41
2.1 Introdu c ao . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.2 Espa cos de polin omios . . . . . . . . . . . . . . . . . . 42
2.3 A conjectura de Borsuk e falsa . . . . . . . . . . . . . 46
2.4 O n umero cromatico de R
n
. . . . . . . . . . . . . . . 52
2.5 Uma constru c ao explcita na teoria de Ramsey . . . . 60
2.5.1 Grafos de Paley . . . . . . . . . . . . . . . . . . 64
texto
2009/8/24
page
i
i
i
i
i
i
i
i
3 Teoria de Ramsey euclideana 65
3.1 Introdu c ao . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.2 Um resultado de compacidade . . . . . . . . . . . . . . 67
3.2.1 Conjuntos innitos . . . . . . . . . . . . . . . . 68
3.3 O teorema do produto . . . . . . . . . . . . . . . . . . 69
3.4 Conjuntos esfericos . . . . . . . . . . . . . . . . . . . . 71
3.4.1 Demonstra c ao do Lema 60 . . . . . . . . . . . 76
3.5 Tri angulos e polgonos regulares . . . . . . . . . . . . . 78
3.5.1 Preliminares . . . . . . . . . . . . . . . . . . . 78
3.5.2 Tri angulos . . . . . . . . . . . . . . . . . . . . . 79
3.5.3 Polgonos regulares . . . . . . . . . . . . . . . . 84
3.6 Alguns resultados mais avan cados . . . . . . . . . . . . 89
3.6.1 Resultados envolvendo a teoria dos grupos . . . 89
3.6.2 Congura c oes super-Ramsey . . . . . . . . . . 90
3.7 Problemas em aberto . . . . . . . . . . . . . . . . . . . 92
4 Coberturas e empacotamentos 93
4.1 Introdu c ao . . . . . . . . . . . . . . . . . . . . . . . . . 93
4.2 O teorema de Rodl . . . . . . . . . . . . . . . . . . . . 95
4.3 Coberturas e empacotamentos optimais . . . . . . . . 104
4.3.1 Preliminares . . . . . . . . . . . . . . . . . . . 104
4.3.2 Cotas superiores para coberturas . . . . . . . . 109
4.3.3 Prova da Proposi c ao 80 . . . . . . . . . . . . . 110
4.4 Cotas inferiores para coberturas . . . . . . . . . . . . . 113
4.4.1 Prova da cota inferior . . . . . . . . . . . . . . 113
4.4.2 Cotas inferiores construtivas . . . . . . . . . . . 119
4.5 Empacotamentos . . . . . . . . . . . . . . . . . . . . . 121
4.5.1 Um exemplo . . . . . . . . . . . . . . . . . . . 122
4.6 Observa c oes nais . . . . . . . . . . . . . . . . . . . . 123
A Fatoriais e binomiais 125
A.1 Fatoriais . . . . . . . . . . . . . . . . . . . . . . . . . . 125
A.2 Coecientes binomiais . . . . . . . . . . . . . . . . . . 127
Bibliograa 131
texto
2009/8/24
page 1
i
i
i
i
i
i
i
i
Notac oes e alguns
termos de uso freq uente
[n] = 1, . . . , n
T(X) = Y : Y X, o conjunto das partes de X
k-conjunto: um conjunto com k elementos
Sistemas de conjuntos, hipergrafos: um sistema de conjuntos nada
mais e que um conjunto de subconjuntos de um conjunto xo.
Um hipergrafo e um sistema de conjuntos cujos membros tem
todos a mesma cardinalidade.
x|, x|, x: x| e o maior inteiro menor ou igual a x e x| =
x|. Escrevemos x para a parte fracionaria de x, isto e,
x = x x|.
[x[, |x|, [X[: se x e um vetor em um espa co euclideano, ent ao |x|
denota a norma euclideana de x. Por simplicidade, usamos
tambem a nota c ao [x[ para a norma de x. Para um con-
junto X, escrevemos [X[ para a cardinalidade de X.
_
x
k
_
,
_
X
k
_
: escrevemos
_
x
k
_
para o coeciente binomial, que e denido
como (x)
k
/k! = x(x1) . . . (xk+1)/k! se k e um inteiro n ao-
negativo e e 0 se k e um inteiro negativo. Se X e um conjunto,
_
X
k
_
e o conjunto Y X: [Y [ = k dos k-subconjuntos de X.
Claramente,
_
X
k
_
=
_
]X]
k
_
.
texto
2009/8/24
page 2
i
i
i
i
i
i
i
i
O(f(n)), o(f(n)): escrevemos O(f(n)) para qualquer fun c ao g(n) sa-
tisfazendo [g(n)[ Cf(n) para todo n n
0
, onde C e n
0
s ao
constantes. Escrevemos o(f(n)) para qualquer fun c ao g(n)
satisfazendo lim
n
g(n)/f(n) = 0; em particular, o(1) de-
nota uma quantidade que tende a 0.
, , : escrevemos f(n) g(n) se f(n) = o(g(n)). Ademais,
às vezes escrevemos f(n) g(n) se lim
n
f(n)/g(n) = 1.
texto
2009/8/24
page 1
i
i
i
i
i
i
i
i
Captulo 1
Uma introducao à teoria
extremal dos conjuntos
1.1 Introducao
Neste captulo, discutimos alguns resultado fundamentais da teoria
extremal dos conjuntos. Nos nos restringiremos a alguns resultados
apenas, abrindo assim espa co para algumas aplica c oes um pouco mais
elaboradas. Esperamos que este captulo sirva como uma introdu c ao
a esta rica area da combinatoria, mas tambem esperamos que o leitor
que tenha seu interessado despertado consulte os excelentes textos de
Anderson [5], Babai e Frankl [7], e Bollobas [11].
1.2 Dois teoremas extremais classicos
Come camos discutindo dois teoremas classicos, que s ao possivelmente
os dois resultados mais conhecidos da teoria extremal dos conjuntos:
o teorema de Sperner de 1928 e o teorema de Erd os, Ko, e Rado,
provado em 1938, mas publicado apenas em 1961.
1.2.1 O teorema de Sperner
Come camos com uma observa c ao da teoria elementar dos n umeros.
1
texto
2009/8/24
page 2
i
i
i
i
i
i
i
i
2 [CAP. 1: TEORIA EXTREMAL DOS CONJUNTOS
Um problema extremal da teoria dos n umeros
Dados n + 1 inteiros distintos de [2n] = 1, . . . , 2n, n ao e difcil ver
que ha dois elementos desta seq uencia que s ao relativamente primos
(exerccio!). Por outro lado, um pouco mais de medita c ao tambem
revela que ha dois elementos nesta seq uencia com um dividindo o
outro. Esta segunda arma c ao e um exerccio um pouco mais difcil
(sugest ao: escreva cada um dos n+1 n umeros na forma 2
k
m, onde m
e um inteiro mpar).
Podemos enunciar a segunda arma c ao acima da seguinte forma:
o maior n umero de elementos que podemos ter de [2n] sem ter dois
elementos, digamos x e y, com x dividindo y e n. Note tambem que
este limitante de n n ao pode ser melhorado, pois podemos considerar
os n n umeros n + 1, . . . , 2n.
Um problema extremal para conjuntos
Passemos agora a considerar problemas extremais analogos para con-
juntos. Seja / T([n]) uma famlia de conjuntos. O que podemos
dizer sobre o tamanho de / se sabemos que / n ao contem dois mem-
bros, digamos A e B, com A B? Seja f(n) a maior cardinalidade
possvel para tal famlia /.
Uma primeira observa c ao que podemos fazer e que
f(n)
_
n
k
_
, (1.1)
para todo k. De fato, se tomamos para / a famlia de todos os sub-
conjuntos de [n] com k elementos, ent ao a propriedade que exigimos
esta satisfeita, e temos [/[ =
_
n
k
_
. Para maximizar o limite inferior
em (1.1), tomamos k = n/2|.
O nosso resultado desta se c ao, provado em 1928 por Sperner [68],
mostra que vale a igualdade em (1.1) com k = n/2|, isto e,
f(n) =
_
n
n/2|
_
.
Na verdade, provaremos um resultado de aparencia talvez um pouco
tecnica à primeira vista, mas que implica o resultado desejado. O
Teorema 1 abaixo e devido, independentemente, a Bollobas [9] (em
texto
2009/8/24
page 3
i
i
i
i
i
i
i
i
[SEC. 1.2: DOIS TEOREMAS EXTREMAIS CL
ASSICOS 3
uma forma mais geral), Lubell [57], Yamamoto [71], e Meshalkin [60].
Dizemos que dois conjuntos A e B s ao compar aveis se A B ou B
A, e dizemos que A e B s ao incompar aveis caso contrario.
Teorema 1. Seja / T([n]) uma famlia de conjuntos cujos mem-
bros s ao incompar aveis entre si. Ent ao
A,
_
n
[A[
_
1
1. (1.2)
Demonstrac ao. Consideraremos permuta c oes : [n] [n]. Podemos
representar escrevendo a seq uencia
(1), (2), . . . , (n), (1.3)
que nada mais e que uma ordena c ao dos inteiros em [n]. Vamos
dizer que uma permuta c ao e um conjunto A s ao compatveis se os
primeiros [A[ elementos na seq uencia (1.3) formam uma permuta c ao
dos elementos de A, isto e, se
A = (1), . . . , ([A[). (1.4)
Seja P o n umero de pares (, A) com uma permuta c ao de [n] e A
um membro de / com e A compatveis. O que podemos dizer
sobre P?
Por um lado, se temos um conjunto A / xo ent ao o n umero
de permuta c oes compatveis com A e exatamente
[A[!(n [A[)!. (1.5)
Qual e o n umero de conjuntos A / compatveis com uma per-
muta c ao xa ?

E facil ver que a nossa hipotese sobre / garante que
este n umero e no m aximo 1! Conclumos que
A,
[A[!(n [A[)! = P
1 = n!, (1.6)
de onde segue que
A,
[A[!(n [A[)!
n!
1. (1.7)
Naturalmente, (1.7) e equivalente à desigualdade (1.2), e o teorema
esta provado.
texto
2009/8/24
page 4
i
i
i
i
i
i
i
i
A demonstra c ao brilhante do Teorema 1 que apresentamos acima
e devida a Lubell [57]. Temos como corolario do Teorema 1 o seguinte
resultado, que foi o resultado originalmente provado por Sperner [68].
Corolario 2. Se / T([n]) n ao contem dois elementos compar aveis,
ent ao
[/[
_
n
n/2|
_
. (1.8)
Demonstrac ao. A desigualdade (1.8) segue de (1.2): basta observar
que o coeciente binomial
_
n
k
_
e maximo quando k = n/2|.
Uma aplica cao à analise
Apresentamos aqui uma aplica c ao do teorema de Sperner à analise.
Consideraremos um problema geometrico que tem origem nobre: trata-
se de um problema que Littlewood e Oord [55] estudaram em um
trabalho de 1943, com o objetivo de provar limitantes superiores para
o n umero tpico de razes reais de certos polin omios aleatorios. Va-
mos descrever brevemente o resultado nal de Littlewood e Oord,
antes de passar ao problema geometrico.
Sejam a
0
, . . . , a
n
n umeros complexos xos e suponha que temos
uma seq uencia
1
, . . . ,
n
com
j
1, 1 para todo j. Considere
agora o polin omio
P(x) = a
0
+
1
a
1
x + +
n
a
n
x
n
. (1.9)
Quantas razes reais tem a equa c ao P(x) = 0 tipicamente? Aqui,
entendemos por tipicamente o seguinte: suponha que escolhemos os
sinais
j
aleatoriamente, de forma independente; em outras palavras,
consideramos todos os 2
n
polin omios da forma (1.9) com os a
j
xos,
e escolhemos um ao acaso, com todos eles equiprovaveis. Estamos
interessados em saber, ent ao, qual e tipicamente o n umero de razes
reais de tal polin omio aleatorio. Foi esse o problema que Littlewood
e Oord atacaram em [55].
O resultado principal de [55] e o seguinte. Ponha
M = [a
0
[ +[a
1
[ + +[a
n
[.
texto
2009/8/24
page 5
i
i
i
i
i
i
i
i
ASSICOS 5
Ent ao todos os 2
n
polin omios P(x) como em (1.9), exceto por no
maximo
O
_
log log n
log n
2
n
_
= o(2
n
)
deles, s ao tais a equa c ao P(x) = 0 tem no maximo
10(log n)
_
log
M
_
[a
0
a
n
[
+ 2(log n)
5
_
razes reais. Por exemplo, grosseiramente falando, se todos os a
j
tem
a mesma ordem de grandeza, ent ao esse n umero de razes e O
_
(log n)
6
_
.
Para provar o resultado acima, Littlewood e Oord consideraram
um problema geometrico que basicamente pergunta o qu ao concen-
trada pode ser a distribui c ao das 2
n
somas do tipo
1jn
j
a
j
,
onde os
j
s ao novamente 1.

E este o problema geometrico que pas-
saremos a considerar agora. Por conveniencia, mudamos a nota c ao,
e passamos a escrever z
j
em vez de a
j
(1 j n). Ainda, men-
cionamos que o que segue e independente da discuss ao acima.
Suponha que z
1
, . . . , z
n
sejam n umeros complexos xos, n ao ne-
cessariamente distintos, com [z
j
[ 1 (1 j n). Para cada =
(
j
)
1jn
1, 1
n
, considere a soma
S() =
1jn
j
z
j
. (1.10)
Quantas das somas em (1.10) podem cair em um disco fechado de
raio r? Littlewood e Oord provaram que este n umero e
C
(r + 1)2
n
n
log n, (1.11)
onde C e uma constante universal. Alguns exemplos simples mostram
que o limitante (1.11) e otimo, a menos possivelmente pelo fator
logartmico. (Esses exemplos s ao simples; nos os veremos em breve.)
Em 1945, Erd os publicou um melhoramento do limitante (1.11):
ele provou que o fator logartmico n ao e necessario [18]. A ferramenta
que ele usou foi justamente o teorema de Sperner!
texto
2009/8/24
page 6
i
i
i
i
i
i
i
i
Teorema 3. Sejam z
1
, . . . , z
n
n umeros complexos xos com [z
j
[ 1
para todo 1 j n, e r > 0 um n umero real. Ent ao o n umero de
somas da forma (1.10) que pertencem a um mesmo disco fechado de
raio r e
B
(r + 1)2
n
n
, (1.12)
onde B e uma constante universal.
E levemente mais conveniente fazer uma renormaliza c ao do pro-

blema, para enxergarmos melhor a sua natureza combinatoria. So-
memos z
1
+ + z
n
à soma em (1.10) e dividamos por 2. Temos
assim uma soma da forma
S() =
1jn
j
z
j
, (1.13)
onde = (
j
)
1jn
e os
j
pertencem a 0, 1. Note que uma certa
cole c ao de somas da forma (1.10) esta contida em um disco fechado de
raio r se e so se as somas correspondentes da forma (1.13) pertencem
a um disco fechado de di ametro r. Temos assim uma formula c ao
equivalente, com as somas em (1.13) (
j
0, 1, 1 j n) e
di ametro r. Para evitar confus ao, quando falamos nesta formula c ao
escrevemos para o di ametro.
O exemplo que mostra que o resultado de Erd os n ao pode ser
melhorado, a menos do valor da constante, e o seguinte exemplo
simples: suponha que 0 e um inteiro xo e tome
z
1
= = z
n
= 1. (1.14)
Considere inteiros consecutivos u
0
< < u
tais que
_
n
u
0
_
+ +
_
n
u
_
seja maximo. Grosseiramente falando, os u
k
distribuem-se em torno
de n/2, simetricamente. Considere agora a famlia de conjuntos
/ =
_
[n]
u
0
_

_
[n]
u
_
.
texto
2009/8/24
page 7
i
i
i
i
i
i
i
i
ASSICOS 7
Note que se A, A
t
/, ent ao claramente
[A[ [A
t
[
u
0
,
pois os inteiros u
j
s ao consecutivos. Considere agora as somas
S(A) =
jA
z
j
(1.15)
para todo A [n] (naturalmente, estas s ao as somas da forma (1.13)).
No nosso exemplo (1.14), se consideramos as somas em (1.15) comA
/, temos que (i ) a diferen ca de quaisquer dois deles e e (ii ) temos
[/[ =
0j
_
n
u
j
_
c
( + 1)2
n
n
(1.16)
dessas somas, onde c e uma constante absoluta positiva e supomos
que n n
0
(). Conclumos que o Teorema 3 n ao pode ser substan-
cialmente melhorado. (A estimativa em (1.16) pode ser deduzida da
formula de Stirling; veja o Apendice A.)
Provemos agora o seguinte lema, que diz que o Teorema 3 vale no
caso em que os z
j
s ao todos reais positivos.
Lema 4. Sejam x
1
, . . . , x
n
n umeros reais xos, com x
j
1 para
todo 1 j n, e 0 um n umero real. Ent ao o n umero de somas
da forma
S(A) =
jA
x
j
(A [n]) (1.17)
que pertencem a um mesmo intervalo fechado de comprimento e
(| + 1)
_
n
n/2|
_
C
(| + 1)2
n
n
, (1.18)
onde C e uma constante universal.
Demonstrac ao. Suponha que as somas em (1.17) perten cam a um
dado intervalo fechado I de comprimento para certos A [n].
Seja / = /(I) T([n]) o sistema de conjuntos formado exatamente
por estes A, isto e,
/ = A [n] : S(A) I. (1.19)
texto
2009/8/24
page 8
i
i
i
i
i
i
i
i
O que podemos dizer sobre /? Se temos em / uma cadeia de con-
juntos
A
0
A
com A
i1
,= A
i
para todo 1 i , (1.20)
ent ao claramente
S(A
) S(A
0
) , (1.21)
de onde segue que , pela deni c ao de /. Um pequeno raciocnio
agora mostra que se toda cadeia como em (1.20) contida em / e tal
que , ent ao
/ = /
0
/
, (1.22)
onde cada /
j
(0 j ) e um sistema de Sperner, isto e, n ao
contem dois membros A ,= A
t
com A A
t
. Pelo Corolario 2 e a
formula de Stirling (veja o Apendice A), conclumos que
[/[ (| + 1)
_
n
n/2|
_
C
(| + 1)2
n
n
, (1.23)
para uma constante absoluta C. O limite (1.18) segue de (1.19)
e (1.23).
Observac ao 5. Erd os [18] e Sperner [68] de fato provaram que se toda
cadeia como em (1.20) contida em / e tal que , ent ao / tem
no maximo
max
0j
_
n
u
j
_
(1.24)
membros, onde o maximo e tomado sobre todas as seq uencias de
inteiros consecutivos u
0
< < u
. Claramente, (1.24) e a soma

dos | +1 maiores coecientes binomiais na n-esima linha do tri an-
gulo de Pascal. Note que o limitante superior (1.24) pode ser atingido.
Agora podemos provar o Teorema 3.
Demonstrac ao do Teorema 3. Fixe z
j
(1 j n) e r como no enun-
ciado do teorema. Cada z
j
e tal que a sua parte real Re z
j
ou a sua
parte imaginaria Imz
j
e em valor absoluto 1/
2 > 1/2. Con-

siderando uma rota c ao por /2, ou equivalentemente a troca dos z
j
por iz
j
(1 j n, i =

1), podemos supor que [ Re z
j
[ 1/2
texto
2009/8/24
page 9
i
i
i
i
i
i
i
i
ASSICOS 9
para todo 1 j t, onde t n/2. Ademais, claramente podemos
trocar z
j
por z
j
para qualquer j, de forma que podemos supor que
temos
Re z
j

1
2
para todo 1 j t. Fixe agora os valores de
j
1 para j > t,
de forma arbitraria. Note que ha 2
nt
formas de se fazer isto.
Considere as 2
t
somas da forma
1jt
j
z
j
, com
j
1 (1 j t). (1.25)
Ponha
x
j
= 2 Re z
j
1 (1 j t). (1.26)
Se N das somas da forma (1.25) pertencem a um disco fechado de
raio r, ent ao, considerando apenas a parte real dos z
j
, temos N somas
da forma

1jt
j
x
j
, com
j
1 (1 j t), (1.27)
contidas em um intervalo fechado de comprimento 4r (veja (1.26)).
Pelo Lema 4,
N (4r + 1)
_
t
t/2|
_
C
(4r + 1)2
t
t
. (1.28)
Provamos que para cada uma das formas de se xar os
j
1
(t < j n), o n umero maximo de somas da forma (1.25) que per-
tencem a um mesmo disco fechado de raio r e limitado superiormente
por (1.28). Como temos 2
nt
formas para xar os
j
(j > t) e t n/2,
temos, para uma constante absoluta B, no maximo
C
(4r + 1)2
t
t
2
nt
B
(r + 1)2
n
n
somas da forma (1.10) em um mesmo disco fechado de raio r, como
queramos demonstrar. A prova do Teorema 3 esta completa.
Finalmente, mencionamos que a historia desse problema geome-
trico n ao acaba com o resultado de Erd os acima. Passemos a consi-
derar a vers ao com somas do tipo (1.13) (
j
0, 1, 1 j n) e
texto
2009/8/24
page 10
i
i
i
i
i
i
i
i
di ametro . Passemos tambem a considerar os z
j
no R
d
(ate agora,
tnhamos d = 2). Agora a nossa hipotese sobre os z
j
e que eles
satisfazem |z
j
| 1 para todo 1 j n. Colocamos V = (z
j
)
1jn
.
Ponha
= S(): 0, 1
n
; (1.29)
isto e, e a famlia das 2
n
somas possveis da forma (1.13). Aqui,
queremos considerar como um multiconjunto, isto e, levamos em
conta a multiplicidade com que cada elemento ocorre em . Agora
pomos
m(V, ) = max
B
[B [,
onde o maximo e tomado sobre as bolas fechadas B R
d
de di ametro
. Finalmente, pomos
m(n, ) = m
d
(n, ) = max
V
m(V, ),
onde o maximo e tomado sobre todas as seq uencias V de vetores
z
1
, . . . , z
n
R
d
com |z
j
| 1 para todo j.
O Teorema 4 (veja tambem a Observa c ao 5) diz que m
1
(n, ) e
a soma dos | + 1 maiores coecientes binomiais na n-esima linha
do tri angulo de Pascal.
Katona [48] e Kleitman [49] provaram que m
2
(n, ) =
_
n
n/2
_
se < 1, e isto foi generalizado por Kleitman [50] para d 2 (inclu-
sive para normas arbitrarias em R
d
). Varios resultados seguiram-se
para 1, ate que, nalmente, em um trabalho publicado no Annals
of Mathematics em 1988, Frankl e F uredi [30] provaram o seguinte
teorema, que conrmou uma conjectura de Erd os (veja [51]).
Teorema 6. Seja d 1 um inteiro e 0 um n umero real xo.
Ent ao
m
d
(n, ) = (| + 1 +o(1))
_
n
n/2|
_
,
onde o(1) 0 conforme n .
texto
2009/8/24
page 11
i
i
i
i
i
i
i
i
ASSICOS 11
Conclumos observando que, com o que temos à disposi c ao, pode-
mos provar uma cota superior da forma
c(d)(| + 1)
_
n
n/2|
_
(1.30)
para m
d
(n, ), onde c(d) e uma constante que depende apenas da
dimens ao d.
Uma aplica cao à teoria dos n umeros
Nesta se c ao, apresentamos uma aplica c ao do teorema de Sperner à
teoria dos n umeros. Esta aplica c ao esta relacionada com o que dis-
cutimos em 1.2.1. Dizemos que uma seq uencia de inteiros posi-
tivos a
1
< a
2
< . . . e primitiva se nenhum a
i
divide outro a
j
(i < j).
Vimos em 1.2.1 que qualquer seq uencia primitiva em [2n] tem no
maximo n elementos. No que segue, ao tratarmos de seq uencias pri-
mitivas A = (a
i
), sempre supomos a
1
< a
2
< .
Uma medida interessante para o tamanho de seq uencias A = (a
i
)
e a fun c ao
A(x) =
a
i
x
1
a
i
, (1.31)
isto e, a soma dos inversos dos membros de A que s ao x (x R).
Note que no caso em que a seq uencia A = (a
i
) e 1 < 2 < . . . , temos
lim
x
1
log x
A(x) = 1, (1.32)
pois
log(n + 1) < H
n
=
1kn
1
k
< log n + 1 (1.33)
para todo n > 1. As desigualdades em (1.33) podem ser provadas
comparando-se a soma com a integral
_
n
1
dx/x = log n. (O n umero H
n
acima e conhecido como o n-esimo n umero harm onico. Aproxima c oes
mais precisas de H
n
surgir ao mais à frente nestas notas.) Em geral,
o limite no lado esquerdo de (1.32) (quando ele existe) e conhecido
como a densidade logartmica de A = (a
i
).
texto
2009/8/24
page 12
i
i
i
i
i
i
i
i
O que podemos dizer sobre A(x) se A = (a
i
) e uma seq uencia
primitiva? Nesta se c ao, vamos provar o seguinte teorema de Behrand
[8], de 1935.
Teorema 7. Existe uma constante absoluta c > 0 tal que, para toda
seq uencia primitiva de inteiros A = (a
i
), temos
A(n) =
a
i
n
1
a
i
c
log n
log log n
(1.34)
para todo n 3.
Come camos com um aquecimento. Escreva d(m) para o n umero
de divisores (positivos) de um inteiro positivo m. Por exemplo,
d(6) = 4.
Lema 8. Temos
mx
d(m) 3xlog x, (1.35)
para todo x 2.
Demonstrac ao. Note que d(m) e o n umero de jeitos de se fatorar m
como o produto ordenado de dois inteiros (os d(6) = 4 divisores de 6
correspondem às fatora c oes 1 6, 2 3, 3 2, e 6 1). Assim, a
soma do lado esquerdo de (1.35) e
x
a,b
1,
onde escrevemos

x
a,b
para a soma sobre todos os pares (a, b) de
inteiros positivos com ab x. Entretanto,
x
a,b
1 =
ax
bx/a
1 =
ax
_
x
a
_
x
ax
1
a
3xlog x.
Na ultima desigualdade acima, usamos que o n umero harm onico H
a
=
1 + 1/2 + + 1/a e limitado superiormente por log a + 1 3 log a
para todo a 2 (veja (1.33)).
texto
2009/8/24
page 13
i
i
i
i
i
i
i
i
ASSICOS 13
Fixemos agora uma seq uencia primitiva A = (a
i
). Queremos
provar a desigualdade (1.34). Para cada inteiro u > 0, seja r(u) o
n umero de elementos a
i
em A tais que a
i
divide u. Vamos considerar
a soma
(n) =
un
r(u). (1.36)
Escrevendo
n
m,a
i
para a soma sobre todos os pares (m, a
i
) comma
i

n, m inteiro positivo, e a
i
um elemento de A, temos
(n) =
n
m,a
i
1,
que e igual a
a
i
n
ma
i
n
1 =
a
i
n
_
n
a
i
_
= n
a
i
n
1
a
i
+O(n). (1.37)
Como de costume, escrevemos O(f(n)) para qualquer fun c ao g(n)
com
[g(n)[ Cf(n)
para todo n n
0
, onde n
0
e C s ao constantes independentes de n.
De (1.37), deduzimos
a
i
n
1
a
i
=
1
n
(n) +O(1). (1.38)
Para provarmos (1.34), e suciente estimar (n) por cima de forma
apropriada. Para tanto, estimaremos r(u) (veja (1.36)).
O que podemos dizer sobre r(u)? Suponha inicialmente que
(*) todos os elementos de A = (a
i
) s ao livres de quadrados (isto e,
nenhum divisor de a
i
e um quadrado > 1 (i 1)).
No que segue, escrevemos (v) para o n umero de divisores primos
distintos de v (por exemplo, (12) = 2). Claramente, segue da
hipotese (*), da primitividade de A = (a
i
), e do teorema de Sperner,
Corolario 2, que
r(u)
_
k
k/2|
_
= O
_
2
k
k
_
. (1.39)
texto
2009/8/24
page 14
i
i
i
i
i
i
i
i
(A ultima estimativa segue da formula de Stirling para fatoriais; veja
o Apendice A.) Estimemos (n) disting uindo os u que tem muitos
divisores primos daqueles que tem poucos divisores primos:
(n)
un, (u)
O
_
2
(u)
_
(u)
_
+
un, (u)>
O
_
2
(u)
_
(u)
_
= O(1)
2
n +O
_
1
un
2
(u)
. (1.40)
Podemos agora usar que
un
2
(u)
un
d(u), que, pelo Lema 8,
e O(nlog n). Em (1.40), tomamos = log log n. Disto resulta que
(n) = O
_
n
log n
log log n
_
, (1.41)
e a estimativa (1.34) segue para o caso em que (*) vale, devido
a (1.38). Precisamos agora eliminar a hipotese (*).
Seja (a
(k)
i
) a subseq uencia de A = (a
i
) formada pelos elemen-
tos a
(k)
i
de A com a
(k)
i
= k
2
q
(k)
i
, onde q
(k)
i
e um inteiro livre de
quadrados; em outras palavras, a subseq uencia (a
(k)
i
) e formada pelos
elementos de A cujos fatores quadraticos maximos s ao exatamente k
2
.
Temos
a
i
n
1
a
i
=
k1
a
(k)
i
n
1
a
(k)
i
=
k1
1
k
2
q
(k)
i
n/k
2
1
q
(k)
i
k1
1
k
2
q
(k)
i
n
1
q
(k)
i
. (1.42)
Como a seq uencia (q
(k)
i
) e claramente primitiva e tambem e for-
mada por inteiros livres de quadrados, podemos aplicar a desigual-
dade (1.34), isto e, temos
q
(k)
i
n
1
q
(k)
i
= O
_
log n
log log n
_
. (1.43)
Como

k1
k
2
converge (de fato, esta soma e (2) =
2
/6), a de-
sigualdade (1.34) segue de (1.42) e (1.43). O Teorema 7 esta provado.
texto
2009/8/24
page 15
i
i
i
i
i
i
i
i
ASSICOS 15
Observa cao nais O leitor pode car curioso em saber o qu ao bom
e o limitante (1.34). Uma seq uencia primitiva can onica e a seq uencia
dos primos (p
k
), e nesse caso temos
p
k
n
1
p
k
= log log n +O(1), (1.44)
que e muito menor que o lado direito de (1.34) (para (1.44), veja, por
exemplo, a Se c ao 7 do Captulo 22 de Hardy e Wright [44]). Entre-
tanto, podemos incrementar esta constru c ao de forma simples. Con-
sideremos primeiro como lidar, separadamente, com os segmentos ini-
ciais dos inteiros [n] = 1, . . . , n. Fixe um inteiro n 3. Seja /
n

[n] o conjunto dos inteiros 1 k n com exatamente = log log n|
divisores primos, levando em conta multiplicidades. Formalmente,
se (k) e n umero de divisores primos de k contando multiplicidades
(por exemplo, (12) = 3), ent ao
/
n
= k: 1 k n e (k) = log log n|. (1.45)
Antes de continuarmos, observamos que a escolha do valor de pode
ser entendida levando-se em conta um resultado de Hardy e Ramanu-
jan, que diz que (k) e tipicamente log log n para 1 k n (veja [44,
Captulo 22, Se c ao 10]).
Voltemos aos nossos conjuntos /
n
em (1.45).

E facil ver que /
n

[n] e primitivo (ou melhor, a seq uencia crescente correspondente e
uma seq uencia primitiva), isto e, para quaisquer dois elementos dis-
tintos a e a
t
em A, temos que a n ao divide a
t
. Vale o seguinte resul-
tado, devido a Pillai [61].
Teorema 9. Existe uma constante absoluta c > 0 tal que, para
todo n 3, temos
a,
n
1
a

c log n
log log n
. (1.46)
Seja (c
n
) uma seq uencia decrescentes de reais positivos com c
n

0 conforme n . Pode se construir uma seq uencia innita (a
i
)
a partir dos /
n
(n 3) para a qual vale o seguinte: para innitos
valores de n, temos
a
i
n
1
a
i
c
n
log n
log log n
. (1.47)
texto
2009/8/24
page 16
i
i
i
i
i
i
i
i
Fechamos esta se c ao enunciando sem prova um resultado de Erd os,
Sarkozy, e Szemeredi [27], que melhora o teorema de Behrend.
Teorema 10. Para toda seq uencia primitiva de inteiros A = (a
i
),
temos
a
i
n
1
a
i
= o
_
log n
log log n
_
. (1.48)
Em vista das observa c oes acima, o Teorema 10 n ao pode ser subs-
tancialmente melhorado. Finalmente, o leitor deve comparar os Teo-
remas 9 e 10 para observar a diferen ca substancial que existe entre
seq uencias primitivas nitas e innitas.
Uma excelente referencia para os resultados desta se c ao e a mono-
graa Sequences, de Halberstam e Roth [43].
1.2.2 O teorema de Erd os, Ko, e Rado
Na Se c ao 1.2.1, investigamos quantos membros um sistema de con-
juntos / T([n]) pode ter, se supomos que / n ao contem dois
elementos comparaveis. Uma outra gama de problemas extremais
para sistemas de conjuntos vem da imposi c ao de condi c oes sobre as
interse c oes dos membros do sistema. Por exemplo, o que podemos
dizer sobre [/[ se um sistema / T([n]) e tal que todo membro de /
intersecta qualquer outro? Dizemos que /e um sistema intersectante
quando vale esta condi c ao.
O problema acima e facil: claramente podemos ter sistemas in-
tersectantes com 2
n1
elementos; basta por exemplo considerar o
sistema
/
1
= A [n] : 1 A.
Por outro lado, se temos > 2
n1
membros em /, ent ao necessaria-
mente / contem um conjunto A e seu complemento A
c
= [n] A, que
claramente implica que / n ao e intersectante.
O problema extremal de determinar o maior tamanho de um sis-
tema intersectante contido em
_
[n]
k
_
= A [n] : [A[ = k
texto
2009/8/24
page 17
i
i
i
i
i
i
i
i
ASSICOS 17
e muito mais interessante. De fato, este problema foi estudado por
Erd os, Ko, e Rado em 1938, embora o resultado tenha sido publi-
cado [25] apenas em 1961.
E facil construir um sistema intersectante / grande de k-conjun-

tos (isto e, conjuntos com k elementos) contidos em [n]. Observemos
inicialmente que se 2k > n, ent ao podemos tomar / =
_
[n]
k
_
, pois
quaisquer dois k-subconjuntos de [n] se intersectam neste caso. Su-
poremos daqui para frente que 2k n. Neste caso, podemos tomar
/
0
= A [n] : [A[ = k e 1 A. (1.49)
Claramente, temos que /
0
e intersectante e
[/
0
[ =
_
n 1
k 1
_
. (1.50)
O teorema de Erd os, Ko, e Rado arma que todo sistema intersec-
tante formado por k-subconjuntos de [n] tem tamanho no maximo
[/
0
[ =
_
n1
k1
_
, desde que n 2k. Ademais, se um tal sistema tem tan-
tos membros quanto /
0
, ent ao ele e isomorfo a /
0
, desde que n > 2k;
em outras palavras, existe essencialmente uma unica forma de se cons-
truir um tal sistema de cardinalidade maxima!
Como o leitor ja deve imaginar, dizemos que dois sistemas de
conjuntos / T(X) e B T(Y ) s ao isomorfos se existe uma
bije c ao b: X Y tal que A / se e so se
b(A) = b(a): a A B.
O teorema de Erd os, Ko, e Rado e como segue.
Teorema 11. Seja /
_
[n]
k
_
, com n 2k > 0. Se / e um sistema
intersectante, ent ao
[/[
_
n 1
k 1
_
. (1.51)
Ademais, se n > 2k e vale a igualdade em (1.51), ent ao / e isomorfo
ao sistema /
0
denido em (1.49).
Demonstrac ao. Usaremos um metodo muito engenhoso inventado por
Katona. Consideremos permuta c oes cclicas dos elementos de [n]:
: a
0
, a
1
, . . . , a
n1
, (1.52)
texto
2009/8/24
page 18
i
i
i
i
i
i
i
i
onde os ndices s ao considerados modulo n. Mais formalmente, con-
sideramos bije c oes
: Z/nZ [n],
e colocamos a
i
= (i) para todo i. Dado uma tal e um conjunto A
[n] com [A[ = k, dizemos que e A s ao compatveis se A ocorre como
um segmento em (1.52). Formalmente, a condi c ao que exigimos e
que A seja igual a a
i+1
, . . . , a
i+k
para algum i Z/nZ. (Note que,
como os ndices s ao modulo n, o conjunto A pode dar a volta.)
Observemos inicialmente que, dada uma permuta c ao cclica
como em (1.52),
(*) existem no maximo k membros de / que s ao compatveis com
esta permuta c ao.
De fato, seja A / um membro de / compatvel com . Suponha
que A = a
i+1
, . . . , a
i+k
para um dado i Z/nZ. Para cada 2
j k, podemos considerar os conjuntos disjuntos
J
j
e J
+
j
Z/nZ
dados por
J
j
= a
i+jk
, . . . , a
i+j1
e
J
+
j
= a
i+j
, . . . , a
i+j+k1
.
Claramente, apenas um dentre J
j
e J
+
j
pode conter um membro
de /, pois J
j
J
+
j
= . Por outro lado, todo membro A
t
de / que
e diferente de A mas e compatvel com e igual a J
j
ou J
+
j
para
algum j, pois A
t
A ,= . A asser c ao (*) esta provada.
Agora contamos de duas maneiras os pares da forma (, A) com
uma permuta c ao cclica e A um membro de / com e A compatveis.
Seja P o n umero de tais pares. Devido à (*), xada uma , existem
no maximo k tais pares. Por outro lado, xado A /, temos
n k!(n k)!
permuta c oes cclicas compatveis com A. Conclumos que
[/[nk!(n k)! = P
k = n!k,
texto
2009/8/24
page 19
i
i
i
i
i
i
i
i
ASSICOS 19
de onde (1.51) segue.
A prova da unicidade das congura c oes extremas para o caso em
que n > 2k e um pouco delicada, e ca como um bom exerccio para
o leitor.
Antes de passarmos para o nosso proximo topico, ca como exer-
ccio para o leitor esclarecer a situa c ao no caso em que n = 2k. O
que s ao os sistemas intersectantes /
_
[2k]
k
_
?
Consideremos agora sistemas -intersectantes de k-subconjuntos
de [n], isto e, sistemas de conjuntos /
_
[n]
k
_
com [A B[ para
todo A e B /. Naturalmente, ate agora temos considerado sistemas
1-intersectantes. Erd os, Ko, e Rado tambem provaram limitantes
superiores para o tamanho de sistemas -intersectantes para > 1.
Considere a seguinte constru c ao simples de sistemas -intersectan-
tes ( 1). Seja L [n] um conjunto com elementos. O sistema
-intersectante xado por L e o sistema
/
L
= A [n] : [A[ = k, L A. (1.53)
Note que [/
L
[ =
_
n
k
_
. Para o caso em que n e grande em rela c ao
a k, os sistemas /
L
xados por -conjuntos L s ao os sistemas -
intersectantes de tamanho maximo.
Teorema 12. Para todo e k com 1 k existe um n
0
= n
0
(, k)
para o qual vale o seguinte. Se /
_
[n]
k
_
e um sistema -intersectante
e n n
0
, ent ao
[/[
_
n
k
_
. (1.54)
Ademais, se vale a igualdade em (1.54), ent ao / e um sistema xado
por algum -conjunto L [n].
Demonstrac ao. Seja / um sistema -intersectante como no enunci-
ado. Naturalmente, n ao ha nada a fazer se k = , e portanto supo-
mos k > . Podemos tambem supor que / e maximal, isto e, ao
adicionarmos qualquer k-conjunto B contido em [n] a /, se B / /,
o sistema / deixa de ser -intersectante.
Da maximalidade de / segue que ha dois membros A e A
t
/
com [A A
t
[ = . Seja L = A A
t
. Se todos os membros de /
texto
2009/8/24
page 20
i
i
i
i
i
i
i
i
contem L, ent ao / /
L
e n ao ha nada a provar. Supomos portanto
que
existe B / com [B L[ < . (1.55)
Ponha U = A A
t
B e suponha agora que C / A, A
t
, B.
Armamos que
[C U[ + 1. (1.56)
De fato, note que C contem um elemento de B L, pois [B L[ <
e [CB[ . Portanto, se L C, a nossa arma c ao ja esta vericada.
Suponha que L , C. Ent ao, para que [CA[, [CA
t
[ , precisamos
que [C(AA
t
)[ +1 (pois L = AA
t
tem exatamente elementos
e L , C). Novamente, a nossa arma c ao (1.56) esta vericada.
Note que (1.56) vale tambem para C A, A
t
, B. Portanto
temos, muito generosamente,
[/[ 2
]U]
jk1
_
n [U[
j
_
. (1.57)
De fato, todo membro C de /pode ser escrito como C
1
C
2
onde C
1
=
CU e C
2
= CU. Como ha 2
]U]
possibilidades para C
1
e, dado C
1
,
ha no maximo
jk1
_
n [U[
j
_
possibilidades para C
2
(pois [C
2
[ k 1), a desigualdade (1.57)
segue. Note que o lado direito de (1.57) e O(n
k1
) e o lado direito
de (1.54) n ao e O(n
k1
). Finalmente, lembre que deduzimos (1.57)
supondo (1.55).
O Teorema 12 esta provado: se (1.55) vale, ent ao (1.57) vale e
portanto (1.54) vale estritamente para n sucientemente grande; por
outro lado, se (1.55) n ao vale, ent ao todo membro de / contem L.
1.3 Tecnicas da algebra linear
Consideraremos nesta se c ao teoremas extremais para sistemas de
conjuntos / com restri c oes de paridade nas cardinalidades das in-
terse c oes entre pares de membros de /. O nosso primeiro resultado
e o seguinte.
texto
2009/8/24
page 21
i
i
i
i
i
i
i
i
[SEC. 1.3: T
ECNICAS DA

ALGEBRA LINEAR 21
Teorema 13. Suponha que / T([n]) e um sistema de conjuntos
tal que
(i) [A[ e mpar para todo A /,
(ii) [A A
t
[ e par para todo A e A
t
/ com A ,= A
t
.
Ent ao [/[ n.
Demonstrac ao. A prova deste teorema usa uma tecnica um tanto
inesperada: algebra linear sobre o corpo F
2
= GF(2) dos inteiros
modulo 2. De fato, consideremos os vetores caractersticos x
A
=
(x
(A)
i
)
i[n]
dos membros A /. Aqui, temos
x
(A)
i
=
_
0 if i / A
1 if i A
para todo i [n]. Armamos que os vetores x
A
(A /) s ao linear-
mente independentes sobre F
2
. Note que isto termina a prova, pois
estes vetores est ao contidos em F
n
2
, que tem dimens ao n.
Para provar a independencia linear dos vetores x
A
(A /),
suponha que tenhamos
A,
A
x
A
= 0, (1.58)
com
A
F
2
para todo A /. Usamos agora o fato que podemos
denir um produto escalar F
n
2
F
n
2
F
2
colocando
x, y) = x
T
y mod 2 =
1in
x
i
y
i
mod 2, (1.59)
onde x = (x
i
) e y = (y
i
). (A unica propriedade que queremos so-
bre x, y) e que ele seja linear na segunda entrada: x,
1
y
1
+
2
y
2
) =
1
x, y
1
) +
2
x, y
2
)). Fixe agora A
0
/, e considere o vetor carac-
terstico x
A
0
de A
0
. Segue de (1.58) que
A,
A
x
A
0
, x
A
) =
_
x
A
0
,
A,
A
x
A
_
= 0. (1.60)
Entretanto, as hipoteses (i ) e (ii ) do nosso teorema implicam que o
lado esquerdo de (1.60) e
A
0
! Da segue que os vetores x
A
(A /)
s ao linearmente independentes, como queramos demonstrar.
texto
2009/8/24
page 22
i
i
i
i
i
i
i
i
A demonstra c ao muito elegante do Teorema 13 acima merece ser
estudada com cuidado. Este texto usara argumentos desse genero
varias vezes. O leitor apreciara o poder do argumento algebrico acima
ao tentar encontrar uma prova puramente combinatoria do resultado
acima. Tente!
O que ocorre se mudamos as paridades no enunciado do Teo-
rema 13? Suponha que exigimos agora que os membros de / tenham
todos cardinalidade par, e mantenhamos a condi c ao (ii ) (todas as
interse c oes pares). Temos aqui uma situa c ao surpreendentemente di-
ferente, como mostra a seguinte constru c ao. Considere inicialmente
uma parti c ao de [n] em pares, como por exemplo
[n] = 1, 2 3, 4 . . . (1.61)
(o ultimo bloco desta parti c ao e na verdade um conjunto unitario se n
e mpar). Sejam p
1
, . . . , p
n/2
os pares que comp oe esta parti c ao.
Ponha
/ = A [n] : se p
i
A ,= , ent ao p
i
A. (1.62)
Isto e, os membros de / s ao os conjuntos que podem ser escritos
como uma uni ao dos p
i
(1 i n/2|). Claramente, [A[ e par para
todo A / e (ii ) do Teorema 13 vale para /. Entretanto,
[/[ = 2
n/2
.
Isto e, trocando a hipotese na paridade exigida em (i ) no Teorema 13
passamos a permitir sistemas com um n umero exponencial de mem-
bros. (Antes os sistemas tinham no maximo n membros!)
Precisamos agora encontrar limitantes superiores para os nossos
novos sistemas. Na verdade, o nosso resultado diz que a constru c ao
que estudamos acima fornece sistemas extremais.
Teorema 14. Suponha que / T([n]) e um sistema de conjuntos
tal que
(i) [A[ e par para todo A /,
(ii) [A A
t
[ e par para todo A e A
t
/ com A ,= A
t
.
Ent ao [/[ 2
n/2
.
A prova do teorema acima exige que estudemos algebra linear
sobre corpos nitos (na verdade, F
2
) com um pouco mais de cuidado.
texto
2009/8/24
page 23
i
i
i
i
i
i
i
i
[SEC. 1.3: T
ECNICAS DA

ALGEBRA LINEAR 23
1.3.1 Alguns fatos da algebra linear
Seja F um corpo, possivelmente nito, e seja V um espa co vetorial
sobre F. Uma fun c ao : V V F e bilinear se ela for linear em
cada coordenada:
(u +v, w) = (u, w) +(v, w)
e
(w, u +v) = (w, u) +(w, v)
para todo e F e todo u, v, e w V . Se V = F
n
, as formas
bilineares sobre V s ao exatamente as aplica c oes (u, v) (u, v) =
u
T
Bv, onde B e uma matriz n n com entradas em F. Dizemos
que e simetrica se a matriz associada a e uma matriz simetrica,
isto e, B
T
= B.
Um produto interno em V e simplesmente uma forma bilinear
simetrica. Fixe um produto interno sobre V , e suponha que V
tenha dimens ao n. Podemos identicar V com F
n
.
Dizemos que dois vetores u e v s ao ortogonais se (u, v) = 0,
e escrevemos u v nesse caso. O espaco ortogonal W
de um
subespa co W V e dado por
W
= v V : v w para todo w W. (1.63)

Note que W
e um subespa co vetorial de V .
Dizemos que um vetor n ao-nulo v V e isotr opico se v v.
Se U, W V s ao dois subespa cos de V , dizemos que U e W s ao
ortogonais se todo u U e ortogonal a todo w W. Nesse caso,
escrevemos U W. Dizemos que um subespa co W V e totalmente
isotr opico se W W. Note que, em particular, se W e totalmente
isotropico, ent ao todo elemento de W e isotropico. Ademais, se W e
totalmente isotropico, temos W W
.
Finalmente, dizemos que o espa co V e singular se V V

,= (0).
Proposi cao 15. Seja V um espaco vetorial de dimens ao n e seja
um produto interno sobre V .
(i) Para todo subespaco W V , temos
dimW + dimW
n.
texto
2009/8/24
page 24
i
i
i
i
i
i
i
i
(ii) O espaco V n ao e singular se e s o se a matriz B associada ` a
e n ao-singular, isto e, tem determinante n ao-nulo.
(iii) Se V n ao e singular, ent ao para todo subespaco W V , temos
dimW + dimW
= n.
Demonstrac ao. Seja B a matriz associada à forma . Usamos nesta
prova alguns fatos elementares sobre sistemas de equa c oes lineares.
(i ) Seja w
1
, . . . , w
d
uma base de W. Um vetor v V pertence
a W
se e so se
w
T
i
Bv = 0, para todo 1 i d. (1.64)
O sistema linear acima tem d equa c oes, de forma que a dimens ao do
espa co das solu c oes W
e nd. Da segue que dimW+dimW

n.
(ii ) Suponha que B e singular. Ent ao existe um vetor n ao-nulo v
V com Bv = 0. Claramente, (u, v) = u
T
Bv = 0 para todo u V , de
forma que v V V
,= (0) e V e, por deni c ao, singular. Suponha

agora que B seja n ao-singular. Ent ao o sistema (1.64) (com d = n
e w
1
, . . . , w
n
uma base de V ) admite apenas a solu c ao trivial v = 0
pois os vetores w
T
i
B (1 i n) s ao linearmente independentes.
Dessa forma V
= (0), e V e n ao-singular.
(iii ) Suponha que w
i
(1 i d) formam uma base de W, como
na prova de (i ). De (ii ), sabemos que B e n ao-singular. Portanto,
os vetores w
T
i
B (1 i d) s ao linearmente independentes. Da
segue que o espa co de solu c oes do sistema (1.64) tem dimens ao ex-
atamente n d, de onde temos dimW + dimW
= n.
Corolario 16. Seja V um espaco vetorial de dimens ao n, munido
de um produto interno. Ademais, suponha que V seja n ao-singular.
Ent ao todo subespaco totalmente isotr opico W de V tem dimens ao
n/2.
Demonstrac ao. Seja W um subespa co totalmente isotropico de V ;
temos W W
. Como V n ao e singular, temos de (iii ) da Proposi-

c ao 15 que
2 dimW dimW + dimW
= n,
o que completa a prova deste corolario.
texto
2009/8/24
page 25
i
i
i
i
i
i
i
i
[SEC. 1.3: T
ECNICAS DA

ALGEBRA LINEAR 25
1.3.2 Prova do Teorema 14
Temos agora as ferramentas da algebra linear necessarias para provar
o nosso teorema.
Prova do Teorema 14. Seja / T([n]) como no enunciado de nosso
teorema. Como na demonstra c ao do Teorema 13, consideremos os
vetores caractersticos x
A
(A /) dos membros de /. Seja W o
subespa co de V = F
n
2
gerado por estes x
A
(A /). Consideramos o
produto interno can onico
x, y) = x
T
y mod 2 = x
T
I
n
y mod 2
sobre V ; a identidade I
n
e a matriz associada a este produto in-
terno. Note que temos, portanto, um espa co n ao-singular. Pelas
hipoteses (i ) e (ii ) de nosso teorema, temos que W e um subespa co
totalmente isotropico. Segue do Corolario 16 que dimW n/2. Na-
turalmente, temos dimW n/2|. Ademais, como estamos sobre F
2
,
claramente [/[ [W[ 2
dimW
2
n/2
.
Observa c oes
Note que os Teoremas 13 e 14 tratam dos casos mpar/par e
par/par da paridade das cardinalidades dos membros de / e in-
terse c oes dos pares de membros de /. Deixamos como um exerccio
para o leitor esclarecer a situa c ao para as variantes mpar/mpar e
par/mpar.
Ter ao papel fundamental no Captulo 2 resultados extremais para
sistemas de conjuntos envolvendo restri c oes modulo p (com p um
primo mpar) para as cardinalidades das interse c oes dois a dois de
seus membros (veja o Teorema 33).
1.3.3 O teorema de Fisher
O que podemos dizer sobre um sistema de conjuntos se sabemos que
a cardinalidade da interse c ao de quaisquer dois de seus membros e
exatamente um valor dado?

E intuitivo que tal restri c ao e muito mais
forte que restri c oes de paridade, como temos visto ate o momento.
Provaremos o seguinte resultado, às vezes chamado de o teorema de
Fisher n ao-uniforme, usando algebra linear.
texto
2009/8/24
page 26
i
i
i
i
i
i
i
i
Teorema 17. Fixe inteiros 1 < n. Suponha que o sistema de
conjuntos / T([n]) e tal que [AA
t
[ = para quaisquer A, A
t
/
distintos. Ent ao [/[ n.
O resultado original provado por Fisher em 1940 aplica-se a sis-
temas com mais restri c oes. Bose [12] provou o resultado acima no
caso em que todos os membros de / tem a mesma cardinalidade,
usando algebra linear; de fato, foi esta nota de Bose de duas paginas
que introduziu esta tecnica no estudo de problemas extremais para
sistemas de conjuntos.
Na mesma epoca, independentemente, de Bruijn e Erd os [16]
provaram o caso = 1 do Teorema 17, por metodos combinatorios.
Note que mesmo o caso em que = 1 e de fato interessante: alem da
constru c ao obvia em que todos os membros de / contem um elemento
xo e s ao disjuntos a menos deste elemento, ha ainda os exemplos dos
planos projetivos nitos, em que todo par de linhas se intersectam
em exatamente um ponto.
Majumdar [58] e Isbell [45] independentemente provaram o Teo-
rema 17; a prova que damos abaixo e devida a estes autores.
Prova do Teorema 17. Consideremos primeiro o caso em que existe
um A / com [A[ = . Ent ao todos os outros membros de /
contem A e n ao se intersectam fora de A. Portanto [/[ 1 +n
n, e portanto o nosso resultado vale. Supomos daqui para frente
que [A[ > para todo A /.
Para simplicar a nota c ao, suponha que / = A
1
, . . . , A
m
.
Considere os vetores caractersticos dos A
i
: para cada i, seja x
i
=
(x
ij
)
1j<n
onde
x
ij
=
_
0 se j / A
i
1 se j A
i
.
(1.65)
Provaremos que os vetores x
i
(1 i m) s ao linearmente indepen-
dentes, de onde poderemos concluir que m n.
Considere a matriz M = (x
ij
) 0, 1
mn
formada pelos x
ij
denidos em (1.65); equivalentemente, as linhas da matriz M s ao
justamente os vetores x
i
(1 i m).

E facil ver que vale a identidade
A = MM
T
= J +D, (1.66)
texto
2009/8/24
page 27
i
i
i
i
i
i
i
i
[SEC. 1.3: T
ECNICAS DA

ALGEBRA LINEAR 27
onde J denota a matriz m m com todas as entradas iguais a 1
e D = diag(d
1
, . . . , d
m
) e a matriz diagonal com as entradas d
i
=
[A
i
[ > 0 (1 i m). Fazemos agora duas observa c oes: se as
linhas x
i
de M n ao s ao linearmente independentes, ent ao existe um
vetor n ao nulo y = (y
i
) R
m
com y
T
M = 0, de forma que
y
T
Ay = 0. (1.67)
A nossa segunda observa c ao e que, devido a (1.66), o lado esquerdo
de (1.67) pode ser escrito da seguinte forma:
y
T
Ay = y
T
(J +D)y = y
T
Jy +y
T
Dy
=
1im
1jm
y
i
y
j
+
1im
d
i
y
2
i
=
_

1im
y
i
_
2
+
1im
d
i
y
2
i
> 0,
o que contradiz (1.67). Assim, podemos concluir que as linhas x
i
(1 i m) de M s ao de fato linearmente independentes, de forma
que temos necessariamente m n. O Teorema 17 esta provado.
Uma interse cao proibida
Embora a rela c ao com o Teorema 17 seja apenas na forma, n ao resisti-
mos e mencionamos aqui sem prova um resultado profundo de Frankl
e Rodl sobre sistemas de conjuntos com restri c oes na cardinalidade
das interse c oes de pares de seus membros. Paul Erd os [20] prop os
em 1976 a seguinte conjectura: se um sistema de conjuntos /
T([n]) e tal que n ao ha em / dois membros A e A
t
com [A A
t
[ =
n/4|, ent ao [/[ (2 )
n
para alguma constante absoluta > 0.
Em outras palavras, a proibic ao de exatamente uma cardinalidade
para as intersec oes dois a dois provoca uma queda exponencial no
tamanho do sistema. (No Teorema 17, exigimos que as interse c oes
sejam todas de uma cardinalidade dada; aqui exigimos que elas sejam
quaisquer, a menos de um unico valor.) Erd os ofereceu 250 dolares
pela resolu c ao desta conjectura.
Onze anos mais tarde, esta conjectura foi provada por Frankl e
Rodl [36], na seguinte forma mais forte. Seja m(n, ) o tamanho
texto
2009/8/24
page 28
i
i
i
i
i
i
i
i
maximo de um sistema de conjuntos / T([n]) que n ao contem dois
membros A e A
t
com [A A
t
[ = .
Teorema 18. Para todo 0 < < 1/4 existe uma constante =
() > 0 para o qual temos
m(n, ) (2 )
n
para qualquer inteiro com n < < (1/2 )n.
Para o caso em que = n/4|, o resultado explcito e que
m(n, n/4|) < 1,99
n
, (1.68)
e, mais geralmente, se = n|, temos
m(n, n|) (2
2
/2 +o(
3
))
n
. (1.69)
Tomando /
T([n]) como sendo o sistema de todos os subconjuntos

de [n] com estritamente mais de (1 +)n/2 elementos, vemos que
m(n, n|) (2
2
+o(
3
))
n
e, no caso especco em que = 1/4, vemos que
m(n, n/4|) 1,9378
n
.
Estes limites inferiores para m(n, ) mostram que (1.68) e (1.69) n ao
est ao muito longe de serem limitantes otimos.
A demonstra c ao do Teorema 18 e bastante complexa.
1.4 O teorema de Ahlswede e Khacha-
trian
Vimos no Teorema 12 que se n e sucientemente grande em rela c ao
a k, ent ao um sistema -intersectante de k-subconjuntos de [n] tem
no maximo
_
n
k
_
membros. Ademais, os exemplos extremos s ao os
sistemas /
L
xados por -conjuntos L.

E natural perguntar se tal
restri c ao sobre n e necessaria.
texto
2009/8/24
page 29
i
i
i
i
i
i
i
i
[SEC. 1.4: O TEOREMA DE AHLSWEDE E KHACHATRIAN 29
Consideremos as seguintes constru c oes alternativas para sistemas
-intersectantes /
i
(0 i (n )/2) sobre [n]. Para cada inteiro i
com 0 2i n , pomos
/
i
= A [n] : [A[ = k, [A [ + 2i][ +i. (1.70)
Note que, de fato, os /
i
s ao -intersectantes: se A e A
t
s ao dois
membros de / distintos, ent ao temos que A A
t
[ + 2i] A A
t
tem pelo menos elementos. Ademais, note que /
0
nada mais e que
o sistema -intersectante xado pelo -conjunto L = [].
Consideremos um caso extremo: tome = 2, k = 2r, e n = 4r.
Ent ao o sistema 2-intersectante /
i
com i = r 1 e
/
r1
= A [n] : [A[ = k, [A [2r][ r + 1,
e tem cardinalidade
[/
r1
[ =
1
2
_
_
4r
2r
_
_
2r
r
_
2
_
=
_
1
2
+o(1)
__
4r
2r
_
. (1.71)
Por outro lado, um sistema /
L
xado por um 2-conjunto L (veja
(1.53)) tem
[/
L
[ =
_
4r 2
2r 2
_
=
_
1
4
+o(1)
__
4r
2r
_
. (1.72)
Comparando (1.71) e (1.72) vemos que, em geral, a constru c ao (1.70)
com i > 0 pode fornecer sistemas -intersectantes maiores que aqueles
xados por -conjuntos L.
N ao e difcil provar que se n n
0
(k), ent ao [/
i
[ e maximo para i =
0. O exemplo acima mostra que para certos casos extremos, o maximo
dos [/
i
[ e atingido para valores i > 0.
Seja M(n, k, ) a cardinalidade maxima de um sistema -inter-
sectante de k-subconjuntos de [n]. Ent ao M(n, k, ) max
i
[/
i
[.
Ademais, se n e sucientemente grande em rela c ao a k, ent ao vale a
igualdade (este e o Teorema 12).
Conjectura 19. Para todo 1 k n, vale que
M(n, k, ) = max
i
[/
i
[, (1.73)
onde o m aximo e tomado sobre 0 i (n )/2.
texto
2009/8/24
page 30
i
i
i
i
i
i
i
i
A conjectura acima e devida, nesta generalidade, a Frankl [29]. O
caso = 2, k = 2r, e n = 4r ja ocorre no artigo original de Erd os,
Ko, e Rado [25], de 1961.
1.4.1 A resolucao da Conjectura 19
Um dos grandes resultados da teoria extremal dos conjuntos em anos
recentes foi a resolu c ao completa da conjectura de Frankl, Conjec-
tura 19, por Ahlswede e Khachatrian [1] em 1997.
Teorema 20. A Conjectura 19 e verdadeira.
A conjectura de 1938 de que M(4r, 2r, 2) e dado por [/
r1
[ (veja
(1.71)) foi um dos problemas favoritos de Erd os. A demonstra c ao do
Teorema 20 e um tanto rebuscada, e esta fora do escopo destas notas.
1.5 O teorema de Ramsey
Embora obvio, o princpio da casa do pombo, tambem conhecido
como o princpio de Dirichlet, pode ser empregado de formas sutis,
muitas vezes permitindo provar resultados de forma inesperada. Este
princpio pode ser enunciado da seguinte forma: se colocamos n + 1
pombos emn casas, ent ao alguma casa vai receber mais de um pombo.
Nesta se c ao, discutiremos brevemente uma vers ao mais sosticada
deste fen omeno basico da natureza, conhecida como o teorema de
Ramsey. Para uma discuss ao introdutoria à teoria de Ramsey, o
leitor pode consultar [15]. Uma excelente referencia (mais avan cada)
e a monograa [42].
1.5.1 O princpio de Dirichlet
Se o leitor n ao esta familiarizado com aplica c oes do princpio da casa
do pombo, ent ao e bem natural que ele esteja um tanto descon-
ado: como pode um princpio t ao obvio ter qualquer conseq uencia
mais interessante? Apenas para ilustrar o uso deste princpio, expo-
mos aqui um resultado bem conhecido de 1842 de Dirichlet, sobre
aproxima c oes diofantinas. Este resultado n ao sera usado no resto do
texto; resolvemos inclu-lo porque ele e um dos melhores exemplos
que ilustram o poder do princpio da casa do pombo.
texto
2009/8/24
page 31
i
i
i
i
i
i
i
i
[SEC. 1.5: O TEOREMA DE RAMSEY 31
Teorema 21. Seja um n umero irracional, ent ao existem innitas
soluc oes racionais p/q para a desigualdade

p
q
<
1
q
2
. (1.74)
Demonstrac ao. Fixe um inteiro Q 1. Considere os Q+ 1 n umeros
0, , 2, . . . , Q [0, 1), onde escrevemos x para a parte
fracionaria de x, isto e, x = x x|. Considere os Q intervalos
I
k
=
_
k 1
Q
,
k
Q
_
[0, 1)
para 1 k Q. Note que estes Q intervalos particionam o inter-
valo [0, 1). Pelo princpio de Dirichlet, dois dos Q + 1 n umeros i
(0 i Q) pertencem a um mesmo intervalo I
k
; suponha que eles
sejam i e j, com i > j. Ent ao
i j
<
1
Q
. (1.75)
Portanto, tomando q = i j > 0 e p = i| j|, deduzimos
de (1.75) que
[q p[ <
1
Q
.
Dividindo por q e lembrando que q = i j Q, temos que

p
q
<
1
qQ

1
q
2
, (1.76)
e assim encontramos uma solu c ao para (1.74).
Como e irracional, o lado esquerdo de (1.76) e estritamente po-
sitivo, digamos > 1/Q
t
, para algum inteiro positivo Q
t
. Repetindo
o argumento acima para este Q
t
, podemos encontrar uma aprox-
ima c ao p
t
/q
t
para tal que

p
t
q
t
<
1
q
t
Q
t

1
(q
t
)
2
. (1.77)
Como 1/q
t
Q
t
< 1/Q
t
< [ p/q[, a aproxima c ao p
t
/q
t
e uma nova
aproxima c ao de . Podemos assim deduzir que (1.74) de fato tem
innitas solu c oes.
texto
2009/8/24
page 32
i
i
i
i
i
i
i
i
Ja encontramos neste texto uma outra aplica c ao do princpio da
casa do pombo: uma seq uencia primitiva de inteiros contida em [2n]
tem no maximo n elementos. (Voce fez o segundo exerccio sugerido
no come co da Se c ao 1.2.1?)
1.5.2 O teorema de Ramsey para grafos
Passaremos agora a discutir um resultado classico de Ramsey [63],
de 1930. A grosso modo, o teorema de Ramsey e uma vers ao iterada
do princpio da casa do pombo.
Uma area rica da combinatoria, conhecida como a teoria de Ram-
sey, lida com resultados relacionados ao teorema de Ramsey e a outros
resultados que s ao manifesta c oes de um fen omeno basico, assim de-
scrito por Theodore S. Motzkin: desordem completa e impossvel.
Estudamos no Captulo 3 uma subarea da teoria de Ramsey, a saber,
a teoria de Ramsey euclideana, introduzida em um trabalho de 1973,
dedicado a Motzkin pelos ilustres autores P. Erd os, R. L. Graham,
P. Montgomery, B. L. Rothschild, J. Spencer, e E. G. Straus [21].
O teorema de Ramsey
Aqui, restringimo-nos à vers ao mais simples do teorema de Ramsey,
que e a vers ao para grafos. Um grafo nada mais e que um par (V, E),
onde V e o conjunto de vertices de G e E e um conjunto de pares
de vertices de G: E
_
V
2
_
. Os elementos de E s ao as arestas de G.
Usualmente, dizemos que uma aresta e = x, y E de um grafo G =
(V, E) liga os seus extremos x e y. Quando dois vertices x, y V
de G formam uma aresta x, y E de G, dizemos que x e y s ao
adjacentes.
Um clique em um grafo G = (V, E) e um conjunto U V de
vertices com
_
U
2
_
E, isto e, tal que todos os pares de vertices
em U formam arestas de G. Um conjunto independente em G e um
conjunto W V de vertices com
_
U
2
_
E = , isto e, nenhum par de
vertices em W forma uma aresta de G. Pomos
(G) = max[U[ : U e um clique em G
e
(G) = max[W[ : W e um conjunto independente em G.
texto
2009/8/24
page 33
i
i
i
i
i
i
i
i
O teorema de Ramsey simplesmente diz que grafos grandes precisam
conter cliques ou conjuntos independentes grandes.
Teorema 22. Sejam k e inteiros positivos. Ent ao existe um in-
teiro n
0
= n
0
(k, ) tal que todo grafo G com pelo menos n
0
vertices e
tal que (G) k ou (G) .
Muitas vezes, se a conclus ao do Teorema 22 vale para um inteiro n,
escrevemos
n (k, ). (1.78)
Ademais, denimos como o n umero de Ramsey R(k, ) o menor valor
possvel para o inteiro n
0
(k, ) no enunciado do Teorema 22, ou, equi-
valentemente, o menor valor de n para o qual (1.78) vale. Natural-
mente, o Teorema 22 arma que R(k, ) < para todo k e 1.
A prova do Teorema 22 e baseada na aplica c ao do princpio da
casa do pombo de forma iterada.
Demonstrac ao do Teorema 22. Claramente, temos
R(1, ) = R(k, 1) = 1 (1.79)
para todo k e 1. Suponha agora que k e 2, e que R(k
t
,
t
) <
para todo par (k
t
,
t
) com k
t
+
t
< k +. Vamos provar que
R(k, ) R(k 1, ) +R(k, 1). (1.80)
Seja G = (V, E) um grafo com n = R(k, 1) +R(k 1, ) vertices.
Devemos provar que G contem um clique de cardinalidade k ou um
conjunto independente de cardinalidade . Fixe um vertice x de G.
Pelo princpio da casa do pombo, ou (i ) x e adjacente a R(k 1, )
vertices, ou (ii ) x n ao e adjacente a R(k, 1) vertices de G.
Suponha que vale o caso (i ) acima. Considere o grafo G
t
cujo
conjunto de vertices Y e o conjunto de vertices y de G com x e y
adjacentes (os vizinhos de x); denimos o conjunto de arestas em G
t
como o conjunto E
_
Y
2
_
, isto e, dois vertices y e y
t
Y s ao adjacentes
em G
t
se e so se o forem em G. Pela deni c ao de R(k 1, ), o
grafo G
t
contem um clique de tamanho k 1 ou contem um conjunto
independente de tamanho . Note que se tal conjunto independente
existir em G
t
, ent ao ele e tambem um conjunto independente em G
texto
2009/8/24
page 34
i
i
i
i
i
i
i
i
e n ao ha nada mais a fazer. Caso G
t
contenha um clique U
t
de
tamanho k, ent ao observamos que U = U
t
x e um clique em G
de tamanho k, e assim terminamos a prova.
Suponha agora que vale o caso (ii ) acima. Considere o grafo G
tt
cujo conjunto de vertices Z e o conjunto de vertices z V x de G
com x e z n ao-adjacentes e z ,= x; denimos o conjunto de arestas
em G
tt
como o conjunto E
_
Z
2
_
. Pela deni c ao de R(k, 1), o
grafo G
tt
contem um clique de tamanho k ou contem um conjunto
independente de tamanho 1. Note que se tal clique existir em G
tt
,
ent ao ele e tambem um clique em G e n ao ha nada mais a fazer.
Caso G
tt
contenha um conjunto independente W
tt
de tamanho 1,
ent ao observamos que W = W
tt
x e um conjunto independente
em G de tamanho .
Isto conclui a prova do Teorema 22.
Observac ao 23. A demonstra c ao acima do Teorema 22 de fato implica
que
R(k, )
_
k + 2
k 1
_
. (1.81)
De fato, a desigualdade (1.81) pode ser provada por indu c ao usando-
se (1.79) e (1.80).
Um problema numerico famoso relacionado ao teorema de Ramsey
e o seguinte. Ponha
R(n) = R(n, n). (1.82)
Problema 24. Determine ou estime R(n).
Sabe-se o valor de R(n) para valores pequenos de n.

E trivial
que R(1) = 1 e que R(2) = 2. Um exerccio bem conhecido e provar
que R(3) = 6. Ja e mais difcil provar que R(4) = 18 (tente!). O que
se sabe sobre R(5) e que
43 R(5) 49.
Para mais detalhes sobre valores exatos dos n umeros de Ramsey, veja
a Resenha din amica de Stanislaw Radziszowski [62].
O que podemos dizer sobre a ordem de grandeza de R(n)? Pela
Observa c ao 23, temos que
R(n)
_
2n 2
n 1
_
n
4
n
(1.83)
texto
2009/8/24
page 35
i
i
i
i
i
i
i
i
para alguma constante positiva c > 0.
Como podemos limitar R(n) por baixo? Claramente, provar que
R(n) > N signica provar que existe um grafo com N vertices que n ao
contem nenhum clique de tamanho n nem contem nenhum conjunto
independente de tamanho n.
`
A primeira vista, pode ser surpreen-
dente que este seja um problema difcil.
O limitante exponencial de Erd os
Um resultado inuente de Erd os foi o seu limitante inferior expo-
nencial [19] para os n umeros de Ramsey R(n), publicado em 1947.
Embora a prova deste resultado seja muito simples, foi ela a de-
monstra c ao denitiva de que o assim chamado metodo probabilstico
e fundamental na combinatoria.
Teorema 25. Para todo n 3, temos R(n) > 2
n/2
.
Demonstrac ao. Podemos vericar por inspe c ao que R(n) > 2
n/2
de
fato vale para n = 3 e 4, de forma que podemos supor que n 5.
Consideremos grafos G sobre V = [N], onde
N = 2
n/2
|,
denidos da seguinte forma: para cada par de vertices distintos a
e b V , lance uma moeda honesta e coloque a aresta a, b em G
se e so se a moeda der cara. Note que denimos assim um grafo
aleat orio G.
Mais formalmente, para cada 1 a < b N, considere uma
variavel aleatoria X
a,b
com
P(X
a,b
= 0) = P(X
a,b
= 1) =
1
2
,
com todas as variaveis X
a,b
(1 a < b N) independentes. A
aresta a, b pertence ao grafo aleatorio G se e so se X
a,b
= 1.
Qual e o n umero esperado de cliques de tamanho n em G? Para
cada subconjunto U V de n vertices, escreva Y
U
para a variavel
indicadora 01 que vale 1 se e so se U e um clique em G. Ent ao
P(Y
U
= 1) = 2
(
|U|
2
)
= 2
(
n
2
)
. (1.84)
texto
2009/8/24
page 36
i
i
i
i
i
i
i
i
O n umero total de cliques de tamanho n em G e Y =

U
Y
U
, onde
a soma e sobre todos os n-subconjuntos de V . Assim, o n umero
esperado de cliques de tamanho n em G e, devido a (1.84),
E(Y ) = E
_
U
Y
U
_
=
U
E(Y
U
) =
U
P(Y
U
= 1) =
_
N
n
_
2
(
n
2
)
,
(1.85)
onde usamos uma propriedade fundamental do valor esperado, a as-
sim chamada linearidade (o valor esperado de uma soma de variaveis
aleatorias e a soma dos valores esperados dessas variaveis). Analoga-
mente, se Z e o n umero de conjuntos independentes em G, podemos
deduzir que
E(Z) =
_
N
n
_
2
(
n
2
)
. (1.86)
De (1.85) e (1.86), podemos deduzir que
E(Y +Z) = 2
_
N
n
_
2
(
n
2
)
2
_
eN
n
_
n
2
n(n1)/2
2
_
e2
n/2
2
(n1)/2
n
_
n
= 2
_
e
2
n
_
n
< 1, (1.87)
onde usamos que n 5 e que
_
a
b
_
(ea/b)
b
(veja Lema 94 do
Apendice A).
O que podemos deduzir de (1.87)? O n umero esperado de cliques
e conjuntos independentes de tamanho n em G e < 1. Claramente,
algum grafo G gerado da forma acima precisa ser tal que o n umero
de tais conjuntos e 0, pois caso contrario o n umero medio de tais
conjuntos seria pelo menos 1! Da segue que existe um grafo G com N
vertices com (G) < n e (G) < n, e portanto R(n) > N.
O argumento de Erd os, com um pouco mais de cuidado nas esti-
mativas, fornece o seguinte resultado:
R(n)
n
e
2
(n1)/2
(1.88)
para todo n 1. Este limitante, entretanto, ainda pode ser me-
lhorado levemente, usando-se tecnicas mais avan cadas da teoria de
texto
2009/8/24
page 37
i
i
i
i
i
i
i
i
probabilidade. Usando o assim chamado Lema Local de Lovasz [26],
Spencer [67] provou que o limite inferior em (1.88) pode ser melhorado
por um fator de 2, isto e, vale que
R(n)
n
e
2
(n+1)/2
(1.89)
A desigualdade (1.89) de 1975 e ainda o melhor resultado que se co-
nhece nesta dire c ao. Por outro lado, mais de 50 anos apos o limitante
superior (1.83) ter sido provado, Thomason e Rodl independente-
mente provaram limitantes superiores de ordem de grandeza menores
que o lado direito de (1.83). O limitante superior mais forte que se
conhece para R(n) hoje e devido a Thomason [70], que diz que existe
uma constante absoluta c > 0 para o qual temos
R(n) n
1/2+c/
log n
_
2n 2
n 1
_
. (1.90)
Note que o limitante de Thomason (1.90) e aproximadamente n
1/2
menor que o limitante em (1.83). (O limitante de Rodl [41] para R(n)
era basicamente um fator de log log n menor que o lado direito de
(1.83).)
Para a grande frustra c ao de todos os envolvidos, os seguintes prob-
lemas de Erd os, de 1947, persistem.
Conjectura 26. O limite
lim
n
R(n)
1/n
(1.91)
existe.
Problema 27. Encontre o valor do limite em (1.91), caso ele exista.
O que se sabe sobre o Problema 27 e que
2 liminf
n
R(n)
1/n
limsup
n
R(n)
1/n
4, (1.92)
que e o que Erd os ja sabia em 1947. Erd os ofereceu 100 dolares pela
resolu c ao da Conjectura 26, e ofereceu 250 dolares pela resolu c ao do
Problema 27.
texto
2009/8/24
page 38
i
i
i
i
i
i
i
i
Na Se c ao 1.5.3, exibiremos explicitamente um grafo que prova
que R(n) cresce pelo menos cubicamente em n. No Captulo 2,
Se c ao 2.5, exibiremos um grafo que prova que R(n) cresce super-
polinomialmente com n.
Sera a teoria extremal dos conjuntos que nos dara informa c oes
sobre os cliques e sobre os conjuntos independentes dos grafos que
vamos construir explicitamente na Se c ao 1.5.3 abaixo e na Se c ao 2.5
do Captulo 2.
1.5.3 Construc oes explcitas
Considere as triplas do conjunto [n] e dena um grafo G
n
sobre elas,
denindo como arestas exatamente os pares de triplas de tem exata-
mente um elemento em comum. Formalmente, o grafo G tem con-
junto de vertices V =
_
[n]
3
_
e conjunto de arestas
E =
_
A, B
_
V
2
_
: [A B[ = 1
_
.
Vamos provar que os cliques e conjuntos independentes de G
n
s ao
pequenos.
Teorema 28. Seja G
n
o grafo denido acima. Ent ao
(G
n
), (G
n
) n. (1.93)
Demonstrac ao. Suponha que A
1
, . . . , A
V formam um clique em
G
n
. Ent ao temos uma famlia de subconjuntos de [n] com cada par
de conjuntos distintos intersectando em exatamente um elemento: o
Teorema 17 implica que n. Conclumos que (G
n
) n.
Suponha agora que B
1
, . . . , B
V formam um conjunto inde-

pendente em G
n
. Ent ao temos famlia de subconjuntos de [n], todos
de cardinalidade mpar, com cada par de conjuntos distintos inter-
sectando em 0 ou 2 elementos, isto e, em um n umero par de elementos:
o Teorema 13 implica que n. Conclumos que (G
n
) n.
Corolario 29. Para todo n, existe um grafo que pode ser explicita-
mente descrito que prova que R(n + 1) >
_
n
3
_
.
texto
2009/8/24
page 39
i
i
i
i
i
i
i
i
A constru c ao de G
n
acima e devida a Zsigmond Nagy (1972).
Como mencionado anteriormente, veremos no Captulo 2 uma cons-
tru c ao explcita de um grafo que prova que R(n) cresce mais rapido
que qualquer polin omio em n.
1.5.4 O teorema de Ramsey para hipergrafos
Ramsey provou o seguinte resultado mais geral em seu trabalho ori-
ginal [63].
Teorema 30. Sejam k, , e r inteiros positivos com k . Ent ao
existe um inteiro positivo N
0
= N
0
(k, , r) para o qual vale a seguinte
asserc ao: se N N
0
, ent ao
(*) toda r-colora c ao dos -subconjuntos de [N] colore todos os -
subconjuntos de algum k-subconjunto de [N] da mesma cor.
Podemos enunciar a propriedade (*) do Teorema 30 mais formal-
mente da seguinte maneira. Para toda r-colora c ao :
_
[N]
_
[r],
existe K [N] com [K[ = k tal que
_
K
_
e constante. A pro-
priedade (*) e muitas vezes expressa da seguinte forma compacta:
N (k)
r
. (1.94)
O k-conjunto garantido em (*) e dito ser monocrom atico. O menor
inteiro N
0
= N
0
(k, , r) para o qual vale a conclus ao do Teorema 30,
ou, equivalentemente, o menor inteiro N para o qual vale (1.94), e
conhecido como o n umero de Ramsey R
()
r
(k).
O leitor deve vericar que de fato o Teorema 30 generaliza o Teo-
rema 22 (basta considerar o caso r = 2 no Teorema 30).
O Teorema 30 sera particularmente importante na Se c ao 3.5 do
Captulo 3.
Prova do Teorema 30
A prova do Teorema 30 ca mais transparente se introduzimos a
rela c ao
N (k
1
, . . . , k
r
)
, (1.95)
onde os k
1
, . . . , k
r
s ao inteiros positivos: vamos dizer que (1.95) vale
se qualquer r-colora c ao :
_
[N]
_
[r] dos -subconjuntos de [N]
texto
2009/8/24
page 40
i
i
i
i
i
i
i
i
admitir um k
i
-conjunto K [n] com
_
K
_
constante e igual a i,
para algum 1 i r. O menor inteiro N para o qual (1.95) vale sera
denotado por R
()
(k
1
, . . . , k
r
). A desigualdade que generaliza (1.80)
naturalmente e
R
()
(k
1
, . . . , k
r
) 1 +R
(1)
(R
1
, . . . , R
r
), (1.96)
onde
R
1
= R
()
(k
1
1, k
2
, . . . , k
r
),
R
2
= R
()
(k
1
, k
2
1, . . . , k
r
),
.
.
.
R
r
= R
()
(k
1
, k
2
, . . . , k
r
1).
Deixamos a prova de (1.96) como um exerccio para o leitor.
(Sugest ao: observe que se temos uma r-colora c ao dos -subconjuntos
de [N] ent ao podemos temos uma r-colora c ao induzida nos ( 1)-
subconjuntos de [N 1], a saber, aquela em que a cor de um ( 1)-
subconjunto X [N1] e a cor (XN) de XN na colora c ao
original .)
O Teorema 30 segue de (1.96).
texto
2009/8/24
page 41
i
i
i
i
i
i
i
i
Captulo 2
A conjectura de Borsuk
e o n umero cromatico
de R
n
2.1 Introducao
Neste captulo vamos discutir dois problemas classicos de Geome-
tria Combinatoria, resolvidos recentemente por meio de tecnicas de
algebra linear e teoria extremal dos conjuntos: a conjectura de Borsuk
e o crescimento exponencial do n umero cromatico de R
n
.
Em 1933 o famoso topologo Karol Borsuk prop os um problema
que cou conhecido como a Conjectura de Borsuk:

E possvel di-
vidir um subconjunto limitado qualquer de R
d
em d +1 conjuntos de
di ametro menor?
60 anos depois, Je Kahn e Gil Kalai [47] mostraram que a conjec-
tura de Borsuk e espetacularmente falsa: se f(d) e o menor n umero
tal que qualquer subconjunto limitado de R
d
pode ser dividido em
f(d) conjuntos de di ametro menor ent ao f(d) (1,1)
d
, para d su-
cientemente grande. Vamos apresentar uma modica c ao desta prova
devida a A. Nilli que implica que f(d) (1,2)
d
para d sucien-
temente grande, e uma outra modica c ao de A. Raigorodski e B.
41
texto
2009/8/24
page 42
i
i
i
i
i
i
i
i
42 [CAP. 2: DOIS RESULTADOS GEOM
ETRICOS
Weissbach, que fornece um contra-exemplo explcito em dimens ao
561 (o atual recorde).
O n umero cromatico de R
n
e o menor k tal que e possvel pintar os
pontos de R
n
usando k cores sem que haja dois pontos de mesma cor
à dist ancia 1. N ao e difcil ver que o n umero cromatico de R
n
cresce
no maximo como uma exponencial. Vamos mostrar um teorema de
Frankl e Wilson [34] de 1981, que implica que o n umero cromatico
de R
n
cresce exponencialmente, provando uma conjectura de 1972
de Larman e Rogers [54]: e maior que (1,2)
n
para n sucientemente
grande. O trabalho de Frankl e Wilson introduziu as tecnicas princi-
pais utilizadas neste captulo. Nele e provado um pouco mais do que
enunciamos: de fato, se dividimos R
n
em menos que (1,2)
n
subcon-
juntos, em um desses subconjuntos todas as dist ancias positivas s ao
realizadas.
2.2 Espacos de polin omios
Nesta se c ao vamos provar alguns resultados tecnicos que utilizam a
no c ao de independencia linear em certos espa cos de polin omios. Esses
resultados ter ao um papel fundamental nas se c oes seguintes sobre o
n umero cromatico de R
n
e a conjectura de Borsuk. Come camos com
um lema sobre independencia linear:
Lema 31. Sejam f
1
, f
2
, . . . , f
n
: X Z func oes denidas num con-
junto arbitr ario X. Suponhamos que existe um n umero primo p e el-
ementos x
1
, x
2
, . . . , x
n
X tais que p f
i
(x
i
) para todo i e p [ f
i
(x
j
)
para todo i ,= j. Ent ao f
1
, f
2
, . . . , f
n
s ao linearmente independentes
sobre Q, isto e, se uma combinac ao linear

n
i=1
c
i
f
i
com coecientes
em Q e identicamente nula em X ent ao c
i
= 0 para todo i.
Demonstrac ao. Se existe uma combina c ao linear com coecientes ra-
cionais

n
i=1
c
i
f
i
que se anula em X, podemos supor que c
i
Z
para todo i (multiplicando pelo m.m.c. dos denominadores), e, talvez
dividindo por um inteiro adequado, que mdc(c
1
, c
2
, . . . , c
n
) = 1. Em
particular, existira i tal que p c
i
.
Teremos assim

n
j=1
c
j
f
j
(x
i
) = 0, o que e um absurdo, pois p [
f
j
(x
i
), j ,= i, mas p n ao divide c
i
e n ao divide f
i
(x
i
), donde p n ao
divide c
i
f
i
(x
i
), e portanto tambem n ao divide

n
j=1
c
j
f
j
(x
i
).
texto
2009/8/24
page 43
i
i
i
i
i
i
i
i
[SEC. 2.2: ESPACOS DE POLIN
OMIOS 43
Vamos agora apresentar um lema que permite em determinadas
situa c oes substituir um polin omio em varias variaveis por um poli-
n omio multilinear que assume os mesmos valores em certos conjun-
tos. Um polin omio multilinear e uma soma de mon omios em que
cada variavel aparece com expoente 0 ou 1. O espa co dos polin omios
multilineares com coecientes racionais nas variaveis x
1
, x
2
, . . . , x
n
e
um espa co vetorial sobre Q de dimens ao 2
n
, gerado pelos mon omios
x
(I)
(I 1, 2, . . . , n) denidos por x
(I)
= x
i
1
x
i
2
. . . x
i
r
se I =
i
1
, i
2
, . . . , i
r
.
Se k n, o espa co dos polin omios multilineares com coecientes
racionais nas variaveis x
1
, x
2
, . . . , x
n
de grau menor ou igual a k
e um espa co vetorial sobre Q de dimens ao

k
j=0
_
n
j
_
, gerado pelos
mon omios x
(I)
, I 1, 2 . . . , n com [I[ k.
Lema 32. Sejam f(x
1
, x
2
, . . . , x
n
) um polin omio em n vari aveis so-
bre Q,
1
= 0, 1
n
Q
n
e
2
= 1, 1
n
Q
n
. Se f tem grau s
ent ao existem polin omios multilineares f
1
e f
2
de graus s tais que
f
1
coincide com f em
1
e f
2
coincide com f em
2
.
Demonstrac ao. Como x
k
i
= x
i
se x
i
0, 1 e k 1, para obter f
1
basta trocar todos os expoentes positivos na expans ao de f por 1.
Para obter f
2
usamos o fato que x
2
i
= 1 se x
i
1, 1, e trocamos
todos os expoentes pares na expans ao de f por 0 e todos os expoentes
mpares por 1.
Vamos agora provar um teorema de Deza, Frankl e Singhi [17] que
limita o tamanho de famlias de subconjuntos de um conjunto nito
dadas certas restri c oes (modulo p) sobre os tamanhos das interse c oes
2 a 2 desses conjuntos (a prova que apresentaremos e de Alon, Babai,
e Suzuki [3]). No que segue, escrevemos x L (mod p) se x
(mod p) para algum L.
Teorema 33. Sejam p um n umero primo e L um conjunto de s
n umeros inteiros. Suponha que T = A
1
, A
2
, . . . , A
m
e uma famlia
de subconjuntos de um conjunto de n elementos tal que
(i) [A
i
[ / L (mod p) (1 i m);
(ii) [A
i
A
j
[ L (mod p) (1 i < j m).
texto
2009/8/24
page 44
i
i
i
i
i
i
i
i
ETRICOS
Ent ao
m
s
j=0
_
n
j
_
.
Demonstrac ao. Vamos considerar o seguinte polin omio em 2n variaveis
(x, y), x = (x
1
, . . . , x
n
), y = (y
1
, . . . , y
n
):
F(x, y) =
L
(x, y) ), onde x, y) =
n
i=1
x
i
y
i
.
Consideramos agora os polin omios emn variaveis f
i
(x) = F(x, v
i
),
onde v
i
0, 1
n
e o vetor de incidencia do conjunto A
i
, isto e,
v
i
= (v
i1
, v
i2
, . . . , v
in
), onde
v
ij
=
A
i
(j) =
_
1 se j A
i
0 se j / A
i
.
Pela deni c ao de F e pelas hipoteses do teorema, p [ f
i
(v
j
) se
i ,= j e p f
i
(v
i
), i. Pelo Lema 32, podemos trocar os polin omios
f
i
por polin omios multilineares

f
i
de grau s que coincidem com f
i
em 0, 1
n
, e portanto nos vetores v
i
. Pelo Lema 31,

f
1
,

f
2
, . . . ,

f
m
s ao linearmente independentes sobre Q. Como a dimens ao do espa co
dos polin omios multilineares em n variaveis de grau s e

s
j=0
_
n
j
_
,
temos m
s
j=0
_
n
j
_
.
Corolario 34. Seja p um primo e T uma famlia de subconjuntos
com 2p 1 elementos de um conjunto com n > 2p elementos. Se a
intersec ao de dois conjuntos da famlia nunca tem exatamente p 1
elementos ent ao [T[
p1
j=0
_
n
j
_
.
Demonstrac ao. Tomamos L = 0, 1, . . . , p 2 e notamos que T sa-
tisfaz as hipoteses do Teorema 33.
Proposi cao 35. Sejam p um primo mpar e n = 4p 2. Seja
Q = (x
1
, x
2
, . . . , x
n
) 1, 1
n

x
1
= 1 e [i [ x
i
= 1[ e par.
Dizemos que dois elementos x, y Q s ao quase-ortogonais se [x, y)[ =
2. Se Q
t
Q n ao contem nenhum par de vetores quase-ortogonais
texto
2009/8/24
page 45
i
i
i
i
i
i
i
i
[SEC. 2.2: ESPACOS DE POLIN
OMIOS 45
ent ao
[Q
t
[
p2
i=0
_
n
i
_
.
Observac ao 36. Dados x, y Q, x, y) = (4p 2) 2[i [ x
i
,= y
i
[
e sempre congruente a 2 modulo 4, pois, como x e y tem ambos um
n umero par de coordenadas 1, a cardinalidade de i [ x
i
,= y
i
e
par. Assim, [x, y)[ 2, x, y Q.
Prova da Proposic ao 35. Observemos inicialmente que, se Q
t
Q
n ao contem nenhum par de vetores quase-ortogonais e x, y Q
t
s ao
tais que x, y) 2 (mod p) ent ao x = y. De fato, x, y) / 2, 2,
e, como x, y) 2 (mod 4), teramos x, y) 2 (mod 4p), e como
(4p 2) x, y) 4p 2, devemos ter x, y) (4p 2), 4p 2.
Entretanto, como x
1
= y
1
, n ao podemos ter x, y) = (4p 2).
Portanto x, y) = 4p 2, donde x = y.
A cada y Q
t
associamos o polin omio em n variaveis de grau
p 2 dado por
F
y
(x) =
j0,1,...,p1]
j / 2,p2]
(x, y) j), onde x = (x
1
, x
2
, . . . , x
n
).
As observa c oes acima mostram que p [ F
y
(x), x ,= y mas p
F
x
(x), x. Pelo Lema 32, podemos substituir os polin omios F
y
por
polin omios multilineares

F
y
de grau p 2, que coincidem com F
y
em 1, 1
n
Q
t
. Pelo Lema 31, esses polin omios s ao linearmente
independentes, donde o n umero deles, que e [Q
t
[, n ao excede a di-
mens ao do espa co dos polin omios multilineares de grau p 2 em n
variaveis, que e

p2
i=0
_
n
i
_
.
Observac ao 37. A Proposi c ao 35 tambem e valida para p = 9. Para
mostrar isso, observamos inicialmente que a prova acima implica que
se x ,= y, x, y) 0, 1, 3, 4, 5, 6, 8 (mod 9), e, se x = y, x, y) =
34 7 (mod 9). Consideramos agora os polin omios
F
y
(x) =
1
9
j0,1,3,4,5,6,8]
(x, y) j),
texto
2009/8/24
page 46
i
i
i
i
i
i
i
i
ETRICOS
associados aos elementos y de Q
t
, e notamos que, se x = y, 3
F
y
(x), e, se x ,= y, 3 [ F
y
(x). Pelo Lema 32, podemos substituir os
polin omios F
y
por polin omios multilineares

F
y
, tambem de grau 7,
que coincidem com F
y
em 1, 1
34
Q
t
. Aplicando o Lema 31
(com p = 3), conclumos que os polin omios

F
y
s ao linearmente inde-
pendentes, donde [Q
t
[
7
i=0
_
34
i
_
= 7055732.
2.3 A conjectura de Borsuk e falsa
Teorema 38. Sejam p um primo mpar ou p = 9, n = 4p 2
e d = n(n 1)/2 = (2p 1)(4p 3). Ent ao existe um conjunto
S 1, 1
d
de 2
n2
pontos em R
d
tal que qualquer partic ao de S
em subconjuntos de menor di ametro tem pelo menos
2
n2
_
p2
j=0
_
n
j
_
partes.
Demonstrac ao. A Proposi c ao 35 da Se c ao 2.2 deste captulo (e a
Observa c ao 37 subseq uente, para o caso p = 9) mostra que se
Q = x = (x
1
, x
2
, . . . , x
n
) 1, 1
n
[ x
1
= 1 e [i [ x
i
= 1[ e par,
ent ao [x, y)[ 2, x, y Q, e, se Q
t
Q n ao contem nenhum par
de vetores quase-ortogonais (i.e., tais que [x, y)[ = 2) ent ao
[Q
t
[
p2
i=0
_
n
i
_
.
Consideremos a fun c ao h: R
n
R
n
2
que, a cada vetor
x = (x
1
, . . . , x
n
) R
n
,
associa a matriz simetrica (a
ij
)
1i,jn
onde a
ij
= x
i
x
j
(se olharmos
x como um vetor coluna, h(x) = x x
T
). Se x = (x
1
, . . . , x
n
) e
texto
2009/8/24
page 47
i
i
i
i
i
i
i
i
[SEC. 2.3: A CONJECTURA DE BORSUK

E FALSA 47
y = (y
1
, . . . , y
n
),
h(x), h(y)) =
1i,jn
(x
i
x
j
)(y
i
y
j
)
=
_

1in
x
i
y
i
__

1jn
x
j
y
j
_
= x, y)
2
,
e
[h(x) h(y)[
2
= [h(x)[
2
+[h(y)[
2
2h(x), h(y))
= [x[
4
+[y[
4
2x, y)
2
.
Em particular, se x, y Q, ent ao
[h(x) h(y)[
2
= 2n
2
2x, y)
2
2n
2
8,
valendo a igualdade se e somente se x e y s ao quase-ortogonais.
Seja agora g : R
n
2
R
n(n1)/2
que leva cada matriz n n nos ter-
mos abaixo da diagonal, isto e, g((a
ij
)
1i,jn
) = (a
ij
)
1i<jn
. Se
x, y 1, 1
n
, ent ao h(x) e h(y) ser ao matrizes simetricas em cu-
jas diagonais todos os termos s ao iguais a 1. Assim, h(x) h(y) e
uma matriz simetrica cuja diagonal e nula, donde [h(x) h(y)[
2
=
2[g(h(x)) g(h(y))[
2
. Assim, a restri c ao de g a
h(1, 1
n
) h(Q)
preserva a ordem entre dist ancias: [h(x) h(y)[ [h(z) h(w)[ se e
somente se [g(h(x)) g(h(y))[ [g(h(z)) g(h(w))[.
Nosso conjunto S sera g(h(Q)). Se dividirmos S em menos de
2
n2
_
p2
j=0
_
n
j
_
partes, alguma dessas partes tera, assim como a parte correspondente
em Q, mais de
p2
j=0
_
n
j
_
elementos. Pela Proposi c ao 35 da Se c ao 2.2,
havera dois vetores quase-ortogonais x e y na parte correspondente
em Q, e portanto [h(x) h(y)[
2
= 2n
2
8 e [g(h(x)) g(h(y))[
2
=
n
2
4 ser ao maximos, donde [g(h(x)) g(h(y))[ e igual ao di ametro
de S.
texto
2009/8/24
page 48
i
i
i
i
i
i
i
i
ETRICOS
O caso p = 9 fornece imediatamente um contra-exemplo para a
conjectura de Borsuk em dimens ao d = 17 33 = 561: Precisamos
de pelo menos
2
32
_
7
j=0
_
34
j
_
=
2
32
7055732
> 608
peda cos de di ametro menor para cobrir o conjunto S, donde, na
nota c ao da introdu c ao deste captulo, f(561) 609 > 562.
Vamos usar este teorema para provar o resultado enunciado na
introdu c ao deste captulo. Primeiro enunciamos um lema simples
que nos permite estimar fatoriais.
Lema 39. Para todo n 1, temos
e
_
n
e
_
n
n! ne
_
n
e
_
n
.
A prova do Lema 39 pode ser encontrada no Apendice A.
Observac ao 40. Uma estimativa mais precisa e dada pela Formula
de Stirling, segundo a qual
lim
n
n!
n
n
e
n
2n
= 1.
Um esbo co da prova da Formula de Stirling e dado no Apendice A.
Um fato elementar mas importante sobre coecientes binomiais e
que somas de trechos iniciais da n-esima linha do tri angulo de Pascal
podem ser limitados basicamente pelo maior dos termos sendo soma-
dos, desde que o trecho contenha cn termos, onde c < 1/2 (veja
detalhes no Apendice A). Aqui, usaremos o seguinte resultado.
Lema 41. Suponha que 0 k (n + 1)/3. Ent ao
k
j=0
_
n
j
_
<
_
n
k
__
1 +
1
2
+
1
2
2
+. . .
_
= 2
_
n
k
_
. (2.1)
A prova simples do Lema 41 e dada no Apendice A.
texto
2009/8/24
page 49
i
i
i
i
i
i
i
i

E FALSA 49
Teorema 42. Se d e sucientemente grande existe um subconjunto
nito de R
d
que n ao pode ser dividido em menos de (1,2)
d
partes
de menor di ametro.
Demonstrac ao. Sejam p o maior primo tal que d
t
= (2p1)(4p3)
d, e n = 4p 2. Identicando R
d
com R
d
0 R
d
, obtemos,
pelo Teorema 38, um conjunto nito S R
d
R
d
que n ao pode ser
dividido em menos de
2
n2
_
p2
j=0
_
n
j
_
partes de menor di ametro.
Note que p 2 (4p 1)/3, de forma que o Lema 41 nos diz que
p2
j=0
_
n
j
_
<
_
n
p 2
__
1 +
1
2
+
1
2
2
+. . .
_
= 2
_
n
p 2
_
.
Assim,
2
n2
_
p2
j=0
_
n
j
_
> 2
n3
__
n
p 2
_
=
2
4p5
(p 2)!(3p)!
(4p 2)!
>
2
4p1
p!(3p)!
(4p)!
,
que, pelo Lema 39, e maior ou igual a
2
4p1
e
2
(p/e)
p
(3p/e)
3p
4pe(4p/e)
4p
= 2
4p3
e
p
_
27
256
_
p
=
e
8p
_
27
16
_
p
=
_
27
16
_
p(1o(1))
.
Como, pelo teorema dos n umeros primos, d = d
t
(1 + o(1)), donde
p =
_
d
8
(1 o(1)), segue que
2
n2
_
p2
j=0
_
n
j
_
>
_
27
16
_
d
8
(1o(1))
> (1,2)
d
,
texto
2009/8/24
page 50
i
i
i
i
i
i
i
i
ETRICOS
se d e sucientemente grande, pois (27/16)
1/8
= 1,2032 > 1,2.
N ao e difcil ver que f(d) e no maximo exponencial. De fato, se
X R
d
tem di ametro e x X, ent ao X esta contido na bola
fechada B(x, ), de centro x e raio . Podemos supor sem perda
de generalidade que X e compacto (se n ao substitumos X por seu
fecho). Consideremos uma uni ao disjunta maximal de bolas abertas
B(x
i
, /4) (1 i m)
de raio /4 com os centros x
i
em B(x, ). Todas essas bolas est ao
contidas em B(x, 5/4), e, como s ao disjuntas, devemos ter
m
vol(B(x, 5/4))
vol(B(x
i
, /4))
= 5
d
.
Por outro lado, as bolas abertas B(x
i
, /2) cobrem B(x, ). De fato,
se y B(x, )

m
i=1
B(x
i
, /2) ent ao B(y, /4) B(x
i
, /4) =
para todo i, e poderamos acrescentar B(y, /4) à nossa cole c ao de
bolas abertas, contradizendo sua maximalidade. Como B(x, ) e um
compacto contido na uni ao de bolas abertas
m
_
i=1
B
_
x
i
,

2
_
=
_
n=1
_
m
_
i=1
B
_
x
i
,
n
2(n + 1)
_
_
,
existe n N tal que
B(x, )
m
_
i=1
B
_
x
i
,
n
2(n + 1)
_
.
Como o di ametro de B(x
i
, n/2(n + 1)) e n/(n+1) < para todo i,
e m 5
d
, segue que f(d) 5
d
, para todo d.
Observac ao 43. No nal da Se c ao 2.4 veremos como decompor R
d
como

A
1

A
2

A
k
, com os

A
j
fechados, k < (3 + o(1))
d
e
x, y

A
j
[x y[ ,= 1. Se X R
d
tem di ametro ent ao X X =
k
j=1
(
A
j
X). Como X tem di ametro e x, y
A
j
[x y[ ,= ,
diam(
A
j
X) < , j, donde f(d) < (3 +o(1))
d
.
texto
2009/8/24
page 51
i
i
i
i
i
i
i
i

E FALSA 51
A melhor estimativa conhecida para f(d) e
f(d) < 5d
d(4 + log d)
_
3
2
_
d/2
< (1,23)
d
,
para d sucientemente grande, devida a Schramm [66].
E interessante observar que a conjectura de Borsuk e verdadeira

para corpos convexos com fronteira suave (isto e, domnios compactos
cuja fronteira e uma hiperfcie de classe C
1
), como foi provado por
Hadwiger; descrevemos a seguir sua demonstra c ao.
Observamos inicialmente que se a fronteira de um corpo convexo
pode ser dividida em k subconjuntos de di ametro menor, o mesmo
vale para o corpo todo. Para ver isso basta tomar um ponto no
interior do corpo e dividir o corpo como uni ao dos cones com vertice
no ponto e bases nos conjuntos em que a fronteira foi dividida.
Provamos agora que e possvel dividir a bola unitaria (e portanto
tambem a esfera unitaria) emR
n
emn+1 peda cos de menor di ametro.
Podemos fazer isso por indu c ao: se dividimos B(0, 1) R
n
como
A
1
A
2
A
n+1
, com diam A
i
< 2, i, podemos dividir a bola
unitaria emR
n+1
, B = (x
1
, x
2
, . . . , x
n+1
) [ x
2
1
+ +x
2
n+1
1 como
A
0
A
1

A
n+1
onde

A
0
= (x
1
, . . . , x
n+1
) B [ x
n+1
, onde
> 0 e bem pequeno e, para 1 i n + 1,

A
i
= (x
1
, . . . , x
n+1
)
B [ (x
1
, . . . , x
n
) A
i
e x
n+1
< .
Seja agora R
n
um corpo convexo com fronteira suave, e seja
M a sua fronteira. Seja agora f : M S
n1
a aplicac ao normal de
Gauss, isto e, a cada ponto de M associamos o vetor normal unitario
que aponta para fora de . Em outras palavras, f(x) sera um ponto
na esfera unitaria S
n1
tal que os planos tangentes a M em x e a
S
n1
em f(x) s ao paralelos, e M e S
n1
est ao do mesmo lado desses
hiperplanos.
Como e convexo, f e uma bije c ao (de fato um homeomorsmo).
Dividimos agora S
n1
emn+1 conjuntos compactos A
1
, A
2
, . . . , A
n+1
(n ao necessariamente disjuntos) de di ametro menor que 2 (isto e,
nenhum A
i
contem nenhum par de pontos antpodas), e dividimos
M nos n+1 conjuntos compactos f
1
(A
1
), f
1
(A
2
), . . . , f
1
(A
n+1
).
Vamos ver que cada um desses conjuntos tem di ametro menor que o
di ametro de M, o que pela observa c ao inicial encerra a prova. Para
isso, basta observar que se x, y M s ao tais que [x y[ = diam M
texto
2009/8/24
page 52
i
i
i
i
i
i
i
i
ETRICOS
ent ao os planos tangentes a M em x e em y s ao paralelos, donde f(x)
e f(y) s ao antpodas, logo x e y n ao podem pertencer a um mesmo
conjunto f
1
(A
i
) de nossa decomposi c ao.
2.4 O n umero cromatico de R
n
Seja c(n) o n umero crom atico de R
n
, isto e, c(n) e o menor inteiro
positivo m tal que e possvel decompor R
n
como A
1
A
2
A
m
de modo que, para todo i, temos x, y A
i
[x y[ ,= 1. Por
exemplo, a congura c ao de 7 pontos no plano na Figura 1 mostra
que c(2) 4, isto e, o n umero cromatico do plano e pelo menos 4.
Naquela congura c ao, os tri angulos ABC, BCD, AB
t
C
t
e B
t
C
t
D
t
s ao tri anglos equilateros de lado 1. Ademais, a dist ancia entre D
e D
t
e 1. Fica como um exerccio facil para o leitor vericar que de
fato esta congura c ao prova que c(2) 4.
Figura 1 c(2) 4
D
C
B
A
C
D
Por outro lado, n ao e muito difcil provar que c(2) 7 (exerccio!).
texto
2009/8/24
page 53
i
i
i
i
i
i
i
i
[SEC. 2.4: O N
UMERO CROM
ATICO DE R
N
53
O valor exato de c(2) n ao e conhecido. O melhor que se sabe e que
4 c(2) 7. (2.2)
As cotas em (2.2) permanecem inalteradas por mais de 45 anos.
Nesta se c ao, estamos interessados em provar que c(n) cresce ex-
ponencialmente com n (na verdade, vamos provar algo mais forte). A
proxima proposi c ao ja mostra que o crescimento de c(n) e pelo menos
exponencial.
Proposi cao 44. Sejam p um primo e n > 2p. Existe um conjunto
com
_
n
2p1
_
elementos A R
n
tal que qualquer subconjunto de A com
mais de

p1
j=0
_
n
j
_
elementos contem dois pontos ` a dist ancia 1.
Demonstrac ao. Tomaremos
A =
1
2p
(n, 2p 1),
onde, para k n, (n, k) R
n
e o conjunto dos vetores de incidencia
dos subconjuntos de k elementos de [n] = 1, 2, . . . , n; isto e, a cada
um dos
_
n
k
_
subconjuntos B [n] com k elementos, associamos o
vetor v
B
= (x
1
, x
2
, . . . , x
n
) (n, k) dado por
x
i
=
B
(i) =
_
0 se i / B
1 se i B.
Vamos provar que, se dividirmos (n, 2p1) em menos de
_
n
2p1
_
/
_
n
p1
_
partes, alguma delas contera um par de vetores à dist ancia

2p.
Para isso, notemos que se B
1
, B
2
[n] tem 2p1 elementos cada,
o quadrado da dist ancia entre seus vetores de incidencia e [v
B
1

v
B
2
[
2
= 2(2p 1 [B
1
B
2
[), que e igual a 2p se e somente se [B
1
B
2
[ = p1. Assim, pelo Corolario 34, um subconjunto de (n, 2p1)
que n ao contenha nenhum par de vetores à dist ancia

2p deve ter no
maximo

p1
j=0
_
n
j
_
elementos, o que implica o resultado.
O proximo lema, devido a Larman e Rogers, permitira provar que
se dividirmos R
n
em no maximo (1,2)
n
subconjuntos, ent ao em um
desses subconjuntos todas as dist ancias ser ao realizadas, desde que n
seja sucientemente grande.
texto
2009/8/24
page 54
i
i
i
i
i
i
i
i
ETRICOS
Lema 45. Se X R
n
e um conjunto nito com k elementos tal
que qualquer subconjunto de X com mais de r elementos contem dois
pontos ` a dist ancia 1 ent ao, se dividirmos R
n
em menos de k/r sub-
conjuntos, em algum deles todas as dist ancias ser ao realizadas.
Demonstrac ao. Suponha por absurdo que R
n
= A
1
A
2
A
m
onde m < k/r e existem
1
,
2
, . . . ,
m
> 0 tais que x, y A
i

[x y[ ,=
i
. Tomamos conjuntos Y
1
, Y
2
, . . . , Y
m
R
n
congruentes
respectivamente a
1
X,
2
X, . . . ,
m
X tais que
Y
1
+Y
2
+ +Y
m
= y
1
+y
2
+ +y
m
[ y
i
Y
i
, 1 i m
tenha k
m
elementos (ou seja, y
1
+y
2
+ +y
m
= z
1
+z
2
+ +z
m
com
y
i
, z
i
Y
i
, 1 i m, implica y
i
= z
i
, 1 i m). Deixamos para
o leitor a prova da existencia de tais conjuntos Y
i
(por exemplo, por
indu c ao em m: supomos que Y
1
+ +Y
m1
tem k
m1
elementos, e
aplicamos uma isometria a
m
X para obter Y
m
; use o fato que dados
z e w em Y
1
+ + Y
m1
, x e y em
m
X, x ,= y, quase nenhuma
isometria U satisfaz Ux +z = Uy +w).
Como B = Y
1
+ Y
2
+ + Y
m
= B (A
1
A
2
A
m
) =
(B A
1
) (B A
2
) (B A
m
) tem k
m
elementos, e m < k/r,
existe i m tal que B A
i
tem mais de k
m
/(k/r) = r k
m1
elementos. Por outro lado, B pode ser escrito como uni ao disjunta
de k
m1
transla c oes de Y
i
:
B =
_
z
(Y
i
+z),
onde a uni ao e sobre z Y
1
Y
i1
Y
i+1
Y
m
, donde, para
algum z Y
1
Y
i1
Y
i+1
Y
m
, temos [(Y
i
+z) A
i
[ > r.
Como Y
i
+z e congruente a
i
X, existem, por hipotese, dois pontos
de (Y
i
+z) A
i
à dist ancia
i
, o que e uma contradi c ao.
Podemos agora provar o
Teorema 46. Se n e sucientemente grande e m (1,2)
n
ent ao,
dada qualquer decomposic ao R
n
= A
1
A
2
A
m
, existe i m
tal que, para todo d > 0, existem x, y A
i
com [x y[ = d.
Demonstrac ao. Combinando a proposi c ao e o lema anteriores, con-
clumos que dado p primo com 2p < n, se m <
_
n
2p1
_
/
p1
j=0
_
n
j
_
,
texto
2009/8/24
page 55
i
i
i
i
i
i
i
i
[SEC. 2.4: O N
UMERO CROM
ATICO DE R
N
55
ent ao vale que todas as dist ancias s ao realizadas em algum
A
i
(1 i m). Como podemos supor que n 3p 4, temos
que

p1
j=0
_
n
j
_
< 2
_
n
p1
_
, donde
_
n
2p1
_
/
p1
j=0
_
n
j
_
>
_
n
2p1
_
/2
_
n
p1
_
.
Seja a
k
=
_
n
2k1
_
/2
_
n
k1
_
. Temos
a
k+1
a
k
=
(n 2k + 1)(n 2k)k
2k(2k + 1)(n k + 1)
=
(n 2k + 1)(n 2k)
2(2k + 1)(n k + 1)
.
Se k = n, 0 < <
1
2
, a raz ao a
k+1
/a
k
e aproximadamente
(1 2)
2
4(1 )
=
1
4(1 )
1,
que e uma fun c ao decrescente de (0,
1
2
) em (0, ), e e maior que um
se e somente se 0 < <
2
2
4
. Assim, para maximizar a
k
, devemos
tomar k proximo de (
2
2
4
)n. Seja ent ao p o n umero primo mais
proximo a (
2
2
4
)n.
Agora usamos que, xado > 0, se (, 1 ) e n , ent ao
_
n
n
_
=
_
1
(1 )
1
_
(1+o(1))n
(veja Lema 95 no Apendice A). No nosso caso, como p 1 = ( +
o(1))n e 2p 1 = (2 +o(1))n, onde =
2
2
4
, segue que
_
n
2p 1
__
2
_
n
p 1
_
=
_

(1 )
1
(2)
2
(1 2)
12
_
(1+o(1))n
.
Para concluir a prova, basta observar que
(1 )
1
(2)
2
(1 2)
12
= 1,2071 > 1,2.
O teorema anterior implica que o n umero cromatico c(n) do R
n
satisfaz c(n) > (1,2)
n
, para n sucientemente grande. N ao e difcil ver
que c(n) 9
n
para todo n: consideramos uma uni ao disjunta maxi-
mal de bolas abertas de raio 1 em R
n
,

i=1
B(x
i
, 1) R
n
. Devemos
texto
2009/8/24
page 56
i
i
i
i
i
i
i
i
ETRICOS
ter

i=1
B(x
i
, 2) = R
n
, pois se y / B(x
i
, 2) para nenhum i, ent ao
B(y, 1) B(x
i
, 1) ,= para todo i, contradizendo a maximalidade de
i=1
B(x
i
, 1). Cobrimos agora B(0, 2) por no maximo 9
n
bolas de
raio
1
2
(consideramos uma cole c ao disjunta maximal de bolas de raio
1
4
centradas em B(0, 2) e dobramos seus raios), digamos B(0, 2)
m
j=1
B(y
j
,
1
2
), onde m 9
n
. Seja agora A
j
=
i=1
B(x
i
+y
j
,
1
2
).

E
facil ver que A
1
A
2
A
m
= R
n
e x, y A
j
[x y[ ,= 1. Se
quisermos os A
j
disjuntos basta substituir A
j
por

A
j
= A
j
i<j
A
i
,
1 j m.
Vamos agora provar a melhor estimativa superior assintotica co-
nhecida para c(n), provada em 1972 por Larman e Rogers [54]:
Teorema 47. c(n) < (3 +o(1))
n
.
Demonstrac ao. Sejam Z
n
o conjunto dos pontos de R
n
com coor-
denadas inteiras, e T
n
= R
n
/Z
n
o toro n-dimensional obtido como
quociente de R
n
pela rela c ao de equivalencia dada por x y
x y Z
n
. Dado x R
n
denotamos por x T
n
sua classe
de equivalencia, e por : R
n
T
n
a proje c ao can onica dada por
(x) = x. Dados u, v T
n
, denimos a dist ancia d(u, v) como
d(
1
(u),
1
(v)) = min[x y[, x
1
(u), y
1
(v), ou seja,
d((x), (y)) = min[x y + z[, z Z
n
. Dado u T
n
e r > 0,
denimos a bola aberta B(u, r) = v T
n
[ d(u, v) < r. Denimos
tambem (x) +(y) = (x +y).
Consideremos uma uni ao disjunta maximal de bolas abertas em
T
n
de raio
1
4
, digamos
m
j=1
B(u
j
,
1
4
). Temos
m
j=1
B(u
j
,
1
2
) = T
n
(de
fato, se y /

m
j=1
B(u
j
,
1
2
), B(y,
1
4
) seria disjunto de

m
j=1
B(u
j
,
1
4
),
contradizendo a maximalidade).
Seja P
j
= v T
n
[ d(v, u
j
) d(v, u
i
), i ,= j o poliedro de
Voronoi em T
n
associado a u
j
C = u
i
, 1 i m. Dado
x
1
(u
j
),
1
(P
j
) =
_
vZ
n
(
P
x
+v), (2.3)
onde

P
x
= y R
n
[ [y x[ [y z[, z
1
(C) e um poliedro,
o poliedro de Voronoi associado a x
1
(C) R
n
.
Note que a uni ao (2.3) acima e uma uni ao disjunta, pois, de T
n
=
m
j=1
B(u
j
,
1
2
) segue que P
j
B(u
j
,
1
2
), cujo di ametro e menor que 1.
Alem disso, como as bolas B(u
j
,
1
4
) s ao disjuntas, P
j
B(u
j
,
1
4
).
texto
2009/8/24
page 57
i
i
i
i
i
i
i
i
[SEC. 2.4: O N
UMERO CROM
ATICO DE R
N
57
Podemos ent ao escrever

P
x
= x + Q
x
, onde Q
x
e um poliedro
convexo em R
n
que contem B(0,
1
4
) e esta contido em B(0,
1
2
), para
cada x
1
(C). Fixamos > 0 pequeno e denimos os conjuntos
A =
_
x
1
(C)
_
x +
1
3 +
Q
x
_
=
_
x
1
(C)
_
(2 +)x +y
3 +
, y

P
x
_
R
n
.
Temos que y, z

A [y z[ ,=
1
3
. De fato, para cada x
1
(C), Q
x
B(0,
1
2
) x +
1
3+
Q
x
B(x,
1
6+2
) [y z[ <
1
3
,
y, z x +
1
3+
Q
x
. Por outro lado, dados dois pontos distintos
x
1
, x
2

1
(C), y
1

P
x
1
, y
2

P
x
2
,
z
1
=
(2 +)x
1
+y
1
3 +
x
1
+
1
3 +
Q
x
1
e
z
2
=
(2 +)x
2
+y
2
3 +
x
2
+
1
3 +
Q
x
2
,
se e o plano mediador de x
1
x
2
, x
1
e x
2
est ao em lados opostos de
, y
1
esta do mesmo lado de x
1
e y
2
do mesmo lado de x
2
. Como
B(x
i
,
1
4
)

P
x
i
, i = 1, 2, segue que as dist ancias de x
1
e x
2
ao plano
s ao maiores ou iguais a
1
4
, donde as dist ancias de z
1
e z
2
ao plano
s ao maiores ou iguais a
2+
3+

1
4
, e portanto a dist ancia de z
1
a z
2
e
pelo menos
2+
3+

1
2
>
1
3
.
Vamos mostrar agora que e possvel cobrir R
n
com no maximo
(3 +3)
n
transla c oes de

A, se n e sucientemente grande. Isto encer-
rara a prova, pois nesse caso tambem seria possvel cobrir R
n
com no
maximo (3 +3)
n
transla c oes de 3
A, e , numa transla c ao de 3
A, n ao
ha dois pontos à dist ancia 1.
Para mostrar nossa arma c ao, vamos provar que e possvel co-
brir T
n
com no maximo (3 + 3)
n
transla c oes de A = (
A). Como,
para todo u T
n
existe um unico x
1
(u) [0, 1)
n
, dado um
conjunto X T
n
podemos denir o volume de X (que denotare-
mos por vol(X)) como o volume de
1
(X) [0, 1)
n
em R
n
. Temos
vol(T
n
) = 1 e, como

m
j=1
P
j
= T
n
,

m
j=1
vol(P
j
) = 1 (de fato, se
texto
2009/8/24
page 58
i
i
i
i
i
i
i
i
ETRICOS
i ,= j, vol(P
i
P
j
) = 0, pois
1
(P
i
P
j
) esta contido numa uni ao
enumeravel de hiperplanos). Alem disso, se x
1
(u
j
),
vol(P
j
) = vol
P
x
= vol Q
x
,
e
vol
_
x +
1
3 +
Q
x
_
=
1
(3 +)
n
vol Q
x
.
Dados x
1
, x
2

1
(u
j
),
_
x
1
+
1
3 +
Q
x
1
_
=
_
x
2
+
1
3 +
Q
x
2
_
,
pois Q
x
1
= Q
x
2
. Assim, como
A =
_
_
x
1
(C)
_
x +
1
3 +
Q
x
_
_
=
m
_
i=1
Q
i
,
com
Q
i
= u
i
+
_
1
3 +
Q
x
i
_
,
onde x
i
e um elemento arbitrario de
1
(u
i
), temos
vol(A) =
1
(3 +)
n
,
pois

Q
i

Q
j
= para todo i ,= j, e
vol

Q
i
=
1
(3 +)
n
vol Q
x
i
=
1
(3 +)
n
vol (P
i
).
Dados conjuntos A
t
, X T
n
sempre existe uma transla c ao de A
t
,
A
t
+ v T
n
, tal que vol((A
t
+ v) X) vol(A
t
) vol(X). De fato,
a media de vol((A
t
+ v) X) para v T
n
e igual a vol(A
t
) vol(X).
Usando repetidamente este fato, conclumos que, para todo inteiro
positivo k existem v
1
, v
2
, . . . , v
k
T
n
tais que
vol
_
T
n
k
_
j=1
(A
t
+v
j
)
_
(1 vol(A
t
))
k
texto
2009/8/24
page 59
i
i
i
i
i
i
i
i
[SEC. 2.4: O N
UMERO CROM
ATICO DE R
N
59
(essa ideia, adaptada para conjuntos nitos, sera muito usada no
Captulo 4).
Usaremos este fato com
A
t
=
_
_
x
1
(C)
_
x +
1
3 + 2
Q
x
_
_
A,
para o qual
vol(A
t
) =
1
(3 + 2)
n
,
como antes, e k = (3 + 3)
n
, para obter v
1
, v
2
, . . . , v
k
T
n
com
vol
_
_
T
n
_
k
_
j=1
(A
t
+v
j
)
_
_
_
1
1
(3 + 2)
n
_
(3+3)
n
< e
(
3+3
3+2
)
n
<
_

2(3 + 2)
n
_
n
< vol
_
B
_
0,

4(3 + 2)
__
,
se n e sucientemente grande, donde, para todo u T
n
,
B
_
u,

4(3 + 2)
_
intersecta

k
j=1
(A
t
+ v
j
), e portanto existem x
1
(C) e y
1
3+2
Q
x
com
[u ((x + y) +v
j
)[ <

4(3 + 2)
.
Finalmente, se Q R
n
e convexo e B(0, r) Q, se y Q,
0 < < 1 e [z y[ < r(1 ) ent ao z Q, pois, se
z =
z y
1
,
temos
[ z[ <
r(1 )
1
= r,
donde z B(0, r) Q e portanto z = y + (1 ) z Q. Assim,
fazendo
Q =
1
3 +
Q
x
, =
3 +
3 + 2
, y =
3 + 2
3 +
y e r =
1
4
,
texto
2009/8/24
page 60
i
i
i
i
i
i
i
i
ETRICOS
temos
B
_
y,

4(3 + 2)
_
1
3 +
Q
x
(pois y = y), donde [u ((x + y) +v
j
)[ <

4(3+2)
implica
u v
j
+
_
x +
1
3 +
Q
x
_
.
Portanto, temos
k
_
j=1
(A+v
j
) =
k
_
j=1
_
x
1
(C)
_
v
j
+
_
x +
1
3 +
Q
x
__
= T
n
,
o que completa a prova.
2.5 Uma constru cao explcita na teoria de
Ramsey
O nosso objetivo nesta se c ao e expor uma constru c ao de uma famlia
de grafos, devida a Frankl e Wilson [34], que prova que os n umeros de
Ramsey diagonais R(n) crescem superpolinomialmente com n (veja
a Se c ao 1.5.3 do Captulo 1).
Come camos provando um corolario do Teorema 33.
Corolario 48. Seja /
_
[n]
k
_
um sistema de k-conjuntos e L um
conjunto de s inteiros. Suponha que, para todo A e A
t
/ distintos,
temos [A A
t
[ L. Ent ao
[/[
0js
_
n
j
_
. (2.4)
Demonstrac ao. Claramente, podemos supor que L 0 [k 1].
Suponha ainda que / = A
1
, . . . , A
m
, como no Teorema 33, e seja p
um primo maior que k. Ent ao as condi c oes (i ) e (ii ) daquele teorema
se aplicam. Conclumos que (2.4) vale.
texto
2009/8/24
page 61
i
i
i
i
i
i
i
i
[SEC. 2.5: UMA CONSTRUC
AO EXPL
ICITA NA TEORIA DE RAMSEY 61

Consideremos agora a seguinte constru c ao de um grafo G = G(n, p).
Seja p um primo e n um inteiro positivo e ponha
V =
_
[n]
p
2
1
_
. (2.5)
O nosso grafo G tera como conjunto de vertices o conjunto V acima.
Dois vertices A e B V ser ao adjacentes em G se e so se
[A B[ 1 (mod p). (2.6)
Observamos que se p = 2, ent ao o grafo G(n, p) = G(n, 2) e exata-
mente o grafo construdo por Nagy (veja Captulo 1, Se c ao 1.5.3).
Vamos agora provar um limitante superior para (G) e (G).
Teorema 49. Para todo primo p e inteiro positivo n satisfazendo
p 1
n + 1
3
, (2.7)
temos
(G(n, p)), (G(n, p)) < 2
_
n
p 1
_
. (2.8)
Demonstrac ao. Suponha que os vertices A
1
, . . . , A
formam um clique
em G = G(n, p). Note que o Corolario 48 aplica-se ao sistema / =
A
i
: 1 i com k = p
2
1 e L = p 1, 2p 1, . . . , p
2
p 1,
de forma que s = p 1. Da segue que
= [/[
0js
_
n
j
_
. (2.9)
Suponha que B
1
, . . . , B
formam um conjunto independente em G =

G(n, p). Note que o Teorema 33 aplica-se ao sistema B = B
i
: 1
i com L = 0, 1, . . . , p 2, de forma que s = p 1. Da segue
que
= [B[
0js
_
n
j
_
. (2.10)
Agora usamos o Lema 41 para estimar a soma que ocorre no lado
direito de (2.9) e (2.10). A unica hipotese do Lema 41 que temos de
texto
2009/8/24
page 62
i
i
i
i
i
i
i
i
ETRICOS
vericar e verdadeira aqui, pois ja estamos supondo (2.7), de forma
que
0js
_
n
j
_
< 2
_
n
s
_
= 2
_
n
p 1
_
. (2.11)
O Teorema 49 segue de (2.9)(2.11).
O Teorema 49 fornece limitantes inferiores super-polinomiais para
os n umeros de Ramsey, atraves de grafos denidos explicitamente.
Para vericar esta asser c ao, basta de escolher os par ametros n e p de
forma apropriada.
Teorema 50. Para todo > 0, existe uma constante t
0
= t
0
() para
o qual vale o seguinte. Se t t
0
, ent ao podemos denir explicita-
mente um grafo G
t
com pelo menos
exp
__
1
4

_
(log t)
2
log log t
_
(2.12)
vertices e tal que (G
t
), (G
t
) < t. Em particular, este grafo mostra
que
R(t) > exp
__
1
4

_
(log t)
2
log log t
_
. (2.13)
Demonstrac ao. Seja t um inteiro dado, que podemos supor ser conve-
nientemente grande. No que segue, suporemos tacitamente que t t
0
para uma constante t
0
convenientemente grande.
Seja p o maior primo satisfazendo
p
log t
2 log log t
. (2.14)
Pelo teorema dos n umeros primos, sabemos que
p =
_
1
2
o(1)
_
log t
log log t
, (2.15)
onde o(1) 0 conforme t .
Note que, devido a esta escolha de p, temos
p + 2p log p log t,
texto
2009/8/24
page 63
i
i
i
i
i
i
i
i
[SEC. 2.5: UMA CONSTRUC
AO EXPL
ICITA NA TEORIA DE RAMSEY 63

de onde segue que
(ep
2
)
p
t. (2.16)
Armamos agora que
2
_
p
3
p 1
_
t. (2.17)
De fato, note que
2
_
p
3
p 1
_
2
_
ep
3
p 1
_
p1
(ep
2
)
p
, (2.18)
onde usamos que
2
(1 1/p)
p1
2e ep
2
.
A arma c ao (2.17) decorre de (2.16) e (2.18).
Agora provamos que
_
p
3
p
2
1
_
exp
__
1
4

_
(log t)
2
log log t
_
, (2.19)
desde que t seja sucientemente grande. Para vericar (2.19), use o
Lema 94 do Apendice A e observe que
_
p
3
p
2
1
_
_
p
3
p
2
1
_
p
2
1
=
_
1
1 1/p
2
_
p
2
1
p
p
2
1
p
p
2
1
.
(2.20)
Entretanto, temos
p
2
log p = (1 o(1))
_
log t
2 log log t
_
2
log log t =
_
1
4
o(1)
_
(log t)
2
log log t
,
(2.21)
onde o(1) 0 conforme t . A desigualdade (2.19) segue
de (2.20) e (2.21).
Agora estamos prontos para terminar a prova do Teorema 50.
Naturalmente, tome para G
t
o grafo G(n, p) com p como acima e n =
p
3
. Ent ao o n umero de vertices em G
t
e, devido a (2.19), pelo menos o
texto
2009/8/24
page 64
i
i
i
i
i
i
i
i
ETRICOS
valor dado em (2.12). Ademais, as desigualdades (2.8) do Teorema 49
e (2.17) nos dizem que G
t
= G(n, p) e tal que
(G
t
), (G
t
) < t.
O Teorema 50 esta provado.
2.5.1 Grafos de Paley
Um grafo explicitamente denido que parece ser um bom candidato
para provar limites inferiores exponenciais para os n umeros de Ram-
sey R(t) s ao os grafos de Paley Q
p
. Suponha que p seja um primo
com p 1 (mod 4), de forma que 1 e um resduo quadratico
modulo p. Os vertices de Q
p
s ao os inteiros modulo p e dois vertices
distintos x, y Z/pZ s ao adjacentes em Q
p
se e so se x y e um
resduo quadratico modulo p. Como 1 e um resduo quadratico,
esta rela c ao de adjacencia e de fato simetrica e portanto temos um
grafo bem denido.
Sabe-se que Q
p
tem varias propriedades que o tornam parecido
com o grafo aleatorio G considerado na prova do Teorema 25 do
Captulo 1 (o limite inferior exponencial de Erd os para R(t)). Acredita-
se que para valores esporadicos de p, os grafos Q
p
podem ser tais
que (Q
p
) e (Q
p
) s ao pequenos.
No Captulo 4, discutiremos brevemente uma constru c ao de um
sistema de conjuntos baseada em resduos quadraticos.
texto
2009/8/24
page 65
i
i
i
i
i
i
i
i
Captulo 3
Teoria de Ramsey
euclideana
3.1 Introducao
No come co da decada de 70, um grupo de matematicos ilustres, a
saber, P. Erd os, R. L. Graham, P. Montgomery, B. L. Rothschild,
J. Spencer, e E. G. Straus, iniciaram a investiga c ao de um problema
geometrico na teoria de Ramsey [21, 22, 23]. Basicamente falando,
eles estavam interessados em saber quais congura c oes nitas de pon-
tos, a menos de congruencia, inevitavelmente ocorrem monocromati-
camente em qualquer colora c ao de espa cos euclideanos de dimens ao
sucientemente alta, se usamos um n umero xo de cores. Em seu
trabalho de 1973 [21], aqueles autores estabeleceram os fundamentos
desse topico da teoria de Ramsey, hoje conhecido como a teoria de
Ramsey euclideana. Neste captulo, vamos estudar alguns dos resul-
tados basicos desta area. Os resultados das Se c oes 3.2 a 3.4.1 s ao
todos deste trabalho que lan cou este topico de pesquisa. Nas se c oes
seguintes, apresentamos alguns resultados mais recentes de Frankl,
Rodl, e Krz. Uma excelente resenha recente da area e [40].
Precisamos come car com algumas deni c oes. Como usual, uma r-
colorac ao de um conjunto X e simplesmente uma fun c ao : X C,
onde C e um conjunto com r elementos, chamados cores. Em geral,
65
texto
2009/8/24
page 66
i
i
i
i
i
i
i
i
66 [CAP. 3: TEORIA DE RAMSEY EUCLIDEANA
tomamos C = [r] = 1, . . . , r, de forma que nossas cores s ao os
inteiros de 1 a r. No que segue, uma congurac ao de pontos, ou,
simplesmente, uma congurac ao, e uma cole c ao nita de pontos em
um espa co euclideano. Para enfatizar a nitude, usaremos às vezes
o termo congura c ao nita. No que segue, estamos interessados na
estrutura de nossas congura c oes como objetos geometricos.
Seja K uma congura c ao nita. Vamos escrever R(K, n, r) para
a seguinte asser c ao:
(R) Em qualquer r-colora c ao de R
n
, existe uma congura c ao K
t

R
n
congruente a K cujos pontos recebem todos a mesma cor.
Podemos enunciar (R) mais formalmente como segue: para toda r-
colora c ao : R
n
[r], existe uma isometria : K R
n
tal que
se K
t
= (K) R
n
, ent ao K
t
e constante (escrevemos K
t
para a fun c ao K
t
[r] com p K
t
(p), isto e, a restric ao de
a K
t
).
Como usual, se os pontos de uma congura c ao K
t
est ao todos co-
loridos de uma mesma cor, ent ao dizemos que K
t
e monocrom atica.
A asser c ao R(K, n, r) diz que copias monocromaticas de K s ao in-
evitaveis em r-colora c oes de R
n
. (Naturalmente, uma c opia de K e
uma congura c ao congruente a K.)
Dizemos que uma congura c ao K e Ramsey se, para todo r, a
asser c ao R(K, n, r) vale para n sucientemente grande, isto e, existe
n
0
= n
0
(K, r) tal que se n n
0
, ent ao R(K, n, r) vale. Note que se
uma congura c ao K e Ramsey, ent ao toda congura c ao semelhante
a K tambem e Ramsey.
O princpio da casa do pombo mostra que se K e uma congura c ao
com 2 pontos, digamos, à dist ancia 1 (por exemplo, K = 0, 1),
ent ao K e Ramsey. De fato, se n n
0
(K, r) = r+1, ent ao existem r+
1 pontos x
i
(1 i r + 1) em R
n
com todos os pares x
i
, x
j
(1 i < j r + 1) à dist ancia 1: basta tomar x

i
= (1/
2)e
i
, onde
os e
i
R
n
s ao os vetores da base can onica. Da segue que R(K, n, r)
vale para K = 0, 1 desde que n n
0
(K, r) = r + 1.
O leitor percebera nesse ponto a rela c ao entre o que estamos
come cando a discutir e topicos que ja discutimos: o n umero cromatico
do R
n
e > r se e so se R(0, 1, n, r) vale. Traduzindo nossos resul-
tados sobre o n umero cromatico do R
n
para este contexto, vemos
texto
2009/8/24
page 67
i
i
i
i
i
i
i
i
[SEC. 3.2: UM RESULTADO DE COMPACIDADE 67
que existem constantes c
1
, c
2
> 0 para os quais R(0, 1, n, r) vale
se r < 2
c
1
n
e R(0, 1, n, r) n ao vale se r > 2
c
2
n
.
Neste captulo, estamos tratando de congura c oes genericas, mais
ricas que dois pontos à dist ancia 1. De fato, algumas delas tem tanta
estrutura que e possvel evita-las em colora c oes com um n umero li-
mitado de cores, mesmo que consideremos espa cos de dimens ao ar-
bitrariamente alta. Por exemplo, a congura c ao K = 1, 0, 1 R
n ao e Ramsey. Este e um bom exerccio que o leitor pode tentar
atacar agora, antes de ler este captulo.
Quais congura c oes K s ao Ramsey? Esta e a pergunta central da
teoria de Ramsey euclideana.
3.2 Um resultado de compacidade
Vamos come car com um lema basico. Para provar que se [K[ =
2, ent ao K e Ramsey, usamos uma congura c ao nita de pontos
em R
n
(a saber, r +1 pontos com todos os pares de pontos à mesma
dist ancia). O nosso primeiro lema diz que se uma congura c ao e
Ramsey, ent ao isto pode ser sempre provado considerando-se apenas
congura c oes nitas de pontos de R
n
.
Lema 51. Seja K uma congurac ao Ramsey e r 1 um inteiro.
Ent ao existe um congurac ao nita L = L(K, r) tal que, em qualquer
r-colorac ao de L, existe uma congurac ao K
t
L congruente a K
cujos pontos recebem todos a mesma cor.
Para provar o Lema 51, usaremos um argumento bem-conhecido
de compacidade. Para tanto, precisamos de um resultado classico da
topologia, o teorema de Tychonov.
Teorema 52. Seja X
( ) uma famlia de espacos compactos.

Ent ao o espaco produto Y =
e compacto.
O leitor que n ao esta familiarizado com o conceito de compacidade
e o teorema de Tychonov deve acreditar no Lema 51 e continuar
sua leitura mais adiante. Mencionamos ainda um exerccio instrutivo
para aqueles leitores: suponha que a conclus ao do Lema 51 seja falsa;
mostre que ent ao podemos encontrar uma r-colora c ao de Q
n
sem
texto
2009/8/24
page 68
i
i
i
i
i
i
i
i
copias monocromaticas de K. Para provar este fato, use o princpio
da casa do pombo e o fato que Q
n
e enumeravel.
Provemos o Lema 51.
Demonstrac ao do Lema 51. Seja K uma congura c ao Ramsey e r
1 um inteiro dado. Suponha por contradi c ao que nenhuma con-
gura c ao nita L e tal que a conclus ao do Lema 51 vale. Seja n um in-
teiro positivo arbitrario. Pela nossa hipotese, podemos r-colorir qual-
quer subconjunto nito de R
n
sem criar uma copia monocromatica
de K. Gostaramos de provar que e possvel colar tais r-colora c oes
em uma unica r-colora c ao do R
n
todo, sem criar copias monocro-
maticas de K.
Se L R
n
e uma parte nita de R
n
e : R
n
[r] e uma
r-colora c ao de R
n
, vamos dizer que e L-boa se restrita a L n ao
gera um copia monocromatica K
t
L congruente a K. Note que,
para cada parte nita L de R
n
, sempre existe uma colora c ao que e
L-boa.
Tome, para cada p R
n
, o espa co discreto X
p
= [r], que e
compacto. Pelo Teorema 52, o espa co produto Y =

pR
n
X
p
e
compacto. Note que podemos identicar os pontos de Y com as
r-colora c oes de R
n
. Para todo conjunto nito L R
n
, ponha
F
L
= Y : e L-boa. (3.1)
Claramente, F
L
e fechado e n ao-vazio. Ademais, a intersec c ao nita
de conjuntos da forma F
L
(L R
n
nito) e n ao-vazia. Da compaci-
dade de Y segue que
L
F
L
,= , (3.2)
onde a interse c ao e tomada sobre todos os conjuntos nitos L
R
n
. Um ponto na interse c ao em (3.2) e uma r-colora c ao de R
n
sem
uma copia monocromatica de K. Como n era arbitrario, temos uma
contradi c ao com o fato de K ser Ramsey. Esta contradi c ao termina
a prova do Lema 51.
3.2.1 Conjuntos innitos
O que acontece se temos um conjunto innito Z R
d
? Pode valer
a propriedade R(Z, n, r) para algum n sucientemente grande e, di-
texto
2009/8/24
page 69
i
i
i
i
i
i
i
i
[SEC. 3.3: O TEOREMA DO PRODUTO 69
gamos, r = 2? O seguinte resultado de Erd os et al. [22] mostra que
isto n ao ocorre para nenhum Z innito!
Teorema 53. Seja Z qualquer subconjunto innito de R
d
. Ent ao R
d
pode ser colorido com um n umero innito de cores de forma que todas
as congurac oes semelhantes a Z recebam todas as cores usadas.
Mantendo uma das cores na colora c ao acima e identicando todas
as outras, obtemos uma bi-colora c ao do R
d
sem copias semelhantes
de Z monocromaticas.
Corolario 54. Se Z e um conjunto innito de pontos de um espaco
euclideano, ent ao a propriedade R(Z, n, r) n ao vale para nenhum n e
nenhum r 2.
3.3 O teorema do produto
Provaremos nesta se c ao um resultado que nos permite construir varias
congura c oes Ramsey. Se a = (a
i
)
T
R
k
e b = (b
j
)
T
R
, pomos
a b = (a
1
, . . . , a
k
, b
1
, . . . , b
)
T
R
k+
. (3.3)
Mais geralmente, se A R
k
e B R
, pomos
A B = a b: a A e b B R
k+
. (3.4)
O resultado principal desta se c ao e o seguinte.
Teorema 55. Se A e B s ao congurac oes Ramsey, ent ao A B e
uma congurac ao Ramsey.
Demonstrac ao. Suponha que A e B s ao Ramsey. Seja L = L(A, r)
uma congura c ao nita tal que qualquer r-colora c ao de L gera uma
copia monocromatica de A. Tal congura c ao L existe devido ao
Lema 51. Suponha que L R
m
. Analogamente, seja L
t
= L
t
(B, r
t
)
uma congura c ao tal que qualquer r
t
-colora c ao de L
t
gera uma copia
monocromatica de B, onde
r
t
= r
]L]
. (3.5)
Suponha que L
t
R
n
. Armamos que
texto
2009/8/24
page 70
i
i
i
i
i
i
i
i
() L L
t
R
m+n
e tal que toda r-colora c ao de L L
t
gera uma
copia monocromatica de A B.
Para provar (), xe uma r-colora c ao : L L
t
[r] de L L
t
. Esta
colora c ao dene naturalmente uma r
t
-colora c ao
t
de L
t
, a saber,
a colora c ao
t
: L
t
[r]
L
com
t
(q) = ((p q))
pL
.
Pela escolha de L
t
, sabemos que existe uma copia B
t
L
t
de B
monocromatica na colora c ao
t
. Esta cor comum dos pontos de B
t
dene uma r-colora c ao : L [r], a saber, a colora c ao em que, para
todo p L, temos
(p) = (p q), (3.6)
onde q e qualquer elemento de B
t
(como B
t
e monocromatico, o lado
direito de (3.6) e independente de q). Pela escolha de L, sabemos que
existe uma copia A
t
L de A que e monocromatica na colora c ao .
E facil ver que a colora c ao e constante em A

t
B
t
. Provamos
portanto a validade de (). O Teorema 55 segue imediatamente de ().
Um tijolo e um conjunto da forma I
i
I
n
R
n
para algum n,
onde os I
i
= [a
i
, b
i
] R s ao intervalos com a
i
< b
i
. Os vertices
desse tijolo s ao os vetores da forma (x
i
)
1in
, onde cada x
i
pertence
a a
i
, b
i
. Veja a Figura 2.
Pelo fato de congura c oes com 2 elementos ser Ramsey, segue
do Teorema 55 que o conjunto de vertices de um tijolo e Ramsey.
Naturalmente, todo subconjunto de um tal conjunto de vertices e
tambem Ramsey.
As observa c oes acima provam que o (conjunto de vertices) de um
tri angulo ret angulo e Ramsey. Ademais, e um exerccio de geometria
simples (mas n ao deixe de fazer!) que o conjunto de vertices de
todo tri angulo agudo esta contido no conjunto de vertices de um
tijolo apropriado. Da segue que todo tri angulo agudo e tambem
Ramsey. Temos ainda o seguinte resultado provado em 1986 por
Frankl e Rodl [35].
Teorema 56. Todo tri angulo obtuso e Ramsey.
A prova do Teorema 56 e um tanto delicada e ca para a Se c ao 3.5.2
abaixo.
texto
2009/8/24
page 71
i
i
i
i
i
i
i
i
[SEC. 3.4: CONJUNTOS ESF
ERICOS 71
Figura 2 O belo tijolo AB AC AA
t
C
D
D
C
A
A
B
B
Observa cao Para ser mais preciso, o enunciado do Teorema 56
deveria ser que o conjunto de vertices de todo tri angulo obtuso e
Ramsey. Entretanto, sera conveniente para nos identicarmos nossos
tri angulos com seus conjuntos de vertices. Ademais, muitas vezes
identicaremos nossos tijolos com seus conjuntos de vertices tambem.
3.4 Conjuntos esfericos
Ate agora, provamos resultados positivos para a teoria de Ramsey,
isto e, resultados que armam que certas congura c oes s ao Ramsey.
Nesta se c ao, vamos discutir resultados negativos. Comecemos com
o seguinte resultado.
Teorema 57. A congurac ao K = 1, 0, 1 n ao e Ramsey.
Demonstrac ao. Fixe n 1. Vamos mostrar uma 4-colora c ao de R
n
que n ao contem uma copia monocromatica de K. Pomos, para todo
x R
n
,
(x) = |x|
2
| mod 4, (3.7)
texto
2009/8/24
page 72
i
i
i
i
i
i
i
i
onde |x| =
_
x, x) e a norma euclideana de x. Suponha que esta 4-
colora c ao gera uma copia monocromatica K
t
de K. Sejam x e u R
n
com |u| = 1 tais que K
t
= x u, x, x + u. Pelo fato de K
t
ser
monocromatico, existem inteiros a
i
(i 1, 0, 1), um inteiro r
0, 1, 2, 3, e reais 0
i
< 1 (i 1, 0, 1), tais que
|x u|
2
= 4a
1
+r +
1
, |x|
2
= 4a
0
+r +
0
, (3.8)
e
|x +u|
2
= 4a
1
+r +
1
. (3.9)
Expandindo |xu|
2
= xu, xu) e usando (3.8) e (3.9), obtemos
1 2x, u) = 4(a
1
a
0
) +
1

0
e
1 + 2x, u) = 4(a
1
a
0
) +
1

0
.
Da segue que
2 = 4(a
1
+a
1
2a
0
) + (
1
+
1
2
0
). (3.10)
Entretanto [
1
+
1
2
0
[ < 2, e portanto (3.10) n ao pode ocorrer.
Este absurdo prova que a asser c ao R(K, n, 4) n ao vale. Como n e
arbitrario, conclumos que a congura c ao K n ao e Ramsey.
O resultado que fornece a condi c ao necessaria mais restritiva con-
hecida para uma congura c ao ser Ramsey e o seguinte. Dizemos que
uma congura c ao K e esferica se alguma esfera contem uma copia
de K. Isto e, podemos encontrar uma copia K
t
de K em algum R
n
de
forma que existe um ponto w R
n
equidistante de todos os pontos
em K
t
.
Teorema 58. Toda congurac ao Ramsey e esferica.
Claramente, o Teorema 58 implica o Teorema 57, pois a con-
gura c ao K = 1, 0, 1 n ao pode ser imersa isometricamente em
uma esfera. De fato, se K
t
= x
1
, x
0
, x
1
e uma copia de K em R
n
,
por geometria elementar (planar) vemos que n ao ha um ponto w
equidistante de x
i
para todo i.
Para provar o Teorema 58, usaremos o seguinte lema que carac-
teriza congura c oes esfericas.
texto
2009/8/24
page 73
i
i
i
i
i
i
i
i
ERICOS 73
Lema 59. Uma congurac ao K = x
0
, x
1
, . . . , x
k
n ao e esferica se
e s o se existem reais c
1
, . . . , c
k
n ao todos nulos tais que
1ik
c
i
(x
i
x
0
) = 0 (3.11)
e
1ik
c
i
(|x
i
|
2
|x
0
|
2
) = b ,= 0. (3.12)
Demonstrac ao. Suponha que K seja esferico. Digamos que a con-
gura c ao K R
n
esteja contida na esfera de centro w R
n
e raio r.
Suponha que existam reais c
1
, . . . , c
k
tais que (3.11) valha. Observe
que
|x
i
|
2
|x
0
|
2
= |x
i
w|
2
|x
0
w|
2
+2x
i
x
0
, w) = 2x
i
x
0
, w).
Assim, temos
1ik
c
i
(|x
i
|
2
|x
0
|
2
) = 2
1ik
c
i
x
i
x
0
, w)
= 2
_

1ik
c
i
(x
i
x
0
), w
_
= 0.
Da segue que de fato (3.11) e (3.12) n ao podem valer simultanea-
mente no caso de K ser esferico.
Suponha agora que K n ao seja esferico. Note que podemos supor
que K e minimalmente n ao-esferico, isto e, todo subconjunto proprio
de K e esferico.
Come camos observando que se K e am-independente, isto e, se
os vetores x
i
x
0
(1 i k) s ao linearmente independentes, ent ao K
e esferico. (Para cada i, considere o hiperplano am H
i
que contem
os pontos equidistantes a x
0
e a x
i
. Estes hiperplanos se intersectam
em pelo menos um ponto, que e equidistante de todos os x
i
.)
Como estamos supondo que K n ao e esferico, podemos deduzir
que existem reais c
1
, . . . , c
k
, n ao todos nulos, para os quais (3.11)
vale. Suponha que c
k
,= 0, e que a esfera que contem x
0
, . . . , x
k1
tem centro w e raio r (lembre que K e minimalmente n ao-Ramsey).

texto
2009/8/24
page 74
i
i
i
i
i
i
i
i
Ent ao
1ik
c
i
(|x
i
|
2
|x
0
|
2
)
=
1ik
c
i
_
|x
i
w|
2
|x
0
w|
2
_
2
_

1ik
c
i
(x
i
x
0
), w
_
= c
k
(|x
k
w|
2
|x
0
w|
2
) ,= 0,
e portanto (3.12) vale. Isto completa a prova do Lema 59.
O nosso proximo lema e o ingrediente combinatorio principal para
a prova do Teorema 58.
Lema 60. Sejam c
1
, . . . , c
k
e b n umeros reais, com b ,= 0. Ent ao
existe um inteiro r e alguma r-colorac ao de R tal que toda soluc ao
da equac ao
1ik
c
i
(y
i
y
0
) = b (3.13)
com y
i
R (1 i k) n ao e monocrom atica.
A prova do Lema 60 e delicada, e deixamos para mais adiante.
Provemos agora o Teorema 58.
Demonstrac ao do Teorema 58. Seja K = x
0
, . . . , x
k
R
n
uma
congura c ao Ramsey. Precisamos provar que ela e esferica. Suponha
por contradi c ao que ela n ao seja esferica, e considere reais c
1
, . . . , c
k
,
n ao todos nulos, e b ,= 0 satisfazendo (3.11) e (3.12) do Lema 59.
Fixe uma r-colora c ao de R tal que a equa c ao
1ik
c
i
(y
i
y
0
) = b (3.14)
n ao tenha nenhuma solu c ao y
1
, . . . , y
k
R monocromatica. Tal co-
lora c ao existe pelo Lema 60. Denamos uma r-colora c ao de R
n
,
pondo
(x) = (|x|
2
). (3.15)
Armamos que esta colora c ao n ao cria uma copia monocromatica
de K. Como a unica restri c ao que temos sobre n e que ele seja tal
que K R
n
, esta arma c ao completara a prova do Teorema 58.
texto
2009/8/24
page 75
i
i
i
i
i
i
i
i
ERICOS 75
Para provarmos nossa arma c ao, suponha que K
t
= x
t
0
, . . . , x
t
k

R
n
seja uma copia monocromatica de K na colora c ao . Ajuste a
nota c ao de forma que a aplica c ao : x
i
x
t
i
(0 i k) se estenda
a uma isometria de R
n
. Provemos inicialmente que
(**) as identidades (3.11) e (3.12) valem para os pontos x
t
i
(0 i
k) de K
t
.
Claramente, temos
1ik
c
i
(x
t
i
x
t
0
) = 0, (3.16)
isto e, a identidade (3.11) vale para os x
t
i
(0 i k). Por que a iden-
tidade (3.12) vale tambem para os x
t
i
(0 i k)? Suponha primeiro
que a isometria preserve a origem. Ent ao claramente |x
t
i
|
2
=
|(x
i
)|
2
= |x
i
|
2
para todo 0 i k, e (3.12) vale nesse caso.
Consideremos agora uma transla c ao por z R
n
. Temos
1ik
c
i
(|x
i
+z|
2
|x
0
+z|
2
)
=
1ik
c
i
(|x
i
|
2
|x
0
|
2
) + 2
_
z,
1ik
c
i
(x
i
x
0
)
_
=
1ik
c
i
(|x
i
|
2
|x
0
|
2
) = b ,= 0.
Como a congura c ao K
t
pode ser obtida a partir de K atraves da
aplica c ao de uma isometria preservando a origem, seguida de uma
transla c ao, deduzimos que (3.12) vale tambem para os x
t
i
(0 i k).
Provamos (**).
Entretanto, o fato de K
t
ser monocromatico de acordo com
implica que se tomamos y
i
= |x
t
i
|
2
(0 i k), ent ao temos uma
solu c ao monocromatica de (3.14) de acordo com . Isto contradiz a
escolha de e a nossa arma c ao esta provada. Isto completa a prova
do Teorema 58.
texto
2009/8/24
page 76
i
i
i
i
i
i
i
i
3.4.1 Demonstracao do Lema 60
Vamos de fato provar um resultado mais geral.
Teorema 61. Sejam K um corpo de caracterstica 0 e c
1
, . . . , c
k
, b
elementos de K com b ,= 0. Ent ao existe uma (2k)
k
-colorac ao de K
tal que a equac ao
1ik
c
i
(y
i
y
t
i
) = b (3.17)
n ao tem nenhuma soluc ao em K com (y
i
) = (y
t
i
) para todo 1
i k.
Claramente, o Teorema 61 implica o Lema 60. Antes de provar o
Teorema 61, vamos provar um lema auxiliar.
Lema 62. Existe uma 2k-colorac ao de R tal que a equac ao
1ik
(x
i
x
t
i
) = 1 (3.18)
n ao tem nenhuma soluc ao com (x
i
) = (x
t
i
) para todo 1 i k.
Demonstrac ao. Para denir uma colora c ao como no enunciado,
consideramos R/(2), os reais modulo 2. Podemos identicar R/(2)
com o intervalo [0, 2). Seja r R r R/(2) a proje c ao can onica.
(Concretamente, r = 2r/2, onde escrevemos x para a parte fra-
cionaria de x, isto e, x = x x|.)
Particione o intervalo [0, 2) em 2k intervalos da forma [a, b), todos
de mesmo comprimento, isto e, com comprimento 1/k cada. Sejam I
i
(1 i 2k) estes intervalos. Ponha (r) = i onde i e tal que r I
i
.
Observe agora que se (x) = (x
t
), ent ao [x x
t
[ = 2m +
para algum inteiro m e algum real com [[ < 1/k. Suponha agora
que (3.18) admite uma solu c ao com (x
i
) = (x
t
i
) para todo 1 i
k. Ent ao, para todo i, temos [x
i
x
t
i
[ = 2m
i
+
i
para um inteiro m
i
e um real
i
com [
i
[ < 1/k. Segue que
1ik
(x
i
x
t
i
) = 2m+ (3.19)
para algum m inteiro e satisfazendo 0 [[ < 1. Entretanto, nestas
condi c oes, n ao podemos ter (3.18), pois (3.18) e (3.19) conjuntamente
texto
2009/8/24
page 77
i
i
i
i
i
i
i
i
ERICOS 77
nos dariam que
2m+ = 1,
o que e claramente impossvel. O Lema 62 esta provado.
Vamos agora provar o Teorema 61.
Demonstrac ao do Teorema 61. Consideremos K como um espa co ve-
torial sobre Q. Fixe uma aplica c ao linear
T : K Q
tal que T(b) = 1. Fixe tambem uma 2k-colora c ao de R como no
Lema 62.
No que segue, estaremos apenas interessados nos valores de nos
racionais Q R (porque estaremos interessados na imagem de T, que
e Q). Por outro lado, o leitor podera facilmente vericar que, no caso
em que K = R, podemos simplesmente tomar T(y) = y/b (y R) e
usar que esta denida sobre toda a reta R.
Para cada r K, ponha
(r) = ((T(c
i
r)))
1ik
= ((T(c
1
r)), . . . , (T(c
k
r))) [2k]
k
.
(3.20)
Temos assim uma (2k)
k
-colora c ao de K. Suponha que temos uma
solu c ao de (3.17) com
(y
i
) = (y
t
i
) para todo 1 i k. (3.21)
Aplicando T a (3.17), obtemos
1ik
(T(c
i
y
i
) T(c
i
y
t
i
)) = 1. (3.22)
Ponha x
i
= T(c
i
y
i
) e x
t
i
= T(c
i
y
t
i
). A condi c ao (3.21) implica,
em particular, que, para todo 1 i k, a i-esima coordenada
de (y
i
), a saber (T(c
i
y
i
)) = (x
i
), coincide com a i-esima co-
ordenada de (y
t
i
), a saber (T(c
i
y
t
i
)) = (x
t
i
). Isto e,
(x
i
) = (x
t
i
) para todo 1 i k, (3.23)
o que contradiz a escolha de . Esta contradi c ao completa a prova
do Teorema 61.
texto
2009/8/24
page 78
i
i
i
i
i
i
i
i
3.5 Triangulos e polgonos regulares
Discutimos nesta se c ao alguns resultados mais avan cados. Inicial-
mente, discutiremos como o teorema de Ramsey classico pode ser
usado para provar que certas congura c oes especcas s ao Ramsey.
Na se c ao seguinte, provamos o Teorema 56. Na Se c ao 3.5.3, discuti-
mos o caso dos polgonos regulares.
3.5.1 Preliminares
Recordemos o teorema de Ramsey para hipergrafos (veja Teorema 30
da Se c ao 1.5.4 do Captulo 1): Sejam k, , e r inteiros positivos
com k . Ent ao, existe um inteiro positivo N
0
= N
0
(k, , r) para o
qual vale a seguinte asserc ao: se N N
0
, ent ao
(*) toda r-colora c ao dos -subconjuntos de [N] colore todos os -
subconjuntos de algum k-subconjunto de [N] da mesma cor.
Lembre que escrevemos
N (k)
r
. (3.24)
se a propriedade (*) e vericada.
Como podemos usar o teorema original de Ramsey acima na teoria
de Ramsey euclideana? O seguinte exemplo mostra que podemos
construir congura c oes Ramsey de forma muito simples, devido ao
Teorema 30.
Exemplo 63. Considere A = (1, 1, 0)
T
, B = (1, 0, 1)
T
, e C =
(0, 1, 1)
T
R
3
. O tri angulo ABC e isosceles obtuso: os lados
de ABC tem comprimento a =

2, b =

6 e c =

2, de forma
que a
2
+ c
2
< b
2
. Entretanto, ABC e Ramsey. De fato, podemos
aplicar o teorema de Ramsey da seguinte forma para provar esta
asser c ao.
Ponha K = A, B, C e seja dado um inteiro positivo r. Vamos
provar que R(K, n, r) vale se
n (3)
2
r
. (3.25)
Considere todos os vetores y = (y
i
)
1in
de R
n
que tem exatamente
duas coordenadas n ao-nulas e que, ademais, s ao tais que estas duas
texto
2009/8/24
page 79
i
i
i
i
i
i
i
i
[SEC. 3.5: TRI
ANGULOS E POL
IGONOS REGULARES 79
coordenadas s ao 1 e 1 nesta ordem, isto e, se y
i
e y
j
,= 0 e i <
j, ent ao y
i
= 1 e y
j
= 1 (os demais y
k
, k / i, j, s ao todos
nulos). Denotaremos por y(P) o vetor y que acabamos de descrever,
onde P = i, j.
Seja uma r-colora c ao de R
n
. Ent ao temos tambem uma
r-colora c ao dos vetores y(P) acima. Armamos que ha, dentre estes
y(P), uma copia monocromatica de ABC.
Note que a r-colora c ao dos y(P) (P
_
[n]
2
_
) induz uma r-colora c ao
dos conjuntos P
_
[n]
2
_
. Usando (3.25), podemos supor, sem perda de
generalidade, que os pares P contidos em1, 2, 3 s ao todos da mesma
cor. Entretanto, isto signica que os pontos y(P), com P
_
[3]
2
_
,
receberam todos a mesma cor em . Como estes 3 pontos formam
um tri angulo congruente a ABC, provamos R(K, n, r).
A tecnica que acabamos de ver pode ser incrementada para provar
que todos os tri angulos obtusos s ao Ramsey. Vamos provar este re-
sultado na proxima se c ao.
3.5.2 Triangulos
O objetivo desta se c ao e provar o Teorema 56, de Frankl e Rodl [35].
Para ilustrarmos a tecnica, come camos provando que certos tri angulos
especcos s ao Ramsey.
Lema 64. Seja t 2 um inteiro. O tri angulo ABC de lados

2t,
2t e

8t 6 e Ramsey.
Demonstrac ao. Fixe r um inteiro positivo arbitrario. Seja n tal que
n (2t + 1)
2t1
r
, ou, em palavras, seja n tal que toda
r-colora c ao dos (2t 1)-subconjuntos de [n] necessariamente contem
um (2t + 1)-conjunto monocromatico. Vamos provar que a pro-
priedade R(ABC, n, r) vale.
Ponha x
i
= i para todo 1 i t e x
i
= 2t i para todo t < i
2t 1. Para cada P = j
1
< j
2
< < j
2t1
[n], denimos y =
y(P) = (y
j
)
1jn
R
n
colocando y
j
i
= x
i
para todo 1 i 2t 1
e y
j
= 0 para todos os demais j [n].
Seja uma r-colora c ao de R
n
. Esta r-colora c ao induz uma
r-colora c ao dos y(P) (P [n], [P[ = 2t 1) e, conseq uentemente,
uma r-colora c ao dos P [n] com [P[ = 2t 1. Pela deni c ao de n,
texto
2009/8/24
page 80
i
i
i
i
i
i
i
i
sabemos que existe um (2t+1)-subconjunto de [n] que e monocromatico
nesta colora c ao. Suponha que este (2t + 1)-subconjunto seja
Q = k
1
< < k
2t+1
[n].
Se
P
1
= k
1
< < k
2t1
, P
2
= k
2
< < k
2t
e
P
3
= k
3
< < k
2t+1
,
ent ao y(P
1
), y(P
2
) e y(P
3
) formam uma copia monocromatica de ABC,
e a prova do nosso lema esta completa.
Note que o tri angulo ABC do Lema 64 e isosceles e o seu maior
angulo tende a conforme t . O Lema 64 e o teorema do
produto, Teorema 55, implicam que qualquer tri angulo isosceles e
Ramsey, como mostra o argumento a seguir.
Seja A
t
BC um tri angulo isosceles com A
t
B = A
t
C. Vamos con-
siderar uma constru c ao em R
3
. Seja H um plano que contem o seg-
mento BC e tal que a proje c ao ortogonal A de A
t
em H seja tal que
o tri angulo ABC seja um tri angulo semelhante a um tri angulo como
do Lema 64. Claramente, A
t
BC ABC AA
t
. O Teorema 55 e o
Lema 64 implicam que A
t
BC e Ramsey (veja a Figura 3).
A constru c ao acima prova um resultado um pouco mais geral,
como segue.
Lema 65. Sejam ABC e A
t
B
t
C
t
dois tri angulos. Sejam , e ,
e
t
,
t
e
t
os angulos destes tri angulos em A, B e C, e em A
t
, B
t
e C
t
, respectivamente. Suponha que
t
e
tan
tan
=
tan
t
tan
t
. (3.26)
Se ABC e Ramsey, ent ao A
t
B
t
C
t
e Ramsey.
Demonstrac ao. Podemos supor que BC = B
t
C
t
; de fato, supomos
que B = B
t
e C = C
t
. Ademais, suponha que ABC esteja contido
no plano H. Devido à hipotese (3.26), podemos supor que ABC e
obtido pela proje c ao ortogonal de A
t
B
t
C
t
= A
t
BC em H (o ponto A
texto
2009/8/24
page 81
i
i
i
i
i
i
i
i
[SEC. 3.5: TRI
ANGULOS E POL
IGONOS REGULARES 81
Figura 3 A
t
BC ABC AA
t
A
A
B
C
B
e a proje c ao ortogonal de A
t
em H). Veja a Figura 4; observe que a
raz ao entre as tangentes em (3.26) e CX/BX.
Se ABC e Ramsey, ent ao A
t
BC = A
t
B
t
C
t
ABC AA
t
e Ram-
sey, devido ao Teorema 55.
Podemos generalizar o Lema 64 da seguinte forma.
Lema 66. Sejam p e q inteiros positivos e > 0 um n umero real.
Ent ao existe um tri angulo ABC que e Ramsey e que satisfaz as
seguintes propriedades: se e s ao os angulos em B e C de ABC,
ent ao (i ) + < e (ii ) [ tan / tan p/q[ .
Demonstrac ao. Seguiremos os mesmos passos da prova do Lema 64,
e portanto seremos breves em certas partes do argumento.
Seja r um inteiro positivo. Usaremos os x
i
(1 i 2t 1) da
prova do Lema 64. Desta vez, escolhemos n tal que
n (2t +p +q 1)
2t1
r
.
Consideremos os pontos y(P) R
n
(P [n], [P[ = 2t 1) como na
prova do Lema 64. Suponha dada uma r-colora c ao de R
n
, e considere
a r-colora c ao induzida por esta colora c ao nos (2t 1)-subconjuntos
de [n] atraves dos y(P). Suponha que
Q = k
1
< < k
2t+p+q1
texto
2009/8/24
page 82
i
i
i
i
i
i
i
i
Figura 4 Tri angulos satisfazendo (3.26)
B
B
=
A
A
C
C = X
seja um (2t+p+q1)-subconjunto monocromatico de [n]. Considere

P
1
= k
1
< < k
2t1
, P
2
= k
p+1
< < k
2t+p1
,
e
P
3
= k
p+q+1
< < k
2t+p+q1
,
e ponha A
i
= y(P
i
) (i 1, 2, 3). Seja
i
o angulo de A
i
no
tri angulo A
1
A
2
A
3
. Uma conta um pouco entediante mostra que
1
+
3
0 e tan
1
/ tan
3
p/q se fazemos t .
Podemos agora provar o Teorema 56. Na demonstra c ao abaixo,
escrevemos T
p,q,t
para o tri angulo A
1
A
2
A
3
que ocorre na demonstra-
c ao do Lema 66. Abaixo, vamos dizer que um tri angulo T e equiva-
lente no sentido do Lema 65 a T
p,q,t
se pudermos deduzir que T e
Ramsey por aquele lema e pelo fato de T
p,q,t
ser Ramsey, por valerem
as rela c oes (3.26) entre T e T
p,q,t
.
Demonstrac ao do Teorema 56. Seja ABC um tri angulo obtuso. Su-
ponha que , e sejam os angulos de ABC em A, B e C. Suponha
que , (note que > /2).
Consideraremos uma constru c ao em R
3
. Seja H o plano que
contem ABC. Aplique uma rotac ao de em ABC, em torno do
texto
2009/8/24
page 83
i
i
i
i
i
i
i
i
[SEC. 3.5: TRI
ANGULOS E POL
IGONOS REGULARES 83
Figura 5 O argumento para o Teorema 56
X
/2 B
C
C
A
A
( )
( )
C
eixo AB, e seja C
t
a imagem de C por esta rota c ao. Seja C
a
proje c ao ortogonal de C
t
no plano H. Note que C
percorre o seg-
mento CC
/2
ao fazermos variar de 0 a /2. Este segmento e per-
pendicular à reta determinada por A e B. Ademais, C
/2
pertence a
esta reta mas n ao pertence ao segmento AB.
Consideremos o tri angulo ABC
H. Sejam (), () e () os
angulos deste tri angulo em A, B e C
. Veja a Figura 5.

E facil ver
que
tan ()
tan ()
=
C
BX
>
A
B
=
AC
/2
AB
,
para todo 0 < /2 e, ainda,
lim
/2
tan ()
tan ()
=
AC
/2
AB
. (3.27)
Seja o quociente no lado direito de (3.27) e escolha p e q 1 inteiros
tais que < p/q < tan (0)/ tan (0) = tan / tan . Um argumento
de continuidade implica que existe um

para o qual vale que ABC
e equivalente no sentido do Lema 65 a algum T

p,q,t
, e portanto ABC
e Ramsey.
texto
2009/8/24
page 84
i
i
i
i
i
i
i
i
Note agora que ABC ABC
C
t
, onde, recordamos, C
t
e
a imagem de C pela rota c ao de ABC em torno do eixo AB pelo
angulo

e C
e a proje c ao ortogonal de C
t
em H. Como ABC
e
Ramsey, segue do Teorema 55 que ABC e Ramsey. Isto completa a
prova do Teorema 56.
Corolario 67. Todo tri angulo e Ramsey.
O leitor pode achar interessante o contraste entre o Teorema 57
e o Corolario 67: embora todo tri angulo seja Ramsey (Corolario 67),
a congura c ao K = 1, 0, 1, que pode ser considerada como um
tri angulo degenerado, n ao e Ramsey (Teorema 57).
3.5.3 Polgonos regulares
O objetivo desta se c ao e provar o seguinte resultado, devido a Krz [52].
Teorema 68. Todo polgono regular e Ramsey.
Na realidade, Krz provou resultados mais gerais em seu artigo,
mas a prova que veremos do Teorema 68 contem varias das ideias
usadas em [52], alem de evitar algumas tecnicalidades necessarias
para demonstrar tais resultados mais gerais. Cabe mencionar que o
problema de decidir se o pentagono regular e Ramsey cou aberto
por 20 anos.
Congura c oes E-Ramsey e o teorema do produto
Precisamos renar o conceito de uma congura c ao ser Ramsey. Para
tanto, consideraremos congura c oes K nas quais temos uma rela c ao
de equivalencia E denida. Diremos que K e E-Ramsey se, para
todo r, toda r-colora c ao de um R
n
com n sucientemente grande
resulta em uma copia de K em que vertices E-equivalentes sempre
tem a mesma cor. Apresentemos esta deni c ao formalmente.
Seja K uma congura c ao e E KK uma rela c ao de equivalencia
sobre K. Esta rela c ao E particiona K em classes de equivalencia; de-
notaremos a cole c ao destas classes de equivalencia por K/E. Vamos
escrever R
E
(K, n, r) para a seguinte asser c ao:
texto
2009/8/24
page 85
i
i
i
i
i
i
i
i
[SEC. 3.5: TRI
ANGULOS E POL
IGONOS REGULARES 85
(ER) Em qualquer r-colora c ao de R
n
, existe uma congura c ao K
t

R
n
congruente a K com cada uma das classes de equivalencia
em K
t
/E monocromatica.
Por exemplo, se K/E e unitario (temos apenas uma classe de equiva-
lencia), ent ao a asser c ao R
E
(K, n, r) coincide com a asser c ao
R(K, n, r). Por outro lado, a asser c ao R
E
(K, n, r) vale trivialmente
se [K/E[ = [K[ (isto e, se cada ponto de K forma uma classe de
equivalencia por si so).
Formalmente, podemos enunciar (ER) como segue: para toda
r-colora c ao : R
n
[n], existe uma isometria : K R
n
tal que,
pondo K
t
= (K) e E
t
= (E) = ((x), (y)): xEy, temos que C
e constante para toda classe de equivalencia C K
t
/E
t
. No enunci-
ado informal acima, identicamos E
t
com E da forma natural; no que
segue, quando temos uma rela c ao E sobre uma congura c ao K e K
t
e congruente a K, muitas vezes denotaremos tambem por E a rela c ao
sobre K
t
naturalmente denida por E e a congruencia entre K e K
t
.
Suponha agora que K seja uma congura c ao e que E seja uma
rela c ao de equivalencia sobre K. Dizemos que K e E-Ramsey se,
para todo inteiro r 1, existe n
0
= n
0
(K, E, r) tal que se n n
0
,
ent ao R
E
(K, n, r) vale.
Sejam A e B congura c oes dadas, e suponha que E e F s ao
rela c oes de equivalencia sobre A e B. Denimos a rela c ao E F
sobre AB colocando
(a, b)(E F)(a
t
, b
t
)
se e so se aEa
t
e bFb
t
.
Deixamos para o leitor a prova da seguinte generaliza c ao do teo-
rema do produto, Teorema 55.
Teorema 69. Suponha que temos relac oes de equivalencia E e F
sobre congurac oes A e B. Se A e E-Ramsey e B e F-Ramsey,
ent ao A B e E F-Ramsey.
No que segue, teremos uma congura c ao xa K e uma rela c ao de
equivalencia E sobre K. Usaremos ent ao que se K e E-Ramsey, ent ao
K
m
= K K (m fatores) e E
m
-Ramsey, onde E
m
= E E
(m fatores).
texto
2009/8/24
page 86
i
i
i
i
i
i
i
i
Demonstra cao do Teorema 68
Suponha que K seja o conjunto de vertices de um polgono regular
com t lados. Digamos K = x
0
, . . . , x
t1
, com a nota c ao de tal
forma que as arestas de K s ao x
0
x
1
, x
1
x
2
, etc. No que segue, os
ndices dos x
i
s ao sempre tomados modulo t.
Usamos abaixo a isometria b: K K dada por b(x
i
) = x
i+1
para todo i, que corresponde a uma rota c ao de 2/t em torno do
centro de K. Sejam E
0
, . . . , E
t1
as seguintes rela c oes de equivalencia
sobre K: em E
n
(0 n < t), as classes de equivalencia s ao
x
0
, . . . , x
n
, x
n+1
, x
n+2
, . . . , x
t1
. (3.28)
Vamos provar a seguinte asser c ao por indu c ao em n:
() K e E
n
-Ramsey.
Claramente, a prova do Teorema 68 estara completa se provarmos ()
para n = t 1.
Come camos observando que a base de nossa indu c ao e trivial, pois
as classes de equivalencia relativas a E
0
s ao todas unitarias. Suponha
agora que 1 n < t e que K seja E
n1
-Ramsey.
Arma cao 70. A congurac ao K e E
n
-Ramsey.
Demonstrac ao. Para provarmos esta arma c ao, xe um inteiro r 1.
Seja m um inteiro tal que
m (t)
t1
r
n . (3.29)
Como estamos supondo que K e E
n1
-Ramsey, o Teorema 69 implica
que K
m
e E
m
n1
-Ramsey.
Sabemos que se N e sucientemente grande, ent ao em toda r-co-
lora c ao de R
N
temos uma copia

K de K
m
em R
N
tal que cada uma
das classes de equivalencia em

K/E
m
n1
e monocromatica. Armamos
que existe uma copia K
t
de t
1/2
K em R
N
tal que cada uma das
classes de equivalencia em K
t
/E
n
e monocromatica. De fato, vamos
encontrar K
t
dentro de

K.
No paragrafo acima, escrevemos t
1/2
K para a congura c ao
t
1/2
x
i
: 0 i < t.
texto
2009/8/24
page 87
i
i
i
i
i
i
i
i
[SEC. 3.5: TRI
ANGULOS E POL
IGONOS REGULARES 87
Claramente, se conseguirmos encontrar K
t

K como descrito acima,
a Arma c ao 70 estara provada, pois K
t
e congruente a t
1/2
K e este
ultimo e semelhante a K.
Suponha que seja uma r-colora c ao de

K R
N
tal que
() cada uma das classes de equivalencia em

K/E
m
n1
e monocro-
matica.
No que segue, queremos encontrar K
t

K como acima. Por simplici-
dade, identicamos

K com K
m
, de forma que procuramos K
t
K
m
congruente a t
1/2
K com cada C K
t
/E
n
monocromatica.
Para cada P = i
1
< < i
t1

_
[m]
t1
_
, vamos denir n pontos
u
(0)
(P), . . . , u
(n1)
(P)
em

K = K
m
. Para cada 0 j < n, pomos
u
(j)
(P) =
_
u
(j)
k
(P)
_
1km
=
_
u
(j)
1
(P), . . . , u
(j)
m
(P)
_

K = K
m
,
onde
u
(j)
k
(P) =
_
x
j
se k / P
b
(x
j
) = x
j+
se k = i
P (1 < t).
(3.30)
A r-colora c ao de

K = K
m
induz uma r
n
-colora c ao dos (t 1)-
subconjuntos P de [m] atraves dos u
(j)
(P)

K = K
m
(0 j < n).
De fato, colocamos
(P) =
_
(u
(j)
(P))
_
0j<n
=
_
(u
(0)
(P)), . . . , (u
(n1)
(P))
_
[r]
n
para todo P
_
[m]
t1
_
. Pela escolha de m (veja (3.29)), existe um t-
subconjunto monocromatico M de [m] nesta r
n
-colora c ao . Suponha
que
M = k
0
< < k
t1
. (3.31)
Considere a aplica c ao : K

K = K
m
tal que
(x) = (y
k
)
1km
= (y
1
, . . . , y
m
)

K = K
m
, (3.32)
texto
2009/8/24
page 88
i
i
i
i
i
i
i
i
onde
y
k
=
_
x
0
se k / M
b
(x) se k = k
M (0 < t).
(3.33)
Pomos
K
t
= (K)

K = K
m
, (3.34)
e armamos que
K
t
e congruente a t
1/2
K (3.35)
e
e constante em cada uma das classes de equivalencia em K
t
/E
n
.
(3.36)
Note que as asser c oes (3.35) e (3.36) completam a prova da Arma-
tiva 70.
A asser c ao (3.35) e facil ver: de fato, basta observar que a aplica c ao
: K

K = K
m
aumenta dist ancias por um fator de t
1/2
, pois b e
uma isometria. Ponha agora
x
t
j
= (x
j
)

K = K
m
(0 j < t).
Para provar (3.36), precisamos simplesmente provar que
(x
t
0
) = = (x
t
n
).
Provemos que
(x
t
i1
) = (x
t
i
) para todo 1 i n. (3.37)
Seja x
tt
i1
o vetor em K
m
que coincide com x
t
i1
nas coordenadas
em M, e que, em todas as coordenadas fora de M, e constante e
igual a x
i1
. Note tambem que x
t
i1
= (x
i1
) e constante e igual x
0
fora de M (veja (3.32) e (3.33)). Como x
0
E
n1
x
i1
, pois i n,
temos x
t
i1
E
m
n1
x
tt
i1
. Devido à hipotese () sobre , temos que
(x
t
i1
) = (x
tt
i1
). (3.38)
Lembre agora que k
0
= min M e k
t1
= max M (veja (3.31)). Ob-
serve agora que, na verdade, temos u
(i1)
(M k
0
) = x
tt
i1
. Ade-
mais,
(u
(i1)
(M k
0
)) = (u
(i1)
(M k
t1
)), (3.39)
texto
2009/8/24
page 89
i
i
i
i
i
i
i
i
[SEC. 3.6: ALGUNS RESULTADOS MAIS AVANCADOS 89
pois M e monocromatico em rela c ao à colora c ao . Note agora
que x
t
i
= (x
i
) K
m
coincide com u
(i1)
(M k
t1
) nas coor-
denadas em M, e que, em todas as coordenadas fora de M, este
vetor e constante e igual a x
0
. Como x
0
E
n1
x
i1
, pois i n,
temos u
(i1)
(M k
t1
)E
m
n1
x
t
i
. Devido à hipotese () sobre ,
temos que
(u
(i1)
(M k
t1
)) = (x
t
i
). (3.40)
Assim, conclumos de (3.38)(3.40) que (3.37) vale.
Isto completa a prova de (3.36) e portanto a Arma c ao 70 esta
provada.
A Arma c ao 70 completa o passo de indu c ao de nossa prova in-
dutiva de (). Como ja mencionado anteriormente, isto prova o Teo-
rema 68.
3.6 Alguns resultados mais avancados
Discutimos nesta breve se c ao alguns resultados mais avan cados.
3.6.1 Resultados envolvendo a teoria dos grupos
Como mencionado anteriormente, Krz [52] deduziu que polgonos
regulares s ao Ramsey a partir de um resultado mais geral. Nesta
se c ao, enunciamos dois resultados de [52], sem prova.
Seja K uma congura c ao, e suponha que G seja um grupo de
isometrias de K. Escrevemos E
G
para a rela c ao de equivalencia so-
bre K em que xE
G
y se e so se g(x) = y. Claramente, as classes
de equivalencia desta rela c ao s ao as orbitas da ac ao de G em K:
dado x K, a sua orbita por G e
Orb
G
(x) = y : existe g G tal que g(x) = y.
A orbita de x coincide com a classe de equivalencia de x na rela c ao E
G
.
Teorema 71. Suponha que K seja uma congurac ao e que G seja
um grupo de isometrias de K. Se G e sol uvel, ent ao K e E
G
-Ramsey.
texto
2009/8/24
page 90
i
i
i
i
i
i
i
i
Claramente, no caso de um polgono regular de t lados, podemos
tomar como G o grupo cclico de ordem t.
Abaixo, dizemos que uma congura c ao K e transitiva se para
todo x e y K existe uma isometria g de K tal que g(x) = y.
Equivalentemente, a congura c ao K e transitiva se existe uma unica
orbita na a c ao do grupo de isometrias de K.
Teorema 72. Seja K uma congurac ao transitiva. Se K admite um
grupo sol uvel de isometrias com no m aximo duas orbitas, ent ao K e
Ramsey.
Krz observa que com o teorema do produto (Teorema 55) e o
Teorema 72, podemos deduzir que todos os cinco solidos plat onicos
s ao Ramsey (exerccio!).
3.6.2 Congurac oes super-Ramsey
Ja observamos a rela c ao obvia entre a propriedade da congura c ao K =
0, 1 ser Ramsey e o fato do n umero cromatico do R
n
tender a in-
nito conforme n . No Captulo 2, provamos que o n umero
cromatico do R
n
e exponencial em n, e portanto podemos deduzir que
existem constantes c
1
, c
2
> 0 para os quais R(0, 1, n, r) vale se r <
2
c
1
n
e R(0, 1, n, r) n ao vale se r > 2
c
2
n
. A grosso modo, o limiar
para o n umero de cores r para a validade da propriedade R(0, 1, n, r)
e exponencial em n.
Surpreendentemente, n ao e apenas no caso de congura c oes sim-
ples como K = 0, 1 que este limiar e exponencial. Na realidade,
para toda congura c ao K que hoje sabemos ser Ramsey, este limiar
e exponencial. De fato, toda congura c ao Ramsey que conhecemos
hoje e tambem o que chamamos super-Ramsey.
Seja K uma congura c ao. Dizemos que K e super-Ramsey se
existem constantes C > 1, > 0, e n
0
= n
0
(K) tais que, para
todo n n
0
, existe uma congura c ao X = X
n
R
n
tal que
(i ) [X[ C
n
,
(ii ) se Y X n ao contem uma copia de K, ent ao
[Y [ < [X[/(1 +)
n
.
texto
2009/8/24
page 91
i
i
i
i
i
i
i
i
[SEC. 3.6: ALGUNS RESULTADOS MAIS AVANCADOS 91
Note que, em particular, se K e super-Ramsey com constantes C e
como acima, ent ao a asser c ao R(K, n, r) vale para todo r (1 +)
n
,
desde que n seja sucientemente grande.
Frankl e Rodl provaram o seguinte resultado [33].
Lema 73. Todo tijolo e super-Ramsey.
O resultado acima e apenas o lema inicial da prova de que todo
simplexo n ao-degenerado e super-Ramsey, um resultado de Frankl e
Rodl [33], publicado no Journal of American Mathematical Society.
Teorema 74. Suponha que K seja uma colec ao de d + 1 pontos
am-independentes em R
d
. Ent ao K e super-Ramsey.
A demonstra c ao do Teorema 74 envolve argumentos sosticados
da teoria extremal dos conjuntos e geometria.
Observa c oes nais Existem ainda dois conceitos relacionados à
propriedade de ser Ramsey. Uma congura c ao K pode ser o que se
chama esfera-Ramsey e, ainda, hiper-Ramsey.
Seja K uma congura c ao nita. Seja S
n
() R
n+1
a esfera
de raio em R
n+1
e centro 0. Vamos escrever S(K, , n, r) para a
seguinte asser c ao:
(S) Em qualquer r-colora c ao de S
n
(), existe uma congura c ao
K
t
S
n
() congruente a K cujos pontos recebem todos a
mesma cor.
Dizemos que uma congura c ao K e esfera-Ramsey se, para todo r,
existe um real e um inteiro n para o qual a asser c ao S(K, , n, r)
e verdadeira. Uma congura c ao K e hiper-Ramsey se ela admitir
congura c oes esfericas X S
n
() satisfazendo (i ) e (ii ) da deni c ao
de congura c oes super-Ramsey e, ademais, podemos escolher arbi-
trariamente proximo do circunraio
0
de K, isto e, o raio da menor
esfera contendo K (estamos sendo deliberadamente concisos nesta
deni c ao).
Graham [38] provou que tijolos s ao esfera-Ramsey. Matousek e
Rodl [59] provaram que simplexos n ao-degenerados s ao esfera-Ramsey.
A prova deste ultimo resultado depende de certos argumentos que
foram primeiro usados na teoria de espa cos de Banach. Finalmente,
Frankl e Rodl [31] provaram que simplexos n ao-degenerados s ao hiper-
Ramsey.
texto
2009/8/24
page 92
i
i
i
i
i
i
i
i
3.7 Problemas em aberto
Ha varios problemas em aberto nesta area. O mais importante e a
seguinte conjectura de Graham, que oferece 1.000 dolares pela sua
resolu c ao (veja, por exemplo, [39]).
Conjectura 75. Todo conjunto esferico e Ramsey.
O primeiro caso ainda em aberto da Conjectura 75 e aquele em
que temos uma congura c ao generica de 4 pontos em um crculo.
Sabe-se que se os 4 pontos no crculo determinam um trapezio (dois
de seus lados s ao paralelos), ent ao eles formam uma congura c ao
Ramsey. Este resultado, que generaliza o Corolario 67, e devido a
Krz [53].
No outro extremo do espectro, temos problemas bastante espec-
cos que ainda est ao em aberto, como o seguinte problema de 1979
de Erd os [28].
Problema 76. Seja T um tri angulo n ao equil atero. Vale ent ao a
propriedade R(T, 2, 2)?
O caso do tri angulo equilatero precisa ser excludo. Considere
a colora c ao do plano com duas cores, em que (x, y) e colorido da
cor 2x/
3| mod 2. Um argumento geometrico simples mostra que,

nesta colora c ao, n ao ha um tri angulo equilatero de lado 1 monocro-
matico.
Um problema mais modesto que o Problema 76, sugerido por
Rodl, e o seguinte: e verdade que existe uma constante absoluta n
0
para o qual todo tri angulo T e tal que R(T, n
0
, 2) vale? Para apreciar
este problema ainda mais, o leitor deve recordar o contraste ja ob-
servado entre o Teorema 57 (o tri angulo degenerado K = 1, 0, 1
n ao e Ramsey) e o Corolario 67 (todo tri angulo e Ramsey).
texto
2009/8/24
page 93
i
i
i
i
i
i
i
i
Captulo 4
Coberturas e
empacotamentos em
hipergrafos
4.1 Introducao
Um hipergrafo e uma famlia de subconjuntos nitos de um conjunto
dado, todos com o mesmo n umero de elementos, isto e, dado um
conjunto A e um inteiro positivo r, um hipergrafo (ou r-hipergrafo)
sobre A e um subconjunto H de
_
A
r
_
(usualmente o que se chama
de hipergrafo e o par (A, H), H
_
A
r
_
, mas neste captulo sera con-
veniente identicar hipergrafos e famlias de subconjuntos). Costu-
mamos chamar os elementos de H de hiperarestas de H.
Dado um hipergrafo H sobre um conjunto nito A, e um elemento
x A, denimos o grau de x em H gr
H
(x) = [C H [ x C[.
Um hipergrafo H e dito regular se gr
H
(x) n ao depende de x, isto
e, se existe b tal que gr
H
(x) = b para todo x A. Nesse caso,
dizemos que H e b-regular. Dados dois elementos x, y H, denimos
gr
H
(x, y) = [C H [ x, y C[.
Neste captulo estaremos interessados em dois par ametros ex-
tremais associados a hipergrafos, relativos a coberturas e empaco-
93
texto
2009/8/24
page 94
i
i
i
i
i
i
i
i
94 [CAP. 4: COBERTURAS E EMPACOTAMENTOS
tamentos optimais em H. Denimos (A, H) = mink N [ C
1
,
C
2
, . . . , C
k
H tais que A =

k
j=1
C
j
(o tamanho mnimo de uma
cobertura de A por elementos de H), e (A, H) = maxk N [
C
1
, C
2
, . . . , C
k
H com C
i
C
j
= , i ,= j (o tamanho maximo
de um empacotamento em H). Estaremos particularmente interessa-
dos em estimar esses par ametros no caso de hipergrafos regulares.
Se [A[ = n e H
_
A
r
_
e um hipergrafo sobre A, e facil ver que
(A, H)
n
r
(A, H). Por outro lado, se (A, H) estiver proximo
de
n
r
ent ao (A, H) tambem estara. Mais precisamente, se (A, H) <
n
r
(1 + ) ent ao (A, H) >
n
r
(1 r). De fato, se m <
n
r
(1 + ), e
C
1
, C
2
, . . . , C
m
H s ao tais que A =

m
j=1
C
j
, se denimos, para
cada x A, d(x) = [1 j m [ x C
j
[, teremos

xA
d(x) =
xA
m
j=1
C
j
(x) =
m
j=1
xA
C
j
(x) = rm < n(1 + ). Assim,
se para cada x A retiramos d(x) 1 elementos de C
1
, C
2
, . . . , C
m
que contem x, retiramos no maximo

xA
(d(x) 1) = rmn < n
elementos de C
1
, . . . , C
m
, obtendo assim um empacotamento com
mais de m n
n
r
n =
n
r
(1 r) elementos. Este fato sera
importante na proxima se c ao.
Em geral pouco pode ser dito sobre estimativas gerais de (A, H)
e (A, H) (por exemplo, se dois elementos de H sempre se intersec-
tam, (A, H) = 1, e se a uni ao dos elementos de H n ao e igual a
A, (A, H) n ao esta denido). Entretanto, para hipergrafos regu-
lares (ou quase regulares) vamos mostrar resultados gerais sobre
estimativas desses par ametros extremais (por exemplo, (A, H) <
n
r
(log r+1) e (A, H) n/r
2
para todo r-hipergrafo regular H sobre
um conjunto A de n elementos). Mostraremos tambem que essas es-
timativas n ao podem ser assintoticamente melhoradas sem hipoteses
adicionais (veja a Se c ao 4.3).
Um marco do assim chamado metodo probabilstico foi a demons-
tra c ao devida a Rodl [64] de uma conjectura de Erd os e Hanani [24]
de 1963, sobre empacotamento e coberturas, que cou em aberto
por 22 anos. De fato, Rodl mostrou que, em certas condi c oes, (A, H)
e (A, H) s ao assintoticamente iguais a n/r. O metodo de Rodl pode
ser visto como o resultado de um renamento de algumas ideias ja
presentes em um trabalho de Ajtai, Komlos, e Szemeredi [2], onde
esses autores lidam com um certo problema da teoria dos grafos com o
objetivo de atacar um problema da teoria combinatoria dos n umeros.
texto
2009/8/24
page 95
i
i
i
i
i
i
i
i
[SEC. 4.2: O TEOREMA DE R
ODL 95
Uma vers ao abstrata do metodo de Rodl foi desenvolvida por Frankl
e Rodl [32]; veremos neste captulo a vers ao de Pippenger (veja, por
exemplo, [37]).
O metodo de Rodl, às vezes chamado de R odl nibble ou o metodo
semi-aleat orio, mostrou-se capaz de lidar com uma grande gama
de problemas e e hoje uma das ferramentas probabilsticas indis-
pensaveis da combinatoria contempor anea.
Descrevemos agora a conjectura de Erd os e Hanani (a prova desta
conjectura sera apresentada na Se c ao 4.2). Dados n k t 1 in-
teiros, dizemos que umk-hipergrafo H
_
[n]
k
_
sobre [n] = 1, 2, . . . , n
e um (n, k, t)-empacotamento se [C C
t
[ < t, C, C
t
H, C ,=
C
t
. Denimos P(n, k, t) como a maior cardinalidade possvel de um
(n, k, t)-empacotamento. Um tal hipergrafo H e dito uma (n, k, t)-
cobertura se para todo B
_
[n]
t
_
existe C H tal que B C. Deni-
mos C(n, k, t) como a menor cardinalidade de uma (n, k, t)-cobertura.
E facil ver que P(n, k, t)

_
n
t
_
/
_
k
t
_
C(n, k, t). A conjectura de
Erd os e Hanani diz que, para k e t xos, lim
n
P(n, k, t)
_
k
t
_
/
_
n
t
_
=
lim
n
C(n, k, t)
_
k
t
_
/
_
n
t
_
= 1. Assim, num jogo como a loto ou a
sena, com n n umeros, cujo objetivo e acertar os t n umeros que s ao
sorteados (no caso da loto, n = 100 e t = 5, e, no caso da sena,
n = 50 e t = 6), se k e t est ao xos e n e grande, ent ao o n umero
mnimo de cart oes de k n umeros que devemos jogar para garantir que
acertaremos os t n umeros sorteados e (1 +o(1))
_
n
t
_
/
_
k
t
_
.
4.2 O teorema de R odl
Vamos mostrar a seguir a vers ao de Pippenger do teorema de Rodl:
Teorema 77. Dados r 2 inteiros e K, > 0 reais, existe > 0
para o qual vale o seguinte. Suponha que H e um r-hipergrafo sobre
um conjunto F com [F[ = n e existe d satisfazendo as seguintes
condic oes:
(i) gr
H
(x) < Kd para todo x F,
(ii) (1)d < gr
H
(x) < (1+)d para pelo menos (1)n elementos
x F,
(iii) gr
H
(x, y) < d para todo x ,= y.
texto
2009/8/24
page 96
i
i
i
i
i
i
i
i
Ent ao (F, H) < (1 +)
n
r
e (F, H) > (1 )
n
r
.
Antes de provar o teorema, vamos ver como ele implica a conjec-
tura de Erd os e Hanani, enunciada na introdu c ao deste captulo:
Dados n k t 1, construmos um
_
k
t
_
-hipergrafo sobre
_
[n]
t
_
,
H(n, k, t) =
_
B
t
_
, B
_
[n]
k
_
. Como cada subconjunto de t elementos
de [n] esta contido em
_
nt
kt
_
subconjuntos de k-elementos de [n],
temos gr
H(n,k,t)
(X) =
_
nt
kt
_
, para todo X
_
[n]
t
_
. Por outro lado,
dados X, Y
_
[n]
t
_
, X ,= Y , temos s = [X Y [ t + 1, donde
gr
H(n,k,t)
(X, Y ) =
_
ns
ks
_
_
nt1
kt1
_
. Fixados k e t, temos
lim
n
_
n t 1
k t 1
___
n t
k t
_
= lim
n
k t
n t
= 0.
Portanto, dado > 0, se k e t s ao xos e n e sucientemente grande,
as condi c oes do teorema s ao vericadas, com d =
_
nt
kt
_
. Isso mostra
que
lim
n
_
k
t
_
_
n
t
_
__
[n]
t
_
, H(n, k, t)
_
= lim
n
_
k
t
_
_
n
t
_
__
[n]
t
_
, H(n, k, t)
_
= 1.
Por outro lado, e facil ver que
__
[n]
t
_
, H(n, k, t)
_
= C(n, k, t),
e
__
[n]
t
_
, H(n, k, t)
_
= P(n, k, t),
o que encerra a prova.
A prova do Teorema 77 utiliza o metodo probabilstico de maneira
fundamental. As condi c oes (i), (ii) e (iii) do enunciado s ao condi c oes
de regularidade fraca, ou melhor, de regularidade com toler ancia . O
seguinte lema mostra que, se escolhermos aleatoriamente um subcon-
junto pequeno de hiperarestas de um hipergrafo fracamente regular
com toler ancia pequena e retirarmos os vertices cobertos por essas
hiperarestas, obtemos, com alta probabilidade, um hipergrafo fraca-
mente regular com toler ancia ainda pequena, e permite estimar os
par ametros desse novo hipergrafo.
texto
2009/8/24
page 97
i
i
i
i
i
i
i
i
ODL 97
Lema 78. Sejam dados r, , e K > 0. Dado
t
> 0 existem =
(r,
t
, , K), n
0
= n
0
(r,
t
, , K) e d
0
= d
0
(r,
t
, , K) > 0 para os
quais vale o seguinte. Suponha que H e um r-hipergrafo sobre F,
[F[ = n > n
0
, e existe d > d
0
satisfazendo as seguintes condic oes:
(i) gr
H
(x) < Kd para todo x F,
(ii) (1)d < gr
H
(x) < (1+)d para pelo menos (1)n elementos
x F,
(iii) gr
H
(x, y) < d para todo x ,= y.
Ent ao existe X H tal que, se F
t
= F
_
AX
A
_
e H
t
= A
H [ A F
t
, temos:
(a) (1
t
)
n
r
< [X[ < (1 +
t
)
n
r
(b) (1
t
)e
n < [F
t
[ < (1 +
t
)e
n
(c) (1
t
)e
(r1)
d < gr
H
(x) < (1+
t
)e
(r1)
d para pelo menos
(1
t
)[F
t
[ elementos x F
t
.
Antes de provar o lema, vamos ver como ele implica o Teorema
77:
Prova do Teorema 77. Seja (0, 1) tal que
e
2
1e
< 1+

2r
(todo
sucientemente pequeno satisfaz isso, pois lim
0
e
2
1e
= 1), e
seja k um inteiro positivo tal que e
k(
2
)
<

2r
2
. Denimos
0
= 1
e
2
< e
2
1 e, para 1 j k,
j
= min1e
2
,
t
(r,
j1
, ,

K),
onde

K = Ke
k(r1)
. Armamos que, se n e d s ao sucientemente
grandes (o que e automatico se e sucientemente pequeno) e =
k
ent ao valem as conclus oes do teorema.
De fato, aplicando k vezes o Lema 78, obtemos conjuntos
X
1
, . . . , X
k
de arestas de H e subconjuntos F
0
, F
1
, F
2
, . . . , F
k
de F
com F
0
= F, e
2
[F
j
[ < [F
j+1
[ < e
[F
j
[, para 0 j k 1
(donde e
j(
2
)
n < [F
j
[ < e
j(
2
)
n, para todo j k) e [X
j+1
[ <
e
2

]F
j
]
r
< e

r
e
j(
2
)
n, para todo j k 1 tais que
F
j+1
= F
j
(
AX
j
A), 0 j k 1.
Temos ent ao [F
k
[ < e
k(
2
)
n <

2r
2
n, donde podemos, usando
uma hiperaresta de H para cada elemento de F
k
, cobrir F
k
com no
texto
2009/8/24
page 98
i
i
i
i
i
i
i
i
maximo

2r
2
n hiperarestas. Por outro lado,

k
j=1
X
j
cobre F F
k
,
e [
k
j=1
X
j
[ < e

r
n
k1
j=0
e
j(
2
)
<
n
r

e
2
1e
<
n
r
(1 +

2r
),
donde podemos cobrir F com menos de
n
r
(1+

2r
) +

2r
2
n =
n
r
(1+

r
)
hiperarestas de H, ou seja, (F, H) < (1+

r
)
n
r
< (1+)
n
r
. Por outro
lado, como vimos apos a deni c ao de (F, H), (F, H) <
n
r
(1 +

r
)
implica (F, H) >
n
r
(1 r

r
) = (1 )
n
r
.
Antes de provarmos o Lema 78, vamos recordar algumas no c oes de
probabilidade em conjuntos nitos. Dado um conjunto nito , uma
probabilidade em pode ser vista como uma fun c ao P: [0, 1] tal
que

x
P(x) = 1. Dado A , denimos P(A) =

xA
P(x).
Dois eventos A, B s ao ditos independentes se P(A B) =
P(A)P(B). Uma variavel aleatoria em e uma fun c ao :
R. Denimos o valor esperado de por E() =

x
P(x)(x), a
vari ancia de por V () =
x
P(x)((x) E())
2
, e desvio padr ao
de por D() =
_
V ().
Uma ferramenta importante para a prova do lema e a desigualdade
de Chebyshev:
P([ E()[ > D())
1
2
, para todo > 0.
De fato, se
A = x [ [(x) E()[ > D(),
ent ao
V () = E()
2
=
x
P(x)((x) E())
2
xA
P(x)((x) E())
2
(D())
2
xA
P(x) =
2
V ()P(A),
donde P(A)
1
2
.
Em particular, se D() = o([E()[), tomando =
_
[E()[/D(),
a desigualdade de Chebyshev mostra que P((x) = (1 +o(1))E()) e
1 o(1).
Prova do Lema 78. Vamos mostrar que se e sucientemente pe-
queno (isto e, se = o(1)) e d e n s ao sucientemente grandes
texto
2009/8/24
page 99
i
i
i
i
i
i
i
i
ODL 99
ent ao vale o resultado. Para isso escolheremos aleatoriamente o con-
junto X H de hiperarestas a serem retiradas: para cada C H,
a probabilidade de termos C X sera sempre igual a p = /d,
sendo esses eventos mutuamente independentes (a rigor nosso espa co
amostral sera = T(H), e, para cada X H, teremos P(X) =
p
]X]
(1 p)
]H]]X]
).
Temos
[H[ =
1
r
xF
gr
H
(x) =
1
r
(n(1 o(1))d(1 +o(1)) +Kd o(n))
=
nd
r
(1 +o(1)).
O valor esperado de [X[ e p[H[ =
n
r
(1 + o(1)). Por outro lado, a
vari ancia de [X[ e p(1 p)[H[. De fato, denindo
f(x) =
m
s=0
_
m
s
_
x
s
(1 p)
ms
= (x + 1 p)
m
,
temos
f
t
(x) =
m
s=0
s
_
m
s
_
x
s1
(1 p)
ms
= m(x + 1 p)
m1
,
e
f
tt
(x) =
m
s=0
s(s 1)
_
m
s
_
x
s2
(1 p)
ms
= m(m1)(x+1 p)
m2
,
e portanto, se m = [H[,
E([X[) =
m
s=0
s
_
m
s
_
p
s
(1 p)
ms
= pf
t
(p) = pm = p[H[,
e
V ([X[) = E([X[
2
) E([X[)
2
=
_
m
s=0
s
2
_
m
s
_
p
s
(1 p)
ms
_
(p[H[)
2
= (p
2
f
tt
(p) +pf
t
(p)) (p[H[)
2
= p
2
m(m1) +pmp
2
m
2
= p(1 p)m = p(1 p)[H[.
texto
2009/8/24
page 100
i
i
i
i
i
i
i
i
Assim,
V ([X[) = p(1 p)[H[ < p[H[ = E([X[),
donde
D([X[) =
_
V ([X[) = o(E([X[)),
e, pela desigualdade de Chebyshev, com probabilidade 1 o(1) tere-
mos [X[ = (1 +o(1))E([X[) = (1 +o(1))
n
r
, o que implica a condi c ao
(a), se n e sucientemente grande.
Vamos agora mostrar que a condic ao (b) vale com probabilidade
1o(1). Para isso, para cada x F, consideramos a variavel aleatoria
x
denida por
x
=
_
1 se x /
CX
C
0 caso contrario.
Seja =

xF

x
. Note que = [F

CX
C[ = [F
t
[. Temos
E(
x
) = P(x C H C / X) = (1 p)
gr
H
(x)
. Assim, se
gr
H
(x) = (1 +o(1))d, E(
x
) =
_
1

d
_
d(1+o(1))
= e
+o(1)
(isso acontece para (1 o(1))n elementos x de F). Como sempre
temos 0 E(
x
) 1,
E([F
t
[) = E() =
xF
E(
x
) = (1 o(1))n(e
+o(1)) +o(n)
= ne
+o(n) = ne
(1 +o(1)).
Vamos agora estimar
V ([F
t
[) = V () = E(( E())
2
) = E((
xF
(
x
E(
x
)))
2
)
=
xF
E((
x
E(
x
))
2
) +
x,yF
x,=y
E((x
x
E(
x
))(
y
E(
y
))
=
xF
E((
x
E(
x
))
2
) +
x,yF
x,=y
(E(
x
y
) E(
x
)E(
y
)).
Por outro lado,
E((
x
E(
x
))
2
) = E(
2
x
) E(
x
)
2
E(
2
x
) = E(
x
)
texto
2009/8/24
page 101
i
i
i
i
i
i
i
i
ODL 101
(pois
2
x
=
x
), e, se x, y F, x ,= y, E(
x
y
) = P(C x, y = ,
C X) = (1 p)
gr
H
(x)+gr
H
(y)gr
H
(x,y)
, donde
E(
x
y
) E(
x
)E(
y
) = (1 p)
gr
H
(x)+gr
H
(y)gr
H
(x,y)
(1 p)
gr
H
(x)+gr
H
(y)
(1 p)
gr
H
(x,y)
1 = (1

d
)
o(d)
1
= (1 +o(1)) 1 = o(1).
Assim,
V ([F
t
[)
xF
E(
x
) +
x,yF
x,=y
o(1) n +o(n
2
) = o(n
2
),
donde
D([F
t
[) =
_
V ([F
t
[) = o(n) = o(E([F
t
[)),
e portanto
[F
t
[ = E([F
t
[)(1 +o(1)) = ne
(1 +o(1))
com probabilidade 1o(1), o que mostra que a condi c ao (b) vale com
probabilidade 1 o(1).
Por m, vamos mostrar que a condi c ao (c) tambem vale com
probabilidade 1 o(1). Para isso, e suciente mostrar que
xF
P(x / F
t
ou gr
H
(x) = (1 +o(1))e
(r1)
d) = (1 o(1))n.
De fato, essa soma e o valor esperado da variavel aleatoria [B[ onde
B = (F F
t
) x F
t
[ gr
H
(x) = (1 +o(1))e
(r1)
d.
Como
V ([B[) = E([B[
2
) E([B[)
2
n
2
((1 o(1))n)
2
= o(n
2
),
temos
D([B[) =
_
V ([B[) = o(n) = o(E([B[)),
texto
2009/8/24
page 102
i
i
i
i
i
i
i
i
donde, com probabilidade 1 o(1), [B[ = (1 + o(1))E([B[) = (1
o(1))n = n o(n) = n o([S[).
Como
P(x / F
t
ou gr
H
(x) = (1 +o(1))e
(r1)
d)
= P(x / F
t
)+P(x F
t
)P(gr
H
(x) = (1+o(1))e
(r1)
d [ x F
t
),
basta provar que
xF
P(gr
H
(x) = (1 +o(1))e
(r1)
d [ x F
t
) = (1 o(1))n.
Dizemos que y F e razoavel se (1 )d < gr
H
(y) < (1 +)d, e que
y e ruim caso contrario. Dizemos que uma hiperaresta C H e boa
se, para todo y C, y e razoavel. Temos
[C H [ C n ao e boa [
CH
[y C [ y e ruim [
=
yF
y e ruim
[C H [ y C[
n Kd = o(nd).
Dizemos que x F e otimo se x e razoavel e
[C H [ x C e C n ao e boa[
d = o(d).
Temos
xF
[C H [ x C e C n ao e boa[ =
CH
[x F [ x C[
= r[C H [ C n ao e boa[ rKnd = o(nd),
donde
[x F [ x n ao e otimo[ n +
rKnd
d
= n( +rK
) = o(n).
Basta provar ent ao que, para todo x F otimo,
P(gr
H
(x) = (1 +o(1))e
(r1)
d [ x F
t
) = (1 o(1)).
texto
2009/8/24
page 103
i
i
i
i
i
i
i
i
ODL 103
Se x F e otimo ent ao C H [ x C = C
1
, C
2
, . . . , C
k
,
onde k = d(1 +o(1)), e C
j
e boa, j. Assim, como gr
H
(y, z) = o(d),
y, z F, y ,= z, para todo j temos
[C H [ x / C e C C
j
,= [ = (1 +o(1))(r 1)d.
A probabilidade condicional P( [ x F
t
) pode ser vista como uma
probabilidade em T(H C
1
, C
2
, . . . , C
k
) onde escolhemos um con-
junto

X H C
1
, . . . , C
k
de hiperarestas a serem retiradas: para
cada C H C
1
, . . . , C
k
, a probabilidade de termos C

X sera
sempre igual a p =

d
, sendo esses eventos mutuamente indepen-
dentes. De agora em diante trabalharemos com essa probabilidade.
Sejam
j
, 1 j k, as variaveis aleatorias denidas por
j
=
_
0 se existe C

X com C C
j
,=
1 caso contrario,
e =
k
j=1
j
. Temos
= gr
H
(x),
e
E(
j
) =
_
1

d
_
(1+o(1))(r1)d
= e
(r1)
+o(1)
para todo j, donde
E() = k(1 +o(1))e
(r1)
= d(1 +o(1))e
(r1)
.
Assim, para encerrar a prova, basta mostrar que D() = o(d). Temos
V () =
k
j=1
(E(
2
j
) E(
j
)
2
) +
k
i=1
k
j=1
j,=i
(E(
i
j
) E(
i
)E(
j
)),
como antes. Temos E(
2
j
) E(
j
)
2
E(
2
j
) 1. Por outro lado,
como C
i
e boa, [C H [ [C C
i
[ 2[ = o(d), donde [1 j k [
C
i
C
j
,= x[ = o(d). Alem disso, se C
i
C
j
= x, como [C
H C
1
, . . . , C
k
[ C C
i
,= ou C C
j
,= [ = (1 +o(1))(2r 2)d,
E(
i
j
) = (1

d
)
(1+o(1))(2r2)d
, e portanto E(
i
j
) E(
i
)E(
j
) =
o(1). Assim,
V () k +o(kd) +o(k
2
) = o(d
2
),
texto
2009/8/24
page 104
i
i
i
i
i
i
i
i
donde
D() =
_
V () = o(d).
Portanto, as tres condi c oes (a), (b) e (c) valem com probabilidade
1 o(1), o que encerra a prova.
4.3 Coberturas e empacotamentos opti-
mais
O nosso objetivo desta se c ao e investigar estimativas para coberturas
e empacotamentos optimais.
4.3.1 Preliminares
Nesta se c ao provaremos estimativas gerais sobre o tamanho de cober-
turas e empacotamentos optimais em hipergrafos (quase) regulares,
e mostramos exemplos onde essas estimativas s ao assintoticamente
otimas.
Estendemos a deni c ao dos par ametros e para famlias quais-
quer de subconjuntos de um conjunto nito F: dado ( T(F),
denimos
(F, () = mink N [ C
1
, C
2
, . . . , C
k
( tais que F =
k
_
j=1
C
j
e
(F, () = maxk N [ C
1
, C
2
, . . . , C
k
( com C
i
C
j
= , i ,= j.
Alem disso, dado x (, denimos gr
c
(x) = [C ( [ x C[.
Apesar de alguns dos resultados desta se c ao se referirem a famlias
gerais de subconjuntos de um dado conjunto nito, nosso foco princi-
pal continua sendo em hipergrafos regulares. Vamos dar alguns exem-
plos de hipergrafos regulares que aparecem naturalmente em certos
problemas, e de aplica c oes de resultados desta se c ao nesses casos:
Se F admite uma metrica d, e r e um n umero real tal que [B(x, r)[ =
[y F [ d(x, y) r[ n ao depende de x, ent ao ( = B(x, r) [ x F
e um hipergrafo regular. De fato, se [B(x, r)[ = a, para todo x F,
texto
2009/8/24
page 105
i
i
i
i
i
i
i
i
[SEC. 4.3: COBERTURAS E EMPACOTAMENTOS OPTIMAIS 105
dado x
0
F, C ( [ x
0
C[ = x F [ d(x, x
0
) r[ =
[B(x
0
, r)[ = a, donde ( e um a-hipergrafo a-regular. Em particular,
se G e um grafo regular, e d e a dist ancia usual em G, dada por
d(x, y) = mink N [ x
1
, x
2
, . . . , x
k
V (G) tais que x
i
, x
i+1

e(G), i < k (onde V (G) e o conjunto dos vertices de G e e(G)
e o conjunto das arestas de G), a condi c ao acima e satisfeita com
r = 1. De fato, se G e a-regular ent ao [B(x, 1)[ = a + 1, para todo
x G. Portanto, o Corolario 81 mostra que existe X V (G) com no
maximo
]V (G)]
a+1
(log(a+2)+) elementos tal que, para todo x V (G),
x X ou existe y X com x, y e(G).
Outro exemplo e o caso F = I
1
I
2
I
m
onde os I
j
s ao
conjuntos nitos, 1 j m, e d e a dist ancia de Hamming, dada
por d((a
1
, . . . , a
m
), (b
1
, . . . , b
m
)) = [1 j m [ a
j
,= b
j
[. Nesse
caso, dado r 0, temos
[B(x, r)[ = [B(x, r|)[ = 1 +
r
k=1
1j
1
<j
2
<<j
k
m
k
i=1
([I
j
i
[ 1),
que n ao depende de x. No caso em que existe a tal que [I
j
[ = a
para 1 j m, temos [B(x, r)[ =

r
k=0
_
m
k
_
(a 1)
k
, e [F[ = a
m
.
Podemos pensar em F como o conjunto de possveis cart oes numa
loteria exportiva generalizada com m jogos, em que ha a possveis
resultados para cada jogo (na loteria esportiva usual, m = 13 e a = 3:
cada jogo pode terminar em vitoria, empate ou derrota do time que
tem o mando de campo). Se x
0
F for o resultado da loteria numa
dada semana, para cada r 0, B(x, r) e o conjunto dos cart oes que
erram no maximo r resultados, ou seja, que fazem pelo menos mr
pontos. Se h(a, m, r) = (F, (), onde, como antes, ( = B(x, r), x
F, ent ao h(a, m, m p) e a responta à seguinte pergunta: Numa
tal loteria, quantos cart oes (no mnimo) devem ser jogados de modo
a garantir que, em pelo menos um deles, vamos fazer pelo mesno p
pontos. Esta pergunta (o problema da loteria esportiva) motivou o
nosso interesse pelo assunto deste captulo.
Se b =

mp
k=0
_
m
k
_
(a 1)
k
, o Corolario 81 mostra que
a
m
b
<
h(a, m, m p) <
a
m
b
(log(b + 1) + ). Por outro lado, se p m/a|,
bastam a cart oes para garantir os p pontos (isto e, h(a, m, mp) a).
De fato, se no cart ao j marcamos a op c ao j em todos os jogos, para
texto
2009/8/24
page 106
i
i
i
i
i
i
i
i
1 j a, garantimos que, em um dos cart oes faremos pelo menos
m/a| pontos.
Estes fatos, junto com as estimativas do Lema 92 do Apendice A
mostram que, dados a N e (0, 1), se m e grande e p = ( +
o(1))m ent ao h(a, m, mp) = (g
a
() +o(1))
m
, onde
g
a
() =
_
_
_
1 se 1/a
a
_
1
a1
_
1
se 1/a
Se a e r = m p est ao xos e m e grande ent ao e possvel dar
estimativas melhores para h(a, m, r). De fato, temos a
Proposi cao 79. Existe c = c(a, r) tal que h(a, m, r) < c
a
m
b
, onde,
como antes, b =
r
k=0
_
m
k
_
(a 1)
k
.
Antes de provar isso, vamos fazer uma digress ao sobre espa cos
projetivos, que ser ao uteis nessa prova e nas estimativas sobre em-
pacotamentos no m deste captulo. Para toda potencia de primo
q, existe um unico corpo (a menos de isomorsmos) com q elemen-
tos, que denotaremos por F
q
. Se q e primo, F
q
e simplesmente
o corpo Z/qZ. Dado um inteiro positivo n, o espaco projetivo de
dimens ao n sobre F
q
que denotaremos por P
n
(F
q
), e o quociente
(F
n+1
q
)
/F
q
de (F
n+1
q
)
= F
n+1
q
0 pela rela c ao de equivalencia
dada por u v F
q
= F
q
0 tal que v = u. Temos
[P
n
(F
q
)[ =
q
n+1
1
q1
. Se n = 2, P
n
(F
q
) e o plano projetivo sobre F
q
.
Em geral, denotamos os elementos de P
n
(F
q
) por (a
0
: a
1
: : a
n
),
onde (a
0
, a
1
, . . . , a
n
) F
n+1
q
0. Temos (b
0
: b
1
: : b
n
) = (a
0
:
a
1
: : a
n
) se e somente se existe F
q
tal que b
i
= a
i
, para
1 i n. A cada elemento u = (a
0
: a
1
: a
2
) P
2
(F
q
) associamos a
reta em P
2
(F
q
)
u
= (x
0
: x
1
: x
2
) P
2
(F
q
) [ a
0
x
0
+a
1
x
1
+a
2
x
2
= 0.
N ao e difcil mostrar que [
u
[ = q+1 para todo u, se u ,= v, [
u
v
[ =
1, e que, dado w = (x
0
: x
1
: x
2
) emP
2
(F
q
), [u P
2
(F
q
) [ w
u
[ =
[
w
[ = q + 1.
Vamos agora provar a Proposi c ao 79.
texto
2009/8/24
page 107
i
i
i
i
i
i
i
i
Prova da Proposic ao 79. Mostraremos inicialmente que, se q e uma
potencia de primo, n e um inteiro positivo e
m =
q
n+1
1
q 1
,
ent ao h(q, m, 1) =
q
m
b
, onde b = 1 + m(q 1) = q
n+1
(essa e uma
das raras situa c oes onde ha coberturas perfeitas, isto e, coberturas
que tambem s ao empacotamentos). Para isso seja A uma matriz
(n + 1) m cujas colunas v
1
, v
2
, . . . , v
m
s ao vetores em F
n+1
q
cujas
classes de equivalencia cobrem todo o espa co projetivo P
n
(F
q
), ou
seja, dado qualquer w F
n+1
q
, existem F
q
e 1 j m com
w = v
j
. Seja X F
m
q
o conjunto dos vetores u F
m
q
tais que
A u = 0. Note que, como A tem posto n + 1, X e um subespa co de
F
m
q
de codimens ao n + 1, e portanto tem q
mn1
=
q
m
b
elementos.
Armamos que F
m
q
=
uX
B(u, 1). De fato, dado u F
m
q
, teremos
A u = v F
n+1
q
. Pela constru c ao, existem 1 j m e F
q
com v = v
j
, logo A( u e
j
) = A u A e
j
= v v
j
= 0, onde
e
j
e o j-esimo vetor da base can onica de F
m
q
, donde u e
j
X.
Como d( u e
j
, u) 1, isso prova a arma c ao. Tais subespa cos X
s ao conhecidos como C odigos de Hamming.
Mais geralmente, xado r 1, se m = rm = r
_
q
n+1
1
q1
_
ent ao
h(q, m, r)
q
m
b
r
. De fato,
X = (w
1
, w
2
, . . . , w
r
) F
mr
q
= (F
m
q
)
r
[ w
j
X, 1 j r
e tal que
[
X[ = [X[
r
=
q
mr
b
r
,
e
F
mr
q
=
_
w
X
B( w, r).
Note que, se m 2r,
b =
r
j=0
_
m
j
_
(q 1)
j
(r + 1)
_
m
r
_
(q 1)
r
(r + 1)
m
r
r!
(q 1)
r
=
(r + 1)r
r
r1
(m(q 1))
r
(r + 1)r
r
r!
b
r
,
texto
2009/8/24
page 108
i
i
i
i
i
i
i
i
donde
h(q, m, r)
(r + 1)r
r
r!

q
m
b
.
Por outro lado, se X I
1
I
k
e tal que I
1
I
k
=
vX
B(v, r) ent ao, se x > k, Y = X I
l+1
I
s
e tal que
[Y [ = [X[[I
k+1
I
s
[
e
I
1
I
k
I
k+1
I
s
=
_
wY
B(w, r).
Assim, no caso geral, dado a > 1, escolhemos uma potencia de primo
q, q [ a, e escrevemos os conjuntos I
j
de a elementos como F
q
J,
onde [J[ = a/q. Assim, dado m, escrevemos I
1
I
m
= F
m
q
J
m
.
Tomamos ainda o maior ineiro n tal que m = r
_
q
n+1
1
q1
_
m (temos
portanto m
m
q+1
), e portanto I
1
I
m
= F
m
q
F
m m
q
J
m
,
donde, como e possvel cobrir F
m
q
por
q
m
b
r
0
bolas de raio r, onde b
0
=
q
n+1
, pela observa c ao acima e possvel cobrir F
m
q
F
m m
q
J
m
por
a
m
b
r
0
bolas de raio r. Se m 2r, temos
b :=
r
k=0
_
m
k
_
(a 1)
k
(r + 1)
_
m
r
_
(a 1)
r
(r + 1)
m
r
r!
(a 1)
r
(r + 1)
(q + 1)
r
r!
m
r
(a 1)
r
< (r + 1)
(q + 1)
r
r!
_
rb
0
q 1
_
r
(a 1)
r
(r + 1)
(3r)
r
r!
(a 1)
r
b
r
0
,
donde
a
m
b
r
0
< c(a, r)
a
m
b
,
onde
c(a, r) = (r + 1)
(3r(a 1))
r
r!
.
texto
2009/8/24
page 109
i
i
i
i
i
i
i
i
Um interessante problema em aberto e determinar se, de fato,
h(a, m, r) = (1 +o(1))
a
m
b
.
Isso n ao e conhecido nem no caso a = 2 (mas e verdade se a = 2 e
r = 1). Veja o Captulo 12 de [13].
O restante deste captulo corresponde ao trabalho [14].
4.3.2 Cotas superiores para coberturas
Vamos incialmente provar uma vers ao ligeiramente melhorada de re-
sultados classicos de Johnson, Stein e Lovasz (veja [46, 69, 56]).
Dizemos que uma famlia ( de subconjuntos de um conjunto F
e (a, b)-semiregular se [C[ a para todo C ( e gr
c
(x) b para
todo x F. Ocasionalmente, chamamos a-hipergrafos b-regulares de
famlias (a, b)-regulares.
Proposi cao 80. Sejam a e b inteiros positivos e suponha que ( e
uma famlia semiregular de subconjuntos de um conjunto F de n ele-
mentos. Seja m = [([. Ent ao, para todo inteiro positivo
t
,
n
a
(F, ()
log(m
t
/bn)
log(1 b/m)
+
m
b
1j
1
j
.
Em particular, se =
bn
m
|, temos (F, () f(a, b, m, n), onde
f(a, b, m, n) =
_
_
n
+
m
b
j=2
1
j
se b m/
n
m
b
_
log
_
bn
m
_
+
_
1
2
log
_
b
2
n
m
2
_
+
1
2
se b > m/
n.
(4.1)
Alem disso, se b m/
n, temos
f(a, b, m, n)
n
a
+
m
b
2ra
1
r

m
b
(log(a + 1) +), (4.2)
onde = 0.5772156649 . . . e a constante de Euler.
texto
2009/8/24
page 110
i
i
i
i
i
i
i
i
Vamos provar a Proposi c ao 80 na se c ao abaixo.
Corolario 81. Seja F um conjunto de n elementos e ( um a-hipergrafo
b-regular sobre F. Seja ainda = mina, n/a|. Ent ao
_
n
a
_
(F, ()
log(a/)
log
1
1 a/n
+
n
a
r=1
1
r
<
n
a
_
log(a + 1) +
_
1
2
log
a
+
1
2
. (4.3)
Nosso resultado principal desta se c ao, apresentado na Se c ao 3
(ver Proposi c ao 6), mostra que as estimativas para (F, () acima s ao
assintoticamente otimas para certos hipergrafos regulares.
4.3.3 Prova da Proposicao 80
Inicialmente enunciamos e provamos dois lemas auxiliares. Para o
resto desta subse c ao, xamos uma famlia (a, b)-semiregular ( de sub-
conjuntos de um conjunto nito F, onde a e b s ao inteiros positivos.
Sejam n = [F[ e m = [([. Nosso primeiro lema segue de um argu-
mento de contagem dupla:
Lema 82. Temos am bn. Alem disso, dado qualquer A F,
existe C ( tal que [C A[ (b/m)[A[.
Demonstrac ao. De fato, para cada B F temos
ma
Cc
[C B[ =
Cc
xB
C
(x)
=
xB
Cc
C
(x) =
xB
gr
c
(x) b[B[,
onde, como sempre,
C
e a fun c ao caracterstica do conjunto C, isto
e,
C
(x) = 1 se x C e
C
(x) = 0 caso contrario. Tomando B = F,
obtemos am bn, o que prova a primeira desigualdade no nosso lema.
Tomando B = A, deduzimos que
Cc
[CA[ b[A[, o que implica
que existe um conjunto C ( para o qual [C A[ (b/[([)[A[, como
armamos.
texto
2009/8/24
page 111
i
i
i
i
i
i
i
i
Um corolario imediato do Lema 82 e o seguinte:
Corolario 83. Para cada inteiro positivo k, existem C
1
, . . . , C
k
(
tais que
F
_
1ik
C
i
n
_
1
b
m
_
k
. (4.4)
Um corolario mais no do Lema 82 e o
Corolario 84.

E possvel cobrir qualquer A F com no m aximo
r
+
m
b
2j
1
j

m
b
1j
1
j
(4.5)
membros de (, onde = br/m| e r = [A[.
Demonstrac ao. Podemos cobrir A por C
1
, C
2
, . . . ( tais que, para
cada i, a cardinalidade de C
i
(A
1j<i
C
j
) e a maior possvel,
dados C
1
, . . . , C
i1
. Para 1 s A, seja k
s
o n umero de conjuntos
C
i
nessa cobertura tais que [C
i
(A
1j<i
C
j
)[ = s.

E facil ver
que o Lema 82 implica
k
1

m
b
, k
1
+ 2k
2

2m
b
, . . . , k
1
+ 2k
2
+ +sk
s

ms
b
(4.6)
para todo s. Alem disso, obviamente
k
1
+ 2k
2
+ +sk
s
r (4.7)
para todo s, e
k
1
+ 2k
2
+ +ak
a
= r. (4.8)
Notemos tambem que a . De (4.6)(4.8) segue que
k
1
+ +k
a
=
1
a
(k
1
+ 2k
2
+ +ak
a
) +
1j<a
1
j(j + 1)
(k
1
+ 2k
2
+ +jk
j
)
r
a
+
m
b
1j<
1
j + 1
+r
j<a
1
j(j + 1)
=
r
+
m
b
1j<
1
j + 1

m
b
1j
1
j
,
como armamos.
texto
2009/8/24
page 112
i
i
i
i
i
i
i
i
Podemos nalmente provar a Proposi c ao 80.
Prova da Proposic ao 80. No caso b m/
n, o resultado em (4.1)
segue do Corolario 84 tomando r = n. A primeira desigualdade em
(4.2) segue de
n
=
n
a
+
j<a
n
j(j + 1)

n
a
+
m
b
j<a
j(j + 1)

n
a
+
m
b
j<a
1
j + 1
,
e portanto
n
+
m
b
2j
1
j

n
a
+
m
b
2ra
1
r
.
A segunda desigualdade em (4.2) e evidente.
Em geral, dado um inteiro positivo
t
, tomamos r = m
t
/b, e
aplicamos o Corolario 83 com o menor k que faz o lado direito de
(4.4) car menor ou igual a r. A partir da, aplicamos o Corolario
84. Isso nos da a estimativa
(F, ()
log(r/n)
log (1 b/m)
+
m
b
1j
1
j
.
Para provar a desigualdade (F, () f(a, b, m, n) no caso b > m/
n,
basta tomar
t
= m/b| e aplicar a desigualdade acima.
Alguns calculos (que deixamos como exerccio) completam a prova.
Os dois ingredientes principais desses calculos s ao as desigualdades
1rk
1
r
log k <
1
2k

1
12k(k + 1)
,
que vale para todo inteiro positivo k e
1
log(1 x)
<
1
x

1
2
,
valida para 0 < x < 1.
texto
2009/8/24
page 113
i
i
i
i
i
i
i
i
[SEC. 4.4: COTAS INFERIORES PARA COBERTURAS 113
4.4 Cotas inferiores para coberturas
Trabalharemos com famlias de transla c oes de subconjuntos de a ele-
mentos de Z/nZ.
Se A =
0,
1, . . . , a 1 Z/nZ e ( = A + t [ t Z/nZ, onde

A+t = x +t [ x A, ent ao (Z/nZ, () = n/a|.
Na outra dire c ao, temos o seguinte resultado:
Proposi cao 85. Existe a
0
N tal que se n > a a
0
ent ao, para
algum A F := Z/nZ com [A[ = a, a famlia ( = A+t [ t Z/nZ
e tal que
(F, () > k
0
=
_
1
12 log log a
log a
_
log a
log
1
1 a/n
>
_
1
12 log log a
log a
_
_
n
a
1
_
log a. (4.9)
Um aspecto interessante da Proposi c ao 85 e que ela implica a
existencia de hipergrafos regulares com grande. Alem disso, os
par ametros n > a s ao livres e (4.9) fornece boas estimativas indepen-
dente da rela c ao entre n e a. Convidamos o leitor a comparar as cotas
em (4.3) e (4.9) para os casos em que (i) a log n (ii) a n/ log n e
(iii) a n/2. Ao responder uma pergunta de Tuza, Alon [4] obteve
cotas precisas para o caso (ii), embora, a rigor, as famlias em [4]
n ao fossem hipergrafos (seus elementos tem cardinalidade media a).
Observamos tambem que, na Proposi c ao 85 acima, por simplicidade,
nos nos restringimos a a-hipergrafos b-regulares com a = b.
4.4.1 Prova da cota inferior
Vamos provar a Proposi c ao 85. A prova sera dividida em dois casos,
de acordo com o tamanho de a. Vamos considerar inicialmente o caso
em que a e grande; o outro caso requer uma ideia adicional.
a grande
Vamos supor que a n/(log n)
3
. Consideramos todos os subcon-
juntos de a elementos de Z/nZ, tomados com igual probabilidade.
texto
2009/8/24
page 114
i
i
i
i
i
i
i
i
Vamos estimar a probabilidade de que um tal conjunto A tenha k
transla c oes que cobrem F, onde k e um inteiro positivo dado, i.e.,
vamos estimar a probabilidade p(n, a, k) de que existam t
1
, . . . , t
k

Z/nZ tais que (A+t
1
) (A+t
k
) = Z/nZ. Note que 1p(n, a, k)
e a probabilidade de que (A+t
1
) (A+t
k
) ,= Z/nZ para quais-
quer t
1
, . . . , t
k
Z/nZ, i.e., (A
c
+ t
1
) (A
c
+ t
k
) ,= para
quaisquer t
1
, . . . , t
k
Z/nZ. Observe que, dados t
1
, . . . , t
k
Z/nZ,
temos (A
c
+t
1
) (A
c
+t
k
) ,= se e somente se existe x Z/nZ
tal que x t
1
, . . . , x t
k
A
c
.
Fixemos T = t
1
, . . . , t
k
Z/nZ.
Arma cao 86. Seja r = n/k
2
|. Existem x
1
, . . . , x
r
Z/nZ tais
que os conjuntos B
i
= x
i
T = x
i
t
1
, . . . , x
i
t
k
(1 i r) s ao
dois a dois disjuntos.
Demonstrac ao. Tomamos x
1
= 0. Suponhamos que ja escolhemos
x
1
, . . . , x
s
, com s < n/k
2
, tais que B
1
, . . . , B
s
s ao dois a dois disjun-
tos. Como s < n/k
2
, claramente U =
1is
(x
i
T) tem menos que
n/k elementos. Portanto, a cardinalidade media da interse c ao de U
com xT, para x Z/nZ, e estritamente menor que 1, donde existe
x
s+1
Z/nZ tal que x
s+1
T e disjunto de U. A arma c ao segue
por indu c ao. (Veja tambem a Se c ao 4.3.)
Vamos agora provar a nossa proposi c ao. Para qualquer conjunto
xo T = t
1
, . . . , t
k
, a probabilidade de que x T A
c
para algum
x Z/nZ e maior ou igual à probabilidade de que x
j
T A
c
para algum j [r] := 1, . . . , r, onde os x
j
(1 j r) s ao dados
pela arma c ao anterior. Esta ultima probabilidade e 1 p(n, a, k, r),
onde p(n, a, k, r) e a probabilidade de termos x
j
T , A
c
para
cada j [r]. Para estimar p(n, a, k, r), consideramos subconjuntos
aleatorios

A Z/nZ construdos da seguinte forma: fazemos y

A
com probabilidade a/n, independentemente para cada y Z/nZ. A
probabilidade de que

A tenha m elementos e
_
n
m
_
(a/n)
m
(1a/n)
nm
,
que e maximal para m = a, donde a probabilidade de termos [

A[ = a
e pelo menos 1/(n + 1). Com essa distribui c ao de probabilidade, os
eventos B
j
= x
j
T ,

A
c
(j [r]) s ao independentes (pois os con-
juntos B
j
s ao dois a dois disjuntos), e a probabilidade de cada um
desses eventos e 1 (1 a/n)
k
. Assim, a probabilidade de B
j
,

A
c
texto
2009/8/24
page 115
i
i
i
i
i
i
i
i
para todo j [r] e (1 (1 a/n)
k
)
r
. Logo, temos
p(n, a, k, r) = P
_
j [r] temos x
j
T ,

A
c
[

A[ = a
_
(n + 1)P(j [r] we have x
j
T ,

A
c
)
= (n + 1)
_
1
_
1
a
n
_
k
_
r
,
e assim p(n, a, k) e no maximo
_
n
k
_
p(n, a, k, r)
_
n
k
_
(n + 1)
_
1
_
1
a
n
_
k
_
r
n
k+1
_
1
_
1
a
n
_
k
_
r
. (4.10)
Seja k = log a/ log(1 a/n) (n/a) log n, onde 1. O lado
direito de (4.10) e n
k+1
_
1 a
_
r
, que e menor que
n
1+ log
4
n
exp
_
n
k
2
_
< exp
_
a
2
2
nlog
2
n
+ log n
_
1 + log
4
n
_
_
.
Se (1 12(log log a)/ log a), ent ao a
2
/
2
nlog
2
n log
6
n para
n sucientemente grande.
Como log
6
n log n(1 + log
4
n), temos p(n, a, k) 1. Portanto
existe A Z/nZ com [A[ = a tal que (A+t
1
) (A+t
k
) ,= Z/nZ
para quaisquer t
1
, . . . , t
k
Z/nZ. Isso implica que, para algum A
Z/nZ com [A[ = a, temos (F, () > k
0
, onde k
0
e dado em (4.9).
Isso completa a prova da Proposi c ao 85 no caso a n/(log n)
3
.
a pequeno
Vamos agora tratar do caso em que a e pequeno, isto e, a <
n/(log n)
3
. Sejam
b = a(log a + 1)|, r = log a|, =
1
r
, =
10 log log a
log a
, (4.11)
e
k =
_
1
1 +
r(log a)
2
_
. (4.12)
Vamos usar a seguinte arma c ao, que provaremos a seguir.
texto
2009/8/24
page 116
i
i
i
i
i
i
i
i
Arma cao 87. Existem 0 y
i
< b (1 i a) tais que se A
0
=
y
1
, . . . , y
a
0, 1, . . . , b 1 Z/rbZ, ent ao
(A
0
+t
1
) (A
0
+t
k
) ,= Z/rbZ
para quaisquer t
1
, . . . , t
k
Z/rbZ.
Vamos agora provar a Proposi c ao 85 para a < n/(log a)
3
assu-
mindo a Arma c ao 87. Seja = n/(r + 1)b|, e sejam y
i
(1 i a)
como na Arma c ao 87. Seja A
0
= y
1
, . . . , y
a
Z/rbZ, e seja
A = y
1
mod n, . . . , y
a
mod n Z/nZ. Armamos que
(A+s
1
) (A+s
m
) = Z/nZ (4.13)
implica m (k +1). Para provar isso, suponha que (4.13) vale para
certos s
1
, . . . , s
m
Z/nZ. Para 0 j < , sejam
B
j
= jb(r + 1) +q [ 0 q < rb
e
I
j
= i m [ (A+s
i
) B
j
,= .
Os conjuntos I
j
s ao dois a dois disjuntos, pois o di ametro de A + s
i
e no maximo b, e a dist ancia entre B
j
e B
j+1
e b + 1. Alem disso,
cada I
j
dever ter pelo menos k + 1 elementos, pois
_
iI
j
(A+s
i
) B
j
implica que
_
iI
j
(A
0
+s
i
) = Z/rbZ,
o que, pela escolha de A
0
= y
1
, . . . , y
a
, implica que [I
j
[ > k.
texto
2009/8/24
page 117
i
i
i
i
i
i
i
i
Para encerrar a prova, basta notar que
(k + 1) =
_
n
(r + 1)b
___
1
1 +
r(log a)
2
_
+ 1
_
>
_
n
(r + 1)b
1
_
1
1 +
(log a)
3
>
n
b(r + 1)
(log a)
3
_
1
11 log log a
log a
_
>
n
a
(log a)
_
1
12 log log a
log a
_
_
1
12 log log a
log a
_
log a
log
1
1 a/n
,
para a sucientemente grande.
Prova da Armac ao 87. Consideraremos um subconjunto aleatorio
A
0
de 0, 1, . . . , b 1, em que cada elemento pertence a A
0
com
probabilidade a/b, independentemente. A probabilidade de que A
0
tenha m elementos e
b
m
(a/b)
m
(1 a/b)
bm
, que e maximal para
m = a. Assim, a probabilidade de que um tal conjunto A
0
tenha
a elementos e pelo menos 1/(b + 1). Como antes, vamos estimar
probabilidades condicionais em rela c ao ao evento [A[ = a.
Fixemos t
1
, . . . , t
k
. Vamos estimar por cima a probabilidade de
que
(A
0
+t
1
) (A
0
+t
k
) = Z/rbZ. (4.14)
Seja T = t
1
, . . . , t
k
. Observemos que (4.14) ocorre se e somente
se para todo x Z/rbZ, , o conjunto x T = x t
1
, . . . , x t
k
intersecta A
0
. Sejam
s =
_

1 +
rb
_
e s
0
=
_
s
k
2
_
. (4.15)
Provaremos agora os seguintes fatos (veja a Arma c ao 86):
(*) Existem x
1
, . . . , x
s
tal que, para cada i, temos:
[(x
i
T) 0, 1, . . . , b 1[ (1 +)
k
r
.
texto
2009/8/24
page 118
i
i
i
i
i
i
i
i
(**) Existem x
1
, . . . , x
s
0
x
1
, . . . , x
s
tais que os conjuntos x
j
T
(1 j s
0
) s ao dois a dois disjuntos.
Para provar (*), basta observar que o n umero medio de elemen-
tos em (x T) 0, 1, . . . , b 1 (x Z/rbZ) e k/r. A prova de
(**) e similar à prova da arma c ao: suponhamos ja ter escolhido
x
1
, . . . , x
s
1
x
1
, . . . , x
s
tais que os conjuntos x
j
T (1 j s
1
)
s ao dois a dois disjuntos, mas s
1
< s/k
2
. Ent ao
_
1js
1
( x
j
T)
= s
1
k <
s
k
. (4.16)
Se escolhermos x
i
x
1
, . . . , x
s
aleatoriamente, a probabilidade de
que um elemento dado z Z/rbZ perten ca a x
i
T e no maximo
k/s, pois k = [T[ transla c oes de T contem z. Por causa de (4.16), a
cardinalidade esperada de
(x
i
T)
_
1js
1
( x
j
T)
e estritamente menor que 1. Portanto, a seq uencia x
1
, . . . , x
s
1
pode
ser estendida com um novo elemento x
i
x
1
, . . . , x
s
. Isso completa
a prova de (**).
No resto da prova, vamos concentrar nossa aten c ao nos x
j
em
(**). Podemos vericar facilmente que a probabilidade de que ( x
j

T) A
0
,= para todo 1 j s
0
e no maximo
_
1
_
1
a
b
_
(1+)k/r
_
s
0
.
Portanto, a probabilidade de que, para algum T = t
1
, . . . , t
k

Z/rbZ, tenhamos ( x
j
T) A
0
,= para todo 1 j s
0
, dado que
[A
0
[ = a, e no maximo
(b + 1)(rb)
k
_
1
_
1
a
b
_
(1+)k/r
_
s
0
. (4.17)
Vamos estimar (4.17) por partes. Nos calculos abaixo, vamos
assumir tacitamente que a e grande. Como 1a/b 11/(log a+1),
_
1
a
b
_
(1+)k/r
exp
_
(1 +)
k
r(log a)
_
. (4.18)
texto
2009/8/24
page 119
i
i
i
i
i
i
i
i
Temos
(1 +)
k
r(log a)
(1 ) log a. (4.19)
Juntando (4.18) e (4.19), temos
_
1
_
1
a
b
_
(1+)k/r
_
s
0
_
1 a
1+
_
s
0
exp
_
a
1+
rb
(1 +)k
2
_
. (4.20)
Com bastante folga, temos rb/k
2
a/3(log a)
4
, e portanto
a
1+
rb
(1 +)k
2

a
7(log a)
5
. (4.21)
Por outro lado, temos
(b + 1)(rb)
k
exp
_
4(log a)
4
_
. (4.22)
Juntando (4.20), (4.21), e (4.22), vemos que a express ao (4.17) e
limitada por cima por
exp
_
7(log a)
5
+ 4(log a)
4
_
. (4.23)
Pela nossa escolha de (veja (4.11)), temos a
= (log a)
10
(log a)
9
, e portanto a express ao (4.23) e menor que q para a su-
cientemente grande. Conclumos que a probabilidade de que A
0
satisfa ca as condi c oes da Arma c ao 87 e positiva, o que implica o
resultado.
4.4.2 Cotas inferiores construtivas
Lembre que provamos a existencia de sistemas ( com (F, () grande
tomando F = Z/nZ e considerando transladados A + t (t Z/nZ)
para conjuntos aleatorios apropriados A Z. Lembre tambem que na
Se c ao 2.5.1 do Captulo 2 mencionamos que os conjuntos dos quadra-
dos em corpos nitos podem ser usados para simular (muito vaga-
mente falando) subconjuntos aleatorios (os vizinhos de 0 no grafo de
texto
2009/8/24
page 120
i
i
i
i
i
i
i
i
Paley s ao justamente os quadrados; veja a Se c ao 2.5.1 do Captulo 2).
Nesta se c ao, vamos ver que os quadrados em um corpo nito formam
um bom conjunto explcito A para a nossa constru c ao do sistema (.
De fato, como ja observado por Alon [4], se tomamos para n uma
potencia de primo q e tomamos para A F = F
q
o conjunto dos
quadrados em F
q
, ent ao
( = A+t [ t F
q
e um sistema (a, a)-regular com a = (q 1)/2 e

(F, ()
_
1
2
o(1)
_
lg q, (4.24)
onde escrevemos lg para o logaritmo na base 2. O limite em (4.24)
segue do resultado abaixo de [10] (veja Lema 9, Captulo 13), que
citamos sem prova. Seja o caracter quadratico em F
q
, de forma
que (x) = x
(q1)/2
(x F
q
). Temos (x) 1, 0, com (x) = 0
se x = 0 e (x) = 1 se e so se x e um quadrado em F
q
0.
Lema 88. Se T F
q
e k = [T[, ent ao
x/ T
tT
(1 (x t))

_
(k 2)2
k1
+ 1
_
q
1/2
+k2
k1
. (4.25)
O Lema 88 e de fato uma conseq uencia de uma estimativa bem
conhecida de Weil para somas de caracteres (veja [10]). Este resul-
tado de Weil foi uma de suas ferramentas importantes para a sua
demonstra c ao da Hip otese de Riemann para curvas sobre corpos ni-
tos. Uma referencia acessvel e a monograa de Schmidt [65].
Para deduzir (4.24) do Lema 88, seja T F
q
um conjunto ar-
bitrario com k = [T[ = (1/2) lg q lg lg q|. O elemento x F
q
n ao
sera coberto pelos transladados A + t (t T) se e so se x T n ao
encontra A, isto e, x t n ao e um quadrado para nenhum t T.
Agora, o n umero de tais x e
2
k
x/ T
tT
(1 (x t)) .
Como, pela escolha de k, temos
2
k
q >
1
2
(k 2)q
1/2
+ 2
k
q
1/2
+
k
2
,
texto
2009/8/24
page 121
i
i
i
i
i
i
i
i
[SEC. 4.5: EMPACOTAMENTOS 121
a existencia de tal x segue de (4.25).
Finalmente, observemos que nosso limite inferior k
0
na Proposi c ao
85 para o caso em que a = n/2 (onde supomos que n e par por
simplicidade) e
k
0
=
_
1
12 log log n
log n
_
lg n.
Ademais, o limite superior para (F, () no Corolario 81 para este
caso e lg n + 1. Assim, a constru c ao de Alon fornece um limite que
difere do valor correto por um fator de 2 apenas.
4.5 Empacotamentos
Disctutimos brevemente o problema de se encontrar empacotamentos
grandes em famlias regulares. Suponha que ( seja uma famlia de
subconjuntos de um conjunto F. Seja (F, () o maior inteiro r para
o qual existem conjuntos C
1
, . . . , C
r
( dois a dois disjuntos.
Proposi cao 89. Suponha que ( seja uma famlia (a, b)-regular sobre
um conjunto F de n elementos. Ent ao
n
a
2
(F, ()
n
a
. (4.26)
A Proposi c ao 89 segue do lema abaixo.
Lema 90. Seja ( um sistema (a, b)-regular sobre um conjunto F.
Dada uma subfamlia

( ( com r elementos, existe uma subfamlia
B

( de conjuntos dois a dois disjuntos com pelo menos r/ab mem-
bros.
Para provar a Proposi c ao 89 a partir do Lema 90, observe que se (
e como no enunciado daquela proposi c ao, ent ao podemos tomar

( = (
no Lema 90. Note que ent ao r = [
([ = [([ = bn/a, e portanto r/ab =

n/a
2
, e o limite inferior em (4.26) segue. O limite superior em (4.26)
e obvio.
Agora provamos o Lema 90.
Demonstrac ao do Lema 90. Seja s a cardinalidade maxima de uma
famlia de membros de

( dois a dois disjuntos. Suponha por con-
texto
2009/8/24
page 122
i
i
i
i
i
i
i
i
tradi c ao que s < r/ab, e seja C
1
, . . . , C
s

( uma tal famlia de cardi-
nalidade maxima. Seja A =

1js
C
j
. Temos que [A[ = as, e por-
tanto o n umero de membros de

( que encontramAe no maximo abs <
r = [
([. Portanto existe C

s+1

( que e disjunto de todos os C
j
(1 j s), o que contradiz a maximalidade de C
1
, . . . , C
s
.
4.5.1 Um exemplo
O nosso objetivo agora e mostrar que os limites na Proposi c ao 89 n ao
podem ser substancialmente melhorados sem hipoteses adicionais. De
fato, dada uma potencia de primo q podemos tomar para F o con-
junto dos pontos do plano projetivo nito can onico sobre o corpo F
q
e para ( a cole c ao das linhas desse plano projetivo (lembre que dis-
cutimos planos projetivos na Se c ao 4.3.1). Ent ao [F[ = q
2
+q + 1, o
sistema de conjuntos ( e (q+1, q+1)-regular, e (F, () = 1. Note que
o limite inferior em (4.26) nos diz que (F, () (q
2
+q +1)/(q +1)
2
,
que tende a 1 conforme q .
Mais geralmente, dado um inteiro positivo r, podemos tomar F
r
=
F 1, 2, . . . , r e (
r
= L j [ L (, 1 j r (isto e, F
r
e
a uni ao disjunta dos pontos de r copias disjuntas do plano projetivo
nito sobre F
q
e (
r
e a cole c ao de linhas destas copias). Temos
que [F
r
[ = r(q
2
+ q + 1), o sistema (
r
e (q + 1, q + 1)-regular, e
(F, () = r, o que e proximo do limite inferior r(q
2
+ q + 1)/(q +
1)
2
dado por (4.26), desde que q seja grande. Podemos usar estes
exemplos para mostrar que, dadas seq uencias de inteiros (a
k
) e (n
k
),
com a
k
e n
k
/a
2
k
conforme k , existem seq uencias ( a
k
)
e ( n
k
) tais que a
k
/a
k
e n
k
/n
k
tendem a 1 conforme k , e para os
quais existem F
(k)
e (
(k)
tais que (
(k)
e uma famlia ( a
k
, a
k
)-regular
de conjuntos sobre F
(k)
, onde [F
(k)
[ = n
k
, e
lim
k
(F
(k)
, (
(k)
)
_
n
k
a
2
k
_
1
= 1
(aqui usamos o fato que sempre existe um primo entre x e (1+o(1))x,
que decorre do teorema dos n umeros primos).
texto
2009/8/24
page 123
i
i
i
i
i
i
i
i
[SEC. 4.6: OBSERVAC
OES FINAIS 123

4.6 Observac oes nais
Se a e um inteiro positivo, ponha
(a, n) = max (F, (),
onde o maximo e tomado sobre todas as famlias (a, b)-regulares de
conjuntos ( sobre um conjunto F de n elementos, e b 1 e arbitrario.
Ponha
f(a) = limsup
n
a
n
(a, n).
Nossos resultados implicam que, para cada a xo, temos
log a 10 log log a f(a)
1ka
1
k
= log a + +O
_
1
a
_
. (4.27)
Considere o caso em que a = 2, isto e, o caso dos grafos regulares.
N ao e difcil mostrar que (2/n)(2, n) = 4/3+o(1) conforme n ,
de forma que f(2) = 4/3. De fato, para o limite inferior, basta tomar
para ( uma cole c ao de, digamos, k tri angulos disjuntos nos vertices
sobre um conjunto F de cardinalidade 3k. Ent ao (F, () = 2k e
conclumos que f(2) 4/3.
Para provar o limite superior, mostramos que qualquer grafo b-
regular G (b > 0) necessariamente contem um emparelhamento que
cobre pelo menos 2/3 de seus vertices. Lembramos que um empar-
elhamento em um grafo e simplesmente uma cole c ao de suas arestas
que s ao duas a duas disjuntas. Um vertice v e coberto por um em-
parelhamento M se algum membro de M contem v.
Provemos a asser c ao acima sobre grafos b-regulares G. Seja M
um emparelhamento maximo em G, e suponha que U e o conjunto de
vertices cobertos por M. Suponha por contradi c ao que [U[ < (2/3)n,
onde n = [V (G)[. Ponha W = U
c
= V (G) U. O W-grau gr
W
(u) de
um vertice u em U e o n umero de vizinhos de u em W. O W-grau
medio de um vertice em U e
[W[b/[U[. (4.28)
De fato, para ver isto, primeiro observe que as b arestas incidentes a
um vertice em W tem seus outros extremos em U, pois M e um em-
parelhamento maximo (n ao pode haver uma aresta contida em W).
texto
2009/8/24
page 124
i
i
i
i
i
i
i
i
Desta observa c ao segue que o n umero de arestas entre W e U e [W[b,
e portanto o W-grau medio de um vertice em U e de fato dado
por (4.28). Mas da segue que existe uma aresta e M cujos ex-
tremos x e y s ao tais que
gr
W
(x) + gr
W
(y) 2[W[b/[U[ > b. (4.29)
Note que gr
W
(x), gr
W
(y) < b (por causa da aresta e = x, y U).
Portanto (4.29) implica que gr
W
(x), gr
W
(y) 2. Mas ent ao existem
vertices distintos x
t
, y
t
W, com x
t
adjacente a x e y
t
adjacente a y
t
.
Observe agora que M e xx
t
, yy
t
e um emparelhamento maior
que M, o que contradiz a maximalidade de [M[. Esta contradi c ao
mostra que M de fato cobre pelo menos (2/3)n vertices de G, e
portanto (F, () 2n/3. Isto implica que f(2) 4/3.
Problema 91. Determine ou estime f(a) precisamente para todo a
3 xo.
Ademais, observamos que seria muito interessante melhorar as
cotas inferiores que podemos obter atraves de constru c oes explcitas
(veja Se c ao 4.4.2).
texto
2009/8/24
page 125
i
i
i
i
i
i
i
i
Apendice A
Estimativas para
fatoriais e coecientes
binomiais
A.1 Fatoriais
O seguinte lema elementar da uma estimativa para fatoriais que e
correta a menos de um fator polinomial pequeno.
Lema 92. Para todo n 1, temos
e
_
n
e
_
n
n! ne
_
n
e
_
n
.
Demonstrac ao. Para n = 1 as duas desigualdades s ao igualdades. Se
a
n
= e(n/e)
n
e b
n
= ne(n/e)
n
temos, para todo n 1,
a
n+1
a
n
=
(n + 1)
e
_
n + 1
n
_
n
n + 1 =
(n + 1)!
n!
(n + 1)
e
_
n + 1
n
_
n+1
=
b
n+1
b
n
, (A.1)
e o resultado segue facilmente por indu c ao. A desigualdade que usa-
mos em (A.1), a saber, ((n + 1)/n)
n
e ((n + 1)/n)
n+1
, segue
125
texto
2009/8/24
page 126
i
i
i
i
i
i
i
i
126 [CAP. A: FATORIAIS E BINOMIAIS
de
1 +
log(1 +) ,
valida para todo 0.
Como e bem conhecido, uma estimativa mais precisa para fatoriais
e dada pela Formula de Stirling.
Teorema 93 (Formula de Stirling). Temos
lim
n
n!
n
n
e
n
2n
= 1.
Esboco de prova. Notemos inicialmente que
_
n
1
log xdx = nlog n n + 1.
Por outro lado, essa integral e
n1
j=1
b
j
onde
b
k
=
_
k+1
k
log xdx.
Ponha
a
k
=
1
2
(log k + log(k + 1)) e c
k
= log
_
k +
1
2
_
.
E facil ver que a

k
< b
k
< c
k
para todo k. Temos ainda
n1
j=1
a
j
= log
n!
n
.
Por outro lado,
c
k
a
k
=
1
2
log
_
1 +
1
4k(k + 1)
_
<
1
8k(k + 1)
,
texto
2009/8/24
page 127
i
i
i
i
i
i
i
i
[SEC. A.2: COEFICIENTES BINOMIAIS 127
cuja serie converge, e portanto
n1
j=1
(b
j
a
j
) = log
_
en
n
e
n
n
n!
_
converge. Isso mostra que existe uma constante positiva c tal que
n! = (c +o(1))
_
n
e
_
n
n.
E possivel mostrar que c =

2 calculando
I
n
=
_
/2
0
(cos x)
n
dx
atraves da recorrencia I
n
= (1 1/n)I
n2
(n 2), com valores
iniciais I
0
= /2 e I
1
= 1, e usando o fato que
I
n+1
I
n
1
quando n .
A.2 Coecientes binomiais
A seguinte estimativa elementar para coecientes binomiais e muito
util.
Lema 94. Sejam a b inteiros positivos. Ent ao
_
a
b
_
b
_
a
b
_
_
ea
b
_
b
. (A.2)
Demonstrac ao. Temos
_
a
b
_
=
(a)
b
b!
, (A.3)
onde (a)
b
= a(a1) . . . (ab+1). Como a b, temos (ai)/(bi)
a/b para todo 0 i < b, e a primeira desigualdade segue. Para
a segunda desigualdade, apresentamos um argumento elementar de
texto
2009/8/24
page 128
i
i
i
i
i
i
i
i
Babai [6]. Lembre que 1 + x e
x
para todo x R (compare, por
exemplo, os gracos). Assim, para todo x > 0, temos
_
a
b
_
x
b
0ka
_
a
k
_
x
k
= (1 +x)
a
e
ax
. (A.4)
Tomando x = b/a, temos
_
a
b
__
b
a
_
b
e
b
,
que e equivalente a (A.2).
Podemos estimar coecientes binomiais da forma
_
a
b
_
com b um
fator constante de a como no lema a seguir.
Lema 95. Seja 0 < < 1 uma constante. Ent ao
_
n
n|
_
= (1 +o(1))
1
2(1 )n
_
1
(1 )
1
_
n
. (A.5)
Em particular,
_
n
n|
_
=
_
1
(1 )
1
_
(1+o(1))n
. (A.6)
Em (A.5) e (A.6) acima, o(1) denota um termo que tende a 0 quando
n .
Demonstrac ao. Provemos (A.6). Vamos ignorar os |. Temos
_
n
n
_
=
n!
(n)!((1 )n)!
. (A.7)
Pelo Lema 92, deduzimos que (A.7) esta entre
n
n
e(1 )n
2
(n)
n
((1 )n)
(1)n
>
1
en
2
(
(1 )
(1)
)
n
e
n n
n
e(n)
n
((1 )n)
(1)n
=
n
e(
(1 )
1
)
n
,
donde (A.6) segue. Para provar (A.5), basta usar a Formula de Stir-
ling (Teorema 93) em vez do Lema 92.
texto
2009/8/24
page 129
i
i
i
i
i
i
i
i
[SEC. A.2: COEFICIENTES BINOMIAIS 129
E freq uente encontrarmos somas da forma

k
j=0
_
n
j
_
, (A.8)
onde k cn com c < 1/2.

E tambem comum estarmos interessados
em estimar a soma em (A.8) a menos de fatores constantes. Nestes
casos, podemos estimar esta soma pela maior parcela que ocorre
nela, pois os coecientes binomiais
_
n
j
_
decrescem geometricamente se
[j n/2[ e uma fra c ao positiva de n.
Um caso que usamos varias vezes nestas notas e dado no lema a
seguir.
Lema 96. Suponha que 0 k (n + 1)/3. Ent ao
k
j=0
_
n
j
_
<
_
n
k
__
1 +
1
2
+
1
2
2
+. . .
_
= 2
_
n
k
_
. (A.9)
Demonstrac ao. Note que
_
n
j
_
/
_
n
j1
_
= (n j + 1)/j 2 se 1 j
(n +1)/3. Portanto, a primeira desigualdade em (A.9) de fato vale e
o nosso lema esta provado.
Em geral, temos o seguinte lema.
Lema 97. (i) Para toda constante 0 < c < 1/2, existe uma cons-
tante B = B(c) tal que se 0 k cn, ent ao
k
j=0
_
n
j
_
B
_
n
k
_
. (A.10)
(ii) Seja b uma constante positiva xa. Ent ao, quando n ,
temos
]jn/2]b
_
n
j
_
= (1 +o(1))b
_
2
n
2
n
, (A.11)
onde b
e o n umero de parcelas presentes na soma no lado es-

querdo de (A.11).
texto
2009/8/24
page 130
i
i
i
i
i
i
i
i
Finalmente, vamos enunciar um resultado que nos diz onde esta
o peso em cada linha do tri angulo de Pascal: naturalmente, temos
0kn
_
n
k
_
= 2
n
, (A.12)
mas onde esta concentrada a massa na soma do lado esquerdo de
(A.12)?
Lema 98. Seja = (n) uma func ao com conforme n .
Ent ao
k
_
n
k
_
= (1 +o(1))2
n
, (A.13)
onde

k
indica soma sobre todos os k satisfazendo
k
n
2
n. (A.14)
Ademais, se para alguma constante c
1
0 temos = (n) c
1
quando n , ent ao
k
_
n
k
_
= (c
2
+o(1))2
n
, (A.15)
para uma constante c
2
= c
2
(c
1
). Temos c
2
(0) = 0.
O Lema 98 pode ser provado com as cotas para coecientes bi-
nomiais que discutimos acima. Devido ao Lema 98, podemos dizer
que a soma em (A.12) esta concentrada em uma faixa de largura da
ordem de

n n em torno de k = n/2.
O valor da constante c
2
no Lema 98 e dado por
c
2
= c
2
(c
1
) =
1
2
_
2c
1
2c
1
e
x
2
/2
dx. (A.16)
texto
2009/8/24
page 131
i
i
i
i
i
i
i
i
Bibliograa
[1] Rudolf Ahlswede and Levon H. Khachatrian, The complete inter-
section theorem for systems of nite sets, European J. Combin.
18 (1997), no. 2, 125136. MR 97m:05251
[2] Miklos Ajtai, Janos Komlos, and Endre Szemeredi, A dense in-
nite Sidon sequence, European J. Combin. 2 (1981), no. 1, 111.
MR 83f:10056
[3] N. Alon, L. Babai, and H. Suzuki, Multilinear polynomials
and FranklRay-ChaudhuriWilson type intersection theorems,
J. Combin. Theory Ser. A 58 (1991), no. 2, 165180. MR
92k:05127
[4] Noga Alon, Transversal numbers of uniform hypergraphs, Graphs
Combin. 6 (1990), no. 1, 14. MR 92b:05061
[5] Ian Anderson, Combinatorics of nite sets, The Clarendon Press
Oxford University Press, New York, 1987. MR 89b:05001
[6] Laszlo Babai, An anti-Ramsey theorem, Graphs Combin. 1
(1985), no. 1, 2328. MR 86g:05063
[7] Laszlo Babai and Peter Frankl, Linear algebra methods in com-
binatorics, with applications to geometry and computer science
(Preliminary version 2), 1992, University of Chicago.
[8] F. Behrend, On sequences of numbers not divisible one by an-
other, Journal of the London Mathematical Society 10 (1935),
4244.
131
texto
2009/8/24
page 132
i
i
i
i
i
i
i
i
132 BIBLIOGRAFIA
[9] B. Bollobas, On generalized graphs, Acta Math. Acad. Sci. Hun-
gar 16 (1965), 447452. MR 32 #1133
[10] Bela Bollobas, Random graphs, Academic Press Inc. [Harcourt
Brace Jovanovich Publishers], London, 1985. MR 87f:05152
[11] , Combinatorics, Cambridge University Press, Cam-
bridge, 1986, Set systems, hypergraphs, families of vectors and
combinatorial probability. MR 88g:05001
[12] R. C. Bose, A note on Fishers inequality for balanced incomplete
block designs, Ann. Math. Statistics 20 (1949), 619620. MR
11,306e
[13] Gerard Cohen, Iiro Honkala, Simon Litsyn, and Antoine Lob-
stein, Covering codes, North-Holland Publishing Co., Amster-
dam, 1997. MR 99b:94059
[14] Carlos Gustavo T. de A. Moreira and Yoshiharu Kohayakawa,
Bounds for optimal coverings, submetido, 2001, 14pp.
[15] Carlos Gustavo Tamm de Ara ujo Moreira, O teorema de Ram-
sey, Eureka! 6 (1999), 2329.
[16] N. G. de Bruijn and P. Erdos, On a combinatorial problem, Ned-
erl. Akad. Wetensch., Proc. 51 (1948), 12771279 = Indagationes
Math. 10, 421423 (1948). MR 10,424a
[17] M. Deza, P. Frankl, and N. M. Singhi, On functions of strength
t, Combinatorica 3 (1983), no. 3-4, 331339. MR 85b:05057
[18] P. Erd os, On a lemma of Littlewood and Oord, Bull. Amer.
Math. Soc. 51 (1945), 898902. MR 7,309j
[19] , Some remarks on the theory of graphs, Bull. Amer.
Math. Soc. 53 (1947), 292294. MR 8,479d
[20] , Some recent problems and results in graph theory, com-
binatorics and number theory, Proceedings of the Seventh South-
eastern Conference on Combinatorics, Graph Theory, and Com-
puting (Louisiana State Univ., Baton Rouge, La., 1976) (Win-
nipeg, Man.), Utilitas Math., 1976, pp. 314. Congressus Nu-
merantium, No. XVII. MR 54 #10023
texto
2009/8/24
page 133
i
i
i
i
i
i
i
i
BIBLIOGRAFIA 133
[21] P. Erd os, R. L. Graham, P. Montgomery, B. L. Rothschild,
J. Spencer, and E. G. Straus, Euclidean Ramsey theorems. I, J.
Combinatorial Theory Ser. A 14 (1973), 341363. MR 47 #4825
[22] , Euclidean Ramsey theorems. II, Innite and nite sets
(Colloq., Keszthely, 1973; dedicated to P. Erd os on his 60th
birthday), Vol. I, North-Holland, Amsterdam, 1975, pp. 529
557. Colloq. Math. Soc. Janos Bolyai, Vol. 10. MR 52 #2935
[23] , Euclidean Ramsey theorems. III, Innite and nite sets
birthday), Vol. I, North-Holland, Amsterdam, 1975, pp. 559
[24] P. Erd os and H. Hanani, On a limit theorem in combinatorial
analysis, Publ. Math. Debrecen 10 (1963), 1013. MR 29 #3394
[25] P. Erd os, Chao Ko, and R. Rado, Intersection theorems for sys-
tems of nite sets, Quart. J. Math. Oxford Ser. (2) 12 (1961),
313320. MR 25 #3839
[26] P. Erd os and L. Lovasz, Problems and results on 3-chromatic
hypergraphs and some related questions, Innite and nite sets
birthday), Vol. II, North-Holland, Amsterdam, 1975, pp. 609
[27] P. Erd os, A. Sarkozy, and E. Szemeredi, On a theorem of
Behrend, J. Austral. Math. Soc. 7 (1967), 916. MR 35 #148
[28] Paul Erd os, Combinatorial problems in geometry and number
theory, Relations between combinatorics and other parts of
mathematics (Proc. Sympos. Pure Math., Ohio State Univ.,
Columbus, Ohio, 1978), Amer. Math. Soc., Providence, R.I.,
1979, pp. 149162. MR 80i:05001
[29] P. Frankl, The Erd os-Ko-Rado theorem is true for n = ckt, Com-
binatorics (Proc. Fifth Hungarian Colloq., Keszthely, 1976), Vol.
I, North-Holland, Amsterdam, 1978, pp. 365375. MR 80c:05014
texto
2009/8/24
page 134
i
i
i
i
i
i
i
i
134 BIBLIOGRAFIA
[30] P. Frankl and Z. F uredi, Solution of the Littlewood-Oord prob-
lem in high dimensions, Ann. of Math. (2) 128 (1988), no. 2,
259270. MR 89m:05002
[31] P. Frankl and V. Rodl, Strong Ramsey properties of simplices,
to appear.
[32] , Near perfect coverings in graphs and hypergraphs, Eu-
ropean J. Combin. 6 (1985), no. 4, 317326. MR 88a:05116
[33] , A partition property of simplices in Euclidean space, J.
Amer. Math. Soc. 3 (1990), no. 1, 17. MR 90i:52015
[34] P. Frankl and R. M. Wilson, Intersection theorems with geomet-
ric consequences, Combinatorica 1 (1981), no. 4, 357368. MR
84g:05085
[35] Peter Frankl and Vojtech Rodl, All triangles are Ramsey, Trans.
Amer. Math. Soc. 297 (1986), no. 2, 777779. MR 88d:05018
[36] , Forbidden intersections, Trans. Amer. Math. Soc. 300
(1987), no. 1, 259286. MR 88m:05003
[37] Zoltan F uredi, Matchings and covers in hypergraphs, Graphs
Combin. 4 (1988), no. 2, 115206. MR 89i:05214
[38] R. L. Graham, Euclidean Ramsey theorems on the n-sphere, J.
Graph Theory 7 (1983), no. 1, 105114. MR 85b:05051
[39] , Recent trends in Euclidean Ramsey theory, Discrete
Mathematics 136 (1994), no. 13, 119127.
[40] , Euclidean ramsey theory, Handbook of discrete and
computational geometry (Jacob E. Goodman and Joseph
ORourke, eds.), CRC Press Series on Discrete Mathematics and
its Applications, CRC Press, Boca Raton, FL, 1997, pp. 153166.
[41] R. L. Graham and V. Rodl, Numbers in Ramsey theory, Sur-
veys in combinatorics 1987 (New Cross, 1987), Cambridge Univ.
Press, Cambridge, 1987, pp. 111153. MR 89b:05125
texto
2009/8/24
page 135
i
i
i
i
i
i
i
i
BIBLIOGRAFIA 135
[42] Ronald L. Graham, Bruce L. Rothschild, and Joel H. Spencer,
Ramsey theory, second ed., John Wiley & Sons Inc., New York,
1990, A Wiley-Interscience Publication. MR 90m:05003
[43] Heini Halberstam and Klaus Friedrich Roth, Sequences, second
ed., Springer-Verlag, New York, 1983, MR83m:10094.
[44] G. H. Hardy and E. M. Wright, An introduction to the theory
of numbers, fth ed., The Clarendon Press Oxford University
Press, New York, 1979. MR 81i:10002
[45] J. R. Isbell, An inequality for incidence matrices, Proc. Amer.
Math. Soc. 10 (1959), 216218. MR 21 #3345
[46] David S. Johnson, Approximation algorithms for combinatorial
problems, J. Comput. System Sci. 9 (1974), 256278, Fifth An-
nual ACM Symposium on the Theory of Computing (Austin,
Tex., 1973). MR 56 #7317
[47] Je Kahn and Gil Kalai, A counterexample to Borsuks conjec-
ture, Bull. Amer. Math. Soc. (N.S.) 29 (1993), no. 1, 6062. MR
94a:52007
[48] Gy. Katona, On a conjecture of Erd os and a stronger form of
Sperners theorem, Studia Sci. Math. Hungar 1 (1966), 5963.
MR 34 #5690
[49] Daniel J. Kleitman, On a lemma of Littlewood and Oord on the
distribution of certain sums, Math. Z. 90 (1965), 251259. MR
32 #2336
[50] , On a lemma of Littlewood and Oord on the distribu-
tions of linear combinations of vectors, Advances in Math. 5
(1970), 155157 (1970). MR 42 #832
[51] , Some new results on the Littlewood-Oord problem, J.
Combinatorial Theory Ser. A 20 (1976), no. 1, 89113. MR 52
#13409
[52] Igor Krz, Permutation groups in Euclidean Ramsey theory,
Proc. Amer. Math. Soc. 112 (1991), no. 3, 899907. MR
91j:05100
texto
2009/8/24
page 136
i
i
i
i
i
i
i
i
136 BIBLIOGRAFIA
[53] , All trapezoids are Ramsey, Discrete Math. 108 (1992),
no. 1-3, 5962, Topological, algebraical and combinatorial struc-
tures. Frolks memorial volume. MR 94b:05203
[54] D. G. Larman and C. A. Rogers, The realization of distances
within sets in Euclidean space, Mathematika 19 (1972), 124.
MR 47 #7601
[55] J. E. Littlewood and A. C. Oord, On the number of real roots
of a random algebraic equation. III, Rec. Math. [Mat. Sbornik]
N.S. 12(54) (1943), 277286. MR 5,179h
[56] L. Lovasz, On the ratio of optimal integral and fractional covers,
Discrete Math. 13 (1975), no. 4, 383390. MR 52 #5452
[57] D. Lubell, A short proof of Sperners lemma, J. Combinatorial
Theory 1 (1966), 299. MR 33 #2558
[58] Kulendra N. Majumdar, On some theorems in combinatorics
relating to incomplete block designs, Ann. Math. Statistics 24
(1953), 377389. MR 15,93e
[59] Jir Matousek and Vojtech Rodl, On Ramsey sets in spheres, J.
Combin. Theory Ser. A 70 (1995), no. 1, 3044. MR 96e:05173
[60] L. D. Meshalkin, A generalization of Sperners theorem on the
number of subsets of a nite set (in Russian), Teor. Probab.
Ver. Primen. 8 (1964), 219220, English translation in Theory
of Probab. and its Applications 8 (1964), 204205.
[61] S. S. Pillai, On numbers which are not multiples of any other in
the set, Proc. Indian Acad. Sci., Sect. A. 10 (1939), 392394.
MR 1,135i
[62] Stanis law P. Radziszowski, Small Ramsey numbers, Electron. J.
Combin. 1 (1994), Dynamic Survey 1, 30 pp. (electronic). MR
99k:05117
[63] F. P. Ramsey, On a problem of formal logic, Proceedings of the
London Mathematical Society 30 (1930), 264286.
texto
2009/8/24
page 137
i
i
i
i
i
i
i
i
BIBLIOGRAFIA 137
[64] Vojtech Rodl, On a packing and covering problem, European J.
Combin. 6 (1985), no. 1, 6978. MR 86k:05033
[65] Wolfgang M. Schmidt, Equations over nite elds. An elemen-
tary approach, Springer-Verlag, Berlin, 1976, Lecture Notes in
Mathematics, Vol. 536. MR 55 #2744
[66] Oded Schramm, Illuminating sets of constant width, Mathe-
matika 35 (1988), no. 2, 180189. MR 89m:52013
[67] Joel Spencer, Ramseys theorema new lower bound, J. Combi-
natorial Theory Ser. A 18 (1975), 108115. MR 51 #2973
[68] E. Sperner, Ein Satz uber Untermengen einer endlichen Menge,
Math. Z. 27 (1928), 544548.
[69] S. K. Stein, Two combinatorial covering theorems, J. Combina-
torial Theory Ser. A 16 (1974), 391397. MR 49 #4818
[70] Andrew Thomason, An upper bound for some Ramsey numbers,
J. Graph Theory 12 (1988), no. 4, 509517. MR 90c:05152
[71] Koichi Yamamoto, Logarithmic order of free distributive lattice,
J. Math. Soc. Japan 6 (1954), 343353. MR 16,668c

Topicos em Combinatória Contemporanea PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Topicos em Combinatória Contemporanea PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Tpicos em Combinatria

E com imenso prazer que agradecemos `a organiza c ao do 23

E levemente mais conveniente fazer uma renormaliza c ao do pro-

. Claramente, (1.24) e a soma

2 > 1/2. Con-

E facil construir um sistema intersectante / grande de k-conjun-

= v V : v w para todo w W. (1.63)

e nd. Da segue que dimW+dimW

,= (0) e V e, por deni c ao, singular. Suponha

. Como V n ao e singular, temos de (iii ) da Proposi-

T([n]) como sendo o sistema de todos os subconjuntos

V formam um conjunto inde-

E interessante observar que a conjectura de Borsuk e verdadeira

ICITA NA TEORIA DE RAMSEY 61

formam um conjunto independente em G =

ICITA NA TEORIA DE RAMSEY 63

(1 i < j r + 1) `a dist ancia 1: basta tomar x

( ) uma famlia de espacos compactos.

E facil ver que a colora c ao e constante em A

tem centro w e raio r (lembre que K e minimalmente n ao-Ramsey).

seja um (2t+p+q1)-subconjunto monocromatico de [n]. Considere

a imagem de C por esta rota c ao. Seja C

no plano H. Note que C

e equivalente no sentido do Lema 65 a algum T

3| mod 2. Um argumento geometrico simples mostra que,

que contem x, retiramos no maximo

E facil ver que P(n, k, t)

1, . . . , a 1 Z/nZ e ( = A + t [ t Z/nZ, onde

e um sistema (a, a)-regular com a = (q 1)/2 e

([ = [([ = bn/a, e portanto r/ab =

([. Portanto existe C

OES FINAIS 123

E facil ver que a

E possivel mostrar que c =

E freq uente encontrarmos somas da forma

e o n umero de parcelas presentes na soma no lado es-

Você também pode gostar