3

Introduo

O trabalho que ora se apresenta, constitui uma pesquisa desenvolvida no mbito das actividades curriculares na cadeira de lgica, tendo como foco de abordagem a lgebra das conjuntos, sua definio, propriedades, axiomas. De forma objectiva, pretende-se que este trabalho possa incutir nos estudantes noes sobre conjuntos e suas operaes bsicas.

lgebra de conjuntos Em matemtica , lgebra de conjuntos chamado de operaes que podem ser realizadas com base conjuntos , como unio , interseco , etc. 1-Leis da lgebra de conjuntos. 1.1- Lei de idempotncia . a)AA=A 1.2-Leis associativas. a) (AB)C =A(BC ) b)AA=A

b)(AB)C =A(BC )

1.3-Leis distributivas. a)A(BC ) = (AB)(AC ) b)A(BC ) = (AB)(AC )

1.4-Leis comutativas. a)AB=BA)

b)AB=BA

1.5-Lei de identidade . a)A=A c)A= 1.6-Lei de complemento.

b)AU=U d)AU=A

a)ACA=U

b)ACA=

c)C(CA)=A 1.7- Leis de Morgan. a)C(AB)=CACB

d)CU=

C=U

b)C(AB)=CACB

A r e l a o A um subconjunto de B dene -se na lgebra de conjuntos por: AB signica AB=A.

2-Princpio de dualidade. Se intercalrmos por , assim como U por em qualquer raciocnio sobre conjuntos, o novo enunciado resultante chamado dual do primeiro. Exemplo O dual do conjunto (UB) (A) o conjunto (B) (AU) Observe que o dual de cada lei da lgebra de conjuntos, encontra -se na mesma lei; fato de muita importncia pela seguinte propriedade. 2.1-Propriedade Princpio de dualidade.Se alguns axiomas implicam seus prprios duais, ento o dual de qualquer teorema que seja conseqncia dos axiomas, tambm conseqncia dos axiomas. Isto signica que, dados qualquer teorema e sua demonstrao, o dual do teorema podemos demonstrar do mesmo modo aplicando o dual da cada passo da primeira demonstrao. Exemplo Mostre que (AB)(ACB) =A Demonstrao. Observe que o dual de (AB)(ACB) =A (AB)(ACB) =A mostrado que a igualdade verdadeira no Exemplo (3.32). Portanto a igualdade verdadeira pelo princpio de dualidade. 3-Famlia de conjuntos. Sejam os conjuntos A1 = {a, b}, A2 = {a , b , c }, A3 = {a , d , e , g }, A4={b , c , g , f }, A5={c , d , g , m , n } e o conjunto I ={1 , 2 , 3 , 4 , 5 }. Observe que, para cada elemento i I corresponde um conjunto Ai. Dizemos ento que I o conjunto de ndices, e que os conjuntos A1, A2, A3, A4, A5 esto induzidos. Uma famlia de conjuntos induzidos denotamos por F ={A} i I Em uma famlia induzida de conjuntos, podemos observar que a cada elemento I I , c o r responde um nico conjunto Ai, assim podemos estabelecer uma relao de I para{Ai} i I . O conjunto I tambm pode ser um conjunto no nito.

4-Axioma das unies. Se A1 e A2 so conjuntos, natural querer s vezes unir seus elementos dentro de um conjunto que os compreenda. Uma maneira de descrever tal conjunto compreensivo exigir que ele contenha todos os elementos que pertenam a pelo menos um dos membros do par {A1, A2}. A questo saber se a unio de uma famlia de conjuntos ou no um conjunto, esta formu -

lao sugere uma generalizao abrangente de si mesma; certamente uma construo semelhante poderia ter sido aplicada a colees arbitrarias de conjuntos e no s a pares de conjuntos. Oque se deseja, em outras pa lavras, um quinto axioma o das unies.

4.1-Axioma Das unies ( 5 o axioma de Zermelo). Para toda famlia de conjuntos existe um conjunto que co ntm todos os elementos que pertencem a pelo menos um dos conjuntos da dada famlia. Isto , suponha temos a famlia de conjuntos F = { Ai } i I , e denotamos i I Ai o conjunto que contm todos os elementos que pertencem a pelo menos um dos conjuntos da dada famlia.O axioma diz: i I Ai = { a Este conjunto / . a X para algum X F }

i I Ai chamado de unio da famlia F .

