Conjuntos e Funções. Ivan Eugênio da Cunha

Transcrição

1 Conjuntos e Funções Ivan Eugênio da Cunha 18/07/2011

2 1 Conteúdo Capítulo I Conjuntos e Relações Noções Elementares Sobre Conjuntos Conjunto e elemento Pertinência Representação Conjunto unitário e vazio Conjunto universo Subconjuntos e igualdade entre conjuntos União e intersecção Diferença e complementar Conjunto das partes e partição de conjuntos Diferença simétrica Generalizações Exercícios I Pares Ordenados e Produto Cartesiano Par ordenado Produto cartesiano Exercícios I Noção de Cardinalidade Cardinalidade de alguns conjuntos finitos Alguns exemplos Exercícios I Relações Plano cartesiano Relações binárias Funções Relações de equivalência Relações de ordem total Exercícios I Características Gerais Definição de função e notações Igualdade entre funções União de funções... 53

3 2 1.4 Imagens e pré-imagens de funções Exercícios II Funções Injetoras, Sobrejetoras e Bijetoras Definições Imagens e pré-imagens de injeções, sobrejeções e bijeções; função inversa Exercícios II Conjuntos Indexados e Generalizações Conjuntos indexados Generalizações Exercícios II Produtos Cartesianos: Caso Geral O Axioma da Escolha Generalização do produto cartesiano Exercícios II Operações Unárias e Binárias; Estruturas Algébricas Básicas Operações e Relações Comutatividade, associatividade e distributividade Grupos Anéis Corpos Exercícios II Composição de Funções; Mais Sobre Grupos Composição de funções Morfismos de grupos Grupo de permutações Grupos diedrais Exercícios II Capítulo III Conjuntos Numéricos Conjunto dos Naturais Axiomas de Peano Soma e produto de números naturais Relação de ordem em N Potência de números naturais

4 3 1.5 Somatório e produtório Teorema Binomial de Newton Exercícios III Conjuntos Finitos e Infinitos; Aritmética de Cardinais Conjuntos finitos Conjuntos infinitos Conjuntos enumeráveis Equipotência de conjuntos Números cardinais Ordenação de números cardinais Cardinais finitos Aritmética de cardinais Generalizações e o Teorema de König Generalizações de máximos e mínimos; equivalências do Axioma da Escolha; resultados finais

5 4

6 5 Capítulo I Conjuntos e Relações A noção de conjunto é uma das mais fundamentais da matemática, pois (quase) toda a matemática pode ser construída com base no conceito de conjunto e suas propriedades. Nessa parte do texto serão apresentados alguns rudimentos da Teoria Ingênua dos Conjuntos e o que se denominam relações binárias, que desempenham papel significativo na matemática (inclusive na construção de diversos conjuntos de interesse). 1 Noções Elementares Sobre Conjuntos 1.1 Conjunto e elemento As noções de conjunto e elemento são primitivas, ou seja, não são definidas, mas temos uma noção intuitiva. Um conjunto, intuitivamente, é um agrupamento de objetos (de qualquer natureza), esses chamados de elementos. Para a representação, se usa comumente letras maiúsculas para indicar conjuntos (por exemplo, conjunto ) e letras minúsculas para indicar elementos (por exemplo, elemento ). 1.2 Pertinência Outra noção primitiva é a de pertinência, que faz a relação entre elementos e conjuntos. Para indicar que um elemento pertence a um conjunto, se usa o símbolo. Por exemplo, dado um conjunto, para indicar que um elemento pertence a, se escreve. Também se pode indicar que um determinado elemento não pertence a um dado conjunto. Para isso, usa-se a indicação e, assim, se escreve para indicar que não pertence. É interessante notar que, como um elemento de um conjunto pode ser qualquer objeto, pode-se ter que um conjunto pertença a outro. Ou seja, podemos ter conjuntos cujos elementos também são conjuntos. Normalmente esses conjuntos, quando explicitado que se trata de conjuntos formados de conjuntos, são chamados de famílias de conjuntos ou coleções de conjuntos. 1.3 Representação A representação 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 utilização de chaves ao início e fim da listagem de elementos, além da utilização de vírgula para a separação desses, é uma convenção e será adotada nesse texto.

7 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 reticências no final da listagem. Por exemplo, podemos escrever o conjunto dos naturais como sendo N = 1,2,3,4,. Mas as reticências também podem ser usadas em conjuntos finitos, bastando que, após as reticências, se indique o último elemento. Por exemplo, o conjunto dos quinhentos primeiros números 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 combinação de propriedades. Por exemplo, podemos dizer que o conjunto é formado pelos números naturais pares menores que 100 ( = N é < 100) Uma terceira forma de representar um conjunto é através do diagrama de Euler-Venn. Essa representação consiste em representar o conjunto como sendo um círculo onde se coloca o elemento dentro do círculo para dizer que ele pertence ao conjunto ou fora, caso o elemento não pertença ao conjunto. No exemplo abaixo, os elementos e pertencem ao conjunto (, ) enquanto o não pertence ( ):. Uma última observação a ser feita é que a notação, significa e 1.4 Conjunto unitário e vazio Definição 1.4.1: Um conjunto é dito unitário se possui um único elemento. Ou seja, se é unitário e,, então =. Exemplo 1.4.1: O conjunto formado pelas soluções da equação = 0 é unitário. A saber, o conjunto solução,, é =. Definição 1.4.2: O conjunto vazio é aquele que não possui elementos.

8 7 Mais comumente, o conjunto definido acima é representado pelo símbolo, mas também pode ser representado por. Esse conjunto pode aparecer quando a propriedade dada ao conjunto é logicamente falsa. Por exemplo, o conjunto dos números reais tais que ( = R ) é o conjunto vazio, pois nenhum número real satisfaz essa condição. 1.5 Conjunto universo Em geral, no desenvolver de certos assuntos em matemática, admite-se a existência de um conjunto universo (genericamente representado por ). Tal é o conjunto ao qual pertencem todos os elementos envolvidos no assunto. Por exemplo, se a solução que se procura para um problema é um número real, o conjunto universo adotado é o dos números reais (tal situação será muito comum nesse texto). 1.6 Subconjuntos e igualdade entre conjuntos Definição 1.6.1: Um conjunto é dito ser subconjunto de um conjunto se todos os elementos de forem também elementos de. Ou seja, para todo, (o símbolo se lê implica ). Com mesmo significado também se diz que está incluído em ou que é parte de. Representamos a implicação dada simplesmente escrevendo. Também é comum a utilização da notação, que será esclarecida logo abaixo. Definição 1.6.2: Se, mas existe algum tal que e, a inclusão é própria (podemos reescrever isso como, onde se lê existe algum ). Diz-se, então, que é um subconjunto próprio de (ou parte própria de ). Uma forma equivalente de apresentar essa definição é dizendo que é uma inclusão própria quando, para todo,, mas existe algum tal que, onde o símbolo significa não implica. Ou seja, existe algum que pertence a, mas não a. Definição 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 símbolo é uma composição da implicação com a e pode ser lido como é equivalente, se, e somente se, ou é condição necessária e suficiente ). Quando a condição, para todo, é satisfeita, se escreve =. Agora se pode entender as duas notações usadas: em alguns textos, se usa a notação exclusivamente quando é um subconjunto próprio de e quando se admite a possibilidade de = (é uma notação análoga ao de nos números reais quando se quer dizer que é menor ou igual a ). Mas aqui usaremos a notação mesmo que exista a possibilidade de =. Quando for subconjunto próprio de, exclusivamente, tal fato será explicitado. Abaixo está a representação diagramática do que foi discutido.

9 8 Observação: Na esquerda, está, na verdade, representada a inclusão própria e na direita a igualdade entre conjuntos. De forma geral, quando, pode ocorrer uma (e, claro, apenas uma) das duas situações. Exemplo 1.6.1: Sendo o conjunto =,,, 1,2,3 e = 1,, 3, temos, pois cada elemento de também é elemento de. Exercício 1.6.1: Dado =,, e =,,, mostre que =. Veja que, de forma geral, a igualdade entre conjuntos não depende da ordem em que são listados os elementos. Exercício 1.6.2: Se um conjunto é dado por =,, e é dado por =,,,,,,, podemos dizer que =? SUGESTÃO: Use a Definição Existem também as relações de negação referentes às definições apresentadas. Dizemos que um conjunto não é subconjunto do conjunto, e denotamos isso por, quando existe algum tal que. Perceba que isso é a negação da afirmação para todo. Não estamos dizendo que nenhum elemento de pertença a, mas sim que, para algum,. Ou seja, deve existir algum elemento de que não pertence a. Uma observação geral é que, muito comumente, se se tem um símbolo para representar uma afirmação (como o para indicar implicação), a negação é dada pelo mesmo símbolo acrescentando um corte (como já ocorreu várias vezes nesse texto e, para completar o exemplo, representamos não implica por ). Para a igualdade, dizer que um conjunto é diferente de um conjunto (denotamos ) é equivalente a dizer que existe algum elemento de que não pertence a ou que existe algum elemento de que não pertence a. Aqui temos a situação onde há um ou inclusivo. Isso quer dizer que não necessariamente uma ou

10 9 (exclusivo) outra afirmação deva ser verdadeira. Se ambas as afirmações forem verdadeiras também se diz que é diferente de (como é intuitivo). Também é possível ver que isso é a negação da definição de igualdade apresentada. é o mesmo que dizer que, para algum,. Perceba que a dupla implicação é a composição de duas implicações ( e ) e, dessa forma, basta que uma das implicações seja falsa para a dupla implicação ser falsa. Assim, se, uma das seguintes situações acontece: 1) Para algum, e, para todo, (pela definição 1.6.2, essa seria uma inclusão própria de em ) 2) Para algum, e, para todo, (pela definição 1.6.2, essa seria uma inclusão própria de em ) 3) Para algum, e, para algum, (nem nem são subconjuntos um do outro). Exemplo 1.6.2: Sendo =,,, 1 e =,,, 2,, pois 1, mas 1. Também se tem que 2, mas 2. Listemos algumas propriedades da inclusão em forma de teoremas. Usaremos conjuntos arbitrários, e. Teorema 1.6.1: Demonstração: A demonstração é anti-intuitiva, pois parte de uma propriedade lógica não muito comum. Pela definição, é equivalente a para todo. Assim, devemos mostrar que essa implicação é verdadeira quando =. Ou seja, mostrar que, para todo,. De fato a implicação é verdadeira, pois é falso para todo (afinal, o conjunto vazio não possui elementos), mas pode ser verdadeiro ou falso. Isso fica mais claro quando escrevemos, de forma equivalente, que, para todo, (tal implicação, de forma geral, é intuitiva, pois, se, um elemento que não pertença a não pode pertencer a ). Como se pode ver, a implicação é verdadeira. Isso mostra que qualquer conjunto possui como subconjunto o conjunto vazio. Teorema 1.6.2: (propriedade reflexiva) Teorema 1.6.3: ( e ) A=B (anti-simetria) Teorema 1.6.4: ( e ) (transitividade) Exercício 1.6.3: Demonstre esses últimos três teoremas. 1.7 União e intersecção Para os conjuntos, são, inicialmente, definidas duas operações: união e intersecção.

11 10 Definição 1.7.1: Dado um conjunto universo e sendo, (essa notação indica que e ), a união entre e, denotada por, é definida por: = Uma observação que deve ser feita é que o ou dessa definição é inclusivo. Isso quer dizer que, se pertence a e simultaneamente, ele ainda pertence à união. Ou seja, não se exclui os casos em que ambas as afirmações são verdadeiras (a de que e a de que ). Definição 1.7.2: Dado um conjunto universo e sendo,, a intersecção entre e, denotada por, é definida por: = Deve-se perceber que, nesse caso, o elemento deve, para ser um elemento da intersecção, pertencer simultaneamente a ambos os conjuntos. Abaixo são apresentadas as principais propriedades dessas operações. Também são apresentadas algumas representações na forma de diagramas de Euler-Venn, para tornar algumas propriedades mais claras. Teorema 1.7.1: A união e intersecção são comutativas. Ou seja, = e = Demonstração: Tomando a definição: = = = Teorema 1.7.2: A união e a intersecção possuem propriedade associativa. Ou seja, ) = ) e ) = ) quaisquer que sejam,,.

12 11 Demonstração: Pela definição: ) = = = = ) Teorema 1.7.3: A união e a intersecção são operações fechadas. Ou seja, o conjunto resultante ainda é um subconjunto do conjunto universo. De forma equivalente,, ). Demonstração: O resultado é imediato, pois todos os elementos dos conjuntos usados pertencem ao conjunto universo. Dessa forma, os elementos do conjunto dado pela união ou intersecção de subconjuntos de ainda serão elementos de. Teorema 1.7.4: A união e intersecção são operações idempotentes. Ou seja, = e =. Demonstração: Pela definição: = = = Teorema 1.7.5: As seguintes equivalências são verdadeiras: = = Demonstração: Pela definição de inclusão, para todo,. Dessa forma = = =. Reciprocamente, se =, suponhamos por absurdo que não seja subconjunto de. Assim, existe pertencente a tal que não pertence a, mas isso leva a um absurdo, pois = =. Ou seja, o mencionado tem que pertencer a. Teorema 1.7.6: Dados e quaisquer, as seguintes afirmações são verdadeiras:

13 12,, Demonstração: Basta mostrar que, pois os conjuntos são arbitrários. Pela definição, =. Dessa forma, para todo,, que, pela definição de subconjunto, é o mesmo que dizer que. Teorema 1.7.7: O conjunto vazio é o elemento neutro da união e o elemento nulo da intersecção. Ou seja, = e =. Também se tem que o conjunto universo é o elemento neutro da intersecção, ou, de forma equivalente, =. Demonstração: Usemos alguns resultados já demonstrados. Qualquer que seja, (Teorema 1.6.1) e, pelo Teorema 1.7.5, =, demonstrando o resultado. Teorema 1.7.8: A união é distributiva em relação à intersecção e a intersecção é distributiva em relação à união. Isso quer dizer que, quaisquer que sejam,,, ) = ) ) e ) = ) ). Demonstração: Pela definição: ) = = ) = ) ) = = ) )

14 13 Por fim, listemos as propriedades apresentadas: 1) = e = (comutativa) 2) ) = ) e ) = ) (associativa) 3), ) (fecho) 4) = e = (idempotência) 5) = = 6), e, 7) =, = e = (elementos neutros e nulos ). 8) ) = ) ) e ) = ) ) (distributiva) Essas propriedades são básicas e é importante que se tenha familiaridade com elas. Exercício 1.7.1: Os teoremas acima foram demonstrados apenas para a união. Faça as demonstrações que faltam (referentes à intersecção). Faça também a representação dessas propriedades na forma de diagramas de Euler-Venn quando não for uma propriedade imediata. Exercício 1.7.2: Demonstre os seguintes corolários dos teoremas apresentados acima: ) = e ) =. Definição 1.7.3: Se e são conjuntos quaisquer e =, e são ditos conjuntos disjuntos. Quando isso ocorre, a união é chamada de união disjunta. No decorrer do texto será dito algumas vezes que certas uniões são disjuntas, mas não se estará, em geral, acrescentando uma propriedade à união e sim ressaltando a propriedade referida acima.

15 14 Exercício 1.7.3: Mostre que a definição acima para conjuntos disjuntos é equivalente a e são disjuntos se, e somente se, para todo,. Justifique porque não é necessário impor que, para todo,. 1.8 Diferença e complementar Definição 1.8.1: Dados, ( o conjunto universo), a diferença entre e, denotada por (lê-se menos ) ou \, é o conjunto dado por: = Essa definição concorda com a noção intuitiva de diferença, pois se está subtraindo de os elementos que pertencem a. Mas se deve perceber que os elementos de que não pertencem a não interferem na diferença. 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: ) = ) ) Demonstração: ) = = = = = ) )

16 15 Corolário: ) = Teorema 1.8.2: Dado um conjunto universo e,,, tem-se que: ) = ) ) Demonstração: ) = = = ) = = ) ) A parte que pode ser confusa na demonstração é a passagem da segunda para a terceira linha. Perceba que não pertencer à intersecção significa que ele não pertence a e simultaneamente. A condição nos diz que, lembrando que se trata de um ou inclusivo, ou pertence a, mas não a, ou pertence a, mas não a, ou não pertence nem a nem a. De forma mais sucinta, dado um, existem as três possibilidades seguintes:, ou. Isso é o mesmo que dizer que o elemento não pertence à intersecção (que é a única possibilidade que não pode acontecer, a saber, ). Corolário: ) = Teorema 1.8.3: ) = ) ), com,, e sendo o conjunto universo. Teorema 1.8.4: ) = ) ), com,, e sendo o conjunto universo. Exercício 1.8.1: Demonstre esses dois últimos teoremas. Faça também as representações diagramáticas.

17 16 Exercício 1.8.2: Mostre que ) =. Definição 1.8.2: Se, o conjunto é chamado de complemento de em relação a. Tal conjunto é denotado por: = A noção de complemento só faz sentido se um conjunto for parte de outro, como se pode ver na condição de que. Vemos que o complemento é o conjunto de todos os elementos de que não pertencem a (diagrama abaixo). Quando se tem um conjunto universo e se quer o complementar de um conjunto em relação a, a notação usada é: = = Algumas propriedades elementares da complementação são apresentadas abaixo tomando,. Existem as propriedades que podem ser generalizadas e isso será feito mais adiante. Teorema 1.8.5: ) = e ) = Demonstração: ) = = = Perceba que a conclusão foi devida ao fato de não poder existir que pertença a e, ao mesmo tempo, não pertença a. Exercício 1.8.3: Demonstre que ) =. Teorema 1.8.6: = e = Demonstração: = = Exercício 1.8.4: Demonstre que =. Teorema 1.8.7: ) = Demonstração: ) = = = =

18 17 O resultado é intuitivo, pois o complemento de em relação a ) são todos os elementos de que não pertencem a e o complemento do complemento de em relação a ( )) são todos os elementos de que não pertencem ao complemento de. Isto é, o próprio. Teorema 1.8.8: ) = ) ) 1.8.2: Demonstração: Por definição, ) = ). Usando o Teorema.. ) = ) = ) ) = ) ) Teorema 1.8.9: ) = ) ) Exercício 1.8.5: Demonstre esse teorema e represente em forma de diagrama. SUGESTÃO: Use o Teorema Teorema : Sendo,, = Demonstração: Usando o Exercício 1.8.2, temos que = ) = = =. Exercício 1.8.6: Mostre que, se, então essa é uma inclusão própria se, e somente se,.

19 18 Pode-se também apresentar as mesmas propriedades quando o complemento é em relação a um conjunto universo. Como já dito, nesse caso, a notação usada é = =, com. Assim, as propriedades tomam a forma: 1) = e = 2) = e = 3) ) = 4) ) = 5) ) = As demonstrações já foram realizadas, pois é um caso particular do que já foi tratado (apenas usando o próprio como subconjunto de ). As propriedades 4 e 5 listadas são chamadas de regras de De Morgan (Augustus De Morgan) e uma generalização delas será feita mais adiante. 1.9 Conjunto das partes e partição de conjuntos Definição 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 =,, então ) =,,,,, pois esses são todos os subconjuntos que podem ser extraídos de. Também se diz que ) é a coleção de todos os subconjuntos de. Antes de passar a definição de partição, é interessante que sejam definidos os operadores grandes de união e intersecção. Definição 1.9.2: = = Essa definição é uma recorrência. Mas só está bem definido se está bem definido. Ou seja, para se usar =, deve-se saber o que é. No final das contas, essa definição nos permite escrever a união de conjuntos de forma mais compacta. Se continuarmos a recorrência até 1) = 1, obteremos o seguinte resultado: =

20 19 Uma observação a ser feita é que os conjuntos,,, não são necessariamente iguais. Não se usou diferentes letras para distingui-los, mas a distinção foi dada pelos índices 1,2,...,. Exemplo 1.9.2: Seja =,,, =, 1,2 e =,,,,. A união desses conjuntos é: = =,,, 1,2,,, Definição 1.9.3: = = A discussão desse operador é inteiramente análoga a do anterior. Apenas repitamos a seguinte observação: = Exemplo 1.9.3: Usando os mesmos conjuntos, e do Exemplo 1.9.2: = = Antes da definição, convencionemos que os elementos do conjunto, que vamos definir, são chamados de (eventualmente ) com (ou ) podendo ser qualquer número natural de 1 até (sendo o número de elementos de ). Dessa forma, índices diferentes indicam elementos distintos de. Observação importante: Será visto no capítulo seguinte que existe a possibilidade de índices distintos corresponderem a um mesmo elemento do conjunto. Então convencionaremos que será admitida a possibilidade de índices distintos referirem a elementos iguais somente quando chamarmos o conjunto de família (família de elementos ou família de conjuntos). Definição 1.9.4: Uma partição de é um conjunto formado de subconjuntos não vazios de tal que as seguintes propriedades sejam satisfeitas: a) Se, e, então =. b) Sendo o número de subconjuntos de que existem na partição, =.

21 20 Alguns comentários podem tornar a definição mais clara. A primeira condição diz que, dados dois elementos (subconjuntos de ) quaisquer que pertençam à partição, se não se trata do mesmo elemento (que é o significado de ), então esses elementos são disjuntos. Ou seja, um elemento de é disjunto de todos os outros elementos de (diz-se que os elementos são disjuntos aos pares). A segunda condição simplesmente afirma que a união (disjunta) de todos os elementos de resulta no próprio. Perceba que uma partição de divide (particiona) em uma coleção de subconjuntos disjuntos uns dos outros. Observemos também que ) e que essa inclusão é própria. Abaixo está apresentado o diagrama de uma possível partição de. Exemplo 1.9.4: Dado =,,, uma partição possível é =,,. Mas também poderia ser =,,. No entanto nem =, nem =,,, são partições de. Exercício (importante): Se uma coleção de subconjuntos de,, possui a propriedade: para cada, pertence a um, e somente um,, mostre que é uma partição de. Mostre também que há recíproca. Ou seja, que, se é uma partição de (pela definição 1.9.4), possui a propriedade apresentada na primeira parte desse exercício. Observação: Cada elemento de é notado por, com as mesmas convenções prévias adotadas para Diferença simétrica Definição : Dados,, a diferença simétrica entre e, simbolizada por, é o conjunto dado por: = De forma equivalente: =. Isto é, a união dos conjuntos, mas tirando os elementos da intersecção.

22 21 Exercício : Mostre que = ) ) é uma definição equivalente para a diferença simétrica. Abaixo estão listadas as principais propriedades da diferença simétrica tomando como conjunto universo e, e conjuntos arbitrários. As demonstrações delas são deixadas como exercício. Teorema : = (comutatividade) Teorema : ) = ) (associatividade) Teorema : = (elemento neutro) Teorema : = Teorema : ) = ) ) (distributividade da intersecção em relação à diferença simétrica) Teorema : ) ) Exercício : Demonstre os teoremas acima. Represente os diagramas correspondentes. SUGESTÃO: Leia a estratégia apresentada na subsecção seguinte para demonstrar igualdades entre conjuntos Generalizações Agora generalizaremos alguns teoremas apresentados durante essa secção. A indicação entre parênteses no início de cada teorema será referente ao teorema que se está generalizando. Teorema (1.8.1): Seja um conjunto e B uma família arbitrária (qualquer) de conjuntos, com podendo tomar valores naturais de 1 até, ou seja, existem conjuntos na família B (o índice faz a distinção entre os conjuntos). Então: = ) Demonstração: Se ), então, afinal, pertence a tirando os elementos de todos os. Assim, também se conclui que para todo de 1 até (se não pertence à união dos conjuntos, não pertence a nenhum conjunto da união). Mas pertence a e, assim, sempre temos que ) para qualquer de 1 até. Se isso acontece, pertence à intersecção de todos os conjuntos ), pois pertence a cada um desses conjuntos. Concluímos, então, que )). Ou seja, se ), então )). Mas isso não prova a igualdade, o que acabamos de mostrar é que ), como se pode ver pela definição de subconjunto. Mostremos agora a recíproca. Se )), então não pertence a nenhum conjunto, pois, se pertencesse existiria tal que e, então, não

23 22 pertenceria a para esse em particular, o que levaria a concluir que não pertence a intersecção dada. Dessa forma, com não pertencendo a nenhum, não pertence à união deles, ou seja,. Assim, ). Isso mostra que )) implica ). Pela definição de subconjunto, acabamos de mostrar, nessa parte da demonstração, que ) ). Ora, mostramos logo acima que ) e, então, juntando as duas informações e tendo o Teorema 1.6.3, concluímos que: = ) Até agora demonstramos igualdades entre conjuntos de forma direta. Simplesmente partíamos do conjunto inicial e seguíamos por igualdades até o conjunto que se queria demonstrar a igualdade. Essa forma torna a recíproca imediata, pois basta seguir as igualdades no caminho inverso. Mas, de forma geral, provar diretamente igualdades entre conjuntos pode ser muito complicado e a estratégia acima, de provar primeiro que um conjunto é subconjunto do outro e, depois, a recíproca, pode tornar o trabalho mais simples. Fica como sugestão que, ao tentar demonstrar a igualdade entre conjuntos, se use a estratégia apresentada acima. Corolário (1.8.9): Sendo um conjunto qualquer e B uma família de subconjuntos de (com podendo tomar valores naturais de 1 até ), tem-se que: = ) Teorema (1.8.2): Seja um conjunto e B uma família arbitrária (qualquer) de conjuntos, com i podendo tomar valores naturais de 1 até. Então: = ) Demonstração: Se ), então. Assim, para ao menos um,, pois se pertencesse a todos os, pertenceria à intersecção. Dessa forma se pode concluir que pertence a ) para algum. Então ). Logo, ) implica ). Como antes, isso ainda não conclui a demonstração, pois o que mostramos, na verdade, é que ) ). A recíproca é um caminho de retorno pelo raciocínio feito acima. Se ), pertence a ) para algum, pois, se não pertencesse a nenhum ), não pertenceria à união desses conjuntos. Dessa forma, para algum

24 23. Podemos concluir, então, que, pois existe ao qual não pertence. Assim, sabendo que pertence a, ). Ou seja, ) implica ). Logo, ) ). Chagamos finalmente, tendo demonstrado essa inclusão e a anterior, que: = ) Corolário (1.8.8): Sendo um conjunto qualquer e B uma família de subconjuntos de (com podendo tomar valores naturais de 1 até ), tem-se que: = ) Exercício : Demonstre os corolários apresentados. SUGESTÃO: use os teoremas e Quando é o conjunto universo, usando a notação já apresentada para a complementação em relação ao conjunto universo, os corolários apresentados tomam a forma: e = ) = ) Teorema (1.8.3): Seja um conjunto e B uma família arbitrária de conjuntos, com podendo tomar valores naturais de 1 até. Então: = ) Teorema (1.8.4): Sendo um conjunto e B uma família arbitrária de conjuntos, com podendo tomar valores naturais de 1 até, tem-se que: = ) Teorema (1.7.8): Dado o conjunto e uma família B arbitrária de conjuntos, com podendo tomar valores naturais de 1 até, tem-se que:

25 24 = ) = ) Esse último teorema é a generalização das leis distributivas do Teorema Exercício : Demonstre esses últimos três teoremas. As generalizações apresentadas aqui ainda não são as mais gerais possíveis. As demonstrações dos casos mais gerais são quase idênticas às feitas para esses casos menos gerais, mas não faremos tais generalizações aqui, pois falta a apresentação de conceitos que permitem entendê-las. Exercícios I 1 1 Represente os seguintes conjuntos listando seus elementos. a) Conjunto dos cinco primeiro números primos. b) Conjunto dos números naturais pares. c) Conjunto das letras da palavra matemática. 2 Indique quais dos conjuntos abaixo são vazios. a) = N 1 > 0 b) = Z 0 = 1 c) = N 1 > 0 d) = N > 3 > 4 3 Dados =,, 3,4,5, =, 4,6,7,8,, e =, 3,4,,, dê os conjuntos abaixos. a) b) c) ) d) ) e) f) ) 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) )

26 25 5 Sendo = 1,2,3,4,5,6, = 4,5,6,7,8,9, = 4,9,10 e = 1,4,10, represente os seguintes conjuntos: a) b) c) d) ) ) 6 Dado o conjunto =,,, represente o conjunto ) (conjunto das partes de ) e dê dois exemplos de partições de ). 7 Dados os conjuntos = 1,2,3,4,5,6, = 2,4,6,8, = 4,6,8,10 e = 6,8,10, encontre: a) ) ) ) b) ) ) ) SUGESTÃO: Use os teoremas e A Teoria Ingênua 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 formulação original da teoria dos conjuntos, a ingênua, (de Cantor e Frege), levava a contradições. No entanto esse problema é evitado na teoria de conjuntos moderna, a Teoria Axiomática dos Conjuntos. Você consegue identificar o paradoxo? 9 Encontre o conjunto tal que 1,2,3,4 = 1,2,3,4,5, 3,4 = 1,3,4,5 e = Sejam e conjuntos disjuntos e =,,. Sabe-se que, =,,, e =,,. Encontre os conjuntos e. 11 Demonstre os seguintes teoremas: a) = se, e somente se, =. b) Se, então e qualquer que seja. c) Se e, então. SUGESTÃO: Perceba que, usando o resultado do exercício anterior, que se pode fazer. d) Se, então ) ) com ) = ) se, e somente se, =. SUGESTÃO: O resultado é imediato para =, então mostre, supondo que a inclusão seja própria, que ) ) é uma inclusão própria. 12 Seja B uma família arbitrária de conjuntos com podendo tomar valores naturais de 1 até. Sendo um conjunto arbitrário, mostre que:

27 26 ) = SUGESTÃO: Use os teoremas e e, quando for conveniente, ) chame =. Tome = ) e ) = ) ) ) 13 Sendo B uma família arbitrária de conjuntos com podendo tomar valores naturais de 1 até e outra família arbitrária de conjuntos com podendo tomar valores naturais de 1 até, mostre que: e e ) = = ) ) = = ) Eliminando os colchetes, podemos escrever o teorema como sendo: = = = = SUGESTÃO: Use o Teorema diversas vezes. 2 Pares Ordenados e Produto Cartesiano 2.1 Par ordenado Um par ordenado é uma lista de dois elementos, e, denotado por, ) com, ( um conjunto genérico), onde existe distinção entre ser o primeiro elemento (no caso: ) ou o segundo (no caso: ). Ou seja,, ) não é 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.

28 27 Essa apresentação de par ordenado é intuitiva, mas não é formal. No entanto vamos tomá-la, sem necessidade de uma apresentação formal do conceito de par ordenado, durante o texto. 2.2 Produto cartesiano Definição 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 observação que podemos fazer é que, em geral,. Isso porque, como visto logo acima, em geral,, ) não é o mesmo que, ), pois a ordem dos elementos é diferente. Dessa forma, em geral, o conjunto formado por todos os pares, ), com e, não é o mesmo que o formado por todos os pares, ), com e. Outra observação é 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 notação: = Se, no produto cartesiano, ou forem vazios, o produto cartesiano de por é definido como sendo o conjunto vazio. Ou seja: =, = = Exemplo 2.2.1: Para fixar a idéia de conjunto de pares ordenados, peguemos dois conjuntos, e, finitos definidos como =, e = 1,2. O produto cartesiano é dado pelo conjunto: =, 1),, 2),, 1),, 2) Exercício 2.2.1: Faça o conjunto tomando e definidos como no exemplo acima. Exemplo 2.2.2: O produto cartesiano R R = R (produto cartesiano entre o conjunto dos reais e ele próprio) é o conjunto de todos os pares ordenados, ) onde o primeiro elemento é um número real ( R) e o segundo também é ( R). Uma forma de representação desse conjunto é o plano cartesiano, onde os pares ordenados são pares de coordenadas que indicam a posição de um ponto no plano. Percebemos que ainda é válido, de forma geral, que um par, ) não é o mesmo que, ), como pode-se ver na representação abaixo.

29 28 Tendo, e conjuntos arbitrários, seguem os teoremas abaixo. Teorema 2.2.1: O produto cartesiano é distributivo à esquerda em relação à união e intersecção. Ou seja, ) = ) ) e ) = ) ). Demonstração: Pela definição: ) =, ) =, ) ) =, ) ) ) =, ), ) = ) ) Teorema 2.2.2: O produto cartesiano é distributivo à direita em relação à união e intersecção. Ou seja, ) = ) ) e ) = ) ). Demonstração: Pela definição: ) =, ) =, ) ) =, ) ) ) =, ), ) = ) ) Exercício 2.2.2: Demonstre a parte referente à intersecção nos dois teoremas acima. Teorema 2.2.3: O produto cartesiano é distributivo à esquerda em relação à diferença. Ou seja, dados, e quaisquer, ) =. Demonstração: Pela definição:

30 29 ) =, ) ) =, ) =, ) =, ), ) = A passagem da terceira para a quarta linha se deu pelo fato de pertencer a, mas não pertencer a implica que o par, ) que pertence a ) não pertence a. Exercício 2.2.3: Demonstre que há também distributividade pela direita. Existe a necessidade de se demonstrar a distributividade pela esquerda e pela direita (separadamente) devido ao fato do produto cartesiano não ser comutativo. Mas, mais rigorosamente, devemos ver que chamar essas propriedades de distributividade foi um abuso de linguagem, pois as operações união, intersecção e diferença não tem como resultado conjuntos de pares ordenados entre os conjuntos considerados ao passo que o produto cartesiano tem. Vemos que, no caso dos números reais, onde se tem a distributividade da multiplicação em relação à soma, tanto a multiplicação quanto a adição possuem como resultados números reais. Teorema 2.2.4: Sendo,, e conjuntos, temos ) ) ) ). Demonstração: Mostremos que ) )., ) se, e somente se, e. Mas qualquer que seja e para qualquer. Ou seja, para todo e, e. Dessa forma,, ) ) ) pela definição de produto cartesiano. Segue, então, que ) ). De forma inteiramente análoga, se conclui que ) ) e, sabendo que a operação de união é fechada, ) ) ) ) (tome ) ) como conjunto universo e consulte o Teorema 1.7.3). Exercícios I 2 1 Seja =, 2, e = 1,, e =,, 3, represente os seguintes conjuntos: a) b) c) ) ) d) e) )

31 30 2 Mostre que ) ) = ) ) =. SUGESTÃO: Parta da definição de produto cartesiano. 3 Mostre que ) = e conclua que ) ) = ). SUGESTÃO: Use o resultado do exercício anterior. 4 Sendo = 1,2,3,4,5 e = 4,5,6,7,9, use o resultado do exercício anterior para obter ) ). 5 Demonstre que, se, então, para qualquer,. 6 Mostre que, sendo,, e conjuntos, ) ) = ) ) (veja que o resultado do exercício 3 é um corolário desse caso mais geral). 3 Noção de Cardinalidade 3.1 Cardinalidade de alguns conjuntos finitos Inicialmente vamos nos ater a uma noção intuitiva de cardinalidade, pois, para uma definição mais formal e geral, é necessária a introdução do conceito de função e os números naturais, que não foram apresentados. Tendo um conjunto finito, é natural que se queira saber quantos elementos ele possui. Ou seja, contar o número de elementos. Quando contamos (número de fotos de um álbum, por exemplo), associamos números naturais sucessivos a cada elemento contado. Ou seja, chamamos o primeiro contado de 1 e prosseguimos na seqüência 2,3,..., até chegar no último elemento. O número natural associado ao último objeto contado nos dá o número de elementos do conjunto que se estava contando e chamamos esse número de cardinalidade do conjunto ou número cardinal do conjunto. Se é um conjunto finito, denotamos por a cardinalidade de. Essa é o número natural ( = N) que indica a quantidade de elementos do conjunto. Teorema 3.1.1: Se e são conjuntos finitos e, então com = se, e somente se, =. Esse resultado é intuitivo, pois todos os elementos de pertencem a e, assim, o número de elementos de não pode ultrapassar o de. Teorema 3.1.2: Se e são conjuntos finitos, então: = + Em particular, se =, então = + = +, pois a cardinalidade do conjunto vazio é 0 (e é o único conjunto com cardinalidade 0). Tal resultado é intuitivo, pois, se não há elementos compartilhados entre os conjuntos,

32 31 a união deles terá um número de elementos igual à soma do número de elementos de cada conjunto. Teorema 3.1.3: Se é um conjunto finito com =, então ) (conjunto das partes de ) possui 2 elementos. Ou seja, ) = 2. Teorema 3.1.4: Se e são conjuntos finitos e = e =, então: = Teorema 3.1.5: Sendo e conjuntos finitos, temos =. Em particular, se, então = =. A demonstração desses teoremas será feita no Capítulo III, pois ainda não temos uma definição rigorosa do que significa um conjunto finito possuir elementos. Mas podemos dar algumas justificativas não 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 intersecção e, assim, para ter o número correto de elementos da união, deve-se subtrair uma vez a cardinalidade da intersecção. 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 elementos em, o número total de pares ordenados será =. O Teorema pode ser entendido imediatamente, pois se está simplesmente não contando os elementos que pertencem a e simultaneamente. Para o Teorema não há uma justificativa simples, mas uma demonstração relativamente simples é dada no Capítulo III (Teorema 2.7.3). 3.2 Alguns exemplos Exemplo 3.2.1: Sendo e conjuntos finitos tais que, = 3 e = 27, qual a cardinalidade de e de? Resolução: Pelo Teorema 1.7.5, se, então =. Assim, = = 3. Pelo Teorema 3.1.4, = = 3 = 27. Ou seja, = 27 3 = 9, completando a resolução. Exemplo 3.2.2: Numa cidade circulam três jornais diferentes (jornais, e ). Ao se entrevistar 2000 moradores, se descobriu que 400 lêem o jornal, 800 lêem o jornal, 500 lêem o jornal, 200 dos que lêem o jornal também lêem o jornal, 100 dos que lêem o jornal lêem também o jornal e nenhum dos que lêem o jornal lêem o jornal. Quantos dos entrevistados não lêem nenhum dos três jornais? Resolução: Devemos transformar esse problema em um problema de encontrar a cardinalidade do conjunto dos entrevistados que não lêem nenhum dos três jornais. Claramente, o nosso conjunto universo é o dos entrevistados (chamaremos de conjunto ), cuja cardinalidade é = A cardinalidade do

33 32 conjunto dos entrevistados que lêem o jornal (chamaremos de conjunto ) é = 400, dos que lêem o jornal (chamaremos de conjunto ) é = 800 e dos que lêem o jornal (chamaremos de conjunto ) é = 500. Mas, como não existem pessoas que lêem o jornal e simultaneamente, = 0, pois a intersecção é vazia. Dessa forma, usando o Teorema 3.1.2, a cardinalidade do conjunto é = + = = 900. Queremos saber quantas pessoas lêem algum jornal (para ser possível dizer quantas não lêem nenhum). Então, devemos encontrar a cardinalidade de. Usando o Teorema 3.1.2, temos que: = ) = + ) Sabemos a cardinalidade de e de, mas não sabemos a cardinalidade de ). Usando a distributividade da intersecção em relação à união: ) = ) ). Assim, a cardinalidade dessa intersecção é: ) ) = ) + ) ) ) = ) + ) = ) + ) ) Juntamos a intersecção de com porque já sabemos que essa é vazia, o que garante que ) = = = 0. Já ) é o número de leitores que lêem tanto o jornal quanto o, ou seja, 200 e ) é o número de leitores que lêem tanto o jornal quanto o, que é 100, segue, então, que ) = ) ) = = 300. Voltando à união, temos agora que a cardinalidade dessa união é: + ) = = 1400 Sabendo que a união é subconjunto do conjunto universo e que o complemento dessa união, ), é o conjunto dos entrevistados que não lêem nenhum dos jornais, temos que a cardinalidade desse complemento dá o número de pessoas que não lêem nenhum dos jornais. Usando o Teorema 3.1.5, temos: ) = = = 600 Ou seja, 600 entrevistados não lêem nenhum dos jornais. Não é realmente necessário que a resolução seja feita de forma tão cuidadosa (talvez preciosista) como foi feita acima, mas foi feita de tal maneira para mostrar que o resultado foi obtido inteiramente através das propriedades dos conjuntos. Uma forma mais simples de tratar o problema é usando diagramas de Euler-Venn. Para descobrir a solução, representamos os conjuntos na forma de diagramas e damos valores correspondentes às cardinalidades às partes dos conjuntos. O diagrama abaixo representa o problema anterior.

34 33 Vemos que, para cada área limitada (que não pode ser cortada por nenhuma linha), se atribui um valor (a cardinalidade). O procedimento, nesse caso, é atribuir valores às intersecções e só depois atribuir valores às partes dos conjuntos que não fazem parte das intersecções. Tal procedimento é válido mesmo que não se conheça a cardinalidade de alguma intersecção, pois se pode atribuir alguma incógnita à cardinalidade da intersecção. O exemplo abaixo ilustra isso. Exemplo 3.2.3: Numa escola, os alunos podem fazer educação física às terças ou quintas. 60% dos alunos fazem às terças e 75% fazem às quintas. Qual a percentagem dos alunos que fazem tanto quinta quanto terça? Resolução: A percentagem total deve ser claramente 100%. Comecemos a completar o diagrama do problema chamando o conjunto dos que fazem às terças de e dos que fazem às quintas de e colocando uma incógnita,, no lugar da percentagem da intersecção. A percentagem da parte do conjunto que não faz parte da intersecção é 60% e a da parte de que não faz parte da intersecção é 75%. Coloquemos essas informações no diagrama. A soma dessas percentagens deve ser 100%. Assim:

35 34 60% ) % ) = 100% 60% + 75% = 100% = 60% + 75% 100% = 135% 100% = 35% Ou seja, 35% dos alunos fazem educação física às terças e quintas. Não se usou diretamente a cardinalidade dos conjuntos (não sabemos de quantos alunos o problema trata), mas, mesmo assim, é possível trabalhar apenas com a percentagem da cardinalidade associada ao conjunto (lembrando que o total deve dar 100%). Exercícios I 3 1 Sejam e conjuntos finitos com = 4, + = 10. Quanto são as cardinalidades e? É possível determinar as cardinalidades de e a partir das informações dadas? 2 Sabendo que = 6, e 2, 1), 1,1), dê o conjunto listando seus elementos. 3 Se e são finitos e disjuntos com = 5, = 6 e >, qual a cardinalidade de e de? 4 Sendo e conjuntos finitos, mostre que = = Considere os conjuntos e finitos. Sabe-se que ) = 15, = 3 e = 8. Qual a cardinalidade de e qual a cardinalidade de? SUGESTÃO: Use o resultado do exercício anterior. 6 Sendo =,,,, quantos subconjuntos de possuem ou? 7 Sendo + = 7 e = 2, dê a cardinalidade de ) e ). 8 Sejam e conjuntos finitos. Sabendo que 2 e >, mostre que e não são disjuntos. 9 Sendo,, e conjuntos finitos tais que = 5 e = 7, qual a cardinalidade de ) )? SUGESTÃO: Consulte o exercício 6 da secção anterior. 10 Uma pesquisa de mercado, sobre as marcas de sabão em pó, e, mostrou os seguintes resultados:

36 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 usuários consultados que usam as marcas e, mas não usam a? d) Qual a percentagem de consultados que não usam nenhuma das três marcas? 11 Num clube de natação e tênis, o número de pessoas que praticam natação é o dobro do que praticam tênis e um terço dos que praticam tênis também praticam natação. Sabendo que 30 pessoas praticam tênis, quantas pessoas praticam tanto natação quanto tênis e quantas praticam somente natação? 12 Numa escola, os alunos podem estudar espanhol, português, inglês e francês. Sabe-se que todos devem estudar português e podem estudar, no máximo, duas línguas além do português. Também se sabe que nenhum dos que estudam francês estuda espanhol. Além disso, apenas metade dos que estudam português estuda alguma das outras línguas e, dessa metade, 2/3 estuda inglês, 1/3 estuda espanhol e 1/3 estuda francês, sendo que o número de pessoas que estudam inglês e espanhol (simultaneamente) é igual ao que estudam inglês e francês (também simultaneamente). Qual fração do total: a) estuda francês? b) estuda tanto francês quanto inglês? c) estuda apenas espanhol? d) Se o número de alunos que estuda apenas espanhol é 50, quantos alunos a escola possui? 13 Observe o diagrama abaixo: Sabendo que = 100, quanto é? 4 Relações Como foi feito até agora, admitiremos conhecidos resultados básicos sobre números reais e naturais. Esses conjuntos numéricos serão tratados com mais cuidado no Capítulo III.

37 Plano cartesiano Definição (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 intersecção ocorra no ponto (figura). Chamemos a intersecção entre e o eixo de e a intersecção de com o eixo de. Com isso seguem as seguintes definições: a) A abscissa de é o (único) número real representado por. b) A ordenada de é o (único) número real representado por. c) As coordenadas de são indicadas pelo par, ) com a abscissa sendo o primeiro elemento do par. d) O eixo é dito ser o eixo das abscissas. e) O eixo é chamado de eixo das ordenadas. f) O sistema formado pelos eixos das abscissas e das ordenadas é o sistema cartesiano de eixos ortogonais. g) O ponto 0 é chamado de origem do sistema. h) O plano determinado pelos eixos e é o plano cartesiano. Teorema 4.1.1: Existe uma correspondência biunívoca entre o plano cartesiano e o conjunto R (= R R). Demonstração: a demonstração é dada em duas partes. Primeiro vamos demonstrar que para cada ponto existe um único par de pontos e. De fato, só existe um, pois, pelas definições 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 definições (a), (b) e (c), um único par ordenado de coordenadas, ) correspondente ao ponto. Isso mostra que cada P corresponde a um par, ) R. Agora vamos demonstrar que cada, ) R 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

38 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. Concluímos, então, que cada par, ) R corresponde a um único ponto do plano cartesiano e isso completa a demonstração. Exemplo 4.1.1: Localizemos no plano cartesiano abaixo os pontos 1,1), 3,2), 2,3), 1,2), 2, 2) e, 2. Também é possível representar subconjuntos de R no plano cartesiano. O exemplo abaixo ilustra isso. Exemplo 4.1.2: Representemos o conjunto = 1,1), 2,2), 3,3), 3,2) no plano cartesiano. 4.2 Relações binárias Definição 4.2.1: Dados dois conjuntos, e, qualquer subconjunto não vazio do produto cartesiano é chamada de relação de em. Ou seja: é relação binária de em e.

39 38 O conjunto é chamado de conjunto de partida da relação e é chamado de conjunto de chegada (ou contradomínio) da relação. Para cada tipo de relação, em geral, se tem um símbolo diferente para representá-la (estamos usando para representar o caso geral). Em alguns casos, se um par, ) pertence a (, ) ), é conveniente usar a notação e quando, ). Podemos representar relações binárias de forma diagramática. Essa representação consiste em representar os conjuntos como se fez até agora, na forma de diagramas de Euler-Venn, e usar setas para representar a relação entre os elementos do conjunto de saída e de chegada. Por exemplo, se, ) pertence à relação binária, 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 =,,, e = 1,2,3,4,5,6 e uma relação binária dada por =, 2),, 4),, 1),, 5). representação diagramática dessa relação é: Definição 4.2.2: Dado um conjunto, uma relação é chamada de relação binária em. Definição 4.2.3: Sendo e conjuntos e uma relação entre eles, chamamos de domínio da relação (denotamos )) o conjuntos dos elementos pertencentes a tal que, ) para algum pertencente a. Ou seja: ) =, ) Definição 4.2.4: Sendo e conjuntos e uma relação binária entre eles, chamamos de imagem da relação (denotamos )) o conjuntos dos elementos pertencentes a tal que, ) para algum pertencente a. Ou seja: ) =, ) Perceba que, sendo um subconjunto de, não é de se esperar que todos os pares ordenados, ) pertençam à relação. Ou seja, em geral, existem pares, ) que não pertencem à relação. O conjunto ) nos dá todos os elementos tais que exista algum tal que, ) e o conjunto ) nos dá todos os elementos tais que exista algum tal que, ).

40 39 Podemos pensar essas duas últimas definições em termos da representação diagramática dada acima. Sendo o conjunto de partida, o conjunto de chegada e uma relação binária de em, o domínio da relação binária é o conjunto de todos os elementos de de onde parte alguma seta e a imagem da relação binária é o conjunto de todos os elementos de onde termina alguma seta (elementos que são flechados ). No entanto vemos que, ) não implica necessariamente que não pertença ao domínio da relação, nem que não pertença à imagem da relação, mas implica que uma das duas seguintes situações ocorre: ) ou ). O exemplo abaixo ilustra isso. ALERTA: embora essas definições possuam relação com os conceitos de domínio e imagem de funções, como será visto logo a seguir, as noções não devem ser identificadas. Função é um tipo particular de relação binária e possui particularidades em relação ao domínio e imagem. Na verdade, o que difere os tipos de relações binárias são as restrições (condições) que impomos sobre o domínio e imagem da relação. Exemplo 4.2.2: Dados = 1,2,3,4, = 1,2,3,4,5 e uma relação binária dada por = 1,2), 2,2), 3,2), 4,2), a representação em forma de diagrama dessa relação é: Vemos que todos os elementos de pertencem ao domínio da relação, mas pares como 1,1), 1,4), 2,1), etc não pertencem à relação. Definição 4.2.5: Sendo e conjuntos arbitrários não vazios e uma relação binária, chama-se de relação inversa de o conjunto tal que: =, ), ) Ou seja,, ) se, e somente se,, ). Assim, para se ter a relação inversa, basta inverter a ordem de e em cada par pertencente a. Alguns resultados imediatos são: a) ) = ) e ) = ) b) ) = Nem sempre a relação inversa é do tipo da relação original. Ou seja, nem sempre as restrições que impomos na relação original são aplicáveis na relação inversa. Um exemplo disso são as funções, cuja definição é dada mais adiante.

41 40 Exemplo 4.2.3: Tomando os conjuntos do Exemplo 4.2.2, a relação 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 relação inversa, é, então, simplesmente inverter o sentido das setas. 4.3 Funções Essa talvez seja a relação mais importante das que serão apresentadas. O conceito de função permeia toda a matemática e acaba recebendo vários nomes dependendo do contexto em que está sendo usado (como, por exemplo, operação, aplicação, produto...). Antes da definição de função, vejamos primeiro alguns exemplos intuitivos, para servir de motivação para a definição que será dada. Exemplo 4.3.1: Se um trabalhador recebe um determinado acréscimo no salário a cada hora extra que trabalha, é intuitivo que o total acrescido varia de acordo com quantas horas extras são trabalhadas. Diz-se que o acréscimo (total) está em função da quantidade de horas extras que se trabalha, pois existe uma dependência do ganho extra com as horas extras trabalhadas. Exemplo 4.3.2: Quando se vai a um posto de gasolina abastecer, o preço (total) pago pela gasolina é tanto maior quanto mais se coloca gasolina no carro. Então, como acima, se diz que o preço pago está em função da quantidade de gasolina colocada no carro. Uma observação que podemos fazer é que não faz sentido, por exemplo, que se possa colocar alguma quantidade de gasolina no carro, mas não exista nenhum valor correspondente a essa quantidade (nem mesmo zero, pois zero seria um valor). Isso motiva a condição (a) da definição de função que será dada abaixo. Exemplo 4.3.3: Ao se jogar uma pedra verticalmente para cima, a posição da pedra pode ser dada em função do tempo (vemos que, se ligamos um cronômetro no instante em que se joga a pedra, podemos associar cada instante à posição altura em que a pedra se encontra). Percebamos que a pedra irá subir e descer, ou seja, as posições que a pedra vai assumir durante a subida serão repetidas na descida, mas em instantes diferentes dos que estavam associados às mesmas posições 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

42 41 passará pela mesma altura 5 metros durante a descida (mas num instante posterior portanto, diferente ao t). No entanto não faz sentido associar duas posições diferentes a um mesmo instante. Por exemplo, a pedra não pode estar no chão e na altura 5 metros no mesmo instante. Definição (função): Dados dois conjuntos, e, e uma relação binária de em, o terno,, ) (trinca ordenada) é dita ser uma função de em ou aplicação de em quando satisfaz ambas as seguintes condições: a) ) = b), ) e, ) implica =. A primeira condição diz que, para todo pertencente a, existe algum pertencente a tal que, ) (mas não é necessário que ) = ). Já a segunda nos assegura que, dado um, o elemento correspondente a na imagem de é único. Em outras palavras, a função leva cada do domínio a um único da imagem (o Exemplo dá uma motivação para se definir assim). Mas perceba que nada proíbe que existam dois elementos distintos, e, pertencentes ao domínio de (e, portanto, a ) tais que, ) e, ) com mesmo (vemos que, no Exemplo 4.3.3, se pôde associar dois instantes diferentes a uma mesma altura). Por causa da unicidade do elemento, na imagem, correspondente a um dado do domínio, é comum usar a notação, ) para indicar os elementos da função. Ou seja, ) =. Atentemos desde já que será comum chamarmos de função embora a função seja, na verdade, a trinca ordenada,, ). Exemplo 4.3.4: Dados os conjuntos = 1,2,3 e =,, então = 1, ), 2, ), 3, ) é uma função de em, pois o domínio da relação é o próprio e, para cada elemento de, esse é associado a apenas um elemento em. Mas perceba que = 1, ), 2, ), 2, ) não é função de em porque não satisfaz nenhuma das duas condições necessárias. Abaixo está representado o diagrama da função. Vemos, então, que, em termos de diagramas, a condição (a) da definição de função quer dizer que, de cada elemento de, deve partir alguma seta e a condição (b) quer dizer que só pode partir uma única seta de cada elemento de. Exemplo 4.3.5: Dados agora = 1,2,3 e =,,, = 1, ), 2, ), 3, ) continua sendo uma função, mas de em (pois continua satisfazendo as condições (a) e (b)) e o diagrama é dado abaixo.

