Você está na página 1de 97

Elementos de Matemtica Discreta

Prof. Marcus Vincius Midena Ramos


Universidade Federal do Vale do So Francisco

9 de junho de 2013

marcus.ramos@univasf.edu.br www.univasf.edu.br/~marcus.ramos

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

1 / 97

Bibliograa

Linguagens Formais: Teoria, Modelagem e Implementao M.V.M. Ramos, J.J. Neto e I.S. Vega Bookman, 2009

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

2 / 97

Roteiro

Conjuntos

Relaes

Funes

Conjuntos Enumerveis

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

3 / 97

Conjuntos

Conjunto

Um conjunto uma coleo de elementos em que no so consideradas ocorrncias mltiplas dos mesmos nem h relao de ordem entre eles.
Exemplo 1.1 A incluso do elemento no conjunto {, , , } resulta no prprio conjunto {, , , }, pois o mesmo j faz parte do conjunto e, portanto, no deve ser considerado novamente. Por outro lado, o conjunto {, , , } igual ao conjunto {, , , }, uma vez que no existe relao de ordem entre os elementos que os compem.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

4 / 97

Conjuntos

Smbolo
Um smbolo corresponde a uma representao grca nica e indivisvel. Se formado por caracteres, um smbolo pode ser composto por um nmero arbitrrio deles.
Exemplo 1.2 So exemplos de smbolos: a, abc, , 1 etc.

Smbolos podem ser agrupados na forma de um conjunto, caso em que o mesmo recebe o nome de alfabeto. Conjuntos, por outro lado, podem ser formados por elementos de outra natureza, e no apenas por smbolos. o caso, por exemplo, de conjuntos formados por cadeias (seqncias nitas de smbolos) e conjuntos cujos elementos tambm so conjuntos.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

5 / 97

Conjuntos

Enumerao

Alguns conjuntos podem ser especicados atravs da simples enumerao de todos os seus elementos, denotados entre chaves e separados por vrgulas.
Exemplo 1.3 O conjunto formado pelos elementos 0, 1, 2, 3 representado por {0, 1, 2, 3}. O conjunto {a, b, c, d, e, f } formado pelas seis primeiras letras do alfabeto romano. O conjunto {01, 231, 33, 21323} contm os elementos 01, 231, 33 e 21323.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

6 / 97

Conjuntos

Nomes

Conjuntos podem ser referenciados atravs de nomes, arbitrariamente escolhidos.


Exemplo 1.4 X = {0, 1, 2, 3}, Y = {a, b, c, d, e, f }. Assim, os nomes X e Y passam a denotar os conjuntos correspondentes.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

7 / 97

Conjuntos

Nmero de elementos

O nmero de elementos contido em um conjunto A denotado por |A|.


Exemplo 1.5 No exemplo 1.4, |X | = 4, |Y | = 6.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

8 / 97

Conjuntos

Pertencimento

Os smbolos e / servem para denotar se um determinado elemento pertence ou no pertence a um conjunto, respectivamente.
Exemplo 1.6 No exemplo 1.4, 0 X , 5 / X, 2 / Y, b / X, c Y , h / Y.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

9 / 97

Conjuntos

Conjuntos nitos e innitos

Conjuntos podem conter um nmero nito ou innito de elementos. No primeiro caso, o conjunto pode ser denotado enumerando-se (relacionando-se explicitamente) todos os elementos que o compem, como foi feito para os conjuntos X e Y do exemplo 1.4, que so conjuntos nitos.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

10 / 97

Conjuntos

Conjuntos innitos

Conjuntos innitos podem ser denotados atravs da especicao (formal ou informal) de regras ou propriedades que devem ser satisfeitas por todos os seus elementos, possibilitando assim a sua identicao precisa e completa a partir de uma especicao nita.
Exemplo 1.7 P = {x | x um nmero primo}, Q = {y | n inteiro tal que y = n2 }. O primeiro exemplo deve ser lido da seguinte forma: P o conjunto formado pelos elementos x, tal que x um nmero primo. Em outras palavras, P o conjunto, innito, formado por todos os nmeros primos: {2, 3, 5, 7, 11, 13, 17...}. O conjunto Q, tambm innito, formado por todos os nmeros que correspondem ao quadrado de algum nmero inteiro: {0, 1, 4, 9, 16...}.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

11 / 97

Conjuntos

Regras

Quando um conjunto especicado a partir de regras, o smbolo | deve ser lido como tal que, e serve para introduzir as condies que devem ser satisfeitas pelos membros do conjunto, que assim tornam-se conhecidos.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

12 / 97

Conjuntos

Conjunto vazio

O conjunto que no contm nenhum elemento recebe o nome de conjunto vazio. Por denio, |0 / | = 0. O conjunto vazio denotado por 0 / ou ainda pelo smbolo {}. Assim, {} = 0 /.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

13 / 97

Conjuntos

Igualdade

Dois conjuntos so ditos idnticos, ou simplesmente iguais, se eles contm exatamente os mesmos elementos. A igualdade de dois conjuntos denotada atravs do smbolo =.
Exemplo 1.8 Considere Z = {a, b} e W = {b, a}. Ento, Z = W .

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

14 / 97

Conjuntos

Subconjunto

Um conjunto A dito contido em um conjunto B, condio esta denotada atravs do smbolo , se todo elemento de A for tambm elemento de B. Neste caso diz-se, equivalentemente, que A um subconjunto de B ou, ainda, que B contm A. Os conjuntos 0 / eA so, por denio, subconjuntos de qualquer conjunto A.
Exemplo 1.9 Para os conjuntos A = {b, c, d}, B = {a, b, c, d, e} e C = {e, a, d, b, c} tem-se que A B e B C. Portanto, pode-se dizer que A est contido em B e em C, que A subconjunto de B e de C, que C contm A e B e, ainda, que B e C so subconjuntos um do outro ou que esto contidos um no outro. B e C, por outro lado, no esto contidos em A.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

15 / 97

Conjuntos

Desigualdade

Dois conjuntos M e N so iguais se e somente se M N e N M , e tal igualdade denotada por M = N . A desigualdade de dois conjuntos expressa atravs do smbolo =, ocorrendo portanto quando no mximo apenas uma das duas condies M N e N M for verdadeira.
Exemplo 1.10 No exemplo 1.9, A B, porm A = B. Como B C e C B, ento B = C.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

16 / 97

Conjuntos

Subconjunto prprio

