Linguagem de 1ª ordem da teoria de conjuntos

Apresentação em tema: "Linguagem de 1ª ordem da teoria de conjuntos"— Transcrição da apresentação:

1 Linguagem de 1ª ordem da teoria de conjuntos
Teoria de conjuntos: linguagem universal nas ciências útil na modelização de estruturas muito diversas Abordagem Partir da noção intuitiva de conjunto identificar 2 princípios básicos que a caracterizam axioma da extensionalidade axioma da compreensão explorar consequências lógicas dos axiomas mostrar inconsistência dos axiomas rever axiomas para os da teoria de conjuntos moderna

2 Teoria dos conjuntos de Cantor
TC2- Lógica Proposicional Teoria dos conjuntos de Cantor Georg Cantor( ) Matemático que desenvolveu a sua actividade na Alemanha Trabalha na definição dos números reais e estuda a cardinalidade dos conjuntos Desenvolve primeira teoria dos conjuntos infinitos Conceito intuitivo de conjunto Conjunto: colecção de coisas (elementos) Linguagem de 1ª ordem: 2 símbolos de relação =, Î Domínio de discurso: pode ter outros objectos que não conjuntos Set(x) predicado para a propriedade x é conjunto 2 tipos de variáveis a, b, c, … conjuntos x, y, z, … quaisquer objectos do domínio Em vez de "x $y (Set(y) Ù xÎy) escreve-se "x $a (xÎa) Outros símbolos: Æ (constante), Í (relação), È, Ç (funções) Cristina Ribeiro

3 Axiomas de Cantor Axioma da extensionalidade Implicações Nota
Um conjunto é completamente determinado pelos seus elementos Se os conjuntos a e b têm os mesmos elementos, a=b "a "b ["x (xÎa « xÎb) ® a=b] Implicações Identidade de um conjunto não depende da forma de o descrever Exemplo: Nota Axioma seria inaceitável numa teoria de propriedades. 2 propriedades podem verificar-se para exactamente os mesmos objectos e serem distintas conjunto dos primos entre 6 e 12 conjunto das soluções da equação x2 - 18x +77 = 0 {7,11}

4 Axiomas de Cantor Axioma da compreensão
Toda a propriedade determina um conjunto Para uma propriedade P, existe o conjunto de todos os objectos para os quais se verifica P Propriedades: fórmulas de 1ª ordem Para cada fórmula P(x) considera-se o axioma $a "x [xÎa « P(x)] Existe um conjunto cujos elementos são exactamente os objectos que verificam P(x) Expressão não é axioma mas “esquema de axiomas”: existe 1 para cada wff P(x) P(x) pode ter variáveis z1, … zn para além de x: quantificação implícita é universal "z1…"zn $a "x [xÎa « P(x)]

5 Explorar axiomas Usando a extensionalidade: infere-se versão mais forte da compreensão Conjunto de objectos que satisfazem P(x) é único "z1…"zn $!a "x [xÎa « P(x)] Prova: Compreensão: existe pelo menos 1 conjunto de objectos que satisfazem P(x) Falta prova que existe no máximo 1 a e b: conjuntos que verificam P(x) "x [xÎa « P(x)] "x [xÎb « P(x)] Então "x [xÎa «xÎb] e pela extensionalidade a=b Conjunto de objectos que satisfazem P(x): {x| P(x)}

6 Conjuntos singulares e vazio
1 só objecto x satisfaz P(x) Pelo axioma da compreensão: existe conjunto a cujo único elemento é x a = {x} distinguir objecto x de conjunto singular que contém x Nenhum objecto satisfaz P(x) conjunto vazio existe 1 no máximo notação: Æ, {}, {x| x ¹ x}, ...

7 Subconjuntos Definição: Para os conjuntos a e b a Í b
a subconjunto de b se todo o elemento de a é elemento de b a Í b abreviatura de "x [xÎa ®xÎb] novo símbolo de relação binária, introduzido por um axioma "a"b [a Í b « "x (xÎa ®xÎb)] Teorema 1: Para conjuntos a e b, a=b sse a Í b e b Í a "a"b (a = b « a Í b Ù b Í a) ® a=b a e b são o mesmo conjunto, cada elemento de a é elemento de b e vice-versa ¬ a Í b e b Í a Extensionalidade: basta provar que a e b têm os mesmo elementos; decorre da premissa: cada elemento de a é elemento de b e vice-versa

8 Intersecção e união Definições: a e b conjuntos arbitrários
1. A intersecção de a e b, a Ç b, é o conjunto cujos elementos são exactamente os objectos que pertencem a a e a b 1. A união de a e b, a È b, é o conjunto cujos elementos são exactamente os objectos que pertencem a a ou a b Poderemos provar que existem os conjuntos a Ç b e a È b? Teorema 2: Para todo o par de conjuntos a e b, existe 1 e 1 só conjunto c cujos elementos são objectos em a e em b "a"b$!c "x [xÎc « (xÎa Ù xÎb)] Prova: (prova condicional geral) Sejam a e b conjuntos arbitrários Compreensão: c= {x| xÎa Ù xÎb} existe o conjunto pretendido Extensionalidade: c é único

9 Intersecção e união Teorema 3: Para todo o par de conjuntos a e b, existe 1 e 1 só conjunto c cujos elementos são objectos em a ou em b "a"b$!c "x [xÎc « (xÎa Ú xÎb)] Prova: a e b conjuntos arbitrários Compreensão: c= {x| xÎa Ú xÎb} existe o conjunto pretendido Extensionalidade: c é único Estatuto de Ç e È na linguagem abreviaturas de descrições a Ç b é “ o conjunto cujos elementos são exactamente os objectos que são elementos de a e de b” novos símbolos de função binários: definições são novos axiomas

