Teoria intuitiva de conjuntos

Tamanho: px
Começar a partir da página:

Download "Teoria intuitiva de conjuntos"

Transcrição

1 Teoria intuitiva de conjuntos Relação binária Lista Teoria intuitiva de conjuntos A teoria dos conjuntos é uma linguagem que é perfeitamente adequada para descrever e explicar todos os tipos de estruturas matemáticas; toda a matemática pode ser descrita na teoria dos conjuntos. Embora seja possível desenvolver a teoria de conjuntos de maneira axiomática, como foi feito por Ernest Zermelo (1908) e Abraham Fraenkel (1922). A abordagem aqui é intuitiva e será suficiente para nossos propósitos. Conjunto: um conjunto é um conceito primitivo, que informalmente pode ser entendido como uma coleção de entidades distintas, chamadas de elementos do conjunto. De fato, essa tentativa de definir conjuntos é circular pois usa o termo coleção que é quase sinônimo de conjunto. Assumimos que todos entendem a concepção intuitiva de conjuntos. Discorreremos sobre algumas propriedades que caracterizam o conceito de conjuntos. Eventualmente, é conveniente fixar um conjunto universo U donde são tomados os elementos que definem um conjunto, chamaremos U de universo do discurso. Usamos as letras maiúsculas do início do alfabeto A, B, C,... para denotar conjuntos. Pertinência: Dizemos que um elemento x pertence a um conjunto A se x é um elemento de A. O predicado x A é verdadeiro se x é elemento de A e x A denota não(x A). Vazio: conjunto vazio. Há um conjunto especial sem elementos chamado de conjunto vazio; o símbolo denota o Igualdade de conjuntos: Dois conjuntos A e B são iguais se têm os mesmos elementos. Descrição: Da igualdade de conjuntos podemos inferir que descrever todos os elementos de um conjunto é suficiente para defini-lo. Podemos descrever um conjunto de diversas formas. Se um conjunto tem poucos elementos, podemos listá-los entre chaves { }. Por exemplo, o conjunto do dígitos 1

2 primos é formado pelos números inteiros 2, 3, 5 e 7 e escrevemos {2, 3, 5}. Quando os conjuntos têm muitos elementos não é viável escrever todos seus elementos e uma solução comum, mas que só usamos quando o contexto não dá margem a ambiguidade sobre seu significado, é o uso de reticências (... ). Por exemplo, o conjunto dos naturais menores que é descrito por {0, 1,..., 2.014}; o conjunto dos naturais pares {0, 2, 4, 6,... }. Podemos especificar um conjunto através de uma ou mais propriedade de seus elementos e, nesse caso, usamos a notação {a U: P(a)} ou mesmo {a: P(a)} quando o universo está subentendido, em que a é uma variável ligada ao universo do discurso U e P(a) uma afirmação que pode ser verdadeira ou falsa dependendo do valor de a, o conjunto é formado por aqueles valores que têm a propriedade, ou seja, pelos a U tais que P(a) é verdadeiro. Por exemplo, {x : x 2 2} = [ 2, 2]. Existem alguns conjuntos de números que são muito usados em matemática e têm notações convencionais bem estabelecidas:,, e denotam, respectivamente, os conjuntos dos números naturais, inteiros, racionais e reais. Ademais + def == {x : x > 0} + def == {x : x > 0} + def == {x : x > 0} def == {x : x 0} def == {x : x 0} def == {x : x 0} Inclusão: Para um determinado universo U, o conjunto A é subconjunto de um conjunto B, fato denotado por A B, se todo elemento de A pertence a B, ou seja, ( a U)(a A a B). Se A não é subconjunto de B denotamos A B, A B não (( a U)(a A a B)) ( a U)não(a A a B) ( a U)(a A ou a B) Observemos que A = B A B e B A. e, assim, A B A B ou B A. Teorema 1. Para qualquer conjunto A, A. 2

3 Demonstração. Para provar que A precisamos provar que para todo a, a a A. Mas como a hipótese a é falsa, a implicação é verdadeira. Usaremos a notação A B com o mesmo significado de A B e, usaremos A B para expressar A B e A B. Operações União: A B denota o conjunto dos elementos x do universo que pertencem a A ou a B A B = {x U: x A ou x B} Interseção: A B denota o conjunto dos elementos x do universo que pertencem a A e a B A B = {x U: x A e x B} A e B são disjuntos se A B =. Notemos que, para conuntos A e B, A B A A B pois x A B x A e x A x A B. Diferença: A \ B denota o conjunto dos elementos x do universo que pertencem a A e não a B A \ B = {x U: x A e x B}. Diferença simétrica: A B denota o conjunto dos elementos x do universo que pertencem exclusivamente a A ou a B, não a ambos A B = {x U: x A B e x A B} Complemento: Se A U, o símbolo A U denota complemento de com relação ao universo U, A U = U \ A = {x U: x A} e se não há perigo de confusão (ambiguidade) usamos simplesmente A. Algumas referências usam a notação A C para denotar A. Exercício 2. Se A = [0, 3) e B = [2, 7) são intervalos da reta, determine 1. A B 2. A 3. A \ B 4. A B 5. A B 6. B \ A. Propriedades das operações em conjuntos: Deixamos para o leitor a verificação das seguintes propriedades de conjuntos 3

4 Leis de identidade Leis distributivas A U = A A = A A (B C) = (A B) (A C) A (B C) = (A B) (A C) Leis de dominação Leis comutativas A U = U A = Leis de idempotência A A = A A A = A A B = B A A B = B A Leis associativas A (B C) = (A B) C A (B C) = (A B) C Leis do inverso Duplo complemento A A = U A A = A = A Leis de De Morgan A B = A B A B = A B Leis de absorção A (A B) = A A (A B) = A Prova de uma das leis de De Morgan. Sejam A e B conjuntos e vamos provar que A B = A B. Para provar essa igualdade, precisamos provar que (i) A B A B e (ii) A B A B. Para provar (i), seja x A B x A B x A B por definição de complemento não(x A B) por definição de não(x A ou x B) por definição de não(x A) e não(x B) por De Morgan (proposicional) x A e x B por definição de complemento x A B por definição de Portanto A B A B. 4

5 Para provar (ii) basta notar que a recíproca de todas as implicações no argumento acima são verdadeiras, portanto A B A B. Das duas inclusões segue o teorema. Exemplo 3. Podemos simplificar (A B) C B usando as propriedades acima (A B) C B = ((A B) C) B De Morgan = ((A B) C) B duplo complemento = (A B) (C B) associativa = (A B) (B C) comutativa = ((A B) B) C associativa = B C absorção União e interseção com mais de dois conjuntos Sejam A 0, A 1, A 2,... conjuntos n i=1 A i def == {x U: x A i para algum i {1,..., n}}; A i = i 1 n i=1 i=1 A i def == {x U: x A i para algum inteiro i 1}; A i def == {x U: x A i para todo i {1,..., n}}; A i = i 1 i=1 A i def == {x U: x A i para todo inteiro i 1}. Conjunto das partes 2 A denota o conjunto formado por todos os subconjuntos de A, isto é, B 2 A B A conjunto das partes de A. Exercício 4. Descreva o conjunto 2. Algumas referências usam (A) ou P(A). Essa notação que adotamos se explica na próxima seção. 5

6 Cardinalidade Uma enumeração do conjunto A, caso exista, é uma bijeção f: {1, 2,..., n} A, para algum n. Desse modo, A = {f(1), f(2),..., f(n)} e dizemos que A tem n elementos. Observemos que se g: {1, 2,..., m} A é uma bijeção então m = n (prove). Assim, definimos que a cardinalidade de A é n e denotamos esse fato por A = n. Ademais, A = 0 se e só se A =. Nesses dois casos, A vazio ou existe uma bijeção com {1, 2,..., n}, dizemos que A é finito. Se A não é finito então A é infinito. O conjunto dos naturais não é finito. De fato, se houver uma bijeção f: {1, 2,..., n} então tomamos m = f(1) + f(2) + + f(n) e percebemos que m pertence à imagem de f No caso de conjuntos infinitos não se pode falar em quantidade de elementos. Podemos, no entanto, comparar as cardinalidades. Os conjuntos A e B têm a mesma cardinalidade, e escrevemos A = B, se existe uma bijeção f: A B. Ademais, por abuso de notação, escrevemos A B se existe f: A B injetiva. Também, escrevemos A < B se A B e A B. O famoso Teorema de Schröder Bernstein estabelece que se A B e B A então A = B (esse fato não é óbvio no caso infinito). Exemplo 5. Alguns exemplos importantes são: 1. = ; 2. = ; 3. < ; 4. = I para qualquer intervalo I, I ; 5. 2 = ; 6. 2 =. Teorema 6. =. Demonstração. Definimos a função f: dada por 2z, se z 0 f(z) = 2( z) 1, se z < 0. Dado n, se n é par então n = 2z para algum z, portanto f(z) = n; senão n é ímpar, n = 2z 1 para algum z +, portanto f( z) = 2( ( z)) 1 = n. Assim f é sobrejetora. Agora, se f(z 1 ) = f(z 2 ) então 2z 1 = 2z 2 ou 2( z 1 ) + 1 = 2( z 2 ) 1 e em ambos os casos z 1 = z 2. Portanto a função é bijetora. O seguinte teorema mostra que sempre há um conjunto maior com respeito a alguma cardinalidade. Teorema 7 (Teorema de Cantor). Para todo conjunto A, A < 2 A. 6