Se M N e M = N , diz-se que M um subconjunto prprio de N . O smbolo denota essa condio: M N . O conjunto 0 / subconjunto prprio de qualquer conjunto, exceto do prprio conjunto 0 /.
Exemplo 1.11 No exemplo 1.9, A subconjunto prprio de B, porm B no subconjunto prprio de C. Logo, A B.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

17 / 97

Conjuntos

Conjunto potncia

Conjunto potncia (powerset): Denotado por 2A , onde A um conjunto. Essa operao utilizada para designar o conjunto formado por todos os possveis subconjuntos de A: 2A = {B | B A} Para conjuntos A nitos, |2A | = 2|A| .
Exemplo 1.12 Para A = {0, 1, 2}, temos 2A = {0 / , {0}, {1}, {2}, {0, 1}, {0, 2}, {1, 2}, {0, 1, 2}}. Alm disso, |A| = 3 e |2A | = 23 = 8.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

18 / 97

Conjuntos

Unio

Unio: A unio de dois conjuntos A e B corresponde ao conjunto formado por todos os elementos contidos em cada um dos dois conjuntos A e B. Elementos repetidos em ambos os conjuntos so considerados uma nica vez no conjunto unio: A B = {x | x A ou x B} Trata-se de uma operao associativa, ou seja, uma operao para a qual vale a propriedade: (A B) C = A (B C)

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

19 / 97

Conjuntos

Unio

A generalizao da operao de unio denotada da seguinte forma:


n i=0

Ai = A0 A1 A2 ... An

Exemplo 1.13 { a , b } { c, d } = { a , b , c, d } { a , b , c} { c, d } = { a , b , c, d } { a , b , c, d } 0 / = { a , b , c, d }

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

20 / 97

Conjuntos

Interseco
Interseco: Dene-se a interseco de dois conjuntos A e B como sendo a coleo de todos os elementos comuns aos dois conjuntos: A B = {x | x A e x B} Tambm em decorrncia da associatividade desta operao, a sua generalizao denotada de forma similar ao caso da unio:
n i=0

Ai = A0 A1 A2 ... An

Exemplo 1.14 { a , b , c} { c, d } = { c} { a , b , c, d } { c, d } = { c, d } { a , b } { c, d } = 0 / { a , b , c, d } 0 / =0 /
Marcus Ramos (UNIVASF) LFA 2010-1 9 de junho de 2013 21 / 97

Conjuntos

Conjuntos disjuntos

Dois conjuntos A e B so ditos disjuntos se A B = 0 /.


Exemplo 1.15 Os conjuntos {a, b, c} e {c, d} no so disjuntos, pois {a, b, c} {c, d} = {c} = {}. Os conjuntos {a, b} e {c, d} so disjuntos, pois {a, b} {c, d} = 0. /

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

22 / 97

Conjuntos

Diferena
Diferena: Dene-se a diferena entre dois conjuntos A e B (nesta ordem) como sendo o conjunto formado por todos os elementos de A no-pertencentes ao conjunto B. Denota-se este conjunto como: A B = {x | x A e x / B}
Exemplo 1.16 { a , b , c} { c, d } = { a , b } { a , b } { a , b , c} = 0 / { a , b , c} { d , e} = { a , b , c} { c, d } { a , b , c} = { d } { a , b , c} { a , b } = { c} { d , e} { a , b , c} = { d , e}

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

23 / 97

Conjuntos

Complementao

Complementao: Dene-se a complementao de um conjunto A em relao ao conjunto B, A B, como sendo o conjunto de todos os elementos de B que no pertencem a A. Denota-se este conjunto como: AB = B A Muitas vezes esta operao denida para um conjunto A em relao a um outro conjunto B subentendido e, neste caso, escreve-se simplesmente: A = BA

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

24 / 97

Conjuntos

Complementao

Diz-se, neste caso, que o conjunto subentendido o conjunto universo da operao. O resultado da operao conhecido simplesmente como complemento de A.
Exemplo 1.17 / Sejam A = {a, b, c}, B = {a, b, c, d} e C = {d, c, a, b}. Ento, AB = {d} e BC = 0. / Sendo D = {a, b, c, d, e} o conjunto universo, A = {d, e}, B = C = {e} e D = 0.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

25 / 97

Conjuntos

Produto cartesiano

Produto cartesiano: O produto cartesiano de dois conjuntos o conjunto formado por todos os pares ordenados (a, b), em que a um elemento de A, e b um elemento de B: A B = {(a, b) | a A e b B}

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

26 / 97

Conjuntos

Par ordenado

Um par ordenado uma representao de dois elementos separados por vrgula e delimitados por parnteses, como em (a, b). Tal representao implica uma relao de ordem em que o elemento a anterior ao elemento b. Conseqentemente, se a = b, ento (a, b) = (b, a). Se A e B so conjuntos nitos, ento |A B| = |A| |B|. A generalizao desta operao denotada: A1 A2 ... An = {(a1 , a2 , ..., an ) | ai Ai para 1 i n}

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

27 / 97

Conjuntos

Par ordenado

Exemplo 1.18 Sejam A = {a, b, c} e B = {0, 1}. Ento A B = {(a, 0), (a, 1), (b, 0), (b, 1), (c, 0), (c, 1)} e |A B| = |A| |B| = 3 2 = 6

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

28 / 97

Conjuntos

Partio

Partio: Dene-se partio de um conjunto A como sendo qualquer coleo formada por n subconjuntos no-vazios de A, n 1, tal que:
n n n,j=i j=0

A=
i=0

Ai

e
i=0

Ai Aj

=0 /

Exemplo 1.19 Seja A = {a, b, c, d}. Ento, {{a, b}, {c, d}} uma partio de A. Da mesma forma, o conjunto {{a}, {b}, {c}, {d}}, bem como {{a, b, c, d}}, entre vrios outros.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

29 / 97

Conjuntos

Leis de De Morgan

Teorema 1.1 Sejam A e B dois conjuntos quaisquer. Ento A B = A B e A B = A B. Estas propriedades podem ser inferidas, respectivamente, pela inspeo dos diagramas das Figuras 1 e 2.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

30 / 97

Conjuntos

Leis de De Morgan
Na Figura 1, da esquerda para a direita, as reas hachuradas dos diagramas representam, respectivamente, A, B, A B e A B.

Figura 1: Demonstrao da Lei de De Morgan para interseco de conjuntos

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

31 / 97

Conjuntos

Leis de De Morgan
Na Figura 2, da esquerda para a direita, as reas hachuradas dos diagramas representam, respectivamente, A, B, A B e A B.

Figura 2: Demonstrao da Lei de De Morgan para unio de conjuntos

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

32 / 97

Conjuntos

Igualdade de conjuntos

Teorema 1.2 Sejam A e B dois conjuntos quaisquer. Ento A = B (A B) (A B) = 0 / . / 0 / =0 /. () Se A = B, ento (A B) (A B) = (A A) (A A) = 0 () Se (A B) (A B) = 0 / , ento as duas seguintes condies devem ser simultaneamente satisfeitas:
1 2

(A B) = 0 /;

(A B) = 0 /.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

33 / 97

Conjuntos

Igualdade de conjuntos

Considere-se A C e B C, de forma que A = AC e B = BC . Ento, existem apenas trs possibilidades para representar a relao entre A e B: ii A = B e A B = 0 / . Logo, A B = 0 /; i A = B e AB = 0 / . Logo, A B = 0 /;

iii A = B. Logo, A B = 0 /.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

34 / 97

Conjuntos

Igualdade de conjuntos

Portanto, a nica relao possvel entre A e B que satisfaz condio (1) a relao (iii). Da mesma forma, pode-se facilmente mostrar que (iii) tambm a nica relao que satisfaz condio (2), e isso completa a demonstrao do teorema. A menos de ressalva em contrrio, ao longo deste texto os nomes de conjuntos sero representados por intermdio das letras maisculas do alfabeto romano (A, B, X , Y etc.). Elementos de um conjunto so usualmente denotados atravs das letras minsculas do mesmo alfabeto (a, b, c etc.).

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

35 / 97

Conjuntos

Conjuntos mais comuns

N, representando os nmeros naturais {0, 1, 2, 3, ...};

Z, representando os nmeros inteiros {..., 3, 2, 1, 0, 1, 2, 3, ...}; Z+ , representando os nmeros inteiros positivos {1, 2, 3, ...}; R, representando os nmeros reais. Z , representando os nmeros inteiros negativos {..., 3, 2, 1};

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

36 / 97

Relaes

Denio
Uma relao R sobre dois conjuntos A e B denida como um subconjunto de AB. Relaes representam abstraes de conceitos matemticos fundamentais, como, por exemplo, as operaes aritmticas, lgicas e relacionais, alm de constiturem a base terica para o estudo sistemtico das funes. O conjunto de todas as relaes denveis sobre AB dado por 2AB .
Exemplo 2.1 A relao R1 = {(a, b) | a, b N e a > b}, sobre N N, contm, entre innitos outros, os elementos (2, 1), (7, 4) e (9, 3). A relao R2 = {(x, y, z) | x, y, z Z e x2 = y2 + z2 }, sobre Z Z Z, contm os elementos (0, 0, 0), (2, 2, 0), (2, 0, 2), (5, 4, 3), (10, 8, 6) etc.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

37 / 97

Relaes

Domnio e contradomnio

Uma relao R aplicada sobre um elemento a de um conjunto A e outro elemento b de um conjunto B pode ser denotada, em notao inxa, por aRb. Se (a, b) R, diz-se, de forma abreviada, que aRb. Os conjuntos A e B recebem, respectivamente, os nomes domnio e co-domnio (ou contradomnio) da relao R. Por envolver dois conjuntos, essa relao dita binria e seus elementos recebem a designao de pares ordenados. Relaes binrias sobre um mesmo conjunto A representam subconjuntos de A A.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

38 / 97

Relaes

Domnio e contradomnio

Exemplo 2.2 Considere-se a relao binria = sobre o conjunto dos nmeros inteiros. Essa relao se dene como o conjunto dos pares ordenados tais que suas duas componentes so diferentes. Alguns dos elementos do conjunto denido por essa relao so (1, 3), (5, 0), (8, 2) etc. Utilizando a notao introduzida, os elementos citados, pertencentes a essa relao, so denotados por 1 = 3, 5 = 0 e 8 = 2, coincidindo, portanto, com a representao tradicional da relao. Notar que (1, 1), (0, 0) e (5, 5) so exemplos de pares ordenados que no satisfazem a essa relao binria, pois suas duas componentes coincidem.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

39 / 97

Relaes

nuplas ordenadas

O conceito de relao pode ser generalizado para mais de dois conjuntos, consistindo, sempre, em subconjuntos denidos sobre o produto cartesiano dos conjuntos participantes da relao. A relao, nesse caso, dita uma relao n-ria, e corresponde a um subconjunto do produto cartesiano dos conjuntos envolvidos. Sejam n conjuntos A1 , A2 , ..., An . Os elementos pertencentes ao conjunto denido por uma relao n-ria sobre A1 , A2 , ..., An so, portanto, elementos de A1 A2 ... An , e tm a seguinte forma: (a1 , a2 , a3 , ..., an ) onde a1 A1 , a2 A2 , ..., an An .

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

40 / 97

Relaes

nuplas ordenadas

Tais elementos so denominados nuplas ordenadas. Em casos particulares, como para n = 2, 3, 4, 5 etc., as nuplas recebem nomes especiais, geralmente os ordinais de n: pares, triplas, qudruplas, quntuplas etc. Quando n grande, usa-se em geral o nome n-tupla ordenada. Por exemplo, (a1 , a2 , ..., a10 ) considerada uma dcupla (ou uma 10-tupla) ordenada.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

41 / 97

Relaes

Reexiva, simtrica e transitiva


Uma relao binria R sobre um conjunto A dita: Reexiva: se aRa, a A; Simtrica: se aRb implica bRa, a, b A;

Transitiva: se aRb e bRc implicam aRc, a, b, c A; sendo que a, b, c no precisam ser necessariamente distintos.
Exemplo 2.3 A relao binria identidade (=) denida sobre o conjunto dos nmeros inteiros Z como o conjunto de todos os pares ordenados para os quais as duas componentes so idnticas. Ela reexiva, pois a = a, a Z; simtrica, pois a = b implica b = a, a, b Z; e transitiva, uma vez que a = b e b = c implica a = c, a, b, c Z. Alguns elementos do conjunto denido por essa relao so (4, 4), (0, 0), (7, 7) etc. Notar que pares ordenados, tais como (1, 3), (0, 5) e (7, 9), no pertencem a essa relao.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

42 / 97

Relaes

Reexiva, simtrica e transitiva

Por outro lado, a relao binria maior (>), denida como o conjunto dos pares ordenados cujas primeiras componentes tenham valor maior que as segundas componentes, aplicada sobre o mesmo conjunto Z, revela-se no-reexiva, pois no verdade que a > a, a Z; no-simtrica, j que a > b no implica b > a, a e b Z; porm ela transitiva, uma vez que a > b e b > c implica a > c, a, b, c Z.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

