SlideShare uma empresa Scribd logo
1 de 8
Baixar para ler offline
Teorema de Cantor – Schroeder –
Bernstein
Definição. Sejam A e B dois conjuntos. Dizemos que A e B
possuem a mesma Cardinalidade se existe uma bijeção
𝜙: 𝐴 → 𝐵.
Neste caso card(A) = card(B)
Proposição 1. Sejam A e B conjuntos não- vazios. Suponha que
exista uma função 𝛾: 𝐴 → 𝐵 sobrejetiva. Então existe uma função
𝜆: 𝐵 → 𝐴 injetiva.
Prova: Para cada 𝑦 ∈ 𝐵 podemos escolher um único 𝑥 𝑦 ∈ 𝐴 tal
que 𝛾( 𝑥 𝑦) = 𝑦
Então definimos 𝜆: 𝐵 → 𝐴, 𝜆( 𝑥) = 𝑥 𝑦. Evidentemente 𝜆 é uma
injeção.
Proposição 2. Sejam A e B conjuntos não- vazios. Suponha que
existe uma função 𝜆: 𝐵 → 𝐴 injetiva, então existe uma função
𝛾: 𝐴 → 𝐵 sobrejetiva.
Prova. Fixemos um 𝑏 ∈ 𝐵. De para A para já existe uma região
“bijetiva” vejamos:
Quando invertemos as flechas, a função já está quase pronta
Definição. Dizemos que a cardinalidade de A é menor do que o
igual a B, se existe uma função injetiva 𝜆: 𝐴 → 𝐵.
Notação. 𝑐𝑎𝑟𝑑(𝐴) ≤ 𝑐𝑎𝑟𝑑(𝐵)
Proposição 3. Se 𝐵 ⊂ 𝐴 e 𝑐𝑎𝑟𝑑(𝐴) ≤ 𝑐𝑎𝑟𝑑(𝐵), então A e B tem
a mesma cardinalidade. Ou seja, se 𝐵 ⊂ 𝐴 e existe uma função
injetiva 𝑓: 𝐴 → 𝐵, então A e B tem a mesma cardinalidade.
Prova. Seja 𝑓: 𝐴 → 𝐵 uma função injetiva de A em B, com
𝐵 ⊂ 𝐴, daí segue que 𝑓(𝐵) ⊂ 𝑓(𝐴).
Afirmação. 𝑓 𝑛
(𝐵) ⊂ 𝑓 𝑛
(𝐴) para todo 𝑛 ∈ 𝑁.
Prova da afirmação. 𝑃𝑎𝑟𝑎 𝑛 = 1, é 𝑐𝑙𝑎𝑟𝑜.
Hipótese de indução. Para um certo 𝑘 ∈ 𝑁, vale que
𝑓 𝑘
(𝐵) ⊂ 𝑓 𝑘
(𝐴). 𝑓 𝑘
= 𝑓 ∘ 𝑓 ∘ … ∘ 𝑓 𝑐𝑜𝑚 𝑘 𝑓′
𝑠.
𝑓 𝑘( 𝑥) = ( 𝑓 ∘ 𝑓 ∘ … ∘ 𝑓)( 𝑥) = 𝑓(𝑓 … ( 𝑓( 𝑥)) … )
Então existe um
𝑓 𝑘( 𝐵) 𝑒 𝑓 𝑘
(𝐴) são subconjuntos do domínio da função. Logo
𝑓 𝑘
(𝐵) ⊂ 𝑓 𝑘
(𝐴) implica que f(𝑓 𝑘
(𝐵)) ⊂ 𝑓(𝑓 𝑘
(𝐴)) que é o
mesmo que 𝑓 𝑘+1
(𝐵) ⊂ 𝑓 𝑘+1
(𝐴).
Explorando a notação.
𝑓( 𝑀) = {𝑓( 𝑥); 𝑥 ∈ 𝑀 } ou de outro modo se 𝑤 ∈ 𝑓( 𝑀) então
existe um 𝑥 ∈ 𝑀 tal que 𝑓( 𝑥) = 𝑤.
𝑠𝑒𝑗𝑎 𝑧 ∈ 𝑓 𝑘+1
(𝐵)
Existe 𝑥 ∈ 𝐵 tal que 𝑓 𝑘+1( 𝑥) = 𝑧. Temos que
𝑓 𝑘+1( 𝑥) = 𝑓(𝑓 𝑘( 𝑥)) note que 𝑓 𝑘( 𝑥) ∈ 𝑓 𝑘( 𝐵) então
𝑓 𝑘( 𝑥) ∈ 𝑓 𝑘( 𝐴) isto implica que
𝑓(𝑓 𝑘( 𝑥)) ∈ 𝑓(𝑓 𝑘( 𝐴)) = 𝑓 𝑘+1
(𝐴).
Final da prova da afirmação.
𝑋 = {𝑥 ∈ 𝐴; 𝑥 ∈ ⋃ 𝑓 𝑛( 𝐴) − 𝑓 𝑛( 𝐵)
𝑛∈𝑁∪{0}
}
E, então, define-se 𝑔: 𝐴 → 𝐵 tal que
Para provar que g é Injetiva, basta mostrar que, dados 𝑎 ∈ 𝑋 e
𝑏 ∈ (𝐴 − 𝑋), 𝑔(𝑎) ≠ 𝑔(𝑏). Imaginemos que fosse 𝑔( 𝑎) = 𝑔( 𝑏).
Então teríamos 𝑓( 𝑎) = 𝑔( 𝑎) = 𝑔( 𝑏) = 𝑏
Para este a existe um 𝑚 ∈ 𝑁 tal que 𝑎 ∈ (𝑓 𝑚( 𝐴) − 𝑓 𝑚
(𝐵)),
tem-se que 𝑓( 𝑎) = 𝑏 ∈ 𝑓 𝑚+1( 𝐴).
Note que 𝑎 ∈ 𝑓 𝑚( 𝐴) 𝑒 𝑎 ∉ 𝑓 𝑚
(𝐵). Então duas coisas estão
acontecendo:
 um 𝑥0 ∈ 𝐴 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑓 𝑚( 𝑥0) = 𝑎
 se 𝑥 ∈ 𝐵 então 𝑓 𝑚( 𝑥) ≠ 𝑎
