Close Dialog

Powered by UserVoice

Material de Estudo
o o o o o o o o o o o o o o o o o o o o o o o
Administrao Agronomia Arquitetura Cincia da Computao Cincias Biolgicas Cincias Econmicas Direito Educao Enfermagem Eng. Agronmica Eng. Civil Eng. de Produo Eng. Eltrica Eng. Mecnica Eng. Mecatrnica Eng. Qumica Farmcia Fisioterapia Fsica Letras Matemtica Psicopedagogia Qumica

VER TUDO

ARQUIVOS EM DESTAQUEComunidade

Acadmica

CURSOSEnfermagemQumicaMedicinaINSTITUIES DE ENSINO
Buscar arquiv

UFRGS

UFBA

UFRJ

Buscar arquivos, pessoas, cursos

Login Cadastro

Introducao a Algebra Abstrata - Jaime Evaristo

row

Enviado por: Rudy P. | 0 comentrios Download denunciarrow Introduo lgebra Abstrata - 1 Introduo lgebra Abstrata - 1

Introduo lgebra Abstrata - 2 Jaime Evaristo

Mestre em Matemtica Professor Adjunto Instituto de Computao Universidade Federal de Alagoas Eduardo Perdigo Doutor em Matemtica Professor Aposentado Instituto de Matemtica Universidade Federal de Alagoas Introduo lgebra Abstrata Segunda Edio Formato Digital Macei, agosto de 2010 Introduo lgebra Abstrata - 3

Prefcio (da primeira edio) Prefcio (da atual edio) 1. Conjuntos e Funes 1.1 Entes primitivos 1.2 Conjuntos 1.3 Igualdade 1.4 Subconjuntos 1.5 Uma representao de conjuntos 1.6 As expresses se ento e se e somente se 1.7 Igualdade de conjuntos 1.8 Par ordenado e produto cartesiano 1.9 Relaes binrias 1.10 Funes 1.1 O Conjunto Vazio 1.12 Operaes 1.13 Operaes com predicados (operaes lgicas) 1.14 Operaes com conjuntos 1.15 Uma operao com funes 1.16 Funes inversveis 1.17 Exerccios 2. Os nmeros naturais 2.2 O conjunto dos nmeros naturais 2.3 Operaes no conjunto dos nmeros naturais 2.4 Equaes no conjunto dos nmeros naturais 2.5 Uma relao de ordem no conjunto dos nmeros naturais 2.6 Conjuntos finitos 2.7 Exerccios 3. Os nmeros inteiros 3.1 Introduo 3.2 Anis 3.3 Elementos inversveis 3.4 Igualdade de anis: anis isomorfos 3.5 Domnios de integridade 3.6 Anis ordenados 3.7 Domnios bem ordenados 3.8 O conjunto dos nmeros inteiros 3.9 Inversibilidade no domnio dos inteiros 3.10 Sequncias estritamente decrescentes de inteiros 3.1 Os naturais e os inteiros 3.12 Exerccios 4. Algoritmos

5 6 7 7 7 7 8 8 9 9 10 10 12 13 13 15 17 17 18 20 23 23 24 28 29 30 32 3 3 3 38 38 39 40 41 42 46 47 48 48 51

2.1 Axiomas, teorias axiomticas, objetos construdos axiomaticamente 23

4.1 Introduo 4.2 Exemplos 4.3 Exerccios 5. Representao dos nmeros inteiros: sistemas de numerao 5.1 Diviso euclidiana 5.2 A relao b divide a 5.4 Somas e produtos de inteiros 5.5 Aplicaes computao 5.5 Aplicaes computao 5.5.1 Representao de caracteres em computadores 5.5.2 Representao de inteiros em computadores 5.5.3 Um algoritmo rpido para potncias 5.6 Exerccios 6.1 Introduo 6.2 Mximo divisor comum 6.3 Inteiros primos entre si 6.4 Equaes diofantinas 6.5 Nmeros primos 6.6 Frmulas geradoras de primos 6.7 A Conjectura de Goldbach 6.8 O ltimo Teorema de Fermat 6.9 Exerccios 7. Os inteiros mdulo n 7.1 Introduo 7.2 A relao congruncia mdulo n 7.3 Uma aplicao: critrios de divisibilidade 7.4 Duas mgicas matemticas 7. 5 Outra aplicao: a prova dos nove 7.6 Potncias mdulo n 7.7 Os inteiros mdulo n 7.8 Congruncias Lineares 7.9 A funo de Euler 7.10 Uma aplicao: criptografia RSA 7.10.1 Introduo 7.10.2 O sistema de criptografia RSA 7.1 Exerccios 8. Os nmeros inteiros: construo por definio 9. Os nmeros racionais 9.1 Introduo 9.2 O corpo de fraes de um domnio de integridade 9.3 Os nmeros racionais 59 61 61 61 62 62 64 67 67 69 70 71 76 78 78 79 81 81 81 84 84 85 86 87 90 93 95 95 96 98 100 102 102 102 104

51 52 54 5 5 56

6. Teorema Fundamental da Aritmtica: nmeros primos 67

9.4 "Nmeros" no racionais 9.5 Diviso euclidiana Parte I 9.6 O algoritmo de Euclides - parte I 9.7 Exerccios 10. Os nmeros reais 10.1 Introduo 10.2 Sequncia de nmeros racionais 10.3 Os nmeros reais Bibliografia Introduo lgebra Abstrata - 4 ndice

106 107 108 109 1 1 1 113 117

remissivo................................................................................................................................118 Introduo lgebra Abstrata - 5 Prefcio (da primeira edio) Quem atua em processos de ensino/aprendizagem de matemtica, fatalmente, j teve de ouvir a pergunta: por que se estuda Matemtica? Alm do fato dela permitir o exerccio de algumas aes prticas do cidado (como o gerenciamento de suas finanas, por exemplo) e a compreenso de alguns fenmenos relativos sociedade (como a evoluo de uma populao, por exemplo), a Matemtica fornece uma poderosa ferramenta simblica que serve de suporte ao pensamento humano, explicitando intensidades, relaes entre grandezas e relaes lgicas, sendo, por este motivo e por excelncia, a linguagem da Cincia. Alm disto, o ato de estudar Matemtica desenvolve o raciocnio do estudante e isto permite que ele seja capaz de compreender com mais facilidade os conceitos de outros ramos do conhecimento humano e as inter-relaes entre estes conceitos. A lgebra Abstrata, estabelecendo os seus fundamentos, onde a linguagem matemtica definida e onde a compreenso dos conceitos, pelos seus nveis de abstrao, requer o desenvolvimento de raciocnios que ajudaro na aprendizagem de outras cincias. O escopo deste livro servir de livro-texto para uma disciplina inicial de lgebra Abstrata e foi concebido de tal forma que no exige nenhum conhecimento anterior, podendo tambm ser lido por estudantes ou profissionais de outras reas que pretendam ter uma ideia do que Matemtica. Para que o seu contedo seja autossuficiente, o livro contm a construo de todos os conjuntos numricos, com exceo do Conjunto dos Nmeros Complexos. Alm disto, e considerando a sua importncia nas aplicaes, o livro apresenta um estudo detalhado dos nmeros inteiros, discutindo suas propriedades, nmeros primos, fatorao, etc. O livro tambm apresenta uma aplicao muito importante da lgebra abstrata informtica e uma amostra (naturalmente, num exemplo bem simples) de como se pode fazer pesquisa em Matemtica, apresentando definies de conjuntos e de funes que no constam da literatura. Uma parte importante do livro so seus 121 exerccios propostos. Alguns tm o objetivo de fixar a aprendizagem; outros so acrscimos teoria exposta. O estudante deve tentar exaustivamente solucionar todos eles, no procurando ver a soluo que se apresenta ao menor sinal de dificuldade (as solues de todas as questes esto disponveis em

w.ccen.ufal.br/jaime). O esforo que se realiza ao se tentar resolver um problema de matemtica, bem sucedido ou no, muito importante para o processo da aprendizagem. Os autores agradecem a Elizamar Batista dos Santos e a Alcineu Bazilio Rodrigues Jnior pela colaborao na digitao do livro e, antecipadamente, a todo leitor, estudante ou professor, que enviar qualquer crtica ou sugesto para jaime@ccen.ufal.br ou para perdigao@mat.ufal.br. Os autores tambm agradecem ao Professor Antnio Carlos Marques da Silva que emitiu parecer sobre o material do livro para apreciao do Conselho Editorial da EDUFAL e ao Professor Eraldo Ferraz, Diretor da citada editora pelo empenho em publicar esta obra. Macei, julho de 2002 Jaime Evaristo Eduardo Perdigo Introduo lgebra Abstrata - 6 Prefcio (da atual edio) Esta segunda edio uma reviso bastante acurada do texto original, incluindo correes de erros de digitao e erros de conceitos, destaques de alguns contedos como novas sees, apresentao de novas demonstraes de proposies matemticas e introduo, excluso e reordenao de exerccios propostos, dentre outra modificaes. Alm de contar com as percepes de erros e sugestes dos meus alunos que utilizaram a primeira edio no perodo compreendido entre de 2002 e 2008, esta segunda edio teve importante participao dos alunos do curso de Cincia da Computao da Universidade Federal de Alagoas Ailton Felix de Lima Filho, Bruno Normande Lins, Emanuella Toledo Lopes, Erique Cavalcante Medeiros da Hora, Fernando Henrique Tavares Lima da Silva, Jnathas Magalhes Nunes, Kaio Cezar da Silva Oliveira, Michael Denison Lemos Martins, Michel Alves dos Santos, Wylken dos Santos Machado, Yuri Soares Brando Vanderlei, Clenisson Calaa Cavalcante Gomes, Dielson Sales de Carvalho, Erick Diego Odilon de Lima, Everton Hercilio do Nascimento Santos, Fernanda Silva Bezerra de Albuquerque, Rafael Fernandes Pugliese de Moraes, Rafael Henrique Santos Rocha, Daniel Duarte Baracho, Diogo Felipe da Costa Carvalho, Gilton Jos Ferreira da Silva, Joo Pedro Brazil Silva, Kalline Nascimento da Nbrega, Rvanes Rocha Lins, Rodrigo Rozendo Bastos, Samuel das Chagas Macena, Srgio Rafael Tenrio da Silva, Thiago Luiz Cavalcante Peixoto. Sem demrito para os demais, gostaria de ressaltar a participao bastante efetiva do aluno Gerlivaldo Felinto da Silva. Sendo uma edio digital, correes e incluses no texto podem ser feitas a qualquer momento. Assim, os autores agradecem a participao dos leitores no sentido da melhoria do livro (inclusive, com a incluso de novos exerccios) e prometem registrar no livro estas participaes. Toda e qualquer observao deve ser encaminhada para jaime@ccen.ufal.br, com o assunto LIVRO INTRODUO LGEBRA ABSTRATA. Macei, agosto 2010

Jaime Evaristo Eduardo Perdigo Introduo lgebra Abstrata - 7 1. Conjuntos e Funes 1.1 Entes primitivos Segundo o Dicionrio Aurlio, definir enunciar os atributos essenciais e especficos de (uma coisa), de modo que a torne inconfundvel com outra. Para que o objetivo de uma definio seja atingido, devem ser observados dois aspectos: uma definio s pode conter termos que foram definidos previamente e uma definio de um objeto no pode conter um termo cuja definio contenha referncia ao prprio objeto. Exemplos claros de definies que pecam em relao ao segundo aspecto levantado so: um ponto a interseo de duas retas e uma reta um conjunto de pontos. Com estas definies, para se entender o que um ponto seria necessrio saber o que era uma reta e para compreender o que uma reta indispensvel se saber o que um ponto. Em alguns livros de Matemtica do ensino mdio encontra-se a seguinte "definio" de conjunto: conjunto uma coleo de objetos. O problema agora que esta "definio" d margem seguinte pergunta: e o que uma coleo de objetos? A resposta no poderia ser conjunto pois cairamos no outro problema. Algumas cincias, como a Matemtica e a Fsica, necessitam considerar entes, relaes ou grandezas que no so definidos, ditas ento entes primitivos, grandezas primitivas ou relaes estabelecidas primitivamente. Por exemplo, ponto, reta e plano so entes primitivos da Geometria Euclidiana enquanto que o tempo, a distncia e a massa so grandezas primitivas da Mecnica Newtoniana. Estabelecidos os entes primitivos de uma cincia, pode-se ento se definir novos objetos, e a partir destes, definir-se novos outros objetos, e assim por diante. Por exemplo, a partir das grandezas fsicas da Mecnica pode-se definir velocidade como o quociente entre a distncia percorrida e o tempo gasto para percorr-la implicando no fato de que velocidade no uma grandeza primitiva. A partir da grandeza fsica no primitiva velocidade e da grandeza primitiva tempo pode-se definir acelerao como sendo a variao da velocidade na unidade de tempo. 1.2 Conjuntos Em Matemtica, conjunto um ente primitivo e portanto no definido. Entendemos conjunto como uma coleo de objetos, no sentido coloquial do termo. Os objetos que compem a coleo que est sendo considerada um conjunto so chamados elementos do referido conjunto. De um modo geral, conjuntos so representados por letras maisculas e seus elementos por letras minsculas. Se A designa um conjunto e a um dos elementos, dizemos que a pertence a A, isto sendo simbolizado por a A. Estabelecemos ento, tambm de forma primitiva, a

relao de pertinncia entre um conjunto e seus elementos. Naturalmente, se um objeto no est na coleo que se est considerando como um conjunto dizemos que tal objeto no pertence ao tal conjunto, sendo utilizado o smbolo para negar a relao de pertinncia. Introduzido o conceito primitivo de conjunto podemos apresentar um exemplo de um objeto da Matemtica que definido a partir dos entes primitivos ponto, reta, plano e conjunto e da grandeza primitiva distncia: dados um plano , um ponto p pertencente a e um nmero real r, a

situados a uma distncia r do ponto p circunferncia de centro p, de raio r e contida no plano o conjunto dos pontos do plano 1.3 Igualdade Na linguagem coloquial, dois objetos so ditos iguais quando so do mesmo tipo e tm a mesma aparncia. No tem sentido se dizer que uma cadeira igual a um sof; se dito que duas cadeiras so iguais elas so praticamente indistinguveis a uma simples espiada. Introduo lgebra Abstrata - 8 Em Matemtica, o conceito de igualdade considerado primitivo, entendendo-se que quando ficar estabelecido que dois objetos matemticos so iguais eles podem ser considerados o mesmo objeto. A igualdade de dois objetos representada pelo smbolo = e sero consideradas verdadeiras as seguintes afirmaes: 1. Todo objeto igual a ele mesmo: a = a, qualquer que seja o objeto a. 2. Se um objeto igual a outro, este igual quele (se a = b ento b = a); 3. Dois objetos iguais a um terceiro objeto so iguais entre si (se a = b e b = c ento a = c). Se dois objetos no so iguais (e portanto, no so o mesmo objeto) dizemos que eles so diferentes, indicando este fato pelo smbolo . Como igualdade em Matemtica um conceito primitivo, toda vez que se introduz (primitivamente ou por definio) um ente matemtico necessrio se estabelecer quando dois representantes desse ente sero considerados iguais. Por exemplo, introduzido o ente matemtico conjunto, devemos estabelecer quando dois conjuntos sero ditos iguais. Isto ser feito na seo 1.7. 1.4 Subconjuntos

Sejam A e B dois conjuntos. Por definio, dizemos que o conjunto A subconjunto do conjunto B se todo elemento de A tambm elemento de B. Quando isto acontece, escrevemos A B, que lido A subconjunto de B ou A est contido em B. Neste caso, tambm podemos escrever B A, que lido B contm A. A negao de A B indicada por A B e, evidentemente, verdadeira se A possuir pelo menos um elemento que no pertena a B. As seguintes afirmaes so claramente verdadeiras: 1. A A, qualquer que seja o conjunto A. 2. Se A B e B C ento A C, quaisquer que sejam os conjuntos A, B e C. A afirmao 1 justificada pelo fato bvio de que todo elemento do conjunto A elemento do conjunto A. A afirmao 2 se justifica com o seguinte argumento: de A B segue que todo elemento de A elemento de B; porm, como B C, temos que todo elemento de B elemento de C. Logo, todo elemento do conjunto A elemento do conjunto C, mostrando que A C. Qualquer argumento que justifica a veracidade de uma afirmao matemtica chamado demonstrao daquela afirmao. Observe que se A e B so dois conjuntos tais que A B pode ocorrer que se tenha A = B. Quando dois conjuntos A e B so tais que A B e A B, dizemos que A subconjunto prprio de B. 1.5 Uma representao de conjuntos Uma das formas de se representar um conjunto exibir os seus elementos entre chaves {}.

letras do alfabeto pode ser indicado por A = {a, b, c, , z}, onde as reticncias so utilizadas para acentuadas, caracteres de pontuao, etc Por exemplo, A = {a, b, c} o conjunto das trs primeiras letras do alfabeto latino. O conjunto das simplificao e substituem as letras de d a y. O uso de reticncias para subentender alguns (s vezes muitos) elementos de um conjunto s possvel se os elementos do conjunto obedecerem a uma ordenao (no sentido usual do termo) previamente conhecida. Quando isto no acontece, as nicas alternativas so explicitar todos os elementos do conjunto ou definir o conjunto por uma expresso da lngua que se est utilizando. Um exemplo de um desses conjuntos poderia ser o conjunto dos caracteres da lngua portuguesa, que possui letras maisculas e minsculas, dgitos, letras Os elementos de um conjunto podem ser outros conjuntos. Por exemplo, o alfabeto pode ser visto como um conjunto que possui dois conjuntos: o conjunto das vogais e o conjunto das Introduo lgebra Abstrata - 9