43 / 97

Relaes

Relao de equivalncia

Uma relao que seja simultaneamente reexiva, simtrica e transitiva denominada relao de equivalncia. Se R uma relao de equivalncia sobre um conjunto A, ento R estabelece uma partio do conjunto A. Suponha-se que R seja uma relao binria sobre A, e Ai , i 0, uma partio de A induzida por R. Ento, valem as seguintes propriedades: Se (a, b) R, ento a Ai , b Aj e i = j; Se (a, b) / R, ento a Ai , b Aj e i = j.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

44 / 97

Relaes

Relao de equivalncia
Exemplo 2.4 Considere-se o conjunto Z dos nmeros inteiros e a relao binria: Q Q : {(a, b) Z Z | a2 = b2 } = {(0, 0), (1, 1), (1, 1), (1, 1), (1, 1)...(n, n), (n, n), (n, n), (n, n)...} A0 A1 A2 An = = = {0}

Q uma relao de equivalncia e induz partio {A0 , A1 , ...} de Z, onde: {1, 1} {2, 2}

...

... = {n, n}

Quaisquer que sejam os nmeros a, b Z considerados, se (a, b) Q, ento a e b pertencem necessariamente ao mesmo conjunto Ai , para algum valor de i 0. Se (a, b) / Q, a e b pertencero sempre a conjuntos distintos desta partio de Z.
Marcus Ramos (UNIVASF) LFA 2010-1 9 de junho de 2013 45 / 97

Relaes

Conjunto fechado em relao uma operao


Diz-se que um conjunto fechado em relao a uma operao se da aplicao dessa operao a quaisquer membros desse conjunto resultarem sempre elementos que tambm so membros do mesmo conjunto.
Exemplo 2.5 Considere-se o conjunto X = {x R | x 0} e a operao unria (raiz quadrada). Qualquer que seja o elemento x X considerado, x sempre um elemento de X . Portanto, o conjunto X fechado em relao operao . Por outro lado, no se pode dizer o mesmo do conjunto R, uma vez que a operao raiz quadrada no denida para nmeros negativos. Logo, o conjunto R no fechado em relao operao .

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

46 / 97

Relaes

Conjunto fechado em relao uma operao


Exemplo 2.6 Considerem-se os conjuntos dos nmeros inteiros Z, dos nmeros naturais N e as operaes binrias de soma e subtrao. Ento, as seguintes armativas so verdadeiras: O conjunto Z fechado em relao operao de soma. De fato, da soma de quaisquer dois elementos de Z resulta sempre um elemento que tambm pertence ao conjunto Z; O conjunto Z fechado em relao operao de subtrao, pois da subtrao de quaisquer dois elementos de Z resulta sempre um elemento que tambm pertence ao conjunto Z; O conjunto N no fechado em relao operao de subtrao: nem toda subtrao de dois elementos arbitrrios de N fornece como resultado um elemento que tambm pertena ao conjunto N; Assim, por exemplo, se 1 N e 2 N, 2 1 = 1 N, mas 1 2 = 1 / N; O conjunto N fechado em relao operao de soma.
Marcus Ramos (UNIVASF) LFA 2010-1 9 de junho de 2013 47 / 97

Funes

Denio
Uma funo um mapeamento que associa elementos de um conjunto denominado domnio a elementos de um outro conjunto, chamado co-domnio ou contradomnio. Essa associao deve ser tal que cada elemento do domnio esteja associado a no mximo um elemento do conjunto co-domnio. Formalmente, uma funo entre um conjunto A (domnio) e um conjunto B (co-domnio) denida como uma relao R entre esses conjuntos, de modo que: (a, b), (a, c) R, b = c Toda funo uma relao, mas nem toda relao uma funo. Denota-se uma funo f entre dois conjuntos X e Y por: f :XY
Marcus Ramos (UNIVASF) LFA 2010-1 9 de junho de 2013 48 / 97

Funes

Exemplo

Exemplo 3.1 Considere-se f1 e f2 denidas abaixo: f1 f2 = = {(1, 5), (2, 3), (4, 5), (8, 1), (7, 3)}

{(6, 7), (9, 0), (6, 3), (4, 3), (3, 1)}

A relao f1 aderente denio de funo, ao passo que f2 uma relao mas no uma funo, devido presena simultnea dos pares (6, 7) e (6, 3), que associam o mesmo elemento 6 do domnio a dois elementos distintos do co-domnio (7 e 3). As Figuras 3 e 4 ilustram, respectivamente, as relaes f1 e f2 .

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

49 / 97

Funes

Exemplo

Figura 3: Relao que tambm funo

Figura 4: Relao que no funo

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

50 / 97

Funes

Associao

A associao estabelecida pela funo f entre um elemento x do conjunto domnio X com um elemento y do conjunto co-domnio Y denotada por: f (x) = y De maneira equivalente, diz-se que (x, y) f .

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

51 / 97

Funes

Conjunto imagem

O conjunto imagem de f , denotado por If , o conjunto formado por todos os elementos do co-domnio Y que estejam em correspondncia com elementos de X , ou seja, If Y . Formalmente, If = {y Y | y = f (x)}

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

52 / 97

Funes

Argumentos
O elemento x denominado argumento da funo f , e y denominado imagem de x pela aplicao de f . Funes com mltiplos argumentos so denidas como um mapeamento em que o conjunto domnio corresponde ao produto cartesiano de mltiplos conjuntos: f : X1 X2 ... Xn Y Funes com um, dois ou trs argumentos so respectivamente denominadas funes unrias, binrias ou ternrias, e assim por diante. Diz-se tambm que uma funo que associa pares ordenados sobre um conjunto X , ou seja, elementos de X 2 com elementos do prprio conjunto X , uma funo (operao) binria sobre X .

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

53 / 97

Funes

Exemplos

Exemplo 3.2 Considere f1 : N N, f1 = {y N | y = x3 , x N}. A funo f1 unria, pois associa cada elemento de N ao seu cubo. Portanto, f1 : N N. Alguns dos innitos elementos do conjunto denido por f1 so: (1, 1), (2, 8), (3, 27) etc. Denota-se f1 (2) = 8, ou ainda (2, 8) f1 . Exemplo 3.3 Seja f2 : Z Z Z, f2 = {z Z | z = x + y; x, y Z}. A funo binria f2 dene a operao (funo) de adio sobre o conjunto dos nmeros inteiros Z, sendo elementos de f2 : ((1, 2), 3), ((3, 7), 4), ((0, 5), 5) etc. Escreve-se f2 (3, 7) = 4, ou ainda ((3, 7), 4) f2 .

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

