Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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
Sumrio
1
1.2
1.2.1
Exemplos_____________________________________________________________ 1
1.2.2
Notaes _____________________________________________________________ 2
1.2.3
1.3
1.3.1
1.3.2
1.3.3
Por Grficos___________________________________________________________ 3
1.3.4
1.4
Notaes _____________________________________________________________ 4
1.4.2
Observaes __________________________________________________________ 4
1.4.3
Intervalos ________________________________________________________________ 5
Incluso _________________________________________________________________ 6
2.1.1
Exemplos_____________________________________________________________ 6
2.1.2
Propriedades __________________________________________________________ 6
2.1.3
Exemplos_____________________________________________________________ 7
2.1.4
Observaes __________________________________________________________ 7
2.2
2.2.1
Exemplos_____________________________________________________________ 7
2.2.2
Propriedades __________________________________________________________ 7
2.3
1.4.1
1.5
2
Igualdade ________________________________________________________________ 7
2.3.1
Exemplos_____________________________________________________________ 8
2.3.2
Propriedades __________________________________________________________ 8
Unio ___________________________________________________________________ 9
3.1.1
Exemplos_____________________________________________________________ 9
3.1.2
Propriedades __________________________________________________________ 9
3.1.3
3.1.4
Exemplos____________________________________________________________ 10
3.2
Interseo _______________________________________________________________ 10
3.2.1
Exemplos____________________________________________________________ 10
3.2.2
Propriedades _________________________________________________________ 11
Estruturas Algbricas
3.2.3
3.2.4
Exemplos____________________________________________________________ 11
3.3
3.4
Diferena _______________________________________________________________ 12
3.4.1
Exemplos____________________________________________________________ 12
3.4.2
Propriedades _________________________________________________________ 12
3.4.3
3.5
Complementao _________________________________________________________ 13
3.5.1
Exemplos____________________________________________________________ 13
3.5.2
Propriedades _________________________________________________________ 13
3.5.3
Exemplos____________________________________________________________ 14
3.5.4
3.6
3.7
3.7.1
Exemplos____________________________________________________________ 15
3.7.2
Propriedades _________________________________________________________ 15
3.7.3
Exemplo_____________________________________________________________ 15
4.2
4.2.1
Definio ____________________________________________________________ 17
4.2.2
Exemplos____________________________________________________________ 17
4.2.3
Propriedades _________________________________________________________ 18
4.2.4
4.2.5
Exemplos____________________________________________________________ 18
4.3
5
ii
Notao ________________________________________________________________ 20
5.2
5.3
5.4
5.5
Exerccios __________________________________________________________________ 23
Estruturas Algbricas
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 }
Estruturas Algbricas
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
xA
significa
Exemplos
Observaes
Estruturas Algbricas
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 }
(e). Q = { x / x =
m
m
m Z n Z* } = {
/ m Z n Z* }
n
n
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.
Exemplos
(a). A = { x R / -1 x < 2 }
-1
(b). B = { ( x, y ) / x Z y R }
-2
1.3.3.2
-1
Observaes
Estruturas Algbricas
Exemplos
(a). A = { 1, 2, 3 }
(b). B = { 1, 2, 4 }
C = { 2, 3, 4, 6 }
B
1
1.3.4.2
Observaes
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
Estruturas Algbricas
1.5 Intervalos
Intervalos so conjuntos de nmeros reais. Devido a sua importncia e para facilitar sua escrita, foi
adotada a seguinte notao:
Notao de Conjunto
Notao de Intervalo
{xR/axb}
[a;b]
{xR/a<xb}
{xR/ax<b}
{xR/a<x<b}
(a;b]
]a;b]
[a;b)
[a;b[
(a;b)
]a;b[
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.
Estruturas Algbricas
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 ) }
(c). { x / x par } { x /
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.
Estruturas Algbricas
2.1.3 Exemplos
(a). N Z Z Q N Q
(b). { x / x par } { x /
x
x
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
intepretao da incluso feita de maneira diferente:
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)
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 )
Estruturas Algbricas
2.3.1 Exemplos
(a). { 3 ,
3 } = { x / x2 = 3 }
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.
Estruturas Algbricas
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)
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
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 =
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)
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 ).
Estruturas Algbricas
12
(AB)C=(AC)(BC)
(AB)A=A
(Absoro)
(AB)A=A
(Absoro)
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
Estruturas Algbricas
13
3.5 Complementao
Sejam A e E conjuntos tais que A E. Ento:
Define-se o conjunto complementar de A em relao a E como o conjunto formado por todos os
elementos de E que no pertencem a A. Neste caso, o conjunto complementar denotado por CEA ,
por AE ou por A E .
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:
Propriedade geral
Em particular
( AE )E = A.
( A ) = A.
A B BE AE
A B B A
AE A = E
A A = U
AE A =
A A =
( U ) =
( ) = U
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.
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' =
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).
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.
Nome
Idade
Cidade
Joo
20
Porto Alegre
Maria
19
Caxias do Sul
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.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:
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
Estruturas Algbricas
4.2.5.3
19
Exemplo
(AxB)xCAxBxC
Da mesma forma
Ax(BxC)AxBxC
Por qu ?
Observe que os elementos do conjunto gerado por A x ( B x C ) sero, na verdade, pares ordenados!
No entanto, os elementos do conjunto gerado pela operao de produto cartesiano triplo, A x B x C,
sero ternas ordenadas. Isto fica mais fcil de se entender se descrevermos os conjuntos em termos
de seus elementos:
Utilizaremos, apenas por simplicidade, a varivel x para referir aos elementos do conjunto A, a
varivel y para referir aos elementos do conjunto B e a varivel z para referir aos de C. Isto :
A={x/xA}
B={y/yB}
C={z/zC}
Ento: B x C = { ( y, z ) / y B z C }
Ora, mas
Ax(BxC)
= { ( x, w ) / x A w B x C }
= { ( x, ( y, z ) ) / x A y B z C }
= { ( x, y, z ) / x A y B z C }
Observe-se, ento, que a proposio que define os conjuntos a mesma, mas a estrutura dos
elementos, no!
Estruturas Algbricas
20
Elementos
AE ou CEA
A ou CA
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.
A E AE = E A = { x / x E x A }
Operao de Complementao do conjunto A em relao ao conjunto Universo.
A = U A = { x / x A }
Operao de Diferena Simtrica.
AB={x/(xAxB)(xBxA)}
Operao de Produto Cartesiano de dois conjuntos.
A x B = { ( x, y ) / x A y B }
Estruturas Algbricas
21
A=A
(Reflexividade)
(2).
A=BB=A
(Simetria)
(3).
(A=B)(B=C)A=C
(Transitividade)
(4).
(5).
AA
(Reflexividade)
(6).
(AB)(BC)AC
(Transitividade)
(7).
(AB)(BA)A=B
(Anti-Simetria)
(8).
AA
(9).
(AB)(BC)AC
(Transitividade)
AA=A
(Idempotncia ou Idemponncia)
(2).
AB=BA
(Comutatividade)
(3).
(AB)C=A(BC)
(Associatividade)
(4).
A=A
(5).
AU=U
(6).
AA=A
(Idempotncia ou Idemponncia)
(7).
AB=BA
(Comutatividade)
(8).
(AB)C=A(BC)
(Associatividade)
(9).
A=
(10). A U = A
(11). ( A B ) C = ( A C ) ( B C )
(12). ( A B ) C = ( A C ) ( B C )
(13). ( A B ) A = A
(Absoro)
(14). ( A B ) A = A
(Absoro)
(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)
Estruturas Algbricas
22
ABA
(2).
AB=AB=A
(3).
AB=AB=CA =CB
(4).
(AB)B=
(5).
(AB)B=AB
(6).
(AB)C=(AC)(BC)
(7).
(AB)C=(AC)(BC)
(8).
A=A
(9).
AU=
(10). A =
(11). ( AE )E = A.
(12). A B BE AE
(13). A B B A
(14). AE A = E
(15). AE A =
(16). A B = ( A B ) ( B A )
(17). A B = ( A B ) ( B A )
(18). A B = B A
(19). ( A B ) C = ( A C ) ( B C )
(20). ( A B ) C = ( A C ) ( B C )
(21). A = A
(22). A B = A B = A B
Ax(BC)=(AxB)(AxC)
(2).
Ax(BC)=(AxB)(AxC)
(3).
ABAxCBxC
(4).
(AxB)(CxD)=(AC)x(BD)
(5).
AxB=(A=)(B=)
(6).
AxB=BxA(A=)(B=)(A=B)
Estruturas Algbricas
23
6 Exerccios
1.
2.
3.
4.
(a) a C
(b) b A
(c) c A
(d) b B
(e) e A
(f) f A
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 =
(d) A B = A
(e) B - A =
7.
8.
(c) A B A B
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
10. Sejam os conjuntos A = { 1, 2, 3, 4 }, B = [-2,1] e C = { x R / x2 + 3.x + 2 0 }. Represente
graficamente os produtos cartesianos:
(a) A x B
(b) C x B
(c) C x C
(d) B x C
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 }
(b) P( A B ) B
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
Estruturas Algbricas
25
(b). F
(c). F
(d). V
(e). V
(f). V
(b) A =
(c) A = B
(d) A B
(e) B A
Estruturas Algbricas
26
Estruturas Algbricas
27
Mas B C.
Logo, (A B = A C B = C).
Logo, a proposio (A B = A C B = C) falsa.
(d). A proposio verdadeira. PROVA:
Sejam A e B conjuntos. Ento, usando uma das leis de De Morgan para conjuntos, temos:
( A' B' )' = ( A' )' (B' ) ' = A B.
Logo, ( A' B' )' = A B.
(e). A proposio falsa. PROVA:
Existem os conjuntos A = { 1, 2, 3 }, B = { 4, 5 } e C = { 1, 5 } tais que:
A B = { 1, 2, 3, 4, 5 } e
(A B) - C = {2, 3, 4 }
Mas:
B - C = { 4, 5 } - { 1, 5 } = { 4 }
A ( B - C ) = { 1, 2, 3, 4 }
Ento, neste caso, (A B) - C A ( B - C ).
Logo, a proposio falsa.
(f). A proposio verdadeira. PROVA:
Sejam A e B conjuntos.
Sabemos que ( A B )' = A' B'.
Ento mostrar que A' B' = B' A B o mesmo que mostrar a proposio original.
Usando a equivalncia lgica p q ( p q ) ( q p ), iremos separar a prova da proposio
em duas etapas:
Parte 1: A' B' = B' A B.
Suponhamos que A' B' = B'.
x, x A x A' x A' B'.
Como A' B' = B ento x A' B' x B' x B.
Concluso : x, x A x B.
Logo: A' B' = B' A B.
Parte 2: A B A' B' = B'
Suponhamos que A B.
x, x B' x B.
Como A B ento x B x A x A'.
Concluso: x B' x A' B'. Ento B' A' B'.
Por outro lado, x, x A' B' x A' x B' x B'.
Concluso: x A' B' x B'. Ento A' B' B.
Vedada a alterao ou o uso sem o consentimento prvio dos autores
Estruturas Algbricas
28
Concluso final : Por (1) e (2) vem que A' B' = B' A B.
(g). A proposio verdadeira. PROVA:
Sejam A e B conjuntos.
Sabemos que dados conjuntos E, F e H quaisquer, temos ( E F ) H = ( E H ) ( F H ).
Usando esta propriedade, temos:
( A B ) B' = ( A B' ) ( B B' ) = ( A B' ) = A B'.
Ento, a proposio A B' = A A B = diz o mesmo que a original.
Vamos prov-la dividindo-a em duas partes:
Parte 1: A B' = A A B = .
Iremos fazer esta prova usando a equivalncia lgica p q q p. Isto se chama
prova por contraposio. Para isto, escreveremos a proposio na seguinte forma:
A B A B' A.
PROVA:
Suponhamos que A B . Ento h pelo menos um elemento nesta interseco. Isto :
( x )( x A B ) ( x )( x A x B ).
Mas: x A x B x A x B' x A x A B'.
Ento, A e A B tm pelo menos um elemento diferente.
Logo A - A B' A.
Logo A B A B' A.
Logo A B' = A A B = .
Parte 2: A B = A B' = A
PROVA :
Suponhamos que A B = .
x A B x A x B' x A x B.
Como A B = ento x A x B x A
Logo x A.
Logo A B = A B' = A.
Concluso: A B' = A A B =
Concluso geral: ( A B ) B' = A A B =
(h). A proposio verdadeira. PROVA:
Sejam A e B conjuntos tais que A B = . Ento:
x, x A x B, pois A B = .
Mas: x B x B'.
Logo, x, x A x B'.
Concluso : A B'.
Estruturas Algbricas
29
Estruturas Algbricas
30
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 }