A = {{a}, {a, b}, {a, b, c}, ,{a, b, c, ...,z}}. consoantes. Do mesmo modo, podemos pensar em conjuntos como 1.6 As expresses se ento e se e somente se Os dicionrios da lngua portuguesa apresentam, entre outras acepes, o vocbulo ento na classe gramatical advrbio significando nesse caso, assim sendo, em tal caso. Nesse sentido, o ento sempre (ou quase sempre, por precauo) precedido de uma orao que se inicia pela conjuno se, a qual define o nesse caso, o assim sendo, o tal caso: amanh, se fizer sol, ento iremos praia; se voc no estudar, ento voc no ser aprovado. Observe que a afirmao amanh, se fizer sol, ento iremos praia no ser desdita se no dia seguinte no fizer sol e, mesmo assim, o grupo tiver ido praia. A afirmao fez referncia ao programa que seria feito na hiptese de fazer sol. Nada foi dito em relao ao que seria feito se no fizesse sol. Se p e q so duas afirmaes matemticas, a assertiva se p, ento q estabelece que a veracidade de p implica a veracidade de q: se p ocorrer, q tambm ocorre. Para a ocorrncia de q suficiente que p ocorra. Se a afirmao anterior fosse amanh, se fizer sol, e s nesta hiptese, iremos praia, a situao seria outra. Neste caso, se no dia seguinte fizer sol, o grupo vai praia. Se no dia seguinte o grupo foi praia porque fez sol. A Matemtica ao invs de usar o e s nesta hiptese utiliza a expresso se e somente se e para tal altera a ordem das afirmativas: amanh iremos praia se e somente se fizer sol. Se p e q so duas afirmaes matemticas a assertiva p se e somente se q estabelece que a veracidade de p implica a veracidade de q e, reciprocamente, a veracidade de q acarreta a veracidade de p: se p ocorrer, q tambm ocorre (a ocorrncia de p suficiente para a ocorrncia q); se q ocorrer, p tambm ocorre ou se q ocorreu, p tambm ocorreu (a veracidade de p necessria para a veracidade de q. Uma afirmao do tipo se p, ento q pode ser enunciada p implica q ou p condio suficiente para q. Uma afirmao do tipo p se e somente se q pode ser enunciada p e q so equivalentes ou p condio necessria e suficiente para q. Voltaremos a falar sobre isso na seo 1.13. 1.7 Igualdade de conjuntos Como foi dito anteriormente, a igualdade de objetos matemticos um conceito primitivo significando que quando dois objetos so iguais eles podem ser considerados o mesmo objeto.

A igualdade entre dois conjuntos estabelecida da seguinte forma: dois conjuntos A e B so iguais se eles possuem os mesmos elementos. Por exemplo, os conjuntos A = {a, b, c} e B = {c, b, a} so iguais. Os conjuntos A = {a, b, c} e C = {a, b} so diferentes. Observe que para dois conjuntos A e B possurem os mesmos elementos (e, portanto, serem iguais) suficiente que todo elemento de A seja elemento de B e que todo elemento de B seja elemento de A. Ou seja, para dois conjuntos A e B possurem os mesmos elementos (e, portanto, serem iguais) suficiente que A seja subconjunto de B e que B seja subconjunto de A. Assim podemos definir igualdade de conjuntos A e B por: A = B se e somente se A B e A definio de igualdade mostra que na representao de um conjunto pela exibio dos seus elementos a ordem (no sentido usual do termo) com que os elementos so exibidos no utilizada para discriminar um conjunto. Assim os conjuntos A = {a, b, c} e B = {b, c, a} so iguais. A repetio da exibio de um elemento tambm no implica a diferenciao de um conjunto: os conjuntos A = {a, b, c} e B = {a, b, a, c, b} tambm so iguais. Introduo lgebra Abstrata - 10 1.8 Par ordenado e produto cartesiano

(a, a). Evidentemente, (a, a) = {{a}} Teremos necessidade de trabalhar com pares de elementos de dois conjuntos dados, considerados numa ordem preestabelecida. Da necessitarmos da seguinte definio. Sejam A e B dois conjuntos e a e b elementos de A e de B, respectivamente. O par ordenado a b, indicado por (a, b), o conjunto {{a}, {a, b}}. Naturalmente, os conjuntos A e B podem ser iguais, definindo-se ento par ordenado de dois elementos de um mesmo conjunto. Nesse caso, podemos ter par do tipo Sobre pares ordenados verdadeira a seguinte afirmao. Sejam A e B dois conjuntos e a, a A e b, b B. Temos que (a, b) = (a, b) se e somente se a = a e b = b. De fato, se a = a e b = b temos {a} = {a} e {a, b} = {a, b} o que implica {{a}, {a, b}} = {{a}, {a, b}}. Suponhamos agora que (a, b) = (a, b). Se a = b, temos que os conjuntos A = {{a}}e A = {{a}, {a, b}} so iguais o que s acontece se a' = b' = a. Se a b, temos {a} {a, b} e a igualdade dos conjuntos A = {{a}, {a, b}} e A = {{a}, {a, b}} implica {a} = {a} e {a, b} = {a, b} o que acarreta a = a e b = b. A veracidade desta afirmao, alm de justificar a denominao par ordenado, permite que se distinga os elementos que compem o par (a, b): a a primeira componente e b a segunda componente. Uma afirmao verdadeira sobre um ente matemtico chamada de propriedade daquele ente. Assim, a afirmao (a, b) = (a, b) se e somente se a = a e b = b uma propriedade dos

pares ordenados. De um modo geral, fatos matemticos verdadeiros so chamados propriedades. O produto cartesiano de dois conjuntos A e B, indicado por AxB, o conjunto dos pares ordenados com primeiras componentes no conjunto A e segundas componentes no conjunto B. Por exemplo, se A = {a, c, d} e B = {e, f}, o produto cartesiano de A por B o conjunto AxB = {(a, e), (a, f), (c, e), (c, f), (d, e), (d, f)} e o produto cartesiano de B por A o conjunto BxA = {(e, a), (e, c), (e, d), (f, a), (f, c), (f, d)}, exemplo que j mostra que, de um modo geral, AxB BxA. comum se utilizar a notao A2 para representar o produto cartesiano AxA. Assim, no exemplo acima temos B2 = {(e, e), (e, f), (f, f), (f, e)} e A2 = {(a, a), (a, c), (a, d), (c, a), (c, c), (c, d), (d, a), (d, c), (d, d)}. 1.9 Relaes binrias Em muitas situaes, necessrio e til relacionar (no sentido usual do termo) elementos de um ou de dois conjuntos. Esta relao pode ser estabelecida atravs dos pares ordenados que se pretende relacionar. Se A e B so dois conjuntos, qualquer subconjunto do produto cartesiano AxB chamado de uma relao binria entre A e B. Ou seja, uma relao binria entre dois conjuntos A e B um conjunto de pares ordenados com primeiras componentes em A e segundas componentes em B. Quando os conjuntos A e B so iguais uma relao entre A e B dita simplesmente uma relao em A. Por exemplo, se A o conjunto das vogais e B o conjunto das consoantes os conjuntos

De forma muito razovel, estamos interessados apenas em relaes binrias em que as componentes dos pares guardem entre si alguma relao, no sentido usual do termo. Em outros termos, estamos interessados em relaes em que haja uma regra para obteno dos pares da relao, regra esta que permita que se defina se um dado par est ou no na relao. Nos exemplos acima, a relao R satisfaz a esta condio pois cada segunda componente a consoante que sucede Introduo lgebra Abstrata - 1 a vogal primeira componente. As componentes dos pares das outras relaes dos exemplos no guardam nenhuma relao entre si e, portanto, no so relevantes. Utilizando-se um barra vertical significando tal que, pode-se representar uma relao entre dois conjuntos por R = {(x, y) AxB| }, onde em colocada a regra que estabelece a relao a#b

entre x e y. Muitas vezes, associa-se um smbolo a uma relao definida num conjunto A. Neste caso, se o smbolo da relao #, a indicao de que um par (a, b) pertence relao feita por Observe que em R = {(x, y) AxB| } o smbolo x est sendo usado para representar todos os elementos do conjunto A e que y est sendo utilizado para representar todos os elementos do conjunto B. Neste caso dizemos que os smbolos x e y so indeterminadas ou variveis dos conjuntos referidos. Uma relao definida num conjunto A pode ser adjetivada de acordo com algumas propriedades que ela satisfizer. Dizemos que uma relao R num conjunto A : reflexiva se (x, x) R qualquer que seja x A. simtrica se (x, y) R implicar (y, x) R, quaisquer que sejam x, y A. antissimtrica se (x, y) R e (y, x) R nunca ocorre se x y, quaisquer que sejam x, y A. transitiva se (x, y) R e (y, z) R acarretar (x, z) R, quaisquer que sejam x, y, z A. total se quaisquer que sejam x, y A, (x, y) R e/ou (y, x) R, onde o "e/ou" indica que pode ocorrer as duas pertinncias ou apenas uma delas. As definies anteriores estabelecem quando o adjetivo respectivo pode ser aplicado a uma relao binria. Como fizemos com a definio de subconjunto, interessante observar as condies mnimas que negam as definies anteriores e, portanto, tal adjetivo no pode ser associado relao. Com o desenvolvimento de um raciocnio simples, temos que uma relao R num conjunto A no reflexiva se existe x A tal que (x, x) R. no simtrica se existem x, y A tais que (x, y) R e (y, x) R. no antissimtrica se existem x, y A, com x y, tais que (x, y) R e (y, x) R. no transitiva se existem x, y, z A tais que (x, y) R e (y, z) R e (x, z) R. no total se existem x, y A tais que (x, y) R e (y, x) R. Por exemplo, se A o conjunto das vogais, a relao R = {(a, a), (e, e), (i, i), (o, o), (u, u), (a, e), (a, i), (a, u), (e, a), (e, i), (e, u), (u, i)} reflexiva, no simtrica ((a, u) R e (u, a) R), no antissimtrica ((a, e) R, (e, a) R e a e), transitiva e no total ((a, o) R e (o, a) R). Para um outro exemplo, considere o conjunto das partes de um conjunto A definido como o conjunto de todos os subconjuntos de A e indicado por (A). Como os elementos de (A) so conjuntos cujos elementos so elementos do conjunto A, podemos definir a relao

I = {(X, Y) (A)x(A) | X Y}, chamada incluso. As propriedades apresentadas na seo 1.4 mostram que a relao de incluso reflexiva e transitiva. A definio de igualdade de conjuntos garante que a incluso antissimtrica. Cabe lembrar que a relao de igualdade de elementos, introduzida primitivamente na seo 1.3, reflexiva, simtrica e transitiva, tendo sido estas propriedades fixadas de forma tambm primitiva. Uma relao que reflexiva, simtrica e transitiva dita uma relao de equivalncia enquanto que uma relao que reflexiva, antissimtrica, transitiva dita uma relao de ordem parcial. Uma relao de ordem parcial que total dita uma relao de ordem. A igualdade de objetos matemticos uma relao de equivalncia. A incluso de conjuntos no uma relao de equivalncia (pois no simtrica), mas uma relao de ordem parcial. Introduo lgebra Abstrata - 12 Se uma relao R, com smbolo #, transitiva, x # y e y # z implicam x # z. Isto permite que se escreva, neste caso x # y # z, como se um terno (no sentido usual do termo) pertencesse relao. Por exemplo, se A o conjunto das vogais, X = {a, e}, Y = {a, e, i} e Z = {a, e, i, o}, temos 1.10 Funes Estamos agora interessados em relaes entre dois conjuntos A e B em que cada elemento de A esteja relacionado com um nico elemento de B. Uma relao que satisfaz a esta propriedade chamada funo, definida formalmente como segue. Sejam A e B dois conjuntos. Uma funo de A em B uma relao binria f entre A e B tal que para cada x A existe um nico y B tal que (x, y) f. Assim, para que uma relao binria f entre dois conjuntos A e B seja uma funo de A em B necessrio e suficiente que para todo x A exista y B tal que (x, y) f e que se (x, y1) f e (x, y2) f ento y1 = y2. Por exemplo, se A o conjunto das vogais e B o conjunto das consoantes, a relao entre A e B dada por f = {(a, b), (e, f), (i, j), (o, p), (u, v)} uma funo de A em B. Por outro lado, se A = {a, b, c}, a relao I = {(X, Y) (A)x(A)| X Y} no uma funo de (A) em (A) pois ({a}, {a, b}) I e ({a}, {a, c}) I e como {a, b} {a, c}, o elemento X = {a} estaria relacionado com Y1 = {a, b} e Y2 = {a, c}. Como j vimos fazendo, utilizaremos letras minsculas f, g, h, etc., para representar funes e escreveremos y = f(x), para indicar que (x, y) f. Neste caso diremos que y a imagem do objeto x pela funo f. Se f uma funo de um conjunto A em um conjunto B, A chamado domnio e B chamado contradomnio de f. O subconjunto do contradomnio cujos elementos so imagens de objetos

chamado imagem da funo, indicada por f(A). Uma funo de A em B dada por y = f(x) pode ser indicada por f : A B x f(x). Nesse caso, y = f(x) fixa a regra que ser utilizada para se associar um nico y B a cada x A. Nada impede que a regra que associa uma nica imagem a cada objeto seja constituda de vrias sub-regras, de acordo com os diversos valores dos objetos. Por exemplo, se A o alfabeto podemos definir a funo g de A em A por g(x) = a, se x = z e g(x) a letra sucessora de x se x z. Num caso como este, pode-se utilizar expresses como caso contrrio, seno, em outra hiptese para indicar as situaes em que a ltima sub-regra ser aplicada. Isto ser utilizado na seo 1.13. importante verificar se uma pretensa definio define realmente uma funo, caso em que se diz que a funo est bem definida. Naturalmente, para que uma funo f esteja bem definida necessrio e suficiente que para todos os elementos k e j do domnio de f existam f(k) e f(j) e se f(k) f(j), se tenha k j. Como foi dito anteriormente, ao se estudar um novo objeto matemtico devemos estabelecer quando dois destes objetos sero considerados iguais. Para funes temos a seguinte definio. Duas funes f e g so iguais quando possuem os mesmos domnio e contradomnio e para todo objeto x do domnio se tem f(x) = g(x). Isto significa que duas funes iguais so, na verdade, a mesma funo. Dois exemplos de funes que sero utilizadas em exemplos e demonstraes futuras so apresentadas a seguir. Seja A um conjunto. A funo de A em A definida por I(x) = x chamada funo identidade do conjunto A e simbolizada por IA. Sejam A e B dois conjuntos, f uma funo de A em B e C um subconjunto de A. A funo g : C B definida por g(x) = f(x) chamada de restrio de f ao subconjunto C e indicada por f/C. Por exemplo, se A o conjunto das letras do alfabeto, g a funo de A em A que associa a cada Introduo lgebra Abstrata - 13 letra a letra que a sucede no alfabeto (considerando a como a letra sucessora de z) e V o conjunto das vogais, a funo g restrita ao conjunto V a funo g/V = {(a, b), (e, f), (i, j), (o, m), (u, r)}. 1.1 O Conjunto Vazio Vimos acima que um conjunto pode ser representado pela exibio de seus elementos entre chaves. O conceito de funo e a utilizao da barra vertical significando tal que permite uma outra forma de representar um conjunto. Esta nova forma de representar conjuntos permitir a definio de um conjunto muito especial. O conjunto {V, F} (V significando verdadeiro e F, falso) chamado conjunto de Boole. Um predicado ou uma sentena aberta num conjunto A uma funo de A no conjunto de Boole. Como as imagens dos objetos podem ser apenas V ou F, um predicado pode ser definido estabelecendo-se quando a imagem de um objeto ser V e quando ela ser F.

Por exemplo, se A o conjunto das letras do alfabeto, pode-se definir um predicado em A por p(x) = V se e somente se x uma vogal. Neste caso, temos, por exemplo, p(a) = V e p(b) = F. Vale a pena observar que na definio do predicado, o smbolo x no est representando especificamente a letra x e sim uma indeterminada do conjunto. Para a letra x, temos p(x) = F. Observe que, em outros termos, um predicado num conjunto A uma propriedade que verdadeira para alguns elementos de A e falsa para outros. Alm disso, para todo elemento do conjunto A a tal propriedade verdadeira ou falsa (apenas uma das condies), no havendo uma terceira possibilidade. Uma outra forma de representar um conjunto a seguinte. Se A um conjunto e p um predicado em A, {x A| p} representa o subconjunto dos elementos de A para os quais p(x) = V. Por exemplo, se A o conjunto das letras do alfabeto, o conjunto das vogais pode ser representado por B = {x A| x uma vogal}. Um predicado p num conjunto A uma contradio se p(x) = F para todo elemento x A e uma tautologia se p(x) = V qualquer que seja x A. Por exemplo, se A um conjunto qualquer, o predicado em A dado por x x uma contradio e o predicado em A dado por x A uma tautologia. O conceito de contradio permite a definio de um conjunto, aparentemente estranho, mas de importncia fundamental para a matemtica. Se A um conjunto qualquer e p uma contradio em A o conjunto {x A| p } no possui elementos e chamado conjunto vazio, sendo simbolizado por . Por exemplo, se A um conjunto qualquer o conjunto {x A| x x} o conjunto vazio. Um conjunto diferente do conjunto vazio dito no vazio. fcil ver que A, qualquer que seja o conjunto A. De fato, como foi dito na seo 1.4, se X e Y so dois conjuntos, para que X Y no seja verdadeira necessrio que exista algum elemento de X que no pertena a Y. Como o conjunto no possui elementos no se pode ter A, qualquer que seja o conjunto A. Um argumento deste tipo normalmente citado como um argumento realizado por vacuidade, no sentido de que no se pode exibir um objeto que se contraponha afirmao que se quer demonstrar. 1.12 Operaes Desde a nossa tenra idade, deparamo-nos com o aprender a realizar operaes: somar, subtrair, multiplicar, etc. Nesta seo, o conceito de operaes ser formalizado. Por definio, uma operao num conjunto A uma funo do produto cartesiano AxA no prprio conjunto A. Por exemplo, no conjunto das vogais podemos definir a operao f dada pela tabela a seguir, na qual o elemento da linha i e da coluna j fornece a imagem do par (i, j), Introduo lgebra Abstrata - 14 a e i o u a e i o u a e i o u a e i o u a e i o u a e i o u a e i o u

imagem a # b o resultado e receber uma denominao especfica para cada operao Os autores, humildemente, concordam com o leitor que este exemplo no muito esclarecedor. Nas sees seguintes teremos exemplos mais consistentes de operao. Nestes exemplos, fixaremos smbolos especficos para operao e, ao invs de utilizarmos a notao usual de funo f(x, y), usaremos x # y quando o smbolo da operao #. O smbolo associado operao chamado operador, as componentes do par objeto (a, b) so chamados de operandos e a Como as relaes binrias, as operaes tambm podem ser adjetivadas de acordo com propriedades que ela satisfizer. Seja A um conjunto e # uma operao em A. Dizemos que a operao # comutativa se a # b = b # a, quaisquer que sejam a, b A. associativa se a # (b # c) = (a # b) # c, quaisquer que sejam a, b, c A. possui um elemento neutro e se existe um elemento e tal que a # e = e # a = a, qualquer que seja a A. Quando a operao est denotada na forma de funo f(a, b), forma de representao chamada notao pr-fixa, as classificaes acima so assim referenciadas: Uma operao f definida num conjunto A comutativa se f(a, b) = f(b, a), quaisquer que sejam a, b A. associativa se f(a, f(b, c)) = f(f(a, b), c), quaisquer que sejam a, b, c A. possui um elemento neutro e se existe um elemento e tal que f(a, e) = f(e, a) = a, qualquer que seja a A. A referncia a cada uma destas propriedades feita, de maneira bvia, como comutatividade, associatividade, existncia de elemento neutro. Observe que se uma operao o possuir, o elemento neutro nico. De fato, se e' e e so elementos neutros de uma #, temos e' # e = e # e' = e', pois e elemento neutro e e # e' = e' # e = e, pois e' elemento neutro, implicando ento, pela transitividade da igualdade, e' = e. Portanto se encontrarmos um elemento neutro de uma operao ele o elemento neutro desta operao.

a # (e # o) = a # a = e e (a # e) # o = i # o = e A operao no conjunto das vogais definida acima claramente comutativa e possui elemento neutro, u. Embora seja bastante enfadonho (teria que se verificar que x # (y # z) = (x # y) # z para todos os casos) fcil mostrar que a operao tambm associativa. Por exemplo,

Numa operao associativa, no h a necessidade da colocao de parnteses. Se # o operador de uma operao associativa, como a # (b # c) = (a # b) # c, podemos indicar a # (b # c) por a # b # c, como se estivesse operando trs operandos. Esta flexibilizao da notao se estende tambm quando h mais de trs operandos. Alm da comutatividade, associatividade e existncia de elemento neutro, uma operao pode ser adjetivada em relao outra operao. Se # e * so operaes definidas num conjunto A, dizemos que # distributiva em relao a * se a # (b * c) = (a # b) * (a # c), quaisquer que sejam a, b, c A. Esta propriedade referida como distributividade de # em relao a *. Na notao pr-fixa a distributividade seria assim fixada: sejam f e g duas operaes num conjunto A. A operao f distributiva em relao operao g se f(a, g(b, c)) = g(f(a, b), f(a, c)), Introduo lgebra Abstrata - 15 quaisquer que sejam a, b, c A. medida que formos apresentando as operaes discutiremos quais propriedades elas possuem e, naturalmente, apresentaremos exemplos destas propriedades. 1.13 Operaes com predicados (operaes lgicas) As primeiras operaes que discutiremos so as operaes onde os operandos so predicados. Como veremos, as operaes com predicados (tambm chamadas operaes lgicas) permitem o estabelecimento de uma linguagem que facilita sobremaneira o discurso matemtico. Seja A um conjunto no vazio e Pred(A) o conjunto dos predicados em A. Isto significa que Pred(A) o conjunto de todas as funes de A no conjunto de Boole {V, F}. Pelo conceito de operao, para se definir uma operao em Pred(A) devemos associar a cada par de predicados de Pred(A) um outro predicado de Pred(A). Como j foi dito, para se definir um elemento de Pred(A) basta se estabelecer as imagens dos elementos de A em {V, F}. Temos as seguintes operaes, considerando p, q Pred(A). Conjuno (operador: , denominao: e ) (p q)(x) =

Isto , a conjuno de dois predicados p e q ser verdadeira quando os dois predicados o forem. Da a denominao e para o operador , indo ao encontro da linguagem coloquial: se o/a chefe da famlia anuncia nas frias viajaremos para Macei e Natal, ele est afirmando que a famlia viajar para as duas cidades. Como a igualdade uma relao simtrica (por exemplo, se p(x) = q(x) = V ento q(x) = p(x) = V), a conjuno comutativa. Ela tambm associativa: se p, q e R so predicados em A, por um lado ((p q) R)(x) = V se (p q)(x) = R(x) = V o que s acontece se p(x) = q(x) = R(x) = V e por outro lado (p (q R))(x) = V se p(x) = (q R)(x) = V o que s acontece tambm se p(x) = q(x) = R(x) = V. Uma tautologia t o elemento neutro da conjuno. Disjuno (operador: , denominao: ou) (p q)(x) =

Isto , a disjuno de dois predicados p e q verdadeira basta se um dos predicados for verdadeiro ou se ambos forem verdadeiros. Observe agora que a denominao ou para o operador

sempre o sentido inclusivo , no corresponde exatamente ao uso da conjuno ou na linguagem comum: se o/a chefe da famlia anuncia nas frias viajaremos para Macei ou Natal, ele est afirmando que a famlia viajar para apenas uma das duas cidades. Dizemos que ou da Matemtica inclusivo, enquanto que o ou da linguagem coloquial exclusivo. Embora os dicionrios no apresentem esta possibilidade, relativamente comum se usar e/ou na linguagem coloquial quando se pretende se expressar um ou inclusivo. s vezes, a Matemtica ao utilizar um vocbulo modifica (quase sempre, ligeiramente) o seu significado. Surge ento a linguagem matemtica, muito til para o mundo cientfico. Daqui para a frente, a conjuno ou utilizada em afirmaes matemticas ter Como a conjuno, a disjuno claramente comutativa e associativa e seu elemento neutro uma contradio. O exerccio 1.4 pedir para ser demonstrado que a conjuno distributiva em relao disjuno e que esta distributiva em relao quela. Introduo lgebra Abstrata - 16 Implicao (operador , denominao: implica) (p q)(x) =

O predicado p q tambm pode ser lido se p, ento q e quando p e q so verdadeiros tem a conotao dada na seo 1.6. Observe que p q s falso se p verdadeiro e q falso. Assim, ao contrrio da linguagem comum na qual implicar utilizado numa relao de causa e efeito, em Matemtica uma mentira implica uma verdade e implica tambm outra mentira. O exemplo a seguir mostra que o significado matemtico do se ento, embora inusitado, tem sentido tambm no nosso dia a dia. Imagine a seguinte situao: (1) uma jovem adolescente est se preparando, com afinco, para fazer o vestibular para um curso de Medicina; (2) para incentiv-la na reta final, o pai da adolescente, a dois meses do certame, adquire uma automvel e anuncia para ela: se voc for aprovada, ento este automvel ser seu. Aps a divulgao do resultado do vestibular, se a filha foi aprovada (p verdade) e recebeu o carro (q verdade), a afirmao do pai se tornou verdadeira (p q verdade); se a filha foi aprovada (p verdade) e no recebeu o carro (q falso), a afirmao do pai se tornou falsa (p q falso); se a filha no foi aprovada (p falso) e no recebeu o carro (q falso), o pai no descumpriu a promessa (p q verdade); finalmente, se a filha no foi aprovada (p falso) e recebeu o carro (q verdade), a afirmao do pai tambm no se tornou falsa e, portanto p q verdadeiro (nesse caso, o pai pode ter entendido que a filha, mesmo no tendo sido aprovada, merecia o prmio foi a primeira dos no aprovados, por exemplo). Como p q s falso se p verdadeiro e q falso, a demonstrao de uma assertiva do tipo se p ento q pode ser feita supondo-se que p verdade e provando que, a partir da, q tambm o . Normalmente, o predicado p chamado hiptese (que o que se supe ser verdadeiro) e o predicado q chamado tese (que o que se quer provar que verdadeiro). Equivalncia (operador , denominao: equivale) (p q)(x) =

O predicado p q tambm referenciado como p se e somente se q e tem a mesma conotao dada expresso se e somente se discutida na seo 1.6. fcil ver que uma equivalncia pode ser obtida a partir de uma conjuno de implicaes, reiterando o que foi dito na referida seo. Na verdade temos a seguinte igualdade: p q = ( p q) ( q p). A demonstrao de uma igualdade de predicados bastante simples (embora, s vezes, tediosa). Como so funes, para que dois predicados p e q sejam iguais basta que eles tenham o mesmo domnio (no nosso caso, conjunto A), o mesmo contra-domnio (sempre {V, F}) e para cada x de A se tenha p(x) = q(x). Basta ento mostrar a igualdade p(x) = q(x), para

todo x A, o que pode ser feito atravs de uma tabela, que chamada tabela verdade. Temos ento pqp q p q( p q) ( q p) V V V V V V V F F V F F F V V F F F F F V V V V Da igualdade p q = ( p q) ( q p), segue uma afirmao do tipo q se e somente p pode ser demonstrada supondo que p verdade e provando que, a partir da, q tambm e, reciprocamente, supondo que q verdade e provando que, a partir da, p tambm . Introduo lgebra Abstrata - 17 1.14 Operaes com conjuntos Seja U um conjunto e consideremos (U) o conjunto das partes de U. Normalmente, quando se est trabalhando com conjuntos que so subconjuntos de um conjunto U, este conjunto U chamado conjunto universo. Para se definir uma operao em (U) devemos associar a cada par de subconjuntos de U um outro subconjunto deste conjunto. Temos as seguintes operaes, considerando A, B U: Unio (operador: , denominao: unio) A B = {x U| (x A) (x B)} Pela definio da operao lgica disjuno, a unio de dois conjuntos o conjunto dos elementos que pertencem a pelo menos um dos conjuntos. Interseo (operador: ; denominao: interseo) A B = {x U| (x A) (x B)} Pela definio da operao lgica conjuno, a interseo de dois conjuntos o conjunto dos elementos que pertencem aos dois conjuntos. Diferena (operador: -; denominao: menos) A - B = {x U| (x A) (x B)} Aplicando novamente a definio de conjuno, observa-se que a diferena entre dois conjuntos A e B o conjunto dos elementos que pertencem exclusivamente ao conjunto A. Para um exemplo, sejam U o conjunto das letras do alfabeto, A = {a, c, e, f} e B {c, d , f, g}. Temos A B = {a, c, d, e, f, g}, A B = {c, f}, A - B = {a, e} e B - A = {d, g}. Como consequncia da comutatividade e da associatividade da conjuno e da disjuno, a unio e a interseo de conjuntos so comutativas e associativas. O exemplo acima mostra

que a diferena entre conjuntos no comutativa (um exemplo que mostra que um ente matemtico no goza de uma determinada propriedade chamado um contraexemplo). fcil se obter um contraexemplo que mostra que a diferena no associativa. Como o conjunto vazio no tem elementos temos que A = A, qualquer que seja o subconjunto A, e portanto o elemento neutro da unio. Observe que mesmo sendo verdade que A - = A, o conjunto vazio no elemento neutro da diferena, pois, se A , - A A. Devido ao fato de que A U = A temos que o universo U o elemento neutro da interseo. 1.15 Uma operao com funes Seja A conjunto e indiquemos por (A) o conjunto das funes de A em A. Em (A) definimos a operao composio de funes associando a cada par de funes (f, g) (A) a funo composta de f e g, representada por f g, definida por (f g)(x) = f(g(x)). Por exemplo, se A o conjunto das vogais, f = {(a, e), (e, i), (i, o), (o, u), (u, a)} e g = {(a, i), (e, i), (i, o), (o, o), (u, a)} temos f g = {(a, o), (e, o), (i, u), (o, u), (u, e)} pois f g(a) = f(g(a)) = f(i) = o; f g(e) = f(g(e)) = f(i) = o; f g(i) = f(g(i)) = f(o) = u; f g(o) = f(g(o)) = f(o) = u; f g(u) = f(g(u)) = f(a) = e. Por outro lado, g f = {(a, i), (e, o), (i, o), (o, a), (u, i)} pois Introduo lgebra Abstrata - 18 g f(a) = g(f(a)) = g(e) = i; g f(e) = g(f(e)) = g(i) = o; g f(i) = g(f(i)) = g(o) = o; g f(o) = g(f(o)) = g(u) = a; g f(u) = g(f(u)) = g(a) = i. Claramente, para todo x A, (f IA)(x) = f(IA(x)) = f(x) e (IA f)(x) = IA(f(x)) = f(x), igualdades que mostram que IA f = f IA = f. Isto prova que a funo identidade o elemento neutro da composio de funes. Observe que, se f, g, h (A),

o que mostra que a composio de funes associativa. Observe tambm que o exemplo anterior mostra que a composio de funes no comutativa. Se A e B so dois conjuntos representa-se por (A, B) o conjunto das funes de A em B. Se C um terceiro conjunto, a operao composio de funes pode ser generalizada para se associar a um par de funes (g, f) (A, B)x(B, C) uma funo de (A, C). Se g uma funo de A em B e f uma funo de B em C, a composta das funes f e g a funo f g de A em C definida por (f g)(x) = f(g(x)). Observe que esta definio no atende plenamente o conceito de operao num conjunto dada na seo 1.9, o que justifica as aspas utilizadas na palavra generalizada acima. De fato, f e g so elementos de dois conjuntos distintos e f g elemento de um terceiro conjunto. 1.16 Funes inversveis

Seja # uma operao num conjunto A que possui um elemento neutro e. Dizemos que um elemento x de A. tem simtrico se existe um elemento y A tal que x # y = y # x = e. Suponhamos que a operao # seja associativa e que y' e y'' sejam simtricos de x. Temos y' = y' # e(e elemento neutro) y' = y' # (x # y'')(y'' simtrico de x e, portanto, x # y'' = e) y' = (y' # x) # y''(# associativa) y' = e # y(y' simtrico de x, e, portanto, y' # x = e) y' = y(e elemento neutro) Assim, se um elemento x tem simtrico em relao a uma operao associativa, este simtrico nico. Para algumas operaes, este simtrico do elemento x continua sendo chamado simtrico de x e representado por -x. Para outras operaes, ele dito inverso de x, caso em que representado por x-1. Como vimos na seo anterior, a composio de funes definida em (A) tem elemento neutro IA. Vamos discutir em que condies uma funo f de (A) possui simtrico em relao composio. Ou seja vamos discutir as condies em que dada uma funo f de (A) existe uma funo g de (A) tal que f g = g f = IA . Como a composio de funes associativa, quando esta funo g existe ela nica e chamada inversa da funo f, sendo representada por f -1. Nesse caso, dizemos que f inversvel. Por exemplo, se A o conjunto das vogais, a funo f (A), f = {(a, e), (e, i), (i, o), (o, u), (u, a)} inversvel e f -1 = {(e, a), (i, e), (o, i), (u, o), (a, u)}. De fato, Introduo lgebra Abstrata - 19

o que mostra que f f -1 = IA. Como tambm (o que muito fcil verificar) f -1 f = IA, temos que f inversvel. Por seu turno, a funo g de (A), g = {(a, u), (e, u), (i, u), (o, u), (u, u)} no inversvel pois para que (g-1 g)(a) = a e (g-1 g)(e) = e dever-se-ia ter g-1(u) = a e g-1(u) = e e g-1 no seria uma funo. O conceito de inversibilidade de funo pode ser facilmente generalizado para as funes do conjunto (A, B), dados dois conjuntos A e B. Dizemos que uma funo f (A, B) inversvel se existe uma funo g (B, A) tal que f g = IB e g f = IA. Neste caso, e como acima, dizse que g a funo inversa de A e indica-se g por f -1. Por exemplo, se A o conjunto das vogais e B = {b, c, d, f, g}, a funo f = {(a, b), (e, c), (i, d), (o, f), (u, g)} claramente inversvel e f -1 = {(b, a), (c, e), (d, i), (f, o), (g, u)}.

Observe que f (A, B) inversvel, ento f -1 nica. De fato, se g1 e g2 so inversas de f temos g1 = IA g1 = (g2 f) g1 = g2 (f g1) = g2 IB = g2, onde utilizamos a associatividade da composio de funes e as igualdades f g1 = IB e g2 f = IA decorrentes da hiptese de que g1 e g2 eram inversas de f. Alm de f 1 ser nica ela tambm inversvel pois, sendo f f -1 = IB e f -1 f = IA, temos que (f -1)-1 = f. Nos exemplos apresentados, conclumos a inversibilidade ou no de uma funo procurando a sua funo inversa. Vamos mostrar uma forma de analisar a inversibilidade de uma funo sem nos preocuparmos com a inversa (na maioria das vezes, alm de precisarmos apenas saber se a funo no inversvel, a determinao da inversa de uma funo no tarefa simples). Para isso, necessitamos de algumas definies. Uma funo f (A, B) dita injetiva (ou injetora ou uma injeo) se x1 x2 implicar f(x1) f(x2). Em outros termos, numa funo injetiva objetos diferentes tm sempre imagens diferentes. Ou ainda, numa funo injetiva de (A, B) no existe elemento de B que seja imagem de dois objetos distintos. Portanto, se f injetiva e f(x1) = f(x2), ento x1 = x2, o que uma outra forma de se caracterizar a injetividade. Por exemplo, se A o conjunto das vogais e B = {b, c, d, f, g}, a funo f = {(a, b), (e, c), (i, d), (o, f), (u, g)} claramente injetiva enquanto que a funo g = {(a, b), (e, b) , (i, d), (o, d), (u, g)} no o , pois g(a) = g(e). Obviamente, se g uma restrio de f (A, B) a um subconjunto de A e f injetora, ento g tambm injetora. Uma funo f (A, B) dita sobrejetiva (ou sobrejetora ou sobre ou, ainda, uma sobrejeo) se f(A) = B. Em outros termos, uma funo sobrejetiva se todo elemento do contradomnio imagem de algum objeto. A funo f do exemplo anterior sobrejetiva enquanto que a funo g no o , pois c g(A). Uma funo f (A, B) dita bijetiva (ou bijetora ou uma bijeo) se ela simultaneamente injetora e sobrejetora. Uma propriedade das funes bijetivas que ser til posteriormente a seguinte: Sejam X e Y dois conjuntos, a um elemento de X e b um elemento de Y. Se existir uma funo bijetiva f de X em Y, com b f(a), ento existe uma funo bijetiva g de X em Y tal que g(a) = b. De fato, como f sobrejetiva e b um elemento de Y, existe a' X tal que b = f(a'). Se definirmos g de X em Y por g(a) = b, g(a') = b', com b' = f(a), e g(x) = f(x) se x a e x a', temos que g bijetiva, pois a nica diferena entre f e g est no fato de que (a', b), (a, b') f enquanto (a', b'), (a, b) g. Introduo lgebra Abstrata - 20

A inversibilidade de uma funo pode ser verificada sem que se determine a sua inversa, como mostra a seguinte propriedade. Uma funo f (A, B) inversvel se e somente se f bijetiva. Para provar, suponhamos inicialmente que f bijetora e provemos que f inversvel. Seja g a funo de B em A definida por g(y) = x, onde x tal que f(x) = y. Como f sobrejetora, para todo y B existe x A tal que y = f(x). Alm disso, este x nico pois f injetiva. Assim g est bem definida (ou seja, realmente uma funo) e (f g)(y) = f(g(y)) = f(x) = y, o que mostra que f g = IB, e (g f)(x) = g(f(x)) = g(y) = x, o que mostra que g f = IA. Assim f inversvel. Reciprocamente, suponhamos que f inversvel e provemos que f bijetiva. Para mostrar que f injetiva, suponhamos x1, x2 A com f(x1) = f(x2). Temos f -1(f(x1)) = f -1(f(x2)) e portanto x1 = x2, provando o que queramos. Para provar que f sobrejetiva, seja y B e provemos que existe x A tal que y = f(x). Como existe a funo f -1, temos que existe x A tal que x = f -1(y) e ento f(x) = f(f -1(y)) = IB(y) = y, concluindo o que queramos provar. Observe que uma funo bijetiva de um conjunto A num conjunto B e sua inversa (de B em A) estabelecem uma correspondncia entre os elemento dos dois conjuntos: cada elemento a de A relacionado com um nico elemento b de B (atravs da funo f) que, por sua vez, associado, de maneira nica, ao elemento a de A (atravs da inversa de f). Dizemos ento que uma funo bijetiva de um conjunto em outro conjunto estabelece uma correspondncia biunvoca ou uma correspondncia um a um entre os dois conjuntos. 1.17 Exerccios 1.1. Seja U o conjunto de habitantes da terra e defina em U a relao R por (x, y) R se e somente se x ama y. Verifique se R reflexiva, simtrica, transitiva ou total. 1.2 No universo da questo anterior, dizemos que x primo de y se x filho ou filha de um tio ou de uma tia de y. Verifique se a relao x primo de y reflexiva, simtrica, transitiva ou total. 1.3 Apresente um contraexemplo que mostre que a afirmao se R uma relao simtrica e transitiva, ento R reflexiva falsa. 1.4. Mostre que se p, q e r so predicados num conjunto A ento a) p (q r) = (p q) (p r) (isto , a conjuno distributiva em relao disjuno) b) p (q r) = (p q) (p r) (isto , a disjuno distributiva em relao conjuno) 1.5. A negao de um predicado p o predicado indicado por ~p tal que

