You are on page 1of 167

Conjuntos e Funes

Ivan Eugnio da Cunha


1 de Janeiro de 2011

Contedo Captulo I Conjuntos e Relaes ........................................................................ 5


1 Noes Elementares Sobre Conjuntos .............................................................. 5 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 1.9 1.10 1.11 Conjunto e elemento ......................................................................................... 5 Pertinncia ........................................................................................................... 5 Representao ..................................................................................................... 5 Conjunto unitrio e vazio ............................................................................... 6 Conjunto universo ............................................................................................. 7 Subconjuntos e igualdade entre conjuntos ............................................ 7 Unio e interseco ........................................................................................... 9 Diferena e complementar ........................................................................... 14 Conjunto das partes e partio de conjuntos ...................................... 18 Diferena simtrica..................................................................................... 20 Generalizaes .............................................................................................. 21

Exerccios I 1..................................................................................................................... 24 2 Pares Ordenados e Produto Cartesiano......................................................... 26 2.1 2.2 Par ordenado ..................................................................................................... 26 Produto cartesiano.......................................................................................... 27

Exerccios I 2..................................................................................................................... 29 3 Noo de Cardinalidade ........................................................................................ 30 3.1 3.2 Cardinalidade de alguns conjuntos finitos ........................................... 30 Alguns exemplos ............................................................................................... 31

Exerccios I 3..................................................................................................................... 34 4 Relaes ....................................................................................................................... 35 4.1 4.2 4.3 4.4 4.5 Plano cartesiano............................................................................................... 36 Relaes binrias ............................................................................................. 37 Funes ................................................................................................................ 40 Relaes de equivalncia.............................................................................. 42 Relaes de ordem total ................................................................................ 45

Exerccios I 4..................................................................................................................... 48

Captulo II Funes e Estruturas ................................................................... 51


1 Caractersticas Gerais ........................................................................................... 51 1.1 Definio de funo e notao ................................................................... 51

2 1.2 1.3 1.4 Igualdade entre funes................................................................................ 51 Unio de funes .............................................................................................. 53 Imagens e pr-imagens de funes ........................................................... 55

Exerccios II 1 ................................................................................................................... 60 2 Funes Injetoras, Sobrejetoras e Bijetoras ................................................ 62 2.1 Definies ............................................................................................................ 62

2.2 Imagens e pr-imagens de injees, sobrejees e bijees; funo inversa. ................................................................................................................. 64 Exerccios II 2 ................................................................................................................... 66 3 Conjuntos Indexados e Generalizaes .......................................................... 67 3.1 3.2 Conjuntos indexados ...................................................................................... 67 Generalizaes .................................................................................................. 69

Exerccios II 3 ................................................................................................................... 73 4 Produtos Cartesianos: Caso Geral .................................................................... 74 4.1 4.2 O Axioma da Escolha ...................................................................................... 74 Generalizao do produto cartesiano ..................................................... 75

Exerccios II 4 ................................................................................................................... 79 5 Operaes Unrias e Binrias; Estruturas Algbricas Bsicas ........... 80 5.1 5.2 5.3 5.4 5.5 Operaes e Relaes ..................................................................................... 80 Comutatividade, associatividade e distributividade........................ 80 Grupos .................................................................................................................. 82 Anis ...................................................................................................................... 86 Corpos ................................................................................................................... 86

Exerccios II 5 ................................................................................................................... 91 6 Composio de Funes; Mais Sobre Grupos .............................................. 92 6.1 6.2 6.3 6.4 Composio de funes ................................................................................. 92 Morfismos de grupos ...................................................................................... 97 Grupo de permutaes................................................................................... 99 Grupos diedrais .............................................................................................. 101

Exerccios II 6 ................................................................................................................. 106

Captulo III Conjuntos Numricos............................................................... 108


1 Conjunto dos Naturais ......................................................................................... 108 1.1 1.2 Axiomas de Peano .......................................................................................... 108 Soma e produto de nmeros naturais ................................................... 110

3 1.3 1.4 1.5 1.6 Relao de ordem em ............................................................................... 112

Potncia de nmeros naturais ................................................................. 116 Somatrio e produtrio ............................................................................... 117 Teorema Binomial de Newton .................................................................. 129

Exerccios III 1 ............................................................................................................... 133 2 Conjuntos Finitos e Infinitos; Aritmtica de Cardinais ........................ 136 2.1 2.2 2.3 2.4 2.5 2.6 2.7 2.8 Conjuntos finitos ............................................................................................ 136 Conjuntos infinitos........................................................................................ 140 Conjuntos enumerveis............................................................................... 142 Equipotncia de conjuntos ........................................................................ 144 Nmeros cardinais ........................................................................................ 145 Ordenao de nmeros cardinais ........................................................... 146 Cardinais finitos ............................................................................................. 151 Aritmtica de cardinais ............................................................................... 153

Captulo I Conjuntos e Relaes


A noo de conjunto uma das mais fundamentais da matemtica, pois (quase) toda a matemtica construda com base no conceito de conjunto e suas propriedades. Nessa parte do texto sero apresentados alguns rudimentos da Teoria Ingnua dos Conjuntos e o que se denominam relaes binrias, que desempenham papel significativo na matemtica (inclusive na construo de conjuntos).

1 Noes Elementares Sobre Conjuntos


1.1 Conjunto e elemento As noes de conjunto e elemento so primitivas, ou seja, no so definidas, mas temos uma noo intuitiva. Um conjunto, intuitivamente, um agrupamento de objetos (de qualquer natureza), esses chamados de elementos. Para a representao, se usa comumente letras maisculas para indicar conjuntos (por exemplo, conjunto ) e letras minsculas para indicar elementos (por exemplo, elemento ). 1.2 Pertinncia Outra noo primitiva a de pertinncia, que faz a relao entre elementos e conjuntos. Para indicar que um elemento pertence a um conjunto, se usa o smbolo . Por exemplo, dado um conjunto , para indicar que um elemento pertence a , se escreve . Tambm se pode indicar que um determinado elemento no pertence a um dado conjunto . Para isso, usa-se a indicao e, assim, se escreve para indicar que no pertence. interessante notar que, como um elemento de um conjunto pode ser qualquer objeto, pode-se ter que um conjunto pertena a outro. Ou seja, podemos ter conjuntos cujos elementos tambm so conjuntos. Normalmente esses conjuntos, quando explicitado que se trata de conjuntos formados de conjuntos, so chamados de famlias de conjuntos ou colees de conjuntos. 1.3 Representao A representao de um conjunto pode ser feita de diversas maneiras. Uma forma que, em vezes, conveniente consiste em simplesmente explicitar os elementos do conjunto. Ou seja, sendo um conjunto e , e seus elementos (por exemplo), escrever: = , ,

A utilizao de chaves ao incio e fim da listagem de elementos, alm da utilizao de vrgula para a separao desses, uma conveno e ser adotada nesse texto.

6 Quando o conjunto infinito, pode-se representar na forma de listagem, mas apresentando alguns elementos que tornem evidente qual conjunto se est tratando e acrescentando reticncias no final da listagem. Por exemplo, podemos escrever o conjunto dos naturais como sendo = 1,2,3,4, . Mas as reticncias tambm podem ser usadas em conjuntos finitos, bastando que, aps as reticncias, se indique o ltimo elemento. Por exemplo, o conjunto dos quinhentos primeiros nmeros naturais pode ser dado por = 1,2,3, ,500 .

Outra forma de representar um conjunto destacando alguma propriedade que caracterize esse. Ou seja, sendo um conjunto e uma propriedade exclusiva dos elementos desse conjunto, representar por: = |

L-se Conjunto dos elementos tal que possui a propriedade (a barra vertical, |, lida como tal que). interessante ressaltar que a propriedade pode, na verdade, ser uma combinao de propriedades. Por exemplo, podemos dizer que o conjunto formado pelos nmeros naturais pares menores que 100 ( = | < 100 ) Uma terceira forma de representar um conjunto atravs do diagrama de Euler-Venn. Essa representao consiste em representar o conjunto como sendo um crculo onde se coloca o elemento dentro do crculo para dizer que ele pertence ao conjunto ou fora, caso o elemento no pertena ao conjunto. No exemplo abaixo, os elementos e pertencem ao conjunto ( , ) enquanto o no pertence ( ):

Uma ltima observao a ser feita que a notao , 1.4 Conjunto unitrio e vazio

significa

Definio 1.4.1: Um conjunto dito unitrio se possui um nico elemento. Ou seja, se unitrio e , , ento = . unitrio. A saber, o conjunto soluo, , = .

Exemplo 1.4.1: O conjunto formado pelas solues da equao 2 + 3 = 0

Definio 1.4.2: O conjunto vazio aquele que no possui elementos.

7 Mais comumente, o conjunto definido acima representado pelo smbolo , mas tambm pode ser representado por . Esse conjunto pode aparecer quando a propriedade dada ao conjunto logicamente falsa. Por exemplo, o conjunto dos nmeros reais tais que ( = | ) o conjunto vazio, pois nenhum nmero real satisfaz essa condio. 1.5 Conjunto universo Em geral, no desenvolver de certos assuntos em matemtica, admite-se a existncia de um conjunto universo (genericamente representado por ). Tal o conjunto ao qual pertencem todos os elementos envolvidos no assunto. Por exemplo, se a soluo que se procura para um problema um nmero real, o conjunto universo adotado o dos nmeros reais (tal situao ser muito comum nesse texto). 1.6 Subconjuntos e igualdade entre conjuntos Definio 1.6.1: Um conjunto dito ser subconjunto de um conjunto se todos os elementos de forem tambm elementos de . Ou seja, para todo , (o smbolo se l implica). Com mesmo significado tambm se diz que est includo em ou que parte de . Representamos a implicao dada simplesmente escrevendo . Tambm comum a utilizao da notao , que ser esclarecida logo abaixo.

Uma forma equivalente de apresentar essa definio dizendo que uma incluso prpria quando, para todo , , mas existe algum tal que , onde o smbolo significa no implica. Ou seja, existe algum que pertence a , mas no a .

Definio 1.6.2: Se , mas existe algum tal que e , a incluso prpria (podemos reescrever isso como | , onde se l existe algum). Diz-se, ento, que um subconjunto prprio de (ou parte prpria de ).

Definio 1.6.3: O caso oposto, quando se tem e todos os elementos de pertencem a , ou seja, para todo , , o que define a igualdade entre dois conjuntos (o smbolo uma composio da implicao com a e pode ser lido como equivalente, se, e somente se, ou condio necessria e suficiente). Quando a condio , para todo , satisfeita, se escreve = .

Agora se pode entender as duas notaes usadas: em alguns textos, se usa a notao exclusivamente quando um subconjunto prprio de e quando se admite a possibilidade de = ( uma notao anloga ao de nos nmeros reais quando se quer dizer que menor ou igual a ). Mas aqui usaremos a notao mesmo que exista a possibilidade de = . Quando for subconjunto prprio de , exclusivamente, tal fato ser explicitado. Abaixo est a representao diagramtica do que foi discutido.

Observao: Na esquerda, est, na verdade, representada a incluso prpria e na direita a igualdade entre conjuntos. De forma geral, quando , pode ocorrer uma (e, claro, apenas uma) das duas situaes. Exemplo 1.6.1: Sendo o conjunto = , , , 1,2,3 e , pois cada elemento de tambm elemento de . = 1, , 3 , temos

Exerccio 1.6.1: Dado = , , e = , , , mostre que = . Veja que, de forma geral, a igualdade entre conjuntos no depende da ordem em que so listados os elementos. = Exerccio 1.6.2: Se um conjunto dado por = , , e dado por , , , , , , , podemos dizer que = ? SUGESTO: Use a Definio 1.6.3.

Existem tambm as relaes de negao referentes s definies apresentadas. Dizemos que um conjunto no subconjunto do conjunto , e denotamos isso por , quando existe algum tal que . Perceba que isso a negao da afirmao para todo . No estamos dizendo que nenhum elemento de pertena a , mas sim que, para algum , . Ou seja, deve existir algum elemento de que no pertence a . Uma observao geral que, muito comumente, se se tem um smbolo para representar uma afirmao (como o para indicar implicao), a negao dada pelo mesmo smbolo acrescentando um corte (como j ocorreu vrias vezes nesse texto e, para completar o exemplo, representamos no implica por ).

Para a igualdade, dizer que um conjunto diferente de um conjunto (denotamos ) equivalente a dizer que existe algum elemento de que no pertence a ou que existe algum elemento de que no pertence a . Aqui temos a situao onde h um ou inclusivo. Isso quer dizer que no necessariamente uma ou

9 (exclusivo) outra afirmao deva ser verdadeira. Se ambas as afirmaes forem verdadeiras tambm se diz que diferente de (como intuitivo). Tambm possvel ver que isso a negao da definio de igualdade apresentada. o mesmo que dizer que, para algum , . Perceba que a dupla implicao a composio de duas implicaes ( e ) e, dessa forma, basta que uma das implicaes seja falsa para a dupla implicao ser falsa. Assim, se , uma das seguintes situaes acontece: 1) Para algum , e, para todo , 1.6.2, essa seria uma incluso prpria de em ) 2) Para algum , e, para todo , 1.6.2, essa seria uma incluso prpria de em ) 3) Para algum , e, para algum , so subconjuntos um do outro). = (pela definio (pela definio (nem nem

Exemplo 1.6.2: Sendo = , , , 1 e 1 . Tambm se tem que 2 , mas 2 . Teorema 1.6.1:

, , ,2 ,

, pois 1 , mas

Listemos algumas propriedades da incluso em forma de teoremas. Usaremos conjuntos arbitrrios , e .

Demonstrao: A demonstrao anti-intuitiva, pois parte de uma propriedade lgica no muito comum. Pela definio, equivalente a para todo . Assim, devemos mostrar que essa implicao verdadeira quando = . Ou seja, mostrar que, para todo , . De fato a implicao verdadeira, pois falso para todo (afinal, o conjunto vazio no possui elementos), mas pode ser verdadeiro ou falso. Isso fica mais claro quando escrevemos, de forma equivalente, que, para todo , (tal implicao, de forma geral, intuitiva, pois, se , um elemento que no pertena a no pode pertencer a ). Como se pode ver, a implicao verdadeira. Isso mostra que qualquer conjunto possui como subconjunto o conjunto vazio. QED (propriedade reflexiva) e e ) ) A=B (anti-simetria)

Teorema 1.6.4: (

Teorema 1.6.3: (

Teorema 1.6.2:

(transitividade)

Exerccio 1.6.3: Demonstre esses ltimos trs teoremas.

1.7 Unio e interseco Para os conjuntos, so, inicialmente, definidas duas operaes: unio e interseco.

10 Definio 1.7.1: Dado um conjunto universo notao indica que e ), a unio entre e definida por: = | e sendo , , denotada por (essa ,

Uma observao que deve ser feita que o ou dessa definio inclusivo. Isso quer dizer que, se pertence a e simultaneamente, ele ainda pertence unio. Ou seja, no se exclui os casos em que ambas as afirmaes so verdadeiras (a de que e a de que ).

Definio 1.7.2: Dado um conjunto universo interseco entre e , denotada por , definida por: = |

e sendo

, a

Deve-se perceber que, nesse caso, o elemento deve, para ser um elemento da interseco, pertencer simultaneamente a ambos os conjuntos.

Abaixo so apresentadas as principais propriedades dessas operaes. Tambm so apresentadas algumas representaes na forma de diagramas de Euler-Venn, para tornar algumas propriedades mais claras. Teorema 1.7.1: A unio e interseco so comutativas. Ou seja, = Demonstrao: Tomando a definio: = | = | = =

QED

Teorema 1.7.2: A unio e a interseco possuem propriedade associativa. Ou seja, ) = )e ) = ) quaisquer que sejam , , .

11 Demonstrao: Pela definio: ) = = = =

| | |

QED

Teorema 1.7.3: A unio e a interseco so operaes fechadas. Ou seja, o conjunto resultante ainda um subconjunto do conjunto universo. De forma equivalente, , ).

Demonstrao: O resultado imediato, pois todos os elementos dos conjuntos usados pertencem ao conjunto universo. Dessa forma, os elementos do conjunto dado pela unio ou interseco de subconjuntos de ainda sero elementos de . QED Teorema 1.7.4: A unio e interseco so operaes idempotentes. Ou seja, = e = . Demonstrao: Pela definio: = | = | =

QED

Teorema 1.7.5: As seguintes equivalncias so verdadeiras: Demonstrao: Pela definio de incluso, para todo , . Dessa forma = | = | = . Reciprocamente, se = , suponhamos por absurdo que no seja subconjunto de . Assim, existe pertencente a tal que no pertence a , mas isso leva a um absurdo, pois = | = | . Ou seja, o mencionado tem que pertencer a . QED = =

Teorema 1.7.6: Dados verdadeiras:

quaisquer, as seguintes afirmaes so

12 , ,

Demonstrao: Basta mostrar que , pois os conjuntos so arbitrrios. Pela definio, = | . Dessa forma, para todo , , que, pela definio de subconjunto, o mesmo que dizer que . QED Teorema 1.7.7: O conjunto vazio o elemento neutro da unio e o elemento nulo da interseco. Ou seja, = e = . Tambm se tem que o conjunto universo o elemento neutro da interseco, ou, de forma equivalente, = .

Demonstrao: Usemos alguns resultados j demonstrados. Qualquer que seja , (Teorema 1.6.1) e, pelo Teorema 1.7.5, = , demonstrando o resultado. QED

Teorema 1.7.8: A unio distributiva em relao interseco e a interseco distributiva em relao unio. Isso quer dizer que, quaisquer que sejam , , , )= ) )e )= ) ). Demonstrao: Pela definio: )= = = = = | | | ) | ) ) | | ) )

QED

13

Por fim, listemos as propriedades apresentadas: 1) 2) 3) 4) 5) 6) 7) 8)

= e = (comutativa) ) = )e ) = ) (associativa) , ) (fecho) = e = (idempotncia) = = , e , = , = e = (elementos neutros e nulos). )= ) )e )= ) ) (distributiva)

Essas propriedades so bsicas e importante que se tenha familiaridade com elas. Exerccio 1.7.1: Os teoremas acima foram demonstrados apenas para a unio. Faa as demonstraes que faltam (referentes interseco). Faa tambm a representao dessas propriedades na forma de diagramas de Euler-Venn quando no for uma propriedade imediata. Exerccio 1.7.2: Demonstre os seguintes apresentados acima: ) = e ) = . corolrios dos teoremas

Definio 1.7.3: Se e so conjuntos quaisquer e = , e so ditos conjuntos disjuntos. Quando isso ocorre, a unio chamada de unio disjunta. No decorrer do texto ser dito algumas vezes que certas unies so disjuntas, mas no se estar, em geral, acrescentando uma propriedade unio e sim ressaltando a propriedade referida acima.

14 Exerccio 1.7.3: Mostre que a definio acima para conjuntos disjuntos equivalente a e so disjuntos se, e somente se, para todo , . Justifique porque no necessrio impor que, para todo , . Definio 1.8.1: Dados , ( o conjunto universo), a diferena entre e , denotada por (l-se menos ) ou \ , o conjunto dado por: = | 1.8 Diferena e complementar

Essa definio concorda com a noo intuitiva de diferena, pois se est subtraindo de os elementos que pertencem a . Mas se deve perceber que os elementos de que no pertencem a no interferem na diferena. Por exemplo, se = 1,2,3,4 e = 3,4,5,6,7,8 , = 1,2 . Teorema 1.8.1: Dado um conjunto universo e , , )= ) | ) , tem-se que:

Demonstrao: = = = =

| | | ) )

)=

QED

15 Corolrio: )=

Teorema 1.8.2: Dado

um conjunto universo e , , )= ) | )

, tem-se que:

Demonstrao: = = = =

| | | ) )

)=

) |

QED

A parte que pode ser confusa na demonstrao a passagem da segunda para a terceira linha. Perceba que no pertencer interseco significa que ele no pertence a e simultaneamente. A condio nos diz que, lembrando que se trata de um ou inclusivo, ou pertence a , mas no a , ou pertence a , mas no a , ou no pertence nem a nem a . De forma mais sucinta, dado um , existem as trs possibilidades seguintes: , ou . Isso o mesmo que dizer que o elemento no pertence interseco (que a nica possibilidade que no pode acontecer, a saber, ). Corolrio: Teorema 1.8.3: conjunto universo. Teorema 1.8.4: conjunto universo. )= ) = ) ), com , , e sendo o

), com , ,

sendo o

Exerccio 1.8.1: Demonstre esses dois ltimos teoremas. Faa tambm as representaes diagramticas.

16 Exerccio 1.8.2: Mostre que )= .

Definio 1.8.2: Se , o conjunto em relao a . Tal conjunto denotado por: =

chamado de complemento de

A noo de complemento s faz sentido se um conjunto for parte de outro, como se pode ver na condio de que . Vemos que o complemento o conjunto de todos os elementos de que no pertencem a (diagrama abaixo).

Quando se tem um conjunto universo e se quer o complementar de um conjunto em relao a , a notao usada : Algumas propriedades elementares da complementao so apresentadas abaixo tomando , . Existem as propriedades que podem ser generalizadas e isso ser feito mais adiante. Demonstrao: = Teorema 1.8.5: ) ) =e = | ) = | que = =

Perceba que a concluso foi devida ao fato de no poder existir pertena a e, ao mesmo tempo, no pertena a . Exerccio 1.8.3: Demonstre que =e = = | ) = . =

QED

Demonstrao:

Teorema 1.8.6:

Demonstrao: = =

Teorema 1.8.7:

Exerccio 1.8.4: Demonstre que = . )= )= |

QED

| |

17 QED

O resultado intuitivo, pois o complemento de em relao a ) so todos os elementos de que no pertencem a e o complemento do complemento de em relao a ( )) so todos os elementos de que no pertencem ao complemento de . Isto , o prprio . Demonstrao: Por definio, )= )= Teorema 1.8.8: )= )
. .

1.8.2:

)=

). Usando o Teorema ) )

)=

QED

Exerccio 1.8.5: Demonstre esse teorema e represente em forma de diagrama. SUGESTO: Use o Teorema 1.8.1. Teorema 1.8.10: Sendo , , = =

Teorema 1.8.9:

)=

Demonstrao: Usando o Exerccio 1.8.2, temos que )= = = . Exerccio 1.8.6: Mostre que, se e somente se, .

, ento essa uma incluso prpria se,

QED

18 Pode-se tambm apresentar as mesmas propriedades quando o complemento em relao a um conjunto universo. Como j dito, nesse caso, a notao usada = = , com . Assim, as propriedades tomam a forma: 1) 2) 3) 4) 5) =e =e = ) = ) = ) = =

As demonstraes j foram realizadas, pois um caso particular do que j foi tratado (apenas usando o prprio como subconjunto de ). As propriedades 4 e 5 listadas so chamadas de regras de De Morgan (Augustus De Morgan) e uma generalizao delas ser feita mais adiante. 1.9 Conjunto das partes e partio de conjuntos Definio 1.9.1: Dado um conjunto , chamamos de conjunto das partes de , denotado por ), o conjunto formado por todos os subconjuntos de . Ou seja: )= Exemplo 1.9.1: Dado = , , ento , , , , , pois esses ) so todos os subconjuntos que podem ser extrados de . Tambm se diz que a coleo de todos os subconjuntos de . Antes de passar a definio de partio, interessante que sejam definidos os operadores grandes de unio e interseco. Definio 1.9.2: = = )= |

s est bem definido se Essa definio uma recorrncia. Mas est bem definido. Ou seja, para se usar = , deve-se saber o que . No final das contas, essa definio nos permite escrever a unio de conjuntos de forma mais compacta. Se continuarmos a recorrncia at 1) = 1, obteremos o seguinte resultado: =

19 Uma observao a ser feita que os conjuntos , ,, no so necessariamente iguais. No se usou diferentes letras para distingui-los, mas a distino foi dada pelos ndices 1,2, . . . , . Exemplo 1.9.2: Seja desses conjuntos : = , , , = , 1,2 e = , , , , . A unio

= Definio 1.9.3:

, , , 1,2, , ,

= =

A discusso desse operador inteiramente anloga a do anterior. Apenas repitamos a seguinte observao: =

Exemplo 1.9.3: Usando os mesmos conjuntos = =

do Exemplo 1.9.2:

qualquer nmero natural de 1 at (sendo o nmero de elementos de forma, ndices diferentes indicam elementos distintos de .

Antes da definio, convencionemos que os elementos do conjunto , que vamos definir, so chamados de (eventualmente ) com (ou ) podendo ser ). Dessa

Observao importante: Ser visto no captulo seguinte que existe a possibilidade de ndices distintos corresponderem a um mesmo elemento do conjunto. Ento convencionaremos que ser admitida a possibilidade de ndices distintos referirem a elementos iguais somente quando chamarmos o conjunto de famlia (famlia de elementos ou famlia de conjuntos). Definio 1.9.4: Uma partio de um conjunto formado de subconjuntos no vazios de tal que as seguintes propriedades sejam satisfeitas: a) Se , e , ento = . =

b) Sendo .

o nmero de subconjuntos de

que existem na partio

20 Alguns comentrios podem tornar a definio mais clara. A primeira condio diz que, dados dois elementos (subconjuntos de ) quaisquer que pertenam partio , se no se trata do mesmo elemento (que o significado de ), ento esses elementos so disjuntos. Ou seja, um elemento de disjunto de todos os outros elementos de (diz-se que os elementos so disjuntos aos pares). A segunda condio simplesmente afirma que a unio (disjunta) de todos os elementos de resulta no prprio . Perceba que uma partio de divide (particiona) em uma coleo de ) e que subconjuntos disjuntos uns dos outros. Observemos tambm que essa incluso prpria. Abaixo est apresentado o diagrama de uma possvel partio de .

Exemplo 1.9.4: Dado Mas tambm poderia ser = , , ,

so parties de .

, , ,

, uma partio possvel . No entanto nem

. nem

Exerccio 1.9.1 (importante): Se uma coleo de subconjuntos de , , possui a propriedade: para cada , pertence a um, e somente um, , mostre que uma partio de . Mostre tambm que h recproca. Ou seja, que, se uma partio de (pela definio 1.9.4), possui a propriedade apresentada na primeira parte desse exerccio. Observao: Cada elemento de notado por , com as mesmas convenes prvias adotadas para . Definio 1.10.1: Dados , , a diferena simtrica entre simbolizada por , o conjunto dado por: De forma equivalente: = = | . 1.10 Diferena simtrica

Isto , a unio dos conjuntos, mas tirando os elementos da interseco.

21 Exerccio 1.10.1: Mostre que equivalente para a diferena simtrica. = ) ) uma definio

Abaixo esto listadas as principais propriedades da diferena simtrica tomando como conjunto universo e , e conjuntos arbitrrios. As demonstraes delas so deixadas como exerccio. Teorema 1.10.1: = (comutatividade) Teorema 1.10.3: = Teorema 1.10.2: ) = (elemento neutro) ) (associatividade)

Teorema 1.10.5: ) = ) interseco em relao diferena simtrica) Teorema 1.10.6: )

Teorema 1.10.4: =

Exerccio 1.10.2: Demonstre os teoremas acima. Represente os diagramas correspondentes. SUGESTO: Leia a estratgia apresentada na subseco seguinte para demonstrar igualdades entre conjuntos. 1.11 Generalizaes

) (distributividade da

Teorema 1.11.1 (1.8.1): Seja um conjunto e uma famlia arbitrria (qualquer) de conjuntos , com podendo tomar valores naturais de 1 at , ou seja, existem conjuntos na famlia (o ndice faz a distino entre os conjuntos). Ento: = )

Agora generalizaremos alguns teoremas apresentados durante essa seco. A indicao entre parnteses no incio de cada teorema ser referente ao teorema que se est generalizando.

), ento Demonstrao: Se , afinal, pertence a tirando os elementos de todos os . Assim, tambm se conclui que para todo de 1 at (se no pertence unio dos conjuntos, no pertence a nenhum conjunto da unio). Mas pertence a e, assim, sempre temos que ) para qualquer de 1 at . Se isso acontece, pertence interseco de todos os conjuntos ), pois pertence a cada um desses conjuntos. Conclumos, ento, ), ento que )). Ou seja, se )). Mas isso no prova a igualdade, o que acabamos de mostrar que ), como se pode ver pela definio de subconjunto.

Mostremos agora a recproca. Se )), ento no pertence a nenhum conjunto , pois, se pertencesse existiria tal que e, ento, no

22 pertenceria a para esse em particular, o que levaria a concluir que no pertence a interseco dada. Dessa forma, com no pertencendo a nenhum , ). Isso no pertence unio deles, ou seja, . Assim, ). Pela definio de mostra que )) implica subconjunto, acabamos de mostrar, nessa parte da demonstrao, que ). Ora, mostramos logo acima que ) ) e, ento, juntando as duas informaes e tendo o Teorema 1.6.3, conclumos que: = ) QED At agora demonstramos igualdades entre conjuntos de forma direta. Simplesmente partamos do conjunto inicial e seguamos por igualdades at o conjunto que se queria demonstrar a igualdade. Essa forma torna a recproca imediata, pois basta seguir as igualdades no caminho inverso. Mas, de forma geral, provar diretamente igualdades entre conjuntos pode ser muito complicado e a estratgia acima, de provar primeiro que um conjunto subconjunto do outro e, depois, a recproca, pode tornar o trabalho mais simples. Fica como sugesto que, ao tentar demonstrar a igualdade entre conjuntos, se use a estratgia apresentada acima. Corolrio (1.8.9): Sendo um conjunto qualquer e uma famlia de subconjuntos de (com podendo tomar valores naturais de 1 at ), tem-se que: = )

Teorema 1.11.2 (1.8.2): Seja um conjunto e uma famlia arbitrria (qualquer) de conjuntos , com i podendo tomar valores naturais de 1 at . Ento: = )

), ento Demonstrao: Se . Assim, para ao menos um , , pois se pertencesse a todos os , pertenceria interseco . Dessa forma se pode concluir que pertence a ) para algum . Ento ) implica ). Logo, ). Como antes, isso ainda no conclui a demonstrao, pois o que mostramos, na verdade, que ) ). A recproca um caminho de retorno pelo raciocnio feito acima. Se ), pertence a ) para algum , pois, se no pertencesse a nenhum ), no pertenceria unio desses conjuntos. Dessa forma, para algum

23 . Podemos concluir, ento, que , pois existe ao qual no pertence. ). Ou seja, Assim, sabendo que pertence a , ) ). Logo, ). Chagamos finalmente, implica ) tendo demonstrado essa incluso e a anterior, que: = ) QED

Corolrio (1.8.8): Sendo um conjunto qualquer e uma famlia de subconjuntos de (com podendo tomar valores naturais de 1 at ), tem-se que: = )

Exerccio 1.11.1: Demonstre os corolrios apresentados. SUGESTO: use os teoremas 1.11.1 e 1.11.2. Quando o conjunto universo, usando a notao j apresentada para a complementao em relao ao conjunto universo, os corolrios apresentados tomam a forma: = e = ) )

Teorema 1.11.3 (1.8.3): Seja um conjunto e uma famlia arbitrria de conjuntos , com podendo tomar valores naturais de 1 at . Ento: = )

Teorema 1.11.4 (1.8.4): Sendo um conjunto e uma famlia arbitrria de conjuntos , com podendo tomar valores naturais de 1 at , tem-se que: = )

Teorema 1.11.4 (1.7.8): Dado o conjunto e uma famlia arbitrria de conjuntos , com podendo tomar valores naturais de 1 at , tem-se que:

24 1.7.8. Exerccio 1.11.2: Demonstre esses ltimos trs teoremas. As generalizaes apresentadas aqui ainda no so as mais gerais possveis. As demonstraes dos casos mais gerais so quase idnticas s feitas para esses casos menos gerais, mas no faremos tais generalizaes aqui, pois falta a apresentao de conceitos que permitem entend-las. = ) = )

Esse ltimo teorema a generalizao das leis distributivas do Teorema

Exerccios I 1
1 Represente os seguintes conjuntos listando seus elementos. a) Conjunto dos cinco primeiro nmeros primos. b) Conjunto dos nmeros naturais pares. c) Conjunto das letras da palavra matemtica. 2 Indique quais dos conjuntos abaixo so vazios. a) b) c) d) = = = = |1 >0 | 0=1 | 1>0 | >3 >4 =

3 Dados conjuntos abaixos. a) b) c) d) e) f) ) ) )

, , 3,4,5 ,

, 4,6,7,8, ,

, 3,4, ,

, d os

4 Seja = 1,2,3,4,5,6 , = 2,3,4 , = 3,4,5,6 e = 3,4 . Represente os seguintes conjuntos por uma lista de elementos e por diagramas de Euler-Venn. a) b) c) d) e) f) g)

) ) ) ) )

) )

25 5 Sendo = 1,2,3,4,5,6 , represente os seguintes conjuntos: a) b) c) d) = 4,5,6,7,8,9 , = 4,9,10 e = 1,4,10 ,

6 Dado o conjunto = , , , represente o conjunto ). partes de ) e d dois exemplos de parties de 7 Dados os conjuntos = 6,8,10 , encontre: a) b) ) ) ) ) ) ) = 1,2,3,4,5,6 ,

) ) (conjunto das = 4,6,8,10 e

= 2,4,6,8 ,

SUGESTO: Use os teoremas 1.11.1 e 1.11.2. 8 A Teoria Ingnua dos Conjuntos permite que se defina o seguinte conjunto: = |

Mas surge um problema ao se definir esse conjunto, chamado de Paradoxo de Russell. Esse paradoxo mostrou que a formulao original da teoria dos conjuntos, a ingnua, (de Cantor e Frege), levava a contradies. No entanto esse problema evitado na teoria de conjuntos moderna, a Teoria Axiomtica dos Conjuntos. Voc consegue identificar o paradoxo? 9 Encontre o conjunto 1,3,4,5 e 2.3.4 = 3 .

tal que

10 Sejam e conjuntos disjuntos e = , , . Sabe-se que = , , , e = , , . Encontre os conjuntos e . 11 Demonstre os seguintes teoremas:

1,2,3,4

= 1,2,3,4,5 ,

3,4

12 Seja uma famlia arbitrria de conjuntos com podendo tomar valores naturais de 1 at . Sendo um conjunto arbitrrio, mostre que:

a) = se, e somente se, = . b) Se , ento e qualquer que seja . c) Se e , ento . SUGESTO: Perceba que, usando o resultado do exerccio anterior, que se pode fazer . ) ) com )= ) se, e somente se, d) Se , ento = . SUGESTO: O resultado imediato para = , ento mostre, supondo que ) ) uma incluso prpria. a incluso seja prpria, que

26

= =

) =
)

SUGESTO: Use os teoremas 1.11.1 e 1.11.2 e, quando for conveniente, chame


))

. Tome

)=

com podendo tomar 13 Sendo uma famlia arbitrria de conjuntos valores naturais de 1 at e outra famlia arbitrria de conjuntos com podendo tomar valores naturais de 1 at e ) = = ) ) = , mostre que: = )

Eliminando os colchetes, podemos escrever o teorema como sendo: e = = = =

SUGESTO: Use o Teorema 1.11.4 diversas vezes.

2 Pares Ordenados e Produto Cartesiano


Um par ordenado uma lista de dois elementos, e , denotado por , ) com , ( um conjunto genrico), onde existe distino entre ser o primeiro elemento (no caso: ) ou o segundo (no caso: ). Ou seja, , ) no o mesmo que , ). Em outras palavras, , ) = , ) se, e somente se, = e = . comum que se chame o primeiro elemento do par de primeira coordenada e o segundo de segunda coordenada. 2.1 Par ordenado

27 Essa apresentao de par ordenado intuitiva, mas no formal. No entanto vamos tom-la, sem necessidade de uma apresentao formal do conceito de par ordenado, durante o texto. 2.2 Produto cartesiano

Definio 2.2.1: Dados dois conjuntos, e , chamamos de produto cartesiano de por , denotado por , o conjunto de todos os pares ordenados , ) tal que e . De forma mais sucinta: Uma observao que podemos fazer que, em geral, . Isso porque, como visto logo acima, em geral, , ) no o mesmo que , ), pois a ordem dos elementos diferente. Dessa forma, em geral, o conjunto formado por todos os pares , ), com e , no o mesmo que o formado por todos os pares , ), com e . Outra observao que o produto cartesiano faz sentido quaisquer que sejam os conjuntos e (podendo esses at serem produtos cartesianos entre outros conjuntos). Quando se tem o produto cartesiano entre conjuntos iguais, usa-se mais comumente a seguinte notao: Se, no produto cartesiano , ou forem vazios, o produto cartesiano por definido como sendo o conjunto vazio. Ou seja: = , = = = = , )|

de

