Continuo de Cantor

A Hipótese do Contı́nuo: Equivalências e
Consequências em Análise e Topologia
Raiana Cristina de Souza Gouveia

(IM – UFBA)
Professor: Dr. Samuel Gomes da Silva

(IM – UFBA)
Seminário de Iniciação Cientı́fica
Salvador – Bahia
16 de outubro de 2012
Raiana Cristina de Souza Gouveia (IM – UFBA) XIII SEMPPG – Seminário de Pesquisa e Pós-Graduação
1 Introdução
2 Ordens e Boas Ordens
3 Resultados de Rigidez entre Isomorfismos
4 Ordinais e Cardinais
5 Teorema de Cantor
6 Hipótese do Contı́nuo
7 Cardinalidades e Uniões
8 Decomposição de Sierpinsk
9 Relação entre a CH e DS
Sumário
1 Introdução
5 Teorema de Cantor
Introdução
Neste plano de trabalho, inicialmente, conhecemos os Axiomas

Teoria dos Conjuntos para saber utilizá-los para justificar
construções feitas por recursão transfinita. Logo após foi
apresentado os Cardinais e a Aritmética Cardinal e o contexto no
qual se apresenta a Hipótese do Contı́nuo. Em seguida, estudamos
a Teoria de Filtros e Ultrafiltros para finalmente chegarmos aos
pequenos cardinais e a Decomposição de Sierpinsk. E, finalmente,
mostramos que a existência da Decomposição de Sierpinsk é
equivalente à Hipótese do Contı́nuo.
Sumário
1 Introdução
5 Teorema de Cantor
Ordens e Boas Ordens
Definição: Ordens
Sejam A um conjunto e R uma relação sobre A
Se R uma relação que é ordem parcial estrita em A (ou seja,
R é irreflexiva e transitiva). Dizemos que o par hA, Ri é uma
ordem parcial estrita.
Se R é irreflexiva, transitiva, assimétrica e tricotômica então
dizemos que R é ordem total sobre A.
Se R é irreflexiva, transitiva, assimétrica e tricotômica então
dizemos que R é ordem total sobre A.
Definição: Boa Ordem

Sejam A um conjunto e R uma ordem total sobre A. Dizemos que
R é uma boa ordem em A se: ∀b ∈ P(A) ( b 6= ∅ → (b possui
elemento R-mı́nimo))
Sumário
1 Introdução
5 Teorema de Cantor
Resultados de Rigidez entre Isomorfismos
Fato 0 Se (C , T ) e (D, U) são ordens totais, uma função injetora que

preserva a ordem (f : C → D) será um isomorfismo entre C e
f (C ) .

f (C ) .
Fato 1 Seja hA,Ri ordem total,v1 , v2 ∈ A com v1 Rv2 . Sejam

A1 = pred(A, v1 , R), A2 = pred(A, v2 , R). Então
A1 = pred(A2 , v1 , R) .

f (C ) .

A1 = pred(A2 , v1 , R) .
Fato 2 Suponha que f : A → B isomorfismo de ordens totais, hA,Ri e

hB,Si . Então fpred(A,x,R) é isomorfismo entre pred(A, x, R) e
pred(B, f(x), S) .

f (C ) .

A1 = pred(A2 , v1 , R) .
Fato 2 Suponha que f : A → B isomorfismo de ordens totais, hA,Ri e

hB,Si . Então fpred(A,x,R) é isomorfismo entre pred(A, x, R) e
pred(B, f(x), S) .
Fato 3 Se hA,Ri é boa ordem e x ∈ A, hA,Ri hpred(A, x, R), Ri
Fato 4 Se hA, Ri e hB, Si são boas ordens e f, g isomorfismos entre A

e B, então
f = g.

e B, então
f = g.
Fato 5 Sejam hA, Ri e hB, Si boas ordens. Então vale uma, e apenas
uma das seguintes afirmações:

e B, então
f = g.
(i) hA, Ri ∼
= hB, Si

e B, então
f = g.
(i) hA, Ri ∼
= hB, Si
(ii) ∃y ∈ B ( h A,R i ∼
= h pred(B, y, S), S i )