Observe que a negao uma funo de Pred(A) em Pred(A), associando um predicado em A a outro predicado em A. Por analogia a uma operao, diz-se que a negao uma operao unria em Pred(A). Mostre que a) p (~p) = c (contradio) b) p (~p) = t (tautologia). 1.6. Prove as leis de Morgan: se p e q so predicados num conjunto A ento a) ~(p q) = (~p) (~q). b) ~(p q) = (~p) (~q) 1.7. Sejam p e q predicados num conjunto A. Mostre que (p q) = (~p) q.

1.8. Sejam p e q predicados num conjunto A. Mostre que (p q) = ((~q) (~p)). Esta igualdade mostra que se pode provar uma afirmao matemtica do tipo se p, ento q Introduo lgebra Abstrata - 21 supondo que q falso e concluindo que, a partir da, p tambm o . 1.9. Sejam p e q predicados num conjunto A e c uma contradio. Mostre que (p q) = ((p (~q)) c). Esta igualdade mostra que uma afirmao do tipo se p, ento q pode ser provada supondose que q falso e obtendo-se, a partir da e da veracidade da hiptese, uma contradio. Esta forma de demonstrao e a do exerccio 1.8 so conhecidas como prova por contradio ou reduo ao absurdo (reductio ad absurdum). 1.10. Sejam um universo U e A, B, C subconjuntos quaisquer de U. Mostre que a) (A B) C = A (B C) (isto , a unio de conjuntos associativa) b) A B A c) (A B) C = A (B C) (isto , a interseo de conjuntos associativa) d) A (B C) = (A B) (A C) (isto , a interseo de conjuntos distributiva em relao unio) e) A (B C) = (A B) (A C) (isto , a unio de conjuntos distributiva em relao interseo) 1.1. Encontre contraexemplos que neguem as seguintes afirmaes. a) Se A B = A C ento B = C b) Se A B = A C ento B = C 1.12. Mostre que se A B = A C e A B = A C ento B = C. 1.13. Quando A B a diferena B - A chamada complementar de A em relao a B, indicada por CB(A). Mostre que, se A, A B a) CB(CB(A)) = A b) Se CB(A) CB(A) ento A A c) CB(A A) = CB(A) CB(A) 1.14. Sejam A e B dois conjuntos e f uma funo de A em B. Se X um subconjunto de A a imagem direta de X pela funo f o conjunto f(X) = {y B| y = f(x) para algum x A}. Seja Y outro subconjunto de A. Mostre que a) Se X Y ento f(X) f(Y) b) f(X Y) = f(X) f(Y) c) f(X Y) f(X) f(Y) d) Encontre um contraexemplo que mostre que f(X Y) f(X) f(Y) e) f(X - Y) f(X) - f(Y) f) Encontre um contraexemplo que mostre que f(X - Y) f(X) - f(Y) 1.15. Sejam A e B dois conjuntos e f uma funo de A em B. Se Y um subconjunto de B a imagem inversa de Y pela funo f o conjunto f -1(Y) = {x A| f(x) Y}. Seja Z outro subconjunto de A. Mostre que

