Documente Academic
Documente Profesional
Documente Cultură
13 de maro de 2012
marcus.ramos@univasf.edu.br www.univasf.edu.br/~marcus.ramos
LFA 2010-1
13 de maro de 2012
1 / 97
Bibliograa
Linguagens Formais: Teoria, Modelagem e Implementao M.V.M. Ramos, J.J. Neto e I.S. Vega Bookman, 2009
LFA 2010-1
13 de maro de 2012
2 / 97
Roteiro
Conjuntos
Relaes
Funes
Conjuntos Enumerveis
LFA 2010-1
13 de maro de 2012
3 / 97
Conjuntos
Conjunto
Um conjunto uma coleo de smbolos, tambm denominados tomos ou elementos, em que no so consideradas ocorrncias mltiplas dos mesmos nem h relao de ordem entre eles.
Exemplo 1.1 A incluso do smbolo 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.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
6 / 97
Conjuntos
Nomes
LFA 2010-1
13 de maro de 2012
7 / 97
Conjuntos
Nmero de elementos
LFA 2010-1
13 de maro de 2012
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. / / / /
LFA 2010-1
13 de maro de 2012
9 / 97
Conjuntos
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.
LFA 2010-1
13 de maro de 2012
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...}.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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. / /
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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 e A / 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.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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)
LFA 2010-1
13 de maro de 2012
19 / 97
Conjuntos
Unio
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} /
LFA 2010-1
13 de maro de 2012
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 13 de maro de 2012 21 / 97
Conjuntos
Conjuntos disjuntos
LFA 2010-1
13 de maro de 2012
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}
LFA 2010-1
13 de maro de 2012
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
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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}
LFA 2010-1
13 de maro de 2012
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}
LFA 2010-1
13 de maro de 2012
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
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
32 / 97
Conjuntos
Igualdade de conjuntos
Teorema 1.2 Sejam A e B dois conjuntos quaisquer. Ento A = B (A B) (A B) = 0. / / / / () Se A = B, ento (A B) (A B) = (A A) (A A) = 0 0 = 0. () Se (A B) (A B) = 0, ento as duas seguintes condies devem / ser simultaneamente satisfeitas:
1 2
(A B) = 0; /
(A B) = 0. /
LFA 2010-1
13 de maro de 2012
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 A B = 0. Logo, A B = 0; / /
iii A = B. Logo, A B = 0. /
LFA 2010-1
13 de maro de 2012
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.).
LFA 2010-1
13 de maro de 2012
35 / 97
Conjuntos
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};
LFA 2010-1
13 de maro de 2012
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, 1, 1), (2, 1, 1), (5, 4, 3), (10, 8, 6) etc.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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 .
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
41 / 97
Relaes
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.
LFA 2010-1
13 de maro de 2012
42 / 97
Relaes
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.
LFA 2010-1
13 de maro de 2012
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. /
LFA 2010-1
13 de maro de 2012
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 13 de maro de 2012 45 / 97
Relaes
LFA 2010-1
13 de maro de 2012
46 / 97
Relaes
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 13 de maro de 2012 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 .
LFA 2010-1
13 de maro de 2012
49 / 97
Funes
Exemplo
LFA 2010-1
13 de maro de 2012
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 .
LFA 2010-1
13 de maro de 2012
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)}
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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 .
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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}.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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}.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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.
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.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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,?)).
LFA 2010-1
13 de maro de 2012
66 / 97
Funes
...
Total? Sim No No
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
68 / 97
Conjuntos Enumerveis
LFA 2010-1
13 de maro de 2012
69 / 97
Conjuntos Enumerveis
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.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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|.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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) . . . ... ... ... ... ... ...
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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 ... ...
LFA 2010-1
13 de maro de 2012
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).
LFA 2010-1
13 de maro de 2012
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 13 de maro de 2012 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 ... ...
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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 ...
LFA 2010-1
13 de maro de 2012
84 / 97
Conjuntos Enumerveis
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.
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
86 / 97
Conjuntos Enumerveis
LFA 2010-1
13 de maro de 2012
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 13 de maro de 2012 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 |.
LFA 2010-1
13 de maro de 2012
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 13 de maro de 2012 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
13 de maro de 2012 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.
LFA 2010-1
13 de maro de 2012
92 / 97
Conjuntos Enumerveis
Teorema
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.
LFA 2010-1
13 de maro de 2012
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 ...
LFA 2010-1
13 de maro de 2012
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.
LFA 2010-1
13 de maro de 2012
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 .
LFA 2010-1
13 de maro de 2012
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 .
LFA 2010-1
13 de maro de 2012
97 / 97