lgebra

Autores: Profa. Valria de Carvalho

Prof. Rogrio Marques Ribeiro

Prof. Ranyere Deyler Trindade
Colaboradora: Profa. Ana Carolina Bueno Borges

Professores conteudistas: Valria de Carvalho / Rogrio Marques Ribeiro /

Ranyere Deyler Trindade
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.
Atualmente, professora da Universidade Paulista UNIP e coordenadora do curso de Matemtica na modalidade
EaD Ensino a Distncia.
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)
C331a

Carvalho, Valria de
lgebra / Valria de Carvalho, Rogrio Marques Ribeiro, Ranyere
Deyler Trindade. - So Paulo: Editora Sol, 2014.
140 p., il.
Nota: este volume est publicado nos Cadernos de Estudos e
Pesquisas da UNIP, Srie Didtica, ano XIX, n. 2-002/14, ISSN 1517-9230.
1. Conjuntos. 2. Relaes binrias. 3. Grupos finitos e infinitos.
I. Ttulo.
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

Prof. Fbio Romeu de Carvalho

Vice-Reitor de Planejamento, Administrao e Finanas

Profa. Melnia Dalla Torre

Vice-Reitora de Unidades Universitrias

Prof. Dr. Yugo Okida

Vice-Reitor de Ps-Graduao e Pesquisa

Profa. Dra. Marlia Ancona-Lopez

Vice-Reitora de Graduao

Unip Interativa EaD

Profa. Elisabete Brihy
Prof. Marcelo Souza
Prof. Dr. Luiz Felipe Scabar
Prof. Ivan Daliberto Frugoli

Material Didtico EaD

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.

lgebra

Unidade I
1 Conjuntos e relaes binrias
1.1 Noes sobre conjuntos

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).
Buscaremos maior objetividade, abordando as propriedades elementares dos conjuntos, como a
relao de pertinncia e outras, assim como algumas operaes com conjuntos, por exemplo, a unio e
a interseco entre eles.
1.1.1 Conceituando conjuntos
Compreendemos como conjunto qualquer coleo de objetos, e a esses chamaremos elementos de
um determinado conjunto. Essa no uma noo muito diferente da utilizada em nosso cotidiano que
relaciona aos conjuntos, por exemplo, os agrupamentos, as classes, entre outros. importante ressaltar
que conjunto um conceito primitivo e, sendo assim, desprovido de uma definio. Estamos apenas
citando uma possvel caracterstica dos conjuntos e no o definindo.
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
1.1.2 Representaes e caractersticas de um conjunto
Convencionalmente, representam-se conjuntos nos quais os elementos so enumerados entre
chaves e separados por vrgula ou ponto e vrgula, sendo este ltimo utilizado para evitar possveis
confuses com nmeros decimais. Vejamos alguns exemplos:
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

1
1
3
7

2
4
6
8

Figura 1

Neste livro-texto, estaremos mais interessados nos conjuntos numricos mais conhecidos e, para
representar esses conjuntos, usaremos as seguintes nomenclaturas:
N = {0, 2, 3, 4, ...} Conjunto dos nmeros naturais;
Z = {..., -3, -2, -1, 0, 1, 2, 3, ...} Conjunto dos nmeros inteiros;
Q = {a/b: a, b Z e b 0} Conjunto dos nmeros racionais;
: Nmeros reais, ou seja, nmeros racionais e nmeros irracionais;
C = {a+bi: a, b , i = -1} Conjunto dos nmeros complexos.
Pode-se ainda representar um conjunto por uma caracterstica comum a todos os seus elementos,
vejamos alguns exemplos:
P = {2x | x Z}, onde se l: P o conjunto dos elementos 2x tal que x pertence a Z;
A = {x | x > 4}, onde se l: A o conjunto dos elementos x pertencentes aos nmeros reais
tal que x maior que 4.

10

lgebra
1.1.2.1 Igualdade
A igualdade entre dois conjuntos A e B ocorre quando todo elemento de A pertence a B e,
reciprocamente, todo elemento de B pertence a A. Simbolicamente, temos:
A = B (x)(x A x B)
1.1.2.2 Subconjunto de um conjunto
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
Observao: a notao A B significa que A est contido em B ou
A um subconjunto de B. A leitura da notao no sentido inverso feita
como B contm A. Consideraremos que o conjunto vazio est contido em
qualquer conjunto.
Vejamos um caso especfico em que A B, representado por meio de diagramas:
B
A

Figura 2

Se o conjunto A no est contido em B, usaremos a notao A B. Vejamos a relao de incluso

aplicada aos conjuntos numricos que apresentamos anteriormente: N Z Q C.
1.1.3 Operaes entre conjuntos
1.1.3.1 Interseco e unio entre conjuntos
Denotaremos o conjunto formado por elementos que pertencem simultaneamente a um conjunto
A e a um conjunto B da seguinte forma:
A B = {x | x A e x B}. Esse conjunto chamado de interseco de A e B.
11

