Projeto Euclides - Curso de Anlise - Volume 1

Autor Prof Elon Lages Lima

Exerccios resolvidos por Paulo Santa Rita

1.1 - Admitindo as duas hipteses, se X A B ento haver um conjunto Y = A B tal que : Y A

e Y B e, no entanto, Y no contm X ... o que contradiz a segunda hiptese. Assim,
necessariamente devemos ter X = A B.

1.2 Seja X um conjunto tal que :

1) X A e X B
2) Se Y A e Y B ento Y X
Prove que X = A B

Admitindo as duas hipteses, se X A B ento haver um conjunto Y = A B tal que : Y A e Y

B e, no entanto, Y X ... o que contradiz a segunda hiptese. Assim, necessariamente devemos
ter X = A B.

1.3 - Supondo A B = ento, dado a A, temos que a B => a CB => A CB.

Reciprocamente, se A CB ento a A, a CB => a B => A B= .

Supondo A B = E ento, se CA B, a CA / a B => a / a A e a B => A B E ...

absurdo ! Assim : CA B. Reciprocamente, se supormos CA B, dado a E, temos duas
possibilidades : ou a A => a A B, ou a A => a CA => a B => a A B. Nos dois casos,
a E => a A B. Logo, E A B. Como, alm disso, por hiptese, A,B E segue que A B = E

1.4 - Supondo A B, dado a B, com mais forte razo, a A. Assim, a CB ( a B ) implica a A,

isto : A CB = . Reciprocamente, se A CB = , dado a A. Temos que a CB => a B.
Logo : A B.

1.5 - A = {1}, B = {2} e C = {3}. Temos que : (A B) C = e A (B C) = {1}

1.6 - Se supormos que X CA, ento uma de duas coisas possveis est ocorrendo : Ou a X / a
CA => a X / a A => A X ... absurdo ! Ou a CA / a X => a A / a X => A X
E ... absurdo ! Assim, vemos que sob quaisquer das possibilidades chegamos a um absurdo. Logo,
a nossa tese insustentvel e somos obrigados a admitir que X = CA.

1.7 - Sabemos que B (A C) = (B A) (B C). Se A B ento B A=A e teremos (B A) (B

C) = A (B C) = (B C) A. Ou seja : B (A C) = (B C) A. Reciprocamente, se B (A C) =
(B C) A => (B A) (B C) = A (B C) => B A = A. Logo, A B

1.8 - Supondo A = B, claramente que CA= CB. Logo : A CB = A CA = e CA B = CB B = .

Assim, (A CB) (CA B) = = . Reciprocamente, se supormos que (A CB) (CA B) =
ento A CB = e CA B = isto : A B e B A => A = B.

Seja a (A - B) (B - A) => a (A - B) ou a (B - A). No primeiro caso, a A e a B

=> a A B e a A B ; no segundo, a B e a A => a A B e a A B. Ou seja, nos dois
casos, a A B e a A B. Logo : a (A B) - (A B). Isto mostra que (A - B) (B - A) (A B)
- (A B).

Agora, seja a (A B) - (A B) => a A B e a A B => ( a A e a B ) ou ( a B e a

A ) => a A - B ou a B - A => a (A - B) (B - A). Isto mostra que (A B) - (A B) (A - B)
(B - A).

As duas incluses provam que (A - B) (B - A) = (A B) - (A B)

1.10 - Supondo que x B / x C, temos duas hipoteses a considerar : 1) x A. Neste caso, por um
lado, x A - B e x B - A => x (A - B) (B - A ) => x A B e, por outro lado, x A - C e x
C - A => x (A - C) (C - A) => x A C. Ou seja:
A B A C ... absurdo ! 2) x A. Neste caso, por um lado, x A - B e x B - A => x (A - B)
(B - A ) => x A B e, por outro lado, x A - C e x C - A => x (A - C) (C - A) => x A
C. Ou seja : A B A C ... absurdo !

Assim, dado que sob qualquer das hipteses possveis chegamos a absurdos, somos forados a
admitir que a afirmao x B / x C falsa, vale dizer, o que verdadeiro que x B , x C,

Captulo 1 - Conjunto e Funes 1

 Projeto Euclides - Curso de Anlise - Volume 1
Autor Prof Elon Lages Lima
Exerccios resolvidos por Paulo Santa Rita

isto : B C. Partindo de x C / x B e usando um raciocnio absolutamente anlogo, prova-se