7 2 A. Em outras palavras, existe uma função injetiva mas não existe uma função sobrejetiva de A para Demonstração. Se A = então A = 0 < 2 A = { } = 1. Seja A um conjunto não vazio. A função f: A 2 A a {a} é injetiva, portanto A 2 A. Pra mostrar que A 2 A provaremos que não há sobrejeção g: A 2 A. Suponhamos que g: A 2 A é sobrejetiva. Para todo a A, g(a) A. Definamos B def == {a A: a g(a)}. B A e g sobrejetiva implica que B = g(b) para algum b. Daí b B b g(b), pela definição do conjunto B, também, b B b g(b), uma contradição. Isso completa a prova. NO caso finito conseguimos um resultado masi preciso a respeito dessas cardinalidades. A notação 2 A para o conjunto das partes de A é inspirada no fato de que 2 A = 2 A para qualquer A finito. Teorema 8. Todo conjunto A de cardinalidade n tem 2 n subconjuntos distintos. Demonstração. Seja A um conjunto de cardinalidade n. Se n = 0 então A = é o único subconjunto dele mesmo e 2 0 = 1. Se n > 1 então existe uma bijeção f: {1, 2,..., n} A. Como A = {f(1), f(2), f(3),..., f(n)}, cada subconjunto B A corresponde a uma, e só uma, sequência b(b) = (b 1, b 2,..., b n ) {0, 1} n dada por b i = 1 f(i) B, para cada i {1, 2,..., n}, ou seja b: 2 A {0, 1} n B b(b) assim definida é bijetiva, de modo que 2 A = {0, 1} n = 2 n (prove usando Princípio da Indução). Enumerável: o conjunto A é dito enumerável se é finito ou se tem a mesma cardinalidade de, isto é A = de modo que A = {f(0), f(1), f(2),... }., e são enumeráveis. não é enumerável. Contínuo: o conjunto A é dito contínuo se A =. 7

8 Considerações a respeito do exemplo 5: usando o Teorema de Schröder Bernstein podemos mostrar de modo fácil algumas das igualdades. Por exemplo, claramente há uma função injetiva f: pois, logo. Para mostrar que consideremos os racionais não-nulo dados pelas frações da forma p, p e q, mdc(p, q) = 1 q agora, definimos g: por g(0) = 0 e ( ) p 2 p 3 q, se p > 0 g = q 5 p 3 q, se p < 0 que é injetiva (verifique). É possível exibir um bijeção entre e mas isso é bastante trabalhoso. O item 3 do exemplo tem a famosa demonstração de Cantor por diagonalização. Como, temos logo precisamos mostrar que. Suponha que exista f: (0, 1) bijetiva, então podemos enumerar (todos) os elementos do intervalo f(0) = 0,d 0,0 d 0,1 d 0,2 d 0,3 d 0,4... d 0,n... f(1) = 0,d 1,0 d 1,1 d 1,2 d 1,3 d 1,4... d 1,n... f(2) = 0,d 2,0 d 2,1 d 2,2 d 2,3 d 2,4... d 2,n.... f(n) = 0,d n,0 d n,1 d n,2 d n,3 d n,4... d n,n... com d i,j {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}. Consideremos o número real. = 0,d 0 d 1 d 2 d 3... d n... com d i {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} \ {0, 9, d i,i } ( i ). Esse número pertence ao intervalo (0, 1) pois d i 0, logo é diferente de 0 = 0, , e d i 9 logo é diferente de 1 = 0, Ademais, f(i) pois d i d i,i para todo n, uma contradição. Portanto, não existe f: (0, 1) bijetiva, tampouco f: bijetiva. Do item 4, temos que = (0, 1), nos itens 5 e 6 basta mostrarmos que (0, 1) (0, 1) (0, 1) e que 2 (0, 1). No primeiro caso, um ponto no quadrado (0, 1) (0, 1) é da forma (x, y) com x = 0,a 1 a 2 a 3... e y = 0,b 1 b 2 b 3..., e uma função injetiva sobre (0, 1) é dada quando mapeamos tal ponto em 0,a 1 b 1 a 2 b 2 a 3 b 3... de (0, 1). No segundo caso, um subconjunto B de pode ser representado por uma sequência binária infinita b 0 b 1 b 2... em que b i = 1 i B para todo i. Essa sequência é mapeada na representação binária 0,b 0 b 1 b 2... de um real do intervalo (0, 1); tal função é injetora (verifique). Para = I com I um intervalo de comprimento finito, em particular o caso (0, 1), deixamos a seguinte figura que representa uma bijeção f cuja interpretação e formalização fica a cargo do leitor. 8

9 x 1x2 I x 3 x 4 f(x 1 ) f(x 2 ) f(x 3 ) f(x 4 ) Partição O conjunto {A 1, A 2,..., A n } é uma partição (finita) do conjunto A se seus elementos são subconjuntos não-vazio de A, disjuntos e a união deles é A, isto é, 1. A i A para todo i; 2. i j (j i A i A j = ) 3. n i=1 A i = A. Exemplo 9. Sejam R 0, R 1 e R 2 subconjuntos de definidos por R i = {n: n dividido por 3 deixa resto i} {R 0, R 1, R 2 } é uma partição de. Produto cartesiano Denotamos por (a, b) um par ordenado de elementos, no qual a é o primeiro elemento e b é o segundo elemento. Kuratowski definiu par ordenado em termos de conjunto como (a, b) def == {{a}, {a, b}}. Daí é claro que um par ordenado é diferente de um conjunto de dois elementos, pois a ordem é importante (por exemplo, o par (1, 2) é diferente do par (2, 1), verifique usando a definição acima). Dois pares ordenados (a, b) e (c, d) são iguais se, e somente se, a = c e b = d (deduza esse fato da definição dada acima). A B denota o conjunto dos pares ordenados com o primeiro elemento em A e o segundo em B A B = {(a, b): a A e b B}. Como no produto cartesiano os pares são ordenados, temos que A B B A (exceto quando A = B ou A = ou B = ). Uma maneira de representar produtos cartesianos que envolvem conjuntos pequenos é chamada de diagrama de árvore. Por exemplo, no caso A = {2, 3, 4} e B = {4, 5}, o produto cartesiano é representado pela árvore 9

10 2 3 4 (2, 4) (2, 5) (3, 4) (3, 5) (4, 4) (4, 5) Na raiz temos uma ramificação para cada elemento na primeira coordenada, em cada ramo temos uma ramificação para cada elemento na segunda coordenada. No fimde cada ramo da árvore há um elemento do produto cartesiano. Relações A e B são conjuntos. Uma relação binária R de A para B é um conjunto R A B. Uma relação binária R sobre A é um conjunto de pares ordenados de elementos de A, em outras palavras, é um subconjunto R A A. Notação: Escrevemos a R b com o significado de (a, b) R. Escrevemos a R b com o de (a, b) R. Exemplo 10. São relações 1. < é uma relação binária e (2, 3) <, mas usamos 2 < é uma relação binária e (2, 4), mas usamos é uma relação binária e ({1, 2}, {1, 2, 3}), mas usamos {1, 2} {1, 2, 3}. Notação: Para uma relação genérica, usamos símbolos como,,, ao invés de R. Propriedades de uma relação: das seguintes propriedades: uma relação binária sobre um conjunto A pode ou não ter uma reflexiva para todo a A, a a; irreflexiva para todo a A, a a; simétrica para todo a A, para todo b A, se a b então b a; antisimétrica para todo a A, para todo b A, se a b e b a então b = a; transitiva para todo a A, para todo b A, para todo c A, se a b e b c então a c. Exemplo 11. Em a relação x y se, e só se, x y < 1 é reflexiva, simétrica e transitiva.x 10

