You are on page 1of 76

Conjuntos

AULA 1

Aula 1 Conjuntos
Meta Introduzir as nooes bsicas de conjunto e produto cartesiano de c a conjuntos. Objetivos Ao nal desta aula, voc deve ser capaz de: e Denir as nooes bsicas de conjunto e subconjunto; unio, interseao c a a c e diferena entre dois conjuntos. c Identicar os conjuntos numricos: N, Z, Q, R e C. e Desenvolver os conceitos de par ordenado e produto cartesiano de conjuntos.

Introduo ca O estudo mais rigoroso da teoria dos conjuntos despontou no sc. XIX, e com os trabalhos do matemtico Georg Cantor. Em um de seus trabalhos, a ele abalou a comunidade matemtica da poca, provando que a a cardinalia e dade innita do conjunto R, dos nmeros reais, maior que a cardinalidade u e innita do conjunto N dos nmeros naturais. u A cardinalidade de um conjunto nito o n mero de elementos deste e u conjunto. Cantor mostrou que h vrios tipos de conjuntos innitos e que a a existem innitos maiores que outros innitos. O conjunto dos n meros u racionais Q tem a mesma cardinalidade innita que N, mas R tem cardinalidade maior. A noao de conjunto desempenha papel fundamental na organizaao e c c no desenvolvimento da Matemtica e de suas aplicaoes. a c Nesta primeira aula, abordaremos, de maneira resumida e intuitiva, os fundamentos bsicos da teoria dos conjuntos. Uma outra apresentaao elea c mentar para este tpico so as Aulas 1 a 4 da disciplina Matemtica Discreta, o a a pela qual voc, aluno, provavelmente j passou. e a Ento, segure-se rme. Vamos iniciar uma viagem por uma das areas a mais bonitas da Matemtica: a Algebra. a
As idias fundamentais da e teoria dos conjuntos foram desenvolvidas pelo matemtico Georg Cantor a (1845 1918). Muitas de suas idias geniais e no foram aceitas a inicialmente por outros matemticos. No entanto, a tiveram uma inuncia e profunda na Matemtica do a sculo XX. e

Observe que Q tem mais elementos que N no sentido de que todo nmero natural u racional, mas h muitos e a racionais (na verdade, innitos racionais) que no a so inteiros. No entanto, N e a Q tm a mesma e cardinalidade innita.

CEDERJ

Algebra 1

Conjuntos

Conjuntos: uma breve apresentao ca Em Matemtica, conjuntos e elementos so nooes primitivas, assim a a c como ponto, reta e plano. Entendemos conjunto como uma coleao de objec tos. Os objetos que formam um conjunto so chamados elementos do cona junto. E conveniente admitir a existncia do conjunto vazio, representado pelo e s mbolo . Assim, o conjunto vazio um conjunto sem elementos. e Quando todos os elementos de um conjunto A so tambm elementos a e de um conjunto B, dizemos que o conjunto A est contido no conjunto B, a ou que A subconjunto de B. e Assim, um conjunto A no subconjunto de um conjunto B quando a e existe algum elemento de A que no elemento de B. O conjunto a e e considerado subconjunto de qualquer conjunto. Dois conjuntos A e B so iguais quando possuem os mesmos elementos, a isto , todo elemento de A elemento de B (A B) e todo elemento de B e e elemento de A (B A). Assim, e A=B se, e somente se, A B e B A .

Por que o conjunto vazio e considerado subconjunto de qualquer conjunto? Raciocine por absurdo: se no fosse subconjunto de a algum conjunto A, deveria haver um elemento de no a pertencente a A. Porem, no tem elemento algum! a

Assim, todo conjunto subconjunto de si mesmo. Quando A um e e subconjunto de B, mas no igual a B, ento dizemos que A subconjunto a e a e prprio de B. o Usaremos as seguintes notaoes: c x A, x um elemento do conjunto A ou x pertence a A. e x A, x no elemento do conjunto A, ou x no pertence a A. a e a A B, o conjunto A um subconjunto do conjunto B ou A est e a contido em B. Se A B, dizemos tambm que o conjunto B contm o conjunto A e e e denotamos B A. A B. O conjunto A no est contido no conjunto B. a a A B, o conjunto A subconjunto prprio de B. Assim, e o A
CEDERJ 2

se, e somente se,A B e A = B .

Conjuntos
AULA 1

Conjuntos numricos e Os conjuntos numricos so os seguintes: e a O conjunto dos n meros naturais, representado por N, o conjunto u e N = {0, 1, 2, 3, . . .} . O conjunto dos n meros inteiros, representado por Z, o conjunto u e Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .} . O conjunto dos n meros racionais, representado por Q, o conjunto u e Q={ m | m, n Z e n = 0} , n

isto , os n meros racionais so as fraoes. e u a c O conjunto dos n meros reais representado por R o conjunto formado u e pelos n meros racionais e irracionais. N meros irracionais represenu u tam quantidades que no podem ser expressas na forma de fraao, por a c exemplo, 2, etc. O conjunto dos n meros complexos, denotado por C, o conjunto u e C = {a + bi | a, b R e i = Observe que N Z Q R C. 1} .

Para uma construao detalhada dos conjuntos numricos, dos n meros c e u naturais at os reais, consulte o Mdulo 1 da disciplina Pr-clculo. Os e o e a n meros complexos foram apresentados no Mdulo 3 de Pr-clculo. u o e a Unio e interseo entre conjuntos a ca O conjunto formado pelos elementos que pertencem tanto ao conjunto A quanto ao conjunto B chamado interseao de A e B, denotado por AB. e c Assim, A B = {x | x A e x B} . Um elemento de A B pertence simultaneamente aos conjuntos A e B.
3 CEDERJ

Algebra 1

Conjuntos

O ou da matemtica no a e a exclusivo, quer dizer, se x A ou x B, ento x a pode estar em A, pode estar em B ou pode estar em ambos. Repare que ou na linguagem cotidiana , em e geral, exclusivo. Quando dizemos hoje a noite vou ao ` cinema ou ao teatro, queremos dizer que iremos a um ou ao outro, mas no a a ambos.

O conjunto formado pelos elementos que esto em A ou esto em B a a e chamado de unio de A e B, denotado por A B. Assim, a A B = {x | x A ou x B} . Quando usamos o conectivo ou ao escrevermos x A ou x B, o elemento x pode estar no conjunto A, ou pode pertencer ao conjunto B. Basta pertencer a um deles para pertencer a unio. ` a Para quaisquer conjuntos A e B valem as seguintes propriedades: A = ; A = A; A B A e A B B; A B A e A B B. Exemplo 1 1. Z Q = Z e Z Q = Q.

Intervalos: voc se lembra dos intervalos e abertos e fechados? A notaao : c e (a, b) = {x R | a < x < b} [a, b) = {x R | a x < b} (a, b] = {x R | a < x b} [a, b] = {x R | a x b}.

2. Q {n meros irracionais} = R. u 3. (2, 4) (3, 5) = (3, 4) e (2, 4) (3, 5) = (2, 5). Observe o diagrama a seguir:
(2,4) (3,5) (2,4) (3,5) 2 3 4 5

(2,4) U (3,5)

4. [1, 2] [2, 5) = {2}.


1 1 1 5. (0, 1) (0, 1 ) (0, 3 ) (0, 1 ) (0, 5 ) . . . (0, n ) . . . = . 2 4

Diagramas Muitas vezes conveniente representar conjuntos por meio de diagrae mas geomtricos, em que conjuntos so representados por regies do plano. e a o Estes diagramas so chamados Diagramas de Venn. a
CEDERJ 4

Conjuntos
AULA 1

Por exemplo, dados dois conjuntos A e B tais que A B e B A, podemos represent-los pelo diagrama a seguir, no qual a area mais escura a representa o conjunto interseao A B. c

AB

Fig. 1.1: A interseao A B a area mais escura do grco c e a

Se A B, podemos represent-los pela gura a

Fig. 1.2: A B = A

O conjunto diferena de A e B, denotado por A B, o conjunto dos c e elementos de A que no pertencem ao conjunto B. Assim, a A B = {x A | x B} . O diagrama a seguir representa a diferena A B. c

Fig. 1.3: Diferena entre A e B c

CEDERJ

Algebra 1
Exemplo 1 Prove a seguinte igualdade:

Conjuntos

(A B) (B A) = (A B) (A B) . Soluao: c Devemos mostrar que todo elemento de (A B) (B A) tambm e e elemento de (A B) (A B), e vice-versa.

Seja x um elemento de (A B) (B A). Temos x (A B) ou x (B A). Vamos analisar cada um destes dois casos separadamente. Se x (A B), ento x A e x B. Se x A, ento x A B. Se a a x B, ento x A B (se x no est em B, no pode estar na interseao a a a a c de B com conjunto algum!). Como x A B e x A B, ento x a (A B) (A B). Mostramos que x (A B) (B A) x (A B) (A B) . Vamos, agora, demonstrar a rec proca. Seja x (A B) (A B). Assim, x (A B) e x (A B). Como x (A B), ento x A ou a x B. Vamos analisar os dois casos separadamente. Se x A, como x (A B), ento x B e, portanto, x (A B). a Se x B, como x (A B), ento x A e, portanto, x (B A). a

Assim, conclu mos que x (A B) ou x (B A), isto , x e (A B) (B A), o que completa a demonstraao. c A gura a seguir mostra, em um diagrama, o conjunto (AB)(BA).

AB

BA

Fig. 1.4: Diagrama de (A B) (B A).

Voc achou este exemplo um pouco complicado? Repasse o exemplo e at ter certeza de que entendeu todos os passos. Tente faz-lo sem olhar a e e aula. No fundo, mais fcil do que parece! e a Vamos apresentar um outro exemplo, do mesmo tipo, mas agora com trs conjuntos. e
CEDERJ 6

Conjuntos
AULA 1

Exemplo 2 Mostre que, quaisquer que sejam os conjuntos A, B e C, vale o seguinte: A (B C) = (A B) (A C) . Soluao: Vamos comear mostrando que todo elemento do conjunto a esc c ` querda tambm elemento do conjunto a direita da igualdade. e e ` Seja x A (B C). Ento, pela deniao de interseao, temos que a c c x A e x (B C), simultaneamente.

Como x (B C), ento x B ou x C. Como x A temos x A a e (x B ou x C), ou seja, (x A e x B) ou (x A e x C), ou ainda, x A B ou x A C, o que resulta em x (A B) (A C). Conclu mos que A (B C) (A B) (A C) . Vamos agora provar a rec proca. Suponha que x (A B) (A C). Portanto, x (A C) ou x (A B). Vamos analisar os dois casos.

Se x (A C), ento x A e x C. Logo, x A e x (B C), j a a que c (B C). Nesse caso, conclu mos que x A (B C). Se x (A B), raciocinamos de maneira anloga: a x (A B) x A e x B x A e x (B C) x A (B C) . Conclu mos que (A B) (A C) A (B C) , o que completa a demonstraao. c A gura a seguir mostra, em um diagrama, o conjunto A (B C).

Fig. 1.5: O conjunto A (B C).

CEDERJ

Algebra 1

Conjuntos

Produto cartesiano de conjuntos Um par ordenado uma seqncia ordenada de dois elementos. Escrevee ue se o par entre parntesis, como em (a, b). Repare que a ordem dos elementos e no par signicativa. Por exemplo, os pares ordenados de inteiros (1, 2) e e (2, 1) so diferentes. Dois pares ordenados so iguais se tm os mesmos a a e elementos na mesma ordem, isto , e (a, b) = (c, d) se, e somente se, a = c e b = d .
Voc notou a coincidncia de e e notaao? Se a, b so nmeros c a u reais, o mesmo s mbolo (a, b) usado para denotar o e intervalo aberto a < x < b e o par ordenado (a, b) que, evidentemente, so duas a coisas inteiramente diferentes. Isto, em geral, no causa problemas visto a que pelo contexto normalmente sabemos a quais dos dois objetos estamos nos referindo

Analogamente, uma tripla ordenada de elementos uma seqncia de e ue 3 elementos em que a ordem signicativa, isto , e e (a, b, c) = (d, e, f ) se, e somente se, a = d e b = e e c = f . De maneira geral, chamamos de uma n-upla ordenada de elementos uma lista ordenada (a1 , a2 , . . . , an ), na qual a ordem signicativa. Duas e n-uplas so iguais quando possuem os elementos nas mesmas posioes: a c (a1 , a2 , . . . , an ) = (b1 , b2 , . . . , bn ) se, e somente se, a1 = b1 , a2 = b2 , . . . , an = bn . Sejam os conjuntos A e B. O produto cartesiano de A e B, denotado por A B, o conjunto de todos os pares ordenados (a, b), com a A e e b B. Assim, A B = {(a, b) | a A e b B} . Podemos generalizar esta deniao para vrios conjuntos. Dados os c a conjuntos A1 , A2 , A3 , . . . , An , o produto cartesiano A1 A2 A3 An denido por e A1 A2 A3 An = {(a1 , a2 , a3 , . . . , an ) | a1 A1 , a2 A2 , . . . , an An } . Exemplo 3 Seja A = {1, 2} e B = {3, 4, 5}, ento a A B = {(1, 3), (1, 4), (1, 5), (2, 3), (2, 4), (2, 5)} e B A = {(3, 1), (3, 2), (4, 1), (4, 2), (5, 1), (5, 2)}. Note que, neste exemplo, para estes conjuntos, A B = B A. O produto cartesiano de conjuntos no uma operaao comutativa. a e c

CEDERJ

Conjuntos
AULA 1