igualmente que C B. Assim, segue que B C e C B, isto : B = C.

A B = A C => B = C
Falso. Contra-exemplo : A = {1}, B = {2} e C = {3}.

A B = A C => B = C
Falso. Contra-exemplo : A = {1,2}, B = {2,3} e C = {3}

A x B = A x C => B = C
Verdadeiro. Suponhamos que B C. Sem perda de generalidade vamos supor que x B / x C.
Neste caso, todo par ordenado da forma ( a, x ) com a A tal que ( a, x ) A x B e ( a, x ) A x C, isto
, A x B A x C ... absurdo ! Assim, B = C.

1.11 - a) Seja (x,c) (A B) x C => x A B e c C. Se x A, (x,c) A x C ; se x B, (x,c) B x C.

Assim, (x,c) (A B) x C => (x,c) (A x C) (B x C). Isto estabece que (A B) x C (A x C) (B
x C). Reciprocamente, se (x,c) (A x C) (B x C) ento (x,c) A x C ou (x,c) B x C => (x A ou
x B) e c C => (x,c) (A B) x C. Isto estabelece que (A x C) (B x C) (A B) x C.

As duas incluses demonstradas provam que (A B) x C = (A x C) (B x C)

b) Seja (x,c) (A B) x C => x A B e c C . De x A e c C tiramos (x,c) AxC, de x B e c C

tiramos (x,c) BxC; isto , (x,c) AxC e (x,c) BxC. Logo, temos que (x,c) (AxC) (BxC). Isso
mostra que (A B) x C (AxC) (BxC).
Reciprocamente, dado (x,c) (AxC) (BxC) => (x,c) AxC e (x,c) BxC => c C e ( x A e x
B) => c C e x A B => (x,c) (A B) x C. Isto estabelece que (AxC) (BxC) (A B) x C.

As duas incluses demonstradas provam que (A B) x C = (AxC) (BxC)

c) Dado (x,c) (A - B) x C. Ento x A - B e c C => (x A e c C) e (x B e c C). Logo, (x,c)

AxC e (x,c) BxC => (x,c) (AxC) - (BxC). Fica portanto estabelecido que (A - B)xC (AxC) -
(BxC). Reciprocamente, se (x,c) (AxC) - (BxC) ento temos que (x,c) (AxC) e (x,c) (BxC),
isto : (x A e x B) e c C. Logo, teremos (x,c) (A - B) x C. Isto (AxC) - (BxC) (A - B) x C

As duas incluses demonstradas provam que (A - B)xC = (AxC) - (BxC)

d) Dado (a,b) A x B. Ento a A e b B. Como A A' e B B' ento tambm temos que a A' e
b B', isto , (a,b) A' x B'. Logo (a,b) A x B => (a,b) A' x B'. Isto estabelece que A x B A' x B'

1.12 - a) Sejam X,Y A dois conjuntos quaisquer e b f(X) - f(Y). Ento, b f(X) e b f(Y) => a
X / b=f(a) e no a' Y / b=f(a') => a Y => a X - Y / b=f(a) => b f(X - Y). Assim, b f(X) -
f(Y) => b f(X - Y). Logo, f(X) - f(Y) f(X - Y).

b) Seja b f(X - Y). Ento a X - Y / b=f(a) => a X, a Y / b=f(a). Como f:A B injetiva, a'
Y, b f(a') => b f(X) e b f(Y) => b f(X)-f(Y) => f(X - Y) f(X)-f(Y). Como a incluso contrria
sempre verdadeira, conforme mostramos acima, segue que, sendo f:A B injetiva, f(X - Y) = f(X) -
f(Y), X,Y A

1.13 - Supondo que f:A B injetiva, ento f(X - Y) = f(X) - f(Y), X,Y A conforme
demonstramos no problema 1.12 acima. Em particular, fazendo X=A teremos :

Se f:A B injetiva, ento f(A - X) = f(A) - f(X), X A

Reciprocamente, suponha que f(A - X) = f(A) - f(X), X A. Mostremos, por reduo ao absurdo,
que a funo f:A B injetiva :

Com efeito, se f:A B no injetiva, a,a' A com f(a)=f(a') e a a'. Fazendo X={a'} temos que
f(a) f(A - X) pois a A - X, mas f(a) f(A) - f(X), pois f(a)=f(a') e f(a') f(X), vale dizer, f(A - X) f(A)
- f(X) para X={a'} A ... absurdo !

Portanto, a funo f:A B injetiva.

Captulo 1 - Conjunto e Funes 2

 Projeto Euclides - Curso de Anlise - Volume 1
Autor Prof Elon Lages Lima
Exerccios resolvidos por Paulo Santa Rita

1.14 - a) Seja X A e a X. Entao b f(X) / b = f( a ) => a f-1( b ) => a f-1(f( a )). Como f( a )=
b f(X), f (f(X)) f (f( a )) => a f (f(X)). Assim, a X => a f (f(X)). Isto estabelece que X
-1 -1 -1 -1

