1

Aula 04/08/2014
Introduc
ao
Considere a seguinte f
ormula :

Dx x 2  2
Em R tal f ormula e satisfeita (notacao: R ( ) (1). Em Q tal formula
ao: Q * ) (2). Concluimos que nao e consequencia
nao e satisfeita (notac
da Teoria de Corpos, por (2), e que tambem nao e consequencia da
Teoria de Corpos, por (1).
Definic
ao 0.0.1. Dizemos que e consistente com uma colecao T de
formulas quando nao e consequencia de T .
No nosso caso, tanto como sao consistentes com os axiomas de
corpo (neste caso dizemos que e independente da Teoria de Corpos).
e nem n ao podem ser provadas usando Teoria de Corpos.
Para conseguir fazer essa prova dentro da Teoria de Conjuntos (ZFC),
deveramos pelo menos conseguir fazer as seguintes coisas dentro da Teoria
dos Conjuntos:
1. Definir R, Q etc;

2. Definir (;
3. Fazer a ligac
ao entre ( e a existencia de demonstracao.
Hip
otese do Contnuo (CH)
Vamos adotar ZF C 1 como axiomas para a Teoria dos Conjuntos. Infor-
malmente, a Hip
otese do Contnuo (CH) e a seguinte assercao:
Se A e um conjunto cujo tamanho e maior que o tamanho de N, entao o
tamanho de R e menor ou igual ao tamanho de A.
Vamos tornar isso mais preciso.
Defini ao 0.0.2. Dados A e B conjuntos, denotamos por |A|  |B | para
c
indicar a existencia de uma funcao f : A B bijetora. Denotamos por
|A| |B | a existencia de uma funcao f : A B injetora.
1
ZF C e um conjunto de axiomas que foram propostos no incio do seculo XX por
Zermelo e Frankel para promover uma teoria dos conjuntos sem o paradoxos, evitar, por
exemplo, o paradoxo de Russel. Para maiores detalhes veja os livros do Jech ou do Kunen.
2

Exerccio 0.0.3. Sejam A, B e C conjuntos.

paq Se |A|  |B | e |B |  |C | entao |A|  |C |;

pbq ao finitos, entao vale |A|

Se A e B s  |B | se, e somente se, A e B tem
a mesma quantidade de elementos;

pcq Se |A|  |B | ent

ao |A| |B | e |B | |A|;

pdq Se A B ent
ao |A| |B |

Teorema 0.0.4 (Cantor-Bernstein-Schroeder). Sejam A, B conjuntos se

|A| |B | e |B | |A| entao |A|  |B |.
ao. Dica: Sejam f : A B e g : B A funcoes injetoras e
Demonstrac
para cada n P N defina hn : A A como hn  pg  f q. Considere o conjunto
X  ta P A : Dn P Nph
n paq R g pB qqu.
1

Ordinais e Cardinais
Defini
cao 0.0.5. Seja pX, q conjunto ordenado. Dizemos que e uma
boa ordem para X se para todo A X nao vazio existe o mnimo de A.

Defini
cao 0.0.6 (Princpio da Boa Ordem). Todo conjunto admite uma
boa ordem.

Defini
cao 0.0.7. Um conjunto x e dito transitivo se para todo y P x temos
que y x. (z P y e y P x implica z P x).

Definicao 0.0.8. Um ordinal e um conjunto transitivo e bem ordenado

ao P.
pela relac

Exemplo 0.0.9.

1. H
2. tHu
3. tH, tHuu
Exerccio 0.0.10.

paq Se e um ordinal, entao Y tu tambem e um ordinal.

pbq Se e um ordinal e P entao e um ordinal.

 3

pcq Se F e um conjunto de ordinais entao F tambem e um ordinal.

pdq Se A B ent
ao |A| |B |

Teorema 0.0.11. Se pX, q e um conjunto bem ordenado ent

ao existe um
nico ordinal tal que p, Pq e pX, q s
u ao isomorfos.

Demonstrac
ao. Veja no Jech.

Nota
cao: Dados e ordinais, vamos denotar por a relacao
P .

Teorema 0.0.12. Sejam , e ordinais.

pa q Vale uma e somente uma das seguintes:

piq ;
piiq  ;
piiiq .
pbq Se e entao .
Demonstrac
ao. Exerccio.

Teorema 0.0.13. Seja uma propriedade sobre conjuntos. Se existe um

ordinal tal que pq (i.e., satisfaz ) ent
ao existe um ordinal 0 tal que
para todo ordinal tal que p q temos 0 e p0 q

Demonstrac
ao. Exerccio.

Defini
cao 0.0.14. Dizemos que um ordinal e um cardinal se para todo
temos que ||  | |.

Exerccio 0.0.15. Sejam e cardinais. Se ||  | | entao  .

Defini ao 0.0.16. Seja X um conjunto. Denotamos por |X | o u

c nico cardi-
nal tal que existe f : X bijecao.

Exerccio 0.0.17. A colec

ao de todos os cardinais nao forma um conjunto.
4

Aula 06/08/2014
Recurs
ao
Defini ao 0.0.18. Uma formula px, y q (com esta notacao queremos dizer
c
que as unicas vari
aveis nao quantificadas sao x e y) e dita uma f
ormula
tipo funcao se para todo conjunto A existe um u nico conjunto B tal que
vale pA, B q.
Intuitivamente, px, y q expressa uma funcao, exceto possivelmente pelo
fato de que seu domnio nao precisa ser um conjunto. Por exemplo, se
consideramos px, y q como sendo @z pz x z P y q, sabemos que se A
e um conjunto, ent ao existe um unico conjunto B que satisfaz pA, B q, a
saber, B  pX q.
Se px, y q for uma formula tipo funcao e valer pA, B q, geralmente de-
notaremos B  pAq, ja que B e o u nico que satisfaz pA, B q.

Observa ao. Pode ser interessante notar que se px, y q e tipo funcao e A
c
ao A : tpx, pxqq : x P Au e uma funcao.
e um conjunto, ent

Considere a formula Ordpxq x e um ordinal. Seja Ord  tx : Ordpxqu

e note que esse objeto nao e um conjunto. Analogamente, a formula V pxq
dada por x  x e tal que V  tx : x  xu nao e um conjunto.
Exemplo 0.0.19. : Ord Ord dada por pxq  x Y txu e uma formula
ao (para estende-la para V , basta fazer, por exemplo puq  H se
tipo func
u n
ao for um ordinal).
Teorema 0.0.20 (da Recursao). Se G : Seq V e uma f ormula tipo
func oes f tais que dompf q P Ord, ent
ao, onde Seq e a classe das func ao
existe uma u
nica f ao F : Ord V tal que F pq  GpF q.
ormula tipo func
Agora, daremos uma aplicacao do Teorema da Recursao:
Defini c
ao 0.0.21. Chamamos de 0 o menor ordinal infinito (Teorema do
Infinito). Dado um ordinal 0, definimos como o menor ordinal tal
que | | | | para todo .
Por exemplo, 1 e o menor ordinal com cardinalidade maior que 0 .

Representaremos ordinais e cardinais de maneira diferente. Cardinais

ao representatos pela letra hebraica enquanto que os ordinais serao
ser
representados por . Isso facilita quando a boa ordenacao se faz importante,
 5

ou somente estamos interessados no tamanho do conjunto. Note que 

.

Defini
cao 0.0.22. Sejam pA, q e pB, q conjuntos ordenados. Entao a
afica lex sobre A  B e dada como pa, bq lex px, y q, se e
ordem lexicogr
somente se, a x ou (a  x e b y).

Defini
cao 0.0.23. Dados , ordinais definimos como o u nico ordinal
a pt0u  q Y pt1u  q com a ordem lexicografica.
isomorfo `

.loooooooooooooomoooooooooooooon
. . . . . . . ... .loooooooooooooomoooooooooooooon
. . . . . . . ...

Exemplo 0.0.24.

1. 1  t0, 1, 2, ..., u;

2. 1  .
 | Y | (o
.
Defini
cao 0.0.25. Se e s ao cardinais, definimos
maior entre e ). Definimos  | | (onde  tf : :f e funcaou).
Denotamos por o menor cardinal maior que .

Exerccio 0.0.26. Seja cardinal, ordinal e X um conjunto qualquer.

1. |X | |pX q| (i.e., |X | |pX q| mas |X |  |pX q|).

2. 2  pq.
3.  1 .

4. 1  Y t u.

Uma breve motivac

ao para o Forcing
Suponha que estejamos com o corpo dos racionais Q e considere a seguinte
formula : Dx x2  2. Note que nao existe nenhum ? numero dentro de Q
ormula. Porem sabemos que 2 satisfaz a formula, ?
que satisfaca tal f mas
nao pertence aos racionais. Poderamos considerar o conjunto Q Y t 2u
para tal fim. Isso seria insuficiente! Pois, pelas operacoes de corpos?tambem
? ter que a formula Dx px2 1q  2 e satisfeita. Mas 2?
1 R
deveramos
Q Y t ?2u. Para contornar esse tipo de situacao foi criado o corpo Qr 2s 
ta b 2 : a, b P Qu.
6

Faremos algo semelhante (no sentido de conjuntos). Suponha que M

seja modelo para ZF C. Seja M o elemento de M que os habitantes de
M pensam ser o menor ordinal infinito. Olhando de fora de M , suponha
que voce consiga que exista uma funcao f tal que f : p2 qM p2 qM seja
injetora. Da teremos um modelo onde nao vale CH, M rf s.

De que roteiro precisamos para conseguir tal feito?

Como achar tal f ;

Como expandir M para formar M rf s.

Em algum sentido, o que o roteiro mostrou foi que pp2 qM p2 qM qM rf s

o que realmente queremos e p2 qM rf s p2 qM rf s .

Filtros e o Axioma de Martin

Defini
cao 0.0.27. Dizemos que pP, q e uma pre-ordem se:
1. Para todo p P P, p p

P P p q e q r entao p r
2. Para todo p, q e r
Quando tivermos p q dizemos que p estende q, ou p e mais forte que
q.
Definicao 0.0.28. Seja pP, q. Dizemos que p, q P P sao compatveis se
existe r P P tal que r q. Sao incompatveis caso contrario e e denotado
por a K b. Dizemos que A P e uma anticadeia se para todo a, b P A
com a  b temos que a K b. Dizemos que P satisfaz c.c.c. (countable chain
condition) se P nao tem anticadeia nao enumeravel.

Exemplo 0.0.29. 1. ppX q  pX qrtHu, q, A K B se, e somente se,

A X B  H;

2. Sejam I, J conjuntos e Fn pI, J q o conjunto de todas as funcoes de f tal

que dompf q I, Impf q J, dompf q e finito com f g se, e somente
se, f estende g, ou seja, f g.
Defini ao 0.0.30. Seja pP, q uma pre-ordem. Dizemos que F
c P e um
filtro se:
 7

1. F  H;
2. Para todo a, b P F existe c P F tal que c a e c b.

3. Para todo a P F e para todo b P P se a b entao b P P.

Exemplo 0.0.31. Seja F Fn pI, J q filtro. Entao f  YF e uma funcao

tal que dompf q I e Impf q J. Precisamos mostrar que f e funcao.
Sejam px, y q, px, z q P f ent
ao existe a, b P F tal que px, y q P a e px, z q P b.
Seja c P F tal que c a, b. Ent ao px, y q, px, z q P c. Como c e funcao temos
que y  z.

Aula 11/08/2014
Proposicao 0.0.32. Considere G FnpI, J q um filtro e seja f  G.
Temos:

(a) se para cada x P I, G X Dx  H, onde Dx  tp P FnpI, J q : x P domppqu,

ao dompf q  I;
ent

(b) se para cada y P J, G X Ey  H, onde Ey  tp P FnpI, J q : y P Imppqu,

ao Impf q  J;
ent

Demonstrac ao. Provaremos apenas paq (os argumentos para provar pbq sao
analogos): para x P I, a hip
otese garante a existencia de p P G X Dx , o que
acarreta x P domppq dompf q.

Defini
cao 0.0.33. Seja pP, q uma pre-ordem.

1. Dado D P, dizemos que D e denso sobre P se para todo p P P existe

d P D tal que d p.

2. Seja D uma famlia de subconjuntos densos sobre P. Dizemos que um

erico se para todo D P D valer G X D  H.
filtro G e um filtro D-gen

Lema 0.0.34 (Rasiowa-Sikorski). Sejam pP, q uma pre-ordem, p P P e

D uma famlia enumer avel de densos sobre P. Ent
ao existe um filtro G
D-generico tal que p P G.

Nota
cao: Dado A P, denotamos A  tp P P : Da P Apa pqu.
Demonstracao. Seja D  tDn : n P u uma enumeracao para D. Tome d0 P
D0 tal que d0 p. Suponha definidos d0 , . . . , dn , para n 1, satisfazendo
as seguintes condic
oes
 8

(a) @k npdk P Dk q;
(b) @k npdk 1 dk q.
A densidade de Dn 1 nos permite tomar dn 1 P Dn 1 tal que dn 1 dn ;
note que agora os elementos d0 , . . . , dn 1 satisfazem `as mesmas condicoes
impostas acima. Assim, existe F  tdn : n P u Y tpu. Afirmamos que
a famlia G  F tem as propriedades procuradas. Se mostrarmos que G
e filtro, ent
ao claramente G satisfaz as demais condicoes, por construcao.
Vamos provar que G e filtro.
Para a, b P G, existem pa , pb P F tais que pa a e pb b. Como F
e totalmente ordenado, nao ha perda de generalidade em supor pa pb , e
assim pa a e pa b com pa P F G. Por fim, se q P G e r P P sao
tais que q r, entao existe q 1 P F tal que q 1 q, e disso segue que q 1 r,
mostrando que r P G.

Defini
cao 0.0.35. Dizemos que um conjunto pX, q totalmente ordenado
e denso em si mesmo2 se para quaisquer x, y P X tais que x y existir
z P X tal que x z y.

O pr
oximo teorema e uma aplicacao do Lema ??.

Teorema 0.0.36. Sejam pX, q, pY, q densos em si mesmos, enumeraveis

e sem maior nem menor elementos. Ent ao isomorfos pno sentido
ao X e Y s
de ordemq.

Demonstrac
ao. Primeiramente, note que basta mostrarmos que existe uma
por ser estritamente cres- sobrejec Y estritamente crescente a fim de garantir que X e Y
ao f : X
cente, f e injetora. s
ao isomorfos.
Considere Fn pX, Y q  tp P Fn pX, Y q : p e estritamente crescenteu e,
para cada x P X, seja Dx  tp P Fn pX, Y q : x P domppqu e, para cada
y P Y , Ey  tp P Fn pX, Y q : y P Imppqu. Note que Dx e Ey sao densos em
Fn pX, Y q (no sentido usual das pre-ordens), para cada x P X e y P Y .
De fato, para x P X fixado, seja p P Fn pX, Y q. Se x P domppq, termi-
namos. Se n ao, seja tx1 , . . . , xn u  domppq, e sem perda de generalidade
suponha que tenhamos x1 x2    xn . Se existirem i, j n tais que
xi x xj (podemos supor i como sendo o maior tal que xi x e j o
menor tal que x xj ), entao ppxi q ppxj q e, por Y ser denso em si mesmo,
existe y P Y tal que ppxi q y ppxj q, de modo que basta definirmos
g  p Y tpx, y qu, que satisfaz g p com g P Dx . Se nao existirem tais i
2
N
ao confundir com a densidade para pre-ordens j
a definida.
 9

e j, entao x xi para todo i n (ou x xi para todo i nq, e entao

basta tomarmos y ppxi q para todo i n (ou, respectivamente, y ppxi q
para todo i n), pois Y n ao tem maior nem menor elementos, e definir
g  p Y tpx, y qu. A demonstracao de que Ey e denso se faz de maneira
analoga, observando que X e denso em si mesmo e que nao tem maior nem
menor elementos.
Chamando de D  tDx : x P X u Y tEy : y P Y u, o Lema ?? garante
a existencia de um filtro G

D-generico. Como nas proposicoes anteriores,
podemos mostrar que f  G e uma funcao tal que dompf q  X e Impf q 
Y . Resta apenas mostrar que f e estritamente crescente. Para isso, sejam
a, b P X tais que a b e pa , pb P G tais que a P domppa q e b P domppb q.
Como G e filtro, existe p P G tal que p pa , pb , e disso segue que f paq 
ppaq ppbq  f pbq.
Observa ao. Essencialmente, o teorema acima diz que a ordem de Q e a
c
u
nica ordem densa em si mesma sem menor nem maior elementos, a menos
de isomorfismo.

Num primeiro momento, podemos nos interessar em enfraquecer as res-

tricoes sobre a cardinalidade da famlia D nas hipoteses do Lema ??. A
seguinte proposicao limita nossas esperancas:
Proposicao 0.0.37. Existem pP, q uma pre-ordem enumer avel e D uma
famlia de subconjuntos densos sobre P tais que |D|  2 , de modo que n
0 ao
existem filtros D-genericos.
Demonstracao. Considere Fn p, 2q e, para cada f P 2 (conjunto das funcoes
da forma f : 2), seja Hf  tp P Fn p, 2q : Dm P domppq tal que
ppmq  f pmqu. Convidamos o leitor a verificar que cada Hf e denso. Con-
siderando entao D  tHf : f P 2 u Y tDx : x P u, temos D uma famlia
de subconjuntos

densos com |D|  20 . Se existisse G um filtro D-generico,
entao g  G seria um elemento de 2 e, alem disso, existiria p P G X Hg ,
mas isto nos da ppmq  g pmq para algum m P , embora ppmq  g pmq.
Contradic
ao.
Axioma de Martin (MA). Sejam pP, q uma pre-ordem que satisfaz c.c.c.
e D uma famlia de densos sobre P tal que |D| 20 . Entao existe um filtro
D-generico.

Em vista do Lema ??, e claro que CH implica MA. Assim, MA e relevante

em contextos nos quais CH e falso. Um exemplo disso e o proximo teorema.
Antes de enunci
a-lo, precisamos da seguinte
10

Definic
ao 0.0.38. Seja A uma famlia de subconjuntos infinitos de . Di-
zemos que A e uma famlia quase disjunta se para quaisquer A, B P A
tais que A  B valer |A X B | 0 .

Observa c
ao. Note que existe uma
famlia A com |A|  20 que e quase
disjunta. Por exemplo: seja S  nP t0, 1un e defina A  tAf : f P 2 u,
onde Af  tf n : n P u; note que |A|  20 e A e quase disjunta.

Teorema 0.0.39 (Martin-Solovay). pMA CHq Se 2 0 um cardinal

ao 2  20 .
infinito, ent

ao. Seja A  tA : u uma famlia quase disjunta. Dado

Demonstrac
X , vamos definir ApX q tal que

 t P : ApX q X A e infinitou.
X (1)

Note que se conseguirmos isso, entao : p q pq dada por pAq 

t P : A X A e infinitou sera uma funcao sobrejetora, o que acarreta
2 2 . Como 2 2 vale por termos 0 , a igualdade estara
0 0

demonstrada. Para fazermos isso, vamos utilizar o Axioma de Martin.

Seja P o conjunto de todas as funcoes da forma p : domppq t0, 1u,
onde domppq , tais que:

(a) domppq X A e finito, @ P X;

(b) tn : ppnq  1u e finito;

ordenado pela extens ao de funcoes (i.e., p q se, e somente se, p q).

Note que pKq equivale a tn : ppnq  1u  tn : q pnq  1u. Logo, por (b)
(e por |tA : A e finitou|  0 ), P satisfaz c.c.c.
Para cada P zX, seja D  tp P P : A domppqu, que e um denso
em P. De fato, para q P P, seja p dada por
"
se n P A zdompq q
p pn q 
0
q p nq
.
caso contrario

Claramente p satisfaz (b) e, para verificar (a), note que temos domppq 
dompq q Y A , e assim A X domppq  pA X dompq qq Y pA X A q, que e
finito por q P P e por A ser quase disjunta. Enfim, como A domppq,
temos p P D tal que p q.
Agora, para P X e k P , considere os conjuntos da forma E,k  tp P
P : |tn P A : ppnq  1u| ku. Note que E,k e denso. Finalmente, chame
D  tD : u Y tE,k : P X, k P u famlia de densos, e note que
 11

|D| 2 . O Axioma de Martin nos garante a existencia de um filtro G que

0

e D-generico.

ao g  G, temos que g : Y
Considerando ent t0, 1u e uma funcao
com Y . Afirmamos que

ApX q  tn : g pnq  1u  tn : Dp P Gpppnq  1qu

satisfaz (??), isto e: ApX q X A e infinito se, e somente se, P X.

Se P X, ent ao para todo k P existe p P G X E,k , logo

|tn P A : lopomo
pnoqn  1u| k,
gpnq
ou seja, |tn P A : g pnq  1u|  |ApX q X A | 0 . Se R X, entao existe
p P G X D , logo A domppq e, como tn : ppnq  1u e finito pela condicao
(b), obtemos |ApX q X A | 0 .

Aula 13/08/2014
Relativizac
ao
Uma formula da Teoria dos Conjuntos e um membro da menor colecao F
que satisfaz:

(i) vi  vj e vi P vj estao em F (as formulas atomicas);

(ii) se e estao em F, ent ao , _ , ^ , @vi ,Dvi , etc. estao
em F;

onde vi e vj sao vari

aveis.
Dados M um conjunto (ou classe), e uma formula, consideramos a
relativiza c
ao de com relac ao a M , o que denotamos por M , como
sendo a mesma f ormula , mas com todos os quantificadores limitados
a M , i.e., em vez de @v tem-se @v P M (no caso em que M e uma classe,
P M significa satisfaz a f
ormula que define a classe). Dizemos que M e
modelo para se M e satisfeito, o que denotamos por M ( .

Exemplo 0.0.40. Considere : @x pDy y P xq, que e falsa (x  ttHuu

atesta tal falsidade, por exemplo). Contudo, para M  tHu, M e satisfeita.
Neste caso, M ( .
12

Dada uma colecao de formulas T , indicamos M ( T se M ( para

cada em T .
Veremos a seguir um esboco de aplicacao dos metodos que preten-
demos formalizar com o decorrer deste curso, embora por meio de alguns
abusos bem intencionados, os quais serao solucionados futuramente:

Abuso 1. Se M ( ZFC , entao ZFC so demonstra contradicoes se

ZFC demonstra contradicoes.

Abuso 2. Se M e um modelo enumeravel para ZFC e pP, q P M e uma

ao existem um filtro G, tal que G X D  H para todo D P M
pre-ordem, ent
tal que D e denso em P, e um modelo M rGs para ZFC tal que M M rGs
e G P M rGs.

Uma tentativa. Considere M um modelo enumeravel para ZFC que conte-

nha Fn p2  , 2q  P. Considere um filtro G e um modelo M rGs como no
Abuso 2.
Trabalhando em M rGs, podemos definir uma funcao g  G (como
G P M rGs e M rGs e um modelo para ZFC, deve existir um elemento

g em
M rGs de modo que os habitantes de M rGs acreditem que g e G).
Trabalhando em M : para cada 2 , temos que

E  tp P P : Dn P pp, nq, p, nq P domppq ^ pp, nq  pp, nqqu

e denso em P.
Trabalhando em M rGs: como para cada 2 temos G X E 
H, segue que gp, nq  gp, nq para algum n P (essencialmente pela
ao de E e pelo modo como tomamos g). Agora, para cada 2 ,
construc
defina g : 2 por g pnq  g p, nq. Note que g  g se  (pela
ao anterior). Assim, como tg u2 2 , obtemos 2 20 .
observac

Observa ao. Considere P  Fn p, 1 q. De maneira analoga ao que fize-

c
mos antes (com os densos da forma Ey ), teramos g : 1 sobrejetora.
ao obtemos um modelo que atesta 1 0 . Isso significa que o
Neste caso, n
elemento do modelo M que representava 1 nao representa 1 no modelo
M rGs.

A seguinte proposicao, que futuramente sera enunciada (e provada) mais

formalmente, da uma condicao para que situacoes como as da observacao
acima n
ao ocorram.
 13

Proposicao 0.0.41 (do futuro). Se pP, q e uma pre-ordem que satisfaz

M rGs
c.c.c., ent
ao n a colapso de cardinais pexemplo: k
ao h  Mk q.
Proposicao 0.0.42. Fn p, 1 q n
ao satisfaz c.c.c.

ao. A famlia de funcoes F

Demonstrac  ttp0, qu : 1u e uma antica-
deia n
ao-enumer
avel.

Por enquanto, daremos uma condicao suficiente para que ordens da forma
Fn pI, J q satisfacam c.c.c. Primeiramente, precisamos da seguinte

Definicao 0.0.43. Seja F uma famlia de conjuntos. Dizemos que F forma

um -sistema se existe tal que A X B  para quaisquer A, B P F
distintos (dizemos que e a raiz do sistema).

Lema 0.0.44 (do -sistema). Seja F uma famlia n

ao-enumeravel de con-
juntos finitos. Ent 1
ao existe F F nao-enumer avel que forma um -
sistema.

Demonstrac ao. Note que podemos supor que existe n P tal que |A|  n
para todo A P F. Vamos provar o resultado por inducao em n. Para n  0
alido por vacuidade e, para n  1, os elementos de F sao dois
o resultado e v
a dois disjuntos. Supondo o resultado valido para n 1, provaremos para
n 1.
Consideraremos dois casos.

Caso I: Existe x tal que Fx  tF P F : x P F u e nao-enumeravel. Note

que F   tF ztxu : F P Fx u e uma famlia nao-enumeravel de conjuntos
de cardinalidade n. Logo, pela hipotese de inducao, existe F 2 F  que
forma um -sistema n ao-enumeravel, de raiz 0 . Desse modo, temos que
1 2
F  tF Y txu : F P F u Fx F e um -sistema nao-enumeravel de raiz
 0 Y t x u.

Caso II: Nao vale o Caso I. Seja tF : 1 u F uma enumeracao de um

subconjunto de F com cardinalidade 1 . Defina 0  0 e, supondo definidos
1 para todo 1 , seja o menor 1 tal que F X F  H
para todo (note que tal existe, pois 1 e enumeravel e estamos
ao do Caso I). Assim, pF q1 e uma famlia disjunta.
supondo a negac

Exerccio 0.0.45. Mostre que nao valem as variacoes enumeraveis do

Lema do -sistema, isto e:
14

(a) existe uma famlia F enumeravel de conjuntos finitos que nao admite
um -sistema;

(b) existe uma famlia F nao-enumeravel de conjuntos enumeraveis que nao

admite um -sistema.

Proposicao 0.0.46. Sejam I e J conjuntos. Se |J | 0, entao FnpI, J q

satisfaz c.c.c.

Demonstrac ao. Seja pp q1 Fn pI, J q e considere pdompp qq1 , o qual

podemos supor formar um -sistema de raiz . Agora, duas funcoes p e
p s
ao incompatveis se, e somente se, elas discordam em algum ponto na
intersec
ao de seus domnios. Assim,
p Kp ocorre se, e somente se, p  p .
Enfim, como |J | 0 , segue que nao pode haver anticadeia nao-enumeravel.
Portanto, Fn pI, J q satisfaz c.c.c.

Aula 18/08/2014
Princpio de forcing
Defini c
ao 0.0.47. Uma demonstracao e uma sequencia 1 , ..., n de formulas
de forma que i e o axioma ou consequencia das anteriores. Dada T uma
ao de axiomas denotamos por T $ (T prova ) o fato de existir uma
colec
demonstrac ao 1 , ..., n , onde os axiomas sao elementos de T ou axiomas
l
ogicos.

Teorema 0.0.48. Se M (T eT $ entao T (

Teorema 0.0.49. Se M ( T ent
ao T e consistente.

Definic
ao 0.0.50. Uma colecao de formulas T e dita consistente se nao
existem 1 , ..., n , e 1 , ..., m , p q demonstracoes em T .

Truque: Sejam 1 , ..., n formulas de ZFC. Entao ZFC prova que existe
avel e transitivo tal que M ( 1 ^    ^ n .
M enumer

Teorema 0.0.51 (Princpio de Forcing). Seja uma f ormula. Suponha que,

fixada 1 , ..., n demonstrac
oes em ZFC , existe 1 , ..., m demonstrac
oes
em ZFC tal que,
 15

"
para todo M transitivo, |M |  tal que M ( 1 ^    ^ m ,
pq existe N transitivo, |N |  tal que N ( 1 ^    ^ n .

Ent
ao, se ZFC e consistente, ZFC tambem e.

Demonstracao. Suponha que ZFC nao seja consistente. Seja 1 , ..., n

uma demonstrac ao de contradicao em ZFC . Por pq existe 1 , ..., m
ao em ZFC tal que valha pq. Pelo Truque, existe M transitivo
demonstrac
avel tal que M ( 1 ^    ^ m . Logo, por pq, existe N tal que
enumer
N ( 1 ^    ^ n . O que e um absurdo!

Uma motiva c
ao para Nome: ? Trabalhando em Q, podemos dar
nome para? cada elemento ? de Qr 2s como sendo um polinomio ppxq P Qrxs
?
avaliado em 2, ou seja, pp 2q. No?final temos que qualquer elemento de
Qr 2s pode ser escrito como ta b?2 : a, b P Qu (pois podemos escrever
as pontencias maiores que ? 2 como r 2, com r P Q) e se colocarmos b  0
escrevemos Q como ta 0 2 : a P Qu. Quando tivermos um modelo M e
a sua extensao M rGs gostaramos de conseguir tais nomes em M rGs que
tambem possam descrever todos os elementos de M .

Defini ao 0.0.52. Um forcing e uma pre-ordem pP, q com um elemento

c
1, tal que para todo p P P temos que p 1. Dado um modelo enumeravel
e transitivo (Countable Transitive Model que abreviaremos como C.T.M.)
para ZFC, com P P M (forcing) temos uma colecao de nomes em M . Dado
M C.T.M. e P P M forcing, dizemos que G P e um P-gen erico se G for
D-generico, onde D  tD P M : D e denso em Pu. Se G e P-generico sobre
M e P M e um P-nome, vamos definir G (notacao valp, Gq). Com isso,
vamos definir M rGs  tG : e P-nome P M u.

Fato i: (demonstrac
ao em breve) para todo x PM existe PM P-nome
tal que G  x (i.e., M M rGs).

Fato ii: M rGs satisfaz ZFC.

Defini
cao 0.0.53.
Seja M C.T.M., P P M forcing e p P P. Seja px1 , ..., xn q formula e
1 , ..., n P M P-nomes. Dizemos que p for ca p1 , ..., n q (nota
cao:
p , p1 , ..., n q) se para todo G P-generico tal que p P G temos M rGs (
pp1 qG , ..., pn qG q.
16

Observa c
ao. Depois veremos outra definicao (esta interna `a M ) que sera
a esta (, ).
equivalente `

Vamos conseguir mostrar resultados como: Dados px1 , ..., xn q, P PM

forcing, M C.T.M., 1 , ..., n P M P-nomes e G P-generico,

M rGs ( pp1 qG , ..., pn qG q se, e somente se, existe p P G tal que

p , p1 , ..., n q.

Observa c
ao. Suponha que D  tp P P : p , u seja denso em P. Entao
vale M rGs ( .

Aula 20/08/2014
Defini c
ao 0.0.54. Uma propriedade e dita absoluta se pode ser expressa
por uma f ormula px1 , ..., xn q tal que para todo M, N C.T.M. e para todo
t1 , ..., tn P M temos que M px1 , ..., xn q se, e somente se, N px1 , ..., xn q.
Dizemos que e uma 0 -f ormula se todo quantificador de e limitado (
i.e., e da forma @x P y ou Dx P y, todos elementos quantificados pertencem
a um conjunto).

Lema 0.0.55. Seja M um conjunto transitivo e px1 , ..., xn q e uma 0 -

ormula. Dados t1 , ..., tn P M , ent
f ao M px1 , ..., xn q se, e somente se,
px1 , ..., xn q. Formalmente:

@M pM transitivo p@t1 , ..., tn PM M px1 , ..., xn q px1 , ..., xn q qq.
Em particular, a propriedade expressa por e absoluta.

Demonstrac ao. Note que, se e atomica entao e imediato. Suponha que

vale para , vamos mostrar que vale para . Por hipotese @t1 , ..., tn P
M p M px1 , ..., xn q px1 , ..., xn qq, logo,
p px1, ..., xnqqM M px1 , ..., xn q px1 , ..., xn q.
Suponha que vale para 1 e 2 e vamos mostrar que vale para 1 ^ 2 .
Temos, por hip otese, @t1 , ..., tn P M p1M px1 , ..., xn q 1 px1 , ..., xn qq, bem
como 2M px1 , ..., xn q 2 px1 , ..., xn qq, logo,
p1px1, ..., xnq ^ 2px1, ..., xnqqM 1M px1, ..., xnq ^ 2M px1, ..., xnq
1 px1 , ..., xn q ^ 2 px1 , ..., xn q .
Suponha que vale para , vamos provar para y P M Dx P y px, t1 , ..., tn q,
ou seja, provar para Dxpx P y ^ px, t1 , ..., tn qq. Relativisando a M :
 17

Dxpx P y ^ M px, t1, ..., tnqq Dxpx P M X y ^ M px, t1, ..., tnqq.
Como M e transitivo, y M , i.e., y X M  y, a u ltima e equivalente `a
Dxpx P y ^ M px, t1, ..., tnqq.
Exemplo 0.0.56. Exemplos de formulas absolutas:

1. x y o mesmo de (@a P xpa P y q);

2. x  y;

3. x  y;

4. z  x Y y;
5. z  x X y;

6. z  tx, y u;

7. z  xry;

8. z  px, y q par ordenado;

9. z xy

10. z e uma relac

ao bin
aria;

11. z e um domnio (imagem) de uma relacao binaria;

12. f e func
ao (injetora);

13. x e transitivo;

14. x e um ordinal;

15. x e o primeiro ordinal n

ao vazio que e limite;

16. x e um ordinal sucessor.

Defini
cao 0.0.57. Seja P um forcing. Dizemos que e um P-nome se e
uma relac
ao bin
aria e

@p, pq P p e P-nome ^ p P Pq.

Vamos denotar por V P a classe dos P-nomes.

Exemplo 0.0.58. Note que H e P-nome. Se 1 e 2 sao P-nomes, entao

tp1, 1q, p2, 1qu e P-nome.
18

Observa
cao. A definicao de P-nome e absoluta.

Dado M C.T.M. vamos denotar por M P o conjunto t PM : e P-

nomeu (M P  M X V P ).
Defini
cao 0.0.59. Seja P um forcing, G P filtro e um P-nome. Defi-
nimos G  valp, Gq  valG p q  tvalp, Gq : Dp P Gpp, pq P qu.
Exemplo 0.0.60. Note que HG  valpH, Gq  H. Se 1 e 2 sao P-
nomes, ent ao valptp1 , 1q, p2 , 1qu, Gq  tvalp1 , Gq, valp2 , Gqu. Suponha
p1 , p2 , p3 P P com p1 , p2 P G e p3 R G e 1 , 2 , 3 P-nomes, entao
valptp1 , p1 q, p2 , p2 q, p3 , p3 qu, Gq  tvalp1 , Gq, valp2 , Gqu.
Defini
c  tpy : 1q : y
ao 0.0.61. Seja x um conjunto. Definimos x P xu
Observa
c e P-nome.
ao. Note que x
Exemplo 0.0.62.
2  tH
, tHuu  tpH
, 1q, tHu
} , 1q  tpH, 1q, ptpH
, 1qu, 1qu  tpH, 1q, ptpH, 1qu, 1qu

Logo, valp
2, Gq  tH, valptpH, 1qu, Gqu  tH, tHuu  2.
Proposicao 0.0.63. Seja M C.T.M., P P M forcing e G P P filtro. Ent
ao
para todo x P M valpx
, Gq  x e x
P M.
Demonstracao. Note que x P M por absoluticidade. Vamos provar por
induc
ao na complexidade de x. Isto e, vamos provar que se vale para
todo y P x ent ao vale para x. Assim, valpx
, Gq  tvalpy, Gq : y P x e
1 P Gu  ty : y P xu  x.
Corol
ario 0.0.64. M M rGs
Proposicao 0.0.65. Seja M C.T.M. e P P M n ao trivial (i.e.,@p P P
Dq, r p tal que q K r). Entao, se G e P-generico temos que G R M .
ao. Suponha G P M . Trabalhando dentro de M considere D 
Demonstrac
PrG. Note que D e denso em P. De fato, seja p P P e sejam q, r p tal
que q K r. Como nao vale q, r P G pelo menos um deles esta em D. Logo
D P M e denso e D X G  H. Asurdo!
Defini ao 0.0.66. Seja M C.T.M., P P M forcing. Definimos  tpp, pq :
c
p P P u.
Proposicao 0.0.67. Dado M C.T.M., P P M forcing e G P-generico.
Entao P M P segue por absoluticidade. valp, Gq  tvalpp, Gq : p P Gu 
tp : p P Gu  G.
 19

Aula 25/08/2014
Definicao 0.0.68. Dados e P-nomes, definimos upp, q : tp, 1q, p, 1qu
e opp, q  uppupp, q, upp, qq.
Observa
coes.

1. upp, q e opp, q s
ao P-nomes: os elementos de upp, q sao pares,
onde as primeiras coordenadas sao P-nomes e as segundas coordenadas
ao membros de P; disso segue que opp, q e P-nome.
(1) s

P M P, entao upp, q, opp, q P M P.

2. Se ,

3. Dado G um filtro P-generico, temos valG pupp, qq  tG , G u (pois

1 P G) e, por sua vez, valG popp, qq  ttG u, tG , G uu  pG , G q.
Lema 0.0.69. Sejam M C.T.M., P P M forcing e G um filtro P-generico.
ao M rGs e transitivo e modela as seguintes afirmaco
Ent es:
(a) extensionalidade: dois conjuntos s
ao iguais se, e somente se, tem os
mesmos elementos;

(b) fundac ao vazio A, existe x P A tal que x X A 

ao: para todo conjunto n
H.
(c) par: dados x e y conjuntos, existe o conjunto tx, y u;

(d) uni
ao: dado um conjunto A, existe um conjunto B tal que todo elemento
de A e subconjunto de B.3
Demonstrac ao. Dado G P M rGs, os elementos de G sao da forma G , com
P M , assim G P M rGs, isto e, G M rGs. Provemos que M rGs satisfaz
as afirmac
oes enunciadas.
(a) Segue pela transitividade de M rGs.

(b) O axioma da fundacao e v

alido em qualquer classe transitiva N : dado
x P N , suponha que exista x  H (lembre-se que o axioma da fundacao
funciona apenas para conjuntos nao vazios). Como assumimos ZFC
no universo, existe w P x tal que w X x  H e, por transitividade,
w P N.

Em outras palavras, dado A existe B tal que A B. Para provar que existe alguem

3

em M rGs que faz o papel de A, precisamos mostrar que M rGs satisfaz o axioma da
separaca
o e entao tomar o subconjunto apropriado de B. Uma alternativa e o exerccio
2.16 do captulo IV do Kunen.
 20

(c) Segue das observacoes feitas antes do Lema.

(d) Seja um P-nome tal que A  G e chame  domp q, que e um P-
nome em M (pois a reuniao e absoluta), o que nos da B  G P M rGs.
Agora, se c P A, entao c  G para algum P domp q. Logo , e
assim G G , como queramos.

Observa cao. Embora nao tenhamos utilizado ainda a hipotese de que o

filtro G seja P-generico, ela e importante. Por exemplo, temos P, G P M rGs,
o qual pretendemos que seja um modelo minimamente razoavel para ZFC.
Assim, deveramos ter PzG P M rGs, isto e, precisa existir P M P tal que
G  PzG.
Para isso, considere o P-nome  tpp, q q : pKq e p, q P Pu, o qual e um
elemento de M . O que e G ? Primeiramente, temos G  tp : Dq P G tal
que pKq u e, como G e filtro, temos G X G  H (os elementos do filtro sao
compatveis). Assim, resta mostrar que G Y G  P. Para p P P, considere
Dp  tq P P : q Kp ou q pu, o qual por construcao e um denso de P
que pertence a M . Agora, se p P PzG, entao existe r P Dp X G, pois G e
P-generico, e assim r p, o que acarreta rKp, isto e, p P G .

Um pouco mais de conjuntos
hierarquia e rank

Lema 0.0.70. Dado um conjunto x, existe trclpxq, o menor conjunto tran-
sitivo tal que x trclpxq.
claro que trclpxq e transi-
E
tivo. Para provar que este Demonstra
c p q
ao. Considere U0 x p q  Unpxq.
x e, para n 1 faca Un 1 x
e o menor com tal propri- Note que nPpq
Un x satisfaz a condi
cao imposta no enunciado.
edade (no sentido da in-
Defini
cao 0.0.71. Por recursao sobre os ordinais, definimos:
clus
ao), use induc
ao.
(a) V0  H;
(b) V 1  pV q;

(c) V  V para qualquer ordinal limite 0.

Observa ao. Note que se , entao V V : isso e trivial se for

c
ordinal limite;para o caso em que  1, supondo valido
para todo
, temos V V e, assim, se x P V , temos x V (por
ao transfinita) e assim x V , o que nos da x P V 1 . Em
que? dica: induc
particular, cada V e transitivo.
 21

Lema 0.0.72. Para todo x existe um ordinal tal que x P V .

Demonstrac
ao. Comecamos com o seguinte

Fato: dado um conjunto x, se para qualquer y P x existir um ordinal y tal

ao existe um ordinal 0 tal que x P V0 .
que y P Vy , ent
Prova do fato. Defina rpy q  mint : y P V u para cada y P x, e tome
 suptrpy q : y P xu. Isso nos da x V (pela observacao anterior e pela
forma como tomamos ), e da x P V 1 .

De volta `
a demonstracao do Lema. Para um conjunto x, suponha que
nao exista ordinal tal que x P V . Logo, existe y P x tal que y R V
para todo ordinal (pelo Fato). Em particular, A  ty P trclpxq : y R V
para todo ordinal u  H, e o axioma da fundacao garante a existencia de
x0 P A tal que A X x0  H. Por um lado, temos x0 P A trclpxq, e assim
x0 trclpxq. Por outro lado, todos os elementos de x0 pertencem a algum
V (pois x0 X A  H), o que acarreta x0 R A (novamente pelo Fato).
Definic
ao 0.0.73. Dado um conjunto x, definimos o rank de x como sendo
rankpxq  mint : x P V 1 u.
Exerccio 0.0.74. Seja x um conjunto.
(a) rankpxq x P V .
(b) Se x P y, ent
ao rankpxq rankpy q.
(c) rankpxq  suptrankpy q 1:y P xu.
Proposicao 0.0.75. Dados M C.T.M., P PM forcing e G um filtro P-
generico, temos:
(a) rankp q rankp q, para todo P M P ;
G

(b) Ord X M  Ord X M rGs;

(c) M rGs e enumer
avel.
A pr ao formaliza (parcialmente) a nocao de que M rGs e
oxima proposic
a menor extens
ao transitiva de M que contem G como elemento.
Proposicao 0.0.76. Sejam M C.T.M., P P M forcing e G um filtro P-
generico. Se N e um modelo transitivo tal que G P N e M N , ent
ao
M rGs N .
ao. Basta definir M rGs em N .
Ideia da demonstrac

Os mais fortes n
ao contra-
dizem os mais fracos :p
Se alguem forca que e
funcao, entao para cada Proposicao 0.0.78. Sejam M C.T.M., P P M forcing e p P P tal que p ,
elemento do domnio existe
alguem mais forte que e y P Y tais que q , px, y q P .
forca o valor da func
ao.
22
Aula 27/08/2014
Faremos uso de alguns fatos ja mencionados que ainda nao provamos (mas
ainda provaremos):
(a) M rGs vale se, e somente se, Dp P G tal que p , ;
(b) existe uma relac
ao equivalente a , que e feita dentro de M (,).
Proposicao 0.0.77. Sejam M C.T.M. e P P M um forcing. Se p , ptq,
onde t  t1 , . . . , tn P M P e q p, ent ao q , ptq.
Demonstrac ao. Seja G um filtro P-generico tal que q P G. Em particular
isso implica p P G e, como p , ptq por hipotese, temos M rGs ( ptG q.
Logo q , ptq.
e funcao de X em Y , com X, Y P M . Ent ao, dado x P X existem q p
~
Demonstrac ao. Seja G filtro P-generico tal que p P G. Entao M rGs ,G e
ao de X em Y . Considere y P Y tal que px, y q P G e note que pela ida
func
do lembrete (a) feito no incio da aula, existe q 1 P G tal que q 1 , p~ x, y q P .
Basta ent ao tomar q p, q 1 em G, pois pela proposicao anterior segue que
q , p~x, y q P .
Lema 0.0.79. Sejam M C.T.M., P P M forcing, X, Y P M , p0 P P e
P M P tais que
p0 , e func ao de X em Y .
Entao existe P M P satisfazendo ` as seguintes condic oes:
1. tpp~ x, y q, pq : x P X, y P Y, p p0 u;
2. p0 ,  ;
3. Ax  tp P P : Dy P Y ppp~ x, y q, pq P qu e uma anticadeia, para cada
x P X.
Demonstrac ao. Dado x P X, seja Dx  tp P P : p p0 e Dy P Y tal
que p , px, y q P u, e note que Dx P M (pela observacao sobre , ). Seja
~
Ax Dx uma anticadeia maximal4 , e considere
 tpp~ x, y q, pq : x P X, y P Y, p P Ax e p , p~ x, y q P u.
4
Pelo Axioma da Escolha, visto como o Teorema da Boa Ordem: tomamos uma boa
ordem para Dx e, por recurs
ao, obtemos uma anticadeia em Dx .
 23

Novamente por , temos que P M P . Afirmamos que satisfaz as condicoes

impostas.
Pelo modo como tomamos , temos 1. satisfeita. Para provar 3., e
suficiente mostrar que Ax  Ax , para todo x P X. De fato,

p P Ax Dy P Y tal que pp~x, y q, pq P Dy P Y tal que p P Ax e

p , px, y q P p P Ax p P Ax
~

(note que para definir Ax usamos , e para definir usamos Ax Dx , e Dx

esta fixado para cada x).
A prova de 2. e um pouco mais delicada. Seja um filtro G P-generico
tal que p0 P G e note que G e funcao. Pelo modo como tomamos segue
que G X  Y . Assim, para provar 2., so precisamos mostrar que para
px, yq P X  Y dado, px, yq P G se, e somente se, px, yq P G.
Suponha px, y q P G . Ent
ao existe p P G tal que pp~x, y q, pq P e por isso
p , px, y q P , o que implica px, y q P G (pois p P G).
~
Agora, para x P X fixado, note que Ex  tq p0 : Dp P Ax tal que
q pu Y tq P P : q Kp0 u e um elemento de M denso em P: para s P P

se sKp0 , ent
ao s P Ex ;

se sMp0 , ent
ao existe p1 s, p0 . A hipotese sobre p0 e a Proposicao
?? implicam p1 , e funcao de X em Y , e a Proposicao anterior
implica que existem p2 p1 e y P Y tais que p2 , p~ x, y q P . Logo
p2 P Dx e, por Ax ser anticadeia maximal em Dx , existe q p2 , a onde
a P Ax . Note por fim que q s, p0 e q P Ex .

Finalmente, seja px, y q P G e tome r P G tal que r , p~ x, y q P (o que

podemos fazer pela observac ao paq do incio da aula). Como Ex P M e
denso e G e P-generico, existe q P Ex X G. Entao, como p0 P G, temos p0 Mq
ao de Ex , necessariamente deve valer q p0 e q p para
e, pela definic
algum p P Ax Dx . Agora, p P Ax  Ax implica que existe y1 P Y tal que
p , p
x, y1 q P (note que pela definicao de temos pp x, y1 q, pq P ). Como
q p com q P G temos p P G, e assim px, y1 q P G . Se mostrarmos que
y  y1 , ent
ao a demonstrac ao estara terminada.
Ora, como r, p, p0 P G, existe s r, p, p0 tal que s P G. Assim, aplicando
a Proposicao ??, obtemos

s , p~
x, y q, p
x, y1 q P e e funcao.

Logo, y  y1 .
24

Proposicao 0.0.80. Sejam M C.T.M., P P M forcing c.c.c. e G um filtro

P-generico. Se g P M rGs e tal que g : X Y e funcao, com X, Y P M ,
ao existe F P M tal que M (F : X rY s0 e funca
ent o e g pxq P F pxq
para todo x P X.
Demonstracao. Seja um P-nome em M tal que g  G e fixe p0 P G tal
que p0 , e func
ao de X em Y . Tome P M P como no Lema anterior
(em particular, p0 ,  ).
Para x P X, definimos F pxq  ty P Y : Dpy P Ppp~ x, y q, py q P u. Note
que cada F pxq P M para cada x P X, assim F P M e M , F : X
pY q. Vamos mostrar que F pxq e enumeravel. Para isso, provaremos que
h : F pxq Ax dada por hpy q  py e injetora (e usamos c.c.c. para garantir
que Ax e enumeravel). Para y, z P F pxq tais que py  pz  p, temos p p0
e assim p , px, y q, p~
~ x, z q P e e funcao. Logo y  z. Por fim, resta
apenas mostrar que g pxq P F pxq. Como g  G  G , temos que y  g pxq
implica que existe p P G tal que pp~ x, y q, pq P . Logo y P F pxq.

Aula 01/09/2014
Defini
cao 0.0.81. Seja M C.T.M. P P M forcing. Dizemos que P preserva
cardinais se para todo G P-generico temos que:
@ ordinal p e cardinalqM p e cardinalqM rGs
Observa cao. Como ser ordinal e absoluto, so precisamos nos preocupar
com func
oes sobrejetoras saindo dos ordinais menores.

Note que para e imediato por absoluticidade;

Como M rGs M , se e cardinal em M rGs ele tambem e em M ;
Logo a afirmac ao e equivalente `a @ ordinal p e cardinalqM p e
cardinalq M rG s ;
Pelo resultado da aula passada, se P e c.c.c., entao P preserva cardinais.
De fato, seja tal que e cardinal em M , mas existe f :
sobre com e f P M rGs. Pelo resultado da aula passada, existe
F : p q com F P M . Em M , temos ||  | F p q|  | |.

Defini ao 0.0.82. Seja ordinal. Dizemos que A e limitado se existe

c
tal que @ P A temos que . Definimos cf pq  mint :
Df : pImpf q e ilimitada em qu. Dizemos que cf pq e a cofinalidade
de . E f e a func
ao cofinal em .
 25

Exerccio 0.0.83. Sejam , ordinais. Entao:

1. cf pq ;

2. cf p 1q  1;

3. Existe f : cf pq cofinal estritamente crescente;

4. Se existe f : cofinal e estritamente crescente, entao cf pq 

cf p q;

5. cf pcf pqq  cf pq.

Defini
cao 0.0.84. Seja um ordinal. Dizemos que e um ordinal regular
se  cf pq.

Exerccio 0.0.85. Se e cardinal, e regular.

Defini ao 0.0.86. Sejam M C.T.M., P P M forcing. Dizemos que P pre-

c
serva cofinalidade se para todo G P-generico e para todo P M ordinal
limite, temos cf p qM  cf pM qM rGs .

Lema 0.0.87. Se P preserva cofinalidades ent

ao P preserva cardinalidades.

Demonstrac ao. Seja . Suponha regular em M . Logo,  cf pqM 

cf pqM rGs . Portanto, e cardinal em M rGs. Agora, suponha cardinal
limite5 . Ent ao  supt : e cardinal com u. Como cada
e regular, ent ao e cardinal em M rGs (supremo e absoluto). Logo, e
cardinal em M rGs.

Observa
cao. N
ao vale a volta.

Lema 0.0.88. Seja P um forcing, P P M , M C.T.M. tal que para todo G

P-generico e para todo cardinal regular nao enumeravel em M temos que
p e regular qM rGs. Entao P preserva cofinalidade.
Demonstrac ao. Seja ordinal limite e p  cf p qqM . Entao existe f PM
tal que f : e estritamente crescente e cofinal.
Em M :

Se  , por absoluticidade p e regularqM rGs ;

otese p e regularqM rGs .

Se , por hip
5
Note que se n
ao e limite de cardinais ent
ao e um cardinal sucessor e portanto regular
e por hip
otese a cofinalidade e preservada.
 26

Logo, como f P M rGs, p  cf p qqM rGs, pois  cf pq  cf p q.

Teorema 0.0.89. Se P P M forcing, M C.T.M. e P tem c.c.c., ent
ao P
preserva cofinalidades (e, portanto, preserva cardinalidade).

Demonstrac ao. Suponha que nao. Entao pelo resultado anterior, existe
, p e regularqM e p nao e regularqM rGs . Logo, existe f P M rGs tal que
f : cofinal com . Pelo resultado da aula passada, existe
F : pq, F P Mtal que f p q P F p q e p|F p q| qM para todo P .
Logo, em M , ||  | F p q|  ||. Contradicao com o fato de que e
regular em M .

Nota ao: Usaremos  para denotar nomes para objetos em M rGs.

c
Por exemplo: se sabemos que e um nome para a funcao f , denotamos
por f9.

Faremos um outro abuso e denotaremos por 91 o nome para o ordinal que

ao de 1 em M rGs. Assim, pode ocorrer que p91 qG  p1 qG .
satisfaz a definic

ao p91 qG
Proposicao 0.0.90. Dado ordinal, se P preserva cardinais, ent 
p1qG.

Aula 03/09/2014
Defini
cao 0.0.91. Dados P um forcing e p P P, dizemos que D P e denso
abaixo de p se para todo q p, existe d P D tal que d q.

Proposicao 0.0.92. Sejam M C.T.M., P P M forcing e p P P. Se D P M

ao G X D  H para todo G P-generico tal que p P G.
e denso abaixo de p, ent

ao. Considere R  tq P P : q K pu, e defina D1  D Y R. Entao

Demonstrac
D e denso em P. Seja r P D1 X G, onde p P G. Como G e filtro, r P D.
1

Defini ao 0.0.93. Seja P forcing. Dizemos que P e enumeravelmente

c
fechado se, para toda sequencia ppn qnP de elementos de P tal que pn 1 pn
para cada n P , temos que existe p P P tal que p pn para todo n P .

Teorema 0.0.94. Seja M C.T.M., P P M forcing enumeravelmente fechado

em M . Seja A, B P M tal que A e enumeravel em M . Seja G P-generico.
O jeito certo de ler esse Se f P M rGs ao f : A B ent
e uma func ao f P M .
Teorema:forcing enume-
ravelmente fechado n ao
acrescenta func
oes enu-
meraveis.
 27

Demonstrac ao. Fixe f9 nome para f . Seja p P G tal que p , f9 e funcao de

e seja D  tq P P : Dg P B A pq , f9  gqu (D P M , por , ).
A em B
Se provarmos que D e denso abaixo de p, terminamos. Seja r p. Fixe
panqnP uma enumeracao de A em M . Trabalhando em M , vamos definir
sequencias ppn qnP e pbn qnP tal que:

a) p0  r;
b) pn 1 pn ;

c) pn 1 , f pan q  bn
9

Suponha definidos ppk qkn e pbk qkn . Note que pn , f pan q P B,

9 pois p , f 9

ao de A em B
e func e pn r p. Entao existem bn P B e pn 1 pn
tal que p , f pan q  bn pela Proposicao ??. Usando a hipotese de P ser
9

enumeravelmente fechado seja p pn para todo n P . Defina g : A B

tal que para todo n P temos que g pan q  bn . Assim, so precisamos notar
que p , g  f (segue de pn 1 , gpnq  bn  f pnq)
9 9

Corol ario 0.0.95. Seja M C.T.M., P P M forcing enumeravelmente fe-

M rGs
chado. Seja G P-generico. Ent ao p qX M  p qX M rGs e 1M  1 .

Demonstracao. Seja  1M . Como todo e enumeravel (tanto em

M quanto em M rGs), basta mostrar que e nao enumeravel em M rGs.
Suponha que n ao. Entao existe f P M rGs tal que f : sobrejetora e
pelo resultado anterior, f P M o que e um absurdo! Note que p q X M
p q X M rGs. Dado A P p q X M rGs, defina (em M rGs) A : 2. Pelo
resultado anterior, A P M . Logo A 
A rt1us P M .
1

Proposicao 0.0.96. Sejam M C.T.M., P1 , P2 P M forcing tal que existe

f P M , f : P1 P2 isomorfismo de ordens. Se G e P-generico, ent ao
G2  f rG1 s e P generico em P2 e, alem disso, M rG1 s  M rG2 s.

Demonstracao. Dica: Para mostrar que M rG1 s  M rG2 s basta usar a mi-
nimalidade.

Defini
cao 0.0.97. Sejam A, B conjuntos, cardinal. Definimos:

F unc pA, B q  tf
A  B : f e funcao e |dompf q| u
Observa ao. Fn pA, B q  F unc pA, B q.
c

Teorema 0.0.98 (Aquecimento). Sejam M C.T.M., P  pF unc p1 , 2qqM .

ao M rGs satisfaz CH.
Ent
28

Demonstrac ao. Primeiramente, note que podemos trabalhar com

pF unc1 p1  , 2qqM  P (devido `a Proposicao ??,pois existe uma bijecao
entre 1  e 1 ). Seja G P-generico. Note que G  g e uma funcao
g : 1M  2. Seja f P 2 X M e considere:

Df  tp P P : D 1M t  u domppq ^ @n P ppp, nq  f pnqq u.
Note que Df P M e e denso. Trabalhando em M rGs. Fixado 1M ,
podemos definir F : 2 dado por f pnq  g p, nq. Pela densidade dos
Df s, para cada f P 2 X M existe 1M tal que f  f . Note tambem que
F unc p1  , 2q e enumeravelmente fechado. Logo, 2 X M rGs  2 X M .
1
Assim,
2 X M
tf : 1M u 2 X M rGs  2 X M .
ao, em M rGs, 2  1M .
Ent

Aula 15/09/2014
Defini ao 0.0.99. Dado pX, q um conjunto ordenado, definimos a topo-
c
logia da ordem sobre X como sendo a topologia gerada pelos conjuntos
da forma s, r tx P X : x u, com , P X Y t
8, 8u.

Observa
coes

1. Entendemos o smbolo 8 como um elemento maior do que todos os

elementos de X, que nao necessariamente precisa pertencer a X e, de
forma analoga,
8 e um elemento menor do que todos os elementos de
X. A adic
ao de tais smbolos apenas simplifica a definicao da topologia
(em caso de incomodo, o leitor pode acrescentar como abertos basicos
os intervalos da forma s, M s e rm, r, para M maximo e m mnimo
de X, caso algum deles exista).

2. A menos de mencao contraria, num ordinal qualquer sempre adotamos

a topologia da ordem.

Defini
cao 0.0.100. Dado S 1 , dizemos que S e estacion
ario se para
todo C 1 fechado e ilimitado valer S X C  H.

Exerccio 0.0.101. (a) Mostre que todo fechado ilimitado e estacionario.

Mostre que se pAn qnP e uma sequencia de fechados ilimitados, entao

(b)
nP An tamb
em e fechado e ilimitado.
 29

Defini
cao 0.0.102 (Princpio Diamante ()). Existe uma sequencia pA q1
de subconjuntos de 1 (-sequencia) tal que para todo A 1 , temos que
t 1 : A X  Au e estacionario.
Intuitivamente, diz que para um subconjunto A de 1 existe uma
sequencia que aproxima A t
ao bem quanto desejado.
Proposicao 0.0.103. CH.
Demonstrac ao. Seja pA q1 uma -sequencia. Se mostrarmos que tA X
: 1 u  p q, ent
ao teremos 20  1 . Claramente temos tA X :
1 u p q. Para a inclus ao inversa, considere A e tome P 1
tal que P p1 z q X t 1 : A X  A u, o qual existe pois 1 z e
fechado e ilimitado e t 1 : A X  A u e estacionario. Assim, temos
A  A X  A, logo A  A X .

Para terminar o aquecimento iniciado na aula anterior, vamos provar a

consistencia de .
Teorema 0.0.104. Sejam M C.T.M. e P  pF unc p1, 2qqM . Se G e
P-generico, entao 1M  1M rGs , p q X M
1

 pq X M rGs e vale em
M rGs.
Demonstrac ao. Em vista dos resultados ja obtidos, basta mostrarmos que
vale em M rGs. Primeiramente, podemos supor P  pF unc1 pX, 2qqM ,
onde X  tp, q : 1M u, essencialmente por termos
|X |  1M .
Considere ent ao G um filtro P-generico e faca g  G, que e uma
funcao g : X 2. Agora, para cada 1 , seja g : 2 dada por
g pq  g p, q. Definimos tambem A  g
1 rt1us, o qual e um elemento de
M rGs e, por conseguinte, pA q M P M rGs. Mostraremos que pA q M
1 1
e uma -sequencia.
M rGs
Assim, para A P M rGs tal que A 1 precisamos mostrar que
M rGs
S  t 1 : A X  A u e estacionario. Fazendo f  A a funcao
caracterstica de A, note que pela forma como tomamos os A s, temos
M rGs
S  t 1 : f  g u.
M rGs
Seja C 1 , C P M rGs tal que M rGs ( C e fechado e ilimitado
em 1 . Temos que mostrar que existe P S X C, isto e, P C tal que
f  g . Fixe p P P tal que p , C9 e fechado e ilimitado em |1 e
9
f : |1 2. Considere ent ao o seguinte conjunto (definido em M ) dado
por
,
Em vez de g,
9 podemos usar

onde e o P-nome
D  tq P P : D 1M pq , q P C e @ q f pq  gp, qqqu.
9 9 9 9 9 9
canonico que satisfaz G 
G.
30

Se mostrarmos que D e denso abaixo de p, teremos que existe q P D X G.

Logo, existe P C tal que @ , f pq  g p, q, isto e, f  g , como
queramos. Nosso trabalho agora se reduz a mostrar que D e denso abaixo
de p.
Seja r p. Trabalhando em M , vamos definir sequencias ppn qnP P,
pnqnP , pnqnP 1M e pbnqn0 de forma que cada bn P 2n
1 e tais que
(a) p0  r, 0  0;
(b) domppn q tpx, y q : x y n u;

(c) pn pn
1 se n 0;

(d) n
1 n n se n 0;

(e) pn , qn P C e f ~
9 9
n
1  bn se n 0.
q

Faremos por inducao em n.

Caso n  0, tome algum 0 satisfazendo a condicao pbq (note que nao

h
a b0 para definirmos).

Suponha os elementos das sequencias definidos para todo m n, para

algum n 0. Seja G0 um filtro P-generico que contem pn
1 . Entao
f9G0 e uma funcao de 1M em 2 e C9 G0 e um fechado ilimitado em 1M
(pois pn
1 p e p forca tais condicoes). Seja d P C9 G0 com d n
1 e
chame b  f9G0 n
1 (podemos tomar tal d pois C e ilimitado, e ainda
b P M pois P e enumeravelmente fechado e, assim, nao acrescenta
func
oes enumer aveis). Tome entao q pn
1 com q P G0 tal que q
force todas essas condicoes. Fazendo pn  q, bn  b e n  d ja temos
a validade de pcq e peq, alem de n
1 n . Assim, basta escolhermos
n satisfazendo pbq grande o suficiente para termos n n .

Chamemos ent ao p  nP pn , que e um elemento de P. Note que para
cada n P temos p , qn P C9 e f9 | n  bn 1 , pois temos p pn e
~
pela condicao (e). Assim, as funcoes pbn qn0 precisam ser compatveis (p
ao e, alem disso, pn qnP e crescente),
forcaque f9 e func
donde segue que
b  n0 bn P M e uma funcao de  nP n  nP n em 2. Chame
q  p Ytppx, q, bpxqq : x u, mostraremos que q e um elemento de D que
esta abaixo de r. Primeiramente, q e funcao (os u nicos pontos que poderiam
atrapalhar isso s ao da forma px, q, mas tais pontos nao ocorrem em p , pela
ao pbq imposta sobre os domnios das pn s) e, por construcao, q r.
condic
 31

Finalmente, mostraremos que q P D e, para isso, mostraremos que q ,

q P C9 e @9 q f9p9 q  g9 p,
9 qq.
Seja G1 P-generico tal que q P G1 . Como q p pn p, temos que
q , C9 e fechado e ilimitado e que cada qn P C
9 (pela condicao (e)). Logo
 supnP n P CG1 . Alem disso, para cada x existe n P tal que
9

x n , o que nos d a

f9G1 pxq  bn 1 pxq  bpxq  qpx, q  gG px, q,

9 1

pois q P G1 e g G 
9 1 G1 .

Aula 17/09/2014
Forcing
ao, P denota um forcing.
Ao longo desta subsec
Defini
cao 0.0.105. Sejam , , P-nomes e p P P.
1. p ,  se
@ P domp q Y dompqp@q ppq , P q , P qq;
2. p , P se tq p : Dp, rq P pq r ^ q ,  qu e denso abaixo
de p.
A princpio, nada garante que as definicoes acima estejam bem definidas
e, mais que isso, a condicao de p1q depende da definicao de p2q, e vice-versa.
Ambas as definic oes sao recursivas e definidas simultaneamente. Intuitiva-
mente6 , a recursao e feita sobre a complexidade dos P-nomes: para definir
p ,   , valemo-nos da definicao de q , P e q , P para
q p (diminumos a complexidade) e, para definir p , P utilizamos
ao de q ,  , para p, rq P .
a definic
Exemplo 0.0.106.
(i) p ,  : fazendo  em p1q, o que obtemos e uma tautologia;
(ii) ao p , P : segue do item anterior, visto
se p, rq P e p r, ent
que temos tq p : Dp, uq P pq u ^ q ,  qu  tq P P : q pu
(para qualquer q p, basta tomar p, uq  p, rq), o que em particular
implica que tal conjunto e denso.
6
Uma justificativa formal para esta definica
o e dada por Kunen[?], p.256.
32

Definic
ao 0.0.107. Dizemos que e uma f ormula P-at omica se e da
forma  ou da forma P , onde e sao P-nomes. Dado um
modelo M , diremos que e PM -atomica se for uma formula P-atomica
cujos P-nomes s
ao elementos de M .

Lema 0.0.108. Seja P-at

omica. Ent
ao:

1. se p , e q p, entao q , ;
2. p , se, e somente se, tq p : q , u e denso abaixo de p.

Demonstrac
ao.

(a) (i) Caso seja da forma  : para P domp qY domp q e r q,

temos em particular r p e, assim, r , P r , P , pois
p ,  . Como e r sao arbitrarios, temos q ,  .
(ii) Caso seja da forma P : neste caso, note que a densidade
de tq p : Dp, rq P pq r ^ q ,  qu abaixo de p garante a
densidade de tu q : Dp, rq P pu r ^ u ,  u abaixo de
q.

(b) pq Segue diretamente do item paq.

pq Se e da forma P , queremos mostrar que D  tu p :
Dp, sq P pu s ^ u ,  qu e denso abaixo de p. Ora, para
r p, existe q r tal que q , P (pois tq p : q , P u
e denso por hipotese), donde segue que tu q : Dp, sq P pu
s ^ u ,  qu e denso abaixo de q, logo existe u q r p e
p, sq P tal que u s e u ,  , isto e, u P D.
Se e da forma  , basta aplicar a primeira parte de pbq
provada acima para as formulas P e P , usando a
hipotese de que tq p : q ,  u e denso abaixo de p.

Defini
cao 0.0.109. Seja P-atomica e p P P. Entao p , se valer
Dq ppq , q.
Lema 0.0.110. Sejam M C.T.M. e P P M forcing. Dada PM -at
omica e
G P-generico, temos:

(a) Se p P G e pp , qM , ent
ao M rGs ( .

ao existe p P G tal que pp , qM .

(b) Se M rGs ( , ent
 33

Demonstrac ao. Note que n ao precisamos escrever pp , qM para formulas

P-atomicas, pois essa definicao e absoluta. Provaremos os itens paq e pbq por
inducao sobre a complexidade dos P-nomes.

(a) Seja p P G e suponha que seja da forma P . Neste caso temos

que D  tq p : Dp, rq P pq r ^ q ,  qu e denso abaixo de p
ao de , para o caso P), e como D P M , existe q P G X D.
(pela definic
Seja p, rq P com q r e q ,  . Supondo paq valido por inducao,
temos M rGs (  , e assim G  G . Como G e filtro e r P G temos
G  G P G (pela definicao da valoracao).
Suponha agora que seja da forma  . Mostraremos que G G
(a outra inclus aloga). Para G P G , onde p, rq P e r P G,
ao e an
mostraremos que G P G . Como G e filtro, existe q P G tal que q p, r,
e da inferimos que q , P (exemplo (ii)) e, pela definicao de ,
para , temos tambem q , P . Por inducao, temos M rGs ( P ,
e assim G P G .

(b) Caso seja da forma P , precisamos obter p P G de modo que

D  tq p : Dp, rq P pq r ^ q ,  qu seja denso abaixo de p.
Como estamos assumindo M rGs ( P , existe p, rq P com r P G tal
que G  G P G . Por inducao, existe p P G, tal que p ,  e,
como G e filtro, podemos supor p r (do contrario tomamos q p, r em
G, e o lema anterior garante que q ,  ), e disso segue a densidade
de D, pois p D.
Caso seja da forma  , assuma M rGs (  e considere D o
conjunto de todos os p P P para os quais alguma das seguintes condicoes
e satisfeita:

(1) p ,  ;
(2) para algum P domp q Y dompq, p , P e p , R ;
(3) para algum P domp q Y dompq, p , R e p , P .

Claramente temos D P M . Alem disso D e denso em P. Fixe p P G X D. Para verificar isso, poder
a
Se p satisfaz p1q, entao acabou. Se vale p2q, entao como p , P , til notar que p ,
ser u 
temos pela parte paq que M rGs ( P , logo G P G  G . Assim, sse Dq ppq , q.
por hip
otese de induc ao, existe q P G tal que q , P . Tomando

r p, q, temos r , P , o que contraria a segunda parte de p2q.
Analogamente, a validade de p3q tambem leva uma contradicao.
34

Aula 22/09/2014
Lema 0.0.111. Seja M C.T.M., P P M forcing. Dado p P P e PM -
omica, p , se, e somente se, pp , qM .
at

Demonstracao. A volta e imediata pelo Lema ??. Agora, suponha que p ,


e pp . q . Ent
M ao existe q p tal que q , . Entao nao existe r q tal

que r , . Seja G P-generico com q P G. Entao p P G. Logo M rGs ( .
Assim, novamente, pelo Lema ??, existe s P G tal que s , . Seja r s, q
e note que r , .

Defini cao 0.0.112. Definimos por recursao na complexidade de P-formula

ao p , para p P P da seguinte maneira:
a relac

(a) Se e P-at
omica, e como ja fizemos;

(b) p , se p , e p , ;

(c) p , se R pq p q , q;
(d) p , p se pDq p q , e q , q;

(e) q , p ^ q se tq P P : q , ou q , u e denso abaixo de p;

(f) p , p se se pDq p q , e q , q e pDq p q , e

q , q;

(g) p , @xpxq se p , p q para todo P-nome;

(h) p , Dxpxq se tq : D P-nomepq , p qqu e denso abaixo de p.

Lema 0.0.113. Seja uma P f

ormula. Ent
ao:

(a) Se p , e q p entao q , ;
(b) p , se, e somente se, tq p : q , u e denso abaixo de p;

(c) p , se, e somente se, Dq pq p q , q.

Demonstrac
ao.

paq Imediato por inducao na complexidade (exerccio).

pbq pq Imediato por (a).
pq Por inducao sobre . Vamos fazer dois casos como exemplo.
 35

tq p : q , @xpxqu e denso abaixo de p. Entao tq p : @

P-nomeq , p qu e denso abaixo de p. Logo, para todo P-nome
tq p : q , p qu e denso abaixo de p. Por (HI), para todo
P-nome p , p q, i.e., p , @xpxq.
Suponha que tq p : q , ^ u e denso abaixo de p. Entao
A  tr : r , ou r , u e denso abaixo de cada q p. Logo,
A e denso abaixo de p, entao p , ^ .

pcq Suponha que p , . Seja q p. Note que, por pbq existe r q tal que
r , . Logo pq , q. Agora, suponha que nao exista q p tal
que q , . Ent ao, dado q p, existe r q tal que r , . Logo,

por pbq, p , .

Lema 0.0.114. Seja M C.T.M., P P M forcing. Seja uma PM -f

ormula.
Seja G P-generico. Ent
ao:
(a) Se p P G e pp , qM ent
ao M rGs ( .

ao existe p P G tal que pp , qM .

(b) Se M rGs ( ent
Demonstrac
ao. Por induc
ao na complexidade de .

Caso :
pa q Suponha que p P G e pp , qM . Se M rGs ( terminamos. Caso
ario, M rGs ( . Por (HI pbq) existe q P G tal que q , . Seja
contr
r p, q. Note que r , , contrariando p , .

pbq Suponha M rGs ( . Considere D  tp P P : pp , qM ou pp ,

qM u. Note que D e denso em P (exerccio). Seja p P G X D. Se
pp , qM , terminamos. Se pp , qM , por (HI paq), M rGs ( .
Caso Dxpxq:
pa q Suponha p P G e pp , DxpxqqM . Entao D  tq :existe PM -nome
q , p qu e denso abaixo de p. Sejam q P G X D com q p e
PM -nome tal que pp , p qqM . Entao M rGs ( pG q por (HI paq).
Logo M rGs ( Dxpxq.

pbq Suponha M rGs ( Dxpxq. Entao existe PM -nome tal que M rGs (
pG q. Logo, por (HI pbq), existe p P G tal que p , p q. Logo
p , Dxpxq.
36

Lema 0.0.115. Seja M C.T.M., P P M forcing. Dado p P P e uma

PM -formula temos que p , se, e somente se, pp , qM .

Aula 24/09/2014
Noc
oes para a Construc
ao de modelos enumer
aveis e transi-
tivos
Jeito 1: Queremos mostrar que e consistente. Considere um forcing P
que force . Examinamos nas demonstracoes quais axiomas (finitos) foram
usados para provar que M rGs ( . Uma vez encontras tais axiomas,vemos
quais axiomas (finitos) M deveria satisfazer para que tudo isso desse certo.
Pelo Teorema da reflexao (Kunen), existe M satisfazendo tais axiomas, M
enumeravel e transitivo.

Alternativa para o Jeito 1: Estendemos a colecao de axiomas ZFC para

uma outra (ZFC ) (que tem mais constantes na linguagem) que tem como
axioma (na verdade, uma lista de axiomas) a existencia de um modelo
enumer
avel e transitivo para ZFC. E possvel mostrar que, se ZFC $
(ZFC demonstra ), onde e uma formula da linguagem de ZFC, entao
ZFC$ . Da e s
o obter os resultados em ZFC .

Jeito 2: Esquecamos , trabalhemos apenas com , , que nada fala

sobre modelos etc. Damos um jeito de garantir que qualquer consequencia
de ZFC e tal que para todo p P P p , . Com isso, se algum p , ,
e consistente.

Algebras de Boole
Defini c
ao 0.0.116. Uma algebra de Boole e um conjunto B tal que
0, 1 P B munidos com duas operacoes binarias , e uma operacao
unaria
satisfazendo:
Para todos u, v, w P B:

u v v v uv  vu
u pv wq  pu vq w upvwq  puv qw

upv wq  uv uw u pvwq  pu v qpu wq

 37

upu vq  u puvq  u
u

u p
uq  1 up
uq  0

Exemplo 0.0.117. Seja X um conjunto. Seja B  pX q. Considere:

Y
X

 Xr
1X

0  H.

Exerccio 0.0.118. Mostre que: u u  u, uu  u, u 0  u, u0  0,

u 1  1, u1  u,
pu v q  p
uqp
v q e
puv q 
u p
v q.

Nota
coes:

u e v s
ao ditos disjuntos se uv  0;
u
v  u  p
vq;
u v se u
v  0.

Exerccio 0.0.119.

(a) e uma ordem parcial.

(b) Sao equivalentes:

(i) u v;
(ii) u v  v;
(iii) uvu
(c) u v  suptu, v u
uv  inf tu, v u7 .

Exemplo 0.0.120 (Algebra de Lindebaum). Considere T uma colecao de
axiomas e S uma colec
ao de formulas. Para , P S defina  se
T $  . Note que  e uma relacao de equivalencia. Defina:
7
Seja B uma algebra de Boole e A B. Dizemos que supA e o menor majorante de A
e inf A e o maior minorante de A
38

rs rs  r _ s,
rs  rs  r ^ s,

rs  r s,
0  r ^ s,

1  r _ s.
S
Ent
ao  e uma algebra de Boole.

Aula 29/09/2014
Defini
cao 0.0.121. Uma algebra de Boole A e dita completa se para todo
B A existe P A tal que  sup B.8

Defini ao 0.0.122. Para uma algebra de Boole A, denotamos A  ta P

c
A : a  0u. Dizemos que B A e denso em A se B e denso (no sentido
usual de ordem) em A .

Observa c
ao. Restringimos a definicao de densidade para B eA pois o
0 da
algebra tornaria tal definicao trivial (por que?).

Definic
ao 0.0.123. Seja A uma algebra de Boole. Dizemos que uma
algebra de Boole completa B e um completamente de A se A e subalgebra

de B e A e denso em B.

Observa c
ao. Uma subalgebra e uma algebra com as operacoes induzidas.
Em particular, o 0 e o 1 da subalgebra sao os mesmos da algebra que a
contem.

Lema 0.0.124. O completamento de uma

algebra de Boole e u
nico, a menos
de isomorfismo.

ao. Sejam B e C completamentos de A. Defina : B C por

Demonstrac
pbq  supC ta P A : a bu, o que faz sentido pois C e completo. Precisamos
mostrar que e um homormofismo bijetor9 .

1. e homomorfismo: exerccio.
8
Em alguns textos, denota-se sup B por aPB a.
9
Pois a sua inversa, neste caso, tambem preserva a estrutura Booleana.
 39

2. e injetora: para x, y P B, com x  y, podemos supor x
y  0

(por que?). Pela densidade de A em B , existe P A tal que
x
y. Note ent ao que pxq
py q  px
y q 0, o que
implica pxq  py q.

3. e sobre: dado x P C, temos x  supC ta P A : a xu  psupB ta

A : a xuq, o que segue pela densidade de A em C .

Proposicao 0.0.125. Toda

algebra de Boole admite completamento.
Demonstrac ao. Seja A uma algebra de Boole. Diremos que U A e
um corte se para todo q P U e todo p q tal que p P A valer p P U .
Para p P A , denotamos por Up o corte ta P A : a pu. Finalmente,
diremos que U e um corte regular se, para p R U dado, existe q p tal
que Uq X U  H; em particular, note que Up e regular (dado q R Up , tome
q
p q e note que Uq
p X Up  H). Alem disso, todo corte nao vazio
contem algum Up .
Vamos considerar B o conjunto de todos os cortes regulares. Como a
intersec
ao qualquer de cortes regulares e um corte regular, segue que para
qualquer corte U (n ao necessariamente regular) existe U o menor corte que
contem U (tomando a intersecao de todos os regulares que contem U , o que
faz sentido pois A e um corte regular). Mais que isso, U  tp : @q
ppU X Uq  Hqu. Pode-se mostrar que B e uma algebra de Boole, com as
seguintes operac
oes:
U V U XV;
U V U YV;

U  tp P A : Up X U  Hu;
0B  H e 1 B  A .
A conclus
ao da demonstrac
ao se da no seguinte
Exerccio 0.0.126. Mostre que B, com as operacoes definidas acima, e
uma algebra de Boole completa e que : A B dada por paq  Ua e um
homomorfismo injetor cuja imagem e densa em B.

Usando algebras de Boole faremos um approach alternativo (embora

equivalente) para as demonstracoes de consistencia via forcing.
40

Defini
cao 0.0.127. Seja pP, q uma ordem parcial. Dizemos que P e se-
parativo se, dados p, q P P com p q, existe r p tal que rKq.

Observa ao. Note que a algebra de Boole pX q (X conjunto) e separativa.

c
Mais geralmente,
algebras de Boole sao separativas.

Proposicao 0.0.128. Seja pP, q separativa. Ent

ao existe A
algebra de
Boole completa tal que P e denso em A .

Demonstracao. A mesma demonstracao do Teorema anterior pode ser usada

neste caso (em particular, note que Up e regular por P ser separativo).

Modelos Booleanos
Defini c
ao 0.0.129. Seja B uma algebra de Boole completa. Um modelo
booleano U consiste de um universo A e rrss uma valoracao em B das
f
ormulas da linguagem da teoria dos conjuntos, de forma que, para cada
x, y P A definimos rrx  y ss e rrx P y ss P B e temos

(i) rrx  xss  1;

(ii) rrx  y ss  rry  xss;

(iii) rrx  y ss  rry  z ss rrx  z ss;

(iv) rrx P y ss  rrv  xss  rrw  y ss rrv P wss.

Uma vez com isso, definimos rrpaqss, onde a A e finito, de forma que

(a) se e at omica, entao rrpaqss e o que foi fixado;

(b) rr paqss 
rrpaqss;

(c) rrpaq ^ paqss  rrpaqss  rr paqss;

(d) rrpaq _ paqss  rrpaqss rr paqss;

(e) rrDxpx, aqss  supbPA rrpb, aqss;

(f) rr@xpx, aqss  inf bPA rrpb, aqss.

Observa cao. Note que isso generaliza a ideia usual de satisfacao ( (basta
tomar a algebra de Boole B  t0, 1u, onde 0 corresponde a falso, 1 corres-
ponde a verdadeiro). Quocientando o universo pela relacao  dada por
a  b se rra  bss  1, podemos inclusive definir pA{ q ( .
 41

Defini ao 0.0.130. Dado um modelo booleano U, dizemos que e valida

c
se rrss  1.

Lema 0.0.131. e v
alida se, e somente se, rrss rr ss.
s
u v  1 sse
u v q  u sse u.p
uq Demonstrac
ao. Por um lado, rr ss  rr
_ ss 
rrss rrss.
Por

rr ss rr ss 
 u sse uv  u sse outro lado, rr ss rrss.
1 se, e somente se,

ario 0.0.132. Se e v ao rrss  rr ss.

v.
Corol alida, ent

Proposicao 0.0.133. Seja U um modelo booleano em que todo axioma de

alido. Se rrss  0, ent
ZFC e v ao e consistente com ZFC.

Demonstrac ao. Faremos pela contrapositiva. Suponha que nao seja con-
sistente com ZFC. Assim, existe uma demonstracao para em ZFC e, por
conseguinte, rr ss  1: temos 0 , . . . , n  formulas em ZFC, onde i
e um axioma de ZFC ou uma consequencia das anteriores, assim rri ss  1
ou 1 rri ss. Isso nos d
a rrss 
1  0.

Aula 01/10/2014
Defini ao 0.0.134. Seja U um modelo booleano. Dizemos que U e cheio se
c
para cada formula px, x1 , . . . , xn q valer o seguinte: para cada a1 , . . . , an P
A, existe a P A tal que rrpa, a1 , . . . , an qss  rrDxpx, a1 , . . . , an qss.

Exerccio 0.0.135. Um filtro F sobre B e um ultrafiltro (a.k.a. filtro

maximal) se, e somente se, @a P B, a P F
a R F .

Observa c
ao. Dizemos que F e filtro sobre B se F e filtro sobre B (no
sentido de ordem).

Seja F um ultrafiltro sobre B. Definimos a relacao de equivalencia sobre

A dada por

xy rrx  yss P F .

Sobre A{ , definimos uma relacao binaria E por

rxsE rys rrx P yss P F.

Exerccio 0.0.136. Mostre que  e uma relacao de equivalencia e que E
esta bem definida.
42

Vamos considerar U {F : pA{ , E q como modelo para linguagem da

Teoria dos Conjuntos. Vale entao o seguinte criterio:

Proposicao 0.0.137. Seja U um modelo booleano cheio. Dada px1 , . . . , xn q,

para quaisquer a1 , . . . , an P A, temos U {F ( pra1 s, . . . , ran sq se, e somente
se, rrpa1 , . . . , an qss P F .

Demonstrac ao. Faremos por inducao na complexidade da . No caso em

que e at
omica, segue diretamente da definicao.

Caso : como F e ultrafiltro, temos rr pa1 , . . . , an qss P F se, e

somente se, rrpa1 , . . . , an qss R F , da podemos usar a hipotese de
ao sobre , e concluir que U {F * pra1 s, . . . , ran sq, e assim
induc
U {F ( pra1 s, . . . , ran sq.

Caso ^ : an alogo ao anterior, note que rr ^ ss  rrss  rrss P F

se, e somente se, rrss, rr ss P F (por F ser filtro).

Caso _ : an
alogo ao anterior (use o fato de F ser ultrafiltro).

Caso Dx : se U {F ( Dxpx, ra1 s, . . . , ran sq, entao existe rbs P A{ 

tal que prbs, ra1 s, . . . , ran sq, e da hipotese de inducao temos

rrpb, a1, . . . , anqss P F,

donde segue que rrDxpx, a1 , . . . , an qss P F (por F ser filtro e pela de-
ao de rrDxss). Reciprocamente, se rrDxpx, a1 , . . . , an qss P F , usa-
finic
mos o fato de U ser cheio para obter b P A tal que rrpb , a1 , . . . , an qss 
rrDx px, a1, . . . , anqss, assim podemos usar a hipotese de inducao, que
nos d a U {F ( prb s, ra1 s, . . . , ran sq, isto e, U {F ( Dxpx, ra1 s, . . . , ran sq.

Vamos construir um universo para um modelo Booleano. Fixe B uma

algebra de Boole completa. Definimos

V0B  H;
VB 1  tx : x e funcao, dompxq VB e Impxq B u;
VB  VB se e ordinal limite.
 43

Declaramos V B : P
B
Ord V .

Observa ao. Note que V B n

c ao e um conjunto, embora cada VB seja con-
oes feitas para Ord e V se aplicam `a classe V B .
junto. As mesmas observac

Em certo sentido, queremos que um elemento x de VB seja uma funcao

que estime (em B) a pertinencia dos elementos no domnio de x, de modo
que, se xptq  1, por exemplo, entao rrt P xss  1. Alem disso, queremos que
os axiomas de ZFC sejam v alidos no modelo e, em particular, o axioma da
extensao. Dessa forma, e natural que definamos rrss visando, em particular,
rr@upu P x u P yqss rrx  yss, bem como xptq rrt P xss.
Primeiramente, precisamos definir rrss para cada atomica, de modo
oes piq
piv q da definicao de modelo booleano,
que sejam satisfeitas as condic
o que faremos por induc ao no rank booleano.

Defini
cao 0.0.138. Para cada x P V B , seja pxq : mint : x P VB 1 u.

Nota
cao. No que segue, adotamos u v :
u v.

ao sobre ppxq, py qq (com a ordem lexicografica):

Definimos por recurs

(a) rrx P yss  suptPdompyqtrrx  tss  yptqu;

(b) rrx yss  inf tPdompxqtxptq rrt P yssu;
(c) rrx  yss  rrx yss  rry xss.
Veremos que tal definic
ao satisfaz as condicoes impostas.

Primeiramente, provamos piq
rrx  xss  1
, por inducao sobre

pxq. Como rrx  xss  rrx xssrrx xss, sera suficiente mostrar que
rrx xss  1 o que, pela definicao, se reduz a ver que para todo t P dompxq,
pxptq rrt P xssq  1, o que e o mesmo que verificar xptq rrt P xss. Ora,
por hip ao, rrt  tss  1 (ptq pxq), e assim
otese de induc

xptq  rrt  tssxptq sup trrt  sssxpsqu : rrt P xss.

P
s dom xpq
Por sua vez, a validade de piiq
rrx  y ss  rry  xss
segue trivialmente
da definic
ao dada.
Restam apenas piiiq e piv q, respectivamente rrx  y ssrry  z ss rrx  z ss
e rrx P y ssrrx  v ssrry  wss rrv P wss. Para verificar tais condicoes,
provaremos por induc ao sobre ppxq, py q, pz qq as seguintes afirmacoes
44

(a) rrx  yssrry  zss rrx  zss;

(b) rrx P yssrrx  zss rrz P yss;
(c) rry P xssrrx  zss rry P zss.
De fato, se provarmos isso, entao

rrx P yssrrv  xssrrw  yss rrv P yssrrw  yss rrv P wss,

onde a primeira desigualdade se deve por pbq e a segunda por pcq.
Para provar paq, vamos mostrar

pa1q rrx yssrry  zss rrx zss e

pa2q rrx yssrrx  zss rrz yss,
pois disso decorre

rrx  yssrry  zss  rrx yssrry xssrry  zssrry  zss rrx zssrrz xss  rrx  zss.
Provemos pa1 q: por hipotese de inducao pcq, para todo t P dompxq temos
rrt P yssrry  zss rrt P zss. Logo
rrx yssrry  zss  tPdominf txptq rrt P y ssurry  z ss  inf t
xptq rrt P y ssurry  z ss 
pxq tPdompxq

 tPdom
inf tprry  z ss
xptqq rrt P y ssrry  z ssu inf t
xptq rrt P z ssu 
pxq tPdompxq

 tPdom
inf txptq rrt P z ssu  rrx z ss
pxq
(na u ltima desigualdade usamos rry  z ss
xptq
xptq e, por hipotese
de induc ao, rrt P y ssrry  z ss rrt P z ss). Analogamente, prova-se pa2 q
(exerccio).
Provemos pbq. Seja t P dompy q. Pela hipotese de inducao paq, temos
rrx  zssrrx  tss rrz  tss, donde segue que rrx  zssrrx  tss  yptq rrz 
tss  y ptq pq. Agora, temos

rrx P yssrrx  yss  sup trrx  tssyptqurrx  zss 

P pq
t dom y

 sup trrx  tssrrx  zssyptqu sup trrz  tssyptqu  rrz P yss.

P pq
t dom y P
t dom ypq
A prova de pcq e an
aloga, e fica como exerccio.
 45

Aula 06/10/2014
alido para V B .
Proposicao 0.0.139. O Axioma da Extensionalidade e v

Demonstrac ao. Note que se a a1 , entao pa1 bq pa bq. Assim, dados

x, y P V B temos que, para qualquer u P V B vale

prru P xss rru P yssq pxpuq rru P yssq.

Lembrando que xpuq rru P xss. Assim,

inf prru P xss rru P y ssq inf pxpuq rru P y ssq .

uPV uPdompxq
looooooooooooooomooooooooooooooon
B
looooooooooooooomooooooooooooooon
@upuPxuPyq rrxyss
Logo, rr@upu P x u P yqss rrx  yss.
Lema 0.0.140. Se W e uma anticadeia em B e, para cada u P W , au P V B,
ao existe a P V B tal que u rra  au ss.
ent

Demonstrac ao. Seja D  uPW dompau q. Para cada t P D seja aptq 
supuPW pu  au ptqq. Note que, para cada u P W e @t P D temos que u  aptq 
u  au ptq. De fato,

u  aptq  u  sup pv  av ptqq  sup pu  v q  av ptq  u  au ptq

P
v W P
v W

Assim, temos que u paptq au ptqq e que u pau ptq aptqq. u, v P W e como W e
Entao u paptq rrt P au ptqssq e u pau ptq rrt P aptqssq. Como a ao uv  0
anticadeia ent
primeira igualdade vale para todo t P dompaq e a segunda vale para todo ou uv  u (em parti-
t P dompau q temos que u inf tPdompaq paptq rrt P au ptqssq  rra au ss e u cular v=u). Alem disso,
inf tPdompau q pau ptq rrt P aptqssq  rrau ass. Portanto u rra  au ss. u  up
aptq aptqq 
up
aptq au ptqq.
Proposicao 0.0.141. V B e cheio, i.e., dada px, tq, existe a P V B tal que
rrpa, tqss  rrDxpx, tqss.
Demonstracao. Note que, para qualquer a P V B temos rrpa, tqss rrDxpx, tqss.
Assim, basta encontrar a P V B tal que vale rrDxpx, tqss rrpa, tqss. Seja
u0  rrDxpx, tqss. Considere D  tu P B : Dau u rrpau , tqssu e observe
que D e denso abaixo de u0 .
Seja W anticadeia maximal em D. Note que sup W  rrDxpx, tqss  u0 .
De fato, suponha que n ao. Entao existe b  u0
sup W  0. Note que
b P D e bv  0 para todo v P W , contrariando o fato de W ser maximal.
46

Pelo Lema anterior, existe a P V B tal que u rra  auss para todo u P W .
Logo, para cada u P W temos:

u rra  au ssrrpa, tqss rrpa, tqss.

Portanto, u0  supuPW u rrpa, tqss.

Defini
cao 0.0.142.

(i) H
 H;

(ii) se x P V B ent e funcao cujo domnio e ty : y

ao x P xu e xpyq  1.
Exerccio 0.0.143. Mostre que:

rrDy P xpyqss  sup pxpyqrrpyqssq

P
y dom x pq
rr@y P xpyqss  yPdom
inf pxpy q rrpy qssq
pxq
Lema 0.0.144. Se ptq e uma 0 -f ao px1 , ..., xn q se, e somente
ormula ent
se, rrpx
|1 , ..., x
| n qss  1

Demonstrac
ao. Exerccio.

Observa
cao.

Se x  y ent
ao rrx
 yss  1.

Se x  y ent
ao rrx
 yss  0.

Se x P y ent
ao rrx
P yss  1.

Se x R y ent
ao rrx
P yss  0.

Lema 0.0.145. Para todo x P V B temos:

rrx P Ordss  sup rrx 

ss.
P
Ord

Demonstrac
ao. Seja um ordinal. Como ser ordinal e 0 temos que:

rrx  ss  rrx  ssrr P Ordss rr P Ordss.

ltima desigualdade se da por rr
Obseve que a u P Ordss  1.
Logo supPOrd rrx  ss rr
P Ordss. Note que, dado ordinal, temos:
 47

rrx P Ord^x P ss  rrx P Ordss sup pqrrx  ss  rrx P Ordss suprrx  ss suprrx  ss.
P
P
P

 1 por definicao.
Note tambem que, para todo ordinal, temos:
rrx P Ordss rrx P ss rrx  ss rr P xss.
Fato. Existe ordinal tal que rr P xss  0.

Logo,
rrx P Ordss rrx P ss rrx  ss rrx ss.
Portanto,
rrx P Ordss suprrx  ss.

Aula 08/10/2014
alido em V B .
Teorema 0.0.146. Todo axioma de ZFC e v
Demonstracao.
Axioma do Par: Dados a, b P V B. Seja c P V B tal que dompcq  ta, bu e
cpaq  cpbq  1.
rra P c^b P css  rra P cssrrb P css  sup prra  xsscpxqqrrb P css  1rrb P css  1
P
x dom c pq
Axioma da Separa ao: Vamos provar que para cada x P V B existe y P V B
c
tal que rry P xss  1 e rr@z P xppz q z P y qss  1. Defina y P V B de
maneira que dompy q  dompxq e y ptq  xptqrrptqss.
Assim, dado t P V B temos:
rrt P yss  sup rra  tssypaq  sup rra  tssypaq  sup rra  tssxpaqrrpaqss rrt P xssrrptqss
P pq
a dom y P
a dom x pq P
a dom ypq
Portanto rrt P y ss rrt P xssrrptqss. Note que para obter o outro da
demonstracao basta multiplicar os dois lados desta ultima desigualdade por
rrt P xss.
Axioma do Infinito: ser indutivo e 0 . Logo rr
e indutivoss  1

Os demais axiomas ficam como exerccio.

 48

Defini
cao 0.0.147. Denote por G9 o seguinte elemento de V B :
dompG9 q  tu
: u P B u e G9 pu
q  u.
Note que rra  tss  1 se Lema 0.0.148. Dado a P B rra P Gss  a 9

a  t e rra  tss  0 caso

Demonstrac
ao.
contr
ario.
rra P Gss 
9 sup rra  tssGptq  Gpaq  a
9 9

P p q
t dom G 9

Note que rr
1 P G9 ss  1 e rr0 P G9 ss  0.
alido em V B .
Proposicao 0.0.149. G e filtro e v
Demonstrac ao. Sejam a, b P B. Temos que rra P G9 ssrrb P G9 ss rra
b P G9 ss.
Logo rra P Gssrrb P Gss rrDc P Gpc a
9 9 9 , bqss. Sejam a, b P B com a b entao

rra P G9 ss rrb P G9 ss
alido em V B .
Proposicao 0.0.150. G e ultrafiltro e v
ao. Seja a P B, entao:
Demonstrac
rra P G _
a P Gss  rra P Gss rr
a P Gss  a p
aq  1
9 9 9 9

Proposicao 0.0.151. Seja D B denso. ao G9 X D

Ent  H e valido
em V B .
1
supxPD x  0 Demonstrac
ao. Pela Observacao da aula passada, temos:
rrDx P G9 px P D qss  sup G9 rrx P D ss  suprrx P D ss  sup x  1
P
x dom G9 p q P
x B P
x D

Mas afinal, depois disso tudo, como funciona o forcing para um modelo
booleano?
Defini
cao 0.0.152. Seja B uma algebra de Boole. Seja p PB e P VB
dizemos que p , se p rrss.
Como foi visto nas u ltimas aulas podemos tomar um forcing P e mer-
gulha-lo densamente numa algebra de Boole e assim essa definicao de forcing
ser
a equivalente as versoes anteriores.
Observac ao. Sejam p P B e P V B . Note que nao podemos forcar com
o mesmo p as f ormulas e em V B . De fato, se p , ^ entao
p rrssrr ss  1  0  0. Logo p  0 e isso nao pode ocorrer.
 49

Aula 13/10/2014
Produto de forcings
Considere M c.t.m. e sejam P0 , P1 PM forcings. Considere P  P0  P1
com a seguinte ordem:

pp0, p1q pq0, q1q p0 p1 ^ q0 q1.

A menos de menc ao contr
aria, consideraremos o produto entre forcings
munido desta ordem.

Proposicao 0.0.153. Sejam P  P0  P1 . Ent ao G P0  P1 e filtro se,

e somente se, G  G0  G1 , onde Gi e filtro em Pi .

Demonstrac ao. Suponha G P filtro e chame Gi  i rGs, para i  0, 1.

Deixamos a cargo do leitor a verificacao de que cada Gi e filtro em Pi .
Claramente temos G G0  G1 . Agora, se pp0 , q1 q P G0  G1 , entao por
ao existem p1 P P1 e q0 P P0 tais que pp0 , p1 q, pq0 , q1 q P G. Por G ser
definic
filtro, existe pr0 , r1 q P G tal que pr0 , r1 q pp0 , p1 q, pq0 , q1 q e, em particular,
pr0, r1q pp0, q1q, donde segue que pp0, q1q P G.
A recproca fica como exerccio para o leitor.

Proposicao 0.0.154 (Lema do produto). Sejam M c.t.m., P0 , P1 P M

forcings, G0 P0 e G1 P1 filtros. S
ao equivalentes:

(a) G0  G1 e M -generico sobre P0  P1 ;

(b) G0 e M -generico sobre P0 e G1 e M rG0 s-generico sobre P1 :

(c) G1 e M -generico sobre P1 e G0 e M rG1 s-generico sobre P0 .

Alem disso, se valem as condic

oes acima, temos

M rG0  G1 s  pM rG0 sqrG1 s  pM rG1 sqrG0 s.

Observa ao. Ao dizermos que G0 e M -generico sobre P0 queremos dizer

c
que G0 e P0 -generico com relac
ao aos densos de P0 que pertencem a M .

Demonstrac ao. Como P0  P1 e isomorfo a P1  P0 , basta mostrarmos que

paq pbq.
paq pbq. Seja D P0 denso tal que D P M , e chame D1  D  P1, o
qual e denso em P0  P1 . Logo existe pp0 , p1 q P D1 XpG0  G1 q, donde segue
que p0 P D X G0 . Isto prova que G0 e M -generico sobre P0 .
50

Agora, considere D9 1 P M P0 e p0 P G0 tal que p0 , D9 1 e denso em P1 .

Seja D  tpq0 , q1 q : q0 p0 e q0 , q1 P D9 1 u. Note que D P M . Para p1 P G1
qualquer, mostraremos que D e denso abaixo de pp0 , p1 q.
Para isso, seja pr0 , r1 q pp0 , p1 q e considere um filtro F M -generico
sobre P0 , tal que r0 P F . Temos que pD9 1 qF e denso em P1 (pois r0 p0 e p0
forca isso). Assim, existe q1 r1 em P1 , com q1 P pD9 1 qF e existe q0 P F tal
que q0 , q1 P D9 1 (pois se algo ocorre entao deve ser forcado por alguem).
Como q0 , r0 P F e F e filtro, podemos supor q0 r0 e, desse modo, temos
pq0, q1q pr0, r1q, com pq0, q1q P D.
Enfim, por paq, existe pq0 , q1 q P D XpG0  G1 q. Como pq0 , q1 q P D, temos
q0 , q1 P D9 1 e, por q0 P G0 , segue que q1 P pD9 1 qG0 e q1 P G1 .
pbq paq. Seja D P0  P1 denso, tal que D P M . Mostraremos que
D X pG0  G1 q  H. Chame D1  tp1 P P1 : Dp0 P G0 ppp0 , p1 q P Dqu, o
qual e um elemento de M rG0 s (note que G0 P M rG0 s). E facil ver que D1 e
denso em P1 e, por isso, existe p1 P G1 X D1 , o que implica a existencia de
p0 P G0 com pp0 , p1 q P D, e mostra que pp0 , p1 q P D X pG0  G1 q.
Finalmente, as igualdades do enunciado seguem pela minimalidade dos
modelos: primeiramente, M rG0  G1 s M rG0 srG1 s, pois M M rG0  G1 s
e G0  G1 P M rG0 srG1 s (ja que G0 P M rG0 s e G1 P M rG0 srG1 s); por outro
lado, M rG0 srG1 s M rG0  G1 s, pois G0 P M rG0  G1 s (como projecao de
G0  G1 ).

Observa cao. Seja Z  AY 9 B. Entao Fn pZ, 2q e isomorfo a Fn pA, 2q 

Fn pB, 2q (via restric
oes). Alem disso se G e um filtro sobre Fn pZ, 2q, entao
GA : G X Fn pA, 2q e GB : G X Fn pB, 2q sao tais que M rGs  M rGA 
GB s  M rGA srGB s
basta ver G como GA  GB pelo isomorfismo via
restric
oes.

Lema 0.0.155. Sejam M c.t.m., X, Y, Z P M e G generico sobre Fn pZ, 2q.

Se f : X Y e tal que f P M rGs, ent ao existe A P ppZ qqM tal que
M ( |A| |X | e f P M rG X Fn pA, 2qs.

O significado deste lema se torna mais claro ao analisarmos o seu co-

rol
ario imediato:

Corolario 0.0.156. Sejam M c.t.m. e G generico sobre Fn pZ, 2q. Se r P

RM rGs (aqui R  2 ), entao, em M , existe A Z enumeravel tal que
r P M rG X Fn pA, 2qs.

Demonstrac
ao do lema. Como no Lema ?? (dos nomes bacanas), existe
f9 um Fn pZ, 2q-nome tal que f9G  f , f9 tpp~
x, y q, pq : x P X, y P Y e
 51

p P Fn pZ, 2qu e Ax  tp P Fn pZ, 2q : Dy P Y tal que pp~ x, y q, pq P f9u e

uma anticadeia, para cada x. Como F pZ, 2q satisfaz c.c.c., cada Ax e
n
enumer avel em M . Logo, A  xPX pPAx domppq e tal que A P M , A X
e |A| |X | em M (lembre-se que os domnios de p sao finitos). Resta
apenas mostrar que f P M rG X Fn pA, 2qs.
Para cada s  pp~ x, y q, pq P f9, temos p P Ax Fn pA, 2q. Logo, 
 
tpp~
x, y q , pq : pp~
x, y q, pq P f9u P M e um Fn pA, 2q-nome em M , onde p~ x, y q
e o nome check para px, y q em Fn pA, 2q, que satisfaz GXFn pA,2q  f . De
fato,
f  f9G  tpx, y q : Dp P Gppp~ x, y q, pq P f9qu 

 tpx, yq : Dp P GXFnpA, 2qppp~
x, y q , pq P qu  GXF n pA,2q P M rGXFn pA, 2qs.

Aula 15/10/2014
Lema 0.0.157. Sejam M c.t.m., Z P M enumer avel (em M ) e G um filtro
Fn pZ, 2q-generico sobre M . Ent
ao M X r0, 1s M rGs tem medida nula em
M rGs pno sentido de Lebesgue10 ).

Demonstrac ao. Como Fn pZ, 2q e Fn p, 2q sao isomofors, podemos trabalhar

em Fn p, 2q. Vamos identificar r0, 1s com suas expansoes binarias, i.e., como
funcoes de em 2.11
Para s P Fn p, 2q, definimos rss  tt P 2 : s tu. Note que pela
ao feita, a medida de rss e mprssq  2
|s| .
identificac
Trabalhando em M rGs.  

Seja r  G P 2 e, para k P , defina Sk  mk r r2m , 2m 1 r .
Note que
 
mpSk q mp r r2m, 2m 1r q  2
2 2
m  2
k .
m

m k
m k
m k

Assim, S  kP Sk tem medida nula. Mostraremos que M X 2 Sk ,
para qualquer k P , donde seguira que M X 2 S e, por conseguinte, tem
medida nula. Para k P fixado e t P M X 2 , considere
(
D  s P Fnp, 2q : Dm k s r2m, 2m 1r t r2m, 2m 1r ,
10
vou explicar isso
11
vou explicar isso tambem.
 52

o qual e um denso de M
com o domnio de um elemento de Fn p, 2q e

finito, basta estende-lo apropriadamente para uma funcao de D.
Assim,
 existe s P D X G, donde segue
 que para algum m k temos
t P s r2m , 2m 1 r  r r2m , 2m 1 r , pois s P D e s r, o que nos da
t P Sk , como queramos.

Teorema 0.0.158. Sejam M c.t.m., Z P M n ao-enumer avel (em M ) e G

M -generico sobre Fn pZ, 2q. Ent
ao em M rGs, r0, 1s e uni
ao de 1 conjuntos
de medida nula.

Demonstracao. Provaremos primeiramente para o caso em que |Z |  1 (em

M ). Neste caso, podemos trabalhar com Fn p1  , 2q, ja que |1  |  |Z |.
Pela u ao (logo antes do Lema ??), para cada 1 temos
ltima observac

M rGs  M rG X Fn pp1 zt uq  , 2qsrG X Fn pt u  , 2qs,

pois pp1 zt uq  qYpt

9 u  q  1  .
Aplicando o Lema anterior (tomando-se M rG X Fn pp1 zt uq  , 2qs :
M1 como modelo base), existe S P M rGs de medida nula tal que M1 X 2
S . Alem disso, para cada r P M rGs X 2 , existe (em M ) A 1 
enumer avel tal que r P M rG X Fn pA, 2qs (fazendo Z  1  no Corolario
??). Assim, existe 1 tal que A p1 zt uq  , donde segue que
r P M rG X Fn pA, 2qs M1 , o que nos da M rGs X r0, 1s 1 S .
Caso |Z | 1 (em M ), basta considerar Z0 Z tal que Z0 P M e
|Z0|  1 (em M ). Novamente, temos M rGs  M rG X FnpZ zZ0, 2qsrG1s,
onde G1  G X Fn pZ0 , 2q, o que reduz o problema ao caso anterior.

Corol ario 0.0.159. Sejam M c.t.m. e Z P M tal que |Z | 2 (em M ).

Se G e Fn pZ, 2q-generico, ent
ao r0, 1s e uni
ao de menos que c conjuntos de
medida nula. Em particular, n ao vale MA em M rGs.

Demonstrac ao. Em M rGs, temos c 2 (um dos primeiros resultados vis-

tos), e assim a primeira parte segue diretamente do teorema anterior. Por
sua vez, a segunda parte e consequencia do resultado a seguir.

Teorema 0.0.160. Suponha MA. Ent

ao uni
ao de menos que c conjuntos
de medida nula tem medida nula.

Aula 29/10/2014
adaptando conseguimos Vamos comecar com um modelo M para ZFC 21 
2 . Vamos construir
isso. uma extens P
ao N para M de forma que exista P M c.c.c. e uma sequencia
 53

M  M0 M1    M    M  M
com  2M  2N satisfazendo:
P1 : M 1  M rG s para todo e G e M -generico sobre algum
P P M .
P2 : para todo Y M e S Y com N (|S | 2 e existe tal que
S P M .

P3 : |pP q |M 2M .

P4 : para todo forcing p, q P N tal que N ( e ordinal, 1 , e p, q

e c.c.c. e para todo existe com tal que P  p, q.

Defini cao 0.0.161. Seja cardinal e P forcing. Denotamos por M A pPq a

afirmac ao: Se D e uma famlia de densos sobre P com |D| entao existe
um D-generico. Denotamos por M A a afirmacao: M A pPq para todo P
c.c.c..

Lema 0.0.162. Seja cardinal n

ao enumer
avel. S
ao equivalentes:

(a) M A

(b) M A pPq para todo P c.c.c. com |P| .

(c) M A pPq para todo P  p, q c.c.c., onde e um cardinal .

Demonstrac
ao. Exerccio.

Note que c  2 garante que M A2 M A. Assim so precisamos

mostrar que N ( M A2 e N ( c  2 .

N ( M A2 : Pelo Lema anterior, basta mostrar que,  para todo forcing c.c.c.
com ordinal tal que 1 vale M A2 p, q . Seja p, q P N c.c.c.
N

com 1N . Seja D  tD : 1N u P N famlia de densos de p, q.

Como P e c.c.c.,temos que 1N  1M . Note que 1M  1M P M e
1  1 , e
P1M t u  D 1  1 . Logo, por P2 , existe
M M M M

p, q, D P M.
Assim, por P4 , existe tal que P  p, q. Mas D P M M e,
portanto, G e D-generico sobre p, q.

N ( c  2: Note que ja temos que c 2 e c 2 segue de P3 (exerccio).

54

Se M2  M rG0 srG1 s, como encontrar G tal que M2  M rGs? Se P1 P M ,

basta fazer o produto. Assim, so precisamos preocupar com o caso em
que P1 P M rG0 srM .

Defini
cao 0.0.163. Um par p, q P M e um bom nome se , sao PM -
nomes e P , e uma ordem parcial sobre .12

Seja P forcing e seja p, q um bom nome. Entao a itera

cao P  e
definido por:

P   tpp, q : p P P, P dompq e p , P u
Definios tambem sobre P  por:

pp, q pq, q se p q e p , .

Porem essa ordem nao e antissimetrica, logo, faremos as seguintes inden-

tificac
oes:

pp, q  pq, q se pp, q pq, q ou pq, q pp, q.

Observa ao. Se P0 , P1 P M e , sao os P0 -nomes checks de pP, q

c
ao p, q e um bom nome e P  e isomorfo `a P0  P1 .
ent

Defini ao 0.0.164. Definimos tambem G0  G1

c  tpp, q P P0  : p P G0
e valG0 P G1 u.

Teorema 0.0.165. Seja M c.t.m. e P0  uma iterac ao de P0 P M e

um bom nome P M . Se G e M -generico sobre P0  e G0  tp P
P0 : Dpq, q P G e q pu entao G0 e um M -generico sobre P0 . Alem
disso, se G1  tvalG0 p q : pq, q P Gu ent
ao G0 e um M rG0 s-generico sobre
P1  valG0 p q, G  G0  G1 e M rGs  M rG0 srG1 s.
Demonstrac ao. Note que G0 e filtro (exerccio). Para ver que G0 e M -
generico sobre P0 , seja D0 P M denso em P0 . Note que D  tpp, q P P0  :
p P D0 u e denso em P0  . De fato, dado pp, q P P0  , dado q P D0 com
q p, temos que pq, q P D e pq, q pp, q.
Assim, seja pp, q P G X D. Note que p P G0 X D0 . Vamos mostrar que
G1 e filtro em P1 . Sejam valG0 p q, valG0 p q P P1 , com valG0 p q valG0 p q
12
Isso significa que todos os elementos de P forcam essa propriedade. Note que um bom
nome n ao e nome.
 55

e valG0 p q P G1 . Seja pq, q P G (testemunha do u ltimo fato). Precisamos

mostrar que valG0 p q P G1 . Seja p0 P G0 tal que p0 , (Se aconteceu,
alguem forcou). Seja pp, q P G tal que p q (definicao de G0 ). E seja
pr, q P G tal que pr, q pq, q, pp, q.
Entao, r , e pr, q pr, q. Logo pr, q P G e portanto valG0 p q P
G1 .
Dados valG0 p q, valG0 p q P G1 encontrar a extensao comum fica como
exerccio.
Vajamos que G1 e M rG0 s-generico sobre P1 . Seja D1 P M rG0 s denso em
P1 . Seja um P0 -nome tal que D1  valG0 p q. Seja p P G0 tal que p , e
denso em . Defina D  tpq, q P P0  : q , P u (mostrar que e denso
et. cetera).
Finalmente, vejamos que G  G0  G1 . Seja pp, q P G. Entao p P G0
e valG0 p q P G0 , portanto, pp, q P G0  G1 . Seja pp, q P G0  G1 . Entao
p P G0 e valG0 p q P G1 . Logo, existe pq, q P G tal que q p (pois p P G0 )
e existe pr, q P G pois ( P G1 ). Seja ps, q P G com ps, q pq, qpr, q.
Entao s p (pois s q p) e s , . Logo, ps, q pp, q, e portanto,
pp, q P G.
Para mostrar que M rGs  M rG0 sM rG1 s basta usar argumento de mini-
malidade.

Aula 05/11/2014
Vamos supor que ja temos uma sequencia ppQ , qq de forcings em M
(como nas propriedades P1, ..., P4 da aula anterior). Neste caso, definimos

P  tf S : f P Q e S P r s u,

com a ordem dada por p q se, e somente se, dompq q domppq e para
todo P dompq q, pp q q p q. Em particular, temos

P0  tHu;

P  P se e limite;
P P e  XpP  P q se ;
se e r P P e tal que r p P P entao r (pertence a P q e
r p;
56

se r , q P P , e r P P e tal que r q , entao r Y pq p zqq

(que e um elemento de P ) e tal que r Y pq p z qq q;

definindo P  P 1zP , temos pP 1, 1q isomorfo a pP  Q , q.

1

Agora, no caso geral, temos que definir indutivamente pP , q e uma

sequencia p , q de nomes bons (p , q e um nome bom em P ) de
maneira que, para :

P  tp P domp q : @ P S pp , pppq P qqu,
Pr s
S B P
S

ordenado por p q se dompq q domppq e @ P dompq q, p , ppp q

q p qq
aqui, e a ordem do bom nome. Dessa forma, valem os seguintes
resultados:

Teorema 0.0.166. Sejam M c.t.m. e um ordinal. Sejam pP , q

e p , q como acima. Se G e M -generico sobre P , ent ao G  G X P
e M -generico sobre P , para cada . Alem disso, dado , se
G  tvalG ppp qq : p P G 1 e P domppqu, ent ao G e M rG s-generico
sobre P  pG p q, valG p qq e M rG 1 s  M rG srG s.

Teorema 0.0.167. Dadas sequencias como as acima e que, alem de tudo,

satisfazem P , e c.c.c para todo , ent
ao P e c.c.c.
consistente com ZFC que pc  2 q MA.
Teorema 0.0.168. E
Dicas de alguns exerccios

1 |X | |pX q| e claro, para mostrar que as cardinalidades sao diferentes,

mostre que nao existe funcao sobrejetora de X em pX q.

57
58
Resolu c
ao de alguns
exerccios

59
60
Apresenta
c
ao de Artigos

The Baire Category and Forcing Large Lindel

of
Spaces with Points G

Isaac Gorelic

Em 1922 (publicado em 1929) Alexandrov e Urusohn provaram que se

um espaco X for Hausdorff e Lindelof e se seus fechados forem G s entao
|X | c. Eles perguntaram se e suficiente assumir somente que o espaco
tenha car ater enumer avel,i.e., pX q  . 13
Em 1969, Arhangelskii provou que de fato e suficiente. E, na sua vez,
perguntou se o resultado valeria para espacos com pseudo carater enumeravel
(os pontos s ao G s).
Shelah em 1978 construiu um modelo para CH com um espaco X Lin-
delof onde os seus pontos s ao G s e |X |  c  2 dando uma resposta
consistente negativa para Arhangelskii.
Esses foram os melhores resultados obtidos ate o momento que foi publi-
cado esse artigo (1993). A quest ao sobre o verdadeiro limite para o tamanho
dos espacos de Lindel of onde os seus pontos sao G s ainda estava sem res-
posta. Em particular, era um problema em aberto, ate o presente momento
(1993), encontrar um espaco X consistente com CH tal que |X |  3 .
Neste artigo, sera construdo para qualquer cardinal um modelo em
que 20  1 (CH), 21 e que contenha um espaco, F Lindelof, 0-
dimensional, Hausdorff com os pontos G s e |F |  21 . Se e consistente a
existencia de tal espaco de tamanho maior que 21 permanece em aberto.
13
pX q  suptpx, X q : x P X u, onde px, X q  inf t|B| : B e um sistema fundamental
de vizinhancas de xu 0 .

61
62

Assuma, sem perda de generalidade, que V ( CH e 1  . Fixe uma

partic
ao disjunta de em subconjuntos enumeraveis, e tome as suas enu-
meracoes tA : P u (|A |  ) e para cada P tome um subconjunto
H  th : P A u.

Nota ao: Para F 2 e K , seja F

c K  tf K : f P F u. Para
cada s P F np, 2q, seja Us  rss : tf P 2 : s f u. Por exemplo,
Us K

: rss K  tf K P 2 : s f u. Se B F npA, 2q, seja
UB  ts : s P B u.

Vamos definir pP, q. Dizemos p P P se, e somente se, p  I p , Ap , Gp , F p , T p

satisfazendo:

1. I pP rs .

2. Ap  tA : P I p u.

3. Gp  tg : P I p u, onde p@ P I p qg : Ap rA 2. Note que

|Gp|  .
4. F p  tf : P Ap u 2A e p@ P I p qp@ P A q f ArA  g e
p

f A  h . Observe que p@ P A qf  g Y h e @ P I p o conjunto

tf : P Au e denso em Ug Ap : tf Ap : g f u.

5. p@ P I p qp@ P I p rtuqp@ P A q g A  h pg : Ap rA 2q.

Portanto p@ P I p qp@ P A qp@ P Art uq f A  f A . De
fato, se P A entao f A  h e assim temos que f A  h 
h  f A . Se R A entao existe P I p rtu tal que P A , logo
f A  h  g A  f A .

6. T p tB F npAp , 2q : F UB Ap u tal que |T p | . Ou seja

p@ P ApqpDs P B q com s P f . Por 4. note que p@B P T pqp@ P I pq
UB Ap e um aberto denso em Ug Ap .

Dizemos que q p em P se:

a) I q I p.
b) p@ P Apq fq Ap  fp. Isso equivale `a p@ P I pq gq Ap  gp .
c) T q T p.
 63

Fato 1: P e enumeravelmente fechado, mais que isso, P e 1 -completo.

Sejam pn P P com pn 1 pn e vamos definir r da seguinte forma:

1. I r : tI p : n P u. Note que I r rs .
n

2. Ar : tA : P I r u  tAp : n P u. n

3. Gr : tg : P I r u, onde os g s sao dados por g  tgp : n P u n

com gp P Gp e gp  H se nao existe gp P Gp , pois novas gp s

n n n n n n

podem aparecer em cada Gp . Logo, g : Ar rA 2. n

4. Seja T r : tT p : n P u. Seja f P F r entao f  g Y h para
n

P A . Entao f  p nP gp qY h . Note que para cada fp  g Y h

n n

e @B P T p fp P UB Ap , i.e, @B P T p Ds P B tal que s P f , entao

n n n n

f P rss P UB Ap . n

Vamos mostrar agora que D  tq P P : P Aq u e denso em P. Para

mostrar que D e denso em P basta verificar que dado p P P e P existe
q p tal que P I q . De fato , seja p P P e tome

P tal que P A , entao
existe q p tal que P I q ou seja P A tA : P I q u  Aq .
Lema 0.0.169. p@p P Pqp@ P qpDq pq P I q .

Demonstrac ao. Em primeiro lugar, note que U Ap 2 e fechado e

g
portanto compacto. De fato, Ug A  nP tf Ap : g Bn f u,

p

onde dompg q  pxn qnP e Bn  tx0 , ..., xn u. Note que cada rg Bn s e um

aberto-fechado basico de 2 .
Sem perda de generalidade, suponha que R I p . Se I p  H entao tome
q  F q , T q  H , H e I q  tu. Se nao, tome P I p , e aplicando o
Teorema de Baire em Ug Ap tome

g P pUg Apq X p

UB Ap q X p Ug Aprtuq  H
B P Tp P
A

Dessa maneira, g e coberto por todos os elementos de T p , g R tf : P A u

e g : Ap 2. Tome h P 2A rH . Seja I q  I p Y tu e @ P I p seja
gq : gp Y h : Aq rA  pAp Y A qrA 2. Portanto, defina Gq : tgq :
P I p u Y tg u e T q : T p .

Com

isso mostramos que dado um filtro G P-generico em V temos que
 tAp : p P Gu14 .
14
Seja P entao existe q P G X D logo P Aq para algum q P G.
64

Defini ao0.0.170. Seja G um filtro P generico em V . Para cada P

c
seja f  tfp : p P G e P Ap u. Seja F  tf : P u. Note que para
P dompf q  e entao F 2 .

Afirma
cao: Em V rGs, F e Lindelof.

Lema 0.0.171. Se p P G e B P T p entao p , F UB .

9

Demonstracao. Seja G P-generico tal que p P G suponha que exista q P G,

P Aq e P tal que q , f9 R UB .
ao existe s P G tal que s p, q e assim:
Ent

f Ap  fs Ap fs As P UB
Pois B P T p T s e assim existe a P B tal que a P fs Ap f que
implica f P ras UB .

Demonstrac ao Alternativa. Para P defina DpB, q  tq P P : q ,f9 P

UB u, observe que DpB, q esta em V e alem disso e denso abaixo de p. 15
Agora, seja p P P e seja G um filtro P-generico sobre V tal que p P G.
Entao, existe q P G X DpB, q, i.e., q ,f9 P UB . Portanto, VrGs ( F UB
se, e somente se, p , F9 UB .

Seja um P-nome de uma cobertura (por abertos basicos de 2 de F9 , e

seja algum p P P que force isso, ou seja,

p , :
F np, 2q e pq f9 .

Lema 0.0.172. Seja q p e F q  tfq : P Aq u. Se @ P Aq existir s P

F npAq , 2q tal que s fq ent
ao existe q8 P P e @ P Aq q8 , pq  s .

Demonstrac ao. Para facilitar as contas considere F q  tfn : n P u. Tome

f0 P F q ent
ao existe q0 P P tal que q0 p e Ds0 P F npAq , 2q com q0 ,s0 
p0 q. Para f1 P F q Dq1 P P tal que q1 q0 p e Ds1 P F npAq , 2q

com q1 ,s1  p1 q onde q1 q0 . Repetindo esse processo vezes
temos uma sequencia pqn qnP onde qn 1 qn e qn p @n P . Como P
e enumeravelmente fechado temos que existe q8 P P com qn q8 @n P .
Portanto, @ P Aq q8 , pq  s .
15
Basta notar que tq P P : q p e P Aq u DpB, q e por D se denso em P.
 65

Chame de B0  ts : P Aq u. Note que ainda nao podemos aplicar o

Lema ??, pois n ao garantimos que B0 P T q8 . Pois queremos que exista q 
 
p e B  ts : P Aq u P T q com q  , Aq  B cobre F9 . Aplicando
o Lema ?? para F 8 temos que existe q8,1 P P tal que q8,1 , pq  s
q

@ P Aq8 onde s P F npAq8 , 2q com s f . Chame de B1  ts : P Aq8 u.

Novamente, n ao garantimos que B1 P Aq8,1 . Sendo assim, continuamos
repetindo

enumeravelmente
o Lema ?? e no final do precesso chame de
I r : nP I q8,n e T r : nP T q8,n . Como foi visto no Fato
1, e tomando
os devidos cuidados, r P P e r q8,n @n P . Seja B : nP Bn e defina

q  : pF r , T r Y tB uq. Note que q  P P e B P T q como desejamos.

Fato 3: P e 2 c.c..

Suponha Q P e |Q|  2 . Vamos encontrar duas condicoes p, q PQ

que possam ser estendidas para algum r p, q em Q.

Teorema 0.0.173 (Lema do -sistema Geral). Seja um cardinal. Assuma

que  . Seja W uma colecao de conjuntos com cardinalidade menor
que tal que |W |  . Ent ao Z W tal que
ao existe uma subcolec
|Z |  e um conjunto A tal que X X Y  A para todos X, Y P Z distintos.
Pelo -sistema, CH e contagens, podemos assumir que existem p  q
em Q que s ao isomorfos no sentido de ordem, i.e., tppI p q  tppI q q, tppAp q 
tppA q e denotando por 1 o u
q nico ordinal em Aq que corresponde a um
P Ap tal que tppAp X q  tppAq X 1 q, temos que p@ P Ap qp@ P Ap q
fp p q  fq1 p q, mais que isso


@x P : Ap X Aq  A fp pxq  fq1 pxq
P X
Ip Iq

Vamos construir um r P P com r p, q da forma r : I p Y I q , Ap Y

Aq , F r , Gr , T p Y T q . Para cada P Ap , fr sera a extensao de fp em Aq r
e para cada 1 P Aq , fr1 sera a extensao de fq1 em Ap r. Existem tres casos
a serem considerados:

Caso 1: P I p X I q seja gr  gp Y gq .
Caso 2: P I p rI q . Pelo Teorema de Baire, existe h : Aq 2 com
  
h P Ug1 Aq X U B Aq X pUg 1 Aq qrtfq u .

P
B Tq P
A 1
66

para algum 1 P I q . Entao, seja gr : gp 1 Y h.

Caso 3: 1 P I q rI p. Pelo Teorema de Baire, existe h : Aq 2 com
  
h P Ug Ap X
UB Ap X pUg Apqrtfpu .

P
B Tp P
A

para algum P I p . Entao, seja gr 1 : gq Y h.

Logo r P P.
Fato 4: Em V rGs, 20  1 , 21  e todos os cardinais sao preservados.
Alem disso, @ P f : 2 e uma funcao total e F e um subespaco 2
onde os seus pontos s
ao G s.

Observe que em V rGs, 20  1 , pois P e um forcing enumeravelmente

fechado. Como P e 2 c.c. implica que todos os cardinais maiores e
iguais `a 2 s
ao preservados (para ver isso basta adaptar a demons-
trac
ao para o que foi feito no caso 1 c.c. que e o mesmo de c.c.c.).

21  . Como 1  temos que 21 . Para ver que 21

sejam , P e seja P tal que A 1 e seja q P G tal que
A Aq entao fq A  fq A e isso implica que f 1  f 1 .

Seja f P F , seja p P G e seja fp P F p . Note que tfp u  B X 2A e G

p

em 2A . Trabalhando em V rGs considere B X F . Seja  e seja

p

q P G com q p tal que fq P 2A entao fq Ap  fq Ap e isso implica

q

que fq Ap R B X 2A e portanto f R B X F . Assim, f  B X F .

p

Portanto F e um subespaco 2 onde os seus pontos sao G s.

Refer
encias Bibliogr
aficas

67