Segue
𝑓( 𝑓 𝑚( 𝑥0)) = 𝑓( 𝑎) → 𝑓 𝑚+1( 𝑥0) = 𝑓(𝑎) → 𝑓(𝑎) ∈ 𝑓 𝑚+1
(𝐴)
E, portanto 𝑏 ∈ 𝑓 𝑚+1
(𝐴).
Como 𝑏 ∉ 𝑋 concluímos que 𝑏 ∈ 𝑓 𝑚+1
(𝐵). Isto quer dizer que
existe um 𝑥 𝜃 ∈ 𝐵 tal que 𝑓 𝑚+1( 𝑥 𝜃) = 𝑏 ou 𝑓(𝑓 𝑚( 𝑥 𝜃)) = 𝑏.
Afirmação. 𝑆𝑒 𝑥 𝜃 ∈ 𝐵 → 𝑓 𝑚( 𝑥 𝜃) ∈ 𝑓 𝑚
(𝐵).
É óbvio.
Ponha 𝑓 𝑚( 𝑥 𝜃) = 𝑝. Então 𝑓( 𝑝) = 𝑏. Mas pela injetividade de f,
vem que 𝑎 = 𝑝 ∈ 𝑓 𝑚
(𝐵), portanto 𝑎 ∉ (𝑓 𝑚( 𝐴) − 𝑓 𝑚( 𝐵)).
Contradição. Então deve ser 𝑔( 𝑎) ≠ 𝑔( 𝑏).
A função g definida acima é de fato injetiva.
Passaremos agora a focar na sobrejetividade da função g. Dado
𝑦0 ∈ 𝐵
se
𝑦0 ∈ 𝐵 − 𝑋
Basta ver que g(𝑦0) = 𝑦0. Caso
𝑦0 ∈ 𝑋 ∩ 𝐵
Tem-se que 𝑦0 ∈ (𝑓 𝑡( 𝐴) − 𝑓 𝑡
(𝐵)) para algum 𝑡 ∈ 𝑁. Temos
𝑦0 ∈ 𝑓 𝑡( 𝐴) 𝑒 𝑦0 ∉ 𝑓 𝑡
(𝐵)
Como 𝑓 𝑡( 𝐴) = 𝑓(𝑓 𝑡−1( 𝐴)) segue que existe 𝑧 ∈ 𝑓 𝑡−1( 𝐴) tal que
f(z) = 𝑦0. E, também tem-se que
𝑧 ∉ 𝑓 𝑡−1
(𝐵)
Pois se fosse
𝑧 ∈ 𝑓 𝑡−1
(𝐵) → 𝑓(𝑧) ∈ 𝑓 𝑡
(𝐵) → 𝑦0 ∈ 𝑓 𝑡
(𝐵) → 𝑎𝑏𝑠𝑢𝑟𝑑𝑜.
Concluímos que
𝑧 ∈ 𝑓 𝑡−1( 𝐴) − 𝑓 𝑡−1
(𝐵)
E portanto 𝑔( 𝑧) = 𝑓( 𝑧) = 𝑦0
Isto completa a prova da sobrejetividade de g.
Portanto g é uma bijeção, donde segue que
𝐶𝑎𝑟𝑑( 𝐴) = 𝐶𝑎𝑟𝑑(𝐵).
Teorema de Cantor-Schroeder-
Bernstein
Sejam A,B conjuntos não vazios. Se 𝐶𝑎𝑟𝑑(𝐴) ≤ 𝐶𝑎𝑟𝑑(𝐵) e
𝐶𝑎𝑟𝑑(𝐵) ≤ 𝐶𝑎𝑟𝑑(𝐴), segue-se que 𝐶𝑎𝑟𝑑( 𝐴) = 𝐶𝑎𝑟𝑑(𝐵). Ou
seja, se existem injeções 𝑓: 𝐴 → 𝐵 e 𝑔: 𝐵 → 𝐴, então existem
uma bijeção 𝜙: 𝐴 → 𝐵.
Prova: Tomando as injeções 𝑓: 𝐴 → 𝐵 e 𝑔: 𝐵 → 𝐴, tem-se que
𝑓∗
: 𝐴 → 𝑓(𝐴), onde 𝑓∗( 𝑥) = 𝑓(𝑥) é uma bijeção entre A e
𝑓( 𝐴) ⊆ 𝐵.
Logo (𝑓∗
∘ 𝑔): 𝐵 → 𝑓(𝐴) é uma injeção, como 𝑓( 𝐴) ⊆ 𝐵.
Pela proposição 3 temos que 𝐶𝑎𝑟𝑑( 𝑓( 𝐴)) = 𝐶𝑎𝑟𝑑(𝐵), ou, em
palavras, existe uma bijeção
ℎ: 𝑓(𝐴) → 𝐵
Note, então, que
𝜙 = (ℎ 𝜊 𝑓∗): 𝐴 → 𝐵
É composição de bijeções e, portanto, bijeção.