11 Exercício 12. Quais dessas propriedades têm as relações do exemplo 10. Exercício 13. A seguir, considere A = {1, 2, 3, 4} e B = {1, 2, 3} e classifique, quanto as propriedades acima, as relações sobre A e sobre B. 1. R 1 = {(1, 2), (2, 1), (1, 3), (3, 1)}. 2. R 2 = {(1, 1), (2, 2), (3, 3)}. 3. R 3 = {(1, 1), (2, 2), (3, 3), (2, 3)}. 4. R 4 = {(1, 1), (2, 3), (3, 3)}. 5. R 5 = {(1, 2), (2, 3), (3, 1)}. Relações de equivalência Uma relação é de equivalência se for reflexiva, simétrica e transitiva. Exemplo 14. São exemplos de relações de equivalência 1. = é uma relação de equivalência em. 2. não é uma relação de equivalência em. 3. Semelhança de matriz é uma relação de equivalência sobre o conjuntos de todas as matrizes quadradas de ordem n de números reais. 4. (mod 3) é a relação dada pelos pares de inteiros que deixam o mesmo resto quando divididos por 3, é de equivalência. Classe de equivalência Seja uma relação de equivalência sobre o conjunto X e a X [a] def == {b X: b a} é o subconjunto de X formado por todos os elementos equivalentes a a, chamado de classe de equivalência de a. O elemento dentro dos colchetes é chamado de representante da classe. Por transitividade, qualquer elemento da classe pode ser seu representante. Seja b X com b a. Para todo c [a] vale c a, portanto, c b, logo c [b]. Reciprocamente, se c [b] então c [a], por argumento análogo. Assim [a] = [b]. Também, se [a] = [b] então de a [a] temos a [b], portanto a b. Com isso provamos a b [a] = [b]. (1) 11

12 O que podemos dizer no caso [a] [b]? Imediatamente, por (1) que a b. Para qualquer c X, se c a então b c, caso contrário teríamos uma contradição pela transitividade, de modo que [a] [b] =. Concluindo, dos parágrafos precedentes temos que para as classes de equivalência vale um dos casos: para quaisquer a, b X 1. [a] = [b], ou 2. [a] [b] =. O conjunto quociente de X pela relação de equivalência é o conjunto das classes de equivalência da relação X/ def == {[a]: a X}. Teorema 15. Se é uma relação de equivalência sobre o conjunto X então X/ é uma partição de X. Demonstração. Exercício. Exemplo 16. No caso de exemplo 9 R 0 = [0] = {..., 9, 6, 3, 0, 3, 6, 9, 12, 15,... } R 1 = [1] = {..., 8, 5, 2, 1, 4, 7, 10, 13, 16,... } R 2 = [2] = {..., 7, 4, 1, 2, 5, 8, 11, 14, 17,... } Observemos que [0] = [3] = [6]. Reciprocamente, Teorema 17. Se A é uma partição do conjunto não vazio X, então a relação definida por a b se, e só se, existe A A, a A e b A é uma relação de equivalência. Demonstração. Sejam A, X e como no enunciado e vamos provar que é uma relação binária reflexiva, simétrica e transitiva. Para todo a X, a A para algum A A, pois A é partição; da definição temos a a, logo a relação é reflexiva. Se a b então a A e b A, para algum A A, mas também, b a. Logo a relação é simétrica. Finalmente, se a b então a A e b A, para algum A A, e se b c então b B e c B, para algum B A. Portanto b A B. Como A é partição A B = ou A = B. Vale a segunda opção. De a, c A temos a c. Logo a relação é transitiva. 12

13 Por exemplo, {R 0, R 1, R 2 } é a partição de dada no exemplo 9. Definimos sobre por a b se existe i {0, 1, 2} tal que a, b R i Relações de ordem Uma relação sobre um conjuto A é uma relação de ordem se essa for reflexiva, antissimétrica e transitiva. Exemplo 18. é uma relação de ordem sobre 2 e é uma relação de ordem sobre. Há uma diferença importante entre as duas relações de ordem do exemplo anterior, na primeira,, pode haver elementos incomparáveis, por exemplo, os conjuntos {1, 2} e {2, 3} são incomparáveis {1, 2} {2, 3} e {2, 3} {1, 2} enquanto que quaisquer dois números inteiros x e y são comparáveis x y ou y x. Se em A há elementos incomparáveis sob a relação de ordem então (A, ) é uma ordem parcial ou, conjunto parcialmente ordenado. Caso contrário (A, ) é uma ordem total ou, conjunto totalmente ordenado. Exemplo 19. (2 A, ), (, ) e ( +, ) são ordens parciais, somente (, ) é total. é, (A, ) é bem-ordenado se é uma ordem total e todo subconjunto não vazio de A tem mínimo, isto S A (S ( m S, a S(m a) )) Boa ordem é o que permite se provar coisas por indução sobre os naturais: Suponha que se P vale para todo n < k, então P vale para k. Com isso, podemos mostrar que P vale para todo k. 13

14 Notação a b significa a b e a b. Teorema 20 (Princípio da Indução para conjuntos bem-ordenados). Seja (A, ) bem-ordenado e P um predicado sobre A. Se para todo y A ( ) x A(x y P(x)) P(y) então para todo a A, P(a). Demonstração. A prova é por contradição. Suponha que para todo y A ( x A(x y P(x)) ) P(y) (2) e assuma que existe a A, não P(a). Defina S = {a A: não P(a)} que, por hipótese é não vazio. Seja m o menor elemento de S com respeito a ordem. Então, para todo x m vale P(x). Por (2), P(m) é verdadeiro, uma contradição. Exemplo

15 3ª Lista de Matemática Discreta Conjuntos 1. Seja A = {1, {1}, {2}}. Quais das afirmações a seguir são verdadeiras? a) { }; b) ; c) { }; d) = { }; e) { } {, { }}; f) { } {, { }}; g) { } = {, { }}; h) 1 A; i) {1} A; j) {2} A; k) {1} A; l) {2} A; m) {{1}} A; n) {{2}} A; o) {2} A; 2. Prove cada uma das propriedades das operações de conjunto. 3. Use as definições ou as propriedades das operações para escrever uma dedução para: a) A A B; b) B A B; c) A B A; d) A B B; e) B = (B A) (B A); f) A B = B A; g) A A = ; h) A B = A B. 4. Simplifique as expressões abaixo usando as propriedades de operações em conjuntos a) A (B \ A); b) (A B) (A B C D) (A B); c) (A \ B) (A B); d) A B (A B C). 5. Enuncie e prove as leis de De Morgan no caso de união e interseção com mais de dois conjuntos. 6. Prove que A e B são disjuntos se, e somente se, A B = A B. 7. Escreva o conjunto das partes de a) {1, 2, 3}; b) {{1}, {2}, {3}}. c) {{1, 2}, {3}}. 8. Seja o conjunto dos números inteiros. Para cada i {0, 1, 2} denote por R i o subconjunto dos números inteiros que deixam resto i quando divididos por 3. Prove que {R 0, R 1, R 2 } é uma partição de. 15

16 9. Seja q um número inteiro e positivo. Para cada i {0, 1,..., q 1} denote por R i o subconjunto dos números inteiros que deixam resto i quando divididos por q. Prove que {R 0, R 1,..., R q 1 } é uma partição de. 10. Sejam U um conjunto, E U e {A 1, A 2,..., A n } uma partição de U. Prove que E = n (A i E) i=1 11. Sejam A 1, A 2,..., A n conjuntos finitos. Prove que n A i = i=1 n A i A i A j + A i A j A k + + i=1 ( 1) k 1 1 i<j n 1 i 1 <i 2 < <i k n 1 i<j<k n A i1 A i2 A ik + + ( 1) n 1 A 1 A 2 A n 12. Sejam A 1, A 2,..., A n conjuntos finitos. Prove que A 1 A 2 A n = A 1 A 2 A n (Dica: use o princípio da indução finita) 13. Seja A U tal que 2 A = n. Determine 2 B se a) B = A {x} para algum x U \ A; b) B = A {x, y} para algum x, y U \ A; c) B = A {x 1, x 2,..., x k } para x 1, x 2,..., x k U \ A. 14. Mostre que o conjunto dos inteiros positivos ímpares tem a mesma cardinalidade que. 15. Verifique se é verdadeira ou falsa cada uma das afirmações a seguir. No caso de ser falsa, apresente um contra-exemplo. a) se A e B são infinitos então A B é infinito; b) se B é infinito A B então A é infinito; c) se B é finito A B então A é finito; d) se A é finito A B então B é finito. 16. Prove que acrescentar um novo elemento a um conjunto finito resulta num conjunto finito. 17. Prove que remover um elemento de um conjunto infinito resulta num conjunto infinito 16