Unidade I
Denotaremos o conjunto formado por elementos que pertencem a um conjunto A ou a um conjunto
B da seguinte forma:
A B = {x | x A ou x B}. Esse conjunto chamado de unio de A e B.
Vejamos um exemplo de interseco e unio de conjuntos:
considere o conjunto A = {-1, 1, 2, 3, 4} e B = {0, 1, 2, 3, 4, 5, 6}
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
Considere A, B e C trs conjuntos quaisquer. Ento, so verdadeiras as seguintes propriedades:
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
Quando dois conjuntos quaisquer A e B no tm elemento comum,
dizemos que A e B so conjuntos disjuntos. Em outras palavras, dois
conjuntos so disjuntos quando a interseco entre eles igual ao conjunto
vazio.
Vejamos algumas propriedades da unio entre conjuntos: os fatos anteriormente relacionados
unio afirmam que dizer que um elemento x pertence a A B equivalente a dizer que uma das
proposies x pertence a A ou x pertence a B verdadeira. Desse fato, decorre que:
AABeBAB

12

lgebra
Considerando A, B e C trs conjuntos quaisquer, so verdadeiras as seguintes propriedades:
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.1.3.2 Propriedades da unio e da interseco
Consideremos A, B e C trs conjuntos quaisquer. Ento, valem as seguintes propriedades que
interrelacionam a unio e a interseco de conjuntos:
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)
Observe que a propriedade 3 a distributiva da unio em relao interseco, assim como a
propriedade 4 a distributiva da interseco em relao unio.
1.1.3.3 Diferena entre dois conjuntos
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}.
Observe no diagrama a seguir a diferena, a interseco e a unio de A por B:
B

A
A-B

AB
Figura 3

1.1.3.4 Complementar de B em A
Dados os conjuntos A e B quaisquer, com B contido em A, chama-se complementar de B em relao
a A o conjunto A - B, e o indicamos como:
CBA = A = A B .
13

Unidade I
Observe o exemplo: consideremos os conjuntos A = {1, 2, 3, 4, 5, 6} e B = {1, 2}. Temos o
complementar: CBA = A - B = {2, 4, 5, 6}.
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.1.3.5 Propriedades da complementao entre conjuntos
Sejam B e C subconjuntos de A, valem as propriedades a seguir:
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
A palavra heurstica tem origem na Grcia e seu significado descubro
ou acho. A heurstica uma metodologia simplificadora (embora no
simplista) que nos auxilia a enfrentar questes difceis envolvendo a
substituio destas por outras de resoluo mais fcil, a fim de encontrar
respostas viveis, mesmo que imperfeitas ou aproximadas. Para saber mais
sobre a heurstica e suas aplicaes leia os artigos:
OLIVEIRA, M. R. O princpio da invarincia. Eureka! n. 14, p. 35-42,
2002. Disponvel em: <http://www.obm.org.br/export/sites/default/revista_
eureka/docs/eureka14.pdf>. Acesso em: 22. abr. 2013.
CARVALHO, P. C. P. O princpio das gavetas. Eureka! n. 5, p. 27-33,
1999. Disponvel em: <http://www.obm.org.br/export/sites/default/revista_
eureka/docs/eureka5.pdf>. Acesso em: 22. abr. 2013.
MOREIRA, C. G. T. A. O teorema de Ramsey. Eureka! n. 14, p. 23-29,
1999. Disponvel em: <http://www.obm.org.br/export/sites/default/revista_
eureka/docs/eureka6.pdf>. Acesso em: 22. abr. 2013.
POLLMAN, H. S. Equaes de recorrncia. Eureka! n. 9, p. 33-40, 2000.
Disponvel em: <http://www.obm.org.br/export/sites/default/revista_
eureka/docs/eureka9.pdf>. Acesso em: 22. abr. 2013.
14

lgebra
1.2 Relaes binrias

Abordaremos aqui alguns aspectos elementares sobre as relaes binrias e, consequentemente,

