TEORIA DOS CONJUNTOS

Definies: Um conjunto uma coleo no ordenada de objetos. Um conjunto uma coleo de zero ou mais objetos distintos chamados Elementos do conjunto os quais no esto associados a qualquer tipo de ordenao Definio de Conjuntos Denotao por Extenso ou enumerao: consiste na enumerao dos elementos do conjunto (os elementos so listados em qualquer ordem entre cha!es. conjuntos finitos "a e i o u# conjuntos infinitos "$ % &...# indicando um padro Denotao por Compreenso: consiste na definio do conjunto atra!s da propriedade comum a todos os elementos do conjunto 'eja ( um conjunto dos elementos com a propriedade ) 'e x tem a propriedade ) ento x um elemento do conjunto ( 'e x no tem a propriedade ) ento x no um elemento do conjunto ( *+emplo: ,mpares - " n . n /mpar # 0otao 1etras mai2sculas para o nome dos conjuntos 3 s/mbolo 4 para denotar que um elemento pertence ao conjunto. *+: a 4 C 3 s/mbolo 5 para denotar que um elemento no pertence ao conjunto. *+: b 5 C Usamos cha!es " # para indicar conjuntos: *+: C - "a z# Como um conjunto uma coleo no6ordenada e cada elemnto do conjunto listado apenas uma 2nica !ez: ( - "a b c# - "b a c# - "a a b c c c b# 78ualdade de Conjuntos Dois conjuntos so i8uais se e somente se cont9m os mesmos elementos ( - : si8nifica (;+<=(+ 4 ( > + 4 :< ? (+ 4 ( > + 4 :<@ Descrio de Conjuntos *numerao:

Definir um conjunto recursi!amente $4' 'e n 4 ' ento (nA$< 4 ' Descre!er com pala!ras a propriedade caracter/stica do conjunto ' "+ . + inteiro positi!o par# Conjuntos cujos elementos t9m a propriedade ) so definidos como "B . )(+<# ' - "B . )(+<# si8nifica que:

(;+<=+ 4 ' > )(+< ? )(+< > + 4 '@

(l8uns conjuntos padro so nomeados para facilitar seu uso e refer9ncia: 0 - conjunto de todos os inteiros no6ne8ati!os (C 4 0< D - conjunto de todos os inteiros E - conjunto de todos os n2meros racionais F - conjunto de todos os n2meros reais Conjunto Gazio ou Conjunto 0ulo Denotado por "# ou H *+. 'e ' - "+ . + 4 0 e + I C# ento ' - "# Felaes entre conjuntos 'ejam ( - "$ J K L$# e : - "$ J % K M L$#. Nodo elemento de ( tambm um elemento de :. Dizemos que ( subconjunto de :. 0otao: ( O : ( um subconjunto de : se (;+<(+ 4 ( > + 4 :< 'e ( O : mas ( P : ento dito que ( subconjunto prprio de : 0otao: ( Q : ( um subconjunto de : se: (;+<(+ 4 ( > + 4 :< ? (RS<(S 4 : ? S 5 (< Conjunto das Partes de um conjunto Dado um conjunto ' podemos criar um no!o conjunto cujos elementos sejam todos subconjuntos de '. *sse conjunto denominado conjunto das partes de ' )('< )('< conterT pelo menos H e o prUprio ' Cardinalidade Cardinalidade o n2mero de elementos de um conjunto

'e a cardinalidade do conjunto ' .'. - n (' tem n elementos< ento .)('<. - $ isto )('< tem $ elementos.
n

Conjunto Universo ou Universo do Discurso 3 Conjunto Uni!erso define o conte+to dos objetos em questo. 'e ' - D ento todos os seus subconjuntos contero apenas inteiros 3peraes em Conjuntos Dado um conjunto ' podemos definir al8umas operaes binTrias e unTrias no conjunto ' 3peraes binTrias Unio de conjuntos: 'ejam os conjuntos ( e : 4 )('<. ( Unio de ( e : denotada por ( V : definida pelo conjunto "+ . + 4 ( W + 4 :# 7nterseco de conjuntos: 'ejam os conjuntos ( e : 4 )('<. ( 7nterseo de ( e : denotada por ( X : definida pelo conjunto "+ . + 4 ( Y + 4 :#

Diferena de conjuntos: 'ejam os conjuntos ( e : 4 )('<. ( Diferena entre ( e : denotada por ( Z : definida pelo conjunto "+ . + 4 ( Y + 5 :# 3perao unTria Complemento de um conjunto 'eja o conjunto ( 4 )('<. 3 Complemento de ( denotado por

(' definido pelo conjunto "+ . + 4 ' Y + 4 (#

Conjuntos Disjuntos 'ejam os conjuntos ( e : 4 )('<. ( e : so disjuntos se ( X : - H. )or e+emplo os conjuntos ( Z : e : Z ( so disjuntos. 7dentidades de Conjuntos: 'o i8ualdades en!ol!endo operaes de Unio 7nterseo Diferena e Complemento que so !erdadeiras para todos os subconjuntos de um dado conjunto '. )ropriedades Comutati!as (V:-:V( (X:-:X( )ropriedades (ssociati!as (( V : < V C - ( V (: V C< (( X : < X C - ( X (: X C< )ropriedades Distributi!as ( V (: X C< - (( V :< X (( V C< ( X (: V C< - (( X :< V (( X C< )ropriedades de 7dentidade (VH-( (X'-( )ropriedades Complementati!as

( V (' - '

( X (' - H

)ro!ando 7dentidades de Conjuntos Uma !ez que 7dentidades de conjuntos e+pressam i8ualdade entre os conjuntos pro!ar identidade de conjuntos pro!ar que os conjuntos so i8uais. 3s Dia8ramas de Genn no so suficientes para essa demosntrao pois todos os casos de de disjuno de!eriam ser considerados in!iabilizando o dia8rama para o caso da identidade en!ol!er muitos conjuntos. Dois conjuntos ( e : so i8uais se ( subconjunto de : e : subconj. de (. [ormalmente ( O : Y : O ( > ( - : *+emplo: )ro!ar a primeira propriedade Distributi!a ( V (: X C< - (( V :< X (( V C< )ro!ar que ( V (: X C< O (( V :< X (( V C< 'eja + um elemento arbitrTrio de ( V (: X C< + 4 ( V (: X C< > = + 4 ( W + 4 (: X C< @ Def. V > = + 4 ( W (+ 4 : Y + 4 C< @ Def. X > = (+ 4 ( W + 4 :< Y (+ 4 ( W + 4 C< @ )rop. Distributi!a 1o8. > = (+ 4 ( V : < Y (+ 4 ( V C<@ Def. V > = + 4 (( V : < X (( V C<@ Def. X \ostramos que se um + arbitrTrio pertence ao conjunto ( V (: X C< tambm pertence ao conjunto (( V :< X (( V C<.

1o8o ( V (: X C< O (( V :< X (( V C< )ro!ar que (( V :< X (( V C< O ( V (: X C< 'eja + um elemento arbitrTrio de (( V :< X (( V C< + 4 (( V :< X (( V C< > = + 4 (( V :< Y + 4 (( V C< @ Def. X > = (+ 4 ( W + 4 :< Y (+ 4 ( W + 4 C< @ Def. V > = (+ 4 (< Y (+ 4 : W + 4 C< @ )rop. Distributi!a 1o8. > = + 4 ( Y (+ 4 : V C< @ Def. V > = + 4 (( X (:V C< @ \ostramos que se um + arbitrTrio 4 ao conjunto (( V :< X (( V C< tambm pertence ao conjunto ( V (: X C< 1o8o (( V :< X (( V C< O ( V (: X C< = (( V :< X (( V C< O ( V (: X C<@ Y =( V (: X C< O (( V :< X (( V C<@ 1o8o ( - :

)odemos pro!ar identidades entre conjuntos atra!s das 7dentidades :Tsicas

)ro!ar a identidade = ( V (: X C< @ X ( = (' V (: X C<@ X (: X C<' < - H - ( = ( V (: X C< @ X ( = (' V (: X C<@ < X (: X C<' - (: X C< V ( ( X ('< X (: X C<' - (: X C< V H X (: X C<' - (: X C< X (: X C<' - H )rop. (ssoc. )rop. Distrib. )rop. Compl. )rop. 7dent. )rop. Compl.

3 DU(1 de uma identidade de conjuntos obtido substituindo6se X por X e !ice6!ersa e trocando ' por H 'e demonstrarmos uma identidade de conjuntos usando as 7dentidades :Tsicas teremos demosntrado tambm o DU(1 dessa identidade.