Matemtica - Mdulo 1

TEORIA DOS CONJUNTOS

1. Consideraes iniciais
O captulo que se inicia trata de um assunto que, via-de-regra, abordado em um plano secundrio dentro dos temas que norteiam o ensino mdio. Entretanto, para o vestibular do ITA necessrio o conhecimento mais profundo do tema, principalmente no que tange s propriedades em breve indicadas e aos conceitos de complementar e diferena . Embora seja possvel resolver todos os exerccios relativos Teoria dos Conjuntos apenas com noes intuitivas, um dos objetivos desse material iniciar o aluno em uma linguagem matemtica mais elaborada e elegante. Com isso, possvel estabelecer uma base slida para o melhor entendimento dos captulos subseqentes e para a resoluo dos exerccios. Feito o parntese inicial, o ponto de partida da Teoria dos Conjuntos admitir que conjunto e elemento de um conjunto so conceitos primitivos(aceitamos como conhecidos sem definio), e no conceitos definidos. Para esclarecer a diferena entre os dois: na geometria euclidiana, os conceitos ponto , reta e plano so primitivos; a partir deles, so definidos os demais conceitos (circunferncia, segmento de reta, polgono, etc...). Observaes: 1) o conceito primitivo elemento de um conjunto deve ser levado ao p da letra, ou seja, no se discute se x elemento ou no, mas sim se x elemento de determinado conjunto ou no. 2) Um conjunto pode ser representado por uma letra maiscula de nosso alfabeto; ou por uma lista ordenada de todos os elementos desse conjunto (com ou sem repetio) entre chaves;ou pela forma: { x U : A(x) }, em que A(x) uma propriedade cuja finalidade selecionar elementos de U; ou ainda pela representao grfica proposta pelo matemtico John Venn(1834-1923) , conforme expresso abaixo:

Verde Vermelho Violeta

= { Verde, Vermelho, Violeta } = conjunto das cores cujos nomes se iniciam pela letra V .

3) Existe um conjunto sem elementos denominado CONJUNTO VAZIO, indicado por { } ou . Essa observao consiste em um postulado( = axioma; uma proposio aceita como verdadeira sem demonstrao, ao contrrio dos chamados teoremas).

2. SUBCONJUNTOS
2.1.Def.: dizemos que A subconjunto de B se, e somente se, todo elemento de A elemento de B, isto : x U, x A x B. Neste caso, diz-se A ). O conjunto U,

que A est contido em B ou B contm A ( B

denominado CONJUNTO UNIVERSO, fixo e contm todos os conjuntos que possam ser envolvidos.

Convm atentar que, se existir ao menos um elemento de A que no pertena a B, ter-se- A A B x U:x A B. Em outras palavras, temos que x B.

2.2.Propriedades e observaes importantes

1) 2) A, temos A A, temos A ( inclusive A; !!! ) propriedade reflexiva;

3) Se A tem n elementos, ento o nmero de subconjuntos de A 2n. Esse um exerccio de Anlise Combinatria elementar, tente faz-lo! 4) A BeA B A=B propriedade anti-simtrica;

5) Atentar para a diferena entre pertinncia e incluso: enquanto um elemento pertence a um conjunto, um subconjunto est contido em um conjunto (mesmo que a esse subconjunto pertena apenas um elemento!).

3. UNIO ou REUNIO
3.1.Def: Denomina-se Unio de A com B ao conjunto dos elementos que
pertencem a pelo menos um dos conjuntos A ou B. Assim, escrevemos A B = { x U : x A x B }. Essa simples definio traz consigo

algumas propriedades interessantes: 1) A B=B A (propriedades comutativa da Unio)

2) (A 3) A 4) A 5) A 6) A

B) =A B

C=A

(B

C) (propriedade associativa da Unio)

B=B

A=A BeA B A A B B

4. INTERSECO
4.1.Def: Chamamos interseco de A com B ao conjunto dos elementos
comuns aos conjuntos A e B. Isso equivale a dizer que A B={x U:x A x B }.