as aplicaes (sempre que os conjuntos envolvidos forem numricos, vamos nos referir s aplicaes
como funes). imprescindvel que o estudante compreenda cada uma das definies e as utilize para
tomar decises e para resolver os diversos problemas e exerccios propostos. Alm disso, sero propostas
algumas demonstraes e nessas, sem dvidas, teremos que recorrer aos axiomas e s definies.
Inicialmente, vamos definir produto cartesiano como uma combinao especfica entre dois
conjuntos. Sendo assim:
Definio: considerando dois conjuntos A e B, no vazios, chamaremos de produto cartesiano de
A por B o conjunto formado por todos os pares ordenados (x, y) com x em A, e y em B. Normalmente,
indica-se o produto cartesiano de A por B da seguinte forma: A X B (l-se A cartesiano B).
Simbolicamente, podemos representar esse conjunto da seguinte forma:
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:
1. Seja A = {a, b, c} e B = {d, e, f, g}, o conjunto que representa A X B o seguinte:
A X B = {(a, d), (a, e), (a, f), (a, g), (b, d), (b, e), (b, f), (b, g), (c, d), (c, e), (c, f), (c, g)}
2. Consideremos os conjuntos M = {1, 2, 3} e N = {3, 4}, o conjunto que representa
M X N (M cartesiano N) :
M X N = {(1, 3), (1, 4), (2, 3), (2, 4), (3, 3), (3, 4)}
importante ressaltar que se os conjuntos A e B forem distintos, ento A X B B X A, ou seja, se
A diferente de B, ento o produto cartesiano de A por B diferente do produto cartesiano de
B por A. Observe o exemplo a seguir.
3. Seja A = {3, 4, 5} e B = {1 , 2}, ento:
A X B = {(3, 1), (3, 2), (4, 1), (4, 2), (5, 1), (5, 2)}
B X A = {(1, 3), (1, 4), (1, 5), (2, 3), (2, 4), (2, 5)}
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
Podemos, ainda, obter o produto cartesiano de A por A, cuja representao simblica A X A ou
simplesmente A2, observe o exemplo 4.
4. Seja A = {a, b, c}, o produto cartesiano de A por A :
A X A = {(a, a), (a, b), (a, c), (b, a), (b, b), (b, c), (c, a), (c, b), (c, c)}
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.
1.2.1 Relaes binrias entre dois conjuntos
Vamos agora definir a relao binria entre dois conjuntos.
Definio: chamaremos de relao binria de A em B todo subconjunto R de A cartesiano B.
Simbolicamente, temos que R relao de A em B R A X B.
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:
1. Sendo A = {a, b, c} e B = {d, e, f}, temos que:
A X B = {(a, d), (a, e), (a, f), (b, d), (b, e), (b, f), (c, d), (c, e), (c, f)}
Qualquer subconjunto de A X B representa uma relao de A em B. Observe alguns exemplos:
R1 = {(a, d), (c, f)}
R2 ={(b, d)}
R3 = {(a, d), (a, e), (a, f), (b, d), (b, e)}
16

lgebra
R4 = {(a, d), (a, e), (a, f), (b, d), (b, e), (b, f), (c, d), (c, e), (c, f)}
R5 =
2. Sejam A = {0, 2, 4, 6} e B = {1, 3, 4, 5, 9}, vamos enumerar os elementos da relao R
= {(x, y) A X B | y = x + 1}:
R = {(0, 1), (2, 3), (4, 5)}
Observe que R formado apenas pelos pares ordenados que satisfazem condio y = x + 1.
3. Sejam A = {0, 2, 3, 4, 6} e B = {0, 1, 3, 4, 5}, vamos enumerar os elementos da relao
R = {(x, y) A X B | y = x 2}:
R = {(0, 0), (2, 4)}
Observe que, neste caso R, formado apenas pelos pares ordenados que satisfazem condio
y = x 2.
1.2.2 Domnio e imagem de relaes
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.
Definio: chamamos de domnio de R o subconjunto de A formado por todos os elementos
x, de forma que para cada um desses exista um correspondente y em B satisfazendo condio
x est relacionado com y segundo R, ou xRy. Podemos representar essa definio simbolicamente
por:
D(R) = {x A | y B : xRy}.
Definio: chamamos de imagem de R o subconjunto de B formado por todos os
elementos y, de forma que para cada um desses exista algum correspondente x em A tal que
x esteja relacionado com y segundo R, ou xRy. Podemos representar essa definio simbolicamente por:
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}
Enquanto a imagem de R o conjunto:
Im (R) = {d, e, f}
Observao
importante ressaltar que, para determinar o domnio e a imagem de
uma relao, devemos analisar somente os elementos do conjunto que
compem essa relao, evitando, assim, confundir o domnio e a imagem
do produto cartesiano entre os conjuntos com o domnio e a imagem da
relao (exceto no caso em que a relao em questo o prprio produto
cartesiano).
2. Sejam A = {0, 2, 4, 6} e B = {1, 3, 4, 5, 9} e a relao R = {(x, y) A X B | y = x + 1}, ou seja,
R = {(0, 1), (2, 3), (4, 5)}. O domnio de R o conjunto: D(R) = {0, 2, 4}. E a imagem de R o
conjunto: Im (R) = {1, 3, 5}.
3. Sejam A = {0, 2, 3, 4, 6} e B = {0, 1, 3, 4, 5} e a relao R = {(x, y) A X B | y = x2}, ou
seja R ={(0, 0), (2, 4)}. O domnio de R formado pelo conjunto: D(R) = {0, 2}, enquanto
a imagem de R formada pelo conjunto: Im (R) = {0, 4}.
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
Saiba mais sobre nmeros inteiros lendo o artigo:
FUJIWARA, G. Inteiros de Gauss e inteiros de Eisenstein. Eureka! n. 14, p.
23-31, 2002. Disponvel em: <http://www.obm.org.br/export/sites/default/
revista_eureka/docs/eureka14.pdf>. Acesso em: 22. abr. 2013.
18

lgebra
1.2.3 Representaes de relaes binrias
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
1. Seja A = {1, 2, 3, 4} e B = {2, 4, 6, 8, 10, 12} e R = {(x, y) A X B | y = 2x}.
Representao de R por meio de diagramas:
B

A
R

1
4

10

12

Figura 4

2. Consideremos novamente os conjuntos e a relao do exemplo 1. Observe a representao da

mesma relao em um plano cartesiano:

19

Unidade I