c) f -1(Z Y) = f -1(Z) f -1(Y) d) f -1(X - Y) = f -1(X) - f -1(Y) 1.16. Sejam A, B e C trs conjuntos, f uma funo de A em B e g uma funo de B em C. Mostre que a) Se f e g so injetoras, ento g f injetora b) Se f e g so sobrejetoras, ento g f sobrejetora c) Se f e g so bijetoras, ento g f bijetora d) Se g f injetora, ento f injetora e) Se g f injetora e f sobrejetora, ento g injetora f) Se g f sobrejetora, ento g sobrejetora g) Se g f sobrejetora e g injetora ento f sobrejetora Introduo lgebra Abstrata - 2 h) Se f bijetora, ento f -1 bijetora

1.17. Apresente um contraexemplo que mostre que g f ser bijetora no implica f e g serem bijetoras. 1.18. Sejam A e B dois conjuntos e f uma funo de A em B. Mostre que existe uma funo g, de B em A, tal que f g = IB se e somente se f sobrejetiva. Neste caso, a funo g dita inversa direita de f. 1.19. Sejam A e B dois conjuntos e f uma funo de A em B. Mostre que existe uma funo g, de B em A, tal que g f = IA se e somente se f injetora. Neste caso, a funo g dita inversa esquerda de f. Introduo lgebra Abstrata - 23 2. Os nmeros naturais 2.1 Axiomas, teorias axiomticas, objetos construdos axiomaticamente Vimos na seo 1.1 que alguns objetos matemticos so admitidos de forma primitiva, no sendo definidos. Um conjunto um ente primitivo, enquanto que uma funo no o , sendo definida como o foi na seo 1.10. Uma outra forma de se conceber objetos matemticos se estabelecer propriedades s quais aquele objeto deve satisfazer, independentemente de qualquer conceituao anterior. Neste caso, tais propriedades so chamadas axiomas ou postulados e diz-se que tal objeto foi construdo axiomaticamente. Axiomas tambm so utilizados para o estabelecimento de teorias matemticas. Para tal, objetos so concebidos de forma primitiva e se estabelecem as propriedades (os axiomas) a que estes objetos devem satisfazer. Uma teoria assim obtida dita uma teoria axiomtica e o exemplo mais conhecido a Geometria Euclidiana, que foi construda a partir dos entes primitivos ponto, reta e plano e de axiomas (chamados Postulados de Euclides) como os seguintes: Dois pontos distintos determinam uma nica reta. Uma reta sempre contm dois pontos distintos Existem trs pontos que no pertencem a uma mesma reta Por um ponto no pertencente a uma reta passa uma nica reta que paralela reta dada. Estabelecidos os entes primitivos e os axiomas de uma teoria, sua ampliao decorre da construo de outros objetos (por definies ou construes axiomticas) a serem manipulados na teoria e do estabelecimento de propriedades gozadas pelos entes primitivos e pelos novos objetos definidos. Estas propriedades so estabelecidas em lemas, proposies, teoremas e corolrios. Um lema uma propriedade que no tem muita importncia por si mesma, mas

bsica para a demonstrao de outras propriedades; um teorema uma propriedade que tem extrema importncia na teoria que est sendo desenvolvida ou tem importncia histrica no desenvolvimento da Matemtica como um todo; um corolrio uma consequncia imediata de uma proposio (propriedade de importncia mediana) ou de um teorema. Considerando que lemas, proposies, teoremas e corolrios no so axiomas, suas veracidades devem ser devidamente demonstradas. 2.2 O conjunto dos nmeros naturais Desde os primeiros anos do ensino fundamental estamos acostumados a trabalhar com nmeros naturais, associando-os sempre ideia de quantidade e utilizando-os para realizar contagens. Aprendemos a somar e a multiplicar tais nmeros, mas no estabelecemos exatamente o que eles so. o que faremos agora. Vamos estabelecer axiomaticamente que o conjunto dos nmeros naturais o conjunto, indicado por , que satisfaz aos seguintes axiomas, chamados postulados de Peano: 1. Existe uma funo injetiva s de em (a imagem de n , s(n), chamada sucessor de n). 2. Em existe um elemento, chamado um e indicado por 1, tal que s() = {1}. 3. Se um predicado p definido em tal que i) p(1) = V, i) se p(n) = V, ento p(s(n)) = V, ento p uma tautologia em . Introduo lgebra Abstrata - 24 Observe que o axioma dois implica que e que s(1) 1. Assim, possui elementos diferentes de 1. Representando por 2 (chamado dois) o natural s(1) e por 3 (chamado trs) o natural s(2), temos que 3 2, pois se s(2) = 2, s no seria injetiva j que s(1) = 2. Na verdade, provaremos adiante que temos s(n) n, qualquer que seja n . Utilizando as representaes estabelecidas acima, representaremos o conjunto dos nmeros naturais por = {1, 2, 3,...}, onde as reticncias "substituem" s(3) = 4 (quatro), s(4) = 5 (cinco), s(5) = 6 (seis), s(6) = 7 (sete), s(7) = 8 (oito), s(8) = 9 (nove) e, assim, sucessivamente. o sucessor de n indicado n + 1). Observe tambm que s(n 1) = n Observe ainda que este axioma implica que todo elemento n , n 1, sucessor de um natural m. Este natural m chamado antecessor de n e indicado por n 1 (como veremos adiante, O axioma (3) chamado princpio da induo e muito utilizado para demonstrar afirmaes sobre nmeros naturais: para se demonstrar uma afirmao sobre os nmeros naturais, basta se provar que a afirmao verdadeira para 1 e que se for verdadeira para um natural k, s-lo para o natural s(k). A condio (i) chamada base da induo e a assuno p(n) = V

chamada hiptese de induo. Como mostra a proposio a seguir, o princpio da induo pode ser enunciado de uma outra forma. Proposio 1.2 O princpio da induo equivalente seguinte propriedade: Se A um subconjunto de tal que 1 A e n A implica s(n) A, ento A = . Demonstrao Provemos inicialmente que o princpio da induo implica a propriedade acima. Para isto, seja A um subconjunto de tal que 1 A e n A implica s(n) A. Considere o predicado p em definido por p(x) = V se e somente se x A. De 1 A temos que p(1) = V e de n A implica s(n) A temos que p(n) = V implica p(s(n)) = V. Assim, pelo princpio da induo, p uma tautologia em e, portanto, n A para todo n . Logo A = . Provemos agora que a propriedade acima implica o princpio da induo. Seja ento um implica s(n) A. Assim, pela propriedade, A = e p uma tautologia em postulado p em tal que p(1) = V e se p(k) = V, ento p(s(k)) = V. Considere o conjunto A = {x | p}. De p(1) = V segue que 1 A e de p(k) = V implica p(s(k)) = V segue que n A 2.3 Operaes no conjunto dos nmeros naturais Em definimos as seguintes operaes, considerando n, m nmeros naturais: Adio (operador: +, denominao: mais) a) n + 1 = s(n); b) n + (m + 1) = s(n + m). Multiplicao (operador: . ou , denominao: vez(es)) a) n . 1 = n; b) n . (m + 1) = n . m + n.

podem ser escritas como n + s(m) = s(n + m) e n . s(m) = n . m + n Observe que, de acordo com o item a da definio da adio, os itens b destas definies necessrio se provar que estas operaes so, de fato, operaes em . Isto , necessrio provar que se m, n , ento n + m e n . m . Para demonstrar a primeira afirmao, seja n e consideremos o predicado em definido por p(m) = V se n + m . Temos que p(1) = V, pois n + 1 = s(n) e s uma funo de em . Alm disso, se p(m) = V, temos Introduo lgebra Abstrata - 25 n + m e ento, como n + s(m) = n + (m + 1) = s(n + m), temos p(s(m)) = V, pois, novamente, s uma funo de em . Evidentemente, este raciocnio pode se aplicar multiplicao. Exemplos a) 2 + 1 = s(2) = 3. b) 1 + 2 = 1 + (1 + 1) = s(1 + 1) = s(2) = 3. c) 2 + 2 = 2 + (1 + 1) = s(2 + 1) = s(3) = 4.

