Ensino Superior

Matemtica Bsica
Unidade 1.1 Teoria dos Conjuntos Amintas Paiva Afonso

INDICE
INTRODU !O RE"# !O DE $ERTIN%NCI# DETERMIN# !O DE CON&UNTOS DI#'R#M#S DE (ENN CON&UNTOS ES$ECI#IS RE"# )ES ENTRE CON&UNTOS CON&UNTOS NUM*RICOS UNI!O DE CON&UNTOS INTERSEC !O DE CON&UNTOS DI+EREN # DE CON&UNTOS DI+EREN # SIM*TRIC# COM$"EMENTO DE UM CON&UNTO $ROB"EM#S

Em matemtica, o conceito de conjunto - considerado primiti.o e n/o se d uma de0ini1/o deste, portanto, a pa2a.ra CON&UNTO de.e aceitar3se 2o4icamente como um termo n/o de0inido.

Um conjunto se pode entender como uma co2e1/o ou a4rupamento 5em de0inido de o5jetos de 6ua26uer c2asse. Os o5jetos 6ue 0ormam um conjunto s/o c7amados mem5ros ou e2ementos do conjunto. E8emp2o9 Na 0i4ura ao 2ado temos um Conjunto de $essoas

NOT# !O
Todo conjunto se escre.e entre c7a.es : ; e se denota mediante 2etras mai<scu2as #, B, C, ..., seus e2ementos se separam mediante ponto e .=r4u2a.

E8emp2o9 O conjunto das 2etras do a20a5eto> a, 5, c, ..., 8, ?, @. Se pode escre.er assim9 " A :a> 5> c> ...> 8> ?> @;

Na teoria de conjuntos n/o precisa repetir os e2ementos, por e8emp2o9 O conjunto :8> 8> 8> ?> ?> @ ; simp2emente ser : 8> ?> @ ;.
#o n<mero de e2ementos 6ue tem um conjunto D c7amamos C#RDIN#" DO CON&UNTO e se representa por nBDC.

E8emp2o9 # A :a> 5> c> d> e; seu cardina2 nB#C A E B A :8> 8> 8> ?> ?> @; seu cardina2 nBBC A F
GNDICE

$ara indicar 6ue um e2emento pertenece a um conjunto se usa o s=m5o2o9

Se um e2emento n/o pertenece a um conjunto se usa o s=m5o2o9

E8emp2o9 Seja M A :H> I> J> K> 1L;
2 M ... se 2M H pertenece ao conjunto M 5 M ... se 2M E n/o pertenece ao conjunto M
GNDICE

O duas 0ormas de determinar um conjunto, por E8tens/o e por Entendimento. IC $OR ENTENS!O * a6ue2a 0orma mediante a 6ua2 se indica cada um dos e2ementos do conjunto. E8emp2os9
#C O conjunto dos n<meros pares maiores 6ue E e menores 6ue HL.

# A : J> K> 1L> 1H> 1I> 1J> 1K ;

GNDICE

BC O conjunto de n<meros ne4ati.os =mpares maiores 6ue 31L.

B A :3P> 3Q> 3E> 3F> 31 ; IIC $OR ENTENDIMENTO * a6ue2a 0orma mediante a 6ua2 se d uma propriedade 6ue caracteri@a a todos os e2ementos do conjunto. E8emp2o9 $ A :os n<meros d=4itos ;
Se pode entender 6ue o conjunto $ est 0ormado pe2os n<meros L, 1, H, F, I, E, J, Q, K, P.

Outra 0orma de escre.er -9 $ A : 8 R 8 A d=4ito ; se 2M S$ - o conjunto 0ormado pe2os e2ementos 8 ta2 6ue 8 - um d=4itoT. E8emp2o9 E8pressar por e8tens/o e por entendimento o conjunto de dias da semana. $or E8tens/o9 D A :se4unda> ter1a> 6uarta> 6uinta> se8ta> s5ado> domin4o ;
$or Entendimento9 D A : 8 R 8 A dia da semana ;

GNDICE

Os dia4ramas de (enn 6ue se de.em ao 0i2Uso0o in42Ms &o7n (enn B1KFI31KKFC ser.em para representar conjuntos de maneira 4r0ica mediante desen7os ou dia4ramas 6ue podem ser c=rcu2os, retVn4u2os, triVn4u2os ou 6ua26uer cur.a 0ec7ada.
# 7 1 9 4 8 3 6 5 2 T e o i a u M (2;4) (5;8)

(1;3) (7;6)
GNDICE

CON&UNTO (#WIO * um conjunto 6ue n/o tem e2ementos, tam5-m se c7ama conjunto nu2o. 'era2mente se representa pe2os s=m5o2os9 ou : ; # A ou # A : ; se 2M9 S# - o conjunto .a@ioT ou S# - o conjunto nu2o S E8emp2os9
M A : n<meros maiores 6ue P e menores 6ue E ;

$A:8R

1 = 0; X

CON&UNTO UNITXRIO * o conjunto 6ue tem um sU e2emento. E8emp2os9 2 + A : 8 R H8 Y J A L ; > ' A { x / x = 4 x < 0} CON&UNTO +INITO
* o conjunto com 2imitado n<mero de e2ementos.

E8emp2os9
E A : 8 R 8 - um n<mero impar positi.o menor 6ue 1L ;

N A : 8 R 8H A I ;

CON&UNTO IN+INITO * o conjunto com i2imitado n<mero de e2ementos. E8emp2os9 R A : 8 R 8 Z J ; > S A : 8 R 8 - um n<mero par ; CON&UNTO UNI(ERS#" * um conjunto re0erencia2 6ue cont-m todos os e2ementos de uma situa1/o particu2ar, 4era2mente se representa pe2a 2etra U E8emp2o9 O uni.erso ou conjunto uni.ersa2 de todos os n<meros - o conjunto dos N[MEROS COM$"ENOS.

GNDICE

INC"US!O
Um conjunto # est inc2uso em outro conjunto B, se e somente se, todo e2emento de # 0or tam5-m e2emento de B. NOT# !O 9 A B Se 2M 9 # est inc2uso em B, # - su5conjunto de B, # est contido em B , # - parte de B. RE$RESENT# !O 'RX+IC# 9
B #

$RO$RIED#DES9 IC Todo conjunto est inc2uido em si mesmo. A A IIC O conjunto .a@io se considera inc2uido em 6ua26uer conjunto. A IIIC # est inc2uido em B B A B C e6ui.a2e a di@er 6ue B cont-m # B B A C I(C Se # n/o est inc2uido em B ou # n/o su5conjunto de B si4ni0ica 6ue pe2o menos um e2emento de # n/o pertence a B. B A B C (C Sim5o2icamente9 A B x A x B

CON&UNTOS COM$#RX(EIS
Um conjunto # - COM$#RX(E" com outro conjunto B se entre esses conjuntos e8iste uma re2a1/o de inc2us/o. # - compar.e2 com B se # U B A B U # E8emp2o9 # A : 1> H> F> I> E ; e B A : H> I ; # 1 I H B E F Observe que B est incluso em A, portanto, A e B so COMPARVEI

I'U#"D#DE

DE CON&UNTOS

Dos conjuntos s/o i4uais se tMm os mesmos e2ementos. E8emp2o9 # A : 8 R 8H A P ; ? B A : 8 R B8 FCB8 Y FC AL ; Reso2.endo a e6uac/o de cada conjunto se o5t-m em am5os os casos 6ue 8 - i4ua2 a F ou 3F, ou seja9 # A :3F> F; ? B A :3F> F;, portanto # A B Sim5o2icamente 9 A = B (A B) (B A)

CON&UNTOS DIS&UNTOS
Dois conjuntos s/o disjuntos 6uando n/o tMm e2ementos comuns. RE$RESENT#C!O 'RX+IC# 9 # Q E 1 P F B H I J K

Como po!emos observar os con"untos A e B no t#m elementos comuns, portanto so CO$%&$'O (I %&$'O

CON&UNTO DE CON&UNTOS
* um conjunto cujos e2ementos s/o conjuntos. E8emp2o9 + A : :a;> :5;> :a> 5;> :a> 5> c; ; O5ser.e 6ue os e2ementos do conjunto + tam5-m s/o conjuntos. :a; - um e2emento do conjunto + ent/o :a; + * correto di@er 6ue :5;

+\

NO

$or6ue :5; - um e2emento do conjunto +, o correto - :5; +

CON&UNTO $OT%NCI#
O conjunto potMncia de um conjunto # denotado por $B#C ou $otB#C - o conjunto 0ormado por todos os su5conjuntos de #. E8emp2o9 Seja # A : m> n> p ; Os su5conjuntos de # s/o9 :m;, :n;, :p;, :m>n;, :m>p;, :n>p;, :m>n>p;, ] Ent/o o conjunto potMncia de # -9
$B#C A : :m;> :n;> :p;> :m> n;> :m> p;> :n> p;> :m> n> p;> ] ;

DU#NTOS E"EMENTOS $OT%NCI# DE # \

TEM

CON&UNTO

O5ser.e 6ue o conjunto # tem F e2ementos e seu conjunto ou seja $B#C tem K e2ementos. Se E potMncia Z 8 Z 1E e - um n<mero par ent/o B A : J> K> 1L> 1H> 1I ; $RO$RIED#DE9 O5ser.e 6ue o conjunto B Dado um conjunto # cujo n<mero de e2ementos tem E e2ementos ent/o9

- n, ent/o o n<mero de e2ementos de seu n Card $BBC A H conjunto potMncia - Hn.

E $BBC A H A FH E8emp2o9

Dado o conjunto B A: 8 R 8 - um n<mero par e E Z 8 Z 1E ;. Determinar o cardina2 de $BBC. RE PO 'A

GNDICE

N<meros Naturais BNC N A :1> H> F> I> E> ....; N<meros Inteiros BWC W A :...> 3H> 31> L> 1> H>....;
4 > 1> 3

N<meros Racionais BDC 1 1 >1 D A :...> 3H> 31> > L>

2

> H> ....;

2; 3;>....;

N<meros Irracionais B I C

I A :...>

N<meros Reais B R C R A :...> 3H> 31> L> 1> 2; 3 > H> F> ....; N<meros Comp2e8os B C C C A :...> 3H> 1 > L> 1> 2; 3 > H Y Fi> F> ....;
2

C R
Z N

ENEM$"OS9 # C P = { x N / x 2 9 = 0} B C Q = { x Z / x 9 = 0} C C F = { x R / x 2 + 9 = 0}
2

$A:F;

E8pressar por e8tens/o os se4uintes conjuntos9 DA:3F>F;

+A:;
2) = 0}

{ E C B = { x I /(3x 4)(x

D C T = x Q /(3x 4)(x

4 T= { } 3 B= { 2 }

2) = 0}

RES$OST#S
INDICE

 B -o O conjunto S# un/o BT 6ue se representa conjunto 0ormado por todos os e2ementos 6ue pertenecem a #, a B ou a am5os os conjuntos.

E8emp2o9

= { 1; 2; 3; 4; 5; 6; 7} !B = { 5; 6; 7; 8; 9}

1 F

H I

Q E

Q E

K P

B = { 1; 2; 3; 4; 5; 6; 7; 8; 9} B = {x/x x B}

RE$RESENT# )ES 'RX+IC#S D# UN!O DE CON&UNTOS

Se # e B s/o n/o compar.eis Se # e B s/o compar.eis

U
#
#UB

U
B
#UB

U
Se # e B s/o conjuntos disjuntos

$RO$RIED#DES D# UNI!O DE CON&UNTOS 1. # U # A # H. # U B A B U # F. # U ] A # I. # U U A U E. B#UBCUC A #UBBUCC J. Se # U B A ] # A ] e B A ]

GNDICE

O conjunto S# intersec1/o BT 6ue se representa - o conjunto 0ormado por todos os e2ementos 6ue pertencem a # e pertencem a B. E8emp2o9

= { 1; 2; 3; 4; 5; 6; 7} !B = { 5; 6; 7; 8; 9}

1 F

H I

Q E

J
B = { 5; 6; 7} x B}

Q E

K P

B = {x/x

RE$RESENT# )ES 'RX+IC#S D# INTERSEC !O DE CON&UNTOS

Se # e B s/o n/o compar.eis Se # e B s/o compar.eis

U
#
#B

U
B

#BAB

U
Se # e B s/o conjuntos disjuntos
#BA]

$RO$RIED#DES D# INTERSEC !O DE CON&UNTOS 1. # # A # H. # B A B # F. # ] A ] I. # U A # E. B# BC C A# BB CC J. # U BB CC AB# U BC B# U CC # BB U CC AB# BC U B# CC

GNDICE

 B -o O conjunto S# menos BT 6ue se representa conjunto 0ormado por todos os e2ementos 6ue pertencem a # e n/o pertencem a B.

E8emp2o9

= { 1; 2; 3; 4; 5; 6; 7} !B = { 5; 6; 7; 8; 9}

1 F

H I

Q E

J
B = { 1; 2; 3; 4} x B}

Q E

K P

B = {x/x

O conjunto SB menos #T 6ue se representa B - o conjunto 0ormado por todos os e2ementos 6ue pertencem a B e n/o pertencem a #.

E8emp2o9

= { 1; 2; 3; 4; 5; 6; 7} !B = { 5; 6; 7; 8; 9}

1 F

H I

Q E

J
= { 8; 9}

Q E

K P

B B

= {x/x B x

RE$RESENT# )ES 'RX+IC#S D# DI+EREN # DE CON&UNTOS

Se # e B s/o n/o compar.eis Se # e B s/o compar.eis

U
#
#3B

U
B
#3B

U
Se # e B s/o conjuntos disjuntos
#BA#

GNDICE

O conjunto S# di0eren1a sim-trica B T 6ue se representa B - e2 conjunto 0ormado por todos os e2ementos 6ue pertencem a B# 3 BC ou BB 3 #C.

E8emp2o9

= { 1; 2; 3; 4; 5; 6; 7} !B = { 5; 6; 7; 8; 9}

1 F

H I

Q E

Q E

K P

B = {x/x (

B = { 1; 2; 3; 4} { 8; 9} B) x (B )}

Tam5-m - correto a0irmar 6ue9

B = ( B) (B )

# #3B
B = ( B) (

B B3#
B)

Dado um conjunto uni.erso U e um conjunto #, se c7ama comp2emento de # ao conjunto 0ormado por todos os e2ementos do uni.erso 6ue n/o pertencem ao conjunto #.
Notac/o9 #^ ou #C Sim5o2icamente9 E8emp2o9 U A :1> H> F> I> E> J> Q> K> P; e # A :1> F> E> Q> P;
" = {x/x # x

#^ A U 3 #

U H J 1 F E

# Q P I

K #^ A :H> I> J> K;

$RO$RIED#DES DO COM$"EMENTO 1. B#^C^ A # H. # U #^ A U F. # #^ A ] I. U^ A ] E. ]^ A U

GNDICE

$ROB"EM# 1 $ROB"EM# H $ROB"EM# F $ROB"EM# I $ROB"EM# E +IM

Dados os conjuntos9 # A : 1> I> Q> 1L> ... > FI; B A : H> I> J> ...> HJ; C A : F> Q> 11> 1E> ...> F1; aC E8pressar B e C por entendimento 5C Ca2cu2ar9 nBBC Y nB#C cC #c7ar9 # B , C #

SOLUO

$rimeiro ana2isemos cada conjunto Os e2ementos de # s/o9

1+ 3x0 1+ 3x1 1+ 3x2 1+ 3x3

tt1tt tt 10tt ... tt3 4tt tt4tt tt7tt

1+ 3x11

# A : 1YFn R nW R L n 11;

nB#C A 1H

Os e2ementos de B s/o9
2x1 2x2 2x3 2x 4

tt2tt tt4tt tt6tt tt8tt tt 26 tt ...

2x13

B A : Hn R nW R 1 n 1F;

nBBC A 1F

Os e2ementos de C s/o9
3 + 4x0 3 + 4x1 3 + 4x2 3 + 4x3

tt3tt 11tt tt 15tt ... tt 31tt tt7tt tt

3 + 4x7

C A : F Y In R nW R L n Q ; B A : Hn R nW R 1 n 1K; C A : FYIn R nW R L n Q ;

nBCC A K

aC E8pressar B e C por entendimento

5C Ca2cu2ar9 nBBC Y nB#C

nBBC Y nB#C A 1F Y1H A HE

cC #c7ar9 # B , C # # A :1>I>Q>1L>1F>1J>1P>HH>HE>HK>F1>FI; B A :H>I>J>K>1L>1H>1I>1J>1K>HL>HH>HI>HJ; C A :F>Q>11>1E>1P>HF>HQ>F1;

Sa5emos 6ue # B - 0ormado pe2os e2ementos comuns de # e B, ent/o9

# B A : I> 1L> 1J> HH ;

Sa5emos 6ue C 3 # - 0ormado pe2os e2ementos de C 6ue n/o pertencem a #, ent/o9

C # A : F> 11> 1E> HF> HQ ;

Se 9 ' A : 1> :F;> E> :Q>1L;> 11 ; Determinar se - .erdadeiro ou 0a2so9 aC ] ' 5C :F; ' cC ::Q;> 1L; ' dC ::F;> 1; ' eC :1> E> 11; '

SOLUO

O5ser.e 6ue os e2ementos de # s/o9 1 > :F; > E > :Q>1L; > 11 Ent/o9 aC ] ' .... - (ERD#DEIRO por6ue ] est inc2uso em todos os conjuntos 5C :F; ' ... - (ERD#DEIRO por6ue :F; - um e2emento de ' cC ::Q;> 1L; ' ... - +#"SO por6ue ::Q;>1L; n/o - e2emento de ' dC ::F;> 1; ' ... - +#"SO eC :1> E> 11; ' ... es (ERD#DERO

Dados os conjuntos9 $ A : 8W R H8H Y E8 F A L ; M A : 8RIN R 3I Z 8 Z H1 ; T A : 8R R B8H 3 PCB8 3 IC A L ; aC Ca2cu2ar9 M 3 B T $ C 5C Ca2cu2ar9 $otBM T C cC Ca2cu2ar9 BM U TC $

SOLUO

#na2isemos cada conjunto9 $ A : 8W R H8H Y E8 F A L ; H8H Y E8 F A L 1 H8 8 YF BH831CB8YFCAL

H8 3 1 A L 8 A 1RH 8 Y F A L 8 A 3F O5ser.e 6ue 8W , ent/o9 $ A : 3F ;

M A : 8RIN R 3I Z 8 Z H1 ; Como 8RI N ent/o os .a2ores de 8 s/o9 I> K> 1H> 1J> HL por-m os e2ementos de M se o5tMm di.idindo 8 entre I, portanto 9 M A :1> H> F> I> E ;

T A : 8R R B8H 3 PCB8 3 IC A L ; I4ua2amos cada 0ator a @ero e ca2cu2amos os .a2ores de 8 8IAL8AI 8H P A L 8H A P 8 A F ou 8 A 3F $ortanto9 T A : 3F> F> I ; aC Ca2cu2ar9 M 3 B T $ C T $ A : 3F> F> I ; 3 : 3F ; T $ A :F> I ; M 3 BT $CA :1> H >F >I >E ; 3 :F> I ; M 3 BT $CA :1> H> E ;

5C Ca2cu2ar9 $otB M T C M T A :1> H> F> I> E ; 3 : 3F> F> I ; M T A :1> H> E ; $otB M T C A : :1;> :H;> :1>H;>:1>E;>:H>E;> :1>H>E;> ] ; :E;> cC Ca2cu2ar9 BM U TC $ M U T A :1> H> F> I> E ; U : 3F> F> I ; M U T A : 3F> 1 > H > F> I> E ; BM U TC $ A : 3F> 1> H> F> I> E ; 3 : 3F ; BM U TC $ A :1> H> F> I> E ;

E8pressar a re4i/o som5reada em termos de opera1_es entre os conjuntos #, B e C. # B # C B C

SOLUO

B `B#BC Ca C B #

B C

C `BBCC #a

`B#CC Ba U U

B # C

O5ser.e como se o5t-m a re4i/o som5reada

Toda a @ona de amare2o #UB # @ona de .erde - #B Ent/o, restando se o5t-m a @ona 6ue se .M na 0i4ura9 B#UBC 3 B#BC +ina2mente, 27e a4re4amos C e se o5t-m9 ` B#UBC 3 B#BC a U C A B # B C U C

Se4undo as pre0erMncias de IHL pessoas 6ue assistem os canais #, B ou C se o5ser.a 6ue 1KL assistem o cana2 #, e HIL assistem o cana2 B e 1EL n/o assistem o cana2 C, os 6ue assistem pe2o menos H canais s/o HFL. Duantos assistem os trMs canais\

SOLUO

O uni.erso -9 IHL #ssistem #9 1KL N/o assistem C9 1EL #

a d e 8 c 0 5

#ssistem B9 HIL

Ent/o, se assistem o cana2 C9 IHL 1EL A HQL

B BIC

BIIC BIIIC

a Y e Y d Y 8 A 1KL 5 Y e Y 0 Y 8 A HIL d Y c Y 0 Y 8 A HQL

+ato9 #ssistem por 2o menos dos cana2es HFL, entonces9 BI(C d Y e Y 0 Y 8 A HFL

Sa5emos 6ue9 a Y 5 Y c Y d Y e Y 0 Y 8 A IHL

HFL

ent/o9 a Y 5 Y c A 1PL Somamos as e6ua1_es BIC, BIIC e BIIIC

BIC BIIC BIIIC a Y e Y d Y 8 A 1KL 5 Y e Y 0 Y 8 A HIL d Y c Y 0 Y 8 A HQL

a Y 5 Y c Y HBd Y e Y 0 Y 8C Y 8 A JPL

1PL

HFL

1PL Y EJL Y 8 AJPL 8 A IL

Isto si4ni0ica 6ue IL pessoas assistem os tres canais