17 18. Prove que todo conjunto infinito contem um subconjunto infinito enumerável. 19. Prove que todo subconjunto de um conjunto finito também é finito. 20. Prove que todo conjunto infinito contém um subconjunto próprio de mesma cardinalidade. 21. Sejam A, B, C e D conjuntos não-vazios. Prove a) A (B C) = (A B) (A C) b) A (B C) = (A B) (A C) c) (B C) A = (B A) (C A) d) (B C) A = (B A) (C A) e) A = f) A B C D A C e B D. 22. Dê um exemplo de uma relação no conjunto {1, 2, 3, 4} que seja a) reflexiva, simétrica e não transitiva; b) não reflexiva, simétrica e transitiva; c) reflexiva, antissimétrica e não transitiva. 23. Explique o que está errado na seguinte demonstração sobre uma relação binária R sobre A: Teorema. Se R é uma relação simétrica e transitiva então R é uma relação reflexiva. Demonstração. Seja x um elemento qualquer de A. Para todo y, se x R y então y R x, pois a relação é simétrica. Se x R y e y R x, então x R x pela transitividade. Portanto, R é reflexiva. 24. Considere a relação Z definida por (a, b)z(n, m) se, e só se a + m = b + n Prove que Z é uma relação de equivalência. 25. Seja m > 1 inteiro. Dois inteiros a e b são congruentes módulo m se m b a. Mostre que congruência módulo m é uma relação de equivalência. Determine as classes de equivalência e o conjunto quociente dos inteiros pela relação de equivalência. 26. Defina em a relação a b se e só se b = a ou b = a. Determine se a relação é de equivalência e, caso seja, determine as classes de equivalência. 27. Mostre que a relação nos inteiros não é de equivalência. 17

18 28. Seja (A, ) e (B, ) duas ordens totais. Definimos em A B a seguinte relação binária (a, b) (c, d) se a c (i.e., a c e a c) ou a = c e b b. Prove que (A B, ) é uma ordem total. Essa ordem é conhecida como lexicográfica. 29. Ordene os seguintes elementos de de acordo com a ordem lexicográfica: (1, 2), (2, 1), (3, 1), (1, 1), (2, 2), (3, 3), (1, 4), (3, 5), (2, 4), (4, 4), (4, 1). 30. Um elemento b A da ordem parcial (A, ) é maximal se para todo a A, b a a = b, ou seja não existe a A com b a. Determine os elementos maximais de ({2, 4, 5, 10, 12, 20, 25}, ) e de (2 {1,2,3}, ). 31. Baseado no exercício anterior de uma definição para elemento minimal de uma ordem parcial e determine os elementos minimais de ({2, 4, 5, 10, 12, 20, 25}, ) e de (2 {1,2,3}, ). 32. Prove que se numa ordem parcial (A, ) há maior elemento então ele é único. 33. Numa ordem parcial (A, ) dizemos que C A é uma cadeia se os elementos de C são comparáveis entre si. Dizemos que C é uma anti-cadeia se os elementos de C são incomparáveis entre si. Determine as cadeias e as anti-cadeias de (2 {1,2,3}, ). 34. Prove que numa ordem parcial finita e não vazia há elementos maximal e minimal. 35. O diagrama de Hasse de uma ordem parcial (A, ) é uma representação gráfica dessa ordem. Nela os elementos do conjunto são ligados por arestas e a está ligado com b se a b e não existe c tal que a c b, ainda se a b então b aparece (verticalmente) acima de a no diagrama. O seguinte diagrama representa (2 {1,2,3}, ) {1, 2, 3} {2, 3} {1, 3} {1, 2} {3} {2} {1} 18

19 Desenhe o diagrama de Hasse de ({1, 2, 4, 5, 12, 20}, ) 36. Uma linearização (ou ordenação topológica) de uma ordem parcial (A, ) é uma sequência a 1, a 2,..., a n com todos os elemento de A que é compatível com, isto é, se i < j então a i a j, ou a i e a j são incomparáveis. Uma linearização de (2 {1,2,3}, ) é, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3} Escreva outras duas linearizações possíveis para (2 {1,2,3}, ). 37. Seja S um conjunto de tarefas e uma relação de ordem, de modo que s t significa que s deve ser realizada antes de t. Uma linearização corresponde a uma sequência de realização de tarefas que é compatível com a ordem. Encontre uma ordem de tarefas para um projeto de software cuja ordem é representada por 19

Capítulo 0: Conjuntos, funções, relações

Capítulo 0: Conjuntos, funções, relações Capítulo 0: Conjuntos, funções, relações Notação. Usaremos Nat para representar o conjunto dos números naturais; Int para representar o conjunto dos números inteiros. Para cada n Nat, [n] representa o

Leia mais

Teoria Elementar dos Conjuntos

Teoria Elementar dos Conjuntos Teoria Elementar dos Conjuntos Última revisão em 27 de fevereiro de 2009 Este texto é uma breve revisão sobre teoria elementar dos conjuntos. Em particular, importam-nos os aspectos algébricos no estudo

Leia mais

INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/3 6 - RELAÇÕES DE ORDENAMENTO 6.1) Conjuntos parcialmente

Leia mais

Teoria Elementar dos Conjuntos

Teoria Elementar dos Conjuntos Teoria Elementar dos Conjuntos Este capítulo visa oferecer uma breve revisão sobre teoria elementar dos conjuntos. Além de conceitos básicos importantes em matemática, a sua imprtância reside no fato da

Leia mais

Matemática Discreta - 07

Matemática Discreta - 07 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 07 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito Capítulo 2 Conjuntos Infinitos O conjunto dos números naturais é o primeiro exemplo de conjunto infinito que aprendemos. Desde crianças, sabemos intuitivamente que tomando-se um número natural n muito

Leia mais

Exercícios de revisão para a primeira avaliação Gabaritos selecionados

Exercícios de revisão para a primeira avaliação Gabaritos selecionados UFPB/CCEN/DM Matemática Elementar I - 2011.2 Exercícios de revisão para a primeira avaliação Gabaritos selecionados 1. Sejam p, q e r proposições. Mostre que as seguintes proposições compostas são tautologias:

Leia mais

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito Capítulo 2 Conjuntos Infinitos Um exemplo de conjunto infinito é o conjunto dos números naturais: mesmo tomando-se um número natural n muito grande, sempre existe outro maior, por exemplo, seu sucessor

Leia mais

4.1 Preliminares. No exemplo acima: Dom(R 1 ) = e Im(R 1 ) = Dom(R 2 ) = e Im(R 2 ) = Dom(R 3 ) = e Im(R 3 ) = Diagrama de Venn

4.1 Preliminares. No exemplo acima: Dom(R 1 ) = e Im(R 1 ) = Dom(R 2 ) = e Im(R 2 ) = Dom(R 3 ) = e Im(R 3 ) = Diagrama de Venn 4 Relações 4.1 Preliminares Definição 4.1. Sejam A e B conjuntos. Uma relação binária, R, de A em B é um subconjunto de A B. (R A B) Dizemos que a A está relacionado com b B sss (a, b) R. Notação: arb.

Leia mais

complemento para a disciplina de Matemática Discreta versão 1 - Jerônimo C. Pellegrini Relações de Equivalência e de Ordem

complemento para a disciplina de Matemática Discreta versão 1 - Jerônimo C. Pellegrini Relações de Equivalência e de Ordem Relações de Equivalência e de Ordem complemento para a disciplina de Matemática Discreta versão 1 Jerônimo C. Pellegrini 5 de agosto de 2013 ii Sumário Sumário Nomenclatura 1 Conjuntos e Relações 1 1.1

Leia mais

Funções, Seqüências, Cardinalidade

Funções, Seqüências, Cardinalidade Funções, Seqüências, Cardinalidade Prof.: Rossini Monteiro Noções Básicas Definição (Função) Sejam A e B conjuntos. Uma função de A em B é um mapeamento de exatamente um elemento de B para cada elemento

Leia mais

Contando o Infinito: os Números Cardinais

Contando o Infinito: os Números Cardinais Contando o Infinito: os Números Cardinais Sérgio Tadao Martins 4 de junho de 2005 No one will expel us from the paradise that Cantor has created for us David Hilbert 1 Introdução Quantos elementos há no