43 42 Exercício 4.3.1: A relação dada no Exemplo é uma função? E a dada no Exemplo 4.2.1? Trabalharemos funções de forma mais detalhada no capítulo seguinte, mas perceba que, dadas as restrições (a) e (b), a relação inversa de uma função nem sempre é uma função. Se é uma função e a imagem dessa não é o próprio, a relação inversa não pode ser uma função, pois o domínio dessa relação inversa não é e, pela definição, é necessário que o domínio de uma função seja o próprio conjunto de partida. Mesmo que a relação inversa tenha como domínio, essa relação inversa ainda tem que levar cada elemento de a um único elemento de para ser uma função (condição (b) da definição). Como, em geral, se pode ter, ) e, ) com mesmo, a relação inversa não será uma função se isso ocorrer. Afinal, se teria, na relação inversa, um levado a dois (ou mais) diferentes na imagem. Por fim, só é possível que a relação inversa seja uma função quando a imagem de for o próprio e não ocorrer de, ) e, ) com. Ou seja, usando a notação, )), se ) =, não exista tal que ) =. Quando a relação inversa de uma função é uma função também, dizemos que essa relação inversa é a função inversa. Exercício 4.3.2: Por que as relações inversas das funções apresentadas nos exemplos e não são funções? Dê um exemplo de função cuja relação inversa também é uma função. Note que isso só é possível quando a cardinalidade do conjunto de partida (conseqüentemente, do domínio) é a mesma que a do contradomínio (esse termo é mais comum quando se trata de funções). 4.4 Relações de equivalência Além das funções, as relações de equivalência também são presentes em vários campos da matemática. Informalmente podemos dizer que uma relação de equivalência estabelece uma condição que define uma igualdade entre elementos de um conjunto. Definição 4.4.1: Dado o conjunto e sendo uma relação binária em, é uma relação de equivalência em quando forem satisfeitas as seguintes propriedades: a), ) para todo (reflexibilidade). b), ) implica, ) (simetria).

44 43 c) Se, ) e, ), então,, ) (transitividade). Normalmente se usa o símbolo ~ para indicar a equivalência pela relação. Ou seja, quando os elementos, são equivalentes por, escrevemos ~. Se os elementos, não são equivalentes por, se escreve. No caso em que não há perigo de confusão, se escreve simplesmente ~ para indicar que os elementos e são equivalentes pela relação de equivalência considerada e caso não sejam equivalentes. Assim, as condições dadas acima podem ser reescritas como sendo: a ) ~ para todo (reflexibilidade). b ) ~ implica ~ (simetria). c ) Se ~ e ~, então, ~ (transitividade). Tomamos a relação de equivalência com o conjunto de partida sendo e o de chegada ele mesmo e isso é necessário. Perceba que as propriedades são tais que não existe possibilidade de existir uma relação de equivalência com o conjunto de partida diferente do de chegada. Duas relações de equivalência sempre são possíveis de serem feitas num conjunto. Uma é relação identidade (ou diagonal), onde, dado um conjunto,, são equivalentes quando = (por essa relação de equivalência, os elementos de só são equivalentes a eles mesmos). A outra é a que os elementos, são equivalentes quando esses pertencem a (por essa relação de equivalência, todos os elementos de são equivalentes a todos os elementos de ). Exemplo 4.4.1: Dado o conjunto =,, e uma relação binária em dada por =, ),, ),, ),, ),, ), essa relação binária é uma relação de equivalência em (verifique!). Exemplo 4.4.2: Definamos uma relação de equivalência em R da seguinte forma: dizemos que é equivalente a quando é racional ( ) Q). Ou seja, R R tal que: =, ) R R ) Q Mostremos que tal relação é, de fato, uma relação de equivalência: a) ~, pois = 0, que é racional (demonstrando a simetria). b) Se é racional, então é racional, pois = ) e o oposto de um número 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, então ) ) = + = é racional, pois a subtração de racionais (no caso, ) e )) é um número racional. Ou seja, ~ e ~ implica ~ (demonstrando a transitividade).

45 44 Sendo um conjunto não vazio e uma relação de equivalência em, dado um elemento do conjunto, é, em geral, interessante ter o conjunto de todos os elementos equivalentes a (tal conjunto definido abaixo). Definição 4.4.2: Seja um conjunto e uma relação de equivalência em. Para cada definimos a classe de equivalência de (pela relação de equivalência ) pelo conjunto: =, ) Vemos que, fixado, o conjunto é o de todos os elementos equivalentes a e que sempre se tem, devido à propriedade (a) da definição de relação de equivalência, ou seja, o conjunto nunca é vazio. Abaixo seguem um lema e um teorema referentes a essa definição. O teorema é a razão das relações de equivalências serem tão presentes na matemática e é chamado de Teorema Fundamental das Equivalências. Lema 4.4.1: Sendo uma relação de equivalência em, se, são tais que ~, então =. Demonstração: Com efeito, se ~, então e, se ~, então. Ora, se ~ e ~, então ~ (transitividade), que implica. Ou seja, todo elemento que pertence a também pertence a, que é o mesmo que dizer que. De forma inteiramente análoga conclui-se que. Logo, pelo Teorema 1.6.3, =. Teorema 4.4.1: Se E é o conjunto de todas as classes de equivalências de pela relação de equivalência, E é uma partição de. Demonstração: Usaremos o resultado que foi pedido para ser demonstrado no Exercício para demonstrar esse teorema. Pelo enunciado do exercício, para mostrar que E é uma partição de, devemos mostrar que, para cada, esse deve pertencer a uma, e somente uma, classe de equivalência pertencente a E. De fato, para todo elemento, esse pertence a, ao menos, uma classe de equivalência, 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 equivalência pertencente a E, que é o mesmo que dizer que E é uma partição de. Esse último teorema nos diz que um conjunto pode ser dado pela união disjunta de todas as classes de equivalência (distintas) de uma relação de equivalência. O conjunto E, que pode ser escrito como E =, é chamado, também, de conjunto quociente de por e pode ser representado por E = /.

46 45 Vemos que a relação de equivalência realmente divide com as classes de equivalências. A recíproca do teorema acima também é verdadeira: toda partição de um conjunto é um conjunto de todas as classes de equivalência de alguma relação de equivalência, mas a demonstração dessa recíproca será omitida. Exemplo 4.4.3: Usando o conjunto e a relação de equivalência dada no Exemplo 4.4.1, se vê que a classe de equivalência dos elementos e é =, = (Lema 4.4.1) e a do é =. O conjunto das classes de equivalência é, então, E =,,, que é uma partição de. Exemplo 4.4.4: Usando a relação de equivalência nos reais apresentada no Exemplo 4.4.2, mostremos que o conjunto dos racionais é uma das classes de equivalência daquela relação. Evidentemente a subtração de racionais é um racional, ou seja, se é racional e é racional, então já se tem que é equivalente a pela relação dada. Mas também se tem que nenhum irracional pode ser equivalente a um racional, pois, se fosse, chegaríamos à seguinte contradição: suponha que é racional e é irracional, mas é racional. Um racional pode ser escrito como a divisão entre dois números inteiros. Dessa forma, escrevamos = e = =, com,, e números inteiros (com e não nulos). Assim, = =, que é um número racional, entrando em contradição com a hipótese de ser irracional. Concluímos, então, que uma das classes de equivalência de =, ) R R ) Q é Q. Observação: a soma (ou subtração) de um racional com irracional nunca será um racional, mas é possível se ter soma ou subtração de irracionais com resultado racional (diferente de zero, inclusive). Por exemplo, = 1. 2 é irracional e 2 1 também é, mas a subtração dada é um número racional. Foi dito no início dessa subsecção que a relação de equivalência estabelecia uma igualdade entre elementos de um conjunto. A igualdade não é, em geral, entre os elementos, mas aparece entre as classes de equivalência, como mostrado pelo Lema As classes de equivalência são, então, agrupamentos dos elementos com mesmas propriedades, de acordo com a relação de equivalência dada. 4.5 Relações de ordem total Em alguns conjuntos é natural dizermos que um elemento é maior que outro. Por exemplo, no conjunto dos números inteiros, dizemos que 2 é maior que 1 e representamos isso por 2 > 1. A relação que nos permite dizer isso nos permite ordenar os números inteiros (por exemplo, podemos ordenar de forma crescente os números inteiros). Uma relação de ordem é total quando sempre é possível dizer, dados dois elementos de um conjunto com relação de ordem, se um

47 46 elemento é maior, igual ou menor que outro. Mas as relações de ordem não se restringem a conjuntos numéricos (naturais, inteiros, racionais...). Veremos que, dado um conjunto qualquer, sempre é possível criar uma relação de ordem total no conjunto. Definição 4.5.1: Sendo um conjunto e uma relação binária em, é uma relação de ordem total em se forem satisfeitas as seguintes condições: a) Para todo,, ) (reflexibilidade). b) Se, ) e, ), então, ) (transitividade). c) Se, ) e, ), então = (anti-simetria). d) Para todo,,, ) ou, ) (totalidade). De forma análoga ao que foi feito para relações de equivalência, usamos a notação para indicar que, ) e para indicar que, ). Quando não há perigo de confusão, o índice R é omitido. Usando essa notação, podemos reescrever as condições: a ) Para todo, (reflexibilidade). b ) Se e, então (transitividade). c ) Se e, então = (anti-simetria). d ) Para todo,, ou (totalidade). O símbolo é lido como maior ou igual e isso logo se justifica. A primeira condição apenas impõem que, ) deve pertencer a relação, pois pela mesma relação, através da propriedade (c), se conclui que =, como deve ser. Essas propriedades são bem familiares, pois são as mesmas das relações de ordem dos números naturais, inteiros, racionais e reais (esses servem de exemplos para esse tipo de relação binária). Um conjunto com uma relação de ordem total é dito totalmente ordenado ou linearmente ordenado (pela relação ). Existem outras relações de ordem (que não serão tratadas aqui) e por isso se explicita que a relação de ordem é total. Exercício 4.5.1: Dada uma família arbitrária não vazia de conjuntos,, criemos uma relação de ordem em tal que dizemos que, para,, se. Por que essa relação não é, em geral, uma relação de ordem total? Qual condição deve ser satisfeita para que a relação dada seja uma relação de ordem total? Teorema (Teorema do Bom Ordenamento): Dado um conjunto não vazio, é sempre possível encontrar uma relação de ordem tal que é totalmente ordenado por essa relação. Não demonstraremos esse teorema, pois, além de outras razões, esse teorema garante, na verdade, que é possível obter uma relação de ordem tal que o conjunto é dito bem ordenado (noção que não foi apresentada) por essa relação de

48 47 ordem. Mas é possível demonstrar que todo conjunto bem ordenado é completamente ordenado pela mesma relação de ordem. Sabendo da veracidade desse teorema, fica a questão: como ter uma relação de ordem total em conjuntos como o N N? Podemos obter tal relação usando o fato de N já possuir uma relação de ordem. Tal construção é apresentada abaixo. Chamaremos a relação de ordem de N de e a de N N de. Definamos a relação de ordem total em N N da seguinte forma: dados, ),, ) N N,, ), ) se ou se =, mas. Ou seja, se >, já se tem, ), ) (independente de ou não), mas, se = a relação passa a ser entre a segunda coordenada e se tem, ), ) quando. Por exemplo, 3,1) > 2,5) e 2,1) < 2,5). Exercício 4.5.2: Mostre que essa relação apresentada é de fato uma relação de ordem total em N N. 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 N N. Usando a relação de ordem apresentada acima para N N, temos que 3,3) > 3,2) > 3,1) > 2,3) >... > 1,1). Abaixo está ilustrada, no plano cartesiano, a relação de ordem desse conjunto, onde o ponto preto é o 2,2) e os maiores que 2,2) são vermelhos e os menores verdes. Perceba que os elementos menores que 2,2) são os que estão à esquerda ou abaixo desse e os maiores os que estão à direita ou acima. Essa forma de ordenar totalmente produtos cartesianos de conjuntos que já possuem uma relação de total pode ser generalizada. Se é um conjunto com uma relação de ordem total, podemos fazer com que (= n vezes) seja totalmente ordenado por uma relação fazendo,, ),, ) quando, se as primeiras coordenadas forem iguais, >. Ordens desse tipo, onde se usa uma relação de ordem total em para induzir uma relação de ordem total em da forma como foi feita, são chamadas de ordens lexicográficas por razões que ficarão claras a seguir. Observação: Ainda não generalizamos a noção de produto cartesiano, mas, como foi feito acima, pode-se fazer o produto cartesiano entre conjuntos obtendo um conjunto cujos elementos são pares ordenados (na verdade, chamados de n-

49 48 uplas) com elementos ordenados (com cada elemento pertencendo ao conjunto correspondente à posição que se encontra na n-upla). Por exemplo, sendo, e conjuntos não vazios, é o conjuntos de todas as trincas ordenadas,, ) onde, e. Tal forma de ordenação pode parecer estranha a primeira vista, mas um caso desse tipo de ordem é bastante comum e bem familiar a todos. A ordem alfabética (usada para ordenar palavras de um dicionário) é 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 início 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 diferença. Quando é encontrada a diferença, 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 três primeiras letras são iguais, mas > (no sentido de aparecer depois de no alfabeto). Assim,,,, ) >,,, ), fazendo caso aparecer depois de casa no dicionário. Claro, o exemplo foi simplificado, pois nem todas as palavras possuem quatro letras, de forma que seriam necessárias mais coordenadas e algum elemento que preencha as coordenadas sem letras, e existem letras com acentos, hífens, etc., que devem ser acrescidos no alfabeto. Exercícios I 4 1 No plano cartesiano abaixo, encontre os pontos 0,0), 2, 1), 1 3, 0, 2,3) e 5 3, Sendo = 1,2,3,4,5,6 e =,,,,, represente as seguintes relações binárias de em em forma de diagramas:

50 49 a) = 1, ), 3, ), 3, ), 6, ) b) = 1, ), 2, ), 3, ), 4, ), 5, ), 6, ) c) = 1, ), 3, ), 4, ), 5, ), 6, ) d) = 1, ), 2, ), 3, ), 3, ), 5, ), 6, ) e) = 1, ), 2, ), 3, ), 4, ), 5, ), 6, ) 3 Dê o domínio e a imagem das relações apresentadas no exercício 2 e indique quais relações são funções de em. 4 Escreva as relações inversas das relações binárias apresentadas no exercício 2 e represente-as em forma de diagramas. 5 A partir dos diagramas de relações binárias apresentados abaixo, represente as relações binárias listando seus elementos e dê o domínio e a imagem de cada relação. a) b) c) 6 Sendo = 1,2,3, indique quais das relações abaixo são relações de equivalência em A. Caso não seja, indique qual(ais) condição(ões) falha(m).

51 50 a) = 1,1), 2,2), 3,3) b) = 1,1), 2,2), 3,3), 2,1), 3,2), 3,1) c) = 1,1), 2,2), 3,3), 1,2), 2,1) d) = 1,1), 2,2), 3,3), 1,2), 2,3), 3,2) e) = 1,1), 2,2), 1,2), 2,3), 3,2) f) = 1,1), 2,2), 3,3), 1,3), 3,1), 2,3), 3,2) g) = 1,1), 2,2), 3,3), 1,3), 3,1), 2,3), 3,2), 2,1), 1,2) 7 Escolha, no exercício acima, uma relação que seja de equivalência e uma que não seja e represente-as em forma de diagrama. No caso da relação de equivalência, faça também a representação do conjunto no plano cartesiano e destaque (circulando, por exemplo) os pontos que compõem a relação de equivalência. 8 Represente as classes de equivalências das relações de equivalência existentes no exercício 6 e dê o conjunto quociente em cada caso. SUGESTÃO: Para poupar trabalho, use o Lema Mostre que uma relação de equivalência em um conjunto é uma função de em se, e somente se, é a relação identidade. 10 Alguma relação binária do exercício 6 é uma relação de ordem total? Se sim, indique-a e, representando no plano cartesiano, destaque os pontos que compõem a relação. 11 Defina para N uma relação binária tal que,, )~,, ) (ou seja,,, ),,, ) ) se + + = + +. Mostre que essa relação é uma relação de equivalência. 12 Defina uma relação análoga a feita no exercício anterior, mas para N. Dê as classes de equivalência de 1,1), 2,2) e 3,3). Represente essas classes de equivalência no plano cartesiano. 13 Seja definido como Z Z 0). Defina uma relação em fazendo com que, ),, ) (ou, )~, )) se =. Mostre que essa relação é uma relação de equivalência. 14 Usando a ordem lexicográfica definida para N, escreva, em cada caso abaixo, os pontos na ordem crescente. a) 1,1,1), 1,3,1), 4,2,6), 4,2,2) b) 2,1,3), 2,3,5), 3,1,4), 2,5,5) c) 1,1,2), 2,2,3), 2,1,4), 1,45,2) d) 4,6,7), 3,5,2), 3,4,8), 6,3,7), 6,4,1) 15 Se = 5, = 3 (cardinalidade do conjunto quociente ) e um elemento é equivalente a, no máximo, um elemento distinto, quanto é (cardinalidade da relação de equivalência)?

52 51 Capítulo II Funções e Estruturas Nesse capítulo será apresentado um tratamento mais geral de funções. Como já foi dito no capítulo anterior, o conceito de função é presente em toda a matemática e por isso o estudo dele é de particular importância. Também serão apresentadas estruturas algébricas básicas, tais como grupos, anéis e corpos, onde o conceito de função estará sempre presente. 1 Características Gerais 1.1 Definição de função e notações Reapresentemos a definição de função. Definição (função): Dados dois conjuntos, e, e uma relação binária de em, a trinca ordenada,, ) é dita ser uma função de em ou aplicação de em quando satisfaz ambas as seguintes condições: a) ) = b), ) e, ) implica =. Algumas novas notações devem ser introduzidas. No lugar de,, ), passaremos a representar funções por : (lê-se função definida de em ). Como já foi introduzido no capítulo anterior, também escrevemos = ), devido à unicidade de na imagem correspondente a um no domínio. Também devido a esse fato, é comum indicar que um dado do domínio corresponde a um determinado na imagem por (ou )). Outra conseqüência dessa unicidade é que, se = ), então é chamado de imagem de sob (com certo abuso de linguagem, é comum omitir o sob ). Como o conjunto de partida de uma função é sempre igual ao domínio, chamamos o conjunto de partida simplesmente de domínio da função e o conjunto de chegada é mais comumente referido como o contradomínio da função (lembrando que a imagem da função é um subconjunto do contradomínio). Quando o domínio e o contradomínio são subentendidos, representamos a função simplesmente por. Atentemos também ao fato de, a partir de agora, usarmos com freqüência letras minúsculas para representar funções. Por exemplo, :. 1.2 Igualdade entre funções Antes de apresentarmos a igualdade entre funções, notemos que, como a imagem de uma função não necessariamente é igual ao contradomínio, é possível alterar o contradomínio de uma função sem alterar outras características dessa. De fato isso acontece, como mostra o teorema seguinte. Teorema 1.2.1: Seja : uma função e : tal que ) (a imagem de : está contida em ). Então : é uma função.

53 52 Demonstração: Se, ), então e ). Já que ), temos que. Assim, o par, ), mostrando que. Concluímos, então, que : é uma função, pois, como satisfaz as condições (a) e (b) da definição de função, elas continuam sendo satisfeitas. Uma função pode ser definida a partir de uma regra. Isso quer dizer que podemos estabelecer um padrão na obtenção do na imagem a partir do do domínio. Ou seja, escrevemos ) em termos de. Sabendo a regra que define a função, podemos escrever a função como :, onde ) é a regra em questão. ) Exemplo 1.2.1: Seja : N N tal que ) = 2 (pode-se, também, escrever :N N ). As imagens de = 1, = 2 e = 4 são respectivamente 1) = 2 1 = 2, 2) = 2 2 = 4 e 4) = 2 4 = 8. O diagrama abaixo ilustra a função. A última função também exemplifica o teorema demonstrado logo acima. A imagem da função é composta por todos os números pares positivos. Vemos, então, que se pode reduzir o contradomínio a somente os pares positivos sem alterar os outros aspectos da função. Ou seja, poderíamos fazer : N, onde é o conjunto dos números pares positivos. Mas também poderíamos tomar um contradomínio maior. Por exemplo, a função poderia ser : N R. Um abuso de linguagem que é bastante freqüente (e cometeremos aqui também) é chamar a regra definidora da função, ), de função, mas se deve sempre estar atento para não confundir os conceitos. A função propriamente dita é a trinca,, ) (embora seja comum chamarmos a relação de função). Assim, no teorema anterior, se é diferente de, a função : é diferente de :, pois,, ),, ). Afinal,,, ) =,, ) se, e só se, =, = e =. Perceba, então, que, no exemplo anterior, quando mudamos o contradomínio, mudamos a função. No teorema abaixo, já se está tomando os domínios e os contradomínios iguais, mas apresenta uma forma equivalente de afirmar =.

54 53 Teorema 1.2.2: Sejam : e : funções. Então : é igual a : se, e somente se, para todo, ) = ). Demonstração: Se as funções são iguais, então =. Segue que, ), ). Usando a notação = ), a equivalência é escrita como, )), )), donde segue que ) = ), pois o é único. A recíproca é obtida seguindo a demonstração no sentido contrário. Exemplo 1.2.2: As funções : R 1) R e : R 1) R, tais que ) = e ) = + 1, são iguais. Para mostrar isso, observemos que os domínios e contradomínios já são iguais. Assim, basta mostrar que ) = ) para todo R 1). Vemos que = )) e, dessa forma, sabendo que 1, se tem ) = = )) = + 1 = ) para todo R 1), mostrando que as funções são iguais. Exercício 1.2.1: Sejam : R 1,0) R e : R 1,0) R tais que ) = ) ) e ) =. Mostre que essas funções são iguais. 1.3 União de funções É comum que a regra definidora de uma função não seja a mesma em todo o domínio. Assim, existirão funções cujas imagens serão definidas por mais de uma regra (cada regra referente a um subconjunto do domínio). Os dois exemplos abaixo ilustram isso. Exemplo 1.3.1: Seja um subconjunto de um conjunto não vazio. Podemos criar uma função : 0,1 de forma que: ) = 1 0 ) Ou seja, se pertence a, a imagem desse é 1, mas, se não pertence, a imagem é 0. Essa função é chamada de função característica de. Exemplo 1.3.2: Pode-se ter : R R definida por: ) = ² 1 1 No primeiro exemplo, podemos decompor a função em duas. A primeira : 1 tal que ) = 1 e a segunda : ) 0 tal que ) = 0. Juntando os domínios ( ) =, já que ) e os contradomínios (0 1 = 0,1) dessas duas funções e usando as regras respectivas nas partes do domínio que as competem, conseguimos a função original. Ou seja, =. No segundo exemplo, situação semelhante ocorre, mas devemos tomar cuidado, pois, sendo :, 1 R tal que ) = e h: 1, ) R tal que ) =, a intersecção dos

55 54 domínios não é vazia (é 1), mas é fácil ver que as regras coincidem nessa intersecção. Como no caso anterior, podemos ver que, ao unir as funções, obtemos a função original ( h = ). Observação: Definiremos no capítulo seguinte o conceito de intervalo de números reais, mas já adiantemos que, 1 = R 1 e 1, ) = R 1. Motivados por esses exemplos, enunciemos o seguinte teorema. Teorema 1.3.1: Sejam : e : funções tais que ) = ) para todo. Então a união define uma função h de em (função de domínio e contradomínio ). Ou seja: tal que: h = ): h) = ) ) Demonstração: e são relações binárias. Assim, e. Segue que. Mas ) ), afinal, ao se unir um conjunto ao conjunto e outro ao conjunto, não se está tirando elementos que pertençam a (veja o Teorema do Capítulo I). De forma semelhante ) ). Assim, ) ) ) ). Concluímos, então, que: h = ) ) ) ) Ou seja, h ) ), que é o mesmo que dizer que h é uma relação binária de em. Já que e são funções e ) = ) para todo, h) é definido de forma única em todo o domínio,, mostrando que é de fato uma função. Exemplo 1.3.3: Sejam = 1,2,3, = 2,3,5,6, = 1,2,, e = 2,3,4. Sejam também : tal que = 1,2), 2,3), 3,3) e : tal que = 1,2), 2,3),, 3),, 4). Então a relação h = = 1,2), 2,3), 3,3),, 3),, 4) define uma função h:, cuja representação diagramática é dada abaixo.

56 55 Exercício 1.3.1: Dê o domínio e a imagem das funções, e h apresentadas no exemplo anterior. No Teorema 1.3.1, quando = e, : é dita ser uma extensão de :. 1.4 Imagens e pré-imagens de funções Definição 1.4.1: Seja : uma função e. A imagem de sob, denotada por ), é o conjunto de todas as imagens ) tais que. Numa notação mais compacta: ) = ) Perceba que a imagem de sob é um subconjunto da imagem da função :, isto é, ) ). Em particular, a imagem de sob é a própria imagem da função. Embora a semelhança nas notações ) e ), deve-se atentar que ) é um elemento da imagem enquanto ) é um subconjunto da imagem. Exercício 1.4.1: Mostre que ) = ). Exercício 1.4.2: Mostre com um contra-exemplo que não é possível afirmar, no caso geral, que ) = ) se, e somente se, =, onde é o domínio da função. Definição 1.4.2: Seja : uma função e. A pré-imagem de sob, denotada por ), é o conjunto de todos os elementos do domínio tais que ). Em notação mais sucinta: ) = ) A pré-imagem de um subconjunto do contradomínio da função é, então, um subconjunto do domínio da função. Mas nessa nova definição devemos perceber que pode ser qualquer subconjunto do contradomínio e esse pode possuir elementos que não pertençam à imagem da função. Ou seja, em geral, pode existir tal que ) para todo.

