Escolar Documentos
Profissional Documentos
Cultura Documentos
Álgebra - Unidade I PDF
Álgebra - Unidade I PDF
Valria de Carvalho, especialista em Matemtica pelo IMECC (Instituto de Matemtica Estatstica e Computao
Cientfica), mestre e doutora em Educao Matemtica pela Faculdade de Educao da Unicamp, professora do
Ensino Superior desde 1988.
Trabalha com temas abrangendo Tecnologias da Informao e da Comunicao (TICs) em projetos de educao
continuada, envolvendo docentes de Matemtica, no LEM (Laboratrio de Ensino de Matemtica IMECC) e na
Faculdade de Educao, ambos na Unicamp, sempre como professora colaboradora.
Rogrio Marques Ribeiro possui graduao em Licenciatura em Matemtica pela Pontifcia Universidade
Catlica de So Paulo (2002), graduao em Administrao com nfase em Finanas pela Universidade Paulista
UNIP (1998) e mestrado em Educao Matemtica pela Pontifcia Universidade Catlica de So Paulo (2005).
membro do colegiado do curso de Matemtica das Faculdades Integradas de Cincias Humanas, Sade e Educao
de Guarulhos e coordenador do curso de Licenciatura em Matemtica. professor concursado do Instituto Federal
de Educao, Cincia e Tecnologia de So Paulo IFSP, membro do colegiado e coordenador do curso de Licenciatura
em Matemtica. professor concursado da Faculdade de Tecnologia de So Paulo FATEC. Tem experincia na rea
de Educao Matemtica, atuando principalmente na formao de professores.
Ranyere Deyler Trindade graduado em Fsica pela Universidade Federal de Gois (UFG), mestre em Fsica pela mesma
instituio e doutorando em Fsica pela Universidade Estadual de Campinas. professor do Ensino Superior desde 2008.
Trabalhou na rea de Fsica Estatstica com nfase em simulao computacional. Ainda com foco em computao, atuou
na rea de Fsica da Matria Condensada e Fsica Aplicada. Foi professor assistido por dois anos e meio pela Unicamp.
Possui publicaes em anais de congressos no Brasil e captulos de livros em nossa lngua, estando sempre
envolvido com trabalhos da rea da Matemtica diretamente ligados fsica.
Dados Internacionais de Catalogao na Publicao (CIP)
CDU 512
Todos os direitos reservados. Nenhuma parte desta obra pode ser reproduzida ou transmitida por qualquer forma e/ou
quaisquer meios (eletrnico, incluindo fotocpia e gravao) ou arquivada em qualquer sistema ou banco de dados sem
permisso escrita da Universidade Paulista.
Prof. Dr. Joo Carlos Di Genio
Reitor
Comisso editorial:
Dra. Anglica L. Carlini (UNIP)
Dr. Cid Santos Gesteira (UFBA)
Dra. Divane Alves da Silva (UNIP)
Dr. Ivan Dias da Motta (CESUMAR)
Dra. Ktia Mosorov Alonso (UFMT)
Dra. Valria de Carvalho (UNIP)
Apoio:
Profa. Cludia Regina Baptista EaD
Profa. Betisa Malaman Comisso de Qualificao e Avaliao de Cursos
Projeto grfico:
Prof. Alexandre Ponzetto
Reviso:
Geraldo Teixeira Jr.
Amanda Casale
Sumrio
lgebra
Apresentao.......................................................................................................................................................7
Introduo............................................................................................................................................................7
Unidade I
1 Conjuntos e relaes binrias...........................................................................................................9
1.1 Noes sobre conjuntos........................................................................................................................9
1.1.1 Conceituando conjuntos.........................................................................................................................9
1.1.2 Representaes e caractersticas de um conjunto..................................................................... 10
1.1.3 Operaes entre conjuntos...................................................................................................................11
1.2 Relaes binrias................................................................................................................................... 15
1.2.1 Relaes binrias entre dois conjuntos.......................................................................................... 16
1.2.2 Domnio e imagem de relaes.......................................................................................................... 17
1.2.3 Representaes de relaes binrias............................................................................................... 19
1.2.4 A inversa de uma relao..................................................................................................................... 20
2 Propriedades das relaes e aplicaes.................................................................................. 27
2.1 Propriedades das relaes.................................................................................................................. 27
2.1.1 Propriedade reflexiva.............................................................................................................................. 27
2.1.2 Propriedade simtrica............................................................................................................................ 28
2.1.3 Propriedade transitiva............................................................................................................................ 29
2.1.4 Propriedade antissimtrica.................................................................................................................. 29
2.2 Relaes e aplicaes.......................................................................................................................... 30
2.2.1 Relao de equivalncia....................................................................................................................... 30
2.2.2 Relao de ordem.................................................................................................................................... 31
2.2.3 Aplicaes................................................................................................................................................... 33
Unidade II
3 Operaes: leis de composio interna..................................................................................... 49
3.1 Propriedades das operaes.............................................................................................................. 50
3.1.1 Propriedade associativa......................................................................................................................... 50
3.1.2 Propriedade comutativa....................................................................................................................... 51
3.1.3 Elemento neutro...................................................................................................................................... 52
3.1.4 Elementos simetrizveis........................................................................................................................ 52
3.1.5 Elementos regulares............................................................................................................................... 53
3.1.6 Propriedade distributiva........................................................................................................................ 54
3.1.7 Tbua de uma operao........................................................................................................................ 55
4 Aplicaes algbricas e conjuntos numricos................................................................... 61
4.1 Algumas aplicaes das estruturas algbricas.......................................................................... 61
4.2 Construo dos conjuntos numricos.......................................................................................... 65
4.2.1 Conjunto dos nmeros naturais........................................................................................................ 65
4.2.2 Conjunto dos nmeros inteiros......................................................................................................... 68
4.2.3 Conjunto dos nmeros complexos................................................................................................... 70
Unidade III
5 Estrutura de grupo................................................................................................................................. 84
5.1 Subgrupo.................................................................................................................................................. 89
5.2 Semigrupo................................................................................................................................................ 90
5.3 Monoide.................................................................................................................................................... 90
6 Anis e Corpos.............................................................................................................................................. 91
6.1 Anel com identidade............................................................................................................................ 92
6.2 Anel comutativo.................................................................................................................................... 92
6.3 Domnio de integridade...................................................................................................................... 92
6.4 Corpo.......................................................................................................................................................... 92
Unidade IV
7 aNIS E CORPOS............................................................................................................................................105
7.1 Anis de nmeros inteiros e anis de polinmios.................................................................105
7.1.1 Congruncia mdulo m em Z...........................................................................................................105
7.1.2 Conjunto Zm das classes de congruncia mdulo m...............................................................105
7.1.3 O anel em Zm............................................................................................................................................106
7.1.4 Anis de polinmios.............................................................................................................................106
7.1.5 Teorema Fundamental da lgebra..................................................................................................107
7.2 Corpos racionais, reais e complexos............................................................................................109
7.2.1 Racionais...................................................................................................................................................109
7.2.2 Reais............................................................................................................................................................109
7.2.3 Complexos................................................................................................................................................ 110
8 Homomorfismo E GRUPOS FINITOS E INFINITOS......................................................................... 110
8.1 Homomorfismo.................................................................................................................................... 110
8.1.1 Homomorfismo de grupos................................................................................................................. 110
8.1.2 Homomorfismo de anis......................................................................................................................111
8.1.3 Tipos de homomorfismos...................................................................................................................113
8.1.4 Corpo ordenado..................................................................................................................................... 120
8.2 Grupos finitos e infintos...................................................................................................................120
8.2.1 Grupo cclico........................................................................................................................................... 124
8.2.2 Conjuntos infinitos............................................................................................................................... 126
Apresentao
Abordaremos neste livrotexto algumas noes de lgebra, como conjuntos, relaes, operaes,
grupos, anis e corpos. Os tpicos, para sua compreenso e assimilao, sero tratados de modo intuitivo.
Essa proposta baseiase em alguns estudos desenvolvidos na Educao Matemtica que evidenciam, nos
diversos nveis de ensino, as dificuldades apresentadas pelos estudantes em relao ao formalismo e ao
rigor matemtico.
Sendo assim, optamos por fazer uma abordagem menos rigorosa sobre o assunto, ressaltando,
contudo, que o rigor e o formalismo so essenciais para a Matemtica e que estes devem ser explorados
no aprofundamento dos temas aqui tratados.
A organizao deste material foi inspirada nos livros e textos constantes da referncia bibliogrfica.
Nessas obras, que so um bom complemento ao curso, o estudante encontrar muitos exemplos e
tambm todas as demonstraes necessrias para o aprofundamento no assunto.
Sugerimos que os estudantes utilizem pelo menos um dos livros indicados como referncia e que
busquem exemplos adicionais e exerccios complementares. importante ressaltar que o estudo ou a
leitura de qualquer tipo de material que aborde conceitos, contedos, noes ou ideias relacionadas
Matemtica deve ser feito com lpis e borracha, pois estes so instrumentos essenciais para a
aprendizagem dessa cincia.
O contedo deste livrotexto est dividido em quatro unidades, com o intuito de melhor organizao:
na unidade I so abordadas as noes elementares de conjuntos e as relaes, suas propriedades e suas
aplicaes; na unidade II discutemse as operaes e suas propriedades e a construo dos conjuntos
numricos; na unidade III estudaremos as estruturas algbricas de grupo, anis e corpos e, por fim, na
unidade IV, estudaremos algumas aplicaes de anis e corpos.
Desejamos ao estudante um bom curso desta disciplina, ressaltando que a persistncia, a motivao
e o empenho sero fundamentais para o seu sucesso.
Introduo
Iniciaremos agora um estudo introdutrio sobre as estruturas algbricas, em que devemos observar,
com ateno, os conjuntos e as operaes envolvidas. Alm disso, interessamnos saber quais so as
propriedades a que esses conjuntos, munidos de determinadas operaes, satisfazem; de acordo com
estas, os classificaremos como grupos, anis e corpos.
Estudaremos como os objetos matemticos se relacionam, quais operaes envolvem e em que ordem
podemos resolvlas. Em outras palavras, no nos interessa a natureza desses objetos matemticos e os
significados filosficos que lhes so atribudos, mas sim a relao que existe entre eles.
Uma estrutura algbrica um conjunto munido de uma ou mais operaes narias ou que apresenta
alguma relao entre seus elementos. Temos como exemplos de estruturas algbricas: os grupos, anis,
7
Unidade I
anis de diviso, domnios de integridade e corpos. Uma estrutura algbrica exemplo do conjunto dos
nmeros naturais munido da relao de ordem estrita (isto , maior que).
Podemos dizer que conferiremos uma estrutura algbrica a um determinado conjunto A quando
ele estiver munido de uma ou mais operaes. Essa estrutura algbrica ser denominada segundo as
propriedades dessas operaes em A.
8
lgebra
Unidade I
1 Conjuntos e relaes binrias
Iniciaremos, neste texto, uma breve abordagem a respeito das noes mais elementares sobre os
conjuntos e ressaltamos que um maior aprofundamento sobre o assunto pode ser contemplado com a
leitura do livro Teoria ingnua dos conjuntos, do matemtico Paul Halmos, uma referencia clssica sobre
o tema.
A teoria dos conjuntos foi sistematizada relativamente tarde, tendo sua base organizada,
principalmente, pelo matemtico George Cantor. Esta teoria no algo to simples e natural, pois
envolve, muitas vezes, questes complexas, como a teoria dos nmeros transfinitos. Sendo assim, nos
restringiremos a fazer uma breve retomada sobre as noes bsicas dos conjuntos, em especial aquelas
que sero necessrias para um curso introdutrio das estruturas algbricas (um dos objetivos deste
livro-texto).
Podemos citar vrios exemplos de conjuntos, como o conjunto de cadeiras de uma loja especifica, ou
dos jogadores de um time de futebol. Entretanto, o que interessa para os nossos estudos nesse mdulo
so os conjuntos numricos e, em geral, sero esses o nosso objeto de estudo.
Utilizaremos aqui a notao usual para conjuntos e para seus elementos, ou seja, letras maisculas
para simbolizar conjuntos e minsculas para simbolizar seus elementos (as excees sero explicitadas).
Denotaremos ainda o conjunto vazio, ou seja, o conjunto desprovido de elementos com o smbolo .
Sempre que um elemento x pertencer a um conjunto A denotaremos esse fato simbolicamente com
x A (leia-se x pertence a A); caso contrrio, denotaremos que x A (leia-se x no pertence a A).
9
Unidade I
A = {0, 1; 0, 2; 0, 3; 0, 4; 0, 5};
B = {0, 2, 3, 4, 5, 6, 7, 8, 9, 10}.
Conjuntos finitos e com poucos elementos podem ser representados por meio de diagramas, como
segue:
A B
a b 1 2
1 4
c d 3 6
e h 7 8
f g
7 8
Figura 1
Neste livro-texto, estaremos mais interessados nos conjuntos numricos mais conhecidos e, para
representar esses conjuntos, usaremos as seguintes nomenclaturas:
Pode-se ainda representar um conjunto por uma caracterstica comum a todos os seus elementos,
vejamos alguns exemplos:
10
lgebra
1.1.2.1 Igualdade
A = B (x)(x A x B)
Um conjunto A um subconjunto de B (est contido em) se, e somente se, todo elemento x
pertencente a A tambm pertencer a B. Simbolicamente, temos:
A B (x)(x A x B)
Observao
B
A
Figura 2
11
Unidade I
a) A B = {1, 2, 3, 4}. Observe que esse conjunto formado pelos elementos comuns aos dois
conjuntos.
b) A B = {-1, 0, 1, 2, 3, 4, 5, 6}. Observe que esse conjunto formado pelos elementos que
pertencem ao conjunto A ou ao conjunto B.
Vejamos algumas propriedades da interseco entre conjuntos: Os fatos anteriores nos dizem que a
interseco B um subconjunto de A e de B, ou seja:
ABA
ABB
1. comutativa: A B = B A;
2. elemento neutro: o conjunto universo U o elemento neutro da interseco de conjuntos:
A U = A;
3. associativa: A (B C) = (A B) C.
Observao
AABeBAB
12
lgebra
1. comutativa: A U B = B U A;
2. elemento neutro: U A = A U = A. O conjunto o elemento neutro da unio de conjuntos;
3. associativa: (A U B) U C = A U (B U C).
1. A (A B) = A
2. A (A B) = A
3. A (B C) = (A B) (A C)
4. A (B C) = (A B) (A C)
Vamos apresentar esse conceito considerando A e B dois conjuntos quaisquer. A diferena entre A
e B o conjunto dos elementos de A que no pertencem a B. Simbolicamente, podemos representar a
diferena de A por B da seguinte forma:
A - B = {X U | X A e X B}.
A B
A-B AB
Figura 3
1.1.3.4 Complementar de B em A
CBA = A = A B .
13
Unidade I
Observe que, no exemplo, a condio para que o complementar de B em relao a A esteja definido
cumprida, isto , B contido em A.
1. CBA B = e CBA B = A
2. C AA = e C
A =A
CB
3. C AA = B
4. C(ABC ) = CBA CCA
5. C(ABC ) = CBA CCA
Saiba mais
14
lgebra
Inicialmente, vamos definir produto cartesiano como uma combinao especfica entre dois
conjuntos. Sendo assim:
A X B = {(x, y)| x A e y B}
Em outras palavras, o produto cartesiano de A por B ser um conjunto formado por todos os pares
ordenados que satisfaam condio de que o primeiro elemento x pertena ao conjunto A, e de que
o segundo elemento y pertena ao conjunto B. Cada par ordenado que satisfaa definio anterior
um elemento do conjunto A X B. Vejamos alguns exemplos:
Observe que A X B B X A. importante verificar tambm que os pares ordenados (3, 1) e (1, 3) so
distintos, ou seja, (3, 1) (1, 3). Esse fato pode ser facilmente verificado em um plano cartesiano.
Abordaremos mais adiante as representaes de pontos no plano cartesiano, mas, em geral,
sempre que tivermos x y, temos tambm (x, y) (y, x).
15
Unidade I
Apesar de utilizarmos apenas conjuntos finitos nos exemplos anteriores, com o intuito de facilitar
a compreenso do produto cartesiano entre dois conjuntos, podemos tambm realizar o produto
cartesiano entre conjuntos infinitos, sem que haja modificaes na definio e nem mesmo nas
notaes, pois essas incluem qualquer tipo de conjuntos, finitos ou infinitos. Desta forma, o
produto cartesiano dos nmeros naturais ser representado por N X N, ou N2. Analogamente, o
produto cartesiano dos nmeros reais ser representado por X ou 2.
Da definio de relao binria, podemos concluir imediatamente que toda relao um conjunto
de pares ordenados (com exceo do conjunto vazio, que tambm uma relao, pois qualquer conjunto
contm o conjunto vazio; logo, esse tambm uma relao).
Para indicar que um determinado par ordenado (x, y) pertence a uma relao, eventualmente
utilizaremos a notao xRy, que pode ser interpretada como x est relacionado com y considerando-se
a relao R. Analogamente, para indicar que o par ordenado (x, y) no pertence a determinada relao,
que pode ser interpretada como x no est relacionado com
eventualmente utilizaremos a notao xRy,
y considerando-se a relao R.
Para simplificar ainda mais as ideias aqui discutidas, podemos classificar o conjunto A como conjunto
de partida e o conjunto B como conjunto de chegada. Vejamos, a seguir, alguns exemplos:
A X B = {(a, d), (a, e), (a, f), (b, d), (b, e), (b, f), (c, d), (c, e), (c, f)}
16
lgebra
R4 = {(a, d), (a, e), (a, f), (b, d), (b, e), (b, f), (c, d), (c, e), (c, f)}
R5 =
Observe que R formado apenas pelos pares ordenados que satisfazem condio y = x + 1.
Observe que, neste caso R, formado apenas pelos pares ordenados que satisfazem condio
y = x 2.
Vamos agora definir dois aspectos fundamentais do estudo das relaes que so o domnio e a
imagem de relaes. importante observar que essas definies caracterizam a ideia que os estudantes
j tm sobre esse conceito, e o que estamos propondo aqui um estudo mais sistemtico das relaes,
buscando uma compreenso mais aprofundada, com nfase nas definies. Isso no que dizer que o
estudante no deva recorrer s suas concepes prvias de domnio e imagem, e sim que se apoiem
em tais concepes, visto que o estudo de relaes, assim como o de domnio e imagem, inicia-se no
Ensino Fundamental e permeia todo o Ensino Mdio com as funes, que so, em ltima anlise, casos
particulares de relaes atendendo a algumas especificidades.
Para definir domnio e imagem, iremos partir do pressuposto de que R uma relao de A em B.
D(R) = {x A | y B : xRy}.
Im(R) = {y B | x A : xRy}.
17
Unidade I
Buscando maior objetividade, podemos afirmar que o domnio de R ser formado pelos primeiros
termos dos pares ordenados que constituem R e que a imagem de R ser formada pelos segundos
termos dos pares ordenados de R. Vejamos alguns exemplos:
1. Sendo A = {a, b, c} e B = {d, e, f} e R = {(a, d), (a, e), (a, f), (b, d), (b, e)} uma relao de A em B,
temos, ento, que o domnio de R o conjunto:
D(R) = {a, b}
Im (R) = {d, e, f}
Observao
4. Sendo A = {a, b, c} e B = {d, e, f} e a relao R = {(a, d), (a, e), (a, f), (b, d), (b, e), (b, f), (c, d), (c, e), (c, f)},
temos o domnio de R idntico ao conjunto A, ou seja, D(R) = A, e a imagem de R igual ao
conjunto B, isto , Im (R) = B.
Saiba mais
18
lgebra
Discutiremos agora duas formas de representar relaes binrias, quais sejam: grfico
cartesiano e esquema de flechas. Em geral, abordaremos as relaes entre conjuntos numricos
onde cada par ordenado ser representado por um ponto no plano. O grfico da relao
o conjunto de pontos de um plano dotado de um sistema de coordenadas cartesianas, cujas
abscissas so os primeiros termos e as ordenadas os segundos termos dos pares que constituem
a relao.
Sempre que os conjuntos de A e B forem conjuntos finitos, com poucos elementos, podemos
representar uma relao R de A em B utilizando diagramas, como segue: representamos A (conjunto
de sada) e B (conjunto de chegada) por meio de diagramas, em seguida indicamos cada par ordenado
(x, y) da relao R com uma flecha, sendo a origem x e a extremidade y.
Exemplos
A B
1 2
4
2
6
3 8
4 10
12
Figura 4
19
Unidade I
x
0 1 2 3 4
Figura 5
Figura 6
Observe que a imagem de R passa a ser o domnio de R-1, e que o domnio de R passa a ser a imagem
de R-1. Vejamos alguns exemplos:
1. Sendo A = {1, 2, 3}, B = {4, 5, 6} e R ={(1, 4), (2, 5), (3, 6)}, temos ento que o domnio de R
o conjunto: D(R) = {1, 2, 3}. Enquanto a imagem de R o conjunto: Im (R) = {4, 5, 6}. Vejamos
20
lgebra
agora a inversa de R: R-1 = {(4, 1), (5, 2), (6, 3)}, o domnio de R-1 D(R-1) = {4, 5, 6}, enquanto a
imagem de R-1 Im(R-1) = {1, 2, 3}.
Enumerando os elementos de R, temos: R = {(1, 2), (2, 4), (3, 6), (4, 8)}, o D(R) = {1, 2, 3, 4} e a
Im (R) = {2, 4, 6, 8}. A inversa de R R-1={(y, x) B X A | x = 2y}. Enumerando os elementos de
R-1 temos: R-1 = {(2, 1), (4, 2), (6, 3), (8, 4)}. O domino de R-1 = {2, 4, 6, 8}, enquanto sua imagem
R-1 = {1, 2, 3, 4}. Vejamos a representao de R-1 por meio de diagramas:
A B
R -1
1 2
4
2
6
3 8
4 10
12
Figura 7
Observao
3. Seja R = {(x, y) x | y = 2x}, temos como a inversa de R a relao R-1 = {(y, x) x| x = 2y}.
Observe a representao grfica de R e R-1 em um mesmo plano cartesiano:
y R
6 x=y
2 R-1
x
0
Figura 8
21
Unidade I
Observao
Exemplo de aplicao
1. Dados os conjuntos A = {1, 3, 5, 7}, B = {1, 2, 3, 4} e C = {2, 3}, determine o conjunto (A B) (A C):
Resoluo:
Calculando inicialmente A B, temos A B = {1, 3}, depois devemos calcular A C = {3}, agora
fazendo a unio dos dois conjuntos temos (A B) (A C) = {1, 3} {3} = {1, 3}.
Resoluo:
BxA
Resoluo:
U A
1 2 B
4 3
5
6
10 7
8
9
11 12
Figura 9
22
lgebra
a) CUB = {1, 4}
b) CUA = {2, 3, 6, 7}
c) A B = {1, 4, 5, 8}
d) B A = {2, 3, 6, 7}
e) A B = U
Resoluo:
a alternativa a) est errada, pois, como CUB = U - B, temos que CUB = {1, 4, 9, 10, 11, 12}.
a alternativa b) est errada, pois, como CUA = U - A, temos que CUA = {2, 3, 6, 7, 9, 10, 11, 12}.
a alternativa c) est errada, pois A B = {1, 4}.
a alternativa d) est correta, pois (B A) o conjunto dos elementos que esto em B e no esto
em A, isto B A = {2, 3, 6, 7}.
a alternativa e) est errada, pois A B = {1, 4, 5, 8} {2, 3, 5, 6 , 7, 8}, logo A B = {1, 2, 3,
4, 5, 6, 7, 8} que diferente de U, pois faltam os elementos 9, 10, 11, 12.
a) CAB = {0, 4, 5, 6}
b) CAB = {4, 5, 6}
c) CAB = {0, 2, 5, 6}
d) CAB = {1, 4, 5, 6}
e) CAB = {0, 2, 6}
Resoluo:
Como CAB = A - B, sabendo que A = {1, 2, 3, 4, 5, 6} e B = {0, 1, 2, 3}, temos que CAB = {4, 5, 6}.
Deixamos sob sua responsabilidade, verificar por que as demais alternativas so falsas.
23
Unidade I
A B
1 2
5
3
4 10
6
7 9 C
8
Figura 10
a) A B = {3, 4}
b) B C = {3}
c) A - (B C) - {1, 2, 6}
d) n(C) = 4
e) A B = {1, 2, 3, 4, 5}
Resoluo:
7. Em um grupo, h n pessoas. Sabemos que 24 delas falam s ingls, 11 falam ingls e francs,
34 no falam francs, e 42 falam ingls ou francs. Determine o valor de n.
Resoluo:
24
lgebra
Resumindo:
Logo, temos:
24 + 7 + 11 + 10 = 52 pessoas
a) D(R) = A
b) D(R-1) = B
c) Im (R) = B
d) Im (R-1) = A
e) D(R-1) = {a, c, d}
Resoluo:
Observando os pares ordenados de R, temos que D(R) = {0, 1, 2} e Im (R) = {a, c, d}.
Assim, R-1 B x A e R-1 = {(a, 0), (c, 1), (d, 2)}, D(R-1) = {a, c, d} e Im (R-1) = {0, 1, 2}. Deste modo, a
alternativa correta a e).
Deixamos sob sua responsabilidade verificar por que as demais alternativas so falsas.
25
Unidade I
Resoluo:
No produto cartesiano A x B, devemos procurar os elementos que satisfazem condio dada, isto
, y = x2 + 1.
Fazendo as contas, temos ento que os nicos pares que satisfazem condio so (0, 1) e (1, 2).
Logo, a alternativa correta a c).
10. Considere os conjuntos A = {a, b, c, d}, B = {a, b, c, e, f} e C = {b, g}, a alternativa verdadeira
para o conjunto (A B) C :
a) (A B) C = {b}
b) (A B) C = {b, g}
c) (A B) C = {b, d, g}
d) (A B) C =
e) (A B) C = {g}
Resoluo:
Primeiramente, fazemos A B, sendo que A B = {d}. Na sequncia, fazemos a unio desse conjunto
com o conjunto C e temos (A B) C = {d} {b, g}, assim:
(A B) C = {b, d, g}.
26
lgebra
Saiba mais
Dizemos que uma relao R sobre um determinado conjunto A reflexiva quando est
satisfeita a seguinte condio: ( x) (x A xRx), ou seja, a relao reflexiva somente
se todo elemento de A se relaciona consigo mesmo. Vejamos a seguir alguns exemplos e um
contraexemplo.
Exemplo 1
Considere o conjunto A = {a, b, c} e a R = {(a, a), (b, b), (c, c), (a, c)} sobre A. R uma
relao reflexiva, pois todo elemento pertencente a A relaciona-se consigo, isto , temos aRa,
bRb, e cRc.
27
Unidade I
Exemplo 2
Considere o conjunto A formado por todas as retas de um plano e a relao de paralelismo definida
sobre A, ou seja, sRt s // t. R uma relao reflexiva, pois toda reta pertencente ao plano paralela a
si prpria, isto , para toda reta s temos s // s.
Contraexemplo
Consideremos novamente o conjunto A = {a, b, c}, s que agora devemos analisar a seguinte
relao R = {(a, a), (b, b), (a, c), (c, a), (b, c), (c, b)} sobre A. A relao R no goza da propriedade
reflexiva, pois no temos todos os elementos de A relacionados consigo segundo a relao R.
Em outras palavras, R no reflexiva, pois c pertence a A, no entanto o par ordenado (c, c) no
pertence relao, simbolicamente, cRc.
Uma relao R sobre um determinado conjunto A goza da propriedade simtrica quando a seguinte
condio satisfeita: a relao R simtrica quando, estando a relacionado com b, tivermos tambm b
relacionado com a. Simbolicamente, temos:
( a, b A) (aRb bRa)
Exemplo 1
Considere o conjunto A = {a, b, c} e a R = {(a, a), (b, b), (c, a), (a, c)} sobre A. R uma relao
simtrica, pois estando c relacionado com a temos tambm a relacionado com c, ou seja, se cRa,
ento aRc.
Exemplo 2
Contraexemplo
Considere o conjunto A = {a, b, c} e a R ={(a, a), (b, b), (c, a), (c, c)} sobre A. R no uma relao
simtrica, pois temos c relacionado com a, mas no temos a relacionado com c, ou seja, se cRa, mas aRc,
em outras palavras, o par ordenado (a, c) no pertence relao R.
28
lgebra
Exemplo 1
Considere o conjunto A = {a, b, c} e a R = {(a, a), (b, b), (c, c), (a, c), (a, b), (b, c)} sobre A. R uma
relao transitiva, pois a est relacionado com b e b est relacionado com c, ento a est relacionado
com c, ou seja, temos: aRb, bRc, e aRc.
Exemplo 2
Considere o conjunto N dos nmeros naturais e a relao R de divisibilidade definida sobre N. R goza
da propriedade transitiva, pois se a divide b, e b divide c, implica que a divide c, ou seja, simbolicamente,
ab e bc, ento ac. Logo, aRb, bRc, e aRc.
Contraexemplo
Considere o conjunto A = {a, b, c} e a R = {(a, a), (b, b), (c, c), (a, b), (b, c)} sobre A. R no
uma relao transitiva, pois a est relacionado com b e b est relacionado com c, mas no temos a
relacionado com c, ou seja: aRb, bRc, mas a Rc. Em outras palavras, o par ordenado (a, c) no pertence
relao R, simbolicamente, (a, c) R.
Dizemos que uma relao R sobre um determinado conjunto A antissimtrica quando est satisfeita
a seguinte condio: se a relaciona-se com b, e b relaciona-se com a, ento a igual a b. Simbolicamente,
temos: ( a, b A) (aRb e bRa a = b). Vejamos alguns exemplos e um contraexemplo.
Exemplo 1
Considere o conjunto A = {a, b, c} e a R = {(a, a), (b, b), (c, a), (c, c)} sobre A. R uma
relao antissimtrica, pois temos c relacionado com a, mas no temos a relacionado com c.
Em outras palavras, o par ordenado (a, c) no pertence
Simbolicamente, temos: cRa, mas aRc.
relao R, isto , (a, c) R.
Exemplo 2
Contraexemplo
Considere o conjunto A = {a, b, c} e a R = {(a, a), (b, b), (c, c), (a, b), (b, a)} sobre A. R no uma relao
antissimtrica, pois a est relacionado com b e b est relacionado com a, mas a no necessariamente
igual a b. Simbolicamente, temos: aRb e bRa, com a b.
Consideremos um conjunto A no vazio e uma determinada relao R sobre esse conjunto. Diremos que R
uma relao de equivalncia sobre A se, e somente se, R gozar das propriedades reflexiva, simtrica e transitiva.
Simbolicamente, podemos dizer que R uma relao de equivalncia sobre A, se satisfizer s seguintes condies:
I. ( a) (a A aRa)
II. ( a, b A) (aRb bRa)
III. ( a, b, c A) (aRb e bRc aRc)
Exemplo 1
Considere o conjunto:
A = {a, b, c} e a R = {(a, a), (b, b), (c, c), (a, c), (c, a), (a , b), (b, a), (b, c), (c, b)} sobre A.
R uma relao de equivalncia sobre A, pois R goza das propriedades reflexiva, simtrica e transitiva.
Exemplo 2
Considere o conjunto A formado por todas as retas de um plano e a relao de paralelismo definida
sobre A, ou seja, sRt s // t. R uma relao de equivalncia sobre A, pois satisfaz propriedade
reflexiva, j que toda reta paralela a si prpria, temos ento s//s. Satisfaz, tambm, propriedade
simtrica, pois se a reta s paralela reta t, ento a reta t tambm paralela reta s, temos ento s // t
e t // s. E satisfaz, por fim, propriedade transitiva, j que se s // t e t // r, ento s // r.
Contraexemplo
Considerando um conjunto A no vazio e uma relao R sobre esse conjunto. Se R uma relao
de equivalncia sobre A e dado um elemento a pertencente ao conjunto A, chamaremos de classe de
equivalncia determinada pelo elemento a, mdulo R, o subconjunto de a do conjunto A, constitudo
pelos elementos de x, de tal forma que xRa. Simbolicamente, temos: a = (x AxRa).
Um conjunto que seja formado pelas classes de equivalncia mdulo R ser representado por A/R, e
chamaremo-lo de conjunto-quociente de A por R.
Consideremos um conjunto A no vazio e uma determinada relao R sobre esse conjunto. Diremos
que R uma relao de ordem parcial sobre A se, e somente se, R gozar das propriedades reflexiva,
antissimtrica e transitiva. Simbolicamente, podemos dizer que R uma relao de ordem parcial
sobre A se satisfizer s seguintes condies:
I. ( a) (a A aRa)
II. ( a, b A) (aRb e bRa a = b)
III. ( a, b, c A) (aRb e bRc aRc)
Sempre que ocorrer aRb ou bRa para a, b A segundo R (neste caso, R uma relao de ordem
parcial sobre A), diremos que a e b so comparveis mediante R.
Exemplo 1
Considere o conjunto A = {a, b, c} e a R = {(a, a), (b, b), (c, c), (a, b), (b, c), (a , c)} sobre A. R uma
relao de ordem total sobre A, pois goza das propriedades reflexiva, antissimtrica e transitiva, desta
forma define ordem parcial, alm disso, quaisquer elementos de A so comparveis mediante R, logo
R uma relao de ordem total; podemos afirmar tambm que A totalmente ordenado segundo R.
Simbolicamente, temos:
31
Unidade I
I. ( a) (a A aRa)
II. ( a, b A) (aRb e bRa a = b)
III. ( a, b, c A) (aRb e bRc aRc)
IV. ( a, b) (a, b A aRb ou bRa)
Exemplo 2
Considere o conjunto dos nmeros reais e a relao (menor ou igual) usual definida em . A relao
goza da propriedade reflexiva, da antissimtrica e da transitiva, alm disso, quaisquer elementos de so
comparveis segundo essa relao, portanto trata-se de uma relao de ordem total; consequentemente,
podemos afirmar que totalmente ordenado pela relao (menor ou igual). Simbolicamente, temos:
I. ( a) (a a a)
II. ( a, b ) (a b e b a a = b)
III. ( a, b, c ) (a b e b c a c)
IV. ( a, b) (a, b a b ou b a)
Exemplo 3
R = {(a, a), (b, b), (c, c), (a, b), (a, c), (b, c)} sobre A. R uma relao de ordem parcial sobre A,
pois goza das propriedades reflexiva, antissimtrica e transitiva; desta forma, define ordem parcial,
mas nem todos os elementos pertencentes ao conjunto A so comparveis segundo R, no caso os
pares ordenados (a, c) e (c, a) no pertencem relao R, ou seja, no so comparveis segundo R.
Simbolicamente, temos:
I. ( a) (a A aRa)
II. (( a, b A) (aRb e bRa a = b)
III. (( a, b, c A) (aRb e bRc aRc)
Contraexemplo
Considere o conjunto A = {a, b, c} e a R = {(a, a), (b, b), (c, c), (a, b), (b, a)} sobre A. R no uma
relao de ordem sobre A, pois a est relacionado com b, e b est relacionado com a, mas a no
necessariamente igual a b, ou seja, no satisfaz propriedade antissimtrica, portanto no define ordem
parcial e nem ordem total, visto que a segunda pressupe a primeira.
Como acabamos de ver, se uma ordem R, sobre um determinado conjunto A, verificar a seguinte
condio de que quaisquer que sejam a e b pertencentes a A, ou simbolicamente ( a, b A) (aRb ou
32
lgebra
bRa), diremos que R uma ordem total sobre A ou que A um conjunto totalmente ordenado pela
ordem R. Na verdade, uma estrutura ordenada nada mais do que um par ordenado (A, R), em que A
um determinado conjunto, e R uma relao de ordem sobre esse conjunto.
No caso de analisarmos um conjunto finito e com poucos elementos, podemos utilizar tambm
a seguinte representao grfica, procedendo da seguinte forma: liga-se um elemento a com um
elemento b por um trao ascendente se, e somente se, aRb. Nesta representao, ficam implcitas as
propriedades reflexiva (no se desenha um lao em torno de cada elemento de A) e a transitiva (se existe
um trao ascendente que liga a com b e um outro que liga b com c, fica subentendido que existe um
trao ascendente ligando a com c). Observe o exemplo a seguir:
12
6
3
4
2
1
Figura 11
A = {1, 2, 3, 4, 6, 12}; aRb a | b (a divide b). Verifica-se facilmente que R uma relao de ordem
parcial, mas no total, j que, por exemplo, os pares ordenados (2, 3) e (3, 2) no pertencem relao R,
visto que 2 no divide 3 e 3 no divide 2.
2.2.3 Aplicaes
Estudaremos, agora, alguns casos especficos de relaes. Nosso interesse nessas relaes justifica-
se pelas suas utilidades em diversas reas do conhecimento, sendo fundamental para a elaborao
de modelos em situaes prticas e em situaes internas Matemtica. Estamos nos referindo s
aplicaes. Logo, o estudante perceber que no se trata de um objeto matemtico novo, mas sim um
conceito j conhecido e estudado. Esse estudo normalmente inicia-se no final do Ensino Fundamental e
segue permeando todo o Ensino Mdio e grande parte do Ensino Superior. Trata-se das funes.
I. D(f) = A
II. Dado a D(f), nico o elemento b B de modo que (a, b) f
33
Unidade I
Sempre que f for uma aplicao de A em B, denotaremos b = f(a) (l-se: b a imagem de a pela f)
para significar que (a, b) f. f: A B ser a maneira simblica de dizermos que f uma aplicao
de A em B. Evidentemente, o conjunto A o domnio de f, enquanto o conjunto B ser chamado de
contradomnio de f.
Observao
Exemplo 1
Exemplo 2
Observe as relaes representadas a seguir por meio de seus grficos. Vamos analisar as relaes R1,
R2 e R3, somente por meio de seus grficos e decidir quais so aplicaes de em .
34
lgebra
R1 R2 R3
y y y
x
x
x
Figura 12
Aps observar os grficos, podemos concluir facilmente que R1 e R3 so aplicaes, pois satisfazem
s duas condies da definio de aplicao enunciada anteriormente, e seus grficos representam
casos especficos das to conhecidas funes lineares e funes quadrticas, respectivamente. J a
relao R2 no uma aplicao de em , pois no satisfaz a nenhuma das condies impostas na
definio de aplicao, pois, em primeiro lugar, o D(R2) (e isso j suficiente para justificar a nossa
concluso); alm disso, cada elemento a D(R2) tem duas imagens correspondentes, sendo assim, no
satisfaz segunda condio da definio de aplicao.
Observao
Devemos observar que toda aplicao uma relao, mas que a
recproca no verdadeira, j que nem sempre uma relao uma
aplicao. Podemos nos apoiar nas definies ou nos exemplos anteriores
para verificar tal afirmao.
Aplicao injetora
Outra forma equivalente de fazer essa mesma afirmao e definir quando uma funo injetora a
seguinte: se dois elementos pertencentes ao domnio tm a mesma imagem, ento esses elementos so
iguais. Simbolicamente, temos:
Com base na definio anterior de aplicao injetora, podemos afirmar ainda que uma
aplicao no injetora quando existirem dois elementos distintos em A com imagens iguais.
Simbolicamente:
Aplicao sobrejetora
Consideremos uma aplicao f: A B. Dizemos que f uma aplicao sobrejetora quando qualquer
elemento de B imagem de algum elemento do domnio A, ou seja, no h elementos no conjunto B
sem correspondente em A. Simbolicamente, temos:
( y) (y B x A | y = f(x))
Com base na definio de aplicao sobrejetora, podemos afirmar que uma aplicao no
sobrejetora quando existe algum elemento y pertencente ao contradomnio B de f que no imagem
de nenhum elemento x pertencente ao domnio de f. Simbolicamente, temos:
( y) (y B e no existe x A | y = f (x))
Aplicao bijetora
Exemplo 1
Exemplo 2
36
lgebra
Exemplo 3
Considere a aplicao f: dada pela lei f(x) = 3x +1. Essa aplicao injetora e sobrejetora,
portanto bijetora. Observe as justificativas que seguem:
Exemplo 4
y
y f2
f1
Figura 13
Como podemos observar, f1 uma aplicao bijetora, pois f1 injetora, visto que
( x1, x2 A) (x1 x2 f (x1) f (x2)) e sobrejetora j que Im (f1) = CD (f1).
Analisando a representao grfica da aplicao f2, podemos concluir que no injetora, visto
que podemos ter (x1 x2 f (x1) = f (x2)), ou seja, elementos distintos no domnio com imagens
iguais, j que essa a representao grfica de uma parbola. Alm disso, f2 no sobrejetora j
que a Im (f2) CD (f2), ou seja, a Im (f2) = +, enquanto que o CD (f2) = .
Observao
Vimos anteriormente que a relao R-1 a inversa de uma relao R. Parece-nos plausvel ento
questionar se toda aplicao tem como inversa uma aplicao, ou seja, se considerarmos uma aplicao
f de A em B, ento sua inversa f-1, sempre ser uma aplicao da B em A? Antes de responder a essa
questo, vamos observar o prximo exemplo.
37
Unidade I
Exemplo
Consideremos os conjuntos A = {a, b, c}, B = {d, e} e a relao R = {(a, d), (b, d), (c, d)} de A em B.
A relao inversa R-1 = {(d, a), (d, b), (d, c)}. Facilmente, verificamos que R uma aplicao de A em B,
no entanto sua inversa R-1 no uma aplicao de B em A, pois no satisfaz s condies impostas na
definio de aplicao.
Podemos, agora, responder questo posta anteriormente. Nem sempre a inversa de uma
aplicao tambm uma aplicao, ou seja, pode acontecer de uma aplicao no ter uma
aplicao inversa. Vamos enunciar a seguir uma condio para que uma aplicao tenha sempre
uma aplicao inversa.
Consideremos uma aplicao f de A em B. Uma condio necessria e suficiente para que f-1 seja
uma aplicao de B em A que f seja bijetora, ou seja, que f seja injetora e tambm bijetora. Observe o
exemplo a seguir.
Exemplo
y R
8
6 x=y
2 R-1
0 x
Figura 14
Observao
Exemplo de Aplicao
I. R E x E, R reflexiva (x, x) R, x E
38
lgebra
2. Considerando o conjunto dos nmeros naturais (IN) com a relao , correto afirmar que:
Resoluo:
Apresente exemplos numricos para mostrar que a relao reflexiva, antissimtrica e transitiva.
39
Unidade I
2
1
Figura 15
a) R reflexiva.
b) R simtrica.
c) R transitiva.
d) R no reflexiva.
e) R antissimtrica.
Resoluo:
4. Considerando a aplicao dada pelos pares ordenados {(a, 1), (b, 2), (c, 0)}, podemos afirmar
que:
40
lgebra
Resoluo:
Lembrando que os pares ordenados so formados tendo o primeiro elemento pertencente ao domnio
e o segundo elemento do par pertencente imagem, temos que domnio de f D(f) = {a, b, c} e Imagem
de f Im(f) ={0, 1, 2}. Logo, a nica alternativa correta a c).
A funo tem uma expresso com x no denominador. Para determinarmos o domnio dessa funo,
devemos ento excluir os valores que tornam o denominador igual a zero, assim: 3x 6 0. Resolvendo
a equao, temos x 2.
a) f bijetora.
b) f sobrejetora.
c) f injetora.
d) D(f) = A.
e) Im f = B.
Resoluo:
7. Considerando A = {a, b, c, d} e a relao R = {(a, a), (b, b), (c, c), (c, b), (b, a)}, correto afirmar que:
a) R reflexiva.
b) R transitiva.
c) R no simtrica.
d) R simtrica.
e) R relao de equivalncia.
41
Unidade I
Resoluo:
I. R relao de equivalncia.
II. R relao de ordem.
Resoluo:
A relao de paralelismo no conjunto das retas do plano reflexiva, simtrica e transitiva, logo:
uma relao de equivalncia. Porm, no antissimtrica, por exemplo:
a) R1 uma aplicao.
b) R2 uma aplicao.
c) R3 uma aplicao.
d) D(R1) = {0, 1}.
e) D(R2) = {0, 2}.
Resoluo:
10. Sendo A = {0, 1, 2} e R uma relao de A, dada por R = {(0, 0), (1, 1), (2, 1), (2, 2), (0, 1)}, correto
afirmar que:
a) R simtrica.
b) R relao de equivalncia.
c) R relao de ordem parcial.
d) R relao de ordem total.
e) Im (R) = {0, 1}.
Resoluo:
43
Unidade I
Resumo
A = B (x) (x A x B);
A B (x) (x A x B);
A B = {x | x A e x B};
A B = {x | x A ou x B}.
Na interseco:
1) comutativa: A B = B A;
3) associativa: A (B C) = (A B) C.
Na unio:
1) A A B e B A B;
2) comutativa: A B = B A;
4) associativa: (A B) C = A (B C).
A B = {x U | x A e x B}.
CBA = A = A B o complementar de B em A.
1) D(f) = A.
45
Unidade I
Saiba mais
Exerccios
Questo 1. (ENADE, 2008, Computao) Considerando o conjunto A = {1, 2, 3, 4, 5, 6}, qual opo
corresponde a uma partio desse conjunto?
E) {{1, 2}, {2, 3}, {3, 4}, {4, 5}, {5, 6}}.
Mais formalmente, PA = {A1, A2, ... An} para n>0 uma partio de A, se:
1. A1 A2 ... An = A
46
lgebra
3. Para todo 1 i n, Ai
A Alternativa correta.
Justificativa: a unio dos conjuntos {1}, {2}, {3}, {4}, {5} e {6} precisamente o conjunto A = {1,
2, 3, 4, 5, 6}. Os conjuntos {1}, {2}, {3}, {4}, {5} e {6} so disjuntos entre si, isto , no h elemento
repetido em mais de um conjunto, e nenhum conjunto vazio.
B Alternativa incorreta.
C Alternativa incorreta.
Justificativa: essa alternativa desrespeita a restrio 3: o subconjunto vazio no pode estar incluso.
D Alternativa incorreta.
E Alternativa incorreta.
Questo 2. A seguir so dadas afirmaes sobre o conjunto de todas as pessoas que visitam pginas
da Web. Lembre-se que pode determinar a relao R no conjunto de todas as pessoas que visitam as
pginas da Web como reflexiva, simtrica, antissimtrica e transitiva onde (x, y) R.
I. A relao R no conjunto de todas as pessoas que visitam a pgina da Web X que tambm visitam
a pgina da Web Y reexiva e transitiva. Todas as pessoas que visitam a pgina X tambm visitam a
pgina Web X.
II. A relao R no conjunto de todas as pessoas que visitam a pgina da Web X que tambm visitam
a pgina da Web Y reflexiva e simtrica.
47
Unidade I
III. A relao R no conjunto de todas as pessoas que visitam a pgina da Web X e que tambm visitam
a pgina da Web Y no antissimtrica.
IV. A relao R do conjunto de no existem links comuns na pgina Web X e na pgina Web Y
reflexiva e simtrica.
A) I e III.
B) II.
C) II e III.
D) IV e V.
E) V.
48