d) 1 2 = 1 (1 + 1) = 1 1 + 1 = 1 + 1 = 2. e) 2 2 = 2 (1 + 1) = 2 1 + 2 = 2 + 2 = 4. Vale observar que estas so as operaes com nmeros naturais que aprendemos nos primeiros anos do ensino fundamental. A imagem n + m chamada soma de n e m. Neste caso, m e n so chamados parcelas. A imagem n . m chamada produto de n por m. Neste caso, n e m so chamados fatores. Um produto do tipo n . n pode ser representada por n2 (lido n ao quadrado). Observe que o conceito de antecessor introduzido na seo anterior e a definio de adio implicam que se n 1, ento (n 1) + 1 = n. Para analisar a comutatividade, a associatividade e a existncia de elemento neutro da multiplicao, necessitamos do seguinte lema. Lema 1.2 Para todo n , temos i) n + 1 = 1 + n; i) n . 1 = 1 . n. Demonstrao i) Consideremos o predicado em p(n) = V se n + 1 = 1 + n. Temos que p(1) = V pois, evidentemente, 1 + 1 = 1 + 1. Suponhamos agora que p(n) = V e provemos, a partir da, que p(s(n)) = V. De p(n) = V, temos n + 1 = 1 + n e ento 1 + s(n) = s(1 + n) = s(n + 1) = (n + 1) + 1 = s(n) + 1 e, portanto, p(s(n)) = V. Assim, pelo Princpio da Induo, p(n) = V para todo n . i) Consideremos o predicado em , p(n) = V se n . 1 = 1 . n. Temos que p(1) = V pois, evidentemente, 1 . 1 = 1 . 1. Suponhamos agora que p(n) = V e provemos, a partir da, que p(s(n)) = V. De p(n) = V, temos n . 1 = 1 . n e ento s(n) . 1 = s(n) = n + 1 = n . 1 + 1 = 1 . n + 1 = 1 . s(n), onde, na ltima igualdade, utilizamos o item (b) da definio da multiplicao. Logo p(s(n)) = V. Uma implicao imediata da igualdade n + 1 = 1 + n a inexistncia de elemento neutro da adio. De fato, se existisse um natural e tal que n + e = e + n = n, para todo natural n, teramos 1 + e = e + 1 = 1, contrariando o segundo postulado de Peano. Por seu turno, as igualdades n = n . 1 = 1 . n implicam que o natural 1 o elemento neutro da multiplicao. Sobre as demais propriedades das operaes temos a seguinte proposio. Proposio 2.2 As operaes adio e multiplicao so associativas e comutativas e a multiplicao distributiva em relao adio. Isto , para todos n, m, p , temos i) n + (m + p) = (n + m) + p (associatividade da adio);

Introduo lgebra Abstrata - 26 i) n . (m + p) = n . m + n . p (distributividade da multiplicao em relao adio); i) n . (m . p) = (n . m) . p (associatividade da multiplicao); iv) n + m = m + n (comutatividade da adio); v) n . m = m . n (comutatividade da multiplicao); Demonstrao. i) Sejam n, m e consideremos o predicado em p(k) = V se (n + m) + k = n + (m + k). Temos p(1) = V, pois (n + m ) + 1 = s(n + m) = n + (m + 1), onde na ltima igualdade foi utilizada o item b da definio da adio. Suponhamos que p(k) = V, ou seja, suponhamos que (n + m) + k = n + (m + k), e provemos que p(s(k)) = V. Temos (n + m) + s(k) = s((n + m) + k) = s(n + (m + k)) = n + s(m + k) = n + (m + s(k)). i) Sejam n, m e consideremos o predicado em p(k) = V se n . (m + k) = n . m + n . k. Temos p(1) = V, pois n . (m + 1) = n . m + n = n . m + n . 1. Suponhamos que p(k) = V, ou seja, suponhamos que n . (m + k) = n . m + n. k, e provemos que p(s(k)) = V. Temos n . (m + s(k)) = n . s(m + k) = n . ((m + k) + 1) = n . (m + k) + n = (n . m + n . k) + n = = n . m + (n . k + n) = n . m + n . s(k). i) Sejam n, m e consideremos o predicado em p(k) = V se (n . m) . k = n . (m . k). Temos p(1) = V, pois (n . m) . 1 = n . m = n . (m . 1). Suponhamos que p(k) = V, ou seja, suponhamos que (n . m) . k = n . (m . k), e provemos que p(s(k)) = V. Temos (n . m) . s(k) = (n . m) . k + (n . m) (definio da multiplicao) (n . m) . s(k) = n . (m .k) + n . m (hiptese indutiva) (n . m) . s(k) = n . (m . k + m)(distributividade "ao contrrio") (n . m) . s(k) = n . (m . s(k))(definio de multiplicao) iv) Seja n e consideremos o predicado em p(m) = V se n + m = m + n. Pelo lema 1.2, temos p(1) = V. Suponhamos que p(m) = V, ou seja, suponhamos que n + m = m + n, e provemos que p(s(m)) = V. Temos n + s(m) = n + (m + 1)(definio de sucessor) n + s(m) = (n + m) + 1(associatividade da adio) n + s(m) = (m + n) + 1(hiptese indutiva) n + s(m) = m + (n + 1)(associatividade da adio) n + s(m) = m + (1 + n)(lema 1.2) n + s(m) = (m + 1) + n(associatividade da adio) n + s(m) = s(m) + n(definio de sucessor) v) Seja n e consideremos o predicado em p(m) = V se n . m = m . n. Pelo lema 1.2, temos p(1) = V. Suponhamos que p(m) = V, ou seja, suponhamos que n . m = m . n, e provemos que p(s(m)) = V.

Introduo lgebra Abstrata - 27 Inicialmente, provemos que (n + m) . p = n . p + m . p, quaisquer que sejam os naturais n, m e p. Para isto, consideremos o predicado em q(k) = V se (n + m) . k = n . k + m . k. Temos que q(1) = V, pois (m + n) . 1 = m + n = m . 1 + n . 1. Suponhamos que q(k) = V e provemos que q(s(k)) = V. Temos (m + n) . (k + 1) = (m + n) . k + m + n(distributividade e associatividade da soma) (m + n) . (k + 1) = m . k + n . k + m + n(hiptese indutiva) (m + n) . (k + 1) = m . k + m + n . k + n(comutatividade da adio) (m + n) . (k + 1) = m . (k + 1) + n . (k + 1)(distributividade "ao contrrio") Agora, voltando ao predicado p, temos n . (m + 1) = n . m + n(definio de multiplicao) n . (m + 1) = m . n + n(hiptese indutiva) n . (m + 1) = m . n + 1 . n(n = n . 1 = 1 .n) n . (m + 1) = (m + 1) . n(demonstrao acima) As propriedades mostradas acima, entre outras finalidades, servem para facilitar a determinao de resultados de operaes. Por exemplo, 3 + 4 = 4 + 3 = 4 + (2 + 1) = 4 + (1 + 2) = (4 + 1) + 2 = 5 + 2 = 5 + (1 + 1) = 6 + 1 = 7 2 . 4 = 2 . (2 + 2) = 2 .2 + 2 .2 = 4 + 4 = 4 + (3 + 1) = (4 + 3) + 1 = 7 + 1 = 8. A prtica diuturna permite memorizar os resultados das operaes envolvendo os naturais de 1 a 9: so as tabuadas da adio e da multiplicao. Observe que a distributividade da multiplicao em relao soma, dada por n . (m + p) = n . m + n . p, foi algumas vezes utilizada do segundo membro para o primeiro. Quando se utiliza esta propriedade neste sentido, se diz que se est fatorando n ou que se est colocando n em evidncia. Corolrio 1.2 Se n, m , ento s(n) + m = n + s(m). Demonstrao Temos s(n) + m = (n + 1) + m = n + (1 + m) = n + (m + 1) = n + s(m) Pela injetividade da funo sucessor estabelecida no primeiro axioma de Peano, temos que n + 1 = m + 1 implica m = n. Na verdade, esta concluso pode ser generalizada, de acordo com a seguinte proposio, chamada lei do corte (ou do cancelamento) da adio. Proposio 3.2 Sejam n, m, k . Se n + k = m + k, ento n = m. Demonstrao

Consideremos o predicado em definido por p(k) = V se n + k = m + k implicar n = m. Pela observao acima temos que p(1) = V. Suponhamos que p(k) = V e provemos que p(s(k)) = V. Ora, se n + (k + 1) = m + (k + 1), temos, por associatividade, (n + k) + 1 = (m + k) + 1 e ento, pelo primeiro axioma de Peano, n + k = m + k. Da, pela hiptese de induo, n = m, provando que p(s(k)) = V. Introduo lgebra Abstrata - 28 2.4 Equaes no conjunto dos nmeros naturais Para analisarmos uma lei do corte para a multiplicao e definirmos uma relao de ordem no conjunto dos nmeros naturais, consideremos a seguinte definio. Se x uma indeterminada em e n, m so nmeros naturais, uma igualdade do tipo n + x = m chamada de uma equao em . Um natural r tal que n + r = m chamado soluo da equao e se uma equao admitir uma soluo ela dita solvel. Por exemplo, a equao 1 + x = 3 solvel com soluo r = 2. Claramente, a soluo de uma equao em solvel nica. De fato, se r e r so solues da equao n + x = m, temos n + r = m e n + r = m o que implica, pela transitividade da igualdade, n + r = n + r, advindo da, pela lei do corte para adio, r = r. Sobre equaes em , temos a seguinte proposio Proposio 4.2 Sejam n, m , i) A equao n + x = n no solvel. i) Se a equao n + x = m for solvel, ento a equao m + x = n no solvel. i) Se a equao n + x = m for solvel, ento s(n) = m ou a equao s(n) + x = m solvel. iv) Se a equao n + x = s(m) no solvel, ento a equao n + x = m tambm no . v) Se a equao n + x = m no for solvel, ento n = m ou a equao m + x = n solvel. Demonstrao i) Se existisse r tal que n + r = n, teramos n + (r + 1) = n + 1 o que implicaria, pela lei do corte, r + 1 = 1. Esta igualdade acarretaria s(r) =1, contrariando o segundo axioma de Peano. i) Se as equaes n + x = m e m + x = n fossem solveis, existiriam naturais r e p tais que n + r = m e m + p = n. Da, n + (r + p) = n e a equao n + x = n teria soluo. i) Seja r a soluo da equao n + x = m. Se r = 1, temos n + 1 = m e, portanto, m = s(n). Se r 1, temos r = s(r 1) e ento n + s(r 1) = m o que implica, pelo corolrio 1.2, s(n) + (r 1) = m. Esta igualdade mostra que a equao s(n) + x = m solvel. iv) Se a equao n + x = m fosse solvel, existiria um natural r tal que n + r = m, o que implicaria n + (r + 1) = m + 1 e a equao n + x = s(m) seria solvel.

v) Seja n e consideremos o predicado em p(m) = V se a equao n + x = m no for solvel, ento n = m ou a equao m + x = n solvel. Temos que p(1) = V, pois se n + x = 1 no for solvel e tivermos n 1, temos s(n 1) = n e ento 1 + (n 1) = s(n 1) = n e a equao 1 + x = n solvel. Suponhamos que p(m) = V e provemos que p(s(m)) = V. Para isto, suponhamos que a equao n + x = s(m) no seja solvel. Da, pelo item iv, a equao n + x = m no solvel o que implica pela hiptese de induo n = m ou n + x = m solvel. Porm, n m, pois, do contrrio, n + 1 = s(m), o que contraria a hiptese levantada acima de que a equao n + x = s(m) no solvel. Logo, m + x = n solvel e ento, pelo item i, s(m) = n ou s(m) + x = n solvel, mostrando que p(s(m)) = V. Observe que o item (i) da proposio acima implica que dado um natural n no existe um natural k tal que n + k = n. Desta observao segue que s(n) n, para todo natural n. Agora temos condies de provar a lei do corte para a multiplicao. Proposio 5.2 Se n, m, p e n . p = m . p, ento n = m. Introduo lgebra Abstrata - 29 Demonstrao Pela proposio anterior, se n m, uma das equaes n + x = m ou m + x = n seria solvel. Se existisse um natural r tal n + r = m, teramos (n + r) . p = m . p o que implicaria n . p + r. p = m . p e a equao n . p + x = m . p seria solvel, contrariando o item i da proposio anterior, pois, por hiptese, n . p = m . p. Como evidente que este raciocnio se aplica possibilidade de que a equao m + x = n seja solvel, temos que n = m. 2.5 Uma relao de ordem no conjunto dos nmeros naturais No conjunto dos nmeros naturais definimos uma relao, chamada menor do que ou igual a e indicada pelo smbolo , por n m se n = m ou a equao n + x = m solvel. Observe que, como a solubilidade da equao n + x = m implica a existncia de um natural r tal que n + r = m, a relao poderia ser definida da seguinte forma n m se n = m ou existe um natural r tal que n + r = m. Proposio 6.2 A relao uma relao de ordem. Isto , reflexiva, antissimtrica e transitiva e total. Demonstrao Sejam a, b e c nmeros naturais quaisquer. Pela prpria definio da relao, se a = b, temos a b. Assim, a a e a relao reflexiva.

Suponhamos agora que a b e b a. Se a e b fossem diferentes, as equaes a + x = b e b + x = a seriam solveis o que contrariaria a proposio 4.2. Logo a = b e a relao antissimtrica. Se a b e b c, temos a = b ou existe um natural p tal que a + p = b e b = c ou existe um natural r tal que b + r = c. Da, a = c ou a + (r + p) = c, o que mostra que a c. Assim, transitiva. Finalmente, a proposio 4.2 garante que a = b ou a + x = b solvel ou b + x = a solvel. Ou seja, a b ou b a e total. Alm de ser uma relao de ordem, a relao satisfaz s seguintes propriedades. Proposio 7.2 Sejam n, m tais que n m. Ento, para todo natural p, n + p m + p e n . p m . p. Demonstrao De n m segue que n = m ou existe um natural r tal que n + r = m. De n = m segue que n + p = m + p e n . p = m . p. De n + r = m segue que n + (r + p) = m + p e n . p + r . p = m . p, que implicam (n + p) + r = m + p e n . p + r . p = m . p. Logo, n + p m + p e n . p m . p. Quando dois naturais n e m so tais que n m e n m dizemos que n menor do que m e indicamos por n < m. Observe que, como as condies n = m e a equao n + x = m solvel so incompatveis, dizer que n < m implica que a equao n + x = m solvel. Ou seja, n < m se e somente se existe um natural r tal que n + r = m. Observe que < pode ser vista como uma relao binria em que, como fcil provar, transitiva (ver exerccio 2.9). Tambm usamos m n (lido m maior do que ou igual a n) para indicar que n m e m > n (lido m maior que n) como sinnimo de n < m. Como as relaes e < so transitivas, quando tivermos Introduo lgebra Abstrata - 30 n m e m p, podemos escrever n m p e quando tivermos n < m e m < p, podemos escrever n < m < p, caso em que dizemos que m est entre n e p. Qualquer uma das relaes <, , >, e chamada desigualdade. interessante observar, como mostra a proposio a seguir, que no existe nmero natural entre um natural e o seu sucessor. Proposio 8.2 Sejam n e m nmeros naturais. Se m > n, ento m n + 1. Demonstrao

Se existisse um natural m tal que n < m < n + 1 existiriam naturais r e p tais que n + r = m e m + p = n + 1 de onde seguiria que n + (r + p) = n + 1. Da, pela lei do corte, teramos r + p =1. Porm a existncia de naturais r e p tais que r + p =1 uma contradio, pois, se p = 1, r + 1 =1 e se p 1, (r + (p 1)) + 1 =1, que contrariam o segundo axioma de Peano. O conjunto dos nmeros naturais satisfaz a uma outra propriedade que ser importante no sentido de relacionar o conjunto dos nmeros naturais com contagens. Para sua demonstrao necessitamos do seguinte lema. Lema 2.2 Seja n, m . Ento i) 1 n; i) n < s(n); i) Se n < s(m), ento n m. Demonstrao i) Se n 1, como 1 + (n 1) = n, temos 1 < n. Logo, 1 n. i) Decorre imediato da igualdade n + 1 = s(n). i) Por contradio, suponhamos que m < n. Da a equao m + x = n solvel e ento, pela proposio 4.2, s(m) = n ou a equao s(m) + x = n solvel. Assim s(m) n, contrariando a hiptese de que n < s(m). Observe que o item i do lema anterior e a transitividade da relao < implicam que 1 < 2 < 3 < < 9 < . Da ser natural (no sentido usual do termo) a representao do conjunto dos nmeros naturais por = {1, 2, 3,...}. Proposio 9.2 (Princpio da Boa Ordenao-PBO) Seja M um subconjunto dos nmeros naturais. Se M , ento existe p M tal que p m qualquer que seja m M (p chamado menor elemento ou elemento mnimo de M). Demonstrao Como M no vazio, existe k M e, ento, podemos considerar o conjunto, tambm m M, j que p L no vazio, L = {x | m M x m}. Como pelo lema anterior, s(k) > k, temos que L . Da, e do fato de que 1 L (lema anterior), segue da proposio 1.2 que existe p L tal que s(p) L. Logo, existe t M tal que t < s(p), o que implica (lema anterior) t M com t p. Por outro lado, como p L e t M temos p t. Assim, p = t, o que implica p M e p m, qualquer que seja 2.6 Conjuntos finitos Como dissemos no incio da seo da seo 2.2, aprendemos a manipular nmeros naturais Introduo lgebra Abstrata - 31 associando-os a quantidades e realizando contagens. Nesta seo vamos formalizar estas ideias.