57 56 é Exemplo 1.4.1: Seja : N N tal que ) = + 1 é. A imagem de (conjunto dos pares) sob é o próprio conjunto dos pares, mas a pré-imagem de sob é N. Afinal, se é ímpar, + 1 é par, mostrando que ) para todo N. Exemplo 1.4.2: Seja = 1,2,3,4,5, = 6,7,8,9 e : uma função definida por = 1,6), 2,7), 3,7), 4,8), 5,8). Sendo = 1,2, a imagem de sob é o conjunto ) = 6,7. Já sendo = 7,8,9, a pré-imagem de sob é ) = 2,3,4,5. Segue abaixo a representação diagramática. Vemos, então, que, em termos de diagramas, a imagem de sob é o conjunto dos elementos no contradomínio onde terminam as setas que começam nos elementos de. Já a pré-imagem de sob é o conjunto dos elementos no domínio de onde partem as setas que terminam nos elementos de. Nesse último exemplo podemos ver que ) = 6,7, mas ) = 1,2,3. Ou seja, ). Também se tem que, sendo ) = 2,3,4,5, ) = 7,8, que implica ). Esses resultados são gerais e apresentaremos como um teorema. Exercício 1.4.3: Faça a representação diagramática do que foi discutido no parágrafo acima. Teorema 1.4.1: Sendo : uma função arbitrária e e subconjuntos quaisquer do domínio e contradomínio, respectivamente, valem as inclusões: ) ) Demonstração: ( )): Se, então ) ), donde segue, pela definição, que ). Ou seja, ) que, pela definição de subconjunto, quer dizer ). ( ) ): Se ), então existe ) tal que ) =, que nos leva a concluir que. Ou seja, ) levando, por fim, a ).

58 57 O comentário feito sobre o Exemplo já mostra que, no caso geral, as inclusões demonstradas não podem ser substituídas por igualdades, afinal, as inclusões apresentadas no comentário são próprias. Exemplo 1.4.3: Seja : Z Z tal que ) =. 1,2) = 1, 2 = 1,4 e 1,1,2) = 1,1, pois não existe quadrado de inteiro cujo resultado seja 1 nem quadrado inteiro com resultado 2. No entanto, 1,2) = 1,4) = 2, 1,1,4, pois 2) = 4 e 1) = 1, e 1,1,2) = 1,1) = 1), 1 = 1, concordando com o teorema. Abaixo a representação da função é feita no plano cartesiano, onde os pontos pretos são os pertencentes a. É interessante que, na representação feita acima, se observe os caminhos 1,2 1,2) 1,2) e 1,1,2 1,1,2) 1,1,2). No 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. Exercício 1.4.4: Se : N N é uma função tal que ) = + 1, mostre que, para todo subconjunto do contradomínio tal que 1, ) =. Teorema 1.4.2: Sendo : uma função, valem as afirmações abaixo. a) ) = b) ) = ) c) Se, então ) ). d) Se, então ) ). Demonstração: (a): Não existe, logo, não existe ) ), de onde se conclui ) =.

59 58 (b): Pela definição ) = ), como só há um em e o ) correspondente é único, ) = ). (c): Se ), então existe tal que ) =. Mas e, disso, se conclui que ) para todo. Ou seja, ) ). (d): Se ), então ). Como, então ). Dessa forma, ). Ou seja, ) ), que é o mesmo que ) ). 5. Exemplo 1.4.4: Sendo : Z Z tal que ) = + 3, tem-se 2) = 2) = Exercício 1.4.5: Dê um exemplo de função : N N tal que, para algum subconjunto do domínio, exista de forma que essa inclusão seja própria e ) = ). Ou seja, um contra-exemplo para a afirmação se, com sendo o domínio, então ) = ) se, e somente se, =. Exercício 1.4.6: Encontre contra-exemplos que mostrem que as afirmações ) ) somente se e ) ) somente se são falsas. Ou seja, mostrar que não existe a recíproca das partes (c) e (d) do teorema acima. Teorema 1.4.3: Seja : uma função e,. Então: a) ) = ) ) b) ) ) ) Demonstração: (a): Se ), então existe tal que ) =. Mas ou. Logo, ) ou ), que, pela definição de união, é o mesmo que ) ). Ou seja, ) ) ), donde segue que ) ) ). Reciprocamente, se ) ), então existe ou tal que = ). Disso se tem que e, dessa forma, ). Ou seja, ) ) ) e, por seguinte, ) ) ). Dessa inclusão e a anterior, finalmente temos que ) = ) ). (b): Se ), então existe tal que = ). Ou seja, e e, dessa forma, ) e ), donde se tem ) ). Assim, ) ) ), que é o mesmo que ) ) ). Essas duas propriedades podem ser generalizadas e faremos isso mais adiante. Na parte (b) do teorema, não é possível obter, em geral, a igualdade e o exemplo seguinte mostra isso.

60 59 Exemplo 1.4.5: Seja = 1,2, = 3 e : tal que = 1,3), 2,3). Sendo = 1 e = 2, tem-se = e, portanto, ) = ) =. Mas ) = 3 e ) = 3 e, assim, ) ) = 3, que é diferente de ). Abaixo segue a representação diagramática. Teorema 1.4.4: Seja : uma função e,. Então: a) ) = ) ) b) ) = ) ) Demonstração: (a): Se ), então ), que é o mesmo que ) ou ). Disso segue que ) ou ), ou seja, ) ), mostrando que ) ) ), pois ) ) ). Reciprocamente, se ) ), então ) ou ), donde se tem ) ou ), que implica ). Portanto ) e acabamos de mostrar que ) ) ), que, por definição, quer dizer ) ) ). Mostrada essa inclusão e a anterior, concluímos que ) = ) ). Exercício 1.4.7: Demonstre a parte (b) do teorema acima. Também generalizaremos esse último teorema mais adiante. Teorema 1.4.5: Seja : uma função e,. Então: ) = ) ) Demonstração: Se ), então ), que quer dizer ) e ). Assim ) e ) e, portanto, ) ). Dessa forma, ) ) ). Reciprocamente, se ) ), então ) e ). Disso temos ) e ), que é o mesmo que ). Por seguinte, ), donde se conclui ) ) ). Demonstradas essa inclusão e a anterior, ) = ) ). Exercício 1.4.8: Mostre com um contra-exemplo que ) = ) ) não é, em geral, verdadeiro.

61 60 Exemplo 1.4.6: Seja : uma função 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. Exercício 1.4.9: Demonstre o seguinte corolário do Teorema 1.4.5: ) = ) Exercícios II 1 1 Sendo = 1,2,3 e =,,, indique quais relações abaixo são funções de A em B e, nos casos que são, dê a imagem. a) = 1, ), 1, ), 1, ) b) = 1, ), 2, ), 3, ) c) = 1, ), 1, ), 2, ), 3, ) d) = 1, ), 2, ), 3, ) e) = 1, ), 2, ), 3, ) 2 No exercício anterior, faça a representação diagramática dos casos em que é uma função de em. 3 Indique quais diagramas abaixo representam funções de = 1,2,3 em =,,,. a) b) c)

62 61 d) 4 Seja : N N uma função definida por: 1 é ) = ² é ã 1 é Encontre 2), 5), 12), 9) e 11). 5 Mostre que, se : e : são funções e, então =. SUGESTÃO: Só falta mostrar que. 6 Dê a imagem da função :,, N ². 7 Considere os conjuntos = 1,2,3, = 3,4,5, =,, e = 1,,. Em cada caso abaixo, onde e são funções, verifique se a relação h = define uma função. Caso defina, represente h listando seus elementos. a) : e : tais que = 1,3), 2,3), 3,4) e =, 1),, ),, ). b) : e : tais que = 1, ), 2, ), 3, ) e = 3,1), 4, ), 5, ). c) : e : tais que = 1,1), 2, ), 3,1) e = 3,1), 4,2), 5,3). d) : e : tais que =, 3),, 2),, 1) e = 1,4),, 3),, 5). e) : e : tais que = 1,2), 2,1), 3,3) e = 3,3), 4,5), 5,4). f) : e : tais que = 1,1),, 2),, 3) e = 1, ),, ),, ). SUGESTÃO: O enunciado já afirma que e são funções. Então, pelo Teorema 1.3.1, basta verificar, para cada ) ), que ) = ) para mostrar que h é uma função. 8 No exercício anterior, represente a relação h = por diagramas, quando essa definir uma função, e dê a imagem da função.

63 62 9 No exercício 4, encontre 1,2,3), 4,5,9) e 5,9,2). SUGESTÃO: Chame o conjunto dos primos positivos de N. 10 Dado : tal que = 1,2,3,4, =,,,, e = 1, ), 2, ), 3, ), 4, ), encontre: a) a imagem da função; b) 1,2,3); c) 1,2,4); d) 1,2,3,4); e) 1,2,4); f), ); g),,, ); h),, ). 11 Seja : uma função, e. Mostre que: a) ) = ) b) ) = ) 12 Sejam e conjuntos não vazios e considere as funções : tal que, ) = e : tal que, ) =. Sendo ( é uma relação de em ), mostre que ) = ) e ) = ). A função é chamada de projeção canônica sobre e de projeção canônica sobre. 2 Funções Injetoras, Sobrejetoras e Bijetoras Funções injetoras, sobrejetoras e bijetoras são tipos de funções que possuem uma importância especial em diversos casos. Assim, é importante que se tenha familiaridade com as noções apresentadas nessa secção. 2.1 Definições Definição (função injetora): Seja : uma função. : é dita injetora (ou injetiva) quando é satisfeita a condição: se, e ) = ), então =. Uma forma equivalente de definir é substituir a condição por: se, e, então ) ). Exemplo 2.1.1: Seja :N N uma função. Essa função é injetora, pois, se, temos que ) = 3 3 = ). Exemplo 2.1.2: Seja : tal que = 1,2,3, = 4,5,6,7 e = 1,4), 2,5), 3,6). Essa função é injetora, pois não existem elementos distintos no domínio com a mesma imagem. A representação diagramática segue abaixo.

64 63 Perceba que, em termos de diagramas, a condição para que a função seja injetora é que cada elemento na imagem deve ser flechado uma única vez. Exercício 2.1.1: Mostre que a função :N N é injetora. Definição (função sobrejetora): Seja : uma função. : é dita sobrejetora quando é satisfeita a condição: se então existe tal que = ). De forma equivalente, uma função é sobrejetora quando ) =. Podemos chamar funções sobrejetoras simplesmente de sobrejeções. Exemplo 2.1.3: Seja X um conjunto não vazio e A um subconjunto não vazio de X tal que seja uma inclusão própria. Então a função característica de A (consulte o Exemplo 1.3.1) é uma função sobrejetora, pois existem e ) e, portanto, x tal que ) = 1 e x tal que ) = 0. Exemplo 2.1.4: Seja : uma função tal que A={1,2,3,4}, B={5,6,7} e = 1,5), 2,6), 3,7), 4,7). Essa função é sobrejetora, pois ) =. Abaixo está a representação diagramática. Podemos ver, então, que, em termos de diagramas, a condição para uma função ser sobrejetora é que todos os elementos do contradomínio devem ser flechados. Definição (função bijetora): Seja : uma função. : é dita bijetora quando é, simultaneamente, injetora e sobrejetora. É comum que se chame as funções bijetoras de bijeções ou correspondências um-para-um. Exemplo 2.1.5: Sendo A um conjunto, a relação identidade, =, ) = define uma função bijetora :. Para mostrar que essa função é bijetora, devemos mostrar que é injetora e sobrejetora. Com efeito, pois, se

65 64, ) = = ) e, se (contradomínio), existe (domínio) tal que ) =, esse é =. Não é necessário escrever :, pois a notação já indica que é a relação identidade e, portanto, basta escrever : sem explicitar a regra. Exemplo 2.1.6: Seja : tal que, A={1,2,3}, B={a,b,c} e = 1, ), 2, ), 3, ). Essa função é injetora, pois não existem elementos distintos no domínio com mesma imagem, e é sobrejetora, pois ) =. Portanto, a função é bijetora. Podemos ver no diagrama abaixo que as condições já apresentadas, em termos de diagramas, para ser injetora e sobrejetora são simultaneamente satisfeitas: todos os elementos da imagem são flechados uma única vez (é injetora) e todos os elementos do contradomínio são flechados (é sobrejetora). 2.2 Imagens e pré-imagens de injeções, sobrejeções e bijeções; função inversa Para esses tipos especiais de funções, muitos teoremas podem ser melhorados. Abaixo, está enunciada uma extensão do Teorema para esses tipos de funções. Teorema 2.2.1: Seja : uma função com e, então: a) ) = se é injetora. b) ) = se é sobrejetora. c) ) = e ) = se é bijetora. Demonstração: (a): Já foi demonstrado para o caso geral que ), então devemos mostrar que ) quando é injetora. Se ), então ) ). Assim, para algum, ) = ), mas, sendo injetora, necessariamente =, donde segue que. Ou seja, ), que é o mesmo que ). Usando esse resultado e o já conhecido, temos ) =. (b): Como anteriormente, usaremos o que já foi demonstrado no Teorema Sabemos que ), então é apenas necessário demonstrar que ) quando é sobrejetora. Se, segue de ser sobrejetora que = ) para algum. Então, = ), que implica ). Assim, ) ) para todo = ). Ou seja, ), que,

66 65 equivalentemente, nos diz ). Logo, tendo esse resultando e o já demonstrado, ) =. (c): Se é bijetora, então é injetora e sobrejetora. Dos resultados anteriores segue que ) = e ) =. No capítulo anterior foi dito que, em geral, a relação inversa de uma função não é uma função, mas que existia a possibilidade da relação inversa ser uma função. Veremos agora, precisamente, qual a condição deve ser satisfeita para a relação inversa ser uma função. Teorema 2.2.2: Se : é uma bijeção, então : é uma bijeção. Demonstração: Vamos, inicialmente, mostrar que é uma função. Como é sobrejetora, ) = = ). Bem se sabe do capítulo anterior que ) = ). Assim, o domínio da relação é Y (o próprio conjunto de partida), satisfazendo a condição (a) da definição de função. Se, ),, ) então, ),, ), mas o fato de ser injetora diz que, se, ),, ), então =. Assim, corresponde a um único, satisfazendo a condição (b) da definição de função e mostrando que é uma função. Agora demonstraremos que é bijetora. Suponhamos que, ),, ), então, ),, ), donde segue = pelo próprio fato de ser uma função e, portanto, é injetora. Do capítulo anterior, já sabemos que ) = ) =, que nos leva a concluir que é sobrejetora, mostrando, junto ao resultado anterior, que é bijetora. Observação: Na demonstração de que é bijetora, não foi necessário supor que é sobrejetora ou injetora. Ambas as características usadas, a de que, ),, ) implica = e que ) =, advêm simplesmente do fato de ser uma função. Disso obtemos a recíproca do teorema como um corolário. Corolário: Se : e : são funções, então : é bijetora. Demonstração: Como dito, na segunda parte do teorema não foi necessário supor que era bijetora, então já demonstramos que é bijetora. Usando o teorema, bijetora implica que ) é bijetora. Mas ) =, como já se sabe do capítulo anterior (a relação inversa da relação inversa é a própria relação). Então é bijetora. Definição 2.2.1: Se : e : são funções, então : é chamada de função inversa de :.

67 66 Dizemos que uma função possui inversa quando a relação inversa é uma função. Assim, o teorema e o corolário nos dizem que uma função possui inversa se, e somente se, é bijetora. Devido ao teorema, é comum que se chame uma bijeção : de correspondência um-para-um entre X e Y. Observação: Deve-se tomar cuidado para não confundir a notação de função inversa com a de pré-imagem. Exemplo 2.2.1: A função :N, onde P é o conjunto dos pares positivos, é uma função bijetora e sua inversa é : N. Exemplo 2.2.2: Seja : tal que, A={1,2,3,4}, B={x,y,z,t} e = 1, ), 2, ), 3, ), 4, ). Essa função é bijetora (verifique!). A relação inversa é =, 1),, 2),, 3),, 4), que também é uma bijeção, mas de B em A. Exercícios II 2 1 Dados os diagramas de funções abaixo, classifique cada função como injetora, sobrejetora ou bijetora (caso possam ser classificadas como tais). a) b) c) d)

68 67 2 No exercício 7, Exercícios II 1, quando h definir uma função, identifique se a função é injetora, sobrejetora, bijetora ou não pode ser classificada dessa forma. 3 No exercício anterior, quando h for bijetora, encontre a função inversa e represente essa em forma de diagrama. 4 Seja : uma função sobrejetora e,. Mostre que, se ) = ), então =. 5 Sendo : uma função injetora e,, mostre que ) = ) ). 6 Considerando as funções e como definidas no exercício 12, Exercícios II 1, mostre que essas funções são sobrejetoras. Em que condições é injetora? 7 Considere as funções : e : tais que ) = ) para todo. Mostre que: a) se e são injetoras e = =, então h: tal que h = é injetora. b) se e são sobrejetoras, então h: tal que h = é sobrejetora. 8 Dê um exemplo de função bijetora entre os naturais e os inteiros (só é necessário conjecturar). 3 Conjuntos Indexados e Generalizações 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 famílias de conjuntos contendo um número finito de conjuntos (por exemplo, conjunto dos conjuntos com i natural de 1 até n). Apresentaremos agora, formalmente, como indexar elementos de um conjunto. Definição 3.1.1: Seja A um conjunto não vazio arbitrário. Dizemos que A é indexado pelo conjunto Λ quando existe uma função sobrejetora : Λ A. Os elementos de Λ são chamados de índices e a imagem de um Λ é escrita como, onde.

69 68 Sempre é possível indexar um conjunto, pois podemos tomar Λ = e a função identidade. 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 indexação 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 famílias de conjuntos. Para isso, basta tomar um conjunto Λ de forma que exista : Λ sobrejetora, onde é a família de conjuntos. A idéia de indexar elementos de um conjunto é, na verdade, simples. Apenas se troca a necessidade de usar símbolos diferentes para diferenciar elementos pela de usar índices diferentes. Mas, como a função não é 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 família de conjuntos = N, Z, R, R com o conjunto {1,2,3,4} chamando = N, = Z, = R e = R, mesmo tendo =. Esse detalhe será considerado quando generalizarmos a noção de produto cartesiano. Observação: Lembremos que foi convencionado que só admitiremos a possibilidade de índices distintos se referirem a elementos iguais quando chamarmos o conjunto de família. Ou seja, se o conjunto não for chamado de família (de conjuntos ou elementos), então a função indicada na definição será bijetora. Às vezes não é importante qual é a função 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 família de conjuntos tal que seja indexada pelo conjunto N. Então um elemento qualquer de é tal que N e o conjunto pode ser representado por =,,,,. Podemos introduzir uma notação para conjuntos indexados pelos n primeiros números naturais (N = 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 e poderíamos escrever = e = respectivamente. Observação: Passaremos a adotar a notação N para representar o conjunto dos n primeiros números naturais (1,2,, ).

70 69 A notação apresentada é particular de conjuntos indexados por naturais, mas podemos ter uma notação mais geral. Seja A um conjunto indexado pelo conjunto Λ, então podemos chamar o conjunto A de =. Em particular, um conjunto A indexado pelos naturais (Λ = N) pode, também, ser representado por = N. Quando escrevemos já se está informando que o conjunto é indexado e qual conjunto de índices, mostrando que essa notação é concisa. Observação: Podemos ainda escrever o conjunto = como = Λ. 3.2 Generalizações Em posse da definição de indexação, podemos generalizar alguns resultados e fazer algumas redefinições. No que se segue, a indicação entre parênteses nas definições são referentes à definição que se está redefinindo e nos teoremas ao teorema que está sendo generalizado. Definição (1.9.2 I e I): Seja X um conjunto arbitrário não vazio e uma família arbitrária não vazia de subconjuntos de X. A união e intersecção de todos os conjuntos são definidas, respectivamente, por: = Λ Ou seja, é o conjunto de todos os elementos de X tais que esses pertençam a algum. = Λ Ou seja, o conjunto dos elementos de X que pertençam, simultaneamente, a todos os subconjuntos. Para o caso particular de Λ = N, ainda é conveniente usar a notação apresentada no primeiro capítulo. Quando Λ = N, também é comum serem usadas as notações e. Exercício 3.2.1: Mostre que: a) ) = ) b) ) = ) ) ) Tente visualizar esses resultados de forma intuitiva. Pelo fato da união ser comutativa e associativa, na (a) podemos imaginar que juntamos todos os num lado da seqüência de uniões e todos os no outro. Por exemplo ) ) ) ) = ) ) =. = Exemplo 3.2.1: Considere a seguinte família de conjuntos: = 1,2, 1,3, 1,4. Podemos indexar os conjuntos com os naturais de forma

71 70 conveniente: sendo = 1, + 1. Ou seja, podemos escrever = N = 1, + 1 N. Assim, a união desses conjuntos é dada por: = 1, + 1 = N N N afinal, contem o número 1 e o sucessor de cada natural. Já a intersecção dos conjuntos é: = 1, + 1 = 1 + 1) = = 1, N N N N.. pois, sendo + 1 e + 1 com, então , que implica que Vamos redefinir agora a noção de partição de conjuntos. Definição (1.9.4 I): Uma partição de um conjunto A é um conjunto = tal que cada seja subconjunto não vazio de A e as seguintes condições sejam satisfeitas. a) Se, e, então =. b) = O que foi pedido para ser demonstrado no Exercício I permanece válido nesse caso mais geral. Então o Teorema Fundamental das Equivalências continua válido. Exemplo 3.2.2: Podemos particionar o conjunto Z da seguinte forma: Tendo o conjuntos dos inteiros não negativos, Z = 0,1,2,3,, podemos indexar o conjunto = 0, 1, 1, 2, 2, de forma conveniente com Z chamando de =,. Assim, = 0, 1, 1, 2, 2, = Z =, Z. Demonstremos que esse conjunto é uma partição de Z: a),,, e, então,, =. Isso porque, se então. É bom lembrar que, Z e, portanto, não há perigo de =. b) Z, = Z. Isso de fato acontece, pois notemos que Z, = Z ) = Z Z. Ou seja, todos os inteiros não negativos pertencem à união e também os inteiros não positivos. Portanto, Z, = Z. Exercício 3.2.2: No capítulo anterior foi afirmado que o teorema fundamental das relações de equivalência possui recíproca. Portanto, a partição apresentada acima está ligada a uma relação de equivalência. Qual é ela?

72 71 Agora generalizaremos os teoremas apresentados na subsecção 1.11 do Capítulo I. Teorema 3.2.1: Seja X um conjunto arbitrário não vazio, uma família arbitrária não vazia de subconjuntos de X e A um conjunto qualquer. Então: a) ( I) = ) b) ( I) = ) c) ( I) ) = ) d) ( I) ) = ) e) ( I) = ) = ). Demonstração: Demonstraremos apenas a (a) para mostrar a semelhança com a demonstração já feita para o caso menos geral. O restante será deixado como exercício. Se ), então. Assim, também se conclui que para todo Λ, afinal, significa que x não pertence a nenhum. Mas x pertence a A e, assim, sempre temos que ) para qualquer Λ.Então, por definição, x pertence à intersecção de todos os conjuntos ), ou seja, )). Isto é, se ), então )). Assim, acabamos de mostrar que ) Mostremos, agora, a recíproca. Se )), então, por definição, para todo Λ, donde se tem que qualquer que seja Λ. Dessa forma, com x não pertencendo a nenhum, x não pertence à união deles, ou seja,. Assim, ). Isso mostra que )) implica ). Assim, temos )) ). Ora, mostramos logo acima que ), o que nos leva a concluir: = ) Corolário: Se é uma família de subconjuntos de A, temos: a) (Corolário I): = ) e ) = ) b) (Corolário I): = ) e ) = ).. Em cada parte do corolário, a expressão após o e é a notação quando A é o conjunto universo. Exercício 3.2.2: Demonstre as partes que faltam no teorema acima e o corolário. Agora generalizaremos os teoremas e Teorema (1.4.3): Seja : uma função e uma família arbitrária de subconjuntos de X. Então:

73 72 a) ) = ) b) ) ) Demonstração: (a) Se ), então existe tal que ) =, que é o mesmo que existir, para algum Λ, tal que ) =. Assim, ) para algum Λ. Por definição, isso significa que ). Mostramos, então, que ) ). Reciprocamente, ) é o mesmo que ) para algum Λ. Assim, existe, para algum Λ, tal que ) =, que, por definição, implica. Por seguinte, temos que ), levando-nos a concluir que ) ). Demonstrada essa inclusão e a anterior, temos, finalmente, ) = ). (b): Se ), então existe tal que ) =, que é equivalente a existir, para todo Λ, tal que ) =. Assim, ) para todo Λ, que significa ). Mostramos, então, que ) ). Teorema (1.4.4): Seja : uma função e uma família arbitrária de subconjuntos de Y. Então: a) ) = ) b) ) = ) Demonstração: (a): Se ), então ), que é o mesmo que ) para algum Λ. Dessa forma, ) para algum Λ, que é equivalente a ). Mostramos, então, que ) ). Reciprocamente, se ), então ) para algum Λ. Assim, ) para algum Λ, que, equivalentemente, significa ). Logo, ) ) e, demonstradas essa inclusão e a anterior, concluímos que ) = ). (b): Na demonstração acima, ao trocarmos por e a expressão para algum por para todo, obtemos a demonstração de (b). Exercício 3.2.3: Faça as mudanças sugeridas na parte (b) do teorema acima. A parte (b) do Teorema pode ser melhorada para funções injetoras, como mostrado no teorema abaixo. Teorema 3.2.4: Seja : uma função injetora e uma família arbitrária de subconjuntos de X. Então: = )

74 73 Demonstração: Já foi demonstrado que ) ) para o caso geral, então precisamos mostrar que ) ) quando é injetora. Se ), então ) para todo Λ. Assim, para todo Λ, existe tal que ) =. Mas, por ser injetora, temos que todos esses devem ser iguais e, portanto, chamemos de. Como é único, esse deve pertencer a todos os, ou seja, para todo Λ, que é o mesmo que. Por seguinte, sabendo que ) =, ), demonstrando, então, que ) ), pois ) implica ). Concluímos, dessa forma, que ) = ). Exercícios II 3 1 Considere o conjunto = 2,4,, 4,6,8,, 6,8,10,,. Indexe esse conjunto com os naturais de forma que =,, e mostre que: a) N b) N =, onde = 2,4,. = SUGESTÃO: Faça uma indexação 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 não pertence. 2 Generalize os resultados do exercício 13, Exercícios I 1. Ou seja, dadas as famílias de conjuntos não vazias, e, mostre que: e ) = = ) ) = = ) 3 Dada a família de conjuntos não vazia e um conjunto A não vazio, mostre que: a) ) = ) e ) = ) b) ) = ) e ) = ) 4 Sendo uma família de conjuntos, mostre que: ) SUGESTÃO: Use o fato da união ser uma operação fechada.

