Você está na página 1de 20

D I S C I P L I N A

lgebra Abstrata

Aplicaes
Autores
Gabriela Lucheze de Oliveira Lopes Jonas Gonalves Lopes

aula

01
Material APROVADO ( (contedo e imagens) g )

Data: ___/___/___

Nome:______________________________________

Governo Federal
Presidente da Repblica Luiz Incio Lula da Silva Ministro da Educao Fernando Haddad Secretrio de Educao a Distncia SEED Carlos Eduardo Bielschowsky

Reitor Jos Ivonildo do Rgo Vice-Reitora ngela Maria Paiva Cruz Secretria de Educao a Distncia Vera Lucia do Amaral

Secretaria de Educao a Distncia- SEDIS


Coordenadora da Produo dos Materiais Marta Maria Castanho Almeida Pernambuco Coordenador de Edio Ary Sergio Braga Olinisky Projeto Grco Ivana Lima Revisores de Estrutura e Linguagem Eugenio Tavares Borges Janio Gustavo Barbosa Thalyta Mabel Nobre Barbosa Revisora das Normas da ABNT Vernica Pinheiro da Silva Revisores de Lngua Portuguesa Flvia Anglica de Amorim Andrade Janaina Tomaz Capistrano Kaline Sampaio de Arajo Samuel Anderson de Oliveira Lima Adaptao para Mdulo Matemtico Joacy Guilherme de A. F. Filho Diagramadores Ivana Lima Johann Jean Evangelista de Melo Jos Antonio Bezerra Junior Mariana Arajo de Brito Vitor Gomes Pimentel Revisoras Tipogrcas Adriana Rodrigues Gomes Margareth Pereira Dias Nouraide Queiroz Arte e Ilustrao Adauto Harley Carolina Costa Heinkel Hugenin Leonardo Feitoza

Diviso de Servios Tcnicos Catalogao da publicao na Fonte. UFRN/Biblioteca Central Zila Mamede

Lopes, Gabriela Lucheze de Oliveira. lgebra abstrata / Gabriela Lucheze de Oliveira Lopes, Jonas Gonalves Lopes. Natal, RN: EDUFRN, 2009. 200 p. 12 v. ISBN 978-85-7273-528-5 Contedo: Aula 01 Aplicaes; Aula 02 O conjunto Z de inteiros; Aula 03 Grupos; Aula 04 Exemplos de grupos; Aula 05 Subgrupos; Aula 06 Classicao de grupos; Aula 07 Anis; Aula 08 Exemplos de anis e corpos; Aula 09 Subanis e ideais; Aula 10 Homoformismos de anis quocientes; Aula 11 Polinmios sobre um corpo K; Aula 12 Razes de um polinmio e mdc de polinmios. 1. Matemtica. 2. Grupos. 3. Classicao de grupos. 4. Anis. I. Lopes, Jonas Gonalves. II. Ttulo. RN/UF/BCZM 2009/47 CDD 510 CDU 51

Todos os direitos reservados. Nenhuma parte deste material pode ser utilizada ou reproduzida sem a autorizao expressa da UFRN - Universidade Federal do Rio Grande do Norte.

VERSO DO PROFESSOR

Apresentao
Certamente, o conceito de funo (tambm chamada de aplicao) j do seu conhecimento desde o ensino mdio. Entretanto, medida que nos aprofundamos em estudos mais avanados, faz-se necessrio um maior rigor matemtico em sua apresentao.

Objetivos
1 2 3 4 5 6
Denir par ordenado. Demonstrar a principal propriedade (igualdade) de pares ordenados.

Denir produto cartesiano.

Denir relao e relao de equivalncia.

Denir aplicao via relao.

Denir operao binria.

Aula 01
Material APROVADO ( (contedo e imagens) g )

lgebra Abstrata

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR

Pares ordenados
Iniciamos denindo par ordenado

Denio
O par ordenado de a e b, com a primeira coordenada a e a segunda coordenada b, o conjunto. (a, b) = {{a}, {a,b}}.

A propriedade fundamental que um par ordenado satisfaz dada no seguinte teorema.

Teorema 1
Se (a, b) e (x, y) so pares ordenados e se (a, b) = (x, y), ento a = x e b = y.

