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

1 exercícios de potenciação
1  exercícios de potenciação1  exercícios de potenciação
1 exercícios de potenciaçãoGabriela Andrade
 
Logaritmo e função logaritmica (exercícios resolvidos sobre logaritmos, logar...
Logaritmo e função logaritmica (exercícios resolvidos sobre logaritmos, logar...Logaritmo e função logaritmica (exercícios resolvidos sobre logaritmos, logar...
Logaritmo e função logaritmica (exercícios resolvidos sobre logaritmos, logar...wilkerfilipel
 
Critérios de divisibilidade
Critérios de divisibilidadeCritérios de divisibilidade
Critérios de divisibilidadeJosé Flausino
 
(63 alíneas) Exercicios resolvidos sobre logaritmos e equações logaritmicas
(63 alíneas) Exercicios resolvidos sobre logaritmos e equações logaritmicas (63 alíneas) Exercicios resolvidos sobre logaritmos e equações logaritmicas
(63 alíneas) Exercicios resolvidos sobre logaritmos e equações logaritmicas wilkerfilipel
 
Power point expressões numéricas
Power point expressões numéricasPower point expressões numéricas
Power point expressões numéricasAugusta Teixeira
 
Matemática 9º ano
Matemática 9º anoMatemática 9º ano
Matemática 9º anocelinachiara
 
Operacoes numeros decimais
Operacoes numeros decimaisOperacoes numeros decimais
Operacoes numeros decimaisEquipe_FAETEC
 
Progressão Aritmética
Progressão AritméticaProgressão Aritmética
Progressão Aritméticalucienejade
 
Exercícios de equações de 1º grau
Exercícios de equações de 1º grauExercícios de equações de 1º grau
Exercícios de equações de 1º grauAluizio Santos
 
Produtos notáveis (33 tipos)
Produtos notáveis (33 tipos)Produtos notáveis (33 tipos)
Produtos notáveis (33 tipos)Diego Minho
 
Comparação de números positivos e negativos
Comparação de números positivos e negativosComparação de números positivos e negativos
Comparação de números positivos e negativosProf. Materaldo
 
Exercicio de probabilidade
Exercicio de probabilidadeExercicio de probabilidade
Exercicio de probabilidadeEstude Mais
 
Potencia de expoente fraccionario
Potencia de expoente fraccionarioPotencia de expoente fraccionario
Potencia de expoente fraccionarioJeremias Manhica
 
Aula 14: O poço de potencial infinito
Aula 14: O poço de potencial infinitoAula 14: O poço de potencial infinito
Aula 14: O poço de potencial infinitoAdriano Silva
 

Mais procurados (20)

1 exercícios de potenciação
1  exercícios de potenciação1  exercícios de potenciação
1 exercícios de potenciação
 
Logaritmo e função logaritmica (exercícios resolvidos sobre logaritmos, logar...
Logaritmo e função logaritmica (exercícios resolvidos sobre logaritmos, logar...Logaritmo e função logaritmica (exercícios resolvidos sobre logaritmos, logar...
Logaritmo e função logaritmica (exercícios resolvidos sobre logaritmos, logar...
 
Probabilidade 2016
Probabilidade 2016Probabilidade 2016
Probabilidade 2016
 
"Somos Físicos" Logarítmos
"Somos Físicos" Logarítmos"Somos Físicos" Logarítmos
"Somos Físicos" Logarítmos
 
Radiciação
RadiciaçãoRadiciação
Radiciação
 
Critérios de divisibilidade
Critérios de divisibilidadeCritérios de divisibilidade
Critérios de divisibilidade
 
(63 alíneas) Exercicios resolvidos sobre logaritmos e equações logaritmicas
(63 alíneas) Exercicios resolvidos sobre logaritmos e equações logaritmicas (63 alíneas) Exercicios resolvidos sobre logaritmos e equações logaritmicas
(63 alíneas) Exercicios resolvidos sobre logaritmos e equações logaritmicas
 
Power point expressões numéricas
Power point expressões numéricasPower point expressões numéricas
Power point expressões numéricas
 
Matemática 9º ano
Matemática 9º anoMatemática 9º ano
Matemática 9º ano
 
Probabilidade médio iii
Probabilidade médio iiiProbabilidade médio iii
Probabilidade médio iii
 
Operacoes numeros decimais
Operacoes numeros decimaisOperacoes numeros decimais
Operacoes numeros decimais
 
Progressão Aritmética
Progressão AritméticaProgressão Aritmética
Progressão Aritmética
 
Exercícios de equações de 1º grau
Exercícios de equações de 1º grauExercícios de equações de 1º grau
Exercícios de equações de 1º grau
 
Matemática Neto Ceará
Matemática   Neto CearáMatemática   Neto Ceará
Matemática Neto Ceará
 
Produtos notáveis (33 tipos)
Produtos notáveis (33 tipos)Produtos notáveis (33 tipos)
Produtos notáveis (33 tipos)
 
Comparação de números positivos e negativos
Comparação de números positivos e negativosComparação de números positivos e negativos
Comparação de números positivos e negativos
 
Exercicio de probabilidade
Exercicio de probabilidadeExercicio de probabilidade
Exercicio de probabilidade
 
A MatemáTica Dos Esportes
A MatemáTica Dos EsportesA MatemáTica Dos Esportes
A MatemáTica Dos Esportes
 
Potencia de expoente fraccionario
Potencia de expoente fraccionarioPotencia de expoente fraccionario
Potencia de expoente fraccionario
 
Aula 14: O poço de potencial infinito
Aula 14: O poço de potencial infinitoAula 14: O poço de potencial infinito
Aula 14: O poço de potencial infinito
 

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
 
Exercicios resolvidos
Exercicios resolvidosExercicios resolvidos
Exercicios resolvidosBrunna Vilar
 
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
 
Exercicios resolvidos
Exercicios resolvidosExercicios resolvidos
Exercicios resolvidos
 
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
 

Último

SSE_BQ_Matematica_4A_SR.pdfffffffffffffffffffffffffffffffffff
SSE_BQ_Matematica_4A_SR.pdfffffffffffffffffffffffffffffffffffSSE_BQ_Matematica_4A_SR.pdfffffffffffffffffffffffffffffffffff
SSE_BQ_Matematica_4A_SR.pdfffffffffffffffffffffffffffffffffffNarlaAquino
 
Teoria heterotrófica e autotrófica dos primeiros seres vivos..pptx
Teoria heterotrófica e autotrófica dos primeiros seres vivos..pptxTeoria heterotrófica e autotrófica dos primeiros seres vivos..pptx
Teoria heterotrófica e autotrófica dos primeiros seres vivos..pptxTailsonSantos1
 
Projeto de Extensão - DESENVOLVIMENTO BACK-END.pdf
Projeto de Extensão - DESENVOLVIMENTO BACK-END.pdfProjeto de Extensão - DESENVOLVIMENTO BACK-END.pdf
Projeto de Extensão - DESENVOLVIMENTO BACK-END.pdfHELENO FAVACHO
 
8 Aula de predicado verbal e nominal - Predicativo do sujeito
8 Aula de predicado verbal e nominal - Predicativo do sujeito8 Aula de predicado verbal e nominal - Predicativo do sujeito
8 Aula de predicado verbal e nominal - Predicativo do sujeitotatianehilda
 
Monoteísmo, Politeísmo, Panteísmo 7 ANO2.pptx
Monoteísmo, Politeísmo, Panteísmo 7 ANO2.pptxMonoteísmo, Politeísmo, Panteísmo 7 ANO2.pptx
Monoteísmo, Politeísmo, Panteísmo 7 ANO2.pptxFlviaGomes64
 
EDUCAÇÃO ESPECIAL NA PERSPECTIVA INCLUSIVA
EDUCAÇÃO ESPECIAL NA PERSPECTIVA INCLUSIVAEDUCAÇÃO ESPECIAL NA PERSPECTIVA INCLUSIVA
EDUCAÇÃO ESPECIAL NA PERSPECTIVA INCLUSIVAssuser2ad38b
 
6ano variação linguística ensino fundamental.pptx
6ano variação linguística ensino fundamental.pptx6ano variação linguística ensino fundamental.pptx
6ano variação linguística ensino fundamental.pptxJssicaCassiano2
 
Estudar, para quê? Ciência, para quê? Parte 1 e Parte 2
Estudar, para quê?  Ciência, para quê? Parte 1 e Parte 2Estudar, para quê?  Ciência, para quê? Parte 1 e Parte 2
Estudar, para quê? Ciência, para quê? Parte 1 e Parte 2Maria Teresa Thomaz
 
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdf
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdfRecomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdf
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdfFrancisco Márcio Bezerra Oliveira
 
About Vila Galé- Cadeia Empresarial de Hotéis
About Vila Galé- Cadeia Empresarial de HotéisAbout Vila Galé- Cadeia Empresarial de Hotéis
About Vila Galé- Cadeia Empresarial de Hotéisines09cachapa
 
Texto dramático com Estrutura e exemplos.ppt
Texto dramático com Estrutura e exemplos.pptTexto dramático com Estrutura e exemplos.ppt
Texto dramático com Estrutura e exemplos.pptjricardo76
 
PROJETO DE EXTENSÃO I - Radiologia Tecnologia
PROJETO DE EXTENSÃO I - Radiologia TecnologiaPROJETO DE EXTENSÃO I - Radiologia Tecnologia
PROJETO DE EXTENSÃO I - Radiologia TecnologiaHELENO FAVACHO
 
matematica aula didatica prática e tecni
matematica aula didatica prática e tecnimatematica aula didatica prática e tecni
matematica aula didatica prática e tecniCleidianeCarvalhoPer
 
Camadas da terra -Litosfera conteúdo 6º ano
Camadas da terra -Litosfera  conteúdo 6º anoCamadas da terra -Litosfera  conteúdo 6º ano
Camadas da terra -Litosfera conteúdo 6º anoRachel Facundo
 
E a chuva ... (Livro pedagógico para ser usado na educação infantil e trabal...
E a chuva ...  (Livro pedagógico para ser usado na educação infantil e trabal...E a chuva ...  (Livro pedagógico para ser usado na educação infantil e trabal...
E a chuva ... (Livro pedagógico para ser usado na educação infantil e trabal...andreiavys
 
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptx
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptxSlides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptx
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptxLuizHenriquedeAlmeid6
 
Os editoriais, reportagens e entrevistas.pptx
Os editoriais, reportagens e entrevistas.pptxOs editoriais, reportagens e entrevistas.pptx
Os editoriais, reportagens e entrevistas.pptxTailsonSantos1
 
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
 
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
 

Último (20)

SSE_BQ_Matematica_4A_SR.pdfffffffffffffffffffffffffffffffffff
SSE_BQ_Matematica_4A_SR.pdfffffffffffffffffffffffffffffffffffSSE_BQ_Matematica_4A_SR.pdfffffffffffffffffffffffffffffffffff
SSE_BQ_Matematica_4A_SR.pdfffffffffffffffffffffffffffffffffff
 
Teoria heterotrófica e autotrófica dos primeiros seres vivos..pptx
Teoria heterotrófica e autotrófica dos primeiros seres vivos..pptxTeoria heterotrófica e autotrófica dos primeiros seres vivos..pptx
Teoria heterotrófica e autotrófica dos primeiros seres vivos..pptx
 
Projeto de Extensão - DESENVOLVIMENTO BACK-END.pdf
Projeto de Extensão - DESENVOLVIMENTO BACK-END.pdfProjeto de Extensão - DESENVOLVIMENTO BACK-END.pdf
Projeto de Extensão - DESENVOLVIMENTO BACK-END.pdf
 
8 Aula de predicado verbal e nominal - Predicativo do sujeito
8 Aula de predicado verbal e nominal - Predicativo do sujeito8 Aula de predicado verbal e nominal - Predicativo do sujeito
8 Aula de predicado verbal e nominal - Predicativo do sujeito
 
Monoteísmo, Politeísmo, Panteísmo 7 ANO2.pptx
Monoteísmo, Politeísmo, Panteísmo 7 ANO2.pptxMonoteísmo, Politeísmo, Panteísmo 7 ANO2.pptx
Monoteísmo, Politeísmo, Panteísmo 7 ANO2.pptx
 
EDUCAÇÃO ESPECIAL NA PERSPECTIVA INCLUSIVA
EDUCAÇÃO ESPECIAL NA PERSPECTIVA INCLUSIVAEDUCAÇÃO ESPECIAL NA PERSPECTIVA INCLUSIVA
EDUCAÇÃO ESPECIAL NA PERSPECTIVA INCLUSIVA
 
6ano variação linguística ensino fundamental.pptx
6ano variação linguística ensino fundamental.pptx6ano variação linguística ensino fundamental.pptx
6ano variação linguística ensino fundamental.pptx
 
Estudar, para quê? Ciência, para quê? Parte 1 e Parte 2
Estudar, para quê?  Ciência, para quê? Parte 1 e Parte 2Estudar, para quê?  Ciência, para quê? Parte 1 e Parte 2
Estudar, para quê? Ciência, para quê? Parte 1 e Parte 2
 
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdf
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdfRecomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdf
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdf
 
About Vila Galé- Cadeia Empresarial de Hotéis
About Vila Galé- Cadeia Empresarial de HotéisAbout Vila Galé- Cadeia Empresarial de Hotéis
About Vila Galé- Cadeia Empresarial de Hotéis
 
Texto dramático com Estrutura e exemplos.ppt
Texto dramático com Estrutura e exemplos.pptTexto dramático com Estrutura e exemplos.ppt
Texto dramático com Estrutura e exemplos.ppt
 
PROJETO DE EXTENSÃO I - Radiologia Tecnologia
PROJETO DE EXTENSÃO I - Radiologia TecnologiaPROJETO DE EXTENSÃO I - Radiologia Tecnologia
PROJETO DE EXTENSÃO I - Radiologia Tecnologia
 
matematica aula didatica prática e tecni
matematica aula didatica prática e tecnimatematica aula didatica prática e tecni
matematica aula didatica prática e tecni
 
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
 
Camadas da terra -Litosfera conteúdo 6º ano
Camadas da terra -Litosfera  conteúdo 6º anoCamadas da terra -Litosfera  conteúdo 6º ano
Camadas da terra -Litosfera conteúdo 6º ano
 
E a chuva ... (Livro pedagógico para ser usado na educação infantil e trabal...
E a chuva ...  (Livro pedagógico para ser usado na educação infantil e trabal...E a chuva ...  (Livro pedagógico para ser usado na educação infantil e trabal...
E a chuva ... (Livro pedagógico para ser usado na educação infantil e trabal...
 
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptx
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptxSlides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptx
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptx
 
Os editoriais, reportagens e entrevistas.pptx
Os editoriais, reportagens e entrevistas.pptxOs editoriais, reportagens e entrevistas.pptx
Os editoriais, reportagens e entrevistas.pptx
 
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 ...
 
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
 

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.