54 / 97

Funes

Funo total
Uma funo se diz uma funo total (denotada pelo smbolo ) quando especica associaes para todos os elementos do conjunto domnio, sem exceo. Formalmente: x X , y Y | y = f (x)
Exemplo 3.4 A Figura 5 ilustra o conceito de funo total.

Figura 5: Funo total

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

55 / 97

Funes

Exemplo

Exemplo 3.5 Sejam X = {0, 1, 2} e Y = {a, b, c}, respectivamente, o conjunto domnio e o conjunto co-domnio da funo f1 = {(0, a), (1, b), (2, a)}. A funo f1 : X Y total, pois todos os elementos do conjunto domnio esto em correspondncia com algum elemento do conjunto co-domnio. Neste caso, o conjunto imagem de f1 {a, b}.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

56 / 97

Funes

Funo parcial
Quando uma funo no denida para todos os elementos de seu domnio, ela recebe a denominao de funo parcial (denotada pelo smbolo ). Formalmente: x X | f (x) no denida
Exemplo 3.6 A Figura 6 ilustra o conceito de funo parcial.

Figura 6: Funo parcial

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

57 / 97

Funes

Exemplo

Exemplo 3.7 Seja X = {0, 1, 2}, Y = {a, b, c} e f2 = {(0, b), (2, b)}. A funo f2 : X Y parcial, pois no h associao do elemento 1 pertencente ao conjunto domnio a qualquer elemento do conjunto co-domnio. O conjunto imagem para essa funo {b}.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

58 / 97

Funes

Funo injetora
Diz-se que uma funo um-para-um, ou simplesmente uma funo injetora, quando elementos distintos do domnio X estiverem associados a elementos distintos do co-domnio Y , ou seja, quando no houver quaisquer dois elementos distintos do conjunto domnio associados ao mesmo elemento do conjunto imagem: x1 , x2 X , x1 = x2 f (x1 ) = f (x2 ) De maneira equivalente, uma funo dita injetora se cada elemento do conjunto co-domnio estiver associado a, no mximo, um elemento do conjunto domnio. As Figuras 5 e 6 representam funes que so, respectivamente, no-injetora e injetora.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

59 / 97

Funes

Exemplo

Exemplo 3.8 Seja X = {0, 1, 2}, Y = {a, b, c} e f3 = {(0, c), (1, b)}. A funo f3 : X Y injetora, pois no existe um mesmo elemento de Y associado a mais de um elemento de X . Por outro lado, a funo f2 , denida no Exemplo 3.7, parcial mas no injetora, pois o elemento b de seu conjunto imagem est simultaneamente associado aos elementos 0 e 2 do conjunto domnio.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

60 / 97

Funes

Funo sobrejetora
Uma funo f dita sobrejetora se todos os elementos do conjunto co-domnio estiverem associados a elementos do conjunto domnio, ou seja, se If , o conjunto imagem de f , for igual ao conjunto co-domnio de f : y Y , x X | y = f (x)
Exemplo 3.9 As funes das Figuras 5 e 6 no so sobrejetoras. A Figura 7 ilustra uma funo sobrejetora.

Figura 7: Funo sobrejetora


Marcus Ramos (UNIVASF) LFA 2010-1 9 de junho de 2013 61 / 97

Funes

Exemplo

Exemplo 3.10 Seja X = {0, 1, 2}, Y = {a, b, c} e f4 = {(0, c), (1, b), (2, a)}. A funo f4 : X Y sobrejetora, pois Y = If = {a, b, c}. Em adio, pode-se observar que f4 simultaneamente uma funo total, injetora e sobrejetora, e tambm que as funes f1 (Exemplo 3.5), f2 (Exemplo 3.7) e f3 (Exemplo 3.8) anteriormente denidas no so sobrejetoras.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

62 / 97

Funes

Funo bijetora
Uma funo que seja simultaneamente total, injetora e sobrejetora recebe a denominao de funo bijetora.
Exemplo 3.11 As funes das Figuras 5, 6 e 7 no so bijetoras. Em particular, a da Figura 5 total, no-injetora e no-sobrejetora; a da Figura 6 parcial, injetora e no-sobrejetora; e a da Figura 7 parcial, injetora e sobrejetora. A Figura 8 ilustra uma funo bijetora.

Figura 8: Funo bijetora

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

63 / 97

Funes

Exemplo

Exemplo 3.12 Seja f5 = {(0, a), (1, b), (2, c)}. A funo f5 : X Y , assim como a funo f4 denida no Exemplo 3.10, bijetora. As funes f1 (Exemplo 3.5), f2 (Exemplo 3.7) e f3 (Exemplo 3.8) no so bijetoras.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

64 / 97

Funes

Exemplo

Exemplo 3.13 Considerem-se as funes adio, sobre o conjunto dos nmeros naturais, diviso, sobre o conjunto dos nmeros reais, e raiz quadrada, sobre o conjunto dos nmeros inteiros: + : N N N. Ela no injetora, pois a soma de dois nmeros naturais quaisquer pode corresponder soma de outros nmeros naturais distintos (por exemplo, ((3,4),7) e ((5,2),7)). sobrejetora, pois todo nmero natural pode ser expresso como a soma de dois outros nmeros naturais. total, pois a cada par de nmeros naturais sempre corresponde um outro nmero natural.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

65 / 97

Funes

Exemplo