Dado n , seja In = {x | x n}. Dizemos que um conjunto A finito se A = ou existem um natural n e uma bijeo de In em A (ou, por inversibilidade, uma bijeo de A em In) . Por exemplo, o conjunto A = {a, b, c} um conjunto finito pois, trivialmente, existe uma funo bijetiva do conjunto I3 = {1, 2, 3} em A: f = {(1, a), (2, b), (3, c)}. Evidentemente, para cada n , o conjunto In finito, pois a identidade uma bijeo de In em In. Se um conjunto A no finito dizemos que ele infinito. Vamos mostrar que se A finito, ento o natural n determinado pelo conjunto A e pela existncia da bijeo de A em In. Esse fato decorre da seguinte propriedade dos conjuntos do tipo In. Proposio 10.2 Seja n . Se A um subconjunto prprio de In e f uma funo de A em In, ento f no bijetiva. Demonstrao Seja Y = {x |existem A Ix, A Ix, e uma bijeo f de A em Ix}. Devemos provar que Y = . Por contradio, suponhamos que Y . Assim, pelo Princpio da Boa Ordenao, Y tem um menor elemento m e, portanto, h um subconjunto prprio A de Im tal que existe uma bijeo f de A em Im. Se m A, por uma propriedade apresentada na seo 1.16, existe uma funo bijetiva g de A em Im, com g(m) = m e a restrio g ao conjunto A {m} uma bijeo de A {m} em Im-1, o que contraria o fato de que m o elemento mnimo de Y. Se m A, seja a A tal que m = f(a). Assim, a restrio de f ao conjunto A {a} uma bijeo de A {a} em Im-1, o que contraria tambm fato de que m o elemento mnimo de Y. Corolrio 3.2 Seja A um conjunto finito no vazio. Se existem naturais n e m e bijees f de A em In e g de Im em A, ento n = m. Demonstrao Como g de Im em A e f de A em In so bijetivas, as funes f o g, de Im em In, e (f o g)-1, de In em Im, so bijetivas. Se m < n, Im subconjunto prprio de In e a funo f o g contrariaria a proposio anterior. Do mesmo modo a funo (f o g)-1 contrariaria a citada proposio se n < m. Logo n = m. Se A um conjunto finito no vazio, o nico natural n definido pela existncia do subconjunto

In e da bijeo de In em A chamado cardinalidade de A ou nmero de elementos de A, indicado por |A| ou n(A). Dizemos tambm que A tem n elementos, sendo a obteno deste nmero uma contagem dos elementos de A. Claramente, se A e B so dois conjuntos finitos disjuntos (isto , A B = ), n(A B) = n(A) + n(B). Este fato utilizado para o ensino inicial de somas de nmeros naturais: para se explicar que 2 + 3 = 5, toma-se um conjunto com duas laranjas e um outro conjunto com trs laranjas e mostra-se que a unio dos dois conjuntos ter cinco laranjas. O corolrio a seguir conhecido como princpio da casa dos pombos ou princpio das gavetas e formaliza matematicamente um fato bastante intuitivo: se num pombal existem mais pombos que casas, pelo menos uma casa dever abrigar mais de um pombo; se existirem mais casas do que pombos, pelo menos uma das casas ficar desocupada. Corolrio 4.2 Sejam A e B dois conjuntos finitos e f uma funo de A em B. Se |A| |B|, ento f no bijetiva. Demonstrao Sejam n = |A| e m = |B|. Assim, existem funes bijetivas g de In em A e h de B em Im. Se Introduo lgebra Abstrata - 32 n < m e a funo f de A em B fosse bijetiva, a funo h o f o g seria uma funo bijetiva de In em Im, contrariando a proposio 10.2, j que se n < m, ento In subconjunto prprio de Im. Com raciocnio semelhante chegaramos a uma contradio se m < n. Conclumos este captulo discutindo a finitude do conjunto dos nmeros dos nmeros naturais. Corolrio 5.2 O conjunto dos nmeros naturais infinito. Demonstrao Se fosse finito, haveria um nmero natural n e uma bijeo f de em In e a restrio de f ao conjunto In+1 seria uma bijeo de In+1 em f( In+1), o que contrariaria a proposio 4.2, considerando que f( In+1) In In+1 e In In+1. 2.7 Exerccios 2.1. Defina uma funo sobrejetiva de em , diferente da funo identidade. 2.2. Considere o seguinte predicado definido em : p(n) = V se n nmero pequeno.

Temos que p(1) = 1, pois 1 um numero pequeno. Alm disto, se p(n) = V, bvio que p(s(n)) = V, pois se n um nmero pequeno, ento n + 1 um nmero pequeno. Assim, pelo Princpio da Induo, todo nmero natural pequeno. O que h de errado com esta demonstrao?. 2.3. Mostre que, quaisquer que sejam os naturais a e b, a) 2 . a = a + a. b) (a + b)2 = a2 + 2 . a . b + b2. a) 1 + 3 + + (2 . n 1) = n2. b) 2 + 4 + + 2 . n = n . (n + 1). 2.4. Mostre que a relao definida em x por (m, n) (p, q) se e somente se m + q = n + p uma a relao de equivalncia. 2.5. Mostre que, qualquer que seja o natural n 2.6. Em definamos a operao n m = n + m + n . m. Mostre que comutativa, associativa e no possui elemento neutro. 2.7. Representemos por n m a soluo da equao solvel m + x = n e consideremos um natural p. Mostre que a) n m = (n + p) (m + p). b) Se n m = p, ento n p = m. c) (n m) . p = n . p m . p. d) Se n = m + p, ento n p = m. 2.8. Sejam a, b, c, d . Mostre que a) Se a + c b + c, ento a b. b) Se a b e c d, ento a + c b + d. c) Se a . c b . c, ento a b 2.9. Sejam a, b, c . Mostre que a) Se a < b e b < c, ento a < c. b) Se a < b e b c, ento a < c. c) Se a < b, ento a + c < b + c. d) Se a < b, ento a . c < b . c. Jaime Evaristo/Eduardo Perdigo - Introduo lgebra Abstrata - 3 3. Os nmeros inteiros 3.1 Introduo No captulo anterior introduzimos a noo de equao no conjunto dos nmeros naturais e vimos que uma equao n + x = m tem soluo se e somente se n < m. H situaes na prtica em que necessitamos investigar uma equao do tipo n + x = m, com n > m. Um exemplo bem simples o seguinte. Uma criana, cuja mesada administrada pela me, tem um saldo de R$ 5,0. Se ela convence a me a comprar um sorvete que custa R$ 7,0, ela fica devendo (para ser descontado da mesada do prximo ms) R$ 2,0. A questo : como expressar numericamente este dbito em relao ao saldo da sua mesada? Para que possamos fazer isto necessrio "ampliarmos" o conjunto dos nmeros naturais, obtendo ento o nosso velho conhecido conjunto dos nmeros inteiros. A partir dos nmeros naturais, o conjunto dos inteiros pode ser construdo atravs de definies. Vamos optar, por enquanto, em construir os inteiros tambm de forma axiomtica, deixando o estabelecimento dos inteiros por definio para o captulo 8. Esta opo se deve ao

fato de que as definies necessrias, embora fceis, requerem uma maior maturidade matemtica. Uma outra razo para construirmos os inteiros axiomaticamente que, nesta construo, o Princpio da Induo Matemtica agora ser um teorema enquanto que o Princpio da Boa Ordenao ser um axioma, ao contrrio da construo axiomtica dos nmeros naturais. Esta mudana permitir uma nova maneira de ver as coisas. Alm disso, a construo axiomtica dos inteiros requer o estudo de algumas estruturas algbricas, que so tambm utilizadas em outros ramos da Matemtica. Uma estrutura algbrica consiste de um conjunto munido de uma ou mais operaes que gozem de propriedades preestabelecidas. Estudaremos os anis e outras estruturas algbricas "derivadas". 3.2 Anis Um anel a estrutura algbrica que consiste de um conjunto A munido de duas operaes, chamadas adio (operador: +, denominao: mais) e multiplicao (operador: . ou , denominao: vez(es)), que satisfazem s seguintes propriedades. (A1) A adio associativa: a + (b + c) = (a + b) + c, quaisquer que sejam a, b, c A. (A2) A adio comutativa: a + b = b + a, quaisquer que sejam a, b A. (A3) A adio possui elemento neutro: existe e A tal que a + e = a, qualquer que seja a A. (A4) Todo elemento possui simtrico em relao adio: para todo a A existe a A tal que a + a = e. (M1) A multiplicao associativa: a . (b . c) = (a . b) . c, quaisquer que sejam a, b, c A. (M2) A multiplicao comutativa: a . b = b . a, quaisquer que sejam a, b A. (M3) A multiplicao possui elemento neutro: existe f A, f e, tal que a . f = a, qualquer que seja a A. (AM) A multiplicao distributiva em relao adio: a . (b + c) = a . b + a . c, quaisquer que sejam a, b, c A. Normalmente, a referncia a um anel genrico feita apenas pela indicao do conjunto, ficando subentendidas as duas operaes adio e multiplicao. Quando necessrio, indicaremos um anel por (A, #, *), onde A o conjunto, # e * so, respectivamente, as operaes de adio e de multiplicao definidas no conjunto. Como nos naturais, uma imagem de uma adio a + b chamada soma e uma imagem de uma multiplicao a . b chamada produto. Na soma a + b, a e b so chamados parcelas e no produto a . b, a e b so chamados fatores. O produto a. a pode ser indicado por a2 (lido a ao quadrado).

Jaime Evaristo/Eduardo Perdigo - Introduo lgebra Abstrata - 34 Consideremos, para exemplificar, um mostrador de um relgio. Imagine que num determinado instante o ponteiro das horas esteja sobre a marca das 1 horas.

Trs horas aps este instante o ponteiro estar sobre a marca das 2 horas;

seis horas aps aquele instante o ponteiro estar sobre 5 horas

e 1 horas aps, ele estar sobre as 10 horas. Jaime Evaristo/Eduardo Perdigo - Introduo lgebra Abstrata - 35

I12 = {1, 2, 3, , 12} pondo Naturalmente, podemos expressar estes fatos atravs de uma operao definida no conjunto 1 + 3 = 2 1 + 6 = 5 1 + 1 = 10 Imagine agora que o ponteiro das horas esteja sobre a marcao das doze horas. Decorrido trs vezes o intervalo de tempo de sete horas, o ponteiro ocupar a marca das nove horas o que justifica a igualdade 3 . 7 = 9. Isto mostra que, de forma natural, pode-se definir uma adio e uma multiplicao em I12 de acordo com as seguintes tabelas, onde o elemento da linha i e da coluna j, representa i + j na primeira e i . j na segunda.

Naturalmente, o leitor est pensando que muito difcil executar estas operaes. No captulo Jaime Evaristo/Eduardo Perdigo - Introduo lgebra Abstrata - 36 7 apresentaremos uma forma simples de realiz-las.

Por enquanto, o leitor precisa observar apenas que a + 12 = a, para todo a I12, o que mostra que 12 elemento neutro da adio. Precisa observar tambm que a . 1 = a, qualquer que seja a I12, o que mostra que 1 elemento neutro da multiplicao. Alm disso, deve ser observado que as duas operaes so claramente comutativas. As demonstraes de que estas operaes so associativas e que a multiplicao distributiva em relao adio requereriam que todos os casos possveis fossem verificados, o que evidentemente seria extremamente desgastante. Na verdade, estas demonstraes so simples e sero feitas, num caso mais geral, no captulo acima referido. Por ora, observe (lembrando que isto no uma demonstrao, so apenas exemplos!) que: (5 + 9) + 8 = 2 + 8 = 10, 5 + (9 + 8) = 5 + 5 = 10, que (5 . 8) . 9 = 4 . 9 = 12, 5 . (8 . 9) = 5 . 12 = 12 e que 5 . (7 + 3) = 5 . 10 = 2, 5 . 7 + 5 . 3 = 1 + 3 = 2. fcil ver tambm que todo elemento tem simtrico: o simtrico de 1 1, o simtrico de 2 10, o simtrico de 3 9, e assim por diante. Temos ento que I12 munido destas operaes um anel. Para um outro exemplo, considere os dias da semana, associando os naturais 1, 2, 3, 4, 5, 6 e 7 aos dias domingo, segunda-feira, tera-feira, quarta-feira, quinta-feira, sexta-feira e sbado, respectivamente. Como se sabe, se estivermos numa quinta-feira, aps o decurso de seis dias iremos para uma quarta-feira. Isto poderia ser expresso por 5 + 6 = 4; do mesmo modo, se estivermos num domingo e forem decorridos sete dias iremos para um outro domingo. Ou seja, 1 + 7 = 1. De forma semelhante, decorridos trs vezes o perodo de quatro dias, a partir do domingo, iremos parar numa quinta-feira (o primeiro perodo terminaria numa quarta-feira, o segundo terminaria num domingo e, ento, o terceiro acabaria numa quinta-feira). Assim, 3 . 4 = 5. Desta forma, estabelecemos duas operaes no I7 = {1, 2, 3, 4, 5, 6, 7} dadas pelas tabelas a seguir.

Jaime Evaristo/Eduardo Perdigo - Introduo lgebra Abstrata - 37 Do mesmo modo que o I12, o conjunto I7 munido das operaes acima um anel. O conjunto dos naturais no um anel pelo fato de que no existe elemento neutro para adio. O elemento neutro (nico, como mostrado na seo 1.12) da adio chamado zero ou elemento nulo e representado pelo smbolo 0. Observe que no anel I12 o elemento neutro da adio 12 e, portanto, neste anel 12 = 0; em I7, 7 = 0. Um elemento de um anel diferente do elemento neutro da adio dito no nulo. Por sua vez, o elemento neutro (nico) da multiplicao chamado unidade ou, simplesmente, um e indicado por 1. A soma 1 + 1 pode ser indicada por 2 (lido dois) e se a um elemento do anel, o elemento a + 1 chamado consecutivo ou sucessor de a. Quando estivermos lidando com mais de um anel, poderemos adicionar ndices aos smbolos 0 e 1 para indicar o anel respectivo. Como a adio em um anel associativa, o elemento simtrico de um elemento x do anel nico (conforme seo 1.12) e representado por x, chamado menos x. Naturalmente, x + (x) = 0. Uma adio do tipo a + (-b) indicada por a b e chamada subtrao de a por b ou diferena entre a e b. Note que, como a + (-a) = 0, temos que o elemento simtrico de - a a. Ou seja, -(-a) = a. Observe tambm que o fato de a = b implicar a + c = b + c, qualquer que seja o elemento c do anel, acarreta, se a = b, a seguinte sequncia de igualdades. a + (-b) = b + (-b) a + (-b) = 0 a - b = 0 o que mostra que em todo anel vale a regra muda de membro, muda de sinal. Observe que desta propriedade decorre que se k um elemento de um anel tal que k + k = k, ento k = 0.

A simples conceituao de anis j gera propriedades interessantes, como mostram as proposies seguintes. A primeira delas clssica: se um dos fatores de uma multiplicao zero, o produto igual a zero! Proposio 1.3 Seja A um anel. Para todo a A, se tem a . 0 = 0. Demonstrao: Temos a . 0 = a . (0 + 0)(0 = 0 + 0) a . 0 = a . 0 + a . 0(distributividade da multiplicao) a . 0 = 0(observao anterior: se k + k = k, ento k = 0) A prxima proposio estabelece o que, no futuro, poder ser visto como uma regra de sinais. Proposio 2.3 Seja A um anel. Para todos a, b A, a) (-1) . a = -a. b) (-a) . b = a . (-b) = -(a . b). c) (-a) . (-b) = a . b. Demonstrao: a) Pelo conceito de elemento simtrico, basta provar que (-1) . a + a = 0. Temos (-1) . a + a = (-1) . a + 1 . a (a = a . 1) (-1) . a + a = ((-1) + 1) . a (colocando a em evidncia) (-1) . a + a = 0 . a ((-1) + 1 = 0) (-1) . a + a = 0,(proposio anterior) Jaime Evaristo/Eduardo Perdigo - Introduo lgebra Abstrata - 38 b) Temos (-a) . b = ((-1) . a) . b = (-1) . (a . b) = -(a . b). Para a outra igualdade, temos a . (-b) = (-b) . a e, ento, a . (-b) = -(b . a) = -(a . b). c) A igualdade segue das seguintes aplicaes do item (b) e do fato de que -(-a) = a. (-a) . (-b) = -(a . (-b)) = -(-(a . b)) = a . b 3.3 Elementos inversveis Seja A um anel. Vamos discutir agora a existncia de elemento simtrico em relao multiplicao. Ou seja, vamos discutir o caso em que dado um elemento a A, existe b A tal que a . b = 1. Neste caso dizemos que a inversvel e b chamado inverso de a. Como mostrado no captulo primeiro, o inverso de um elemento inversvel a nico e ser representado por a-1. No anel I12 do exemplo acima temos que 1, 5, 7 e 1 so inversveis (1-1 = 1, 5-1 = 5, 7-1 = 7 e 1-1 = 1) e 0, 2, 3, 4, 6, 8, 9, 10 no so inversveis. No anel I7, todos os elementos no nulos so inversveis, sendo, por exemplo, 2-1 = 4 e 3-1 = 5.