Exemplo 2.2.1: Para fixar a idia de conjunto de pares ordenados, peguemos dois conjuntos, e , finitos definidos como = , e = 1,2 . O produto cartesiano dado pelo conjunto: Exerccio 2.2.1: Faa o conjunto exemplo acima. = , 1), , 2), , 1), tomando , 2) e definidos como no

Exemplo 2.2.2: O produto cartesiano = (produto cartesiano entre o conjunto dos reais e ele prprio) o conjunto de todos os pares ordenados , ) onde o primeiro elemento um nmero real ( ) e o segundo tambm ( ). Uma forma de representao desse conjunto o plano cartesiano, onde os pares ordenados so pares de coordenadas que indicam a posio de um ponto no plano. Percebemos que ainda vlido, de forma geral, que um par , ) no o mesmo que , ), como pode-se ver na representao abaixo.

28

Tendo ,

conjuntos arbitrrios, seguem os teoremas abaixo.

Teorema 2.2.1: O produto cartesiano distributivo esquerda em relao unio e interseco. Ou seja, )= ) ) e )= ) ). Demonstrao: Pela definio: )= = = = = , , , , )| )| )| ) )| ) ) ) , )|

QED

Teorema 2.2.2: O produto cartesiano distributivo direita em relao unio e interseco. Ou seja, ) = ) ) e ) = ) ). Demonstrao: Pela definio: ) = = = = = , )| , )| ) , )| ) )| , ) ) , )|

QED

Exerccio 2.2.2: Demonstre a parte referente interseco nos dois teoremas acima. Teorema 2.2.3: O produto cartesiano distributivo esquerda em relao diferena. Ou seja, dados , e quaisquer, )= . Demonstrao: Pela definio:

29 )= = = = = , , , , )| )| )| )| ) , )|

QED

A passagem da terceira para a quarta linha se deu pelo fato de pertencer a , mas no pertencer a implica que o par , ) que pertence a ) no pertence a . Exerccio 2.2.3: Demonstre que h tambm distributividade pela direita. Existe a necessidade de se demonstrar a distributividade pela esquerda e pela direita (separadamente) devido ao fato do produto cartesiano no ser comutativo. Mas, mais rigorosamente, devemos ver que chamar essas propriedades de distributividade foi um abuso de linguagem, pois as operaes unio, interseco e diferena no tem como resultado conjuntos de pares ordenados entre os conjuntos considerados ao passo que o produto cartesiano tem. Vemos que, no caso dos nmeros reais, onde se tem a distributividade da multiplicao em relao soma, tanto a multiplicao quanto a adio possuem como resultados nmeros reais. Teorema 2.2.4: Sendo ) ). , , e conjuntos, temos ) )

Demonstrao: Mostremos que ) ). , ) se, e somente se, e . Mas qualquer que seja e para qualquer . Ou seja, para todo e , e . Dessa forma, , ) ) ) pela definio de produto cartesiano. Segue, ento, que ) ). De forma inteiramente anloga, se conclui que ) ) e, sabendo que a operao de unio fechada, ) ) ) ) (tome ) ) como conjunto universo e consulte o Teorema 1.7.3). QED

Exerccios I 2
1 Seja conjuntos: a) b) c) d) e) =

) )

, 2,

= 1, ,

, , 3 , represente os seguintes

30 2 Mostre que ) )= Parta da definio de produto cartesiano. ) )= . SUGESTO: )= ) .

3 Mostre que ) = e conclua que SUGESTO: Use o resultado do exerccio anterior. 4 Sendo anterior para obter = 1,2,3,4,5 e ) ).

6 Mostre que, sendo , , e conjuntos, ) )= ) ) (veja que o resultado do exerccio 3 um corolrio desse caso mais geral).

5 Demonstre que, se

, ento, para qualquer ,

= 4,5,6,7,9 , use o resultado do exerccio .

3 Noo de Cardinalidade
3.1 Cardinalidade de alguns conjuntos finitos

Inicialmente vamos nos ater a uma noo intuitiva de cardinalidade, pois, para uma definio mais formal e geral, necessria a introduo do conceito de funo e os nmeros naturais, que no foram apresentados. Tendo um conjunto finito, natural que se queira saber quantos elementos ele possui. Ou seja, contar o nmero de elementos. Quando contamos (nmero de fotos de um lbum, por exemplo), associamos nmeros naturais sucessivos a cada elemento contado. Ou seja, chamamos o primeiro contado de 1 e prosseguimos na seqncia 2,3, . . . , at chegar no ltimo elemento. O nmero natural associado ao ltimo objeto contado nos d o nmero de elementos do conjunto que se estava contando e chamamos esse nmero de cardinalidade do conjunto ou nmero cardinal do conjunto.

Se um conjunto finito, denotamos por | | a cardinalidade de . Essa o nmero natural (| | = ) que indica a quantidade de elementos do conjunto . Teorema 3.1.1: Se e so conjuntos finitos e | | = | | se, e somente se, = . , ento | | | | com

Esse resultado intuitivo, pois todos os elementos de pertencem a assim, o nmero de elementos de no pode ultrapassar o de . Teorema 3.1.2: Se | | = | |+| || | e so conjuntos finitos, ento:

e,

Em particular, se = , ento | | = | | + | | || = | | + | |, pois a cardinalidade do conjunto vazio 0 (e o nico conjunto com cardinalidade 0). Tal resultado intuitivo, pois, se no h elementos compartilhados entre os conjuntos,

31 a unio deles ter um nmero de elementos igual soma do nmero de elementos de cada conjunto.

Teorema 3.1.3: Se um conjunto finito com | | = , ento )| = 2 . das partes de ) possui 2 elementos. Ou seja, | Teorema 3.1.4: Se e so conjuntos finitos e | | = | |=

e| |=

) (conjunto

, ento:

A demonstrao desses teoremas ser feita no Captulo III, pois ainda no temos uma definio rigorosa do que significa um conjunto finito possuir elementos. Mas podemos dar algumas justificativas no rigorosas para esses resultados. No Teorema 3.1.2, pode-se ver que, ao tomar | | + | |, nessa soma se est contando duas vezes os elementos da interseco e, assim, para ter o nmero correto de elementos da unio, deve-se subtrair uma vez a cardinalidade da interseco. J no Teorema 3.1.4, pode-se ver que, para cada elemento de , esse forma um par ordenado com cada um dos elementos de . Como existem

Teorema 3.1.5: Sendo e conjuntos finitos, temos | | = | | | |. Em particular, se , ento | | = | | = | | | |.

elementos em , o nmero total de pares ordenados ser + + + = . O Teorema 3.1.5 pode ser entendido imediatamente, pois se est simplesmente no contando os elementos que pertencem a e simultaneamente. Para o Teorema 3.1.3 no h uma justificativa simples, mas uma demonstrao relativamente simples dada no Captulo III (Teorema 2.7.3). 3.2 Alguns exemplos , | |=3 e

Exemplo 3.2.1: Sendo e conjuntos finitos tais que | | = 27, qual a cardinalidade de e de ?

completando a resoluo.

Resoluo: Pelo Teorema 1.7.5, se , ento = . Assim, | | = | | = 3. Pelo Teorema 3.1.4, | | = | | | | = 3 | | = 27. Ou seja, | | = 27 3 = 9,

Exemplo 3.2.2: Numa cidade circulam trs jornais diferentes (jornais , e ). Ao se entrevistar 2000 moradores, se descobriu que 400 lem o jornal , 800 lem o jornal , 500 lem o jornal , 200 dos que lem o jornal tambm lem o jornal , 100 dos que lem o jornal lem tambm o jornal e nenhum dos que lem o jornal lem o jornal . Quantos dos entrevistados no lem nenhum dos trs jornais? Resoluo: Devemos transformar esse problema em um problema de encontrar a cardinalidade do conjunto dos entrevistados que no lem nenhum dos trs jornais. Claramente, o nosso conjunto universo o dos entrevistados (chamaremos de conjunto ), cuja cardinalidade | | = 2000. A cardinalidade do

32 conjunto dos entrevistados que lem o jornal (chamaremos de conjunto ) | | = 400, dos que lem o jornal (chamaremos de conjunto ) | | = 800 e dos que lem o jornal (chamaremos de conjunto ) | | = 500. Mas, como no existem pessoas que lem o jornal e simultaneamente, | | = 0, pois a interseco vazia. Dessa forma, usando o Teorema 3.1.2, a cardinalidade do conjunto | | = | | + | | = 400 + 500 = 900. Queremos saber quantas pessoas lem algum jornal (para ser possvel dizer quantas no lem nenhum). Ento, devemos encontrar a cardinalidade de . Usando o Teorema 3.1.2, temos que: | |=| )| = | |+| || )|

Sabemos a cardinalidade de e de , mas no sabemos a cardinalidade de ). Usando a distributividade da interseco em relao unio: )= ) ). Assim, a cardinalidade dessa interseco : ) | )| + | =| =| )| + | )|= | )| + | )| | )| | )| | | )| ) )|

Juntamos a interseco de com porque j sabemos que essa vazia, o que garante que | )| = | | = || = 0. J | )| o nmero de leitores que lem tanto o jornal quanto o , ou seja, 200 e | )| o nmero de leitores que lem tanto o jornal quanto o , que 100, segue, ento, )| = | ) )| = 200 + 100 = 300. Voltando unio que | , temos agora que a cardinalidade dessa unio : Sabendo que a unio que o complemento dessa unio, no lem nenhum dos jornais, temos que a nmero de pessoas que no lem nenhum temos: | |+| || )| = 800 + 900 300 = 1400 subconjunto do conjunto universo e ) , o conjunto dos entrevistados que cardinalidade desse complemento d o dos jornais. Usando o Teorema 3.1.5,

Ou seja, 600 entrevistados no lem nenhum dos jornais.

) |= | ||

| = 2000 1400 = 600

No realmente necessrio que a resoluo seja feita de forma to cuidadosa (talvez preciosista) como foi feita acima, mas foi feita de tal maneira para mostrar que o resultado foi obtido inteiramente atravs das propriedades dos conjuntos. Uma forma mais simples de tratar o problema usando diagramas de Euler-Venn. Para descobrir a soluo, representamos os conjuntos na forma de diagramas e damos valores correspondentes s cardinalidades s partes dos conjuntos. O diagrama abaixo representa o problema anterior.

33

Vemos que, para cada rea limitada (que no pode ser cortada por nenhuma linha), se atribui um valor (a cardinalidade). O procedimento, nesse caso, atribuir valores s interseces e s depois atribuir valores s partes dos conjuntos que no fazem parte das interseces. Tal procedimento vlido mesmo que no se conhea a cardinalidade de alguma interseco, pois se pode atribuir alguma incgnita cardinalidade da interseco. O exemplo abaixo ilustra isso. Exemplo 3.2.3: Numa escola, os alunos podem fazer educao fsica s teras ou quintas. 60% dos alunos fazem s teras e 75% fazem s quintas. Qual a percentagem dos alunos que fazem tanto quinta quanto tera?

Resoluo: A percentagem total deve ser claramente 100%. Comecemos a completar o diagrama do problema chamando o conjunto dos que fazem s teras de e dos que fazem s quintas de e colocando uma incgnita, , no lugar da percentagem da interseco.

A percentagem da parte do conjunto que no faz parte da interseco 60% e a da parte de que no faz parte da interseco 75% . Coloquemos essas informaes no diagrama.

A soma dessas percentagens deve ser 100%. Assim:

34 60% ) + + 75% ) = 100% = 100%

Ou seja, 35% dos alunos fazem educao fsica s teras e quintas. No se usou diretamente a cardinalidade dos conjuntos (no sabemos de quantos alunos o problema trata), mas, mesmo assim, possvel trabalhar apenas com a percentagem da cardinalidade associada ao conjunto (lembrando que o total deve dar 100%). 1 Sejam e conjuntos finitos com | | | | = 4, | | + | | = 10. Quanto so as cardinalidades | | e | |? possvel determinar as cardinalidades de e a partir das informaes dadas? 2 Sabendo que | | = 6, listando seus elementos. e 2, 1), 1,1)

= 60% + 75% 100% = 135% 100% = 35%

60% + 75%

Exerccios I 3

3 Se e so finitos e disjuntos com | | = 5, | | = 6 e | | > | |, qual a cardinalidade de e de ? 4 Sendo e | | + | | 2| |.

, d o conjunto

5 Considere os conjuntos e finitos. Sabe-se que | )| = 15, | | = 3 e | | = 8. Qual a cardinalidade de e qual a cardinalidade de ? SUGESTO: Use o resultado do exerccio anterior. 7 Sendo | | + | | = 7 e | | = 2, d a cardinalidade de ) . 6 Sendo = , , , , quantos subconjuntos de possuem ou ?

conjuntos finitos, mostre que | | = | | | | =

) e

8 Sejam e conjuntos finitos. Sabendo que | | 2| | e | | > | | , mostre que e no so disjuntos.

9 Sendo , , e conjuntos finitos tais que | | = 5 e | | = 7, qual a cardinalidade de ) )? SUGESTO: Consulte o exerccio 6 da seco anterior. , e ,

10 Uma pesquisa de mercado, sobre as marcas de sabo em p mostrou os seguintes resultados:

35 a) Qual a percentagem de consultados que usam apenas a marca ? b) Quanto vale a percentagem dos que usam apenas a marca entre os consultados? c) Qual a percentagem de usurios consultados que usam as marcas e , mas no usam a ? d) Qual a percentagem de consultados que no usam nenhuma das trs marcas? 11 Num clube de natao e tnis, o nmero de pessoas que praticam natao o dobro do que praticam tnis e um tero dos que praticam tnis tambm praticam natao. Sabendo que 30 pessoas praticam tnis, quantas pessoas praticam tanto natao quanto tnis e quantas praticam somente natao? 12 Numa escola, os alunos podem estudar espanhol, portugus, ingls e francs. Sabe-se que todos devem estudar portugus e podem estudar, no mximo, duas lnguas alm do portugus. Tambm se sabe que nenhum dos que estudam francs estuda espanhol. Alm disso, apenas metade dos que estudam portugus estuda alguma das outras lnguas e, dessa metade, 2/3 estuda ingls, 1/3 estuda espanhol e 1/3 estuda francs, sendo que o nmero de pessoas que estudam ingls e espanhol (simultaneamente) igual ao que estudam ingls e francs (tambm simultaneamente). Qual frao do total: a) b) c) d) estuda francs? estuda tanto francs quanto ingls? estuda apenas espanhol? Se o nmero de alunos que estuda apenas espanhol 50, quantos alunos a escola possui? 13 Observe o diagrama abaixo:

Sabendo que |

| = 100, quanto ?

4 Relaes
Como foi feito at agora, admitiremos conhecidos resultados bsicos sobre nmeros reais e naturais. Esses conjuntos numricos sero tratados com mais cuidado no Captulo III.

36 4.1 Plano cartesiano Definio 4.1.1 (Plano Cartesiano): Sendo e dois eixos perpendiculares em 0 (figura abaixo), esses determinam o plano . Sendo um ponto qualquer de ( ), criemos duas retas, e , tal que seja paralela ao eixo , seja paralela ao eixo e a interseco ocorra no ponto (figura). Chamemos a interseco entre e o eixo de e a interseco de com o eixo de . Com isso seguem as seguintes definies: a) A abscissa de o (nico) nmero real b) A ordenada de o (nico) nmero real c) d) e) f) g) h) representado por . representado por . As coordenadas de so indicadas pelo par , ) com a abscissa sendo o primeiro elemento do par. O eixo dito ser o eixo das abscissas. O eixo chamado de eixo das ordenadas. O sistema formado pelos eixos das abscissas e das ordenadas o sistema cartesiano de eixos ortogonais. O ponto 0 chamado de origem do sistema. O plano determinado pelos eixos e o plano cartesiano.

existe um, pois, pelas definies apresentadas, a reta intersecta o eixo em um nico ponto e a reta intersecta o eixo em um nico ponto. Sendo assim, existe um nico par de pontos e e, pelas definies (a), (b) e (c), um nico par

Demonstrao: a demonstrao dada em duas partes. Primeiro vamos demonstrar que para cada ponto existe um nico par de pontos e . De fato, s

Teorema 4.1.1: Existe uma correspondncia biunvoca entre o plano cartesiano e o conjunto (= ).

, ) correspondente ao ponto . Isso mostra que cada ordenado de coordenadas P corresponde a um par , ) . Agora vamos demonstrar que cada , ) corresponde a um nico ponto do plano cartesiano. De fato isso ocorre, pois, a cada , ), representado por e representado por . Criando uma reta que passa por e paralela

37 ao eixo das abscissas e outra, , que passa por e paralela ao eixo das ordenadas, essas duas retas se intersectam em um nico ponto . Conclumos, ento, que cada par , ) corresponde a um nico ponto do plano cartesiano e isso completa a demonstrao. QED 1,1), 3,2), 2,3), 1,2), 2, 2) e Exemplo 4.1.1: Localizemos no plano cartesiano abaixo os pontos ,2 .

Tambm possvel representar subconjuntos de no plano cartesiano. O exemplo abaixo ilustra isso. Exemplo 4.1.2: Representemos o conjunto plano cartesiano. = 1,1), 2,2), 3,3), 3,2) no

4.2 Relaes binrias Definio 4.2.1: Dados dois conjuntos, e , qualquer subconjunto no vazio do produto cartesiano chamada de relao de em . Ou seja: relao binria de em e .

38 O conjunto chamado de conjunto de partida da relao de conjunto de chegada (ou contradomnio) da relao . e chamado

Para cada tipo de relao, em geral, se tem um smbolo diferente para represent-la (estamos usando para representar o caso geral). Em alguns casos, se um par , ) pertence a ( , ) ), conveniente usar a notao e quando , ) .

Podemos representar relaes binrias de forma diagramtica. Essa representao consiste em representar os conjuntos como se fez at agora, na forma de diagramas de Euler-Venn, e usar setas para representar a relao entre os elementos do conjunto de sada e de chegada. Por exemplo, se , ) pertence relao binria, representamos isso com uma seta que parte do elemento , no conjunto de partida, e vai at o elemento no conjunto de chegada. Exemplo 4.2.1: Sejam dada por = , 2), , 4), relao : = , , , e , 1), , 5) . = 1,2,3,4,5,6 e uma relao binria representao diagramtica dessa

Definio 4.2.3: Sendo e conjuntos e uma relao entre eles, chamamos de domnio da relao (denotamos )) o conjuntos dos elementos pertencentes a tal que , ) para algum pertencente a . Ou seja: Definio 4.2.4: Sendo e conjuntos e entre eles, chamamos de imagem da relao (denotamos elementos pertencentes a tal que , ) para algum seja: )= | , ) )= | , ) uma relao binria )) o conjuntos dos pertencente a . Ou

Definio 4.2.2: Dado um conjunto , uma relao relao binria em .

chamada de

Perceba que, sendo um subconjunto de , no de se esperar que todos os pares ordenados , ) pertenam relao . Ou seja, em geral, ) nos existem pares , ) que no pertencem relao . O conjunto d todos os elementos tais que exista algum tal que , ) e o conjunto ) nos d todos os elementos tais que exista algum tal que , ) .

39 Podemos pensar essas duas ltimas definies em termos da representao diagramtica dada acima. Sendo o conjunto de partida, o conjunto de chegada e uma relao binria de em , o domnio da relao binria o conjunto de todos os elementos de de onde parte alguma seta e a imagem da relao binria o conjunto de todos os elementos de onde termina alguma seta (elementos que so flechados). No entanto vemos que , ) no implica necessariamente que no pertena ao domnio da relao, nem que no pertena imagem da relao, ) ou mas implica que uma das duas seguintes situaes ocorre: ). O exemplo abaixo ilustra isso. ALERTA: embora essas definies possuam relao com os conceitos de domnio e imagem de funes, como ser visto logo a seguir, as noes no devem ser identificadas. Funo um tipo particular de relao binria e possui particularidades em relao ao domnio e imagem. Na verdade, o que difere os tipos de relaes binrias so as restries (condies) que impomos sobre o domnio e imagem da relao.

Exemplo 4.2.2: Dados = 1,2,3,4 , = 1,2,3,4,5 e uma relao binria dada por = 1,2), 2,2), 3,2), 4,2) , a representao em forma de diagrama dessa relao :

Vemos que todos os elementos de pertencem ao domnio da relao, mas pares como 1,1), 1,4), 2,1), etc no pertencem relao . = , ) | , )

Definio 4.2.5: Sendo e conjuntos arbitrrios no vazios e uma relao binria , chama-se de relao inversa de o conjunto tal que:

Ou seja, , ) se, e somente se, , ) . Assim, para se ter a relao inversa, basta inverter a ordem de e em cada par pertencente a . Alguns resultados imediatos so: a) b) ) )= = )e )= )

Nem sempre a relao inversa do tipo da relao original. Ou seja, nem sempre as restries que impomos na relao original so aplicveis na relao inversa. Um exemplo disso so as funes, cuja definio dada mais adiante.

40 Exemplo 4.2.3: Tomando os conjuntos do Exemplo 4.2.2, a relao inversa a de = 1,2), 2,2), 3,2), 4,2) dada por = 2,1), 2,2), 2,3), 2,4) . Em forma de diagrama:

O efeito sobre o diagrama, ao se tomar a relao inversa, , ento, simplesmente inverter o sentido das setas. 4.3 Funes Essa talvez seja a relao mais importante das que sero apresentadas. O conceito de funo permeia toda a matemtica e acaba recebendo vrios nomes dependendo do contexto em que est sendo usado (como, por exemplo, operao, aplicao, produto...). Antes da definio de funo, vejamos primeiro alguns exemplos intuitivos, para servir de motivao para a definio que ser dada. Exemplo 4.3.1: Se um trabalhador recebe um determinado acrscimo no salrio a cada hora extra que trabalha, intuitivo que o total acrescido varia de acordo com quantas horas extras so trabalhadas. Diz-se que o acrscimo (total) est em funo da quantidade de horas extras que se trabalha, pois existe uma dependncia do ganho extra com as horas extras trabalhadas. Exemplo 4.3.2: Quando se vai a um posto de gasolina abastecer, o preo (total) pago pela gasolina tanto maior quanto mais se coloca gasolina no carro. Ento, como acima, se diz que o preo pago est em funo da quantidade de gasolina colocada no carro. Uma observao que podemos fazer que no faz sentido, por exemplo, que se possa colocar alguma quantidade de gasolina no carro, mas no exista nenhum valor correspondente a essa quantidade (nem mesmo zero, pois zero seria um valor). Isso motiva a condio (a) da definio de funo que ser dada abaixo. Exemplo 4.3.3: Ao se jogar uma pedra verticalmente para cima, a posio da pedra pode ser dada em funo do tempo (vemos que, se ligamos um cronmetro no instante em que se joga a pedra, podemos associar cada instante posio altura em que a pedra se encontra). Percebamos que a pedra ir subir e descer, ou seja, as posies que a pedra vai assumir durante a subida sero repetidas na descida, mas em instantes diferentes dos que estavam associados s mesmas posies durante a subida. Por exemplo, se a pedra vai at uma altura de 10 metros, ela passar pela altura 5 metros durante a subida (em um instante t) e

41 passar pela mesma altura 5 metros durante a descida (mas num instante posterior portanto, diferente ao t). No entanto no faz sentido associar duas posies diferentes a um mesmo instante. Por exemplo, a pedra no pode estar no cho e na altura 5 metros no mesmo instante.

Definio 4.3.1 (funo): Dados dois conjuntos, e , e uma relao binria de em , o terno , , ) (trinca ordenada) dita ser uma funo de em ou aplicao de em quando satisfaz ambas as seguintes condies: a) b) )= , ) e , ) = .

implica

A primeira condio diz que, para todo pertencente a , existe algum ) = ). J a pertencente a tal que , ) (mas no necessrio que segunda nos assegura que, dado um , o elemento correspondente a na imagem de nico. Em outras palavras, a funo leva cada do domnio a um nico da imagem (o Exemplo 4.3.3 d uma motivao para se definir assim). Mas perceba que nada probe que existam dois elementos distintos, e , pertencentes ao domnio de (e, portanto, a ) tais que , ) e , ) com mesmo (vemos que, no Exemplo 4.3.3, se pde associar dois instantes diferentes a uma mesma altura). Por causa da unicidade do elemento , na imagem, correspondente a um ) para indicar os elementos da dado do domnio, comum usar a notao , ) = . Atentemos desde j que ser comum chamarmos de funo . Ou seja, funo embora a funo seja, na verdade, a trinca ordenada , , ).

Exemplo 4.3.4: Dados os conjuntos = 1,2,3 e = , , ento = 1, ), 2, ), 3, ) uma funo de em , pois o domnio da relao o prprio e, para cada elemento de , esse associado a apenas um elemento em . Mas perceba que = 1, ), 2, ), 2, ) no funo de em porque no satisfaz nenhuma das duas condies necessrias. Abaixo est representado o diagrama da funo .

Vemos, ento, que, em termos de diagramas, a condio (a) da definio de funo quer dizer que, de cada elemento de , deve partir alguma seta e a condio (b) quer dizer que s pode partir uma nica seta de cada elemento de .

Exemplo 4.3.5: Dados agora = 1,2,3 e = , , , ), 2, ), 3, ) continua sendo uma funo, mas de em (pois continua = 1, satisfazendo as condies (a) e (b)) e o diagrama dado abaixo.

42

Exerccio 4.3.1: A relao dada no Exemplo 4.2.2 uma funo? E a dada no Exemplo 4.2.1? Trabalharemos funes de forma mais detalhada no captulo seguinte, mas perceba que, dadas as restries (a) e (b), a relao inversa de uma funo nem sempre uma funo. Se uma funo e a imagem dessa no o prprio , a relao inversa no pode ser uma funo, pois o domnio dessa relao inversa no e, pela definio, necessrio que o domnio de uma funo seja o prprio conjunto de partida. Mesmo que a relao inversa tenha como domnio , essa relao inversa ainda tem que levar cada elemento de a um nico elemento de para ser uma funo (condio (b) da definio). Como, em geral, se pode ter , ) e , ) com mesmo , a relao inversa no ser uma funo se isso ocorrer. Afinal, se teria, na relao inversa, um levado a dois (ou mais) diferentes na imagem. Por fim, s possvel que a relao inversa seja uma funo quando a imagem de for o prprio e no ocorrer de , ) e , ) com )), se ) = , no exista tal que . Ou seja, usando a notao , ) = . Quando a relao inversa de uma funo uma funo tambm, dizemos que essa relao inversa a funo inversa. Exerccio 4.3.2: Por que as relaes inversas das funes apresentadas nos exemplos 4.3.4 e 4.3.5 no so funes? D um exemplo de funo cuja relao inversa tambm uma funo. Note que isso s possvel quando a cardinalidade do conjunto de partida (conseqentemente, do domnio) a mesma que a do contradomnio (esse termo mais comum quando se trata de funes). 4.4 Relaes de equivalncia Alm das funes, as relaes de equivalncia tambm so presentes em vrios campos da matemtica. Informalmente podemos dizer que uma relao de equivalncia estabelece uma condio que define uma igualdade entre elementos de um conjunto.

Definio 4.4.1: Dado o conjunto e sendo uma relao binria em , uma relao de equivalncia em quando forem satisfeitas as seguintes propriedades: a) b) , ) , ) para todo (reflexibilidade). implica , ) (simetria).

43 c) Se , ) e , ) , ento, , ) (transitividade).

Normalmente se usa o smbolo ~ para indicar a equivalncia pela relao . Ou seja, quando os elementos , so equivalentes por , escrevemos ~ . Se os elementos , no so equivalentes por , se escreve . No caso em que no h perigo de confuso, se escreve simplesmente ~ para indicar que os elementos e so equivalentes pela relao de equivalncia considerada e caso no sejam equivalentes. Assim, as condies dadas acima podem ser reescritas como sendo: a) b) ~ para todo ~ implica ~ (simetria). (reflexibilidade).

Tomamos a relao de equivalncia com o conjunto de partida sendo e o de chegada ele mesmo e isso necessrio. Perceba que as propriedades so tais que no existe possibilidade de existir uma relao de equivalncia com o conjunto de partida diferente do de chegada. Duas relaes de equivalncia sempre so possveis de serem feitas num conjunto. Uma relao identidade (ou diagonal), onde, dado um conjunto , , so equivalentes quando = (por essa relao de equivalncia, os elementos de s so equivalentes a eles mesmos). A outra a que os elementos , so equivalentes quando esses pertencem a (por essa relao de equivalncia, todos os elementos de so equivalentes a todos os elementos de ).

c) Se ~ e ~ , ento, ~ (transitividade).

Exemplo 4.4.1: Dado o conjunto = , , e uma relao binria em dada por = , ), , ), , ), , ), , ) , essa relao binria uma relao de equivalncia em (verifique!).

Exemplo 4.4.2: Definamos uma relao de equivalncia em da seguinte forma: dizemos que equivalente a quando racional ( ) ). Ou seja, tal que: Mostremos que tal relao , de fato, uma relao de equivalncia: = , )| )

a) ~ , pois = 0, que racional (demonstrando a simetria). b) Se racional, ento racional, pois = ) e o oposto de um nmero racional racional. Assim, ~ implica ~ (demonstrando a reflexibilidade). c) Pela propriedade demonstrada anteriormente, y-z racional implica z-y racional. Usemos isso para demonstrar a transitividade. Se racional e racional, ento ) )= + = racional, pois a subtrao de racionais (no caso, ) e )) um nmero racional. Ou seja, ~ e ~ implica ~ (demonstrando a transitividade).

44 Sendo um conjunto no vazio e uma relao de equivalncia em , dado um elemento do conjunto , , em geral, interessante ter o conjunto de todos os elementos equivalentes a (tal conjunto definido abaixo).

Definio 4.4.2: Seja um conjunto e uma relao de equivalncia em . Para cada definimos a classe de equivalncia de (pela relao de equivalncia ) pelo conjunto: = | , )

Vemos que, fixado , o conjunto o de todos os elementos equivalentes a e que sempre se tem , devido propriedade (a) da definio de relao de equivalncia, ou seja, o conjunto nunca vazio. Abaixo seguem um lema e um teorema referentes a essa definio. O teorema a razo das relaes de equivalncias serem to presentes na matemtica e chamado de Teorema Fundamental das Equivalncias. Lema 4.4.1: Sendo so tais que ~ , ento = . uma relao de equivalncia em , se ,

Demonstrao: Com efeito, se ~ , ento e, se ~ , ento . Ora, se ~ e ~ , ento ~ (transitividade), que implica . Ou seja, todo elemento que pertence a tambm pertence a , que o mesmo que dizer que . De forma inteiramente anloga conclui-se que . Logo, pelo Teorema 1.6.3, = . Teorema 4.4.1: Se o conjunto de todas as classes de equivalncias de pela relao de equivalncia , uma partio de . QED

De fato, para todo elemento , esse pertence a, ao menos, uma classe de equivalncia, pois sempre se tem que , e, se para algum , ~ , que nos leva a concluir, pelo Lema 4.4.1, = . Ou seja, para todo , pertence a uma, e somente uma, classe de equivalncia pertencente a , que o mesmo que dizer que uma partio de . QED Esse ltimo teorema nos diz que um conjunto pode ser dado pela unio disjunta de todas as classes de equivalncia (distintas) de uma relao de equivalncia. | , chamado, O conjunto , que pode ser escrito como = tambm, de conjunto quociente de por e pode ser representado por = / .

Demonstrao: Usaremos o resultado que foi pedido para ser demonstrado no Exerccio 1.9.1 para demonstrar esse teorema. Pelo enunciado do exerccio, para mostrar que uma partio de , devemos mostrar que, para cada , esse deve pertencer a uma, e somente uma, classe de equivalncia pertencente a .

45 Vemos que a relao de equivalncia equivalncias. realmente divide com as classes de

A recproca do teorema acima tambm verdadeira: toda partio de um conjunto um conjunto de todas as classes de equivalncia de alguma relao de equivalncia, mas a demonstrao dessa recproca ser omitida. Exemplo 4.4.3: Usando o conjunto e a relao de equivalncia dada no Exemplo 4.4.1, se v que a classe de equivalncia dos elementos e = , = (Lema 4.4.1) e a do = . O conjunto das classes de equivalncia , ento, = , , , que uma partio de . Exemplo 4.4.4: Usando a relao de equivalncia nos reais apresentada no Exemplo 4.4.2, mostremos que o conjunto dos racionais uma das classes de equivalncia daquela relao. Evidentemente a subtrao de racionais um racional, ou seja, se racional e racional, ento j se tem que equivalente a pela relao dada. Mas tambm se tem que nenhum irracional pode ser equivalente a um racional, pois, se fosse, chegaramos seguinte contradio: suponha que racional e irracional, mas racional. Um racional pode ser escrito como a diviso entre dois nmeros inteiros. Dessa forma, escrevamos = e = = , com , , nmeros inteiros (com e no nulos). Assim, nmero racional, entrando em contradio com a hiptese de Conclumos, ento, que uma das classes de equivalncia de | ) . = = , que um ser irracional. = , )

Foi dito no incio dessa subseco que a relao de equivalncia estabelecia uma igualdade entre elementos de um conjunto. A igualdade no , em geral, entre os elementos, mas aparece entre as classes de equivalncia, como mostrado pelo Lema 4.4.1. As classes de equivalncia so, ento, agrupamentos dos elementos com mesmas propriedades, de acordo com a relao de equivalncia dada. 4.5 Relaes de ordem total Em alguns conjuntos natural dizermos que um elemento maior que outro. Por exemplo, no conjunto dos nmeros inteiros, dizemos que 2 maior que 1 e representamos isso por 2 > 1. A relao que nos permite dizer isso nos permite ordenar os nmeros inteiros (por exemplo, podemos ordenar de forma crescente os nmeros inteiros). Uma relao de ordem total quando sempre possvel dizer, dados dois elementos de um conjunto com relao de ordem, se um

irracional e 2 1 tambm , mas a subtrao dada um nmero racional.

Observao: a soma (ou subtrao) de um racional com irracional nunca ser um racional, mas possvel se ter soma ou subtrao de irracionais com resultado racional (diferente de zero, inclusive). Por exemplo, 2 2 1 = 1. 2

46 elemento maior, igual ou menor que outro. Mas as relaes de ordem no se restringem a conjuntos numricos (naturais, inteiros, racionais...). Veremos que, dado um conjunto qualquer, sempre possvel criar uma relao de ordem total no conjunto. Definio 4.5.1: Sendo um conjunto e uma relao binria em uma relao de ordem total em se forem satisfeitas as seguintes condies: Para todo , , ) (reflexibilidade). Se , ) e , ) , ento , ) (transitividade). Se , ) e , ) , ento = (anti-simetria). Para todo , , , ) ou , ) (totalidade).

a) b) c) d)

De forma anloga ao que foi feito para relaes de equivalncia, usamos a notao para indicar que , ) e para indicar que , ) . Quando no h perigo de confuso, o ndice R omitido. Usando essa notao, podemos reescrever as condies: a) Para todo b) Se c) Se e e , , ento , (reflexibilidade). = (transitividade). (anti-simetria). (totalidade).

O smbolo lido como maior ou igual e isso logo se justifica. A primeira condio apenas impem que , ) deve pertencer a relao, pois pela mesma relao, atravs da propriedade (c), se conclui que = , como deve ser. Essas propriedades so bem familiares, pois so as mesmas das relaes de ordem dos nmeros naturais, inteiros, racionais e reais (esses servem de exemplos para esse tipo de relao binria). Um conjunto com uma relao de ordem total dito totalmente ordenado ou linearmente ordenado (pela relao ). Existem outras relaes de ordem (que no sero tratadas aqui) e por isso se explicita que a relao de ordem total. Exerccio 4.5.1: Dada uma famlia arbitrria no vazia de conjuntos, , criemos uma relao de ordem em tal que dizemos que, para , , se . Por que essa relao no , em geral, uma relao de ordem total? Qual condio deve ser satisfeita para que a relao dada seja uma relao de ordem total? Teorema 4.5.1 (Teorema do Bom Ordenamento): Dado um conjunto no vazio , sempre possvel encontrar uma relao de ordem tal que totalmente ordenado por essa relao. No demonstraremos esse teorema, pois, alm de outras razes, esse teorema garante, na verdade, que possvel obter uma relao de ordem tal que o conjunto dito bem ordenado (noo que no foi apresentada) por essa relao de

d) Para todo ,

, ento

ou

47 ordem. Mas possvel demonstrar que todo conjunto bem ordenado completamente ordenado pela mesma relao de ordem. Sabendo da veracidade desse teorema, fica a questo: como ter uma relao de ordem total em conjuntos como o ? Podemos obter tal relao usando o fato de j possuir uma relao de ordem. Tal construo apresentada abaixo.