Demonstrao Consideremos dois casos: 1 caso: a = b Ento, (a, b ) = {{a }} um conjunto unitrio. Como ( a, b ) = ( x, y ) , segue que (x, y) = {{x}, {x,y}} = {{a}} tambm um conjunto unitrio; isso implica que x = y. Agora, desde que {x} (a, b) = {{a}}. Logo, conclumos que a, b, x e y so todos iguais. 2 caso: a b Neste caso, note que (a, b) e (x, y) contm exatamente um conjunto unitrio, a saber, {a} e {x}, respectivamente, de modo que {a} = {x}, logo a = x. Conseqentemente, {a, b} = {x, y} e, em particular, b {x, y}. Note agora que b x. De fato, se b = x, teramos por transitividade que a = b, uma contradio. Isso acarreta b = y, e a prova est completa. Lembre-se de que se E um conjunto, ento o conjunto P(E ) denido por

Aula 01

lgebra Abstrata
Material APROVADO ( (contedo e imagens) g )

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR
P (E ) = {X : X E } chamado de conjunto potncia de E ou conjunto das partes de E . Por exemplo, se E = {a,b}, ento P ({a,b}) = {, {a}, {b}, {a,b}}. Observe que E possui dois elementos e P ( E ) possui 22 = 4 elementos.

Atividade 1
Se um conjunto E tem n elementos, prove que P ( E ) possui 2n elementos

Curiosidade o nome conjunto potncia para P (E ) origina-se possivelmente do fato que P (E ) possui 2n elementos, quando E tem n elementos.

sua resposta
Aula 01
Material APROVADO ( (contedo e imagens) g )

lgebra Abstrata

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR

Produtos cartesianos
Se A e B so conjuntos, prova-se em teoria dos conjuntos: existe um nico conjunto, chamado de produto cartesiano de A e B, denotado por A B, que contm todos os pares ordenados (a, b) com a A e b B. A B = {x : x = (a, b) para algum a A e para algum b B}. Tambm se prova, em teoria dos conjuntos, o seguinte fato.

Fato se R um conjunto de pares ordenados, ento existem dois conjuntos A e B tais que R A B. Com efeito, basta tomar A = {a : para algum b tem-se (a, b) R} e B = {b : para algum a tem-se (a, b) R}. Chamamos A e B de projees de R sobre a primeira e a segunda coordenadas, respectivamente.

Relaes

o nosso cotidiano, no bairro em que residimos ou na empresa onde trabalhamos, podemos pensar na relao de amizade. Mais precisamente, podemos considerar pares ordenados (x, y ), em que x amigo(a) de y. Se R a relao de amizade, e (x, y) R, ento podemos dizer que o indivduo x amigo(a) do indivduo y. Estamos prontos para denir uma relao.

Denio
Diz-se que um conjunto R uma relao (binria) se cada elemento de R um par ordenado.

Logo, uma relao R um conjunto de pares ordenados, e pelo fato anterior, R um subconjunto de um produto cartesiano de dois conjuntos A e B. Diz-se que R uma relao de A para B.
4 Aula 01 lgebra Abstrata
Material APROVADO ( (contedo e imagens) g )

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR
Uma relao binria de A para A, ou melhor, uma relao em A um subconjunto de A A. Se (x, y) R, escrevemos x R y ou x y, e dizemos que x est na relao R com y.

Exemplos de relaes
1. 2. 3. 4.
R = X Y (produto cartesiano de dois conjuntos X e Y ). Seja Y um conjunto e considere R = {(x, y) Y Y : x = y} (relao de igualdade em Y). Seja B um conjunto, P(B) o conjunto potncia de B, e considere R = {( x, A ) B P ( B ) : x A} (relao pertence a). Seja o conjunto dos nmeros reais. Considere R = {( x, y ) : y 2 = x }. Note que (4, 2) e (4, 2) so elementos da relao R, de modo que para x = 4 esto associados dois valores de y, 2 e 2. Construindo a tabela a seguir
x 0 1 1 4 4 ... y 0 1 1 2 2 ...

podemos facilmente traar um esboo do grco dessa relao:

Trata-se de uma parbola.

Aula 01
Material APROVADO ( (contedo e imagens) g )

lgebra Abstrata

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR

Domnio e imagem de uma relao


Se R uma relao, ento a projeo de R sobre a primeira coordenada A = {x : para algum y tem-se (x, y) R} = {x : para algum y tem-se x R y} aqui conhecida como domnio de R e indicada por A = domR. Tambm, a projeo de R sobre a segunda coordenada B = {y : para algum x tem-se (x, y) R} = {y : para algum x tem-se x R y} na teoria de relaes recebe o nome de imagem de R, denotada por imR. No Exemplo 1, temos domR = X , imR = Y ; no Exemplo 2, temos domR = imR = Y .

