Universidade de Braslia

Departamento de Matematica

Algebra
1 - Turma B 2o/2015
1o Teste - Resoluc
ao
Prof. Jose Antonio O. Freitas
O Exerccio 1 foi corrigido para atribuic
ao da nota.
Exerccio 1: Mostre que CE pAq CE pBq se, e somente se, A Y B A.
Soluc
ao: Temos duas afirmacoes para serem demonstradas:
1a ) Se CE pAq CE pBq entao, A Y B A.
Como queremos mostrar que A Y B A devemos mostrar que A Y B A e que
A A Y B. A inclusao A A Y B e consequencia da definicao de uniao de conjuntos.
Assim seja x P AYB. Da x P A ou x P B. Se x P A nao temos nada ha fazer. Suponha
entao que x P B. Assim x R CE pBq e como CE pAq CE pBq, entao x R CE pAq, isto e,
x P A. Logo A Y B A. Portanto A Y B A.
2a ) Se A Y B A, entao CE pAq CE pBq.
Seja x P CE pAq. Entao por definicao x R A. Mas A A Y B e assim x R B. Logo
x P CE pBq. Portanto CE pAq CE pBq.
Exerccio 2: Mostre que A Y pB Cq pA Y Bq pC Aq.
Soluc
ao: Para mostrar a igualdade desses conjuntos precisamos mostrar que:
1o ) A Y pB Cq pA Y Bq pC Aq
Seja x P A Y pB Cq. Entao x P A ou x P pB Cq. Se x P A, entao x P A Y B e
x R pC Aq. Assim x P pA Y Bq pC Aq. Com isso A Y pB Cq pA Y Bq pC Aq.
Agora suponha que x P pB Cq. Entao x P B e x R C. Neste caso x P A Y B e
x R pC Aq pois x R C. Logo x P pA Y Bq pC Aq e novamente A Y pB Cq
pA Y Bq pC Aq. Portanto A Y pB Cq pA Y Bq pC Aq.
2o ) pA Y Bq pC Aq A Y pB Cq
Seja x P pA Y Bq pC Aq. Assim x P A Y B e x R pC Aq. Se x P A, entao
x P A Y pB Cq e acabamos. Suponha que x P B. Como x R pC Aq, entao x R C ou
x P A. Se x R C, entao como x P B obtemos que x P B C e com isso x P A Y pB Cq.
Se x P A, entao x P A Y pB Cq. Logo sempre teremos x P A Y pB Cq e assim
pA Y Bq pC Aq A Y pB Cq. Portanto pA Y Bq pC Aq A Y pB Cq.
Com isso provamos que pA Y Bq pC Aq A Y pB Cq, como queramos.