Mais conteúdo relacionado

Mais procurados

Educogente 9° ano -aula 1 - equação do 2° grau -
Educogente   9° ano -aula 1 - equação do 2° grau -Educogente   9° ano -aula 1 - equação do 2° grau -
Educogente 9° ano -aula 1 - equação do 2° grau -Patrícia Costa Grigório
 
Resolução de sistemas de inequações lineares com uma variavel
Resolução de sistemas de inequações lineares com uma variavelResolução de sistemas de inequações lineares com uma variavel
Resolução de sistemas de inequações lineares com uma variavelJeremias Manhica
 
Matemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivasMatemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivasUlrich Schiel
 
Relações binárias e funções prof. rodolfo uhlmann
Relações binárias e funções prof. rodolfo uhlmannRelações binárias e funções prof. rodolfo uhlmann
Relações binárias e funções prof. rodolfo uhlmannRodolfo Freitas
 
Equação de 1º grau
Equação de 1º grauEquação de 1º grau
Equação de 1º grauleilamaluf
 
Função de 1º Grau.
Função de 1º Grau.Função de 1º Grau.
Função de 1º Grau.carolgouvea
 
Brincando e Aprendendo com a Matemática Equação
Brincando e Aprendendo com a Matemática EquaçãoBrincando e Aprendendo com a Matemática Equação
Brincando e Aprendendo com a Matemática Equaçãoivanetelimaseixas
 
Congruências Quadráticas
Congruências QuadráticasCongruências Quadráticas
Congruências QuadráticasLuciana Martino
 
2972340 matematica-exercicios-resolvidos-logaritmos-resolvidos
2972340 matematica-exercicios-resolvidos-logaritmos-resolvidos2972340 matematica-exercicios-resolvidos-logaritmos-resolvidos
2972340 matematica-exercicios-resolvidos-logaritmos-resolvidosRoberta Araujo do Amorim
 
Congruências Lineares e Classes Residuais
Congruências Lineares e Classes ResiduaisCongruências Lineares e Classes Residuais
Congruências Lineares e Classes ResiduaisLuciana Martino
 
04 eac proj vest mat módulo 1 função logarítmica
04 eac proj vest mat módulo 1 função logarítmica04 eac proj vest mat módulo 1 função logarítmica
04 eac proj vest mat módulo 1 função logarítmicacon_seguir
 
Racionalização
RacionalizaçãoRacionalização
Racionalizaçãoleilamaluf
 
Exercicios resolvidos
Exercicios resolvidosExercicios resolvidos
Exercicios resolvidosBrunna Vilar
 
Expressoes algebricas
Expressoes algebricasExpressoes algebricas
Expressoes algebricasLarissa Souza
 

Mais procurados (20)

Educogente 9° ano -aula 1 - equação do 2° grau -
Educogente   9° ano -aula 1 - equação do 2° grau -Educogente   9° ano -aula 1 - equação do 2° grau -
Educogente 9° ano -aula 1 - equação do 2° grau -
 
Resolução de sistemas de inequações lineares com uma variavel
Resolução de sistemas de inequações lineares com uma variavelResolução de sistemas de inequações lineares com uma variavel
Resolução de sistemas de inequações lineares com uma variavel
 
Matemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivasMatemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivas
 
Relações de Girard
Relações de GirardRelações de Girard
Relações de Girard
 
Relações binárias e funções prof. rodolfo uhlmann
Relações binárias e funções prof. rodolfo uhlmannRelações binárias e funções prof. rodolfo uhlmann
Relações binárias e funções prof. rodolfo uhlmann
 
Equação de 1º grau
Equação de 1º grauEquação de 1º grau
Equação de 1º grau
 
Função de 1º Grau.
Função de 1º Grau.Função de 1º Grau.
Função de 1º Grau.
 
Brincando e Aprendendo com a Matemática Equação
Brincando e Aprendendo com a Matemática EquaçãoBrincando e Aprendendo com a Matemática Equação
Brincando e Aprendendo com a Matemática Equação
 
Congruências Quadráticas
Congruências QuadráticasCongruências Quadráticas
Congruências Quadráticas
 
Teorema chinês do resto
Teorema chinês do restoTeorema chinês do resto
Teorema chinês do resto
 
2972340 matematica-exercicios-resolvidos-logaritmos-resolvidos
2972340 matematica-exercicios-resolvidos-logaritmos-resolvidos2972340 matematica-exercicios-resolvidos-logaritmos-resolvidos
2972340 matematica-exercicios-resolvidos-logaritmos-resolvidos
 
EquaçõEs De 1º Grau
EquaçõEs De 1º GrauEquaçõEs De 1º Grau
EquaçõEs De 1º Grau
 
Congruências Lineares e Classes Residuais
Congruências Lineares e Classes ResiduaisCongruências Lineares e Classes Residuais
Congruências Lineares e Classes Residuais
 
04 eac proj vest mat módulo 1 função logarítmica
04 eac proj vest mat módulo 1 função logarítmica04 eac proj vest mat módulo 1 função logarítmica
04 eac proj vest mat módulo 1 função logarítmica
 
01 - Conjuntos
01 - Conjuntos01 - Conjuntos
01 - Conjuntos
 
TEORIA DE CONJUNTOS
TEORIA DE CONJUNTOS TEORIA DE CONJUNTOS
TEORIA DE CONJUNTOS
 
Racionalização
RacionalizaçãoRacionalização
Racionalização
 
Matematica Aplicada
Matematica AplicadaMatematica Aplicada
Matematica Aplicada
 
Exercicios resolvidos
Exercicios resolvidosExercicios resolvidos
Exercicios resolvidos
 
Expressoes algebricas
Expressoes algebricasExpressoes algebricas
Expressoes algebricas
 

Semelhante a Teorema de cantor

Exrecícior de estruturas algébricas
Exrecícior de estruturas algébricasExrecícior de estruturas algébricas
Exrecícior de estruturas algébricaswilkerfilipel
 
Exercícios resolvidos e propostos matemática
Exercícios resolvidos e propostos matemáticaExercícios resolvidos e propostos matemática
Exercícios resolvidos e propostos matemáticaMaths Tutoring
 
189778 integral indefinida
189778 integral indefinida189778 integral indefinida
189778 integral indefinidaCicero Laurindo
 
Calculo Integral - Conceito de primitiva e técnicas de primitivação
Calculo Integral - Conceito de primitiva e técnicas de primitivaçãoCalculo Integral - Conceito de primitiva e técnicas de primitivação
Calculo Integral - Conceito de primitiva e técnicas de primitivaçãoMaths Tutoring
 
Exercício: Determinar a classe de funções para os coeficientes não constantes...
Exercício: Determinar a classe de funções para os coeficientes não constantes...Exercício: Determinar a classe de funções para os coeficientes não constantes...
Exercício: Determinar a classe de funções para os coeficientes não constantes...Maths Tutoring
 
14.3 derivadas parciais [pt. 1]
14.3 derivadas parciais [pt. 1]14.3 derivadas parciais [pt. 1]
14.3 derivadas parciais [pt. 1]Cristiano Miranda
 
Aula_02_Cálculo_Integral_Osmar.pptx
Aula_02_Cálculo_Integral_Osmar.pptxAula_02_Cálculo_Integral_Osmar.pptx
Aula_02_Cálculo_Integral_Osmar.pptxLUCASDANIELFERREIRAO
 
Revisão de matemática para vestibular
Revisão de matemática para vestibularRevisão de matemática para vestibular
Revisão de matemática para vestibularLucas Garcia Borges
 
Aula 9 espaços vetoriais euclidianos - parte 1 - copia
Aula 9   espaços vetoriais euclidianos - parte 1 - copiaAula 9   espaços vetoriais euclidianos - parte 1 - copia
Aula 9 espaços vetoriais euclidianos - parte 1 - copiaGregorio Tomas Gonzaga
 
Cálculo Diferencial e Integral - Sucessões - Exercicios resolvidos e propostos
Cálculo Diferencial e Integral - Sucessões - Exercicios resolvidos e propostosCálculo Diferencial e Integral - Sucessões - Exercicios resolvidos e propostos
Cálculo Diferencial e Integral - Sucessões - Exercicios resolvidos e propostosMaths Tutoring
 
Actions of Groups of Magic Squares and Hypercubes - Algebraic-geometry Theo...
Actions of Groups of Magic Squares and Hypercubes  -  Algebraic-geometry Theo...Actions of Groups of Magic Squares and Hypercubes  -  Algebraic-geometry Theo...
Actions of Groups of Magic Squares and Hypercubes - Algebraic-geometry Theo...Lossian Barbosa Bacelar Miranda
 
Aula 02 - Primitivas Imediatas
Aula 02  - Primitivas ImediatasAula 02  - Primitivas Imediatas
Aula 02 - Primitivas ImediatasWadiley Nascimento
 
mat_ii_aula-2_integral-definida.pdf
mat_ii_aula-2_integral-definida.pdfmat_ii_aula-2_integral-definida.pdf
mat_ii_aula-2_integral-definida.pdfRuanFurtado2
 
Aula 23 -Fasores I (1) (1).pdf
Aula 23 -Fasores I (1) (1).pdfAula 23 -Fasores I (1) (1).pdf
Aula 23 -Fasores I (1) (1).pdfGuilhermeButzke3
 
A matemática do ensino médio vol 1
A matemática do ensino médio vol 1A matemática do ensino médio vol 1
A matemática do ensino médio vol 1joutrumundo
 

Semelhante a Teorema de cantor (20)

Exrecícior de estruturas algébricas
Exrecícior de estruturas algébricasExrecícior de estruturas algébricas
Exrecícior de estruturas algébricas
 
Exercícios resolvidos e propostos matemática
Exercícios resolvidos e propostos matemáticaExercícios resolvidos e propostos matemática
Exercícios resolvidos e propostos matemática
 
189778 integral indefinida
189778 integral indefinida189778 integral indefinida
189778 integral indefinida
 
Exercsolv1
Exercsolv1Exercsolv1
Exercsolv1
 
Calculo Integral - Conceito de primitiva e técnicas de primitivação
Calculo Integral - Conceito de primitiva e técnicas de primitivaçãoCalculo Integral - Conceito de primitiva e técnicas de primitivação
Calculo Integral - Conceito de primitiva e técnicas de primitivação
 
Exercício: Determinar a classe de funções para os coeficientes não constantes...
Exercício: Determinar a classe de funções para os coeficientes não constantes...Exercício: Determinar a classe de funções para os coeficientes não constantes...
Exercício: Determinar a classe de funções para os coeficientes não constantes...
 
14.3 derivadas parciais [pt. 1]
14.3 derivadas parciais [pt. 1]14.3 derivadas parciais [pt. 1]
14.3 derivadas parciais [pt. 1]
 
Corpo reais
Corpo reaisCorpo reais
Corpo reais
 
Aula_02_Cálculo_Integral_Osmar.pptx
Aula_02_Cálculo_Integral_Osmar.pptxAula_02_Cálculo_Integral_Osmar.pptx
Aula_02_Cálculo_Integral_Osmar.pptx
 