Note, ainda em relaao ao exemplo anterior, que o produto cartesiano c de um conjunto A de 2 elementos por um conjunto B de 3 elementos um e conjunto A B de 2 3 = 6 elementos. Vamos deixar como exerc a prova cio da proposiao que enunciamos a seguir. c Proposio 1 ca Se A e B so conjuntos nitos, ento a a |A B| = |A| |B| , onde |A| indica o n mero de elementos de um conjunto A. u Resumo O conceito de conjunto pertence aos fundamentos. est presente em a todas as formas em que a Matemtica se manifesta, sendo especialmente a importante neste curso de Algebra. Assim, faa uma reviso criteriosa nos c a conceitos de unio, interseao e produto cartesiano apresentados nesta pria c meira aula. Os exemplos apresentados so considerados atividades com roteiro de a soluao. Voc deve reescrev-los com suas prprias palavras. c e e o Para voc, aluno, que se inscreveu em Algebra 1, essas nooes bsicas e c a de conjunto provavelmente so j bem conhecidas. Assim, procuramos aprea a sent-las dentro de um princ a pio de reviso dinmica, onde a reviso dos a a ` a conceitos bsicos acrescentamos alguns aspectos espec a cos e procuramos xar a notaao que ser utilizada ao longo desta disciplina. c a Nos Exemplos 1 e 2 apresentamos demonstraoes de duas proposioes c c bsicas envolvendo conjuntos, que voc deveria tentar reescrever com suas a e palavras. Atividades propostas 1. Para os conjuntos A = {1, 2, 3, 4} e B = {3, 4, 5, 6}, calcule: (a) A B. (b) A B. (c) A B. (d) B A. (e) A B.
9 CEDERJ

Algebra 1

Conjuntos

2. Seja A um conjunto. Prove que A = A e A = . 3. Prove que A B se, e somente se, A B = . 4. Sejam A e B conjuntos no-vazios. Prove que A B = B A se, e a somente se, A = B. Por que razo necessria a condiao de A e B a e a c serem no-vazios? a 5. Demonstre a igualdade A (B C) = (A B) (A C). 6. Mostre que se A e B so conjuntos nitos, ento |A B| = |A| |B| . a a 7. Sejam A e B conjuntos quaisquer. Mostre que |A B| = |A| + |B| |A B| . 8. Escreva os seguintes subconjuntos A R, dos n meros reais, como u unio de intervalos: a (a) A = {x R | x2 > 1 e x2 < 4}. (b) A = {x R | x2 4 e x2 < 9}. (c) A = {x R | x2 2 e x2 1}. (d) Escreva A Z para cada um dos trs conjuntos acima descritos. e Auto-avaliao ca Voc deveria ter sido capaz de resolver todos os exerc e cios propostos. As respostas, propositadamente, no esto descritas aqui para que voc tente, a a e sozinho, achar o caminho da soluao a partir do que apresentado no prprio c e o texto. Se voc tiver alguma diculdade, volte ao texto da aula e tente novae mente. Procure tambm o tutor para esclarecer d vidas que ainda persistam e u e discutir soluoes dos exerc c cios propostos. Os exemplos inclusos na aula so consideradas atividades com roteiro a de soluao. Voc deve conseguir reproduz c e -los com suas prprias palavras. o No avance para a prxima aula antes de conseguir fazer todas as atia o vidades propostas.

CEDERJ

10

Relaoes e relaoes de equivalncia c c e


AULA 2

Aula 2 Relaoes e relaoes de equivalncia c c e


Meta Abordar relaoes e relaoes de equivalncias. c c e Objetivos Ao nal desta aula, voc deve ser capaz de: e Enunciar as propriedades das relaoes. c Denir os conceitos de relaao em um conjunto e entre dois conjuntos. c Reconhecer uma relaao de equivalncia e dar alguns exemplos. c e

Introduo ca Um dos conceitos mais importantes na Matemtica o de relaao. Ele a e c est ligado a idia de comparaao entre objetos, de acordo com algum critrio a ` e c e ou alguma regra. Podemos citar como exemplo a relaao mais novo que no conjunto c e dos alunos de uma escola. Outro exemplo a relaao menor que (<) no e c conjunto dos n meros inteiros. Ainda no conjunto dos inteiros, temos vrias u a relaoes: maior que, ser igual a, ser divis por, ser m ltiplo de etc. c vel u Mas como denimos uma relaao? Veja que h duas coisas importantes c a em uma relaao: um conjunto e uma regra de comparaao entre os elementos c c deste conjunto. Uma relao sempre envolve pares de elementos do ca conjunto. Se temos uma relaao R em um conjunto A, comum escrever xRy c e quando o elemento x est relacionado ao elemento y, sendo x, y A. Usamos a o s mbolo x R y quando x no est relacionado ao elemento y. a a Por exemplo, na relaao < ( menor que) no conjunto Z, temos c e 2 < 3, 4 < 10, 1 < 100 etc. Familar, no? a H uma outra maneira, talvez menos intuitiva, de escrever uma relaao: a c por pares ordenados. Podemos convencionar que o par (x, y) diz que x est a relacionado a y. Assim, dada uma relaao em um conjunto A, os relacionac mentos so pares ordenados (x, y), com x e y pertencentes ao conjunto A, a isto , uma relaao denida atravs de um dado subconjunto do produto e c e e cartesiano A A.
Relaoes que comparam c pares de elementos de um conjunto so chamadas a relaoes binrias. Nesta c a disciplina, trataremos apenas de relaoes binrias. c a

11

CEDERJ

Algebra 1

Relaoes e relaoes de equivalncia c c e

Relao em um conjunto ca A seguir, veremos como podemos denir uma relaao. c Denio 1 (Relao em um conjunto) ca ca Uma relaao R em um conjunto A um subconjunto do produto cartesiano c e de A por si mesmo: R AA.

Exemplo 2 1. Se A = {1, 2, 3}, a relaao < dada por c e enquanto a relaao dada por c e

R = {(1, 2), (1, 3), (2, 3)} , S = {(1, 1), (1, 2), (1, 3), (2, 2), (2, 3), (3, 3)} . Podemos, tambm, descrever R como e R = {(x, y) A A | x < y} . 2. No conjunto B = {1, 2, 3, 4, 5, 6}, a relaao x divide y, dada por c e R = {(1, 1), (1, 2), (1, 3), (1, 4), (1, 5), (1, 6), (2, 2), (2, 4), (2, 6), (3, 3), (3, 6), (6, 6)} . Podemos, tambm, descrever o conjunto R como e R = {(x, y) B B | x divide y} . Em resumo, uma relaao em um conjunto A um conjunto de pares c e ordenados (x, y), onde x, y A. Dizemos que x e y satisfazem a relaao, ou c que x est relacionado a y, se o par (x, y) est na relaao. Assim, uma relaao a a c c um subconjunto de A A. Qualquer subconjunto de A A constitui uma e relaao. Se R uma relaao, escrevemos xRy quando (x, y) R, isto , c e c e xRy (x, y) R . E conveniente ampliar a deniao que demos de relaao, para incluir c c relaoes entre dois conjuntos diferentes. c Denio 2 (Relao entre conjuntos) ca ca Sejam A e B conjuntos. Uma relaao entre A e B um subconjunto de c e A B. Observe a distinao: um subconjunto de A A uma relaao em A, c e c enquanto um subconjunto de A B uma relaao entre A e B. e c
CEDERJ 12

Relaoes e relaoes de equivalncia c c e


AULA 2

Propriedades das relaoes c Vamos usar termos especiais para descrever certas propriedades que uma relaao pode ter. Vamos considerar uma relaao R em um conjunto A. c c Propriedade Reexiva. Dizemos que uma relaao R reexiva quando, para qualquer x A, c e temos xRx. Isto , todo elemento do conjunto est relacionado a si e a mesmo. Propriedade Anti-reexiva. Dizemos que uma relaao R anti-reexiva quando, para qualquer x c e A, temos x Rx. Isto , nenhum elemento do conjunto est relacionado e a a si mesmo. Propriedade Simtrica. e Dizemos que uma relaao R simtrica quando, para quaisquer x, y c e e A, se xRy, ento yRx. Isto , se x estiver relacionado a y, ento y est a e a a relacionado a x. Propriedade Anti-simtrica. e Dizemos que uma relaao R anti-simtrica quando, para quaisquer c e e x, y A, se xRy e yRx, ento x = y. Assim, se x e y so elementos a a distintos de A, no pode acontecer de x estar relacionado a y e y estar a relacionado a x. Propriedade Transitiva. Dizemos que uma relaao R transitiva quando, para quaisquer x, y, z c e A, se xRy e yRz, ento xRz. Isto , se x estiver relacionado a y e y a e estiver relacionado a z, ento x est relacionado a z. a a Vamos a alguns exemplos para tornar estes conceitos mais claros e para mostrar que muitas relaoes comuns apresentam vrias destas propriedades. c a Exemplo 1 A relaao = (igualdade) sobre os inteiros. Ela reexiva (todo inteiro igual c e e a si mesmo), simtrica (x = y y = x) e transitiva (x = y e y = z x = z). e
13 CEDERJ

Algebra 1
Exemplo 2

Relaoes e relaoes de equivalncia c c e

A relaao (menor ou igual a) sobre os inteiros. Ela reexiva (todo inteiro c e menor ou igual a si mesmo), anti-simtrica (x y e y x x = y) e e e transitiva (x y e y z x z). Exemplo 3 A relaao < (estritamente menor que) sobre os inteiros. Ela anti-reexiva c e (nenhum inteiro menor que si mesmo), no simtrica (porque x < y e a e e no implica y < x). Na verdade, ela anti-simtrica. Isto pode causar a e e estranheza, mas, veja bem: a condiao de anti-simetria c e (x < y e y < x) x = y . Esta condiao correta por vacuidade: no h inteiros tais que x < y e y < x, c e a a portanto, a implicaao sempre verdadeira. c e A relaao < tambm transitiva: c e e (x < y e y < z) x < z . Exemplo 4 Seja A o conjunto das retas no plano e R a relaao de perpendicularismo c entre retas. Esta relaao anti-reexiva (nenhuma reta perpendicular a si c e e mesma), simtrica e no transitiva. e a e Exemplo 5 Seja A o conjunto das retas no plano e R a relaao de paralelismo ou igualdade c entre retas, isto , xRy quando as retas x e y so iguais ou paralelas. Esta e a relaao , claramente, reexiva, simtrica e transitiva. c e e
Dois tringulos ABC e a DEF so ditos a congruentes quando existe uma correspondncia entre e seus vrtices, tal que a e correspondncia entre os e lados e angulos, determinada por esta correspondncia e entre os vrtices, leva lados e e angulos em lados e angulos congruentes.

Exemplo 6 Seja A o conjunto dos tringulos. A relaao R de congruncia de tringulos a c e a reexiva, simtrica e transitiva. e e Exemplo 7 Considere a relaao | (divide) no conjunto dos n meros inteiros positivos. c u Esta relaao anti-simtrica, pois, para x e y n meros positivos, se x | y e c e e u y | x ento x = y. a

Por outro lado, a relaao | (divide) sobre o conjunto dos n meros inc u teiros no anti-simtrica, pois , por exemplo, 2 | 2 e 2 | 2, mas 2 = 2. a e e Tambm no simtrica, por exemplo, 2 | 6, mas 6 2. e a e e

CEDERJ

14

Relaoes e relaoes de equivalncia c c e


AULA 2

Este exemplo mostra que uma relaao pode no ser nem simtrica nem c a e anti-simtrica. e Exemplo 8 Seja R a relaao de bijeao denida sobre o conjunto de todos os subconjuntos c c nitos. Se S1 e S2 so dois conjuntos nitos, ento S1 RS2 quando h uma a a a relaao bijetiva entre S1 e S2 , o que o mesmo que dizer que S1 e S2 tm o c e e mesmo n mero de elementos. u A relaao S claramente reexiva, simtrica e transitiva. c e e Relaoes de equivalncia c e Em vrias areas da Matemtica, encontramos relaoes que trazem uma a a c certa noao de quase igualdade entre objetos distintos. Por exemplo, em c Geometria, a congruncia de tringulos. Tringulos congruentes no so e a a a a iguais, mas tm lados e angulos correspondentes de mesma medida. Assim, e funcionam como se fossem iguais. Entre conjuntos nitos, a relaao de bijeo no uma igualdade, c ca a e mas, para muitas aplicaoes, conjuntos bijetivos funcionam como se fossem c iguais. Estas relaoes, assim como a relaao de igualdade em um conjunto c c numrico, tm a caracter e e stica de serem reexivas, simtricas e transitivas. e Damos a uma relaao com estas propriedades o nome de relaao de equic c valncia. e Denio 3 (Relao de equivalncia) ca ca e Seja R uma relaao em um conjunto A. Dizemos que R uma relaao de c e c equivalncia em A quando ela reexiva, simtrica e transitiva. e e e Os exemplos 1 (relaao de igualdade nos inteiros), 6 (congruncia de c e tringulos), 5 (retas iguais ou paralelas) e 8 (relaao de ter o mesmo n mero a c u de elementos sobre o conjunto de todos os subconjuntos nitos) so exemplos a de relaoes de equivalncia. c e Vamos ver mais um exemplo de relaao de equivalncia. c e Exemplo 9 Sejam A e B dois conjuntos no-vazios, e seja f : A B uma dada funao. a c Vamos denir, usando a funao f , uma relaao de equivalncia f , no conc c e junto A, que o dom e nio de f .
15 O que o nmero de e u elementos de um conjunto nito S? Uma maneira de conhecer este nmero u e atravs de bijeoes. e c Podemos dizer que um conjunto S nito e tem n e elementos quando existe uma bijeao de S com o c conjunto {1, 2, . . . , n}.

CEDERJ

Algebra 1
Deniao: c

Relaoes e relaoes de equivalncia c c e

Para x1 , x2 A, x1 f x2 quando f (x1 ) = f (x2 ) . Esta relaao de equivalncia, pois vale: c e e 1. Reexividade: x f x, pois f (x) = f (x). 2. Simetria: x1 f x2 f (x1 ) = f (x2 ) f (x2 ) = f (x1 ) x2 f x1 . 3. Transitividade: x1 f x2 e x2 f x3 f (x1 ) = f (x2 ) e f (x2 ) = f (x3 ) f (x1 ) = f (x3 ) x1 f x3 .

Classes de equivalncia e Seja A um conjunto no-vazio e seja uma relaao de equivalncia no a c e conjunto A. Denio 4 (Classe de equivalncia) ca e Se a A, chamamos de classe de equivalncia do elemento a, denotado por a, e o subconjunto de todos os elementos de A que so equivalentes ao elemento a a, isto e a = {x A / x a} . Note que, como a a, por reexividade, ento a a. Assim, uma a classe de equivalncia nunca vazia. e e Por exemplo, na relaao de congruncia de tringulos, a classe de equic e a valncia de um triangulo T o conjunto de todos os tringulos que so e e a a congruentes a T . Seja R a relaao tem o mesmo nmero de elementos que, no conjunto c u de todos os subconjuntos nitos de Z, por exemplo. J vimos que R uma a e relaao de equivalncia (veja o exemplo 8). O que so, neste caso, as classes c e a de equivalncia? e A classe do conjunto vazio a classe dos conjuntos que no tm nenhum e a e elemento, portanto, somente ele mesmo. = {}
CEDERJ 16

Relaoes e relaoes de equivalncia c c e


AULA 2

Em seguida, temos a classe dos conjuntos que tm 1 elemento. Todos e eles esto na mesma classe, e somente eles (os conjuntos de 1 elemento) esto a a nesta classe. {1} = {. . . , {2}, {1}, {0}, {1}, {2}, . . .} . Passamos, ento, a classe dos subconjuntos de Z que tm dois elemena ` e tos, trs elementos etc. Observe que todos os subconjuntos nitos de Z esto e a em alguma classe (se um subconjunto tem n elementos, ento pertence a a ` classe dos subconjuntos que tm n elementos!). Note, tambm, que estas e e classes so disjuntas duas a duas. a A prxima proposiao ir mostrar o que dissemos anteriormente para o c a qualquer relaao de equivalncia R em um conjunto A. Mostraremos que c e as classes de equivalncia de R so subconjuntos de A, no vazios, disjuntos e a a dois a dois, cuja unio o conjunto A. a e Proposio 1 ca Seja uma relaao de equivalncia em um conjunto no vazio A e sejam c e a x, y A. Ento, as seguintes armaoes so verdadeiras. a c a 1. Dois elementos so equivalentes se, e somente se, esto na mesma classe a a de equivalncia: e x y x = y . 2. Duas classes distintas so disjuntas: a x = y x y = . 3. O conjunto A a unio das classes de equivalncia da relaao: e a e c A=
xA

Demonstraao. c Sejam x, y A. 1. Assumimos x y. Vamos mostrar que x = y.

a Assim, x y. De modo anlogo, pode-se mostrar que y x. Dessas duas incluses, mostramos que x = y. o
17

Se a x, temos a x. Da hiptese x y, segue por transitividade o que a y. Isso nos diz que a y.

CEDERJ

Algebra 1

Relaoes e relaoes de equivalncia c c e

a Pela reexividade, x x, portanto, x x. Como x = y, ento x y, e isso nos diz que x y. 2. Suponha que x = y e suponhamos, por absurdo, que x y = . Seja z x y. Assim, z x implica z x e z y implica z y. Pela simetria, z x implica x z. Assim, x z e z y. Pela transitividade, temos x y, e de (1) segue que x = y, contradizendo nossa hiptese. o Da segue que x y = , quando x = y. , 3. De x A para todo x A, segue que para todo x A, segue que A x.
xA