f-1(f(X)) , X A

b) No item a) mostramos que se f:A B uma funo, ento X f-1(f(X)) , X A. Agora, supondo
que f:A B injetiva, mostraremos que f-1(f(X)) X, X A. Faremos isso por reduo ao absurdo :

Com efeito, suponhamos que f-1(f(X)) X. Neste caso, a f-1(f(X)) / a X, isto , b f(X) / b=f( a
) mas a X. Como b f(X), tambm a ' X / b=f( a ' ). Assim, existem a X e a ' X tais que b = f(
a ) = f( a ' ) => f:A B no injetiva ... absurdo !

Portanto, se f:A B injetiva, f-1(f(X)) X, X A. Este fato, mais o que foi provado no item a)
conclui a demonstrao, vale dizer :

f:A B injetiva <=> f-1(f(X)) = X, X A

1.15 - a) Seja f :A B uma funo e Z B um conjunto qualquer. Dado b f ( f (Z)). Segue que
1

a f 1 (Z) / b = f ( a ). Como a f 1 (Z), b ' Z / b ' = f ( a ). Mas, numa funo, um elemento do

domnio no pode ter duas imagens. Assim : b = b ' . Portanto, b Z. Logo, b f ( f (Z)) => b Z.
1

Isto estabelece que f ( f (Z)) Z

1

b) Em virtude do que foi demonstrado no item anterior, basta provar que

f :A B sobrejetiva <=> Z f ( f (Z)) , Z B

1

Com efeito, seja f :A B sobrejetiva e Z B. Tomando um b Z, a sobrejetividade de f garante que

a A / b f ( a ) => a f 1 ( b ) => a f 1 (Z) => b f ( f 1 (Z)). Assim b Z => b f ( f 1 (Z)).
Isto mostra que Z f ( f (Z)). Reciprocamente, se supormos que Z f ( f (Z)), Z B, ento
1 1

f :A B sobrejetiva. Para ver isso claramente, vamos supor que f :A B no sobrejetiva. Neste
caso, b B / b f ( a ), a A. Fazendo Z={ b } temos que f (Z) = => f ( f (Z)) = , ou
1 1

seja : Z f ( f (Z)) ... um evidente absurdo ! Logo, f :A B sobrejetiva. Portanto :

1

f :A B sobrejetiva <=> Z f ( f (Z)) , Z B

1

1.16 - Como, pela 1 hiptese, X A L, ento, claramente, X U A. Se supormos que X

L

U A o conjunto Y= U A tal que Y A L e, no entanto, Y no contem X ... absurdo !

L L

Assim : X = U A
L
1.17 - Dada uma famlia de conjuntos (A) L e seja X um conjunto com as seguintes propriedades :

1 ) Para todo L, X A
2 ) Se Y A L ento Y X
Prove que, nestas condies, tem-se X = I A
L

Como, pela 1 hiptese, X A L, ento, claramente temos que X I A. Se supormos que

L

X I A o conjunto Y = I A tal que Y A L e, no entanto

L L

Y X ... absurdo ! Assim : X = I A

L

Captulo 1 - Conjunto e Funes 3

 Projeto Euclides - Curso de Anlise - Volume 1
Autor Prof Elon Lages Lima
Exerccios resolvidos por Paulo Santa Rita

1.18 - a) Claramente que X U X . Assim : f ( X) f ( U X) . Logo teremos I f ( X)

f ( U X), isto , I f ( X) f ( U X). Por outro lado, igualmente claro que f ( X) I f ( X)

. Logo, X f ( I f ( X)) , isto : U X f ( I f ( X)) => f ( U X) I f ( X) => I f

( X) f ( U X). As duas incluses demonstradas estabelecem que f ( U X) = I f ( X).