Revisão de matemática para vestibular
Revisão de matemática para vestibularRevisão de matemática para vestibular
Revisão de matemática para vestibular
 
Aula 9 espaços vetoriais euclidianos - parte 1 - copia
Aula 9   espaços vetoriais euclidianos - parte 1 - copiaAula 9   espaços vetoriais euclidianos - parte 1 - copia
Aula 9 espaços vetoriais euclidianos - parte 1 - copia
 
integrais.pptx
integrais.pptxintegrais.pptx
integrais.pptx
 
Cálculo Diferencial e Integral - Sucessões - Exercicios resolvidos e propostos
Cálculo Diferencial e Integral - Sucessões - Exercicios resolvidos e propostosCálculo Diferencial e Integral - Sucessões - Exercicios resolvidos e propostos
Cálculo Diferencial e Integral - Sucessões - Exercicios resolvidos e propostos
 
Actions of Groups of Magic Squares and Hypercubes - Algebraic-geometry Theo...
Actions of Groups of Magic Squares and Hypercubes  -  Algebraic-geometry Theo...Actions of Groups of Magic Squares and Hypercubes  -  Algebraic-geometry Theo...
Actions of Groups of Magic Squares and Hypercubes - Algebraic-geometry Theo...
 
Calculo1 aula10
Calculo1 aula10Calculo1 aula10
Calculo1 aula10
 
Aula 02 - Primitivas Imediatas
Aula 02  - Primitivas ImediatasAula 02  - Primitivas Imediatas
Aula 02 - Primitivas Imediatas
 
mat_ii_aula-2_integral-definida.pdf
mat_ii_aula-2_integral-definida.pdfmat_ii_aula-2_integral-definida.pdf
mat_ii_aula-2_integral-definida.pdf
 
Aula 23 -Fasores I (1) (1).pdf
Aula 23 -Fasores I (1) (1).pdfAula 23 -Fasores I (1) (1).pdf
Aula 23 -Fasores I (1) (1).pdf
 
A matemática do ensino médio vol 1
A matemática do ensino médio vol 1A matemática do ensino médio vol 1
A matemática do ensino médio vol 1
 
Novas Informações Sobre a Equação de Euler-Tricomi
Novas Informações Sobre a Equação de Euler-TricomiNovas Informações Sobre a Equação de Euler-Tricomi
Novas Informações Sobre a Equação de Euler-Tricomi
 

Último

COMPETÊNCIA 4 NO ENEM: O TEXTO E SUAS AMARRACÕES
COMPETÊNCIA 4 NO ENEM: O TEXTO E SUAS AMARRACÕESCOMPETÊNCIA 4 NO ENEM: O TEXTO E SUAS AMARRACÕES
COMPETÊNCIA 4 NO ENEM: O TEXTO E SUAS AMARRACÕESEduardaReis50
 
Historia da Arte europeia e não só. .pdf
Historia da Arte europeia e não só. .pdfHistoria da Arte europeia e não só. .pdf
Historia da Arte europeia e não só. .pdfEmanuel Pio
 
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: LEITURA DE IMAGENS, GRÁFICOS E MA...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: LEITURA DE IMAGENS, GRÁFICOS E MA...PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: LEITURA DE IMAGENS, GRÁFICOS E MA...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: LEITURA DE IMAGENS, GRÁFICOS E MA...azulassessoria9
 
Projeto de Extensão - ENGENHARIA DE SOFTWARE - BACHARELADO.pdf
Projeto de Extensão - ENGENHARIA DE SOFTWARE - BACHARELADO.pdfProjeto de Extensão - ENGENHARIA DE SOFTWARE - BACHARELADO.pdf
Projeto de Extensão - ENGENHARIA DE SOFTWARE - BACHARELADO.pdfHELENO FAVACHO
 
PROGRAMA DE AÇÃO 2024 - MARIANA DA SILVA MORAES.pdf
PROGRAMA DE AÇÃO 2024 - MARIANA DA SILVA MORAES.pdfPROGRAMA DE AÇÃO 2024 - MARIANA DA SILVA MORAES.pdf
PROGRAMA DE AÇÃO 2024 - MARIANA DA SILVA MORAES.pdfMarianaMoraesMathias
 
Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....
Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....
Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....LuizHenriquedeAlmeid6
 
PROJETO DE EXTENSÃO - EDUCAÇÃO FÍSICA BACHARELADO.pdf
PROJETO DE EXTENSÃO - EDUCAÇÃO FÍSICA BACHARELADO.pdfPROJETO DE EXTENSÃO - EDUCAÇÃO FÍSICA BACHARELADO.pdf
PROJETO DE EXTENSÃO - EDUCAÇÃO FÍSICA BACHARELADO.pdfHELENO FAVACHO
 
Reta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdf
Reta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdfReta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdf
Reta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdfWagnerCamposCEA
 
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...IsabelPereira2010
 
Atividade - Letra da música Esperando na Janela.
Atividade -  Letra da música Esperando na Janela.Atividade -  Letra da música Esperando na Janela.
Atividade - Letra da música Esperando na Janela.Mary Alvarenga
 
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdfLeloIurk1
 
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcanteCOMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcanteVanessaCavalcante37
 
Dicionário de Genealogia, autor Gilber Rubim Rangel
Dicionário de Genealogia, autor Gilber Rubim RangelDicionário de Genealogia, autor Gilber Rubim Rangel
Dicionário de Genealogia, autor Gilber Rubim RangelGilber Rubim Rangel
 
Música Meu Abrigo - Texto e atividade
Música   Meu   Abrigo  -   Texto e atividadeMúsica   Meu   Abrigo  -   Texto e atividade
Música Meu Abrigo - Texto e atividadeMary Alvarenga
 
planejamento_estrategico_-_gestao_2021-2024_16015654.pdf
planejamento_estrategico_-_gestao_2021-2024_16015654.pdfplanejamento_estrategico_-_gestao_2021-2024_16015654.pdf
planejamento_estrategico_-_gestao_2021-2024_16015654.pdfmaurocesarpaesalmeid
 
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...azulassessoria9
 
Discurso Direto, Indireto e Indireto Livre.pptx
Discurso Direto, Indireto e Indireto Livre.pptxDiscurso Direto, Indireto e Indireto Livre.pptx
Discurso Direto, Indireto e Indireto Livre.pptxferreirapriscilla84
 
FASE 1 MÉTODO LUMA E PONTO. TUDO SOBRE REDAÇÃO
FASE 1 MÉTODO LUMA E PONTO. TUDO SOBRE REDAÇÃOFASE 1 MÉTODO LUMA E PONTO. TUDO SOBRE REDAÇÃO
FASE 1 MÉTODO LUMA E PONTO. TUDO SOBRE REDAÇÃOAulasgravadas3
 

Último (20)

COMPETÊNCIA 4 NO ENEM: O TEXTO E SUAS AMARRACÕES
COMPETÊNCIA 4 NO ENEM: O TEXTO E SUAS AMARRACÕESCOMPETÊNCIA 4 NO ENEM: O TEXTO E SUAS AMARRACÕES
COMPETÊNCIA 4 NO ENEM: O TEXTO E SUAS AMARRACÕES
 
Historia da Arte europeia e não só. .pdf
Historia da Arte europeia e não só. .pdfHistoria da Arte europeia e não só. .pdf
Historia da Arte europeia e não só. .pdf
 
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: LEITURA DE IMAGENS, GRÁFICOS E MA...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: LEITURA DE IMAGENS, GRÁFICOS E MA...PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: LEITURA DE IMAGENS, GRÁFICOS E MA...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: LEITURA DE IMAGENS, GRÁFICOS E MA...
 
Projeto de Extensão - ENGENHARIA DE SOFTWARE - BACHARELADO.pdf
Projeto de Extensão - ENGENHARIA DE SOFTWARE - BACHARELADO.pdfProjeto de Extensão - ENGENHARIA DE SOFTWARE - BACHARELADO.pdf
Projeto de Extensão - ENGENHARIA DE SOFTWARE - BACHARELADO.pdf
 
CINEMATICA DE LOS MATERIALES Y PARTICULA
CINEMATICA DE LOS MATERIALES Y PARTICULACINEMATICA DE LOS MATERIALES Y PARTICULA
CINEMATICA DE LOS MATERIALES Y PARTICULA
 
PROGRAMA DE AÇÃO 2024 - MARIANA DA SILVA MORAES.pdf
PROGRAMA DE AÇÃO 2024 - MARIANA DA SILVA MORAES.pdfPROGRAMA DE AÇÃO 2024 - MARIANA DA SILVA MORAES.pdf
PROGRAMA DE AÇÃO 2024 - MARIANA DA SILVA MORAES.pdf
 
Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....
Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....
Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....
 
PROJETO DE EXTENSÃO - EDUCAÇÃO FÍSICA BACHARELADO.pdf
PROJETO DE EXTENSÃO - EDUCAÇÃO FÍSICA BACHARELADO.pdfPROJETO DE EXTENSÃO - EDUCAÇÃO FÍSICA BACHARELADO.pdf
PROJETO DE EXTENSÃO - EDUCAÇÃO FÍSICA BACHARELADO.pdf
 
Reta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdf
Reta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdfReta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdf
Reta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdf
 
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...
 
Atividade - Letra da música Esperando na Janela.
Atividade -  Letra da música Esperando na Janela.Atividade -  Letra da música Esperando na Janela.
Atividade - Letra da música Esperando na Janela.
 
Aula sobre o Imperialismo Europeu no século XIX
Aula sobre o Imperialismo Europeu no século XIXAula sobre o Imperialismo Europeu no século XIX
Aula sobre o Imperialismo Europeu no século XIX
 
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
 
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcanteCOMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
 
Dicionário de Genealogia, autor Gilber Rubim Rangel
Dicionário de Genealogia, autor Gilber Rubim RangelDicionário de Genealogia, autor Gilber Rubim Rangel
Dicionário de Genealogia, autor Gilber Rubim Rangel
 
Música Meu Abrigo - Texto e atividade
Música   Meu   Abrigo  -   Texto e atividadeMúsica   Meu   Abrigo  -   Texto e atividade
Música Meu Abrigo - Texto e atividade
 
planejamento_estrategico_-_gestao_2021-2024_16015654.pdf
planejamento_estrategico_-_gestao_2021-2024_16015654.pdfplanejamento_estrategico_-_gestao_2021-2024_16015654.pdf
planejamento_estrategico_-_gestao_2021-2024_16015654.pdf
 
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
 
Discurso Direto, Indireto e Indireto Livre.pptx
Discurso Direto, Indireto e Indireto Livre.pptxDiscurso Direto, Indireto e Indireto Livre.pptx
Discurso Direto, Indireto e Indireto Livre.pptx
 
FASE 1 MÉTODO LUMA E PONTO. TUDO SOBRE REDAÇÃO
FASE 1 MÉTODO LUMA E PONTO. TUDO SOBRE REDAÇÃOFASE 1 MÉTODO LUMA E PONTO. TUDO SOBRE REDAÇÃO
FASE 1 MÉTODO LUMA E PONTO. TUDO SOBRE REDAÇÃO
 