/ : R R R. No injetora, pois existem vrios casos em que a diviso de dois nmeros reais corresponde ao mesmo nmero real (por exemplo, os casos ((10.0,2.5),4.0) e ((20.0,5.0),4.0)). sobrejetora, pois todos os nmeros reais podem ser expressos como a diviso de dois outros nmeros reais (por exemplo, todos os casos ((x,1.0),x)). No total, pois a diviso no denida quando o denominador zero (por exemplo, ((1,0),?)). : Z Z. injetora, pois no possvel que dois nmeros inteiros diferentes tenham a mesma raiz inteira ((4,2), (9,3) e (3,?)). No sobrejetora, pois nem todo nmero inteiro corresponde raiz quadrada de algum outro nmero inteiro (por exemplo, (?,-3). No total, pois a operao raiz quadrada no denida para nmeros inteiros negativos (por exemplo, (-2,?)).

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

66 / 97

Funes

...

A Tabela 1 resume estes resultados:


Tabela 1: Propriedades das funes +, / e

Injetora? + : NN N / : RR R :ZZ No No Sim

Sobrejetora? Sim Sim No

Total? Sim No No

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

67 / 97

Conjuntos Enumerveis

Cardinalidade

Quando se estudam os conjuntos, freqentemente torna-se necessrio compar-los entre si em relao quantidade de elementos neles contidos, ou seja, sua cardinalidade. A cardinalidade de um conjunto uma medida da quantidade de elementos contidos no mesmo, ou seja, da grandeza que intuitivamente conhecida como tamanho do conjunto.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

68 / 97

Conjuntos Enumerveis

Cardinalidade de conjuntos nitos


Trata-se de um conceito de fcil compreenso quando referente a conjuntos nitos. Nesse caso, diz-se que dois conjuntos A e B tm a mesma cardinalidade se eles possurem a mesma quantidade de elementos, ou seja, |A| = |B|. Se A possuir mais elementos que B, escreve-se |A| > |B|. A cardinalidade de um conjunto nito , portanto, simplesmente o nmero natural que informa a quantidade de elementos que compem esse conjunto. Quando se trata de conjuntos nitos, tais resultados so intuitivos e, at certo ponto, bvios. Por exemplo, se X for um subconjunto prprio de Y , ento ter-se- sempre |X | < |Y |.
Exemplo 4.1 Considerem-se os conjuntos nitos A = {a, b, c, d} e B = {0, 1, 2, 3, 4, 5}. Ento, |A| = 4, |B| = 6 e |A| < |B|.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

69 / 97

Conjuntos Enumerveis

Cardinalidade de conjuntos innitos

De que forma seria, por outro lado, possvel comparar o tamanho de dois conjuntos innitos? Assim como no caso dos conjuntos nitos, dois conjuntos innitos tambm podem possuir a mesma cardinalidade, bastando para isso que seja possvel identicar uma correspondncia biunvoca entre os elementos de ambos os conjuntos. Formalmente, diz-se que dois conjuntos A e B quaisquer, nitos ou innitos, possuem a mesma cardinalidade, ou seja, |A| = |B|, se for possvel denir entre eles uma funo bijetora.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

70 / 97

Conjuntos Enumerveis

Exemplos

Exemplo 4.2 Sejam A = {a, b, c} e B = {7, 3, 6}. Neste exemplo, A e B possuem a mesma cardinalidade, pois |A| = |B| = 3. Note-se que possvel denir uma funo bijetora de A para B: {(a, 7), (b, 3), (c, 6)}. Naturalmente, muitas outras funes bijetoras tambm podem ser denidas entre esses dois conjuntos. Exemplo 4.3 Sejam A = {a | a mpar, 1 a 100} e B = {b | b par, 1 b 100}. A e B so conjuntos nitos que possuem a mesma cardinalidade, pois a funo f (a) = a + 1 bijetora, mapeando os elementos do conjunto A nos elementos do conjunto B. Neste caso, |A| = |B| = 50.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

71 / 97

Conjuntos Enumerveis

Exemplo

Exemplo 4.4 Considere-se o conjunto dos nmeros inteiros Z e o subconjunto de Z composto apenas pelos nmeros mpares. Trata-se, naturalmente, de dois conjuntos innitos, sendo o segundo um subconjunto prprio do primeiro. Porm, de acordo com a denio, embora isso parea paradoxal, os dois conjuntos possuem a mesma cardinalidade, j que a funo bijetora 2 i + 1, onde i Z, mapeia univocamente cada elemento de Z em um nico elemento do conjunto dos nmeros mpares.

Do Exemplo 4.4 pode-se observar facilmente que, diferentemente do que ocorre com conjuntos nitos, possvel, para conjuntos innitos, denir subconjuntos prprios com a mesma cardinalidade do conjunto original.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

72 / 97

Conjuntos Enumerveis

Cardinalidade relativa

Caso no seja possvel identicar pelo menos uma funo bijetora entre dois conjuntos A e B quaisquer, ainda possvel que se constate a existncia de uma funo total e injetora de A para B. Neste caso, diz-se que |A| |B|. Se, alm disso, for possvel provar a inexistncia de uma funo bijetora de A para B, ento |A| < |B|.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

73 / 97

Conjuntos Enumerveis

Conjuntos enumerveis
Diz-se que um conjunto enumervel, ou simplesmente contvel, se ele possuir um nmero nito de elementos, ou ento, no caso de ser innito, se ele possuir a mesma cardinalidade que o conjunto dos nmeros naturais N. Conjuntos innitos X tais que |X | = |N| so ditos no-enumerveis ou no-contveis. O conceito de conjuntos enumerveis est diretamente relacionado ao conceito intuitivo de seqencializao dos elementos de um conjunto, com o objetivo de permitir a sua contagem. A seqencializao uma operao que visa estabelecer uma relao de ordem entre os elementos de um conjunto (efetuar a sua ordenao) para permitir a associao unvoca de cada um de seus elementos com os correspondentes elementos de N.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

74 / 97

Conjuntos Enumerveis

Exemplo
Exemplo 4.5 O conjunto dos nmeros inteiros Z um exemplo de conjunto innito enumervel. A ordenao apresentada na Tabela 2 ilustra uma seqencializao que permite associar os elementos de Z com os de N. Tabela 2: Bijeo entre N e Z Z N 0 0 1 1 -1 2 2 3 -2 4 3 5 -3 6 ... ...

Essa associao tambm pode ser representada por meio da funo: f (n) = (1)n+1 n + (n mod 2) 2

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

75 / 97

Conjuntos Enumerveis

Exemplo

Exemplo 4.6 O conjunto formado pelos pares ordenados (x, y) N N constitui um exemplo de conjunto innito enumervel. Isso pode ser percebido com o auxlio da Tabela 3, em que um arranjo bidimensional permite visualizar a seqencializao desses pares, de modo que seja possvel estabelecer a sua associao com os elementos de N.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

76 / 97

Conjuntos Enumerveis

Exemplo

Tabela 3: {(x, y) N N} um conjunto enumervel (0,0) (1,0) (2,0) (3,0) (4,0) (5,0) . . . (0,1) (1,1) (2,1) (3,1) (4,1) (5,1) . . . (0,2) (1,2) (2,2) (3,2) (4,2) (5,2) . . . (0,3) (1,3) (2,3) (3,3) (4,3) (5,3) . . . (0,4) (1,4) (2,4) (3,4) (4,4) (5,4) . . . (0,5) (1,5) (2,5) (3,5) (4,5) (5,5) . . . ... ... ... ... ... ...

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

77 / 97

Conjuntos Enumerveis

Exemplo

Exemplo 4.7 O conjunto formado pelos pares ordenados (x, y) N N, com x > y tambm constitui um exemplo de conjunto innito enumervel. Isso pode ser percebido com o auxlio da tabela anterior, porm considerando apenas a seqencializao dos pares situados abaixo da diagnoal principal.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

78 / 97

Conjuntos Enumerveis

Exemplo
A associao com N pode ser feita imaginando-se uma linha que percorra todos os elementos desta matriz a partir do canto superior esquerdo, conforme a seqncia geomtrica mostrada na Tabela 3. Desse modo, a seguinte seqncia de pares obtida: (1, 0), (2, 0), (3, 0), (2, 1), (3, 1), (4, 0), (5, 0), (4, 1), (3, 2)... Tal seqncia pode ser facilmente colocada em correspondncia com os elementos de N, conforme ilustrado na Tabela 4. Tabela 4: Bijeo entre N e N N ZZ N (1,0) 0 (2,0) 1 (3,0) 2 (2,1) 3 ... ...

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

79 / 97

Conjuntos Enumerveis

Exemplo

Tcnica semelhante pode ser usada para demonstrar que o conjunto N N e o conjunto dos nmeros racionais tambm so enumerveis. Neste ltimo caso, em particular, basta considerar o elemento (x, y) N N como uma representao da frao x/y (a m de evitar o denominador zero, a primeira coluna do arranjo deve ser omitida).

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

80 / 97

Conjuntos Enumerveis

Exemplo
Exemplo 4.8 O conjunto R, composto pelos nmeros reais, constitui um exemplo de conjunto innito no-enumervel, uma vez que, como demonstrado a seguir, |R| = |N|. Para efetuar essa demonstrao, ser considerado o seguinte subconjunto de R: S = {x R | 0 < x < 1} A prova de que R no-enumervel efetuada em dois passos: inicialmente demonstra-se que S possui a mesma cardinalidade que R, e a seguir demonstra-se que S um conjunto no-enumervel. O fato de que |S| = |R| pode ser constatado pela existncia da funo bijetora f , apresentada a seguir, a qual permite associar univocamente elementos de S com elementos de R: 1 1, 0 < x < 0, 5 2x f (x) = 1 + 1, 0, 5 x < 1 2(x 1)
Marcus Ramos (UNIVASF) LFA 2010-1 9 de junho de 2013 81 / 97

Conjuntos Enumerveis

Exemplo
A prova de que S um conjunto no-enumervel feita por contradio, ou seja, mostrando-se que, qualquer que seja a seqencializao proposta para os elementos de S, sempre ser possvel identicar um novo elemento de S que no pertence seqncia apresentada. Desse modo, a hiptese original de que S um conjunto enumervel deve ser considerada invlida. Admita-se que exista uma seqencializao de S de tal modo que seja possvel associar cada elemento desse conjunto univocamente a elementos de N. Assim, seria obtida uma associao do tipo ilustrado pela Tabela 5. Tabela 5: Bijeo hipottica entre N e S S N R0 0 R1 1 R2 2 R3 3 ... ...

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

82 / 97

Conjuntos Enumerveis

Exemplo
Suponha-se, sem perda de generalidade, que todos os elementos de S sejam denotados atravs de representaes com um nmero innito de casas de decimais signicativas. Assim, por exemplo, em vez de escrever 0, 1, adota-se a representao equivalente: 0, 099999999999999999999999... Se cada elemento Ri S pode ser escrito como sendo uma seqncia innita do tipo: 0, di0 di1 di2 di3 ...din ... ento a construo do novo elemento 0, x0 x1 x2 x3 ...xn ..., xj = djj , xj = 0 suciente para provar que o mesmo no pertence seqncia originalmente proposta, uma vez que esse novo elemento difere em pelo menos uma casa decimal de cada um dos elementos inicialmente considerados, sendo, portanto, diferente de todos eles. Logo, S no enumervel e, conseqentemente, R tambm no.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

83 / 97

Conjuntos Enumerveis

Exemplo
Sejam: R0 = 0, d00 d01 d02 d03 ...d0n ... R1 = 0, d10 d11 d12 d13 ...d1n ... R2 = 0, d20 d21 d22 d23 ...d2n ... R3 = 0, d30 d31 d32 d33 ...d3n ... ... Ento escolhe-se: 0 , x0 x1 x2 x3 ... xn ... com: x0 = d 0 0 x1 = d 1 1 x2 = d 2 2 x3 = d 3 3 ...

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

84 / 97

Conjuntos Enumerveis

Cardinalidade relativa de conjuntos innitos

Como est mostrado no Exemplo 4.8, nem todos os conjuntos innitos possuem a mesma cardinalidade. Assim, apesar de N e R possurem uma quantidade innita de elementos, intuitivo que R possui uma quantidade muito maior de elementos que N, ou seja, |R| > |N|, impedindo que seja estabelecida uma funo bijetora entre ambos.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

85 / 97

Conjuntos Enumerveis

Nmeros transnitos

Esses so alguns dos resultados da Teoria dos Nmeros Transnitos, desenvolvida no nal do sculo XIX pelo matemtico russo Georg Cantor (1845-1918), de acordo com a qual os nmeros transnitos representam quantidades no-nitas ordenadas de forma crescente. Tais quantidades so representadas por 0 , 1 , ..., n , ..., de tal forma que i1 < i < i+1 , para i 1. Alm disso, 0 = |N| e 1 = |R|. Outros exemplos de conjuntos innitos enumerveis so o conjunto dos nmeros racionais e o conjunto de todas as cadeias que podem ser formadas pela concatenao de smbolos de um conjunto nito . J o conjunto formado por todos os subconjuntos de N, ou seja, o conjunto 2N , no-enumervel.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

86 / 97

Conjuntos Enumerveis

Denio de conjunto innito


Formalmente, um conjunto X dito innito se for possvel identicar um subconjunto prprio de X , por exemplo, Y , tal que |X | = |Y |.
Exemplo 4.9 No Exemplo 4.8, o fato de que S R e |S| = |R| suciente para garantir que R um conjunto innito. Exemplo 4.10 Considere-se o conjunto dos nmeros naturais N. Deseja-se demonstrar que N innito com o auxlio do subconjunto prprio N {0}. No difcil perceber que esses dois conjuntos possuem a mesma cardinalidade, uma vez que a funo n + 1, n N mapeia univocamente cada elemento de N em elementos do subconjunto prprio N {0} : 0 1, 1 2, 2 3, 3 4, 4 5, 5 6, 6 7... Assim, apesar de N {0} possuir um elemento a menos que N, na verdade ambos possuem a mesma cardinalidade, o que conrma N como conjunto innito.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

87 / 97

Conjuntos Enumerveis

Teorema
Teorema 4.1 Seja A um conjunto qualquer, |A| = i . Ento |2A | > |A| e |2A | = i+1 . Constata-se com facilidade a existncia de pelo menos uma funo f , que associa cada elemento x A com um elemento f (x) 2A , e que seja injetora e total. Logo, possvel concluir que |A| |2A |. Para provar que |A| < |2A |, suciente mostrar que no existe funo bijetora de A para 2A . Suponha-se que exista tal bijeo. Nesse caso, pode-se armar que todo e qualquer elemento x A est associado a um elemento distinto f (x) 2A . Considere-se agora o seguinte subconjunto de A: S = {x A | x / f (x)}
Marcus Ramos (UNIVASF) LFA 2010-1 9 de junho de 2013 88 / 97

Conjuntos Enumerveis

Teorema
De acordo com a hiptese formulada (de que existe uma bijeo entre os conjuntos), esperado que S = f (xi ) para algum xi A. Tal concluso, se verdadeira, acarretaria as seguintes conseqncias, de forma exclusiva: Se xi S, e como S = f (xi ), por hiptese, ento xi / S, o que constitui uma contradio; Se xi / S, e como S = {x A | x / f (x)}, por denio, ento xi S, o que tambm uma contradio. Qualquer que seja o caso, resulta uma contradio. Logo, a hiptese inicialmente formulada falsa e disso conclui-se no existir qualquer bijeo entre A e 2A . Portanto, |A| < |2A |.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

89 / 97

Conjuntos Enumerveis

Teorema
O Teorema 4.1 demonstra que conjuntos innitos de cardinalidades sucessivamente maiores podem ser obtidos pela aplicao sucessiva da operao conjunto-potncia. Considere os conjuntos A, B = 2A , C = 2B , D = 2C etc. Ento, |A| < |B| < |C| < |D| < ... De acordo com a teoria de Cantor, N o conjunto que possui a menor cardinalidade entre todos os conjuntos innitos, a qual denotada por 0 , o primeiro nmero da sua srie transnita. Por conseqncia, |N| < |2N |. Por outro lado, conforme foi visto anteriormente, |N| < |R|, o que sugere a questo: ser que |R| = |2N | ?. De fato, este resultado pode ser provado como sendo verdadeiro. Alm disso, |R| e |2N | correspondem ao segundo nmero transnito conhecido, na seqncia de Cantor, o qual denotado por 1 . Por outro lado, no se sabe da existncia de algum conjunto X , tal que 0 < |X | < 1 .
Marcus Ramos (UNIVASF) LFA 2010-1 9 de junho de 2013 90 / 97

Conjuntos Enumerveis

Teorema
Teorema 4.2 Sejam A e B dois conjuntos, B A. Se |A| = 0 , ento |B| 0 . Se |A| = 0 , ento existe uma funo bijetora entre o conjunto dos nmeros naturais N e o conjunto A (e vice-versa). Logo, existe uma funo injetora e total f1 que associa elementos de A e N, conforme a Tabela 6.
Tabela 6: Funo f1 para o Teorema 4.2

A: f1 : N:
Marcus Ramos (UNIVASF)

a0 0

a1 1

a2 2
LFA 2010-1

an n


9 de junho de 2013 91 / 97

Conjuntos Enumerveis

Teorema
Se B subconjunto de A, possvel associar cada elemento de B ao mesmo elemento de A atravs de uma funo injetora e total f2 , conforme a Tabela 7.
Tabela 7: Funo f2 para o Teorema 4.2

B: f2 : A:

a0

a1 a1

a2

an an

A composio das funes f1 e f2 , ilustrada na Tabela 8, mostra que existe uma funo injetora e total de B para N.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

92 / 97

Conjuntos Enumerveis

Teorema

Tabela 8: Composio de f1 com f2 para o Teorema 4.2

B: f2 : A: f1 : N:

a0 0

a1 a1 1

a2 2

... ... ...

an an n

... ... ...

Logo, |B| |N|, ou seja, |B| 0 . Em outras palavras, qualquer subconjunto (nito ou innito) de um conjunto enumervel tambm um conjunto enumervel.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

93 / 97

Conjuntos Enumerveis

Teorema

Teorema 4.3 Sejam A e B dois conjuntos quaisquer. Se |A| = 0 e |B| = 0 , ento |A B| = 0 . Se A e B so conjuntos enumerveis (nitos ou innitos), ento seus elementos podem ser ordenados da seguinte forma: A: B: a0 , a1 , a2 , a3 , a4 , ...an1 , an , an+1 ...

b0 , b1 , b2 , b3 , b4 , ...bn1 , bn , bn+1 ...

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

94 / 97

Conjuntos Enumerveis

Teorema

A enumerao dos elementos de A B pode ser feita atravs do seguinte procedimento: A B : a0 , b0 , a1 , b1 , a2 , b2 , ...an1 , bn1 , an , bn , an+1 , bn+1 , ... Portanto, A B enumervel e |A B| = 0 . Em outras palavras, a unio de dois conjuntos enumerveis sempre um conjunto enumervel.

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

95 / 97

Conjuntos Enumerveis

Teorema

Teorema 4.4 Sejam A e B dois conjuntos quaisquer. Se |A| = 0 e |B| = 0 , ento |A B| 0 . Se A B, ento A B = A e |A B| = |A| = 0 por hiptese. Se, por outro lado, B A, ento A B = B e |A B| = |B| = 0 por hiptese. Finalmente, se nenhuma dessas duas condies for verdadeira, ento (A B) A e, pelo Teorema 4.2, |A B| 0 . Portanto, em qualquer caso que se considere, |A B| 0 .

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

96 / 97

Conjuntos Enumerveis

Teorema

Teorema 4.5 Sejam A e B dois conjuntos, B A. Se |A| = 1 e |B| = 0 , ento |A B| = 1 . Suponha-se que |A B| = 0 . Ento, de acordo com o Teorema 4.3, |(A B) B| = 0 , o que contradiz a hiptese de que |A| = 1 , pois (A B) B = A. Como B A, e, portanto, |B| |A|, conclui-se que |A B| = 1 .

Marcus Ramos (UNIVASF)

LFA 2010-1

9 de junho de 2013

97 / 97