Devido ao fato de que a . 0 = 0, para todo a A, conforme visto na proposio 1.3, o elemento neutro da adio de um anel nunca inversvel. Por sua vez, como 1 . 1 = 1, o elemento neutro da multiplicao sempre inversvel e 1-1 = 1. Como o item (c) da proposio 2.3 mostra que (1) . (-1) = 1 . 1, temos que 1 inversvel e (-1)-1 = -1. Claramente, se a inversvel, a-1 tambm o e (a-1)-1 = a. 3.4 Igualdade de anis: anis isomorfos Como j foi dito e redito, ao se definir um novo ente matemtico necessrio que se estabelea quando dois representantes deste ente so considerados iguais. o que faremos agora em relao a anis. Embora a igualdade de dois representantes de um ente matemtico seja estabelecida por uma definio, natural que esta definio v ao encontro da lgica do senso comum. fcil aceitar que no havia sentido uma definio de igualdade de anis que tornasse iguais os anis I12 e I7. razovel aceitar que a igualdade de anis deva passar pela mesma cardinalidade dos conjuntos envolvidos, o que pode ser exigido pela existncia de uma funo bijetiva, e, em consequncia, da preservao das operaes respectivas em relao aos objetos e suas imagens. Ou seja, razovel esperar que dois anis (A, +, .) e (B, #, *) sero iguais se existir uma funo bijetiva f de A em B que satisfaa s seguintes propriedades: a) f(a + b) = f(a) # f(b). b) f(a . b) = f(a) f(b). c) f(1A) = 1B. d) f(0A) = 0B. e) f(a - b) = f(a) f(b), com ~ indicando a subtrao em B. interessante observar que, como mostra a proposio a seguir, os itens d, e, e f da definio acima so corolrios dos itens a, b e c. Proposio 3.3. Sejam (A, +, .) e (B, #, *) dois anis e f uma funo de A em B tal que f(a + b) = f(a) # f(b), f(a . b) = f(a) f(b) e f(1A) = 1B. Ento a) f(0A) = 0B. b) f(-a) = f(a), qualquer que seja a A. c) f(a - b) = f(a) f(b), quaisquer que sejam a, b A. Jaime Evaristo/Eduardo Perdigo - Introduo lgebra Abstrata - 39 Demonstrao a) Temos que f(0A) = f(0A + 0A) = f(0A) # f(0A) e ento, pela observao anterior proposio 1.3, f(0A) = 0B. b) Temos que 0B = f(0A) = f(a + (-a)) = f(a) # f(-a) e ento f(-a) = ~ f(a). c) Utilizando o item b, temos f(a - b) = f(a + (-b)) = f(a) + f(-b) = f(a) f(b).

De um modo geral, se E e F so duas estruturas algbricas de um mesmo tipo, uma funo bijetiva de E em F que preserve as operaes das estruturas chamada de isomorfismo de E em F. A proposio acima afirma que para que uma funo bijetiva f de um anel (A, +, .) num anel (B, #, *) seja um isomorfismo de A em B basta que f(a + b) = f(a) # f(b), f(a . b) = f(a) f(b) e f(1A) = 1B (caso em que f dita um homomorfismo do anel A no anel B). A proposio a seguir mostra que a funo inversa de um isomorfismo tambm um isomorfismo, o que nos permite falar em anis isomorfos. Proposio 4.3 Sejam os anis (A, +, .) e (B, #, *). Se a funo f um isomorfismo de A em B, ento a funo inversa de f um isomorfismo de B em A. Demonstrao Como f um isomorfismo de A em B, f bijetiva e, portanto, tem uma inversa f-1. Sejam c e d dois elementos do anel B. Como f bijetora existem nicos a e b em A tais que f(a) = c e f(b) = d. Temos ento f -1(c # d) = f -1(f(a) # f(b)) = f -1(f(a + b)) = a + b e, portanto, f -1(c # d) = f -1(c) + f -1(d). Claramente, a igualdade f-1(c d) = f -1(c) . f -1(d) se demonstra de forma semelhante. Finalmente, a igualdade f(1A) = 1B implica f -1(f(1A)) = f -1(1B) e ento 1A = f -1(1B). Dessa forma, se dois anis so isomorfos h uma correspondncia biunvoca entre os dois conjuntos que preserva as operaes nos dois sentidos. Assim, a existncia de um isomorfismo entre dois anis implica que eles, mesmo que tenham elementos distintos e que as operaes neles definidas sejam diferentes, algebricamente eles tm a mesma estrutura. Por esta razo, a existncia de um isomorfismo entre dois anis utilizado para definir igualdade de dois anis: dois anis so iguais quando eles so isomorfos. 3.5 Domnios de integridade Se o leitor observar a tabela de multiplicao do anel I12 e se lembrar que neste anel 12 = 0, verificar, ao contrrio do que estamos habituados, que 3 . 8 = 0. Ou seja, o produto de dois elementos no nulos igual a zero! Observe que tal fato no ocorre no anel I7. Um anel em que este fato no acontece chamado domnio de integridade, que pode ser formalmente definido da seguinte forma. Seja A um anel. Diz-se que A um domnio de integridade se a multiplicao do anel satisfizer seguinte propriedade.

(M4) Quaisquer que sejam a, b A, se a . b = 0, ento a = 0 ou b = 0. Assim o anel I12 no um domnio de integridade, pois, como j vimos, 3 . 8 = 0 e 3 0 e 8 0. J o anel I7 um domnio de integridade. Claramente, a propriedade (M4) acima equivalente seguinte propriedade. (M4) Quaisquer que sejam a, b A, se a 0 e b 0, ento a . b 0. Um domnio de integridade satisfaz a uma propriedade adicional, conhecida como lei do cancelamento ou lei do corte. Jaime Evaristo/Eduardo Perdigo - Introduo lgebra Abstrata - 40 Proposio 5.3 Seja D um domnio de integridade. Quaisquer que sejam a, b, c D, se a 0 e a . b = a . c, ento b = c. Demonstrao De a . b = a . c segue que a . b + (-a . c) = 0 o que implica a . b + (a . (-c)) = 0. Da, a . (b + (-c)) = 0 e, ento, como D um domnio de integridade e a 0, b + (-c) = 0 o que implica b = c. Ao aplicarmos a lei do cancelamento em a . b = a . c (se a 0) obtendo b = c, dizemos que dividimos a igualdade a . b = a . c por a ou que a igualdade a . b = a . c foi simplificada por a. 3.6 Anis ordenados Um anel A dito anel ordenado se nele for definida uma relao de ordem (ou seja, uma relao binria reflexiva, antissimtrica, transitiva e total), simbolizada por , que satisfaz s seguintes propriedades. a) Compatibilidade com a adio Quaisquer que sejam a, b, c A, se a b, ento a + c b + c. b) Compatibilidade com a multiplicao Quaisquer que sejam a, b, c A, se a b e 0 c, ento a . c b . c. A expresso x y lida x menor do que ou igual a y e equivalente notao y x, que lida y maior do que ou igual a x. Usamos a notao x < y (que lida x menor do que y) para indicar que x y e x y. Da mesma forma, utilizamos x > y (x maior do que y) significando que x y e x y. Como transitiva,

podemos usar x y z para indicar que x y e que y z. Um exerccio proposto (de soluo faclima) mostrar que x < y tambm transitiva. Assim podemos usar x < y < z para indicar que x < y e y < z. Neste caso dizemos que y est entre x e z. Alm da expresso x y, qualquer das expresses x y, x y, x > y e x < y chamada desigualdade. Se x > 0, diz-se que x positivo e se x < 0, diz-se que x negativo. A positividade ou negatividade de um elemento de um anel ordenado tambm citada como o sinal do elemento. Aparentemente, o anel I12 poderia ser ordenado pela relao x y se x = y ou se, no seu movimento a partir das 12 horas, o ponteiro do relgio alcana primeiro a marca correspondente (s) x hora(s). Assim, generalizando de maneira natural a notao x y z introduzida acima, teramos 12 1 2 3 4 5 6 7 8 9 10 1. De fato, fcil ver que esta relao reflexiva, antissimtrica, transitiva e total, porm, ela no compatvel com a adio, conforme mostra o contraexemplo: 3 6 e 3 + 7 6 + 7, esta ltima desigualdade decorrendo de 3 + 7 = 10 e 6 + 7 = 1. O exerccio 3.10 pedir para se provar que no se pode munir o anel I12 de uma relao de ordem que o transforme num anel ordenado. A multiplicao num anel ordenado satisfaz s propriedades abaixo, que, combinadas com as propriedades estabelecidas na proposio 2.3, so conhecidas como regra de sinais da multiplicao. Proposio 6.3 Sejam A um anel ordenado e a e b dois elementos de A. a) Se a 0, ento -a 0. Jaime Evaristo/Eduardo Perdigo - Introduo lgebra Abstrata - 41 b) Se a 0, ento -a 0. c) Se a 0 e b 0, ento a . b 0. d) Se a 0 e b 0, ento a . b 0. e) Se a 0 e b 0, ento a . b 0. Demonstrao: a) Como a 0, pela compatibilidade da relao de ordem com a adio, a + (-a) 0 + (-a) e ento 0 -a. b) Como a 0, novamente pela compatibilidade da relao de ordem com a adio, a + (-a) 0 + (-a) e ento 0 -a. c) Decorre imediatamente da compatibilidade da relao de ordem com a multiplicao: a 0 e b 0 implica a . b 0 . b e 0 . b = 0. d) Decorre tambm imediatamente da compatibilidade da relao de ordem com a multiplicao: b 0 e a 0 implica b . a 0 . a. e) Como a 0, pelo item (a), -a 0. Aplicando a compatibilidade com a multiplicao a b 0 e -a 0 temos b . (-a) 0 . (-a) e, assim, -(b . a) 0. Aplicando agora o item (b), -(-(b . a)) 0 e, portanto, b . a 0. Para estabelecer a igualdade entre dois anis ordenados, diremos que dois anis ordenados A e B so isomorfos como anis ordenados se existe um isomorfismo f de A em B tal que, para

todos a, b A, a b implicar f(a) f(b). Assim, estendendo naturalmente o conceito de igualdade de anis, dois anis ordenados so iguais se eles so isomorfos como anis ordenados. 3.7 Domnios bem ordenados Falta pouco para a caracterizao axiomtica dos nmeros inteiros. Para isto, h a necessidade de mais algumas definies. Seja A um anel ordenado. Um subconjunto S do anel A dito limitado inferiormente se S = ou se existir um elemento a A tal que para todo x S se tenha x a. Diz-se que o subconjunto S tem elemento mnimo se existir b S tal que para todo x S se tenha x b. fcil ver que se um subconjunto S tem um elemento mnimo, ento este nico. De fato, se b e b so elementos mnimos de S, b b e b b e ento, pela antissimetria da relao de ordem, b = b. Um domnio de integridade ordenado A dito domnio bem ordenado se satisfizer seguinte propriedade. Princpio da Boa Ordenao (PBO) Todo subconjunto no vazio limitado inferiormente possui elemento mnimo. Ser provado na seo seguinte que todos os domnios bem ordenados so isomorfos como anis ordenados e, portanto, existe um nico domnio bem ordenado. Para isto necessitamos discutir uma propriedade importante de predicados definidos em domnios bem ordenados. Como veremos, esta propriedade se assemelha ao terceiro postulado de Peano e, por esta razo, tambm chamado de Princpio da Induo Matemtica. Para sua demonstrao, precisamos de uma propriedade bsica dos domnios bem ordenados, que estabelece que no existe elemento de um domnio ordenado entre 0 e 1. Proposio 7.3 Num domnio bem ordenado D, se x > 0, ento x 1. Demonstrao Seja o conjunto S = {y D|0 < y < 1}. Devemos mostrar que S = . Se S , pelo PBO, S tem um elemento mnimo b. De b < 1 e b > 0, segue que (ver exerccio 3.7) b2 < b o que implica, Jaime Evaristo/Eduardo Perdigo - Introduo lgebra Abstrata - 42 por transitividade, b2 < 1. De b > 0 segue b2 > 0. Assim, b2 S. Porm esta pertinncia contraria o fato de que b elemento mnimo de S, j que b2 < b. Assim S = e a proposio est demonstrada. consequncia imediata desta propriedade o fato de que, num domnio bem ordenado, no existe elemento entre dois elementos do tipo y e y + 1.

Corolrio 1.3 Num domnio bem ordenado D, se x > y ento x y + 1. Demonstrao De x > y segue que x y > 0 e ento, pela proposio, x y 1. Da, x y + 1. Este corolrio justifica a denominao de consecutivos para elementos do tipo y e y + 1, sendo y + 1 o consecutivo de y, como definido na seo 2.2. Teorema 1.3 (Princpio da Induo Matemtica) Sejam D um domnio bem ordenado, k um elemento de D e p um predicado no conjunto A = {z D| z k}. Suponhamos que (i) p(k) = V (i) Para todo z k, se p(z) = V, ento p(z + 1) = V. Ento p uma tautologia em A, isto , p(z) = V para todo z k. Demonstrao Basta provar que o conjunto S = {z D| z k e p(z) = F} vazio. Suponhamos S . Se assim fosse, como S limitado inferiormente, pelo PBO, S teria um elemento mnimo b. Como pela hiptese (i), k S, teramos b > k e ento, pelo corolrio 1.3, b k + 1, o que implicaria b - 1 k. Do fato de que b elemento mnimo de S e desta ltima desigualdade concluir-se- ia que p(b - 1) = V. Porm, a hiptese (i) implicaria, a partir de p(b - 1 ) = V, que p(b) = V, o que contrariaria o fato de que b S. Logo S = e p uma tautologia em A. Como nos naturais, no Princpio da Induo Matemtica a hiptese (i) chamada base da induo e a assuno de que p(z) = V chamada hiptese de induo ou hiptese indutiva. Observe que o princpio da induo matemtica oferece uma tcnica bastante interessante de se provar assertivas matemticas que so vlidas para todos os elementos de um domnio bem ordenado maiores do que ou iguais a um certo elemento k. Basta verificar que a tal assertiva verdadeira para o tal k e provar que se ela for verdadeira para um elemento z > k, s-lo- para o consecutivo z + 1. Assim como a afirmao era verdadeira para k, seria verdadeira para k + 1, seria verdadeira para (k + 1) + 1, e assim por diante, sendo verdadeira, portanto, para todo elemento do domnio bem ordenado. 3.8 O conjunto dos nmeros inteiros Mostraremos nesta seo que todos os domnios bem ordenados so isomorfos como anis ordenados. Isto significa que todos os domnios bem ordenados so iguais e, portanto, existe um nico domnio bem ordenado. Este nico domnio bem ordenado chamado conjunto dos nmeros inteiros, anel dos inteiros ou domnio dos inteiros e representado por , tirado da palavra alem zahl, que significa nmero. Da prpria denominao do conjunto, cada elemento

de chamado nmero inteiro ou simplesmente inteiro. Sejam (A, +, .) um anel, a um elemento de A, (D, #, *) um domnio bem ordenado e z um elemento de D. O mltiplo de a por z o elemento de A, indicad Jaime Evaristo/Eduardo Perdigo - Introduo lgebra Abstrata - 43 z a =

onde ~ est indicando a subtrao em D e a subtrao em A. Por exemplo,

a = a + a = 2A. Proposio 8.3 Sejam (A, +, .) um anel e (D, #, *) um domnio bem ordenado. Quaisquer que sejam a, b A e m, n m

Demonstrao

a) Se m > 0D, ~m < 0D a igualdade evidente, pois ambos os seus termos ficam iguais a zero e se m < 0D, da prpria b) Suponhamos que m # n > 0, fixemos m e provemos a igualdade para todo n 1D. (para n negativo, fixaramos n e faramos a induo em relao a m que, forosamente, seria positivo)

ualdade decorre da igualdade

(m # (n # 1D

a)(base de induo). -

-((a) da proposio. c) Provemos, por induo, que a igualdade verdadeira para todo m 0D. - (-

--

) = ma + na, onde na penltima igualdade foi utilizado o item

(i) Para m = 0D os dois termos da igualdade tornam-se iguais a zero e a igualdade verdadeira. (i)

(hiptese indutiva e exemplo acima)

Jaime Evaristo/Eduardo Perdigo - Introduo lgebra Abstrata - 4 Para m < 0D,

