![Page 1: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/1.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos Conjuntos(Aula 10)
Ruy J. G. B. de Queiroz
Centro de Informatica, UFPE
2017.1
![Page 2: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/2.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Conteudo
1 Ordenacoes Lineares
![Page 3: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/3.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosOrdenacoes Lineares
Definicao
Conjuntos linearmente ordenados (A,≺A) e (B,≺B) saosimilares (i.e., tem o mesmo tipo de ordem)
se eles foremisomorfos, i.e., se existir um mapeamento um-para-um f deA sobre B tal que para todos a1,a2 ∈ A, a1 ≺A a2 se da se esomente se f (a1) ≺B f (a2) se da.
Intuicao
Conjuntos ordenados similares “se parecem.” Portanto,(N, <) e (Z, <) nao sao similares.Tampouco (Z, <) e (Q, <).Nem (N, <) e (Q, <).
![Page 4: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/4.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosOrdenacoes Lineares
Definicao
Conjuntos linearmente ordenados (A,≺A) e (B,≺B) saosimilares (i.e., tem o mesmo tipo de ordem) se eles foremisomorfos, i.e.,
se existir um mapeamento um-para-um f deA sobre B tal que para todos a1,a2 ∈ A, a1 ≺A a2 se da se esomente se f (a1) ≺B f (a2) se da.
Intuicao
Conjuntos ordenados similares “se parecem.” Portanto,(N, <) e (Z, <) nao sao similares.Tampouco (Z, <) e (Q, <).Nem (N, <) e (Q, <).
![Page 5: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/5.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosOrdenacoes Lineares
Definicao
Conjuntos linearmente ordenados (A,≺A) e (B,≺B) saosimilares (i.e., tem o mesmo tipo de ordem) se eles foremisomorfos, i.e., se existir um mapeamento um-para-um f deA sobre B tal que para todos a1,a2 ∈ A,
a1 ≺A a2 se da se esomente se f (a1) ≺B f (a2) se da.
Intuicao
Conjuntos ordenados similares “se parecem.” Portanto,(N, <) e (Z, <) nao sao similares.Tampouco (Z, <) e (Q, <).Nem (N, <) e (Q, <).
![Page 6: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/6.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosOrdenacoes Lineares
Definicao
Conjuntos linearmente ordenados (A,≺A) e (B,≺B) saosimilares (i.e., tem o mesmo tipo de ordem) se eles foremisomorfos, i.e., se existir um mapeamento um-para-um f deA sobre B tal que para todos a1,a2 ∈ A, a1 ≺A a2 se da se esomente se f (a1) ≺B f (a2) se da.
Intuicao
Conjuntos ordenados similares “se parecem.” Portanto,(N, <) e (Z, <) nao sao similares.Tampouco (Z, <) e (Q, <).Nem (N, <) e (Q, <).
![Page 7: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/7.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosOrdenacoes Lineares
Definicao
Conjuntos linearmente ordenados (A,≺A) e (B,≺B) saosimilares (i.e., tem o mesmo tipo de ordem) se eles foremisomorfos, i.e., se existir um mapeamento um-para-um f deA sobre B tal que para todos a1,a2 ∈ A, a1 ≺A a2 se da se esomente se f (a1) ≺B f (a2) se da.
Intuicao
Conjuntos ordenados similares “se parecem.”
Portanto,(N, <) e (Z, <) nao sao similares.Tampouco (Z, <) e (Q, <).Nem (N, <) e (Q, <).
![Page 8: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/8.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosOrdenacoes Lineares
Definicao
Conjuntos linearmente ordenados (A,≺A) e (B,≺B) saosimilares (i.e., tem o mesmo tipo de ordem) se eles foremisomorfos, i.e., se existir um mapeamento um-para-um f deA sobre B tal que para todos a1,a2 ∈ A, a1 ≺A a2 se da se esomente se f (a1) ≺B f (a2) se da.
Intuicao
Conjuntos ordenados similares “se parecem.” Portanto,(N, <) e (Z, <) nao sao similares.
Tampouco (Z, <) e (Q, <).Nem (N, <) e (Q, <).
![Page 9: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/9.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosOrdenacoes Lineares
Definicao
Conjuntos linearmente ordenados (A,≺A) e (B,≺B) saosimilares (i.e., tem o mesmo tipo de ordem) se eles foremisomorfos, i.e., se existir um mapeamento um-para-um f deA sobre B tal que para todos a1,a2 ∈ A, a1 ≺A a2 se da se esomente se f (a1) ≺B f (a2) se da.
Intuicao
Conjuntos ordenados similares “se parecem.” Portanto,(N, <) e (Z, <) nao sao similares.Tampouco (Z, <) e (Q, <).
Nem (N, <) e (Q, <).
![Page 10: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/10.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosOrdenacoes Lineares
Definicao
Conjuntos linearmente ordenados (A,≺A) e (B,≺B) saosimilares (i.e., tem o mesmo tipo de ordem) se eles foremisomorfos, i.e., se existir um mapeamento um-para-um f deA sobre B tal que para todos a1,a2 ∈ A, a1 ≺A a2 se da se esomente se f (a1) ≺B f (a2) se da.
Intuicao
Conjuntos ordenados similares “se parecem.” Portanto,(N, <) e (Z, <) nao sao similares.Tampouco (Z, <) e (Q, <).Nem (N, <) e (Q, <).
![Page 11: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/11.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade
FactSimilaridade e uma relacao de equivalencia.
Definicao (Tipos de ordem)
Tal qual no caso de numeros cardinais, e possıvel assumirque para cada conjunto linearmente ordenado estaassociado um objeto chamado de sua tipo de ordem demodo que conjuntos ordenados similares tem o mesmo tipode ordem. (Do MathWorld: ”Um tipo de ordem categorizatotalmente conjuntos ordenados da mesma maneira queum numero cardinal categoriza conjuntos. O termo e devidoa Georg Cantor, e a definicao funciona igualmente bempara conjuntos parcialmente ordenados.”)
![Page 12: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/12.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade
FactSimilaridade e uma relacao de equivalencia.
Definicao (Tipos de ordem)
Tal qual no caso de numeros cardinais, e possıvel assumirque para cada conjunto linearmente ordenado estaassociado um objeto chamado de sua tipo de ordem demodo que conjuntos ordenados similares tem o mesmo tipode ordem.
(Do MathWorld: ”Um tipo de ordem categorizatotalmente conjuntos ordenados da mesma maneira queum numero cardinal categoriza conjuntos. O termo e devidoa Georg Cantor, e a definicao funciona igualmente bempara conjuntos parcialmente ordenados.”)
![Page 13: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/13.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade
FactSimilaridade e uma relacao de equivalencia.
Definicao (Tipos de ordem)
Tal qual no caso de numeros cardinais, e possıvel assumirque para cada conjunto linearmente ordenado estaassociado um objeto chamado de sua tipo de ordem demodo que conjuntos ordenados similares tem o mesmo tipode ordem. (Do MathWorld: ”Um tipo de ordem categorizatotalmente conjuntos ordenados da mesma maneira queum numero cardinal categoriza conjuntos.
O termo e devidoa Georg Cantor, e a definicao funciona igualmente bempara conjuntos parcialmente ordenados.”)
![Page 14: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/14.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade
FactSimilaridade e uma relacao de equivalencia.
Definicao (Tipos de ordem)
Tal qual no caso de numeros cardinais, e possıvel assumirque para cada conjunto linearmente ordenado estaassociado um objeto chamado de sua tipo de ordem demodo que conjuntos ordenados similares tem o mesmo tipode ordem. (Do MathWorld: ”Um tipo de ordem categorizatotalmente conjuntos ordenados da mesma maneira queum numero cardinal categoriza conjuntos. O termo e devidoa Georg Cantor, e a definicao funciona igualmente bempara conjuntos parcialmente ordenados.”)
![Page 15: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/15.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade
LemaToda ordenacao linear sobre um conjunto finito e umaboa-ordenacao.
Demonstracao.
Precisamos provar que todo subconjunto nao-vazio B deum conjunto linearmente ordenado (A, <) tem um elementomınimo. Podemos faze-lo por inducao sobre o numero deelementos de B. (Caso Base) Se B tem 1 elemento, aafirmacao e obviamente verdadeira. (Passo Indutivo)Assuma que seja verdadeiro para todos os conjuntos de nelementos e suponha que B tenha n + 1 elementos. EntaoB = {x} ∪ B′ onde B′ tem n elementos e x /∈ B′. Pelahipotese da inducao, B′ tem um elemento mınimo x ′.(continua...)
![Page 16: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/16.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade
LemaToda ordenacao linear sobre um conjunto finito e umaboa-ordenacao.
Demonstracao.
Precisamos provar que todo subconjunto nao-vazio B deum conjunto linearmente ordenado (A, <) tem um elementomınimo.
Podemos faze-lo por inducao sobre o numero deelementos de B. (Caso Base) Se B tem 1 elemento, aafirmacao e obviamente verdadeira. (Passo Indutivo)Assuma que seja verdadeiro para todos os conjuntos de nelementos e suponha que B tenha n + 1 elementos. EntaoB = {x} ∪ B′ onde B′ tem n elementos e x /∈ B′. Pelahipotese da inducao, B′ tem um elemento mınimo x ′.(continua...)
![Page 17: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/17.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade
LemaToda ordenacao linear sobre um conjunto finito e umaboa-ordenacao.
Demonstracao.
Precisamos provar que todo subconjunto nao-vazio B deum conjunto linearmente ordenado (A, <) tem um elementomınimo. Podemos faze-lo por inducao sobre o numero deelementos de B.
(Caso Base) Se B tem 1 elemento, aafirmacao e obviamente verdadeira. (Passo Indutivo)Assuma que seja verdadeiro para todos os conjuntos de nelementos e suponha que B tenha n + 1 elementos. EntaoB = {x} ∪ B′ onde B′ tem n elementos e x /∈ B′. Pelahipotese da inducao, B′ tem um elemento mınimo x ′.(continua...)
![Page 18: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/18.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade
LemaToda ordenacao linear sobre um conjunto finito e umaboa-ordenacao.
Demonstracao.
Precisamos provar que todo subconjunto nao-vazio B deum conjunto linearmente ordenado (A, <) tem um elementomınimo. Podemos faze-lo por inducao sobre o numero deelementos de B. (Caso Base) Se B tem 1 elemento, aafirmacao e obviamente verdadeira.
(Passo Indutivo)Assuma que seja verdadeiro para todos os conjuntos de nelementos e suponha que B tenha n + 1 elementos. EntaoB = {x} ∪ B′ onde B′ tem n elementos e x /∈ B′. Pelahipotese da inducao, B′ tem um elemento mınimo x ′.(continua...)
![Page 19: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/19.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade
LemaToda ordenacao linear sobre um conjunto finito e umaboa-ordenacao.
Demonstracao.
Precisamos provar que todo subconjunto nao-vazio B deum conjunto linearmente ordenado (A, <) tem um elementomınimo. Podemos faze-lo por inducao sobre o numero deelementos de B. (Caso Base) Se B tem 1 elemento, aafirmacao e obviamente verdadeira. (Passo Indutivo)Assuma que seja verdadeiro para todos os conjuntos de nelementos e suponha que B tenha n + 1 elementos.
EntaoB = {x} ∪ B′ onde B′ tem n elementos e x /∈ B′. Pelahipotese da inducao, B′ tem um elemento mınimo x ′.(continua...)
![Page 20: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/20.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade
LemaToda ordenacao linear sobre um conjunto finito e umaboa-ordenacao.
Demonstracao.
Precisamos provar que todo subconjunto nao-vazio B deum conjunto linearmente ordenado (A, <) tem um elementomınimo. Podemos faze-lo por inducao sobre o numero deelementos de B. (Caso Base) Se B tem 1 elemento, aafirmacao e obviamente verdadeira. (Passo Indutivo)Assuma que seja verdadeiro para todos os conjuntos de nelementos e suponha que B tenha n + 1 elementos. EntaoB = {x} ∪ B′ onde B′ tem n elementos e x /∈ B′.
Pelahipotese da inducao, B′ tem um elemento mınimo x ′.(continua...)
![Page 21: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/21.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade
LemaToda ordenacao linear sobre um conjunto finito e umaboa-ordenacao.
Demonstracao.
Precisamos provar que todo subconjunto nao-vazio B deum conjunto linearmente ordenado (A, <) tem um elementomınimo. Podemos faze-lo por inducao sobre o numero deelementos de B. (Caso Base) Se B tem 1 elemento, aafirmacao e obviamente verdadeira. (Passo Indutivo)Assuma que seja verdadeiro para todos os conjuntos de nelementos e suponha que B tenha n + 1 elementos. EntaoB = {x} ∪ B′ onde B′ tem n elementos e x /∈ B′. Pelahipotese da inducao, B′ tem um elemento mınimo x ′.(continua...)
![Page 22: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/22.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
Demonstracao.
Se x ′ < x , entao x ′ e o menor elemento de B;
casocontrario, x e o menor elemento de B. Em ambos os casos,B tem um elemento mınimo.
![Page 23: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/23.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
Demonstracao.
Se x ′ < x , entao x ′ e o menor elemento de B; casocontrario, x e o menor elemento de B.
Em ambos os casos,B tem um elemento mınimo.
![Page 24: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/24.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
Demonstracao.
Se x ′ < x , entao x ′ e o menor elemento de B; casocontrario, x e o menor elemento de B. Em ambos os casos,B tem um elemento mınimo.
![Page 25: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/25.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
TeoremaSe (A1, <1) e (A2, <2) forem conjuntos linearmenteordenados e |A1| = |A2| for finito, entao (A1, <1) e (A2, <2)sao similares.
Demonstracao.
Por inducao sobre o tamanho dos conjuntos A1 e A2. (CasoBase) Se n = 0, entao A1 = A2 = ∅ e (A1, <1), (A2, <2) saoobviamente isomorfos. (Caso Indutivo) Assuma que oenunciado e verdadeiro para todas as ordenacoes linearesde conjuntos de n-elementos. Seja |A1| = |A2| = n + 1.Pelo lema anterior, <1 e <2 sao boas-ordenacoes, portantosuponha que a1 (a2, respectivamente) seja o menorelemento de (A1, <1) ((A2, <2), respectivamente).(continua...)
![Page 26: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/26.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
TeoremaSe (A1, <1) e (A2, <2) forem conjuntos linearmenteordenados e |A1| = |A2| for finito, entao (A1, <1) e (A2, <2)sao similares.
Demonstracao.
Por inducao sobre o tamanho dos conjuntos A1 e A2.
(CasoBase) Se n = 0, entao A1 = A2 = ∅ e (A1, <1), (A2, <2) saoobviamente isomorfos. (Caso Indutivo) Assuma que oenunciado e verdadeiro para todas as ordenacoes linearesde conjuntos de n-elementos. Seja |A1| = |A2| = n + 1.Pelo lema anterior, <1 e <2 sao boas-ordenacoes, portantosuponha que a1 (a2, respectivamente) seja o menorelemento de (A1, <1) ((A2, <2), respectivamente).(continua...)
![Page 27: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/27.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
TeoremaSe (A1, <1) e (A2, <2) forem conjuntos linearmenteordenados e |A1| = |A2| for finito, entao (A1, <1) e (A2, <2)sao similares.
Demonstracao.
Por inducao sobre o tamanho dos conjuntos A1 e A2. (CasoBase) Se n = 0, entao A1 = A2 = ∅ e (A1, <1), (A2, <2) saoobviamente isomorfos.
(Caso Indutivo) Assuma que oenunciado e verdadeiro para todas as ordenacoes linearesde conjuntos de n-elementos. Seja |A1| = |A2| = n + 1.Pelo lema anterior, <1 e <2 sao boas-ordenacoes, portantosuponha que a1 (a2, respectivamente) seja o menorelemento de (A1, <1) ((A2, <2), respectivamente).(continua...)
![Page 28: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/28.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
TeoremaSe (A1, <1) e (A2, <2) forem conjuntos linearmenteordenados e |A1| = |A2| for finito, entao (A1, <1) e (A2, <2)sao similares.
Demonstracao.
Por inducao sobre o tamanho dos conjuntos A1 e A2. (CasoBase) Se n = 0, entao A1 = A2 = ∅ e (A1, <1), (A2, <2) saoobviamente isomorfos. (Caso Indutivo) Assuma que oenunciado e verdadeiro para todas as ordenacoes linearesde conjuntos de n-elementos.
Seja |A1| = |A2| = n + 1.Pelo lema anterior, <1 e <2 sao boas-ordenacoes, portantosuponha que a1 (a2, respectivamente) seja o menorelemento de (A1, <1) ((A2, <2), respectivamente).(continua...)
![Page 29: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/29.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
TeoremaSe (A1, <1) e (A2, <2) forem conjuntos linearmenteordenados e |A1| = |A2| for finito, entao (A1, <1) e (A2, <2)sao similares.
Demonstracao.
Por inducao sobre o tamanho dos conjuntos A1 e A2. (CasoBase) Se n = 0, entao A1 = A2 = ∅ e (A1, <1), (A2, <2) saoobviamente isomorfos. (Caso Indutivo) Assuma que oenunciado e verdadeiro para todas as ordenacoes linearesde conjuntos de n-elementos. Seja |A1| = |A2| = n + 1.
Pelo lema anterior, <1 e <2 sao boas-ordenacoes, portantosuponha que a1 (a2, respectivamente) seja o menorelemento de (A1, <1) ((A2, <2), respectivamente).(continua...)
![Page 30: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/30.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
TeoremaSe (A1, <1) e (A2, <2) forem conjuntos linearmenteordenados e |A1| = |A2| for finito, entao (A1, <1) e (A2, <2)sao similares.
Demonstracao.
Por inducao sobre o tamanho dos conjuntos A1 e A2. (CasoBase) Se n = 0, entao A1 = A2 = ∅ e (A1, <1), (A2, <2) saoobviamente isomorfos. (Caso Indutivo) Assuma que oenunciado e verdadeiro para todas as ordenacoes linearesde conjuntos de n-elementos. Seja |A1| = |A2| = n + 1.Pelo lema anterior, <1 e <2 sao boas-ordenacoes, portantosuponha que a1 (a2, respectivamente) seja o menorelemento de (A1, <1) ((A2, <2), respectivamente).(continua...)
![Page 31: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/31.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
Cont.Agora |A1 − {a1}| = |A2 − {a2}| = n, portanto pela hipoteseda inducao existe um isomorfismo g entre(A1 − {a1}, <1 ∩(A1 − {a1} × A1 − {a1})) e(A2 − {a2}, <2 ∩(A2 − {a2} × A2 − {a2})).
Agora definaf : A1 → A2 por{
f (a1) = a2;f (a) = g(a) for a ∈ A1 − {a1}.
E imediato verificar que f e um isomorfismo entre (A1, <1) e(A2, <2).
Lema
Se (A, <) for uma ordenacao linear, entao (A, <−1) tambeme uma ordenacao linear.
![Page 32: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/32.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
Cont.Agora |A1 − {a1}| = |A2 − {a2}| = n, portanto pela hipoteseda inducao existe um isomorfismo g entre(A1 − {a1}, <1 ∩(A1 − {a1} × A1 − {a1})) e(A2 − {a2}, <2 ∩(A2 − {a2} × A2 − {a2})). Agora definaf : A1 → A2 por{
f (a1) = a2;
f (a) = g(a) for a ∈ A1 − {a1}.
E imediato verificar que f e um isomorfismo entre (A1, <1) e(A2, <2).
Lema
Se (A, <) for uma ordenacao linear, entao (A, <−1) tambeme uma ordenacao linear.
![Page 33: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/33.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
Cont.Agora |A1 − {a1}| = |A2 − {a2}| = n, portanto pela hipoteseda inducao existe um isomorfismo g entre(A1 − {a1}, <1 ∩(A1 − {a1} × A1 − {a1})) e(A2 − {a2}, <2 ∩(A2 − {a2} × A2 − {a2})). Agora definaf : A1 → A2 por{
f (a1) = a2;f (a) = g(a) for a ∈ A1 − {a1}.
E imediato verificar que f e um isomorfismo entre (A1, <1) e(A2, <2).
Lema
Se (A, <) for uma ordenacao linear, entao (A, <−1) tambeme uma ordenacao linear.
![Page 34: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/34.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
Cont.Agora |A1 − {a1}| = |A2 − {a2}| = n, portanto pela hipoteseda inducao existe um isomorfismo g entre(A1 − {a1}, <1 ∩(A1 − {a1} × A1 − {a1})) e(A2 − {a2}, <2 ∩(A2 − {a2} × A2 − {a2})). Agora definaf : A1 → A2 por{
f (a1) = a2;f (a) = g(a) for a ∈ A1 − {a1}.
E imediato verificar que f e um isomorfismo entre (A1, <1) e(A2, <2).
Lema
Se (A, <) for uma ordenacao linear, entao (A, <−1) tambeme uma ordenacao linear.
![Page 35: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/35.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
Cont.Agora |A1 − {a1}| = |A2 − {a2}| = n, portanto pela hipoteseda inducao existe um isomorfismo g entre(A1 − {a1}, <1 ∩(A1 − {a1} × A1 − {a1})) e(A2 − {a2}, <2 ∩(A2 − {a2} × A2 − {a2})). Agora definaf : A1 → A2 por{
f (a1) = a2;f (a) = g(a) for a ∈ A1 − {a1}.
E imediato verificar que f e um isomorfismo entre (A1, <1) e(A2, <2).
Lema
Se (A, <) for uma ordenacao linear, entao (A, <−1) tambeme uma ordenacao linear.
![Page 36: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/36.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
Cont.Agora |A1 − {a1}| = |A2 − {a2}| = n, portanto pela hipoteseda inducao existe um isomorfismo g entre(A1 − {a1}, <1 ∩(A1 − {a1} × A1 − {a1})) e(A2 − {a2}, <2 ∩(A2 − {a2} × A2 − {a2})). Agora definaf : A1 → A2 por{
f (a1) = a2;f (a) = g(a) for a ∈ A1 − {a1}.
E imediato verificar que f e um isomorfismo entre (A1, <1) e(A2, <2).
Lema
Se (A, <) for uma ordenacao linear, entao (A, <−1) tambeme uma ordenacao linear.
![Page 37: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/37.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
LemaSejam (A1, <1) e (A2, <2) conjuntos linearmente ordenadose A1 ∩ A2 = ∅.
A relacao < sobre A1 ∪ A2 definida por
a < b sse a,b ∈ A1 e a <1 bou a,b ∈ A2 e a <2 bou a ∈ A1, b ∈ A2
e uma ordenacao linear.
![Page 38: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/38.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
LemaSejam (A1, <1) e (A2, <2) conjuntos linearmente ordenadose A1 ∩ A2 = ∅. A relacao < sobre A1 ∪ A2 definida por
a < b sse a,b ∈ A1 e a <1 bou a,b ∈ A2 e a <2 bou a ∈ A1, b ∈ A2
e uma ordenacao linear.
![Page 39: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/39.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
LemaSejam (A1, <1) e (A2, <2) conjuntos linearmente ordenadose A1 ∩ A2 = ∅. A relacao < sobre A1 ∪ A2 definida por
a < b sse a,b ∈ A1 e a <1 b
ou a,b ∈ A2 e a <2 bou a ∈ A1, b ∈ A2
e uma ordenacao linear.
![Page 40: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/40.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
LemaSejam (A1, <1) e (A2, <2) conjuntos linearmente ordenadose A1 ∩ A2 = ∅. A relacao < sobre A1 ∪ A2 definida por
a < b sse a,b ∈ A1 e a <1 bou a,b ∈ A2 e a <2 b
ou a ∈ A1, b ∈ A2
e uma ordenacao linear.
![Page 41: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/41.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
LemaSejam (A1, <1) e (A2, <2) conjuntos linearmente ordenadose A1 ∩ A2 = ∅. A relacao < sobre A1 ∪ A2 definida por
a < b sse a,b ∈ A1 e a <1 bou a,b ∈ A2 e a <2 bou a ∈ A1, b ∈ A2
e uma ordenacao linear.
![Page 42: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/42.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
LemaSejam (A1, <1) e (A2, <2) conjuntos linearmente ordenadose A1 ∩ A2 = ∅. A relacao < sobre A1 ∪ A2 definida por
a < b sse a,b ∈ A1 e a <1 bou a,b ∈ A2 e a <2 bou a ∈ A1, b ∈ A2
e uma ordenacao linear.
![Page 43: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/43.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
LemaSejam (A1, <1) e (A2, <2) conjuntos linearmenteordenados.
A relacao < sobre A = A1 × A2 definida por
(a1,a2) < (b1,b2) sse a1 <1 b1 ou (a1 = b1 e a2 <2 b2)
e uma ordenacao linear.
![Page 44: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/44.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
LemaSejam (A1, <1) e (A2, <2) conjuntos linearmenteordenados. A relacao < sobre A = A1 × A2 definida por
(a1,a2) < (b1,b2) sse a1 <1 b1 ou (a1 = b1 e a2 <2 b2)
e uma ordenacao linear.
![Page 45: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/45.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
LemaSejam (A1, <1) e (A2, <2) conjuntos linearmenteordenados. A relacao < sobre A = A1 × A2 definida por
(a1,a2) < (b1,b2) sse a1 <1 b1 ou (a1 = b1 e a2 <2 b2)
e uma ordenacao linear.
![Page 46: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/46.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
LemaSejam (A1, <1) e (A2, <2) conjuntos linearmenteordenados. A relacao < sobre A = A1 × A2 definida por
(a1,a2) < (b1,b2) sse a1 <1 b1 ou (a1 = b1 e a2 <2 b2)
e uma ordenacao linear.
![Page 47: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/47.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
TeoremaSeja 〈(Ai , <i) | i ∈ I〉 um sistema indexado de conjuntoslinearmente ordenados, onde I ⊆ N.
A relacao ≺ sobre∏i∈I Ai definida por
f ≺ g sse diff(f ,g) = {i ∈ I | fi 6= gi} 6= ∅ e fi0 <i0 gi0onde i0 e o menor elemento de diff(f ,g)(na ordenacao usual < dos numeros naturais)
e uma ordenacao linear de∏
i∈I Ai . (Essa ordenacao echamada de ordenacao lexicografica.)
![Page 48: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/48.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
TeoremaSeja 〈(Ai , <i) | i ∈ I〉 um sistema indexado de conjuntoslinearmente ordenados, onde I ⊆ N. A relacao ≺ sobre∏
i∈I Ai definida por
f ≺ g sse diff(f ,g) = {i ∈ I | fi 6= gi} 6= ∅ e fi0 <i0 gi0onde i0 e o menor elemento de diff(f ,g)(na ordenacao usual < dos numeros naturais)
e uma ordenacao linear de∏
i∈I Ai . (Essa ordenacao echamada de ordenacao lexicografica.)
![Page 49: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/49.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
TeoremaSeja 〈(Ai , <i) | i ∈ I〉 um sistema indexado de conjuntoslinearmente ordenados, onde I ⊆ N. A relacao ≺ sobre∏
i∈I Ai definida por
f ≺ g sse diff(f ,g) = {i ∈ I | fi 6= gi} 6= ∅ e fi0 <i0 gi0
onde i0 e o menor elemento de diff(f ,g)(na ordenacao usual < dos numeros naturais)
e uma ordenacao linear de∏
i∈I Ai . (Essa ordenacao echamada de ordenacao lexicografica.)
![Page 50: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/50.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
TeoremaSeja 〈(Ai , <i) | i ∈ I〉 um sistema indexado de conjuntoslinearmente ordenados, onde I ⊆ N. A relacao ≺ sobre∏
i∈I Ai definida por
f ≺ g sse diff(f ,g) = {i ∈ I | fi 6= gi} 6= ∅ e fi0 <i0 gi0onde i0 e o menor elemento de diff(f ,g)
(na ordenacao usual < dos numeros naturais)
e uma ordenacao linear de∏
i∈I Ai . (Essa ordenacao echamada de ordenacao lexicografica.)
![Page 51: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/51.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
TeoremaSeja 〈(Ai , <i) | i ∈ I〉 um sistema indexado de conjuntoslinearmente ordenados, onde I ⊆ N. A relacao ≺ sobre∏
i∈I Ai definida por
f ≺ g sse diff(f ,g) = {i ∈ I | fi 6= gi} 6= ∅ e fi0 <i0 gi0onde i0 e o menor elemento de diff(f ,g)(na ordenacao usual < dos numeros naturais)
e uma ordenacao linear de∏
i∈I Ai . (Essa ordenacao echamada de ordenacao lexicografica.)
![Page 52: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/52.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
TeoremaSeja 〈(Ai , <i) | i ∈ I〉 um sistema indexado de conjuntoslinearmente ordenados, onde I ⊆ N. A relacao ≺ sobre∏
i∈I Ai definida por
f ≺ g sse diff(f ,g) = {i ∈ I | fi 6= gi} 6= ∅ e fi0 <i0 gi0onde i0 e o menor elemento de diff(f ,g)(na ordenacao usual < dos numeros naturais)
e uma ordenacao linear de∏
i∈I Ai .
(Essa ordenacao echamada de ordenacao lexicografica.)
![Page 53: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/53.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosSimilaridade (cont.)
TeoremaSeja 〈(Ai , <i) | i ∈ I〉 um sistema indexado de conjuntoslinearmente ordenados, onde I ⊆ N. A relacao ≺ sobre∏
i∈I Ai definida por
f ≺ g sse diff(f ,g) = {i ∈ I | fi 6= gi} 6= ∅ e fi0 <i0 gi0onde i0 e o menor elemento de diff(f ,g)(na ordenacao usual < dos numeros naturais)
e uma ordenacao linear de∏
i∈I Ai . (Essa ordenacao echamada de ordenacao lexicografica.)
![Page 54: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/54.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosConjuntos Densos
Definicao
Um conjunto ordenado (X , <) e denso se ele tem pelomenos dois elementos e se para todos a,b ∈ X, a < bimplica que existe c ∈ X tal que a < c < b.
TeoremaSejam (P,≺P) e (Q,≺Q) conjuntos linearmente ordenadoscontaveis densos sem extremidades. Entao (P,≺P) e(Q,≺Q) sao similares.
TeoremaTodo conjunto linearmente ordenado contavel pode sermapeado isomorficamente em qualquer conjuntolinearmente ordenado denso contavel sem extremidades.
![Page 55: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/55.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosConjuntos Densos
Definicao
Um conjunto ordenado (X , <) e denso se ele tem pelomenos dois elementos e se para todos a,b ∈ X, a < bimplica que existe c ∈ X tal que a < c < b.
TeoremaSejam (P,≺P) e (Q,≺Q) conjuntos linearmente ordenadoscontaveis densos sem extremidades.
Entao (P,≺P) e(Q,≺Q) sao similares.
TeoremaTodo conjunto linearmente ordenado contavel pode sermapeado isomorficamente em qualquer conjuntolinearmente ordenado denso contavel sem extremidades.
![Page 56: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/56.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosConjuntos Densos
Definicao
Um conjunto ordenado (X , <) e denso se ele tem pelomenos dois elementos e se para todos a,b ∈ X, a < bimplica que existe c ∈ X tal que a < c < b.
TeoremaSejam (P,≺P) e (Q,≺Q) conjuntos linearmente ordenadoscontaveis densos sem extremidades. Entao (P,≺P) e(Q,≺Q) sao similares.
TeoremaTodo conjunto linearmente ordenado contavel pode sermapeado isomorficamente em qualquer conjuntolinearmente ordenado denso contavel sem extremidades.
![Page 57: Teoria dos Conjuntos (Aula 10)ruy/conjuntos/aula10.pdfTeoria dos Conjuntos (Aula 10) Ruy de Queiroz Ordenac¸oes˜ Lineares Teoria dos Conjuntos Similaridade Fact Similaridade e uma](https://reader034.vdocuments.net/reader034/viewer/2022042622/5f948ea99479863018377c9b/html5/thumbnails/57.jpg)
Teoria dosConjuntos(Aula 10)
Ruy deQueiroz
OrdenacoesLineares
Teoria dos ConjuntosConjuntos Densos
Definicao
Um conjunto ordenado (X , <) e denso se ele tem pelomenos dois elementos e se para todos a,b ∈ X, a < bimplica que existe c ∈ X tal que a < c < b.
TeoremaSejam (P,≺P) e (Q,≺Q) conjuntos linearmente ordenadoscontaveis densos sem extremidades. Entao (P,≺P) e(Q,≺Q) sao similares.
TeoremaTodo conjunto linearmente ordenado contavel pode sermapeado isomorficamente em qualquer conjuntolinearmente ordenado denso contavel sem extremidades.