e B, então
f = g.
(i) hA, Ri ∼
= hB, Si
(ii) ∃y ∈ B ( h A,R i ∼= h pred(B, y, S), S i )
(iii) ∃x ∈ A ( h B,S i ∼
= h pred(A, x, R), R i )
Sumário
1 Introdução
5 Teorema de Cantor
Ordinais e Cardinais
Definição: Ordinais
Sejam a um conjunto, dizemos que:
a é bem ordenado por ∈ se ha, ∈a i é uma boa ordem, em que
∈a ≡ {hx, y i ∈ a × a : x ∈ y }.
∈a ≡ {hx, y i ∈ a × a : x ∈ y }.
a é um ordinal se é transitivo e bem ordenado por ∈.
∈a ≡ {hx, y i ∈ a × a : x ∈ y }.
Definição: Cardinal
∈a ≡ {hx, y i ∈ a × a : x ∈ y }.
Sejam a, b conjuntos.
∈a ≡ {hx, y i ∈ a × a : x ∈ y }.
Dizemos que a e b são equipotentes se existe f : a → b bijetora.
NOTAÇÃO: a ≈ b
∈a ≡ {hx, y i ∈ a × a : x ∈ y }.
Suponha que a possa ser bem ordenado. A cardinalidade de a é
definida por |a| ≡ min{α : α ≈ a}
∈a ≡ {hx, y i ∈ a × a : x ∈ y }.
Suponha que a possa ser bem ordenado. A cardinalidade de a é
definida por |a| ≡ min{α : α ≈ a}
Um ordinal κ é dito um cardinal se κ = |κ|
Teorema de Schroder-Bernstein-Cantor
Definição: Dominação
Sejam a e b conjuntos. Dizemos que a é dominado por b se existe
uma função f : a → b injetora.
NOTAÇÃO: a 4 b .
Definição: Dominação
Sejam a e b conjuntos. Dizemos que a é dominado por b se existe
uma função f : a → b injetora.
NOTAÇÃO: a 4 b .
Sejam a e b conjuntos. Se a 4 b e b 4 a então a ≈ b.
Sumário
1 Introdução
5 Teorema de Cantor
Teorema de Cantor
Teorema de Cantor
Seja a conjunto, a 6≈ P(a) .
Teorema de Cantor
Demonstração
Seja f: a → P(a) . Afirmo que f não é sobrejetora.
Seja b = {x ∈ a : x 6∈ f (x)}
Afirmação: b 6∈ im(f).
Suponha que b ∈ im(f). Existiria z ∈ a tal que b = f(z). Temos
duas opções:
Teorema de Cantor
Demonstração
Seja b = {x ∈ a : x 6∈ f (x)}
duas opções:
z ∈ b, então z satisfaz “z 6∈ f(z) → z 6∈ b”. ABSURDO!!!!
Teorema de Cantor
Demonstração
Seja b = {x ∈ a : x 6∈ f (x)}
duas opções:
z 6∈ b. Como b = f(z) então z satisfaz “z 6∈ f(z) → z ∈ b”.
ABSURDO!!!
Teorema de Cantor
Demonstração
Seja b = {x ∈ a : x 6∈ f (x)}
duas opções:
z 6∈ b. Como b = f(z) então z satisfaz “z 6∈ f(z) → z ∈ b”.
ABSURDO!!!
Logo, tal z não existe. Ou seja, b 6∈ im(f).
Teorema de Cantor
CONCLUSÃO
Como R ≈ P(N) então |N| < |R|
Isto é: ℵ0 < 2ℵ0
Sumário
1 Introdução
5 Teorema de Cantor
Hipótese do Contı́nuo
Hipótese do Contı́nuo (CH)

Não existe um subconjunto não enumerável da reta que não seja
equipotente à reta.
Ou seja, 2ℵ0 = ℵ1
Sumário
1 Introdução
5 Teorema de Cantor
Cardinalidades e Uniões
Seja κ cardinal infinito. Logo, κ × κ ≈ κ.

Vimos que a união de ≤ κ conjuntos, todos de tamanho ≤ κ tem
cardinalidade ≤ κ.
A partir disto, seja i ∈ I e Ai infinito, podemos dizer que