Chamaremos a relao de ordem de de e a de de . Definamos a relao de ordem total em da seguinte forma: dados , ), , ) , , ) , ) se ou se = , mas . Ou seja, se > , j se tem , ) , ) (independente de ou no), mas, se = a relao passa a ser entre a segunda coordenada e se tem , ) , ) quando . Por exemplo, 3,1) > 2,5) e 2,1) < 2,5). Exerccio 4.5.2: Mostre que essa relao apresentada de fato uma relao de ordem total em . Exemplo 4.5.1: Peguemos o subconjunto = 1,1), 1,2), 1,3), 2,1), 2,2), 2,3), 3,1), 3,2), 3,3) de . Usando a relao de ordem apresentada acima para , temos que 3,3) > 3,2) > 3,1) > 2,3) >. . . > 1,1). Abaixo est ilustrada, no plano cartesiano, a relao de ordem desse conjunto, onde o ponto preto o 2,2) e os maiores que 2,2) so vermelhos e os menores verdes.

Perceba que os elementos menores que 2,2) so os que esto esquerda ou abaixo desse e os maiores os que esto direita ou acima. Essa forma de ordenar totalmente produtos cartesianos de conjuntos que j possuem uma relao de total pode ser generalizada. Se um conjunto com uma relao de ordem total , podemos fazer com que (= n vezes) seja totalmente ordenado por uma relao fazendo ,, ) , , ) quando, se as primeiras coordenadas forem iguais, > . Ordens desse tipo, onde se usa uma relao de ordem total em para induzir uma relao de ordem total em da forma como foi feita, so chamadas de ordens lexicogrficas por razes que ficaro claras a seguir.

Observao: Ainda no generalizamos a noo de produto cartesiano, mas, como foi feito acima, pode-se fazer o produto cartesiano entre conjuntos obtendo um conjunto cujos elementos so pares ordenados (na verdade, chamados de n-

48 uplas) com elementos ordenados (com cada elemento pertencendo ao conjunto correspondente posio que se encontra na n-upla). Por exemplo, sendo , e conjuntos no vazios, o conjuntos de todas as trincas ordenadas , , ) onde , e .

Tal forma de ordenao pode parecer estranha a primeira vista, mas um caso desse tipo de ordem bastante comum e bem familiar a todos. A ordem alfabtica (usada para ordenar palavras de um dicionrio) uma ordem desse tipo. Perceba que ordenamos inicialmente o alfabeto (dizemos que > , por exemplo) e, ao ordenar palavras, pegamos duas palavras e vamos comparando as letras das palavras (a partir do incio dela) at que se encontre uma coordenada distinta entre essas palavras. Ou seja, comparamos as primeiras letras e, se as letras forem iguais, passamos a comparar a segunda e assim por diante at que haja diferena. Quando encontrada a diferena, se usa a ordem j dada para o alfabeto para dizer que uma palavra maior que outra (no sentido de que, dadas as duas letras distintas, uma aparece depois da outra no alfabeto). Por exemplo, comparemos as palavras casa e caso. Vamos primeiro colocar as letras como quadras ordenadas: , , , ) e , , , ). As trs primeiras letras so iguais, mas > (no sentido de aparecer depois de no alfabeto). Assim, , , , ) > , , , ), fazendo caso aparecer depois de casa no dicionrio. Claro, o exemplo foi simplificado, pois nem todas as palavras possuem quatro letras, de forma que seriam necessrias mais coordenadas e algum elemento que preencha as coordenadas sem letras, e existem letras com acentos, hfens, etc., que devem ser acrescidos no alfabeto. 1 No plano cartesiano abaixo, encontre os pontos 0,0), 2, 1), 1 3 , 0 , 2,3) e 5 3 , 4 3 .

Exerccios I 4

2 Sendo binrias de em

= 1,2,3,4,5,6 e = , , , , em forma de diagramas:

, represente as seguintes relaes

49 a) b) c) d) e) = = = = = 1, 1, 1, 1, 1, ), ), ), ), ), 3, 2, 3, 2, 2, ), ), ), ), ), 3, 3, 4, 3, 3, ), ), ), ), ), 6, 4, 5, 3, 4, ) ), ), ), ), 5, 6, 5, 5, ), 6, ) ) ), 6, ) ), 6, )

3 D o domnio e a imagem das relaes apresentadas no exerccio 2 e indique quais relaes so funes de em . 4 Escreva as relaes inversas das relaes binrias apresentadas no exerccio 2 e represente-as em forma de diagramas. 5 A partir dos diagramas de relaes binrias apresentados abaixo, represente as relaes binrias listando seus elementos e d o domnio e a imagem de cada relao. a)

b)

c)

6 Sendo = 1,2,3 , indique quais das relaes abaixo so relaes de equivalncia em A. Caso no seja, indique qual(ais) condio(es) falha(m).

50 a) b) c) d) e) f) g) = = = = = = = 1,1), 1,1), 1,1), 1,1), 1,1), 1,1), 1,1), 2,2), 2,2), 2,2), 2,2), 2,2), 2,2), 2,2), 3,3) 3,3), 3,3), 3,3), 1,2), 3,3), 3,3), 2,1), 1,2), 1,2), 2,3), 1,3), 1,3), 3,2), 2,1) 2,3), 3,2) 3,1), 3,1), 3,1)

7 Escolha, no exerccio acima, uma relao que seja de equivalncia e uma que no seja e represente-as em forma de diagrama. No caso da relao de equivalncia, faa tambm a representao do conjunto no plano cartesiano e destaque (circulando, por exemplo) os pontos que compem a relao de equivalncia. 8 Represente as classes de equivalncias das relaes de equivalncia existentes no exerccio 6 e d o conjunto quociente em cada caso. SUGESTO: Para poupar trabalho, use o Lema 4.4.1. 9 Mostre que uma relao de equivalncia em um conjunto em se, e somente se, a relao identidade. uma funo

2,3), 3,2) 2,3), 3,2), 2,1), 1,2)

3,2)

de

10 Alguma relao binria do exerccio 6 uma relao de ordem total? Se sim, indique-a e, representando no plano cartesiano, destaque os pontos que compem a relao.

13 Seja definido como 0 ). Defina uma relao em fazendo com que , ), , ) (ou , )~ , )) se = . Mostre que essa relao uma relao de equivalncia. 14 Usando a ordem lexicogrfica definida para , escreva, em cada caso abaixo, os pontos na ordem crescente. a) b) c) d) 1,1,1), 2,1,3), 1,1,2), 4,6,7), 1,3,1), 2,3,5), 2,2,3), 3,5,2), 4,2,6), 3,1,4), 2,1,4), 3,4,8), 4,2,2) 2,5,5) 1,45,2) 6,3,7), 6,4,1)

12 Defina uma relao anloga a feita no exerccio anterior, mas para . D as classes de equivalncia de 1,1), 2,2) e 3,3). Represente essas classes de equivalncia no plano cartesiano.

11 Defina para uma relao binria tal que , , )~ , , ) (ou seja, , , ), , , ) ) se + + = + + . Mostre que essa relao uma relao de equivalncia.

| = 3 (cardinalidade do conjunto quociente 15 Se | | = 5, | ) e um elemento equivalente a, no mximo, um elemento distinto, quanto | | (cardinalidade da relao de equivalncia)?

51

Captulo II Funes e Estruturas


Nesse captulo ser apresentado um tratamento mais geral de funes. Como j foi dito no captulo anterior, o conceito de funo presente em toda a matemtica e por isso o estudo dele de particular importncia. Tambm sero apresentadas estruturas algbricas bsicas, tais como grupos, anis e corpos, onde o conceito de funo estar sempre presente.

1 Caractersticas Gerais
1.1 Definio de funo e notaes Definio 1.1.1 (funo): Dados dois conjuntos, e , e uma relao binria de em , a trinca ordenada , , ) dita ser uma funo de em ou aplicao de em quando satisfaz ambas as seguintes condies: a) b) )= , ) e , ) = . Reapresentemos a definio de funo.

Algumas novas notaes devem ser introduzidas. No lugar de , , ), passaremos a representar funes por : (l-se funo definida de em ). Como j foi introduzido no captulo anterior, tambm escrevemos = ), devido unicidade de na imagem correspondente a um no domnio. Tambm devido a esse fato, comum indicar que um dado do domnio corresponde a um determinado na imagem por (ou )). Outra conseqncia dessa unicidade que, se = ), ento chamado de imagem de sob (com certo abuso de linguagem, comum omitir o sob ). Como o conjunto de partida de uma funo sempre igual ao domnio, chamamos o conjunto de partida simplesmente de domnio da funo e o conjunto de chegada mais comumente referido como o contradomnio da funo (lembrando que a imagem da funo um subconjunto do contradomnio). Quando o domnio e o contradomnio so subentendidos, representamos a funo simplesmente por . Atentemos tambm ao fato de, a partir de agora, usarmos com freqncia letras minsculas para representar funes. Por exemplo, : . 1.2 Igualdade entre funes Antes de apresentarmos a igualdade entre funes, notemos que, como a imagem de uma funo no necessariamente igual ao contradomnio, possvel alterar o contradomnio de uma funo sem alterar outras caractersticas dessa. De fato isso acontece, como mostra o teorema seguinte. : tal que uma funo. ) (a

implica

Teorema 1.2.1: Seja : uma funo e imagem de : est contida em ). Ento :

52 ). J que ) , Demonstrao: Se , ) , ento e temos que . Assim, o par , ) , mostrando que . Conclumos, ento, que : uma funo, pois, como satisfaz as condies (a) e (b) da definio de funo, elas continuam sendo satisfeitas. QED Uma funo pode ser definida a partir de uma regra. Isso quer dizer que podemos estabelecer um padro na obteno do na imagem a partir do do domnio. Ou seja, escrevemos ) em termos de . Sabendo a regra que define a funo, podemos escrever a funo como
: ).

2) = 2 2 = 4 e

) = 2 (pode-se, tambm, escrever Exemplo 1.2.1: Seja : tal que As imagens de = 1, = 2 e = 4 so respectivamente 1) = 2 1 = 2, 4) = 2 4 = 8. O diagrama abaixo ilustra a funo.

: , )

onde

) a regra em questo.

A ltima funo tambm exemplifica o teorema demonstrado logo acima. A imagem da funo composta por todos os nmeros pares positivos. Vemos, ento, que se pode reduzir o contradomnio a somente os pares positivos sem alterar os outros aspectos da funo. Ou seja, poderamos fazer : , onde o conjunto dos nmeros pares positivos. Mas tambm poderamos tomar um contradomnio maior. Por exemplo, a funo poderia ser : . Um abuso de linguagem que bastante freqente (e cometeremos aqui tambm) chamar a regra definidora da funo, ), de funo, mas se deve sempre estar atento para no confundir os conceitos. A funo propriamente dita a trinca , , ) (embora seja comum chamarmos a relao de funo). Assim, no teorema anterior, se diferente de , a funo : diferente de : , pois , , ) , , ). Afinal, , , ) = , , ) se, e s se, = , = e = . Perceba, ento, que, no exemplo anterior, quando mudamos o contradomnio, mudamos a funo. No teorema abaixo, j se est tomando os domnios e os contradomnios iguais, mas apresenta uma forma equivalente de afirmar = .

53 : Teorema 1.2.2: Sejam : e : se, e somente se, para todo , , ) . Usando a notao = funes. Ento : )= ). igual a , )

Demonstrao: Se as funes so iguais, ento

)= ), pois o , )) , )) , donde segue que recproca obtida seguindo a demonstrao no sentido contrrio. : 1 ) e =
) )

), a equivalncia escrita como

= . Segue que

nico. A

domnios e contradomnios j so iguais. Assim, basta mostrar que para todo 1, se tem )=
)

)=

Exemplo 1.2.2: As funes e )=

1 ). Vemos que )= =
)

+ 1, so iguais. Para mostrar isso, observemos que os )=


)

: 1 ) , tais que

QED

mostrando que as funes so iguais. Exerccio 1.2.1: Sejam


)

+1 =

e, dessa forma, sabendo que ) para todo 1 ),

) = . Mostre que essas funes so iguais.

: 1,0 ) e

: 1,0 ) tais que

1.3 Unio de funes comum que a regra definidora de uma funo no seja a mesma em todo o domnio. Assim, existiro funes cujas imagens sero definidas por mais de uma regra (cada regra referente a um subconjunto do domnio). Os dois exemplos abaixo ilustram isso. Exemplo 1.3.1: Seja Podemos criar uma funo : um subconjunto de um conjunto no vazio 0,1 de forma que: )= 1 0 ) .

Ou seja, se pertence a , a imagem desse 1, mas, se no pertence, a imagem 0. Essa funo chamada de funo caracterstica de . Exemplo 1.3.2: Pode-se ter : definida por: )= 1 1

No primeiro exemplo, podemos decompor a funo em duas. A primeira ) = 1 e a segunda : ) 0 tal que ) = 0. Juntando : 1 tal que os domnios ( ) = , j que ) e os contradomnios ( 0 1 = 0,1 ) dessas duas funes e usando as regras respectivas nas partes do domnio que as = . No segundo competem, conseguimos a funo original. Ou seja, exemplo, situao semelhante ocorre, mas devemos tomar cuidado, pois, sendo ) = e : 1, ) tal que ) = , a interseco dos : , 1 tal que

54 domnios no vazia ( 1 ), mas fcil ver que as regras coincidem nessa interseco. Como no caso anterior, podemos ver que, ao unir as funes, obtemos a funo original ( = ).

Observao: Definiremos no captulo seguinte o conceito de intervalo de nmeros reais, mas j adiantemos que , 1 = | 1 e 1, ) = | 1 . )= Teorema 1.3.1: Sejam : e : funes tais que todo . Ento a unio define uma funo de em de domnio e contradomnio ). Ou seja: tal que: = ): ) ) Motivados por esses exemplos, enunciemos o seguinte teorema.

) para (funo

Demonstrao: e so relaes binrias. Assim, e . Segue que . Mas ) ), afinal, ao se unir um conjunto ao conjunto e outro ao conjunto , no se est tirando elementos que pertenam a (veja o Teorema 2.2.4 do Captulo I). De forma semelhante ) ). Assim, ) ) ) ). Conclumos, ento, que: Ou seja, ) ), que o mesmo que dizer que uma relao )= binria de em . J que e so funes e ) para todo , ) definido de forma nica em todo o domnio, , mostrando que de fato uma funo. Exemplo 1.3.3: Sejam = 1,2,3 , = 2,3,5,6 , = 1,2, , e = 2,3,4 . Sejam tambm : tal que = 1,2), 2,3), 3,3) e : tal que = 1,2), 2,3), , 3), , 4) . Ento a relao = = 1,2), 2,3), 3,3), , 3), , 4) define uma funo : , cuja representao diagramtica dada abaixo. QED = ) ) ) )

)=

55

Exerccio 1.3.1: D o domnio e a imagem das funes , no exemplo anterior. de : No Teorema 1.3.1, quando . = e , :

e apresentadas

dita ser uma extenso

Definio 1.4.1: Seja : uma funo e . A imagem de sob , denotada por ), o conjunto de todas as imagens ) tais que . Numa notao mais compacta: )= )|

1.4 Imagens e pr-imagens de funes

Perceba que a imagem de sob um subconjunto da imagem da funo ) ). Em particular, a imagem de : , isto , sob a prpria imagem da funo. Embora a semelhana nas notaes )e ), deve-se atentar que ) um elemento da imagem enquanto ) um subconjunto da imagem. Exerccio 1.4.1: Mostre que Exerccio 1.4.2: Mostre com um contra-exemplo que no possvel afirmar, )= no caso geral, que ) se, e somente se, = , onde o domnio da funo. )= ).

Definio 1.4.2: Seja : uma funo e . A pr-imagem de sob ), o conjunto de todos os elementos do domnio tais que , denotada por ) . Em notao mais sucinta: )= | )

A pr-imagem de um subconjunto do contradomnio da funo , ento, um subconjunto do domnio da funo. Mas nessa nova definio devemos perceber que pode ser qualquer subconjunto do contradomnio e esse pode possuir elementos que no pertenam imagem da funo. Ou seja, em geral, pode existir tal que ) para todo .

56 . A imagem +1 de (conjunto dos pares) sob o prprio conjunto dos pares, mas a pr-imagem ) para todo de sob . Afinal, se mpar, + 1 par, mostrando que . Exemplo 1.4.1: Seja : tal que )=

Exemplo 1.4.2: Seja = 1,2,3,4,5 , = 6,7,8,9 e : uma funo definida por = 1,6), 2,7), 3,7), 4,8), 5,8) . Sendo = 1,2 , a imagem de sob ) = 6,7 . J sendo o conjunto = 7,8,9 , a pr-imagem de sob ) = 2,3,4,5 . Segue abaixo a representao diagramtica.

Vemos, ento, que, em termos de diagramas, a imagem de sob o conjunto dos elementos no contradomnio onde terminam as setas que comeam nos elementos de . J a pr-imagem de sob o conjunto dos elementos no domnio de onde partem as setas que terminam nos elementos de . ) = ) = 6,7 , mas Nesse ltimo exemplo podemos ver que ) . Tambm se tem que, sendo ) = 2,3,4,5 , 1,2,3 . Ou seja, ) = 7,8 , que implica ) . Esses resultados so gerais e

apresentaremos como um teorema.

Teorema 1.4.1: Sendo : uma funo arbitrria e e subconjuntos quaisquer do domnio e contradomnio, respectivamente, valem as incluses: Demonstrao: ( ) ): Se ) ) ): Se , ento ) . ) )

Exerccio 1.4.3: Faa a representao diagramtica do que foi discutido no pargrafo acima.

pela definio, que

definio de subconjunto, quer dizer ( a

) . Ou seja,

), donde segue, ) que, pela ) tal que )= ,

que nos leva a concluir que ) .

. Ou seja,

) , ento existe

levando, por fim,

QED

57 O comentrio feito sobre o Exemplo 1.4.2 j mostra que, no caso geral, as incluses demonstradas no podem ser substitudas por igualdades, afinal, as incluses apresentadas no comentrio so prprias.

1) , 1 = 1 , concordando com o teorema. Abaixo a representao da funo feita no plano cartesiano, onde os pontos pretos so os pertencentes a .

)= . Exemplo 1.4.3: Seja : tal que 1,2 ) = 1 , 2 = 1,4 e 1,1,2 ) = 1,1 , pois no existe quadrado de inteiro cujo resultado seja 1 1,2 ) = 1,4 ) = nem quadrado inteiro com resultado 2. No entanto, 2, 1,1,4 , pois 2) = 4 e 1,1,2 ) = 1,1 ) = 1) = 1, e

interessante que, na representao feita acima, se observe os caminhos 1,2 ) e 1,1,2 1,1,2 ) 1,1,2 ) . No 1,2 1,2 ) primeiro caso, o caminho segue pelas linhas vermelhas de 1,2 a 1,4 e, depois, volta pelas linhas vermelhas at 2, 1,1,2 . J no segundo caso, o elemento 1 o nico que pode seguir pela linha vermelha, e faz o conjunto 1,1,2 ir para 1,1 . Depois o conjunto volta pelas linhas vermelhas at 1 . Exerccio 1.4.4: Se : uma funo tal que para todo subconjunto do contradomnio tal que 1 , a) ) = )= ) b) c) Se , ento d) Se , ento Teorema 1.4.2: Sendo : ) = + 1, mostre que, ) = .

uma funo, valem as afirmaes abaixo.

Demonstrao: (a): No existe se conclui ) = .

) ). )

, logo, no existe

).

), de onde

58 )= ) ) e,

) = . Mas (c): Se ), ento existe tal que disso, se conclui que ) para todo . Ou seja, ) ). (d): Se ). Ou seja,

(b): Pela definio correspondente nico,

)=

).

, como s h um

em

eo

) . Como , ento ) . Dessa forma, ), ento ) ), que o mesmo que ) ). )= + 3, tem-se 2 )= 2) = QED

Exerccio 1.4.6: Encontre contra-exemplos que mostrem que as afirmaes ) ) somente se e ) ) somente se so falsas. Ou seja, mostrar que no existe a recproca das partes (c) e (d) do teorema acima. Teorema 1.4.3: Seja : )= ) ) ) ) ) uma funo e , . Ento:

Exerccio 1.4.5: D um exemplo de funo : tal que, para algum subconjunto do domnio, exista de forma que essa incluso seja prpria e )= ). Ou seja, um contra-exemplo para a afirmao se , com )= sendo o domnio, ento ) se, e somente se, = .

5.

Exemplo 1.4.4: Sendo : tal que

Demonstrao: (a): Se ), ento existe Mas ou . Logo, ) ou unio, o mesmo que ) ). Ou seja, donde segue que ) ) ).

a) b)

Reciprocamente, se ) ), ento existe ou tal que = ). Disso se tem que e, dessa forma, ). Ou seja, ) ) ) ) ) e, por seguinte, ). Dessa incluso e )= a anterior, finalmente temos que ) ). (b): Se ), ento existe tal que = e, dessa forma, ) e ), donde se tem ) ) ), que o mesmo que ) ). Ou seja, e ) ). Assim, ) ). QED

)= . tal que ), que, pela definio de ) ) ),

Essas duas propriedades podem ser generalizadas e faremos isso mais adiante. Na parte (b) do teorema, no possvel obter, em geral, a igualdade e o exemplo seguinte mostra isso.

59 Exemplo 1.4.5: Seja = 1,2 , = 3 e : tal que = 1,3), 2,3) . Sendo = 1 e = 2 , tem-se = e, portanto, ) = ) = . )= 3 e ) = 3 e, assim, ) ) = 3 , que diferente de Mas ). Abaixo segue a representao diagramtica.

) , que o mesmo Demonstrao: (a): Se ), ento ) ) . Disso segue que que ou ) ou ), ou seja, ) ) ), mostrando que ) ), pois ) ) ). Reciprocamente, se ) ), ento ) ou ) , que implica ) ) ou ), donde se tem . Portanto ) e acabamos de mostrar que ) ) ) ) ), que, por definio, quer dizer ). Mostrada essa incluso e a anterior, conclumos que )= ) ). QED Exerccio 1.4.7: Demonstre a parte (b) do teorema acima. Teorema 1.4.5: Seja : Tambm generalizaremos esse ltimo teorema mais adiante. )= uma funo e , ) . Ento: )

a) b)

Teorema 1.4.4: Seja : )= )= ) )

) )

uma funo e ,

. Ento:

) , que quer dizer ), ento Demonstrao: Se ) e )e ) ) . Assim ) e, portanto, ). ) ) Dessa forma, ) ). Reciprocamente, se ) e ) e ), ento ). Disso temos ) , que o ) . Por seguinte, ) mesmo que ), donde se conclui ) ). Demonstradas essa incluso e a anterior, )= ) ). Exerccio 1.4.8: Mostre com um contra-exemplo que no , em geral, verdadeiro. )= ) QED )

60 Exemplo 1.4.6: Seja : uma funo com = 1,2,3,4 e = 5,6,7,8 e = 1,5), 2,5), 3,7), 4,8) . Sendo tal que = 5,6,7 e tal que = ) )= 7,8 . )= 5,6 ) = 2 . Por outro lado, 5,6,7 ) 7,8 ) = 2,3 3,4 = 2 , que o resultado anterior. Exerccio 1.4.9: Demonstre o seguinte corolrio do Teorema 1.4.5: )= )

1 Sendo = 1,2,3 e = , , , indique quais relaes abaixo so funes de A em B e, nos casos que so, d a imagem. a) b) c) d) e) = = = = = 1, 1, 1, 1, 1, ), ), ), ), ), 1, 2, 1, 2, 2, ), ), ), ), ), 1, 3, 2, 3, 3, ) ) ), 3, ) ) )

Exerccios II 1

que =

2 No exerccio anterior, faa a representao diagramtica dos casos em uma funo de em . 3 Indique quais diagramas abaixo representam funes de , , , .

= 1,2,3 em

a)

b)

c)

61

d)

4 Seja : uma funo definida por: )=

5 Mostre que, se : SUGESTO: S falta mostrar que 6 D a imagem da funo

Encontre

2),

5),

12),

9) e

1 1 11). so funes e , ento = .

7 Considere os conjuntos = 1,2,3 , = 3,4,5 , = , , e Em cada caso abaixo, onde e so funes, verifique se a relao = uma funo. Caso defina, represente listando seus elementos. a) b) c) d) e) f) : : : : : : e e e e e e : : : : : : tais que = tais que = tais que = tais que = tais que = tais que = 1,3), 1, ), 1,1), , 3), 1,2), 1,1),

: , , .

e : .

SUGESTO: O enunciado j afirma que Teorema 1.3.1, basta verificar, para cada para mostrar que h uma funo.

2,3), 3,4) e = , 1), , ), , ) . 2, ), 3, ) e = 3,1), 4, ), 5, ) . 2, ), 3,1) e = 3,1), 4,2), 5,3) . , 2), , 1) e = 1,4), , 3), , 5) . 2,1), 3,3) e = 3,3), 4,5), 5,4) . , 2), , 3) e = 1, ), , ), , ) . e

= 1, , . define

8 No exerccio anterior, represente a relao = quando essa definir uma funo, e d a imagem da funo.

so funes. Ento, pelo ) )= ), que ) por diagramas,

62 9 No exerccio 4, encontre 1,2,3 ), Chame o conjunto dos primos positivos de . = 10 Dado : tal 1, ), 2, ), 3, ), 4, ) , encontre: que 4,5,9 ) e = 1,2,3,4 , 5,9,2 ). SUGESTO: = , , , , e

a) a imagem da funo; b) 1,2,3 ); c) 1,2,4 ); d) 1,2,3,4 ); e) 1,2,4 ) ; f) , ); , , , ); g) h) , , ). 11 Seja : a) b) ) = ) = )

uma funo, )

. Mostre que:

12 Sejam e conjuntos no vazios e considere as funes : tal que , ) = e : tal que , ) = . Sendo ( uma )= )= ) e ). A funo relao de em ), mostre que chamada de projeo cannica sobre e de projeo cannica sobre .

2 Funes Injetoras, Sobrejetoras e Bijetoras


Funes injetoras, sobrejetoras e bijetoras so tipos de funes que possuem uma importncia especial em diversos casos. Assim, importante que se tenha familiaridade com as noes apresentadas nessa seco. Definio 2.1.1 (funo injetora): Seja : uma funo. : )= dita injetora (ou injetiva) quando satisfeita a condio: se , e ), ento = . Uma forma equivalente de definir substituir a condio por: se , , ento ) ). , temos que Exemplo 2.1.1: Seja )=3 3
:

2.1 Definies

Exemplo 2.1.2: Seja : tal que = 1,2,3 , = 4,5,6,7 e = 1,4), 2,5), 3,6) . Essa funo injetora, pois no existem elementos distintos no domnio com a mesma imagem. A representao diagramtica segue abaixo.

uma funo. Essa funo injetora, pois, se ).

63

Perceba que, em termos de diagramas, a condio para que a funo seja injetora que cada elemento na imagem deve ser flechado uma nica vez. Exerccio 2.1.1: Mostre que a funo Definio 2.1.2 (funo sobrejetora): Seja : uma funo. : dita sobrejetora quando satisfeita a condio: se ento existe tal que )= . = ). De forma equivalente, uma funo sobrejetora quando Podemos chamar funes sobrejetoras simplesmente de sobrejees. Exemplo 2.1.3: Seja X um conjunto no vazio e A um subconjunto no vazio de X tal que seja uma incluso prpria. Ento a funo caracterstica de A (consulte o Exemplo 1.3.1) uma funo sobrejetora, pois existem e ) = 1 e x tal que ) = 0. ) e, portanto, x tal que
:

injetora.

Exemplo 2.1.4: Seja : uma funo tal que A={1,2,3,4}, B={5,6,7} e ) = . Abaixo est a = 1,5), 2,6), 3,7), 4,7) . Essa funo sobrejetora, pois representao diagramtica.

Definio 2.1.3 (funo bijetora): Seja : uma funo. : dita bijetora quando , simultaneamente, injetora e sobrejetora. comum que se chame as funes bijetoras de bijees ou correspondncias um-para-um.

Podemos ver, ento, que, em termos de diagramas, a condio para uma funo ser sobrejetora que todos os elementos do contradomnio devem ser flechados.

bijetora, devemos mostrar que injetora e sobrejetora. Com efeito, pois, se

= , ) Exemplo 2.1.5: Sendo A um conjunto, a relao identidade, : | = define uma funo bijetora . Para mostrar que essa funo

64 , )= = ) e, se ) = , esse = . (contradomnio), existe


:

(domnio) tal que

No necessrio escrever

, pois a notao :

j indica que a relao

Exemplo 2.1.6: Seja : tal que, A={1,2,3}, B={a,b,c} e = 1, ), 2, ), 3, ) . Essa funo injetora, pois no existem elementos distintos ) = . Portanto, a funo no domnio com mesma imagem, e sobrejetora, pois bijetora. Podemos ver no diagrama abaixo que as condies j apresentadas, em termos de diagramas, para ser injetora e sobrejetora so simultaneamente satisfeitas: todos os elementos da imagem so flechados uma nica vez ( injetora) e todos os elementos do contradomnio so flechados ( sobrejetora).

identidade e, portanto, basta escrever

sem explicitar a regra.

2.2 Imagens e pr-imagens de injees, sobrejees e bijees; funo inversa Para esses tipos especiais de funes, muitos teoremas podem ser melhorados. Abaixo, est enunciada uma extenso do Teorema 1.4.1 para esses tipos de funes. Teorema 2.2.1: Seja : ) = ) = ) = se se e uma funo com e , ento:

a) b) c)

injetora. sobrejetora. ) = se bijetora.

conhecido, temos

Demonstrao: (a): J foi demonstrado para o caso geral que ) , ento devemos mostrar que ) quando injetora. Se ) , ento ) )= ). Assim, para algum , ), mas, sendo injetora, necessariamente = , donde segue que . Ou seja, ) , que o mesmo que ) . Usando esse resultado e o j ) = .

(b): Como anteriormente, usaremos o que j foi demonstrado no Teorema ) , ento apenas necessrio demonstrar que 1.4.1. Sabemos que ) quando sobrejetora. Se , segue de ser sobrejetora que ) , que implica ). Assim, = ) para algum . Ento, = ) ) para todo ) . Ou seja, ) , que, =

65 ) . Logo, tendo esse resultando e o j

equivalentemente, nos diz demonstrado, (c): Se segue que

) = .

bijetora, ento injetora e sobrejetora. Dos resultados anteriores ) = e ) = . QED

No captulo anterior foi dito que, em geral, a relao inversa de uma funo no uma funo, mas que existia a possibilidade da relao inversa ser uma funo. Veremos agora, precisamente, qual a condio deve ser satisfeita para a relao inversa ser uma funo. Teorema 2.2.2: Se : uma bijeo, ento : uma bijeo.

uma funo. Como Demonstrao: Vamos, inicialmente, mostrar que )= = sobrejetora, ). Bem se sabe do captulo anterior que )= Y (o prprio conjunto de ). Assim, o domnio da relao partida), satisfazendo a condio (a) da definio de funo. Se , ), , ) ento , ), , ) , mas o fato de ser injetora diz que, se , ), , ) , ento = . Assim, corresponde a um nico , satisfazendo a condio (b) da uma funo. definio de funo e mostrando que

Agora demonstraremos que bijetora. Suponhamos que , ), , ) , ento , ), , ) , donde segue = pelo prprio fato de ser uma )= funo e, portanto, injetora. Do captulo anterior, j sabemos que ) = , que nos leva a concluir que sobrejetora, mostrando, junto ao resultado anterior, que bijetora. QED Observao: Na demonstrao de que bijetora, no foi necessrio supor que sobrejetora ou injetora. Ambas as caractersticas usadas, a de que ) = , advm simplesmente do fato de , ), , ) implica = e que ser uma funo. Disso obtemos a recproca do teorema como um corolrio. Corolrio: Se : e : so funes, ento : bijetora.

Demonstrao: Como dito, na segunda parte do teorema no foi necessrio supor que era bijetora, ento j demonstramos que bijetora. Usando o teorema, bijetora implica que ) bijetora. Mas ) = , como j se sabe do captulo anterior (a relao inversa da relao inversa a prpria relao). Ento bijetora. Definio 2.2.1: Se : e chamada de funo inversa de : . : : QED

so funes, ento

66 Dizemos que uma funo possui inversa quando a relao inversa uma funo. Assim, o teorema e o corolrio nos dizem que uma funo possui inversa se, e somente se, bijetora. Devido ao teorema, comum que se chame uma bijeo : de correspondncia um-para-um entre X e Y. de
:

Observao: Deve-se tomar cuidado para no confundir a notao funo inversa com a de pr-imagem. Exemplo 2.2.1: A funo
: .

, onde P o conjunto dos pares positivos,

uma funo bijetora e sua inversa

Exemplo 2.2.2: Seja : tal que, A={1,2,3,4}, B={x,y,z,t} e = 1, ), 2, ), 3, ), 4, ) . Essa funo bijetora (verifique!). A relao inversa = , 1), , 2), , 3), , 4) , que tambm uma bijeo, mas de B em A.

Exerccios II 2
1 Dados os diagramas de funes abaixo, classifique cada funo como injetora, sobrejetora ou bijetora (caso possam ser classificadas como tais). a)

b)

c)

d)

67

2 No exerccio 7, Exerccios II 1, quando definir uma funo, identifique se a funo injetora, sobrejetora, bijetora ou no pode ser classificada dessa forma. 3 No exerccio anterior, quando for bijetora, encontre a funo inversa e represente essa em forma de diagrama. 4 Seja : ), ento = . : uma funo sobrejetora e , uma funo injetora e . Mostre que, se , mostre que )=

e como definidas no exerccio 12, 6 Considerando as funes Exerccios II 1, mostre que essas funes so sobrejetoras. Em que condies injetora? 7 Considere as funes : . Mostre que: e : tais que )= ) para todo

5 Sendo ) ).

)=

a) se e so injetoras e = = , ento : = injetora. b) se e so sobrejetoras, ento : tal que = sobrejetora.

tal que

8 D um exemplo de funo bijetora entre os naturais e os inteiros (s necessrio conjecturar).

3 Conjuntos Indexados e Generalizaes


3.1 Conjuntos indexados Em muitos casos, bastante til utilizarmos ndices para diferenciar elementos de um conjunto. Isso j foi feito ao longo do texto quando se usou famlias de conjuntos contendo um nmero finito de conjuntos (por exemplo, conjunto dos conjuntos com i natural de 1 at n). Apresentaremos agora, formalmente, como indexar elementos de um conjunto. Definio 3.1.1: Seja A um conjunto no vazio arbitrrio. Dizemos que A indexado pelo conjunto quando existe uma funo sobrejetora : A. Os elementos de so chamados de ndices e a imagem de um escrita como , onde .

68 Sempre possvel indexar um conjunto, pois podemos tomar = funo identidade. e a

Exemplo 3.1.1: Seja A um conjunto de 5 elementos. Podemos indexar esse conjunto com o conjunto {1,2,3,4,5}. Para tanto, chamamos 1) = , 2) = , , 5) = . Ou seja, = , , , ,

Observemos que indexao vale para qualquer conjunto de cinco elementos. Assim, podemos tomar conjuntos indexando seus elementos sem a necessidade de explicitar os elementos do conjunto.

Em especial, como foi feito at agora, podemos indexar famlias de conjuntos. Para isso, basta tomar um conjunto de forma que exista : sobrejetora, onde a famlia de conjuntos. A idia de indexar elementos de um conjunto , na verdade, simples. Apenas se troca a necessidade de usar smbolos diferentes para diferenciar elementos pela de usar ndices diferentes. Mas, como a funo no necessariamente bijetora, pode-se indexar um elemento duas ou mais vezes, de forma que podem existir elementos com mais de um ndice. Por exemplo, podemos indexar a famlia de conjuntos = , , , com o conjunto {1,2,3,4} chamando = , = , = = , mesmo tendo = . Esse detalhe ser considerado quando e generalizarmos a noo de produto cartesiano. Observao: Lembremos que foi convencionado que s admitiremos a possibilidade de ndices distintos se referirem a elementos iguais quando chamarmos o conjunto de famlia. Ou seja, se o conjunto no for chamado de famlia (de conjuntos ou elementos), ento a funo indicada na definio ser bijetora.

s vezes no importante qual a funo sobrejetora : A, mas apenas se ela existe. Por vezes se omitir o conjunto indexado e associaremos os ndices diretamente aos elementos.

Exemplo 3.1.2: Seja uma famlia de conjuntos tal que seja indexada pelo conjunto . Ento um elemento qualquer de tal que e o conjunto pode ser representado por = , ,, , .

Podemos introduzir uma notao para conjuntos indexados pelos n primeiros nmeros naturais ( = 1,2, , ) e at mesmo para os indexados por todos os naturais. Podemos escrever o conjunto = , ,, simplesmente como sendo = ( = , ,, ) e o conjunto = , , como = ( = , , ). Ou seja, nos exemplos 2.2.1 e 2.2.2 poderamos escrever = e = respectivamente. Observao: Passaremos a adotar a notao conjunto dos n primeiros nmeros naturais ( 1,2, , ). para representar o