Atividade 2
Para as relaes dadas nos Exemplos 3 e 4, determine domR e imR.

Aula 01

sua resposta
lgebra Abstrata
Material APROVADO ( (contedo e imagens) g )

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR

Relaes de equivalncia
Uma relao R em X reexiva se x x para todo x X; simtrica se x y y x e, nalmente transitiva se x y e y z x z , x, y, z em X. Uma relao R em um conjunto X uma relao de equivalncia se R for reexiva, simtrica e transitiva. Por exemplo, a relao de igualdade em X uma relao de equivalncia. Outro exemplo de relao de equivalncia a relao de isomorsmo de espaos vetoriais estudada em lgebra Linear. A partir de agora, indicaremos uma relao de equivalncia preferencialmente pelo smbolo . Uma relao de equivalncia serve para denir um novo objeto. Com efeito, se x X, considere _ x = {y X : y x}. _ x chamado de classe de equivalncia mdulo determinada pelo elemento x X; agora, x o _ representante da classe de equivalncia x . Todo elemento de X dene uma classe de equivalncia, _ _ _ e se x uma classe de equivalncia, ento cada y x pode ser um representante de x .

Teorema 2
Sejam X e ~ uma relao de equivalncia em X. Sejam x, y X. Ento so equivalentes as seguintes condies: i) x y ; _ _ ii) x representante de y , isto , x y ; _ _ iii) y representante de x , isto , y x ; _ _ iv) x = y ; _ _ v) x y .

Demonstrao Provaremos que i) ii) iii) iv) v) i) i) ii) _ y = {z X : z y } _ Como x y, por hiptese, temos x y . Logo, vale ii). ii) iii)
Aula 01
Material APROVADO ( (contedo e imagens) g )

lgebra Abstrata

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR
_ _ De x y , temos x y. Como simtrica, segue que y x. Isso implica que y x , provando iii). iii) iv) _ _ _ _ _ Devemos provar que x y e y x . Seja z x . Ento, z x. Como por hiptese, _ y x , temos y x. Por simetria, segue que x y. Assim, z x e x y ; por _ _ _ transitividade, obtemos z y, logo z y . Isso prova que x y . Falta provar que _ _ _ _ y x . Seja w y . Ento, w y. Por hiptese, y x , isto , y x. De w y e _ _ _ y x, segue por transitividade que w x, logo w x . Portanto x = y . iv) v) _ _ _ _ _ _ Seja z x . Como x = y , obtemos z y . Logo, x y . v) i) _ _ _ _ _ _ _ Se x y , ento existe z x y . Isso implica que z x e z y . De z x , temos z x, _ e de z y , obtemos z y. Por simetria, x z. Assim, x z e z y. Por transitividade, segue que x y. Isso completa a demonstrao. _ _ Observao note que de v) iv) segue-se: classes distintas, isto , x y implica classes _ _ disjuntas, ou seja, x y = ; tambm, de iv) v), vale que classes disjuntas implicam classes distintas. Logo, podemos dizer: classes distintas so disjuntas.

O Teorema 3 nos d uma pista (ou um caminho) para produzir exemplos de relaes de equivalncia.

Teorema 3
Seja X . Ento, as classes de equivalncia mdulo ~ distintas formam uma decomposio de X como uma reunio de subconjuntos mutuamente disjuntos e no-vazios. Reciprocamente, dada uma decomposio de X como uma reunio de subconjuntos mutuamente disjuntos e no-vazios, ento, pode-se denir uma relao de equivalncia em X tal que esses subconjuntos sejam exatamente as classes de equivalncia distintas.

Aula 01

lgebra Abstrata
Material APROVADO ( (contedo e imagens) g )

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR
_ Demonstrao Por denio, para cada x X, temos x X. Considere
x a reunio
xX _ x , ento y x , x X , pois se y das classes distintas e no-vazias. Note que xX xX para algum x X, logo y X.

_ Agora, se z X, ento z z e da z
xX

x . Portanto,
xX

x = X . Pela observao

anterior, duas classes distintas so disjuntas. Isso prova a primeira parte do Teorema 3.
Ci , onde os Cis so subconjuntos mutuamente Reciprocamente, suponha que X = disjuntos e no-vazios. Dena uma relao em X do seguinte modo: x y em X se x , y pertencem ao mesmo subconjunto Ci .

Armao: uma relao de equivalncia.

1) 2) 3)