4.2. Propriedades
1) A 2) (A 3) A 4) A 5) A 6) A 7) A 8) A B B=B B) (B (B B = C (A B) (A B) A C=A C) = (A C) = (A A (B B) B) C) (A (A C) C) (Propriedades distributivas) (Propriedade comutativa) (Propriedade associativa)

B=A

A=A

5. DIFERENA

5.1.Def.:Dados dois conjuntos A e B, chamamos diferena entre A e B ao

conjunto dos elementos de A que no so elementos de B (veja figura acima), isto : A B={x U:x A x B }.

5.2.Propriedades
1) (A 2) (A 3) A 4) A B) B) =A (A A (B e A) = -A= B

B) = A

6.COMPLEMENTARIDADE
6.1.Def.: Dados dois conjuntos A e X com A
complementar de A em relao a X ao conjunto: CXA = { x diferena! X: x A }.Verificar as diferenas entre complementaridade e X (ateno!!), denomina-se

Obs.: se o conjunto X no for especificado, infere-se que X = U e neste caso usual indicar o complemento de A por A ou AC.
_

6.2.Propriedades importantssimas!
1) A A =
C

2) A

AC = U BC = A

3) (AC)C = A 4) A 5) (A 6) (A 7) B B BC B
C

B)C = AC B) = A A A
C C

(relaes de Morgan

prove!)

B = CAB

8) ( )C = U 9) A BC = A A B=

7.PRODUTO CARTESIANO E RELAO

7.1.Def.: Dados os conjuntos A e B, chamamos produto cartesiano de A por B ao conjunto de todos os pares ordenados (x;y) em que x e y pertencem, respectivamente, a A e B: A X B = { (x;y) : x A y B }.

7.2.Observaes e propriedades
1) Se A = ou B = , por conveno tem-se A X B = 2) para o produto cartesiano no existe comutao, ou seja, A X B pode no ser igual a B X A. Entretanto, esta operao possui propriedades distributivas : i) A X (B ii) A X (B iii) (A C) = (A X B) C) = (A X B) (A X C) (A X C) (B X C)

B) X C = (A X C)

7.3.Def.: Dados os conjuntos A e B, denomina-se relao de A em B a

qualquer subconjunto de A X B. As mais importantes relaes so as chamadas FUNES, mas este um assunto para o captulo seguinte. Antes disso, alguns exerccios:

8.Questes do ITA de 1969 a 2001

1- (ITA-1969) Sejam R o conjunto dos nmeros reais e C um subconjunto de R. Definimos SUPREMO de C(sup(C)) como sendo o nmero real L satisfazendo s seguintes condies: i) L maior ou igual a qualquer nmero pertencente a C; ii) Dado um nmero real L < L, existe sempre um nmero x de C tal que x >L . Seja C o conjunto dos nmeros naturais menores do que 11. Uma das afirmaes abaixo, relativas ao conjunto C, verdadeira. Assinale-a. a) L = 9 b) L = 10 c) L = 11 d) L = 12 e) no existe sup(C)

2- (ITA-1974) Sejam A, B e C conjuntos contidos num mesmo conjunto U. Seja x um elemento de U. Seja CBA = { x CC(A B) igual a: a) CCA b) CCA c) CAB d) e) nda CC B CC B U : x B e x A }, ento

3- (ITA-1985) Seja X um conjunto no vazio e sejam A e B dois subconjuntos de X. Define-se AC = { x as sentenas: 1. A B= A BC B AC; X:x A}e A B = {x A:x B}. Dadas

2. Se X = R; A = {x B={x C={x R ; x2 R; x

R; x3 1 = 0} ;

1=0}; 1 = 0 },

ento A = C = B. 3. A 4. A B =A A BC

Podemos afirmar que est(o) correta(s): a) As sentenas 1 e 3. b) As sentenas 1, 2 e 4 .

c) As sentenas 3 e 4 . d) As sentenas 2, 3 e 4. e) Apenas a sentena 2.

4- (ITA-1987) Sejam F e G dois subconjuntos no vazios de R. Assinale a alternativa correta: a) Se F b) Se F c) Se F d) Se F e) Se F GeG F, ento necessariamente F = F G.