4.2-Propriedade Tem-se as seguintes propriedades para a unio: i) A1, Ai/. A1 Ai A1 i I A ii) i I = iii) iIA=A 4.3-Axioma A u n i o d e d o i s c o n j u n t o s t a m b m u m conjunto. Assim a classe unio de classes bem denida como mostra a seguinte propriedade. 4.4-Propriedade Para todo par de conjuntos A1, A2tem-se que o n d e I ={1,2} iI Ai = A1 A2,

5-Operaes generalizadas. A existncia da operao geral da interseo depende do fato q u e , p a r a t o d a f a m l i a n o vazia de conjuntos existe um conjunto que contm exatamente aqueles elementos que pertencem a cada um dos conjuntos da dada famlia.Isto , para toda coleo F , existe outra no vazia A tal que a A se e somente se a X para todo X F . Este conjunto A chamado interseo da famlia F. Ento, as operaes de unio e interseo, denidas para conjuntos podemos generalizar por induo a um nmero nito de conjuntos; assim dados os conjuntos A1, A2, A3, A4, A5,An, podemos escrever: =1Ai=A1A2A3A4A5 An podemos escrever: =1Ai=A1A2A3A4A5 Ann =1Ai=A1A2A3A4 An

Pela lei associativa, a interseo (unio) de uma famlia de conjuntos, podemos agrupar em qualquer modo; por exemplo, seja J I e a f a m l i a d e c o n j u n t o s {Ai} iI . A s s i m t e m - s e a s classes: A classe da unio generalizada: iJ Ai={x/.iJ xAi} A classe da interseo generalizada: iJ Ai={x/.iJ xAi} 5.1- Propriedade - Leis de Morgan. Dado um conjunto X , s e j a C ={Ai/. iI } uma famlia de sub conjuntos de X com conjunto de ndices I , ento: i) C( iJ Ai) = iJ C(Ai) ii)C( iJ Ai) = iJ C(Ai) 5.2-Propriedade Dada uma famlia induzida de conjuntos {Ai}iI , para qualquer conjuntoBtemos as seguintes igualdades: a)B( iNAi) = iN(BAi) b)B( iNAi) = iN(BAi) Dado um conjuntoT , dizemos queT funciona como um conjunto de ndices para a famlia F ={A} de conjuntos se para todo T existe um conjunto A na famlia F . O conjunto T pode ser nito ou innito. Freqentemente usamos o conjunto dos nmeros inteiros no negativos como conjunto de ndices, porm T pode ser qualquer conjunto no vazio.Sejam T e A, indicamos a reunio dos conjuntos A como T Ae denimos a reunio dos conjuntos A como o conjunto{x/.x A para pelo menos um T }; a interseo dos conjuntos A indicamos como T A e denimos como o conjunto {x / . x A para todo T } Dois conjuntos A e A so disjuntos, se para = temos que AA = o conjuntovazio. 6-Axioma do conjunto vazio. Suponha temos a famlia F ={Ai/. iN} onde os conjuntos Ai so todos o conjunto vazio. Para famlia de conjuntos, temos a seguinte propriedade: 6.1-Propriedade A interseo de uma famlia de conjuntos vazios a classe universal. 6.2-Demonstrao. Pela classe da interseo arbitrara sabe-se que iNAi={x/.iNxAi}.Para todox iNA i tem-se que xC(x) e, para todo iN tem-se que xAi onde AiF, assim somente acontece que xC(x). Logo iNAi={x / . x C(x)}={x / . x =x}=U. Portanto, iN=U. 6.3-Axioma Do conjunto vazio ( 10oaxioma de Neumann-Bernays-Gdel- Quine).Existe um conjunto sem elementos C(). Conseqncia deste axioma a seguinte propriedade: 6.4-Propriedade A interseo de uma famlia de conjuntos universais, o conjunto vazio.

Concluso

Aps a pesquisa bibliogrfica, podemos concluir com o presente trabalho que os conjuntos tem operaes similares s dos nmeros pelo que, pode se verificar as propriedades comumente usadas em operaes com nmeros.

Os conjuntos podem ser subdivididos em subconjuntos, os quais podem ser envolvidos em operaes de igual modo com os conjuntos principais. Podemos notar que pela definio da lgebra dos conjuntos esta pode ser aproximada as operaes com conjuntos.

Bibliografia

WIKILIVROS, livros abertos por um mundo aberto. (online) Disponivel na internet via http://es.wikipedia.org/wiki/%C3%81lgebra_de_conjuntos. Capturado no dia 10/05/2013

WIKIPDIA, a enciclopdia livre. (online) Disponivel na internet via http://pt.wikibooks.org/wiki/%C3%81lgebra_abstrata/Conjuntos. Capturado no dia 10/05/2013.