Seja x X. Ento, x Ci para algum i . Claramente, temos, x x (propriedade reexiva). Se x y, ento x e y pertencem ao mesmo Ci . Logo, y e x pertencem ao mesmo Ci , ou seja, y x (propriedade simtrica). Se x y e y z, ento x e y pertencem ao mesmo Ci , e y e z pertencem ao mesmo Cj. Como os Cis so disjuntos, segue que Ci = Cj . Assim, x e z pertencem ao mesmo Cj. Isso implica que x z (propriedade transitiva).

Logo, uma relao de equivalncia. Finalmente, note que _ x = {y X : y x} = {y X : y e x pertencem ao mesmo Ci } = C i. Como os Cis so disjuntos, conrma-se a observao anterior de que as classes de equivalncia so distintas. Isso completa a demonstrao.

Aula 01
Material APROVADO ( (contedo e imagens) g )

lgebra Abstrata

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR

Aplicaes
Lembre-se de que uma funo f : A B consta das seguintes partes:

Um conjunto A, chamado o domnio da funo; Um conjunto B, chamado o contradomnio da funo; Uma regra que permite associar a cada elemento x A, um nico elemento f (x) B. O nico elemento f (x) chama-se o valor que a funo assume em x (ou no ponto x).

Notao: x f (x) indica que f faz corresponder a x o valor f ( x ) . Se A o domnio da funo f , A = dom f, ento, a regra fornece f ( x ) para todo x A. O grco de uma funo f : A B o subconjunto Gr ( f ) do produto cartesiano A B formado pelos pares ordenados (x, y) tais que y = f (x). Gr ( f ) = {(x, y ) A B : y = f (x )} Identicando a funo com seu grco, podemos denir uma funo f : A B como sendo uma relao f tal que dom f = A, e se ( x, y ) f e ( x, z ) f , ento y = z.

Notao em vez de ( x, y ) f ou x f y escreve-se y = f ( x ) . Aplicao ou mapping (em ingls) mais um sinnimo para a palavra funo. Nas disciplinas de lgebra Linear, voc j estudou aplicaes injetoras, sobrejetoras e bijetoras, composio de aplicaes e aplicao inversa. Estudaremos nas prximas aulas aplicaes f : G1 G2, em que G1 e G2 so grupos, e aplicaes f : R S, onde R e S so anis.

10

Aula 01

lgebra Abstrata
Material APROVADO ( (contedo e imagens) g )

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR

Operaes binrias
Denio Seja A . Uma aplicao f : A A A (a, b) f ((a, b)) = a b

chamada uma operao binria em A. Note que a b e b a podem ser elementos distintos de A, ou seja, a ordem importante. A operao f chamada comutativa se a b = b a, para todos a , b A. Se S A e se f ( S S ) S , diz-se que S fechado sob (ou com respeito a) f. Note tambm que, sendo f uma aplicao, A fechado sob f. Seguindo a tradio, denotaremos por N, Z, Q, e C, os conjuntos de nmeros naturais, inteiros, racionais, reais e complexos, respectivamente. Enquanto Z + = N, Q+ e + denotam os conjuntos de nmeros inteiros positivos, racionais positivos e reais positivos, respectivamente.

Exemplo 5
Adio, multiplicao e subtrao em Z, Q, e C so operaes binrias.

Exemplo 6
Diviso no uma operao binria em cada conjunto considerado no Exemplo 5.

Atividade 3
Justique a armao feita no Exemplo 6.

Exemplo 7
Olhando Z +, Q + e + como subconjuntos de C , cada um fechado sob adio e multiplicao em C, mas nenhum fechado sob subtrao.

Aula 01
Material APROVADO ( (contedo e imagens) g )

lgebra Abstrata

11

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR

Resumo
Nesta aula, voc estudou que se dois pares ordenados so iguais, ento suas coordenadas correspondentes so iguais. Relembrou a denio de produto cartesiano de dois conjuntos. Estudou tambm que uma relao um conjunto de pares ordenados, enquanto uma aplicao uma relao especial. Finalmente, estudou operao binria em um conjunto no-vazio A como sendo uma aplicao denida no produto cartesiano A A e tomando valores em A.

Autoavaliao
Sejam f ,g : X X aplicaes. Lembrando que o smbolo ou notao g f indica a composta das aplicaes f e g, mostre que so vlidas as seguintes armaes: (i) g f sobrejetora g sobrejetora; (ii) g f injetora f injetora; (iii) se f g = g f = Id (identidade), ento f e g so ambas bijetoras.