G o conjunto vazio, ento necessariamente F = R . GeG F, ento F G=F G. F.

G = F, ento necessariamente G GeG R, ento (F G) G = R.

5- (ITA-1988) Sejam A, B e C subconjuntos dos nmeros reais. Ento: a) (A b) (A c) Se A d) (A e) A B) (B B)C = AC B)C = AC BC BC BC C)C BC) (BC (A C)C CC )

B, ento AC CC = (AC C)C = (A

6- (ITA-1989) Sejam A, B e C subconjuntos no vazios de R. Dadas as igualdades abaixo: 1. (A 2. (A 3. (A 4. A 5. (A B) X C = (A X C) B) X C = (A X B) B) (B B) A (B A) B) (B X C) (B X C) B (A C) C) (A B)

C) = (A (B

C) = (A

Podemos afirmar que: a) 2 e 4 so verdadeiras b) 1 e 5 so verdadeiras c) 3 e 4 so verdadeiras d) 1 e 4 so verdadeiras e) 1 e 3 so verdadeiras

7- (ITA-1995) Seja o conjunto:

(-1)n n!

sen

n! ;n N 6

Qual o conjunto abaixo tal que sua interseco com A o prprio A? a) (- , -2] b) (- , -2] c) [-2, 2] d) [-2, 0] e) [0,2) [2, )

8- (ITA-1995;questo convidada ) Visto que, para todo x a desigualdade x > n(x n a) x N, tem-se:
n-1 n

1en

N, vale

1), temos como conseqncia que, para 0 < x < 1 e

< [n(x + 1)]-1

b) xn - 1 < [(n + 1)(1 + x)]-1 c) xn - 1 < [n2(1 - x)]-1 d) xn - 1 < [(n + 1)(1 e) xn - 1 < [n(1 x)]-1 x)]-1

9- (ITA-1996) Sejam A e B subconjuntos no vazios de R, e considere as seguintes afirmaes: i) (A ii) (A iii) [(AC B)C (B AC)C = AC A)]C = A BC)C = B B) (B

Sobre essas afirmaes podemos garantir que: a) apenas a afirmao (i) verdadeira. b) apenas a afirmao (ii) verdadeira. c) apenas a afirmao (iii) verdadeira. d) todas as afirmaes so verdadeiras. e) apenas as afirmaes (i) e (iii) so verdadeiras.

10- (ITA-1999) Sejam E, F, G e H subconjuntos no vazios de R. Considere as afirmaes: (i) Se (E X G) (ii) Se (E X G) (iii) Se (E X G) Ento: a) Apenas a afirmao (i) verdadeira. b) Apenas a afirmao (ii) verdadeira. (F X H), ento E FeG H. (F X H) = F X H. (F X H).

(F X H), ento (E X G)

(F X H) = (F X H), ento (E X G)

c) Apenas as afirmaes (ii) e (iii) so verdadeiras. d) Apenas as afirmaes (i) e (ii) so verdadeiras. e) Todas as afirmaes so verdadeiras.

11- (ITA-2000) Denotemos por n(X) o nmero de elementos de um conjunto finito X. Sejam A, B e C conjuntos tais que n(A C) = 9, n(A a: a) 11 b) 14 c) 15 d) 18 e) 25 B C) = 11 e n(A B B) = 8, n(B C) = 10, n(A

C) = 2. Ento n(A)+n(B)+n(C) igual

12- (ITA-2001) Sejam X, Y e Z subconjuntos prprios de R, no vazios. Com respeito s afirmaes: (I) X {[Y (X Y )C ] Y) [X [X X. ( XC ( ZC YC)C ] } = X Y)]=X Y

(II) Se Z (III) Se ( X

X ento ( Z Y )C

Z ento ZC

temos que: a) apenas (I) verdadeira. b) apenas (I) e (II) so verdadeiras. c) apenas (I) e (III) so verdadeiras. d) apenas (II) e (III) so verdadeiras. e) todas so verdadeiras.

GABARITO
01 - B 02 - B 03 - A 04 - C 05 - E 06 - D

07 - C 08 - E 09 - A 10 - E 11 - D 12 - B