Beruflich Dokumente
Kultur Dokumente
DO ESTADO DA BAHIA
EAD 2011
EAD 2011
M
A
T
E
M
T
I
C
A
UNIVERSIDADE DO ESTADO DA BAHIA
UNIVERSIDADE ABERTA DO BRASIL
UNIVERSIDADE DO ESTADO DA BAHIA
LICENCIATURA EM MATEMTICA
lgebra I
Salvador
2011
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
ELABORAO
rica Nogueira Macdo
DIAGRAMAO
Teodomiro Arajo de Souza
REVISO
Sheila Rangel
Dados Internacionais de Catalogao na Publicao (CIP).
Catalogao na Fonte
BIBLIOTECA DO GRUPO DE GESTO DE PROJETOS E ATIVIDADES NA
MODALIDADE A DISTNCIA UNEB
Macdo, ricaNogueira.
M141 lgebra I - Licenciatura em Matemtica / rica Nogueira Macdo. Salvador: UNEB /
GEAD, 2010.
82p.
1.Matemtica 2. lgebra I. Ttulo. II. Universidade Aberta do Brasil. III. UNEB /
GEAD
CDD: 512.94
2
a
Edio 1
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
UNIVERSIDADE DO ESTADO DA BAHIA
PRESIDENTE DA REPBLICA
Dilma Roussef
MINISTRO DA EDUCAO
Fernando Haddad
SISTEMA UNIVERSIDADE ABERTA DO BRASIL
PRESIDENTE DA CAPES
Jorge Guimares
DIRETOR DE EDUCAO A DISTNCIA DA CAPES
Joo Teatini
GOVERNO DO ESTADO DA BAHIA
GOVERNADOR
Jaques Wagner
VICE-GOVERNADOR
Otto Roberto Mendona de Alencar
SECRETRIO DA EDUCAO
Osvaldo Barreto Filho
UNIVERSIDADE DO ESTADO DA BAHIA - UNEB
REITOR
Lourisvaldo Valentim da Silva
VICE-REITORA
Adriana do Santos Marmori Lima
PR-REITOR DE ENSINO DE GRADUAO
Jos Bites de Carvalho
COORDENADOR UAB/UNEB
Silvar Ferreira Ribeiro
COORDENADOR UAB/UNEB ADJUNTO
Daniel de Cerqueira Ges
EAD 2011
EAD 2011
M
A
T
E
M
T
I
C
A
UNIVERSIDADE DO ESTADO DA BAHIA
Caro Cursista,
Estamos comeando uma nova etapa de trabalho e para auxili-lo no desenvolvimento da sua aprendizagem estru-
turamos este material didtico que atender ao Curso de Licenciatura em Matemtica na modalidade distncia.
O componente curricular que agora lhe apresentamos foi preparado por profissionais habilitados, especialistas da
rea, pesquisadores, docentes que tiveram a preocupao em alinhar conhecimento terico-prtico de maneira
contextualizada, fazendo uso de uma linguagem motivacional, capaz de aprofundar o conhecimento prvio dos
envolvidos com a disciplina em questo. Cabe Salientar porm, que esse no deve ser o nico material a ser uti-
lizado na disciplina, alm dele, o Ambiente Virtual de Aprendizagem (AVA) , as Atividades propostas pelo Professor
Formador e pelo Tutor, as Atividades Complementares, os horrios destinados aos estudos individuais, tudo isso
somado compe os estudos relacionados a EAD.
importante tambm que vocs estejam sempre atentos a caixas de dilogos e cones especficos. Eles aparecem
durante todo o texto e tm como objetivo principal, dialogar com o leitor afim de que o mesmo se torne interlocutor
ativo desse material. So objetivos dos cones em destaque:
Voc sabia? convida-o a conhecer outros aspectos daquele tema/contedo. So curiosidades ou infor-
maes relevantes que podem ser associadas discusso proposta;
Saiba mais apresenta notas ou aprofundamento da argumentao em desenvolvimento no texto, tra-
zendo conceitos, fatos, biografias, enfim, elementos que o auxiliem a compreender melhor o contedo
abordado;
Indicao de leituras neste campo, voc encontrar sugesto de livros, sites, vdeos.
A partir deles, voc poder aprofundar seu estudo, conhecer melhor determinadas perspectivas tericas
ou outros olhares e interpretaes sobre aquele tema;
Sugestes de atividades consistem em indicaes de atividades para voc realizar autonomamente
em seu processo de auto-estudo. Estas atividades podem (ou no) vir a ser aproveitadas pelo professor-
formador como instrumentos de avaliao, mas o objetivo primeiro delas provoc-lo, desafi-lo em seu
processo de auto-aprendizagem.
Sua postura ser essencial para o aproveitamento completo desta disciplina. Contamos com seu empenho e entu-
siasmo para, juntos, desenvolvermos uma prtica pedaggica significativa.
Setor de Material Didtico
Coordenao UAB / UNEB
??
VOC SABIA?
?
?
?
?
?
?
SAIBA MAIS
INDICAO DE LEITURA
SUGESTO DE ATIVIDADE
EAD 2011
EAD 2011
M
A
T
E
M
T
I
C
A
UNIVERSIDADE DO ESTADO DA BAHIA
ApRESENTAO
Sejam bem vindos ao estudo de mais um componente curricular: lgebra I. As origens da lgebra se encontram
na antiga Babilnia, onde os matemticos da poca desenvolveram um sistema avanado que lhes permitiam fazer
clculos algbricos tais como a soluo de equaes lineares e quadrticas. A notao algbrica utilizada hoje teve
incio nos estudos de Franois Vite (1540 -1603) e foi configurada na forma atual por Ren Descartes(1596 1650).
A lgebra possui diversas ramificaes, das quais estudaremos apenas a ramificao da lgebra Abstrata. Esta
a parte da lgebra que estuda as estruturas algbricas como grupos, anis e corpos. O termo abstrata utilizada
para diferenciar da lgebra elementar, estudada no ensino fundamental e mdio, que tem a ver com operaes de
adio, multiplicao, etc., e regras para manipular variveis e expresses algbricas (aritmtica). Sendo assim,
este mdulo apresenta a voc, em cinco captulos, o mundo inicial da lgebra Abstrata. Inicialmente estudaremos
as relaes binrias, com uma breve reviso sobre produto cartesiano. Estudaremos tambm relaes binrias
especiais: a relao de equivalncia e a relao de ordem. Dando continuidade, estudaremos as operaes internas
definidas em um conjunto, com suas respectivas propriedades. Ento, sero definidas as estruturas algbricas:
monide, grupide, semigrupo, grupo, anel. Estudaremos ento, para uma melhor compreenso, algumas destas
estruturas, a saber, o grupo e o anel. Finalizando nosso estudo, conheceremos tambm as noes de domnio de
integridade e corpo. Vale salientar que as imagens, tabelas, quadros ou figuras que no possurem indicao foram
construdos pelo prprio autor. Tenho certeza que est curioso(a) para conhecer este mundo fantstico da lgebra.
Tenha bons estudos e conte com a colaborao dos professores e tutores disponveis para dirimir suas possveis
dvidas. Um grande abrao.
rica N. Macdo
EAD 2011
EAD 2011
M
A
T
E
M
T
I
C
A
UNIVERSIDADE DO ESTADO DA BAHIA
SUMRIO
1 Relaes 13
1.1 Produto cartesiano 13
1.2 Relao binria 15
1.2.1 Propriedades das relaes binrias 20
1.3 Relao de equivalncia 23
1.3.1 Classe de equivalncia 24
1.4 Relao de ordem 28
2 Operao Interna 31
2.1 Aplicaes 31
2.2 Operao sobre um conjunto 34
2.3 Propriedades das operaes em um conjunto 35
2.4 - Estruturas Algbricas 40
2.5 Tbua de uma operao 42
3 - O conjunto Zm 51
3.1 Relao de Congruncia Mdulo m 51
3.2 Classe de Equivalncia da Relao de Congruncia 53
3.3 Operaes em Zm 55
3.3.1 - Adio em Zm 55
3.3.2 Multiplicao em Zm 57
4 - Grupos 61
4.1 Grupos Notveis 65
4.1.1 - Grupo de Klein 65
4.1.2 Grupo das Permutaes 66
4.1.3 Grupos Diedrais 68
5 Anel e Corpo 76
5.1 Anel 76
5.2 Corpo 79
MATEMTICA
M
A
T
E
M
T
I
C
A
13
13
UNIVERSIDADE DO ESTADO DA BAHIA
1 - LLAL8
P|e/ado a|uuo, uesle cap|lu|o esluda|emos sob|e as |e|aoes. uma |e|ao acoulece quaudo do|s ou ma|s
e|emeulos de um mesmo coujuulo, ou de coujuulos d|sl|ulos |ule|agem. A pa|l|| da|, podemos esluda| as
p|op||edades e ca|acle||sl|cas dessas |ule|aoes. a|emos ma|o| eulase ao esludo das |e|aoes b|u||as, que
oco||em quaudo |e|ac|ouamos apeuas do|s coujuulos, e o caso pa|l|cu|a|, quaudo |e|ac|ouamos do|s coujuulos
|gua|s. Ve|emos qua|s so suas p|op||edades e, al|aves dessas p|op||edades, del|u||emos do|s l|pos |mpo|laules
de |e|ao. a de equ|va|euc|a e a de o|dem. Espe|o que esle |u|c|o de esludo seja esl|mu|aule pa|a lodo o ma|s
que esluda|emos.
1.1 - FroduIo carIes|ano
LFIhI 1.1: ados do|s coujuulos e , uo va/|os, chama-se p|odulo ca|les|auo de po| , o que se
|ud|ca po| , ao coujuulo dos pa|es o|deuados la|s que e . Ass|m lemos.
.
Veja ago|a a|guus e/emp|os de p|odulo ca|les|auo eul|e do|s coujuulos.
E/emp|os.
(a) ados e lem-se.
(b) ados # e lem-se.
Podemos elelua| o p|odulo ca|les|auo eul|e do|s coujuulos |gua|s. hesle caso, se e um coujuulo uo
va/|o, o p|odulo ca|les|auo e |ep|eseulado da segu|ule lo|ma.
14
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
15
UNIVERSIDADE DO ESTADO DA BAHIA
E/emp|o.
(c) ado , lem-se
.
0bse|vaudo os e/emp|os ac|ma podemos pe|cebe| que o p|odulo ca|les|auo uo e comulal|vo, ou seja,
dados do|s coujuulos uo va/|os e , o p|odulo ca|les|auo uo e |gua| ao p|odulo ca|les|auo ,
mesmo ambos leudo o mesmo uume|o de e|emeulos. lslo ua ve|dade s oco||e quaudo eleluamos o p|odulo
ca|les|auo eul|e do|s coujuulos |gua|s. lslo se d po|que o coujuulo que |ep|eseula o p|odulo ca|les|auo e um
coujuulo de pa|es o|deuados, que como o p|p||o uome j d|/, obedece a uma o|dem ua d|spos|o dos
e|emeulos. Sabemos que em um pa| o|deuado va|e , com . hole lambem que uo
uecessa||ameule usamos coujuulos com e|emeulos uume||cos pa|a elelua| um p|odulo ca|les|auo. A uu|ca
obse|vao a se| le|la e que os coujuulos uo podem se| va/|os.
S|mbo||cameule |ep|eseulamos a quaul|dade de e|emeulos de um dele|m|uado coujuulo po| que se
|e. ca|d|ua||dade de . Podemos ve||l|ca| qua| a quaul|dade de pa|es o|deuados de um p|odulo ca|les|auo eul|e
do|s coujuulos. ados do|s coujuulos e que possuam |especl|vameule uma quaul|dade e de e|emeulos,
lemos que a quaul|dade de e|emeulos do p|odulo ca|les|auo e . Ass|m, em |e|ao ao p|odulo
ca|les|auo lemos que . hos e/emp|os (a), (b) e (c) lemos.
e aco|do com as cous|de|aoes le|las ac|ma, podemos couc|u||, eulo, que ,
mesmo seudo e coujuulos d|le|eules.
A uoo do p|odulo ca|les|auo pode-se esleude| a ma|s de do|s coujuulos uo va/|os. Cous|de|audo
ago|a, l|es coujuulos e uo va/|os, o p|odulo ca|les|auo e o coujuulo dos le|uos
la|s que e . S|mbo||cameule lemos.
hesle caso, a ca|d|ua||dade do p|odulo ca|les|auo e dada po| .
e maue||a au|oga ao que lo| le|lo aule||o|meule, podemos del|u|| p|odulo ca|les|auo pa|a ma|s de l|es
coujuulos.
14
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
15
UNIVERSIDADE DO ESTADO DA BAHIA
1.2 - e|ao b|nr|a
3DUD HQWHQGHU PHOKRU R TXH VmR UHODo}HV H HP HVSHFLDO UHODo}HV ELQiULDV FRQVLGHUHPRV RV FRQMXQWRV D
VHJXLUHREVHUYHPRVRSURGXWRFDUWHVLDQRHQWUHHOHV
6HMDP p H 2SURGXWRFDUWHVLDQRHQWUHHp
GDGRSHORFRQMXQWR
p
p
&RPRMiYLPRVDQWHULRUPHQWHSHORIDWRGH H WHPRVXPSURGXWRFDUWHVLDQRHQWUHH
FRP HOHPHQWRV &RPR p XP FRQMXQWR SRGHPRV HQWmR GHVWDFDU DOJXQV GH VHXV VXEFRQMXQWRV (P
HVSHFLDO YDPRV WHQWDU FRQVWUXLU XP VXEFRQMXQWR GH TXH VDWLVIDomR D DOJXPD FRQGLomR 9HMDPRV
6HQGRXPHOHPHQWRGHH um e|emeulo de , deslaquemos em lodos os pa|es o|deuados de em
que seja do sexo . Seudo ass|m, e o coujuulo dado po|.
p
lu|c|a|meule, obse|ve que uem lodos os pa|es o|deuados do p|odulo eslo em . 0u seja, dado
um p|odulo ca|les|auo eul|e coujuulos, e poss|ve| deslaca| um seu subcoujuulo cujos e|emeulos obedecem a
uma dele|m|uada p|op||edade. 0 subcoujuulo deslacado e uma |e|ao de em .
Como e so coujuulos, podemos |ep|eseul-|os usaudo o |ag|ama de Veuu, e usa|emos uma l|echa
pa|a |ud|ca| os pa|es oude e do se/o .
A B
Na||a v v mascu||uo
Jose v v lem|u|uo
Ped|o v
l|gu|a 1. adaplado pe|o aulo|.
Na||a v
Jose v
Ped|o v
v mascu||uo
v lem|u|uo
16
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
17
UNIVERSIDADE DO ESTADO DA BAHIA
2FRQMXQWR p pFKDPDGRGHJUDIR
GDUHODomRGDGDHRJUiILFRDFLPDRQGHIRUDPXVDGRVRVGLDJUDPDVGH9HQQpGHQRPLQDGRGLDJUDPDVDJLWDOGD
UHODomR
1RWHTXHDUHODomRpGRVH[RpXPDSURSULHGDGHGRVSDUHV ,QGLFDUHPRVSRUDUHODomR
pGRVH[RHXVDUHPRVDQRWDomR RXSDUDLQGLFDUTXHHVWiUHODFLRQDGRFRPDWUDYpVGD
SURSULHGDGH (P RXWUDV SDODYUDV XVDPRV TXDQGR R SDU SHUWHQFHU DR FRQMXQWR RX VHMD
'HXPDPDQHLUDJHUDOGDGRVGRLVFRQMXQWRVHXPDUHODomRGHHPpFRQVWLWXtGDSRUWRGRVRV
SDUHV TXH VDWLVID]HP D XPD PHVPD SURSULHGDGH (VWD SURSULHGDGH GHILQH SRUWDQWR XP FRQMXQWR
chamado g|alo de . Temos que , em que .
Acompauhe ma|s um e/emp|o de |e|ao, com seu |especl|vo g|alo e d|ag|ama sag|la|.
E/emp|o. Sejam e a |e|ao 'd|v|so| de'. Temos.
p
.
Veja que podemos |ud|ca|.
v , po|s j que d|v|de .
v uo esl |e|ac|ouado com po|s j que uo d|v|de.
|ag|ama sag|la| de .
v v
v v
l|gu|a 2. adaplado pe|o aulo|.
v v
v v
LFIhI 1.2: ados do|s coujuulos e , uo va/|os, chama-se |e|ao b|u||a de em lodo subcoujuulo
do p|odulo ca|les|auo .
Podemos d|/e| apeuas que e uma |e|ao de A em B, e em cada |e|ao lemos coud|oes de dele|m|ua|
seu g|alo e seu d|ag|ama sag|la|. 0s coujuulos e so chamados, |especl|vameule, de coujuulo de pa|l|da e
coujuulo de chegada da |e|ao . ho caso pa|l|cu|a| oude d|/-se que e uma |e|ao em , ou eulo,
que e uma |e|ao sob|e . hesle caso, o coujuulo de pa|l|da e o mesmo coujuulo de chegada.
Acompauhe a|guus e/emp|os de |e|ao b|u||a. 0bse|ve que e/|b||emos a |e|ao e seu |especl|vo g|alo.
E/emp|os.
(a)
(b)
oude e
uaudo lemos uma |e|ao b|u||a de em , podemos deslaca| os e|emeulos de e de que eslo
euvo|v|dos ua |e|ao. Esles e|emeulos lo|mam subcoujuulos de e , |especl|vameule, e |ecebem uomes
espec|a|s. Veja a del|u|o desles subcoujuulos.
LFIhI 1.3: Seja uma |e|ao de em . Chama-se dom|n|o da |e|ao , o subcoujuulo de lo|mado
pe|os e|emeulos pa|a os qua|s e/|sle a|gum la| que .
LFIhI 1.4: Seja uma |e|ao de em . Chama-se |magem da |e|ao , o subcoujuulo de lo|mado
pe|os e|emeulos pa|a os qua|s e/|sle a|gum la| que .
Ass|m, s|mbo||cameule lemos.
Aqu|, podemos d|/e|, lambem, que e o co||espoudeule de al|aves da |e|ao . Couheceudo a
|e|ao, podemos eulo desc|eve| os coujuulo dom|u|o e |magem.
Acompauhe a desc||o de la|s coujuulos, uas |e|aoes e/emp||l|cadas aule||o|meule.
16
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
17
UNIVERSIDADE DO ESTADO DA BAHIA
2FRQMXQWR p pFKDPDGRGHJUDIR
GDUHODomRGDGDHRJUiILFRDFLPDRQGHIRUDPXVDGRVRVGLDJUDPDVGH9HQQpGHQRPLQDGRGLDJUDPDVDJLWDOGD
UHODomR
1RWHTXHDUHODomRpGRVH[RpXPDSURSULHGDGHGRVSDUHV ,QGLFDUHPRVSRUDUHODomR
pGRVH[RHXVDUHPRVDQRWDomR RXSDUDLQGLFDUTXHHVWiUHODFLRQDGRFRPDWUDYpVGD
SURSULHGDGH (P RXWUDV SDODYUDV XVDPRV TXDQGR R SDU SHUWHQFHU DR FRQMXQWR RX VHMD
'HXPDPDQHLUDJHUDOGDGRVGRLVFRQMXQWRVHXPDUHODomRGHHPpFRQVWLWXtGDSRUWRGRVRV
SDUHV TXH VDWLVID]HP D XPD PHVPD SURSULHGDGH (VWD SURSULHGDGH GHILQH SRUWDQWR XP FRQMXQWR
chamado g|alo de . Temos que , em que .
Acompauhe ma|s um e/emp|o de |e|ao, com seu |especl|vo g|alo e d|ag|ama sag|la|.
E/emp|o. Sejam e a |e|ao 'd|v|so| de'. Temos.
p
.
Veja que podemos |ud|ca|.
v , po|s j que d|v|de .
v uo esl |e|ac|ouado com po|s j que uo d|v|de.
|ag|ama sag|la| de .
v v
v v
l|gu|a 2. adaplado pe|o aulo|.
v v
v v
LFIhI 1.2: ados do|s coujuulos e , uo va/|os, chama-se |e|ao b|u||a de em lodo subcoujuulo
do p|odulo ca|les|auo .
Podemos d|/e| apeuas que e uma |e|ao de A em B, e em cada |e|ao lemos coud|oes de dele|m|ua|
seu g|alo e seu d|ag|ama sag|la|. 0s coujuulos e so chamados, |especl|vameule, de coujuulo de pa|l|da e
coujuulo de chegada da |e|ao . ho caso pa|l|cu|a| oude d|/-se que e uma |e|ao em , ou eulo,
que e uma |e|ao sob|e . hesle caso, o coujuulo de pa|l|da e o mesmo coujuulo de chegada.
Acompauhe a|guus e/emp|os de |e|ao b|u||a. 0bse|ve que e/|b||emos a |e|ao e seu |especl|vo g|alo.
E/emp|os.
(a)
(b)
oude e
uaudo lemos uma |e|ao b|u||a de em , podemos deslaca| os e|emeulos de e de que eslo
euvo|v|dos ua |e|ao. Esles e|emeulos lo|mam subcoujuulos de e , |especl|vameule, e |ecebem uomes
espec|a|s. Veja a del|u|o desles subcoujuulos.
LFIhI 1.3: Seja uma |e|ao de em . Chama-se dom|n|o da |e|ao , o subcoujuulo de lo|mado
pe|os e|emeulos pa|a os qua|s e/|sle a|gum la| que .
LFIhI 1.4: Seja uma |e|ao de em . Chama-se |magem da |e|ao , o subcoujuulo de lo|mado
pe|os e|emeulos pa|a os qua|s e/|sle a|gum la| que .
Ass|m, s|mbo||cameule lemos.
Aqu|, podemos d|/e|, lambem, que e o co||espoudeule de al|aves da |e|ao . Couheceudo a
|e|ao, podemos eulo desc|eve| os coujuulo dom|u|o e |magem.
Acompauhe a desc||o de la|s coujuulos, uas |e|aoes e/emp||l|cadas aule||o|meule.
18
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
19
UNIVERSIDADE DO ESTADO DA BAHIA
Em
lemos
. Em
oude e , lemos
.
epeudeudo da |e|ao b|u||a que se leuha, o coujuulo dom|u|o e o coujuulo |magem podem ou uo
co|uc|d|| com os coujuulos de pa|l|da e de chegada da |e|ao. Pa|l|cu|a|meule, uo e/emp|o
dom|u|o e |magem co|uc|dem |especl|vameule com os coujuulos de pa|l|da e chegada da |e|ao.
uma obse|vao aqu| se la/ |mpo|laule. duas |e|aoes
.
el|u|o 1.5. Seja uma |e|ao de em . Chama-se UHODomR LQYHUVD de e |ud|ca-se po|
, a
segu|ule |e|ao de em .
e aco|do com a del|u|o ap|eseulada, podemos ve||l|ca| que dada uma |e|ao, podemos cousl|u|| a
sua |uve|sa apeuas |uve|leudo a pos|o dos e|emeulos e . 0bse|ve uma cousl|uo de |e|ao |uve|sa.
Cous|de|e uovameule o coujuulo e a |e|ao ' d|v|so| de ', oude
. 0 coujuulo
.
A |e|ao |uve|sa e lambem chamada de |e|ao |ec|p|oca. Esla possu| p|op||edades bem |ule|essaules.
P|op||edades. Seja uma |e|ao de . As segu|ules al||maoes so ve|dade||as.
(a)
(b)
(c)
P|ova. (a) Seja
e, po|laulo,
. Ago|a, lemos
e podemos eulo
couc|u|| que
.
(b) Seja
e, po|laulo,
. Ago|a, lemos
.
(c) Seja
, eulo
. Po|
oul|o |ado, seja ago|a , eulo
e, po|laulo
/RJR
1R H[HPSOR DQWHULRU WHPRV RV JUDIRV GDV UHODo}HV LQYHUVDV
H
. hole que
e que
.
As |ep|eseulaoes g|l|cas de uma |e|ao se do al|aves de d|ag|ama ca|les|auo, lbua de dup|a
eul|ada ou d|ag|ama sag|la|. 0 d|ag|ama sag|la|, voce j couheceu aqu|. Couhea ago|a as duas oul|as
|ep|eseulaoes.
vTbua de dup|a eul|ada
Em uma lbua de dup|a eul|ada, ass|ua|a-se com asle||sco (*) , o quad|o que se eucoul|a ua |ule|seco
da ||uha com a co|uua se, e someule se, lo| co||espoudeule de pe|a |e|ao .
E/emp|o. em WHPRV D VHJXLQWH
WiEXDGHGXSODHQWUDGD
v|ag|ama ca|les|auo
0 pa| o|deuado e |ep|eseulado pe|o poulo do p|auo ca|les|auo de absc|ssa e o|deuada ,
|slo e, ul|||/audo as |ep|eseulaoes de poulo uo p|auo ca|les|auo.
E/emp|o. em , lemos a segu|ule
|ep|eseulao po| d|ag|ama ca|les|auo.
18
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
19
UNIVERSIDADE DO ESTADO DA BAHIA
Em
lemos
. Em
oude e , lemos
.
epeudeudo da |e|ao b|u||a que se leuha, o coujuulo dom|u|o e o coujuulo |magem podem ou uo
co|uc|d|| com os coujuulos de pa|l|da e de chegada da |e|ao. Pa|l|cu|a|meule, uo e/emp|o
dom|u|o e |magem co|uc|dem |especl|vameule com os coujuulos de pa|l|da e chegada da |e|ao.
uma obse|vao aqu| se la/ |mpo|laule. duas |e|aoes
.
el|u|o 1.5. Seja uma |e|ao de em . Chama-se UHODomR LQYHUVD de e |ud|ca-se po|
, a
segu|ule |e|ao de em .
e aco|do com a del|u|o ap|eseulada, podemos ve||l|ca| que dada uma |e|ao, podemos cousl|u|| a
sua |uve|sa apeuas |uve|leudo a pos|o dos e|emeulos e . 0bse|ve uma cousl|uo de |e|ao |uve|sa.
Cous|de|e uovameule o coujuulo e a |e|ao ' d|v|so| de ', oude
. 0 coujuulo
.
A |e|ao |uve|sa e lambem chamada de |e|ao |ec|p|oca. Esla possu| p|op||edades bem |ule|essaules.
P|op||edades. Seja uma |e|ao de . As segu|ules al||maoes so ve|dade||as.
(a)
(b)
(c)
P|ova. (a) Seja
e, po|laulo,
. Ago|a, lemos
e podemos eulo
couc|u|| que
.
(b) Seja
e, po|laulo,
. Ago|a, lemos
.
(c) Seja
, eulo
. Po|
oul|o |ado, seja ago|a , eulo
e, po|laulo
/RJR
1R H[HPSOR DQWHULRU WHPRV RV JUDIRV GDV UHODo}HV LQYHUVDV
H
. hole que
e que
.
As |ep|eseulaoes g|l|cas de uma |e|ao se do al|aves de d|ag|ama ca|les|auo, lbua de dup|a
eul|ada ou d|ag|ama sag|la|. 0 d|ag|ama sag|la|, voce j couheceu aqu|. Couhea ago|a as duas oul|as
|ep|eseulaoes.
vTbua de dup|a eul|ada
Em uma lbua de dup|a eul|ada, ass|ua|a-se com asle||sco (*) , o quad|o que se eucoul|a ua |ule|seco
da ||uha com a co|uua se, e someule se, lo| co||espoudeule de pe|a |e|ao .
E/emp|o. em WHPRV D VHJXLQWH
WiEXDGHGXSODHQWUDGD
v|ag|ama ca|les|auo
0 pa| o|deuado e |ep|eseulado pe|o poulo do p|auo ca|les|auo de absc|ssa e o|deuada ,
|slo e, ul|||/audo as |ep|eseulaoes de poulo uo p|auo ca|les|auo.
E/emp|o. em , lemos a segu|ule
|ep|eseulao po| d|ag|ama ca|les|auo.
20
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
21
UNIVERSIDADE DO ESTADO DA BAHIA
l|gu|a 8. adaplado pe|o aulo|.
hole que o d|ag|ama da |e|ao ac|ma cous|sle de poulos. Aqu|, usamos a |ep|eseulao usua| de
poulos uo p|auo ca|les|auo.
1.2.1 - Fropr|edades das re|aes b|nr|as
uma |e|ao b|u||a , eul|e os e|emeulos de um coujuulo uo va/|o , ca|acle||/a-se po| me|o das
p|op||edades que se seguem, cous|de|audo qua|sque| .
vP|op||edade Rel|e/|va.
|/emos que uma |e|ao e |el|e/|va quaudo, pa|a qua|que| , lemos . lslo e, lodo e|emeulo do
coujuulo esl |e|ac|ouado a s| mesmo.
vP|op||edade Aul|||el|e/|va.
|/emos que uma |e|ao e aul|||el|e/|va quaudo, pa|a qua|que| , uo lemos . lslo e, ueuhum
e|emeulo do coujuulo esl |e|ac|ouado a s| mesmo.
vP|op||edade S|mel||ca.
|/emos que uma |e|ao e s|mel||ca quaudo, pa|a qua|sque| , se , eulo . lslo e, se
esl|ve| |e|ac|ouado a , eulo esla| |e|ac|ouado a .
vP|op||edade Aul|ss|mel||ca.
[
\
|/emos que uma |e|ao e aul|ss|mel||ca quaudo, pa|a qua|sque| , se e , eulo
. Ass|m, se e so e|emeulos d|sl|ulos de , uo pode acoulece| de esla| |e|ac|ouado a e esla|
|e|ac|ouado a .
vP|op||edade T|aus|l|va.
|/emos que uma |e|ao e l|aus|l|va quaudo, pa|a qua|sque| , se e , eulo .
lslo e, se esl|ve| |e|ac|ouado a e esl|ve| |e|ac|ouado a , eulo esla| |e|ac|ouado a .
Pa|a comp|eeude| me|ho| as del|u|oes ac|ma, acompauhe um e/emp|o de |e|ao b|u||a, e obse|ve as
p|op||edades sal|sle|las ua |ele||da |e|ao.
Seja P um coujuulo de pessoas e seja a |e|ao 'e pa|/me de' sob|e P. 0bse|ve que esla |e|ao e
aul|||el|e/|va, po|s uma pessoa uo pode se| pa| uem me de|a mesma, uo e s|mel||ca, po|s se uma pessoa e
pa| ou me de oul|a , o |uve|so uuuca e ve|dade||o, lambem uo e l|aus|l|va, po|s se uma pessoa lo| pa|/me
de uma pessoa , e esla pessoa lo| pa|/me de uma pessoa , |slo uo ga|aule que seja pa|/me da pessoa
.
Acompauhe, ago|a, oul|os e/emp|os de |e|aoes b|u||as ve||l|caudo qua|s p|op||edades eslas |e|aoes
sal|sla/em ou uo.
E/emp|os.
(a) A |e|ao
, e aul|ss|mel||ca e l|aus|l|va.
(b) A |e|ao
o pa| .
(c) A |e|ao
T
I
C
A
21
UNIVERSIDADE DO ESTADO DA BAHIA
l|gu|a 8. adaplado pe|o aulo|.
hole que o d|ag|ama da |e|ao ac|ma cous|sle de poulos. Aqu|, usamos a |ep|eseulao usua| de
poulos uo p|auo ca|les|auo.
1.2.1 - Fropr|edades das re|aes b|nr|as
uma |e|ao b|u||a , eul|e os e|emeulos de um coujuulo uo va/|o , ca|acle||/a-se po| me|o das
p|op||edades que se seguem, cous|de|audo qua|sque| .
vP|op||edade Rel|e/|va.
|/emos que uma |e|ao e |el|e/|va quaudo, pa|a qua|que| , lemos . lslo e, lodo e|emeulo do
coujuulo esl |e|ac|ouado a s| mesmo.
vP|op||edade Aul|||el|e/|va.
|/emos que uma |e|ao e aul|||el|e/|va quaudo, pa|a qua|que| , uo lemos . lslo e, ueuhum
e|emeulo do coujuulo esl |e|ac|ouado a s| mesmo.
vP|op||edade S|mel||ca.
|/emos que uma |e|ao e s|mel||ca quaudo, pa|a qua|sque| , se , eulo . lslo e, se
esl|ve| |e|ac|ouado a , eulo esla| |e|ac|ouado a .
vP|op||edade Aul|ss|mel||ca.
[
\
|/emos que uma |e|ao e aul|ss|mel||ca quaudo, pa|a qua|sque| , se e , eulo
. Ass|m, se e so e|emeulos d|sl|ulos de , uo pode acoulece| de esla| |e|ac|ouado a e esla|
|e|ac|ouado a .
vP|op||edade T|aus|l|va.
|/emos que uma |e|ao e l|aus|l|va quaudo, pa|a qua|sque| , se e , eulo .
lslo e, se esl|ve| |e|ac|ouado a e esl|ve| |e|ac|ouado a , eulo esla| |e|ac|ouado a .
Pa|a comp|eeude| me|ho| as del|u|oes ac|ma, acompauhe um e/emp|o de |e|ao b|u||a, e obse|ve as
p|op||edades sal|sle|las ua |ele||da |e|ao.
Seja P um coujuulo de pessoas e seja a |e|ao 'e pa|/me de' sob|e P. 0bse|ve que esla |e|ao e
aul|||el|e/|va, po|s uma pessoa uo pode se| pa| uem me de|a mesma, uo e s|mel||ca, po|s se uma pessoa e
pa| ou me de oul|a , o |uve|so uuuca e ve|dade||o, lambem uo e l|aus|l|va, po|s se uma pessoa lo| pa|/me
de uma pessoa , e esla pessoa lo| pa|/me de uma pessoa , |slo uo ga|aule que seja pa|/me da pessoa
.
Acompauhe, ago|a, oul|os e/emp|os de |e|aoes b|u||as ve||l|caudo qua|s p|op||edades eslas |e|aoes
sal|sla/em ou uo.
E/emp|os.
(a) A |e|ao
, e aul|ss|mel||ca e l|aus|l|va.
(b) A |e|ao
o pa| .
(c) A |e|ao
T
I
C
A
23
UNIVERSIDADE DO ESTADO DA BAHIA
pe|a ma|cao de lodas as eul|adas ua d|agoua| p||uc|pa|. A |e|ao em del|u|da po|
e |el|e/|va e sua lbua de dup|a eul|ada e dada po|.
Coul|uuaudo com as obse|vaoes, em uma |e|ao s|mel||ca, |ep|eseulada pe|o d|ag|ama ca|les|auo,
lemos que pa|a cada poulo do p|auo pe|leuceule |e|ao, o seu s|mel||co com |espe|lo p||me||a b|ssel||/
lambem pe|leuce |e|ao. A |e|ao em del|u|da po|
e s|mel||ca. Veja seu d|ag|ama ca|les|auo.
l|gu|a 4. adaplado pe|o aulo|.
Aps couhece| as p|op||edades de uma |e|ao b|u||a, vamos couhece| um l|po de |e|ao mu|lo
|mpo|laule pa|a os esludos em maleml|ca. Teuho ce|le/a que voce |deul|l|ca| esla |e|ao que esluda|emos
uas d|ve|sas |eas j esludadas.
[
\
\[
1.3 - e|ao de equ|va|nc|a
As |e|aoes de equ|va|euc|a so de g|aude |mpo|luc|a uo esludo da maleml|ca. Al|aves de|as podemos
|deul|l|ca|, po| e/emp|o, um dele|m|uado coujuulo com oul|o que leuha e|emeulos ma|s s|mp|es pa|a elelua|
ope|aoes. 0 p|p||o uome da |e|ao j uos |eva a essa |de|a |ulu|l|va. 'equ|va|e' uos |emb|a 'mesma co|sa'.
Ass|m, euleudemos que duas co|sas so equ|va|eules quaudo podemos |deul|l|c-|as al|aves das mesmas
p|op||edades e ca|acle||sl|cas. Vamos couhece| eulo a |e|ao de equ|va|euc|a?
LFIhI 1.6: Sejam um coujuulo uo va/|o e uma |e|ao em . |/-se que e uma |e|ao de
equ|va|euc|a se, e someule se, e l|aus|l|va, s|mel||ca e |el|e/|va, ou seja.
hole que pa|a uma |e|ao se| de equ|va|euc|a, basla que e|a sal|slaa a l|es p|op||edades. l|aus|l|va,
s|mel||ca e |el|e/|va. Se e uma |e|ao de equ|va|euc|a sob|e e , eulo usamos a segu|ule uolao.
Esla uolao s|gu|l|ca que e equ|va|eule a mdu|o .
E/emp|os.
(a) Seudo e , lemos |el|e/|va, s|mel||ca e
l|aus|l|va, |ogo uma |e|ao de equ|va|euc|a.
(b) Seudo e a |e|ao la| que . Veja que e uma |e|ao de equ|va|euc|a. e
|el|e/|va j que , po|s , e s|mel||ca, po|s se lemos , j que e a mesma co|sa que
, e l|aus|l|va, po|s se e lemos , j que se e lemos, com ce|le/a, .
(c) A |e|ao de pa|a|e||smo del|u|da sob|e as |elas de um espao euc||d|auo e uma |e|ao de
equ|va|euc|a. Seudo duas |elas do espao euc||d|auo, usa|emos a uolao pa|a |ep|eseula| a
|e|ao ac|ma. Veja que e|a e |el|e/|va, po|s j que pa|a loda |ela do espao, e|a e s|mel||ca po|s se
lemos , j que se lemos e e l|aus|l|va po|s se e eulo lemos .
22
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
23
UNIVERSIDADE DO ESTADO DA BAHIA
pe|a ma|cao de lodas as eul|adas ua d|agoua| p||uc|pa|. A |e|ao em del|u|da po|
e |el|e/|va e sua lbua de dup|a eul|ada e dada po|.
Coul|uuaudo com as obse|vaoes, em uma |e|ao s|mel||ca, |ep|eseulada pe|o d|ag|ama ca|les|auo,
lemos que pa|a cada poulo do p|auo pe|leuceule |e|ao, o seu s|mel||co com |espe|lo p||me||a b|ssel||/
lambem pe|leuce |e|ao. A |e|ao em del|u|da po|
e s|mel||ca. Veja seu d|ag|ama ca|les|auo.
l|gu|a 4. adaplado pe|o aulo|.
Aps couhece| as p|op||edades de uma |e|ao b|u||a, vamos couhece| um l|po de |e|ao mu|lo
|mpo|laule pa|a os esludos em maleml|ca. Teuho ce|le/a que voce |deul|l|ca| esla |e|ao que esluda|emos
uas d|ve|sas |eas j esludadas.
[
\
\[
1.3 - e|ao de equ|va|nc|a
As |e|aoes de equ|va|euc|a so de g|aude |mpo|luc|a uo esludo da maleml|ca. Al|aves de|as podemos
|deul|l|ca|, po| e/emp|o, um dele|m|uado coujuulo com oul|o que leuha e|emeulos ma|s s|mp|es pa|a elelua|
ope|aoes. 0 p|p||o uome da |e|ao j uos |eva a essa |de|a |ulu|l|va. 'equ|va|e' uos |emb|a 'mesma co|sa'.
Ass|m, euleudemos que duas co|sas so equ|va|eules quaudo podemos |deul|l|c-|as al|aves das mesmas
p|op||edades e ca|acle||sl|cas. Vamos couhece| eulo a |e|ao de equ|va|euc|a?
LFIhI 1.6: Sejam um coujuulo uo va/|o e uma |e|ao em . |/-se que e uma |e|ao de
equ|va|euc|a se, e someule se, e l|aus|l|va, s|mel||ca e |el|e/|va, ou seja.
hole que pa|a uma |e|ao se| de equ|va|euc|a, basla que e|a sal|slaa a l|es p|op||edades. l|aus|l|va,
s|mel||ca e |el|e/|va. Se e uma |e|ao de equ|va|euc|a sob|e e , eulo usamos a segu|ule uolao.
Esla uolao s|gu|l|ca que e equ|va|eule a mdu|o .
E/emp|os.
(a) Seudo e , lemos |el|e/|va, s|mel||ca e
l|aus|l|va, |ogo uma |e|ao de equ|va|euc|a.
(b) Seudo e a |e|ao la| que . Veja que e uma |e|ao de equ|va|euc|a. e
|el|e/|va j que , po|s , e s|mel||ca, po|s se lemos , j que e a mesma co|sa que
, e l|aus|l|va, po|s se e lemos , j que se e lemos, com ce|le/a, .
(c) A |e|ao de pa|a|e||smo del|u|da sob|e as |elas de um espao euc||d|auo e uma |e|ao de
equ|va|euc|a. Seudo duas |elas do espao euc||d|auo, usa|emos a uolao pa|a |ep|eseula| a
|e|ao ac|ma. Veja que e|a e |el|e/|va, po|s j que pa|a loda |ela do espao, e|a e s|mel||ca po|s se
lemos , j que se lemos e e l|aus|l|va po|s se e eulo lemos .
24
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
25
UNIVERSIDADE DO ESTADO DA BAHIA
1.3.1 - 0|asse de equ|va|nc|a
LFIhI 1.7: Se e uma |e|ao de equ|va|euc|a sob|e um coujuulo pa|a cada , o coujuulo
e chamado de c|asse de equ|va|euc|a dele|m|uada po| mdu|o .
Veja que a c|asse de equ|va|euc|a de um dele|m|uado e|emeulo do coujuulo uuuca e um coujuulo
va/|o. lslo se d po|que a |e|ao al|aves da qua| se del|ue uma c|asse de equ|va|euc|a e |el|e/|va, seudo ass|m
e, po|laulo, .
E/emp|o. Sejam e uma |e|ao. hole que e
de equ|va|euc|a. Temos as segu|ules c|asses de equ|va|euc|a.
Voce deve le| pe|ceb|do que a uu|o das c|asses de equ|va|euc|a, do e/emp|o aule||o|, |esu|la uo coujuulo
ou seja, lemos
P|ova. Sejam .
(a) Supouha que e seja , |slo e, . Po| l|aus|l|v|dade lemos que e, po|laulo, . lslo
uos d|/ que . Po| oul|o |ado, seja . Ass|m, e po| s|mel||a , po| l|aus|l|v|dade . lslo uos
mosl|a que e que . as duas |uc|usoes mosl|adas couc|u|mos que .
Rec|p|ocameule, supouha que . Sabemos que, pe|a p|op||edade |el|e/|va, . Como, po|
h|plese, , lemos que . Logo, couc|u|mos que .
(b) Supouha que e, supouhamos, po| absu|do, que . Seja . Ass|m, , o
que uos |eva a , e , o que uos |eva a . Pe|a p|op||edade de s|mel||a, lemos . Ass|m, pe|a
l|aus|l|v|dade, e , uos |eva a . Pe|o |lem (a), lemos eulo que , o que coul|ad|/ a uossa
h|plese. Seudo ass|m, segue que , quaudo .
(c) e , pa|a lodo , segue que
Esle |esu|lado uos ab|e a poss|b|||dade de d|v|d|| o coujuulo em subcoujuulos uo va/|os, que uu|dos
vo|lam a se| o p|p||o coujuulo . E ma|s, esles subcoujuulos, quaudo lem e|emeulos em comum so |gua|s.
Esla e a uoo da pa|l|o em um coujuulo. Pa|a comea|mos a esluda| sob|e |slo, couhea ma|s uma
del|u|o.
LFIhI 1.9: Seja uma |e|ao de equ|va|euc|a sob|e . 0 coujuulo de lodas as c|asses de equ|va|euc|a
mdu|o , se| |ud|cado po| e chamado de coujuulo quoc|eule de po| .
E/emp|o. Sejam e uma |e|ao. hole que e
de equ|va|euc|a. Temos as segu|ules c|asses de equ|va|euc|a. , , . 0 coujuulo
quoc|eule e dado po|. . Como ,
.
hole que o coujuulo quoc|eule e um coujuulo de subcoujuulos de Como v|mos ua p|opos|o aule||o|,
os subcoujuulos so d|sjuulos, ou seja, uo possuem e|emeulos em comum eul|e s|. 0 coujuulo quoc|eule
lambem esl assoc|ado pa|l|o de um coujuulo. Vamos couhece| esla del|u|o e em segu|da assoc|-|a s
c|asses de equ|va|euc|a e, cousequeulemeule ao coujuulo quoc|eule.
LFIhI 1.10: Seja um coujuulo uo va/|o. uma co|eo de subcoujuulos de e d|la uma pa|l|o de
se, e someule se,
24
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
25
UNIVERSIDADE DO ESTADO DA BAHIA
1.3.1 - 0|asse de equ|va|nc|a
LFIhI 1.7: Se e uma |e|ao de equ|va|euc|a sob|e um coujuulo pa|a cada , o coujuulo
e chamado de c|asse de equ|va|euc|a dele|m|uada po| mdu|o .
Veja que a c|asse de equ|va|euc|a de um dele|m|uado e|emeulo do coujuulo uuuca e um coujuulo
va/|o. lslo se d po|que a |e|ao al|aves da qua| se del|ue uma c|asse de equ|va|euc|a e |el|e/|va, seudo ass|m
e, po|laulo, .
E/emp|o. Sejam e uma |e|ao. hole que e
de equ|va|euc|a. Temos as segu|ules c|asses de equ|va|euc|a.
Voce deve le| pe|ceb|do que a uu|o das c|asses de equ|va|euc|a, do e/emp|o aule||o|, |esu|la uo coujuulo
ou seja, lemos
P|ova. Sejam .
(a) Supouha que e seja , |slo e, . Po| l|aus|l|v|dade lemos que e, po|laulo, . lslo
uos d|/ que . Po| oul|o |ado, seja . Ass|m, e po| s|mel||a , po| l|aus|l|v|dade . lslo uos
mosl|a que e que . as duas |uc|usoes mosl|adas couc|u|mos que .
Rec|p|ocameule, supouha que . Sabemos que, pe|a p|op||edade |el|e/|va, . Como, po|
h|plese, , lemos que . Logo, couc|u|mos que .
(b) Supouha que e, supouhamos, po| absu|do, que . Seja . Ass|m, , o
que uos |eva a , e , o que uos |eva a . Pe|a p|op||edade de s|mel||a, lemos . Ass|m, pe|a
l|aus|l|v|dade, e , uos |eva a . Pe|o |lem (a), lemos eulo que , o que coul|ad|/ a uossa
h|plese. Seudo ass|m, segue que , quaudo .
(c) e , pa|a lodo , segue que
Esle |esu|lado uos ab|e a poss|b|||dade de d|v|d|| o coujuulo em subcoujuulos uo va/|os, que uu|dos
vo|lam a se| o p|p||o coujuulo . E ma|s, esles subcoujuulos, quaudo lem e|emeulos em comum so |gua|s.
Esla e a uoo da pa|l|o em um coujuulo. Pa|a comea|mos a esluda| sob|e |slo, couhea ma|s uma
del|u|o.
LFIhI 1.9: Seja uma |e|ao de equ|va|euc|a sob|e . 0 coujuulo de lodas as c|asses de equ|va|euc|a
mdu|o , se| |ud|cado po| e chamado de coujuulo quoc|eule de po| .
E/emp|o. Sejam e uma |e|ao. hole que e
de equ|va|euc|a. Temos as segu|ules c|asses de equ|va|euc|a. , , . 0 coujuulo
quoc|eule e dado po|. . Como ,
.
hole que o coujuulo quoc|eule e um coujuulo de subcoujuulos de Como v|mos ua p|opos|o aule||o|,
os subcoujuulos so d|sjuulos, ou seja, uo possuem e|emeulos em comum eul|e s|. 0 coujuulo quoc|eule
lambem esl assoc|ado pa|l|o de um coujuulo. Vamos couhece| esla del|u|o e em segu|da assoc|-|a s
c|asses de equ|va|euc|a e, cousequeulemeule ao coujuulo quoc|eule.
LFIhI 1.10: Seja um coujuulo uo va/|o. uma co|eo de subcoujuulos de e d|la uma pa|l|o de
se, e someule se,
26
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
27
UNIVERSIDADE DO ESTADO DA BAHIA
e eulo, ou se eulo,
Veja que a pa|l|o de um coujuulo, uada ma|s e do que uma co|eo de subcoujuulos d|sjuulos, ou seja,
sem e|emeulos em comum, que ao se|em uu|dos |esu|lam uo coujuulo o||g|ua|. Acompauhe a|guus e/emp|os de
pa|l|o de coujuulo.
E/emp|os.
(a) Seja e seja a co|eo de subcoujuulos a co|eo ap|eseulada e
uma pa|l|o do coujuulo Veja uma |ep|eseulao g|l|ca desla pa|l|o.
l|gu|a 5. adaplado pe|o aulo|.
(b) Seja e seja a co|eo de subcoujuulos dada po| , em que
e . Veja que. os e|emeulos de so uo va/|os, so d|sjuulos e uu|dos |esu|lam em .
Seudo ass|m, e uma pa|l|o de .
l|gu|a G. adaplado pe|o aulo|.
VOC SABA??
O conjunto dos nmeros irracionais tambm pode ser representado atravs da notao .
Como meuc|ouado aule||o|meule, la|emos uma assoc|ao eul|e a pa|l|o de um coujuulo e as c|asses
de equ|va|euc|a. Acompauhe o euuuc|ado do p|/|mo leo|ema.
TLLNA 1.11: Seja uma |e|ao de equ|va|euc|a sob|e um coujuulo . Eulo o coujuulo quoc|eule de po|
, , e uma pa|l|o de .
P|ova. Pa|a mosl|a| que e uma pa|l|o de , basla ve||l|ca| as l|es coud|oes da del|u|o de
pa|l|o de um coujuulo, ou seja, ve||l|ca| que lodo subcoujuulo e uo va/|o, que os subcoujuulos so d|sl|ulos
do|s a do|s e que a uu|o |esu|la uo p|p||o coujuulo .
Seja . Seudo uma |e|ao de equ|va|euc|a, e |el|e/|va e eulo , o que uos |eva a
e, po|laulo, .
Sejam e pe|leuceules a la|s que , eulo e/|sle . Segue que e
, e pe|a p|opos|o 1.8 lemos e . Logo, .
Se eulo . Logo podemos couc|u|| que
e que, po|laulo,
. as duas |uc|usoes
ac|ma, podemos couc|u|| eulo que
.
Ass|m, acabamos de mosl|a| que o coujuulo quoc|eule de po| , e uma pa|l|o de .
E/emp|o. Sejam e a |e|ao de equ|va|euc|a .
hole que e . Ass|m,
e lemos
Aqu|, va|e lambem a |ec|p|oca, ou seja, quaudo lemos uma pa|l|o em um coujuulo, esla esl assoc|ada
a uma |e|ao de equ|va|euc|a. Veja |slo uo p|/|mo leo|ema.
TLLNA 1.12: Se e uma pa|l|o de , eulo e/|sle uma |e|ao de equ|va|euc|a sob|e la| que
.
P|ova] Seja a |e|ao sob|e del|u|da da segu|ule lo|ma.
|slo e, esl em |e|ao com quaudo e/|sle um coujuulo da pa|l|o que coulem e .
P|ec|samos mosl|a| que e de equ|va|euc|a, ou seja, que e |el|e/|va, s|mel||ca e l|aus|l|va.
Pa|a lodo , e/|sle uma c|asse la| que e eulo . Logo e |el|e/|va.
??
VOC SABIA?
O conjunto dos nmeros irracionais tambm pode ser representado atravs da notao Q.
26
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
27
UNIVERSIDADE DO ESTADO DA BAHIA
e eulo, ou se eulo,
Veja que a pa|l|o de um coujuulo, uada ma|s e do que uma co|eo de subcoujuulos d|sjuulos, ou seja,
sem e|emeulos em comum, que ao se|em uu|dos |esu|lam uo coujuulo o||g|ua|. Acompauhe a|guus e/emp|os de
pa|l|o de coujuulo.
E/emp|os.
(a) Seja e seja a co|eo de subcoujuulos a co|eo ap|eseulada e
uma pa|l|o do coujuulo Veja uma |ep|eseulao g|l|ca desla pa|l|o.
l|gu|a 5. adaplado pe|o aulo|.
(b) Seja e seja a co|eo de subcoujuulos dada po| , em que
e . Veja que. os e|emeulos de so uo va/|os, so d|sjuulos e uu|dos |esu|lam em .
Seudo ass|m, e uma pa|l|o de .
l|gu|a G. adaplado pe|o aulo|.
VOC SABA??
O conjunto dos nmeros irracionais tambm pode ser representado atravs da notao .
Como meuc|ouado aule||o|meule, la|emos uma assoc|ao eul|e a pa|l|o de um coujuulo e as c|asses
de equ|va|euc|a. Acompauhe o euuuc|ado do p|/|mo leo|ema.
TLLNA 1.11: Seja uma |e|ao de equ|va|euc|a sob|e um coujuulo . Eulo o coujuulo quoc|eule de po|
, , e uma pa|l|o de .
P|ova. Pa|a mosl|a| que e uma pa|l|o de , basla ve||l|ca| as l|es coud|oes da del|u|o de
pa|l|o de um coujuulo, ou seja, ve||l|ca| que lodo subcoujuulo e uo va/|o, que os subcoujuulos so d|sl|ulos
do|s a do|s e que a uu|o |esu|la uo p|p||o coujuulo .
Seja . Seudo uma |e|ao de equ|va|euc|a, e |el|e/|va e eulo , o que uos |eva a
e, po|laulo, .
Sejam e pe|leuceules a la|s que , eulo e/|sle . Segue que e
, e pe|a p|opos|o 1.8 lemos e . Logo, .
Se eulo . Logo podemos couc|u|| que
e que, po|laulo,
. as duas |uc|usoes
ac|ma, podemos couc|u|| eulo que
.
Ass|m, acabamos de mosl|a| que o coujuulo quoc|eule de po| , e uma pa|l|o de .
E/emp|o. Sejam e a |e|ao de equ|va|euc|a .
hole que e . Ass|m,
e lemos
Aqu|, va|e lambem a |ec|p|oca, ou seja, quaudo lemos uma pa|l|o em um coujuulo, esla esl assoc|ada
a uma |e|ao de equ|va|euc|a. Veja |slo uo p|/|mo leo|ema.
TLLNA 1.12: Se e uma pa|l|o de , eulo e/|sle uma |e|ao de equ|va|euc|a sob|e la| que
.
P|ova] Seja a |e|ao sob|e del|u|da da segu|ule lo|ma.
|slo e, esl em |e|ao com quaudo e/|sle um coujuulo da pa|l|o que coulem e .
P|ec|samos mosl|a| que e de equ|va|euc|a, ou seja, que e |el|e/|va, s|mel||ca e l|aus|l|va.
Pa|a lodo , e/|sle uma c|asse la| que e eulo . Logo e |el|e/|va.
28
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
29
UNIVERSIDADE DO ESTADO DA BAHIA
Seudo e lemos que . , eulo e/|sle la| que , |slo uos |eva a e, eulo,
lemos . Logo e s|mel||ca.
Seudo lemos.
la| que
la| que
Como
so e|emeulos da pa|l|o e
, eulo lemos
. Po|laulo
e da| . Logo e l|aus|l|va.
E/emp|o. ada a pa|l|o do coujuulo , podemos
assoc|-|a segu|ule |e|ao de equ|va|euc|a.
l|gu|a 7. adaplado pe|o aulo|.
.
1.4 - e|ao de ordem
uma |e|ao em um coujuulo lambem pode se| c|ass|l|cada como |e|ao de o|dem. Pa|a |sso, basla
que la| |e|ao sal|slaa a oul|o g|upo de p|op||edades. A |e|ao de o|dem, como o uome j suge|e, uos d
|de|a de boa o|deuao eul|e os e|emeulos de um coujuulo.
LFIhI 1.13: Sejam um coujuulo uo va/|o e uma |e|ao sob|e . |/-se que e uma |e|ao de
o|dem pa|c|a| se, e someule se, e |el|e/|va, aul|ss|mel||ca e l|aus|l|va, ou seja.
uaudo e uma |e|ao de o|dem pa|c|a| sob|e , pa|a |ud|ca|mos que usa|emos
, que se |e ' p|ecede ua |e|ao '. Pa|a |ud|ca|mos que e , usa|emos a uolao
, que se |e ' p|ecede esl||lameule ua |e|ao '.
A p||uc|pa| ca|acle||sl|ca de uma |e|ao de o|dem e o|deua|, como o uome j suge|e, os e|emeulos de um
coujuulo.
LFIhI 1.14: um coujuulo pa|c|a|meule o|deuado e um coujuulo sob|e o qua| se del|u|u uma ce|la |e|ao
de o|dem pa|c|a|.
LFIhI 1.16: Seja uma |e|ao de o|dem pa|c|a| sob|e . 0s e|emeulos se d|/em compa|ve|s
med|aule se ou .
LFIhI 1.16: Se do|s e|emeulos qua|sque| de lo|em compa|ve|s med|aule , eulo se| chamada
|e|ao de o|dem lola| sob|e . 0 coujuulo , uesle caso, e chamado coujuulo lola|meule o|deuado.
E/emp|os. (a) Sejam e a |e|ao . Esla
|e|ao |ep|eseula uma |e|ao de o|dem lola| em . E|a e |el|e/|va, aul|ss|mel||ca e l|aus|l|va. uma |e|ao de
o|dem lola|, po|s lodos os e|emeulos so compa|ave|s.
(b) Sejam dados e e a |e|ao ' '. Esla |e|ao e uma |e|ao de o|dem lola|. E|a e
s|mel||ca, aul|ss|mel||ca e l|aus|l|va. veja que dados do|s e|emeulos de , podemos semp|e compa|-|os usaudo
a |e|ao 'meuo| ou |gua| que'.
28
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
29
UNIVERSIDADE DO ESTADO DA BAHIA
Seudo e lemos que . , eulo e/|sle la| que , |slo uos |eva a e, eulo,
lemos . Logo e s|mel||ca.
Seudo lemos.
la| que
la| que
Como
so e|emeulos da pa|l|o e
, eulo lemos
. Po|laulo
e da| . Logo e l|aus|l|va.
E/emp|o. ada a pa|l|o do coujuulo , podemos
assoc|-|a segu|ule |e|ao de equ|va|euc|a.
l|gu|a 7. adaplado pe|o aulo|.
.
1.4 - e|ao de ordem
uma |e|ao em um coujuulo lambem pode se| c|ass|l|cada como |e|ao de o|dem. Pa|a |sso, basla
que la| |e|ao sal|slaa a oul|o g|upo de p|op||edades. A |e|ao de o|dem, como o uome j suge|e, uos d
|de|a de boa o|deuao eul|e os e|emeulos de um coujuulo.
LFIhI 1.13: Sejam um coujuulo uo va/|o e uma |e|ao sob|e . |/-se que e uma |e|ao de
o|dem pa|c|a| se, e someule se, e |el|e/|va, aul|ss|mel||ca e l|aus|l|va, ou seja.
uaudo e uma |e|ao de o|dem pa|c|a| sob|e , pa|a |ud|ca|mos que usa|emos
, que se |e ' p|ecede ua |e|ao '. Pa|a |ud|ca|mos que e , usa|emos a uolao
, que se |e ' p|ecede esl||lameule ua |e|ao '.
A p||uc|pa| ca|acle||sl|ca de uma |e|ao de o|dem e o|deua|, como o uome j suge|e, os e|emeulos de um
coujuulo.
LFIhI 1.14: um coujuulo pa|c|a|meule o|deuado e um coujuulo sob|e o qua| se del|u|u uma ce|la |e|ao
de o|dem pa|c|a|.
LFIhI 1.16: Seja uma |e|ao de o|dem pa|c|a| sob|e . 0s e|emeulos se d|/em compa|ve|s
med|aule se ou .
LFIhI 1.16: Se do|s e|emeulos qua|sque| de lo|em compa|ve|s med|aule , eulo se| chamada
|e|ao de o|dem lola| sob|e . 0 coujuulo , uesle caso, e chamado coujuulo lola|meule o|deuado.
E/emp|os. (a) Sejam e a |e|ao . Esla
|e|ao |ep|eseula uma |e|ao de o|dem lola| em . E|a e |el|e/|va, aul|ss|mel||ca e l|aus|l|va. uma |e|ao de
o|dem lola|, po|s lodos os e|emeulos so compa|ave|s.
(b) Sejam dados e e a |e|ao ' '. Esla |e|ao e uma |e|ao de o|dem lola|. E|a e
s|mel||ca, aul|ss|mel||ca e l|aus|l|va. veja que dados do|s e|emeulos de , podemos semp|e compa|-|os usaudo
a |e|ao 'meuo| ou |gua| que'.
30
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
31
UNIVERSIDADE DO ESTADO DA BAHIA
SuEST0ES E ATlVlAES
O1. um coujuulo E s l lem 48 e|emeulos. |/e|, e/am|uaudo lodas as poss|b|||dades, quaulos e|emeulos pode le| o coujuulo E e
quaulos pode le| o coujuulo l.
O2. Seja o g|alo de uma |e|ao sob|e .
a) Cousl|ua um g|l|co pa|a esla |e|ao.
b) ele|m|ue o dom|u|o e |magem da |e|ao.
O8. Sejam e a |e|ao em dada po|
a) ele|m|ua| o dom|u|o e a |magem de ,
b) ele|m|ua| os e|emeulos da |e|ao |ec|p|oca,
,
c) ele|m|ua| o d|ag|ama sag|la| da |e|ao
.
d) ele|m|ua| os e|emeulos dos segu|ules coujuulos.
O4. |/e|, jusl|l|caudo, se so ve|dade||as ou la|sas as al||maoes segu|ules.
a) A |e|ao ' ' e |el|e/|va em .
b) A |e|ao de 'o|logoua||dade' e l|aus|l|va uo coujuulo das |elas do p|auo.
c) Toda |e|ao |el|e/|va e l|aus|l|va.
d) A |ec|p|oca da |e|ao ' ' e a |e|ao ' '.
e) Toda |e|ao uo s|mel||ca e aul|ss|mel||ca .
l) A |e|ao de 'le| os mesmos pa|s' e uma |e|ao de equ|va|euc|a.
g) A |e|ao de 'seme|haua' uo coujuulo dos l||ugu|os e uma |e|ao de equ|va|euc|a.
h) Se e um coujuulo, eulo u e o g|alo de uma |e|ao de equ|va|euc|a.
O5. ho coujuulo a |e|ao '
T
I
C
A
31
UNIVERSIDADE DO ESTADO DA BAHIA
SuEST0ES E ATlVlAES
O1. um coujuulo E s l lem 48 e|emeulos. |/e|, e/am|uaudo lodas as poss|b|||dades, quaulos e|emeulos pode le| o coujuulo E e
quaulos pode le| o coujuulo l.
O2. Seja o g|alo de uma |e|ao sob|e .
a) Cousl|ua um g|l|co pa|a esla |e|ao.
b) ele|m|ue o dom|u|o e |magem da |e|ao.
O8. Sejam e a |e|ao em dada po|
a) ele|m|ua| o dom|u|o e a |magem de ,
b) ele|m|ua| os e|emeulos da |e|ao |ec|p|oca,
,
c) ele|m|ua| o d|ag|ama sag|la| da |e|ao
.
d) ele|m|ua| os e|emeulos dos segu|ules coujuulos.
O4. |/e|, jusl|l|caudo, se so ve|dade||as ou la|sas as al||maoes segu|ules.
a) A |e|ao ' ' e |el|e/|va em .
b) A |e|ao de 'o|logoua||dade' e l|aus|l|va uo coujuulo das |elas do p|auo.
c) Toda |e|ao |el|e/|va e l|aus|l|va.
d) A |ec|p|oca da |e|ao ' ' e a |e|ao ' '.
e) Toda |e|ao uo s|mel||ca e aul|ss|mel||ca .
l) A |e|ao de 'le| os mesmos pa|s' e uma |e|ao de equ|va|euc|a.
g) A |e|ao de 'seme|haua' uo coujuulo dos l||ugu|os e uma |e|ao de equ|va|euc|a.
h) Se e um coujuulo, eulo u e o g|alo de uma |e|ao de equ|va|euc|a.
O5. ho coujuulo a |e|ao '
32
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
33
UNIVERSIDADE DO ESTADO DA BAHIA
hesle caso, l e uma |e|ao mas uo e uma ap||cao po|s h e|emeulos em que uo eslo |e|ac|ouados
com e|emeulos de , ou seja, .
(b) Sejam e do|s coujuulos e a |e|ao
. Veja sua |ep|eseulao.
l|gu|a 9. adaplado pe|o aulo|.
Aqu| |ep|eseula uma ap||cao, lem-se eulo, e . hole que cada
e|emeulo de esl assoc|ado a um uu|co e|emeulo de .
LFIhI 2.2: Seja uma ap||cao de em . |/-se que e uma ap||cao b|jelo|a, se qua|que| que seja
e/|sle um, e s um, la| que , |slo e, a ap||cao e |ujelo|a e sob|ejelo|a ao mesmo
lempo.
Lemb|e-se que uma ap||cao |ujelo|a e aque|a em que e|emeulos d|sl|ulos do dom|u|o lem |magem
d|sl|ula, e que uma ap||cao sob|ejelo|a e aque|a que possu| coujuulo |magem |gua| ao seu coul|adom|u|o.
E/emp|o. A ap||cao dada pe|o d|ag|ama aba|/o e b|jelo|a.
a b e l
c g
l|gu|a 1O. adaplado pe|o aulo|.
a b
c
e l
g
0
1
2
3
4
5
6
7
8
hole que e|a e |ujelo|a, po|s cada e|emeulo d|sl|ulo de lem |magem d|sl|ula, e que e sob|ejelo|a j que o
coujuulo |magem e o p|p||o coul|adom|u|o. Veja lambem que o e/emp|o aule||o|, |lem (b), l|ala-se de uma
ap||cao |ujelo|a.
A|gumas cous|de|aoes so |mpo|laules.
(1) J que uma ap||cao e uma |e|ao, deco||e que se e so duas ap||caoes,
d|/emos que se, e someule se, .
(2) uaudo lemos uma ap||cao del|u|da em um coujuulo, ou seja, se e|a e uma ap||cao
b|jelo|a, d|/emos que e uma pe|mulao de . 0 coujuulo das pe|mulaoes em um coujuulo se| mu|lo
esludado ma|s ad|aule, quaudo comea|mos a del|u|| e esluda| as esl|ulu|as a|geb||cas.
Seja e uma ap||cao b|jelo|a. Como e uma |e|ao, cous|de|e
dada po|
dada po|
.
Aleuo! hem loda ap||cao possu| |uve|sa, pa|a que |slo oco||a e uecess||o que a ap||cao seja
b|jelo|a.
adas duas ap||caoes, podemos cousl|u|| uma uova ap||cao al|aves da compos|o. Acompauhe a
del|u|o desla compos|o.
LFIhI 2.3: Sejam e duas ap||caoes la|s que . Chama-se composla de e
a ap||cao, |ud|cada po| , de em del|u|da da segu|ule maue||a.
E/emp|o. Sejam
l|es coujuulos
uo va/|os, e sejam e duas ap||caoes dadas po|.
.
A ap||cao composla de em , po| del|u|o, e dada po|.
32
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
33
UNIVERSIDADE DO ESTADO DA BAHIA
hesle caso, l e uma |e|ao mas uo e uma ap||cao po|s h e|emeulos em que uo eslo |e|ac|ouados
com e|emeulos de , ou seja, .
(b) Sejam e do|s coujuulos e a |e|ao
. Veja sua |ep|eseulao.
l|gu|a 9. adaplado pe|o aulo|.
Aqu| |ep|eseula uma ap||cao, lem-se eulo, e . hole que cada
e|emeulo de esl assoc|ado a um uu|co e|emeulo de .
LFIhI 2.2: Seja uma ap||cao de em . |/-se que e uma ap||cao b|jelo|a, se qua|que| que seja
e/|sle um, e s um, la| que , |slo e, a ap||cao e |ujelo|a e sob|ejelo|a ao mesmo
lempo.
Lemb|e-se que uma ap||cao |ujelo|a e aque|a em que e|emeulos d|sl|ulos do dom|u|o lem |magem
d|sl|ula, e que uma ap||cao sob|ejelo|a e aque|a que possu| coujuulo |magem |gua| ao seu coul|adom|u|o.
E/emp|o. A ap||cao dada pe|o d|ag|ama aba|/o e b|jelo|a.
a b e l
c g
l|gu|a 1O. adaplado pe|o aulo|.
a b
c
e l
g
0
1
2
3
4
5
6
7
8
hole que e|a e |ujelo|a, po|s cada e|emeulo d|sl|ulo de lem |magem d|sl|ula, e que e sob|ejelo|a j que o
coujuulo |magem e o p|p||o coul|adom|u|o. Veja lambem que o e/emp|o aule||o|, |lem (b), l|ala-se de uma
ap||cao |ujelo|a.
A|gumas cous|de|aoes so |mpo|laules.
(1) J que uma ap||cao e uma |e|ao, deco||e que se e so duas ap||caoes,
d|/emos que se, e someule se, .
(2) uaudo lemos uma ap||cao del|u|da em um coujuulo, ou seja, se e|a e uma ap||cao
b|jelo|a, d|/emos que e uma pe|mulao de . 0 coujuulo das pe|mulaoes em um coujuulo se| mu|lo
esludado ma|s ad|aule, quaudo comea|mos a del|u|| e esluda| as esl|ulu|as a|geb||cas.
Seja e uma ap||cao b|jelo|a. Como e uma |e|ao, cous|de|e
dada po|
dada po|
.
Aleuo! hem loda ap||cao possu| |uve|sa, pa|a que |slo oco||a e uecess||o que a ap||cao seja
b|jelo|a.
adas duas ap||caoes, podemos cousl|u|| uma uova ap||cao al|aves da compos|o. Acompauhe a
del|u|o desla compos|o.
LFIhI 2.3: Sejam e duas ap||caoes la|s que . Chama-se composla de e
a ap||cao, |ud|cada po| , de em del|u|da da segu|ule maue||a.
E/emp|o. Sejam
l|es coujuulos
uo va/|os, e sejam e duas ap||caoes dadas po|.
.
A ap||cao composla de em , po| del|u|o, e dada po|.
34
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
35
UNIVERSIDADE DO ESTADO DA BAHIA
E/emp|os. (a) Seja
del|u|da po|
LVWRp
.
Veja que s podemos del|u|| uma ap||cao composla eul|e duas ap||caoes e quaudo a |magem de
esl coul|da uo dom|u|o de , a|em d|sso, a composla lem o mesmo dom|u|o de e o mesmo
coul|adom|u|o de .
2.2 - perao sobre um conjunIo
LFIhI 2.4: Chama-se ope|ao sob|e um coujuulo (ou |e| de compos|o |ule|ua sob|e ) a loda ap||cao
la| que pa|a lodo , assoc|amos um e|emeulo .
E/emp|o. Seja e seja a ap||cao dada po| . Tem-se eulo
como uma ope|ao |ule|ua em . hole que dados qua|sque| o |esu|lado da ap||cao que e dado
po| e lambem um e|emeulo de .
0s e/emp|os ma|s comuus de ope|ao |ule|ua em um coujuulo so as ope|aoes e|emeula|es, la|s como,
ad|o, subl|ao, mu|l|p||cao e d|v|so del|u|das uos coujuulos uume||cos lambem e|emeula|es. , , e
.
Podemos |mag|ua| uma ope|ao |ule|ua como um p|oced|meulo oude so co|ocados em uma mqu|ua
do|s e|emeulos. p||me||o o e|emeulo e a segu|| o e|emeulo . A pa|l|| de uma p|og|amao da mqu|ua, e|a, a
pa|l|| dos do|s e|emeulos, lo|uece um |esu|lado, que e o e|emeulo . Esla s|luao pode se| s|mbo||/ada da
segu|ule maue||a. , oude e so os ope|audos e o |esu|lado. 0 s|mbo|o del|ue a ope|ao a se|
eleluada. Em espec|a| os s|mbo|os |ep|eseulam as ope|aoes usua|s ad|o, subl|ao,
mu|l|p||cao e d|v|so |especl|vameule, o s|mbo|o |ep|eseula a ope|ao de compos|o de luuoes.
ua|que| oul|a ope|ao que d|l||a das usua|s le| que se| bem del|u|da, ou eulo, le| que se| ap|eseulada uma
lbua com lodos os |esu|lados poss|ve|s. Na|s ad|aule, em uosso esludo, v|sua||/a|emos lbuas que
|ep|eseulam ope|aoes |ule|uas del|u|das em coujuulos l|u|los.
34
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
35
UNIVERSIDADE DO ESTADO DA BAHIA
E/emp|os. (a) Seja
del|u|da po|
LVWRp
.
Veja que s podemos del|u|| uma ap||cao composla eul|e duas ap||caoes e quaudo a |magem de
esl coul|da uo dom|u|o de , a|em d|sso, a composla lem o mesmo dom|u|o de e o mesmo
coul|adom|u|o de .
2.2 - perao sobre um conjunIo
LFIhI 2.4: Chama-se ope|ao sob|e um coujuulo (ou |e| de compos|o |ule|ua sob|e ) a loda ap||cao
la| que pa|a lodo , assoc|amos um e|emeulo .
E/emp|o. Seja e seja a ap||cao dada po| . Tem-se eulo
como uma ope|ao |ule|ua em . hole que dados qua|sque| o |esu|lado da ap||cao que e dado
po| e lambem um e|emeulo de .
0s e/emp|os ma|s comuus de ope|ao |ule|ua em um coujuulo so as ope|aoes e|emeula|es, la|s como,
ad|o, subl|ao, mu|l|p||cao e d|v|so del|u|das uos coujuulos uume||cos lambem e|emeula|es. , , e
.
Podemos |mag|ua| uma ope|ao |ule|ua como um p|oced|meulo oude so co|ocados em uma mqu|ua
do|s e|emeulos. p||me||o o e|emeulo e a segu|| o e|emeulo . A pa|l|| de uma p|og|amao da mqu|ua, e|a, a
pa|l|| dos do|s e|emeulos, lo|uece um |esu|lado, que e o e|emeulo . Esla s|luao pode se| s|mbo||/ada da
segu|ule maue||a. , oude e so os ope|audos e o |esu|lado. 0 s|mbo|o del|ue a ope|ao a se|
eleluada. Em espec|a| os s|mbo|os |ep|eseulam as ope|aoes usua|s ad|o, subl|ao,
mu|l|p||cao e d|v|so |especl|vameule, o s|mbo|o |ep|eseula a ope|ao de compos|o de luuoes.
ua|que| oul|a ope|ao que d|l||a das usua|s le| que se| bem del|u|da, ou eulo, le| que se| ap|eseulada uma
lbua com lodos os |esu|lados poss|ve|s. Na|s ad|aule, em uosso esludo, v|sua||/a|emos lbuas que
|ep|eseulam ope|aoes |ule|uas del|u|das em coujuulos l|u|los.
36
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
37
UNIVERSIDADE DO ESTADO DA BAHIA
E/emp|os. (a) A ad|o em , , , e e uma ope|ao que adm|le a p|op||edade assoc|al|va e
comulal|va.
(b) A d|v|so de uume|os |ea|s uo e uma ope|ao com a p|op||edade assoc|al|va, po|s lemos.
e .
(c) A ope|ao
. Seja
.
0 e|emeulo ueul|o de uma ope|ao |ule|ua e semp|e uu|co. A segu|| le|emos uma p|opos|o que
mosl|a o lalo.
FF8I 2.6: Se uma ope|ao sob|e um coujuulo possu| e|emeulo ueul|o, eulo e|e e uu|co.
P|ova. Sejam e
. Seudo ass|m,
lemos
la| que
.
Voce pe|cebeu, al|aves da del|u|o ap|eseulada, que um e|emeulo s e s|mel||/ve| se e/|sle oul|o, que
ope|ado com e|e, laulo d||e|la, quaulo esque|da |esu|la uo e|emeulo ueul|o? Ass|m, s la/ seul|do la|a| em
e|emeulo s|mel||/ve| em um coujuulo, com ope|ao |ule|ua , se esla ope|ao possu|| e|emeulo ueul|o.
E/emp|os. (a) e o uu|co e|emeulo s|mel||/ve| de
la|
que
T
I
C
A
37
UNIVERSIDADE DO ESTADO DA BAHIA
E/emp|os. (a) A ad|o em , , , e e uma ope|ao que adm|le a p|op||edade assoc|al|va e
comulal|va.
(b) A d|v|so de uume|os |ea|s uo e uma ope|ao com a p|op||edade assoc|al|va, po|s lemos.
e .
(c) A ope|ao
. Seja
.
0 e|emeulo ueul|o de uma ope|ao |ule|ua e semp|e uu|co. A segu|| le|emos uma p|opos|o que
mosl|a o lalo.
FF8I 2.6: Se uma ope|ao sob|e um coujuulo possu| e|emeulo ueul|o, eulo e|e e uu|co.
P|ova. Sejam e
. Seudo ass|m,
lemos
la| que
.
Voce pe|cebeu, al|aves da del|u|o ap|eseulada, que um e|emeulo s e s|mel||/ve| se e/|sle oul|o, que
ope|ado com e|e, laulo d||e|la, quaulo esque|da |esu|la uo e|emeulo ueul|o? Ass|m, s la/ seul|do la|a| em
e|emeulo s|mel||/ve| em um coujuulo, com ope|ao |ule|ua , se esla ope|ao possu|| e|emeulo ueul|o.
E/emp|os. (a) e o uu|co e|emeulo s|mel||/ve| de
la|
que
T
I
C
A
39
UNIVERSIDADE DO ESTADO DA BAHIA
E/emp|os. (a) 0 s|mel||co de , em |e|ao ope|ao de mu|l|p||cao e
, po|s
.
(b) 0 s|mel||co de em |e|ao ope|ao de ad|o e , po|s .
(c) 0 s|mel||co da mal||/
, po|s
.
Em pa|l|cu|a|, em |e|ao ao coujuulo das mal||/es quad|adas, com |espe|lo ope|ao de mu|l|p||cao,
pa|a um e|emeulo se| s|mel||/ve|, basla que possua dele|m|uaule d|le|eule de /e|o, e ma|s, os dele|m|uaules de
duas mal||/es |uve|sas, so lambem uume|os |ea|s |uve|sos em |e|ao mu|l|p||cao.
LFIhI 2.B: Seja uma ope|ao sob|e um coujuulo , que possu| e|emeulo ueul|o . 0 coujuulo dos
e|emeulos s|mel||/ve|s de com |espe|lo ope|ao e dado po|.
E/emp|os. (a) e aco|do com o comeulado ac|ma, o coujuulo das mal||/es quad|adas lem como
e|emeulos s|mel||/ve|s, com |espe|lo mu|l|p||cao, loda mal||/ que possu| dele|m|uaule d|le|eule de /e|o.
(b) ado
, lemos
, po|s
lemos que , da|
.
FF8I 2.9: Se uma ope|ao sob|e um coujuulo e assoc|al|va, possu|| e|emeulo ueul|o e
so e|emeulos s|mel||/ve|s, eulo e s|mel||/ve| e
.
P|ova. Sejam e e|emeulos s|mel||/ve|s de . Acompauhe as ope|aoes a segu||, com o uso da
p|op||edade assoc|al|va.
.
as ope|aoes deseuvo|v|das em e em podemos couc|u|| que e s|mel||/ve| e que o seu
s|mel||co e
lslo uos mosl|a que ao ope|a| e|emeulos s|mel||/ve|s, o |esu|lado lambem e um e|emeulo s|mel||/ve|.
LFIhI 2.10: Sejam um coujuulo e uma ope|ao sob|e . |/-se que um e|emeulo e |egu|a| se,
e someule se,
,
,
pa|a qua|sque| .
E/emp|os. (a) e um e|emeulo |egu|a| pa|a a ad|o em , po|s.
, e
.
(b) e um e|emeulo |egu|a| pa|a a mu|l|p||cao em , po|s.
, e
.
(c) uo e um e|emeulo |egu|a| pa|a a mu|l|p||cao de uume|os |ea|s, po|s lemos ,
mas .
Se po| a|gum acaso, sal|sla/ a apeuas a coud|o d|/emos que e um e|emeulo |egu|a|
esque|da, e se sal|sl|/e| apeuas a coud|o da del|u|o, d|/emos que e um e|emeulo |egu|a| d||e|la.
Caso a ope|ao seja comulal|va, se| |egu|a| d||e|la e equ|va|eule a se| |egu|a| esque|da, ou s|mp|esmeule
|egu|a|.
0 coujuulo dos e|emeulos |egu|a|es de um coujuulo com |espe|lo a uma ope|ao e deuolado po|
. Podemos deslaca| a|guus coujuulos de e|emeulos |egu|a|es, em |e|ao s ope|aoes uolve|s uos
coujuulos uume||cos. Temos po| e/emp|o.
v
E/|sle uma |e|ao |ule|essaule eul|e e|emeulos s|mel||/ve|s e e|emeulos |egu|a|es. Veja esla |e|ao ua
p|opos|o a segu||.
38
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
39
UNIVERSIDADE DO ESTADO DA BAHIA
E/emp|os. (a) 0 s|mel||co de , em |e|ao ope|ao de mu|l|p||cao e
, po|s
.
(b) 0 s|mel||co de em |e|ao ope|ao de ad|o e , po|s .
(c) 0 s|mel||co da mal||/
, po|s
.
Em pa|l|cu|a|, em |e|ao ao coujuulo das mal||/es quad|adas, com |espe|lo ope|ao de mu|l|p||cao,
pa|a um e|emeulo se| s|mel||/ve|, basla que possua dele|m|uaule d|le|eule de /e|o, e ma|s, os dele|m|uaules de
duas mal||/es |uve|sas, so lambem uume|os |ea|s |uve|sos em |e|ao mu|l|p||cao.
LFIhI 2.B: Seja uma ope|ao sob|e um coujuulo , que possu| e|emeulo ueul|o . 0 coujuulo dos
e|emeulos s|mel||/ve|s de com |espe|lo ope|ao e dado po|.
E/emp|os. (a) e aco|do com o comeulado ac|ma, o coujuulo das mal||/es quad|adas lem como
e|emeulos s|mel||/ve|s, com |espe|lo mu|l|p||cao, loda mal||/ que possu| dele|m|uaule d|le|eule de /e|o.
(b) ado
, lemos
, po|s
lemos que , da|
.
FF8I 2.9: Se uma ope|ao sob|e um coujuulo e assoc|al|va, possu|| e|emeulo ueul|o e
so e|emeulos s|mel||/ve|s, eulo e s|mel||/ve| e
.
P|ova. Sejam e e|emeulos s|mel||/ve|s de . Acompauhe as ope|aoes a segu||, com o uso da
p|op||edade assoc|al|va.
.
as ope|aoes deseuvo|v|das em e em podemos couc|u|| que e s|mel||/ve| e que o seu
s|mel||co e
lslo uos mosl|a que ao ope|a| e|emeulos s|mel||/ve|s, o |esu|lado lambem e um e|emeulo s|mel||/ve|.
LFIhI 2.10: Sejam um coujuulo e uma ope|ao sob|e . |/-se que um e|emeulo e |egu|a| se,
e someule se,
,
,
pa|a qua|sque| .
E/emp|os. (a) e um e|emeulo |egu|a| pa|a a ad|o em , po|s.
, e
.
(b) e um e|emeulo |egu|a| pa|a a mu|l|p||cao em , po|s.
, e
.
(c) uo e um e|emeulo |egu|a| pa|a a mu|l|p||cao de uume|os |ea|s, po|s lemos ,
mas .
Se po| a|gum acaso, sal|sla/ a apeuas a coud|o d|/emos que e um e|emeulo |egu|a|
esque|da, e se sal|sl|/e| apeuas a coud|o da del|u|o, d|/emos que e um e|emeulo |egu|a| d||e|la.
Caso a ope|ao seja comulal|va, se| |egu|a| d||e|la e equ|va|eule a se| |egu|a| esque|da, ou s|mp|esmeule
|egu|a|.
0 coujuulo dos e|emeulos |egu|a|es de um coujuulo com |espe|lo a uma ope|ao e deuolado po|
. Podemos deslaca| a|guus coujuulos de e|emeulos |egu|a|es, em |e|ao s ope|aoes uolve|s uos
coujuulos uume||cos. Temos po| e/emp|o.
v
E/|sle uma |e|ao |ule|essaule eul|e e|emeulos s|mel||/ve|s e e|emeulos |egu|a|es. Veja esla |e|ao ua
p|opos|o a segu||.
40
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
41
UNIVERSIDADE DO ESTADO DA BAHIA
FF8I 2.11: Seja uma ope|ao assoc|al|va sob|e um coujuulo , que possu| e|emeulo ueul|o . Se
e/|sle la| que e s|mel||/ve|, eulo e |egu|a|.
P|ova] Sejam um e|emeulo s|mel||/ve| em |e|ao a , e o seu s|mel||co. Sejam
e|emeulos qua|sque| la|s que e . Veja que.
. a|, couc|u|mos
que e |egu|a| esque|da. a mesma maue||a, lemos.
. Couc|u|mos eulo
que e |egu|a| d||e|la. Logo, e um e|emeulo |egu|a|.
Em |esumo, lem-se que lodo e|emeulo s|mel||/ve| e |egu|a|.
Bem, ago|a que couhecemos as p|op||edades de uma ope|ao |ule|ua, podemos ve||l|ca| se um
dele|m|uado coujuulo , sal|sla/ ou uo la|s p|op||edades del|u|das ac|ma, em |e|ao a uma ope|ao .
uaudo um coujuulo sal|sla/ a uma quaul|dade de p|op||edades, |e|al|va a uma ope|ao |ule|ua, podemos
c|ass|l|c-|o. Esla c|ass|l|cao uos d|/ o l|po de esl|ulu|a a|geb||ca. Nas, o que so esl|ulu|as a|geb||cas? Como
dele|m|ua| o l|po de esl|ulu|a a|geb||ca? |slo que couhece|emos ago|a.
2.4 - LsIruIuras A|gbr|cas
LFIhI 2.12: Seja um coujuulo uo va/|o. |/-se que o coujuulo lem uma esl|ulu|a a|geb||ca quaudo
em esl del|u|da uma ope|ao |ule|ua . usa|emos a uolao , pa|a |ud|ca| que e uma esl|ulu|a
a|geb||ca com ope|ao |ule|ua .
E/emp|os. (a) 0 coujuulo , muu|do da ope|ao ad|o e uma esl|ulu|a a|geb||ca.
(b) 0 coujuulo , muu|do da ope|ao mu|l|p||cao e uma esl|ulu|a a|geb||ca.
A depeude| das p|op||edades que a ope|ao adm|le, a esl|ulu|a a|geb||ca |ecebe uma deuom|uao
d|le|eule. So e|as.
v|up|de
e um g|up|de quaudo a ope|ao uo adm|le p|op||edade a|guma.
vSem|g|upo
e um sem|g|upo semp|e que a ope|ao adm|l|| a p|op||edade assoc|al|va.
40
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
41
UNIVERSIDADE DO ESTADO DA BAHIA
FF8I 2.11: Seja uma ope|ao assoc|al|va sob|e um coujuulo , que possu| e|emeulo ueul|o . Se
e/|sle la| que e s|mel||/ve|, eulo e |egu|a|.
P|ova] Sejam um e|emeulo s|mel||/ve| em |e|ao a , e o seu s|mel||co. Sejam
e|emeulos qua|sque| la|s que e . Veja que.
. a|, couc|u|mos
que e |egu|a| esque|da. a mesma maue||a, lemos.
. Couc|u|mos eulo
que e |egu|a| d||e|la. Logo, e um e|emeulo |egu|a|.
Em |esumo, lem-se que lodo e|emeulo s|mel||/ve| e |egu|a|.
Bem, ago|a que couhecemos as p|op||edades de uma ope|ao |ule|ua, podemos ve||l|ca| se um
dele|m|uado coujuulo , sal|sla/ ou uo la|s p|op||edades del|u|das ac|ma, em |e|ao a uma ope|ao .
uaudo um coujuulo sal|sla/ a uma quaul|dade de p|op||edades, |e|al|va a uma ope|ao |ule|ua, podemos
c|ass|l|c-|o. Esla c|ass|l|cao uos d|/ o l|po de esl|ulu|a a|geb||ca. Nas, o que so esl|ulu|as a|geb||cas? Como
dele|m|ua| o l|po de esl|ulu|a a|geb||ca? |slo que couhece|emos ago|a.
2.4 - LsIruIuras A|gbr|cas
LFIhI 2.12: Seja um coujuulo uo va/|o. |/-se que o coujuulo lem uma esl|ulu|a a|geb||ca quaudo
em esl del|u|da uma ope|ao |ule|ua . usa|emos a uolao , pa|a |ud|ca| que e uma esl|ulu|a
a|geb||ca com ope|ao |ule|ua .
E/emp|os. (a) 0 coujuulo , muu|do da ope|ao ad|o e uma esl|ulu|a a|geb||ca.
(b) 0 coujuulo , muu|do da ope|ao mu|l|p||cao e uma esl|ulu|a a|geb||ca.
A depeude| das p|op||edades que a ope|ao adm|le, a esl|ulu|a a|geb||ca |ecebe uma deuom|uao
d|le|eule. So e|as.
v|up|de
e um g|up|de quaudo a ope|ao uo adm|le p|op||edade a|guma.
vSem|g|upo
e um sem|g|upo semp|e que a ope|ao adm|l|| a p|op||edade assoc|al|va.
Monide
, um monide sempre que a operao admitir a propriedade associativa e admitir tambm
elemento neutro. Todo monide um semigrupo com elemento neutro.
Grupo
, um grupo sempre que a operao admitir a propriedade associativa, admitir elemento neutro e,
alm disso, todo elemento do conjunto for simetrizvel.
Em outras palavras, podemos dizer que todo grupo um monide, onde todo elemento admite simtrico
em relao operao definida. Lembre-se que provamos, na proposio 2.11, que em um conjunto que admite
propriedade associativa em relao a uma operao , todo elemento simetrizvel regular. Assim, podemos
afirmar que em um grupo, todo elemento regular. Se, em um grupo, tambm admitir a propriedade
comutativa, dizemos que o par , um grupo abeliano.
Neste curso, daremos maior nfase ao estudo dos grupos. Verificaremos exemplos, propriedades dos
elementos, e em seguida, estenderemos o seu conceito, definindo mais de uma operao no mesmo conjunto.
Exemplos: (a) , + um grupo, pois a adio em associativa, possui elemento neutro, e todo
elemento simetrizvel. Alm disso, como a adio de nmeros inteiros comutativa, este grupo abeliano.
VOCE SABIA??
Niels Henrik Abel (Nedstrand, 25 de Agosto de 1802 Froland, 6 de Abril de 1829) foi um matemtico
noruegus. Seu pai, Sren Georg Abel, tinha licenciatura em teologia e filosofia e seu av foi um ativo ministro
protestante em Gjerstad, prximo a Risr. Abel entrou na universidade em 1821, e formou-se em 1822. O
primeiro trabalho relevante de Abel consistiu em demonstrar a impossibilidade de resolver equaes
algbricas de quinto grau usando razes (ver Teorema de Abel-Ruffini). Foi esta, em 1824 sua primeira
investigao publicada, ainda que a demonstrao era difcil e obtusa. Posteriormente se publicou de modo
mais elaborado no primeiro volume do Journal fr die reine und angewandte Mathematik. Em 2002 foi
institudo em sua honra o prmio Abel, outorgado todo ano aos matemticos mais marcantes. Em sua
homenagem o grupo que satisfaz a propriedade comutativa passou a se chamar grupo abeliano.
Fonte: http://pt.wikipedia.org/wiki/Niels_Henrik_Abel
Monide
, um monide sempre que a operao admitir a propriedade associativa e admitir tambm
elemento neutro. Todo monide um semigrupo com elemento neutro.
Grupo
, um grupo sempre que a operao admitir a propriedade associativa, admitir elemento neutro e,
alm disso, todo elemento do conjunto for simetrizvel.
Em outras palavras, podemos dizer que todo grupo um monide, onde todo elemento admite simtrico
em relao operao definida. Lembre-se que provamos, na proposio 2.11, que em um conjunto que admite
propriedade associativa em relao a uma operao , todo elemento simetrizvel regular. Assim, podemos
afirmar que em um grupo, todo elemento regular. Se, em um grupo, tambm admitir a propriedade
comutativa, dizemos que o par , um grupo abeliano.
Neste curso, daremos maior nfase ao estudo dos grupos. Verificaremos exemplos, propriedades dos
elementos, e em seguida, estenderemos o seu conceito, definindo mais de uma operao no mesmo conjunto.
Exemplos: (a) , + um grupo, pois a adio em associativa, possui elemento neutro, e todo
elemento simetrizvel. Alm disso, como a adio de nmeros inteiros comutativa, este grupo abeliano.
VOCE SABIA??
Niels Henrik Abel (Nedstrand, 25 de Agosto de 1802 Froland, 6 de Abril de 1829) foi um matemtico
noruegus. Seu pai, Sren Georg Abel, tinha licenciatura em teologia e filosofia e seu av foi um ativo ministro
protestante em Gjerstad, prximo a Risr. Abel entrou na universidade em 1821, e formou-se em 1822. O
primeiro trabalho relevante de Abel consistiu em demonstrar a impossibilidade de resolver equaes
algbricas de quinto grau usando razes (ver Teorema de Abel-Ruffini). Foi esta, em 1824 sua primeira
investigao publicada, ainda que a demonstrao era difcil e obtusa. Posteriormente se publicou de modo
mais elaborado no primeiro volume do Journal fr die reine und angewandte Mathematik. Em 2002 foi
institudo em sua honra o prmio Abel, outorgado todo ano aos matemticos mais marcantes. Em sua
homenagem o grupo que satisfaz a propriedade comutativa passou a se chamar grupo abeliano.
Fonte: http://pt.wikipedia.org/wiki/Niels_Henrik_Abel
Monide
, um monide sempre que a operao admitir a propriedade associativa e admitir tambm
elemento neutro. Todo monide um semigrupo com elemento neutro.
Grupo
, um grupo sempre que a operao admitir a propriedade associativa, admitir elemento neutro e,
alm disso, todo elemento do conjunto for simetrizvel.
Em outras palavras, podemos dizer que todo grupo um monide, onde todo elemento admite simtrico
em relao operao definida. Lembre-se que provamos, na proposio 2.11, que em um conjunto que admite
propriedade associativa em relao a uma operao , todo elemento simetrizvel regular. Assim, podemos
afirmar que em um grupo, todo elemento regular. Se, em um grupo, tambm admitir a propriedade
comutativa, dizemos que o par , um grupo abeliano.
Neste curso, daremos maior nfase ao estudo dos grupos. Verificaremos exemplos, propriedades dos
elementos, e em seguida, estenderemos o seu conceito, definindo mais de uma operao no mesmo conjunto.
Exemplos: (a) , + um grupo, pois a adio em associativa, possui elemento neutro, e todo
elemento simetrizvel. Alm disso, como a adio de nmeros inteiros comutativa, este grupo abeliano.
VOCE SABIA??
Niels Henrik Abel (Nedstrand, 25 de Agosto de 1802 Froland, 6 de Abril de 1829) foi um matemtico
noruegus. Seu pai, Sren Georg Abel, tinha licenciatura em teologia e filosofia e seu av foi um ativo ministro
protestante em Gjerstad, prximo a Risr. Abel entrou na universidade em 1821, e formou-se em 1822. O
primeiro trabalho relevante de Abel consistiu em demonstrar a impossibilidade de resolver equaes
algbricas de quinto grau usando razes (ver Teorema de Abel-Ruffini). Foi esta, em 1824 sua primeira
investigao publicada, ainda que a demonstrao era difcil e obtusa. Posteriormente se publicou de modo
mais elaborado no primeiro volume do Journal fr die reine und angewandte Mathematik. Em 2002 foi
institudo em sua honra o prmio Abel, outorgado todo ano aos matemticos mais marcantes. Em sua
homenagem o grupo que satisfaz a propriedade comutativa passou a se chamar grupo abeliano.
Fonte: http://pt.wikipedia.org/wiki/Niels_Henrik_Abel
??
VOC SABIA?
42
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
43
UNIVERSIDADE DO ESTADO DA BAHIA
(b) e um sem|g|upo, po|s a mu|l|p||cao em e assoc|al|va, mas uo adm|le e|emeulo ueul|o.
(c) e um g|up|de, po|s a d|v|so de uume|os |ea|s uo adm|le p|op||edade a|guma.
Se em um g|upo abe||auo esl|ve| del|u|da lambem uma ope|ao que seja assoc|al|va e
d|sl||bul|va em |e|ao a , d|/-se que o l||o e um aue|. um aue| e lambem uma esl|ulu|a a|geb||ca. A
depeude| das p|op||edades que a ope|ao adm|l||, o aue| |ecebe oul|as c|ass|l|caoes. 0 esludo ma|s
dela|hado sob|e aue|s se| le|lo uo p|/|mo compoueule cu|||cu|a|, A|geb|a ll.
Coul|uua|emos, eulo, uossa cam|uhada esludaudo as esl|ulu|as que acabamos de couhece|. lu|c|a|meule
uos dele|emos aos coujuulos l|u|los, po|que ue|es, lemos coud|o de ||sla| lodos os seus e|emeulos, e ||sla|
lodos os |esu|lados da ope|ao eul|e seus e|emeulos. uaudo lemos um coujuulo l|u|lo podemos a||uma| os
e|emeulos, e os |esu|lados da ope|ao eul|e seus e|emeulos em uma labe|a, que se| a lbua da ope|ao.
2.6 - Tbua de uma operao
LFIhI 2.13: Seja uma ope|ao sob|e um coujuulo . |/-se que uma pa|le uo va/|a e lechada
em |e|ao ope|ao se, e someule se pa|a , lem-se
E/emp|os. (a) 0 coujuulo e lechado em |e|ao ad|o e mu|l|p||cao.
(b) uo e lechado em |e|ao d|v|so, po|s .
uaudo um coujuulo e lechado em |e|ao a uma dele|m|uada ope|ao , ao ope|a| do|s e|emeulos de
lemos como |esu|lado lambem um e|emeulo de . Seudo um coujuulo l|u|lo e lechado em |e|ao a ,
couhea a lbua desla ope|ao, uma ve/ que e poss|ve| ||sla| lodos os seus e|emeulos.
Seja
da ||uha luudameula|, o e|emeulo
lo|mam a d|agoua| p||uc|pa|. Acompauhe a|guus e/emp|os pa|a me|ho| |deul|l|ca| a cousl|uo
desla lbua.
hole que, a lbua de uma ope|ao , del|u|da em um coujuulo que lem ca|d|ua||dade possu|
eul|adas, ou seja, se lodos os e|emeulos de vo se| ope|ados eul|e e|es mesmos, le|emos
coulas a se|em
le|las. Ass|m, um coujuulo com e|emeulos le| uma lbua com eul|adas.
E/emp|os. (a) Seja . Cous|de|e uma ope|ao em , dada po|.
42
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
43
UNIVERSIDADE DO ESTADO DA BAHIA
(b) e um sem|g|upo, po|s a mu|l|p||cao em e assoc|al|va, mas uo adm|le e|emeulo ueul|o.
(c) e um g|up|de, po|s a d|v|so de uume|os |ea|s uo adm|le p|op||edade a|guma.
Se em um g|upo abe||auo esl|ve| del|u|da lambem uma ope|ao que seja assoc|al|va e
d|sl||bul|va em |e|ao a , d|/-se que o l||o e um aue|. um aue| e lambem uma esl|ulu|a a|geb||ca. A
depeude| das p|op||edades que a ope|ao adm|l||, o aue| |ecebe oul|as c|ass|l|caoes. 0 esludo ma|s
dela|hado sob|e aue|s se| le|lo uo p|/|mo compoueule cu|||cu|a|, A|geb|a ll.
Coul|uua|emos, eulo, uossa cam|uhada esludaudo as esl|ulu|as que acabamos de couhece|. lu|c|a|meule
uos dele|emos aos coujuulos l|u|los, po|que ue|es, lemos coud|o de ||sla| lodos os seus e|emeulos, e ||sla|
lodos os |esu|lados da ope|ao eul|e seus e|emeulos. uaudo lemos um coujuulo l|u|lo podemos a||uma| os
e|emeulos, e os |esu|lados da ope|ao eul|e seus e|emeulos em uma labe|a, que se| a lbua da ope|ao.
2.6 - Tbua de uma operao
LFIhI 2.13: Seja uma ope|ao sob|e um coujuulo . |/-se que uma pa|le uo va/|a e lechada
em |e|ao ope|ao se, e someule se pa|a , lem-se
E/emp|os. (a) 0 coujuulo e lechado em |e|ao ad|o e mu|l|p||cao.
(b) uo e lechado em |e|ao d|v|so, po|s .
uaudo um coujuulo e lechado em |e|ao a uma dele|m|uada ope|ao , ao ope|a| do|s e|emeulos de
lemos como |esu|lado lambem um e|emeulo de . Seudo um coujuulo l|u|lo e lechado em |e|ao a ,
couhea a lbua desla ope|ao, uma ve/ que e poss|ve| ||sla| lodos os seus e|emeulos.
Seja
da ||uha luudameula|, o e|emeulo
lo|mam a d|agoua| p||uc|pa|. Acompauhe a|guus e/emp|os pa|a me|ho| |deul|l|ca| a cousl|uo
desla lbua.
hole que, a lbua de uma ope|ao , del|u|da em um coujuulo que lem ca|d|ua||dade possu|
eul|adas, ou seja, se lodos os e|emeulos de vo se| ope|ados eul|e e|es mesmos, le|emos
coulas a se|em
le|las. Ass|m, um coujuulo com e|emeulos le| uma lbua com eul|adas.
E/emp|os. (a) Seja . Cous|de|e uma ope|ao em , dada po|.
44
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
45
UNIVERSIDADE DO ESTADO DA BAHIA
Eulo a lbua da ope|ao uo coujuulo , le| eul|adas e e dada po|.
(b) Sejam e a ope|ao de mu|l|p||cao. Logo, a lbua da ope|ao pode se|
|ep|eseulada como aba|/o.
(c) Sejam e a ope|ao de NC (m/|mo d|v|so| comum).
Temos um coujuulo com ca|d|ua||dade eulo, sua lbua le|
9RFrSHUFHEHXFRPRILFDPDLVVLPSOHVYLVXDOL]DUDRSHUDomRHPXPFRQMXQWRTXDQGRRGLVSRPRVHPVXD
WiEXD"$OJXPDVGDVSURSULHGDGHVGHXPDRSHUDomRWDPEpPSRGHPVHULGHQWLILFDGDVVHFRQKHFHUPRVDWiEXD
da |ele||da ope|ao. Aules de couhece| como |deul|l|ca| p|op||edades ua lbua de uma ope|ao,
couhece|emos um coujuulo muu|do de uma ope|ao baslaule |mpo|laule. a pe|mulao, com a ope|ao de
compos|o. E|a se ap|eseula ua lo|ma de uma b|jeo, ou como uma |eo|deuao dos e|emeulos de um
coujuulo.
E/emp|o. Seja e cous|de|e
a a a a
b b b b
c c c c
a a
b b
c c l|gu|a 11. adaplado pe|o aulo|.
Pa|a um me|ho| euleud|meulo do coujuulo das pe|mulaoes, o ap|eseulamos al|aves de d|ag|amas, mas
lambem podemos |ep|eseula| esle coujuulo de pe|mulao da segu|ule lo|ma.
em que
em que
em que
.
hesle coujuulo, del|u||emos a ope|ao de compos|o () de luuoes. hole que ao compo| as luuoes
dadas em , eucoul|a|emos uovameule uma das luuoes dadas uo p|p||o coujuulo , |slo e, e um coujuulo
lechado pa|a a ope|ao de compos|o de luuoes. Pa|a eucoul|a| a lbua desla ope|ao le|emos que elelua|
os composlos.
. l|usl|a|emos
dela|hadameule como ca|cu|a| a|guus desles composlos. AcompauheRFiOFXORGH
E
F
D
E
F
D
E
D
E
F
D
E
F
E
F
b
*
*
*
44
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
45
UNIVERSIDADE DO ESTADO DA BAHIA
Eulo a lbua da ope|ao uo coujuulo , le| eul|adas e e dada po|.
(b) Sejam e a ope|ao de mu|l|p||cao. Logo, a lbua da ope|ao pode se|
|ep|eseulada como aba|/o.
(c) Sejam e a ope|ao de NC (m/|mo d|v|so| comum).
Temos um coujuulo com ca|d|ua||dade eulo, sua lbua le|
9RFrSHUFHEHXFRPRILFDPDLVVLPSOHVYLVXDOL]DUDRSHUDomRHPXPFRQMXQWRTXDQGRRGLVSRPRVHPVXD
WiEXD"$OJXPDVGDVSURSULHGDGHVGHXPDRSHUDomRWDPEpPSRGHPVHULGHQWLILFDGDVVHFRQKHFHUPRVDWiEXD
da |ele||da ope|ao. Aules de couhece| como |deul|l|ca| p|op||edades ua lbua de uma ope|ao,
couhece|emos um coujuulo muu|do de uma ope|ao baslaule |mpo|laule. a pe|mulao, com a ope|ao de
compos|o. E|a se ap|eseula ua lo|ma de uma b|jeo, ou como uma |eo|deuao dos e|emeulos de um
coujuulo.
E/emp|o. Seja e cous|de|e
a a a a
b b b b
c c c c
a a
b b
c c l|gu|a 11. adaplado pe|o aulo|.
Pa|a um me|ho| euleud|meulo do coujuulo das pe|mulaoes, o ap|eseulamos al|aves de d|ag|amas, mas
lambem podemos |ep|eseula| esle coujuulo de pe|mulao da segu|ule lo|ma.
em que
em que
em que
.
hesle coujuulo, del|u||emos a ope|ao de compos|o () de luuoes. hole que ao compo| as luuoes
dadas em , eucoul|a|emos uovameule uma das luuoes dadas uo p|p||o coujuulo , |slo e, e um coujuulo
lechado pa|a a ope|ao de compos|o de luuoes. Pa|a eucoul|a| a lbua desla ope|ao le|emos que elelua|
os composlos.
. l|usl|a|emos
dela|hadameule como ca|cu|a| a|guus desles composlos. AcompauheRFiOFXORGH
E
F
D
E
F
D
E
D
E
F
D
E
F
E
F
46
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
47
UNIVERSIDADE DO ESTADO DA BAHIA
,
|slo uos mosl|a que
,
|slo uos mosl|a que
Pa|a comp|eeude| me|ho| o c|cu|o dos composlos, acompauhe o p|ocesso semp|e cousu|laudo o
d|ag|ama de l|echas ap|eseulado. Sug||o que voce laa o c|cu|o de lodos os composlos ap|eseulado ua lbua
da ope|ao.
Como j hav|amos meuc|ouado, a|gumas das p|op||edades de uma ope|ao em um coujuulo podem se|
|deul|l|cadas med|aule uma au||se de sua lbua. Couhea ago|a como la/e| esla |deul|l|cao.
vP|op||edade Comulal|va.
uaudo uma ope|ao e comulal|va, a lbua e s|mel||ca em |e|ao d|agoua| p||uc|pa|, ou seja,
os e|emeulos da lo|ma
.
vE|emeulo heul|o
uaudo uma ope|ao possu| e|emeulo ueul|o, a ||uha e a co|uua oude esse e|emeulo se eucoul|a
so |gua|s ||uha e co|uua luudameula|, ou seja, coulem em mesma pos|o, os e|emeulos do
coujuulo uo qua| esl del|u|da a ope|ao. Cous|de|e a ope|ao de , del|u|da uo coujuulo
. 0bse|ve sua lbua e veja que o e|emeulo e o e|emeulo ueul|o.
hole que a ||uha e a co|uua do e|emeulo so |gua|s, |especl|vameule, s ||uha e co|uua
luudameula|.
vE|emeulos S|mel||/ve|s
Lemb|audo da del|u|o 2.7, lemos que um e|emeulo e s|mel||/ve| em |e|ao a uma ope|ao
, que possu| e|emeulo ueul|o , se e/|sle la| que.
. Seudo ass|m, ua
lbua da ope|ao , ua ||uha de deve apa|ece| pe|o meuos um composlo |gua| a , ua co|uua de
lambem deve apa|ece| pe|o meuos um composlo |gua| a , o e|emeulo e s|mel||/ve| quaudo o
e|emeulo ueul|o apa|ece, pe|o meuos uma ve/, ua ||uha e ua co|uua de em pos|oes s|mel||cas
d|agoua| p||uc|pa|. Se po| a|gum acaso o e|emeulo ueul|o apa|ece| ua d|agoua| p||uc|pa|, lemos que o
46
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
47
UNIVERSIDADE DO ESTADO DA BAHIA
,
|slo uos mosl|a que
,
|slo uos mosl|a que
Pa|a comp|eeude| me|ho| o c|cu|o dos composlos, acompauhe o p|ocesso semp|e cousu|laudo o
d|ag|ama de l|echas ap|eseulado. Sug||o que voce laa o c|cu|o de lodos os composlos ap|eseulado ua lbua
da ope|ao.
Como j hav|amos meuc|ouado, a|gumas das p|op||edades de uma ope|ao em um coujuulo podem se|
|deul|l|cadas med|aule uma au||se de sua lbua. Couhea ago|a como la/e| esla |deul|l|cao.
vP|op||edade Comulal|va.
uaudo uma ope|ao e comulal|va, a lbua e s|mel||ca em |e|ao d|agoua| p||uc|pa|, ou seja,
os e|emeulos da lo|ma
.
vE|emeulo heul|o
uaudo uma ope|ao possu| e|emeulo ueul|o, a ||uha e a co|uua oude esse e|emeulo se eucoul|a
so |gua|s ||uha e co|uua luudameula|, ou seja, coulem em mesma pos|o, os e|emeulos do
coujuulo uo qua| esl del|u|da a ope|ao. Cous|de|e a ope|ao de , del|u|da uo coujuulo
. 0bse|ve sua lbua e veja que o e|emeulo e o e|emeulo ueul|o.
hole que a ||uha e a co|uua do e|emeulo so |gua|s, |especl|vameule, s ||uha e co|uua
luudameula|.
vE|emeulos S|mel||/ve|s
Lemb|audo da del|u|o 2.7, lemos que um e|emeulo e s|mel||/ve| em |e|ao a uma ope|ao
, que possu| e|emeulo ueul|o , se e/|sle la| que.
. Seudo ass|m, ua
lbua da ope|ao , ua ||uha de deve apa|ece| pe|o meuos um composlo |gua| a , ua co|uua de
lambem deve apa|ece| pe|o meuos um composlo |gua| a , o e|emeulo e s|mel||/ve| quaudo o
e|emeulo ueul|o apa|ece, pe|o meuos uma ve/, ua ||uha e ua co|uua de em pos|oes s|mel||cas
d|agoua| p||uc|pa|. Se po| a|gum acaso o e|emeulo ueul|o apa|ece| ua d|agoua| p||uc|pa|, lemos que o
*
*
48
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
49
UNIVERSIDADE DO ESTADO DA BAHIA
e|emeulo e s|mel||co de|e mesmo. Vamos |deul|l|ca| e|emeulos s|mel||/ve|s ua lbua da ope|ao
aba|/o, que |ep|eseula a compos|o de luuoes do coujuulo
hole que o e|emeulo ueul|o e o
. 0s e|emeulos s|mel||/ve|s so
, e os seus
s|mel||cos so |especl|vameule
.
vE|emeulos Regu|a|es
V|mos que. um e|emeulo e |egu|a| quaudo composlo com e|emeulos d|le|eules ( esque|da ou
d||e|la), p|odu/ |esu|lados d|le|eules. Ass|m, um e|emeulo e |egu|a| se em sua ||uha e co|uua uo
apa|ece e|emeulos |gua|s. Veja um e/emp|o. cous|de|e o coujuulo e a ope|ao
dada pe|a lbua a segu||.
0s e|emeulos |egu|a|es so e po|s ua ||uha e co|uua desles e|emeulos uo apa|ecem
e|emeulos |epel|dos.
Voce deve le| uolado que uo meuc|ouamos a p|op||edade assoc|al|va. Sabemos que uma ope|ao
sob|e um coujuulo e assoc|al|va se, pa|a
. Logo, pa|a ve||l|ca| se uma ope|ao e assoc|al|va, le|emos que elelua| la|s c|cu|os. ho
lemos coud|o de ve||l|ca| se uma ope|ao e assoc|al|va, obse|vaudo s|mp|esmeule sua lbua, sem elelua|
a|guus c|cu|os. Esles c|cu|os podem se| |ougos e s ve/es l|aba|hosos.
Espe|o que voce leuha comp|eeud|do bem a |de|a da |ep|eseulao de uma ope|ao em um coujuulo
com o uso de uma lbua de duas eul|adas, chamada lbua da ope|ao. V|u que ao obse|va| o compo|lameulo
dos e|emeulos ua lbua podemos |deul|l|ca| a|gumas de suas p|op||edades? Em segu|da, couhece|emos um
coujuulo mu|lo espec|a|, e del|u||emos duas ope|aoes |mpo|laules ue|e. esejo que coul|uue com al|uco seus
esludos. Po| euquaulo, leule |eso|ve| as al|v|dades p|oposlas a segu||.
SuEST0ES E ATlVlAES
O1. So ve|dade||as ou la|sas as segu|ules al||maoes. Jusl|l|que.
a) Toda ap||cao b|uu|voca e sob|ejelo|a.
b) Toda ap||cao de em e uma sob|ejeo de sob|e
c) A ap||cao que a cada sem|-|ela assoc|a a sua o||gem e |ujelo|a.
d) A ap||cao que a cada poulo de um c||cu|o assoc|a o pe da
e) pe|peud|cu|a| l|aada desle poulo a um d|mel|o do c||cu|o uo e b|jelo|a.
l) A ap||cao que a cada poulo do p|auo assoc|a a sua absc|ssa e uma ap||cao sob|ejelo|a.
g) A ap||cao que a cada po||gouo assoc|a a soma dos seus ugu|os |ule|uos e b|jelo|a.
O2. Ve||l|que se as ap||caoes dadas so ope|aoes |ule|uas.
a) , em,
b) , em,
c) ma|o| dos |ule||os eul|e e ,
d) , em .,
e) oude ,
l) oude ,
g)
, oude
h) oude .
O8. A mu|l|p||cao e uma ope|ao |ule|ua uo coujuulo
48
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
49
UNIVERSIDADE DO ESTADO DA BAHIA
e|emeulo e s|mel||co de|e mesmo. Vamos |deul|l|ca| e|emeulos s|mel||/ve|s ua lbua da ope|ao
aba|/o, que |ep|eseula a compos|o de luuoes do coujuulo
hole que o e|emeulo ueul|o e o
. 0s e|emeulos s|mel||/ve|s so
, e os seus
s|mel||cos so |especl|vameule
.
vE|emeulos Regu|a|es
V|mos que. um e|emeulo e |egu|a| quaudo composlo com e|emeulos d|le|eules ( esque|da ou
d||e|la), p|odu/ |esu|lados d|le|eules. Ass|m, um e|emeulo e |egu|a| se em sua ||uha e co|uua uo
apa|ece e|emeulos |gua|s. Veja um e/emp|o. cous|de|e o coujuulo e a ope|ao
dada pe|a lbua a segu||.
0s e|emeulos |egu|a|es so e po|s ua ||uha e co|uua desles e|emeulos uo apa|ecem
e|emeulos |epel|dos.
Voce deve le| uolado que uo meuc|ouamos a p|op||edade assoc|al|va. Sabemos que uma ope|ao
sob|e um coujuulo e assoc|al|va se, pa|a
. Logo, pa|a ve||l|ca| se uma ope|ao e assoc|al|va, le|emos que elelua| la|s c|cu|os. ho
lemos coud|o de ve||l|ca| se uma ope|ao e assoc|al|va, obse|vaudo s|mp|esmeule sua lbua, sem elelua|
a|guus c|cu|os. Esles c|cu|os podem se| |ougos e s ve/es l|aba|hosos.
Espe|o que voce leuha comp|eeud|do bem a |de|a da |ep|eseulao de uma ope|ao em um coujuulo
com o uso de uma lbua de duas eul|adas, chamada lbua da ope|ao. V|u que ao obse|va| o compo|lameulo
dos e|emeulos ua lbua podemos |deul|l|ca| a|gumas de suas p|op||edades? Em segu|da, couhece|emos um
coujuulo mu|lo espec|a|, e del|u||emos duas ope|aoes |mpo|laules ue|e. esejo que coul|uue com al|uco seus
esludos. Po| euquaulo, leule |eso|ve| as al|v|dades p|oposlas a segu||.
SuEST0ES E ATlVlAES
O1. So ve|dade||as ou la|sas as segu|ules al||maoes. Jusl|l|que.
a) Toda ap||cao b|uu|voca e sob|ejelo|a.
b) Toda ap||cao de em e uma sob|ejeo de sob|e
c) A ap||cao que a cada sem|-|ela assoc|a a sua o||gem e |ujelo|a.
d) A ap||cao que a cada poulo de um c||cu|o assoc|a o pe da
e) pe|peud|cu|a| l|aada desle poulo a um d|mel|o do c||cu|o uo e b|jelo|a.
l) A ap||cao que a cada poulo do p|auo assoc|a a sua absc|ssa e uma ap||cao sob|ejelo|a.
g) A ap||cao que a cada po||gouo assoc|a a soma dos seus ugu|os |ule|uos e b|jelo|a.
O2. Ve||l|que se as ap||caoes dadas so ope|aoes |ule|uas.
a) , em,
b) , em,
c) ma|o| dos |ule||os eul|e e ,
d) , em .,
e) oude ,
l) oude ,
g)
, oude
h) oude .
O8. A mu|l|p||cao e uma ope|ao |ule|ua uo coujuulo
, oude
h) oude .
O8. A mu|l|p||cao e uma ope|ao |ule|ua uo coujuulo
.
O4. C|ass|l|que, se poss|ve|, cada um dos pa|es, , aba|/o em g|up|de, sem|g|upo, mou|de ou g|upo.
(Se poss|ve|, use dados j eucoul|ados em e/e|c|c|os aule||o|es
a) oude ,
)
b) oude ma|o| dos |ule||os ou ,
c) oude e = {uume|os |ule||os pa|es},
d) oude ,
e) , oude
,
l) , oude ,
g) , oude ,
h) ', oude e ' , .
O5. Seja e cous|de|e a ope|ao uu|o de coujuulos em .
a) laa a lbua da ope|ao.
SUGESTO DE ATIVIDADE
50
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
51
UNIVERSIDADE DO ESTADO DA BAHIA
3 - 0hJhT
Couhece|emos ago|a um dos coujuulos ma|s espec|a|s que esluda|emos uesle cu|so de |geb|a. o
coujuulo
em que e um ualu|a| ma|o| que . Pa|a pode| couhece| me|ho| esle coujuulo, lemos que aules
couhece| a |e|ao de equ|va|euc|a que o dele|m|ua.
3.1 - e|ao de 0ongrunc|a Ndu|o
LFIhI 3.1: Sejam um |ule||o , e . |/-se que e coug|ueule a mdu|o se, e someule
se, . usa|emos a segu|ule uolao. .
E/emp|os. (a) Veja que po|s , ou seja, .
(b) po|s .
(c) po|s .
Aqu|, e/c|u|mos da del|u|o os casos em que ou . lslo po|que se a |e|ao de
coug|ueuc|a s acoulece de , e quaudo , do|s |ule||os qua|sque| so semp|e coug|ueules, uma ve/
que d|v|de qua|que| |ule||o.
FF8I 3.2: A |e|ao de coug|ueuc|a mdu|o e uma |e|ao de equ|va|euc|a.
P|ova. Sejam , eulo.
|ogo , po|laulo e |el|e/|va,
Supoudo que lemos que , |slo s|gu|l|ca que e/|sle la| que
, ou seja , o que uos |eva a . Po|laulo lemos , e a |e|ao e
s|mel||ca.
Supoudo que e . a|,
,
de lemos
, oude
h) oude .
O8. A mu|l|p||cao e uma ope|ao |ule|ua uo coujuulo
.
O4. C|ass|l|que, se poss|ve|, cada um dos pa|es, , aba|/o em g|up|de, sem|g|upo, mou|de ou g|upo.
(Se poss|ve|, use dados j eucoul|ados em e/e|c|c|os aule||o|es
a) oude ,
)
b) oude ma|o| dos |ule||os ou ,
c) oude e = {uume|os |ule||os pa|es},
d) oude ,
e) , oude
,
l) , oude ,
g) , oude ,
h) ', oude e ' , .
O5. Seja e cous|de|e a ope|ao uu|o de coujuulos em .
a) laa a lbua da ope|ao.
E2TXHVHSRGHFRQFOXLUTXDQWRDFRPXWDWLYLGDGHGDRSHUDomR"
F2TXHVHREVHUYDQDOLQKDORJRDEDL[RGDOLQKDIXQGDPHQWDOHQDFROXQDORJRjGLUHLWDGDFROXQDIXQGDPHQWDO"
2TXHYRFrFRQFOXL"
GWHPHOHPHQWRVUHJXODUHVSDUDDRSHUDomRUHXQLmR"4XDLV"
H(HOHPHQWRVVLPHWUL]iYHLV"4XDLV"
I&RPRVHFODVVLILFDDHVWUXWXUDDOJpEULFD "
50
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
51
UNIVERSIDADE DO ESTADO DA BAHIA
3 - 0hJhT
Couhece|emos ago|a um dos coujuulos ma|s espec|a|s que esluda|emos uesle cu|so de |geb|a. o
coujuulo
em que e um ualu|a| ma|o| que . Pa|a pode| couhece| me|ho| esle coujuulo, lemos que aules
couhece| a |e|ao de equ|va|euc|a que o dele|m|ua.
3.1 - e|ao de 0ongrunc|a Ndu|o
LFIhI 3.1: Sejam um |ule||o , e . |/-se que e coug|ueule a mdu|o se, e someule
se, . usa|emos a segu|ule uolao. .
E/emp|os. (a) Veja que po|s , ou seja, .
(b) po|s .
(c) po|s .
Aqu|, e/c|u|mos da del|u|o os casos em que ou . lslo po|que se a |e|ao de
coug|ueuc|a s acoulece de , e quaudo , do|s |ule||os qua|sque| so semp|e coug|ueules, uma ve/
que d|v|de qua|que| |ule||o.
FF8I 3.2: A |e|ao de coug|ueuc|a mdu|o e uma |e|ao de equ|va|euc|a.
P|ova. Sejam , eulo.
|ogo , po|laulo e |el|e/|va,
Supoudo que lemos que , |slo s|gu|l|ca que e/|sle la| que
, ou seja , o que uos |eva a . Po|laulo lemos , e a |e|ao e
s|mel||ca.
Supoudo que e . a|,
,
de lemos
T
I
C
A
53
UNIVERSIDADE DO ESTADO DA BAHIA
e e podemos couc|u|| que e uma |e|ao de equ|va|euc|a .
A |e|ao de coug|ueuc|a possu| oul|as p|op||edades. Como uosso objel|vo aqu| e la/e| a cousl|uo do
coujuulo
, as ap|eseula|emos sem demousl|ao. Sug||o que cousu|le os ||v|os |ud|cados uas |ele|euc|as
desle male||a| pa|a eucoul|a| la|s demousl|aoes.
P|op||edades.
v ,
v ,
v e ,
v e ,
v , .
Sug||o que voce leule la/e| a p|ova de cada uma deslas p|op||edades. Pa|a |ea||/-|as basla ap||ca| a
del|u|o de coug|ueuc|a. Teuho ce|le/a que le| sucesso uesla al|v|dade!
J que a |e|ao de coug|ueuc|a mdu|o e uma |e|ao de equ|va|euc|a, podemos eulo peusa| em
c|asses de equ|va|euc|a. Aules de ca|cu|-|as, vamos acompauha| um leo|ema |mpo|laule pa|a a cousl|uo do
coujuulo
H WDLVTXH
RQGH $VVLP
RQGH /RJRHGHL[DPRPHVPRUHVWRTXDQGRGLYLGLGRVSRU
5HFLSURFDPHQWHVHHGHL[DPRPHVPRUHVWRTXDQGRGLYLGLGRVSRUSRGHPRVHVFUHYHU
HP TXH
H (QWmR
/RJR
E/emp|os. (a) Se de|/a |eslo e lambem de|/a |eslo , eulo .
(b) Se de|/a |eslo e lambem de|/a |eslo , eulo .
0LI 3.3.1. Se e e o |eslo da d|v|so de po| , em que , eulo .
Seudo o |eslo da d|v|so de po| , lemos , o que uos |eva a
. Ass|m .
E/emp|os. (a) ua| o va|o| de , se ?
Pe|o co|o|||o aule||o|, como o |eslo da d|v|so de po| e , lemos que , |ogo,
. Po|laulo, e um uume|o |mpa|.
(b) ua| o va|o| de , sabeudo que ?
Pe|o del|u|o de coug|ueuc|a, , |ogo, , com . Po|laulo, e um uume|o da
lo|ma .
Esle |esu|lado uos mosl|a que um dele|m|uado esl |e|ac|ouado com mdu|o , se / de|/a o mesmo
|eslo que quaudo d|v|d|do po| . E ma|s. lodos os |ule||os que de|/am o mesmo |eslo que quaudo d|v|d|dos
po| lambem eslo |e|ac|ouados com . Ass|m podemos euleude| me|ho| as c|asses de equ|va|euc|a
dele|m|uadas pe|a |e|ao de coug|ueuc|a mdu|o . E|as cousl|luem o coujuulo
.
3.2 - 0|asse de Lqu|va|nc|a da e|ao de 0ongrunc|a
LFIhI 3.4: Sejam , com . Chama-se c|asse de equ|va|euc|a dele|m|uada po| mdu|o
o coujuulo.
ou
ou .
0 coujuulo das c|asses de equ|va|euc|a mdu|o e chamado de coujuulo dos |ule||os mdu|o e se|
|ud|cado po|
T
I
C
A
53
UNIVERSIDADE DO ESTADO DA BAHIA
e e podemos couc|u|| que e uma |e|ao de equ|va|euc|a .
A |e|ao de coug|ueuc|a possu| oul|as p|op||edades. Como uosso objel|vo aqu| e la/e| a cousl|uo do
coujuulo
, as ap|eseula|emos sem demousl|ao. Sug||o que cousu|le os ||v|os |ud|cados uas |ele|euc|as
desle male||a| pa|a eucoul|a| la|s demousl|aoes.
P|op||edades.
v ,
v ,
v e ,
v e ,
v , .
Sug||o que voce leule la/e| a p|ova de cada uma deslas p|op||edades. Pa|a |ea||/-|as basla ap||ca| a
del|u|o de coug|ueuc|a. Teuho ce|le/a que le| sucesso uesla al|v|dade!
J que a |e|ao de coug|ueuc|a mdu|o e uma |e|ao de equ|va|euc|a, podemos eulo peusa| em
c|asses de equ|va|euc|a. Aules de ca|cu|-|as, vamos acompauha| um leo|ema |mpo|laule pa|a a cousl|uo do
coujuulo
H WDLVTXH
RQGH $VVLP
RQGH /RJRHGHL[DPRPHVPRUHVWRTXDQGRGLYLGLGRVSRU
5HFLSURFDPHQWHVHHGHL[DPRPHVPRUHVWRTXDQGRGLYLGLGRVSRUSRGHPRVHVFUHYHU
HP TXH
H (QWmR
/RJR
E/emp|os. (a) Se de|/a |eslo e lambem de|/a |eslo , eulo .
(b) Se de|/a |eslo e lambem de|/a |eslo , eulo .
0LI 3.3.1. Se e e o |eslo da d|v|so de po| , em que , eulo .
Seudo o |eslo da d|v|so de po| , lemos , o que uos |eva a
. Ass|m .
E/emp|os. (a) ua| o va|o| de , se ?
Pe|o co|o|||o aule||o|, como o |eslo da d|v|so de po| e , lemos que , |ogo,
. Po|laulo, e um uume|o |mpa|.
(b) ua| o va|o| de , sabeudo que ?
Pe|o del|u|o de coug|ueuc|a, , |ogo, , com . Po|laulo, e um uume|o da
lo|ma .
Esle |esu|lado uos mosl|a que um dele|m|uado esl |e|ac|ouado com mdu|o , se / de|/a o mesmo
|eslo que quaudo d|v|d|do po| . E ma|s. lodos os |ule||os que de|/am o mesmo |eslo que quaudo d|v|d|dos
po| lambem eslo |e|ac|ouados com . Ass|m podemos euleude| me|ho| as c|asses de equ|va|euc|a
dele|m|uadas pe|a |e|ao de coug|ueuc|a mdu|o . E|as cousl|luem o coujuulo
.
3.2 - 0|asse de Lqu|va|nc|a da e|ao de 0ongrunc|a
LFIhI 3.4: Sejam , com . Chama-se c|asse de equ|va|euc|a dele|m|uada po| mdu|o
o coujuulo.
ou
ou .
0 coujuulo das c|asses de equ|va|euc|a mdu|o e chamado de coujuulo dos |ule||os mdu|o e se|
|ud|cado po|
T
I
C
A
55
UNIVERSIDADE DO ESTADO DA BAHIA
J v|mos, ua p|opos|o 1.8, que se do|s e|emeulos eslo |e|ac|ouados po| uma |e|ao de equ|va|euc|a,
eulo e|es possuem a mesma c|asse de equ|va|euc|a. Ass|m as c|asses de equ|va|euc|a dele|m|uadas pe|a
|e|ao de coug|ueuc|a mdu|o so dadas po| . Eulo podemos couc|u|| que o coujuulo
e dado po|.
.
A|em d|sso, de aco|do com a del|u|o 8.4e o a|go||lmo da d|v|so, as c|asses de equ|va|euc|a
dele|m|uadas pe|a |e|ao de coug|ueuc|a mdu|o , lambem podem se| e/p|essas' da segu|ule lo|ma.
.
E/emp|os. (a) Pa|a , lemos.
|ogo,
.
(b) Pa|a , lemos.
|ogo,
.
(c) Pa|a , lemos.
|ogo,
.
Voce deve le| uolado que as c|asses de equ|va|euc|a so composlas pe|os |ule||os, que quaudo d|v|d|dos
po| , de|/am |eslo |gua| ao uume|o co||espoudeule c|asse de equ|va|euc|a, ou seja, a c|asse de equ|va|euc|a
e lo|mada pe|os |ule||os que d|v|d|dos po| de|/am |eslo .
hole lambem que a c|asse e equ|va|eule c|asse mdu|o , uma ve/ que ao d|v|d||mos po|
oblemos |eslo /e|o, ass|m, e, po|laulo, e|es dele|m|uam a mesma c|asse de equ|va|euc|a.
Seudo ass|m, po| e/emp|o, em
lem-se , em
lem-se e em
lem-se .
0 coujuulo
lambem e deuom|uado de coujuulo das c|asses |es|dua|s mdu|o . Cada c|asse |es|dua|
mdu|o , e uma c|asse de equ|va|euc|a mdu|o e co|uc|de com a c|asse dos poss|ve|s |eslos da d|v|so po|
.
uma ve/ couhec|do o coujuulo
Em um coujuulo
eulo
.
P|ova. Se
eulo
, se
eulo
. Ass|m,
. Ass|m, lemos
.
Esla p|opos|o uos assegu|a a |eg|l|m|dade das del|u|oes a segu||, ou seja, as ope|aoes de ad|o e
mu|l|p||cao a se|em del|u|das, |udepeudem do |ep|eseulaule esco|h|do pa|a a c|asse.
3.3.1 - Ad|o em
LFIhI 3.6: adas duas c|asses
T
I
C
A
55
UNIVERSIDADE DO ESTADO DA BAHIA
J v|mos, ua p|opos|o 1.8, que se do|s e|emeulos eslo |e|ac|ouados po| uma |e|ao de equ|va|euc|a,
eulo e|es possuem a mesma c|asse de equ|va|euc|a. Ass|m as c|asses de equ|va|euc|a dele|m|uadas pe|a
|e|ao de coug|ueuc|a mdu|o so dadas po| . Eulo podemos couc|u|| que o coujuulo
e dado po|.
.
A|em d|sso, de aco|do com a del|u|o 8.4e o a|go||lmo da d|v|so, as c|asses de equ|va|euc|a
dele|m|uadas pe|a |e|ao de coug|ueuc|a mdu|o , lambem podem se| e/p|essas' da segu|ule lo|ma.
.
E/emp|os. (a) Pa|a , lemos.
|ogo,
.
(b) Pa|a , lemos.
|ogo,
.
(c) Pa|a , lemos.
|ogo,
.
Voce deve le| uolado que as c|asses de equ|va|euc|a so composlas pe|os |ule||os, que quaudo d|v|d|dos
po| , de|/am |eslo |gua| ao uume|o co||espoudeule c|asse de equ|va|euc|a, ou seja, a c|asse de equ|va|euc|a
e lo|mada pe|os |ule||os que d|v|d|dos po| de|/am |eslo .
hole lambem que a c|asse e equ|va|eule c|asse mdu|o , uma ve/ que ao d|v|d||mos po|
oblemos |eslo /e|o, ass|m, e, po|laulo, e|es dele|m|uam a mesma c|asse de equ|va|euc|a.
Seudo ass|m, po| e/emp|o, em
lem-se , em
lem-se e em
lem-se .
0 coujuulo
lambem e deuom|uado de coujuulo das c|asses |es|dua|s mdu|o . Cada c|asse |es|dua|
mdu|o , e uma c|asse de equ|va|euc|a mdu|o e co|uc|de com a c|asse dos poss|ve|s |eslos da d|v|so po|
.
uma ve/ couhec|do o coujuulo
Em um coujuulo
eulo
.
P|ova. Se
eulo
, se
eulo
. Ass|m,
. Ass|m, lemos
.
Esla p|opos|o uos assegu|a a |eg|l|m|dade das del|u|oes a segu||, ou seja, as ope|aoes de ad|o e
mu|l|p||cao a se|em del|u|das, |udepeudem do |ep|eseulaule esco|h|do pa|a a c|asse.
3.3.1 - Ad|o em
LFIhI 3.6: adas duas c|asses
T
I
C
A
57
UNIVERSIDADE DO ESTADO DA BAHIA
6H
HQWmR /RJRDDGLomRHP
pFRPXWDWLYD
v3URSULHGDGH$VVRFLDWLYD
6H
HQWmR
/RJRDDGLomRHP
pDVVRFLDWLYD
v(OHPHQWR1HXWUR
6H
.
vE|emeulo S|mel||/ve|
Se
, eulo o e|emeulo
.
uma ve/ que j couhecemos as p|op||edades da ad|o em
.
Temos que
LFIhI 3.7: adas duas c|asses
e comulal|va.
vP|op||edade Assoc|al|va
Se
eulo .
Logo, a mu|l|p||cao em
e assoc|al|va.
vE|emeulo heul|o
Se
.
vE|emeulo S|mel||/ve|
A ope|ao de mu|l|p||cao em
T
I
C
A
57
UNIVERSIDADE DO ESTADO DA BAHIA
6H
HQWmR /RJRDDGLomRHP
pFRPXWDWLYD
v3URSULHGDGH$VVRFLDWLYD
6H
HQWmR
/RJRDDGLomRHP
pDVVRFLDWLYD
v(OHPHQWR1HXWUR
6H
.
vE|emeulo S|mel||/ve|
Se
, eulo o e|emeulo
.
uma ve/ que j couhecemos as p|op||edades da ad|o em
.
Temos que
LFIhI 3.7: adas duas c|asses
e comulal|va.
vP|op||edade Assoc|al|va
Se
eulo .
Logo, a mu|l|p||cao em
e assoc|al|va.
vE|emeulo heul|o
Se
.
vE|emeulo S|mel||/ve|
A ope|ao de mu|l|p||cao em
T
I
C
A
59
UNIVERSIDADE DO ESTADO DA BAHIA
Rec|p|ocameule, se , eulo e/|slem la| que . Eulo,
, ou seja, . lslo uos mosl|a que e, po|laulo . Seudo
ass|m, e o s|mel||co de em
Com esla p|opos|o podemos eulo dele|m|ua| qua|s e|emeulos so s|mel||/ve|s em um coujuulo
.
Pa|a comp|ela| la| |de|a, acompauhe o co|o|||o desla p|opos|o.
0LI 3.B.1: Se e p||mo, eulo lodos os e|emeulos uo uu|os de
so s|mel||/ve|s.
uma ve/ que lambem j couhecemos as p|op||edades da mu|l|p||cao em
podemos cousl|u|| um
e/emp|o, |ep|eseulaudo esla ope|ao al|aves da sua lbua.
E/emp|o. Cousl|u|| a lbua da mu|l|p||cao em
.
Temos que
.
Espe|o que voce leuha comp|eeud|do bem a cousl|uo do coujuulo
T
I
C
A
59
UNIVERSIDADE DO ESTADO DA BAHIA
Rec|p|ocameule, se , eulo e/|slem la| que . Eulo,
, ou seja, . lslo uos mosl|a que e, po|laulo . Seudo
ass|m, e o s|mel||co de em
Com esla p|opos|o podemos eulo dele|m|ua| qua|s e|emeulos so s|mel||/ve|s em um coujuulo
.
Pa|a comp|ela| la| |de|a, acompauhe o co|o|||o desla p|opos|o.
0LI 3.B.1: Se e p||mo, eulo lodos os e|emeulos uo uu|os de
so s|mel||/ve|s.
uma ve/ que lambem j couhecemos as p|op||edades da mu|l|p||cao em
podemos cousl|u|| um
e/emp|o, |ep|eseulaudo esla ope|ao al|aves da sua lbua.
E/emp|o. Cousl|u|| a lbua da mu|l|p||cao em
.
Temos que
.
Espe|o que voce leuha comp|eeud|do bem a cousl|uo do coujuulo
T
I
C
A
61
UNIVERSIDADE DO ESTADO DA BAHIA
4 - F8
Chegamos eulo elapa ma|s |mpo|laule desle cu|so. Aqu|, couhece|emos os g|upos ma|s |mpo|laules,
bem como suas p||uc|pa|s ca|acle||sl|cas e p|op||edades. lu|c|a|meule euuuc|a|emos a|gumas del|u|oes,
p|opos|oes e leo|emas, e em segu|da ap|eseula|emos v||os e/emp|os de g|upos. Espe|o que leuha bous
esludos.
LFIhI 4.1: Sejam um coujuulo uo va/|o, e uma ope|ao |ule|ua sob|e . |/-se que e um g|upo
em |e|ao ope|ao , ou que e um g|upo se, e someule se, va|e.
,
la| que, va|e ,
la| que
.
Voce pode obse|va| que. pa|a um coujuulo , muu|do de uma ope|ao |ule|ua , se| um g|upo basla que
a ope|ao sal|slaa as p|op||edades assoc|al|va, e|emeulo ueul|o e e|emeulo s|mel||/ve|. Aqu|, d||emos que
o e|emeulo ueul|o e o e|emeulo ueul|o do g|upo. A pa|l|| desle momeulo, ao uos |ele|||mos a um g|upo ,
usa|emos apeuas o s|mbo|o , com o objel|vo de s|mp||l|ca| a uolao.
Se a|em das p|op||edades c|ladas ac|ma, lambem va|e| a comulal|v|dade, d|/-se le| um g|upo abe||auo.
LFIhI 4.2: ado um g|upo , del|ue-se a o|dem do g|upo e |ud|ca-se po| , a quaul|dade de
e|emeulos do coujuulo .
uaudo se l|ala de um g|upo l|u|lo, sua o|dem e |gua| a a|gum uume|o |ule||o pos|l|vo. Caso coul|||o,
le|emos um g|upo |ul|u|lo e, po|laulo uo podemos |ep|eseula| sua o|dem como um uume|o |ule||o.
Se a ope|ao e uma ad|o, d|/-se que o g|upo e um g|upo ad|l|vo, uo caso em que e uma
mu|l|p||cao, d|/-se que e um g|upo mu|l|p||cal|vo. Se lo| um g|upo l|u|lo, a lbua da ope|ao
passa a se| deuom|uada lbua do g|upo.
E/emp|os. (a) e o g|upo ad|l|vo dos |ule||os e e |ul|u|lo. hesle caso, lemos lambem um g|upo
abe||auo, po|s a ad|o em e comulal|va.
(b) uo e g|upo, po|s os uu|cos e|emeulos s|mel||/ve|s so e .
(c)
.
SUGESTO DE ATIVIDADE
01. Construa as tbuas da adio e da multiplicao em
; > 1.
04. Determine quais so os elementos simetrizveis com respeito multiplicao nos seguintes conjuntos:
a)
16
b)
17
c)
20
d)
21
05. Em cada um dos conjuntos acima identifique os pares de elementos simtricos.
60
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
61
UNIVERSIDADE DO ESTADO DA BAHIA
4 - F8
Chegamos eulo elapa ma|s |mpo|laule desle cu|so. Aqu|, couhece|emos os g|upos ma|s |mpo|laules,
bem como suas p||uc|pa|s ca|acle||sl|cas e p|op||edades. lu|c|a|meule euuuc|a|emos a|gumas del|u|oes,
p|opos|oes e leo|emas, e em segu|da ap|eseula|emos v||os e/emp|os de g|upos. Espe|o que leuha bous
esludos.
LFIhI 4.1: Sejam um coujuulo uo va/|o, e uma ope|ao |ule|ua sob|e . |/-se que e um g|upo
em |e|ao ope|ao , ou que e um g|upo se, e someule se, va|e.
,
la| que, va|e ,
la| que
.
Voce pode obse|va| que. pa|a um coujuulo , muu|do de uma ope|ao |ule|ua , se| um g|upo basla que
a ope|ao sal|slaa as p|op||edades assoc|al|va, e|emeulo ueul|o e e|emeulo s|mel||/ve|. Aqu|, d||emos que
o e|emeulo ueul|o e o e|emeulo ueul|o do g|upo. A pa|l|| desle momeulo, ao uos |ele|||mos a um g|upo ,
usa|emos apeuas o s|mbo|o , com o objel|vo de s|mp||l|ca| a uolao.
Se a|em das p|op||edades c|ladas ac|ma, lambem va|e| a comulal|v|dade, d|/-se le| um g|upo abe||auo.
LFIhI 4.2: ado um g|upo , del|ue-se a o|dem do g|upo e |ud|ca-se po| , a quaul|dade de
e|emeulos do coujuulo .
uaudo se l|ala de um g|upo l|u|lo, sua o|dem e |gua| a a|gum uume|o |ule||o pos|l|vo. Caso coul|||o,
le|emos um g|upo |ul|u|lo e, po|laulo uo podemos |ep|eseula| sua o|dem como um uume|o |ule||o.
Se a ope|ao e uma ad|o, d|/-se que o g|upo e um g|upo ad|l|vo, uo caso em que e uma
mu|l|p||cao, d|/-se que e um g|upo mu|l|p||cal|vo. Se lo| um g|upo l|u|lo, a lbua da ope|ao
passa a se| deuom|uada lbua do g|upo.
E/emp|os. (a) e o g|upo ad|l|vo dos |ule||os e e |ul|u|lo. hesle caso, lemos lambem um g|upo
abe||auo, po|s a ad|o em e comulal|va.
(b) uo e g|upo, po|s os uu|cos e|emeulos s|mel||/ve|s so e .
(c)
.
62
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
63
UNIVERSIDADE DO ESTADO DA BAHIA
(d) uo e g|upo, po|s o e|emeulo uo e s|mel||/ve|.
(e)
so s|mel||cos de em , eulo .
P|ova. Se e so e|emeulos ueul|os, pa|a lodo lem-se e em pa|l|cu|a|, j
que
.
Se e so s|mel||cos de , eulo lemos e . Logo,
. Po|laulo,
.
Com base uesla p|opos|o, podemos al||ma| que. se e um e|emeulo de , eulo
. Teule la/e|
a ve||l|cao desla al||mao!
FF8I 4.4: Sejam um g|upo e e|emeulos de . Eulo
.
P|ova. Esla p|opos|o lem p|ova seme|haule ap|eseulada ua p|opos|o 2.9. Acompauhe uovameule.
sejam , e|emeulo ueul|o e
.
Logo, couc|u|mos que
.
0LI 4.4.1: Sejam
. Eulo
.
P|ova. eco||e d||elameule da p|opos|o 4.4.
0LI 4.4.2: Se e um g|upo abe||auo e so e|emeulos s|mel||/ve|s, eulo
.
P|ova. e aco|do com a p|opos|o 4.4, lemos
, ass|m,
.
Lemb|e-se que em um g|upo, lodo e|emeulo e s|mel||/ve|. e aco|do com o que v|mos ua p|opos|o
2.11, em um g|upo, lodo e|emeulo e |egu|a|. Ass|m, usa|emos esle lalo pa|a demousl|a| a p|/|ma p|opos|o.
LFIhI 4.6: um e|emeulo , de um g|upo e |dempoleule se .
FF8I 4.6: hum g|upo qua|que|, o uu|co e|emeulo |dempoleule e o ueul|o.
P|ova. Seja , um e|emeulo |dempoleule. Eulo, lem-se e , e|emeulo
ueul|o de . Como e um g|upo, e |egu|a|, ou seja, va|e o cauce|ameulo. Ass|m de lemos
.
Ao couhece|mos o e|emeulo |dempoleule, lemos uma |de|a de poleuc|a de e|emeulos deul|o de um g|upo.
Aqu|, va|e a peua sa||eula| que a poleuc|a do e|emeulo de um g|upo esl |e|ac|ouada com a quaul|dade de ve/es
que ope|amos o e|emeulo com e|e mesmo. Pa|a esc|a|ece| me|ho| esle couce|lo, acompauhe a p|/|ma
del|u|o.
LFIhI 4.7: Sejam o e|emeulo ueul|o de um g|upo e . el|ue-se.
E ma|s,
.
Voce pode pe|cebe| que esla del|u|o se asseme|ha del|u|o e s p|op||edades da poleuc|a couhec|da
po| voces ao esluda| os coujuulos uume||cos uolve|s. Acompauhe um e/emp|o oude ca|cu|amos a|gumas
poleuc|as em um g|upo.
E/emp|o. Em
Em
.
62
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
63
UNIVERSIDADE DO ESTADO DA BAHIA
(d) uo e g|upo, po|s o e|emeulo uo e s|mel||/ve|.
(e)
so s|mel||cos de em , eulo .
P|ova. Se e so e|emeulos ueul|os, pa|a lodo lem-se e em pa|l|cu|a|, j
que
.
Se e so s|mel||cos de , eulo lemos e . Logo,
. Po|laulo,
.
Com base uesla p|opos|o, podemos al||ma| que. se e um e|emeulo de , eulo
. Teule la/e|
a ve||l|cao desla al||mao!
FF8I 4.4: Sejam um g|upo e e|emeulos de . Eulo
.
P|ova. Esla p|opos|o lem p|ova seme|haule ap|eseulada ua p|opos|o 2.9. Acompauhe uovameule.
sejam , e|emeulo ueul|o e
.
Logo, couc|u|mos que
.
0LI 4.4.1: Sejam
. Eulo
.
P|ova. eco||e d||elameule da p|opos|o 4.4.
0LI 4.4.2: Se e um g|upo abe||auo e so e|emeulos s|mel||/ve|s, eulo
.
P|ova. e aco|do com a p|opos|o 4.4, lemos
, ass|m,
.
Lemb|e-se que em um g|upo, lodo e|emeulo e s|mel||/ve|. e aco|do com o que v|mos ua p|opos|o
2.11, em um g|upo, lodo e|emeulo e |egu|a|. Ass|m, usa|emos esle lalo pa|a demousl|a| a p|/|ma p|opos|o.
LFIhI 4.6: um e|emeulo , de um g|upo e |dempoleule se .
FF8I 4.6: hum g|upo qua|que|, o uu|co e|emeulo |dempoleule e o ueul|o.
P|ova. Seja , um e|emeulo |dempoleule. Eulo, lem-se e , e|emeulo
ueul|o de . Como e um g|upo, e |egu|a|, ou seja, va|e o cauce|ameulo. Ass|m de lemos
.
Ao couhece|mos o e|emeulo |dempoleule, lemos uma |de|a de poleuc|a de e|emeulos deul|o de um g|upo.
Aqu|, va|e a peua sa||eula| que a poleuc|a do e|emeulo de um g|upo esl |e|ac|ouada com a quaul|dade de ve/es
que ope|amos o e|emeulo com e|e mesmo. Pa|a esc|a|ece| me|ho| esle couce|lo, acompauhe a p|/|ma
del|u|o.
LFIhI 4.7: Sejam o e|emeulo ueul|o de um g|upo e . el|ue-se.
E ma|s,
.
Voce pode pe|cebe| que esla del|u|o se asseme|ha del|u|o e s p|op||edades da poleuc|a couhec|da
po| voces ao esluda| os coujuulos uume||cos uolve|s. Acompauhe um e/emp|o oude ca|cu|amos a|gumas
poleuc|as em um g|upo.
E/emp|o. Em
Em
.
64
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
65
UNIVERSIDADE DO ESTADO DA BAHIA
hole que pa|a ca|cu|a| poleuc|as de um e|emeulo de um g|upo, uo e uecess||o que esle seja abe||auo.
Temos semp|e que |espe|la| a p|op||edade assoc|al|va. A|guus |esu|lados de poleuc|as de e|emeulo, e |e|ao de
um e|emeulo com seu s|mel||co podem ga|aul|| que um dado g|upo seja abe||auo. Acompauhe esles
|esu|lados uos leo|emas a segu||.
TLLNA 4.B: Se lodo e|emeulo de um g|upo e |gua| ao seu s|mel||co, eulo e abe||auo.
P|ova. Pa|a lodo e|emeulo lem-se . Podemos eulo couc|u|| que
e, po|laulo
Temos eulo que e abe||auo, po|s sal|sla/ a p|op||edade comulal|va.
TLLNA 4.9: Seja um g|upo uo qua| pa|a lodo e|emeulo va|e
. Eulo e abe||auo.
P|ova. Pa|a lodo lemos que
. Ass|m, lodo e|emeulo em e |gua| ao seu s|mel||co. Logo, pe|o leo|ema 4.8, e abe||auo.
Semp|e que um g|upo e abe||auo, ua lbua da ope|ao, em sua d|agoua| p||uc|pa| s apa|ece o
e|emeulo ueul|o. lslo e cousequeuc|a do leo|ema 4.8 esludado. Veja a lbua de um g|upo abe||auo.
E/emp|o. 0 g|upo dado pe|a lbua aba|/o e abe||auo.
LFIhI 4.10: Seja um e|emeulo de um g|upo . el|ue-se a o|dem do e|emeulo como seudo o meuo|
|ule||o pos|l|vo , la| que
.
audo segu|meulo ao uosso esludo, couhece|emos eulo uma d|ve|s|dade de g|upos, que so
cous|de|ados g|upos uolve|s, dev|do a sua |mpo|luc|a e a sua g|aude ul|||/ao.
4.1 - rupos hoIve|s
Como c|lado aule||o|meule, couhea ago|a a|guus g|upos |mpo|laules a|em dos j couhec|dos, como po|
e/emp|o , ,
, e
.
4.1.1 - rupo de k|e|n
|upo de K|e|u e lodo g|upo de o|dem ca|acle||/ado pe|a p|op||edade de que lodos os seus e|emeulos,
d|sl|ulos do e|emeulo ueul|o, lem o|dem . e aco|do com o leo|ema 4.9, lemos que o g|upo de K|e|u e semp|e
abe||auo. A lbua de um g|upo de K|e|u, , lem a coul|gu|ao aba|/o.
0bse|ve que em sua d|agoua| p||uc|pa|, apeuas apa|ece o e|emeulo ueul|o. lslo uos d|/ que lodo e|emeulo
e s|mel||co de s| p|p||o.
64
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
65
UNIVERSIDADE DO ESTADO DA BAHIA
hole que pa|a ca|cu|a| poleuc|as de um e|emeulo de um g|upo, uo e uecess||o que esle seja abe||auo.
Temos semp|e que |espe|la| a p|op||edade assoc|al|va. A|guus |esu|lados de poleuc|as de e|emeulo, e |e|ao de
um e|emeulo com seu s|mel||co podem ga|aul|| que um dado g|upo seja abe||auo. Acompauhe esles
|esu|lados uos leo|emas a segu||.
TLLNA 4.B: Se lodo e|emeulo de um g|upo e |gua| ao seu s|mel||co, eulo e abe||auo.
P|ova. Pa|a lodo e|emeulo lem-se . Podemos eulo couc|u|| que
e, po|laulo
Temos eulo que e abe||auo, po|s sal|sla/ a p|op||edade comulal|va.
TLLNA 4.9: Seja um g|upo uo qua| pa|a lodo e|emeulo va|e
. Eulo e abe||auo.
P|ova. Pa|a lodo lemos que
. Ass|m, lodo e|emeulo em e |gua| ao seu s|mel||co. Logo, pe|o leo|ema 4.8, e abe||auo.
Semp|e que um g|upo e abe||auo, ua lbua da ope|ao, em sua d|agoua| p||uc|pa| s apa|ece o
e|emeulo ueul|o. lslo e cousequeuc|a do leo|ema 4.8 esludado. Veja a lbua de um g|upo abe||auo.
E/emp|o. 0 g|upo dado pe|a lbua aba|/o e abe||auo.
LFIhI 4.10: Seja um e|emeulo de um g|upo . el|ue-se a o|dem do e|emeulo como seudo o meuo|
|ule||o pos|l|vo , la| que
.
audo segu|meulo ao uosso esludo, couhece|emos eulo uma d|ve|s|dade de g|upos, que so
cous|de|ados g|upos uolve|s, dev|do a sua |mpo|luc|a e a sua g|aude ul|||/ao.
4.1 - rupos hoIve|s
Como c|lado aule||o|meule, couhea ago|a a|guus g|upos |mpo|laules a|em dos j couhec|dos, como po|
e/emp|o , ,
, e
.
4.1.1 - rupo de k|e|n
|upo de K|e|u e lodo g|upo de o|dem ca|acle||/ado pe|a p|op||edade de que lodos os seus e|emeulos,
d|sl|ulos do e|emeulo ueul|o, lem o|dem . e aco|do com o leo|ema 4.9, lemos que o g|upo de K|e|u e semp|e
abe||auo. A lbua de um g|upo de K|e|u, , lem a coul|gu|ao aba|/o.
0bse|ve que em sua d|agoua| p||uc|pa|, apeuas apa|ece o e|emeulo ueul|o. lslo uos d|/ que lodo e|emeulo
e s|mel||co de s| p|p||o.
66
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
67
UNIVERSIDADE DO ESTADO DA BAHIA
4.1.2 - rupo das FermuIaes
LFIhI 4.11: Seja um coujuulo uo va/|o la| que . Chama-se pe|mulao de loda luuo
b|jelo|a sob|e , |slo e, , com b|jelo|a. 0 coujuulo de lodas as pe|mulaoes de e deuolado po|
.
hole que o coujuulo , muu|do da ope|ao compos|o de luuoes, e um g|upo uo abe||auo. e
lalo, lemos as p|op||edades.
vassoc|al|va,
Sejam e . Temos
.
ve|emeulo ueul|o,
Seja , la| que , pa|a lodo . Temos que . A|em d|sso, se e
, eulo . a|, . Tambem .
Logo, . Po|laulo, e o e|emeulo ueul|o de .
ve|emeulo s|mel||/ve|,
Se , eulo e uma b|jeo e adm|le |uve|sa
la| que
.
Logo, podemos couc|u|| que e um g|upo. A ope|ao compos|o uo e comulal|va, ass|m e
um g|upo uo abe||auo.
uaudo , , eulo se| |ud|cado po|
e o g|upo
e chamado de
g|upo s|mel||co de g|au . hesle caso lemos um g|upo l|u|lo, cuja o|dem e |gua| a .
A |ep|eseulao de uma pe|mulao em pode se da| de duas maue||as. al|aves
da uolao luuc|oua| ou da uolao mal||c|a|. A uolao luuc|oua| e ap|eseulada da segu|ule lo|ma
e a uolao mal||c|a| e ap|eseulada ua lo|ma
.
Pa|a um me|ho| euleud|meulo do que lo| ap|eseulado, veja a segu|| a cousl|uo do g|upo s|mel||co
.
E/emp|o. Seja . 0 g|upo
.
J que
e um g|upo l|u|lo, podemos cousl|u|| sua lbua, com |e|ao ope|ao de compos|o ().
he|a, pode|emos |deul|l|ca| o e|emeulo ueul|o, os e|emeulos s|mel||/ve|s, com seus |especl|vos s|mel||cos, e
ve||l|ca| lambem que esle g|upo uo e abe||auo. Pa|a cousl|u|| a lbua da ope|ao ap|eseula|emos a|guus
composlos. Sug||o que voce elelue os dema|s pa|a comp|eeude| me|ho| la| cousl|uo. Acompauhe.
Ass|m, sua lbua se|.
hole que o e|emeulo ueul|o e
e
e|e mesmo, o s|mel||co de
, o s|mel||co de
os e|emeulos
, e
, so s|mel||cos de s|
p|p||os. As o|deus dos e|emeulos so.
.
Voce deve le| pe|ceb|do que lodo e|emeulo que e s|mel||co de s| mesmo lem o|dem Aqu|, lambem
podemos pe|cebe| que o g|upo uo e abe||auo, po|s
, mas
.
66
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
67
UNIVERSIDADE DO ESTADO DA BAHIA
4.1.2 - rupo das FermuIaes
LFIhI 4.11: Seja um coujuulo uo va/|o la| que . Chama-se pe|mulao de loda luuo
b|jelo|a sob|e , |slo e, , com b|jelo|a. 0 coujuulo de lodas as pe|mulaoes de e deuolado po|
.
hole que o coujuulo , muu|do da ope|ao compos|o de luuoes, e um g|upo uo abe||auo. e
lalo, lemos as p|op||edades.
vassoc|al|va,
Sejam e . Temos
.
ve|emeulo ueul|o,
Seja , la| que , pa|a lodo . Temos que . A|em d|sso, se e
, eulo . a|, . Tambem .
Logo, . Po|laulo, e o e|emeulo ueul|o de .
ve|emeulo s|mel||/ve|,
Se , eulo e uma b|jeo e adm|le |uve|sa
la| que
.
Logo, podemos couc|u|| que e um g|upo. A ope|ao compos|o uo e comulal|va, ass|m e
um g|upo uo abe||auo.
uaudo , , eulo se| |ud|cado po|
e o g|upo
e chamado de
g|upo s|mel||co de g|au . hesle caso lemos um g|upo l|u|lo, cuja o|dem e |gua| a .
A |ep|eseulao de uma pe|mulao em pode se da| de duas maue||as. al|aves
da uolao luuc|oua| ou da uolao mal||c|a|. A uolao luuc|oua| e ap|eseulada da segu|ule lo|ma
e a uolao mal||c|a| e ap|eseulada ua lo|ma
.
Pa|a um me|ho| euleud|meulo do que lo| ap|eseulado, veja a segu|| a cousl|uo do g|upo s|mel||co
.
E/emp|o. Seja . 0 g|upo
.
J que
e um g|upo l|u|lo, podemos cousl|u|| sua lbua, com |e|ao ope|ao de compos|o ().
he|a, pode|emos |deul|l|ca| o e|emeulo ueul|o, os e|emeulos s|mel||/ve|s, com seus |especl|vos s|mel||cos, e
ve||l|ca| lambem que esle g|upo uo e abe||auo. Pa|a cousl|u|| a lbua da ope|ao ap|eseula|emos a|guus
composlos. Sug||o que voce elelue os dema|s pa|a comp|eeude| me|ho| la| cousl|uo. Acompauhe.
Ass|m, sua lbua se|.
hole que o e|emeulo ueul|o e
e
e|e mesmo, o s|mel||co de
, o s|mel||co de
os e|emeulos
, e
, so s|mel||cos de s|
p|p||os. As o|deus dos e|emeulos so.
.
Voce deve le| pe|ceb|do que lodo e|emeulo que e s|mel||co de s| mesmo lem o|dem Aqu|, lambem
podemos pe|cebe| que o g|upo uo e abe||auo, po|s
, mas
.
68
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
69
UNIVERSIDADE DO ESTADO DA BAHIA
4.1.3 - rupos |edra|s
0s g|upos d|ed|a|s so g|upos que |ep|eseulam as |olaoes e s|mel||as de um po||gouo |egu|a| de
|ados. Aqu|, ap|eseula|emos a cousl|uo desle g|upo, bem como e/emp||l|ca|emos com o caso do g|upo
d|ed|a| do l||ugu|o |egu|a|. Couhea, eulo, como eucoul|a| la|s |olaoes e s|mel||as.
vRolaoes em um po||gouo |egu|a|
Cous|de|emos um po||gouo |egu|a| de |ados e, uo p|auo do po||gouo, cousl|uamos um s|slema o|logoua|
ca|les|auo cuja o||gem co|uc|da com o ba||ceul|o do po||gouo, e cujo |ado pos|l|vo do e|/o das absc|ssas
couleuha um dos ve|l|ces do po||gouo. hume|emos os ve|l|ces, a pa|l|| do que esl uo |ado pos|l|vo do e|/o das
absc|ssas, uo seul|do aul|-ho|||o. Veja como l|ca pos|c|ouado o l||ugu|o |egu|a|, cous|de|audo o seu
ba||ceul|o.
l|gu|a 12. adaplado pe|o aulo| com uso do E0EBRA.
A segu||, |olac|ouemos, quaulas ve/es lo|em uecess||as, o l||ugu|o em lo|uo do seu ceul|o, uo
seul|do aul|ho|||o, de maue||a a de|/-|o semp|e com um ve|l|ce uo |ado pos|l|vo do e|/o das absc|ssas, ale que
|elo|ue pos|o |u|c|a|. A cada |olao, podemos |eesc|eve| o l||ugu|o de maue||a que assoc|emos a sua
pos|o |u|c|a| com sua uova pos|o, ou seja,
Voc Sabia?
O baricentro de um polgono o ponto de interseco das medianas que partem de cada um
dos vrtices. No caso do tringulo, temos trs medianas e, portanto, o seu baricentro o
ponto de encontro destas trs medianas.
4.1.3 - rupos |edra|s
0s g|upos d|ed|a|s so g|upos que |ep|eseulam as |olaoes e s|mel||as de um po||gouo |egu|a| de
|ados. Aqu|, ap|eseula|emos a cousl|uo desle g|upo, bem como e/emp||l|ca|emos com o caso do g|upo
d|ed|a| do l||ugu|o |egu|a|. Couhea, eulo, como eucoul|a| la|s |olaoes e s|mel||as.
vRolaoes em um po||gouo |egu|a|
Cous|de|emos um po||gouo |egu|a| de |ados e, uo p|auo do po||gouo, cousl|uamos um s|slema o|logoua|
ca|les|auo cuja o||gem co|uc|da com o ba||ceul|o do po||gouo, e cujo |ado pos|l|vo do e|/o das absc|ssas
couleuha um dos ve|l|ces do po||gouo. hume|emos os ve|l|ces, a pa|l|| do que esl uo |ado pos|l|vo do e|/o das
absc|ssas, uo seul|do aul|-ho|||o. Veja como l|ca pos|c|ouado o l||ugu|o |egu|a|, cous|de|audo o seu
ba||ceul|o.
l|gu|a 12. adaplado pe|o aulo| com uso do E0EBRA.
A segu||, |olac|ouemos, quaulas ve/es lo|em uecess||as, o l||ugu|o em lo|uo do seu ceul|o, uo
seul|do aul|ho|||o, de maue||a a de|/-|o semp|e com um ve|l|ce uo |ado pos|l|vo do e|/o das absc|ssas, ale que
|elo|ue pos|o |u|c|a|. A cada |olao, podemos |eesc|eve| o l||ugu|o de maue||a que assoc|emos a sua
pos|o |u|c|a| com sua uova pos|o, ou seja,
Voc Sabia?
O baricentro de um polgono o ponto de interseco das medianas que partem de cada um
dos vrtices. No caso do tringulo, temos trs medianas e, portanto, o seu baricentro o
ponto de encontro destas trs medianas.
pos|o |u|c|a|.
1 |olao.
2 |olao.
0bse|ve que ao |ea||/a| a 8 |olao vo|lamos pos|o |u|c|a|. hole que eslas |olaoes so pe|mulaoes
(b|jeoes) do coujuulo . Ass|m, uomeaudo as |olaoes desc||las ac|ma lemos.
. Ta|s |olaoes lo|mam o g|upo das |olaoes do l||ugu|o,
hole que esle g|upo e abe||auo, seu e|emeulo ueul|o e
e os e|emeulos
so s|mel||cos um do
oul|o. A|em d|slo, a o|dem de cada e|emeulo, e/celo o e|emeulo ueul|o, e .
a mesma maue||a que p|ocedemos com o l||ugu|o, podemos oble| o g|upo das |olaoes do quad|ado.
Pa|a laulo, cous|de|emos o quad|ado como pos|c|ouado aba|/o, seudo E o seu ba||ceul|o.
l|gu|a 18. adaplado pe|o aulo| com uso do E0EBRA.
Voc Sabia?
No quadrado o baricentro coincide com o circuncentro e o incentro!
??
VOC SABIA?
O baricentro de um polgono o ponto de interseco das medianas
que partem de cada um dos vrtices. No caso do tringulo, temos
trs medianas e, portanto, o seu baricentro o ponto de encontro
destas trs medianas.
68
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
69
UNIVERSIDADE DO ESTADO DA BAHIA
4.1.3 - rupos |edra|s
0s g|upos d|ed|a|s so g|upos que |ep|eseulam as |olaoes e s|mel||as de um po||gouo |egu|a| de
|ados. Aqu|, ap|eseula|emos a cousl|uo desle g|upo, bem como e/emp||l|ca|emos com o caso do g|upo
d|ed|a| do l||ugu|o |egu|a|. Couhea, eulo, como eucoul|a| la|s |olaoes e s|mel||as.
vRolaoes em um po||gouo |egu|a|
Cous|de|emos um po||gouo |egu|a| de |ados e, uo p|auo do po||gouo, cousl|uamos um s|slema o|logoua|
ca|les|auo cuja o||gem co|uc|da com o ba||ceul|o do po||gouo, e cujo |ado pos|l|vo do e|/o das absc|ssas
couleuha um dos ve|l|ces do po||gouo. hume|emos os ve|l|ces, a pa|l|| do que esl uo |ado pos|l|vo do e|/o das
absc|ssas, uo seul|do aul|-ho|||o. Veja como l|ca pos|c|ouado o l||ugu|o |egu|a|, cous|de|audo o seu
ba||ceul|o.
l|gu|a 12. adaplado pe|o aulo| com uso do E0EBRA.
A segu||, |olac|ouemos, quaulas ve/es lo|em uecess||as, o l||ugu|o em lo|uo do seu ceul|o, uo
seul|do aul|ho|||o, de maue||a a de|/-|o semp|e com um ve|l|ce uo |ado pos|l|vo do e|/o das absc|ssas, ale que
|elo|ue pos|o |u|c|a|. A cada |olao, podemos |eesc|eve| o l||ugu|o de maue||a que assoc|emos a sua
pos|o |u|c|a| com sua uova pos|o, ou seja,
Voc Sabia?
O baricentro de um polgono o ponto de interseco das medianas que partem de cada um
dos vrtices. No caso do tringulo, temos trs medianas e, portanto, o seu baricentro o
ponto de encontro destas trs medianas.
pos|o |u|c|a|.
1 |olao.
2 |olao.
0bse|ve que ao |ea||/a| a 8 |olao vo|lamos pos|o |u|c|a|. hole que eslas |olaoes so pe|mulaoes
(b|jeoes) do coujuulo . Ass|m, uomeaudo as |olaoes desc||las ac|ma lemos.
. Ta|s |olaoes lo|mam o g|upo das |olaoes do l||ugu|o,
hole que esle g|upo e abe||auo, seu e|emeulo ueul|o e
e os e|emeulos
so s|mel||cos um do
oul|o. A|em d|slo, a o|dem de cada e|emeulo, e/celo o e|emeulo ueul|o, e .
a mesma maue||a que p|ocedemos com o l||ugu|o, podemos oble| o g|upo das |olaoes do quad|ado.
Pa|a laulo, cous|de|emos o quad|ado como pos|c|ouado aba|/o, seudo E o seu ba||ceul|o.
l|gu|a 18. adaplado pe|o aulo| com uso do E0EBRA.
Voc Sabia?
No quadrado o baricentro coincide com o circuncentro e o incentro!
??
VOC SABIA?
No quadrado o baricentro coincide com o circuncentro e o incentro!
70
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
71
UNIVERSIDADE DO ESTADO DA BAHIA
A segu||, |olac|ouemos, quaulas ve/es lo|em uecess||as, o quad|ado em lo|uo do seu ceul|o, uo
seul|do aul|ho|||o, de maue||a a de|/-|o semp|e com um ve|l|ce uo |ado pos|l|vo do e|/o das absc|ssas, ale que
|elo|ue pos|o |u|c|a|. A cada |olao, podemos |eesc|eve| o quad|ado de maue||a que assoc|emos a sua
pos|o |u|c|a| com sua uova pos|o, ou seja,
pos|o |u|c|a|.
1 |olao.
2 |olao.
8 |olao.
0bse|ve que ao |ea||/a| a 4 |olao vo|lamos pos|o |u|c|a|. hole que eslas |olaoes ago|a so
pe|mulaoes (b|jeoes) do coujuulo . Ass|m, uomeaudo as |olaoes desc||las ac|ma lemos.
. Ta|s |olaoes
lo|mam o g|upo das |olaoes do quad|ado,
hole que esle g|upo e abe||auo, seu e|emeulo ueul|o e
, os e|emeulos
so s|mel||cos um do
oul|o e
e e dos e|emeulos
e .
vS|mel||as de um po||gouo |egu|a|
A |deul|l|cao de s|mel||as uuma l|gu|a possu| ma|o| |e|evuc|a ua |uvesl|gao das p|op||edades de e
ua |eso|uo de p|ob|emas geomel||cos que |he d|/em |espe|lo. E/|slem l|gu|as que podem se| v|slas como a
uu|o de uma l|gu|a com sua |magem pe|a |el|e/o ua |ela . hesse caso, d|/emos que a l|gu|a
e uma l|gu|a s|mel||ca (a/|a|meule) em |e|ao |ela . A l|auslo|mao
.
l|gu|a 14. adaplado pe|o aulo| com uso do E0EBRA.
A |el|e/o em |e|ao med|al||/
, a |el|e/o em |e|ao
med|al||/
e a |el|e/o em |e|ao med|al||/
pode se|
|ep|eseulada po|
. 0blemos, eulo, o coujuulo das s|mel||as do l||ugu|o.
Voce pe|cebeu que as s|mel||as lambem so pe|mulaoes? hole que esle coujuulo uo e um g|upo, po|s a
ope|ao compos|o de luuoes uo e uma ope|ao |ule|ua. lslo s|gu|l|ca que ao ope|a| do|s e|emeulos desle
coujuulo, pe|a compos|o de luuoes, o |esu|lado pode uo pe|leuce| ao coujuulo.
70
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
71
UNIVERSIDADE DO ESTADO DA BAHIA
A segu||, |olac|ouemos, quaulas ve/es lo|em uecess||as, o quad|ado em lo|uo do seu ceul|o, uo
seul|do aul|ho|||o, de maue||a a de|/-|o semp|e com um ve|l|ce uo |ado pos|l|vo do e|/o das absc|ssas, ale que
|elo|ue pos|o |u|c|a|. A cada |olao, podemos |eesc|eve| o quad|ado de maue||a que assoc|emos a sua
pos|o |u|c|a| com sua uova pos|o, ou seja,
pos|o |u|c|a|.
1 |olao.
2 |olao.
8 |olao.
0bse|ve que ao |ea||/a| a 4 |olao vo|lamos pos|o |u|c|a|. hole que eslas |olaoes ago|a so
pe|mulaoes (b|jeoes) do coujuulo . Ass|m, uomeaudo as |olaoes desc||las ac|ma lemos.
. Ta|s |olaoes
lo|mam o g|upo das |olaoes do quad|ado,
hole que esle g|upo e abe||auo, seu e|emeulo ueul|o e
, os e|emeulos
so s|mel||cos um do
oul|o e
e e dos e|emeulos
e .
vS|mel||as de um po||gouo |egu|a|
A |deul|l|cao de s|mel||as uuma l|gu|a possu| ma|o| |e|evuc|a ua |uvesl|gao das p|op||edades de e
ua |eso|uo de p|ob|emas geomel||cos que |he d|/em |espe|lo. E/|slem l|gu|as que podem se| v|slas como a
uu|o de uma l|gu|a com sua |magem pe|a |el|e/o ua |ela . hesse caso, d|/emos que a l|gu|a
e uma l|gu|a s|mel||ca (a/|a|meule) em |e|ao |ela . A l|auslo|mao
.
l|gu|a 14. adaplado pe|o aulo| com uso do E0EBRA.
A |el|e/o em |e|ao med|al||/
, a |el|e/o em |e|ao
med|al||/
e a |el|e/o em |e|ao med|al||/
pode se|
|ep|eseulada po|
. 0blemos, eulo, o coujuulo das s|mel||as do l||ugu|o.
Voce pe|cebeu que as s|mel||as lambem so pe|mulaoes? hole que esle coujuulo uo e um g|upo, po|s a
ope|ao compos|o de luuoes uo e uma ope|ao |ule|ua. lslo s|gu|l|ca que ao ope|a| do|s e|emeulos desle
coujuulo, pe|a compos|o de luuoes, o |esu|lado pode uo pe|leuce| ao coujuulo.
72
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
73
UNIVERSIDADE DO ESTADO DA BAHIA
Po| e/emp|o, ao |ea||/a|mos
, oblemos uma
pe|mulao que uo pe|leuce ao coujuulo das s|mel||as do l||ugu|o. Nas pe|leuce ao coujuulo das |olaoes do
l||ugu|o!
Pe|o e/poslo ac|ma, podemos couc|u|| que o coujuulo das s|mel||as do l||ugu|o, muu|do da ope|ao
compos|o de luuoes, uo e uma esl|ulu|a a|geb||ca.
J cous|de|audo o quad|ado aule||o|, lemos as s|mel||as em |e|ao s med|al||/es
, e em
|e|ao s d|agoua|s
, |ep|eseuladas aba|/o.
l|gu|a 15. adaplado pe|o aulo| com uso do E0EBRA.
Seudo ass|m, a |el|e/o em |e|ao med|al||/
, a
|el|e/o em |e|ao med|al||/
, a |el|e/o em lo|uo da
d|agoua|
pode se|
|ep|eseulada po|
.
Ago|a e com voce! ele|m|ue as |olaoes e s|mel||as do peulgouo e do he/gouo |egu|a|!
el|u|o 4.18. Seja P um po||gouo |egu|a| com |ados e ve|l|ces . 0 coujuulo
, oude
. Veja que pe|o lalo do l||ugu|o le| |ados, o seu g|upo
d|ed|a| lem o|dem . Ap|eseula|emos a|guus composlos |ea||/ados pa|a a cousl|uo da lbua. Sug||o que
elelue os que aqu| uo lo|em ap|eseulados. Sua lbua, eulo e.
oude.
.
Voce deve le| pe|ceb|do que ao compo| duas |olaoes, o |esu|lado e semp|e uma |olao. lslo se d pe|o
lalo de que o coujuulo das |olaoes de um po||gouo e um g|upo, o que j mosl|amos aule||o|meule. Ao compo|
72
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
73
UNIVERSIDADE DO ESTADO DA BAHIA
Po| e/emp|o, ao |ea||/a|mos
, oblemos uma
pe|mulao que uo pe|leuce ao coujuulo das s|mel||as do l||ugu|o. Nas pe|leuce ao coujuulo das |olaoes do
l||ugu|o!
Pe|o e/poslo ac|ma, podemos couc|u|| que o coujuulo das s|mel||as do l||ugu|o, muu|do da ope|ao
compos|o de luuoes, uo e uma esl|ulu|a a|geb||ca.
J cous|de|audo o quad|ado aule||o|, lemos as s|mel||as em |e|ao s med|al||/es
, e em
|e|ao s d|agoua|s
, |ep|eseuladas aba|/o.
l|gu|a 15. adaplado pe|o aulo| com uso do E0EBRA.
Seudo ass|m, a |el|e/o em |e|ao med|al||/
, a
|el|e/o em |e|ao med|al||/
, a |el|e/o em lo|uo da
d|agoua|
pode se|
|ep|eseulada po|
.
Ago|a e com voce! ele|m|ue as |olaoes e s|mel||as do peulgouo e do he/gouo |egu|a|!
el|u|o 4.18. Seja P um po||gouo |egu|a| com |ados e ve|l|ces . 0 coujuulo
, oude
. Veja que pe|o lalo do l||ugu|o le| |ados, o seu g|upo
d|ed|a| lem o|dem . Ap|eseula|emos a|guus composlos |ea||/ados pa|a a cousl|uo da lbua. Sug||o que
elelue os que aqu| uo lo|em ap|eseulados. Sua lbua, eulo e.
oude.
.
Voce deve le| pe|ceb|do que ao compo| duas |olaoes, o |esu|lado e semp|e uma |olao. lslo se d pe|o
lalo de que o coujuulo das |olaoes de um po||gouo e um g|upo, o que j mosl|amos aule||o|meule. Ao compo|
74
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
75
UNIVERSIDADE DO ESTADO DA BAHIA
uma rotao com uma simetria, o resultado sempre uma simetria, e ao compor duas simetrias, obtemos
uma rotao. Note tambm que este grupo no abeliano. Voc pode comprovar isto observando os clculos
feitos anteriormente, visualizando que
2
3
3
2
.
Agora com voc! Que tal montar a tbua do grupo diedral do quadrado? Use as informaes j vistas at
agora! Neste caso, o grupo diedral do quadrado tem ordem 8, e dado por
4
= {
0
,
1
,
2
,
3
,
1
,
2
,
3
,
4
}. Lembre-se que j calculamos as rotaes e simetrias do quadrado que compes este grupo. Bom trabalho!
01. Sejam , , , elementos de um grupo . Mostre que as equaes = e = admitem soluo
nica, respectivamente igual a = e = . Se abeliano, mostre que estas solues so iguais.
02. Sejam , elementos de um grupo abeliano . Mostre que ()
.
03. Sejam , um grupo e uma outra operao em definida da seguinte forma: % , tem-se
= . Mostre que , tambm um grupo.
04. Seja = { , , , } e considere , a multiplicao usual de matrizes.
=
1 0
0 1
=
1 0
0 1
=
1 0
0 1
=
1 0
0 1
a) Construa a tbua dessa operao e verifique que uma operao interna em .
b) Determine elemento neutro, elementos regulares e pares de simtricos.
c) Determine a ordem de cada um dos elementos.
d) Verifique que , um grupo abeliano.
05. Considere , elementos de um grupo com elemento neutro para os quais vale as seguintes relaes:
2
= e
13
= 1. Mostre, ento, que = (
6
)
1
.
06. Considere o grupo = {
1
;
2
;
3
;
4
}, onde:
1
=
2
=
3
=
4
=
a) Construa a tbua da operao composio de funes em .
b) Determine o simtrico de cada um dos elementos de .
c) Determine a ordem de cada um dos elementos de .
d) Este um grupo de Klein?
07. a) No conjunto
6
, determine as permutaes , , :
=
1 2 3
2 5 1
4 5 6
6 4 3
1
=
1 2 3
4 1 2
4 5 6
3 6 5
2
1 2 3
5 6 2
4 5 6
1 4 3
1
=
1 2 3
5 6 2
4 5 6
3 4 1
2
b) Determinar , , , , em =
1 6
6
3
de modo que =
2
.
08. Determinar as rotaes de cada um dos polgonos abaixo;
a) pentgono;
b) hexgono;
c) heptgono;
d) octgono;
e) decgono.
Construa a tbua do respectivo grupo das rotaes de cada um dos polgonos acima.
SUGESTO DE ATIVIDADE
74
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
75
UNIVERSIDADE DO ESTADO DA BAHIA
uma rotao com uma simetria, o resultado sempre uma simetria, e ao compor duas simetrias, obtemos
uma rotao. Note tambm que este grupo no abeliano. Voc pode comprovar isto observando os clculos
feitos anteriormente, visualizando que
2
3
3
2
.
Agora com voc! Que tal montar a tbua do grupo diedral do quadrado? Use as informaes j vistas at
agora! Neste caso, o grupo diedral do quadrado tem ordem 8, e dado por
4
= {
0
,
1
,
2
,
3
,
1
,
2
,
3
,
4
}. Lembre-se que j calculamos as rotaes e simetrias do quadrado que compes este grupo. Bom trabalho!
01. Sejam , , , elementos de um grupo . Mostre que as equaes = e = admitem soluo
nica, respectivamente igual a = e = . Se abeliano, mostre que estas solues so iguais.
02. Sejam , elementos de um grupo abeliano . Mostre que ()
.
03. Sejam , um grupo e uma outra operao em definida da seguinte forma: % , tem-se
= . Mostre que , tambm um grupo.
04. Seja = { , , , } e considere , a multiplicao usual de matrizes.
=
1 0
0 1
=
1 0
0 1
=
1 0
0 1
=
1 0
0 1
a) Construa a tbua dessa operao e verifique que uma operao interna em .
b) Determine elemento neutro, elementos regulares e pares de simtricos.
c) Determine a ordem de cada um dos elementos.
d) Verifique que , um grupo abeliano.
05. Considere , elementos de um grupo com elemento neutro para os quais vale as seguintes relaes:
2
= e
13
= 1. Mostre, ento, que = (
6
)
1
.
06. Considere o grupo = {
1
;
2
;
3
;
4
}, onde:
1
=
2
=
3
=
4
=
a) Construa a tbua da operao composio de funes em .
b) Determine o simtrico de cada um dos elementos de .
c) Determine a ordem de cada um dos elementos de .
d) Este um grupo de Klein?
07. a) No conjunto
6
, determine as permutaes , , :
=
1 2 3
2 5 1
4 5 6
6 4 3
1
=
1 2 3
4 1 2
4 5 6
3 6 5
2
1 2 3
5 6 2
4 5 6
1 4 3
1
=
1 2 3
5 6 2
4 5 6
3 4 1
2
b) Determinar , , , , em =
1 6
6
3
de modo que =
2
.
08. Determinar as rotaes de cada um dos polgonos abaixo;
a) pentgono;
b) hexgono;
c) heptgono;
d) octgono;
e) decgono.
Construa a tbua do respectivo grupo das rotaes de cada um dos polgonos acima.
76
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
77
UNIVERSIDADE DO ESTADO DA BAHIA
6 - AhLL L 0F
6.1 - Ane|
Pa|a l|ua||/a| o uosso esludo, esleude|emos ago|a o couce|lo de g|upo. ha ve|dade, del|u||emos uma
seguuda ope|ao pa|a os g|upos abe||auos, e se, com |espe|lo a esla seguuda ope|ao esle g|upo sal|sl|/e|
a|gumas p|op||edades, o deuom|ua|emos de aue|, dom|u|o de |uleg||dade ou co|po. el|u||emos cu|dadosameule
cada uma deslas esl|ulu|as a|geb||cas. Acompauhe a segu||, la|s del|u|oes.
LFIhI 6.1: um aue| e um coujuulo, uo va/|o, muu|do de duas ope|aoes |ule|uas. uma ad|o e
uma mu|l|p||cao , que sal|sla/em s segu|ules coud|oes.
0 coujuulo e um g|upo abe||auo, com |espe|lo p||me||a deslas ope|aoes, |slo e,
a ope|ao e assoc|al|va,
a ope|ao e comulal|va,
a ope|ao adm|le e|emeulo ueul|o, que uesle caso se| |ep|eseulado po| , e lemos
pa|a lodo ,
lodo e|emeulo de e s|mel||/ve| com |e|ao ope|ao ,
a ope|ao e assoc|al|va, ou seja, dados lem-se ,
a ope|ao e d|sl||bul|va em |e|ao ope|ao , |slo e, dados lem-se
e .
A uolao usada pa|a |ep|eseula| um aue|, com |espe|lo s duas ope|aoes del|u|das e . Aqu|, as
ope|aoes del|u|das uo so ob||galo||ameule a ad|o e mu|l|p||cao usua|s, apeuas usamos seus s|mbo|os
pa|a |ep|eseula| duas ope|aoes del|u|das em um coujuulo. Pa|a s|mp||l|ca| a uolao, quaudo uo houve|
duv|da das ope|aoes del|u|das, d|/emos apeuas que e um aue|, ou eulo , aue| .
hole que em um aue|, a ope|ao mu|l|p||cao uo e uecessa||ameule comulal|va. Caso |slo oco||a,
lemos eulo um aue| comulal|vo, ou seja, pa|a qua|sque| lem-se .
LFIhI 6.2: |/emos que e um aue| com uu|dade se a ope|ao possu| e|emeulo ueul|o, aqu|
|ep|eseulado po| . lslo e, va|e a |gua|dade pa|a lodo .
Veja que uo podemos couluud|| o e|emeulo ueul|o da ad|o (+), que eslamos |ep|eseulado pe|o e o
e|emeulo ueul|o da mu|l|p||cao (), que eslamos |ep|eseulaudo pe|o . hum aue|, e|emeulo ueul|o da ad|o
lem semp|e que e/|sl||, euquaulo que o e|emeulo ueul|o da mu|l|p||cao pode ou uo e/|sl||.
hovameule pa|a s|mp||l|ca| uolao, ul|||/a|emos l|equeulemeule pa|a |ep|eseula| , seudo dados
.
E/emp|os. (a) 0s coujuulos , e so |especl|vameule, o aue| dos |ule||os,
o aue| dos |ac|oua|s, o aue| dos |ea|s, e o aue| dos comp|e/os. hole que lodos esles aue|s so comulal|vos e
possuem uu|dade.
(b) 0 coujuulo
T
I
C
A
77
UNIVERSIDADE DO ESTADO DA BAHIA
Veja que uo podemos couluud|| o e|emeulo ueul|o da ad|o (+), que eslamos |ep|eseulado pe|o e o
e|emeulo ueul|o da mu|l|p||cao (), que eslamos |ep|eseulaudo pe|o . hum aue|, e|emeulo ueul|o da ad|o
lem semp|e que e/|sl||, euquaulo que o e|emeulo ueul|o da mu|l|p||cao pode ou uo e/|sl||.
hovameule pa|a s|mp||l|ca| uolao, ul|||/a|emos l|equeulemeule pa|a |ep|eseula| , seudo dados
.
E/emp|os. (a) 0s coujuulos , e so |especl|vameule, o aue| dos |ule||os,
o aue| dos |ac|oua|s, o aue| dos |ea|s, e o aue| dos comp|e/os. hole que lodos esles aue|s so comulal|vos e
possuem uu|dade.
(b) 0 coujuulo
T
I
C
A
79
UNIVERSIDADE DO ESTADO DA BAHIA
Seja , podemos esc|eve| eulo . Ass|m,
e, po|laulo lemos . Logo, . e
maue||a au|oga, mosl|a-se que .
Temos .
Pa|a coul|uua| com as del|u|oes das uovas esl|ulu|as a|geb||cas a se|em esludadas, couhea a del|u|o
de um e|emeulo |mpo|laule pa|a a cousl|uo de um dom|u|o de |uleg||dade. o d|v|so| de /e|o.
LFIhI 6.4: Seja um aue| e sejam , e|emeulos uo uu|os, la|s que . |/- se
eulo que e so d|v|so|es p|p||os de /e|o.
uma obse|vao aqu| se la/ |mpo|laule. |/-se que um e|emeulo do aue| e uo uu|o quaudo e|e e d|sl|ulo
do e|emeulo ueul|o da p||me||a ope|ao (+).
Acompauhe ago|a a|guus e/emp|os de aue|s, oude deslaca|emos, a|guus de seus d|v|so|es de /e|o, se
houve|em.
E/emp|os. (a) ho aue|
.
V|u que |ule|essaule? J usvamos a p|op||edade do dom|u|o de |uleg||dade, sem mesmo couhece-|o. Esl
a| a be|e/a do esludo da |geb|a.
E/emp|o. 0 coujuulo
la| que
e o seu |uve|so.
E/emp|os. (a) ho aue| , que e um aue| com uu|dade, os e|emeulos |uve|s|ve|s so e .
VOC SABA?
No anel
T
I
C
A
79
UNIVERSIDADE DO ESTADO DA BAHIA
Seja , podemos esc|eve| eulo . Ass|m,
e, po|laulo lemos . Logo, . e
maue||a au|oga, mosl|a-se que .
Temos .
Pa|a coul|uua| com as del|u|oes das uovas esl|ulu|as a|geb||cas a se|em esludadas, couhea a del|u|o
de um e|emeulo |mpo|laule pa|a a cousl|uo de um dom|u|o de |uleg||dade. o d|v|so| de /e|o.
LFIhI 6.4: Seja um aue| e sejam , e|emeulos uo uu|os, la|s que . |/- se
eulo que e so d|v|so|es p|p||os de /e|o.
uma obse|vao aqu| se la/ |mpo|laule. |/-se que um e|emeulo do aue| e uo uu|o quaudo e|e e d|sl|ulo
do e|emeulo ueul|o da p||me||a ope|ao (+).
Acompauhe ago|a a|guus e/emp|os de aue|s, oude deslaca|emos, a|guus de seus d|v|so|es de /e|o, se
houve|em.
E/emp|os. (a) ho aue|
.
V|u que |ule|essaule? J usvamos a p|op||edade do dom|u|o de |uleg||dade, sem mesmo couhece-|o. Esl
a| a be|e/a do esludo da |geb|a.
E/emp|o. 0 coujuulo
la| que
e o seu |uve|so.
E/emp|os. (a) ho aue| , que e um aue| com uu|dade, os e|emeulos |uve|s|ve|s so e .
VOC SABA?
No anel
T
I
C
A
81
UNIVERSIDADE DO ESTADO DA BAHIA
(b) ho aue| , lodo e|emeulo e |uve|s|ve|, e/celo o .
Aps couhece| o que so e|emeulos |uve|s|ve|s, podemos del|u|| a esl|ulu|a a|geb||ca co|po.
LFIhI 6.7: Seja um aue| comulal|vo e com uu|dade. |/emos que e um co|po, se lodo
e|emeulo possu| |uve|so.
E/emp|os. (a) 0 aue| e um co|po, j que e aue| comulal|vo, com uu|dade, oude lodo e|emeulo
uo uu|o possu| |uve|so.
(b) 0 aue| e um co|po.
(c) 0 aue| uo e um co|po, po|s os uu|cos e|emeulos que possuem |uve|so so e .
Veja que deco||e da del|u|o de co|po, que h uma |e|ao eul|e co|po e dom|u|o de |uleg||dade. Veja
esla |e|ao ua p|/|ma p|opos|o.
FF8I 6.B: Todo co|po e um dom|u|o de |uleg||dade.
P|ova. Sejam , la|s que . Nosl|a|emos que ou . hole que, como e um
co|po, e/|sle
, la| que
. Logo,
.
Po|laulo, uo lem d|v|so|es de /e|o, possu| uu|dade e e comulal|vo, |ogo e um dom|u|o de |uleg||dade.
Veja que a |ec|p|oca desla p|opos|o uo e ve|dade||a. hem lodo dom|u|o de |uleg||dade e co|po. um
bom e/emp|o pa|a |slo e o aue| , que e um dom|u|o de |uleg||dade, mas uo e um co|po.
Chegamos ao l|m de uossa jo|uada. Espe|o que leuha ap|eud|do baslaule ao |ougo desle cu|so. Em b|eve
voce da| coul|uu|dade a esle esludo, uo p|/|mo compoueule cu|||cu|a| A|geb|a ll. Bous esludos e quem sabe
ale |!
80
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
81
UNIVERSIDADE DO ESTADO DA BAHIA
(b) ho aue| , lodo e|emeulo e |uve|s|ve|, e/celo o .
Aps couhece| o que so e|emeulos |uve|s|ve|s, podemos del|u|| a esl|ulu|a a|geb||ca co|po.
LFIhI 6.7: Seja um aue| comulal|vo e com uu|dade. |/emos que e um co|po, se lodo
e|emeulo possu| |uve|so.
E/emp|os. (a) 0 aue| e um co|po, j que e aue| comulal|vo, com uu|dade, oude lodo e|emeulo
uo uu|o possu| |uve|so.
(b) 0 aue| e um co|po.
(c) 0 aue| uo e um co|po, po|s os uu|cos e|emeulos que possuem |uve|so so e .
Veja que deco||e da del|u|o de co|po, que h uma |e|ao eul|e co|po e dom|u|o de |uleg||dade. Veja
esla |e|ao ua p|/|ma p|opos|o.
FF8I 6.B: Todo co|po e um dom|u|o de |uleg||dade.
P|ova. Sejam , la|s que . Nosl|a|emos que ou . hole que, como e um
co|po, e/|sle
, la| que
. Logo,
.
Po|laulo, uo lem d|v|so|es de /e|o, possu| uu|dade e e comulal|vo, |ogo e um dom|u|o de |uleg||dade.
Veja que a |ec|p|oca desla p|opos|o uo e ve|dade||a. hem lodo dom|u|o de |uleg||dade e co|po. um
bom e/emp|o pa|a |slo e o aue| , que e um dom|u|o de |uleg||dade, mas uo e um co|po.
Chegamos ao l|m de uossa jo|uada. Espe|o que leuha ap|eud|do baslaule ao |ougo desle cu|so. Em b|eve
voce da| coul|uu|dade a esle esludo, uo p|/|mo compoueule cu|||cu|a| A|geb|a ll. Bous esludos e quem sabe
ale |!
01. Resolva a equao
2
+5 +6 = 0, considerando o conjunto universo = . Em seguida, resolva
esta mesma equao (
2
+5 +6 = 0) considerando o conjunto universo =
12
.
02. Mostre que todo domnio de integridade finito corpo.
03. Seja = {, , , } um conjunto tal que:
, +, um anel comutativo;
Os elementos neutros das operaes + e so, respectivamente, e .
+ = ; + = e = .
(a) Construa as tbuas das duas operaes definidas em .
(b) Lembrando que num anel , +, se tem , + grupo, observe com ateno a tbua construda e
identifique de que tipo especial este grupo.
(c) O qu se pode dizer sobre os elementos , pertencentes a ? Justifique.
SUGESTO DE ATIVIDADE
82
UNIVERSIDADE DO ESTADO DA BAHIA
EAD 2011
M
A
T
E
M
T
I
C
A
REFERNCIAS BIBLIOGRFICAS
1. AYRES, Frank Jr. lgebra Moderna. Coleo Schaum. So Paulo: MCGraw Hill do Brasil, 1995.
2. DOMINGUES, H. Fundamentos da Aritmtica. 4 Ed. So Paulo: Atual, 2003.
3. DOMINGUES, Hygino e IEZZI,Gelson. lgebra Moderna. 2 Ed. So Paulo: Atual,1982.
4. LANG, Serge. Estruturas Algbricas. Rio de Janeiro: Ao livro Tcnico S.A., 1972.
5. SAMPAIO, Joo C.V. Estruturas Algbricas. Disponvel: http://www.dm.ufscar.br/~sampaio/algebra.html , acesso em
30mai2010.
6. SODRE, Ulysses. Aplicao Binria. Disponvel: http://www.mat.uel.br/matessencial/superior/algebra/grupos.htm ,
acesso em 30mai2010.
7. Wikipdia, a enciclopdia livre. Disponvel: http://pt.wikipedia.org/wiki/Niels_Henrik_Abel , acesso em 30mai2010.
8.Wikipdia, a enciclopdia livre. Disponvel: http://pt.wikipedia.org/wiki/%C3%81lgebra , acesso em 30mai2010.