Exerccios propostos
1)
Dena uma relao em 2 por ( a,b ) ( c,d ) se a 2 + b 2 = c 2 + d 2 . Mostre que uma relao de equivalncia. Descreva geometricamente as classes de equivalncia. Alm disso, se E o conjunto das classes de equivalncia, mostre que podemos denir uma aplicao bijetora f : E . Sejam X um conjunto no-vazio, uma relao de equivalncia em X, e E o conjunto _ das classes de equivalncia. Mostre que a aplicao g : X E denida por g (x) = x , x X sobrejetora. Verique se g injetora. Seja A . Seja P (A ) {} o conjunto de subconjuntos no-vazios de A. Considere X = A (P (A ) {}). Verique se a relao em X denida por (a1, Y1) (a2, Y2) se (a1, a2) Y1 Y2 uma relao de equivalncia.

2)

3)

12

Aula 01

lgebra Abstrata
Material APROVADO ( (contedo e imagens) g )

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR
4)
Mostre que a composio de aplicaes associativa, isto , se f1 : X1 X2, f2 : X2 X3 ,e f3 : X3 X4 , ento f3 ( f2 f1) = ( f3 f2) f1. Verique se a composio de aplicaes de X em X comutativa, ou seja, se f : X X e g : X X, ento f g = g f. Sejam f e g aplicaes de X em X. Mostre que:

5)

6)

(i) se f e g so ambas sobrejetoras, ento f g e g f tambm so sobrejetoras. (ii) se f e g so ambas injetoras, ento f g e g f tambm so injetoras.

7)

Mostre que a funo f : + x In x (logaritmo natural de x, base e 2,7)

satisfaz f (xy) = f (x) + f (y).

Referncias
GONALVES, A. Introduo lgebra. Rio de Janeiro: LTC, 1979. HALMOS, P. R. Teoria ingnua dos conjuntos. Rio de Janeiro: Cincia Moderna, 2001. LANG, S. Estruturas algbricas. Rio de Janeiro: Livro Tcnico, 1972. LOPES, J. G.; PEREIRA, M. G. lgebra linear I. Natal: Ed. UFRN, 2006. ______. lgebra linear II. Natal: Ed. UFRN, 2007.

Aula 01
Material APROVADO ( (contedo e imagens) g )

lgebra Abstrata

13

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR
Lembrete importante que o aluno no verique as respostas (ou sugestes) dos exerccios propostos antes de resolv-los.

Respostas (ou sugestes) dos exerccios propostos 1) 2)


(c, d) uma circunferncia de raio c2 + d2 . Dena f : E por f c, d = comprimento da circunferncia.

imediato provar que g sobrejetora. Agora, sejam x1, x2 X tais que _ _ g (x1) = g(x2), isto , x 1 = x 2. Ser que x1 = x 2? Pense olhando para o Teorema 2. Sim. Justique. Mostre que ( f3 ( f2 f1))(x) = (( f3 f2) f1)(x) para todo x X1. No. D um contra-exemplo. Seguem-se diretamente das denies. Basta lembrar-se de uma das propriedades da funo logartmica.

3) 4) 5) 6) 7)

Anotaes

14

Aula 01

lgebra Abstrata
Material APROVADO ( (contedo e imagens) g )

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR

Anotaes

Aula 01
Material APROVADO ( (contedo e imagens) g )

lgebra Abstrata

15

Data: ___/___/___ Nome:______________________

VERSO DO PROFESSOR

Anotaes

16

Aula 01

lgebra Abstrata
Material APROVADO ( (contedo e imagens) g )

Data: ___/___/___ Nome:______________________

lgebra Abstrata MATEMTICA

EMENTA

Nmeros inteiros. Relaes. Aplicaes. Operaes. Grupos. Anis e ideais. Anis de polinmios. Teoria de corpos extenses de corpos. Construo dos nmeros reais via sequncias de Cauchy. Apanhado histrico de cada um dos assuntos.

AUTORES > Gabriela Lucheze de Oliveira Lopes > Jonas Gonalves Lopes

AULAS

01 02 03 04 05 06 07 08 09 10 11 12

Aplicaes O conjunto Z de inteiros Grupos Exemplos de grupos Subgrupos Classicao de grupos Anis Exemplos de anis e corpos Subanis e ideais
Impresso por: Grca 2 Semestre de 2009

Homomorsmos de anis e anis quocientes Polinmios sobre um corpo K Razes de um polinmio e mdc de polinmios