69 A notao apresentada particular de conjuntos indexados por naturais, mas podemos ter uma notao mais geral. Seja A um conjunto indexado pelo conjunto , ento podemos chamar o conjunto A de = . Em particular, um conjunto A indexado pelos naturais ( = ) pode, tambm, ser representado por = . Quando escrevemos j se est informando que o conjunto indexado e qual conjunto de ndices, mostrando que essa notao concisa. Observao: Podemos ainda escrever o conjunto | . 3.2 Generalizaes =

como

Em posse da definio de indexao, podemos generalizar alguns resultados e fazer algumas redefinies. No que se segue, a indicao entre parnteses nas definies so referentes definio que se est redefinindo e nos teoremas ao teorema que est sendo generalizado. Definio 3.2.1 (1.9.2 I e 1.9.3 I): Seja X um conjunto arbitrrio no vazio e uma famlia arbitrria no vazia de subconjuntos de X. A unio e interseco de todos os conjuntos so definidas, respectivamente, por:

Ou seja, o conjunto de todos os elementos de X tais que esses pertenam a algum .

Ou seja, o conjunto dos elementos de X que pertenam, simultaneamente, a todos os subconjuntos . Para o caso particular de = , ainda conveniente usar a notao apresentada no primeiro captulo. Quando = , tambm comum serem usadas e . as notaes Exerccio 3.2.1: Mostre que: a) b)

Tente visualizar esses resultados de forma intuitiva. Pelo fato da unio ser comutativa e associativa, na (a) podemos imaginar que juntamos todos os num lado da seqncia de unies e todos os no outro. Por exemplo )= ) ) )= ) )= . = Exemplo 3.2.1: Considere a seguinte famlia de conjuntos: 1,2 , 1,3 , 1,4 . Podemos indexar os conjuntos com os naturais de forma

)= )=

) )

) )

70 conveniente: sendo = 1, + 1 . Ou seja, podemos escrever 1, + 1 . Assim, a unio desses conjuntos dada por:

1, + 1 =

afinal, contem o nmero 1 e o sucessor de cada natural. J a interseco dos conjuntos : = 1, + 1 = 1 +1 )= 1 +1 = 1, +1

pois, sendo +1 .

+1 e

+ 1 com , ento + 1

+ 1, que implica que

. .

Vamos redefinir agora a noo de partio de conjuntos.

Definio 3.2.2 (1.9.4 I): Uma partio de um conjunto A um conjunto = tal que cada seja subconjunto no vazio de A e as seguintes condies sejam satisfeitas. a) Se , b) = e , ento = .

O que foi pedido para ser demonstrado no Exerccio 1.9.1 I permanece vlido nesse caso mais geral. Ento o Teorema Fundamental das Equivalncias continua vlido. Tendo o conjuntos dos inteiros no negativos, = 0,1,2,3, , podemos indexar o conjunto = 0 , 1, 1 , 2, 2 , de forma conveniente com chamando ,

Exemplo 3.2.2: Podemos particionar o conjunto da seguinte forma: = , . = 0 , 1, 1 , 2, 2 , =

a)

, , , e , ento , , = . Isso porque, se ento . bom lembrar que , e, portanto, no h perigo de = . b) , = . Isso de fato acontece, pois notemos que , = negativos pertencem unio e tambm os inteiros no positivos. Portanto, , = .

. Demonstremos que esse conjunto uma partio de :

de

Assim,

)=

. Ou seja, todos os inteiros no

Exerccio 3.2.2: No captulo anterior foi afirmado que o teorema fundamental das relaes de equivalncia possui recproca. Portanto, a partio apresentada acima est ligada a uma relao de equivalncia. Qual ela?

71 Agora generalizaremos os teoremas apresentados na subseco 1.11 do Captulo I. Teorema 3.2.1: Seja X um conjunto arbitrrio no vazio, uma famlia arbitrria no vazia de subconjuntos de X e A um conjunto qualquer. Ento: a) b) c) d) e) (1.11.1 I) (1.11.2 I) (1.11.3 I) (1.11.4 I) (1.11.5 I)

) )

= =

Mostremos, agora, a recproca. Se )), ento, por definio, para todo , donde se tem que qualquer que seja . Dessa forma, com x no pertencendo a nenhum , x no pertence unio deles, ou seja, ). Isso mostra que . Assim, )) implica ). Assim, temos ). Ora, mostramos )) logo acima que ), o que nos leva a concluir:

), ento Se . Assim, tambm se conclui que significa que x no pertence a nenhum . Mas x para todo , afinal, pertence a A e, assim, sempre temos que ) para qualquer .Ento, por definio, x pertence interseco de todos os conjuntos ), ou seja, ), ento )). Assim, )). Isto , se acabamos de mostrar que )

Demonstrao: Demonstraremos apenas a (a) para mostrar a semelhana com a demonstrao j feita para o caso menos geral. O restante ser deixado como exerccio.

= =

) ) )

) )

).

QED a) (Corolrio 1.11.1 I): b) (Corolrio 1.11.2 I): Corolrio: Se

uma famlia de subconjuntos de A, temos:


Em cada parte do corolrio, a expresso aps o e a notao quando A o conjunto universo. Exerccio 3.2.2: Demonstre as partes que faltam no teorema acima e o corolrio. Teorema 3.2.2 (1.4.3): Seja : arbitrria de subconjuntos de X. Ento: Agora generalizaremos os teoremas 1.4.3 e 1.4.4. uma funo e

= =

)e )e

) = ) =

). ).

uma famlia

72 a) b)

), ento existe Demonstrao: (a) Se tal que )= . ) = , que o mesmo que existir , para algum , tal que Assim, ) para algum . Por definio, isso significa que ). ) Mostramos, ento, que ). Reciprocamente, )o mesmo que ) para algum . Assim, existe , para algum , tal ) = , que, por definio, implica que . Por seguinte, temos que ), levando-nos a concluir que ). Demonstrada ) )= essa incluso e a anterior, temos, finalmente, ). ), ento existe ) = , que (b): Se tal que ) = . Assim, ) para equivalente a existir , para todo , tal que ) todo , que significa ). Mostramos, ento, que ). Teorema 3.2.3 (1.4.4): Seja : arbitrria de subconjuntos de Y. Ento: a) b)

)= )

) )

), ento ) Demonstrao: (a): Se , que o ) para algum . Dessa forma, ) para algum , mesmo que ) que equivalente a ). Mostramos, ento, que ). Reciprocamente, se ), ento ) para algum ) ) . Assim, para algum , que, equivalentemente, significa ) e, demonstradas essa incluso e a . Logo, ) )= anterior, conclumos que ). (b): Na demonstrao acima, ao trocarmos por algum por para todo, obtemos a demonstrao de (b). e a expresso para

)= )=

) )

QED

uma funo e

uma famlia

QED Exerccio 3.2.3: Faa as mudanas sugeridas na parte (b) do teorema acima. A parte (b) do Teorema 3.2.2 pode ser melhorada para funes injetoras, como mostrado no teorema abaixo.

Teorema 3.2.4: Seja : uma funo injetora e arbitrria de subconjuntos de X. Ento: = )

uma famlia

73 Demonstrao: J foi demonstrado que caso geral, ento precisamos mostrar que injetora. )

Se ), ento ) para todo . Assim, para todo , ) = . Mas, por ser injetora, temos que todos esses existe tal que devem ser iguais e, portanto, chamemos de . Como nico, esse deve pertencer a todos os , ou seja, para todo , que o mesmo que . Por )= , ), demonstrando, ento, que seguinte, sabendo que ), pois ). Conclumos, ) ) implica )= dessa forma, que ). QED 1 Considere o conjunto = 2,4, , 4,6,8, , 6,8,10, , . Indexe esse , , e mostre que: conjunto com os naturais de forma que = a) b)

) para o ) quando

Exerccios II 3

SUGESTO: Faa uma indexao que seja conveniente e represente os conjuntos pela propriedade que os caracterizam. Na (b), mostre que, dado um elemento do conjunto , existe um conjunto ao qual no pertence. 2 Generalize os resultados do exerccio 13, Exerccios I 1. Ou seja, dadas as famlias de conjuntos no vazias ,e , mostre que:

= , onde =

= 2,4, .

)=

e )= = )

3 Dada a famlia de conjuntos no vazia vazio, mostre que: a) b)


e um conjunto A no ) )

)= )=

4 Sendo

)e )e )

) )

= =

uma famlia de conjuntos, mostre que:

SUGESTO: Use o fato da unio ser uma operao fechada.

74 )= 5 Seja : uma famlia no vazia de funes tais que ) para todo . Mostre que : , tal que = , uma funo. SUGESTO: Use o resultado do exerccio anterior e reveja como foi demonstrada a forma menos geral desse teorema.

4 Produtos Cartesianos: Caso Geral


At o momento nos atemos a uma noo intuitiva de conjunto sem tocar diretamente em algum ponto da Teoria Axiomtica dos Conjuntos. Mas vamos apresentar agora um axioma que garantir que a definio generalizada de produto cartesiano de fato pode ser feita e que o objeto procurado existe. 4.1 O Axioma da Escolha A Teoria Axiomtica dos Conjuntos composta de uma srie de axiomas, mas apresentaremos apenas um deles, o Axioma da Escolha, pois suficiente para discutirmos o caso geral de produtos cartesianos. Axioma 4.1.1 (Axioma da Escolha): Se uma famlia no vazia de conjuntos no vazios, ento possvel tomar (escolher) um, e apenas um, elemento de cada um desses conjuntos e formar um conjunto A com esses elementos. Mais precisamente, o axioma diz que existem funes : tais ) que para todo . Ou seja, funes cuja imagem de um um (conjunto correspondente ao ndice). elemento de Observao: Indiretamente, na forma mais tcnica de se enunciar o ) , para todo , axioma, a existncia da funo : tal que garante a existncia do conjunto A ao qual pertence um elemento de cada . O conjunto A a imagem da funo. A funo do tipo apresentado no axioma chamada de funo escolha, pois se escolhe um elemento de cada conjunto e se constri um conjunto A, chamado de conjunto escolha, com esses elementos. , = , e = , , uma funo tal que 1) = , 2) = e 3) = . O

Exemplo 4.1.1: Sendo = , escolha possvel : 1,2,3 conjunto escolha nesse caso = , .

Exerccio 4.1.1: Encontre mais dois exemplos de funes escolha no exemplo acima, d os conjuntos escolha e represente a funes diagramaticamente.

75 Uma maneira informal de se ver o que o axioma garante a seguinte: tendo uma quantidade de cestas (talvez infinitas) com, cada uma, tendo pelo menos um objeto, o axioma garante que podemos pegar exatamente um objeto de cada cesta e formar um conjunto com esses objetos. Vendo dessa forma, o axioma parece dizer o obvio, mas no possvel obter o axioma de afirmaes mais fundamentais. Existem casos, mesmo com infinito, em que no necessrio o axioma da escolha para garantir a existncia do conjunto escolha, mas nesses casos ) se pode exibir explicitamente uma funo escolha : tal que para todo . No caso geral, ou seja, para uma famlia qualquer no no vazios, nem sempre possvel exibir tais funes, mas o vazia de conjuntos axioma da escolha garante que elas existem. Um exemplo simples de situao onde se usa o axioma da escolha quando, tendo um conjunto X no vazio, criamos uma relao de equivalncia E em X e construmos um conjunto escolhendo um elemento de cada classe de equivalncia (sem uso de uma regra para obter esses elementos). Os elementos escolhidos, nesse caso, so chamados de representantes das classes de equivalncia. O teorema abaixo, que ser muito utilizado ao longo do texto, ilustra esse procedimento. : Teorema 4.1.1: Seja : uma bijeo, onde = uma funo sobrejetora. Existe ) . tal que

Demonstrao: Construamos uma relao de equivalncia em da )= ). De seguinte forma: , so equivalentes se ser sobrejetora )= para algum e esse uma temos que, para cada , existe classe de equivalncia pela definio de pr-imagem. Usando o axioma da escolha, tenhamos com um elemento de cada classe de equivalncia. Assim, : )= sobrejetora, pois por possuir um elemento de cada classe de ) equivalncia, e injetora, j que, se , , ento e, portanto, ). Com um certo abuso de linguagem, podemos chamar : de : , pois apenas se mudou o domnio da funo (mas tambm podemos usar = ). possvel tambm restringir o domnio junto ao contradomnio da funo em alguns casos, mas deve-se sempre tomar os devidos cuidados com essas manobras. 4.2 Generalizao do produto cartesiano Tendo a idia de par ordenado e produto cartesiano, definimos o conceito de funo. Agora usaremos funes para redefinir a noo de produto cartesiano entre dois conjuntos. Definio 4.2.1: Dados os conjuntos A e B, chamamos de produto cartesiano entre A e B, denotado por , o conjunto de todas as funes : 1,2 QED

76 tais que 1) | 1) 2) . e 2) . Ou seja, o conjunto = : 1,2

Ainda podemos dizer que o conjunto o conjunto de todos os pares ordenados , ) com e . Para isso, dizemos que o par ordenado , ) a funo : 1,2 em que 1) = e 2) = . Ou seja, , ) uma funo em que a imagem de 1 (por ser a primeira coordenada) e a imagem de 2 (por ser a segunda coordenada). ATENO: Essa forma de tomar par ordenado e produto cartesiano no rigorosamente igual a que j foi apresentada anteriormente e, portanto, o par ordenado usado quando definimos conceitos anteriores como, por exemplo, funes no o mesmo apresentado aqui. Mas, para efeitos prticos, no distinguiremos eles. Exemplo 4.2.1: Usemos a definio para construir o conjunto A={a,b} e B={1,2,3}. em que

Devemos encontrar todas as funes possveis de se fazer com 1,2 sendo o domnio, = , , 1,2,3 sendo o contradomnio e tendo 1) e 2) . Listemo-las: a) b) c) d) e) f) : : : : : : 1,2 1,2 1,2 1,2 1,2 1,2 tal que tal que tal que tal que tal que tal que 1) = 1) = 1) = 1) = 1) = 1) = e e e e e e 2) = 1 2) = 2 2) = 3 2) = 1 2) = 2 2) = 3 , 1), = = = = = = , 1) , 2) , 3) , 1) , 2) , 3)

Ou seja, = , 1), , 2), ordenados definidos como acima.

, 3),

Exerccio 4.2.1: Construa o conjunto forma como foi feita acima.

, 2),

, 3) , mas com esses pares

tal que A={x,y,z} e B={k,l,m} da

Ainda no acrescentamos nada de novo em termos prticos, pois j tnhamos uma definio de produto cartesiano e apenas a substitumos por outra. Mas, usando a mesma idia, podemos definir o produto cartesiano entre um nmero finito de conjuntos como segue abaixo. uma famlia de conjuntos no vazios, o Definio 4.2.2: Sendo produto cartesiano entre os conjuntos dessa famlia, denotado por , ) o conjunto de todas as funes : 1,2, , tais que para todo 1,2, , . Ou seja: = : 1,2, , ) 1,2, ,

77 Nesse caso, as funes so chamadas de n-uplas e denotadas por , , ), ) . O papel da funo : 1,2, , onde = , ento, dispor os elementos ,, , com , numa ordem: o 1 tem como imagem um elemento e est associado primeira coordenada, o 2 tem como imagem um elemento de de e est associado segunda coordenada e assim por diante at chegar a . Exemplo 4.2.2: Sendo A={a,b}, B={b,c} e C={x,y}, encontremos o conjunto .

Primeiro notemos que so trs conjuntos que compem o produto cartesiano. Ento o conjunto de ndices {1,2,3}. Como antes, devemos encontrar todas as funes com domnio {1,2,3} e contradomnio = , , , , tais que 1) , 2) e 3) . Faamos a lista delas: a) b) c) d) e) f) g) h) : : : : : : : : 1,2,3 1,2,3 1,2,3 1,2,3 1,2,3 1,2,3 1,2,3 1,2,3 tal que tal que tal que tal que tal que tal que tal que tal que 1) = 1) = 1) = 1) = 1) = 1) = 1) = 1) = , , , , , , , , 2) = 2) = 2) = 2) = 2) = 2) = 2) = 2) = e e e e e e e e 3) = 3) = 3) = 3) = 3) = 3) = 3) = 3) = = = = = = = = = , , , , , , , , , , , , , , , , ) ) ) ) ) ) ) )

Assim, o conjunto procurado = , , ), , , ), , , ), , , ), , , ), , , ), , , ), , , ) , com essas trincas ordenadas definidas como feito acima. Exerccio 4.2.2: Com os conjuntos A e B definidos como acima, construa o conjunto .

possvel generalizar ainda mais o conceito de produto cartesiano. Para isso basta tomar um conjunto no vazio de ndices qualquer, .

Definio 4.2.3: Seja uma famlia no vazia de conjuntos no vazios . O produto cartesiano entre esses conjuntos, denotado por o conjunto ) tais que para todo . Ou seja: de todas as funes :

Nas duas primeiras definies, representamos os cartesiano por listas ordenadas, mas geralmente no representao. Assim, chamamos os elementos de . No caso particular de = 1,2, , , = )= Tambm possvel usar a notao ) pode ser escrito como curta. Nesse caso, ,, ) onde . )

elementos do produto possvel fazer tal ), onde de )= e

, que um pouco mais )= ) . Como se pode

78 ver, essa uma notao semelhante apresentada na seco anterior para ) como um conjunto ordenado de conjuntos indexados. Podemos pensar elementos .

forem iguais, chamamos esses de A ( = para Se por acaso todos os todo ) e usamos a notao = . Por exemplo, podemos chamar o , produto cartesiano de , mas mais comum ser escrito como . Com as e at mesmo generalizaes, podemos ainda ter = , , , = , ,, , , = (esse ltimo mais comumente representado por ). Vemos que o conjuntos de todas as funes de em A, afinal, : = : A quando so iguais. Em particular, se = A, ento : A = : A A e, assim, todos os o conjunto de todas as funes de A em A. Exemplo 4.2.3: Sendo = , , o conjunto funes : 1,2,3 = : 1,2,3 a) b) c) d) e) f) g) h) : : : : : : : : 1,2,3 1,2,3 1,2,3 1,2,3 1,2,3 1,2,3 1,2,3 1,2,3 tal que tal que tal que tal que tal que tal que tal que tal que = 1) = 1) = 1) = 1) = 1) = 1) = 1) = 1) = , , , , , , , , 2) = 2) = 2) = 2) = 2) = 2) = 2) = 2) = e e e e e e e e o conjunto de todas as = = = = = = = = , , , , , , , , , , , , , , , , ) ) ) ) ) ) ) )

Podemos observar que todas as funes usadas nas definies apresentadas so funes escolha. Ento o que foi feito nos exemplos 4.2.1, 4.2.2 e 4.2.3 encontrar todas as funes escolha. Vemos, ento, que o Axioma da Escolha garante que o produto cartesiano no vazio sempre que no vazio e vazio. Incrivelmente, no seria possvel, sem o Axioma da Escolha, nenhum demonstrar de forma geral que o produto cartesiano entre conjuntos no vazios no vazio. Exemplo 4.2.4: Um tipo de funo especialmente importante (em especial na Topologia) com domnio sendo um produto cartesiano so as projees cannicas. Sendo uma famlia no vazia de conjuntos no vazios, a projeo cannica sobre o conjunto ( um ndice fixo) a funo : ) )= tal que . O que a funo faz, na verdade, simples: sabendo que

Ou , , ).

seja,

, , ),

, , ),

, , ),

3) = 3) = 3) = 3) = 3) = 3) = 3) = 3) =

, , ),

, , ),

, , ),

, , ),

) uma funo escolha e a imagem possui um elemento de cada (em especial, um elemento ), a projeo cannica pega, na imagem de cada ) , o elemento que pertence a e devolve ao conjunto . Demonstremos que toda projeo cannica sobrejetora. Com efeito, se , ento existe uma funo escolha : ) tal que

79 )= . Ou seja, existe :

mostrando que a funo sobrejetora (lembrando que

). Pode-se observar que existe uma projeo cannica sobre cada conjunto do produto cartesiano. Ou seja, no caso dado, existem n projees cannicas. No exerccio 12, Exerccios II 1, as funes e l definidas so projees cannicas sobre X e Y respectivamente. , ento Exerccio 4.2.3: Mostre que, se :

No caso especial de = 1,2, , = , a funo : ,, ) = a projeo cannica sobre (lembrando que

tal que ) = :

)= ). =

tal que

cannica bijetora (j que todas so sobrejetoras), todas as outras so. SUGESTO: Suponha que alguma outra no seja injetiva e mostre que isso implica que a : no injetiva (contrariando a hiptese). Exerccio 4.2.4: No exerccio anterior, mostre, no entanto, que, se algum conjunto do produto cartesiano no unitrio, : no injetora. Assim, nenhuma projeo cannica ser injetiva se algum conjunto ) de um elemento. SUGESTO: Tome dois elementos distintos todo = para e .

injetora para todo

. Ou seja, se uma projeo

injetora para algum

possuir mais )

com

Definimos o produto cartesiano entre conjuntos no vazios como um conjunto de funes escolha, mas no devemos abandonar a noo intuitiva que j tnhamos de produto cartesiano. Embora seja necessrio saber que os elementos do produto cartesiano so funes (funes escolha) em alguns casos, podemos esquecer esse detalhe caso o interesse seja apenas no fato dos elementos serem conjuntos ordenados. Por exemplo, no necessrio saber que os elementos de so funes escolha de {1,2} em para trabalhar com relaes de equivalncia em . 1 Sejam e conjuntos no vazios e uma relao binria de em . Use o axioma da escolha para mostrar que existe tal que define uma ) ). Ou seja, mostre que toda relao binria contm uma funo : funo com mesmo domnio da relao. SUGESTO: Defina uma relao de equivalncia na imagem de de forma que, sendo , ), se existe tal que , ), , ) . 2 Considere a famlia de conjuntos no vazios

Exerccios II 4

. Mostre que:

Essa uma generalizao do exerccio 4, Exerccios II 3.

80

5 Operaes Unrias e Binrias; Estruturas Algbricas Bsicas


Definio 5.1.1: Uma operao uma funo : e um conjunto de ndices no vazio. 5.1 Operaes e Relaes , onde A no vazio

O Axioma da Escolha garante que essa funo sempre existe, pois garante que o conjunto no vazio. Quando o conjunto finito, a operao dita finitria e possvel nesse caso, como foi feito na seco anterior, tomar = sem perda de generalidade. Assim, a operao : toma a forma : ou : , que mais comum e conveniente, e chamada de operao n-ria.

Exemplo 5.1.1: Seja , , )

tal que

. Essa uma operao n-ria sobre . Por exemplo, podemos ter : e, nesse caso, 2,1,3) = = 2.

: definida da seguinte forma:

,,

e uma Em particular, uma operao 2-ria uma funo do tipo : operao 1-ria uma funo do tipo : . Mais comumente, esses tipos de operaes so referidos por binria e unria, respectivamente, e so os casos de maior relevncia. Exemplo 5.1.2: Um exemplo de operao binria a soma de nmeros reais. A operao soma a funo +: tal que + , ) = + .

Analogamente, uma relao dita ser uma relao finitria quando finito. Como anteriormente, nos casos em que R uma relao finitria, podemos tomar = sem perda de generalidade e, nesse caso, R dita uma relao n-ria. O tipo mais importante de relao j foi apresentado: a 2-ria (ou binria, ou seja, ) e exemplos relevantes desse tipo de relao j foram apresentados no captulo anterior. Um detalhe adicional, em relao nomenclatura, que chamamos de tipo a cardinalidade do conjunto . Por exemplo, o tipo de uma da operao : funo binria 2. Analogamente, o tipo de uma relao a cardinalidade de . 5.2 Comutatividade, associatividade e distributividade Inicialmente, devemos introduzir uma notao muito comum para operaes binrias, chamada de notao mesofixa. Dada uma operao binria : , temos que , ) , ), mas mais comum que se represente como , ) , ou seja, colocando o smbolo da operao entre as duas coordenadas. Um exemplo

Exemplo 5.1.3: Nos reais tambm possvel encontrar um exemplo simples de operao unria. Esse a operao que leva cada elemento a seu oposto aditivo. )= . Ou seja, : tal que

81 a operao soma entre nmeros reais, +: , simbolizamos + , ) por + . onde, sendo , ,

Definio 5.2.2: Uma operao : dita associativa quando, para todo , , , , , ) = , ), ), ou seja, em notao mesofixa, quando )= ) . Nesse caso, no h ambigidade ao se escrever (e usaremos esse fato inmeras vezes). Exemplo 5.2.1: Exemplos bem familiares de operaes que possuem essas duas propriedades so a soma e multiplicao de nmeros reais. De fato se sabe que, sendo +: e : as operaes soma e multiplicao respectivamente, + = + , = , + + ) = + ) + e ) = ) . Exemplo 5.2.2: Tomemos a operao Essa operao comutativa, mas no associativa. De fato, fato da operao soma ser comutativa e, por um lado, mas, por outro lado, portanto, de ). ) = = : definida por = )= pelo prprio = , e, = .

Definio 5.2.1: Uma operao : dita comutativa quando, para todo , , , )= , ), ou seja, em notao mesofixa, quando = . comum tambm que se chamem operaes binrias comutativas de abelianas.

, que, em geral, diferente de

Exerccio 5.2.1: D um exemplo de operao entre nmeros reais que no seja comutativa. Observao: Podem-se definir operaes nos conjuntos numricos (tais como os reais, racionais, etc.) e cham-las de multiplicao ou adio (soma) sem que sejam o que normalmente chamamos de soma ou multiplicao (s vezes, nem mesmo possuem caractersticas que normalmente atribumos a essas operaes). Por isso ser comum usarmos os termos multiplicao usual e adio usual para nos referirmos as operaes multiplicao e adio como normalmente so definidas. Mas, se no for dito o contrrio, sempre estaremos nos referindo s soma e multiplicao usuais. Abaixo est definida outra propriedade importante envolvendo operaes binrias, mas, nesse caso, a propriedade uma relao entre duas operaes.

e : duas operaes binrias. Definio 5.2.3: Sejam : Dizemos que a operao distributiva esquerda em relao quando, para todo , , , , , ) = , ), , ) , ou seja, em notao mesofixa, )= ) ). Definio 5.2.3: Sejam : e : duas operaes binrias. Dizemos que a operao distributiva direita em relao quando, para todo

82 , , , ) = , ), ) = ) ). , ), , ) ,

ou

seja,

em

notao

mesofixa,

Quando uma operao distributiva tanto pela esquerda quanto pela direita em relao , dizemos simplesmente que a operao distributiva em relao . Naturalmente, se as operaes e so comutativas, a operao distributiva esquerda em relao se, e somente se, distributiva direita. Na verdade, a comutatividade apenas de j garante que, se distributiva esquerda de , tambm direita (e vice-versa). Exerccio 5.2.2: Mostre isso. Exemplo 5.2.3: Novamente temos como exemplo a multiplicao e soma entre reais. Afinal bem conhecida a distributividade da multiplicao em relao soma, ou seja, + ) = + ) = ) + ). esse fato que nos permite, tendo definido 1 + 1 2 e sabendo que = 1 , que afirmemos que + = 2 . De fato, pois + = 1 + 1 = 1 + 1) = 2 .

Exerccio 5.2.3: Por que, no Captulo I, foi um abuso de linguagem chamar as propriedades demonstradas nos teoremas 2.2.1, 2.2.2 e 2.2.3 de distributividades?

Exemplo 5.2.4: Sendo A um conjunto e P(A) o conjunto das partes de A, j sabemos do captulo anterior que as operaes binrias e (unio e interseco), definidas de ) em ), so distributivas uma em relao outra. Essas tambm so exemplos de operaes comutativas e associativas. 5.3 Grupos Comearemos a apresentar agora algumas estruturas algbricas, mas, para tanto, devemos saber antes o que uma estrutura e como a representamos.

A notao no fixa e tanto quanto podem ser vazios. Se = , mas , ento o par , ) chamado de estrutura algbrica (foco do que ser apresentado). Mas, quando = e , o par , ) chamado de estrutura relacional. comum que, quando a estrutura subentendida, escrever simplesmente A para indicar a estrutura sobre o conjunto A. Exemplo 5.3.1: Um exemplo de estrutura algbrica pode ser construdo a partir do Exemplo 5.2.4. Tomando um conjunto A e seu conjunto das partes, P(A), podemos criar uma estrutura algbrica sobre P(A) introduzindo as operaes unio ), e interseco entre elementos de P(A). Representamos essa estrutura por ,). Vemos que a notao para estruturas flexvel e comum explicitar as operaes de uma estrutura algbrica. O importante ao se representar uma estrutura que esteja claro de qual estrutura se est tratando.

Definio 5.3.1: Seja A um conjunto no vazio, uma coleo de operaes (no necessariamente finitrias) sobre A e uma coleo de relaes (no necessariamente finitrias) sobre A. Chama-se estrutura sobre A a tripla , , ).

83 Definio 5.3.2 (grupo): Seja G um conjunto e : uma operao binria, chamada produto, sobre G. Dizemos que a estrutura ,) um grupo quando as seguintes condies forem satisfeitas:

Quando, alm de apresentar essas propriedades, o produto for comutativo, o grupo chamado de grupo Abeliano.

a) Para todo , , vale que ) = ) (associatividade). b) Existe um elemento tal que, para todo , = = (elemento neutro) c) Para todo existe um elemento tal que = = . Comumente representamos esse elemento b por (elemento inverso).

Grupos so estruturas algbricas simples, mas bastante fundamentais e importantes. A Teoria de Grupos a parte da matemtica que estuda as propriedades dessas estruturas. Infelizmente, na situao pedestre que nos encontramos, no ser possvel explicitar a importncia dos grupos nem suas aplicaes, pois essas aparecem em assuntos avanados de Matemtica e Fsica. Algumas propriedades elementares dos grupos so apresentadas abaixo. Teorema 5.3.1: Seja ,) um grupo. Ento valem as seguintes afirmaes:

a) O elemento neutro, e, nico. b) Sendo , o elemento inverso de , , nico. ) = para todo . c) d) Valem as leis de corte = = e = = para todo , , . e) Para todo , as equaes = e = possuem soluo nica em G. Demonstrao: (a): Suponhamos que exista um elemento = para todo . Ento = = , mostrando a unicidade. (b): Suponhamos que exista tal que tal que

= associatividade, = = ) = mostrado a unicidade. Naturalmente, o inverso de ele prprio, pois (c): Usando a associatividade: ) = = , ento: = ) = ) )= ) ) = )

= . Ento, usando a = = . ,

(d): Se

Analogamente se demonstra a segunda parte da afirmao.

)=

84 (e): Se = , ento:

)=

Analogamente se demonstra a segunda parte da afirmao. Exerccio 5.3.1: Sendo ,) um grupo, mostre que, para quaisquer , , . Observe que, se Abeliano, ) = (mostre que ) = isso s ocorre se Abeliano). QED

) =

Exemplo 5.3.3: Seja A um conjunto e P(A) o conjunto das partes de A. A ), ), onde : ) estrutura ) a operao diferena simtrica, um grupo Abeliano. De fato , pois a operao associativa, comutativa, o elemento neutro o conjunto vazio e, para cada ), tem-se = , ou seja, A seu prprio elemento inverso. = 0,1,2,3 e a adio entre , = + Exemplo 5.3.4: Outro exemplo simples de grupo a estrutura , ) onde 4) (l-se a mais b mdulo quatro). Por exemplo, definida como sendo a = .

Exemplo 5.3.2: A estrutura , +) um grupo Abeliano, pois a operao soma associativa e comutativa. Alm disso, existe um elemento neutro da soma, 0, e, para cada elemento , existe um elemento chamado tal que + ) = 0.

Mas a notao mais comumente empregada para representar esse resto

A operao associativa e comutativa, pois ) = + )+ 4) = + + ) 4) = ) e = + 4) = + 4) = . O elemento neutro da operao o elemento 0, pois 0 = +0 4) = 4) = , afinal, lembremos que 0,1,2,3 . O elemento inverso de um o elemento = 4 4). Para mostrar isso, primeiro demonstremos que . De fato isso acontece, pois , e, dessa forma, 0 < 4 < 4 quando 0 e, portanto = 4 4) = 4 nesse caso. Mas, se = 0, =4 4) = 0 (o resto de 4 dividido por 4 0). Conclui-se, ento, que . Agora, demonstremos que esse realmente o inverso de . De fato, afinal, = + 4 ) 4) = 4 4) = 0. Mostramos, portanto, que , ) um grupo. um grupo, onde n um natural, = 0,1,2,3, , 1 e = ): basta substituir 4 por n. O que foi feito acima facilmente generalizado para mostra que , ) = +

32 = 3 + 2 4) = 5 4) = 1, pois 1 o resto da diviso de 5 por 4. Demonstremos que essa estrutura um grupo Abeliano.

85 Observao: Passaremos a adotar a notao = 0,1,2,3, , 1 .

Grupos podem ser finitos ou infinitos. O grupo apresentado no Exemplo 5.3.2 infinito, mas, no Exemplo 5.3.4, o grupo claramente finito. Damos o nome de ordem do grupo cardinalidade do conjunto do grupo. Embora a maioria dos exemplos que podemos encontrar de grupos sejam infinitos, existem muitos grupos finitos importantes. Para grupos finitos, possvel construir uma tabela, chamada tabela de Cayley, onde a primeira linha possui o smbolo da operao e um elemento do grupo em cada outro espao da linha e o mesmo acontece na primeira coluna. O resultado da operao entre dois elementos escrito no espao onde se cruzam a linha e a coluna dos elementos em questo. Por exemplo, o resultado de est no cruzamento da linha de com a coluna de . Como exemplo, faamos a tabela de com a operao definida acima.

Exemplo 5.3.5: A estrutura ,) no um grupo, pois, embora o produto de nmeros naturais seja associativo e possua elemento neutro, 1, apenas o nmero 1 possui elemento inverso. Quando apenas essas duas caractersticas de grupo so satisfeitas, chamamos a estrutura de monide. Ou seja, a estrutura ,) um monide (mais especificamente, monide Abeliano, pois a operao tambm comutativa). Ao tomarmos um subconjunto , onde G um grupo, interessante verificar se H , ele mesmo, um grupo com relao mesma operao. Naturalmente, como se trata da mesma operao que torna G um grupo, a operao j associativa, mas seguem na definio abaixo as outras condies que tornam H um grupo. Definio 5.3.3: Seja ,) um grupo, onde e o elemento neutro, e Dizemos que H um subgrupo de G quando: a) para todo , b) c) Se , ento . Claro, sempre se tem que . .

e G so subgrupos de G. O subgrupo

dito

trivial.

86 Exerccio 5.3.2: Mostre que a condio (b) da definio acima decorre, na verdade, das condies (a) e (c).

Exemplo 5.3.6: A estrutura , +), onde = , 4, 2,0,2,4, o conjunto dos nmeros pares, um subgrupo de , +). Com efeito, se e so nmeros pares, ento + um nmero par (verifique sabendo = | = 2 ), o elemento neutro, 0, pertence ao conjunto P e, se , ento , j que, se = 2 , para algum n inteiro, ento = 2 = 2 , onde = , que um nmero inteiro. 5.4 Anis

Definio 5.4.1 (anel): Seja A um conjunto onde esto definidas duas e : . A estrutura , +,) dita um anel quando operaes binrias, +: so satisfeitas as seguintes condies: Para todo , + = + (comutatividade de +). Para todo , , + + ) = + ) + (associatividade de +). Existe um elemento 0 tal que + 0 = 0 + = (elemento neutro de +). Para todo existe um elemento denominado tal que + ) = ) + = 0 (elemento inverso por +). e) Para todo , , ) = ) (associatividade de ). f) Para todo , , + )= + e + ) = + a) b) c) d)

Observao: No exigido um elemento neutro para a multiplicao (operao ) nem essa precisa ser comutativa. Como se pode ver, todo anel um grupo Abeliano em relao adio (operao +) e, assim, o que j foi demonstrado para grupos continua valendo para a adio no anel. comum que um anel tenha elemento neutro para a multiplicao, ou seja, um elemento, chamado de 1, tal que 1 = 1 = para todo e alguns autores at incluem essa propriedade como exigncia na definio de anel, mas aqui chamaremos tais anis de anis com unidade. Anis so presentes em quase toda a matemtica e tambm possuem uma rea destinada ao estudo de suas propriedades, a Teoria de Anis.

