Escolar Documentos
Profissional Documentos
Cultura Documentos
TeoConj PDF
TeoConj PDF
Estruturas Algbricas
Este material de apoio para a disciplina de Estruturas Algbricas, oferecida ao curso de Informtica da Pontifcia
Universidade Catlica do Rio Grande do Sul, no tendo a pretenso de esgotar os assuntos aqui abordados, mas sim de
enfocar os aspectos importantes para o uso em Informtica.
O relato de quaisquer erros ou outras sugestes e criticas construtivas ser sempre bem-vindo.
No alterar este material!
Estruturas Algbricas i
Sumrio
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 1
1.2.1 Exemplos
So exemplos de conjuntos:
(a). A = { a }
(b). B = { 0, 3, 6, 9, 12, 15, ... }
(c). C = { 1, 2, 3, 4, 6, 12, ... }
(d). D = { Terra, Sol, Lua }
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 2
1.2.2 Notaes
A seguinte notao a usual em Teoria de Conjuntos:
Elementos: so normalmente representados por letras latinas minsculas
Exemplos: a, b, c, ...
Conjuntos: so normalmente representados por letras latinas MAISCULAS
Exemplos: A, B, C, ...
Relao de Pertena: representada pelo smbolo , criado por Georg Cantor.
xA significa o elemento x pertence ao conjunto A
xA significa o elemento x no pertence ao conjunto A
1.3.1.1 Exemplos
(a). A = { C++, Delphi, Smalltalk, Java, ... }
(b). B = { anlise, projeto, implementao, teste, correo, trmino }
(c). C = { 1, 3, 5 }
(d). D = { N, R, Q, I, C }
(e). E = { ( 2, sair da cama ), ( 4, acordar ), ( 3, escovar os dentes ), ( 1, abrir os olhos ) }
(f). F = { a, e, i, o, u }
(g). G = { (1, a), (3, b), (5, c) }
1.3.1.2 Observaes
Pontos positivos: permite a visualizao de todos os elementos do conjunto, facilitando
raciocnios de inspeo.
Pontos negativos: s prtica ao se trabalhar com conjuntos finitos e com poucos elementos.
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 3
1.3.2.1 Exemplos
(a). C = { x / x N x mpar x 5 }
(b). F = { z / z mltiplo de 4 }
(c). U = { T / T conjunto }
(d). G = { ( x, y ) / x R y = x + 1 }
m m
(e). Q = { x / x = m Z n Z* } = { / m Z n Z* }
n n
(f). S = { x / x N } ou, simplesmente, S = N
(g). P = { k / k = 2n n N }
1.3.2.2 Observaes
Pontos positivos: sucinta, fcil de manipular, formal e til para o desenvolvimento de raciocnios.
Permite representar conjuntos com muitos (ou infinitos) elementos.
Pontos negativos: no permite a visualizao direta dos elementos, exige a determinao formal
de uma proposio para a propriedade que define o conjunto.
1.3.3.1 Exemplos
(a). A = { x R / -1 x < 2 }
R
-1 2
(b). B = { ( x, y ) / x Z y R } R
-2 -1 0 1 1 Z
1.3.3.2 Observaes
Pontos positivos: So teis para a compreenso de propriedades grficas.
Pontos negativos: Em geral so difceis de construir.
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 4
1.3.4.1 Exemplos
A
(a). A = { 1, 2, 3 }
2
1
3
(b). B = { 1, 2, 4 }
B C
C = { 2, 3, 4, 6 }
1 2 6
4 3
1.3.4.2 Observaes
Pontos positivos: So teis apenas para a compreenso de propriedades atravs de exemplos.
Pontos negativos: No podem ser usados em provas formais, pois no so capazes de
representar propriedades de forma abstrata. Somente podem representar conjuntos finitos e
discretos1.
1.4.1 Notaes
Conjunto Universo: usualmente representado pelo smbolo U.
Conjunto Vazio: usualmente representado pelos smbolos ou { }.
1.4.2 Observaes
H muitas formas de se definir, por compreenso, estes conjuntos. Por exemplo:
U = { x / x = x } = { x / x existe }
1
Isto , cujos elementos no necessitam ser dispostos de forma contgua, ou seja, podem ser contados com os dedos.
Formalmente diz-se que a propriedade de densidade no satisfeita, ou seja, que, chegar o momento que entre dois
elementos quaisquer do conjunto no ser possvel encontrar outro elemento do mesmo conjunto. Por exemplo, no conjunto
dos nmeros naturais, N, no possvel encontrar outro nmero natural entre 2 e 3. O mesmo acontece com todos os naturais
consecutivos...
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 5
1.5 Intervalos
Intervalos so conjuntos de nmeros reais. Devido a sua importncia e para facilitar sua escrita, foi
adotada a seguinte notao:
{xR/axb} [a;b]
(a;b]
{xR/a<xb}
]a;b]
[a;b)
{xR/ax<b}
[a;b[
(a;b)
{xR/a<x<b}
]a;b[
2
Explicao da Demonstrao:
Vamos demonstrar isto atravs de um raciocnio denominado por contradio ou reduo ao absurdo. A idia da prova
simples, apesar de os detalhes poderem ser um pouco indigestos para o leitor de primeira viagem...
Queremos mostrar que o conjunto vazio nico. Pois bem:
Inicialmente, vamos supor, por mais absurdo que seja, que existam dois conjuntos vazios diferentes;
Em seguida, vamos chegar concluso de que isto no pode acontecer. Ento estaremos mostrando que no h outra
alternativa a no ser existir somente um conjunto vazio.
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 6
2.1 Incluso
Dados dois conjuntos, A e B, diz-se que A est contido em B se e somente se qualquer elemento de
A for tambm elemento de B. Nestas condies escreve-se A B.
Em notao lgica:
A B (x) (x A x B)
2.1.1 Exemplos
(a). N Z
(b). { x Z / ( y Z )( y = 6x ) } { x Z / ( y Z )( y = 2x ) }
x
(c). { x / x par } { x / Z}
2
2.1.2 Propriedades
Sejam A, B e C conjuntos. Ento so vlidas as seguintes propriedades:
A
AA (Reflexividade)
(AB)(BC)AC (Transitividade)
Prova:
Seja A um conjunto. Ento: A
Pela definio de incluso temos que (x)( x x A ).
Como a primeira proposio falsa, ento a implicao verdadeira.
Logo, A.
(Reflexividade)
Seja A um conjunto. Ento: A A
(x)( x A x A ), j que x A uma proposio verdadeira, ento a implicao
verdadeira.
(Transitividade)
Sejam A, B, C conjuntos. Ento A B B C A C
Seja x A. Como A B, temos que x B. Da mesma forma, como x B e B C, ento x C.
Logo, podemos concluir que A C.
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 7
2.1.3 Exemplos
(a). N Z Z Q N Q
x x x
(b). { x / x par } { x / Z } { x / Z } { x / x par } { x / x par } = { x / Z }
2 2 2
2.1.4 Observaes
Pode-se tambm dizer que B contm A, denotando por B A.
Em Teoria da Computao muito comum se utilizar a notao em vez de . Isto porque a
intepretao da incluso feita de maneira diferente:
Ao se escrever A B est-se dizendo que B contm todos os elementos de A e, provavelmente,
mais alguns.
Ao se escrever A B, que matematicamente a mesma coisa, est-se dando a interpretao de
que A possui mais qualidade de informao que B, pois possui menos elementos que B.
2.2.1 Exemplos
(a). N Z
(b). Z R
2.2.2 Propriedades
Sejam A, B e C conjuntos. Ento so vlidas as seguintes propriedades:
AA
(AB)(BC)AC (Transitividade)
No provaremos as propriedades acima pelo fato de as demonstraes serem semelhantes s
apresentadas para a relao de Incluso.
2.3 Igualdade
Dois conjuntos, A e B, so iguais se e somente se tiverem exatamente os mesmos elementos.
Nestas condies escreve-se A = B.
Em notao lgica:
A = B (x)( x A x B )
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 8
2.3.1 Exemplos
(a). { 3 , 3 } = { x / x2 = 3 }
(b). { -4, -2, -1, 1, 2, 4 } = { x / x divisor de 4 }
x
(c). { x / x par } = { x / Z}
2
2.3.2 Propriedades
Sejam A, B e C conjuntos. Ento so vlidas as seguintes propriedades:
A=A (Reflexividade)
A=BB=A (Simetria)
(A=B)(B=C)A=C (Transitividade)
Prova:
(Reflexividade)
Seja A um conjunto. Ento: A = A
Para todo x, x A se e somente se x A. Como a primeira proposio verdadeira, logo a
equivalncia verdadeira.
(Simetria)
Sejam A e B conjuntos tais que A = B. Ento: B = A
Como A = B para todo x, x A se e somente se x B. Pela equivalncia lgica ( p q )
( p q ) (q p), vem que (x ) ( x A x B ). Assim, temos que B A. Desta forma,
A B e B A. Logo, B = A.
(Transitividade)
Sejam A, B, C conjuntos, tais que A = B e B = C A = C
Como A = B, pela hiptese, ento A B e B A. Tomando B = C, temos que B C e C B.
Como A B e B C, pela propriedade transitiva da incluso, vem que A C e C A. Logo,
A = C.
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 9
3.1 Unio
Dados dois conjuntos, A e B, a operao de unio gera um novo conjunto cujos elementos so
provenientes tanto de A, como de B. O conjunto unio de A e B denotado por A B.
Em notao lgica:
AB={x/xAxB}
3.1.1 Exemplos
(a). Sejam A = { a, b, c } e B = { a, b, d }. Ento A B = { a, b, c, d }
(b). Sejam A = e B = { 1, 2, 4 }. Ento A B = { 1, 2, 4 }
(c). Sejam A = U e B = { 1, 2, 4 }. Ento A B =U
3.1.2 Propriedades
Sejam A, B e C conjuntos. Ento so vlidas as seguintes propriedades:
AB=BA (Comutatividade)
(AB)C=A(BC) (Associatividade)
AA=A (Idempotncia)
A=A (elemento neutro)
AU=U (elemento absorvente)
Observao: As provas das propriedades acima so obtidas a partir da definio de unio, no
sendo apresentadas aqui, mas deixadas a ttulo de exerccio de aula ou extra-classe.
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 10
3.1.4 Exemplos
3.1.4.1 Exemplo
N Z = Z, pois N Z
Seja x N Z. Ento, x N, ou x Z. Como N Z, ento podemos concluir que x Z.
Por outro lado, se x Z, ento x N Z.
Logo, N Z = Z
3.1.4.2 Exemplo
Mostre que, sendo A e B conjuntos, ento A A B.
Demonstrao:
Sejam A e B conjuntos.
(x) (xA* xA xB x A B)
*ppq
3.1.4.3 Exemplo
Mostre que ( A, B )( A B A B = B ).
Demonstrao:
Sejam A e B conjuntos, tais que
Caso 1: Seja x A B.
Ento x A ou x B.
Como x B, temos que A B B.
Logo, A B = B
Caso 2: Seja x B.
Como B A B e A B B.
Logo, A B = B
Logo ( A, B )( A B A B = B ).
3.2 Interseo
Dados dois conjuntos, A e B, a operao de interseo gera um novo conjunto cujos elementos
devem ser os comuns a A e B. O conjunto interseo de A e B denotado por A B.
Em notao lgica:
A B = { x U / x A x B }
3.2.1 Exemplos
(a). Sejam A = { a, b, c } e B = { a, b, d }. Ento A B = { a, b }
(b). Sejam A = { , , }eB={ , }. Ento A B =
(c). Sejam A = e B = { 1, 2, 4 }. Ento A B =
(d). Sejam A = U e B = { 1, 2, 4 }. Ento A B = { 1, 2, 4 }
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 11
3.2.2 Propriedades
Sejam A, B e C conjuntos. Ento so vlidas as seguintes propriedades:
AB=BA (Comutatividade)
(AB)C=A(BC) (Associatividade)
AA=A (Idempotncia)
A= (elemento absorvente)
AU=A (elemento neutro)
Observao: As provas das propriedades acima so obtidas a partir da definio de interseo, no
sendo apresentadas aqui, mas deixadas a ttulo de exerccio de aula ou extra-classe.
3.2.4 Exemplos
3.2.4.1 Exemplo
Mostre que ( A )( A = ).
Demonstrao:
Seja A um conjunto. Ento A =
Vamos supor que A . Ento existe x A .
Assim, x A e x . Porm, x falso. Ento x A falso.
Logo, A =
3.2.4.2 Exemplo
Mostre que ( A, B )( A B A B = A ).
Demonstrao:
Sejam A e B conjuntos, tais que A B. Mostraremos a tese observando que
A B = A ( A B A ) ( A A B ).
Caso 1: Seja x A B. Ento:
xABxAxBxA
Logo, A B A
Caso 2: Seja x A.
Se x A, ento, pela hiptese, x B, pois A B x, x A x B V.
Logo, A B A A B
Logo ( A, B )( A B A B = A ).
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 12
3.4 Diferena
Dados dois conjuntos, A e B, a operao de diferena entre A e B gera um novo conjunto cujos
elementos so aqueles que pertencem a A, mas no pertencem a B. O conjunto diferena de A e B
denotado por A B.
Em notao lgica:
AB={x/xAxB}
3.4.1 Exemplos
(a). Sejam A = { 1, 2, 3 } e B = { 2, 4 }. Ento A B = { 1, 3 }
(b). Sejam A = { 1, 2, 3 } e B = { 4, 5, 6 }. Ento A B = { 1, 2, 3 }
(c). Sejam A = { 1, 2, 3 } e B = { , , , }. Ento A B = { 1, 2, 3 }
(d). Sejam A = { 1, 2, 3 } e B = . Ento A B = { 1, 2, 3 }
(e). Sejam A = { x N / x mltiplo de 5 } e B = { x N / x par }. Ento
A B = { 5, 15, 25, 35, ... }
3.4.2 Propriedades
Sejam A, B e C conjuntos. Ento so vlidas as seguintes propriedades:
ABA
AB=AB=A
AB=AB=CA =CB
(AB)B=
(AB)B=AB
(AB)C=(AC)(BC) (Distributividade)
(AB)C=(AC)(BC) (Distributividade)
A=A
AU=
A=
Observao: As provas das propriedades acima so obtidas a partir da definio de diferena de
conjuntos, no sendo apresentadas aqui, mas deixadas a ttulo de exerccio de aula ou extra-classe.
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 13
3.5 Complementao
Em notao lgica:
CEA = { x / x E x A }
Um caso particular, mas muito til, o conjunto complementar de A em relao ao conjunto universo.
Neste caso, temos E = U. Ento o conjunto complementar denotado por CA , por A ou por A .
Em notao lgica:
A = { x U / x A }
Observao: A Complementao um caso particular (muito importante) da operao de diferena.
3.5.1 Exemplos
(a). Sejam A = { 1, 2, 3 } e B = { 2 }. Ento CBA no est definido, pois A B.
(b). Sejam A = { 1, 2, 3 } e B = { 1,2, 3, 4, 5, 6 }. Ento CBA = {4, 5, 6}
(c). Seja A = { 1, 2, 3 }. Ento AN = { 0, 4, 5, 6, ...}
3.5.2 Propriedades
Sejam A, B e E conjuntos tais que A E e B E. Ento so vlidas as seguintes propriedades:
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 14
3.5.3 Exemplos
3.5.3.1 Exemplo
Mostre que ( U ) = .
Demonstrao:
Pela definio de conjunto complementar, temos que ( U )' o complementar de ( U )em relao ao
conjunto Universo. Como U o prprio conjunto universo.
Logo, s podemos ter ( U )' =
3.5.3.2 Exemplo
Mostre que ( A, B )( A B A = )
Demonstrao:
Seja x A B. Assim x A e x B. Como x A, pela definio de complementar, x A'. Assim,
podemos concluir que se x A B, ento x A'.
Logo, A B A' =
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 15
Em notao lgica:
A B = { x / ( x A x B ) ( x B x A ) } = (A B) (B A)
3.7.1 Exemplos
(a). Sejam A = { 1, 2, 3 } e B = { 2, 3, 4 }. Ento A B = { 1 } { 4 }
(b). Sejam A = { 1, 2, 3 } e B = { 4, 5, 6 }. Ento A B = { 1, 2, 3 } { 4, 5, 6 }
(c). Sejam A = { 1, 2, 3 } e B = { 3, 6, 9 }. Ento A B = {1, 2 } { 6, 9}
3.7.2 Propriedades
Sejam A, B e C conjuntos. Ento so vlidas as seguintes propriedades:
AB=(AB)(BA)
AB=(AB)(BA)
AB=BA (Comutatividade)
(AB)C=(AC)(BC) (Distributividade)
(AB)C=(AC)(BC) (Distributividade)
A=A
AB=AB=AB
Observao: As provas das propriedades acima so obtidas a partir da definio de diferena de
conjuntos, no sendo apresentadas aqui, mas deixadas a ttulo de exerccio de aula ou extra-classe.
3.7.3 Exemplo
Mostre que
( A, B )( ( A B ) ( B A ) = ( A B ) ( B A ) )
Demonstrao:
Sejam A e B conjuntos. Seja x (A B) (B A). Ento x (A B) ou x (B A).
Como x ( A B ), ento x A e x B. Assim, x A B e x B A.
Logo, x (A B) (B A).
Um outro modo:
Demonstrao:
Sejam A e B conjuntos. Seja x (A B) (B A). Ento x (A B) e x (B A).
Como x (A B), ento x A ou x B. Porm, x (B A), ento x B ou x A.
Logo, x (A B) (B A).
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 16
4 Produto Cartesiano
O produto cartesiano de conjuntos ocupa lugar de destaque dentre as operaes definidas na Teoria
de Conjuntos, principalmente no que toca as suas aplicaes Informtica. Isto porque permite
definir conjuntos de natureza diferente dos originais, atravs da associao ordenada de seus
elementos. Aplicaes comuns do produto cartesiano so, entre outras:
grficos;
especificao de relaes entre conjuntos de dados;
representao de regras lgicas atravs de relaes.
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 17
Ternas Ordenadas: Uma terna ordenada uma seqncia ordenada de trs elementos.
Exemplos: ( 1, 2, 3 ),
( a, 1, v ),
( Informtica, 401, PUCRS ),
( ( nome, endereo ), cdigo, saldo )
4.2.1 Definio
Sejam A e B conjuntos. O produto cartesiano de A e B o conjunto formado por pares ordenados
cujo primeiro elemento proveniente de A e o segundo, de B. Este conjunto denotado por A x B.
Em notao lgica:
A x B = { ( x, y ) / x A y B }
4.2.2 Exemplos
(a). Sejam A = { 1, 2, 3 } e B = { 4, 5 }. Ento:
A x B = { ( 1, 4 ), ( 1, 5 ), ( 2, 4 ), ( 2, 5 ), ( 3, 4 ), ( 3, 5 ) }
B x A = { ( 4, 1 ), ( 4, 2 ), ( 4, 3 ), ( 5, 1 ), ( 5, 2 ), ( 5, 3 ) }
Estes conjuntos podem ser representados pelos grficos abaixo:
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 18
4.2.3 Propriedades
Sejam A, B, C e D conjuntos. Ento so vlidas as seguintes propriedades:
Ax(BC)=(AxB)(AxC)
Ax(BC)=(AxB)(AxC)
ABAxCBxC
(AxB)(CxD)=(AC)x(BD)
AxB=(A=)(B=)
AxB=BxA(A=)(B=)(A=B)
Observao: As provas das propriedades acima so obtidas a partir da definio de diferena de
conjuntos, no sendo apresentadas aqui, mas deixadas a ttulo de exerccio de aula ou
extra-classe.
4.2.5 Exemplos
4.2.5.1 Exemplo
Determine { x N / ( x 1 )( x 3 ) = 0 } x { x N / ( x 2 )( x 3 ) = 0 }.
Soluo: { 1, 3 } x { 2, 3 } = { ( 1, 2 ), ( 1, 3 ), ( 3, 2 ), ( 3, 3 ) }
4.2.5.2 Exemplo
Encontre o valor lgico da proposio ( A, B, C )( A x C = B x C A = B )
Soluo:
Seja ( x, y ) A x C. Ento x A e y C. Como A x C = B x C, ento ( x, y ) B x C. Assim, x B e
y C.
Logo, A = B.
Logo, a proposio verdadeira.
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 19
4.2.5.3 Exemplo
Represente graficamente o subconjunto do produto cartesiano R2 definido por S = { ( x, y ) / x+y 1 }.
Soluo:
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 20
5.1 Notao
Representados sempre usando chaves. A nica exceo feita aos intervalos, que
possuem notao prpria.
Conjuntos Os nomes so dados por letras maisculas. A atribuio feita pelo sinal de
igualdade.
Exemplo: A = { 1, 2, 3 }.
Representados por letras minsculas. Um elemento pertence a um conjunto.
Elementos
Exemplo: x R.
Relao de pertena. Um elemento pertence a um conjunto.
Negao da relao de pertena. Indica que um elemento no pertence a um
conjunto. Escrever x A o mesmo que escrever ( x A ).
Relao de igualdade.
=
A = B ( x )( x A x B )
Relao de incluso.
A B ( x )( x A x B )
Relao de incluso estrita
A B ( x )( x A x B ) ( y )( y B y A )
Negao da relao de incluso.
A B ( x )( x A x B )
Operao de unio.
AB={x/xAxB}
Operao de Interseo.
AB={x/xAxB}
Operao de Diferena.
AB={x/xAxB}
Operao de Complementao do conjunto A em relao ao conjunto E.
AE ou CEA
A E AE = E A = { x / x E x A }
Operao de Complementao do conjunto A em relao ao conjunto Universo.
A ou CA
A = U A = { x / x A }
Operao de Diferena Simtrica.
AB={x/(xAxB)(xBxA)}
Operao de Produto Cartesiano de dois conjuntos.
x
A x B = { ( x, y ) / x A y B }
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 21
(15). A A = U
(16). A A =
(17). ( A ) = A
( U ) =
( ) = U
(18). ( A B ) = A B (Lei de De Morgan)
(19). ( A B ) = A B (Lei de De Morgan)
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 22
(5). AxB=(A=)(B=)
(6). AxB=BxA(A=)(B=)(A=B)
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 23
6 Exerccios
1. Descreva cada um dos conjuntos a seguir, listando seus elementos :
(a) { x R / | x | < 2 }
(b) { x N / ( y ) ( y par x y ) }
6. Para cada uma das sentenas a seguir, encontre as condies mais gerais possveis para os
conjuntos A e B de modo a tornar as sentenas verdadeiras:
(a) A B = A (b) A = (c) A B A B
(d) A B = A (e) B - A =
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 24
(c) A B = A C B = C
(d) ( A' B' )' = A B
(e) ( A B ) - C = A ( B - C )
(f) ( A B )' = B' A B
(g) ( A B ) B' = A A B =
(h) A B = A B'
(i) A - B = A - C B = C
(j) A x B = B x A A = B
(k) ( A x C ) ( B x C ) = ( A B ) x C
(l) ( A B ) C = A ( B C )
(m) A B = ( A B ) - ( A B )
(n) A B A B
Seja A um conjunto. Chamamos de Conjunto das Partes de A ao conjunto formado por todos os
subconjuntos de A. Notao: P(A)
Ex.: A = { 1, 2 } P(A) = { , {1}, {2}, A }
12. De acordo com o nosso uso da palavra conjunto, se A um subconjunto do conjunto universo S,
ento qualquer elemento de S ou pertence ou no pertence a A. Em outras palavras, a
probabilidade de um elemento x de S pertencer a A 1 (quando x um elemento de A) ou 0
(quando x no um elemento de A) .A um conjunto FUZZY se todo elemento de S tem a
probabilidade p, 0 p 1, de ser um elemento de A. A probabilidade p associada a x uma
estimativa da possibilidade de que x possa pertencer a A quando a composio de A
desconhecida. Operaes de conjuntos podem ser realizadas com conjuntos FUZZY da seguinte
maneira: Se o elemento x tem a probabilidade p1 de pertencer a A e a probabilidade p2 de
pertencer a B, ento a probabilidade de x ser um elemento de A B dada por p1 + p2 p1.p2.
Seja S um conjunto de possveis agentes causadores de doenas,
S = { gentica, vrus, nutrio, bactria, ambiente }.
Os conjuntos FUZZY "AIDS" e "mal de ALZHEIMER" so definidos como:
AIDS = { gentica, 0.2; vrus, 0.8; nutrio, 0.1; bactria, 0.4; ambiente, 0.3 } e
ALZHEIMER = { gentica, 0.7; vrus, 0.4; nutrio, 0.3; bactria, 0.3; ambiente, 0.4 }
Encontre o conjunto FUZZY AIDS ALZHEIMER
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 25
2. A = { a, b, d, e }, B = { d, e, f }
5. Q = { -4 , 6 } { x Z / -100 x 100 } = E
8.
(a). Sejam A, B conjuntos.
Ento: B' - A'= { x / x B' x A'} = { x / x B x A } = { x / x A x B } = A - B
Logo, A B = B - A'.
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 26
9.
OBSERVAO: Equivalncias lgicas usadas em vrios itens :
pq(pq)(qp)
(pq)r(pr)(qr)
(pq)r(pr)(qr)
pqp
pfp
ppv
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 27
Mas B C.
Logo, (A B = A C B = C).
Logo, a proposio (A B = A C B = C) falsa.
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 28
Concluso final : Por (1) e (2) vem que A' B' = B' A B.
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 29
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 30
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto
Estruturas Algbricas 31
10.
(a). (b).
(c). (d).
11.
(a). A x B = { ( 1, 2 ), ( 1, 3 ) }
P( A x B ) = { , { ( 1, 2 ) }, { ( 1, 3 ) }, A x B }
(b). P( A x B ) x B = { ( , 2 ), ( , 3 ), ( { ( 1, 2 ) }, 2 ), ( { ( 1, 2 ) }, 3 ),
( { ( 1, 3 ) }, 2 ), ( { ( 1, 3 ) }, 3 ), ( A x B, 2 ), ( A x B, 3 ) }
(c). CDxD A x B =
12.
AIDS ALZHEIMER = { gentica, 0.76; vrus, 0.88; nutrio, 0.37; bactria, 0.58; ambiente, 0.58 }
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto