Documente Academic
Documente Profesional
Documente Cultură
LGEBRA
LINEAR E
GEOMETRIA
ANALTICA
Apndices
ISEL - ADMat Por Eng Carlos M. Ribeiro
Verso 3.9, Setembro de 2012 Licenciado em Engenharia Electrotcnica pelo IST
Veja aqui as pginas de ALGA
Bibliografia, 45
Lista de figuras
Apndice A Relaes binrias e funes
Fig. A.1 Domnio e contradomnio de uma relao binria, 6
Fig. A.2 Representao sagital de relaes binrias, 8
Fig. A.3 Relao em , 8
Fig. A.4 Relao B C em , 9
Fig. A.5 Relao B C " em , 9
Lgica
c:................................................... negao (not) da proposio :
: ; ................................................disjuno (or) das proposies : e ;
: ; ................................................disjuno exclusiva (xor) das proposies : e ;
: ; ................................................conjuno (and) das proposies : e ;
: ; .............................................. : implica ;
: ; : ; ...................................equivalncia das proposies : e ;
sse................................................... se e s se
a...................................................... quantificador universal (qualquer que seja...)
b...................................................... quantificador existencial (existe pelo menos um...)
b" .................................................... quantificador existencial exclusivo (existe um e um s...)
q.e.d................................................ quod erat demonstrandum
Conjuntos
+ , - .................................... conjunto formado por + , -
B \ pB................................ conjunto dos elementos de \ com a propriedade pB
g ................................................ conjunto vazio
P\ .............................................. conjunto das partes (subconjuntos) do conjunto \
Ec E............................................... complementar do conjunto E
E F .............................................. diferena entre os conjuntos E e F
E F ..............................................reunio dos conjuntos E e F
3P
x Simbologia
Relaes binrias
...................................................igual
...................................................diferente
................................................... pertence a, elemento de
................................................... no pertence a, no elemento de
...................................................est contido em, uma parte de
...................................................contm, sobreconjunto de
...................................................no est contido em, no parte de
Funes
0 B................................................ valor da funo 0 no ponto B
] \ .................................................. conjunto das funes de \ em ]
0
0 \ ] \ ] ........................ 0 funo de \ em ]
B C B 0 B B C ............... B aplicado por 0 em C ou 0 B
0
Estruturas
B C ...............................................soma dos elementos B e C de um grupide aditivo
B C B C B C ............................... produto dos elementos B e C de um grupide multiplicativo
!...................................................... elemento neutro (zero) de um grupide aditivo
"...................................................... elemento neutro (um, unidade ou identidade) de um
grupide multiplicativo
B...................................................oposto (simtrico) do elemento regular B, num monide
aditivo
"
B "B.......................................... oposto (inverso) do elemento regular B, num monide
multiplicativo
B5 .............................................. soma da lista B3 "38 de elementos de um semigrupo
8
5"
comutativo aditivo
Simbologia xi
5"
comutativo multiplicativo
E z F ............................................. E isomorfo de F
Combinatria
8x.....................................................factorial de 8
T8 E88 ............................................. permutaes de 8
8: .................................................combinaes de 8 elementos tomados : a : (coeficientes
binomiais)
E8: ................................................... arranjos
de 8 elementos tomados : a :
Nmeros reais
..................................................... conjunto dos nmeros reais
................................................... conjunto dos nmeros reais !
! ................................................... conjunto dos nmeros reais !
...................................................conjunto dos nmeros reais !
! ...................................................conjunto dos nmeros reais !
....................................................conjunto dos nmeros reais !
..................................................... recta acabada
..................................................... recta projectiva
1......................................................pi, razo entre o permetro e o dimetro de qualquer
B C C B...................................relao de ordem em ou
B....................................................mdulo do real B
+ ,............................................... + aproximadamente igual a ,
Nmeros complexos
..................................................... conjunto dos nmeros complexos
....................................................conjunto dos nmeros complexos !
3.................................................... conjunto dos imaginrios puros
Quaternies
..................................................... conjunto dos quaternies de Hamilton
................................................... conjunto dos quaternies no nulos
" ................................................... conjunto dos quaternies unitrios
$ ................................................... conjunto dos quaternies puros
...................................................... multiplicao de quaternies
Espaos vectoriais
Bt................................................... produto de escalar por vector
Bt Ct...............................................soma de vectores
Bt Ct................................................... produto de vectores (numa lgebra linear)
t !
B t ?t.............................................. vector, vector nulo, vector unidade (numa lgebra linear
com unidade)
3 Bt3 ............................................combinao linear dos vectores da sequncia Bt3 "38
8
3"
Simbologia xiii
3M
de espaos vectoriais sobre um mesmo corpo
I3 ou I" I# I8 .........produto cartesiano dos espaos vectoriais da sequncia
8
3M
E F ............................................. soma dos subespaos E e F
P Bt" Bt# Bt7 ......................... subespao gerado pela lista Bt" Bt# Bt7 de vectores de
um espao vectorial I sobre o corpo
Bt" Bt# Bt7 .......................subespao gerado pela lista Bt" Bt# Bt7 de vectores de
um espao vectorial I sobre o corpo
um espao vectorial I
dim I dimI ................................ dimenso do espao vectorial I sobre o corpo
I z J ............................................ I isomorfo de J
Matrizes
+34 "37 .......................................... matriz de tipo 7 8 de elementos +34 de um conjunto \
+34 "348 ....................................... matriz quadrada de ordem 8 de elementos +34 de um
"48
conjunto \
78 ................................................ espao vectorial das matrizes do tipo 7 8 de elementos
no corpo
88 .................................................lgebra das matrizes quadradas de ordem 8 de elementos no
corpo
S78 ................................................ matriz nula do tipo 7 8
S8 ................................................... matriz nula de ordem 8
M8 .....................................................matriz identidade de ordem 8
E F ............................................. soma (diferena) das matrizes E e F
E...................................................produto do escalar pela matriz E
ET E> Ew ........................................matriz transposta de E
E..................................................... matriz conjugada de E
E ....................................................matriz transconjugada de E
Funes lineares
HomI J , LI J ..................... espao vectorial das funes lineares de I em J
EndI ........................................... lgebra dos endomorfismos de I
Ker2, Nuc2...............................ncleo da aplicao linear 2
Img2, Im2, 2I ......................imagem da aplicao linear 2 definida em I
c2, -2 ........................................... caracterstica da aplicao linear 2
n2, 82 .......................................... nulidade da aplicao linear 2
OJ I .................................................funo (linear) nula do espao I no espao J
OI ...................................................endomorfismo nulo no espao I
det2..............................................determinante do endomorfismo 2
Q0/ 2............................................representao matricial da funo linear 2 nas bases 0 e /
Q/ 2............................................. representao matricial do endomorfismo 2 na base /
det/ Bt" Bt# Bt8 ........................determinante dos vectores Bt" Bt# Bt8 na base /
adjE................................................ matriz adjunta de E (transposta da anterior)
det?..............................................determinante do endomorfismo ?
detE E...................................... determinante da matriz E
FI : J ........................................ espao de todas as funes de I : em J
M: I J ....................................... espao das funes :-lineares sobre I com valores em J
A: I J ........................................ espao das funes :-lineares alternadas sobre I com
valores em J
OJ I : ............................................... funo :-linear nula de I : em J
OI : ............................................... forma :-linear nula de I : em
xvi Simbologia
Espaos euclidianos
KB KBt" Bt# Bt7 ................ determinante de Gram da lista B Bt" Bt# Bt7
o.n.d................................................ (base) ortonormada directa
Geometria analtica
E, F.................................................Espao afim, subespao afim
A.1 Introduo
No presente apndice, definem-se alguns conceitos muito utilizados em Matemtica, como
sejam os de relao binria e de aplicao e definem-se, depois, noes como as de famlia,
lista, matriz e sucesso de elementos de um conjunto (que so, afinal e ainda, a noo de funo
sob outras designaes) tendo como pano de fundo a teoria dos conjuntos e a lgica, dos quais
supomos conhecimentos mnimos:
As relaes de pertena e de incluso, as operaes de interseco, reunio e diferena de
conjuntos;
Designaes, expresses designatrias, proposies, expresses proposicionais; negao,
conjuno, disjuno, implicao e equivalncia de proposies; quantificadores universal e
existencial.
Definimos ainda alguns conceitos relativos s relaes de equivalncia (importantes na
definio de novos objectos matemticos as classes de equivalncia) e s relaes de ordem.
Todavia, talvez a parte mais importante deste apndice seja o conceito de aplicao que a
generalizao moderna da noo clssica de funo (numrica) de uma ou mais variveis
numricas. Devemos fazer aqui duas observaes:
A propriedade essencial de uma aplicao a de associar a cada valor da varivel
independente um valor nico da varivel dependente; em consequncia, no faz sentido falar
de uma funo com valores mltiplos (as outrora chamadas funes multvocas: bvocas,
trvocas e at infinitvocas, consoante o nmero de imagens de cada objecto). , bviamente,
legtimo definir funes cujos valores so subconjuntos (possivelmente com mais de um
elemento) de um conjunto dado, mas tais definies so, na prtica, pouco teis.
Deve o estudante familiarizar-se com a ideia de que uma funo um objecto
mas tambm possvel fazer variar 0 (s vezes mantendo B constante). A definio de funo
aqui dada, como um conjunto de pares ordenados satisfazendo determinada condio, favorece
a sua concepo como um objecto matemtico como qualquer outro.
Certamente, deve j o leitor estar familiarizado com a noo de funo (enquanto
objecto, imagem) e, habitualmente, fala-se destas duas noes como se se tratasse de dois
correspondncia unvoca) e ainda com a de grfico de uma funo (conjunto dos pares
tipos de objectos distintos em correspondncia biunvoca, mas esta uma mera distino
psicolgica (correspondente aos dois pontos de vista, geomtrico ou analtico, que podem
adoptar-se quando se encara a funo); de facto, o que aqui fazemos identificar a funo com
o seu grfico: assim, por exemplo, uma funo real de varivel real concebida como um
subconjunto 0 de # (formado, portanto, por pares ordenados de nmeros reais) e a unicidade
da imagem significa que no pode haver em 0 pares distintos com a mesma abcissa. , pois,
importante que o leitor se habitue a considerar uma funo como um objecto, exactamente
qualquer dos seus valores 0 B. Acresce a este respeito que, na linguagem usual e em muitos
como um ponto no plano ou um nmero e a distinguir claramente entre a aplicao 0 e um
livros muita vezes feita esta confuso quando se fala de funo 0 B em vez de funo 0
ou ainda de funo sinB em vez de funo sin.
4 Relaes binrias e funes [Apndice A
Se B C V , escrevemos BVC
.
Se V uma relao binria, o mesmo sucede com W V : A relao W diz-se uma restrio
de V (diz-se ainda que V um prolongamento ou extenso de W ).
Sendo X V W , ento
BX C BVC BWC
1 Pode dar-se uma definio formal de par ordenado, devida ao matemtico polaco Kazimierz Kuratowski
(Varsvia 1896 Varsvia 1980), em termos da teoria dos conjuntos, pondo B, C {{B}, {B, C}}. Com esta
definio e com base na teoria dos conjuntos, fcil provar A.1.
Sec. A.2] Relaes binrias 5
Se X V W , tem-se
BX C BVC BWC
HV pr" V B b B C V
C
GV pr# V C b B C V
B
Do que acabmos de ver se segue que qualquer relao binria V uma relao em
HV GV , visto que
V HV GV HV GV #
A B
CR R
B y (x,y)
CR R
DR x
A
Fig. A.1 O domnio e o contradomnio da relao binria V so os segmentos a cheio sobre os lados E
e F do rectngulo E F . Observe que V HV GV em que HV GV constitudo pelos
rectngulos a sombreado mais claro.
ii E F g E g F g
iii E F g E F Ew F w E Ew F F w
iv E F G E G F G
E F G E F E G
E F G E G F G
E F G E F E G
v
vi E F G E G F G
E F G E F E G
vii E F Ew F w E Ew F F w
viii E F Ew F w E Ew F F w
ix E Ew F F w E F Ew F w E F w Ew F
e tem-se
#E F #E #F % & #!
Podem obter-se outras relaes do mesmo modo, mudando a lngua; por exemplo, para
ingls obtm-se a relao W
W " 9 " / # 9 $ / % 9 % ?
que corresponde relao que tambm pode ser definida por
BWC A palavra inglesa que designa o algarismo B contm a vogal C
Tem-se
V " # " & # " # % $ $ $ ' % # % & & " & % ' $ ' '
elementos nesta tabela como se ilustra a seguir para os casos dos exemplos A.1 e A.2:
aos elementos de E F e com a mesma designao que estes e, por cada par B C V ,
sagital) cujo princpio se apresenta agora: representamos no plano pontos (ns) correspondentes
AB A
1 u
1 2 3
4 a
o
2
i
e 5 4 6
3
x y
O
x
Exemplo A.4 Considere-se, no conjunto dos nmeros reais, a relao V definida por
BVC B C
0
x
1
2
x y Z
3
Exemplo A.5 Considere-se, no conjunto dos nmeros reais, a relao V definida por
BVC B C "
R
1 0 1
x
|x | |y | 1
Definio A.3 Relao inversa Chama-se relao inversa de uma relao V que
formada pelos pares inversos dos pares de V e representa-se por V " , portanto:
V " B C C B V A.6
Ou ainda,
BV " C CVB A.7
imediato que
V " " V A.8
A figura seguinte ilustra uma relao binria V entre elementos dos conjuntos E e F e a
respectiva relao inversa V " .
A B
R1 IA B
(y,x)
x
R
y (x,y)
y x
AB
Fig. A.6 Uma relao binria V e a sua inversa V " .
Exemplo A.6 No universo dos seres humanos (de ambos os sexos), a relao V filho(a)
de tem por inversa a relao V " pai (ou me) de, visto que
B filho(a) de C C pai (ou me) de B
Sec. A.2] Relaes binrias 11
V W B D bB C W C D V A.9
C
relacionado com o ponto D w : ento, por A.9, os dois pontos Bw esto V W -relacionados com
Os dois pontos assinalados com Bw esto W -relacionados com o ponto C w e este est V -
Dw.
Por outro lado, o ponto B est W -relacionado com os pontos do segmento a cheio assinalado
ento A.9 mostra que o ponto B estar V W -relacionado com todos os pontos do segmento
com C e cada um destes est V -relacionado com o respectivo ponto no segmento a cheio D :
a cheio D .
z R
R S
y y
x
S
ii V W g sse GW HV g
iii Em geral, V W W V
iv V W X V W X (associatividade)
viii V X W Y V W X Y
V W X V X W X
V W X V W V X
x
xi V W X V X W X
V W X V W V X
V anti-reflexiva a B E BVB
A.11
B
Definio A.5 Relao de equivalncia Uma relao num conjunto E que seja
reflexiva, simtrica e transitiva diz-se uma relao de equivalncia.
Exemplo A.7 Pode definir-se a noo de direco num plano como sendo cada uma das
classes de equivalncia da relao de paralelismo definida no conjunto E das rectas desse
plano; o conjunto ? das direces do plano o conjunto quociente de E pela relao de
paralelismo em E. Cada recta pertence a uma e uma s das classes de equivalncia, que
chamada a direco dessa recta. A direco de uma recta , assim, o atributo que ela tem de
comum com todas as que lhe so paralelas.
Exemplo A.8 Como exemplo adicional, pode mencionar-se o conceito de orientao de um
espao vectorial real de dimenso finita estudado na seco 6.7 e que a definido como cada
uma das duas classes de equivalncia em que fica dividido o conjuntos das bases de um tal
espao por uma relao de equivalncia adequada (para mais pormenores, consultar aquela
seco).
Exemplo A.9 Considere-se a seguinte relao = em
= B C B# C # #
conjuntos B B, com B
Trata-se de uma relao de equivalncia cujas classes de equivalncia so formadas pelos
! . Esta relao poderia ser usada para definir a noo de mdulo
Definio A.6 Relao de ordem (lata) Uma relao num conjunto E que seja
reflexiva, anti-simtrica e transitiva diz-se relao de ordem4 .
podemos traduzir a dicotomia A.16 dizendo que dicotmica sse todos os elementos de E
B C nem C B, dizemos que B e C so no comparveis (por ). Usando esta linguagem,
forem comparveis, caso em que dizemos que E totalmente ordenado ou ainda que a ordem
total ou linear; como a dicotomia implica a reflexividade, podemos colocar a seguinte
Definio A.7 Relao de ordem total ou linear Uma relao num conjunto E que seja
dicotmica, anti-simtrica e transitiva diz-se relao de ordem total. bvio que toda a
relao de ordem total uma relao de ordem (porque a dicotomia implica a reflexividade).
Se uma relao de ordem no total, diremos que se trata de uma ordem parcial (portanto,
reflexiva mas no dicotmica).
Se for uma relao de ordem (respectivamente de ordem total) em E, a relao inversa
ainda uma relao de ordem (respectivamente de ordem total) em E (prove!); portanto:
BCCB A.19
B C B mltiplo de C
Definio A.8 Relao de ordem estrita Uma relao diz-se de ordem estrita sse for
assimtrica e transitiva.
A seguinte proposio permite obter uma relao de ordem estrita a partir de qualquer
relao ordem:
Proposio A.3 Seja uma relao de ordem num conjunto E. A relao definida em
E por
BC BCBC A.20
uma relao de ordem estrita em E (que se diz associada a ); se for B C , dizemos que
B estritamente menor que C ou que B precede estritamente C .
Demonstrao:
Temos que provar que assimtrica e transitiva.
Para quaisquer B C E, provemos que B C cC B: por absurdo, suponha-se
que era B C C B. Por A.20, isto equivale a B C B C C B C B ou
Definio A.9 Relao de ordem estrita total Uma relao diz-se de ordem estrita total
sse for tricotmica e transitiva.
Observao:
Se E totalmente ordenado ( dicotmica), ento a relao definida em E
por A.20 tricotmica (prove!) e , portanto, uma relao de ordem estrita total.
Exemplo A.14 So relaes de ordem estrita total, por exemplo, a relao em e a
relao chamada ordem lexicogrfica em (induzida pela ordem usual em ), definida
para quaisquer complexos B 3C e Bw 3C w , por
B 3C Bw 3C w B Bw B Bw C C w
quaisquer B C Bw C w E F ,
conjuntos E e F respectivamente, a nova relao n definida em E F pondo, para
B C n Bw C w B Bw C C w A.21
ainda uma relao de ordem (prove!) chamada ordem produto induzida em E F pelas
ordens e . Convm observar que, mesmo que as ordens e sejam dicotmicas, a
ordem n no o ser (porqu?).
Definio A.11 Ordem lexicogrfica Sejam e relaes de ordem definidas nos
B C n Bw C w B Bw B Bw C C w A.22
uma relao de ordem em E F chamada ordem lexicogrfica em E F determinada
pelas ordens e em E e F (note que esta a ordem usada num dicionrio para ordenar
E F n .
Exemplo A.15 Consideremos a funo < #! definida por
<+ , #+ #, " A.23
#,w " seria um nmero par, o que absurdo! Do mesmo modo, se fosse +w +, viria agora
#, " #+ + #,w ", com +w + !, e #, " seria par, o que igualmente absurdo!
w
+ !
Enquanto 8 par
A.24
8 8#
+ + "
, 8 "#
Fim
Como < injectiva, o par + , determinado por A.24 o nico satisfazendo A.23. A
tabela seguinte mostra os inteiros 8, para ! + , ':
,
! " # $ % & '
! " $ & ( * "" "$
" # ' "! "% ") ## #'
# % "# #! #) $' %% &#
+ $ ) #% %! &' (# )) "!%
% "' %) )! ""# "%% "(' #!)
& $# *' "'! ##% #)) $&# %"'
' '% "*# $#! %%) &(' (!% )$#
8 8w + , +w ,w + +w + +w , ,w
Vejamos, agora, a
Proposio A.4 Sendo \ um conjunto ordenado e E \ , o conjunto E MajE
tem, quando muito, um elemento.
Demonstrao:
Sejam Q e Q w dois majorantes de E pertencentes a E. Ento tem-se Q Q w e Q w Q ,
donde Q Q w .
Q mximo de E Q E a B E B Q A.27
B
C \ minorante de E aB E C B A.28
B
Sec. A.3] Relaes de equivalncia e de ordem. Conjuntos ordenados 19
7 mnimo de E 7 E aB E 7 B A.30
B
Tambm aqui, se E tem elemento mnimo 7, ento E ter tambm nfimo e infE minE,
mas pode existir infE sem que exista minE.
Exemplo A.17 Considere-se um conjunto universal Y e o espao ordenado PY ;
observe que a relao de incluso em PY uma ordem no dicotmica. Para quaisquer
20 Relaes binrias e funes [Apndice A
E F PY , tem-se:
infE F E F supE F E F
7 minimal de E 7 E aB E B 7 B 7 A.33
B
Q maximal de E Q E aB E Q B B Q A.34
B
Exemplo A.19 Como exemplo ilustrativo das noes anteriores, considere-se a relao de
ordem parcial definida em por
B 3C Bw 3C w B Bw C C w A.35
Sec. A.3] Relaes de equivalncia e de ordem. Conjuntos ordenados 21
Observe que esta a ordem produto induzida em # pela ordem usual em (a este
propsito, consulte a seco C.14 sobre corpos ordenados no apndice C). Considere, agora, o
conjunto E definido a seguir (crculo unitrio fechado de centro na origem)
E D D "
Tem-se, para este conjunto com a ordem A.35:
MajE D dD " eD "
maxE no existe, porque E MajE g
maximaisE D D " dD ! eD !
supE " 3
minimaisE D D " dD ! eD !
infE " 3
Maj(A)
sup( A)
maximais(A)
A
O 1 R
-1
minimais(A)
inf(A)
-i
Min( A)
maximaisE "
supE "
minimaisE "
infE "
i
Min( A) Maj(A)
inf(A)
min(A) A
minimal(A)
O 1 R
-1
sup( A)
max(A)
maximal(A)
Min( A) -i Maj(A)
em que mdc o mximo divisor comum e mmc o mnimo mltiplo comum dos nmeros
indicados.
Definio A.23 Intervalo Sendo \ um conjunto ordenado, diz-se que M \ um
intervalo (ou conjunto conexo) de \ sse, para quaisquer + , M tais que + ,, todo o
elemento B de \ satisfazendo a relao
+B,
Sec. A.3] Relaes de equivalncia e de ordem. Conjuntos ordenados 23
pertence a M :
M um intervalo a + , M + , a + B , B M
+, B\
suas imagens 0 B.
Observe-se que 0 g uma funo dita funo vazia. As condies 0 g, H0 g e
G0 g so equivalentes. Se 0 uma funo, bvio que a relao inversa 0 " funcional sse
no existirem em 0 pares distintos com a mesma segunda projeco. Neste caso, diremos que 0
injectiva ou regular5 , o que se regista na
Definio A.25 Funo injectiva6 Uma funo 0 diz-se injectiva sse no existirem em
0 pares distintos com a mesma segunda projeco, isto ,
0 funo injectiva 0 funo aw B0 C Bw 0 C B Bw A.38
BB C
BB
j injectiva.
designado por 0 E:
o contradomnio da restrio de 0 a E chamado imagem directa de E por meio de 0 e
0 E G0 |E C bB E C 0 B G0 A.40
B
definido por7
0 " E B bC E C 0 B H0 A.41
C
ou ainda,
0 " E B 0 B E H0 A.42
ser designada por 0 " 5 (a no confundir com a imagem de 5 pela funo inversa 0 " ,
uma funo 0 chamada trao, corte ou conjunto de nvel de 0 correspondente ao valor 5 e
ii 0 " E 0 " E G0
iii 0 E g E H0 g
iv 0 " E g E G0 g
v 0 H0 G0
vi 0 " G0 H0
vii E F 0 E 0 F
x 0 E F 0 E 0 F
7 Note-se que esta noo est definida mesmo que 0 no seja inversvel. Neste contexto, a notao 0 " nada tem
a ver com a funo inversa de 0 .
26 Relaes binrias e funes [Apndice A
xvi 0 0 " E E G0
no uma funo, visto que os pares " " e " " pertencem a V e tm a mesma primeira
projeco. A relao B# B B
!
j funcional.
1 0 l ! B B# B ! 2 0 l ! B B# B !
As funes inversas de 1 e de 2 so
1" B B B ! B# B B !
2" B B B ! B# B B !
A imagem directa por 0 dos intervalos " !, ! " e " " o intervalo 0 ":
0 " ! 0 ! " 0 " " 0 "
uma funo e Hsin e Gsin " ". Esta funo no injectiva, (porque, por exemplo,
! sin! sin1). As restries de sin aos intervalos 1# 51 1# 51, com 5 , so
injectivas. Em particular, injectiva a restrio de sin ao intervalo 1# 1# e a respectiva inversa
designada por funo arcsin sinl 1# 1# .
"
Sec. A.4] Relaes funcionais 27
B 0 B, x y ou C 0 B.
0
Observaes:
Diz-se por vezes que uma funo 0 E F sobrejectiva, se G0 F ; convm, todavia,
notar que a sobrejectividade no uma propriedade apenas de 0 , mas de 0 em relao a
G0 (e s em relao a este).
Se E e F forem finitos, o mesmo se passa com F E : de facto, suponha-se 8 #E e
domnio E B" B# B8 ; porm, existem 7 formas de definir cada uma dessas imagens
7 #F . Cada funo 0 E F estar definida pela sua imagem em cada um dos 8 pontos do
#F E #F #E B.44
e este facto que est na origem da notao F E para o conjunto das funes de E em F .
M 7 5 7 7 " 7 # 7 8 "
8"
7 7 " 7 # 7 8 " 7 8x
5!
7 8x
7x
7 8x
E7
8
B.45
M! , se 7 8
M E7
8 , se 7 8
Definio A.32 Composio de funes Pode provar-se que, dadas duas relaes
relao funcional chamada funo composta de 1 com 0 que, como vimos em A.9, est
funcionais 0 e 1, a relao composta 1 0 (leia-se 1 aps 0 ) de 1 com 0 ainda uma
definida por:
B D 1 0 bB C 0 C D 1 A.46
C
Se G0 H1 g, ser ainda
1 0 B 10 B B 0 " G0 H1 A.47
x y = f (x)
z = g ( f (x))
Fig. A.10 Composio de funes.
ii 0 1 2 0 1 2 (associatividade)
v 1 0 g G0 H1 g
ii IF 0 0
E se 0 injectiva:
i 0 0 " IF
ii 0 " 0 IE
! , onde 0 B B e
1B B.
Exemplo A.27 Considerem-se as funes 0 e 1 #
Em relao a 1 0 , tem-se G0 H1
! e G0 H1 ! , o que mostra que a composta
1 0 no vazia e o seu domnio
H10 0 " G0 H1 0 " ! 0 " G0 H0
Quanto a 0 1, G1
! e H0 e G1 H0 ! ; assim sendo, temos
1 0 B 10 B B# B B
0 1B 0 1B B B B
#
!
por 0 B B# .
Exemplo A.29 Considerem-se agora as funes 0 e ln , onde 0 definida
Em relao a ln 0 , tem-se G0
! e Hln e G0 Hln g, o que mostra que a
composta ln 0 vazia:
ln 0 g
0 8 B" B# B8 0 B" 0 B# 0 B8
de B e designa-se por B3 3M . Observe-se que uma famlia infinita pode ter um conjunto de
M g, a famlia diz-se vazia. Chama-se conjunto dos elementos da famlia B ao contradomnio
B \ de varivel natural.
uma tabela
+"" +"8
+ +#8
+"#
E #"
+##
+7" +78
+7#
quando 8 ". Para cada " 3 7, a lista +34 "48 , de comprimento 8, designa-se por
linha-3 (ou 3 linha) da matriz. Do mesmo modo, para cada " 4 8, a lista +34 "37 , de
comprimento 7, chama-se a coluna 4 (ou 4 coluna) da matriz E; na expresso +34 , o ndice 3
seus elementos so +3< 4= "<: e constituda pelos elementos das linhas 3" 3# 3: e das
A composta E 0 uma matriz de tipo : ; de elementos de \ dita submatriz de E. Os
"=;
+3 4 +3: 4;
: "
+3: 4#
B.1 Introduo
A lgebra no sentido moderno do termo, a saber o estudo das estruturas algbricas
independentemente das suas instncias concretas, desenvolveu-se progressivamente no decurso
do sculo XIX, em ligao com o movimento geral de axiomatizao do conjunto das
matemticas e com a crescente preocupao em substituir o clculo pelo conceito, o concreto
pelo abstracto e o particular pelo geral. At ento, o objectivo primordial da lgebra tinha sido
a resoluo, atravs de frmulas explcitas, das equaes algbricas. As tentativas infrutferas
para resolver as equaes gerais de grau superior ou igual a cinco, bem como os problemas da
teoria dos nmeros, levaram os matemticos a introduzirem entidades matemticas de uma nova
natureza e que apresentavam entre si analogias estreitas na respectiva manipulao e, em
consequncia, a sentirem necessidade de tentar extrair o que de comum houvesse em todas estas
situaes aparentemente diversas. Aos poucos, foi-se conduzido ideia de que, no fundo, a
natureza dos objectos matemticos envolvidos nessas situaes era perfeitamente secundria e
o matemtico ingls George Boolea1b declarava em 1847: A matemtica trata das operaes em
si mesmas, independentemente dos objectos diversos aos quais podem ser aplicadas.
Ao longo do sculo XIX desenvolver-se-ia o processo de axiomatizao que havia de
conduzir s actuais estruturas, expostas sucintamente neste apndice. Assim, desde 1850, os
matemticos ingleses desenvolveram com perfeita nitidez a noo, hoje bsica, de lei de
composio interna e aplicaram-na a vrias situaes (vectores, matrizes, lgica). Seria
necessrio esperar por 1910, para encontrar na vasta sntese de Steinitza2b a exposio abstracta
que marca o comeo da lgebra moderna propriamente dita.
O estudo dos grupos domina prioritariamente as preocupaes desta poca: introduzida por
Cauchy e posta em evidncia por Galoisa3b que mostrou a sua importncia na teoria das
equaes, a noo de grupo vai desempenhar um papel essencial em quase todos os domnios da
matemtica, na fsica e na mecnica quntica. Os trabalhos dos matemticos alemes sobre os
nmeros algbricos estaro na origem do estudo dos anis e corpos comutativos.
1 Boole, George: matemtico ingls (Lincoln 1815 Ballintemple 1864). Na sua obra An investigation into the
Laws of Thought, on Which are founded the Mathematical Theories of Logic and Probabilities lanou os
fundamentos da lgebra de Boole, encarando a lgica de uma maneira nova que a reduzia a um simples
sistema algbrico (a lgebra de Boole) de Clculo Proposicional.
2 Steinitz, Ernst: matemtico alemo (Laurahtte 1871 Kiel 1928). Foi, por exemplo, o autor da construo
hoje standard do conjunto dos racionais como classes de equivalncia da relao de equivalncia
a+ ,b a- . b +. ,- definida em .
3 Galois, variste: matemtico francs (Bourg-la-Reine 1811 Paris 1832) que fez importantes contribuies
para a teoria das equaes algbricas, tendo morrido com apenas 20 anos num duelo. Nos seus trabalhos,
desenvolveu a necessria teoria dos grupos para poder lidar com a questo de saber se uma equao algbrica
pode ou no ser resolvida algebricamente. Diz-se que passou a noite anterior ao dia do duelo a escrever uma
carta contendo as descobertas que fizera.
4 Estruturas algbricas [Apndice B
," ,# ,8
+" +" ," +" ,# +" ,8
+# +# ," +# ,# +# ,8
+7 +7 ," +7 ,# +7 ,8
0 y = 0( ) x1 1 y = 1(x1)
x1 x1
2 y = 2( x1 ,x 2 ) x2 3 y = 3 ( x1
,x 2 ,x 3 )
x2 x3
Fig. B.1 Operaes nulrias, unrias, binrias e ternrias.
5 O resultado de uma operao unria sobre o operando B pode designar-se usando a forma prefixa B ou a
forma posfixa B; neste caso, a tradio no uniforme, encontrando-se facilmente exemplos tradicionais de
ambas as notaes:
Prefixa: B B cosB.
Posfixa: Bx B" ET E .
6 Numa mquina de calcular cientfica comum, encontramos teclas que designam alguns dos tipos de operaes
mencionados:
Operaes nulrias: teclas '!' '"' '#' '$' '%' '&' ''' '(' ')' '*' '1'.
Operaes unrias: '' 'sin' 'cos' 'tan' 'B# '.
Operaes binrias: '' '' ' ' ' ' 'BC ' ' C
B '.
6 Estruturas algbricas [Apndice B
Com base na lei de composio interna , podemos definir duas operaes ternrias
)$" )$# $ distintas em :
)$" aB C D b aB Cb D
)$# aB C D b B aC D b
Dado um grupide a b, para cada 8 , existem, como vimos atrs, vrias operaes 8-
rias em induzidas pela operao binria . Destas, vamos escolher, para cada 8, a operao
)8 8 que definida por recorrncia (operao iterada), pondo:
)" aB b B; (ou seja, )" I ; operao unria)
) aB B B b ) aB B B bB ; 8 " (operao 8-ria) aB.1.1b
8 " # 8 8" " # 8" 8
Sec. B.2] Operaes binrias e n-rias. Grupides. Potenciao 7
8
As expresses aB.1.2b significam que, em B" B# B$ B8" B8 ou B5 , as sucessivas
5"
operaes se consideram efectuadas da esquerda para a direita: por outras palavras,
B" B# B$ B8" B8 sinnimo de aaaB" B# bB$ bB8" bB8 .
8
Em notao aditiva, usam-se as expresses j conhecidas B" B# B8 ou ! B5 e, em
5"
8
notao multiplicativa, escrevemos B" B# B8 ou # B5 .
5"
8
Quando B" B# B8 B, B5
5"
diz-se a potncia de expoente 8 e base B em
8
relao operao e representamo-la por B. De aB.1.1b obtm-se
"
B B; (potncia de expoente " e base B)
8 aB.2.1b
B 8"
BB; 8 "; (potncia de expoente 8 e base B)
Linguagens
Abstracta (genrica) Aditiva Multiplicativa
Lei de composio interna Adio Multiplicao
, etc
1 operando 1 parcela 1 factor
2 operando 2 parcela 2 factor
Resultado Soma Produto
8 8 8
B5
5"
! B5 # B5
5" 5"
8
B 8B B8
7 A letra com que se designa o conjunto dos inteiros a inicial da palavra Zahl, que em alemo significa
nmero.
Sec. B.3] Subconjuntos fechados. Subgrupides 9
Exemplo B.7 A tabela que se mostra a seguir (uma das '$' possveis) define uma lei de
composio interna no conjunto e" # $ % & 'f dos ' primeiros nmeros naturais
" # $ % & '
" " " " " " "
# " # " # " #
$ " " $ " " $
% " # " % " #
& " " " " & "
' " # $ # " '
Exemplo B.8 As duas tabelas seguintes definem leis de composio interna no conjunto
& e0 " # $ %f
! " # $ % ! " # $ %
! ! " # $ % ! ! ! ! ! !
" " # $ % ! " ! " # $ %
# # $ % ! " # ! # % " $
$ $ % ! " # $ ! $ " % #
% % ! " # $ % ! % $ # "
Observe que estas so apenas duas das &#& leis de composio interna possveis em & . As
operaes e definem a estrutura algbrica a& b.
Trata-se uma operao binria em (soma de Fareya9b ), visto que a soma + - de inteiros
um inteiro e a soma , . de inteiros naturais natural e portanto +-
,. .
A A
A
Fig. B.2 Composio de funes de E em E .
Exemplo B.13 Uma funo 0 diz-se uma afinidade ou funo afim sse existem dois
nmeros reais + , tais que
0 aBb +B ,
Portanto, o grfico de 0 uma recta (no vertical) cujo declive + e cuja ordenada na origem
igual a ,, isto , tem-se , 0 a!b e + 0 a"b 0 a!b. Seja agora o conjunto de todas as
afinidades de em e considere a operao de composio de funes (ver apndice A):
esta uma lei de composio interna em , visto que a funo composta de duas afinidades
ainda uma afinidade, como se prova a seguir
0 1 b 0 aBb +B , 1aBb -B .
+,-.
a0 1baBb 0 a1aBbb +a-B . b , a+-bB a+. ,b 0 1
agora claro que 0 1 ainda uma afinidade cujo declive +- e cuja ordenada na origem
+. , e a b constitui um grupide, que subgrupide de a b.
Exemplo B.14 Seja Y um conjunto (o universo) e PaY b o conjunto de todas as partes de Y
PaY b eE E Y f
#aPaY bb ##Y
Observaes:
A igualdade aBCbD BaCD b, para todo os B C D , significa que as duas
operaes ternrias aB C D b aBCbD e aB C D b BaCD b definidas em so iguais.
O que est em causa na associatividade a ordem por que se realizam as duas operaes
sucessivas.
Quando a operao associativa, a notao BCD que, como vimos em aB.1.2b, se
entende como aBCbD designa igualmente a expresso BaCD b, tornando assim intil o uso
de parntesis.
As expresses aBCbD e BaCD b revelam a desvantagem da notao infixa tradicional
em relao s outras duas mencionadas no incio da seco B.2: que, na ausncia de
associatividade ou da conveno de que as operaes se executam da esquerda para a direita e
no usando parntesis, a expresso BCD torna-se ambgua, pois designa qualquer dos
elementos eventualmente distintos aBCbD e BaCD b (ver exemplo B.1). Pelo contrrio,
Sec. B.4] Associatividade e comutatividade. Semigrupos 1
13
3
usando notao posfixa (resp. prefixa), no existe qualquer ambiguidade visto que os dois
membros de aB.10b se escrevem BCD e BCD (resp. BCD e BCD ), no havendo qualquer
necessidade do uso de parntesisa11b .
A figura seguinte ilustra a propriedade associativa:
x xy
(x y) z
y
z
x
x (y z)
y
z y z
Fig. B.3 A associatividade.
Por induo, pode provar-se que, se associativa ento, para qualquer " : 8, tem-se
B" B# B: B:" B8 B" B# B: B:" B8 aB.11b
Por outro lado, diz-se que a operao comutativa (ou que o grupide a b o ) sse
todos os elementos de forem permutveis; mais rigorosamente,
O grupide a b comutativo a BC CB aB.13b
BC
claro que todo o elemento B permuta com si prprio: BB BB. Quando o conjunto
finito e a operao est definida por uma tabela, a comutatividade equivale simetria da
tabela em relao sua diagonal principal (a que vai do canto superior esquerdo para o canto
11 O que justifica a ausncia das usuais teclas de parntesis nas mquinas de calcular que usam o sistema RPN,
por oposio aos modelos mais divulgados que utilizam notao algbrica tradicional (infixa).
14 Estruturas algbricas [Apndice B
inferior direito). Por outro lado, se B C e D so dois a dois permutveis e associativa, ento:
aBCbD BCD aCBbD
CBD BaCD b BaDCb aBD bC
BDC CaBD b CaDBb aCD bB
CDB aDCbB
DCB DaCBb DaBCb aDBbC
DBC
Vemos que, portanto, para qualquer das $x ' formas de ordenar os operandos B C e D , o
resultado da operao ternria aB C D b BCD aBCbD no se altera; este resultado
generalizvel, o que exposto na seguinte
Proposio B.1 Seja a b um grupide associativo (semigrupo) e B" B8 uma lista
de 8 elementos tais que qualquer deles permuta com os restantes da lista (isto ,
B3 B4 B4 B3 , para quaisquer " 3 4 8). Ento, para qualquer das 8x permutaes 5 dos
8 ndices, tem-se
B5" B5# B58 B" B# B8 (comutatividade generalizada) aB.14b
Observe que, mesmo com os operandos todos iguais caso das potncias tem-se por
exemplo:
$ #
# # # a# #b # "!
#
# # # a# #b $)
P Q
N
P Q R
M= (P Q)R
R
N = P (QR)
Fig. B.4 A operao do exemplo B.3 no associativa.
16 Estruturas algbricas [Apndice B
Exemplo B.25 As duas operaes definidas pelo par de igualdades aB.7b no conjunto
& e0 " # $ %f so associativas (verifique).
Elas so ainda comutativas, o que resulta da simetria das tabelas apresentadas em relao
diagonal principal ou ainda da comutatividade da adio e da multiplicao em :
+ , a+ ,b mod & a, +b mod & , +
+ , a+,b mod & a,+b mod & , +
Exemplo B.26 As duas operaes do exemplo B.9 definidas pelo par de igualdades aB.8b no
conjunto # so associativas, o que resulta das propriedades da adio e do produto em :
Para a primeira operao :
a+ ,b a- . b a/ 0 b a+ - , . b a/ 0 b aa+ -b / a, . b 0 b
a+ a- /b , a. 0 bb a+ ,b a- / . 0 b
a+ ,b a- . b a/ 0 b
18 Estruturas algbricas [Apndice B
Exemplo B.27 As duas operaes do exemplo B.10 definidas pelo par de igualdades aB.9b no
conjunto # so associativas e tambm comutativas, o que resulta das propriedades da adio e
do produto em . As demonstraes decorrem de forma semelhante s do exemplo anterior.
Exemplo B.28 A composio de funes de E em E citada no exemplo B.12, associativa,
mas no comutativa:
Quanto associatividade, tem-se para todo o B A,
aa0 1b 2baBb a0 1ba2aBbb 0 a1a2aBbbb
a0 a1 2bbaBb 0 aa1 2baBbb 0 a1a2aBbbb
-1
- /2 0 /2
Fig. B.5 Grficos das funes 0 1 e 1 0 .
Sec. B.4] Associatividade e comutatividade. Semigrupos 1
19
9
A potncia de um elemento B de expoente 8 para a operao definida por aB.2.1b goza das
propriedades seguintes:
Proposio B.2 Propriedades das potncias Seja a b um grupide associativo
(semigrupo). Ento:
i) Para qualquer B e quaisquer expoentes naturais 7 e 8, tem-se
7 8 78
BB B
20 Estruturas algbricas [Apndice B
8
iii Se B C so permutveis, o mesmo sucede com B e C, para qualquer expoente
natural 8, isto :
8 8
BC CB
Demonstrao:
i) Para 7 8 , teremos por induo em 8:
7" 7 7 "
Para 8 ", tem-se B BB BB.
78 7 8
Para 8 ", se for B BB, ento
7a8"b a78b" 78 7 8
B B BB BBB
7 8 7 8"
BBB B B
8 8
Se admitirmos que BC CB, ento para 8 " teremos, atendendo
associatividade, hiptese de induo e a que B e C so permutveis:
8" 8 8 8 8
B C BCC BCC CBC CaBCb
8 8 8"
CaCBb CCB CB
Observaes:
Convm aqui observar a importncia da associatividade na validade de todas as alneas da
proposio anterior.
Para o mostrar, basta atender operao aB Cb B C# que designaremos por definida
$ # $# &
em que no associativa e teremos # # # #:
$ #
# # aa# #b #b a# #b
a' #b ' "! '
%'
$# &
# # aaa# #b #b #b # aa' #b #b #
a"! #b # "% #
")
22 Estruturas algbricas [Apndice B
# $ #$ '
Do mesmo modo, tem-se # # #:
# $ $ $
# # # "! "! ""!
' &
# # # ") # ##
8 8 8
Tambm a propriedade B C aB Cb no tem lugar (neste caso, alm
da no associatividade, os elementos # e $ no so permutveis):
# #
# $ ' "# "&!
# #
a# $b "" "" "" "$#
Observaes:
evidente que, se a operao comutativa, + absorvente esquerda se e s se for
absorvente direita.
Se num grupide existem os dois elementos absorventes, ento estes so necessariamente
iguais: de facto, se + absorvente esquerda e +w absorvente direita, ento temos ++w + e
++w +w , o que implica ser + +w . Por outro lado, se existem dois elementos absorventes
esquerda +" e +# e se +w um elemento absorvente direita, teremos como acabmos de ver
+" +w e +# +w e portanto +" +# . Provmos assim a unicidade (no a existncia!) do
elemento absorvente esquerda quando tambm existe elemento absorvente direita. De forma
semelhante se provaria a unicidade do elemento absorvente direita, caso exista algum elemento
absorvente esquerda; portanto, o elemento absorvente (bilateral) + satisfar as igualdades
+B B+ +, para qualquer B , e ser nico.
Podem existir vrios elementos absorventes esquerda (resp. direita), desde que no
exista nenhum direita (resp. esquerda). O exemplo seguinte mostra a existncia de dois
elementos absorventes direita no grupide ae+ , -f b algebrizado pela operao definida
pela tabela:
+ , -
+ + - -
, + , -
- + + -
Observaes:
Se usarmos notao aditiva para e notao multiplicativa para , as expresses
anteriores escrevem-sea12b :
BaC D b BC BD
aB CbD BD CD
12 Nos segundos membros, seguimos a conveno usual de que as multiplicaes tm prioridade sobre a adio.
Sec. B.6] Translaes. Elementos regulares 2
25
5
a 0
+aBb 1
+aBb a a0 +baBb a1 +baBb
BE BE
+aEb +aEb
Demonstrao:
Basta fazer B ?w na primeira equao aB.18b e B ? na segunda, para obter:
B?w
? elemento neutro esquerda a ?B B ??w ?w
B
B?
?w elemento neutro direita a B?w B ??w ?
B
Das igualdades anteriores resulta de imediato ? ?w . Por outro lado, se existem dois
elementos neutros esquerda ?" e ?# e se ?w um elemento neutro direita, teremos como
acabmos de ver ?" ?w e ?# ?w ; portanto, ?" ?# . Provmos assim a unicidade mas no
a existncia! do elemento neutro esquerda quando tambm existe elemento neutro direita.
De forma semelhante se provaria a unicidade do elemento neutro direita, caso exista algum
elemento neutro esquerda. Portanto, o elemento neutro bilateral ? nico e satisfaz a equao
aB.19b.
A ttulo de exerccio pode o leitor investigar a existncia de elemento neutro nos grupides
dos exemplos B.1 a B.15.
Observaes:
A justificao para a designao de neutro esquerda (resp. neutro direita) bvia,
visto que o resultado de operar com ? esquerda (resp. com ?w direita) produz um resultado
igual ao outro operando.
O elemento neutro esquerda (resp. direita) regular esquerda (resp. direita), visto
que a funo identidade I injectiva.
o que mostra que ?w elemento neutro direita. Do mesmo modo, sendo 7+w sobrejectiva, existe
? tal que ?+ + e esta igualdade satisfeita por qualquer B , visto que existir para
cada B um C tal que +C B e ser
?B ?a+Cb a?+bC +C B
o que mostra ser ? elemento neutro esquerda. Ento, a proposio B.4 assegura que ?w ? e,
portanto, B? ?B B, para todo o B e ? elemento neutro (bilateral).
O elemento neutro de uma operao representada aditivamente representa-se por ! e
chama-se zero ou elemento nulo; se a operao representada em linguagem multiplicativa, o
elemento neutro representa-se por " e chama-se elemento unidade ou identidade. Existem
excepes a estas convenes: por exemplo, em clculo matricial, a matriz nula de tipo 7 8
representada por S78 e a matriz identidade de ordem 8 representada por M8 .
Os exemplos B.43 e B.44 mostram que pode uma operao binria necessariamente no
comutativa ter vrios elementos neutros esquerda (e necessariamente nenhum direita:
porqu?) ou vrios elementos neutros direita (e necessariamente nenhum esquerda: porqu?).
Todavia, pelo corolrio B.4.1, poder haver, quando muito, um elemento neutro (bilateral).
bvio que ?5 A ?58 A "A A, para todo o A . Para 8 ", no pode existir
elemento neutro ?w direita pois que, se este existisse, todos os elementos neutros esquerda
deveriam ser iguais a ?w (ver proposio B.4) e, portanto iguais entre si.
Do mesmo modo, a operao definida em por
D A DA8 8
no comutativa (para 8 ") e tem 8 elementos neutros ?5w direita que so as 8 razes de
ndice 8 da unidade em :
#51 8
?5w /3 8 ; a?5w b "
5!"8"
bvio que D ?5w D a?5w b8 D" D , para todo o D . Para 8 ", no pode existir
qualquer elemento neutro ? esquerda pois que, se este existisse, todos os elementos neutros
direita deveriam ser iguais a ? e, portanto iguais entre si. Se 8 ", as operaes e
coincidem ambas com a multiplicao usual em e ento existe elemento neutro (bilateral e
nico) que ".
30 Estruturas algbricas [Apndice B
A operao associativa:
aB Cb D aB C "b D B C " D "
B aC D "b " B aC D "b B aC D b
A operao associativa:
A operao comutativa:
BCBC"CB"CB
Sec. B.7] Elemento neutro. Monides. Elementos invertveis 3
31
1
A operao comutativa:
B C BC aB Cb # CB aC Bb # C B
A operao no tem elemento absorvente: se este existisse e fosse +, teria que ser, por
exemplo, + # + ou seja + # " +, logo " !, o que absurdo!
A operao tem elemento absorvente (bilateral) que 1, pois para qualquer B :
" B B " B a" Bb # B " B # "
8
E para a operao , a potncia de base B e expoente 8 7B aB "b8 ".
Podemos tambm provar esta igualdade por induo, sendo o caso 8 " trivial:
8" 8
8B 8B B aaB "b8 "bB aaB "b8 " Bb #
aB "b8 aB "b " aB "b8" "
!
B5 5g
5"
B5 ? aB.20.1b
Sabe o leitor que ! elemento neutro de a b e que, neste caso, existe para cada inteiro B
um outro inteiro C tal que B C C B ! e que esse inteiro C designado o simtrico de B.
Ser tambm esse o caso em a b, onde o elemento neutro "? Esta situao leva-nos a
colocar a definio de elemento oposto ou inverso de um elemento num grupide em que exista
elemento neutro:
Definio B.14 Elemento oposto ou inverso e elementos invertveis Num grupide
a b com elemento neutro (bilateral) ?a14b , chama-se oposto ou inverso de um elemento
B esquerda (resp. direita) a qualquer elemento Bw/ (resp. B.w ) tal que
Bw/ B ? (resp. BB.w ?)
Bw/ um oposto ou inverso de B esquerda B/w B ?
aB.22b
Bw. um oposto ou inverso de B direita BB.w ?
Um elemento B para o qual exista algum oposto esquerda (resp. direita) diz-se invertvel
esquerda (resp. direita) para a operao , dizendo-se os restantes no invertveis
esquerda (resp. direita). Adiante veremos que, em grupides associativos, se existirem os
inversos de B esquerda e direita sero necessariamente iguais e nicos.
14 Note que s faz sentido falarmos de inverso, nos grupides com elemento neutro.
Sec. B.7] Elemento neutro. Monides. Elementos invertveis 3
33
3
Observaes:
Se a operao for comutativa, bvio que Bw um inverso de B esquerda se e s se o
for direita.
evidente que B inverso de C esquerda se e s se C inverso de B direita, porque se
tem BC ?.
O elemento neutro ? sempre invertvel esquerda e direita, visto que a sua prpria
definio implica
?? ?
o que significa que ? um inverso (bilateral) de si prprio.
Exemplo B.51 Na ausncia de associatividade, pode um elemento ter opostos esquerda e
direita diferentes. Atente-se no grupide no associativo ae? , - . f b, no qual ? o elemento
neutro (visto ser ?B B? B, para B ? , - . ) e onde definido pela tabela seguinte
? , - .
? ? , - .
, , , . ?
- - ? - ?
. . - - .
Exemplo B.52 Em geral, um elemento pode ter vrios opostos bilaterais. Por exemplo, o
grupide com trs elementos ae? , -f b definido pela tabela
? , -
? ? , -
, , ? ?
- - ? ,
comutativo (a tabela simtrica em relao sua diagonal principal) e tem ? como elemento
neutro, visto ser ?B B? B, para B ? , -. No entanto, a operao no associativa,
como mostra o contra-exemplo seguinte
a,-b- ?- -
,a--b ,, ?
Neste caso, o elemento neutro ? tem um s oposto que ele prprio, porque ?? ?; o
elemento , tem dois oposto bilaterais que so , e -, porque ,, ? e ,- -, ?; o
34 Estruturas algbricas [Apndice B
elemento - tem um oposto bilateral apenas que ,, visto que -, ,- ?. A tabela seguinte
resume estes resultados:
Oposto esquerda Oposto direita
? ? ?
, , - , -
- , ,
Demonstrao:
Sejam Bw/ e B.w inversos de B esquerda e direita respectivamente: ento, recorrendo
associatividade e definio de elemento neutro, teremos imediatamente:
Bw/ B/w ? B/w aBB.w b aB/w BbB.w ?B.w B.w
Daqui resulta imediatamente a unicidade dos inversos: por exemplo, se houvesse dois
inversos B" e B# de B esquerda e simultneamente existisse um inverso C direita para o
mesmo elemento B, ento pelo resultado acabado de provar, seria B" C e B# C pelo que se
obteria imediatamente B" B# ; da mesma forma se provava a unicidade do inverso direita.
Observaes:
Observe que num grupide com elemento neutro a existncia e no igualdade dos
inversos laterais de um mesmo elemento s pode ocorrer se a operao no for associativa,
como acontecia no exemplo B.51.
Como mostra o exemplo B.53 que segue, num monide, pode haver elementos para os
quais existem vrios (eventualmente infinitos) inversos esquerda (e necessariamente nenhum
direita) ou vrios inversos direita (e, certamente, nenhum esquerda). A unicidade s est
garantida quando existirem ambos os inversos.
Exemplo B.53 Consideremos o monide no comutativo EE do exemplo B.12, cujo
elemento neutro a funo identidade IE : dada uma funo 0 E E, vamos ver que 0
invertvel esquerda (resp. direita) se e s se 0 for injectiva (resp. sobrejectiva).
Se 0 injectiva, ser inversa esquerda de 0 qualquer funo 0/w E E definida do modo
seguinte: se C 0 aEb, existe um (e um s) B tal que 0 aBb C e ser esse o valor de 0/w no
ponto C; para os pontos de E 0 aEb, o valor de 0/w ser qualquer B arbitrrio em E,
B, tal que 0 aBb C ; se C 0 aEb
0/w aCb
B E arbitrrio ; se C E 0 aEb
Para todo o B E, teremos ento 0/w a0 aBbb 0/w aCb B o que mostra ser 0/w 0 IE . Se 0
no for sobrejectiva, E 0 aEb ser no vazio e existiro vrias funes inversas esquerdas de 0 ,
dada a arbitrariedade de 0/w aCb para C E 0 aEb.
Sec. B.7] Elemento neutro. Monides. Elementos invertveis 3
35
5
Para todo o B E, teremos ento 0 a0.w aBbb 0 aCb B o que mostra ser 0 0.w IE . Se 0
no for injectiva, existem muitas escolhas possveis de C tal que 0 aCb B (eventualmente
infinitas) e haver vrias funes inversas direitas de 0 .
Exemplo B.54 Concretizando o exemplo anterior, considere-se E c" "d.
Um caso em que existe uma infinidade de inversas esquerdas ser, por exemplo, o da
funo 0 E E injectiva e no sobrejectiva definida em E por:
B
0 aBb ; B c" "d
" B#
so inversas esquerdas de 0 porque atendendo a que 0 aEb c "# "# d e a que as duas inversas
esquerdas coincidem neste intervalo, ser para qualquer B E,
B
# "B #
a0/w 0 baBb 0/w a0 aBbb B IE aBb
B #
" " % "B #
B
# "B #
a0/ww 0 baBb 0/ww a0 aBbb B IE aBb
B #
" " % "B #
1 1 1
f fe fe
-1 -1 -1
-1 1 -1 1 -1 1
Uma funo para a qual existem infinitas inversas direitas poder ser a funo 1 E E
sobrejectiva e no injectiva obtida pondo:
1aBb cosa1Bb ; B c" "d
36 Estruturas algbricas [Apndice B
Entre infinitas funes inversas direitas, encontram-se as funes 1.w e 1.ww definidas por
" "
1.w aBb arccosaBb 1.ww aBb arccosaBb
1 1
1 1 1
g
gd
gd
-1 -1 -1
-1 1 -1 1 -1 1
A importncia da noo de monide provm do facto de que, neste tipo de estruturas, est
garantida a unicidade do inverso bilateral (mas no a sua existncia!), para cada elemento do
suporte; alm disso, os elementos invertveis de um monide formam sempre um subgrupide
desse monide:
Proposio B.6 Seja a b um monide e ? o respectivo elemento neutro. Ento:
i) Para cada + existe, quando muito, um elemento +w tal que:
+w + ++w ? aB.23b
Isto significa que o conjunto dos elementos invertveis dum monide fechado para a
respectiva lei de composio, o que juntamente com ii) significa que eles constituem
um submonide de a b.
Demonstrao:
i) um corolrio da proposio B.5, pois que se fossem +w e +ww elementos satisfazendo a
dupla igualdade aB.23b, +w seria um inverso de + esquerda e +ww um inverso de + direita e
portanto +w +ww . Est, deste modo, provado no poder existir mais do que um elemento +w
satisfazendo aB.23b.
ii) imediato, visto que ?? ?.
iii) resultado imediato das igualdades aB.23b.
38 Estruturas algbricas [Apndice B
vi) Sejam +w e ,w os inversos dos elementos permutveis + e ,; ento, pela alnea anterior,
+, e ,+ so invertveis e
+w ,w a,+bw a+,bw ,w +w
Isto prova que a translao 7+ esquerda determinada por + injectiva e que + regular
esquerda. Do mesmo modo, sendo +ww um inverso de + direita, teremos
B+ C+ aB+b+ww aC+b+ww Ba++ww b Ca++ww b B? C? B C
o que prova que a translao 7+w direita determinada por + injectiva e que + regular direita.
viii) Se 7+ (resp. 7+w ) sobrejectiva, existe um elemento +w (resp. +ww ) tal que
++w ? (resp. +ww + ?), o que significa que +w (resp. +ww ) um inverso de + direita (resp.
esquerda). Se ambas as translaes forem sobrejectivas, ento existem ambos os inversos e a
proposio B.5 garante que +w +ww ; ser portanto: ++w +w + ? e +w nico. Assim, +
Sec. B.8] Grupos 39
invertvel com inverso +w . A alnea anterior garante, por fim, que 7+ e 7+w so injectivas e portanto
bijectivas e que + regular.
Observaes:
Convm chamar a ateno para o facto de que num monide comutativo so vlidas as
leis do corte mistas:
+ regular +B C+ +B
C+ BC
(leis do corte mistas) aB.31b
+ regular B+ +C B+ +C
BC
Num monide no comutativo, as leis do corte mistas anteriores no valem mesmo que
+ seja regular: por exemplo, no monide multiplicativo no comutativo a## b a matriz
" #
E
# "
" # " ! # !
regular (porque invertvel, com E" "$ ) e para \ " e] " ,
# " # # # "
# %
tem-se E \ ] E & apesar de ser \ ] .
# #
B.8 Grupos
Na quinta alnea da proposio B.6, vimos que o conjunto de todos os elementos
invertveis de um monide a b ainda um monide no qual, por construo, todos os
elementos so invertveis: a um monide como este, em que todos os elementos so
invertveis, que chamamos um grupo:
Definio B.15 Grupo e grupo abeliano Chama-se grupo estrutura algbrica
constituda por um conjunto (suporte do grupo) dotado de uma lei de composio interna
em associativa, com elemento neutro ? (necessariamente nico) e em que todos os elementos
de so invertveis, isto , tm um inverso (tambm necessariamente nico, pela proposio
B.6.i). Se a operao for ainda comutativa, o grupo diz-se comutativo ou abelianoa15b .
Portanto, num grupo existe a garantia de que todos os elementos tm inverso e de que este
nico, possibilitando assim a definio de uma operao unria em a inverso B Bw que
transforma cada elemento de no seu inverso (bilateral). Podemos considerar um grupo como a
estrutura constituda pelo suporte e por uma operao binria , uma operao nulria (a
escolha do elemento neutro ?) e uma operao unria (a inverso B Bw )
Como vimos antes, sempre que tenhamos um monide a b, o conjunto dos seus
elementos invertveis (observe que g, porque ? ) constitui um grupo, para a operao
induzida por em .
Por tudo o que atrs se viu, ainda bvio que as leis do corte esquerda e direita so
vlidas em qualquer grupo e que as leis do corte mistas so vlidas nos grupos comutativos.
15 Abel, Niels Henrik: matemtico noruegus (Ilha de Finny 1802 Arendal 1829); aos 19 anos provou que
uma equao algbrica de grau superior ao 4 no pode ser resolvida algebricamente.
40 Estruturas algbricas [Apndice B
Exemplo B.55 A tabela seguinte mostra a situao em que se encontram alguns dos
grupides aditivos mencionados anteriormente no que diz respeito s vrias noes algbricas
anteriormente introduzidas:
!
Comutativo Sim Sim Sim Sim Sim Sim Sim Sim
Associativo Sim Sim Sim Sim Sim Sim Sim Sim
Elemento neutro ! ! ! !
Elementos regulares Todos Todos Todos Todos Todos Todos Todos Todos
Elementos invertveis ! Todos Todos Todos
Elementos absorventes
Elementos idempotentes ! ! ! !
Semigrupo Sim Sim Sim Sim Sim Sim Sim Sim
Monide No Sim Sim No Sim No Sim No
Grupo No No Sim No Sim No Sim No
Grupo abeliano No No Sim No Sim No Sim No
Exemplo B.56 Na seguinte tabela, mostra-se a situao relativa a alguns dos grupides
multiplicativos referidos at aqui no que diz respeito s propriedades algbricas definidas
anteriormente:
!
Comutativo Sim Sim Sim Sim Sim Sim Sim Sim Sim
Associativo Sim Sim Sim Sim Sim Sim Sim Sim Sim
Elemento neutro " " " " " " " " "
Elementos regulares Todos Todos Todos Todos Todos
Elementos invertveis " " " " Todos Todos Todos
Elementos absorventes ! ! ! !
Elementos Idempotentes " ! " ! " " ! " " ! " " "
Semigrupo Sim Sim Sim Sim Sim Sim Sim Sim Sim
Monide Sim Sim Sim Sim Sim Sim Sim Sim Sim
Grupo No No No No No Sim No Sim Sim
Grupo abeliano No No No No No Sim No Sim Sim
Exemplo B.58 Sendo a b um grupide, vimos no exemplo B.15 que o conjunto \ das
funes de um conjunto \ em pode ser algebrizado de uma forma padro definindo, para
quaisquer funes 0 e 1 de \ em , uma nova funo 0 1 \ por
a0 1baBb 0 aBb1aBb B \
Para 8 , esta definio por recorrncia coincide com aB.2.1b e mostra que, para qualquer
8 , se tem
8
B
BBB aB.36b
8 operandos
8
Com a definio anterior, a potncia B passa a fazer sentido com qualquer expoente inteiro
relativo 8 . Observe-se de passagem que, em linguagem aditiva, as expresses aB.36b e
aB.37b se escreveriam respectivamente
8B
BBB
8 parcelas
a8bB 8B
B B B a8Bb
8 parcelas
Com base nas definies anteriores, pode demonstrar-se que as regras da potenciao da
proposio B.2 se generalizam aos expoentes nulo e negativos; usaremos aqui a notao
multiplicativa:
44 Estruturas algbricas [Apndice B
v) Para quaisquer B e 7 8 ,
aB7 b8 B78
Demonstrao:
i) Faremos a demonstrao em duas partes: para 8 ! e para 8 . No caso
8 ! , usaremos o mtodo de induo:
Para 8 !, a igualdade imediata, visto que B C! B " B " B C! B.
Se admitirmos que B C8 C8 B, ento para 8 " teremos, atendendo
associatividade, hiptese de induo e a que B e C so permutveis:
B C8" B aC8 Cb aB C8 b C aC8 Bb C C8 aB Cb
C8 aC Bb aC8 Cb B C8" B
iii) Como B e B" so permutveis, podemos usar o resultado da alnea anterior, para
8 8 8
concluir que B" B8 aB" Bb "8 ", o que mostra que B" o inverso de B8 (
claro que "8 ", tambm para 8 !, visto que "" ").
iv) Para 7 e 8 ! , teremos por induo em 8:
Para 8 !, tem-se B7! B7 B7 " B7 B! .
Para 8 !, se for B78 B7 B8 ento
B.9 Subgrupos
Algumas partes de um grupo podero, quando dotadas da operao induzida, constituir
tambm um grupo: diremos que formam um subgrupo do grupo dado. A seguir, enunciamos a
definio formal de subgrupo:
Definio B.17 Subgrupo Considere-se um grupo a b. Uma parte w diz-se um
subgrupo de se e s se fechada para a operao e ainda um grupo para a operao
induzida em w por .
46 Estruturas algbricas [Apndice B
Demonstrao:
Mostraremos que i) ii) e ii) iii) e iii) i):
i) ii) Sendo w um subgrupo de , o elemento neutro ?w de aw b ser igual ao de
a b:
? elemento neutro de a b ?w ? ?w
w ?w ?
? w ? ?w ?
?w elemento neutro de aw b ?w ?w ?w
Para mostrar que w estvel para a operao inversa direita, basta mostrar que estvel
para a inverso: comecemos por mostrar que os inversos de qualquer + w em aw b e em
a b so iguais:
+w inverso de + em a b ++w ?
ww w ww ++w
++ww +w +ww
+ inverso de + em a b ++ ?
16 Observe que estas condies se podem enunciar simplesmente dizendo que w fechado para as trs
operaes existentes em :
Escolha do elemento neutro ? (nulria).
Operao (binria).
Inverso w (unria).
Sec. B.9] Subgrupos 47
ii) iii) Suponha-se que ii) verdadeira. Como w fechado para a operao inversa de
e ? w , ento, se + w , ser ?+ ?+w +w w e, portanto, w fechado para a
inverso. Mas ento ser tambm fechado para a operao :
w
+ , w + ,w w +,w +a,w b +, w
iii) i) consequncia de ser w fechado para a operao e de esta ser associativa, ter
elemento neutro ? w (o mesmo de ) e todos os elementos de w terem inverso (coincidente
com o de ).
Observaes:
Num grupo aditivo, as condies aB.38.1b traduzem-se por
! w
a a+ w , w + , w b aB.38.2b
+,
Exemplo B.60 O conjunto T dos inteiros pares so um subgrupo do grupo abeliano aditivo
a b dos inteiros relativos, visto que ! T e a diferena de dois nmeros pares ainda um
nmero par. Outro tanto no acontece com o conjunto M dos nmeros mpares: por um lado,
! M e, por outro lado, a diferena de dois inteiros mpares um inteiro par.
Exemplo B.61 um subgrupo multiplicativo de , visto que " e fechado em
relao diviso: BC desde que B C ; o conjunto e" "f constitui outro subgrupo
multiplicativo de , porque contm " e fechado para a diviso. Tambm o conjunto
Y eD kD k "f dos complexos unitrios um subgrupo multiplicativo de a b, porque
w w w
" Y e se /3) e /3) pertencem a Y , ento /3) /3) /3a)) b Y .
Exemplo B.62 Qualquer grupo a b com elemento neutro ? admite dois subgrupos que so
ae?f b e a b. So, respectivamente, o menor e o maior dos subgrupos de e so s vezes
chamados subgrupos triviais de .
Exemplo B.63 Sendo a b um grupo e + , o conjunto
8
+ + 8
Ento, pela proposio B.8.ii), + um subgrupo de a b.
G
S = G (A)
*
a1 a2
A
ap
Tomemos, agora, E e+f e vejamos que o subgrupo gerado por e+f o conjunto +
das potncias de + mencionado no exemplo B.63:
ae+fb +
"
Vimos no exemplo B.63 que + um subgrupo de e contm e+f, visto que + +. Por
outro lado, se w for um qualquer subgrupo de tal que + w , w ser fechado para a
8
operao o que implica + w , para todo o 8 e isto significa que + w . Deste
modo, + o menor subgrupo de que contm e+f, logo o subgrupo gerado por e+f.
Sec. B.9] Homomorfismos e isomorfismos 49
ii) W contm E.
A figura abaixo ilustra a noo de homomorfismo e mostra que a igualdade anterior equivale
seguinte igualdade funcional:
0 0#
A B
A B
17 Diz-se, s vezes, que a funo 0 transforma os elementos de nos de e que transforma a operao na
operao .
Sec. B.10] Homomorfismos e isomorfismos 51
Demonstrao:
i) Bastar provar que 0 ab fechado em relao operao :
D A 0 ab b D 0 aBb A 0 aCb D A 0 aBb 0 aCb D A 0 aBCb
BC
vii) Basta atender s implicaes seguintes, vlidas para todo o C 0 aBb 0 ab, e que
mostram ser 0 a+b elemento absorvente no grupide a0 ab b:
C 0 a+b 0 aBb 0 a+b 0 aB+b 0 a+b
0 a+b C 0 a+b 0 aBb 0 a+Bb 0 a+b
18 Escala logartmica: escala onde se marcam os logaritmos dos nmeros que nela esto assinalados.
54 Estruturas algbricas [Apndice B
Fig. B.10 Foto de uma rgua de clculo: para multiplicar # por $, justapem-se (i. e., somam-se) dois
segmentos medindo lna#b e lna$b, obtendo-se um segmento que mede lna#b lna$b lna'b.
respectivamente, para + !,
,
a+ ,b" +" em a# b
+
;+!
,
aB +B ,b" B +" B em a b
+
19 Este grupo abeliano chamado Grupo da Adio de Velocidades da Teoria da Relatividade de Albert Einstein
(Ulm 1879 Princeton 1955), por ser esta a forma como se adicionam duas velocidades - ? @ -
naquela teoria e por oposio mecnica clssica de Isaac Newton (Woolsthorpe 1642 Kensington 1727) na
qual as velocidades se adicionam normalmente, segundo o grupo abeliano a b. A Lei de Adio de
56 Estruturas algbricas [Apndice B
por
0 a?b - tanha?b
c
f
I 0
f
-c
-3 -2 -1 0 1 2 3
R
Fig. B.11 Grfico da funo ? -tanha?b.
Temos, pela frmula da adio para a funo tanh (ver seco C.9 do apndice C, pg. 59):
tanha?b tanha@b -tanha?b -tanha@b
0 a? @b -tanha? @b -
" tanha?btanha@b -tanha?b-tanha@b
"
-#
0 a?b 0 a@b
0 a?b0 a@b
0 a?b 0 a@b
" -#
Velocidades de Einstein :
?@
?@ ? @ a- - b, onde - a velocidade da luz no vcuo ( 299.792.458 ms" ).
" ?@
-#
Sec. B.10] Homomorfismos e isomorfismos 57
?@
?@
"
" -# " ?@
-#
Pa? @b # #
" ? @
" ?-# " @-# "
" ?@-# -#
?@
" # a? @b
" -
# # ?@ ?@
? @
" -# " -# # " #
- -
" " ? " " @
?
" ?# " @#
@ "
-#
-# " -#
-#
Pa?bPa@b
20 Lorentz, Hendrik Antoon: fsico holands (Arnhem 1853 Haarlem 1928) detentor do prmio Nobel da Fsica
de 1902 e cuja obra foi precursora do desenvolvimento da Teoria da Relatividade por Einstein, tendo
leccionado na Universidade holandesa de Leiden.
21 De Morgan, Augustus: matemtico ingls (Madura, ndia 1806 Londres 1871). Introduziu as leis de De
Morgan e foi, juntamente com George Boole, um dos reformadores da lgica matemtica.
58 Estruturas algbricas [Apndice B
! !B
!B a! !bB !B !B
! !B
aB.41.1b
! B!
B! Ba! !b B! B!
! B!
Sec. B.11] Anis, anis de integridade e corpos 59
Em resumo,
aBCb aBbC BaCb
aB.42b
aBbaCb BC
Num anel, a distributividade d-nos a frmula usual para o produto de duas somas (ateno
ordem dos factores, se o anel no for comutativo!):
aB CbaD Ab BD BA CD CA
8"
ii) aB Cb8 B8 ! 85 B85 C5 C8 8 (Binmio de Newton)a22b aB.46.1b
5"
Demonstrao:
i) Por induo no expoente 8:
Para 8 ", o resultado imediato, visto que B e C so permutveis.
Supondo que C8 B BC8 , teremos para 8 ":
C8" B aC8 CbB C8 aCBb C8 aBCb aC8 BbC aBC8 bC BaC8 Cb BC8"
aB Cb" B C
B" C" B C
claro que, em particular, a frmula do binmio de Newton ser vlida para quaisquer B e C
num anel comutativo. Se o anel a b tiver unidade ", ento e de acordo com a segunda
igualdade aB.21.2b, temos B! " e a frmula do binmio de Newton pode estender-se ao
22 Newton, Sir Isaac: fsico, matemtico e astrnomo ingls (Woolsthorpe 1642 Kensington 1727).
Sec. B.11] Anis, anis de integridade e corpos 61
Recorda-se aqui o tringulo de Pascal, que mais no do que uma tabela de valores dos
coeficientes binomiais 85 , para ! 5 8 e 8 ! :
5
! " # $ % & '
! "
" " "
# " # "
8 $ " $ $ "
% " % ' % "
& " & "! "! & "
' " ' "& #! "& ' "
8" 8 8
Fig. B.12 - Tringulo de Pascal: Tem-se 5 5" 5 , para " 5 8.
Se todos os elementos do anel, excepto !, forem regulares para a multiplicao, diz-se que
estamos perante um anel de integridade:
Exemplo B.73 O conjunto dos inteiros relativos, com a adio e multiplicao de inteiros
constitui um anel comutativo com unidade, e as translaes B +B so injectivas se + !.
Portanto, trata-se de um anel de integridade.
Exemplo B.74 Para todo o : inteiro maior ou igual a #, o conjunto : e! " # : "f
dos inteiros mdulo :, munido das operaes e definidas por
B C aB Cb mod :
B C aBCb mod :
um anel comutativo com unidade chamado anel dos inteiros mdulo :. Se : for primo, estes
anis so anis de integridade. Por exemplo, para : & (ver exemplo B.8) tem-se
! " # $ % ! " # $ %
! ! " # $ % ! ! ! ! ! !
" " # $ % ! " ! " # $ %
# # $ % ! " # ! # % " $
$ $ % ! " # $ ! $ " % #
% % ! " # $ % ! % $ # "
Exemplo B.75 O conjunto Pab dos polinmios de coeficientes reais e qualquer grau !,
munido da adio e multiplicao usual de polinmios um anel comutativo com unidade, onde
o zero o polinmio nulo :aBb ! e cuja unidade o polinmio constante :aBb ". Trata-se
ainda de um anel de integridade, porque :aBb; aBb ! implica :aBb ! ou ; aBb !, isto ,
no existem divisores de !.
Sec. B.11] Anis, anis de integridade e corpos 63
Exemplo B.76 Consideremos o conjunto ! das sucesses de nmeros reais quase todos
nulos (todos os termos so nulos, excepto um nmero finito), munido das leis de composio
interna definidas para quaisquer sucesses +5 e ,5 por:
a+ ,b5 +5 ,5 5 !
5
a+,b5 " +3 ,53 +! ,5 +" ,5" +5" ," +5 ,! 5 !
3!
Com as duas operaes anteriores, ! um anel comutativo com unidade, cujo zero a
sucesso nula a! ! ! b, cuja unidade a sucesso a" ! ! b e onde a+! +" +# b
o simtrico de a+! +" +# b. Estamos, de novo, em presena de um anel de integridade e
que isomorfo do anel de integridade Pab do exemplo anterior, porque a aplicao
_
a+! +" +# b :aBb ! +5 B5 um isomorfismo destas duas estruturas.
5!
" #
Porm, a matriz S# um divisor de S# , visto que
# %
" # ' # ! !
# % $ S#
" ! !
o que significa que E regular esquerda; de modo idntico se provaria a regularidade direita.
Se E S# , E no invertvel nem regular. Se E S# no invertvel, ento ser
caEb # e o sistema homogneo E\ S tem soluo no nula \" ; sendo \# outra qualquer
soluo do referido sistema, consideremos a matriz \ c \" \# d S# . Para esta matriz,
teremos
E\ Ec \" \# d c E\" E\# d c S S d S#
Quanto ao elemento inverso, note-se que a matriz nula S# no invertvel e que existem
+ ,
outras matrizes nesta situao para alm desta: sero no invertveis todas as matrizes
- .
" #
tais que +. ,- !, por exemplo . Para as matrizes invertveis, tem-se
# %
"
+ , " . ,
- +. ,- !
. +. ,-
- +
Exemplo B.78 O conjunto # dos pares ordenados de inteiros relativos, dotado da adio e
multiplicao definidas por
a+ ,b a- . b a+ - , . b
a+ ,ba- . b a+- ,. +. ,-b
um anel comutativo com unidade, no qual o zero a! !b, a unidade a" !b e onde o
simtrico de a+ ,b a+ ,b.
Trata-se dum anel de integridade: para o verificarmos, basta mostrar que a+ ,ba- . b a! !b
implica a+ ,b a! !b ou a- . b a! !b, o que equivale a
a+ ,ba- . b a! !b a- . b a! !b a+ ,b a! !b
Exemplo B.79 O conjunto # , munido das leis de composio interna definidas por
a+ ,b a- . b a+ - , . b
a+ ,b a- . b a+- #,. +. ,-b,
um anel comutativo com unidade, cujo zero a! !b e cuja unidade a" !b e onde o simtrico
de a+ ,b a+ ,b. Este anel tambm um anel de integridade, como passaremos a mostrar:
tal como no exemplo anterior, bastar mostrar que a+ ,b a- . b a! !b implica
Sec. B.11] Anis, anis de integridade e corpos 65
um anel comutativo com unidade, cujo zero a! !b e cuja unidade a" !b e onde o simtrico
de a+ ,b a+ ,b. Este tambm um anel de integridade, o que se prova de forma
semelhante que foi utilizada no exemplo anterior.
Em qualquer anel, todo o + tem simtrico e, portanto, valem as leis do corte aditivas,
para quaisquer + B C :
+B+C+ B+CBC
B+ C+ B+
C+
BC
aB.48b
+BC+ +BC+BC
B+ +CB++CBC
Um anel com unidade " !, onde todos os elementos so invertveis para a multiplicao
(com excepo de !, o qual sempre singular em qualquer anel, por ser elemento absorvente:
!B B! !) contitui a estrutura a que chamaremos um corpo:
Definio B.22 Corpo e corpo comutativo Chama-se Corpo (ou Anel de diviso)
estrutura a b formada por um conjunto suporte , munido de duas leis de composio
interna:
aB Cb B C e aB Cb BC,
a25b
Se a multiplicao comutativa, o corpo diz-se tambm comutativo e, neste caso,
podemos substituir os axiomas [M] e [AM] por:
[Mw 1] a aBCbD BaCD b (associatividade da multiplicao)
BCD
A definio anterior de corpo pode ser enunciada dizendo que um corpo a estrutura
a b tal que a b um grupo abeliano, a b um grupo e a multiplicao
distributiva esquerda e direita em relao adio ou ainda que se trata de um anel no
reduzido a e!f, com unidade, no qual todos os elementos excepo de ! so invertveis (Anel
de diviso).
Observamos ainda que os axiomas [M1] e [M2] se estendem evidentemente ao !, visto que
este absorvente:
[Mww 1] a aBCbD BaCD b (associatividade)
BCD
Exemplo B.81 O conjunto dos inteiros relativos, com a adio e multiplicao de inteiros
forma um anel de integridade, mas no um corpo, porque a b no um grupo, visto que
apenas " e " tm inverso (que so eles prprios).
so anis comutativos com unidade chamados anis dos inteiros mdulo :. Pode provar-se que
para : primo, estes anis so corpos finitos, o que acontece por exemplo com o corpo & do
exemplo B.8. Reproduzem-se aqui as tabelas desse exemplo
68 Estruturas algbricas [Apndice B
! " # $ % ! " # $ %
! ! " # $ % ! ! ! ! ! !
" " # $ % ! " ! " # $ %
# # $ % ! " # ! # % " $
$ $ % ! " # $ ! $ " % #
% % ! " # $ % ! % $ # "
Exemplo B.83 O conjunto Pab dos polinmios de coeficientes reais e qualquer grau !,
munido da adio e multiplicao usual de polinmios um anel de integridade, onde o zero o
polinmio nulo :aBb ! e cuja unidade o polinmio constante :aBb ". Porm, este anel de
integridade no um corpo comutativo, visto que os nicos elementos invertveis so os
polinmios no nulos de grau !.
Exemplo B.84 Consideremos o conjunto ! das sucesses de nmeros reais quase todos
nulos (todos os termos so nulos, excepto um nmero finito), munido das leis de composio
interna definidas para quaisquer sucesses +5 e ,5 por:
a+ ,b5 +5 ,5 5 !
5
a+,b5 " +3 ,53 +! ,5 +" ,5" +5" ," +5 ,! 5 !
3!
Com as duas operaes anteriores ! um anel de integridade, cujo zero a sucesso nula
a! ! ! b, cuja unidade a sucesso a" ! ! b e onde a+! +" +# b o simtrico
de a+! +" +# b. Porm, este anel de integridade no um corpo comutativo, porque s so
regulares os elementos a+! ! ! b com +! ! sendo
"
a+! ! ! b" ! !
+!
Exemplo B.85 Vimos no exemplo B.77 que o conjunto ## das matrizes reais de 2 ordem,
munido da adio e da multiplicao matriciais, constitui um anel no comutativo com unidade
mas no um anel de integridade; o zero deste anel a matriz nula de 2 ordem S# e a unidade
a matriz identidade de 2 ordem M# ; todas as matrizes tm simtrico, tendo-se como bvio:
+ , + ,
- . - .
Exemplo B.86 O conjunto # dos pares ordenados de inteiros relativos, dotado da adio e
multiplicao definidas por
a+ ,b a- . b a+ - , . b
a+ ,ba- . b a+- ,. +. ,-b
um anel de integridade (ver exemplo B.78), no qual o zero a! !b, a unidade a" !b e onde
o simtrico de a+ ,b a+ ,b. Mas este anel no um corpo, porque apenas so invertveis
os elementos a " !b, e a! "b para os quais
a " !b" a " !b
a! "b" a! "b
Exemplo B.87 O conjunto # dos pares ordenados de inteiros relativos do exemplo B.79,
dotado da adio e multiplicao definidas por
a+ ,b a- . b a+ - , . b
a+ ,ba- . b a+- #,. +. ,-b
Exemplo B.88 Vimos j que o conjunto # do exemplo B.80, munido das leis de composio
interna definidas por
a+ ,b a- . b a+ - , . b
a+ ,b a- . b a+- #,. +. ,-b,
um anel de integridade, cujo zero a! !b e cuja unidade a" !b. Porm, neste anel todos os
elementos, excepo de a! !b, tm inverso, tendo-se
+ ,
a+ ,b" # a+ ,b a! !b
+# #,# + #,#
B!B
ii) (existncia de elementos neutros) aB.54b
B"B
26 Hamilton, sir William Rowan: matemtico irlands (Dublin 1805 Dunsink 1865).
27 Convencionaremos que o operador unrio c (complemento) tem prioridade sobre ambos os operadores
binrios. tambm usual considerar que a operao tem prioridade sobre .
Sec. B.12] Anis e lgebras de Boole 71
B aC D b aB Cb aB D b
iii) (distributividades esquerda) aB.55b
B aC D b aB Cb aB D b
B cB "
iv) (existncia de complemento) aB.56b
B cB !
Demonstrao:
i) consequncia das comutatividades da adio e da multiplicao:
B C B C BC C B CB C B
B C BC CB C B
ii) imediato:
B ! B ! B! B ! ! B
B " B" B
B aC D b aB Cb aB D b
[B3] (distributividades esquerda)
B aC D b aB Cb aB D b
[B4] Para cada B , existe um elemento cB tal que:
B cB "
(existncia de complemento)
B cB !
A proposio B.11 mostra que de todo o anel de Boole se pode obter uma lgebra de Boole
atravs das definies [AB1], [AB2] e [AB3].
Reciprocamente, pode o leitor provar a ttulo de exerccio que, dada uma lgebra de Boole
a c ! "b, podemos obter um anel de Boole a b, pondo:
[AB1w ] B C aB cCb aC cBb
[AB2w ] B C B C
O isomorfismo destas duas lgebras de Boole est na base da implementao usual das
operaes com conjuntos nos compiladores, em que cada subconjunto E de um determinado
universo finito Y com 8 elementos concebido como a funo ;aEb Y , ou seja, E
concebido como um mapa de 8 bits em que 8 o cardinal do universo Y : por exemplo, se o
universo Y e os subconjuntos E e F forem
Y e" # $ % & ' ( )f E e" % ' )f Y F e" $ ' (f Y ,
os conjuntos E e F sero representados pelos seguintes mapas de ) bits cada um, onde se
74 Estruturas algbricas [Apndice B
Obtm-se uma lgebra de Boole, na qual o zero 1 e a unidade $!. As operaes podem
tambm expressar-se pelas tabelas seguintes:
" # $ & ' "! "& $! " # $ & ' "! "& $!
" " # $ & ' "! "& $! " " " " " " " " "
# # # ' "! ' "! $! $! # " # " " # # " #
$ $ ' $ "& ' $! "& $! $ " " $ " $ " $ $
& & "! "& & $! "! "& $! & " " " & " & & &
' ' ' ' $! ' $! $! $! ' " # $ " ' # $ '
"! "! "! $! "! $! "! $! $! "! " # " & # "! & "!
"& "& $! "& "& $! $! "& $! "& " " $ & $ & "& "&
$! $! $! $! $! $! $! $! $! $! " # $ & ' "! "& $!
aB Cb D aB D b aC D b
ii) (distributividades direita)
aB Cb D aB D b aC D b
BBB
iii) (idempotncia)
BBB
B""
iv) (elementos absorventes)
B!!
B aB Cb B
v) (absoro)
B aB Cb B
aB Cb D B aC D b
vi) (associatividade)
aB Cb D B aC D b
c! "
viii) (! e " so complementares entre si)
c" !
caB Cb cB cC
x) (leis de De Morgan)
caB Cb cB cC
Demonstrao:
i) Este princpio resulta da prpria dualidade dos axiomas [B1] a [B4]. Nas alneas
seguintes apresentam-se sempre duas expresses duais, pelo que basta provar uma delas. Por
cima de cada igualdade, encontra-se o axioma ou propriedade anteriormente demonstrada que a
justifica (H significa por hiptese):
B1 B3 B1
ii) aB Cb D D aB Cb aD Bb aD Cb aB D b aC D b
B2 B4 B3 B4 B2
iii) B B aB Bb " aB Bb aB cBb B aB cBb B ! B
B2 B4 B3 B2 B4
iv) B " aB "b " aB "b aB cBb B a" cBb B cB "
B2 B3 B1 iv B2
v) B aB Cb aB "b aB Cb B a" Cb B aC "b B " B
vi) Faamos + aB Cb D e , B aC D b e mostremos que + ,.
76 Estruturas algbricas [Apndice B
B1H
vii) Bw Bw ! Bw aB Bww b aBw Bb aBw Bww b " aBw Bww b Bw Bww
B2 H B3 B2
B1H
Bww Bww ! Bww aB Bw b aBww Bb aBww Bw b " aBww Bw b Bww Bw
B2 H B3 B2
B1
Daqui se segue que Bw Bw Bww Bww Bw Bww .
viii) Por [B2], tem-se " ! " e ! " !, mas [B1] permite escrever ! " 1 e
! " !.
Atendendo a estas igualdades, a alnea anterior assegura que " c! Por dualidade, obtm-
se tambm ! c".
x) Pela unicidade do complemento, para provar que caB Cb cB cC, bastar mostrar
que
aB Cb acB cCb "
aB Cb acB cCb !
Vamos agora ver que sempre possvel definir uma relao de ordem parcial em qualquer
lgebra de Boole:
o que equivale a:
minab ! e maxab " aB.62b
Demonstrao:
i) Teremos que mostrar que a relao definida por aB.60b reflexiva, anti-simtrica e
transitiva (ver definio A.6 do apndice A):
Reflexividade:
A idempotncia da operao assegura que B B B, o que significa que B B.
Anti-simetria:
Por aB.60b, as relaes B C e C B asseguram que B C B e C B C e a
comutatividade da operao d imediatamente B C C B, ou seja B C, como se
pretendia.
Transitividade:
As relaes B C e C D equivalem, por aB.60b, a B C B e C D C. Operando ambos
os membros destas igualdades respectivamente por D e por B, obtemos
BCD BD eBCD BC
Exemplo B.96 A relao definida por aB.60b no conjunto e! "f do exemplo B.90
composta pelos pares ! ! " " e ! ".
C
Nmeros complexos
Sec. C.2] Construo do corpo dos complexos 3
C.1 Introduo
Neste apndice, estudamos o corpo dos nmeros complexos. Originalmente introduzidos
como smbolos puramente formais destinados a dar conta das propriedades das equaes
algbricas, os nmeros complexos tornaram-se de uso corrente no sc. XVIII, embora apenas no
decorrer do sc. XIX tenham sido definidos e utilizados correctamente pelos matemticos.
Quando numerosos matemticos (de entre os quais Vitea1b ) hesitavam ainda em usar os
nmeros negativos, os algebristas italianos do sc. XVI, Cardanoa2b e os seus pupilos,
empenharam-se em introduzir nos seus clculos smbolos puramente formais B B !,
representando o resultado impossvel da extraco da raz quadrada do nmero negativo B;
eles descreveram detalhadamente as regras de clculo permitindo manipular estes novos
nmeros, a que chamavam nmeros impossveis.
Inicialmente, tratava-se to somente de dar razes a todas as equaes do segundo grau; os
resultados obtidos no estudo da equao do terceiro grau iriam familiarizar os matemticos com
os novos smbolos e evidenciar o seu papel como intermedirios cmodos de clculo em
numerosos casos. Atravs da frmula dita de Cardano, Bombellia3b mostrou em 1572, que a raz
B % da equao B$ "&B % pode escrever-se na forma
# "#" # "#" %
$ $
(ver exemplo C.20 na seco C.16 do presente apndice) o que pe em evidncia que certas
quantidades reais podem ser representadas por expresses aparentemente imaginrias. Assim, a
frmula de Cardano permite representar razes reais da equao do terceiro grau por intermdio
de operaes efectuadas sobre nmeros impossveis ou imaginrios. Os nmeros imaginrios
fornecem, portanto, mtodos de clculo de natureza certamente nebulosa, mas permitindo obter
resultados verdadeiros.
Por esta razo, sobretudo emprica, os matemticos continuaram a utilizar com crescente
confiana os nmeros imaginrios a partir do sc. XVII. Desde 1629 que Girarda4b suspeitava
que toda a equao de grau 8 teria 8 razes reais ou imaginrias, levando convico de que os
nmeros complexos constituiam o quadro natural para a teoria das equaes algbricas. No fim
do sc. XVIII, os complexos so de uso corrente, mas a sua existncia matemtica no havia
ainda sido estabelecida. Foi aos matemticos do sc. XIX que caberia construir os complexos a
partir dos reais, dando-lhes assim uma realidade matemtica: esta construo que levaremos
a cabo nos pargrafos que se seguem.
1 Vite, Franois: advogado e matemtico francs (Fontenay-le-Comte 1540 Paris 1603), autor de alguns dos
mais antigos trabalhos ocidentais sobre lgebra.
2 Cardano, Girolamo: mdico, astrlogo, poeta e matemtico italiano (Pavia 1501 Roma 1576).
3 Bombelli, Raffael: matemtico italiano (Bolonha 1526 Roma 1572) autor da importante obra L'Algebra e
que apresentou regras para a resoluo das equaes do 3 e 4 graus, bem como para a equao biquadrada e
que foi dos primeiros a aceitar os nmeros complexos como razes dessas equaes.
4 Girard, Albert: matemtico francs (St Mihiel 1595 Leiden 1632).
4 Nmeros complexos [Apndice C
Definiremos a adio e o produto de nmeros complexos, com base nas operaes existentes
em e pondo, para quaisquer complexos D aB Cb e D w aBw Cw b,
[A] D D w aB Bw C Cw b
[P] DD w aBBw CCw BCw CBw b
Munido das operaes anteriores, o conjunto # constitui um corpo, chamado corpo dos
numeros complexos e que designaremos por a b Na proposio seguinte, provamos
esta afirmao:
Demonstrao:
Quanto adio, basta observar que ela coincide com a adio do espao vectorial
cartesiano # e, portanto, a# b um grupo abeliano, sendo a! !b o elemento neutro da
adio e aB Cb aB Cb o simtrico de aB Cb:
aB Cb a! !b a! !b aB Cb aB Cb aC.1b
aB Cb aB Cb aB Cb aB Cb a! !b aC.2b
+
Sendo a+ ,b a! !b ter-se- +# ,# !, donde B +# ,# . Identicamente e eliminando B
no sistema anterior, obtm-se C +#,
,# . Portanto,
+ ,
D " a+ ,b" # aC.4b
+# ,# + ,#
o que mostra que todos os complexos, excepo de a! !b so regulares (inversveis). O
inverso de D tambm designado por "D .
5 Distributividade da multiplicao em relao adio esquerda (e, em virtude da
comutatividade do produto [P], tambm direita):
Para quaisquer complexos D aB Cb D w aBw Cw b e D ww aBww Cww b, temos:
D aD w D ww b aB CbaBw Bww Cw Cww b
aBaBw Bww b CaCw Cww b BaCw Cww b CaBw Bww bb
aaBBw CCw b aBBww CCww b aBCw CBw b aBCww CBww bb
aBBw CCw BCw CBw b aBBww CCww BCww CBww b
aB CbaBw Cw b aB CbaBww Cww b DD w DD ww
5 Argand, Jean Robert: matemtico suo (Genebra 1768 Paris 1822) que foi um dos matemticos a conceber
os complexos como pontos dum plano, embora a ideia j tivesse sido sugerida em 1797 por Caspar Wessel
(Vestby 1745 Copenhaga 1818) e se encontrasse tambm nos trabalhos de John Wallis (Ashford 1616
Oxford 1703).
6 Nmeros complexos [Apndice C
iR
iy x+iy
1 x R
Fig. C.1 Interpretao geomtrica dos nmeros complexos.
Deste modo, a equao B# " !, que no tinha soluo em , tem agora as solues 3.
O conjunto e!f ser designado por .
x R
_
-iy x-iy
Estas igualdades mostram que se podem caracterizar os nmeros reais e os imaginrios puros
em termos do operador conjugao do modo seguinte:
D e aD b ! D D
aC.17b
D 3 daD b ! D D
A primeira das igualdades anteriores mostra que os nmeros reais so os pontos fixos da
aplicao D D e facilmente se conclui tambm que
daD b e a3D b
aC.18b
e aD b da3D b da3D b
A 3 das equaes aC.15b evidencia o facto de que D D um nmero real positivo e que
representa o quadrado da distncia da imagem ^ de D origem S do referencial no plano de
Argand (o comprimento do segmento orientado S^ na figura C.1). Chamamos mdulo de D ao
nmero real no negativo
kD k D D B# C# aC.19b
D C ! kD k B# !# B# kBk
i) D D kD k#
ii) kD k ! e kD k ! D !
" D B C
iii) Se D !, ento # # #
3 #
D kD k B C B C#
v) kD D w k kD k kD w k
Sec. C.3] Forma algbrica de um complexo. Conjugado e mdulo 9
vi) kD k kD k
kD k kD k
" "
Se D !, ento
D kD k
D kD k
vii) , onde D w !
Dw kD w k
Demonstrao:
i) Resulta imediatamente da igualdade aC19b
ii) A desigualdade kD k ! resulta de aC19b; por outro lado, se for D B 3C !, teremos
B ! ou C ! e em ambos os casos ser B# C# !, donde kD k !.
iv) Temos
! C# B# B# C# B kBk B# C# daD b kdaD bk kD k
! B# C# B# C# C kCk B# C# e aD b ke aD bk kD k
v) Resulta de ser
# # #
kD D w k aD D w baD D w b aD D w bD D w aD D bD w D w kD k# kD w k akD k kD w kb
"
Por ltimo, sendo D ! e fazendo D w D em kD D w k kD k kD w k, temos
" " " "
kD k D k"k "
D D D kD k
7 Num tringulo, qualquer lado maior do que a diferena dos outros dois.
8 Num paralelogramo, a soma dos quadrados das diagonais igual soma dos quadrados dos lados.
10 Nmeros complexos [Apndice C
Como vimos na introduo, os complexos apareceram muito cedo como o domnio natural
para a teoria das equaes algbricas: toda a equao algbrica pode ser resolvida em . Mais
precisamente, o resultado fundamental o seguinte (Teorema fundamental da lgebra, que no
provaremos).
Proposio C.3. Teorema fundamental da lgebra Se : for um polinmio de grau
8 com coeficientes complexos, existem 8 nmeros complexos D" D# D8 no
necessariamente distintos, tais que
:aD b +aD D" baD D# baD D8 b aC20b
onde + o coeficiente do termo de grau 8 do polinmio :.
Portanto, qualquer polinmio : de coeficientes complexos e grau 8 " tem pelo menos uma
raz no corpo e, no mximo, 8 razes distintas; pelo contrrio, um polinmio de coeficientes
Sec. C.4] Argumentos de um complexo. Formas trigonomtrica e exponencial 11
reais pode no ter qualquer raz em (:aBb B# " um caso evidente!), mas t-las-
seguramente em .
iR
i
C1
iv w
r
0 R
u 1
Vejamos, agora, a
Proposio C.4. Argumentos de um complexo unitrio Se A ? 3@ " um
complexo unitrio, ento existe uma infinidade (numervel) de reais )5 tais que
A cosa)5 b 3sina)5 b aC22b
Os reais )5 so dados por
)5 )! #5 1 5 aC23b
Demonstrao:
Como A " , tem-se A ? 3@, com ?# @# ". Trata-se de determinar as solues )
reais do sistema de equaes
cosa)b ?
sina)b @ a1 b
Como as funes sin e cos so peridicas de perodo #1, bvio que, se o sistema tiver uma
soluo )! , ter tambm as solues )5 )! #5 1, onde 5 . Por outro lado, no existiro
outras solues, pois se ) for qualquer outra soluo do sistema, ento
cosa) )! b cosa)bcosa)! b sina)bsina)! b ?# @# "
e de cosa) )! b " resulta que ) )! #5 1, com 5 , ou seja, ) )! #5 1.
Mostremos, agora, que o real )! dado por aC.24b uma soluo particular do sistema:
Como a funo cos par, temos
cosa)! b cosasgna@b arccosa?bb cosaarccosa?bb ?
A expresso cos) 3sin) do 2 membro, tambm designada por cisa)b, expa3)b ou /3) ; o
smbolo cis designa, portanto, uma funo de sobre "
cis " ) cosa)b 3sina)b aC.25b
Demonstrao:
imediato que #1 o perodo da funo cis, visto que as funes componentes sin e cos tm
esse mesmo perodo: para qualquer real ), vem
cisa) #1b cosa) #1b 3sina) #1b cosa)b 3sina)b cisa)b
A proposio C.4 mostra que " o contradomnio de cis e, portanto, cis uma funo
sobre " . Atendendo s frmulas da adio para as funes sin e cos e a [P1], temos
cisa) )w b cosa) )w b 3sina) )w b
acosa)bcosa)w b sina)bsina)w bb 3acosa)bsina)w b sina)bcosa)w bb
acosa)b 3sina)bbacosa)w b 3sina)w bb cisa)b cisa)w b
A igualdade
/3) cosa)b 3sina)b aC.26.1b
chamada igualdade ou identidade de Eulera10b . claro que k/3) k kcisa)bk "; por outro
lado, a igualdade aC.27b tem as seguintes implicaes imediatas
cisa!b cisa#5 1b " 5
"
cisa)b cisa)b
cisa)b aC.28b
cisa)b
cisa) )w b
cisa)w b
D
Se for agora D B 3C um complexo no nulo, o complexo A kDk unitrio e,
atendendo proposio C.4, teremos designando por < ! o mdulo de D ,
D
cosa)b 3sina)b cisa)b
<
em que ) qualquer dos argumentos de A D< . A igualdade anterior implica
D <acosa)b 3sina)bb <cisa)b, onde D aC.29b
11 Esta designao provm do facto de se estar a definir a imagem ^ do complexo D no plano de Argand, atravs
das suas coordenadas polares a< )b.
Sec. C.5] Argumentos de um complexo. Formas trigonomtrica e exponencial 15
De acordo com aC.27b e aC.28b, as operaes com complexos D <cisa)b D w <w cisa)w b na
forma trigonomtrica e exponencial fazem-se, respectivamente, de acordo com
DD w <cisa)b <w cisa)w b <<w cisa) )w b w w
DD w </3) <w /3) <<w /3a)) b
D <cisa)b <cisa)b D </3) </3)
" " " " " "
D " cisa)b D " 3) /3) aC.33b
D <cisa)b < D </ <
D <cisa)b < D </ 3)
<
cisa) )w b
w
w 3)w w /3a)) b
Dw <w cisa)w b <w D w </ <
Z Z
_
Z Z
Z Z
O R O R
Para a adio sucessiva pode usar-se uma construo geomtrica (a que poderamos chamar
regra do polgono) em que se aplica cada vector na extremidade do anterior: a extremidade do
ltimo vector a extremidade da soma. A figura C.5 ilustra o procedimento referido para o caso
de quatro complexos D" D# D$ e D% .
iR
Z 1+ Z 2+ Z3+ Z4
Z3
Z4
Z2
O R
Z1
iR iR
ZZ Z
r r r
Z Z /Z
r /r
r Z Z
r r
O 1 R O 1 R
Fig. C.6 Interpretao geomtrica da multiplicao ( esquerda) e da diviso em ( direita).
Por fim, a figura que se segue ilustra a interpretao geomtrica da inverso de um complexo
D ! e corresponde construo que figura na imagem anterior direita, mas considerando a
que D w ".
iR
O 1 R
1/r
1/Z
Alm das propriedades anteriores, d satisfaz ainda as propriedades adicionais seguintes, para
quaisquer complexos + ? e @:
da+? +@b k+k da? @b (homogeneidade)
da+ ? + @b da? @b (invarincia por translao)
Dada a interpretao geomtrica do conjunto , natural que os complexos constituam uma
ferramenta de excelncia para o estudo da geometria plana. Os exemplos que de seguida se
apresentam ilustram algumas aplicaes dos complexos geometria analtica plana.
Exemplo C.1. Sejam E e F dois pontos distintos no plano de Argand e + e , os seus afixos
(ver figura C.8). A mediatriz do segmento de extremos E e F o lugar geomtrico dos pontos
^ equidistantes de E e F ; portanto, os afixos D desses pontos satisfazem a equao
kD +k# kD ,k# + ,
o que equivalente a
aD +bD + aD ,bD ,
e finalmente a
, +D , +D k+k# k,k# !
Observe que a recta passa pela origem se e s se k+k k,k (mas, claro est, + ,), o que
equivale a " !.
iR
O R
o que equivalente a
18 Nmeros complexos [Apndice C
aD -bD - <#
e finalmente a
DD -D -D -- <# !
na forma
DD 5D 5 D " ! " k5 k# aC.36b
Note que a circunferncia passa pela origem se e s se k-k <, o que equivale a " ! como
anteriormente. As equaes aC.35b e aC.36b podem ser reunidas numa nica, mediante a
introduo de um parmetro real ! o coeficiente de DD :
!DD 5D 5 D " ! !" k5 k# aC.37b
A razo pela qual supomos ! real para que o termo " na equao anterior continue a ser
real e para que os coeficientes dos termos em D e D permaneam complexos conjugados. A
equao aC.37b representa uma recta ou uma circunferncia conforme ! for ou no nulo; e essa
recta ou circunferncia passa ou no pela origem consoante o coeficiente " se anule ou no.
Na forma aC.37b e se ! !, o centro G da circunferncia representada por aquela equao
a imagem do complexo - 5! e o raio < "
k!k k5 k# !" .
Exemplo C.3. Sejam E e F dois pontos distintos do plano de Argand e + e , os seus afixos
(ver figura C.9). Analisemos o lugar geomtrico dos pontos ^ do plano tais que a razo entre as
distncias de ^ aos pontos E e F uma constante $ !. claro que, se a razo igual a ",
temos o caso j referido da mediatriz do segmento de extremos E e F. Os afixos D desses
pontos satisfazem, portanto, a equao
kD +k#
$ + ,
kD ,k#
o que equivalente a
aD +bD + $ # aD ,bD ,
e por fim a
" $ # DD $ # , +D $ # , +D k+k# $ # k,k# !
Sec. C.6] Os complexos e a geometria plana. Transformaes do plano 19
iR <1
Z
=1
Z
>1
C(1 / 3)
A
Z
=1 / 3
M =3
B
C(3)
O R
Fig. C.9 Lugar geomtrico dos pontos ^ tais que da^ Ebda^ F b $ , para $ e"$ " $f.
Tem-se
k5 k# !" $ # , +$ # , + " $ # k+k# $ # k,k# $ # k+ ,k# !
o que mostra que a equao anterior representa uma recta ou uma circunferncia conforme for
$ " ou $ e"f.
No caso da circunferncia obtida para um certo valor $ , o centro e o raio so
#
-a$ b " + $ ,
" $# " $#
$ e"f + , aC.38b
$
<a$ b k+ ,k
k" $ # k
A primeira das equaes aC.38b mostra que -a$ b combinao linear de + e , (por meio dos
escalares reais entre parntesis), o que significa que o centro de cada circunferncia se encontra
sobre a recta que passa por E e F . Por outro lado, a segunda equao aC.38b permite concluir
que os raios das circunferncias relativas aos valores $ e "$ so iguais
"$ $
<a"$ b # k+ ,k # k+ ,k <a$ b
" a"$ b k$ "k
e imaginrio. Nos exemplos que vamos apresentar, tratamos das mais correntes e simples das
transformaes referidas.
R
Fig. C.10 Homotetia de centro na origem e razo < $# (expanso).
Obviamente que 2" I e 2 "< 2<" . A homotetia afecta as dimenses das figuras planas. A
homotetia de centro - e razo < ! ser a transformao D - <aD -b.
Sec. C.6] Os complexos e a geometria plana. Transformaes do plano 21
z w=e z
u=e
Obviamente que 2" I e 2 ?" 2? 2?" . A rotao altera a orientao das figuras planas.
A rotao de centro em - e de ngulo ) ser a funo D - /3) aD -b.
traduz-se por uma rotao de centro na origem (associada a /3) ) seguida de uma homotetia de
centro S e razo < k+k (ou vice-versa). O mdulo de D multiplicado por k+k e ao argumento
de D somado o ngulo ). O conjunto destas transformaes constitui, com a composio, um
grupo comutativo isomorfo do grupo a b, isto , para quaisquer + , , temos:
0+, 0+ 0,
22 Nmeros complexos [Apndice C
Obviamente que 0" I e 0 "+ 0+" . Esta transformao afecta as dimenses e a orientao
das figuras planas. A funo D - +aD -b uma homotetia e rotao de centro - ,
razo k+k e de ngulo arga+b.
" "
A 0aD b aC.44b
D D
A inverso 0 constitui uma bijeco de sobre si prprio cuja bijeco inversa ser a funo
0 aAb "A 0aAb. Portanto, tem-se 0" 0 pelo que a inverso uma involuoa13b .
"
iR
i
U
_1 O 1 R
1/Z
_i
A figura seguinte, conseguida no MATHEMATICA (ver seco C.17), mostra a forma como
se transformam as rectas daD b - e e aD b -, para - entre & e & com incrementos de "#,
mediante a inverso geomtrica.
_
z w = 1/z
"
Para cada : , a funo D : D: uma inverso algbrica cujo plo :; e a funo
"
D : D: a inverso geomtrica de plo :.
14 Mbius, August Ferdinand: astrnomo e matemtico alemo (Schulpforta 1790 Leipzig 1868) conhecido
pelos seus trabalhos em geometria e topologia, disciplina na qual descreveu pela primeira vez a superfcie de
uma s face conhecida por banda de Mbius.
Sec. C.6] Os complexos e a geometria plana. Transformaes do plano 25
_
z = x+iy w = h(z) = (z+i)/(z 2)
_
z=re i w = h(z) = (z+i)/(z 2)
Exemplo C.11 Carta de Smith Este exemplo aborda a chamada Carta de Smith, que
um auxiliar grfico usado em engenharia de telecomunicaes e que se destina, alm de outros
fins, a obter o coeficiente de reflexo numa linha de transmisso devido desadaptao entre a
respectiva impedncia caracterstica e a impedncia de carga. Como comum em
telecomunicaes, usaremos aqui a letra 4 em vez de 3 para designar a unidade imaginria.
Sec. C.6] Os complexos e a geometria plana. Transformaes do plano 27
j t
L
j t
j t
Vemos, portanto, que > funo homogrfica no degenerada de D com plo em D " e
com > " como plo da funo inversa D >" a>b a" >ba" >b. Vamos comear por
mostrar que a imagem geomtrica de > est no crculo unitrio, para qualquer D tal que
< daD b !.
# # # # %
k>k# >> " " "
D" D" D " D " kD "k#
D"D" % DD
"# # # "#
kD "k kD "k kD "k#
%<
" " k>k "
kD "k#
Assim, o semi-plano < daD b ! transforma-se por > no crculo unitrio k>k ":
HD eD daD b !f >aHD b e> k>k " > "f
Multiplicando ambos os membros por k" >k# , das equaes anteriores obtm-se
a< "b>> <> <> a< "b ! <
!
aC.50b
B>> a B 4b> a B 4b> B ! B
De acordo com aC.37b e para qualquer < !, a primeira das equaes anteriores
representa uma circunferncia; os parmetros !, " e 5 presentes em aC.37b tm aqui os valores
! < " " < " 5 <
Sec. C.6] Os complexos e a geometria plana. Transformaes do plano 29
As circunferncias existem todas no crculo unitrio k>k ", encontrando-se os seus centros
no eixo real entre ! e " e variando os seus raios respectivamente de " at !; todas passam pelo
ponto > ".
A figura C.17, conseguida no MATHEMATICA (ver notebook na seco C.17), ilustra a
famlia de circunferncias definida pelas equaes anteriores, para alguns valores de <:
1
0
r=
0.5
r=
1
r=
r +:
2
r=
-1 1
0
-1
As circunferncias tm os seus centros na recta vertical da>b ", passando todas pelo ponto
> ". A figura C.18, realizada no MATHEMATICA (ver notebook na seco C.17), mostra a
famlia de circunferncias definida pelas equaes anteriores, para certos valores de B:
1
x=
x
=
0.
1
5
x=2
x +:
-1 x= 0 1
0
x -:
x =_2
5
_
0.
1
x= _
=
x
-1
A sobreposio das duas famlias de linhas anteriores constitui um diagrama a que se chama a
carta ou diagrama de Smitha15b que permite calcular o coeficiente de reflexo para um dado
valor D < 4B da impedncia normalizada procurando o ponto de interseco da
circunferncia relativa a < e da circunferncia (ou recta) relativa a B. A figura seguinte mostra a
sobreposio das duas imagens anteriores e na ltima pgina deste apndice mostramos uma
carta de Smith profissional. O interesse da carta de Smith hoje limitado, dado o recurso fcil a
computadores.
15 Smith, Philip: engenheiro da RCA citado como criador da carta de Smith, embora j antes o japons
Kurakawa tenha usado este mtodo grfico para evitar o clculo numrico com complexos.
Sec. C.7] Potenciao. Expoentes inteiro, racional e real 31
x=
r=
x
=
1
0.
5
x= 2
0.5
r=
1
r=
2
r=
-1 x=0 1
x =_ 2
5
_
0.
1
x=
x= _
-1
Fig. C.19 Sobreposio das figuras anteriores, mostrando uma carta de Smith,
iR Z3
Z2
r3
r2
Z
r
O 1 R
Fig. C.20 Interpretao geomtrica da potenciao com expoente natural.
A igualdade anterior prova que a frmula de Moivre aC.52b vlida para qualquer expoente
inteiro (positivo ou negativo)
8
D 8 </3) <8 /38) 8 D ! aC.52.1b
a8"b# 5 8 8#5"
3 " a"b acosBb asinBb#5"
5! #5 "
16 Moivre, Abraham de: matemtico ingls de origem francesa (Vitry-le-Franois 1667 Londres 1754).
Sec. C.7] Potenciao. Expoentes inteiro, racional e real 33
Exemplo C.13. Para qualquer B temos, atendendo s equaes aC16b e segunda das
equaes aC.33b,
cosB d/3B " /3B /3B " /3B /3B
# # aC.55b
" " 3B
sinB e / #3 / / #3 / /
3B 3B 3B 3B
Nos quatro exemplos seguintes, vamos considerar sucessivamente 8 par ou mpar para cada
uma das igualdades anteriores, observando que os somatrios nelas presentes constam de 8 "
parcelas:
Exemplo C.14. Para 8 #:, o somatrio tem um nmero mpar (#: ") de parcelas e a
primeira das igualdades aC.56b d-nos, associando as : primeiras parcelas, a parcela central e as
: ltimas parcelas:
#:
#: 3a#:#5bB
##: acosBb#: " /
5!
5
:" #:
#: 3#a:5bB #: #:
" / " /3#a:5bB
5!
5 : 5:"
5
:" :"
#: #: #:
" /3#a:5bB " /
3#a:5 bB
: 5!
5 5!
#:
5
#:
5
34 Nmeros complexos [Apndice C
:"
#: #:
/3#a:5bB /3#a:5bB
"
: 5!
5
#cosa#a:5 bBb
:"
#: #:
# " cosa#a: 5bBb
: 5!
5
Exemplo C.15. Para 8 #: ", o somatrio tem um nmero par (#:) de parcelas e a
primeira das igualdades aC.56b d-nos, separando as : primeiras das : ltimas parcelas no
somatrio:
#:"
#: " 3a#:#5"bB
##:" acosBb#:" " /
5!
5
:" #:"
#: " 3a#a:5b"bB #: " 3a#a:5b"bB
" / " /
5!
5 5:
5
:" :"
#: " 3a#a:5b"bB #: " 3a#a:5 b"bB
" / " /
5!
5 5!
#: "
5
#:"
5
:"
#: "
" /3a#a:5b"bB /3a#a:5b"bB
5!
5
#cosaa#a:5 b"bBb
:"
#: "
#" cosaa#a: 5b "bBb
5!
5
Exemplo C.16. Para 8 #:, o somatrio tem um nmero mpar (#: ") de parcelas e a
segunda das igualdades aC.56b d-nos, associando as : primeiras parcelas, a parcela central e as
: ltimas parcelas:
#: #:
#: 3a#:#5bB #:
##: 3#: asinBb#: " a"b5 / " a"b5 /3#a:5bB
5!
5 5!
5
:" #:
5 #: 3#a:5bB : #: 5 #:
" a"b / a"b " a"b /3#a:5bB
5!
5 : 5:"
5
Sec. C.7] Potenciao. Expoentes inteiro, racional e real 35
:" :"
#: : 5 #: #:5 #:
a"b " a"b /3#a:5bB "
a"b /
3#a:5 bB
: 5!
5 5!
#:
5
a"b5
#:
5
:"
#: #:
a"b " a"b5
: /3#a:5 bB
/3#a:5bB
: 5!
5
#cosa#a:5 bBb
:"
#: 5 #:
a"b: # " a"b cosa#a: 5bBb
: 5!
5
Dividindo ambos os membros por ##: 3#: a"b: ##: , chegamos igualdade:
:"
#: " #: a"b: #:
asinBb #: #:" " a"b5 cos#a: 5 bB aC.59b
# : # 5!
5
Exemplo C.17. Para 8 #: ", o somatrio tem um nmero par (#:) de parcelas e da
segunda das equaes aC.56b resulta, associando as : primeiras e as : ltimas parcelas:
#:" #:"
#:" #: " 3a#:"#5bB #: " 3a#a:5b"bB
##:" #:"
3 asinBb " a"b5 / " a"b5 /
5!
5 5!
5
:" #:"
#: " 3a#a:5b"bB
5 5 #: " 3a#a:5 b"bB
" a"b / " a"b /
5!
5 5:
5
:" :"
#: " 3a#a:5b"bB #: "
" a"b5 / a"b#:"5
" /
3a#a:5 b"bB
5!
5 5!
#: "
5
a"b5
#:"
5
:"
#: "
" a"b5 /3a#a:5b"bB /3a#a:5b"bB
5!
5
#3sinaa#a:5 b"bBb
:"
#: "
#3 " a"b5 sinaa#a: 5b "bBb
5!
5
Dividindo agora ambos os membros por ##:" 3#:" 3a"b:" ##:" , obtm-se finalmente a
igualdade:
:"
#:" a"b:" #: "
asinBb #:# " a"b5 sina#a: 5 b "bB aC.60b
# 5!
5
Daqui resulta
38 <
8: ) #5 1 5
"
As solues para o problema tm todas o mesmo mdulo 3 < 8 e argumentos :5 em
progresso aritmtica de razo #18
) #1
:5 5 5
8 8
e aparentam ser em nmero infinito, dado que o inteiro 5 arbitrrio. Porm, basta dar a 5
quaisquer 8 valores inteiros consecutivos, para se obterem todas as razes de ndice 8 de D , por
exemplo 5 E8 e! " 8 "f: de facto, se 5 e 5 w so dois inteiros de E8 , ento,
#1
k5 5 w k
k:5 :5 w k #1
8
8
-1 0 w0=1 -1 0 w0=1
x x
e -i4/5
- i2/5 e -i2 /3 e -i/3
-i e -i
Fig. C.21 Razes quintas e sextas da unidade.
A igualdade anterior significa que o polgono cujos vrtices so as imagens geomtricas das
razes de ndice 8 da unidade simtrico em relao ao eixo real (ver figura C.21).
A frmula de Moivre generalizada pode ser escrita em funo das razes de ndice 8 da
unidade da forma seguinte, com 5 : e! " 8 "f,
" "
=5 < 8 /3 8 a)#a5::b1b
" " #a5:b1 aC.65b
< 8 /3 8 a)#:1b /3 8 =: A5:
38 Nmeros complexos [Apndice C
Observe-se que, se 8 for par, as razes de ndice 8 de D so simtricas duas a duas: mais
precisamente, para qualquer 5 ! " 8# ", tem-se
=5 8# =5
#1
Efectivamente e quanto primeira igualdade, temos, observando que A" /3 8 " (por
ser 8 #) e que A8" /3#1 ",
!
8" 8" 8"
A8 "
"=5 "=! A5" =! "A5" =! " !
5! 5! 5!
A" "
Sec. C.7] Potenciao. Expoentes inteiro, racional e real 39
8"
Por outro lado, para qualquer 8 " e atendendo a que A" /3 8 e ! 5 "# a8 "b8,
#1
5!
teremos para o produto das 8 razes a=5 b!58" de D :
8"
8" 8" 8" ! 5
$=5 $=! A5" =8! $A"5 DA" 5!
5! 5! 5!
"
" # a8"b8
# a8"b8 3 #81
DA" D / D/3a8"b1
8"
D /31 a"b8" D
2xy = 1
1 1
S0
O 0
y 0
S1
-1 -1
_
x2 y2= 1
-2 -2
-2 -1 0 1 2
x
Fig. C.22 As imagens das razes quadradas de D ? 3@ so os pontos W! e W"
B# C# ?# @#
Somando e subtraindo membro a membro esta equao com a primeira equao do sistema,
podemos obter
" "
B# ? ?# @# B ? ?# @#
# #
" "
C# ? ?# @# C ? ?# @#
# #
Porm, a segunda equao do sistema mostra-nos que o produto BC dever ter o sinal de @;
ento, para cada uma das solues para B, dever ter-se
sgnaCb sgna@bsgnaBb sgna@b
Portanto, existem duas solues (simtricas) para o problema da raz quadrada, dadas por
" "
= B 3C ? ?# @# 3 sgna@b ? ?# @# aC.66b
# #
forem primos entre si (mdca7 8b "), ento existem 8 determinaes. Na prtica, o melhor
ser levar previamente a fraco 78 forma irredutvel 7w 8w , dividindo ambos os termos da
fraco pelo mdca7 8b (por exemplo, %' #$). Poderemos, portanto, dizer que h
7
8w 8mdca7 8b determinaes >5 de D 8 , obtidas por
7 7 8 7
>5 < 8 /3 8 a)#5 1b 5 e! " 8w "f 8w ; aC.68b
mdca7 8b 8
7 " 7 "
Cabe aqui observar que, se mdca7 8b ", as expresses D 8 D 8 e aD 7 b 8 no so
equivalentes, pois a primeira conduz a mdca878b valores enquanto que a segunda fornece-nos
sempre 8 valores (as 8 razes de ndice 8 de D 7 ) entre os quais se encontram todos os valores de
7
D 8 . A expresso aC.68b mostra que a frmula de Moivre resistiu, uma vez mais, ampliao do
domnio do expoente, desta feita para o corpo dos nmeros racionais.
Para expoente irracional, usaremos directamente a frmula de Moivre, pondo a seguinte
Definio C.5. Potncia de expoente irracional Para qualquer D </3) ! e
! , define-se a potncia de expoente ! irracional, pondo
Sendo ! irracional, os complexos determinados pela frmula anterior para os infinitos valores
de 5 so todos distintos (isto , a funo 5 <! /3!a)#5 1b injectiva): de facto, se
w
5 5 w forem inteiros distintos e tivermos <! /3!a)#5 1b <! /3!a)#5 1b , ento ser
!a) #5 1b !a) #5 w 1b #:1, com :
de onde se conclui que ! :a5 5 w b e, como : e 5 5 w so inteiros, conclumos que !
racional, contrariamente ao suposto. Assim, a potncia de expoente irracional de um complexo
no nulo tem uma inifinidade (numervel) de determinaes dadas por aC.69b. Em termos
geomtricos, elas constituem uma infinidade de pontos numa circunferncia de centro na origem
e raio <! sem, todavia, constituirem toda a circunferncia! (ver a figura C.23, a qual foi levada a
cabo usando o MATHEMATICA , como pode se ver na seco C.17).
_ _ _
30 < k < 31 100 < k < 101 250 < k < 251
no domnio H, como se ilustra na figura C.24 relativa funo exponencial e outras que a seu
tempo se apresentaro e que so contrudos pela funo Plot3D do MATHEMATICA .
O conjunto das funes de em constitui um espao vectorial complexo, com a adio
usual de funes e o produto de complexo por funo. O vector nulo deste espao a funo
nula 9 D ! e a funo 0 D 0 aD b a simtrica de 0 . De seguida, vamos definir os
conceitos de funo par e mpar e veremos depois que estas funes constituem subespaos de
e que este soma directa desses subespaos:
Definio C.6. funes pares e mpares Uma funo 0 diz par se e s se, para
todo o D , se tem
0 aD b 0 aD b D aC.71b
e diz-se mpar se e s se
0 aD b 0 aD b D aC.72b
;! D !a0 aD b 0 aD bb !
so mpares.
Fazendo ! "# , resulta que qualquer funo 0 pode ser decomposta na soma de uma
funo par com outra mpar da forma seguinte:
:aD b "# 0 aD b 0 aD b
0 aD b :aD b ; aD b, onde aC.73b
; aD b "# 0 aD b 0 aD b
Esta igualdade prova que T M ; por outro lado, a decomposio anterior nica,
visto ser T M e9f: isto significa (ver corolrio 1.21.1 e exemplo1.62) que o espao vectorial
das funes complexas de varivel complexa soma directa dos subespaos T e M
T M
ii) O contradomnio .
Demonstrao:
i) A funo exponencial peridica de perodo #13, visto que para qualquer 5 inteiro:
ii) A funo sobre , visto que, como vimos, todo o complexo A ! se pode escrever
na forma exponencial A </3) /lna<b /3) /lna<b3) , onde < o mdulo de A e ) um qualquer
dos seus argumentos: o contradomnio de exp , pois, . Todavia, exp no injectiva em ,
dado ser peridica de perodo #13.
iii) Para quaisquer D B 3C e D w Bw 3Cw , tem-se, atendendo proposio C.5,
w w w w w w w w
/DD /BB /3aCC b /B /B /3C /3C /B /3C /B /3C /D /D
17 Este um padro seguido por todas as funes 0 que estudaremos; tem-se, para todas elas, 0 aD b 0 aD b. Isto
implica que, se D B , ento 0 aBb 0 aBb 0 aBb e, portanto, 0 aBb . Podemos, pois, garantir que a
propriedade 0 aD b 0 aD b implica que a restrio de 0 a uma funo real.
18 Geometricamente, trata-se de faixas horizontais, estendo-se horizontalmente de _ a _ e verticalmente
limitadas, incluindo uma (e uma s) das fronteiras C Cte . Ver figura C.28.
Sec. C.8] A funo exponencial e a funo logartmica complexas 45
Observe que este resultado est de acordo com a periodicidade da funo exponencial.
vii) Sejam M ) ) #1 ou M ) ) #1 e
D B 3C 3M D w Bw 3Cw 3M
A figura C.24 ilustra a variao da parte real e da parte imaginria de expaD b em funo de
D B 3C c$ $d 3c1 1d.
R (exp(x+iy )) I (exp(x+iy))
x -3
x -3
0 0
3 3
20 20
10 10
z 0 z 0
-10 -10
-20 -20
- -
0 0
y y
Fig. C.24 Grficos da parte real ( esquerda) e da parte imaginria ( direita) da funo exp.
A tabela da figura C.25 mostra as imagens pela funo exponencial dos conjuntos
\ 3] , para os conjuntos \ presentes na primeira linha e para os conjuntos ]
que figuram na primeira coluna; a zona limitada a cheio define um domnio 31 1 em que
a exponencial injectiva. Nesta tabela, os aU3 b"3% so os 4 quadrantes do plano de Argand:
U# 3 U" 3
U$ 3 U% 3
exp
1
a1# 1b U#
1# 3
a! 1#b U"
!
a1# !b U%
1# 3
a1 1#b U$
Fig C.25 Tabela mostrando as imagens por exp dos conjuntos \ 3] , em que \ o
conjunto indicado na linha sombreada e ] indicado na coluna sombreada.
A figura seguinte mostra as imagens por meio da funo exponencial das rectas B B! e
C C! do plano dos D B 3C, realizadas com o auxlio do MATHEMATICA , para os valores
de B! e de C! indicados na legenda.
Resumem-se ainda a definio, o domnio H, o contra-domnio expaHb e os traos segundo !
e segundo A expaHb.
8
x=2
y = / 2
6
y
/4
=
x = 1.5
3
=
/4
y
4
x=1
2
x = 0.5
0 y= y=0
-2
-4
/4 y
=
-3 -
= /4
y
-6
y =- / 2
-8
-8 -6 -4 -2 0 2 4 6 8
A igualdade aC.79b mostra que cada complexo A </3) ! possui uma infinidade
(numervel) de logaritmos D5 , os quais so dados pela expresso geral
D5 lna<b 3a) #5 1b 5 aC.82b
Geometricamente, as imagens dos logaritmos de A </3) esto sobre uma recta vertical de
equao daD b lna<b e tm partes imaginrias em progresso aritmtica de razo #1. O trao
exp" aAb de exp segundo A ! , portanto, o conjunto de todos os logaritmos de A </3) :
y
i( ) 2
i( ) 1
i 0
ln(r) x
i( )
-1
i( ) -2
x
0
Dexp
" ?
lna? 3@b ln?# @# 3 sgna@b arccos ? 3@ ! aC.85b
# ?# @#
1
2
z z 0
-1
-1
-2
-2 -
-2 -2
-1 -1
0 0
1 1
v 2 v 2
Fig. C.29 Grficos da parte real ( esquerda) e da parte imaginria ( direita) da funo ln.
Convm observar que, contrariamente ao que acontece com a funo logartmica real, o
logaritmo principal complexo no satisfaz a identidade
lnaAAw b lnaAb lnaAw b A Aw
$1
como se pode ver fazendo A Aw " 3 # /3 % , caso em que
No entanto, pode mostrar-se (prove como exerccio!) que para os conjuntos de logaritmos de
um complexo A ! definidos por aC.86b tem-se, para quaisquer A Aw ,
exp" aAAw b exp" aAb exp" aAw b A Aw aC.87b
ln
u x
exponencial. Portanto,
" D
sinhaD b / /D
# aC.88b
"
coshaD b /D /D
#
sinhaD b sinhaD b
D aC.91b
coshaD b coshaD b
Estas igualdades implicam que os traos das funes segundo ! (pontos em que as
funes se anulam) so respectivamente:
xiv) As funes sinh e cosh so injectivas nos subconjuntos Hsinh e Hcosh de ilustrados
nas figuras C.40 e C.41 e definidos respectivamente por:
1 1 1 1
Hsinh 3
! 3 ! 3
# # # #
Hcosh a 3a! 1bb a! 31b !
Demonstrao:
i) consequncia imediata da definio aC.88b.
ii) Resulta igualmente da definio.
iii) De aC.78b, vem
" D "
sinhaD b / /D /D /D sinhaD b
# #
" D "
coshaD b / /D /D /D coshaD b
# #
Do mesmo modo,
54 Nmeros complexos [Apndice C
As igualdades anteriores implicam que as funes sinh e cosh so peridicas com perodo
#13, visto que de a1b e a3b se obtm, para qualquer D e 5 :
sinhaD #5 13b sinhaD bcosha#5 13b coshaD bsinha#5 13b sinhaD b
coshaD #5 13b coshaD bcosha#5 13b sinhaD bsinha#5 13b coshaD b
e de
coshaD b ! /D /D ! /#D " !
/#D " b #D lna"b #5 13
5
b #D ln/31 #5 13
5
b #D 31 #5 13
5
b D a1# 5 1b3
5
#A %A# %
/D A " A#
#
D lnA " A# #5 13 5
Uma vez mais, o resultado ora obtido est de acordo com o facto de a funo sinh ser
peridica com perodo #13.
Determinemos agora os complexos D tais que coshaD b A. Esta equao equivalente a
/D /D #A
#A %A# %
/D A A# "
#
D lnA A# " #5 13 5
O resultado anterior est de acordo com o facto de ser #13 o perodo da funo cosh.
xiv) Os conjuntos Hsinh e Hcosh encontram-se representados nas figuras C.40 e C.41.
Para mostrar a injectividade de sinh no conjunto Hsinh , teremos de provar que
D A Hsinh sinhaD b sinhaAb D A
Portanto, a soma de D com A deve ser mltipla mpar de 31 ou a diferena mltipla par de 31.
Mas, sendo D A Hsinh , isto obriga a ser D A 31# (com 5 ") ou D A 31#
(com 5 !) ou a ser novamente D A (com 5 w !). Em qualquer caso, ser sempre D A.
Para mostrar a injectividade de cosh no conjunto Hcosh , teremos de provar que
D A Hcosh coshaD b coshaAb D A
O resultado anterior mostra que a soma ou a diferena de D e A devem ser mltiplas de #13.
Porm, sendo D A Hcosh , a primeira condio obriga a ser D A 31 (com 5 ") ou
D A ! (com 5 !) e a segunda conduz novamente a D A (com 5 w !).
58 Nmeros complexos [Apndice C
R (sinh(x+iy)) I (sinh(x+iy))
x -3
x -3
0 0
3 3
10 10
5 5
z 0 z 0
-5 -5
-10 -10
- -
0 0
y
y
Fig. C.31 Grficos da parte real ( esquerda) e da parte imaginria ( direita) da funo sinh.
R (cosh(x+iy)) I (cosh(x+iy))
x x
-3 -3
0 0
3 3
10 10
5 5
z 0 z 0
-5 -5
-10 -10
- -
0 0
y y
Fig. C.32 Grficos da parte real ( esquerda) e da parte imaginria ( direita) da funo cosh.
Deixa-se ao cuidado do leitor mostrar as igualdades seguintes, algumas das quais eram j
vlidas para as funes hiperblicas reais e onde D e A so complexos e B C so reais:
/#D " /#D " #/D #/D
tanhaD b cotha D b sech a D b csch a D b
/#D " /#D " /#D " /#D "
tanhaD b tanhaD b cothaD b cothaD b sechaD b sechaD b cschaD b cschaD b
" "A
tanh" aAb D b D ln 5 13 A e" "f
5 # "A
" " A"
coth" aAb tanh" D b D ln 5 13 A e" "f
A 5 # A"
A figura C.33 ilustra, para cada funo hiperblica 2, as imagens por 2 dos subconjuntos de
da forma \ 3] em que \ e ] so as partes de indicadas respectivamente na primeira
linha e na 1 coluna. As zonas limitadas a cheio definem domnios em que 2 injectiva. Nestas
tabelas, aU3 b"3% so os 4 quadrantes do plano de Argand:
U# 3 U" 3
U$ 3 U% 3
sinh ! csch !
1 ! 1 n/ def
a1# 1b U" 3a! "b U# a1# 1b U% 3a_ 1b U$
1# 3a" _b 3 3a" _b 1# 3a" !b 3 3a" !b
a! 1#b U# 3a! "b U" a! 1#b U$ 3a_ 1b U%
! ! ! n/ def
a1# !b U$ 3a" !b U% a1# !b U# 3a" _b U"
1# 3a_ 1b 3 3a_ 1b 1# 3a! "b 3 3a! "b
a1 1#b U% 3a" !b U$ a1 1#b U" 3a" _b U#
cosh ! sech !
1 a_ 1b " a_ 1b 1 a" !b " a" !b
a1# 1b U$ a" !b U# a1# 1b U# a_ 1b U$
1# 3 ! 3 1# 3 n/ def 3
a! 1#b U% a! "b U" a! 1#b U" a" _b U%
! a" _b " a" _b ! a! "b " a! "b
a1# !b U" a! "b U% a1# !b U% a" _b U"
1# 3 ! 3 1# 3
n/def 3
a1 1#b U# a" !b U$ a1 1#b U$ a_ 1b U#
tanh ! coth !
1# a_ 1b n/ def a" _b a1# 1b U# 3 U"
a! 1#b U# 3 U" 1# a" !b ! a! "b
! a" !b ! a! "b a! 1#b U$ 3 U%
a1# !b U$ 3 U% ! a_ 1b n/ def a" _b
Fig. C.33 Para cada funo hiperblica 2 indicada no canto superior esquerdo, apresentam-se
As pginas seguintes mostram as imagens por meio das seis funes hiperblicas directas das
rectas B B! e C C! do plano dos D B 3C, realizadas com o auxlio do MATHEMATICA
(usando a funo CartesianMap do package Graphics`ComplexMap`), para os valores de
B! e de C! indicados nas legendas.
Para cada uma das seis funes, mostram-se ainda a definio, o domnio H, o contra-
domnio 2aHb e os traos segundo ! e segundo A 2aHb.
4
y = / 2
3
y 4
=
/ /
-2
x=
4 y
x=
2
2
.5
x=
-1
x=
1.5
1
x=0
0 y=0 y=0
-1
x=
1 .5
x=
-1
.5
-2
/4 y
x=
=
-
=
-
-2
= /4
y
-3
y =- / 2
-4
-4 -3 -2 -1 0 1 2 3 4
" D
sinhaD b a/ /D b D H
#
H
sinhaHb
sinhaB 3Cb sinhaBbcosaCb 3coshaBbsinaCb
sinh" a!b D b D 5 13 13
5
y = / 2
3 2 x=
x= 2
/4
=
=
/
y
4
2
x=
1.5 1 .5
x=
0 x=0 y=0
-1
x= .5
-1 -1
.5 x=
-2
/4
y
3
=
=
/4
y
x=
-2 -2
x=
-3
y = / 2
-4
-4 -3 -2 -1 0 1 2 3 4
" D
coshaD b a/ /D b D H
#
H
coshaHb
coshaB 3Cb coshaBbcosaCb 3sinhaBbsinaCb
y =-
/1
x=0
y =-
/ 12
2 x =-
0.25 /6 y=
0.25
- - x=
y= /6
y =- / 2
.5
x=
-0
x=
0.5
0 y=0 y=0
x=
0.5
y = / 2
x=
-0 .
5
-1
y=
5 / /6 x=
-0.2 6 y= 0.25
-2 x=
y=
/ 12
x=0
y=
/ 12
-3
-3 -2 -1 0 1 2 3
" #/D
cschaD b #D DH
sinhaD b / "
H D b D 5 13
5
cschaHb
#sinhaBbcosaCb #coshaBbsinaCb
cschaB 3Cb 3
cosha#Bb cosa#Cb cosha#Bb cosa#Cb
csch" a!b g
" "
csch" aAb ln # " #13 A
A A
64 Nmeros complexos [Apndice C
y = / 2
2
5 x= y=
/ 12 -0. -0 5 /
y =7 x= .5 12
x =-
5
-0.2
0.25
x=
1
/3
y=
2
/3
y=
3
/
2
y=
/3
-1
x=
0.25
0.25
x=
y= x=
7 / 0.5 / 12
12 0.5
x= y =5
-2
y = / 2
-3
-3 -2 -1 0 1 2 3
" #/D
sechaD b #D DH
coshaD b / "
H D b D a1# 5 1b3
5
sechaHb
#coshaBbcosaCb #sinhaBbsinaCb
sechaB 3Cb 3
cosha#Bb cosa#Cb cosha#Bb cosa#Cb
sech" a!b g
" "
sech" aAb ln # " #13 A
A A
Sec. C.9] Funes hiperblicas complexas directas 65
2 y
/1 =
5 5
3 y= /1
2
x=0
2
y=
/3 /
.25 y= 3 x=
-0 0.2
x= 5
x=
.5
-0
0.5
x=
0 y = / 2 y=0 y = / 2
x=
0.5
x=
-0
.5
-1
x= 5
-0 0.2
.2 y= x=
5 - - /3
/3 y=
-2
x=0
y=
-3 -5 /1
2
/1 -5
2 =
y
-4
-4 -2 0 2 4
H D b D a1# 5 1b3
5
tanhaHb e" "f
sinha#Bb sina#Cb
tanhaB 3Cb 3
cosha#Bb cosa#Cb cosha#Bb cosa#Cb
"
tanh a!b 13
" "A
tanh" aAb ln 13 A e" "f
# "A
66 Nmeros complexos [Apndice C
2
/1
=
11
11
=
3 y
/1
2
x=0
2
y=
6
5 / 5
/6 x
.2 5 y= =
-0 0.2
5
x=
1 .5
x=
-0
0.5
x=
0 y=0 y = / 2 y=0
x=
0.5
x=
-0
.5
-1
x
= 5
-0 0.2
.25 y= =
/
6 /6 x
y=
-2
x=0
y 2
-3 =
/1
/1
2 =
y
-4
-4 -2 0 2 4
H D b D 5 13
5
cothaHb e" "f
sinha#Bb sina#Cb
cothaB 3Cb 3
cosha#Bb cosa#Cb cosha#Bb cosa#Cb
1
coth" a!b 3 13
#
" A"
coth" aAb ln 13 A e" "f
# A"
Sec. C.10] Funes hiperblicas complexas inversas 67
Funo arcsinh
A proposio C.7.xiv garante a injectividade da funo sinh no conjunto Hsinh definido
naquela proposio por
1 1 1 1
Hsinh 3
! 3 ! 3
# # # #
e que est ilustrado na figura C.40 (figura igualmente nas tabelas da figura C.33).
y
i /2
x
-3 -2 -1 0 1 2 3
-i /2
D sinh
Fig. C.40 Um domnio onde o sinh injectivo.
#D %D # %
/A D " D # A lnD " D # #5 13 Hsinh
#
Para ser A 3c1# 1#d, temos de escolher o sinal e 5 ! na igualdade anterior. Portanto,
68 Nmeros complexos [Apndice C
Funo arccosh
A proposio C.7.xiv estabelece a injectividade da funo cosh no conjunto Hcosh ento
definido por
Hcosh a 3a! 1bb a
! 31b !
i /2
x
-3 -2 -1 0 1 2 3
D cosh
Fig. C.41 Um domnio onde o cosh injectivo.
Funo arccsch
Da definio da funo csch D "sinhaD b, resulta evidente que esta ser injectiva na
interseco do domnio Hsinh com o seu prprio domnio:
Este conjunto encontra-se representado na figura C.42 e nas tabelas da figura C.33:
Sec. C.10] Funes hiperblicas complexas inversas 69
y
i /2
x
-3 -2 -1 0 1 2 3
-i /2
D csch
Fig. C.42 Domnio complexo de inverso da funo csch.
A inversa arccsch da restrio da csch ao conjunto Hcsch da figura anterior pode ser definida,
em termos do logaritmo principal, pela expresso
Funo arcsech
Do exposto sobre a injectividade da funo cosh e da definio da funo
sech D "coshaD b, segue-se que esta ser injectiva na interseco do conjunto Hcosh com o
domnio de sech:
Este conjunto est representado na figura C.43 e assinalado nas tabelas da figura C.33:
y
i
i /2
x
-3 -2 -1 0 1 2 3
D sech
Fig. C.43 Domnio complexo de inverso da funo sech.
A funo arcsech ser a inversa da restrio ao conjunto Hsech da funo sech e pode
exprimir-se no logaritmo principal por:
" 1 3 "
arcsechaD b arccosh 3 ln " # D aC.107b
D # D D
Funo arctanh
Relativamente funo tanh, ela injectiva no conjunto
Htanh 31# 1# e31#f
representado na figura C.44 e assinalado igualmente nas tabelas da figura C.33: de facto, se D e
A so pontos de Htanh , tem-se:
sinhaD b sinhaAb
tanhaD b tanhaAb tanhaD b tanhaAb !
coshaD b coshaAb
sinhaD bcoshaAb coshaD bsinhaAb
!
coshaD bcoshaAb
sinhaD Ab
! D A 5 13
coshaD bcoshaAb
Porm, a condio D A Htanh obriga a ser 5 !, ou seja, D A, o que prova que tanh
injectiva em Htanh .
y
i /2
x
-3 -2 -1 0 1 2 3
-i
-i /2
Dtanh
Fig. C.44 Domnio complexo de inverso da funo tanh.
A funo arctanh a inversa da restrio da funo tanh ao conjunto Htanh da figura anterior
e onde esta injectiva. Portanto, tem-se A arctanhaD b D tanhaAb A Htanh . Porm,
/#A " "D
D tanhaAb #A
/#A
/ " "D
Funo arccoth
Finalmente, mostraremos que a funo coth injectiva no conjunto
Hcoth 3! 1 e!f
representado na figura C.45 e assinalado igualmente nas tabelas da figura C.33: de facto, se D e
A so pontos de Hcoth , tem-se:
coshaD b coshaAb
cothaD b cothaAb cothaD b cothaAb !
sinhaD b sinhaAb
sinhaAbcoshaD b coshaAbsinhaD b
!
sinhaAbsinhaD b
sinhaA D b
! A D 5 13
sinhaAbsinhaD b
i /2
x
-3 -2 -1 0 1 2 3
Dcoth
-i
Nas pginas seguintes, mostram-se imagens realizadas com recurso ao MATHEMATICA e que
ilustram a transformao das rectas daD b Cte e e aD b Cte por meio das funes hiperblicas
inversas.
/2 x=0
1.5
y=
2
y=
2
x=0
1
1 y=
y= 1
x=
1
0.5
x=
-1
x =-
x=2
2
0 y=0 y=0
-2
x=
x=
2
-1
x=
-0.5
x=
1
y=
-1 -1
y=
x=0
-1
y=
-2
y=
-2
-1.5
- /2 x=0
-2 -1.5 -1 -0.5 0 0.5 1 1.5 2
y=0
-2
x=
x=
-2
y=0
2.5
x=
-1 -1
x=
y=
1
y=
-1
2 y=-
2
y=
2
/2 x=0 x=0
1.5
-2
y=
y=
2
-1
y=
y=
1
x= 1
1 x=
y=0
0.5
2
x=
x=
2
0 y=0
-2 -1.5 -1 -0.5 0 0.5 1 1.5 2
1 1
arccoshaD b 3 arcsinha3D b 3 ln3D " D # D H
# #
H
arccoshaHb Hcosh
arccosh" a!b e"f
arccosh" aAb ecoshaAbf A Hcosh
74 Nmeros complexos [Apndice C
/2 x=0
1.5
y = -0.75
y = -0.75
y = -0.5
y = -0
-1
y
=
x=0
=
-1
y
.5
1 y=
.25
.25 x=
-0
-0
-0 0. 2
x= 5
y=
. 25
y = -1.5
.5 x
=
-0 0.
0.5 = 5
x
x=
.7
-0
0.7
x=
-1
x=
5
x=
1
y = -3
x=3
0 y=0
x = -3
y=0
x= y=3
1
x=
x=
-1
5
0.7
-0
x=
x
.7 5
-0.5 = 5
-0 0.
.5 =
x
y = 1.5
x=
5
y=
5
0.2
-0
.2 0. 2
5 x=
y=
0.2
-1
5
x=0
y = 0.5
y = 0.5
y = 0.75
y = 0.75
y=
1
=
y
1
-1.5
- /2 x=0
-2 -1.5 -1 -0.5 0 0.5 1 1.5 2
" "
arccschaD b ln # " D H
D D
H
arccschaHb Hcsch
arccsch" a!b g
arccsch" aAb ecschaAbf A Hcsch
Sec. C.10] Funes hiperblicas complexas inversas 75
y=0
x = -0.75
x = -0.75
.5
x = -0.5
x = -0
-1
=
y=0
=
-1
x
x=
.25
5 y=
2.5 0.2 -0
-0
-0
.25
y=
x=
.25 x = -1.5
0.5
y
=
=
-0
y
.5
2
y=
5
0 .7
-0
y=
y=
1
.75
y=
-1
x = -3
y = -3
/2 x=0
y=3
x=0
1.5
x=3
-1
y=
y=
5
y=
.7
1
-0
0.7
y=
y
5
= .5
0. -0
1 5
y
=
x = 1.5
y= 5
x=
-0.2
5
0.2
0.2
5 y=
0.2
x=
5
0.5
y=0
x = 0 .5
x = 0.5
x = 0.75
x = 0.75
x
1
=
=
x
1
0 y=0
-2 -1.5 -1 -0.5 0 0.5 1 1.5 2
1 3 "
arcsechaD b 3 ln " # D H
# D D
H
arcsechaHb Hsech
arcsech" a!b e"f
arcsech" aAb esechaAbf A Hsech
76 Nmeros complexos [Apndice C
/2 y=0 y=0
1.5 x = -2 x=2
x = -1.5 y=3 x = 1.5
1
y=
=
y
1
x=1
y=
x = -1
0. 5
y=
0.5
0.5
.5
x = 0.5
x = -0
x=0
0 y=0 y=0
x=0
x = -0.
x = 0.5
5
-0.5
.5
y=
-0
x = -1 x=1
-0
y=
.5
-1
y=
-1
y=
-1
x = 1.5
x = -1.5 y = -3 x=2
x = -2
-1.5
- /2
-1.5 -1 -0.5 0 0.5 1 1.5
" "D
arctanhaD b ln D H
# "D
H e" "f
arctanhaHb Htanh
arctanh" a!b e!f
arctanh" aAb etanhaAbf A Htanh
Sec. C.10] Funes hiperblicas complexas inversas 77
x = -2 x=2
3 x = -1.5 y=3 x = 1.5
1
y=
y=
2.5
1
x=1
0.5
x = -1
y=
y=
0. 5
2
.5
x = 0.5
x = -0
x=0
/2 y=0 y=0
1.5
x=0
x = - 0.
5
x = 0.
5
1
.5
y=
-0
x = -1 x=1
-0
y=
.5
y=
-1
y=
-1
0.5
x = -1.5 x = 1.5
y = -3
x = -2 x=2
0 y=0 y=0
-1.5 -1 -0.5 0 0.5 1 1.5
" "D
arccothaD b 31 ln D H
# "D
H e" "f
arccothaHb Hcoth
arccoth" a!b g
arccoth" aAb ecothaAbf A Hcoth
78 Nmeros complexos [Apndice C
As expresses anteriores sero usadas para estender as funes sin e cos ao corpo dos
complexos, usando nelas a funo exponencial complexa:
Definio C.10 Funes sin e cos As funes cosseno e seno estendem-se ao domnio
complexo pondo, para todo o D ,
" 3D
sinaD b / /3D 3sinha3D b
#3 aC.110b
"
cosaD b /3D /3D cosha3D b
#
xi) As duas funes so peridicas com perodo #1: para qualquer D e 5 , tem-se
sinaD #5 1b sinaD b
D 5 aC.121b
cosaD #5 1b cosaD b
80 Nmeros complexos [Apndice C
Estas igualdades implicam que os traos das funes segundo ! (pontos em que as
funes se anulam) so respectivamente:
xiv) As funes sin e cos so injectivas nos subconjuntos Hsin e Hcos de (ilustrados na
figura C.61 e nas tabelas da figura C.54) e definidos respectivamente por:
1 1 1
Hsin D kdaD bk daD b e aD b ! daD b e aD b !
# # #
Hcos eD ! daD b 1 adaD b ! e aD b !b adaD b 1 e aD b !bf
Demonstrao:
i) Basta atender s definies aC.110b:
" 3D "
sinaD b / /3D /3D /3D sinaD b
#3 #3
" 3D "
cosaD b / /3D /3D /3D cosaD b
# #
ii) Multiplicando a primeira equao aC.110b por 3 e somando (ou subtraindo) membro a
membro as equaes obtidas, somos conduzidos s frmulas de Euler.
iii) Basta atender a aC.80b e a aC.110b:
" 3D " "
sinaD b / /3D /3D /3D /3D /3D sinaD b
#3 #3 #3
" 3D " "
cosaD b / /3D /3D /3D /3D /3D cosaD b
# # #
Sec. C.11] Funes circulares complexas directas 81
e de
cosaD b ! kcosaD bk# ! acosaBbb# asinhaCbb# !
cosaBb ! sinhaCb !
b B 1# 5 1 C ! b D 1# 5 1
5 5
Multiplicando ambos os membros por /3D !, conclumos que a equao anterior equivale
equao de segundo grau em /3D seguinte
/3D # #A3/3D " !
#A3 %A# %
/3D A3 " A#
#
3D lnA3 " A# #5 13 5
D #5 1 3lnA3 " A# 5
84 Nmeros complexos [Apndice C
O resultado ora obtido est de acordo com o facto de a funo sin ser peridica com perodo
#1.
Determinemos agora todos os complexos D tais que cosaD b A. Esta equao equivale a
/3D /3D #A
Multiplicando ambos os membros por /3D !, conclumos que a equao anterior conduz
equao de segundo grau em /3D seguinte
/3D # #A/3D " !
#A %A# %
/3D A A# "
#
3D lnA A# " #5 13 5
D #5 1 3lnA A# " 5
Uma vez mais, o resultado anterior est de acordo com o facto de ser tambm #1 o perodo
da funo cos.
xiv) Para mostrar a injectividade de sin no conjunto Hsin , teremos de provar que
D A Hsin sinaD b sinaAb D A
Portanto, a soma de D com A deve ser mltipla mpar de 1 ou a diferena mltipla par de 1.
Mas, sendo D A Hsin , isto obriga a ser D A 1# (com 5 ") ou D A 1# (com
5 !) ou a ser novamente D A (com 5 w !). Em qualquer caso, ser sempre D A.
Para mostrar a injectividade de cos no conjunto Hcos , teremos de provar que
D A Hcos cosaD b cosaAb D A
Sec. C.11] Funes circulares complexas directas 85
O resultado anterior mostra que a soma ou a diferena de D e A devem ser mltiplas de #1.
Porm, sendo D A Hcos , a primeira condio obriga a ser D A 1 (com 5 ") ou
D A ! (com 5 !) e a segunda conduz novamente a D A (com 5 w !).
A proposio anterior mostra que se mantm muitas das igualdades vlidas para as funes
circulares reais; todavia, nem todas as propriedades se mantm: por exemplo, para as funes
complexas, deixa de ser kcosaD bk " e ksinaD bk ", para todo o D complexo.
R (sin(x+iy)) I (sin(x+iy))
x -
x -
0 0
10 10
5 5
z 0 z 0
-5 -5
-10 -10
-3 -3
0 0
y 3 y 3
Fig. C.52 Grficos da parte real ( esquerda) e da parte imaginria ( direita) da funo sin.
86 Nmeros complexos [Apndice C
R (cos(x+iy )) I (cos(x+iy ))
x -
x -
0 0
10 10
5 5
z 0 z 0
-5 -5
-10 -10
-3 -3
0 0
y 3 y 3
Fig. C.53 Grficos da parte real ( esquerda) e da parte imaginria ( direita) da funo cos.
As restantes funes circulares complexas definem-se a partir das anteriores da forma usual:
"
cscaD b D sin" a!b
sinaD b
"
secaD b D cos" a!b
cosaD b
aC.124b
sinaD b
tanaD b D cos" a!b
cosaD b
cosaD b "
cotaD b D sin" a!b
sinaD b tanaD b
Deixa-se ao cuidado do leitor mostrar que, tambm em relao a estas funes, muitas das
igualdades usuais da trigonometria elementar se mantm, nomeadamente algumas das seguintes,
onde D e A so complexos e B C so reais:
" /#3D /#3D " #/3D #/3D
tanaD b 3 cota D b 3 seca D b csca D b 3
" /#3D /#3D " /#3D " /#3D "
tanaD b tanaD b cotaD b cotaD b secaD b secaD b cscaD b cscaD b
sina#Bb sinha#Cb
cotaB 3Cb 3
cosha#Cb cosa#Bb cosha#Cb cosa#Bb
#cosaBbcoshaCb #sinaBbsinhaCb
secaB 3Cb 3
cosa#Bb cosha#Cb cosa#Bb cosha#Cb
#sinaBbcoshaCb #cosaBbsinhaCb
cscaB 3Cb 3
cosa#Bb cosha#Cb cosa#Bb cosha#Cb
1 1 1
tan D cotaD b sec D cscaD b csc D secaD b
# # #
tanaD 5 1b tanaD b cotaD 5 1b cotaD b secaD #5 1b secaD b cscaD #5 1b cscaD b
1
tan" a!b sin" a!b D b D 5 1 cot" a!b cos" a!b D b D 5 1
5 5 #
3 3A
tan" aAb D b D ln 5 1 A e3 3f
5 # 3A
" 3 A3
cot" aAb tan" D b D ln 5 1 A e3 3f
A 5 # A3
" 3 "
csc" aAb sin" D b D 3 ln " # #51 A
A 5 A A
A figura C.54 ilustra, para cada funo circular -, as imagens por - dos subconjuntos de da
forma \ 3] em que \ e ] so as partes de indicadas respectivamente na primeira linha e
na 1 coluna. As zonas a cheio definem domnios em que - injectiva (invertvel). Nestas tabelas,
designamos por U3 o 3-simo quadrante do plano de Argand:
U# 3 U" 3
U$ 3 U% 3
88 Nmeros complexos [Apndice C
Fig. C.54 Para as funes circulares - indicadas no canto superior esquerdo, figuram as imagens
As pginas seguintes mostram as imagens por meio das seis funes circulares das rectas
B B! e C C! do plano dos D B 3C, realizadas com o auxlio do MATHEMATICA (funo
CartesianMap do package Graphics`ComplexMap`) para alguns valores de B! e de C! .
Sec. C.11] Funes circulares complexas directas 89
x=0
3 2 y=
y= 2
/4
x=
=
-
x
/4
2
y=
1.5 1.5
y=
0 x =- / 2 y=0 x = /2
-1
y= .5
-1 -1
.5 y=
-2
4
x=
/
-
/
=
x
4
y= -2
-2 y=
-3
x=0
-4
-4 -3 -2 -1 0 1 2 3 4
Fig. C.55 Funo sin: imagens das rectas B B! e C C! , para B entre 1# e 1#,
" 3D
sinaD b / /3D D H
#3
H
sinaHb
sinaB 3Cb sinaBbcoshaCb 3cosaBbsinhaCb
sin" a!b 1
sin" aAb 3lnA3 " A# #1 A
90 Nmeros complexos [Apndice C
x = /2
3 -2
y=
-2
y=
/4
=
x
2
y=
.5
-1 -1
.5
y=
0 x= y=0 x=0
-1
y=
1.5 1.5
y=
-2
/4
x=
3
/
=
4
x
y= 2
2 y=
-3
x = /2
-4
-4 -3 -2 -1 0 1 2 3 4
" 3D
cosaD b / /3D D H
#
H
cosaHb
cosaB 3Cb cosaBbcoshaCb 3sinaBbsinhaCb
1
cos" a!b 1
#
cos aAb 3lnA A# " #1 A
"
Sec. C.11] Funes circulares complexas directas 91
x=0
2
5 y=
/ 12 -0. -0 x=
/1
x =- y= .5 2
y=
5
-0.2
-0.2
y=
5
1
x=
/6
-
/
x=
6
0 y=0 x =- / 2 x = / 2 y=0
x=
6
/
-
x=
/6
-1
0.25
y=
y=
0.25
x =- y=
/ 12 0.5 0.5 / 12
y= x=
-2
x=0
-3
-3 -2 -1 0 1 2 3
Fig. C.57 Funo csc: imagens das rectas B B! e C C! , para B entre 1# e 1#,
#/3D
cscaD b 3 DH
/#3D "
H D b D 5 1
5
cscaHb
#sinaBbcoshaCb #cosaBbsinhaCb
cscaB 3Cb 3
cosa#Bb cosha#Cb cosa#Bb cosha#Cb
csc" a!b g
" 3 "
csc" aAb sin" 3 ln " # #1 A
A A A
92 Nmeros complexos [Apndice C
x = /2
2
y=
/ 12 0.5 0.5
x=
5 /
x =7 y= 12
y=
0.25
0.25
y=
1
x=
/3
2
/
x=
3
0 y=0 x= x=0 y=0
x=
3
/
2
x=
/3
-1
y=
5
-0.2
-0.2
y=
5
x =7 y= 12
/ 12 -0 -0 .5 5 /
.5 y= x=
-2
x = /2
-3
-3 -2 -1 0 1 2 3
#/3D
secaD b DH
/#3D "
H D b D 1# 5 1
5
secaHb
#cosaBbcoshaCb #sinaBbsinhaCb
secaB 3Cb 3
cosa#Bb cosha#Cb cosa#Bb cosha#Cb
sec" a!b g
" " "
sec" aAb cos" 3 ln # " #1 A
A A A
Sec. C.11] Funes circulares complexas directas 93
25
0.
y=
=
y
0 .2
x = /2
5
y=
0.5 0.5
2 2
y=
x
/1
5
-5
/1
=
2
x
/3
x=
-
/
x=
3
x=0
0 y=0 y=0
x=
/3
-
x=
/3
x
2
/1
=
5
-5
=
/1
x
2
y= .5
-2 -0 -0
.5 y=
x = / 2
y
.25
=
-0
-0
=
.2 5
-4
-4 -3 -2 -1 0 1 2 3 4
Fig. C.59 Funo tan: imagens das rectas B B! e C C! , para B entre 1# e 1#,
" /#3D
tanaD b 3 DH
" /#3D
H D b D 1# 5 1
5
tanaHb e3 3f
sina#Bb sinha#Cb
tanaB 3Cb 3
cosa#Bb cosha#Cb cosa#Bb cosha#Cb
"
tan a!b 1
3 3A
tan" aAb ln 1 A e3 3f
# 3A
94 Nmeros complexos [Apndice C
.25
y
=
-0
-0
=
.2 5
y
x=0
.5 y=
2 -0 -0
y= .5
2
/1
=
11
/
=
12
x
/6
x=
5
/
x=
6
x = /2
0 y=0 y=0
x=
/6
5 /
x=
6
x=
12
/
11
=
/1
x
2
y=
-2 0.5 0. 5
y=
x=0
25
y
0.
=
=
0 .2
y
5
-4
-4 -3 -2 -1 0 1 2 3 4
/#3D "
cotaD b 3 DH
/#3D "
H D b D 5 1
5
cotaHb e3 3f
sina#Bb sinha#Cb
cotaB 3Cb 3
cosa#Bb cosha#Cb cosa#Bb cosha#Cb
"
cot a!b 1# 1
" 3 A3
cot" aAb tan" ln 1 A e3 3f
A # A3
Sec. C.12] Funes circulares complexas inversas 95
y y
3i 3i
2i 2i
i i
x x
- /2 0 /2 0 /2
-i -i
-2 i -2 i
-3 i -3 i
D sin D cos
Fig. C.61 As funes sin e cos so injectivas nos subconjuntos de aqui ilustrados.
A funo arcsin Hsin a inversa da restrio da funo sin ao conjunto Hsin da figura
anterior. Portanto, tem-se A arcsinaD b D sinaAb A Hsin . Porm,
#
D sinaAb #3D /3A /3A /3A #3D/3A " !
#3D %D # %
/3A 3D " D # A 3 ln3D " D # #5 1 Hsin
#
96 Nmeros complexos [Apndice C
Para ser A c1# 1#d, temos de escolher o sinal e 5 ! na igualdade anterior. Portanto,
a expresso de arcsin em funo do logaritmo
A figura C.62 mostra os conjuntos Hcsc e Hsec que se encontram tambm assinalados nas
tabelas da figura C.54:
Sec. C.12] Funes circulares complexas inversas 97
y y
3i 3i
2i 2i
i i
x x
- /2 0 /2 0 /2
-i -i
-2 i -2 i
-3 i -3 i
Dcsc Dsec
Fig. C.62 Domnios complexos de inverso das funes csc e sec.
A inversa arccsc da restrio da csc ao conjunto Hcsc pode ser definida em termos da funo
logartmica por
" 3 "
arccscaD b arcsin 3 ln " # D aC.127b
D D D
A funo arcsec ser a inversa da restrio ao conjunto Hsec da funo sec e pode definir-se
por
" 1 3 "
arcsecaD b arccos 3 ln " # D aC.128b
D # D D
Porm, a condio D A Htan obriga a ser 5 !, ou seja, D A. Isto prova que tan
injectiva em Htan .
Do mesmo modo, se D e A forem pontos do conjunto Hcot , temos:
cosaD b cosaAb
cotaD b cotaAb cotaD b cotaAb !
sinaD b sinaAb
sinaAbcosaD b cosaAbsinaD b
!
sinaAbsinaD b
sinaA D b
! A D 51
sinaAbsinaD b
2i 2i
i i
x x
- /2 0 /2 0 /2
-i -i
-2 i -2 i
-3 i -3 i
D tan Dcot
Fig. C.63 Domnios complexos de inverso das funes tan e cot.
y=2
1.5 y= 2
-2 x=
x= 2
1 y= 1
1 y=
-1
x=
x=
1
x=0
y=0
0.5
0 y=0 y=0
-0.5
y=0
x=0
1
x=
x=
y=
-1
-1 -1
-1 y=
x= 2
-2 x=
y =-
-1.5 y = -2 2
-2
-1.5 -1 -0.5 0.5 1 1.5
- /2 0 /2
1.5 y =- 2
2 y =-
2 x=
x= -2
1 y= -1
-1 y=
x=
=
x
-1
x=0
y=0
0.5
0 y=0 y=0
-0.5
y=0
x=0
-1
x=
x=
1
1 y=
-1 y= 1
x= -2
2 x=
-1.5 y=2 y=
2
-2
0.5 1 1.5 2 2.5 3
0 /2
1
arccosaD b 3 ln3D " D # D H
#
H
arccosaHb Hcos
arccos" a!b e"f
arccos" aAb ecosaAbf A Hcos
102 Nmeros complexos [Apndice C
2
x= 5
-0 0.2
.25 x=
y=0
x=0
y=
2 5
1.5
-0.
-0
y=
.25
x = -0.5
x = 0.5
.5
-0
y
=
=
-0
y
.5
y=
1 .75 -0
-0 .75
=
y
-1 y=
x = -0.75 y= -1 x = 0.75
0.5
x=
-1 1
x=
y = -3
x=3
x = -1.5
x = -1.5
0 y=0 y=0
x = -3
y=3
x= 1
-1 x=
-0.5
x = -0.75 y= 1
1 x = 0.75
y=
y
= 5
0.7 0 .7
-1 5 y=
0.5
y=
=
0 .5
x = 0.5
x = -0.5
y=
5
0.2
-1.5
0.2
y=
5
x=0
y=0
.25 x=
-0 0.2
x= 5
-2
-1.5 -1 -0.5 0.5 1 1.5
- /2 0 /2
3 "
arccscaD b 3 ln " # D H
D D
H
arccscaHb Hcsc
arccsc" a!b g
arccsc" aAb ecscaAbf A Hcsc
Sec. C.12] Funes circulares complexas inversas 103
2
x= .25
0.2 -0
5 x=
y=0
x=0
y=
5
0.2
1.5
0.2
y=
5
x = 0.5
x = -0.5
5
0.
y
=
=
y
0.
5
5 y=
1 0.7 0 .7
y= 5
1 y=
x = 0.75 y= 1 x = -0.75
0.5
1 x=
x= -1
y=3
x = -1.5
x = -3
x = 1.5
0 y=0 y=0
x=3
y = -3
x= -1
1 x=
-0.5
x = 0.75 y= -1
-1 x = -0.75
y=
y= 5
-0 - 0 .7
-1 .75
y=
.5
y
-0
=
y=
-0
.5
x = -0.5
x = 0.5
y=
5
.2
-1.5
-0
-0
y=
.25
y=0
x=0
x=
5 -0
0.2 . 25
x=
-2
0.5 1 1.5 2 2.5 3
0 /2
1 3 "
arcsecaD b 3 ln " # D H
# D D
H
arcsecaHb Hsec
arcsec" a!b e"f
arcsec" aAb esecaAbf A Hsec
104 Nmeros complexos [Apndice C
1.5
x=0
y =1
y =1
x=0
1
y = 1.5 y = 1.5
x=
-0 0. 5
.5 x=
y = 0.5 y = 0.5
0.5
x= 1 y=2
y=2 -1 x=
-1 x=
y = -2 x= 1 y = -2
y = -1.5 y = -1.5
-1
x=0
y = -1
y = -1
x=0
-1.5
-1.5 -1 -0.5 0.5 1 1.5
- /2 0 /2
3 3D
arctanaD b ln D H
# 3D
H e3 3f
arctanaHb Htan
arctan" a!b e!f
arctan" aAb etanaAbf A Htan
Sec. C.12] Funes circulares complexas inversas 105
1.5
x=0
y = -1
y = -1
x=0
1
y = -1.5 y = -1.5
x= .5
0.5 -0
x=
5 y = -0.5
y = -0.
0.5
x= -1
y = -2 1 x= y = -2
1 x=
y=2 y=2
x= -1
-0.5 y = 0.5
y = 0.5
x=
0.5 -0
x= .5
y = 1.5 y = 1.5
-1
x=0
y =1
y =1
x=0
-1.5
0.5 1 1.5 2 2.5 3
0 /2
1 3 3D
arccotaD b ln D H
# # 3D
H e3 3f
arccotaHb Hcot
arccot" a!b g
arccot" aAb ecotaAbf A Hcot
106 Nmeros complexos [Apndice C
Portanto, temos
<!
D# /3a" lna<b!a)#5 1bb 5 aC.131b
/" a)#5 1b
A expresso aC.131b contm todas as frmulas (de Moivre) anteriormente citadas para a
potenciao:
Se o expoente # real, ento " ! e vem
<!
D! /3a! lna<b!a)#5 1bb <! /3!a)#5 1b 5
/!a)#5 1b
#
# # 78
D 8 < 8 /3 8 a)#51b 5 ! " 8
mdca78b "
D
! ! 3!a)#5 1 b
# ! 3! D < / 5
!3" <! 3a" lna< b!a)#5 1 bb
# ! 3" D /"a)#51b / 5
Sec. C.14] Os complexos e a relao de ordem. Corpos ordenados 107
Com base no conjunto dos elementos positivos, possvel definir em uma relao
de ordem estrita total, pondo para quaisquer B,C :
B C C B aC.132b
Demonstrao:
i) A relao tricotmica: Sejam B C ; ento, por O1:
B C aB Cb B C !
Observe que, na demonstrao anterior, O3 no interveio, o que significa que aC132b define
uma relao de ordem estrita total em , mesmo que no seja fechado em relao ao
produto. Como B B !, de aC132b vem
B ! B aC.133b
ii) " !
iii) B ! C ! BC !
iv) B ! C ! BC !
v) B ! C ! BC !
vi) B C D ! BD CD
vii) B C D ! BD CD
viii) B ! B" !
ix) B ! B" !
x) D ! BD CD B C
xi) D ! BD CD B C
xiv) B C B D C D
xv) B C D A B D C A
Demonstrao:
i) Por O1, se B ! ento B ou B ; mas, por O3, no primeiro caso
B B B e, no segundo caso, ser aBb aBb B# . Portanto, sempre
#
B# , para B !.
ii) Da alnea anterior resulta " "# !.
iii) Trata-se apenas de outra maneira de escrever O3.
iv) Tem-se sucessivamente:
B ! C ! B C aBbaCb BC BC !
v) B ! C ! B C
BaCb aBCb BC !
vi) B C D ! C B D
aC BbD CD BD BD CD
110 Nmeros complexos [Apndice C
vii) B C D ! C B D
aC BbaD b BD CD BD CD
viii) B ! B ! BB" " B" ! (se fosse B" !, ento v) implicava que
"
BB " !, contrariando ii)).
ix) Demonstrao idntica anterior.
x) De viii) conclui-se ser D " ! e de vi) vem BD CD BDD " CDD " B C.
xi) Resulta de vii) e ix).
xii) De viii) resulta aBCb" ! e, por aplicao de vi), vem:
B C aBCb" B aBCb" C C" B" .
xiii) Tem demonstrao semelhante anterior.
xiv) B C C B aC D b aB D b B D C D .
Para a recproca, basta substituir D por D .
xv) B C D A B D C D C D C A B D C A.
i +
C
_ 1=i 2>0 2
1=1 >0
R R
+
C
Facilmente se reconhece que est nas condies de O1 e O2; portanto, a relao aC132b
induzida por pondo, para quaisquer D B 3C A ? 3@
Sec. C.15] Equao do 2 grau 111
D A A D
ou seja,
B 3C ? 3@ a? Bb 3a@ Cb ! ? B a? B ! ! @ Cb
B ? aB ? C @b
uma ordem estrita total, chamada ordem lexicogrfica, dada a sua identificao com a
ordenao das palavras num dicionrio (neste caso, com palavras de apenas duas letras ).
Com vista a fazermos a interpretao geomtrica da relao anterior, sejam ^ e [ as
imagens geomtricas de D e de A respectivamente, no plano de Argand: a expresso
B ? aB ? C @b significa que D A se e s se ^ est para a esquerda da vertical que
passa por [ ou se, estando ^ e [ na mesma vertical, ^ se encontra abaixo de [ (ver figura
C.70, direita).
Porm, vamos ver que o conjunto de complexos positivos definido por aC.137b no
satisfaz O3, visto que, por exemplo, 3 mas 3 3 3# " (ver figura C.70,
esquerda).
O exemplo anterior mostra que possvel definir em relaes de ordem estrita; porm, no
caso de , existe uma contradio insanvel nos axiomas O1, O2 e O3 (mais especificamente,
O1 e O3): vimos na proposio C.10.i que O1 e O3 implicam que, para qualquer D , dever
ser D # !; em particular, fazendo D " e D 3, ser
" ! "# " ! "
3 ! 3# " ! "
Das implicaes anteriores se conclui que " e " , o que contraria O1! Isto
significa que nenhum subconjunto de complexos positivos poder satisfazer em
simultneo O1 O2 e O3, o que nos permite concluir em definitivo que no um corpo
ordenado. Por esta razo, opta-se por no definir em qualquer relao de ordem. Em
consequncia, no fazem sentido expresses como " #3 $, #/31% " 3 ou " 3 $.
Por sua vez, recorrendo frmula do binmio de Newton, a equao anterior pode escrever-
se na forma
a#+D ,b# ,# %+- ! a#+D ,b# ,# %+-
112 Nmeros complexos [Apndice C
A escrita anterior da equao mostra que tudo se resume a calcular as duas razes quadradas
(simtricas) de ,# %+-. Portanto, vem
#+D , ,# %+-
donde
, ,# %+-
D aC.139b
#+
As frmulas obtidas para W e T mostram que dois nmeros complexos cuja soma e cujo
produto so conhecidos (respectivamente W e T ) podem ser calculados como as solues da
equao do 2 grau
D # WD T ! aC.141b
, %+- ,#
3
#+ #+
Vamos, agora, eliminar o termo do 2 grau: para tal, faamos a mudana de varivel
D B2 aC.145b
onde 2 ser calculado, por forma a conseguir aquele objectivo. Substituindo aC.145b em
aC.143b, obtm-se
a$2 F b B# $2# #F2 G B 2$ F2# G2 H !
B$ aC.146b
!
Fazendo, ento,
#
U $G F
* aC.148b
V *FG #(H #F $
&%
obtm-se, por fim, a desejada equao em B , sem termo do 2 grau
B$ $UB #V ! aC.149b
o que equivale a
?$ @$ #V
?@ aC.151b
U
? $ V V # U$ V ?
@$ V V # U$ V ? aC.152b
Com base na discusso anterior, mostraremos adiante uma implementao de uma funo
chamada Cardano programada em MATHEMATICA e que determina as solues de uma
equao do 3 grau, dada a lista dos coeficientes (por ordem decrescente do grau).
Vamos, agora fazer a discusso da equao do 3 grau com coeficientes reais: se
+ , - . , as igualdades aC.144b e aC.148b mostram que o mesmo sucede com F G H e
com U e V . Por outro lado, as equaes aC.152b mostram que ?$ e @$ sero reais ou complexos
conjugados conforme for V # U$ ! ou V # U$ !. A quantidade
? V # U$
chamada o discriminante da equao aC.149b e desempenha um papel importante na discusso
das solues da equao do 3 grau com coeficientes reais.
Sejam ento ? @ razes cbicas particulares de ?$ e @$ respectivamente e tais que
aC.151b tenha lugar
?@ U
Sendo A /3 $ "# 3 #$ uma raz da unidade, a totalidade a?5 b!5# a@5 b!5# das
#1
Finalmente, as solues aD5 b!5# da equao do 3 grau e coeficientes reais aC.142b sero,
atendendo primeira igualdade aC.147b:
F
D! ? @
$
F " $
D" a? @b 3 a? @b aC.153b
$ # #
D F " a? @b 3 $ a? @b
#
$ # #
Caso ? !:
Neste caso, aC.152b mostra que ? @ . Portanto, em aC.153b, anulam-se as partes
imaginrias de D" e D# , ficando D" D# . Como D! tambm real, conclumos que todas as razes
so reais, sendo que duas, pelo menos, so iguais:
D! F #?
$ aC.154b
D" D# F ?
$
Existe, pois, uma s raz real tripla e, nesta situao, o primeiro membro de aC.142b um
cubo perfeito.
Caso ? !:
Observemos, antes de mais, que nesta situao, dever ser tambm U !, caso contrrio
seria ? V # U$ !. As equaes aC.152b mostram que ?$ e @$ so complexos (no reais)
conjugados (imaginrios puros, se V !) e que a escolha @ ? coerente com o
pressuposto de que ?@ ?? k?k# U !. Ento
? @ ? ? #da?b
? @ ? ? 3#e a?b
Sec. C.16] Equao do 3 grau. Frmulas de Cardano 117
Este precisamente o caso em que se obtm 3 razes reais, aps se ter passado, ao longo do
processo, pelos complexos no reais ? e @.
Exemplo C.20. Vejamos o exemplo, citado por Bombelli em 1572, da obteno da soluo
B % da equao B$ "&B % ! atravs da seguinte expresso, usando o nmero
impossvel "#"
?$ # "#"
@$ # "#"
Portanto,
?
$
# "#"
$
# ""3 # 3
@ # "#"
$ $
# ""3 # 3 ?
MATHEMATICA
Begin["`Private`"]
(*Mensagens de erro*)
ExpRacional::indet = "Resultado indeterminado.";
ExpRacional[z_, e_]:=
Module[{m = Numerator[e], n = Denominator[e]},
If[Abs[z] != 0,
ComplexExpand[Table[Abs[z]^e Exp[I e (Arg[z] + 2 k Pi)], {k, 0, n-1}]],
Which[m == 0, message[ExpRacional::indet],
m < 0, Infinity,
True, {0}
]
]
]
Cardano[coefs_List] :=
Module[{b, c, d, q, r, delta, s, u03, v03, v0, u0, u},
Which[Length[coefs] != 4, Message[Cardano::comperro],
coefs[[1]] == 0, Message[Cardano::zerocoef],
True, b = coefs[[2]]/coefs[[1]]; c = coefs[[3]]/coefs[[1]];
d = coefs[[4]]/coefs[[1]]; q = c/3 - b^2/9;
r = b c/6 - d/2 - b^3/27; delta = r^2 + q^3;
s = Table[-b/3,{3}];
u03 = r + Sqrt[delta];
If[u03==0,
v03 = r - Sqrt[delta];
If[v03 == 0,
s,
v0 = v03^(1/3);
s + Table[v0 Exp[I 2 k Pi/3], {k, -1, 1}]
],
u0 = u03^(1/3);
u = Table[u0 Exp[I 2 k Pi/3], {k, -1, 1}];
s + u - q/u
]
]
]
End[]
EndPackage[]
Sec. C.17] Anexos: complexos e o MATHEMATICA 121
Nas pginas seguintes, mostramos um notebook que ilustra o uso de todas as funes do
MATHEMATICA mencionadas neste apndice e utilizadas na manipulao algbrica dos nmeros
complexos entre as quais:
ContourPlot
ParametricPlot
ALGA`Complexos`
122 Nmeros complexos [Apndice C
Complexos
z = 3 4 I; w = 1 + I;
Re@zD
Im@zD
8Abs@zD, Abs@wD<
Sec. C.17] Anexos: complexos e o MATHEMATICA 123
:5, 2 >
Argumentos principais
8Arg@zD, Arg@wD<
:ArcTanB F, >
4
3 4
% N
80.927295, 0.785398<
8Conjugate@zD, Conjugate@wD<
83 + 4 , 1 <
8z + w, z w<
84 3 , 2 5 <
A soma de z e do seu conjugado igual ao dobro da parte real de z; a diferena i vezes o dobro da parte imaginria
124 Nmeros complexos [Apndice C
8True, True<
zw
zw
1 7
2 2
: , 1, 3 4 , 7 24 >
7 24 3 4
+ , +
625 625 25 25
Abs@zD ^ 2 == z Conjugate@zD
Sec. C.17] Anexos: complexos e o MATHEMATICA 125
True
Exponencial complexa de z e de w
8Exp@zD, Exp@wD<
9 34
, 1+
=
ComplexExpand@%D
9 3
Cos@4D 3
Sin@4D, Cos@1D + Sin@1D=
% N
: >
3 Log@2D Log@2D Log@8D
, , + , Log@2D, +
4 2 2 4 2 4 2
% N
1.0
0.5
-0.5
-1.0
1.0
0.5
-0.5
-1.0
r=
Table@Through@8Re, Im<@Exp@I Sqrt@2D 2 k PiDDD, 8k, 249, 250<D;
1.0
0.5
-0.5
-1.0
Remove@"Global`"D
a = 2; b = I; z = x + I y;
f = Simplify@ComplexExpand@
Hz aL Conjugate@z aD 2 ^ k Hz bL Conjugate@z bDDD;
Sec. C.17] Anexos: complexos e o MATHEMATICA 129
Gerao da lista dos lugares geomtricos dos pontos cuja razo das distncias a dois pontos fixos a = 2 e b = constante
igual a 2k , para k entre 4 e 4
:4 4 x + x2 + y2 Jx2 + H1 + yL N, 4 4 x + x2 + y2 Jx2 + H1 + yL N,
1 2 1 2
16 8
Jx2 + H1 + yL N, 4 4 x + x2 + y2 Jx2 + H1 + yL N,
1 2
1 2
4 4 x + x2 + y2
x2 + H1 + yL , 4 4 x + x2 + y2 2 Jx2 + H1 + yL N, 4 4 x + x2 + y2 4 Jx2 + H1 + yL N,
4 2
2 2 2
4 4 x + x2 + y2
-1
-2
-2 -1 0 1 2 3 4
Remove@"Global`"D
Funo exponencial
Imagem da regio a transformar (obtida desta como imagem pela funo identidade)
Funo logartmica
Imagem da regio a transformar (obtida desta como imagem pela funo identidade)
Inverso geomtrica
Imagem da regio a transformar (obtida desta como imagem pela funo identidade)
1
Imagem da regio anterior por z #
z
Imagem da regio a transformar (obtida desta como imagem pela funo identidade)
Transformao homogrfica
Imagem da regio a transformar (obtida desta como imagem pela funo identidade)
z+
Imagem da regio anterior por z#
z-2
Imagem da regio a transformar (obtida desta como imagem pela funo identidade)
z+
Imagem da regio anterior por z#
z-2
Remove@"Global`"D
Carta de Smith
n = 84, 3, 5, 5, 4, 3, 3<;
80., 0.05, 0.1, 0.15, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 1., 1.2, 1.4,
1.6, 1.8, 2., 2.75, 3.5, 4.25, 5., 6.66667, 8.33333, 10, 23.3333, 36.6667, 50.<
x = Union@Join@r, rDD
850., 36.6667, 23.3333, 10, 8.33333, 6.66667, 5., 4.25, 3.5, 2.75, 2.,
1.8, 1.6, 1.4, 1.2, 1., 0.9, 0.8, 0.7, 0.6, 0.5, 0.4, 0.3, 0.2, 0.15,
0.1, 0.05, 0., 0.05, 0.1, 0.15, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 1., 1.2,
1.4, 1.6, 1.8, 2., 2.75, 3.5, 4.25, 5., 6.66667, 8.33333, 10, 23.3333, 36.6667, 50.<
1.0
0.5
-0.5
-1.0
140 Nmeros complexos [Apndice C
1.0
0.5
-0.5
-1.0
Show@a, bD
Sec. C.17] Anexos: complexos e o MATHEMATICA 141
1.0
0.5
-0.5
-1.0
Funo Sinh
Funo Csch
Funo Tanh
Funo ArcSinh
Funo Sin
144 Nmeros complexos [Apndice C
Funo Csc
Funo Tan
Funo ArcSin
Carregamento do package
<< ALGA`Complexos`
? ExpRacional
ExpRacional@z, mnD devolve a lista de todas as determinaes da potncia de expoente racional mn do complexo z.
Razes cbicas de 1
ExpRacional@1, 1 3D
:1, >
1 3 1 3
+ ,
2 2 2 2
Razes cbicas de
ExpRacional@I, 1 3D
: , >
3 3
+ ,
2 2 2 2
ExpRacional@H1 IL ^ 5, 1 5D
: F+ F, F F,
3 3
2 CosB 2 SinB 2 CosB 2 SinB
20 20 20 20
F+ F, F F, 1 >
3 3
2 CosB 2 SinB 2 CosB 2 SinB
20 20 20 20
% N
148 Nmeros complexos [Apndice C
ExpRacional@I, 3 5D
:
5 5 1 5 5 5 1 5
+ + , , + + ,
8 8 4 4 8 8 4 4
>
1 5 5 5 1 5 5 5
+ + , +
4 4 8 8 4 4 8 8
ExpRacional@3 + 4 I, 3 5D
3 ArcTanB F F + 3 ArcTanB F F,
3 4 3 4
535 CosB 535 SinB
5 3 5 3
7 ArcTanB F F + 7 ArcTanB F F,
3 4 3 4
535 CosB 535 SinB
5 3 5 3
% N
? Cardano
:2 + 3 , 4, 2 3 >
% N
Expand@Hz 2L ^ 2 Hz + 3LD
12 8 z z2 + z3
150 Nmeros complexos [Apndice C
Cardano@81, 1, 8, 12<D
82, 2, 3<
Equao com coeficientes reais (3 razes reais, sendo uma dupla e outra nula)
Expand@z Hz + 2L ^ 2D
4 z + 4 z2 + z3
Cardano@81, 4, 4, 0<D
82, 0, 2<
Equao com coeficientes reais (3 razes reais, sendo uma nula dupla)
Expand@z ^ 2 Hz 4LD
Sec. C.17] Anexos: complexos e o MATHEMATICA 151
4 z2 + z3
Cardano@81, 4, 0, 0<D
80, 4, 0<
Expand@Hz + 2L ^ 3D
8 + 12 z + 6 z2 + z3
82, 2, 2<
20 2 z 4 z2 + z3
Cardano@81, 4, 2, 20<D
83 + , 3 , 2<
Uso da funo Cardano para determinao dos zeros do polinmio x3 + 8 (razes cbicas de -8)
ComplexExpand@Cardano@81, 0, 0, 8<DD
:1 3 , 1+ 3 , 2>
Verificao do resultado
ComplexExpand@% ^ 3D
88, 8, 8<
a = 81, 2, 3, 5<;
Uso da funo Cardano para determinao dos zeros do polinmio anterior x3 2 x2 +3 x+5
z = Cardano@aD
13
23
:
7 2
3
2 173
2 5 3
+ + 3 ,
3 54 6 13
23
7
173 3
9 54
+ 6
13 13
23 23
>
7 2 7
3 3
2 5 173 2 5 3 173 2
+ + , + + 3
3 13 54 6 3 13 54 6
23 23
7 7
173 3 173 3
9 54
+ 6
9 54
+ 6
z N
Verificao do resultado
80, 0, 0<
Remove@zD
H4 + 2 L + H6 2 L z H4 L z2 + z3
Cardano@81, 4 + I, 6 2 I, 4 + 2 I<D
81 , 2 , 1 + <
65 H18 31 L z H1 + 8 L z2 + H2 + L z3
Sec. C.17] Anexos: complexos e o MATHEMATICA 155
Cardano@82 + I, 1 8 I, 18 + 31 I, 65<D
81 + 2 , 3 2 , 2 + 3 <
D
Quaternies
e rotaes 3D
Sec. D.1] Introduo 3
D.1 Introduo
Os quaternies foram decobertos pelo matemtico irlands Sir William Rowan Hamilton1
em 1843. Por essa altura, Hamilton investigava a possibilidade de estender os nmeros
complexos (que podem ser interpretados como pontos num plano e em que a multiplicao est
relacionada com as rotaes do plano) a dimenses superiores a #.
No conseguindo faz-lo para a dimenso $ (o que mais tarde haveria de se provar ser
impossvel), Hamilton dedicou a sua ateno a % e criou os quaternies.
Fig. D.1 Sir William Rowan Hamilton (Dublin 1805 Dunsink 1865).
1 Hamilton, sir William Rowan: matemtico irlands (Dublin 1805 Dunsink 1865).
4 Quaternies e rotaes 3D [Apndice D
definidas no captulo 1, exemplo 1.3); A subtrao ser definida, como em qualquer grupo
abeliano aditivo, mediante
? @ ? @
Sec. D.2] Construo da lgebra dos quaternies 5
propriedades D.1 implicam que ?@ ?< @= /< /= ; portanto, uma tal multiplicao
<" ="
% %
<"="
fica completamente determinada pelos %# "' produtos /< /= dos vectores de uma base / de
% entre si3 ; assim, e designando por
D.1, por meio da seguinte tabela % % contendo os produtos daqueles vectores entre si
os vectores da base cannica de % , definiremos a multiplicao , satisfazendo os requisitos
" 3 4 5
" " 3 4 5
3 3 " 5 4
4 4 5 " 3
5 5 4 3 "
Fig. D.4 Tabela que define os produtos dos quaternies da base cannica.
? ? !5 D.2
Note-se que a tabela da figura D.4 mostra claramente que a multiplicao no comutativa (a
tabela no simtrica em relao diagonal: por exemplo, 34 5 e 43 5). A definio
2 Equivale a dizer que a multiplicao uma funo bilinear em % (ver definio 1.2 no captulo 1).
3 Como cada um destes %# vectores fica determinado por % coordenadas na base /, uma funo bilinear em %
fica, em ltima anlise, definida por %# % %$ '% escalares reais.
4 No contexto dos quaternies, usa-se tambm a designao de unidades imaginrias para 3, 4 e 5 , por ser
3# 33 4# 44 5 # 55 ".
De uma maneira geral, seguiremos a notao E para indicar E !, qualquer que seja o conjunto E
(* !; !, etc).
5
6 Quaternies e rotaes 3D [Apndice D
1.2 do captulo 1 (vol. 1) permite-nos afirmar que uma lgebra linear real no comutativa
(e que veremos ser associativa e com elemento neutro) de dimenso %.
Considerando os vectores (ou quaternies)
? ?! ?" ?# ?$ ?! " ?" 3 ?# 4 ?$ 5
@ @ ! @ " @ # @ $ @ ! " @ " 3 @# 4 @$ 5
Exemplo D.1 O produto dos quaternies " " ! " e # " # "
" " ! "# " # " # " % $
: B C : B : C
! D.4
! ! !
:! B C :! B:! C
: B : ! B B C
:3 D A :3 D :3 A
D A
o que nos mostra que " " ! ! ! elemento neutro (bilateral) da multiplicao
quaterninica .
A propriedade D.6 permite-nos ainda escrever qualquer quaternio ? nas formas
D.10
? ?! " ?" 3 ?# 4 ?$ 5
?! ?" 3 ?# 4 ?$ 5
?! 3?" 4?# 5?$
Qualquer das trs formas anteriores se designa por forma algbrica do quaternio ?. Dado o
d? Sc? ?! D.11
6 Considera-se aqui como espao vectorial real de dimenso #, com a base cannica " 3.
7 Tambm as funes
:4 B! B" 3 B! !3 B" 4 !5
:5 B! B" 3 B! !3 !4 B" 5
e? ?" 3 ?# 4 ?$ 5 ?t $ $ D.14
por D.3 (isto , em geral o produto de dois quaternies puros no um quaternio puro: por
Convm desde j notar que $ no fechado para a multiplicao quaterninica definida
d?@ ?! @! ?t @t
D.16
e?@ ?! @t @! ?t ?t @t $
8 Rodrigues, Benjamim Olinde: matemtico, banqueiro e reformador social francs de famlia portuguesa de
origem judaica (Bordeaux 1795 Paris 1851). Na frmula de Rodrigues, ?t @t e ?t @t designam
respectivamente o produto interno e o produto externo (em $ ) das partes vectoriais ?t e @t de ? e de @.
Sec. D.2] Construo da lgebra dos quaternies 9
Note-se ainda que a parte vectorial de ?@ soma dos dois vectores ortogonais:
?! @t @! ?t ?t @t
?@ @? ?t @t 9t D.17
Demonstrao:
i) A expresso D.3 mostra imediatamente que d?@ ?! @! ?t @t e ainda que:
e?@ ?! @" ?" @! ?# @$ ?$ @# 3
?! @# ?# @! ?$ @" ?" @$ 4
?! @$ ?$ @! ?" @# ?# @" 5
?! @" 3 ?! @# 4 ?! @$ 5 ?" @! 3 ?# @! 4 ?$ @! 5
?# @$ ?$ @# 3 ?$ @" ?" @$ 4 ?" @# ?# @" 5
?! @t @! ?t ?t @t
quaternies anunciada:
@? @! ?! @t ?t @! ?t ?! @t @t ?t
?! @! ?t @t ?! @t @! ?t ?t @t
?@ ?t @t ?t @t
?@ #?t @t
com qualquer quaternio em , ento ele permutar, em particular, com 3 ! " ! ! e com
4 ! ! " !, pelo que se tem, usando a definio D.3:
?3 3? ?" ?! ?$ ?# ?" ?! ?$ ?#
?4 4? ?# ?$ ?! ?" ?# ?$ ?! ?"
?$ ?$ ?# ?# ?# ! ?$ !
?t @t 3 5 3 #4 5 !
?! @! #
?! @t @! ?t "3 #4 5 #3 5 $3 #4 5
" " 3
?t @t ! # 4 #3 #4 #5
" " 5
?@ # ! $3 #4 5 #3 #4 #5 # 3 %4 $5
ii ? @ ? @
9 Observe que a restrio da conjugao a coincide com a noo de conjugao naquele conjunto.
Sec. D.2] Construo da lgebra dos quaternies 11
iv ? ? #e? e? "# ? ? ? ? ?
v ?@ @?
vi ? ?
vii ?t @t "# ?@ @?
ix Se ? ?! ?" 3 ?# 4 ?$ 5 , ento:
?" ! 3? ?3
?# ! 4? ?4
?$ ! 5? ?5
Demonstrao:
i) Dado o quaternio ? ?! ?t, tem-se:
? ?! ?t ?! ?t ?
? @ ?! ?t @! @t ?! @! ?t @t
?! @! ?t @t ?! ?t @! @t ? @
d ? ? ?
"
#
Por ltimo,
? $ d ? ? ? ! ? ? ! ? ?
"
#
Em consequncia, temos:
e ? ? ?
"
#
E finalmente,
? e ? ? ? ! ? ? ! ? ?
"
#
d?@
?! @! ?t @t ?t @t ?@ @?
"
#
!
?? ?!# ?t ?t ?! ?t ?! ?t ?t ?t
?!# ?t ?t ?! ?t ?! ?t 9t
?!# ?t# ?!# ?"# ?## ?$# !
O ltimo resultado obtido vai permitir definir a norma, mdulo ou valor absoluto de um
quaternio:
Definio D.3 Norma Dado um quaternio ? ?! ?" 3 ?# 4 ?$ 5 ?! ?t, a
norma, mdulo ou valor absoluto de ? o nmero real no negativo10
bvio que D.20 coincide com a norma euclidiana definida em % . Da definio anterior
conclui-se ainda que
?# ?? D.22
ii ? ! ? ! ? !
v ? ?
10 Note que, tambm aqui, a restrio da noo de norma aos subconjuntos ou coincide com a
noo de mdulo nestes conjuntos; por outro lado, a restrio da norma a $ coincide com a noo de
norma no espao euclidiano $ .
11 claro que a norma satisfaz todas as propriedades da norma euclidiana em % que vimos no captulo 6, as
quais no reproduziremos aqui na totalidade.
14 Quaternies e rotaes 3D [Apndice D
vi ?@ ?@
vii ? ?
viii ? @ ? @
ix ? @ ? @
Demonstrao:
i Resulta imediatamente da definio.
iii Se ? , ento ? ?# ?
Se ? ?! ?" 3 , ento ? ?!# ?"# ?
iv So consequncias imediatas de d? d? e das desigualdades bvias
?! # ?!# ?!# ?"# ?## ?$# ?#
?t# ?"# ?## ?$# ?!# ?"# ?## ?$# ?#
v Tem-se: ?# ?? ?? ?? ?# .
vi Atendendo a que os reais permutam com qualquer quaternio, temos
?@# ?@?@ ?@@? ?@# ? ??@# ?# @# ?# @#
Com a definio anterior, . uma mtrica sobre pelo que . constitui um espao
mtrico.
A proposio seguinte enuncia algumas das propriedades adicionais da lgebra dos
quaternies:
Proposio D.4 Em , verificam-se as seguintes propriedades:
i A multiplicao quaterninica associativa
?@A ?@A D.24
D.28
"
?#
?" ?
Demonstrao:
i Usando a frmula de Rodrigues e a propriedade 6.123 do produto misto e as propriedades
6.124 do duplo produto externo, obtm-se sucessivamente,
?@A ?! @! ?t @tA! ?! @t @! ?t ?t @t At
?! @! ?t @tAt A! ?! @t @! ?t ?t @t ?! @t @! ?t ?t @t At
?! @! A! A! ?t @t ?! @t At @! ?t At ?t @t At
?! @! At ?t @tAt ?! A! @t @! A! ?t A! ?t @t
?! @t At @! ?t At
?t @t At
?A
t t@
t @A
t t?t
?! @! A! A! ?t @t ?! @t At @! ?t At ?t @t At
?! @! At ?t @tAt ?! A! @t @! A! ?t A! ?t @t
?! @t At @! ?t At ?t At@t @t At?t
16 Quaternies e rotaes 3D [Apndice D
ii) Temos
!? ! !? ! !? !? !? ! !?
?! ! ?! ?! ! ?! ?! ! ?!
Reciprocamente,
?@ ! ? ! @ "@ ?" ?@ ?" ?@ ?" ! !.
iii Como ? , temos "? ?"; por outro lado, a frmula de Rodrigues d-nos
"? " 9t?! ?t "?! 9t ?t "?t ?! 9t 9t ?t ?! ?t ?
B! B" B# B$ seguinte
?! B! ?" B" ?# B# ?$ B$ "
" !
? B ?! B" ?$ B# ?# B$ !
?# B! ?$ B" ?! B# ?" B$
?$ B! ?# B" ?" B# ?! B$
!
!
?! ?$
? ?#
?" ?#
E "
?! ?$
?$ ?!
?# ?$ ?! ?"
?# ?"
a matriz dos coeficientes do sistema anterior e calculemos o seu determinante, usando para tal a
expanso de Laplace segundo a 1 linha. Os cofactores so
?! ?$ ?# ?" ?$ ?#
cof?! ?$ ?! ?" ?! ?# cof?" ?# ?! ?" ?" ?#
?# ?" ?! ?$ ?" ?!
?" ?! ?# ?" ?! ?$
cof?# ?# ?$ ?" ?# ?# cof?$ ?# ?$ ?! ?$ ?#
?$ ?# ?! ?$ ?# ?"
Ento, fica:
detE ?! cof?! ?" cof?" ?# cof?# ?$ cof?$
?!# ?# ?"# ?# ?## ?# ?$# ?#
?!# ?"# ?## ?$# ?#
? %
resolver-se pela regra de Cramer, o que resulta em:
" ?" ?# ?$
" ! ?! ?$ ?#
% ! ?! ?#
" ?!
? ?! ?" ? ? #
B!
! ?# ?" ?!
?$ %
?! " ?# ?$
" ?" ! ?$ ?#
% ? ?" ?# " #
" ?
? # ! ?! ?" ? ?
B"
$ !
%
? ! ? ?
?! ?" " ?$
"
" ?" ?! ! ?#
% ? ?# ?# # #
" ?
? # " ?
?
B#
?$ ?# ! ?!
? ! ? %
$
18 Quaternies e rotaes 3D [Apndice D
?! "
" ?" !
?" ?#
?$ ?# $ #
" ?
?% ?# ! ?
?! ?$
?
B$
?$ !
?$ ?! %
?# ?"
# ?! ?" ?# ?$
" "
? ?#
B. ?
Como vimos antes, o inverso de ? esquerda existe sse existe o inverso de ? direita, ou
seja, sse for ? !, o que equivale a ? !. Portanto, se for ? !, existem ambos os inversos
(e sero iguais e nicos, como vimos atrs): trata-se, portanto, de um inverso bilateral que
designaremos por ?" e dado por
"
? #
?" ? se ? !
? ".
v A equivalncia ? " ?" ? consequncia imediata da igualdade anterior, por ser
Por tudo o que vimos anteriormente, conclui-se que , dotado das trs operaes
anteriormente referidas (adio quaterninica, multiplicao de real por quaternio e
multiplicao quaterninica) constitui um espao linear real de dimenso % (% ) e ainda um
corpo no comutativo, portanto, uma lgebra de diviso normada de dimenso quatro sobre o
corpo dos reais.
mesmo acontecendo com o conjunto " dos quaternies unitrios e com " 3 4 5,
O conjunto dos quaternies no nulos , pois, um grupo multiplicativo no comutativo, o
i ?" " ?
"
iv ? ?" ?
Demonstrao:
i consequncia imediata da definio.
ii Resulta de ser
?@@" ?" ?"?" ??" "
@" ?" ?@ @" "@ @" @ "
?#
" "
iii Se ? , ento ?" ? ?# ? ?" .
?# ?#
" "
iv Se ? , ento ?" ? ? ?" .
?! @! ?t @t ?! @t @! ?t ?t @t D.30
"
@#
?@ ?@"
?! @! ?t @t ?! @t @! ?t ?t @t D.31
"
@#
?@ @" ?
8 D.32
?! "
? ?8" ? 8 !
20 Quaternies e rotaes 3D [Apndice D
Se ? e 8 , ser
?8 ?" ; 8 ! D.33
8
Se ? , ento ?"
"
?
.
Se ? e 8 , ento ?8 ?8 .
Da frmula D.15 de Rodrigues resulta, com ? ?! ?t e visto que ?t ?t 9t,
?# ?!# ?t# #?! ?t D.35
A ltima equao tem a soluo /! ! /t 9t. Porm, a segunda destas solues no serve
ao sistema, visto que, se fosse /t 9t, ento a 1 equao daria /#! ", o que impossvel por
ser /! . Ento, dever ser /! ! e a 1 equao fica ento equivalente a /t# ". Portanto,
as solues do sistema so todos os quaternies ? da forma
/ ! /t /" 3 /# 4 /$ 5 " $ onde /t# /#" /## /#$ "
Sec. D.2] Construo da lgebra dos quaternies 21
(bem como 3 4 5 "$ 3 #4 #5, etc) so casos particulares. Com um argumento similar
numa superfcie esfrica de raio " e centro na origem e dos quais as unidades imaginrias 3 4 5
Vimos que um quaternio raiz quadrada de " sse ele est em " $ . Vamos agora ver
que, para cada /t " $ , a funo :/t B C3 B C/t um homomorfismo
injectivo de em , isto 12 ,
: D D w : D @ D w
:/t D :/t D
/t /t
BB CC BC B C /t :/t D D
" 9t
w w w w w
?t
?t
em que /t " $ uma raiz quadrada de ";
Se ?t 9t, ento ? :/t ?! !3 ?! !/t qualquer que seja /t, visto que ?t ! e
continuar a ser ? :/t :/t .
t " $
/ t " $
/
12 Os casos mencionados na pgina 0 e na nota de rodap 7 so casos particulares desta situao, com /t 3, /t 4
e /t 5 .
22 Quaternies e rotaes 3D [Apndice D
^ D.37
+
+ ,
+ ,
,
A funo : , portanto, um mergulho do corpo dos complexos no anel das matrizes reais de
2 ordem (alm de uma funo linear do espao vectorial real de dimenso # no espao
vectorial real ## ), pelo que o contradomnio w :
, +
+ , um
+ ,
corpo isomorfo de e que constitui tambm um subespao de ## com dimenso # e cuja base
formada pelas matrizes
M# M
" !
" ! ! "
! "
?! ?" 3 ?# ?$ 34
? ?! ?" 3 ?# 4 ?$ 5 ?! ?" 3 ?# 4 ?$ 34
D A"
D" D# A" A#
# D" A#
Y " ! D.40
?# ?$ 3 ?! ?" 3
D D# ? ?" 3 ?# ?$ 3
D# D"
0 ## ?! ?" 3 ?# 4 ?$ 5 !
?# ?$ 3 ?! ?" 3
? ?" 3 ?# ?$ 3
w "
D" " #
D D
D D#
D#
M# M N O
! " ! 3 " ! 3 !
" ! 3 ! ! " ! 3
Estas matrizes correspondem a " 3 4 5 e, como seria expectvel, os 16 produtos entre estas
matrizes so dados pela tabela seguinte (semelhante tabela da figura D.4)
M# M N O
M# M# M N O
M M M# O N
N N O M# M
O O N M M#
Fig. D.6 Tabela que define os produtos das matrizes da base de w entre si.
Observaes:
?# D" # D# # detY .
A representao matricial de ?
D"
Y 13 .
D" D#
D#
Se ? " unitrio (isto , ? "), ento detY " e a igualdade ?? "
(? ?) resulta matricialmente em Y Y M# , isto , Y matriz unitria (Y " Y ).
"
?! ?$
?" ?#
?" ?#
%% D.41
?! ?$
?$ ?!
?# ?$ ?! ?"
?# ?"
Agora, a funo
?! ?$
?" ?#
?" ?#
' %% ?! ?" 3 ?# 4 ?$ 5
?! ?$
?$ ?!
?# ?$ ?! ?"
?# ?"
constitui um homomorfismo injectivo de no espao real (de dimenso "') das matrizes reais
de 4 ordem: para quaisquer e ? @ , temos
' ? @ ' ? ' @
' @ ' @
' ?@ ' ?' @
" ! ! ! ! ! ! "
! ! " ! ! " ! !
! ! " ! ! " ! !
M% M N O
" ! ! ! ! ! ! "
! " ! ! ! ! " !
! ! " ! ! ! ! " " ! ! ! ! " ! !
! ! ! " " ! ! !
?! ?$
? ?#
?" ?#
Se Y " a representao matricial real de um quaternio
?! ?$
?$ ?!
?# ?$ ?! ?"
?# ?"
? ?! ?" 3 ?# 4 ?$ 5 , ento:
Se ? (isto , ?" ?# ?$ !), ento Y ?M% matriz escalar.
simtrica UT Y .
Se ? $ um quaternio puro (isto , ?! ! ou ? ?), ento Y matriz anti-
?! ?$
? ?#
?" ?#
A representao matricial de ? " Y T.
?! ?$
?$ ?!
?# ?$ ?! ?"
?# ?"
26 Quaternies e rotaes 3D [Apndice D
sgn? D.42
"
?
? ?
Se ? , ento sgn?
?
?
.
Se ? , temos
? ?cos)! sin)! /t, D.43.1
Se ? ?! 9t , ento
? ? ?! cos)! sin)! /t, D.43.2
Demonstrao:
Se ? , teremos ?t 9t. Sabemos (proposio D.3.iv) que
?! ? e ?t ?
?t
?!# ?t# ?# "
# #
?!
? ?
?t
? sgn?t ?cos)! sin)! /t,
?!
? ?
onde )! ! 1 e /t sgn?t ?t ?
"
t " $ nico.
Se ? ?! 9t , ento
? ?!
)! arccos arccossgn?! 1 ? !
?!
! ?! !
cos)! sgn?! sin)! !
?! !
pelo que sin)! /t 9t, qualquer que seja /t " $ . Ento, fica
a ? ?! cos)! sin)! /t
t " $
/
?! $
? $ % % " "# #$
?t % % " $
sgn?t #3 #4 5
"
$
$
) arccos arccos 1
# $
" #
# $
Ento, fica
Observaes:
Como as funes cos e sin so peridicas de perodo #1, cada quaternio no nulo tem
? ?cos) sin)sgn?t
?cos) sin)/t D.45
?cos) sin)/t
Demonstrao:
i) Suponhamos que 8 ! e usemos o mtodo de induo: para 8 !, a frmula
obviamente vlida.
Se for ? , ?t 9t e supondo que a frmula vlida para 8, mostremos que
ainda vale para 8 ", usando a frmula de Rodrigues, atendendo a que /t /t " e /t /t 9t e
recorrendo s frmulas da adio para sin e cos:
cos) sin)/t
" "
? ?
?" #?
?8 cos8) sin8)/t
? # " " #
?! #
#
) arccos
1
# %
/t sgn?t 3 5
#
"
?$ #$ cos 3 5
% #
$1 $1 "
sin
%
# # "
) 3 5
# #
#
%# %3 %5
claro que, se ? !, ento @ !. Vejamos agora que a frmula de Moivre ainda vlida
para expoente "8 e ? , como mostramos na
Sec. D.5] Forma trigonomtrica 31
@5 ? 8 ? 8 cos )#5 1
sin )#5 1
/t D.47
" "
8 8
ii) Se ? , ento ? tem uma infinidade (no numervel) de razes de ndice 8, dadas
por
8 8
Demonstrao:
i) Se ? e pondo @ @cos: sin:sgn@t e atendendo frmula de Moivre
para expoente inteiro, a equao @8 ? escreve-se, com /t sgn?t:
@8 cos8: sin8:sgn@t ?cos) sin)/t
Isto equivale a
@8 ? b 8: ) #51 sgn@t /t
5
Ou seja,
@ ? 8 b : sgn@t /t
" ) #51
5 8
? 8 cos )#5 1
sin )#5 1
/t 5 ! " 8 "
"
8 8
t ?cos 1 #51
sin1 #51 /t ? ?
8
@5/
" !
ou seja,
@8 ? b 8: 1 #51 @ ? 8 b :
"
1 #5 1
5 5 8
8 8
5 ! " 8 ".
8 8 repetidos, pelo que no conduzem a razes distintas das j obtidas com
8 8 8
Estas repeties nos @5/t podem evitar-se escolhendo /t " $ por forma a que a sua
primeira componente no nula seja ! ou limitando os valores de 5 .
Sec. D.5] Forma trigonomtrica 33
ou seja,
@# ? b #: #51 @ ? b : 51
5 5
ou seja,
@8 ? b 8: #51 @ ? 8 b :
"
#5 1
5 5 8
8 8 8
Estas repeties nos @5/t podem evitar-se escolhendo /t " $ por forma a que a sua
primeira componente no nula seja ! ou limitando os valores de 5 , q.e.d.
34 Quaternies e rotaes 3D [Apndice D
? % % " $
) arccos !$ 1#
@5 $cos # # sin # # $ #3 #4 5 5 ! "
1 1
#5 1 #5 1 "
Exemplo D.6 As razes cbicas de ? " so (por ser ) ! e ? "), por D.49,
@5/t cos #5$1 sin #5$1 /
t 5 ! " # /t " $
Somos conduzidos a:
@!/t "
@"/t cos #$1 sin #$1 /t #"
$
t
# / onde /t " $
@#/t cos %$1 sin %$1 /t "#
$ $
"# # /
# /
t t
ao conjunto ! "):
obtermos todas as razes, podemos considerar apenas as duas situaes seguintes (limitando 5
@
"
$ onde /t " $
"# t
# /
Poderamos tambm ter considerado 5 ! " #, mas escolher apenas os /t cuja primeira
componente no nula seja !.
Para todo o /t " $ (unitrio e puro), "# #$ /t , de facto, raiz cbica de ", como se
mostra a seguir, usando sucessivamente D.35 e D.15 para determinar o cubo:
$ $ $ $ $
"# "# "# # / "# # / # # /
$ #
" " $
#
t
/ #
t
/ t t t % % "
Sec. D.6] Rotaes 3D 35
Portanto, existe uma infinidade (que nem sequer numervel) de razes cbicas de "; em
$ $
particular, so razes cbicas de " os quaternies "# # 3 (que esto em ), "# # 4 e
$
"# # 5
D.6 Rotaes 3D
Estudaremos agora as rotaes em $ , dados
O eixo de rotao atravs de um vector unitrio /t $ .
O ngulo de rotao ) .
O principal resultado traduz-se na chamada frmula de rotao de Rodrigues que passamos a
demonstrar:
Proposio D.9 frmula de rotao de Rodrigues A rotao V $ $ Bt V Bt
de um ngulo ) em torno de um eixo definido por um vector unitrio /t definida por
V Bt cos)Bt sin)/t Bt " cos)/t Bt/t D.50
Demonstrao:
Comecemos por observar que:
Se ) #51, ento P/t o subespao prprio de V associado ao valor prprio - ", de
multiplicidade geomtrica ".
Se ) #51, ento - " ainda valor prprio de V (de multiplicidade geomtrica $) e o
respectivo subespao prprio $ , sendo que V I$ .
36 Quaternies e rotaes 3D [Apndice D
L( )
e = e
n
L( )
L( )
n
n
n
Para estudar a rotao de Bt8 em torno de /t, vamos usar a base ortogonal de P/t ,
constituda pelo vector Bt8 e pelo vector ?t /t Bt8 simultaneamente ortogonal a /t e a Bt8
?t /t Bt8 /t Bt /t Bt/t /t Bt /t /t Bt/t /t Bt 9t /t Bt
isometria implica ainda que V Bt8 Bt8 ?t; ento (ver figura D.7):
"
Bt8 ?t#
#
Bt8 ?t
Para obter D.51, recorremos frmula 6.124 para o duplo produto externo e atendemos
ao facto de ser /t um vector unitrio:
/t /t Bt /t Bt/t /
t t /t Bt/t Bt
t /B
"
Daqui se tira que /t Bt/t Bt /t /t Bt e basta agora substituir esta em D.50 para
obter D.51, q.e.d.
V Bt cos)Bt sin)/t Bt " cos)/t Bt/t
cos)Bt sin)/t Bt " cos)Bt /t /t Bt
Bt sin)/t Bt " cos)/t /t Bt
Observaes:
Observe como, fazendo ) #51 com 5 em D.52 resulta, como era esperado,
V I$ .
A relao funcional D.52 tem, claro est, a respectiva forma matricial na base cannica
- t3 t4 5t de $ :
Podemos ainda dar expresso matricial anterior uma outra forma, que passamos a
deduzir: seja /t /"t3 /#t4 /$ 5t e determinemos 0Bt:
/" B" t3
0Bt /t Bt /# B# t4 /# B$ /$ B# t3 /$ B" /" B$ t4 /" B# /# B" 5t
/$ B$ 5t
! /$ /#
Q- 0
/# /" !
/$ ! /"
Atendendo a que /t# /#" /## /#$ " e fazendo I /" /# /$ T (matriz-coluna das
coordenadas de /t), a matriz (simtrica) de 0 0 ser (ver 3.29 no captulo 3):
/# /$ /" /$
Q- 0 0 Q- 0
# #
/" /#
/ / /#" /##
# # #
/# /" /" /$ /# /$
$ " /$ /#
/ " " /" /# /" /$
#
/ / /$ /# /#$ "
/# /" /## " /# /$
$ "
/ / / / /#
/# /" /## /# /$ M$
$ " $ # $
II T M$
! /$ /# D.54
em que Q- 0 /$ ! /" e I /" /# /$ T
/# /" !
Sec. D.7] Rotaes 3D com quaternies 39
Exemplo D.7 Vamos determinar a matriz de uma rotao de 1$ em torno do eixo definido
por @t #3t #4t 5t. Temos
Ento
Facilmente se verifica que a matriz anterior ortogonal e tem determinante igual a ".
Seja B B! Bt e C C! Ct V? B. Ento:
i) V? Vsgn? .
t ), ento V? B B.
Equivale a dizer que, quando B B! ?t, com B! , fica V? B B.
iv) Se B permuta com ? (isto , Bt ?t 9t ou ainda Bt ?
Demonstrao:
V? B ?B?"
"
?#
?B?
?sgn?B?sgn?
"
?#
sgn?Bsgn? sgn?Bsgn?
"
Vsgn? B
ii) Temos
V? B Bw ?B Bw ?" ?B?" ?Bw ?" V? B V? Bw
# ?B B?
" "
? ?#
?#B! ?
# ?
#B! #B!
? ?
#
# ??
#B!
?@B@" ?" V? V@ B V? V@ B
Provmos, assim, que V?@ V? V@ . Devido a esta igualdade e atendendo a que V" I ,
temos
I V" V??" V? V?"
I V" V?" ? V?" V?
42 Quaternies e rotaes 3D [Apndice D
Demonstrao:
O quaternio ? ?! ?t cos )# sin )# /t unitrio, pelo que ?" ? ?! ?t, onde
?! cos )#
?t sin ) /t 1
#
?t Bt ?t ?t ?tBt ?t Bt?t
Bt ?t ?t Bt
Sec. D.7] Rotaes 3D com quaternies 43
Confirmando o resultado obtido no exemplo D.7, a imagem do ponto Bt t3 $4t #5t ser:
V? t3 $4t #5t #$ $"t3 $" t4 "' 5tt3 $4t #5t #$ "$t3 "$ t4 "' 5t
Observaes:
Vimos anteriormente que V?@ V? V@ e V? " V?" : compor as rotaes
caracterizadas por ? e por @ corresponde a multiplicar os quaternies ? e @; inverter uma
rotao corresponde a inverter o quaternio ? que a caracteriza.
A correspondncia entre os quaternies unitrios ? cos )# sin )# /t " e as
rotaes no biunvoca, como resulta de ser
V? B ?B?" ?B?" V? B
e, portanto, V? V? . Os quaternies ? e ? definem a mesma rotao.
Alm disso, a descrio de ? " em termos do par /
t ) no nica, visto que, se
) )
? cos # sin # /t, ento
o que mostra que ele corresponde a uma rotao de um ngulo ) em torno do eixo /t ou ainda
a uma rotao de um ngulo ) em torno do eixo /t (ver figura D.8).
A rotao de um ngulo ) em torno de /t associada a ? cos )# sin )# /t coincide com
a rotao de um ngulo ) #1 em torno de /t e o quaternio correspondente a esta ser
cos )#
#
1
sin )#
#
1
/t cos )# 1 sin )# 1/t cos )# sin )# /t ?
- -
- -
u u u -1 u -1
Fig. D.8 Rotaes e quaternies.
transio /
t ) ? faz-se mediante
quaternio unitrio ? cos # sin # /t ?! ?" 3 ?# 4 ?$ 5 ?! ?t. Portanto, a
/t sin ) ?t "
"?#!
" "
"cos# )#
?t /t ?t
# #
Sec. D.8] Anexos: quaternies e o MATHEMATICA 45
Por outro lado, sabemos que a matriz Q- V da rotao V associada ao par eixo-ngulo
/
t ) dada por D.54. Mas
cos) cos# #) sin# )# cos# )# " #?!# "
sin) #sin )# cos )# #?! sin )#
" cos) " cos# )# sin# )# " " #sin# )# #sin# )#
w ! ?$ ?# ,
)
Y sin # Q- 0
!
?$ ! ?"
? # ?"
ou ainda
Q- V? #?" ?# #?! ?$
#?" ?# #?! ?$
MATHEMATICA
MatrizRotacao::usage =
"MatrizDeRotacao[v,\[Theta]] calcula a matriz cannica da rotao de ngulo \[Theta] em torno
de v."
Unidade
Constante que representa o quaternio unidade " ! ! !.
Nulo
Constante que representa o quaternio nulo ! ! ! !.
RealPart[q]
Devolve a parte real de q, como quaternio.
46 Quaternies e rotaes 3D [Apndice D
ImagPart[q]
Devolve a parte imaginria de q, como quaternio.
ScalarPart[q]
Devolve a parte escalar de q, como nmero real.
VectorPart[q]
Devolve a parte vectorial de q, como vector 3D.
RealToQuat[x]
Devolve o quaternio x ! ! !.
VectorToQuat[v]
Devolve o quaternio puro cuja parte vectorial v.
Conjugado[q]
Devolve o quaternio conjugado de q.
Produto[q1,q2]
Devolve o produto dos quaternies q1 e q2.
ProdutoRodrigues[q1,q2]
Devolve o produto dos quaternies q1 e q2, usando a frmula de Rodrigues.
Norma[q]
Devolve a norma do quaternio q.
Inverso[q]
Devolve o quaternio inverso de q.
DivisaoDireita[q1,q2]
Devolve a diviso direita do quaternio q1 por q2: q1/q2.
DivisaoEsquerda[q1,q2]
Devolve a diviso esquerda do quaternio q1 por q2: q1\q2.
Potencia[q,n]
Devolve a potncia de base quaterninica q e expoente inteiro n, com algoritmo recursivo.
QuatToMatrixC[q]
Devolve a matriz complexa # # correspondente ao quaternio q.
QuatToMatrixR[q]
Devolve a matriz real % % correspondente ao quaternio q.
MatrixCToQuat[m]
Sec. D.8] Anexos: quaternies e o MATHEMATICA 47
RotRodrigues[x,v,)]
Devolve a imagem do vector x por meio da rotao de ngulo ) em torno do eixo v, usando a
frmula de Rodrigues.
RotQuaterniao[x,v,)]
Devolve a imagem do vector x por meio da rotao de ngulo ) em torno do eixo v, usando a
multiplicao de quaternies.
MatrizRotacao[v,)]
Calcula a matriz cannica da rotao de ngulo ) em torno de v.
De seguida, apresentamos o cdigo do package ALGA`Quaternioes`, que implementa as
funes apresentadas anteriormente.
BeginPackage["ALGA`Quaternioes`"]
Nulo::usage =
"Representa o quaternio nulo {0,0,0,0}."
RealPart::usage =
"RealPart[q] devolve a parte real de q, como quaternio."
ImagPart::usage =
"ImagPart[q] devolve a parte imaginria de q, como quaternio."
ScalarPart::usage =
"ScalarPart[q] devolve a parte escalar de q, como nmero real."
VectorPart::usage =
"VectorPart[q] devolve a parte vectorial de q, como vector 3D."
RealToQuat::usage =
"RealToQuat[x] devolve o quaternio {x,0,0,0}."
VectorToQuat::usage =
"VectorToQuat[v] devolve o quaternio puro cuja parte vectorial v."
Conjugado::usage =
"Conjugado[q] devolve o quaternio conjugado de q."
Produto::usage =
"Produto[q1,q2] devolve o produto dos quaternies q1 e q2."
ProdutoRodrigues::usage =
"ProdutoRodrigues[q1,q2] devolve o produto dos quaternies q1 e q2, \
usando a frmula de Rodrigues."
Norma::usage =
"Norma[q] devolve a norma do quaternio q."
Inverso::usage =
"Inverso[q] devolve o quaternio inverso de q."
DivisaoDireita::usage =
"DivisaoDireita[q1,q2] devolve a diviso direita do quaternio q1 por q2: q1/q2."
DivisaoEsquerda::usage =
"DivisaoEsquerda[q1,q2] devolve a diviso esquerda do quaternio q1 por q2: \
q1\\q2."
Potencia::usage =
"Potencia[q,n] devolve a potncia de base quaterninica q e expoente inteiro n."
QuatToMatrixC::usage =
"QuatToMatrixC[q] devolve a matriz complexa 2x2 correspondente ao quaternio q."
QuatToMatrixR::usage =
"QuatToMatrixR[q] devolve a matriz real 4x4 correspondente ao quaternio q."
MatrixCToQuat::usage =
"MatrixCToQuat[m] devolve o quaternio correspondente matriz m complexa 2x2."
Sec. D.8] Anexos: quaternies e o MATHEMATICA 49
MatrixRToQuat::usage =
"MatrixRToQuat[m] devolve o quaternio correspondente matriz m real 4x4."
Sinal::usage =
"Sinal[q] devolve o sinal de q (quaternio unitrio)."
Argumento::usage =
"Argumento[q] devolve o argumento principal de q."
QuatToTrig::usage =
"QuatToTrig[q] converte o quaternio q forma trigonomtrica {r,),sgn}."
TrigToQuat::usage =
"TrigToQuat[lista] converte a forma trigonomtrica de um quaternio na forma \
cartesiana."
PotenciaMoivre::usage =
"PotenciaMoivre[q,n] devolve a potncia de base quaterninica q e expoente \
inteiro n (frmula de Moivre)."
Raiz::usage =
"Raiz[q,n,e] determina a lista das n razes de ndice n do quaternio q \\; \
se q \\{0}, devolve as razes em funo do vector unitrio \
{e[1],e[2],e[3]} " $ ."
RotRodrigues::usage =
"RotRodrigues[x,v,)] devolve a imagem do vector x por meio da rotao de ngulo ) \
em torno de v (frmula de Rodrigues)."
RotQuaterniao::usage =
"RotQuaterniao[x,v,)] devolve a imagem do vector x por meio da rotao de \
ngulo ) em torno de v (com quaternies)."
MatrizRotacao::usage =
"MatrizRotacao[v,)] calcula a matriz cannica da rotao de ngulo ) em \
torno de v."
Begin["`Private`"]
(* Mensagens de erro *)
RealPart::size4 = ImagPart::size4 = ScalarPart::size4 = VectorPart::size4 =
Produto::size4 = ProdutoRodrigues::size4 = Inverso::size4 =
DivisaoDireita::size4 = DivisaoEsquerda::size4 = Potencia::size4 =
QuatToMatrixC::size4 = QuatToMatrixR::size4 = Sinal::size4 =
TrigToQuat::size4 = PotenciaMoivre::size4 = Raiz::size4 =
"O comprimento dos vectores deve ser 4.";
MatrixCToQuat::dim2 =
"A matriz tem que ser complexa de 2 ordem.";
MatrixCToQuat::wrongmatrix =
"A matriz complexa no representa um quaternio.";
MatrixRToQuat::dim4 =
"A matriz tem que ser real de 4 ordem.";
50 Quaternies e rotaes 3D [Apndice D
RotRodrigues::eixonulo = RotQuaterniao::eixonulo =
"O eixo no pode ser o vector nulo.";
(* Forma trigonomtrica *)
(* Implementao da funo PotenciaMoivre *)
PotenciaMoivre[u_?VectorQ,n_Integer]:=
Module[{m,a,s},
If[Length[u]!=4,
Message[PotenciaMoivre::size4],
{m,a,s}=QuatToTrig[u];
TrigToQuat[{m^n,n*a,s}]//Simplify
]
]
(* Rotaes 3D *)
(* Implementao da funo RotRodrigues *)
RotRodrigues[x_?VectorQ,v_?VectorQ,)_]:=
Module[{e},
If[Length[x]!=3||Length[v]!=3,
Message[RotRodrigues::size3],
If[v=={0,0,0},
Message[RotRodrigues::eixonulo],
e=Normalize[v];
Cos[)]*x+Sin[)]*Cross[e,x]+(1-Cos[)])*(e.x)*e
]
]
]
End[]
EndPackage[]
Nas pginas seguintes, mostramos um notebook que ilustra o uso de todas as funes do
MATHEMATICA mencionadas neste apndice, bem como o uso dos quaternies para
implementar rotaes arbitrrias no espao 3D.
Sec. D.8] Anexos: quaternies e o MATHEMATICA 55
Quaternies de Hamilton
ALGA`Quaternioes`
1.1. Multiplicao
u u0, u1, u2, u3; v v0, v1, v2, v3; w w0, w1, w2, w3;
? Produto
Produtou, v
u0 v0 u1 v1 u2 v2 u3 v3, u1 v0 u0 v1 u3 v2 u2 v3,
u2 v0 u3 v1 u0 v2 u1 v3, u3 v0 u2 v1 u1 v2 u0 v3
Produto1, 1, 0, 1, 2, 1, 2, 1
2, 1, 4, 3
Produtou, v ProdutoRodriguesu, v
True
56 Quaternies e rotaes 3D [Apndice D
? RealPart
RealPartu
u0, 0, 0, 0
ImagPartu
0, u1, u2, u3
ScalarPartu
u0
VectorPartu
u1, u2, u3
Produtou, Unidade u
True
Sec. D.8] Anexos: quaternies e o MATHEMATICA 57
ProdutoUnidade, u u
True
u Zero u
Associatividade da multiplicao
True
No comutatividade da multiplicao:
Produtou, v Produtov, u
0, 2 u3 v2 2 u2 v3, 2 u3 v1 2 u1 v3, 2 u2 v1 2 u1 v2
ScalarPartProdutou, v ScalarPartProdutov, u
True
58 Quaternies e rotaes 3D [Apndice D
Produto2, 2, 3, 1, 3, 1, 3, 2
7, 11, 12, 10
Produto3, 1, 3, 2, 2, 2, 3, 1
7, 5, 18, 4
True
True
1.5. Conjugado
Conjugado de um quaternio
Conjugadou
True
1.6. Norma
Normau
Norma1, 2, 3, 4
30
NormaProdutou, v Simplify
Normau Normav
Inversou
Inverso1, 2, 3, 4
1 1 1 2
, , ,
30 15 10 15
Produto, 1, 2, 3, 4
1, 0, 0, 0
Produto1, 2, 3, 4,
1, 0, 0, 0
DivisaoDireita3, 2, 0, 1, 1, 2, 3, 4
,
1 11 1 7
, ,
6 30 2 30
DivisaoEsquerda3, 2, 0, 1, 1, 2, 3, 4
, ,
1 1 1 19
,
6 6 10 30
Mergulho f:
fx_ : x, 0, 0, 0
True
Mergulho f:
True
u 2, 3, 4, 1; v 1, 2, 3, 0;
U QuatToMatrixCu MatrixForm
2 3 4
4 2 3
V QuatToMatrixCv MatrixForm
12 3
3 12
Produtou, v
4, 2, 12, 16
U.V MatrixForm
42 12 16
12 16 4 2
Produtov, u
4, 4, 8, 18
V.U MatrixForm
4 4 8 18
8 18 4 4
Sec. D.8] Anexos: quaternies e o MATHEMATICA 63
Inversou
1 1 2 1
, , ,
15 10 15 30
InverseU MatrixForm
1 2
15 10 15 30
2 1
15 30 15 10
MatrixCToQuatU
2, 3, 4, 1
True
Conjugadou
2, 3, 4, 1
64 Quaternies e rotaes 3D [Apndice D
TransposeConjugateU MatrixForm
2 3 4
4 2 3
Se w unitrio...
w 1 5 2, 1, 2, 4; Normaw
1 0
0 1
u 2, 3, 4, 1; v 1, 2, 3, 0;
U QuatToMatrixRu MatrixForm
2 3 4 1
3 2 1 4
4 1 2 3
1 4 3 2
V QuatToMatrixRv MatrixForm
1 2 3 0
2 1 0 3
3 0 1 2
0 3 2 1
Produtou, v
4, 2, 12, 16
U.V MatrixForm
4 2 12 16
2 4 16 12
12 16 4 2
16 12 2 4
Produtov, u
4, 4, 8, 18
66 Quaternies e rotaes 3D [Apndice D
V.U MatrixForm
4 4 8 18
4 4 18 8
8 18 4 4
18 8 4 4
Inversou
1 1 2 1
, , ,
15 10 15 30
InverseU MatrixForm
1 1 2 1
15 10 15 30
1 1 1 2
10 15 30 15
2 1 1 1
15 30 15 10
1 2 1 1
30 15 10 15
MatrixRToQuatU
2, 3, 4, 1
True
Sec. D.8] Anexos: quaternies e o MATHEMATICA 67
Conjugadou
2, 3, 4, 1
TransposeU MatrixForm
2 3 4 1
3 2 1 4
4 1 2 3
1 4 3 2
Se w unitrio...
w 1 5 2, 1, 2, 4; Normaw
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
68 Quaternies e rotaes 3D [Apndice D
4. Forma trigonomtrica
q Sqrt2, 0, 1, 1;
Normaq
Sinalq
, 0, ,
1 1 1
2 2 2
Argumentoq
QuatToTrigq
2, , 0, 0,
1 1
,
4 2 2
TrigToQuat
2 , 0, 1, 1
5. Frmulas de Moivre
? Potencia
q Sqrt2, 0, 1, 1; n 3;
Potenciaq, n
4 2 , 0, 4, 4
PotenciaMoivreq, n
4 2 , 0, 4, 4
q 1, 2, 1, 1; n 5;
70 Quaternies e rotaes 3D [Apndice D
Potenciaq, n
121 38 19 19
, , ,
16 807 16 807 16 807 16 807
PotenciaMoivreq, n
121 38 19 19
, , ,
16 807 16 807 16 807 16 807
? Raiz
q Sqrt2, 0, 1, 1; n 3;
r Raizq, n, s
, ,
1 3 1 3 1 3 1 1 1 1 3 1 3 1 3
, 0, , , 0, , , 0, ,
2 216 2 223 2 223 216 223 223 2 216 2 223 2 223
Verificao
Sec. D.8] Anexos: quaternies e o MATHEMATICA 71
2 , 0, 1, 1, 2 , 0, 1, 1, 2 , 0, 1, 1
q 0, 2, 2, 1; n 4;
r Raizq, n, s
3 Cos , , 3 Sin , ,
8 8 8 8 8 8
14
, , 14
, ,
8 334 334 334 8 334 334 334
3 Cos , , 3 Sin ,
8 8 8 8 8 8
14
, , 14
, ,
8 334 334 334 8 334 334 334
Verificao
0, 2, 2, 1, 0, 2, 2, 1, 0, 2, 2, 1, 0, 2, 2, 1
q 4, 0, 0, 0; n 3;
72 Quaternies e rotaes 3D [Apndice D
r Raizq, n, s
223 , 0, 0, 0,
1 3 s1 3 s2 3 s3
, , ,
213 213 213 213
Verificao
m 10;
t Tableg GeraE10;
r1 . s1 g1, s2 g2, s3 g3, m
Verificao
4, 0, 0, 0, 4, 0, 0, 0, 4, 0, 0, 0, 4, 0, 0, 0, 4, 0, 0, 0,
4, 0, 0, 0, 4, 0, 0, 0, 4, 0, 0, 0, 4, 0, 0, 0, 4, 0, 0, 0
Sec. D.8] Anexos: quaternies e o MATHEMATICA 73
q 8, 0, 0, 0; n 3;
r Raizq, n, s
Verificao
m 10;
74 Quaternies e rotaes 3D [Apndice D
t Tableg GeraE10;
r1 . s1 g1, s2 g2, s3 g3, m
1, 9 , 1, ,
3 3 6 3 3
, 5 ,2 , 0,
122 122 61 2 2
1, 3 , 1, , 1, 7 ,
6 3 3 7 1 2 3 6 3
, , 7 , , ,3 ,
43 86 86 3 2 3 2 3 86 43 86
1, 8 , 1, 2 ,
3 3 3 3 3 3
, 3 , 10 , 8 , 3
173 173 173 77 77 77
1, 5 , 1, , 1,
6 3 3 6 3 3 5 2 7
, 9 , 5 , 9 ,7 , 5 ,
103 206 206 67 134 134 58 29 58
Verificao
8, 0, 0, 0, 8, 0, 0, 0, 8, 0, 0, 0, 8, 0, 0, 0, 8, 0, 0, 0,
8, 0, 0, 0, 8, 0, 0, 0, 8, 0, 0, 0, 8, 0, 0, 0, 8, 0, 0, 0
q 16, 0, 0, 0; n 2;
r Raizq, n, s
4, 0, 0, 0, 4, 0, 0, 0
Verificao
Sec. D.8] Anexos: quaternies e o MATHEMATICA 75
16 0 0 0
16 0 0 0
q 1, 0, 0, 0; n 2;
r Raizq, n, s
0, s1, s2, s3
Verificao
m 15;
76 Quaternies e rotaes 3D [Apndice D
t Tableg GeraE10;
r1 . s1 g1, s2 g2, s3 g3, m
0, , 0, , 0, ,
4 5 7 1 4 10 4 7 6
,2 , , , , ,
165 33 165 3 13 3 13 3 13 101 101 101
0, 4 , 0, , 0, ,
2 3 3 1 7 2 3 5 2
, , , ,3 , , 5
41 82 82 86 86 43 134 134 67
0, , 0, , 0, ,
7 8 10 3 7 9 3 2 7
, , , , ,2 ,
213 213 213 139 139 139 74 37 74
0, , 0, , 0, ,
7 10 2 8 3 2 9 2 5
, , , , , ,
3 17 3 17 3 17 77 77 77 110 55 22
0, , 0, , 0,
10 9 10 7 8 8 9 10 10
, , , , , ,
281 281 281 177 177 177 281 281 281
Verificao
1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0,
1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0,
1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0
6. Rotaes 3D
Pi 3; v 2, 2, 1;
a MatrizRotacaov, MatrixForm
4 3 3
13 1 1 1
4 3 3
18 18 9 3
1 13 1 1
18 18 9 3
1 1 1 1 5
9 3 9 3 9
A matriz ortogonal...
1 0 0
0 1 0
0 0 1
Deta
x 3, 4, 2;
RotRodriguesx, v, N
RotQuaterniaox, v,
c1 1.5 1, 1, 1; r1 2.5;
e Eixo90, 45;
Posies sucessivas dos slidos anteriores ao logo de uma volta completa em torno do eixo indicado, em incrementos de 45
Sec. D.8] Anexos: quaternies e o MATHEMATICA 79
G TableGraphics3D
Yellow, SphereRotQuaterniaoc1, e, 135 i 45 j Degree, r1,
CylinderRotQuaterniaop1, e, 135 i 45 j Degree,
RotQuaterniaop2, e, 135 i 45 j Degree, rc,
Green, SphereRotQuaterniaoc2, e, 135 i 45 j Degree, r2,
Black, Thick, Line7 e, 7 e,
SphericalRegion True, ViewPoint Pi, 3 Pi 4, 3 2,
PlotRange 6, 6, 6, 6, 6, 6, Axes True,
AxesLabel "x", "y", "z", Ticks None,
PlotLabel " " ToString135 i 45 j "",
i, 0, 2, j, 0, 2;
Bibliografia
[29] MAGALHES, LUS T. lgebra Linear como introduo Matemtica Aplicada. Texto
Editora, Lisboa, 1990.
[30] MATOS, ISABEL T. Tpicos de lgebra Linear, no site do ISEL em
http://www.deetc.isel.ipl.pt/paginaspessoais/isabelteixeira/Alg/documentos/
AL_ApontamentosTeoria.pdf.
[31] MAZZOLA, G., MILMEISTER, G., WEISSMANN, J. Comprehensive Mathematics for
Computer Scientists 1 & 2, Springer-Verlag, Berlin Heidelberg New York, 2004.
[32] MC DUFFEE, C. C. The Theory of Matrices, 1946.
[33] MESSIAS, MANUEL J. A. Sebenta de lgebra Linear. Reprografia do ISEL, Lisboa, 2000.
[34] MONTEIRO, ANTNIO. lgebra Linear-Espaos vectoriais e transformaes lineares. Editora
Verlag Dashfer, Lisboa, 2011.
[35] MONTEIRO, ANTNIO. lgebra Linear e Geometria Analtica. Editora McGraw-Hill de
Portugal, Lda , Lisboa, 2001.
[36] MONTEIRO, ANTNIO. Matrizes. Editora Verlag Dashfer, Lisboa, 2011.
[37] POOLE, DAVID. Linear Algebra: a modern introduction. Thomson Brooks/Cole, USA, Canada,
Mexico, Spain, 2011.
[38] RIBEIRO, CARLOS M. lgebra Linear e Geometria Analtica, Volume 1, no site do ISEL em
http://www.deetc.isel.ipl.pt/paginaspessoais/carlosribeiro/Apontamentos.htm.
[39] RIBEIRO, CARLOS M. lgebra Linear e Geometria Analtica, Volume 2, no site do ISEL em
http://www.deetc.isel.ipl.pt/paginaspessoais/carlosribeiro/Apontamentos.htm.
[40] RIBEIRO, CARLOS M. lgebra Linear e Geometria Analtica, Volume 3, no site do ISEL em
http://www.deetc.isel.ipl.pt/paginaspessoais/carlosribeiro/Apontamentos.htm.
[41] RIBEIRO, CARLOS M. lgebra Linear e Geometria Analtica, Apndices, no site do ISEL em
http://www.deetc.isel.ipl.pt/paginaspessoais/carlosribeiro/Apontamentos.htm.
[42] RIBEIRO, CARLOS M. Problemas de lgebra Linear, no site do ISEL em
http://www.deetc.isel.ipl.pt/paginaspessoais/carlosribeiro/Apontamentos.htm.
[43] RIBEIRO, CARLOS M. Testes, Exames e suas Correces, no site do ISEL em
http://www.deetc.isel.ipl.pt/paginaspessoais/carlosribeiro/ProvasAnt.htm.
[44] SERGE LANG. Algebra, Addison-Wesley, Reading, Mass., 1965.
[45] SOMMERVILLE, D. M. Y. Analytical Geometry of Three Dimensions, 1951.
[46] STOLL, ROBERT R. Sets, Logic and Axiomatic Theories. W. H. Freeman and Company, San
Francisco, 1974.
[47] STRANG, GILBERT. Introduction to Linear Algebra, Fourth Edition, 2009.
[48] SUPPES, P. Axiomatic Set Theory. Dover Publications, Inc., New York, 1972.
[49] VRIOS AUTORES. Dictionnaire des Mathmatiques: algbre, analyse, gomtrie.
Encyclopdia Universalis Albin Michel, Paris, 1997.
[50] WOLFRAM STEPHEN. The MATHEMATICA Book, Fourth Edition. Wolfram Media
Cambridge University Press.
Carta de Smith
0.12 0.13
0.11 0.14
0.38 0.37 0.15
0.1 0.39 0.36
90
100 80 0.35
9 0.4 0.1
0.0 6
45
50
1 110 40 70 0.3
0.4
1.0
4
0.9
1.2
0.1
55
.08
0.8
0 7
35
1.4
2 0.3
0.7
60
0.4 12
0 3
0.6 60
)
/Yo
1.6
0.
07 (+jB 18
0. CE 30 0.
43 AN 32
1.8
0. PT 0.2
CE 50
5 65
0
13 SU
S
0
2.
VE
06
0.
0.
TI 25
19
0.
CI
44
0.
PA
31
0.
A
70
C
R 0.4
O
0
),
40
14
5
0.2
0.
0.0
o
/Z
5
0.3
20
0.4
jX
(+
0
NT
3.
75
0.6
NE
PO
4
0.2
0.0
OM
6
0.2
0
0.3
30
1
15
0.4
9
EC
0.8 15
>
R
4.0
80
NC
TA
TO
0.2
AC
1.
ERA
0.2
0.4
2
RE
5.0
8
1.
GEN
160
0.2
IVE
20
85
UCT
10
ARD
8
0.
IND
0.23
0.48
0.27
TOW
ANG
90
0.6
ANGL
NGTHS
LE OF
10
E OF R
0
0.1
17
0.4
TRANSM
0.24
0.0 > WAVELE
0.49
0.26
EFLECTION COEFFICIENT IN
20
0.2
ISSION COEFFICIENT IN
50
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1.0
1.2
1.4
1.6
1.8
2.0
3.0
4.0
5.0
10
20
50
0.25
0.25
180
0.0
50
RESISTANCE COMPONENT (R/Zo), OR CONDUCTANCE COMPONENT (G/Yo)
D <
0.2
20
A
0.24
0.49
0.26
D L O
0.4
-170
D
WAR
0.1
DEGR
EG
10
REES
O
EES
T
0.6
-90
0.23
HS
0.48
0.27
/Yo)
GT
8
(-jB
EN
0. -10
L
0
-85
-20
CE
E
6
0.2
-1
AV
0
AN
1.
5.0
0.2
W
7
0.2
T
0.4
2
P
0
<
1.
8
CE
US
-15 -80
4.0
ES
0.8 -15
4
0.2
IV
0
-30
0.0
0.3
T
6
0.2
1
C
0.4
DU
9
IN
0.6
-75
0
R
3.
,) O
5
0.2
-20
o
0.0
/Z
5
0.3
jX
4
0.4
0.
40
-4
(-
-1
NT 0.4
-70
NE
PO
06
0.
19
M
0.
CO -25
44
0.
5
31
0.
E
0.
NC
2.
-5
30 TA 0
-65
-1 AC 0.
1.8
07 ER
E 0.2 18
0.
0.6
43 ITIV -30 32
0.
0. AC
1.6
CAP
-60
0 -60 0.1
0.7
-12 0.08
1.4
7
5 0.3
0.8
2 -3
0.4
1.2
3
5
0.9
-5
1.0
9 -70 0.1
-110 0.0 0 6
0
-4
-5
0.3
-4
1
0.1 0.4 -100 -80 0.15 4
-90
0.11 0.14 0.35
0.4 0.12 0.13
0.39 0.36
0.38 0.37
F
EF
O (C [d CO ]
. C AK SS SS [dB
P)
AN W. FL. W. TE
EF O B]
P T.
TN RF . C
10040
TR S. R S. AT
F, NS
40 30
S E
10
F,
1 0.9 0.8 0.7 0.6 0.5 0.4 0.3 0.2 0.1 0.05 0.01 0 0 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 1.9 2 2.5 3 4 5
EF
o
1 0.9 0.8 0.7 0.6 0.5 0.4 0.3 0.2 0.1 0 1 0.99 0.95 0.9 0.8 0.7 0.6 0.5 0.4 0.3 0.2 0.1 0
.C
SM
CENTER
AN
TR
0.0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 1.9 2
ORIGIN