Exemplo 5.4.1: Um exemplo de anel a estrutura , +,). Mais especificamente, esse anel um anel comutativo com unidade, pois a operao multiplicao comutativa e existe elemento neutro para essa, o nmero 1. 5.5 Corpos Definio 5.5.1 (corpo): Seja um conjunto onde esto definidas duas operaes binrias, +: e : . A estrutura , +,) dita um corpo quando so satisfeitas as seguintes condies: 1 Propriedades da adio (+): a) Para todo , + = +

(comutatividade de +).

87 b) Para todo , , + + ) = + ) + (associatividade de +). c) Existe um elemento 0 , chamado de elemento nulo, tal que + 0 = 0 + = (elemento neutro de +). d) Para todo existe um elemento denominado tal que + ) = ) + = 0 (elemento inverso por +).

2 Propriedades da multiplicao ):

A condio 1 0 pode parecer estranha (tente no associar quantidades a esses smbolos), mas necessria para no cair num caso trivial (verifique o que acontece se 1 = 0). Veremos mais adiante que as estruturas , +,) e , +,) so corpos e, na verdade, no de se espantar com isso, pois essas estruturas inspiraram a definio posta.

3 Distributividade: o produto distributivo em relao adio. Ou seja, para todo , , , + ) = + . Naturalmente, distributivo direita tambm, j que a multiplicao comutativa.

a) Para todo , = (comutatividade de ). b) Para todo , , ) = ) (associatividade de ). c) Existe um elemento 1 0, chamado de unidade tal que 1 = 1 = (elemento neutro de ). d) Para todo 0 ) existe um elemento denominado tal que = = 1 (elemento inverso por ).

Observao 1: comum omitir o smbolo da multiplicao ao se fazer a operao e faremos isso com freqncia. Observao 2: comum ser usada a notao 0 =

e a usaremos.

Claramente, todo corpo um grupo Abeliano, em relao adio, e um anel. Assim, o que foi demonstrado para grupos continua valendo para a adio em um corpo. Um corpo no um grupo em relao multiplicao pelo simples fato de 0 no possuir inverso multiplicativo (veja a afirmativa (a) do teorema abaixo). Mas ,) um grupo Abeliano e, assim, as propriedades demonstradas para grupos valem na multiplicao quando no consideramos o elemento 0. Algumas outras propriedades gerais de corpos so apresentadas no teorema abaixo. a) 0=0 b) Sendo , , = 0 = 0 ou = 0. c) )= ) = )e ) )= = , ento = . d) Definindo , se Teorema 5.5.1: Se , +,) um corpo, ento valem:

(regras dos sinais).

Lembrando que significa para todo e significa se, e somente se.

88 Demonstrao: (a): Usando a distributividade, 0 + = 0 + 1 = 0 + 1) = 1 = . Ou seja, 0 + = = + 0, que, sabendo que vale a lei de corte para a soma, equivale a 0 = 0. (b): Como e so arbitrrios, suponhamos que 0. Assim, sendo = 0, temos, ao multiplicar ambos os lados por , que =0 = 0 = 0. ) em ambos os lados, temos )+ + ) = ) )+

0 = ) ) = ). De forma anloga se conclui que ) = ). Usando esse fato, temos que ) ) = ) = ) = .

(c): Usando a distributividade, temos ) + = + ) = 0 = 0, onde usamos o que foi demonstrado em (a). Assim, ) + = 0, somando

(d): = + )=0 + ) = + + ) + ) = + )+ )+ )= + )+ + ) ) = + ) + )= + ) + + ) ) = + ) + ) = 0. Ou seja, + ) = 0. De (b), sabe-se que + ) + ) = 0 + ) = 0 ou + ) = 0, que ocorre s quando = ou = . QED

Exerccio 5.5.1: Na letra (d) do teorema anterior, em cada passo da demonstrao, indique qual propriedade (de corpos) ou teorema foi utilizado. SUGESTO: Lembre-se da validade do teorema demonstrado para grupos. Atravs das propriedades dos corpos, possvel criar mais duas operaes teis (e bastante familiares nos corpos e ). Para tanto, usaremos as notaes + ) = , essa chamada de diferena, e = / , chamada de quociente. Claro, nesse ltimo caso, 0, pois 0 no possui inverso multiplicativo. Definio 5.5.2: Sendo so chamadas, respectivamente, de subtrao e diviso. , +,) um corpo, as operaes
: , )

/: , ) /

Algumas propriedades (bem familiares) da diviso esto listadas abaixo. Teorema 5.5.2: Considerando o corpo tem-se que: a) Sendo b) Sendo c) Sendo d) Sendo 0e 0e 0e 0, 0, + = 0, = . . =

, +,) e definida a operao diviso,

0, 0 e

0,

= .

Exerccio 5.5.3: Demonstre o teorema acima. SUGESTO: Lembre-se de que / = .

89 Exerccio 5.5.4: Mostre que + )= 1 + ). + ) = . SUGESTO: Observe que

Exemplo 5.5.1: Tomemos a estrutura , , ) onde a soma definida como j foi feito e 2), onde a multiplicao usual em . Montemos a tabela de Cayley para a soma e multiplicao nessa estrutura, que, como ser mostrado, um corpo:

Pela definio de corpo que tomamos (exigindo 1 0), o corpo construdo no exemplo anterior o menor corpo que se pode obter. Note que a comutatividade, associatividade, existncia da unidade e a distributividade decorrem imediatamente dessas propriedades na soma e produtos usuais em (verifique!). Isso nos leva a questionar se a estrutura , , ) no um corpo para todo > 1 natural. Na verdade, nem sempre , , ) um corpo porque nem sempre todos os elementos diferentes de 0 possuem inverso multiplicativo por . No entanto, possvel demonstrar (embora no faamos aqui) que , , ) um corpo se, e somente se, n primo.

J sabemos que , ) um grupo Abeliano, ento as propriedades da adio (em corpos) so satisfeitas (e observe o curioso fato de 11 = 0, mostrando que 1 seu prprio inverso). Devemos demonstrar, ento, as propriedades da multiplicao e a distributividade. Para a multiplicao, vemos na tabela que a operao comutativa e a unidade 1. A associatividade existe em geral, pois ) ) 2) = ) 2) = ). Tambm se v que o nico elemento diferente de 0 1 e o inverso multiplicativo desse ele mesmo. Distributividade se obtm vendo que ) = + ) 2) = + 2) = ) ). Mostramos, finalmente, que , , ) um corpo.

Exemplo 5.5.2: Outro exemplo extico de corpo a estrutura 2 , +, , onde as operaes so as usuais do corpo dos reais e 2 = + 2 , , ou seja, conjunto dos nmeros reais da forma + 2 com e racionais. Durante a demonstrao que se segue, usaremos o fato de , +,) ser um corpo e alguns conhecimentos operacionais bsicos. , +). Com efeito, 2 e, se Primeiro mostremos que + + 2 2 + 2 , + 2 ,+ ento 2 = + )+ + 2 = + ) 2 + ) 2 2 , 0+0 2= 2 .

um subgrupo do grupo Abeliano

90 Usamos, respectivamente, o fato da soma de racionais ser racional, 0 ser um nmero racional e, se racional, ento tambm .

Para a multiplicao, observemos que a operao comutativa, associativa, possui unidade e distributiva em relao + pelo simples fato dessas operaes serem as usuais. O que devemos mostrar que a operao est bem definida, ou seja, + 2 + 2 2 e que, para todo 2 0 , pertence a 2 . a) + + + ) 2. Isso mostra que a operao est bem definida, ou seja, que 2 + 2 2 . = 1. Dessa forma, = +
)

2 =

2 2+

2+

2=

+2

)+

b) Seja = + 2 2 com 0 ou 0 (de forma que + 2 0). Nos reais, esse elemento possui inverso multiplicativo e, assim, existe tal que = 2, mostrando que + 2 =1 = 2 . =

Definio 5.5.3: Um corpo , +,) dito um corpo ordenado quando existe um subconjunto prprio (chamado de conjunto dos nmeros positivos) com as seguintes propriedades: a) b) Se c) Se , uma, e apenas uma, das seguintes opes verdadeira: ou = 0 (tricotomia). , , ento + (fecho por adio). , , ento (fecho por multiplicao). ou

nulo, 2 irracional (a multiplicao de um racional no nulo por um irracional sempre irracional), fazendo com que a diferena 2 fosse, garantidamente, no nula.

Observe que s foi possvel a manipulao

pois, se b no

Usamos a notao para indicar que = 0 ou ) . Tambm bastante comum ser usada a notao > para indicar que ) . Um resultado imediato que, se , ento 0) e, portanto, > 0. a) , evidentemente temos que , pois = 0 (reflexibilidade). b) , , , temos que, se e , ento , afinal, > ) e > ) , donde temos que )+ ) = ) > (transitividade). c) , , e implica a = . De fato, j que no se pode ter ) e ) simultaneamente, conclumos que = 0 (antisimetria). d) , ou ou . Isso evidente pela definio (totalidade). Demonstremos que se trata de uma relao de ordem total:

91 Observao: Se omitiu os casos em que as diferenas so nulas por serem casos triviais. Demonstrao: Se ou = 0, nada se tem para demonstrar, mas, se e 0, temos que e, portanto ) ) , mas se sabe que ) ) = . Assim, = . Uma conseqncia desse teorema que 1 > 0, pois 1 0 e 1 1 = 1 . QED Teorema 5.5.3: , 0.

Exemplos de corpos ordenados so os racionais e reais (como veremos no prximo captulo). Mas nem todo corpo pode ser ordenado. Por exemplo, o corpo , , ) no ordenado, pois, sendo , 1 , 0 e 0,1 os subconjuntos de , a nica escolha que poderamos ter para ser o conjuntos dos positivos 1 , mas se sabe que, nesse corpo, 11 = 0, que viola o fecho por adio. Demonstrao: Se > , ento ) . Mas se tem que = + ) + ), donde se tem que + ) + ) + > + . Teorema 5.5.4 (monotonicidade da adio): Se , tem-se + > + . > , ento, para todo = + e, portanto,

Demonstrao: Se > e > 0, temos que ) . Como )= , pelo fecho por multiplicao, temos que ) e, assim, > . Por outro lado, se < 0, ento e, portanto, )= ) , que nos leva a concluir que < . QED 1 Considere = , ,, com a estrutura , mostre que = . Abeliano. Sendo =

Teorema 5.5.5 (monotonicidade da multiplicao): Se ento, > . Mas, se < 0, ento < .

>

QED e

> 0,

Exerccios II 5

2 Considerando o anel com unidade , +,), mostre que o conjunto de todos os elementos que possuem inverso multiplicativo desse anel forma um grupo com a operao de multiplicao. 3 Seja a) b) ,) um grupo e , subgrupos de . Mostre que:

,) sendo um grupo

subgrupo de . subgrupo de

ou

92 4 Mostre que a equao = somente se, = para algum em . tem soluo num grupo < ,) se, e e

5 Mostre que, sendo ento + < + . 0< 0<

<

6 Sendo um corpo ordenado e , , , , mostre que, se 0 < < , ento 0 < < . Uma conseqncia disso que, se 0 < < 1, ento 0 < < 1. 7 Sendo um corpo ordenado e e, se > 1, ento > . , mostre que, se 0 <

um corpo ordenado e , , ,

, se

< 1, ento > 0, ento <

< e <1 e

< ,

9 Mostre que, num corpo ordenado , ento 0 < < . 6.1 Composio de funes

8 Considerando o corpo ordenado > 0.

com

, mostre que, se

onde ,

, temos que, se 0 <

6 Composio de Funes; Mais Sobre Grupos


Uma forma um tanto pictrica de imaginar uma funo ver ela como uma mquina, onde se insere um dado e essa mquina nos d um produto ) (Figura 1). Vendo dessa forma, no parece estranho combinarmos mquinas. Ou seja, ) (Figura inserir , obter ), mas, combinando com uma mquina , obter 2). Podemos identificar o processo feito pelas duas mquinas como sendo o de uma ) (Figura 3). nica mquina, , de forma que ) =

93 Para podermos combinar as mquinas e , necessrio que seja possvel ) inserir ) em . De forma mais precisa, preciso que ). Motivados por essa apresentao, definamos a composio de funes. Definio 6.1.1: Sejam : e funo : (l-se g bola f) tal que = , ) | :

funes. A funo composta a ) . Ou seja: ) )= , ) , )

Pode-se ver que o domnio da funo composta o domnio de , mas o contradomnio o contradomnio de . Claro, possvel fazer mais de uma composio bastando fazer a composio da funo composta com outra funo. Exemplo 6.1.1: Seja tal que ) )= ) definida por: ) = + 2) = .
:

funes. A funo composta + 2) = +4 +4

Mas tambm possvel a composio : e dessa composio ) = )= + 2, que diferente, em geral, de obtemos ) )= Exemplo 6.1.2: Considere os conjuntos = 1,2,3 , = , , , e = , , e as funes : tal que = 1, ), 2, ), 3, ) e : tal que = , ), , ), , ), , ) . Usando a definio, vemos que = 1, ), 2, ), 3, ) . ) . Ou seja, em geral,

94 Na representao diagramtica acima, as setas vermelhas em 1 destacam o caminho da funo composta. Em 2, o conjunto B, que intermedirio, omitido (lembremos que, efetivamente, a funo composta uma funo de A em C).

Embora, a composio de funes no seja comutativa, ela associativa, como mostra o teorema abaixo. :

Demonstrao: Devemos perceber que ambas as funes so funes de X em W. Como sabemos pelo Teorema 1.2.2, para mostrarmos que ) = ) = ) ). Ora, pela definio, ), devemos mostrar que ) Portanto, ) ) )= ) = ) = ). ) = ) ) = ) ).

Teorema 6.1.1: A composio de funes associativa. Ou seja, sendo , : e : funes, tem-se que ) = ).

Devido a esse teorema, podemos escrever, sem ambigidade, Exemplo 6.1.3: Considere as funes a composio dessas funes ) )= : tal que: =
: , :

: .

QED

Temos, ento que +1 2

a) Se existe uma funo : tal que = , ento injetora. A funo chamada de inversa esquerda de . b) Se existe uma funo : tal que = , ento sobrejetora. A funo chamada de inversa direita de . Observao: As funes Demonstrao: (a): Suponhamos que )= ), temos: Assim, se Ou seja, = = ) = , mostrando que )= = ) = : e : so as funes identidades. = , ou seja, ) )= .

Teorema 6.1.2: Sendo :

+ 1) =

uma funo, valem as afirmaes abaixo:

+1 = 2

) =

injetora. ) ) = )=

(b): Supondo que

, temos que:

Isso demonstra que, para todo , existe tal que definio de funo sobrejetora, mostramos que sobrejetora.

). Pela QED

95 Exerccio 6.1.1 (importante): Considerando a funo : = = . , mostre que

Claro, se existem : e : tais que = e = , ento , : bijetora. Demonstraremos abaixo que, quando isso acontece, = = onde : , a funo inversa (lembremos que uma funo possui inversa se, e somente se, bijetora). Mas antes vejamos outros resultados bastante teis. Teorema 6.1.3: Sejam : e e so injetoras, ento : injetora. so sobrejetoras, ento : sobrejetora. e : funes. Ento:

a) Se b) Se

) = e, assim, para todo , (b): A funo sobrejetora, portanto, ) = . Mas, sendo sobrejetora, ) = e, dessa forma, existe tal que ) = . Ou seja, podemos escrever qualquer para todo , existe tal que ). Disso temos que, para todo , = )= ) = como ) ) para algum , mostrando que ) ) sobrejetora. QED Os resultados, na verdade, so intuitivos (faa alguns exemplos com diagramas para ambos os casos). Uma conseqncia imediata do teorema que, se e so bijees, ento uma bijeo. : uma funo bijetora e = . :

e dois elementos quaisquer de X, Supondo Demonstrao: (a): Sejam ) = ) . Por ser injetora, se que ) )= ) ), temos que )= ). Mas conclui que tambm injetora e, portanto, = . Logo, ) )= ) ) = , mostrando que a composio injetiva.

Demonstrao: Por definio, o conjunto dos pares , ) tais que exista de forma que , ) e , ) . Ora, o conjunto dos pares , ) tais que , ) e, pelo fato de ser uma funo, , ), , ) = = , )| = . A segunda parte do teorema se . Segue que ) . demonstra analogamente observando que = QED Pode-se ver que a funo inversa realmente inverte o que a funo faz. leva um determinado a um e a funo inversa leva esse de volta ao em questo, fazendo a composio levar a ele mesmo (funo identidade). Corolrio 1: Sejam : e : composio dessas funes. Ento a funo : . Ou seja, ) = . funes bijetoras e : a ) : igual funo

Teorema 6.1.4: Sendo inversa, temos = e

sua

96 Demonstrao: Sendo ) = ) , do teorema temos que ). Mas ainda se tem ) = ) = ) = ) )= ) , pois, pelo teorema, = . Dessa forma, ) ) = ) ) = = , onde, novamente, usamos o teorema. Assim, ) = . Corolrio 2: Considerando as funes : : e : , sendo essa ltima bijetora, ento = = Demonstrao: Basta observar que = = , onde usamos o teorema para ter demonstra analogamente. , : , : = = QED , e

= . A segunda parte se

Teorema 6.1.5: Se : uma funo e existem forma que = e = , ento = = .

Demonstrao: Do teorema anterior temos que = , ento = . Como definida de Y em X, possvel a composio ) : . )= ) = Assim, ) = ) = . Analogamente se demonstra que = . Conclui-se, ento, que == . Exerccio: 6.1.2: Faa a demonstrao de que = ) = 2 2, QED no teorema acima. ) = +1 =

e :

QED de

sobrejetora, pois, com o mesmo 1 = 1 + 1 = . Dessa forma, = . )= Exemplo 6.1.4:

se ver que, tendo : tal que +1 2 = +22= . Ou

Exemplo 6.1.3: A funo : tal que seja,

: a funo inversa de : , ou seja, a funo : tal

, temos

) )=

) )= Mas

) = + 1 injetora, pois pode) = : 2 2) = tambm

. Se considerarmos a funo : tal que ) = , 1 ) ) = = , pois ) . vemos que : tal que ) ) = ) = Ou seja, : sobrejetora. Considere Teorema 6.1.6: Considerando as funes ) = , ) ). : e :

que

e o conjunto

97 ) = = ) ) ), QED Definio 6.2.1: Sejam as estruturas ,) e ,) grupos onde e so os elementos neutros de ,) e ,) respectivamente. Uma funo : dita ser um morfismo ou homomorfismo de G em H se: a) b) )= )= ) ) para todo , . 6.2 Morfismos de grupos

segue o resultado.

Demonstrao: Com efeito, ) )= | = ) )

. Como

) =

Exemplo 6.2.1: Considerando os grupos , +) e 0 ,), a aplicao ) = 2 , um homomorfismo de , +) em 0 ,). De : 0 , tal que ) ). fato, pois 0) = 2 = 1 e + )=2 =2 2 = Exerccio 6.2.1: Demonstre que a propriedade (b) implica a propriedade (a). Assim, basta demonstrar a propriedade (b) para mostrar que uma aplicao um )= ) ). homomorfismo. SUGESTO: Observe que )= Lema 6.2.1: Sendo preserva inversa. Ou seja, : )= um homomorfismo de ) . ) = , assim, )= ) ) = . Portanto ,) em ) ,) em ) )=

Note que, na condio (b), o primeiro produto o de G e o segundo o de H. Morfismos de grupos so definidos atravs dessas propriedades porque elas fazem as propriedades algbricas do grupo G (ao menos as que fazem de G um grupo) serem preservadas atravs da funo . Com efeito, como veremos abaixo, a imagem de um homomorfismo de G em H sempre um subgrupo de H.

,), esse

Demonstrao: Por definio, ) = . De forma anloga se tem ) . Teorema 6.2.1: Se : ) um subgrupo de

Demonstrao: (a): A operao fechada, pois, se ) )= ). ), que pertence a (b): Por definio, (c): Do lema acima temos que ) ). ento )= ). )=

um homomorfismo de ,).

),

,), ento ), ento ), QED

QED

) . Portanto, se

98 Exerccio 6.2.2: Considere os grupos ,) e ,) e o homomorfismo ),), que um : . Mostre que, se ,) um grupo Abeliano, ento subgrupo de H, um grupo Abeliano. Veja que homomorfismos preservam a propriedade Abeliana. Alguns homomorfismos recebem nomes especiais dependendo de alguma propriedade extra que possuam. Definio 6.2.2: Sendo homomorfismos: a) b) c) d) e) ,) e ,) grupos e : e :

Se injetivo, ento esse homomorfismo dito ser um monomorfismo. Se sobrejetivo, ento esse homomorfismo dito ser um epimorfismo. Se uma bijeo, ento esse homomorfismo dito ser um isomorfismo. chamado de endomorfismo. Se um isomorfismo, esse chamado automorfismo.

Dentre as definies acima, a (c), de isomorfismo, merece uma ateno especial. Se existe um isomorfismo de ,) em ,), ento existe um isomorfismo de ,) em ,) (isso ser mostrado abaixo). Enquanto grupos, a existncia de um isomorfismo de ,) em ,) significa que esses so algebricamente idnticos. Isso quer dizer que, para toda propriedade algbrica que o produto de G tenha, existe uma inteiramente anloga em termos do produto de H. Pode-se dizer que, se existe um isomorfismo de ,) em ,), esses grupos so iguais a menos dos nomes dos elementos. : Lema 6.2.2: Se ,) e um isomorfismo. ,) so grupos e : um isomorfismo, ento :

Demonstrao: : uma bijeo porque : um homomorfismo. De fato , pois: mostrar que

o . Basta

) = , ento ) = ) a) Por definio, ) )= ) )= ) ), onde se usou a definio de = funo composta e o Teorema 6.1.4. ) ), assim ) b) Por definio, )= ) = ) ) ) ) ) )= )= ) = ) ) . : QED um isomorfismo,

Por causa desse lema, podemos dizer que, se esse um isomorfismo entre G e H. Exemplo 6.2.2: A funo
:

um automorfismo entre o grupo dos , : )=

inteiros (com operao de soma) e o (sub)grupo dos pares. Exemplo 6.2.3: Sendo ,) um grupo e um endomorfismo (verifique!).

tal que

99 Definio 6.2.3: Sendo G e H grupos, se existe algum isomorfismo : ento G e H so ditos isomorfos e simbolizamos isso por . ,

Teorema 6.2.2: A relao de isomorfia uma relao de equivalncia.

Demonstrao: (a): Sempre existe um isomorfismo entre o grupo G e ele mesmo, esse = . (c): Sendo ,), ,), e ,) grupos com e , temos que bastando fazer a composio dos isomorfismos. Com efeito, sendo : e : isomorfismos, : um isomorfismo, pois uma bijeo pelo ) ) = ) fato de e o serem e ) )= ) = ) = ) ) ) ). QED Na parte (c) da demonstrao acima, o fato apresentado, de que a composio de isomorfismos um isomorfismo, vale, na verdade, para homomorfismos em geral. Ou seja, a composio de homomorfismos um homomorfismo. (b): Do lema e da definio acima temos que, se , ento .

Podemos observar que, se : um monomorfismo de ,) em ,), o ),) e podemos interpretar isso como existe uma grupo ,) isomorfo a cpia de ,) em ,). Quando isso ocorre dizemos que o grupo G est imerso em H 6.3 Grupo de permutaes Nas demonstraes dos corolrios do Teorema 6.1.4 e do Teorema 6.1.5, podemos observar que manipulamos a composio de funes como se fosse uma operao (tal como soma ou multiplicao). De fato podemos pensar a composio de funes como uma operao, mas, como toda operao, devemos definir o conjunto onde ela est definida. Dado um conjunto no vazio A, uma estrutura importante que pode ser construda de forma que a composio de funes uma operao o grupo de permutaes de A. Mas, antes de definirmos esse grupo, definamos o que uma permutao. Definio 6.3.1: Sendo A um conjunto no vazio, toda funo bijetora dita uma permutao em A (ou de A). :

Exemplo 6.3.1: Sendo = 1,2,3 , uma possvel permutao em A a funo : tal que 1) = 2, 2) = 3 e 3) = 1. Vemos, dessa forma, que o nome permutao se justifica, pois uma bijeo de A em A permuta os elementos de A.

100 Agora, consideremos o conjunto de todas as permutaes de A, ou seja, )= : | : ),), onde a operao . A estrutura ) ) a composio de funes, um grupo. Demonstremos isso.

),) , de fato, Com essas demonstraes conclumos que a estrutura um grupo. O interesse em estudar grupos de permutaes reside no fato de que se pode mostrar que todo grupo um subgrupo de algum grupo de permutaes. Um caso especial de grupo de permutaes quando = chamado de grupo de permutaes de n elementos e simbolizado por = . Esse por

) ) a) Antes de tudo, devemos verificar se a operao : ) para quaisquer , est bem definida. Ou seja, se ). Com efeito, est bem definida, pois, conforme mostrado na subseco anterior, a composio de bijees uma bijeo. b) A composio de funes associativa, como mostrado na subseco anterior. o c) Como definida de A em A, = = , donde temos que elemento neutro e esse pertence a ), pois funes identidades so sempre bijees. d) O fato de : ser uma bijeo implica que : tambm uma ). Do Teorema 6.1.4, bijeo, como bem se sabe, e, assim, temos que = = . Portanto, o elemento inverso de .

Para simplificar a notao, vamos representar as permutaes : matrizes da seguinte forma: = 1 1) )

Na primeira linha esto os nmeros naturais (em ordem crescente) at n e na segunda esto as respectivas imagens dos elementos. Exemplo 6.3.2: O grupo = 1 2 3 = 1 2 3 1 1 2 3 3 2 1 2 1 2 o conjunto dado pelas funes (matrizes): = 1 2 2 1 1 2 2 1

a funo identidade e Como se pode ver, inversa. Para , temos as matrizes: = = 3 3 =

possui a si prprio como 1 3 2 3 2 1

Para ver como se realiza a composio dessas funes, vejamos a composio . = 1 3 2 3 1 2 2 3 2 1 3 = 1 2 3 = 1 2 1 3

1 2 2 3

3 1

1 3

2 3 1 2

101 Os smbolos sobrescritos destacam o caminho da imagem de 2. Vemos que, , 2 possui imagem 3, mas, em , 3 corresponde a 1. Assim, a composio leva

em 2 a 1.

Exerccio 6.3.1: faa as composies

Nessa notao, para invertermos uma funo, basta inverter as linhas (listas horizontais de nmeros) e reorganizar as colunas (listas verticais de nmeros), como mostrado abaixo: = 1 2 3 1 3 2 = 3 1 1 2 2 3 = 1 2 2 3 3 1

No demonstraremos aqui, mas o grupo de permutaes de n elementos possui 1) 2) 1 elementos. Por exemplo, o grupo possui 3 2 1 = 6 elementos, como visto. 6.4 Grupos diedrais Grupos diedrais so outros exemplos de estruturas que possuem a composio de funes como operao. Mas, antes de apresentarmos o que so grupos diedrais, faremos uma breve digresso relacionada definio de distncia no plano (que podemos identificar com o plano cartesiano). Isso porque o grupo que ser apresentado possui interpretao geomtrica. Considerando os pontos esses dois pontos definida por: , = , ) e = , ) no plano, a distncia entre )

)=

) +

= , ento , )=0 Uma propriedade imediata (e intuitiva) que, se e essa a nica situao em que isso ocorre (em todos os outros casos a distncia positiva). Tambm se pode ver que , )= , ), que outra propriedade intuitiva geometricamente. Temos, ainda, mais uma propriedade (essa no to evidente), que : quaisquer que sejam , e , , ) , )+ , ). Essa chamada de

102 desigualdade triangular e, como se pode ver na ilustrao abaixo, o nome se justifica. No a demonstraremos, mas a ilustrao d uma justificativa geomtrica.

Definio 6.4.1: Considerando , uma aplicao : dita uma simetria de A quando sobrejetora e preserva distncias. Ou seja, , )= ), ) para todo , . Embora no esteja explcito, a funo , tambm, injetora e, portanto, uma bijeo de A em si prprio. Para mostrar isso, suponhamos, por absurdo, que no )= ) com . seja injetora. Para isso ocorrer, devemos ter que exista )= ), Mas se sabe que, se , ento , ) 0 e, sendo ), ) = 0, contrariando a hiptese de que a distncia preservada.

Observemos que os pontos , e formam um tringulo e bem se sabe que a soma dos comprimentos de dois lados de um tringulo sempre maior que do terceiro. O caso de igualdade na expresso ocorre quando = ou = .

), O conjunto de todas as simetrias de um conjunto , chamado de forma um grupo pela composio de funes. Para efetuarmos a demonstrao, observemos que j foi mostrado que o conjunto das bijees sobre um conjunto um grupo. Ento basta mostrar que o conjunto das simetrias subgrupo do grupo de permutaes de A. ), ) = a) A funo identidade uma simetria, pois , b) Sendo uma simetria, a inversa tambm , afinal, c) Dadas duas simetrias, efeito, = ), ) = ), ) , ) e = ), ) . ). , )=

) = ).

, a composio dessas uma simetria. Com ) , )

Observemos que uma simetria uma transformao (aplicao) que permuta os pontos de uma figura no plano (um subconjunto de ) sem causar deformaes internas (as distncias so preservadas). Isso implica que a transformao transporta a figura para o caso transformado rigidamente. No caso particular em que um polgono regular de n lados, uma simetria uma transformao que leva vrtices adjacentes em vrtices adjacentes. Assim, pode-se tomar o conjunto A como formado apenas pelos vrtices do polgono regular, pois o

103 grupo ser isomorfo aos grupos em que se tomam todos os pontos dos lados da figura ou incluindo, tambm, os internos.

Definio 6.4.2: Chamamos de grupo diedral de ordem 2 a estrutura ),) onde A um polgono regular de n lados. Mais comumente, nesse caso, ) por . denotamos

Exemplo 6.4.1: Consideremos A como sendo um quadrado. Chamemos os vrtices de , , e como na figura abaixo.

= = =

Dada ), ,

uma ), ), , , , ,

simetria , vamos represent-la ) . O conjunto de simetrias dado, ento, por: = = , , , , , , = = , , , , , , = = , , , , ,

por ,

Nem todas as permutaes so simetrias. Por exemplo, no podemos ter = , , , , pois, ao fazermos isso (inverter o ponto com o ), a distncia entre e muda, afinal, a distncia, que era o comprimento do lado, se tornou o comprimento da diagonal. Abaixo esto representadas, geometricamente, trs das simetrias.

104

Vemos que as simetrias so rotaes e reflexes.

uma rotao de

no sentido anti-horrio, uma reflexo em torno do eixo que passa pelos pontos e e uma reflexo em torno do eixo que passa pela mdios dos lados diagonal . Poderamos ter chamados os vrtices de 1, 2, 3 e 4 e notado que o grupo apresentado isomorfo a um subgrupo de . De fato comum tomarmos esse subgrupo como sendo o grupo diedral de ordem oito e dizermos que . Em geral podemos dizer que . Embora no demonstremos aqui, grupos diedrais possuem 2 elementos (a ordem dobro do nmero de vrtices) onde desses so rotaes (considerando a identidade como uma rotao de 0 ) e so reflexes. Aqui podemos observar como os grupos se manifestam. As transformaes feitas sobre o quadrado no mudam ele. O rodam ou refletem, mas sempre mantendo a distncia entre os vrtices invariante. Grupos esto relacionados a transformaes que mantm algo invariante por essas transformaes. Mas, muitas vezes, os grupos no so to simples quantos os diedrais e nem a invarincia est ligada a algo to visvel quanto distncia e posio de pontos.

105 Exerccio 6.4.1: Dado um tringulo eqiltero de vrtices , e , construa o grupo diedral de ordem seis. D a representao geomtrica de cada uma dessas simetrias e monte a tabela de Cayley. Como exemplo de como a composio dois elementos de quadrado, faamos a composio : = , , , , , , = , , , atuam sobre o =

O processo muito semelhante ao feito nos grupos de permutaes, mas tem como imagem aqui se omite a primeira linha da matriz. Por exemplo, em , e, em , tem imagem , de forma que a composio leva a . Na ilustrao abaixo podemos observar que o quadrado realmente se transformou como refletido e depois rodado.

Exerccio 6.4.2: Realize as composies Represente-as geometricamente.

Faamos tambm a tabela de Cayley do grupo

Pode-se ver algumas caractersticas do grupo a partir dessa tabela. Observemos o subgrupo destacado (quadro em destaque) e comparemos com a

106 tabela do grupo (feita na subseco 5.3). Vemos que o subgrupo destacado isomorfo ao grupo (basta fazer a correspondncia 1)). Ou seja, est imerso em . Em geral se pode ter que est imerso em . Alm disso, pode-se ver que o subgrupo destacado o das rotaes. Podemos ver ainda que a composio reflexes resulta numa rotao, a composio de uma rotao com uma reflexo (ou vice-versa) uma reflexo e que reflexes so suas prprias inversas. 1 Chama-se monide a estrutura ,) com no vazio tal que a operao binria seja associativa e possua elemento neutro. Sendo o conjunto de todas ,) um monide as funes de em (no apenas bijees), a estrutura (verifique). Mostre que, se no unitrio, no comutativa. A estrutura ,) chamada de monide das transformaes de .

Exerccios II 6

2 Mostre que, sendo : uma funo bijetora, : injetora se, e somente se, : injetora. Enuncie e demonstre uma afirmao anloga para : sobrejetora. = 2 Seja
,

3 Sendo ,) e ,) grupos, mostre que a estrutura ,) tal que , ) , ) = , ) um grupo. Essa estrutura, comumente denotada por , chamada de soma direta ou produto direto dos grupos e . 4 No exerccio acima, mostre que 5 Pode-se fazer uma generalizao da noo de produto direto entre grupos. Tendo uma famlia no vazia de grupos (com operaes no necessariamente iguais) ,) , definimos o produto direto desses grupo pela ) ) = = estrutura ,) tal que ) , onde ) , ) ) = e se usou e ) = . Mostre que essa estrutura um grupo. isomorfo a .

,) de tal forma que a composio de funes e 0 , onde

. Mostre que

,) um grupo.

) tais que 6 No exerccio acima, mostre que o conjunto de todos os apenas um nmero finito de coordenadas diferente da identidade forma um subgrupo de ,). Esse subgrupo chamado de soma direta dos grupos ,) e denotado por . Observe que, se existirem finitos grupos no produto cartesiano , a soma direta coincide com o produto direto. SUGESTO: O ) e ) possuem um nmero fecho do produto obtido observando que, se ) ) tambm possuir finito de coordenadas diferentes da identidade, um nmero finito de coordenadas diferentes da identidade (isso deve ser mostrado). 8 Sendo : um homomorfismo do grupo ,) em ,), mostre que o )= )= ) conjunto | forma um subgrupo de . O conjunto chamado de ncleo do homomorfismo . 7 Obtenha a tabela de Cayley do grupo .

107 )= 9 No exerccio anterior, mostre que )= injetivo (um monomorfismo). Veja que, se e isomorfismo.
: , ) )

10 Considerando os grupos

,) e , +). Abeliano.

,) e , mostre que a funo )) desse. Generalize para um homomorfismo e obtenha o ncleo (


:

se, e somente se, ) = , ento um

11 Mostre que

um homomorfismo se, e somente se,

,)

de .

12 Seja o grupo de permutao de trs elementos. Obtenha as imagens )= )= : tal que e : tal que

e grupos diedrais com > e o conjunto dos vrtices 14 Sendo do polgono regular referente ao grupo , mostre que demonstrar que est imerso em equivalente a encontrar um subconjunto de vrtices em que forme um polgono regular. 15 Sendo e os grupos diedrais de ordem 6 e 12, demonstre que est imerso em . Explicite o subgrupo isomorfo a . SUGESTO: Use a interpretao geomtrica das transformaes.

e um elemento fixo , mostre que 13 Dado o grupo de permutaes ) = forma um subgrupo de . o conjunto de todas as permutaes tais que

108

Captulo III Conjuntos Numricos


Comearemos agora o estudo de alguns conjuntos numricos (dos naturais, inteiros, racionais e reais). Construiremos os conjuntos e exporemos suas propriedades bsicas. Tambm iremos tratar, de forma precisa, das caractersticas de conjuntos finitos e infinitos, com uma breve introduo aritmtica de cardinais.

1 Conjunto dos Naturais


A idia de nmeros naturais est ligada com a de contar elementos de um conjunto, e essa uma motivao para defini-los. Mas trataremos dessa relao na seco seguinte. Nessa seco vamos, a partir de axiomas e definies, obter as principais propriedades dos nmeros naturais. 1.1 Axiomas de Peano Os axiomas apresentados abaixo, chamados de Axiomas de Peano, so as trs propriedades bsicas que definem os nmeros naturais. Axioma 1.1.1: Existe uma funo injetiva chamada de sucessor de . 1 : . A imagem

Expliquemos brevemente os axiomas. O primeiro axioma define uma funo, mas, alm disso, afirma a existncia dessa funo e, portanto, afirma a existncia do conjunto dos naturais (). J o segundo diz que existe um (nico) nmero natural que no sucessor de nenhum outro nmero natural (intuitivamente, podemos pensar esse nmero como o primeiro nmero natural). Esse axioma afirma, claro, que o conjunto dos naturais no vazio, mas, mais que isso, como veremos mais adiante, garante que o conjunto dos naturais infinito. O terceiro axioma, chamado de Princpio da Induo, d a base para um mtodo de demonstrao chamado mtodo de induo. Esse mtodo consiste na seguinte afirmativa: se uma propriedade P vale para o nmero 1 e, ao supor* que P valha ), ento a propriedade P vale para todo . para n, obtemos que P vale para Um exemplo de demonstrao por esse mtodo segue no teorema abaixo. Observao: A suposio referida no destaque feito por * chamada de hiptese indutiva. Veja que o que se deve mostrar que a implicao ) ) verdadeira e, dessa forma, usar a hiptese ) lcito. vale para n na demonstrao da validade para

Axioma 1.1.2: Existe um nico nmero natural, 1 , tal que . Axioma 1.1.3: Se um conjunto ) , ento = . tal que 1 e

) )

) , ou seja,

109 Teorema 1.1.1: tem-se ) .

), afinal a funo injetiva e, se tivssemos contrariando a hiptese indutiva.

Demonstrao: Pelo Axioma 1.1.2, j temos que a afirmao vale para 1, ) , temos que ) ou seja, 1) 1. Supondo que valha para n, isto , ) = ), teramos )= , QED

Observao 1: Na demonstrao acima, sendo mais preciosistas, deveramos ter definido um subconjunto tal que = | ) e seguir ) , mas esse detalhe foi a demonstrao mostrando que 1 e que omitido e muitas vezes se far isso. No entanto, existem casos em que til fazer a demonstrao considerando esse detalhe. Observao 2: Muitos so tentados a se convencerem de alguma suposta propriedade dos nmeros naturais atravs de exemplos. Ou seja, mostrando a validade para casos particulares. Mas lembremos que os naturais so infinitos e, por mais que mostremos que uma propriedade vale para muitos naturais, sempre existir uma infinidade deles para os quais no se pode garantir que valha. Coincidncias podem servir de motivao para conjecturar que alguma propriedade valha para todos os naturais, mas devemos mostrar tal validade e o princpio da induo o que nos permite, muitas vezes, realizar a demonstrao. Um exemplo de porque no devemos ceder tentao a funo, definida nos )= naturais, + + 41, que, com pacincia, podemos verificar que gera nmeros primos at = 39, mas falha em gerar um nmero primo para = 40, pois 40) = 40 + 40 + 41 = 40 40 + 1) + 41 = 40 41 + 41 = 40 + 1) 41 = 41 . O terceiro axioma (Princpio da Induo) merece explicaes extras devido a suas sutilezas. Na hiptese indutiva, deve ser livre no sentido de que no exista alguma condio que o impea de ser determinados valores naturais (no se pode impor uma condio que obrigue 5 por exemplo). Sendo assim, na hiptese indutiva se est supondo para um em particular, mas, como pode ser qualquer natural, de certa forma se est supondo para todos os naturais. Isso parece ) logo em seguida, mas a contraditrio diante do fato de termos de provar para demonstrao importante nessa parte do processo a da implicao (mostrar que ) ) ). Junto primeira parte do processo, mostrar para = 1, podemos observar a intuio por trs do axioma. Mostrando para uma propriedade para = 1 e a implicao da induo, temos que a afirmao vale para 1), mas 1) um nmero natural e, assim, tambm temos que vale para 1) e assim por diante percorrendo todos os naturais. Ou seja, em essncia, o Princpio da Induo consiste em afirmar que todo nmero natural pode ser obtido atravs de diversas aplicaes da funo sucessor sobre o nmero 1 (tornando possvel percorrer os naturais por sucesses a partir do 1). Isso nos leva a perguntar se o axioma no dispensvel j que os dois primeiros nos garantem que s o nmero 1 no sucessor de outro natural e a funo injetora. No seria estranho conjecturar que qualquer nmero natural pode ser obtido aplicando a funo

110 sucessor diversas vezes sobre o nmero 1 apenas com os dois primeiros axiomas. No entanto, foi necessria a induo para mostrar o Teorema 1.1.1 (veja Exerccio ) . Sem esse teorema, nada garante que, em algum 1.1.1), que garante que ) = e, assim, no se conseguiria percorrer todos os naturais por momento sucesses a partir do 1. Ou seja, o Princpio da Induo no pode ser obtido a partir dos outros dois axiomas. Exerccio 1.1.1: Encontre um conjunto onde valham os dois primeiros axiomas, mas no valha o Teorema 1.1.1. Exerccio 1.1.2: Encontre um conjunto onde valham os dois primeiros axiomas, o Teorema 1.1.1, mas no valha o Princpio da Induo. SUGESTO: Use os naturais mais um apndice consistente com os dois primeiros axiomas e o teorema. 1.2 Soma e produto de nmeros naturais ) +1= )= + Definio 1.2.1: A operao +: , tal que: + ), sempre que + est definida,

a) b)

a) b)

Definio 1.2.2: A operao : , tal que: 1= )= + , sempre que est definido,

chamada de soma.

) = + 1, no mtodo de Observao 1: Como definimos acima que ) pode ser reescrita como + 1 . induo a condio Observao 2: Podemos omitir o smbolo do produto e escrever Exerccio 1.2.1: Demonstre que + , . = .

chamada de produto.

No demonstraremos aqui, mas essas operaes so consistentes com os axiomas e so nicas (isto , as propriedades apresentadas so suficientes para definir as operaes). Como ilustrao de como obtemos a soma entre dois nmeros naturais, faamos a soma 2 + 3: 1) 2 2 + 1 = 2) 3 2 + 2 = 2 + 1) = 2 + 3 = 2 + 2) = 3) 4 4) 5

Agora demonstraremos algumas propriedades bsicas dessas operaes. Devemos ficar atentos a quais propriedades j foram demonstradas, pois, muitas vezes, usaremos teoremas j demonstrados sem aviso.

111 Teorema 1.2.1 (associatividade da soma): , , . e + + )= + )+

)= Para = 1 verdade, pois + + 1) = + + )= + ) + 1. Supondo que valha para = , ou seja, + + ) = + ) + , temos que vale ) = + + + ) = para = + 1, afinal, + + + 1) = + + + ) = + )+ = + )+ )= + )+ + 1). QED Observao: Na passagem destacada com *, parece que usamos o que queremos demonstrar para chegar nossa concluso, mas veja que o que usamos foi a hiptese indutiva, o que lcito. Demonstrao: Para = 1 vale claramente, pois 1 + 1 = 1 + 1. Supondo para = , ou seja, + 1 = 1 + , ento vale para = + 1, afinal, + 1) + 1 = )+1= ) = 1 + + 1). + 1) = 1 + ) = 1 + Exerccio 1.2.2: Mostre que 1 = . QED Lema 1.2.1: +1=1+ .

Demonstrao: Fixemos por induo sobre .

arbitrrios. Vamos mostrar a propriedade

Teorema 1.2.2: (comutatividade da soma):

Demonstrao: Fixemos um n arbitrrio e faamos a induo sobre m. O teorema vlido para = 1, pois + 1 = 1 + pelo Lema 1.2.1. Supondo para = , isto , + = + , temos que vale para = + 1, j que + + 1) = + )= + )= + ) = + + 1) = + 1 + ) = + 1) + . Nas ltimas duas passagens, usamos o Lema 1.2.1 e a associatividade respectivamente. )= QED )

Teorema , , .

1.2.3

(associatividade

do

produto): = +

Teorema 1.2.4 (comutatividade do produto): + )=

Exerccio 1.2.3: Demonstre os dois ltimos teoremas. Teorema 1.2.5 (distributividade):

Demonstrao: Tomemos e arbitrrios e prossigamos por induo ) = + por sobre . A afirmao vale para = 1, pois + 1) = definio. Supondo para = , ou seja, + ) = + , obtemos que vale ) = para = + 1, pois + + 1) = + + )= + )+ = + ) + = + + ) = + + 1).

, .

112 QED

a) b)

Teorema 1.2.6 (leis de corte): , + = + ) = ) = ) = )

, valem que:

Demonstrao: (a): Considerando e fixos e fazendo a induo sobre , )= ) = temos que a propriedade vale para = 1, pois + 1 = + 1 , j que : injetora. Supondo que valha para = , ou seja, + = + ) = ), obtemos que vale para = + 1, afinal, + + 1) = + + 1) )= + ) + + )= + ) + = + , que, pela hiptese indutiva, equivalente a = . QED Exerccio 1.2.4: Faa a demonstrao da parte (b) do teorema acima. Exerccio 1.2.5: Caso tenha dvida em algum teorema demonstrado, identifique as propriedades (definies e teoremas) usadas em cada passo da demonstrao. O que foi feito at agora (e esse o objetivo desse captulo) foi uma formalizao de propriedades operacionais que nos so comuns desde a infncia. Observamos que, do ponto de vista formal, as propriedades no so to evidentes. Observao: Mas e o zero? Muitos aprendem os naturais com o zero includo. A opo tomada aqui, de no inclu-lo, foi devida a gosto e algumas facilidades em termos de demonstraes e definies. Axiomaticamente, o conjunto com o zero includo, ou no, permanece o mesmo, pois a nica mudana nos axiomas a troca do smbolo 1 pelo 0, que uma mera questo de notao. A mudana est na estrutura formada sobre , onde o zero faz o papel de elemento neutro da soma e nulo do produto, ou seja, a soma e produto so definidos de forma diferente. 1.3 Relao de ordem em

Tendo disposio as propriedades da adio, podemos definir uma relao de ordem em atravs da definio abaixo. Definio 1.3.1: Dizemos que menor que e denotamos por < quando existe tal que + = . Dizemos que maior que e denotamos > quando < .

Muitas vezes tambm til termos disposio as relaes (l-se n menor ou igual a m) e (n maior ou igual a m), que significam, respectivamente, < = e > = . Teorema 1.3.1: O nmero 1 o menor nmero natural. Ou seja, > 1 . = 1 ou

113 Demonstrao: A propriedade claramente vale para = 1, pois 1 = 1. Se 1, temos, pelo Axioma 1.1.2 (1 o nico natural que no sucessor de outro), ) = + 1 e, portanto, > 1. que existe tal que = > Teorema 1.3.2 (transitividade da ordem): Se e > , ento > . , , so tais que + , QED

Demonstrao: Sabendo que > temos = + )+ = + + )= + >

= + e > = > , onde = + . > + + > >

Teorema 1.3.3 (monotonicidade da ordem): > . Exerccio 1.3.1: Demonstre o teorema acima.

QED e

Demonstrao: Primeiro mostremos que s pode valer uma dessas afirmativas. Ou seja, ao ser uma verdadeira, as restantes no podem ser. a)

Teorema 1.3.4 (tricotomia): Dados , uma, das afirmaes: > , > e = .

Exerccio 1.3.2: Demonstre que, se > e > , ento > . SUGESTO: Use os dois ltimos teoremas.

quaisquer, vale uma, e apenas

Agora mostremos que para todo , alguma dessas propriedades deve ser satisfeita. Sendo um natural arbitrrio fixo, consideremos o conjunto = | = > > . Vamos mostrar, por induo sobre n, que = . Temos que 1 pelo Teorema 1.3.1. Supondo que , vamos ter que +1 . Mas, para prosseguir a demonstrao (provar que +1 ), devemos separar nos casos < , > e = . a) ( < ): Nesse caso, existe de forma que = + . Caso = 1, = + 1 e, assim, + 1 . Mas, se 1, observemos que existe ) = + 1, ou seja, = + = + + 1) = + 1) + , que tal que = o mesmo que > + 1. Logo + 1 tambm nesse caso. b) ( > ): Vemos, nesse caso, que = + para algum . Obtendo o sucessor de ambos os membros, temos + 1 = + ) + 1 = + + 1) e, dessa forma, conclumos que + 1 > , que implica + 1

para algum . Isso j > > ): Se > , ento = + exclui a possibilidade de = (Exerccio 1.2.1). Supondo, por absurdo que tambm vale > , temos que = + e, assim, = + )+ = + + ) > , que um absurdo. Bastando inverter e se consegue a demonstrao para > . b) = ): Se = , no se pode ter > nem > , pois implicariam, respectivamente, que = + e = + .

114 c) ( = ): Basta observar que +1= + 1 > , mostrando que + 1 . Mostramos, portanto, que = . + 1. Assim, como se pode ver,

QED

Para demonstrar o Teorema 1.3.7, que um dos resultados mais importantes da relao de ordem, vamos usar uma nova formulao da induo, dada abaixo. Teorema 1.3.5 (Induo Completa): Se + 1 ) , ento = . , 1 e 1,2, , )

Observao: Veja que, tomando como relao de ordem a dada por , a transitividade continua valendo e, junto tricotomia, faz dessa relao de ordem uma ordem total. Pode-se dizer que totalmente ordenado por >, pois, para que se encaixe precisamente na definio que damos para relao de ordem total, basta acrescentar os pares , ) tais que = .

1 , pois 1 equivalente a 1 , que verdade por hiptese. Supondo que , ou seja, 1,2, , , temos que + 1 , pois, pela hiptese indutiva e a propriedade do conjunto , temos que + 1 e, assim, 1,2, , , + 1 . Logo, = e, por seguinte, = . QED Na demonstrao do teorema acima, usamos um fato que ainda no foi demonstrado: no existe nmero natural entre e + 1. A demonstrao fica como exerccio.

Demonstrao: Seja o conjunto tal que 1 e 1,2, , ) definido por + 1 ) . Consideremos tambm o conjunto = | 1,2, , . Observemos que . Mostraremos que = e, portanto, que = .

Exerccio 1.3.3: Sendo um natural e + 1 seu sucessor, mostre que no existe nmero natural tal que < < + 1. SUGESTO: No necessrio usar induo. Pode-se ter, ainda, mais uma generalizao da induo, como mostrado abaixo. Teorema 1.3.6: Se , + 1 , ento = 1, , 1 . e, para todo > tal que , se tem

Demonstrao: Consideremos o conjunto = 1 , 1 . Tem-se que 1 e, se , ento + 1 (seja porque = 1 , 1 ) ou porque , donde + 1 pela propriedade do conjunto ). Logo, = e = 1, 1 = 1, 1 .

115 QED Observao: Embora no seja possvel definir uma operao de subtrao entre naturais, chamaremos o nmero natural tal que ) + = . Veja que devemos ter < para que seja natural. Exemplo 1.3.1: O nmero de diagonais de um polgono convexo de =
)

vrtices

tringulo no possui diagonais. Supondo que valha para = , mostremos que vale para = + 1. Tendo um polgono convexo de vrtices, ao acrescentar um novo vrtice, todas as diagonais do polgono anterior continuam a ser diagonais do novo e um dos lados se torna uma diagonal (afinal, o novo vrtice aparece entre dois j existentes e o seguimento de reta que liga esses dois j existentes se torna uma diagonal). Alm disso, se formam mais 2 diagonais, que so os seguimentos de reta que ligam o novo vrtice a cada vrtice no adjacente (isto , no vizinho). = +1+ Assim, esse novo polgono possuir um nmero de diagonais igual a mostrando o resultado. Abaixo est ilustrada a passagem de um quadriltero para um pentgono. 2 =
)

induo. O resultado vlido para

. Faamos a demonstrao desse teorema da geometria por = 3 (tringulo), pois


)

= 0 e se sabe que o

1=

Observao 1: No exemplo acima usamos um pouco de liberdade sem nos prender s ao que temos formalmente estabelecido at o momento. Observao 2: Chamasse polgono convexo o que, em cada vrtice, tem o ngulo interno inferior a . Definio 1.3.2 (mnimo e mximo): Diz-se que o elemento mnimo (ou menor elemento) de um conjunto e denotamos por = min , quando e, , ( uma relao de ordem total). De forma anloga, diz-se que o elemento mximo (ou maior elemento) de um conjunto e denotamos por = max , quando e, , . o conjunto 1,3,6,7,9 , temos que

Definio 1.3.3 (boa ordem): Um conjunto dito bem ordenado quando todo subconjunto no vazio de possui menor elemento. Em smbolos, ) ), | = min , onde ) o conjunto das partes de .

Exemplo 1.3.2: Considerando min 1,3,6,7,9 = 1 e max 1,3,6,7,9 = 9.

116 Observao: As duas ltimas definies no se restringem apenas aos naturais. Pode-se ver que, se um conjunto possui elemento mnimo (mximo), ele nico. Com efeito, se e so mnimos (mximos) de um conjunto , ento ( ), pelo fato de ser um mnimo (mximo), e ( ), pelo fato de ser um mnimo (mximo). Logo = . Lembrando do Teorema 4.5.1 I (Teorema do Bom Ordenamento), esse, como foi alertado l, afirma que todo conjunto pode ser bem ordenado por alguma relao de ordem. Embora tenhamos usado esse teorema como motivao para encontrar uma relao de ordem total em , nem sempre possvel explicitar a relao de ordem que faz do conjunto bem ordenado e tal fato se justifica: o Teorema do Bom Ordenamento equivalente ao Axioma da Escolha. Bem se viu que o Axioma da Escolha garante a existncia de certas funes (funes escolha), mas nem sempre possvel explicit-las. Ento no espantoso que essa caracterstica, a de garantir a existncia embora, muitas vezes, haja a impossibilidade de mostrar explicitamente, se mantenha no Teorema do Bom Ordenamento. Como veremos abaixo, no conjunto dos naturais possvel explicitar a ordem que o faz bem ordenado e essa a ordem que definimos. Definio 1.3.4: Dado que, , . , esse dito limitado se existe de forma Exerccio 1.3.4: Mostre que no possui elemento mximo.

Demonstrao: Consideremos a existncia de um conjunto que no possui menor elemento. Mostraremos que esse s pode ser o conjunto vazio. Sendo = , 1 , pois o menor nmero natural e, assim, no pode pertencer a . Suponhamos que 1,2, , , ento temos que + 1 , pois, se tivssemos + 1 , esse seria o menor elemento de . Pelo Teorema 1.3.5, = e, portanto, = . Exerccio 1.3.5: Considerando elemento mximo. limitado, mostre que esse possui QED

Teorema 1.3.7 (Princpio da Boa Ordem): bem ordenado.

1.4 Potncia de nmeros naturais Com as operaes de soma e produto definidas, pode-se definir a potncia de nmeros naturais. Definio 1.4.1: Sendo , = = sempre que definimos:

a) b)

est bem definido.

117 Exemplo 1.4.1: Como exemplo de como obter potncias de naturais, encontremos . Atravs da definio, temos = , = = = e = = = . Demonstrao: Demonstremos por induo sobre n. Para = 1, 1 = 1 por definio. Supondo que valha para = , ou seja, 1 = 1, temos que 1 =1 1= 1 1 = 1, mostrando que vale para = + 1 e, por seguinte, . Teorema 1.4.2: , , = ) = = ) =

Teorema 1.4.1: 1 = 1

a) b) c)

valem:

QED

Demonstrao: (a): Sendo um natural arbitrrio, demonstraremos a propriedade por induo sobre . Para = 1 temos = = por = , temos que vale para = + definio. Supondo para = , isto , ) ) 1, pois = = = = , completando a demonstrao. (b): Novamente tomaremos arbitrrios e prosseguiremos por induo ) = ) pela definio. Observemos = = sobre . Para = 1 temos ) , pois a segunda igualdade imediata pela que basta mostrar que = ) , temos comutatividade do produto. Supondo para = , ou seja, = ) ) ) = ) , onde usamos a parte (a) do = = = teorema, demonstrada acima.

) = (c): = , mostrando que a propriedade vale para = 1. ) = Supondo que valha para = , ou seja, , vemos que vale para = + ) ) ) = 1, afinal, = = = . Isso completa a demonstrao. Exemplo 1.4.1: 2 > 2 + 1 para todo 3. Para = 3 temos 2 = 8 > 7 = 2 3 + 1. Supondo para = , isto , 2 > 2 + 1, temos que vale para = + 1, afinal, sendo 3, 2 > 2 + 1, por hiptese, e 2 > 2, temos 2 =2 2=2 + 2 > 2 + 1 + 2 = 2 + 1) + 1 (isso porque, lembrando do Teorema 1.3.3, se > e > , ento + > + ). Exerccio 1.4.1: Mostre que, para todo Use o resultado do exemplo acima. Exerccio 1.4.2: Demonstre que 2 > 4, temos 2 . . SUGESTO: QED

1.5 Somatrio e produtrio

118 Para um tratamento mais geral (embora no o mais geral possvel) dos operadores que sero apresentados, consideraremos uma estrutura qualquer , +,) com as seguintes propriedades:

Definio 1.5.1 (somatrio): Sendo uma famlia de elementos tal que = , ou seja, indexado pelos primeiros nmeros naturais, definimos o operador somatrio desses elementos por: a) b) = = +

a) A operao + (soma) comutativa e associativa. b) A operao (produto) comutativa, associativa, distributiva em relao soma e possui unidade (elemento, chamado de 1, tal que 1 = ).

sempre que

est definido. = :

Como exemplo, obtemos o somatrio dos elementos do conjunto = = = + + = = + + +

por

Observao: Pode-se ver que, ao mudarmos o ndice " " por qualquer outro, exemplo, " ", o somatrio no se altera, ou seja, = . Diz-se que os ndices so mudos. Teorema 1.5.1: = + + .

Demonstrao: Demonstremos por induo sobre n. Para = 1 verdade por definio. Supondo que seja verdade para = , ou seja, = + + , temos que verdade para = + 1, afinal, = + = ++ + . QED Corolrio: O somatrio no depende de uma particular indexao de Demonstrao: Sendo = + + a soma por uma indexao, consideremos outra indexao tal que = + + . Pela associatividade e comutatividade da soma, a soma + + deve ser igual + + , mostrando que no depende da indexao. QED .

119 O teorema apresentado a motivao para se definir o somatrio, e justifica seu nome. Como veremos, a vantagem da notao de somatrio vai alm de ser uma notao compacta: muitas manipulaes complexas de serem realizadas so mais simples atravs de somatrios. Abaixo so apresentadas algumas propriedades do somatrio. Demonstrao: Para = 1 a afirmao verdadeira j que = = 1. Supondo que seja verdadeira para = , isto , = , ser verdadeira para = + = + = + 1). = + 1, j que Observao: Estamos chamando de unidades (1 + + 1 n vezes), ou seja, = 1. Teorema ) 1.5.3 (homogeneidade): QED o resultado da soma de n = , Teorema 1.5.2: = , )

Demonstrao: Do Teorema 1.5.1 e da distributividade do produto em relao soma, temos que = + + = + + ) = . Teorema , 1.5.4 (propriedade ). aditiva): + )= QED +

Demonstrao: ++ = + comutatividade da soma.

+ )= + ) + + + ) = + + + , onde se usou o Teorema 1.5.1 e a associatividade e

QED Teorema 1.5.5 (propriedade telescpica): Se, alm das propriedades j exigidas para a estrutura sobre , a soma possuir elemento neutro para a soma (esse chamado de 0) e todo elemento de possuir elemento inverso pela soma, ou )= seja, ) | + ) = = 0, ento . )= Demonstrao: )+ )+ + )+ ) = + + )+ + + ) = , onde foi apenas necessrio deslocar os parnteses (usando associatividade) de forma que os termos que se anulam fossem somados. QED

120
)

Exemplo 1.5.1: O somatrio (de nmeros reais) vendo que


)

teorema acima, nos leva a

(verifique!). De fato, pois, sendo


)

Exerccio 1.5.1: Mostre que propriedade telescpica.

= ,

pode ser obtido = , que, pelo .

onde

. SUGESTO: Use a

=1

Sabe-se que a indexao de obtida por uma funo sobrejetora : , onde = . natural que possa existir alguma regra que defina ). Como essa funo e, assim, muitas vezes se pode escrever = tambm possvel ter o mesmo conjunto como a imagem de : (com mesma regra definidora), mais comum definirmos as funes com contradomnio e obter como a imagem. Para algumas classes de conjuntos, possvel obter uma frmula fechada para o operador somatrio. O exemplo abaixo, onde encontramos uma frmula fechada para subconjuntos de da forma = 1, , , ilustra isso. conjunto dado por para
)

Exemplo 1.5.2: Considere o subconjunto = , isto ,


)

por induo. De fato, o resultado vlido para = + + 1) = =


)

. A demonstrao de tal resultado pode ser obtida = 1 e, ao supor que seja vlido
)

de . O somatrio desse = + 1, afinal,

, temos que o resultado vale para + 1) =


)

Observao: Como ainda no temos os naturais como um subconjunto dos reais, devemos tomar cuidado com o que estamos simbolizando por = . Estamos expresso possua sentido). Ou seja,
)

+ 1). No entanto, embora seja necessrio salientar tais detalhes para um tratamento mais rigoroso, vezes iremos manipular expresses omitindo essas explicaes preciosistas. (1 < Em alguns casos, podemos querer a soma dos elementos de ) a = e no de = 1 a = . Definimos, para esses casos, = + sempre que e, nesse caso, sendo = + .

considerando que os trs nmeros da expresso so naturais e eles so tais que = (veja que necessrio que seja um mltiplo inteiro de para que a o nmero natural tal que 2 =

est definido. Tambm possvel que se (1 < )

de = = e

queira no considerar algum elemento de o elemento no considerado, definimos

Observao 1: Nas definies acima, usamos o sinal de menos, que est, normalmente, associado soma com o inverso aditivo ( = + )), mas,

121 mesmo que a estrutura sobre A (conjunto do qual subconjunto) no admita inverso aditivo para seus elementos, possvel definir uma subtrao em A da forma como foi feita com os nmeros naturais (veja a observao aps o Teorema 1.3.6). Observao 2: Considerando a expresso inferior do somatrio e = de limite superior do somatrio. , chamamos de limite

Observao 3: Uma definio alternativa, em alguns casos, para , mas nem sempre conveniente. )= com .

Exerccio 1.5.2: Mostre que

Exemplo 1.5.3: Usando o que foi mostrado no Exemplo 1.5.2, podemos ver que = . = + 1) 2 1) 2 1) + 1 + ) = 2 + 2 +

+ )

onde

)+ 2

+ )

)+1

Exerccio 1.5.3: Mostre que usando as propriedades do somatrio. Exerccio 1.5.4: Mostre que

2 1) = =

de duas formas: por induo e +

. Essa propriedade = +

chamada de abertura e uma manipulao til que pode ser feita = + . seja, ter expresses da forma somatrio duplo (expresso da forma se tivermos o conjunto )= de forma que ,

Muitas vezes se deseja aplicar o operador somatrio mais de uma vez, ou , etc.. Para o ), pode-se ver que isso possvel = (o que faz com que o ndice

sendo somado e sim pode admitir um valor arbitrrio em . Um ndice que aparea dessa forma chamado de ndice livre. Observamos tambm que existe uma coerncia do ndice livre em ambos os membros da expresso, ou seja, o ndice livre recebe mesmo nome (no caso, ) em ambos os lados da expresso. = Pelo Teorema 1.5.1 obtemos que o somatrio de um conjunto dado por: )= = + + + + tal que

). Veja que na expresso

no est

122 + + Exemplo 1.5.4: Seja temos: = = = + + + + + + = . Nesse caso +

de forma que 1 =1+2+3=6 2 =2 3 =3

= 2 1 + 2 + 3) = 12 = 3 1 + 2 + 3) = 18

= 6 + 12 + 18 = 36

Para um somatrio mltiplo (duplo, triplo,...), podemos ter uma notao um pouco mais curta, como feito abaixo (com somatrios):
,

,,

, ,,

Por exemplo, podemos denotar o somatrio duplo


, ,

por

nica vez (por exemplo,

. No caso de todos os limites superiores coincidirem, basta escrev-lo uma =


,

). Tambm comum omitir os limites

inferiores e superiores caso sejam subentendidos. Por exemplo, se se est trabalhando sempre com somatrios de 1 at , se subentende por . Teorema 1.5.6 (comutatividade do somatrio): =
, ,

tal que

compacta,

fato dos ndices serem mudos apenas se renomeou por e vice-versa). Demonstrao: Demonstremos por induo sobre arbitrrio. Para = 1, o resultado verdadeiro, pois . = Supondo que valha que para , temos vale para

) tem-se
, ,

(veja que essa ltima igualdade vem do tomando um = = = + 1, ou

ou, em notao mais

= ,

seja,

afinal,

123 = +
)

= QED e, =

Para visualizar melhor a ltima passagem, lembre-se que assim,


,

Corolrio: + .

. , e tal que = ) tem-se 2


, ,

Esse corolrio, que uma conseqncia imediata do teorema, um resultado muitas vezes til. Se admitirmos na estrutura sobre A um elemento neutro para a soma (elemento 0), podemos definir uma funo, chamada de Delta de Kronecker, que muito til algebricamente. Definio 1.5.2 (Delta de Kronecker): Se existe em A um elemento, denotado 0, tal que 0 + = , ento definimos a funo : de forma que: , )= , )= =1 =0 =

A principal propriedade dessa funo mostrar essa propriedade, basta vermos que

= (pois = 1 e todos os outros termos se anulam). Naturalmente, a propriedade tambm vale caso existam outros ndices livres alm de , ou seja, = (k e j so ndices livres). Em particular, temos = . Exerccio 1.5.5: Mostre que sempre vale
,

(1 ). Para ++ + +

.
,

. SUGESTO: Veja que

Exemplo =
,

1.5.5:

fato de que, sendo 1 para todo > para = (caso >

De fato, pois

+ +

somatrio =
, ,

, ,

. O min ,

dado

por

(veja a Definio 1.3.2). devido ao (caso > ) ou

).

e 1 ,

se anula para todo >

Exerccio 1.5.6: Verifique explicitamente o resultado do exemplo anterior , . , .


,

Exerccio 1.5.7: Mostre que

= . SUGESTO: Observe que

124 Exemplo 1.5.6: Para adequarmos algumas expresses a determinadas convenes, s vezes necessrio realizar uma fatorao do tipo + = propriedade + = = . + = +

, onde usamos a

Sendo = e = , quanto ? Num primeiro impulso, ) )= ) = , poderamos pensar que = onde se usou o Teorema 1.5.3, mas simples encontrar um contra exemplo que mostre a falsidade dessa expresso. Com efeito, = + ao passo = + , = = + e = + ) + )= + que = + + . Mas o que h de errado na manipulao feita inicialmente? Devemos ver que os ndices so independentes (a variao de um no influencia na do outro) e, ao fazer o produto posto, devemos renomear ao menos um dos ndices para garantir a independncia. Ou seja, a expresso correta = ) ) = ). Aqui podemos ver uma das = vantagens da notao de somatrio. O que est dentro de um somatrio pode ser manipulado da mesma forma como feito caso no existisse o somatrio (na ltima passagem simplesmente se considerou uma constante e, assim, pelo Teorema , podemos ver que
)

1.5.3, pde entrar no somatrio de ndice ). Exemplo 1.5.7: Considerando a soma


)

, onde se usou o resultado obtido no Exemplo 1.5.2.

)=

Consideremos, para o prximo teorema, que a estrutura sobre mais precisamente, um corpo ordenado.

constitui,

Para que tenhamos o prximo resultado, teremos que considerar um resultado preliminar: quaisquer que sejam , , , com e temos + + . Com efeito, pela monotonicidade da soma, + + e + + e, portanto, + + . Teorema 1.5.7: Considerando os conjuntos , com um corpo e a relao de ordem a de um corpo ordenado, se, , . Demonstrao: A propriedade vale para = 1, pois por hiptese. Supondo que valha para = , ou seja, que vale para = + 1, pois temos = + , afinal, e . =

sendo , ento

= , temos + = QED

Exerccio 1.5.8: Mostre que o resultado acima vale para = , com a relao de ordem definida para (subseco 1.3). Veja que no um corpo.

125 )= e )= Exemplo 1.5.8: Considerando com , : , temos )= ), )= = ) que = pois (mostre isso). Veja que, embora no saibamos os resultados explcitos dos somatrios, possvel dizer que um somatrio maior que o outro. Exerccio 1.5.9: Mostre que Lembre-se do Teorema 1.5.2. ,

. SUGESTO:

O teorema seguinte garante uma manipulao bastante til em vrias situaes.

feitas sejam positivas (num caso mais geral, que no apresentaremos agora, essa restrio pode ser eliminada). Demonstrao: Usemos o Teorema 1.3.6 para realizar a demonstrao. O )= ) e, por outro lado, teorema vlido para = , pois, por um lado,
)

Teorema 1.5.8 (mudana de varivel): Sendo : , temos que )= )= + ), onde , e so tais que as subtraes

)=

)=

). A segunda igualdade se demonstra analogamente.

)=

), temos que vale para


)

+ )

)+

). Supondo que valha para + )+1 )= = + 1, afinal,

)+

= , ou seja, + 1) =
)

)=

QED Exemplo 1.5.9: Embora possa parecer estranha a manipulao apresentada no Teorema 1.5.8, podemos ver o quanto ela simples por um exemplo. Considere ) = 5) + : de forma que queiramos o somatrio de 5 a 8. Ou seja, 6) + 7) + 8). Mas vemos que o somatrio no se altera ao somarmos 2 aos limites do somatrio e subtrairmos 2 da varivel. De fato, pois 2) = 2) = 7 2) + 8 2) + 9 2) + 10 2) = 5) + 6) + 7) + 8).

Podemos definir em um corpo uma potncia de expoente inteiro, como feito abaixo. Definio 1.5.3 (potncia com expoente inteiro): Sendo , +,) um | =0 = 1 , e corpo, ) = ), definimos: a) b) c) =1 = =

sempre que est definido.

est definido.

se

No difcil verificar que as propriedades demonstradas para a potncia de naturais continuam vlidas para esse caso. Temos ainda que = =1 = .

126 Pela definio, 0 = 1, mas, sendo 0, 0 = 0. Isso parece contraditrio, fazendo-nos pensar se realmente uma definio apropriada, mas o resultado apresentado conveniente por diversos motivos. Duas outras propriedades dessa definio de potncia so dadas no teorema abaixo.

Teorema 1.5.9: Sendo , +,) um corpo com a potncia de expoente inteiro definida como acima, temos que: a) b) = = se se 0. 0 ou = 0. = 0, a expresso s fica definida com = 0, qualquer expoente = , isto , = = 0 e,

Demonstrao: (a): Se nesse caso, temos vlido para = =

assim, demonstremos o resultado por induo sobre = = 0, pois =

=0 =0

. No caso de

vlido e,

j observando que o resultado =

. O resultado vale para = =

que vale para

mostrando o resultado. = 0, afinal, pois

+ 1, afinal, =1= =

e, ao supormos que valha para =

= 1 j que , temos
)

= =

(b): Demonstremos por induo sobre para = = , ou seja, =

j vendo que o resultado vlido = 1, j que e = , e,

. O resultado vale para = =


ao supor que valha para + 1,

, obtemos que o resultado vale para = isso completa a

demonstrao.

que a) b)

Defninio 1.5.4 (produtrio): Sendo uma famlia de elementos tal = , definimos o operador produtrio desses elementos por: = = sempre que est definido.

QED

Essa definio semelhante de somatrio (apenas se trocou a soma pelo produto). A propriedade demonstrada no Teorema 1.5.1 possui anlogo nesse caso (mostre isso), ou seja, = e o corolrio tambm continua vlido. Como ser visto, existem outras mais caractersticas do operador produtrio que so anlogas a alguma do somatrio. Observao: Os ndices do produtrio tambm so mudos. Ou seja, o produtrio no muda se mudarmos o nome dos ndices.

127 Para simplificar o tratamento do que ser visto a seguir, vamos admitir que a estrutura sobre um corpo ordenado. Mas algumas das propriedades podem valer para outras estruturas se forem tomados os devidos cuidados. Muitas demonstraes sero deixadas como exerccio devido semelhana com as j feitas para o somatrio. Teorema 1.5.10: Para o produtrio valem as seguintes afirmaes: a) b) c) = = =

Exerccio 1.5.10: Mostre o teorema acima.

Salvo alguns detalhes, podemos ver que essas propriedades so anlogas s mostradas nos teoremas 1.5.2, 1.5.3 e 1.5.4. Lembremos que num corpo sempre possvel definir uma operao chamada diviso, onde = . Assim, temos o teorema seguinte. , com
/: , ) /

Teorema 1.5.11: Sendo vale: a) b) = =

0 , temos que

se

0 .