y
8
6
4
2
0

Figura 5

3. Consideremos agora o produto cartesiano de por ( representa o conjunto dos nmeros

reais) e a relao R = {(x, y) x | y = 2x}:
y
8
6
4
2
x
Figura 6

1.2.4 A inversa de uma relao

Vejamos agora como definir a inversa de uma relao.
Definio: considere uma relao R de A em B. Chamaremos de relao inversa de R a relao de B em A.
comum indicar a inversa por R1. Simbolicamente, podemos representar a relao inversa da seguinte forma:
R1 = {(y, x) B x A | (x, y) R}.
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}.
2. Seja A = {1, 2, 3, 4}, B = {2, 4, 6, 8, 10, 12} e R = {(x, y) A X B | y = 2x}.
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:
B

A
R

-1

10

12

Figura 7

Observao
Podemos obter a representao de R-1 por meio de diagramas
simplesmente invertendo o sentido das flechas na representao de R.
Se representarmos a relao R por meio de um grfico cartesiano, a representao de R-1 nesse
mesmo plano ser simtrica do grfico de R em relao reta de equao x=y. Observe o exemplo
a seguir.
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:
R

y
8

x=y

6
4

R-1

2
x

0
Figura 8

21

Unidade I

Observao
Se os conjuntos A e B forem iguais, e considerarmos uma relao de
A em B, podemos afirmar que R uma relao sobre A ou ainda R uma
relao em A. Observando ainda que ser um subconjunto do produto
cartesiano de A por A, ou seja, R A X A.
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}.
2. Dados os conjuntos A = {a, b, c, d, e} e B = {b, c, e}, qual o conjunto que representa A B?
Resoluo:
Pela definio, o conjunto A B o conjunto formado pelos elementos de A que no esto em B,
assim A B = {a, d}.
3. Se A = {a, b} e B = {1, 2, 3}, determine o produto cartesiano de B por A, ou seja:
BxA
Resoluo:
Lembrando, B x A um conjunto dos pares ordenados, com 1 elemento de B e 2 elemento de A,
assim B x A = {(1, a), (1, b), (2, a), (2, b), (3, a), (3, b)}.
4. Considerando o diagrama a seguir, discuta a veracidade ou no de cada alternativa:
A

U
1

10

3
6

9
11
Figura 9

22

12

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 correta a d). A seguir, apresentamos a justificativa para cada alternativa:
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.
5. Sendo A = {x IN / 1 x 6} e B = {y IN / 0 y < 4}, qual a alternativa que representa o
complementar de B em relao a A, ou seja, CAB ? Justifique sua resposta.
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:
A alternativa correta a b). A seguir, apresentamos a justificativa.
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
6. Avalie o diagrama a seguir e discuta a veracidade ou no de cada alternativa:
B

A
2

5
3

10

6
7

9
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:
A alternativa correta a c). A seguir, apresentamos a anlise para cada alternativa.
a alternativa a) est errada, pois A B = {2, 3, 4}.
a alternativa b) est errada, pois B C = {3, 4, 10}.
a alternativa c) est correta, pois A - (B C) = {1, 2, 6}.
a alternativa d)) est errada, pois n(C) = 7.
a alternativa e) est errada, pois A B = {1, 2, 3, 4, 5, 6, 10}.
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:
Como 11 pessoas falam ingls e francs, e 24 s falam ingls, temos que:
24 + 11 = 35 (que falam ingls)
Como 42 pessoas falam ingls ou francs, e 35 falam ingls, temos que:
42 35 = 7 (que falam s francs)
24

lgebra
Como 34 no falam francs, e 24 s falam ingls, temos que:
34 24 = 10 pessoas (que no falam ingls e no falam francs)
Resumindo:
pessoas que falam apenas ingls: 24;
pessoas que falam apenas francs: 7;
pessoas que falam francs e ingls: 11;
pessoas que no falam nenhuma das duas lnguas: 10.
Logo, temos:
24 + 7 + 11 + 10 = 52 pessoas
8. Considerando a relao R A x B, sendo A = {0, 1, 2, 3} e B = {a, b, c, d} com R dada pelos pares
ordenados R = {(0, a), (1, c), (2, d)}, qual das alternativas a seguir verdadeira?
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.
9. Sendo A = {0, 1, 2, 3} e B = {1, 2, 4} os pares ordenados da relao R dada por:
R = {(x, y) A X B / y = x2 + 1} so:
a) R = {(1, 1), (2, 1)}
b) R = {(1, 2), (2, 2)}
c) R = {(0, 1), (1, 2)}
25

Unidade I
d) R = {(3, 1), (1, 1)}
e) R = {(1, 1), (2, 4)}
Resoluo:
No produto cartesiano A x B, devemos procurar os elementos que satisfazem condio dada, isto
, y = x2 + 1.
Assim, temos y = x2 + 1. Vamos substituir cada valor de x (x A) na expresso dada e verificar se o
resultado de y pertence a B. Caso y B, o par (x, y) estar na relao R, se y B o par (x, y) no estar
na relao R.
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}.
Logo, a alternativa correta a c).

26

lgebra

Saiba mais
Para saber mais sobre relaes binrias, leia:
SANTOS, J. C. S. O. Formao complementar em matemtica. Universidade
do Porto Departamento de Matemtica da Faculdade de Cincias, jan.
2012. Disponvel em: <http://www.fc.up.pt/mp/jcsantos/PDF/FCMatI.pdf>.
Acesso em: 22. abr. 2013.
MARQUES, P. Relaes binrias. Feira de Santana BA, [s.d.]. Disponvel em:
<http://www.paulomarques.com.br/arq1-5.htm>. Acesso em: 22. abr. 2013.
RELAES binrias. Universidade Federal do Maranho, [s.d.]. Disponvel
em:
<http://www.deinf.ufma.br/~vidal/mdl/12-relacoesBinarias.pdf>.
Acesso em: 22. abr. 2013.
2 Propriedades das relaes e aplicaes
2.1 Propriedades das relaes

Estudaremos a seguir as principais propriedades de uma relao R sobre um determinado

conjunto A. Deve-se aqui tomar certo cuidado para no acreditar que as propriedades que sero
expostas sejam vistas como dependentes umas das outras. O estudo dessas propriedades deve
ser feito de forma independente, estando atento apenas s definies e aplicao da lgica
matemtica, ou seja, o fato de uma relao sobre um determinado conjunto A ser simtrica no
quer dizer que ela no ser necessariamente antissimtrica, pois, como ressaltamos antes, elas
so independentes e, sendo assim, possvel apresentar vrios exemplos de relaes simtricas e
antissimtricas ao mesmo tempo.
2.1.1 Propriedade reflexiva
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.
2.1.2 Propriedade simtrica
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)
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, 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
Considere o conjunto A formado por todas as retas de um plano e a relao de perpendicularismo
definida sobre A, ou seja, sRt s t. R uma relao simtrica, pois se a reta s perpendicular
reta t, implica que t perpendicular s, isto , sempre que s t t s.
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
2.1.3 Propriedade transitiva
Uma relao R sobre um determinado conjunto A goza da propriedade transitiva quando
satisfeita a seguinte condio: A relao R transitiva quando, estando a relacionado com b e
estando b relacionado com c, implicar a relacionado com c. Simbolicamente, temos o seguinte:
( a, b, c A) (aRb e bRc) aRc. 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), (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.
2.1.4 Propriedade antissimtrica
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
Considere o conjunto N dos nmeros naturais e a relao R de divisibilidade definida sobre N.
R uma relao antissimtrica, pois se a divide b, e b divide a, ento, necessariamente, a igual a b.
Simbolicamente, temos: se a | b e b | a, ento a = b.
29

Unidade I
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.
2.2 Relaes e aplicaes

2.2.1 Relao de equivalncia

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)
Vejamos 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), (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.
Simbolicamente, temos: propriedade reflexiva: (para todo a A) (a A aRa); propriedade
simtrica: ( a, b A) (aRb bRa); propriedade transitiva ( a, b, c A) (aRb e bRc aRc).
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
Considere o conjunto N dos nmeros naturais e a relao R de divisibilidade definida sobre N.
R no uma relao de equivalncia sobre esse conjunto, pois apesar de R satisfazer s propriedades
30

lgebra
reflexiva e transitiva, R no satisfaz propriedade simtrica, pois se a divide b, no implica b dividir a.
Vejamos um caso particular desse fato: temos que 2 divide 4, mas 4 no divide 2.
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.
2.2.2 Relao de ordem
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)
Chamaremos de conjunto parcialmente ordenado o conjunto no qual se definiu uma determinada
relao R de ordem parcial, ou seja, se consideramos um conjunto A e uma relao R sobre esse conjunto,
e se essa relao satisfizer propriedade reflexiva, antissimtrica e transitiva, ento esse conjunto
ser chamado de conjunto parcialmente ordenado pela relao R.
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.
Se pudermos sempre comparar dois elementos quaisquer de A segundo a relao R em questo,
ento chamaremos R de relao de ordem total sobre A. E, consequentemente, diremos que o
conjunto A, neste caso, um conjunto totalmente ordenado por R.
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, 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
Considere o conjunto A = {a, b, c} e a relao:
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 justificase 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.
As aplicaes tm a mesma definio das conhecidas funes e, em ltima anlise, trata-se do
mesmo objeto matemtico, diferenciando-se apenas em relao aos conjuntos que esto relacionados.
Iremos nos referir s aplicaes como funes sempre que os conjuntos envolvidos forem conjuntos
numricos.
Definio: consideremos dois conjuntos A e B, e f uma relao de A em B. Dizemos que f uma
aplicao de A em B se f satisfizer s seguintes condies:
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
Se f: A B e g: A B, devemos observar que: f = g f(x) = g(x), x A.
Se o contradomnio de uma aplicao f um conjunto numrico, usual
chamar-se f de funo.
Vejamos a seguir alguns exemplos.
Exemplo 1
Consideremos os conjuntos A = {0, 1, 2, 3} e B = {4, 5, 6, 7, 8} e as seguintes relaes de A em B:
R1 = {(0, 5), (1, 6), (2, 7)}
R2 = {(0, 4), (1, 5), (1, 6), (2, 7), (3, 8)}
R3 = {(0, 4), (1, 5), (2, 7), (3, 8)}
R4 = {(0, 5), (1, 5), (2, 6), (3, 7)}
A relao R1 no aplicao de A em B, pois D(R1) = {0, 1, 2} A, isto , 3 D(R1), portanto no
satisfaz primeira condio (I).
A relao R2 no aplicao de A em B, pois (1, 5) R2 e (1, 6) R2, portanto, 1 tem dois
correspondentes em B, portanto no satisfaz segunda condio (II).
As relaes R3 e R4 so aplicaes de A em B, pois satisfazem s duas condies da definio de aplicao.
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

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.
2.2.3.1 Aplicaes injetoras, sobrejetoras e bijetoras
Aplicao injetora
Consideremos uma aplicao f: A B. Dizemos que f uma aplicao injetora de A em B sempre
que estiver satisfeita a seguinte condio: sempre que elementos distintos pertencentes ao domnio de f
tiverem imagens distintas em B. Simbolicamente, temos:
( x1, x2 A) (x1 x2 f (x1) f (x2))
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:
( x1, x2 A) (f (x1) = f (x2) x1 = x2)
35

Unidade I
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:
( x1, x2 A) (x1 x2 f (x1) = f (x2))
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))
Podemos, ainda, ser mais objetivos em relao definio de aplicao sobrejetora,
ressaltando que se a Im (f) = B (a imagem de f igual ao contradomnio), ento f uma
aplicao sobrejetora.
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
Consideremos uma aplicao f: A B. Se f uma aplicao injetora e tambm sobrejetora, dizemos
simplesmente que f uma aplicao bijetora ou bijeo de A em B.
Vejamos a seguir alguns exemplos de aplicaes injetoras, sobrejetoras e bijetoras.
Exemplo 1
Consideremos os conjuntos A = {a, b, c, d} e B = {, , , , } e a aplicao
f = {(a, ), (b, ), (c, ), (d, )} de A em B, f injetora, visto que para todo elemento do domnio
x x1 implica f(x) f(x1). Observe ainda que f no sobrejetora, pois a Im (f) CD (f) j que
B e Im (f). Logo, f no bijetora.
Exemplo 2
Consideremos os conjuntos A = {a, b, c, d} e B = {, , } e a aplicao f = {(a, ), (b, ), (c, ), (d, )}
de A em B. Observe que f no injetora, b c e f (b) = = f (c). Notemos que f sobrejetora, j que
Im (f) = CD (f). Mas f no bijetora.
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:
I. dados x1 e x2 , temos: f (x1) = f (x2) 3x1+ 1 = 3x2 + 1 x1 = x2 , portanto f injetora;
II. dado y , provemos que existe x tal que f(x) = y: 3x + 1 = y x = (y 1)/3, portanto f
sobrejetora.
Exemplo 4
Observe as aplicaes f1 e f2 de em representadas a seguir por meio de seus grficos:
y

y
f1

f2

x
x

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
As aplicaes no podem ser divididas em injetoras ou sobrejetoras
porque existem muitas aplicaes que no so nem uma coisa nem outra,
por exemplo: f : dada pela lei f(x) = x2
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
Consideremos a aplicao f = {(x, y) x | y = 2x}, verifica-se que f bijetora, portanto sua
inversa a aplicao f-1 = {(y, x) x | x = 2y}. Observe a representao grfica de f e f-1 em um
mesmo plano cartesiano:
R

y
8

x=y

6
4

R-1

2
x

Observao

Figura 14

Demonstra-se que, se f bijetora, f-1 tambm bijetora. A

representao grfica da inversa de uma aplicao simtrica
representao grfica de f, em relao reta x = y.
Exemplo de Aplicao

1. Considere as afirmaes sobre a relao R:

I. R E x E, R reflexiva (x, x) R, x E
38

lgebra
II. R E x E, R simtrica se (x, y) R, ento (y, x) R
III. R E x E, R transitiva se (x, y) R e (y, x) R, ento x = y
correto afirmar que:
a) Todas as afirmaes so verdadeiras.
b) Todas as afirmaes so falsas.
c) Apenas as afirmaes I e II so verdadeiras.
d) Apenas as afirmaes II e III so verdadeiras.
e) Apenas as afirmaes I e III so verdadeiras.
Resoluo:
As trs afirmativas, ou seja, todas so verdadeiras, visto que:
R E x E, R reflexiva (x, x) R, x E uma afirmao verdadeira; que R E x E, R
simtrica se (x, y) R, ento (y, x) R tambm uma sentena verdadeira e que se configura como
verdade; R E x E, R transitiva se (x, y) R e (y, x) R, ento x = y.
2. Considerando o conjunto dos nmeros naturais (IN) com a relao , correto afirmar que:
a) A relao reflexiva e simtrica.
b) A relao reflexiva, antissimtrica e no transitiva.
c) A relao no reflexiva.
d) A relao reflexiva, antissimtrica e transitiva.
e) A relao no transitiva.
Resoluo:
A alternativa correta a d), pois a relao reflexiva, antissimtrica e transitiva.
No simtrica, por exemplo, sendo a = 2 e b = 3, temos 2 3, mas no temos 3 2.
Apresente exemplos numricos para mostrar que a relao reflexiva, antissimtrica e transitiva.
3. Considere a relao representada no esquema de flechas a seguir:

39

Unidade I

2
1
4
3
Figura 15

De acordo com o esquema de flechas visto, correto afirmar que:

a) R reflexiva.
b) R simtrica.
c) R transitiva.
d) R no reflexiva.
e) R antissimtrica.
Resoluo:
Observando e refletindo sobre o esquema das flechas, construmos os pares ordenados:
(1, 1), (1, 3), (2, 2), (3, 2) (4, 3), (3, 4), com esses pares podemos afirmar que:
R no reflexiva, pois 3 A, mas (3, 3) R;
R no simtrica, pois (1, 3) R, mas (3, 1) R;
R no antissimtrica, pois (3, 4) R e (4, 3) R, mas 3 4;
pelo que foi analisado anteriormente, conclumos que a alternativa correta a d).
4. Considerando a aplicao dada pelos pares ordenados {(a, 1), (b, 2), (c, 0)}, podemos afirmar
que:
a) Domnio de f o conjunto {2, 3}.
b) Imagem de f o conjunto {a, b, c}.
c) Domnio de f o conjunto {a, b, c}.
d) Domnio de f o conjunto {a, c}.
e) A imagem de f o conjunto {2}.
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).
5. Determine o domnio da funo f definida por f(x) = ----x--------1---- .
3x - 6
Resoluo:
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.
6. Considerando A = {1, 2, 3, 4}, B = {0, 1, 2, 3, 4} e a aplicao f: A B dada pelos pares ordenados
{(1, 1), (3, 2), (4, 2), (2, 3)}, avalie e justifique a correo ou incorreo de cada alternativa a seguir:
a) f bijetora.
b) f sobrejetora.
c) f injetora.
d) D(f) = A.
e) Im f = B.
Resoluo:
Observando os pares ordenados, notamos que:
f no injetora, pois temos 3 e 4 com a mesma imagem, isto : (3, 2) R e (4, 2) R.
f no sobrejetora, pois Im(f) = {1, 2, 3} B.
f no pode ser bijetora, pois deveria ser injetora e sobrejetora. Logo, a nica sentena correta a
D(f) = {1, 2, 3, 4} = A, ou seja, a alternativa d).
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:
Observando os pares da relao, temos que:
R no reflexiva, pois falta o par (d, d);
R no simtrica, pois (c, b) R, mas (b, c) R;
R no transitiva, pois (c, b) R e (b, a) R, mas (c, a) R;
R no pode ser relao de equivalncia, pois deveriam valer as propriedades reflexiva, simtrica e
transitiva. Logo, a alternativa correta a alternativa c).
8. Considerando R a relao de paralelismo no conjunto das retas do plano e as afirmativas a seguir:
I. R relao de equivalncia.
II. R relao de ordem.
correto afirmar que:
a) Apenas a afirmativa I verdadeira.
b) Apenas a afirmativa II verdadeira.
c) As afirmativas I e II so verdadeiras.
d) As afirmativas I e II so falsas.
e) Nenhuma das alternativas anteriores est correta.
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:
r //s e s //r, mas nem sempre r = s, logo: no relao de ordem.
Deste modo, a alternativa correta a a)
9. Considere os conjuntos A = {0, 1, 2} e B = {3, 4, 5, 6, 7} e as relaes de A em B:
R1 = {(0, 4), (1, 3), (1, 4), (2, 7)}
R2 = {(0, 4), (2, 4)}
R3 = {(0, 3)}
correto afirmar que:
42

lgebra
a) R1 uma aplicao.
b) R2 uma aplicao.
c) R3 uma aplicao.
d) D(R1) = {0, 1}.
e) D(R2) = {0, 2}.
Resoluo:
R1 no aplicao, pois o elemento 1 de A tem duas imagens, no satisfaz definio de aplicao;
R2 no aplicao, pois D(R2) = {0, 2} A;
R3 no aplicao, pois D(R1) = {0} A;
D(R1) = {0, 1, 2};
D(R2) = {0, 2};
logo, a alternativa correta a e).
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:
R no simtrica, pois (2, 1) R, mas (1, 2) R;
R no relao de equivalncia, pois no vale a propriedade simtrica;
R relao de ordem, pois valem as propriedades reflexiva, antissimtrica e transitiva;
R no relao de ordem total, pois os elementos 0 e 2 no so comparveis;
Im (R) = {0, 1, 2};
logo, a alternativa correta a c).

43

Unidade I