Assumimos x = y. Vamos mostrar que x y.

xA

x A e do fato de x x

Logo, dessas duas informaoes conclu c mos que A =


xA

x.

Conjuntos quocientes e partio em um conjunto ca Seja uma relaao de equivalncia em um conjunto no vazio A e, para c e a todo a A, seja a = {x A | x a} a classe de equivalncia do elemento a. e

O conjunto das classes {a | a A} denotado por P = A/ = A e chamado conjunto quociente de A pela relaao de equivalncia . c e Pela proposiao anterior, o conjunto quociente um conjunto de subc e conjuntos de A, no vazios, dois a dois disjuntos, e cuja unio o prprio a a e o conjunto A. Esta exatamente a noao de partiao de um conjunto. e c c Vamos relembrar a deniao de partio de um conjunto. c ca Denio 5 (partio de um conjunto A) ca ca Seja A um conjunto no vazio e seja P uma coleao cujos elementos so a c a subconjuntos de A. Dizemos que P uma partiao do conjunto A se as seguintes propriee c dades so satisfeitas: a 1. Os elementos de P so no vazios. a a 2. Quaisquer dois elementos distintos P1 , P2 de P so disjuntos, isto , a e P1 = P2 em P implica P1 P2 =
CEDERJ 18

Voc deve ter estudado e partioes de um conjunto na c disciplina Matemtica a Discreta, no primeiro per odo do curso (l, quando a voc ainda era um calouro!). e

Relaoes e relaoes de equivalncia c c e


AULA 2

3. A = P (A unio disjunta dos elementos P P). e a


P P

Se P = {P1 , P2 , , Pn } for uma partiao nita, podemos representar c a partiao na gura a seguir c
A
Pn