Exerccio 1.5.11: Mostre o teorema acima. A propriedade apresentada na parte (a) do teorema acima na verdade anloga a uma propriedade no apresentada do somatrio: )= (mostre isso considerando a operao subtrao definida para corpos). J a apresentada na parte (b) a propriedade telescpica do produtrio. Exemplo 1.5.10: Sendo +1 = + 1 ? Podemos resolver tal questo observando que +1 = . Ora, sendo = + 1. : tal que ) = + 1, quanto +1= )=

e, dessa forma,

= , temos que esse produtrio telescpico )=

. Assim,

resultado anterior para encontrar o produtrio = e, portanto, = =

Exemplo 1.5.11: Considerando : tal que = .

)=

, podemos usar o . De fato, pois

Exerccio 1.5.12: Sendo : tal que

) = 1 + + , encontre

).

128 De forma anloga ao somatrio, possvel que se queira o produtrio de um conjunto de (1 ) a e, para esse caso, definimos = e querer considerar um determinado elemento de ). (1 ), definimos = Exerccio 1.5.13: Mostre que Exerccio 1.5.14: Mostre que, sendo =
)

sempre que

est definido. Tambm podemos no e, sendo . o indesejado

com

: tal que =

)=1

Exerccio 1.5.15: Mostre que propriedade de abertura para o produtrio.

. Essa a

Tambm no estranha a idia de produtrio duplo, triplo, etc.. Assim, podemos ter expresses do tipo . Como o caso anlogo ao do somatrio, podemos adotar todas as notaes j introduzidas para somatrios mltiplos. Teorema 1.5.12 (comutatividade do produtrio): =
, ,

tal que

compacta,

ndices serem mudos apenas se renomeou por e vice-versa). Exerccio 1.5.16: Mostre o teorema acima.
,

) tem-se
, ,

(essa ltima igualdade vem do fato dos

ou, de forma mais

Corolrio: =
, ,

tal

que

tem-se

Exerccio 1.5.17: Demonstre o corolrio acima. Esse corolrio o resultado anlogo ao obtido para o somatrio. Exemplo 1.5.12: Considerando
, )

, )= =

e os resultados dos exemplos 1.5.10 e 1.5.11. Poder-se-ia obter o mesmo resultado usando o corolrio do teorema. De fato, pois
,

) )

= 1, onde se usou o fato de

tal que =
)

, )=

ser um produto telescpico


) )

, temos que
)

1 = 1.

) )

Teorema 1.5.13 (mudana de varivel): Sendo : , temos que )= )= + ), onde , e so tais que as subtraes

129 feitas sejam positivas ( possvel tirar essa restrio num caso mais geral, que no ser apresentado agora).

Demonstrao: Usemos o Teorema 1.3.6. O teorema vlido para = , )= ) e, por outro lado, pois, por um lado, )= + ) que vale para ) = ). Supondo que valha para + )+1 ) = = + 1, afinal, = , isto ,
)

demonstra analogamente.

+ 1) =

)=

). A segunda igualdade se QED

)=

)=

), temos
)

Consideraremos a estrutura , +,) um corpo e, para auxiliar as definies o conjunto tal que que sero feitas, definiremos ) | =0 = 1 . ) = + + + + ). No difcil ver polinmio (expresso da forma que a expresso + ) d origem a um polinmio, mas o teorema que ser demonstrado nos permite encontrar os coeficientes do polinmio (os , , , ) facilmente. Definio 1.6.1 (fatorial): Definimos a funo fatorial !: 0! = 1 != 1)! sempre que 1)! est definido.
)

1.6 Teorema Binomial de Newton

O Teorema Binomial de Newton o teorema que nos permite expandir expresses da forma + ) ( , ) ), chamados de binmios, em um

por:

a) b)

= 1 2 se > 0. Um resultado que podemos ter que ! = Demonstremos isso por induo. O resultado vale para = 1, pois = 1 = 1! e, ao supor que valha para = , ou seja, ! = , temos que vale para = + 1, pois = + 1) = + 1) ! = + 1)!. Outro resultado (mostre isso). O fatorial til em vrias reas na matemtica. Em especial, na Anlise Combinatria. Para a prxima definio, tomemos = , )
)| ! )!

De imediato podemos ver que 1! = 1 1 1)! = 1 0! = 0! = 1.

+ )=

+ 1)

+ 2)

+ ) se

>0

Definio 1.6.2 (coeficiente binomial): O coeficiente binomial definido pela funo ( ): tal que: . . , )= = ! ! )!

130 = = 1e =

Duas propriedades que podemos perceber dessa funo so


!

)! )

+ 1. De fato, pois =
! ! ) !

+ 1.

)!

! !

=1=

! !

)!

Exerccio 1.6.1: Mostre que

Essa definio tambm muito freqente na matemtica em diversas reas. Abaixo segue um teorema que nos ser necessrio na demonstrao do Teorema Binomial de Newton. Teorema 1.6.1 (relao de Stifel): Sendo temos que: +1 = + 1 ,
)

com

+ . Assim, tomando o lado direito da expresso: 1 = = + +

Demonstrao: Sendo

+ + )! + )! = + 1 1)! + ) 1) ! ! + ) ! + )! + )! + )! + )! + = + 1)! + 1)! 1)! ! 1)! ! + 1) ! ! + )! 1 1 + )! +1+ + = 1)! ! +1 1)! ! + 1) )! + + 1) + + + 1)! = 1)! ! + 1) ! + 1)! + + 1)! + +1 +1 = = ! + + 1) )!

, pode-se ver que existe

em

tal que

QED e

Teorema 1.6.2 (Teorema Binomial de Newton): Para quaisquer ) , vale que: 1+ ) = 1


)

Demonstrao: Demonstraremos por induo sobre ) resultado satisfeito para = 0, pois = Podemos ver que o resultado vale para 1+ ) =
)

, temos que vale para

+ 1. Ao supor que valha para =

= 1 j que

j observando que o ) =1= 1+ ) . = , isto ,


)

+ 1. Com efeito:

131 1+ ) = 1+ ) 1+ ) = = + 1) 1 1 1+ )

) ) ) )

11 0

) ) )

+ 1

)
)

+ 2

1
)

+ + + +

+22

) )

+
)

1 1

= =

+1 11

+1 1
)

2
)

) )

+1

+1

+1

+1 1

+1 1
)

+1
)

+1 1

+1 +21
)

E esse o resultado procurado. Mas o que queremos o resultado para + ) em geral, embora o resultado acima j seja realmente til. Poderamos ter demonstrado j para o caso QED

132 geral, mas tornaria a demonstrao mais complicada. Demonstrado o teorema acima, o resultado geral um corolrio. Corolrio: Para quaisquer , + ) = e 1
),

vale que:
)

Demonstrao: Como o resultado claro para = 0 (esse um dos motivos de 0 = 1 ser conveniente), vamos demonstrar para 0. Nesse caso, temos: + ) = +1 1 =
) )

1
)

= 1

) )

QED Existem generalizaes do teorema para fracionrio e negativo, mas esses casos resultam em polinmios de infinitos termos (uma srie infinita foram esses os casos que Newton realmente estudou). Observao importante: Devido nossa escolha de no incluir o zero nos naturais, tivemos que enunciar o teorema como feito acima. No entanto pode-se ver que, por uma mudana de varivel (por enquanto ilcita), podemos reescrever o teorema como + ) = , que uma expresso visivelmente mais 0) se

)= simples. Dentro do que temos, podemos improvisar definindo ) = 0) + ) se , onde : 0 com 0 . =0e a) 2 = b) 0 = Alguns resultados imediatos do teorema so: 1) , onde se usou o teorema com se = 1.

O Teorema Binomial de Newton transforma expresses da forma + ) em uma soma onde, basicamente, se precisa apenas calcular os coeficientes (ou

> 0, onde se usou o teorema com

= 1.

coeficientes que a expresso + ) por multiplicaes sucessivas, mas a relao de Stifel nos traz mais um resultado facilitador. Considerando os binmios + ) e + ) , com coeficientes binomiais, respectivamente, da forma e , a relao = + pode ser vista como o coeficiente + 1 (lembrando que a

se a soma comea de 0). muito mais simples, em geral, calcular esses

soma comea de = 0) do binmio + ) igual soma dos coeficientes + 1 e do binmio + ) . Essa afirmao s faz sentido caso no corresponda a uma

133 extremidade do binmio ( = 0 ou = + 1 no caso de sabe que nas extremidades o coeficiente binomial 1. + ) ), no entanto se

Comeando pelos binmios + ) = 1, donde se tem que o coeficiente 1, e + ) = + , que possui coeficientes binomiais 1 e 1, podemos obter os coeficientes dos binmios com > 1 pela relao de Stifel. Por exemplo, os coeficientes de + ) so 1, 2 e 1, onde o primeiro e o ltimo so 1 por serem extremidades e o segundo se obtm por = = + = 2. Realizando sucessivamente esse processo obtemos os seguintes resultados: = 0: 1 = 1: 1 1 = 2: 1 2 1 2=1+1 = 3: 1 3 3 1 3 = 1 + 2 = 2 + 1 = 4: 1 4 6 4 1 4 = 1 + 3 = 3 + 1 6 = 3 + 3

Como se pode ver, simples obter essa sucesso (chamada de Tringulo de Pascal). Mas, alm dos coeficientes, temos que ter os expoentes. No difcil verificar , o expoente de decresce de que, considerando o binmio + ) =

at 0 ao passo que o de cresce de 0 at + ) pode ser escrita como + ) = usamos o Tringulo de Pascal.

. Assim, por exemplo, a expresso +4 +6 +4 + , onde + ) , + e .

Exerccio 1.6.2: Faa a expanso dos binmios

Exerccios III 1
Durante os exerccios, considere que as propriedades operacionais e de ordem so a de um corpo. Considere tambm que | =0 = ) = . Nos exerccios 6, 7 e 8, as demonstraes no precisam ser 1 de todo rigorosas (como feito no Exemplo 1.3.1). 1 Mostre que o Princpio da Boa Ordem implica o Princpio da Induo (Axioma 1.1.3).

3 Dado no vazio tal que , existe de forma que = | = mltiplos de ).

2 Um nmero natural dito par se existe tal que = 2 e um nmero dito mpar se existe tal que = 2 1. Mostre que, dado um , par ou mpar e no pode ser ambos. Mais precisamente, sendo o conjunto dos naturais pares e o conjunto dos naturais mpares, mostre que = e que = . , + ) , mostre que (conjunto dos

134 4 Mostre que todo natural par e mpar. a) 6 = = + 1) 2 + 1) + 1) pode ser escrito como =2 para algum

5 Usando induo, mostre que:

c) d) e)

b) 4

6 Torre de Hani um conhecido jogo constitudo de trs hastes (1, 2 e 3) e um conjunto de discos com dimetros distintos, os quais colocados em ordem crescente de dimetro na haste 1 (contando de cima para baixo). O objetivo passar esses discos para a haste 3 com o menor nmeros de movimentos possvel (um movimento consiste em passar um disco de uma haste para outra). As regras so as seguintes: a) S se pode mover um disco de cada vez. b) S se pode mover o disco de menor dimetro numa haste. c) Um disco de dimetro menor nunca poder estar embaixo de um disco de dimetro maior. Mostre que o menor nmero possvel de movimentos para uma Torre de Hani com discos 2 1. Compare o resultado com o do item (c) do exerccio anterior e interprete-o. SUGESTO: Use induo e observe que, para uma torre de ( > 1) discos, precisamos colocar 1 primeiros discos na haste 2 para ser possvel passar o ltimo (de dimetro maior) para a haste 3.

2 =2 1 !>2 4 se e

7 Considere retas num plano. Mostre que o mapa formado por essas retas pode ser colorido com duas cores sem que regies vizinhas sejam coloridas com a mesma cor (uma regio vizinha de outra se existe um segmento de reta separando-as).

135 8 Considere o grupo diedral e os grupos diedrais , onde . que isomorfo a . SUGESTO: Mostre que existe um nico subgrupo de Consulte o resultado do exerccio 14, Exerccios II 6. Observe que de um polgono regular de 2 vrtices para um de 2 vrtices se dobra o nmero de vrtices. Pode-se imaginar a construo desse polgono com o dobro de vrtices acrescentando esses vrtices nos lados do polgono anterior, como ilustrado abaixo, onde se passa de um tringulo para um hexgono.

Demonstrao: Demonstremos por induo. O resultado vlido para = 1, )= ) . Supondo que seja vlida para = , isto , )= pois com e possuindo elementos, temos que vlida para = + 1. De fato, pois, considerando com + 1 elementos e tomando dois elementos quaisquer distintos , , temos que = e = possuem elementos e, pela )= )= )= hiptese indutiva, e , que implica )= ) )= , mostrando o resultado. *: De forma geral, uma funo : dita constante quando para algum , ou seja, quando a imagem de um conjunto unitrio. Teorema 2: Considerando e
)

Teorema 1: Uma funo : tal que possui elementos (indexado pelos primeiros nmeros naturais) necessariamente uma funo constante*.

9 Os seguintes teoremas, claramente falsos, possuem falhas em suas demonstraes. Encontre essas falhas:

)=

0 , temos

= .

Demonstrao: Usaremos a induo completa para demonstrar esse teorema. O resultado vlido para = 1, pois = . Supondo que seja vlido para ) todo 1, , , temos que vlido para = + 1, afinal = =

10 Sendo :

= .

, mostre que

136
)

11 Encontre formulas para as seguintes expresses: a) b) c) d) e) f)


,

com com 2
)

1+

. .

12 Mostre que: a) b) c) d) e) f) g) h) i) 1) 1) = = 1 e 1) = 2 + 1) .
)

,,

+ 1)

= 1 com =

SUGESTO: Aplique o teorema binomial

que )

13 Considere a funo : de forma que , ) = 0, onde ) 0 . , 14 Seja = uma famlia de funes . :

, )=

, ). Demonstre

, mostre que

2 Conjuntos Finitos e Infinitos; Aritmtica de Cardinais


Uma das motivaes para se ter o conjunto dos naturais conseguir contar elementos de um conjunto. Nessa seco daremos uma noo rigorosa do que seja contar elementos de um conjunto (finito). Alm disso, veremos tambm que existem infinitos distintos e que o conjunto dos naturais possui a menor cardinalidade infinita. 2.1 Conjuntos finitos Definio 2.1.1 (conjunto finito): Dado um conjunto finito se vazio ou existe tal que : bijetora. dizemos que esse

137 Vemos que isso significa que o conjunto vazio ou indexado por e, assim, podemos escrever = (quando no vazio). A bijeo chamada de contagem dos elementos de e chamado de nmeros de elementos ou nmero cardinal de . comum denotarmos | | como o nmero cardinal de (notao j introduzida no primeiro captulo). Para o conjunto vazio, associamos o smbolo 0 para indicar sua cardinalidade, isto , || = 0. A definio corresponde ao que entendemos intuitivamente por contar elementos de um conjunto, pois se est fazendo uma correspondncia um-para-um entre os naturais do conjunto e os elementos de (1 1) = , 2 2) = ) = ). ,,

Teorema 2.1.1: Se uma incluso prpria, ento no existe bijeo : . De forma equivalente, se , ento : pode ser bijetora somente se = . Demonstrao: Consideremos o conjunto de todos os nmeros naturais para os quais existe uma bijeo : com sendo uma incluso prpria. Segue do Princpio da Boa Ordem (Teorema 1.3.7) que esse conjunto possui menor > 1, pois no existe natural elemento, chamemos esse de . Logo se v que menor que 1. Sendo tal que : )= uma bijeo e e . Ora, se redefinirmos para : uma incluso prpria, peguemos ) , teremos era o menor

uma bijeo entre

, contrariando a hiptese de que

natural para o qual isso seria possvel. QED Desse resultado podemos obter fundamentais sobre conjuntos finitos. Corolrio 1: Sendo : como corolrios = alguns resultados

Demonstrao: Se < , ento uma bijeo entre e e, se < , ento uma bijeo entre e . Ambas as situaes absurdas pelo teorema. Corolrio 2: Se : e : so bijees, ento = .

uma bijeo, ento

QED

Demonstrao: Ora, se e so bijees, ento : bijeo e, pelo corolrio acima, isso s pode acontecer se = .

uma QED

Esse corolrio mostra que o nmero cardinal est bem definido. Ou seja, que um conjunto finito s pode ser associado a um nico nmero cardinal.

138 Corolrio 3: Se somente se, sobrejetora. um conjunto finito, ento : injetora se, e

Demonstrao: Sendo finito, existe uma bijeo : para algum : . A funo : injetora ou sobrejetora se, e somente se, injetora ou sobrejetora respectivamente ( uma composio de funes de . Se injetora, ento injetoras ou sobrejetoras). Chamemos sobrejetora, pois, sendo ) = , : uma bijeo e, pelo teorema, s ocorre se = . Por outro lado, se sobrejetora, ento existe tal que : uma bijeo e, usando o teorema, isso s ocorre se = . Portanto tambm uma bijeo nesse caso. QED uma incluso

Demonstrao: Suponha que exista uma bijeo : . Como finito e no vazio, existe uma bijeo : para algum e, assim, : ) = deve ser uma uma bijeo. Ora, j que a incluso prpria, incluso prpria. Chamando : a bijeo obtida pela restrio do domnio a , : uma bijeo e isso uma contradio pelo teorema. Lema 2.1.1: Se e so finitos e : , existe uma bijeo : tal que uma bijeo, ento, sendo )= . QED

Corolrio 4: Sendo prpria, no existe bijeo :

um conjunto finito no vazio e .

, que

)= ) = , definamos tomando )= Demonstrao: Sendo e )= ) quando , mas distinto de e . Facilmente se v )= e definida dessa forma uma bijeo. QED

Demonstrao: Sendo um conjunto finito, o teorema claro para = . Quando no vazio, existe bijeo : . Demonstremos o teorema por induo sobre . O teorema evidente para = 1 e, ao supor que vale para = , isto , sendo : uma bijeo, um subconjunto de finito, temos que vale para = + 1. Mostremos isso. Considerando a bijeo : e um subconjunto , se = nada se tem para mostrar, mas, se a incluso prpria, existe tal que . Usando o lema, podemos fazer + 1) = e, ) e : ) uma bijeo. Disso obtemos que dessa forma, finito com elementos que, pela hiptese indutiva, implica que finito. QED Corolrio 1: Sendo um conjunto finito, temos que:

Teorema 2.1.2: Um subconjunto de um conjunto finito tambm um conjunto finito.

139 a) Se : b) Se : sobrejetora, ento finito. injetora, ento finito.

)= (b): Por : ser injetora, podemos restringir o contradomnio a e disso obter : bijetora. Do teorema temos que finito e, assim, existe bijeo : . Dessa forma, : uma bijeo, mostrando que finito. Corolrio 2: Um subconjunto de finito se, e somente se, limitado. = + QED .

Demonstrao: (a): Como sobrejetora, existe tal que : bijetora. Pelo teorema, temos que finito e, portanto, existe : bijetora. Logo, j que : uma bijeo (composio de bijees), finito.

Demonstrao: Se finito, ento podemos escrever Considerando o somatrio desses elementos, , temos que qualquer que seja , pois . Logo,

Reciprocamente, se um conjunto limitado, esse possui mximo (veja Exerccio 1.3.5) e, sendo esse , logo se v que . Como finito, pelo teorema conclumos que finito. QED Corolrio 3: Se finito, ento finito. Demonstrao: Seja

limitado.

uma coleo de conjuntos tais que ao menos um

um conjunto finito. Sabendo que

resultado segue imediatamente do teorema.

,o

QED finito.

Teorema 2.1.3: Se

so conjuntos finitos, ento

Demonstrao: No caso se algum desses conjuntos ser vazio, o resultado imediato, ento vamos supor que no so vazios. Por esses conjuntos serem finitos e : , mas tambm no vazios, temos que existem bijees : podemos ver que : + tal que ) = + uma bijeo. Dessa forma, : + uma bijeo. Fazendo a unio dessa funo com a e vendo que + = , temos a sobrejeo : ,donde, pelo Corolrio 1 do teorema acima, conclumos que finito. QED Observando bem esses resultados, pode-se ver que todos so bvios pelo que entendemos intuitivamente por conjunto finito. Observao importante: De forma geral, dada uma estrutura elemento , comum serem usadas as notaes ,) e um =

140 | = e = | = , onde . Por exemplo, poderamos ter escrito o conjunto + como + = | = + . Outro exemplo que podemos escrever o conjunto dos naturais pares como 2 = | = 2 . conjuntos finitos, mostre que finito. sendo uma famlia de conjuntos finitos.

Exerccio 2.1.1: Sendo e Generalize para o caso com

Exerccio 2.1.2: Mostre que, se ento finito. Exerccio 2.1.3: Mostre que 2.2 Conjuntos infinitos

uma famlia de conjuntos finitos, + )= + = +

Definio 2.2.1 (conjunto infinito): Um conjunto infinito quando no finito. Essa definio parece vazia, mas equivalente a dizer que um conjunto infinito quando no vazio e no existe bijeo : qualquer que seja . Ou seja, no existe tal que esse seja o nmero de elementos de um conjunto infinito, o que intuitivo. ) = + 1, injetora Demonstrao: A funo sucessor, : tal que sem ser sobrejetora. Do Corolrio 3 do Teorema 2.1.1, no finito e, portanto, infinito. QED infinito. Teorema 2.2.1: infinito.

que

Demonstrao: Sabendo que = e que , mostremos . Ora, por , temos que esse finito e, assim, evidente que . Teorema 2.2.2: Se infinito, ento existe funo injetora : . QED

Lema 2.2.1: Se

infinito e

finito, ento

Demonstrao: Definamos uma coleo : de funes injetivas ). de forma indutiva. = 1, ) com e = 2, ) onde Supondo j conseguidos as primeiras funes injetivas : com = , ) para > 1, onde )), podemos fazer = ) com )), j que ) pelo lema. Tomando + 1, )= ), essa injetora, pois, sendo ) : definida por > , ) ) ). ) ao passo que )), donde temos que QED

141 Corolrio: Um conjunto esse e alguma parte prpria sua. infinito se, e somente se, existe bijeo entre

Demonstrao: Pelo teorema, se infinito, ento existe funo injetora : . Denotemos a imagem dessa funo por . Dessa forma, temos as ). Como a funo sucessor bijees : : 1 ) e definida como : 1 ) uma funo bijetora, a composio ) uma bijeo. Por simplicidade, vamos escrever : = . Considerando a funo : ) ) tal que ), que ) = , ao unirmos essa funo com a anterior, obtemos : uma funo bijetora entre e sua parte prpria . Reciprocamente, se existe bijeo entre e um subconjunto prprio desse, infinito em virtude do Corolrio 4 do Teorema 2.1.1. QED Observao: Observe que, na demonstrao do corolrio, se demonstrou a recproca do teorema, pois se mostrou que a existncia de uma funo injetora : implica a existncia de uma bijeo entre e alguma parte prpria desse conjunto. O resultado do corolrio contra-intuitivo. Ao vermos que uma bijeo uma correspondncia um-para-um, ou seja, uma relao que toma um elemento de um conjunto e relaciona a um nico de outro conjunto, a idia de que possa existir uma bijeo entre um conjunto e alguma parte prpria desse parece absurda. No entanto o corolrio acima nos diz que isso no s pode acontecer, mas tambm que necessrio para considerarmos um conjunto infinito. Alm da funo sucessor, pode-se ver que
:

, onde

o conjunto dos

pares naturais, uma bijeo. Intuitivamente poderamos pensar que o conjunto dos pares naturais corresponde metade dos naturais, mas a existncia de uma bijeo entre e nos diz que existem tantos pares quanto naturais ou, de forma equivalente, que os pares so to numerosos quanto os naturais. Demonstrao: Como infinito, existe funo injetora : , bastando estender o contradomnio para , temos a funo injetora : , mostrando que infinito. QED Corolrio 1: Seja um seja infinito. Ento

Teorema 2.2.3: Se

infinito e

, ento

infinito.

uma coleo de conjuntos de forma que ao menos infinito.

Demonstrao: Basta observar que, sendo infinito,

um conjunto

, donde o resultado segue imediatamente do teorema. QED

142 Corolrio 2: Considerando os conjuntos a) Se b) Se infinito e existe : infinito e existe : e , temos:

injetora, ento infinito. sobrejetora, ento infinito.

Exerccio 2.2.1: Demonstre o ltimo corolrio. 2.3 Conjuntos enumerveis Definio 2.3.1: Um conjunto dito enumervel se finito ou existe bijeo : , essa chamada de enumerao dos elementos de . : ,

Observamos que, sendo um conjunto infinito, existe funo injetora : e, assim, existe tal que : bijetora. Ora, , ento, infinito e enumervel, ou seja, poderamos enunciar o Teorema 2.2.2 como todo conjunto infinito possui um subconjunto infinito enumervel. Veremos mais adiante que isso significa que o infinito enumervel o menor dos infinitos. Teorema 2.3.1: Todo subconjunto de enumervel.

Como no caso de conjuntos finitos, quando existe bijeo ) = , . Assim, temos = escrevemos 1) = , 2) = , , .

Demonstrao: Se finito, nada temos o que demonstrar, ento seja ) = | |. Essa funo injetora, infinito. Definamos : de forma que pois, sendo > ( , ), uma incluso prpria, fazendo | | | |. A demonstrao de que sobrejetora pode ser feita por )= =| | = 1 e, supondo induo: sendo o menor elemento de , j conseguidos, )= + ) (1 < ), tenhamos = = )= = 1, , ) fazendo = )= = min = com , donde se tem = = min

de que | | = | | + | | | |. Corolrio 1: Se

+ 1, onde foi utilizado o fato no demonstrado ainda QED enumervel.

enumervel,

Demonstrao: Se ou finito, nada temos para demonstrar, ento suponhamos que ambos sejam infinitos. De ser infinito, temos a existncia da ), temos a bijeo : ) . Ora, pelo bijeo : . Tomando = teorema, enumervel e, assim, existe : ) bijetora e, portanto, temos : bijetora, completando a demonstrao. Corolrio 2: Considerando os conjuntos a) Se injetora e enumervel, ento e e uma funo : QED temos:

enumervel.

143 b) Se sobrejetora e enumervel, ento enumervel.

Demonstrao: (a): Basta observar que existe : bijetora e, assim, : injetora. Tomando tal que : seja bijetora, essa uma bijeo entre e um subconjunto de , o qual enumervel pelo teorema. (b): Tomando tal que : enumervel e, portanto, enumervel. bijetora, do Corolrio 1,

QED Com a parte (b) do corolrio acima, podemos afirmar que um conjunto enumervel quando existe funo sobrejetora : .

Corolrio 3: O produto cartesiano de dois conjuntos enumerveis enumervel.

Corolrio 2, suficiente ter uma aplicao injetiva : . Tal obtida definindo , ) = 2 3 , pois a decomposio de um natural em primos nica (Teorema Fundamental da Aritmtica, que ser demonstrado na prxima seco). QED

Demonstrao: Com efeito, sejam e conjuntos enumerveis. Existem sobrejees : e : e, dessa forma, : tal que , ) = ), ) uma sobrejeo. Ento basta mostrar que enumervel. Pelo

Corolrio 4: Sendo enumervel.

uma famlia de conjuntos enumerveis,

Demonstrao: De esses conjuntos serem enumerveis, temos a famlia de funes sobrejetoras : : . Definamos a coleo de ). Essas funes tambm so sobrejetoras. Como os forma que , )= domnios dessas funes so disjuntos, ao tomarmos a unio de todas, temos a funo sobrejetora : . Observando que = = e que = , temos, finalmente, que : uma sobrejeo, demonstrando o teorema. Para o caso da unio de um nmero finito de conjuntos, isto , , basta termos a famlia = para > . com Exerccio 2.3.1: Mostre que com QED natural enumervel.

mpares) e

Exemplo 2.3.1: Como exemplo de uma unio enumervel de conjuntos enumerveis, vamos decompor numa coleo infinita enumervel de conjuntos onde cada infinitos enumerveis disjuntos dois a dois. Ou seja, = infinito e disjunto de todos os outros (veja que se trata de uma partio de ). Definamos a coleo = 2 1 (conjunto dos da seguinte forma: partio de . Os conjuntos so disjuntos, pois, dado = 2 2 1)

para

> 1. Demonstremos que

e sendo

uma com

144 < , se , ento . Com efeito, se = , v-se isso pelo fato de ser um conjunto de pares qualquer que seja > 1. Para o caso de , seja = + e um elemento =2 ( mpar). Se 2 , ento

=2 para algum mpar, mas isso leva a um absurdo, pois teramos = 2 , contrariando a hiptese de que mpar. Agora demonstraremos que um natural pertence a algum desses conjuntos. De fato, pois, se mpar, ento e, se par, existe natural e mpar de forma que = 2 . Assim, = e = sempre que .

Como veremos, exemplos de conjuntos enumerveis alm dos subconjuntos de so o conjunto dos inteiros e o dos racionais. Mas j deixamos a entender que existem conjuntos infinitos que no so enumerveis. De fato existem. O conjunto dos reais no enumervel, como ser mostrado mais adiante. Um exemplo mais simples de conjunto no-enumervel segue abaixo. Exemplo 2.3.2 (conjunto no-enumervel): Consideremos o conjunto 0,1 . Vamos mostrar que ele no enumervel. Para tanto, mostraremos que nenhum subconjunto enumervel de 0,1 pode ser igual a 0,1 . Com efeito, o conjunto 0,1 o conjunto de todas as seqncia com zeros e uns (seqncias do tipo 1,0,1,0,0,1,0,1,1, )). Tambm podemos pensar 0,1 como o conjunto de todas as funes : 0,1 . Tomando um subconjunto enumervel 0,1 , seja ) o m-simo termo da seqncia . Construamos a seqncia com ) = 0 se )=1 e ) = 1 se ) = 0, ou seja, para todo natural, temos ) ). qualquer que seja j que Dessa forma, no pertence a , pois ) ). Assim, fica demonstrado que no 0,1 . Portanto, 0,1 enumervel.

O raciocnio desenvolvido acima para demonstrar que 0,1 no enumervel chamado de mtodo da diagonal e devido a Georg Cantor. O exemplo ainda mostra que o produto cartesiano de uma coleo enumervel de conjuntos em geral no enumervel. 2.4 Equipotncia de conjuntos

natural, para conjuntos finitos, que tenham mesmo nmero de elementos quando existe bijeo entre esses, mas no se pode falar em nmeros de elementos para conjuntos infinitos como se faz mais costumeiramente. No entanto a existncia de bijeo entre conjuntos infinitos continua sendo um critrio intuitivo para afirmar que so de mesmo tamanho. Definio 2.4.1 (equipotncia): Dados os conjuntos e esses so ditos equipotentes quando existe bijeo : . Nesse caso, escrevemos ~ .

Pode-se ver que ~ e, alm disso, se ~ , ento ~ e, se ~ e ~ , ento ~ (demonstre essas afirmaes). Ou seja, a relao de equipotncia possui as propriedades de uma relao de equivalncia. No entanto no se trata de uma relao de equivalncia porque a definio se estende a todos os conjuntos e no

145 existe um conjunto de todos os conjuntos. Entretanto segue que, em toda coleo de conjuntos, a relao de equipotncia uma relao de equivalncia. Observao: Podemos, atravs da definio, introduzir a seguinte notao para funes bijetoras: : ~ . Nos teoremas que se seguem, vamos considerar todos os conjuntos em questo no vazios. Teorema 2.4.1: Se ~ . ~ e ~ com == , ento existe :

Demonstrao: Seja : ~ e : ~ . Como os domnios e contradomnios so disjuntos, temos = ): ~ . Corolrio: Se )~ ), ento ~ . QED

Demonstrao: Tomando : )~ ) e a funo identidade , pode-se ver que ) )== ) ), ) )= e ) ) = . Dessa forma, usando o ): ~ . teorema, temos QED Exerccio 2.4.1: Complete os detalhes na demonstrao do corolrio acima. SUGESTO: Lembre-se que = ) ) e use diagramas para visualizar o resultado. Demonstrao: Dados : ~ e : ~ , definamos : de ), ) . No difcil verificar que tal funo uma bijeo forma que , ) = e que, portanto, ~ . Exerccio 2.4.2: Dados os conjuntos 2.5 Nmeros cardinais e , mostre que ~ . QED Teorema 2.4.2: Se ~ e ~ , ento ~ .

Para conjuntos finitos, a idia de nmero cardinal est ligada de indicar quantos elementos um conjunto tem. Nessa subseco, buscaremos no s ligar nmeros cardinais aos conjuntos finitos, mas tambm aos infinitos. Os nmeros cardinais associados aos conjuntos infinitos indicam quantidade de elementos num sentido mais amplo e no mais restrito simples contagem. Como j foi percebido, e ficar mais claro ao longo do texto, no nos importa muitas vezes o que sejam os objetos matemticos em si, mas como podemos manipul-los. Por exemplo, no interessante saber o que um nmero natural e sim como os manipulamos. De fato introduzimos os naturais atravs de suas propriedades e a idia de nmero natural

146 foi tomada como primitiva (no definida). Seguindo essa linha, vamos introduzir os nmeros cardinais de forma axiomtica, como os naturais, ditando no o que seja um nmero cardinal, mas sim suas propriedades. Axioma 2.5.1: Cada conjunto est associado a um nmero cardinal, denotado | |, e cada nmero cardinal est associado a algum conjunto de forma que | | = . Axioma 2.5.3: Se ~ Axioma 2.5.2: | | = 0 para algum = , ento | | = .

Axioma 2.5.4: Dados os conjuntos

Os axiomas 2.5.2 e 2.5.3 se referem aos nmeros cardinais dos conjuntos finitos e afirmam que 0 e cada nmero natural so nmeros cardinais. Os axiomas 2.5.1 e 2.5.4 podem ser obtidos como resultados no caso de conjuntos finitos, mas lembremos que queremos tratar tambm dos cardinais associados a conjuntos infinitos e, nesse caso, esses axiomas so necessrios, pois afirmam a existncia de nmeros cardinais associados a esses conjuntos e como podemos dizer que um nmero cardinal igual a outro. Pode-se, de forma um pouco simplista, pensar um nmero cardinal como a propriedade que um conjunto compartilha com todos os conjuntos equipotentes a ele. A unicidade do nmero cardinal garantida pelo fato de que ~ , pois, pelo Axioma 2.5.4, se | | = e | | = , ento = .

e ,| |=| | ~ .

Os nmeros cardinais associados a conjuntos finitos so chamados de cardinais finitos e os associados a conjuntos infinitos so chamados de cardinais transfinitos. Exemplos de nmeros cardinais transfinitos so || e 0,1 . 2.6 Ordenao de nmeros cardinais

Para cardinais finitos, existe uma ordem (total) herdada da dos nmeros naturais e podemos dizer, por exemplo, que 5 > 2. Mas para cardinais transfinitos os axiomas que tomamos apenas indicam quando so iguais. No entanto de se esperar que possamos dizer que um cardinal transfinito maior que outro. No podemos aplicar a ordem dos naturais aos cardinais transfinitos e tambm no satisfatrio que tenhamos critrios diferentes para tratar a ordem de cardinais finitos e transfinitos. Assim, o que buscamos uma definio que reproduza a ordem dos cardinais finitos e seja aplicvel aos cardinais transfinitos. A definio abaixo intuitiva cumpre esse papel. Definio 2.6.1: Considerando os conjuntos e , dizemos que | | menor ou igual a | | e denotamos | | | | quando existe aplicao injetiva : . Vamos convencionar que, para todo nmero cardinal , 0 .

Exerccio 2.6.1: Mostre que, para os cardinais finitos distintos de 0, essa definio reproduz a ordem de nmeros naturais. SUGESTO: Basta mostrar que

147 para esses cardinais | | | | equivalente a | | = | | ou existe | | + = | |. tal que

Como se sabe, se : injetora, ento existe tal que : seja bijetora. Ou seja, poderamos reescrever a definio afirmando que | | | | quando ~ para algum . Tambm interessante termos a notao | | < | | para indicar que ~ para algum , mas no existe tal que ~ e = , ou seja, que s equipotente a subconjuntos prprios de . Exemplo 2.6.1: || < 0,1

Observao: A partir de agora passaremos a usar a notao || = (l-se lef-zero). Teorema 2.6.1: Para todo cardinal transfinito , .

, como demonstrado no Exemplo 2.3.2.

Demonstrao: Pelo Axioma 2.5.1, est associado a algum conjunto (infinito). Seja esse . Pelo Teorema 2.2.2, existe funo injetora : . Logo, . QED Como j havia sido mencionado, o enumervel o menor dos infinitos. Exerccio 2.6.2: Mostre que Teorema 2.6.2: Se , ento | | | |.
:

< para todo cardinal finito .

Demonstrao: Basta tomar resultado.

(uma funo injetora), donde se conclui o

QED Demonstraremos agora que a ordem apresentada possui as propriedades de uma ordem total, j observando que qualquer que seja o nmero cardinal . Teorema 2.6.3 (transitividade): Sejam , e , ento . e