75 74 5 Seja : uma família não vazia de funções tais que ) = ) para todo. Mostre que h:, tal que h =, é uma função. SUGESTÃO: Use o resultado do exercício anterior e reveja como foi demonstrada a forma menos geral desse teorema. 4 Produtos Cartesianos: Caso Geral Até o momento nos atemos a uma noção intuitiva de conjunto sem tocar diretamente em algum ponto da Teoria Axiomática dos Conjuntos. Mas vamos apresentar agora um axioma que garantirá que a definição generalizada de produto cartesiano de fato pode ser feita e que o objeto procurado existe. 4.1 O Axioma da Escolha A Teoria Axiomática dos Conjuntos é composta de uma série de axiomas, mas apresentaremos apenas um deles, o Axioma da Escolha, pois é suficiente para discutirmos o caso geral de produtos cartesianos. Axioma (Axioma da Escolha): Se é uma família não vazia de conjuntos não vazios, então é possível 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 funções : Λ tais que ) para todo Λ. Ou seja, funções cuja imagem de um Λ é um elemento de (conjunto correspondente ao índice). Observação: Indiretamente, na forma mais técnica de se enunciar o axioma, a existência da função : Λ tal que ), para todo Λ, garante a existência do conjunto A ao qual pertence um elemento de cada. O conjunto A é a imagem da função. A função do tipo apresentado no axioma é chamada de função escolha, pois se escolhe um elemento de cada conjunto e se constrói um conjunto A, chamado de conjunto escolha, com esses elementos. Exemplo 4.1.1: Sendo =,, =, e =,, uma função escolha possível é : 1,2,3 tal que 1) =, 2) = e 3) =. O conjunto escolha nesse caso é =,. Exercício 4.1.1: Encontre mais dois exemplos de funções escolha no exemplo acima, dê os conjuntos escolha e represente a funções diagramaticamente.

76 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 não é possível obter o axioma de afirmações mais fundamentais. Existem casos, mesmo com infinito, em que não é necessário o axioma da escolha para garantir a existência do conjunto escolha, mas nesses casos se pode exibir explicitamente uma função escolha : Λ tal que ) para todo Λ. No caso geral, ou seja, para uma família qualquer não vazia de conjuntos não vazios, nem sempre é possível exibir tais funções, mas o axioma da escolha garante que elas existem. Um exemplo simples de situação onde se usa o axioma da escolha é quando, tendo um conjunto X não vazio, criamos uma relação de equivalência E em X e construímos um conjunto escolhendo um elemento de cada classe de equivalência (sem uso de uma regra para obter esses elementos). Os elementos escolhidos, nesse caso, são chamados de representantes das classes de equivalência. O teorema abaixo, que será muito utilizado ao longo do texto, ilustra esse procedimento. Teorema 4.1.1: Seja : uma função sobrejetora. Existe tal que : é uma bijeção, onde = ). Demonstração: Construamos uma relação de equivalência em da seguinte forma:, são equivalentes se ) = ). De ser sobrejetora temos que, para cada, existe ) = para algum e esse é uma classe de equivalência pela definição de pré-imagem. Usando o axioma da escolha, tenhamos com um elemento de cada classe de equivalência. Assim, : é sobrejetora, pois ) = por possuir um elemento de cada classe de equivalência, e é injetora, já que, se,, então e, portanto, ) ). Com um certo abuso de linguagem, podemos chamar : de :, pois apenas se mudou o domínio da função (mas também podemos usar = ). É possível também restringir o domínio junto ao contradomínio da função em alguns casos, mas deve-se sempre tomar os devidos cuidados com essas manobras. 4.2 Generalização do produto cartesiano Tendo a idéia de par ordenado e produto cartesiano, definimos o conceito de função. Agora usaremos funções para redefinir a noção de produto cartesiano entre dois conjuntos. Definição 4.2.1: Dados os conjuntos A e B, chamamos de produto cartesiano entre A e B, denotado por, o conjunto de todas as funções : 1,2

77 76 tais que 1) e 2). Ou seja, é o conjunto = : 1,2 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 função : 1,2 em que 1) = e 2) =. Ou seja,, ) é uma função em que é a imagem de 1 (por ser a primeira coordenada) e a imagem de 2 (por ser a segunda coordenada). ATENÇÃO: Essa forma de tomar par ordenado e produto cartesiano não é rigorosamente igual a que já foi apresentada anteriormente e, portanto, o par ordenado usado quando definimos conceitos anteriores como, por exemplo, funções não é o mesmo apresentado aqui. Mas, para efeitos práticos, não distinguiremos eles. Exemplo 4.2.1: Usemos a definição para construir o conjunto em que A={a,b} e B={1,2,3}. Devemos encontrar todas as funções possíveis de se fazer com 1,2 sendo o domínio, =,, 1,2,3 sendo o contradomínio e tendo 1) e 2). Listemo-las: a) : 1,2 tal que 1) = e 2) = 1 =, 1) b) : 1,2 tal que 1) = e 2) = 2 =, 2) c) : 1,2 tal que 1) = e 2) = 3 =, 3) d) : 1,2 tal que 1) = e 2) = 1 =, 1) e) : 1,2 tal que 1) = e 2) = 2 =, 2) f) : 1,2 tal que 1) = e 2) = 3 =, 3) Ou seja, =, 1),, 2),, 3),, 1),, 2),, 3), mas com esses pares ordenados definidos como acima. Exercício 4.2.1: Construa o conjunto tal que A={x,y,z} e B={k,l,m} da forma como foi feita acima. Ainda não acrescentamos nada de novo em termos práticos, pois já tínhamos uma definição de produto cartesiano e apenas a substituímos por outra. Mas, usando a mesma idéia, podemos definir o produto cartesiano entre um número finito de conjuntos como segue abaixo. Definição 4.2.2: Sendo uma família de conjuntos não vazios, o produto cartesiano entre os conjuntos dessa família, denotado por, é o conjunto de todas as funções : 1,2,, tais que ) para todo 1,2,,. Ou seja: = : 1,2,, ) 1,2,,

78 77 Nesse caso, as funções são chamadas de n-uplas e denotadas por,, ), onde = ). O papel da função : 1,2,, é, então, dispor os elementos,,, com, numa ordem: o 1 tem como imagem um elemento de e está associado à primeira coordenada, o 2 tem como imagem um elemento 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 são três conjuntos que compõem o produto cartesiano. Então o conjunto de índices é {1,2,3}. Como antes, devemos encontrar todas as funções com domínio {1,2,3} e contradomínio =,,,, tais que 1), 2) e 3). Façamos a lista delas: a) : 1,2,3 tal que 1) =, 2) = e 3) = =,, ) b) : 1,2,3 tal que 1) =, 2) = e 3) = =,, ) c) : 1,2,3 tal que 1) =, 2) = e 3) = =,, ) d) : 1,2,3 tal que 1) =, 2) = e 3) = =,, ) e) : 1,2,3 tal que 1) =, 2) = e 3) = =,, ) f) : 1,2,3 tal que 1) =, 2) = e 3) = =,, ) g) : 1,2,3 tal que 1) =, 2) = e 3) = =,, ) h) : 1,2,3 tal que 1) =, 2) = e 3) = =,, ) Assim, o conjunto procurado é =,, ),,, ),,, ),,, ),,, ),,, ),,, ),,, ), com essas trincas ordenadas definidas como feito acima. Exercício 4.2.2: Com os conjuntos A e B definidos como acima, construa o conjunto. É possível generalizar ainda mais o conceito de produto cartesiano. Para isso basta tomar um conjunto não vazio de índices qualquer, Λ. Definição 4.2.3: Seja uma família não vazia de conjuntos não vazios. O produto cartesiano entre esses conjuntos, denotado por é o conjunto de todas as funções : Λ tais que ) para todo Λ. Ou seja: = : Λ ) Λ Nas duas primeiras definições, representamos os elementos do produto cartesiano por listas ordenadas, mas geralmente não é possível fazer tal representação. Assim, chamamos os elementos de de ), onde. No caso particular de Λ = 1,2,,, N = e N ) =,, ) onde. Também é possível usar a notação ) = ), que é um pouco mais curta. Nesse caso, N ) pode ser escrito como ) = ). Como se pode N

79 78 ver, essa é uma notação semelhante à apresentada na secção anterior para conjuntos indexados. Podemos pensar ) como um conjunto ordenado de elementos. Se por acaso todos os forem iguais, chamamos esses de A ( = para todo Λ) e usamos a notação =. Por exemplo, podemos chamar o produto cartesiano R R de R,, mas é mais comum ser escrito como R. Com as generalizações, podemos ainda ter R = R,,, R = R,,, e até mesmo R N = R,, (esse último mais comumente representado por R ). Vemos que é o conjuntos de todas as funções de Λ em A, afinal, : Λ = : Λ A quando todos os são iguais. Em particular, se Λ = A, então : Λ A = : A A e, assim, é o conjunto de todas as funções de A em A. Exemplo 4.2.3: Sendo =,, o conjunto é o conjunto de todas as funções : 1,2,3 = : 1,2,3 a) : 1,2,3 tal que 1) =, 2) = e 3) = =,, ) b) : 1,2,3 tal que 1) =, 2) = e 3) = =,, ) c) : 1,2,3 tal que 1) =, 2) = e 3) = =,, ) d) : 1,2,3 tal que 1) =, 2) = e 3) = =,, ) e) : 1,2,3 tal que 1) =, 2) = e 3) = =,, ) f) : 1,2,3 tal que 1) =, 2) = e 3) = =,, ) g) : 1,2,3 tal que 1) =, 2) = e 3) = =,, ) h) : 1,2,3 tal que 1) =, 2) = e 3) = =,, ) Ou seja, =,, ),,, ),,, ),,, ),,, ),,, ),,, ),,, ). Podemos observar que todas as funções usadas nas definições apresentadas são funções escolha. Então o que foi feito nos exemplos 4.2.1, e é encontrar todas as funções escolha. Vemos, então, que o Axioma da Escolha garante que o produto cartesiano é não vazio sempre que Λ é não vazio e nenhum é vazio. Incrivelmente, não seria possível, sem o Axioma da Escolha, demonstrar de forma geral que o produto cartesiano entre conjuntos não vazios é não vazio. Exemplo 4.2.4: Um tipo de função especialmente importante (em especial na Topologia) com domínio sendo um produto cartesiano são as projeções canônicas. Sendo uma família não vazia de conjuntos não vazios, a projeção canônica sobre o conjunto ( Λ é um índice fixo) é a função : tal que ) ) =. O que a função faz, na verdade, é simples: sabendo que ) é uma função escolha e a imagem possui um elemento de cada (em especial, um elemento ), a projeção canônica pega, na imagem de cada ), o elemento que pertence a e devolve ao conjunto. Demonstremos que toda projeção canônica é sobrejetora. Com efeito, se, então existe uma função escolha : Λ ) tal que

80 79 ) =. Ou seja, existe : Λ ) tal que ) ) =, mostrando que a função é sobrejetora (lembrando que ) = : Λ No caso especial de Λ = 1,2,, = N, a função : N ). tal que,, ) = é a projeção canônica sobre (lembrando que N = ). Pode-se observar que existe uma projeção canônica sobre cada conjunto do produto cartesiano. Ou seja, no caso dado, existem n projeções canônicas. No exercício 12, Exercícios II 1, as funções e lá definidas são projeções canônicas sobre X e Y respectivamente. Exercício 4.2.3: Mostre que, se :, então : é injetora para algum é injetora para todo Λ. Ou seja, se uma projeção canônica é bijetora (já que todas são sobrejetoras), todas as outras são. SUGESTÃO: Suponha que alguma outra não seja injetiva e mostre que isso implica que a : não é injetiva (contrariando a hipótese). Exercício 4.2.4: No exercício anterior, mostre, no entanto, que, se algum conjunto do produto cartesiano é não unitário, : não é injetora. Assim, nenhuma projeção canônica será injetiva se algum conjunto possuir mais de um elemento. SUGESTÃO: Tome dois elementos distintos ) e ) com todo = para e. Definimos o produto cartesiano entre conjuntos não vazios como um conjunto de funções escolha, mas não devemos abandonar a noção intuitiva que já tínhamos de produto cartesiano. Embora seja necessário saber que os elementos do produto cartesiano são funções (funções escolha) em alguns casos, podemos esquecer esse detalhe caso o interesse seja apenas no fato dos elementos serem conjuntos ordenados. Por exemplo, não é necessário saber que os elementos de R são funções escolha de {1,2} em R para trabalhar com relações de equivalência em R. Exercícios II 4 1 Sejam e conjuntos não vazios e uma relação binária de em. Use o axioma da escolha para mostrar que existe tal que define uma função : ) ). Ou seja, mostre que toda relação binária contém uma função com mesmo domínio da relação. SUGESTÃO: Defina uma relação de equivalência na imagem de de forma que, sendo, ), se existe tal que, ),, ). 2 Considere a família de conjuntos não vazios. Mostre que: Essa é uma generalização do exercício 4, Exercícios II 3.

81 80 5 Operações Unárias e Binárias; Estruturas Algébricas Básicas 5.1 Operações e Relações Definição 5.1.1: Uma operação é uma função :, onde A é não vazio e Λ um conjunto de índices não vazio. O Axioma da Escolha garante que essa função sempre existe, pois garante que o conjunto é não vazio. Quando o conjunto Λ é finito, a operação é dita finitária e é possível nesse caso, como foi feito na secção anterior, tomar Λ = N sem perda de generalidade. Assim, a operação : toma a forma : N ou :, que é mais comum e conveniente, e é chamada de operação n-ária. Exemplo 5.1.1: Seja : R R definida da seguinte forma:,, ). Essa é uma operação n-ária sobre R. Por exemplo, podemos ter : R R tal que,, ) e, nesse caso, 2,1,3) = Em particular, uma operação 2-ária é uma função do tipo : e uma operação 1-ária uma função do tipo :. Mais comumente, esses tipos de operações são referidos por binária e unária, respectivamente, e são os casos de maior relevância. Exemplo 5.1.2: Um exemplo de operação binária é a soma de números reais. A operação soma é a função +: R R tal que +, ) = +. Exemplo 5.1.3: Nos reais também é possível encontrar um exemplo simples de operação unária. Esse é a operação que leva cada elemento a seu oposto aditivo. Ou seja, : R R tal que ) =. Analogamente, uma relação é dita ser uma relação finitária quando Λ é finito. Como anteriormente, nos casos em que R é uma relação finitária, podemos tomar Λ = N sem perda de generalidade e, nesse caso, R é dita uma relação n-ária. O tipo mais importante de relação já foi apresentado: é a 2-ária (ou binária, ou seja, ) e exemplos relevantes desse tipo de relação já foram apresentados no capítulo anterior. Um detalhe adicional, em relação à nomenclatura, é que chamamos de tipo da operação : a cardinalidade do conjunto Λ. Por exemplo, o tipo de uma função binária é 2. Analogamente, o tipo de uma relação é a cardinalidade de Λ. = Comutatividade, associatividade e distributividade Inicialmente, devemos introduzir uma notação muito comum para operações binárias, chamada de notação mesofixa. Dada uma operação binária :, temos que, ), ), mas é mais comum que se represente como, ), ou seja, colocando o símbolo da operação entre as duas coordenadas. Um exemplo é

82 81 a operação soma entre números reais, +: R R, onde, sendo, R, simbolizamos +, ) por +. Definição 5.2.1: Uma operação : é dita comutativa quando, para todo,,, ) =, ), ou seja, em notação mesofixa, quando =. É comum também que se chamem operações binárias comutativas de abelianas. Definição 5.2.2: Uma operação : é dita associativa quando, para todo,,,,, ) =, ), ), ou seja, em notação mesofixa, quando ) = ). Nesse caso, não há ambigüidade ao se escrever (e usaremos esse fato inúmeras vezes). Exemplo 5.2.1: Exemplos bem familiares de operações que possuem essas duas propriedades são a soma e multiplicação de números reais. De fato se sabe que, sendo +: R R e : R R as operações soma e multiplicação respectivamente, + = +, =, + + ) = + ) + e ) = ). Exemplo 5.2.2: Tomemos a operação : R R definida por =. Essa operação é comutativa, mas não é associativa. De fato, = fato da operação soma ser comutativa e, por um lado, ) = mas, por outro lado, ) = portanto, de ). pelo próprio =, =, que, em geral, é diferente de e, Exercício 5.2.1: Dê um exemplo de operação entre números reais que não seja comutativa. Observação: Podem-se definir operações nos conjuntos numéricos (tais como os reais, racionais, etc.) e chamá-las de multiplicação ou adição (soma) sem que sejam o que normalmente chamamos de soma ou multiplicação (às vezes, nem mesmo possuem características que normalmente atribuímos a essas operações). Por isso será comum usarmos os termos multiplicação usual e adição usual para nos referirmos as operações multiplicação e adição como normalmente são definidas. Mas, se não for dito o contrário, sempre estaremos nos referindo às soma e multiplicação usuais. Abaixo está definida outra propriedade importante envolvendo operações binárias, mas, nesse caso, a propriedade é uma relação entre duas operações. Definição 5.2.3: Sejam : e : duas operações binárias. Dizemos que a operação é distributiva à esquerda em relação à quando, para todo,,,,, ) =, ),, ), ou seja, em notação mesofixa, ) = )). Definição 5.2.3: Sejam : e : duas operações binárias. Dizemos que a operação é distributiva à direita em relação à quando, para todo

83 82,,,, ), ) =, ),, ), ou seja, em notação mesofixa, ) = )). Quando uma operação é distributiva tanto pela esquerda quanto pela direita em relação à, dizemos simplesmente que a operação é distributiva em relação à. Naturalmente, se as operações e são comutativas, a operação é distributiva à esquerda em relação à se, e somente se, é distributiva à direita. Na verdade, a comutatividade apenas de já garante que, se é distributiva à esquerda de, também é à direita (e vice-versa). Exercício 5.2.2: Mostre isso. Exemplo 5.2.3: Novamente temos como exemplo a multiplicação e soma entre reais. Afinal é bem conhecida a distributividade da multiplicação em relação à soma, ou seja, + ) = + ) = ) + ). É esse fato que nos permite, tendo definido e sabendo que = 1, que afirmemos que + = 2. De fato, pois + = = 1 + 1) = 2. Exercício 5.2.3: Por que, no Capítulo I, foi um abuso de linguagem chamar as propriedades demonstradas nos teoremas 2.2.1, e de distributividades? Exemplo 5.2.4: Sendo A um conjunto e P(A) o conjunto das partes de A, já sabemos do capítulo anterior que as operações binárias e (união e intersecção), definidas de ) em ), são distributivas uma em relação à outra. Essas também são exemplos de operações comutativas e associativas. 5.3 Grupos Começaremos a apresentar agora algumas estruturas algébricas, mas, para tanto, devemos saber antes o que é uma estrutura e como a representamos. Definição 5.3.1: Seja A um conjunto não vazio, F uma coleção de operações (não necessariamente finitárias) sobre A e R uma coleção de relações (não necessariamente finitárias) sobre A. Chama-se estrutura sobre A a tripla, F, R). A notação não é fixa e tanto F quanto R podem ser vazios. Se R =, mas F, então o par, F) é chamado de estrutura algébrica (foco do que será apresentado). Mas, quando F = e R, o par, R) é 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 algébrica pode ser construído a partir do Exemplo Tomando um conjunto A e seu conjunto das partes, P(A), podemos criar uma estrutura algébrica sobre P(A) introduzindo as operações união e intersecção entre elementos de P(A). Representamos essa estrutura por ),, ). Vemos que a notação para estruturas é flexível e é comum explicitar as operações de uma estrutura algébrica. O importante ao se representar uma estrutura é que esteja claro de qual estrutura se está tratando.

84 83 Definição (grupo): Seja G um conjunto e : uma operação binária, chamada produto, sobre G. Dizemos que a estrutura, ) é um grupo quando as seguintes condições forem satisfeitas: 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). Quando, além de apresentar essas propriedades, o produto for comutativo, o grupo é chamado de grupo Abeliano. A definição de grupo é simples, mas, por exigir poucas propriedades, existe uma grande variedade de estruturas que são grupos. A Teoria de Grupos é a parte da matemática que estuda as propriedades dessas estruturas. Infelizmente, na situação pedestre que nos encontramos, não será possível explicitar a importância dos grupos nem suas aplicações, pois essas aparecem em assuntos avançados de Matemática e Física (na Física, ganha destaque uma classe de grupos chamados grupos de Lie). Algumas propriedades elementares dos grupos são apresentadas abaixo. Teorema 5.3.1: Seja, ) um grupo. Então valem as seguintes afirmações: a) O elemento neutro, e, é único. b) Sendo, o elemento inverso de,, é único. c) ) = para todo. d) Valem as leis de corte = = e = = para todo,,. e) Para todo, as equações = e = possuem solução única em G. Demonstração: (a): Suponhamos que exista um elemento tal que = para todo. Então = =, mostrando a unicidade. (b): Suponhamos que exista tal que =. Então, usando a associatividade, = = = ) = =, mostrado a unicidade. Naturalmente, o inverso de é ele próprio, pois =. (c): Usando a associatividade: ) = ) = ) ) = ) ) = = (d): Se =, então: ) = ) ) = ) = =

85 84 Analogamente se demonstra a segunda parte da afirmação. (e): Se =, então: ) = ) = = = Analogamente se demonstra a segunda parte da afirmação. Exercício 5.3.1: Sendo, ) um grupo, mostre que, para quaisquer,, ) =. Observe que, se é Abeliano, ) = (mostre que isso só ocorre se é Abeliano). Exemplo 5.3.2: A estrutura Z, +) é um grupo Abeliano, pois a operação soma é associativa e comutativa. Além disso, existe um elemento neutro da soma, 0, e, para cada elemento Z, existe um elemento chamado tal que + ) = 0. Exemplo 5.3.3: Seja A um conjunto e P(A) o conjunto das partes de A. A estrutura ), ), onde : ) ) é a operação diferença simétrica, é um grupo Abeliano. De fato é, pois a operação é associativa, comutativa, o elemento neutro é o conjunto vazio e, para cada ), tem-se =, ou seja, A é seu próprio elemento inverso. Exemplo 5.3.4: Outro exemplo simples de grupo é a estrutura Z, ) onde Z = 0,1,2,3 e a adição entre, Z é definida como sendo a =. Mas a notação mais comumente empregada para representar esse resto é = + 4) (lê-se a mais b módulo quatro ). Por exemplo, 3 2 = ) = 5 4) = 1, pois 1 é o resto da divisão de 5 por 4. Demonstremos que essa estrutura é um grupo Abeliano. A operação é associativa e comutativa, pois ) = + ) + 4) = + + )4) = ) e = + 4) = + 4) =. O elemento neutro da operação é o elemento 0, pois 0 = + 04) = 4) =, afinal, lembremos que 0,1,2,3. O elemento inverso de um Z é o elemento = 4 4). Para mostrar isso, primeiro demonstremos que Z. De fato isso acontece, pois Z, e, dessa forma, 0 < 4 < 4 quando 0 e, portanto = 4 4) = 4 Z nesse caso. Mas, se = 0, = 4 4) = 0 (o resto de 4 dividido por 4 é 0). Conclui-se, então, que Z. Agora, demonstremos que esse é realmente o inverso de. De fato, afinal, = + 4 )4) = 4 4) = 0. Mostramos, portanto, que Z, ) é um grupo.

86 85 O que foi feito acima é facilmente generalizado para mostra que Z, ) é um grupo, onde n é um natural, Z = 0,1,2,3,, 1 e = = + ): basta substituir 4 por n. Observação: Passaremos a adotar a notação Z = 0,1,2,3,, 1. Grupos podem ser finitos ou infinitos. O grupo apresentado no Exemplo é 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, é possível construir uma tabela, chamada tabela de Cayley, onde a primeira linha possui o símbolo da operação e um elemento do grupo em cada outro espaço da linha e o mesmo acontece na primeira coluna. O resultado da operação entre dois elementos é escrito no espaço onde se cruzam a linha e a coluna dos elementos em questão. Por exemplo, o resultado de está no cruzamento da linha de com a coluna de. Como exemplo, façamos a tabela de Z com a operação definida acima. Exemplo 5.3.5: A estrutura N, ) não é um grupo, pois, embora o produto de números naturais seja associativo e possua elemento neutro, 1, apenas o número 1 possui elemento inverso. Quando apenas essas duas características de grupo são satisfeitas, chamamos a estrutura de monóide. Ou seja, a estrutura N, ) é um monóide (mais especificamente, monóide Abeliano, pois a operação também é comutativa). Ao tomarmos um subconjunto, onde G é um grupo, é interessante verificar se H é, ele mesmo, um grupo com relação à mesma operação. Naturalmente, como se trata da mesma operação que torna G um grupo, a operação já é associativa, mas seguem na definição abaixo as outras condições que tornam H um grupo. Definição 5.3.3: Seja, ) um grupo, onde e é o elemento neutro, e. Dizemos que H é um subgrupo de G quando: a) h h para todo h, h.

87 86 b) c) Se h, então h. Claro, sempre se tem que e G são subgrupos de G. O subgrupo é dito trivial. Exercício 5.3.2: Mostre que a condição (b) da definição acima decorre, na verdade, das condições (a) e (c). Exemplo 5.3.6: A estrutura, +), onde =, 4, 2,0,2,4, é o conjunto dos números pares, é um subgrupo de Z, +). Com efeito, se e são números pares, então + é um número par (verifique sabendo = Z = 2 Z), o elemento neutro, 0, pertence ao conjunto P e, se, então, já que, se = 2, para algum n inteiro, então = 2 = 2, onde =, que é um número inteiro. 5.4 Anéis Definição (anel): Seja A um conjunto onde estão definidas duas operações binárias, +: e :. A estrutura, +, ) é dita um anel quando são satisfeitas as seguintes condições: a) Para todo, + = + (comutatividade de +). b) Para todo,, + + ) = + ) + (associatividade de +). c) Existe um elemento 0 tal que + 0 = 0 + = (elemento neutro de +). d) Para todo existe um elemento denominado tal que + ) = ) + = 0 (elemento inverso por +). e) Para todo,, ) = ) (associatividade de ). f) Para todo,, + ) = + e + ) = + Observação: Não é exigido um elemento neutro para a multiplicação (operação ) nem essa precisa ser comutativa. Como se pode ver, todo anel é um grupo Abeliano em relação à adição (operação +) e, assim, o que já foi demonstrado para grupos continua valendo para a adição no anel. É comum que um anel tenha elemento neutro para a multiplicação, ou seja, um elemento, chamado de 1, tal que 1 = 1 = para todo e alguns autores até incluem essa propriedade como exigência na definição de anel, mas aqui chamaremos tais anéis de anéis com unidade. Anéis são presentes em quase toda a matemática e também possuem uma área destinada ao estudo de suas propriedades, a Teoria de Anéis. Exemplo 5.4.1: Um exemplo de anel é a estrutura Z, +, ). Mais especificamente, esse anel é um anel comutativo com unidade, pois a operação multiplicação é comutativa e existe elemento neutro para essa, o número Corpos