Repare na notaao c [ A = P , usada para


P P

indicar unio disjunta a

Pi P5 P 4 P 3 P2 P 1

Fig. 2.1: Partiao de um conjunto c

Um fato muito interessante que a rec e proca tambm verdadeira, isto e e , dada uma partiao P de um conjunto A, ca naturalmente denida uma e c relaao de equivalncia em A de modo que P = A/ = A. c e Proposio 2 ca Seja A um conjunto no vazio e seja P uma partiao do conjunto A. Dena a c a relaao sobre A por c x y, se existe P P tal que x, y P

Pela proposiao anterior, se uma relaao de equivalncia em um c e c e conjunto no vazio A, ento P = A/ = A dene uma partiao no conjunto a a c A ns qual os elementos dessa partiao so as classes de equivalncia a, onde c a e a A.

1. relaao de equivalncia. e c e 2. A/ = P. Em outras palavras, a relaao de equivalncia denida por: dois elec e e mentos se relacionam quando esto no mesmo conjunto da partiao. a c Demonstraao. c 1. Vamos mostrar que as propriedades que denem relaao de equivalncia c e so satisfeitas. a
19

CEDERJ

Algebra 1
Reexividade.

Relaoes e relaoes de equivalncia c c e

x x pois, x A = P ento existe P P tal que x P . a


P P

Simetria. Assumimos x y. Isso nos diz que existe P P tal que {x, y} P e, como {y, x} = {x, y}, segue que y x. Transitividade. Assumimos x y e y z com x, y, z A. Se x y, ento existe P1 P tal que {x, y} P1 . a Se y z, ento existe P2 P tal que {y, z} P2 . a Assim, y P1 P2 = e como P uma partiao, isso nos diz que, de e c fato, P1 = P2 . Assim, {x, y} e {y, z} esto contidas em P1 = P2 . a Ento, a {x, y, z} P1 = {x, z} P1 = x z . Isso demonstra que a relaao dene uma relaao de equivalncia c c e em A. 2. Vamos provar que A = A/ = P.

Seja P P e seja a P A. Vamos mostrar que P = a = {x A | x a} . Se x a, ento existe P P tal que {x, a} P . a Como a P P = , temos: P = P = {x, a} P = P = x P = a P .

De a P segue, pela deniao de , que y a para todo y P e isso c nos diz que P a. Tendo em vista que cada a A pertence, sempre, a algum P P (pois P uma partiao de A), temos, de fato, que e c A = A/ = P . De a P e P a segue que P = a.

CEDERJ

20

Relaoes e relaoes de equivalncia c c e


AULA 2

Resumo As nooes de Relaao e Relaao de Equivalncia so nooes destacadas c c c e a c na Matemtica e, em especial, na Algebra. E particularmente importante a que voc, aluno, domine esses conceitos e tenha um entendimento claro das e propriedades reexiva, simtrica e transitiva. e Uma relaao de equivalncia permite partir um conjunto em uma coleao c e c especial de subconjuntos chamada Partiao do Conjunto. O conjuntos das c classes de equivalncia determina uma partiao e, vice-versa, uma partiao e c c determina uma relaao de equivalncia em um conjunto, onde os elementos c e da partiao so, exatamente, as classes de equivalncia da relaao. c a e c Esse o recado da Aula 2. e

21

CEDERJ

Algebra 1

Relaoes e relaoes de equivalncia c c e

Atividades Propostas 1. Seja R = {(x, y) | x, y R} o conjunto dos pontos no plano, representados por pares ordenados de n meros reais. Seja o subconjunto de u 2 R denido por = {(x, y) R2 | xy 0} . a E fcil ver que a unio do 1o e 3o quadrantes com os eixos cartesianos e a (que so as retas x = 0 e y = 0). a Denimos uma relaao R no conjunto R dos n meros reais por c u para x, y R, xRy quando (x, y) .

Mostre que a relaao assim denida uma relaao de equivalncia. c e c e 2. Discuta a validade das propriedades reexiva, simtrica e transitiva e para as relaoes em R, denidas de maneira anloga, atravs dos conc a e juntos (a) = {(x, y) R2 | x 0 e y 0} (b) = {(x, y) R2 | xy 0} (c) = {(x, y) R2 | x2 + y 2 1} Auto-avaliao ca Voc deveria ter sido capaz de resolver todos os exerc e cios propostos. Se voc tiver alguma diculdade, volte ao texto da aula ou procure o tutor e antes de avanar para a prxima aula. c o

CEDERJ

22

Relao de ordem em um conjunto: O princ da boa ordenao dos inteiros ca pio ca


AULA 3

Aula 3 Relao de ordem em um conjunto: ca O princ pio da boa ordenao dos inteiros ca
Meta Estudar relaao de ordem em um conjunto, as nooes de conjunto limic c tado superiormente e inferiormente e o princ pio da boa ordenaao. c Objetivos Ao nal desta aula, voc deve ser capaz de: e Listar as propriedades que denem uma relaao de ordem. c Denir a noao de conjunto ordenado e destacar aspectos espec c cos nos conjuntos numricos Z, Q, R e C. e Denir conjunto limitado superiormente e inferiormente. Apresentar o princ pio da boa ordenaao, mostrar sua validade em Z e c mostrar sua no validade em Q e R. a Introduo ca Na Aula passada, voc viu a deniao de relaao em um conjunto e e c c tambm viu uma classe de relaoes especialmente importantes, que so as e c a relaoes reexivas, simtricas e transitivas, as chamadas relaoes de equic e c valncia. e Nesta aula, veremos outra classe de relaoes muito importantes, que c so as relaoes de ordem. Elas traduzem a noao intuitiva de ordem. Por a c c exempo, o conjunto dos n meros inteiros ordenado, de maneira natural, u e pela relaao menor ou igual a. Deremos relaao de ordem em um conc c junto, listando as propriedades que uma relaao deve ter para ser de ordem, c e analisaremos essas relaoes nos conjuntos numricos Z, Q, R e C. c e Apresentaremos o Princ pio da boa ordenaao que tem validade em Z c mas no possui validade em Q ou R e, apresentaremos o exemplo da relaao a c de ordem lexicogrca em C. a
23

CEDERJ

Algebra 1

Relao de ordem em um conjunto: O princ da boa ordenao dos inteiros ca pio ca

Atravs do princ e pio da boa ordenaao em Z, provaremos, na prxima c o aula, o chamado princ da Induao, que servir de base para demonstraao pio c a c de frmulas envolvendo n meros inteiros. o u Bom, um bocado de assunto novo nesta aula! Vamos comear pela e c deniao de relaao de ordem. c c Relao de ordem em um conjunto: uma breve apresentao ca ca Seja A um conjunto no vazio e seja R uma relaao (binria) entre a c a pares ordenados de elementos de A. Se a, b A esto relacionados, nessa a ordem, escrevemos aRb. Caso contrrio, escrevemos a Rb. a

Comearemos denindo uma ordem parcial. Esta uma relaao reec e c xiva, anti-simtrica e transitiva. e

Denio 1 (Ordem parcial de um conjunto A) ca Dizemos que R uma relaao de ordem parcial em A se, para todo a, b, c A, e c so vlidas as seguintes propriedades: a a (1) aRa (Reexiva) (2) aRb, bRa = a = b (Anti-simtrica) e (3) aRb, bRc = aRc (Transitiva) Exemplo 3 A relaao no conjunto Z uma relaao de ordem parcial, pois claramente c e c e reexiva (x x), anti-simtrica (x y e y x implica x = y) e transitiva ( e x y e y z implica x z).

Na verdade, a relaao nos inteiros um exemplo que vem sempre a mente c e ` quando falamos de ordem. E comum, tambm, usar-se a notaao para e c qualquer relaao de ordem parcial em qualquer conjunto. c Assim, dizemos que uma ordem parcial em A se, para todo a, b, c A, e vale que: 1. a a; 2. a b, b a = a = b; 3. a b, b c = a c. Agora, devemos distinguir um tipo especial de relaao de ordem. Note c que, se uma relaao de ordem em um conjunto A, pode acontecer de dois e c

CEDERJ

24

Relao de ordem em um conjunto: O princ da boa ordenao dos inteiros ca pio ca


AULA 3

Se dois elementos em A esto sempre relacionados, ento dizemos que a a a relaao total (ou linear ). c e Denio 2 (Relao total ou linear) ca ca Se uma relaao de ordem em um conjunto A satiszer a propriedade c 4. Para todo a, b A tem-se a b ou b a ento dizemos que a ordem em A total ou linear. a e Vamos agora dar um exemplo de ordem parcial que no total. a e Exemplo 4 Seja X um conjunto e seja A = P(X) o conjunto das partes de X. Isto , e A = P(X) = {Y | Y X} . Claramente, a relaao de incluso em P(X) uma relaao de ordem, pois : c a e c e 1. Reexiva: todo subconjunto de X est contido em si mesmo. a 2. Anti-simtrica: se X1 e X2 so subconjuntos de X e vale que X1 X2 e a e X2 X1 , ento X1 = X2 . a 3. Transitiva: se X1 X2 e X2 X3 ento X1 X3 , para X1 , X2 e X3 a subconjuntos de X. Esta relaao de ordem parcial no , em geral, uma relaao de ordem total. c a e c Por exemplo, se X = {1, 2} ento a A = P (X) = {, {1}, {2}, {1, 2}} . Os conjuntos X1 = {1} e X2 = {2} A no esto relacionados por incluso: a a a X1 X 2 e X 2 X 1 . Se A um conjunto e R uma relaao de ordem parcial em A, dizemos e e c que o conjunto A ordenado pela relaao R. No exemplo anterior, dizemos e c que o conjunto das partes de um conjunto X ordenado por incluso. e a Se a relaao em R em A total, ento dizemos que A linearmente c e a e ordenado por R.
Para relembrar, vamos ver alguns exemplos de conjunto das partes de um conjunto: Se X = , tem-se P(X) = {} (= ) possui um elemento (que o conjunto e vazio). Se X = {1}, P(X) = {, {1}} possui exatamente dois elementos. Se X = {1, 2}, P(X) = {, {1}, {2}, {1, 2}} possui exatamente quatro elementos. Se X = {1, 2, , n} mostraremos mais tarde que P(X) possui exatamente 2n elementos.

elementos em A no estarem relacionados, isto , pode acontecer de existirem a e elementos a, b A tais que no vale a b nem b a. a

25

CEDERJ

Algebra 1

Relao de ordem em um conjunto: O princ da boa ordenao dos inteiros ca pio ca

Relao de ordem no conjunto dos nmeros reais ca u Nesta seao, deniremos a relaao de ordem natural nos conjuntos c c numricos Z, Q e R. Mostraremos que, com esta relaco, estes conjuntos e a so linearmente ordenados. a Na construao dos n meros reais, denimos uma ordem total (linear) c u em R. Para isto, admitimos a existncia de um conjunto especial P R e satisfazendo as seguintes propriedades: 1. P um subconjunto prprio, no vazio, e 0 P . e o a 2. Para todo x, y P , tem-se x + y P e xy P 3. Para todo x R ou x = 0, ou x P , ou x P (lei da tricotomia) P conhecido como o subconjunto dos n meros reais positivos. e u Denimos a relaao de ordem em R por: c x, y P, x y x = y ou (y x) P . Em outra palavras, x y quando x = y ou y x positivo. e (x)2 = (x)(x) = x2 , x R e 12 = 1 . Podemos provar vrias propriedades da ordem em R. a De fato, se x R e x = 0, temos, pela propriedade (2), que, se x P , ento x2 = x x P . a Se x P , pela propriedade (3), temos (x) P , logo, pela proposiao c 2, (x)(x) = x2 P . Assim, se x R, x = 0, x2 P , isto , e x2 > 0, x R, x = 0 . Em particular, 1 = (1)2 > 0 .
CEDERJ 26

Tendo em vista propriedades algbricas bsicas de reais, por exemplo: e a

Vamos provar que x2 > 0, x R, x = 0 .

Relao de ordem em um conjunto: O princ da boa ordenao dos inteiros ca pio ca


AULA 3

Partindo de 1 > 0, usando a propriedade (2), podemos provar que todo natural positvo: e 1 > 0 1 + 1 = 2 P, 2 > 0 3 = 2+1>0 . . . n = (n 1) + 1 > 0 . . . e isto nos mostra que {1, 2, 3, , n, } P . Se denotarmos R+ = P = {x R | x > 0}, o conjunto dos n meros u + reais positivos, e Z = {x Z | x > 0}, o conjunto dos n meros inteiros u positivos, ento vale que a Z+ = Z P = {1, 2, 3, , n, } . A ordem lexicogrca em C a Sabemos que ZQRC, onde C = {a + bi | a, b R} e i = 1 .

No item anterior denimos uma relaao de ordem em R atravs de um c e subconjunto P R, dos n meros reais positivos, satisfazendo as propriedades u (1), (2) e (3). Vimos tambm que, a partir da ordenaao do n meros reais R, , temos e c u que os conjuntos Z+ = Z P Q+ = Q P que so, respectivamente, os subconjuntos dos inteiros e racionais positivos, a tambm so ordenados pela ordem (restriao da ordem nos complexos). e a c

Apresentaremos agora uma forma de denir uma ordenaao em C, c atravs da ordem lexicogrca. e a Denio 3 (Ordem lexicogrca L em C ) ca a Seja a ordem denida em R e sejam z1 , z2 C. Denimos L do seguinte modo: z1 = a1 + b1 i L z2 = a2 + b2 i a1 a2 ou (a1 = a2 e b1 b2 ) .
27 CEDERJ

Algebra 1

Relao de ordem em um conjunto: O princ da boa ordenao dos inteiros ca pio ca

No plano complexo temos:

b1

(a1 , b1 )

b ou

(a2 , b2 )

b2 a1

(a2 , b2 )

b1

(a1 , b1 )

a2

a 1 = a2

(a, b) a + bi Observe que, se a1 , a2 R, ento a a1 = a1 + 0i L a2 = a2 + 0i a1 a2 em R ,

Portanto, a ordem L , quando restrita aos reais, coincide com a ordem dos reais. Por isso, dizemos que a ordem L nos complexos estende a ordem nos reais. Atividades 1. Verique que 1 + i L 2 i L 1 + i 1 + i L 2 + i 1 + i L 1 + 2i 2 L 3 i L 1

2. Mostre que L dene uma relaao de ordem linear linear em C. c 3. Temos que i = 0 + 1 i > 0 na relaao L lexicogrca de C. Mas, c a i2 = i i = 1 = 1 + 0i < 0 + 0i = 0 .

CEDERJ

28

Relao de ordem em um conjunto: O princ da boa ordenao dos inteiros ca pio ca


AULA 3

Estenso da ordem nos reais para os complexos a Vamos desenvolver um pouco mais esta idia da estenso da ordem nos e a reais para os complexos. Vimos que a ordem L nos complexos estende a ordem nos reais. Isto muito bom. Veremos, porem, que no poss denir uma ordem e a e vel em C atravs de um subconjunto P C, satisfazendo as condioes (1), (2) e e c (3), do item anterior, tal que R+ = P R, como zemos para R.

Em outras palavras, no poss estender a ordem dos reais para a e vel os complexos denindo esta ordem estendida atravs de um conjunto P C e dos complexos positivos, como zemos nos reais. Isto pode parecer um pouco complicado, mas no . Para ver que a e no podemos denir uma ordem em C, atravs de um subconjunto P C, a e satisfazendo as condioes (1), (2) e (3), como zemos para R, tal que R+ = c P R, basta observar ter amos: x = 0 x2 P .

1, vemos que x = 0 e x2 = 1 P. Assim, 1 = x2 P R = R2 , o que um absurdo, j que 1 no e a a e um real positivo. Agora, tomando x = i = Subconjuntos limitados inferiormente e superiormente Seja A, um conjunto parcialmente ordenado e seja S A um subconjunto no vazio de A. a Dizemos que S um conjunto limitado inferiormente em A se existe e a A tal que a x para todo x S

Se um conjunto tem um mximo, ento ele limitado superiormente e se a a e possui um m nimo, limitado inferiormente. No entanto, um conjunto pode e ser limitado superiormente e no ter um mximo, como pode ser limitado a a inferiormente e no ter um m a nimo. Nesta situaao, os limites inferiores e c superiores do conjunto S no pertencem a S. a `
29

Dizemos que S possui um mximo se existe s S tal que s x para a todo x S. Analogamente, S possui um mnimo se existe s S tal que s x para todo x S.

Analogamente, dizemos que S um conjunto limitado superiormente e em A se existe b A tal que x b para todo x S

CEDERJ

Algebra 1

Relao de ordem em um conjunto: O princ da boa ordenao dos inteiros ca pio ca

Vejamos alguns exemplos. Exemplo 5 1. O intervalo (2, 3) R limitado inferiormente e superiormente, mas e no possui mximo ou m a a nimo. Observe que 2 e 3 no so elementos do a a conjunto (2, 3), por isso no so m a a nimo e mximo, respectivamente. a 2. O intervalo [2, 3) limitado inferiormente e superiormente e possui e m nimo 2, mas no possui mximo. a a 3. O conjunto {x R | x > 0} limitado inferiormente, no limitado e a e superiormente e no possui mximo nem m a a nimo. 4. O conjunto P(X), das partes de um conjunto no vazio X, ordenado a por incluso, possui m a nimo P(X) e mximo X P(X). a A prxima proposiao mostra que um conjunto no pode ter mais de o c a um mximo. a Proposio 1 ca O mximo de um subconjunto no vazio S A, se existir, unico. a a e Demonstraao. c Se S no possui um mximo, nada h para demonstrar. Se S possui a a a dois mximos s1 e s2 , ento s1 e s2 pertencem ao conjunto S e a a s1 x, x S = s1 s2 (1) (2)

s2 x, x S = s2 s1

De (1) e (2) temos s1 = s2 .

Analogamente, podemos provar que um conjunto no pode possuir mais a de um m nimo.

CEDERJ

30

Relao de ordem em um conjunto: O princ da boa ordenao dos inteiros ca pio ca


AULA 3

Princ pio da Boa Ordenao ca


Seja A, um conjunto totalmente ordenado. Dizemos que A, satisfaz ao princpio da boa ordenaao se todo subconjunto no vazio S A c a de A limitado inferiormente possui um m nimo. Por exemplo, o conjunto do n meros reais, com a ordenaao usual, no u c a + satisfaz o princ pio da boa ordenaao. Por exemplo, o subconjunto R c e limitado inferiormente mas no possui m a nimo. O princ pio da boa ordenaao tambm no vale para os racionais. Por c e a exemplo, o conjunto {x Q | x2 2 e x > 0} limitado inferiormente, mas no tem um m e a nimo. O m nimo seria o n mero u 2 Q.

O princ da boa ordenaao no vale para os reais nem para os raciopio c a nais, mas vale para os inteiros, o que veremos na prxima seao. e o c

Seja Z = { , m, , 1, 0, 1, 2, , n, } o conjunto dos inteiros com sua ordem (natural) linear dada por < m 1 < m < m + 1 < < 2 < 1 < 0 < 1 < 2 < < n <
Z (inteiros negativos) Z+ (inteiros positivos)

ento a Z = Z {0} Z+ . Vamos assumir em Z, que o seguinte princ pio verdadeiro. e Princ pio da boa ordenao ca Em Z, todo subconjunto no vazio limitado inferiormente possui a um m nimo, tambm chamado de 10 elemento desse conjunto. e O que signica dizer que adotaremos a propriedade da boa ordenaao c de Z como um Princ pio? Na verdade, a boa ordenaao fundamental para a demonstraao de c e c vrias propriedades muito importantes dos n meros inteiros. A propriedade a u dos inteiros que permite demonstraoes por induao, por exemplo, se func c damenta no Princ pio da boa ordenaao. Esta, por sua vez, utilizada na c e demonstraao do Teorema da Diviso de Euclides e vrias propriedades e c a a frmulas envolvendo inteiros. o
31

CEDERJ

Algebra 1

Relao de ordem em um conjunto: O princ da boa ordenao dos inteiros ca pio ca

Estamos chamando de princ a propriedade da boa ordenaao porque pio c ela ser adotada sem demonstraao. Na verdade, ela pode ser enunciada como a c proposiao e demonstrada a partir de uma construao dos n meros inteiros, c c u o que est fora do escopo deste texto. a Inmo e Supremo De fato, sendo Z = { , m, 2, 1, 0, 1, 2, , n, } observamos que no existe n mero inteiro entre dois inteiros consecutivos, isto , a u e (r, r + 1) Z = , r Z . A ausncia dessa caracter e stica dos inteiros (Z um conjunto discreto) e e que permite a existncia em Q e R de situaoes onde no vlido o Princ e c a e a pio da Boa Ordenaao. c Em Q, o conjunto S = {x Q / x > 0 e x2 > 2} = ( 2, ) Q limitado inferiormente em Q, mas no possui m e a nimo em Q. Em R, o conjunto T = {x R | x2 < 4 e x > 0} = (2, 2) limitado inferiormente em R, mas no possui m e a nimo em R. Observe que o intervalo real (2, 2) no possui m a nimo porque 2 (2, 2), mas 2 o maior dos limites inferiores de (2, 2). Isto serve como e motivaao para denirmos c nmo e supremo de um conjunto. Denio 4 ( ca Inmo e Supremo) Seja A, um conjunto totalmente ordenado e S A um subconjunto no a vazio de A, limitado inferiormente em A. Se existir em A um elemento que o maior dos limites inferiores de S, e chamamos este elemento de nmo do conjunto S em A. Analogamente, se S limitado superiormente em A e existe em A um e menor limite superior, ento este elemento chamado supremo de S em A. a e Exemplo 6 1. O conjunto T = {x R | x2 < 4 e x > 0} = (2, 2) tem nmo 2 e supremo 2.
CEDERJ 32

Relao de ordem em um conjunto: O princ da boa ordenao dos inteiros ca pio ca


AULA 3

2. O conjunto S = {x R / x > 0 e x2 > 2} = ( 2, )

tem nmo

2 e no limitado superiormente, a e

O conjunto dos n meros reais R satisfaz uma propriedade muito u importante, que enunciamos a seguir: Todo subconjunto T R, no vazio, limitado inferiormente, possui um a nmo em R e todo subconjunto no vazio T , limitado superiormente, possui a um supremo em R. Esta propriedade chamada propriedade da completude dos n meros e u reais. O conjunto Q, dos n meros racionais, no possui esta mesma proprieu a dade. Veja o exemplo a seguir. Exemplo 7 O conjunto S = {x Q | x > 0 e x2 > 2} = ( 2, ) Q limitado inferiormente, mas S no possui e a nmo em Q. O nmo do inter valo real ( 2, ) 2, mas 2 Q. e Resumo Nesta aula estudamos uma classe especial de relaoes chamadas relaoes c c de ordem, que tm como exemplo fundamental a relaao no conjunto dos e c n meros inteiros. Tanto assim, que usamos a notaao para relaoes de u e c c ordem em geral. Neste ponto, observamos algumas diferenas importantes entre os conc junto dos inteiros e o dos reais, em relaao a sua ordenaao total por . c c

O conjunto do n meros inteiros possui uma propriedade fundamental u chamada princ pio da boa ordenaao, pela qual todo conjunto limitado infec riormente possui um m nimo. Para o conjunto dos n meros racionais e reais no vale o princ u a pio da boa ordenaao, mas, para o conjunto R, do n mero reais, vale um princ c u pio muito importante de completude, pelo qual todo conjunto limitado inferiormente possui um nmo. Por isto, dizemos que o conjunto dos n meros reais u R um conjunto linearmente ordenado completo. e
33

CEDERJ

A demonstrao por Induo e o Teorema da Diviso de Euclides ca ca a


AULA 4

Aula 4 A demonstrao por Induo e o ca ca Teorema da Diviso de Euclides a


Metas Demonstrar, a partir da boa ordenaao dos inteiros, o Princ c pio da Induao em suas duas formas. c Dar exemplos da aplicaao da Induao na demonstraao de frmulas c c c o envolvendo inteiros. Apresentar o Teorema da Diviso de Euclides como uma importante a aplicaao da Induao nos inteiros. c c Objetivos Ao nal desta aula, voc deve ser capaz de: e Listar as nove propriedades bsicas satisfeitas pelas operaoes de soma a c e produto no conjunto Z dos n meros inteiros. u Utilizar uma das duas formas apresentadas do princ pio da induao na c demonstraao de armaoes envolvendo n meros inteiros. c c u

Introduo ca
Nesta aula iniciamos uma caminhada que nos levar a uma viso algbrica a a e dos n meros inteiros a partir das suas operaoes de soma e produto, com suas u c nove propriedades bsicas essenciais. a O Teorema da Diviso de Euclides permite calcular o quociente e o a resto de uma diviso de um n mero inteiro por um n mero inteiro no nulo ( a u u a o divisor). Este Teorema desempenha um papel fundamental para o entendimento algbrico dos inteiros e sua demonstraao feita usando o argumento e c e de induao que envolve a relaao de ordem (linear) natural de Z. c c

Vimos, na aula passada, que Z possui a propriedade da boa ordenaao. c

35

CEDERJ

Algebra 1

A demonstrao por Induo e o Teorema da Diviso de Euclides ca ca a

Admitiremos que o aluno j esteja familiarizado com o conjunto dos a n meros inteiros Z, suas operaoes de soma e produto e com a relaao de u c c ordem linear em Z. De fato, denotaremos por Z ao sistema Z, +, , , dos inteiros com as operaoes + e e a relaao . c c

As nove propriedades bsicas de soma e produto em Z a


Soma (1) A soma uma operaao associativa, isto , para todo a, b, c Z tem-se e c e (a + b) + c = a + (b + c) ; (2) Existe um elemento neutro para a soma, denotado por 0. Isto , para e todo a Z tem-se a +0 = 0+a = a; (3) Todo n mero inteiro a Z, possui um inverso aditivo, isto , existe x Z u e tal que x +a = a+x = 0; O inverso aditivo de a Z denotado por a. e a+b = b +a. Produto (5) O produto uma operaao associativa, isto , para todo a, b, c Z tem-se e c e (ab)c = a(bc) ; (6) Existe um elemento neutro para o produto denotado por 1. Isto , para e todo a Z tem-se a1 = 1a = a; (7) O produto uma operaao comutativa, isto , para todo a, b Z tem-se e c e ab = ba ; (8) Os n meros inteiros no possuem divisores de zero, isto , para todo u a e a, b Z tem-se ab = 0 = a = 0 ou b = 0 .
CEDERJ 36

(4) A soma uma operaao comutativa, isto , para todo a, b Z tem-se e c e

A demonstrao por Induo e o Teorema da Diviso de Euclides ca ca a


AULA 4

Relao entre as operaoes ca c (9) Vale a propriedade distributiva do produto em relaao a soma, isto , c e para todo a, b, c Z tem-se a(b + c) = ab + ac . Observe que, usando a propriedade comutativa (7) acima, vale tambm e que, para todo a, b, c Z tem-se (b + c)a = ba + ca . Devido a propriedade (9), dizemos que valem as leis distributivas em Z, +, . Assim, denotamos por Z o sistema (Z, +, , ), de tal modo que:

(Z, +, ) satifaz as nove propriedades acima enunciadas; (Z, ) satisfaz o princ pio da boa ordenaao. c Mais tarde vamos apresentar outros sistemas (S, +, ), satisfazendo as mesmas nove propriedades bsicas satisfeitas pelo sistema (Z, +, ) dos inteia ros. Esses sistemas sero chamados de Domnios de Integridade. Em outras a palavras, um Dom nio de Integridade (S, +, ) um conjunto S, munido de e duas operaoes +, , tal que valem as propriedades (1) a (9) enunciadas acima c para os inteiros. Estes sistemas formados por um conjunto e uma ou mais operaoes c neste conjunto que satizfazem certas propriedades so chamados Estruturas a Algbricas. Uma boa parte das disciplinas de Algebra 1 e Algebra 2 dee e dicada ao estudo das estruturas algbricas de anel, dom e nio de integridades, corpos e grupos. Mas cada coisa a seu tempo! Vamos voltar aos inteiros resolvendo alguns exerc cios. Atividades 1 1. Mostre que os elementos neutros 0 e 1 so unicos. a 2. Prove que o inverso aditivo de cada elemento a Z unico. Denotae remos esse inverso por a.
37 CEDERJ

Algebra 1

A demonstrao por Induo e o Teorema da Diviso de Euclides ca ca a

Duas formas de induo nos inteiros ca


Antes de comearmos, recordaremos o princ c pio da boa ordenaao nos c inteiros: Todo subconjunto no vazio S de Z limitado inferiormente a possui um mnimo Em particular, todo subconjunto no vazio S de Z formado por elemena tos no-negativos (isto , todo elemento 0), possui um m a e e nimo, uma vez que este conjunto limitado inferiormente pelo 0. e Usando a boa ordenaao de Z vamos provar a chamada propriedade da c induao em Z em duas formas. c Induo: primeira forma ca Teorema 1 (Induo - 1a forma) ca Vamos supor que para cada inteiro n 1, seja dada uma armaao A(n), c que depende de n. Suponha que valha: (1) A armaao A(1) verdadeira. c e (2) Para todo n Z com n 1, se A(n) verdadeira ento A(n + 1) e a tambm verdadeira. e e Ento, A(n) verdadeira para todo n Z com n 1. a e Demonstraao: c Seja S o subconjunto de todos os inteiros n > 0 tais que a armaao c A(n) seja falsa. Assim, S = {n Z | n > 0 e A(n) falsa} . e Observe que A(n) verdadeira para todo n Z com n 1 se, e somente se, e S = .

Assim, provar o Teorema 1 equivalente a provarmos que S = . Are gumentaremos por reduao ao absurdo. c Vamos supor que o Teorema 1 seja falso. Ento, existe um inteiro a positivo n > 0 tal que A(n) falsa, e assim, n S e S = . e
CEDERJ 38

A demonstrao por Induo e o Teorema da Diviso de Euclides ca ca a


AULA 4

Mas os elementos s S so todos maiores que zero (> 0) e portanto, a S um subconjunto no vazio de Z limitado inferiormente. Pelo princ e a pio da boa ordenaao de Z, temos que S possui um primeiro elemento n0 S. c Mas pela hiptese (1) do nosso Teorema, A(1) verdadeira. Logo 1 S o e e segue-se que n0 2. Seja k = n0 1. Temos k 1 de k S, j que k < n0 a e n0 m e nimo de S. Portanto k 1 e A(k) verdadeira. Mas, pela hiptese (2) do Teorema, o segue-se que A(k + 1) verdadeira. Como k + 1 = (n0 1) + 1 = n + 0, ento e a A(n0 ) verdadeira, isto n0 S. e e Assim, n0 s, para todo s S e n0 S, isto , A(n0 ) falsa. e e

Mas n0 S (lembre-se que n0 o m e nimo de S). Da segue que nossa hiptese de admitir S = nos leva a contradiao n0 S e n0 S, o que o c e um absurdo! Portanto, S = e A(n) verdadeira para todo n Z com n 1 como e quer amos demonstrar. Observao ca Poder amos comear em A(0) em vez de A(1) verdadeira, no Teorema 1, c assumindo A(0) verdadeira. Exemplo 8 Prove que a seguinte armaao A(n) verdadeira para todo n Z com c e n 1: n(n + 1) . 2

A(n): A soma dos primeiros n n meros inteiros positivos dada pela frmula u e o 1+2++n =

Soluao: c Vamos usar o Teorema 1. (1) A frmula verdadeira para n = 1. o e De fato, 1= 1(1 + 1) 2 = = 1. 2 2

(2) Para atender a condiao 2 do Teorema, devemos provar que se A(n) ` c e verdadeiro para algum n 1, ento A(n + 1) tambem verdadeiro. Vamos a e provar isto.
39

CEDERJ

Algebra 1

A demonstrao por Induo e o Teorema da Diviso de Euclides ca ca a

Considere a frmula A(n) verdadeira, isto , o e n(n + 1) . 2 Vamos provar que a frmula A(n + 1) tambm verdadeira. o e e 1+2++n = De fato, 1 + 2 + + (n + 1) = (1 + 2 + + n) + (n + 1) . Como estamos considerando A(n) verdadeira, segue que: (1 + 2 + + n) +(n+1) =
=A(n)

n(n + 1) (n + 1)(n + 2) n +(n+1) = (n+1) +1 = 2 2 2

o que nos diz que A(n + 1) tambm verdadeira. e e Assim, a frmula o 1+2++n = verdadeira para todo n Z com n 1. e Exemplo 9 Prove que seguinte armaao verdadeira para todo n Z com n 1: c e n(n + 1) 2

A(n): a soma dos n meros u mpares consecutivos de 1 at 2n 1 igual ao e e quadrado do n mero n, isto , u e 1 + 3 + 5 + + (2n 1) = n2 . Soluao: c (1) A frmula verdadeira para n = 1, pois 1 = 12 . o e (2) Suponha que A(n) verdadeira. Provaremos que A(n + 1) tambm e e e verdadeira. De fato, 1 + 3 + 5 + + (2(n + 1) 1) = 1 + 3 + 5 + + (2n + 2 1) = = 1 + 3 + 5 + + 2n + 1 = = [1 + 3 + 5 + + (2n 1)] + (2n + 1) . Como A(n) verdadeira, temos: e 1 + 3 + 5 + + (2n 1) +(2n + 1) = n2 + (2n + 1) = n2 + 2n + 1 = (n + 1)2
=A(n)

como quer amos mostrar.


CEDERJ 40

A demonstrao por Induo e o Teorema da Diviso de Euclides ca ca a


AULA 4

Atividades 2 3. Prove, por induao, que as seguintes frmulas so verdadeiras para todo c o a n Z com n 1: n(n + 1)(2n + 1) (a) 12 + 22 + 32 + + n2 = 6 (b) 13 + 23 + 33 + + n3 = n(n + 1) 2
2

4. Mostre, por induao sobre n 1 que: c

(a) Todo n mero inteiro da forma n3 + 2n com n 1 divis por 3. u e vel (b) Todo n mero inteiro da forma n3 n com n 1 divis por 24. u e vel (c) Seja = {1, 2, , n} com n 1 e seja P () = {B / B } o conjunto das partes de (isto , o conjunto de todos os subconjuntos de e ). Mostre, por induao, que o n mero de elementos |P ()|, do conc u n junto P () igual a 2 . e

Exemplo 10 Vamos mostrar, atravs deste exemplo, que a hiptese de que A(1) verdae o e deiro realmente necessria no Teorema 1. e a Vimos no exemplo 8 que a frmula A(n) = 1+2+ +n = o para todo n Z com n 1. Agora considere a frmula (n): o n(n + 1) +1. 2
n(n+1) 2

verdadeira e

(n) = 1 + 2 + + n =

Como A(n) verdadeira para todo n 1 temos que (n) falsa para todo e e n 1. Embora (1) seja falsa (e portanto no podemos aplicar o Teorema 1), a a a condiao (2) do teorema vlida. E fcil ver (verique!) que: se (n) fosse c e a verdadeira ento (n + 1) tambm seria verdadeira. a e Portanto, a armaao (n), que falsa, atende a condiao (2) do teorema, c e c mas no atende a condiao (1). a c Induo: segunda forma ca Aqui apresentaremos uma variaao da 1a forma do princ da induao c pio c que ser util na demonstraao por induao do Teorema da Diviso de Euclides a c c a que demonstraremos em seguida.
41

CEDERJ

Algebra 1

A demonstrao por Induo e o Teorema da Diviso de Euclides ca ca a

Teorema 2 (Induo - 2a forma) ca Vamos supor que para cada inteiro n 0 esteja dada uma armaao A(n), c dependendo de n e vamos admitir que sejam vlidas: a (1) A armaao A(0) verdadeira. c e (2) Para todo n Z com n > 0 se A(k) verdadeira para todo k < n e ento A(n) tambm verdadeira. a e e Ento A(n) verdadeira para todo n Z com n > 0. a e Demonstraao: c A demonstraao segue a mesma linha de argumento usada na demonsc traao do Teorema 1. c Seja S o subconjunto de todos os inteiros n 0 tais que a armaao c A(n) seja falsa. Assim, S = {n Z | n 0 e A(n) falsa} . e Observe que A(n) verdadeira para todo n Z com n 1 se, e somente e se, S = . Vamos argumentar por reduao ao absurdo, supondo que o Teorema 2 c seja falso. Portanto, existir um n Z com n 0 tal que A(n) falsa. Nessa a e situaao n S e S = . c Assim, provar o Teorema 2 equivalente provar que S = . e

Mas, S , evidentemente, limitado inferiormente (0 s, s S). Pelo e princ pio da boa ordenaao de Z, temos que S possui um primeiro elemento c n0 S. Como A(0) verdadeira, por hiptese do nosso Teorema, temos que e o 0 S e n0 S com n0 1.

Assim, para todo k com 0 k < n0 , temos que k S e tambm temos e que A(k) verdadeira. Pela nossa hiptese (2), segue que A(n0 ) deve ser e o verdadeira. Uma contradiao pois n0 S. c Portanto, supor o Teorema 2 falso nos leva a um absurdo! Logo o Teorema 2 verdadeiro como quer e amos demonstrar. Vamos utiizar esta segunda forma da induao neste prximo exemplo. c o

CEDERJ

42

A demonstrao por Induo e o Teorema da Diviso de Euclides ca ca a


AULA 4

Exemplo 11 Os n meros de Fibonacci so a seqncia de inteiros (F0 , F1 , F2 , . . .), onde u a ue F0 = 1 F1 = 1 e Fn = Fn1 + Fn2 ,

para n 2.

Vamos mostrar que, para todo n N, vale que Fn (1,7)n .

Os primeiros n meros da seqncia so (1, 1, 2, 3, 5, 8, 13, ). u ue a Soluao: A armaao vale para n = 0, pois F0 = 1 (1,7)0 = 1. A armaao c c c 1 tambm vale para n = 1, pois F0 = 1 (1,7) = 1,7. e

Aqui tivemos que considerar os dois casos iniciais n = 0 e n = 1, ao invs de considerar somente o caso n = 0, porque n = 1 tambm denido e e e de uma maneira diferente da deniao geral de Fn . c

Suponha agora que a amaao Fn (1,7)n valha para um certo inteiro c x, x 2, e para todos os valores k x. Vamos provar que vale para x + 1. Como a armaao vale para n = x e n = x 1, temos: c Fx (1,7)x Por deniao, c Fx+1 = Fx + Fx1 . Combinado as desigualdades (1) na equaao anterior, obtemos: c Fx+1 = Fx + Fx1 (1,7)x + (1,7)x1 = (1,7)x1 (2,7) = (1,7)x1 (2,89) = (1,7)x1 (1,7)2 = (1,7)x+1 portanto, a armaao verdadeira para n = x + 1, o que completa a c e demonstraao. c Agora hora de voc aplicar a segunda forma de induao para demonse e c trar um resultado sobre inteiros.
43

e Fx1 (1,7)x1 .

(1)

= (1,7)x1 (1,7 + 1) pois 2,7 < 2,89 pois (1,7)2 = 2,89

CEDERJ

Algebra 1

A demonstrao por Induo e o Teorema da Diviso de Euclides ca ca a

Atividades 3 5. Mostre, usando induao, que a soma os angulos internos de um pol c gono 0 de n lados 180 (n 2). e Sugesto: Trace uma diagonal para separar o pol a gono em dois com menos n mero de lados. u

O Teorema da Diviso de Euclides a


Aqui vamos enunciar e demonstrar o Teorema da Diviso de Euclides a para inteiros no negativos. a Teorema 3 (Teorema da Diviso de Euclides) a Seja n 0 e d > 0 n meros inteiros. Ento existem inteiros q 0 e r 0 u a tal que 0 r < d e n = qd + r. Mais ainda, os inteiros q e r so univocaa mente determinados (n chamado de dividendo, d chamado de divisor, q e e e chamado de quociente e r chamado de resto). e Demonstraao: c pois, Usaremos induao sobre n 0. O Teorema 3 verdadeiro para n = 0 c e 0= 0d+0 (q = 0 e r = 0) .

Vamos assumir n > 0. Se n < d, podemos escrever n=0d+n Nessa situaao teremos: c (q = 0 e r = n < d) .

Assim, vamos assumir n > 0 e d n. 0 n d < n. Pela nossa hiptese de induao, o Teorema verdadeiro para k = n d < n. o c e Portanto, existem inteiros q1 e r tal que 0 r < d e nd = k = q1 d+r. Da segue que , n = (q1 + 1)d + r ,

provando a primeira parte do Teorema 3 com os inteiros q = q1 + 1 e r. Agora vamos provar a unicidade dos inteiros q e r. Suponhamos que n = qd + r = q d + r ,
CEDERJ 44

A demonstrao por Induo e o Teorema da Diviso de Euclides ca ca a


AULA 4

onde 0 r < d e 0 r < d.

Se r = r , digamos r > r ter amos 0 < (q q)d = r r < d

e r r > 0. Uma contradiao! Logo r = r . Mas de n = qd + r = q d + r, teremos q = q c e isto completa a demonstraao do Teorema 3. c Repare que, dados inteiros n e d, podemos escrever n = qd + r de vrias maneiras com q, r inteiros. No entanto, q ser o quociente e r o resto a a da diviso, apenas na representaao em que 0 r < d. a c Exemplo 12 1. A diviso de 10 por 3 tem quociente 3 e resto 1, pois 10 = 3.3 = 1. a 2. A diviso de 10 por 3 tem quociente 4 e resto 2, pois 10 = 3(4) + 2. a 3. A diviso de 10 por 3 tem quociente 4 e resto 2, pois 10 = (3).4 + 2. a Para praticar um pouco, crie, voc mesmo, alguns exemplos. Certiquee se que voc no tem d vidas na determinaao do quociente e resto com e a u c inteiros negativos. Resumo Esta aula apresentou duas formas do princ pio da induao, que so c a ferramentas bsicas muito utilizadas nas demosntraoes envolvendo inteiros. a c Apresentamos tambm a demonstraao do Teorema da Diviso de Euclides e c a (Teorema 3). Este estabelece uma propriedade fundamental dos n meros inu teiros e ser bastante utilizado no desenvolvimento que faremos nas prximas a o aulas.

45

CEDERJ

Algebra 1

A demonstrao por Induo e o Teorema da Diviso de Euclides ca ca a

Atividades 1. Prove, por induao, as seguintes frmulas sobre os inteiros: c o (a) 1 + 2 + . . . + n =


n(n+1) , n 2

1. , n 1.

(b) 1 + 4 + + n2 = n(n + 1) 2n+1 , n 1. 6 (c) 1 + 8 + + n3 =


n(n+1) 2 2

(d) 1 + 3 + + (2n 1) = n2 , n 1. 2. Prove, por induao, que n3 + 2n sempre um m ltiplo de 3. c e u 3. Para n, m N e n m, denimos o n mero binomial u n m
`n E comum denir-se m = 0 no caso de n < m. n m

como

n! , (n m)!m!

onde n! = n(n 1)(n 2) . . . 3.2.1 e 0! = 1. Prove, por induao sobre c n, a frmula: o n n n+1 + = m1 m m 4. Em uma la de supermercado, a primeira pessoa da la uma mulher e e a ultima um homem. Use o princ e pio da induao para mostrar que c em alguma ponto da la uma mulher estar diretamente na frente de a um homem. 5. Se n um n mero e u mpar, prove que n3 n sempre divis por 24. e vel 6. Seja Fn o nsimo n mero de Fibonacci, introduzado no Exemplo 11. e u Mostre que 0 n2 n1 n + + + n 2 1 0 = Fn

Note que vrios dos ultimos fatores da soma acima sero iguais a zero, a a n pois m = 0 se n < m. Por exemplo, para n = 4, 4 3 2 1 0 + + + + 0 1 2 3 4 = 1 + 3 + 1 + 0 + 0 = 5 = F4 .

CEDERJ

46

Divisibilidade nos inteiros: o Mximo Divisor Comum a


AULA 5

Aula 5 Divisibilidade nos inteiros: o Mximo Divisor Comum a


Metas Apresentar atravs da divisibilidade nos inteiros, a existncia de mdc e e e o Algoritmo de Euclides. Objetivos Ao nal desta aula o aluno deve ser capaz de: Denir a noao de divisibilidade nos inteiros, e usando a estrutura c ordenada de Z, mostrar a existncia do Mximo Divisor Comum. e a Demonstrar a convergncia do algoritmo de Euclides no clculo do e a MDC, e demonstrar uma forma equivalente de denir MDC nos inteiros. subsectionIntroduao c O Teorema da Diviso de Euclides (o Teorema3 da aula passada) foi, a historicamente, introduzido e demonstrado, com o objetivo de se calcular o mximo divisor de 2 n meros inteiros positivos (o MDC), atravs do chaa u e mado Algoritmo de Euclides. Ele aparece em um dos mais famosos livros da Matemtica, os Elementos de Euclides, em Alexandria, no sculo III a.C. a e As demonstraoes aparecem nas proposioes 1 e 2 do livro 7 dos Elec c mentos que de fato uma coleao de 13 livros. Trs desses livros lidam com e c e a Teoria dos N meros, os demais envolvem temas ligados a n meros reais e a u u Geometria. No livro 7, o primeiro a tratar da Teoria dos N meros, encontrau mos o conceito de n meros primos e o mtodo para o clculo do MDC entre u e a dois n meros inteiros positivos. u Nessa aula apresentaremos a noao de divisibilidade nos inteiros, mosc trando a existncia de MDC em Z e provando o Algoritmo de Euclides para e o clculo do Mximo Divisor Comum. Na prxima aula voltaremos a tratar a a o do tema MDC ligado a uma primeira viso estrutural algbrica de Z. a e
47

CEDERJ

Algebra 1

Divisibilidade nos inteiros: o Mximo Divisor Comum a

Divisibilidade dos inteiros


Inicialmente vamos dar algumas denioes envolvendo o conceito de c divisibilidade. Dizemos que um n mero inteiro m divide outro n mero inteiro n, se u u existe um inteiro q tal que n = q m. Nesse caso, dizemos ainda que m um divisor de n ou n um mltiplo e e u de m. O n mero q chamado de quociente de n por m. u e Assim, n mltiplo de m se o resto da diviso de n por m r = 0, e u a e no Teorema da diviso de Euclides, a n = q m +0. Observe que, como n = q m n = (q)(m) (n) = (q) m segue-se que quando m divisor de n, ento m tambem divisor de n e m e a e divisor de n. e Exemplo 13 Os divisores de 12 so os inteiros a 1, 2, 3, 4, 6, 12 . Por outro lado, estes inteiros so tambm os divisores de 12. a e Aqui, natural estabelecermos uma notaao para os conjunto de todos e c os divisores de um inteiros, e tambem para os divisores positivos e negativos. Denio 1 ca Dado um n mero inteiro n, denimos u 1. D(n) = {m Z | m divisor de n} e 2. D(n)+ = {m Z | m > 0 e m divisor de n} e 3. D(n) = {m Z | m < 0 e m divisor de n} e Assim, pela observaao que zemos acima, vale que: c D(n) = (D(n)+ ) = {m Z | m D(n)+ }
CEDERJ 48

Divisibilidade nos inteiros: o Mximo Divisor Comum a


AULA 5

D(n) = D(n) D(n)+ isto , o conjunto D(n) unio disjunta dos subconjuntos D(n) e e e a D(n)+ . Exemplo 14 D(12) = {1, 2, 3, 4, 6, 12} D(12)+ = {1, 2, 3, 4, 6, 12} D(12) = {1, 2, 3, 4, 6, 12} Claramente, vale que D(12)+ = D(12) Exerc cios 1. Encontre D(60), D(60)+ e D(60) . 2. Quantos divisores tem um n mero primo? u e D(12) = D(12)+ D(12)

Finitude do conjunto dos divisores de um inteiro


A proposiao a seguir mostra que um inteiro possui um n mero nito c u de divisores. Proposio 1 ca Seja n = 0 um dado n mero inteiro. Ento o conjunto D(n) dos divisores de u a n sempre nito. e Demonstraao: c E suciente demonstrarmos que D(n)+ nito. Isto porque, se isto e + for verdade, como D(n) = D(n) , ento D(n) tem o mesmo n mero de a u + elementos de D(n) e, portanto, tambem nito. Como D(n) = D(n)+ e D(n) ento D(n) a unio de dois conjuntos nitos, logo, tambm nito. a e a e e Vamos comear demonstrando um lema. c Lema 1 Seja n um inteiro positivo. Ento a (a) 1, n D(n)+ (b) Se m D(n)+ ento 0 < m n. a
49 CEDERJ

Algebra 1

Divisibilidade nos inteiros: o Mximo Divisor Comum a

Demonstraao do Lema: c A demonstraao de (a) obvia pois n = n 1 = 1 n. Agora vamos c e provar (b): Seja m D(n)+ . Assim, m > 0 e existe q > 0, tal que n = q m. Se q = 1, n = m e se q 2 e n = q m 2 m = m + m > m. Isto prova o lema. Como corolrio do Lema, teremos que a D(n)+ {m Z | 1 m n} , e portanto, D(n)+ um conjunto nito com n mero de elementos menor ou e u igual a n, j que o conjunto a {m Z | 1 m n} possui exatamente n elementos. Como |D(n)| = 2 |D(n)+ |, temos D(n) nito. Exerc cios 1. D exemplos em que inteiros positivos n tal que e |D(n)| = n Quantos inteiros positivos satisfazem esta condiao? c

O Mximo Divisor Comum (mdc) de dois inteiros a


Agora estamos em condiao de denir o mximo divisor comum de dois c a n meros a e b. u Denio 2 (mdc) ca Dizemos que o n mero inteiro positivo d o mximo divisisor comum de dois u e a n meros inteiros no nulos a e b, se: u a 1. d um divisor comum de a e b, isto , d divide a e d divide b. e e 2. d o maior divisor comum, isto , se d outro divisor comum de a e e e e b ento d d. a Usamos a notaao mdc(a, b) para denotar o mximo divisor comum de a e b. c a
CEDERJ 50

Divisibilidade nos inteiros: o Mximo Divisor Comum a


AULA 5

Podemos expressar as condioes da deniao anterior de outra forma. c c O conjunto dos dividores positivos comuns de a e b a interseao do conjunto e c dos divisores positivos de a e do conjunto dos divisores positivos de b, isto , e divisores comuns de a e b = D(a) D(b) . Observe que este conjunto interseao nunca vazio, pois c e 1 D(a) D(b) . O maior dividor comum de a e b , simplesmente, o mximo do conjunto e a dos divisores comuns: mdc(a, b) = max D(a) D(b) . Lembre-se que, pela propriedade da boa ordenaao do conjunto dos c n meros inteiros, todo conjunto nito tem um unico mxico, o que assegura u a a existncia e unicidade do mdc de dois inteiros positivos. e A deniao de mximo divisor comum pode ser generalizada, de modo c a anlogo, para mdc de mais de dois n meros. Assim, ter a u amos: se a1 , a2 , , ak so n meros inteiros no nulos, ento d = mdc{a1 , a2 , , ak } o maior ina u a a e teiro divisor comum de a1 , a2 , , ak . Exemplo 15 Verique que: 1. mdc(10, 15) = 5 2. mdc(70, 121) = 1 3. mdc(n, n) = n para qualquer inteiro positivo n. 4. mdc(1, n) = 1 para qualquer inteiro positivo n. 5. mdc(p, q) = 1 para quaisquer p e q primos distintos.

Atividades 1. Pense em alguns pares de inteiros e calcule o mdc destes n meros. u

51

CEDERJ

Algebra 1

Divisibilidade nos inteiros: o Mximo Divisor Comum a

O algoritmo de Euclides
Sejam a e b dois dados n meros inteiros positivos. Podemos assumir u a b (caso contrrio, invertemos a ordem dos n meros). a u Se a = b, teremos D = mdc(a, b) = a = b. Vamos considerar a > b. Pelo Teorema da Diviso de Euclides, existem a n meros q1 e r1 tais que: u a = q1 b + r1 , onde 0 r1 < b. caso, Se r1 = 0 temos a = q1 b e b um dos divisores positivos de a. Nesse e b D(a)+ D(b)+ D(a)+ . Da segue que: I = D(a)+ D(b)+ = D(b)+ e teremos D = mdc(a, b) = max(I) = max(D(b)+ ) = b . Se r1 = 0, teremos 0 < r1 < b, a = q b + r1 . Agora observe que: Lema 2 Um inteiro d > 0 divisor comum de a e b se, e somente se, d > 0 divisor e e comum de b e r1 . Isto conseqncia das igualdades e ue a = q b + r 1 r1 = a q b . Assim, d divide a e b d divide a q b d divide r1 . Por outro lado, d divide b e r1 d divide q b + r1 d divide a Portanto, os divisores comuns de a e b so tambm divisores comuns a e de b e r1 e vice-versa, o que resulta em mdc(a, b) = mdc(b, r1 ) .
CEDERJ 52

Divisibilidade nos inteiros: o Mximo Divisor Comum a


AULA 5

Isto o que faz o algoritmo de Euclides funcionar! Se r1 = 0 ento e a mdc(a, b) = b. Caso contrrio, r1 > 0, e a mdc(a, b) = mdc(b, r1 ) Fazemos um novo passo do algoritmo, agora com os inteiros b e r1 . O mdc encontrado ser tambm o mdc dos inteiros a e b. a e Mas, qual a vantagem do algoritmo se temos que repetir a mesma operaao de novo? A vantagem que, a cada passo, estamos lidando com c e inteiros positivos menores. Portanto, em algum momento, o algoritmo termina! Se r1 > 0, o prximo passo dividir b por r1 , achando quociente q2 e o e resto r2 : b = q 2 r1 + r 2 . Se r2 = 0, temos b = q2 r1 , e nesse caso, como argumentamos anteriormente, mdc(b, r1 ) = r1 = mdc(a, b), e paramos o nosso algoritmo nesse estgio. a Se r2 = 0, teremos b = q2 r1 + r2 onde 0 < r2 < r1 . Nessa situaao c dividimos r1 por r2 , achando quociente q3 e resto r3 : r1 = q 3 r2 + r 3 onde 0 r3 < r2 .

Analogamente ao que mostramos anteriormente, temos: mdc(a, b) = mdc(b, r1 ) = mdc(r1 , r2 ).

Se r3 = 0, mdc(a, b) = mdc(r1 , r2 ) = r2 , pois r1 = q3 r2 + 0 = q3 r2 , e paramos o algoritmo nesse estgio. a Se r3 > 0, prosseguimos sucessivamente com nosso algoritmo, determinando quocientes q1 , q2 , q3 , , qk , e restos r1 , r2 , r3 , , rk , de modo que a = q1 b + r1 , 0 r1 < b b = q 2 r1 + r 2 , 0 r 2 < r 1 r1 = q 3 r2 + r 3 , 0 r 3 < r 2 . . . . . . . . . rk = qk rk1 + rk , 0 rk < rk1
53 CEDERJ

Algebra 1

Divisibilidade nos inteiros: o Mximo Divisor Comum a

Como a seqncia dos restos satisfaz as condioes: ue c b > r1 > r2 > > rk > 0 , partindo de um b xado, temos que existir um primeiro a ndice k tal que rk = 0. Nessa etapa k paramos o algoritmo e teremos que D = mdc(a, b) = mdc(b, r1 ) = = mdc(rk2 , rk1 ) = rk1 Exemplo 16 Vamos aplicar o algoritmo de Euclides para determinar o mdc de 3600 e 540. 3600 = 6 540 + 360 360 = 2 180 + 0

540 = 1 360 + 180

Quando encontramos resto 0, ento o divisor da ultima diviso o mdc dos a a e inteiros. Portanto, mdc(3600, 540) = 180. Observe que mdc(3600, 540) = mdc(540, 360) = mdc(360, 180) = 180 . E comum representar-se estas etapas pelo esquema a seguir: 6 1 2 3600 540 360 180 360 180 0 Em geral, temos um esquema: q a b r r1 q1 r r2 q2 r1 q3 r2

Quando obtemos um resto igual a zero, o mdc o ultimo divisor, isto , o e e ultimo n mero na la do meio do esquema anterior. u

CEDERJ

54

Divisibilidade nos inteiros: o Mximo Divisor Comum a


AULA 5

Atividades 1. Mostre que mdc(585, 527) = 1. 2. Sejam a e b inteiros positivos, e vamos supor que existe inteiros s e t tais que a = b s + t. Mostre que mdc(a, b) = mdc(b, t) . Soluo ca 1. Temos que: 585 = 1 527 + 58

527 = 9 58 + 5

58 = 11 5 + 3

5=13+2

3=12+1

2=21+0

Portanto: mdc(585, 527) = mdc(527, 58) = mdc(58, 5) = mdc(5, 3) = mdc(3, 2) = mdc(2, 1) = 1 Esquematicamente: 1 9 11 1 1 2 585 527 58 5 3 2 1 58 5 3 2 1 0 2. A demostraao totalmente anloga ao que zemos na demonstraao c e a c do Algoritmo de Euclides para mostrar que mdc(a, b) = mdc(b, r).

55

CEDERJ

Algebra 1

Divisibilidade nos inteiros: o Mximo Divisor Comum a

Uma formulao equivalente para o mdc ca


Nesta seao, vamos provar a uma propriedade importante do mdc de c dois inteiros. Proposio 2 ca Sejam a e b dois dados inteiros positivos e seja d = mdc(a, b) o mximo a a b divisor comum de a e b. Mostre que, se a = d e b = d ento mdc(a , b ) = 1. a Demonstraao. Seja I = D(a )+ D(b )+ . Vamos mostrar que I = {1} e, c portanto, mdc(a , b ) = max I = 1. De fato, seja d = max(a, b), e seja k um divisor comum positivo de a e b . Assim, a = r k b = s k Da segue que a = k r = a = (k d)r (3) d b = k s = b = (k d)s (4) d De (1) e (2) concluimos que k d divisor comum de a e b. Mas d = mdc(a, b). e Logo d k d o que implica 0 < k 1, isto , k = 1. e Agora vamos apresentar uma formulaao equivalente para o mdc, que c nos ser util nas aulas seguintes. Ela nos diz que mdc(a, b) no s o maior a a oe divisor comum de a e b, como tambm m ltiplo de todos os outros divisores e e u comuns de a e b. Alguns autores usam esta formulaao como deniao de c c mdc. Proposio 3 ca Sejam a e b dois n meros inteiros positivos dados. Ento D = mdc(a, b) se, u a e somente se, 1. D divisor comum de a e b e 2. Dado um arbitrrio divisor comum d de a e b, ento d divisor de D. a a e Demonstraao. c (=) Seja D = mdc(a, b). Vamos mostrar que D satisfaz as condioes (1) e c (2) acima. A condiao (1) imediata da deniao de mdc. c e c condiao (2). c
CEDERJ 56

Vamos provar a

Divisibilidade nos inteiros: o Mximo Divisor Comum a


AULA 5

Seja d um arbitrrio divisor comum de a e b. Sem perda de generalidade a podemos assumir d > 0. Vamos mostrar que d divide D. Agora vamos assumir d < D, e vamos escrever a = q D e b = q D. a Pela proposiao anterior temos que D = mdc(q, q ) = 1 j que q = D e c a b q = D. Como D > d, pelo Teorema da Diviso de Euclides, existem inteiros m a e r tais que D = m d + r com 0 r < d. Assim, a = q D = q(md + r) = (qm)d + qr, 0 r < d b = q D = q (md + r) = (q m)d + q r . a = s d e b = s d. Usando as igualdades () acima, temos () sd = (qm)d + qr = (s qm)d = qr s d = (q m)d + q r = (s q m)d = q r . Pela deniao de mdc sabemos que d D. Se d = D, d divisor de D. c e

()

Mas d divisor comum de a e b, e da segue que existe inteiros s e s tais que e

Seja t = mdc(d, r), e sejam e inteiros denidos por: = d , = r . t t Pelo exerc cio anterior temos que mdc(, ) = 1 e d = t e r = t. Substituindo em () temos: (s qm)t = qt = (s qm) = q (s q m)t = q t = (s q m) = q . Como mdc(, ) = 1, segue que divisor de q, e divisor de q . Mas e e sabemos que mdc(q, q ) = 1, e isto nos diz que = 1. Assim, = 1 = d = t = mdc(d, r) = d divisor de r = d r e o que um absurdo. Portanto, r = 0 e D = md, d divisor de D. e (=) Assumimos as propriedades (1) e (2) para D. Vamos provar que D = mdc(a, b). A propriedade (1) nos diz que D divisor comum de a e b. Seja d e + + I = D(a) D(b) , um divisor comum positivo de a e b. Pela propriedade (2), d divisor de D, logo d D, e D mximo divisor comum de a e b. e e a Assim, as propriedades (1) e (2) caracterizam o mdc.

57

CEDERJ

Algebra 1
Atividades

Divisibilidade nos inteiros: o Mximo Divisor Comum a

1. Determine os conjuntos D(156) e D(130). Determine d = mdc(156, 136) e verique que d m ltiplo de todos os elementos de D(156) D(130), e u isto , d m ltiplo de todos os divisores comuns de 156 e 130. e e u 2. Verique que mdc( 156 , 130 ) = 1. d d 3. Escolha alguns pares de inteiros a e b e verique que mdc a b , mdc(a, b) mdc(a, b) =1

Divisibilidade como relao de ordem ca


Usaremos a notaao a|b signicando a divisor de b. c e A relaao divisor de , no conjunto dos n meros inteiros, satisfaz as c e u seguintes propriedades: 1. a|a, a Z (reexiva). 2. a|b e b|a implica em a = b. 3. a|b e b|c implica em a|c (transitividade). A vericaao das propriedades acima bastante simples e ser deixada c e a como exerc cio. Note que no vale a propriedade antissimtrica da relaao linear , a e c natural em Z: a b e b a = a = b . No entanto, se a e b so inteiros positivos e a|b e b|a, teremos que a = b. a Portanto, restringindo a relaao a divide b ao conjunto dos n meros inteiros c u positivos, ela ser anti-simtrica: a e 2 Se a, b Z+ , a|b e b|a implica em a = b (anti-simetria). Mas propriedades de reexividade, transitividade e anti-simetria caracterizam as relaoes de ordem parcial em um conjunto. Conclu c mos assim que a relaao a divide b, no conjuntos dos inteiros positivos, uma relaao de c e c ordem parcial.
CEDERJ 58

Divisibilidade nos inteiros: o Mximo Divisor Comum a


AULA 5

Atividades 1. Verique que a ordem a divide b no linear (total) em A = Z+ . a e 2. Entenda a diferena entre as ordens e a divide b. A primeira c e linear e a segunda no . a e Comentrios das atividades a 1. Por exemplo, 2 no divide 3 e 3 no divide 2. a a a 2. E fcil entender a diferena atravs de um grafo simblico: c e o
(<) 6


(< (d) ) 6
  

5 4 3 2 3 2


1 (linear)

Convergncia do Algoritmo de Euclides e


Nesta seao, vamos adotar uma viso um pouco mais computacional c a sobre o Algoritmo de Euclides. Para calcular o mdc de dois inteiros positivos a e b, poder amos fazer simplesmente o seguinte: listamos todos os divisores positivos de a e b e determinamos o mximo da interseao. a c Um algor tmo deste tipo seria o seguinte: Entrada: Inteiros positivos a e b. Sa da: mdc(a, b). Para todo inteiro k entre 1 e o m nimo de a e b teste se k|a e k|b. Caso armativo inclua k em um conjunto I. Retorne o mximo do conjunto I. a

59

CEDERJ

Algebra 1

Divisibilidade nos inteiros: o Mximo Divisor Comum a

Este um algoritmo que sempre funciona, no sentido que sempre ree torna o mdc de dois inteiros a e b. No entanto, extremamente lento. Ainda e que possa ser melhorado de diversas maneiras, este algoritmo no prtico a e a para inteiros grandes, uma vez que envolve um n mero muito grande de u divises. o O Algoritmo de Euclides tem as vantagens de ser rpido e muito fcil a a de ser implementado computacionalmente. Podemos descrever o Algoritmo de Euclides da seguinte maneira: Entrada: Inteiros positivos a e b. Sa da:mdc(a, b). Seja r o resto da diviso de a e b. a Se r = 0 ento o resultado b e paramos. a e Se r = 0 ento calculamos mdc(b, r) e retornamos este valor como a resposta. Este algoritmo denido por recorrncia, isto , o algoritmo invoca e e e ele mesmo vrias vezes a m de obter o resultado. a Mais quo rpido converge o Algoritmo de Euclides? Por exemplo, a a iniciando com inteiros a e b de 1000 algarismos, quanto passos, no mximo, a seriam necessrio para chegarmos ao nal do algoritmo? a Este uma pergunta muito importante quando consideramos aplicaoes e c computacionais prticas que utilizam o Algoritmo de Euclides. a Para respondermos esta pergunta, precisamos da proposiao a seguir. c Proposio 4 ca Sejam a e b inteiros positivos, com a b, e seja r o resto da diviso de a e a a b. Ento r 2 . a Demonstraao. Sempre vale que 0 r < b. Se b a , ento r < b r a . c a 2 2 Caso contrrio, b > a
a 2

e o quociente da diviso de a por b 1: a e

a=b1+r r =ab. Mas b >


a 2

b < a a b < a 2

a 2

a 2

. Portanto r < a . 2

No algoritmo de Euclides, temos

mdc(a, b) = mdc(b, r) = mdc(r, r1 ) =


CEDERJ 60

Divisibilidade nos inteiros: o Mximo Divisor Comum a


AULA 5

onde, a cada dois passos, trocamos o primeiro elementos de um par pelo resto da diviso dos dois elementos do par. Observe: a

mdc(a, b) = mdc(b, r) = mdc(r, r1 ) = mdc(r1 , r2 ) = mdc(r2 , r3 ) = u Assim, r a , r2 r a . A cada dois passos o maior n mero do par 2 2 4 ca reduzido a, no mximo, metade do valor. Na pior hiptese, o livro para a o quando encontramos resto 1. Se o algoritmo leva n passos para encontrar resto r, ento a a r n . 22 Para r = 1 ento a
n 2 a n 2 = a log 2 = log a n = log a . n = 1 2 2 log 2 22

Exemplo 1 Se a tem 1000 d gitos ento a 101000 . Assim, a n 2 2000 log 101000 = = 6643 log 2 log 2

O algoritmo chega ao resultado em, no mximo, 6643 passos. a Exerc cios Resolva os seguintes exerc cios: 1. Determine, usando o algoritmo de Euclides os seguintes MDCs: (i) M DC{24, 138} (iii) M DC{306, 657} (ii) M DC{143, 227} (iv) M DC{12.378, 3054}

2. Mostre que: Sejam a, b, c inteiros no nulos. Se a divide b e a divide c, a ento a divide (b c). (vale a rec a proca?) 3. Seja r = 0 com r Z uma raiz inteira do polinmio x2 + ax + b, onde o a, b so inteiros. Mostre que r divisor de b. a e 4. Seja a um inteiro mpar. Mostre que a2 1 sempre divis por 8. e vel 5. Sejam a1 , a2 , , an inteiros positivos. Generalize a noao de MDC de c dois inteiros denindo (de modo similar) M DC{a1 , a2 , , an }.

61

CEDERJ

As subestruturas ideais de Z: MDC e MMC

AULA 6

Aula 6 As subestruturas ideais de Z: MDC e MMC


Metas Nesta aula apresentaremos a noao de ideal de Z. demonstrando o c Teorema dos ideais principais e relacionando ideais MDC e MMC. Objetivos Denir a noao de ideal nos inteiros, dando exemplos; c Caracterizar, atravs do Teorema dos ideais principais, os ideais de Z; e Demonstrar a existncia de MDC e MMC em Z, usando o Teorema dos e ideais principais.

Introduo ca
Na aula anterior, denimos o mdc(a, b) de dois inteiros a e b, mostramos algumas propriedades e apresentamos o Algoritmo de Euclides para a determinaao de mdc(a, b). Nesta aula vamos apresentar uma viso algbrica c a e de Z atravs dos chamados ideais de Z. Ideais em um anel so subconjuntos e a que possuem certas propriedades, como veremos um pouco a frente, nesta aula. Podemos dizer que eles representam subestruturas de um anel. Usando o Teorema da Diviso de Euclides vamos provar que todo ideal a I de Z principal, isto , todo ideal I de Z da forma I = Z n, para e e e algum inteiro n. A partir desse fato, de que todo ideal gerado por um e unico elemento (Teorema dos ideais principais), vamos inferir concluses a o respeito do mdc e mmc de dois inteiros. Bom, este foi um panorama geral do que acontecer nesta aula. Agora, a vamos iniciar com a deniao de ideal. c

63

CEDERJ

Algebra 1

As subestruturas ideais de Z: MDC e MMC

Ideais em Z
Seja n um dado n mero inteiro. Considere o subconjunto I de Z, u formado por todos os m ltiplos inteiros de n. u Usaremos a seguinte notaao para esse subconjunto: c I = Z n = {k n | k Z} . Vamos destacar em seguida, trs propriedades essenciais que o subcone junto I = Z n satisfaz. Propriedades de I = Z n (1) 0 I (2) Para todo x, y I, tem-se (x y) I (3) Z I I, isto , para todo r Z e para todo x I, tem-se r x I e Vamos demonstrar essas propriedades. (1) 0 = 0 n I = Z n (2) Se x = r n e y = s n ento em I = Z n, temos: a x y = r n s n = (r s) n I = Z n . (3) Para todo r Z e x = k n I = Z n, tem-se r x = r (k n) = (r k) n I . O conjunto Z n um exemplo de ideal de Z. Em geral, e Denio 1 (Ideal de Z) ca Um subconjunto I de Z satisfazendo as trs propriedades acima dito uma e e substrutura ideal de Z ou, simplesmente, um ideal de Z . Assim, I Z uma subestrutura ideal de Z se: e 1. 0 I 2. Para todo x, y I, tem-se (x y) I 3. Z I I Lembrando, novamente, que Z I I uma maneira resumida de dizer e que para todo r Z e todo x I temos rx I.
CEDERJ 64

As subestruturas ideais de Z: MDC e MMC

AULA 6

Exemplo 17 Ns mostramos, acima, que I = Z n um ideal de Z. Assim, {0} = Z 0 e o e Z = Z 1 so dois ideais de Z chamados de ideais triviais de Z. a O ideal I = Z n chamado de ideal principal gerado por n. e Exemplo 18 Sejam a, b Z e seja J o subconjunto J = Z a + Z b = {m = k a + s b | k, s Z} . O conjunto J chamado conjunto gerado por a e b em Z. Vamos provar que e J um ideal de Z (chamado de ideal gerado por a e b), contendo os ideais e principais Z a e Z b. 1. 0 J, pois 0 = 0 a + 0 b J. 2. Para todo x, y J, tem-se (x y) J Seja x = r a + s b, e seja y = r a + s b, dois elementos de J. Da segue que x y = (r a + s b) (r a + s b) = (r r ) a + (s s ) b J . 3. Z J J. Seja m Z e x = r a + s b J. Da segue que m x = m (r a + s b) = (m r) a + (m s) b J . Alem disso, Z a J, pois r a = r a + 0 b J para todo r Z. Analogamente Z b J. Assim, o ideal J = Z a + Z b contem os ideais principais Z a e Z b. Atividades 1. Verique qual dos seguintes subconjuntos I Z (ou no) ideal de Z. e a (a) I = {m Z | m divisor de 24} e (b) I = {m Z | m m ltiplo de 24} e u (c) I = {m Z | m m ltiplo comum de 18 e 24} e u (d) I = {m Z | (21) m m ltiplo de 9} e u
65 CEDERJ

Algebra 1

As subestruturas ideais de Z: MDC e MMC

2. Generalize o Exemplo 17 para: J = Za1 +Za2 + +Zak = {m = r1 a1 +r2 a2 + +rk ak | ri Z} mostrando que J um ideal de Z. e O conjunto J = Z a1 + Z a2 + + Z ak o ideal gerado por e a1 , a2 , , ak .

Teorema dos Ideais Principais em Z


Quando denimos ideal de Z, observamos que, para todo n Z, Z n um ideal de Z. Ideais deste tipo so chamados ideais principais. e a Vimos tambm que, para todo a, b Z, o conjunto Z a + Z b um e e ideal de Z, chamado ideal gerado por a e b. Analogamente, podemos ideais gerados por um n mero qualquer de elementos. u Aqui se coloca uma questo: se um ideal gerado por, por exemplo, 2 a e elementos, ele pode ser escrito como ideal principal? Por exemplo, Z30+Z20 pode ser escrito como Z n, para algum n? a A resposta sim. E fcil ver que Z 30 + Z 20 = Z 10. Veja bem, e 10 = 30 1 + 20 (1) 10 Z 30 + Z 20 . Pela propriedade (3) da deniao de ideal, se J ideal e 10 J ento c e a Z 10 J. Assim, temos que Z 10 Z 30 + Z 20. Por outro lado, se x Z 30 + Z 20 ento existem a, b Z tais que a x = 30a + 20b = 10(3a + 2b) Z 10 Z 30 + Z 20 Z 10 . A concluso que o ideal gerado por 20 e 30 principal: o ideal prina e e e cipal Z 10. Observe tambm que 10 = mdc(20, 30). Isto no coincidncia, e a e e como veremos mais tarde. O teorema a seguir mostra que o mesmo verdade para qualquer ideal e de Z. Esta uma propriedade algbrica importante do anel dos inteiros. e e Dom nios de integridade que tm esta propriedade so chamados Domnios e a principais. Haver uma aula dedicada aos dom a nios principais mais tarde. Mas vamos voltar aos inteiros:

CEDERJ

66

As subestruturas ideais de Z: MDC e MMC

AULA 6

Teorema 1 (Teorema dos Ideais Principais) Todo ideal de Z principal e Demonstraao: c Seja J um ideal qualquer de Z. Temos que demonstrar que existe d Z tal que J = Z d. Se J = {0} ento J = Z 0 principal. Vamos assumir que J = {0}. a e Observe que, como 0 J temos: 0, x J = 0 x = x J 0, x J = 0 (x) = x J . Assim, x J (x) J . Portanto, J = J {0} J + onde J + = {x J | x > 0} e J = {x J | x < 0} . Assim, J = {0} implica J + e J so no vazios e podemos escolher, a a pela boa ordenaao de Z, o primeiro (menor) elemento d J + . c Vale tambm que J = (J + ). e

Portanto d = min J + unico inteiro d tal que 0 < d x, para todo e + xJ . Vamos provar que J = Z d.

Primeiramente, d J + J implica Z d J, pela propriedade (3) que dene ideal. Assim, basta provar que J Z d. Como Z d ideal de Z, se provarmos que J + Z d, teremos: e J = J {0} J + Z d . Seja y J + . Pela escolha de d, temos 0 < d y. Se d = y, temos y Z d. Vamos assumir d = y. Assim, 0 < d < y. Pelo teorema da diviso a de Euclides, existem q, r Z tais que y = q d + r, 0 r < d.

Vamos provar que r = 0 e, portanto, y = q d Z d.


67 CEDERJ

Algebra 1

As subestruturas ideais de Z: MDC e MMC

Vamos supor, por absurdo, que r > 0. Ento, a y = q d + r = r = y q d . Mas y J e q d Z d J implica r = y q d J, pela propriedade (2), da deniao de ideal. c Mas 0 < r < d, r J = r J + e r < d , o que contraria a minimalidade de d = minJ + . Assim, essa contradiao nos c diz que r = 0 e y = q d J. De Z d J e J Z d, temos J = Z d, como quer amos demonstrar.

A demonstraao do teorema nos diz que J = Z a + Z b = Z d, onde c + d = minJ , o menor elemento positivo de J. Da mesma forma, o ideal de J = Z a1 + Z a2 + + Z ak , gerado por a1 , a2 , , ak , inteiros no nulos, pode ser expresso por a J = Z a1 + Z a2 + + Z ak = Z d, d = minJ + .

Aqui cabe a pergunta: Qual a relaao desse n mero d = minJ + com os c u geradores de J? Se Z d = Z a + Z b, mostraremos que d = mdc(a, b). Mais geralmente, se Z d = Z a1 + Z a2 + + Z ak , mostraremos que d = mdc(a1 , a2 , , ak ).

Como o inteiro d = mdc(a, b), satisfaz a igualdade estrutural de ideais Z a + Z b = Z d, ento, d Z a + Z b e, portanto, d = r a + s b, para a alguns inteiros r e s. Este fato nos ser bastante util no futuro. a Exemplo 19 mdc(18, 24) = d = 6. Nesse caso, podemos escrever d = 6 = (1) 18 + (1) 24 (r = 1, s = 1) ou ainda d = 6 = (5) 18 + (24) 4 (r = 5, s = 4) Portanto, os n meros r e s no so unicos e o n mero d = mdc(a, b) pode u a a u ser expresso de mais de uma maneira na forma d = ra + sb com r, s Z. Atividades 1. Encontre d tal que Z d = Z a + Z b, onde a = 84 e b = 30. Encontre r, s Z tal que d = ra + sb.
CEDERJ 68

As subestruturas ideais de Z: MDC e MMC

AULA 6

O mdc(a, b) o gerador de Z a + Z b e
Agora vamos provar o seguinte teorema Teorema 2 Sejam a e b inteiros no nulos dados e seja d > 0 um n mero inteiro. Ento a u a Z a + Z b = Z d d = mdc(a, b) . Demonstraao: c (=) Vamos supor Z a + Z b = Z d e mostrar que d = mdc(a, b). Lembre-se que na Aula 5 mostramos que o conceito de mdc{a, b} = d de dois n meros no nulos a e b equivalente ao seguinte: u a e (i) d um divisor comum de a e b e (ii) Se d um divisor comum de a e b ento d tambm divisor de d. e a e e Vamos usar aqui essa caracterizaao de mdc. c De Z a Z d implica a Z d o que implica que d divisor de a. De e Z b Z d implica b Z d o que implica d divisor de b. e Assim, concluimos que d divisor comum de a e b. e Primeiro observe que Za+Zb = Zd implica Za Zd e Zb Zd.

Agora, a segunda parte: seja d um divisor comum qualquer de a e b. Vamos provar que d tambm divisor de d. e e d divisor de a = q1 Z tal que a = q1 d d divisor de b = q2 Z tal que b = q2 d Assim, Z a Z d e Z b Z d e isso nos diz que Z d = Z a + Z b Z d = d Z d Z d = d Z d = r Z tal que d = r d = d tambm divisor de d . e e Logo d > 0 de fato o mdc(a, b). e (=) Assumiremos mdc(a, b) = d. Devemos provar que Z a + Z b = Z d. Usaremos a unicidade do MDC. Pelo teorema do ideal principal, existe d tal que Z a + Z b = Z d . Pela parte 1 dessa demonstraao, temos d = mdc(a, b) e pela unicidade do c mdc(a, b) temos que d = d e Z a + Z b = Z d. Como observamos antes, uma conseqncia direta que nos ser muito ue a util o seguinte: e
69

CEDERJ

Algebra 1

As subestruturas ideais de Z: MDC e MMC

Corolrio 1 a Sejam a e b dois inteiros no nulos e seja d = mdc(a, b). Ento existe r, s Z a a tais que d = ra + sb. O Teorema 2 acima vale para mais de dois n meros, isto , dados u e inteiros no nulos a1 , a2 , , ak e d = mdc(a1 , a2 , , ak ) temos Z a1 + Z a a2 + + Z ak = Z d e existem r1 , r2 , , rk Z tais que d = r1 a1 + r2 a2 + rk ak . A demonstraao anloga a demonstraao do Teorema 2. c e a ` c Atividades 1. Descreva os seguintes subconjuntos J de Z. (a) J = Z 36 + Z 25. (b) J = Z 18 + Z 24 + Z 21. (c) J = Z 105 + Z 52.

O mmc de dois inteiros


Agora vamor relacionar o mmc de dois inteiros a e b aos ideais gerados por a e b. Como a interseao de ideais sempre um ideal, ento Z a Z b c e a um ideal de Z. Pelo Teorema 1, este ideal principal. O prximo teorema e e o nos diz que Z a Z b o ideal principal gerado por mmc(a, b). e Teorema 3 Sejam a e b dois dados inteiros no nulos e seja M > 0 tal que ZaZb = ZM a (existe tal M > 0, pelo teorema dos ideais principais). Ento M o menor a e m ltiplo comum positivo de a e b. u Demonstraao: c Sejam a e b dois inteiros no nulos e I = Z a e J = Z b os ideais a principais gerados, respectivamente, por a e b. Pelo teorema dos ideais principais, existe M I J = Z a Z b = Z M. Temos que I J = ZaZb tambm um ideal de Z (ver Exerc 1). e e cio > 0 tal que

Vamos provar que M o menor m ltiplo comum positivo de a e b. e u Z a Z b = Z M = Z M Z a e Z M Z b .

CEDERJ

70

As subestruturas ideais de Z: MDC e MMC

AULA 6

Como M Z M , ento M Z a e M Z b, o que implica que a existem r, s Z tais que M = ra e M = sb, isto , M um m ltiplo comum e e u de a e b. Seja M > 0 um qualquer m ltiplo comum de a e b. Vamos provar que u M m ltiplo de M (e portanto M M ). e u

De fato, M m ltiplo comum de a e b implica que existem r , s Z tais u que M = r a e M = s b. Portanto, M Za e M ZbM ZaZb=ZM M ZM , o que implica M = t M , para algum inteiro t > 0, ou seja, M m ltiplo e u de M , o que completa a demonstraao. c Embora j estejamos nos referindo ao m a nimo m ltiplo comum de dois u inteiros, vamos fazer uma deniao formal. c Denio 2 (M ca nimo mltiplo comum) u Sejam a e b dois dados inteiros no nulos. Dizemos que M o mnimo a e mltiplo comum de a e b, denotado M = mmc(a, b), se M > 0 e M o u e menor m ltiplo comum positivo de a e b. u O Teorema 3 mostra a existncia do mmc(a, b) (atravs do teorema dos e e ideais principais) como o inteiro positivo M > 0 gerador do ideal Z a Z b, isto , ZaZb = ZM . Alem disso, vimos na demonstraao do teorema que e c o mmc(a, b) no s o menor m ltiplo comum de a e b como tambm divisor a oe u e e de qualquer outro m ltiplo comum de a e b. Podemos, assim, caracterizar o u mmc(a, c) pelas seguintes propriedades: 1. M m ltiplo de a e b. e u 2. Se M um m ltiplo comum de a e b, ento M m ltiplo de M . e u a e u Alguns autores usam a caracterizaao acima como deniao de mmc(a, b). c c Exemplo 20 Sejam a = 6 e b = 9. Temos: Z 6 = { , 6, 0, 6, 12, 18, 24, 30, 36, 42, } Z 9+ = { , 9, 0, 9, 18, 27, 36, 45, 54, } Z 6 Z 9 = { , 18, 0, 18, 36, 54, } = Z 18 . Assim, mmc(6, 9) = 18.

71

CEDERJ

Algebra 1
Atividades

As subestruturas ideais de Z: MDC e MMC

1. Escreva os conjuntos Z 12 e Z 15. Determine que Z 12 Z 15 e verique mmc(12, 15) = 60. 2. Mostre que a divide b implica em mmc(a, b) = b. Relao entre o mdc e o mmc de dois inteiros ca Podemos sempre determinar o mmc de dois inteiros como no exemplo acima: escrevendo vrios elementos dos conjuntos Z a e Z b e determinando a o primeiro elemento da interseao. No entanto, este mtodo computacioc e e nalmente impraticvel para inteiros grandes. a Felizmente, h maneiras muito mais rpidas de determinarmos o mmc a a de dois inteiros. H uma relaao simples entre o mmc e o mdc de dois inteiros, a c que demonstraremos a seguir. Teorema 4 Sejam a e b inteiros positivos. Ento vale que a mmc(a, b). mdc(a, b) = ab Assim, uma vez calculado o mdc(a, b), que pode ser feito pelo Algoritmo de Euclides, a frmula acima fornece facilmente o mmc(a, b). o Retornando ao exemplo anterior, fcil ver que mdc(6, 9) = 3. Ento: e a a mmc(6, 9) = Demonstraao do Teorema. c Sejam a e b inteiros positivos, m = mmc(a, b) e d = mdc(a, b).
Lembre-se que o mmc(a, b) e divisor de qualquer mltiplo u comum de a e b.

54 69 = = 18 mdc(6, 9) 3

Como ab m ltiplo comum de a e b, ento m divide ab. Logo ab um e u a e m ab ab n mero inteiro. Seja g = m . Vamos provar que g = d, isto , m = d, o que u e implica em ab = md. Vamos mostrar que g = mdc(a, b) mostrando que: 1. g divisor comum de a e b. e 2. Se f divisor comum de a e b ento f | g. e a Como vimos, estas duas propriedades demosntram que g = mdc(a, b). Vamos, ento, prov-las. a a

CEDERJ

72

As subestruturas ideais de Z: MDC e MMC

AULA 6

1. De

ab m

= g segue que a m = g b e b m = , g a

o que mostra que

a g

b g

so inteiros, isto , g divisor comum de a e b. a e e

2. Seja f um inteiro tal que f | a e f | b. Vamos mostrar que f | g. Como a b e f so inteiros, ento a a f a|a implica em que
ab f

b f

eb|b

a f

m ltiplo comum de a e b. e u ab . f

Como m = mmc(a, b), ento a m| Mas g =


ab , m

logo m =

ab g

e temos que ab ab | g f

ab ab g = um inteiro . e f g f Portanto f | g, o que completa a demosntraao. c Note que se a e b no forem inteiros positivos ento a igualdade ab = a a mdc(a, b) mmc(a, b0 no mais vlida, uma vez que mdc(a, b) 0 e mmc(a, b) a e a 0, por deniao. No entanto, a igualdade continua vlida para |a| e |b|. c a Um caso particular interessante do Teorema 4 quando mdc(a, b) = 1. e Neste caso, vale que mmc(a, b) = ab . Denio 3 (Inteiros primos entre si) ca Dizemos que dois inteiros a e b so primos entre si, ou que a e b so relativaa a mente primos, quando mdc(a, b) = 1. Atividades 1. Escolha alguns pares de inteiros positivos a e b, calcule mdc(a, b) e mmc(a, b). Verique que mdc(a, b) mmc(a, b) = ab. 2. Mostre que a divide b implica em mmc(a, b) = b. 3. Mostre que se a e b so primos entre si, ento mmc(a, b) = ab. a a

isto e

73

CEDERJ

Algebra 1

As subestruturas ideais de Z: MDC e MMC

Mais trs teoremas sobre o mdc e


Voc ainda tem flego para mais alguns teoremas? Nesta seao, para e o c terminar a aula, provaremos mais trs teoremas muito interessantes sobre o e mdc. Teorema 5 Se d = mdc(a, b) ento mdc a
a b , d d

= 1.

b Demonstraao. Quero provar que a e d no tm divisor comum. Se f > 1 c a e d fosse um divisor comum destes inteiros, ento a

f| o que implica em

a d

e f|

b d

df | a e df | b . Portanto, ter amos que df divisor comum de a e b. Como f > 1 ento e a df > d, o que contraria o fato de que d o maior dividor comum. Assim, e b provamos que no h f > 1 divisor comum de a e d . a a d O prximo teorema uma espcie de rec o e e proca deste ultimo. Teorema 6 Se c > 0, c | a, c | b e mdc
a b , c c

= 1 ento c = mdc(a, b). a

Demonstraao. Sejam a b inteiros positivos e seja d = mdc(a, b). c Como c | a e c | b, ento c um dividor comum de a e b,o que implica a e d em c | d, isto , c um inteiro. e e a db b da = e = cd c cd d b b resulta que d um divisor comum de a e d . Mas a e d so relativamente e a c d d primos por hiptese, seus unicos divisores comuns so 1, assim o a d =1c=d c O prximo teorema nos diz que se um n mero divide o produto de dois o u n meros e relativamente primo com um deles ento divide o outro. u e a De

CEDERJ

74

As subestruturas ideais de Z: MDC e MMC

AULA 6

Teorema 7 Sejam a,b e c inteiros positivos. Se a | bc e mdc(a, b) = 1 ento a | c. a Demonstraao. Como mdc(a, b) = 1 ento m = mmc(a, b) = ab. c a Como a | bc (por hiptese) e b | bc ento bc m ltiplo comum de a e b. o a e u Assim bc m ltiplo de mmc(a, b) = ab, isto e u e ab | bc , o que resulta em a | c.

Resumo
Nesta aula denimos ideal em Z e mostramos que o mdc e mmc de dois inteiros a e b so geradores de certos ideais em Z. O mdc(a, b) gera o ideal a Z a + Z b, enquanto que o mmc(a, b) gera o ideal Z a Z b.

Mostramos que em Z todo ideal principal, o que uma propriedade e e algbrica muito importante dos inteiros. e

demonstramos a relaao entre o mdc(a, b) e o mmc(a, b) para dois inc teiros a e b: mmc(a, b). mdc(a, b) = ab Em particular, para a e b primos entre si, vale que mmc(a, b) = ab .

75

CEDERJ

Algebra 1

As subestruturas ideais de Z: MDC e MMC

Exerc cios
1. Sejam I e J dois dados ideais de Z. Mostre que I J um ideal de Z. e 2. Generalize o exerc anterior mostrando que cio I1 , I2 , , Ik ideais de Z implica I1 I 2 I k = I tambm ideal de Z. e e 3. Generalize o exerc 2 acima mostrando que: se {Ik }kN uma coleao cio e c

de ideais de Z ento I = a
k=0

Ik tambm ideal de Z. e e

4. Demonstre a generalizaao do Teorema 2. Isto , prove que dados c e inteiros no nulos a1 , a2 , , ak e d = mdc(a1 , a2 , , ak ) temos Z a a1 + Z a2 + + Z ak = Z d e existem r1 , r2 , , rk Z tais que d = r 1 a1 + r 2 a2 + r k ak .

CEDERJ

76

You might also like