Leia mais

Aulas 10 e 11 / 18 e 20 de abril

Aulas 10 e 11 / 18 e 20 de abril 1 Conjuntos Aulas 10 e 11 / 18 e 20 de abril Um conjunto é uma coleção de objetos. Estes objetos são chamados de elementos do conjunto. A única restrição é que em geral um mesmo elemento não pode contar

Leia mais

Matemática Discreta para Ciência da Computação

Matemática Discreta para Ciência da Computação Matemática Discreta para Ciência da Computação P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação

Leia mais

Notas de aula de MAC0329 Álgebra Booleana e Aplicações

Notas de aula de MAC0329 Álgebra Booleana e Aplicações Notas de aula de MAC0329 Álgebra Booleana e Aplicações Nina S. T. Hirata Depto. de Ciência da Computação IME / USP Este texto é uma referência-base para o curso de MAC0329 (Álgebra Booleana e Aplicações).

Leia mais

Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 2. Conceitos Básicos da Teoria da Computação

Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 2. Conceitos Básicos da Teoria da Computação Curso: Ciência da Computação Turma: 6ª Série Aula 2 Conceitos Básicos da Computação pode ser definida como a solução de um problema ou, formalmente, o cálculo de uma função, através de um algoritmo. A

Leia mais

Teoria Ingênua dos Conjuntos (naive set theory)

Teoria Ingênua dos Conjuntos (naive set theory) Teoria Ingênua dos Conjuntos (naive set theory) MAT 131-2018 II Pouya Mehdipour 5 de outubro de 2018 Pouya Mehdipour 5 de outubro de 2018 1 / 22 Referências ALENCAR FILHO, E. Iniciação à Lógica Matemática,

Leia mais

Capítulo 2. Conjuntos Infinitos

Capítulo 2. Conjuntos Infinitos Capítulo 2 Conjuntos Infinitos Não é raro encontrarmos exemplos equivocados de conjuntos infinitos, como a quantidade de grãos de areia na praia ou a quantidade de estrelas no céu. Acontece que essas quantidades,

Leia mais

1 o semestre. 1. Símbolos lógicos e conjuntos

1 o semestre. 1. Símbolos lógicos e conjuntos CONJUNTOS E ÁLGEBRA 1 o semestre Neste curso, recordaremos inicialmente a teoria ingênua de conjuntos e um pouco de lógica. Depois, estudaremos alguns rudimentos de álgebra: relações de equivalência e

Leia mais

Sumário Algumas Demonstrações CONCLUSÃO RESUMO ATIVIDADES... 34

Sumário Algumas Demonstrações CONCLUSÃO RESUMO ATIVIDADES... 34 Sumário Aula 11: Relações Binárias 9 11.1 Introdução... 10 11.2 Relações Binárias... 10 11.2.1 Propriedades das Relações Binárias... 13 11.3 Algumas Demonstrações... 16 11.4 CONCLUSÃO... 18 11.5 RESUMO....

Leia mais

2019/01. Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG /01 1 / 76

2019/01. Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG /01 1 / 76 Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG 2019/01 Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG - 2019/01 1 / 76

Leia mais

Centro de Informática UFPE

Centro de Informática UFPE ,, Estruturas,, Centro de Informática UFPE 1 ,, 1 2 3 4 2 ,, Introdução Uma matilha de cães Um cacho de uvas Uma quadrilha de ladrões Estes são exemplos de conjuntos. 3 ,, Definição Um conjunto é um coleção

Leia mais

Matemática Discreta - 07

Matemática Discreta - 07 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 07 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

Análise I. Notas de Aula 1. Alex Farah Pereira de Agosto de 2017

Análise I. Notas de Aula 1. Alex Farah Pereira de Agosto de 2017 Análise I Notas de Aula 1 Alex Farah Pereira 2 3 23 de Agosto de 2017 1 Turma de Matemática. 2 Departamento de Análise-IME-UFF 3 http://alexfarah.weebly.com ii Conteúdo 1 Conjuntos 1 1.1 Números Naturais........................

Leia mais

Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas.

Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas. Teoria dos Conjuntos Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas. Porém, não é nosso objetivo ver uma teoria axiomática dos conjuntos.

Leia mais

Enumerabilidade. Capítulo 6

Enumerabilidade. Capítulo 6 Capítulo 6 Enumerabilidade No capítulo anterior, vimos uma propriedade que distingue o corpo ordenado dos números racionais do corpo ordenado dos números reais: R é completo, enquanto Q não é. Neste novo

Leia mais

Fundamentos de Álgebra Moderna Profª Ana Paula CONJUNTOS

Fundamentos de Álgebra Moderna Profª Ana Paula CONJUNTOS Fundamentos de Álgebra Moderna Profª Ana Paula CONJUNTOS O conjunto é um conceito fundamental em todos os ramos da matemática. Intuitivamente, um conjunto é uma lista, coleção ou classe de objetods bem

Leia mais

Aula 1 Conjuntos. Meta. Introduzir as noções básicas de conjunto e produto cartesiano de. conjuntos. Objetivos

Aula 1 Conjuntos. Meta. Introduzir as noções básicas de conjunto e produto cartesiano de. conjuntos. Objetivos Conjuntos AULA 1 Aula 1 Conjuntos Meta conjuntos. Introduzir as noções básicas de conjunto e produto cartesiano de Objetivos Ao final desta aula, você deve ser capaz de: Definir as noções básicas de conjunto

Leia mais

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Newton José Vieira 21 de agosto de 2007 SUMÁRIO Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova 1 CONJUNTOS A NOÇÃO

Leia mais

Conjuntos Enumeráveis e Não-Enumeráveis

Conjuntos Enumeráveis e Não-Enumeráveis Conjuntos Enumeráveis e Não-Enumeráveis João Antonio Francisconi Lubanco Thomé Bacharelado em Matemática - UFPR jolubanco@gmail.com Prof. Dr. Fernando de Ávila Silva (Orientador) Departamento de Matemática

Leia mais

ALGEBRA I Maria L ucia Torres Villela Instituto de Matem atica Universidade Federal Fluminense Junho de 2007 Revis ao em Fevereiro de 2008

ALGEBRA I Maria L ucia Torres Villela Instituto de Matem atica Universidade Federal Fluminense Junho de 2007 Revis ao em Fevereiro de 2008 ÁLGEBRA I Maria Lúcia Torres Villela Instituto de Matemática Universidade Federal Fluminense Junho de 2007 Revisão em Fevereiro de 2008 Sumário Introdução... 3 Parte 1 - Preliminares... 5 Seção 1 - Noções

Leia mais

Universidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática

Universidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática Universidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática 2014 Na teoria dos conjuntos três noções são aceitas sem denição (noção primitiva):: Conjunto;

Leia mais

Notas sobre conjuntos, funções e cardinalidade (semana 1 do curso)

Notas sobre conjuntos, funções e cardinalidade (semana 1 do curso) Notas sobre conjuntos, funções e cardinalidade (semana 1 do curso) Roberto Imbuzeiro Oliveira 8 de Janeiro de 2014 1 Conjuntos e funções Neste curso procuraremos fundamentar de forma precisa os fundamentos

Leia mais

Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos

Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos Pode-se dizer que a é em grande parte trabalho de um único matemático: Georg Cantor (1845-1918). noção de conjunto não é suscetível de definição precisa a partir d noções mais simples, ou seja, é uma noção

Leia mais

Notas de Aula de Fundamentos de Matemática

Notas de Aula de Fundamentos de Matemática Universidade Estadual de Montes Claros Centro de Ciências Exatas e Tecnológicas Departamento de Ciências Exatas Notas de Aula de Fundamentos de Matemática Rosivaldo Antonio Gonçalves Notas de aulas que

Leia mais

Curso: Ciência da Computação Disciplina: Matemática Discreta 3. CONJUNTOS. Prof.: Marcelo Maraschin de Souza

Curso: Ciência da Computação Disciplina: Matemática Discreta 3. CONJUNTOS. Prof.: Marcelo Maraschin de Souza Curso: Ciência da Computação Disciplina: Matemática Discreta 3. CONJUNTOS Prof.: Marcelo Maraschin de Souza 3. Conjuntos Definição: Um conjunto é uma coleção desordenada de zero ou mais objetos, denominados

Leia mais

Análise I Solução da 1ª Lista de Exercícios