88 87 Definição (corpo): Seja um conjunto onde estão definidas duas operações binárias, +: e :. A estrutura, +, ) é dita um corpo quando são satisfeitas as seguintes condições: 1 Propriedades da adição (+): a) Para todo, + = + (comutatividade de +). 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 multiplicação ): 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 ). 3 Distributividade: o produto é distributivo em relação à adição. Ou seja, para todo,,, + ) = +. Naturalmente, é distributivo à direita também, já que a multiplicação é comutativa. A condição 1 0 pode parecer estranha (tente não associar quantidades a esses símbolos), mas é necessária para não cair num caso trivial (verifique o que acontece se 1 = 0). Veremos mais adiante que as estruturas Q, +, ) e R, +, ) são corpos e, na verdade, não é de se espantar com isso, pois essas estruturas inspiraram a definição posta. Observação 1: É comum omitir o símbolo da multiplicação ao se fazer a operação e faremos isso com freqüência. Observação 2: É comum ser usada a notação 0 = e a usaremos. Claramente, todo corpo é um grupo Abeliano, em relação à adição, e um anel. Assim, o que foi demonstrado para grupos continua valendo para a adição em um corpo. Um corpo não é um grupo em relação à multiplicação pelo simples fato de 0 não possuir inverso multiplicativo (veja a afirmativa (a) do teorema abaixo). Mas, ) é um grupo Abeliano e, assim, as propriedades demonstradas para grupos valem na multiplicação quando não consideramos o elemento 0. Algumas outras propriedades gerais de corpos são apresentadas no teorema abaixo. Teorema 5.5.1: Se, +, ) é um corpo, então valem: a) 0 = 0 b) Sendo,, = 0 = 0 ou = 0.

89 88 c) ) = ) = ) e ) ) = (regras dos sinais). d) Definindo, se =, então = ±. Lembrando que significa para todo e significa se, e somente se. Demonstração: (a): Usando a distributividade, 0 + = = 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 são arbitrários, suponhamos que 0. Assim, sendo = 0, temos, ao multiplicar ambos os lados por, que = 0 = 0 = 0. (c): Usando a distributividade, temos ) + = + ) = 0 = 0, onde usamos o que foi demonstrado em (a). Assim, ) + = 0 e, somando ) em ambos os lados, temos ) + + ) = ) ) + 0 = ) ) = ). De forma análoga se conclui que ) = ). Usando esse fato, temos que ) ) = ) = ) =. (d): = + ) = 0 + ) = + + ) + ) = + ) + ) + ) = + ) + + ) ) = + ) + + ) ) = + ) + ) = 0. Ou seja, + ) = + ) + ) = 0. De (b), sabe-se que + ) + ) = 0 + ) = 0 ou + ) = 0, que ocorre só quando = ou =. Exercício 5.5.1: Na letra (d) do teorema anterior, em cada passo da demonstração, indique qual propriedade (de corpos) ou teorema foi utilizado. SUGESTÃO: Lembre-se da validade do teorema demonstrado para grupos. Através das propriedades dos corpos, é possível criar mais duas operações úteis (e bastante familiares nos corpos R e Q). Para tanto, usaremos as notações + ) =, essa chamada de diferença, e = /, chamada de quociente. Claro, nesse último caso, 0, pois 0 não possui inverso multiplicativo. Definição 5.5.2: Sendo, +, ) um corpo, as operações são chamadas, respectivamente, de subtração e divisão. :,) e /:,) / Algumas propriedades (bem familiares) da divisão estão listadas abaixo. Teorema 5.5.2: Considerando o corpo, +, ) e definida a operação divisão, tem-se que: a) Sendo 0 e 0, + =. b) Sendo 0 e 0, =. c) Sendo 0 e 0, =.

90 89 d) Sendo 0, 0 e 0, =. Exercício 5.5.3: Demonstre o teorema acima. SUGESTÃO: Lembre-se de que / =. Exercício 5.5.4: Mostre que + ) =. SUGESTÃO: Observe que + ) = 1 + ). Exemplo 5.5.1: Tomemos a estrutura Z,, ) onde a soma é definida como já foi feito e 2), onde é a multiplicação usual em Z. Montemos a tabela de Cayley para a soma e multiplicação nessa estrutura, que, como será mostrado, é um corpo: Já sabemos que Z, ) é um grupo Abeliano, então as propriedades da adição (em corpos) são satisfeitas (e observe o curioso fato de 1 1 = 0, mostrando que 1 é seu próprio inverso). Devemos demonstrar, então, as propriedades da multiplicação e a distributividade. Para a multiplicação, vemos na tabela que a operação é comutativa e a unidade é 1. A associatividade existe em geral, pois ) ) 2) = )2) = ). Também se vê que o único elemento diferente de 0 é 1 e o inverso multiplicativo desse é ele mesmo. Distributividade se obtém vendo que ) = + )2) = + 2) = ) ). Mostramos, finalmente, que Z,, ) é um corpo. Pela definição de corpo que tomamos (exigindo 1 0), o corpo construído no exemplo anterior é o menor corpo que se pode obter. Note que a comutatividade, associatividade, existência da unidade e a distributividade decorrem imediatamente dessas propriedades na soma e produtos usuais em Z (verifique!). Isso nos leva a questionar se a estrutura Z,, ) não é um corpo para todo > 1 natural. Na verdade, nem sempre Z,, ) é um corpo porque nem sempre todos os elementos diferentes de 0 possuem inverso multiplicativo por. No entanto, é possível demonstrar (embora não façamos aqui) que Z,, ) é um corpo se, e somente se, n é primo. Exemplo 5.5.2: Outro exemplo exótico de corpo é a estrutura Q 2, +,, onde as operações são as usuais do corpo dos reais e Q 2 = + 2 R, Q, ou seja, conjunto dos números reais da forma + 2 com e racionais. Durante a demonstração que se segue, usaremos o fato de Q, +, ) ser um corpo e alguns conhecimentos operacionais básicos.

91 90 Primeiro mostremos que Q 2, + é um subgrupo do grupo Abeliano R, +). Com efeito, = + ) + + ) 2 Q 2, = 0 Q 2 e, se + 2 Q 2, então + 2 = + ) 2 Q 2. Usamos, respectivamente, o fato da soma de racionais ser racional, 0 ser um número racional e, se é racional, então também é. Para a multiplicação, observemos que a operação é comutativa, associativa, possui unidade e é distributiva em relação à + pelo simples fato dessas operações serem as usuais. O que devemos mostrar é que a operação está bem definida, ou seja, Q 2 e que, para todo Q 2 0, pertence a Q 2. a) = = + 2) + + ) 2. Isso mostra que a operação está bem definida, ou seja, que Q 2. b) Seja = + 2 Q 2 com 0 ou 0 (de forma que + 2 0). Nos reais, esse elemento possui inverso multiplicativo e, assim, existe R tal que = 1. Dessa forma, + 2 = 1 = = = ) + Observe que só foi possível a manipulação = 2, mostrando que Q 2. pois, se b não é nulo, 2 é irracional (a multiplicação de um racional não nulo por um irracional é sempre irracional), fazendo com que a diferença 2 fosse, garantidamente, não nula. Definição 5.5.3: Um corpo, +, ) é dito um corpo ordenado quando existe um subconjunto próprio (chamado de conjunto dos números positivos) com as seguintes propriedades: a), uma, e apenas uma, das seguintes opções é verdadeira: ou ou = 0 (tricotomia). b) Se,, então + (fecho por adição). c) Se,, então (fecho por multiplicação). Usamos a notação para indicar que = 0 ou ). Também é bastante comum ser usada a notação > para indicar que ). Um resultado imediato é que, se, então 0) e, portanto, > 0. Demonstremos que se trata de uma relação de ordem total: a), evidentemente temos que, pois = 0 (reflexibilidade). b),,, temos que, se e, então, afinal, > ) e > ), donde temos que ) + ) = ) > (transitividade).

92 91 c),, e implica a =. De fato, já que não se pode ter ) e ) simultaneamente, concluímos que = 0 (antisimetria). d), ou ou. Isso é evidente pela definição (totalidade). Observação: Se omitiu os casos em que as diferenças são nulas por serem casos triviais. Teorema 5.5.3:, 0. Demonstração: Se ou = 0, nada se tem para demonstrar, mas, se e 0, temos que e, portanto ) ), mas se sabe que ) ) =. Assim, =. Uma conseqüência desse teorema é que 1 > 0, pois 1 0 e 1 1 = 1. Exemplos de corpos ordenados são os racionais e reais (como veremos no próximo capítulo). Mas nem todo corpo pode ser ordenado. Por exemplo, o corpo Z,, ) não é ordenado, pois, sendo, 1, 0 e 0,1 os subconjuntos de Z, a única escolha que poderíamos ter para ser o conjuntos dos positivos é 1, mas se sabe que, nesse corpo, 1 1 = 0, que viola o fecho por adição. Teorema (monotonicidade da adição): Se >, então, para todo, tem-se + > +. Demonstração: Se >, então ). Mas se tem que = + = + ) + ), donde se tem que + ) + ) e, portanto, + > +. Teorema (monotonicidade da multiplicação): Se > e > 0, então, >. Mas, se < 0, então <. Demonstração: Se > e > 0, temos que ). Como ) =, pelo fecho por multiplicação, temos que ) e, assim, >. Por outro lado, se < 0, então e, portanto, ) = ), que nos leva a concluir que <. Exercícios II 5 1 Considere =,,, com a estrutura, ) sendo um grupo Abeliano. Sendo =, mostre que =. 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 operação de multiplicação.

93 92 3 Seja, ) um grupo e, subgrupos de. Mostre que: a) é subgrupo de. b) é subgrupo de ou. 4 Mostre que a equação = tem solução num grupo, ) se, e somente se, = para algum em. 5 Mostre que, sendo um corpo ordenado e,,,, se < e <, então + < +. 6 Sendo um corpo ordenado e,,,, mostre que, se 0 < < e 0 < <, então 0 < <. Uma conseqüência disso é que, se 0 < < 1 e 0 < < 1, então 0 < < 1. 7 Sendo um corpo ordenado e, mostre que, se 0 < < 1, então < e, se > 1, então >. 8 Considerando o corpo ordenado com, mostre que, se > 0, então > 0. 9 Mostre que, num corpo ordenado onde,, temos que, se 0 < <, então 0 < <. 6 Composição de Funções; Mais Sobre Grupos 6.1 Composição de funções Uma forma um tanto pictórica de imaginar uma função é ver ela como uma máquina, onde se insere um dado e essa máquina nos dá um produto ) (Figura 1). Vendo dessa forma, não parece estranho combinarmos máquinas. Ou seja, inserir, obter ), mas, combinando com uma máquina, obter ) (Figura 2). Podemos identificar o processo feito pelas duas máquinas como sendo o de uma única máquina, h, de forma que h) = ) (Figura 3).

94 93 Para podermos combinar as máquinas e, é necessário que seja possível inserir ) em. De forma mais precisa, é preciso que ) ). Motivados por essa apresentação, definamos a composição de funções. Definição 6.1.1: Sejam : e : funções. A função composta é a função : (lê-se g bola f ) tal que )) = ). Ou seja: =, ), ), ) Pode-se ver que o domínio da função composta é o domínio de, mas o contradomínio é o contradomínio de. Claro, é possível fazer mais de uma composição bastando fazer a composição da função composta com outra função. Exemplo 6.1.1: Seja :R R e :R R funções. A função composta : R R tal que )) = ) é definida por: ) = + 2) = + 2) = Mas também é possível a composição : R R e dessa composição obtemos )) = ) = ) = + 2, que é diferente, em geral, de ). Ou seja, em geral,. Exemplo 6.1.2: Considere os conjuntos = 1,2,3, =,,, e =,, e as funções : tal que = 1, ), 2, ), 3, ) e : tal que =, ),, ),, ),, ). Usando a definição, vemos que = 1, ), 2, ), 3, ).

95 94 Na representação diagramática acima, as setas vermelhas em 1 destacam o caminho da função composta. Em 2, o conjunto B, que é intermediário, é omitido (lembremos que, efetivamente, a função composta é uma função de A em C). Embora, a composição de funções não seja comutativa, ela é associativa, como mostra o teorema abaixo. Teorema 6.1.1: A composição de funções é associativa. Ou seja, sendo :, : e h: funções, tem-se que h ) = h ). Demonstração: Devemos perceber que ambas as funções são funções de X em W. Como sabemos pelo Teorema 1.2.2, para mostrarmos que h ) = h ), devemos mostrar que h ) ) = h )). Ora, pela definição, h ) ) = h )) = h ) = h )) = h )). Portanto, h ) = h ). Devido a esse teorema, podemos escrever, sem ambigüidade, h. Exemplo 6.1.3: Considere as funções :N N, :N R e :R R. Temos, então que a composição dessas funções é h: N R tal que: h )) = h ) = h + 1) = h = 2 2 Teorema 6.1.2: Sendo : uma função, valem as afirmações abaixo: a) Se existe uma função : tal que =, então é injetora. A função é chamada de inversa à esquerda de.

96 95 b) Se existe uma função h: tal que h =, então é sobrejetora. A função h é chamada de inversa à direita de. Observação: As funções : e : são as funções identidades. Demonstração: (a): Suponhamos que =, ou seja, )) =. Assim, se ) = ), temos: = ) = ) = Ou seja, =, mostrando que é injetora. (b): Supondo que h =, temos que: ) = h) = h)) = ) = Isso demonstra que, para todo, existe tal que = ). Pela definição de função sobrejetora, mostramos que é sobrejetora. Exercício (importante): Considerando a função :, mostre que = =. Claro, se existem : e h: tais que = e h =, então : é bijetora. Demonstraremos abaixo que, quando isso acontece, = h =, onde :, é a função inversa (lembremos que uma função possui inversa se, e somente se, é bijetora). Mas antes vejamos outros resultados bastante úteis. Teorema 6.1.3: Sejam : e : funções. Então: a) Se e são injetoras, então : é injetora. b) Se e são sobrejetoras, então : é sobrejetora. Demonstração: (a): Sejam e dois elementos quaisquer de X, Supondo que ) ) = ) ), temos que ) = ). Por ser injetora, se conclui que ) = ). Mas também é injetora e, portanto, =. Logo, ) ) = ) ) =, mostrando que a composição é injetiva. (b): A função é sobrejetora, portanto, ) = e, assim, para todo, existe tal que ) =. Mas, sendo sobrejetora, ) = e, dessa forma, para todo, existe tal que ) =. Ou seja, podemos escrever qualquer como ). Disso temos que, para todo, = ) = ) = )) para algum, mostrando que )) é sobrejetora. Os resultados, na verdade, são intuitivos (faça alguns exemplos com diagramas para ambos os casos). Uma conseqüência imediata do teorema é que, se e são bijeções, então é uma bijeção.

97 96 Teorema 6.1.4: Sendo : uma função bijetora e : sua inversa, temos = e =. Demonstração: Por definição, é o conjunto dos pares, ) tais que exista de forma que, ) e, ). Ora, é o conjunto dos pares, ) tais que, ) e, pelo fato de ser uma função,, ),, ) =. Segue que =, ) =. A segunda parte do teorema se demonstra analogamente observando que = ). Pode-se ver que a função inversa realmente inverte o que a função faz. leva um determinado a um e a função inversa leva esse de volta ao em questão, fazendo a composição levar a ele mesmo (função identidade). Corolário 1: Sejam : e : funções bijetoras e : a composição dessas funções. Então a função ) : é igual à função :. Ou seja, ) =. Demonstração: Sendo ) = ), do teorema temos que ) = ) ). Mas ainda se tem = ) = ), pois, pelo teorema, =. Dessa forma, ) ) = ) ) = ) ) = =, onde, novamente, usamos o teorema. Assim, ) =. Corolário 2: Considerando as funções :, :, h:, h : e :, sendo essa última bijetora, então = = e h = h h = h Demonstração: Basta observar que = = =, onde usamos o teorema para ter =. A segunda parte se demonstra analogamente. Teorema 6.1.5: Se : é uma função e existem : e h: de forma que = e h =, então = h =. Demonstração: Do teorema anterior temos que =, então =. Como é definida de Y em X, é possível a composição ) :. Assim, ) = ) ) = ) = =. Analogamente se demonstra que h =. Conclui-se, então, que = h =. Exercício: 6.1.2: Faça a demonstração de que h = no teorema acima.

98 97 Exemplo 6.1.3: A função : R R tal que ) = + 1 é injetora, pois pode- se ver que, tendo : R R tal que ) = 2 2, )) = ) = + 1 = = =. Ou seja, = R. Mas : R R também é sobrejetora, pois, com o mesmo, temos )) = ) = 2 2) = + 1 = =. Dessa forma, : R R é a função inversa de : R R, ou seja, =. Exemplo 6.1.4: Considere a função : R N tal que N ) = 1 R N). Se considerarmos a função h: N R tal que h) =, vemos que h: N N é tal que h)) = h) = ) = = N, pois h) N. Ou seja, : R N é sobrejetora. Teorema 6.1.6: Considerando as funções : e : e o conjunto, ) = )). Demonstração: Com efeito, ) = = ) e )) = = )). Como ) = )), segue o resultado. 6.2 Morfismos de grupos Definição 6.2.1: Sejam as estruturas, ) e, ) grupos onde e são os elementos neutros de, ) e, ) respectivamente. Uma função : é dita ser um morfismo ou homomorfismo de G em H se: a) ) = b) ) =) ) para todo,. Note que, na condição (b), o primeiro produto é o de G e o segundo é o de H. Morfismos de grupos são definidos através dessas propriedades porque elas fazem as propriedades algébricas do grupo G (ao menos as que fazem de G um grupo) serem preservadas através da função. Com efeito, como veremos abaixo, a imagem de um homomorfismo de G em H é sempre um subgrupo de H. Exemplo 6.2.1: Considerando os grupos R, +) e R 0, ), a aplicação : R R 0, tal que ) = 2, é um homomorfismo de R, +) em R 0, ). De fato, pois 0) = 2 = 1 e + ) = 2 = 2 2 =)). Exercício 6.2.1: Demonstre que a propriedade (b) implica a propriedade (a). Assim, basta demonstrar a propriedade (b) para mostrar que uma aplicação é um homomorfismo. SUGESTÃO: Observe que ) = ) = ) ). Lema 6.2.1: Sendo : um homomorfismo de, ) em, ), esse preserva inversa. Ou seja, ) =).

99 98 Demonstração: Por definição, ) =, assim, ) =) ) =. De forma análoga se tem ) ) =. Portanto ) = ). Teorema 6.2.1: Se : é um homomorfismo de, ) em, ), então ) é um subgrupo de, ). Demonstração: (a): A operação é fechada, pois, se ),) ), então ) ) = ), que pertence a ). (b): Por definição, ) = ). (c): Do lema acima temos que ) =). Portanto, se ) ), então ) ). Exercício 6.2.2: Considere os grupos, ) e, ) e o homomorfismo :. Mostre que, se, ) é um grupo Abeliano, então ), ), que é um 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. Definição 6.2.2: Sendo, ) e, ) grupos e : e : homomorfismos: a) Se é injetivo, então esse homomorfismo é dito ser um monomorfismo. b) Se é sobrejetivo, então esse homomorfismo é dito ser um epimorfismo. c) Se é uma bijeção, então esse homomorfismo é dito ser um isomorfismo. d) é chamado de endomorfismo. e) Se é um isomorfismo, esse é chamado automorfismo. Dentre as definições acima, a (c), de isomorfismo, merece uma atenção especial. Se existe um isomorfismo de, ) em, ), então existe um isomorfismo de, ) em, ) (isso será mostrado abaixo). Enquanto grupos, a existência de um isomorfismo de, ) em, ) significa que esses são algebricamente idênticos. Isso quer dizer que, para toda propriedade algébrica que o produto de G tenha, existe uma inteiramente análoga em termos do produto de H. Pode-se dizer que, se existe um isomorfismo de, ) em, ), esses grupos são iguais a menos dos nomes dos elementos. Lema 6.2.2: Se, ) e, ) são grupos e : é um isomorfismo, então : é um isomorfismo. Demonstração: : é uma bijeção porque : o é. Basta mostrar que : é um homomorfismo. De fato é, pois:

100 99 a) Por definição, ) =, então ) = ) ) ) = ) ) = ) = ), onde se usou a definição de função composta e o Teorema b) Por definição, ) =) ), assim ) = ) ) ) ) = ) ) ) = ) ) = ) ). Por causa desse lema, podemos dizer que, se : é um isomorfismo, esse é um isomorfismo entre G e H. Exemplo 6.2.2: A função :Z Z é um automorfismo entre o grupo dos inteiros (com operação de soma) e o (sub)grupo dos pares. Exemplo 6.2.3: Sendo, ) um grupo e, : tal que ) = é um endomorfismo (verifique!). Definição 6.2.3: Sendo G e H grupos, se existe algum isomorfismo :, então G e H são ditos isomorfos e simbolizamos isso por. Teorema 6.2.2: A relação de isomorfia é uma relação de equivalência. Demonstração: (a): Sempre existe um isomorfismo entre o grupo G e ele mesmo, esse é =. (b): Do lema e da definição acima temos que, se, então. (c): Sendo, ),, ), e, ) grupos com e, temos que bastando fazer a composição dos isomorfismos. Com efeito, sendo : e : isomorfismos, : é um isomorfismo, pois é uma bijeção pelo fato de e o serem e ) ) = ) =) ) =) ) = )) )). Na parte (c) da demonstração acima, o fato apresentado, de que a composição de isomorfismos é um isomorfismo, vale, na verdade, para homomorfismos em geral. Ou seja, a composição de homomorfismos é um homomorfismo. Podemos observar que, se : é um monomorfismo de, ) em, ), o grupo, ) é isomorfo a ), ) e podemos interpretar isso como existe uma cópia de, ) em, ). Quando isso ocorre dizemos que o grupo G está imerso em H 6.3 Grupo de permutações Nas demonstrações dos corolários do Teorema e do Teorema 6.1.5, podemos observar que manipulamos a composição de funções como se fosse uma

101 100 operação (tal como soma ou multiplicação). De fato podemos pensar a composição de funções como uma operação, mas, como toda operação, devemos definir o conjunto onde ela está definida. Dado um conjunto não vazio A, uma estrutura importante que pode ser construída de forma que a composição de funções é uma operação é o grupo de permutações de A. Mas, antes de definirmos esse grupo, definamos o que é uma permutação. Definição 6.3.1: Sendo A um conjunto não vazio, toda função : bijetora é dita uma permutação em A (ou de A). Exemplo 6.3.1: Sendo = 1,2,3, uma possível permutação em A é a função : tal que 1) = 2, 2) = 3 e 3) = 1. Vemos, dessa forma, que o nome permutação se justifica, pois uma bijeção de A em A permuta os elementos de A. Agora, consideremos o conjunto de todas as permutações de A, ou seja, ) = : : é. A estrutura ), ), onde a operação : ) ) é a composição de funções, é um grupo. Demonstremos isso. a) Antes de tudo, devemos verificar se a operação : ) ) está bem definida. Ou seja, se ) para quaisquer, ). Com efeito, está bem definida, pois, conforme mostrado na subsecção anterior, a composição de bijeções é uma bijeção. b) A composição de funções é associativa, como mostrado na subsecção anterior. c) Como é definida de A em A, = =, donde temos que é o elemento neutro e esse pertence a ), pois funções identidades são sempre bijeções. d) O fato de : ser uma bijeção implica que : também é uma bijeção, como bem se sabe, e, assim, ). Do Teorema 6.1.4, temos que = =. Portanto, é o elemento inverso de. Com essas demonstrações concluímos que a estrutura ), ) é, de fato, um grupo. O interesse em estudar grupos de permutações reside no fato de que se pode mostrar que todo grupo é um subgrupo de algum grupo de permutações. Um caso especial de grupo de permutações é quando = chamado de grupo de permutações de n elementos e simbolizado por. = N. Esse é Para simplificar a notação, vamos representar as permutações : por matrizes da seguinte forma: = 1 1) ) Na primeira linha estão os números naturais (em ordem crescente) até n e na segunda estão as respectivas imagens dos elementos.

102 101 Exemplo 6.3.2: O grupo é o conjunto dado pelas funções (matrizes): = = Como se pode ver, é a função identidade e possui a si próprio como inversa. Para, temos as matrizes: = = = = = = = Para ver como se realiza a composição dessas funções, vejamos a composição. = = = Os símbolos sobrescritos destacam o caminho da imagem de 2. Vemos que, em, 2 possui imagem 3, mas, em, 3 corresponde a 1. Assim, a composição leva 2 a 1. Exercício 6.3.1: faça as composições, e. Nessa notação, para invertermos uma função, basta inverter as linhas (listas horizontais de números) e reorganizar as colunas (listas verticais de números), como mostrado abaixo: = = = = çã Não demonstraremos aqui, mas o grupo de permutações de n elementos possui 1) 2) 1 elementos. Por exemplo, o grupo possui = 6 elementos, como visto. 6.4 Grupos diedrais Grupos diedrais são outros exemplos de estruturas que possuem a composição de funções como operação. Mas, antes de apresentarmos o que são grupos diedrais, faremos uma breve digressão relacionada à definição de distância no plano (que podemos identificar com o plano cartesiano). Isso porque o grupo que será apresentado possui interpretação geométrica. Considerando os pontos =, ) e =, ) no plano, a distância entre esses dois pontos é definida por:, ) = ) + )