10 Conjuntos de conjuntos
Pelo axioma da compreensão: conjuntos de conjuntos podem ser formados arbitrariamente Teorema 5: Para quaisquer objectos x e y existe 1 único conjunto a={x,y} "x"y$!a "w [wÎa « (w=x Ú w=y)] Prova: Existência: propriedade P(z) é z=x Ú z=y conjunto {z| P(z)} tem x e y como únicos elementos Unicidade: pelo axioma da extensionalidade Teorema 6: Para todo o objecto x existe o conjunto singular {x} Aplicar o Teorema 5 para x=y

11 Representar ordenação
Conjuntos não são ordenados O par ordenado <x,y> pode ser representado pelo conjunto {{x}, {x,y}} Representação verifica propriedade fundamental dos pares <x,y> = <u,v> ® (x=u Ù y=v) A partir de pares ordenados ternos e outros tuplos <x,<y,z>> relações R(x,y) = {<x,y>| xÎD, yÎD, x R y} funções "x$≤1y R(x, y)

12 Propriedades das relações
Transitividade: "x"y"w[(R(x, y) Ù R(y, z)) ® R(x, z)] Reflexividade: "xR(x, x) Irreflexividade: "x ¬R(x, x) Simetria: "x"y(R(x, y) ® R(y, x)) Assimetria: "x"y(R(x, y) ® ¬R(y, x)) Antissimetria: "x"y[(R(x, y) Ù R(y, x)) ® x = y] Relação de equivalência: reflexividade + simetria + transitividade

13 Conjunto das partes de um conjunto
Teorema 7: Para todo o conjunto b existe 1 único conjunto cujos elementos são exactamente os subconjuntos de b Prova: Compreensão: existe c= {x| x Í b} Extensionalidade: c é único Ãb = {a | a Í b} Exemplo b= {2,3} Ãb = {Æ, {2}, {3}, {2,3}}

14 Propriedades de Ãb Teorema 8: Sendo a e b conjuntos
1. b Î Ãb 2. Æ Î Ãb 3. a Í b sse Ãa Í Ãb Conjunto pode ter subconjuntos que são elementos: Ex: { Blop, {Blop}}

15 Propriedades de Ãb Teorema 9: Para todo o conjunto b, não se verifica Ãb Í b “um conjunto não pode ter todos os seus subconjuntos como elementos” Prova: b: conjunto arbitrário Constrói-se subconjunto de b que não é elemento de b c= {x| xÎb Ù x Ï x} c Í b pela definição de c, logo c Î Ãb pela definição de Ãb Para mostrar que c Ï b: Supor cÎb Por casos: cÎc ou c Ï c Se cÎc: pela definição, c é elemento de b que não pertence a c; então c Ï c Se c Ï c: c é elemento de b que verifica a condição de definição de c; então cÎc Por contradição: Ãb Í b é falso

16 Conjunto de Russell Teorema 10 (conjunto de Russell para b): Para todo o conjunto b, o conjunto {x| xÎb Ù x Ï x} é subconjunto de b mas não elemento de b. Falha na axiomatização: pode provar-se a negação do Teorema 9 Teorema 11: Existe um conjunto c tal que Ãc Í c Prova: b: conjunto arbitrário Axioma da compreensão: existe conjunto universal (V) c= {x| x = x} todo o subconjunto de c é elemento de c, logo Ãc é subconjunto de c.

17 Paradoxo de Russell Onde reside a contradição? É o paradoxo de Russell
Z= {x| xÎV Ù x Ï x} conjunto de Russell para o conjunto universal Teorema 9 prova que Z é elemento de Z sse Z não é elemento de Z É o paradoxo de Russell Mostra que a axiomatização da noção intuitiva de conjunto é inconsistente Problema está no Axioma da Compreensão Ø$c "x [xÎc « x Ï x] Afirmação verdadeira que contradiz o axioma da compreensão Intuitivamente Alguns predicados têm extensões “excessivas” para serem tratadas como um objecto matemático

18 Nova axiomatização Predicados com extensões excessivas
Colecção de todos os conjuntos Colecção dos conjuntos que não se contêm como elementos Evitar a inconsistência - regra de formação de conjuntos de um conjunto a e uma propriedade P(x) podemos formar {x | xÎa Ù P(x)} se a não é conjunto excessivo um seu subconjunto também não Axioma da separação "a$b "x [xÎb « (xÎa Ù P(x))] É restrito demais: exclui usos legítimos do axioma da compreensão não pode provar-se a existência da união não pode provar-se a existência do conjunto das partes

19 Axiomas de Zermelo-Frankel
1. Extensionalidade 2. Separação 3. Par não ordenado: para quaisquer 2 objectos existe um conjunto que os tem como elementos 4. União: Dado um conjunto a de conjuntos, a união dos elementos de a é um conjunto "a$b "x [xÎb « $cÎa (xÎc)] 5. Conjunto das partes 6. Infinito: existe o conjunto de todos os números naturais 7. Substituição: Para todo o conjunto a e operação F que define um objecto único para cada x em a, existe o conjunto {F(x) | xÎa} Se "xÎa $!yÎb P(x,y) então existe b= {y | $xÎa P(x,y)} 8. Escolha: Seja f uma função com domínio a não vazio e para cada xÎa, f(x) é um conjunto não vazio, então existe uma função g com domínio a tal que g(x)Îf(x) 9. Regularidade Nenhum conjunto tem uma intersecção não vazia com cada um dos seus elementos "b[b¹Æ ® $yÎb (yÇb= Æ)]