b) Claramente que X I X . Assim, f (X) f ( I X) . E, portanto, teremos U f (X)

f ( I X). Por outro lado, igualmente claro que f ( X) U f (X) Logo : X f ( U f (X))
=> I X f ( U f (X)) => f ( I X) U f (X). As duas incluses demonstradas estabelecem
que f ( I X) = U f (X)

1.19 - a) Dado x ( U A ) ( U

M
B ) => x UA e x UB
M
=> L , M tal que
L L

x A e x B => x A B => x U ( A B ). Isto mostra que ( U A ) ( U

( , )LxM L M

B ) U ( A B ). Reciprocamente, dado x U ( A B ) ento (,) L x M tal

( , )LxM ( , )LxM
que x ( A B ) => L , M / x ( A B ) => L , M / x A e x B =>
x UA e x UB ou seja, teremos x ( U A ) ( U B ). Demonstramos portando
L M L M

demonstrado que: U ( A B ) ( U A ) ( U
B ). As duas incluses estabelecem que
( , )LxM L M

( U A ) ( U
B )= U ( A B )
L M ( , )LxM

b) x ( I A) ( I B) => x I A ou x I B => x A L ou x B M .
L M L M

Em quaisquer dos dois casos, x A B, (,) L x M. Portanto, segue que x I (A

( , )LxM

B). Logo : ( I A) ( I B) I (A B). Agora, dado x I (A B)

L M ( , )LxM ( , )LxM

=> x (A B) (,) L x M => x A ou x B (,) L x M => x I A ou x I

L M

B => x ( A) ( I
I B). Portanto, temos que : I (A B) ( A) ( I I
L M ( , )LxM L M
B). As duas incluses provam que :

( I A) ( I B) = I (A B)
L M ( , )LxM

Captulo 1 - Conjunto e Funes 4

 Projeto Euclides - Curso de Anlise - Volume 1
Autor Prof Elon Lages Lima
Exerccios resolvidos por Paulo Santa Rita

1.20 - A igualdade verdadeira. Dado a U(I A i j) => J / a I A i j => J / a A
j=1 i=1 i=1

ij i => i , J / a A i j => i , a UA ij => a I ( UA ij ). Assim,
j=1 i=1 j=1

a U I ( A i j) => a
I ( U A i j ). Isto estabelece que U I ( A i j)
I ( U A i j ).
j=1 i=1 i=1 j=1 j=1 i=1 i=1 j=1

Reciprocamente, dado a I ( UA ij ) => i , a UA ij => i , J / a
i=1 j=1 j=1

Aij => J / a A ij i => J / a I A i j => a U(I A i j). Assim, a I (
i=1 j=1 i=1 i=1

U A i j ) => a U I ( A i j). Isto estabelece que I ( U A i j ) U I ( A i j). As duas
j=1 j=1 i=1 i=1 j=1 j=1 i=1
incluses provam que:

U I ( A ij ) = I ( UA ij )
j=1 i=1 i=1 j=1

1.21 Dado uma f F ( A; F ( B; C )) qualquer. Ento f uma funo f : A F ( B; C ) , isto , a A,

f a F ( B; C ) tal que f (a ) f a . Como f a F ( B; C ) ento f a uma funo f a : B C , isto , b B o
nmero f a (b) C est bem definido. Isto nos permite associar a cada f F ( A; F ( B; C )) uma funo
f * F ( AxB; C ) definida como :
f * (a, b) f a (b) f (a )(b) . Representaremos esta aplicao pondo : f * F ( f ) .

Eu afirmo que esta aplicao uma bijeo de F ( A; F ( B; C )) em F ( AxB; C ) :

1) injetiva

Sejam f1 , f 2 F ( A; F ( B; C )) tais que f1 f 2 . Segue que a A / f1 (a) f 2 (a ) => f1a f 2 a , isto ,

existe b B / f1a (b) f 2 a (b) => a A, b B / f1 (a , b ) f 2 (a, b) => f1 f 2 => F ( f1 ) F ( f 2 )
* * * *

2) sobrejetiva

Dada f F ( AxB; C ) .Para cada a A , definimos f a : B C pondo f a (b) f (a, b) . Claramente que a
* *

funo f que a cada a A associa a funo f a tal que f F ( A; F ( B; C )) e que f F ( f )

*

Captulo 1 - Conjunto e Funes 5