103 102 Uma propriedade imediata (e intuitiva) é que, se =, então, ) = 0 e essa é a única situação em que isso ocorre (em todos os outros casos a distância é positiva). Também se pode ver que, ) =, ), que é outra propriedade intuitiva geometricamente. Temos, ainda, mais uma propriedade (essa não tão evidente), que é: quaisquer que sejam, e,, ), ) +, ). Essa é chamada de desigualdade triangular e, como se pode ver na ilustração abaixo, o nome se justifica. Não a demonstraremos, mas a ilustração dá uma justificativa geométrica. Observemos que os pontos, e formam um triângulo e bem se sabe que a soma dos comprimentos de dois lados de um triângulo é sempre maior que do terceiro. O caso de igualdade na expressão ocorre quando = ou =. Definição 6.4.1: Considerando R, uma aplicação : é dita uma simetria de A quando é sobrejetora e preserva distâncias. Ou seja,, ) = ), ) para todo,. Embora não esteja explícito, a função é, também, injetora e, portanto, uma bijeção de A em si próprio. Para mostrar isso, suponhamos, por absurdo, que não seja injetora. Para isso ocorrer, devemos ter que exista ) = ) com. Mas se sabe que, se, então, ) 0 e, sendo ) = ), ), ) = 0, contrariando a hipótese de que a distância é preservada. O conjunto de todas as simetrias de um conjunto R, chamado de ), forma um grupo pela composição de funções. Para efetuarmos a demonstração, observemos que já foi mostrado que o conjunto das bijeções sobre um conjunto é um

104 103 grupo. Então basta mostrar que o conjunto das simetrias é subgrupo do grupo de permutações de A. a) A função identidade é uma simetria, pois ), ) =, ). b) Sendo uma simetria, a inversa também é, afinal,, ) = ), ) = ), ). c) Dadas duas simetrias, e, a composição dessas é uma simetria. Com efeito, ), ) = ), ) = ), ) =, ). Observemos que uma simetria é uma transformação (aplicação) que permuta os pontos de uma figura no plano (um subconjunto de R ) sem causar deformações internas (as distâncias são preservadas). Isso implica que a transformação transporta a figura para o caso transformado rigidamente. No caso particular em que R é um polígono regular de n lados, uma simetria é uma transformação que leva vértices adjacentes em vértices adjacentes. Assim, pode-se tomar o conjunto A como formado apenas pelos vértices do polígono regular, pois o grupo será isomorfo aos grupos em que se tomam todos os pontos dos lados da figura ou incluindo, também, os internos. Definição 6.4.2: Chamamos de grupo diedral de ordem 2 a estrutura ), ) onde A é um polígono regular de n lados. Mais comumente, nesse caso, denotamos ) por. Exemplo 6.4.1: Consideremos A como sendo um quadrado. Chamemos os vértices de,, e como na figura abaixo. Dada uma simetria, vamos representá-la por = ), ), ), ). O conjunto de simetrias é dado, então, por: = =,,, =,,, =,,, =,,, =,,, =,,, =,,, =,,,

105 Nem todas as permutações são simetrias. Por exemplo, não podemos ter =,,,, pois, ao fazermos isso (inverter o ponto com o ), a distância entre e muda, afinal, a distância, que era o comprimento do lado, se tornou o comprimento da diagonal. Abaixo estão representadas, geometricamente, três das simetrias. 104

106 105 Vemos que as simetrias são rotações e reflexões. é uma rotação de no sentido anti-horário, é uma reflexão em torno do eixo que passa pelos pontos médios dos lados e e é uma reflexão em torno do eixo que passa pela diagonal. Poderíamos ter chamados os vértices 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 não demonstremos aqui, grupos diedrais possuem 2 elementos (a ordem é dobro do número de vértices) onde desses são rotações (considerando a identidade como uma rotação de 0 ) e são reflexões. Aqui podemos observar como os grupos se manifestam. As transformações feitas sobre o quadrado não mudam ele. O rodam ou refletem, mas sempre mantendo a distância entre os vértices invariante. Grupos estão relacionados a transformações que mantêm algo invariante por essas transformações. Mas, muitas vezes, os grupos não são tão simples quantos os diedrais e nem a invariância está ligada a algo tão visível quanto distância e posição de pontos. Exercício 6.4.1: Dado um triângulo eqüilátero de vértices, e, construa o grupo diedral de ordem seis. Dê a representação geométrica de cada uma dessas simetrias e monte a tabela de Cayley. Como exemplo de como a composição dois elementos de atuam sobre o quadrado, façamos a composição : =,,,,,, =,,, = O processo é muito semelhante ao feito nos grupos de permutações, mas aqui se omite a primeira linha da matriz. Por exemplo, em, tem como imagem e, em, tem imagem, de forma que a composição leva a. Na ilustração abaixo podemos observar que o quadrado realmente se transformou como refletido e depois rodado. Exercício 6.4.2: Realize as composições, e. Represente-as geometricamente. Façamos também a tabela de Cayley do grupo.

107 106 Pode-se ver algumas características do grupo a partir dessa tabela. Observemos o subgrupo destacado (quadro em destaque) e comparemos com a tabela do grupo Z (feita na subsecção 5.3). Vemos que o subgrupo destacado é isomorfo ao grupo Z (basta fazer a correspondência 1)). Ou seja, Z está imerso em. Em geral se pode ter que Z está imerso em. Além disso, pode-se ver que o subgrupo destacado é o das rotações. Podemos ver ainda que a composição reflexões resulta numa rotação, a composição de uma rotação com uma reflexão (ou vice-versa) é uma reflexão e que reflexões são suas próprias inversas. Exercícios II 6 1 Chama-se monóide a estrutura, ) com não vazio tal que a operação binária seja associativa e possua elemento neutro. Sendo o conjunto de todas as funções de em (não apenas bijeções), a estrutura, ) é um monóide (verifique). Mostre que, se não é unitário, não é comutativa. A estrutura, ) é chamada de monóide das transformações de. 2 Mostre que, sendo : uma função bijetora, : é injetora se, e somente se, : é injetora. Enuncie e demonstre uma afirmação análoga para : sobrejetora. 3 Seja, ) de tal forma que é a composição de funções e =, R R, R 0, onde,:r R. Mostre que, ) é um grupo. 4 Sendo, ) e, ) grupos, mostre que a estrutura, ) tal que, h), h ) =, h h ) é um grupo. Essa estrutura, comumente denotada por, é chamada de soma direta ou produto direto dos grupos e. 5 No exercício acima, mostre que é isomorfo a. 6 Pode-se fazer uma generalização da noção de produto direto entre grupos. Tendo uma família não vazia de grupos (com operações não necessariamente iguais), ), definimos o produto direto desses grupo pela

108 107 estrutura, ) tal que ) h ) = h = h ), onde ), h ) e se usou ) = e h ) = h. Mostre que essa estrutura é um grupo. 7 No exercício acima, mostre que o conjunto de todos os ) tais que apenas um número 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. SUGESTÃO: O fecho do produto é obtido observando que, se ) e h ) possuem um número finito de coordenadas diferentes da identidade, ) h ) também possuirá um número finito de coordenadas diferentes da identidade (isso deve ser mostrado). 8 Obtenha a tabela de Cayley do grupo. 9 Sendo : um homomorfismo do grupo, ) em, ), mostre que o conjunto ) = ) = forma um subgrupo de. O conjunto ) é chamado de núcleo do homomorfismo. 10 No exercício anterior, mostre que ) = se, e somente se, é injetivo (um monomorfismo). Veja que, se ) = e ) =, então é um isomorfismo. 11 Considerando os grupos Z, ) e Z Z, mostre que a função :Z Z Z é um homomorfismo e obtenha o núcleo ()) desse. Generalize para,) ) Z, ) e Z, +). 12 Mostre que : é um homomorfismo se, e somente se,, ) é Abeliano. 13 Seja o grupo de permutação de três elementos. Obtenha as imagens de : tal que ) = e : tal que ) =. 14 Dado o grupo de permutações e um elemento fixo N, mostre que o conjunto de todas as permutações tais que ) = forma um subgrupo de. 15 Sendo e grupos diedrais com > e o conjunto dos vértices do polígono regular referente ao grupo, mostre que demonstrar que está imerso em é equivalente a encontrar um subconjunto de vértices em que forme um polígono regular. 16 Sendo e os grupos diedrais de ordem 6 e 12, demonstre que está imerso em. Explicite o subgrupo isomorfo a. SUGESTÃO: Use a interpretação geométrica das transformações.

109 108 Capítulo III Conjuntos Numéricos Começaremos agora o estudo de alguns conjuntos numéricos (dos naturais, inteiros, racionais e reais). Construiremos os conjuntos e exporemos suas propriedades básicas. Também iremos tratar, de forma precisa, das características de conjuntos finitos e infinitos, com uma breve introdução à aritmética de cardinais. 1 Conjunto dos Naturais A idéia de números naturais está ligada com a de contar elementos de um conjunto, e essa é uma motivação para defini-los. Mas trataremos dessa relação na secção seguinte. Nessa secção vamos, a partir de axiomas e definições, obter as principais propriedades dos números naturais. 1.1 Axiomas de Peano Os axiomas apresentados abaixo, chamados de Axiomas de Peano, são as três propriedades básicas que definem os números naturais. Axioma 1.1.1: Existe uma função injetiva : N N. A imagem ) é chamada de sucessor de. Axioma 1.1.2: Existe um único número natural, 1 N, tal que ) 1 N. Axioma 1.1.3: Se um conjunto N é tal que 1 e ), ou seja, ), então = N. Expliquemos brevemente os axiomas. O primeiro axioma define uma função, mas, além disso, afirma a existência dessa função e, portanto, afirma a existência do conjunto dos naturais (N). Já o segundo diz que existe um (único) número natural que não é sucessor de nenhum outro número natural (intuitivamente, podemos pensar esse número como o primeiro número natural). Esse axioma afirma, claro, que o conjunto dos naturais não é vazio, mas, mais que isso, como veremos mais adiante, garante que o conjunto dos naturais é infinito. O terceiro axioma, chamado de Princípio da Indução, dá a base para um método de demonstração chamado método de indução. Esse método consiste na seguinte afirmativa: se uma propriedade P vale para o número 1 e, ao supor* que P valha para n, obtemos que P vale para ), então a propriedade P vale para todo N. Um exemplo de demonstração por esse método segue no teorema abaixo. Observação: A suposição referida no destaque feito por * é chamada de hipótese indutiva. Veja que o que se deve mostrar é que a implicação ) ) é verdadeira e, dessa forma, usar a hipótese vale para n na demonstração da validade para ) é lícito.

110 109 Teorema 1.1.1: N tem-se ). Demonstração: Pelo Axioma 1.1.2, já temos que a afirmação vale para 1, ou seja, 1) 1. Supondo que valha para n, isto é, ), temos que ) ), afinal a função é injetiva e, se tivéssemos ) = ), teríamos ) =, contrariando a hipótese indutiva. Observação 1: Na demonstração acima, sendo mais preciosistas, deveríamos ter definido um subconjunto N tal que = N ) e seguir a demonstração mostrando que 1 e que ), mas esse detalhe foi omitido e muitas vezes se fará isso. No entanto, existem casos em que é útil fazer a demonstração considerando esse detalhe. Observação 2: Muitos são tentados a se convencerem de alguma suposta propriedade dos números naturais através de exemplos. Ou seja, mostrando a validade para casos particulares. Mas lembremos que os naturais são infinitos e, por mais que mostremos que uma propriedade vale para muitos naturais, sempre existirá uma infinidade deles para os quais não se pode garantir que valha. Coincidências podem servir de motivação para conjecturar que alguma propriedade valha para todos os naturais, mas devemos mostrar tal validade e o princípio da indução é o que nos permite, muitas vezes, realizar a demonstração. Um exemplo de porque não devemos ceder à tentação é a função, definida nos naturais, ) = , que, com paciência, podemos verificar que gera números primos até = 39, mas falha em gerar um número primo para = 40, pois 40) = = ) + 41 = = ) 41 = 41. O terceiro axioma (Princípio da Indução) merece explicações extras devido a suas sutilezas. Na hipótese indutiva, deve ser livre no sentido de que não exista alguma condição que o impeça de ser determinados valores naturais (não se pode impor uma condição que obrigue 5 por exemplo). Sendo assim, na hipótese 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 contraditório diante do fato de termos de provar para ) logo em seguida, mas a demonstração importante nessa parte do processo é a da implicação (mostrar que ) )). Junto à primeira parte do processo, mostrar para = 1, podemos observar a intuição por trás do axioma. Mostrando para uma propriedade para = 1 e a implicação da indução, temos que a afirmação vale para 1), mas 1) é um número natural e, assim, também temos que vale para 1) e assim por diante percorrendo todos os naturais. Ou seja, em essência, o Princípio da Indução consiste em afirmar que todo número natural pode ser obtido através de diversas aplicações da função sucessor sobre o número 1 (tornando possível percorrer os naturais por sucessões a partir do 1). Isso nos leva a perguntar se o axioma não é dispensável já que os dois primeiros nos garantem que só o número 1 não é sucessor de outro natural e a função é injetora. Não seria estranho conjecturar que qualquer número natural pode ser obtido aplicando a função

111 110 sucessor diversas vezes sobre o número 1 apenas com os dois primeiros axiomas. No entanto, foi necessária a indução para mostrar o Teorema (veja Exercício 1.1.1), que garante que ). Sem esse teorema, nada garante que, em algum momento ) = e, assim, não se conseguiria percorrer todos os naturais por sucessões a partir do 1. Ou seja, o Princípio da Indução não pode ser obtido a partir dos outros dois axiomas. Exercício 1.1.1: Encontre um conjunto onde valham os dois primeiros axiomas, mas não valha o Teorema Exercício 1.1.2: Encontre um conjunto onde valham os dois primeiros axiomas, o Teorema 1.1.1, mas não valha o Princípio da Indução. SUGESTÃO: Use os naturais mais um apêndice consistente com os dois primeiros axiomas e o teorema. 1.2 Soma e produto de números naturais Definição 1.2.1: A operação +: N N, tal que: a) + 1 = ) b) + ) = + ), sempre que + está definida, é chamada de soma. Definição 1.2.2: A operação : N N, tal que: a) 1 = b) ) = +, sempre que está definido, é chamada de produto. Observação 1: Como definimos acima que ) = + 1, no método de indução a condição ) pode ser reescrita como + 1. Observação 2: Podemos omitir o símbolo do produto e escrever =. Exercício 1.2.1: Demonstre que +, N. Não demonstraremos aqui, mas essas operações são consistentes com os axiomas e são únicas (isto é, as propriedades apresentadas são suficientes para definir as operações). Como ilustração de como obtemos a soma entre dois números naturais, façamos a soma 2 + 3: 1) = 2) = 2 + 1) = 3) = 2 + 2) = 4) 5 Agora demonstraremos algumas propriedades básicas dessas operações. Devemos ficar atentos a quais propriedades já foram demonstradas, pois, muitas vezes, usaremos teoremas já demonstrados sem aviso.

112 111 Teorema (associatividade da soma): + + ) = + ) +,, N. Demonstração: Fixemos e arbitrários. Vamos mostrar a propriedade por indução sobre. Para = 1 é verdade, pois + + 1) = + ) = + ) = + ) + 1. Supondo que valha para =, ou seja, + +) = + ) +, temos que vale para =+ 1, afinal, ) = + + ) = + +) = + +) = + ) + = + ) + ) = + ) + + 1). Observação: Na passagem destacada com *, parece que usamos o que queremos demonstrar para chegar à nossa conclusão, mas veja que o que usamos foi a hipótese indutiva, o que é lícito. Lema 1.2.1: + 1 = 1 + N. Demonstração: Para = 1 vale claramente, pois = Supondo para =, ou seja, + 1 = 1 +, então vale para =+ 1, afinal, + 1) + 1 = ) + 1 = + 1) = 1 +) = 1 + ) = ). Exercício 1.2.2: Mostre que 1 = N. Teorema 1.2.2: (comutatividade da soma): + = +, N. Demonstração: Fixemos um n arbitrário e façamos a indução sobre m. O teorema é válido para = 1, pois + 1 = 1 + pelo Lema Supondo para =, isto é, + =+, temos que vale para = + 1, já que + + 1) = + ) = +) = + ) = + + 1) = ) = + 1) +. Nas últimas duas passagens, usamos o Lema e a associatividade respectivamente. Teorema (associatividade do produto): ) = ),, N. Teorema (comutatividade do produto): =, N. Exercício 1.2.3: Demonstre os dois últimos teoremas. Teorema (distributividade): + ) = +,, N. Demonstração: Tomemos e arbitrários e prossigamos por indução sobre. A afirmação vale para = 1, pois + 1) = ) = + por definição. Supondo para =, ou seja, +) = +, obtemos que vale para =+ 1, pois + + 1) = + ) = +) = +) + = + ) + = + + ) = + + 1).

113 112 Teorema (leis de corte):,, N valem que: a) + = + ) = ) b) = ) = ) Demonstração: (a): Considerando e fixos e fazendo a indução sobre, temos que a propriedade vale para = 1, pois + 1 = + 1 ) = ) =, já que : N N é injetora. Supondo que valha para =, ou seja, + = + ) = ), obtemos que vale para =+ 1, afinal, + + 1) = + + 1) + ) = + ) +) = +) + = +, que, pela hipótese indutiva, é equivalente a =. Exercício 1.2.4: Faça a demonstração da parte (b) do teorema acima. Exercício 1.2.5: Caso tenha dúvida em algum teorema demonstrado, identifique as propriedades (definições e teoremas) usadas em cada passo da demonstração. O que foi feito até agora (e esse é o objetivo desse capítulo) foi uma formalização de propriedades operacionais que nos são comuns desde a infância. Observamos que, do ponto de vista formal, as propriedades não são tão evidentes. Observação: Mas e o zero? Muitos aprendem os naturais com o zero incluído. A opção tomada aqui, de não incluí-lo, foi devida a gosto e algumas facilidades em termos de demonstrações e definições. Axiomaticamente, o conjunto N com o zero incluído, ou não, permanece o mesmo, pois a única mudança nos axiomas é a troca do símbolo 1 pelo 0, que é uma mera questão de notação. A mudança está na estrutura formada sobre N, onde o zero faz o papel de elemento neutro da soma e nulo do produto, ou seja, a soma e produto são definidos de forma diferente. 1.3 Relação de ordem em N Tendo à disposição as propriedades da adição, podemos definir uma relação de ordem em N através da definição abaixo. Definição 1.3.1: Dizemos que é menor que e denotamos por < quando existe N tal que + =. Dizemos que é maior que e denotamos > quando <. Muitas vezes também é útil termos à disposição as relações (lê-se n é menor ou igual a m ) e ( n é maior ou igual a m ), que significam, respectivamente, < = e > =. Teorema 1.3.1: O número 1 é o menor número natural. Ou seja, = 1 ou > 1 N.

114 113 Demonstração: A propriedade claramente vale para = 1, pois 1 = 1. Se 1, temos, pelo Axioma (1 é o único natural que não é sucessor de outro), que existe N tal que = ) = + 1 e, portanto, > 1. Teorema (transitividade da ordem): Se,, N são tais que > e >, então >. Demonstração: Sabendo que > = + e > = +, temos = + ) + = + + ) = + >, onde = +. Teorema (monotonicidade da ordem): > + > + e > >. Exercício 1.3.1: Demonstre o teorema acima. Exercício 1.3.2: Demonstre que, se > e >, então + > + e >. SUGESTÃO: Use os dois últimos teoremas. Teorema (tricotomia): Dados, N quaisquer, vale uma, e apenas uma, das afirmações: >, > e =. Demonstração: Primeiro mostremos que só pode valer uma dessas afirmativas. Ou seja, ao ser uma verdadeira, as restantes não podem ser. a) > > ): Se >, então = + para algum N. Isso já exclui a possibilidade de = (Exercício 1.2.1). Supondo, por absurdo que também vale >, temos que = + e, assim, = + ) + = + + ) >, que é um absurdo. Bastando inverter e se consegue a demonstração para >. b) = ): Se =, não se pode ter > nem >, pois implicariam, respectivamente, que = + e = +. Agora mostremos que para todo, N alguma dessas propriedades deve ser satisfeita. Sendo um natural arbitrário fixo, consideremos o conjunto = N = > >. Vamos mostrar, por indução sobre n, que = N. Temos que 1 pelo Teorema Supondo que, vamos ter que + 1. Mas, para prosseguir a demonstração (provar que + 1 ), devemos separar nos casos <, > e =. a) ( < ): Nesse caso, existe N de forma que =+. Caso = 1, = + 1 e, assim, + 1. Mas, se 1, observemos que existe N tal que = ) = + 1, ou seja, =+ =+ + 1) = + 1) +, que é o mesmo que >+ 1. Logo + 1 também nesse caso. b) ( > ): Vemos, nesse caso, que = + para algum N. Obtendo o sucessor de ambos os membros, temos + 1 = + ) + 1 = + + 1) e, dessa forma, concluímos que + 1 >, que implica + 1

115 114 c) ( = ): Basta observar que + 1 = + 1. Assim, como se pode ver, + 1 >, mostrando que + 1. Mostramos, portanto, que = N. Observação: Veja que, tomando como relação de ordem a dada por, a transitividade continua valendo e, junto à tricotomia, faz dessa relação de ordem uma ordem total. Pode-se dizer que N é totalmente ordenado por >, pois, para que se encaixe precisamente na definição que damos para relação de ordem total, basta acrescentar os pares, ) N tais que =. Para demonstrar o Teorema 1.3.7, que é um dos resultados mais importantes da relação de ordem, vamos usar uma nova formulação da indução, dada abaixo. Teorema (Indução Completa): Se N, 1 e 1,2,, ) + 1 ), então = N. Demonstração: Seja o conjunto N tal que 1 e 1,2,, ) + 1 ). Consideremos também o conjunto N definido por = N 1,2,,. Observemos que. Mostraremos que = N e, portanto, que = N. 1, pois 1 é equivalente a 1, que é verdade por hipótese. Supondo que, ou seja, 1,2,,, temos que + 1, pois, pela hipótese indutiva e a propriedade do conjunto, temos que + 1 e, assim, 1,2,,, + 1. Logo, = N e, por seguinte, = N. Na demonstração do teorema acima, usamos um fato que ainda não foi demonstrado: não existe número natural entre e + 1. A demonstração fica como exercício. Exercício 1.3.3: Sendo um natural e + 1 seu sucessor, mostre que não existe número natural tal que < < + 1. SUGESTÃO: Não é necessário usar indução. Pode-se ter, ainda, mais uma generalização da indução, como mostrado abaixo. Teorema 1.3.6: Se N, e, para todo > tal que, se tem + 1, então = N 1,, 1. Demonstração: Consideremos o conjunto = 1, 1. Tem-se que 1 e, se, então + 1 (seja porque = 1, 1) ou porque, donde + 1 pela propriedade do conjunto ). Logo, = N e = 1, 1 = N 1, 1.

116 115 Observação: Embora não seja possível definir uma operação de subtração entre naturais, chamaremos o número natural tal que ) + =. Veja que devemos ter < para que seja natural. Exemplo 1.3.1: O número de diagonais de um polígono convexo de vértices é = ). Façamos a demonstração desse teorema da geometria por indução. O resultado é válido para = 3 (triângulo), pois ) = 0 e se sabe que o triângulo não possui diagonais. Supondo que valha para =, mostremos que vale para =+ 1. Tendo um polígono convexo de vértices, ao acrescentar um novo vértice, todas as diagonais do polígono anterior continuam a ser diagonais do novo e um dos lados se torna uma diagonal (afinal, o novo vértice aparece entre dois já existentes e o seguimento de reta que liga esses dois já existentes se torna uma diagonal). Além disso, se formam mais 2 diagonais, que são os seguimentos de reta que ligam o novo vértice a cada vértice não adjacente (isto é, não vizinho). Assim, esse novo polígono possuirá um número de diagonais igual a = = ) + 1 = ) ) = = ) ) = )), mostrando o resultado. Abaixo está ilustrada a passagem de um quadrilátero para um pentágono. Observação 1: No exemplo acima usamos um pouco de liberdade sem nos prender só ao que temos formalmente estabelecido até o momento. Observação 2: Chamasse polígono convexo o que, em cada vértice, tem o ângulo interno inferior a. Definição (mínimo e máximo): Diz-se que é o elemento mínimo (ou menor elemento) de um conjunto e denotamos por =min, quando e,, ( é uma relação de ordem total). De forma análoga, diz-se que é o elemento máximo (ou maior elemento) de um conjunto e denotamos por = max, quando e,,. Exemplo 1.3.2: Considerando o conjunto 1,3,6,7,9, temos que min1,3,6,7,9 = 1 e max1,3,6,7,9 = 9. Definição (boa ordem): Um conjunto é dito bem ordenado quando todo subconjunto não vazio de possui menor elemento. Em símbolos, ) ), =min, onde ) é o conjunto das partes de.

117 116 Observação: As duas últimas definições não se restringem apenas aos naturais. Pode-se ver que, se um conjunto possui elemento mínimo (máximo), ele é único. Com efeito, se e são mínimos (máximos) de um conjunto, então ( ), pelo fato de ser um mínimo (máximo), e ( ), pelo fato de ser um mínimo (máximo). Logo =. Exercício 1.3.4: Mostre que N não possui elemento máximo. Lembrando do Teorema I (Teorema do Bom Ordenamento), esse, como foi alertado lá, afirma que todo conjunto pode ser bem ordenado por alguma relação de ordem. Embora tenhamos usado esse teorema como motivação para encontrar uma relação de ordem total em N, nem sempre é possível explicitar a relação 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 existência de certas funções (funções escolha), mas nem sempre é possível explicitá-las. Então não é espantoso que essa característica, a de garantir a existência embora, muitas vezes, haja a impossibilidade de mostrar explicitamente, se mantenha no Teorema do Bom Ordenamento. Como veremos abaixo, no conjunto dos naturais é possível explicitar a ordem que o faz bem ordenado e essa é a ordem que definimos. Definição 1.3.4: Dado N, esse é dito limitado se existe N de forma que,,. Teorema (Princípio da Boa Ordem): N é bem ordenado. Demonstração: Consideremos a existência de um conjunto N que não possui menor elemento. Mostraremos que esse só pode ser o conjunto vazio. Sendo = N, 1, pois é o menor número natural e, assim, não pode pertencer a. Suponhamos que 1,2,,, então temos que + 1, pois, se tivéssemos + 1, esse seria o menor elemento de. Pelo Teorema 1.3.5, = N e, portanto, =. Exercício 1.3.5: Considerando N limitado, mostre que esse possui elemento máximo. 1.4 Potência de números naturais Com as operações de soma e produto definidas, pode-se definir a potência de números naturais. Definição 1.4.1: Sendo, N definimos: a) = b) = sempre que está bem definido.