nmeros cardinais tais que

Demonstrao: Com efeito, esses cardinais esto associados a conjuntos e sejam esses , e respectivamente. Por definio, existem as funes injetoras : e : . Bastando fazer a composio, temos a funo injetora : , donde se conclui que . Exerccio 2.6.3: Mostre que, se e ~ , ento ~ . QED

As duas propriedades que ainda faltam serem demonstradas para completar as caractersticas de ordem total no so resultados triviais. Demonstraremos

148 primeiro a anti-simetria (Teorema de Schrder-Bernstein), mas, para isso, demonstraremos um caso particular como lema. Observao 1: Estamos falando de caractersticas de uma relao de ordem total porque no existe um conjunto de todos os nmeros cardinais. Ou seja, no uma relao (binria) de fato, mas podemos ter conjuntos formados por nmeros cardinais ( um exemplo) e, assim, pode-se afirmar que todo conjunto formado por nmeros cardinais totalmente ordenado com a definio de ordem acima. Observao 2: Na verdade, os nmeros cardinais so bem ordenados (todo conjunto de nmeros cardinais possui menor elemento), mas no demonstraremos isso. Demonstrao: Devemos mostrar que existe bijeo : . Se = , basta = , ento suponhamos que seja uma incluso prpria. Comecemos = , = e = para > 1. definindo = ) onde )= ) Agora seja : tal que . Faamos algumas observaes. )= ) ) , ) , pois )= ) = . Tambm temos que

Lema 2.6.1: Se

e existe funo injetora :

, ento ~ .

afinal,

) . Por ltimo, sendo > , ) ) = , pois ) )= )= ) e, supondo que existam , )= ), temos ) = ) ) = ), que tais que uma contradio (lembrando que o contradomnio de ). Assim: )= = = ) )

)=

) =

) =

)=

)= Onde usamos ) ) devido ao fato de que ) ) = . Segue do resultado que )= ) = . Como essa funo injetora, : uma bijeo e, portanto, ~ .

= = =

= =

) ) )

) )

) )

149 QED O esquema abaixo ilustra o raciocnio usado na demonstrao acima.

Demonstrao: Sejam e tais que ~ e ~ e consideremos as bijees : ~ e : ~ . Restringindo o domnio de a , : uma funo injetora. Assim, : injetora. Pelo lema, existe : ~ e, dessa : ~ , mostrando o resultado. forma, temos = . Corolrio: Sendo e nmeros cardinais tais que e , ento QED

Teorema 2.6.4 (Teorema de Schrder-Bernstein): Dados os conjuntos e , se equipotente a um subconjunto de e equipotente a um subconjunto de , ento ~ .

Exerccio 2.6.5: Mostre que | | | | se, e somente se, existe funo sobrejetora : . Agora ser demonstrada a totalidade para essa ordem. Lema 2.6.2: Sendo e conjuntos no vazios, ou existe funo injetora de ou existe funo injetora de em .

Exerccio 2.6.4: Demonstre esse corolrio.

em

Demonstraremos esse lema ao final dessa seco porque alguns conceitos devem ser introduzidos. Demonstrao: Supondo falso | | | |, no existe funo injetora de em , mas, pelo lema, isso implica que existe funo injetora : , donde conclumos que | | | |. QED Teorema 2.6.5: Considerando os conjuntos e , | | | | ou | | | |.

150 At agora, temos apenas os nmeros cardinais e 0,1 como exemplos de cardinais transfinitos. Podemos nos perguntar se existem apenas esses e, mesmo existindo outros, se existe algum que seja maior que todos os outros. O teorema abaixo, devido a Cantor, mostra que existe uma infinidade de outros cardinais transfinitos e, alm disso, podemos concluir atravs dele que no existe um nmero cardinal maior que todos os outros. Demonstrao: fato que || = 0 < 1 = | )|, ento seja no vazio. A ) tal que )= funo : injetora e, assim, est demonstrado que | || )|. Resta-nos mostrar que no se tem ~ ). Suponhamos que exista ) e seja ) (conjunto dos elementos de : ~ = | que no )e : ~ ), segue que existe pertencem a suas imagens). Como tal que ) = . Isso leva a uma contradio, pois, se , ento, pela definio de , ), mas ) = (contradio) e, se )= ) , ento (novamente uma contradio). Segue, portanto, que e, pela definio de , ) e, assim, | | < | )|. no existe : ~ QED Corolrio: No existe nmero cardinal maior que todos os outros. Demonstrao: Supondo que exista, seja esse . Estando esse associado ao )|. Do teorema temos que < , contrariando a conjunto , tenhamos = | hiptese de que era o maior de todos. QED Observao: Vendo atentamente a demonstrao do Teorema de Cantor, pode-se perceber que o argumento usado o mtodo da diagonal j apresentado no Exemplo 2.3.2. Uma questo natural que surge com esse teorema se existe nmero cardinal tal que || < < | )|. A afirmao de que no existe chamada de hiptese do contnuo e foi conjecturada pelo prprio Cantor. No entanto, aps mais de meio sculo depois de ser conjecturada, foi demonstrado que a hiptese do contnuo no pode ser mostrada nem verdadeira nem falsa atravs dos axiomas da Teoria Axiomtica de Conjuntos. O primeiro passo foi dado por Kurt Gdel, que, em 1938, mostrou que a afirmao consistente com os axiomas da teoria de conjuntos e, em 1963, Paul Cohen finalmente mostrou que a hiptese do contnuo no pode ser demonstrada pelos axiomas da teoria de conjuntos. Exerccio 2.6.6: Considerando os conjuntos )~ ). e , mostre que, se ~ , ento Teorema 2.6.6 (Teorema de Cantor): Sendo um conjunto, | | < | )|.

Exerccio 2.6.7: Usando o resultado do exerccio anterior, mostre que, se ) no enumervel. infinito e enumervel, ento

151 2.7 Cardinais finitos Antes de introduzirmos a aritmtica de cardinais de forma geral, demonstremos os teoremas enunciados na Seco 3 do Captulo I e alguns outros resultados importantes. Teorema 2.7.1: Se e somente se, = . e so finitos e , ento | | | | com | | = | | se,

Demonstrao: J foi demonstrado que | | | | de forma geral, ento basta mostrar que | | = | | = . Com efeito, pelo Corolrio 4 do Teorema 2.1.1, no existe bijeo : ~ se uma incluso prpria e claramente existe se = . Teorema 2.7.2: Se e so finitos, ento | | = | | + | | | |. QED

Demonstrao: Existem : ~ e : ~ . Se = , basta tomarmos : + )~ e termos : ~ , donde segue que | | = | | + | |. Mas se , esse finito com elementos ( e ). Definindo : ~ de forma que ) = (isso possvel pelo Lema 2.1.1) e tendo : ~ )~ ) e ter ), podemos definir : + ~ : ) = : ~ ) = : ~ ). O resultado segue da ltima igualdade, pois | | = , | | = e | | = . Teorema 2.7.3: Se finito com | | = , ento )| = 2 . ) possui 2 elementos. Ou seja, | ) (conjunto das partes de QED

Demonstrao: Aqui omitiremos detalhes para no tornar a demonstrao maante. Demonstremos por induo j observando que | )| = 1 e convencionando 2 = 1. O resultado vale para = 1, pois os nicos subconjuntos de )| = 2 , tomemos = so e . Supondo para | | = , ou seja, | | = + 1. A unio de subconjuntos de ( ). Vemos que | pertence a ), mas, para cada ), ). Portanto ) possui ao menos 22 =2 elementos. Para ver que esses so os nicos elementos, basta observar ) independente de , mas logo se v que o nico conjunto formado com = e isso completa a demonstrao. que Teorema 2.7.4: Se . : e so finitos com | | =
)

Demonstrao: Considerando a funo

e a coleo de funes

: 1 tal que tais que , )=

e| |=

, ento | | = , 1) =

QED

difcil observar que so todas funes bijetoras. Como os domnios so disjuntos

1) + , no

152 :
)

Observando que

assim como as imagens, obtemos


)

= , podemos escrever : ~ . Sabendo que existem : ~ e : ~ , podemos definir a funo : tal que , )= ), ) , que, como se pode verificar, uma bijeo. Ora, a funo : , ento, bijetora, o que demonstra o resultado. QED O resultado geral obtido como um corolrio.

e que

bijetora. =

Corolrio: Se |= . = + 1. Com efeito, | |=

uma famlia de conjuntos finitos com | | =

, ento

para

Demonstrao: Faamos a demonstrao por induo sobre . O resultado claro para = 1 e, supondo para = , isto , , temos que vale = = demonstrao. ~ = e, pelo teorema, o que , completa a

Exerccio 2.7.1: Mostre que

Demonstrao: Seja | | = , | | = e | | = ( < e < ). Sendo = , consideremos a : ~ de forma que ) = . Assim, ) = + uma ~ ) e, como : com temos : | = = | | | |. bijeo, conclumos que | | = | Teorema 2.7.6: Tendo subconjuntos de finito com | | = , existem exatamente ) (0 ). QED

se

Teorema 2.7.5: Sendo e finitos, | | = | | | |. Em particular, , ento | | = | | = | | | |.

QED .

com elementos em

com que o nico conjunto com 0 elementos o vazio. Mas, se 0, a unio de ) com 1 elementos ser um conjunto com algum elementos. Por hiptese, j existem subconjuntos de com elementos e com 1 elementos (esses so subconjuntos de subconjuntos de com ). Portanto existem ao menos elementos. Para ver que so os nicos, observemos + =

(0 ), demonstremos que vale para | | = + 1. Com efeito, seja = com . Tomando arbitrrio, se = 0, o resultado vale, pois = 1 e se sabe

Demonstrao: Demonstremos por induo, j observando que o resultado ) = , vale para = . Se | | = 1, ento e o resultado vale. Supondo para | | = , ou seja, que existem ) subconjuntos de com elementos em

153 que os elementos de ) e que | com ) que no pertencem a ), so os obtidos por | = se, e somente se, | | = 1. QED

Podemos obter o Teorema 2.7.3 como um corolrio desse ltimo teorema. Com efeito, = 2 , como j foi observado na seco anterior. = , temos que Demonstrao: Ora, sabendo que de ndices e, tendo que existe : ~ , podemos observar que |= Dessa forma, | | = | = . Teorema 2.7.7: Dado e todas as funes de em possui finitos com | | = elementos. e | | = , o conjunto de

um conjunto ~ . QED

Observao importante: Uma forma mais detalhada de ver que ~ observando que, existindo : ~ , a funo : ) = : ) injetora, pois, sendo , j que tal que bijetora, e, de forma anloga, que : tal que ) = tambm injetora. Pelo Teorema de Schrder-Bernstein, conclui-se que ~ . Observe que, nesse argumento, no foi necessrio usar o fato dos conjuntos serem finitos. Dessa forma, fica demonstrado que ~ se ~ (sendo esses conjuntos finitos ou infinitos). 2.8 Aritmtica de cardinais Para cardinais finitos, j temos uma aritmtica (soma, produto e potncia). No entanto a forma como definimos essas operaes para os naturais no podem ser aplicadas a cardinais transfinitos. O que buscamos, ento, so novas definies que abranjam os cardinais transfinitos e reproduza a aritmtica de cardinais finitos. Definio 2.8.1 (soma): Sendo e nmeros cardinais, a soma desses, | |, onde e so disjuntos, | | = e denotada por + , dada por + = | |= .

Podemos garantir que existem conjuntos correspondentes a e disjuntos observando que ~ 1 e ~ 2 quaisquer que sejam e , donde se tem a unio disjunta 1 2 . J o fato de que | | = | | se ~ , ~ e = garantido pelo Teorema 2.4.1.

Embora no demonstremos explicitamente, essa definio corresponde definio de soma que j temos para cardinais finitos. Por exemplo, 2 + 3 = | 1,2 3,4,5 | = | 1,2,3,4,5 | = 5. Teorema 2.8.1: A soma de nmeros cardinais comutativa e associativa.

154 Demonstrao: Segue imediatamente do fato da unio ser comutativa e associativa. QED Nem todas as propriedades comuns a cardinais finitos se estendem aos cardinais transfinitos. O exemplo abaixo mostra que possvel + = com 0.

Exemplo 2.8.1: Tomando o conjunto dos nmeros naturais pares e dos naturais mpares, temos que ~ ~ e = . Segue, portanto, que + = | | = || = . Teorema 2.8.2: Sendo + + . + Corolrio: Dados os nmeros cardinais , , + . , e nmeros cardinais com , temos

, tem-se

com

Exerccio 2.8.1: Mostre o teorema e o corolrio acima. Mostre ainda que no podemos substituir por < e que + = qualquer que seja o cardinal finito . + Terorema 2.8.3: Dado um nmero cardinal transfinito = para qualquer cardinal finito . , temos que

Demonstrao: Observando a demonstrao do corolrio do Teorema 2.2.2, ) qualquer que seja o demonstramos que existe funo bijetora : ~ | | = ). Assim, j temos que conjunto infinito (o qual estamos tomando com )~ pelo fato de ser infinito ( ). Ora, supondo ), temos que ~ , donde segue o resultado, pois, que ~ ), podemos definir a bijeo : ~ tal que tendo a bijeo : ~ ) ) )= , onde admitimos, por simplicidade, que = . = QED Observao: Na demonstrao acima usamos induo implicitamente e de )~ forma invertida. Primeiro mostramos que e depois ) para chegar ao resultado (e o primeiro passo da supomos que ~ )). induo o resultado ~ O teorema acima pode ser generalizado (teorema abaixo), mas a demonstrao ser apresentada s no final dessa seco, pois envolve resultados e conceitos ainda no apresentados. um cardinal transfinito e , temos + = .

Agora definiremos o produto de nmeros cardinais de forma que corresponda ao produto j conhecido para cardinais finitos.

Teorema 2.8.4: Sendo Em particular, + = .

155 Definio 2.8.2 (produto): O produto entre os cardinais , dado por = | |, onde | | = e | | = . e , denotado

por

Pode-se ver que, para cardinais finitos, essa definio d resultados coerentes com os do Teorema 2.7.4. O fato de a definio estar bem definida garantido pelo Teorema 2.4.2. Teorema 2.8.5: O produto de nmeros cardinais comutativo, associativo e distributivo em relao soma. Duas conseqncias imediatas da definio so que 1 = qualquer nmero cardinal, pois 1 ~ e = com | | = . Teorema 2.8.6: Considerando os nmeros cardinais , . Corolrio: Tendo os nmeros cardinais , , . e Exemplo 2.8.2: = , afinal, se sabe que ~. e Exerccio 2.8.2: Demonstre o teorema acima. e 0 = 0 para , tem-

com

se

com

, temos

Exerccio 2.8.3: Mostre o teorema e o corolrio acima. e tais que transfinito e

Teorema 2.8.7: Dados os nmeros cardinais , temos = . Em particular, = .

Demonstraremos esse teorema no final dessa seco.

A operao de nmeros cardinais de maior interesse , no entanto, a exponenciao (ou potncia). Essa definida abaixo atravs da definio (geral) de produto cartesiano. Definio 2.8.3 (potncia): Considerando os nmeros cardinais = | |. = | | 0 e = | | 0, definimos e tais

que

Mas precisamos verificar se essa definio est de fato bem definida. Ou seja, verificar se ~ e ~ implicam | | = | |. De fato isso ocorre, pois, tendo que = e = e as bijees : ~ e : ~ , podemos definir )= de forma que ) = e : de forma que : . Ambas as funes so injetoras, afinal, tomando , , temos ) = ) = = = = = e, de forma anloga, se conclui que : injetora tambm (verifique!). Assim, pelo Teorema de Schrder-Bernstein, conclumos que ~ e, por seguinte, que | | = | |.

Essa definio consistente com o Teorema 2.7.7, pois, para cardinais . Para o nmero finitos 0 e 0 tais que = | | e = | |, temos | | = cardial 0, definimos 0 = 0, = 1 e 0 = 1, onde 0.

156 Observao: Lembre-se que o conjunto de todas as funes de em .

) e 0,1 (conjunto das Exemplo 2.8.3: Dado no vazio, tenhamos ) 0,1 de forma que )= , funes de em 0,1 ). Definindo a funo : ) e : 0,1 a funo caracterstica de , essa bijetora. Com onde ) distintos, efeito, injetora pelo fato de que, dados , (verifique!) e sobrejetora j que, tendo 0,1 , podemos tomar na imagem de o conjunto )| ) = 1 e isso faz de a funo caracterstica de ( )). = | | | | )| = | 0,1 | = | 0,1 | = 2 . Esse resultado Assim, podemos concluir que | consistente com o Teorema 2.7.3. Exerccio 2.8.4: Sendo um nmero cardinal, mostre que = .

Para o prximo exemplo, lembremos da definio de funo caracterstica (apresentada no Exemplo 1.3.1): sendo um subconjunto de um conjunto no vazio )= , definimos a funo caracterstica de por : 0,1 de forma que 1 . ) 0

Ser demonstrado agora que algumas caractersticas da potncia de nmeros cardinais finitos se estendem aos cardinais transfinitos. Isto , valem em geral. Demonstrao: Sejam , e conjuntos tais que | | = , | | = e | | = com = . Basta-nos mostrar que ~ . Ora, definindo a funo : atravs de , )= ( e ), essa bijetora, pois, (veja que = j que os domnios so disjuntos) e se todo pode ser decomposto como = para algum e , afinal : . QED Teorema 2.8.9: Dados os nmeros cardinais , e , = . Teorema 2.8.8: Sendo , e nmeros cardinais, = .

Demonstrao: Sendo , e conjuntos tais que | | = , | | = e | | = , ) o conjunto de todas as ~ ) . O conjunto precisamos mostrar que ) = . Podemos, ento, usar a notao funes : , ou seja, temos )= = . J o conjunto o conjunto de todas as funes : . ) = quando, para cada e , Assim, definimos : ) com ). Antes de continuar, verifiquemos que de fato uma funo. temos , )= )= ). Assim, vendo que )= ) = = , temos que Com efeito, se )== )= )= ) , temos que = e, visto ) , )= ) temos que = . Logo, a funo imediatamente injetora, pois ) = quando, para , )= , ) = . Tomando : ) com )= cada e , temos , ), pode-se verificar que se trata de uma funo injetora e, assim, pelo Teorema de Schrder-Bernstein, chega-se no resultado esperado: ~ ) .

157 QED Antes de apresentarmos o prximo teorema, nos lembremos da definio de projeo cannica. Considerando a famlia no vazios, a de conjuntos projeo cannica sobre o conjunto a funo : tal que ) )= . Em particular, se a famlia de conjuntos , , temos as projees cannicas so : tal que , )= e : tal que , )= . Demonstrao: Considerando , e conjuntos tais que | | = , | | = e | | = , basta mostrar que ~ ) . Para tanto, definamos : ) )= tal que , ), onde : . injetora, pois, sendo )= ), temos que , )= , ) = )= , ) e )= ), donde se obtm, observando que , ), que = = e = e, finalmente, que = . Para mostrar que sobrejetora, basta, ao , decompor essas funes como = e = com ter , ) )= ), ) . : definida por Teorema 2.8.11: Tendo os nmeros cardinais , e , se , ento: QED Teorema 2.8.10: Sendo , e nmeros cardinais, temos que = ) .

Demonstrao: (a): Sendo os conjuntos , e | | = , sem perda de generalidade, podemos tomar obtido, pois , ou seja, | | | |.

a) b)

(b): Nesse caso tambm podemos tomar . Assim, observando que o conjunto de todas as funes : , temos que, para todo , podemos definir ) )= de forma que . Bastando definir a funo ) ) ) = , obtemos | | | |. tal que (injetora) : Corolrio: Considerando os nmeros cardinais , temos que . , , e tais que QED e

tais que | | = , | | = e , donde o resultado

Demonstrao: Pelo teorema, temos que conclumos que .

, donde

QED

Como dito, as propriedades da potncia apresentadas acima so conhecidas para cardinais finitos, mas, como j aconteceu nas outras operaes, h resultados

158 que se aplicam apenas aos cardinais transfinitos e alguns desses so apresentados abaixo. Teorema 2.8.12: Sendo um cardinal transfinito e tal que 2 2 , temos que =2 = . um nmero cardinal

Demonstrao: Usando os teoremas 2.8.11, 2.8.9 e 2.8.7, temos 2 2 ) = 2 = 2 , por onde conclumos que = 2 . Para ver que 2 = , basta observar que 2 2 QED Corolrio: Considerando o cardinal transfinito se 2 , ento =2 . e um nmero cardinal , 2 =2 .

Demonstrao: imediato pelo teorema, pois 2 um cardinal transfinito e

Demonstrao: O resultado imediato para = 1. Supondo para isto , = , temos que vale para = + 1, pois = = = .

Teorema 2.8.13: Se ento = .

> 0 um cardinal finito, = ,

QED

QED

Observao: Veja que as propriedades aritmticas dos cardinais transfinitos so tais que um cardinal transfinito resistente mudana pelas operaes apresentadas, podendo ser vencido, quase sempre, apenas por um cardinal transfinito maior. < 2 (Teorema de Cantor) assim como < 2 . Ou seja, vendo que = e que 2 = | )|, existem tantas funes de em quanto subconjuntos de . Mas, explicitamente, 2 = 1,2 , donde tambm conclumos que existem tantas funes de em 1,2 quanto de em , o que um resultado contra-intuitivo.

Exemplo 2.8.4: Pelo Teorema 2.8.12, temos que

= 2 ( ), pois

Exemplo 2.8.5: | 2.8.13 para ter = . Exemplo 2.8.6:

) = |

)| = 2 = 2 = |

) .

Exemplo

2.8.7:

)| = 2 ) = 2
)

)|, onde foi usado o Teorema

= 2|

)|

= 2

= 2 = |

=2

)|.

=2

159 )
)

Exemplo 2.8.8: O conjunto dos subconjuntos finitos de um conjunto )= enumervel enumervel. Ou seja, se enumervel, o conjunto )| enumervel. Tal fato evidente se finito, ento tomemos | |= . ) = ), Nesse caso, observemos que onde )= )| | | = 1 ( 1, pois estamos incluindo o conjunto vazio). Como a unio enumervel de conjuntos enumerveis enumervel, basta mostrar que ) enumervel. Para = 1, isso claro pelo fato de ) = . Tambm )= )| | | = 1 = obtemos que vale para = 2, pois . Supondo ) enumervel, demonstremos que vale para = + 1. para = , ou seja, que ) pode ser escrito como ) Para tanto, observemos que todo ). Ora, assim temos que | )| ) para todo e que | ) )| | | = , pois a funo : ) ) ) tal que )= ), , com , injetora. Observao: Veja que no se explicita a forma como se escolhe cada na funo definida acima. Ou seja, se trata de uma funo escolha. 2.9 Generalizaes e o Teorema de Knig A soma e o produto de nmeros cardinais foram definidos atravs da unio e do produto cartesiano. Mas temos noes generalizadas dessas operaes de conjuntos, o que nos leva a tentar generalizar as noes de soma e produto entre nmeros cardinais. Definio 2.9.1: Dada uma coleo de conjuntos disjuntos dois a dois com | | = , definimos a soma entre esses nmeros cardinais por:

)= .

)| para todo

Exerccio 2.8.5: Mostre que, sendo , 0 ) com

< , onde

um conjunto infinito, )=

))

Como antes, necessrio verificar que a definio est bem definida. O fato de existir com conjuntos disjuntos dois a dois garantido de forma anloga ao que j foi feito. J o fato de que, se e so tais que | | = | |, |=| |, garantido da seguinte forma: para cada , temos temos | que existe : ~ , ento basta definir = ): , que bijetora, pois os domnios dos so disjuntos entre si assim como os contradomnios. Teorema 2.9.1: Sendo , temos:

que

famlias de nmeros cardinais tais

160 Demonstrao: Sendo e tais que | | = e | |= , existem funes injetoras : e, assim, podemos definir ): = , que injetora pelo fato dos domnios dos serem || |, disjuntos uns dos outros assim como os contradomnios. Logo, | donde segue o resultado. Exemplo 2.9.1: Segue do ltimo teorema um resultado esperado: 1 = . Isso porque 1 e 1 (mostre isso). Assim, 1 , donde o resultado obtido observando que = | |, com | | = e o Delta de Kronecker), e que | | = ( ~ pelo = ( fato da unio enumervel de conjuntos enumerveis ser enumervel). Teorema 2.9.2: Dado de forma que || =

QED

e um nmero cardinal , temos

que:

Assim,

hiptese, existem as bijees : ~ . Definindo : ), v-se que se trata de uma bijeo e, portanto, , )=

Demonstrao: Sendo =| |=

=|

|, tomemos um .

|| =

tal que .

. Por

QED Corolrio: Sendo um cardinal transfinito e nmeros cardinais no nulos tal que || = e = max .

Demonstrao: Por um lado, e, assim, = , onde usamos o teorema. Por outro lado, e = 1 . Ora, dessa forma temos que . Mas, sendo um cardinal transfinito e , temos que = (Teorema 2.8.7), donde se conclui que . Logo, = pelo corolrio do Teorema de Schrder-Bernstein. QED Observao: Nem todo conjunto de nmeros cardinais admite mximo (por exemplo, no possui mximo). Assim, o corolrio acima vale apenas para conjuntos onde esse mximo exista. No entanto o corolrio pode ser generalizado ao acrescentar a noo de supremo de um conjunto (faremos isso na prxima seco).

uma coleo de , temos que =

Teorema 2.9.3: Considerando as famlias de nmeros cardinais , temos que:


161 Demonstrao: Tomemos as colees de conjuntos forma que | | = e | | = . Assim, =| | |= .

de |=

QED

3.

Exerccio 2.9.1: Para completar a demonstrao acima, mostre que = . SUGESTO: Use o exerccio 3, Exerccios II Agora generalizaremos a noo de produto entre nmeros cardinais. |=

Definio 2.9.2: Sendo uma coleo de conjuntos com | definimos o produto entre esses nmeros cardinais por: =

Esse produto est bem definido, pois, se e so tais que | | = | |, ento existem funes : ~ e, assim, podemos definir a bijeo ) = ) : tal que , por onde se conclui que | .

|=|

|. Convencionaremos que

= 0 quando

= 0 para algum

Algumas caractersticas do produto (j vlidas em casos menos gerais) continuam vlidas nesse caso mais geral, como mostram os teoremas abaixo. Teorema 2.9.4: Sendo tal que || = temos que = . Demonstrao: Tomemos = | || | = . e considerando o nmero cardinal ,

tal que | | = . Assim,

=|

|= QED

Teorema 2.9.5: Dadas as famlias de nmeros cardinais tais que , temos:

Demonstrao: Sendo e colees de conjuntos tais que |= e | |= para todo , podemos, sem perda de generalidade, tomar || |, pois e, assim, temos que | . QED

Teorema 2.9.6: Considerando a famlia de nmeros cardinais nmero cardinal , vale que:

e o

162 =

Demonstrao: Tomemos uma coleo de conjuntos de forma que | |= ) = | |)| | = e um conjunto tal que | | = . Como ) |, devemos mostrar que ) ~ | . Para tanto, definamos ) ) )= : tal que ) , onde : ) e : a projeo cannica sobre . injetora, pois, )= ), temos que sendo ) = ) = ), (mostre isso). Para mostrar que sobrejetora, basta donde se obtm que = ) ) = ) escrever cada como ) com : )= ) . definida por QED Teorema 2.9.7: Sendo nmero cardinal, tem-se que:

uma famlia de nmeros cardinais e =

um

Demonstrao: Sendo uma coleo de conjuntos disjuntos dois a dois tais que | | = e um conjunto tal | | = . Basta-nos mostrar que ~ . Ora, definindo a funo : atravs de ) = ( ), essa bijetora, pois, se para algum (veja que = se , j que os domnios so disjuntos) e todo ) pode ser decomposto como = para algum , afinal : . QED Observao: Veja as demonstraes dos teoremas 2.8.8 e 2.8.10, que so os casos menos gerais dos dois ltimos teoremas.

Em geral bastante complexo analisar produtos de nmeros cardinais, mas vejamos alguns exemplos. Exemplo 2.9.2: Exemplo 2.9.3: que 2 .

Exerccio 2.9.2: Mostre que ) para algum . =


pode ser decomposto como

Exemplo 2.9.4: = 2 ) = 2 = 2 e =2 2 2 donde segue que 2 = 2 = 2 , um resultado contra-intuitivo.

= 2 (veja o Exemplo 2.8.4), donde segue que

= 2 , pois 2 2. Mas tambm temos

= 2 ,

163 O ltimo exemplo mostra que o prximo teorema no um resultado trivial. Teorema 2.9.8 (Teorema de Knig): Dadas as famlias de nmeros cardinais < , tem-se que: e tais que Demonstrao: Primeiramente, demonstremos que . Para e tais que | | = e | | = . Sem perda de isso, consideremos generalidade, podemos tomar . Como as incluses so prprias, pode-se, usando o Axioma da Escolha, ter um conjunto com um elemento de )= ) . Tomando : de forma que cada conjunto com = , essa funo injetora (verifique!), mostrando que .

<

= . Sendo Agora suponhamos, por absurdo, que tal | | = , deve ser possvel encontrar uma coleo que de conjuntos disjuntos dois a dois de forma que | | = , e = ( uma partio de ). Mas, para cada , tomemos : tal ) = = ) . Portanto temos que | | que ) e | | < | | (para ver que | | | |, basta observar que : sobrejetora). uma incluso prpria e, portanto, existe, para cada , Assim, ) * no pertence a nenhum , pois, por tal que . Ora, dessa forma, ) , ento e isso vale para cada . Assim, definio, se ) ) , mas , o que contraria nossa hiptese de que = e mostra o absurdo. QED Observao: Veja que em * acabamos usando o Axioma da Escolha, pois se tomou um elemento de cada sem explicitar nenhum procedimento.

A utilizao do Axioma da Escolha na demonstrao acima foi crucial e, de fato, no poderia ser diferente, pois a afirmao acima , na verdade, equivalente ao Axioma da Escolha. Podemos mostrar isso observando que o Axioma da Escolha equivalente a afirmar que se e (veja a Definio 4.2.3). Da fato, obtemos esse mesmo resultado atravs do teorema, pois, sendo |, donde segue que e | | > 0, 0 = 0 < . | |=|

O Teorema de Knig pode ser visto como uma generalizao do Teorema de Cantor. Com efeito, pode-se ver que, sendo 1 < 2, tem-se || = 1 < 2= | | 2 . Percebe-se, ento, que a caracterstica marcante do teorema e o que lhe d importncia o fato de se garantir a desigualdade com < em vez de . 2.10 Generalizaes de mximos e mnimos; equivalncias do Axioma da Escolha; resultados finais

164 Nessa subseco vamos realizar as demonstraes pendentes, mas, antes devemos apresentar alguns conceitos e resultados novos. Inicialmente, vamos relembrar algumas definies e acrescentar algumas outras que nos sero pertinentes no s aqui, mas ao longo de todo o texto. A primeira definio a ser relembrada a de ordem total, j apresentada no final do Captulo I. uma se forem

Definio 2.10.1 (ordem total): Sendo um conjunto e relao binria em , temos que uma relao de ordem total em satisfeitas as seguintes condies: a) b) c) d) Para todo , (reflexibilidade). Se e , ento (transitividade). Se e , ento = (anti-simetria). Para todo , , ou (totalidade). definido por , ) .

Com

Mas podemos enfraquecer a ordem tirando a ltima condio (a (d)) e mantendo as outras. Tal ordem dita parcial e um exemplo natural dessa ocorre quando se tem uma famlia de conjuntos e definimos, para , , que quando . Observao: Veja que toda ordem total tambm uma ordem parcial. Notemos que possvel que existam subconjuntos de um conjunto parcialmente ordenado que sejam, na verdade, totalmente ordenados pela ordem considerada. Por exemplo, na famlia considerada acima, pode existir alguma coleo de conjuntos onde valha a propriedade (d) da definio. Relembremos agora as noes de mnimo e mximo, mas estendendo para ordens parciais. Definio 2.10.2 (mnimo e mximo): Diz-se que o elemento mnimo (ou menor elemento) de um conjunto e denotamos por = min , quando e, , ( uma relao de ordem parcial). De forma anloga, diz-se que o elemento mximo (ou maior elemento) de um conjunto e denotamos por = max , quando e, , . Observao: Uma nomenclatura comum (e adot-la-emos) chamar os subconjuntos totalmente ordenados de um conjunto parcialmente ordenado de cadeias.

Exemplo 2.10.1: Considerando o conjunto , esse pode ser parcialmente ordenado pela relao ) onde , ) , ) se = e (essa ltima ordem a usual dos naturais). Pode-se notar que, se , os elementos , ) e , ) no so comparveis (no se pode dizer que um maior que o outro), mas, para cada , o conjunto = , ) | = uma cadeia de .

165 Definio 2.10.3 (cadeia maximal): Sendo um conjunto parcialmente ordenado e sendo uma cadeia, dito uma cadeia maximal quando no existe cadeia tal que seja uma incluso prpria. Isto , uma cadeia maximal quando no est includa propriamente numa outra cadeia. Segue da definio acima uma forma de generalizao das noes de mximo e mnimo. Definio 2.10.4 (elementos maximais e minimais): Dado um conjunto parcialmente ordenado, dito um elemento maximal quando = max para alguma cadeia maximal de . Analogamente, dito um elemento minimal quando = min para alguma cadeia maximal de .

De forma equivalente, poder-se-ia definir elemento maximal como tal que = e elemento minimal por tal que = ( sendo uma ordem parcial), que so definies mais prticas, mas, no entanto, no deixam clara a inteno da definio. Exemplo 2.10.2: Consideremos o conjunto = 1,2,3 e ) = , 1 , 2 , 3 , 1,2 , 1,3 , 2,3 , 1,2,3 . Observa-se que ) parcialmente ) e ). Alm ordenado pela relao de incluso (com quando , disso, por essa relao, , 1 , 1,2 , 1,2,3 , , 1 , 1,3 , 1,2,3 , , 2 , 2,1 , 1,2,3 , Exerccio 2.10.1: Mostre a equivalncia entre as definies (citada acima).

Observao: Nem sempre os elementos maximal e minimal so nicos. ) , Com efeito, basta, no exemplo acima, tomar o conjunto com a mesma ordem e observar que os elementos 1 , 2 e 3 sero os elementos minimais e os elementos 1,2 , 1,3 e 2,3 sero maximais. Definio 2.10.5 (cotas superiores e inferiores): Sendo um conjunto parcialmente ordenado e , dito uma cota superior de se . De forma semelhante, dito uma cota inferior de se .

, 2 , 2,3 , 1,2,3 , , 3 , 3,1 , 1,2,3 e , 3 , 3,2 , 1,2,3 so todas cadeias maximais. O elemento maximal (e mximo tambm) desse conjunto 1,2,3 = e o minimal (e tambm mnimo) .

Observao: Outro nome comum para cota superior majorante e, para cota inferior, minorante. Junto com a idia de conjunto das cotas superiores e inferiores vem mais uma generalizao da definio de mnimo e mximo, como segue abaixo.

Observe que, em particular, se possui mximo, esse uma cota superior de e o anlogo tambm ocorre caso tenha mnimo. interessante muitas vezes definir o conjunto de todas as cotas superiores ou inferiores de . Isto , ter )= | )= | . e

166 Definio 2.10.6 (nfimo e supremo): Considerando um conjunto parcialmente ordenado e , dito o nfimo de e denotamos por inf , se ), isto , a maior das cotas inferiores. De forma semelhante, = max ), ou seja, a menor das dito o supremo de , e denotamos sup , se = min cotas superiores. Observemos que tanto o supremo como o nfimo de podem ou no pertencer ao conjunto (dependendo de se possui ou no mximo ou mnimo). Alm disso, no garantido, em geral, que um conjunto possua nfimo ou supremo. Exerccio 2.10.2: Mostre que o supremo e o nfimo, quando existem, so nicos.

Exemplo 2.10.3: Dado o conjunto com a ordem definida para cardinais, embora no possua mximo, e, obviamente, = min , donde se tem que = sup . Tambm se pode ver que 1 = inf . Podemos agora generalizar o corolrio do Teorema 2.9.2. Teorema 2.10.1: Sendo um cardinal transfinito e uma coleo de nmeros cardinais no nulos tal que || = e = sup , temos que = .

Demonstrao: Por um lado, e, assim, = , onde foi usado o Teorema 2.9.2. Por outro lado, e assim, , pois a menor das cotas superiores. Alm disso, = 1 . Ora, dessa forma temos que . Mas, sendo um cardinal transfinito e , temos que = (Teorema 2.8.7), donde se conclui que . Logo, = pelo corolrio do Teorema de Schrder-Bernstein. QED V-se que a demonstrao sofreu apenas uma pequena modificao.