Análise I Solução da 1ª Lista de Exercícios FUNDAÇÃO EDUCACIONAL SERRA DOS ÓRGÃOS CENTRO UNIVERSITÁRIO SERRA DOS ÓRGÃOS Centro de Ciências e Tecnologia Curso de Graduação em Matemática Análise I 0- Solução da ª Lista de Eercícios. ATENÇÃO: O enunciado

Leia mais

Teoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO

Teoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO SUMÁRIO MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova Newton José Vieira 21 de agosto de 2007 1 A NOÇÃO DE CONJUNTO

Leia mais

antissimétrica: para todos x, y A, x y e y x implica que x = y; transitiva: para todos x, y, z A, x y e y z implica que x z.

antissimétrica: para todos x, y A, x y e y x implica que x = y; transitiva: para todos x, y, z A, x y e y z implica que x z. 5 Ordens parciais Como já dissemos, na seção anterior, o PBO não vale para subconjuntos de Q e R com respeito a ordem usual, porém é um teorema em na teoria ZFC dos conjuntos que todo conjunto não vazio

Leia mais

Notas de aulas. álgebra abstrata

Notas de aulas. álgebra abstrata 1 Notas de aulas de álgebra abstrata UEMA LICENCIATURA EM MATEMATICA Elaborada por : Raimundo Merval Morais Gonçalves Licenciado em Matemática/UFMA Professor Assistente/UEMA Especialista em Ensino de Ciências/UEMA

Leia mais

INE Fundamentos de Matemática Discreta para a Computação

INE Fundamentos de Matemática Discreta para a Computação INE5403 - Fundamentos de Matemática Discreta para a Computação 5) Relações 5.1) Relações e Dígrafos 5.2) Propriedades de Relações 5.3) Relações de Equivalência 5.4) Manipulação de Relações 5.5) Fecho de

Leia mais

Existem conjuntos em todas as coisas e todas as coisas são conjuntos de outras coisas.

Existem conjuntos em todas as coisas e todas as coisas são conjuntos de outras coisas. MÓDULO 3 CONJUNTOS Saber identificar os conjuntos numéricos em diferentes situações é uma habilidade essencial na vida de qualquer pessoa, seja ela um matemático ou não! Podemos dizer que qualquer coisa

Leia mais

Matemática Discreta - Departamento de Matemática - EST-IPV / III

Matemática Discreta - Departamento de Matemática - EST-IPV / III Matemática Discreta - Departamento de Matemática - EST-IPV - 2003/2004 III - 1 Matemática Discreta - Departamento de Matemática - EST-IPV - 2003/2004 - III 1. Conjuntos Conjuntos, relações e funções Axioma

Leia mais

Matemática Discreta. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017

Matemática Discreta. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017 Matemática Discreta Fundamentos e Conceitos da Teoria dos Números Professora Dr. a Donizete Ritter Universidade do Estado de Mato Grosso 4 de setembro de 2017 Ritter, D. (UNEMAT) Matemática Discreta 4

Leia mais

Semana 2. Primitivas. Conjunto das partes. Produto cartesiano. 1 Teoria ingênua dos conjuntos. 2 Axiomática ZFC de conjuntos. 4 Conjuntos numéricos

Semana 2. Primitivas. Conjunto das partes. Produto cartesiano. 1 Teoria ingênua dos conjuntos. 2 Axiomática ZFC de conjuntos. 4 Conjuntos numéricos Semana 2 1 Teoria ingênua dos conjuntos 2 Axiomática ZFC de conjuntos 3 4 Semana 2 1 Teoria ingênua dos conjuntos 2 Axiomática ZFC de conjuntos 3 4 e pertinência Conjunto é entendido como uma coleção de

Leia mais

Números naturais e cardinalidade

Números naturais e cardinalidade Números naturais e cardinalidade Roberto Imbuzeiro M. F. de Oliveira 5 de Janeiro de 2008 Resumo 1 Axiomas de Peano e o princípio da indução Intuitivamente, o conjunto N dos números naturais corresponde

Leia mais

Sumário. 1 CAPÍTULO 1 Revisão de álgebra

Sumário. 1 CAPÍTULO 1 Revisão de álgebra Sumário 1 CAPÍTULO 1 Revisão de álgebra 2 Conjuntos numéricos 2 Conjuntos 3 Igualdade de conjuntos 4 Subconjunto de um conjunto 4 Complemento de um conjunto 4 Conjunto vazio 4 Conjunto universo 5 Interseção

Leia mais

Capítulo 1. Os Números. 1.1 Notação. 1.2 Números naturais não nulos (inteiros positivos) Última atualização em setembro de 2017 por Sadao Massago

Capítulo 1. Os Números. 1.1 Notação. 1.2 Números naturais não nulos (inteiros positivos) Última atualização em setembro de 2017 por Sadao Massago Capítulo 1 Os Números Última atualização em setembro de 2017 por Sadao Massago 1.1 Notação Números naturais: Neste texto, N = {0, 1, 2, 3,...} e N + = {1, 2, 3, }. Mas existem vários autores considerando

Leia mais

Fabio Augusto Camargo

Fabio Augusto Camargo Universidade Federal de São Carlos Centro de Ciências Exatas e de Tecnologia Departamento de Matemática Introdução à Topologia Autor: Fabio Augusto Camargo Orientador: Prof. Dr. Márcio de Jesus Soares

Leia mais

Matemática Elementar. Matemática Elementar por Inaldo Barbosa de Albuquerque

Matemática Elementar. Matemática Elementar por Inaldo Barbosa de Albuquerque Matemática Elementar i Matemática Elementar por Inaldo Barbosa de Albuquerque Matemática Elementar ii COLLABORATORS TITLE : Matemática Elementar ACTION NAME DATE SIGNATURE WRITTEN BY Inaldo Barbosa de

Leia mais

Tópicos de Matemática. Teoria elementar de conjuntos

Tópicos de Matemática. Teoria elementar de conjuntos Tópicos de Matemática Lic. em Ciências da Computação Teoria elementar de conjuntos Carla Mendes Dep. Matemática e Aplicações Universidade do Minho 2010/2011 Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática

Leia mais

Matemática para Ciência de Computadores