[
Ai ≤ |I |.supi∈I |Ai |

i∈I
Sumário
1 Introdução
5 Teorema de Cantor
Decomposição de Sierpinsk (DS)
Decomposição de Sierpinsk
É uma decomposição R2 = A∪B ˙ , união disjunta, tal que A
intersecta qualquer linha horizontal numa quantidade enumerável e
B intersecta qualquer linha vertical numa quantidade enumerável.
Sumário
1 Introdução
5 Teorema de Cantor
Relação entre a CH e DS
Teorema
CH ⇔ existência da DS
Demonstração
⇒: Fixemos a seguinte enumeração: R = {rξ : ξ < ω1 }.
Demonstração

Sejam A,B ⊂ R2 tais que A = {hrξ , rη i : ξ < η} e
B = {hrξ , rη i : ξ ≥ η}
Note que A ∩ B = ∅.
Demonstração

B = {hrξ , rη i : ξ ≥ η}
Definamos o seguinte conjunto: Lh,α = {hx, rα i : x ∈ R}
Demonstração

B = {hrξ , rη i : ξ ≥ η}
Tome ha, bi ∈ Lh,α ∩ A.
Demonstração

B = {hrξ , rη i : ξ ≥ η}

Fixe γ tal que a = rγ .
Como b = rα então γ < α < ω1 .
Demonstração

B = {hrξ , rη i : ξ ≥ η}

Lh,α ∩ A = {hrγ , rα i : γ < α} , onde
α < ω1
Demonstração

B = {hrξ , rη i : ξ ≥ η}

α < ω1
|Lh,α ∩ A| ≤ |α| ≤ α < ω1 .
Ou seja, |α| < ω1 .
Demonstração

B = {hrξ , rη i : ξ ≥ η}

α < ω1
|Lh,α ∩ A| ≤ |α| ≤ α < ω1 .
Ou seja, |α| < ω1 .
∴ |Lh,α ∩ A| é enumerável.
Demonstração
Agora, definamos o seguinte conjunto:

Lv ,β = {hrβ , y i : y ∈ R}.
Demonstração

Lv ,β = {hrβ , y i : y ∈ R}.
Tome ha, bi ∈ Lv ,β ∩ B.
Demonstração

Lv ,β = {hrβ , y i : y ∈ R}.
Fixe γ tal que b = rγ .
Demonstração

Lv ,β = {hrβ , y i : y ∈ R}.
Como a = rβ então γ ≤ β < ω1 .
Demonstração

Lv ,β = {hrβ , y i : y ∈ R}.
Lv ,β ∩ B = {hrβ , rγ i : γ ≤ β} , onde
β < ω1
Demonstração

Lv ,β = {hrβ , y i : y ∈ R}.
β < ω1
|Lv ,β ∩ B| ≤ |β| ≤ β < ω1 .
Ou seja, |β| < ω1 .
Demonstração

Lv ,β = {hrβ , y i : y ∈ R}.
β < ω1
|Lv ,β ∩ B| ≤ |β| ≤ β < ω1 .
Ou seja, |β| < ω1 .
∴ |Lv ,β ∩ B| é enumerável.
Demonstração
⇐ : Suponha que existe a DS.
Demonstração

Logo podemos escrever R2 = A∪B ˙ , tal que A intersecta
qualquer linha horizontal numa quantidade enumerável e B
intersecta qualquer linha vertical numa quantidade
enumerável.
Demonstração

enumerável.
Fixe U ⊆ R tal que |U| = ℵ1
Demonstração

enumerável.
Fixe r ∈ R.
Demonstração

enumerável.
Fixe r ∈ R.
AFIRMAÇÃO: ∃u ∈ U tal que hr , ui ∈ A.
Demonstração

enumerável.
Fixe r ∈ R.
Suponha que 6 ∃u ∈ U com hr , ui ∈ A, logo
hr , ui ∈ B Logo, todos os pares da forma
hr , ui , com u ∈ U iriam para B.
Demonstração

enumerável.
Fixe r ∈ R.
Suponha que 6 ∃u ∈ U com hr , ui ∈ A, logo
hr , ui ∈ B Logo, todos os pares da forma
hr , ui , com u ∈ U iriam para B.
Porém, B não pode intersectar uma reta
vertical numa quantidade não enumerável.
Demonstração
Logo, dado r ∈ R , ∃u ∈ U tal que hr , ui ∈ A
Demonstração
Fixe u qualquer em U.
Seja Au = {r ∈ R : hr , ui ∈ A}
Demonstração
AFIRMAÇÃO: Cada Au é
enumerável.
Demonstração
AFIRMAÇÃO: Cada Au é
enumerável.
De fato, como A intersecta
qualquer linha horizontal numa
quantidade enumerável e Au é a
interseção de A com a reta u.
Então Au é enumeravel.
Demonstração
[
AFIRMAÇÃO: R = Au .
u∈U
Demonstração
[
u∈U
De fato, dado r ∈ R ∃u ∈ U tal que hr , ui ∈ A

Logo r ∈ Au .
Demonstração
[
u∈U
De fato, dado r ∈ R ∃u ∈ U tal que hr , ui ∈ A

Logo r ∈ Au .
∴ |R| ≤ |U|.supu∈U |Au | = ℵ1 .ℵ0 = ℵ1
Principais Bibliografias
Jech, Thomas J. Set Theory. Academic Press, New York, 1978.

Kunen, Kenneth. Set Theory: An Introduction to the
Independence Proofs, Studies in Logic and the Foundations of
Mathematics, vol. 102. North-Holland Publ. Co., Amsterdam,
1980.
Aurichi, L. F. Sobre a hipótese do contı́nuo, algumas
aplicações e equivalências, Dissertação de Mestrado, Instituto
de Matemática e Estatı́stica da USP, São Paulo, 2005
Alas, O. T. Sobre a Hipótese do Contı́nuo, Palestra ministrada
na Semana de Teoria dos Conjuntos e Topologia Geral,
Instituto de Matemática da UFBA, Salvador, 2010
Agradecimentos
Obrigado pela atenção.

Continuo de Cantor

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Continuo de Cantor

Uploaded by

Copyright:

Available Formats

A Hipótese do Contı́nuo: Equivalências e

Consequências em Análise e Topologia

Raiana Cristina de Souza Gouveia

Professor: Dr. Samuel Gomes da Silva

Neste plano de trabalho, inicialmente, conhecemos os Axiomas

Definição: Boa Ordem

Fato 0 Se (C , T ) e (D, U) são ordens totais, uma função injetora que

Fato 0 Se (C , T ) e (D, U) são ordens totais, uma função injetora que

Fato 1 Seja hA,Ri ordem total,v1 , v2 ∈ A com v1 Rv2 . Sejam

Fato 0 Se (C , T ) e (D, U) são ordens totais, uma função injetora que

Fato 1 Seja hA,Ri ordem total,v1 , v2 ∈ A com v1 Rv2 . Sejam

Fato 2 Suponha que f : A → B isomorfismo de ordens totais, hA,Ri e

Fato 0 Se (C , T ) e (D, U) são ordens totais, uma função injetora que

Fato 1 Seja hA,Ri ordem total,v1 , v2 ∈ A com v1 Rv2 . Sejam

Fato 2 Suponha que f : A → B isomorfismo de ordens totais, hA,Ri e

Fato 3 Se hA,Ri é boa ordem e x ∈ A, hA,Ri  hpred(A, x, R), Ri

Fato 4 Se hA, Ri e hB, Si são boas ordens e f, g isomorfismos entre A

Fato 4 Se hA, Ri e hB, Si são boas ordens e f, g isomorfismos entre A

Fato 4 Se hA, Ri e hB, Si são boas ordens e f, g isomorfismos entre A

Fato 4 Se hA, Ri e hB, Si são boas ordens e f, g isomorfismos entre A

Fato 4 Se hA, Ri e hB, Si são boas ordens e f, g isomorfismos entre A

Isto é: ℵ0 < 2ℵ0

Hipótese do Contı́nuo (CH)

Seja κ cardinal infinito. Logo, κ × κ ≈ κ.

⇒: Fixemos a seguinte enumeração: R = {rξ : ξ < ω1 }.

⇒: Fixemos a seguinte enumeração: R = {rξ : ξ < ω1 }.

⇒: Fixemos a seguinte enumeração: R = {rξ : ξ < ω1 }.

⇒: Fixemos a seguinte enumeração: R = {rξ : ξ < ω1 }.

Tome ha, bi ∈ Lh,α ∩ A.

⇒: Fixemos a seguinte enumeração: R = {rξ : ξ < ω1 }.

Tome ha, bi ∈ Lh,α ∩ A.

⇒: Fixemos a seguinte enumeração: R = {rξ : ξ < ω1 }.

Tome ha, bi ∈ Lh,α ∩ A.

⇒: Fixemos a seguinte enumeração: R = {rξ : ξ < ω1 }.

Tome ha, bi ∈ Lh,α ∩ A.

⇒: Fixemos a seguinte enumeração: R = {rξ : ξ < ω1 }.

Tome ha, bi ∈ Lh,α ∩ A.

Agora, definamos o seguinte conjunto:

Agora, definamos o seguinte conjunto:

Agora, definamos o seguinte conjunto:

Agora, definamos o seguinte conjunto:

Agora, definamos o seguinte conjunto:

Agora, definamos o seguinte conjunto:

Agora, definamos o seguinte conjunto:

⇐ : Suponha que existe a DS.

⇐ : Suponha que existe a DS.

⇐ : Suponha que existe a DS.

⇐ : Suponha que existe a DS.

⇐ : Suponha que existe a DS.

⇐ : Suponha que existe a DS.

⇐ : Suponha que existe a DS.

Logo, dado r ∈ R , ∃u ∈ U tal que hr , ui ∈ A

Logo, dado r ∈ R , ∃u ∈ U tal que hr , ui ∈ A

Logo, dado r ∈ R , ∃u ∈ U tal que hr , ui ∈ A

Logo, dado r ∈ R , ∃u ∈ U tal que hr , ui ∈ A

De fato, dado r ∈ R ∃u ∈ U tal que hr , ui ∈ A

De fato, dado r ∈ R ∃u ∈ U tal que hr , ui ∈ A

∴ |R| ≤ |U|.supu∈U |Au | = ℵ1 .ℵ0 = ℵ1

Jech, Thomas J. Set Theory. Academic Press, New York, 1978.

Obrigado pela atenção.

You might also like

Fato 3 Se hA,Ri é boa ordem e x ∈ A, hA,Ri hpred(A, x, R), Ri