Teorema de cantor

  • 1. Teorema de Cantor – Schroeder – Bernstein Definição. Sejam A e B dois conjuntos. Dizemos que A e B possuem a mesma Cardinalidade se existe uma bijeção 𝜙: 𝐴 → 𝐵. Neste caso card(A) = card(B) Proposição 1. Sejam A e B conjuntos não- vazios. Suponha que exista uma função 𝛾: 𝐴 → 𝐵 sobrejetiva. Então existe uma função 𝜆: 𝐵 → 𝐴 injetiva. Prova: Para cada 𝑦 ∈ 𝐵 podemos escolher um único 𝑥 𝑦 ∈ 𝐴 tal que 𝛾( 𝑥 𝑦) = 𝑦 Então definimos 𝜆: 𝐵 → 𝐴, 𝜆( 𝑥) = 𝑥 𝑦. Evidentemente 𝜆 é uma injeção. Proposição 2. Sejam A e B conjuntos não- vazios. Suponha que existe uma função 𝜆: 𝐵 → 𝐴 injetiva, então existe uma função 𝛾: 𝐴 → 𝐵 sobrejetiva. Prova. Fixemos um 𝑏 ∈ 𝐵. De para A para já existe uma região “bijetiva” vejamos:
  • 2. Quando invertemos as flechas, a função já está quase pronta
  • 3. Definição. Dizemos que a cardinalidade de A é menor do que o igual a B, se existe uma função injetiva 𝜆: 𝐴 → 𝐵. Notação. 𝑐𝑎𝑟𝑑(𝐴) ≤ 𝑐𝑎𝑟𝑑(𝐵) Proposição 3. Se 𝐵 ⊂ 𝐴 e 𝑐𝑎𝑟𝑑(𝐴) ≤ 𝑐𝑎𝑟𝑑(𝐵), então A e B tem a mesma cardinalidade. Ou seja, se 𝐵 ⊂ 𝐴 e existe uma função injetiva 𝑓: 𝐴 → 𝐵, então A e B tem a mesma cardinalidade. Prova. Seja 𝑓: 𝐴 → 𝐵 uma função injetiva de A em B, com 𝐵 ⊂ 𝐴, daí segue que 𝑓(𝐵) ⊂ 𝑓(𝐴). Afirmação. 𝑓 𝑛 (𝐵) ⊂ 𝑓 𝑛 (𝐴) para todo 𝑛 ∈ 𝑁. Prova da afirmação. 𝑃𝑎𝑟𝑎 𝑛 = 1, é 𝑐𝑙𝑎𝑟𝑜. Hipótese de indução. Para um certo 𝑘 ∈ 𝑁, vale que 𝑓 𝑘 (𝐵) ⊂ 𝑓 𝑘 (𝐴). 𝑓 𝑘 = 𝑓 ∘ 𝑓 ∘ … ∘ 𝑓 𝑐𝑜𝑚 𝑘 𝑓′ 𝑠. 𝑓 𝑘( 𝑥) = ( 𝑓 ∘ 𝑓 ∘ … ∘ 𝑓)( 𝑥) = 𝑓(𝑓 … ( 𝑓( 𝑥)) … ) Então existe um 𝑓 𝑘( 𝐵) 𝑒 𝑓 𝑘 (𝐴) são subconjuntos do domínio da função. Logo 𝑓 𝑘 (𝐵) ⊂ 𝑓 𝑘 (𝐴) implica que f(𝑓 𝑘 (𝐵)) ⊂ 𝑓(𝑓 𝑘 (𝐴)) que é o mesmo que 𝑓 𝑘+1 (𝐵) ⊂ 𝑓 𝑘+1 (𝐴).
  • 4. Explorando a notação. 𝑓( 𝑀) = {𝑓( 𝑥); 𝑥 ∈ 𝑀 } ou de outro modo se 𝑤 ∈ 𝑓( 𝑀) então existe um 𝑥 ∈ 𝑀 tal que 𝑓( 𝑥) = 𝑤. 𝑠𝑒𝑗𝑎 𝑧 ∈ 𝑓 𝑘+1 (𝐵) Existe 𝑥 ∈ 𝐵 tal que 𝑓 𝑘+1( 𝑥) = 𝑧. Temos que 𝑓 𝑘+1( 𝑥) = 𝑓(𝑓 𝑘( 𝑥)) note que 𝑓 𝑘( 𝑥) ∈ 𝑓 𝑘( 𝐵) então 𝑓 𝑘( 𝑥) ∈ 𝑓 𝑘( 𝐴) isto implica que 𝑓(𝑓 𝑘( 𝑥)) ∈ 𝑓(𝑓 𝑘( 𝐴)) = 𝑓 𝑘+1 (𝐴). Final da prova da afirmação. 𝑋 = {𝑥 ∈ 𝐴; 𝑥 ∈ ⋃ 𝑓 𝑛( 𝐴) − 𝑓 𝑛( 𝐵) 𝑛∈𝑁∪{0} } E, então, define-se 𝑔: 𝐴 → 𝐵 tal que
  • 5. Para provar que g é Injetiva, basta mostrar que, dados 𝑎 ∈ 𝑋 e 𝑏 ∈ (𝐴 − 𝑋), 𝑔(𝑎) ≠ 𝑔(𝑏). Imaginemos que fosse 𝑔( 𝑎) = 𝑔( 𝑏). Então teríamos 𝑓( 𝑎) = 𝑔( 𝑎) = 𝑔( 𝑏) = 𝑏 Para este a existe um 𝑚 ∈ 𝑁 tal que 𝑎 ∈ (𝑓 𝑚( 𝐴) − 𝑓 𝑚 (𝐵)), tem-se que 𝑓( 𝑎) = 𝑏 ∈ 𝑓 𝑚+1( 𝐴). Note que 𝑎 ∈ 𝑓 𝑚( 𝐴) 𝑒 𝑎 ∉ 𝑓 𝑚 (𝐵). Então duas coisas estão acontecendo:  um 𝑥0 ∈ 𝐴 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑓 𝑚( 𝑥0) = 𝑎  se 𝑥 ∈ 𝐵 então 𝑓 𝑚( 𝑥) ≠ 𝑎 Segue 𝑓( 𝑓 𝑚( 𝑥0)) = 𝑓( 𝑎) → 𝑓 𝑚+1( 𝑥0) = 𝑓(𝑎) → 𝑓(𝑎) ∈ 𝑓 𝑚+1 (𝐴) E, portanto 𝑏 ∈ 𝑓 𝑚+1 (𝐴). Como 𝑏 ∉ 𝑋 concluímos que 𝑏 ∈ 𝑓 𝑚+1 (𝐵). Isto quer dizer que existe um 𝑥 𝜃 ∈ 𝐵 tal que 𝑓 𝑚+1( 𝑥 𝜃) = 𝑏 ou 𝑓(𝑓 𝑚( 𝑥 𝜃)) = 𝑏. Afirmação. 𝑆𝑒 𝑥 𝜃 ∈ 𝐵 → 𝑓 𝑚( 𝑥 𝜃) ∈ 𝑓 𝑚 (𝐵). É óbvio. Ponha 𝑓 𝑚( 𝑥 𝜃) = 𝑝. Então 𝑓( 𝑝) = 𝑏. Mas pela injetividade de f, vem que 𝑎 = 𝑝 ∈ 𝑓 𝑚 (𝐵), portanto 𝑎 ∉ (𝑓 𝑚( 𝐴) − 𝑓 𝑚( 𝐵)). Contradição. Então deve ser 𝑔( 𝑎) ≠ 𝑔( 𝑏). A função g definida acima é de fato injetiva. Passaremos agora a focar na sobrejetividade da função g. Dado
  • 6. 𝑦0 ∈ 𝐵 se 𝑦0 ∈ 𝐵 − 𝑋 Basta ver que g(𝑦0) = 𝑦0. Caso 𝑦0 ∈ 𝑋 ∩ 𝐵 Tem-se que 𝑦0 ∈ (𝑓 𝑡( 𝐴) − 𝑓 𝑡 (𝐵)) para algum 𝑡 ∈ 𝑁. Temos 𝑦0 ∈ 𝑓 𝑡( 𝐴) 𝑒 𝑦0 ∉ 𝑓 𝑡 (𝐵) Como 𝑓 𝑡( 𝐴) = 𝑓(𝑓 𝑡−1( 𝐴)) segue que existe 𝑧 ∈ 𝑓 𝑡−1( 𝐴) tal que f(z) = 𝑦0. E, também tem-se que 𝑧 ∉ 𝑓 𝑡−1 (𝐵) Pois se fosse 𝑧 ∈ 𝑓 𝑡−1 (𝐵) → 𝑓(𝑧) ∈ 𝑓 𝑡 (𝐵) → 𝑦0 ∈ 𝑓 𝑡 (𝐵) → 𝑎𝑏𝑠𝑢𝑟𝑑𝑜. Concluímos que 𝑧 ∈ 𝑓 𝑡−1( 𝐴) − 𝑓 𝑡−1 (𝐵) E portanto 𝑔( 𝑧) = 𝑓( 𝑧) = 𝑦0 Isto completa a prova da sobrejetividade de g. Portanto g é uma bijeção, donde segue que 𝐶𝑎𝑟𝑑( 𝐴) = 𝐶𝑎𝑟𝑑(𝐵). Teorema de Cantor-Schroeder- Bernstein Sejam A,B conjuntos não vazios. Se 𝐶𝑎𝑟𝑑(𝐴) ≤ 𝐶𝑎𝑟𝑑(𝐵) e 𝐶𝑎𝑟𝑑(𝐵) ≤ 𝐶𝑎𝑟𝑑(𝐴), segue-se que 𝐶𝑎𝑟𝑑( 𝐴) = 𝐶𝑎𝑟𝑑(𝐵). Ou
  • 7. seja, se existem injeções 𝑓: 𝐴 → 𝐵 e 𝑔: 𝐵 → 𝐴, então existem uma bijeção 𝜙: 𝐴 → 𝐵. Prova: Tomando as injeções 𝑓: 𝐴 → 𝐵 e 𝑔: 𝐵 → 𝐴, tem-se que 𝑓∗ : 𝐴 → 𝑓(𝐴), onde 𝑓∗( 𝑥) = 𝑓(𝑥) é uma bijeção entre A e 𝑓( 𝐴) ⊆ 𝐵. Logo (𝑓∗ ∘ 𝑔): 𝐵 → 𝑓(𝐴) é uma injeção, como 𝑓( 𝐴) ⊆ 𝐵. Pela proposição 3 temos que 𝐶𝑎𝑟𝑑( 𝑓( 𝐴)) = 𝐶𝑎𝑟𝑑(𝐵), ou, em palavras, existe uma bijeção ℎ: 𝑓(𝐴) → 𝐵 Note, então, que
  • 8. 𝜙 = (ℎ 𝜊 𝑓∗): 𝐴 → 𝐵 É composição de bijeções e, portanto, bijeção.