-(((-((-

(definio) (-m > 0D)

(definio) d) Como na demonstrao do item (b), suponhamos que m * n > 0, fixemos m e provemos a igualdade para todo n 1. (i) claro que a igualdade

(item b) (m * (n # 1D

Se m . n = 0D, temos m = 0D ou n = 0D (D um domnio) e os dois termos da igualdade so iguais a zero. Se m * n < 0D,

(definio) ((-m) . n > 0)

-(m * n) = (-(-x) = x no anel).

-(-

e) Provemos que a igualdade verdadeira para m 0D. (i) A igualdade claramente verdadeira para m = 0D, pois ambos os termos se tornam iguais a zero.

(distributividade no anel) (item b) 2.3 ). Demonstrao -

Jaime Evaristo/Eduardo Perdigo - Introduo lgebra Abstrata - 45 Corolrio 3.3 Se A um anel ordenado, D um domnio bem ordenado e um elemento m de D tal que m >

Demonstrao

1A > 0, pois ambas as parcelas so maiores que zero, a primeira pela hiptese de induo e a segunda pela base de induo. Teorema 2.3 Se (D, +, .) e (E, #, *) so domnios bem ordenados, ento a funo de E em D definida por

Demonstrao Inicialmente, temos

Provemos agora sobrejetivo. Para tal devemos provar que todo elemento a D da forma E. Suponhamos por contradio que existe a para todo z E e consideremos os conjuntos D| z D| z Se A , como ele um conjunto limitado inferiormente e D um domnio bem ordenado, pelo 1D a. Desta ltima, segue (b . Utilizando raciocnio semelhante e a formulao do Princpio da Boa Ordenao dada no exerccio 3.1, prova-se que A tambm um conjunto vazio, o que prova que no existe a todo z E. Logo, sobrejetivo. Para provar que injetivo (e tambm que preserva as ordens dos domnios bem ordenados), sejam z, y E, com z > y. Da, z - y > 0 e, como (z) y) 1D, para todo z E. Desta ltima desigualdade e do corolrio 3.1 segue que a (b

bem ordenados so iguais implicando a existncia de um nico domnio bem ordenado que, como foi dito no incio da seo, chamado conjunto dos nmeros inteiros. Sendo o nico domnio bem ordenado, o domnio dos nmeros inteiros (representado por como estabelecido no incio da seo) fica perfeitamente caracterizado: nele esto definidas duas operaes que gozam das propriedades (A1), (A2), (A4), (A4), (M1) (M2), (M3), (M4) e (MA), nele est definida uma relao de ordem que compatvel com a adio e com a multiplicao e ele satisfaz ao Princpio da Boa Ordenao: todo subconjunto no vazio limitado inferiormente te um elemento mnimo. Alm disso, o conjunto das nmeros inteiros satisfaz a todas as propriedades Jaime Evaristo/Eduardo Perdigo - Introduo lgebra Abstrata - 46 fixadas neste captulo (inclusive, para destacar, o princpio da induo matemtica). Nas sees e nos captulos seguintes, ser mostrado que todos os fatos conhecidos sobre os inteiros podem ser demonstrados a partir desta caracterizao. 3.9 Inversibilidade no domnio dos inteiros

O objetivo desta seo mostrar que os nicos elementos inversveis do domnio dos inteiros so 1 e -1. Para tal, necessitamos da seguinte definio. O valor absoluto ou mdulo de um inteiro z definido por |z| =

Por exemplo, |1| = 1, |0| = 0 e |-1| = 1. Observe que a definio |z| = -z se z < 0 pode ser substituda por |z| = -z se z 0, pois o caso z = 0 implicaria em ambas |z| = 0, no havendo dubiedades. O valor absoluto satisfaz s propriedades listadas na seguinte proposio e nos seus corolrios. Proposio 9.3 Sejam z, y . Ento a) |z| 0 e |z| = 0 se e somente se z = 0. b) |z . y| = |z| . |y|. c) -|z| z |z|. d) |z| < y se e somente se -y < z < y. Demonstrao a) Decorre imediatamente da definio, pois se z > 0, |z| = z > 0 e se z < 0, |z| = -z e -z > 0. b) A demonstrao desta igualdade pode ser feita analisando-se os quatro casos possveis de combinaes de positividade e negatividade de y e de z: (i) se z 0 e y 0, temos, pela compatibilidade da relao de ordem com a multiplicao, que z . y 0 e a igualdade a ser provada decorre da definio. (i) se z 0 e y 0, temos, pela proposio 6.3, z . y 0 e ento |z . y| = -(z . y) (definio de valor absoluto) |z . y| = z . (-y)(item (b) da proposio 2.3) |z . y| = |z| . |y|(definio de valor absoluto (i) se z 0 e y 0 a demonstrao semelhante a anterior, j que, tambm neste caso, z . y 0. (iv) finalmente, se z 0 e y 0, temos z . y 0 e |z . y| = z . y = (-z) . (-y) = |z| . |y|. c) Se z 0, ento |z| = z -|z|, pois -|z| sempre negativo. Da, |z| z -|z|. Se z 0, ento |z| = -z, -|z| = z |z|, pois |z| sempre positivo e estamos na hiptese de que z negativo. Segue ento a afirmao.

d) Suponhamos inicialmente que |z| < y. Assim -y < -|z| e ento -y < -|z| z |z| < y, onde nas segunda e terceira desigualdades foi utilizado o item (c) anterior. Reciprocamente, suponhamos que -y < z < y. Se z 0, ento |z| = z e, assim, |z| < y. Se z 0, temos |z| = - z e, ento, |z| < y, pois da hiptese -y < z segue que -z < y. Corolrio 4.3 Sejam z, y . Se y 0, ento |z . y| |z|. Jaime Evaristo/Eduardo Perdigo - Introduo lgebra Abstrata - 47 Demonstrao Como y 0 temos que |y| > 0 e ento, pela proposio 7.3, |y| 1. Da, aplicando a compatibilidade com a multiplicao, tem-se |z| . |y| |z| . 1 que implica a desigualdade procurada. O corolrio a seguir estabelece uma propriedade, chamada propriedade arquimediana, que ser utilizada em demonstraes futuras. Corolrio 5.3 (propriedade arquimediana) Se z, y e y 0, ento existe n tal que n . y z. Demonstrao Pelo corolrio anterior temos |z . y| |z| e ento |y| . |z| |z| que implica |y| . |z| z, j que |z| z. Da, se y > 0, a desigualdade a ser demonstrada segue tomando n = |z| e se y < 0 a desigualdade segue tomando n = -|z|. Proposio 10.3 Os nicos inteiros inversveis so 1 e -1. Demonstrao Se z inversvel, z 0 e existe y , y 0, tal que z . y = 1. Assim, |z| > 0 e |y| > 0, o que implica |z| 1 e |y| 1. Por outro lado, do corolrio 4.3, temos que |z . y| |z| e |z . y| |y| e, portanto,

z = y = 1 ou z = y = -1 |z| 1 e |y| 1, pois |z . y| = 1. Destas ltimas desigualdades e das desigualdades |z| 1 e |y| 1 segue que |z| = |y| = 1 o que resulta em z = 1 ou z = -1 e y =1 ou y = -1. Da e de z . y = 1, segue que 3.10 Sequncias estritamente decrescentes de inteiros Nos captulos 6 e 7, vamos necessitar de uma outra propriedade bsica dos inteiros. Para tal, precisamos das seguintes definies. Uma sequncia de elementos de um conjunto A uma

funo do conjunto dos nmeros naturais em A. Uma sequncia f de elementos de um conjunto A indicada

por (xn) = (x1, x2, x3, xn = 2 . n 1 a sequncia (1, 3, 5, decrescente se x1 > x2 > x3 > Proposio 1.3

, xn, ...), onde xn = f(n). Por exemplo, a sequncia de nmeros naturais ). Num anel ordenado, uma sequncia (xn) dita estritamente > xn > ... .

No existe sequncia estritamente decrescente de inteiros positivos. Demonstrao

Se existisse uma sequncia (xn) de inteiros tal que x1 > x2 > x3 > > xn > ... > 0, o conjunto S = {x D| 0 < x}, no vazio e limitado inferiormente, no teria elemento mnimo, o que contrariaria o PBO. Corolrio 6.3 Seja k , com k 0. Se os inteiros x1, x2, x3, ,xk, so tais que x1 > x2 > x3 > ... > xk > > Demonstrao A no existncia de n tal que xn = k implicaria que a sequncia x1 k > x2 k > > xk - k > > ... > 0 contradiria a proposio. Jaime Evaristo/Eduardo Perdigo - Introduo lgebra Abstrata - 48 3.1 Os naturais e os inteiros Consideremos o conjunto + = {z |z > 0} e a funo f, de + em +, definida por f(z) = z + 1 . Observe que a compatibilidade com a adio da relao garante que f est bem definida e a aplicao da lei do corte dada na proposio 5.3 demonstra que f injetiva. Alm disso, da prpria definio de f segue que f(+) = + - {1}. Portanto + satisfaz aos primeiro e segundo postulados de Peano. Alm disso, o princpio da induo, dado no teorema 1.3, mostra que + satisfaz tambm ao terceiro postulado de Peano. Ainda mais: (i) como so associativas e comutativas e a multiplicao distributiva em relao adio, as operaes em + coincidem com as operaes em ; (i) se y, z + e y < z temos z y > 0 e y + (z y) = z e as relaes de k, ento existe n tal que xn = k.

concluir que o conjunto dos inteiros um conjunto infinito ordem em + e em coincidem. Logo, = +. Observe que desta igualdade tambm podemos 3.12 Exerccios

3.0 Construa um anel (A, +, .), em que A um conjunto finito de cardinalidade mnima. 3.1 Sejam A um anel e a, b, c A. Mostre que a) Se a + c = b + c, ento a = b. b) Se a + b = a para algum a A, ento b = 0. 3.2 Sejam A um anel e a, b A. Mostre que a) -(a + b) = -a - b. b) a2 b2 = (a + b).(a b) 3.3 Mostre que dois elementos a e b de um anel so inversveis se e somente se a . b inversvel. 3.4 Sejam (A, +, .) um anel e A' um subconjunto de A. O subconjunto A' dito um subanel de A se (A', +A', .A') um anel tal que 1A' = 1A (naturalmente, as operaes +A' e .A' so as restries de + e de . ao conjunto A'xA'). a) Sejam A um anel e A' um subconjunto de A. Mostre que A' um subanel de A se e somente se i) 1A A'. i) a b A' e a . b A' quaisquer que sejam a, b A b) Sejam A e B dois anis e f um homomorfismo de A em B. Mostre que f(A) um subanel de B. 3.5. Alguns autores no incluem a comutatividade da multiplicao como axioma para a construo de um anel. Para estes, quando a comutatividade existe, o anel dito comutativo ou booleano. Para aqueles que incluem a comutatividade da multiplicao como axioma, um conjunto munido de duas operaes que gozem das propriedades (A1), (A2), (A3), (A4), (M1), (M3,), (M4) e (AM) um anel no comutativo. Seja A um conjunto no vazio e (A) o conjunto das funes de A em A. Dadas f, g em (A), defina a adio f + g pela funo dada por (f + g)(x) = f(x) + g(x). Verifique se (A) munido da operao definida acima e da composio de funes um anel no comutativo. 3.6. Seja D um domnio de integridade. Mostre que a) Se a2 = 0, ento a = 0. b) Se a . b = a ento a = 0 ou b = 1. c) Se a2 = a, ento a = 0 ou a = 1. 3.7. Sejam A um anel e a A, com a 0. Considere a funo fa : A A, definida por fa(x) = a . x. a) Mostre que fa sobrejetora se e somente se a inversvel. b) Mostre que se A um domnio de integridade, ento fa injetora. 3.8 Sejam A um anel ordenado e a, b, c, d A. Mostre que Jaime Evaristo/Eduardo Perdigo - Introduo lgebra Abstrata - 49 a) Se a + c b + c, ento a b. b) Se a b e c d, ento a + c b + d. c) Se a b e c 0, ento a . c b . c. d) Se a < b e b < c, ento a < c. e) Se a < b e b c, ento a < c. f) Se a < b, ento a + k < b + k, para todo k A. g) Se a < b e c < d, ento a + c < b + d. h) Se a b e c < d, ento a + c < b + d. 3.9. Seja A um anel ordenado. Mostre que a) a2 0, qualquer que seja a A. b) 1 > 0. c) -1 < 0.

d) Qualquer que seja a A, a < a + 1. 3.10. Mostre que no se pode munir o anel I12 de uma relao de ordem que o transforme num anel ordenado. 3.1. Sejam A um domnio de integridade ordenado e a, b, c A. Mostre que a) Se a < b e c > 0, ento a . c < b . c. b) Se a . c b . c e c > 0, ento a b. c) Se a . c b . c e c < 0, ento a b. 3.12. Sejam A um anel ordenado e S um subconjunto de A. Diz-se que S limitado superiormente se existir a A tal que x a, qualquer que seja x S. Diz-se que S tem elemento mximo se existir b S tal que x b, qualquer que seja x S. Mostre que a) Se S tem elemento mximo, ento este elemento nico. b) O Princpio da Boa Ordenao equivalente seguinte propriedade. Todo subconjunto no vazio limitado superiormente possui elemento mximo. 3.13. Como fixamos anteriormente, 2 = 1 + 1 e, portanto, 2 1. Entretanto, pode-se "provar" que 2 = 1 da seguinte forma. Sejam a e b dois inteiros tais que a = b. Multiplicando ambos os termos por a temos a2 = a . b donde se conclui, somando a ambos os termos a2 2 . a . b, a igualdade a2 + a2 2 . a . b = a2 2 . a . b + a . b. Da, 2 . a2 2 . a . b = a2 a . b, e, ento, 2 . (a2 a . b) = 1 . (a2 a . b). Pela lei do cancelamento, 2 = 1. Evidentemente, esta "demonstrao" est errada! Verifique qual o erro cometido na "demonstrao" acima. 3.14. Seja z . Mostre que se z < 0, ento z -1 3.15. Sejam z, y . Mostre que a) |z + y| |z| + |y| (desigualdade triangular). b) ||z| - |y|| |z + y| |z| + |y|. c) ||z| |y|| |z - y| |z| + |y|. 3.16. Dados z, n , z 0 e n 0, definimos potncia de base z e expoente n pela seguinte igualdade. Jaime Evaristo/Eduardo Perdigo - Introduo lgebra Abstrata - 50

Mostre que para todos a, b, m, n , com a, b 0 e m, n 0 temos a) am . bm = (a . b)m. b) am . an = am+n. c) (am)n = am. n. 3.17. Sejam a e b dois inteiros. Mostre que a) se a < b, ento a3 < b3.

b) a2 a . b + b2 0. c) se a > 1 e m e n so dois inteiros positivos, ento am > an se e somente se m > n. 3.18. Sejam a, b e n nmeros inteiros, com n > 1. Mostre que an bn = (a b) . (an-1 + an-2 . b + an-3 . b2 + + a . bn-2 + bn-1) 3.19. Seja z2 o nmero inteiro y (se existir) tal que 2 . y = z. Considerando as condies de existncia, mostre que, z2 + w = z+2.w2. 3.20. Mostre que, para todo inteiro z 1, 1 + 2 + 3.21. Mostre que, para todo inteiro k 0, 1 + 2 + 4 + + 2k = 2k+1 1. 3.2. Dados n , n 0, definimos o fatorial de n por

Mostre que se A e B so dois conjuntos finitos no vazios e |A| = |B| = n, ento o nmero de bijees de A em B n!. 3.23. Seja um inteiro z tal que z -1. Mostre que se n um inteiro positivo, ento

perfurados, e dispostos numa haste vertical origem na ordem decrescente dos seus dimetros (1 + z)n 1 + n . z, desigualdade conhecida como Desigualdade de Bernoulli. 3.24. O jogo

conhecido como Torre de Hani consiste de n discos de dimetros diferentes, objetivo do jogo mover todos os discos da haste origem para uma outra haste destino, utilizando uma terceira haste auxiliar, devendo-se mover um disco de cada vez e no sendo permitir dispor um disco sobre outro de dimetro maior. Por exemplo, se n = 1, basta se deslocar este disco da origem para o destino; se n = 2, os movimentos seriam: origem auxiliar origem destino auxiliar destino. Mostre que, se an o nmero mnimo de movimentos para se concluir a Torre de Hani, ento, a) para n 2, an = 2an-1 + 1. b) an = 2n - 1, para todo inteiro n 1. 3.25. Seja A um conjunto finito, com |A| = n. Mostre que |(A)| = 2n.

0 Comentrios
ESTATSTICAS

106 visitas 12 downloads 0 comentrios

TAGS

lgebra

DESCRIO

lgebra
ARQUIVOS SEMELHANTES

Introduo lgebra Linear, Uma

Este um livro introdutrio sobre lgebra linear. Nele so

R$ 29,90

Resumo de Sries
Resumos de Sries Infinitas com os critrios para a determinao de convergncia

Introduo analise real

LISTA DE EXERCCIOS DE INTRODUO ANALISE REAL DO PROF. GRANJEIRO

Sries
Inserir Descrio

Sequncias
sequncias

Nmeros reais
O corpo dos Nmeros reais

Teoria dos conjuntos

DEFINIES, PROPRIEDADES, EXEMPLOS, QUESTES RESOLVIDAS E QUESTES PROPOSTAS

Conjuntos - matematica para administrao

CONJUNTOS NUMERICOS

Teoria dos Conjuntos

Definies, Propriedades, Exemplos, Questes Resolvidas e Questes comentadas.

Teoria dos conjuntos

DEFINIES, PROPRIEDADES, EXEMPLOS, QUESTES COMENTADAS E QUESTES PROPOSTAS

Pesquisar

Buscar

O Ebah uma rede social dedicada exclusivamente ao campo acadmico e tem como principal objetivo o compartilhamento de informao e materiais entre alunos e professores. Saiba mais Sobre o Ebah: Cursos: Agrrias Artes Biolgicas Engenharias Exatas Humanas e Sociais O que o Ebah? Perguntas frequentes Ajude-nos a melhorar Imprensa Termos e Privacidade

Fique ligado: Facebook Orkut Twitter Google+

ebahAlguns direitos reservados. 2006-2012 -->