Matemática para Ciência de Computadores Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Teoria de Conjuntos Um conjunto é uma colecção de objectos/elementos/membros. (Cantor

Leia mais

O espaço das Ordens de um Corpo

O espaço das Ordens de um Corpo O espaço das Ordens de um Corpo Clotilzio Moreira dos Santos Resumo O objetivo deste trabalho é exibir corpos com infinitas ordens e exibir uma estrutura topológica ao conjunto das ordens de um corpo.

Leia mais

Notas de Aula de Probabilidade A

Notas de Aula de Probabilidade A I- CONCEITOS INICIAIS. 1.1- INTRODUÇÃO. PROBABILIDADE POPULAÇÃO AMOSTRA ESTATÍSTICA 1.2- CONJUNTOS. 1.2.1- DEFINIÇÃO. Conjunto é uma coleção de objetos chamados de elementos do conjunto. Em geral denota-se

Leia mais

A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS.

A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS. A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS. SANDRO MARCOS GUZZO RESUMO. A construção dos conjuntos numéricos é um assunto clássico na matemática, bem como o estudo das propriedades das operações

Leia mais

13 AULA. Relações de Equivalência LIVRO. META: Introduzir o conceito de relações de equivalência e suas propriedades.

13 AULA. Relações de Equivalência LIVRO. META: Introduzir o conceito de relações de equivalência e suas propriedades. 2 LIVRO Relações de Equivalência META: Introduzir o conceito de relações de equivalência e suas propriedades. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Identificar se uma dada relação

Leia mais

Conjuntos e Funções. Ivan Eugênio da Cunha

Conjuntos e Funções. Ivan Eugênio da Cunha Conjuntos e Funções Ivan Eugênio da Cunha 18/07/2011 1 Conteúdo Capítulo I Conjuntos e Relações... 5 1 Noções Elementares Sobre Conjuntos... 5 1.1 Conjunto e elemento... 5 1.2 Pertinência... 5 1.3 Representação...

Leia mais

Roteiro da segunda aula presencial - ME

Roteiro da segunda aula presencial - ME PIF Enumerabilidade Teoria dos Números Congruência Matemática Elementar Departamento de Matemática Universidade Federal da Paraíba 29 de outubro de 2014 PIF Enumerabilidade Teoria dos Números Congruência

Leia mais

3.4 Álgebra booleana, ordens parciais e reticulados

3.4 Álgebra booleana, ordens parciais e reticulados Notas de aula de MAC0329 (2003) 23 3.4 Álgebra booleana, ordens parciais e reticulados Seja A um conjunto não vazio. Uma relação binária R sobre A é um subconjunto de A A, isto é, R A A. Se (x, y) R, denotamos

Leia mais

Bases Matemáticas. Relembrando: representação geométrica para os reais 2. Aula 8 Números Reais: módulo ou valor absoluto, raízes, intervalos

Bases Matemáticas. Relembrando: representação geométrica para os reais 2. Aula 8 Números Reais: módulo ou valor absoluto, raízes, intervalos 1 Bases Matemáticas Aula 8 Números Reais: módulo ou valor absoluto, raízes, intervalos Rodrigo Hausen 10 de outubro de 2012 v. 2012-10-15 1/34 Relembrando: representação geométrica para os reais 2 Uma

Leia mais

Universidade Federal de Santa Maria Departamento de Matemática Curso de Verão Lista 1. Números Naturais

Universidade Federal de Santa Maria Departamento de Matemática Curso de Verão Lista 1. Números Naturais Universidade Federal de Santa Maria Departamento de Matemática Curso de Verão 01 Lista 1 Números Naturais 1. Demonstre por indução as seguintes fórmulas: (a) (b) n (j 1) = n (soma dos n primeiros ímpares).

Leia mais

A2. Cada operação é distributiva sobre a outra, isto é, para todo x, y e z em A, x (y + z) = (x y) + (x z) e x + (y z) = (x + y) (x + z)

A2. Cada operação é distributiva sobre a outra, isto é, para todo x, y e z em A, x (y + z) = (x y) + (x z) e x + (y z) = (x + y) (x + z) Álgebra Booleana Nesta parte veremos uma definição formal de álgebra booleana, que é baseada em um conjunto de axiomas (ou postulados). Veremos também algumas leis ou propriedades de álgebras booleanas.

Leia mais

Relações Binárias, Aplicações e Operações

Relações Binárias, Aplicações e Operações Relações Binárias, Aplicações e Operações MAT 131-2018 II Pouya Mehdipour 6 de dezembro de 2018 Pouya Mehdipour 6 de dezembro de 2018 1 / 24 Referências ALENCAR FILHO, E. Teoria Elementar dos Conjuntos,

Leia mais

Dado um inteiro positivo n, definimos U(n) como sendo o conjunto dos inteiros positivos menores que n e primos com n. Não é difícil ver que a

Dado um inteiro positivo n, definimos U(n) como sendo o conjunto dos inteiros positivos menores que n e primos com n. Não é difícil ver que a Exemplo (U(n)) Dado um inteiro positivo n, definimos U(n) como sendo o conjunto dos inteiros positivos menores que n e primos com n. Não é difícil ver que a multiplicação módulo n é uma operação binária

Leia mais

Curso: Ciência da Computação Disciplina: Matemática Discreta RELAÇÕES. Prof.: Marcelo Maraschin de Souza

Curso: Ciência da Computação Disciplina: Matemática Discreta RELAÇÕES. Prof.: Marcelo Maraschin de Souza Curso: Ciência da Computação Disciplina: Matemática Discreta RELAÇÕES Prof.: Marcelo Maraschin de Souza marcelo.maraschin@ifsc.edu.br Considere o conjunto S={1,2,3}, descreva o conjunto dos pares ordenados

Leia mais

Conjunto Quociente e Classe de Equivalência (Alguns Exemplos e Definições)

Conjunto Quociente e Classe de Equivalência (Alguns Exemplos e Definições) Exemplos Definições Conjunto Quociente e Classe de Equivalência (Alguns Exemplos e Definições) Matemática Elementar - EAD Departamento de Matemática Universidade Federal da Paraíba 4 de setembro de 2014

Leia mais

Para Computação. Aula de Monitoria - Miniprova

Para Computação. Aula de Monitoria - Miniprova Para Computação Aula de Monitoria - Miniprova 1 2013.1 Roteiro Provas e Proposições Conjuntos Provas e Proposições Proposição - Sentença que ou é verdadeira ou é falsa. ex: Hoje é sábado. -> É uma proposição.

Leia mais

Lógica e Matemática Discreta

Lógica e Matemática Discreta Lógica e Matemática Discreta Teoria Elementar dos Conjuntos Prof Clezio 04 de Junho de 2010 Curso de Ciência da Computação Noções básicas Um conjunto designa-se geralmente por uma letra latina maiúscula:

Leia mais

Dedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização

Dedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização Dedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização 1 Provas, lemas, teoremas e corolários Uma prova é um argumento lógico de que uma afirmação é verdadeira Um teorema

Leia mais

Universidade de Caxias do Sul Centro de Ciências Exatas e Tecnologia Departamento de Informática. Matemática Discreta. Márcia Rodrigues Notare

Universidade de Caxias do Sul Centro de Ciências Exatas e Tecnologia Departamento de Informática. Matemática Discreta. Márcia Rodrigues Notare Universidade de Caxias do Sul Centro de Ciências Exatas e Tecnologia Departamento de Informática Caxias do Sul, julho de. ÍNDICE TEORIA DOS CONJUNTOS...4. RELAÇÃO DE PERTINÊNCIA...4. ALGUNS CONJUNTOS IMPORTANTES...4.

Leia mais

a. O conjunto de todos os brasileiros. b. O conjunto de todos os números naturais. c. O conjunto de todos os números reais tal que x²-4=0.

a. O conjunto de todos os brasileiros. b. O conjunto de todos os números naturais. c. O conjunto de todos os números reais tal que x²-4=0. Introdução aos conjuntos No estudo de Conjuntos, trabalhamos com alguns conceitos primitivos, que devem ser entendidos e aceitos sem definição. Para um estudo mais aprofundado sobre a Teoria dos Conjuntos,

Leia mais

MAT Topologia Bacharelado em Matemática 2 a Prova - 27 de maio de 2004

MAT Topologia Bacharelado em Matemática 2 a Prova - 27 de maio de 2004 MAT 317 - Topologia Bacharelado em Matemática 2 a Prova - 27 de maio de 2004 1 Nome : Número USP : Assinatura : Professor : Severino Toscano do Rêgo Melo 2 3 4 5 Total Podem tentar fazer todas as questões.

Leia mais

GABARITO. Prova 1.2 (points: 72/100; bonus: 16 ; time: 100 ) FMC2, (Turma T56 do Thanos) Regras: Lembre-se: Boas provas! Gabarito 08/05/2017

GABARITO. Prova 1.2 (points: 72/100; bonus: 16 ; time: 100 ) FMC2, (Turma T56 do Thanos) Regras: Lembre-se: Boas provas! Gabarito 08/05/2017 FMC2, 2017.1 (Turma T56 do Thanos) Prova 1.2 (points: 72/100; bonus: 16 ; time: 100 ) Nome: Θάνος Gabarito Regras: 08/05/2017 I. Não vires esta página antes do começo da prova. II. Nenhuma consulta de

Leia mais

Apoio de Aula. Prof. Alexandre Alves Universidade São Judas Tadeu Cálculo Diferencial e Integral 1 - EEN

Apoio de Aula. Prof. Alexandre Alves Universidade São Judas Tadeu Cálculo Diferencial e Integral 1 - EEN Apoio de Aula Prof. Aleandre Alves Universidade São Judas Tadeu Cálculo Diferencial e Integral 1 - EEN 10 de fevereiro de 2009 2 Capítulo 1 Revisão: Conjuntos Vamos revisar agora conceitos básicos da teoria

Leia mais

Reticulados e Álgebras de Boole

Reticulados e Álgebras de Boole Capítulo 3 Reticulados e Álgebras de Boole 3.1 Reticulados Recorde-se que uma relação de ordem parcial num conjunto X é uma relação reflexiva, anti-simétrica e transitiva em X. Um conjunto parcialmente

Leia mais

Lista 1. 9 Se 0 < x < y e n N então 0 < x n < y n.

Lista 1. 9 Se 0 < x < y e n N então 0 < x n < y n. UFPR - Universidade Federal do Paraná Departamento de Matemática CM095 - Análise I Prof. José Carlos Eidam Lista 1 Em toda a lista, K denota um corpo ordenado qualquer. Corpos ordenados 1. Verifique as

Leia mais

Matemática para Ciência de Computadores

Matemática para Ciência de Computadores Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Fecho transitivo Teorema: o fecho transitivo de uma relação R é igual a relação de

Leia mais

Axiomas de corpo ordenado

Axiomas de corpo ordenado Axiomas de corpo ordenado 2 a lista de exercícios Análise real A abordagem axiomática dos números reais previne erros que a intuição pode ocasionar e torna mais rigoroso o processo de demonstração matemática,

Leia mais

Teoria da Computação

Teoria da Computação Introdução Março - 2009 1 Noções e Terminologia Matemática Conjuntos Um conjunto é um grupo de objetos, chamados elementos ou membros, representado como uma unidade. O conjunto { 3, 41, 57} possui os elementos

Leia mais

1) Verifique as afirmativas abaixo e responda, qual é a correspondente ao conjunto infinito?

1) Verifique as afirmativas abaixo e responda, qual é a correspondente ao conjunto infinito? Resumo Os conjuntos podem ser finitos ou infinitos. Intuitivamente um conjunto é finito se consiste de um número específico de elementos diferentes, isto é, se ao contarmos os diferentes membros do conjunto

Leia mais

Funções. Funções. Cardinalidade de conjuntos. Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006.

Funções. Funções. Cardinalidade de conjuntos. Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006. Funções Funções. Cardinalidade de conjuntos. Referência: Capítulo: 3 Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006 1 FUNÇÕES Funções-2 Definição de função Uma função

Leia mais

Apontamentos de Matemática Discreta

Apontamentos de Matemática Discreta Apontamentos de Matemática Discreta Ano Lectivo 2014/2015 Henrique Cruz Conteúdo 1 Agrupar Objectos: Conjuntos 1 1.1 Teoria intuitiva de conjuntos............................. 1 1.2 Conjunto universal

Leia mais

UNIVERSIDADE ESTADUAL DO PARANÁ NOTAS DE AULA: ANÁLISE REAL. Profa.: Gislaine Aparecida Periçaro Curso: Matemática, 4º ano

UNIVERSIDADE ESTADUAL DO PARANÁ NOTAS DE AULA: ANÁLISE REAL. Profa.: Gislaine Aparecida Periçaro Curso: Matemática, 4º ano UNIVERSIDADE ESTADUAL DO PARANÁ NOTAS DE AULA: ANÁLISE REAL Profa.: Gislaine Aparecida Periçaro Curso: Matemática, 4º ano CAMPO MOURÃO 203 Capítulo Conjuntos e Funções Neste capítulo vamos fazer uma breve

Leia mais

Álgebra I. Volume 1 - Módulo 1. Adilson Gonçalves Luiz Manoel Figueiredo. Apoio:

Álgebra I. Volume 1 - Módulo 1. Adilson Gonçalves Luiz Manoel Figueiredo. Apoio: Álgebra I Volume 1 - Módulo 1 Adilson Gonçalves Luiz Manoel Figueiredo Apoio: Fundação Cecierj / Consórcio Cederj Rua Visconde de Niterói, 1364 Mangueira Rio de Janeiro, RJ CEP 20943-001 Tel.: (21) 2334-1569

Leia mais

Faculdade de Computação

Faculdade de Computação UNIVERSIDADE FEDERAL DE UBERLÂNDIA Faculdade de Computação Disciplina : Teoria da Computação - 1 0 Semestre 007 Professora : Sandra Aparecida de Amo Solução da Lista de Exercícios n o 1 Exercícios de Revisão

Leia mais

Algebra Sandro Marcos Guzzo Cascavel 1 de abril de 2019

Algebra Sandro Marcos Guzzo Cascavel 1 de abril de 2019 Álgebra Sandro Marcos Guzzo Cascavel 1 de abril de 2019 Sumário Introdução 4 1 Relações, aplicações e operações 5 1.1 Terminologia básica dos conjuntos.......................... 5 1.2 Números inteiros....................................

Leia mais

Referências e materiais complementares desse tópico

Referências e materiais complementares desse tópico Notas de aula: Análise de Algoritmos Centro de Matemática, Computação e Cognição Universidade Federal do ABC Profa. Carla Negri Lintzmayer Conceitos matemáticos e técnicas de prova (Última atualização:

Leia mais

UFPR - Universidade Federal do Paraná Setor de Ciências Exatas Departamento de Matemática MA12 - Matemática Discreta - PROFMAT Prof.

UFPR - Universidade Federal do Paraná Setor de Ciências Exatas Departamento de Matemática MA12 - Matemática Discreta - PROFMAT Prof. UFPR - Universidade Federal do Paraná Setor de Ciências Exatas Departamento de Matemática MA - Matemática Discreta - PROFMAT Prof. Zeca Eidam Lista Números Naturais e o Princípio de Indução. Prove que

Leia mais

CONJUNTO DOS NÚMEROS INTEIROS

CONJUNTO DOS NÚMEROS INTEIROS Fundamentos de Álgebra Moderna Profª Ana Paula CONJUNTO DOS NÚMEROS INTEIROS Os números inteiros formam um conjunto, que notaremos por, no qual estão definidas duas operações, que chamaremos de adição

Leia mais

Análise I. Notas de Aula 1. Alex Farah Pereira de Novembro de 2017

Análise I. Notas de Aula 1. Alex Farah Pereira de Novembro de 2017 Análise I Notas de Aula 1 Alex Farah Pereira 2 3 22 de Novembro de 2017 1 Turma de Matemática. 2 Departamento de Análise-IME-UFF 3 http://alexfarah.weebly.com ii Conteúdo 1 Conjuntos 1 1.1 Números Naturais........................

Leia mais

1) Seja o conjunto A = (0;1). Quantas relações binárias distintas podem ser definidas sobre o conjunto A?

1) Seja o conjunto A = (0;1). Quantas relações binárias distintas podem ser definidas sobre o conjunto A? RESUMO A relação binária é uma relação entre dois elementos, sendo um conjunto de pares ordenados. As relações binárias são comuns em muitas áreas da matemática. Um par ordenado consiste de dois termos,

Leia mais

Matemática D s r t i c e a

Matemática D s r t i c e a Matemática D s r t i c e a A B A B q A B A B u t f p g n h a b m e c d i l j k s r Maria do Rosário Fernandes Departamento de Matemática Faculdade de Ciências e Tecnologia UNL Índice i Capítulo 1 CONJUNTOS

Leia mais

IBM1088 Linguagens Formais e Teoria da Computação

IBM1088 Linguagens Formais e Teoria da Computação IBM1088 Linguagens Formais e Teoria da Computação Conceitos fundamentais sobre Teoria dos Conjuntos Evandro Eduardo Seron Ruiz evandro@usp.br Universidade de São Paulo E.E.S. Ruiz (USP) LFA 1 / 26 Frase

Leia mais

Terminologia, Técnicas de Prova, Enumerabilidade

Terminologia, Técnicas de Prova, Enumerabilidade Terminologia, Técnicas de Prova, Enumerabilidade Mário S. Alvim (msalvim@dcc.ufmg.br) Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02) Mário S. Alvim (msalvim@dcc.ufmg.br) Terminologia, Técnicas

Leia mais

Capítulo 1 Conceitos e Resultados Básicos

Capítulo 1 Conceitos e Resultados Básicos Introdução à Teoria dos Grafos (MAC-5770) IME-USP Depto CC Profa. Yoshiko Capítulo 1 Conceitos e Resultados Básicos Um grafo é um par ordenado (V, A), onde V e A são conjuntos disjuntos, e cada elemento

Leia mais

Axioma dos inteiros. Sadao Massago

Axioma dos inteiros. Sadao Massago Axioma dos inteiros Sadao Massago setembro de 2018 Sumário 1 Os Números 2 1.1 Notação......................................... 2 1.2 Números naturais não nulos (inteiros positivos)................... 2

Leia mais

Capítulo 1. Conjuntos e Relações. 1.1 Noção intuitiva de conjuntos. Notação dos conjuntos

Capítulo 1. Conjuntos e Relações. 1.1 Noção intuitiva de conjuntos. Notação dos conjuntos Conjuntos e Relações Capítulo Neste capítulo você deverá: Identificar e escrever os tipos de conjuntos, tais como, conjunto vazio, unitário, finito, infinito, os conjuntos numéricos, a reta numérica e

Leia mais

Antes de abordarmos os temas centrais deste curso é conveniente recordar algumas noções básicas usadas sistematicamente no que se segue.

Antes de abordarmos os temas centrais deste curso é conveniente recordar algumas noções básicas usadas sistematicamente no que se segue. 1 Conjuntos, funções e relações: noções básicas Antes de abordarmos os temas centrais deste curso é conveniente recordar algumas noções básicas usadas sistematicamente no que se segue. 1.1 Conjuntos Intuitivamente,

Leia mais

MDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos

MDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos MDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos Karina Girardi Roggia karina.roggia@udesc.br Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa

Leia mais