118 117 Exemplo 1.4.1: Como exemplo de como obter potências de naturais, encontremos. Através da definição, temos =, = = = e = = =. Teorema 1.4.1: 1 = 1 N. Demonstração: Demonstremos por indução sobre n. Para = 1, 1 = 1 por definição. Supondo que valha para =, ou seja, 1 = 1, temos que 1 = 1 1 = 1 1 = 1, mostrando que vale para =+ 1 e, por seguinte, N. Teorema 1.4.2:,,, N valem: a) = b) = ) = ) c) ) = Demonstração: (a): Sendo um natural arbitrário, demonstraremos a propriedade por indução sobre. Para = 1 temos = = por definição. Supondo para =, isto é, =, temos que vale para =+ 1, pois ) = ) = = =, completando a demonstração. (b): Novamente tomaremos arbitrários e prosseguiremos por indução sobre. Para = 1 temos = = ) = ) pela definição. Observemos que basta mostrar que = ), pois a segunda igualdade é imediata pela comutatividade do produto. Supondo para =, ou seja, = ), temos ) = = = ) ) = ), 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 demonstração. Exemplo 1.4.1: 2 > para todo 3. Para = 3 temos 2 = 8 > 7 = Supondo para =, isto é, 2 > 2 + 1, temos que vale para = + 1, afinal, sendo 3, 2 > 2 + 1, por hipótese, e 2 > 2, temos 2 = 2 2 = > = 2 + 1) + 1 (isso porque, lembrando do Teorema 1.3.3, se > e >, então + > + ). Exercício 1.4.1: Mostre que, para todo 4, temos 2. SUGESTÃO: Use o resultado do exemplo acima. Exercício 1.4.2: Demonstre que 2 > N. 1.5 Somatório e produtório

119 118 Para um tratamento mais geral (embora não o mais geral possível) dos operadores que serão apresentados, consideraremos uma estrutura qualquer, +, ) com as seguintes propriedades: a) A operação + (soma) é comutativa e associativa. b) A operação (produto) é comutativa, associativa, distributiva em relação à soma e possui unidade (elemento, chamado de 1, tal que 1 = ). Definição (somatório): Sendo uma família de elementos tal que =, ou seja, indexado pelos primeiros números naturais, definimos o operador somatório desses elementos por: a) b) = = + sempre que está definido. Como exemplo, obtemos o somatório dos elementos do conjunto = : = = + = + = + = + + Observação: Pode-se ver que, ao mudarmos o índice "" por qualquer outro, por exemplo, "", o somatório não se altera, ou seja, =. Diz-se que os índices são mudos. Teorema 1.5.1: = + + N. Demonstração: Demonstremos por indução sobre n. Para = 1 é verdade por definição. Supondo que seja verdade para =, ou seja, = + +, temos que é verdade para =+ 1, afinal, = + = Corolário: O somatório não depende de uma particular indexação de Demonstração: Sendo = + + a soma por uma indexação, consideremos outra indexação tal que = + +. Pela associatividade e comutatividade da soma, a soma + + deve ser igual à + +, mostrando que não depende da indexação.

120 119 O teorema apresentado é a motivação para se definir o somatório, e justifica seu nome. Como veremos, a vantagem da notação de somatório vai além de ser uma notação compacta: muitas manipulações complexas de serem realizadas são mais simples através de somatórios. Abaixo são apresentadas algumas propriedades do somatório. Teorema 1.5.2: = N, ) Demonstração: Para = 1 a afirmação é verdadeira já que = = 1. Supondo que seja verdadeira para =, isto é, =, será verdadeira para = + 1, já que = + = + = + 1). Observação: Estamos chamando de o resultado da soma de n unidades ( n vezes), ou seja, = 1. Teorema (homogeneidade): ) = N, Demonstração: Do Teorema e da distributividade do produto em relação à soma, temos que = + + = + + ) = Teorema (propriedade aditiva): + ) N, ).. = + Demonstração: + ) = + ) ) = = +, onde se usou o Teorema e a associatividade e comutatividade da soma. Teorema (propriedade telescópica): Se, além 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, então ) = N. Demonstração: ) = ) + ) + + ) + ) = + + ) ) =, onde foi apenas necessário deslocar os parênteses (usando associatividade) de forma que os termos que se anulam fossem somados.

121 120 vendo que Exemplo 1.5.1: O somatório (de números reais) pode ser obtido ) = (verifique!). De fato, pois, sendo ) =, = teorema acima, nos leva a ) Exercício 1.5.1: Mostre que propriedade telescópica. = = = 1., que, pelo = onde R. SUGESTÃO: Use a Sabe-se que a indexação de é obtida por uma função sobrejetora : N, onde =. É natural que possa existir alguma regra que defina essa função e, assim, muitas vezes se pode escrever = ). Como também é possível ter o mesmo conjunto como a imagem de : N (com mesma regra definidora), é mais comum definirmos as funções com contradomínio e obter como a imagem. Para algumas classes de conjuntos, é possível obter uma fórmula fechada para o operador somatório. O exemplo abaixo, onde encontramos uma fórmula fechada para subconjuntos de N da forma N = 1,,, ilustra isso. Exemplo 1.5.2: Considere o subconjunto N de N. O somatório desse conjunto é dado por = ). A demonstração de tal resultado pode ser obtida por indução. De fato, o resultado é válido para = 1 e, ao supor que seja válido para =, isto é, = )) ) = ) = ), temos que o resultado vale para = + 1, afinal, + + 1) = ) + ) = )) = Observação: Como ainda não temos os naturais como um subconjunto dos reais, devemos tomar cuidado com o que estamos simbolizando por =. Estamos considerando que os três números da expressão são naturais e eles são tais que = (veja que é necessário que seja um múltiplo inteiro de para que a expressão possua sentido). Ou seja, ) é o número natural tal que 2 = + 1). No entanto, embora seja necessário salientar tais detalhes para um tratamento mais rigoroso, vezes iremos manipular expressões omitindo essas explicações preciosistas. Em alguns casos, podemos querer a soma dos elementos de de = (1 < ) a = e não de = 1 a =. Definimos, para esses casos, = e = + sempre que está definido. Também é possível que se queira não considerar algum elemento de e, nesse caso, sendo (1 < ) o elemento não considerado, definimos =. + Observação 1: Nas definições acima, usamos o sinal de menos, que está, normalmente, associado à soma com o inverso aditivo ( = + )), mas,

122 121 mesmo que a estrutura sobre A (conjunto do qual é subconjunto) não admita inverso aditivo para seus elementos, é possível definir uma subtração em A da forma como foi feita com os números naturais (veja a observação após o Teorema 1.3.6). Observação 2: Considerando a expressão, chamamos de limite inferior do somatório e de limite superior do somatório. Observação 3: Uma definição alternativa, em alguns casos, para =, mas nem sempre é conveniente. Exercício 1.5.2: Mostre que ) = com. é que Exemplo 1.5.3: Usando o que foi mostrado no Exemplo 1.5.2, podemos ver = = onde. + 1) 1) 1) + 1 = ) ) + + ) + ) ) + 1 = =, 2 2 Exercício 1.5.3: Mostre que 2 1) usando as propriedades do somatório. = de duas formas: por indução e Exercício 1.5.4: Mostre que = + chamada de abertura e uma manipulação útil que pode ser feita é = +.. Essa propriedade é = + Muitas vezes se deseja aplicar o operador somatório mais de uma vez, ou seja, ter expressões da forma,, etc.. Para o somatório duplo (expressão da forma ), pode-se ver que isso é possível se tivermos o conjunto ) de forma que = N (o que faz com que = ). Veja que na expressão = o índice não está sendo somado e sim pode admitir um valor arbitrário em N. Um índice que apareça dessa forma é chamado de índice livre. Observamos também que existe uma coerência do índice livre em ambos os membros da expressão, ou seja, o índice livre recebe mesmo nome (no caso, ) em ambos os lados da expressão. Pelo Teorema obtemos que o somatório de um conjunto = é dado por: tal que ) = =

123 temos: Exemplo 1.5.4: Seja = 1 = = 6 N de forma que =. Nesse caso = 2 = 2 = ) = 12 = 3 = 3 = ) = 18 = = = 36 Para um somatório múltiplo (duplo, triplo,...), podemos ter uma notação um pouco mais curta, como feito abaixo (com somatórios): =,,,,,, por Por exemplo, podemos denotar o somatório duplo,,, única vez (por exemplo,. No caso de todos os limites superiores coincidirem, basta escrevê-lo uma, =, ). Também é comum omitir os limites inferiores e superiores caso sejam subentendidos. Por exemplo, se se está trabalhando sempre com somatórios de 1 até, se subentende por. Teorema (comutatividade do somatório):, N e tal que = ) tem-se = ou, em notação mais, compacta,, =,,, =, (veja que essa última igualdade vem do fato dos índices serem mudos apenas se renomeou por e vice-versa). Demonstração: Demonstremos por indução sobre tomando um arbitrário. Para = 1, o resultado é verdadeiro, pois = =. Supondo que valha para =, ou seja, =, temos que vale para =+ 1, afinal,

124 123. = + ) = + ) = + ) = Para visualizar melhor a última passagem, lembre-se que = e, assim, ) =. Corolário:, N e,, +. tal que =, ) tem-se 2, = Esse corolário, que é uma conseqüência 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 função, chamada de Delta de Kronecker, que é muito útil algebricamente. Definição (Delta de Kronecker): Se existe em A um elemento, denotado 0, tal que 0 + =, então definimos a função : N de forma que:, ) = = 1 =, ) = = 0 A principal propriedade dessa função é = (1 ). Para mostrar essa propriedade, basta vermos que = = (pois = 1 e todos os outros termos se anulam). Naturalmente, a propriedade também vale caso existam outros índices livres além de, ou seja, = (k e j são índices livres). Em particular, temos =. Exercício 1.5.5: Mostre que sempre vale =. =. SUGESTÃO: Veja que, Exemplo 1.5.5: O somatório, é dado por,,, = = + + +,,, De fato, pois,, (veja a Definição 1.3.2). = =. O min, é devido ao fato de que, sendo 1 e 1, se anula para todo > (caso > ) ou para todo > (caso > ). Exercício 1.5.6: Verifique explicitamente o resultado do exemplo anterior,,. para Exercício 1.5.7: Mostre que, =. =. SUGESTÃO: Observe que

125 124 Exemplo 1.5.6: Para adequarmos algumas expressões a determinadas convenções, às vezes é necessário realizar uma fatoração do tipo + = + = + = +, onde usamos a propriedade =. Sendo = e =, quanto é? Num primeiro impulso, poderíamos pensar que = ) ) = ) =, onde se usou o Teorema 1.5.3, mas é simples encontrar um contra exemplo que mostre a falsidade dessa expressão. Com efeito, = + ao passo que = = +, = = + e = + ) + ) = Mas o que há de errado na manipulação feita inicialmente? Devemos ver que os índices são independentes (a variação de um não influencia na do outro) e, ao fazer o produto posto, devemos renomear ao menos um dos índices para garantir a independência. Ou seja, a expressão correta é = ) = ) = ). Aqui podemos ver uma das vantagens da notação de somatório. O que está dentro de um somatório pode ser manipulado da mesma forma como é feito caso não existisse o somatório (na última passagem simplesmente se considerou uma constante e, assim, pelo Teorema 1.5.3, pôde entrar no somatório de índice ). Exemplo 1.5.7: Considerando a soma, podemos ver que ) = ) = ) = ), onde se usou o resultado obtido no Exemplo = ) = Consideremos, para o próximo teorema, que a estrutura sobre constitui, mais precisamente, um corpo ordenado. Para que tenhamos o próximo 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 sendo um corpo e a relação de ordem a de um corpo ordenado, se, N,, então. Demonstração: A propriedade vale para = 1, pois = = por hipótese. Supondo que valha para =, ou seja,, temos que vale para =+ 1, pois temos = + + =, afinal, e. Exercício 1.5.8: Mostre que o resultado acima vale para = N, com a relação de ordem definida para N (subsecção 1.3). Veja que N não é um corpo.

126 125 Exemplo 1.5.8: Considerando ) = e ) = com, : N N, temos que ) = = ), pois ) = = ) N (mostre isso). Veja que, embora não saibamos os resultados explícitos dos somatórios, é possível dizer que um somatório é maior que o outro. Exercício 1.5.9: Mostre que Lembre-se do Teorema , N. SUGESTÃO: O teorema seguinte garante uma manipulação bastante útil em várias situações. Teorema (mudança de variável): Sendo : N, temos que ) = ) = + ), onde, e são tais que as subtrações feitas sejam positivas (num caso mais geral, que não apresentaremos agora, essa restrição pode ser eliminada). Demonstração: Usemos o Teorema para realizar a demonstração. O teorema é válido para =, pois, por um lado, ) = ) e, por outro lado, ) = + ) = ). Supondo que valha para =, ou seja, ) = ), temos que vale para =+ 1, afinal, ) ) ) ) = ) = ) + + ) + 1 ) = ) + + 1) = ). A segunda igualdade se demonstra analogamente. Exemplo 1.5.9: Embora possa parecer estranha a manipulação apresentada no Teorema 1.5.8, podemos ver o quanto ela é simples por um exemplo. Considere : N de forma que queiramos o somatório de 5 a 8. Ou seja, ) = 5) + 6) + 7) + 8). Mas vemos que o somatório não se altera ao somarmos 2 aos limites do somatório e subtrairmos 2 da variável. De fato, pois 2) = 2) = 7 2) + 8 2) + 9 2) ) = 5) + 6) + 7) + 8). Podemos definir em um corpo uma potência de expoente inteiro, como feito abaixo. Definição (potência com expoente inteiro): Sendo, +, ) um corpo, ) = = 0 = 1 N, e ), definimos: a) = 1 b) = sempre que está definido. c) = se está definido. Não é difícil verificar que as propriedades demonstradas para a potência de naturais continuam válidas para esse caso. Temos ainda que = = 1 =.

127 126 Pela definição, 0 = 1, mas, sendo 0, 0 = 0. Isso parece contraditório, fazendo-nos pensar se é realmente uma definição apropriada, mas o resultado apresentado é conveniente por diversos motivos. Duas outras propriedades dessa definição de potência são dadas no teorema abaixo. Teorema 1.5.9: Sendo, +, ) um corpo com a potência de expoente inteiro definida como acima, temos que: a) = se 0 ou = 0. b) = se 0. Demonstração: (a): Se = 0, a expressão só fica definida com = 0 e, nesse caso, temos = 0 = 0. No caso de 0, qualquer expoente é válido e, assim, demonstremos o resultado por indução sobre já observando que o resultado é válido para = 0, pois = =. O resultado vale para = 1 já que = = = e, ao supormos que valha para =, isto é, =, temos que vale para =+ 1, afinal, mostrando o resultado. = = = = = ), (b): Demonstremos por indução sobre já vendo que o resultado é válido para = 0, afinal, = 1 =. O resultado vale para = 1, já que = =, e, ao supor que valha para =, ou seja, =, obtemos que o resultado vale para = + 1, pois = = = demonstração. = e isso completa a Defninição (produtório): Sendo uma família de elementos tal que =, definimos o operador produtório desses elementos por: a) = b) = sempre que está definido. Essa definição é semelhante à de somatório (apenas se trocou a soma pelo produto). A propriedade demonstrada no Teorema possui análogo nesse caso (mostre isso), ou seja, = e o corolário também continua válido. Como será visto, existem outras mais características do operador produtório que são análogas a alguma do somatório. Observação: Os índices do produtório também são mudos. Ou seja, o produtório não muda se mudarmos o nome dos índices.

128 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 demonstrações serão deixadas como exercício devido à semelhança com as já feitas para o somatório. Teorema : Para o produtório valem as seguintes afirmações: a) = b) = c) =, Exercício : Mostre o teorema acima. Salvo alguns detalhes, podemos ver que essas propriedades são análogas às mostradas nos teoremas 1.5.2, e Lembremos que num corpo é sempre possível definir uma operação /:,) /, chamada divisão, onde =. Assim, temos o teorema seguinte. vale: Teorema : Sendo, com 0 N, temos que = a) b) = se 0 N. Exercício : Mostre o teorema acima. A propriedade apresentada na parte (a) do teorema acima na verdade é análoga a uma propriedade não apresentada do somatório: ) = (mostre isso considerando a operação subtração definida para corpos). Já a apresentada na parte (b) é a propriedade telescópica do produtório. Exemplo : Sendo : N R tal que ) = + 1, quanto é ) = + 1? Podemos resolver tal questão observando que + 1 =. Assim, + 1 =. Ora, sendo =, temos que esse produtório é telescópico e, dessa forma, + 1 = = + 1. Exemplo : Considerando : N R tal que ) = resultado anterior para encontrar o produtório = e, portanto, = = =. ) =, podemos usar o Exercício : Sendo : N R tal que ) = 1 + +, encontre ). De fato, pois.

129 128 De forma análoga ao somatório, é possível que se queira o produtório de um conjunto de (1 ) a e, para esse caso, definimos = e = sempre que está definido. Também podemos não querer considerar um determinado elemento de e, sendo o indesejado (1 ), definimos = ). Exercício : Mostre que = com. Exercício : Mostre que, sendo : N R tal que ) = 1 = =. ) Exercício : Mostre que =. Essa é a propriedade de abertura para o produtório. Também não é estranha a idéia de produtório duplo, triplo, etc.. Assim, podemos ter expressões do tipo. Como o caso é análogo ao do somatório, podemos adotar todas as notações já introduzidas para somatórios múltiplos. Teorema (comutatividade do produtório):, N e tal que = ) tem-se = ou, de forma mais,,, compacta,, =, =, (essa última igualdade vem do fato dos índices serem mudos apenas se renomeou por e vice-versa)., Exercício : Mostre o teorema acima. Corolário:, N e,,., =, Exercício : Demonstre o corolário acima., tal que = ) tem-se Esse corolário é o resultado análogo ao obtido para o somatório. Exemplo : Considerando : N tal que, ) = ), temos que ) ), ) =, = = ) = ) ) ) = ) = 1, onde se usou o fato de ) ser um produto telescópico e os resultados dos exemplos e Poder-se-ia obter o mesmo resultado usando o corolário do teorema. De fato, pois, 1 = 1. ), ) = ), ) ) ) = Teorema (mudança de variável): Sendo : N, temos que ) = ) = + ), onde, e são tais que as subtrações

130 129 feitas sejam positivas (é possível tirar essa restrição num caso mais geral, que não será apresentado agora). Demonstração: Usemos o Teorema O teorema é válido para =, pois, por um lado, ) = ) e, por outro lado, ) = + ) = ). Supondo que valha para =, isto é, ) = ), temos ) que vale para =+ 1, afinal, ) = ) = ) ) + ) + 1 ) = ) + 1) = ). A segunda igualdade se demonstra analogamente. 1.6 Teorema Binomial de Newton ) Consideraremos a estrutura, +, ) um corpo e, para auxiliar as definições que serão feitas, definiremos ) o conjunto tal que ) = = 0 = 1 N. O Teorema Binomial de Newton é o teorema que nos permite expandir expressões da forma + ) (, ) ), chamados de binômios, em um polinômio (expressão da forma ). Não é difícil ver que a expressão + ) dá origem a um polinômio, mas o teorema que será demonstrado nos permite encontrar os coeficientes do polinômio (os,,, ) facilmente. Definição (fatorial): Definimos a função fatorial!: ) por: a) 0! = 1 b)! = 1)! sempre que 1)! está definido. De imediato podemos ver que 1! = 1 1 1)! = 1 0! = 0! = 1. Um resultado que podemos ter é que! = = 1 2 se > 0. Demonstremos isso por indução. 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 é )!! = + ) = + 1) + 2) + ) se > 0 (mostre isso). O fatorial é útil em várias áreas na matemática. Em especial, na Análise Combinatória. Para a próxima definição, tomemos =,) ). Definição (coeficiente binomial): O coeficiente binomial é definido pela função ( ): tal que:..,) = =!! )!

131 130 Duas propriedades que podemos perceber dessa função são = = 1 e = + 1. De fato, pois = )! = )! = + 1.!)!!! Exercício 1.6.1: Mostre que =.! =! = 1 =! =!)!!!!!! =!)! e = Essa definição também é muito freqüente na matemática em diversas áreas. Abaixo segue um teorema que nos será necessário na demonstração do Teorema Binomial de Newton. temos que: Teorema (relação de Stifel): Sendo, ) 0 com + 1 = + 1 Demonstração: Sendo, pode-se ver que existe em ) tal que = +. Assim, tomando o lado direito da expressão: = = + )!! + )! + + )! 1)! + ) 1)! + )! + )! = +!! 1)! + 1)! = + )! 1)!! + + )! 1)!! + 1) + )! = 1)!! = + )! )!! + 1) + )! + 1) )! = = 1)!! + 1)! + 1)! + + 1)! = = = + 1! + + 1) )! Teorema (Teorema Binomial de Newton): Para quaisquer e ), vale que: 1 + ) = 1 ) Demonstração: Demonstraremos por indução sobre já observando que o resultado é satisfeito para = 0, pois ) = ) = 1 = 1 + ). Podemos ver que o resultado vale para = 1 já que ) = ) + ) = + = + 1. Ao supor que valha para =, isto é, 1 + ) = ), temos que vale para = + 1. Com efeito:

132 ) = 1 + ) 1 + ) = 1 ) 1 + ) = + 1) 1 ) = 1 ) + 1 ) = 1 ) + 1 = 1 1 ) + = = = ) ) ) ) ) ) ) + 1 ç á + ) ) ) = + 1 ) + 2 ) + 1 = + çã ) = ) + 1 = ) = ) E esse é o resultado procurado. ) ) 1 ) = ) ) ) Mas o que queremos é o resultado para + ) em geral, embora o resultado acima já seja realmente útil. Poderíamos ter demonstrado já para o caso

133 132 geral, mas tornaria a demonstração mais complicada. Demonstrado o teorema acima, o resultado geral é um corolário. Corolário: Para quaisquer, e ), vale que: + ) = 1 ) Demonstração: 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 ) = 1 ) = 1 ) = ) 1 ) 1 ) Existem generalizações do teorema para fracionário e negativo, mas esses casos resultam em polinômios de infinitos termos (uma série infinita foram esses os casos que Newton realmente estudou). Observação importante: Devido à nossa escolha de não incluir o zero nos naturais, tivemos que enunciar o teorema como feito acima. No entanto pode-se ver que, por uma mudança de variável (por enquanto ilícita), podemos reescrever o teorema como + ) =, que é uma expressão visivelmente mais simples. Dentro do que temos, podemos improvisar definindo ) = 0) se = 0 e ) = 0) + ) se N, onde : N 0 com 0. Alguns resultados imediatos do teorema são: a) 2 =, onde se usou o teorema com = 1. b) 0 = 1) se > 0, onde se usou o teorema com = 1. O Teorema Binomial de Newton transforma expressões da forma + ) em uma soma onde, basicamente, se precisa apenas calcular os coeficientes (ou se a soma começa de 0). É muito mais simples, em geral, calcular esses coeficientes que a expressão + ) por multiplicações sucessivas, mas a relação de Stifel nos traz mais um resultado facilitador. Considerando os binômios + ) e + ), com coeficientes binomiais, respectivamente, da forma e, a relação = + pode ser vista como o coeficiente + 1 (lembrando que a soma começa de = 0) do binômio + ) é igual à soma dos coeficientes + 1 e do binômio + ). Essa afirmação só faz sentido caso não corresponda a uma

134 133 extremidade do binômio ( = 0 ou = + 1 no caso de + ) ), no entanto se sabe que nas extremidades o coeficiente binomial é 1. Começando pelos binômios + ) = 1, donde se tem que o coeficiente é 1, e + ) = +, que possui coeficientes binomiais 1 e 1, podemos obter os coeficientes dos binômios com > 1 pela relação de Stifel. Por exemplo, os coeficientes de + ) são 1, 2 e 1, onde o primeiro e o último são 1 por serem extremidades e o segundo se obtêm por = = + = 2. Realizando sucessivamente esse processo obtemos os seguintes resultados: = 0: 1 = 1: 1 1 = 2: = = 3: = = = 4: = = = Como se pode ver, é simples obter essa sucessão (chamada de Triângulo de Pascal). Mas, além dos coeficientes, temos que ter os expoentes. Não é difícil verificar que, considerando o binômio + ) =, o expoente de decresce de até 0 ao passo que o de cresce de 0 até. Assim, por exemplo, a expressão + ) pode ser escrita como + ) = , onde usamos o Triângulo de Pascal. Exercício 1.6.2: Faça a expansão dos binômios + ), + e. Exercícios III 1 Durante os exercícios, considere que as propriedades operacionais e de ordem são a de um corpo. Considere também que ) = = 0 = 1 N. Nos exercícios 6, 7 e 8, as demonstrações não precisam ser de todo rigorosas (como feito no Exemplo 1.3.1). 1 Mostre que o Princípio da Boa Ordem implica o Princípio da Indução (Axioma 1.1.3). 2 Um número natural é dito par se existe N tal que = 2 e um número é dito ímpar se existe N tal que = 2 1. Mostre que, dado um N, é par ou ímpar e não pode ser ambos. Mais precisamente, sendo o conjunto dos naturais pares e o conjunto dos naturais ímpares, mostre que N = e que =. 3 Dado N não vazio tal que,, + ), mostre que existe N de forma que = N = N (conjunto dos múltiplos de ).

135 134 4 Mostre que todo natural par > 1 pode ser escrito como = 2 para algum N e ímpar. 5 Usando indução, mostre que: a) 6 = + 1)2 + 1) b) 4 = + 1) c) 2 = 2 1 d)! > 2 4 e) se e. 6 Torre de Hanói é um conhecido jogo constituído de três hastes (1, 2 e 3) e um conjunto de discos com diâmetros distintos, os quais colocados em ordem crescente de diâmetro na haste 1 (contando de cima para baixo). O objetivo é passar esses discos para a haste 3 com o menor números de movimentos possível (um movimento consiste em passar um disco de uma haste para outra). As regras são as seguintes: a) Só se pode mover um disco de cada vez. b) Só se pode mover o disco de menor diâmetro numa haste. c) Um disco de diâmetro menor nunca poderá estar embaixo de um disco de diâmetro maior. Mostre que o menor número possível de movimentos para uma Torre de Hanói com discos é 2 1. Compare o resultado com o do item (c) do exercício anterior e interprete-o. SUGESTÃO: Use indução e observe que, para uma torre de ( > 1) discos, precisamos colocar 1 primeiros discos na haste 2 para ser possível passar o último (de diâmetro maior) para a haste 3. 7 Considere retas num plano. Mostre que o mapa formado por essas retas pode ser colorido com duas cores sem que regiões vizinhas sejam coloridas com a mesma cor (uma região é vizinha de outra se existe um segmento de reta separando-as).