Resumo
Nesta unidade revisamos a noo de conjuntos, suas operaes e
representaes, alm de estudarmos tambm os conceitos de relaes e
aplicaes.
Sobre as noes bsicas de conjunto, preciso saber que: letras
maisculas simbolizaro conjuntos, e minsculas simbolizaro seus
elementos; o conjunto vazio ser representado por ou por { } e usamos
x A (quando x pertencer a A); caso contrario, x A.
Os conjuntos numricos so: N = {0, 2, 3, 4,...}; Z= {..., 3, 2, 1, 0, 1, 2, 3,...};
a
Q= { ; a,bZ e b0}; R= nmeros reais (nmeros racionais unido com os
b
irracionais); C= {a+bi /a, b R, i = 1 .
Das operaes e propriedades entre conjuntos observouse que:
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;
2) elemento neutro: o conjunto universo U o elemento neutro da
interseco de conjuntos;
3) associativa: A (B C) = (A B) C.
Na unio:
1) A A B e B A B;
2) comutativa: A B = B A;
3) elemento neutro: A = A = A. O conjunto o elemento
neutro da unio de conjuntos;
44

lgebra
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.
Sobre relaes binrias e aplicaes, dados dois conjuntos A e B no
vazios, temos: A X B = {(x, y)| x A e y B}; o domnio ser representado
por D(R) = {x A | y B: xRy}, a imagem por Im(R) = {y B | x
1
A: xRy} e a inversa ser representada por R = {( y, x ) A xB|( x, y ) R} .
As principais propriedades so:
Reflexiva: x, se x A, ento xRx;
Transitiva: a, b, c A. Se aRb e bRc, ento: aRc;
Antissimtrica: a, b A. Se aRb e bRa, ento a = b.
Se uma relao R for: reflexiva, simtrica e transitiva, R ser uma relao
de equivalncia sobre A; R for reflexiva, antissimtrica e transitiva, R ser
uma relao de ordem parcial sobre A.
Aplicaes: dados dois conjuntos A e B, ambos no vazios, e f
uma relao de A em B, f ser uma aplicao de A em B se forem
satisfeitas:
1) D(f) = A.
2) Dado a D(f), existe um nico elemento b B, tal que (a, b) f.
As aplicaes podem ser:
Aplicao injetora: x1, x2 A se x1 x2, ento, f(x1) f(x2) ou x1, x2
A se f(x1) = f(x2), ento x1 = x2;
Aplicao sobrejetora: y se y f, ento x A | y = f(x);
Aplicao bijetora: f injetora e, ao mesmo tempo, sobrejetora.

45

Unidade I

Saiba mais
Para saber mais sobre aplicaes, leia:
ZUFFI, E. M. (Coord.). Funes e aplicaes. Centro de Divulgao
Cientfica e Cultural, Universidade de So Paulo, mai. 2011. Disponvel em:
<http://www.cdcc.usp.br/matematica/Apostilafuncoes.pdf>. Acesso em:
22. abr. 2013.

Exerccios
Questo 1. (ENADE, 2008, Computao) Considerando o conjunto A = {1, 2, 3, 4, 5, 6}, qual opo
corresponde a uma partio desse conjunto?
A) {{1}, {2}, {3}, {4}, {5}, {6}}.
B) {{1}, {1,2}, {3,4}, {5, 6}}.
C) {{ }, {1, 2, 3}, {4, 5, 6}}.
D) {{1, 2, 3}, {5, 6}}.
E) {{1, 2}, {2, 3}, {3, 4}, {4, 5}, {5, 6}}.
Resposta correta: alternativa A.
Anlise das alternativas
Dado um conjunto A, uma partio de A um conjunto de subconjuntos de A, tal que:
1. A unio de todos os subconjuntos igual a A.
2. Os subconjuntos so disjuntos, isto , no h elementos comuns a dois ou mais subconjuntos e a
interseco de cada par de subconjuntos vazia.
3. No permitido o subconjunto vazio.
Mais formalmente, PA = {A1, A2, ... An} para n>0 uma partio de A, se:
1. A1 A2 ... An = A
46

lgebra
2. Para todo 1 i < j n, Ai Aj =
3. Para todo 1 i n, Ai

Um exemplo tpico quando o professor divide o conjunto de alunos em grupos de trabalho. Um

aluno no pode estar em mais de um grupo, no faz sentido um grupo sem alunos e cada aluno tem que
estar em um grupo, mesmo que seja apenas ele no grupo. A palavra grupo neste exemplo est sendo
usada de maneira informal, mas os termos partio e particionamento so termos tcnicos, com
significados bastante precisos na Matemtica. Quando a partio definida por meio de uma relao de
equivalncia, os subconjuntos da partio so ento chamados de classes de equivalncia.
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.
Justificativa: essa alternativa desrespeita a restrio 2: os conjuntos no so disjuntos, pois {1} e
{1, 2} tm elementos em comum.
C Alternativa incorreta.
Justificativa: essa alternativa desrespeita a restrio 3: o subconjunto vazio no pode estar incluso.
D Alternativa incorreta.
Justificativa: essa alternativa desrespeita a regra 1: falta o elemento 4.
E Alternativa incorreta.
Justificativa: como na alternativa B, os subconjuntos no so disjuntos.
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.
V. A relao R do conjunto de no existem links comuns na pgina Web X e na pgina Web Y
transitiva.
Assinale a alternativa que contenha as afirmaes verdadeiras:
A) I e III.
B) II.
C) II e III.
D) IV e V.
E) V.
Resoluo desta questo na plataforma.

48